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