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