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