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