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