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