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