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