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