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