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 rand_200_1800_1154991214_7

Name	rand_200_1800_1154991214_7
Classes	[Root]    Unclassified (3031)    HamiltonianCycle (30)
Submitter	Martin Gebser
Author
Description	100 vertices, 1800 edges
Created	2009-03-30 13:03
Modified	2008-11-29 00:07
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	bound(200). vtx(1). vtx(2). vtx(3). vtx(4). vtx(5). vtx(6). vtx(7). vtx(8). vtx(9). vtx(10). vtx(11). vtx(12). vtx(13). vtx(14). vtx(15). vtx(16). vtx(17). vtx(18). vtx(19). vtx(20). vtx(21). vtx(22). vtx(23). vtx(24). vtx(25). vtx(26). vtx(27). vtx(28). vtx(29). vtx(30). vtx(31). vtx(32). vtx(33). vtx(34). vtx(35). vtx(36). vtx(37). vtx(38). vtx(39). vtx(40). vtx(41). vtx(42). vtx(43). vtx(44). vtx(45). vtx(46). vtx(47). vtx(48). vtx(49). vtx(50). vtx(51). vtx(52). vtx(53). vtx(54). vtx(55). vtx(56). vtx(57). vtx(58). vtx(59). vtx(60). vtx(61). vtx(62). vtx(63). vtx(64). vtx(65). vtx(66). vtx(67). vtx(68). vtx(69). vtx(70). vtx(71). vtx(72). vtx(73). vtx(74). vtx(75). vtx(76). vtx(77). vtx(78). vtx(79). vtx(80). vtx(81). vtx(82). vtx(83). vtx(84). vtx(85). vtx(86). vtx(87). vtx(88). vtx(89). vtx(90). vtx(91). vtx(92). vtx(93). vtx(94). vtx(95). vtx(96). vtx(97). vtx(98). vtx(99). vtx(100). vtx(101). vtx(102). vtx(103). vtx(104). vtx(105). vtx(106). vtx(107). vtx(108). vtx(109). vtx(110). vtx(111). vtx(112). vtx(113). vtx(114). vtx(115). vtx(116). vtx(117). vtx(118). vtx(119). vtx(120). vtx(121). vtx(122). vtx(123). vtx(124). vtx(125). vtx(126). vtx(127). vtx(128). vtx(129). vtx(130). vtx(131). vtx(132). vtx(133). vtx(134). vtx(135). vtx(136). vtx(137). vtx(138). vtx(139). vtx(140). vtx(141). vtx(142). vtx(143). vtx(144). vtx(145). vtx(146). vtx(147). vtx(148). vtx(149). vtx(150). vtx(151). vtx(152). vtx(153). vtx(154). vtx(155). vtx(156). vtx(157). vtx(158). vtx(159). vtx(160). vtx(161). vtx(162). vtx(163). vtx(164). vtx(165). vtx(166). vtx(167). vtx(168). vtx(169). vtx(170). vtx(171). vtx(172). vtx(173). vtx(174). vtx(175). vtx(176). vtx(177). vtx(178). vtx(179). vtx(180). vtx(181). vtx(182). vtx(183). vtx(184). vtx(185). vtx(186). vtx(187). vtx(188). vtx(189). vtx(190). vtx(191). vtx(192). vtx(193). vtx(194). vtx(195). vtx(196). vtx(197). vtx(198). vtx(199). vtx(200). edge(73,20). edge(1,71). edge(104,123). edge(101,7). edge(41,78). edge(63,102). edge(35,75). edge(90,167). edge(68,153). edge(4,37). edge(75,5). edge(38,136). edge(146,140). edge(149,82). edge(50,91). edge(38,122). edge(110,39). edge(192,14). edge(162,93). edge(21,2). edge(170,83). edge(104,4). edge(157,193). edge(170,25). edge(146,174). edge(61,21). edge(179,99). edge(156,124). edge(38,105). edge(5,87). edge(195,43). edge(9,105). edge(82,1). edge(119,43). edge(93,139). edge(45,62). edge(21,148). edge(66,178). edge(141,36). edge(3,87). edge(9,63). edge(107,187). edge(161,63). edge(111,198). edge(167,116). edge(85,162). edge(158,94). edge(67,40). edge(95,185). edge(82,187). edge(123,126). edge(49,144). edge(74,115). edge(122,14). edge(150,124). edge(101,159). edge(186,7). edge(146,147). edge(70,56). edge(145,36). edge(171,30). edge(197,129). edge(123,64). edge(168,17). edge(48,50). edge(4,171). edge(176,52). edge(115,49). edge(166,36). edge(63,116). edge(160,163). edge(74,146). edge(169,20). edge(92,38). edge(75,37). edge(74,46). edge(66,71). edge(175,189). edge(134,143). edge(5,182). edge(192,9). edge(152,167). edge(61,67). edge(16,27). edge(103,78). edge(142,62). edge(40,16). edge(7,9). edge(35,99). edge(47,109). edge(135,120). edge(155,1). edge(191,129). edge(189,125). edge(72,193). edge(106,63). edge(2,58). edge(30,62). edge(124,45). edge(88,27). edge(123,29). edge(88,162). edge(44,95). edge(170,79). edge(194,17). edge(187,129). edge(137,142). edge(129,127). edge(71,117). edge(51,142). edge(110,157). edge(4,111). edge(14,34). edge(173,138). edge(79,60). edge(164,1). edge(89,51). edge(162,132). edge(146,132). edge(11,139). edge(149,197). edge(68,85). edge(139,196). edge(11,9). edge(112,62). edge(150,22). edge(18,154). edge(133,32). edge(187,105). edge(169,65). edge(164,132). edge(66,52). edge(183,28). edge(184,128). edge(160,194). edge(67,108). edge(191,134). edge(192,130). edge(130,3). edge(138,42). edge(65,88). edge(63,82). edge(41,195). edge(113,28). edge(99,82). edge(93,63). edge(13,158). edge(115,195). edge(185,99). edge(123,144). edge(93,190). edge(51,83). edge(123,43). edge(12,53). edge(45,150). edge(94,110). edge(37,156). edge(191,77). edge(151,104). edge(105,50). edge(186,197). edge(112,198). edge(154,27). edge(193,138). edge(125,116). edge(82,17). edge(105,133). edge(99,28). edge(175,111). edge(80,20). edge(61,173). edge(129,97). edge(129,120). edge(174,79). edge(24,78). edge(128,9). edge(74,40). edge(7,28). edge(66,199). edge(165,190). edge(114,47). edge(6,19). edge(179,105). edge(46,153). edge(16,126). edge(172,76). edge(99,101). edge(173,27). edge(20,146). edge(105,43). edge(24,33). edge(52,98). edge(72,58). edge(125,137). edge(56,90). edge(126,170). edge(136,132). edge(189,114). edge(36,35). edge(67,51). edge(160,39). edge(127,59). edge(139,99). edge(85,159). edge(45,190). edge(1,68). edge(22,53). edge(165,94). edge(110,89). edge(30,166). edge(178,156). edge(135,114). edge(87,124). edge(28,123). edge(174,118). edge(132,101). edge(176,71). edge(199,60). edge(29,43). edge(50,30). edge(111,72). edge(82,76). edge(165,191). edge(164,195). edge(156,142). edge(150,91). edge(55,37). edge(14,83). edge(160,172). edge(176,134). edge(89,108). edge(34,64). edge(179,33). edge(124,7). edge(76,173). edge(37,186). edge(45,119). edge(61,9). edge(110,25). edge(3,66). edge(167,153). edge(156,22). edge(190,170). edge(104,150). edge(141,79). edge(83,30). edge(187,116). edge(93,165). edge(148,17). edge(171,23). edge(190,8). edge(9,34). edge(126,69). edge(42,35). edge(94,45). edge(100,60). edge(198,56). edge(81,187). edge(26,184). edge(136,167). edge(62,19). edge(196,48). edge(134,89). edge(12,82). edge(106,183). edge(104,95). edge(191,113). edge(128,117). edge(181,170). edge(152,74). edge(15,52). edge(134,12). edge(107,14). edge(199,133). edge(197,135). edge(99,59). edge(153,95). edge(107,87). edge(184,119). edge(168,89). edge(102,72). edge(183,92). edge(184,111). edge(8,165). edge(80,159). edge(39,94). edge(10,172). edge(106,117). edge(185,104). edge(49,182). edge(39,148). edge(40,191). edge(43,146). edge(78,26). edge(64,46). edge(114,165). edge(117,96). edge(57,101). edge(6,65). edge(66,86). edge(23,105). edge(180,33). edge(76,86). edge(150,61). edge(190,199). edge(43,28). edge(147,82). edge(19,189). edge(28,96). edge(14,92). edge(141,127). edge(57,58). edge(23,113). edge(159,28). edge(177,25). edge(114,200). edge(129,94). edge(33,5). edge(179,183). edge(66,168). edge(181,108). edge(195,127). edge(190,14). edge(115,18). edge(109,128). edge(109,50). edge(55,166). edge(108,77). edge(79,67). edge(105,55). edge(92,18). edge(55,20). edge(111,88). edge(25,89). edge(70,90). edge(57,51). edge(198,52). edge(177,187). edge(65,92). edge(5,174). edge(19,114). edge(24,74). edge(79,131). edge(150,157). edge(198,54). edge(12,89). edge(71,67). edge(109,182). edge(154,133). edge(71,24). edge(23,127). edge(74,20). edge(178,51). edge(7,42). edge(142,11). edge(15,161). edge(124,38). edge(34,3). edge(169,183). edge(159,167). edge(36,171). edge(56,107). edge(37,164). edge(89,191). edge(97,159). edge(14,119). edge(85,88). edge(138,63). edge(138,144). edge(104,79). edge(155,119). edge(40,79). edge(157,73). edge(81,126). edge(56,40). edge(92,10). edge(147,198). edge(46,111). edge(87,36). edge(7,45). edge(50,125). edge(130,137). edge(63,192). edge(75,6). edge(96,154). edge(161,14). edge(193,40). edge(171,65). edge(120,96). edge(121,159). edge(187,12). edge(169,134). edge(10,14). edge(44,96). edge(50,140). edge(100,175). edge(70,37). edge(37,61). edge(111,43). edge(156,64). edge(3,170). edge(57,43). edge(140,122). edge(162,35). edge(42,121). edge(22,54). edge(89,155). edge(63,103). edge(199,158). edge(153,49). edge(23,167). edge(88,60). edge(28,199). edge(102,183). edge(63,105). edge(152,119). edge(147,92). edge(40,109). edge(126,82). edge(29,148). edge(135,118). edge(102,197). edge(20,101). edge(155,172). edge(150,53). edge(23,172). edge(20,111). edge(32,47). edge(109,133). edge(38,182). edge(90,184). edge(73,130). edge(92,199). edge(11,121). edge(146,38). edge(48,143). edge(58,148). edge(97,29). edge(97,150). edge(52,69). edge(170,163). edge(100,16). edge(71,33). edge(46,42). edge(70,27). edge(131,54). edge(100,61). edge(146,98). edge(43,16). edge(104,90). edge(159,161). edge(38,56). edge(190,135). edge(5,41). edge(4,174). edge(3,104). edge(190,74). edge(136,36). edge(115,6). edge(62,46). edge(59,162). edge(106,4). edge(59,177). edge(70,102). edge(193,173). edge(191,151). edge(133,29). edge(6,122). edge(164,11). edge(163,167). edge(185,166). edge(71,174). edge(39,7). edge(10,154). edge(12,72). edge(200,71). edge(33,106). edge(75,91). edge(82,145). edge(192,74). edge(117,183). edge(25,50). edge(12,30). edge(172,175). edge(40,135). edge(142,24). edge(100,12). edge(198,139). edge(18,7). edge(93,30). edge(79,92). edge(101,111). edge(197,176). edge(2,78). edge(120,194). edge(152,36). edge(177,176). edge(86,188). edge(6,57). edge(163,45). edge(191,104). edge(69,91). edge(116,67). edge(29,134). edge(73,121). edge(164,152). edge(13,64). edge(62,9). edge(39,64). edge(87,158). edge(57,39). edge(194,33). edge(15,79). edge(21,20). edge(136,183). edge(65,127). edge(87,133). edge(17,2). edge(199,46). edge(136,72). edge(167,99). edge(23,179). edge(188,1). edge(148,75). edge(158,4). edge(113,152). edge(37,127). edge(31,57). edge(147,166). edge(40,11). edge(93,126). edge(143,109). edge(128,142). edge(155,63). edge(13,122). edge(162,36). edge(100,123). edge(120,88). edge(123,68). edge(163,81). edge(72,76). edge(32,108). edge(2,62). edge(165,149). edge(28,4). edge(159,120). edge(129,102). edge(29,57). edge(43,183). edge(120,56). edge(104,81). edge(91,4). edge(3,11). edge(92,126). edge(78,54). edge(7,149). edge(130,39). edge(57,131). edge(101,21). edge(80,128). edge(24,38). edge(48,153). edge(139,76). edge(10,182). edge(59,129). edge(37,163). edge(167,12). edge(139,59). edge(137,17). edge(113,144). edge(165,42). edge(182,22). edge(173,83). edge(42,52). edge(11,66). edge(89,58). edge(19,28). edge(134,28). edge(10,193). edge(156,46). edge(155,164). edge(174,122). edge(175,112). edge(180,112). edge(129,92). edge(56,93). edge(134,37). edge(115,106). edge(120,156). edge(157,130). edge(22,46). edge(187,40). edge(74,121). edge(67,83). edge(113,22). edge(129,68). edge(186,103). edge(189,161). edge(15,169). edge(73,143). edge(60,128). edge(35,193). edge(99,84). edge(13,126). edge(101,199). edge(165,174). edge(120,32). edge(57,32). edge(54,185). edge(99,40). edge(87,200). edge(101,55). edge(72,43). edge(115,199). edge(78,108). edge(163,27). edge(6,46). edge(132,61). edge(59,57). edge(162,58). edge(22,135). edge(177,53). edge(192,8). edge(107,176). edge(106,146). edge(63,193). edge(145,164). edge(48,17). edge(6,162). edge(16,84). edge(70,179). edge(111,76). edge(25,42). edge(137,83). edge(98,140). edge(120,33). edge(116,173). edge(24,123). edge(79,200). edge(29,24). edge(62,21). edge(169,25). edge(69,186). edge(31,1). edge(115,100). edge(180,25). edge(176,4). edge(66,112). edge(87,164). edge(10,26). edge(83,43). edge(142,55). edge(66,65). edge(134,66). edge(93,158). edge(128,114). edge(126,152). edge(182,112). edge(183,12). edge(112,97). edge(112,91). edge(121,87). edge(95,186). edge(199,181). edge(149,9). edge(7,32). edge(51,148). edge(86,117). edge(12,20). edge(183,105). edge(177,110). edge(19,103). edge(62,200). edge(14,44). edge(12,125). edge(141,124). edge(16,61). edge(11,111). edge(47,10). edge(92,196). edge(18,98). edge(27,69). edge(46,113). edge(186,58). edge(132,168). edge(162,108). edge(77,180). edge(10,139). edge(180,24). edge(182,192). edge(148,122). edge(116,164). edge(183,126). edge(75,30). edge(135,166). edge(25,153). edge(64,51). edge(22,109). edge(163,7). edge(166,95). edge(175,128). edge(3,52). edge(107,13). edge(190,87). edge(79,184). edge(93,194). edge(148,76). edge(119,22). edge(105,54). edge(7,50). edge(180,28). edge(159,143). edge(34,124). edge(37,9). edge(51,39). edge(60,158). edge(52,49). edge(45,87). edge(20,124). edge(70,113). edge(117,18). edge(188,36). edge(39,93). edge(90,26). edge(21,96). edge(76,1). edge(123,34). edge(143,157). edge(158,180). edge(165,9). edge(18,24). edge(167,70). edge(72,11). edge(156,91). edge(134,26). edge(3,51). edge(43,191). edge(86,82). edge(83,175). edge(108,104). edge(70,183). edge(104,193). edge(17,47). edge(149,174). edge(26,113). edge(183,44). edge(137,149). edge(113,8). edge(159,69). edge(99,93). edge(94,102). edge(143,137). edge(92,29). edge(19,175). edge(3,126). edge(78,73). edge(65,125). edge(28,14). edge(99,53). edge(96,63). edge(29,9). edge(71,188). edge(77,169). edge(80,171). edge(71,23). edge(107,163). edge(51,126). edge(137,54). edge(51,15). edge(126,159). edge(196,191). edge(84,24). edge(4,182). edge(77,130). edge(62,173). edge(192,91). edge(181,62). edge(78,57). edge(31,158). edge(27,101). edge(180,134). edge(63,30). edge(60,200). edge(83,110). edge(14,9). edge(69,10). edge(199,152). edge(33,2). edge(133,110). edge(131,195). edge(82,123). edge(85,62). edge(184,162). edge(119,15). edge(119,146). edge(116,99). edge(80,179). edge(128,139). edge(178,11). edge(49,192). edge(19,117). edge(1,18). edge(69,34). edge(19,2). edge(143,150). edge(197,24). edge(72,81). edge(86,56). edge(43,5). edge(71,162). edge(150,186). edge(60,30). edge(165,188). edge(168,142). edge(198,17). edge(134,17). edge(133,134). edge(35,2). edge(168,54). edge(4,110). edge(3,200). edge(134,75). edge(81,19). edge(131,123). edge(23,2). edge(84,173). edge(187,144). edge(2,151). edge(131,170). edge(93,129). edge(186,26). edge(160,180). edge(121,127). edge(33,124). edge(37,36). edge(123,170). edge(111,3). edge(189,42). edge(126,12). edge(43,9). edge(184,30). edge(152,186). edge(180,83). edge(155,73). edge(11,141). edge(99,156). edge(59,58). edge(135,179). edge(185,168). edge(103,21). edge(3,25). edge(28,179). edge(155,153). edge(190,197). edge(162,173). edge(26,114). edge(159,6). edge(196,114). edge(78,7). edge(54,177). edge(162,113). edge(35,97). edge(91,19). edge(64,193). edge(18,30). edge(180,45). edge(8,134). edge(198,197). edge(130,159). edge(170,155). edge(72,128). edge(160,68). edge(42,38). edge(74,95). edge(14,36). edge(7,49). edge(132,98). edge(67,196). edge(91,107). edge(62,108). edge(136,41). edge(153,144). edge(174,150). edge(141,104). edge(109,111). edge(58,181). edge(39,18). edge(49,80). edge(56,122). edge(174,70). edge(157,181). edge(118,89). edge(78,185). edge(84,168). edge(91,146). edge(76,27). edge(186,28). edge(171,160). edge(178,111). edge(63,87). edge(22,121). edge(67,60). edge(139,115). edge(139,194). edge(37,112). edge(64,194). edge(92,181). edge(82,170). edge(166,138). edge(56,111). edge(13,83). edge(97,41). edge(54,57). edge(18,164). edge(120,105). edge(185,40). edge(171,45). edge(179,86). edge(183,173). edge(123,94). edge(36,116). edge(186,17). edge(198,156). edge(182,164). edge(93,38). edge(75,105). edge(120,171). edge(145,173). edge(137,146). edge(67,122). edge(186,38). edge(166,165). edge(124,149). edge(137,46). edge(43,173). edge(162,28). edge(190,160). edge(184,171). edge(123,76). edge(8,197). edge(181,128). edge(168,126). edge(101,195). edge(88,38). edge(141,155). edge(160,126). edge(193,126). edge(91,116). edge(74,27). edge(162,116). edge(200,124). edge(144,189). edge(83,127). edge(3,167). edge(3,183). edge(95,171). edge(108,195). edge(165,196). edge(33,105). edge(151,192). edge(31,143). edge(117,121). edge(59,190). edge(106,148). edge(136,27). edge(175,95). edge(33,177). edge(62,35). edge(160,156). edge(6,67). edge(151,170). edge(63,183). edge(75,13). edge(175,106). edge(155,92). edge(26,14). edge(82,174). edge(34,187). edge(121,177). edge(35,57). edge(4,10). edge(187,13). edge(71,146). edge(169,76). edge(13,119). edge(46,75). edge(102,120). edge(87,77). edge(26,42). edge(168,51). edge(55,49). edge(25,88). edge(65,70). edge(2,69). edge(80,153). edge(104,66). edge(165,175). edge(50,24). edge(52,96). edge(99,154). edge(16,186). edge(31,41). edge(27,198). edge(91,82). edge(47,116). edge(61,34). edge(152,62). edge(102,32). edge(14,6). edge(98,179). edge(180,109). edge(112,30). edge(133,164). edge(125,32). edge(118,140). edge(180,44). edge(125,192). edge(186,94). edge(128,26). edge(108,30). edge(57,121). edge(35,154). edge(99,15). edge(62,11). edge(44,195). edge(174,168). edge(26,91). edge(108,43). edge(86,183). edge(158,10). edge(175,144). edge(104,49). edge(190,31). edge(74,97). edge(61,130). edge(18,95). edge(83,117). edge(110,145). edge(127,153). edge(140,100). edge(121,166). edge(190,28). edge(8,28). edge(116,93). edge(11,74). edge(103,185). edge(18,6). edge(33,7). edge(37,106). edge(104,97). edge(36,121). edge(192,119). edge(38,101). edge(63,164). edge(53,3). edge(63,174). edge(168,53). edge(2,175). edge(81,117). edge(67,91). edge(190,169). edge(76,7). edge(175,108). edge(14,11). edge(14,117). edge(107,50). edge(38,98). edge(168,75). edge(198,31). edge(33,102). edge(24,1). edge(154,25). edge(175,34). edge(141,42). edge(125,131). edge(11,200). edge(138,185). edge(108,151). edge(195,122). edge(68,102). edge(171,105). edge(199,139). edge(180,197). edge(169,18). edge(47,2). edge(119,71). edge(2,73). edge(96,176). edge(107,36). edge(18,32). edge(167,28). edge(31,104). edge(12,139). edge(54,7). edge(60,121). edge(109,30). edge(26,108). edge(169,6). edge(104,137). edge(24,151). edge(138,143). edge(22,140). edge(16,117). edge(115,122). edge(153,133). edge(154,119). edge(160,184). edge(122,76). edge(179,182). edge(197,87). edge(12,23). edge(194,180). edge(29,98). edge(117,52). edge(49,54). edge(194,70). edge(193,9). edge(187,108). edge(131,139). edge(40,84). edge(58,200). edge(68,80). edge(172,190). edge(156,150). edge(172,153). edge(37,183). edge(175,31). edge(163,3). edge(128,79). edge(55,177). edge(132,48). edge(47,125). edge(57,33). edge(33,188). edge(171,73). edge(72,28). edge(73,140). edge(108,44). edge(129,63). edge(193,100). edge(15,29). edge(83,190). edge(59,45). edge(192,187). edge(123,47). edge(164,55). edge(94,10). edge(180,151). edge(42,12). edge(139,13). edge(85,10). edge(41,157). edge(149,148). edge(200,78). edge(11,193). edge(178,25). edge(22,60). edge(15,81). edge(105,7). edge(67,28). edge(53,30). edge(82,146). edge(40,61). edge(97,82). edge(73,35). edge(45,135). edge(114,193). edge(82,114). edge(70,93). edge(107,48). edge(107,132). edge(8,12). edge(138,75). edge(39,190). edge(136,144). edge(181,32). edge(25,54). edge(67,119). edge(53,125). edge(103,135). edge(39,173). edge(27,145). edge(20,144). edge(73,127). edge(75,81). edge(156,177). edge(1,60). edge(97,136). edge(4,77). edge(168,28). edge(131,35). edge(147,141). edge(145,199). edge(66,48). edge(133,104). edge(21,159). edge(49,41). edge(102,122). edge(167,177). edge(3,105). edge(188,158). edge(82,189). edge(17,178). edge(55,92). edge(48,185). edge(126,194). edge(125,71). edge(193,191). edge(118,125). edge(95,138). edge(84,143). edge(179,186). edge(65,146). edge(162,67). edge(50,149). edge(24,132). edge(137,41). edge(109,61). edge(61,163). edge(153,109). edge(148,79). edge(149,94). edge(63,66). edge(19,157). edge(4,102). edge(100,183). edge(87,165). edge(128,49). edge(31,178). edge(198,55). edge(109,134). edge(96,17). edge(195,156). edge(180,148). edge(64,127). edge(26,166). edge(199,174). edge(59,61). edge(40,78). edge(18,44). edge(179,117). edge(26,66). edge(81,153). edge(114,112). edge(130,112). edge(167,38). edge(55,40). edge(17,35). edge(188,81). edge(161,13). edge(46,160). edge(186,105). edge(21,26). edge(182,39). edge(69,161). edge(156,95). edge(27,36). edge(47,140). edge(148,177). edge(52,114). edge(15,97). edge(175,69). edge(136,192). edge(72,65). edge(136,117). edge(24,122). edge(22,45). edge(147,3). edge(83,16). edge(164,38). edge(110,190). edge(74,157). edge(130,22). edge(134,181). edge(135,148). edge(77,110). edge(17,12). edge(101,120). edge(135,173). edge(185,71). edge(90,9). edge(192,111). edge(53,138). edge(113,136). edge(154,76). edge(173,64). edge(66,47). edge(21,195). edge(68,154). edge(175,3). edge(102,51). edge(112,118). edge(63,13). edge(38,198). edge(185,22). edge(68,75). edge(30,59). edge(185,83). edge(197,98). edge(18,150). edge(174,191). edge(14,39). edge(37,34). edge(187,7). edge(107,88). edge(58,19). edge(6,120). edge(31,44). edge(66,184). edge(90,96). edge(43,74). edge(178,40). edge(172,196). edge(189,145). edge(186,2). edge(183,23). edge(36,16). edge(22,33). edge(110,79). edge(51,116). edge(199,82). edge(160,115). edge(97,25). edge(99,187). edge(120,142). edge(61,97). edge(92,170). edge(176,78). edge(172,159). edge(100,7). edge(174,26). edge(29,196). edge(75,109). edge(55,73). edge(188,87). edge(38,87). edge(54,8). edge(165,146). edge(178,141). edge(24,149). edge(99,123). edge(149,183). edge(68,7). edge(121,143). edge(116,175). edge(15,106). edge(189,2). edge(193,26). edge(89,65). edge(183,116). edge(198,37). edge(124,163). edge(183,101). edge(103,6). edge(49,2). edge(129,4). edge(74,77). edge(186,142). edge(84,107). edge(84,199). edge(82,98). edge(105,71). edge(100,97). edge(96,189). edge(162,79). edge(104,160). edge(116,28). edge(122,98). edge(128,25). edge(104,177). edge(26,32). edge(180,99). edge(108,166). edge(40,192). edge(73,124). edge(190,155). edge(22,94). edge(25,121). edge(191,121). edge(110,152). edge(200,13). edge(111,115). edge(40,33). edge(12,168). edge(57,115). edge(147,124). edge(181,55). edge(90,20). edge(46,163). edge(144,36). edge(117,165). edge(130,142). edge(86,120). edge(62,195). edge(71,61). edge(7,182). edge(176,47). edge(15,187). edge(15,71). edge(102,159). edge(83,133). edge(103,173). edge(153,148). edge(135,96). edge(183,52). edge(60,112). edge(193,145). edge(32,55). edge(140,103). edge(116,146). edge(84,91). edge(193,99). edge(169,180). edge(166,122). edge(28,48). edge(55,130). edge(20,7). edge(78,155). edge(103,60). edge(6,163). edge(172,199). edge(108,3). edge(54,47). edge(105,170). edge(192,189). edge(61,185). edge(87,138). edge(192,56). edge(118,157). edge(177,146). edge(5,31). edge(75,24). edge(38,153). edge(179,140). edge(13,185). edge(102,184). edge(183,9). edge(187,37). edge(56,91). edge(6,47). edge(80,66). edge(32,166). edge(4,23). edge(179,199). edge(66,183). edge(30,141). edge(7,67). edge(93,186). edge(170,109). edge(89,153). edge(118,75). edge(189,173). edge(166,194). edge(20,45). edge(60,51). edge(11,63). edge(74,32). edge(184,52). edge(31,50). edge(35,60). edge(191,42). edge(27,133). edge(188,196). edge(42,77). edge(148,159). edge(151,137). edge(132,117). edge(131,151). edge(161,190). edge(2,172). edge(53,75). edge(127,34). edge(86,162). edge(94,76). edge(3,20). edge(159,30). edge(153,147). edge(26,194). edge(23,174). edge(153,174). edge(110,84). edge(90,40). edge(35,51). edge(30,36). edge(23,82). edge(111,26). edge(119,37). edge(60,4). edge(198,153). edge(80,1). edge(31,125). edge(185,56). edge(119,8). edge(29,71). edge(181,139). edge(155,71). edge(178,189). edge(122,8). edge(25,144). edge(90,135). edge(170,8). edge(172,29). edge(11,170). edge(182,91). edge(129,1). edge(80,114). edge(121,85). edge(69,102). edge(23,173). edge(1,12). edge(94,8). edge(97,171). edge(6,105). edge(142,35). edge(116,111). edge(17,6). edge(81,171). edge(135,81). edge(51,48). edge(137,48). edge(169,22). edge(116,71). edge(45,139). edge(43,45). edge(150,137). edge(53,186). edge(173,150). edge(157,179). edge(54,98). edge(14,169). edge(9,31). edge(175,90). edge(2,109). edge(171,52). edge(157,107). edge(99,126). edge(129,15). edge(196,173). edge(153,39). edge(17,103). edge(176,70). edge(89,149). edge(19,45). edge(143,141). edge(41,151). edge(171,15). edge(40,172). edge(124,10). edge(23,80). edge(117,122). edge(6,45). edge(136,2). edge(18,89). edge(40,34). edge(192,16). edge(164,123). edge(125,90). edge(195,67). edge(31,36). edge(51,58). edge(173,174). edge(54,184). edge(117,59). edge(29,53). edge(60,46). edge(142,100). edge(80,134). edge(115,184). edge(14,78). edge(106,139). edge(168,100). edge(5,198). edge(135,23). edge(199,185). edge(80,172). edge(159,147). edge(131,84). edge(71,159). edge(5,79). edge(30,85). edge(13,145). edge(68,26). edge(22,173). edge(164,190). edge(72,169). edge(188,7). edge(192,71). edge(158,150). edge(17,125). edge(161,147). edge(161,110). edge(24,191). edge(195,37). edge(135,62). edge(62,157). edge(34,26). edge(195,134). edge(113,186). edge(120,104). edge(56,78). edge(53,73). edge(2,14). edge(19,11). edge(156,5). edge(34,180). edge(195,28). edge(16,130). edge(90,78). edge(86,124). edge(104,32). edge(165,142). edge(83,84). edge(161,97). edge(11,163). edge(111,30). edge(173,155). edge(153,129). edge(159,187). edge(109,154). edge(15,124). edge(84,104). edge(2,169). edge(27,105). edge(200,56). edge(2,165). edge(197,85). edge(48,42). edge(23,9). edge(139,34). edge(171,49). edge(63,144). edge(3,16). edge(72,162). edge(2,180). edge(116,17). edge(104,199). edge(167,147). edge(10,167). edge(2,11). edge(131,199). edge(96,179). edge(40,119). edge(187,178). edge(152,158). edge(27,14). edge(101,29). edge(30,172). edge(152,105). edge(48,56). edge(104,167). edge(160,71). edge(113,169). edge(37,115). edge(180,168). edge(114,76). edge(147,154). edge(194,133). edge(91,158). edge(159,191). edge(187,189). edge(163,176). edge(20,114). edge(81,67). edge(169,184). edge(33,129). edge(54,146). edge(98,91). edge(61,78). edge(58,175). edge(153,5). edge(128,147). edge(138,60). edge(92,28). edge(18,51). edge(18,4). edge(39,181). edge(179,58). edge(95,60). edge(124,64). edge(43,157). edge(192,96). edge(103,90). edge(187,163). edge(168,45). edge(138,121). edge(49,66). edge(67,186). edge(125,159). edge(13,142). edge(9,30). edge(146,48). edge(105,184). edge(29,168). edge(159,122). edge(88,49). edge(108,51). edge(16,152). edge(188,136). edge(200,53). edge(3,186). edge(178,161). edge(198,120). edge(170,28). edge(65,17). edge(38,189). edge(122,142). edge(172,150). edge(109,198). edge(135,68). edge(119,23). edge(116,27). edge(73,132). edge(178,60). edge(68,178). edge(163,90). edge(31,161). edge(10,200). edge(188,74). edge(16,25). edge(63,137). edge(166,34). edge(87,74). edge(31,22). edge(141,150). edge(44,57). edge(176,116). edge(189,154). edge(176,56). edge(132,89). edge(126,94). edge(179,156). edge(54,188). edge(155,42). edge(61,171). edge(66,123). edge(108,31). edge(157,194). edge(105,188). edge(15,46). edge(137,59). edge(103,112). edge(174,91). edge(66,150). edge(146,197). edge(38,71). edge(91,16). edge(186,64). edge(152,51). edge(187,59). edge(82,144). edge(53,187). edge(131,68). edge(33,67). edge(126,135). edge(179,100). edge(26,44). edge(40,87). edge(42,130). edge(74,105). edge(50,59). edge(169,1). edge(110,156). edge(60,191). edge(99,112). edge(178,30). edge(179,10). edge(96,104). edge(144,74). edge(3,169). edge(118,52). edge(140,157). edge(138,182). edge(50,161). edge(145,100). edge(100,129). edge(70,160). edge(120,169). edge(71,97). edge(198,50). edge(107,93). edge(153,51). edge(167,156). edge(20,85). edge(7,159). edge(42,145). edge(141,128). edge(184,191). edge(89,129). edge(90,108). edge(42,190). edge(37,111). edge(149,157). edge(79,20). edge(54,77). edge(69,160). edge(170,22). edge(10,136). edge(177,29). edge(21,184). edge(188,62).