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