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