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