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