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