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