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