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