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