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