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