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