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