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