- "[(Link(height=8, left=1, right=5),\n",
- " Link(height=9, left=1, right=21),\n",
- " Link(height=10, left=1, right=5),\n",
- " Link(height=11, left=1, right=21)),\n",
- " (Link(height=40, left=16, right=23),\n",
- " Link(height=41, left=16, right=19),\n",
- " Link(height=42, left=16, right=23),\n",
- " Link(height=43, left=16, right=19)),\n",
- " (Link(height=62, left=0, right=10),\n",
- " Link(height=63, left=10, right=13),\n",
- " Link(height=64, left=0, right=10),\n",
- " Link(height=65, left=10, right=13)),\n",
- " (Link(height=137, left=23, right=24),\n",
- " Link(height=139, left=0, right=24),\n",
- " Link(height=140, left=23, right=24),\n",
- " Link(height=141, left=0, right=24)),\n",
- " (Link(height=138, left=10, right=21),\n",
- " Link(height=139, left=2, right=10),\n",
- " Link(height=140, left=10, right=21),\n",
- " Link(height=141, left=2, right=10)),\n",
- " (Link(height=139, left=2, right=10),\n",
- " Link(height=140, left=10, right=21),\n",
- " Link(height=141, left=2, right=10),\n",
- " Link(height=142, left=10, right=21)),\n",
- " (Link(height=156, left=6, right=11),\n",
- " Link(height=157, left=3, right=6),\n",
- " Link(height=158, left=6, right=11),\n",
- " Link(height=159, left=3, right=6)),\n",
- " (Link(height=184, left=2, right=21),\n",
- " Link(height=185, left=5, right=21),\n",
- " Link(height=186, left=2, right=21),\n",
- " Link(height=187, left=5, right=21)),\n",
- " (Link(height=274, left=7, right=13),\n",
- " Link(height=275, left=7, right=11),\n",
- " Link(height=276, left=7, right=13),\n",
- " Link(height=277, left=7, right=11)),\n",
- " (Link(height=292, left=14, right=15),\n",
- " Link(height=293, left=5, right=15),\n",
- " Link(height=294, left=14, right=15),\n",
- " Link(height=295, left=5, right=15)),\n",
- " (Link(height=389, left=1, right=8),\n",
- " Link(height=391, left=8, right=15),\n",
- " Link(height=392, left=1, right=8),\n",
- " Link(height=393, left=8, right=15)),\n",
- " (Link(height=422, left=14, right=22),\n",
- " Link(height=424, left=14, right=18),\n",
- " Link(height=425, left=14, right=22),\n",
- " Link(height=426, left=14, right=18)),\n",
- " (Link(height=434, left=5, right=19),\n",
- " Link(height=435, left=1, right=19),\n",
- " Link(height=436, left=5, right=19),\n",
- " Link(height=437, left=1, right=19)),\n",
- " (Link(height=456, left=0, right=15),\n",
- " Link(height=457, left=14, right=15),\n",
- " Link(height=458, left=0, right=15),\n",
- " Link(height=459, left=14, right=15)),\n",
- " (Link(height=550, left=13, right=21),\n",
- " Link(height=551, left=6, right=21),\n",
- " Link(height=552, left=13, right=21),\n",
- " Link(height=553, left=6, right=21)),\n",
- " (Link(height=624, left=17, right=23),\n",
- " Link(height=625, left=1, right=23),\n",
- " Link(height=626, left=17, right=23),\n",
- " Link(height=627, left=1, right=23)),\n",
- " (Link(height=703, left=8, right=15),\n",
- " Link(height=704, left=3, right=15),\n",
- " Link(height=705, left=8, right=15),\n",
- " Link(height=706, left=3, right=15)),\n",
- " (Link(height=794, left=7, right=24),\n",
- " Link(height=795, left=8, right=24),\n",
- " Link(height=796, left=7, right=24),\n",
- " Link(height=797, left=8, right=24)),\n",
- " (Link(height=800, left=8, right=13),\n",
- " Link(height=801, left=4, right=8),\n",
- " Link(height=802, left=8, right=13),\n",
- " Link(height=803, left=4, right=8)),\n",
- " (Link(height=814, left=16, right=17),\n",
- " Link(height=815, left=3, right=16),\n",
- " Link(height=816, left=16, right=17),\n",
- " Link(height=817, left=3, right=16)),\n",
- " (Link(height=905, left=2, right=15),\n",
- " Link(height=906, left=13, right=15),\n",
- " Link(height=907, left=2, right=15),\n",
- " Link(height=908, left=13, right=15)),\n",
- " (Link(height=926, left=2, right=15),\n",
- " Link(height=927, left=15, right=16),\n",
- " Link(height=928, left=2, right=15),\n",
- " Link(height=929, left=15, right=16)),\n",
- " (Link(height=967, left=2, right=15),\n",
- " Link(height=968, left=2, right=14),\n",
- " Link(height=969, left=2, right=15),\n",
- " Link(height=970, left=2, right=14)),\n",
- " (Link(height=982, left=13, right=18),\n",
- " Link(height=985, left=18, right=19),\n",
- " Link(height=986, left=13, right=18),\n",
- " Link(height=987, left=18, right=19)),\n",
- " (Link(height=993, left=5, right=16),\n",
- " Link(height=994, left=2, right=5),\n",
- " Link(height=995, left=5, right=16),\n",
- " Link(height=996, left=2, right=5)),\n",
- " (Link(height=1058, left=9, right=24),\n",
- " Link(height=1062, left=9, right=18),\n",
- " Link(height=1063, left=9, right=24),\n",
- " Link(height=1064, left=9, right=18)),\n",
- " (Link(height=1171, left=11, right=21),\n",
- " Link(height=1172, left=11, right=14),\n",
- " Link(height=1173, left=11, right=21),\n",
- " Link(height=1174, left=11, right=14)),\n",
- " (Link(height=1294, left=0, right=11),\n",
- " Link(height=1295, left=0, right=14),\n",
- " Link(height=1296, left=0, right=11),\n",
- " Link(height=1297, left=0, right=14)),\n",
- " (Link(height=1341, left=4, right=9),\n",
- " Link(height=1343, left=4, right=10),\n",
- " Link(height=1344, left=4, right=9),\n",
- " Link(height=1345, left=4, right=10)),\n",
- " (Link(height=1342, left=12, right=18),\n",
- " Link(height=1343, left=12, right=24),\n",
- " Link(height=1344, left=12, right=18),\n",
- " Link(height=1345, left=12, right=24)),\n",
- " (Link(height=1353, left=0, right=17),\n",
- " Link(height=1354, left=0, right=23),\n",
- " Link(height=1355, left=0, right=17),\n",
- " Link(height=1356, left=0, right=23)),\n",
- " (Link(height=1367, left=4, right=16),\n",
- " Link(height=1368, left=16, right=17),\n",
- " Link(height=1369, left=4, right=16),\n",
- " Link(height=1370, left=16, right=17)),\n",
- " (Link(height=1441, left=11, right=24),\n",
- " Link(height=1442, left=18, right=24),\n",
- " Link(height=1443, left=11, right=24),\n",
- " Link(height=1444, left=18, right=24)),\n",
- " (Link(height=1451, left=6, right=20),\n",
- " Link(height=1453, left=16, right=20),\n",
- " Link(height=1454, left=6, right=20),\n",
- " Link(height=1455, left=16, right=20)),\n",
- " (Link(height=1474, left=17, right=23),\n",
- " Link(height=1475, left=3, right=17),\n",
- " Link(height=1476, left=17, right=23),\n",
- " Link(height=1477, left=3, right=17)),\n",
- " (Link(height=1550, left=8, right=23),\n",
- " Link(height=1551, left=7, right=23),\n",
- " Link(height=1552, left=8, right=23),\n",
- " Link(height=1553, left=7, right=23)),\n",
- " (Link(height=1574, left=4, right=14),\n",
- " Link(height=1575, left=14, right=23),\n",
- " Link(height=1576, left=4, right=14),\n",
- " Link(height=1577, left=14, right=23)),\n",
- " (Link(height=1580, left=0, right=1),\n",
- " Link(height=1581, left=1, right=21),\n",
- " Link(height=1582, left=0, right=1),\n",
- " Link(height=1583, left=1, right=21)),\n",
- " (Link(height=1612, left=15, right=22),\n",
- " Link(height=1617, left=7, right=15),\n",
- " Link(height=1618, left=15, right=22),\n",
- " Link(height=1619, left=7, right=15)),\n",
- " (Link(height=1644, left=12, right=18),\n",
- " Link(height=1646, left=12, right=20),\n",
- " Link(height=1647, left=12, right=18),\n",
- " Link(height=1648, left=12, right=20)),\n",
- " (Link(height=1716, left=13, right=24),\n",
- " Link(height=1719, left=14, right=24),\n",
- " Link(height=1720, left=13, right=24),\n",
- " Link(height=1721, left=14, right=24)),\n",
- " (Link(height=1735, left=3, right=24),\n",
- " Link(height=1736, left=3, right=21),\n",
- " Link(height=1737, left=3, right=24),\n",
- " Link(height=1738, left=3, right=21)),\n",
- " (Link(height=1736, left=3, right=21),\n",
- " Link(height=1737, left=3, right=24),\n",
- " Link(height=1738, left=3, right=21),\n",
- " Link(height=1739, left=3, right=24)),\n",
- " (Link(height=1776, left=0, right=21),\n",
- " Link(height=1777, left=13, right=21),\n",
- " Link(height=1778, left=0, right=21),\n",
- " Link(height=1779, left=13, right=21)),\n",
- " (Link(height=1783, left=7, right=9),\n",
- " Link(height=1784, left=7, right=12),\n",
- " Link(height=1785, left=7, right=9),\n",
- " Link(height=1786, left=7, right=12)),\n",
- " (Link(height=1929, left=10, right=24),\n",
- " Link(height=1930, left=8, right=24),\n",
- " Link(height=1931, left=10, right=24),\n",
- " Link(height=1932, left=8, right=24)),\n",
- " (Link(height=1935, left=4, right=23),\n",
- " Link(height=1936, left=3, right=4),\n",
- " Link(height=1937, left=4, right=23),\n",
- " Link(height=1938, left=3, right=4)),\n",
- " (Link(height=2043, left=4, right=7),\n",
- " Link(height=2044, left=7, right=15),\n",
- " Link(height=2045, left=4, right=7),\n",
- " Link(height=2046, left=7, right=15)),\n",
- " (Link(height=2045, left=8, right=19),\n",
- " Link(height=2051, left=8, right=15),\n",
- " Link(height=2052, left=8, right=19),\n",
- " Link(height=2053, left=8, right=15)),\n",
- " (Link(height=2172, left=10, right=15),\n",
- " Link(height=2173, left=10, right=16),\n",
- " Link(height=2174, left=10, right=15),\n",
- " Link(height=2175, left=10, right=16)),\n",
- " (Link(height=2214, left=22, right=24),\n",
- " Link(height=2215, left=7, right=22),\n",
- " Link(height=2216, left=22, right=24),\n",
- " Link(height=2217, left=7, right=22)),\n",
- " (Link(height=2231, left=5, right=6),\n",
- " Link(height=2232, left=6, right=14),\n",
- " Link(height=2233, left=5, right=6),\n",
- " Link(height=2234, left=6, right=14))]"
+ "[(Link(height=49, left=10, right=20),\n",
+ " Link(height=50, left=2, right=20),\n",
+ " Link(height=51, left=10, right=20),\n",
+ " Link(height=52, left=2, right=20)),\n",
+ " (Link(height=54, left=2, right=24),\n",
+ " Link(height=55, left=3, right=24),\n",
+ " Link(height=56, left=2, right=24),\n",
+ " Link(height=57, left=3, right=24)),\n",
+ " (Link(height=62, left=2, right=15),\n",
+ " Link(height=63, left=0, right=15),\n",
+ " Link(height=64, left=2, right=15),\n",
+ " Link(height=65, left=0, right=15)),\n",
+ " (Link(height=114, left=14, right=18),\n",
+ " Link(height=115, left=3, right=18),\n",
+ " Link(height=116, left=14, right=18),\n",
+ " Link(height=117, left=3, right=18)),\n",
+ " (Link(height=138, left=13, right=19),\n",
+ " Link(height=139, left=8, right=19),\n",
+ " Link(height=140, left=13, right=19),\n",
+ " Link(height=141, left=8, right=19)),\n",
+ " (Link(height=160, left=12, right=13),\n",
+ " Link(height=161, left=4, right=12),\n",
+ " Link(height=162, left=12, right=13),\n",
+ " Link(height=163, left=4, right=12)),\n",
+ " (Link(height=315, left=23, right=24),\n",
+ " Link(height=320, left=20, right=23),\n",
+ " Link(height=321, left=23, right=24),\n",
+ " Link(height=322, left=20, right=23)),\n",
+ " (Link(height=324, left=3, right=18),\n",
+ " Link(height=325, left=16, right=18),\n",
+ " Link(height=326, left=3, right=18),\n",
+ " Link(height=327, left=16, right=18)),\n",
+ " (Link(height=342, left=21, right=22),\n",
+ " Link(height=345, left=1, right=22),\n",
+ " Link(height=346, left=21, right=22),\n",
+ " Link(height=347, left=1, right=22)),\n",
+ " (Link(height=405, left=8, right=19),\n",
+ " Link(height=406, left=4, right=8),\n",
+ " Link(height=407, left=8, right=19),\n",
+ " Link(height=408, left=4, right=8)),\n",
+ " (Link(height=468, left=11, right=22),\n",
+ " Link(height=469, left=15, right=22),\n",
+ " Link(height=470, left=11, right=22),\n",
+ " Link(height=471, left=15, right=22)),\n",
+ " (Link(height=549, left=1, right=2),\n",
+ " Link(height=550, left=1, right=6),\n",
+ " Link(height=551, left=1, right=2),\n",
+ " Link(height=552, left=1, right=6)),\n",
+ " (Link(height=568, left=16, right=21),\n",
+ " Link(height=569, left=11, right=21),\n",
+ " Link(height=570, left=16, right=21),\n",
+ " Link(height=571, left=11, right=21)),\n",
+ " (Link(height=608, left=17, right=20),\n",
+ " Link(height=609, left=2, right=17),\n",
+ " Link(height=610, left=17, right=20),\n",
+ " Link(height=611, left=2, right=17)),\n",
+ " (Link(height=613, left=18, right=21),\n",
+ " Link(height=618, left=18, right=19),\n",
+ " Link(height=619, left=18, right=21),\n",
+ " Link(height=620, left=18, right=19)),\n",
+ " (Link(height=635, left=2, right=4),\n",
+ " Link(height=636, left=4, right=20),\n",
+ " Link(height=637, left=2, right=4),\n",
+ " Link(height=638, left=4, right=20)),\n",
+ " (Link(height=681, left=7, right=20),\n",
+ " Link(height=682, left=20, right=22),\n",
+ " Link(height=683, left=7, right=20),\n",
+ " Link(height=684, left=20, right=22)),\n",
+ " (Link(height=750, left=23, right=24),\n",
+ " Link(height=751, left=18, right=24),\n",
+ " Link(height=752, left=23, right=24),\n",
+ " Link(height=753, left=18, right=24)),\n",
+ " (Link(height=760, left=12, right=18),\n",
+ " Link(height=761, left=17, right=18),\n",
+ " Link(height=762, left=12, right=18),\n",
+ " Link(height=763, left=17, right=18)),\n",
+ " (Link(height=765, left=0, right=9),\n",
+ " Link(height=766, left=0, right=14),\n",
+ " Link(height=767, left=0, right=9),\n",
+ " Link(height=768, left=0, right=14)),\n",
+ " (Link(height=805, left=16, right=22),\n",
+ " Link(height=806, left=0, right=16),\n",
+ " Link(height=807, left=16, right=22),\n",
+ " Link(height=808, left=0, right=16)),\n",
+ " (Link(height=834, left=1, right=6),\n",
+ " Link(height=835, left=3, right=6),\n",
+ " Link(height=836, left=1, right=6),\n",
+ " Link(height=837, left=3, right=6)),\n",
+ " (Link(height=881, left=2, right=12),\n",
+ " Link(height=882, left=2, right=23),\n",
+ " Link(height=883, left=2, right=12),\n",
+ " Link(height=884, left=2, right=23)),\n",
+ " (Link(height=904, left=12, right=23),\n",
+ " Link(height=905, left=12, right=14),\n",
+ " Link(height=906, left=12, right=23),\n",
+ " Link(height=907, left=12, right=14)),\n",
+ " (Link(height=936, left=7, right=17),\n",
+ " Link(height=937, left=15, right=17),\n",
+ " Link(height=938, left=7, right=17),\n",
+ " Link(height=939, left=15, right=17)),\n",
+ " (Link(height=1010, left=4, right=6),\n",
+ " Link(height=1011, left=6, right=17),\n",
+ " Link(height=1012, left=4, right=6),\n",
+ " Link(height=1013, left=6, right=17)),\n",
+ " (Link(height=1030, left=1, right=12),\n",
+ " Link(height=1031, left=1, right=20),\n",
+ " Link(height=1032, left=1, right=12),\n",
+ " Link(height=1033, left=1, right=20)),\n",
+ " (Link(height=1197, left=2, right=9),\n",
+ " Link(height=1198, left=9, right=22),\n",
+ " Link(height=1199, left=2, right=9),\n",
+ " Link(height=1200, left=9, right=22)),\n",
+ " (Link(height=1222, left=2, right=3),\n",
+ " Link(height=1223, left=2, right=5),\n",
+ " Link(height=1224, left=2, right=3),\n",
+ " Link(height=1225, left=2, right=5)),\n",
+ " (Link(height=1318, left=12, right=23),\n",
+ " Link(height=1319, left=4, right=12),\n",
+ " Link(height=1320, left=12, right=23),\n",
+ " Link(height=1321, left=4, right=12)),\n",
+ " (Link(height=1341, left=17, right=22),\n",
+ " Link(height=1342, left=11, right=17),\n",
+ " Link(height=1343, left=17, right=22),\n",
+ " Link(height=1344, left=11, right=17)),\n",
+ " (Link(height=1396, left=4, right=9),\n",
+ " Link(height=1397, left=3, right=9),\n",
+ " Link(height=1398, left=4, right=9),\n",
+ " Link(height=1399, left=3, right=9)),\n",
+ " (Link(height=1426, left=18, right=24),\n",
+ " Link(height=1427, left=17, right=18),\n",
+ " Link(height=1428, left=18, right=24),\n",
+ " Link(height=1429, left=17, right=18)),\n",
+ " (Link(height=1456, left=2, right=15),\n",
+ " Link(height=1457, left=3, right=15),\n",
+ " Link(height=1458, left=2, right=15),\n",
+ " Link(height=1459, left=3, right=15)),\n",
+ " (Link(height=1505, left=13, right=18),\n",
+ " Link(height=1506, left=13, right=21),\n",
+ " Link(height=1507, left=13, right=18),\n",
+ " Link(height=1508, left=13, right=21)),\n",
+ " (Link(height=1551, left=10, right=12),\n",
+ " Link(height=1552, left=4, right=12),\n",
+ " Link(height=1553, left=10, right=12),\n",
+ " Link(height=1554, left=4, right=12)),\n",
+ " (Link(height=1622, left=4, right=11),\n",
+ " Link(height=1623, left=11, right=16),\n",
+ " Link(height=1624, left=4, right=11),\n",
+ " Link(height=1625, left=11, right=16)),\n",
+ " (Link(height=1653, left=8, right=24),\n",
+ " Link(height=1654, left=4, right=8),\n",
+ " Link(height=1655, left=8, right=24),\n",
+ " Link(height=1656, left=4, right=8)),\n",
+ " (Link(height=1688, left=0, right=5),\n",
+ " Link(height=1689, left=0, right=23),\n",
+ " Link(height=1690, left=0, right=5),\n",
+ " Link(height=1691, left=0, right=23)),\n",
+ " (Link(height=1724, left=10, right=23),\n",
+ " Link(height=1725, left=10, right=11),\n",
+ " Link(height=1726, left=10, right=23),\n",
+ " Link(height=1727, left=10, right=11)),\n",
+ " (Link(height=1863, left=1, right=12),\n",
+ " Link(height=1864, left=1, right=13),\n",
+ " Link(height=1865, left=1, right=12),\n",
+ " Link(height=1866, left=1, right=13)),\n",
+ " (Link(height=1873, left=10, right=22),\n",
+ " Link(height=1874, left=10, right=15),\n",
+ " Link(height=1875, left=10, right=22),\n",
+ " Link(height=1876, left=10, right=15)),\n",
+ " (Link(height=1879, left=18, right=20),\n",
+ " Link(height=1880, left=17, right=20),\n",
+ " Link(height=1881, left=18, right=20),\n",
+ " Link(height=1882, left=17, right=20)),\n",
+ " (Link(height=1916, left=18, right=19),\n",
+ " Link(height=1917, left=7, right=18),\n",
+ " Link(height=1918, left=18, right=19),\n",
+ " Link(height=1919, left=7, right=18)),\n",
+ " (Link(height=1961, left=11, right=20),\n",
+ " Link(height=1962, left=7, right=20),\n",
+ " Link(height=1963, left=11, right=20),\n",
+ " Link(height=1964, left=7, right=20)),\n",
+ " (Link(height=1962, left=9, right=18),\n",
+ " Link(height=1963, left=18, right=19),\n",
+ " Link(height=1964, left=9, right=18),\n",
+ " Link(height=1965, left=18, right=19)),\n",
+ " (Link(height=2031, left=3, right=6),\n",
+ " Link(height=2032, left=3, right=4),\n",
+ " Link(height=2033, left=3, right=6),\n",
+ " Link(height=2034, left=3, right=4)),\n",
+ " (Link(height=2077, left=2, right=9),\n",
+ " Link(height=2078, left=2, right=23),\n",
+ " Link(height=2079, left=2, right=9),\n",
+ " Link(height=2080, left=2, right=23)),\n",
+ " (Link(height=2165, left=1, right=8),\n",
+ " Link(height=2166, left=4, right=8),\n",
+ " Link(height=2167, left=1, right=8),\n",
+ " Link(height=2168, left=4, right=8)),\n",
+ " (Link(height=2185, left=6, right=21),\n",
+ " Link(height=2186, left=11, right=21),\n",
+ " Link(height=2187, left=6, right=21),\n",
+ " Link(height=2188, left=11, right=21))]"