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