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