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