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 bench_instance_diag_300.4.9.lp

Name	bench_instance_diag_300.4.9.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Random (small) (550)
Submitter	Martin Gebser
Author	Sven Thiele
Description
Created	2008-12-17 17:24
Modified	2008-12-17 17:24
Languages	Facts
Language Features
Compatible Encodings
Output Predicates	edge/2 input/1 obs_elabel/3 obs_vlabel/2 vertex/1
Tags:
Attributes
Content	vertex(0). vertex(1). vertex(2). vertex(3). vertex(4). vertex(5). vertex(6). vertex(7). vertex(8). vertex(9). vertex(10). vertex(11). vertex(12). vertex(13). vertex(14). vertex(15). vertex(16). vertex(17). vertex(18). vertex(19). input(19). vertex(20). input(20). vertex(21). vertex(22). vertex(23). vertex(24). vertex(25). vertex(26). vertex(27). vertex(28). vertex(29). input(29). vertex(30). vertex(31). vertex(32). vertex(33). vertex(34). vertex(35). vertex(36). vertex(37). vertex(38). vertex(39). vertex(40). vertex(41). vertex(42). vertex(43). vertex(44). vertex(45). vertex(46). vertex(47). vertex(48). vertex(49). vertex(50). vertex(51). input(51). vertex(52). vertex(53). vertex(54). vertex(55). vertex(56). vertex(57). vertex(58). vertex(59). vertex(60). vertex(61). vertex(62). vertex(63). input(63). vertex(64). vertex(65). vertex(66). vertex(67). vertex(68). vertex(69). input(69). vertex(70). vertex(71). vertex(72). vertex(73). vertex(74). vertex(75). vertex(76). vertex(77). vertex(78). vertex(79). vertex(80). vertex(81). input(81). vertex(82). vertex(83). vertex(84). vertex(85). vertex(86). vertex(87). vertex(88). vertex(89). vertex(90). vertex(91). vertex(92). vertex(93). vertex(94). input(94). vertex(95). vertex(96). input(96). vertex(97). vertex(98). vertex(99). vertex(100). vertex(101). vertex(102). vertex(103). vertex(104). vertex(105). vertex(106). vertex(107). vertex(108). vertex(109). input(109). vertex(110). vertex(111). vertex(112). vertex(113). vertex(114). vertex(115). vertex(116). vertex(117). vertex(118). vertex(119). vertex(120). vertex(121). vertex(122). vertex(123). vertex(124). vertex(125). vertex(126). vertex(127). vertex(128). input(128). vertex(129). vertex(130). vertex(131). vertex(132). vertex(133). vertex(134). vertex(135). vertex(136). vertex(137). vertex(138). vertex(139). vertex(140). vertex(141). vertex(142). vertex(143). input(143). vertex(144). vertex(145). vertex(146). vertex(147). vertex(148). vertex(149). vertex(150). vertex(151). vertex(152). vertex(153). vertex(154). input(154). vertex(155). vertex(156). vertex(157). vertex(158). vertex(159). vertex(160). vertex(161). vertex(162). vertex(163). vertex(164). input(164). vertex(165). vertex(166). vertex(167). vertex(168). vertex(169). input(169). vertex(170). vertex(171). vertex(172). vertex(173). input(173). vertex(174). vertex(175). vertex(176). vertex(177). vertex(178). vertex(179). vertex(180). vertex(181). vertex(182). vertex(183). vertex(184). vertex(185). vertex(186). vertex(187). vertex(188). vertex(189). vertex(190). vertex(191). vertex(192). vertex(193). vertex(194). vertex(195). vertex(196). vertex(197). vertex(198). vertex(199). vertex(200). vertex(201). vertex(202). vertex(203). vertex(204). vertex(205). vertex(206). vertex(207). input(207). vertex(208). vertex(209). vertex(210). vertex(211). vertex(212). vertex(213). input(213). vertex(214). vertex(215). vertex(216). vertex(217). vertex(218). vertex(219). vertex(220). vertex(221). vertex(222). vertex(223). input(223). vertex(224). vertex(225). vertex(226). vertex(227). vertex(228). vertex(229). vertex(230). vertex(231). vertex(232). input(232). vertex(233). vertex(234). vertex(235). vertex(236). vertex(237). vertex(238). vertex(239). vertex(240). vertex(241). vertex(242). vertex(243). vertex(244). input(244). vertex(245). vertex(246). vertex(247). vertex(248). vertex(249). vertex(250). vertex(251). vertex(252). vertex(253). vertex(254). vertex(255). vertex(256). vertex(257). input(257). vertex(258). vertex(259). vertex(260). vertex(261). vertex(262). input(262). vertex(263). vertex(264). vertex(265). vertex(266). vertex(267). vertex(268). vertex(269). vertex(270). vertex(271). vertex(272). vertex(273). vertex(274). vertex(275). vertex(276). vertex(277). vertex(278). vertex(279). vertex(280). vertex(281). vertex(282). vertex(283). vertex(284). vertex(285). vertex(286). vertex(287). vertex(288). vertex(289). vertex(290). vertex(291). input(291). vertex(292). vertex(293). vertex(294). vertex(295). vertex(296). vertex(297). vertex(298). vertex(299). edge(0,73). obs_elabel(0,73,1). edge(0,93). obs_elabel(0,93,1). edge(1,33). obs_elabel(1,33,1). edge(1,133). obs_elabel(1,133,1). edge(1,220). obs_elabel(1,220,1). edge(1,221). obs_elabel(1,221,1). edge(1,224). obs_elabel(1,224,-1). edge(2,12). obs_elabel(2,12,1). edge(2,14). obs_elabel(2,14,1). edge(2,58). obs_elabel(2,58,-1). edge(2,136). obs_elabel(2,136,-1). edge(2,222). obs_elabel(2,222,-1). edge(2,248). obs_elabel(2,248,-1). edge(3,5). obs_elabel(3,5,-1). edge(3,239). obs_elabel(3,239,1). edge(3,261). obs_elabel(3,261,1). edge(4,42). obs_elabel(4,42,1). edge(4,157). obs_elabel(4,157,1). edge(4,215). obs_elabel(4,215,1). edge(5,152). obs_elabel(5,152,1). edge(5,165). obs_elabel(5,165,1). edge(5,274). obs_elabel(5,274,-1). edge(5,285). obs_elabel(5,285,-1). edge(6,33). obs_elabel(6,33,1). edge(6,44). obs_elabel(6,44,-1). edge(6,49). obs_elabel(6,49,1). edge(7,56). obs_elabel(7,56,1). edge(7,64). obs_elabel(7,64,-1). edge(8,77). obs_elabel(8,77,-1). edge(8,217). obs_elabel(8,217,-1). edge(8,287). obs_elabel(8,287,-1). edge(9,105). obs_elabel(9,105,-1). edge(9,162). obs_elabel(9,162,-1). edge(10,180). obs_elabel(10,180,-1). edge(10,277). obs_elabel(10,277,1). edge(11,8). obs_elabel(11,8,1). edge(11,9). obs_elabel(11,9,-1). edge(11,43). obs_elabel(11,43,-1). edge(11,102). obs_elabel(11,102,-1). edge(11,140). obs_elabel(11,140,1). edge(11,246). obs_elabel(11,246,1). edge(12,86). obs_elabel(12,86,-1). edge(12,212). obs_elabel(12,212,1). edge(13,190). obs_elabel(13,190,-1). edge(13,293). obs_elabel(13,293,1). edge(13,294). obs_elabel(13,294,1). edge(14,15). obs_elabel(14,15,-1). edge(14,50). obs_elabel(14,50,-1). edge(14,175). obs_elabel(14,175,1). edge(15,45). obs_elabel(15,45,1). edge(15,48). obs_elabel(15,48,1). edge(15,206). obs_elabel(15,206,-1). edge(17,189). obs_elabel(17,189,-1). edge(17,284). obs_elabel(17,284,1). edge(18,36). obs_elabel(18,36,-1). edge(18,177). obs_elabel(18,177,-1). edge(19,93). obs_elabel(19,93,1). edge(19,267). obs_elabel(19,267,-1). edge(21,10). obs_elabel(21,10,1). edge(21,188). obs_elabel(21,188,-1). edge(21,258). obs_elabel(21,258,1). edge(21,280). obs_elabel(21,280,-1). edge(22,183). obs_elabel(22,183,1). edge(22,197). obs_elabel(22,197,-1). edge(22,299). obs_elabel(22,299,1). edge(23,117). obs_elabel(23,117,1). edge(23,118). obs_elabel(23,118,1). edge(23,182). obs_elabel(23,182,1). edge(23,253). obs_elabel(23,253,1). edge(23,275). obs_elabel(23,275,1). edge(23,284). obs_elabel(23,284,1). edge(24,147). obs_elabel(24,147,1). edge(25,9). obs_elabel(25,9,1). edge(25,64). obs_elabel(25,64,1). edge(25,253). obs_elabel(25,253,1). edge(25,259). obs_elabel(25,259,-1). edge(27,65). obs_elabel(27,65,1). edge(27,98). obs_elabel(27,98,1). edge(27,99). obs_elabel(27,99,-1). edge(27,116). obs_elabel(27,116,-1). edge(27,145). obs_elabel(27,145,-1). edge(27,236). obs_elabel(27,236,1). edge(27,284). obs_elabel(27,284,-1). edge(28,120). obs_elabel(28,120,1). edge(28,188). obs_elabel(28,188,1). edge(28,192). obs_elabel(28,192,1). edge(28,277). obs_elabel(28,277,-1). edge(28,294). obs_elabel(28,294,-1). edge(29,144). obs_elabel(29,144,-1). edge(29,152). obs_elabel(29,152,-1). edge(29,227). obs_elabel(29,227,-1). edge(29,271). obs_elabel(29,271,-1). edge(30,6). obs_elabel(30,6,-1). edge(30,76). obs_elabel(30,76,1). edge(31,4). obs_elabel(31,4,-1). edge(31,193). obs_elabel(31,193,1). edge(31,205). obs_elabel(31,205,-1). edge(31,299). obs_elabel(31,299,-1). edge(32,8). obs_elabel(32,8,1). edge(32,23). obs_elabel(32,23,-1). edge(32,53). obs_elabel(32,53,-1). edge(32,58). obs_elabel(32,58,1). edge(32,107). obs_elabel(32,107,-1). edge(32,224). obs_elabel(32,224,1). edge(32,288). obs_elabel(32,288,-1). edge(33,30). obs_elabel(33,30,-1). edge(33,174). obs_elabel(33,174,1). edge(33,236). obs_elabel(33,236,1). edge(33,280). obs_elabel(33,280,1). edge(33,283). obs_elabel(33,283,-1). edge(34,152). obs_elabel(34,152,-1). edge(35,8). obs_elabel(35,8,1). edge(35,59). obs_elabel(35,59,1). edge(35,140). obs_elabel(35,140,1). edge(35,269). obs_elabel(35,269,-1). edge(36,5). obs_elabel(36,5,1). edge(36,158). obs_elabel(36,158,1). edge(36,243). obs_elabel(36,243,1). edge(37,86). obs_elabel(37,86,1). edge(38,104). obs_elabel(38,104,-1). edge(38,184). obs_elabel(38,184,1). edge(38,212). obs_elabel(38,212,-1). edge(39,53). obs_elabel(39,53,1). edge(40,21). obs_elabel(40,21,-1). edge(40,236). obs_elabel(40,236,-1). edge(40,264). obs_elabel(40,264,1). edge(40,289). obs_elabel(40,289,1). edge(43,121). obs_elabel(43,121,-1). edge(43,125). obs_elabel(43,125,-1). edge(44,67). obs_elabel(44,67,1). edge(44,198). obs_elabel(44,198,-1). edge(44,287). obs_elabel(44,287,1). edge(45,95). obs_elabel(45,95,1). edge(45,274). obs_elabel(45,274,-1). edge(46,188). obs_elabel(46,188,-1). edge(46,192). obs_elabel(46,192,1). edge(46,282). obs_elabel(46,282,1). edge(46,294). obs_elabel(46,294,-1). edge(47,172). obs_elabel(47,172,-1). edge(47,177). obs_elabel(47,177,-1). edge(47,261). obs_elabel(47,261,-1). edge(47,273). obs_elabel(47,273,1). edge(47,279). obs_elabel(47,279,-1). edge(48,86). obs_elabel(48,86,1). edge(48,188). obs_elabel(48,188,-1). edge(48,237). obs_elabel(48,237,-1). edge(49,272). obs_elabel(49,272,-1). edge(50,133). obs_elabel(50,133,1). edge(50,189). obs_elabel(50,189,1). edge(51,233). obs_elabel(51,233,-1). edge(52,260). obs_elabel(52,260,-1). edge(53,13). obs_elabel(53,13,-1). edge(53,179). obs_elabel(53,179,1). edge(53,271). obs_elabel(53,271,1). edge(53,277). obs_elabel(53,277,1). edge(54,167). obs_elabel(54,167,1). edge(55,36). obs_elabel(55,36,-1). edge(55,102). obs_elabel(55,102,-1). edge(55,140). obs_elabel(55,140,-1). edge(55,249). obs_elabel(55,249,-1). edge(56,234). obs_elabel(56,234,-1). edge(57,0). obs_elabel(57,0,-1). edge(57,65). obs_elabel(57,65,1). edge(57,138). obs_elabel(57,138,1). edge(59,11). obs_elabel(59,11,-1). edge(59,38). obs_elabel(59,38,-1). edge(61,199). obs_elabel(61,199,-1). edge(61,246). obs_elabel(61,246,-1). edge(61,253). obs_elabel(61,253,-1). edge(62,102). obs_elabel(62,102,-1). edge(62,238). obs_elabel(62,238,1). edge(63,2). obs_elabel(63,2,1). edge(63,6). obs_elabel(63,6,-1). edge(63,37). obs_elabel(63,37,-1). edge(63,136). obs_elabel(63,136,1). edge(63,148). obs_elabel(63,148,-1). edge(63,272). obs_elabel(63,272,1). edge(64,35). obs_elabel(64,35,1). edge(65,33). obs_elabel(65,33,1). edge(65,73). obs_elabel(65,73,-1). edge(65,97). obs_elabel(65,97,1). edge(65,101). obs_elabel(65,101,1). edge(65,209). obs_elabel(65,209,-1). edge(65,269). obs_elabel(65,269,-1). edge(65,298). obs_elabel(65,298,-1). edge(66,65). obs_elabel(66,65,-1). edge(66,98). obs_elabel(66,98,-1). edge(66,226). obs_elabel(66,226,-1). edge(66,272). obs_elabel(66,272,1). edge(69,22). obs_elabel(69,22,1). edge(69,77). obs_elabel(69,77,1). edge(69,231). obs_elabel(69,231,1). edge(69,245). obs_elabel(69,245,1). edge(70,251). obs_elabel(70,251,-1). edge(70,281). obs_elabel(70,281,-1). edge(71,114). obs_elabel(71,114,-1). edge(72,138). obs_elabel(72,138,1). edge(72,194). obs_elabel(72,194,-1). edge(72,220). obs_elabel(72,220,-1). edge(73,110). obs_elabel(73,110,1). edge(73,168). obs_elabel(73,168,1). edge(74,219). obs_elabel(74,219,-1). edge(74,290). obs_elabel(74,290,1). edge(75,156). obs_elabel(75,156,-1). edge(75,195). obs_elabel(75,195,-1). edge(76,90). obs_elabel(76,90,1). edge(77,193). obs_elabel(77,193,1). edge(77,266). obs_elabel(77,266,-1). edge(77,289). obs_elabel(77,289,1). edge(79,39). obs_elabel(79,39,1). edge(79,270). obs_elabel(79,270,1). edge(80,52). obs_elabel(80,52,1). edge(80,230). obs_elabel(80,230,-1). edge(81,253). obs_elabel(81,253,-1). edge(82,119). obs_elabel(82,119,-1). edge(83,90). obs_elabel(83,90,1). edge(84,59). obs_elabel(84,59,-1). edge(84,130). obs_elabel(84,130,-1). edge(84,229). obs_elabel(84,229,-1). edge(85,110). obs_elabel(85,110,-1). edge(85,137). obs_elabel(85,137,-1). edge(85,261). obs_elabel(85,261,-1). edge(86,111). obs_elabel(86,111,-1). edge(86,188). obs_elabel(86,188,-1). edge(86,226). obs_elabel(86,226,1). edge(86,228). obs_elabel(86,228,1). edge(86,247). obs_elabel(86,247,1). edge(87,61). obs_elabel(87,61,1). edge(88,9). obs_elabel(88,9,-1). edge(88,27). obs_elabel(88,27,-1). edge(88,119). obs_elabel(88,119,1). edge(88,163). obs_elabel(88,163,1). edge(89,101). obs_elabel(89,101,-1). edge(89,158). obs_elabel(89,158,-1). edge(90,76). obs_elabel(90,76,1). edge(91,6). obs_elabel(91,6,1). edge(91,28). obs_elabel(91,28,-1). edge(91,272). obs_elabel(91,272,1). edge(92,134). obs_elabel(92,134,-1). edge(92,139). obs_elabel(92,139,-1). edge(93,9). obs_elabel(93,9,-1). edge(93,18). obs_elabel(93,18,-1). edge(93,75). obs_elabel(93,75,-1). edge(93,76). obs_elabel(93,76,1). edge(93,132). obs_elabel(93,132,-1). edge(93,160). obs_elabel(93,160,-1). edge(93,204). obs_elabel(93,204,-1). edge(93,239). obs_elabel(93,239,1). edge(93,295). obs_elabel(93,295,1). edge(94,10). obs_elabel(94,10,-1). edge(94,194). obs_elabel(94,194,1). edge(95,277). obs_elabel(95,277,1). edge(96,114). obs_elabel(96,114,-1). edge(96,141). obs_elabel(96,141,1). edge(96,180). obs_elabel(96,180,-1). edge(96,183). obs_elabel(96,183,1). edge(97,79). obs_elabel(97,79,1). edge(97,252). obs_elabel(97,252,-1). edge(98,222). obs_elabel(98,222,-1). edge(99,47). obs_elabel(99,47,-1). edge(100,88). obs_elabel(100,88,-1). edge(100,293). obs_elabel(100,293,1). edge(101,44). obs_elabel(101,44,1). edge(101,93). obs_elabel(101,93,-1). edge(101,226). obs_elabel(101,226,-1). edge(101,238). obs_elabel(101,238,1). edge(102,141). obs_elabel(102,141,-1). edge(105,241). obs_elabel(105,241,-1). edge(106,126). obs_elabel(106,126,-1). edge(106,171). obs_elabel(106,171,1). edge(107,129). obs_elabel(107,129,1). edge(107,210). obs_elabel(107,210,-1). edge(108,55). obs_elabel(108,55,-1). edge(108,124). obs_elabel(108,124,-1). edge(108,259). obs_elabel(108,259,1). edge(109,11). obs_elabel(109,11,-1). edge(109,87). obs_elabel(109,87,-1). edge(109,102). obs_elabel(109,102,-1). edge(109,219). obs_elabel(109,219,-1). edge(109,236). obs_elabel(109,236,1). edge(110,5). obs_elabel(110,5,1). edge(110,33). obs_elabel(110,33,-1). edge(111,14). obs_elabel(111,14,1). edge(111,44). obs_elabel(111,44,-1). edge(111,106). obs_elabel(111,106,1). edge(111,210). obs_elabel(111,210,1). edge(111,294). obs_elabel(111,294,1). edge(112,201). obs_elabel(112,201,-1). edge(112,220). obs_elabel(112,220,1). edge(113,41). obs_elabel(113,41,-1). edge(114,87). obs_elabel(114,87,1). edge(115,60). obs_elabel(115,60,-1). edge(115,151). obs_elabel(115,151,-1). edge(115,236). obs_elabel(115,236,1). edge(116,117). obs_elabel(116,117,1). edge(116,190). obs_elabel(116,190,-1). edge(116,196). obs_elabel(116,196,1). edge(117,100). obs_elabel(117,100,1). edge(118,127). obs_elabel(118,127,1). edge(119,54). obs_elabel(119,54,1). edge(119,182). obs_elabel(119,182,-1). edge(119,246). obs_elabel(119,246,-1). edge(121,185). obs_elabel(121,185,-1). edge(121,258). obs_elabel(121,258,-1). edge(121,276). obs_elabel(121,276,-1). edge(122,70). obs_elabel(122,70,1). edge(122,72). obs_elabel(122,72,-1). edge(122,80). obs_elabel(122,80,1). edge(122,135). obs_elabel(122,135,1). edge(122,253). obs_elabel(122,253,1). edge(123,33). obs_elabel(123,33,1). edge(124,17). obs_elabel(124,17,1). edge(124,97). obs_elabel(124,97,-1). edge(124,247). obs_elabel(124,247,-1). edge(125,196). obs_elabel(125,196,1). edge(125,265). obs_elabel(125,265,1). edge(125,287). obs_elabel(125,287,1). edge(126,100). obs_elabel(126,100,1). edge(126,227). obs_elabel(126,227,1). edge(127,57). obs_elabel(127,57,-1). edge(127,147). obs_elabel(127,147,-1). edge(127,251). obs_elabel(127,251,-1). edge(128,60). obs_elabel(128,60,-1). edge(128,107). obs_elabel(128,107,-1). edge(129,40). obs_elabel(129,40,-1). edge(130,1). obs_elabel(130,1,-1). edge(130,3). obs_elabel(130,3,1). edge(130,117). obs_elabel(130,117,-1). edge(130,206). obs_elabel(130,206,-1). edge(131,28). obs_elabel(131,28,1). edge(131,53). obs_elabel(131,53,1). edge(131,186). obs_elabel(131,186,-1). edge(131,202). obs_elabel(131,202,1). edge(131,217). obs_elabel(131,217,1). edge(131,246). obs_elabel(131,246,1). edge(132,205). obs_elabel(132,205,1). edge(133,68). obs_elabel(133,68,1). edge(133,209). obs_elabel(133,209,-1). edge(133,284). obs_elabel(133,284,1). edge(134,79). obs_elabel(134,79,-1). edge(135,28). obs_elabel(135,28,1). edge(135,144). obs_elabel(135,144,1). edge(135,229). obs_elabel(135,229,1). edge(135,242). obs_elabel(135,242,1). edge(135,251). obs_elabel(135,251,-1). edge(136,30). obs_elabel(136,30,1). edge(136,206). obs_elabel(136,206,-1). edge(137,191). obs_elabel(137,191,-1). edge(137,200). obs_elabel(137,200,1). edge(138,52). obs_elabel(138,52,-1). edge(139,36). obs_elabel(139,36,-1). edge(139,71). obs_elabel(139,71,-1). edge(139,156). obs_elabel(139,156,1). edge(141,9). obs_elabel(141,9,1). edge(141,86). obs_elabel(141,86,1). edge(142,15). obs_elabel(142,15,1). edge(142,71). obs_elabel(142,71,1). edge(142,273). obs_elabel(142,273,1). edge(143,71). obs_elabel(143,71,-1). edge(143,180). obs_elabel(143,180,-1). edge(143,228). obs_elabel(143,228,-1). edge(143,249). obs_elabel(143,249,-1). edge(143,255). obs_elabel(143,255,1). edge(143,272). obs_elabel(143,272,1). edge(143,277). obs_elabel(143,277,-1). edge(144,8). obs_elabel(144,8,-1). edge(144,162). obs_elabel(144,162,1). edge(144,203). obs_elabel(144,203,-1). edge(144,214). obs_elabel(144,214,1). edge(145,225). obs_elabel(145,225,-1). edge(146,198). obs_elabel(146,198,1). edge(146,249). obs_elabel(146,249,-1). edge(147,127). obs_elabel(147,127,1). edge(147,236). obs_elabel(147,236,1). edge(148,219). obs_elabel(148,219,-1). edge(149,142). obs_elabel(149,142,-1). edge(149,144). obs_elabel(149,144,-1). edge(149,168). obs_elabel(149,168,-1). edge(150,292). obs_elabel(150,292,1). edge(151,25). obs_elabel(151,25,-1). edge(151,45). obs_elabel(151,45,1). edge(151,280). obs_elabel(151,280,-1). edge(152,73). obs_elabel(152,73,-1). edge(152,282). obs_elabel(152,282,-1). edge(153,30). obs_elabel(153,30,-1). edge(153,59). obs_elabel(153,59,-1). edge(153,61). obs_elabel(153,61,1). edge(153,88). obs_elabel(153,88,1). edge(153,270). obs_elabel(153,270,1). edge(154,39). obs_elabel(154,39,-1). edge(154,256). obs_elabel(154,256,-1). edge(155,225). obs_elabel(155,225,1). edge(156,30). obs_elabel(156,30,-1). edge(157,61). obs_elabel(157,61,1). edge(157,243). obs_elabel(157,243,-1). edge(157,253). obs_elabel(157,253,-1). edge(158,48). obs_elabel(158,48,1). edge(158,122). obs_elabel(158,122,-1). edge(158,242). obs_elabel(158,242,1). edge(158,243). obs_elabel(158,243,-1). edge(159,13). obs_elabel(159,13,1). edge(159,74). obs_elabel(159,74,-1). edge(159,77). obs_elabel(159,77,1). edge(159,155). obs_elabel(159,155,1). edge(160,0). obs_elabel(160,0,1). edge(160,39). obs_elabel(160,39,-1). edge(160,46). obs_elabel(160,46,-1). edge(160,50). obs_elabel(160,50,1). edge(160,179). obs_elabel(160,179,-1). edge(161,187). obs_elabel(161,187,-1). edge(162,43). obs_elabel(162,43,1). edge(162,132). obs_elabel(162,132,1). edge(162,212). obs_elabel(162,212,-1). edge(163,124). obs_elabel(163,124,-1). edge(163,125). obs_elabel(163,125,-1). edge(164,281). obs_elabel(164,281,1). edge(164,289). obs_elabel(164,289,1). edge(164,290). obs_elabel(164,290,1). edge(165,256). obs_elabel(165,256,1). edge(166,163). obs_elabel(166,163,-1). edge(166,181). obs_elabel(166,181,1). edge(166,279). obs_elabel(166,279,1). edge(167,104). obs_elabel(167,104,1). edge(167,130). obs_elabel(167,130,-1). edge(167,151). obs_elabel(167,151,1). edge(168,224). obs_elabel(168,224,-1). edge(169,187). obs_elabel(169,187,1). edge(169,234). obs_elabel(169,234,1). edge(169,282). obs_elabel(169,282,1). edge(169,290). obs_elabel(169,290,-1). edge(170,11). obs_elabel(170,11,1). edge(170,111). obs_elabel(170,111,1). edge(170,144). obs_elabel(170,144,-1). edge(170,294). obs_elabel(170,294,-1). edge(171,21). obs_elabel(171,21,1). edge(172,48). obs_elabel(172,48,-1). edge(172,147). obs_elabel(172,147,-1). edge(173,70). obs_elabel(173,70,1). edge(173,101). obs_elabel(173,101,-1). edge(174,38). obs_elabel(174,38,-1). edge(174,149). obs_elabel(174,149,-1). edge(174,211). obs_elabel(174,211,1). edge(174,221). obs_elabel(174,221,-1). edge(175,178). obs_elabel(175,178,1). edge(175,280). obs_elabel(175,280,1). edge(176,120). obs_elabel(176,120,-1). edge(176,162). obs_elabel(176,162,1). edge(176,163). obs_elabel(176,163,-1). edge(176,220). obs_elabel(176,220,-1). edge(176,260). obs_elabel(176,260,-1). edge(177,137). obs_elabel(177,137,1). edge(178,121). obs_elabel(178,121,1). edge(178,137). obs_elabel(178,137,1). edge(178,205). obs_elabel(178,205,1). edge(179,32). obs_elabel(179,32,1). edge(180,4). obs_elabel(180,4,-1). edge(180,286). obs_elabel(180,286,1). edge(181,5). obs_elabel(181,5,-1). edge(181,237). obs_elabel(181,237,1). edge(181,252). obs_elabel(181,252,-1). edge(181,279). obs_elabel(181,279,-1). edge(182,259). obs_elabel(182,259,1). edge(183,75). obs_elabel(183,75,1). edge(183,278). obs_elabel(183,278,-1). edge(184,48). obs_elabel(184,48,1). edge(184,205). obs_elabel(184,205,-1). edge(185,50). obs_elabel(185,50,-1). edge(185,70). obs_elabel(185,70,1). edge(185,80). obs_elabel(185,80,1). edge(185,113). obs_elabel(185,113,-1). edge(185,146). obs_elabel(185,146,-1). edge(185,287). obs_elabel(185,287,1). edge(186,16). obs_elabel(186,16,-1). edge(186,68). obs_elabel(186,68,1). edge(186,84). obs_elabel(186,84,-1). edge(186,103). obs_elabel(186,103,-1). edge(186,161). obs_elabel(186,161,1). edge(186,168). obs_elabel(186,168,1). edge(186,221). obs_elabel(186,221,-1). edge(187,103). obs_elabel(187,103,1). edge(188,44). obs_elabel(188,44,1). edge(188,67). obs_elabel(188,67,-1). edge(189,229). obs_elabel(189,229,-1). edge(190,230). obs_elabel(190,230,-1). edge(190,264). obs_elabel(190,264,1). edge(190,276). obs_elabel(190,276,1). edge(191,116). obs_elabel(191,116,1). edge(191,147). obs_elabel(191,147,1). edge(192,141). obs_elabel(192,141,-1). edge(193,17). obs_elabel(193,17,-1). edge(193,34). obs_elabel(193,34,-1). edge(193,59). obs_elabel(193,59,1). edge(193,142). obs_elabel(193,142,1). edge(193,156). obs_elabel(193,156,-1). edge(194,68). obs_elabel(194,68,1). edge(194,198). obs_elabel(194,198,-1). edge(194,286). obs_elabel(194,286,1). edge(195,137). obs_elabel(195,137,1). edge(195,240). obs_elabel(195,240,-1). edge(196,73). obs_elabel(196,73,-1). edge(196,113). obs_elabel(196,113,-1). edge(196,152). obs_elabel(196,152,-1). edge(197,43). obs_elabel(197,43,-1). edge(197,170). obs_elabel(197,170,-1). edge(198,64). obs_elabel(198,64,1). edge(198,156). obs_elabel(198,156,-1). edge(199,30). obs_elabel(199,30,1). edge(199,205). obs_elabel(199,205,-1). edge(199,254). obs_elabel(199,254,-1). edge(200,66). obs_elabel(200,66,-1). edge(200,119). obs_elabel(200,119,-1). edge(201,137). obs_elabel(201,137,-1). edge(201,297). obs_elabel(201,297,-1). edge(202,161). obs_elabel(202,161,-1). edge(203,182). obs_elabel(203,182,1). edge(203,231). obs_elabel(203,231,1). edge(203,284). obs_elabel(203,284,1). edge(204,133). obs_elabel(204,133,-1). edge(205,178). obs_elabel(205,178,1). edge(205,217). obs_elabel(205,217,-1). edge(206,193). obs_elabel(206,193,-1). edge(206,230). obs_elabel(206,230,1). edge(207,175). obs_elabel(207,175,-1). edge(208,113). obs_elabel(208,113,-1). edge(210,117). obs_elabel(210,117,-1). edge(211,132). obs_elabel(211,132,-1). edge(211,268). obs_elabel(211,268,1). edge(212,58). obs_elabel(212,58,1). edge(213,110). obs_elabel(213,110,1). edge(213,176). obs_elabel(213,176,-1). edge(213,196). obs_elabel(213,196,-1). edge(215,16). obs_elabel(215,16,1). edge(215,132). obs_elabel(215,132,1). edge(215,168). obs_elabel(215,168,1). edge(215,296). obs_elabel(215,296,1). edge(216,6). obs_elabel(216,6,-1). edge(216,23). obs_elabel(216,23,-1). edge(216,39). obs_elabel(216,39,1). edge(216,130). obs_elabel(216,130,-1). edge(217,74). obs_elabel(217,74,-1). edge(217,93). obs_elabel(217,93,-1). edge(217,182). obs_elabel(217,182,1). edge(217,191). obs_elabel(217,191,-1). edge(219,122). obs_elabel(219,122,1). edge(219,137). obs_elabel(219,137,-1). edge(219,179). obs_elabel(219,179,1). edge(220,31). obs_elabel(220,31,-1). edge(220,250). obs_elabel(220,250,1). edge(221,32). obs_elabel(221,32,-1). edge(221,66). obs_elabel(221,66,-1). edge(221,78). obs_elabel(221,78,-1). edge(221,79). obs_elabel(221,79,-1). edge(222,17). obs_elabel(222,17,-1). edge(222,77). obs_elabel(222,77,1). edge(222,183). obs_elabel(222,183,-1). edge(223,159). obs_elabel(223,159,1). edge(224,1). obs_elabel(224,1,1). edge(224,46). obs_elabel(224,46,1). edge(224,93). obs_elabel(224,93,-1). edge(224,105). obs_elabel(224,105,1). edge(225,14). obs_elabel(225,14,1). edge(226,62). obs_elabel(226,62,-1). edge(226,191). obs_elabel(226,191,-1). edge(226,263). obs_elabel(226,263,1). edge(227,290). obs_elabel(227,290,-1). edge(228,43). obs_elabel(228,43,-1). edge(228,45). obs_elabel(228,45,-1). edge(228,112). obs_elabel(228,112,1). edge(229,46). obs_elabel(229,46,-1). edge(229,142). obs_elabel(229,142,1). edge(229,221). obs_elabel(229,221,-1). edge(230,138). obs_elabel(230,138,-1). edge(231,84). obs_elabel(231,84,-1). edge(231,116). obs_elabel(231,116,-1). edge(231,246). obs_elabel(231,246,-1). edge(231,271). obs_elabel(231,271,-1). edge(231,276). obs_elabel(231,276,1). edge(231,282). obs_elabel(231,282,1). edge(232,113). obs_elabel(232,113,1). edge(232,221). obs_elabel(232,221,-1). edge(232,235). obs_elabel(232,235,1). edge(233,160). obs_elabel(233,160,1). edge(233,203). obs_elabel(233,203,1). edge(233,218). obs_elabel(233,218,-1). edge(233,247). obs_elabel(233,247,-1). edge(234,106). obs_elabel(234,106,1). edge(234,153). obs_elabel(234,153,-1). edge(234,228). obs_elabel(234,228,1). edge(234,254). obs_elabel(234,254,-1). edge(234,264). obs_elabel(234,264,1). edge(234,265). obs_elabel(234,265,1). edge(235,115). obs_elabel(235,115,-1). edge(235,144). obs_elabel(235,144,1). edge(235,249). obs_elabel(235,249,-1). edge(236,151). obs_elabel(236,151,1). edge(237,54). obs_elabel(237,54,-1). edge(237,294). obs_elabel(237,294,-1). edge(238,79). obs_elabel(238,79,1). edge(239,90). obs_elabel(239,90,1). edge(239,182). obs_elabel(239,182,1). edge(239,263). obs_elabel(239,263,1). edge(239,279). obs_elabel(239,279,-1). edge(240,59). obs_elabel(240,59,-1). edge(240,120). obs_elabel(240,120,-1). edge(240,132). obs_elabel(240,132,1). edge(241,15). obs_elabel(241,15,1). edge(241,56). obs_elabel(241,56,-1). edge(241,196). obs_elabel(241,196,1). edge(242,53). obs_elabel(242,53,-1). edge(242,111). obs_elabel(242,111,-1). edge(242,189). obs_elabel(242,189,1). edge(242,246). obs_elabel(242,246,1). edge(243,76). obs_elabel(243,76,1). edge(243,107). obs_elabel(243,107,1). edge(243,217). obs_elabel(243,217,1). edge(244,12). obs_elabel(244,12,-1). edge(244,166). obs_elabel(244,166,1). edge(245,36). obs_elabel(245,36,1). edge(245,100). obs_elabel(245,100,1). edge(245,132). obs_elabel(245,132,1). edge(245,197). obs_elabel(245,197,-1). edge(245,215). obs_elabel(245,215,-1). edge(245,217). obs_elabel(245,217,1). edge(246,123). obs_elabel(246,123,1). edge(246,148). obs_elabel(246,148,-1). edge(246,176). obs_elabel(246,176,-1). edge(246,285). obs_elabel(246,285,1). edge(247,88). obs_elabel(247,88,-1). edge(247,208). obs_elabel(247,208,1). edge(248,82). obs_elabel(248,82,-1). edge(248,123). obs_elabel(248,123,-1). edge(248,161). obs_elabel(248,161,1). edge(248,288). obs_elabel(248,288,1). edge(249,55). obs_elabel(249,55,-1). edge(250,24). obs_elabel(250,24,-1). edge(250,82). obs_elabel(250,82,1). edge(251,287). obs_elabel(251,287,1). edge(252,31). obs_elabel(252,31,-1). edge(252,45). obs_elabel(252,45,-1). edge(252,241). obs_elabel(252,241,1). edge(253,131). obs_elabel(253,131,-1). edge(254,10). obs_elabel(254,10,-1). edge(254,45). obs_elabel(254,45,1). edge(254,147). obs_elabel(254,147,1). edge(255,34). obs_elabel(255,34,1). edge(256,17). obs_elabel(256,17,1). edge(256,175). obs_elabel(256,175,-1). edge(256,258). obs_elabel(256,258,1). edge(257,10). obs_elabel(257,10,-1). edge(257,89). obs_elabel(257,89,-1). edge(257,221). obs_elabel(257,221,1). edge(258,131). obs_elabel(258,131,1). edge(259,7). obs_elabel(259,7,1). edge(259,108). obs_elabel(259,108,-1). edge(259,119). obs_elabel(259,119,1). edge(260,5). obs_elabel(260,5,1). edge(260,188). obs_elabel(260,188,1). edge(260,195). obs_elabel(260,195,1). edge(261,78). obs_elabel(261,78,-1). edge(262,61). obs_elabel(262,61,1). edge(262,155). obs_elabel(262,155,-1). edge(262,225). obs_elabel(262,225,-1). edge(262,253). obs_elabel(262,253,1). edge(262,290). obs_elabel(262,290,-1). edge(263,14). obs_elabel(263,14,-1). edge(263,36). obs_elabel(263,36,1). edge(263,273). obs_elabel(263,273,-1). edge(264,44). obs_elabel(264,44,-1). edge(265,62). obs_elabel(265,62,-1). edge(267,26). obs_elabel(267,26,-1). edge(267,46). obs_elabel(267,46,1). edge(267,61). obs_elabel(267,61,1). edge(267,87). obs_elabel(267,87,-1). edge(267,100). obs_elabel(267,100,-1). edge(268,27). obs_elabel(268,27,-1). edge(268,87). obs_elabel(268,87,-1). edge(268,92). obs_elabel(268,92,1). edge(268,95). obs_elabel(268,95,-1). edge(268,161). obs_elabel(268,161,1). edge(268,216). obs_elabel(268,216,-1). edge(269,222). obs_elabel(269,222,-1). edge(271,144). obs_elabel(271,144,1). edge(272,33). obs_elabel(272,33,1). edge(273,265). obs_elabel(273,265,1). edge(273,287). obs_elabel(273,287,-1). edge(274,40). obs_elabel(274,40,-1). edge(274,205). obs_elabel(274,205,-1). edge(274,278). obs_elabel(274,278,-1). edge(275,28). obs_elabel(275,28,-1). edge(275,53). obs_elabel(275,53,1). edge(275,74). obs_elabel(275,74,-1). edge(275,254). obs_elabel(275,254,-1). edge(276,175). obs_elabel(276,175,1). edge(276,184). obs_elabel(276,184,1). edge(276,288). obs_elabel(276,288,-1). edge(277,91). obs_elabel(277,91,-1). edge(277,127). obs_elabel(277,127,1). edge(277,196). obs_elabel(277,196,1). edge(278,56). obs_elabel(278,56,-1). edge(278,80). obs_elabel(278,80,1). edge(279,210). obs_elabel(279,210,-1). edge(279,241). obs_elabel(279,241,-1). edge(280,2). obs_elabel(280,2,1). edge(280,201). obs_elabel(280,201,1). edge(280,222). obs_elabel(280,222,-1). edge(280,265). obs_elabel(280,265,-1). edge(280,288). obs_elabel(280,288,1). edge(281,113). obs_elabel(281,113,-1). edge(281,150). obs_elabel(281,150,-1). edge(281,176). obs_elabel(281,176,1). edge(281,180). obs_elabel(281,180,-1). edge(281,274). obs_elabel(281,274,1). edge(281,277). obs_elabel(281,277,1). edge(282,24). obs_elabel(282,24,-1). edge(283,83). obs_elabel(283,83,1). edge(283,110). obs_elabel(283,110,-1). edge(283,221). obs_elabel(283,221,-1). edge(283,233). obs_elabel(283,233,-1). edge(283,250). obs_elabel(283,250,-1). edge(284,15). obs_elabel(284,15,1). edge(284,116). obs_elabel(284,116,-1). edge(284,292). obs_elabel(284,292,-1). edge(285,180). obs_elabel(285,180,-1). edge(285,182). obs_elabel(285,182,1). edge(285,214). obs_elabel(285,214,-1). edge(286,155). obs_elabel(286,155,1). edge(287,145). obs_elabel(287,145,-1). edge(288,245). obs_elabel(288,245,-1). edge(289,183). obs_elabel(289,183,-1). edge(289,295). obs_elabel(289,295,1). edge(290,260). obs_elabel(290,260,-1). edge(291,54). obs_elabel(291,54,-1). edge(291,85). obs_elabel(291,85,-1). edge(291,168). obs_elabel(291,168,-1). edge(291,266). obs_elabel(291,266,-1). edge(292,265). obs_elabel(292,265,1). edge(293,3). obs_elabel(293,3,-1). edge(293,24). obs_elabel(293,24,-1). edge(293,42). obs_elabel(293,42,1). edge(294,158). obs_elabel(294,158,1). edge(294,272). obs_elabel(294,272,-1). edge(295,111). obs_elabel(295,111,-1). edge(295,198). obs_elabel(295,198,-1). edge(296,179). obs_elabel(296,179,1). edge(297,111). obs_elabel(297,111,-1). edge(297,133). obs_elabel(297,133,1). edge(297,220). obs_elabel(297,220,-1). edge(298,166). obs_elabel(298,166,1). edge(299,89). obs_elabel(299,89,-1). edge(299,133). obs_elabel(299,133,1). obs_vlabel(9,-1). obs_vlabel(16,-1). obs_vlabel(20,1). obs_vlabel(24,-1). obs_vlabel(32,-1). obs_vlabel(34,1). obs_vlabel(37,1). obs_vlabel(39,1). obs_vlabel(40,1). obs_vlabel(53,1). obs_vlabel(57,1). obs_vlabel(58,1). obs_vlabel(62,1). obs_vlabel(66,1). obs_vlabel(71,-1). obs_vlabel(73,1). obs_vlabel(78,1). obs_vlabel(82,-1). obs_vlabel(83,-1). obs_vlabel(85,1). obs_vlabel(90,-1). obs_vlabel(91,1). obs_vlabel(97,1). obs_vlabel(99,-1). obs_vlabel(100,-1). obs_vlabel(101,1). obs_vlabel(102,1). obs_vlabel(108,-1). obs_vlabel(112,1). obs_vlabel(114,-1). obs_vlabel(115,1). obs_vlabel(118,-1). obs_vlabel(120,-1). obs_vlabel(124,-1). obs_vlabel(138,-1). obs_vlabel(139,1). obs_vlabel(140,-1). obs_vlabel(149,-1). obs_vlabel(155,-1). obs_vlabel(157,-1). obs_vlabel(158,-1). obs_vlabel(161,1). obs_vlabel(171,1). obs_vlabel(173,-1). obs_vlabel(174,-1). obs_vlabel(178,-1). obs_vlabel(197,-1). obs_vlabel(199,-1). obs_vlabel(200,-1). obs_vlabel(201,1). obs_vlabel(206,-1). obs_vlabel(213,-1). obs_vlabel(217,-1). obs_vlabel(218,-1). obs_vlabel(223,-1). obs_vlabel(225,-1). obs_vlabel(231,1). obs_vlabel(232,-1). obs_vlabel(233,-1). obs_vlabel(235,1). obs_vlabel(236,1). obs_vlabel(240,-1). obs_vlabel(244,1). obs_vlabel(249,1). obs_vlabel(250,1). obs_vlabel(256,1). obs_vlabel(259,-1). obs_vlabel(264,1). obs_vlabel(265,1). obs_vlabel(269,-1). obs_vlabel(270,1). obs_vlabel(278,1). obs_vlabel(285,1). obs_vlabel(293,1). obs_vlabel(297,1).