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