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