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