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