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