edge(1,2).
edge(1,3).
edge(1,4).
edge(1,5).
edge(1,6).
edge(7,8).
edge(5,9).
edge(5,10).
edge(5,6).
edge(11,12).
edge(11,13).
edge(11,14).
edge(11,15).
edge(11,16).
edge(11,17).
edge(11,18).
edge(11,19).
edge(11,20).
edge(11,21).
edge(11,22).
edge(11,23).
edge(24,25).
edge(24,8).
edge(24,26).
edge(27,23).
edge(28,29).
edge(30,31).
edge(32,33).
edge(32,34).
edge(32,35).
edge(36,15).
edge(36,35).
edge(37,16).
edge(37,38).
edge(39,38).
edge(40,41).
edge(40,42).
edge(40,43).
edge(40,44).
edge(40,8).
edge(19,45).
edge(19,46).
edge(19,47).
edge(19,48).
edge(19,43).
edge(19,49).
edge(19,44).
edge(19,8).
edge(50,13).
edge(50,51).
edge(50,52).
edge(50,53).
edge(50,54).
edge(50,55).
edge(50,56).
edge(57,58).
edge(57,41).
edge(59,60).
edge(51,13).
edge(51,31).
edge(51,61).
edge(51,23).
edge(12,2).
edge(12,13).
edge(12,29).
edge(12,17).
edge(12,8).
edge(12,35).
edge(62,2).
edge(62,22).
edge(47,14).
edge(47,44).
edge(47,63).
edge(47,64).
edge(45,65).
edge(45,46).
edge(45,48).
edge(45,43).
edge(45,66).
edge(45,67).
edge(45,49).
edge(45,44).
edge(45,8).
edge(66,46).
edge(66,48).
edge(66,8).
edge(68,29).
edge(68,69).
edge(68,49).
edge(68,44).
edge(68,23).
edge(38,16).
edge(70,13).
edge(70,22).
edge(70,71).
edge(72,73).
edge(42,41).
edge(42,8).
edge(8,46).
edge(8,48).
edge(8,41).
edge(8,74).
edge(8,29).
edge(8,75).
edge(8,16).
edge(8,43).
edge(8,76).
edge(20,46).
edge(77,60).
edge(78,4).
edge(17,2).
edge(17,13).
edge(17,44).
edge(13,2).
edge(13,41).
edge(13,79).
edge(13,80).
edge(13,81).
edge(13,22).
edge(82,83).
edge(84,23).
edge(49,2).
edge(49,31).
edge(49,85).
edge(49,23).
edge(86,6).
edge(41,74).
edge(41,87).
edge(41,88).
edge(41,89).
edge(14,46).
edge(14,64).
edge(21,48).
edge(21,90).
edge(21,22).
edge(44,2).
edge(44,46).
edge(91,46).
edge(61,3).
edge(61,22).
edge(92,18).
edge(6,22).
edge(93,31).
edge(93,88).
edge(94,43).
edge(75,73).
edge(3,2).
edge(54,31).
edge(35,95).
edge(35,15).
edge(35,60).
edge(35,96).
edge(35,23).
edge(83,63).
edge(31,74).
edge(9,4).
edge(96,15).
edge(25,97).
edge(22,29).
edge(22,80).
edge(22,23).
edge(23,43).
edge(2,98).
edge(2,73).
edge(80,63).
edge(99,73).
edge(99,63).
edge(74,43).
edge(90,18).
edge(76,43).
edge(100,60).
edge(46,95).
edge(46,48).
edge(46,43).
edge(15,60).
edge(43,48).
edge(29,95).
first(1).
last(100).
