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