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