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