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

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