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