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