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