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