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