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