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