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