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