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