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