added graphs from my ky's BA thesis

python/lp graphs/asymmetric.lp

+root(0).
+node(0).
+node(1).
+node(2).
+node(3).
+node(4).
+node(5).
+node(6).
+node(18).
+node(7).
+node(8).
+node(9).
+node(10).
+node(11).
+node(12).
+node(13).
+node(14).
+node(15).
+node(16).
+node(17).
+node(26).
+node(19).
+node(20).
+node(21).
+node(22).
+node(23).
+node(24).
+node(25).
+node(27).
+node(28).
+node(29).
+node(30).
+node(31).
+node(32).
+node(33).
+node(34).
+node(35).
+node(36).
+node(60).
+node(37).
+node(38).
+node(39).
+node(40).
+node(41).
+node(42).
+node(43).
+node(44).
+node(45).
+node(46).
+node(47).
+node(48).
+node(49).
+node(50).
+node(51).
+node(52).
+node(53).
+node(54).
+node(55).
+node(56).
+node(57).
+node(58).
+node(59).
+node(90).
+node(61).
+node(62).
+node(63).
+node(64).
+node(65).
+node(66).
+node(67).
+node(68).
+node(69).
+node(70).
+node(71).
+node(72).
+node(73).
+node(74).
+node(75).
+node(76).
+node(77).
+node(78).
+node(79).
+node(80).
+node(81).
+node(82).
+node(83).
+node(84).
+node(85).
+node(86).
+node(87).
+node(88).
+node(89).
+node(126).
+node(91).
+node(92).
+node(93).
+node(94).
+node(95).
+node(96).
+node(97).
+node(98).
+node(99).
+node(100).
+node(101).
+node(102).
+node(103).
+node(104).
+node(105).
+node(106).
+node(107).
+node(108).
+node(109).
+node(110).
+node(111).
+node(112).
+node(113).
+node(114).
+node(115).
+node(116).
+node(117).
+node(118).
+node(119).
+node(120).
+node(121).
+node(122).
+node(123).
+node(124).
+node(125).
+node(168).
+node(127).
+node(128).
+node(129).
+node(130).
+node(131).
+node(132).
+node(133).
+node(134).
+node(135).
+node(136).
+node(137).
+node(138).
+node(139).
+node(140).
+node(141).
+node(142).
+node(143).
+node(144).
+node(145).
+node(146).
+node(147).
+node(148).
+node(149).
+node(150).
+node(151).
+node(152).
+node(153).
+node(154).
+node(155).
+node(156).
+node(157).
+node(158).
+node(159).
+node(160).
+node(161).
+node(162).
+node(163).
+node(164).
+node(165).
+node(166).
+node(167).
+node(169).
+node(170).
+node(171).
+node(172).
+node(173).
+node(174).
+node(175).
+node(176).
+node(177).
+node(178).
+node(179).
+node(180).
+node(181).
+node(182).
+node(183).
+node(184).
+node(185).
+node(186).
+node(187).
+node(188).
+node(189).
+node(190).
+node(191).
+node(192).
+node(193).
+node(194).
+node(195).
+node(196).
+node(197).
+node(198).
+node(199).
+node(200).
+node(201).
+node(202).
+node(203).
+node(204).
+node(205).
+node(206).
+node(207).
+node(208).
+node(209).
+node(210).
+node(211).
+node(212).
+node(213).
+node(214).
+node(215).
+node(216).
+node(217).
+node(218).
+node(219).
+node(220).
+node(221).
+node(222).
+node(223).
+node(224).
+node(225).
+node(226).
+node(227).
+node(228).
+node(229).
+node(230).
+node(231).
+node(232).
+node(233).
+node(234).
+node(235).
+node(236).
+node(237).
+node(238).
+node(239).
+node(240).
+node(241).
+node(242).
+node(243).
+node(244).
+node(245).
+node(246).
+node(247).
+node(248).
+node(249).
+node(250).
+node(251).
+node(252).
+node(253).
+node(254).
+node(255).
+node(256).
+node(257).
+node(258).
+node(259).
+node(260).
+node(261).
+node(262).
+node(263).
+node(264).
+node(265).
+node(266).
+node(267).
+node(268).
+node(269).
+node(270).
+node(271).
+node(272).
+node(273).
+node(274).
+node(275).
+node(276).
+node(277).
+node(278).
+node(279).
+node(280).
+node(281).
+node(282).
+node(283).
+node(284).
+node(285).
+node(286).
+node(287).
+node(288).
+node(289).
+node(290).
+node(291).
+node(292).
+node(293).
+node(294).
+node(295).
+node(296).
+node(297).
+node(298).
+node(299).
+node(300).
+node(301).
+node(302).
+node(303).
+node(304).
+node(305).
+node(306).
+node(307).
+node(308).
+node(309).
+node(310).
+node(311).
+node(312).
+node(313).
+node(314).
+node(315).
+node(316).
+node(317).
+node(318).
+node(319).
+node(320).
+node(321).
+node(322).
+node(323).
+node(324).
+node(325).
+node(326).
+node(327).
+node(328).
+node(329).
+node(330).
+node(331).
+node(332).
+node(333).
+node(334).
+node(335).
+node(336).
+node(337).
+node(338).
+node(339).
+node(340).
+node(341).
+node(342).
+node(343).
+node(344).
+node(345).
+node(346).
+node(347).
+node(348).
+node(349).
+node(350).
+node(351).
+node(352).
+node(353).
+node(354).
+node(355).
+node(356).
+node(357).
+node(358).
+node(359).
+node(360).
+node(361).
+node(362).
+node(363).
+node(364).
+node(365).
+node(366).
+node(367).
+node(368).
+node(369).
+node(370).
+node(371).
+node(372).
+node(373).
+node(374).
+node(375).
+node(376).
+node(377).
+edge(0, 1). 	edge(1, 0).
+edge(0, 2). 	edge(2, 0).
+edge(0, 3). 	edge(3, 0).
+edge(0, 4). 	edge(4, 0).
+edge(0, 5). 	edge(5, 0).
+edge(0, 6). 	edge(6, 0).
+edge(1, 6). 	edge(6, 1).
+edge(1, 18). 	edge(18, 1).
+edge(1, 7). 	edge(7, 1).
+edge(1, 8). 	edge(8, 1).
+edge(1, 2). 	edge(2, 1).
+edge(2, 8). 	edge(8, 2).
+edge(2, 9). 	edge(9, 2).
+edge(2, 10). 	edge(10, 2).
+edge(2, 3). 	edge(3, 2).
+edge(3, 11). 	edge(11, 3).
+edge(3, 10). 	edge(10, 3).
+edge(3, 4). 	edge(4, 3).
+edge(3, 12). 	edge(12, 3).
+edge(4, 5). 	edge(5, 4).
+edge(4, 12). 	edge(12, 4).
+edge(4, 13). 	edge(13, 4).
+edge(4, 14). 	edge(14, 4).
+edge(5, 14). 	edge(14, 5).
+edge(5, 15). 	edge(15, 5).
+edge(5, 16). 	edge(16, 5).
+edge(5, 6). 	edge(6, 5).
+edge(6, 16). 	edge(16, 6).
+edge(6, 17). 	edge(17, 6).
+edge(6, 18). 	edge(18, 6).
+edge(18, 7). 	edge(7, 18).
+edge(18, 17). 	edge(17, 18).
+edge(18, 35). 	edge(35, 18).
+edge(18, 36). 	edge(36, 18).
+edge(7, 8). 	edge(8, 7).
+edge(7, 19). 	edge(19, 7).
+edge(7, 20). 	edge(20, 7).
+edge(7, 36). 	edge(36, 7).
+edge(8, 20). 	edge(20, 8).
+edge(8, 21). 	edge(21, 8).
+edge(8, 9). 	edge(9, 8).
+edge(9, 21). 	edge(21, 9).
+edge(9, 22). 	edge(22, 9).
+edge(9, 23). 	edge(23, 9).
+edge(9, 10). 	edge(10, 9).
+edge(10, 11). 	edge(11, 10).
+edge(10, 23). 	edge(23, 10).
+edge(10, 24). 	edge(24, 10).
+edge(11, 24). 	edge(24, 11).
+edge(11, 25). 	edge(25, 11).
+edge(11, 26). 	edge(26, 11).
+edge(11, 12). 	edge(12, 11).
+edge(12, 26). 	edge(26, 12).
+edge(12, 27). 	edge(27, 12).
+edge(12, 13). 	edge(13, 12).
+edge(13, 14). 	edge(14, 13).
+edge(13, 27). 	edge(27, 13).
+edge(13, 28). 	edge(28, 13).
+edge(13, 29). 	edge(29, 13).
+edge(14, 15). 	edge(15, 14).
+edge(14, 29). 	edge(29, 14).
+edge(14, 30). 	edge(30, 14).
+edge(15, 16). 	edge(16, 15).
+edge(15, 30). 	edge(30, 15).
+edge(15, 31). 	edge(31, 15).
+edge(15, 32). 	edge(32, 15).
+edge(16, 17). 	edge(17, 16).
+edge(16, 32). 	edge(32, 16).
+edge(16, 33). 	edge(33, 16).
+edge(17, 33). 	edge(33, 17).
+edge(17, 34). 	edge(34, 17).
+edge(17, 35). 	edge(35, 17).
+edge(26, 25). 	edge(25, 26).
+edge(26, 27). 	edge(27, 26).
+edge(26, 46). 	edge(46, 26).
+edge(26, 47). 	edge(47, 26).
+edge(19, 20). 	edge(20, 19).
+edge(19, 36). 	edge(36, 19).
+edge(19, 60). 	edge(60, 19).
+edge(19, 37). 	edge(37, 19).
+edge(19, 38). 	edge(38, 19).
+edge(20, 38). 	edge(38, 20).
+edge(20, 39). 	edge(39, 20).
+edge(20, 21). 	edge(21, 20).
+edge(21, 22). 	edge(22, 21).
+edge(21, 39). 	edge(39, 21).
+edge(21, 40). 	edge(40, 21).
+edge(22, 23). 	edge(23, 22).
+edge(22, 40). 	edge(40, 22).
+edge(22, 41). 	edge(41, 22).
+edge(22, 42). 	edge(42, 22).
+edge(23, 24). 	edge(24, 23).
+edge(23, 42). 	edge(42, 23).
+edge(23, 43). 	edge(43, 23).
+edge(24, 25). 	edge(25, 24).
+edge(24, 43). 	edge(43, 24).
+edge(24, 44). 	edge(44, 24).
+edge(25, 44). 	edge(44, 25).
+edge(25, 45). 	edge(45, 25).
+edge(25, 46). 	edge(46, 25).
+edge(27, 28). 	edge(28, 27).
+edge(27, 47). 	edge(47, 27).
+edge(27, 48). 	edge(48, 27).
+edge(28, 29). 	edge(29, 28).
+edge(28, 48). 	edge(48, 28).
+edge(28, 49). 	edge(49, 28).
+edge(28, 50). 	edge(50, 28).
+edge(29, 30). 	edge(30, 29).
+edge(29, 50). 	edge(50, 29).
+edge(29, 51). 	edge(51, 29).
+edge(30, 31). 	edge(31, 30).
+edge(30, 51). 	edge(51, 30).
+edge(30, 52). 	edge(52, 30).
+edge(31, 32). 	edge(32, 31).
+edge(31, 52). 	edge(52, 31).
+edge(31, 53). 	edge(53, 31).
+edge(31, 54). 	edge(54, 31).
+edge(32, 33). 	edge(33, 32).
+edge(32, 54). 	edge(54, 32).
+edge(32, 55). 	edge(55, 32).
+edge(33, 34). 	edge(34, 33).
+edge(33, 55). 	edge(55, 33).
+edge(33, 56). 	edge(56, 33).
+edge(34, 35). 	edge(35, 34).
+edge(34, 56). 	edge(56, 34).
+edge(34, 57). 	edge(57, 34).
+edge(34, 58). 	edge(58, 34).
+edge(35, 36). 	edge(36, 35).
+edge(35, 58). 	edge(58, 35).
+edge(35, 59). 	edge(59, 35).
+edge(36, 59). 	edge(59, 36).
+edge(36, 60). 	edge(60, 36).
+edge(60, 37). 	edge(37, 60).
+edge(60, 59). 	edge(59, 60).
+edge(60, 89). 	edge(89, 60).
+edge(60, 90). 	edge(90, 60).
+edge(37, 38). 	edge(38, 37).
+edge(37, 90). 	edge(90, 37).
+edge(37, 61). 	edge(61, 37).
+edge(37, 62). 	edge(62, 37).
+edge(38, 39). 	edge(39, 38).
+edge(38, 62). 	edge(62, 38).
+edge(38, 63). 	edge(63, 38).
+edge(39, 40). 	edge(40, 39).
+edge(39, 63). 	edge(63, 39).
+edge(39, 64). 	edge(64, 39).
+edge(40, 41). 	edge(41, 40).
+edge(40, 64). 	edge(64, 40).
+edge(40, 65). 	edge(65, 40).
+edge(41, 42). 	edge(42, 41).
+edge(41, 65). 	edge(65, 41).
+edge(41, 66). 	edge(66, 41).
+edge(41, 67). 	edge(67, 41).
+edge(42, 43). 	edge(43, 42).
+edge(42, 67). 	edge(67, 42).
+edge(42, 68). 	edge(68, 42).
+edge(43, 44). 	edge(44, 43).
+edge(43, 68). 	edge(68, 43).
+edge(43, 69). 	edge(69, 43).
+edge(44, 45). 	edge(45, 44).
+edge(44, 69). 	edge(69, 44).
+edge(44, 70). 	edge(70, 44).
+edge(45, 55). 	edge(55, 45).
+edge(45, 56). 	edge(56, 45).
+edge(45, 70). 	edge(70, 45).
+edge(45, 71). 	edge(71, 45).
+edge(45, 72). 	edge(72, 45).
+edge(45, 46). 	edge(46, 45).
+edge(46, 47). 	edge(47, 46).
+edge(46, 72). 	edge(72, 46).
+edge(46, 73). 	edge(73, 46).
+edge(47, 48). 	edge(48, 47).
+edge(47, 73). 	edge(73, 47).
+edge(47, 74). 	edge(74, 47).
+edge(48, 49). 	edge(49, 48).
+edge(48, 74). 	edge(74, 48).
+edge(48, 75). 	edge(75, 48).
+edge(49, 50). 	edge(50, 49).
+edge(49, 75). 	edge(75, 49).
+edge(49, 76). 	edge(76, 49).
+edge(49, 77). 	edge(77, 49).
+edge(50, 51). 	edge(51, 50).
+edge(50, 77). 	edge(77, 50).
+edge(50, 78). 	edge(78, 50).
+edge(51, 52). 	edge(52, 51).
+edge(51, 78). 	edge(78, 51).
+edge(51, 79). 	edge(79, 51).
+edge(52, 53). 	edge(53, 52).
+edge(52, 79). 	edge(79, 52).
+edge(52, 80). 	edge(80, 52).
+edge(53, 54). 	edge(54, 53).
+edge(53, 80). 	edge(80, 53).
+edge(53, 81). 	edge(81, 53).
+edge(53, 82). 	edge(82, 53).
+edge(54, 55). 	edge(55, 54).
+edge(54, 82). 	edge(82, 54).
+edge(54, 83). 	edge(83, 54).
+edge(55, 56). 	edge(56, 55).
+edge(55, 83). 	edge(83, 55).
+edge(55, 84). 	edge(84, 55).
+edge(56, 57). 	edge(57, 56).
+edge(56, 84). 	edge(84, 56).
+edge(56, 85). 	edge(85, 56).
+edge(57, 58). 	edge(58, 57).
+edge(57, 85). 	edge(85, 57).
+edge(57, 86). 	edge(86, 57).
+edge(57, 87). 	edge(87, 57).
+edge(58, 59). 	edge(59, 58).
+edge(58, 87). 	edge(87, 58).
+edge(58, 88). 	edge(88, 58).
+edge(59, 88). 	edge(88, 59).
+edge(59, 89). 	edge(89, 59).
+edge(90, 61). 	edge(61, 90).
+edge(90, 89). 	edge(89, 90).
+edge(90, 125). 	edge(125, 90).
+edge(90, 126). 	edge(126, 90).
+edge(61, 62). 	edge(62, 61).
+edge(61, 126). 	edge(126, 61).
+edge(61, 91). 	edge(91, 61).
+edge(61, 92). 	edge(92, 61).
+edge(62, 63). 	edge(63, 62).
+edge(62, 92). 	edge(92, 62).
+edge(62, 93). 	edge(93, 62).
+edge(63, 64). 	edge(64, 63).
+edge(63, 93). 	edge(93, 63).
+edge(63, 94). 	edge(94, 63).
+edge(64, 65). 	edge(65, 64).
+edge(64, 94). 	edge(94, 64).
+edge(64, 95). 	edge(95, 64).
+edge(65, 66). 	edge(66, 65).
+edge(65, 95). 	edge(95, 65).
+edge(65, 96). 	edge(96, 65).
+edge(66, 67). 	edge(67, 66).
+edge(66, 96). 	edge(96, 66).
+edge(66, 97). 	edge(97, 66).
+edge(66, 98). 	edge(98, 66).
+edge(67, 68). 	edge(68, 67).
+edge(67, 98). 	edge(98, 67).
+edge(67, 99). 	edge(99, 67).
+edge(68, 69). 	edge(69, 68).
+edge(68, 99). 	edge(99, 68).
+edge(68, 100). 	edge(100, 68).
+edge(69, 70). 	edge(70, 69).
+edge(69, 100). 	edge(100, 69).
+edge(69, 101). 	edge(101, 69).
+edge(70, 71). 	edge(71, 70).
+edge(70, 101). 	edge(101, 70).
+edge(70, 102). 	edge(102, 70).
+edge(71, 72). 	edge(72, 71).
+edge(71, 102). 	edge(102, 71).
+edge(71, 103). 	edge(103, 71).
+edge(71, 104). 	edge(104, 71).
+edge(72, 73). 	edge(73, 72).
+edge(72, 104). 	edge(104, 72).
+edge(72, 105). 	edge(105, 72).
+edge(73, 74). 	edge(74, 73).
+edge(73, 105). 	edge(105, 73).
+edge(73, 106). 	edge(106, 73).
+edge(74, 75). 	edge(75, 74).
+edge(74, 106). 	edge(106, 74).
+edge(74, 107). 	edge(107, 74).
+edge(75, 76). 	edge(76, 75).
+edge(75, 107). 	edge(107, 75).
+edge(75, 108). 	edge(108, 75).
+edge(76, 77). 	edge(77, 76).
+edge(76, 108). 	edge(108, 76).
+edge(76, 109). 	edge(109, 76).
+edge(76, 110). 	edge(110, 76).
+edge(77, 78). 	edge(78, 77).
+edge(77, 110). 	edge(110, 77).
+edge(77, 111). 	edge(111, 77).
+edge(78, 79). 	edge(79, 78).
+edge(78, 111). 	edge(111, 78).
+edge(78, 112). 	edge(112, 78).
+edge(79, 80). 	edge(80, 79).
+edge(79, 112). 	edge(112, 79).
+edge(79, 113). 	edge(113, 79).
+edge(80, 81). 	edge(81, 80).
+edge(80, 113). 	edge(113, 80).
+edge(80, 114). 	edge(114, 80).
+edge(81, 82). 	edge(82, 81).
+edge(81, 114). 	edge(114, 81).
+edge(81, 115). 	edge(115, 81).
+edge(81, 116). 	edge(116, 81).
+edge(82, 83). 	edge(83, 82).
+edge(82, 116). 	edge(116, 82).
+edge(82, 117). 	edge(117, 82).
+edge(83, 84). 	edge(84, 83).
+edge(83, 117). 	edge(117, 83).
+edge(83, 118). 	edge(118, 83).
+edge(84, 85). 	edge(85, 84).
+edge(84, 118). 	edge(118, 84).
+edge(84, 119). 	edge(119, 84).
+edge(85, 86). 	edge(86, 85).
+edge(85, 119). 	edge(119, 85).
+edge(85, 120). 	edge(120, 85).
+edge(86, 87). 	edge(87, 86).
+edge(86, 120). 	edge(120, 86).
+edge(86, 121). 	edge(121, 86).
+edge(86, 122). 	edge(122, 86).
+edge(87, 88). 	edge(88, 87).
+edge(87, 122). 	edge(122, 87).
+edge(87, 123). 	edge(123, 87).
+edge(88, 89). 	edge(89, 88).
+edge(88, 123). 	edge(123, 88).
+edge(88, 124). 	edge(124, 88).
+edge(89, 124). 	edge(124, 89).
+edge(89, 125). 	edge(125, 89).
+edge(126, 91). 	edge(91, 126).
+edge(126, 125). 	edge(125, 126).
+edge(126, 167). 	edge(167, 126).
+edge(126, 168). 	edge(168, 126).
+edge(91, 92). 	edge(92, 91).
+edge(91, 168). 	edge(168, 91).
+edge(91, 127). 	edge(127, 91).
+edge(91, 128). 	edge(128, 91).
+edge(92, 93). 	edge(93, 92).
+edge(92, 128). 	edge(128, 92).
+edge(92, 129). 	edge(129, 92).
+edge(93, 94). 	edge(94, 93).
+edge(93, 129). 	edge(129, 93).
+edge(93, 130). 	edge(130, 93).
+edge(94, 95). 	edge(95, 94).
+edge(94, 130). 	edge(130, 94).
+edge(94, 131). 	edge(131, 94).
+edge(95, 96). 	edge(96, 95).
+edge(95, 131). 	edge(131, 95).
+edge(95, 132). 	edge(132, 95).
+edge(96, 97). 	edge(97, 96).
+edge(96, 132). 	edge(132, 96).
+edge(96, 133). 	edge(133, 96).
+edge(97, 98). 	edge(98, 97).
+edge(97, 133). 	edge(133, 97).
+edge(97, 134). 	edge(134, 97).
+edge(97, 135). 	edge(135, 97).
+edge(98, 99). 	edge(99, 98).
+edge(98, 135). 	edge(135, 98).
+edge(98, 136). 	edge(136, 98).
+edge(99, 100). 	edge(100, 99).
+edge(99, 136). 	edge(136, 99).
+edge(99, 137). 	edge(137, 99).
+edge(100, 101). 	edge(101, 100).
+edge(100, 137). 	edge(137, 100).
+edge(100, 138). 	edge(138, 100).
+edge(101, 102). 	edge(102, 101).
+edge(101, 138). 	edge(138, 101).
+edge(101, 139). 	edge(139, 101).
+edge(102, 103). 	edge(103, 102).
+edge(102, 139). 	edge(139, 102).
+edge(102, 140). 	edge(140, 102).
+edge(103, 104). 	edge(104, 103).
+edge(103, 140). 	edge(140, 103).
+edge(103, 141). 	edge(141, 103).
+edge(103, 142). 	edge(142, 103).
+edge(104, 105). 	edge(105, 104).
+edge(104, 142). 	edge(142, 104).
+edge(104, 143). 	edge(143, 104).
+edge(105, 106). 	edge(106, 105).
+edge(105, 143). 	edge(143, 105).
+edge(105, 144). 	edge(144, 105).
+edge(106, 107). 	edge(107, 106).
+edge(106, 144). 	edge(144, 106).
+edge(106, 145). 	edge(145, 106).
+edge(107, 108). 	edge(108, 107).
+edge(107, 145). 	edge(145, 107).
+edge(107, 146). 	edge(146, 107).
+edge(108, 109). 	edge(109, 108).
+edge(108, 146). 	edge(146, 108).
+edge(108, 147). 	edge(147, 108).
+edge(109, 110). 	edge(110, 109).
+edge(109, 147). 	edge(147, 109).
+edge(109, 148). 	edge(148, 109).
+edge(109, 149). 	edge(149, 109).
+edge(110, 111). 	edge(111, 110).
+edge(110, 149). 	edge(149, 110).
+edge(110, 150). 	edge(150, 110).
+edge(111, 112). 	edge(112, 111).
+edge(111, 150). 	edge(150, 111).
+edge(111, 151). 	edge(151, 111).
+edge(112, 113). 	edge(113, 112).
+edge(112, 151). 	edge(151, 112).
+edge(112, 152). 	edge(152, 112).
+edge(113, 114). 	edge(114, 113).
+edge(113, 152). 	edge(152, 113).
+edge(113, 153). 	edge(153, 113).
+edge(114, 115). 	edge(115, 114).
+edge(114, 153). 	edge(153, 114).
+edge(114, 154). 	edge(154, 114).
+edge(115, 116). 	edge(116, 115).
+edge(115, 154). 	edge(154, 115).
+edge(115, 155). 	edge(155, 115).
+edge(115, 156). 	edge(156, 115).
+edge(116, 117). 	edge(117, 116).
+edge(116, 156). 	edge(156, 116).
+edge(116, 157). 	edge(157, 116).
+edge(117, 118). 	edge(118, 117).
+edge(117, 157). 	edge(157, 117).
+edge(117, 158). 	edge(158, 117).
+edge(118, 119). 	edge(119, 118).
+edge(118, 158). 	edge(158, 118).
+edge(118, 159). 	edge(159, 118).
+edge(119, 120). 	edge(120, 119).
+edge(119, 159). 	edge(159, 119).
+edge(119, 160). 	edge(160, 119).
+edge(120, 121). 	edge(121, 120).
+edge(120, 160). 	edge(160, 120).
+edge(120, 161). 	edge(161, 120).
+edge(121, 122). 	edge(122, 121).
+edge(121, 161). 	edge(161, 121).
+edge(121, 162). 	edge(162, 121).
+edge(121, 163). 	edge(163, 121).
+edge(122, 123). 	edge(123, 122).
+edge(122, 163). 	edge(163, 122).
+edge(122, 164). 	edge(164, 122).
+edge(123, 124). 	edge(124, 123).
+edge(123, 164). 	edge(164, 123).
+edge(123, 165). 	edge(165, 123).
+edge(124, 125). 	edge(125, 124).
+edge(124, 165). 	edge(165, 124).
+edge(124, 166). 	edge(166, 124).
+edge(125, 166). 	edge(166, 125).
+edge(125, 167). 	edge(167, 125).
+edge(168, 127). 	edge(127, 168).
+edge(168, 167). 	edge(167, 168).
+edge(168, 214). 	edge(214, 168).
+edge(127, 128). 	edge(128, 127).
+edge(127, 169). 	edge(169, 127).
+edge(128, 129). 	edge(129, 128).
+edge(128, 169). 	edge(169, 128).
+edge(128, 170). 	edge(170, 128).
+edge(129, 130). 	edge(130, 129).
+edge(129, 170). 	edge(170, 129).
+edge(129, 171). 	edge(171, 129).
+edge(130, 131). 	edge(131, 130).
+edge(130, 171). 	edge(171, 130).
+edge(130, 172). 	edge(172, 130).
+edge(131, 132). 	edge(132, 131).
+edge(131, 172). 	edge(172, 131).
+edge(131, 173). 	edge(173, 131).
+edge(132, 133). 	edge(133, 132).
+edge(132, 173). 	edge(173, 132).
+edge(132, 174). 	edge(174, 132).
+edge(133, 134). 	edge(134, 133).
+edge(133, 174). 	edge(174, 133).
+edge(133, 175). 	edge(175, 133).
+edge(134, 135). 	edge(135, 134).
+edge(134, 175). 	edge(175, 134).
+edge(134, 176). 	edge(176, 134).
+edge(134, 177). 	edge(177, 134).
+edge(135, 136). 	edge(136, 135).
+edge(135, 177). 	edge(177, 135).
+edge(135, 178). 	edge(178, 135).
+edge(136, 178). 	edge(178, 136).
+edge(136, 179). 	edge(179, 136).
+edge(136, 137). 	edge(137, 136).
+edge(137, 138). 	edge(138, 137).
+edge(137, 179). 	edge(179, 137).
+edge(137, 180). 	edge(180, 137).
+edge(138, 139). 	edge(139, 138).
+edge(138, 180). 	edge(180, 138).
+edge(138, 181). 	edge(181, 138).
+edge(139, 140). 	edge(140, 139).
+edge(139, 181). 	edge(181, 139).
+edge(139, 182). 	edge(182, 139).
+edge(140, 141). 	edge(141, 140).
+edge(140, 182). 	edge(182, 140).
+edge(140, 183). 	edge(183, 140).
+edge(141, 142). 	edge(142, 141).
+edge(141, 183). 	edge(183, 141).
+edge(141, 184). 	edge(184, 141).
+edge(141, 185). 	edge(185, 141).
+edge(142, 143). 	edge(143, 142).
+edge(142, 185). 	edge(185, 142).
+edge(142, 186). 	edge(186, 142).
+edge(143, 144). 	edge(144, 143).
+edge(143, 186). 	edge(186, 143).
+edge(143, 187). 	edge(187, 143).
+edge(144, 145). 	edge(145, 144).
+edge(144, 187). 	edge(187, 144).
+edge(144, 188). 	edge(188, 144).
+edge(145, 146). 	edge(146, 145).
+edge(145, 188). 	edge(188, 145).
+edge(145, 189). 	edge(189, 145).
+edge(146, 147). 	edge(147, 146).
+edge(146, 189). 	edge(189, 146).
+edge(146, 190). 	edge(190, 146).
+edge(147, 148). 	edge(148, 147).
+edge(147, 190). 	edge(190, 147).
+edge(147, 191). 	edge(191, 147).
+edge(148, 149). 	edge(149, 148).
+edge(148, 191). 	edge(191, 148).
+edge(148, 192). 	edge(192, 148).
+edge(148, 193). 	edge(193, 148).
+edge(149, 150). 	edge(150, 149).
+edge(149, 193). 	edge(193, 149).
+edge(149, 194). 	edge(194, 149).
+edge(150, 151). 	edge(151, 150).
+edge(150, 194). 	edge(194, 150).
+edge(150, 195). 	edge(195, 150).
+edge(151, 152). 	edge(152, 151).
+edge(151, 195). 	edge(195, 151).
+edge(151, 196). 	edge(196, 151).
+edge(152, 153). 	edge(153, 152).
+edge(152, 196). 	edge(196, 152).
+edge(152, 197). 	edge(197, 152).
+edge(153, 154). 	edge(154, 153).
+edge(153, 197). 	edge(197, 153).
+edge(153, 198). 	edge(198, 153).
+edge(154, 155). 	edge(155, 154).
+edge(154, 198). 	edge(198, 154).
+edge(154, 199). 	edge(199, 154).
+edge(155, 156). 	edge(156, 155).
+edge(155, 199). 	edge(199, 155).
+edge(155, 200). 	edge(200, 155).
+edge(155, 201). 	edge(201, 155).
+edge(156, 157). 	edge(157, 156).
+edge(156, 201). 	edge(201, 156).
+edge(156, 202). 	edge(202, 156).
+edge(157, 158). 	edge(158, 157).
+edge(157, 202). 	edge(202, 157).
+edge(157, 203). 	edge(203, 157).
+edge(158, 159). 	edge(159, 158).
+edge(158, 203). 	edge(203, 158).
+edge(158, 204). 	edge(204, 158).
+edge(159, 160). 	edge(160, 159).
+edge(159, 204). 	edge(204, 159).
+edge(159, 205). 	edge(205, 159).
+edge(160, 161). 	edge(161, 160).
+edge(160, 205). 	edge(205, 160).
+edge(160, 206). 	edge(206, 160).
+edge(161, 162). 	edge(162, 161).
+edge(161, 206). 	edge(206, 161).
+edge(161, 207). 	edge(207, 161).
+edge(162, 163). 	edge(163, 162).
+edge(162, 207). 	edge(207, 162).
+edge(162, 208). 	edge(208, 162).
+edge(162, 209). 	edge(209, 162).
+edge(163, 164). 	edge(164, 163).
+edge(163, 209). 	edge(209, 163).
+edge(163, 210). 	edge(210, 163).
+edge(164, 164). 	edge(164, 164).
+edge(164, 210). 	edge(210, 164).
+edge(164, 211). 	edge(211, 164).
+edge(164, 165). 	edge(165, 164).
+edge(165, 166). 	edge(166, 165).
+edge(165, 211). 	edge(211, 165).
+edge(165, 212). 	edge(212, 165).
+edge(166, 167). 	edge(167, 166).
+edge(166, 212). 	edge(212, 166).
+edge(166, 213). 	edge(213, 166).
+edge(167, 213). 	edge(213, 167).
+edge(167, 214). 	edge(214, 167).
+edge(169, 170). 	edge(170, 169).
+edge(169, 215). 	edge(215, 169).
+edge(170, 171). 	edge(171, 170).
+edge(170, 215). 	edge(215, 170).
+edge(170, 216). 	edge(216, 170).
+edge(171, 172). 	edge(172, 171).
+edge(171, 216). 	edge(216, 171).
+edge(171, 217). 	edge(217, 171).
+edge(172, 173). 	edge(173, 172).
+edge(172, 217). 	edge(217, 172).
+edge(172, 218). 	edge(218, 172).
+edge(173, 174). 	edge(174, 173).
+edge(173, 218). 	edge(218, 173).
+edge(173, 219). 	edge(219, 173).
+edge(174, 175). 	edge(175, 174).
+edge(174, 219). 	edge(219, 174).
+edge(174, 220). 	edge(220, 174).
+edge(175, 176). 	edge(176, 175).
+edge(175, 220). 	edge(220, 175).
+edge(175, 221). 	edge(221, 175).
+edge(176, 177). 	edge(177, 176).
+edge(176, 221). 	edge(221, 176).
+edge(176, 222). 	edge(222, 176).
+edge(176, 223). 	edge(223, 176).
+edge(177, 178). 	edge(178, 177).
+edge(177, 223). 	edge(223, 177).
+edge(177, 224). 	edge(224, 177).
+edge(178, 179). 	edge(179, 178).
+edge(178, 224). 	edge(224, 178).
+edge(178, 225). 	edge(225, 178).
+edge(179, 180). 	edge(180, 179).
+edge(179, 225). 	edge(225, 179).
+edge(179, 226). 	edge(226, 179).
+edge(180, 181). 	edge(181, 180).
+edge(180, 226). 	edge(226, 180).
+edge(180, 227). 	edge(227, 180).
+edge(181, 182). 	edge(182, 181).
+edge(181, 227). 	edge(227, 181).
+edge(181, 228). 	edge(228, 181).
+edge(182, 183). 	edge(183, 182).
+edge(182, 228). 	edge(228, 182).
+edge(182, 229). 	edge(229, 182).
+edge(183, 184). 	edge(184, 183).
+edge(183, 229). 	edge(229, 183).
+edge(183, 230). 	edge(230, 183).
+edge(184, 185). 	edge(185, 184).
+edge(184, 230). 	edge(230, 184).
+edge(184, 231). 	edge(231, 184).
+edge(184, 232). 	edge(232, 184).
+edge(185, 186). 	edge(186, 185).
+edge(185, 232). 	edge(232, 185).
+edge(185, 233). 	edge(233, 185).
+edge(186, 187). 	edge(187, 186).
+edge(186, 233). 	edge(233, 186).
+edge(186, 234). 	edge(234, 186).
+edge(187, 188). 	edge(188, 187).
+edge(187, 234). 	edge(234, 187).
+edge(187, 235). 	edge(235, 187).
+edge(188, 189). 	edge(189, 188).
+edge(188, 235). 	edge(235, 188).
+edge(188, 236). 	edge(236, 188).
+edge(189, 190). 	edge(190, 189).
+edge(189, 236). 	edge(236, 189).
+edge(189, 237). 	edge(237, 189).
+edge(190, 191). 	edge(191, 190).
+edge(190, 237). 	edge(237, 190).
+edge(190, 238). 	edge(238, 190).
+edge(191, 192). 	edge(192, 191).
+edge(191, 238). 	edge(238, 191).
+edge(191, 239). 	edge(239, 191).
+edge(192, 193). 	edge(193, 192).
+edge(192, 239). 	edge(239, 192).
+edge(192, 240). 	edge(240, 192).
+edge(192, 241). 	edge(241, 192).
+edge(193, 194). 	edge(194, 193).
+edge(193, 241). 	edge(241, 193).
+edge(193, 242). 	edge(242, 193).
+edge(194, 195). 	edge(195, 194).
+edge(194, 242). 	edge(242, 194).
+edge(194, 243). 	edge(243, 194).
+edge(195, 196). 	edge(196, 195).
+edge(195, 243). 	edge(243, 195).
+edge(195, 244). 	edge(244, 195).
+edge(196, 197). 	edge(197, 196).
+edge(196, 244). 	edge(244, 196).
+edge(196, 245). 	edge(245, 196).
+edge(197, 198). 	edge(198, 197).
+edge(197, 245). 	edge(245, 197).
+edge(197, 246). 	edge(246, 197).
+edge(198, 199). 	edge(199, 198).
+edge(198, 246). 	edge(246, 198).
+edge(198, 247). 	edge(247, 198).
+edge(199, 200). 	edge(200, 199).
+edge(199, 247). 	edge(247, 199).
+edge(199, 248). 	edge(248, 199).
+edge(200, 201). 	edge(201, 200).
+edge(200, 248). 	edge(248, 200).
+edge(200, 249). 	edge(249, 200).
+edge(200, 250). 	edge(250, 200).
+edge(201, 202). 	edge(202, 201).
+edge(201, 250). 	edge(250, 201).
+edge(201, 251). 	edge(251, 201).
+edge(202, 203). 	edge(203, 202).
+edge(202, 251). 	edge(251, 202).
+edge(202, 252). 	edge(252, 202).
+edge(203, 204). 	edge(204, 203).
+edge(203, 252). 	edge(252, 203).
+edge(203, 253). 	edge(253, 203).
+edge(204, 205). 	edge(205, 204).
+edge(204, 253). 	edge(253, 204).
+edge(204, 254). 	edge(254, 204).
+edge(205, 206). 	edge(206, 205).
+edge(205, 254). 	edge(254, 205).
+edge(205, 255). 	edge(255, 205).
+edge(206, 207). 	edge(207, 206).
+edge(206, 255). 	edge(255, 206).
+edge(206, 256). 	edge(256, 206).
+edge(207, 207). 	edge(207, 207).
+edge(207, 256). 	edge(256, 207).
+edge(207, 257). 	edge(257, 207).
+edge(207, 208). 	edge(208, 207).
+edge(208, 209). 	edge(209, 208).
+edge(208, 257). 	edge(257, 208).
+edge(208, 258). 	edge(258, 208).
+edge(208, 259). 	edge(259, 208).
+edge(209, 210). 	edge(210, 209).
+edge(209, 259). 	edge(259, 209).
+edge(209, 260). 	edge(260, 209).
+edge(210, 211). 	edge(211, 210).
+edge(210, 260). 	edge(260, 210).
+edge(210, 261). 	edge(261, 210).
+edge(211, 212). 	edge(212, 211).
+edge(211, 261). 	edge(261, 211).
+edge(211, 262). 	edge(262, 211).
+edge(212, 213). 	edge(213, 212).
+edge(212, 262). 	edge(262, 212).
+edge(212, 263). 	edge(263, 212).
+edge(213, 214). 	edge(214, 213).
+edge(213, 263). 	edge(263, 213).
+edge(213, 264). 	edge(264, 213).
+edge(214, 215). 	edge(215, 214).
+edge(214, 264). 	edge(264, 214).
+edge(215, 216). 	edge(216, 215).
+edge(215, 265). 	edge(265, 215).
+edge(215, 266). 	edge(266, 215).
+edge(216, 217). 	edge(217, 216).
+edge(216, 266). 	edge(266, 216).
+edge(216, 267). 	edge(267, 216).
+edge(217, 218). 	edge(218, 217).
+edge(217, 267). 	edge(267, 217).
+edge(217, 268). 	edge(268, 217).
+edge(218, 219). 	edge(219, 218).
+edge(218, 268). 	edge(268, 218).
+edge(218, 269). 	edge(269, 218).
+edge(219, 220). 	edge(220, 219).
+edge(219, 269). 	edge(269, 219).
+edge(219, 270). 	edge(270, 219).
+edge(220, 221). 	edge(221, 220).
+edge(220, 270). 	edge(270, 220).
+edge(220, 271). 	edge(271, 220).
+edge(221, 222). 	edge(222, 221).
+edge(221, 271). 	edge(271, 221).
+edge(221, 272). 	edge(272, 221).
+edge(222, 223). 	edge(223, 222).
+edge(222, 272). 	edge(272, 222).
+edge(222, 273). 	edge(273, 222).
+edge(222, 274). 	edge(274, 222).
+edge(223, 224). 	edge(224, 223).
+edge(223, 274). 	edge(274, 223).
+edge(223, 275). 	edge(275, 223).
+edge(224, 225). 	edge(225, 224).
+edge(224, 275). 	edge(275, 224).
+edge(224, 276). 	edge(276, 224).
+edge(225, 226). 	edge(226, 225).
+edge(225, 276). 	edge(276, 225).
+edge(225, 277). 	edge(277, 225).
+edge(226, 227). 	edge(227, 226).
+edge(226, 277). 	edge(277, 226).
+edge(226, 278). 	edge(278, 226).
+edge(227, 228). 	edge(228, 227).
+edge(227, 278). 	edge(278, 227).
+edge(227, 279). 	edge(279, 227).
+edge(228, 229). 	edge(229, 228).
+edge(228, 279). 	edge(279, 228).
+edge(228, 280). 	edge(280, 228).
+edge(229, 230). 	edge(230, 229).
+edge(229, 280). 	edge(280, 229).
+edge(229, 281). 	edge(281, 229).
+edge(230, 231). 	edge(231, 230).
+edge(230, 281). 	edge(281, 230).
+edge(230, 282). 	edge(282, 230).
+edge(231, 232). 	edge(232, 231).
+edge(231, 282). 	edge(282, 231).
+edge(231, 283). 	edge(283, 231).
+edge(231, 284). 	edge(284, 231).
+edge(232, 233). 	edge(233, 232).
+edge(232, 284). 	edge(284, 232).
+edge(232, 285). 	edge(285, 232).
+edge(233, 234). 	edge(234, 233).
+edge(233, 285). 	edge(285, 233).
+edge(233, 286). 	edge(286, 233).
+edge(234, 235). 	edge(235, 234).
+edge(234, 286). 	edge(286, 234).
+edge(234, 287). 	edge(287, 234).
+edge(235, 236). 	edge(236, 235).
+edge(235, 287). 	edge(287, 235).
+edge(235, 288). 	edge(288, 235).
+edge(236, 237). 	edge(237, 236).
+edge(236, 288). 	edge(288, 236).
+edge(236, 289). 	edge(289, 236).
+edge(237, 238). 	edge(238, 237).
+edge(237, 289). 	edge(289, 237).
+edge(237, 290). 	edge(290, 237).
+edge(238, 239). 	edge(239, 238).
+edge(238, 290). 	edge(290, 238).
+edge(238, 291). 	edge(291, 238).
+edge(239, 240). 	edge(240, 239).
+edge(239, 291). 	edge(291, 239).
+edge(239, 292). 	edge(292, 239).
+edge(240, 241). 	edge(241, 240).
+edge(240, 292). 	edge(292, 240).
+edge(240, 293). 	edge(293, 240).
+edge(240, 294). 	edge(294, 240).
+edge(241, 242). 	edge(242, 241).
+edge(241, 294). 	edge(294, 241).
+edge(241, 295). 	edge(295, 241).
+edge(242, 243). 	edge(243, 242).
+edge(242, 295). 	edge(295, 242).
+edge(242, 296). 	edge(296, 242).
+edge(243, 244). 	edge(244, 243).
+edge(243, 296). 	edge(296, 243).
+edge(243, 297). 	edge(297, 243).
+edge(244, 245). 	edge(245, 244).
+edge(244, 297). 	edge(297, 244).
+edge(244, 298). 	edge(298, 244).
+edge(245, 246). 	edge(246, 245).
+edge(245, 298). 	edge(298, 245).
+edge(245, 299). 	edge(299, 245).
+edge(246, 247). 	edge(247, 246).
+edge(246, 299). 	edge(299, 246).
+edge(246, 300). 	edge(300, 246).
+edge(247, 248). 	edge(248, 247).
+edge(247, 300). 	edge(300, 247).
+edge(247, 301). 	edge(301, 247).
+edge(248, 249). 	edge(249, 248).
+edge(248, 301). 	edge(301, 248).
+edge(248, 302). 	edge(302, 248).
+edge(249, 250). 	edge(250, 249).
+edge(249, 302). 	edge(302, 249).
+edge(249, 303). 	edge(303, 249).
+edge(249, 304). 	edge(304, 249).
+edge(250, 251). 	edge(251, 250).
+edge(250, 304). 	edge(304, 250).
+edge(250, 305). 	edge(305, 250).
+edge(251, 252). 	edge(252, 251).
+edge(251, 305). 	edge(305, 251).
+edge(251, 306). 	edge(306, 251).
+edge(252, 253). 	edge(253, 252).
+edge(252, 306). 	edge(306, 252).
+edge(252, 307). 	edge(307, 252).
+edge(253, 254). 	edge(254, 253).
+edge(253, 307). 	edge(307, 253).
+edge(253, 308). 	edge(308, 253).
+edge(254, 255). 	edge(255, 254).
+edge(254, 308). 	edge(308, 254).
+edge(254, 309). 	edge(309, 254).
+edge(255, 256). 	edge(256, 255).
+edge(255, 309). 	edge(309, 255).
+edge(255, 310). 	edge(310, 255).
+edge(256, 257). 	edge(257, 256).
+edge(256, 310). 	edge(310, 256).
+edge(256, 311). 	edge(311, 256).
+edge(257, 258). 	edge(258, 257).
+edge(257, 311). 	edge(311, 257).
+edge(257, 312). 	edge(312, 257).
+edge(258, 259). 	edge(259, 258).
+edge(258, 312). 	edge(312, 258).
+edge(258, 313). 	edge(313, 258).
+edge(258, 314). 	edge(314, 258).
+edge(259, 260). 	edge(260, 259).
+edge(259, 314). 	edge(314, 259).
+edge(259, 315). 	edge(315, 259).
+edge(260, 261). 	edge(261, 260).
+edge(260, 315). 	edge(315, 260).
+edge(260, 316). 	edge(316, 260).
+edge(261, 262). 	edge(262, 261).
+edge(261, 316). 	edge(316, 261).
+edge(261, 317). 	edge(317, 261).
+edge(262, 263). 	edge(263, 262).
+edge(262, 317). 	edge(317, 262).
+edge(262, 318). 	edge(318, 262).
+edge(262, 264). 	edge(264, 262).
+edge(263, 264). 	edge(264, 263).
+edge(263, 318). 	edge(318, 263).
+edge(263, 319). 	edge(319, 263).
+edge(264, 319). 	edge(319, 264).
+edge(265, 266). 	edge(266, 265).
+edge(265, 320). 	edge(320, 265).
+edge(266, 267). 	edge(267, 266).
+edge(266, 320). 	edge(320, 266).
+edge(266, 321). 	edge(321, 266).
+edge(267, 268). 	edge(268, 267).
+edge(267, 321). 	edge(321, 267).
+edge(267, 322). 	edge(322, 267).
+edge(268, 269). 	edge(269, 268).
+edge(268, 322). 	edge(322, 268).
+edge(268, 323). 	edge(323, 268).
+edge(269, 270). 	edge(270, 269).
+edge(269, 323). 	edge(323, 269).
+edge(269, 324). 	edge(324, 269).
+edge(270, 271). 	edge(271, 270).
+edge(270, 324). 	edge(324, 270).
+edge(270, 325). 	edge(325, 270).
+edge(271, 272). 	edge(272, 271).
+edge(271, 325). 	edge(325, 271).
+edge(271, 326). 	edge(326, 271).
+edge(272, 273). 	edge(273, 272).
+edge(272, 326). 	edge(326, 272).
+edge(272, 327). 	edge(327, 272).
+edge(273, 274). 	edge(274, 273).
+edge(273, 327). 	edge(327, 273).
+edge(273, 328). 	edge(328, 273).
+edge(274, 275). 	edge(275, 274).
+edge(274, 328). 	edge(328, 274).
+edge(274, 329). 	edge(329, 274).
+edge(275, 275). 	edge(275, 275).
+edge(275, 329). 	edge(329, 275).
+edge(275, 330). 	edge(330, 275).
+edge(275, 276). 	edge(276, 275).
+edge(276, 277). 	edge(277, 276).
+edge(276, 330). 	edge(330, 276).
+edge(276, 331). 	edge(331, 276).
+edge(277, 278). 	edge(278, 277).
+edge(277, 331). 	edge(331, 277).
+edge(277, 332). 	edge(332, 277).
+edge(278, 279). 	edge(279, 278).
+edge(278, 332). 	edge(332, 278).
+edge(278, 333). 	edge(333, 278).
+edge(279, 280). 	edge(280, 279).
+edge(279, 333). 	edge(333, 279).
+edge(279, 334). 	edge(334, 279).
+edge(280, 281). 	edge(281, 280).
+edge(280, 334). 	edge(334, 280).
+edge(280, 335). 	edge(335, 280).
+edge(281, 282). 	edge(282, 281).
+edge(281, 335). 	edge(335, 281).
+edge(281, 336). 	edge(336, 281).
+edge(282, 283). 	edge(283, 282).
+edge(282, 336). 	edge(336, 282).
+edge(282, 337). 	edge(337, 282).
+edge(283, 284). 	edge(284, 283).
+edge(283, 337). 	edge(337, 283).
+edge(283, 338). 	edge(338, 283).
+edge(283, 339). 	edge(339, 283).
+edge(284, 285). 	edge(285, 284).
+edge(284, 339). 	edge(339, 284).
+edge(284, 340). 	edge(340, 284).
+edge(285, 286). 	edge(286, 285).
+edge(285, 340). 	edge(340, 285).
+edge(285, 341). 	edge(341, 285).
+edge(286, 287). 	edge(287, 286).
+edge(286, 341). 	edge(341, 286).
+edge(286, 342). 	edge(342, 286).
+edge(287, 288). 	edge(288, 287).
+edge(287, 342). 	edge(342, 287).
+edge(287, 343). 	edge(343, 287).
+edge(288, 289). 	edge(289, 288).
+edge(288, 343). 	edge(343, 288).
+edge(288, 344). 	edge(344, 288).
+edge(289, 290). 	edge(290, 289).
+edge(289, 344). 	edge(344, 289).
+edge(289, 345). 	edge(345, 289).
+edge(290, 291). 	edge(291, 290).
+edge(290, 345). 	edge(345, 290).
+edge(290, 346). 	edge(346, 290).
+edge(291, 292). 	edge(292, 291).
+edge(291, 346). 	edge(346, 291).
+edge(291, 347). 	edge(347, 291).
+edge(292, 293). 	edge(293, 292).
+edge(292, 347). 	edge(347, 292).
+edge(292, 348). 	edge(348, 292).
+edge(293, 294). 	edge(294, 293).
+edge(293, 348). 	edge(348, 293).
+edge(293, 349). 	edge(349, 293).
+edge(293, 350). 	edge(350, 293).
+edge(294, 295). 	edge(295, 294).
+edge(294, 350). 	edge(350, 294).
+edge(294, 351). 	edge(351, 294).
+edge(295, 296). 	edge(296, 295).
+edge(295, 351). 	edge(351, 295).
+edge(295, 352). 	edge(352, 295).
+edge(296, 297). 	edge(297, 296).
+edge(296, 352). 	edge(352, 296).
+edge(296, 353). 	edge(353, 296).
+edge(297, 298). 	edge(298, 297).
+edge(297, 353). 	edge(353, 297).
+edge(297, 354). 	edge(354, 297).
+edge(298, 299). 	edge(299, 298).
+edge(298, 354). 	edge(354, 298).
+edge(298, 355). 	edge(355, 298).
+edge(299, 300). 	edge(300, 299).
+edge(299, 355). 	edge(355, 299).
+edge(299, 356). 	edge(356, 299).
+edge(300, 301). 	edge(301, 300).
+edge(300, 356). 	edge(356, 300).
+edge(300, 357). 	edge(357, 300).
+edge(301, 302). 	edge(302, 301).
+edge(301, 357). 	edge(357, 301).
+edge(301, 358). 	edge(358, 301).
+edge(302, 303). 	edge(303, 302).
+edge(302, 358). 	edge(358, 302).
+edge(302, 359). 	edge(359, 302).
+edge(303, 304). 	edge(304, 303).
+edge(303, 359). 	edge(359, 303).
+edge(303, 360). 	edge(360, 303).
+edge(303, 361). 	edge(361, 303).
+edge(304, 305). 	edge(305, 304).
+edge(304, 361). 	edge(361, 304).
+edge(304, 362). 	edge(362, 304).
+edge(305, 306). 	edge(306, 305).
+edge(305, 362). 	edge(362, 305).
+edge(305, 363). 	edge(363, 305).
+edge(306, 307). 	edge(307, 306).
+edge(306, 363). 	edge(363, 306).
+edge(306, 364). 	edge(364, 306).
+edge(307, 308). 	edge(308, 307).
+edge(307, 364). 	edge(364, 307).
+edge(307, 365). 	edge(365, 307).
+edge(308, 309). 	edge(309, 308).
+edge(308, 365). 	edge(365, 308).
+edge(308, 366). 	edge(366, 308).
+edge(309, 310). 	edge(310, 309).
+edge(309, 366). 	edge(366, 309).
+edge(309, 367). 	edge(367, 309).
+edge(310, 311). 	edge(311, 310).
+edge(310, 367). 	edge(367, 310).
+edge(310, 368). 	edge(368, 310).
+edge(311, 312). 	edge(312, 311).
+edge(311, 368). 	edge(368, 311).
+edge(311, 369). 	edge(369, 311).
+edge(312, 313). 	edge(313, 312).
+edge(312, 369). 	edge(369, 312).
+edge(312, 370). 	edge(370, 312).
+edge(313, 314). 	edge(314, 313).
+edge(313, 370). 	edge(370, 313).
+edge(313, 371). 	edge(371, 313).
+edge(313, 372). 	edge(372, 313).
+edge(314, 315). 	edge(315, 314).
+edge(314, 372). 	edge(372, 314).
+edge(314, 373). 	edge(373, 314).
+edge(315, 316). 	edge(316, 315).
+edge(315, 373). 	edge(373, 315).
+edge(315, 374). 	edge(374, 315).
+edge(316, 317). 	edge(317, 316).
+edge(316, 374). 	edge(374, 316).
+edge(316, 375). 	edge(375, 316).
+edge(317, 318). 	edge(318, 317).
+edge(317, 375). 	edge(375, 317).
+edge(317, 376). 	edge(376, 317).
+edge(318, 319). 	edge(319, 318).
+edge(318, 376). 	edge(376, 318).
+edge(318, 377). 	edge(377, 318).
+edge(319, 377). 	edge(377, 319).
+edge(320, 321). 	edge(321, 320).
+edge(321, 322). 	edge(322, 321).
+edge(322, 323). 	edge(323, 322).
+edge(323, 324). 	edge(324, 323).
+edge(324, 325). 	edge(325, 324).
+edge(325, 326). 	edge(326, 325).
+edge(326, 327). 	edge(327, 326).
+edge(328, 329). 	edge(329, 328).
+edge(329, 330). 	edge(330, 329).
+edge(330, 331). 	edge(331, 330).
+edge(331, 332). 	edge(332, 331).
+edge(332, 333). 	edge(333, 332).
+edge(333, 334). 	edge(334, 333).
+edge(334, 335). 	edge(335, 334).
+edge(335, 336). 	edge(336, 335).
+edge(336, 337). 	edge(337, 336).
+edge(337, 338). 	edge(338, 337).
+edge(338, 339). 	edge(339, 338).
+edge(339, 340). 	edge(340, 339).
+edge(340, 341). 	edge(341, 340).
+edge(341, 342). 	edge(342, 341).
+edge(342, 343). 	edge(343, 342).
+edge(343, 344). 	edge(344, 343).
+edge(344, 345). 	edge(345, 344).
+edge(345, 346). 	edge(346, 345).
+edge(346, 347). 	edge(347, 346).
+edge(347, 348). 	edge(348, 347).
+edge(348, 349). 	edge(349, 348).
+edge(349, 350). 	edge(350, 349).
+edge(350, 351). 	edge(351, 350).
+edge(351, 352). 	edge(352, 351).
+edge(352, 353). 	edge(353, 352).
+edge(353, 354). 	edge(354, 353).
+edge(354, 355). 	edge(355, 354).
+edge(355, 356). 	edge(356, 355).
+edge(356, 357). 	edge(357, 356).
+edge(357, 358). 	edge(358, 357).
+edge(358, 359). 	edge(359, 358).
+edge(359, 360). 	edge(360, 359).
+edge(360, 361). 	edge(361, 360).
+edge(361, 362). 	edge(362, 361).
+edge(362, 363). 	edge(363, 362).
+edge(363, 364). 	edge(364, 363).
+edge(364, 365). 	edge(365, 364).
+edge(365, 366). 	edge(366, 365).
+edge(366, 367). 	edge(367, 366).
+edge(367, 368). 	edge(368, 367).
+edge(368, 369). 	edge(369, 368).
+edge(369, 370). 	edge(370, 369).
+edge(370, 371). 	edge(371, 370).
+edge(371, 372). 	edge(372, 371).
+edge(372, 373). 	edge(373, 372).
+edge(373, 374). 	edge(374, 373).
+edge(374, 375). 	edge(375, 374).
+edge(375, 376). 	edge(376, 375).
+edge(376, 377). 	edge(377, 376).
\ No newline at end of file

