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