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