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