[[2,48,49,50,57,89,90,91,93,95,96,98,99,100,162,187,188,191,231,232,233,234,235,236,237,238,240,241,242,272,313,315,345,349,350,377,378,407,436,437,438,439,440,441,463,465,467,468,487,488,490,491,536,573,600,609,617,623,629,647,660,675,676,689,704,708,710,712,714,723,736,762,772,783,784,787,796,805,835,846,854,868,931,935,954,959,962,973,986,995,1003,1005,1016,1020],[1,3,4,5,6,7,8,9,10,11,12,13,15,51,52,53,55,58,61,94,97,102,105,163,164,193,194,195,196,197,199,201,202,239,243,244,245,246,247,273,274,275,276,277,314,317,346,347,351,352,353,354,356,379,380,381,383,385,386,389,408,413,466,469,471,486,489,493,516,528,594,603,610,611,631,635,666,667,686,697,700,701,729,731,733,749,766,774,779,803,816,830,841,848,852,853,858,860,878,894,896,919,932,963,964,976,978,981,983,1000,1002,1010,1017,1018,1019,1022],[14,17,18,25,56,59,62,64,65,66,71,106,107,129,130,131,134,166,190,198,205,208,210,278,279,280,281,282,283,286,289,318,319,320,321,323,348,355,357,382,384,387,409,410,411,412,414,442,443,464,492,494,495,496,499,512,518,533,541,548,557,560,566,570,572,579,580,607,608,619,626,640,644,670,678,685,703,717,720,727,728,753,754,767,785,795,808,814,824,842,864,880,909,918,925,927,949,951,958,970,987,991,993,997,1004,1015],[16,20,21,23,24,27,29,33,35,54,70,73,75,76,92,103,104,110,111,112,113,132,133,135,142,143,165,174,189,200,204,207,209,213,248,249,250,251,284,285,287,288,316,322,325,328,331,332,333,361,388,390,391,392,393,394,395,396,400,415,416,417,418,419,422,423,444,470,472,497,498,508,514,529,537,550,562,567,593,620,630,650,677,691,716,718,719,721,735,756,761,771,792,799,802,817,827,832,857,882,888,890,902,907,936,942,950,953,955,957,975,980,1021],[19,26,32,34,39,63,67,79,80,108,109,114,136,137,138,139,141,144,145,147,148,149,167,168,172,192,203,219,222,224,254,255,257,258,259,263,291,292,296,324,326,327,329,330,335,336,339,358,360,362,364,365,367,369,370,371,372,399,401,402,424,426,430,431,445,446,447,448,449,450,453,473,474,476,501,502,509,511,559,563,571,577,583,616,618,628,643,682,683,699,724,734,757,765,776,782,813,820,822,829,851,859,863,865,873,875,886,887,889,892,967,979,992,994,999,1001],[81,83,84,86,115,116,117,140,146,151,152,155,158,159,160,169,170,171,173,175,176,206,214,217,220,221,252,253,261,264,265,267,293,294,295,297,298,299,300,301,302,309,311,337,338,344,366,368,373,374,397,398,403,404,420,425,427,428,451,452,455,457,475,479,480,500,505,507,525,542,549,569,578,586,589,596,614,624,636,707,713,739,740,764,769,775,819,826,837,861,869,885,893,895,900,901,904,908,924,929,937],[38,42,45,46,74,78,87,101,119,122,123,124,161,177,178,179,185,211,215,216,228,256,262,266,268,271,290,303,304,306,310,334,340,342,359,363,376,405,406,421,458,459,477,481,504,510,527,543,554,555,564,565,632,646,654,657,693,746,748,750,751,755,786,794,797,800,801,812,825,833,838,840,881,883,897,898,906,912,914,916,921,928,948,952,972,982,985,988,1008],[0,28,36,40,41,44,85,118,120,121,125,126,127,150,154,156,157,180,181,182,183,184,186,212,218,225,227,230,260,305,308,375,429,432,434,435,454,460,461,478,483,503,506,513,519,531,535,538,551,568,574,581,582,591,592,595,597,598,625,637,641,648,652,653,659,673,674,681,692,694,695,725,758,773,791,793,807,809,811,836,839,849,862,867,874,879,899,903,910,913,930,941,961,984,1006,1012],[60,128,153,223,226,229,269,270,307,312,456,462,485,522,524,526,532,539,553,558,590,621,633,662,696,705,709,741,742,760,763,781,804,810,823,828,845,856,877,884,915,917,922,939,946,971,974,989,998,1011],[22,43,47,68,69,72,343,433,482,484,520,521,530,556,576,584,588,605,606,613,615,634,638,655,658,663,671,680,684,687,688,690,730,747,777,778,790,850,870,876,911,923,940],[30,31,37,77,341,544,546,547,552,575,585,587,601,602,661,664,668,679,702,715,722,738,744,770,806,834,872,920,926,944,960,965,1013],[82,523,540,622,627,642,698,789,843,844,847,871,966,1007,1023],[88,545,656,745,768,780,798,815,905,943,945,956,969],[612,645,651,672,752,891,934,938,977],[604,639,665,732,743,788,831,947,990,1014],[517,599,669,759,818,866,933,968,996],[515,534,561,711,726,737,855,1009],[649,706,821]]