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