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