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