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