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