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