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