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