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