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