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