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