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