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