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