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