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