[[0,1,2,3,4,5,6,7,8,9,10,11,12,14,15,16,18,19,20,21,22,23,24,25,26,27,28,29,30,33,34,36,37,39,40,42,43,44,45,46,47,48,50,51,52,53,54,56,58,59,60,61,62,63,65,66,67,68,69,70,71,72,73,74,76,78,79,80,81,83,84,85,86,87,88,89,91,93,94,95,96,97,98,99,100,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,120,121,122,124,125,127,128,130,132,135,136,138,139,140,143,144,145,146,147,148,149,150,151,152,153,155,157,158,159,160,161,162,164,165,166,168,169,170,172,174,175,176,177,178,180,181,182,184,186,187,188,189,190,191,192,193,200,201,202,203,204,205,206,207,208,209,210,212,213,214,215,216,217,219,221,222,223,224,226,227,228,230,232,233,234,235,236,237,238,239,240,241,242,243,245,247,249,250,251,252,253,254,255,256,257,259,260,261,263,264,265,266,267,268,269,270,271,272,273,274,275,276,278,280,281,282,283,284,286,288,291,292,293,294,295,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,314,315,316,317,318,319,320,321,322,323,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,362,364,365,366,367,368,370,371,372,373,374,375,376,377,379,380,381,383,384,385,386,387,388,390,391,392,393,394,402,406,418,420,426,433,437,438,440,443,445,447,450,451,454,461,462,466,467,470,474,482,487,496,499,503,509,510,512,527,528,529,530,541,542,545,549,551,553,564,573,575,578,581,582,585,589,591,592,593,597,601,602,605,610,612,618,619,620,628,632,636,637,645,646,659,666,667,668,669,670,673,675,689,698,704,706,708,710,711,715,719,723,725,727,732,735,736,742,744,747,749,751,765,766,768,770,771,774,782,783,788,789,790,795,798],[13,17,35,41,57,64,75,77,82,90,92,101,119,123,126,129,133,134,137,141,142,154,156,163,167,171,173,179,183,185,194,196,197,198,199,211,218,220,225,229,231,244,246,248,258,277,279,285,287,289,290,296,313,324,361,363,369,378,382,389,395,396,398,399,400,407,409,412,414,416,421,422,423,427,431,432,434,436,441,448,452,456,459,460,465,469,472,478,484,488,490,491,495,497,498,502,504,505,506,514,516,517,518,524,525,526,534,537,538,539,543,544,547,557,559,560,561,563,565,566,569,571,577,579,588,598,603,604,606,608,615,624,626,633,634,640,641,644,649,655,660,662,663,664,665,671,677,678,679,680,684,685,688,695,697,699,700,702,707,709,716,717,718,722,726,728,731,733,752,754,761,767,769,773,775,776,778,791,792,799],[31,32,38,49,55,131,195,262,397,404,410,411,425,428,429,435,444,453,471,473,475,480,485,492,511,519,535,552,555,556,562,567,590,609,611,613,616,617,622,627,629,631,639,648,650,651,652,653,657,661,690,693,694,705,734,737,741,745,746,755,759,764,772,777,784,787,794,797],[405,413,419,424,430,449,457,463,477,483,486,489,494,501,507,513,515,533,574,583,596,607,614,623,625,630,638,647,656,672,682,686,720,724,730,748,750,758,763,781,785,786,793],[408,442,446,458,479,508,521,523,531,554,568,572,576,580,584,594,600,621,635,642,654,658,683,687,691,692,696,712,729,740,753,757,779,796],[439,455,481,493,522,536,546,548,550,558,570,587,599,643,674,738,739,743,756,762,780],[403,464,468,476,520,540,595,713,714,721,760],[401,415,417,500,532,586,676,681,703],[701]]