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