python/lp graphs/bigger-leaf.lp

+%left two right numbering
+root(0).
+node(0..70).
+
+edge( 0, 1).
+edge( 1, 0).	edge( 1, 2).	edge( 1, 3).	edge( 1, 4).
+edge( 2, 1).	edge( 2, 3).	edge( 2, 5).	edge( 2, 6).
+edge( 3, 1).	edge( 3, 2).	edge( 3, 4).	edge( 3, 6).	edge( 3, 7).	edge( 3, 8).
+edge( 4, 1).	edge( 4, 3).	edge( 4, 8).	edge( 4, 9).
+edge( 5, 2).	edge( 5, 6).	edge( 5,10).	edge( 5,11).
+edge( 6, 2).	edge( 6, 3).	edge( 6, 5).	edge( 6, 7).	edge( 6,11).	edge( 6,12).
+edge( 7, 3).	edge( 7, 6).	edge( 7, 8).	edge( 7,12).	edge( 7,13).	edge( 7,14).
+edge( 8, 3).	edge( 8, 4).	edge( 8, 7).	edge( 8, 9).	edge( 8,14).	edge( 8,15).
+edge( 9, 4).	edge( 9, 8).	edge( 9,15).	edge( 9,16).
+edge(10, 5).	edge(10,11).	edge(10,17).	edge(10,18).
+edge(11, 5).	edge(11, 6).	edge(11,10).	edge(11,12).	edge(11,18).	edge(11,19).
+edge(12, 6).	edge(12, 7).	edge(12,11).	edge(12,13).	edge(12,19).	edge(12,20).
+edge(13, 7).	edge(13,12).	edge(13,14).	edge(13,20).	edge(13,21).	edge(13,22).
+edge(14, 7).	edge(14, 8).	edge(14,13).	edge(14,15).	edge(14,22).	edge(14,23).
+edge(15, 8).	edge(15, 9).	edge(15,14).	edge(15,16).	edge(15,23).	edge(15,24).
+edge(16, 9).	edge(16,15).	edge(16,24).	edge(16,25).
+edge(17,10).	edge(17,18).	edge(17,26).
+edge(18,10).	edge(18,11).	edge(18,17).	edge(18,19).	edge(18,26).	edge(18,27).
+edge(19,11).	edge(19,12).	edge(19,18).	edge(19,20).	edge(19,27).	edge(19,28).
+edge(20,12).	edge(20,13).	edge(20,19).	edge(20,21).	edge(20,28).	edge(20,29).
+edge(21,13).	edge(21,20).	edge(21,22).	edge(21,29).	edge(21,30).	edge(21,31).
+edge(22,13).	edge(22,14).	edge(22,21).	edge(22,23).	edge(22,31).	edge(22,32).
+edge(23,14).	edge(23,15).	edge(23,22).	edge(23,24).	edge(23,32).	edge(23,33).
+edge(24,15).	edge(24,16).	edge(24,23).	edge(24,25).	edge(24,33).	edge(24,34).
+edge(25,16).	edge(25,24).	edge(25,34).
+edge(26,17).	edge(26,18).	edge(26,27).	edge(26,35).
+edge(27,18).	edge(27,19).	edge(27,26).	edge(27,28).	edge(27,35).	edge(27,36).
+edge(28,19).	edge(28,20).	edge(28,27).	edge(28,29).	edge(28,36).	edge(28,37).
+edge(29,20).	edge(29,21).	edge(29,28).	edge(29,30).	edge(29,37).	edge(29,38).
+edge(30,21).	edge(30,29).	edge(30,31).	edge(30,38).	edge(30,39).	edge(30,40).
+edge(31,21).	edge(31,22).	edge(31,30).	edge(31,32).	edge(31,40).	edge(31,41).
+edge(32,22).	edge(32,23).	edge(32,31).	edge(32,33).	edge(32,41).	edge(32,42).
+edge(33,23).	edge(33,24).	edge(33,32).	edge(33,34).	edge(33,42).	edge(33,43).
+edge(34,24).	edge(34,25).	edge(34,33).	edge(34,43).
+edge(35,26).	edge(35,27).	edge(35,36).	edge(35,44).
+edge(36,27).	edge(36,28).	edge(36,35).	edge(36,37).	edge(36,44).	edge(36,45).
+edge(37,28).	edge(37,29).	edge(37,36).	edge(37,38).	edge(37,45).	edge(37,46).
+edge(38,29).	edge(38,30).	edge(38,37).	edge(38,39).	edge(38,46).	edge(38,47).
+edge(39,30).	edge(39,38).	edge(39,40).	edge(39,47).	edge(39,48).	edge(39,49).
+edge(40,30).	edge(40,31).	edge(40,39).	edge(40,41).	edge(40,49).	edge(40,50).
+edge(41,31).	edge(41,32).	edge(41,40).	edge(41,42).	edge(41,50).	edge(41,51).
+edge(42,32).	edge(42,33).	edge(42,41).	edge(42,43).	edge(42,51).	edge(42,52).
+edge(43,33).	edge(43,34).	edge(43,42).	edge(43,52).
+edge(44,35).	edge(44,36).	edge(44,45).	edge(44,53).
+edge(45,36).	edge(45,37).	edge(45,44).	edge(45,46).	edge(45,53).	edge(45,54).
+edge(46,37).	edge(46,38).	edge(46,45).	edge(46,47).	edge(46,54).	edge(46,55).
+edge(47,38).	edge(47,39).	edge(47,46).	edge(47,48).	edge(47,55).	edge(47,56).
+edge(48,39).	edge(48,47).	edge(48,49).	edge(48,56).	edge(48,57).	edge(48,58).
+edge(49,39).	edge(49,40).	edge(49,48).	edge(49,50).	edge(49,58).	edge(49,59).
+edge(50,40).	edge(50,41).	edge(50,49).	edge(50,51).	edge(50,59).	edge(50,60).
+edge(51,41).	edge(51,42).	edge(51,50).	edge(51,52).	edge(51,60).	edge(51,61).
+edge(52,42).	edge(52,43).	edge(52,51).	edge(52,61).
+
+edge(53,44).	edge(53,45).	edge(53,54).	edge(53,62).
+edge(54,45).	edge(54,46).	edge(54,53).	edge(54,55).	edge(54,62).	edge(54,63).
+edge(55,46).	edge(55,47).	edge(55,54).	edge(55,56).	edge(55,63).	edge(55,64).
+edge(56,47).	edge(56,48).	edge(56,55).	edge(56,57).	edge(56,64).	edge(56,65).
+edge(57,48).	edge(57,56).	edge(57,58).	edge(57,65).	edge(57,66).	edge(57,67).
+edge(58,48).	edge(58,49).	edge(58,57).	edge(58,59).	edge(58,67).	edge(58,68).
+edge(59,49).	edge(59,50).	edge(59,58).	edge(59,60).	edge(59,68).	edge(59,69).
+edge(60,50).	edge(60,51).	edge(60,59).	edge(60,61).	edge(60,69).	edge(60,70).
+edge(61,51).	edge(61,52).	edge(61,60).	edge(61,70).
+
+edge(62,53).	edge(62,54).	edge(62,63).
+edge(63,54).	edge(63,55).	edge(63,62).	edge(63,64).
+edge(64,55).	edge(64,56).	edge(64,63).	edge(64,65).
+edge(65,56).	edge(65,57).	edge(65,64).	edge(65,66).
+edge(66,57).	edge(66,65).	edge(66,67).
+edge(67,57).	edge(67,58).	edge(67,66).	edge(67,68).
+edge(68,58).	edge(68,59).	edge(68,67).	edge(68,69).
+edge(69,59).	edge(69,60).	edge(69,68).	edge(69,70).
+edge(70,60).	edge(70,61).	edge(70,69).
\ No newline at end of file

