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