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