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