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