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