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