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