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