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