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