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