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