Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance disjunctiveScheduling.in6

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