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