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