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