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