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