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