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