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