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