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