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