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