python/lp graphs/left-right-leaf.lp

+%new dummy_leaf for rooting
+root(0).
+node(0..61).
+
+edge( 0, 1).
+edge( 1, 0).	edge( 1, 2).	edge( 1, 3).	edge( 1, 4).
+edge( 2, 1).	edge( 2, 3).	edge( 2, 5).	edge( 2, 6).
+edge( 3, 1).	edge( 3, 2).	edge( 3, 4).	edge( 3, 6).	edge( 3, 7).	edge( 3, 8).
+edge( 4, 1).	edge( 4, 3).	edge( 4, 8).	edge( 4, 9).
+edge( 5, 2).	edge( 5, 6).	edge( 5,10).	edge( 5,11).
+edge( 6, 2).	edge( 6, 3).	edge( 6, 5).	edge( 6, 7).	edge( 6,11).	edge( 6,12).
+edge( 7, 3).	edge( 7, 6).	edge( 7, 8).	edge( 7,12).	edge( 7,13).	edge( 7,14).
+edge( 8, 3).	edge( 8, 4).	edge( 8, 7).	edge( 8, 9).	edge( 8,14).	edge( 8,15).
+edge( 9, 4).	edge( 9, 8).	edge( 9,15).	edge( 9,16).
+edge(10, 5).	edge(10,11).	edge(10,17).	edge(10,18).
+edge(11, 5).	edge(11, 6).	edge(11,10).	edge(11,12).	edge(11,18).	edge(11,19).
+edge(12, 6).	edge(12, 7).	edge(12,11).	edge(12,13).	edge(12,19).	edge(12,20).
+edge(13, 7).	edge(13,12).	edge(13,14).	edge(13,20).	edge(13,21).	edge(13,22).
+edge(14, 7).	edge(14, 8).	edge(14,13).	edge(14,15).	edge(14,22).	edge(14,23).
+edge(15, 8).	edge(15, 9).	edge(15,14).	edge(15,16).	edge(15,23).	edge(15,24).
+edge(16, 9).	edge(16,15).	edge(16,24).	edge(16,25).
+edge(17,10).	edge(17,18).	edge(17,26).
+edge(18,10).	edge(18,11).	edge(18,17).	edge(18,19).	edge(18,26).	edge(18,27).
+edge(19,11).	edge(19,12).	edge(19,18).	edge(19,20).	edge(19,27).	edge(19,28).
+edge(20,12).	edge(20,13).	edge(20,19).	edge(20,21).	edge(20,28).	edge(20,29).
+edge(21,13).	edge(21,20).	edge(21,22).	edge(21,29).	edge(21,30).	edge(21,31).
+edge(22,13).	edge(22,14).	edge(22,21).	edge(22,23).	edge(22,31).	edge(22,32).
+edge(23,14).	edge(23,15).	edge(23,22).	edge(23,24).	edge(23,32).	edge(23,33).
+edge(24,15).	edge(24,16).	edge(24,23).	edge(24,25).	edge(24,33).	edge(24,34).
+edge(25,16).	edge(25,24).	edge(25,34).
+edge(26,17).	edge(26,18).	edge(26,27).	edge(26,35).
+edge(27,18).	edge(27,19).	edge(27,26).	edge(27,28).	edge(27,35).	edge(27,36).
+edge(28,19).	edge(28,20).	edge(28,27).	edge(28,29).	edge(28,36).	edge(28,37).
+edge(29,20).	edge(29,21).	edge(29,28).	edge(29,30).	edge(29,37).	edge(29,38).
+edge(30,21).	edge(30,29).	edge(30,31).	edge(30,38).	edge(30,39).	edge(30,40).
+edge(31,21).	edge(31,22).	edge(31,30).	edge(31,32).	edge(31,40).	edge(31,41).
+edge(32,22).	edge(32,23).	edge(32,31).	edge(32,33).	edge(32,41).	edge(32,42).
+edge(33,23).	edge(33,24).	edge(33,32).	edge(33,34).	edge(33,42).	edge(33,43).
+edge(34,24).	edge(34,25).	edge(34,33).	edge(34,43).
+edge(35,26).	edge(35,27).	edge(35,36).	edge(35,44).
+edge(36,27).	edge(36,28).	edge(36,35).	edge(36,37).	edge(36,44).	edge(36,45).
+edge(37,28).	edge(37,29).	edge(37,36).	edge(37,38).	edge(37,45).	edge(37,46).
+edge(38,29).	edge(38,30).	edge(38,37).	edge(38,39).	edge(38,46).	edge(38,47).
+edge(39,30).	edge(39,38).	edge(39,40).	edge(39,47).	edge(39,48).	edge(39,49).
+edge(40,30).	edge(40,31).	edge(40,39).	edge(40,41).	edge(40,49).	edge(40,50).
+edge(41,31).	edge(41,32).	edge(41,40).	edge(41,42).	edge(41,50).	edge(41,51).
+edge(42,32).	edge(42,33).	edge(42,41).	edge(42,43).	edge(42,51).	edge(42,52).
+edge(43,33).	edge(43,34).	edge(43,42).	edge(43,52).
+edge(44,35).	edge(44,36).	edge(44,45).	edge(44,53).
+edge(45,36).	edge(45,37).	edge(45,44).	edge(45,46).	edge(45,53).	edge(45,54).
+edge(46,37).	edge(46,38).	edge(46,45).	edge(46,47).	edge(46,54).	edge(46,55).
+edge(47,38).	edge(47,39).	edge(47,46).	edge(47,48).	edge(47,55).	edge(47,56).
+edge(48,39).	edge(48,47).	edge(48,49).	edge(48,56).	edge(48,57).	edge(48,58).
+edge(49,39).	edge(49,40).	edge(49,48).	edge(49,50).	edge(49,58).	edge(49,59).
+edge(50,40).	edge(50,41).	edge(50,49).	edge(50,51).	edge(50,59).	edge(50,60).
+edge(51,41).	edge(51,42).	edge(51,50).	edge(51,52).	edge(51,60).	edge(51,61).
+edge(52,42).	edge(52,43).	edge(52,51).	edge(52,61).
+edge(53,44).	edge(53,45).	edge(53,54).
+edge(54,45).	edge(54,46).	edge(54,53).	edge(54,55).
+edge(55,46).	edge(55,47).	edge(55,54).	edge(55,56).
+edge(56,47).	edge(56,48).	edge(56,55).	edge(56,57).
+edge(57,48).	edge(57,56).	edge(57,58).
+edge(58,48).	edge(58,49).	edge(58,57).	edge(58,59).
+edge(59,49).	edge(59,50).	edge(59,58).	edge(59,60).
+edge(60,50).	edge(60,51).	edge(60,59).	edge(60,61).
+edge(61,51).	edge(61,52).	edge(61,60).
\ No newline at end of file

