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