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