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