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