{ "schemaVersion": "fengshui-computer/mathematics-examples-v1", "conventions": { "deletionPositions": "one-based current-row positions; restart counting each pass", "summation": "inclusive prefix sum across all retained blocks; do not reset at block boundaries", "integerEncoding": "unreduced arithmetic values are decimal strings", "flightPath": [ "C", "NW", "W", "NE", "S", "N", "SW", "E", "SE" ], "southUpPalaces": [ [ "SE", "S", "SW" ], [ "E", "C", "W" ], [ "NE", "N", "NW" ] ], "projection": "1 + ((centre - 1 + direction * ((i + 1)^degree - 1)) mod 9)", "modulo": "least nonnegative remainder" }, "finiteTables": [ { "degree": 2, "count": 4, "initial": [ "1", "2", "3", "4", "5", "6", "7", "8" ], "stages": [ { "stride": 2, "input": [ "1", "2", "3", "4", "5", "6", "7", "8" ], "removed": [ false, true, false, true, false, true, false, true ], "removedPositions": [ 2, 4, 6, 8 ], "kept": [ "1", "3", "5", "7" ], "sums": [ "1", "4", "9", "16" ] } ], "values": [ "1", "4", "9", "16" ] }, { "degree": 3, "count": 4, "initial": [ "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12" ], "stages": [ { "stride": 3, "input": [ "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12" ], "removed": [ false, false, true, false, false, true, false, false, true, false, false, true ], "removedPositions": [ 3, 6, 9, 12 ], "kept": [ "1", "2", "4", "5", "7", "8", "10", "11" ], "sums": [ "1", "3", "7", "12", "19", "27", "37", "48" ] }, { "stride": 2, "input": [ "1", "3", "7", "12", "19", "27", "37", "48" ], "removed": [ false, true, false, true, false, true, false, true ], "removedPositions": [ 2, 4, 6, 8 ], "kept": [ "1", "7", "19", "37" ], "sums": [ "1", "8", "27", "64" ] } ], "values": [ "1", "8", "27", "64" ] }, { "degree": 4, "count": 4, "initial": [ "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15", "16" ], "stages": [ { "stride": 4, "input": [ "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15", "16" ], "removed": [ false, false, false, true, false, false, false, true, false, false, false, true, false, false, false, true ], "removedPositions": [ 4, 8, 12, 16 ], "kept": [ "1", "2", "3", "5", "6", "7", "9", "10", "11", "13", "14", "15" ], "sums": [ "1", "3", "6", "11", "17", "24", "33", "43", "54", "67", "81", "96" ] }, { "stride": 3, "input": [ "1", "3", "6", "11", "17", "24", "33", "43", "54", "67", "81", "96" ], "removed": [ false, false, true, false, false, true, false, false, true, false, false, true ], "removedPositions": [ 3, 6, 9, 12 ], "kept": [ "1", "3", "11", "17", "33", "43", "67", "81" ], "sums": [ "1", "4", "15", "32", "65", "108", "175", "256" ] }, { "stride": 2, "input": [ "1", "4", "15", "32", "65", "108", "175", "256" ], "removed": [ false, true, false, true, false, true, false, true ], "removedPositions": [ 2, 4, 6, 8 ], "kept": [ "1", "15", "65", "175" ], "sums": [ "1", "16", "81", "256" ] } ], "values": [ "1", "16", "81", "256" ] } ], "prefixLengths": [ { "degree": 1, "count": 4, "completeBlockLength": 4, "minimalLength": 4 }, { "degree": 2, "count": 4, "completeBlockLength": 8, "minimalLength": 7 }, { "degree": 3, "count": 4, "completeBlockLength": 12, "minimalLength": 10 }, { "degree": 4, "count": 4, "completeBlockLength": 16, "minimalLength": 13 }, { "degree": 5, "count": 4, "completeBlockLength": 20, "minimalLength": 16 }, { "degree": 6, "count": 4, "completeBlockLength": 24, "minimalLength": 19 }, { "degree": 7, "count": 4, "completeBlockLength": 28, "minimalLength": 22 }, { "degree": 8, "count": 4, "completeBlockLength": 32, "minimalLength": 25 }, { "degree": 9, "count": 4, "completeBlockLength": 36, "minimalLength": 28 } ], "nineStarCases": [ { "degree": 1, "centre": 9, "direction": 1, "sequence": [ "1", "2", "3", "4", "5", "6", "7", "8", "9" ], "offsets": [ "0", "1", "2", "3", "4", "5", "6", "7", "8" ], "powerResidues": [ 1, 2, 3, 4, 5, 6, 7, 8, 0 ], "stars": [ 9, 1, 2, 3, 4, 5, 6, 7, 8 ], "distinct": 9, "counts": { "1": 1, "2": 1, "3": 1, "4": 1, "5": 1, "6": 1, "7": 1, "8": 1, "9": 1 }, "southUpRows": [ [ 8, 4, 6 ], [ 7, 9, 2 ], [ 3, 5, 1 ] ] }, { "degree": 2, "centre": 9, "direction": 1, "sequence": [ "1", "4", "9", "16", "25", "36", "49", "64", "81" ], "offsets": [ "0", "3", "8", "15", "24", "35", "48", "63", "80" ], "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "stars": [ 9, 3, 8, 6, 6, 8, 3, 9, 8 ], "distinct": 4, "counts": { "1": 0, "2": 0, "3": 2, "4": 0, "5": 0, "6": 2, "7": 0, "8": 3, "9": 2 }, "southUpRows": [ [ 8, 6, 3 ], [ 9, 9, 8 ], [ 6, 8, 3 ] ] }, { "degree": 3, "centre": 9, "direction": 1, "sequence": [ "1", "8", "27", "64", "125", "216", "343", "512", "729" ], "offsets": [ "0", "7", "26", "63", "124", "215", "342", "511", "728" ], "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "stars": [ 9, 7, 8, 9, 7, 8, 9, 7, 8 ], "distinct": 3, "counts": { "1": 0, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 3, "8": 3, "9": 3 }, "southUpRows": [ [ 8, 7, 9 ], [ 7, 9, 8 ], [ 9, 8, 7 ] ] }, { "degree": 4, "centre": 9, "direction": 1, "sequence": [ "1", "16", "81", "256", "625", "1296", "2401", "4096", "6561" ], "offsets": [ "0", "15", "80", "255", "624", "1295", "2400", "4095", "6560" ], "powerResidues": [ 1, 7, 0, 4, 4, 0, 7, 1, 0 ], "stars": [ 9, 6, 8, 3, 3, 8, 6, 9, 8 ], "distinct": 4, "counts": { "1": 0, "2": 0, "3": 2, "4": 0, "5": 0, "6": 2, "7": 0, "8": 3, "9": 2 }, "southUpRows": [ [ 8, 3, 6 ], [ 9, 9, 8 ], [ 3, 8, 6 ] ] }, { "degree": 5, "centre": 9, "direction": 1, "sequence": [ "1", "32", "243", "1024", "3125", "7776", "16807", "32768", "59049" ], "offsets": [ "0", "31", "242", "1023", "3124", "7775", "16806", "32767", "59048" ], "powerResidues": [ 1, 5, 0, 7, 2, 0, 4, 8, 0 ], "stars": [ 9, 4, 8, 6, 1, 8, 3, 7, 8 ], "distinct": 7, "counts": { "1": 1, "2": 0, "3": 1, "4": 1, "5": 0, "6": 1, "7": 1, "8": 3, "9": 1 }, "southUpRows": [ [ 8, 1, 3 ], [ 7, 9, 8 ], [ 6, 8, 4 ] ] }, { "degree": 6, "centre": 9, "direction": 1, "sequence": [ "1", "64", "729", "4096", "15625", "46656", "117649", "262144", "531441" ], "offsets": [ "0", "63", "728", "4095", "15624", "46655", "117648", "262143", "531440" ], "powerResidues": [ 1, 1, 0, 1, 1, 0, 1, 1, 0 ], "stars": [ 9, 9, 8, 9, 9, 8, 9, 9, 8 ], "distinct": 2, "counts": { "1": 0, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 3, "9": 6 }, "southUpRows": [ [ 8, 9, 9 ], [ 9, 9, 8 ], [ 9, 8, 9 ] ] }, { "degree": 7, "centre": 9, "direction": 1, "sequence": [ "1", "128", "2187", "16384", "78125", "279936", "823543", "2097152", "4782969" ], "offsets": [ "0", "127", "2186", "16383", "78124", "279935", "823542", "2097151", "4782968" ], "powerResidues": [ 1, 2, 0, 4, 5, 0, 7, 8, 0 ], "stars": [ 9, 1, 8, 3, 4, 8, 6, 7, 8 ], "distinct": 7, "counts": { "1": 1, "2": 0, "3": 1, "4": 1, "5": 0, "6": 1, "7": 1, "8": 3, "9": 1 }, "southUpRows": [ [ 8, 4, 6 ], [ 7, 9, 8 ], [ 3, 8, 1 ] ] }, { "degree": 8, "centre": 9, "direction": 1, "sequence": [ "1", "256", "6561", "65536", "390625", "1679616", "5764801", "16777216", "43046721" ], "offsets": [ "0", "255", "6560", "65535", "390624", "1679615", "5764800", "16777215", "43046720" ], "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "stars": [ 9, 3, 8, 6, 6, 8, 3, 9, 8 ], "distinct": 4, "counts": { "1": 0, "2": 0, "3": 2, "4": 0, "5": 0, "6": 2, "7": 0, "8": 3, "9": 2 }, "southUpRows": [ [ 8, 6, 3 ], [ 9, 9, 8 ], [ 6, 8, 3 ] ] }, { "degree": 9, "centre": 9, "direction": 1, "sequence": [ "1", "512", "19683", "262144", "1953125", "10077696", "40353607", "134217728", "387420489" ], "offsets": [ "0", "511", "19682", "262143", "1953124", "10077695", "40353606", "134217727", "387420488" ], "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "stars": [ 9, 7, 8, 9, 7, 8, 9, 7, 8 ], "distinct": 3, "counts": { "1": 0, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 3, "8": 3, "9": 3 }, "southUpRows": [ [ 8, 7, 9 ], [ 7, 9, 8 ], [ 9, 8, 7 ] ] }, { "degree": 1, "centre": 9, "direction": -1, "sequence": [ "1", "2", "3", "4", "5", "6", "7", "8", "9" ], "offsets": [ "0", "1", "2", "3", "4", "5", "6", "7", "8" ], "powerResidues": [ 1, 2, 3, 4, 5, 6, 7, 8, 0 ], "stars": [ 9, 8, 7, 6, 5, 4, 3, 2, 1 ], "distinct": 9, "counts": { "1": 1, "2": 1, "3": 1, "4": 1, "5": 1, "6": 1, "7": 1, "8": 1, "9": 1 }, "southUpRows": [ [ 1, 5, 3 ], [ 2, 9, 7 ], [ 6, 4, 8 ] ] }, { "degree": 2, "centre": 9, "direction": -1, "sequence": [ "1", "4", "9", "16", "25", "36", "49", "64", "81" ], "offsets": [ "0", "3", "8", "15", "24", "35", "48", "63", "80" ], "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "stars": [ 9, 6, 1, 3, 3, 1, 6, 9, 1 ], "distinct": 4, "counts": { "1": 3, "2": 0, "3": 2, "4": 0, "5": 0, "6": 2, "7": 0, "8": 0, "9": 2 }, "southUpRows": [ [ 1, 3, 6 ], [ 9, 9, 1 ], [ 3, 1, 6 ] ] }, { "degree": 3, "centre": 9, "direction": -1, "sequence": [ "1", "8", "27", "64", "125", "216", "343", "512", "729" ], "offsets": [ "0", "7", "26", "63", "124", "215", "342", "511", "728" ], "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "stars": [ 9, 2, 1, 9, 2, 1, 9, 2, 1 ], "distinct": 3, "counts": { "1": 3, "2": 3, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 0, "9": 3 }, "southUpRows": [ [ 1, 2, 9 ], [ 2, 9, 1 ], [ 9, 1, 2 ] ] }, { "degree": 4, "centre": 9, "direction": -1, "sequence": [ "1", "16", "81", "256", "625", "1296", "2401", "4096", "6561" ], "offsets": [ "0", "15", "80", "255", "624", "1295", "2400", "4095", "6560" ], "powerResidues": [ 1, 7, 0, 4, 4, 0, 7, 1, 0 ], "stars": [ 9, 3, 1, 6, 6, 1, 3, 9, 1 ], "distinct": 4, "counts": { "1": 3, "2": 0, "3": 2, "4": 0, "5": 0, "6": 2, "7": 0, "8": 0, "9": 2 }, "southUpRows": [ [ 1, 6, 3 ], [ 9, 9, 1 ], [ 6, 1, 3 ] ] }, { "degree": 5, "centre": 9, "direction": -1, "sequence": [ "1", "32", "243", "1024", "3125", "7776", "16807", "32768", "59049" ], "offsets": [ "0", "31", "242", "1023", "3124", "7775", "16806", "32767", "59048" ], "powerResidues": [ 1, 5, 0, 7, 2, 0, 4, 8, 0 ], "stars": [ 9, 5, 1, 3, 8, 1, 6, 2, 1 ], "distinct": 7, "counts": { "1": 3, "2": 1, "3": 1, "4": 0, "5": 1, "6": 1, "7": 0, "8": 1, "9": 1 }, "southUpRows": [ [ 1, 8, 6 ], [ 2, 9, 1 ], [ 3, 1, 5 ] ] }, { "degree": 6, "centre": 9, "direction": -1, "sequence": [ "1", "64", "729", "4096", "15625", "46656", "117649", "262144", "531441" ], "offsets": [ "0", "63", "728", "4095", "15624", "46655", "117648", "262143", "531440" ], "powerResidues": [ 1, 1, 0, 1, 1, 0, 1, 1, 0 ], "stars": [ 9, 9, 1, 9, 9, 1, 9, 9, 1 ], "distinct": 2, "counts": { "1": 3, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 0, "9": 6 }, "southUpRows": [ [ 1, 9, 9 ], [ 9, 9, 1 ], [ 9, 1, 9 ] ] }, { "degree": 7, "centre": 9, "direction": -1, "sequence": [ "1", "128", "2187", "16384", "78125", "279936", "823543", "2097152", "4782969" ], "offsets": [ "0", "127", "2186", "16383", "78124", "279935", "823542", "2097151", "4782968" ], "powerResidues": [ 1, 2, 0, 4, 5, 0, 7, 8, 0 ], "stars": [ 9, 8, 1, 6, 5, 1, 3, 2, 1 ], "distinct": 7, "counts": { "1": 3, "2": 1, "3": 1, "4": 0, "5": 1, "6": 1, "7": 0, "8": 1, "9": 1 }, "southUpRows": [ [ 1, 5, 3 ], [ 2, 9, 1 ], [ 6, 1, 8 ] ] }, { "degree": 8, "centre": 9, "direction": -1, "sequence": [ "1", "256", "6561", "65536", "390625", "1679616", "5764801", "16777216", "43046721" ], "offsets": [ "0", "255", "6560", "65535", "390624", "1679615", "5764800", "16777215", "43046720" ], "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "stars": [ 9, 6, 1, 3, 3, 1, 6, 9, 1 ], "distinct": 4, "counts": { "1": 3, "2": 0, "3": 2, "4": 0, "5": 0, "6": 2, "7": 0, "8": 0, "9": 2 }, "southUpRows": [ [ 1, 3, 6 ], [ 9, 9, 1 ], [ 3, 1, 6 ] ] }, { "degree": 9, "centre": 9, "direction": -1, "sequence": [ "1", "512", "19683", "262144", "1953125", "10077696", "40353607", "134217728", "387420489" ], "offsets": [ "0", "511", "19682", "262143", "1953124", "10077695", "40353606", "134217727", "387420488" ], "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "stars": [ 9, 2, 1, 9, 2, 1, 9, 2, 1 ], "distinct": 3, "counts": { "1": 3, "2": 3, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 0, "9": 3 }, "southUpRows": [ [ 1, 2, 9 ], [ 2, 9, 1 ], [ 9, 1, 2 ] ] } ], "residueClassification": [ { "degree": 1, "gcdWithSix": 1, "powerResidues": [ 1, 2, 3, 4, 5, 6, 7, 8, 0 ], "counts": { "0": 1, "1": 1, "2": 1, "3": 1, "4": 1, "5": 1, "6": 1, "7": 1, "8": 1 }, "distinct": 9 }, { "degree": 2, "gcdWithSix": 2, "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "counts": { "0": 3, "1": 2, "2": 0, "3": 0, "4": 2, "5": 0, "6": 0, "7": 2, "8": 0 }, "distinct": 4 }, { "degree": 3, "gcdWithSix": 3, "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "counts": { "0": 3, "1": 3, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 3 }, "distinct": 3 }, { "degree": 4, "gcdWithSix": 2, "powerResidues": [ 1, 7, 0, 4, 4, 0, 7, 1, 0 ], "counts": { "0": 3, "1": 2, "2": 0, "3": 0, "4": 2, "5": 0, "6": 0, "7": 2, "8": 0 }, "distinct": 4 }, { "degree": 5, "gcdWithSix": 1, "powerResidues": [ 1, 5, 0, 7, 2, 0, 4, 8, 0 ], "counts": { "0": 3, "1": 1, "2": 1, "3": 0, "4": 1, "5": 1, "6": 0, "7": 1, "8": 1 }, "distinct": 7 }, { "degree": 6, "gcdWithSix": 6, "powerResidues": [ 1, 1, 0, 1, 1, 0, 1, 1, 0 ], "counts": { "0": 3, "1": 6, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 0 }, "distinct": 2 }, { "degree": 7, "gcdWithSix": 1, "powerResidues": [ 1, 2, 0, 4, 5, 0, 7, 8, 0 ], "counts": { "0": 3, "1": 1, "2": 1, "3": 0, "4": 1, "5": 1, "6": 0, "7": 1, "8": 1 }, "distinct": 7 }, { "degree": 8, "gcdWithSix": 2, "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "counts": { "0": 3, "1": 2, "2": 0, "3": 0, "4": 2, "5": 0, "6": 0, "7": 2, "8": 0 }, "distinct": 4 }, { "degree": 9, "gcdWithSix": 3, "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "counts": { "0": 3, "1": 3, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 3 }, "distinct": 3 }, { "degree": 10, "gcdWithSix": 2, "powerResidues": [ 1, 7, 0, 4, 4, 0, 7, 1, 0 ], "counts": { "0": 3, "1": 2, "2": 0, "3": 0, "4": 2, "5": 0, "6": 0, "7": 2, "8": 0 }, "distinct": 4 }, { "degree": 11, "gcdWithSix": 1, "powerResidues": [ 1, 5, 0, 7, 2, 0, 4, 8, 0 ], "counts": { "0": 3, "1": 1, "2": 1, "3": 0, "4": 1, "5": 1, "6": 0, "7": 1, "8": 1 }, "distinct": 7 }, { "degree": 12, "gcdWithSix": 6, "powerResidues": [ 1, 1, 0, 1, 1, 0, 1, 1, 0 ], "counts": { "0": 3, "1": 6, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 0 }, "distinct": 2 }, { "degree": 13, "gcdWithSix": 1, "powerResidues": [ 1, 2, 0, 4, 5, 0, 7, 8, 0 ], "counts": { "0": 3, "1": 1, "2": 1, "3": 0, "4": 1, "5": 1, "6": 0, "7": 1, "8": 1 }, "distinct": 7 }, { "degree": 14, "gcdWithSix": 2, "powerResidues": [ 1, 4, 0, 7, 7, 0, 4, 1, 0 ], "counts": { "0": 3, "1": 2, "2": 0, "3": 0, "4": 2, "5": 0, "6": 0, "7": 2, "8": 0 }, "distinct": 4 }, { "degree": 15, "gcdWithSix": 3, "powerResidues": [ 1, 8, 0, 1, 8, 0, 1, 8, 0 ], "counts": { "0": 3, "1": 3, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 3 }, "distinct": 3 }, { "degree": 16, "gcdWithSix": 2, "powerResidues": [ 1, 7, 0, 4, 4, 0, 7, 1, 0 ], "counts": { "0": 3, "1": 2, "2": 0, "3": 0, "4": 2, "5": 0, "6": 0, "7": 2, "8": 0 }, "distinct": 4 }, { "degree": 17, "gcdWithSix": 1, "powerResidues": [ 1, 5, 0, 7, 2, 0, 4, 8, 0 ], "counts": { "0": 3, "1": 1, "2": 1, "3": 0, "4": 1, "5": 1, "6": 0, "7": 1, "8": 1 }, "distinct": 7 }, { "degree": 18, "gcdWithSix": 6, "powerResidues": [ 1, 1, 0, 1, 1, 0, 1, 1, 0 ], "counts": { "0": 3, "1": 6, "2": 0, "3": 0, "4": 0, "5": 0, "6": 0, "7": 0, "8": 0 }, "distinct": 2 } ], "finiteDifferenceTables": [ { "degree": 2, "inputArguments": [ 0, 1, 2, 3, 4, 5, 6, 7 ], "rows": [ [ "0", "1", "4", "9", "16", "25", "36", "49" ], [ "1", "3", "5", "7", "9", "11", "13" ], [ "2", "2", "2", "2", "2", "2" ], [ "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0" ], [ "0", "0", "0" ], [ "0", "0" ], [ "0" ] ] }, { "degree": 3, "inputArguments": [ 0, 1, 2, 3, 4, 5, 6, 7 ], "rows": [ [ "0", "1", "8", "27", "64", "125", "216", "343" ], [ "1", "7", "19", "37", "61", "91", "127" ], [ "6", "12", "18", "24", "30", "36" ], [ "6", "6", "6", "6", "6" ], [ "0", "0", "0", "0" ], [ "0", "0", "0" ], [ "0", "0" ], [ "0" ] ] }, { "degree": 4, "inputArguments": [ 0, 1, 2, 3, 4, 5, 6, 7 ], "rows": [ [ "0", "1", "16", "81", "256", "625", "1296", "2401" ], [ "1", "15", "65", "175", "369", "671", "1105" ], [ "14", "50", "110", "194", "302", "434" ], [ "36", "60", "84", "108", "132" ], [ "24", "24", "24", "24" ], [ "0", "0", "0" ], [ "0", "0" ], [ "0" ] ] } ], "functionSpaceExample": { "domainSize": 2, "codomainSize": 3, "tables": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ] ], "count": "9" }, "verification": { "kind": "independent finite computational checks; universal proofs are in the notes", "results": { "finiteSieveAndMinimalPrefixCases": 300, "blockInvariantCases": 500, "outputPowerCases": 104, "chartCases": 216, "residueDegrees": 60, "largeIntegerCase": "100^9 = 1000000000000000000" } } }