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