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