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