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