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