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