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