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