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