From baaea99839bab00b6ae03b9e7b63f9bb5146392e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 5 Mar 2026 13:31:00 +0000
Subject: [PATCH 1/3] Initial plan


From 7c6e884f9bb9be90e6c8f004539e3a86d6b2e887 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 5 Mar 2026 13:36:08 +0000
Subject: [PATCH 2/3] Initial plan for performance, statistical correctness,
 and compatibility fixes

Co-authored-by: feinorgh <3132980+feinorgh@users.noreply.github.com>
---
 random | Bin 0 -> 35456 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100755 random

diff --git a/random b/random
new file mode 100755
index 0000000000000000000000000000000000000000..46d19ef3dc2efdde9f81f81fe49f5b207c04dac7
GIT binary patch
literal 35456
zcmeHwdze(knRj*foS7cx&M@4S1A>6U40i!VhRZ;sps2v2277KjmpIcs_Jv!5OhhA-
z5f|JfnrOm=%>@%RtceK`qeP8B)-}X$W6-F<M3d=|7!nhMN!H%quP)uEkJFp|_Sx@w
zzCWg*&s*=c-g>J}opWmHoZ4BpdWF~H5hnS><$_q>Bt@w;jE|X&5Vc~yD8cbUF-hcu
zoQGenX1n1juVNVJ*K$5U>WyS(0612Wg@MLHLh9v8rz;f4KvAx6>RHU%JRsTfn1=g?
zDcnG(o-D6c%e&wcg^F&VQ;)IPxLWZyekdDGk<JKlTtlPBa8a*K>$Pb;1BH&KfhL~x
zk-zymo^Ch;JSGF(dTm<I4VNo5VIa$3y6&xb^Z%s0wOa4&3T4L)KdH#VKvUi|&|_Tw
zyGb{@xK@{!s~ryNdK<`o!c^1I-Z*bgO-J+ej`nb3>-4Sj=S`nCr#cp?o+bJ8%f^q*
zxALm>Y>uO(X>-Ect#D(HJa#eiDSzxk*N$BEX2HYX8gugApFLF)yC?q_EtH|()S(O$
z<xP_toNY)M84v4Y$mMxSn~5L2`%&nH&INzy9s7*~e;x{S!1M?V48%O1gZ}3n^h@B}
zKz1N5>;X!?8MJ}q59hFdcMkcU9P&5kpr6b^ADM$bBS*cyox`7(a?n4S!+s!#{pK9<
z7v!LC%R!%+!~R=2{CqWsowYgWH|3yL=b)G8@aK3Af6fEl#?PJJ17V>4b2dl0U(F$Z
zZ4UYyIqcNspx>Q?{*xT^`W)rHltaES2Yq`EJKxA5|3D7;X`tKqxf6%yf#N(lM>~Eg
zN4X;*Kf!Grcp>N&VzlUMP)u_@O2Q85-7dNau3EPy*c^(6TH9msP;}jzWgU@lXk9~N
zM@R&Nt(}o@Fcxo!#)Cm6np3cAd$2v+9+yhYcXmahX{@2S*)U?EI4njDN}ZsK7E3e+
z6YWN#sk6(8b%Ywy%1zDfn}fGFxG2YgwPqL9(jJcm6R2Kmu*(=vL>t1*k<Lzq2Z_Z(
zp^USMMk5Iy9YWIW=1@yRq9a{NIBJAhvZ+C^E7~58w-^@dnr5-QCRwAdL_8+qTN*lU
zh9Dx|baSw&?dD)hLwkpaH-`|h$Trau4TVH#tBi7cEYdV<cCaPZ)DUhFP;Y8OVB#(9
z;bzei=?aBKG}O>6;xWXlsZB(>(2A|1v!SCS(u5*#9d6Ps+u6__7BLhOjf$4EvrStY
zf-u(5(Y`$dZWP=I_)Q&=7<&fLa3ly@4e|C!SfIiv0eHAoz;tV87q96vXAo&(cAi+d
zdezcp!CBRF(z)65GuaGvR`p!=T`&Im@blnb9)8T3p9l8`<dc`7sl1^XPKK}KNjLv^
zz0VU3IA_d#&9L_N65f5>tZ9e$eHym|c_N|lZ%W)Jx;35{-Htm|ujmENWbQ}JdDnfR
zqSx#DO+&BMbbr0#8@j=5H@#NL)w<~4;(&rwUoU|$cAnJqZWsMIP49EjpV#!GF8Yg_
ze%eJprRl;op1h{%wu}Czrq{aYNliZ$6f))G=u=sFJnf*HTY5739dusPOgihJa||}=
zoP*ALI+M(JNZYdv5wK7DNjmTUOzOT#<q7~ih6uRZLDyYDa`!suybm?$J_nt3HmT1+
zXBj3PbkI#3lXu8L*N;q6<*<W3#25iQ>Yx`n=*J!OVh8=CgN_p;olZIErD>`VrycY%
z2fg1xH|HAJXB~9?h$*$sIp|r}OWlr)O{J7n2fu@^A2}tX+(EB$$d7c;hdb!DgFeDR
zpW>j8bkJuw=%XC;`40MM2ffxoALF109Q3gc`dSD5d<T7_gFenduXoUG2ffWfAMc=d
zIp`A{^sNs11rB<*gFewg-|e7Ja?tlW=odQZ_c`d39rQj2eTsvA&_SQ-pdWJ3FLKZi
zJLnfX=tmv&=??mF2ff-sKk1;?IOv1f!3YdSU@!uM5g3fXU<3vuFc^Ws2n<GGFam=S
z7>ocT@J`wJe+lgRjX%(9y}Ve6z#T{9-qgv!u4nzv$N;70UU9h)sY$DGEE`uV<=e<f
z{yddRwd|#S8z-2OFJ^E~EG3`L;G8H+KAOQf!IV6Z!8v)AyeETmqA7V>2InM7GMd3T
zv6O7g;G9rOUYo%=k(6AT!8w7HoRz^jag>~p!8u`+9Gby7QIzy%a83{<|L}ggzML3J
z{yc+oLMZuS2IoXj^63oD383Vo8JrV8$paaj6F$j%GB_uClDB1WPVgk78JrV4$;J%M
z37zD%8JrV2$)y>b6FA9P8JrV0$q5;p6O+lI8JrV1NpA)pNBj@}k*>c@{O1{*6E(>f
zGdL$`l22!FPRt}9&ETAnNgl}HoQO%@lfgLwle{g1bK)f#&ETAHNj7G1PP8Pi&ETA1
zNiI#}sY#`aglH)nw_Nr2)TEDJnvLJ;!Z*9{unTW-;WxSP4KDmD7rw%UU+%)^x$tTi
zexVCL--Qo%;iWD---W-wFgqUay70GM_%B`f>n{8y7yg0^f6j$J>B7I|!XI(rUv}Z2
zcj2FQ;di_6kGt?&UHE1f9(Lg^F8n4JzQKiG<-%9E@XKBJyexd?Z&&sF=%zr=&jY*O
zJiB&X-OQsiPXzWX8i!#jRaFVmKekktjk_J49s~HEMGvBJ1AD9k1Pji^t1z^`yFd-?
zg{jkJ<GLyLjE0ckCgtZw38uau=s6qs-rI`<-#h0Ec%BRV=>7OG82G+6;7^@a=aJFp
z_}{%~6Ldx5;`M=Diw;0i1bW_z7YBM5eHlpqw!fuP{mmFnpR?vd&a(-+>GG+c+yW*u
z>!F9jcC)aa=TL_ak7DlFVS3y@6DM?r)_)Jo0=-{}^zQ<?chfUzGrN9M4sOY48mK!L
z=*3T({H~;Eldn_hgj=ca14_G{N)Nh}_E_IuDBbK2Di059bge>rG`a+++ryq6+O=c-
z6Uff;#SZlB=<i9q*|Yxit{rds;sGAFgmLu7n|a*Qh@*(#h@&U&J+ltA><{$1Dm(+D
zeL9Al;QN_r1IqcGa&sw{xA%-^?+0B%AQNW;J?l}_`m@rM3@jTS<@8_l*Hr3p-Vq@D
zcc)wOcFiq@Vc8gas%{}^Psu{bd4Z}as4AmtbXX+0%@uGqEdxh4lncneL<6Oe%!Kf|
zz{h^GTlU5syCK{i==s!E^t9$cZ{8$cLeMe#XC8%{L&r#@uh;sw`9k0ps2!o+?b%WU
z-Z|Oyb$x-}JE$D!dHPA-UOa`L=nwyelxI*O7<V$(OUC!$9u(_#uj)Cadf&s+n(lq|
z6xvgFlAgcGsw4k6@0}2pb#NrmBdh=3dtmjh->pPtJ--a;JC2t196_AZtUV>;GD^)<
z(zZ8BXX=i^lcRy}oz7!<UsSZ?fn#;|u_}NEoiMqd#NN7tO5tf_j|V)`)djMZvN?N-
zy@6gCT?ir;&josZ*#9j1zsm##_tf1N*i$tf_ZM35SLcwu<7nc++|nu9Qf5cd^<8xb
zJyQD8x}#;cUB{N`UEl2pQ6&O!=GwrXH7E-q-c$8mX+cJGi!N`BlIKV>WEA7A8|D%j
zyfx55gUGI|TH<Qi5~`Xqwz4rk11g;VB-~-W#<GX2?pPx|-Emx$-5!=Lg%~3CTmPI&
zB{wO;Zqp$27aj62dfs7?SkNDXP_KaWE0Tc*u+Cz=0lLP$Bk3wDa+odF{~&7f6us=<
zNzqJ$9wHmKgr-3cWg7IbZqPQW_10x^25iuGRLg%rP&Md>WW{C64~O%nL32n~XQTsc
zj$L(!*r103m)7kz4JzY#M)p)0>BSUOQT|qjdP1rrYP{qifQZ@fcOj^I{}15HUNHKb
z0~f3FK5q4Yp8~y`&SeG*JOtG`M}~89Wcb`1*)96#vO;_6PSf}TmUpb~B>%1syC)G)
zUtrf!4|!`S*Hd?@*SZs$7)eUdw|<TLc@U4E;dqkN2sDpBDI3VN<1Ntbse2av_++4W
z&8c2wdtQLe9{36bxuB}nX+E%}5~r4Yhx$uoFZd2Sfb6SJGDlzDp!BY1%TW?WpJV-=
zKbbnP!#^`yNnPxy*?wq9Yw+P5!Zl0|lL*(Rp_&~k48X@-;p(;i5jIihF|3;!?@DBC
zbw}-@17z)~8X@VjQ9nyJd+N@j<DV6Yh5g(As5`#&zXxNe^=GVjfJ;!Edm7J5sEq3Q
zUx&fNIQ3J>pRvw+*7OJVtUrw+&O-7@r(_+B_SC()YsageoprGIrL@J815z$?I^7_>
zw01$Fcm1n4-@fJ&SO9@D^H9p^$9W}C75yd+BFN9bBkS1jU_Gc=|Dss9bRO%kf<Lst
z=WX`d(<IhwT|?|A@k$W6IF<p(Y7;L^WZL99^a-@d6S&SDa<+@Sz^O~j$7IE-M$cfV
zNRr{d5%!PO9Y+D6BE-FkL%nrRtm@&AIgX+|KSJ)?cw~h$pNDWy-SfM4JfBLeM<;p&
zOHSzIg*3g#`np7)M(#10V?XQFB9*Khi``STRgz@sn@|Z}$o>_Vz2pU$CxB@YU&~|J
z?hslQxy@z&c%#ZKF1za*<a*&j|KeTeE-AZ{5BWVu1AB(up(<eg4UYEac>^4Y&mxZ@
z?()=WcDnm;o?5s{!>5(_3ps8AysGJvcsxfXRF``G4{R7K#G0dR&PV=w83oqmgj4bW
zB%fjj=s)~>^uRpSK$&<1!BDxEkyAGcZ?P5WV*ib4?vXV2SepAT;-Ta|m*zeQ?lG$d
zUa%V^@5d2dJ%c(pI@uiQ<gxzM@MYJzRM{P^QmpC$Syk&Xf;}a}Wd$;QJ<K}LYX5RJ
zPp{RPZS`%cp?%*ytF4YuR#zyiL1p#mP)cR2j!av9TSl{Fgp|XzRGlxB?EhzFGEo!g
zt@<-oGNABsW$qT2xf7_8a&kY->0!MIR9tnTZk?j~v8T}$z%6NXsedA^Uhhy}4r-vs
zD#6-{Gpk`EP8)D*q`b4*Io}j>7vxlf6r*XB8?4_k>i{$ux-%tvlSgnd+nan$9>2~D
z+aBwmq(SFB;S$uCH;b|YPR10;;1#}9D!q)+>(vVBk1F~Y1XR(VquV+HzXw(FF*5Mt
zmL9G9e+MD=#jU(&$KQCztlD6Y^$i&&_UiW#16F+|Y#Z*qY3>=#tz^l#+wQG{nU^4b
z8zR;Jq`V?q&td5bPPnHiyQk!!RFSQG3xb9sHfSSv!!uQ-ClN!LJMm0r4l+IKh_DW(
z!3YdSU@!uM5g3fXU<3vuFc^Ws2n<Hxe?0<x%ZO<v-fLE`nAw{{(HLHpvM0sxxV9|P
zwJqA-+7`E`ESqZ2nlWSUG#qDMV%uw<`C`<*vLV_Li$VCZmQZ^*5^Zg(ZN+O^9o0>d
zPOKOZVqIH%%*KDd5oX6CEqHS*8k%O~buxQfBw+)ww}d(%9kSyQI~r=n+kMgY#zZ`1
zx5w>77%zJbX$nQ-c=gL}iiDfn`4(5~Qo9Q;qs2l{XlS<MZ6Uj%2{yVK!rR)zt@i3w
z%j&MWuFh_0?+Do~k*M7qf`N`0p03u%8d^gOZC%wHr*Ga6ZQEo6esubDRJ;){jS=0T
zP{x612hfhlmQZxjW#L3;V<>w0rXjXYH%?E0o9OCta-q`%YEvW;j%Rd0Z2^^TExL@y
za6@M(%TyF><r|A#46H5G(Z&4q1U=t0L`;e?uC97qy>{KItFNlAuBKnpH&3(EwJ~l=
zxHQDpWhLz?v9`#T7$Vb{XtmqJEs?3z+@LjO2XLxh2kCUrVCyxdI|h}bo$~d%YTD?a
zjqGSCORE_{yAd&Iwx_g*n>rG)_RXQG)%J4rej@wHOlcxP6WJkECe|~|f6v5>8PZ4-
zjbyigGO{uh4n-T#!{Y3mo#-^^XzjNoLbht$m{f0}x~r+A{<Z9LT@6vR9bQCb*N${5
zQ<RpvQR?bGrpnaE^@#lBn&!~v8pWNA(BpMh7>u-NhJMp?@{l0`G`)?t71`q#GO}$n
z%MOuc6NqdbSsTgi48_=4pu(iPjzZGM<?XSqj)rY^W3)ZgV$05D8$B`UhUOtc_A?zT
zo>h~!Cv<=&#q7pVd`l?AK|-F(lVa$5?3+V`qjoB<E5u$a1cOIo?)Wiu_T)*i$s!6X
z3t<=5I%76|oHP=3e5-Szy)2UGXtu+VI1M0{7!u;4a6Bf%2W|MU63j`>IQK&x&1gxn
zc|*s-#KNY9EeoS<3BF#c#x`MZX^*#I07Au3(;W8c5t;}?Q-iKMEN1%?j<es!BN4j;
z#?bz28n)V-8#>UPIP}EuS}MK6>$H@c)RB-Dba~g2+lsRwY)_dKn`(!)HsP(_7{{kp
zoTDIB54kF0x~J|@x|iB`p%(36x9aZPOv7`3ol5<``u*h0|Gn*de&f*jt;+9k+4-dl
zH~zOl{(jB740gVQ{7f-(#tfkcF+z@1LXI{<4j4k7@q+zHU(f{42_btpX6(lJF8w4L
z5Yua7#>=S`C%(`AG?hBbMtwDv@?%Qx(CewxA)uf6St?}%KMhz5Samv;st3FRup96;
zz&^k)03HRL^F}Il8t@1pFRO0?+JF_mOr@3sUiK^e@fq-Be=2o5;M=IvK|m%<Rm<er
zey#9qE%%HmF7WS#Ez-GM>)dOplzcC3c|kb^xrAyCe)XqNHf@xauP7aPMOo1nf45jX
zdcj4rCr$uW>VF9E+$*V+R3s6JcH{V+1^tlrfpnI27k;-O1}jOZD=q)HcUejPt#Ak^
z`48cDANX?t)BKJM|9Oxf{xA5y0sm?6=R5Ty8U13^`xWrVIr$qh{Au974E{ek`QA@R
z0s6NZ{MBf)JG1zz0_1mq{|)fv`+25*^~$~t{$1cd0siznAch~<<@1frOP6s7GT;A2
zDs?enTE;iQLjjg?67-XArc(U=M~2@k`8G)WUd3|si}Rgj)S-;>Oc}$_E|=qc{u1QV
zHoOlgM@bt@gAw@uGy>*(0_OVxJPnxE>9NM({H6g@u>wNaDpR8I+d0S~VR?p3=DP)0
zu_F`5Bqpq@k;#0&faf5S;s5FVRD}2;u0=-Tl4GWWT7XNAnNDlIy2=Z2ulCQpgFaG;
z3H(hsD`_>+c9SA&HR0#^jl}VmiA$N8%sbnsbVUvQoG!@t&FcvhmpC(-^0`Ep$;jc4
zF|vLTm!$VKeo)&>W%yDLe>;-$wVID5AQCrmmqP!GhxGT$TsCLeicqWJS`F(p?9#AX
z!@U~zX?RG(qZ*#n@U(_!H5B88OywHd8qUzLR>QR#)@#_MVYh~RHSE*ykcLM!JgMPn
z4bN(5K7vy|LHS{8I77o)4cBT|uVI&l-5T!IuusE78Xnc~q=u@L|NhZmuVg(g6@RUZ
z;6lxJJzQk5K@-gPJ>2}wnqa>3;V!pB^PgX#GH!lC^UZfZ-25iZH{bto^IJ6Ed<R6M
zX%N*p^F5F>LucAFG~Wer^X0>nn>YZza@n$l_LTLFm?ucsGiO)NuAVV{UP7X?Zk;u!
zdd8gUnNu}GOoIWhG@?%X9(hM7#9wlpwRe|tpz}!Ki4ze5`2`XVB?D>Zy-D*gjlgnM
z;rAEZ0x&7h!o!akvP6=s#}#;tz*}$zuJ~Bb(TyZ{^8W>6-4HgM-{U`syg#pi%?!?0
ziFqwLf*jQD8?}b{&te$%eP#^v7y5@hL=qP=`JR>}A8ifc0*X8?bj<6h{08!Hjr7TV
z7_zNz`pS|(d~f40g<g6g=t&=huK@VeF&CoLQ~5LRhR5DVLCK$8Kw;tKWg>rGA<OW4
z-yw2|M9RHiglqZpB{I@G9K&<|0*Tn(A+VCaP$E;j{TTT3FO|p)Z;%EqlgNDUGc0G3
zL~6Y=DOM|yfOjK2&tD>uwcbZr&QghN^!kV_AO01TP%l5}m%n1zLqOWRXJ|Sgz3%ef
zOlzwo68G{8TlrTMeG&p&y+353Ylhwkq}%&b)H?sFvX29~&3g$AT<!lCNbmA)qJeA5
zz6WHtcPtHDU(yGGz20|d;KmVLk8_{*M|AW<qkase&wG@}Ch5*W?{4bcRLB-P<gFqn
zI0Un6;;{D$7FsWTJL;W6PNV-7NIxs`E&{8dU=$y*E~=#1#ihe{faN>D1IZ<9S$b8<
zP6*;>ksr=`W#4nmy#RZ@lgLTIUmL+n;bYT|CSk-($Q0gN%DlfkZyq9=_gxg`zk3XA
zjxE1;DJt&`k^LFn3$6ggf4@ZXy!@=C|MR7k@}vI%<naN?zu#Ah{E(F-Y$4%G!<&&W
zAt8>Rb~$e;O7wqaIQ8@1K#BfCmF(Z=?PUIkUj(^$8xErQ1qedscKGXm(RUYU7yJD$
z`<_E)+A|b>rHJtrW9=XR2{bRG=>JLKM&yOJjasKFXs+Blfkpn*;=RpCk(VU)s<e~$
z3Fcq3OHij08aWRc<LK+;y>Z@DkbKvHmp7V(pO08bf~@8vEaX??uOxxmBfg8nkcp-8
zbSbw!MTg1@ZU=kJw{WnFW_=C7`#PkG=9D$kc`v_GS#*hvt>1eL?4tSpLjdK|F-Ibb
z7D&!WG33Lb`IbOK2C8_=%fO3=;2?@8q8v~0E?O&IkGxOh{Tf}Oc!%dP@P|+`?{6gR
zEq@nz-(PV!zZ{iO0|EISS{8YqMz;7s`B?CL<8e5D8l_~Eiv%o8s_;Of(08<f;_$Tv
z{0l8A7y3>c;xvo~lQr>8LmZ2GPVw^`DD;)r10WT>3gXlPwpgL>td^|CWQFidEmc$@
zqXf}kKxk^EB9<Fs9*7r}5G(ZA^)!jIhTYI#?yc&l?~CEDDEKvw{tx?xNk>tpry2wg
z^;E^ne$G}{T1@_I@|p3-oD`Z*8e2v9p5=kfnEy72{>r?n^<+we@}w*)M)`$@rLCLE
z;+ZB2o`(v~H|fG%X^o5vH7h_YeB4vK2$01;OrhUF*V78DTokN@g+jkap1CK;BwZdv
z{!cxyKEzw~2I;J`hdo*37b6D#^}ed1XcFZkTR>IMmE%Q06qLaEk`|BjekzsdiYT}r
zc1vQO@)JO=Fl5;=JTxQ9u0e67Kay%K<fkiEF7oeZgZ$M~wT%qfAmd^nefn<V@><09
z5i{P$(fXse<O`+%QBV#43q#7CCrNe&#1BH*KYQfq_T#k9%oudaCzY_d@;OaqecfB~
zN3vx<9(NC_@})vtYL)vu4@CZ>bTQ?t8c(`xOBuhi2;yJ-u~KR-AxnBIbFYFVd}Ne;
z6^G)FOQDvukjyEeN5C(bii6eXl~T9KQa}*-Jgxl~<yGy^D%c}?Qo#b0?tjuN`^*sv
z&?(K!XN%wKoj}P~2T;!6O3NF4RlhS#QScA!4RyZZ9G}W@o8w_dbp~18g2fEOW2(Su
z6p#f<UOpSnzs*~<iu81dbU&*hb5mYbOPcBEgb$z;|3|%5yVA@|J@VI}IsB9Js`|2-
z%AfBt0M*K$!xUh*LXY})T71Y`^{+-r6g&gb!kbl3`9((5u0YFo$vVD18(K(TQb2ef
zxBySFm0<*>%Oh{$y!$#Td8&7L&LhjauU`0AqP+ptE09Kx)+lW`FNLh<fo~ck1)fTt
zEWUjY?UYsuJQs2V@$Ku|Ijc!{3O$92{lw0ZKY-j2PZ38m@4njE#Xv{i4W!IdqGS&5
z9Lc4m<(~6tzR*`&4-uJ4*khgrQC_AB#i(bYm!#G-c_s=Wr__LZ9=I3}uZ6rOB`;t#
zeESaXwALf@+afl+ci&p;24X`MwsBZXmw3B~!xd_7twLPhkuH1ptrnyHhN?WzVm#Av
zK$0_ifSw2XP|OHk9y~9M<@LdO9VSld+O4%-fYARbrgNyPg@u#i-*x!`>lHZnlEkEQ
zyv)9)!}QIaqUtUPcmMko9FgR7BcSJjPa<H2yr6WCq*>p-bGKITs?mM1yf*JUdut&t
z7v1v|+JCFH1H!lIa`x^V7RMJp|Ivhh&eKzA9`n+u0@DVVx0+z!{&Hph&`zrq1|BG9
z!P3!r=vAL9dkDh5eY<xKYZsr_qWA3-b9Y=U%?Q52!X%Zyp_LErw5WX8sr((S+_w|<
z*eOQ6i^E44?XT&|YZp=Z7vV!igZM}l$0F~(wu(mak%=l_FRGqGt3@Yjr8{NujM%6W
zL~IhujSgo_sK$UrFXG(|T3f~|da1%TimDsXf;a7(tn~jWZ6-`Jx1)%gMye7w7Ji<R
z7r!OVtSjUa^_wmWK!LsM0I2oF3>pd)Rer>9V^kX*mo|DYj8=4sjl&pD3XbQ=b<IL8
zC}+XJ@jNi08fDd5nm#ve;1w9Kz6jnD-LKljg!kdd{F4_dnT)7a3ehh3u^=rv{(Wdx
zn+Lv?X{+;Ag6{uQz8r6Z(7RwNZ2l>KB!{M<zX0>k`9pYPJM=~5&*hhNGyenR-^(xI
zZLzq74e0+_z8pBD_RsRqm)g{LBi|=AXbE{*LM1J+suEEs5x&xeMVA&WC|XrHAE%eE
zOcagxla)8z!9r!`5FPJPqFzjY<yU(akCNKff}+WzE*s^6RzWs#Riz^PCyJt?%Zq%d
zU7_VRG~`0*OHoz{i$}4H;wcaw3%^P{o>i4BpmaQhYd|SWmjvf0k1{2db7HOnW%#q4
z9jc7`FNLqHU8V6t;w)+yB(im?bP2N3<2{o{Rd|LL)Q<e9tSDCS`${jvZ0HDSS%+{j
z!hj*x)Ff?ul-ty*N~f{Wm&gc=sr2|ti;84>jQ6v)V=Fzt$NLfW@r5Lum*=^Bd_mFp
zyj7J-%tPw=Rq&3Pai*MNYLu8(u?^XS`m-k4#gDHRvL$szjb}nk$mqeG$1qsZ1uB5)
zfKIINOe(D`@{Joaj$-AQSDmCA-H%&$bSt#kWZkE9BTS*&s#&M<47w=O<uL4zVAW+@
zS>7~fPsJDw)bH%L_)2hwpgK>D_P&UX9xl!Fkr__L<WYBebmyI^;~)!F;`qp`Hk@wD
z*+ri9sNI|*84vn4S7n8mmu*;8?GiT;HGLi@p@qlVJv<dXp1+os5O5gB51DZVxU&%W
zSb}K5uLr-c;ddCnH}La%#(B#skkKgx=;33#mj_=t4tb++uxuVC<B&g{w7EEVm+`Qc
z==D4_^6+6EVmw$Ld=cD?QNC)AW$p5xc+2wq$|_rI6&<mxuUj7feyda=zT$@@TC^B)
zZ$a#>TFZLJ@*Dy1-(aCPdnbCVGT-KEtMFl{mCcgyBH#AQz$~^YmhkWMpYR`nomOk|
zVyoD{2-%uh{+Fzxw;*l#Tdd+MtzikP@Dbt7^W^&<0`U58v#fkyp?8Akh*b#7e)9Y%
z<`dRv|2}KfJ60JCmG81Dc3FkDS!1uaO8mBU;q6uhgf5c8*IUE2(qaiWS{G2N+L{Q|
z>%Yz#N%BUk@HN<~u_|h;aw)ghs<;7ieO9?YLPEYDGWplQbErRTjq+E?N>nGT5@`Sj
zZ~o)?{u5RibpA&kO`#2kN3WwOSzN-hzKd}C4?J#Jzx<_D{DgJEE^EYXR^gu*x1m@5
zz^eK>V!X?L<$mw1$|tCXNMCPV?7#63R^eL|D!dXE`GVy~)aD_`4wtR+eE(0ZQGJ%*
zdqJgD*y^1y%zMEw1lvO83y)a-E3CrnpHP5Bd#?9?$bXq-{ptw9bEB^`ZWVi{R$7+t
zY0-kBXrzGV882V$ajV3;VVG6nt**4n<5mS@e`5a)`}g<B|5jC>RkEL<R#880RqXRl
z8g^h{^z+aM*DCL`%2>qXR>hUX$MjjF6kd|BhR#sRZ-RMbzcu23Rnq5csP6O)Ye64<
zY^M#kek?XpKHbam{r_fJeJX1HPod^D=&UFFmDl^x-HZ35&R%>a+!G8&T3Ui}fwf#w
zEHA-SEk6n`zk`pj;9ni&^0;6ZK4Nb^r;cy0;~VNhDc_h#f9pN#i}Rq*6gbS1CXfj>
zVyPY0SYX+XJS4)g_SSHySr!<=XX&F@rH3!8t5sF_NIsSn#mr~q^_TAT_ulzk_>3Vs
z9K=`iJDLQR&IHxU4SvkOYkN?AZ5~W6pg|S!jd!e<i)5;Wg7LX`EaNgIHKjkY&k}-q
z;grBmD)urgSX7hi_VmtpA{<&Iy=`v-%CF8ZQro-O(_8K7Ee)}4;ik4|BpgY^rYFK%
z@S*zYaqcq^15<wSetK6l5)U=SBhl&n-aX=C7)>1wu{OizLZj&|O)U-_)#zwwWpHAq
zUT7x9nAHh3C8CHzN1_vL#4u#O^S@!$b*t9N$~Q%tLrt6cG5>}pu4M|ggc%-~*%ED!
zhh%dHBOT4`8r%z@D-wgFY$5r{{GeP7V}hKuWr5xd04pn71iqsmQubvFsju;yZ}hW$
zRFR0@&9EHg^3G@|#+tw}wCl`S^Tn37_NF$u`i2`RVAU5`R0Wb~Vg*>k^mqJ;bZ8=~
z4=l660ro*qT|BGnsrr~TK<O|3o4BbS)Ew%Hw`sH6Wtd_On?tHgXQH6WLr)V}o2Qmp
z32qv2vuF=*W=rXYo29otSh;3x@Y*F;Ee|ePy)wAGZpD)ItJmqZWvG2~Xsa%frUu%A
zfenKW%AF3>Im+dPF@!PFDLcAczr@v{q79309j(i5B3HUbL%KcH!ltfhNHsD$0v$&K
zF#zEN_Idzm#j4eH%BStY?7bwm2j!+0o#<A2KL)w9E`9#6C7k<Aq&I~~@1vob8;jJ`
zuz+IN9aO(;ZiqKv@s$}d<lYbJ%oJ?z_RdB)%5%av$89IjK}2w~Jm*X=)=ibQ3y0cZ
zLUqCPc%%38U_ax)NADXtTIoi5&j>jHHAfQMIs|Nrsnvo(S@U#dc|On;v)T-;#T_YJ
zJ4%ERxGrHjog9&Pa?tU4bM$E<+gOgGYzx@|*^sKE@pK8b;w;MQRI8W4H=HZcCRvTl
zXuu)QoI-64u^{`9?CL?aE)Yd`H8jr^a(s!jaL*DEOoS7$Q1dLadj@niLoR!34jp1_
zY9f0~BewQPbm<dCMNuuHW8plRV~LiQ_O0ofBg&|4dJ7O%8AYhRs`^59jAXUUxY2=S
z->R3lH;00<wGf=vP}Y7O#zD0)iR=pcRE0-q6>R$<w+P9Mg)-zAm$>-}0-&X%kw{#}
zzPd@&v|;giO*9e4<*Q~(Bzm)6nmb)z&?3<f5JXKP7Ud3MHLXoeHMn*J=grakgtdkf
zH8W?|$koj_p`@TjJ}B6Tjb8qaNNiiS#NQF8#hUoGE?j^A%c9v4uq#Y;n~=hQAfQ4r
z!_ip|7{JhGirF3^rgl$hibO*hEVMOF5xIQ}GFVCtTgbFDh2tIM$nJuSJaGW==pvs&
z_!yD*x1o<#=G{5$xLM#s;s6N`2_jGYo{t<^iO(zC8-;&9W3uHD588kO$#dO|7gMY!
zCuu<qY)uz>O2u$zYr0v-Waz7q@rcplV1uI2KPFB;dc<&H)*(qE4j;vj<#xO5@0Rja
z>HS!Y{8x|}$bU}wd$1a+wq8lr>Vk9C_bDkqOdO`et~8MSe}jw%vz_ksIxk7xN@4cv
zGp3SKeq?&xlcBSrI2Gznd`KLK&eaLr_sRU}%dAzMnnQj?4tf*lw!2W^{G*x8Rb=(q
z%$+&x+?|8|U=I4XbI_0Hpud!Z-VZwCaI``BX=``i&LRIE=;f$ax0X-W4zq4U!Ew*$
zmuk9s);9BjTm&#syVPiT_gv}19P(FcdG{>(KalRN5N17}@pDrSI~_Ubcjlm9j`khM
z|NS}SznX)7UJm->Ip{Csp#Llf{kJ*jf5}0wK)u+$?tXhd=mYJO#)T#okT0)S5ym8#
zOp8DtC_dNZpa(&>wXPF{bI9KcdWCnC@Yg$~@huk8S#qtSV{Tcd&q_Px!u`h&u6d^a
zcD<4_{(n`<E1L7jzy1tVuOEP3j`PTFbV_5|RLYm9_qR2}@eeiKJ$?Ub4*S0bo$)t+
z)i>kS*&OnDs5t#`pQq)VYzN2v$Ga*?&-R^|t>xW+0^uJh2a3ZI(CMepaWH<?X*=$}
zLR_E2&YB$bjXCK2E8al<Yy+MCm~|6CW!k0br}a2y=)K4cWM{vmmt&ey>6<@+d^Lys
z5iRfjd($(Zv){Vg<%c=!yr%8A|MZds-Bzw-9l4@wApgs9&?kaEA<Ke7@aGGRpZH6Y
zoy}aF!_GR;8RtG7Pjeo%O8N2+{4rHr*A$J<tj7FGu%WR%7{>z{2(dWs@o|rg*#o`r
zVldu`shLPvPVh8Gf~_5q#)ghyGo~2uD3aJJA5J^)VqA0e4A>e#f}8cV<EbUuunm(Q
z@hEo-#Di|IInmj<4Jr;yZq%41s_x+7k#mYimbBv9C2Q(}b$BGl29V3IziP>vRm)%v
zvp>PQKu~c5%dZu|m8-8_x@2|m>J=-lt6LXbw`A$+x}e;!u-0t+$Bq5;K80B{^(gM%
zkuWVXdk)IWemG3?X!7svV9BRF^YEMfXqGmEjR?&{klK2ZyD_G@vJf?UMnl-VQO>$$
z@v~;k<fC3lK5b<`^A9w$l4Zs@J)}y^%)U7v%w%I5pUv~Md*8^k<vHd7gRPsUW>-rY
zlM`cVf=34=YYLMOp9AUZ87`@kJ@dqlB^}S~mC3l^Sr>bX>ZzJ6i_XVuy%}W|U%Tbl
z=+n7Fsfw9nBBnVO3AVupOi9Qof;hYh@|pbu^Qvkpcc8L#JmeG+rhcNC2?0FCrFS|-
zP4Qf<r}A888e=hCWAz}dn-;4H)QOj#s*oFiW-0T}?db_8rN?<Cxx;6cpb9?i$@#s^
zW4W1T(UFs_VNM9g)Fo$qvJ9H(uwW3I!kQ5v?Kw{arL88)<XLD&GbnH@%j_b{FmZEO
zGog@G5N0zRdyQtX%(O=qQEgS4MH+arPgKXYbz-^;FpgK<3ENDLlS9!iQH^(AL)DmF
zsK(qg-hqy9bC4Pn?bxWiy;+l%EM0{O>sBGfF-6oSs++fkQG|k+(UKf9aq2{Z;6+0n
z4OGy%F3g=&%b-*vTiuGe6PbyHnnZOR5C5W?BRZrbawMq^wdpautr^w~rfjIeTxpm*
zifZU=hcTs&J}CJ4fKFT-K;!%AkYuL?U7>vA+~gY?8>6Ak2E%6UA(KZ0O_pR%TNykW
zZsm+qEc;seKf(AOk_SKBw#qaT_kT<Vj#X&-NLgpP07wCTMt{E6H*khi7<qFYH{^N9
zIQ84KzJU{spoX|j$x56SaO#_R6a(!nY0gPxr+)y74|sANp-kreDg%xG`I_(cpSLIY
z3w^r&r?vkE9@hoZN5;<RbGZdmJAPC#<(v1p3^ea=QI^Raf4=3wccYAcEuBF!utlL<
z#VnJNGw@bW`L310&HGjcuGM;O|20|uC7x9@`sV#F15ay*P5JKn-wR#pFVzOk`(y^1
z_s^)$n7Q@802+%h_Js|E$(Bc9-m_EK2iu=(AD#NP)-&*^shBoko<9uyicA0W1SM#o
zk<;pUQc}slLqMJ7pVj&XI^S)krqMI-J1+gcNtD9-4jTRfONX4v=oy-tU(3YL%x@To
zrCV9aeg1qOT>765Q>_-)@OSBkQFPOOT1u$-x{SV=pEHoJg*cPD{GWp9EPwY(C2ioG
zv}20yF8?i%86th!rspv?t{zz4=o|QZh?P0?&Ae&-e^dWIpvw@M^3A+uo7Ojh<@v{C
z$~EoC^)0M_T3^4v*>)AB@e&M~j%4%=<T7QazNpv2YZdHv>D!uZKr#5VWy&|tq21Rg
zi9RE!q3yyebonz}bfZ7rMK|skI9ltw#Kgn8e79YrXXH6Q>!y+Sn%2L^b^f?zxi-j6
zqkg2GM<I5az$o+svdePlzulx1PW~PJtF^wno=>(a{Yy>9ag}d;z9EPHdts&U5hIvG
zpG%-zB2qHmr4+E@D=WEWiMviwDZf|iZ!J{n69M=)0@H8J^^<H@h@^sly98o~rJy;w
U%dY@qApJXbDvj+f1s5v*6CLPz5dZ)H

literal 0
HcmV?d00001


From 7665cdeb363a68234f4e1adeac144aa7e759bb55 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 5 Mar 2026 13:42:22 +0000
Subject: [PATCH 3/3] Fix performance, statistical correctness, and
 compatibility issues in random.c

Co-authored-by: feinorgh <3132980+feinorgh@users.noreply.github.com>
---
 .gitignore |   1 +
 random     | Bin 35456 -> 0 bytes
 random.c   |  76 ++++++++++++++++++++++++++++++++++++++---------------
 3 files changed, 56 insertions(+), 21 deletions(-)
 create mode 100644 .gitignore
 delete mode 100755 random

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a1e4bc5
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+random
diff --git a/random b/random
deleted file mode 100755
index 46d19ef3dc2efdde9f81f81fe49f5b207c04dac7..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 35456
zcmeHwdze(knRj*foS7cx&M@4S1A>6U40i!VhRZ;sps2v2277KjmpIcs_Jv!5OhhA-
z5f|JfnrOm=%>@%RtceK`qeP8B)-}X$W6-F<M3d=|7!nhMN!H%quP)uEkJFp|_Sx@w
zzCWg*&s*=c-g>J}opWmHoZ4BpdWF~H5hnS><$_q>Bt@w;jE|X&5Vc~yD8cbUF-hcu
zoQGenX1n1juVNVJ*K$5U>WyS(0612Wg@MLHLh9v8rz;f4KvAx6>RHU%JRsTfn1=g?
zDcnG(o-D6c%e&wcg^F&VQ;)IPxLWZyekdDGk<JKlTtlPBa8a*K>$Pb;1BH&KfhL~x
zk-zymo^Ch;JSGF(dTm<I4VNo5VIa$3y6&xb^Z%s0wOa4&3T4L)KdH#VKvUi|&|_Tw
zyGb{@xK@{!s~ryNdK<`o!c^1I-Z*bgO-J+ej`nb3>-4Sj=S`nCr#cp?o+bJ8%f^q*
zxALm>Y>uO(X>-Ect#D(HJa#eiDSzxk*N$BEX2HYX8gugApFLF)yC?q_EtH|()S(O$
z<xP_toNY)M84v4Y$mMxSn~5L2`%&nH&INzy9s7*~e;x{S!1M?V48%O1gZ}3n^h@B}
zKz1N5>;X!?8MJ}q59hFdcMkcU9P&5kpr6b^ADM$bBS*cyox`7(a?n4S!+s!#{pK9<
z7v!LC%R!%+!~R=2{CqWsowYgWH|3yL=b)G8@aK3Af6fEl#?PJJ17V>4b2dl0U(F$Z
zZ4UYyIqcNspx>Q?{*xT^`W)rHltaES2Yq`EJKxA5|3D7;X`tKqxf6%yf#N(lM>~Eg
zN4X;*Kf!Grcp>N&VzlUMP)u_@O2Q85-7dNau3EPy*c^(6TH9msP;}jzWgU@lXk9~N
zM@R&Nt(}o@Fcxo!#)Cm6np3cAd$2v+9+yhYcXmahX{@2S*)U?EI4njDN}ZsK7E3e+
z6YWN#sk6(8b%Ywy%1zDfn}fGFxG2YgwPqL9(jJcm6R2Kmu*(=vL>t1*k<Lzq2Z_Z(
zp^USMMk5Iy9YWIW=1@yRq9a{NIBJAhvZ+C^E7~58w-^@dnr5-QCRwAdL_8+qTN*lU
zh9Dx|baSw&?dD)hLwkpaH-`|h$Trau4TVH#tBi7cEYdV<cCaPZ)DUhFP;Y8OVB#(9
z;bzei=?aBKG}O>6;xWXlsZB(>(2A|1v!SCS(u5*#9d6Ps+u6__7BLhOjf$4EvrStY
zf-u(5(Y`$dZWP=I_)Q&=7<&fLa3ly@4e|C!SfIiv0eHAoz;tV87q96vXAo&(cAi+d
zdezcp!CBRF(z)65GuaGvR`p!=T`&Im@blnb9)8T3p9l8`<dc`7sl1^XPKK}KNjLv^
zz0VU3IA_d#&9L_N65f5>tZ9e$eHym|c_N|lZ%W)Jx;35{-Htm|ujmENWbQ}JdDnfR
zqSx#DO+&BMbbr0#8@j=5H@#NL)w<~4;(&rwUoU|$cAnJqZWsMIP49EjpV#!GF8Yg_
ze%eJprRl;op1h{%wu}Czrq{aYNliZ$6f))G=u=sFJnf*HTY5739dusPOgihJa||}=
zoP*ALI+M(JNZYdv5wK7DNjmTUOzOT#<q7~ih6uRZLDyYDa`!suybm?$J_nt3HmT1+
zXBj3PbkI#3lXu8L*N;q6<*<W3#25iQ>Yx`n=*J!OVh8=CgN_p;olZIErD>`VrycY%
z2fg1xH|HAJXB~9?h$*$sIp|r}OWlr)O{J7n2fu@^A2}tX+(EB$$d7c;hdb!DgFeDR
zpW>j8bkJuw=%XC;`40MM2ffxoALF109Q3gc`dSD5d<T7_gFenduXoUG2ffWfAMc=d
zIp`A{^sNs11rB<*gFewg-|e7Ja?tlW=odQZ_c`d39rQj2eTsvA&_SQ-pdWJ3FLKZi
zJLnfX=tmv&=??mF2ff-sKk1;?IOv1f!3YdSU@!uM5g3fXU<3vuFc^Ws2n<GGFam=S
z7>ocT@J`wJe+lgRjX%(9y}Ve6z#T{9-qgv!u4nzv$N;70UU9h)sY$DGEE`uV<=e<f
z{yddRwd|#S8z-2OFJ^E~EG3`L;G8H+KAOQf!IV6Z!8v)AyeETmqA7V>2InM7GMd3T
zv6O7g;G9rOUYo%=k(6AT!8w7HoRz^jag>~p!8u`+9Gby7QIzy%a83{<|L}ggzML3J
z{yc+oLMZuS2IoXj^63oD383Vo8JrV8$paaj6F$j%GB_uClDB1WPVgk78JrV4$;J%M
z37zD%8JrV2$)y>b6FA9P8JrV0$q5;p6O+lI8JrV1NpA)pNBj@}k*>c@{O1{*6E(>f
zGdL$`l22!FPRt}9&ETAnNgl}HoQO%@lfgLwle{g1bK)f#&ETAHNj7G1PP8Pi&ETA1
zNiI#}sY#`aglH)nw_Nr2)TEDJnvLJ;!Z*9{unTW-;WxSP4KDmD7rw%UU+%)^x$tTi
zexVCL--Qo%;iWD---W-wFgqUay70GM_%B`f>n{8y7yg0^f6j$J>B7I|!XI(rUv}Z2
zcj2FQ;di_6kGt?&UHE1f9(Lg^F8n4JzQKiG<-%9E@XKBJyexd?Z&&sF=%zr=&jY*O
zJiB&X-OQsiPXzWX8i!#jRaFVmKekktjk_J49s~HEMGvBJ1AD9k1Pji^t1z^`yFd-?
zg{jkJ<GLyLjE0ckCgtZw38uau=s6qs-rI`<-#h0Ec%BRV=>7OG82G+6;7^@a=aJFp
z_}{%~6Ldx5;`M=Diw;0i1bW_z7YBM5eHlpqw!fuP{mmFnpR?vd&a(-+>GG+c+yW*u
z>!F9jcC)aa=TL_ak7DlFVS3y@6DM?r)_)Jo0=-{}^zQ<?chfUzGrN9M4sOY48mK!L
z=*3T({H~;Eldn_hgj=ca14_G{N)Nh}_E_IuDBbK2Di059bge>rG`a+++ryq6+O=c-
z6Uff;#SZlB=<i9q*|Yxit{rds;sGAFgmLu7n|a*Qh@*(#h@&U&J+ltA><{$1Dm(+D
zeL9Al;QN_r1IqcGa&sw{xA%-^?+0B%AQNW;J?l}_`m@rM3@jTS<@8_l*Hr3p-Vq@D
zcc)wOcFiq@Vc8gas%{}^Psu{bd4Z}as4AmtbXX+0%@uGqEdxh4lncneL<6Oe%!Kf|
zz{h^GTlU5syCK{i==s!E^t9$cZ{8$cLeMe#XC8%{L&r#@uh;sw`9k0ps2!o+?b%WU
z-Z|Oyb$x-}JE$D!dHPA-UOa`L=nwyelxI*O7<V$(OUC!$9u(_#uj)Cadf&s+n(lq|
z6xvgFlAgcGsw4k6@0}2pb#NrmBdh=3dtmjh->pPtJ--a;JC2t196_AZtUV>;GD^)<
z(zZ8BXX=i^lcRy}oz7!<UsSZ?fn#;|u_}NEoiMqd#NN7tO5tf_j|V)`)djMZvN?N-
zy@6gCT?ir;&josZ*#9j1zsm##_tf1N*i$tf_ZM35SLcwu<7nc++|nu9Qf5cd^<8xb
zJyQD8x}#;cUB{N`UEl2pQ6&O!=GwrXH7E-q-c$8mX+cJGi!N`BlIKV>WEA7A8|D%j
zyfx55gUGI|TH<Qi5~`Xqwz4rk11g;VB-~-W#<GX2?pPx|-Emx$-5!=Lg%~3CTmPI&
zB{wO;Zqp$27aj62dfs7?SkNDXP_KaWE0Tc*u+Cz=0lLP$Bk3wDa+odF{~&7f6us=<
zNzqJ$9wHmKgr-3cWg7IbZqPQW_10x^25iuGRLg%rP&Md>WW{C64~O%nL32n~XQTsc
zj$L(!*r103m)7kz4JzY#M)p)0>BSUOQT|qjdP1rrYP{qifQZ@fcOj^I{}15HUNHKb
z0~f3FK5q4Yp8~y`&SeG*JOtG`M}~89Wcb`1*)96#vO;_6PSf}TmUpb~B>%1syC)G)
zUtrf!4|!`S*Hd?@*SZs$7)eUdw|<TLc@U4E;dqkN2sDpBDI3VN<1Ntbse2av_++4W
z&8c2wdtQLe9{36bxuB}nX+E%}5~r4Yhx$uoFZd2Sfb6SJGDlzDp!BY1%TW?WpJV-=
zKbbnP!#^`yNnPxy*?wq9Yw+P5!Zl0|lL*(Rp_&~k48X@-;p(;i5jIihF|3;!?@DBC
zbw}-@17z)~8X@VjQ9nyJd+N@j<DV6Yh5g(As5`#&zXxNe^=GVjfJ;!Edm7J5sEq3Q
zUx&fNIQ3J>pRvw+*7OJVtUrw+&O-7@r(_+B_SC()YsageoprGIrL@J815z$?I^7_>
zw01$Fcm1n4-@fJ&SO9@D^H9p^$9W}C75yd+BFN9bBkS1jU_Gc=|Dss9bRO%kf<Lst
z=WX`d(<IhwT|?|A@k$W6IF<p(Y7;L^WZL99^a-@d6S&SDa<+@Sz^O~j$7IE-M$cfV
zNRr{d5%!PO9Y+D6BE-FkL%nrRtm@&AIgX+|KSJ)?cw~h$pNDWy-SfM4JfBLeM<;p&
zOHSzIg*3g#`np7)M(#10V?XQFB9*Khi``STRgz@sn@|Z}$o>_Vz2pU$CxB@YU&~|J
z?hslQxy@z&c%#ZKF1za*<a*&j|KeTeE-AZ{5BWVu1AB(up(<eg4UYEac>^4Y&mxZ@
z?()=WcDnm;o?5s{!>5(_3ps8AysGJvcsxfXRF``G4{R7K#G0dR&PV=w83oqmgj4bW
zB%fjj=s)~>^uRpSK$&<1!BDxEkyAGcZ?P5WV*ib4?vXV2SepAT;-Ta|m*zeQ?lG$d
zUa%V^@5d2dJ%c(pI@uiQ<gxzM@MYJzRM{P^QmpC$Syk&Xf;}a}Wd$;QJ<K}LYX5RJ
zPp{RPZS`%cp?%*ytF4YuR#zyiL1p#mP)cR2j!av9TSl{Fgp|XzRGlxB?EhzFGEo!g
zt@<-oGNABsW$qT2xf7_8a&kY->0!MIR9tnTZk?j~v8T}$z%6NXsedA^Uhhy}4r-vs
zD#6-{Gpk`EP8)D*q`b4*Io}j>7vxlf6r*XB8?4_k>i{$ux-%tvlSgnd+nan$9>2~D
z+aBwmq(SFB;S$uCH;b|YPR10;;1#}9D!q)+>(vVBk1F~Y1XR(VquV+HzXw(FF*5Mt
zmL9G9e+MD=#jU(&$KQCztlD6Y^$i&&_UiW#16F+|Y#Z*qY3>=#tz^l#+wQG{nU^4b
z8zR;Jq`V?q&td5bPPnHiyQk!!RFSQG3xb9sHfSSv!!uQ-ClN!LJMm0r4l+IKh_DW(
z!3YdSU@!uM5g3fXU<3vuFc^Ws2n<Hxe?0<x%ZO<v-fLE`nAw{{(HLHpvM0sxxV9|P
zwJqA-+7`E`ESqZ2nlWSUG#qDMV%uw<`C`<*vLV_Li$VCZmQZ^*5^Zg(ZN+O^9o0>d
zPOKOZVqIH%%*KDd5oX6CEqHS*8k%O~buxQfBw+)ww}d(%9kSyQI~r=n+kMgY#zZ`1
zx5w>77%zJbX$nQ-c=gL}iiDfn`4(5~Qo9Q;qs2l{XlS<MZ6Uj%2{yVK!rR)zt@i3w
z%j&MWuFh_0?+Do~k*M7qf`N`0p03u%8d^gOZC%wHr*Ga6ZQEo6esubDRJ;){jS=0T
zP{x612hfhlmQZxjW#L3;V<>w0rXjXYH%?E0o9OCta-q`%YEvW;j%Rd0Z2^^TExL@y
za6@M(%TyF><r|A#46H5G(Z&4q1U=t0L`;e?uC97qy>{KItFNlAuBKnpH&3(EwJ~l=
zxHQDpWhLz?v9`#T7$Vb{XtmqJEs?3z+@LjO2XLxh2kCUrVCyxdI|h}bo$~d%YTD?a
zjqGSCORE_{yAd&Iwx_g*n>rG)_RXQG)%J4rej@wHOlcxP6WJkECe|~|f6v5>8PZ4-
zjbyigGO{uh4n-T#!{Y3mo#-^^XzjNoLbht$m{f0}x~r+A{<Z9LT@6vR9bQCb*N${5
zQ<RpvQR?bGrpnaE^@#lBn&!~v8pWNA(BpMh7>u-NhJMp?@{l0`G`)?t71`q#GO}$n
z%MOuc6NqdbSsTgi48_=4pu(iPjzZGM<?XSqj)rY^W3)ZgV$05D8$B`UhUOtc_A?zT
zo>h~!Cv<=&#q7pVd`l?AK|-F(lVa$5?3+V`qjoB<E5u$a1cOIo?)Wiu_T)*i$s!6X
z3t<=5I%76|oHP=3e5-Szy)2UGXtu+VI1M0{7!u;4a6Bf%2W|MU63j`>IQK&x&1gxn
zc|*s-#KNY9EeoS<3BF#c#x`MZX^*#I07Au3(;W8c5t;}?Q-iKMEN1%?j<es!BN4j;
z#?bz28n)V-8#>UPIP}EuS}MK6>$H@c)RB-Dba~g2+lsRwY)_dKn`(!)HsP(_7{{kp
zoTDIB54kF0x~J|@x|iB`p%(36x9aZPOv7`3ol5<``u*h0|Gn*de&f*jt;+9k+4-dl
zH~zOl{(jB740gVQ{7f-(#tfkcF+z@1LXI{<4j4k7@q+zHU(f{42_btpX6(lJF8w4L
z5Yua7#>=S`C%(`AG?hBbMtwDv@?%Qx(CewxA)uf6St?}%KMhz5Samv;st3FRup96;
zz&^k)03HRL^F}Il8t@1pFRO0?+JF_mOr@3sUiK^e@fq-Be=2o5;M=IvK|m%<Rm<er
zey#9qE%%HmF7WS#Ez-GM>)dOplzcC3c|kb^xrAyCe)XqNHf@xauP7aPMOo1nf45jX
zdcj4rCr$uW>VF9E+$*V+R3s6JcH{V+1^tlrfpnI27k;-O1}jOZD=q)HcUejPt#Ak^
z`48cDANX?t)BKJM|9Oxf{xA5y0sm?6=R5Ty8U13^`xWrVIr$qh{Au974E{ek`QA@R
z0s6NZ{MBf)JG1zz0_1mq{|)fv`+25*^~$~t{$1cd0siznAch~<<@1frOP6s7GT;A2
zDs?enTE;iQLjjg?67-XArc(U=M~2@k`8G)WUd3|si}Rgj)S-;>Oc}$_E|=qc{u1QV
zHoOlgM@bt@gAw@uGy>*(0_OVxJPnxE>9NM({H6g@u>wNaDpR8I+d0S~VR?p3=DP)0
zu_F`5Bqpq@k;#0&faf5S;s5FVRD}2;u0=-Tl4GWWT7XNAnNDlIy2=Z2ulCQpgFaG;
z3H(hsD`_>+c9SA&HR0#^jl}VmiA$N8%sbnsbVUvQoG!@t&FcvhmpC(-^0`Ep$;jc4
zF|vLTm!$VKeo)&>W%yDLe>;-$wVID5AQCrmmqP!GhxGT$TsCLeicqWJS`F(p?9#AX
z!@U~zX?RG(qZ*#n@U(_!H5B88OywHd8qUzLR>QR#)@#_MVYh~RHSE*ykcLM!JgMPn
z4bN(5K7vy|LHS{8I77o)4cBT|uVI&l-5T!IuusE78Xnc~q=u@L|NhZmuVg(g6@RUZ
z;6lxJJzQk5K@-gPJ>2}wnqa>3;V!pB^PgX#GH!lC^UZfZ-25iZH{bto^IJ6Ed<R6M
zX%N*p^F5F>LucAFG~Wer^X0>nn>YZza@n$l_LTLFm?ucsGiO)NuAVV{UP7X?Zk;u!
zdd8gUnNu}GOoIWhG@?%X9(hM7#9wlpwRe|tpz}!Ki4ze5`2`XVB?D>Zy-D*gjlgnM
z;rAEZ0x&7h!o!akvP6=s#}#;tz*}$zuJ~Bb(TyZ{^8W>6-4HgM-{U`syg#pi%?!?0
ziFqwLf*jQD8?}b{&te$%eP#^v7y5@hL=qP=`JR>}A8ifc0*X8?bj<6h{08!Hjr7TV
z7_zNz`pS|(d~f40g<g6g=t&=huK@VeF&CoLQ~5LRhR5DVLCK$8Kw;tKWg>rGA<OW4
z-yw2|M9RHiglqZpB{I@G9K&<|0*Tn(A+VCaP$E;j{TTT3FO|p)Z;%EqlgNDUGc0G3
zL~6Y=DOM|yfOjK2&tD>uwcbZr&QghN^!kV_AO01TP%l5}m%n1zLqOWRXJ|Sgz3%ef
zOlzwo68G{8TlrTMeG&p&y+353Ylhwkq}%&b)H?sFvX29~&3g$AT<!lCNbmA)qJeA5
zz6WHtcPtHDU(yGGz20|d;KmVLk8_{*M|AW<qkase&wG@}Ch5*W?{4bcRLB-P<gFqn
zI0Un6;;{D$7FsWTJL;W6PNV-7NIxs`E&{8dU=$y*E~=#1#ihe{faN>D1IZ<9S$b8<
zP6*;>ksr=`W#4nmy#RZ@lgLTIUmL+n;bYT|CSk-($Q0gN%DlfkZyq9=_gxg`zk3XA
zjxE1;DJt&`k^LFn3$6ggf4@ZXy!@=C|MR7k@}vI%<naN?zu#Ah{E(F-Y$4%G!<&&W
zAt8>Rb~$e;O7wqaIQ8@1K#BfCmF(Z=?PUIkUj(^$8xErQ1qedscKGXm(RUYU7yJD$
z`<_E)+A|b>rHJtrW9=XR2{bRG=>JLKM&yOJjasKFXs+Blfkpn*;=RpCk(VU)s<e~$
z3Fcq3OHij08aWRc<LK+;y>Z@DkbKvHmp7V(pO08bf~@8vEaX??uOxxmBfg8nkcp-8
zbSbw!MTg1@ZU=kJw{WnFW_=C7`#PkG=9D$kc`v_GS#*hvt>1eL?4tSpLjdK|F-Ibb
z7D&!WG33Lb`IbOK2C8_=%fO3=;2?@8q8v~0E?O&IkGxOh{Tf}Oc!%dP@P|+`?{6gR
zEq@nz-(PV!zZ{iO0|EISS{8YqMz;7s`B?CL<8e5D8l_~Eiv%o8s_;Of(08<f;_$Tv
z{0l8A7y3>c;xvo~lQr>8LmZ2GPVw^`DD;)r10WT>3gXlPwpgL>td^|CWQFidEmc$@
zqXf}kKxk^EB9<Fs9*7r}5G(ZA^)!jIhTYI#?yc&l?~CEDDEKvw{tx?xNk>tpry2wg
z^;E^ne$G}{T1@_I@|p3-oD`Z*8e2v9p5=kfnEy72{>r?n^<+we@}w*)M)`$@rLCLE
z;+ZB2o`(v~H|fG%X^o5vH7h_YeB4vK2$01;OrhUF*V78DTokN@g+jkap1CK;BwZdv
z{!cxyKEzw~2I;J`hdo*37b6D#^}ed1XcFZkTR>IMmE%Q06qLaEk`|BjekzsdiYT}r
zc1vQO@)JO=Fl5;=JTxQ9u0e67Kay%K<fkiEF7oeZgZ$M~wT%qfAmd^nefn<V@><09
z5i{P$(fXse<O`+%QBV#43q#7CCrNe&#1BH*KYQfq_T#k9%oudaCzY_d@;OaqecfB~
zN3vx<9(NC_@})vtYL)vu4@CZ>bTQ?t8c(`xOBuhi2;yJ-u~KR-AxnBIbFYFVd}Ne;
z6^G)FOQDvukjyEeN5C(bii6eXl~T9KQa}*-Jgxl~<yGy^D%c}?Qo#b0?tjuN`^*sv
z&?(K!XN%wKoj}P~2T;!6O3NF4RlhS#QScA!4RyZZ9G}W@o8w_dbp~18g2fEOW2(Su
z6p#f<UOpSnzs*~<iu81dbU&*hb5mYbOPcBEgb$z;|3|%5yVA@|J@VI}IsB9Js`|2-
z%AfBt0M*K$!xUh*LXY})T71Y`^{+-r6g&gb!kbl3`9((5u0YFo$vVD18(K(TQb2ef
zxBySFm0<*>%Oh{$y!$#Td8&7L&LhjauU`0AqP+ptE09Kx)+lW`FNLh<fo~ck1)fTt
zEWUjY?UYsuJQs2V@$Ku|Ijc!{3O$92{lw0ZKY-j2PZ38m@4njE#Xv{i4W!IdqGS&5
z9Lc4m<(~6tzR*`&4-uJ4*khgrQC_AB#i(bYm!#G-c_s=Wr__LZ9=I3}uZ6rOB`;t#
zeESaXwALf@+afl+ci&p;24X`MwsBZXmw3B~!xd_7twLPhkuH1ptrnyHhN?WzVm#Av
zK$0_ifSw2XP|OHk9y~9M<@LdO9VSld+O4%-fYARbrgNyPg@u#i-*x!`>lHZnlEkEQ
zyv)9)!}QIaqUtUPcmMko9FgR7BcSJjPa<H2yr6WCq*>p-bGKITs?mM1yf*JUdut&t
z7v1v|+JCFH1H!lIa`x^V7RMJp|Ivhh&eKzA9`n+u0@DVVx0+z!{&Hph&`zrq1|BG9
z!P3!r=vAL9dkDh5eY<xKYZsr_qWA3-b9Y=U%?Q52!X%Zyp_LErw5WX8sr((S+_w|<
z*eOQ6i^E44?XT&|YZp=Z7vV!igZM}l$0F~(wu(mak%=l_FRGqGt3@Yjr8{NujM%6W
zL~IhujSgo_sK$UrFXG(|T3f~|da1%TimDsXf;a7(tn~jWZ6-`Jx1)%gMye7w7Ji<R
z7r!OVtSjUa^_wmWK!LsM0I2oF3>pd)Rer>9V^kX*mo|DYj8=4sjl&pD3XbQ=b<IL8
zC}+XJ@jNi08fDd5nm#ve;1w9Kz6jnD-LKljg!kdd{F4_dnT)7a3ehh3u^=rv{(Wdx
zn+Lv?X{+;Ag6{uQz8r6Z(7RwNZ2l>KB!{M<zX0>k`9pYPJM=~5&*hhNGyenR-^(xI
zZLzq74e0+_z8pBD_RsRqm)g{LBi|=AXbE{*LM1J+suEEs5x&xeMVA&WC|XrHAE%eE
zOcagxla)8z!9r!`5FPJPqFzjY<yU(akCNKff}+WzE*s^6RzWs#Riz^PCyJt?%Zq%d
zU7_VRG~`0*OHoz{i$}4H;wcaw3%^P{o>i4BpmaQhYd|SWmjvf0k1{2db7HOnW%#q4
z9jc7`FNLqHU8V6t;w)+yB(im?bP2N3<2{o{Rd|LL)Q<e9tSDCS`${jvZ0HDSS%+{j
z!hj*x)Ff?ul-ty*N~f{Wm&gc=sr2|ti;84>jQ6v)V=Fzt$NLfW@r5Lum*=^Bd_mFp
zyj7J-%tPw=Rq&3Pai*MNYLu8(u?^XS`m-k4#gDHRvL$szjb}nk$mqeG$1qsZ1uB5)
zfKIINOe(D`@{Joaj$-AQSDmCA-H%&$bSt#kWZkE9BTS*&s#&M<47w=O<uL4zVAW+@
zS>7~fPsJDw)bH%L_)2hwpgK>D_P&UX9xl!Fkr__L<WYBebmyI^;~)!F;`qp`Hk@wD
z*+ri9sNI|*84vn4S7n8mmu*;8?GiT;HGLi@p@qlVJv<dXp1+os5O5gB51DZVxU&%W
zSb}K5uLr-c;ddCnH}La%#(B#skkKgx=;33#mj_=t4tb++uxuVC<B&g{w7EEVm+`Qc
z==D4_^6+6EVmw$Ld=cD?QNC)AW$p5xc+2wq$|_rI6&<mxuUj7feyda=zT$@@TC^B)
zZ$a#>TFZLJ@*Dy1-(aCPdnbCVGT-KEtMFl{mCcgyBH#AQz$~^YmhkWMpYR`nomOk|
zVyoD{2-%uh{+Fzxw;*l#Tdd+MtzikP@Dbt7^W^&<0`U58v#fkyp?8Akh*b#7e)9Y%
z<`dRv|2}KfJ60JCmG81Dc3FkDS!1uaO8mBU;q6uhgf5c8*IUE2(qaiWS{G2N+L{Q|
z>%Yz#N%BUk@HN<~u_|h;aw)ghs<;7ieO9?YLPEYDGWplQbErRTjq+E?N>nGT5@`Sj
zZ~o)?{u5RibpA&kO`#2kN3WwOSzN-hzKd}C4?J#Jzx<_D{DgJEE^EYXR^gu*x1m@5
zz^eK>V!X?L<$mw1$|tCXNMCPV?7#63R^eL|D!dXE`GVy~)aD_`4wtR+eE(0ZQGJ%*
zdqJgD*y^1y%zMEw1lvO83y)a-E3CrnpHP5Bd#?9?$bXq-{ptw9bEB^`ZWVi{R$7+t
zY0-kBXrzGV882V$ajV3;VVG6nt**4n<5mS@e`5a)`}g<B|5jC>RkEL<R#880RqXRl
z8g^h{^z+aM*DCL`%2>qXR>hUX$MjjF6kd|BhR#sRZ-RMbzcu23Rnq5csP6O)Ye64<
zY^M#kek?XpKHbam{r_fJeJX1HPod^D=&UFFmDl^x-HZ35&R%>a+!G8&T3Ui}fwf#w
zEHA-SEk6n`zk`pj;9ni&^0;6ZK4Nb^r;cy0;~VNhDc_h#f9pN#i}Rq*6gbS1CXfj>
zVyPY0SYX+XJS4)g_SSHySr!<=XX&F@rH3!8t5sF_NIsSn#mr~q^_TAT_ulzk_>3Vs
z9K=`iJDLQR&IHxU4SvkOYkN?AZ5~W6pg|S!jd!e<i)5;Wg7LX`EaNgIHKjkY&k}-q
z;grBmD)urgSX7hi_VmtpA{<&Iy=`v-%CF8ZQro-O(_8K7Ee)}4;ik4|BpgY^rYFK%
z@S*zYaqcq^15<wSetK6l5)U=SBhl&n-aX=C7)>1wu{OizLZj&|O)U-_)#zwwWpHAq
zUT7x9nAHh3C8CHzN1_vL#4u#O^S@!$b*t9N$~Q%tLrt6cG5>}pu4M|ggc%-~*%ED!
zhh%dHBOT4`8r%z@D-wgFY$5r{{GeP7V}hKuWr5xd04pn71iqsmQubvFsju;yZ}hW$
zRFR0@&9EHg^3G@|#+tw}wCl`S^Tn37_NF$u`i2`RVAU5`R0Wb~Vg*>k^mqJ;bZ8=~
z4=l660ro*qT|BGnsrr~TK<O|3o4BbS)Ew%Hw`sH6Wtd_On?tHgXQH6WLr)V}o2Qmp
z32qv2vuF=*W=rXYo29otSh;3x@Y*F;Ee|ePy)wAGZpD)ItJmqZWvG2~Xsa%frUu%A
zfenKW%AF3>Im+dPF@!PFDLcAczr@v{q79309j(i5B3HUbL%KcH!ltfhNHsD$0v$&K
zF#zEN_Idzm#j4eH%BStY?7bwm2j!+0o#<A2KL)w9E`9#6C7k<Aq&I~~@1vob8;jJ`
zuz+IN9aO(;ZiqKv@s$}d<lYbJ%oJ?z_RdB)%5%av$89IjK}2w~Jm*X=)=ibQ3y0cZ
zLUqCPc%%38U_ax)NADXtTIoi5&j>jHHAfQMIs|Nrsnvo(S@U#dc|On;v)T-;#T_YJ
zJ4%ERxGrHjog9&Pa?tU4bM$E<+gOgGYzx@|*^sKE@pK8b;w;MQRI8W4H=HZcCRvTl
zXuu)QoI-64u^{`9?CL?aE)Yd`H8jr^a(s!jaL*DEOoS7$Q1dLadj@niLoR!34jp1_
zY9f0~BewQPbm<dCMNuuHW8plRV~LiQ_O0ofBg&|4dJ7O%8AYhRs`^59jAXUUxY2=S
z->R3lH;00<wGf=vP}Y7O#zD0)iR=pcRE0-q6>R$<w+P9Mg)-zAm$>-}0-&X%kw{#}
zzPd@&v|;giO*9e4<*Q~(Bzm)6nmb)z&?3<f5JXKP7Ud3MHLXoeHMn*J=grakgtdkf
zH8W?|$koj_p`@TjJ}B6Tjb8qaNNiiS#NQF8#hUoGE?j^A%c9v4uq#Y;n~=hQAfQ4r
z!_ip|7{JhGirF3^rgl$hibO*hEVMOF5xIQ}GFVCtTgbFDh2tIM$nJuSJaGW==pvs&
z_!yD*x1o<#=G{5$xLM#s;s6N`2_jGYo{t<^iO(zC8-;&9W3uHD588kO$#dO|7gMY!
zCuu<qY)uz>O2u$zYr0v-Waz7q@rcplV1uI2KPFB;dc<&H)*(qE4j;vj<#xO5@0Rja
z>HS!Y{8x|}$bU}wd$1a+wq8lr>Vk9C_bDkqOdO`et~8MSe}jw%vz_ksIxk7xN@4cv
zGp3SKeq?&xlcBSrI2Gznd`KLK&eaLr_sRU}%dAzMnnQj?4tf*lw!2W^{G*x8Rb=(q
z%$+&x+?|8|U=I4XbI_0Hpud!Z-VZwCaI``BX=``i&LRIE=;f$ax0X-W4zq4U!Ew*$
zmuk9s);9BjTm&#syVPiT_gv}19P(FcdG{>(KalRN5N17}@pDrSI~_Ubcjlm9j`khM
z|NS}SznX)7UJm->Ip{Csp#Llf{kJ*jf5}0wK)u+$?tXhd=mYJO#)T#okT0)S5ym8#
zOp8DtC_dNZpa(&>wXPF{bI9KcdWCnC@Yg$~@huk8S#qtSV{Tcd&q_Px!u`h&u6d^a
zcD<4_{(n`<E1L7jzy1tVuOEP3j`PTFbV_5|RLYm9_qR2}@eeiKJ$?Ub4*S0bo$)t+
z)i>kS*&OnDs5t#`pQq)VYzN2v$Ga*?&-R^|t>xW+0^uJh2a3ZI(CMepaWH<?X*=$}
zLR_E2&YB$bjXCK2E8al<Yy+MCm~|6CW!k0br}a2y=)K4cWM{vmmt&ey>6<@+d^Lys
z5iRfjd($(Zv){Vg<%c=!yr%8A|MZds-Bzw-9l4@wApgs9&?kaEA<Ke7@aGGRpZH6Y
zoy}aF!_GR;8RtG7Pjeo%O8N2+{4rHr*A$J<tj7FGu%WR%7{>z{2(dWs@o|rg*#o`r
zVldu`shLPvPVh8Gf~_5q#)ghyGo~2uD3aJJA5J^)VqA0e4A>e#f}8cV<EbUuunm(Q
z@hEo-#Di|IInmj<4Jr;yZq%41s_x+7k#mYimbBv9C2Q(}b$BGl29V3IziP>vRm)%v
zvp>PQKu~c5%dZu|m8-8_x@2|m>J=-lt6LXbw`A$+x}e;!u-0t+$Bq5;K80B{^(gM%
zkuWVXdk)IWemG3?X!7svV9BRF^YEMfXqGmEjR?&{klK2ZyD_G@vJf?UMnl-VQO>$$
z@v~;k<fC3lK5b<`^A9w$l4Zs@J)}y^%)U7v%w%I5pUv~Md*8^k<vHd7gRPsUW>-rY
zlM`cVf=34=YYLMOp9AUZ87`@kJ@dqlB^}S~mC3l^Sr>bX>ZzJ6i_XVuy%}W|U%Tbl
z=+n7Fsfw9nBBnVO3AVupOi9Qof;hYh@|pbu^Qvkpcc8L#JmeG+rhcNC2?0FCrFS|-
zP4Qf<r}A888e=hCWAz}dn-;4H)QOj#s*oFiW-0T}?db_8rN?<Cxx;6cpb9?i$@#s^
zW4W1T(UFs_VNM9g)Fo$qvJ9H(uwW3I!kQ5v?Kw{arL88)<XLD&GbnH@%j_b{FmZEO
zGog@G5N0zRdyQtX%(O=qQEgS4MH+arPgKXYbz-^;FpgK<3ENDLlS9!iQH^(AL)DmF
zsK(qg-hqy9bC4Pn?bxWiy;+l%EM0{O>sBGfF-6oSs++fkQG|k+(UKf9aq2{Z;6+0n
z4OGy%F3g=&%b-*vTiuGe6PbyHnnZOR5C5W?BRZrbawMq^wdpautr^w~rfjIeTxpm*
zifZU=hcTs&J}CJ4fKFT-K;!%AkYuL?U7>vA+~gY?8>6Ak2E%6UA(KZ0O_pR%TNykW
zZsm+qEc;seKf(AOk_SKBw#qaT_kT<Vj#X&-NLgpP07wCTMt{E6H*khi7<qFYH{^N9
zIQ84KzJU{spoX|j$x56SaO#_R6a(!nY0gPxr+)y74|sANp-kreDg%xG`I_(cpSLIY
z3w^r&r?vkE9@hoZN5;<RbGZdmJAPC#<(v1p3^ea=QI^Raf4=3wccYAcEuBF!utlL<
z#VnJNGw@bW`L310&HGjcuGM;O|20|uC7x9@`sV#F15ay*P5JKn-wR#pFVzOk`(y^1
z_s^)$n7Q@802+%h_Js|E$(Bc9-m_EK2iu=(AD#NP)-&*^shBoko<9uyicA0W1SM#o
zk<;pUQc}slLqMJ7pVj&XI^S)krqMI-J1+gcNtD9-4jTRfONX4v=oy-tU(3YL%x@To
zrCV9aeg1qOT>765Q>_-)@OSBkQFPOOT1u$-x{SV=pEHoJg*cPD{GWp9EPwY(C2ioG
zv}20yF8?i%86th!rspv?t{zz4=o|QZh?P0?&Ae&-e^dWIpvw@M^3A+uo7Ojh<@v{C
z$~EoC^)0M_T3^4v*>)AB@e&M~j%4%=<T7QazNpv2YZdHv>D!uZKr#5VWy&|tq21Rg
zi9RE!q3yyebonz}bfZ7rMK|skI9ltw#Kgn8e79YrXXH6Q>!y+Sn%2L^b^f?zxi-j6
zqkg2GM<I5az$o+svdePlzulx1PW~PJtF^wno=>(a{Yy>9ag}d;z9EPHdts&U5hIvG
zpG%-zB2qHmr4+E@D=WEWiMviwDZf|iZ!J{n69M=)0@H8J^^<H@h@^sly98o~rJy;w
U%dY@qApJXbDvj+f1s5v*6CLPz5dZ)H

diff --git a/random.c b/random.c
index 7a88c34..258820e 100644
--- a/random.c
+++ b/random.c
@@ -93,6 +93,7 @@ clear_number(void *p)
 void
 treeaction(const void *nodep, const VISIT which, const int depth)
 {
+    (void)depth;
     mpz_t *datap;
     switch(which) {
     case preorder:
@@ -111,10 +112,9 @@ treeaction(const void *nodep, const VISIT which, const int depth)
 }
 
 void
-random_integer(mpz_t result, const mpz_t low, const mpz_t high)
+random_integer(mpz_t result, const mpz_t low)
 {
-    mpz_sub(range, high, low);
-    mpz_add_ui(range, range, 1);
+    /* range = high - low + 1 (inclusive count) is already set globally */
     mpz_urandomm(result, state, range);
     mpz_add(result, result, low);
 }
@@ -129,15 +129,19 @@ generate_series(size_t size_of_set, mpz_t low, mpz_t high)
 {
     char *suffix = "s";
     if (verbose) {
+        char *low_str = mpz_get_str(NULL, 10, low);
+        char *high_str = mpz_get_str(NULL, 10, high);
         if (size_of_set < 2) {
             suffix = "";
         }
         printf("Generating %zu number%s between %s and %s...\n",
                size_of_set,
                suffix,
-               mpz_get_str(NULL, 10, low),
-               mpz_get_str(NULL, 10, high)
+               low_str,
+               high_str
               );
+        free(low_str);
+        free(high_str);
     }
 
     mpz_t tmp;
@@ -153,28 +157,32 @@ generate_series(size_t size_of_set, mpz_t low, mpz_t high)
          * */
         mpz_sub_ui(tmp, range, size_of_set);
         size_t invsize = mpz_get_ui(tmp);
-        mpz_t *number = malloc(sizeof(mpz_t) * invsize);
+        mpz_t *number = NULL;
+        if (invsize > 0) {
+            number = malloc(sizeof(mpz_t) * invsize);
+            if (number == NULL) {
+                fprintf(stderr, "%s\n", strerror(errno));
+                exit(1);
+            }
+        }
         void *root = NULL;
         size_t i = 0;
         for ( i = 0; i < invsize; i++ ) {
             mpz_init(number[i]);
             do {
-                random_integer(number[i], low, high);
+                random_integer(number[i], low);
             } while (tfind((void *)number[i], &root, compare) != NULL);
             tsearch((void *)number[i], &root, compare);
         }
         mpz_set(tmp, low);
-        while (mpz_cmp(tmp, high)) {
+        while (mpz_cmp(tmp, high) <= 0) {
             if (tfind((void *)tmp, &root, compare) == NULL) {
-                /* printf("%s\n", mpz_get_str(NULL, 10, tmp)); */
                 gmp_printf("%Zd\n", tmp);
             }
             mpz_add_ui(tmp, tmp, 1);
         }
         tdestroy(root, clear_number);
-        if (number != NULL) {
-            free(number);
-        }
+        free(number);
     } else {
         mpz_t *number = malloc(sizeof(mpz_t) * size_of_set);
         if (number == NULL) {
@@ -186,16 +194,14 @@ generate_series(size_t size_of_set, mpz_t low, mpz_t high)
         for ( i = 0; i < size_of_set; i++ ) {
             mpz_init(number[i]);
             do {
-                random_integer(number[i], low, high);
+                random_integer(number[i], low);
             } while (tfind((void *)number[i], &root, compare) != NULL);
             tsearch((void *)number[i], &root, compare);
         }
 
         twalk(root, treeaction);
         tdestroy(root, clear_number);
-        if (number != NULL) {
-            free(number);
-        }
+        free(number);
     }
     mpz_clear(tmp);
 }
@@ -209,7 +215,11 @@ init_random(void)
     mpz_init(seed);
 
     size_t count = 256; /* We read this many bytes from /dev/urandom */
-    char *seedstart = malloc(count*sizeof(char*) + 1);
+    char *seedstart = malloc(count + 1);
+    if (seedstart == NULL) {
+        fprintf(stderr, "%s\n", strerror(errno));
+        exit(1);
+    }
 
     char *filename;
     if (userandom) {
@@ -219,9 +229,30 @@ init_random(void)
     }
 
     int devrandom = open(filename, O_RDONLY);
-    read(devrandom, seedstart, count);
+    if (devrandom < 0) {
+        fprintf(stderr, "%s: %s\n", filename, strerror(errno));
+        free(seedstart);
+        exit(1);
+    }
+    size_t total = 0;
+    while (total < count) {
+        ssize_t n = read(devrandom, seedstart + total, count - total);
+        if (n < 0) {
+            fprintf(stderr, "%s: %s\n", filename, strerror(errno));
+            free(seedstart);
+            close(devrandom);
+            exit(1);
+        }
+        if (n == 0) {
+            fprintf(stderr, "%s: unexpected end of file\n", filename);
+            free(seedstart);
+            close(devrandom);
+            exit(1);
+        }
+        total += (size_t)n;
+    }
     close(devrandom);
-    mpz_import(seed, 1, 1, 1, 0, 0, seedstart);
+    mpz_import(seed, count, 1, sizeof(char), 0, 0, seedstart);
     free(seedstart);
 
     gmp_randseed(state, seed);
@@ -345,13 +376,15 @@ parse_options(int argc, char * const argv[])
             break;
         case 'r':
             userandom = 1;
+            break;
         case '?':
             break;
         }
     }
-    mpz_init(range);
+    /* range = high - low + 1 (total count of integers in the inclusive range) */
     mpz_sub(range, high, low);
-    if(mpz_cmp(arg_count, range) >= 0) {
+    mpz_add_ui(range, range, 1);
+    if(mpz_cmp(arg_count, range) > 0) {
         fprintf(stderr, "Error: Size given (%s) exceeds range (%s).\n"
                 "No unique random numbers can be generated.\n",
                 mpz_get_str(NULL, 10, arg_count),
@@ -369,6 +402,7 @@ main(int argc, const char **argv)
 {
     mpz_init_set_str(low, "1", 10);
     mpz_init_set_str(high, "100", 10);
+    mpz_init(range);
     parse_options(argc, (char * const*)argv);
     init_random();
     generate_series(size_of_set, low, high);