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 01a-disjunctive_scheduling-1250-0.asp

Name	01a-disjunctive_scheduling-1250-0.asp
Classes	[Root]    Unclassified (3031)    Disjunctive Scheduling (30)      Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Neng-Fa Zhou, Francesco Calimeri and Maria Carmela Santoro
Description
Created	2012-03-30 11:43
Modified	2012-03-30 11:43
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	task(0,484). est(0,347). let(0,1035). task(1,182). est(1,522). let(1,1038). task(2,165). est(2,431). let(2,632). task(3,86). est(3,277). let(3,923). task(4,120). est(4,649). let(4,869). task(5,38). est(5,530). let(5,702). task(6,249). est(6,37). let(6,567). task(7,165). est(7,917). let(7,1135). task(8,208). est(8,696). let(8,1022). task(9,193). est(9,494). let(9,741). task(10,168). est(10,105). let(10,591). task(11,54). est(11,818). let(11,1167). task(12,213). est(12,319). let(12,616). task(13,362). est(13,539). let(13,1163). task(14,35). est(14,92). let(14,691). task(15,44). est(15,369). let(15,458). task(16,331). est(16,314). let(16,1140). task(17,316). est(17,641). let(17,1201). task(18,433). est(18,647). let(18,1219). task(19,98). est(19,344). let(19,514). task(20,44). est(20,18). let(20,1031). task(21,62). est(21,533). let(21,687). task(22,330). est(22,133). let(22,601). task(23,197). est(23,332). let(23,945). task(24,186). est(24,570). let(24,1238). task(25,515). est(25,332). let(25,881). task(26,464). est(26,182). let(26,1080). task(27,170). est(27,323). let(27,825). task(28,267). est(28,78). let(28,949). task(29,787). est(29,203). let(29,1095). task(30,25). est(30,261). let(30,880). task(31,319). est(31,235). let(31,864). task(32,514). est(32,195). let(32,954). task(33,722). est(33,39). let(33,961). task(34,230). est(34,715). let(34,1191). task(35,319). est(35,289). let(35,1179). task(36,11). est(36,22). let(36,1249). task(37,315). est(37,343). let(37,1058). task(38,492). est(38,136). let(38,1038). task(39,42). est(39,389). let(39,976). task(40,154). est(40,646). let(40,1000). task(41,837). est(41,25). let(41,1184). task(42,739). est(42,281). let(42,1028). task(43,22). est(43,859). let(43,1046). task(44,757). est(44,264). let(44,1214). task(45,316). est(45,399). let(45,1018). task(46,505). est(46,35). let(46,888). task(47,725). est(47,266). let(47,1018). task(48,206). est(48,132). let(48,997). task(49,896). est(49,47). let(49,1205). task(50,379). est(50,35). let(50,1057). task(51,228). est(51,22). let(51,702). task(52,52). est(52,237). let(52,756). task(53,155). est(53,318). let(53,1046). task(54,515). est(54,638). let(54,1249). task(55,220). est(55,644). let(55,1078). task(56,1021). est(56,147). let(56,1244). task(57,709). est(57,208). let(57,1045). task(58,172). est(58,407). let(58,784). task(59,493). est(59,454). let(59,1131). task(60,441). est(60,119). let(60,589). task(61,755). est(61,74). let(61,978). task(62,389). est(62,444). let(62,1217). task(63,312). est(63,599). let(63,993). task(64,561). est(64,115). let(64,683). task(65,49). est(65,62). let(65,817). task(66,202). est(66,398). let(66,1210). task(67,921). est(67,11). let(67,1166). task(68,419). est(68,262). let(68,1236). task(69,315). est(69,468). let(69,913). task(70,317). est(70,191). let(70,1033). task(71,748). est(71,465). let(71,1230). task(72,726). est(72,86). let(72,1013). task(73,88). est(73,574). let(73,868). task(74,520). est(74,246). let(74,800). task(75,383). est(75,526). let(75,1197). task(76,99). est(76,651). let(76,1073). task(77,403). est(77,666). let(77,1179). task(78,141). est(78,158). let(78,895). task(79,212). est(79,28). let(79,857). task(80,195). est(80,234). let(80,870). task(81,414). est(81,10). let(81,823). task(82,175). est(82,22). let(82,503). task(83,301). est(83,118). let(83,784). task(84,57). est(84,414). let(84,1120). task(85,263). est(85,804). let(85,1123). task(86,393). est(86,248). let(86,917). task(87,745). est(87,25). let(87,912). task(88,419). est(88,44). let(88,642). task(89,594). est(89,157). let(89,1102). task(90,33). est(90,431). let(90,999). task(91,450). est(91,71). let(91,1179). task(92,364). est(92,492). let(92,1236). task(93,568). est(93,126). let(93,1017). task(94,276). est(94,303). let(94,1128). task(95,60). est(95,586). let(95,1034). task(96,213). est(96,47). let(96,661). task(97,231). est(97,431). let(97,775). task(98,409). est(98,152). let(98,762). task(99,501). est(99,95). let(99,745). task(100,186). est(100,67). let(100,292). task(101,89). est(101,400). let(101,825). task(102,17). est(102,13). let(102,280). task(103,71). est(103,486). let(103,869). task(104,943). est(104,125). let(104,1141). task(105,2). est(105,279). let(105,659). task(106,416). est(106,519). let(106,1203). task(107,504). est(107,704). let(107,1220). task(108,804). est(108,142). let(108,1135). task(109,61). est(109,641). let(109,887). task(110,406). est(110,409). let(110,919). task(111,172). est(111,219). let(111,1162). task(112,289). est(112,499). let(112,1006). task(113,334). est(113,403). let(113,1066). task(114,800). est(114,193). let(114,1111). task(115,662). est(115,517). let(115,1201). task(116,29). est(116,47). let(116,88). task(117,106). est(117,610). let(117,739). task(118,230). est(118,476). let(118,765). task(119,181). est(119,606). let(119,813). task(120,372). est(120,321). let(120,796). task(121,394). est(121,160). let(121,758). task(122,260). est(122,137). let(122,1033). task(123,1003). est(123,181). let(123,1208). task(124,548). est(124,105). let(124,1103). task(125,224). est(125,717). let(125,1234). task(126,669). est(126,319). let(126,1219). task(127,832). est(127,13). let(127,982). task(128,372). est(128,80). let(128,811). task(129,356). est(129,36). let(129,1238). task(130,75). est(130,499). let(130,1248). task(131,141). est(131,368). let(131,1191). task(132,6). est(132,893). let(132,980). task(133,81). est(133,58). let(133,1135). task(134,758). est(134,9). let(134,1142). task(135,752). est(135,326). let(135,1238). task(136,338). est(136,288). let(136,1029). task(137,122). est(137,707). let(137,1043). task(138,151). est(138,296). let(138,502). task(139,524). est(139,160). let(139,968). task(140,77). est(140,198). let(140,584). task(141,127). est(141,598). let(141,1135). task(142,762). est(142,285). let(142,1113). task(143,224). est(143,770). let(143,1074). task(144,469). est(144,168). let(144,1134). task(145,89). est(145,213). let(145,1122). task(146,202). est(146,456). let(146,661). task(147,139). est(147,77). let(147,274). task(148,504). est(148,181). let(148,1190). task(149,282). est(149,269). let(149,878). task(150,285). est(150,139). let(150,941). task(151,27). est(151,587). let(151,821). task(152,582). est(152,171). let(152,839). task(153,170). est(153,103). let(153,1005). task(154,637). est(154,485). let(154,1148). task(155,226). est(155,550). let(155,1178). task(156,344). est(156,218). let(156,1248). task(157,72). est(157,146). let(157,489). task(158,162). est(158,323). let(158,525). task(159,668). est(159,5). let(159,1233). task(160,86). est(160,113). let(160,1243). task(161,839). est(161,221). let(161,1177). task(162,478). est(162,481). let(162,1167). task(163,520). est(163,205). let(163,872). task(164,492). est(164,426). let(164,1082). task(165,240). est(165,391). let(165,1185). task(166,231). est(166,206). let(166,516). task(167,129). est(167,86). let(167,521). task(168,327). est(168,484). let(168,967). task(169,105). est(169,866). let(169,1032). task(170,386). est(170,78). let(170,519). task(171,365). est(171,511). let(171,1182). task(172,151). est(172,394). let(172,851). task(173,297). est(173,80). let(173,1170). task(174,592). est(174,355). let(174,1100). task(175,18). est(175,40). let(175,149). task(176,134). est(176,427). let(176,1136). task(177,86). est(177,482). let(177,1010). task(178,926). est(178,256). let(178,1197). task(179,173). est(179,571). let(179,1033). task(180,11). est(180,122). let(180,1128). task(181,28). est(181,419). let(181,1205). task(182,564). est(182,255). let(182,1212). task(183,69). est(183,576). let(183,1141). task(184,359). est(184,250). let(184,610). task(185,45). est(185,802). let(185,997). task(186,827). est(186,7). let(186,910). task(187,196). est(187,604). let(187,1172). task(188,276). est(188,376). let(188,1080). task(189,495). est(189,240). let(189,967). task(190,707). est(190,167). let(190,1090). task(191,192). est(191,102). let(191,781). task(192,251). est(192,268). let(192,1022). task(193,653). est(193,10). let(193,769). task(194,45). est(194,112). let(194,619). task(195,631). est(195,252). let(195,949). task(196,44). est(196,266). let(196,539). task(197,167). est(197,247). let(197,473). task(198,473). est(198,395). let(198,901). task(199,228). est(199,589). let(199,1152). task(200,122). est(200,8). let(200,881). task(201,297). est(201,480). let(201,1113). task(202,567). est(202,601). let(202,1223). task(203,301). est(203,69). let(203,800). task(204,522). est(204,41). let(204,755). task(205,467). est(205,152). let(205,647). task(206,411). est(206,654). let(206,1092). task(207,396). est(207,370). let(207,950). task(208,794). est(208,234). let(208,1210). task(209,313). est(209,416). let(209,1206). task(210,141). est(210,718). let(210,1154). task(211,448). est(211,233). let(211,766). task(212,126). est(212,85). let(212,690). task(213,294). est(213,426). let(213,1198). task(214,312). est(214,282). let(214,1207). task(215,364). est(215,391). let(215,954). task(216,739). est(216,63). let(216,1038). task(217,46). est(217,213). let(217,984). task(218,7). est(218,1050). let(218,1137). task(219,70). est(219,130). let(219,1081). task(220,1037). est(220,117). let(220,1224). task(221,668). est(221,276). let(221,1071). task(222,447). est(222,359). let(222,1011). task(223,521). est(223,465). let(223,1110). task(224,413). est(224,7). let(224,930). task(225,171). est(225,830). let(225,1013). task(226,763). est(226,72). let(226,1198). task(227,306). est(227,141). let(227,1004). task(228,52). est(228,589). let(228,1145). task(229,911). est(229,173). let(229,1149). task(230,134). est(230,146). let(230,1013). task(231,470). est(231,53). let(231,631). task(232,477). est(232,470). let(232,1204). task(233,20). est(233,15). let(233,579). task(234,568). est(234,517). let(234,1185). task(235,445). est(235,12). let(235,706). task(236,396). est(236,367). let(236,844). task(237,501). est(237,345). let(237,1013). task(238,266). est(238,220). let(238,899). task(239,142). est(239,621). let(239,956). task(240,40). est(240,895). let(240,1106). task(241,329). est(241,518). let(241,1214). task(242,251). est(242,144). let(242,443). task(243,211). est(243,270). let(243,665). task(244,436). est(244,66). let(244,922). task(245,81). est(245,835). let(245,1098). task(246,367). est(246,12). let(246,544). task(247,438). est(247,199). let(247,1179). task(248,303). est(248,316). let(248,746). task(249,290). est(249,467). let(249,1119). task(250,112). est(250,75). let(250,1238). task(251,138). est(251,286). let(251,520). task(252,513). est(252,77). let(252,590). task(253,270). est(253,262). let(253,959). task(254,494). est(254,534). let(254,1181). task(255,458). est(255,196). let(255,730). task(256,351). est(256,87). let(256,1115). task(257,104). est(257,35). let(257,1019). task(258,205). est(258,478). let(258,1025). task(259,519). est(259,16). let(259,760). task(260,222). est(260,269). let(260,1057). task(261,679). est(261,124). let(261,1035). task(262,293). est(262,256). let(262,864). task(263,345). est(263,448). let(263,1186). task(264,620). est(264,101). let(264,794). task(265,734). est(265,226). let(265,1078). task(266,122). est(266,781). let(266,1146). task(267,463). est(267,68). let(267,691). task(268,127). est(268,718). let(268,1219). task(269,496). est(269,248). let(269,787). task(270,398). est(270,619). let(270,1102). task(271,337). est(271,518). let(271,1172). task(272,90). est(272,349). let(272,457). task(273,454). est(273,51). let(273,698). task(274,783). est(274,249). let(274,1124). task(275,458). est(275,102). let(275,1032). task(276,233). est(276,226). let(276,779). task(277,429). est(277,186). let(277,975). task(278,211). est(278,39). let(278,739). task(279,183). est(279,150). let(279,1088). task(280,349). est(280,319). let(280,944). task(281,363). est(281,806). let(281,1238). task(282,64). est(282,387). let(282,467). task(283,119). est(283,108). let(283,1231). task(284,260). est(284,350). let(284,925). task(285,47). est(285,997). let(285,1180). task(286,130). est(286,275). let(286,949). task(287,69). est(287,1091). let(287,1176). task(288,766). est(288,265). let(288,1233). task(289,69). est(289,214). let(289,1176). task(290,617). est(290,62). let(290,854). task(291,547). est(291,11). let(291,943). task(292,569). est(292,169). let(292,1080). task(293,278). est(293,184). let(293,475). task(294,80). est(294,56). let(294,534). task(295,469). est(295,27). let(295,870). task(296,271). est(296,232). let(296,819). task(297,717). est(297,196). let(297,1090). task(298,37). est(298,452). let(298,1037). task(299,302). est(299,229). let(299,589). task(300,244). est(300,407). let(300,800). task(301,255). est(301,730). let(301,1110). task(302,498). est(302,466). let(302,1197). task(303,260). est(303,780). let(303,1238). task(304,602). est(304,207). let(304,1179). task(305,26). est(305,899). let(305,1224). task(306,421). est(306,33). let(306,1010). task(307,351). est(307,24). let(307,1133). task(308,48). est(308,329). let(308,1022). task(309,778). est(309,94). let(309,1188). task(310,208). est(310,740). let(310,1113). task(311,76). est(311,340). let(311,757). task(312,102). est(312,991). let(312,1093). task(313,320). est(313,247). let(313,1011). task(314,15). est(314,1092). let(314,1208). task(315,420). est(315,192). let(315,1124). task(316,245). est(316,419). let(316,803). task(317,118). est(317,707). let(317,1236). task(318,740). est(318,187). let(318,993). task(319,365). est(319,260). let(319,1135). task(320,155). est(320,12). let(320,743). task(321,280). est(321,271). let(321,727). task(322,81). est(322,268). let(322,1227). task(323,183). est(323,226). let(323,495). task(324,676). est(324,128). let(324,804). task(325,294). est(325,48). let(325,746). task(326,271). est(326,123). let(326,402). task(327,344). est(327,690). let(327,1122). task(328,86). est(328,683). let(328,1014). task(329,197). est(329,654). let(329,1089). task(330,197). est(330,141). let(330,765). task(331,1022). est(331,101). let(331,1159). task(332,760). est(332,484). let(332,1247). task(333,93). est(333,67). let(333,213). task(334,22). est(334,234). let(334,953). task(335,301). est(335,219). let(335,1182). task(336,218). est(336,504). let(336,1237). task(337,234). est(337,702). let(337,1196). task(338,110). est(338,222). let(338,1027). task(339,50). est(339,251). let(339,881). task(340,98). est(340,360). let(340,1103). task(341,386). est(341,858). let(341,1246). task(342,574). est(342,82). let(342,768). task(343,65). est(343,919). let(343,1096). task(344,469). est(344,12). let(344,879). task(345,554). est(345,249). let(345,1126). task(346,863). est(346,28). let(346,1239). task(347,152). est(347,21). let(347,1118). task(348,648). est(348,68). let(348,901). task(349,123). est(349,234). let(349,1104). task(350,802). est(350,80). let(350,946). task(351,85). est(351,727). let(351,1014). task(352,883). est(352,243). let(352,1132). task(353,515). est(353,104). let(353,733). task(354,504). est(354,235). let(354,807). task(355,537). est(355,355). let(355,1220). task(356,884). est(356,39). let(356,1007). task(357,818). est(357,108). let(357,949). task(358,739). est(358,107). let(358,1135). task(359,621). est(359,30). let(359,793). task(360,82). est(360,117). let(360,217). task(361,198). est(361,523). let(361,1040). task(362,216). est(362,686). let(362,1114). task(363,98). est(363,450). let(363,927). task(364,196). est(364,298). let(364,1148). task(365,668). est(365,444). let(365,1163). task(366,577). est(366,118). let(366,1134). task(367,177). est(367,287). let(367,793). task(368,649). est(368,447). let(368,1103). task(369,514). est(369,61). let(369,1061). task(370,264). est(370,38). let(370,587). task(371,321). est(371,214). let(371,874). task(372,419). est(372,339). let(372,1182). task(373,15). est(373,704). let(373,1220). task(374,138). est(374,178). let(374,745). task(375,765). est(375,68). let(375,1132). task(376,343). est(376,312). let(376,708). task(377,221). est(377,123). let(377,719). task(378,261). est(378,260). let(378,897). task(379,652). est(379,262). let(379,1166). task(380,62). est(380,640). let(380,1158). task(381,246). est(381,356). let(381,923). task(382,970). est(382,18). let(382,1015). task(383,367). est(383,170). let(383,990). task(384,210). est(384,319). let(384,1143). task(385,93). est(385,252). let(385,795). task(386,232). est(386,101). let(386,1183). task(387,252). est(387,372). let(387,1088). task(388,214). est(388,737). let(388,1049). task(389,304). est(389,590). let(389,1198). task(390,297). est(390,277). let(390,1150). task(391,461). est(391,447). let(391,1086). task(392,72). est(392,531). let(392,1212). task(393,303). est(393,276). let(393,822). task(394,74). est(394,76). let(394,588). task(395,526). est(395,43). let(395,847). task(396,760). est(396,69). let(396,1083). task(397,387). est(397,439). let(397,1075). task(398,351). est(398,28). let(398,793). task(399,130). est(399,187). let(399,371). task(400,138). est(400,715). let(400,1096). task(401,84). est(401,820). let(401,1005). task(402,173). est(402,263). let(402,702). task(403,247). est(403,29). let(403,698). task(404,668). est(404,261). let(404,1092). task(405,141). est(405,68). let(405,805). task(406,90). est(406,639). let(406,785). task(407,77). est(407,174). let(407,837). task(408,242). est(408,87). let(408,636). task(409,824). est(409,290). let(409,1146). task(410,156). est(410,319). let(410,898). task(411,78). est(411,199). let(411,703). task(412,123). est(412,482). let(412,1012). task(413,169). est(413,302). let(413,727). task(414,536). est(414,7). let(414,991). task(415,36). est(415,451). let(415,1125). task(416,163). est(416,65). let(416,405). task(417,566). est(417,131). let(417,720). task(418,47). est(418,403). let(418,684). task(419,141). est(419,250). let(419,804). task(420,32). est(420,349). let(420,456). task(421,462). est(421,536). let(421,1160). task(422,34). est(422,49). let(422,863). task(423,915). est(423,215). let(423,1143). task(424,432). est(424,267). let(424,755). task(425,619). est(425,10). let(425,846). task(426,385). est(426,562). let(426,1182). task(427,836). est(427,130). let(427,1060). task(428,471). est(428,409). let(428,943). task(429,261). est(429,864). let(429,1153). task(430,173). est(430,5). let(430,664). task(431,17). est(431,405). let(431,1137). task(432,14). est(432,277). let(432,1142). task(433,67). est(433,272). let(433,720). task(434,923). est(434,288). let(434,1227). task(435,635). est(435,355). let(435,1058). task(436,306). est(436,367). let(436,838). task(437,860). est(437,116). let(437,1079). task(438,148). est(438,409). let(438,935). task(439,15). est(439,799). let(439,865). task(440,192). est(440,134). let(440,784). task(441,787). est(441,45). let(441,1102). task(442,22). est(442,256). let(442,1073). task(443,136). est(443,200). let(443,788). task(444,277). est(444,3). let(444,941). task(445,50). est(445,157). let(445,1162). task(446,447). est(446,132). let(446,1134). task(447,314). est(447,303). let(447,1114). task(448,147). est(448,92). let(448,1079). task(449,340). est(449,519). let(449,971). task(450,36). est(450,246). let(450,930). task(451,246). est(451,178). let(451,494). task(452,308). est(452,165). let(452,1002). task(453,62). est(453,39). let(453,847). task(454,646). est(454,36). let(454,1104). task(455,4). est(455,191). let(455,1102). task(456,419). est(456,602). let(456,1094). task(457,47). est(457,293). let(457,498). task(458,63). est(458,877). let(458,1009). task(459,825). est(459,117). let(459,1089). task(460,810). est(460,125). let(460,1026). task(461,148). est(461,111). let(461,451). task(462,27). est(462,186). let(462,236). task(463,931). est(463,144). let(463,1138). task(464,377). est(464,110). let(464,741). task(465,554). est(465,189). let(465,1078). task(466,491). est(466,305). let(466,1227). task(467,427). est(467,94). let(467,769). task(468,544). est(468,584). let(468,1176). task(469,547). est(469,136). let(469,772). task(470,26). est(470,31). let(470,1058). task(471,349). est(471,313). let(471,709). task(472,166). est(472,692). let(472,1166). task(473,55). est(473,668). let(473,1079). task(474,125). est(474,305). let(474,1167). task(475,144). est(475,797). let(475,1008). task(476,136). est(476,191). let(476,499). task(477,147). est(477,66). let(477,947). task(478,648). est(478,201). let(478,1240). task(479,56). est(479,444). let(479,1160). task(480,266). est(480,278). let(480,610). task(481,238). est(481,295). let(481,1211). task(482,92). est(482,82). let(482,578). task(483,918). est(483,25). let(483,987). task(484,381). est(484,90). let(484,765). task(485,147). est(485,145). let(485,439). task(486,716). est(486,20). let(486,782). task(487,232). est(487,359). let(487,1077). task(488,350). est(488,249). let(488,944). task(489,134). est(489,236). let(489,1062). task(490,69). est(490,480). let(490,1052). task(491,92). est(491,573). let(491,679). task(492,391). est(492,177). let(492,576). task(493,31). est(493,660). let(493,796). task(494,185). est(494,630). let(494,1217). task(495,409). est(495,218). let(495,1226). task(496,601). est(496,136). let(496,926). task(497,718). est(497,361). let(497,1161). task(498,631). est(498,26). let(498,869). task(499,205). est(499,390). let(499,646). task(500,733). est(500,283). let(500,1035). task(501,175). est(501,730). let(501,1065). task(502,545). est(502,110). let(502,1091). task(503,164). est(503,403). let(503,686). task(504,247). est(504,709). let(504,1077). task(505,149). est(505,221). let(505,702). task(506,446). est(506,155). let(506,757). task(507,79). est(507,195). let(507,419). task(508,144). est(508,180). let(508,480). task(509,534). est(509,244). let(509,995). task(510,595). est(510,265). let(510,1196). task(511,318). est(511,82). let(511,685). task(512,662). est(512,156). let(512,1238). task(513,94). est(513,260). let(513,506). task(514,183). est(514,142). let(514,1181). task(515,291). est(515,589). let(515,1176). task(516,163). est(516,251). let(516,626). task(517,707). est(517,190). let(517,1027). task(518,424). est(518,128). let(518,947). task(519,39). est(519,322). let(519,584). task(520,407). est(520,163). let(520,1246). task(521,204). est(521,479). let(521,769). task(522,384). est(522,1). let(522,1139). task(523,54). est(523,177). let(523,743). task(524,34). est(524,833). let(524,1067). task(525,112). est(525,667). let(525,941). task(526,599). est(526,81). let(526,1113). task(527,286). est(527,156). let(527,458). task(528,359). est(528,199). let(528,1197). task(529,161). est(529,901). let(529,1224). task(530,71). est(530,78). let(530,346). task(531,5). est(531,439). let(531,927). task(532,88). est(532,29). let(532,362). task(533,186). est(533,258). let(533,1049). task(534,672). est(534,345). let(534,1180). task(535,160). est(535,66). let(535,709). task(536,1048). est(536,53). let(536,1194). task(537,117). est(537,528). let(537,947). task(538,105). est(538,184). let(538,467). task(539,639). est(539,6). let(539,788). task(540,114). est(540,497). let(540,1224). task(541,167). est(541,278). let(541,645). task(542,266). est(542,594). let(542,979). task(543,778). est(543,220). let(543,1215). task(544,1050). est(544,60). let(544,1184). task(545,144). est(545,447). let(545,689). task(546,243). est(546,192). let(546,932). task(547,208). est(547,158). let(547,664). task(548,254). est(548,228). let(548,662). task(549,751). est(549,432). let(549,1205). task(550,511). est(550,229). let(550,952). task(551,140). est(551,406). let(551,833). task(552,433). est(552,147). let(552,956). task(553,343). est(553,306). let(553,1154). task(554,897). est(554,168). let(554,1067). task(555,376). est(555,450). let(555,1110). task(556,683). est(556,211). let(556,901). task(557,425). est(557,395). let(557,1188). task(558,825). est(558,44). let(558,1076). task(559,474). est(559,566). let(559,1243). task(560,36). est(560,468). let(560,659). task(561,661). est(561,42). let(561,806). task(562,372). est(562,52). let(562,1155). task(563,52). est(563,16). let(563,1089). task(564,681). est(564,139). let(564,1092). task(565,46). est(565,101). let(565,1011). task(566,62). est(566,704). let(566,1146). task(567,400). est(567,31). let(567,852). task(568,135). est(568,167). let(568,802). task(569,517). est(569,476). let(569,1130). task(570,564). est(570,528). let(570,1207). task(571,66). est(571,941). let(571,1131). task(572,340). est(572,364). let(572,885). task(573,41). est(573,299). let(573,842). task(574,186). est(574,328). let(574,1161). task(575,278). est(575,765). let(575,1064). task(576,125). est(576,81). let(576,705). task(577,722). est(577,170). let(577,982). task(578,64). est(578,461). let(578,769). task(579,195). est(579,518). let(579,1133). task(580,524). est(580,181). let(580,710). task(581,273). est(581,63). let(581,705). task(582,21). est(582,520). let(582,850). task(583,613). est(583,417). let(583,1046). task(584,136). est(584,247). let(584,763). task(585,241). est(585,84). let(585,850). task(586,9). est(586,166). let(586,740). task(587,683). est(587,78). let(587,957). task(588,211). est(588,563). let(588,988). task(589,17). est(589,491). let(589,870). task(590,197). est(590,177). let(590,453). task(591,148). est(591,792). let(591,1124). task(592,420). est(592,162). let(592,1022). task(593,79). est(593,736). let(593,1052). task(594,500). est(594,173). let(594,1036). task(595,476). est(595,107). let(595,972). task(596,141). est(596,676). let(596,828). task(597,137). est(597,341). let(597,931). task(598,743). est(598,4). let(598,928). task(599,289). est(599,9). let(599,772). task(600,500). est(600,452). let(600,1046). task(601,294). est(601,740). let(601,1055). task(602,523). est(602,23). let(602,1155). task(603,150). est(603,129). let(603,1002). task(604,821). est(604,77). let(604,1186). task(605,290). est(605,65). let(605,619). task(606,340). est(606,126). let(606,795). task(607,71). est(607,809). let(607,1242). task(608,265). est(608,257). let(608,825). task(609,972). est(609,95). let(609,1115). task(610,211). est(610,183). let(610,1074). task(611,722). est(611,196). let(611,977). task(612,369). est(612,201). let(612,1133). task(613,184). est(613,769). let(613,995). task(614,20). est(614,195). let(614,399). task(615,11). est(615,191). let(615,1241). task(616,318). est(616,418). let(616,750). task(617,732). est(617,469). let(617,1204). task(618,477). est(618,463). let(618,1189). task(619,648). est(619,218). let(619,1031). task(620,142). est(620,349). let(620,536). task(621,226). est(621,900). let(621,1237). task(622,24). est(622,207). let(622,1175). task(623,325). est(623,273). let(623,1235). task(624,45). est(624,293). let(624,591). task(625,164). est(625,206). let(625,794). task(626,272). est(626,731). let(626,1026). task(627,54). est(627,368). let(627,873). task(628,201). est(628,889). let(628,1207). task(629,27). est(629,361). let(629,644). task(630,126). est(630,362). let(630,1004). task(631,83). est(631,440). let(631,778). task(632,402). est(632,11). let(632,1244). task(633,156). est(633,195). let(633,537). task(634,61). est(634,7). let(634,531). task(635,392). est(635,177). let(635,996). task(636,652). est(636,83). let(636,1161). task(637,79). est(637,633). let(637,724). task(638,194). est(638,0). let(638,1219). task(639,234). est(639,764). let(639,1062). task(640,480). est(640,112). let(640,954). task(641,291). est(641,181). let(641,838). task(642,63). est(642,646). let(642,891). task(643,102). est(643,51). let(643,518). task(644,54). est(644,543). let(644,913). task(645,783). est(645,194). let(645,1202). task(646,200). est(646,198). let(646,450). task(647,116). est(647,86). let(647,628). task(648,178). est(648,367). let(648,551). task(649,196). est(649,725). let(649,1124). task(650,9). est(650,822). let(650,962). task(651,146). est(651,179). let(651,672). task(652,223). est(652,639). let(652,1111). task(653,485). est(653,218). let(653,891). task(654,197). est(654,548). let(654,1190). task(655,366). est(655,325). let(655,741). task(656,672). est(656,252). let(656,954). task(657,121). est(657,0). let(657,370). task(658,376). est(658,376). let(658,809). task(659,96). est(659,497). let(659,809). task(660,25). est(660,13). let(660,679). task(661,176). est(661,159). let(661,1163). task(662,882). est(662,102). let(662,1155). task(663,486). est(663,189). let(663,690). task(664,797). est(664,398). let(664,1229). task(665,109). est(665,151). let(665,543). task(666,95). est(666,169). let(666,1155). task(667,369). est(667,562). let(667,1070). task(668,650). est(668,361). let(668,1138). task(669,206). est(669,358). let(669,645). task(670,173). est(670,333). let(670,1039). task(671,117). est(671,183). let(671,691). task(672,207). est(672,934). let(672,1155). task(673,93). est(673,111). let(673,851). task(674,675). est(674,206). let(674,1211). task(675,431). est(675,339). let(675,1087). task(676,105). est(676,60). let(676,1141). task(677,29). est(677,433). let(677,1066). task(678,134). est(678,130). let(678,873). task(679,164). est(679,335). let(679,661). task(680,314). est(680,464). let(680,896). task(681,3). est(681,321). let(681,738). task(682,86). est(682,25). let(682,189). task(683,576). est(683,310). let(683,929). task(684,374). est(684,308). let(684,1066). task(685,404). est(685,196). let(685,701). task(686,102). est(686,259). let(686,667). task(687,73). est(687,834). let(687,1079). task(688,391). est(688,352). let(688,1117). task(689,45). est(689,300). let(689,1002). task(690,181). est(690,158). let(690,577). task(691,268). est(691,199). let(691,987). task(692,483). est(692,226). let(692,1094). task(693,384). est(693,5). let(693,1183). task(694,169). est(694,1027). let(694,1249). task(695,261). est(695,708). let(695,1134). task(696,441). est(696,188). let(696,1159). task(697,160). est(697,131). let(697,1016). task(698,552). est(698,367). let(698,1240). task(699,847). est(699,25). let(699,1037). task(700,192). est(700,185). let(700,1168). task(701,61). est(701,928). let(701,1078). task(702,179). est(702,17). let(702,1230). task(703,199). est(703,77). let(703,1010). task(704,432). est(704,389). let(704,903). task(705,278). est(705,196). let(705,890). task(706,51). est(706,168). let(706,594). task(707,488). est(707,135). let(707,984). task(708,188). est(708,975). let(708,1179). task(709,523). est(709,467). let(709,1089). task(710,325). est(710,509). let(710,1204). task(711,356). est(711,101). let(711,534). task(712,500). est(712,501). let(712,1230). task(713,455). est(713,50). let(713,832). task(714,712). est(714,408). let(714,1224). task(715,226). est(715,361). let(715,888). task(716,831). est(716,211). let(716,1134). task(717,458). est(717,509). let(717,1012). task(718,98). est(718,418). let(718,1019). task(719,72). est(719,353). let(719,458). task(720,454). est(720,330). let(720,804). task(721,387). est(721,149). let(721,588). task(722,241). est(722,875). let(722,1176). task(723,444). est(723,628). let(723,1090). task(724,194). est(724,531). let(724,1208). task(725,645). est(725,150). let(725,1152). task(726,544). est(726,339). let(726,987). task(727,496). est(727,229). let(727,1140). task(728,234). est(728,73). let(728,991). task(729,594). est(729,312). let(729,950). task(730,516). est(730,477). let(730,1005). task(731,702). est(731,135). let(731,900). task(732,270). est(732,308). let(732,793). task(733,85). est(733,675). let(733,880). task(734,507). est(734,446). let(734,1173). task(735,1059). est(735,71). let(735,1215). task(736,363). est(736,195). let(736,1144). task(737,318). est(737,124). let(737,1088). task(738,356). est(738,226). let(738,1108). task(739,221). est(739,342). let(739,777). task(740,570). est(740,162). let(740,735). task(741,928). est(741,7). let(741,1136). task(742,156). est(742,71). let(742,902). task(743,151). est(743,16). let(743,957). task(744,88). est(744,51). let(744,724). task(745,331). est(745,206). let(745,795). task(746,711). est(746,173). let(746,973). task(747,215). est(747,214). let(747,985). task(748,500). est(748,247). let(748,1120). task(749,49). est(749,65). let(749,1168). task(750,70). est(750,7). let(750,1034). task(751,224). est(751,173). let(751,580). task(752,332). est(752,219). let(752,972). task(753,186). est(753,779). let(753,1233). task(754,376). est(754,138). let(754,733). task(755,144). est(755,260). let(755,909). task(756,381). est(756,18). let(756,1024). task(757,172). est(757,621). let(757,1143). task(758,394). est(758,303). let(758,1230). task(759,173). est(759,54). let(759,1228). task(760,194). est(760,71). let(760,1237). task(761,7). est(761,2). let(761,911). task(762,18). est(762,253). let(762,1223). task(763,150). est(763,176). let(763,975). task(764,518). est(764,75). let(764,853). task(765,140). est(765,339). let(765,728). task(766,73). est(766,477). let(766,723). task(767,145). est(767,576). let(767,802). task(768,44). est(768,440). let(768,808). task(769,693). est(769,363). let(769,1197). task(770,11). est(770,145). let(770,315). task(771,249). est(771,422). let(771,1093). task(772,179). est(772,355). let(772,1029). task(773,344). est(773,419). let(773,1187). task(774,52). est(774,794). let(774,992). task(775,518). est(775,101). let(775,1191). task(776,214). est(776,623). let(776,997). task(777,151). est(777,817). let(777,1163). task(778,402). est(778,12). let(778,1022). task(779,258). est(779,21). let(779,347). task(780,14). est(780,316). let(780,975). task(781,330). est(781,659). let(781,1205). task(782,135). est(782,755). let(782,1162). task(783,768). est(783,190). let(783,1194). task(784,782). est(784,0). let(784,1221). task(785,168). est(785,766). let(785,1054). task(786,112). est(786,297). let(786,1156). task(787,740). est(787,64). let(787,854). task(788,288). est(788,503). let(788,1045). task(789,59). est(789,285). let(789,822). task(790,442). est(790,251). let(790,952). task(791,237). est(791,96). let(791,1183). task(792,591). est(792,372). let(792,1045). task(793,105). est(793,22). let(793,344). task(794,65). est(794,277). let(794,367). task(795,534). est(795,561). let(795,1109). task(796,559). est(796,466). let(796,1152). task(797,622). est(797,60). let(797,1222). task(798,412). est(798,163). let(798,1242). task(799,94). est(799,498). let(799,1247). task(800,978). est(800,57). let(800,1096). task(801,41). est(801,380). let(801,698). task(802,644). est(802,195). let(802,1142). task(803,65). est(803,237). let(803,1042). task(804,77). est(804,49). let(804,1133). task(805,532). est(805,119). let(805,662). task(806,35). est(806,285). let(806,899). task(807,151). est(807,345). let(807,1184). task(808,463). est(808,308). let(808,1163). task(809,402). est(809,543). let(809,946). task(810,64). est(810,895). let(810,1170). task(811,794). est(811,63). let(811,1226). task(812,246). est(812,807). let(812,1088). task(813,230). est(813,749). let(813,980). task(814,252). est(814,579). let(814,995). task(815,176). est(815,240). let(815,1209). task(816,42). est(816,554). let(816,1152). task(817,239). est(817,226). let(817,1205). task(818,646). est(818,48). let(818,740). task(819,56). est(819,152). let(819,485). task(820,286). est(820,445). let(820,905). task(821,396). est(821,791). let(821,1206). task(822,130). est(822,956). let(822,1241). task(823,190). est(823,539). let(823,1177). task(824,48). est(824,451). let(824,934). task(825,30). est(825,358). let(825,765). task(826,276). est(826,237). let(826,993). task(827,111). est(827,218). let(827,513). task(828,343). est(828,673). let(828,1191). task(829,332). est(829,604). let(829,1038). task(830,337). est(830,6). let(830,761). task(831,303). est(831,348). let(831,969). task(832,14). est(832,416). let(832,665). task(833,629). est(833,242). let(833,1014). task(834,446). est(834,493). let(834,1034). task(835,137). est(835,108). let(835,754). task(836,485). est(836,90). let(836,873). task(837,68). est(837,456). let(837,705). task(838,725). est(838,163). let(838,1113). task(839,420). est(839,364). let(839,1020). task(840,128). est(840,20). let(840,1245). task(841,766). est(841,255). let(841,1217). task(842,683). est(842,106). let(842,944). task(843,483). est(843,455). let(843,985). task(844,443). est(844,465). let(844,1021). task(845,85). est(845,910). let(845,1067). task(846,115). est(846,290). let(846,900). task(847,418). est(847,31). let(847,604). task(848,51). est(848,226). let(848,491). task(849,209). est(849,900). let(849,1205). task(850,237). est(850,397). let(850,655). task(851,185). est(851,918). let(851,1231). task(852,604). est(852,234). let(852,1087). task(853,47). est(853,165). let(853,367). task(854,862). est(854,40). let(854,1151). task(855,570). est(855,557). let(855,1158). task(856,415). est(856,224). let(856,1161). task(857,1045). est(857,46). let(857,1140). task(858,933). est(858,106). let(858,1064). task(859,53). est(859,488). let(859,853). task(860,420). est(860,156). let(860,956). task(861,165). est(861,564). let(861,1022). task(862,54). est(862,136). let(862,656). task(863,352). est(863,194). let(863,1035). task(864,145). est(864,805). let(864,1230). task(865,844). est(865,58). let(865,1175). task(866,95). est(866,104). let(866,783). task(867,124). est(867,449). let(867,580). task(868,329). est(868,297). let(868,650). task(869,62). est(869,267). let(869,681). prec(0,12). prec(0,14). prec(0,16). prec(0,17). prec(0,23). prec(0,24). prec(0,32). prec(0,35). prec(0,43). prec(0,57). prec(0,58). prec(0,60). prec(0,71). prec(0,72). prec(0,79). prec(0,81). prec(0,83). prec(0,90). prec(0,98). prec(0,104). prec(0,110). prec(0,111). prec(0,112). prec(0,115). prec(0,118). prec(0,131). prec(0,133). prec(0,143). prec(0,145). prec(0,146). prec(0,154). prec(0,156). prec(0,158). prec(0,168). prec(0,178). prec(0,181). prec(0,184). prec(0,187). prec(0,190). prec(0,194). prec(0,196). prec(0,199). prec(0,200). prec(0,203). prec(0,204). prec(0,210). prec(0,222). prec(0,227). prec(0,230). prec(0,233). prec(0,239). prec(0,247). prec(0,250). prec(0,257). prec(0,261). prec(0,263). prec(0,266). prec(0,270). prec(0,274). prec(0,276). prec(0,278). prec(0,279). prec(0,294). prec(0,301). prec(0,307). prec(0,312). prec(0,313). prec(0,315). prec(0,316). prec(0,320). prec(0,325). prec(0,332). prec(0,336). prec(0,342). prec(0,349). prec(0,351). prec(0,352). prec(0,357). prec(0,365). prec(0,383). prec(0,385). prec(0,386). prec(0,388). prec(0,390). prec(0,392). prec(0,397). prec(0,404). prec(0,405). prec(0,409). prec(0,410). prec(0,412). prec(0,413). prec(0,417). prec(0,418). prec(0,422). prec(0,428). prec(0,430). prec(0,435). prec(0,439). prec(0,441). prec(0,446). prec(0,450). prec(0,456). prec(0,458). prec(0,459). prec(0,460). prec(0,462). prec(0,463). prec(0,467). prec(0,468). prec(0,469). prec(0,475). prec(0,477). prec(0,478). prec(0,480). prec(0,481). prec(0,483). prec(0,485). prec(0,488). prec(0,492). prec(0,493). prec(0,497). prec(0,499). prec(0,501). prec(0,505). prec(0,506). prec(0,509). prec(0,510). prec(0,511). prec(0,515). prec(0,516). prec(0,521). prec(0,524). prec(0,527). prec(0,528). prec(0,529). prec(0,530). prec(0,531). prec(0,532). prec(0,536). prec(0,539). prec(0,546). prec(0,548). prec(0,551). prec(0,555). prec(0,558). prec(0,563). prec(0,572). prec(0,574). prec(0,575). prec(0,576). prec(0,577). prec(0,578). prec(0,580). prec(0,583). prec(0,590). prec(0,593). prec(0,596). prec(0,597). prec(0,602). prec(0,605). prec(0,609). prec(0,623). prec(0,628). prec(0,637). prec(0,638). prec(0,640). prec(0,644). prec(0,645). prec(0,662). prec(0,667). prec(0,670). prec(0,671). prec(0,681). prec(0,683). prec(0,687). prec(0,691). prec(0,694). prec(0,695). prec(0,712). prec(0,715). prec(0,717). prec(0,724). prec(0,725). prec(0,727). prec(0,728). prec(0,734). prec(0,749). prec(0,750). prec(0,755). prec(0,763). prec(0,765). prec(0,771). prec(0,781). prec(0,782). prec(0,787). prec(0,795). prec(0,803). prec(0,804). prec(0,810). prec(0,813). prec(0,814). prec(0,822). prec(0,831). prec(0,836). prec(0,845). prec(0,852). prec(0,854). prec(0,864). prec(1,0). prec(1,3). prec(1,5). prec(1,8). prec(1,10). prec(1,18). prec(1,24). prec(1,26). prec(1,29). prec(1,35). prec(1,36). prec(1,37). prec(1,39). prec(1,41). prec(1,44). prec(1,47). prec(1,52). prec(1,53). prec(1,55). prec(1,56). prec(1,59). prec(1,60). prec(1,68). prec(1,73). prec(1,78). prec(1,82). prec(1,83). prec(1,86). prec(1,89). prec(1,99). prec(1,105). prec(1,108). prec(1,109). prec(1,111). prec(1,123). prec(1,125). prec(1,129). prec(1,130). prec(1,137). prec(1,141). prec(1,146). prec(1,150). prec(1,151). prec(1,157). prec(1,160). prec(1,162). prec(1,165). prec(1,168). prec(1,170). prec(1,175). prec(1,184). prec(1,186). prec(1,190). prec(1,192). prec(1,197). prec(1,202). prec(1,203). prec(1,204). prec(1,211). prec(1,215). prec(1,217). prec(1,218). prec(1,220). prec(1,225). prec(1,229). prec(1,230). prec(1,238). prec(1,239). prec(1,242). prec(1,251). prec(1,254). prec(1,256). prec(1,262). prec(1,278). prec(1,287). prec(1,288). prec(1,289). prec(1,296). prec(1,299). prec(1,303). prec(1,304). prec(1,305). prec(1,306). prec(1,310). prec(1,315). prec(1,317). prec(1,320). prec(1,323). prec(1,327). prec(1,332). prec(1,333). prec(1,336). prec(1,337). prec(1,340). prec(1,341). prec(1,349). prec(1,350). prec(1,357). prec(1,360). prec(1,369). prec(1,374). prec(1,379). prec(1,381). prec(1,382). prec(1,388). prec(1,402). prec(1,406). prec(1,408). prec(1,409). prec(1,412). prec(1,416). prec(1,417). prec(1,418). prec(1,421). prec(1,422). prec(1,426). prec(1,427). prec(1,432). prec(1,436). prec(1,444). prec(1,446). prec(1,453). prec(1,455). prec(1,456). prec(1,460). prec(1,469). prec(1,471). prec(1,472). prec(1,473). prec(1,478). prec(1,485). prec(1,486). prec(1,491). prec(1,495). prec(1,497). prec(1,503). prec(1,504). prec(1,515). prec(1,521). prec(1,523). prec(1,526). prec(1,531). prec(1,534). prec(1,536). prec(1,543). prec(1,546). prec(1,547). prec(1,548). prec(1,549). prec(1,554). prec(1,556). prec(1,561). prec(1,562). prec(1,564). prec(1,567). prec(1,569). prec(1,570). prec(1,571). prec(1,573). prec(1,578). prec(1,587). prec(1,588). prec(1,589). prec(1,590). prec(1,591). prec(1,593). prec(1,594). prec(1,601). prec(1,602). prec(1,604). prec(1,619). prec(1,628). prec(1,640). prec(1,645). prec(1,652). prec(1,654). prec(1,655). prec(1,656). prec(1,660). prec(1,661). prec(1,669). prec(1,672). prec(1,674). prec(1,677). prec(1,682). prec(1,687). prec(1,690). prec(1,693). prec(1,695). prec(1,699). prec(1,707). prec(1,709). prec(1,711). prec(1,712). prec(1,716). prec(1,726). prec(1,729). prec(1,734). prec(1,737). prec(1,742). prec(1,750). prec(1,756). prec(1,757). prec(1,760). prec(1,761). prec(1,762). prec(1,779). prec(1,787). prec(1,790). prec(1,793). prec(1,805). prec(1,819). prec(1,821). prec(1,828). prec(1,831). prec(1,832). prec(1,834). prec(1,835). prec(1,839). prec(1,841). prec(1,843). prec(1,846). prec(1,851). prec(1,854). prec(1,862). prec(2,1). prec(2,10). prec(2,12). prec(2,13). prec(2,14). prec(2,21). prec(2,22). prec(2,23). prec(2,25). prec(2,34). prec(2,36). prec(2,47). prec(2,48). prec(2,60). prec(2,64). prec(2,66). prec(2,76). prec(2,80). prec(2,84). prec(2,85). prec(2,88). prec(2,93). prec(2,94). prec(2,95). prec(2,102). prec(2,113). prec(2,115). prec(2,116). prec(2,123). prec(2,128). prec(2,130). prec(2,137). prec(2,138). prec(2,139). prec(2,142). prec(2,153). prec(2,162). prec(2,164). prec(2,167). prec(2,169). prec(2,176). prec(2,179). prec(2,180). prec(2,185). prec(2,186). prec(2,195). prec(2,197). prec(2,201). prec(2,202). prec(2,203). prec(2,207). prec(2,208). prec(2,211). prec(2,218). prec(2,219). prec(2,239). prec(2,240). prec(2,255). prec(2,257). prec(2,267). prec(2,277). prec(2,280). prec(2,285). prec(2,286). prec(2,287). prec(2,288). prec(2,291). prec(2,293). prec(2,297). prec(2,298). prec(2,301). prec(2,306). prec(2,317). prec(2,322). prec(2,323). prec(2,329). prec(2,330). prec(2,333). prec(2,336). prec(2,337). prec(2,338). prec(2,341). prec(2,343). prec(2,345). prec(2,347). prec(2,350). prec(2,351). prec(2,355). prec(2,362). prec(2,366). prec(2,372). prec(2,376). prec(2,377). prec(2,378). prec(2,381). prec(2,387). prec(2,389). prec(2,390). prec(2,391). prec(2,395). prec(2,411). prec(2,416). prec(2,418). prec(2,422). prec(2,423). prec(2,426). prec(2,430). prec(2,431). prec(2,432). prec(2,435). prec(2,439). prec(2,440). prec(2,444). prec(2,445). prec(2,446). prec(2,450). prec(2,453). prec(2,455). prec(2,457). prec(2,458). prec(2,459). prec(2,460). prec(2,461). prec(2,466). prec(2,469). prec(2,474). prec(2,476). prec(2,478). prec(2,479). prec(2,481). prec(2,491). prec(2,494). prec(2,496). prec(2,498). prec(2,500). prec(2,507). prec(2,508). prec(2,511). prec(2,513). prec(2,518). prec(2,520). prec(2,523). prec(2,524). prec(2,528). prec(2,529). prec(2,540). prec(2,544). prec(2,546). prec(2,547). prec(2,560). prec(2,564). prec(2,568). prec(2,577). prec(2,580). prec(2,584). prec(2,586). prec(2,589). prec(2,600). prec(2,610). prec(2,611). prec(2,612). prec(2,613). prec(2,616). prec(2,622). prec(2,624). prec(2,631). prec(2,640). prec(2,641). prec(2,645). prec(2,646). prec(2,652). prec(2,657). prec(2,658). prec(2,676). prec(2,684). prec(2,685). prec(2,690). prec(2,692). prec(2,701). prec(2,707). prec(2,708). prec(2,711). prec(2,715). prec(2,716). prec(2,717). prec(2,721). prec(2,728). prec(2,739). prec(2,745). prec(2,749). prec(2,761). prec(2,763). prec(2,767). prec(2,768). prec(2,771). prec(2,775). prec(2,779). prec(2,787). prec(2,790). prec(2,792). prec(2,793). prec(2,800). prec(2,806). prec(2,807). prec(2,808). prec(2,810). prec(2,812). prec(2,813). prec(2,817). prec(2,828). prec(2,839). prec(2,841). prec(2,855). prec(2,858). prec(2,864). prec(2,868). prec(3,0). prec(3,6). prec(3,13). prec(3,16). prec(3,21). prec(3,22). prec(3,25). prec(3,26). prec(3,28). prec(3,29). prec(3,30). prec(3,38). prec(3,42). prec(3,48). prec(3,53). prec(3,54). prec(3,61). prec(3,62). prec(3,70). prec(3,75). prec(3,80). prec(3,87). prec(3,94). prec(3,100). prec(3,102). prec(3,121). prec(3,122). prec(3,128). prec(3,130). prec(3,132). prec(3,133). prec(3,143). prec(3,147). prec(3,150). prec(3,152). prec(3,154). prec(3,157). prec(3,158). prec(3,159). prec(3,164). prec(3,165). prec(3,168). prec(3,176). prec(3,177). prec(3,179). prec(3,180). prec(3,184). prec(3,193). prec(3,198). prec(3,200). prec(3,212). prec(3,216). prec(3,229). prec(3,231). prec(3,234). prec(3,238). prec(3,243). prec(3,248). prec(3,249). prec(3,254). prec(3,262). prec(3,265). prec(3,266). prec(3,273). prec(3,282). prec(3,284). prec(3,285). prec(3,288). prec(3,296). prec(3,299). prec(3,300). prec(3,303). prec(3,307). prec(3,309). prec(3,316). prec(3,318). prec(3,330). prec(3,331). prec(3,332). prec(3,339). prec(3,343). prec(3,344). prec(3,346). prec(3,350). prec(3,352). prec(3,354). prec(3,364). prec(3,366). prec(3,375). prec(3,379). prec(3,383). prec(3,384). prec(3,389). prec(3,391). prec(3,406). prec(3,409). prec(3,417). prec(3,423). prec(3,428). prec(3,434). prec(3,442). prec(3,443). prec(3,445). prec(3,446). prec(3,447). prec(3,452). prec(3,454). prec(3,455). prec(3,459). prec(3,465). prec(3,469). prec(3,470). prec(3,471). prec(3,486). prec(3,488). prec(3,489). prec(3,498). prec(3,500). prec(3,503). prec(3,505). prec(3,514). prec(3,515). prec(3,523). prec(3,525). prec(3,532). prec(3,544). prec(3,549). prec(3,550). prec(3,558). prec(3,562). prec(3,571). prec(3,584). prec(3,591). prec(3,594). prec(3,601). prec(3,602). prec(3,604). prec(3,606). prec(3,607). prec(3,610). prec(3,615). prec(3,617). prec(3,619). prec(3,621). prec(3,623). prec(3,626). prec(3,632). prec(3,638). prec(3,646). prec(3,647). prec(3,657). prec(3,659). prec(3,665). prec(3,667). prec(3,671). prec(3,672). prec(3,677). prec(3,678). prec(3,683). prec(3,684). prec(3,692). prec(3,695). prec(3,696). prec(3,702). prec(3,703). prec(3,706). prec(3,711). prec(3,714). prec(3,715). prec(3,720). prec(3,728). prec(3,730). prec(3,731). prec(3,732). prec(3,740). prec(3,741). prec(3,747). prec(3,750). prec(3,762). prec(3,767). prec(3,768). prec(3,772). prec(3,780). prec(3,787). prec(3,790). prec(3,794). prec(3,804). prec(3,813). prec(3,814). prec(3,817). prec(3,824). prec(3,825). prec(3,833). prec(3,838). prec(3,845). prec(3,848). prec(3,854). prec(3,865). prec(4,1). prec(4,2). prec(4,3). prec(4,8). prec(4,10). prec(4,11). prec(4,21). prec(4,23). prec(4,26). prec(4,28). prec(4,30). prec(4,31). prec(4,32). prec(4,33). prec(4,36). prec(4,45). prec(4,48). prec(4,49). prec(4,66). prec(4,69). prec(4,73). prec(4,76). prec(4,79). prec(4,81). prec(4,85). prec(4,93). prec(4,101). prec(4,107). prec(4,110). prec(4,116). prec(4,118). prec(4,122). prec(4,127). prec(4,142). prec(4,151). prec(4,152). prec(4,156). prec(4,157). prec(4,159). prec(4,160). prec(4,161). prec(4,163). prec(4,168). prec(4,169). prec(4,171). prec(4,175). prec(4,178). prec(4,185). prec(4,186). prec(4,187). prec(4,192). prec(4,201). prec(4,203). prec(4,205). prec(4,206). prec(4,209). prec(4,211). prec(4,236). prec(4,237). prec(4,242). prec(4,247). prec(4,250). prec(4,253). prec(4,260). prec(4,262). prec(4,268). prec(4,270). prec(4,271). prec(4,272). prec(4,284). prec(4,289). prec(4,292). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)