{
  "key": "fresh5-1",
  "status": "completed; no promotion",
  "track": "B",
  "idea": {
    "name": "Posterior-integrated rival-band projection",
    "causal_mechanism": "Each new-step callback clips the prior rival spot into the arbitrage band separately under each posterior price cell, averages these projections, and blends this result with the base mean-price projection. This uses existing uncertainty to reduce rival-state skew and its economic quote cost. It buys no new signal.",
    "distinctness": "Only the rival scalar projection changes. No new arb classifier, likelihood, transition kernel, quote blend, entropy probe, same-step fill inference, silent-step likelihood or finer lattice. No per-hypothesis rival state is retained.",
    "formula": "c0=clip(s2_old,exp(m)*G,exp(m)/G); ci=clip(s2_old,exp(c+(i-60)*HC)*G,exp(c+(i-60)*HC)/G); cint=sum(P_i*ci)/sum(P_i); s2=clip(c0+strength*(cint-c0),exp(m)*G,exp(m)/G). Then apply the unchanged base phase/rival-sync logic.",
    "constants": {
      "G": 0.997,
      "HC_log_price": 0.00025,
      "cells": 121,
      "thr": 0.9
    },
    "frozen_strength": 1.0
  },
  "settings_tried": [
    {
      "strength": 0.5,
      "paired": {
        "n": 128,
        "mean_diff": 0.01951904717379005,
        "se": 0.01203944856641735,
        "sum": 2.4984380382451263,
        "sumsq": 2.4050470488403914,
        "worst5": [
          [
            62106,
            -0.45894212971393245
          ],
          [
            62001,
            -0.365538455901401
          ],
          [
            62030,
            -0.24015232563669997
          ],
          [
            62078,
            -0.19280931799210066
          ],
          [
            62084,
            -0.18770516811866855
          ]
        ]
      }
    },
    {
      "strength": 1,
      "paired": {
        "n": 128,
        "mean_diff": 0.028064753640208107,
        "se": 0.014924509661611882,
        "sum": 3.5922884659466376,
        "sumsq": 3.7216942021258204,
        "worst5": [
          [
            62106,
            -0.5100107289257494
          ],
          [
            62001,
            -0.40693979082891474
          ],
          [
            62037,
            -0.28127234956104985
          ],
          [
            62088,
            -0.2742572870154163
          ],
          [
            62027,
            -0.26604852650274324
          ]
        ]
      }
    },
    {
      "strength": 1.5,
      "paired": {
        "n": 128,
        "mean_diff": 0.021788778620243754,
        "se": 0.020412806223554247,
        "sum": 2.7889636633912005,
        "sumsq": 6.834361398995151,
        "worst5": [
          [
            62106,
            -0.6194400305231511
          ],
          [
            62071,
            -0.5761650282087771
          ],
          [
            62001,
            -0.5207404661055648
          ],
          [
            62065,
            -0.5004696016034131
          ],
          [
            62027,
            -0.48632542551774804
          ]
        ]
      }
    },
    {
      "strength": 2,
      "paired": {
        "n": 128,
        "mean_diff": -0.0022884960377429486,
        "se": 0.028248499682935756,
        "sum": -0.2929274928310974,
        "sumsq": 12.972596412786062,
        "worst5": [
          [
            62071,
            -0.9631703128743538
          ],
          [
            62106,
            -0.8194486371626226
          ],
          [
            62040,
            -0.7635522986144565
          ],
          [
            62023,
            -0.6717289825861599
          ],
          [
            62013,
            -0.5994569081725558
          ]
        ]
      }
    }
  ],
  "tuning": {
    "seed_start": 62000,
    "seed_end": 62127,
    "n_per_arm": 128,
    "selection_rule": "Highest paired mean over unchanged thr09; exactly four nonzero strengths. Selected once before confirmation and holdout.",
    "selected_vs_base": {
      "n": 128,
      "mean_diff": 0.028064753640208107,
      "se": 0.014924509661611882,
      "sum": 3.5922884659466376,
      "sumsq": 3.7216942021258204,
      "worst5": [
        [
          62106,
          -0.5100107289257494
        ],
        [
          62001,
          -0.40693979082891474
        ],
        [
          62037,
          -0.28127234956104985
        ],
        [
          62088,
          -0.2742572870154163
        ],
        [
          62027,
          -0.26604852650274324
        ]
      ]
    }
  },
  "confirmation": {
    "seed_start": 62128,
    "seed_end": 62255,
    "paired": {
      "n": 128,
      "mean_diff": 0.012335366124198721,
      "se": 0.014992374329426048,
      "sum": 1.5789268638974363,
      "sumsq": 3.6733586992242486,
      "worst5": [
        [
          62139,
          -0.5818219079417304
        ],
        [
          62220,
          -0.5633215819433417
        ],
        [
          62217,
          -0.46174472968834834
        ],
        [
          62128,
          -0.38690990605789466
        ],
        [
          62168,
          -0.257470555014379
        ]
      ]
    },
    "used_to_reselect": false
  },
  "holdout": {
    "seed_start": 10000,
    "seed_end": 12047,
    "n_per_arm": 2048,
    "scoring_passes_per_arm": 1,
    "chunk_size": 256,
    "runner": "Unchanged run.py with fast_rival:Lattice, under run.Blind; pair.py compared concatenated chunks. No full-simulation fast path used.",
    "lattice_reference": "ref/lattice_qm.json from pinned solved folder"
  },
  "holdout_vs_base": {
    "n": 2048,
    "mean_diff": 0.017789396036446053,
    "se": 0.0052532400331807595,
    "sum": 36.43268308264152,
    "sumsq": 116.33983744724893,
    "worst5": [
      [
        11696,
        -2.116190498020387
      ],
      [
        11266,
        -0.9961301221725307
      ],
      [
        10695,
        -0.7526018566844641
      ],
      [
        10962,
        -0.6523104696506152
      ],
      [
        12044,
        -0.6272106912758773
      ]
    ]
  },
  "holdout_vs_lattice_qm": {
    "n": 2048,
    "mean_diff": 0.3406813158469373,
    "se": 0.011333032251256862,
    "sum": 697.7153348545276,
    "sumsq": 776.1419614692032,
    "worst5": [
      [
        11487,
        -1.9707073658324816
      ],
      [
        11696,
        -1.795957975378883
      ],
      [
        10942,
        -1.4994630979031172
      ],
      [
        10982,
        -1.3050412764138173
      ],
      [
        10235,
        -1.3000588423202544
      ]
    ]
  },
  "diagnostics": {
    "candidate": {
      "n_runs": 2048,
      "first_trade_count": 14474981,
      "first_trade_misread_count": 4184414,
      "first_trade_misread_rate": 0.28907906683953505,
      "callback_count": 22640608,
      "callback_squared_log_price_error_bps2": 3988750927.948084,
      "callback_RMS_log_price_error_bps": 13.273162653963416
    },
    "base_thr09": {
      "n_runs": 2048,
      "first_trade_count": 14472181,
      "first_trade_misread_count": 4180058,
      "first_trade_misread_rate": 0.28883400504733875,
      "callback_count": 22636622,
      "callback_squared_log_price_error_bps2": 3990446776.5684752,
      "callback_RMS_log_price_error_bps": 13.277152756808208
    },
    "lattice_qm": {
      "n_runs": 2048,
      "first_trade_count": 14315685,
      "first_trade_misread_count": 2322695,
      "first_trade_misread_rate": 0.162248261260289,
      "callback_count": 22263118,
      "callback_squared_log_price_error_bps2": 4143769057.6884427,
      "callback_RMS_log_price_error_bps": 13.64283973652866
    }
  },
  "checks": {
    "zero_change_complete_row_equivalence": {
      "seeds": [
        62000,
        62001,
        62002,
        62003,
        62004,
        62005,
        62006,
        62007
      ],
      "n": 8,
      "exact_all_fields": true
    },
    "zero_change_callback_equivalence": [
      {
        "seed": 62000,
        "callbacks": 9172,
        "exact_fee_and_belief_state_equivalence": true
      },
      {
        "seed": 62001,
        "callbacks": 10360,
        "exact_fee_and_belief_state_equivalence": true
      }
    ],
    "fast_callback_parity": {
      "numba": true,
      "cases": [
        {
          "strength": 0,
          "seed": 62000,
          "callbacks": 9172,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 0,
          "seed": 62001,
          "callbacks": 10360,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 0.5,
          "seed": 62000,
          "callbacks": 9173,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 0.5,
          "seed": 62001,
          "callbacks": 10337,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 1,
          "seed": 62000,
          "callbacks": 9170,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 1,
          "seed": 62001,
          "callbacks": 10333,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 1.5,
          "seed": 62000,
          "callbacks": 9177,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 1.5,
          "seed": 62001,
          "callbacks": 10318,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 2,
          "seed": 62000,
          "callbacks": 9179,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        },
        {
          "strength": 2,
          "seed": 62001,
          "callbacks": 10312,
          "max_fee_error_bps": 0.0,
          "max_m_error_bps": 0.0,
          "classification_mismatches": 0
        }
      ]
    },
    "dependency_free_fallback": {
      "seed": 62000,
      "strength": 1.0,
      "exact_all_row_fields": true
    },
    "blindness": {
      "passed": true,
      "policy_arguments": [
        "is_buy",
        "amount_x",
        "amount_y",
        "timestamp",
        "reserve_x",
        "reserve_y"
      ],
      "needs_flag": false,
      "online_hidden_label_access": false,
      "evidence": "run.Blind dispatch passes only six arguments. Candidate has no oracle-label mode. Diagnostics inspect true price and arb flag only after the callback, in the harness. Fast callback receives side/time/reserves and policy state only. No training labels used."
    },
    "seed_ledger": {
      "tuning": [
        62000,
        62127
      ],
      "confirmation": [
        62128,
        62255
      ],
      "holdout": [
        10000,
        12047
      ],
      "engine_seeds_used": 0,
      "other_seeds_used": []
    }
  },
  "gas_estimate": {
    "measured": false,
    "incremental_only": true,
    "incremental_gas_range": [
      130000,
      650000
    ],
    "assumptions": "Illustrative unoptimized Solidity model: 121 exp calls at 1000..5000 gas each, plus 9000..45000 gas for traversal/arithmetic. No Solidity implementation measured; total policy gas unknown.",
    "operations": {
      "max_cells_visited_new_step": 121,
      "max_exp_calls_new_step": 121,
      "per_nonzero_cell": {
        "multiplications": 2,
        "divisions": 1,
        "accumulating_additions": 2,
        "clamp_comparisons": 2
      },
      "extra_same_step_work": 0
    },
    "incremental_persistent_storage_slots": 0,
    "naive_base_state_scalars": 135,
    "base_state_note": "121 mass cells plus 14 fast-policy scalars, before packing and excluding quote tables. No claim of meeting the 32-slot or gas constraints.",
    "total_gas": null
  },
  "conclusion": {
    "incremental_gain_over_thr09": 0.017789396036446053,
    "promotion_bar": 0.3,
    "promote_to_track_A": false,
    "reason": "Incremental holdout gain is below +0.3. Gain over lattice_qm includes the pre-existing thr09 improvement and must not be attributed entirely to this mechanism. No board or engine result claimed."
  },
  "provenance": {
    "external_sources": "sources.json",
    "base_artifact": "22819a1542e36a609ec3d02a160b4b7aaf345d26d7184ef6517abc35b85cfbfc",
    "solved_commit": "e65314f88de945f6d055bfc2aab01c482ab6570e",
    "numeric_evidence": "Own local blind replica experiments; reproduced by bundled experiment.py/report.py. No imputation. Paired SE is the sample standard deviation of per-seed differences divided by sqrt(n).",
    "row_sha256": {
      "candidate": "9b974050d041b9f2031c65eb5ffa34a67bc2543cd502ce24ce274a265f1f6e3f",
      "base_thr09": "2d74845c78c1c1c7a215f450b66f3ed75c19975c8e62b6ec93da5773443c009b",
      "lattice_qm": "02e2e352ea83b848b2f40b4094ee8fafc5869f56aba0f3d759bd2b66323a8a3a"
    }
  },
  "code_zb64": "eNrtffuT08aycH72XzFJKtcSKxvb+wIbUx9sSKACy7K7Cfdka69LtmVbrCUZSfZ64fC/f/2YkTSS/ABCzrn3WAVrad7T093T3dMzE0/CWTCtz+6++3ZPA56jgwP6hSf/e7zfaKl3GX58tN/8TjS++xueeRTbIVT53X/m88MPP5wEUVy7ddzxJHaGwg7790Mntt2pGNjTaVvEE0dM7Th2B44YudPYCUUwohDAGkvM/cHE9sfO0BLOcuDMYshgx5Rr5IYRvIX20MEstohiZ1ZxIxE6NlQUUSKoTwT+9E7cThxfuHEkZtAeJ3SDkOJmYdC3++7Uje/EzKU6nGEEhcVzH5obT0InmgRTehOGbJaYR04kGvVDs165hEr6ztR1RmI+G9qxI6AFcz8O5oOJM+xw5diS2cSOHGE0xCISTVPY/pCCQ3dhT2vRLIhVfurgKJhOg1tKgXASDIV6ZR7ZY6ctZnfxJPD3Re2FCOc+NikmSmtfTsKXEpqPIuhK47F45MP/YB7X30UBvL73uu+93k3TqR1SCObsQl8qMFYV15sFYSw8O56o99CZTd2B3UKInldGYeDR6AgZLWs7CyARjNfzE04CYzBVSWYT1xK/tixx/vy1JV7+3HtFfy8qlcpgakeRSBttaMWZ7YqAZwiwDfwejbQROdORBTDu9edQnb2E//AbWwLe4GU0tcfd08B3ZF58AtEVmK0eJEERBN2J+2KZhAxjCIpFjVPG0K44iYPaEFe64hd7GjlpIZiSsbCL+R93RTPNM1JBaUOSTAMfszS0iCk2EwFfnwZj6mY9mol7wmjWG6pZo75pdsTELUt5X09pm6ZWfHADmS7DuaOFjoAMesL1RYjoZXiubwwRCE1L7DdMU2960vyhOxoBCRhmIZpqoTR+EHrctsE8NqaBBc02ixkATD6gfnDTFn3AmZtKLhIj1tQ5ncmRScFRAjIsiDFGODCA2cQboJY2r9DyHxXZD11gFIYXDJ2p8NwICh9MzDZQALL+WNy6Q2RDwVwSPLYXOZTrj8uhO4NB4H7BWM9wrKGFWlLsRLFBUwkKBpfjR6qUQkpnhvgf1MdObFSRF1ct4GaN0tHBtI8xtlghPp5nicVC1eoFnuPHUQliZBsoIQ4lmzBYHLpHFd1DXmHIdkMSzzNhhA4aTu0geSkUPYQi7X5kaKMqqaIE434Ucv7pA84PJsBLAf8jHCQcHT+oYdWuD3MEMOZC7rMbx5mp7p5dta87QLg9F7G756pwDqFXDC4U8qdKmCGNkuGEdkLCPwEqcqjCSVAlLmoqSCV99uylAXMkcPWHgO814rIIMuSz+KslgNwUXqiTsI0HBLKokaGWEBHlgwAxmKLyGKqol9sdhPZg6kBOxDMgDYXUmAQZNpfRKCljYofDFFXxi1D14cOHpcgKBQPHpUzA2P4Uj7rY4f3GCuTNk1uRUKZc6CNubo2KXlMWMb0/y8opI1jGRs9dxvMQ5nSjCRXMXBwdiaGpqLKHrYAxDwAxgX3BnCmFoHXcZGOzCKETZC6NxgnCTSeIMvSGxjVhUM+u3GtxL6HumVtenxwllJ4kZw+dATCN0Fk5Cum84wBE3FgmtAp1JPM01aD42yQknDk0i/OwJ7uxgYH9KIjqEd4M+1v7TpCYg0G3rj8EUc0Zjp383IFsictVM8wAieagAWP5/CTff04JTP9z2jZz1OznLGeqiHw7mBu2JuIRpr8Hwlg7DeuqsEoB9ZM0jzHN/ZJ89/P5OPrOHzjDgsAkZ1Mepna+kTxDF8lkgKIywKA4sRdrl0VRlkdJU7VGY1wn18yCXFROsJmW/Noqig4rW/L4K1qSyIt7WemSRn6Cs3gzGV9MhIyKuWkKl2JfOGdDF2QT4uEXPZLkYRSQVXtpDkzS3OKsns6/pgKKh8ys6Rx0xG1LTyKhUEiZFDkC+h7Z6Ywa3Mxnxq0FBVnYfotxPnofxlzYQhZg5sTzvqXGB8o6r4PC4c1GBiCPlfnKjB2w3nnoy+pBQ/lu93zFQ9rtN7YArbf/NBvN46Zu/4Ggg+Od/edvsv+cKSGmhkL1OLTRDMRWjz4yx1kYvHMGsRv4yFsccf7s7Pz1z7+fPKt7w3rl6dTFNGQOaLMxJXKXwh5BmRe39gwEoPGc5kUL5hYQpIeg+dSmdh+VMVDJ6n+VWcMSp40vMG2cY0cTEHyleWNn09jZNHY2jZ1NY2fT+FfZNHb2iJ09YmeP+Dp7RDAd9qKWKgWUQC12MHVnM1KFkbqlZQK0PaAKzmgps0OOD0bQZH8cT1LyVCFlMwEqzUmGbvlc8KP4TYE5CN2x69uKwYpg5oAgCzJrRBjpLO1BLD44YVDjhToxs0M3vquXMYUvMMZ8jUGmnNbjIIbeUMdBOVers91SI+zWNFc+myKGJpOLe72KCindIx4KMQj82PVzgl2CYiEub+axbABtMFzA69OGSehcTrhJX/e6XOU9RjQqswTXKLwE3XRAysKKw52qPN206vsyF/SaX0gY4VlH4n+5GMWjXCAMOexWQjx7KXKD5JhpRE0lMU1zZ7bbme12Zrvd8y2fEeBfj4w9384CuN7+d9w6aDXy9r+Dw6Od/e9vsv+dzr2+LchaFowSsxu6LO0pNy92rEo9wCzxHkRZuz91InaUgoxOYkiuRiDnhCNnENdcH2QTjwQxaSO0KkOQ1GKSWfjt1oVZcAyzXwR566BgzFFTcSOsC123SE2WTlSuT9JeFEwXwNZHIAQ4Yb0CTKbob8WYzb1pK5erJiKY2BfK26robIVSJbS+Rk5dBBSUq6hI6BdbO0Gp8x0SJjLVZuvD+qefUSVbdtCG01YDAMCX3nbYEGiDj8O0vkoJ9WKV5c+P+pj9fMZWTxENQJom9XBNXTRgYuvnx2SEc9hB6CNhtQdYNQimc89H2JK+lK1W2XRhNHoErI4Ig1uccpMQoyqLApWCheEjhIUl4Ge/BXPTx+p7r9oG6T+efDIrlXPMb4dOOsJUooG6mVKqSWNeCHthUVvZ9uq5EXkxgkTgw3/EZkTMfsYaDrVFAdTkhggvTE0ej169cnb++uSii25/dpSiF6D+L08uLntnv58/6zYtNEj4AQ/7ffiLzpYjwIUIEGVwA3IpE6dmsKYGJhQMxbL7ZmR7DpMdmQFm89CpndHQimjmOEOombwkEYLYGB+wbhjat+yhKctD2EDxMCYoutpexIRrcwth3KCTwAZOuOBqVHnlhJEDZYnLWxfNEsJAf0dALEsWZACExvY8ivAFpBe0OixALQNEMdDkzND4x/npr91m2h6P61XVqEa5PtRhD7XlhOgO5JlAyjSWQFKwROwCMJ4/O3+GeiggJIo7Qzf0AUaG+gY1HH+NXg95UK8HsjiUxXFQkQPCEeAUFmKWL1fIQByh4ppEyXKEJS7etM5ecFpJlSq5okuEkT2sVOJQCvNoqY7qjr9ww8BnjTpBoCoag20XUPMFlfIsDINQi+ciuApCL2y5P6NgagaPq0rxzuWliedP/njWO/391dMnSqqWbr+ZetrFlKywVH5+9suT319CE16/zID/XQA6EkLTElXoeM9zh8S3oJGnvYvLZ2cXKJAjIVcq0Om0YK7oN5JAf+uIV0/++xd6x5eO+PVUKDPcef30F27UCRobkXCen3TEafJ1il+N5Itl+N+enUOIP6vbYWjfsXMxhAFq/vZKJf3tVYX5G8gRsSMWwNcC8pDO+k0zQ6CEJzDgMPTPX1gCxv4PS1y+tMTJ6SVgQOu5JX55Cv+fwMcZ/P/HKXy8OL+AyBcXT86fIqcjptYEcZxK+384LsbAHkycLoHYTFaslAye0fqlDN6Qjl2gySVarUGwo9DHDEcKHm2uB03Cy2Ilie5fa9QPQYVY4n/ULBnRN5YaRC3jrSWAYBeZwqGBC1TG3l41rtuZ/ugJHmMCH1eU0kQjIJ7YoMBUKaHlr4Zc3KK4VPWaoPQxQXsFpHqcX1EDFEXFC6L20JAu7t8Xrbzi/fYKUl1jcxdtudLmDovqsFxay0TJJlPhxgJa8PZqGlyTRf3t1cS9TkI2gnEcusNUu7PE2xZg23iWgSgqzOMZgLMj3jb4vQnvp29RY/VjA75b18iMnw45dh9jW2nswXUKzxkqrLfQzgm0/K02KhAF6NbmJLkRg7DHWCPAXybg0eKgzHBhtbdoIZho2dlCWDB8QPJHogYNb3NOfC1J81ikSfIpZhgIMXsY0xE+frYAk7HvEGKiWW2dQQDTMyoj4E9hFKYtU5ZzmiKMK8E5u4XId+qjZWZ76SoYtdqUnt+zKd5BCiiZUmAh/J7HKhcmQguhXMPXGaZ5txGP+lPjEjR3zjsCFCoSPCS4wvhrsidBqSOEDgYikGTEyFSxY4xVeTDFynwqkvKONzY1Dnojx4kM2xLQ4ttMQ8lUwfNByp0MGz5v2ciBC35ohAc43hZdXkf9suy4MKVn70P2Wkn+nAVkQzewD73YuIS54PJpQrjQIUXMmY6ByKMkeSUs1AkIKAslCJKMHdLxCr6Qb6wCJo7/k6vZ5FrDAYvw4mlJ+O1m1sSmp9574w108Q108aKslyC8sQ0Pfod6l1Gkqp876L1BPeYCWTrEyTdRUUHwHEagz4EuZmYh4qNYcVGPJvbMIQZ4o1nveAa4AR4CCYGQSLiOhji7XFzdEFa2IVqzH8ZozIPqID2kYZatEquwLMlC+kdsUKecOb4IYY8R42Rsdr0ztnEYG8z+IuJ/ciJv0TJthJwTKYySSDMor5pmDMtrcCIqQQqkHxjxN0+uoHpL3Oijrug3jpGAs+mo+/m0cerq0pflPt2y3KdblptDYsURKlJiq8GTiGjBLJLbx3QXIAsVtNnUxiS+OGP0AtKHSBc0jPmMxOM+elpEG1G+pxxKQLqLvZmVWca3UNqEP68ySC69c5aobGBKAALEK18ckJlBfiW3GbnCA5GV7JrQu3RN6PQEFAKo8grYsI5nucWjjGNBcclo5vYgd2GRiJZoe3LxvHm4YnXoHYoX3IeCO9BN2gDEXxCvy9ercFqDcvbETdmiQAOb8A4o6vQk6exel9p2D8EL1LcWPmcMHc5ZlMYQLJvZWg/9K2B8B/roSo+LtEtxEH/FSEBvaf28u249bokQzyy7wR9c1qbFt45YNiF2icB8fqJlQzIH1EPpCCXfpeQsSxCUkVIB+yAK/j7CIjhKX0EZIRNEVxobGWCudNY8ZLO5D4VFzfJlIqmzNJOM90BQLFs4xUHXkDRhBPEW40fOD2f66EFOXQvBWlJnEVUBlZXNmWbxF1J6oLXFDtN2rSmJudb8KixY4SulgASVlwGToh8RzbZWDsV6bxTGERLsqUNuaSrqolspybQRbjIBGhqs7UmQHNGYBrOqKUjiiJlLXGVlzASYnjby66gGpntMoKA5Hz+Rp5AyUq51SpGd5ELQXYIQy0Ab1ogVABS2CwIzD09G6D1jmVcKu0Q5m/uqvDyKLEfT835MLXOsXYl790CmcSMxdfsetPHWWFqiVW+g9DZxBxOBc5UTRmwMIvUdsdKGqS4G0WKAm6XhG80yHfHy5R+vyBwfZSrMlKlshcCmotj2YwxEiAVcMFlKUWaDiTXwoTuQ0HPINmqTvZesdgLVzUNEUiwydd3wlJvE17FUT7ENWpJnP4VOKTtJ6T9F4YGlVeyJ+10m9MVXNGmRaRLhFoI04eUeDjEAJJ30F7LWPKrhHOAR27cgDf7Sny2wK/E1UhJLDscGvpNVsSI0JxgYmNLYtxVJtpoImfARcNEkVbDXUeu7ynayhU7DKzJBq7MZmcbTzKMvF0oQ0pYSEXN9khJjNCHfzKZpaSJjknjguFODgCvTIoy3wAx0gzzT+eua5meH9+zqtHGd02dkf5boxU+e/NsweXbuKzK+pa73b2T7n8W91bC6PKSVwoS7hyawBCXYVVfK69xIl0R4DoSR4za7ZkkNCeLka0lQCGsaldVBw1hWD49vQbhNZt6NgAf1qOf6DPgotkTORPHX4EMUX51cZ13sYZ6pIz+GiJevMea0QR/PX/BHNuerVTn/uFZTBXxcvrxm6y/WdXqZfly0nl/zgoPeoIuzJJjT/eM0zUR2+vST7PXXmj0h8bxZZdqBctUfM1vvL1RQ6mHD9T3JBq52tNlmNHlni+LwOKZSF7VEmXEmnKAcZodDC48msRJXtnRbTHE7zA8//FBUrutqV42aRXnBce5Tt3CDQ9+FSuzoxiSgWeRWy4lUEhAXSE6I4qxpZ81WG6R0Hn1z016bAbpJISImBCYzAwamtCXDABFN3VbIQ9eR7lY0ZDB0M/4AZIIP8leTKNcRvENHlocoiUOtPNgUwn3fzQkaXUZ5ljQIyTXkUXgpt/PL/UFF8+SqvUNbbBvK7Bgq3SyU2Sf0rbYIafshtrOzlOwjsvLllOmCGzT8L9tu9LXtX7snadvtSJ+zE2lQgJUUCL5mF5Gmua3y7i/felO26+ZPKnLtaBVLV57tat/K2j0ywAoLu2KGw9K9MFDw33Wqx2fuatk0lF+zy6W3FUl91g6YLy5yC9XiizalFOG3SWtat3ElzwlWSrnbbWqBGVrXci2aJzbYDcr2pXgsP6e7UbbgCZsA4RVh8AUN1Le0rNzN8ldtZNlmawqmye0g2WLzSG7fyN+3ZWStip3bKPKN9oj8X98e8u12hnzbTSHb7AdpTVbscczux/hrNoVs2A/ydS3ZtB/ky7eClOzkWL2Jg/dvFLZu+KjT+SNenvnMxfN0V0fJhg6paw8y2jUyhIx+jZyhk6rWqTK9yKjScVaVBlBpujPr1NC1TqpKR1k1Wuon2aVqpWgnyrRMI2e4ggqT15X9UmXZL9GWFWi1peGTnI9p/ZxdTY1Xl82HD/eP0Yjmxr3+XY/8A0XOvVU6t+ZdW7nuV5c99E48ah1sVNG9uIclG16M+m9OqdZbgFzd9pFrUWPYjAR5gEZb9+7ttzpQ2BXUeS3wyFRWpF1/6CyzujMkIXOMP6vPoaT9ltF8eHTYaDUfmKsstKCWYYfyBvWYl5TSggz5enRgNB80Wwf7+63DfcTHNBwzkeee+B+R+Xj8OFMMqoBop0xzgdol/ivz3ViO5JP1dkAMYvOvbmvOaJol3ZiFziLtxec0cRM0DL3MaxMLNKi+LEiaR0cHh63DNV3UgYFIogW82wY6DKE9CaICF2QPtC6Nc5HFKpyBX8JsBEiHAZ4v5R3bGDYPAy+3/ZsNxeHRUePB/sOD5trRqH0uaqbA/4uBXiTmxvKB3GhlZlNhCZgQf7dhSXMoysstiifFlDaZ/Dxu1pIaPnc0F8ZXNzfXKdz0dpvin5TEuCEXIFP8JLhePf1xOZx5oYzAxgXsPzxOi4Bhv9Pxp1lu0rnTakPdcSH+Rwf0w4eNB/3GcGSWDR32D+bPPGKqcUhJ447bquKuO2kyDWHusPpC47OtVykePcqkOM7iJzd72BocHj1obMjYPCzkdEaDIx2zyhv1wCzMwHfbIJ3cN6LhnU3gUfioV3RossvKqvijQjMMG+j96LjZePDg6KCOzjF9U8nC98XDRuMYpv7W4cHxQQN+8dACKuH0j96rJ7++ODl5fXpxCRUeqAVb5QGPMnQqg7XUaQeXb1+fveAF7WSJ190GErxvBkWCsZ9zi2RZhRM0LFoFGvvMBZp8yjp8NrMiAFWCe5lAYxsKKadovqMjWcT3JequKjyvZn5An0KsaY2YvGyR7UsbWgAEgUWvpBXaQ6UuEgxrGZjRMg975mZLyhHuB5V/EEQG1kwOxVhwvj/NZAEpAh1NS5oBZnH5skEY8wEF7Hpjm2GUoiENpDcHcd0de3ZmPNkHFfUUHW7zZh5qenQrdVVemQjBoeMt4Pm8qZzE7kMpenrMgH37gKci5QYbMATiQdqsJQMyb5l5g3d+b4g3l+Difm+EGG4C68ntZ7SbDIT2Ht4qAFL2+AN8QAUIxA+4VgT6bZT3GE53xlUjujvAEefaprZOshJlYDE9z7F9kOBtT46NRdui+A6EIBw6YWTqsjPPtY43i+9YiiEn9oTlEDFyGjyNJDJa2Vk4FfSbcq5DewCEmXl2l45pRyQNxUF/SChotHj08RNR116XH3pH5HuEGTkffGzMRvBgum8Au2yRt3EdD3RsPKAiOFgvJ9tHvWO0hTKVDuS4AgqNP1zFLOboXG9lmfoKtzfvTX1tYUSBy2RUJ2pt8d+UVXkMlZSJw3da6E1BeC1rukYhPq8Nv19LuEzv78VjbkBROvKlhP4ejdSry0FCYKj569bVfLPUcnmDAhxRUeIcn/g5raCKWrNo8cICrm7k0OmcDobEQngXJSOk2iRTZlJAN/nDQuqc+/36Nt5s5C+R69GZehm2IvNSOaUspuAAUb56vnrRPJjHq9lUup2B9xDC2E1d3xm26fBMgQ6++a0fAFjeEl2n3eplTu1ZljUM3RFyLblPj6la/m5LDrOCu8QSmN5dUwVLfpaNb0F8a3X8WZZHnp6gI543K4RFcTaoeaD50BCAaGPYF7pe8O68JO9Gxxd99T/rr0H5S3w1nKYy1zst9YZNTIIB2ZJ3O+yn4Ys0WL2mZrC516MmsP0Mv+xcEl+dIAoJfM+NpN+KozL5/FpJxS/4/PX0a/jfjDiWwh/Gur0E3YjJ5+zaWOcdmn6Xha2VEW7tm5Wwx6UmI/6GduMx7YhBtwQbY5e4481flvE9iH8sViySUl602OORr0ssEk8VLF9T8MOkInsJwAxRhcO2QAR8OnEPAzC4Bh0E1KZPCr4PoF6xXhKgN5qN/rIz3A1zt3JhElOu7IdGfNAe5Gh3hH+1LmUtOWQe90iWAHu5yAEbRWTowUyB2lji5tVlyyzv1gaIJ1Dc416PWwVQ3gWMIjWMWAc2SFiTsFsFtruA1tXlicd/GQSJloET3s9vkoAqi3I9L3xMp+l6TkcMio5JWUpollMCUW2iBYzsVd0er+9oKUHp9NQsp6ctR7mcvppr6SuHIc2t6KyZp7O1RW9Jbp9FdoW5MYM8TYU8ks+nX8DeQcaJ79TMQB/o9WlvrCjBJES0tYjEdN4sp/McKvW/EJXK2EUJt2iaawdnS3RKUEMxjxW8o7mGd3wmD/lSXvI1aHEXZNCC2gYT/6YGrkKNwnJosraKaVduAErlrJW13mb1L8kMaei1FdA0BU/6mRQrS94o2cnF0EY5J1ntZaQV/td6yQ767CFL422uw/TUf/P77urjsHNCXWEVobxgtagqnTVIClyb1aGtzbQEXEvHCiYCNYggM0IB6N3gsAS5sritBeTEizzUFhuVelvuq4LKmegm+mcH1TTcYcyaZSevNH7ZvFvqPUGc0t4069pNjRHSZDdGIfgObbV2S49tsVgFsWg8CnFSQtqxy8VEOqQDDw8LKVtpGjIeGpgAKW2PS0domTRPIv8dkjswYR0vsxNM82ecaAXKU2XmKI+oveiUiwMfcxEUPl+B9WS2pGQ1SLOK38xRHMXTFtZILcTqqXPzViI6LhP2D6x1GSS6QLhWeFkGm9k3yH6AUnMsbUkOoZ2ihLiyO81tu4OT2ZyRZUV3mn9RdxCLyBKseuPQBIPXpZJGqt55EpqvZzcl81oyZVF3NkgynyPFrOLm8VJh1v0Vk+O4v0nC6etke0cjgbPtEsm2r5PtXUK2S0W2fSTb/hqy7a8n20VKtsuEbOOlmQhNBaKFXq8i2UWGZBdZkoU8HPQYs1PYYgW5LrDLMW6rWqwk1sU2xJroeYvWl+p5muC1DbFSVSjZowi1NbEumtt2B4l1wSjyhaLntt1B3KGaVG/WEutd8MXESpVsIV/+p8mW5BoIEkrGM3AnbZZLm9//20ub0ngKhY36ifEUv9JJKphLpxqn2aEPWi52WvzRwg8kPP7cx0/U3fjzgGIX8os2s9vq6+ha4lpTq+qYXCW5WffVwoSCAiZ4kCSw8wm0gh7SehANm2w3uwbBWMhv6gjKvvRFPfHx2MaK9Ijk85QqPfhFk/HHTxBFZ25RuHGJ5wJnL/f+4Ycf+GjJQTBznQgXTXGlgs6kNVA7tvGUJjxj07SUF8LMCbk8MXQHMenQkAbPiVSrFujQCMjhDo1LE2s01WmYGAFqAjUvWbCiryuIYj+E8Sx7pOPV5VX1ea8/i6rXQNtX1bcN+XL6Vr788lSFtPClVW/A32F8N3O6UAqdpHAk1x2AGLNlY3Gtl9WVyS+fZBcvjH29XqwObWyXTzenouL8vjybTjY6OZoO9afZJNWf9nPOM9kGP/lpWBU/QfJr6TmTjXyaRiYF0KlglmjDP1suFjavCaux6UlcX4vrqwGDgQU+gG7qiDRps96QB7I9NN57+gIxuY8ZcsgsgeMFfwEc8Bc6je8tCgfAFw8KeIMLi8CCLuFXHY/6hz2dO/J0VGgOHoKln3yBJ7FiaFtU8dyhtD0XWfC8uaperB5q6pM+3IeWmDq+cWGWD/ub7LD3pu6NY7x5osMCz7K1xwgQB4gMrztxDKPaGGD/mwSdJr236L01qOb3Tdq5DjzBDkKRhbGHuKdJnFbEmydXPo9wBgFaCgHePM3E9rVYRgF9QrzQ/SI6eZDBDCb/JRB684RypzSOjKEwTycTJje+yBgqlYvfz85en18++xkLwDOiAWR885W6REreC5ReWmNK5gdca3DTC2axAf8liPvkrHR1kyItxPHSOm3K8EVaIXI4OnbmBiWdqjyrrsqHTdM5mJCXDpPrkoaijUAmM1GGvFgtc6O3WV4Q7om/VnQIzVX0cBrEL7zZ1MG9V85QEoZ2Crc88yziyx5/QtcbaMBPEfIGI+mWhYWaCWtGkKquQyvKqK94YK7wHWcY4ZzyCOeIxwTykgOA+SZHucS9Yc85jYg8Ih7X+udTp32C+YEQHZiBSCKlE7aBI6mzrSFIWzKHUe/RUnCvJy+EhKkvHf1EENYwo3j9iJxG09kTxwchdV2SGLeadtNxzF/Opm6Bkheg5dJpF6GppIDQxZTp7VcqWebeplza3P1NJY0uLuNzzWVr+VzXqgX9pEiv9GyH7K2Y0n6n376iWwxwBGkpHxPlRm01+1C3puC4aVnUKRqJhwB33lKdWuMr8EWXi35hMwk6skn6Hsl5rOsdWvu300AUklopHloJnlk6Klnr1yf6QTA1GAomn1QTwy8j3zJ5uzNXYAdHk+6gUGORDf6jjLwU8uSVoDwe5XWZMjwAcFbSqY3Pf3f1Q931a2eLXMzQE+gOQtkD/EeSXbXlWf0guDg+cFA3xnb/xVxLb1S9vDQ5Lc7uyj01U9VAXU2gXyiQP9jfyF4DwFcwkM8ytlKds85sOn/hQOLmpI7opwIZ1iGfpZ7u6gJW0ms06L/mc5l1rhyE9bnv4o0mBjpWgjbQJO7DvlGZ2Eb9yBIcp7wktVj2jCSuSe6SXNWs2ChqR0eE5TGpo+MYfXOvZqFy+yaXKnT9zDv8yTHgmf+zXCM765zAfD4S4eqavVEj+Y5LLvRa2cpNKOMiGYZ1dUlEZSvnSM0xsiw3NrFuz2aOPzR8s7KlRyR7QcpsUGzumoqMJ6PJ3c2kVU1g30VN9lzhoVjqYCjpCe84AZHEkNfoCCYqprmEuLryvoSUyFCKUZIb+hOqm2RSR+fs1SeKYtZOLpq8wpIAyCx0UoWU21COVRexsEWMjALrb61ACs8qbZ8DI9wnv4rfpE5sH7JKzfgDHsTOeJsEcsGJEkc7tkytRVE2uWxBQelLMD9JyZ6iSUKc4XpmiQ40sFEyeoCbzrj5G7cCqF6xy7nqdLZrWgz5ouf6lesbp4eWaP1IQqmETAc2jBcS9ef77ReOoaEDOcsO0EGIAcnzMgcLMqkAuc8FsRlZHpedoqi8h0iiaFPy+2/lApyynJUyvLVebrfWCOvWJuGcHY2ZCQVoNP9YxZGotiUnqeKdR/AliyEbp4laMN2CpEW0KAKVy2zoPoRmR6YaLrT4A86lBx5em58qOWN/5gAqaGl9PhsiqyUBrYvCINsy6TxDuoQpCWxSiyOnm5bfbGKQD2FJopaymEleDHVIFtu7DcIbQ+2/UYyW+CvCCMYZb6dBUyTaN5hRKkuVikmYXF5JzdR4VeDlifBE8xEfaIY1Xmvyy9zX2g18mxoMKCSly7YuoFXXsuR1/TPNzKzDN2tl552IcpGlN83TzVzuY4F8Nvdvug/SiUi2I22Ewdp9qvPiYUUJTcq7vSLoOAg6/TuJpTbPV9gsWeDYXaQXHbDFzg4VyGaezWtVaH7pkkUZKQRr+viJlANsAgwhCIzEmKJk/Erg1i6TjfkwJE78fYaplJk4lA9/lB47H6rb0KoKKWkyg3YbhI6WuDKKI3XltvGkFgLydWbY8hvzG2xl5J7JQTGvdVGEIGwYIeXtU16Hb00mpxu80fPGuesC++sPQYaAfl0x57hWSNJ771H1hrqqRxa9kJM935sV4SFCC5ORr+Tqp4W07vR6eBdXr0eg7/U82/V7vWpy5RVexGWH4wWtukAKuleumtLYe494G13zljSsqt24V5U8RxlBPyY9os4RI7xOIZC5XU6NlSWMJl8shz9N/gEZMC13+FnlprfWlZZLqxxp2bMQmRkVTacfZW7T4yOk0uv0BJAZinvdnyITDXQpV9JFYGI5pXW3ZXWj6sfokxAf7avoul0/GuH7UL1XM0ISjI+zdGOjYZYxrywbadD9TjxnZ4aVVf4kgGYbLWSf2Lz6OrjOUPjHT50sk86wpEQFcWPHIwarCjhsX6foAwTXA1ykg5QwJaBpGLt4gaVR7Va1DSZsr4Xa8ELBtM6UGuxpdjNJkoNQk02xa5Lj3pMkEU9oSYoY9/3gkdh1/GMks7p+F6ICtboVnABOP3g6hCn5iT5xIXnUh3NvZnyU3Io7RwVVIQN8frxpi+SqvL4NOjfenbeQRwy6dML3AAJoFVrS+4JZ0w0e7sUm4DpCNzLMTwVjUBV7gvwTfj5hK4GDAZJA/bdVU6nKiBA4E+BuqLSnkAOPvhjB7PIxA59a3GjXG6NPEW/ftLsfUzr4BLruY/ERKkAs/k+7/xXUeBAV0Nj/r7r/t7G/f3icv//3sHG8u//3b7r/99yZhcFwPqBLeocgSjphR8wjJzmMd4L8YyjvNpVLJ/IK3HrlXO1RzNwVqyGViOe+889BgI4H3j/x0AFk+BfPnv3cEKf1ytkU5ndp9EPBSK4uscyn5NoOMgxoHnDl9MJqbiP5F9wnqtbu/gwiC6//pDs/o3kfujiA9lpou6LbP7vb3/3ZKd79yVd/lt3WiddARtICaruhYVt9FIqA5aTCQJjKAPanTn9FVP9Th+S2rpTQ7DqIYcAw/6svX8zOsHtl4HysZItaP/NhRQVtorPoXi0pcGlR8PC641mgHFGrgYVXlOhGkrLfReFxYVqo1dOZtF1O7QBIvS78x0j4id7Tx/KeLByLhhiQX6P4sHt1FVnL62y1skdD86p9eA1iJGkawLsNmojasg00F5FyRVMA6yVXPDtcUx68qdgxcPgsUg9gqKXWizAnpaQoaGLyvaq6YFTwGmC3miKWui26Wmar+v3iWQ/tVVWr2qya3S785RlupRIGgx+Oo+4VC0bOYE72M6tae1G1iq2rSnMcAJ0ahj1iMzC9wbSNGaxq/hZpaE88CbuN+kN4U1DoVvcouwIKSEopLaASZWDTLNJqunTHCs6XQJ/dg8OGBf3ufrx3L4WAVaWbi6vt6kH1U4or6chlxXcATVZ4R+W+mxHyCLe7eUGv43fzkl5FmQagQGQlJOqj1NHl0afAHgZUFRI0zA72gczORAFqBRNQ76p+aDWtJvxtsdQXauXkAFZAKyxYmXg/pjaWdrKyVUWqR7MKUX9oYcNMBBbeZB538QBIlGU0jQrIX+YC4k1oDfSrq7QG7EtWOIscwFF/DHISFlcFVvTB8Xtpg7C2TxbLTkUkG4WO88GRNGChXGXhOXB+3CXXRRavkuoibLJpjabzaEJoAmmU2TJBtRy1bqoUKTnfaOwjDwaO916VRlUNCZOAGuB8SjzZ0UU7UVnyZPQq3+0e/WGDBug4bnz3rSTADfJf6/ComZf/jo8bO/nv73h0aYnuSUf6LLnufHt5acWd6GXSEt1ozgvkuDbFgXRsRWWbZXNKA9NeJsXlJJTTN8dm5EWZQkZbqQr4uQJh5bLLjK7I4/Try9FN7VWJCJI3R1UAUtC07scqCbLVdto2q4o3bQGbv7r+VGEXgROkWeC9xQV9EjbZYcHu2h166Xf7/OJ3G/wychyQE/jdc8Iw/XAjDy0H3UalxEPG7nLBdQo2QW7l8tU3NA0wBZJBhVIysCsl/i33UObQS0wScFxadD6CO7LXxbWapC84p6oPCz/Q0Lis3Zn3ms6BFDvJMfiDOyN5nIwIafeT/PhlYWbZLK8mm+FRUWkuCac9FlY4Ma1PfK8azu4kKHtImJH/SBLNn1hgAqmCoNKwdFGFEqDJDyOPWmipw79NEmPQHM9GzzevSBKstusPrRIBBa2Igy6hUM7HxLi00KhtKQ8U/jQ75yQo0lTKB8oMCH4g9XXLJSBeVqIMVeVNBwg8qIMACbDGy1h7DhrEyYsXwnHcKMbTw2k8qoT07ggYCaqAPQV8h5PIr08ESiSiK0kw18lKfHBrdqTBKLjVpRghkZba8Ago8gE5mHDV2rciDaCNVAzjGldKWXJazUhZ/3YSCK6T9tCE/u3MP5vm/+bx0WF+/t/f2X/+FfM/Tf1/lXVktRBQPtevFA3WT/AbRITtp+qUhW6esEtZbKPeUFP00yCelM3QZltOzmkvJJ9Vk3UpT04m8P8N83KmPr4yXU6mXZXZywYvkuBFmlfGRa1JEosH+GeynSURZ4VsPLl29bk2m5ldCbSpOjsTS9vBuvl21sURNkomRzwYR7cRlM+GM5wNnaU9iGk+hNb1+s7UdUY9tMXBBPl+jpiAvpzVNs5Wn8zMxIM6/6pZJ2Xp2YlHzoDkA5Khf57BviHz30L/Ozho6fy/cXy0f7Dj/3+T/f9i7nkgqHxAZ9yFk1j40aqHhygtnBCdouZTXGdHiRbpxHei+gpj+3ga9L+FmT1ZU0h8O2w3tLCVbG0fuvbYB77pDiIjJD7GZI6G6fCqSh/a6juwLZDqVLz0JcqlqJDrkEwCr/kCpOGb7PeFrJKhgFLXA5gCzaM1HWIsbgxz0N4gmPtxtU1BeoxskkoBn+XxuPOLou/LQhSbUTmh4ZnA6P3cDp0hnsjZo+txUqG7BYzqfSbp+auLsmRQWXLQQfT+vo8WTt4KFfggpaMtGKYvcqVVdljahJgx/SOW1PFPCQdT2U0TbZt1ZxlLMT4y6JY3ye0RmunKSQp7XMk1u7R0wR5vuqNLmfVVubOsNl+TwVl2ryoXsdg8eU+y2U5igiykS42TSWLpotGlXpWtAjij+zJN772nZBSG58ek4EXEhm82NifVsNHZyiZLyyokllGQPkNC1fbHapKk2s4SVxIMOQgCIAo1HuppZAOytWajVZWfANd4YZB0O2U0XwETmTQDzqNWs/VAAcfalI8aq2VBn5oyW3dqDP+/bjI+f3Z2/vrn30+e1b3hv2j+PzxuHhfn/+Zu/v87nkTTqGWuGmNzaZ+22oQwD7j+WBij0IkmhzW8G/x3PFsGjyR2fR/vDQimKDeMgNuArCBVNkhhRzfCjmFS8Dw3rjhHh/vNg9GDB0Pn4cHh6GjYODzsjwYt2+43moODBy27f3R43HDq4tkSa42xEDx5KpiHA4cOCYgqfSdyh44UUeriknYikGif7nwiPyiY4ciVACRq8iSIJ9AS2UJIXsH4Icjbfdo3Pb0D+WIwnQ+xG9x+dEXgmvtzfzh16pXKa9zvivsp2CNCxEHOQ0IuwCbOnchw2hWomDaW+s5tDT3Kkx2mlrBHMZ52gDuYAuCBU76ursaKgGDHZ/TgjCuDRhevf8N77eTwOMBKPYrnSw/v/are7v9q1iu/wHTI1QY+agR4jzmPtBg4U9CWLVK451BCZeCuLxwz9NykBvlJ1bx0YIABdUgMOuu59wYQId/NuriAaL1EgFqFKhs0Mnfd3TOwkNqgYa7oziXeW8Gr54x7NO9FYjaBX4kA6KdO94dNwsB3P9CUIoEo4Tu9q1f+RGAkhlZAiSniCxYZhO7YRR+Tfmj7aGAUIPv2oRgPBv/cZgcUp8338CFN0NkFdB63HQIy4v47XmhA/Ou7gMWIFfbYRp84rKKCQjRIsHwrIQ0PYkRdnKgi7RBENjwXIx0u2nw2dKOBHfJ9HRXq6CwM+nbfnbrxHW6D84IF5o+TRgB2Oi58hkzI6BNSFy8kkUPSClFwGLxz2PMHZlWA4XA+UAVEN86tIJmP4AtSVzBwiT+8nwcA0gG00Kqg7w869AR9aJVPXUBMx00TAC2GCsRDMxBseIMTCG8L6VzEg1gZOXbk4okfCZJgkzEvQFIeEMGlKluwE6qrHfFohKk7CYKhVeEQALsfkcemuAEx0plassFQgz+0UIVBV1kpc9RA9iMGh/B0CNGANSD1xy6QSaBoXsIEaNeGurFFoI/UJnezANmUi7unqJekvQO+PJlOeYWaeRGwhmA+nmSYBfMwS9xOAsBgMh6I2xDNBiApo4jLG+wryW5gD4X53jJ5w53BoBBBhbg/V8IV49XrHXMoaBv7R9Yrp4HyVCffqdHUHkdQSjh3GJqW7GYySEGi+yE4Z3YIsjH0MiI4KScw6SwWzoGeCF4k7AN21JK99KnwJ0gnoSIqZ3Pk0vEQ2DCaCRMvNISvID9SOkhq6KApBXg7HiETomEk5COjlC9Ot7He+0yQ9UaA4LdlJikxChIWKR92F4pCRGEXuYR7RoKsONDtxBUiXbfhsxfI74FJ17OXAE9PsL8H0zZAVhVtxzYOWsZTAtk0sD7cAuWMYRgWgFwnGZlZDAOHKUTNSrQ5FnDKTxokKSmjQpPnRdrgZr3BM4bUGCwy0eowyXruidbhkcVuf/QJY0Icp8IO5E1c04e/h80W/D0+emA1IegA/rYeQGzzcB9im8cPW0CMvmSEdZIqECxYGfIjEBvsGorxAKdE5Gc5ABlzNI/0NMhMKhRtSWMf4itN7jJ5iVJV13oJtQt7OIwqMINxGejbpiZ62qs894lD40FFPIRI8C6pNXWBIIxgPhEe9AgaFVXmKMHgzIMMEHdfRHipK4oaxK152NE6YHKjoUd915dCjNz1AnRLVpjQwVFR44BEhs4vU7RqMg9HGUX5SdoDmKZRuIHPNg8VuUru8V5pewFzCPmhUddAebfn01jhNhJ0pegQJ7DjYQoLaSnSeFfKtW3ikMgCKkljgrCDO9Mz7pzz6bSWYTEjYJD4wlwT0RraMhTIlOuVnLMKAgs+kAKh0Xd4dBZdtlmT06uaTAiu2iJiBUnuNpDwr5GVN+FVqD5GKLgm5JFdiYU5NJYMj4VPKZISUAahO+Mjq26hjRCZWQFUCd24LoAPjx3fYWmb05CkLScLljhh3JFhXwDDHmICtrSFYmxHyDciYJ5sDouwd4DBkGHn0LR7ds/u2T27Z/fsnt2ze3bP7tk9u2f37J7ds3t2z+7ZPbtn9+ye3bN7ds/u2T27Z/fsnt2ze3bPf9Dz/wFH64G8",
  "code_sha256": "16daa56a2d6a8c13d015553a54c79e56efa0a3d491eddefd67446ff70b35a5a1",
  "code_files": [
    "thrpol.py",
    "rivalpol.py",
    "fast_rival.py",
    "experiment.py",
    "check_parity.py",
    "zero_gate.py",
    "report.py",
    "REPRODUCE.md"
  ],
  "reproduction": {
    "stdlib_only_supported": true,
    "required_supplied_data": "Pinned solved folder tables/ref files; no tables or traces in bundle.",
    "optional_acceleration": "numpy/numba, not required: FAST_PURE=1 or USE_FAST=0 uses stdlib Python.",
    "instructions": "REPRODUCE.md inside code bundle."
  }
}