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