{
  "arithmetic": "exact Python integers and Fraction",
  "python": "3.12.11",
  "method": "binary residue histograms joined by F=m",
  "product_count_cases": 24,
  "local_count_cases": 45,
  "rows": [
    {
      "t": 1,
      "p": 2,
      "k": 3,
      "modulus": 8,
      "solutions": 1024,
      "normalized": "2"
    },
    {
      "t": 1,
      "p": 2,
      "k": 4,
      "modulus": 16,
      "solutions": 8192,
      "normalized": "2"
    },
    {
      "t": 1,
      "p": 2,
      "k": 5,
      "modulus": 32,
      "solutions": 65536,
      "normalized": "2"
    },
    {
      "t": 1,
      "p": 2,
      "k": 6,
      "modulus": 64,
      "solutions": 524288,
      "normalized": "2"
    },
    {
      "t": 1,
      "p": 2,
      "k": 7,
      "modulus": 128,
      "solutions": 4194304,
      "normalized": "2"
    },
    {
      "t": 1,
      "p": 3,
      "k": 2,
      "modulus": 9,
      "solutions": 864,
      "normalized": "32/27"
    },
    {
      "t": 1,
      "p": 3,
      "k": 3,
      "modulus": 27,
      "solutions": 23328,
      "normalized": "32/27"
    },
    {
      "t": 1,
      "p": 3,
      "k": 4,
      "modulus": 81,
      "solutions": 629856,
      "normalized": "32/27"
    },
    {
      "t": 1,
      "p": 7,
      "k": 1,
      "modulus": 7,
      "solutions": 336,
      "normalized": "48/49"
    },
    {
      "t": 1,
      "p": 7,
      "k": 2,
      "modulus": 49,
      "solutions": 115248,
      "normalized": "48/49"
    },
    {
      "t": 1,
      "p": 11,
      "k": 1,
      "modulus": 11,
      "solutions": 1320,
      "normalized": "120/121"
    },
    {
      "t": 1,
      "p": 11,
      "k": 2,
      "modulus": 121,
      "solutions": 1756920,
      "normalized": "120/121"
    },
    {
      "t": 2,
      "p": 2,
      "k": 3,
      "modulus": 8,
      "solutions": 1024,
      "normalized": "2"
    },
    {
      "t": 2,
      "p": 2,
      "k": 4,
      "modulus": 16,
      "solutions": 8192,
      "normalized": "2"
    },
    {
      "t": 2,
      "p": 2,
      "k": 5,
      "modulus": 32,
      "solutions": 65536,
      "normalized": "2"
    },
    {
      "t": 2,
      "p": 2,
      "k": 6,
      "modulus": 64,
      "solutions": 524288,
      "normalized": "2"
    },
    {
      "t": 2,
      "p": 2,
      "k": 7,
      "modulus": 128,
      "solutions": 4194304,
      "normalized": "2"
    },
    {
      "t": 2,
      "p": 3,
      "k": 2,
      "modulus": 9,
      "solutions": 864,
      "normalized": "32/27"
    },
    {
      "t": 2,
      "p": 3,
      "k": 3,
      "modulus": 27,
      "solutions": 23328,
      "normalized": "32/27"
    },
    {
      "t": 2,
      "p": 3,
      "k": 4,
      "modulus": 81,
      "solutions": 629856,
      "normalized": "32/27"
    },
    {
      "t": 2,
      "p": 7,
      "k": 1,
      "modulus": 7,
      "solutions": 336,
      "normalized": "48/49"
    },
    {
      "t": 2,
      "p": 7,
      "k": 2,
      "modulus": 49,
      "solutions": 115248,
      "normalized": "48/49"
    },
    {
      "t": 2,
      "p": 11,
      "k": 1,
      "modulus": 11,
      "solutions": 1320,
      "normalized": "120/121"
    },
    {
      "t": 2,
      "p": 11,
      "k": 2,
      "modulus": 121,
      "solutions": 1756920,
      "normalized": "120/121"
    },
    {
      "t": 3,
      "p": 2,
      "k": 3,
      "modulus": 8,
      "solutions": 1024,
      "normalized": "2"
    },
    {
      "t": 3,
      "p": 2,
      "k": 4,
      "modulus": 16,
      "solutions": 8192,
      "normalized": "2"
    },
    {
      "t": 3,
      "p": 2,
      "k": 5,
      "modulus": 32,
      "solutions": 65536,
      "normalized": "2"
    },
    {
      "t": 3,
      "p": 2,
      "k": 6,
      "modulus": 64,
      "solutions": 524288,
      "normalized": "2"
    },
    {
      "t": 3,
      "p": 2,
      "k": 7,
      "modulus": 128,
      "solutions": 4194304,
      "normalized": "2"
    },
    {
      "t": 3,
      "p": 3,
      "k": 2,
      "modulus": 9,
      "solutions": 864,
      "normalized": "32/27"
    },
    {
      "t": 3,
      "p": 3,
      "k": 3,
      "modulus": 27,
      "solutions": 23328,
      "normalized": "32/27"
    },
    {
      "t": 3,
      "p": 3,
      "k": 4,
      "modulus": 81,
      "solutions": 629856,
      "normalized": "32/27"
    },
    {
      "t": 3,
      "p": 7,
      "k": 1,
      "modulus": 7,
      "solutions": 336,
      "normalized": "48/49"
    },
    {
      "t": 3,
      "p": 7,
      "k": 2,
      "modulus": 49,
      "solutions": 115248,
      "normalized": "48/49"
    },
    {
      "t": 3,
      "p": 11,
      "k": 1,
      "modulus": 11,
      "solutions": 1320,
      "normalized": "120/121"
    },
    {
      "t": 3,
      "p": 11,
      "k": 2,
      "modulus": 121,
      "solutions": 1756920,
      "normalized": "120/121"
    },
    {
      "t": 1,
      "p": 5,
      "k": 1,
      "modulus": 5,
      "solutions": 225,
      "normalized": "9/5"
    },
    {
      "t": 1,
      "p": 5,
      "k": 2,
      "modulus": 25,
      "solutions": 40625,
      "normalized": "13/5"
    },
    {
      "t": 1,
      "p": 5,
      "k": 3,
      "modulus": 125,
      "solutions": 4687500,
      "normalized": "12/5"
    },
    {
      "t": 1,
      "p": 5,
      "k": 4,
      "modulus": 625,
      "solutions": 585937500,
      "normalized": "12/5"
    },
    {
      "t": 2,
      "p": 5,
      "k": 1,
      "modulus": 5,
      "solutions": 225,
      "normalized": "9/5"
    },
    {
      "t": 2,
      "p": 5,
      "k": 2,
      "modulus": 25,
      "solutions": 40625,
      "normalized": "13/5"
    },
    {
      "t": 2,
      "p": 5,
      "k": 3,
      "modulus": 125,
      "solutions": 6640625,
      "normalized": "17/5"
    },
    {
      "t": 2,
      "p": 5,
      "k": 4,
      "modulus": 625,
      "solutions": 1025390625,
      "normalized": "21/5"
    },
    {
      "t": 2,
      "p": 5,
      "k": 5,
      "modulus": 3125,
      "solutions": 122070312500,
      "normalized": "4"
    }
  ],
  "all_assertions_passed": true
}