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