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