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