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