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