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