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