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