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