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