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