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