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