gen_seeds(rand(27134,9213,17773)).
seed(1,rand(6548,19229,23110)).
seed(2,rand(12077,7255,10019)).
seed(3,rand(25652,20777,8216)).
seed(4,rand(25112,8035,29669)).
seed(5,rand(8307,20729,948)).
seed(6,rand(6403,20000,7921)).
seed(7,rand(13116,26738,9010)).
seed(8,rand(4830,13884,23525)).
seed(9,rand(27585,29311,18656)).
seed(10,rand(13941,26748,4859)).
seed(11,rand(4883,21097,10947)).
seed(12,rand(576,27219,3056)).
seed(13,rand(16755,28265,3257)).
seed(14,rand(20378,11835,16891)).
seed(15,rand(2890,9300,1281)).
seed(16,rand(12772,14577,168)).
seed(17,rand(27191,4141,13565)).
seed(18,rand(28389,15947,12827)).
seed(19,rand(16262,6720,18387)).
seed(20,rand(26409,11388,6330)).
seed(21,rand(9866,13545,11576)).
seed(22,rand(1543,16973,22239)).
seed(23,rand(8568,29712,17832)).
seed(24,rand(12365,8216,18690)).
seed(25,rand(9128,11797,25091)).
seed(26,rand(16860,19202,4471)).
seed(27,rand(10687,26900,25541)).
seed(28,rand(8198,16828,5947)).
seed(29,rand(25073,21317,9394)).
seed(30,rand(15919,23060,28075)).
seed(31,rand(27800,23490,15549)).
seed(32,rand(14542,14381,7045)).
seed(33,rand(25658,20276,22472)).
seed(34,rand(25231,28252,26165)).
seed(35,rand(26166,26482,13123)).
seed(36,rand(21472,6534,7048)).
seed(37,rand(8439,24244,29556)).
seed(38,rand(27765,26773,9949)).
seed(39,rand(8042,12884,2892)).
seed(40,rand(29368,16545,8695)).
seed(41,rand(16247,2645,11548)).
seed(42,rand(28025,16311,7642)).
seed(43,rand(24656,17409,4493)).
seed(44,rand(5736,6548,9573)).
seed(45,rand(30075,7848,19663)).
seed(46,rand(6549,17058,21821)).
seed(47,rand(25331,10164,24069)).
seed(48,rand(1434,19395,11461)).
seed(49,rand(20253,24817,5706)).
seed(50,rand(5077,20827,16733)).
seed(51,rand(19782,1715,15774)).
seed(52,rand(15413,20106,26218)).
seed(53,rand(5243,15877,17140)).
seed(54,rand(28225,14076,2031)).
seed(55,rand(18446,20634,24428)).
seed(56,rand(19179,22600,7976)).
seed(57,rand(349,21229,13858)).
seed(58,rand(30066,24343,10828)).
seed(59,rand(3260,10421,27539)).
seed(60,rand(17220,9855,13781)).
seed(61,rand(1838,11104,4725)).
seed(62,rand(13729,25463,23451)).
seed(63,rand(23759,27544,2786)).
seed(64,rand(13773,18022,2467)).
seed(65,rand(5737,13747,17098)).
seed(66,rand(14019,4404,18837)).
seed(67,rand(2226,10478,24167)).
seed(68,rand(5649,27260,21307)).
seed(69,rand(20786,25402,18382)).
seed(70,rand(14537,6903,20977)).
seed(71,rand(26512,10403,3352)).
seed(72,rand(28383,6874,13861)).
seed(73,rand(8867,10940,4189)).
seed(74,rand(19148,2706,25756)).
seed(75,rand(9533,27300,12340)).
seed(76,rand(10014,29840,23825)).
seed(77,rand(25993,23828,17328)).
seed(78,rand(7474,18902,13689)).
seed(79,rand(21123,27372,15569)).
seed(80,rand(6235,18326,23570)).
seed(81,rand(11756,7989,6721)).
seed(82,rand(14465,16711,30098)).
seed(83,rand(19776,29190,18155)).
seed(84,rand(20875,28667,15143)).
seed(85,rand(7888,28000,24931)).
seed(86,rand(9321,12553,16661)).
seed(87,rand(24693,7134,25417)).
seed(88,rand(13405,11703,15142)).
seed(89,rand(23554,21923,2971)).
seed(90,rand(18984,14484,4484)).
seed(91,rand(11323,15675,18658)).
seed(92,rand(10108,6047,8165)).
seed(93,rand(21138,17103,28910)).
seed(94,rand(22133,30150,989)).
seed(95,rand(20521,19881,1905)).
seed(96,rand(6304,19161,22531)).
seed(97,rand(20037,3563,22916)).
seed(98,rand(2707,12958,16762)).
seed(99,rand(21414,14911,22933)).
seed(100,rand(7249,7724,26807)).
seed(101,rand(9490,19871,908)).
seed(102,rand(17068,15340,24478)).
seed(103,rand(27577,14472,19094)).
seed(104,rand(22435,768,19137)).
seed(105,rand(18829,21996,6377)).
seed(106,rand(12517,8125,4340)).
seed(107,rand(26607,26865,15148)).
seed(108,rand(8486,29138,17988)).
seed(109,rand(12891,8942,7340)).
seed(110,rand(15591,11912,20165)).
seed(111,rand(2355,874,18658)).
seed(112,rand(12529,14021,15283)).
seed(113,rand(26450,19553,16967)).
seed(114,rand(13618,3124,20296)).
seed(115,rand(26893,5782,15214)).
seed(116,rand(16887,24060,27320)).
seed(117,rand(10123,13648,17004)).
seed(118,rand(10262,11576,18297)).
seed(119,rand(11818,12811,30098)).
seed(120,rand(5065,23237,5343)).
seed(121,rand(387,17722,4271)).
seed(122,rand(1804,28366,9224)).
seed(123,rand(13807,13271,4104)).
seed(124,rand(19103,3691,24956)).
seed(125,rand(1170,191,15149)).
seed(126,rand(10493,15163,11178)).
seed(127,rand(22617,2374,1073)).
seed(128,rand(20322,19753,19968)).
seed(129,rand(13080,9079,29763)).
seed(130,rand(13462,28932,18042)).
seed(131,rand(14647,15933,21927)).
seed(132,rand(6474,29312,7418)).
seed(133,rand(5877,23193,17027)).
seed(134,rand(22548,17204,10927)).
seed(135,rand(26552,1171,9191)).
seed(136,rand(1096,5632,21893)).
seed(137,rand(15023,1174,5363)).
seed(138,rand(16124,4235,30237)).
seed(139,rand(9905,3870,534)).
seed(140,rand(25257,19996,28808)).
seed(141,rand(22736,7991,13960)).
seed(142,rand(4058,16151,21448)).
seed(143,rand(17637,14968,8087)).
seed(144,rand(2889,5120,30200)).
seed(145,rand(2635,19666,7459)).
seed(146,rand(13181,11763,8006)).
seed(147,rand(20980,2808,5570)).
seed(148,rand(26196,16762,5712)).
seed(149,rand(22081,14649,4978)).
seed(150,rand(1822,15952,12854)).
seed(151,rand(28158,9896,12769)).
seed(152,rand(26402,10920,9379)).
seed(153,rand(22698,21410,21496)).
seed(154,rand(21026,27480,17914)).
seed(155,rand(2457,11908,3963)).
seed(156,rand(20891,19725,24848)).
seed(157,rand(26579,16591,23022)).
seed(158,rand(30164,25469,1891)).
seed(159,rand(23997,3513,25126)).
seed(160,rand(7143,16570,28149)).
seed(161,rand(1244,4013,23208)).
seed(162,rand(3153,6744,29159)).
seed(163,rand(19529,17284,7623)).
seed(164,rand(28871,25115,16259)).
seed(165,rand(30002,22353,19411)).
seed(166,rand(15875,10454,7056)).
seed(167,rand(15844,6989,27063)).
seed(168,rand(20104,17689,4183)).
seed(169,rand(22902,18911,15545)).
seed(170,rand(15265,430,25303)).
seed(171,rand(15155,14707,24143)).
seed(172,rand(24313,7242,6744)).
seed(173,rand(15366,17299,24394)).
seed(174,rand(4324,3727,17171)).
seed(175,rand(8679,17838,4331)).
seed(176,rand(9308,9423,14777)).
seed(177,rand(10315,13219,16953)).
seed(178,rand(19319,4723,23771)).
seed(179,rand(9255,22436,21709)).
seed(180,rand(20443,14364,24728)).
seed(181,rand(6031,3750,7374)).
seed(182,rand(20158,5125,3812)).
seed(183,rand(17683,29249,6712)).
seed(184,rand(13139,3833,19822)).
seed(185,rand(18141,13276,10720)).
seed(186,rand(16546,17031,7707)).
seed(187,rand(3777,544,6566)).
seed(188,rand(23369,5409,8165)).
seed(189,rand(25111,7535,17274)).
seed(190,rand(26782,941,24580)).
seed(191,rand(4383,23050,6202)).
seed(192,rand(6704,9703,4388)).
seed(193,rand(12607,23258,25774)).
seed(194,rand(923,17635,1884)).
seed(195,rand(27075,6124,5951)).
seed(196,rand(3631,26220,25032)).
seed(197,rand(10256,28556,2319)).
seed(198,rand(10649,10144,11616)).
seed(199,rand(25171,4761,10793)).
seed(200,rand(22113,9278,3775)).
seed(201,rand(5071,16139,27869)).
seed(202,rand(6688,29326,16470)).
seed(203,rand(15144,13154,24997)).
seed(204,rand(10652,28963,16562)).
seed(205,rand(13429,16230,4211)).
seed(206,rand(8739,11145,29900)).
seed(207,rand(11554,19118,24880)).
seed(208,rand(28884,24627,13131)).
seed(209,rand(28808,14120,14520)).
seed(210,rand(14785,17186,18956)).
seed(211,rand(18345,7749,22158)).
seed(212,rand(16533,4591,27203)).
seed(213,rand(28821,2692,25573)).
seed(214,rand(24615,25331,5651)).
seed(215,rand(9331,22628,4926)).
seed(216,rand(2416,6778,24109)).
seed(217,rand(22964,7299,10736)).
seed(218,rand(19815,10648,2800)).
seed(219,rand(29731,25239,26688)).
seed(220,rand(18829,28433,21424)).
seed(221,rand(5735,24403,9939)).
seed(222,rand(2816,17991,23020)).
seed(223,rand(23257,28970,17195)).
seed(224,rand(3010,6904,21655)).
seed(225,rand(5274,16327,4776)).
seed(226,rand(29295,15189,18351)).
seed(227,rand(24222,9753,14722)).
seed(228,rand(1718,9436,9110)).
seed(229,rand(4549,9750,27341)).
seed(230,rand(16311,8837,17488)).
seed(231,rand(11681,14092,3769)).
seed(232,rand(26219,13762,5364)).
seed(233,rand(14495,4197,23506)).
seed(234,rand(15033,25610,4396)).
seed(235,rand(25933,1970,12062)).
seed(236,rand(19943,15756,1370)).
seed(237,rand(7840,27242,11971)).
seed(238,rand(29783,13784,14066)).
seed(239,rand(793,21470,12892)).
seed(240,rand(7259,27515,4231)).
seed(241,rand(27923,29334,9056)).
seed(242,rand(9817,10846,11132)).
seed(243,rand(3731,19031,15968)).
seed(244,rand(10513,19987,29433)).
seed(245,rand(21080,4077,5966)).
seed(246,rand(10941,4589,17923)).
seed(247,rand(25476,452,16727)).
seed(248,rand(16896,24090,3369)).
seed(249,rand(24520,7890,15104)).
seed(250,rand(15114,20819,16528)).
seed(251,rand(18694,13852,15919)).
seed(252,rand(9010,9532,1046)).
seed(253,rand(7390,1802,29949)).
seed(254,rand(12500,17414,22575)).
seed(255,rand(874,22734,534)).
seed(256,rand(1000,15848,2791)).
seed(257,rand(12482,25153,13107)).
seed(258,rand(7953,5112,25684)).
seed(259,rand(7815,11604,25978)).
seed(260,rand(11060,10894,19656)).
seed(261,rand(1120,19880,12584)).
seed(262,rand(220,24745,6909)).
seed(263,rand(23638,28303,25974)).
seed(264,rand(26796,12038,12715)).
seed(265,rand(29961,13274,13993)).
seed(266,rand(7692,13225,5019)).
seed(267,rand(8235,1651,14658)).
seed(268,rand(18575,22418,4430)).
seed(269,rand(28623,13439,24780)).
seed(270,rand(18334,10554,24842)).
seed(271,rand(17246,2917,20135)).
seed(272,rand(22667,2007,8739)).
seed(273,rand(4294,2826,12010)).
seed(274,rand(8172,29975,5250)).
seed(275,rand(21071,29192,26104)).
seed(276,rand(21856,9263,2329)).
seed(277,rand(4786,4513,513)).
seed(278,rand(24467,53,13707)).
seed(279,rand(4119,23804,15189)).
seed(280,rand(15482,23447,28277)).
seed(281,rand(8255,28922,15505)).
seed(282,rand(27467,29819,16955)).
seed(283,rand(15299,18598,1273)).
seed(284,rand(18952,11781,10105)).
seed(285,rand(5484,5284,25898)).
seed(286,rand(17443,5824,24010)).
seed(287,rand(14688,6796,20819)).
seed(288,rand(14031,11936,21471)).
seed(289,rand(16043,24655,25185)).
seed(290,rand(28001,26889,5710)).
seed(291,rand(12928,17530,28912)).
seed(292,rand(14734,21837,13733)).
seed(293,rand(2636,21035,2108)).
seed(294,rand(2551,13131,2027)).
seed(295,rand(16687,19702,25428)).
seed(296,rand(5191,22905,22811)).
seed(297,rand(18561,29113,25344)).
seed(298,rand(22867,19277,24963)).
seed(299,rand(16056,21335,11226)).
seed(300,rand(17786,10603,3771)).
seed(301,rand(1881,22704,1078)).
seed(302,rand(5463,27624,3653)).
seed(303,rand(19993,5275,15405)).
seed(304,rand(28631,84,248)).
seed(305,rand(2445,24205,14735)).
seed(306,rand(9790,9767,9293)).
seed(307,rand(3717,24280,30067)).
seed(308,rand(7743,13807,14189)).
seed(309,rand(23407,16022,3394)).
seed(310,rand(26968,18045,26599)).
seed(311,rand(3441,6902,13804)).
seed(312,rand(27905,13978,21371)).
seed(313,rand(26020,29110,5011)).
seed(314,rand(6738,26896,8632)).
seed(315,rand(23028,11870,25253)).
seed(316,rand(19522,9,7538)).
seed(317,rand(9147,16530,9761)).
seed(318,rand(23830,15031,10691)).
seed(319,rand(29277,92,27313)).
seed(320,rand(13795,21337,8682)).
seed(321,rand(29449,23557,21500)).
seed(322,rand(20334,14114,14106)).
seed(323,rand(27421,12640,7984)).
seed(324,rand(5151,9752,23886)).
seed(325,rand(26073,20554,4039)).
seed(326,rand(18942,27744,27794)).
seed(327,rand(15319,1008,12430)).
seed(328,rand(10027,24363,23364)).
seed(329,rand(24435,16610,19828)).
seed(330,rand(17542,14368,4688)).
seed(331,rand(4837,25943,23815)).
seed(332,rand(931,3407,472)).
seed(333,rand(7566,23135,21543)).
seed(334,rand(17258,7763,15813)).
seed(335,rand(1861,9891,708)).
seed(336,rand(11722,26235,18843)).
seed(337,rand(23325,7214,27929)).
seed(338,rand(12193,12579,1738)).
seed(339,rand(28272,20108,27223)).
seed(340,rand(28254,577,13092)).
seed(341,rand(19216,26318,18372)).
seed(342,rand(25521,14203,5279)).
seed(343,rand(28043,28314,9848)).
seed(344,rand(23360,20177,3063)).
seed(345,rand(8187,25541,21873)).
seed(346,rand(17836,10327,23023)).
seed(347,rand(22921,19827,3087)).
seed(348,rand(19319,5867,1369)).
seed(349,rand(11440,21891,16301)).
seed(350,rand(3834,1843,4341)).
seed(351,rand(2399,831,27057)).
seed(352,rand(951,16102,7458)).
seed(353,rand(15082,27064,2321)).
seed(354,rand(14376,13963,5268)).
seed(355,rand(20718,2364,10987)).
seed(356,rand(16082,15819,30084)).
seed(357,rand(22386,7835,24992)).
seed(358,rand(24088,2624,20987)).
seed(359,rand(14899,3130,7476)).
seed(360,rand(15971,22857,30306)).
seed(361,rand(17798,11710,26110)).
seed(362,rand(23240,29180,16588)).
seed(363,rand(24843,16199,321)).
seed(364,rand(34,4735,27432)).
seed(365,rand(166,28650,23842)).
seed(366,rand(25492,4037,26949)).
seed(367,rand(28826,2832,7445)).
seed(368,rand(20422,20711,15467)).
seed(369,rand(24255,8747,7259)).
seed(370,rand(29029,6863,307)).
seed(371,rand(25587,15157,23083)).
seed(372,rand(18974,6703,7608)).
seed(373,rand(3836,7311,272)).
seed(374,rand(6608,20133,2968)).
seed(375,rand(12878,4382,29573)).
seed(376,rand(25243,27314,4523)).
seed(377,rand(17223,7585,1015)).
seed(378,rand(24834,12675,14278)).
seed(379,rand(10288,411,5977)).
seed(380,rand(16146,12493,735)).
seed(381,rand(8524,24494,320)).
seed(382,rand(6789,423,22760)).
seed(383,rand(27996,5278,7070)).
seed(384,rand(5820,14335,24057)).
seed(385,rand(11032,15367,17096)).
seed(386,rand(18710,12107,30195)).
seed(387,rand(15257,4649,8038)).
seed(388,rand(8422,28847,27986)).
seed(389,rand(22675,7394,12252)).
seed(390,rand(21476,1719,29752)).
seed(391,rand(5057,26408,26503)).
seed(392,rand(9406,29268,6525)).
seed(393,rand(10568,9236,8813)).
seed(394,rand(4176,11010,18725)).
seed(395,rand(23313,4315,15441)).
seed(396,rand(11919,22098,4048)).
seed(397,rand(18000,30037,22431)).
seed(398,rand(5783,29429,21625)).
seed(399,rand(24382,3268,13084)).
seed(400,rand(26480,653,13494)).
seed(401,rand(14455,24694,526)).
seed(402,rand(17635,9607,14209)).
seed(403,rand(15453,25657,3627)).
seed(404,rand(6213,3448,5230)).
seed(405,rand(11951,15244,1198)).
seed(406,rand(8344,17310,10489)).
seed(407,rand(29165,2444,11565)).
seed(408,rand(23528,17978,25864)).
seed(409,rand(2993,8621,17799)).
seed(410,rand(26226,3398,29252)).
seed(411,rand(15477,3063,19430)).
seed(412,rand(6897,27383,15851)).
seed(413,rand(21765,10559,14729)).
seed(414,rand(11822,7012,23182)).
seed(415,rand(6947,21262,16825)).
seed(416,rand(28905,26205,25307)).
seed(417,rand(26838,15037,20482)).
seed(418,rand(22845,2307,825)).
seed(419,rand(16573,11044,29091)).
seed(420,rand(28175,27943,26549)).
seed(421,rand(26760,17759,14017)).
seed(422,rand(25060,17650,23805)).
seed(423,rand(7227,9111,28231)).
seed(424,rand(16767,4166,6090)).
seed(425,rand(10082,26064,1514)).
seed(426,rand(4882,28695,16872)).
seed(427,rand(27348,20545,11074)).
seed(428,rand(6476,23776,17216)).
seed(429,rand(11424,9602,11487)).
seed(430,rand(3088,2267,20207)).
seed(431,rand(10423,27271,12572)).
seed(432,rand(1739,28409,12383)).
seed(433,rand(19048,19282,12896)).
seed(434,rand(11765,12464,28732)).
seed(435,rand(16653,29482,21882)).
seed(436,rand(1021,21443,21614)).
seed(437,rand(9540,28335,25411)).
seed(438,rand(25908,22871,19013)).
seed(439,rand(14194,24706,21797)).
seed(440,rand(16687,29474,7722)).
seed(441,rand(19140,24604,14168)).
seed(442,rand(6016,19562,15776)).
seed(443,rand(14897,18110,3037)).
seed(444,rand(23183,935,24949)).
seed(445,rand(12555,8227,12252)).
seed(446,rand(5235,15659,20739)).
seed(447,rand(10329,13133,12617)).
seed(448,rand(8736,26338,8488)).
seed(449,rand(6364,20731,1294)).
seed(450,rand(3071,20366,7366)).
seed(451,rand(27727,30280,27180)).
seed(452,rand(1808,11869,5844)).
seed(453,rand(24616,10232,17707)).
seed(454,rand(17001,15604,23843)).
seed(455,rand(26769,15073,22250)).
seed(456,rand(2960,5417,7335)).
seed(457,rand(10317,19673,5997)).
seed(458,rand(18878,15622,19824)).
seed(459,rand(11219,26676,6240)).
seed(460,rand(22189,5619,25226)).
seed(461,rand(14388,26881,24247)).
seed(462,rand(18212,26679,9298)).
seed(463,rand(29011,22253,25689)).
seed(464,rand(9970,2261,10242)).
seed(465,rand(23811,635,19928)).
seed(466,rand(9710,1272,7684)).
seed(467,rand(590,25304,18803)).
seed(468,rand(28480,6081,6104)).
seed(469,rand(4926,15962,8290)).
seed(470,rand(2356,20539,20260)).
seed(471,rand(6605,14503,6731)).
seed(472,rand(18650,21587,11572)).
seed(473,rand(21599,1471,12811)).
seed(474,rand(213,11088,10798)).
seed(475,rand(5274,19494,20908)).
seed(476,rand(12977,1278,462)).
seed(477,rand(29572,29099,19987)).
seed(478,rand(19937,25348,8672)).
seed(479,rand(16057,22192,17797)).
seed(480,rand(20207,26768,22929)).
seed(481,rand(7005,18476,5912)).
seed(482,rand(1850,22280,17500)).
seed(483,rand(9195,15571,18568)).
seed(484,rand(23257,3700,16350)).
seed(485,rand(11871,17809,30112)).
seed(486,rand(17925,20272,21225)).
seed(487,rand(25951,19860,30193)).
seed(488,rand(10377,24638,3709)).
seed(489,rand(3283,16498,5037)).
seed(490,rand(174,26205,7216)).
seed(491,rand(23936,29451,15987)).
seed(492,rand(25227,2484,24521)).
seed(493,rand(25142,5774,26870)).
seed(494,rand(26952,3852,6080)).
seed(495,rand(24241,10734,30319)).
seed(496,rand(3083,28788,25324)).
seed(497,rand(13685,5683,26774)).
seed(498,rand(15280,30025,14879)).
seed(499,rand(22579,29816,8714)).
seed(500,rand(6928,4702,18397)).
seed(501,rand(18888,14495,26894)).
seed(502,rand(21910,21662,24977)).
seed(503,rand(19738,17147,22192)).
seed(504,rand(11849,18431,12404)).
seed(505,rand(19048,28885,22657)).
seed(506,rand(29715,10884,2761)).
seed(507,rand(21436,16893,16950)).
seed(508,rand(12275,24585,11702)).
seed(509,rand(24721,6187,9408)).
seed(510,rand(23703,1806,23956)).
seed(511,rand(18322,10307,2816)).
seed(512,rand(5397,29358,29110)).
seed(513,rand(29685,20982,26995)).
seed(514,rand(15690,16227,20844)).
seed(515,rand(19533,24605,29421)).
seed(516,rand(23829,21317,3567)).
seed(517,rand(5869,187,10830)).
seed(518,rand(27860,6195,7548)).
seed(519,rand(18270,1681,15979)).
seed(520,rand(3274,22499,14232)).
seed(521,rand(5627,7934,23449)).
seed(522,rand(23274,5088,24964)).
seed(523,rand(3124,27372,27111)).
seed(524,rand(4041,11046,17337)).
seed(525,rand(259,2300,6039)).
seed(526,rand(28851,21442,2526)).
seed(527,rand(19909,10107,6117)).
seed(528,rand(28066,10366,20794)).
seed(529,rand(19161,10890,26807)).
seed(530,rand(16137,8364,25419)).
seed(531,rand(18630,4537,20441)).
seed(532,rand(9919,14932,6417)).
seed(533,rand(9180,9627,21315)).
seed(534,rand(15249,29276,14796)).
seed(535,rand(17601,25058,24752)).
seed(536,rand(29949,30303,17784)).
seed(537,rand(24209,7305,9631)).
seed(538,rand(21910,23910,21246)).
seed(539,rand(14489,20224,18293)).
seed(540,rand(12485,22440,21852)).
seed(541,rand(23771,2688,12773)).
seed(542,rand(19426,1043,7502)).
seed(543,rand(10596,11787,909)).
seed(544,rand(1342,14002,1122)).
seed(545,rand(17969,10498,25654)).
seed(546,rand(11748,387,26838)).
seed(547,rand(27067,5660,29103)).
seed(548,rand(7818,650,828)).
seed(549,rand(26905,5065,20755)).
seed(550,rand(12921,18227,14604)).
seed(551,rand(22058,15220,16686)).
seed(552,rand(20964,16666,2775)).
seed(553,rand(21835,13174,7456)).
seed(554,rand(18883,2662,26309)).
seed(555,rand(15336,464,20842)).
seed(556,rand(23932,17618,28577)).
seed(557,rand(24450,19300,15442)).
seed(558,rand(3479,28078,24974)).
seed(559,rand(27193,13904,14242)).
seed(560,rand(15459,5496,22550)).
seed(561,rand(13856,17959,21988)).
seed(562,rand(29697,11239,13805)).
seed(563,rand(11303,12952,2373)).
seed(564,rand(16687,373,29396)).
seed(565,rand(8024,3149,27392)).
seed(566,rand(11930,631,10524)).
seed(567,rand(21203,8893,23875)).
seed(568,rand(901,11007,5099)).
seed(569,rand(15458,12757,16728)).
seed(570,rand(5734,20035,2600)).
seed(571,rand(27107,1226,2584)).
seed(572,rand(28289,20925,3526)).
seed(573,rand(1390,25094,23007)).
seed(574,rand(25177,25429,21708)).
seed(575,rand(13035,23572,21858)).
seed(576,rand(19751,21711,7404)).
seed(577,rand(565,23392,13591)).
seed(578,rand(25889,2176,18573)).
seed(579,rand(9416,23579,25546)).
seed(580,rand(19402,23687,27798)).
seed(581,rand(1046,15754,22771)).
seed(582,rand(21229,20199,7932)).
seed(583,rand(13035,6314,23832)).
seed(584,rand(20968,20638,27837)).
seed(585,rand(201,28593,29367)).
seed(586,rand(9379,12460,5246)).
seed(587,rand(7292,24673,2473)).
seed(588,rand(26962,26669,18411)).
seed(589,rand(24227,5649,2196)).
seed(590,rand(27784,4341,12509)).
seed(591,rand(16478,6049,4493)).
seed(592,rand(13943,7634,29130)).
seed(593,rand(8371,24373,2847)).
seed(594,rand(16495,14129,7180)).
seed(595,rand(19824,27961,15499)).
seed(596,rand(1031,3107,10529)).
seed(597,rand(24665,5681,23586)).
seed(598,rand(11512,8006,7842)).
seed(599,rand(11505,26679,4803)).
seed(600,rand(23566,2987,12130)).
seed(601,rand(8136,20320,625)).
seed(602,rand(21661,1834,18720)).
seed(603,rand(30052,19495,18403)).
seed(604,rand(7221,14494,18160)).
seed(605,rand(17636,2214,745)).
seed(606,rand(15353,22345,25017)).
seed(607,rand(19926,5783,16405)).
seed(608,rand(29025,237,23846)).
seed(609,rand(6416,1786,12671)).
seed(610,rand(2564,24927,9442)).
seed(611,rand(20134,23081,14357)).
seed(612,rand(17962,6990,18583)).
seed(613,rand(8353,24359,14066)).
seed(614,rand(13630,11605,16705)).
seed(615,rand(9894,22792,16509)).
seed(616,rand(11913,27383,9777)).
seed(617,rand(2301,17844,2151)).
seed(618,rand(12811,2199,22326)).
seed(619,rand(2971,19577,21712)).
seed(620,rand(21798,16322,22942)).
seed(621,rand(17859,523,11850)).
seed(622,rand(7577,2178,19529)).
seed(623,rand(10728,8445,11852)).
seed(624,rand(9693,16283,9295)).
seed(625,rand(3171,18261,1643)).
seed(626,rand(8866,10594,23983)).
seed(627,rand(27392,28134,27564)).
seed(628,rand(20141,22554,6681)).
seed(629,rand(23657,4083,22510)).
seed(630,rand(27963,22686,1925)).
seed(631,rand(15661,20987,30158)).
seed(632,rand(27739,9860,18777)).
seed(633,rand(26635,18489,10148)).
seed(634,rand(10768,13152,12543)).
seed(635,rand(25105,13945,6979)).
seed(636,rand(9962,8171,26188)).
seed(637,rand(4036,13901,9640)).
seed(638,rand(738,1922,5733)).
seed(639,rand(17048,1274,24624)).
seed(640,rand(27996,5579,24370)).
seed(641,rand(22244,16790,6436)).
seed(642,rand(29026,4618,7803)).
seed(643,rand(23764,138,18035)).
seed(644,rand(24586,13940,27286)).
seed(645,rand(8184,16220,23438)).
seed(646,rand(16543,4970,16976)).
seed(647,rand(16456,6105,25652)).
seed(648,rand(9683,20117,4415)).
seed(649,rand(6027,21119,5009)).
seed(650,rand(9950,21625,13830)).
seed(651,rand(27486,21403,13243)).
seed(652,rand(1654,11066,9976)).
seed(653,rand(27477,24940,5999)).
seed(654,rand(22952,12257,27763)).
seed(655,rand(25591,8228,12682)).
seed(656,rand(6150,18628,30297)).
seed(657,rand(29047,28550,28276)).
seed(658,rand(24858,2178,17559)).
seed(659,rand(24724,18265,9439)).
seed(660,rand(21992,13550,11748)).
seed(661,rand(15309,9414,8362)).
seed(662,rand(7581,16405,25049)).
seed(663,rand(23643,26056,11207)).
seed(664,rand(11130,13843,5037)).
seed(665,rand(26554,22769,763)).
seed(666,rand(10201,985,24721)).
seed(667,rand(12695,21641,23459)).
seed(668,rand(23455,5110,20655)).
seed(669,rand(29523,29797,9965)).
seed(670,rand(19752,27420,25836)).
seed(671,rand(1163,26340,27687)).
seed(672,rand(10637,25823,1343)).
seed(673,rand(26419,14000,22426)).
seed(674,rand(3366,4364,2695)).
seed(675,rand(19419,14003,25418)).
seed(676,rand(9549,13317,25625)).
seed(677,rand(29588,26609,28989)).
seed(678,rand(25538,11052,23014)).
seed(679,rand(23982,16017,25825)).
seed(680,rand(22255,30283,4980)).
seed(681,rand(11362,22001,17607)).
seed(682,rand(15793,29628,25835)).
seed(683,rand(12873,20268,29052)).
seed(684,rand(18222,23927,14701)).
seed(685,rand(29763,17673,21574)).
seed(686,rand(5985,4433,12231)).
seed(687,rand(29903,9527,21647)).
seed(688,rand(1864,5760,27017)).
seed(689,rand(11870,14659,23446)).
seed(690,rand(5147,17069,6340)).
seed(691,rand(1362,21784,177)).
seed(692,rand(29043,10500,29972)).
seed(693,rand(3490,9216,19442)).
seed(694,rand(6266,17329,26896)).
seed(695,rand(23116,18301,9799)).
seed(696,rand(5307,26320,4752)).
seed(697,rand(13802,21445,30107)).
seed(698,rand(5900,3865,14377)).
seed(699,rand(23929,8567,4890)).
seed(700,rand(30124,28416,15856)).
seed(701,rand(23933,5836,24030)).
seed(702,rand(25713,22953,27286)).
seed(703,rand(26110,15950,18699)).
seed(704,rand(24249,10091,26576)).
seed(705,rand(22036,17070,28895)).
seed(706,rand(6500,19281,25154)).
seed(707,rand(1474,1339,4516)).
seed(708,rand(16626,29869,3477)).
seed(709,rand(14335,15319,15185)).
seed(710,rand(17738,22289,17290)).
seed(711,rand(11495,1660,5535)).
seed(712,rand(16944,16581,12149)).
seed(713,rand(13066,16904,3280)).
seed(714,rand(2617,22251,5898)).
seed(715,rand(25311,10899,28412)).
seed(716,rand(19096,24354,12255)).
seed(717,rand(16617,23888,620)).
seed(718,rand(14014,5935,16772)).
seed(719,rand(6345,18396,22367)).
seed(720,rand(2398,15211,4626)).
seed(721,rand(21869,29707,910)).
seed(722,rand(714,1008,15876)).
seed(723,rand(5103,2817,9907)).
seed(724,rand(3045,10373,13627)).
seed(725,rand(17143,5100,11504)).
seed(726,rand(5997,9475,24537)).
seed(727,rand(1599,16415,26747)).
seed(728,rand(640,22666,9332)).
seed(729,rand(26278,28327,7036)).
seed(730,rand(29701,29584,29948)).
seed(731,rand(17967,28927,18062)).
seed(732,rand(22939,19006,24588)).
seed(733,rand(16965,2649,22086)).
seed(734,rand(3791,12086,13100)).
seed(735,rand(12667,12578,26251)).
seed(736,rand(2401,7456,5354)).
seed(737,rand(20151,22266,3209)).
seed(738,rand(1327,11987,26185)).
seed(739,rand(1529,4682,18422)).
seed(740,rand(27965,12605,20658)).
seed(741,rand(9202,10247,13578)).
seed(742,rand(14909,3835,18356)).
seed(743,rand(18008,22403,19335)).
seed(744,rand(19753,8817,13447)).
seed(745,rand(23996,16047,10296)).
seed(746,rand(19463,11791,13107)).
seed(747,rand(17934,20979,1841)).
seed(748,rand(13218,2270,5188)).
seed(749,rand(6852,7328,17007)).
seed(750,rand(28909,29305,14074)).
seed(751,rand(6920,11177,8328)).
seed(752,rand(29946,10314,3886)).
seed(753,rand(7107,10298,25240)).
seed(754,rand(16293,26849,4828)).
seed(755,rand(15704,11422,10412)).
seed(756,rand(3482,25542,17373)).
seed(757,rand(20995,26213,12366)).
seed(758,rand(9156,25800,25824)).
seed(759,rand(23006,17715,22470)).
seed(760,rand(699,11735,20207)).
seed(761,rand(6917,29627,3938)).
seed(762,rand(25796,21340,26921)).
seed(763,rand(26160,3976,14710)).
seed(764,rand(15296,4292,11738)).
seed(765,rand(12809,27015,24131)).
seed(766,rand(28154,18336,25260)).
seed(767,rand(6807,17420,9252)).
seed(768,rand(14469,18871,6877)).
seed(769,rand(26123,13172,16769)).
seed(770,rand(8122,3113,16184)).
seed(771,rand(28879,8555,759)).
seed(772,rand(24580,2324,14717)).
seed(773,rand(2217,26346,6297)).
seed(774,rand(20802,11714,24083)).
seed(775,rand(427,14790,12029)).
seed(776,rand(667,26493,30020)).
seed(777,rand(9531,6266,25486)).
seed(778,rand(24528,27040,7091)).
seed(779,rand(18829,5009,22546)).
seed(780,rand(23440,4719,29064)).
seed(781,rand(22354,20627,17579)).
seed(782,rand(6402,14997,26717)).
seed(783,rand(23145,21480,24984)).
seed(784,rand(17676,7782,19501)).
seed(785,rand(27997,17984,2426)).
seed(786,rand(1664,10330,13523)).
seed(787,rand(12502,29884,22313)).
seed(788,rand(19587,13432,2503)).
seed(789,rand(23076,2667,25626)).
seed(790,rand(19990,9528,16061)).
seed(791,rand(22309,26445,2876)).
seed(792,rand(9279,14287,6827)).
seed(793,rand(21100,25071,13208)).
seed(794,rand(14017,10870,14714)).
seed(795,rand(17756,14753,12100)).
seed(796,rand(4175,16366,5459)).
seed(797,rand(29818,11242,21884)).
seed(798,rand(23007,10148,13212)).
seed(799,rand(11319,17724,22495)).
seed(800,rand(1610,7558,9947)).
seed(801,rand(23886,21205,22736)).
seed(802,rand(22923,5548,4938)).
seed(803,rand(3800,24246,9285)).
seed(804,rand(188,21763,17533)).
seed(805,rand(13375,29262,30051)).
seed(806,rand(2163,8191,16252)).
seed(807,rand(16089,26406,955)).
seed(808,rand(11238,3676,19803)).
seed(809,rand(5044,3716,15020)).
seed(810,rand(9591,27234,24647)).
seed(811,rand(7694,15991,22462)).
seed(812,rand(10098,23354,22761)).
seed(813,rand(28493,20982,25530)).
seed(814,rand(9934,5287,17230)).
seed(815,rand(9410,23378,19695)).
seed(816,rand(11876,27493,27022)).
seed(817,rand(10273,21880,22262)).
seed(818,rand(16428,4753,9594)).
seed(819,rand(25821,7585,6051)).
seed(820,rand(27588,19924,25153)).
seed(821,rand(2220,9486,29342)).
seed(822,rand(13468,7793,28372)).
seed(823,rand(652,29301,5098)).
seed(824,rand(6391,3011,8788)).
seed(825,rand(25910,25579,22192)).
seed(826,rand(21443,10521,5781)).
seed(827,rand(23631,10887,746)).
seed(828,rand(11660,21126,22877)).
seed(829,rand(23723,1837,4414)).
seed(830,rand(8581,13010,27993)).
seed(831,rand(25196,16692,14272)).
seed(832,rand(18908,7455,464)).
seed(833,rand(23799,17783,13553)).
seed(834,rand(23051,3043,2130)).
seed(835,rand(18567,28281,19731)).
seed(836,rand(19548,4941,6870)).
seed(837,rand(27237,982,6248)).
seed(838,rand(19692,5815,22317)).
seed(839,rand(20155,8525,13966)).
seed(840,rand(15427,22210,20539)).
seed(841,rand(26738,1144,14389)).
seed(842,rand(7015,22033,11924)).
seed(843,rand(18299,14850,23275)).
seed(844,rand(9860,1318,28395)).
seed(845,rand(920,6795,19892)).
seed(846,rand(17626,9914,25862)).
seed(847,rand(11696,12658,8425)).
seed(848,rand(28484,20288,15661)).
seed(849,rand(2723,21804,2693)).
seed(850,rand(1827,4413,6042)).
seed(851,rand(11478,15492,8892)).
seed(852,rand(6621,1758,4517)).
seed(853,rand(16810,26275,11998)).
seed(854,rand(23085,15227,1454)).
seed(855,rand(26139,26001,20355)).
seed(856,rand(29547,589,3323)).
seed(857,rand(28299,3620,3698)).
seed(858,rand(25312,23153,4310)).
seed(859,rand(11535,3409,21400)).
seed(860,rand(9577,21014,25887)).
seed(861,rand(19669,22925,21102)).
seed(862,rand(25978,28581,23504)).
seed(863,rand(3006,22397,579)).
seed(864,rand(11663,20444,11310)).
seed(865,rand(12334,21383,28788)).
seed(866,rand(1403,14795,20163)).
seed(867,rand(21099,15797,15022)).
seed(868,rand(16310,2445,26490)).
seed(869,rand(26562,2797,29431)).
seed(870,rand(29772,21492,25833)).
seed(871,rand(12142,23471,19587)).
seed(872,rand(23172,21370,2979)).
seed(873,rand(9000,5828,14575)).
seed(874,rand(7000,3920,9648)).
seed(875,rand(2206,10777,19599)).
seed(876,rand(29197,8705,7104)).
seed(877,rand(26557,26926,765)).
seed(878,rand(19352,26503,28868)).
seed(879,rand(2711,22764,10495)).
seed(880,rand(13870,27626,893)).
seed(881,rand(1105,25304,20256)).
seed(882,rand(6277,22823,8655)).
seed(883,rand(25429,24102,431)).
seed(884,rand(24324,23892,22980)).
seed(885,rand(4024,24881,20172)).
seed(886,rand(9958,12772,9347)).
seed(887,rand(20357,15465,20677)).
seed(888,rand(3483,10506,3965)).
seed(889,rand(26672,2300,11662)).
seed(890,rand(9688,25983,28555)).
seed(891,rand(8601,21892,23173)).
seed(892,rand(15652,14493,2329)).
seed(893,rand(25124,2055,1616)).
seed(894,rand(1607,20044,15230)).
seed(895,rand(10948,23234,9858)).
seed(896,rand(14328,26318,24836)).
seed(897,rand(13219,18447,19749)).
seed(898,rand(2541,23171,11587)).
seed(899,rand(13567,1322,5721)).
seed(900,rand(22553,15,20074)).
seed(901,rand(17637,21309,23260)).
seed(902,rand(16503,12291,29641)).
seed(903,rand(29897,16368,20716)).
seed(904,rand(19978,12502,20171)).
seed(905,rand(18556,29134,26959)).
seed(906,rand(18544,15945,28280)).
seed(907,rand(3923,22316,27051)).
seed(908,rand(17250,15239,3757)).
seed(909,rand(18076,13296,3694)).
seed(910,rand(27944,18693,13021)).
seed(911,rand(17979,5559,7939)).
seed(912,rand(14310,24372,24347)).
seed(913,rand(25148,9639,13752)).
seed(914,rand(28462,29609,20161)).
seed(915,rand(28472,21590,9336)).
seed(916,rand(8356,30005,1629)).
seed(917,rand(17522,25515,16961)).
seed(918,rand(26956,22739,20694)).
seed(919,rand(20513,6588,5447)).
seed(920,rand(4321,17813,28312)).
seed(921,rand(925,12436,20163)).
seed(922,rand(81,10517,17539)).
seed(923,rand(25162,185,3670)).
seed(924,rand(251,14778,10976)).
seed(925,rand(13592,28940,1852)).
seed(926,rand(30106,13877,20293)).
seed(927,rand(21485,16779,15818)).
seed(928,rand(14276,24260,3862)).
seed(929,rand(5130,6631,25126)).
seed(930,rand(20341,17142,4597)).
seed(931,rand(1702,16588,7353)).
seed(932,rand(19870,9069,12905)).
seed(933,rand(1309,15024,12173)).
seed(934,rand(1591,9899,2223)).
seed(935,rand(12250,734,4408)).
seed(936,rand(21878,13130,21787)).
seed(937,rand(4049,2377,28248)).
seed(938,rand(19872,23340,14998)).
seed(939,rand(29565,22937,4011)).
seed(940,rand(22019,3434,20036)).
seed(941,rand(8908,4516,9485)).
seed(942,rand(15819,13135,11091)).
seed(943,rand(15130,14797,957)).
seed(944,rand(7370,28835,11055)).
seed(945,rand(15245,161,10305)).
seed(946,rand(1865,17685,6265)).
seed(947,rand(27071,27790,29017)).
seed(948,rand(11518,21002,27437)).
seed(949,rand(9891,29007,30189)).
seed(950,rand(2623,5624,7162)).
seed(951,rand(28978,9832,7769)).
seed(952,rand(11552,11275,1600)).
seed(953,rand(1166,22102,21526)).
seed(954,rand(17091,1088,29458)).
seed(955,rand(16548,7654,8366)).
seed(956,rand(16088,10917,30322)).
seed(957,rand(26466,28726,30244)).
seed(958,rand(3245,24890,12115)).
seed(959,rand(28199,1846,6266)).
seed(960,rand(905,24360,28286)).
seed(961,rand(6087,29753,24856)).
seed(962,rand(12047,23565,25218)).
seed(963,rand(25051,21599,21368)).
seed(964,rand(26736,16332,3577)).
seed(965,rand(12891,26430,28375)).
seed(966,rand(21611,9870,5427)).
seed(967,rand(27093,13244,25068)).
seed(968,rand(9204,11606,21928)).
seed(969,rand(967,24484,4540)).
seed(970,rand(29731,4889,26287)).
seed(971,rand(20933,24805,1906)).
seed(972,rand(9214,27450,9541)).
seed(973,rand(14910,4441,14546)).
seed(974,rand(2847,4908,24647)).
seed(975,rand(19285,13902,28185)).
seed(976,rand(23617,22637,3404)).
seed(977,rand(14110,19419,3684)).
seed(978,rand(22908,2,9866)).
seed(979,rand(6284,19009,30225)).
seed(980,rand(5406,11612,19738)).
seed(981,rand(22665,20003,26412)).
seed(982,rand(22636,8123,14607)).
seed(983,rand(13575,22432,21533)).
seed(984,rand(3319,15706,13162)).
seed(985,rand(1707,28111,9291)).
seed(986,rand(12730,28406,20680)).
seed(987,rand(11213,22584,1282)).
seed(988,rand(28590,5811,3137)).
seed(989,rand(25712,23478,5363)).
seed(990,rand(24853,16927,10565)).
seed(991,rand(1332,26648,17481)).
seed(992,rand(30105,21006,1595)).
seed(993,rand(1628,19545,4124)).
seed(994,rand(3849,24456,6181)).
seed(995,rand(1341,6661,13421)).
seed(996,rand(18781,10683,20780)).
seed(997,rand(12565,3136,1669)).
seed(998,rand(28006,21229,13173)).
seed(999,rand(16988,11559,8375)).
seed(1000,rand(27598,2029,6506)).
