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