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