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