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