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