{"hypothesis":"Retail paid amount and side carry price information through router allocation against a price-band-constrained stored rival estimate, plus the conversion of Y-denominated retail size to X on sells.","scope":"Stdlib Python replica only; no engine execution, submission, or engine-rank inference.","needs_flag":false,"baseline":{"url":"https://api.imdnotdead.fun/artifacts/806404e8de0d3fee0641a55560fee2001cdf19cceefd05c7b23b9b486faa263f","body_sha256":"806404e8de0d3fee0641a55560fee2001cdf19cceefd05c7b23b9b486faa263f","source_sha256":"176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3","options":{"a0":0.35,"ainf":0.35,"soft":1,"qm":"qm_k1e-5.json"}},"exact_rule":{"eligibility":"After unchanged BASE update, apply only when variance>1e-18 and not read as arb; first trades must be off-grid. Later retail trades qualify regardless of grid. Zero strength returns BASE exactly. Callback values reconstructed from WAD integers. New evidence changes only price mean/variance and their table lookup, never rival state or classifier on that callback.","latent_price":"Five-point Gauss-Hermite under BASE Gaussian N(m,v), nodes [-2.8569700138728056,-1.355626179974266,0,1.355626179974266,2.8569700138728056], weights [.01125741132772069,.22207592200561264,.5333333333333333,.22207592200561264,.01125741132772069].","rival":"Capture rival estimate before callback. On first trades project it into [p*.997,p/.997] for each candidate p; later use stored estimate. Optionally average three log-rival offsets (-sqrt(3)*rival_sd,0,+sqrt(3)*rival_sd), weights (1/6,2/3,1/6). This is likelihood nuisance integration, not a new rival-state pull.","router":"Let g be own active side gamma, g2=.997, K=1e6, r=sqrt(g/g2), R own pre-trade paid reserve, S rival paid reserve inferred from K and rival spot. u is observed paid amount. b=(r*S-R)/g. If u<=b, total Q=u, J=1; else Q=(u*(g+r*g2)+R-r*S)/(r*g2), J=(g+r*g2)/(r*g2). Full and split branches invert the clamped router.","density":"f(z)=exp(-.5*((ln(z)-(ln(20)-.72))/1.2)^2)/(z*1.2*sqrt(2*pi)). On pool-buys-X use L=f(p*Q)*p*J; otherwise L=f(Q)*J. Side probability .5 is constant and cancels. Use joint paid-fill density, not density conditioned on a callback existing. Rival-average densities floored to 1e-300; temper by strength. No latent run parameters are read.","moments":"Normalize w_i*exp(strength*ln L_i-max_j(strength*ln L_j)); update m to m+sqrt(v)*E[node], v to max(0,v*(E[node^2]-E[node]^2)). Recompute unchanged qm lookup and BASE WAD fee roundtrip/30bps guard.","limitations":["Moment approximation of BASE Gaussian, not exact filtering of truncated priors.","Stored rival spot and constant product approximate the unobserved rival.","On later buy-side callbacks with price-independent rival estimate the likelihood is constant in price; on later sells evidence is generally weak.","No information from no-callback intervals beyond existing BASE handling.","Ambiguous on-grid first trades retain BASE mixture and receive no new retail likelihood."]},"frozen":{"baseline_sha256":"176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3","chosen":{"rival_sd":0.0002,"strength":0.5},"driver_sha256":"7d6dc80ae63469259b299df9b8acf25396585a7b64b4d1fad0d8cda401806705","holdout":[10000,12047],"qm_sha256":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd","run_sha256":"54d19a9194ebedee8b947dfaaf8626b1e4ef6f7d1b5aa12e738ec01a5ce401ac","settings":[{"rival_sd":0.0,"strength":0.25},{"rival_sd":0.0,"strength":0.5},{"rival_sd":0.0,"strength":1.0},{"rival_sd":0.0002,"strength":0.25},{"rival_sd":0.0002,"strength":0.5},{"rival_sd":0.0002,"strength":1.0}],"source_sha256":"0eb13c98bd50e84be5dbb45c412afec0b9bab3397e9dc9eb04bf587184732370","tuning":[{"mean_diff":0.0037715915884231066,"n":256,"setting":{"rival_sd":0.0,"strength":0.25},"sum":0.9655274466363153,"sumsq":3.103044525095707},{"mean_diff":0.003940959224619789,"n":256,"setting":{"rival_sd":0.0,"strength":0.5},"sum":1.008885561502666,"sumsq":3.963789840720192},{"mean_diff":-0.0010636620471282665,"n":256,"setting":{"rival_sd":0.0,"strength":1.0},"sum":-0.2722974840648362,"sumsq":7.44678385343748},{"mean_diff":0.0063313491402425814,"n":256,"setting":{"rival_sd":0.0002,"strength":0.25},"sum":1.6208253799021008,"sumsq":2.837691664028238},{"mean_diff":0.00793702635777982,"n":256,"setting":{"rival_sd":0.0002,"strength":0.5},"sum":2.031878747591634,"sumsq":4.058997501243198},{"mean_diff":0.0004673590468848854,"n":256,"setting":{"rival_sd":0.0002,"strength":1.0},"sum":0.11964391600253066,"sumsq":6.446348558637029}]},"freeze_file_sha256":"8966c0717b1fb9c23065cc09703ce20e80f95755453a5db1e7241c5ec8dc4a0e","parameter_sha256":"84544579f03e40c766a76dc71b86be3d552f6c291f2a3ad173f9c2ffcf5a07ee","parameter_hash_encoding":"UTF-8 JSON, sorted keys, compact separators","parameter_commitment_timing":"Selected params and source hashes were saved in freeze.json before any holdout scoring. The pre-holdout driver SHA-256 commits to all settings and the deterministic selection rule. The separate selected-parameter SHA-256 was materialized by the finalizer after holdout scoring began; it was not separately recorded before scoring.","tuning_summary":{"range":[64300,64555],"settings_predeclared":6,"selection":"largest paired mean against BASE; frozen before opening holdout; no retuning","results_location":"frozen.tuning"},"holdout":{"requested_range":[10000,12047],"variant_BASE":{"n":2048,"mean_diff":0.005839432526171834,"se":0.0028106091519126777,"sum":11.959157813599916,"sumsq":33.18666076300214,"worst5":[{"seed":11630,"diff":-0.809713147830621},{"seed":10633,"diff":-0.6785066883504669},{"seed":10079,"diff":-0.6159874322191854},{"seed":10818,"diff":-0.4954681110259571},{"seed":10446,"diff":-0.46162028298942914}]},"variant_tell_qm":{"n":2048,"mean_diff":0.09444214613969956,"se":0.007160298534983445,"sum":193.4175152941047,"sumsq":233.20320679489245,"worst5":[{"seed":11696,"diff":-1.9221643447257293},{"seed":10822,"diff":-1.5690084411138514},{"seed":11022,"diff":-1.2391288089629597},{"seed":10676,"diff":-1.133672965056462},{"seed":11025,"diff":-1.0787432884948203}]},"BASE_tell_qm":{"n":2048,"mean_diff":0.08860271361352773,"se":0.007079197151580293,"sum":181.4583574805048,"sumsq":226.17274777636902,"worst5":[{"seed":11696,"diff":-2.0920680876059805},{"seed":10822,"diff":-1.5921358448919136},{"seed":11022,"diff":-1.4867062508961908},{"seed":11277,"diff":-1.3260298263055574},{"seed":11413,"diff":-1.269064635952418}]},"completed":{"variant":[[10000,12047]],"BASE":[[10000,12047]]},"remaining":{"variant":[],"BASE":[]}},"per_seed_rows":{"encoding":"base64(zlib(byte-plane transpose of binary little-endian <Idd rows)))","transpose":"Before compression concatenate raw[0::20], raw[1::20], ..., raw[19::20]. Reverse transpose after decompression; sha256 is of original 20*n byte row buffer.","columns":["seed:uint32","variant_minus_BASE:float64","variant_minus_tell_qm:float64"],"n":2048,"sha256":"e41302c0fdde5ff94710e9997cda1a0fa8c07523297e2ac2aa4daebe2178a732","data":"eNrsvPlfTP3/P35IKcQgCskgSgsjoo2OPRSDECWDaNqYVpE42vemfdpP+7TP1FTTOmdap320p9LQIhRDRUi+Z673ddH1+vwH38vjxtzmnHk+H8v9cX/cn/1yDmblqtUSa9ZKSq1bv0F6o8wm7OYtW2W3bZeT36GgqKS8cxdut8qevar79qupa2hqHTioDR46fOToseMndE6eOq2rd+Ys/tz5C/oXL102uHLV0Oia8XXCjZu3TG7fMSWamVtYWt29R7K2sbWzd7jv+OCh0yPnx0+gpy6ubu4enl7ePr5+/gGB5KDgkNCw8AhKZFR0TGxcPJyQmJSckppGTc/IzMrOyaXR8/IZBYVFzOKS0rLyChbCrqyqrqmt49Q3NDY1t7Ryn7W1d3R2dff0Pu/rH3gxyHv5amh4ZPT12Ju378Yn3n/gf/w0OTX9+cvM12/fZ3/M/QQWLBRaJCyyWFRsydJl4stXYP7U/6f+P/X/qf9P/X/q/w/WL/cfM/n/uO34j5vCf9wU/+Om9B835f+47fyP267/MeCP/bE/9sf+2B/7Y3/sj/2xP/bH/tgf+2N/7I/9sT/2x/7YH/tj/78zEASwMAAKviIEEAQRkEABACUCQgUADAjzIB4PxsIQAECCJTwCQoYQEgJBAA/HRzfAAJ6A/gRBFBK6gIdI49CVOBwPkIeoeBCL/gCpjVEAGoCZ4ePRKFgIQACAi5EiAwAJoIEwyIMMYB6Cg2CADHqReAaCQBAP/UAE/9R4ZIAvBSFoGgBuDMuD0XvIX1H/WgajBeBAYAwEeUSsKBENh0V4PDQVAowGQyC0PEuAD4gCBAgtFIJAPohB+ASAyMUSEEAU/Y+FERggkUAEIKPOIO4MggAkHoBHQ2LxagAIQwiCQx0BMGYGQtdhaTwIRCh/5YfQCEw0gigXRl0jCBnA8gQwYtGM8FgUKoAnKAIHgzE81B0CoMtgPAFL4kEoDGT0P0zDAiQQIgr6YMD7qxc4MgyBgKBMHqwDkHAELATBIAkSYIzizeNxAARBMGg+6HJ5USyaGsThoKhjAITrxUMAHBoSBNAMMVgARgA8jLYRgEg0HpofhKCZIQCBi2IIkhECGQWJwOsBIYTLhckAmrGgz2SSFxamEYC/LniQFwYi8AggQEZDYtHg6E0umgcaBQIJEFoyDOHwAAYCpPhoAAhw5KLdwyIoCCjQNL6AVjBIwKHh+XwqJMiNxONigWTUExfNG2QK+oLwCJDgtx7UO+LIQ2gkAg47RsWhv43zEAj1AgIcGggQ0LSw6HeCAEIs4a+MaX9Rkwahq2EaF6KBEAoCjCPgAQIJ3YiCgKYFAlR5ACaMkdA6wL/4DtG8EMEXHYAA4AEs2RFEsDwswAMxApJi/6oeA3mR0QseB8KhHelBo0EgHqHgBJSHCRCM/WtspHiCzmPQLL1Q5vQsghEun8DnqqHlIxB3TDA3YzwuFQS5AB8LyBNIAIiCKQhBAwggH4BRUqLc4KGFQmQdlBZclJYo8TAELA2GaCjuBDSijrygTLIgLxRlLhoRi9IA4fFR3hIhdLhAECahvEc5AIIUtGA8XsA4gIcFSQiBg2KBCPJH62GiIwui2KF1c0lofDwCCgoRMAMBpFCmIjwchOBw/L9QEoCNUg5lAtpp6C/4UK8EACRg+VjUB5/HdETnF2WkDohwIQI6augkQDDyV7ogiKLJQwtFRwn1zEXLJKG+aAJ+Y9EuAyihpUg4HioxCNo4EozBEoiCLL34AImAwomyDCUGFiKhEEjReAK88WgMDiDP/av1CEDlIoggJojHAmQIrRMEpAgo0HgI1REamj9eTdB/EGUrHoZhNBs+wgEBGpNHxqJOCTzBbKGIoI3QwQJqgtkDYDKE98KjTEYLBDoALtpbPBfFFo9gIRClPype6GQLtIov+BAERktAO44iCSIIlmMACVgFossE84xOAHoflQA86hyiIejEo8qIbgZBVPiAKaAHi9bpBaDKygPUAIGsoYgjqIhhBOiTBL4QAkJDYFR2AawBGcESBCRCOcYVCARaK9p9AuoZTU0WRZIEyKMTrATqw1SUqag08ECeDtpUAAtiYRDCo8MIcVEdFswdGY8V4KOD0GiwQFfQXLGCKUOhgQiCbwIPIB8nSBjNwlHQWFjtL31A6YcQ0G0EiAL+NYeIoBxUyVA4MWjPjSAExjhyySQIFVJUvQQCxEcgHIztQemProJBdAcqEFh0ocA/HgUeRm9gBdqCjhRKPBBtIQKR/jpmUOrwIZTtXlgsoeyvMwklO06g9SjEAFo7SkqUxTAPRVNAdhLmn5NLcLQJOIwOCoJHmYMSmDDDQysk4dAjj8RDKQSMoUxFy8eiF2QUSDzJS9A9tGko3zCI4IxCJVReCpUISFA9jEWPDNxfs4CgfUIT/gshCkkH1UTUnYFg8HGIFEDSQetHgUfUBLig1Yyj60joLGBRwYEEodGJhrkEgergAQO0aEANS4awIJoQAZV4EA3N9cIL+iHoDw9FViDyBD5aEoQhgGgyTIBHAgVsQVmJaq/gBAUhiA8K1JkMyfNxKGx4tLHoPgpEGENlHOQKpAQpfqqzdo//TAIH3gdgOvOsV9371r4srLUtPjZqwTHTjdVW2cRFkZxHmfue0typZS0Tx+RVFe5OfHwtzSkVunEzLXaBYe5ASIX+t8sf1X5+nVnjtid3aUikqqxUfHmRPasMiU963yXfeiLzhkr6qD7imHFjZfLWku2dJ3KshzGudxvaw03HdIt8e2I8WS7yrmP6acYxByYKTvxcuC93ifUdIUtOSOuTF+yYdq+HZ64Yn70gEyCGHZTSuvxQ7fFB7uyy4dbHRtnnpEwMultW3JTFGUkNUHDU6FlKUuOnTqGPwdub3VSah0w0SrTqnphFNp/fLuk87a5AtN3cX3NoHfFC2MJz/hOfi2YNNE8mHj0ye0zuNF+39ONtK6MNKz7Vt7Wbr75MZ+VbgPv26Y81ZflpBdsVOETJzn6opG+u63zQVDM3oNtqvIB/8fHx11HK4mrKn7+v7PMly+SVXYkur5vlbPXmplZVyhV+yO9kvrsz+lx2u9uXJuGFrw5SLjWLdN+8QJq7VoF7TVSfMb7IfArKOXTteU8QP/2181B1NzN82c22dV/UF55QTdeytpR3lXz4iuGTfFh71WcxybhOXazZBsMj2rM9WgswabiLO67Wne26l4dJf5n5OmhV52Nd0FbLUqTbWPqhJm/I3jDEc9z2pJYwa/AiQyzmmNsL+2RJU7PTZdI2P75+Vt1IuHPHvll4nZpnbedB3tMQ10tuDxM1nX++XRTdVRK37Nssm0M1Hbe+qeZy65Td09OAwk2yF1HtOf3qd797SO6b56lfU+6QhX9ijfoxh5TC/cp3PONYRw49VqhTKn5SHtSZ53z5Vt1qlfrJiwMS+o0Z6pt3fJUUa/TszArVfcUNBvcPtaq7H9XPPTkHmbKWnNzXZW0NpDsVNtnYG2VVWBaT3Pfr20yN277eEa+h83TT4JG8tbUv3l858+pOVOan5qQDxr4f3sRc9XtQqHLg+BHg63BAqua3qe7vBslO6277Dw4YZDlPRV5/cOXA4lSDzYD9GemicVaIhZDVGtOhr2M+fDdz2cYB7QB1eHytVetswcUOC9k94lHCVqN3TGgf48w+ioUXh2Cqgs6mpO/rAK/5fh/ee8axoHdq53a5o8NmMg8MB7xbroitpQ1jlZC7z/vf111QwuzUETsvWeTz7fj7004Xt0FldGmW5qjeKxcM8DIb+yFj0Uhl7A/8iyci4pKrtlGTVhLKhsveZa9QyE0+NDWStERlx/FG55CcB5NvmYfKkfL97U3hp6PrQy8JL++JergWt+JL/x0zw5mJTQ4ToipvZs+vu5y0h+808NEqe5F7ycJCjuHcGo+jz68sURp7t7uAvW0FcEqCuPgOHemrFilkZh4cWJNyPFsF3HXxKw3ydNJ7GU1Qvxgm9lNh1qJ6Qziv7GnjslVNjE1+wuwFtwI08smvQl56rqPvkVMg7mVmjK8pN3Ycz7ihXbRVRaP20rJwOerZY5MbwvhvnzvoL9h0gOAnM3TuyyZlYizQdHVbZ4+xhIVdRcgLv/4P62831dfJK5LUNy53ZfQdmniS4Iu/KImvUElhSRHxQauvrrBvUtrRGLByncrXktEjWwvvXaoehr/d7fV9UDisTAkZNxpeRv4yoSH9qaywe2/8B9mC5W31LRFF1b6vhfwjdG0AhxnH+Grig0mLFdfHIq2iLT3v3BoxF57sG61K2bTza+2TJsTRfcV3NbCK/q5z8fNx3MaedE7fNMEvaTfDGvguN2cVOpfDjlSS3jWC7F573POITfKltPe6VRb8ZdpXqzqrNjCysl6QUtxHNxyRefcWnliwkH7HP1H0ycXJ/DfVmMJCs8hhj6SWBXVOleW7UwwW1bakbA87C1KsxqElt7dle3ivltV3N55c8PH46hMpxvqdoxlvLR3wCKv680eCGs83SutQZ/yt4rsNyk/tn8lF82TXe2/LUqKdiM9TbyLJNYN1XrW0k1+EPk4ANZYK6j4pzVfPJZAMudkxL3MUurl0l8blHf7a3155IQm9K2dV1G6//Rh4oNVVMmWp9BJx9aubSw8b7vBsdKQo13znno0yruMvaJbt84l8IXU5b3npQtrH06vUas4/VSuONj9pHL9DOOMgvY1tK+VXPRA88VrG7nkXdlHExpH0JUl0N0LnKIv1/s7O923iJzYww76zjFw23Jkz1nmbmP7YY0XT10P3ekKlR7cPHFt1MPsCDv0TWk7hsCtld+7y3i1vCZVvlh/+lhHH35b8alP7Vqs17ldy90TtORVjsMnorNNt59s/8KP6W83unL1+IJTy9tna5WHppypkUxv317nfIXQk7Ax6/qxSBGfqyy9+CF/t3vHklVUCXHnyTEH819d6l9P4o4nCGnjxJY8pjTfPLfdQ6TxF8m+0WieSW8/ZfS13z44PszWZ6y41FYaJHh78HgCLi4ceX63jf03Ot8fp2mfPzI2DniJioqovVzHqF5h8ani/AFiTPpvO3G4Z8jq3W4SjkhBc4vntrcYF6PSdKrH3ySFzayn4s0N8PRatIZtc+nX81KnZ1m+iDjaQ7Wc/V4d9l503lRONcxPs1buPZ+/cOM0Hq9d4K13wGQNfzV4HT8xdz5Yi3hc3Ki6j5fYADZfZU+tme7BnKHbbVq3bvA0nfsj8vPM52/W2B3+IZU0nqjXrB166+uZDQODgQXXVy75lLks0yG94mR4BBvd+2nomeohFMaeOOLnccpbtph7lb8+OX3ZU7LhJloHz9tOfNC8FBc0UVZzf/M6mYUNieBclcWeCaFTNtpF3eWdOldWfXqAZ3nrIN8rP/GLUEm1Pp5YlAT0re2v0KJqPsrCf3gz5ZL3cPepzgCfhLWGtMIW4vu6+4DPxlnqXI/vz3LuN20lpWMLHPRvMzldes4n72XnrXNBN06HKA0ayh/HHhW4oW35Leb/uVOYh2RJt+87IelMzlbDCYEpJj7uHfl6CrDHxtIiqm4Ic2S38usws4KscWv1pp/seITvujm3jgF3/jPLyLTVH9IPHP5I3bCqhdJ1lbSh2bHZ4Mtht6PZ+ZqGZZGPSc61Rp2imhpCdQohX9HJV556Jt2L6mgUu664ol4FibhIRM1GX16T7/+j9JHdzzTC7xmNKrvia/J0bG3MtxfWVnxutT7hgMKGw1/u6K/nqXWeZK4PpEeK+k8frvF657TRtvedqfLL+4+a6Cy4ng5/W3nii5bRg/4zO43bgmqx7SN+nu+Xb/B/8JBiMy145/7Lyex09Tspz9qSX1bXCU2cTvDcV39lR+L3/1ZsT+At7d+zd3/GDcK9w2iNVj6sh5C29z+rJ0IOd6zq+2r+BPyjedneu0KjsnI4OUpLdBzw6/2xjRtX4KFB50KqsLj9vZJGM28ykveIk5UNPTsgS39NvqoQWHv+46DNNvvHlbHWL4stc8famey/9zN1Gas776CctLz79pSfignT7EX2Nybs7Y7Ocxh9rLNWcMnwjHb2Pel9vuk8ySGpb8BAnC9c/tbK0rlCZM6Gacun0zZZoSWa71xerpVu3cvnMH1mWdntMz2TqEIYmV7QO01XvjZbg2Mcfxu/r/HFi2ubu9l61+JIMqy6wsOXKllMrvoj72ZuuOG/j+ebnh+3iHhMPiqlvzOhHM9uTnW5HZbMTl23kZDp0n+5Tvpu99Zm2YdX+vO63PZyYAF2qOtWTRug0eDChvNJnn83SmB3nW7HT417315kPvz04sDL+6vCwsNwF1YZTQUf2PX69Tj4xznUvA4y4lo3fI5H3HjyvqIXcjhmKkblCuJV7Qbt7fbKKzkmxjih1cVXxHKvX33Bwwgr81JLAFZN9q9ukVna3ncAeTs0WW7N9JxLY483/8NqoZmJ5c6j7yOK3HrG7udnLRwY1PJSSN64TV6YZUM7Y4Xp8ik4eXyRXbGUaSJ3zKvDKfMk8ehRxv/LyVpRUY8jrHtFLSYvP6EuOdwQUpCq9fXVwRctzGc/EwHXGDn47L21Eqq9rLtKbUnBfid/sSL/Sr/hR5JbdAfC6qmLZtskTKvAx1qRxzHjQ9mqGYcCn2KqwlDcHjJpUNv7YX7In+qPkcjAoPOerjJ9uWN65Ot8VI/Wf1+wi7o/0XF3GdD+UvfnI0AFSPCn2pevE3voK7HoPYsCRO5HE0dCM3YGBGl52VyRDrXvsNY7dtForT6rTvvLt2vpsp95GmY+f1PeQt9+wVRzqkxl8Zbpn52Lp9odHPDEDxO91J1VPSY20XfpoeEHHJnwnfo3FLRVoqQ2CmI7xb29e8orFFWPE5EkOVc2ePTbmKDG7Tgu7750Yszw8atl0iqLmgbUAcfCwwpE1URl6n2Sl7Oe89rzljBhcFcX+HLlq1GDAj6SccIhr90s/tmZipd+zJONIn3Ou2tLRS64O1NrleeTdYha2fElIwSYnHxrObD+zjtXTi+MHTBbyKj4n63+7KSMRl3umt0clMDrfSHW0gb+wptVms9KYFMYjoKJftmb5IZ/GJWWxblNrnvvf/n5EEi95JxRmVo5qV3w2qhkETBgn6hJ0GfcK5EJOPpYf/X6vxfhom/bak6khnnaKwSUx5V/uXtw614CY1T7TGj1Dazi54nSfGDVl2zV7DUqN0/DXOc9ucoBJ5WqS2+2KQBlzhSeOUp+GvIN61sbVr5TbqvdF7lL6BVK97crvN0SFZ04dDba4pW3RJ3J2j4l807an29Tj9xVcfLf8ddKrGQPVjhtmO58eE7rk3XCw8LbWu9xDKoiO1Y84/0eVPt8nQxhntA6K3/vA31Bnq1H+aa0EMtxp2WHh+ihgjakSxvkH0ePRAf09eMO3ZY9At2KwQtmQJvy5+8GPRXVCC13Tik3iiUmV4pn98lzuO/MBS2Qixn66Lt5g3XFWzgZJ4T1k1xUZ2W/PHqxYuGQD6cKZn0qEA+8NLlwgMt6y7fTs9XRCAhVjsek6mJVNni/LfAlYUYvp2ppAhWW6yraOmRox2/Ofnu72w15atE687uuC2FlC++F1QfUa7By8sv2+U5cbI76/W/L6eItX46wIsLEpWn9jQW5Sd47fhfXuRCNOpdVCsNmmp3rqg/WCgj4Vz6tH9Q+9tI8bnLWCro88LzRI2lshWrkwOvbFRjmZo4PLGWnq6+POew9eHIoaHNlXcrHXVnVta2GE0Dn/5w6XQ+NIqk3aw7Xp+RJvjzwTl/n2kRVi5P5M4kdI8M4jfVjK1Pm6zwNeZx+WQ6re00eRuCmphDjOzFudQ2U39E5PnKvfiv7NSHN/rivBTrrl6rx+37nXubbvDhH4H1auRwIpDlJdIiJzH6+YyJCbcbPDS79Gfsk3r5a5qf3p9RHHzJ+n7q99W5M9fmjq2v7c/K6jLvuf0LbZPb/BuKIWN9SgGIvxaE2kiTQUHBRStnIQ+z4FpO/XkaklZZ5t/SRzzHvgrrfDiTHIID7v1OamCt+K1rb11tFx9H2EKD0DxHnniec7Cpp6NDMbooUHQZeVYwC4fNW9yzXU/W1vky55J8s2fk25Jt77biE0ae5Tg81nvfehji6C/YY/LTtG7i2uXFd4T00lmaGUvT233PmGubijCDuGhvHD7/nEepQWUetofS7OYaXZdWObaZPHJ1vOpATvcyDpOa+zSevYhbO5E9uCs5wzLI1cKJJo3fy5MIk/aLZic61Cid7aG3K2aZVe4kMtxZu3CAWE1GbJOdreUy0acfQXDtiauGN/NEG7Ln3x8q1r7B/qzzornmE2Pnx6Oqp7aNbKc0lOM3GtnO/WNEUWTbvh2oEU9g8RP1wzqe4wXynTZreT+O5d4XVx1RadWxOeNHucDtz1+jjB0G3t4nGdrBRHfJC/52Tu1Jkqi5N3Lt/0n113uqO9ouBa5i0jcSXiI9UNA+MYhWUn2LcU6pXUtT4fuZO+fYsrEVq7fCtTNj2nn5c0MPfpRbJUP+ta+e17Gv6Khe2sRyr52vFzAWGRlRProc7F2iknWPoFTAspi8sZ7IwzuI8iLV5xYW09IyuWq88tErc11XsxLfX824Pmj6PE1+/XgSO+mhTxmh3jQe4e5zfqe0wUPS6ZO9d0L1stV/zB/YS0FIeEF3O9FfpIxLhUwGjgzogHG6k+n9ueDF3bFNfW3n73qpVLa/iCCpHhSqOAvNKW5LhSTfK0vNOwr6lcg+hGi9AxcmNZCO3l4Do4ROJtlcvWnTtI5R0bEkQvv26eDj49u2XOecIl1kHEdpd1Runphe090+0jX4FdPNVe9dDPpiniq30Oa1DnGE/jsw+b4OC4Kv7TwM16+6k2VyZ0PoiZXKxKyJ6YUb+22L/IpzRw9eSsYtjSXJcbIp05t7sZ3yKikhwm2Z2aEqUy7fjsxk8/v9KXRlce3nFNYemqxqN6yhcO1ts6UrsiQ9tKl555cMXwp+t38pWAJZ6XFUJvy+5iOCRe1lJynitbduVcJ3/sa0/wqwj7NxHnX8mXmGcHLFaZyyB4qkk0uMrdP/ilfDGO1zVzXZr5uPYCfc+mN5sU/R+HRpcsclvVGtcZNTQUZnH/cxdzly3t6nHZ9fvIce0t4yEGIpaXNi6VZr8fjF3xbJHfVIm2t83Z6g2KDeqerz9mh8fqHUhmWxh/nbIguGLMfxpNBlTvjgp4eCSpaEjaj5Q0uD6ha84T3DY6oGhDOfpWtdUkqTICs9QADCvvxGU0tI2+z6GF3VBeEF0+4fH+RN+LU8Eb2M27MJc1w6yWimmYlK7RETXnXDxCu5pqqjVXsh8oNWf11jcWWNN9hyq6DN2fKw5ckcNdvlvet9nFoDp7aIBiWi5+OZExUnZza2fR3eg1tRFcmRWZvjsS+jel+9kpZBp654jXva7/dLM5d/ph90Gh+2Zj6qtW6b84v6Z0dTKzCDA9VQT8iNSCnMUkGNfrmlVIgduG8kI8HZFe7Ofp2xWXtMe51FhXNafTh0bKTrY1BXkxv2hMkQsPvKt/unUkxuSN+oxa+/iLI9zmvp1v6zNWFagvL76nFzIR0/lV/4Ozks1TKeV8z2f3T7h3+78dUMyOc731bBUo+mqUnTX9enbT6a5PwmZLG9yE2BscjfF4T/NblqNGvrsLDgQ4yzdfc6jVtj4YvXxL+AfukaOOZ4bF+yYJW4H3Gw3XmLo+D3twjDFXKqzHschwbMp6srD6otTWt69ItT8GCbeNl08gkvE9qjtTXl04qKMgqbF4IddngIQ/3/fxXbL4++1fjQ1r1jxac+qR8+IamdVZjPKdt+qsotYUQf0aG54NG9bdWW4oX524QX9nRAu/qzC5Ki9o86ljd3c6lEZzuTcmN7fTPB4qeu6nPSlVbC9Oy+31PBb6+HLAAEndEanF56kfjlUuHi87nVYZ+HU6+1zkwTNb24xlq3gfTc5Ebv/2acnngNr8O5tkn9n7ha2aU3+Wgp+8hTvmNpHV8f6EvX7iovy+pkWHfKGo8r4qlmopQerieYuuSy91PnU+vb+8aDx2kwtFJTzoKf7UrFD8RftLwUvtjWc0xVc9AU2+h64uK7sm0rn6rVF7KchM2KuvltTbcrHo1OceiULmTs1G0wR7T9F3Z45a0Asdqt+mrUKoqlcvKz7Mufbiqsc+tviZDRakSMfRjJGFkfST6vI/T3hqymU4T22UPPfz/UH3w3pFteYqkUoStc9eekYHpS0OLO4TH3xdKrYrmnntZf2rD/6P6jQ15GI+H2RP2VxI230mw/eaRaycmYQrvjmy+NCO+pshb2QUbebcA/XytO/N/XylP2GycUIt9rhMqu3CpSH4aueu5j29tRUMFtTtcoCl5wZHrHwgBO6XVBjdmvRdOOTk2vQUp/sPHr56c30i9eSZunXbN8ozfEwqBhZ6WfIW0sVOUK7RP0vfV8wgT4UusM9u6OArJKrt13Z3p/jueXs+v+ziIeSH8XK/sdd136vbVutOpocfI7bZLyoLXcA++WHZ0qr98ta3jtPWJpw1/ZznvnCFTuqT1LYdrNQftFntqA8L3D2DLB5j8vLln7uUSUf0hblC2370V1/Mqn5ZvtfMetMmivcxU86RY9hp9XLdGMmn58Z31q6QYS6V9n3l4qKkv2Kjm/WDheYuzZ0u3hdzer3vGGbXHKw0aog/XnDw0iG7BrMH1Ysas/2lQ3dnJxxVLb1033lTv90aWN9JFW+mR3HI09trZNyYtjDoXYn8xCo3sY5nyWYOpgqTGloimT7Z+pTGxm/fvx8Zuuz9vivMrtzfzH565rBvRlQg7XysLraWM7zsUdPa9XW6jLfee3fGE24skOn6ea3WZVDGhXswrWx78saia9m3BrKBK7HHjhqrvYFXmbLJg/e2hdNjdn655/mWFLopu+bw2pfp8GLTsNJEpoMoGAm8Y6QqVwes+rBvZk3b6k0zW+S3+9Z8ywIIDjr1ptmxy+s8Z+MlnTex7lde8uyyLh9y6+QufZFW3agrq/HdLL3z7oy12Y0hx61iMQ8/WX4+pFBuots5ETxF073WqXglN0sucEbHNilouVFu0HqP8Ostt1WRUr3PsTVB6p2x1rm1Ql5hhx18rKU3IdA7x8OFXzbndZwt38JOPnVt87ZLhPKm61/k2g+oThPCc7eNCqdeVs+ZLrItO8DW2PfNovnG/b32Yy9CutK6pPwuPFn6Mzn9zQbO8OaHn0WvNiW/LjW833VY5X4S7Y5edGB19gxjudsWwqNzJluJF9NF12a9QSwX3L+NHD9x/baPXVhdRtlmLfd8XZLWq1pvdfpi/leL4V4wYcvk5ROGoSIr7LqNmsI1d910rm1LfbsjuCV39Q7/g9VzK08eDKzu2mBf+2Ltg2y94K863z82UcwVdia7aEVAq96HHr5xNT9m//utwyP3yho/ydwy0Cou6tDPb1I6pSvyzXLpFSQmvexYp5ua5ROru+fdhTtq5b/3i796eypISUIhssRgsao+a9qwyGUvBiApTsh/D0m97n3C1ewKa+zqeutNazXlr5rLDP24lWTwM7f85ZHxzId9gNXHvZdqlq0o/xT9xmX3gjWr5qbOFcWIbfF2gomJxr3aj/s4uwOtM8UvjB7oblx82hd7RvmJyqrNtPcKZ+K6124pUlWx3LA45mWwJTVl0HDPsshoTnyuj1JEnU+47OO5M3yu3fTXan3rXbaq7564mupu9eZj9rlfeN31AxEq3fLoDp39ScRrz+2jkbi5nqgXOfmmbsvXGYVZbfHSZpzuWPH87PRbJy1ThTy1zHeFPsfmzlW03ex9u/3GhxPKertTw1LUGKl2Ty9d6lSpe4d0hRk7q+6QnXxWK1E50qumWUC8HS1LsfkAPNt3XQy7b0+bRWG6WYpw8eMNW0dEEthOc68UD9R/FmscvXnriGUxaeowzvBcilndAHHjuUL2mq141ZMzFwfzOjaI3M79dly+yeqV+bURrQTR249SstKGVx9zVBZ2nmjePdyzzVLFWGQR0bvssUXTcvu56KNqfYlHX9KTWdOipjU+Mu/WvnlzxURnOmSDp0Vt6OGa7A8HRM3br63ce8PNAZ75cjNTZsBU9cJeIEo+7I7Xtz0TLjYqiW6pEQYGL3/sNTVVWRZJlf5ZcBm/NAfOUXG5yPOXcNpu+L3nLNRPP/vm8PgV2WWuKSWJ60oPr9aM+nL+xCF/FxuxgZknx4pWd/TKf3i4MemmuIGbzJ3GfkNf86s0RW5W98F7k9ofPWf9TghHOVg8tVZuuJluo+LBClyYZ9yQheeKbP8+WbUjceXlLEvbZlaIglFQwW5+lPVgEE976w6cx+VXgzIilgcn3vwghGmMHSGdVlSULhlQI/QJTWlSboeIHU3f1uI2RZDr0DXq7W1qqb02phfo+XWQeG+fld3+XeuuaNKeU5askZJ4dEd/kW6QwiohvMmJn62kYuXr+A2Tu5s8BoRskqsrzpBHJDCXtNaqXoo6wXssq/PuoR49vcO1PVzL/sjRb5kZA/0bVDlyIYrvnNvcrih8rDmASZLVVjh376SLwuTyXo1bg1rnEvzzupTfGiYJO3AazYcmlKV0UqTLDfxFA8yLRAg32YdO3I+u0Pge0eoP/zy/tp8cXZ01fDVf/Mxj1XKvnafOYa3KKzUUfJ1evbtBKU8Q+hJ+rb6ZuClGd/+rSwe+Jbs/d/Hc7uRJCtHQifS5ppQ7lGvU9jXfAAA8/eVGSMSIe3sML6q4+K/9IX+wJyugsI0tZwvFyIZJltnLrCNL7yLt+n5TEykdtDM3vGHumpkvY6+R87zkxvIrI0q+r/e9KU9s2+Ss4TqStFPYFDm59wWZ9Ua3ojumdchY/e299H6NhXGDT1ZTo1ZLvQkXubrLC/IwuescYGuZcZs5DfRXPzjmmLtv78/KgBvtebscDSoi498U9beEm4s9XXlXpPHhyCu2cewDD3+Zx/KcI+eVhtfIvl/tWBa6+tgmF+8zyiKIcdqjH/gnQ8731E2vXNXc8UCYU4s9rvUwf0+Y2IPNmjprXAxxw5706ZiDThvFVPtW72kejL6GsXh9uLlgC3MVuaue4mKhfMft0RrH7c/LHdYsml1TeKp7F3j+AZ+h92j/VlJZabeOrFSTmk03crLzqngGNU3Sbf/s1dxtlZTm2rqm8OJO7Idu28vM3c94nVso1ztFzjjMrTh0lyFPOtBIvyuSGX+odM/nwbqXG+0Wvdt2eYltYale8Sq27vJH9tLeU04m4gPAm2m+3TujczWRT/OVhcMSzqTsC+11GdYu011wwKMcf+NSzzGN9j32Xss10m9drdaLxR3SanPs2L1J5Zy1fcHPkcjoTdks+aK3kw3rc2/5K8SqRm3bBe2rjx64/zFswnjyYYDLJ6XU6enlmgo/ba3tn8vd1Dm6X7z4/nHIc4u1vdAFs2b12ha2995rrJMf+AMR+k1GtjtMFAPORxzds8N0x/2h9D13V1yaknu2QPlwC/LCQLUu77Kha+7w8ILo1N4HPqPl9U8fWV627IpdEqasoXl4H1xy8DrJUeyl0FZ/TESi+iQyXP+mti/AvbK1c4uwGl20dklmfyjtFNNseaR3UnTlrsrNSncsHBYeeR1tuVnSrc7gXGHRQd2fJ8WerpiZXpDubxhz/fv65CX49y9N5+gPFdMPOH3ruUhIbNJNxN1KzTNpUmzWqynkJs9GzQatF7Fc1eStt8xIh9LV0jNoe9ch+B6W0UZcdKZKQkJpwE7P/MXJRdNepzq/Vjy9rIwbgMsoQp9DIrX7HmwqrLCQOZJH4wKvCoSWrHxG91kqm7VhyoaqvScUAw+JGPVW0HwZSEAYK4tkH1eaWdbWVJ5aVZXJbUrqJLUgkfVwZNGz4nw4DnoUTCx8bJGUH96SGJafHlDwsC2PlsgtSC9uYNXQ4j2y2itTcypS6EN5nn5eRQX1OR3+z+pgBI5LTqmrrQtnl3EqC/NavaJS6Dfy6LZMpKaFlMTxpaelspiRXGZJaXFsAZVJ66isry3JDMqqLmFmh7NT3HPutNfS7ThtwbEejGe3G/vYpTlpaTEhSTADKYx7FEdh0MqDkptT79ZlB9fXlz2rDI2jVian5DVWRiXQUmL9WRGlSHpnAWJb5dJIi0aKmhLgWmphNlKR38amN0WnV+eVOLTmUzMqKhqzYxIai01cE1oHEmMflJS456dTg6tKq2PK6GHsInp6KqSfUsiNGaymlzPp+XnhjZk2jynZpXVJz2zSuzlVJclh5dnlSAitLM+xkJXXQC+uYRbkZyenxTODI5qfpQ/TMtNS67zyMsmZ+XSkoIqdH3ICyc8nlNdUhVSUJrMj4hyK21jnCuhwemUlI6P8XqtzMZtVXVPcVJSNZIXmJFS50x4H5VblJTOSEPf0woYyr/uFTxJSnw1kJsLulDYE8aa25CZ2cugdftx2j4xYSlhvWyPrABJLY7Bza8oimpiVhXHIvfSUrqCyao9qTnZiaSYnsrYsJtqxtAhhFDQ31SazajvJjvRHCdGcKk4nk820JD4uDI/Mi6tsD66qLcyKL6fTniaHF1QX5jj1hTXm2pYmVlFp5MoKGiOsrjGOHuHRlueZAzMY3exyOCA3m1kf3VTk1NFHSWIlUrPYLSlFQQizJj2vKupZVWEj02gkPTGmgJ1UROclBCUzEUY5Izomo6oxIZeV0VqdW1NNq0/lIkhMcEsvh0Yt9qGXBbUjVJ/yROssJK3MpYpBTYkvZrNz4mOcWsNLI9ZFF5CrOVaFRXSolhnlw85jMPLzHiczkCxGCsOhqIyc5cmuTiutratgVKay4xMIkFchvb3GqSL+PvtJgWNZFINRn8xJZBZ70LMY6em+dKaLT0RyUp4/u77AuzGz0rOgIsOvugYuaaYOZg4URfgX0JqygsqLXfQcI6ltTOtyljVCKQ1FKtwquT20lILSlBI2p4pUnR9SVWm93be5ITGfHZxc5dhQnFZZXOuSwyBnpNOfmtdktaQy06uzORkwPZeeVwjXlXLzIlJpN/JLi0LLaCUJ7KrMOt3ChIJ8v6JqdoR3Iq0q38MwnA45syoZaXmFXjm01lY6KZjrx6kIzCovL2Exmcl5PYkZiHe6Q3NTBtsiprKIkVWQk4ZUMxqp1KRYSh7NCal3K2LQ81ISMlprSxFmel920YCNSQybkUxLC+HWplWkVRUFJtXVMl3DHbPYaVblobTk1OT8p+6JwVEF7DAkgsBIzSVnVCexC/JKfFmMmso6xC8oP6UhNr2kKpftWcE2TQmhp5Ld3TLysxJo6WqZqXUPmGn5mYmM2sSM6gJyKp1ebMEsYjdW5xdl1rog9czimujw5KoYl+a8ltrS5qKoglBOmVttVlJyLTu5GA4klyTVVgQlV1eWemYkFlUWl2XWZD6ruelUG8Sk5TTRWYk56c2h8aVNMZzkZw3MgqS24iZWdF1+Ci2nBikOq3uempHwNI9aQC/JykuB8qxpsVXpYY0Is6uMzqYlZabkUNh5xXlNxaw6+P6zupB82JRWU1RcV5hXnJhTbBPUll9PppXVVdNT81pSykKim3Iq/BqfhvlU5VGtvWp8Cqwd857W1RXnRXXmJaZmJKWWUJmVnZ7F1XR6fX4klB+Z4ZPIoCRT8uJyPWsdS0xp9Yn1VGo+q9I9rpZGqcv0qXyW1kRPCCupdMrP8WO0VRYnerhVJmWEh1dkeVUVsXML82qcGXHPyvMQRmUuo/p8CaeSXZhSl1JtV1BTRssnF9EiK5ty4pgF8EBCWKJHt0VqJNOpvwlJbItvK39eXM6MzXveGJve2t0U7M6isrKzkluQEwxqvkNrHTWtMLalvTGdyrCpzM7Lq7wdVJJREVvK8qMUFdxLyYvL7+rIZBQnpsSl5FfmICG1oezyhmL3Jx35Tbnm5ND7jdFVWTSkspAWVM9h5FcWeqclsw6drSzMyk1mlyFOJW8iGzj53IaGAkZJRjktqTQ6Lzm1MTG+gkZvz2D753jA+UVV8UVlRSXVlNqCmIQnQcUsRkhLEi2hlBWL+N9BkotrChPZSDGrtKmIklUVyokoaKRrVUOtjMScZ4V2ITQfalwBPSs9OjSfnpWQX5pUWlBf8LSEwWS6FeS5hVe1VGbRC1ID4p+kFeWXFKQgpVFxhRm0/JrYy7Y1Zl0IPZ0Ryq2AGXnFhSmJLCtO4tmEamppYkFZMxKVWMCmN2ZFFlLybArLSmPLMljoBLVllbay73MKvGlpF7Or6TRqWVFKkneWXhKFFUllIhHswHOPWtlIg1tBTgXEecT0Sa8LeUbm9bUGFxfUMTLros/lMcqTc9pTKB+ZxQy/ooL8poie2HBXemh4QS0nh1tAY2ZyKvJDQ3tq2Wl5UdxwZnVPakFqehW5vr7IgVoV6m+bd5fBKXVs8MrNKiisyeuMLGemJwQ9qXWkc4LTSyu9mqKry1KbyRE5SUhYVnVyaTDbryyssqilNMq0PjOfVhyP/t1eVd1YxayuYQc6MpNY2iyBaWsL/qEX/1xq/9+n9v99/+vyr+tfF6y/V//fx//d1v518fdmbdbfn/93n/Vr598bfzn8+8Y/q7R//fi3/bN8XuC/3f7e//cvvxb/c+efXLT/Se/30l+L/vmR9avkf5D45XJ+7fPcsFjzyv4n0N/5/V3p3x+/Cvrl9O/7rF/o/nM1Px3teYn8wpz1G/h/4fX3Jpb27yb9Cv4PvH+7+QfYf6D63d3f4P69/9eGX1X+Svsf+Oehoz2PTr/D/iuD312ex41fpfxu8fwWsn4TQXt+er8SY80Dcz57/4Hsl3ftebD+gw3rFyDa8zCfB8k/9f5q92/2ac/rxfxpYM3j4C9m/4uw82jzuzfzip3XdG3tX3z6PRPa8yj7q0X/M2vzf9Oel8b8Qn9x9h+0f40Y69dg/mtQtH9Tct5QzeO+9r8L/Dfov+d9PrjzGT6fsv8u+heI8/b/kqdfo/uvxv07Ae3/gXc+aVnzp+731t8Cov17QFm/qcaal8c86ZiPrfYvIZjHlnmd+7Vcex6Nfs/Jb9rP15bfoze/H7/z/Dc22v+a8H8N+z801p7Hctb/cwLMT0tb+3/Y8Bv3g6x5/NP+17j8z0T9jqc9j97zb7Pmy9+8oZrH9P/R5N+VaM9T/3/pyy/lnSfr804h1rzT69c8sFj/Utd5YVj/krt/YzJP9v9HXyr+3YJ5R+W/ztHf8qk9nzz/jzzM9zJ/yfwD9vc5+htY7T9PQP6xP/bH/tgf+2P/PVviBkAzCI8MqUEgF5ghknUZfBpEqwYdASbABUHAUUTGYAwEQI4OVgfDxTvSQCzE5XOwNArWgAhBPFAUcMTBjnwKDhG8SIAnD5BhNQTA4EgyMFbwZKQ8CMEEACeBB5kgDHC5sB2egCX24Ku5RoIHxkEsCGFIdqI4kA+CujAWCcWAAA6BQLdxmDumw6WFMhEMhJkxoQEAhMeRSbqOsAzVBAsBTGgW1uKQ8ZaIPAlPowKQEg0SJQKYcZBE43shOC6HDEEEHQBDgceRMRhQwyGzZBghECAvWIoDUAAyloyXhSAaB4DITAxgAMIYKVGQiF00I/+IPIbh6RCxM16LIEiKhgdwZDUlMp+rIwrSQGmoicSDjsoCAIKYzPQjJMeeahoOxKoZaUwxARwPBMgQ0O+FuCEA7ZuOFh7hVYNGmCnsHdJRA45Bg6w+FeahaHEJjj0AMkaD+HyaPOQI8HlkwbOqqAcAB40hEICWJHgSF5Ei90AASEBgSAqsxuF4lggCOUp5Uck63/SJAIDv8SLCBhJKZCMtYFkTjwdqefEhYEwKAEkgiB3jN/AI+pYYGrWJRgF5UkS8AU4HUYNR72hXyRDaSQDUArHMfY4YeaAnA4R6uCQIhnAzswCfBobiAKqXLpZHptnxiAigNU5CvHi8ZSQCVovXBCE8XhZOGsfj8fjylPeoKxxAlkUQjLwUD7gLYeySoSnBc909EJ820y/VT4a4ND5C8COPAfJ8Aon0CQtRxwhkPsAk68gTQkkAmWmA4eKMeBCeYDc+zhVF+LMgQLiL6M4g+m4IDXRcRiAAgsfS8eb4LAJNByaqYVGG0fAGPUROD8othAfDMAaA+QroIjWuI9BDkKehKKCkpODcMMmWIzAG4SFYADNMggRvOWCIYpgwTc0AwPcTKNh+HSyAZYJcMkp8CpkIivIZooJekQgADaekBnAxZICM06UWCp4fBsiCp4/5ajgMj4dFGyl4g4QXIJ/Mx/H3HoUYfB3B48gzZDJKXx10Pw8CMMBeeTyZBFXDvB6E1wPJ4+W1dKt1ICkEK7WQKAoREPJMMh6eoRCwTCZeRwpLJj4CEJjHM/LD4QwAnBKW6IeyBEPFcXURPIRDkSPwFmL3cskGODQ4keQ4NcPhg1wCFyQhWDUcDg1JgCGaNKLjRcD3gAbIMjV0ZKkAFscjEIEZiAQRuhwoVCzSU40AiMEYgcIVUJCGY8IzXIRGmtHBOmIgMuxImgG8JP56NYcRgM4o1ARDWBDBuj3CACSc4GUEPAgiGRHgRTgOhGMk64ZimORkkE+GeHgKxNVBl4LwmAmqIAQERAh/PT2tJgpAkBLFzY/fAcs78tCUyQSsGhYHSGVxHHE6XnwQesiHBRir6ZCwBLCDTG5CmGiZ8lQyArySBjBeaDHoYEIIQuABjrRF6G0EgMpmSD1Z+GGmKAGLgyEI6wgQYRNZS+LMGDwsb0kijZG4AE8UTaDFnAtmQTBpkSVHygDgQKFYN6wJRl6gaQDoBQJUWj8E76VK8XtAJYCJhSAuT42KJUC68oABCesI8XTc0JnE0ohlUlwIxOKwAAgbEHQJOAiHEGFQ8DA3DAreD4AxkAKgQgQEMEg/TlSNhABSfI0eELHkkWb4MDofFxbRQD46bQgXRscd5PF1YAZTR/AYPsGLTMBQCSAfOcqHsCQ+gAcALO8mDBJQ4aVhONg5PMTDyCMQBxUOtFyY6EjBYnQIWMKMF8CTMsH2EPlcHp97BwYseWpYMp8E8ACgggiEkmHeXQMsFlJDEDxAFry4BE/mq/UgfBAYU8NyYR6GbMAnuAG0RQjB0a+EQCMgqDbqoDsQbg8VscPxYSkuos8rwxmowYI3mhAwBtgYGix4ywGAUCFQngiT+UgHpAXhvfhMPA8gnJcfg/AAc5EXsgXWEUXx4+ERGgbhcHUBeYCk00al4JZheAj8GMA5JuMhgIiDCdshiMKdQauOgURBR2kCBupRwxro8Ga8KPJccBbPA3tk0ZTdAIA7BqAnkwERi+BEUd3nAbCONAAj6FGE9VJDlvVgdfg8/nA/joLTQo8jiMRD9Y6G54PyBBgZRs8cNRo6KjgsgfDX21OIOCxyVEnwBgkYgzYXo8Pr0Edm7vBIJAYeZ8DzklXDEQg4PPMxjB4xY/Io+jwCeBQPImCoFgQhNIBAMhG8PACPBXB8LIPMhWcM0CPHIPlRFozVp/H5eBNZwTtgSESAp1QGEdGTEws7ErN4ZAKiQ7aUJ4j2U3p4BHkuE9OjgwdmODo0HM+RACkRIRiIIdDAmVcwFytPxdIg2A7wgxyDSTyYJyoYLqwXejQCeLTvPBzE5xCaQH4PgIFB3l6QJyqK8lgKA42KwsO66AEw/jNh6fcbN+KePP8CLmgyutTYcWtD53frY3OrMDsKD6xf/OP9dddPxdSF4MWFO67vtdA5/L7JPqQ53P/YT+2XM18j78qeSa2zukCe06/L/7Awt1V8oYNZuEf0FMZud8uKoa8K/T8btXV6MY8cyvgplSety5RISRcH+ku6zbWGTaRelnZErsg0VmmsHqjT2/xUx2BcZGzroojWrdu2f4uZ+mEQZXzO77mvgbhUUFbaGgV2HW9q9Lzo09FYLwOw4YN40kMb9w/w9ftNNIu6BYNKY/63734Z0ln2cMqLaLnaTWOgZcEXdwebKzrQm8+q3592OBUfDPS4u6oswfbhImXhM8sfNi+qc8gMtnz+c+T1Gm7t0jwTgHKgiiKEK1D62C2RW47EcKkSB6J7zo8aZ0g8ddpdt+7cFTipd8S6QqlY6/WD7ZIr2twOvBiHzlTQaa3bbh9eVLrl1qAm5YL+udmmT+rfTtfvu1C0W5az5eQ6zpZCTCvh+eKz6k+sjvjnREZpkE9jpms3OnWKj5FupLfgZa3mejA5Jx67jsWZ8kIOlnM/vfzsACWvUlPeXUxqZ0/vz+hrBEm2yeLbFG6syQj6KLYkPS8eoAzl1Yu8OrTefF9f3/ZvZsLLGTOfbseW7GY3LHhyc9eMmQLLfVK1M3Wa57l4zcvC+xlvDjAdVyFi46pibrE3RMhp/bIqAY7dH+tkdtyJOL1sPbJ+W5iTBGdqRYCZW9dEV4bNdSHFnpw9xBMrz1yXkvqBP94tmtFvJVFk9H17+oNK3dSUBbqLxPY+ne7Kl/5+TY9xq/B80cFbS5LiG7DHNR333YzDLBt8nn+sXgXZT42MCLeq/6H0znDTLVbb6vV7DYQRuXYX4I5dRLLEgpCab9TvUS6bNlUln3SenPl0b3+m3IWKu2OiJ1eMbfG6THoSYa6mT4a/Ge3wLFY+pHls+2sN6z3RwrM5L7Ey+GXBVvEScixQWPP8sOVBpcJ3ScdkKcU483eRGYHlfHC4yiTB30G6izd9clTXxOJSJOesIX9p491Gk1W3gsoquwMPpYxH6B7hL+7WL859EP+yVlJYZ+TbzHi3y/mNS8y5wukXH01iHlRNCEmVVh66bXZEYteuJyNNiZ3EW4ayMjfZljkvXmy/27cdm1L44WqIgp9F6jPK572dvT7HF9w9H2j2gSft/M0iat2ae1OGwtvNDg33fuHcSNU1/TH1ytD8kVNEThv25KlbMzubw0PS3Pbnj+h5mT+9MKQnhJNMv5tabKeyL4+mXfXpaOGxdXcuvL+c+HKLg0prBxyQtrPUqRdPtHttuCJh27H7LbfpN3duBrPufZ0UUundBb7e4fBocc0hwHDSt3egeAKQPkbK/2oZuShS+Q37ulLD1QYJ27373h8+TSHYBl7Q5q1Z4B+i0H5WyEVRiWl86EGXJNR9f6mS3aaEAx42b1PuXdzo07O29nn+1sDOhIwdMd5T+h0GkELQ8dBLwp/ev8AtMT8u4hWE2ZP4Y+dRl7MKJVYfsw+Lv/4Uq6G1YefPmdNrH8N+pN5unySt/X5f0i4V5N7Y63upy9nAWHhLer3x5usUlQV7dkYo56xuK6s4++705vU37P0InZj6rSf7O82OegeaaYWTdXoUzTLABayybrXFmEnNQ65Hd/rpqiQFLpA2W6fm+mUucOsDvrDnqLJpr9cr7ajLpyb7j1wpn4bTg3rf6O6TcEo5m1659H12yeMToyIrHu+i7MzuzBQbzjzV4bVkT4EMTm2VoRPOcdHhUZn4HymXOaeHwGg+1tLmy5y20I/OA2djG/pU+k7pyWtTycnu+bUk+eOrOSdgyZUyLY/2WCUedDRsWpfh6ZBeITlpu7fKLGz1Rff0Eu9TCsKLNgfyVgh//bG07bb3x6gnq8SuSW7wHTUxKTobPEpXuFn28/OkV4OLbM5iScLLdTFr/V7EOb0tSaNXLq64fwSLDSBfWgiIHVO/XOkG7pL8sdW/oBQ/UrlTPrjOv/MZZkVZJfHUhtamb0VlR6cSFz4w/8b6/GCWpZwvumH0g9Pc0lHjavt9IelLXFmbN/hI1vjXyTVJSFYGuq+tti5XWLBnmaxwqsI4cf14n0mjwaUPyg/eL1VcIqz/uBV39fEHkXz8rJb5arsnNj9f3uqOC1nVR/tavb8+kR5hoZKUKMFJOPtkV8jzrF0lOt633Q+39Gkad/LxSZb83bmTbrxd0qPE7Kv8tIMuURWY/TeF2IfVttubapqRDgZfvZS0O7p6jr2jgSm51nbkjtGmu1rhLyr2Tm6vf5Nxd29vyY+LpQbiJ471S5Se0KKf1dQTxvQYOT3vUSpedzNiJLFv9OPV13K51DTvx95Ky/s/BfS8dIu6+6EAtF2/2vGAa0PLk1ZHQj1/sYKd136muual0I2DG9b3H2wr0cmoXWnTWXlN6/niACVWlHoXUfRFOngPMT1P1myI9g2SZxyPJ6o3rB4l0dPsXsAjPSfDFB80h683ZTxbQqPJifgrKBa7dmXv1dIOR3yEpBXVU7vXuIQx9t22aIF0K3YF/PwMCek9oH7IznAO2m7T0uG7uyd0y6Fn4XujgNvcDxnhfpbWH4WvldSVHVqNK4Js7+QTb661pirSTuZZfjhMBsCIhfKSOo8MfqR+Jh1tW9UqPRLGXU6zVfE9lmD0ZsHL1o5Q/3RT8cyp29sJL3OWuarh1mSe5mzZyziwS3ZHgse3zjHj/Ufd6Lzim7vaE7u141RbfH9uW7r1Qd3014+GM5KtktgZk3HjiadhLt1Xmt9tPvTsMWyROGcxXWMUYzGxUlWr7Wy1wjUs9fjwRmkD13FbG8sPimorrTEZrS0WG2hkx5n8dcH8Ebd7PzS33hwV7YuwI7gu2B8WnIK7W5omM+13PnTzbtFXombHFgMn1t5rb3k+FD7u3zyxeQXX4SkH3J7eOWuw+P4P9cSx644KnzK1OYG27YZqT2yGa+N3b0uwqmXUt4Sc/qIXkBsssei17PJua9361y3OizcrRLw92TpYFdKKsPc7r9Kc2P1M6GrlSvnirEmdNEuKgu6B8G8SSacPRWls3IXEORq6fhMJDtjS08DX2z3a1vCuxXt3YSAx1rmH+jniboXdsF3pgdbPrfQDzi0szoSQvwa75lr+h8JbJwOT1L2u5iOb6m+o9k3G+miQNma04Pv1jofrPzh/Wdwgfff7kFt1Ztzk0x5DkgqHh4T457+qnk46slU3IEnc+7GlwTqy2SjdUTZcs9jq44IXnVO6E7Lrr4hkmN7nb+s2UpPv77Y6k3iVu19STk5c6P7GdwNyu+xkOspWz2hLP5fP+nDyyY+PrUf7hGWDOk/6DN6T/Uqc+PZhVKjnmPSP85M3Xuh4E9eIymGCn0j/HCn5/9o403Ao+/f/J1tKoqQ7lUrZQpJoIyLuSt2lklSUpQUpWwgt9rXsFLLvW2ZhjG32fYbZN2bM2LIVSYXQ/z7+D77NdP88va7juD6f83yf53jyehluLqTJqGf1vFt1/0I/I8L589MQHoLt4VvVnDI8ejkj018fc6tKKyA79N5ccSqVeXth/8CaLwmyFqo6Orffutt3nP6026zzfMPartaLMR9z/rLaBLB+UEa/rop4Znx7xV8vbHPasaCkTJnDWw1ME9VjOBOvy8byX83or+Mr3jvPL9Yy9SyIKfysJurqYBX9KFc5aa4Fmbff+GJYJ/lbisaJgLO579RPDUCXIz0RkwbxYoPvifJ/L019S4yNqdA+vOD92Cp2g8M/7Cr4yX4UjH072/7l7lJGpOEW8hljpNawoOuJ575B87XZrm3zras40Fa/MxqbGw3DG3b61nYcWlR8qaShQzBzO19ihwrm9m0NdX+qd+TQOsu7vjWNpmyhTKTJ97wDXS/XeA8Y3dZxM2tLdL2O3jkVqY08FuPf6BkEpAXf/G4DRxYdqapae115O9AXcrTN29nxlVVXQqF8zI/rp68cYwXidOUSPKY1F2pv6wZjrr64Pq75y/Nwl6ttHQHxSz09ErI43e42FZ5fHH45OBabIbJSLlJFE9t2vN1jvqFy1zo2GHIiL81Anq96brVuMah9xWsJ7Bny81VS0nBiWmte/LTaqcLuuQttJagd3nGzR91uug7M336G+ad2CrPP84ae4RfazkfT653HQj8/n+pdvbt306trKlPxMcnLGd6RuU1eXYFi6/Bl26rabVBjG9Ulny0ydwxMT2xmbzKwOJ+O7lo+ATa/K7hEuuB8Pjd6U3XoRkBdUSlPeJC9eDrKY9D51PtH/qLn6XlbXyZeXrTxQOnFpDpt+8WVlXl07O63E0tXzGJvpncUoq/4ml4ivthnOGF8lpM3PeHE2yvrk3KdnO0SEdM61m0ckMlc+/3x3V1hNprWE2ebLsiY3JQpsao0S7/csK/6e3hU4mFoZcpaqOVk/cdhs+C15gHYNSitEIeLdkd2yIBxNg9Cvoa01jpOIja/1ntlkrThvAr1fl16TjbM9zlIRjvN6lRTpIbChFZO4NTzx4m7DOy+eSg0Pj7493u2lnxt6uWdR18MNkaZx7+dinLZ5d9tIBd5f6RmHUKpPlbN/ppGW/SBzwctCgjC4k7ToiuDRdmjqpcO4pJQm7Sc7CmBP5KnuE7VKmUNwm+W3AesHwbnvtTH1CdMUR1c0jfPq/44qlpqxs4kmjvv3H4xSjuUvNM5MFaUH68qn1gfvbpBaUErTsD44kabtNBXXjJ5L/Ow490MUtCLYArN7m89OkhkPlev2AxxwJ1cLvluKXKd+oUa+DENXWkiNh+K8dp72yUZ5L50dHhIPGtpqfYKqeoXtxtPDNsSty/yn6M+h91fcfzNm0+Ucas0aE2xzOPq5b4q7eYh1ssecZZW6g7l3T46iOWvOgZ5bZMXU4sdGSkvO2S8zz+VT2q7Vtqr+FbNST0d8a0kxY+8mIbRylT+a5vpOZPPS0kuFjHELvGZpaZ7TfqOXi3LT/orlu+3KkSWf7h6E8X5yt/4aNNw7AkaN7AnIlakylpKfl+6fbusPv3NPxEeeWt9VpV1/6kUXtn1KrQvSmE+IMxWP4qio9fsnZql1pCS7uh6x+yB8eknOfOX48Mc3WEfS9wXJrO6vAIh5xEtLs213uj90ZpXWHuiZGfT61wHlsZ3iu2ydRVi5QUnz1XNITfRrruvd0gYnVrZo1BJ+eToHmHjbXEIJweZaXu1187wdVCe7LZ0ZyqzruP+nvqIMZNn7a1h5In+S/fDUEZ74xQNXYe+bMgIF0RuufLz9Jcyluu1U/VPFZSWYwy3bim3Tz29nPvPkotuJhg99mT9C8b2CPvJk1uSmtSzbwXRPQoi7s2Wr+OdaUpSUHLyVJibHsvRmoi2qve5TPiephrnGmce0ZJnWWjei+56EUJveAF7OhFgtnra0KJ8oKpNYfDE3IJSrU3ByfPhwoPTAvtnj+gwB3PPE0ZZa4rE/o31RU7KGhGM8tIxP2Swx+WAh9rW8MbTFef6Qh2s72vNsXtGV5AbOkoCFKNwbrbh5oi5vjymfLFGZwngwO1y/egz7hoyig57kVtY2twrC3JylLumenZpGwKnzTqSFYw2FWnIZe03fnhrrwLYcqFlQ+Fmx6eHQ5HFK8HXfWOSv84z79YxHpyKvlZ7KDrvzUxqPqm1Xz3XlXxRD+IMOHD34pWLJKh/ZNdqyGBdvky2A9/j09mFpgO5pImQrDT04+8kGLkvxm9/0JlNGICPynoheMJ9dXQHm2cXCE2z6R35rO/hptcYI2+/o6H8ttxW7cWaPGLyw8qA52M3BXIGdWjV5O3v5dRNjs2CoGuWVi/uXlDv+XZGM6AoRABEg5prj2fdnPZ8BjGaMLfdZd0U4ugmY7yPgdndIX5xqnRfZok79RFgkHKMAjpV/gvd5ph5Ven+rLnLAs/wYxT7Ouuoa/GUUm5OfEjkwJC156ybjiN12u/H95u673SqTYoe3pI5DVSJr/xBYlSesVxWARx/pIcdCgiAjq2rCXuOox5OOjH84W7Fos48fuOeR//kZ7uaj+zQRlrsunZJIW/gnX/A5va5p+aehpczO3Ry/Y6ejXA6rDaOA4QkX9wQD1viMIriUhqVFA++PrrSZGwZ08MrszAR7YmzGHuSmHK054XZleZh9JTKrxcPExxAJ7vlvTX8Jmh3UrJDlBkzQSXe3tR10yt3VlwijtdPrHOUSzbeYbDxQIzH7vjKJtHx0Aq340Ye7Q27l40KNh+aOFs5Xbr2mcMCPiXh1ftPxQ+M38C1HuUeTGe53WYAF5iihW0XXyE9rKOrQhK2HVUZiZtrx5D1jN4XqKpR9/rw7DN+pplSykZtXn/M+CvqRm5S45nXG9s3bn0VXSgqaLfX0Cz3Krz0V6iQsQwHjjJrG9zOYNxf+mvNPjnRtKnF2uWASwhq7+79J71SfYzdPZR51sDmwCyHEZ13vUpp1rO6XEfPjg+n1odZxe0rPxmfyG3km6Rs/XlKGaKibOCRqv5vkPx8b15JSlBJzvOjWNijvxpf17bCf67s9hsrx3fl8tm+7T9yv5sv/Ww9T3vT6k6bvudsEDtGuvDOgp0UmEzHmoLefayH2Ow9s5Qge7OZDtt1sM00MGT9P9Pl/pYNCfJ3/G5OXsv6e9v1+5PNCZzi2relDhAQ/qKjb6/eDxl+Rs8Kn6/4VtHV0kedP3v+uMf+9+rPhr5VGVtMyWSeG+me9TGNGTMPl++b54CSzUflX7268LHmw83X8LjzpWtypy1k3gtBd9C1yWbOCDeF09BwggsPhse+K/WZVH47WNOs7m131i9RPejJQC/bU9tCv9tuKjOQkJB1kmwnflMvcIPVqiyFUOEfTsycjDqWv5/RtNh+QKfUQe8bXeOWsfNXkj6r35rY7zAFMDl9BGOLtz27RYl9/WoOG+T2/DlhuumhUQKuF33MpejqM/SOpefXnr0831qcrJqUyw0OeXD4S6Fr/NvtNiox9EcrFwKaFx2pml48lUrvSw8GYSfqXuIDa45bGAzZTx0//MY28gFtFa5efeOG9rZ03Bqac5LNNcXODWcrTW2TbTOS8jp1DlU+iUYY3JcNvv1hy4Qa97TikQOz4W0WihDHMtGZH27h2I1J9AvnnqaP9SrH/OxEDqzsgzreoG3M1XQNY6Wd4k2dCl4XaaJVpaG/vPb81U6drW9/LYcee+8DtdHWq/Cb1KvxO1wzDj7Sn0OUu+dkpmj/mLL30u0P3ZEBwQ++2Obfynn71r6vcemBU2GYx5ZkBj/UbeqC301f3l3nRqOWF2wD5aaOgoJYO3T67kkwnubMz4xTcg0ecrLZK983stXzlKd2Cu5duN7VbIX2i7Kx958B06q2jPLVwdnrN+uaUGIi971sLCsAY6PSX+oyzQzAoKfrWi0LdDqGddhiQmNO8EH2sTPnFebrXycdjsuzsvsQ4861+ZqquaBlu+MhxV+w89sNW8X+b7dMb73b3dICVNd5EdDMMCq5+uPODUOKUUsaSoN/VL3rOlf5Ud2Jeym4T389frLoH1+9N+O4beSEkxtuvVfD22UBwywwviR6y1eTJgX/l0kl7rqhO7HymcDb5UL5iaDmrJhDdlGyBE7J2fnWySCL2anZwQ9mBV1ePO1XTSqfiq3/ahB7lNm6P2vYpWL8XH4+kGgIB6v2d/nOOXODdg496FzRqHLZT2bfOJB0TMHoTEmhEB5auuMv07IG9yyFNKPEYoXSKDmH+cNJKT+vbXWbeGmq7H/lc9aCjT7/sRoodF2iDebJdrkgm8vPSr+OemmCXHGvC5PrraLO1k+5b+kU79JXfgbQIK/qf/3uWDtrNQe9USwLUglheP84lv9E67qr7sY6s9HrzUdXvh+NSr7fz1ncculiBVLTj3e6PgqjHgQAXZFtazoyFNCnBDriKhf7Q5jjlsn26xT9rRsZpFJVrjxD+RR9N4ECDZYTXeu61xSwWa89I4m42dtL4/3Ine33M/LUY9r1fWJLBGMwpedFXVdqkWnfD2mfQiuasAzz1iB2jV39R/WlyamMtkyI4oG/YyI3GB1w9V2MeNcX/gr4RI9xuRq2fhe78UMSWrFki1xNY+vNiwFNg1POa3UOXqqca3yyOt/m4Nd9Py8MdE6vVPnBdWHFHR3s3lPsNNvAPdx06MzXOifsZbW/BPm3gJuXOuqqPlqVWkd6VJvaGxICtLMrtzMeb//7RKt70gB8YzhwacYTdKt/5Ngl2JFAMjlScNlDWd83a9hC76xljK8cU3Pl56plk65xPemSW/H83OPQqGf0vsE2paB2apXYrqb2yV7w6+ZQe/ldBjKKOUrfz1QyNJ0U/akdNl/qj+vgcxGHlqI3vO5N5cDvj6gCE76tLetOTwhRc17YNqZzt4XfelsuQhF1I/XaPjUQz3GXgeFdkFkLfDV4xf+T+mYZRITJwx9irCjke1GkbKWO6tdBg2MZu2vDwjuiLLcGNcbHXDfujDeaG35syQtahQJ7ws8e7lN0MbKsj+5Y3O36JtURGAfK79tODqobN7ylhLP7+rOmDXU8oDAsRfbXk/2KCmLtpGN5q6OWb3ZHLl9KzTM+1P7zEGqTXMqGQhhl7K/7oELTweRv/msJc5zUW09ZZ05/j57MXVZHAUiHrigNtK5LT1l2qWE6Ws4iDEGJyTstg1tWTfVc2Jmrbgbmlp7d2SCzvE0bOz48An3E63yi6Sq9SGrjgnUAy0mpZYulDcUzYV4wt/s76nZ2674OuWh/00LboWn/dWXegMcKbUPnPw1GexMU23/mzA8WdVnXIm3szp0W/v3zXVZaRadWyuk7F8O8fbMYCRfwT0KnGszMFt1SQ2dWyUOqxnU9SoqHXWXTHJad/SfNhyqtzw9924UEZgo2bfUFXxN7aqKP7UpF2V98yUNTJlm+sg46lFuwhTWA0i6hST3KgrB6KsLiQaBN7bX7yq5+dLefE2nv+063tWjf2LeECkiLOPGMcngWlTWTIIs9bp5YknkOQB5//WOfSKkuUpCu0gVlRjqvuV54pOaQcnVt74mbaxlXVw4ITE+LWZPV5vQ9Bfcn29jKvW1zHmftVWT2J1Lxx1VVK3Oq57/mJPbczp25EHZiO63A6kwnDXhyvNW2Meox6g3rwX7DQZBi/LWFgLrar+92lv3t3ukoPwQzt81JzpB3KdHccyjr4itPW6VPMVpnXvc+Qu2P+bg7fZbyfr3hYPyDqhgPN9v2sJ/rrGFDWS27jmSetvjpkFsUFhmsPbyfPjY0tGP4pNUBrVTqy9drnK6oHbJYv8w4Zb7d29u5ZXSZtqXj3IB+oC1oJj7WOjM7ccChXUW8qdl14yMTtW1T2DUnfWUqn4scat9U5d25nDpypuNegk8IEXsAGv1hCaP90PTxzgq0wr0YLmlQtH/3gM013QOYhvdyY52gR1kGVdrlt9bsq6evstWqZPhEIDg9et+NguKL9ajP33Iv0zOH0w9+Uys6cM6LtlnnmIfBHgsRdqB2Z6AsYQPd4MtRu1rvs5YZjEt1TeCQn/J+6SM+XQGWLjLpVDF1q/mdqF97ku3Qtm2ydZ+zrRg6k+Xpwb03x35g5HFugSlx4/FVFqzuT7Lnc7W/rfiu3vVxSgt1hqe6bDOObMRpGnzehvixwHGKiN8it2zrvucIyPgzeuWn4Y32zqCnY7E32944FhVtgBp6EE5tPauw/vLiunNu60fQ871FhioZ/qHTDzbdnrO+mLBSvdEtmhe4Ep7tXRI19gqTqwjR8B/JZSS6mTZfQ8yleqbPluSGFy3L0uE3DhY6Onwj1Hsdu3qptm+vUcuCRxx+ZM3+H1onTz4VOFbuXEvc/uVzSOAszN/dUlHu0MQviLXR66y9TH8vQLRVs1XhteS7ST8e2lUE8yfGPzz6+B2q/S6TYeBum6yfbDIdNtf2grTbYzeJurHRXBcCr8zW4b37mnLNyML79hzk+9VjwuWSVa6L/tYDPfE+C54Z0flqgMGA557n+q2eIWHzDJttX6dcDEPNLnHAa7wKhI5PioirXmRMfDL3arkY+ESQejQYm3oP7r+e6zZ+NftXrNnirdvsvbHbZ4GdFcQNxdDzhec8NWUuZxsISKKNdz5vUA3Hb8jIs/q+9X4XV9Zj9E6z3dc5jZaSC14nESlFi6cjrh+ofOyGTrBPfJVzISNKxgWlt9/028PsS9W6kaPCHakDjzIiXr/QSgYFY2Lc5a1qH00+IHGMLDALA4ZXzL3umP4jmn5uiOz2ZKPU+gX8Wr2zgVsG7DULRvKuCnmN2bfe5B09baX+y8lXsK5souLxtY02MRiThQWZfagw5ZeR9LsWy47QucLzIcs0urDt0tc0w2n4fm9vkdny8qYysxlv/QVdtJZX6sN5XZYuTGFTsOi1VcHq6GZ3VJqu/r4vB+TSzizRLYWAK++qKhnmbveyFBXwOZdTRp0uEHWtrDOP74rGRQJ0PLXPfzkeG138cPxbrItTIzsoNUzX7K2Heir+8eWd15Vl4EH1HRlvjZnKU2unbi/jPismMd87p9zzuJOOyLb4q9Tn70tajKvCvhfwVFChmdnJoKEvdh/iJiLsHk8gOnRXyIthhwOfr78Tsjb5ybW4OUjuwaqbzT5KhxsfQrNQhpFPv2J6hVT7TzlKPjvNO1Qbt0N2JkboA48SwRcbYCQ1RmExY8B07Kb9rSilnPZhttK+T6r+/vJHTHBRpuVn74mra3wfbJ45vTv/jGHKbfx17yL7eXjJgfFbz9XqAKggMHp/ssv6dyz+pNXI5n0b76QVtlbW7hIQZX24JMqi/45F8z3dTsG7hvahr/bvQGRqjjAFofkpf2svgzr2Hn2b7pXUfYpx66/B2vv31HyxI3YGH9W9FIDY+ZOzD44A7/acyGXC6t8cMrH3eh58I2Ae0uxhset9KfHavcnMeP2yIocvELxGvgKCePDjXcwb2aeZJwAXWopfuRsqhhenOF6t223Y9cvdV35P4qbXNQs2GhlatkkDx6wO49Hl2lE7DHeldh5aKSjd1vxIw79oVJHdvCdk587NYVjIbs2X1UvYm4ia45Xbph+JdzTCfuZNNMRp7WxJDffZu73qVTBdxkDNdntiEGdmPTrGyDfvONhn1ybf+U/F2dXr9K+opizpyDL68+XnT2geaEODzs0ENSZhkvye22H5BPQbzap7Cx+DrbnYbe2MC9GY2Kx3ntD5589Y74s7NTes0aLkaK6ulPU/iFuE6viBv8vJyCfty9mGtWzLL+wZeblHbpB/SUX1u8hphNxYsU6Rupn6RVB09kh3yr5L2iNTWXhuYylinIvNQgSOUGlcXjsM0/fxLQ7H4kCmK57R577QOZC4LjoNje/qRWGY9TgOncoHo/GVDGpt7ngvAsJE92JFbP7EUM3bCp4AKgSyezMhfYjh7r5qSFnrEK2rDY6iifCl443guE523xC+FkZg4GdgIkIRvrOMDO4mUakfKbmwgZZpGqVhqA3fO9MN5rIHoSMcGrlbRCfBuQjWMDe/PA9OJrCmeNhJrhhaGSwGi7HD1D7cUAUegWBQSnKoPdX0QXArV4iGtxDAOCaPnAcRDbdDaMyRRjwLykT2C6iArM4WMANM4iRTGwB9IuxwWncnN56D6219w68jA0m8KVovg0LjQLjQcRoPKsJ8xnew2MhKcCtrlIqlcfFsOECcIBYge4TMjEp8C3d4tLqXTvnUxi1to/XPjbFBeG5z6XhF2gSvabi9njYqoKI+DA7xmVgGSCxkonGsYQZtmEkmdDYieugj1bS+IQCKgkQ2iLOp5RMJRVndaCIiZwhHaynDwEuoVWAUooxI5GYFAwConneidywAuX2oD/OeyqDhMPRxKvdlBGVARIehhhmUEVYt/TOW3yikD35IpOF7KZjMasAkfwgFEHH6sIIhHBnePcTEUnFMPod5ZzAYU1uLKCKXdjU1URt7+WO8PtQboajqLbcXxh7C9+IZcSQynYqI5QjGWmFCLKOVQcunTVER+LYuAbuuS9Qx2kyFizloBqWir7WbwBXjIEJyUreI29VHJXbkLWSQpgcyh1JwLUhuL1pAY1OprUlIDrFJOIGAjw8y2pD4sV4Cg8Pr6fNl4FlY6hglVTgyjCGgmQIms4s6zEIj2wcmoSmAOSCdQOD0V2MqmKJBYB4oKaSaMtQziiTQ2oZFcHgyU0xjsTk8Ch2A7oS2d9BamDT65PMClBgCb+cC6YweKhNIICAA41wuY7abSOOVkwtx44imj609QBG1G4UHYYa7gFwiiUHj1rwHYLPwiL76WiqXV0UAsIkwLKMDTU3EjDPoVXAgljhAnBcuZrFozBJ4Q013G4Y8IGyEAevK2EW9iBzqC/ZQ7ziMz4/up5JGkuEdDDagmIzltaShG3qySQVD2E4AiSmiVxMbu/HddCKvf46NaKCBQLhhJqOrr4KCFjDbaYQPIyzGBIYEhBBZVXVAMPSTkN/F7+CIyMypTiR9aIaIHRIRc6kCRgoQPUui9hFRSOiHQS6PxOql4zAoDBfTXtrDxxPA1e1IUBua3zGIooCQHEFlv4BT34IPbWWiu2iZmJyvoJYv/34Y0scSteYDKPiJEeyz9nwChUek8JmdHHw/E8yBQGnMAQy1eVp4TxAa0TXzhASuqWDC3nSVQ9rHp8dde3uhiBYS5f2/tapq5eIHCkDDs2I2Ygwx1EeA5+D7BhtQCHw1ubORIYJTiBRGl7AcX4iJB1DZTnCoiNPP7aGj8BN14/VsNAkyAqaGc+gkKnAYzkIViFtwhBhkLROPZRDL+vuYzHoknhHAoyJhVNE0i4ul9pKqMNxCNrWTUkIdZbbwGoDg/FEMmTZAE7OoWAyJ197SQotlocTMcQwdhWbjhoGdDArgZR2mbqJjRDzDpjaSIAwxFcVFCZgMKK2aSRiFJSCqqjEkPIsF4pIGBhhICq11FAYnYMsoQjq1TNwlZkHoRCK6pBU3hKRj2jFCBpyW28SBk/N4H2mdA0BKKgMAZ7Y0dPcIiEAg8Bn531uzAeM1o5EENIONYvV2hxGnxHAscRiNoXPw5T0ts2MDrZw8BKIZR0z4wK4gI5g4Pny4rJwQ3MLEIhgDrQQCnE/OakWSyYNEbB1IBCCjsXgOHSnsm0J8wPTSqqp5gMBRAhxCwSH5ZCILWdn5SRgNJo+g/+0dvU6Am61+SAMIUa0Yqm9zZttIP5jBHKGIGTAoig8nclm4KqF1Lby1Y6CfRhJw+ukUJhwOaWcRgCJm6zgc28+bhpNBCGH5IBsloDRgGCIEA9guYGOh9K5RHJvHAvdAwdg+cReLRQFVVbfAQTgKjMwGAyl8UR4tp3ekg9TbmMcWDQ00UdPpE6K2YRadjqCx6YOk7kEmp3e4/N9/pESjLBaJxWnt4g1nD7CoYGAuk0nlrmL5/bxhyvM4sRDDmqGTUO1CJmCkl44apKEY9XQMoJ9HwwOQoiupLWwSHEhikQVQFCOtFUOIg3BoWS0w2AcsnoGumRR0I/uJ8OnxbhGcie5GFGLKOWweafjfeaFwcAzUWxq3vbm9HCfuY7Orm3Hvce14GlVQ/LaTQyA3fegQkBEiIY/7BTDQzu5j0qH0IRaShSdzmDMUKIpGhb8DM3rb+OPMbhRhSNwc04wuoHOor1BYGpqaCxkYFvehO3gDOLQz5d9orsC5hKFxIJN/CE/MZzEwENowvv81jY7tE7LEpeguHotGZwL76TwUjo6CD/Rg+NRCBhsHHRxidZMYVDQjcaACAmSPEvtAdBKbCcHy34x1cX6M1PWT0XVlAiCiv2uo5DyKjivFduRySD39nXRiRTcJjxai0chxIB09xMsXiSk0MQRTwv8/sPTfOO9vol3qtd/UpbUkGvsHZygJVUuTn5Lc6h9IqgRYK8m2/oEy/maJJelKCdj4NzcryaxLoei/gXnJ7/yBDEtCv9aSKLskGA+TLor1H4S1BO3/J8ZpLX0qmOQhrKUrAYNJewN+A8WSbPL/2H1JGFaC+reWrCRMEv79T2Ok0VmYJK0sceLfELlkkaVLJYFcSzHEUpC2RBulnQ2SCLmEs8AaJvlUGteHSdHFkpizFEz7+wASofoD6IZJkeV/CCSsJR0XkoS3dFckwW0J04I0dvz7RrA/rvi/Uv93aqRkCpLGDCmJhMTQ/KFrkNASSDXpN1gsCY7/yXxbS866ZKwkSHhJtQFMmkCXnn+J9kvx2pJNsv5zjiQbIJUaCaGHlH9A2lAgZVyQTqD0eoD9X0tLYv4ktBIwyQJKs/V/Ns9a6qH0jP4fggLpKlhLvSqpevhPBGFS+0cqCDCp1yUHTMILI72BYH8sbSkNAUwadodZSz6G/RkH2H9r+r8PSL37n50jrTz5LS2A/SfjUsmWiqXknvpj9Uous98eht8TJ22ekCoLTFpMYC1xDYlVL/2bB5NOtqTv5j+Zs5b+Lf7zxNawP28g6RaRDsX///t/p3m3Cw==","losslessness":"Exact binary64 paired differences computed from unrounded run.py edge values; raw edges are not encoded. All paired statistics reproducible from these rows."},"diagnostics":{"variant":{"nfirst":14402975,"nmis":4091,"misread_rate":0.00028403854064872015,"price_n":22384824,"price_sse_bps2":1129748464.599984,"price_rmse_bps":7.1041813269229},"BASE":{"nfirst":14400097,"nmis":4260,"misread_rate":0.00029583134058055305,"price_n":22377806,"price_sse_bps2":1133913770.1730444,"price_rmse_bps":7.118381544597329},"interpretation":"Misread denominator is first own callbacks. Price RMSE is callback-weighted log-price error in bps; each arm has its own callback sample. These diagnostics never enter policy inputs."},"checks":{"rule_off":{"callbacks":10795,"exact_fees_and_filter_state":true,"seed":64300},"blindness":{"callbacks":11045,"diagnostics_changed":true,"identical_fees_and_state":true,"seed":64301},"inverse_router":{"cases":{"full":3732,"split":2564},"max_relative_error":1.4879994986474446e-14},"nodes":{"sum_weights":1.0,"mean":0.0,"variance":1.0}},"setup":{"fetched_files":34,"hash_mismatches":0,"baseline_body_and_source_hash_verified":true,"run_py_modified":false,"PROCS":1,"checkpoint_chunk_seeds":8,"resume":"Only missing chunks; atomic rename after each chunk; each arm independently checkpointed."},"cost_estimate_unmeasured":{"price_quadrature_nodes":5,"rival_nodes":3,"likelihood_evaluations_per_update":15,"operations":"At most 5 price exp, 15 rival exp, 15 reserve sqrt, 15 size log+exp, 5 log+exp for tempering, plus ~400 scalar arithmetic/comparison operations; upper-bound rough estimate, excludes unchanged BASE and grid calls.","persistent_new_policy_slots":"0 necessary for portable fixed parameters; Python adds strength, rival_sd and diagnostic updates counter.","persistent_bytes":"0 necessary for fixed params; uses existing reserves, fees, price and rival state.","constant_bytes_estimate":384,"constant_bytes_basis":"10 quadrature constants plus 2 fixed parameters at 32 bytes each, excluding mathematical constants; unmeasured.","temporary_memory_bytes_estimate":512,"temporary_memory_basis":"Roughly 16 reusable machine words at 32 bytes; unmeasured.","bytecode_bytes":"unmeasured; no Solidity built","gas":"unmeasured"},"conclusion":"Measured result does not meet the port threshold.","port_recommendation":{"passes_threshold":false,"rule":"Do not port from this experiment: required >=0.2 versus tell_qm with positive incremental gain over BASE is not established.","engine_rank_claim":false},"code_sha256":"0eb13c98bd50e84be5dbb45c412afec0b9bab3397e9dc9eb04bf587184732370","bundle_encoding":"base64(zlib(UTF-8 compact sorted JSON path:text))","bundle_sha256":"f9aad23c8a37e039465ade24c97fcae6166532073260433821d207bfe2f23fee","bundle_file_sha256":{"retailprice.py":"0eb13c98bd50e84be5dbb45c412afec0b9bab3397e9dc9eb04bf587184732370","stalerival.py":"176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3","driver.py":"7d6dc80ae63469259b299df9b8acf25396585a7b64b4d1fad0d8cda401806705","checks.py":"deba7dda7f6f4a0c75caae9ff9b3915e9493589cb97460019862a2bdf3d1873e","finalize.py":"a243e5e77c704f9b755d222f72c426c4b5bf8f15f404a6dd3e55076630c34bf9"},"bundle_zb64":"eNrNfAtz20aW7l/pSqoWANUEH3rYpgJXeSbOTLJO7LGUO3tH5qIAoknBAgEYDYqiXdrfvufRjQdJxc7dW7duZhIR/e7Tp8/5zgP48t3iVi3utF/uvpt9l67LoqrFOqpvZRXlSbGWH3WRy9tI32ZpLEuogL8fctOw2uSyUnWUZmWVLpTUdZSpKr2Psg/5+8C09t/BXzcMl2mmwtDzK6WL7F65nl9GlcrrD/l1AAP5WRElLv748fVPr35/cx2+e/vG+5AXwRcnGjsz//RcOlGaL81PXSxrZzaRzqe1M9N15b4fwc/wbqKG5z6u2vEeP+Tfi3dRWqlERIt6E2ViEWVZHMGGZ6K+VaJYLoXepvXiVqw3uhaxEuoBmmY78ZdXV6+lSPNFtknSfAW/arVSlVgqpf0PeRS0m/XfFVm62LnXsvAu46BDkbYmSRe1WwCFYMur+jYYe7C3RRZpLa63aT77kAv4ZxvltQ4/BtfVRnHJotjkdTDmh0QtYR1p7WqVLeUgqlbaMz3xn4cg8qnau9wFsf0JUyg4q4cg2LVNYY2bKhcP7bhFHtZVlCgeW6eJktGDjHaylg9yJwdJGq26k32Cydo+e829y8+wgKer22HM6j4FweeDQjfy1zLy7+FfPb2F/6Y6jKoYfsRb+E+09YLAjaFNDG1iahPbNjG2ibFNOyzuzCeCngSTA1p8atlalXBq0fRDvg3wcICItsgHBnUvzk7HY7mVeahrVepgMoZ/PGK2qrhX4i9ZmidCVZFWWgDDCaRdXug6XWixLCpiPeIzoaO1EuUmhsEb3oR1ftqoHLgH2ewoNz3NZwWsYxvJbUx3ilbiRp5sH2JoYOi7Nezij8cT6T+X0zEQdGsY58ULSf9v2PQ9kCDa/Q8Y1dA58pd4hMvom3kPz7OUeio/9hlw+wcc2O3U9vmM23u6T17UgvoNJv4E+g78F/LjyQsiwp9n2APuPByFJvRzpRIdLrNoJUDoUmHcKfwTDLydBnxMx1h2IrfTIzz7c36PS2F+rIpNDUIOuLgSrAFgdFjqvdIjlHxSLDfA0LhMDcPjXVmla5KIVb4KuIv/nv7QpFPvkhasQYxjV2c2BtmNXeHX4+W2qDRwDXTHexEC0+C0K+Xy+sxxw8D5yt/kKTRauz7w5cS7XE0D+PXssgpQX/n6U1W7q9FqaqhcbPNer+djOQEGvyzg8lVHa+oCJDoPph5Kt9tkeCrPPDNwGaUJtHpwx75cg3CgbtKtBi4NfbKaDqjIG8ISvJG7OqkGsCrbPV3SCD8E49miyOs0txcoBjIlAYxDw3Bnc/ZIuIB7USszUn5PhTgknYrKtBIuFg3srCcwzNAMCWuhss591Td8KP0hzPnMGyZTVRVEsXZhxiHvbYQEmEh+MKeIRfRLQnszi+FzKPgBFPMERCowGLBCtQEwANrXmX1xGp3szLbM3dIhbgyR40LgJcQOwJbAulGtnBkKHWAiuCDOjGTxo3RiFG650np/xKkdsiOEw8UtMllihwI5ACcBvdoZn5hqAlOleGG0Cvmu8Hwg6Z0Zk1Q6QIiwUllUp/cqhK0X0IgIA53zIlG0Rr1Zh1uVrm5reIQHtyvO//n657/9/frKg7FUlHP9w2BLyuNBbvGafE7LXpff3v74+koeGwRGuY+qNAKNYkf6Px/rEUAVQi2QCpsMlj5yDIBkyOVvq7RWYa0eahdL/GSzLrULlPK8SxgqPyz+kH8nv0sASKmKUegH+t8VYCu4Vyh+NusozlBjllC2hqPyxY8FqFYUlEWpcnFbZAmMJYD8aSaWlVKfFS0I+qS6BunEg1oFX2jgQ+2r/D6tivzGeff+7V+vnHngTJymzTHgK2uYXuqd7iJggLpv315/O9p9+/t1gD1aGl4KKPPXd0laubTgsLgjzQq0efvu+uqbETCNegwEX6UPogQYrECVIxrWqgbJs9KXoHoB6yIeydVW8ImLLL1TWXpbFIngi4Li/er19fXPv/3tKrgB3jUo1plF0iEIHGq4IPEjMVWMLIXSEXAFyH8qi6jMn55L/1xOfG/+IUfFr28jt2yQgaG2D6XT8wu3BOJFSRjvaqVdz/Nv1UOSwmIA1HLvqthqN4tilcmS8I8syhqNkKqWdBet/gBxgG2Dm7mRp3ZFrGu4B/33hIXF8y7QwJMN4IRGS+cLzfY4/BI9MnnbViTXSXUgx7neTMRZsbgLiN3RttEu1dOe6H54HTyAcrczJekD6o7ADf4NeYNuZ58ZzOPyBiJSRNHJ8+4mPK87Af5Tr0tiUx8snttQb5bL9MF1fCh2QPutyycuLy1EagUMHNUgxgLXkfC/mQMTUDdEGtFC0f66GIepDhSpFQJPHKZTzdKAjy+SmYINcAdPLrONvrU3oINwTIMPOZ//OkJsPrM4cpHRKTnM5SB9YQedQyrij3CRLOc7M8vQ0qlBzecrZ3bDwP7i7Pz8fC4dI1WgnMAIgoSzZ3MJ6rHYVAsVMpvC1QMmthe6lZjlzgHBy3LtSNNG4NENNQyEK28ZyOjODgNRfZeBggB2ZXQ0chA1eEIExx+lBpEV3qmdZtoa4sagvQK6S0gJNcRnON/Wvp2xdeFIFEaSiQTbMd31ogBB1rtbqdR4u1S+WYMVVCvX0rp7rarunM4JCrAUKNahYTMvGc80+WAA7LG/Ajr+4Ca6cVSyUs58GNtffNNl3Cg5iZvz5h1ITav3o7JEHm34A46KdW+YpIhSUG0m3gi5NIFFwqMtowf9qdGsrFdxQqwD3c19Hi2xlUFKfHOxkpcAahpOJsiidZyAbJpx6U06v+msY25GWVbFZ5UH7FSAg13cFhqeLZlvcJa5ZL4OeCTaOYAky7dBy4sdTwZxLWiQgzZ7WgUNysNGKKxwBIuU+T529LHTYuA/4vNyj8l5ux0+f0pUccMn+JwFjvPT+7f/ev2bI03bQ1lDXImX/2s3gcUCSIXnh10ZcdXO1xm6f2hef1SgVBjm0RqwRBA4YYgiLwydGYs+gk7LNI+y9LPqgqe/bNIsIbVO9gJo/ATOHgQOASnY+Vro6F6hft/kdwADcoUWn3pQC8C0GpQjQt592ESQCGlycSY/Ixyy8IgchhYjwUXeLOo/5QB8G3QQ5YccwCdAJFOrb6bzkQNaLV2CSaBHqyLKRnFUA+zUIzW+GC6GAF2G6h5B/EKNgC3WesREHxLVhy2ecVrYET8FO+IjSKMEY0IlnT5MBT++OINJAdK7SA+wNNaAsjSoTPkCAAtIY6wyY6yU0XZWCB5AkhKlBvIuTPXWX2VFzB1OnOHA3DtYAPQ6CZ68LD19+aW6YdtlPqtohopAD4zwaPeFzlGXtK5ZVR6gTKKSS83W8BJF2z0NcCfv7RBQ3asfHLbgEVF8BXqU47XP2cL8rchVb6V0IfIgl42sC/AXoI6OdW+MblfroR7AgGDQ5sOJBz88GvvlpB1dwpoCLUk2B1pLsr/OCbySMXeHBiFK9vvH7rIN9XH1XXH8MHu4mcy9m9n5fG6OE81Jt2rJtkzRBiZDDoxqfDDqh2kO5MrXqbYN4Cee2kET2K9pAT/3a7WlxtK0OWhyhKa8Lv4jaQn4H2kWEKJ6ppIRNyFC8q+WlnSNQjgebX/DUsK41FMgrS2q1lzWOTCoHEEfPh0YrBnROwLgjE7rcLb7tq88vB6nXwqj9bjjjcOPzrznebCVfcw2D0hrsSHbx2x9o+PoWH1Q1xmrA+qODXMv4wClQF9DeLItI4VjWn8vfqJjiBYLECmiLthPrG9BbFuDF/lUpCCvl+i1Q3mfrteb2kh5opxBx1Ed9UgLq61VloWf1sdoy51qklDY9cbBn8BscJCpTnPQiCBrXawiXebx0eKz6Roclz21ET7szVQJXAi+cYC73Hvv3/BPzH9qu4yEAOqNq+X9jZ53QF77wEYmgU4a1fBAgls87Fl/vef34k2hdYaE//n169fDZ+dnROwZtZptAEmcTqWot4WRoQKliapQBenZEohcg3ow1zHaBrHj+B8L4HbWjj4qFNf54eckcaSWiVS8DlgpoEY3xGcDWWn3knbiNa67RAVf5V2DN0H9Zyr4ks+gQ947ZZoxJ8N8fyS5hwllh7Wl04QM4XcHfTSWTBwHXfORVrCHyY6bk75Rpvbg0VH95bFVkOsIABGoZQl0xnXfuM7V31/BJbz6/dcrn1AF0PPLI5CwW4G0g2Ln/etXP/762l+D+HeuX795g79gBwqwBCh/KKSfQ2yOz4/evGOu4PwIn4le70d2KT2K+uQ4xVba9fbM+VsJmhVquI3rXeLubmAjPl7/XObePLg1wZU0D4xm5nO/TPNFU0IWjBX0gDjWYLgEcVFkbEwgEwNkRvxIbnoYrGdBvAz8KVXAmP2KsfWco4fWLt653ZXoPdYpmMzOe3YQkdc5WqOXgUMBgL3EIqqqnSAWgrHRbU4mOEilqtisbm1oAWz4YsE10SpCUQJok3FaDGMNFwUUVVCBbirgD/hDbCiA2CkMqaQoAbKTsIO26IrFsYql+N9DQIDFGhiyxk68VA28ibLzP0SBNzzLtO/IZnNgGpUK9nVVJ4DfxLtdfQvNTOSEfGMAjQswZFd48gyPYTYp9CYGnanpNzAGNxiCTXeHe2c50J2ojeY4s58ikJVtlbXL0Cm8qTJYzW1dl3o2GkVl6qfrxF9u8lELgJ+PL87GZ+p5osbJ6VIBBD6bROfn5xdjeJiOx5NFspy8AKWhlsn4fPEsnp7GL+Kz5xfLKJpenC6B5eMi2TU+Cef/woB7HhGrKPdMTmcunaJEApIH/Ks+zT2j8/GxJRrHBzCKACO1F82B6VZpnMIN20H/V6QWN7lx91NMX2zKhLgITP5sx/7P7S3IE+sjf4mBiudNJA6vNwAAjAteCgZGFD3UTcZAsVwOV1Wa+OJNhPMZzjOtPm1APi53GCiLqoQ0CvAqt/+XqgphnakGtmlepUlD8MVfbVQY7sAGxsM7n7MWgR2RKffPVz/a9ATti9/UVlhryPpveZt8N/HKj+xmaZtwlVJAD4QasqK425TSGIR88ygWgmxOgeB0mWKEEC92VDdB6w6zwzFk0CGvQ5oQzuEn0B3DEtRfLf4WbQC+/11VazDUBNqmFW+YKmBN4jd3Le89WAFGSsTNcOo/P7948Qz48PT5s+nz8fmFHE6AWc4vpheTZy9ePDubXlzIsTwsO+w5l8LEXMSNP55MpufPziaT0+mzZ9PxxQvpT6fT8bPzF/BfaDyZgp3rn5/2/zna6GCoeZ8eREcgxF+jEs5Y7Uk0YCIQl6qlpXib91mtrIqPagHgvMaDLsRNOcDYpyxH+IdtABUtbmGIPEmRv0V5KTJixw0AMyNI7YQwAV1DmG8nInQLrBTKaYXnvxry6oCtAYZp4Q4Jy596A+vpB2Kf7Jd5LWXdyQhoPzqV8NfzxfVtShi1E1XIN6km7iOuZVet5GA4xyFw0CGzXbkBbdwnpom7OW9ULVZ0A7c5JvgAl7EqWkXrdSSFiRBL8e/BRF1IUQVtkFiK99QN7PUhEZmVmgl2S3FlzqhbyqK9stfu3+nymCsCStIXG9xnEVPjpKslfRFjZPdq+N4brXzx81JsfghiwI8YPxX/CDZS/BJMLhlF/yNwN20A9/0Q+tnQLTazNabIFz/1I/IxaCF0joiUA/ukKMGOLVEpEun65ARBoVlcLt3PXoCh76F/PnDdLIfnIf6Zjr2h/2zqeaOJP/X+E+f+PICfA6LndFCmgN2QaUuAIcN4s9PD/yC+exMs3XLwD29QDn65FBSF3qamHEp/8cUVnhewdxyx1Bb+ORKRZFxk4MUCeQUUt/gdun4kMYK0HS5TzK3h5TP7mAfsnqTIVbBnBBptbg15HdMcDuE9MZnlfu6ZAtkAvNNlgWsGmuB0PL4UtQLqVSLeNcIaxGwhWMphDFAgmF0roC0qCkVKo0/ldYGBS8RQvyEyQsgstmE6QHLbQQdZLt6E6RDjxx/3Sj+iwcuqS6xxbWu+gvfe4PUNikoQbfdUjk4SeT9wufg/p/OhaQDnBqf0HjFjuSHha/Xip7WR+0RuEseoU0D9I8fkSV2l5eh0DMa9WG1Ai+0J+xRkeWTU+o3zK+0U1WtVPKQGBILK60l5Pi7OOeHgPubYQStQbPmCABwoD7AOYCpAZx0YiDeNucKyCMyTgDbszKiI6Td5cxXZkIGhgEdZKgKTDg1sNbkCAqNiBommoJcwIEDH25fVOHJHlHV5Nc25O0ZVzTSEOFt1DK1XKgeOQ8G7VRGqTWCIHl4m2ZIXw4ZlUUhWsAYNom5XYGaZ4WEmKZwhgFfgaBjq1TpOV5tigwqfMElfjRAyybnbOn0gVUQyTC0UCk+AukfDwL4z72AvRncW5XXL0eHAbt5uwOsJN471jbQDNJeo171jSrKH58+ZkkfHR5dvSC0o1uP8fv3T8Ln45ertb9K4AAWOLwXeFcrTa+aA8dtx0PxKa+T3ENiDx7pSmSJsRs00S2bCx+RphmPYgn1g/O9p3ktXMEAgyneNiwejNySvrm8VaStbwRa5ADt3CLQSvBTyE2HKoY1zWoAHAq5G0JUj6yyQL2GRyG6IoXlws0dlKlUybDbazLIFJIzXAHMzQIQlKBNxdOsGqIwram/1sLFVlF8ifsER8O7b2bIdQdoKgxRm+3bLHfuJQ1mh3oBir3ZoPVD87CBma7cddrIdnNkFVpgNwwlBKTr3recGAXFji+LduDSePrsezDHBTZhNkUmIYJ2ixtIGLkJr16Impf6+adK5O01MGTaAWZ4ayBzarfTCzCZnpw5xRc4MrPW2yHjunBkY99LBBm2RcROg0yv+FqdX635r/W5zTzrI+RmcfYJrtb7KmWkO+NzhdZmC2HtEQqBDl25Bp8uNbmfr5PbRPp+Ta5gZAqrv53bYP9EpnncNwxKlh0KiosMS1tG55Ry0oVCNi9JnWGYRmPUgHHPQKhotOREDI1c7kH11nakhqAA0SdBPxxENz4MDbzrAmH8x0N1EfvBGgT5ADYZuCPT93Yxns+kY1DP+npjfvu+bghdUgnqZsso6q+GblKjO2JeCJSPhzCWYZGDtwsUT0/EACLHDCYst6DZ0RaI+WBTZZs1queO3dFpOAoGw0cRi1ml5UGk4q6mfN1Ft9jXB3epIa9gTpj1EdYSsyFEz6/vE/aa0Xc4SaA8XACamqWXG58p5fM5rggd8IhdnRxytwkAZA8g3eWWinRyIFsjtxm6+RGpTASM0gh+kIsAOf5VldnQ0OlLO1K4UI4u0iZmiH4xIDLCkw3OdzMIe51OIiNJ07n1ehUvbZBZva+NeLan7EnWwESa/cqhGNN4tpJ02mh1tmAbC+OIdmfjvfwUFj8jEVAzZNIPtoXnHbgDKS6T7UwJxyHiMqjWqKIFqpDsuZqmXRkugl7+TzW7ixrhkwblJMCQcSZ9A7DB2ZnuxnX7mYDf+0PHQgZwtkarkm1WUCooJlKdn0iEtvk71mqPBlFrcuJzIx0WZnOybosawWHRfNImflFm1C9cgIbiYfXMmIRD9ULRGcl2EFCsn4QJTPWe5v0YZ8BadK+QOBCVhI+pwTGtQtMComOLPd5lNdGzQoXgHa8Iw7XzAmD0aAsVDi0LDTQ5aS28qFs8cgPu0iRLQqFAYmizTc5udZ54nKDgZRN20eXvzIBiz5XkKV7ABfaFCrmRcH6JYZesDRv3KKJNzdPOpypoEzqtarGH14tx4oMDmkdDKImv7ZIxsNGuogFy3wLAn1OLc/uQ3KMgiA3obb/B/nY3HgBsiUO1AVADyAFvSxYjgW5UitGpXhHYUPAwpNUKwc7p1LqsHfOMHpMSe2xBxFCFqvBVklpToetbk6ALUbDL0Qp0VZOaN4W5g4A61CQX3QVFyXC59sOCQDMZL63aOkkQ3BqYUlrI0c3vnjBGoOYGbxXxnJYSqj0zfmRUJgG+mNGaEzfCXglP8+ZQ6zg10xLA6YUuHZ2m4EW7j87ODWriJFDOYjEXLmY2xpPncpgfkgIsjTqekzDRdEnskuFIMLSu0kxb4LpcdCvbTXAdcJjJHUcHOw7VaF/Bnf7nnk+mxVmbB75Ej4CpOLoAyG02HtoaFYAhgC0C1t8T9ubEQtUpzEG014cYr4JIEXRTxBsxe6LCK+q36dx5fP9OkBlzn+hYOCgEkINaaHbCpboIVDTg1wYoY7MwlvaCBoAzZuSa06VOyfxM5Mi8NOL+a6QWjWZHYBOu1UuxDohSg2q6BhzmIOPH7Az/nFj22y4J1Uuo1ysoGW7L6ZyNlHd2RBUrNALmna99BfYjPYbNeoxRB5mFQHtCJXZAza9pIhwMDzrvC+L8snjfwoGO/s1/GelZYTNN9N0Zw45zAa0H3BPmwuTodj3h7X3iwo4R2fiyIqrRJgylS3Ultnwm0CwiKvAzG/lQgKsRwF6Mw46Qo0FdFDskFnC90g1nRgOEXd2j9KR8fnHlksgaQPZk50OK4C4nGRuX1mC7p2+9Y0NHIHM8Nn8DVbEk3ZjPb0mhYU3b0DPU7YWgzSneeOPaa8p4T4csd1d+3Nn03ZYd7+JT35aIZYob4HANYbTBo3NkBiZzQat3FrjsRRWXvGKDemdg4ZzWS3c8/mler6An1JAh/W2Uj5nhiTTE+VGppxikygC0JAx+5F+WSe3kZnZOxgNTgwh9J0Jj9c1wgAcZZAD7cAYuUm4z8aGChl2mOnlAceGTD3cI9PRMWDxkpjAweVYBLCGR5Eu9OLggMBRNRkpo6FU0qwKX1QQATokoaMSLSRoZocpICf1fkSQCZZxQdnkmEbxWIaxSu2vigWI4hOOfVbEpUhtHaIErBb+nQcmFP7Esxbt8N9a3ZoUI3yl51ZD3AUTar40rR9dc1WwGoQiimC3fpFoyKy8bZJix/i+i+SBNEuoqjd/Emu/PbnIQ7tZPknIOZCc2DtLtp7HwwuVtDem6ZtJsb8AfNb2DsecAi0sU5vD8xbWuMf9O0neZPTRtnRS+xA3oe9b1JDPFvwzzKA5It+2kdJpsKdQcO6f1wQaZ988ytMAnUvBNjEkHZ29d/QebSxXY2ebT/EhI7GDtDcgLwF8eo5mbCA4P2G10vj/Y9lA6pZm0ORTe1kxLCscGs98YIusiQ+fE0hpP5zWR+MgmCh1n7HDzsvSQCVTZb/eZBPsz7OX9Q+01Jw/18nyZvuJPfMTT5HdZ3TeilGwCuetpOsA3FHrCDF64QtzUPbWoRvt2F3wrAVLfjEWLJ/hD0jnNIBhFfElUYm8cwClxEellNBMI9FikWR0LFYuyDfXFYfNgdaGVefMPxjwSMxZFgsDgMGR9vdjCchy+28MvW5n3ug28MNOmmTT4J37H2XeowxBevw5Dfpb7GV4UCSrnsXn4o43cHyhoP8svj/lvyzXcKyOuD7XzQKG775pf0z739TtZi2e/U2IjmjbD9fsaisS+PU/kGAJHr+c1uaCPeU6+Mp2BubHa9d7mJNvsb/17YCDzhUA4Ap5jZ0Lg6yNYRr4j597MtIpOcgeDY76SGUYotypbae0k7quEQ67bBbVrLMKAaWDdakeifdnur7n8WgUjGPfT0tlP+IKsdlz9sR5PxYDB5LulxZx/bxhQGDyb+kIjkL2NO38RJGY1yceT11EJgad+Q+JC6Xk+K9TkmGCNLUdn9DwEn09gC/jgDPrrsvkLhB9TZT5brSrP2Nbw06X50YxslbvSwv6Vo5x3QgV4FP2hZdT+H0X2HHKk2Ihz3t2lnox+jRcCVJ9XAVmMQ/rDpWt7zGa35bO47jJ10prrv9GltkkZxWOWB3hvUHyTp9iiVlcH6RCcDbNOvKdtX2bNy701AAELolaIzGOIHAYwsxww8m2xCGXrafAfF+ILwDoDx4u+dFsZk6aWm0hKDXkgsLRUljc5Z+p3ccvOlmO5QGIanzwF0C00mSuBi9v/E96TXcF0jcqzzyXWHLX1PvUGvFWWkSBxlOjqFH19puUc0CkjcpstasjsVj8Qsbe9Q6KCrgOgyaE6B+nqHLfmLBO1aJupipCtvn197DQa6OjISgd4IBMTeVwSQaQ9bN18isN2O7IJyuem7CNj0ErNU/MNWR95e7Xe2HyXYuz0HXyewFZe/BHDdjhA1/awCGnJQ7tOHio/uEnu9HD+xwM8Bs0FWrFxs6A3b5+nY7yS+HO//vfiFYAsmE4wMZjJpKJecjdTNbpmMpk06y/HxsO9JwBzW8g5m5HwefAYi4Rop94ZodfWP6bufvcEvA/eAHnBR9kRFG883ABKvLM4nOdGly/Dfi2tOejEviKM7oZNY6BNiM94TbdMFI9F6IjEBok4XqrNNIKkObnraYtDQ+hMb9Z/YoLErnV/CuZYkW7B3Z4Hb4CZq6RMPoZm3/7qnAW+SusJQ/6KXa3qfBMI7SaXRIN7vvpUkceH0/9VFLJhcZLt8cydUBiypacq9qnv7QZH7gcsTDKkZN34KMPU+AgPicU85NpoQuaZf9dBUdfTrrQ4mjWBd5DUob+ak6R4+wHrOF3I7d8cb8i69wUSdyU6FATH9ephNdl4UIiJQjXfwXRsWzCij6PMc9NWIHhBsANUhFkSs0sN/hN9MH0rT0jx+EWv8qgS5E9jv32SfG+84ohbz8a/eYUDPoN6AzQ5bLvcILd12Gd4TOzOLOYYGwVDrvYfR2Gn/fPXjkJObyDt9DUYp2wfsVQfUy1YWBlKHdINNNiMmUwqT7Y7lf2ioGQ+WFMZ7Zc01mD2wGIstYOSpe29m94VQmG0AOFNobexkoB62Mi85MMsTUKDBnkkexWvef3rNoRiBsmVH2WhbjDpZDzdpE7EosizFeA15Rv9XlKdZFjmaa81ZbW/TDAXieMir2nojzG8LAiobg1Vy2mGSLdyr6fOeWb2V3Y4HZpp19bXn8P/KTovG+8ZWNHbkGIzbA6GBWfYHjTHzXpqRDnrU0Wa/AxQ5cuoftuXM0rDuGXGdimilvtm+a/o+bPE7VchBl8bG4e9WDegQek3jLculaBucDoifzvdaPH0UHdlCh4ECZnYwvjRGVIBsjA6a8dy7NHOauqipm8yfuO3L2Lb9+pfS9gWfJRp/2O9QBn5d/kUPWyjdSvizMwQDMdIzVAPrqmZbrRVLnZ7SnI61PGWPRL1v7iHwk5xHJSm6ErjRQzvAw/YA57rRrh141x1rFdD3tsz6MC8EjFMe25N7xTSX5w3PO8oL5fpC0SBw75GNB4P94XC92Gu4YnMFn18a2wIExcGhomnP4/5PfRNHlMkfaJCvnSS61LLahKVQ7FM+9uE7JG1ySy/fFF8lMQqiM6VZSODek/xE5MNvTZvpu46ELAlB6R9xYSzjsVyC3Dp6Hb7NB8Gulj1HxB5PBkSZnp+C0w4bN8SeQaCD3eihX4RvUwR64E6GsGjPWrMHXhRrtoywYTTeg93kYAoMPfpVFmyRTXzEPilVa8Mb8HSkEY1P1rfqm9+qsb+pzb49CxyPAY7AxW3+wH6wva1hzUvufLBy033WF/98NHuU3dMDrPi55bDXfa/jKjJODMSRuJZRAyYPluMaLfaydT+hdns59ugKgO1ZQtXe/qDwh7F3hPKR0SbjE7cZamj15GBvQyN3r+DEqs8jx2V30J7sIVI+iQawsic770DaJJ1Pb/a44VtQ/P9/aP67x/8GF8oUow==","fixed_dependency_sha256":{"run.py":"54d19a9194ebedee8b947dfaaf8626b1e4ef6f7d1b5aa12e738ec01a5ce401ac","par.py":"d81d358cf2f54303d120da34c01022e62428c2e9d6b1577f8c30099b2bfd1483","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","evalpol.py":"27fa051b1dfc3a5da824596c59ed5140823049ab05fd18185a4ece1995d65df1","real.py":"7fc9f4bdf9a9af094ec2eb0e9a8e8eec8b343c5226bf0ebaa30c798785cb7c58","tellpol.py":"6e62a0e070d9778537e746438f03ea7a4b44cb1d9652ae13702b801997db5f6d","tellref.py":"72679df55e2ba46a903075543654b685e7b2bf86dfbef3d5122dff6368d4a4f2","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd","tell_qm.json":"ad382c07e6c2b3a5a8055ea767e140b7461105f29dafee69b7c1766c90d0634f"},"reproduction":"Decode bundle into directory populated by pinned tell/fetch.sh (34 verified fixed research files), then PROCS=1 python3 driver.py; driver creates/resumes results. No third-party Python packages. Tables and replica are fixed upstream inputs identified by hashes, not duplicated in this bounded JSON."}