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