edge(1,2).
edge(3,4).
edge(3,5).
edge(3,6).
edge(3,7).
edge(3,8).
edge(9,10).
edge(9,11).
edge(9,12).
edge(9,13).
edge(14,15).
edge(14,16).
edge(14,17).
edge(14,18).
edge(14,19).
edge(14,20).
edge(14,21).
edge(14,22).
edge(14,23).
edge(14,24).
edge(14,25).
edge(26,27).
edge(26,28).
edge(26,29).
edge(30,31).
edge(30,32).
edge(30,16).
edge(30,33).
edge(30,34).
edge(30,35).
edge(30,36).
edge(30,37).
edge(38,39).
edge(38,40).
edge(15,41).
edge(15,11).
edge(15,42).
edge(15,12).
edge(15,13).
edge(43,44).
edge(43,45).
edge(43,36).
edge(43,46).
edge(43,47).
edge(43,48).
edge(49,50).
edge(49,51).
edge(49,52).
edge(53,54).
edge(53,27).
edge(53,55).
edge(53,56).
edge(57,58).
edge(57,59).
edge(57,60).
edge(61,62).
edge(61,63).
edge(61,64).
edge(61,65).
edge(66,67).
edge(68,69).
edge(68,70).
edge(71,72).
edge(71,73).
edge(74,75).
edge(74,21).
edge(74,76).
edge(77,56).
edge(77,78).
edge(79,80).
edge(79,34).
edge(81,82).
edge(81,83).
edge(84,21).
edge(84,85).
edge(86,87).
edge(4,88).
edge(4,89).
edge(4,6).
edge(4,90).
edge(4,91).
edge(92,93).
edge(94,95).
edge(94,96).
edge(94,97).
edge(94,98).
edge(94,99).
edge(94,100).
edge(94,101).
edge(94,102).
edge(94,103).
edge(94,104).
edge(105,106).
edge(107,108).
edge(107,50).
edge(107,109).
edge(107,110).
edge(107,111).
edge(107,70).
edge(112,113).
edge(114,115).
edge(114,45).
edge(114,116).
edge(114,117).
edge(114,36).
edge(114,118).
edge(119,120).
edge(119,13).
edge(110,121).
edge(110,122).
edge(110,123).
edge(110,50).
edge(110,109).
edge(110,124).
edge(110,125).
edge(126,87).
edge(127,128).
edge(127,129).
edge(127,45).
edge(127,87).
edge(127,130).
edge(127,34).
edge(39,131).
edge(39,33).
edge(10,132).
edge(10,11).
edge(133,56).
edge(133,99).
edge(133,101).
edge(134,135).
edge(134,65).
edge(134,44).
edge(134,136).
edge(137,138).
edge(139,95).
edge(100,99).
edge(100,101).
edge(140,132).
edge(140,106).
edge(141,69).
edge(141,142).
edge(141,111).
edge(143,135).
edge(143,65).
edge(143,67).
edge(143,44).
edge(143,136).
edge(144,32).
edge(144,130).
edge(144,34).
edge(145,146).
edge(145,147).
edge(145,56).
edge(106,148).
edge(106,41).
edge(106,87).
edge(106,60).
edge(149,48).
edge(150,151).
edge(150,59).
edge(152,16).
edge(152,153).
edge(152,154).
edge(155,156).
edge(120,157).
edge(120,151).
edge(120,158).
edge(120,80).
edge(120,33).
edge(120,128).
edge(120,13).
edge(120,87).
edge(120,159).
edge(160,16).
edge(160,161).
edge(160,162).
edge(163,62).
edge(163,164).
edge(163,165).
edge(163,153).
edge(166,167).
edge(124,36).
edge(124,125).
edge(162,161).
edge(168,169).
edge(63,21).
edge(170,171).
edge(125,122).
edge(172,173).
edge(172,76).
edge(174,175).
edge(174,176).
edge(174,177).
edge(174,178).
edge(179,98).
edge(179,180).
edge(179,101).
edge(179,36).
edge(181,75).
edge(182,132).
edge(182,41).
edge(178,167).
edge(151,59).
edge(151,183).
edge(184,185).
edge(184,186).
edge(148,31).
edge(60,41).
edge(60,187).
edge(60,87).
edge(188,189).
edge(188,6).
edge(188,190).
edge(191,146).
edge(191,192).
edge(193,88).
edge(186,194).
edge(186,195).
edge(196,197).
edge(196,99).
edge(198,5).
edge(198,199).
edge(198,200).
edge(198,201).
edge(183,59).
edge(116,202).
edge(116,115).
edge(116,117).
edge(116,158).
edge(116,203).
edge(204,205).
edge(204,206).
edge(204,207).
edge(204,80).
edge(204,153).
edge(204,208).
edge(7,6).
edge(209,210).
edge(201,211).
edge(212,213).
edge(214,205).
edge(214,215).
edge(214,216).
edge(214,21).
edge(214,217).
edge(218,89).
edge(207,205).
edge(207,206).
edge(207,219).
edge(207,220).
edge(207,208).
edge(135,65).
edge(135,59).
edge(135,44).
edge(135,136).
edge(221,52).
edge(221,117).
edge(222,192).
edge(222,24).
edge(118,138).
edge(118,115).
edge(118,158).
edge(90,89).
edge(90,6).
edge(223,55).
edge(223,224).
edge(223,225).
edge(16,226).
edge(16,153).
edge(98,80).
edge(115,42).
edge(115,45).
edge(102,227).
edge(228,128).
edge(228,129).
edge(229,230).
edge(229,5).
edge(231,232).
edge(69,64).
edge(91,6).
edge(233,146).
edge(234,146).
edge(213,235).
edge(236,194).
edge(46,62).
edge(46,237).
edge(46,2).
edge(33,80).
edge(33,238).
edge(55,146).
edge(55,11).
edge(55,153).
edge(25,239).
edge(240,175).
edge(240,11).
edge(224,241).
edge(224,242).
edge(224,243).
edge(244,206).
edge(244,208).
edge(123,245).
edge(50,52).
edge(104,44).
edge(34,246).
edge(34,128).
edge(34,130).
edge(34,36).
edge(83,206).
edge(83,216).
edge(83,217).
edge(83,247).
edge(248,158).
edge(248,80).
edge(248,249).
edge(44,62).
edge(44,65).
edge(44,136).
edge(44,250).
edge(165,251).
edge(165,169).
edge(21,252).
edge(21,76).
edge(253,2).
edge(254,87).
edge(255,256).
edge(257,147).
edge(215,252).
edge(215,216).
edge(215,258).
edge(215,76).
edge(215,103).
edge(113,138).
edge(113,227).
edge(113,259).
edge(113,142).
edge(28,260).
edge(28,261).
edge(28,87).
edge(156,262).
edge(121,189).
edge(121,142).
edge(121,93).
edge(121,263).
edge(121,264).
edge(121,194).
edge(121,265).
edge(121,154).
edge(73,76).
edge(266,200).
edge(45,203).
edge(56,267).
edge(56,268).
edge(56,249).
edge(56,269).
edge(270,261).
edge(270,35).
edge(154,122).
edge(226,41).
edge(226,271).
edge(243,272).
edge(146,147).
edge(146,76).
edge(146,273).
edge(274,128).
edge(65,136).
edge(275,261).
edge(173,76).
edge(187,13).
edge(276,42).
edge(277,216).
edge(277,278).
edge(258,235).
edge(258,103).
edge(12,11).
edge(12,87).
edge(206,205).
edge(206,220).
edge(206,216).
edge(11,132).
edge(11,235).
edge(11,192).
edge(11,279).
edge(11,101).
edge(194,190).
edge(158,80).
edge(262,164).
edge(262,171).
edge(256,36).
edge(101,80).
edge(101,99).
edge(101,153).
edge(101,13).
edge(82,72).
edge(280,19).
edge(281,261).
edge(87,41).
edge(95,227).
edge(36,35).
edge(36,249).
edge(282,5).
edge(283,89).
edge(192,167).
edge(192,48).
edge(219,205).
edge(219,284).
edge(264,189).
edge(99,271).
edge(167,176).
edge(167,48).
edge(109,122).
edge(285,205).
edge(189,142).
edge(189,286).
edge(287,176).
edge(185,108).
edge(185,59).
edge(271,153).
edge(288,210).
edge(62,237).
edge(289,108).
edge(290,153).
edge(80,249).
edge(216,291).
edge(292,5).
edge(237,293).
edge(5,294).
edge(5,210).
edge(5,295).
edge(5,48).
edge(284,205).
edge(142,93).
edge(267,153).
edge(296,75).
edge(205,220).
edge(177,297).
edge(159,13).
edge(295,232).
edge(32,279).
edge(298,153).
edge(299,291).
edge(130,128).
edge(300,89).
edge(6,89).
edge(19,22).
first(1).
last(300).
