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