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