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