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