mapFolding 0.15.3__py3-none-any.whl → 0.15.4__py3-none-any.whl

mapFolding/_oeisFormulas/Z0Z_symmetry.py

@@ -1,131 +0,0 @@
-from mapFolding._oeisFormulas.A000682 import A000682
-
-"""
-
-How to A000682:
-- Start A000682 for n.
-- Find A000560(n-1) in dictionaryCurveLocationsKnown or dictionaryCurveLocationsDiscovered.
-- STOP computing.
-- Double the total.
-That is A000682.
-
-
-How to A259703:
-- Start A000682 for n.
-- Find n-1 keys in dictionaryCurveLocationsKnown or dictionaryCurveLocationsDiscovered.
-- Descending sort.
-That is a A259703 row.
-
-https://oeis.org/A259703
-
-SYMMETRY!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-
-     1;
-     1,    1;
-     2,    1,    1;
-     5,    2,    2,   1;
-    12,    5,    4,   2,   1;
-    33,   13,   12,   4,   3,   1;
-    87,   35,   30,  12,   6,   3,  1;
-   252,   98,   90,  32,  21,   6,  4,  1;
-   703,  278,  243,  94,  54,  21,  8,  4,  1;
-  2105,  812,  745, 270, 175,  57, 32,  8,  5, 1;
-  6099, 2385, 2108, 808, 485, 181, 84, 32, 10, 5, 1;
-
-
-n+1
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-Row sums are A000682. First column is A000560.
-
-     n/a;
-     1=    1;
-     2=    1+    1;
-     5=    2+    2+   1;
-    12=    5+    4+   2+   1;
-    33=   13+   12+   4+   3+   1;
-    87=   35+   30+  12+   6+   3+  1;
-   252=   98+   90+  32+  21+   6+  4+  1;
-   703=  278+  243+  94+  54+  21+  8+  4+  1;
-  2105=  812+  745+ 270+ 175+  57+ 32+  8+  5+ 1;
-  6099= 2385+ 2108+ 808+ 485+ 181+ 84+ 32+ 10+ 5+ 1;
-
-print(1==    1)
-print(2==    1+    1)
-print(5==    2+    2+   1)
-print(12==    5+    4+   2+   1)
-print(33==   13+   12+   4+   3+   1)
-print(87==   35+   30+  12+   6+   3+  1)
-print(252==   98+   90+  32+  21+   6+  4+  1)
-print(703==  278+  243+  94+  54+  21+  8+  4+  1)
-print(2105==  812+  745+ 270+ 175+  57+ 32+  8+  5+ 1)
-print(6099== 2385+ 2108+ 808+ 485+ 181+ 84+ 32+ 10+ 5+ 1)
-
-
-"""
-
-listA259703rowTerms = [1, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [2, 1, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [5, 2, 2, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [12, 5, 4, 2, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [33, 13, 12, 4, 3, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [87, 35, 30, 12, 6, 3, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [252, 98, 90, 32, 21, 6, 4, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [703, 278, 243, 94, 54, 21, 8, 4, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [2105, 812, 745, 270, 175, 57, 32, 8, 5, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-
-listA259703rowTerms = [6099, 2385, 2108, 808, 485, 181, 84, 32, 10, 5, 1]
-n = len(listA259703rowTerms) + 1
-rowSum = sum(listA259703rowTerms)
-A000682for_n = A000682(n)
-print(rowSum == A000682for_n, f"{n = }, {A000682for_n = }, {rowSum = }")
-

mapFolding/_oeisFormulas/__init__.py

@@ -1 +0,0 @@
-"""OEIS formula collection and analysis."""

mapFolding/_oeisFormulas/matrixMeanders.py

@@ -1,134 +0,0 @@
-def count(bridges: int, startingCurveLocations: dict[int, int]) -> int:
-	listCurveMaximums: list[tuple[int, int, int]] = [
-(0x15, 0x2a, 0x10),
-(0x55, 0xaa, 0x40),
-(0x155, 0x2aa, 0x100),
-(0x555, 0xaaa, 0x400),
-(0x1555, 0x2aaa, 0x1000),
-(0x5555, 0xaaaa, 0x4000),
-(0x15555, 0x2aaaa, 0x10000),
-(0x55555, 0xaaaaa, 0x40000),
-(0x155555, 0x2aaaaa, 0x100000),
-(0x555555, 0xaaaaaa, 0x400000),
-(0x1555555, 0x2aaaaaa, 0x1000000),
-(0x5555555, 0xaaaaaaa, 0x4000000),
-(0x15555555, 0x2aaaaaaa, 0x10000000),
-(0x55555555, 0xaaaaaaaa, 0x40000000), # `bridges = 13`, 0xaaaaaaaa.bit_length() = 32
-(0x155555555, 0x2aaaaaaaa, 0x100000000),
-(0x555555555, 0xaaaaaaaaa, 0x400000000),
-(0x1555555555, 0x2aaaaaaaaa, 0x1000000000),
-(0x5555555555, 0xaaaaaaaaaa, 0x4000000000),
-(0x15555555555, 0x2aaaaaaaaaa, 0x10000000000),
-(0x55555555555, 0xaaaaaaaaaaa, 0x40000000000),
-(0x155555555555, 0x2aaaaaaaaaaa, 0x100000000000),
-(0x555555555555, 0xaaaaaaaaaaaa, 0x400000000000),
-(0x1555555555555, 0x2aaaaaaaaaaaa, 0x1000000000000),
-(0x5555555555555, 0xaaaaaaaaaaaaa, 0x4000000000000),
-(0x15555555555555, 0x2aaaaaaaaaaaaa, 0x10000000000000),
-(0x55555555555555, 0xaaaaaaaaaaaaaa, 0x40000000000000),
-(0x155555555555555, 0x2aaaaaaaaaaaaaa, 0x100000000000000),
-(0x555555555555555, 0xaaaaaaaaaaaaaaa, 0x400000000000000),
-(0x1555555555555555, 0x2aaaaaaaaaaaaaaa, 0x1000000000000000),
-(0x5555555555555555, 0xaaaaaaaaaaaaaaaa, 0x4000000000000000), # 0x5000000000000000.bit_length() = 63; 0xaaaaaaaaaaaaaaaa.bit_length() = 64; 0x5555555555555555.bit_length() = 63
-(0x15555555555555555, 0x2aaaaaaaaaaaaaaaa, 0x10000000000000000),
-(0x55555555555555555, 0xaaaaaaaaaaaaaaaaa, 0x40000000000000000),
-(0x155555555555555555, 0x2aaaaaaaaaaaaaaaaa, 0x100000000000000000),
-(0x555555555555555555, 0xaaaaaaaaaaaaaaaaaa, 0x400000000000000000),
-(0x1555555555555555555, 0x2aaaaaaaaaaaaaaaaaa, 0x1000000000000000000),
-(0x5555555555555555555, 0xaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000),
-(0x15555555555555555555, 0x2aaaaaaaaaaaaaaaaaaa, 0x10000000000000000000),
-(0x55555555555555555555, 0xaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000),
-(0x155555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000),
-(0x555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000),
-(0x1555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000),
-(0x5555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000),
-(0x15555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000),
-(0x55555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000),
-(0x155555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000000),
-(0x555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000000),
-(0x1555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000000),
-(0x5555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000000),
-(0x15555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000000),
-(0x55555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000000),
-(0x155555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000000000),
-(0x555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000000000),
-(0x1555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000000000),
-(0x5555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000000000),
-(0x15555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000000000),
-(0x55555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000000000),
-(0x155555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000000000000),
-(0x555555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000000000000),
-(0x1555555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000000000000),
-(0x5555555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000000000000),
-(0x15555555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000000000000),
-(0x55555555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000000000000),
-]
-	"""`bridges = 29`
-	0x5000000000000000.bit_length() = 63;
-	0xaaaaaaaaaaaaaaaa.bit_length() = 64;
-	0x5555555555555555.bit_length() = 63"""
-
-	listCurveMaximums = listCurveMaximums[0:bridges]
-
-	dictionaryCurveLocations: dict[int, int] = {}
-	while bridges > 0:
-		bridges -= 1
-
-		bifurcationAlphaLocator, bifurcationZuluLocator, curveLocationsMAXIMUM = listCurveMaximums[bridges]
-
-		for curveLocations, distinctCrossings in startingCurveLocations.items():
-			bifurcationAlpha = (curveLocations & bifurcationAlphaLocator)
-			bifurcationZulu = (curveLocations & bifurcationZuluLocator) >> 1
-
-			bifurcationAlphaHasCurves = bifurcationAlpha != 1
-			bifurcationZuluHasCurves = bifurcationZulu != 1
-
-			# Z0Z_simpleBridges
-			curveLocationAnalysis = ((bifurcationAlpha | (bifurcationZulu << 1)) << 2) | 3
-			if curveLocationAnalysis < curveLocationsMAXIMUM:
-				dictionaryCurveLocations[curveLocationAnalysis] = dictionaryCurveLocations.get(curveLocationAnalysis, 0) + distinctCrossings
-
-			# bifurcationAlphaCurves
-			if bifurcationAlphaHasCurves:
-				curveLocationAnalysis = (bifurcationAlpha >> 2) | (bifurcationZulu << 3) | ((bifurcationAlphaIsEven := 1 - (bifurcationAlpha & 0b1)) << 1)
-				if curveLocationAnalysis < curveLocationsMAXIMUM:
-					dictionaryCurveLocations[curveLocationAnalysis] = dictionaryCurveLocations.get(curveLocationAnalysis, 0) + distinctCrossings
-
-			# bifurcationZuluCurves
-			if bifurcationZuluHasCurves:
-				curveLocationAnalysis = (bifurcationZulu >> 1) | (bifurcationAlpha << 2) | (bifurcationZuluIsEven := 1 - (bifurcationZulu & 1))
-				if curveLocationAnalysis < curveLocationsMAXIMUM:
-					dictionaryCurveLocations[curveLocationAnalysis] = dictionaryCurveLocations.get(curveLocationAnalysis, 0) + distinctCrossings
-
-			# Z0Z_alignedBridges
-			if bifurcationZuluHasCurves and bifurcationAlphaHasCurves:
-				# One Truth-check to select a code path
-				bifurcationsCanBePairedTogether = (bifurcationZuluIsEven << 1) | bifurcationAlphaIsEven # pyright: ignore[reportPossiblyUnboundVariable]
-
-				if bifurcationsCanBePairedTogether != 0:  # Case 0 (False, False)
-					XOrHere2makePair = 0b1
-					findUnpaired_0b1 = 0
-
-					if bifurcationsCanBePairedTogether == 1:  # Case 1: (False, True)
-						while findUnpaired_0b1 >= 0:
-							XOrHere2makePair <<= 2
-							findUnpaired_0b1 += 1 if (bifurcationAlpha & XOrHere2makePair) == 0 else -1
-						bifurcationAlpha ^= XOrHere2makePair
-					elif bifurcationsCanBePairedTogether == 2:  # Case 2: (True, False)
-						while findUnpaired_0b1 >= 0:
-							XOrHere2makePair <<= 2
-							findUnpaired_0b1 += 1 if (bifurcationZulu & XOrHere2makePair) == 0 else -1
-						bifurcationZulu ^= XOrHere2makePair
-
-					# Cases 1, 2, and 3 all compute curveLocationAnalysis
-# TODO https://github.com/hunterhogan/mapFolding/issues/19
-					curveLocationAnalysis = ((bifurcationZulu >> 2) << 1) | (bifurcationAlpha >> 2)
-					if curveLocationAnalysis < curveLocationsMAXIMUM:
-						dictionaryCurveLocations[curveLocationAnalysis] = dictionaryCurveLocations.get(curveLocationAnalysis, 0) + distinctCrossings
-
-		startingCurveLocations.clear()
-		startingCurveLocations, dictionaryCurveLocations = dictionaryCurveLocations, startingCurveLocations
-
-		# print(sum(startingCurveLocations.values()))
-	return sum(startingCurveLocations.values())
-

mapFolding/_oeisFormulas/matrixMeandersAnnex.py

@@ -1,84 +0,0 @@
-from typing import NamedTuple
-import sys
-
-class limitLocators(NamedTuple):
-	bifurcationAlphaLocator: int
-	bifurcationZuluLocator: int
-	curveLocationsMAXIMUM: int
-
-curveMaximum: dict[int, limitLocators] = {
-0: limitLocators(0x15, 0x2a, 0x10),
-1: limitLocators(0x55, 0xaa, 0x40),
-2: limitLocators(0x155, 0x2aa, 0x100),
-3: limitLocators(0x555, 0xaaa, 0x400),
-4: limitLocators(0x1555, 0x2aaa, 0x1000),
-5: limitLocators(0x5555, 0xaaaa, 0x4000),
-6: limitLocators(0x15555, 0x2aaaa, 0x10000),
-7: limitLocators(0x55555, 0xaaaaa, 0x40000),
-8: limitLocators(0x155555, 0x2aaaaa, 0x100000),
-9: limitLocators(0x555555, 0xaaaaaa, 0x400000),
-10: limitLocators(0x1555555, 0x2aaaaaa, 0x1000000),
-11: limitLocators(0x5555555, 0xaaaaaaa, 0x4000000),
-12: limitLocators(0x15555555, 0x2aaaaaaa, 0x10000000),
-13: limitLocators(0x55555555, 0xaaaaaaaa, 0x40000000),
-14: limitLocators(0x155555555, 0x2aaaaaaaa, 0x100000000),
-15: limitLocators(0x555555555, 0xaaaaaaaaa, 0x400000000),
-16: limitLocators(0x1555555555, 0x2aaaaaaaaa, 0x1000000000),
-17: limitLocators(0x5555555555, 0xaaaaaaaaaa, 0x4000000000),
-18: limitLocators(0x15555555555, 0x2aaaaaaaaaa, 0x10000000000),
-19: limitLocators(0x55555555555, 0xaaaaaaaaaaa, 0x40000000000),
-20: limitLocators(0x155555555555, 0x2aaaaaaaaaaa, 0x100000000000),
-21: limitLocators(0x555555555555, 0xaaaaaaaaaaaa, 0x400000000000),
-22: limitLocators(0x1555555555555, 0x2aaaaaaaaaaaa, 0x1000000000000),
-23: limitLocators(0x5555555555555, 0xaaaaaaaaaaaaa, 0x4000000000000),
-24: limitLocators(0x15555555555555, 0x2aaaaaaaaaaaaa, 0x10000000000000),
-25: limitLocators(0x55555555555555, 0xaaaaaaaaaaaaaa, 0x40000000000000),
-26: limitLocators(0x155555555555555, 0x2aaaaaaaaaaaaaa, 0x100000000000000),
-27: limitLocators(0x555555555555555, 0xaaaaaaaaaaaaaaa, 0x400000000000000),
-28: limitLocators(0x1555555555555555, 0x2aaaaaaaaaaaaaaa, 0x1000000000000000),
-29: limitLocators(0x5555555555555555, 0xaaaaaaaaaaaaaaaa, 0x4000000000000000),
-30: limitLocators(0x15555555555555555, 0x2aaaaaaaaaaaaaaaa, 0x10000000000000000),
-31: limitLocators(0x55555555555555555, 0xaaaaaaaaaaaaaaaaa, 0x40000000000000000),
-32: limitLocators(0x155555555555555555, 0x2aaaaaaaaaaaaaaaaa, 0x100000000000000000),
-33: limitLocators(0x555555555555555555, 0xaaaaaaaaaaaaaaaaaa, 0x400000000000000000),
-34: limitLocators(0x1555555555555555555, 0x2aaaaaaaaaaaaaaaaaa, 0x1000000000000000000),
-35: limitLocators(0x5555555555555555555, 0xaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000),
-36: limitLocators(0x15555555555555555555, 0x2aaaaaaaaaaaaaaaaaaa, 0x10000000000000000000),
-37: limitLocators(0x55555555555555555555, 0xaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000),
-38: limitLocators(0x155555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000),
-39: limitLocators(0x555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000),
-40: limitLocators(0x1555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000),
-41: limitLocators(0x5555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000),
-42: limitLocators(0x15555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000),
-43: limitLocators(0x55555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000),
-44: limitLocators(0x155555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000000),
-45: limitLocators(0x555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000000),
-46: limitLocators(0x1555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000000),
-47: limitLocators(0x5555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000000),
-48: limitLocators(0x15555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000000),
-49: limitLocators(0x55555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000000),
-50: limitLocators(0x155555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000000000),
-51: limitLocators(0x555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000000000),
-52: limitLocators(0x1555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000000000),
-53: limitLocators(0x5555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000000000),
-54: limitLocators(0x15555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000000000),
-55: limitLocators(0x55555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000000000),
-56: limitLocators(0x155555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x100000000000000000000000000000),
-57: limitLocators(0x555555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x400000000000000000000000000000),
-58: limitLocators(0x1555555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x1000000000000000000000000000000),
-59: limitLocators(0x5555555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x4000000000000000000000000000000),
-60: limitLocators(0x15555555555555555555555555555555, 0x2aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x10000000000000000000000000000000),
-61: limitLocators(0x55555555555555555555555555555555, 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0x40000000000000000000000000000000),
-}
-
-def makeCurveMaximum() -> None:
-	sys.stdout.write("curveMaximum: dict[int, limitLocators] = {\n")
-	for n in range(62):
-		curveLocationsMAXIMUM = 1 << (2 * n + 4)
-		bifurcationAlphaLocator = int('01' * ((curveLocationsMAXIMUM.bit_length() + 1) // 2), 2)
-		sys.stdout.write(f"{n}: limitLocators({hex(bifurcationAlphaLocator)}, {hex(bifurcationAlphaLocator << 1)}, {hex(curveLocationsMAXIMUM)}),\n")
-	sys.stdout.write("}\n")
-
-if __name__ == '__main__':
-	makeCurveMaximum()
-