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