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