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