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