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