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