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