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