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