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