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