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