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