edge(1,2).
edge(1,3).
edge(1,4).
edge(1,5).
edge(1,6).
edge(7,8).
edge(9,10).
edge(11,12).
edge(11,13).
edge(11,14).
edge(11,15).
edge(11,16).
edge(17,18).
edge(17,19).
edge(20,21).
edge(20,22).
edge(20,23).
edge(20,24).
edge(20,25).
edge(26,2).
edge(26,27).
edge(28,29).
edge(30,31).
edge(30,32).
edge(33,34).
edge(33,35).
edge(36,37).
edge(36,38).
edge(39,19).
edge(40,41).
edge(40,35).
edge(42,43).
edge(42,19).
edge(42,44).
edge(45,46).
edge(47,48).
edge(25,49).
edge(25,21).
edge(25,50).
edge(25,51).
edge(25,52).
edge(10,53).
edge(54,55).
edge(54,56).
edge(54,57).
edge(58,59).
edge(60,61).
edge(60,62).
edge(60,63).
edge(60,64).
edge(60,65).
edge(60,66).
edge(60,67).
edge(68,69).
edge(68,70).
edge(71,72).
edge(71,73).
edge(74,15).
edge(74,75).
edge(74,76).
edge(74,77).
edge(78,79).
edge(80,81).
edge(80,82).
edge(83,2).
edge(83,6).
edge(83,84).
edge(85,86).
edge(87,88).
edge(87,19).
edge(87,89).
edge(90,91).
edge(90,92).
edge(90,4).
edge(90,93).
edge(90,94).
edge(90,95).
edge(96,97).
edge(96,21).
edge(96,84).
edge(96,19).
edge(98,99).
edge(100,97).
edge(101,102).
edge(101,103).
edge(101,104).
edge(101,99).
edge(101,76).
edge(101,105).
edge(106,107).
edge(108,109).
edge(108,110).
edge(108,111).
edge(112,63).
edge(57,102).
edge(57,113).
edge(57,35).
edge(57,114).
edge(57,56).
edge(57,99).
edge(57,94).
edge(115,116).
edge(117,86).
edge(118,119).
edge(21,49).
edge(21,22).
edge(21,50).
edge(21,23).
edge(21,51).
edge(21,52).
edge(120,121).
edge(120,35).
edge(122,123).
edge(122,124).
edge(125,13).
edge(126,86).
edge(127,128).
edge(127,129).
edge(127,130).
edge(127,131).
edge(127,132).
edge(127,133).
edge(127,134).
edge(127,135).
edge(105,136).
edge(105,102).
edge(88,137).
edge(88,19).
edge(88,44).
edge(138,139).
edge(79,65).
edge(79,140).
edge(79,64).
edge(79,141).
edge(79,142).
edge(79,67).
edge(79,143).
edge(79,144).
edge(145,146).
edge(145,147).
edge(145,148).
edge(145,142).
edge(145,149).
edge(145,150).
edge(151,86).
edge(152,153).
edge(152,154).
edge(152,155).
edge(152,24).
edge(23,156).
edge(23,157).
edge(23,158).
edge(23,73).
edge(23,22).
edge(23,99).
edge(23,52).
edge(124,159).
edge(124,148).
edge(160,161).
edge(160,162).
edge(160,99).
edge(160,94).
edge(163,31).
edge(41,164).
edge(165,166).
edge(165,48).
edge(165,156).
edge(165,133).
edge(165,135).
edge(165,81).
edge(165,167).
edge(165,168).
edge(169,34).
edge(169,63).
edge(81,170).
edge(81,168).
edge(171,19).
edge(170,99).
edge(170,172).
edge(173,174).
edge(173,175).
edge(176,177).
edge(176,19).
edge(147,178).
edge(147,179).
edge(8,180).
edge(8,69).
edge(8,37).
edge(181,99).
edge(182,139).
edge(183,16).
edge(184,185).
edge(184,63).
edge(186,116).
edge(186,187).
edge(188,189).
edge(188,190).
edge(188,75).
edge(188,191).
edge(154,156).
edge(192,193).
edge(194,195).
edge(194,94).
edge(196,128).
edge(197,198).
edge(197,143).
edge(91,195).
edge(91,93).
edge(91,82).
edge(91,94).
edge(91,95).
edge(62,199).
edge(62,63).
edge(62,64).
edge(62,67).
edge(114,139).
edge(146,142).
edge(146,193).
edge(200,19).
edge(201,123).
edge(201,202).
edge(201,143).
edge(16,15).
edge(29,31).
edge(189,203).
edge(189,204).
edge(189,75).
edge(189,142).
edge(31,156).
edge(31,205).
edge(31,206).
edge(31,172).
edge(31,32).
edge(31,52).
edge(132,102).
edge(207,3).
edge(99,102).
edge(99,129).
edge(99,161).
edge(99,166).
edge(99,119).
edge(99,208).
edge(99,134).
edge(99,94).
edge(99,19).
edge(99,193).
edge(99,167).
edge(209,133).
edge(208,162).
edge(208,94).
edge(61,65).
edge(61,67).
edge(24,210).
edge(24,34).
edge(205,93).
edge(89,19).
edge(211,212).
edge(63,19).
edge(213,86).
edge(37,214).
edge(37,69).
edge(37,215).
edge(37,216).
edge(37,19).
edge(66,64).
edge(66,67).
edge(174,148).
edge(217,161).
edge(49,193).
edge(218,134).
edge(143,179).
edge(143,149).
edge(219,220).
edge(219,14).
edge(2,221).
edge(2,222).
edge(2,3).
edge(2,6).
edge(2,223).
edge(224,15).
edge(224,225).
edge(224,142).
edge(226,198).
edge(43,227).
edge(43,228).
edge(43,19).
edge(43,44).
edge(46,229).
edge(46,19).
edge(46,230).
edge(56,231).
edge(56,232).
edge(52,156).
edge(52,51).
edge(233,234).
edge(233,235).
edge(156,51).
edge(178,14).
edge(178,236).
edge(178,191).
edge(236,191).
edge(229,237).
edge(229,238).
edge(168,135).
edge(239,86).
edge(240,19).
edge(241,242).
edge(22,243).
edge(22,86).
edge(244,245).
edge(244,246).
edge(247,180).
edge(247,248).
edge(123,249).
edge(93,92).
edge(93,195).
edge(93,94).
edge(93,95).
edge(250,19).
edge(34,251).
edge(34,210).
edge(109,212).
edge(109,252).
edge(253,73).
edge(254,222).
edge(238,237).
edge(59,140).
edge(159,255).
edge(13,110).
edge(13,256).
edge(86,116).
edge(86,257).
edge(86,258).
edge(86,48).
edge(86,3).
edge(86,259).
edge(86,260).
edge(86,134).
edge(86,107).
edge(234,242).
edge(234,261).
edge(155,262).
edge(142,6).
edge(142,225).
edge(142,141).
edge(263,133).
edge(263,264).
edge(265,19).
edge(266,113).
edge(64,199).
edge(267,249).
edge(267,268).
edge(269,65).
edge(44,270).
edge(44,271).
edge(131,272).
edge(131,82).
edge(131,172).
edge(223,273).
edge(223,3).
edge(223,6).
edge(223,274).
edge(193,175).
edge(193,275).
edge(161,166).
edge(161,133).
edge(161,167).
edge(107,273).
edge(107,141).
edge(6,110).
edge(6,273).
edge(6,3).
edge(6,5).
edge(6,235).
edge(172,82).
edge(276,158).
edge(277,139).
edge(104,75).
edge(104,76).
edge(104,278).
edge(262,279).
edge(272,113).
edge(175,198).
edge(175,202).
edge(166,133).
edge(166,167).
edge(167,129).
edge(167,133).
edge(12,14).
edge(12,280).
edge(281,19).
edge(35,282).
edge(35,136).
edge(35,231).
edge(35,283).
edge(35,139).
edge(187,19).
edge(227,228).
edge(110,212).
edge(110,273).
edge(284,251).
edge(284,285).
edge(286,97).
edge(286,245).
edge(286,19).
edge(216,287).
edge(288,289).
edge(288,69).
edge(288,19).
edge(221,287).
edge(139,231).
edge(139,290).
edge(261,242).
edge(291,251).
edge(291,19).
edge(65,141).
edge(292,14).
edge(289,69).
edge(293,231).
edge(280,294).
edge(295,113).
edge(243,102).
edge(243,283).
edge(119,103).
edge(15,77).
edge(199,296).
edge(297,113).
edge(3,5).
edge(3,274).
edge(70,69).
edge(135,128).
edge(135,129).
edge(135,130).
edge(135,133).
edge(135,134).
edge(103,76).
edge(246,245).
edge(271,19).
edge(19,251).
edge(19,294).
edge(19,298).
edge(19,134).
edge(19,299).
edge(19,148).
edge(19,53).
edge(102,136).
edge(102,283).
edge(102,94).
edge(133,129).
edge(133,206).
edge(136,113).
edge(136,195).
edge(136,94).
edge(179,198).
edge(278,76).
edge(129,130).
edge(129,134).
edge(134,128).
edge(134,130).
edge(180,300).
edge(274,75).
edge(251,220).
edge(75,76).
edge(14,300).
edge(94,195).
edge(94,95).
first(1).
last(300).
