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