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