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