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