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