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