Instance rand_100_400_1159666138_8.lp

Name	rand_100_400_1159666138_8.lp
Classes	[Root] Unclassified (3031) WeightBoundedDominatingSetSuite (30)
Submitter	Martin Gebser
Author	Lengning Liu and Miroslaw Truszczynski
Description
Created	2009-03-10 14:00
Modified	2009-03-10 14:00
Languages	Facts
Language Features
Compatible Encodings	dominating-set.lparse wbds.dlv wbds_decision.gringo wbds_optimization.gringo
Output Predicates	bound/1 edge/2 edgewt/3 minweight/1 vtx/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	bound(40). edge(1,25). edge(1,33). edge(1,48). edge(10,31). edge(10,39). edge(10,52). edge(10,56). edge(10,78). edge(100,1). edge(100,46). edge(100,50). edge(100,82). edge(100,83). edge(11,42). edge(12,11). edge(12,14). edge(12,19). edge(12,45). edge(12,78). edge(12,9). edge(12,90). edge(13,100). edge(14,10). edge(14,63). edge(14,76). edge(14,8). edge(15,29). edge(15,49). edge(16,23). edge(17,49). edge(17,81). edge(18,41). edge(18,50). edge(18,60). edge(19,26). edge(19,40). edge(19,51). edge(19,69). edge(2,29). edge(2,47). edge(2,65). edge(2,74). edge(2,99). edge(20,2). edge(20,68). edge(21,19). edge(21,2). edge(21,66). edge(22,31). edge(22,43). edge(22,85). edge(22,88). edge(23,25). edge(23,43). edge(23,59). edge(23,70). edge(24,85). edge(24,87). edge(24,89). edge(25,3). edge(25,48). edge(25,50). edge(25,60). edge(26,22). edge(27,17). edge(27,20). edge(27,96). edge(28,100). edge(28,22). edge(28,38). edge(28,47). edge(28,63). edge(28,67). edge(28,74). edge(28,85). edge(28,86). edge(28,95). edge(29,24). edge(29,41). edge(29,60). edge(29,62). edge(29,66). edge(29,78). edge(29,9). edge(29,97). edge(3,23). edge(3,69). edge(30,1). edge(30,28). edge(30,35). edge(30,4). edge(30,41). edge(30,48). edge(30,54). edge(30,57). edge(30,66). edge(30,72). edge(30,88). edge(30,94). edge(31,20). edge(31,63). edge(31,89). edge(32,11). edge(32,2). edge(32,29). edge(32,35). edge(32,53). edge(32,67). edge(32,83). edge(32,90). edge(33,2). edge(33,44). edge(33,53). edge(33,54). edge(33,66). edge(33,90). edge(35,1). edge(35,37). edge(35,44). edge(35,50). edge(35,65). edge(35,77). edge(36,66). edge(36,86). edge(36,91). edge(37,20). edge(37,64). edge(38,43). edge(38,47). edge(39,1). edge(39,11). edge(39,28). edge(39,68). edge(39,76). edge(4,33). edge(4,93). edge(40,35). edge(40,42). edge(40,46). edge(40,96). edge(41,25). edge(42,1). edge(42,12). edge(42,20). edge(42,75). edge(43,31). edge(43,70). edge(43,77). edge(43,94). edge(44,11). edge(44,17). edge(44,20). edge(44,4). edge(44,93). edge(44,97). edge(45,22). edge(45,76). edge(46,98). edge(47,22). edge(47,81). edge(48,19). edge(48,33). edge(48,40). edge(48,45). edge(48,50). edge(48,67). edge(48,72). edge(48,74). edge(48,90). edge(49,4). edge(49,78). edge(5,19). edge(5,2). edge(5,41). edge(5,46). edge(50,20). edge(50,34). edge(50,64). edge(51,10). edge(52,18). edge(52,31). edge(52,35). edge(52,4). edge(52,42). edge(52,63). edge(52,86). edge(52,89). edge(53,46). edge(53,70). edge(53,87). edge(54,23). edge(54,26). edge(54,28). edge(54,43). edge(54,64). edge(55,72). edge(55,8). edge(55,96). edge(56,82). edge(57,27). edge(57,31). edge(57,42). edge(57,43). edge(57,49). edge(57,58). edge(57,66). edge(58,19). edge(58,70). edge(58,75). edge(58,89). edge(59,19). edge(59,51). edge(59,60). edge(59,73). edge(59,8). edge(59,81). edge(6,25). edge(6,67). edge(6,9). edge(60,76). edge(61,13). edge(61,3). edge(61,47). edge(62,1). edge(62,60). edge(62,79). edge(63,11). edge(63,15). edge(63,20). edge(63,81). edge(63,90). edge(64,2). edge(64,57). edge(65,48). edge(65,81). edge(65,87). edge(65,92). edge(66,23). edge(66,77). edge(66,78). edge(66,86). edge(66,94). edge(67,100). edge(67,76). edge(67,8). edge(67,86). edge(67,98). edge(68,10). edge(68,29). edge(68,39). edge(68,5). edge(68,6). edge(68,70). edge(68,78). edge(68,95). edge(69,12). edge(69,39). edge(69,76). edge(7,26). edge(7,54). edge(7,55). edge(7,64). edge(7,78). edge(70,40). edge(70,59). edge(70,90). edge(70,99). edge(71,11). edge(71,25). edge(71,39). edge(71,72). edge(71,73). edge(71,99). edge(72,24). edge(72,31). edge(72,35). edge(72,51). edge(72,60). edge(72,63). edge(72,70). edge(72,78). edge(73,12). edge(73,23). edge(73,70). edge(73,98). edge(74,14). edge(74,5). edge(75,36). edge(75,53). edge(75,66). edge(75,69). edge(75,91). edge(76,40). edge(76,89). edge(76,99). edge(77,3). edge(77,35). edge(77,47). edge(78,14). edge(78,16). edge(78,40). edge(78,68). edge(78,7). edge(78,82). edge(78,9). edge(78,98). edge(79,100). edge(79,78). edge(79,98). edge(8,30). edge(8,38). edge(8,59). edge(8,76). edge(8,91). edge(80,17). edge(80,31). edge(80,66). edge(80,71). edge(81,16). edge(81,27). edge(81,48). edge(81,74). edge(81,92). edge(82,83). edge(82,89). edge(83,100). edge(83,38). edge(83,56). edge(83,8). edge(83,82). edge(84,25). edge(84,43). edge(84,47). edge(85,2). edge(85,22). edge(85,35). edge(85,6). edge(85,73). edge(86,14). edge(86,36). edge(86,38). edge(86,64). edge(86,71). edge(86,96). edge(87,14). edge(87,21). edge(87,60). edge(87,70). edge(87,84). edge(87,97). edge(87,98). edge(88,12). edge(88,15). edge(88,29). edge(88,49). edge(88,73). edge(88,94). edge(89,13). edge(89,21). edge(89,24). edge(89,48). edge(89,51). edge(9,37). edge(90,1). edge(90,24). edge(90,58). edge(90,7). edge(90,98). edge(91,10). edge(91,39). edge(91,42). edge(91,47). edge(91,93). edge(91,95). edge(92,31). edge(93,1). edge(93,13). edge(93,61). edge(94,10). edge(94,23). edge(94,53). edge(94,56). edge(94,93). edge(95,65). edge(95,92). edge(96,3). edge(96,37). edge(97,2). edge(97,25). edge(97,3). edge(97,82). edge(97,86). edge(97,95). edge(98,14). edge(98,34). edge(98,60). edge(98,97). edge(99,59). edge(99,79). edge(99,89). edgewt(1,100,6). edgewt(1,25,17). edgewt(1,30,3). edgewt(1,33,11). edgewt(1,35,8). edgewt(1,39,10). edgewt(1,42,2). edgewt(1,48,11). edgewt(1,62,12). edgewt(1,90,3). edgewt(1,93,10). edgewt(10,14,1). edgewt(10,31,18). edgewt(10,39,19). edgewt(10,51,16). edgewt(10,52,4). edgewt(10,56,12). edgewt(10,68,2). edgewt(10,78,9). edgewt(10,91,10). edgewt(10,94,3). edgewt(100,1,6). edgewt(100,13,7). edgewt(100,28,4). edgewt(100,46,8). edgewt(100,50,16). edgewt(100,67,15). edgewt(100,79,12). edgewt(100,82,18). edgewt(100,83,16). edgewt(11,12,1). edgewt(11,32,4). edgewt(11,39,11). edgewt(11,42,8). edgewt(11,44,16). edgewt(11,63,12). edgewt(11,71,4). edgewt(12,11,1). edgewt(12,14,9). edgewt(12,19,5). edgewt(12,42,16). edgewt(12,45,3). edgewt(12,69,20). edgewt(12,73,20). edgewt(12,78,18). edgewt(12,88,11). edgewt(12,9,12). edgewt(12,90,8). edgewt(13,100,7). edgewt(13,61,14). edgewt(13,89,11). edgewt(13,93,10). edgewt(14,10,1). edgewt(14,12,9). edgewt(14,63,1). edgewt(14,74,12). edgewt(14,76,18). edgewt(14,78,10). edgewt(14,8,3). edgewt(14,86,8). edgewt(14,87,7). edgewt(14,98,3). edgewt(15,29,13). edgewt(15,49,19). edgewt(15,63,5). edgewt(15,88,10). edgewt(16,23,17). edgewt(16,78,2). edgewt(16,81,15). edgewt(17,27,12). edgewt(17,44,16). edgewt(17,49,8). edgewt(17,80,18). edgewt(17,81,7). edgewt(18,41,13). edgewt(18,50,16). edgewt(18,52,1). edgewt(18,60,5). edgewt(19,12,5). edgewt(19,21,12). edgewt(19,26,16). edgewt(19,40,2). edgewt(19,48,15). edgewt(19,5,17). edgewt(19,51,17). edgewt(19,58,15). edgewt(19,59,1). edgewt(19,69,14). edgewt(2,20,9). edgewt(2,21,8). edgewt(2,29,3). edgewt(2,32,2). edgewt(2,33,9). edgewt(2,47,13). edgewt(2,5,18). edgewt(2,64,4). edgewt(2,65,13). edgewt(2,74,13). edgewt(2,85,4). edgewt(2,97,15). edgewt(2,99,7). edgewt(20,2,9). edgewt(20,27,10). edgewt(20,31,14). edgewt(20,37,14). edgewt(20,42,4). edgewt(20,44,5). edgewt(20,50,20). edgewt(20,63,2). edgewt(20,68,3). edgewt(21,19,12). edgewt(21,2,8). edgewt(21,66,16). edgewt(21,87,15). edgewt(21,89,9). edgewt(22,26,8). edgewt(22,28,16). edgewt(22,31,14). edgewt(22,43,17). edgewt(22,45,20). edgewt(22,47,20). edgewt(22,85,9). edgewt(22,88,6). edgewt(23,16,17). edgewt(23,25,4). edgewt(23,3,1). edgewt(23,43,19). edgewt(23,54,17). edgewt(23,59,14). edgewt(23,66,8). edgewt(23,70,4). edgewt(23,73,2). edgewt(23,94,4). edgewt(24,29,12). edgewt(24,72,14). edgewt(24,85,14). edgewt(24,87,8). edgewt(24,89,11). edgewt(24,90,3). edgewt(25,1,17). edgewt(25,23,4). edgewt(25,3,2). edgewt(25,41,19). edgewt(25,48,17). edgewt(25,50,1). edgewt(25,6,13). edgewt(25,60,11). edgewt(25,71,2). edgewt(25,84,13). edgewt(25,97,10). edgewt(26,19,16). edgewt(26,22,8). edgewt(26,54,20). edgewt(26,7,6). edgewt(27,17,12). edgewt(27,20,10). edgewt(27,57,15). edgewt(27,81,4). edgewt(27,96,13). edgewt(28,100,4). edgewt(28,22,16). edgewt(28,30,18). edgewt(28,38,9). edgewt(28,39,8). edgewt(28,47,15). edgewt(28,54,4). edgewt(28,63,14). edgewt(28,67,20). edgewt(28,74,1). edgewt(28,85,3). edgewt(28,86,7). edgewt(28,95,16). edgewt(29,15,13). edgewt(29,2,3). edgewt(29,24,12). edgewt(29,32,9). edgewt(29,41,10). edgewt(29,60,15). edgewt(29,62,1). edgewt(29,66,18). edgewt(29,68,9). edgewt(29,78,18). edgewt(29,88,15). edgewt(29,9,12). edgewt(29,97,10). edgewt(3,23,1). edgewt(3,25,2). edgewt(3,61,6). edgewt(3,69,19). edgewt(3,77,9). edgewt(3,96,14). edgewt(3,97,20). edgewt(30,1,3). edgewt(30,28,18). edgewt(30,35,15). edgewt(30,4,6). edgewt(30,41,6). edgewt(30,48,14). edgewt(30,54,7). edgewt(30,57,16). edgewt(30,66,11). edgewt(30,72,1). edgewt(30,8,19). edgewt(30,88,15). edgewt(30,94,8). edgewt(31,10,18). edgewt(31,20,14). edgewt(31,22,14). edgewt(31,43,16). edgewt(31,52,3). edgewt(31,57,2). edgewt(31,63,4). edgewt(31,72,20). edgewt(31,80,15). edgewt(31,89,16). edgewt(31,92,14). edgewt(32,11,4). edgewt(32,2,2). edgewt(32,29,9). edgewt(32,35,12). edgewt(32,53,7). edgewt(32,67,13). edgewt(32,83,16). edgewt(32,90,20). edgewt(33,1,11). edgewt(33,2,9). edgewt(33,4,19). edgewt(33,44,5). edgewt(33,48,9). edgewt(33,53,20). edgewt(33,54,1). edgewt(33,66,13). edgewt(33,90,10). edgewt(34,50,2). edgewt(34,98,4). edgewt(35,1,8). edgewt(35,30,15). edgewt(35,32,12). edgewt(35,37,9). edgewt(35,40,6). edgewt(35,44,9). edgewt(35,50,9). edgewt(35,52,17). edgewt(35,65,11). edgewt(35,72,3). edgewt(35,77,15). edgewt(35,85,18). edgewt(36,66,6). edgewt(36,75,7). edgewt(36,86,16). edgewt(36,91,11). edgewt(37,20,14). edgewt(37,35,9). edgewt(37,64,10). edgewt(37,9,6). edgewt(37,96,4). edgewt(38,28,9). edgewt(38,43,3). edgewt(38,47,8). edgewt(38,8,4). edgewt(38,83,13). edgewt(38,86,12). edgewt(39,1,10). edgewt(39,10,19). edgewt(39,11,11). edgewt(39,28,8). edgewt(39,68,3). edgewt(39,69,10). edgewt(39,71,15). edgewt(39,76,2). edgewt(39,91,1). edgewt(4,30,6). edgewt(4,33,19). edgewt(4,44,16). edgewt(4,49,16). edgewt(4,52,10). edgewt(4,93,4). edgewt(40,19,2). edgewt(40,35,6). edgewt(40,42,12). edgewt(40,46,18). edgewt(40,48,10). edgewt(40,70,8). edgewt(40,76,11). edgewt(40,78,20). edgewt(40,96,18). edgewt(41,18,13). edgewt(41,25,19). edgewt(41,29,10). edgewt(41,30,6). edgewt(41,5,9). edgewt(42,1,2). edgewt(42,11,8). edgewt(42,12,16). edgewt(42,20,4). edgewt(42,40,12). edgewt(42,52,11). edgewt(42,57,19). edgewt(42,75,13). edgewt(42,91,2). edgewt(43,22,17). edgewt(43,23,19). edgewt(43,31,16). edgewt(43,38,3). edgewt(43,54,10). edgewt(43,57,19). edgewt(43,70,2). edgewt(43,77,15). edgewt(43,84,20). edgewt(43,94,11). edgewt(44,11,16). edgewt(44,17,16). edgewt(44,20,5). edgewt(44,33,5). edgewt(44,35,9). edgewt(44,4,16). edgewt(44,93,12). edgewt(44,97,2). edgewt(45,12,3). edgewt(45,22,20). edgewt(45,48,4). edgewt(45,76,5). edgewt(46,100,8). edgewt(46,40,18). edgewt(46,5,4). edgewt(46,53,12). edgewt(46,98,16). edgewt(47,2,13). edgewt(47,22,20). edgewt(47,28,15). edgewt(47,38,8). edgewt(47,61,11). edgewt(47,77,1). edgewt(47,81,2). edgewt(47,84,7). edgewt(47,91,4). edgewt(48,1,11). edgewt(48,19,15). edgewt(48,25,17). edgewt(48,30,14). edgewt(48,33,9). edgewt(48,40,10). edgewt(48,45,4). edgewt(48,50,13). edgewt(48,65,8). edgewt(48,67,6). edgewt(48,72,16). edgewt(48,74,12). edgewt(48,81,18). edgewt(48,89,7). edgewt(48,90,3). edgewt(49,15,19). edgewt(49,17,8). edgewt(49,4,16). edgewt(49,57,2). edgewt(49,78,20). edgewt(49,88,3). edgewt(5,19,17). edgewt(5,2,18). edgewt(5,41,9). edgewt(5,46,4). edgewt(5,68,18). edgewt(5,74,5). edgewt(50,100,16). edgewt(50,18,16). edgewt(50,20,20). edgewt(50,25,1). edgewt(50,34,2). edgewt(50,35,9). edgewt(50,48,13). edgewt(50,64,16). edgewt(51,10,16). edgewt(51,19,17). edgewt(51,59,3). edgewt(51,72,14). edgewt(51,89,1). edgewt(52,10,4). edgewt(52,18,1). edgewt(52,31,3). edgewt(52,35,17). edgewt(52,4,10). edgewt(52,42,11). edgewt(52,63,19). edgewt(52,86,9). edgewt(52,89,14). edgewt(53,32,7). edgewt(53,33,20). edgewt(53,46,12). edgewt(53,70,16). edgewt(53,75,12). edgewt(53,87,16). edgewt(53,94,4). edgewt(54,23,17). edgewt(54,26,20). edgewt(54,28,4). edgewt(54,30,7). edgewt(54,33,1). edgewt(54,43,10). edgewt(54,64,16). edgewt(54,7,12). edgewt(55,7,6). edgewt(55,72,3). edgewt(55,8,18). edgewt(55,96,15). edgewt(56,10,12). edgewt(56,82,16). edgewt(56,83,18). edgewt(56,94,11). edgewt(57,27,15). edgewt(57,30,16). edgewt(57,31,2). edgewt(57,42,19). edgewt(57,43,19). edgewt(57,49,2). edgewt(57,58,3). edgewt(57,64,1). edgewt(57,66,18). edgewt(58,19,15). edgewt(58,57,3). edgewt(58,70,13). edgewt(58,75,18). edgewt(58,89,16). edgewt(58,90,5). edgewt(59,19,1). edgewt(59,23,14). edgewt(59,51,3). edgewt(59,60,18). edgewt(59,70,3). edgewt(59,73,11). edgewt(59,8,5). edgewt(59,81,17). edgewt(59,99,13). edgewt(6,25,13). edgewt(6,67,18). edgewt(6,68,5). edgewt(6,85,18). edgewt(6,9,10). edgewt(60,18,5). edgewt(60,25,11). edgewt(60,29,15). edgewt(60,59,18). edgewt(60,62,17). edgewt(60,72,11). edgewt(60,76,1). edgewt(60,87,5). edgewt(60,98,9). edgewt(61,13,14). edgewt(61,3,6). edgewt(61,47,11). edgewt(61,93,7). edgewt(62,1,12). edgewt(62,29,1). edgewt(62,60,17). edgewt(62,79,13). edgewt(63,11,12). edgewt(63,14,1). edgewt(63,15,5). edgewt(63,20,2). edgewt(63,28,14). edgewt(63,31,4). edgewt(63,52,19). edgewt(63,72,8). edgewt(63,81,14). edgewt(63,90,17). edgewt(64,2,4). edgewt(64,37,10). edgewt(64,50,16). edgewt(64,54,16). edgewt(64,57,1). edgewt(64,7,8). edgewt(64,86,1). edgewt(65,2,13). edgewt(65,35,11). edgewt(65,48,8). edgewt(65,81,13). edgewt(65,87,18). edgewt(65,92,18). edgewt(65,95,12). edgewt(66,21,16). edgewt(66,23,8). edgewt(66,29,18). edgewt(66,30,11). edgewt(66,33,13). edgewt(66,36,6). edgewt(66,57,18). edgewt(66,75,1). edgewt(66,77,9). edgewt(66,78,16). edgewt(66,80,9). edgewt(66,86,12). edgewt(66,94,8). edgewt(67,100,15). edgewt(67,28,20). edgewt(67,32,13). edgewt(67,48,6). edgewt(67,6,18). edgewt(67,76,16). edgewt(67,8,3). edgewt(67,86,6). edgewt(67,98,9). edgewt(68,10,2). edgewt(68,20,3). edgewt(68,29,9). edgewt(68,39,3). edgewt(68,5,18). edgewt(68,6,5). edgewt(68,70,5). edgewt(68,78,7). edgewt(68,95,7). edgewt(69,12,20). edgewt(69,19,14). edgewt(69,3,19). edgewt(69,39,10). edgewt(69,75,6). edgewt(69,76,4). edgewt(7,26,6). edgewt(7,54,12). edgewt(7,55,6). edgewt(7,64,8). edgewt(7,78,10). edgewt(7,90,12). edgewt(70,23,4). edgewt(70,40,8). edgewt(70,43,2). edgewt(70,53,16). edgewt(70,58,13). edgewt(70,59,3). edgewt(70,68,5). edgewt(70,72,8). edgewt(70,73,6). edgewt(70,87,5). edgewt(70,90,16). edgewt(70,99,14). edgewt(71,11,4). edgewt(71,25,2). edgewt(71,39,15). edgewt(71,72,11). edgewt(71,73,11). edgewt(71,80,20). edgewt(71,86,8). edgewt(71,99,1). edgewt(72,24,14). edgewt(72,30,1). edgewt(72,31,20). edgewt(72,35,3). edgewt(72,48,16). edgewt(72,51,14). edgewt(72,55,3). edgewt(72,60,11). edgewt(72,63,8). edgewt(72,70,8). edgewt(72,71,11). edgewt(72,78,11). edgewt(73,12,20). edgewt(73,23,2). edgewt(73,59,11). edgewt(73,70,6). edgewt(73,71,11). edgewt(73,85,19). edgewt(73,88,1). edgewt(73,98,8). edgewt(74,14,12). edgewt(74,2,13). edgewt(74,28,1). edgewt(74,48,12). edgewt(74,5,5). edgewt(74,81,10). edgewt(75,36,7). edgewt(75,42,13). edgewt(75,53,12). edgewt(75,58,18). edgewt(75,66,1). edgewt(75,69,6). edgewt(75,91,3). edgewt(76,14,18). edgewt(76,39,2). edgewt(76,40,11). edgewt(76,45,5). edgewt(76,60,1). edgewt(76,67,16). edgewt(76,69,4). edgewt(76,8,8). edgewt(76,89,6). edgewt(76,99,3). edgewt(77,3,9). edgewt(77,35,15). edgewt(77,43,15). edgewt(77,47,1). edgewt(77,66,9). edgewt(78,10,9). edgewt(78,12,18). edgewt(78,14,10). edgewt(78,16,2). edgewt(78,29,18). edgewt(78,40,20). edgewt(78,49,20). edgewt(78,66,16). edgewt(78,68,7). edgewt(78,7,10). edgewt(78,72,11). edgewt(78,79,10). edgewt(78,82,14). edgewt(78,9,5). edgewt(78,98,16). edgewt(79,100,12). edgewt(79,62,13). edgewt(79,78,10). edgewt(79,98,1). edgewt(79,99,18). edgewt(8,14,3). edgewt(8,30,19). edgewt(8,38,4). edgewt(8,55,18). edgewt(8,59,5). edgewt(8,67,3). edgewt(8,76,8). edgewt(8,83,19). edgewt(8,91,14). edgewt(80,17,18). edgewt(80,31,15). edgewt(80,66,9). edgewt(80,71,20). edgewt(81,16,15). edgewt(81,17,7). edgewt(81,27,4). edgewt(81,47,2). edgewt(81,48,18). edgewt(81,59,17). edgewt(81,63,14). edgewt(81,65,13). edgewt(81,74,10). edgewt(81,92,9). edgewt(82,100,18). edgewt(82,56,16). edgewt(82,78,14). edgewt(82,83,8). edgewt(82,89,10). edgewt(82,97,7). edgewt(83,100,16). edgewt(83,32,16). edgewt(83,38,13). edgewt(83,56,18). edgewt(83,8,19). edgewt(83,82,8). edgewt(84,25,13). edgewt(84,43,20). edgewt(84,47,7). edgewt(84,87,13). edgewt(85,2,4). edgewt(85,22,9). edgewt(85,24,14). edgewt(85,28,3). edgewt(85,35,18). edgewt(85,6,18). edgewt(85,73,19). edgewt(86,14,8). edgewt(86,28,7). edgewt(86,36,16). edgewt(86,38,12). edgewt(86,52,9). edgewt(86,64,1). edgewt(86,66,12). edgewt(86,67,6). edgewt(86,71,8). edgewt(86,96,9). edgewt(86,97,7). edgewt(87,14,7). edgewt(87,21,15). edgewt(87,24,8). edgewt(87,53,16). edgewt(87,60,5). edgewt(87,65,18). edgewt(87,70,5). edgewt(87,84,13). edgewt(87,97,8). edgewt(87,98,13). edgewt(88,12,11). edgewt(88,15,10). edgewt(88,22,6). edgewt(88,29,15). edgewt(88,30,15). edgewt(88,49,3). edgewt(88,73,1). edgewt(88,94,10). edgewt(89,13,11). edgewt(89,21,9). edgewt(89,24,11). edgewt(89,31,16). edgewt(89,48,7). edgewt(89,51,1). edgewt(89,52,14). edgewt(89,58,16). edgewt(89,76,6). edgewt(89,82,10). edgewt(89,99,5). edgewt(9,12,12). edgewt(9,29,12). edgewt(9,37,6). edgewt(9,6,10). edgewt(9,78,5). edgewt(90,1,3). edgewt(90,12,8). edgewt(90,24,3). edgewt(90,32,20). edgewt(90,33,10). edgewt(90,48,3). edgewt(90,58,5). edgewt(90,63,17). edgewt(90,7,12). edgewt(90,70,16). edgewt(90,98,10). edgewt(91,10,10). edgewt(91,36,11). edgewt(91,39,1). edgewt(91,42,2). edgewt(91,47,4). edgewt(91,75,3). edgewt(91,8,14). edgewt(91,93,4). edgewt(91,95,9). edgewt(92,31,14). edgewt(92,65,18). edgewt(92,81,9). edgewt(92,95,7). edgewt(93,1,10). edgewt(93,13,10). edgewt(93,4,4). edgewt(93,44,12). edgewt(93,61,7). edgewt(93,91,4). edgewt(93,94,3). edgewt(94,10,3). edgewt(94,23,4). edgewt(94,30,8). edgewt(94,43,11). edgewt(94,53,4). edgewt(94,56,11). edgewt(94,66,8). edgewt(94,88,10). edgewt(94,93,3). edgewt(95,28,16). edgewt(95,65,12). edgewt(95,68,7). edgewt(95,91,9). edgewt(95,92,7). edgewt(95,97,8). edgewt(96,27,13). edgewt(96,3,14). edgewt(96,37,4). edgewt(96,40,18). edgewt(96,55,15). edgewt(96,86,9). edgewt(97,2,15). edgewt(97,25,10). edgewt(97,29,10). edgewt(97,3,20). edgewt(97,44,2). edgewt(97,82,7). edgewt(97,86,7). edgewt(97,87,8). edgewt(97,95,8). edgewt(97,98,1). edgewt(98,14,3). edgewt(98,34,4). edgewt(98,46,16). edgewt(98,60,9). edgewt(98,67,9). edgewt(98,73,8). edgewt(98,78,16). edgewt(98,79,1). edgewt(98,87,13). edgewt(98,90,10). edgewt(98,97,1). edgewt(99,2,7). edgewt(99,59,13). edgewt(99,70,14). edgewt(99,71,1). edgewt(99,76,3). edgewt(99,79,18). edgewt(99,89,5). minweight(20). vtx(1). vtx(10). vtx(100). vtx(11). vtx(12). vtx(13). vtx(14). vtx(15). vtx(16). vtx(17). vtx(18). vtx(19). vtx(2). vtx(20). vtx(21). vtx(22). vtx(23). vtx(24). vtx(25). vtx(26). vtx(27). vtx(28). vtx(29). vtx(3). vtx(30). vtx(31). vtx(32). vtx(33). vtx(34). vtx(35). vtx(36). vtx(37). vtx(38). vtx(39). vtx(4). vtx(40). vtx(41). vtx(42). vtx(43). vtx(44). vtx(45). vtx(46). vtx(47). vtx(48). vtx(49). vtx(5). vtx(50). vtx(51). vtx(52). vtx(53). vtx(54). vtx(55). vtx(56). vtx(57). vtx(58). vtx(59). vtx(6). vtx(60). vtx(61). vtx(62). vtx(63). vtx(64). vtx(65). vtx(66). vtx(67). vtx(68). vtx(69). vtx(7). vtx(70). vtx(71). vtx(72). vtx(73). vtx(74). vtx(75). vtx(76). vtx(77). vtx(78). vtx(79). vtx(8). vtx(80). vtx(81). vtx(82). vtx(83). vtx(84). vtx(85). vtx(86). vtx(87). vtx(88). vtx(89). vtx(9). vtx(90). vtx(91). vtx(92). vtx(93). vtx(94). vtx(95). vtx(96). vtx(97). vtx(98). vtx(99).

Actions

Navigation

Instance rand_100_400_1159666138_8.lp