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