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