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