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