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