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