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