python/lp graphs/maple.lp

+root(0).
+node(0..117).
+edge( 0, 1).
+edge( 1, 0).	edge( 1, 2).	edge( 1, 3).	edge( 1, 4).
+edge( 2, 1).	edge( 2, 3).	edge( 2, 5).	edge( 2, 6).
+edge( 3, 1).	edge( 3, 2).	edge( 3, 4).	edge( 3, 6).	edge( 3, 7).	edge( 3, 8).
+edge( 4, 1).	edge( 4, 3).	edge( 4, 8).	edge( 4, 9).
+edge( 5, 2).	edge( 5, 6).	edge( 5,10).	edge( 5,11).
+edge( 6, 2).	edge( 6, 3).	edge( 6, 5).	edge( 6, 7).	edge( 6,11).	edge( 6,12).
+edge( 7, 3).	edge( 7, 6).	edge( 7, 8).	edge( 7,12).	edge( 7,13).	edge( 7,14).
+edge( 8, 3).	edge( 8, 4).	edge( 8, 7).	edge( 8, 9).	edge( 8,14).	edge( 8,15).
+edge( 9, 4).	edge( 9, 8).	edge( 9,15).	edge( 9,16).
+edge(10, 5).	edge(10,11).	edge(10,17).	edge(10,18).
+edge(11, 5).	edge(11, 6).	edge(11,10).	edge(11,12).	edge(11,18).	edge(11,19).
+edge(12, 6).	edge(12, 7).	edge(12,11).	edge(12,13).	edge(12,19).	edge(12,20).
+edge(13, 7).	edge(13,12).	edge(13,14).	edge(13,20).	edge(13,21).	edge(13,22).
+edge(14, 7).	edge(14, 8).	edge(14,13).	edge(14,15).	edge(14,22).	edge(14,23).
+edge(15, 8).	edge(15, 9).	edge(15,14).	edge(15,16).	edge(15,23).	edge(15,24).
+edge(16, 9).	edge(16,15).	edge(16,24).	edge(16,25).
+edge(17,16).	edge(17,18).	edge(17,26).	edge(17,27).
+edge(18,11).	edge(18,16).	edge(18,17).	edge(18,19).	edge(18,27).	edge(18,28).
+edge(19,11).	edge(19,12).	edge(19,18).	edge(19,20).	edge(19,28).	edge(19,29).
+edge(20,12).	edge(20,13).	edge(20,19).	edge(20,21).	edge(20,29).	edge(20,30).
+edge(21,13).	edge(21,20).	edge(21,22).	edge(21,30).	edge(21,31).	edge(21,32).
+edge(22,13).	edge(22,14).	edge(22,21).	edge(22,23).	edge(22,32).	edge(22,33).
+edge(23,14).	edge(23,15).	edge(23,22).	edge(23,24).	edge(23,33).	edge(23,34).
+edge(24,15).	edge(24,16).	edge(24,23).	edge(24,25).	edge(24,34).	edge(24,35).
+edge(25,16).	edge(25,24).	edge(25,35).	edge(25,36).
+edge(26,17).	edge(26,27).	edge(26,37).	edge(26,38).
+edge(27,17).	edge(27,18).	edge(27,26).	edge(27,28).	edge(27,38).	edge(27,39).
+edge(28,18).	edge(28,19).	edge(28,27).	edge(28,29).	edge(28,39).	edge(28,40).
+edge(29,19).	edge(29,20).	edge(29,28).	edge(29,30).	edge(29,40).	edge(29,41).
+edge(30,20).	edge(30,21).	edge(30,29).	edge(30,31).	edge(30,41).	edge(30,42).
+edge(31,21).	edge(31,30).	edge(31,32).	edge(31,42).	edge(31,43).	edge(31,44).
+edge(32,21).	edge(32,22).	edge(32,31).	edge(32,33).	edge(32,44).	edge(32,45).
+edge(33,22).	edge(33,23).	edge(33,32).	edge(33,34).	edge(33,45).	edge(33,46).
+edge(34,23).	edge(34,24).	edge(34,33).	edge(34,35).	edge(34,46).	edge(34,47).
+edge(35,24).	edge(35,25).	edge(35,34).	edge(35,36).	edge(35,47).	edge(35,48).
+edge(36,25).	edge(36,35).	edge(36,48).	edge(36,49).
+edge(37,26).	edge(37,38).	edge(37,50).	edge(37,51).
+edge(38,26).	edge(38,27).	edge(38,37).	edge(38,39).	edge(38,51).	edge(38,52).
+edge(39,27).	edge(39,28).	edge(39,38).	edge(39,40).	edge(39,52).	edge(39,53).
+edge(40,28).	edge(40,29).	edge(40,39).	edge(40,41).	edge(40,53).	edge(40,54).
+edge(41,29).	edge(41,30).	edge(41,40).	edge(41,42).	edge(41,54).	edge(41,55).
+edge(42,30).	edge(42,31).	edge(42,41).	edge(42,43).	edge(42,55).	edge(42,56).
+edge(43,31).	edge(43,42).	edge(43,44).	edge(43,56).	edge(43,57).	edge(43,58).
+edge(44,31).	edge(44,32).	edge(44,43).	edge(44,45).	edge(44,58).	edge(44,59).
+edge(45,32).	edge(45,33).	edge(45,44).	edge(45,46).	edge(45,59).	edge(45,60).
+edge(46,33).	edge(46,34).	edge(46,45).	edge(46,47).	edge(46,60).	edge(46,61).
+edge(47,34).	edge(47,35).	edge(47,46).	edge(47,48).	edge(47,61).	edge(47,62).
+edge(48,35).	edge(48,36).	edge(48,47).	edge(48,49).	edge(48,62).	edge(48,63).
+edge(49,36).	edge(49,48).	edge(49,63).	edge(49,64).
+edge(50,37).	edge(50,51).	edge(50,65).	edge(50,66).
+edge(51,37).	edge(51,38).	edge(51,50).	edge(51,52).	edge(51,66).	edge(51,67).
+edge(52,38).	edge(52,39).	edge(52,51).	edge(52,53).	edge(52,67).	edge(52,68).
+edge(53,39).	edge(53,40).	edge(53,52).	edge(53,54).	edge(53,68).	edge(53,69).
+edge(54,40).	edge(54,41).	edge(54,53).	edge(54,55).	edge(54,69).	edge(54,70).
+edge(55,41).	edge(55,42).	edge(55,54).	edge(55,56).	edge(55,70).	edge(55,71).
+edge(56,42).	edge(56,43).	edge(56,55).	edge(56,57).	edge(56,71).	edge(56,72).
+edge(57,43).	edge(57,56).	edge(57,58).	edge(57,72).	edge(57,73).	edge(57,74).
+edge(58,43).	edge(58,44).	edge(58,57).	edge(58,59).	edge(58,74).	edge(58,75).
+edge(59,44).	edge(59,45).	edge(59,58).	edge(59,60).	edge(59,75).	edge(59,76).
+edge(60,45).	edge(60,46).	edge(60,59).	edge(60,61).	edge(60,76).	edge(60,77).
+edge(61,46).	edge(61,47).	edge(61,60).	edge(61,62).	edge(61,77).	edge(61,78).
+edge(62,47).	edge(62,48).	edge(62,61).	edge(62,63).	edge(62,78).	edge(62,79).
+edge(63,48).	edge(63,49).	edge(63,62).	edge(63,64).	edge(63,79).	edge(63,80).
+edge(64,49).	edge(64,63).	edge(64,80).	edge(64,81).
+edge(65,50).	edge(65,66).	edge(65,82).	edge(65,83).
+edge(66,50).	edge(66,51).	edge(66,65).	edge(66,67).	edge(66,83).	edge(66,84).
+edge(67,51).	edge(67,52).	edge(67,66).	edge(67,68).	edge(67,84).	edge(67,85).
+edge(68,52).	edge(68,53).	edge(68,67).	edge(68,69).	edge(68,85).	edge(68,86).
+edge(69,53).	edge(69,54).	edge(69,68).	edge(69,70).	edge(69,86).	edge(69,87).
+edge(70,54).	edge(70,55).	edge(70,69).	edge(70,71).	edge(70,87).	edge(70,88).
+edge(71,55).	edge(71,56).	edge(71,70).	edge(71,72).	edge(71,88).	edge(71,89).
+edge(72,56).	edge(72,57).	edge(72,71).	edge(72,73).	edge(72,89).	edge(72,90).
+edge(73,57).	edge(73,72).	edge(73,74).	edge(73,90).	edge(73,91).	edge(73,92).
+edge(74,57).	edge(74,58).	edge(74,73).	edge(74,75).	edge(74,92).	edge(74,93).
+edge(75,58).	edge(75,59).	edge(75,74).	edge(75,76).	edge(75,93).	edge(75,94).
+edge(76,59).	edge(76,60).	edge(76,75).	edge(76,77).	edge(76,94).	edge(76,95).
+edge(77,60).	edge(77,61).	edge(77,76).	edge(77,78).	edge(77,95).	edge(77,96).
+edge(78,61).	edge(78,62).	edge(78,77).	edge(78,79).	edge(78,96).	edge(78,97).
+edge(79,62).	edge(79,63).	edge(79,78).	edge(79,80).	edge(79,97).	edge(79,98).
+edge(80,63).	edge(80,64).	edge(80,79).	edge(80,81).	edge(80,98).	edge(80,99).
+edge(81,64).	edge(81,80).	edge(81,99).	edge(81,100).
+edge(82,65).	edge(82,83).	edge(82,101).
+edge(83,65).	edge(83,66).	edge(83,82).	edge(83,84).	edge(83,101).	edge(83,102).
+edge(84,66).	edge(84,67).	edge(84,83).	edge(84,85).	edge(84,102).	edge(84,103).
+edge(85,67).	edge(85,68).	edge(85,84).	edge(85,86).	edge(85,103).	edge(85,104).
+edge(86,68).	edge(86,69).	edge(86,85).	edge(86,87).	edge(86,104).	edge(86,105).
+edge(87,69).	edge(87,70).	edge(87,86).	edge(87,105).
+edge(88,70).	edge(88,71).	edge(88,89).	edge(88,106).
+edge(89,71).	edge(89,72).	edge(89,88).	edge(89,90).	edge(89,106).	edge(89,107).
+edge(90,72).	edge(90,73).	edge(90,89).	edge(90,91).	edge(90,107).	edge(90,108).
+edge(91,73).	edge(91,90).	edge(91,92).	edge(91,108).	edge(91,109).	edge(91,110).
+edge(92,73).	edge(92,74).	edge(92,91).	edge(92,93).	edge(92,110).	edge(92,111).
+edge(93,74).	edge(93,75).	edge(93,92).	edge(93,94).	edge(93,111).	edge(93,112).
+edge(94,75).	edge(94,76).	edge(94,93).	edge(94,112).
+edge(95,76).	edge(95,77).	edge(95,96).	edge(95,113).
+edge(96,77).	edge(96,78).	edge(96,95).	edge(96,97).	edge(96,113).	edge(96,114).
+edge(97,78).	edge(97,79).	edge(97,96).	edge(97,98).	edge(97,114).	edge(97,115).
+edge(98,79).	edge(98,80).	edge(98,97).	edge(98,99).	edge(98,115).	edge(98,116).
+edge(99,80).	edge(99,81).	edge(99,98).	edge(99,100).	edge(99,116).	edge(99,117).
+edge(100,81).	edge(100,99).	edge(100,117).
+edge(101,82).	edge(101,83).	edge(101,102).
+edge(102,83).	edge(102,84).	edge(102,101).	edge(102,103).
+edge(103,84).	edge(103,85).	edge(103,102).	edge(103,104).
+edge(104,85).	edge(104,86).	edge(104,103).	edge(104,105).
+edge(105,86).	edge(105,87).	edge(105,104).
+edge(106,88).	edge(106,89).	edge(106,107).
+edge(107,89).	edge(107,90).	edge(107,106).	edge(107,108).
+edge(108,90).	edge(108,91).	edge(108,107).	edge(108,109).
+edge(109,91).	edge(109,108).	edge(109,110).
+edge(110,91).	edge(110,92).	edge(110,109).	edge(110,111).
+edge(111,92).	edge(111,93).	edge(111,110).	edge(111,112).
+edge(112,93).	edge(112,94).	edge(112,111).
+edge(113,95).	edge(113,96).	edge(113,114).
+edge(114,96).	edge(114,97).	edge(114,113).	edge(114,115).
+edge(115,97).	edge(115,98).	edge(115,114).
+edge(116,98).	edge(116,99).	edge(116,117).
+edge(117,99).	edge(117,100).	edge(117,116).
\ No newline at end of file

