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