From 98dc20609a5198b6826a189df6cc010880cbaffa Mon Sep 17 00:00:00 2001 From: Kresten Krab Thorup Date: Sun, 1 Sep 2013 21:52:46 +0200 Subject: [PATCH] Include triq (for test purposes) --- triq/ebin/triq.app | 10 +++ triq/ebin/triq.beam | Bin 0 -> 13340 bytes triq/ebin/triq_app.beam | Bin 0 -> 1068 bytes triq/ebin/triq_autoexport.beam | Bin 0 -> 3200 bytes triq/ebin/triq_dom.beam | Bin 0 -> 48988 bytes triq/ebin/triq_expr.beam | Bin 0 -> 2168 bytes triq/ebin/triq_fsm.beam | Bin 0 -> 2864 bytes triq/ebin/triq_fsm_stub.beam | Bin 0 -> 3252 bytes triq/ebin/triq_statem.beam | Bin 0 -> 8584 bytes triq/ebin/triq_statem_fsm.beam | Bin 0 -> 8708 bytes triq/ebin/triq_sup.beam | Bin 0 -> 1404 bytes triq/include/triq.hrl | 127 +++++++++++++++++++++++++++++++++ triq/include/triq_statem.hrl | 27 +++++++ 13 files changed, 164 insertions(+) create mode 100644 triq/ebin/triq.app create mode 100644 triq/ebin/triq.beam create mode 100644 triq/ebin/triq_app.beam create mode 100644 triq/ebin/triq_autoexport.beam create mode 100644 triq/ebin/triq_dom.beam create mode 100644 triq/ebin/triq_expr.beam create mode 100644 triq/ebin/triq_fsm.beam create mode 100644 triq/ebin/triq_fsm_stub.beam create mode 100644 triq/ebin/triq_statem.beam create mode 100644 triq/ebin/triq_statem_fsm.beam create mode 100644 triq/ebin/triq_sup.beam create mode 100644 triq/include/triq.hrl create mode 100644 triq/include/triq_statem.hrl diff --git a/triq/ebin/triq.app b/triq/ebin/triq.app new file mode 100644 index 00000000..5042e19b --- /dev/null +++ b/triq/ebin/triq.app @@ -0,0 +1,10 @@ +{application,triq, + [{description,"Trifork QuickCheck"}, + {vsn,"0.1.0"}, + {registered,[]}, + {applications,[kernel,stdlib]}, + {build_dependencies,[]}, + {env,[]}, + {modules,[triq,triq_app,triq_autoexport,triq_dom,triq_expr, + triq_fsm,triq_fsm_stub,triq_statem,triq_statem_fsm, + triq_sup]}]}. diff --git a/triq/ebin/triq.beam b/triq/ebin/triq.beam new file mode 100644 index 0000000000000000000000000000000000000000..47523c520a3ad4981b21bd69bee0d99f6485e0e9 GIT binary patch literal 13340 zcmaKT2Ut@}({MrpoCJ=BBvdKEAQ%D?2uM-%5K1V5NT}+iC83u{0wOk~D2N4V5(^?K zDE5MiUBF6FvG)!ZR1~mqE&pzS_wv5a{l7d8XU^>G?Ci9iO&&dF23X^8wsfAmi?53; zH5rE^T*2XRAw*eP{5-WZu_QH37Lk&gA|}Q}#U~LZQBo;UniwxpN=;N58dZ*oN|K6| z;!{;(Qqz*7WNN}Vu`n?rK1Gr)Q(ys>5$Yg)&17z%F1i z-W-88jS!_K6D9G&L;|3xB&Ukflf-I64`8#HR8?RYU~{RmVlF8?MI?@iPZ5g~BDYA&+0bm@(h$>J< z93_k!^FI^7&QNI_n2{JE5{o6`G_~Qkq|{W2YHV}_@Qaj?BA!o(5{XoX#z^tfh-7hc zv^WiK38DZv7a8%%&HEk@3 ziSbEE|2}AK`R{a&rRK0OMIKn$DwMYQSE}8=Qf>d0`tNeB|CN_(2@=^gRV2pYsM7&T z0RTU80P6vm;3;y75_LQS&){ehrVuo>BW>(>b^&&H4i-(I;W0TwiJHd1`*YmEs5=-H z2juh0@saFwS`Nm?5#$^{3Jx!!Fc|JMB^t)35agI2gM!b-_zZ&F9}X5{d=5b#3DIh~ zM2UI`!yj$rYt~@S9z~eH6JT6Dd<6^lyu74?y8@Y|gl^o`AvzvL`;+yOp zuGBFII1h}#=VSapz8l}xognMSOla5_CboA+ON+iX@pT;Ls zhnV;Tj7Ctb+bch?SQ*F3(;!ed6b}XsDDLLtzUi)tUIJK9O)-0V+{xek5DnP77Zh710Fh-Bz)1cyjNppV znOHv;Xa&W%_Qx_b=<;W(lt_#~m-pfknl?I);E3u$3+riP43y46b@2#&L_s#HN26YdWJkctlGF z)x;y(T6jbUBMzAf(H-H2rhu!#8G2v_SZ8QM{Xk=c29|=9TTILbtW5V|$Pvwd3=DST z!C>;q`h4gkpdWA%q6vLOCs6*sK0@?#P#PW?rwjk;k5+_7;JA+RivemtHbjl^hynDA zD>QK|XV^8szU!db<%rgQ`G!t_dTYbDLJfgo42L4i0-Zo>!Xt*@*+SMz1Ak#k^n=*w zmm@kpIDjhR2QdPRD17!G`MOX(@TDyiqq|~mz`Fu0kf0oin!^xK#4St+Xh^6(kAMmO zvxi8s5o%0kpeAH0IsuOug8}9gCd?YL7CJr$W#W`|(=fj|Ia6_4wH?#wgDmL*-u?alf1Q%{%!q7}p zHfly7YmLa~0r>{dVl!k(BgoDeVjsz%Wkb7R01ZIu{vTm6F`*v> zl)@v%s<>#@2`3n_glZ&}BVIdVLOeZ8@xk8La$GEnbs~aW= z#DpSDDvR}(BNJ39#TWr(ttlR1YonGRK`lTWS`5V@j1)F%K_hB{0!hsV31Fdvvhj$e z9?CWWmIu{>2+VG#%BYqj6YERfvR zia-EG(S&b;(M&KAQ$th$3I|MF7POi-l=;!-whBc!rXTN)_A*+Y>j1#@l3RD&&9 zELN^QU`!AWVH{(j5EGhU0)-X1ff!SS(PS7Q56dlcKYol=SkX~2qd#8Q=UZn)eN_)4JY;*rUYs3WkM<3Cmh1R5aF7!(PIN5gS> zG>R*%DO@5vZrs2@;>zc`6UxdkTN<_%NSy?&VFEI`i~v#xT~F6pu`m zBV6Dha|Rx9c0i}o)ENvH8j}u_lu5v7AS!KrC~R~Z%yO_FB0-sfIs@iuR0dFNx-B{t zRDUhd#vqs+u>+FWpgOp4P>i5X0f!}Y6iu@a165}W;>h6B%6;*&&tTRwrG!zWw8e{L9=12({6 zVkQLOMq3RxIpU=7qA&EKuQoV_ef-fGc*N%)2l;}Agu!uV!cNT}xP6K$g90r?h3PP3 zgl}~1XQRHr^Ny%5$PVBC%?=634qqXaf>pz^0g4CH1S_RuxkUF;C4##Y7?>XkR+$P{ zArcBGzzfc*l=n=qf-A#J^D-MIazRcObCUplg_bVWK}82K{48(6E&w(^VP0 zas(q%P>@Vu&vw8?fb62mKqwer0#@LuQgFk}u7GVOYz#24C0}3@7*Kw4#0?nP9{6yk z!u7=1V&Gvp;*Ky74L}7E>H!!W0Xj<^N0B3ZAjXxA27u6_;((+8WgHra!y^JY;t3f6 z8c0?~s6ZJI5Gi;hNRD`cfhiyaf*sHh8VFQSRDzgJ05Ek5#$!@kc}xb4#{@1T5EcEa zE8M;u@rK)_FevUs0)Yy;O(et?4WdB;K?w$Ls2uSDqNn=fkuY_Ce@t-*LR-^pLH8?1 zW~ky2kWkQE@P&cUF*-P|m>AI&X8%a0%>nag%Mo8FDiV*(VWV@oc-Ygq(o`5|Fdmt! zo*k({1Sb-A&OEIBGBJa6dfTvA7+A4EjIcW zFqj<#5S9}e*mQs*@S|biN5jC6@JGQ8BVa(Y(P&te1pl{2kwdW$ zD_yiA-lKuzqM6k^CMc~;28e`cE)}lk#)Zp{-b@s*3@l#JKn)mcLOBu$Oza9mNi zI~8XR@T6Fd1c5O(1|Er_UuY1T?(yLsTFy z0XkVRz(7EMohV0w0lx>3mZZV}4Oy}r2>}E?U`=sAB?K1&jp>M{f`cNJ24WB#6bvF* z32=evP8l6>sen8b#}ZpK8R{|*BnOb?31p=?qVs^$=MgZ_#0(jV!30Hw;7$Yj@Uwxy zP|IM6g(4f&d|X+L;0LOq^1myWZ0shzTlDhawH5a=?!d13_xGxh%N;CS*QqNCJ171Wmv++t203Lh1DP4YLGdq6hzMf zU98vy8(mBzNx&P^g~{2#1!t~HZs|7gR!WMX zU^sU=uoe+os~A{oE-Z+O1FL|6lOumgaLSmgdQk2*tIHpg3wl_S0hz$dO3JWer$23Xd$) zMwf#oEFWe|KFpRJ4w{Qca)vw$8@hbZk|}P$uwR7-j2wxkQ;UIGxg$*QjDU>rqLs%4 z{U4Wx$%YzdSpg+mjtF6oCW1YhY`9004fkjwMXGCv6iu2Kwk0yqq!oiJFvy1gT!CS0 z4q6OwEXa`uBQ%Eg1CF`S^VDTE6p&=s9SAs7TgW`S5)$wmtaFVt}i z5JiCMgHxOaMRFt&Fa!XGRcy3~@M0*&R?CqjKo($lWQ{rpT!BpBO%DVVlOB5=UWkS& z);f68Q>c&(yCR^}3*aX(3XVu{^rQ^w1#aHZU^Ji_b7;G%bj9hg7O;R-0>R?NY;^5E z+NBI@w@zLR#)H6k2^(EEqFgDsf&p?cAeXVx(toDu4Nofv7frwr0vIaTX!$=3+6o2& zP9RGQ1m79qypkp0iT4EPH~=I7WB~Y4xDvqOcTE}q2*WrHJV)p{qi|h-!w=-w0|4bf z9LgTSjR6inkj?}!LZ1Ne5t(Mg_(bqz4ddW@ZJZ5&5q|D44(YZ4M&?c)#v$Ed6x|8n zaIQ0eX#n5{;_$mPI2W#k4damRGK@n#d82T5fRE?^@sV|XA>BO_+7q`30JNh8qyb16 z#=!#@2fz&goEHPY6#(QB0dNEWKTrn5A$=BrNdTbjy@zo)*JBumJWvK30K{E9(o>*M zp^PyAf&f7N5&-an$5+(+1)c!_Abl02K^UeB08Rw31^^r<4%0)1-z&fq>N3I~JWMYG zPdIOc?gwxLKsEqnh!4w|0dOc6+DHY!2*1xTJqtWlN73P)A%7+SC=WL*#}lFe(g47? z9icj2E&<7)Qe}F>03jnA=d{_>&FXUedKpnt{KG1%UUJL*oq0fkyK{~YM)yz%8 z$jE2W0Fpamp2>XL+Pr*c?P(>D3zU?J#!BSZ@(H@Zcs_-5`cRaQn z`zzc(+R*m(AY$j@*yF`+_4xPVT_rW~2&%ZuqG{H<){){WaQ0 zqvK)p9!L9qbZm^a&uANt_U~w)j`rhd-+2L@puc1QM*EIGOiuyN(Y}NGfblU00K{Po zg#nlX0Qv>)$sPcdITL_607!?qYYG6)g*9UQFb>C|-(ifxCyX)359PwA0$gM=7*7*( zVf5hRltef}hBQU-l0w1R=k5|e{FHX*hwgJ^zt1h3galWwlo-HyQNd4y{Hm!ES$t}W z6wXl)RKQPAqWH8#98nw{pCZDMMdIl6SjCS+A{=#oR9Z@WN~|;@N*WU@=Y~yH=IbgAd%G!vR`(4yW6MFaj2S9v9ij>;^pK^X&bk->FYU%^ms&S((~&t z6&f7~9ZReUOjI^HZ+d&>zPsh@tbHoNcdC|Mx$o9COqicN)B5iC_8>vOWB!H^yN=3@ z*N)=SH!BB58R+`z)!7Lo2|?GwC>J+GoxoH#3-+q0^hnM1t`~Q7+s)2(pYx_x&&PSe z<#>(fM?CBHc^fvzueK9b2qJ4K0>)%U0elj%TjW~<%P_%W}QukKTKog7n- zY^b=kvbS-EZz<1H`f%HhaLa(A07hwgu*dB8=G0Y}EO`@`viE8PH)%!1%+bd#R_D4q zjNkMXB7L3J z8Efj)Pu6AcG`U`-bm2TtX^Gyg7k6c?5xzTvcmEFBE4HZ`pL9dBevb?KZG&#exZO>` z#~#F=i~4iq#)J)T;%#o+jI60Vmg773`QEYjx?Rq%3Z3d2I+b}KQ{`Yb)j3vQQ~7~3 zJDqbcI&6Af=zEL3K~tLt9sjy^@lV-`we3!%WghsSM$ry*DSA6=^_5-zN9@ciTgw9$ zoZ0ezz?-rD7S>8@e4?LYyBpcG+JDIoy@8&o1-mZm2md^hndWp}KPULPfc?4e^A{qgpgl6uZ;$O4 zkL6iR*J#emT2s|0h}M(k8zeiLU2W^>L+yfEaboA9dvS{m9BBowZ9Rho+2+i%B}*5v}Sp?rr@d zX76o}03CaB{yb)QVq#ebCI8}kwMb;;0n)bQfIrg%^pV2VvJ-;0>!Po8FP729R}8)} z&2+ewb)|Z%k*#%X(BLIc#>Bp&&@OEzz2v_ngLwCpCd2My$ z`_jUerQF_Ett#)u;vZ+{*YBoJ+1=lo(X_tVbcb{4M{|eAEgupxOSC2!v__ws#cq(E ziSAnDzWV5t#+uE&nm+ZayTiAtm7GcNj0pNO|A=z}E25z+At|k)XOC5_+Ew|TM^1~6 z-ST~Exv14nRI4A5$!>nVU7miq!zplog8J>v83lo>w{EXrmiIhJSP-;&FYorfgvum? znYZt)Y}{IZP&28sX2*-kvT-}*L{Lt&sV(_GZS*F@X z?>WZ&z%RJrvGXv$TIx0Kk&kPv)xp={L9*s;n*-c`v~z-bW5j#zQ#i(t?2UCkmMtu` z_xrnN)8A#JCZ3UBLdTs|TfaK8&fxCH*4|%#0C(Taa>KV-zF%kU`i8%aNqX#&zb^^8 zzRhv`dei3Y^r(mZbLLW(s)aaIH=Px8o_PD!9*eU%t!cGu&$qFZPev4*x40|Y2^OVe z5V;I@W3AjvwOHMubWHUOCq_&so>j^b6nlB>lWeYxZGT4bEp@GJQaQ5X2u1ljHNeHx z`OcQlSL5ExJg0f++9BJn{2r(LyJ)-4g@9EyERS{c$Z5TP$#mZv^`GL;g>;iA?|s;J zGwA7+{x^w6;Ya)mL=H1}T?Z&OE4(i2#~4dP5qWdLlD1;URibmoQl0#^C~MIeA7g2Y zjq`ZTr_2^Fe%xngCFkO656MYSCmL@1MBNmum3^uA?|flP^`%OewT-WSHCcaM@;r2I zchBsf4vRiyo;q`S?VP=958qvLsWf6rwA0{&&&R(5Pz#^Z^x-xsH!UYQ-S1wZA2Mfi z>GJ;V4>~L+Y5wxwpnaqkp&t)9%@nC@@s^9|0%7Co77acTa${X3qlJGSr> z^6<34W1WDsa?>GoKT<{JT~21mc_%f$EwS-W8;*RsbN}nFt@|eY#s!z(*#1fG_4H-w znOL*MGb!I!ZFOcQ>0S$c!5uidD)!yVMa%bGyk?TDyNh)g>>5u0% zWEp+veR9dKp`m;6sUKNSD>bl^uNi;NcT`WSw){wF`%Sp`n{eV}Vu7YZ5#6En*v?q% zPlsn*&`C1QuBqBqQ^ovyv-Ajgi?C_Swkd|!*G#twHJWhj<=QuC@0bVd3wwI44>ezU zG{#6cWznWr@A|f1snXuiv!IjKakxqn9(PE)?M?n?+xu$4%hirt3CDcD=G+rmdHQ~> z5ogUxIHXE?P7;ipdr>gAB3TkP?R4Xw z)IS;8KAKre`poL`tAAgqQ8HT+74yBx&64s_jru+!)ZI8LE=5xHWryxBo5q;MUWs?s zzgTcpGaz{%a=VMXYjQ|vL*w|sjk{y|-(}Xf2eF%jW+(5fNstEZnH;hsAy@t-L0Yc! z!Q7G(GONM**&n<4v6lyb>p6BH>%YB;9MB7Y!d|&tGrg)aeakuO@7ceYg^9tfiAkiT z?Pro=?e)%#pFHTDX*N*)^U!an-~p!qKWDrBajN^DXjYRxM(-;o#>1?Q(Ra6! z_T3$O@O^OM`)7LOXVaq&p573!cJi6KsJq&v(%?SNMTgfe+x>h$di8FC$Bub*XR?j* z2k*|?x$)fZ2l08iOIua&_Tum<*X+*~KGiX^!LYwqlV31)Y$cqr4zV|m>m;Wx-m`nb zx4&a^KgSBmT0frVtf}AsYf)msnV_2e%V)0My?ZM4>^AR3E6Tr*nMbPn(rX<_Rvz?m za9xD|Znfy@I8kF}^YZhk{m-9-R!J`LGy49;Dft_ZTkl;TK0eZuI{T}A=~3>6_r4{1 z_F?X4NCxEkFW*#NE(|W;n0aq$s`B8IhAk^w)MxbDG|j2#t&qKbuf_Rdx#yAP#%^3* z|LF_;rxf zTs_r7{l@VR>#QS{Ewu30;~5S+Rrnm8^VUe^bfpV^hi-_sFV7PiR20>}_)W)eZ7g8V zCWah&w!;_qV)sTQY0CTKc;BL5OP*K_M6$Ou230kd&pBFtF@q=?aI77Bfx*^rb_he? z)pt%*{v--KHom{>h?c3j0KaO|O1s|4QcixDUzA0i+q(<#M&}S-a{xIs|FE%Wn&#_^ zfu7vkub&#Y^)BBL-R1Yv+gJMhn5qM;Jx)^26`+ ztce-r*XPd9*}Kh6;~<~P>P_C-Q9nJS{P=Xuro7&Toe75RlMS}|)^!9fM-N_JW{hrq z%X>02*4p~qlPh#tQ@cNZm9x`zI<*M^v zexCob_}kbQSFLF)?QULlcivo>J5ESWji(o+;QGS4Yr?vlBndf-x|F7I zoVq)C)_3PkXuZa*h>cKJZMGQGRj5&4UE0Y`ywGbnFUP0Lcyrh7c~?#iPLi+HX`h*K z<)>)<)E3)?$cB=0jS0tdobyZq=%wWe>jvb31;#tKlb;-zNLn}8XZ+Xq#&|7;ipWHQTenn)HBb5_g!I8LZ?fc5YdZZ!NZ~Fiy1C-M4|;vahd} zi#^-1G)%{Pmdv!pGd@IKsU6OCieRFDU8v`e<~85H4O? z_m@i1bJL&+li8Gwnmv__9BM@CC1nHNrH{|1To|*U?%w(N+6J9|2MHhP2aTMvjW)Qa zPuXd*$mq$s%!jTbY-X4+=vHlzsMjRAcYBf5HTMG*{rk5YJ*B+8a(jPev#{KI7xn3% z4FzBJmRbxrX|(#C+4o`3$$cMsydK+yu3A!h?rp%Vnu=rGoKICbTPB`6>mO;lD*r>? zS3eI@|1!(1v{MD0*RJta#(r+Bob@ZLX7I4*O!wP0ty$$fv%pi+%3V&CP9JA5Gji4) zjQ;CNM(n<0t6qiX#`sS>mjAS5yV{O```gtcT?E3_WqOI1jmb$!;;reve*_T)9%s+l z&J|k9%@Sf5;mePi zw505R6SV32Q$wwm3927emgh;`pU-u1SS^pSX*@WC=s9q1iv8L=^J#{?E&f5*YtcrV zIZ6u{1{?>ZeQK3sQRcf(>$XjMAZ%{ z=|e5-zikfA)jen-Z7qL)r#EfpJAUqka=#m8DFKIC{f``C-LE!Wf3WYx+I1HQ&eN}a z{qn;wBKGelr;S#J6I(p(Orm^eY~2vPxy-z(^vWUb;S&+}Rgj!ZiF>MUwPXbp&8)ND z6W<_+j2kp4-Yzkkb$sluJD0ZA>`w{oAJ}d>Q*Td4sDn`AT)1M|M1fJ(yv+r)ol4_t zt=6uM9^BDRE82`U?SJHT=H9s+kEIvu?+$jZ5it+F^bl=d{r#4@~I)m4Ok6T>GY+~=&+je};>POYvlge*Bb~3c-8u$>}{oO-fD{%_WOW})NH)=L_JZn`z!xmG2#638yOnxlSQnPMGKSG zx1@*UT*|Os`=O*f_}QI%L0x4XwbzkJSC}(Ge%*gdPIZ}>yoF8khWg9G2u>#i%?ay{E}g=Ncfr|ul%?UG*nh*10_1M%&9vp*)m*cgTh##z+<>T;Sx^YkX%-);7X=y+yE_#@sHH+8=?vl9K%Qn$?L{pxivf0M|dN5s%y zcF#6yL8frcJ^b=_|IUMtI<=_22Eu4!4>>Psrd{oM0?O3e+=mcpU|e!uiriD;?lweJnv zy*me}{)Y~{QftPQ^%tezV7y*BW@q)cS>dcVgMZ|Irf)HOws;2kzZT$&eE1u|$Y(V` zQUTzpq^Tqik`Kw30!RXqh!jgoAZ3v9Nh?UJN$W@@q*9Wcw1KpVlto%VT0)8> zrIAudHKZU?Flh&=mQ+vLP1-{`NNOP6B|RZMC%qpu@@)*9AYRtakptD05E z+RNI{YGhqxT_$l^%UBsKUzQPz!5YtEl8%y&kxr0WNS8>hqz=+GQXAtV&0P74<_5c6? literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_app.beam b/triq/ebin/triq_app.beam new file mode 100644 index 0000000000000000000000000000000000000000..c1560c10bd068a4dbd1709d793f58d9463552915 GIT binary patch literal 1068 zcmZ9LX-E`N9Khe~?BTjm)2vvLxSJLf)$VFa+5xMkmZ)u;7M8d>J2S4cvpX}rnbqi` zGJ@)ZR%Wf(hiLmyb`X(8*=0m@f)&wyQxIEJ^rgG^CW7b>zj^=nzuxtqiuwLL0F2{H z%S&oXG&u$U@FT2g8WffV7)3Fu8UwXIQ#G!n>(f9~kVJzl8dXhJY%!UONBMvtHOpom zMj0tQBFt-nf6M@s$sCXBu0v1=ED1z9!bngF%0TBh3Fk0mby@%@E+l6ZlFm{R*h@(& zcXFZKPkB5QPO{QpnM(sZ;lUqo!egLA6yfvwNjnit00RvHp?GOB0ct6VSgTtoqSH&- z{}`Q45-qq;gLP;C^I{4fCnB&JV?Q}^RItYg8W8G-Xm z2*Y2hWfrfc*DujDi1e!VDE77(I6$_l5}pte1^C6G?1g=c((=1!^qm~^&xzmwYlv@Q zS_L@{^)L?D(9=W(meB-RibT-;&Xbx^fvb8=BTli%3U;bEK{uG?xW)-k1V%n2NE}G# z_)t8oKN|<=HU>(96jlR_8sH(6p^A$Tf(R^v#75&BuW!WC%0m^E6@jV1RpiRYK}Jo8 z@h#>MI{stE$`Fj5aWgjTF{^0DEH8pQcfE=d-6CW{ZXc8*Jgcd09!5~JxN)nwRmkcJ z?l~9gB6OybkgB0OscrY6YdW~RH@5X!?L`k&zPpm_GDRucLA>2E+mM;+3_5DqokekR zTEFf4?3YR5)_Ezr?Pg=gwOz+-8;)dk-yN6XdRmjgrjpggGs!nT*BLvttov}1<_DU0 zW^S1oS@k-2{gBr*W}?-{6SIzIgLg)c#6&8#BX^6lX$%iKc^RBFruwxenK`_mPL zML%9XpZ~M*=f}~dSEuye+mwCwC6AFGPIiJ&;4g|;*gQEbb79{*HPDT6`+_$*@ R3EG-x&9{~T>i_pZ&fg1^JpBLw literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_autoexport.beam b/triq/ebin/triq_autoexport.beam new file mode 100644 index 0000000000000000000000000000000000000000..e7df441fce79bfdd10fbbed4e96d680041f9af95 GIT binary patch literal 3200 zcmZ`*3se)w8s5!@ydb(H;UOTd#s``LkpL2;xFm+4qLK=V5gS6XKp-R`4~RvridM8% z5g!nXSMe>jDqgK<(JKfjLakV<){BaW?}8|_R7JhBQSRxv=iE)c*?+$I=bvx>nam`1 z_Gc3z$jvU1#mtPc8gn2B7C{h%4Yitexhl2IY9#C?quDytq&8a!mDQ{^SkjH=9Msuv zG8;`QlbJ}@*_ouR*IBFn(())Q^}ZAjasj#Y4mCvi1NWpr6n|a;F?E(xzRpMbg)Th zNH-28XY$dNtPczPpDYB21OoYi!azuB)DjRx=>oY!0m#PzFam%9qYjk98HK^v5Ddc+ z9xjLYcnIRa=t3w1!V#)NNQY1y;o>|#PDP4P6c9oT6sVA7sfY`<7lnlmoWeOKgmJMA ziL@aJ5(E-S5KJmTgmVNoQJugx2X+%C;8FzVQ*ka2M@Bmm=qUangge!dO2-m}tB}da zDleRcCb8TJH~|$xu^1vBEr)R)*I{B{sX{mv=OG*+7dGKsgbOcoq)tcRV#hKHhsDL< zoe{qxF$iBIZs12Y@No$rl1lj490^~j5j03yJVC=8mWTL+Ch~*^lV~6W=Sp!t7Z>qy zsfdQNJ>a8%XK)STB+t14ogz}WqnHXNi=i?qf^bkSd?j=X5Yg_~35NH?;hqS#I~ZR& zN6bd0kpKx2DWs7|F^fbhEEKR&O&usKEH6+N!YGz1lXAH@%Uy)e0VDkZGtfcqW8FRU z0pc8-DqwR&EEHu7$76+voaHTt<$M`JL1J;foHY#8RDz~{eA9Uxd< zpa2XP`IOCt861#6n88JbXe`E+BXY1R&N(r7j-y~YzBtVAa1-M0fFF&EcwkXPIE9Pz zH8{ctnQ@$>;(v(Q-bf?>29}#EK~O%<1xh{nKq-dF&ibau$!2He61Xf%TN}fCdbR^LCtz16_tWARxsbf*C$I2XR2N&}A^g_XCN- z3_o)BIC-oXW(;?<17}PKGyG{n83H!<9IH7Iyr5}0Ci1-)fCWGWZ~-7)XaIBo@?iil z0S0-}7Y1Mh4Ebo2K0^U00AydzN1NpR00#ZZ-`3x4ip=iR5CC{GzW>K|vJYvKj}HJD z*NIr0fz&)069e{OKVU*IWzlhKyv|DcdQiG?jd=b zJ**HEZ`6>naR4$`7{K88zQ87P=mFsQ(I#`k1t7JPd2(c82{mNP1O zu7a@HkV|M#L{JFHQLVZhB9oQ|w#02UQw^)R>R`1i*+R1zZDtLT4MhYeSwP3&Y_mEo zIKgbpA~aS@Fk#LDw?i;_?F3uQ8mIBM`zZ+A9$7$rOqvB`)D!xOe$@ z@R~eZ(A`&;PiCz0T6E*}_|d^bUinlNx0Lm!ya;TLOu2d37U%6+syex@q&)k#-o3NE zUX6QJ8c_bWQ8mz29O(M^{b#A}e6wErDWFK2$n(%pU zGo#zD%`mn8V(-eTz@r}XR{rGKc_yUbx$^GN^Qj`YCyQUrEW0V{c+<9G%2vr~mVH>& zshP<~Ie)J9H9QaId*17kU($_zw{@-FrLX%@+1Ps*-ml>mU~{<`fh>mL^>>I4(l#v%>Z zqk0yOm}mFnzP*ckT<>cr+_*TY8kAN!@BhNbW4eeL`i#CIugH*7X?Tzz=ub31FlX&at0 zGAVAea@hV$FE_tohc4XjGw#dY-F8#Lqvfh~!isJ4mhL-WUK{j}CuJGB`90s4L{(Lf z$*}8}b+w(FQS~mSVv}M@58czCd)ksT@>pfwfqi`q`Af0G&k}YVe!OkG^~WFPPHfAX zd!e%aTwfmNc|DfXQ4)JdR5z^d;>TA&{ z4~~qgzV_(WmDq*SgS`)D1gxKtakg^odc~xP*A$JBmy=fy8(GROY^JpzgS|7oQ^G?| z=~IJzi<;}x^0gJSM;ykw8wK%Uwp|aiNoY6)!IL zCt{N0o0D8sc;G^1_WM<>bq?j5VpZJ9n(9MaqfaIHdktI@)2i#AUX9w4;~y>F^h4C2 zn0&#Kf~KptaCy$o-9O~IpZI6cuJEnyD$fkp$O4Jwd$wWM&01-*pn65<8iE@*W65`l zst3oPytWATo?0LKYwP0FGd69sOh!KoS4Vos(P4$SWWHNdw~sbIsW|A;m4+?(xpjuq z=CesHK{fkh{`k}5j)?WVb`msq=>5lgbNfPvB=?_aDUIt>{-(NLbmK|UjdVg;GU;jJ zgVJ8D%dtCgLl@`X)`pC!>@K{rMA`+u(_5B|PbaoiY2Ml|C(OoESGY5l=f7n>kCoyoA-*$`jR77#d~zBpO5?M z`R=PzDeNtsQ4L+DyPA$Z@z%hSzr3XSkhfmxP#q literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_dom.beam b/triq/ebin/triq_dom.beam new file mode 100644 index 0000000000000000000000000000000000000000..10e76522a1a7811362ed8ad8a43567247db88738 GIT binary patch literal 48988 zcmaf62V7Ih^Uoszo`GN>fMN{>mb2IYcV1pF;`#gM!)E5q?#|B4&d!#%(XiHS>q#U#V}n8iBLnlYG9(fQ zjYPs&v3WUZz2cLzGUO>aIaxXJ*=b2V8KaDVO-fFBVrHtfkYR7i&h4I)mf6$B1QdC_ zv(r=J^RnX8({l3^^hFN>wH$GX&r8Y8D{sO~Me*z)Jf|lX^b@kJvU-XXp?Yb7?8LMj zp@7`fN^V*~icNY-W@=t{J5%%VRKzAHF%#0;_RdV}mX(tsZ4%JLx?5s;Zi*}~r*{gY zbrH*oOcFCvh>^2M6-3Szi7HECMoLE4l$=~^Dv>MA%YMGHcny{M4TA84VUG%Yhv*0o<=O8LyJ%=pZd)OZk5Qd4s5va@o{ zxGX0nFWjA~8KZD?dIr1282= zAr>?VKGbOgkaZ#Km5~MIJVNQj+qra_me% zs9n)iOfX%1ep+7l_>}aN40OFs*Tm$+oKy!fUlh^&DE4Dz%i1C>J~bsXB_}OOVVM_I zj?9;mk)791o|}?KZKRN4(=wCG(U(b+u35c-qVdGEOncLViHV%bn9y=4lF}_LGbOoP zdP<&&RttjmCWbUlT7|~OM6_)l)iORKF)1f2KBG6rPgj!zSx_8 zD?K^gCMPAYcTT1?^;t3=grSzyJu53W#m)qTY6=lIsltk;$(6xiDGKwGP_lgKlc}tm z2?*Vm)jKaf8NnbeDG|}3(hqa${W#0F+7D|9*04?O8jrrqEti%XZ|ZAlVsf$##yP^3 zESH8rZVI}EFhO3Kv1?XeSypyRCJV$w%1%k?X>Y1xYRxJw%Z5TsVxFTV+0f_riP^mw@&7I zUrUy@{gqTtMv>k+1%>nMGP06;BM_!#cFQWCnvxf9@my8=J-d27zS?fRGqpPHf9KW{ zbF2JET_00sJ?;O<)M=&3X??!(wy;=f%N0v`n{vgBdfFdk=(Mh-HOLA+Izh;K|4r6u zD{H@VnbNjxOfKr6CI2f`=$l8K)(GRl{WM3vxx%*s?q|)(t@DVsV5O1(>iL!I4pA3X`Qs@a9wJP z??^hWix$3Uo&tRQ#ZlmFK`pKQA4Hwj7SWFev?4PrFFr9|obRpsB&PRHQ6}c*rsU+M zVX8At7_M5&DNSsR-1$Gqa-Qi&L@PEC?7vjbQi6~bS_q=PBl?Wxs@SM zrx%=8@#18l{8sn@7>G2&6*LEaj*qoj@(+S%yH8iY3g0y$pfc{U#WE z^C(yiYc30^s7u60%B8iLMXtr8PRrDG(ORtIN{js$6#*}?Yp$EN%sQ~N&X01)#S#2V zJHqk_JTnsenkZ)VEuVDSN@A}Ii(p}K>Z2Dr-uK5@^?sbC(>iNSOI%w1miAJ46S1_D zzI~>?6`al#{Yq=OS;|HQM4!}af0X03Q%pp$|TK`632Z2^9@HdY%<%xk>s3 zOGiw#Z*nn(2uril?CR!haW7!bH`$#Wwu~JrYDqL<-z03UN}W&4DBYBmW=MjuppZxc zJtPu|5{W*%L}C>Wc#u)@N-L)tYDR5vkp{R(ql2UpO^{Tn_jb|vDs{#%wKO~^T+b_` zloCeAtF4@J)Qr*KFAeawDC=KZb{NX4scbZ_vvLYjGYN)i(#Fz}6^zlnB??C-+r(e3 z_a3S7^%}{jv?Epa5~ESC;f*cTP7)O}1QoodA!C}#Ua2;!WPG%(QfZW_9D&KyDF%hJ zGyq8rPAW($GpeL~f-QL^Dn)jaED<@5p^+(}hdW!BY%DUHfdsTH~!{zBSP0n)Vw zxYziqYePj1O`t{}3>X|39FydysF9>q)PTA*Vn|)q*{rV#GqHvDs8rqx4Kx;-p=Xo6 zHP8-8r$J59(}QPSteoT+TdZfQ(pb(}Wuw;mGHgwrb+vLDres(zgQ6y6s`*tW*v_ay zIYljo<#@IN%BdN)mO)V)D>#)@?BY_#ugkNQp}I=Pus+@jorY2B)M08(IK~{>f^BpS z6?HMX$@q0u_C?W-GDqh?)rdT!G}-7bHR?T#!G1>hyrKfet*6vUXl#3gk7%OMGpw(1gv#iFx{m0MYBIsFdZW}s zr!dGG$rJ{mt{>|9GpwIj*DpM;iK0Hk`Wy39Mn5UZ=IF<>)lIeQ8x##a0+7@}9tdb2 zN(~6;orXd$QX~rYRy5Fzz*le{&#DJnOR_^8HO5$#Fbf`+N3e^Oc zMxr8^rJ-m@k8mjJ-U1W@&(>%mW7q(m)wFPC*hW0-0n1i`WgFY;bVe1FQ5p3@V3cB9 zd!*`k){|lv0`eHni_+s~%!RZ-kKR@vNR6oe|{x$b$@u<`B4f zsg*U}if|~5sv($6A{aKDXZ;6S>#{u@O}$DPFbSx(>LQ-4KhRoP?BOU_Az4FtdT3JL zR<{b1Xs8TE3?Y{V4dr+7Yy*@BFO&}vtkyu_((qd@e&FIqL!_a|#~FO!`hw%5#xCld z5Ew0jXAJ|b)!DJIZn6epAvBv|n?p6SXbYYVfJJL48MbA4HBIQw;qn^c($oa_U~0B9 zK^YdU3irh{glRrpUeP>LwBp%DsHZ`Mi8Lr$!91f_&U!FHoJNF%1!5s~8=h@O z{@<2ojm;T0hGzqzkOy2V)>{#$am1HiUZHFhjPp~pgU`0pFya_#_svMaN=D^Ou~6!l zijEJ0r@>2P($r#}4Q?q>8YN*mn9+mm33p3fMONOWEc(XE9;TI!pWyoKc{T)cc|zh2 z21R?Q)xNBu+moT&!_e*ZI@Na_im4Q(m0 zvp(U+z~Eta*4I6xQhIcR+vD+>6kXH?S>ZzTW|go!9#BpumDW*olEN9#1tB0tm{x4x)hl(=phNHdhm@RD$lkiXA6I`r5T$hf|2TGrOWk zsN<4&wlfW@WS;GU4%9-al!l5lseJ-EF;E&CV$p>^nS_veE4n$uoBR+=QyI1!Y{0Oo za77vH=3&-cAA%5xH38}WGfC;K=pG`kND(wvDs@W0G|^r7PV-YF(}JZ3&&ET7x=M!a zSsL2vBD7tnLHF#3p)H+f6Hw0wBQC?BNQdU>Wk*~(jkt7-xOB_VmL4OoTPC#S2%#+# zp)HGHGlf`|h|X=I$Y$6q;jt?odA4h5Xv_X4w6RJtwmCWr(Jjdo-FiW&UZveZqnl@w zzn%2WkIv-SSi|H&onAbfLVc6Nv)vH#a(Oltit2O>o9C_Qt&vwSD0-^`kd$S^UT=G& zj-rU39F~?Y!Z1XTV;y<6I|7?&2`ATuV;$g}N=_zAWmW$xu=U~DG_+n1a^)KoeV|dF zvS#i>X6^$s_pvl{pBTB$!I;gnJ+Ll9NP#TD8l&77>r@Y861<}amYFkX?9-ToWqO*z zQ(rXEmyAY>j=m~qd?7UPY&tEkq=iZyP#So&TJhl74D-N~(UJhXg$~FxQE48bHMYsF zeT7Kfk7u)>kY2*D1=uI1vM>dV;8N;na=pbQN}Iv{Jey55;GqM^u#D73tr*0x19`R= z(P5fF4m7FdPzX{X2%wNgn##HgoGbj8^I)FM1qVOKGQ?Q!%U9Mzc{UFj{>T_62w72J z<@RG%!+EwhYSc%K5kiehLXFBlt}&8l`=CYx)EFhys3O#;`n5)bGKLtXZxZ?0BVdCYN&-8?q6#Jl&LX}XZxW>Bh(l#)TklU(3I8)SC*+U zfoBV-2D)crX#i=20K#H^N6&heRxP_an#8mHQM0j{VT%lkNpQSLWqo@R`Sv9E_9RQ+ zo)jZ*GDiU9lhb&1aEoAuozAmEph8mwhZ)|ASt^oc zmZp(LF-wqTCS>6mcBYqN7S_D-iWG2pJTT^mS=iwbaW>Bm1s~dq&M_!v!xXd2nqoGY zVm3@M+tL)XVG8@`Y}3q-VIJ&kOrmua&klp+E<8INa}?`}X_01E4XhxHTv~nc>=@JxhSe4t6boRr1!b+a zfULFvR$E|cwFNQqAk0A&s}X)YycLTDFIq}ov{dN1Md-O-8FmpFtd;~zm$3+szXJ#k zwS-}REzKEc${8p4*0@sNLYc*aZ!LiqJUbp19*bC;%6f}lM%&W~CNG-+TVfGi=Ae*W z%Ci&6%YNh8NzgMCdj9UESSD4W6P9@?mQz?K?^#|;@tZ(g!Lvmu7>0s>7!)gDkQHSO zvVsh<0tQ)OX^<6UkpFa}UmzO7|72mQ^PgTcrPPb2nsofei>8{qXytcav{LY*Y5%SH zDxRGVMIxZc>hfx%I!uQRR|Fliq_TAcuh9O`E7tJr4AgCox@!%JH88@OuSW1ztRVxe zfdSSC`+#6_*H;Jj-LRzeA_kO3U%Bf}d?d zku40nNjM6aRrV-=R&ldo!2RBe&E%$=F%_d^p&GN@9Qd1XkgKf?O*adZ>lS1hJ^TuF zaILvt^C9|HG)@c8ZQ@b7yd}=ZS>Bco@wW5qJgC(Q#ddfrc1jsBDDA{4rm(k}4_0>8 z!rn$WuH415IO>&0qQY)(#U3dGAKc@m*u_ZAHA+y!Td`N_DAZrTDx=ZPUZbN_sK1YA z7ovU?>w{+22f><_+BkZX#?r}$uo=aECzbW#*(J0g zMRzSF6VeU?(eO9n=tE_U#hAlz{@t`%It-?V&8wxqC}SBN(Rknx0oxW-jio)yp#+Bg zi)WY9`ox(IKVq>&!2uPxQ!~qjgNqf=s90t?{-EVN?XwDX=;##|Cl@j*&Z>8*8TK%Q zpdLNKvwuM2XmrL=gW?DTIwEL^<=YXJFRg{-6*NLOtc=pJZVY>jXIG&@TktquI=0%H z#+FVPTlIc8wodTuYSfKE-IE5z2{d-Xa%`QTv2_At>qObHbs|{a7Rym%474|`Ki3FH z*QdbZl(0s3#*$M?TQZ84Yg;NY4*?2=PNUFip^yfJVvK%zdL`l!Ox_-2^7eJIXvNvm z(^^{V3ojB*@$4E}%bx}-f@gSkJ>;kD-`Vo&?C7ur#FbdmJzNv64-ZboxhgGM^gpz~ zIiB4B4so!+d4u8{Bs*tmfpcVmbFjcUeF9DyN~24VUY8rBHx3WdM^EuqoC}u6+D8`) z$2*8Lu!*yAiidHypD{OtXE&OB>mqnx6tq@BYmK+!0#4JQH#V?1ZG#3E;ICvbI^@R2 z$H=prU^Y6B+a#Fn5*S>vFdI$~P~AD0d`mRj=KnU^MF>H@bqTD&SLfJJi8q=x}d=u!f8HEHn3r;k5?06I#sy5i|J^H=I>M- zI{)bW?IzFe0GpqT4124N;x68SeI4|O@_LnU1Oe$`^__yv?!abuzW2vnEtTGi+c?Y- zmqJ*H2)pRpJiD6)d@M#a20SbrqQZc`mB6rfz>;it*C_uPme>=eWGgZ3J)YeQi4rhc z@29d2ZIp_a4Eum*_krjOQ$2LZmhkL;VL2vEHesU>qfA(#ASva}r?WFUL_dHz<383f zsdSPqKENi8c=jOWm_SRxsT=d`Arp;2PbI6Q*GWMJKtH4qq*$pcG+8CJ zRw^E6GwdUt{SyKvLh8p26py41w08N+v?Nf9vvVTG5c;x-&{WeOcF7Z-Jq%V|(X;;; z6i;C8Czj*q35}m87(Y+SMvy1L@qjU&i?21=r#yQUZ6rb5 zXAKljrS`(Rf>gE{P3H{8$1z(STN%YuS!1c^CSjkd^+c8DJbN6q@qUzjVXhfS#c=ec zLTm`4QAEy~Vy^Ko&z?YyZm97RrV(525I-sXz$9zXExSqRbtf_yY6K0uHUmV$gBK|Vl`4_^iGR(yaEUW!lD_&MQBz)@B9 zsOA$&sbZA61bR0w4M$9(h4g2hJ&)FUq9eZyP<%#D;x)-M$c_ zj-JBIAx}?bn+pbQ@gswB7}OWRIYZ5Gj6o}r1|WUC;-Hm453NKGs@`ZhZFp-X!SbGT zTqeb=NyejF0_-J|=c7%Yy(}zDgrie@a|y$->%lniH+$|A;LsY7#6wrLXKY@`_po!`WM&HamjP9h9s}GCSjK6drM8#(t|b4r@6D&))rh zMX8l1Fq{Kq!34vV=h@qstT}|_d(ff}%;A{IMjBVsSq5ffFNSmC+55=KM;7@pMk3EX zz_BtNAo1)&?7^y=U%KR*U%KEO6Rm_=|Inqu;}MwlgLz#HTHJ*}vT$i<@*8LPjq}%` zDeSYf&cX70isbNTygZ2kpT{Ht#Z+3K(Az3{#ruRNWUVXsx|Xhj=!LHk`~R_&xqxJ* zs~Mats*z19@a$8_)*lL2G-z@81W89%WxTZ&RPq9Ikd78qZ1Y1E-FWsH*bIP*l?+-p zuyM0g(T!AegNkltRdfrM7btbv^olAbJPCqT=Go`qG!Oz+F=%l)1xXMnNUGL&Yb!%2 ztm9A+mq=cq;2;#NMq=W21<(E~m;#qbw75iqvwUbGqctHc6{@kqi)bBI7%$;aY8vo3 z$yRIKAv3O({7cqQ^Xx0|914FmO@uT7q;0b5O}g&|B0jf^g)kUeYAT1{YSx_*?( zwiRB+qRloMo_%9FzIcnya3{LdEX!L#7NIvqSy1{ld8r4_zJn~obqt4-L0wq19`8*} z>u>CB^<)CvBYBS^BT&T4Tg!>tY>xBN)?_sHYTefZb_lA1`+R5#-~Uh=V91AP#}0LC z@$5&i8VR&^1Fbi1c)=E*XigB`(|v-NH4NH1ut1%!7U0>>a%)zDWwrSd2`JcfNf^%C zpsgj`2BR4rHvb}ALm-nE;?5KMh0eVJSfv_;>!2wzzn14DBn0%S+d!+;IH+|z$IzQ_ zDfWppE6R)-dSL*nNgy8xZquaq~JLz1cmSTfETrm zmaGWY<2e~*D1;$=y|sE3gC2&d^XQF@kqBSs_!CIolF*z4NhX-6Eo|A+7I1n0xJI~q4BwBwgR9k}5 zgy-xj6BcM{TD$R_g7Qu4H*B0%BdZzDIiS>dR4^Ll6EJP~;+=vvl;Hw-t~}+SP>@y| zETvpiPOvb&n9GImoRZ3^87|aY8zz;v|H>n*bg?zwwAhLh4A!pHU}cUmxp1Cy1ha`? z7GcnaqeH{LMwuYGC7=zbNE41o6D~v=;g$e`X)bbN0J)2Sq|%0mC+NChu{ zae0$2Oo2vc+uCR;78MeT(sZ^>^KG;-R#46u5?dIJQC8)@^=rd(RiW23cu-r|LTaPb z#xh(C&s8HTyeBr5?I3LKxHz7x4&rnW+oiG{O~m#*rzRro(!pEX5gSwTWOoZs?ub`f zrST^fw*W}Z8dN}8ELhtyTo$UbQqk?Rl5lCLMkRzG6j3UkiKC$tPjP1kgzRi|lJXL4 zL9rOg_QB+=|XWeTZ`cmcuoT@vmt7tc!iYH$e?fOka~?uU3reK zZ_PoeBn+4i442Gvo}kPHCB#PE8wnBh6CFqX8!TqKoxX|r*fDw8(R<}zG1r|l(#JU}7jA?*po0#>%3G)HPr2*Xjt zh2ci z=DGUdy4=Wch4h9V2g^1_t(@V;@LU6Atbmcml94d^W0A}?6qt?!({W#?V{h#^xUvS8 zGGGmj*Ab?f*8sD9UC?s@-!JHCMKumgNs{qAM_0pELca;n7?g=T*BF#lpiBaVVYnim zYXZt@P=3KX?~e>Ondh27t7wX=fd-RzYK6u!ZlVwe$Ul;S}RH;3owI@v~8eXdfcGwsDSC=5f*B4MEpLSuA9FZe@pmjoVj2`Qq#Zrw@7fqAR&G29-xVUt;Cr>xA zU4oM-G`$rTUTV-TK?_TS7BoB;fdybO;vVY#X6l%2DD}J0G0S+4Zh>tFVL6=QABMww zz(b(ykTBdIHWI}{hFgh)Ku~sqvdTnRjpIU4XjQw$L|JR1>;`3>iL##OTA<7xHN$NX z!fOj5yh?FhnIp6q3ppX|(KR!nR~0lFY&1!@7u7Zi5^muiSWY%c4Qn}g+Dj7jha;l#LHveX8Ls|>f5=URc^{%nTZX3*{o4nR`l{bf+FL>d%~ zl`u92dS_z{y=lO{o#!G=!EP5?-bE(Gt1(wuWnMvV`F3(ZbOT79JEJuvZh} zR2vY#UodSK*ErbiaczYW0w@HZy%1!tAP5%T!XhRF>`aIFA@mNFi@_oOwNhuIjS0Q` z;C4VHu?8krp@vXA_P>koyw7Al*TD<6qd!X>t3I!*xAO z)pUDPip!i_Cp+uwIP%6McLbAMMeSi6)*NNH!=|0l5z(OXKZV0chC52<MXk4209dU^&BcbR+LL2xn2}B*WpI(-KflfN~zF;C3qEg{+FizbJ@*0ped`xCvQ&*7ID#m>uEVw!c1#p{?r&uN z{p~N3RCuSLk(K@qfM&nHQJlKxs!8cn(CC_=^mU%=ik41;a05!OWw@I>mjucgw0+AS zZ>@zLH#WZ@3k}{zgSWq*>2D*STDZe=$*6u74DW*B9}IVo=Tbm92g-d=7Bbuep6dq6 zc~Bmj$~@w^R8TH}^4L@c?<)p@auJU7k7=QW`yg08;bIVuum_2oCd&onQ=aRN8kfN1 z8F(C4mkIN9(p`tTbtRLU=Tqc-b1M?4}TIDLCGqZ$xS;FEf zQAz}}hTp9#Kk{5QSX>8-PsZ?7G&OzZxn3aM0O^a!m8ObbU=4b&2yQmIZA zSV+kXI8UL)TOL+tP5{t=t&6t{KoezNl0^5f+z_zy#1@r_QZHSSwU^FI?WLnebW)P^ ztIZ;0Jl7k|+(9$eUXeDq0nYWNqa?iBD04I&VdEW%t)^&pX}F^>zem{e99{Xl3kEE0 zrA&uNT)trQe7dORLnhBB>tkjWt6SKr9MAOygZp40_lmT`t1PbX4;(M@A+>_-P~^k6~uP@fgfM2uo}o0dj5{d&U3t(kKFb zKNvioKu8y_NLLba@DGG^^@^-OLJs+XkQKZmoxc~dBG1uvy?@Yvn>g+uB&}|7>kgs~ zBbTc!b4SBKao9+|BvY4hr%F6G988{qNo9=qd?uobX>NE1N>!R0BC6rqFp4|}0cW}0 zaRnFtAwbpF_#f#`@jp^6uMk;-iBJpiKf+z?dGquYQR4^ke;0-R6W_)E?iBwcG(1Z& z_=S#%@GwN;pcv`9_&AK}S!BM_YpQYD?;NRh`>5h z>#WmvG6V@S;5Tu!34IT*XljVWPwSAr^NP`eS2ROrv;WsCa2`9FyuxVmiVsjOQ1FT% zo-0I4A3+F4S41)qA^2e$D4#$H1^U(UCa(w=)DDB%5llpwN$v2mYDfG)?IJ;Ix&`sg zQjXOLS~tf}_R#WYwA=!ysbvwNMJ1~=b$%;Bgq9Ei;!OlHTBRk)1R$ zd<8q#j_f33YDIQ&W|)XhFa;f&MRbP1*i}Vz0Yid6;TPag$_h&TjJ=-%*&s0@Ud{rSTi|%*Qd-7I#GL_MEaUxqoZ9jhakFfAln}iRl3B+l7P!#@546BTEbwp(ybW-( zob>NZ5KrQtEYfoU^N`36g!dM4lBX{ceatx39gH*tiOLh7VMu14qeME{VYEn}1XzSb zG7vr)iRw;4nuL4zNQg^zgQ8c$F}$ykA!xZP!XpxK_U*o z81XfZ5d1Y2ae8cwuQ5pYFeJlpB-n}Z1RO*}{E;sX6!9v6{YAVYV7`c}0Q-nI`F)m% z(>UpA!X;k-yCac3-Xf)n_-nv!NN7v)5-CN*UjQbF_%pyn5hvUEBGKm|QWqrRc>}4P zh+hFDyAb_25{+Hre-tSKiRi15f{=(_BH{o-A2$Ld`a~qc=|eUS5HN{kEMP+sF9d8L z;^cqzMSKJx*_1xRko*M9!)aB6FShyzFpkm@24o$Oab#9IQgNK}``uo8(r z)L-QV%oGb0B2Im0FXEK|?L^!aP=-W&Y{GhH!k^ePz<)-QM8n4lxangRHX8gGk_8{D zj`$LAkuDHH2M>Xtm5DC&H+WgK1|2>nG1EVr%2~Al6l4&~e-i2B!`6h0^p7Gv7?Au) zBGNyI^guvc3;KKDXwRxCpkOPp{5w38JO)6D*=GLai$tgXq4;g4zY*!=Yl7WGKIE@d zUI!@HR;0fY>E3{3e>0z#BAxon0m&@?zarfWQ0P065BWXG?*T~tYv%KuaQsyVq%mfu zKNIN`3!RY6{GW>S%78RJ&Gdgnx*MRg1^tOgcLAhiF8>H9`pJrTkl&cwrLjlykn9zZ z%;g`5bg}`(2s8b@NGBUp+h+P*kxqR@K5C}l5$WU$q=T7$OQgd_k}4MTn2!&%VJiFE1*@XU>mZr=oD%6|KdlA*Byi$G_Mn(%=5vB@&`Dk& z3;J=9PIBpx%>0jubZWnz1^uW1N29- z7RTd0Dg*i!!1_pLdG?C*O@Iw7=zB!^2Ec|$jL2s=xgv5K$uv5 zC*h#4!dD~0MEVZGLH`3^jR_O!+X)4IIbahDI_X37-vKEmn#*q$=}Q5dS8XI7E$B23Nng^h3zC`tLBjF(7vN83 zdaJZN=*ZLq+mC(cOekvEQd-Y>f748KzYmkqeKr_HEI)vU{1y*n~HPQJ{eLta#+ zCL=TtoIK~I+AeQ-u+})Y^TRUbuhu^Ovb)0L5&M(ZH0`-?(Sd5lPZLfYTi&Nf$R9pKqpQ`tSH;bLhaL@>`))+-N0oz~IQh@tl=C*%X@^6`q=EBlwVE>^^u;!xx@TtP z1P$tWYV5X4SDOv2FxGY6OS|1~PNo(%W#^8Z{=sE>?$RxZFRRtq+A1h*b`P--x&`;A;`5IpURw(>(Q3 z#A%NESH!&lUmy{G55VUly*l7C5w8mPRKzO-{v+aUfKNo+1@I9P#=o#0dMMJ%13nOO z1>k)Vmjlwg3foz+fOkaP8t|5gLng^h5hr8bFyX>_<+_NI{jP~P+3c!_lWqPMak2;X z6^$jb!DSIAy)TJ4>3R_f?Fj3M3nKk7;CT@zoz96k>2X%XNslu~kXKj}oEGUM?=p4% zfO|xI1K@5Xe1v&-mw=k)+MOc43UG&r)10~;iFi_+r#1-x9dN6NQ+&3JL7VYRvXuZ* z+obz^z>Ok47m(y2KC=PWi#QLsPQ+&bt`+fVfNMm23gBuH{{@g_B|eh?SBm%qz!gZ; z?pQ#Qo8&13w49Sj2dX<9&~ok}eTY67aEXWy1pF0=c;*8x66w7G7m9cm-~tiP03`j1 z56u(BNDTgHZkUHe^i)8y1>q@xb3{A|knBSAM8N4H-a*8PPdnhGKb2_>I8nqS07++j zmBHascC=$`#0SAb9CBS|n?gE&DMD~;elFn3~1_q=i4IvMJxsU|=SY9hh1k|r#QyPvucO$hDaq{sNNK}43QgbBYLw-l=D#HIj3Kj9+0fR++ zAz(8Rr+#aSM0%6oHb$blMM(8ToP0)yL}l`je2}ON*-48;GNd5Y7ICtHClZyRe)mA4 zGNiW#iRh$L6(pjQjFm;4jKQNsvkte5g?M?rEN4KnGiBo=JPA2{nfZX`R+<4*tV96yWOj=Kg zZCYkhdhg_v9s*bT{|CUfr^MQ?Zo|61M3d#EWu$bs=?Yc;PAr$mB&rg96749*CO4~h zPEtxwNj;x9{6pZmK0R|1yZS`uWc5f%%FFdh$?1Xr_{E3*YZ#y0oFoCE|LvkK{zn*i zYhc%0^ikZd;n5Oi|B=3Pjt=ZUAa4Kq?3~wzZTl|$9=AGvT8p@CON%l`zJX|?QZazH|1H|knTPUHna~7JvsL0Cr{3H>VMh0Mu^P5{r>PrD|;-vsqL`h zCJz6XCpvh7&AYs>Dd-h>RS9a4R8X8)24?$2M%s>S}<=k2c!8-qSy+_-&n zTD#%z2S&f$x_0~7^PP4&t=q8W-+Lzy+-+-{mYzR*T$`kEBX>V_cv8n@^aj^iSI(8J zI65KNbKE<(8}sMByE}2p@2&r6`fh5;(RYi_MIA4HIcnaYhiSUC z>))!M?RQ>S;6MLy+-+Hs_4w!wwgtsc>TH=3oOgdo)8$z^PDHLc!6tG`i;xp+$jgpv#=sfH!1bq$hRjDJ|YY4@2|A8#!9 zhi_4(YmsJQyB71Wq;Fh*I#m}YFRG}yUGdfKHKWfLOMS*I2ysXaa(PhoL!Y}%1{dUB zePhf&_xYH8^0^nD&E?i7ViqVf>+D=Ti)j?pP5$vh$Q-8~3$IU_u+MJGYdbEpsF|Z7 zX|?WPrA7MslcO#sXoeO)uM)lQW#8NDhdGbzy=`~ZgI?7f>Wv>A==t%_K0`yg6g&R% zD1FugSC>ER?EMbCUNF;rn(k(~{o9SLc3#g<3f=Ghq4Qsrz2EN$95uN2mq9&zrsSQp zj-7FPzOD184MC%;bAQbpVIMaBfp$|`?Y>RBH*VM?y(l3h>~@8g&NoJ?7sbxgB&Pnh z>`d)L>u*l#c=X+_>WNDN&i)ql(fw9RvBuGMZ|cB(@sU-7{@L^5W7pNu=|uyt*jxLD z4xLqlvzPX;N|#%mYbJAjeREf2-1Ws{e;L%d|G{me_S88s>j`)2ZN7W;FMft;E@}2R z?X*kUZ49%0d3!;;cJ9U=&$p!%KN{RV$^D;zTSq#~=$qMb-N(JP%Rk_|@`IPW9KT@A zim=4_zaPJUVP@S?r#BvXta`7$JI=+S9`|VD`;3Ymnn)Hqx!ZKwKCE5VkUr&xoa?#a z+L<<7rJQjsog3Dx)49jIr%U?W%#Iq~u=4DGGkeV&Ixkvs?7#1(daIIWqImD#(p?)Bl~h_ee>n`IBb` zH0rjcs*UR`=Up{bcB@)%*nYo%#oug;UT4)Q?EZIg+m%(UAJ!`N9p^f5S=&Zq>eSgj zWk~GYOU?J~eHk^U!P^tnW_NRydroQ6!%#S9;-!#(W?VWrcU--w(eI~zzIm@vi$Cql z-H2@eY_ZqXX{QcfU%D#B$FTNYwJI|!oRpkyB;C^b&-~7c7ktT(qq>XL9&3u*T%KJ{ zImk2WRje{4`gm+YY9(t)qgT)WwaUyLWK-qR#d@FeTD9?BI$RO4xZ%dOkdFUfn#CBB(5xMsh()sAXD6#AZMHQD1pvnw0+?R!7E*@Ao1#>9jT zcD?i|qU2(qYm)*(TE;bqcx4-6xIO3YM1JJ4i8ifgX5~(~e8cwR?R8zwY_D+Vz>PZ7 zr;IxPu#bHCo0^A@97?%UlwGb(^QzB&zSHB)fu1894xOgB6%st|YTJv-m4BsFy5vz~ z(h$cQQ^tkKR<-XSv&q;zAvx8XpBNMUk0xmI@fuS< zIJ><`EV&XsBB#3d)DL+j#vvix8y-(ie+|t3&FX%M_mKGJ`t&!myFHw~{E+>0<<73- zcI@6?#om&${!lUmsg*ymahW86Fcf=x9m``71se~BLEb^dOj!szGGRxQWp z?5I9{ZP%@R4|T0jzE))85l3VEUe5EVbRh3;=a&Zttq)9JI&Dmpr2e9?6EkY9+q%>B zLYT+jgB4qbI~`jYy02yWqw`}O42ukodgm&#^Fgg%Hk&-}OG#ntI&}vr*@zDc2gNy{2Gc{prPi0YE2=v}xhvt-xv8vds)uUS(P z+U7;!g4@3wS~D%*w~52}*Uol|;y;wb&wqO57_mL)hs+%a82MeZ8d}XZlXu`Q|Os#&wzTKp*2S?4U z8dIqeTI{r z-1q#)8CGxN2Ml?)Qg(ZA^CIp0*0<)Yb#q$Var_+lAb;72+e-i0F8;GU@BC^Ly(?xF zTmAUbUyc_hw;X>Ye}jM5d;LaL{jj{!hxCT7aqh!cA77I+KPGAZ!iUid=O=|XTN&2O zXYwpbZuq94;d|$oA3Y`FO@Hp*HL2lC(@HY^nr6FhaUPyuq>I|F+qRS))W-2+jjXz> zMt3=}QQ|$|i*1SlCNget$CAo+)umHe8{{RSLQU$ zd)qOYd$?kZ*VsHCui&5C_3Oz^m@&=o=ZT8~&o^J0Z9A-R{Lk(M{o-!WpG)}Rh(#-F zgzk1PS&&}7q*DByGjA)kyVWy#!pd6yl^P{437ZzRy=05^(g62={X_5eoNmzDTz-)f z-fm;`imc`V8Sd#Bfq9v2E^JVC)R%YDywm449nW1qzAtP;?Z%y5=B-E$o3^!Q=ahM8 z8p+~ntlBvFzBLmzLh60-ua1A#PxriB?3g~~^zhGzZ$G?Tyew<@A3G*&dSCyJ@Q~DH z;Ov}NBaSw>eZOO@A*tV+7r5j5YTs^mNZpfz%pSir`f7d=7F?D0VdxJW+`Lbbu=(WYi{$BgboZOvL@(OJA z?^XgInyJ`7VE{|Mr7bo_YM$Z_=h)ALNHW1Ug*&r)U58p`&+Zy?XX$%+Nu_ z#e?y;tMby-`m42DEdNKEH|MT2apbJc1BX=nXj{CY$aT*rhx8|niq}7l9;I~q(_#My zhwYs=)V$VaBolYD+F7l{Z(^@<=NmbnZ&c?%m0M@8To3kt5q$Vi`J{rv_s!a_YKp%W zW9LR2tCx5@Sy;HtquasBSI2m6S6N+hYb65$q>+#Gsq~eoEcyT5Dmu@O3%8pI)z* zuzCJ(?-e&TN|d(vyI`!MbX0{(FP@3_Q#4CzIOIZgqjQt@BkeA{o#Qm*;x%Kt)5b9kSncT;Q7V6B5SW zU9}}6`o-=c!-wy+s`%S2jZ7O~Eo9xr;;93&Hx;k3dVKcbz0|xT>vjd#Xw-0CO<&0~ z_g-x)eO`6@*Ff7jvqvm+elU83%5`^9(V#;9WpJxgkITt^y=cF<>akyXeYsxT%kG1{ zr$Sjc>U3Inwg3L2%(#%KK~r=sHZ4;>UNAQI%#nY_c!hM!ezS7Ruao1at_|Cpw{f$7 z!2UX?XO9@`r#$&6f0Ln~+sa?>sn@PJ+OPWMhwddSURCMT4EvIkKGS4VUbI=cYEHe4}J#%$Xo2amiKL&Uo zkIe7fatojINPF-IuWhQgv%PCqRgoE-_ioz2r#S zo1GJCmHhiCAg{@D?dgJ>owJ+VxIX&QVVnEq-qeVFd1zhRx6`lKW09(Xd%zB-R}Bwr3kWz6akgH!z^X~zK2@x}bn4ZR=oFO5DdK;ZK@xyb9!R< z#p}=2JF5B2-~8^rY|GU;@m_O&=6-*Y|I>_vTitxCSAE(pXqN3Gzw%Mt|4?--4*NG@ z)ZN{McXtojw7c=q;W6E-9XZkX!pNRu-B0+nK3Ab`;-r#*nBbu`8m@E;`*%Si_u;%- z^-=wE*8g6S-Ebo@aMA8#Z9;1;?dq%FpXUqnUa!3~e#NZ==g!tiWVh|tGaEJ&9q7__b(Z>;_aDLoWf;(CBOJ{t6Zw@NwChmUc0IP z^s%iKKMg;>C~iQHznIwh z>V@;K?`hrf(7QdYyCyZUJ>)#7N5#|L*Dg#LIsZc8;njVDZ;Vde-Q{ibk2bD@daT93B*&xg+|UqLcv>)i51^Rt@dSATUvGjUJ-sHgrDy;T#WOAq|Ipi+gWe@hzQDv=$W zk`{IK+^~Bd{hGJbHa7XcYM08LOsv%f0g z&U?PK*MYOSLt43ZIewwbyLOpJh6%w;adK|z?m5<84$`&P3+mg=TRdq_&2BeVk2I*R zeB8DrsKW{A=lTkzd%ZuKsAwsvr)zUJ(VyUA-OG_UVY-MRkW@porF8nTYf|2J&Q?D}^d+Aw5jexcPZrFGp5ZN*dPtXAJ}Zndw?rE)8tG#=4sRJ)UR*?apJF6_R4 zdlU86E)K)~x-)(JtDN%j#uK-mH?QgT*UAb*V$V#u+O^ZE&bKFDUEsQ5?De98Gfr%w zI`WXuthE;wXvf99o9FP?%>Awx>ufl5!!KoZ=v2a|XSWZ$kh12&0?%=A6`DT$`$@<2 z)m4;TTs!-9Tb(jAdF_Q~JAIg=bN0KY##O2LxVC?W)=n{hL(Ow%&{3Bh$_I`fT9Id~3g%-s~>#eJ93z?$S7E?A@koI?mr6 z^kJLRvp$~1?_2y^Ynb=6^n_(+JR7yFlVCrH8M;++Z@XQMqUC#6-P$}pacHf3o5l_; za2Z-KZAhn<7hR5C>=arhVA{Iqr(2@)KJC~xEH?7wf?E1yR{13;xs%<{0M|8(Jv;TE z5m5QoBF*qsHBU(jZ%ppyzA9+ojt&+7zEfeswoV$u*gZ23heUNUc4B94t5mO_f5N>U z)BjxNJ|#i_xySV8Co5I!aB7R&%x#xegjD5cu8(-SCZh2#T<_j>7d-4TqTx@nzMb~v zY&o>xSZFmvz#8^Z&M&_l4UL{L?zg)2CJpWNXlxhRh0fzIbhfY9@yMEu7Zx1aKXv>5 z4&%m6c&r`OsY{ifj+uZPcHZsq;)@^$(A@xI!EtR&a%ZQk5&>3ZL7 zr+UZHP3j$0pG!3#pU5WPzxLruyPet&V?CX_Kke{G;kDI^s<&XPNxhYGryO@NR$LVn zZBwyd&y`X4!+taT=T5Bt$3}bcB|xBOKc}} zDaf0#W|y{57VX}8T9MBQTlgpGw03S zTB}ihDb9eFuu!yhjt#V?uPE(R@IvSYB*);H3$kqc~RetgXY%{E?FZ>d(eC*$Vnv1j9h zvUmO;Q{MnxNz()x+qQLM+rAsy=G_<@+jnEz+3d#7#@^UAHnyE?UcUdlcg~wrHC0`$ znLd5Gd#Y=yX|@9Zwqp3b*bb?Ol5~NH8E-#^)-4G{qKt@mZhsSvMxuZH(Z$f}txEnz zA+-}q)-e%5tm)0__$%7cO|_-C-M6XnnDPo5CdGsv5^D5-Pn@^=ni1`LHMXt&eKHjF zFlRvj+LBX-{;`v|<}Bm@M|>uswi?kBHgN?4sKRSj+xxAZy~0rUo1T@3`#%JZ3^_0N z5!`xy?J7E$8Z_;~tXXXfBArP5;~+?8?|3XbFPt}u`AW+9%AIGuep?UJs*swQg>qgS zb18$0$mAx_jwOqZr*XxfgQmOMKl%mZO$SuB`n)&~mR{;SJJ!ohjd{Np)k}@X(#n=x zZI!G}nr!v;$E<0>dXf4#G)j%_02(zvz6~^iK4U(|{n2^5SgVuIiTgA7--0)*Rk0I~ zyxCM)ALfv)3r4%^Yc7G#6eOqCX;aKZs?+{p`8WH{{ft)1zH8=;ibZgLPx-z6h0!gm zh~T#$GCx^a1;2r2%A#d|vWk193v{^C&LHxRdW`{!q8W?EupHZ#o#*}}nj!HSF|51S z?L@E}O3?I#WwR=@92db&r{X!beJ&=#vso=#0LV1Nj%|{=#{%4LEyr0}E(F+)nt4mu z+d6;$!}lew;C)oVQ_brFrV-AU^Drtgxadc!Y%)e_l_nRz#ZBnclj^iz=> z&Z@VbHhD;GM4AKLsRdnM_(k^53ysK6yZG1)W!4v`y%Tlf^KWIbK~1rh7rg2l4vnXd z)HUs~yc?KbbSa&<=YQnMhovurI9c3JPcD_SrP^Bs8Vx?lG07^b?IrJ2;l?`2szaVs zJE-=!dAxArjAV5p(JV`AOFnzzc$H{YJV0;X|n4l8Er8AtmOH#m|Q8oV`@HcTz|W@ zFuvzM$b%p=i{!To1Y!~${}Se}U%vDf6u($13Ue~L9^ti&R6VH|oBr}u551%f;PE8W zwf@8{HY75E^CPcRrtIf^5l+!7;g?6Qw?*0I551nj2Gi|^18nB08x-MFJ!L`Bp_WBA zm>ahzlrc9`k7}BL*BnR99LGF(MUni{>_hLxJRA30;f0A?yp6X!%$`dyL;%}t@oMIu z$v0-PscA~G$0hQHp?4Dq=5AG4$TwJ_MSKkHI~0W-SXES;$6OOhpD2}asl-lc1b?v3 zltPS;aZy-j*lFuDu`!&wAK{;Z^k7Ys1B>Y~0LPKl5@-kMBhb?KL+v7!qg_65HuD8L zknCC|>P-w%@M9qPgMO@QGrti>xc3H$;NSO=`AR7txqJ!Qt}7(pzDwLW-|!FQppk{9 zn!mf$H8&bN6<0756>0oeL=`7Xdzm4YkVTrEGVtv(sti%pQ1(s|-#4KKYQuHz@S=-; zd#zJeFWs}&M22ZXOB&0Cb)d0#O=91)g(obDd_x1QetbANetmWd=zr_Jf4wh`Q1xr9 z%8D)ygiHC?O0r8Q=Y!70z24!wEaN^p?r5JZvKIl^F6d%MY0&7FmQ%oHur&zl{$y$G^nl-l>{eFMsKb}bneRE7(ge;J*PUFPAkge&qJXDq6-gM zV#%tWYre$RYE5w@+;{X3E_)8_5$h^B+48J?>sf;>h|XSH+YOPRNjaBiSc80B(<_Y9 zwh3?($_!|}6&OGaPhpiE%1$7LR8$A-_;#@{LA+i5;eYK2u)_pWSo`1aTx)A%^2c-^a|iFx@r&VG@c z>IZ^yI9~|gCrk`N?NOW3fjusLqjVNc=+_R1Ae@H?Pb?PJ}vSI&vL@K&eo54r66npps_1yDh9_)u; z%-n;qu{Y}_9Om0fk*xYFqKG2Pg&kWwf)HLo9<8=ZDPctaHwBlT5pF$~8@DlUMFqlg z!!-(tJFjuG-qau$#q=qR8M?zGf1B^*lc+=~{z?BxBYuMm6Z~q)B67lNbh>_xdzl)) z?$^%Q5?OI)q2H7QZEo4exi7L3vL7$nrEIsd5~Xa|#+?2u-$P)6;>N1|QjoQ6xMIZa^WdK{!A` z`V@=v5^gdKlfd?IlhpfcG2gJ%7dClL7)ht?YQk;Lx z`=atnXw|Jhq4-{bJjBLZh@>?|Kh|qg+_<>mW}?OG{0O9cXpsnhBlHVAolD~9VT2;C zh@RFIaHg$IT4uCn=B6E)AtYA@1B2aG+eZe7_9Uk9l@u^5~qQ zvmxUY)^-Xp>YQZK4{K5=;3)VN8DV+w6M1lAROA}#BnnkoGl_*@7tWP*92-cSyCY&( zAtZp`0o9xfug?nB(KLY$kn_F z3&f_&y4rSad~?Prx!#X`X7=zgR*yKYT-Zqx6}s|W5m!9j=0C|exrZtgDXv_@i0ef+ zFt4B3vyNEVtX!}vNGW4LU-C7Y!up3#h#BIu$`^e_$10QjL_(^BczXwyac~@Q@Q4LM zfuy_0bgB{Y7c&#VpUIHTE3OFgU+>i7kh|a*vT^c#NCYuW#V~sWX1rzrtQ0VXYCc-R7eHx)ULqSgrB?bmiqLaTBcZ%e_S1h!U1Q-&N*g)6 zkd)IV31VEOR*%=#FA`eD9M4Dl$*Ob?Yaf{*?lD5NjzYD54>yFZIc?zym^obaaZHX-%&rHA={>b#hy<>ir z_Qso@)6+j%Ag0y!cygY0;}_aM9g0SC4`7iJMWchfW&pq`ru4nAmwE zEyqKmh)W*rlc=VejG?%aQ$>?o<|hfBr2f;%@qh`3Hi08fBJ~+9Ae`MJX5jJ*U35*{ zbPD2X?pfY6mO4}LWw;TR{dqYHCX|OKsf?7`Ll%?2II2S~@#K(!yD0_=CHC*nG_|zP zkfuKLFlmio3#dU}Oc0qS^t+^%zR-kqhkg)^*Mo;htr0%5~`^L7u~4Uy6`w zNX0KkO46j+Rf`xrpJ}pgO8|5Pv?wn>GdT~D|8{Q)`?t{@+`7#3i^0fdW!*A3$2Y(` z>Y9@e!Ctte^`LfHrw~rTU0j2Lv;FFUP<@k}n|O&MI&yN(a!7mTOr-;?Aq8QfY2JH9&Sb$#uX;O* z(0#pI?AxEVCp14nbOK5Z!yux^9T-{T^ek{_QG1FB2lq04-dK=5+b&(+7&CS}vQOLD zz^=K?5D(Oi5;h`&P`e%S7;B!Fp{QkB#4npth`;=0%p}~*d{|Ghewq&47@xXnKivrZ z`;6MNAK_N<2|H>^-p6K{er2?~*xs)+%>D1t+jnXf;0R=L87Iz|=*=$L^M~t1BpNrd z1OZ|z>tF`A&y9A=X!Zt0OzSj2-*~-rh8_kbv5~%aQNg0Y^YE;7JhL~&mN35FP1>+J zgb1>|C7?tG?}i5#5n;`)7f%m~zaGb{hK-;(<-cx6pBfGAB5w>BZoCaH-1uLwON8~K zqS3IVQds?|%PAu%oA|XngG}!Wj52t*U78A+e}pW?lv)8%2JiFnm}wO(0Y9YE)G6F} z>&GKUjAlFyS`#?8aMTa7B}e@f*!jo~yN$w;J`sm((S?~u?FNz|$M zydAK_UO1C4Z&Z3~K<9fgeYU%SH+?=0lsFf(@l&ho? z*SwE-`Wxzn_^LbZsSzJlQel+SUgs%YyC(}Yl;NQFQau8T&_Cch0n4$2>-FA91yQqh z_BpL@CzIEU*)%YzTSw#G(7HtKPLJ=c?km zLg@NUQiBbVGUVJOc&RvXUnh%!w>rm8l%ge%f%1xGO}D)}if_W(K?+KXXM2O$39bjC$n-lmAdh zqH7Z?*t(xQta5e#@_2M=BQ7c&+?oHP?A-gEy;)XZmhc|{3+7l@~i{Ep5V>32m zg*%CRt>vNK5urOb!ZsZZi*|_lX|gqGs7?aDD=+4li2NDvS1A;@1H1~q;S?ML0>}c& zW4tq<`fjf@7QHiKYz}vRqI~j|IwGhYUuN^d`&KI-H_v3!la4WMxF{6dpTCsgWAe44 z+l{g!(GNVtY+e#dTt995&<9--2C2B8FrklJU7`qE$lh0OUh1vcF>XhgtfcxX!9qnJ zM^x$gX&>v&Mbl3~Lghij2p?*Z6b8a-cbQC6uq9%siKrELSFX##MPQoX#jFzG<@Gxy zISb6(N+VwL^w=-_^~U;_Z-aX8ZTbu0@DgEiD|~5~VCG+3!F#S`#n`2%ctAJT9t_>M z-=AId+92j&xBED;47`Rw_64DTrg}dADEkIjg-xU_#jm@DYgkR{KM^X)7aX6>CSx?N zmK;Kv8kcULislUMa$sfc@XV-Nr_L+aGoyhMlc99|&irZPn+MdR1`fW+bH^8#K;d z>o5j&uQHN4QO9k;No^en1gs5m1oybTHK*?Wrj7#@S_&aHu1$m|d7_46y<@G6!$aL4 zWjbOWN^j%otuQTTOD1?6C3r-M4Y?oOt2R?t(bR`xbV{X4bE0sjZk$s{ZUp1!7EuZb zmJ06J!*AP1+O$l8BIyX0QAVA77T}_(#V6U}pJy)zCj1yATVqrjonfp0q`tol0U4uy zAN*^v|G^ITb&gRmgQ~Ph>SBJvZ$NG_-aVpa1mc;X zJKvH((VzY(s?!Od(i%VF_n6{1tD@p`y0}FYVlb7tDCK}(2>5wGah!e!v*>OnB}+w; z5lrQ|s~PV0v=L)*DJwAG=t~B5F`k;+Ds1Wbl}xgCTiEh94?5-U$|t2nUzzY7BRgVI ztUBQ8e6=zBB;pxIvtrZV%hYcP#Ss(Vl`fz7x-@V3f|Nb})|{rrXBez=y`XkyPC4*o zO+l7UY1nb+H^9bCWfDysmJ&@Ei$k=)@;CgJ<00bY%~IiEeBhMH>SRXu9RtjsQ4=lO zFnyA1OLC{;*MeB8N)wDqladrr7e!R}G{!0C8`SU>vIi13rL|7eE9`N@dug0xV!ZY% zBIuRybS2+auSUZR)fTOVLCM1!D$71j{v444XEvnysY8mef2OIae!|D03fk4_XA)~> zKiSI(ujQ!UTFvgZa!e@+ed2dIF8VYfA!z>X+lqQFde5IIts3IG7ja4#?)+)(#RddE zJvj|aeuI!pY(jc-7eA7ffD5_I-;C&^-=(OA7kh&!*HAng1qBe;Mbxkays%z z_U9n@a z!M{NaPV?zqs?on>S=F0&A8h-v7tt2SwuD&ch6SZ_xk;q|>Sn_8{=7b_1 zgnD<9D$*;i$bRDJdOR#6%VZ&=h{qnwu=)OFa~hIhh7`*&*o~o9V&vaP*=u*pUMS#%yZSLU=@*AT*C49hd3lz8ply0Ar&!=6B3y3?FWx+~=y43^rm%AFuR4Z>Z9ACxbh3{Z%uIr1c7IGJ(TkrqW2dq007b4s%$x160L2K|q)LB3;b*PiuiWfQ0YsB$H((7rdEsaicSAu(aG2cf6@B*^Uc6OfDwtn{KWfFU8Io*#W1`Elh3| z7s}dBx|S8P*AO6x01}e$fuLcBKV{G8bSdyjucjefg4}s|Qd|M-y@Vnaf7#7+Ze9@zKNW1ks#!=c ztdicg%a>FPb|(VjFGgX*a|Ma1PK%|NR5S5|?|sV33s25WRrcdV&8B}Q9=cHW@+o?$a?kuA@)Y>Z|&fp0u8hP8W& zl5jB92&vEn&{$P3kpqwd$>xO+m8ww5L50WW891aR-({5-k7CVNXkrxW%U|zkddS+? z=OLH;zdWJ%CX4KP&hB%KZ(6!DRob)H@)36Q(g?wcPA%$|M(r0EvcVcWpXuq?d@)~T zG*^@Wt>7f3f$`+l$j5^(H16{>`tu&DD$2w?G-h_7-z8ip5RFcZ|MnuQW#1Ziw3f2L zuyIs@*n;i!Z!l^=_nvjR3Q?FQSbl8y7Nz7C-xT@c1?Plck+&zgL)?iZ1Sg{A8)ehk zyFRR5EKb{TK#)Y6Kf=6LK7_?g!dG)R4z+HHXGYF{zKL2xvy;tau3rktu???Wgz-?jChsNN%fc}Uw7(@hLCeVlsQQ<>h0<=}+9=Lw!g3ERk70y9VEx$`C`N@4iwt)@#rU;nL?*i*vqAv^OqaU`so>vb^H z$=zGHSF*h!h(BYl&`y)*ZsXawH$OjbAKg8=UhANYg@M0kzf8-Zr%C8NFET-OIyzuN&TOk+x!3FVe%G7Ls+s5DE z9ZfKj6}YykFBxSRvb%^y_b%z{y>#@x?>}6OOVsns zQ@Sw3qnW_u!Aa&LVS4>*jDmom;^$p0_ZuKv2qTUu3L(RP@JHGwx>MVNRz-Jb zUB#V06U4s8d|Kap=81S%cC$VBjBj96j#K1XHLE1@>JvAc{ENTrl`=sMht~fZZ&i5s zNRG{PDj;tC;R3Mm+s|%y`QYH)bv@gt{TOaA-3(L|hQAPFwR$A4S&%a(mfihY8clVm zk0o03XXa^@A);U&)lie1VpoGt5j(rh2>EZy;#cL3>Yu-QHqIyScka{Gcr}$cf1mEI zly@|LosXDnKAixq-GgBawz1xRnm^#R{tz>2`8{Oi&L>Xx#5s-{#=}uL1^efKFe8U{<*Q>v zv&@C9r=vBV2_HSK{5*lL5muZdWC&Dxh0yN|9lzh~@=oAH*PSzMy6yEZJ)7V6T`S6A zX7{WG3P=s>FPPyQi{A(K6VO~6+DK53bth$m_Y-I8Nwx-^6))609s4sJ71--&Z`UZr zUEAB-eD_SfcIa1MM?FUWoVO`JSu))@G7TgXnSET1Beb2YL+a!Ty=fhywVsej4q%`V z?jiMHe(&|1Ch&u&x#tVV<+i%23;mP}E)v+QiKv&y`|1s=iX%?!o0RHY)Qp&UCMaxX%%`2z2A+nJEi z@+>MC`)@sm_APsmmZ$oaaJP-z)n6=e?_D?Pk(kE2+dODOpS%Fd9|GYn7$;cN6yu03 zGiFc1IIFv8)^C`3!bA#ma|s+q&RQt-%2&6U8;{F$g#S(dFUn>aJ8+=+lkrx0!)&8B zW{ukbg!6^pk(dP?UevqAJF>5BNrA9v&jO`mqpAfk^x(3n?KFw#Eo-a5f}cBF## zr3J~(%5ru!p%zEuH>GG_InTCuT`=4WYRv2mmLqje9dA-Xqgn!8DRh|PCLL=xJA!l* zrgPhjCTLS0v^A`qB?S_ObQUf|_w7qC6WJ-dTsHSTE)_g3{h?2r=qMS;$CP-1K(Bp3 zC%HkFT;>3!>F`%X6}N?N$D%8{C3G^|Fopy<5Su4QXW{ zRseFQ64QE58yZXVV+e&;q zPmTVC2zr53>{k^3*oHNQGjd3=rQZ_%vyc*HHy8{WBk zGJms|Uty_g4Yhvb-tU}AYz$P7cvkrDBVGu5K21ODmS;sMw$s~pweq(}Vu${-1N~|Oesw%%h>U|dPvi>W zN{U~luGQ1!Uwr&6tL;wW_(6exueBxD!F1*n0?yCBZwsxYo~1UF-Cg`s=vZB0TW&E~ zfBB{S`#z!E`7vqgR98hvmaq;UH>Ecdc!f_(dI22{OsavsSrt{ zpL1J;KaA}oCVLkU6U=V?S~p|w`NPk1jq-PrP&kqdDn#hagX4M-`p{hc4GMXrD^} zr6X9sQad{%o6t!0s?~?WUT~&^*jO{jqn4y#*7E7Zs8x_9z*2h^EXRbiHTi=4KE7x9XRd40X>3X+3C`@if* zb9BbSX^n|2-w7U|38EaN<@q}dVTE5OEH8su$Sk{oe*dy}(uYl>0~Qcc4%9q+g^_9l zaB32ZkKllU6pg*4+=OU|?3x8cq4vq-wB~Z52B8gdT!Vh@SsdgOgts#u7Nxd?Go(fl zM+g+mg23U&u@Xq+3)@?}B1l6=6;9-8g-JB-61AJ)0%YE4mH`sLeEhYcV zbM&VRHBm(E(!;!-OyePdYW*5LAau$Z38TOdCq&U!G?B$~#JZml8d_GKj$aptTTz_p z`V2gC4K+U)r*ZKO3sIR~%_R?K49qoEIR8C!_KOEYaZKTGOT?%74nx9`>ZW)k6f_Gq z2JdvC1dfA*k}k6pcAc|UF>{xc@x6^I$LWxnG*3Sj5l)=hvUbEVzql=U0NQg4Lo+^1O+u`SL)$96i z?iyt7Z4O%gK3C|39bUe`T^|zqg zUh}-C08qt*SC3c7+c+6!@B$IxXK%jSZYWupd1g~GlMuF3+o;bdO0Eab@j+DWEsz|$ zVBopVbw2EDhp->c}0{gG4%NsNzm?xZW;W6Xq@M6XDUkTAKBOiBMZ_>XE|h)AxG z-9}%*wS}z7t;{e2H1UeIe&ms!|1hb{hE2a2qbwv{?S<2q9n__JGCmLMpF!MWCw}f? zQ6TFN7hqK(>wh{S*weK*<0OL4An1Q#gsw+1p-m{OiK}~IgzOpij7ehqTDmD1;d7eN zW3UqQCY+O)53i`JLOmJXoff89XcC%FI`%@)1}lc_*o!`>N={tynnC5otb92{gh+;* z?qh-KsN3IK7*H6{TuQ7A83_366N-1Fa+ zPa&3LvCkoztmGQR#@Gc!T{r8x1nY26wE2p?oEe4E7r?Wv6Jk9e4>P+!u2{*V;H+Ec z=UT2T;!eeJtE>MwbWfi9@{kPHr7ND3ucutOmcTv_R~^L1GR0RX9HV=C(Li9>xs=o> z%YnzY$AxVBdQa9AvLo0%AB+{GkAwad646}sk}wvPmRtsA=AtD}j-djz^~Izw;qkD* zjci4*t*Zih_r(4HcvMxKRH?8xAL3i?@B*_jpAv0ZkFU28t`x;aWoaxu(jlKX!asu! znJCuyNgR}6s-s4X?OUkm4Dt_*@573H&W!K#t_y}}gT53>wTSWZ{HHo_ug zwEs>D6Mm#%I90p5n(zhXbrjSbJiQzQJ1Y)Qd^sB6an6SwGscU=k6NPjGGZi7H}?p( zZ(KAqs#{^J87|i<+3hy#mGG%pL6HvR8N&R&g^Bt(5gdugRr=)?LHVEWQVmc*u_sq! z?La<0q3qS+vtLow#^ABPY*a&9gqq|Nmb!Y>pN}GG;K$1 zdI?f?P;Z~HIVSH9NMv6i^BLZ!Up|R%+T8_$zOhj(_>DdT!POGl=#E)w#rzfBgO>M8 zM-hb#!JaGD=}GK#muO^K8PTqk-WJuisK}H-U!Cde&xTZF6hHw@^M2$W5BfC7&Qo>| z`o?%mS(YwUN&IL~OJI&eX|vSdWv38vr@xepe$r?!J{^^sB1iz!vnL%x=JX0TY_@`0 zM!0h~Qh0MWq;crX5VH{c9Ff|<*<+5JQ~rFJ9wTX#2d1WaY0i~r-h{J<_44^WQt9Cx zSM3vgYd?dtgI^pU=0|=Lyi9yiw~85re6q#~dPVrla{Z`19hy8_W%$&&Ko;NxYq>cZ zxn-bX6du%D?OH+mmef11;X_-QsqNsqQa+^6Iyi|UZtmjW;p&bDT3J*eNzakm}2GySl?eTsbIY)3IoKjzm(}n8PG1_ zTkCM~6fS@*d;MC8oaOE($UJ7TdzXEumVIr#ji-Icu=BzPK%nxO^)M ze3;S0U8z{D84bnVE*5l%r!#P04Y^d4$7!i%Yagt5%BoH;sfYG5?w5CobE zc;z0Y=pJUqN0#zb#QB-;CI!`J3ANAJj{5#+b`1hy-L&%1UcTbco+7TJS9fX!B6CAL zV-A{Nr`q&4f|BQA(-E-RUB8-mEd z!8znk8aXfgJ%ky>3qg0*z@-$@4&(;tNM`R%TK6v{*c-g${fNs}o0dND;$A8gsr1A} z@#u8o(!S&ZlzfUmm+VF(UFzX`x>b6**#qn9{ zU7=ztO~m{mAYt+_4f-D<4R75FGIn-nSV!mI z>x={QGH4!aw!4`PN+`UX@&_oQ$9j!adzPl(yq+|D-!<#-E6mvvlB=UTuL?FcGt5v| zMX#4I-t~!Au&#eJ)S_e1%YAFa0$)V84pra5CT`+ay2?~&EUh@sp5q50%(TW&S9yff zLWA83x}n(v9~se7{-%@H?$z{{K$~mO*}ogrSq%}GCNb#Ez4=Ot?0$LW(J?NooywR#P~CRgf8U~jms54^yf^L?`6l&cwivyjP^FJjVvSz10%jHd^cT7t zk8iaK|NY-4=?es1r?YWBK3w7MLQtuJCF^n8#tLq@Uyt!D3wege`F?}pPw78@>enHl zMO3+TFHUs$dJ0t^?9#wg#S?E4LP%3;ig-UT;y9E zmI}C(x+pSVOVJ*)Ln8EZo19APWUDasKIS3L6QJX21kg(ec7i?5kelG76n2k3TtiyP!kVoq!w zS1{cFkW)^e(rmy9-gNtf}nTL#Nt9 z|1vyfx&xM*yyA*T-XvI{xZe8r{`4}Nhx*YC$J@n1{tw-HSGRAl4w6_CtR{4K-a8No zr}05ZA|Sih@ijJ&*xac2u!k0<6}yS2Z4;r73i*(ReUGM1H{F4X!PPr(D@cL zcu2=2%A4B@d+YL&p>-yKthXUhB1?>_ZBlITSD#$H6dO5N3fms>%|DcXKm1nu86MnX z&Bc~jA2?*w3YJGu!(1&FubO_Zdy7xrSS_psXvhVh<&DTeV!R%4HoA+}{P@p?Z%LBx%&_T^HW@qiGB>I3Y>E=Tg{0@qJU!9!f3k2>#>GswjyzClo!`L%AIjNP>n3iMoz-P4&=+f)z5 z99P)bG51G?lWoW;2z9@eDy@Q0CM>I^;&<6ev$fdB)_4cI~~f5v{Q zvE^G|-GHpTyhD2fYSZ~tWr>E7dohtw0m`m~5N>*epX6K8*!DO?**CDR(V(_bp0b14 zmaWNhD87c3%>hQ8z4bE_Iz<~RgKe~ffWKE!01Q+cLooDa&;*b79*XC(lu*Av!rrti zvJM)asBnC1IMZ2i@P{CjQ)?18U%xbJdTg1Ff)_vOOnI{T0%!X`DN*=(0dQ$43Z`B`thk`NLc26)(qN^@yfA*xnV6o*5g zcCV)Yw@RrQ~nWg1?6wsrEc-LC2E@Ww=G8&A6}MJA(;%Jh_# z8l*$8k)H;-9!SesIMBL6|Ku}bFGqF$PMcUvPNX@x@*Iw6X%ykl-`k6?+e=MSt)ior zw<(bZ)X_{S{Bk}v?En)oC*1#I+zvkZAW32wH!EHuiPdsE$h67(#m_Tkagg_HyP08= z@4NjHNGA3;e%iY(1^KttCePu5vVW!3#`t8Ni@Yb(DZ}@G_%m(g!vXX;2iG93&m~jG zrxz>sW2OY43FL4`pXqGTJG<>{?=iK%OM#izWSD7~f~NdU>dQ7$=hKCZ_+4t$5fkJ# zQ?kZ#%L?dz1SqjGnd_lf@Tfyy3bp zY-_kQHnN41vkfjD)|meA%YfuIHp1Zo%;7?B`pN-ABZCjitPmSkkF*UW*|0Mv=a7te zX*7yxJ03Kv@T@q~7Un15T=$e7UwEAt^@)phGFx+(&b=aYls=y@elNT_sUd+sx zFh2DS+d}V@9(AN({?sTKd~`%JIzYZQ0Kv2|i60k} zC-#5~cJwY?*e+erE*ReW zR8K;$3DcQ6#q1ACqpKLYmKX}p25mxhJVTihH?GR={{0yixW|@M_{rCyDwxA6z`r^Y z=lb;{^07J1x|{-I$7}SEMVcNIc+4h=LUqh)_NW9F`5IGHH`u4arm*GTy>yF05P_av zr5dm$b)zZDD;4`v;KL|wt_n%bGjq&e@@8&b@V1* zf}0!P#NKtrD-}VGpFVY=MLr$T{@)Ag)BiAJ^k)DP3$X~X7_kbm2C)gT8L<zylBkFafv$Yyf!x z5by<{08j)d1GE7K03(1gz#QNNa0Pe*ya3(+KR_TL2oMYi0Ym^Y0NH>%Kmni(@C%R& zXauwZ+5kO(K0rU<4`3892bc$}0@eTQ5o6SxoD1)c)Wfjht};2rP*_y~Lg zJ_BEYA0TKDCI|;a2qFTJgYZBA5EF4%kQPWA zWDK$dS%IuUHXsnl3FHFu0r`VMK%t;`P&23#)C1}T^@F-VL!fcc1ZWC03z`S5fL1}9 zpe@h==n#wnCIFLyX~9fjX7H!0f3N^p5G)Rs084_Uz_MU@Fc7Q))&-k@&A}F68?Y7F z4IB&(0f&Mkz>(l6Fc_Q!P6cOzo50QB-{3ZIJGdJ>3_be-|=2-Ua|8#K&tqjI-9KfkL{BNQh zCfxA62Dak%Ey|da3z@^WR%$aPOe>k66|-laJfqoM_<98{YDX`Ci@gD%p}YXjUc~46 z(WcVc(zbTAtGo&->R4wARa0G;3Us2fPF0bwlvXvQVMR4)Ew^aC?c0XsY{?QfZwr>R zNt>{78?zCMTEF$N!%u$kn?HPIn~%I_g;fR&S>pxkY*6%h#d998$U_=SOuHnP8DS5* z@qsp8@Qf$i;s)1fB0vZqRg`dq0`l0yIx@&&1u3jy2D6w$0x`rfg=vgp01@xOyYoW# P=H6YWtM~th{Dm^KrJeYAnocW%4$ooSRQTh(Y3X!z}i*1zG#uvx_46O`t9CtPR=?1dCs|a zZsK1{3x^=SEl#6asbZ)+2!fgbVFJc(&esx!HanLn&{=te-Krx^LdIdU5?Y4RTFo@W zHR!BXq(Eo)(AjL(jRKpUvavYLvr?4BVdIh%NeEeljc|twvh4(+1tByiIM~DOjO6KT zJOf1RVX6;Qkc zNzflh{I*-Er%3;I@MO6rxQVSOy zWCOv7u;(>b3txhx@b@u76j?I%Tn}TIK6FgV4iVvi%=cIaUohHEFg-AK6NGcI5)=Zu zB*oRqN7q9z9|b#w!F+!g#1VP<13-j}5Eqn;+F(BRD~Q5;uxr?_xTFZ?PjhtwXAI!e zdFUVlHh&dkPX`QImSeb0&3fz^8oJv&G`Rfc&15+4DB# zBl;hiqbYRP#R2XC$bZrufKY#p{gma{k~-a)ec&z{t=Nj@EL_u?7) z+LI^)>oe8QZ$2u9u>(A?*b08(9F7q}3TV=;kSNr+bcVV#q<71HVy%v=+!CDohy`!D3v-oJZvF^bq9vtxlkWb(l`B z^JXnPnsV3;gawL_uckqu++x@1wrNyJs zXT{^2vODho*n2ZQ@!rU#;eBmwZIRa;>N}3)t=yplfplw7@uBh)M5eqTIcI-m>!td) z4>vSmYkC*${^8iazxczdp}l_JkN>W}HuIO7k?rca5~X zp&UINDtu?@$DivLmJ!#xoR#O>>gNS+3^}{P<1Gpk`%L>fMI}_e!J-B|S5T%Xe5i-c{CKDBdIpS{xg(XTb2`v$Q!I zj#igu$@8xlykK~dIUb(WKy!Sq?A9He@lvx-)uNrdl*fA&&fXx!JK_uJ;YnFDKgjd> zN`38QS)R&gFC8ZBA$n`DK3CIo1Bb;lXWh)@!BLC+Park=^UV zT79%aZkS0UT1ajFZepS0>Wac?scXJWPzwHei#OV5I+2p$-4W&Oai&PMS7m_|V#|D& zaK{GaW8c$J{o4+BT)lcOG4?xi*t#=%U$gPpz`bLyG6TN!*c{&DH}~Xc{d_ZS@UN>K z_{oeW%hBd@eG!+d7c|c0RUV2iGd-#W&y`2D<82hZ7ZYTcclVPY(4R?Nbe znV04w6MbZ+w&_7Rnfa`H&yFYUuc$A3S%pDePcrCTA>UR!s8!tkV-CW9KfR&5;L|S- zx7`lxdn(AVe5P@Be3t(+8gSdM=~Vfq#9KG2^DbU_N-g5gl0ivk68zsnIH0LD6A12m iOe6>rEET*Wzy)yvwcu5OMvy2-7NiT_fc*dO%lr>0q_9T- literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_fsm.beam b/triq/ebin/triq_fsm.beam new file mode 100644 index 0000000000000000000000000000000000000000..2935e37f60f0629d9ef4d1a32d047aff381bac80 GIT binary patch literal 2864 zcmZ8j2~-o;8lK4n$RNQySXgCIrEP)e0dQAdsyy1I4--|BAnCn=A1A0{@?%o%iP@jC#s~` zp%64AP!SzDE0VF8AP9!QGF zYBet8TP-xBvzYZDp~cK)r~(qTQWmSxKr^(fo-~pS>24;An76e!mi!^kq8VnbiKK^^ zEcyZ?nPD(zTZZP4Ovb-#pWuH9Lqda%I_Ux#SY^RVi=Koa&P#9(7<(Atu>*_%Kw->| zafAUFES7m8c5xyG!7{rHFk+aPIth=Mgo_n8BvIg)Ts8^8WQ0nLt0ii=ok$d8u*R<8 z2o+*Dli)~PWvgJTJrme6c)5p6Mo72>E+P=A-Rg#k38{qO$O$e^AWA}nxM-?naG8BM zM@VVlZQ-|&NF+r!)sZqi#oD$Qp6R& zwSKC@7U8go6*g#x!iF6Ra_rbX)lm`Qs2~&-P?MqpYg1H+dleP3M?sFJdXED?s=5^x+Uu@W30t`euHm1=2p zN|cDeB}5obNadijRK(uuMreXM5O)Eg#|2RWJ+Tw9ce{x**~}nzCkRp^JBdnXP_bN4 z41x$z;{+1V)!8~s} z&kLx1fMa+#-xu5qTr!pKgGT_cH&G4@IWXj64~$UAAuebbgm6J6OpHZy5oc38A3(pY z?itXX491EEcve3gfXzR+=R_Addq@YI8-VwKf7rktED#&d+H4$~o2|jtR*?ar;Igc1LZ}hp3CapELL`e(QJ&9aJ3XLdIOaYamg%$Sr57E$*h7L z=d990!jH9-*r|xf) z2?ViH{r0jbJbQKIm-+2yvUR0?bFXSwFZ-dxT+>i@ReyWp?{yEK&RNp&;kCVWC64&h zujd`835)NXIIof6T&nj>D>xsKId@}GQdKkQb-r%qq7@BwOTS$@tKybR`0Ed+*W8>o z1x=4$`?}@em)brf=a+*|j+TGW+>iAxop(O=+~2-IG5TdbtNqu0C4w&0U)(fvOjYi| zOR2rPn!wH&Z#rJ(N>3Jn{7HQE^^YuF&FODgT{L7!OcY&w%tSH!c*1zZ|n9)aeqUFPY2V8BQMku6o>x4}@!~e7mwo zRh}JrIUwXw`U62k@tT);D`E_zu zT##u`T*0xVbu-K{OBJz+F#+@1Ue`i0CVWoEfAaLx>&GM~&gxF#HYddeKZIHXdz!;H zs02Bc_nLo;Xqx|H`UrK1D)~-bEq(rZ*Js{qGMYCApIPX0e=8^Ln>VxnHeOm>(>dY6 z``>HYy-OTzg;!1${yIH*)4NAjcIGm@3%bA9v%4$QJ&UjW$uqb<<$b+6s9yKE=dR9*>Iuh-U>ZU1<~=4)B1Hd|}Q z#d{YUFKp^~wntM`b=|9OT*>UhRl-`IVlA+r#iuj6N9+2&X87<`Ri|>*jPYmR$?H`5Z##XW{F@Qa z{Fs#PDefZ|^N%cW+yA)lI?v~?hb0sKj8Djp-^wpNc%DB!QXPG7?KN$FL(|V6ubws5 z6lWMwd6f5ZV;()E^S3%zC3&;Adh=MGS$bTudF9!$jj5}R#dlTfFUyRAz&E_LJvzC? zBQ#fnm%K=yWL~#_??EB`^2vs?AKnXZ*~UBHJEgo&c{zM?O>26cZT#VydHGw8*N$qb znYJ)=jp%;2dZY34s+v!uw#FPl&zvk&txPIAf!FmHmyT`}j*GL8N#FHZ95-O-&#{f3 zL{H`Bs*(}k^+eo=Zt@Ebe6^cNgadx@7G{@!=PLT~V88cj6aL$< z!*_g_?eTldpYC}4=bK)YnbRGx{l{04eu+aX0 zQW#1wn8E)yC>dbz@dX<%09c6nqXDQC9gV(=jzdGxP&5LahE7LkqS2@tjX@L8FmxiS PKs9JGg#G^v1PT5D@|Mf% literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_fsm_stub.beam b/triq/ebin/triq_fsm_stub.beam new file mode 100644 index 0000000000000000000000000000000000000000..e4c6b0d75ed1302fec2adf02ad4d6cbf2cf438cf GIT binary patch literal 3252 zcmZu!30M=?7M{rj$N-Tc0|)}oNKz^aCYnG61uqFp-2e>=YFR=uKrkDbK}3Y&f>QSl zo`Y0SiV7`tL8?An(AHfPm1^CJwp7K|N?lr7w|6J?wS9f>e&3&a?z!ju_rK@P%>5FV zICUg~xPGFFjh-CMSWF0lrXvU<7BV(NenvKJ%AlEoELW?I(pk)U17on59kR7Xni5(q zH1mfKFEHz=Y=fE7JDaJw3{288l-r+XhF;5Pg=R|zW7C>xJB=e{GiuE_d}^+NaWfSd z8H3eGW$1D(2AXoxSxhFaSue1w&|6Fn7BgkZ78=YjRcrj6Ui4oh`wDJQf1m3gF*8-@U^LJS?T~FT>Wxl}C4(Efm@N7NxU|8XZE?$?n2f)SeM0`mC{u=H z7nnojA&y4MoWtbuA|v^Xt$=dMg-jM(k&9NZ&!CKyi83>uA#b)J8x>;INz>)BkuVWK z)D}I3AXqZ2GXcRh7D5c+j1nxt69vdoakwWL;Yo^Jfm}r*3KdDHfr11Q1yDB_{>+kiaPeF& zlq3ZbB_Ly1t6ft0?~)pzBsK6*04dZX0X7|o!C+7YAlNc%5+Ntz#AG}_9{Mm5L84{K zN{j$VoE(c^7#|bQXV(Y_Bne%^S|?y=-J6*`_L(~S%r15pPjpO-wuiTp5v|;w#Bfg% zxF-d`pe~GUw-RhSpAh=9odSYD&`$O?PxP2TZ@Ur%cuWF}&-Pi7@Ml=WGfb?)5G+zi zpnY|JoBz#stSdsscEO2N0pg4hu6}a<6&h7vekl{j+A_4-a6tKPu zLZecMbt;9N9xfEAokgyoj4L$>OU+4y)PVK?Iw{a7S%Jt3SG6CZ2MLr4ZfUhL2Z8mi z5Q|v>>4b>6G!Ixi0uLv-oE3ONu?Q;gU=b+78(N+~gt15hk%S7oes>b6U?7)j z_lq-8fj3Ns(SxAr6E5_{A|SXD=u{X%LkA5VG*HpVA{9-nSJC2n6)kTWF7#dGED93( zuGheydNnKXn(xqVZNc6c3WbY98K%Hs9OmplTsTPQ{0|_3vjY>vYf!-;po6xz-S&mY zPND)owjIh4Lw)|Eg@f%6PPp(NWCVoRm4I&m!RH9+3{e147g23PODC~t010Xn?gz$jinkR%81O~zR2SRW$T&~aGY~CBc z?_d0W(B}MH?qJT2oom;S3T-C{ZwQW$KL~=$;k0s%&$}qzJ;|cuVunI+IbsMd)*s@p@$PWU@srUEV}t$B zMMn6G=JNCiHitIb2WA3crq{X*&)>ACZY;Aj(n~rsFHb$*oDCx{*yH(JypzSs-4ZmH zV|O@O3K+e?HXGqnS@83WIP0mbf*kwjR*#4ZwKlWCoI_`5=?uzdv)E{k1U1Y?oD622 zu|QAd*;(gMHX72-MjVtQMvoZ9`S^^%MCCeW!4lol;#yQoYGqm%ZpM+e6xejsY$QxJ zjfRP`**0yKEXiicqjU@{qilKb=8#U$6PP%Jy~|yr`T900~<3{3nwn!5*P?-26*Q5u4tGLG3+${@|Rod zo7--*)qhy3n)&d@$O|oPg*n?iyNjyUT^Qk$Q#9e=&6j)q!&kM0HUD~k*y$%q?+dmG zRr9xp;QPqH*268UZib$;99U0$yScn!!pEH6wClK&Qbcj&Uv2fhxE{+Ji;KD|tAE;GeQMu=zRE!I{1WH**7Fz7;X$K} z!}?O!t)1-Nf+swhvDR<#r-9KiVIzI(I(t^H+;GBm*_R%>Coi6pu)Fa~{*&3)PbuHx zAJ^Zx>XG;H&Gd6es}f}Mb54i&2vWP%t#3=ui8QlW0y^cB?Y0;Pq@<+ufcyCPCZuk!=rp zrca|j+k5(!XymNBJ?8S|7oC2YH_2w1@LBom&mMhpD92`srsE$r`rkRC>kZl!x!!qy zRF8YwG)K1PeR=VN_>W!3u?4>!NRI1WoOTm$%l<9xoTtURxcZ~w0ORUM{{0;r+e;cx zM2+n{DIQqd!RtOenpxc4;{C2e-^FL!f=@{=m2ApS#xSd(75ECE+;Amf3wy9dfd&YBi;SBy1(Ol`0cU9 znct==UbTvf`Zdw&`}=H(WcA~Y#_hLzwPT6aAM!rDLcR=Y>eSrBn;Rbyk>%p3z`IS z<*OQPSWaqc>eETno=hrGcJXhdyxWm=B<$Xt%+01M$-J@)Z40h-U^n&;=!}zX%BfpZ z)p)Pn$z@O8x(52`m6YzLotK{{g?6PC?Mz#q9+BC65mRz#-NWw4Q zoW66YeIIe))tEbv2Q(j%Tpir>y<0<|`dyL3jLq81i(^Zr?|%y>582UwYkG2s;%?5+ zLB=7kh{BtM|F)(?Ve<+X{*p7l4w(0_{;K1K`ytCePYRu$QM|e46JB$%UU?wBUiHEK?}C*0#MfazI=+*qyLD=#Z-ut8c1mk&`~JB3-3{(54eP%3 zIkm%jVg7Ww#Ht1IcME7>rP$nPzc)lcaU zNq^>*=4Uxe)bzS7Q1>0y6m^eR7KVLY_~PsMacA8F=8~GntG+y_W3!BB&#nxofBkVG zy85TU<8R$AOnkM|TlT`qK^L_NnFRj>zz_d>5dUcsXxQ&Q5iY@{cpyF;55`B}GJF(1 l1`o%h@Nqc6Rd_5u5l_UE@JxIvo`p}tQ}7vx=l}gW{~Nt!ETaGb literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_statem.beam b/triq/ebin/triq_statem.beam new file mode 100644 index 0000000000000000000000000000000000000000..7362cde516c57a9c6f82ecca40e802c598a9f7de GIT binary patch literal 8584 zcmZvC2Ut@}w{{w^cO;OogEWNqvLF4YM>^tglk>QI z-%wv=dKwN#*oVX6e8(x}$r-TB?9zgG3J8(U8dH>2gGoBu|zu6fH=V{AXUh zQ7&1U_#aC5mrt>yW16WFX`(U-@2x2Z3rbJZ%9JK2q|4I?N%0iS&ty^R=*-X}QEGBL zm=6Bcae~!rmSoH1aDrSSi3P4I2zGWF38GYmL|dNu-vH>ur^o*GOcIMyQ%MqFNJAu( zr7ot((iO`81OS%F(`D+2X~s)ZB}xe)ec?ED;A2GzN{L(}Aw4xdbsQ!&mJfB`9k>n5 zYGoxWlhQMl8VX=TNl>N|Y-}jXOc@A^GCdYEOTqqN4{DY&7LZt}C{3auE=iV+OG}T> z1melkgmm3Ri8A)LXA`^sPu#)LE>&zcpAA~Joxa^~E&(PXQ>tcvbKSv7%{l_v|IM=P zCffZUNp#?hS%SA`Sw7UbdMY%;}oZFV?HqysUO zLqd6GsyHpGTAoBi5t2%VJ&_QU$VBPHVg^-}M`GW=%#9A0gJCM0>d!y~Bmqz$>QNEA z%=V}P@BAl^8lLCR$QP^=ApCp+Pcu(~&(p5WqmgJ}HYK{9i6Rx4r3xadFhj-8sL&7P zMWLK{lvscwm8x1974<_@2elXsw>qMG9g)E$;^ijTudW0;zZoCa7eh&SJCxcr_|i zt2!7!#2=)h41YFLKt=>a0hR?7L<^&$_*NC9N6;hdv+-9@CI^cvhnUDfozx*Fj|XB1 zmZFC$hz`UI;_!pc6eDDk(jf}kS>DrmeGRfZDHSQI@lh$nhc#^WKqTna*EI};I03KD^! z5rEalLr5-#KE~3K2o+?ItARa^4$^ZeCh9>J#YC-whxBRAKnR$}L*uc`Mln${kOV*) zlGqeytjwGdv;bpOkkKf`!6*+=a#wv&rpuj^WU{!&5Xo3ow4019F#X}QO4ihDCG*OBv9-5?r zrU2d)@TRU5CexS66S`3*@jQ8yNd_o`!eCP-;~@r@hZA#oRFIxY;&rGH(?=D^sENtH z2Dv;&J|;lc(~c_#Swi#G`x2pJnN;|p!YCEQ)S{MyJ*k4sv>3HElqp04Y6fZ$!S)0l zM8_QL2*83UfUtrRMbza_C(`Ixek{NqU{LvfBv5=~DbfJTh{HouP%@LK7YB-p=}ei# zM0>E3GgCp9U~y&)JY z!NCJQX@pZ)K-NkHSpzlma6H6vrPvXDi9)d(#a`$sq}XGDvSw3k@Q^iEh*NNdR1gPy z#X2;f2kKZ87{Eg|zec!1Mg=xX)&uJK?f?vKK5hp$pLzt)JIGW(R{**KuOa9YI{Lv3@#GTmg z0h*QSoYD$_CRXC%;0SP(v9X%>B+Fb*A`^UN$`Sv#%?~8*DQU53~q1Jlq!%BK`~oxI2V= z1(S*Lh+snllUx-JSabuv@K8OX3KvF&=y=F)lm&MAnDgoZ1_Uk!e--2h*gyW&h#)E?y7l+;4-~d-|4;ADe%vR3=Zb$*J?v3K1NNpU7ow|U@0Jk|L zR6zk?$Op_4g~IVdlqW_J9?Ah_$ia@cxFI|gt%3r93<}g|pokD9@K8jIl`Vk@R21NQ z0t#*%@GT0Ose*!lq%T;;EN#Yrk6)s?!h^vM1G)ro82}?plrF}Shgksio+n`t!52uO zQXT~wTwt0Ew0LdM9S=YP&;Ytnq6Sc~`goU+xWB6adqk0if0!<9)z0 zmPgD6W|KI^V>+08B*p>!vV*MwdkzD@#((jippWSX17P;ld`Pkqvl|DHoLw!Bi;GJD zNb8R4>?Am4Z#rV+TKz$xKt4pS{3Az~@xYwr;>DT1ZT95(zFMUpj_9Z8r|Pc^`tZ17 zTadmpJ?DckND=u*5Bm*y6B-s6k-UeSGM|hSpc8Q+>0)f2b^z@6&+jon!Sk<|04#^tx-lEzU4eS7ST3 z@V5DIE2g7QzT-g!a*WW0dG1Suy+X# z3b|O_8T(yt58i^L0MC6FD3l;f%=~b$adfh)kIv~&*Z)WVw8Lq3^3G4Z;ob7OWl2@f z|1gP$;fCAi9hbGAv3P3!A|?0T{H1?=etZAzyxx*G=L7z(;?{i;hNmzxN=Z|aX)xh^ zc{%M+#Fy3csNcsu?pcN}fFlz>IV!rV8x3afHnm;aUG4TFYm(ym#kWhGtEPLtGOCCX zpLo2~zx#4n>LH}0eT{(g)vw~w@KzVkx10T)YA(=idnbgJnJe-f z)OTm(7cW9|=KS+?u&NASTRq3x zC~RxS6A>fz$h5cd3)l8kU!P#O)rH*h>d%l%lFN32ACQI*&91}UzoWFWu72O)wbrX| zI-dG7!}7(P17gp7c1CqzcX-W_viB>KJ(0+sRF@-b6}LWX_*#uWYm|^-k$C&qd)vfL zL+=l-jn$)V;c1?`C{0!-^ogmTN&mt$Ry59KbS6O?d zw>FO!e0z%ax>a+&)(mZpk;iDy(O9@QUcb%g4cv7or|Tf^vjI`yu|92N_V7&Gfv-^G z`YUm6EpBZqhMU(qj9(Smmp*GrnaAQIac&9heC}65r{&`ggM*f_==1iSmzuZ>HHqS= z<1JR(nrGRacX+*^`DjAv@dfd7B1(_XSoJ1E3p6MmzWEyGZRTy zUx!>)c)66FtlZRQSaZ>6^^6@69<9Fvtj4d4fE;D#@)54p7OIM!S9QSV5?I!#ubZ>tYcmLY{ zCcfQxw$n(#j+Cbnw^!iKvkW<>crL4=!PODFCUU@M$G`DXsT{U@X^Q)zGo9pg+QyaW-kc+_E1B8qsuL2r25+V2Y@PM;6(@16T8Wc|X$t7;a{ zQuvfCT#oa8N?`rFX)xUClgp=~cV&VtzM5Z>k5i9s{(gU9c58Z573sl5xtz~BezB;d z{*k=eyy=PUA0i{_HR3?S@*6pqb>GlhjPqK!_u6Nc9_tY4wJp-CSxsyg5__7nC;aKP zVye|H&6r*MCS0~SeD~j_HuD^FPmo!LQU9i_nR~K6;mlp$w2%GQW15ZM=xZ-6IkoiJ zYJ-vV;ycp@CuQ?y_TQ&pOJ7jb?mXN2{>lnQ(Awh>E1N0(g|5aAz@gx}roYc4yXiD> znDwY{@~ggWo9<8Cet+VWZj8--S-PjTW916M{@VDG;`afv z;mN+oSbjUaKe7jl%0#^l_}q_H(ty;E`p@(^o}DFM&c$YLSkK<7*YmZQCZD-`Q&Z64 zqVx3-D0_7wG9E$EAg@;LeU;Y0u3aJA2YIQgA-^RKP_+TS@MQ4Ae> zRr+Pe3G0(r!Wl}@b!LaA0R^PKHRWj?YJdrFatJ=O(Ute=UtL>Z4)0U1i9-g6m za)0q`QPEb~--Q|fSf7{=&xwG2QQ}j4f6;7aIcsm+m!0q5pC!?5 zqc>FDF`vusUZ-QdF^^o}i!_`jR3+*ykwn^Wyq+zIe4;OXW_D+|!r11{>!)4Nx1AAM zmd{E!EZ)R5%r!4PTifZT)4wj?U7EzwQ?2>)t79ww{m`qdLxG-Mo2S+hE(Q@B%Ojrs>mK~QNN-8avHJsiXQY2Rv*gJ1q&xME-fx(? zPggzsb~3i}p2MwyM0lF$_6+ZnGD$(<_m3kZ#P?a~4`xuu#&4F*b6!?`;+@klwYD#} zJA;4L@fzRwvh|5)j29Z}R(mc7_e>da<>$WJD+u3ctA7ga_Fk+m@ci6Rn7O)b%ijBq z7n9vLxYa3C`CEej#y<~NRbRUw^Zf6u^=o{)4UKwkEie60oKdfGk?p&8$*^wn-dRH# z```YoRX+C}|Bqp?&5WGzh@5gOZ>Uc%>x@>(sTy?RwlgmWe~|hm11j67i_lQa$ew42 zYa^@o$%%^Y`Dgd$-P3(D9Nf&RZCkugw)J^ea}-PZ^Fy5Al8x?)=Qk|3l$KAhZJV5y z`{L*oex**}`=UL9S5%GV#r=g$WI?;>#Sp3DR zxQsJWC7?w%6d4{0%%JA1TjIx_B--oYb?s?RPrkscmN}T_Vecv+jc0uoIu5gJ=KbX% zb}Y{R%#pu-RX=&db=_jU+-BJyX)_Xbh-Ti~_|eEa$VcdW-f`IW`OoT=vmidyW$lZy!*}7IBUr;pL;Dw1N>}Z;Fdj{7pJ)HTLGZ|vtEAUA&h}Zec8$jcRfe|U zjUj)@zMFr@=H6XCH=^*=(rU8zfxQm@l+Y|Mys&C7MrPfD_w*MW2w*Q*QqS=%{l+yO z((w54K|22Bi{?yjyMcRSY@z(zm%sF;r#^qM^H>Etclt`crOT_Ok=GKf@4NGHCYkNA z^#^J7O8@G}Qdj<#&H&218RxQ2eV%N$Y#jMiXXP^U>=wee3#uQPCu|p8zx6lEt87QE zaV<5>%Wlj0=lKrxvh6i9E_&EK$T?HR%F;H?PRxtWN#BZZ?Y2rBHX2Ix$-lhF+b3>D z&bqwBy3!+S0$Pu()eb-lx71~L>@DfNgEMv-s$THgE$+43v)kSV6MGM*B5&!>x8fwF zWfeo+#`*jVACgeg3LlS$Xv!(VzOKWK1VTYBwSA~4iVGM7t%#E-a-ach` z!Aq1iyl&&k_GP-Q0_KLDvZ*r@E4w}oXTO_I?t_Z9WS`ifZ#_p(5j^nJWP<5|FK;4V z?iiRAc~~5HX|?%2IlOo76l;f7ja~av`MtZM->&RJze)z0x~$J{?CgswAl2m^x|GE~ z`5wH&I8ZE^>8wTC;T5sS#`|?gkF2EU@!YH2W<6iC={hYD_JI#-Ewv7woj<;9y^(Gg z_j@$!$7|;5qP?%*%Uo7#G8$f-jo$dO+~Fh9 z+q~sm*7kH&==UEDudXVFjgS4<^!8qhMQGEm{eoMSOO%u?z2QP~Nn0<$Zq38j_f6-| zJiXLn|Mg7mckV;aGkbi__FmfaaE|#j!VinAqt7?riyr8SRxXd_2eugJ@U|^7-pj6_ zjbGQX*Tw0pBRzj)UVhN6orNyn7EiI%pX-qxoO{n^;hve{RkIPtl7B^^9Yroj9p{`a zyR+%vA5$4Wyq@BhNE?<&t>#@V^IWzugLmitvqn zxICK5{yJ6X-?Wb{v87yLdeLY7SB1SvtM7FS!^>wMlkPBB!0kTWUJ~m!fB5sP?c&=L z4ppyzwLZ1$uN9_Q`<{Ka>z!SDcYW;N1xs!#ZBIShklHFawo&JMcwuFg1} z-=`?bvCGlQ@$OFGoLb+UPIIr!F$iu6j;-!9e;~adO)p08Rp>O&d~@TT*Y3$nre^7$ zvN}=!{b~Q!_p?$W-CgqNXJ%|!ZtCj8uU>8%+%nz#!5Z`YY3YPFxh3oS4_U{|AIV61 z8=Umo{tm7wp2)lthiqA|b$4somoUp4>8+2CPd=1-MOa*6z3+IXY2e^sYVBa^%Lihq zVIYb7)M&$C-uET1S&l!^*6|F}0BZG}{JEnmgHqsritM%}4ux!V?6SuGXzZENt4Ts>varw5D5 ztu^FGMhG&p%#mSrk#zj9xw4Ji-dN2%}H@c zVvd`wALMdm^IG3a(LMX!+G`_c)Al4ZyKU~UNSYD)q~O?gF1)tzCtZ9}Bdl-kh;G=~ zeR5m~_}>WNCvz*nuTL!KVDDn^dayn00K39&Fc}iPEqoWg2}@vim<>DO KkpJU%|NjG3o-$kj literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_statem_fsm.beam b/triq/ebin/triq_statem_fsm.beam new file mode 100644 index 0000000000000000000000000000000000000000..ccec107ad78d94a26c1538c949e70b9eb51a9642 GIT binary patch literal 8708 zcmZ{K2Uru`vwlJX>;i#=4T2~TNRSSJM5QP!2@tB3fQ?TeBmo1VB|%V8K(JvKEKw{7 z7HlA>h`oOJp&}xRUBv#0iWM7r&k6Xu{_p=@p67MXzGr66oS8YZn|%z5jBzIrtbgzV z{UiKUSs4U^)=2_^z%x=QWI2gSl}IJcNK8>?AmXfy3{j>;iRNZXq$#pYsRYr8NU}0? z07SA(gH&l|;%_l+xlE~2>MEo&qza{!EX$OsC>nWS3z*GK)*X^0XUoLt2H6U!I4e^k zQ^~S2$tp#zR7a|ii!xJ*E~FVEg^o>T!G)Rrm~Sqe-! zT_MX%7bVN3|M9|jkdtMm{)aO9?P22JoQ_ zwM--*Tp5`mlFKAuIrR6y1J&$EnxCyeQxsBZB5+ly<>I29B9bem28!JO4u_#6EAfwe zvREXSlcm6rwkSJWK9iE2rBwYV0BE)%D_avk9f?#fRY|q7()Bf|NED^0qzdhnEV)Fk z52c1Oq#1hyw}DyRJeg{GR<25032dmeRB|mRCyFXJ8-zubl?csJ;6Lz2!%~IfwgFe$m28uky@ z-8?j`JCObVS+~D{-A!ZM))95T*lsgrc68hJ7a$H?kzct^%?5)-GB7BQ&mA~O31G&eZC5=>Ls z)F1{XAPay3$(V`}vz-qqiQM^oYE)4WqeQS;fCZLl@pX!%#3F;OMKm&vjw@NXn2QSo zaDFV#k>E@fj+Nr13iVc91_KYk)b+Xyw%2x&_jVG4M#}jD zHKZPO`y6dTQ~;Nx@qj7NqX8F~EGS6k09kdnE}lfisX=T^poa-q0AbZl!OBXRZN^K9`r^d zv{hXnOd{4(aYhguI6)VX1TgAqgf@YiO+2kejJ1sQhOvq5IFke8$RVXNa1TvL^-O^n z22;|lM(9AyEQ#31rBL~}fIz~C2-S%~6B4QHs2~POz!C5PMKj!*q()2%w3CYXVtwtE zVxrQCVy^4~(Zj_gob*4Vsz!$CQn%tHmIK8YOcF`sDZ_|}@f-?9jpC9pI|>$!;n9FK zAtKlu3Vn#BW6^5FbdEN>9h{`kp^VT>I#5PvREUTPjSGZ;c_K0l)=)Hr5dpTJOl7n zo)jk2pUD?`Q7rl6_!LW1oIzo*Db_@U!Q&IeJU$iV#!|c*7eakpi4B^t{yoX#GfJR< z9%hiV5~K(((HugI4%4U%z=g4DgsDqy2M17%uyh&SP81uG7EZ@tFknn=;Yk2o4;}!{ zC!jerI*qHD8U<^gK@AK5N8xvBw80LNh=>iY$08Xgfns8EDV9vU2bLO3jo5*G*)oWT zEw07XVN>jg$S5^p4@ou=u`^(^!QsQ9b3oPsWCdqwwgtNbA9M%pD2f9Rv{xgJKxb4G z5pnROxRCrwLa`UcRX9#aafJbLWK*1oh$Bx(Q1XOSuzy$OYP^IGidP31ARJcgp zrXRnK;g9L~2Nurf;+z1S8Hzkanfb_dpFE*qgzw^D;}aPI8{bl74*bb=Us0aL&VEZ~@ ziQ){>CBbL`GznekxBI06hc;sJc6W^4Mgo}+*c8x!cyn!aSr0NHloQd~&})F>Do zJ_b6!8sR{d!Db0X^;~`*99K2M4J8o~H#IUEB-RyF2-^U(X%Z}kRCX#3>x-;;S|DR! zS%6zQ6EJFIEW$=GAn&e5Jb@~kN<=&i;Nu0X=S8O4{zo%4ikd_XiUNJw9XKkW0tW<) z-wtrph&Ryo0L8_1qKw9fpu2)Sj5cJj)rij=ZFUp}9w|%^6JXYd%%F^gX91*%OwtBz z2&_Lwjf{g9z;NtXiYI1305KX5p9LfuaC1CJ0o{w@Me+uK4;&0WaMXyeo;G3v9*mf# z^}v?yi!hL31R~<;MHzz`PzQqmct2e#Vmi2+MN|T~hhBgSLPgAgxEELhJR=ZqHG%^_ zJV6|Mbf^>o5gDgO`~l+yJR3iF?EHv`uNvV&5^UIyOTj@wf+ctps6Y+pQv3&>E_}_s zzbC~P95D_bTtP>V^2dZ&5JL$b7Q#R!lZo?5;3NZ+JT(DW^aj50abuF2FoB8;Cn5oZ zEU+60o!3k-5OX3Dq(%aO{5UWp@T7!*6)>h3B^dJtzx&zFt*r<63o%F zGh}B2r2_5jA~6{_j0@@TZ2}1(gMGr}f`>2*91(ILMj{!rLH>e))L;-oxRfB6(NIto zVAb&;7-1kqf5bfy#M9P`5)LvHPGa*&49tlVj)5BOAsG{ZX1E#&gaM8KH3uyCg2+wq zqC}9!kth+c=|r+AQA8vXq?Q9x%Xgwga8`rZ0L`f1955<`JZQ#*B>1QXOyJl2mpO>0&oU^@^D{n0KfOh8RDTX7vQ&_qyON? z{K3O_?%y&#|6{Bbm=EJgC;))#dk@VA4voQuzz6UGfWC|e@C1PNpe^>$*aKW$0iX=z zYyqIZc0*&xLk?ac;2z->+R+Ni&4fNw0O$bl0HE$<0Qg5F))^iHSAPJgHxY6GT0=Yz z#;^vU4QP`z#QT9Ul#hWNz;8RgL-!NF70&8WN^&xi%=0! zgo)fl`fx@^nU$*$OVbISZgEPW=$5V!CA&o_veKktmC{YBNCV$O+~C&+H>Eyg!MBn$;JtscQUyXKDv2Txd^7Va55>RAqIa1*T(`w@S?AnfzqtLKM*BKg-9d3Y zEyu$-ORaM1(V72DS(cajddk%{d1~tG^E1S(JE2uEKOF3zuJSZAUUV>!g`DT}f|f5k zo7X$c2S7F4JOFKj<%~zgN9@yT+n6U`u;=VuCDQ1WIJld zx7bO!>vFzTcCWn}QcVl5Ss_ci;@yB0JHwOEch?>9I>;L>P_2gvdP_t7hFDD&(KkH1rDvLb-n|4K3=}S}g zb+_P@qFvH;Z=X{0R=5A$R{B2qFT>+zYe@0w&rVNVDtBrv-k0OmxBB4Mm@6am7ti|E z&{Mmp{qV(8XYU@~6Mfgxcj$ljsrm_ay2W1AzlI*zk!nC^~l-{MB zdaQ3M`RK8&Z(M74E&2CN+4cL{XR(^d^~3ABFXzus(ZOzfbueTxCjDIKw2E3c9c^$t zR(0-v$FazMmr(L{w*P-%-Cf@)`G1!+qy?$IBksJ2!s2XYp-s{UQCv zLrWesFR8y^=a9Z=vAOq&j!Cr9$)+POjGp(Zw|>vsC9K&aOKhuJ6IOg|-kB2ds_NEk z}*FXfls_$V@v>wCa(M)o5nZQA^K7o8DTt^#?x}$!8rXJkfb7p(oMp zQ=RD-UCF`YpLPe&MmrKl?%>+(-Cxt(?7lBD{9mz|cj(L%VbB4i{l&ijND~W6uC+7? zte6iBzT4C0cxV|%`z;drO}w@xvc}u{k+gwSv1{()ZGJDd{4-Fs1b>p%T5LY-G_f{^ z@Xe2L!|43?s|%*KE^q5_&+5ydW$BYDN{Oo}q|J%Gs+E)L7WeeT&ssL{$ot0DEf)!T zdHQk3ZofUTfn$VbPM23OWEiD%KFE!*Q$Pl@i|jCQI`at*$& z{UBTWLxXRSZ*zjZW7H14ci|>B4coTjPWDr5lE?jPu`_sOgkJQX{^2?W>&*@?_P!%X zoNuvw@zamp;<8l1nSytw3EOR#?ktu2_UK)UE34ka+NeP5O0REQ>#?-!Y`%;63@6{- zi2=7EfhKJr^;n{@P z0%|+4`OMLiHwcne`{}MP7ysqwAMmMrZo~JOyN7GjJo6dvFSqs@(_^P}fS)w&McLD} z4kc`TAI_UN>M5n1wl_Se{_KfLR(hew*{~UT@1^89F?&i%6fNqCD#JQb&^EKAw6Ybc zKTdIj_R<%(wVeH7);;gbFTY*y{%s2Ha>#iV>wDm3+?<#S!YWMY@kBo19Ls0kojB9C zT|#ci&Zut-w_ObMb4dxGz3eedPWCF5p(1a?v)uXY2KbU3yg0J0>+zoSwVf+(FB-Yw!f44D@5QMzukVO0 zn(~q{$zyGcN!Hr;3yo(bN>1E1os{+Y%&bPE`_#OKJCnXsPW$%tkVlsFhi&}6egA;7 zwH^2R#d6M_xkpd^+bZ4X>v%?%cc149g;CTb z!+>PpBE?DjCxtNu{={F%^K~Pq zJt{fh=N}w)%hrnZbFNm#7sKi+1DJeW#8pX^Xw)uuaibjojrP|mf~Um z+pCYZ73qMNhK18lj$A$J!u4W)QlLf5W^0QWt9>5+id~4CEWN!(w4bp{=eCA+y}Fr?*!(pRUODU8aL=$i zy1d1{$8$EjOng?IGO;)6t>@-B&n>pBzPa3bZ1F)_e_O#Ci;~C4HTUD5ox5jO7F6?QYdsuTw$Zm`bxxTZ9^F8+Un@{xK1d}n5 z*usO}XP?V@pS-lUi*%Z>c}EQ=n%@+ilkt3xy?){|-c9wjy7QHFMdLdh3SK`PX8d(@ zM()*axhE+K>9`u~ar;Pru~`C=O7CyG*re)fs~Eq$>00Ayr;{_TY9*zvS^jA69rwx$ z79=aHPAAupc4bUUvw-!Y8P}yVTH3B1*|cQQT`wbZ#i!#v|IY0Gcjorto>p8^Lr?i_ zhjFvDD!f2zi7#E3V6wN$xujy|Uh9m37rXVRy~fv?-%=Bs9G*u{HYY6APj1s*Yd(TO89bbyukeEK7|fu3=B*dnY)pyVC#e&WYaZh}*Hgr_0Aomq#ykY1ovr z%R45=XI{JR?E||cE!#F&EV=c>W=wN%cmhp4Y4UBowGkWtGMQBL&T0KIC&#~|T4j#B z;+WI7dg51eUC&S?Ax96>PZjr7HB8Hi-f8!JjqOxyZE)T}`r^3`c%)@qL3L&8N&gj& zNnxj)D_k1AoSO+7FBM&pUVi4`X581B8r^=-KsI$Pe(Un6pZ@#b58U)9yt;Ga(LH{x z23gjGA13Zcj88^s>!)dNo4o4T#GaBvG1V)kRjrz8y=rRo(Z5Y5-yk>a>FBv3kULJg z5%Dz5%$^aIGj0AQQricIv$HQX9jX4h_A9r0`Aft5uj?L_<+!9Zof0UWRl?u;hy9Nj$WyKO>KKdKlH9k z4xMzZu{5sY*PaLcmT83zdgTRi9*51hJlQjPb-|jWzs%O-X?6bN(mP(556H`x=p9y% zwbiYxAH9Yhd-rC*k$JIGgfY^H*B@_Y?`+y}e8K0^!v5z3pRut%V=KnI3bOQ5HdpQa zG2)5(66I8#P%B@!^kM1Ok`Fzj%FaYw=)BTSH#qNNwkY1Xf8Uq$N8-NkRfcWOE$y}X zs2|__<)rY}uX#1U@@}2Y>*j7Bwk0>(bWZ)N;`jTs?>;)VExW+timWtMB9mEsk4Y3& zOs>B3?TF$>589ld)ULxWJVCY$GZNp7JL7jlp%`(bV1(V7jE_@Fj=Z0C;8zi+Grn=(sgHAe-`#w8C^LP2N_^pi zfA5OUReiphSg*goF|O%_>Ce0;BYb{ElO475*yHmqPP&c+FU)dK)1K+dgPLKx>|<`U-5a} z<|VXL8-6KEvhS`W1G`5OH!`#i(^81X=9usei=o%^giI$cpN#fJnK;3J9+EncU4O- zhrBi3mmR5PwV-sK>!XeBkD5)F3g#>^F_6yitfmHuzZhBOBrQ^?%+;*2ZO}!ibuY+8q}Q^LRVx7q67APx+$WVHXwjm@(FA0bMe;GTP#{)UIn*TgSb;lJjf zb*xK%&f%4T?c0w2t^GPMu!s5SmpZsf|F3TW@BGf_FrS0p+Tq}TK!6MUhVuI_5e(q> z9HKGmin^hms29pZ1JFQ}j|QRPXapLGMx!z4R5Sq%Mnz~cDo3+WC7OrMLT94|XdzmJ zmY`+m3N#yCgRVz6p_|dI=r(jGx*M%S51>cUW9V`86nY;08*M=^p$E|h^d@>Ay@mFo tuhGxw7xWwY9sPm+bRaqCIG_%C4rKH#dKc|NrKmT`Mm-3o|Hrq3{{rX%Zo~ip literal 0 HcmV?d00001 diff --git a/triq/ebin/triq_sup.beam b/triq/ebin/triq_sup.beam new file mode 100644 index 0000000000000000000000000000000000000000..bd1a5b9a724cf12af8d1da94757487561b2a1d05 GIT binary patch literal 1404 zcmZ8h2~ZPP7=D|B5Dwi5C{vUvDk7i|LW5E~2x@?gB6v`*!4Q%KHVM07cN1|`P^o7* zL_7$GI97CQv67-9I<<(_7AZosXaRu~MJ+fe3R6`iXd+)#Y-+kZwQE@9I z0PvZG^2pdohD-+lEP)U>G8CSnq>TnAno&`VQjZflCwRmt6Hb#94<~TOIi1uP^_UVT zQb-4k(yNHn@u?W2{KyOzks1uvONBro*ky(gLhumOjB-R%0pcwaxyd-wWYK_Y_FfhY zkYIB#N3;+{WYSQsEE?syA@OFw5v>47l1#)kgJmd+80;1l*(T$<{b%&{=7NL`)u*KzBg-yEbVGYRiS!rcXbADqvr{ioAnPHut(1yxdOgznA%sJ zza_M=y76|;h_qnmJdfjHVSND&M~m9#OiX;sSydt0t)6x5(6>#CHqXxa$F=l=y5#HW zPfzN727W(f6Lwl}CLM^aD{d~0k65$gP+#xaP4D?#@BH6@rKFneiR}|aG7JStk)wxC zP8vr8xF(ul4+wz*-wBT|Sjs=i&G8e@?@l|f(6Rx-WGqc(!bu}#57U5;?p~{fnTr%e z3Z$F%nmjf|KpGgFBxp9lZg3!tj0UH4fQKdH1T3M!l8vc$wP=87qlzMMB9&IEXeCBb zBt^4D5L^cYIHA@XHJH5-feE8%SXKx4(x9-Q5H^U%;OSVJLo&R^E|pM)sN7Uyl{4#c zpkc>qOa~<51R5rab(AVu98Zy2OwG_@jM74lidkukX-aM1uo@47;)Nd-nM^bA2Ld?sjQJcU~P% z^zeNXwX-K<`QVk~g{|7^2*cf$Q1NuilpvW@Rxo`2hWjgXkZUTrXM0M;gbwMR3WZCB zsbkHYH8a!ae$Q8{&8Gu{t+wn<&CgN-YFb5j!K3zr0T%NYhC67ub?@yspM(5{Jak5` z%OzoqaN6sRImNmV&q}X`tNoLsMu74D`Y=oW%vbulA|Kl}Q(jk5Nv?Lk^4LX}%iFvT zSq%%NqWrDHtJ`m6eg1Rzkbi$`-#}kdk-P7$?`i~GxA18ZL&a+O?(4k|UT$&^xYFkI zAaAy0K6m?Rk7Chd+F~5pWRxpywl0;Or}J>S+>eUp5pUj zFdVHLnOb{pe?r~gQ~t0xnz9G7qkg*NZuutk)Y<3n3uf$44Q^@jYJS%cM((el;#EG` zJz&zg=B=Igv6v-IBav-Xi~nm|Tr2%-^Ppn%-pg?<3%(p4-=VkiT%CKWkG;?wPB|dZ zt-BaH(&D+eKX&Rbmc~DS3(IM|HuUyhz0LP8x)$xuUfUD9vu(#}n}7SzI&DJzi>Ea% zzs@YGbUc~oc_gT}>P)SNFuK-nUPQOVX`rnm;K!JYrBANJlS$J@k;DzdCK>x2d==>Ka&H5z( literal 0 HcmV?d00001 diff --git a/triq/include/triq.hrl b/triq/include/triq.hrl new file mode 100644 index 00000000..b68cee75 --- /dev/null +++ b/triq/include/triq.hrl @@ -0,0 +1,127 @@ +%% -*- erlang-indent-level: 4;indent-tabs-mode: nil -*- +%% ex: ts=4 sw=4 et +%% +%% This file is part of Triq - Trifork QuickCheck +%% +%% Copyright (c) 2010 by Trifork +%% +%% Licensed under the Apache License, Version 2.0 (the "License"); +%% you may not use this file except in compliance with the License. +%% You may obtain a copy of the License at +%% +%% http://www.apache.org/licenses/LICENSE-2.0 +%% +%% Unless required by applicable law or agreed to in writing, software +%% distributed under the License is distributed on an "AS IS" BASIS, +%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +%% See the License for the specific language governing permissions and +%% limitations under the License. +%% + +-define(DELAY(X), fun()->X end). +-define(FORCE(X), (X)() ). +-define(DOMAIN_MODULE, triq_dom). + +%% properties +-define(FORALL(X,Gen,Property), + {'prop:forall', Gen, ??X, fun(X)-> begin Property end end, ??Property}). +-define(IMPLIES(Pre, Property), + {'prop:implies', Pre, ??Pre, ?DELAY( Property ), ??Property}). +-define(WHENFAIL(Action, Property), + {'prop:whenfail', ?DELAY(Action), ?DELAY(Property), ??Property}). +-define(TRAPEXIT(Property), + {'prop:trapexit', ?DELAY(Property), ??Property}). +-define(TIMEOUT(Limit,Property), + {'prop:timeout', Limit, ?DELAY(Property), ??Property}). + +%% +%% import property functions +%% +-import(triq, + [fails/1, + check/1]). + + +%% value domains + +%% LET is also defined by eunit; what to do? +-ifndef(LET). +-define(LET(X,Gen1,Gen2), + ?DOMAIN_MODULE:bind(Gen1, fun(X)->Gen2 end)). +-endif. +-define(LETSHRINK(X,Gen1,Gen2), + ?DOMAIN_MODULE:bindshrink(Gen1, fun(X)->Gen2 end)). + +-define(SIZED(Size,Gen), + ?DOMAIN_MODULE:sized(fun(Size) -> Gen end)). + +-define(SUCHTHAT(X,G,P), + ?DOMAIN_MODULE:suchthat(G, fun(X) -> P end)). + + +%% +%% import domain functions (a.k.a. generators) +%% +-import(?DOMAIN_MODULE, + [list/1, + tuple/1, + int/0, + int/1, + int/2, + byte/0, + real/0, + sized/1, + elements/1, + any/0, + atom/0, + atom/1, + choose/2, + oneof/1, + frequency/1, + bool/0, + char/0, + return/1, + vector/2, + binary/1, + binary/0, + non_empty/1, + resize/2, + non_neg_integer/0, + pos_integer/0, + + %% Unicode + unicode_char/0, + unicode_string/0, + unicode_string/1, + unicode_binary/0, + unicode_binary/1, + unicode_binary/2, + unicode_characters/0, + unicode_characters/1, + + %% using a generator + bind/2, + bindshrink/2, + suchthat/2, + pick/2, + shrink/2, + sample/1, + sampleshrink/1, + seal/1, + open/1, + peek/1, + domain/3, + shrink_without_duplicates/1]). + +%% +%% Enabling this (the default) does two things (similar to eunit). +%% +%% - Make all prop_* function be exported, and +%% +%% - Define this exported function: +%% +%% ?MODULE:check() -> triq:module(?MODULE). +%% +-ifndef(TRIQ_NOAUTO). +-compile({parse_transform, triq_autoexport}). +-endif. diff --git a/triq/include/triq_statem.hrl b/triq/include/triq_statem.hrl new file mode 100644 index 00000000..7c78b886 --- /dev/null +++ b/triq/include/triq_statem.hrl @@ -0,0 +1,27 @@ +%% -*- erlang-indent-level: 4;indent-tabs-mode: nil -*- +%% ex: ts=4 sw=4 et +%% +%% This file is part of Triq - Trifork QuickCheck +%% +%% Copyright (c) 2011 by Trifork +%% +%% Licensed under the Apache License, Version 2.0 (the "License"); +%% you may not use this file except in compliance with the License. +%% You may obtain a copy of the License at +%% +%% http://www.apache.org/licenses/LICENSE-2.0 +%% +%% Unless required by applicable law or agreed to in writing, software +%% distributed under the License is distributed on an "AS IS" BASIS, +%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +%% See the License for the specific language governing permissions and +%% limitations under the License. +%% + +-import(triq_statem, + [commands/1, + run_commands/2, + run_commands/3, + state_after/2, + prop_statem/1, + command_names/1]).