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