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