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