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