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