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