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