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