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