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