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