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