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