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