edge(1,2).
edge(1,3).
edge(4,5).
edge(6,7).
edge(6,8).
edge(6,9).
edge(10,11).
edge(10,12).
edge(10,13).
edge(10,14).
edge(10,15).
edge(10,16).
edge(10,17).
edge(18,19).
edge(20,21).
edge(20,22).
edge(23,24).
edge(23,25).
edge(23,26).
edge(23,27).
edge(23,28).
edge(23,29).
edge(23,30).
edge(23,31).
edge(23,32).
edge(23,33).
edge(23,34).
edge(23,35).
edge(23,36).
edge(23,37).
edge(23,38).
edge(23,19).
edge(23,39).
edge(23,40).
edge(23,41).
edge(23,42).
edge(23,43).
edge(44,45).
edge(44,46).
edge(47,48).
edge(49,50).
edge(51,52).
edge(53,54).
edge(55,21).
edge(56,57).
edge(56,45).
edge(56,58).
edge(56,59).
edge(56,60).
edge(56,16).
edge(56,61).
edge(56,62).
edge(63,64).
edge(65,66).
edge(65,67).
edge(65,68).
edge(65,69).
edge(65,70).
edge(65,71).
edge(65,72).
edge(19,73).
edge(19,74).
edge(19,75).
edge(19,76).
edge(19,30).
edge(19,77).
edge(19,78).
edge(19,79).
edge(19,80).
edge(19,81).
edge(19,82).
edge(19,83).
edge(19,84).
edge(19,42).
edge(19,85).
edge(19,62).
edge(19,86).
edge(87,88).
edge(87,14).
edge(87,45).
edge(87,89).
edge(87,90).
edge(91,79).
edge(45,88).
edge(45,14).
edge(45,89).
edge(45,92).
edge(45,93).
edge(45,94).
edge(45,16).
edge(45,90).
edge(45,46).
edge(95,96).
edge(95,3).
edge(95,97).
edge(95,98).
edge(99,100).
edge(99,54).
edge(99,101).
edge(102,103).
edge(102,79).
edge(102,104).
edge(102,39).
edge(41,26).
edge(71,66).
edge(71,69).
edge(105,106).
edge(107,108).
edge(107,109).
edge(110,111).
edge(110,112).
edge(110,8).
edge(110,113).
edge(110,114).
edge(110,9).
edge(110,115).
edge(110,64).
edge(116,117).
edge(116,118).
edge(116,119).
edge(120,121).
edge(122,123).
edge(124,125).
edge(126,52).
edge(127,128).
edge(121,129).
edge(121,130).
edge(131,132).
edge(131,133).
edge(131,134).
edge(96,27).
edge(135,64).
edge(136,137).
edge(136,138).
edge(139,140).
edge(141,54).
edge(141,142).
edge(141,143).
edge(141,67).
edge(141,144).
edge(141,145).
edge(141,79).
edge(141,146).
edge(141,147).
edge(141,148).
edge(141,149).
edge(141,150).
edge(69,54).
edge(69,142).
edge(69,143).
edge(69,66).
edge(69,68).
edge(69,73).
edge(69,129).
edge(69,134).
edge(69,72).
edge(69,61).
edge(151,64).
edge(152,98).
edge(153,154).
edge(155,54).
edge(155,156).
edge(155,157).
edge(155,158).
edge(155,129).
edge(155,144).
edge(159,160).
edge(161,162).
edge(160,163).
edge(164,165).
edge(164,123).
edge(164,166).
edge(36,35).
edge(36,167).
edge(36,168).
edge(169,170).
edge(169,171).
edge(172,52).
edge(172,173).
edge(118,174).
edge(118,175).
edge(118,176).
edge(118,177).
edge(118,173).
edge(24,178).
edge(24,171).
edge(24,50).
edge(24,43).
edge(39,179).
edge(180,43).
edge(181,93).
edge(182,183).
edge(182,113).
edge(182,184).
edge(185,186).
edge(187,188).
edge(108,189).
edge(108,190).
edge(108,191).
edge(60,192).
edge(60,94).
edge(193,112).
edge(194,195).
edge(194,196).
edge(194,197).
edge(198,57).
edge(198,170).
edge(198,199).
edge(198,200).
edge(174,176).
edge(174,173).
edge(201,202).
edge(201,203).
edge(201,204).
edge(201,205).
edge(201,206).
edge(109,123).
edge(109,207).
edge(109,208).
edge(109,46).
edge(209,165).
edge(210,52).
edge(210,211).
edge(210,212).
edge(210,150).
edge(213,214).
edge(213,211).
edge(213,215).
edge(213,216).
edge(213,217).
edge(213,192).
edge(218,219).
edge(218,140).
edge(220,221).
edge(220,222).
edge(223,224).
edge(223,225).
edge(226,103).
edge(227,64).
edge(228,229).
edge(228,230).
edge(228,35).
edge(22,231).
edge(232,233).
edge(232,16).
edge(111,234).
edge(111,8).
edge(111,113).
edge(111,64).
edge(235,236).
edge(235,78).
edge(235,46).
edge(237,238).
edge(237,205).
edge(237,239).
edge(237,206).
edge(237,240).
edge(241,242).
edge(241,59).
edge(241,243).
edge(244,103).
edge(144,100).
edge(144,245).
edge(144,52).
edge(144,146).
edge(144,246).
edge(238,247).
edge(238,189).
edge(238,248).
edge(238,205).
edge(238,240).
edge(186,249).
edge(186,250).
edge(186,43).
edge(251,196).
edge(251,252).
edge(251,253).
edge(251,188).
edge(117,254).
edge(117,119).
edge(255,97).
edge(207,123).
edge(207,208).
edge(236,256).
edge(236,257).
edge(137,138).
edge(137,146).
edge(137,258).
edge(259,245).
edge(259,171).
edge(259,260).
edge(259,261).
edge(173,176).
edge(262,190).
edge(262,263).
edge(262,264).
edge(262,265).
edge(266,191).
edge(267,142).
edge(268,52).
edge(268,212).
edge(268,269).
edge(268,270).
edge(271,272).
edge(273,54).
edge(273,274).
edge(275,61).
edge(134,54).
edge(134,73).
edge(134,276).
edge(277,191).
edge(278,196).
edge(26,7).
edge(26,9).
edge(26,43).
edge(11,129).
edge(11,92).
edge(11,93).
edge(132,129).
edge(132,279).
edge(132,64).
edge(40,27).
edge(280,128).
edge(280,224).
edge(280,281).
edge(280,163).
edge(282,283).
edge(133,284).
edge(221,285).
edge(221,286).
edge(221,287).
edge(190,154).
edge(288,289).
edge(288,42).
edge(196,188).
edge(196,290).
edge(291,175).
edge(292,64).
edge(293,64).
edge(293,289).
edge(294,43).
edge(125,42).
edge(295,296).
edge(295,264).
edge(295,265).
edge(297,298).
edge(229,100).
edge(229,299).
edge(229,54).
edge(229,27).
edge(229,52).
edge(229,230).
edge(229,300).
edge(229,64).
edge(229,301).
edge(200,67).
edge(200,57).
edge(302,303).
edge(296,304).
edge(296,305).
edge(296,239).
edge(296,265).
edge(52,245).
edge(52,253).
edge(52,162).
edge(52,285).
edge(52,73).
edge(52,306).
edge(52,307).
edge(52,217).
edge(52,308).
edge(52,78).
edge(52,298).
edge(5,43).
edge(230,299).
edge(230,27).
edge(230,43).
edge(283,309).
edge(283,43).
edge(310,64).
edge(276,311).
edge(276,78).
edge(276,312).
edge(276,313).
edge(100,171).
edge(100,314).
edge(100,315).
edge(100,316).
edge(100,224).
edge(100,103).
edge(100,188).
edge(100,101).
edge(100,317).
edge(100,318).
edge(100,83).
edge(100,79).
edge(100,146).
edge(100,61).
edge(88,14).
edge(88,93).
edge(88,90).
edge(319,14).
edge(319,93).
edge(319,90).
edge(14,130).
edge(14,216).
edge(14,217).
edge(14,320).
edge(14,192).
edge(14,148).
edge(14,92).
edge(14,93).
edge(14,94).
edge(14,90).
edge(14,17).
edge(321,322).
edge(321,323).
edge(240,203).
edge(240,263).
edge(240,264).
edge(240,265).
edge(324,57).
edge(324,170).
edge(324,325).
edge(324,326).
edge(324,298).
edge(327,64).
edge(328,97).
edge(61,73).
edge(188,316).
edge(234,329).
edge(234,8).
edge(234,9).
edge(234,330).
edge(317,331).
edge(215,214).
edge(215,211).
edge(215,217).
edge(215,192).
edge(215,332).
edge(27,303).
edge(27,157).
edge(27,29).
edge(115,114).
edge(115,9).
edge(150,143).
edge(150,212).
edge(150,333).
edge(150,148).
edge(274,334).
edge(89,93).
edge(89,90).
edge(178,335).
edge(29,43).
edge(166,165).
edge(336,168).
edge(154,253).
edge(68,54).
edge(68,106).
edge(68,101).
edge(68,66).
edge(68,48).
edge(68,337).
edge(68,338).
edge(68,298).
edge(68,339).
edge(143,214).
edge(143,79).
edge(143,340).
edge(170,54).
edge(170,67).
edge(170,145).
edge(170,341).
edge(170,171).
edge(170,59).
edge(170,325).
edge(170,326).
edge(170,334).
edge(170,340).
edge(170,298).
edge(13,15).
edge(177,119).
edge(252,37).
edge(342,343).
edge(342,62).
edge(247,205).
edge(247,239).
edge(149,54).
edge(149,142).
edge(149,344).
edge(149,345).
edge(149,147).
edge(270,269).
edge(270,346).
edge(347,333).
edge(347,79).
edge(348,64).
edge(289,42).
edge(189,332).
edge(189,191).
edge(189,205).
edge(225,224).
edge(225,171).
edge(225,349).
edge(225,74).
edge(225,279).
edge(225,350).
edge(351,35).
edge(114,113).
edge(114,9).
edge(114,64).
edge(112,113).
edge(112,9).
edge(9,113).
edge(9,64).
edge(9,352).
edge(9,353).
edge(9,43).
edge(258,315).
edge(258,245).
edge(264,263).
edge(354,171).
edge(354,162).
edge(354,106).
edge(354,355).
edge(354,356).
edge(357,58).
edge(73,54).
edge(73,214).
edge(73,106).
edge(73,171).
edge(73,217).
edge(73,79).
edge(73,301).
edge(73,339).
edge(245,315).
edge(245,358).
edge(245,246).
edge(359,43).
edge(157,303).
edge(285,224).
edge(360,361).
edge(323,322).
edge(312,362).
edge(363,64).
edge(192,17).
edge(242,279).
edge(242,364).
edge(233,54).
edge(233,67).
edge(233,340).
edge(233,365).
edge(78,46).
edge(78,365).
edge(314,158).
edge(314,146).
edge(361,3).
edge(361,43).
edge(366,316).
edge(366,43).
edge(195,7).
edge(356,162).
edge(356,106).
edge(279,138).
edge(279,367).
edge(50,103).
edge(146,260).
edge(168,368).
edge(168,35).
edge(168,167).
edge(369,163).
edge(370,371).
edge(370,372).
edge(370,43).
edge(373,79).
edge(17,211).
edge(374,129).
edge(76,375).
edge(376,97).
edge(142,67).
edge(142,147).
edge(64,377).
edge(64,113).
edge(64,371).
edge(64,378).
edge(64,205).
edge(34,43).
edge(74,54).
edge(74,350).
edge(58,162).
edge(58,16).
edge(58,379).
edge(171,315).
edge(171,145).
edge(54,67).
edge(54,48).
edge(54,145).
edge(54,57).
edge(54,364).
edge(54,147).
edge(380,42).
edge(346,212).
edge(66,67).
edge(66,48).
edge(66,72).
edge(204,203).
edge(204,205).
edge(184,191).
edge(163,281).
edge(208,123).
edge(208,381).
edge(208,46).
edge(382,25).
edge(383,43).
edge(165,21).
edge(165,43).
edge(367,48).
edge(367,59).
edge(384,260).
edge(42,385).
edge(43,7).
edge(43,386).
edge(341,340).
edge(93,90).
edge(303,79).
edge(371,387).
edge(358,307).
edge(358,298).
edge(191,388).
edge(179,389).
edge(214,355).
edge(214,344).
edge(214,217).
edge(337,48).
edge(390,217).
edge(368,167).
edge(368,35).
edge(31,12).
edge(304,205).
edge(304,239).
edge(304,265).
edge(243,344).
edge(246,217).
edge(246,15).
edge(239,202).
edge(239,305).
edge(239,205).
edge(239,265).
edge(391,216).
edge(106,162).
edge(106,355).
edge(106,392).
edge(203,206).
edge(46,16).
edge(322,216).
edge(362,147).
edge(8,113).
edge(316,219).
edge(393,79).
edge(393,301).
edge(67,340).
edge(392,162).
edge(392,355).
edge(101,48).
edge(394,344).
edge(216,217).
edge(395,298).
edge(140,219).
edge(147,344).
edge(147,334).
edge(263,202).
edge(263,396).
edge(397,72).
edge(90,92).
edge(90,398).
edge(399,162).
edge(399,298).
edge(35,167).
edge(338,16).
edge(16,272).
edge(365,340).
edge(59,298).
edge(301,217).
edge(301,79).
edge(21,400).
edge(162,298).
edge(113,219).
edge(113,330).
edge(260,315).
edge(396,202).
edge(396,206).
edge(364,62).
edge(79,333).
edge(79,62).
edge(325,326).
edge(325,298).
edge(145,298).
edge(57,298).
edge(340,326).
edge(326,298).
edge(334,298).
first(1).
last(400).
