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