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