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