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