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