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