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