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