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