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