parameter (infinity=9999)
      parameter (maxprob=3)
      parameter (maxsize=500)
      integer x(maxsize),y(maxsize),row(maxsize),a(maxsize,maxsize),
     *        size(maxprob),seeds(maxprob,13,9)
      data size/300,400,500/,seeds/
     *1467951035,1527432283,2067792347,1221582139, 874590379,  34132203,
     *1177785723,1124569563,1325081691, 172755451, 900621547,1644361979,
     *1107020358, 976181117, 927218204,1703375227, 972931813,1258085496,
     *1732727402,1563232561,1458340992,1385268484, 114533514,1035237928,
     *1829170789,1357013844, 856420481, 657839385,  99134771, 859848180,
     *1448629007, 538919231,2118257048, 493278029,1532112016, 216125828,
     *1898416216,1995236636, 412962778, 788418422, 907380918,1988101046,
     * 295680630,1749180758,  68264406, 208087798, 101655478, 502679734,
     * 345510902,1801243094,1141240310,  66557069,1952362234,1854436408,
     *1259266807,1945863626, 368687345,1317971157, 978981475, 769198337,
     * 623053321, 229067028,2070475856,1510857931, 566544041,1712840962,
     *1315678770, 198269542,1719696360, 749774367,1077838462,2089030449,
     * 986556058, 916740385, 432251656,1649348785,1842989625, 825925556,
     * 108885809, 287329553,1908409745,1517262769, 476287489, 102396609,
     *1385873521,1226225041,1827761425, 518266353, 554380993, 638118641,
     *1173577427, 781059704, 634170965, 815158387, 771311792,1626772841,
     * 903214912, 394730389,  80055682,2008321805, 343600542, 958230137,
     *1192545073,1923557885, 421777796,1973518155, 297404313, 432060893,
     *  50919727,1616757693,2059803850,1479834087, 301368754, 648377484,
     *1400281354,1690742614,1238888334,1576836844,1814761836,1828718444,
     * 591361260,1350877868, 136528812, 416175596, 203310956,1005359468,
     * 691021804,1455002540, 134996972, 133114138,1757240821,1561389169,
     * 371049967,1744243605, 737374690, 488458667,1957962950,1538396674,
     *1246106642, 458134056,1993468065, 874232215,1133088082,1278198277,
     * 483873893, 396539084,1291909073,1499548734,   8193277,2030577251,
     *1973112116,1833480770, 864503312,1151213923,1538495603,1651851112,
     * 897304231,1194710471,1749027143,1812943399,  77984599, 170661015,
     *1593961319,1327880519, 182957511, 863777255, 208140439,1779358951,
     *1240134496, 585938291, 341123726,2074425194, 569691771,1995460186,
     *  73702422,1373711864, 849254019, 483891479, 572667570, 881222346,
     * 555919357, 342618279,2134618758,1141713278, 495673855,   4273606,
     * 800694094, 547112508,2001350652, 318906498,1218109139,1080629140,
     * 902146492,1386248592,2064813890, 217771618, 574659106,1669335842,
     * 887041890, 952574978, 204793218, 624263394, 304966434,1508039202,
     *1036532706,1108761986,1276237282, 199671207,1562119408,1268341930,
     *1630316774,1542623584,1106062035,1806429824, 789460778, 160111364,
     *1869159963, 687201084,1916460274, 237606499,1699632123, 843555592,
     *1799552663, 594808626, 864121786, 101839454,1086031739,1972124053,
     * 812184527, 602737508,1296754968, 653079061,1234001581, 330293021,
     *1685722653,2102091389,1589644541,2108624029,1827165357, 238925421,
     *1802049117,1429535997, 685637245,1209288157,2009383533, 773115613,
     *1306691565, 390816878,  48076487,1186208354, 368071750, 216663884,
     *1391673579, 205209692,1618452356,1106944800, 801734598, 804214555,
     *2066777288, 909162320,1699976073, 309908401, 693943397,1723969966,
     *1550468461,1624950970,1942897454,1305462556,2134849524,1512880796,
     * 404011630,1081754570, 743255799,1006190040,1482040024,1509953240,
     *1182722520, 554272088, 273057624, 832351192, 406621912,2010718936,
     *1382043608, 762521432, 269993944, 266228276,1366997995, 975294691,
     * 742099934,1341003563,1474749380, 976917334,1768442253, 929309701,
     * 344729637, 916268112,1839452483,1748464430, 118692517, 408912907,
     * 967747786, 793078168, 436334499, 851613821,  16386554,1913670855,
     *1798740585,1519477893,1729006624, 154944199, 929507559,1156218577,
     * 326657427, 861988659,1430261939, 256821011,1428862467, 307189827,
     *2010136915,1531191475,1188316979,1554799059,1663142979,1914355923,
     *1373248634, 195695465,1902512895, 297991514, 166451729, 585351229,
     * 562161089,1184191167, 240167046,1729998121,1030801626, 727206764,
     *1430151572,1475706361,1265333388,1625587171, 892212939,1296182679,
     * 152759181, 555305785,1884444256, 144534967, 904106262,1945132452,
     *2053360415, 777260548,1569181355/