{"item":"wad-1","status":"complete","integer_test":{"words":"Use the fees IN FORCE for this callback, before accepting its returned quote. W=10^18, S=W^2. If is_buy choose a=amount_x, z=reserve_x, fee=fee_bid; otherwise a=amount_y, z=reserve_y, fee=fee_ask. Clamp fee to [0,W/10]. V=a*(W-fee). Infer the pre-trade input reserve as (z*W-V)/W^2. Let e be the smaller floor-log2 binade exponent of current and inferred prior input reserve, with the conservative boundary guard in grid(). Set q=52-e, so grid spacing g=2^-q. Compute d=min((V<<q)%S, S-((V<<q)%S)). Primary tell is d*10^18 <= (199*V+10^36)<<q. All operations, including binade selection, are integer-only. The additive term is essential for tiny WAD-truncated inputs.","python":"\"\"\"Integer-only WAD grid and binary64 round-trip tests. Positive normal inputs.\nFloat emulation uses round-to-nearest ties-to-even, including Wad::from_f64.\nGrid tolerance C/D is relative to V, optionally an additive WAD^2 allowance.\n\"\"\"\nW=10**18\nS=W*W\n\ndef floorlog(n,d=1):\n if n<=0: raise ValueError('positive inputs only')\n e=n.bit_length()-d.bit_length()\n if (n < d<<e) if e>=0 else (n<<-e < d): e-=1\n return e\n\ndef rne(n,d):\n a,b=divmod(n,d)\n return a+(2*b>d or (2*b==d and a%2==1))\n\ndef f64(n,d=1):\n \"\"\"Represent RN64(n/d) as exact integer numerator, denominator.\"\"\"\n if n==0:return 0,1\n if n<0:\n  a,b=f64(-n,d);return -a,b\n e=floorlog(n,d)-52\n if e>=0:return rne(n,d<<e)<<e,1\n return rne(n<<-e,d),1<<-e\n\ndef gamma(f):\n f=max(0,min(W//10,f))\n a,b=f64(f);a,b=f64(a,b*W)\n return f64(b-a,b)\n\ndef wad_ratio(n,d):\n a,b=f64(n,d);a,b=f64(a*W,b)\n return a//b\n\ndef fields(row):\n buy=row['is_buy'];a=int(row['amount_x'] if buy else row['amount_y']);z=int(row['reserve_x'] if buy else row['reserve_y']);f=int(row['fee_bid'] if buy else row['fee_ask']);f=max(0,min(W//10,f))\n return a,z,f\n\ndef grid(row):\n a,z,f=fields(row);V=a*(W-f)\n # Infer prior input reserve. Both reserves are positive and within a factor 2\n # in the requested simulations. Use finer grid when crossing a binade.\n pre=z*W-V\n if pre<=0:raise ValueError('nonpositive inferred prior reserve')\n # floor(log2(wad/W)), guarding WAD conversion uncertainty around powers two.\n def exp_guard(n,d):\n  e=floorlog(n,d)\n  # half-ulp uncertainty in Wad::from_f64 plus inferred prior arithmetic;\n  # conservative one-binade drop within 2^-48 relative distance of boundary.\n  if e>=0:delta=n-(d<<e)\n  else:delta=(n<<-e)-d\n  scale=n if e>=0 else n<<-e\n  if delta*(1<<48)<=scale:e-=1\n  return e\n e=min(exp_guard(z,W),exp_guard(pre,S))\n q=52-e\n if q<0:raise ValueError('grid exponent outside study domain')\n U=V<<q;rem=U%S;dist=min(rem,S-rem)\n return V,q,dist\n\ndef tell(row,C,D=10**18,add=0):\n V,q,d=grid(row)\n return d*D <= ((C*V+add*D)<<q)\n\ndef roundtrip(row,neighbors=2):\n \"\"\"Exists a reserve-grid net n with Wad(RN64(n/RN64(1-fee)))=a.\n This is an exact test of this necessary condition, not proof of arb origin.\n \"\"\"\n a,z,f=fields(row);V,q,_=grid(row);ga,gb=gamma(f)\n center=rne(V<<q,S)\n # Include floor and ceil and two neighbors either side of nearest.\n for k in range(max(0,center-neighbors),center+neighbors+1):\n  if wad_ratio(k*gb,(1<<q)*ga)==a:return True\n return False\n\ndef probability(row,C,D=10**18,add=0):\n # Integer rational r numerator/denominator; uniform-residue approximation.\n V,q,_=grid(row)\n if not tell(row,C,D,add):return 0,1\n n=2*((C*V+add*D)<<q);d=D*S\n return (1,1) if n>=d else (n,d)\n","roundtrip_words":"An additional exact necessary-condition check: recover gamma = RN64(1 - RN64(RN64(fee_wad)/10^18)) with integer rational rounding-to-nearest ties-to-even. Enumerate reserve-grid net inputs n=k*2^-q, k nearest V*2^q/10^36 plus/minus 2. Accept iff trunc(RN64(RN64(n/gamma)*10^18)) equals the observed input amount_wad. The implementation rounds division and WAD multiplication separately. This is exact for each enumerated candidate, not proof of origin. It does not decode the observed amount by simply dividing WAD by 10^18 and hoping to recover the original float.","recommended_integration":"The included WadTellPolicy uses primary affine tell and r, not a hard arb pin. Baseline measurement uses ordinary Gaussian+qm, with no tell feedback. Roundtrip is separately measured; its event likelihood r is not yet calibrated."},"tolerance":{"family":"relative coefficient C/10^18 plus additive W=10^18 in V (net-input-times-10^36) units","smallest_C_on_requested_callbacks":199,"denominator":"1000000000000000000","additive":"1000000000000000000","relative":"1.99e-16","exact_empirical_relative_max_with_additive":{"numerator":"7468599040050399778487","denominator":"37532867002664723453572615642440794112","decimal":"1.9898823715012634e-16"},"C_198_missed":1,"scope":"Minimum only within this affine family with fixed additive W and integer C; calibrated on these 32 seeds, not a universal bound. Additive W corresponds to one raw WAD amount quantum before multiplying by W.","relative_only":{"smallest_integer_C":678587,"denominator":"1000000000000000000","exact_empirical_max":{"numerator":"40155635369575488117","denominator":"59175377828028875603186332715008","decimal":"6.785868860233193e-13"},"retail_false_flag":220283,"why":"Wad::from_f64 multiplies in binary64 then truncates; for tiny arbs the discarded sub-WAD input dominates the relative error. Worst callback seed 66029, timestamp 3400, amount_x=1223543915186."},"sensitivity":[{"C":222,"arb_missed":0,"retail":{"n":227917,"false_flag":734}},{"C":250,"arb_missed":0,"retail":{"n":227917,"false_flag":827}},{"C":300,"arb_missed":0,"retail":{"n":227917,"false_flag":966}},{"C":400,"arb_missed":0,"retail":{"n":227917,"false_flag":1274}},{"C":199,"arb_missed":0,"retail":{"n":227917,"false_flag":653}}],"caution":"C=400 plus additive W also missed zero arbs here, false-flagging 1274 retail callbacks. It has more margin than 199, but no universal proof is claimed."},"callbacks":{"n":351490,"seeds":{"first":66000,"last":66031,"n":32},"steps_per_seed":10000,"policy":"real.RealPolicy soft=1, qm=qm_k1e-5.json; initial fee from reference init; returns quantized/clamped as WAD then decoded; incoming callback fields decoded from WAD before Gaussian policy sees them","reference":"https://raw.githubusercontent.com/gtmcknight/amm-sim/e65314f88de945f6d055bfc2aab01c482ab6570e/research/solved/real.py","streams":"replica2 Python random streams; Rust trade arithmetic and routing, not Rust RNG or engine","sha256_jsonl":"35666bf250565552893e236ec1c66ff82bc1a0a4dd408bd7c3c35dd116b2bef9","ranges_wad":{"reserve_x":{"min":"88018974653304897536","max":"114100914961519624192"},"reserve_y":{"min":"8764171613674172055552","max":"11361186652524243845120"},"amount_x":{"min":"1183016106618","max":"7977733186646063104"},"amount_y":{"min":"113200446638051","max":"931840000685517701120"},"fee_bid":{"min":"0","max":"100000000000000000"},"fee_ask":{"min":"0","max":"100000000000000000"}},"no_engine_run":true,"no_board_entry":true},"arb":{"n":123573,"missed":0,"roundtrip_missed":0},"retail":{"n":227917,"false_flag":653,"false_flag_rate":0.002865078076668261,"size_metric":"amount_y WAD, both directions; sorted equal-count quartiles","by_size_quartile":[{"n":56979,"min_amount_y":"171649522268581","max_amount_y":"2848483687042971648","false_flag":23,"false_flag_rate":0.00040365748784639954,"roundtrip_false_flag":10,"roundtrip_false_flag_rate":0.0001755032555853911},{"n":56979,"min_amount_y":"2848487303900981248","max_amount_y":"5860749440509607936","false_flag":62,"false_flag_rate":0.001088120184629425,"roundtrip_false_flag":22,"roundtrip_false_flag_rate":0.00038610716228786046},{"n":56979,"min_amount_y":"5860762408686744576","max_amount_y":"12242228420584069120","false_flag":138,"false_flag_rate":0.002421944927078397,"roundtrip_false_flag":49,"roundtrip_false_flag_rate":0.0008599659523684164},{"n":56980,"min_amount_y":"12243206469172668416","max_amount_y":"931840000685517701120","false_flag":430,"false_flag_rate":0.007546507546507547,"roundtrip_false_flag":215,"roundtrip_false_flag_rate":0.0037732537732537734}],"roundtrip_false_flag":296,"roundtrip_false_flag_rate":0.0012987183930992423,"direction":{"True":{"arb_n":61876,"arb_missed":0,"retail_n":113635,"false_flag":376,"roundtrip_false":179},"False":{"arb_n":61697,"arb_missed":0,"retail_n":114282,"false_flag":277,"roundtrip_false":117}},"first_own_callback_of_new_step":{"arb":{"n":123573,"missed":0},"retail":{"n":101839,"false_flag":293}}},"binade_handling":{"rule":"Use min(ulp(post input reserve),ulp(inferred pre input reserve)), not the post reserve alone. At an upward crossing the finer pre-reserve grid is necessary. WAD rounding can hide an exact boundary; grid() conservatively selects the lower exponent within 2^-48 relative distance of a boundary. This guard can increase retail false flags. Retaining the prior exact callback reserve in contract state is preferable when available.","natural_crossings":{"arb":{"n":0,"tell":0,"roundtrip":0,"crossings":0},"retail":{"n":0,"tell":0,"roundtrip":0,"crossings":0}},"synthetic":{"n":120,"crossed":120,"affine_missed":0,"roundtrip_missed":0,"coarse_grid_missed":76},"synthetic_attempts":128,"synthetic_description":"Four X boundaries 32,64,128,256 and four Y boundaries 4096,8192,16384,32768; four deltas and four fixed fee levels each; targets on opposite sides of boundary. Eight tiny attempted arbs fail the Rust strictly-positive-profit condition; all 120 executed callbacks cross. These are not included in requested-seed callback counts. Tests at power=32 or Y=32768 extend beyond the natural sample.","default_binades":"Natural sample X reserves all in [64,128), q=46; Y all in [8192,16384), q=39."},"rust_vs_replica_differences":[{"difference":"Rust quotes recompute k=reserve_x*reserve_y each call; replica2 uses fixed K=100*10000 throughout. Floating reserve drift is retained in wadsim.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs"},{"difference":"Buy-X quote uses net=amount_x*gamma, but execution uses net=amount_x-(amount_x*fee); reserve_y -= quoted y_out. Replica assigns quote new_rx and new_ry directly. These are algebraically equal but can round differently.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs"},{"difference":"Y-input retail execution uses net=amount_y-(amount_y*fee), reserve_x -= quoted x_out; replica assigns k/new_ry and new_ry directly.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs"},{"difference":"Sell-X arb quote computes total_y=(new_ry-old_ry)/gamma and fee_amount=total_y-net_y; execution adds total_y-fee_amount to reserve_y, rather than directly assigning quoted new_ry. Wadsim preserves the two subtractions.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs"},{"difference":"Arb side chosen by spot versus fair price, then amount and quoted profit checked strictly positive. Sell-X-out arb capped at rx*0.99; X-input arb has no such cap. Rust k is recomputed, same gamma fee decoding as CFMM. Replica shares the cap and positivity logic but fixed K.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/arbitrageur.rs"},{"difference":"Router computes sqrt(x*gamma*y) for Y input or sqrt(y*gamma*x) for X input, numerator and denominator in that order; MIN_AMOUNT is strictly >0.0001 for each side. Two-pool Rust executes amm1 then amm2; replica executes rival before own. Wadsim uses own then rival for retail; blind policy cannot observe rival state, so that ordering alone supplies no information.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs"},{"difference":"Rust exposes int(RN64(double*1e18)), not exact-real truncation of double times 1e18. Fee path is integer clamp then RN64(RN64(integer)/1e18); quote gamma clamped to [0,1]. Replica feeds and stores raw floating fees and unquantized callback values. Wadsim passes fees and public callbacks through WAD, including initial fees.","source":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/types/wad.rs"},{"difference":"Tell survives these operation-order changes: affine and roundtrip tests have zero observed missed arbs. Purely relative 4e-16 tolerance does not survive WAD truncation of small amounts (738 misses); 4e-16 plus additive W does (zero).","source":"local wadsim.py, analyze.py, affine.py in code_zb64; seeded measurements, not a remote claim"}],"r_formula":{"integer_r":"If tell is false, (r_num,r_den)=(0,1). Otherwise r_num=2*((199*V+10^36)<<q), r_den=10^54, capped to (1,1) when r_num>=r_den. probability() returns this rational using integer operations.","likelihood_update":"Only on first own callback of a new step: pi=0 if r=0, else L_arb/(L_arb+r*L_ret) when denominator positive; retain original soft mixture, thresholds and all remaining real.py behavior.","interpretation":"Uniform residue approximation: r=min(1,2*tolerance/g). False flags remain possible; tell must never hard-pin pi=1. The empirical retail false-positive rate is not a constant replacement for per-trade r.","roundtrip_caution":"Do not reuse this r for the narrower roundtrip event; its likelihood under retail requires separate measurement/derivation."},"vectors":[[true,"3841305462671297","383172584606654720","100028050826618814464","9997195703966339432448","1972400479382297","3251808303864512",true,true],[true,"20686838756047136","2061851708785979904","100048685168346693632","9995133852257552957440","2537701810399473","3056866738736063",true,true],[true,"4767137103045226","474964310824361728","100077576140681543680","9992248399324495478784","2170707981879460","3042197331680873",true,true],[true,"163841906389108096","16342323075670720512","99699431760457728000","10030147437576620867584","10155130421996338","36429553211259",true,true],[true,"63110860838618568","6284630374910193664","99889229271969497088","10011089356564052574208","7020207966567327","0",true,true],[true,"3950963852000342","392568509385455424","100048976825120866304","9995104715043067920384","5463678224865598","79328685763102",true,true],[true,"79842456902962272","7933809722453588992","99936379002387546112","10006366149969367269376","8367157896430277","0",true,true],[true,"100807137184964896","10006862014097350656","100036420380058959872","9996359287955269877760","7596282713169478","0",true,true],[true,"127573604795366832","12636739000112357376","100235532867223388160","9976502058652656467968","6042433513000822","0",true,true],[true,"62133160414393024","6144460708652332032","100297305304898093056","9970357597944005263360","5805639650105499","0",true,true],[true,"81033265575136416","8003114597435341824","100377877706684317696","9962354483346569953280","5687340694441212","46831474451614",true,true],[true,"8248748852519458","813998843415902208","100386079999942574080","9961540484503154196480","5631835215212710","213152825148665",true,true],[true,"15524564289813818","1531709315444459264","100401517967653994496","9960008775187709296640","5578035993573094","22519124290187",true,true],[true,"64277109654708200","6340764081573069824","100433665464978735104","9956820707183096233984","5585611861355644","0",true,true],[true,"4485407938643155","442329538709600448","100438127406382628864","9956378377644387860480","5231750391677559","65749842867224",true,true],[false,"29125123582517176","2866322315876049408","101155596151819616256","9885760531717372772352","0","7254565922288347",true,true],[false,"76494752394381744","7513365513963256832","101297586818298036224","9871903481706273832960","0","8549367789293383",true,true],[false,"85986532977571536","8452742974226814976","101189065522514771968","9882490710199296327680","85876438647103","7348702515362349",true,true],[false,"159289967963346144","15664169153812011008","101326380999186956288","9869098157251114303488","0","11096755758699838",true,true],[false,"54154653428113872","5329868143124389888","101272226345758834688","9874375592236390809600","0","9837608818702436",true,true],[true,"178609673077494112","17722817706588102656","100381070886161301504","9962037575132727214080","1933439524041236","3631914860358742",false,true],[true,"768670937123200128","75710943762538594304","100861629527367057408","9914573110566964953088","5588032097099349","749498249067781",false,true],[false,"1051769112870687232","106778576075897667584","98901284516576706560","10111092134828564283392","2698111904175348","3589514990376963",false,true],[true,"61192632327238368","5838474419446355968","102251469189526683648","9779810578041336233984","3034415717885319","2176479827951438",false,true],[false,"309669892071724480","28965069881969147904","103475066762243293184","9664163854058879188992","854761740295195","4468057807997749",false,true],[false,"133885070242172336","12574616060066623488","103238912589125156864","9686270175857485021184","3017834791916862","2328133732745985",false,true],[false,"177714037200644256","16363678715267635200","104449108449945796608","9574040552765678157824","1717786418749645","6213676368887922",false,true],[false,"70329372892715016","6495560813449661440","104223959653023285248","9594722780914735120384","1337168145975620","3925102969858485",false,true],[true,"185951459430612928","16901954506080073728","104657798229343469568","9554949721077013544960","6168012502651199","0",false,true],[true,"1626213655236756992","150559641706993713152","104148436083664306176","9601680424626632523776","11266296622073014","0",false,true],[false,"86090902375147488","8078631052170023936","103414919152613867520","9669784671245115064320","930974787196059","4384382109335782",false,true],[true,"2916982063026574336","268487887299754229760","105501938189600882688","9478498851868161081344","3720940994190846","1538572855485420",false,true],[true,"208714361958666176","19773906434398666752","101478684431499149312","9854286204065095352320","26313380527777096","0",false,true],[true,"105215636092954400","10117820160156043264","101734160704449036288","9829539980234685677568","5754847541004970","0",false,true],[true,"11439203847760366","1072022175198071680","103131885617027153920","9696322277219221110784","3342650859944340","1991752612292896",false,true],[false,"287599369208294304","27304256774403031040","102638215012902125568","9742959772578864955392","2496294120529319","2933402857775435",false,true],[true,"201778308290823680","19131676411241644032","102660219243027382272","9740871462905272336384","2688607351762240","3290590000070037",false,true],[false,"651698728786115584","62901368065953087488","101519815715287908352","9850293688519891091456","5860284511162051","1136528710006579",false,true],[false,"53874571693995680","5014657529620308992","103623536254890803200","9650317255533792329728","6257422446580341","0",false,true],[true,"205195656188244800","18521592882820186112","105340323471713255424","9493040908200067465216","338531894554794","5205029249724213",false,true],[false,"200603936900051840","20157633736354816000","99799396063099944960","10020100716518688423936","2823606104386589","2823606104386589",false,false],[true,"225049172770797600","22453494765275537408","100023533319334084608","9997647221753412321280","4052076821428718","1633863665350787",false,false],[true,"82184102025051664","8184143148564544512","100105480357775409152","9989463078604847972352","2884543091483227","3105122650589265",false,false],[false,"33139449974314060","3320149704620070400","100072340907801083904","9992771138643822641152","2058770601995996","3641301363334959",false,false],[true,"33623957682072804","3350125690434652160","100105901903953149952","9989421012953388285952","1872519904176250","3413182947923920",false,false],[false,"65442336030400840","6558616237025847296","100040459567922757632","9995955679522317139968","1619385282034979","3651634313140750",false,false],[true,"27863463968700168","2777988137151624192","100068269661818568704","9993177691385164201984","1915414140369553","3422984286048036",false,false],[true,"31393244663638796","3129320262885812736","100099615422348591104","9990048371122278236160","1512558963408627","3793999754128529",false,false],[false,"34261119510617276","3433980650848845312","100065354302837981184","9993468838111522848768","1352822825489319","3935275989677134",false,false],[false,"41137205089100352","4125138332334535680","100024217097748873216","9997578876550945701888","1627554257635943","3660457345766810",false,false],[true,"148695189494","145210146001772","32000000081731948544","31249999920183644258304","0","0",true,true],[true,"149142617346","145210146001772","32000000081731948544","31249999920183644258304","3000000000000000","3000000000000000",true,true],[true,"152972872801","145210146001772","32000000081731948544","31249999920183644258304","27963672434893504","27963672434893504",true,true],[true,"165216877216","145210146001772","32000000081731948544","31249999920183644258304","100000000000000000","100000000000000000",true,true],[true,"2494691356889997824","2421117550303697698816","33371234567889997824","29965927630445110886400","0","0",true,true],[true,"2502197950742224896","2421117550303697698816","33371234567889997824","29965927630445110886400","3000000000000000","3000000000000000",true,true],[true,"2566458974984044544","2421117550303697698816","33371234567889997824","29965927630445110886400","27963672434893504","27963672434893504",true,true],[true,"2771879285433331200","2421117550303697698816","33371234567889997824","29965927630445110886400","100000000000000000","100000000000000000",true,true],[true,"39096842980349544","2379051171517858304","128021425540123295744","7811192507668095827968","3000000000000000","3000000000000000",true,true],[false,"145210114276039","39096842982330792","61035076433747615744","16384021425540126736384","3000000000000000","3000000000000000",true,true]],"vector_schema":["is_buy","amount_x","amount_y","reserve_x","reserve_y","fee_bid","fee_ask","flag","tell"],"vector_provenance":[{"seed":66000,"timestamp":16,"synthetic":false},{"seed":66000,"timestamp":17,"synthetic":false},{"seed":66000,"timestamp":21,"synthetic":false},{"seed":66000,"timestamp":29,"synthetic":false},{"seed":66000,"timestamp":30,"synthetic":false},{"seed":66000,"timestamp":32,"synthetic":false},{"seed":66000,"timestamp":34,"synthetic":false},{"seed":66000,"timestamp":35,"synthetic":false},{"seed":66000,"timestamp":36,"synthetic":false},{"seed":66000,"timestamp":37,"synthetic":false},{"seed":66000,"timestamp":38,"synthetic":false},{"seed":66000,"timestamp":39,"synthetic":false},{"seed":66000,"timestamp":40,"synthetic":false},{"seed":66000,"timestamp":42,"synthetic":false},{"seed":66000,"timestamp":43,"synthetic":false},{"seed":66000,"timestamp":50,"synthetic":false},{"seed":66000,"timestamp":53,"synthetic":false},{"seed":66000,"timestamp":55,"synthetic":false},{"seed":66000,"timestamp":56,"synthetic":false},{"seed":66000,"timestamp":57,"synthetic":false},{"seed":66000,"timestamp":425,"synthetic":false},{"seed":66000,"timestamp":894,"synthetic":false},{"seed":66000,"timestamp":1063,"synthetic":false},{"seed":66000,"timestamp":1830,"synthetic":false},{"seed":66000,"timestamp":2587,"synthetic":false},{"seed":66000,"timestamp":2715,"synthetic":false},{"seed":66000,"timestamp":2785,"synthetic":false},{"seed":66000,"timestamp":3471,"synthetic":false},{"seed":66000,"timestamp":3681,"synthetic":false},{"seed":66000,"timestamp":4638,"synthetic":false},{"seed":66000,"timestamp":4833,"synthetic":false},{"seed":66000,"timestamp":6086,"synthetic":false},{"seed":66000,"timestamp":6113,"synthetic":false},{"seed":66000,"timestamp":6796,"synthetic":false},{"seed":66000,"timestamp":8057,"synthetic":false},{"seed":66000,"timestamp":8148,"synthetic":false},{"seed":66000,"timestamp":8393,"synthetic":false},{"seed":66000,"timestamp":8500,"synthetic":false},{"seed":66000,"timestamp":8911,"synthetic":false},{"seed":66000,"timestamp":9107,"synthetic":false},{"seed":66000,"timestamp":0,"synthetic":false},{"seed":66000,"timestamp":4,"synthetic":false},{"seed":66000,"timestamp":6,"synthetic":false},{"seed":66000,"timestamp":10,"synthetic":false},{"seed":66000,"timestamp":11,"synthetic":false},{"seed":66000,"timestamp":12,"synthetic":false},{"seed":66000,"timestamp":12,"synthetic":false},{"seed":66000,"timestamp":14,"synthetic":false},{"seed":66000,"timestamp":15,"synthetic":false},{"seed":66000,"timestamp":15,"synthetic":false},{"timestamp":1,"synthetic":true,"before_x":31.999999933036758,"before_y":31250.00006539379},{"timestamp":1,"synthetic":true,"before_x":31.999999933036758,"before_y":31250.00006539379},{"timestamp":1,"synthetic":true,"before_x":31.999999933036758,"before_y":31250.00006539379},{"timestamp":1,"synthetic":true,"before_x":31.999999933036758,"before_y":31250.00006539379},{"timestamp":1,"synthetic":true,"before_x":30.876543211,"before_y":32387.04518074881},{"timestamp":1,"synthetic":true,"before_x":30.876543211,"before_y":32387.04518074881},{"timestamp":1,"synthetic":true,"before_x":30.876543211,"before_y":32387.04518074881},{"timestamp":1,"synthetic":true,"before_x":30.876543211,"before_y":32387.04518074881},{"timestamp":1,"synthetic":true,"before_x":127.98244598767188,"before_y":7813.571558839613},{"timestamp":1,"synthetic":true,"before_x":61.03522164386189,"before_y":16383.982445987673}],"gas_estimate":{"measured":null,"primary":"Not compiled or gas-tested. Rough engineering budget 1000-4000 gas for the modular predicate with optimized 256-bit floor-log2 and no storage; operation count includes two binade scans, one modulus, shifts and a few products/comparisons. Does not include Gaussian math, table lookup, callback ABI or state.","roundtrip":"Unmeasured; five candidate divisions, repeated integer binary64 rounding and fee decoding. No credible full-contract gas estimate until ported; Python big-int code is a specification, not gas-ready Solidity.","overflow":"V<<q fits 256 bits on this dataset. General implementations must bound inputs or use full-precision arithmetic; Python silently has arbitrary precision."},"limitations":["No Rust engine run or differential Rust execution. Source operation order was transcribed and checked in Python; Python and Rust library exp/sqrt and RNG can differ. No engine parity or board-score improvement claim.","32 seeds, 10000 steps each, calibrated and reported on the same requested seeds. Zero misses is empirical. No holdout or policy-score evaluation requested or performed.","The roundtrip predicate checks existence of a matching reserve-grid net input in nearest-index +/-2; measured affine error radius <=0.108323 grid cells, so search covers this study. Unbounded extreme trade sizes or reserve ratios require a larger/proved enumeration interval.","Integer float emulator supports normal finite positive quantities and ordinary signed differences; does not implement i128 saturation, NaN/infinity or subnormal binary64. They do not occur in measured fields.","Inference of prior input reserve uses approximate V and a boundary guard; extreme ratios, exact boundaries and production range bounds require care. No natural binade crossings occurred; crossing evidence is synthetic only.","WadTellPolicy supplied for reuse is not scored, and no gas is measured. Classification is not proof of arbitrage. The roundtrip retail likelihood is not calibrated.","Tables omitted from code archive as explicitly requested; all Python dependencies are standard library or included source files. Reproduction of gauss+qm runs requires the two pinned reference table files supplied separately."],"checks":{"reference_gates":"All 12 displayed values match README Gates to six decimals on seeds 10000,10001,10002.","gates_rows":[[10000,"448.261189","443.455598","443.522608","443.663520"],[10001,"576.779199","571.463409","571.623551","571.977293"],[10002,"531.886497","525.168028","525.865859","526.411631"]],"integer_binary64_random_cases":20000,"random_check_detail":"Each case compares integer RN64 rational result, WAD multiplication/truncation, and integer fee/gamma conversion to host Python binary64.","archive_files":["wadsim.py","integer_tell.py","analyze.py","affine.py","checks.py","extra.py","wad_policy.py","real.py","evalpol.py","replica2.py","par.py","gates.py","run.py","latt.py","REPRODUCE.txt"],"commands":"See REPRODUCE.txt inside tar. Individual measured commands completed well under 8 minutes."},"code_zb64":"eNrtfft32zay8P1ZfwVuc/aItClKlB9JpNDnS5z08W2bponT7K4/XS0lUTJjiVRISpaak//9mwcAghT9aNpmt3et08YkXhwMgMHMYGbw+sWr1z8+f3v6ws03+X/9Mb8O/I4PD+kv/Kp/Dw67D9Uzp3udDhQXnf/6Ar9VlgcpfP6//jN/r7b5RRKLAwFoiCdBOhHzaJQG6VYk8XzripeJCONZFIeOGCeLZTQPU0dMwmUYT8J4HIWZSFIRh/lVkl6KVRZOxGjbyKLFah7kURK3gziYb7Moc8VZMJpD8UkIHwjTIA/n8I1FlOdQJ8hEGn5YRSnVF/lFCElZNIsXYZy7jTer5RJKL5P5cBFN3PcZQAzQig+L4aUXto44ZZomi17jIs+XWa/dToMrdxblF6sRQJWOkzjHpqAP7Vm+GF/G0ewibweLRQuAbYfHRwfe4fTRo0n4+PBoejzpHB2NpuNuEIw63vjwUTcYHR897ITtNMzCIB1ftLNkvg4n7cabb592j47fvP3hjQhyABz+efv6e7GM4gy7sXDF61UsrgAQeI2g+9DHcZ4AfqHP41WaAlRFYq8hljQgB6L1nZgBkjJ3uS0Sr4IJgAtJ4vgYVoo46ArXbY+D+XwUjC8zwsO8KE7I/yXE8rvFMEmPDqYY9aZTGPHSl8cXIdY0k8JNngaYcposFjAcmVgEWzEKRRbOcNzCSc8A+M3Z09dn4vTHty/PxI9vz169PRPnb85evHozwJkVj6GvMfzf+L9vfnz5vYhi+G+chkEWxTNoEOZFkk7CFJqfJmkoewZ5MK9gsqSAY5p8XsdBvGR5uMxEGIwv3IaGHKZpCEDGichpKvZFlEMnYHJEGUzMLldNad4G81aarOIJfn0cYDZ0sOF1H4lsG8O45tFYjKI4mIStcZpkBGUAU3mxzDNhed0OTNYsyqN12FqmyZQ/NF7hXAekTcLMdhsvcAqKPIq3RqO6kQB6mYbvYV4Ua+I1ECvB7bVU+2K2glXrNgBXc+xkRPMOJ2AMFdNwGsIUG4c8BZM4FMmSOyhgBc6HKaz3S1iSF0kyEfDPpQgmk3DSb9BUpgRoMRhlOE9hVHhAmzDWMDYrWq+AnjkRiCxB5E7DkEAA+GFIxDwYhfOsAVQCwcJvuuJdMDmDh1fJPBoTxIFYrkbw0opg2sxgmANY8NGYhkIkUyYINClF6jQAA+sIgBQwFaCH+BUkVn38+iyIYoBkjJMEcmeBhnRBPYBFNw+ihawcAXF59/S5kJ9lrE/CcbQA/GR5CsOaYa/V0hE0O13xPApmcZLBgGH2eL6ahGI6T4I8cxqXUTxxeMoijcrTFeYFM4e+qFachBg6hvNyDV3GFcNIWhJe3AbO7CSNgPoCNGlIGBGvX36DkIXBQs2RHLoMI4ZVAROY9vLHM54rTLoJmIzbUwieHh+KkKg0ApVlqwWMGiA4ykM9dQGfKSJiHcxXYeYgerMgX/EKgRmHCwRwtLRs+BA0gEQd1hcQyDDLW7M0msDnJuFG7LdbXYKvmDWLYAObxEKOaiNMUxzLYBKtMphjmei4XufRQfdAUDNjmC0ZTTBsRH0MJ8c4WeO4YXKWryYSazjNeF7F4TjMMtzPghRWwIIWGdCbSYTVHYl7mFEwy+C/ADaWdOQ2/mP2f03q/8Bv3ML/eQ+POmX+r/Pw6Kh7z/99iV+0WCZpLmj/RwYKuKhgjEsDCBtnfS0TGvJdUpAhrTFYqWdACK4y/xybcIEGTjJrYxOt2yDpTIBVtJq77EfTHjQWvmrc6th9YCGz3H8Je1SDCDvWxqaBKYqmIj1vIhVtDuBV/Ox8cCb+mYvEwUrt/rpoaNKyztx3T558sJ2f8V8oDbXXJ4vewl/Lb6SNU99auJKMJOme19nb8x7tL1xgaoEnjTGx5dntdikF9tjczwAH4cQ6T0UJSPxInOQFmAPnMtz682AxmgQi7QHWLMgLFkA08+G2ObDtxiScItudZ1aaOWMbOgYfWKUx8IPj3Ir9OWAuzWxnGsyzcIjN+kCnoXuIeit1xg7s1YCFd7YBSwYNJ6vcpzZO/VMnDZEVX4dDILmcqvvtw0Zi4sF2jN7KTCMFs2lr9GEzSi3a8KyFbdsEBxZHWBwgoMCmZ8COEbiIFQ3yaR3IEn0adbZDm9rcl8gJc+fUdj4An5OD/AFTTaefE4rC3N6L2u3Dnn6zon0cvcMBVOSNnj4UxLPQOrQHDk8D+pewdd4cw14dTXADaw78c4m88Y19GX9mX8Y2VxhjhfNut+t0jzrOQafjHML/p4NBg5bSZLVYWgCbo1eQpNWY23SaV03bwe01zv2u3V+mOMN0xYxq6mz72g2tEBH+ZfT/+LDbrdL/h8fH9/T/C9N/J9tmziLIL5wcGOTP3g2IrC2AJ7WW2BbMQ6RsiOXcx4Zd/Mey+7xrDPpAloiXu2YvwHxcZ0ZuQwozuC7wGzZ+eIr7Ai4rlEVwZVGCSH1jX8Isu1/ZPKjUeRPfhh9g8X/ow9skynJ4nuDzz/DwM5aq7kJCVACf6C2HC2PuiepfT3eU/tVbERYudXDieNhKSycc7v3s0A51zE1LjMAfix+REHE/AKcuyE5hzD1jqtDE3oeTpkP0EYrYTjMLkQnOmo4xJC0aJGc6X2UX/hnILdDCA5EBwQeqm4tTLTwgzw2i9v94j3gkQDAgIgks+hIqg6wLkGtJWvH6DYG7rkRCzearcnb24JoM3bXTJuwpTVWk6chNSb7blAXYMTIQV0A9EftN3gjKPQaS79ft7sXO3kc+4HYGoCGqbAxm4kKBCaXnmOy+eOIL63SPp5v95IkxI7leivPxzC2ELpq5kxm3pMTR5qD/iz+ZAaMxBWlyuGkOJOhRNhytgO0QIIyDiKtLQBLsHSHVYd3KjZVkka2CipQfABiSDXeahpul9Yt97g3+20yB9jENajwAyRlVXYL5oNbfWLwj4oHIyoiKpCNHKhKAE0JJX1CvBXbb5e9m0S8Ehb/LVzWEyVfZhPZatgq/Sru6HpUSG+VoVKtCOATlIkr3k6kiEh8VfgwBcJFxtEo8odEPu0/sDdDDxi6/Ql3I/LvwO/3M1z3vZ+5qiSyNBYtmqDBEfFqanXcGxteB7G92SrQ8s4iEUFGXjHqVreaS09TcvV8QGeQ+sWGmenWs5w4xqOFAa1Z/PSOq1rxNLKjEAzztsmAmM0lPxkASmEV9c5lDqlwYcpir3F2JJoR5tbAt+c6Pl701Fbx01qRTw1Q3ysNFZtlY6ZIoCXKHTCQcJAqfHEmz/R2SrccCaE+0CSfDPJkDPuMxc7NyThX8puI1j+D/Y/jf6xDjyUvlunbUyGve2BwpJmI3s8t2CZMKdUOSbiqCjV3Co20bHVyTplz164HwjljFppVW0HbmQCo3L6h5UsDJVKlS5WxM0mMvrKnS86UhcjCQaAPBmQElWAKvImomgyT5aowdUT8HJH1BheBdasgyd65VbFGqAOAmC8PYz8Lcsnn8qRtYnPuj+KVUJ533vCNmbJBMITlDxWFz4CAoMN1gri2W/Cppxab0xtSXWB9oAJtFEHp49hLFqxCzMMGFHRgJIbCA1TFVc+zc2HwG+/B2yST1kheF/rpTfNpp4tlMug4pWT1jOuwjw1E0kU9BdinblPu0oxE9sGu2bOgMk9kKqPaJf9zpjdIwuGz8RoRdj69/e3QVjDjKmyiTMi9eSLAMtDMthFHFuxnCapUicqVrSKLqvmLigDLqtkusHFQbDuNgEQ6Hvt8cDnFJD4fNHgknIOy4QTpbA2Pi6OfuwG78Z8l/+nTsX6f/PTz0Dnb0v8fevfz/JX5fffXV8xAEAdjIIxQgxDwBVk4e9/aLw9K2PONvyyMldVzvQgNKFwCcwiRZsArhNymUqR6fNKpKr5Jk7mD6cHp86OQJ/mFVQw5kFt8sUqDGIBARGO5r+mMdSaI+LDjqLs4y4qpjHyq4WIFzPJKzDzp2f1Kb08XWROCMQBLDT8YOyd0BcDxGxywoYPuFQM/8qX7FSrZR7cyFrjKTTHk+CTV1lfa80HuENacV6DqsH3gIUkCfoZsFi0VgTe8Anee2+FtTuy3bl/IS4anRGM+hBfE1MoQ9Fq6GQzwoHA4tkNemztTuoeA2daf+lPMxl/LsnmyK8x3+w4WSeEhH4dzIHtDf7JriNMwjlMaCNAozHmjWHvHYZigj0t7wN9gV/s7aGcxYJlch7ebW+UHXgYnjdR853aNjEnCxFuwLf2uyeHt+2Hl87DzyHncd7/jg0aFz0H14/GhA84Qam4TzPGAeem+v1T108I/XddyOd3TcPXI8V2qFsDAKr1i040J+5wD+6T58fHxw/LB7eHD46PHBUefQcT1ZAeBM5j5OcYvQbEFtlD+1Mof1PiWge1jH3fjUxRbBtue5Xvfg8Oj44aPHfcre+l543OaS3AR2tSfzbqy6Kapuueqlzxl7nNif+V6LF6JFKdORBBMI6izMufl91fzBQ/0B2Wf/cm/WtrjwHv+xa8alVKBtQSW7QBps2yNr6XiQpA89YkMEJXYYpJGOw8pzJZ10Cum+SBonQZqFQ9K76MRwAzwcnTrUsoeTOv3LreqXHe3L7cqXiu6FOnYntUufzzcYEc3Bvk+P0ASll9CCuSWZzXv8WB9yqBpVxBWVKrop0rPCplJStY4/+EfdFlDPeZKk82RmSQVOwY3W998oQgoLCRHIab7185Mn4w/2X87cN/3xxIedDJjOBZR404K/9FEaWH88kcq2J75lQdf2ft6HZmSaTY2oTu5OBdVNzikEAyquJgmq7h6RvGYVZdEOpbZk1+5V0koytlKp+KlDY/TB/6Cm6Ad/rJ9JjcXPuKtIak8Nx83BiY/GSAhReRr4vipRZFbmgu8bFXdHHbJRua93C3y+luU2lieaTaXb48Mh79NDZjX8Yht3tDXUsCD6vkn/oZvXHJFJdvZ3PSL7X/0L18F8mcz/hed/Xufh4cOd87+H9/YfX4r/RwPVQLBBq7AmS5gLtliG6RTk7FYUT9EIjGyt2C4NGDe2UlulYUuaD0vjNLexyoJZ2DONWIsJJp7gX1x/J+cOPnf5xXXdgbhI5hMhf2SuJlAp2XGBLekcPnTEMiDj4LUy9Urw7dunoi2wYgLM7DxkUYW25oZs6jZAxCKaiPN4IGp/kLlMgGjA11OgaTlamlnzYCHcRw6wKbNFIB67h0f4/EsI7LKt4Hv+qpmJ5Cpm07mGISPhGatI4H+SkvjcVdB567cvXr8QPuS5eKbpTqIU6ail3oNRhn+t4XAazYG8AsFCtQXlRTHSfJACBDZis/wEMCvhabkIllpI46HqoqT1utE4ffr9d8+Mz76H/lrYiiOasAFFoyFQySGMwSMmqnZjOA6AykKVj58azJrj8SIfxPbU0Se+KY0NV+jJv+eYNYDq+lzWKg5ymbOTG4pZvqHEkOev2GqUv3QVxHk2fA+tocaHknblE3HmoCXqMI1gNEg1xO/LiwCYAlIV9RrF3AOR4wwb7PPzuw6+nDffdYBX46SX7zjp5bsiqSuTujrp62ec9PUznXQqS512iYczvnjBGd8OR8tMF3/X/V5+u/u9TtQ9gSz9bORRr2QePZc/BEskg9xzC5p9Cl1ysP1nHWSpBKV5Ks0r0roqDR7sgUazFvMcsRcYODSFuCGaA1sdF+Ym/2MXo7RMsq6svzaqI3ZV//siVm8vu7oEGnThgem7886gpz4HzZcLnGCBWLSEVxRiSZcSbV16njjiIoLvAHyUpXOuLmCtYV4LCokT4RVQSvoAtSzI2odCtmi3RbdUAOB4dw6lBgjtuoeN+FirVIhEMgbAzJIQU+PWGiB4dz5PBvARYb07v4gGOqVAKOGaEXoF/3WBbF4YiH3AqbgmYZrp5KeOeKaQjNPjfHlRzM7lFWRdwUflNN1Xq8LENRR6Ijo9LlwZB0g70csGcCtL8UAY6cZw4CoBMNU3S63BQoFP9KpYhjpPREuuux43oV5ryp6IctG6kkvMgNx9lQtzEZO6Yk8v8H1jrtAw7rbAq4Cm+hyYUG5jZ0JDGjKnyyso8V69dG2z61EJj90eVTISzLLvoSx8iIphc/ysS0whCUahJaK+mOEzZr/X2QFO6qfn0eD8/QA6a3mQO7Whs5CGXZbpkCQzZ5gpa1CBa2qpPKo5098b4fee1Xzv2Y3fe3bN957d9r0pdtBzO1CBxGUUlltWAK9XWNALW4ekiAgAi1csfpqTejqqqz6Cj5Wrj6B6q6a+IkUjByDRi7esDhMs/Toi2MD/8Dd3BDxhAlpHLIHlgNX93ljcuKgIHBSqt7B4NvD/kgE6LEp1zWJZt64MrjHRIQSkIwYfkEuzCqiYxynG3Nwl9wXxkRxCuLbUBkFGYcziOWI8xenHSMBNt+AkKAlYD9yrBlqrlslDsklm7DZQ5LWbrmILGlTsgXVmU+s+/F9ACu0pCRsLpyB6T2Yhbm6kXsADYfkCPVfJa5WkHqYqaxqQGa+BA5KBqccADx69oo7K2ekzGbbB08UqvvQfScSkIW7MyKpZ4dqBHdqodR71cE5ThQE1sWPWCnsXKhmouC3btgcl6D6mvF9S1ZE8ZytUWiPFz7Exw0TChRswtjwB0rRAkrNawDNMnJiyM9oCMZE2qQXMpj2gkdgqHeVRUbnjUl7HPTKBWjjYBLSm8kpKBKT2JTWCnEGIKuMEz82Aqc0tEPkRyGQSmtldnj84FJBM9uWSTCLv1zPpJleFT6I40ixTc5ZKABdRllvyUABFFEegiPLItkul6Uh+h8klbtsGGNNwyhy0WaesXMQyLswhGJFgNSclGboW4dz7+Mk+14fNyEunO+0QAw5NEbLKHSEVLXK1pjWmnH7XTVt7pwU1LTi7j549lMTGTVGP5gk0ep4NgE5XVm8xfUr7JSlops2PShhB1zISgogkfOoJXK7iI37K8uyeezD9pMw8OLErE5FwccqBKraWCYeQ0MEiKuFIJoyiSTvILpE1kjnHkNOdfmrz20N+E8L6aBrg5B2qntnNXRzpM3iryRJqE6Sqb5/iv2dNe3dUiKdEjOP0lRZFjEEP2T2YEOeXA3yVdKuC1YFd26JCKzyCePrxsnecfYIe9vYJMfCxj8C44LPRg11mJpZciV5WBwNb6UBVmg073oHcH/Do6Jblc8DLh/4AdYsrS+gO07hmzygtwhvnNJNiFHBQfJciDsxf+UTyfXOgdvTd1q8dqVtH5baJjq7EUc4ahEL10NM+gDB41bGDVp+/YnWD+Hh2/tXsq8EebOpqXK/X/0kn3j9Sx3TL+X/3qMhT+r/Dw4f3+r8vbf9PKqmLILuYR6MbvL3Kvl6ZXcz3m3y95gFaPn7C0yj/Y3MaoeVO7yMxWvAnbvY6TlMeLfQ6nxzFjum8wgkK86EAO81HCWR/hFftwDP0Hj/iJKIyGT5/MjzKkIzgwvT1DtrP/bLBVp/A8/MTBNqdhTntck7H7mPCOb4M/LxBdsv+NYdlQBqpFSRaGR+2cKcHzF2WTMqZZmoWtJ/Rycy+7+GTxEpdBQMp8niKPV93SmJyxdGJ8MTAFGc6O1abUKjWy6zs5NQoncKTiu1rBA3Pt4OyqXxWOd7zfaqHB02Ghf3ozpWqNvfUyWJuwHaZpxaWtgc+TbchTBjctALbMfveq+n645quYzVpuSobGtnl2VkyZa1vBKsUJ2pUWdUzD1HNCjyFpUXfdbZ79ZZ+NRZ9MC6wV8BK5uPXy0FpcOWZsVw/A8gG1C0i6C9ZZEexhZVt9q6QicFGJn7ieYaG33R8egVMa3I1ZN/u5oDkzw2fv+qDYZBL2tINBBG1190z8rxB+8x9UzKpV1NZUplhdhF0j45hXkjq5XKCdS1BArSNmrabhsA72LZ7EW4mEfQVbWWvOVnkjfJ/3cGiijHyL9z/vaPOjv3fYffe/u9Lnf+9CtMWhaugw3MZ7YGDVQjkAaTYlUwpoIoRUqQ4D1SMafnkDnm7uiNBNeeMYzE8EQMp4vc8BKs976KTMXkSqE7HlM7IIVGiqBeAuDAP8pwrYYgZmfVsDou70dDCR93ZmRmrqAlg/vTDNYdspRhGwKlLvzYaEFE6hmXZYRassiwK4v3lPABiaKZ8WCgNOkAdjUNIaMqtGVtDOVRpLHDZ8Z+ulEODQo2GvI6pSbOVvNlQ2lqzIGHDovAzr+EfVcsRH5tZMgUmD3Wln+xKK+PPaYXQBY8//bDT3qS2PUSE+z1jw2zyula0YIaNgEz1Mei5xyhcfRyph7F6mNBD809uN2Ly93/UNnAL/T/yDg+q8d8ePryX/74U/f+Op0ALIxIJjIZEPpnIWytTLfa/bCFXSubWmSteVWIERfFyBemNr/FcT0YWQpuRFcbOktWTlowNJPIozPA9XIexIyMoYQitd8Gk11NW3m7jG3IOVT5o4rT9HIP6qIAWkCN+dnQ8KwAeo/dMJgwXdOR/gOjP58kVVnbJCOOddFRrvPHf7b1jbbe2RIydie/ZHG0kfuJ3eiINIpCdfsYN8QUGKLKa2suM+0tRnFBtFvqxO4ryIcgDM9if7Nak9EptWrF4IiZPnoSkNwtP/I48XImfPGmFmGfDVtvyPW1SF8qzhDgk+28UppyRP4nWi2Qibc9lyWDf6u6NTtASRuCT7/MIBn/p+tApW3aVTda5l2j5Ey5Reohz8folZrUn5L7D7tvK2Vv7ZmLcP+3xR3b/hCkfMKWO4B1PYo9OaBFY/GQLQe3LMi1IRXyZaLdbR92GQopqTPYa8QX/OwVWKANRBhXRVb4l0aRM3uHTU3KO7zgoqrxrg2jhTMk2UgI0ZSt5fIS/e+8KPGLSCEGUGCtb5veKJqhLupG9d1hDD0a7PZIIj8L5JENbZKwLoqsPj4UY2w/YfxnTCgcxOjtcbaXdq5FHfsK/FFUqNrPlOqa1bH9aVFLCYE0VLR1ihVoEqg46vzjSLJ+FNO4fJftGn/s/+8Ge9a41pUAC38VTCrUV4cEVLh8hYXTFsyS/UG8c1qxw54RZjF5mKHqLaYCuX3iS/QDZGTS1QkcUICnA3xRRJ4E+vUWnzygOU6ZmVxdhLIpIfTJ2n4uuaKH/y9671s80/+ANF/7uuo+T2Fj60A80P+OuSLCb1Eea1RZM664FU6f9DmRkDtBH1A1o6ziJMWAZkUYgSykGb8sxOBl5uJPJfCbyq8RlJ4lwsxxSfTX/qiuHnOovgvm0tZovS00CfkrklEMzVIAvgqL1qSUAD3vD9DWJwxYjSkzSZKmGofs/rcNHBRVGE28iz4l20ti6bB9Ny5kcAPy4ZdFSbsizBU7ldQzUEpVkIKMDGS3TRsrnxtiRwIIFf/jIfuJT8R6Ty4JeAnpwyhZo+8V5ZzvFKwyw8wZnMpmhhzToH57UjThNG6gISIjJnJo0ThRjTkwSPJDEEX/rY8SPPpqhv/3Lmz6ZuysDdGV+LoFT5vDKawnVQ8mVc+o8197Tk4lPfkkcoUQvrSIu1N5zihNhne79vA+l957bFG+Ed4lCcQTNxmE0uxglaeZ3JbF/sYGPY0g8OWE5QF8c5kLGJ4XZYsl9gP54LXRDsW0/gOE8w+ClGFEvltsD8gEcmjHKjCh7Zmi9JDcC66UjGcvQJWhqqQV0e1h0uz8LnNnILzyZxhQi0Uf6j1iHgWSyouMvUnxFjBYYzTn24lUiNCJEGGFUSlZTAkSSF3EbxTEdH0sx5eOPtXR1W6bs65R92kZxBhW7xOXebORYFL9lbxbYvh+o7YwNFOULKUd52ABDo2AUzaN8e+18wE7yZqxjqhj7ctvYlvtAAiK02IW5Bx1dhRhJM0020UIGbRQVJDeUu7k5ISmeTGlTj/3uXnXa9Sf+8703uk/oIkecTXwCzIfkbJBC/df979/3RxLyH6v+u0X+63a8A6+q/+sed+7lvy8k/70gev4s2GIwb+SygDUYh0qJ5JAmTCQj4gsohDdFBm80noXziMxYDBImFmikjXFZMWIrktmraAJ7y7enisUJxCJZU1hlIKcp8H7iBWoVgZtYYgBnjNxMTBK6I2QqcHbYIJhaUDUUlyHsAPM++ixgYRWBCg/LyYJO/BKmCccglmBcUTRiCiIM29BVsppPgGdCCRLLc+hcPq3jlAZuWNw6BZFdRBsgcbRrfAUtfCWsJe+CKHPmMmZvlrf48yPcelCpZNMm9BWfFlGlKKbdByvESYtCiOCesg7mttO4wo1FRnsugjIDgl4myHfNOLRziv0MrtAmMEsANhgm5KrZmIuRhnt0kMLgwHa4GEWzVQKMH8HmNn5aJbBz92AQMB5yC7aF8QW6faCJC1pi2QgRh9k1mMkWfDCV/hUg5CtbRUi4DDONiisMGU2OjW+ugqWYhRgLOwtDoWJT0yHfKkYHE5g/u4phSYxM/wxU//YwugbgyHFdV5wvkjSU/hqhO3PVPO19WPglXeoX97qoVTgb2mSpR8bVJFMLTScaS0aO+KbriNff/uiI758Pf6B/30DrHXr6+u333zcasJB80XWPwtahaVHygGa6XGwof9iNl1jS63oV2xMuCTNgv+UddcgQ/CUag0FxMl9/8903bMTd6Tw+PJIWgbzkrCyaOeJiLDXGZIMXzUQbkvriB2kfRMalyIFZh24HTaWl5Qzap54X9rId9wiNdi/RyptNBu0qH9YCDPyAJrzS5SCXxodXJaPG8zU0kRf2hlcDqNVo/PXFa0f8FYGSsEO/AJWntvYkKauFi6GQvav3I0mWHJXQMN4qarq15e2yA8bYNMD1OoBo2xwcSJX0F4gNjenLTrmBV4hIqIaWSS9PpefHq/OXnQGbJZdLz5Mh2om/7MiCF5F8l9/LVkuaiiS5wXIlXVwGch2D/UC04KfWGHQn08iZRNPpKguln7/+6itllf6qL90diJ02oGnBuNh95fAQWzDzWsJzDPj2sYRptVvqcsM0EDMsYPUXyk15FUO7ZTSE5l6dR4OqYwDmoIVzCCujJ8ywRfr3HpcKd6FRa+knI0wAoH/9oebj1AbahaLB2+VOFgDRQRDeiyfQ0R4ZM7wfiH2fYIM2X7w+vxzszgco1y+N9zwpj/dFpMdtvFJOO+z3YkAIFPMyhE2PNMG0k9PmCsP4RMxjsYQ/MGpW3fbVl+uRt93LcJlzA/K+hjRkPXGE+hcS/2qmy1g9AznJk7ziS/J5ow0YxaEmrxG3c82obnBUx+hTgEP7Ei37gT6hXfy3sMA2HuRucMC+PS1VCwjRZASJzkEbqbPYwFobEc4xC/59gk1wlleeNWg6PYKvBWgQW2kdDYhwLhDY3IcSPurNNIuaSAtkxT1fTHdNgAHD+5WFIGkqZOnpguMm5wsk2yVzaWyCF8xBp9MrC7d1AxzFa+k60dbfYAcsaZgtqYK20f7t435C+NvpvEILQFSHPsp+QpSgey3yrx8A5WiUIMuGnZGeX1FtSepy1LimYi1Sa5HgywVdHc2Sa+QkjJWL2MZAGbCvOBc3MBd5BfKEBMQa209kbvGs6YR6aM5OUgA00Sr3A6d+R9D4nRCHQf5fNf56SoUg97Ko7NCjUg13Hr1aKNgw8bLZTTvRgsfv96MrC7V2EFKmGna/dk0V66RYIoxjpwTHQrR9LNkX698FwvUuhIV/RqMoxV+t9eZBkrggKuhAQfxL/2jEpyELcXJCjePwqrybkLyGG4JiIOgGD5ASJGcD/COqJHOqKig+c4AadVQ7U/RFc6vI0C/JopLlWVo74r8z13CnfYRXEeI6uyj8+G5aLu8bd9v+y2vimkoAtVmRl0tReXoT34B7L6K2lnuULFylMyZHl13YNrn4lNkOk70rCwdFKVl5X7mAklIUA/TtECkN6KZ/N1a4zBOV+V+DItLJjvqeI67+cLpI4xXJsSpo3j562upBLgO/kBiRUzWqIhpGSL9jds3niulRJqjys9ObP0gDdPNHizGUYoOyuvzVTo5010VFzkrUECbFhIAkcnXUKRNc9LkarRzNtQtMZENkWf26vZSVPz7Wh53KM7Enk6rOYDgZYtpLShlS5FEOllgsW9KgksMof2xka/mnWrJdLhlU/E6SSzPWgUnSjPh2OHSTnFfdQceuEUGocSXA7fqn0FeojOb+XBQbpMBg17FMeIaQXPaEiohaysSMG745X8qRKdBRgzLiKGjGMDNtFL4FawV4O5A/AAmF1JiTiNRgySScYzB7UozZuGFThGXUrIRKhakUiWg9DJtUPXaRhHG/YKyXUUU2v553nEtUMLqQW5Ot7PKeS5z/CfknNMlxgBiK2tHBstewwsR7LGCDX6uvKn6q3p1MASgxDi2joMSp+/ShPVRmWRJu5DkWSDUPO+QYLR92mkYDvmCUWaVRlauiZsY9UI5/I7QNuuiJm5Sru+w/ibmKWTjvDVBXgTRMUrY6pmCnkX9ocbVYGjXDiSGdfSi8p4YqvUiapOazFaZ0n5GiThyUOx7TfopqQEQZKgLJj9YsALUpfde9jGQBQj5UUSNDkNAiqibBxOAV5dVIOLh6GW52YUTfFQzj0dOTmuRNINi7nu5awsF7RfVUxTeaqo8fP66drEsSF6gSELZ/GCJm7YSsLrcaIY0bfaLc9rHpG9oiovcP+1cIew/UEUGPd+9lhKMjZygeDYRkbbGPUMCYU0whUo/I04ObqMmtYJU539rsO/O8WjCWq3sZ2ddJtzhKqCaRlF3LAteNQrHvSIaLCzo739D7tPrC7s67kIDfQrIeCFrndPEgYfsq2NI1sZTEjil0UlPdLZAQcbsG43cClIvkn2qPuaRiju4I2zJU+x3qw2UTVTiY/nUvgG+D8nvim26vSPNVWmNnsusyJ1imXVOvXa3H2dt4HE52WCS5f/LA7MhFvCfvLgz0NEMc7G7lu1+XTVGVJxrUEtCY16+AucMJ1S9RA5JvurvMwrWQnPwGSDSHuG/ykxxfA/dtT48vFjICa9wUUIZqVjT8ernwQyXcE3LAyBIreGnXKwUNMXZcWyFlIWOC9DlgiFVhU7sXOyWN6CgOB1iRRCa5XC2LgCDyCM7NPqQy+s9aNlA5JsFm5PiQZf94HiyWUwsmj2O8BfY1UVVuDSKhzuVWsY4pUQ4p0TCd3pPMDeN1lCYxb2Ev37x48Rzd+DHyQxO5+axzTVEs2cGi5HrRlKwMOWUswzGdEHEkjmDuroM0CkiTpWNX9AYG+16N2tCoRJvAs1X4f8iOOVZTal2a9BXHdL3P8ERGOt2zU3zRGDtBYFuoj7EYTAqnC+WnzWvjH6DYVgTfvzet+VP8lkH6R5v/3Or/5x3u2P90Ht7f//cl43/mQXYJ/BFZSKM9D5pz4g3peCGOoBtx8oRuD5d50qQm4Kg6sCEif0CSstt49frH0zf+kxh3z1zeRi5rjdGOXVgypE1P4OXLW3H66m1f4CFbnFB7tlvyDJQ2CBQZaYp2GwirpIoMt4wqwhk3Em6CDakxUGIULjr0LxYbL1dDAs+iJE/f4hfz5iyDOPM3KGkn4OH5FPLZjIFoOpWVtgupwSARB7oABEQSL2TcU9xzYGgfKWQRBYZHpU7sGDDInSTcjPGw9QX9iZL4s6GSxSmqegnVMpgUBknxJVqmETnc9EqQwq6cZBRLiN7IyfF+H/g3/0nTrH+l/ad3dLAT/6V7H//li9H/Nxz5WXpzT9JoHcbix5ff/x0NESs2fVkYok1fNAkdeYdjxoZ0FDnF0T48aN/3dTSHaj3xjfRPVppWuj2UzEmk1SGzveMQ71oDuQIP+ND2sqcz8HoyYHABHArKhH59VKJP/2baBJSNEtHhYIVeNMDCjoOcNYLy27iLrdIa/WDLtP8U2v6zJx0XtLbRNM1ka3xXPEXx60SQsSg7R1iGOWi2ROv6izRZzS7Y0JSvBgGCLLuMNmTUOjSi4JSwo/tjnUbTbbzGuL891FQk81UuPzMJg0krDceXsFVPhAXfROPQCCNRoHFuEpOVrOwLgQfDR/aq43m0FMEMRKRMGrSSERqMK7oOIJwy7rIMss2CndJfqWIZDPvdjUNdaQzazNhdW1ylGJ0xRTxScfbv4tACeTCHnT5P+iLKxQV0iTiLBt/9l5KhMhVHtECDiA5H69ZIPRlI1T18FAoUcbUcziFoMb+4zSPDKFwohNYZqyqjVsNY9bxqrWraqZK/fg+d2X20yfywkM/Ov6fh6h0iJTS+6epIqK/dl1+j7WjXMB5lS4PX3/5Iad3j+iDr4oF4ZQVqguOig9HhxViYdJPbL81aslCfEY2iqD6NwlS2ZFmJF9rggYMDAHoPj+k70F4L0DHnxULGCbTS1VWRBQVAg52ZdG2eRnnjzU/dV9+x5W3n+Lj7qPvw8PiAwic0vu1Q946OGtJI1wSjS/adaE72ECMJF+lkA8WBMsgA9AFSxEU4QTpJME1XAGeSTsIU0DGJMpg+4xAViYodvoisja0tSqqWtRv8HxVtBDnVeFWuIS1wcfgkYGE6tTBqrOceeodd7+DouHvw8KDz+IgciNltDemShadFFfNBMvYgPSeC/5KK2HR6BmtT0jF1SFLYClqolnWE3ga0vYeK8F06sdKORnzmgGaJgGr85yLShw8w4IvCsIaikxYap7Xd5+jGUJdsYdpQgq31LIryLZMa6nwHcTbCAcSHQMsE/9DGYY2dg0SYqspbEKmJotg9kcVA9xQ5R+eztKx7lt37h0PgYTRSNLtMuGeANrbBgYV0JFVWjliSmpxAIwtyS+rdMSautcSIxkvStv6D7w3nEJ0LNKma4PkEpQLaIXFdzAVYjHuCKo/wgRvA8JNYRaMAqz1hWxhuQaG86IYeVm1zbYT2ULTk15pbq3o7xtYVBSKew6NuDfZuI8wqZf2kArdwwXMMB8LBLPGJAzdSC4T5kjHiTVpyeWCwY97dL84DOlXzbKWfVaYqVZMCQ+tMjVWVpErPSlpSpLsHlapLVXOH6CJxJTpImzKxRQRMyWhjx0CCulxuiDxAsZa4CjLDlaag3kAR0M4Lafs1uutqsw9oT4adHpvEkzEhm97RcMcYcogir0EzI5SUefCqZ5Y2U9licycr5x6sWowwwZwBMRNQuK02BGj11tsOygrva+47+L302goYqVevxPrPyIOnAO0nBdVP5lHOT9q4tByx+Pow3kb4XyKoRD1MNGcTcsdu4mZr9Bh35J/Om2/w8orL0rzmixUukcCFsfUGKWyXhhyaPvHFm/NLsk3qQZHS+UmeU7TpCZR/Q1Hr2sJShVVayfIyV0Qqz3fvJoC0EzaTplzz+Dun+dTsjJt87UBGln/SrRUD3iFWkFg2s2ZxUseEgWMzjpuG2YK8YwGQ8bQJtaD1gYNvz9Tbv++FC9n9jQt/+I0LdMHl3Dob2bVrEjJqbkfAxBuuR5B1du9HMOpdc0ECkiYA5ymtMFk1z7Eup1I1zMnz0iUOkPusts6z+jp/6osY6mwU/yMMEmkfregjOBJEKD6Qe6lWbzQq8bILmwhlJHFXO0ava4PoYvAHKB+hPmiO4TlIDbRzjE8W8CiT7uQMHQVNjUDTqG1D3PqTnJCUYFG6rBijIMIutsByXYRZlKHJ2h2ciL+ooeSOuFQ2Pt21wDUNAitGfyxJGfLUr7JbvNlm8TNsEG8xQURxBZb2Or/DnPgVpoqF9RzqHdhw7npbRtJNoM0nKuu0nRIpAVp0xdw8uCIu6SK5IoadlpsYJ4tlgDF9lLe81oJZWjFXYyUYdkwLpEVeEz9f75wggtRZyaRdskzqSNMkKq9e683w0i7ZJHWkUZKucZ1FkDQu4uWFKyPFmwonPdVpvLYhkx7PdYuSL202FkzaJehstWncTBXVAJ2g7w7dugbfA5khB7L3K+wDd6C4gbq2SrC2CdYdKOiiinoocIfADY++WQ/Oc9Jk4TBNYLlQQWCCgjEn/4p+YUMTVbXOevS5dBN4Lm1Wb7SPZY3UtwgXtlg1jn0uLWJRx2aTmqpL/P9z3Ovdrn0n4+ria6iX/P3tbz/b9rZqN/tA/CgDG4rlajSPxi0MH4ZRevoiWUR5zhFdybYxDLIVrn+8RgJtduiIAa+9cKvEqIkNDFNSciS7+EE9TnKuCoHUBsRI92efNEAE980mx1gJlzpTbyJYmMRvtZ39rUbGN5uMFq1TKFlsmIBCk+Aao+QjnXsiucu6MrvIW3QZgD21Te8bVrSQuthF21pXMXaqrrxCqVLdgr0Jkha5Ucau9z0wTVAXIMGva0xE64w5axtQZrp38z3e/T7tqpWpzUQMdTvQNExcyf+wq4UKKsbnb/WnU2pf+9Oa1N4M673B7b3B7Z/N4BZlZ23ASrdB6ZOhnSA+rRNxbmEqR0gZqGOf3Qv/luGYbt2A9oqh4ZogxF2SQAllXOAFc4o7aDV7xj1WeAJQumeNPCHycIGNXq6Ne+N2VxmU2p3Zl/Rdvn4XS5gf9muuAAMAzi8H9bHfMW4GfumSDJTx6IEmJGvqMLP+4kJlNlx39eCfzOq51uAZj2zOm+ZxefO3GEFTePx7E+hr7b/40P+PtAG72f7LOz7yHlbjv3cOuvf2X1/q/g+QHVqvyLBFW9tgLN8wDifROB+B1L1tB4tFa3wRzDGieSj+z/Ho+HHXmz4SFrzDEnFTuk5vscCHBuyKEQjrs3CVUgbbIfEjaTpcjKcqrlIUY+JC05Elq3QcEpnAIAFoFgvcUZhGZFjgNl6//Aa4wjQMFhmFnwrTou5rGEjBwHBkPG0YNU7wHkCy9hht+Tt4HUYW5v2G0iIQsYhCNAuKUJJKWLLKgJLypSZuo/FUmchRYLtAH5TKA1S2ZZYHnnFxfx/a8FolKzLbISOywhrKaVBsZjT9IPFHrCMMh0HHkVMASBpjLbUJ0wEFbqO2pa2TyLoSDlIkwk6BvoQBXYKllLPUGwy5n9ts86TNMEbRBI/8HNQr4EPJAptNj4BoTpJFo/FXfaC8p+xXGj88/dvXdBDlNV5+rQ6iWUtMQZ9+wYEKQ8kkKF5C33urwsGowEVaTLSoYUo9EfTMG6RdXLIrr/tYSrukeEiqYF/ec1LctfthHCxNbf0YRV3uk/ua/lheZwiVhnwZJTbL+wEq3obSdGKcujK+ruU9xuPdrj7vhE6VC3TcY+M4lAwXqwXgU48edUm0Qpr3SBtXANzGoYICAK+jQdFKNTWdyUtLdrpSQJ/WZxrhNtJoijyStBvixuVfthpZDedxSXel4GHDpiNWv/C/bJK+YGQUhzLwzl9blgwZNp4jtp5KcvR8ojzAy7Zbn6dZXh52l4/mEWKNIgViubzJ1FZY2hDhCLvGeSqegXv8TgcOFMgSVs+KzDf/roRWY4HKdcaGUBz1ELgbPA4EkhHkeGos52kTM7Lhe+AYSC7UrBx+EIiF8V3U80r9cJtv5FanAumaSq89A+hstRiyWQg+BEbOrDDWe/k1lwWZwNT3ax4tL85g5IIyQ6Kge7AeWp4++3reLFOXGC42gcDpbxsmUhgURG8OTok80HkXXdLKFwDg/WlIxpha5Ri/H616i1WB3dmicLkpHcRmpJKu3F27QYSgBPRXFEZnOFmXyL8GmLHBs9h4s+MDvEFV0q4EQHXwaApPBDdd0lvWObLHqW482PThdQuv+H3I6GPc9SEmYHIL+tEXOb1SchsGq+bS2ARPkQO07Fvi4eq21nceS9XCXVpUAIOD3+7jlG9RCN9po6zvIEV9uZnNusDjHk4ovD1eYtHa4PXfG1LJVqC/AZkaSfvcsVl3B1PbhAe6hRnXYWWbEJoRNXVY2SakaCW13u+AICILQLjaZkA/xJm3O/dmetXJM2aj/OwapFSma3m2eruz9RYk785a79pZawyKd6eZ61Vn7jV3UN86ee80gUu7hjFGnhqjPlPP4g2o4z7Ii1CI6Tm9oMlDcO0HqtuLtgggUs2mALk0BSBYHNJGARfiKIpEOma6GQDpP3Etn9+YfTukN2xsxYr2dle0MTtHd5ydFSJQQwM8u3Ye3DJD9axTpOAaSuBdQwnuSA1+LUX43Bm3TYwZR7BMR9cCdOOs4+mA82Sb/NZJd+e2fvuc492eOZeGeYt8py8+IFMKAiEzpHbFLPADjAbxkNUb6FGzi5X36msj6/I+LXgX6FZcE8qPTtKpBWnjT1qoPLSI03V2zxLxjhgQH9BsErXyKEWwrSI2dEJ5PdUqvpQqoxVGCVwScHYOqPiQW59xw2sm/sYH+n/fGYpZcN2mQqTeUwuU6PwM2bItxm4Lujqjy/s3ZKCFHMoIAW5nQbc2LhM0wYd/NWzJCr9mYaa1xW2cWkVk2LQ7ICmY8Jn0f2sDSsJVW1zTmJQEVx5FD5UWl1iDE0+4OqWvvN15uqJeYpEW5NdRoRWyNmgddh0h2jLHsY8lFU+y0ZQIVv8m0XxjurmOxGySm6kKMBYwoVfYChQF0tDfZT9qwffuAj7S0RWP/zXge78RfJwZK8+APiRah/cpkCCjnpke1gzFDeRVU07qwm/YqzdA5lZeidTJHJNuvk/vuFvfpbnfTjr1YZRp9UI3WfxtN4zzRk33ds3mMhtdt8ETbdKUYkszBTeoDVKKkaYUW00pNopSjJBSjK6hFKPrKcW6oBQbTSnyja1Zhh06kW9qqcTaoBJrk0pAeU46waqUtq6hEHTqnmNMz3UtfVjfRh+0zLLufo7MUmJBbqMP9AlkmZGhuBN9WHt3AR/pw5pH/TMYrbuAj/OBvqCgv5E+bJPPog/0gd/GWa29HW7os0jE3Vv77RRCqnkAAVMYPqnrwbfA1Kmi+t5CdZEfeqxt8cOu0sH7OAgOMq8+MrCQvPZThD5Y+wH+RRz7hGinsQunL0FoK50rnyoj+L6Ep5q1ayyCSiO/UNz5WnnnGxo85Tz2dbQJJ9d6i01taTKAAsD0Oq+dkpfLVJ14X2f7fUMNBdSPpLCnW3X0cTe9kYne0vL2F7a8S3eCry18LcKInr1++8LUIJpHCdp/ylXH4zXdXqhuk8L1tm6TYt4xHMV+jcE7B+sDDHRvtHg3jPrJ3pjNKpVTx8LQBxr2+0vlMqBsHNqG0UTV0sDE/GmyWIYG7v8aJ1e3HZS44imMDdnO9gSMRJiOV3nJbpbMK7dixVN2BLkxjgm6eGLzOKrzBPdJGFTZTrLK8c1shUxFsRVZOxjhGRRNAqh946ii2THUW1xEPupQKzGwKZueVvLvgo33i2r/DjMhJasUtv8hrTMyECNO29NpuviHQBqLVmYM4Moh1VUalGbJCo/ty0UxOLHR4EjqvCqzixuED6WjUnWjwVZtgxJ3PGU/IO3LHGOqfwj+fNFuOALDvzL+l9f1jnbiv3jd+/hfXyz+Cx6QUygvOt2mAAukQMHzLGUQQIfgsOIvkiuKVpXzJUHV8DAXaIMT0O0IQJ7z+sAZNOUobgZ870Q8wbY78DeG/9HSSQbTkAZjAuNoNIQCD00n02k4zktCEBkPmGFstCtEESCEj7zJ8pQ2AguVOSMMPFLix+j4qmIWzaE+gKTrWDZTCm5jhPeQgT12gnmY1ufyEoxKEresMs2GueWbmlwkk9U87J3Sjsi/LR4YAu8AOF/lsgDiexTKmAQRhteANEG1LHlLGWGscbOHE+0lNlrv7VoMEHb1BqK3DnmruX7amuGCbvmcvt9cxxUabq/5uqscnnzpSJXM8Uqz2UUu/ube8pkzVOypIC46OB2mDBfRxOWYK0mKCf4TxNyJzQZsfNMVT1K0GyFz+6fxlu1LaAmRKco8gRWD5vhoyIoO58hu0DWLHFitT7VxjNA4MOM7jNkwhZzeF9junaPqlYPq0WfJTyDSgf1sMmahma+WCzMoGNE4WsswOHePrOMUbkoSliQtIu00ikg7rvgO7SopKnMm/rn4p7DmsYoOUAk4ZAYhwhu5OQQMGqSg0Ej2mYyJf9LR8T8Ra41/sknuP5GIhXitKNro0BhE3KnsIuB7PI1YLxjlB0P+Y5gB907BdxxpSDmPRr9nHB6yZQJsKTNNjHj4ucF5HDSmx+Bcp0+//+5Zo/H8xddP335/Nnz14/f1xqhNc743C6mLIjNp9vqdCsvEllaa4GeAyTycbdmuKJYXlqKYrNlcafFgmm7XcL5RHIdpld+lRLI0hb/SsDpWHrIqdEYMQ2i8ZqG68olz+b2OLa4ajti92suQ6ONsamL/Bo4Z5pF5iZrsWfEF8zxZWY1QBgxREetC2430pM00Q7dLf2sA2QmEoY3fcEsvW8P/qtbtm2Cn4SrA3jXdlwO6Y72PhyMY1qPaIC913aKNekMqiF3sGXOi1OLCMMZRLS2gETINM+FfmMc9ZXBDstA3HfWWdtUqv/D/CEnRBdmhMRVLMJUsuOlCs+Ay1KZCcn/uKdswSbHRultyQk0t1SkaYJ3ZjuFwUq7FBtHGHDSuqK2ARIyPEbRHwuIUS7jctAo4vdM4ZlQbJ96nfAvrbvvAv5DF/XieFQq8GmN/2aYeWkWfXX4aMh+E97uQQi2zK99ixF8l6aWlgruoASDDccn/IpGUVvOsaTtTsYRUjt2v8WLgmELQgnGd0ei9I/dgv3bASz4jRIUtqMMBDagaKSEhqWF67712ySgSb7EyDePRCaKJEMBcgcwmKgVx2pzz0wCSWCvIifIZk3GNURo+ULm1LLPmfPkKfwefzAVEQPbw4+5qOcHzVVrg/pVc6Y7aczEFHhHH8Iia0pie4iys9YCAFms8H6Q9qDL7v2nwfGMzlMFt/UeVgMLnNS2cRz0MnEEVBkVzdvV6jQ6H6aU6tvyAvMMYOTqfQxnjXFPBjM3uZMTiWFZKzY44OHxGL3S2jRph5DphvxpNQFIj7NPQDnDXHl4E6gZNRMlFMES/BUt2bzZPRsCtQiG1erH8TjwgbuSjbtiYKQUgyCi4NPcTGBeLGA0OPgCFL2Hwm3RdXvPbp81PZgfx4zxe5FwxD0bhXHpX9LT/CSKQkvoqbJnsL94ktVpYKXrVaFDYNaMtYsOLaNr8SE33uo+yT9Dmx/iTINtJ8RFbtL7C56/s3iP3YPpJWVjKLHllu8pERlfm4PXvdu8h11nr8mtIPEYnEBHoxEAnNht8Cw5eCqvGQ+EfGFRL4xn7AsUq/SKWCs90igEiD0vkG5DJs86L0cHLbc51exUUDcqXKuN5QVOIdSa+fQpA9/apV9DuR9j58bmpgCTXGgRDbuOqwfPOoFeKccNDI0tVB4jtPmQRWN07BUzyMe2ZMEpSAZBR7a/k+1c1c2Dac7t/kaAr641SW0uRLjLob+EWx21mYV1zH+ye6wFaRsus+av9rRQNIQ0H0DVHzk3D44ovRiz8nwZ2JeUAU/TbIdMR5dfWN3ckg6w1qr5uuoGjnjFkd/Vm005q8DUg98Y3sS76VyuRJsPAGOTYxttTvddb2TBN+7/1Cne539xu1ZUTY50Xzdf42BnB1H8O5qvwBUqdZYga1/qfFb5ntRuQ6XbGU4H+aOcztZNQW0RXJ6vF0vrY5FYY5Ww4Du3B60cgg1rGRLd/EjrXMvQLuklj3GRrjWJgKnG25o3qEgPfoPv/MndxzIEWfcJtHXrQpO06+4RQA/2FuYqW6sp7j53iiGYraG53iUN1zUdo6FPzPhT8v+PvKpgMFVe9/Zfo/zvdw+NO1f/v8OjgXv//xfz/KLwIhvKahakOwo20Qqm79z8sBLmooepnHIBclVJwcpKqgpTCkriNl4kKY0UC4SrjsL/jZD5HfT2dx3Z3g5T0MXQ7eemhpUO0cBtnGGI8K2lgifsoqcHFAj3+RiEwFMvlHG/v1L6AS5Ts0b1tGqYh0MGSVg/3fVagoXSrBNRCyK1VrlG8a8qQaBpil7WiLgWuehTNo3zrvGPWFjqHHm46OjNeoIxHke/aba/jICGd7nmh9wiPF1nR9i6YnEGbMsx6o0Y5Ri7RfllRh9HDmyW8NJ1T33v8mHhpvhqRWvQNMZ4FVmzNdj5yUJSe59AO/GHxye5TtVP/lIHI8kRd8Y3WIEXD05EjIwb4dGFIGHKB8oehmG8En5yO7DZ2vF8qEpSKBFykUVbAFZ9juOjYiRAUkRMRgyjfhxv9xCGGl77xwX7mW/zBohB90m5X0jcyHVtwF74RuqG/dNd+x4U/2dJfYowGP4MXCgAB7+M49zuYSQErfKWMMTvEiF1KnaJt9iq7CmR0V6lr0wcp+hylOEYpzkmKYxLscuqTARC34Fca8nda9HXTukG/pmmdtsXRHo6iia+GB99BnvWNOB+xM/GN5WGlPIanTjCZ+O+qU8WIPeTH7UktvkrlKxpJHjvVMx66cqIcZwN7nK07WqpU4JNnwf8+Hgb2/wxI7h9qAnDL+T/kHVXP/489737//2L3f2V5i07vYM88/fqHH0SQRvnFIsyjcb84eGL/BeV/j+aE6hAoitfJGK9Cid3G2/Jxv55e4s3Z09dn4vTHty/PxI9vz2irmotzsg8cuEJu+fKQOhun0TJXd47wrTNkb/Du6fPWJBwnEzzpJ76lcMOfRuEc1Xx8lkm6nwxPIgvzuh0+QLm1q8M9kJI/jzV453udvT3Ysnjzh2LD6fGhed0CbvmbPSYr74CQ0G0KSbUU5wMRUgUVMzEETCJDIa7hKPQnp8hRSJYCLw6r5ySYJSDXeIzCEKaFbzzR1w160LvywGLL7vTqVVaWOymnyUb4T8EfqJ3AP9gj/KDbiz4xIPlcnpHkFHDcdOdW+6HKY/7jRu4DcYRFGkWgL/mlKj8iEa8Ykr6oMCOl/EBCQoZ+uM0MNwwNHxSgDu+J3+lpwzqng+f1092PzHwaNZeGzXMdz21NbQntrKaJOMz9YG/WF3JH3ezxcADDvJEp+1AGXrf+ZTve0MkDZ2xb8bbYPUmSD/ampB6A5xNlME9fKnUP3Qxq+4crKTiRn61CugPgtIrCz+i96mMrMHqIOIm3HGh8y5UhqaZ6nuTB3Ie89qxABCU69G8rxjCGRcc3QxB4hts7jOwf0lk11NBRblaO7Ab7vTVGdtMi599fM7LhJhyvcskfo2LeCRyolY784jB2tHFG8tMbx8Qulvf9Jk171moGxPhxWXNNsHk6Im1r9FCfQgbAcvL4BS2oL9fcZt+njspZ6wfQV+RW5QEg6wcZBJ6a18EgJ+7dgdiaULQwWSKeAUIgVDWtTQw21c+qaVN8d1P73W1t5+Gzmxu+W6FiDMGVE2yvHPizvWLCJym/g67dgJfSGLLqLk2uSqJASQ7AywygVbuQAyhlCymaSfZzQybAbCxfSASYguW1PADviuwVQoFODCARg6ejUQRbUmhbBAZzFAJS8VM4K/kZgAaYSTZSdEG+qgXj4NgiBmBoaZb7+I+txsXYpnrGsz5NnGZ+rWSBuJLLm7Ckngk/6s3IgHR7Z2PjTUlOCp7aJOulI7kfO3zAn4KcVVmFMD38dNtGt5xLP93spXJdZk/YlXvmA23Z2a80oSHDtWJGNii8gF+cfVy2rdkeRxeA1pm2VAgfTTufYgc4AACGDehLSjq8aQVSkRP2sQ72li35zthXNEmtaiJJHDZNuaufXNfB0S0d3KzNDu7N2uigjmtvs24hHgO9LdT0FAnq8AbixkSWjB1XeQv6tdMjJpVGh8qxinjeOaVIRTj449SvxiPi3z5F84F5sPBL8YecLrrqoduMkewew16DhaNZKVmGGioCDS2rn5NfSevS9/FLFOrFb7lHe9A4/t8Xi5WhEVnYmOe5Xfy/L0KpLTECAKEFZVUNVbE7q+qjKrqtT9BK4NOFuFBP4hIdMTgN754lzrVxUxyb5Z5fjl+zjx0yItcgCnG8HwiOR2PEounvBq2BtsYXYaZNpSnecRKy9VAwJVtltMk1DS5xx3Vx+ePKhxmpn5EX8Dv9D37ZwV06xp+Ei16873v9D3uVApWrE2I+SidXqjpHdwed3HmzMdp5wn7p0h2dDQY8Y/kFkrnpGmkjHdB17RnLLgD+aObtBbAF9dddI2OEGd29kSvNxZhPQ0D74hfPhwr9X7o+ZPeJhjfRLHm4paPX4lCvCtWoBqpRLVRbhmqzA9WWodpUoWov+wTWhsHaSLB4kTeUw6gPNGTlOauuz4SRmDoD4NRfe+11tx+vFn66Z/3S3YevUVG79YvXh5nlz7z9dE+6za48bqfdJZdYyPUlYwcNtOG9v/JMDpM/uvKAjisQWuxwTf7iJ7j8vV6gaRQxgQBvrqjaqivLjCpluljGPOYGRsw85KaQzQ5Z/fqlY2tvYDvVk+0+k7xS8iHfvEYGMzLNPjnkzhIFbLAtP51IGofiDh5MojXstCenP1ld6xXAgNG/+wQerwh6RH7ovEMn6USaw3GSsl1RT53mKgsKH//0Jbdg6aPZDEvDDo22zXmSZj7GkHXQGs3eb/4/oGN99SH4DixY4sLUDsDfc5gg9flYlTKMOs6fLZDo/e/+d/+7/93/7n/3v/vf/e/+d/+7/93/7n/3v/vf/e/+d/+7/93/7n/3v3+b3/8HwjLySQ==","code_sha256":"fa8ccf12e5fef8a16f510d3ad20a66da3b420ef98600d0bdc9624fe7dda65d63","evidence":{"remote_sources":"sources.json contains exact quotes from 12 pinned source URLs. Source-based arithmetic claims cite URLs in rust_vs_replica_differences. Experimental counts are produced by scripts in code_zb64, from requested replica seeds; callback corpus hash given above.","table_files":{"pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"}}}