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