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