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