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