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