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