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