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