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