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