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