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