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