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