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