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