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