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