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