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