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