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