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