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