python/lp graphs/middle-leaf.lp

+%new dummy_leaf for rooting
+node(0..61).
+root(0).
+edge( 0, 1).
+edge( 1, 0).	edge( 1, 2).	edge( 1, 3).	edge( 1, 4).
+edge( 2, 1).	edge( 2, 3).	edge( 2, 4).	edge( 2, 5).	edge( 2, 6).	edge( 2, 8).
+edge( 3, 1).	edge( 3, 2).	edge( 3, 6).	edge( 3, 7).
+edge( 4, 1).	edge( 4, 2).	edge( 4, 8).	edge( 4, 9).
+edge( 5, 2).	edge( 5, 6).	edge( 5, 8).	edge( 5,10).	edge( 5,11).	edge( 5,14).
+edge( 6, 2).	edge( 6, 3).	edge( 6, 5).	edge( 6, 7).	edge( 6,11).	edge( 6,12).
+edge( 7, 3).	edge( 7, 6).	edge( 7,12).	edge( 7,13).
+edge( 8, 2).	edge( 8, 4).	edge( 8, 5).	edge( 8, 9).	edge( 8,14).	edge( 8,15).
+edge( 9, 4).	edge( 9, 8).	edge( 9,15).	edge( 9,16).
+edge(10, 5).	edge(10,11).	edge(10,14).	edge(10,17).	edge(10,18).	edge(10,22).
+edge(11, 5).	edge(11, 6).	edge(11,10).	edge(11,12).	edge(11,18).	edge(11,19).
+edge(12, 6).	edge(12, 7).	edge(12,11).	edge(12,13).	edge(12,19).	edge(12,20).
+edge(13, 7).	edge(13,12).	edge(13,20).	edge(13,21).
+edge(14, 5).	edge(14, 8).	edge(14,10).	edge(14,15).	edge(14,22).	edge(14,23).
+edge(15, 8).	edge(15, 9).	edge(15,14).	edge(15,16).	edge(15,23).	edge(15,24).
+edge(16, 9).	edge(16,15).	edge(16,24).	edge(16,25).
+edge(17,10).	edge(17,18).	edge(17,22).	edge(17,26).	edge(17,27).	edge(17,31).
+edge(18,10).	edge(18,11).	edge(18,17).	edge(18,19).	edge(18,27).	edge(18,28).
+edge(19,11).	edge(19,12).	edge(19,18).	edge(19,20).	edge(19,28).	edge(19,29).
+edge(20,12).	edge(20,13).	edge(20,19).	edge(20,21).	edge(20,29).	edge(20,30).
+edge(21,13).	edge(21,20).	edge(21,30).
+edge(22,10).	edge(22,14).	edge(22,17).	edge(22,23).	edge(22,31).	edge(22,32).
+edge(23,14).	edge(23,15).	edge(23,22).	edge(23,24).	edge(23,32).	edge(23,33).
+edge(24,15).	edge(24,16).	edge(24,23).	edge(24,25).	edge(24,33).	edge(24,34).
+edge(25,16).	edge(25,24).	edge(25,34).
+edge(26,17).	edge(26,27).	edge(26,31).	edge(26,35).	edge(26,36).	edge(26,40).
+edge(27,17).	edge(27,18).	edge(27,26).	edge(27,28).	edge(27,36).	edge(27,37).
+edge(28,18).	edge(28,19).	edge(28,27).	edge(28,29).	edge(28,37).	edge(28,38).
+edge(29,19).	edge(29,20).	edge(29,28).	edge(29,30).	edge(29,38).	edge(29,39).
+edge(30,20).	edge(30,21).	edge(30,29).	edge(30,39).
+edge(31,17).	edge(31,22).	edge(31,26).	edge(31,32).	edge(31,40).	edge(31,41).
+edge(32,22).	edge(32,23).	edge(32,31).	edge(32,33).	edge(32,41).	edge(32,42).
+edge(33,23).	edge(33,24).	edge(33,32).	edge(33,34).	edge(33,42).	edge(33,43).
+edge(34,24).	edge(34,25).	edge(34,33).	edge(34,43).
+edge(35,26).	edge(35,36).	edge(35,40).	edge(35,44).	edge(35,45).	edge(35,49).
+edge(36,26).	edge(36,27).	edge(36,35).	edge(36,37).	edge(36,45).	edge(36,46).
+edge(37,27).	edge(37,28).	edge(37,36).	edge(37,38).	edge(37,46).	edge(37,47).
+edge(38,28).	edge(38,29).	edge(38,37).	edge(38,39).	edge(38,47).	edge(38,48).
+edge(39,29).	edge(39,30).	edge(39,38).	edge(39,48).
+edge(40,26).	edge(40,31).	edge(40,35).	edge(40,41).	edge(40,49).	edge(40,50).
+edge(41,31).	edge(41,32).	edge(41,40).	edge(41,42).	edge(41,50).	edge(41,51).
+edge(42,32).	edge(42,33).	edge(42,41).	edge(42,43).	edge(42,51).	edge(42,52).
+edge(43,33).	edge(43,34).	edge(43,42).	edge(43,52).
+edge(44,35).	edge(44,45).	edge(44,49).	edge(44,53).	edge(44,54).	edge(44,58).
+edge(45,35).	edge(45,36).	edge(45,44).	edge(45,46).	edge(45,54).	edge(45,55).
+edge(46,36).	edge(46,37).	edge(46,45).	edge(46,47).	edge(46,55).	edge(46,56).
+edge(47,37).	edge(47,38).	edge(47,46).	edge(47,48).	edge(47,56).	edge(47,57).
+edge(48,38).	edge(48,39).	edge(48,47).	edge(48,57).
+edge(49,35).	edge(49,40).	edge(49,44).	edge(49,50).	edge(49,58).	edge(49,59).
+edge(50,40).	edge(50,41).	edge(50,49).	edge(50,51).	edge(50,59).	edge(50,60).
+edge(51,41).	edge(51,42).	edge(51,50).	edge(51,52).	edge(51,60).	edge(51,61).
+edge(52,42).	edge(52,43).	edge(52,51).	edge(52,61).
+edge(53,44).	edge(53,54).	edge(53,58).
+edge(54,44).	edge(54,45).	edge(54,53).	edge(54,55).
+edge(55,45).	edge(55,46).	edge(55,54).	edge(55,56).
+edge(56,46).	edge(56,47).	edge(56,55).	edge(56,57).
+edge(57,47).	edge(57,48).	edge(57,56).
+edge(58,44).	edge(58,49).	edge(58,53).	edge(58,59).
+edge(59,49).	edge(59,50).	edge(59,58).	edge(59,60).
+edge(60,50).	edge(60,51).	edge(60,59).	edge(60,61).
+edge(61,51).	edge(61,52).	edge(61,60).
\ No newline at end of file

