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