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