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