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