Instance 156-minimal_diagnosis-174-0.asp

Name	156-minimal_diagnosis-174-0.asp
Classes	[Root] Unclassified (3031) MinimalDiagnosis (20) Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Martin Gebser
Description
Created	2012-03-28 18:25
Modified	2012-03-28 18:25
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	edge(100,170). edge(100,26). edge(100,79). edge(101,111). edge(101,154). edge(101,164). edge(102,120). edge(10,25). edge(103,94). edge(104,139). edge(104,172). edge(104,29). edge(104,3). edge(105,33). edge(105,42). edge(105,9). edge(107,169). edge(107,21). edge(10,79). edge(108,157). edge(108,99). edge(109,143). edge(109,159). edge(109,41). edge(109,60). edge(110,15). edge(1,116). edge(111,61). edge(11,166). edge(11,17). edge(112,106). edge(112,44). edge(112,93). edge(113,160). edge(11,32). edge(113,71). edge(113,99). edge(114,57). edge(114,76). edge(116,115). edge(116,50). edge(117,174). edge(117,2). edge(117,58). edge(118,135). edge(11,9). edge(119,28). edge(120,102). edge(120,138). edge(120,29). edge(120,76). edge(121,126). edge(124,58). edge(125,101). edge(125,130). edge(125,170). edge(125,74). edge(126,142). edge(126,56). edge(126,93). edge(127,89). edge(128,104). edge(128,33). edge(128,45). edge(129,142). edge(12,97). edge(130,124). edge(130,19). edge(130,2). edge(130,45). edge(131,144). edge(131,62). edge(132,21). edge(132,30). edge(132,46). edge(133,112). edge(133,87). edge(134,124). edge(134,139). edge(134,154). edge(13,50). edge(135,163). edge(135,82). edge(136,140). edge(136,163). edge(136,164). edge(137,154). edge(137,164). edge(137,30). edge(138,156). edge(138,162). edge(138,172). edge(138,72). edge(138,79). edge(139,167). edge(139,18). edge(139,23). edge(140,116). edge(140,20). edge(14,115). edge(141,164). edge(14,120). edge(14,122). edge(14,157). edge(141,86). edge(142,110). edge(142,15). edge(142,167). edge(142,168). edge(142,21). edge(142,34). edge(142,68). edge(143,63). edge(144,108). edge(144,111). edge(144,112). edge(144,128). edge(144,51). edge(145,141). edge(145,29). edge(145,72). edge(146,148). edge(147,156). edge(147,173). edge(147,85). edge(148,107). edge(148,122). edge(148,171). edge(148,83). edge(149,118). edge(149,138). edge(149,159). edge(149,170). edge(1,50). edge(150,115). edge(150,24). edge(150,41). edge(151,134). edge(151,138). edge(15,128). edge(151,5). edge(152,45). edge(152,68). edge(152,89). edge(153,125). edge(153,29). edge(153,63). edge(154,132). edge(154,167). edge(15,49). edge(155,110). edge(155,124). edge(155,46). edge(157,165). edge(157,34). edge(157,39). edge(157,44). edge(158,65). edge(158,71). edge(159,103). edge(159,12). edge(159,134). edge(159,137). edge(159,168). edge(159,97). edge(160,15). edge(161,3). edge(161,56). edge(163,16). edge(163,161). edge(163,21). edge(163,53). edge(163,84). edge(163,91). edge(164,36). edge(164,51). edge(164,77). edge(165,148). edge(165,26). edge(166,11). edge(166,129). edge(166,134). edge(166,149). edge(166,58). edge(167,133). edge(167,66). edge(167,87). edge(168,161). edge(168,4). edge(169,112). edge(169,87). edge(169,91). edge(169,97). edge(170,112). edge(170,125). edge(170,127). edge(170,86). edge(171,12). edge(17,124). edge(17,13). edge(171,39). edge(172,33). edge(172,50). edge(173,10). edge(173,107). edge(173,39). edge(173,4). edge(173,55). edge(173,58). edge(174,12). edge(174,16). edge(18,27). edge(1,84). edge(19,11). edge(19,146). edge(20,11). edge(20,168). edge(20,19). edge(20,46). edge(2,109). edge(21,134). edge(21,152). edge(2,149). edge(21,57). edge(22,11). edge(22,119). edge(22,21). edge(22,56). edge(22,61). edge(23,110). edge(23,164). edge(2,32). edge(2,35). edge(23,51). edge(23,65). edge(23,73). edge(24,132). edge(24,91). edge(25,136). edge(25,15). edge(25,165). edge(25,63). edge(26,92). edge(27,157). edge(27,158). edge(28,13). edge(28,143). edge(2,84). edge(28,67). edge(28,98). edge(29,12). edge(29,122). edge(29,124). edge(29,161). edge(29,171). edge(29,173). edge(2,93). edge(29,58). edge(29,77). edge(29,86). edge(30,107). edge(30,108). edge(30,136). edge(30,158). edge(30,167). edge(31,148). edge(31,149). edge(31,60). edge(32,171). edge(32,52). edge(32,68). edge(33,120). edge(33,26). edge(33,37). edge(33,54). edge(33,66). edge(34,30). edge(35,54). edge(35,93). edge(36,151). edge(36,62). edge(37,173). edge(37,63). edge(38,3). edge(39,146). edge(39,57). edge(40,167). edge(40,78). edge(40,81). edge(41,84). edge(42,102). edge(43,0). edge(43,140). edge(43,150). edge(4,39). edge(44,111). edge(44,143). edge(44,159). edge(44,23). edge(44,24). edge(44,57). edge(45,129). edge(45,159). edge(45,57). edge(46,103). edge(46,11). edge(46,164). edge(46,41). edge(46,62). edge(46,84). edge(47,131). edge(47,157). edge(47,46). edge(47,57). edge(48,131). edge(48,136). edge(48,149). edge(48,40). edge(48,66). edge(49,17). edge(50,110). edge(51,150). edge(51,170). edge(52,112). edge(52,171). edge(5,22). edge(53,100). edge(53,15). edge(53,98). edge(54,45). edge(5,49). edge(55,110). edge(55,120). edge(55,25). edge(55,48). edge(56,101). edge(56,5). edge(57,12). edge(57,30). edge(57,63). edge(58,159). edge(58,165). edge(58,94). edge(58,95). edge(59,150). edge(59,37). edge(60,115). edge(60,122). edge(60,164). edge(60,170). edge(6,107). edge(61,130). edge(61,139). edge(61,141). edge(61,158). edge(61,32). edge(62,1). edge(6,23). edge(62,41). edge(62,45). edge(63,13). edge(63,174). edge(64,111). edge(64,122). edge(65,164). edge(65,17). edge(66,128). edge(66,172). edge(66,2). edge(66,6). edge(67,118). edge(67,159). edge(67,171). edge(70,138). edge(71,35). edge(7,147). edge(7,169). edge(72,118). edge(7,30). edge(73,39). edge(7,35). edge(74,2). edge(74,69). edge(7,5). edge(75,169). edge(75,170). edge(75,46). edge(75,7). edge(76,36). edge(76,7). edge(77,84). edge(78,98). edge(79,114). edge(80,72). edge(80,89). edge(8,129). edge(82,157). edge(82,172). edge(8,22). edge(83,37). edge(83,95). edge(84,38). edge(84,49). edge(84,77). edge(84,78). edge(86,25). edge(86,3). edge(87,162). edge(88,60). edge(89,161). edge(89,70). edge(8,99). edge(90,102). edge(90,165). edge(90,8). edge(9,101). edge(91,165). edge(91,17). edge(9,160). edge(92,54). edge(93,35). edge(94,32). edge(95,132). edge(95,135). edge(95,38). edge(96,147). edge(96,149). edge(96,62). edge(98,101). edge(98,104). edge(98,116). edge(98,122). edge(98,138). edge(98,18). edge(99,118). edge(99,89). edge(99,97). input(0). input(100). input(105). input(106). input(11). input(111). input(113). input(115). input(117). input(12). input(121). input(122). input(123). input(124). input(126). input(14). input(145). input(153). input(155). input(156). input(16). input(162). input(174). input(2). input(26). input(3). input(31). input(35). input(38). input(41). input(43). input(45). input(47). input(54). input(58). input(59). input(60). input(61). input(64). input(68). input(69). input(74). input(75). input(77). input(80). input(81). input(84). input(85). input(87). input(88). input(90). input(92). input(93). input(96). 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(18). vertex(19). vertex(2). vertex(20). vertex(21). vertex(22). vertex(23). vertex(24). vertex(25). vertex(26). vertex(27). vertex(28). vertex(29). 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(100,170,m). obs_elabel(100,26,p). obs_elabel(100,79,m). obs_elabel(101,111,p). obs_elabel(101,154,p). obs_elabel(101,164,p). obs_elabel(102,120,m). obs_elabel(10,25,p). obs_elabel(103,94,p). obs_elabel(104,139,m). obs_elabel(104,172,p). obs_elabel(104,29,p). obs_elabel(104,3,m). obs_elabel(105,33,p). obs_elabel(105,42,m). obs_elabel(105,9,p). obs_elabel(107,169,p). obs_elabel(107,21,p). obs_elabel(10,79,m). obs_elabel(108,157,p). obs_elabel(108,99,p). obs_elabel(109,143,p). obs_elabel(109,159,p). obs_elabel(109,41,m). obs_elabel(109,60,m). obs_elabel(110,15,p). obs_elabel(1,116,m). obs_elabel(111,61,m). obs_elabel(11,166,m). obs_elabel(11,17,p). obs_elabel(112,106,p). obs_elabel(112,44,m). obs_elabel(112,93,p). obs_elabel(113,160,p). obs_elabel(11,32,m). obs_elabel(113,71,m). obs_elabel(113,99,m). obs_elabel(114,57,m). obs_elabel(114,76,m). obs_elabel(116,115,m). obs_elabel(116,50,p). obs_elabel(117,174,m). obs_elabel(117,2,m). obs_elabel(117,58,p). obs_elabel(118,135,p). obs_elabel(11,9,m). obs_elabel(119,28,p). obs_elabel(120,102,p). obs_elabel(120,138,m). obs_elabel(120,29,p). obs_elabel(120,76,p). obs_elabel(121,126,p). obs_elabel(124,58,p). obs_elabel(125,101,p). obs_elabel(125,130,m). obs_elabel(125,170,p). obs_elabel(125,74,p). obs_elabel(126,142,m). obs_elabel(126,56,p). obs_elabel(126,93,p). obs_elabel(127,89,m). obs_elabel(128,104,p). obs_elabel(128,33,p). obs_elabel(128,45,m). obs_elabel(129,142,p). obs_elabel(12,97,p). obs_elabel(130,124,m). obs_elabel(130,19,m). obs_elabel(130,2,m). obs_elabel(130,45,m). obs_elabel(131,144,p). obs_elabel(131,62,m). obs_elabel(132,21,p). obs_elabel(132,30,m). obs_elabel(132,46,p). obs_elabel(133,112,m). obs_elabel(133,87,p). obs_elabel(134,124,m). obs_elabel(134,139,m). obs_elabel(134,154,m). obs_elabel(13,50,m). obs_elabel(135,163,p). obs_elabel(135,82,m). obs_elabel(136,140,m). obs_elabel(136,163,p). obs_elabel(136,164,m). obs_elabel(137,154,p). obs_elabel(137,164,p). obs_elabel(137,30,p). obs_elabel(138,156,m). obs_elabel(138,162,m). obs_elabel(138,172,p). obs_elabel(138,72,p). obs_elabel(138,79,p). obs_elabel(139,167,p). obs_elabel(139,18,m). obs_elabel(139,23,p). obs_elabel(140,116,p). obs_elabel(140,20,m). obs_elabel(14,115,p). obs_elabel(141,164,m). obs_elabel(14,120,p). obs_elabel(14,122,m). obs_elabel(14,157,p). obs_elabel(141,86,m). obs_elabel(142,110,p). obs_elabel(142,15,p). obs_elabel(142,167,m). obs_elabel(142,168,m). obs_elabel(142,21,p). obs_elabel(142,34,m). obs_elabel(142,68,p). obs_elabel(143,63,p). obs_elabel(144,108,p). obs_elabel(144,111,p). obs_elabel(144,112,m). obs_elabel(144,128,p). obs_elabel(144,51,m). obs_elabel(145,141,p). obs_elabel(145,29,m). obs_elabel(145,72,p). obs_elabel(146,148,m). obs_elabel(147,156,p). obs_elabel(147,173,p). obs_elabel(147,85,p). obs_elabel(148,107,m). obs_elabel(148,122,p). obs_elabel(148,171,p). obs_elabel(148,83,m). obs_elabel(149,118,m). obs_elabel(149,138,m). obs_elabel(149,159,p). obs_elabel(149,170,p). obs_elabel(1,50,p). obs_elabel(150,115,m). obs_elabel(150,24,p). obs_elabel(150,41,p). obs_elabel(151,134,m). obs_elabel(151,138,m). obs_elabel(15,128,m). obs_elabel(151,5,m). obs_elabel(152,45,p). obs_elabel(152,68,m). obs_elabel(152,89,m). obs_elabel(153,125,m). obs_elabel(153,29,m). obs_elabel(153,63,m). obs_elabel(154,132,m). obs_elabel(154,167,p). obs_elabel(15,49,p). obs_elabel(155,110,m). obs_elabel(155,124,p). obs_elabel(155,46,m). obs_elabel(157,165,p). obs_elabel(157,34,m). obs_elabel(157,39,m). obs_elabel(157,44,p). obs_elabel(158,65,m). obs_elabel(158,71,m). obs_elabel(159,103,p). obs_elabel(159,12,m). obs_elabel(159,134,m). obs_elabel(159,137,p). obs_elabel(159,168,p). obs_elabel(159,97,p). obs_elabel(160,15,m). obs_elabel(161,3,p). obs_elabel(161,56,p). obs_elabel(163,16,m). obs_elabel(163,161,p). obs_elabel(163,21,m). obs_elabel(163,53,m). obs_elabel(163,84,p). obs_elabel(163,91,m). obs_elabel(164,36,p). obs_elabel(164,51,p). obs_elabel(164,77,m). obs_elabel(165,148,m). obs_elabel(165,26,m). obs_elabel(166,11,m). obs_elabel(166,129,p). obs_elabel(166,134,p). obs_elabel(166,149,p). obs_elabel(166,58,m). obs_elabel(167,133,m). obs_elabel(167,66,m). obs_elabel(167,87,p). obs_elabel(168,161,m). obs_elabel(168,4,m). obs_elabel(169,112,m). obs_elabel(169,87,m). obs_elabel(169,91,m). obs_elabel(169,97,p). obs_elabel(170,112,m). obs_elabel(170,125,p). obs_elabel(170,127,p). obs_elabel(170,86,p). obs_elabel(171,12,m). obs_elabel(17,124,m). obs_elabel(17,13,m). obs_elabel(171,39,p). obs_elabel(172,33,p). obs_elabel(172,50,p). obs_elabel(173,10,m). obs_elabel(173,107,p). obs_elabel(173,39,m). obs_elabel(173,4,p). obs_elabel(173,55,m). obs_elabel(173,58,m). obs_elabel(174,12,p). obs_elabel(174,16,p). obs_elabel(18,27,p). obs_elabel(1,84,p). obs_elabel(19,11,p). obs_elabel(19,146,p). obs_elabel(20,11,p). obs_elabel(20,168,m). obs_elabel(20,19,m). obs_elabel(20,46,m). obs_elabel(2,109,p). obs_elabel(21,134,m). obs_elabel(21,152,p). obs_elabel(2,149,p). obs_elabel(21,57,m). obs_elabel(22,11,m). obs_elabel(22,119,m). obs_elabel(22,21,m). obs_elabel(22,56,m). obs_elabel(22,61,p). obs_elabel(23,110,m). obs_elabel(23,164,p). obs_elabel(2,32,p). obs_elabel(2,35,p). obs_elabel(23,51,m). obs_elabel(23,65,m). obs_elabel(23,73,p). obs_elabel(24,132,p). obs_elabel(24,91,m). obs_elabel(25,136,m). obs_elabel(25,15,m). obs_elabel(25,165,m). obs_elabel(25,63,p). obs_elabel(26,92,m). obs_elabel(27,157,p). obs_elabel(27,158,m). obs_elabel(28,13,m). obs_elabel(28,143,p). obs_elabel(2,84,p). obs_elabel(28,67,p). obs_elabel(28,98,m). obs_elabel(29,12,m). obs_elabel(29,122,p). obs_elabel(29,124,m). obs_elabel(29,161,p). obs_elabel(29,171,p). obs_elabel(29,173,m). obs_elabel(2,93,p). obs_elabel(29,58,m). obs_elabel(29,77,p). obs_elabel(29,86,p). obs_elabel(30,107,m). obs_elabel(30,108,p). obs_elabel(30,136,m). obs_elabel(30,158,m). obs_elabel(30,167,p). obs_elabel(31,148,m). obs_elabel(31,149,m). obs_elabel(31,60,m). obs_elabel(32,171,m). obs_elabel(32,52,m). obs_elabel(32,68,m). obs_elabel(33,120,m). obs_elabel(33,26,m). obs_elabel(33,37,p). obs_elabel(33,54,m). obs_elabel(33,66,m). obs_elabel(34,30,p). obs_elabel(35,54,p). obs_elabel(35,93,p). obs_elabel(36,151,p). obs_elabel(36,62,p). obs_elabel(37,173,m). obs_elabel(37,63,m). obs_elabel(38,3,m). obs_elabel(39,146,p). obs_elabel(39,57,m). obs_elabel(40,167,m). obs_elabel(40,78,m). obs_elabel(40,81,m). obs_elabel(41,84,m). obs_elabel(42,102,m). obs_elabel(43,0,p). obs_elabel(43,140,p). obs_elabel(43,150,m). obs_elabel(4,39,m). obs_elabel(44,111,p). obs_elabel(44,143,m). obs_elabel(44,159,m). obs_elabel(44,23,p). obs_elabel(44,24,m). obs_elabel(44,57,p). obs_elabel(45,129,p). obs_elabel(45,159,m). obs_elabel(45,57,p). obs_elabel(46,103,p). obs_elabel(46,11,m). obs_elabel(46,164,m). obs_elabel(46,41,m). obs_elabel(46,62,m). obs_elabel(46,84,m). obs_elabel(47,131,p). obs_elabel(47,157,p). obs_elabel(47,46,m). obs_elabel(47,57,p). obs_elabel(48,131,m). obs_elabel(48,136,p). obs_elabel(48,149,m). obs_elabel(48,40,m). obs_elabel(48,66,p). obs_elabel(49,17,m). obs_elabel(50,110,m). obs_elabel(51,150,p). obs_elabel(51,170,p). obs_elabel(52,112,m). obs_elabel(52,171,p). obs_elabel(5,22,m). obs_elabel(53,100,p). obs_elabel(53,15,m). obs_elabel(53,98,p). obs_elabel(54,45,m). obs_elabel(5,49,m). obs_elabel(55,110,p). obs_elabel(55,120,p). obs_elabel(55,25,p). obs_elabel(55,48,p). obs_elabel(56,101,p). obs_elabel(56,5,m). obs_elabel(57,12,p). obs_elabel(57,30,m). obs_elabel(57,63,p). obs_elabel(58,159,m). obs_elabel(58,165,p). obs_elabel(58,94,m). obs_elabel(58,95,m). obs_elabel(59,150,m). obs_elabel(59,37,p). obs_elabel(60,115,m). obs_elabel(60,122,m). obs_elabel(60,164,p). obs_elabel(60,170,p). obs_elabel(6,107,p). obs_elabel(61,130,m). obs_elabel(61,139,m). obs_elabel(61,141,m). obs_elabel(61,158,p). obs_elabel(61,32,m). obs_elabel(62,1,p). obs_elabel(6,23,m). obs_elabel(62,41,p). obs_elabel(62,45,m). obs_elabel(63,13,p). obs_elabel(63,174,p). obs_elabel(64,111,m). obs_elabel(64,122,m). obs_elabel(65,164,p). obs_elabel(65,17,m). obs_elabel(66,128,m). obs_elabel(66,172,p). obs_elabel(66,2,p). obs_elabel(66,6,m). obs_elabel(67,118,p). obs_elabel(67,159,m). obs_elabel(67,171,m). obs_elabel(70,138,p). obs_elabel(71,35,m). obs_elabel(7,147,m). obs_elabel(7,169,m). obs_elabel(72,118,m). obs_elabel(7,30,m). obs_elabel(73,39,p). obs_elabel(7,35,p). obs_elabel(74,2,p). obs_elabel(74,69,m). obs_elabel(7,5,m). obs_elabel(75,169,m). obs_elabel(75,170,m). obs_elabel(75,46,p). obs_elabel(75,7,p). obs_elabel(76,36,m). obs_elabel(76,7,m). obs_elabel(77,84,p). obs_elabel(78,98,m). obs_elabel(79,114,p). obs_elabel(80,72,p). obs_elabel(80,89,m). obs_elabel(8,129,m). obs_elabel(82,157,m). obs_elabel(82,172,p). obs_elabel(8,22,p). obs_elabel(83,37,p). obs_elabel(83,95,p). obs_elabel(84,38,m). obs_elabel(84,49,p). obs_elabel(84,77,m). obs_elabel(84,78,m). obs_elabel(86,25,m). obs_elabel(86,3,p). obs_elabel(87,162,m). obs_elabel(88,60,m). obs_elabel(89,161,m). obs_elabel(89,70,p). obs_elabel(8,99,m). obs_elabel(90,102,p). obs_elabel(90,165,m). obs_elabel(90,8,m). obs_elabel(9,101,m). obs_elabel(91,165,p). obs_elabel(91,17,p). obs_elabel(9,160,m). obs_elabel(92,54,p). obs_elabel(93,35,m). obs_elabel(94,32,m). obs_elabel(95,132,m). obs_elabel(95,135,m). obs_elabel(95,38,p). obs_elabel(96,147,m). obs_elabel(96,149,p). obs_elabel(96,62,m). obs_elabel(98,101,m). obs_elabel(98,104,p). obs_elabel(98,116,m). obs_elabel(98,122,p). obs_elabel(98,138,m). obs_elabel(98,18,m). obs_elabel(99,118,m). obs_elabel(99,89,m). obs_elabel(99,97,p). obs_vlabel(100,p). obs_vlabel(102,p). obs_vlabel(11,m). obs_vlabel(126,p). obs_vlabel(127,m). obs_vlabel(134,p). obs_vlabel(14,m). obs_vlabel(165,m). obs_vlabel(2,p). obs_vlabel(44,m). obs_vlabel(46,p). obs_vlabel(53,p). obs_vlabel(63,p). obs_vlabel(66,p). obs_vlabel(7,m). obs_vlabel(71,p). obs_vlabel(94,m).

Actions

Navigation

Instance 156-minimal_diagnosis-174-0.asp