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