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