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