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