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