edge(1,2).
edge(1,3).
edge(1,4).
edge(1,5).
edge(6,7).
edge(6,8).
edge(6,9).
edge(6,10).
edge(6,11).
edge(6,12).
edge(6,13).
edge(6,14).
edge(15,16).
edge(17,18).
edge(17,19).
edge(17,20).
edge(17,21).
edge(17,22).
edge(23,24).
edge(23,2).
edge(23,25).
edge(23,26).
edge(23,27).
edge(23,28).
edge(23,29).
edge(23,30).
edge(23,14).
edge(31,32).
edge(31,33).
edge(31,34).
edge(35,7).
edge(35,36).
edge(35,37).
edge(35,38).
edge(35,26).
edge(35,39).
edge(35,40).
edge(35,41).
edge(35,42).
edge(35,43).
edge(35,44).
edge(35,45).
edge(35,46).
edge(35,47).
edge(35,14).
edge(48,18).
edge(48,49).
edge(48,50).
edge(48,51).
edge(48,52).
edge(48,53).
edge(54,55).
edge(54,56).
edge(54,57).
edge(56,8).
edge(56,58).
edge(56,12).
edge(56,59).
edge(56,60).
edge(56,61).
edge(56,62).
edge(56,43).
edge(56,46).
edge(8,63).
edge(8,26).
edge(8,64).
edge(8,42).
edge(65,66).
edge(67,68).
edge(69,26).
edge(69,70).
edge(68,71).
edge(72,73).
edge(74,75).
edge(74,76).
edge(77,39).
edge(77,78).
edge(77,41).
edge(77,79).
edge(77,80).
edge(77,81).
edge(77,45).
edge(77,82).
edge(77,83).
edge(84,9).
edge(84,85).
edge(76,86).
edge(76,26).
edge(76,10).
edge(76,70).
edge(76,87).
edge(76,88).
edge(71,89).
edge(71,90).
edge(71,91).
edge(51,18).
edge(51,52).
edge(51,53).
edge(22,92).
edge(93,50).
edge(93,94).
edge(93,11).
edge(93,95).
edge(93,96).
edge(93,97).
edge(12,11).
edge(12,98).
edge(12,40).
edge(12,41).
edge(12,99).
edge(12,100).
edge(12,43).
edge(12,45).
edge(86,75).
edge(86,26).
edge(86,70).
edge(101,102).
edge(103,18).
edge(103,104).
edge(103,16).
edge(103,105).
edge(103,106).
edge(103,107).
edge(103,108).
edge(103,109).
edge(110,111).
edge(110,43).
edge(110,29).
edge(112,33).
edge(20,113).
edge(95,114).
edge(88,66).
edge(88,36).
edge(88,26).
edge(88,10).
edge(88,64).
edge(88,44).
edge(88,97).
edge(88,90).
edge(115,41).
edge(115,116).
edge(115,102).
edge(117,24).
edge(3,2).
edge(118,11).
edge(53,49).
edge(53,52).
edge(73,119).
edge(73,120).
edge(73,46).
edge(121,24).
edge(121,11).
edge(116,41).
edge(116,45).
edge(116,122).
edge(116,123).
edge(99,38).
edge(99,47).
edge(99,102).
edge(124,125).
edge(124,126).
edge(124,127).
edge(124,128).
edge(128,129).
edge(128,130).
edge(128,127).
edge(128,131).
edge(128,132).
edge(128,133).
edge(64,36).
edge(64,63).
edge(64,26).
edge(64,134).
edge(64,135).
edge(64,70).
edge(64,136).
edge(64,137).
edge(64,138).
edge(64,97).
edge(64,90).
edge(64,14).
edge(139,140).
edge(139,141).
edge(142,143).
edge(134,36).
edge(134,38).
edge(134,97).
edge(134,45).
edge(144,33).
edge(145,143).
edge(102,40).
edge(102,146).
edge(147,94).
edge(147,11).
edge(148,149).
edge(75,26).
edge(127,129).
edge(127,130).
edge(127,120).
edge(62,150).
edge(62,151).
edge(152,2).
edge(152,153).
edge(152,87).
edge(154,46).
edge(155,40).
edge(155,41).
edge(155,46).
edge(50,52).
edge(79,138).
edge(156,24).
edge(27,157).
edge(27,41).
edge(19,37).
edge(158,159).
edge(158,160).
edge(158,43).
edge(158,150).
edge(161,18).
edge(70,26).
edge(70,94).
edge(70,11).
edge(70,162).
edge(163,10).
edge(163,164).
edge(41,36).
edge(41,11).
edge(41,45).
edge(41,47).
edge(41,14).
edge(165,166).
edge(165,40).
edge(165,146).
edge(165,42).
edge(165,167).
edge(33,143).
edge(24,168).
edge(24,143).
edge(24,157).
edge(7,10).
edge(7,11).
edge(7,39).
edge(7,164).
edge(7,44).
edge(131,130).
edge(9,63).
edge(9,11).
edge(9,169).
edge(9,44).
edge(30,29).
edge(170,89).
edge(45,43).
edge(45,44).
edge(171,11).
edge(171,172).
edge(173,94).
edge(87,91).
edge(38,174).
edge(38,58).
edge(38,175).
edge(38,14).
edge(46,149).
edge(46,119).
edge(176,122).
edge(137,2).
edge(137,63).
edge(130,129).
edge(130,40).
edge(177,11).
edge(11,10).
edge(11,39).
edge(11,169).
edge(11,178).
edge(11,42).
edge(11,179).
edge(11,96).
edge(11,43).
edge(40,180).
edge(40,159).
edge(40,181).
edge(182,111).
edge(182,43).
edge(182,29).
edge(129,133).
edge(138,149).
edge(138,14).
edge(183,49).
edge(52,18).
edge(52,49).
edge(184,63).
edge(14,185).
edge(14,174).
edge(14,63).
edge(14,26).
edge(14,186).
edge(83,26).
edge(83,187).
edge(58,2).
edge(58,166).
edge(58,140).
edge(188,106).
edge(55,10).
edge(55,164).
edge(55,43).
edge(169,2).
edge(4,2).
edge(189,190).
edge(189,159).
edge(191,47).
edge(192,13).
edge(166,60).
edge(187,193).
edge(44,36).
edge(44,10).
edge(44,135).
edge(44,43).
edge(44,81).
edge(194,66).
edge(194,149).
edge(195,81).
edge(96,94).
edge(81,78).
edge(81,43).
edge(196,114).
edge(42,10).
edge(80,78).
edge(80,13).
edge(10,26).
edge(10,164).
edge(10,153).
edge(2,185).
edge(2,167).
edge(2,197).
edge(2,47).
edge(179,198).
edge(63,26).
edge(63,136).
edge(113,104).
edge(97,36).
edge(47,26).
edge(199,26).
edge(26,200).
edge(193,36).
first(1).
last(200).
