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