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