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