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