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