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