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