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