edge(1,2).
edge(1,3).
edge(1,4).
edge(5,6).
edge(7,8).
edge(9,10).
edge(11,12).
edge(11,13).
edge(11,14).
edge(11,15).
edge(11,16).
edge(11,17).
edge(18,19).
edge(18,20).
edge(18,3).
edge(18,21).
edge(18,22).
edge(23,24).
edge(23,25).
edge(23,26).
edge(23,27).
edge(28,24).
edge(28,29).
edge(28,30).
edge(28,31).
edge(28,32).
edge(28,33).
edge(28,34).
edge(35,36).
edge(37,29).
edge(37,30).
edge(37,34).
edge(38,24).
edge(39,40).
edge(39,41).
edge(39,42).
edge(43,44).
edge(45,46).
edge(45,47).
edge(45,48).
edge(49,50).
edge(49,51).
edge(52,53).
edge(54,55).
edge(56,57).
edge(58,41).
edge(58,50).
edge(58,24).
edge(58,59).
edge(58,60).
edge(61,36).
edge(61,62).
edge(63,29).
edge(64,10).
edge(64,65).
edge(66,67).
edge(66,44).
edge(66,68).
edge(66,69).
edge(66,70).
edge(66,71).
edge(66,72).
edge(73,68).
edge(73,74).
edge(75,76).
edge(75,12).
edge(75,15).
edge(75,30).
edge(75,77).
edge(78,46).
edge(79,80).
edge(79,81).
edge(82,83).
edge(82,50).
edge(10,84).
edge(10,85).
edge(10,86).
edge(10,87).
edge(10,88).
edge(10,65).
edge(67,89).
edge(67,90).
edge(83,60).
edge(91,84).
edge(92,93).
edge(92,46).
edge(4,2).
edge(94,95).
edge(96,97).
edge(96,98).
edge(96,99).
edge(53,100).
edge(8,90).
edge(101,102).
edge(101,103).
edge(104,47).
edge(104,105).
edge(104,106).
edge(104,107).
edge(104,21).
edge(108,109).
edge(108,110).
edge(111,19).
edge(111,3).
edge(112,113).
edge(112,57).
edge(112,114).
edge(90,97).
edge(90,70).
edge(90,115).
edge(90,98).
edge(90,116).
edge(90,117).
edge(90,118).
edge(90,99).
edge(90,119).
edge(120,121).
edge(120,122).
edge(120,123).
edge(120,57).
edge(120,3).
edge(100,124).
edge(125,55).
edge(125,126).
edge(127,128).
edge(127,129).
edge(127,46).
edge(127,130).
edge(131,132).
edge(2,133).
edge(2,134).
edge(2,20).
edge(2,22).
edge(103,135).
edge(103,76).
edge(103,15).
edge(103,89).
edge(103,118).
edge(15,76).
edge(15,12).
edge(15,136).
edge(137,13).
edge(137,29).
edge(137,14).
edge(137,138).
edge(137,139).
edge(137,16).
edge(32,140).
edge(32,136).
edge(32,29).
edge(32,110).
edge(32,33).
edge(97,98).
edge(97,116).
edge(97,99).
edge(141,142).
edge(93,80).
edge(93,128).
edge(93,132).
edge(143,21).
edge(132,129).
edge(88,128).
edge(88,47).
edge(88,144).
edge(88,24).
edge(88,145).
edge(124,47).
edge(124,25).
edge(124,146).
edge(124,147).
edge(36,148).
edge(36,77).
edge(140,24).
edge(140,149).
edge(140,70).
edge(140,77).
edge(140,150).
edge(151,152).
edge(149,153).
edge(149,154).
edge(149,24).
edge(149,110).
edge(149,155).
edge(128,156).
edge(128,47).
edge(128,142).
edge(128,24).
edge(128,145).
edge(128,157).
edge(158,51).
edge(72,69).
edge(72,70).
edge(159,24).
edge(152,154).
edge(152,24).
edge(84,55).
edge(84,85).
edge(85,87).
edge(51,69).
edge(160,161).
edge(162,154).
edge(163,69).
edge(69,164).
edge(69,70).
edge(69,71).
edge(69,98).
edge(69,116).
edge(69,99).
edge(74,165).
edge(74,68).
edge(154,153).
edge(154,24).
edge(6,29).
edge(166,167).
edge(166,168).
edge(144,165).
edge(144,169).
edge(144,12).
edge(144,170).
edge(144,68).
edge(144,171).
edge(172,173).
edge(172,24).
edge(44,17).
edge(81,174).
edge(81,3).
edge(81,175).
edge(161,24).
edge(57,113).
edge(168,176).
edge(175,177).
edge(95,134).
edge(95,178).
edge(179,19).
edge(71,121).
edge(180,178).
edge(25,146).
edge(42,40).
edge(42,41).
edge(16,13).
edge(16,14).
edge(16,139).
edge(16,181).
edge(17,105).
edge(182,24).
edge(182,183).
edge(182,27).
edge(70,116).
edge(184,147).
edge(184,185).
edge(118,89).
edge(178,33).
edge(77,76).
edge(77,12).
edge(77,68).
edge(77,186).
edge(77,110).
edge(115,30).
edge(115,134).
edge(187,29).
edge(139,13).
edge(139,29).
edge(139,138).
edge(188,189).
edge(165,13).
edge(165,24).
edge(190,173).
edge(65,86).
edge(65,87).
edge(126,55).
edge(156,14).
edge(136,153).
edge(136,110).
edge(189,110).
edge(191,192).
edge(191,109).
edge(47,142).
edge(47,167).
edge(193,24).
edge(76,12).
edge(76,13).
edge(76,14).
edge(194,167).
edge(62,195).
edge(62,196).
edge(62,167).
edge(116,98).
edge(116,99).
edge(197,186).
edge(197,150).
edge(31,33).
edge(41,40).
edge(122,121).
edge(198,169).
edge(155,24).
edge(13,29).
edge(13,14).
edge(13,138).
edge(13,33).
edge(12,68).
edge(12,99).
edge(199,109).
edge(199,110).
edge(110,109).
edge(110,24).
edge(185,147).
edge(185,200).
edge(98,89).
edge(98,99).
edge(153,24).
edge(26,27).
edge(24,14).
edge(24,186).
edge(24,27).
edge(30,29).
edge(30,34).
edge(33,29).
edge(29,138).
edge(29,34).
edge(3,99).
edge(138,14).
first(1).
last(200).
