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