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