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