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