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