parameter (infinity=9999) parameter (maxprob=9) parameter (maxsize=200) integer x(maxsize),y(maxsize),row(maxsize),a(maxsize,maxsize), * size(maxprob),seeds(maxprob,13,9) data size/20,30,40,50,60,80,100,150,200/,seeds/ *1467951035, 978311707,2008293387, 885475787, 826851483, 94727867, * 164298299, 820384795,1938001995,1874434315,2055740443, 641769693, * 816890685,1500446171,1976368011,1236600523,1840509723, 722271101, * 445071197,2091711933,1263189997,1488089005,1333517757,1816193501, * 964201821, 632769341,1363751853,1289669229, 715424701, 138774749, *1669580941,1370634381,1969589661,1170547981,2094499805,1090966333, *1107020358,1401583139,1674011666,2026652316,1275057148, 202104635, * 799721651,1109386882, 981432227,1913492815, 775561629,1222135556, * 318025963, 428328684,1931252166,1971394807,1854039594, 185893950, *1813312687,1627393240, 572230419,1838761553, 334757418,1800038054, *1739277773, 282292698, 793188514, 741567462, 956426810,1886902830, * 73895940,1212255034,1057482377,1903495372,1867941379, 795133867, *1573161912, 982343198, 717716366,1099174214, 834935164,1070451307, *1560421603, 813082600,1332086374,2055798136,1213064103,1993142650, *1144212910,1043291373, 640484308,1852781001, 647334818,1100147373, *1104201512,1573744217, 761131651,1561426217, 585202560,1846570284, *1485883113, 834923438,1837171557, 471977063, 255404731,1037787604, * 10409543,1858841892, 430770846, 272811410,1308945958,2022503615, *1145477132,1751589466, 417230035,1887059064,1317951231,1085171933, *2049055105, 784367824,1740801367, 788418422,1956623414,1869103126, *1770951574,1653702966, 189455734, 328596598,1640769590,1728520342, *1601384982,1963997238,1283539386,1633781370, 853408694,1805252374, * 325717398,1533535798,1444542202, 890142394,2035940218, 378896346, * 828694362, 519551866,1484903354,1928403642,1265538682, 580020058, * 431854810,1430849402, 277549498,1191678234, 593785114,1791695674, * 193612314,2041515962, 34449018, 66557069, 655682631,1200539685, *1905820985, 402630649, 404209270,1599443302, 71290117,1962864454, *1679501983,1551123258, 296787465, 636051926, 856657368,1715020685, *1795305967,1560595541, 371787900,1479141727,1107302833,1144460838, *1530039459, 669514836,1452592461,1331071899, 564585396,1586377028, *1483134924,1912853620,1626322013, 147791880, 277026421,2114964754, *1659507097,1588399111,1590267734, 998840177,1964686396,1435432732, * 50864781,1669870328,2140902614, 973359559,1626165200, 516689101, *1964112625, 278644559,1838801653, 140942173,2086582746,1280968616, *1558078355,1294669636, 52811099, 60919377,1000004787,1522263302, * 975368787,1170405120,1545656921, 824282579,1669846876,1526859467, * 943954126, 510809462,2075575208, 20819086,1570200137, 861541692, * 545622820, 470408269,1897523583, 143470617,1355695285, 834460070, *1626634481, 488418815, 22860219,1950626563,1568735648,1334119087, * 108885809, 787451473,1729912865, 508943713, 333070801, 284183601, * 492894897, 313670737,1519038689,1328335649,1872254033,1925309079, * 303188407, 206371217,1634136737,1562317921,1226561873, 19329655, *1335213591,1980168503,1642086343, 169299719,1853069623,1153613207, * 745121815,1898308023,1943771911,1721524039,2146274103, 416324247, * 713775527,1964419495,1613801687,1364160295,1988532119,1125415351, *1173577427,2057265770, 727067704,1784989654,1677687797, 606313905, * 251681306,1180676999, 796813034,1445511151, 179201240,1518923021, * 954077889,1284986052,1498789204,1619217127,1267151488, 557681850, *1144970767, 587212426,1716691257,1221317365,1004272254,1105146868, * 922866025, 846878094, 232081895, 77218739, 721796783,1365741196, * 221687820,1489281455,1024963484,1415518822,1308856843, 237917954, * 424518442, 799545947, 5665451,1150038995, 357321845,1063870274, * 386297515, 291764153,1848775475,1872427114,1491708662,1684460656, *1285155083, 982390472,1921452924,1263375709,1942004454,1152958472, *1165120889, 426265357, 135911306, 389311357,1755607680,1244743558, * 162682045, 357286667,1216547377,1415931189, 766214193, 965879165, * 31228629,1281558382,1292312538, 818434230,1779354227,1772543551, *1288947749, 959801104,1251690105,1366209898,1806370046,1108032152, *1852198021, 205619825, 927436807,1576836844,1765763180,1590722604, *1394419500,1159922284, 378911468, 657193196,1134055532,1309557036, *1055286316,1780510828, 419595124,1120079092,1706817388,1463021100, * 651434796, 919587948, 741600756,1780284788,1924396788, 757792692, *1657388724,1039103732, 822323060,1709323636, 383593716,1160040116, * 863709620, 714215156, 555098996, 235872820,1187570228,1435907700, * 387224628,1935548276, 68898036, 133114138,1311365262, 253595723, *1664158323, 805261298, 808418540,1051402957, 142580234,1778245261, *1211520319, 954762869, 593574930,1272103852,1713314736,1282557723, *1443128287, 973707435, 743575800, 810799807, 67122019, 141438029, * 912595271,1339029672, 757701275, 514660151,1129170792,1025270409, * 818786201,1678223593,1105160379, 295583760, 554052842,2082445861, *1171530547,1029314575,1033051821,1997680354,1781889145, 723381817, * 101729562,1192257009,2134321581,1946719118,1104846753,1033378202, *1780741603, 557289118,1530119659, 281884346,2025681845, 414453585, * 968673063, 441855625, 105622198, 121838754,2000009574, 897042957, *1950737574, 193326593, 943830195,1648565158,1192210105, 906235287, *1887908252,1021618924,2003666769, 41638172, 992916627,1723083384, *1091245640, 940816538,1647563519, 286941234, 563906923,1668920140, *1105785315, 976837630, 45720438,1753769479, 989987649, 520754527, * 897304231, 596591239,1451532343, 132411639,1986773767, 473639335, * 821491495,1954440327,1100075383, 782236983,1688767623,1061364817, *1936969777,1059779911,1291905463,1888035319, 612614023,1463871857, * 77872337,1868625073,2020982689, 997994081, 225137841, 491032913, * 526041809,1016363057, 376308321, 5895201,1429639857, 693873745, *1905453761, 410720961,1258013713,1557772609,1882564433,1159864369, *1240134496, 565464754,1927607389,1543326992,2080318446,1010523175, *1851124608,1251967116, 612193841, 977529487,1730324498,1815710486, *1590129815,2141643420,1066326242,1267039447, 680263382, 929469750, * 476628847,1694515259, 713668448, 603873177,1673787090, 410255682, * 106454277,1411463490,1818458923,1560353663, 487166756, 844579562, * 369479700,1766307876, 992444591, 927542272, 749772307,1828185688, *1423358619, 616748696,1441098183,1200903776,2027192173,1057289241, *1359657074,1917929353, 217980929,1689056092,1770353221,1375778662, *1426097256, 921489571,1054937893, 673970417,1089190443,1205769571, *1226040266,1426270144,1658174608,1364680144, 778529153, 642916832, * 986964624,2027133543, 595923197, 212401668,1277023655, 893970726, * 52047715, 704274872, 6370583,1364057050, 102278849,1522583487, *1432418366, 168012742,2086150175, 845360732, 147305214,1130892371, *1655340937,1774355473, 114072247, 217771618,1574902946,1312342082, *1017887426, 666141602, 568367202, 985789794, 627341474, 890593730, * 509187650,1597024418,1703134510, 606376814, 412742434,1120789826, * 977152194, 305640098, 38659310, 522943534,1812853358,1136689038, * 338599438,1558655598, 159742766,1490243630,1649132398,1740060174, *1295564430,2145064558, 832648494,1427551054,1781355342,1080119726, * 580836942,1829580590, 103347054, 199671207,1967047893,1454135408, *1422495661,1207891947,1212627810, 503362612, 213870351,1593626068, * 743538655, 358402480, 890362395,1908155778, 422488457, 850094761, *1090950607, 386819329,1115363700, 142457887,1174424852,1285898867, * 295151083,2008544508, 62810089,1845732050,1693756188, 464163790, * 154437478,1443593566, 583998745, 443375640, 831079263,2049926968, * 683553997, 470230039, 475835908, 849036884,1599091894, 11330902, * 152594343, 714643690,2127740548, 772595030, 583528306,1550067303, *1597370581, 835933677,1221437665, 422826519,1964780944,1695422201, * 379267771,1736525261, 158433297, 182758131, 852530714, 271822612, * 778622714,1363731713, 342003469, 325364090, 714573334, 285611107, * 684378731,1532428386,1931758330, 62457258, 415633117, 437141429, *1636868460,1411224807,1397603455, 430411851,1919602208, 355896563, * 584936149,1465256445, 68580657,1556912395, 411239650,1854873614, *1685722653, 405731005,1173151821,1903363213,1492993085, 663095069, *1150088093,1447726269, 681112077, 236138317,1505281213, 197420555, *1423267499,1913188605, 949674189, 66269069,2146149821, 760930411, * 968014731,1757081643, 252395387,1826688443, 744689707,1975936267, * 306961803, 134418091, 956328379, 437750011, 713005611, 971423243, * 949648347,1004506075, 902225739,1751384923,1776596747,1194313387, *1306691565,1221147385, 980663427,1301664330, 335465448,1414732445, *1303084263,1323257233, 427574648, 509547823,1133964109,2112497951, * 78698094, 850817141, 633863280, 914861767, 93375276,1301257650, *1955770574, 654334445,1858129286,2133912636, 195818279,1862848143, *1437526176,1976048886,1257352304, 896004940, 252536729, 323417928, * 517271580,2043334297, 959925698, 439565722, 190687771,1270969775, * 274715149, 433951445, 729047268,1251768557,1549578854,1050708208, * 185532986,1396610906, 734670030,1505685070,2048997780,1067096668, *1567039429, 860588670, 188422862, 84565125, 236376432,1258580670, *1286959643, 278791284,1032954263, 192565284,1948934273, 41090106, *1811247203,1549496772,2122782664,1156355794,1787833117, 822062287, * 72866801, 126991362, 867912275,1909679870, 572687118,1272623423, *1575888983,1523708027, 773126598, 324511566, 635724029,1153752590, *1458483853,1195607474,1448191334,1006190040,1384042712,1033961560, * 641355352, 172360920, 757822936,1314386392, 120627416, 471630424, *2110572632,1413538008, 839190248, 92674536,1266151128, 778558552, *1302869592,1839175896,1483201512,1413085928,1701309928,1515585384, *1167293800,2078207464,1644646120,1271163624, 767187432, 172596584, *1727419240,1428430312,1110197992, 471745640, 227656808, 724331752, * 774449256,1723612904, 137796072, 266228276, 475246877, 507191446, *1180832999,1610522596,1616837080,2102805914, 285160468,1409006875, * 275556991,1909525738,1187149860, 396724057,1279145825, 417631799, * 738772927,1947414870,1487151600,1621599614, 134244038, 282876058, *1825190542, 530575697,1515402550,1029320302, 110857937,2050540818, *1637572402,1208963539, 62837111, 591167520,1108105684,2017408075, * 195577447,2058629150,2066103642,1847877061,1416294643,1446763634, * 203459124, 237030371,2121159515,1745954589, 62209859,2066756404, *1413999559,1114578236, 912755671, 563768692,1903880043, 828907170, *1937346126, 883711250, 211244396, 243677508,1852535501,1794085914, *1753991501, 386653186,1887660390,1149646669, 236936563,1812470574, *1628332857,2043237848,1859849891, 83276344,1985833254,1298683121, * 35007633,1881633076,1147643391, 573882468,1127813846,1190356633, * 64086983,1953675260, 91440876,1360055311,1979975298,1041509054, * 326657427, 214870771, 894771299,1526831139, 999212403, 852550803, *1478684691, 941012211, 262148771,1837523299,1321794803,1480959941, * 909565221, 619113651, 607442915, 391986467,1532201971, 57988965, *1858157125,1645538213, 631291733, 507899157,1264241573,1313355973, * 87881797,1399956773,1536348437, 869604821,2143855013,1248972741, *2141326581,1598291189, 546437765,1944997237,1670629061,1228762405, *1373248634,1876830016, 33719465,1060001668, 738096097,1818941715, * 755043918,1394547350, 242955455, 41566159, 537603720, 261801769, * 714750020,1707474509, 201400318, 562684087,1653970817,1673045550, *1287428654,1761637278, 855106477,1516468448, 865333115,1167956957, * 621114428, 393150635, 696245685, 231656217, 17906702,1949739941, * 665063460, 172877071, 927406805,2099072819,1779086882, 713753862, *1273555326, 251154194, 16996353,1302633338,1071965535,1044127175, *1158892545, 875292459,1251359131,1322314048, 180158692, 758414674, *1707981602, 799687769,1469391478,1642643480,1531046068,1311391769, *1347879020,1278796071, 407733918,1167934071, 971855746,1586747027, * 488046135,1071860001,1502158484,2100309920, 151158932, 750153848, * 93685887,1697191499,1729453967, 307819043,1043095387,1022663359, *1719359600, 731919665,1607586668,1951146047,1124142844,1176612809, *1261626769, 616859475, 634826774/