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