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