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