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