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