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