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