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