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