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