python/lp graphs/rippedleaf.lp

+%left two right numbering
+root(0).
+node(0..70).
+
+edge( 0, 1).
+edge( 1, 0).	edge( 1, 2).	edge( 1, 3).	edge( 1, 4).
+edge( 2, 1).	edge( 2, 3).	edge( 2, 5).	edge( 2, 6).
+edge( 3, 1).	edge( 3, 2).	edge( 3, 4).	edge( 3, 6).	edge( 3, 7).	edge( 3, 8).
+edge( 4, 1).	edge( 4, 3).	edge( 4, 8).	edge( 4, 9).
+edge( 5, 2).	edge( 5, 6).	edge( 5,10).	edge( 5,11).
+edge( 6, 2).	edge( 6, 3).	edge( 6, 5).	edge( 6, 7).	edge( 6,11).	edge( 6,12).
+edge( 7, 3).	edge( 7, 6).	edge( 7, 8).	edge( 7,12).	edge( 7,13).	edge( 7,14).
+edge( 8, 3).	edge( 8, 4).	edge( 8, 7).	edge( 8, 9).	edge( 8,14).	edge( 8,15).
+edge( 9, 4).	edge( 9, 8).	edge( 9,15).	edge( 9,16).
+edge(10, 5).	edge(10,11).	edge(10,17).	edge(10,18).
+edge(11, 5).	edge(11, 6).	edge(11,10).	edge(11,12).	edge(11,18).	edge(11,19).
+edge(12, 6).	edge(12, 7).	edge(12,11).	edge(12,13).	edge(12,19).	edge(12,20).
+edge(13, 7).	edge(13,12).	edge(13,14).	edge(13,20).	edge(13,21).	edge(13,22).
+edge(14, 7).	edge(14, 8).	edge(14,13).	edge(14,15).	edge(14,22).	edge(14,23).
+edge(15, 8).	edge(15, 9).	edge(15,14).	edge(15,16).	edge(15,23).	edge(15,24).
+edge(16, 9).	edge(16,15).	edge(16,24).	edge(16,25).
+edge(17,10).	edge(17,18).	edge(17,26).
+edge(18,10).	edge(18,11).	edge(18,17).	edge(18,19).	edge(18,26).	edge(18,27).
+edge(19,11).	edge(19,12).	edge(19,18).	edge(19,20).	edge(19,27).	edge(19,28).
+edge(20,12).	edge(20,13).	edge(20,19).	edge(20,21).	edge(20,28).	edge(20,29).
+edge(21,13).	edge(21,20).	edge(21,22).	edge(21,29).	edge(21,30).	edge(21,31).
+edge(22,13).	edge(22,14).	edge(22,21).	edge(22,23).	edge(22,31).	edge(22,32).
+edge(23,14).	edge(23,15).	edge(23,22).	edge(23,24).	edge(23,32).	edge(23,33).
+edge(24,15).	edge(24,16).	edge(24,23).	edge(24,25).	edge(24,33).	edge(24,34).
+edge(25,16).	edge(25,24).	edge(25,34).
+edge(26,17).	edge(26,18).	edge(26,27).	edge(26,35).
+edge(27,18).	edge(27,19).	edge(27,26).	edge(27,28).	edge(27,35).	edge(27,36).
+edge(28,19).	edge(28,20).	edge(28,27).	edge(28,29).	edge(28,36).	edge(28,37).
+edge(29,20).	edge(29,21).	edge(29,28).	edge(29,30).	edge(29,37).	edge(29,38).
+edge(30,21).	edge(30,29).	edge(30,31).	edge(30,38).	edge(30,39).	edge(30,40).
+edge(31,21).	edge(31,22).	edge(31,30).	edge(31,32).	edge(31,40).	edge(31,41).
+edge(32,22).	edge(32,23).	edge(32,31).	edge(32,33).	edge(32,41).	edge(32,42).
+edge(33,23).	edge(33,24).	edge(33,32).	edge(33,34).	edge(33,42).	edge(33,43).
+edge(34,24).	edge(34,25).	edge(34,33).	edge(34,43).
+edge(35,26).	edge(35,27).	edge(35,36).	edge(35,44).
+edge(36,27).	edge(36,28).	edge(36,35).	edge(36,37).	edge(36,44).	edge(36,45).
+edge(37,28).	edge(37,29).	edge(37,36).	edge(37,38).	edge(37,45).	edge(37,46).
+edge(38,29).	edge(38,30).	edge(38,37).	edge(38,39).	edge(38,46).	edge(38,47).
+edge(39,30).	edge(39,38).	edge(39,40).	edge(39,47).	edge(39,48).	edge(39,49).
+edge(40,30).	edge(40,31).	edge(40,39).	edge(40,41).	edge(40,49).	
+edge(41,31).	edge(41,32).	edge(41,40).	edge(41,42).	
+edge(42,32).	edge(42,33).	edge(42,41).	edge(42,43).	
+edge(43,33).	edge(43,34).	edge(43,42).	
+edge(44,35).	edge(44,36).	edge(44,45).	edge(44,53).
+edge(45,36).	edge(45,37).	edge(45,44).	edge(45,46).	edge(45,53).	edge(45,54).
+edge(46,37).	edge(46,38).	edge(46,45).	edge(46,47).	edge(46,54).	edge(46,55).
+edge(47,38).	edge(47,39).	edge(47,46).	edge(47,48).	edge(47,55).	edge(47,56).
+edge(48,39).	edge(48,47).	edge(48,49).	edge(48,56).
+edge(49,39).	edge(49,40).	edge(49,48).
+edge(50,51).	edge(50,59).	edge(50,60).
+edge(51,50).	edge(51,52).	edge(51,60).	edge(51,61).
+edge(52,51).	edge(52,61).
+
+edge(53,44).	edge(53,45).	edge(53,54).	edge(53,62).
+edge(54,45).	edge(54,46).	edge(54,53).	edge(54,55).	edge(54,62).	edge(54,63).
+edge(55,46).	edge(55,47).	edge(55,54).	edge(55,56).	edge(55,63).	edge(55,64).
+edge(56,47).	edge(56,48).	edge(56,55).	edge(56,64).	
+edge(57,58).	edge(57,65).	edge(57,66).	edge(57,67).
+edge(58,57).	edge(58,59).	edge(58,67).	edge(58,68).
+edge(59,50).	edge(59,58).	edge(59,60).	edge(59,68).	edge(59,69).
+edge(60,50).	edge(60,51).	edge(60,59).	edge(60,61).	edge(60,60).	edge(60,70).
+edge(61,51).	edge(61,52).	edge(61,60).	edge(61,70).
+
+edge(62,53).	edge(62,54).	edge(62,63).
+edge(63,54).	edge(63,55).	edge(63,62).	edge(63,64).
+edge(64,55).	edge(64,56).	edge(64,63).	
+edge(65,57).	edge(65,66).
+edge(66,57).	edge(66,65).	edge(66,67).
+edge(67,57).	edge(67,58).	edge(67,66).	edge(67,68).
+edge(68,58).	edge(68,59).	edge(68,67).	edge(68,69).
+edge(69,59).	edge(69,60).	edge(69,68).	edge(69,70).
+edge(70,60).	edge(70,61).	edge(70,69).
\ No newline at end of file

