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