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