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