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