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 412-MinimalDiagnosis-299-0.asp

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