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