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