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