{
  "H_parity_0_bridge_output": "101010",
  "H_parity_1_bridge_output": "1010101010",
  "U_renormalization": "T^4(U_p)=U_(p+1), output 0101",
  "a_first_seam_output": "101010101",
  "b_seam_parity_0_endpoint": "1^(0m+2) 0^(3m-2) 1 0 1 0 1^(0m+3) 0^(18m-16) 1 0^(0m+3) 1^(0m+2) 0^(0m+2) 1^(3m-2) 0 1",
  "b_seam_parity_1_endpoint": "1^(0m+2) 0^(3m+1) 1^(0m+2) 0^(0m+2) 1^(0m+2) 0^(18m-7) 1^(0m+2) 0 1 0^(0m+3) 1^(3m+0) 0 1",
  "first_cycle_a_anchor": [
    188743677,
    3221226144,
    32
  ],
  "first_cycle_a_parity_0_start_template": {
    "u": "0^(0m+4) 1 0 1^(0m+2) 0^(0m+2) 1^(12m+8) 0 1",
    "v": "1^(0m+2) 0^(12m+8) 1 0 1 0 1 0^(0m+5)",
    "width": [
      12,
      20
    ]
  },
  "first_cycle_a_parity_1_start_template": {
    "u": "0^(0m+4) 1 0 1^(0m+2) 0^(0m+2) 1^(12m+14) 0 1",
    "v": "1^(0m+2) 0^(12m+14) 1 0 1 0 1 0^(0m+5)",
    "width": [
      12,
      26
    ]
  },
  "first_cycle_b_anchor": [
    1509942909,
    3244032084,
    32
  ],
  "first_cycle_b_parity_0_start_template": {
    "u": "0 1 0 1^(0m+2) 0^(0m+2) 1^(9m+3) 0^(0m+2) 1^(0m+2) 0^(0m+2) 1^(3m+2) 0 1",
    "v": "1^(0m+2) 0^(3m+2) 1 0 1 0 1^(0m+3) 0^(9m+2) 1 0 1 0 1 0^(0m+2)",
    "width": [
      12,
      20
    ]
  },
  "first_cycle_b_parity_1_start_template": {
    "u": "0 1 0 1^(0m+2) 0^(0m+2) 1^(9m+6) 0 1 0 1 0^(0m+3) 1^(3m+4) 0 1",
    "v": "1^(0m+2) 0^(3m+5) 1^(0m+2) 0^(0m+2) 1^(0m+2) 0^(9m+6) 1 0 1 0 1 0^(0m+2)",
    "width": [
      12,
      26
    ]
  },
  "initial_a_end_state": [
    30711,
    588432,
    20
  ],
  "initial_a_templates": [
    "1 0^(9m-9) 1 0^(0m+2) 1^(0m+2) 0 1 0",
    "1^(0m+2) 0 1^(0m+2) 0^(0m+2) 1 0^(9m-16) 1 0^(0m+2) 1^(0m+2) 0 1^(0m+2)",
    "1^(0m+2) 0 1^(0m+2) 0^(0m+2) 1 0^(9m-16) 1 0^(0m+2) 1^(0m+2) 0 1^(0m+2) 0",
    "1 0 1 0^(0m+3) 1 0 1^(0m+2) 0^(9m-17) 1^(0m+3) 0 1 0^(0m+3) 1",
    "1 0^(0m+2) 1 0 1^(0m+3) 0^(0m+2) 1 0^(9m-19) 1 0 1 0^(0m+3) 1 0 1^(0m+2) 0",
    "1^(0m+10) 0^(9m-19) 1 0^(0m+2) 1^(0m+9)",
    "1^(0m+9) 0 1 0 1 0^(9m-21) 1^(0m+2) 0 1^(0m+8) 0",
    "1 0 1^(0m+7) 0 1 0 1^(0m+2) 0^(9m-23) 1 0^(0m+3) 1^(0m+8) 0 1",
    "1 0 1^(0m+7) 0 1^(0m+3) 0^(9m-22) 1 0 1^(0m+2) 0^(0m+2) 1^(0m+6) 0 1 0",
    "1 0^(0m+3) 1^(0m+5) 0 1 0 1 0^(0m+2) 1 0^(9m-24) 1^(0m+3) 0 1^(0m+7) 0 1^(0m+3)"
  ],
  "initial_b_end_state": [
    236535,
    589362,
    20
  ],
  "initial_b_templates": [
    "1 0^(9m-12) 1 0^(0m+2) 1 0^(0m+2) 1^(0m+2) 0 1 0",
    "1^(0m+2) 0 1^(0m+2) 0^(0m+2) 1 0^(0m+2) 1 0^(9m-22) 1 0^(0m+2) 1 0^(0m+2) 1^(0m+2) 0 1^(0m+2)",
    "1^(0m+2) 0 1^(0m+2) 0^(0m+2) 1 0^(0m+2) 1 0^(9m-22) 1 0^(0m+2) 1 0^(0m+2) 1^(0m+2) 0 1^(0m+2) 0",
    "1 0 1 0^(0m+3) 1 0 1^(0m+2) 0 1^(0m+2) 0^(9m-23) 1^(0m+2) 0 1^(0m+3) 0 1 0^(0m+3) 1",
    "1 0^(0m+2) 1 0 1^(0m+3) 0 1 0^(0m+3) 1 0^(9m-25) 1 0 1 0^(0m+2) 1 0^(0m+3) 1 0 1^(0m+2) 0",
    "1^(0m+10) 0 1^(0m+2) 0^(9m-25) 1 0^(0m+2) 1 0 1^(0m+10)",
    "1^(0m+10) 0 1 0 1 0 1 0^(9m-27) 1^(0m+2) 0^(0m+2) 1^(0m+10) 0",
    "1 0 1^(0m+8) 0 1^(0m+3) 0 1^(0m+2) 0^(9m-29) 1 0^(0m+3) 1 0^(0m+2) 1^(0m+8) 0 1",
    "1 0 1^(0m+8) 0 1 0^(0m+2) 1^(0m+2) 0^(9m-28) 1 0 1^(0m+2) 0^(0m+2) 1^(0m+9) 0 1 0",
    "1 0^(0m+3) 1^(0m+7) 0^(0m+3) 1^(0m+2) 0^(0m+2) 1 0^(9m-30) 1^(0m+3) 0^(0m+2) 1^(0m+2) 0 1^(0m+6) 0 1^(0m+3)"
  ],
  "method": "affine run templates proved as Laurent-polynomial identities in X=2^m",
  "proof_boundary": "The all-q proof is carried by symbolic affine-run identities; finite substitutions are not the induction step.",
  "s_renormalization": "Phi^6(s_a)=s_(a+6), output 101010",
  "small_base_checks": [
    {
      "divergence": 36,
      "q": 4
    },
    {
      "divergence": 48,
      "q": 5
    },
    {
      "divergence": 60,
      "q": 6
    },
    {
      "divergence": 72,
      "q": 7
    },
    {
      "divergence": 84,
      "q": 8
    },
    {
      "divergence": 96,
      "q": 9
    }
  ],
  "status": "pass",
  "terminal_parity_0_output": "0101011",
  "terminal_parity_0_start": "1 0 1^(15m-9) 0 1^(0m+4) 0^(0m+4) 1 0^(15m-9)",
  "terminal_parity_1_output": "0101011",
  "terminal_parity_1_start": "1 0 1^(15m-4) 0^(0m+2) 1^(0m+2) 0 1 0^(0m+2) 1^(0m+2) 0^(0m+3) 1^(0m+2) 0^(15m-4)",
  "theorem": {
    "a_response": "011101111(10)^infinity",
    "b_prefix": "011101111(10)^(6q-11)11",
    "chart_length": "9q",
    "first_divergence": "12q-12",
    "latency_slope": "4/3"
  },
  "transcription_substitutions": [
    {
      "divergence": 108,
      "q": 10
    },
    {
      "divergence": 120,
      "q": 11
    },
    {
      "divergence": 132,
      "q": 12
    },
    {
      "divergence": 228,
      "q": 20
    },
    {
      "divergence": 468,
      "q": 40
    },
    {
      "divergence": 1188,
      "q": 100
    }
  ]
}