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