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