python/lp graphs/small-leaf.lp

+root(0).
+node(0..14).
+edge( 0, 1).
+edge( 1, 0).	edge( 1, 2).	edge( 1, 3).	edge( 1, 4).
+edge( 2, 1).	edge( 2, 3).	edge( 2, 5).	edge( 2, 6).
+edge( 3, 1).	edge( 3, 2).	edge( 3, 4).	edge( 3, 6).	edge( 3, 7). 	edge( 3, 8).
+edge( 4, 1).	edge( 4, 3).	edge( 4, 8).	edge( 4, 9).
+edge( 5, 2).	edge( 5, 6).	edge( 5,10).
+edge( 6, 2).	edge( 6, 3).	edge( 6, 5).	edge( 6, 7).	edge( 6,10).	edge( 6,11).
+edge( 7, 3).	edge( 7, 6).	edge( 7, 8).	edge( 7,11).	edge( 7,12).	edge( 7,13).
+edge( 8, 3).	edge( 8, 4).	edge( 8, 7).	edge( 8, 9).	edge( 8,13).	edge( 8,14).
+edge( 9, 4).	edge( 9, 8).	edge( 9,14).
+edge(10, 5).	edge(10, 6).	edge(10,11).
+edge(11, 6).	edge(11, 7).	edge(11,10).	edge(11,12).
+edge(12, 7).	edge(12,11).	edge(12,13).
+edge(13, 7).	edge(13, 8).	edge(13,12).	edge(13,14).
+edge(14, 8).	edge(14, 9).	edge(14,13).