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