{
 "CH-H1": {
  "failures": [],
  "hypothesis": "CH-H1",
  "verdict": "PASS — the conserved case: n = 1 at every rung, the word 11 of 11"
 },
 "CH-H2": [
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 0,
     "delta_n3": 0,
     "from": "1",
     "sign": 0,
     "to": "3/2"
    },
    {
     "delta_n2": 256,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -255,
     "delta_n3": 255,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "3/2",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 192,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 64,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -128,
     "delta_n3": 128,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "7/5",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 255,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 1,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -1,
     "delta_n3": 1,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "17/12",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 254,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -83,
     "delta_n3": 83,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "18/7",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 131,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 125,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -125,
     "delta_n3": 125,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "14104/9973",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 137,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 119,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -119,
     "delta_n3": 119,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "sqrt(2)",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 135,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 121,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -121,
     "delta_n3": 121,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "sqrt(3)",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 0,
     "delta_n3": 0,
     "from": "1",
     "sign": 0,
     "to": "3/2"
    },
    {
     "delta_n2": 1024,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -1023,
     "delta_n3": 1023,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "3/2",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 768,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 256,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -512,
     "delta_n3": 512,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "7/5",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 1023,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 1,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -1,
     "delta_n3": 1,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "17/12",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 1022,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -339,
     "delta_n3": 339,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "18/7",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 527,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 497,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -497,
     "delta_n3": 497,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "14104/9973",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 515,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 509,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -508,
     "delta_n3": 508,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "sqrt(2)",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 529,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 495,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -495,
     "delta_n3": 495,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "sqrt(3)",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 0,
     "delta_n3": 0,
     "from": "1",
     "sign": 0,
     "to": "3/2"
    },
    {
     "delta_n2": 4096,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -4095,
     "delta_n3": 4095,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "3/2",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 3072,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 1024,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -2048,
     "delta_n3": 2048,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "7/5",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 4095,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 1,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -1,
     "delta_n3": 1,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "17/12",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 4094,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -1363,
     "delta_n3": 1363,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "18/7",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 2087,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2009,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -2008,
     "delta_n3": 2008,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "14104/9973",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 1987,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2109,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -2108,
     "delta_n3": 2108,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "sqrt(2)",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 2083,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2013,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -2012,
     "delta_n3": 2012,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "sqrt(3)",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  }
 ],
 "CH-H3": [
  {
   "band_bits": "1/1000",
   "budget_log2": 8,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "32/125",
     "delta_n2": -6,
     "delta_n3": 0,
     "gap_bits": "0.023437500",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": false
    },
    {
     "bound_scaled": "32/125",
     "delta_n2": -4,
     "delta_n3": 0,
     "gap_bits": "0.015625000",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": false
    },
    {
     "bound_scaled": "32/125",
     "delta_n2": 2,
     "delta_n3": 0,
     "gap_bits": "0.007812500",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": false
    }
   ],
   "rho": "3/2",
   "verdict": "KILLED — the band breached: a turn curve dominated by payload rather than account (kept)"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 8,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "32/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": true
    },
    {
     "bound_scaled": "32/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": true
    },
    {
     "bound_scaled": "32/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": true
    }
   ],
   "rho": "2",
   "verdict": "PASS — the three deficits agree within the band"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 8,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "32/125",
     "delta_n2": -6,
     "delta_n3": 6,
     "gap_bits": "0.013710059",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": false
    },
    {
     "bound_scaled": "32/125",
     "delta_n2": -4,
     "delta_n3": 4,
     "gap_bits": "0.009140039",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": false
    },
    {
     "bound_scaled": "32/125",
     "delta_n2": 2,
     "delta_n3": -2,
     "gap_bits": "0.004570020",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": false
    }
   ],
   "rho": "3",
   "verdict": "KILLED — the band breached: a turn curve dominated by payload rather than account (kept)"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 10,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "128/125",
     "delta_n2": 12,
     "delta_n3": 0,
     "gap_bits": "0.011718750",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": false
    },
    {
     "bound_scaled": "128/125",
     "delta_n2": -2,
     "delta_n3": 0,
     "gap_bits": "0.001953125",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": false
    },
    {
     "bound_scaled": "128/125",
     "delta_n2": -14,
     "delta_n3": 0,
     "gap_bits": "0.013671875",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": false
    }
   ],
   "rho": "3/2",
   "verdict": "KILLED — the band breached: a turn curve dominated by payload rather than account (kept)"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 10,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "128/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": true
    },
    {
     "bound_scaled": "128/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": true
    },
    {
     "bound_scaled": "128/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": true
    }
   ],
   "rho": "2",
   "verdict": "PASS — the three deficits agree within the band"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 10,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "128/125",
     "delta_n2": 11,
     "delta_n3": -11,
     "gap_bits": "0.006283777",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": false
    },
    {
     "bound_scaled": "128/125",
     "delta_n2": -2,
     "delta_n3": 2,
     "gap_bits": "0.001142505",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": false
    },
    {
     "bound_scaled": "128/125",
     "delta_n2": -13,
     "delta_n3": 13,
     "gap_bits": "0.007426282",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": false
    }
   ],
   "rho": "3",
   "verdict": "KILLED — the band breached: a turn curve dominated by payload rather than account (kept)"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 12,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "512/125",
     "delta_n2": 100,
     "delta_n3": 0,
     "gap_bits": "0.024414062",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": false
    },
    {
     "bound_scaled": "512/125",
     "delta_n2": 4,
     "delta_n3": 0,
     "gap_bits": "0.000976562",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": true
    },
    {
     "bound_scaled": "512/125",
     "delta_n2": -96,
     "delta_n3": 0,
     "gap_bits": "0.023437500",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": false
    }
   ],
   "rho": "3/2",
   "verdict": "KILLED — the band breached: a turn curve dominated by payload rather than account (kept)"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 12,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "512/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": true
    },
    {
     "bound_scaled": "512/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": true
    },
    {
     "bound_scaled": "512/125",
     "delta_n2": 0,
     "delta_n3": 0,
     "gap_bits": "0.000000000",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": true
    }
   ],
   "rho": "2",
   "verdict": "PASS — the three deficits agree within the band"
  },
  {
   "band_bits": "1/1000",
   "budget_log2": 12,
   "hypothesis": "CH-H3",
   "pairs": [
    {
     "bound_scaled": "512/125",
     "delta_n2": 100,
     "delta_n3": -100,
     "gap_bits": "0.014281311",
     "pair": [
      "14104/9973",
      "sqrt(2)"
     ],
     "within": false
    },
    {
     "bound_scaled": "512/125",
     "delta_n2": 4,
     "delta_n3": -4,
     "gap_bits": "0.000571252",
     "pair": [
      "14104/9973",
      "sqrt(3)"
     ],
     "within": true
    },
    {
     "bound_scaled": "512/125",
     "delta_n2": -96,
     "delta_n3": 96,
     "gap_bits": "0.013710059",
     "pair": [
      "sqrt(2)",
      "sqrt(3)"
     ],
     "within": false
    }
   ],
   "rho": "3",
   "verdict": "KILLED — the band breached: a turn curve dominated by payload rather than account (kept)"
  }
 ],
 "act": "CH-A2",
 "budgets_log2": [
  8,
  10,
  12
 ],
 "cells": [
  {
   "account_final": 0,
   "budget_log2": 8,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 2,
   "windows": [
    [
     0,
     1
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "8c4cebf70b29a4ee025feca9df1f24d6ffc1a9af8dc60fbe2278158d689c1997",
   "zero_events_by_kind": {
    "at_zero": 255,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 256,
   "zero_steps": {
    "-1": 1,
    "0": 255,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 8,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 3,
   "windows": [
    [
     -1,
     1
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "8c4cebf70b29a4ee025feca9df1f24d6ffc1a9af8dc60fbe2278158d689c1997",
   "zero_events_by_kind": {
    "at_zero": 255,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 256,
   "zero_steps": {
    "-1": 1,
    "0": 255,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 8,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 4,
   "windows": [
    [
     -1,
     2
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "8c4cebf70b29a4ee025feca9df1f24d6ffc1a9af8dc60fbe2278158d689c1997",
   "zero_events_by_kind": {
    "at_zero": 255,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 256,
   "zero_steps": {
    "-1": 1,
    "0": 255,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 8,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.582677490953",
    "bits_hi": "68935327064816863603812838338139784286743/43556142965880123323311949751266331066368",
    "bits_lo": "137870654129633727207625676676279568573231/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 1,
    "n3": 255,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333",
   "n_series_sha256": "b8d614438e8d111e9027870972a33c18ba3bc31050b33ece1f885510ce722113",
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 6,
   "windows": [
    [
     -2,
     3
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "8c4cebf70b29a4ee025feca9df1f24d6ffc1a9af8dc60fbe2278158d689c1997",
   "zero_events_by_kind": {
    "at_zero": 255,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 256,
   "zero_steps": {
    "-1": 1,
    "0": 255,
    "1": 0
   }
  },
  {
   "account_final": -2,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 5,
   "windows": [
    [
     -2,
     2
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "4289e21e80b202e14966e27b7f2be99c73c2ebac3eba9f9b97d1fa56771bb0cd",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 128,
    "to_zero": 0
   },
   "zero_events_count": 128,
   "zero_steps": {
    "-1": 64,
    "0": 0,
    "1": 64
   }
  },
  {
   "account_final": -2,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.750000000000",
    "bits_hi": "3/4",
    "bits_lo": "3/4",
    "n1": 64,
    "n2": 192,
    "n3": 0,
    "paid_rungs": 192,
    "paid_share": "3/4",
    "rungs": 256
   },
   "n_series": "1222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222122212221222",
   "n_series_sha256": "50dd731093de704928467d2bd3086f4da3c361d3d4c39c5fa45f5e7de0d41a3e",
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 8,
   "windows": [
    [
     -3,
     4
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "4289e21e80b202e14966e27b7f2be99c73c2ebac3eba9f9b97d1fa56771bb0cd",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 128,
    "to_zero": 0
   },
   "zero_events_count": 128,
   "zero_steps": {
    "-1": 64,
    "0": 0,
    "1": 64
   }
  },
  {
   "account_final": -2,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 10,
   "windows": [
    [
     -4,
     5
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "4289e21e80b202e14966e27b7f2be99c73c2ebac3eba9f9b97d1fa56771bb0cd",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 128,
    "to_zero": 0
   },
   "zero_events_count": 128,
   "zero_steps": {
    "-1": 64,
    "0": 0,
    "1": 64
   }
  },
  {
   "account_final": -2,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.292481250361",
    "bits_hi": "439808579073631562602593778360683714281/340282366920938463463374607431768211456",
    "bits_lo": "879617158147263125205187556721367428561/680564733841876926926749214863536422912",
    "n1": 0,
    "n2": 128,
    "n3": 128,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323",
   "n_series_sha256": "49aabc92554800fe42f07855217382114373c6a48fb8cfd56c5bf941ab5c31f7",
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 15,
   "windows": [
    [
     -7,
     7
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "4289e21e80b202e14966e27b7f2be99c73c2ebac3eba9f9b97d1fa56771bb0cd",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 128,
    "to_zero": 0
   },
   "zero_events_count": 128,
   "zero_steps": {
    "-1": 64,
    "0": 0,
    "1": 64
   }
  },
  {
   "account_final": 4,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 12,
   "windows": [
    [
     -5,
     6
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "c0e0ea4c848023465407a40d1a8dbbfb4793332d0c04adc915636cc0156fc74d",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 255,
    "to_zero": 0
   },
   "zero_events_count": 255,
   "zero_steps": {
    "-1": 127,
    "0": 0,
    "1": 128
   }
  },
  {
   "account_final": 4,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.996093750000",
    "bits_hi": "255/256",
    "bits_lo": "255/256",
    "n1": 1,
    "n2": 255,
    "n3": 0,
    "paid_rungs": 255,
    "paid_share": "255/256",
    "rungs": 256
   },
   "n_series": "1222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "3c3f8296250ddbdec7078ae2d3d7c45a213bfb96b1b464ccf15de976a180e239",
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 18,
   "windows": [
    [
     -8,
     9
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "c0e0ea4c848023465407a40d1a8dbbfb4793332d0c04adc915636cc0156fc74d",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 255,
    "to_zero": 0
   },
   "zero_events_count": 255,
   "zero_steps": {
    "-1": 127,
    "0": 0,
    "1": 128
   }
  },
  {
   "account_final": 4,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 24,
   "windows": [
    [
     -11,
     12
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "c0e0ea4c848023465407a40d1a8dbbfb4793332d0c04adc915636cc0156fc74d",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 255,
    "to_zero": 0
   },
   "zero_events_count": 255,
   "zero_steps": {
    "-1": 127,
    "0": 0,
    "1": 128
   }
  },
  {
   "account_final": 4,
   "budget_log2": 8,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.002285009768",
    "bits_hi": "43655669178032816422451168922195246569193/43556142965880123323311949751266331066368",
    "bits_lo": "87311338356065632844902337844390493138385/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 255,
    "n3": 1,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2322222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "af444af03c025fa401f846bdd9a8c2f45e1d6cd9d0997fff79812fa75854adc6",
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 36,
   "windows": [
    [
     -17,
     18
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "c0e0ea4c848023465407a40d1a8dbbfb4793332d0c04adc915636cc0156fc74d",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 255,
    "to_zero": 0
   },
   "zero_events_count": 255,
   "zero_steps": {
    "-1": 127,
    "0": 0,
    "1": 128
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "matches_greedy": 7,
   "matches_measured": 11,
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 5,
   "target": "18/7",
   "width": 7,
   "windows": [
    [
     -1,
     5
    ],
    [
     -2,
     4
    ]
   ],
   "word_first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "443946f0e353e3e99b754b6e3b862987307f609d81b9c6a595afe0d02b8a93a2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.992187500000",
    "bits_hi": "127/128",
    "bits_lo": "127/128",
    "n1": 2,
    "n2": 254,
    "n3": 0,
    "paid_rungs": 254,
    "paid_share": "127/128",
    "rungs": 256
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series": "2212212222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "455273f62c9783216ab582edcbd507edcabfdba6a68303da5534df44a8b67b6d",
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 11,
   "windows": [
    [
     -3,
     7
    ],
    [
     -4,
     6
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "09970030afc0b06e5f3b3c859af0a48e150bbe45a972827521bda15d53e36e0b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 14,
   "windows": [
    [
     -4,
     9
    ],
    [
     -5,
     8
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "09970030afc0b06e5f3b3c859af0a48e150bbe45a972827521bda15d53e36e0b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.189655810781",
    "bits_hi": "51816818574553650551867140938366317800843/43556142965880123323311949751266331066368",
    "bits_lo": "103633637149107301103734281876732635601603/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 173,
    "n3": 83,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series": "2222222322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322",
   "n_series_sha256": "7ada4e752d10691f1ac03e6489ab8f2d54b941307c6149d790e9523deaeeb006",
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 21,
   "windows": [
    [
     -8,
     12
    ],
    [
     -9,
     11
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "09970030afc0b06e5f3b3c859af0a48e150bbe45a972827521bda15d53e36e0b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": 4525,
   "budget_log2": 8,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "seed_account": -4131,
   "sup_abs_account": 4944,
   "target": "14104/9973",
   "width": 9973,
   "windows": [
    [
     -4986,
     4986
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "82c3692999cba15598f6dd2441b0f1e3051f18aeddb8e46da8e87587b9af87db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 131,
    "to_zero": 0
   },
   "zero_events_count": 131,
   "zero_steps": {
    "-1": 65,
    "0": 0,
    "1": 66
   }
  },
  {
   "account_final": 4525,
   "budget_log2": 8,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "0.511718750000",
    "bits_hi": "131/256",
    "bits_lo": "131/256",
    "n1": 125,
    "n2": 131,
    "n3": 0,
    "paid_rungs": 131,
    "paid_share": "131/256",
    "rungs": 256
   },
   "n_series": "1222221111222211212211221212212111222221122211212221221112212111221112112112111112112121112221121112122211221112122211111211222222112212121122122221111121111211111221122211222122111121222221222111112221221212221222212221122212221221111121222211212122121122",
   "n_series_sha256": "5a9c7aad32f3aaefb4c90c338b2ae8d05f5df0cb46c994aabc5c939b078335f4",
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "seed_account": -4131,
   "sup_abs_account": 4944,
   "target": "14104/9973",
   "width": 14960,
   "windows": [
    [
     -7479,
     7480
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "82c3692999cba15598f6dd2441b0f1e3051f18aeddb8e46da8e87587b9af87db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 131,
    "to_zero": 0
   },
   "zero_events_count": 131,
   "zero_steps": {
    "-1": 65,
    "0": 0,
    "1": 66
   }
  },
  {
   "account_final": 4525,
   "budget_log2": 8,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "seed_account": -4131,
   "sup_abs_account": 4944,
   "target": "14104/9973",
   "width": 19946,
   "windows": [
    [
     -9972,
     9973
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "82c3692999cba15598f6dd2441b0f1e3051f18aeddb8e46da8e87587b9af87db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 131,
    "to_zero": 0
   },
   "zero_events_count": 131,
   "zero_steps": {
    "-1": 65,
    "0": 0,
    "1": 66
   }
  },
  {
   "account_final": 4525,
   "budget_log2": 8,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "1.285626221055",
    "bits_hi": "55996919484966760715714346117380768919493/43556142965880123323311949751266331066368",
    "bits_lo": "111993838969933521431428692234761537838861/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 131,
    "n3": 125,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "n_series": "2322222333322223323223322323223233322222332223323222322333223233322333233233233333233232333222332333232223322333232223333323322222233223232332232222333332333323333322332223322232233332322222322233333222322323222322223222332223222322333332322223323232232332",
   "n_series_sha256": "4f2d76e73a15f3696e36472515e4ece32fa1bbf5884b3f3cdc43a6b3d7da9829",
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "seed_account": -4131,
   "sup_abs_account": 4944,
   "target": "14104/9973",
   "width": 29919,
   "windows": [
    [
     -14959,
     14959
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "82c3692999cba15598f6dd2441b0f1e3051f18aeddb8e46da8e87587b9af87db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 131,
    "to_zero": 0
   },
   "zero_events_count": 131,
   "zero_steps": {
    "-1": 65,
    "0": 0,
    "1": 66
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "half_width": "1/2",
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "quarter_bins": {
    "below_quarter": 119,
    "quarter_to_half": 137
   },
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "d883d8ce3b649709483c031b6af22ed0b9ad56da87078b02acefe36ddb4b51d8",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 137,
    "to_zero": 0
   },
   "zero_events_count": 137,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 69
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.535156250000",
    "bits_hi": "137/256",
    "bits_lo": "137/256",
    "n1": 119,
    "n2": 137,
    "n3": 0,
    "paid_rungs": 137,
    "paid_share": "137/256",
    "rungs": 256
   },
   "half_width": "3/4",
   "n_series": "1222221111221211121212121212111111212112211121212122122111221122212122211112212112212122121212211222222212222222111122212111121121122221221112212111122211222221122122121122112222211122121212112212221122211122221212211122212111121212121211212121221122222222",
   "n_series_sha256": "9718f9817056a8719a3407df34aad8455eb2eaa0fa4fa3bb1724e0ca77263aef",
   "quarter_bins": {
    "below_quarter": 119,
    "quarter_to_half": 137
   },
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "d883d8ce3b649709483c031b6af22ed0b9ad56da87078b02acefe36ddb4b51d8",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 137,
    "to_zero": 0
   },
   "zero_events_count": 137,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 69
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "half_width": "1",
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "quarter_bins": {
    "below_quarter": 119,
    "quarter_to_half": 137
   },
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "d883d8ce3b649709483c031b6af22ed0b9ad56da87078b02acefe36ddb4b51d8",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 137,
    "to_zero": 0
   },
   "zero_events_count": 137,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 69
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.271916162445",
    "bits_hi": "55399762212050602120879031091807275902543/43556142965880123323311949751266331066368",
    "bits_lo": "110799524424101204241758062183614551804967/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 137,
    "n3": 119,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "half_width": "3/2",
   "n_series": "2322222333322323332323232323233333323233223332323232232233322332223232223333223233223232232323223322222223222222233332223233332332332222322333223233332223322222332232232332233222223332232323233223222332223332222323223332223233332323232323323232322332222222",
   "n_series_sha256": "c5d1b8d914b87fd559022e59526a26df6dd8a6fb31a1438999e44339208d0427",
   "quarter_bins": {
    "below_quarter": 119,
    "quarter_to_half": 137
   },
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "d883d8ce3b649709483c031b6af22ed0b9ad56da87078b02acefe36ddb4b51d8",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 137,
    "to_zero": 0
   },
   "zero_events_count": 137,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 69
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "half_width": "1/2",
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "quarter_bins": {
    "below_quarter": 121,
    "quarter_to_half": 135
   },
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4a45be1b4931c4071e1b08ba4bbefd666d03305c492a11f23961551c7cb45133",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 135,
    "to_zero": 0
   },
   "zero_events_count": 135,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 67
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.527343750000",
    "bits_hi": "135/256",
    "bits_lo": "135/256",
    "n1": 121,
    "n2": 135,
    "n3": 0,
    "paid_rungs": 135,
    "paid_share": "135/256",
    "rungs": 256
   },
   "half_width": "3/4",
   "n_series": "2112212212121112222112221112221211122121212222222212112121122121221222221122211122212222112111121112112221121111211221121122122122122211221211112122212121212112222121112212221221121112121211212112112122111122221212122122111212211212211222122212122112112212",
   "n_series_sha256": "4ccba7d989a775a83d255dc77d99f3a6946d418c91db0a461703440ed88ca884",
   "quarter_bins": {
    "below_quarter": 121,
    "quarter_to_half": 135
   },
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4a45be1b4931c4071e1b08ba4bbefd666d03305c492a11f23961551c7cb45133",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 135,
    "to_zero": 0
   },
   "zero_events_count": 135,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 67
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "half_width": "1",
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "quarter_bins": {
    "below_quarter": 121,
    "quarter_to_half": 135
   },
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4a45be1b4931c4071e1b08ba4bbefd666d03305c492a11f23961551c7cb45133",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 135,
    "to_zero": 0
   },
   "zero_events_count": 135,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 67
   }
  },
  {
   "budget_log2": 8,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.276486181981",
    "bits_hi": "55598814636355988319157469433665106908193/43556142965880123323311949751266331066368",
    "bits_lo": "111197629272711976638314938867330213816265/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 135,
    "n3": 121,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "half_width": "3/2",
   "n_series": "2233223223232333222233222333222323332232323222222223233232332232322322222332223332223222233233332333233222332333323322332332232232232223322323333232223232323233222232333223222322332333232323323233233232233332222323232232233323223323223322232223232233233223",
   "n_series_sha256": "756f528f5a29de4a343279b37925e0408a65cd25dc6647aa925f0739bab148a9",
   "quarter_bins": {
    "below_quarter": 121,
    "quarter_to_half": 135
   },
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4a45be1b4931c4071e1b08ba4bbefd666d03305c492a11f23961551c7cb45133",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 135,
    "to_zero": 0
   },
   "zero_events_count": 135,
   "zero_steps": {
    "-1": 68,
    "0": 0,
    "1": 67
   }
  },
  {
   "account_final": 0,
   "budget_log2": 10,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 2,
   "windows": [
    [
     0,
     1
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "d5884329fb27d9a5e9de1bf98c9d7769a493a1b35c2fc1736400f4698fa55862",
   "zero_events_by_kind": {
    "at_zero": 1023,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 1024,
   "zero_steps": {
    "-1": 1,
    "0": 1023,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 10,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 3,
   "windows": [
    [
     -1,
     1
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "d5884329fb27d9a5e9de1bf98c9d7769a493a1b35c2fc1736400f4698fa55862",
   "zero_events_by_kind": {
    "at_zero": 1023,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 1024,
   "zero_steps": {
    "-1": 1,
    "0": 1023,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 10,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 4,
   "windows": [
    [
     -1,
     2
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "d5884329fb27d9a5e9de1bf98c9d7769a493a1b35c2fc1736400f4698fa55862",
   "zero_events_by_kind": {
    "at_zero": 1023,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 1024,
   "zero_steps": {
    "-1": 1,
    "0": 1023,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 10,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.584391248279",
    "bits_hi": "276039886895725533712669010865345883655447/174224571863520493293247799005065324265472",
    "bits_lo": "552079773791451067425338021730691767309871/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 1,
    "n3": 1023,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "386a94e7f4ffd7fb4f458f96688724232be982a6c9475ffa2150aece779832f2",
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 6,
   "windows": [
    [
     -2,
     3
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "d5884329fb27d9a5e9de1bf98c9d7769a493a1b35c2fc1736400f4698fa55862",
   "zero_events_by_kind": {
    "at_zero": 1023,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 1024,
   "zero_steps": {
    "-1": 1,
    "0": 1023,
    "1": 0
   }
  },
  {
   "account_final": -2,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 5,
   "windows": [
    [
     -2,
     2
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "204f31101afaf2c278b1f8ffbded2312cc1f2c50db86bb1529084e5cd39b16bb",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 512,
    "to_zero": 0
   },
   "zero_events_count": 512,
   "zero_steps": {
    "-1": 256,
    "0": 0,
    "1": 256
   }
  },
  {
   "account_final": -2,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.750000000000",
    "bits_hi": "3/4",
    "bits_lo": "3/4",
    "n1": 256,
    "n2": 768,
    "n3": 0,
    "paid_rungs": 768,
    "paid_share": "3/4",
    "rungs": 1024
   },
   "n_series_sha256": "44c5c6536dc970447c79b15b1a72848a3468adfd2cdaa03429022e3fad15f8f4",
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 8,
   "windows": [
    [
     -3,
     4
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "204f31101afaf2c278b1f8ffbded2312cc1f2c50db86bb1529084e5cd39b16bb",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 512,
    "to_zero": 0
   },
   "zero_events_count": 512,
   "zero_steps": {
    "-1": 256,
    "0": 0,
    "1": 256
   }
  },
  {
   "account_final": -2,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 10,
   "windows": [
    [
     -4,
     5
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "204f31101afaf2c278b1f8ffbded2312cc1f2c50db86bb1529084e5cd39b16bb",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 512,
    "to_zero": 0
   },
   "zero_events_count": 512,
   "zero_steps": {
    "-1": 256,
    "0": 0,
    "1": 256
   }
  },
  {
   "account_final": -2,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.292481250361",
    "bits_hi": "439808579073631562602593778360683714281/340282366920938463463374607431768211456",
    "bits_lo": "879617158147263125205187556721367428561/680564733841876926926749214863536422912",
    "n1": 0,
    "n2": 512,
    "n3": 512,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "bf45b2185523e413253b3103b0807caa444ea87b0d3ec90b596fb07cc8009de2",
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 15,
   "windows": [
    [
     -7,
     7
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "204f31101afaf2c278b1f8ffbded2312cc1f2c50db86bb1529084e5cd39b16bb",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 512,
    "to_zero": 0
   },
   "zero_events_count": 512,
   "zero_steps": {
    "-1": 256,
    "0": 0,
    "1": 256
   }
  },
  {
   "account_final": 4,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 12,
   "windows": [
    [
     -5,
     6
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "2f1139bb734611c2e9c289ab2435d90695c8a8743c3974924763962404cd76e7",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1023,
    "to_zero": 0
   },
   "zero_events_count": 1023,
   "zero_steps": {
    "-1": 511,
    "0": 0,
    "1": 512
   }
  },
  {
   "account_final": 4,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.999023437500",
    "bits_hi": "1023/1024",
    "bits_lo": "1023/1024",
    "n1": 1,
    "n2": 1023,
    "n3": 0,
    "paid_rungs": 1023,
    "paid_share": "1023/1024",
    "rungs": 1024
   },
   "n_series_sha256": "782b80808a86b5d945d06789a57c2e2df2b54d18f1fd0e439ef733a3c78db01f",
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 18,
   "windows": [
    [
     -8,
     9
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "2f1139bb734611c2e9c289ab2435d90695c8a8743c3974924763962404cd76e7",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1023,
    "to_zero": 0
   },
   "zero_events_count": 1023,
   "zero_steps": {
    "-1": 511,
    "0": 0,
    "1": 512
   }
  },
  {
   "account_final": 4,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 24,
   "windows": [
    [
     -11,
     12
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "2f1139bb734611c2e9c289ab2435d90695c8a8743c3974924763962404cd76e7",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1023,
    "to_zero": 0
   },
   "zero_events_count": 1023,
   "zero_steps": {
    "-1": 511,
    "0": 0,
    "1": 512
   }
  },
  {
   "account_final": 4,
   "budget_log2": 10,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000571252442",
    "bits_hi": "174324098075673186392387018175994239768297/174224571863520493293247799005065324265472",
    "bits_lo": "348648196151346372784774036351988479536593/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 1023,
    "n3": 1,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "aa1b8020d362a547b467304cfb43e5f1db7d3765b4ea73b369b6dd7311d0dfeb",
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 36,
   "windows": [
    [
     -17,
     18
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "2f1139bb734611c2e9c289ab2435d90695c8a8743c3974924763962404cd76e7",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1023,
    "to_zero": 0
   },
   "zero_events_count": 1023,
   "zero_steps": {
    "-1": 511,
    "0": 0,
    "1": 512
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "matches_greedy": 7,
   "matches_measured": 11,
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 5,
   "target": "18/7",
   "width": 7,
   "windows": [
    [
     -1,
     5
    ],
    [
     -2,
     4
    ]
   ],
   "word_first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "d34f6903fd8b20e1a616aa56e20180dae7b46a5bfade49a339d4037ad450609b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.998046875000",
    "bits_hi": "511/512",
    "bits_lo": "511/512",
    "n1": 2,
    "n2": 1022,
    "n3": 0,
    "paid_rungs": 1022,
    "paid_share": "511/512",
    "rungs": 1024
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "43043859c93a4847d33824af2928f157196ae751a177ded201588437f989191a",
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 11,
   "windows": [
    [
     -3,
     7
    ],
    [
     -4,
     6
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8873e10bba9de33a356e17d6c91282eb5056515d95c254f8c87ed611132c5df2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 14,
   "windows": [
    [
     -4,
     9
    ],
    [
     -5,
     8
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8873e10bba9de33a356e17d6c91282eb5056515d95c254f8c87ed611132c5df2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.193654577875",
    "bits_hi": "207963957783283453901443097949967679723147/174224571863520493293247799005065324265472",
    "bits_lo": "415927915566566907802886195899935359445955/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 685,
    "n3": 339,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "993b7ff3213c36098e0cd35ad93301a5b4cebe3c286470f10e80d8720b4705e3",
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 21,
   "windows": [
    [
     -8,
     12
    ],
    [
     -9,
     11
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8873e10bba9de33a356e17d6c91282eb5056515d95c254f8c87ed611132c5df2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": 4279,
   "budget_log2": 10,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 9973,
   "windows": [
    [
     -4986,
     4986
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a3e534420eb49edd4cbfdb0dfe69180fd8a8f2daa245a2154b80aa753d5d36b6",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 527,
    "to_zero": 0
   },
   "zero_events_count": 527,
   "zero_steps": {
    "-1": 263,
    "0": 0,
    "1": 264
   }
  },
  {
   "account_final": 4279,
   "budget_log2": 10,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "0.514648437500",
    "bits_hi": "527/1024",
    "bits_lo": "527/1024",
    "n1": 497,
    "n2": 527,
    "n3": 0,
    "paid_rungs": 527,
    "paid_share": "527/1024",
    "rungs": 1024
   },
   "n_series_sha256": "a748fd0b78da47bc3dd629189db8e37e5ec238bafe8227d16d84d2dad553d84f",
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 14960,
   "windows": [
    [
     -7479,
     7480
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a3e534420eb49edd4cbfdb0dfe69180fd8a8f2daa245a2154b80aa753d5d36b6",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 527,
    "to_zero": 0
   },
   "zero_events_count": 527,
   "zero_steps": {
    "-1": 263,
    "0": 0,
    "1": 264
   }
  },
  {
   "account_final": 4279,
   "budget_log2": 10,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 19946,
   "windows": [
    [
     -9972,
     9973
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a3e534420eb49edd4cbfdb0dfe69180fd8a8f2daa245a2154b80aa753d5d36b6",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 527,
    "to_zero": 0
   },
   "zero_events_count": 527,
   "zero_steps": {
    "-1": 263,
    "0": 0,
    "1": 264
   }
  },
  {
   "account_final": 4279,
   "budget_log2": 10,
   "certificate": null,
   "class": "commensurable",
   "deficit": {
    "bits": "1.283912463729",
    "bits_hi": "223689099303408963565439726956736329169497/174224571863520493293247799005065324265472",
    "bits_lo": "447378198606817927130879453913472658338497/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 527,
    "n3": 497,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "n_series_sha256": "d78f351b72104f409d23a614ea160e73437ae13f4f206fe8ea1f3aca664c2321",
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 29919,
   "windows": [
    [
     -14959,
     14959
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a3e534420eb49edd4cbfdb0dfe69180fd8a8f2daa245a2154b80aa753d5d36b6",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 527,
    "to_zero": 0
   },
   "zero_events_count": 527,
   "zero_steps": {
    "-1": 263,
    "0": 0,
    "1": 264
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "half_width": "1/2",
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "quarter_bins": {
    "below_quarter": 509,
    "quarter_to_half": 515
   },
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "80d7a0b18b55123e10a90343ed68eea74b2d8ed9a64b4bc973e37d0191ed54cf",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 516,
    "to_zero": 0
   },
   "zero_events_count": 516,
   "zero_steps": {
    "-1": 258,
    "0": 0,
    "1": 258
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.502929687500",
    "bits_hi": "515/1024",
    "bits_lo": "515/1024",
    "n1": 509,
    "n2": 515,
    "n3": 0,
    "paid_rungs": 515,
    "paid_share": "515/1024",
    "rungs": 1024
   },
   "half_width": "3/4",
   "n_series_sha256": "ee606192d03db295989e88423b5b573a32a132a08fa842699e043c1de7eb1dfd",
   "quarter_bins": {
    "below_quarter": 509,
    "quarter_to_half": 515
   },
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "80d7a0b18b55123e10a90343ed68eea74b2d8ed9a64b4bc973e37d0191ed54cf",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 516,
    "to_zero": 0
   },
   "zero_events_count": 516,
   "zero_steps": {
    "-1": 258,
    "0": 0,
    "1": 258
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "half_width": "1",
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "quarter_bins": {
    "below_quarter": 509,
    "quarter_to_half": 515
   },
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "80d7a0b18b55123e10a90343ed68eea74b2d8ed9a64b4bc973e37d0191ed54cf",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 516,
    "to_zero": 0
   },
   "zero_events_count": 516,
   "zero_steps": {
    "-1": 258,
    "0": 0,
    "1": 258
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.290196240592",
    "bits_hi": "56195971909272146913992784459238599925143/43556142965880123323311949751266331066368",
    "bits_lo": "112391943818544293827985568918477199850159/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 516,
    "n3": 508,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "half_width": "3/2",
   "n_series_sha256": "2c8a3ffae783f65a22cda67ed4e334248f33787ab53fc828194be42fb2fc4766",
   "quarter_bins": {
    "below_quarter": 509,
    "quarter_to_half": 515
   },
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "80d7a0b18b55123e10a90343ed68eea74b2d8ed9a64b4bc973e37d0191ed54cf",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 516,
    "to_zero": 0
   },
   "zero_events_count": 516,
   "zero_steps": {
    "-1": 258,
    "0": 0,
    "1": 258
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "half_width": "1/2",
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "quarter_bins": {
    "below_quarter": 495,
    "quarter_to_half": 529
   },
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "230b2517815dd7ee259bd6acda68f8da25c61b7c241a973a6f51d9f3daa0aa8e",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 529,
    "to_zero": 0
   },
   "zero_events_count": 529,
   "zero_steps": {
    "-1": 265,
    "0": 0,
    "1": 264
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.516601562500",
    "bits_hi": "529/1024",
    "bits_lo": "529/1024",
    "n1": 495,
    "n2": 529,
    "n3": 0,
    "paid_rungs": 529,
    "paid_share": "529/1024",
    "rungs": 1024
   },
   "half_width": "3/4",
   "n_series_sha256": "2bc5cbe491f6f30dffe47c3bc63d027ec440a0aa254d538833e67e2bac0a4897",
   "quarter_bins": {
    "below_quarter": 495,
    "quarter_to_half": 529
   },
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "230b2517815dd7ee259bd6acda68f8da25c61b7c241a973a6f51d9f3daa0aa8e",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 529,
    "to_zero": 0
   },
   "zero_events_count": 529,
   "zero_steps": {
    "-1": 265,
    "0": 0,
    "1": 264
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "half_width": "1",
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "quarter_bins": {
    "below_quarter": 495,
    "quarter_to_half": 529
   },
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "230b2517815dd7ee259bd6acda68f8da25c61b7c241a973a6f51d9f3daa0aa8e",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 529,
    "to_zero": 0
   },
   "zero_events_count": 529,
   "zero_steps": {
    "-1": 265,
    "0": 0,
    "1": 264
   }
  },
  {
   "budget_log2": 10,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.282769958845",
    "bits_hi": "223490046879103577367161288614878498163847/174224571863520493293247799005065324265472",
    "bits_lo": "446980093758207154734322577229756996327199/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 529,
    "n3": 495,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "half_width": "3/2",
   "n_series_sha256": "f93035c71216947fa97a6143bf6005bf1e20c37f7ed7aef8f9559b5b3c2df201",
   "quarter_bins": {
    "below_quarter": 495,
    "quarter_to_half": 529
   },
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "230b2517815dd7ee259bd6acda68f8da25c61b7c241a973a6f51d9f3daa0aa8e",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 529,
    "to_zero": 0
   },
   "zero_events_count": 529,
   "zero_steps": {
    "-1": 265,
    "0": 0,
    "1": 264
   }
  },
  {
   "account_final": 0,
   "budget_log2": 12,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 2,
   "windows": [
    [
     0,
     1
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "534bc1c9e80dee669462b8ac026b9be7d48d561ab06896b0e7abdb4bec7aca16",
   "zero_events_by_kind": {
    "at_zero": 4095,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 4096,
   "zero_steps": {
    "-1": 1,
    "0": 4095,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 12,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 3,
   "windows": [
    [
     -1,
     1
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "534bc1c9e80dee669462b8ac026b9be7d48d561ab06896b0e7abdb4bec7aca16",
   "zero_events_by_kind": {
    "at_zero": 4095,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 4096,
   "zero_steps": {
    "-1": 1,
    "0": 4095,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 12,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 4,
   "windows": [
    [
     -1,
     2
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "534bc1c9e80dee669462b8ac026b9be7d48d561ab06896b0e7abdb4bec7aca16",
   "zero_events_by_kind": {
    "at_zero": 4095,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 4096,
   "zero_steps": {
    "-1": 1,
    "0": 4095,
    "1": 0
   }
  },
  {
   "account_final": 0,
   "budget_log2": 12,
   "certificate": {
    "at_step": 1,
    "kind": "completion"
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.584819687611",
    "bits_hi": "1104458126219360214148093700974170281130263/696898287454081973172991196020261297061888",
    "bits_lo": "2208916252438720428296187401948340562256431/1393796574908163946345982392040522594123776",
    "n1": 0,
    "n2": 1,
    "n3": 4095,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "6419a14de6446f08b3980c187b73054a65380fc70266b785a0d447b301f57c09",
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "seed_account": 1,
   "sup_abs_account": 1,
   "target": "3/2",
   "width": 6,
   "windows": [
    [
     -2,
     3
    ]
   ],
   "word_head": [
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
   ],
   "word_sha256": "534bc1c9e80dee669462b8ac026b9be7d48d561ab06896b0e7abdb4bec7aca16",
   "zero_events_by_kind": {
    "at_zero": 4095,
    "sign_change": 0,
    "to_zero": 1
   },
   "zero_events_count": 4096,
   "zero_steps": {
    "-1": 1,
    "0": 4095,
    "1": 0
   }
  },
  {
   "account_final": -2,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 5,
   "windows": [
    [
     -2,
     2
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "2d6118d1ebb31e713b228a8337df145bbcfa7c2b85fe77ae91258ced51b2f928",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2048,
    "to_zero": 0
   },
   "zero_events_count": 2048,
   "zero_steps": {
    "-1": 1024,
    "0": 0,
    "1": 1024
   }
  },
  {
   "account_final": -2,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.750000000000",
    "bits_hi": "3/4",
    "bits_lo": "3/4",
    "n1": 1024,
    "n2": 3072,
    "n3": 0,
    "paid_rungs": 3072,
    "paid_share": "3/4",
    "rungs": 4096
   },
   "n_series_sha256": "4f199078fa9e6edae95a8945c95c417fce9fd90e2e00a481c7688095ad65a178",
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 8,
   "windows": [
    [
     -3,
     4
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "2d6118d1ebb31e713b228a8337df145bbcfa7c2b85fe77ae91258ced51b2f928",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2048,
    "to_zero": 0
   },
   "zero_events_count": 2048,
   "zero_steps": {
    "-1": 1024,
    "0": 0,
    "1": 1024
   }
  },
  {
   "account_final": -2,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 10,
   "windows": [
    [
     -4,
     5
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "2d6118d1ebb31e713b228a8337df145bbcfa7c2b85fe77ae91258ced51b2f928",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2048,
    "to_zero": 0
   },
   "zero_events_count": 2048,
   "zero_steps": {
    "-1": 1024,
    "0": 0,
    "1": 1024
   }
  },
  {
   "account_final": -2,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 4
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.292481250361",
    "bits_hi": "439808579073631562602593778360683714281/340282366920938463463374607431768211456",
    "bits_lo": "879617158147263125205187556721367428561/680564733841876926926749214863536422912",
    "n1": 0,
    "n2": 2048,
    "n3": 2048,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "1a5675d3c8d504038fa78b5f20363263c80ac9fd034dd1b85299879855885ab4",
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "seed_account": -2,
   "sup_abs_account": 2,
   "target": "7/5",
   "width": 15,
   "windows": [
    [
     -7,
     7
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0
   ],
   "word_sha256": "2d6118d1ebb31e713b228a8337df145bbcfa7c2b85fe77ae91258ced51b2f928",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2048,
    "to_zero": 0
   },
   "zero_events_count": 2048,
   "zero_steps": {
    "-1": 1024,
    "0": 0,
    "1": 1024
   }
  },
  {
   "account_final": 4,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 12,
   "windows": [
    [
     -5,
     6
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "e276be4d024b1c94365ddaa3557bd0368d0de4318859bd23ce749acb01b336ac",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 4095,
    "to_zero": 0
   },
   "zero_events_count": 4095,
   "zero_steps": {
    "-1": 2047,
    "0": 0,
    "1": 2048
   }
  },
  {
   "account_final": 4,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.999755859375",
    "bits_hi": "4095/4096",
    "bits_lo": "4095/4096",
    "n1": 1,
    "n2": 4095,
    "n3": 0,
    "paid_rungs": 4095,
    "paid_share": "4095/4096",
    "rungs": 4096
   },
   "n_series_sha256": "629641bfe73ab0ae3cc2a159819b90a8bb05f10d358619cb251bf4de335d0441",
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 18,
   "windows": [
    [
     -8,
     9
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "e276be4d024b1c94365ddaa3557bd0368d0de4318859bd23ce749acb01b336ac",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 4095,
    "to_zero": 0
   },
   "zero_events_count": 4095,
   "zero_steps": {
    "-1": 2047,
    "0": 0,
    "1": 2048
   }
  },
  {
   "account_final": 4,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 24,
   "windows": [
    [
     -11,
     12
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "e276be4d024b1c94365ddaa3557bd0368d0de4318859bd23ce749acb01b336ac",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 4095,
    "to_zero": 0
   },
   "zero_events_count": 4095,
   "zero_steps": {
    "-1": 2047,
    "0": 0,
    "1": 2048
   }
  },
  {
   "account_final": 4,
   "budget_log2": 12,
   "certificate": {
    "at_step": 4,
    "kind": "cycle",
    "period": 2
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000142813111",
    "bits_hi": "696997813666234666272130415191190212564713/696898287454081973172991196020261297061888",
    "bits_lo": "1393995627332469332544260830382380425129425/1393796574908163946345982392040522594123776",
    "n1": 0,
    "n2": 4095,
    "n3": 1,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "23db0d7a5e20ea0eedfc1326c498fc6366ee11147891c9a1141bc3755f39787d",
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "seed_account": -5,
   "sup_abs_account": 5,
   "target": "17/12",
   "width": 36,
   "windows": [
    [
     -17,
     18
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1,
    -1,
    1
   ],
   "word_sha256": "e276be4d024b1c94365ddaa3557bd0368d0de4318859bd23ce749acb01b336ac",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 4095,
    "to_zero": 0
   },
   "zero_events_count": 4095,
   "zero_steps": {
    "-1": 2047,
    "0": 0,
    "1": 2048
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "matches_greedy": 7,
   "matches_measured": 11,
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 5,
   "target": "18/7",
   "width": 7,
   "windows": [
    [
     -1,
     5
    ],
    [
     -2,
     4
    ]
   ],
   "word_first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8b2e897e1e6a867295b37bc96cd58a52e7f4b97a2c52493e1df9eaa10ee2041d",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.999511718750",
    "bits_hi": "2047/2048",
    "bits_lo": "2047/2048",
    "n1": 2,
    "n2": 4094,
    "n3": 0,
    "paid_rungs": 4094,
    "paid_share": "2047/2048",
    "rungs": 4096
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "0e03055c3ff47b9d55defd5214d1071a026bdb79803a81d9e126646e98b87449",
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 11,
   "windows": [
    [
     -3,
     7
    ],
    [
     -4,
     6
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "45fc9f1d7fe3874338980d31d2e82005f9be4e3f41e5a6b0dec9b7424c18a6bc",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 14,
   "windows": [
    [
     -4,
     9
    ],
    [
     -5,
     8
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "45fc9f1d7fe3874338980d31d2e82005f9be4e3f41e5a6b0dec9b7424c18a6bc",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.194654269649",
    "bits_hi": "832552514618202667299746925996373127412363/696898287454081973172991196020261297061888",
    "bits_lo": "1665105029236405334599493851992746254823363/1393796574908163946345982392040522594123776",
    "n1": 0,
    "n2": 2733,
    "n3": 1363,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "a9d432a9cbebab13a231279afcdf2aef8f79d481550775f1ad07051bdd33ff0a",
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 21,
   "windows": [
    [
     -8,
     12
    ],
    [
     -9,
     11
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "45fc9f1d7fe3874338980d31d2e82005f9be4e3f41e5a6b0dec9b7424c18a6bc",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -939,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3324,
    "kind": "cycle",
    "period": 3324
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 9973,
   "windows": [
    [
     -4986,
     4986
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a8cb518f3a038805ebe43aef448c54281e134dec85a6fb7824fd6c2446aba2ef",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2088,
    "to_zero": 0
   },
   "zero_events_count": 2088,
   "zero_steps": {
    "-1": 1044,
    "0": 0,
    "1": 1044
   }
  },
  {
   "account_final": -939,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3324,
    "kind": "cycle",
    "period": 3324
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.509521484375",
    "bits_hi": "2087/4096",
    "bits_lo": "2087/4096",
    "n1": 2009,
    "n2": 2087,
    "n3": 0,
    "paid_rungs": 2087,
    "paid_share": "2087/4096",
    "rungs": 4096
   },
   "n_series_sha256": "c7c9008f874aed1d0a78ca9cdf219f3545d6a807f0de9bd27ced58b33d16f5d2",
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 14960,
   "windows": [
    [
     -7479,
     7480
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a8cb518f3a038805ebe43aef448c54281e134dec85a6fb7824fd6c2446aba2ef",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2088,
    "to_zero": 0
   },
   "zero_events_count": 2088,
   "zero_steps": {
    "-1": 1044,
    "0": 0,
    "1": 1044
   }
  },
  {
   "account_final": -939,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3324,
    "kind": "cycle",
    "period": 3324
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 19946,
   "windows": [
    [
     -9972,
     9973
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a8cb518f3a038805ebe43aef448c54281e134dec85a6fb7824fd6c2446aba2ef",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2088,
    "to_zero": 0
   },
   "zero_events_count": 2088,
   "zero_steps": {
    "-1": 1044,
    "0": 0,
    "1": 1044
   }
  },
  {
   "account_final": -939,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3324,
    "kind": "cycle",
    "period": 3324
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.286768725939",
    "bits_hi": "112093365182086214530567911405690453341811/87112285931760246646623899502532662132736",
    "bits_lo": "224186730364172429061135822811380906683371/174224571863520493293247799005065324265472",
    "n1": 0,
    "n2": 2088,
    "n3": 2008,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "n_series_sha256": "09013e05ca2a7acdeff63b6754c740e0b89159735d126d72072d4d6706c93c45",
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "seed_account": -4131,
   "sup_abs_account": 4978,
   "target": "14104/9973",
   "width": 29919,
   "windows": [
    [
     -14959,
     14959
    ]
   ],
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    1,
    -1,
    0,
    0,
    1,
    0,
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    -1,
    0,
    1
   ],
   "word_sha256": "a8cb518f3a038805ebe43aef448c54281e134dec85a6fb7824fd6c2446aba2ef",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2088,
    "to_zero": 0
   },
   "zero_events_count": 2088,
   "zero_steps": {
    "-1": 1044,
    "0": 0,
    "1": 1044
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "half_width": "1/2",
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "quarter_bins": {
    "below_quarter": 2109,
    "quarter_to_half": 1987
   },
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "a66cd01bebeb2b848594ad00c6b33d39b47658fa5a83a36b24577a5d3e1220db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1988,
    "to_zero": 0
   },
   "zero_events_count": 1988,
   "zero_steps": {
    "-1": 994,
    "0": 0,
    "1": 994
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.485107421875",
    "bits_hi": "1987/4096",
    "bits_lo": "1987/4096",
    "n1": 2109,
    "n2": 1987,
    "n3": 0,
    "paid_rungs": 1987,
    "paid_share": "1987/4096",
    "rungs": 4096
   },
   "half_width": "3/4",
   "n_series_sha256": "ce9d733bc4e558d9f0e4e5f1864fc33371c9b74397b0ac2aaa599bdf66a48765",
   "quarter_bins": {
    "below_quarter": 2109,
    "quarter_to_half": 1987
   },
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "a66cd01bebeb2b848594ad00c6b33d39b47658fa5a83a36b24577a5d3e1220db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1988,
    "to_zero": 0
   },
   "zero_events_count": 1988,
   "zero_steps": {
    "-1": 994,
    "0": 0,
    "1": 994
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "half_width": "1",
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "quarter_bins": {
    "below_quarter": 2109,
    "quarter_to_half": 1987
   },
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "a66cd01bebeb2b848594ad00c6b33d39b47658fa5a83a36b24577a5d3e1220db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1988,
    "to_zero": 0
   },
   "zero_events_count": 1988,
   "zero_steps": {
    "-1": 994,
    "0": 0,
    "1": 994
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.301050036992",
    "bits_hi": "226674885667989756539616302084603794254247/174224571863520493293247799005065324265472",
    "bits_lo": "453349771335979513079232604169207588507967/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 1988,
    "n3": 2108,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "half_width": "3/2",
   "n_series_sha256": "116604e0955866a9c447c4831515d71a121a89e08094fd03c4072d1c408aff07",
   "quarter_bins": {
    "below_quarter": 2109,
    "quarter_to_half": 1987
   },
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "target": "sqrt(2)",
   "word_head": [
    1,
    0,
    -1,
    1,
    -1,
    1,
    -1,
    0,
    0,
    0,
    0,
    1,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0
   ],
   "word_sha256": "a66cd01bebeb2b848594ad00c6b33d39b47658fa5a83a36b24577a5d3e1220db",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 1988,
    "to_zero": 0
   },
   "zero_events_count": 1988,
   "zero_steps": {
    "-1": 994,
    "0": 0,
    "1": 994
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "half_width": "1/2",
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "quarter_bins": {
    "below_quarter": 2013,
    "quarter_to_half": 2083
   },
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4ec66a928595426d43fe2be8c0488e798a7c87edb0231ab4fb1fedce989531a3",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2084,
    "to_zero": 0
   },
   "zero_events_count": 2084,
   "zero_steps": {
    "-1": 1042,
    "0": 0,
    "1": 1042
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "0.508544921875",
    "bits_hi": "2083/4096",
    "bits_lo": "2083/4096",
    "n1": 2013,
    "n2": 2083,
    "n3": 0,
    "paid_rungs": 2083,
    "paid_share": "2083/4096",
    "rungs": 4096
   },
   "half_width": "3/4",
   "n_series_sha256": "5a4238d9fa5da73aaaf06ebba6111e84102f64cd76a90f52edf74fdd8e18c71e",
   "quarter_bins": {
    "below_quarter": 2013,
    "quarter_to_half": 2083
   },
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4ec66a928595426d43fe2be8c0488e798a7c87edb0231ab4fb1fedce989531a3",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2084,
    "to_zero": 0
   },
   "zero_events_count": 2084,
   "zero_steps": {
    "-1": 1042,
    "0": 0,
    "1": 1042
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "half_width": "1",
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "quarter_bins": {
    "below_quarter": 2013,
    "quarter_to_half": 2083
   },
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4ec66a928595426d43fe2be8c0488e798a7c87edb0231ab4fb1fedce989531a3",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2084,
    "to_zero": 0
   },
   "zero_events_count": 2084,
   "zero_steps": {
    "-1": 1042,
    "0": 0,
    "1": 1042
   }
  },
  {
   "budget_log2": 12,
   "certificate": null,
   "class": "incommensurable",
   "deficit": {
    "bits": "1.287339978382",
    "bits_hi": "224286256576325122160275041982309822186447/174224571863520493293247799005065324265472",
    "bits_lo": "448572513152650244320550083964619644372391/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 2084,
    "n3": 2012,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "half_width": "3/2",
   "n_series_sha256": "128ec8f846dcf8f2f67eb4ccdbc5095a22f9c6d757447cdcedb982d6175b57e3",
   "quarter_bins": {
    "below_quarter": 2013,
    "quarter_to_half": 2083
   },
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "target": "sqrt(3)",
   "word_head": [
    -1,
    1,
    0,
    0,
    -1,
    1,
    0,
    -1,
    1,
    0,
    -1,
    0,
    1,
    0,
    0,
    0,
    -1,
    1,
    -1,
    1,
    0,
    0,
    -1,
    1,
    -1,
    0,
    0,
    0,
    1,
    -1,
    1,
    0
   ],
   "word_sha256": "4ec66a928595426d43fe2be8c0488e798a7c87edb0231ab4fb1fedce989531a3",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2084,
    "to_zero": 0
   },
   "zero_events_count": 2084,
   "zero_steps": {
    "-1": 1042,
    "0": 0,
    "1": 1042
   }
  }
 ],
 "code_sha256": "79a7ba112df1c3d530f17c8123a0ec9212297c0c8f9c51af8161b2a888422515",
 "experiment": "oxexp-hallway",
 "kind": "act",
 "ladder": [
  "1",
  "3/2",
  "2",
  "3"
 ],
 "read_at_utc": "2026-10-26T02:31:04Z",
 "record_sha256": "88b141d792308bb316a0b36a373d7b9092110cbd8980d58b7a93bce328be77bb",
 "registration_sha256": "e2d9cdf2751f67ad49a664faac8f6d1f26c2df91567da00266c4763b99f1d4fd",
 "seconds": 1.569,
 "small_q_beside": [
  "3/2",
  "7/5",
  "17/12",
  "18/7"
 ],
 "targets": [
  "3/2",
  "7/5",
  "17/12",
  "18/7",
  "14104/9973",
  "sqrt(2)",
  "sqrt(3)"
 ],
 "title": "THE CONVERSE — payload varied, the account fixed (all seven targets)"
}