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