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