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