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