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