From 54282000573e2d644991fe4b86e38b9c05368603 Mon Sep 17 00:00:00 2001 From: Samuel Pastva Date: Mon, 5 Sep 2022 13:24:11 +0200 Subject: [PATCH] Update wording report. --- report/report.pdf | Bin 279312 -> 279500 bytes report/report.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/report/report.pdf b/report/report.pdf index 3a8d5235e4f985775e786dcff163bfd34f2740f0..5ae879e0bf156cdc71ce3ea1e49276de19ccf1f5 100644 GIT binary patch delta 14029 zcmajEQ*b3*w04~x+qSb~+fF)W$F@3lvSZt}ZQHhO+nuDlzxSM~^WXj#Yu1`o^KR9u z8go1eVQ4eqXbIE+&g8@}AShI8GHzQ2z4wbggjYpG_N;GamTPO5_=N*Hqia*Bq#{KE z6NfXo=I-;$tFa`F4*QIpm4YHTv9ZsngRgFAwVq_?-}ArUkHh2jPOVW<_Jrn_SC0)* zO;!X_i*)f#_Nt@Rw>)OuK#xKl^CP> zCdD#~dl27FzFh+yXP@!q-Typ48q)XBDHW|!$F*swPgVPq#3|Tst&?w;313Cq8zx7n zS&q@5KR?={*O5m|G-Ws>SSIL**>o~i%ar_GcfIa_wU7&P`VekmbMQ8>)HaftBG~r* z&I+q`);;aqDBTF#v;ifXZL`fwUXkOcV@r6OP$7~J9#txz8_-6HPL*BSjUKPfdc$#@LD~P>XtSE?i271La z2L3*ruGp^RPW{IHc132oV{m`PwOY~j8G9L#st=?yLW@JCi9iBT;>o+yVJgtbu}k65 zD&GA1cdRi=$mHakypx4&8;#&=SCPj+Zp(IzLSparn_DaQ+i2yiyi}z7)treECp@U) zS`A_C{)J}F;_V|(Rmgs?<)BXnXn#^7^tK|r-?Od{&2~p^6AIUu*WkLR^5BMwj9-LR1U)ULg}y%7y!*Jov;|kiQKX z2;o%&>jblKK6lZSCmphwXAiO^;bMD}-qwNhcS=$|d>b`7ODW>qHJw}n!OY-8_5PGJ94y|`e>N6$=5w8u=$EOX{=&~b z$b-jsTYQG_`)VFf-UO07<4<4mKL`RqNiqQ>DJ6@_@A6<5=GFc8KN9vMx;BPba{m;? zOZWQ?efnNg)FRWc{hN{vA&Eiv3cKcji*tkaSc0?0wtE~R!=guQ75OUH9PD+gNVO+P7fuWHQ-T>%1Fy{M42Ube9=yHOS?LI1Tx;#grX0%UevQ3>&0^@dcpvd zSL2UWMSFUBrP2XuoRcKRl-wcwC69mP9Cb5B1i;SFl_K&2;A}CmsS*fd+JP;HDm|T2 zl*athTz1!%+cd>#x!=36$H74CRavSSz#Et$UU#aEFQDo}5>n5ugikWUI122Mb__>{2(y9wf>!3UrTA`YZ0L* zH{w7ly|LC!i$bv4@Mg|>rQM`+^amnvcq##3$HU!@sUnzS&_FsXIhocRj-~X58=#}q zsU$%80!x}qaAX=6kwU&FYRNw7OaPB;wmq2)8XMG~-&qr#!lS2=VRn=g5+YEa>h$7m z5MBIp4)T!cJHqHh3Gg0W;~T~T(al>X+sNPUeZ`VB_t{Mw`2`?;Q%xKl)f#qOhb^sC zwq%6;%0|5-0y}xdlg!q$1P&%<_H!%M5KC)aCfdl#tg>pAS(jYn%A;v)M_dxD!^x&3 zhlAqa7kZ^Ki~Ke5mTvaj@@N$Do4W93r)-0i?*psBN4Z<5DpmXPIwFQ1mG{y(i~Qq{ zu4s1A6JD~NuX5BKSJKp_9_3xoaXjm&C5_TwgjqGa5b*}8LY zV$(aYTO|Xc{&4Btc(PM3NsQW8Ow`?mk8%h`$r`$V%<5!2wAgR*XFAsLEE9;16HXQL zs4%>Bn1QvOiH2d5VH*Bu;JF@DbZBLiD5R@DAu0*Aco5`*~?;xa-_(fL;wj(5h9Hp=k= z+#mO?0+*fsX^~7QyuGR{FS82NI8XvAx8rBafv9T@YSiD|h0C^by$@a-DKY~r>;Q$Y zbs4V&X8ZL(Zp{`+yL#w7a^=VU=9}~3qP_v3-YL*idSc9@K;pNIZy@=IW{P^5 zs%y*XHwA!=ko_M4Ko8IKZ`B|&WtN%2O@AqB1O`i|R@Nnj3h~X^o2(GdBM1@&9w{Qn zx#eLP+r?<%2t}OF7VUCYT{8UQD|46Fx@ML#D-w(4Oh;i{HUgh0n9ywE2Q#1eoryHS z1grw^v!vFth}mBKp_=W(6%R6T-dxPELUl&%+-tpP+p+yTIK87NbSs{?H!*uS8Wr;H zGgoX@36k~dRQG~zs@guu5<>)ewT(dzMZm$!-|PE9SfU*bB3Tj+2+q#>zc7%hEt|aE zfz|i*^ChvW$?9%;MV%sD_tMvM~&kF>j7?f0V>fy9r(W<7}mV;|4! z_kxSV7gRxCf1Jtp@p2CmA*w}jqBTiX0RbYCBMzkLB5&XmoBY!EVWr=P?n1V4OSfMd z)!;Q#C3vXtuQ=L%39pi2wGPmBx;Y`CRfIIP-7-mIg^)il#Q#OkaKTQ?6b%%+9F zlgC0s&53!jpG6TK)APwe$%i0n6rZPHHne4q*SE-Z7PlQAc<(CtUaGfS__SsCoC6Q`_sA#L97DX`TT4rl#iN84{Ln4KAj@+a@o;iP^@ z3A-mtlYOx2kWvAY3i*u%C#|i^MV@6&DdWOs<7SovZJP0c7+uW?drjMYdQ)0mEv~9O ze%0ZQT3t$Gm=~El!xMB-#N=Aj)>N|U8|=_CK^*L>`!_Fh9@>Yq5@3OX#KiX=Wd~-# z%LpTHNySJ(^Wc~8`Um^I;A}FWZGa)U2h0?YdF?`0o2;U66gsEOZkm$A<2&oGm?kTq zC35bW_3}iprr`v`%PyClwpgxILk2@#Fmo{K+}WBC!kP1u-69CWE|MDF0tx2f5?eCY zB6EW(zHN(hEn=0NmbyA1QQD^8l=^Lw(ROs#DF4F=U-A4bX2 zxjKnKNOCeE{wHXiURj#=Z{M9!)Lj>6>&thdy`dFOLKg#z|5G6JNkg*6?cXm=?&i@_ zbE26JB;X7@5#GBY9<181P!krAAvGB;ELuY@8cbP0)Q8v{ZP}4(Hf`7t$w#a#9E|$nd?X1QBP*eY5c=Rb zc?yZpF4!JMYO6qNO-ien0r9MWvQblv13|^7gXan@{lD-Fj2)&Fosybz$0v5=Iz=nVAT#jLkOXoCF^4x*yRRF}Yk;s}fMk+-@*Bh2+d_}kjA?JWa1kuz$7~i__nv2>zRTu)Sjm#KjnVL(J7ObhGcaMMqoAT4sXbhnF1b*qXu3bpzO!RjdEN%;Jc^f1bbjEqBZ~ zIG5Q(sBQgC-o=$#*BNqB>|<#F2hbMa z!i%x&RlD;qRD0q3@KikV(gCm%vj?^30)o(3)#0+~VxmyQl;;$Ttvc0dl-IGL#^x zDq-a9m?>Cp4bH!D1tWI*eMox`oPHJ| zhrk!dfQ>ziAfGDf#pI^1!n>HYXAG|oc4XS!Pe~sMuQEGL<|E^kVNd_ydst|rdmz4C+%IR3p%qEZ8IzB?N z1|?|;$8I~`a5U%NH$$=m$YsY0YwGPvL)lQSf$usC-GrEb^;1hVGN@YfP5G|IG`mP(VRg7vewKT~xY1i=Shkazm?q{S4#>H%k} z{^iKQ`}jt|dJz>r`hp!=T(mrb3K|*YqYsoKq`ldJ{iC50v5XYcxS(}%4c@mmNOn6L z^Bg71I6kxtWWf=weeN1J`%_WqWm8Q{<#PPWG%7Rk6D=ZWdOtzT+9*&TVIbP!Je4z? zwkFzz)Nhgw=60v-#IWIC@U289(LngSDMv!yxn;Z3Sf(*Fe41qJfX|rHF=hLH_D>By2Rm2jJn|7<_LyQ&H?e0LX< zi;kZ6{hH$%IiC7{KW{!D$o8D<2#{@3#Ig}`eV4Kzv7JUeG&YaLZ5WcGy(zbLTwmGC z!J`^mG=s_hm=V=4CpZB(!USkBm?y-&Z@aj~QbaAz@J!3s`U-#wCv7KGobv{L)#pLg znxMRH1X{8V4Jg3H40yvJcie<`^B3E9oPryUR9(DQ4PJca-I^R;taWsNH1A+`?mov5 zw&w0h)SY?YWg?Z>WeIm{J6GA;da{HaBwl#nr$2R4kzG(cetk?r(#;!_Pg~q~)>|gC z%-44sdHsBfmwW~p_01Aqs|A`{XbA?E-G~*Oj(K|K*153qfql7rf;Ib8gzH2Gi;R1#plM0Sq?>CzL{@o-iq5@!WLZ(WL)BqBu3k7MqwPU6XHn{kSr;Qyxm5i}NP7oN zklZNXyPj*W^!%rV89N3AP}Wx2lsOePg!dFpR~9$0@~#LUzIP$*=Z`#5 zTIdL1hPgI)yu#;tB(2Fjm9PdysFP4$xuD2)RrF~psPcMYnMzhPkxc0?{nycqkytOS zZ^XT%$}TL4u>o-bbjNFdmGLbSN`TQ&7o;5|d-cU9LtEbS$IG4Ji}(v)IsgZNk$j4Q z3Bk$2{lBQ$`X6fUv|;tl*B>P6myV$x++|bBDXPXLYb95yYYR2V%5yU?*$3swmVY1r z!A=l=bEHgH<1>cY`|N$67~uB~eBV`YT=l z?VkFY{8wSt@b&xd*K_CgJDnEcP+kbsmaoTBw_gRQKX?V%<}e^4u3r1IT!( z=x1xvC5}ucV9l+2KJuSFqXN@-mB>-+g#DW5vcm z@Y1qb7>M-c=JC8dp8Nww@1O1BpiNIk1WEMsWhjzh9u`L7k1@hG&w=e~26XEbFCSV- zVtywO@@Id8Zq%+&V&Xq>?t+0QuoE@J9r}*OGQl;6#7@h(cjL4#^TnqhaO`xi;X@s% z(BYOo<@yTk5H{aG*5A0dIZL1m{3LO$W`^!qBs30*9Mp5>UA1rol@{a{-n#OD zL*hhjXnpye@0|4v#5h00TAKOgh;Pup4?z!N51-5CL(%ecMa+?b zqU}!!!uVi&*tHftzPV@U#+)}At{BuY2WBZ3-ExX$y7-#+Kv!4HfMi|$5dPAg-Q%AG_| zJpW|Y#oU&=04IAOM2UIu1${MQ?y@*c=0IA;z+4jCmQiPJMnoXoLfkRMjK~oSM=$jx zvegt$9u47T_oHW*cThzmjlO-N%{aSE;UZ%nH|C#E1&r1|ZuU5_}scKy#m3o>wVB4U3%117@S4irB}rl z2{2oCMcP=fv=bEg4ej-?qZ#DOk;(+)ht~w@&{Vqm#<#=S&;W!6v@ng{!Dev$$CmLj*y@Iu2R*(F9c)Kmb$@pje6{V1m>I8&> zrr=&}Ee*b*>gQ>Li0Cm3U^aRKnZ)L5zHD|uh1ajt!&3K`S@w=Cqg-iXH>%eK%-FE}#C}NXHiPD;tfA@;VaVrv5 zu9+0_Sg<**dz=JGOC}4JtxsE3ax2>~6hWzN0?B|bB@#Udl>|l1Vl=`FGTtt1*s}K) zxHMpHr&O{Y#3Z#9vffFg;=y3+-(ssmw#O_&6#&EO25fV?YCd9(VX_uVPSM?&ycE=` z^=!GQSC3mu?-D7%(M_1a+E^YM^sibRL_@!{mA*zKm}1e2_Zy&#VcBckj9>d`yUBg!mcY zN^S-}w59Lr{(556KvJ&2+;6K-t*;7ALyiiyY7I4lGJd*dQwQ^86x8_7;%VG z^oKvKX9t$$u99h|h~u}|crf^OJpRPM(2I1YZIOgW2}fcY@hU8WKv_>bc~02MakI(u zLoda6iaXhoBEeKBEYQJZ+ks4tw6s)fc0JQy@(9jWXI-Z{Hc;cw4uoYdU)o0uxbz9t z2`8lG!}n;B4_;WM|1B#I0mbKgjA+g3M@xoV#}81_H#t1EuGm2C37E%oG0B0B7_u0? zG2xi-F+@ZbIt!Peveo#F$qgg5pO*t04QBj%V_XQiP1UwPag1UE4k0{T&@h7P{~{UKBc1tYi8j=*c<`ul#BmBn%Y` zNsK6ha2dS_3caYl0ByT|Tw2qQhCA?3e3FB1T`1=QKOR?Bbs6}g#p}vYTRs;WIfBY% zqL&G0`V!tGB3c)5E|#b!u4y%_ISt;zc*RMK>V)c1~tWpxzZV57Q1wr}PT0ZSly z*n9+IczU@H;ooJ04KjqS4`4yZPs)y=CYA(}Lz-M&A2qinQHBQj1g1Gr2a%QY zon{PX=yf0?2E;uF;F8_xCa;zo_8-899BHIlv>~o@?Qahc?*6@kEpR1oHbluRvpjXY z5BaOq*;yrF7z3ziR7x_X`5x)5t${Ul2|NQm9}MceZ=1ZshfjjdgJ`x_;? zZ{Pq7YQWI$G1JbUTMf@=KOfK6PrszQse+j!I}gtdNm;ZLm8R(>fe6Vi{*`W&y>TA+ z_xEtn%(an9n^s6IEcDIE`Z%bvngA<@x#Q&Zi$`xpewmb3m0Kgbm$_&u`5{vLzI@vA zil02wX5l<>3+0apMwRHKibuSJ!&ff}jzKN{)pBRgvGT3)O-cTn(;Y3w%^!)By~C1& zi3zodtvO4FZy@|s%Ds;40qLBal7|NSDm?$_6$7E~RyiJFkuh6>v^Z$RQZUcTzg9Rb zQ91bP;X5&+i(iRimT<*OS!&UyLv4Te5KtQaa}+K~$bt`_Q^#SLGyf07jymiwfx}eE zBMrah3i$RSfDx&+lu=<>Urm*Ng{(J=-%X_5r>4p^Ft%>TK)=?B9yKQw(?>ZtiP>-~bG4k-2~!AIfo^QK?}{4PYqEkO7H1Vx5p06bJe)?-IC|L?m3Zxc=ez z+q3U`FwZc|pjs+YK&;;J4a$sa(k7y(i5a&wEf69Ad8qczD&!rYA7mf9()bZ_U%v*% z%rJ(}$Qm8;EtyU6`y7)Nu<4ARYqNf zL35QAt0?^7e+H75qvO~tAval-Ft%}1}wt#9!UmO$RYJs3veF7a|1g53fQkBsa*5`!rKKlJ6A6Z zY9-xe|5XX@@qAsyNL2N;Fe}YEHUnfYnnD_GX5{IR408xf8?RIVE+izV_xCTdaHW?L zAFbDy&qGQoQ;EQZVtOI2jv(Ec&!6v5B?@&LdIa7M{W9>sw(P;Kj4yQch>ou)G1rRa zgPV>5>p(eU#PtS?B~A&s)*G}G07l||QVQP^I?3r8JTgBniYzn3p{-ZX`Q)u5yUR~V zIUG`(QUu8AA76yL$V5H2)usbN=Qz=gXuim8LdFX)%=slp1V#wVjVr^{4#_~^z`KD{ zb`S>GPLy6vF2zf}(o|o77r3XoM6&~@(#|n#3J5P>2D%uCj=;2#@<6@?@uY9AJ?y+Zs1MoCgQK#a6;2z-%o zvO)d|MhM&_d||Przbz~~W_ZB{)cUywfPzNzP5OSN+`RnTp>$nZ5nI^eM&ggY z7O8LDTZytiOO;MT4-}#Y!Lhd`L1B&zmFo{C@Z`G}_kb5II{Wv_3nQg&!M8zjjNUNY zJkYJe2F}EM;Q+8Ad0?Y&P(-R!6^^?R4`l6G(s3GIbG&-@I;bJRMtjI6_AcD7K}jm4 zQ6F+&GZ+Ud4n8p%ZQr)UA)OyKX;pt^*Zq+WQ3P20>E{V_u_cwIHiz6>5H8~%)h9;Mq_cLUOfdAaUPN)~-kh_56N^DY9FJAr z3?b$`;F#8+(zLQ_Hk;;T z1fNP9b*wY_n&6rjjsyXbX(@z9_R?Lzs_gl@jqe62YH>a2VQJ+nG=M5?u@tM2-;YS6 zYr6mlq=z)_{nI`zo?Vp>lbQ9j}dA+8q2FAv`(9=K5`?AzGL_qhRa( z;@wFF!x&My(E<={?g@Pi!jP1}J#|UrbZhGwditGk`kvn|EyGICI91hI03x1^aoZ$Q;J9o68rXK)V#-5hyLgX1yM@Hn7fc{rCmkXPB- z+$%Ds)vTbdTrb%))B`?biELA0HdSTt4cu1WPzzpj>s~ILnKCFq{QeWEPGF%WvE`0u z(91#+hkx>~#UNblvg?;{ai2l|UW@0wYGlMTk=rO>6s>A&32DtT8bsFAOPV7>0X0`2 zdTW79@D7I|hU&@`vPqs}CpMajQ9o&mAr8zIcVviE5zou*Yz8Ou@v8^mNN%Wp+!@wU z`wNG^IpytybfyS`j?$AU9PQq2L#0=RlDRUE@Q|3D`dB(rzA{F&$nqf!t^dFmHy ziFf~6l<4i}L3ws4H;^4LRPn2`|ln5Ti2o0G3K4g=8V069RML3sP(g$>5AzoDYmn|1`?=(9DYM^D@ z8q1~=oFuIY5RA;FN=93OFu^xy%OULMoXST*m>$P|5>(uKzy8XK;JHQpyfKr*QM8{e zpztmqsE8Q>6NP$|?dvYgZ;mFZx3VdjPER%3nX@I^T+W}(S#_CHx2;ll3@z-3=P6$gVycYbj&q4qAE}1qSI^k*3iU0EZbr}Rux1Imfe89hn z17QDem^S%XjRJ&@5tSf2rTx!O5rS0aN6}#FAdd!m7^J1Q;`__#3|L9b(-b}yCZ4Kx zB9*V|3^oat4~OFBL{yP8w1Vo~p@k;XCz@$NWR$EV4vS3b%#Sd9#VE35aR1mSTsEid zUbUMAi$v%}i7C+vZubxaVlhJhw@u(V7SuHh(iUziR2wKF5>lnfzzcEy<4Cqq6m-uj z?C5>aa3Y;Bvt}78><;}0Y(`XT;GTFH=9`$eI^c_z2a93GXhBTBNj9{ELApg-dzvFk zc>ucp!7_J}?x=6t>QQjOigiF9S6zJ67p@BRfyN4Wj4sZZtlnfL7>};*!dr1tNM{#V znIlbujsTK&rNmvQV&!ddhbtpC&X>P(6oJ=e<9Cm;SkeyS#Aw`6uHJJ6cR?oeU>WgFMT-d2Y*f4$NJb z*Mr>7v>x+z_w(O%#7mK#S7({7?`sK~%ZgnF{q8R7VV!rM_rH)mNLH%tDbj7TcQBrb zWoIh5t2~9Y^P&olk5wM;o)s#i){m#1)j__7vuUSxogzaCam7apofQt}=ci&xT7Ksm zUaWY+)&6StNDh!4b~C@r{+u*JrLRp@qckbbEVw zjMw*|+?l_Eba@)j(ar|*Qstx3N9K=$eIh%R1N??n?_7}fi4hsSiZTfk2wUWsn;^bf zvV#4{F589Y$)**{=Hf{^-g=v2Wbjd_;^vSh51pX}$u;dF+J?8a`!Ht%#d7KMRaZKM zKb3^YXg^?M0xH~VO1V^mR4AD}i~Y8cE}YqP@&*KP0G`FKYj^UX$$Mu|D~H{8agi#4=iNM-Fm4IAtj34)m4-0;FG@iL(SyQiz!23@Cz*?Bu&_ig7C z>%TulFb{(71xR`}d}GhUJ=dRuK{@B)W2fQ}>>N6f+?2@&F>FZq_MqHVS)kk8ma(v@ z;B=5*p>I4635*#UmreLCG7Y3;+8@icp$%RN!btbwj^7MSLiFk4CX+fp2w`Ifsi(=r zS#sh+7jXBG%=I*z50#A!s~H7CGTjoOA_K@6hLX58Z^IgSy7P$rdWe+n7s65B;@)oS z>^tQm+;6DfFKq)8b3nT^LEIFthu*IfK>0HV%(0gaV2s<#)LFkn)_3Aifp6Y{vrOrl zkA1N%qE@*UF2|_2^V)5bRb!!JZ?kU4gdP;_kDKzJ>I#VCPta0^ zn{M=PzJRK!j|A@ezamiXgxK6kT7DWz11?R4JJ%p@gTI{ju^PdQo%oZNpcOX4HSJU* zMK2*#`m#GuSU?Xdx`ez|J3jLryYJJ}Z$_36P`Ag*(0f(rL_d9MRQ~iji#YUqi&Xo` z{X|vO1;=--1mt8(&Lf#mBW>*fGYO{Bvc-}J>|H3RxK*7gB#{lX)3(yK*V<}rb@$r} z?M=7K+U!qN=;L*~R;G$IiCdp4Ql*2}IL|}oCIP-;5+GC2!NMG*f~E+af1zFO?(TkO zh)6P5dMn@~0cYR=5ZzN?A*;}x(|#hJGNiGx0vUDOb?lM#nGW@`HwV;@i#EJEhM6NY zNikb6BSZs~gBL)hSWRlUp{UP*4+toNT@j29{`ml>JN z7o@K~;}v9uH4Boo% z0qLKBL8cK6vbe`eR25z#7{5syp$#*m=n@TOH8rY_Z2XM!@BASjEyQm9OtL@S)Xe+;iousESf^&5?P)8F{fUlOUFteiuBS>y})wg`C~HUG$g>sS#a4NA#pzylxv)kY23mQ>H^-{cErcC#0+ z0Ym&1PDxp^Hm?9fK9Z)5JxPA@+diQ>SaH%%v!4Y;$<61#kP-Thx#Ulq6#XtAKmk!^ z`C_(OH?8;8cj4iu%6b@27BJHjYS+?TYal@Ed?e@%N6J>)W~sstyC6e~9euOx@47&j|BhnNJ5xELEJ4~LXECp!xVmk_DI z|L=%CJhQyHgQcq#DeM0w(Nt-2c0VQm6Sd#EpT7!AUnDQH+fvemGL~RcR11{h8CyzI zmS94cR6Qu`+)Q1uucR>Ag|Hns7Hgv-7e^{o-U;=)I>(Gm$eoz?_Rr7Ke_7n+^0S}w zTROm!2{4B!!(wZmgI_6=VIIMy1cFzT*Q02F{}AQ(>#guBK$Ktb01;|Ho)&=Lz`%%5 zRe*D1i?s@Qp{hSSQ1BpLiLh5dAr(+aJFywsx}&+ly2X3M2k0PR*=8x-uNB}2oY{(6 zdo%W=TCgt+s4SQj-Z3i_EOO=9f@kH$k8`QxTtJVDpezKs=~ywZL-IioDf-)_xocgb z0|9)o02bJ=0o;pr?FA263<(xQ#XvL`c*P(WBlsK`oB>G|B&NV=BWOK9^8sB4^x1$w z2eLx|R0C|(g!`a)LwdTt z5F{CB^#C;ieF{B3;|AKHM zo>{CB(-&P0z;XmbWEFv;C8ofEZ8tR^e-c7&h%&{>2g9AD0i^2-L*k^H3PYm(Pr(4y zw>SJrM7GSB%>j$Gdm!aO))|C=K1tHfS{3<$k{+Z+I6@qMQ(P%#!4WM|t{Hg+^YlSI zFxm$-0i-F;iE(C|n*8sgC*3p74ZN8Iqn20CAAv{TR|sLn66GDZuogCgszg@@aAj;r zo0LX=l<6qLT!}&qFh}ZBcV5| z#F`+kte+~f?g6aOL|$|nIN2q;&`m>^ab;p*Ci9iIoLD0H9eKM~2kdPIu=QZiI0dF6E$!+V@K zWBh*3g^sX!L#@&N@c8L>&5+YF|28v4G7&jw_eX)&KQv0iBDTN63zZON)?)XcaLq$Z zfI+kGW`&UELhO>#cE#q%PkdYmzJBZG%=HxyI4itp3pw^HUGOfuj<)ELCSd=LsfGW~ z=qj`>+fxYrA?G=9kVs+d;E(W@0xJuCepRUE_hj|RO{MtKAG3cwsaxmaOZR`IY9B6A zRDMtS+iF(rz#ID0X&8snko>r9AKL#VN7RsXIIWth`83s{o|@|WFKI=T{`a$fr47B; zU*o=(p?cn_DrfbXlM1~Fl|MFdTl3Bw0<()NX~k|-(&N{>T_FF7#b?R5zIaY7Ym(n? zkt-2AV2(~^+lfXauoD5E@Te6LsT73~Ct@X0Qobaw%u0BX-=OGm#!}3&1I#0fdVY@dFN~?5@nqF*)f(B0nh;MBTg$YkYgH>%q8hx|-53X!;@l c>whhRtFw9fy%;18JU2TxJQbCsk`(;^12G4u_5c6? delta 13836 zcmajELv$q!7i}Bcwo^&P&WUZO!isI1C$>-Qif!ArU9oLclKZ{)-~MgvF=k`-_8Pmf z_Eb1}LKu3&4{)xueob&%V5pXy!=^Mw&xt0SPXUH~df)~G_;+mqNUFgNc;$oC(CW>(qSs7k8+H7S=0 z&eb68#-U1!QiZ1raLX4}kbBS__oTnx>-x$)EyU?on^w$5fjJonq>s1T7HaL}UZR~=knuj0=r$M>!`Cc*3KZj;RD z{`YKs%5W;a?=xBq4YShyaR=%BbL83HC(4qW9(_awDR3sfR8#S5d53 zsK>yk=PCJDWGaq-BS;^L1bA0+-2nFJQoA{W{Ghe@5*^1p{~AU6L!DPK+NNpfr$l&0 z$kaAS8g?bKlZMd-%V~zznAcK#u`^3bdg{p0^ZMBs)&9@k)hxS=xc!yO;uvz&gpXBH)fIASN3~ z+E0Q1MTtt)u%RJC5zHWqM;`7ktQix1%;s-OGLvc{^VqYJa+b*+-jKPCBc8CS%9XIM z;=R{?0)OGANYIWv0Iq?JQyJJ&-vuHHpDXSi(o2iP<@fa347Tl0ZA}Z{L9%C;;s3ykc zfKt$>8in#ILX}8X&kj1Xpb{l*M#;weOtK}P-3sA5WILIPpB*2L{5Dfbd z8$ZQFb;TW}tf~abCq#XfWexHjDby-PVs4R*2m;*+b{mx31Xwl|iCjtRUZ9)ZV?YH3 zBL03gYzVEdmA4KW7JImrWA13D{O8IEb28t229GC2`BklcRvaWx2bzFw5pyW`KIol^U)3sa0}7aapw)^ly5 zGtGCC9_)_RJWhQ#foHVvFmSdZ&%>rCO(fmaqW^{Nd;B}bH0C7oP--6$i@c?vh%Kd{ zu=<1)K4CBY?JwN!1l~h0!KHA4%<=G7FBXIo#1Bn5_D`8)*zk70q~2&xU=VC5jJP7t z?^mN}9u~_xQZZf|^s{L-iSW~J_D*0?Jr~IGheltz4JR=TxwR{ja{@WN-zidiB{6ga zcz&3yOch?tm(_tR4s;$(JS3B{lOq>|GrrfsmK)dLz^IUZcWhQTF1fTQlRMSB zh~>Y;lJND^?>PH{t_>P5EEpt}tI38(G}G~i$pGrNWLV-F9HX?*-={5n}`3GnsUdbSzmNDl*f`T9x zX6|G)f48{wiIKJ%s)T-+Or{WjGb#{K-$Mqw zOivZYp%dWP>6dEW nc8hfld^Sskfz1ug;7Cu%S+RVw4a59p;O<3IX0HLlhaGLY z8~YCKslmTu$DDS|pn=^Sx(Q4ed|c-kb2@&DUS@8qBuM~7j_Fq#^?rOT-s}c_08lP; znZRLrX149~j#cJjJ|(mdPRXoD2Jc>ItwgFLo!%LfDCX?9PLfc&wfez{Lxs%;D|(I(5{5ZkcBLVf>rct6DB( zC=|noC@d})oYX$ZRV2e~gFCT}cH(i;c%D8QfN|JTiDHK~>MStgQWZ!(P{XcEJXVD99k5xVitHe1)G^Lt*FubapSW+MUs~4#!}darxff| zK(5!qFOrppUDToZLzkJ1{ZQ>SP}7Kn2MSLc5mo=xOw%-wEr-|DAJegmKQ4$_${eIq zPt*IC?V@-w$`<2~3n^zN)5Q4SM2^JFz`4NL&d5mSB83Ye8TLI@aZcGS0`x?+sL@0t z-3M-PxL+dqwwp;|Y@ui-cY_6WISLyyGt|KHEp`VkX4?9!IqyOJ2_!oMtgATzIlVCN zOHX<}Y>9SaKKlUv0u%!ydRE{10TrrXeAM(&Ef{GH{`#r+V7Z7QMz}ggWA^AwHlVY} z%=ZAI>9GWer73}z_ES1PMTxJA|K4QIq|7CyPJSPeMwfKV@b=0i-kGZ?9&j2W#{>K0 zyx5g3mILuyqjIJV-kMQHe;Mn!sGI0=L|RbCEI-`5MT5%2K|Tl!zkOhk1!2qgG}feW zpW`3^ZZb3+U1ctoW+r}Y-eoV}ar6!uCxVB2uYejTMX`K7Bb*SyU&-y%4+R~h9{F5l z!Zde_tr7=4@Bo%cnbM2GzZcD~A#wAh#=BOIhqsGVJe0{KS)hC~w1Ic~l1ihA2D#rB zfjHqz=w?E6%7h)pkoicMZNsJU!g1d+#}nhSF(C|S+H!Xj&-{6;NwEH9bIeS?`= zj1!>N!OMBfuU<9jdRALMZ#}?{l5Lxd8*c8nk0XRV{``}?K^*ohyDhI#bi+*o_}Pjq zL2&ztF|0l4l4H9qV>ZG9IfSGl`op3kjK3Io)eDGed>oMl%nqjoJVQXJ3bQ7M81`sh zxff_Ya6H$k9N4Hq{3u`%o3rlgi@>W0(Ze>Uh9NH<$+A zUC2fyDpUFc3O3}#5uS>a+Y5#kogeY~h_@aAV@f4t{O4Rp)I%Kp^+M#(Df+_rTvCM# zQ1Q!rE-}*Nh!z`4L`O}Ub+v4~49R~4svxwK@?X4xK9Gk5stI-)iOi|-q#;VRBSVyY z)*i&AY%RXy@h9M7u9bV+9NZ;%b~6IFvnH_UHa~o9+z0Bq%g0~0pFo-!6tQDa`Wn;r zg}P-;2QI)v@waRc^bAp5#Uu9qQhcbZkXVne-m|}7U1pCTEUHL7ANM3fRHP)omYoVz zHcH0t^CTJj^L2)0a^luJK(x+y40z=S8&KO!swK}!)ORyMV#;@JAq+L)i{%BDX47Fb zBG|~yF6R=9-C>_2xW`Q5DeS-D;30h3oz2zW)dlmTYdnq>rYDAlM0M>9vD zCm+6BZH1YXW*qqDQES1Y$*`fA`IynuCwpm0wYLWCh)DhO0~M>MQ#V`ukPiqKaQPZ` znCI(;9SWepflFZMrl8^aA>sfO&H3q`?OI-RZJFs{?79fQYU>{+&;FMf9ALZ)uCTNb!ofpSXiG5#5$haW^@}HuAUGQoW^nyB{e_ z1OH?(qfrs6M$CbEB_3HvPsb~GFFXe6U5#?Pp~!ZOsB+q{_$ItSeK8Fv^$(|MMprad z9jZg+8aZBwe{C<&C-`PQ+1zoGdz2pinxr+}o62QM z#<+UU`}((s^;<+4-|BWR(GDpBb-=&dv;nrUWazyE!&qV`-%xRY=wiVV{o@OA1d(|o zxQuL-h+ZinKjbb7SpC`r8Szc)$u)rmR$+z{j$*a1Ao(%pA#FQQaTi#d3thbrceN&B z$~qwY2TIbgI~c5MLhNkDlF&Z15BHAFyW5(jb7J%FlX&aQ@Ij-qP=4DH4{lY?U!k(Y zI_v}t1M?(6hmMPl#lL&=ueQYb16qcQVtV3ZlIxvY5WH*dpm^@|yvyI&A4a*%&Aab4 zhosTR{k~Z|tECXY$tlN&=d+s*ggngP}4=X{j3#!MS8~Rh-?4c8uLQ)5jAULXFu#pGOPOHZOCO z688M(^G-9My?e4=Zl@zXl9wZ*R8a}kwKj5DBYjj5DN+U8(mto(0WobmR@cp`YaPtCueSLDubMTZ%3^7aeG8bXMHhrd1n;Pp39Jm~_%qYli z5Kb!H`(zg{RXR50WoHdaYJd@VZpIAcDCIY%ho@v&)>9KJ$L%>vN#ZFR0z=1kG23mI z`8F|*dUa76S6Y@f%8viALY-@QH}=};eRjh;Q!UCLHyqgLZDUJUcAz7@_fb*fo{&mU zgS7EfiPAG$JEsEK##ynz$GutK*f}PMF$;k>#8XzBc^$Q^Dup^bV+`~aOe((Ch#!H0 zcrEg-tB}TdOJoS$nL+F(wI8Uw$@<9Zd~w>x7D+r`>IB}ZWy5Afb#shE5L55?U48BY zm*~1apS~PQ-8^pGJnJKVBVfw=_5!(Ev!v<2KY(BA1ly2)%|h1>DGrvDL<9y^vjb$4 z3tqv_cpaPKZz+sYVzC612TMYVn^$`h-Q@RgDvfqFcHr@_wLpLc^Rc=5&fw?!p{pDJOHD zgir(Ui?~C_@nE$C|4Yafwg=|6#}J8|D}XoZw89c~l|Eid-*!SD=9S9VXK{*Xz96oL zH7Bq0A$Cfah(s5EVc?z17$`#+TKly)f{Q!x{W2@0O8H3oQsQB9z(0OzIu!SK;mlC{ zBwdvjOn6=Pvc{#Sokg&!UWP@Z#XXHH9Lsof{OnH1>5jLmCf|c5mHA3oWacDguZ$;t zP{n*c7({F*gXGtvfYIBe&~8WcCia&&#IeWw^5;hB*`KWU3E_t<1|W(BI13Ymq568? z0aJ!T&abiRU^r4Eluc%aMDw-zawF1^fy84uo(RK)8=QZMsYW@?4CQtX74=?8Z(b*h zlB4kSj+b?#LD3(C0sVlRjqEco#JYeXA1!?Y@TlR)ehT$U;F4rB=lxsE=wBe@HQ~M=j#%LXcjtb79 zk>IbM-|GzU_q18?wm#V-&3>)~L+j3@4w&T}aP^)}JWxaQ4D`xB9=u`nBtN#P(i_~( zW7ro#$%lzf6oPpn0b^lEyzs*YmLX`7J+`}B4R*^0y-a8)6^2m0bmw$$v9KJA{hc@4HoQ~h$;CtoRp2URgEZ!#>*!L^u2B#%JeK)a zFzZu`sm)u{o9|>xKzcp?6r7H%>p9T#!+qKS_Ctuh3uBR+K@?lL$Vp63hljr>IqiKA zE=4nFhgvcZ2FN$Xehg@f+>yYvUX6+PyU?irYfIJ-juH78(zi15+HSg_fkS!tX918+ zDV{h>z55)-E5Y=AAX$}cAGL(D&8|5)Qs;sV ztT+L@&m33s7poTm6AOg`Gb;or2K`l)LF5M+F?dXoA<%X+HP}g zWrfiTM?t?@lA&Rqsu;4a{vyJ!uwK~n5r6NFddAv{EgkbL8>g>io-xa+#Ihr&+7Y@v z%JHgTtMZq*rGeS}nRuh(kRb-j-nM-iFd!2%vkolTrrOV^EZ~f2;%hOxaXf-O5NOStor5zN@4h8>Q3QFdix4Qt5Ecuo zkowDMz-Gvs`K6H&%L$-Py=qNQo$s*-pjn+=*ca{#DvC;t@>Eh5AHBfiG3Pmee9G-? zrI=f=qL5;Vg~U6L^jJ7$Alr05-fPM&^o=j%=$HGQ6Bv=DlbtTVQ03nzcQ328sXd`1iX9%qeH|zXFP)Mnb=vpZt zX>5H0EbZh*j3kI4OVs9S=lwG5=RaQ*bF5IB@cU&L6R3;NhEgJUIT1X2iG}yfQ5%>MtF5$En@Oy@=qU#H1e+0>8ewu>hhSl2VzGzH9JbmLueEVb-cfsA$o71_0Z$nfm zx(~~OAmdk7Dnvj3?exgvGebU?6n>TQMr4}h>|W!UcAJ~$!zR`&P=UPOvdXG$l$AV+ zud;)_pdH$R=6}o4<`81Z5tfA^tqxGX)Y4+=sSxmVbxr58*c$lzuZ#^9*y*OsB5XfG zaRu&N2v|M@B~UGZ8J@JD%m21YmTHx_9L!NZp`=gg`XN_ivXTNcVP3Lm*GO~luE|e@ zLL{2y6kWZUz$upMhB||7tA|3|dcqwLl8Q}6Wl;Mvel-w&r}+1mnAcnTx7_`FjADX+ z;wul1QsS%AUrrkeUJzwD@EFfEmt6*IdBQL#=>&yE10eXIWbLMw75v-9v zMe++alUTE2joP2)U(gC}-P_tTfn}`(#$I8Hxes!bK7b6fTmyEVN~dfFl}eBET$qDL z?#}VJ=(=@*h}x6{k^*0PMedIV@cdVV!V}r_!oShng-Nu+eU6$S;8#W^IEu&Tt9oTu z8-CKuJ!jg%!hj->;U?1KArGJa^f~mn=wI|u_L9XmiQ(un*a0{9L}?2`oQ=b=6Gqts zWE?RLywm0Ph1J$a{HyBQ^Kw=Kgk&;$7JfqX~e zJ@HE=#9Ck!_l*b%SjxNg@80HgIbFO=xFypkUfvr_24{$;n~Y;8JS*?eK(?qGs$K0k zfDz?>>6bJEw#cId8@7c$Oowv4Dnv@3fNQ|JX4&(BCs9vl=O(!S4{ru!o2h2kfBu2GcgSW z2Rq2=?@wT}_IT1(8+!Kz{rOmwr7BfhyiyW>gN4i5o*+Q<95PB=(zEN8{hT7wvc`Z_uthQX8j(81wH)aj4}6@_)glNLHx4r+L^Ev ziXJad*Euix;(K3vU!z{c3==rfb=ds@Isfii+}wbLK@ZSrUB2`K!&4l{Y>92<8<(Ge zxbC~6x$UZ+y|A&5|*>9bP0Z*Mk@Eo{6xUU13XG9Sh8m;I4hnolY#y zV+4SHG=--d^xzU1a0N}SFI;Ig8>vbdFp23W<25@QRY(g}jxK^fuUOhh&H=uXH6MH2 z*JpR)6zCEpLq{|5!cJAyYP75P!r zIzkktTw3Nsqzv@Yx=B%Xp`K#wa;cUAi*6inq;YXfkR$FJX`lU1rDLYZB3W~W*HCdo zaN(4xcxZ7n4e}{fx9YTPBZgu;2j_#2v{j^5nk&j9&xayAG={qT4?m|eQq>4T_0fU# z)`#wYNh`bYAdDSkfxCTrByCP)XSF97xC4eUioIh$ zSTM8!A83q_cpWo7jXoZ7ln=|>+fCpTCFeVeL|`>!SM3IRM$t!!kaYrXZO?BC)u`E+ zDm9mM21E9Sn%k7vv+^fF`N2ja$ykB_Me)N@zoV&E=97nOH1R(=bzS_=ux2IZ;-U6n=T4_Ox{Qu)7$YkM^1%)Jfi>A9B(*^O`68!; z9IG{2N^k>ye-TM*WxZm{3_nTfygYP;ip=pIs`I;Cn&#p4g~wqAy@0X@J&lx=MF0wM z7iJSZ%+85nanw$99l9?w{+4|@^{x_G9bKhS3j57dp33}ZMuf?69$HGV6Ax3b`5KNkiK#aIjcx|`L z2sR3ZmjGP1JdlRfirDm9i(_5RvU=#tsGNPlHk82)EE#%@5$ffY7iec3sM0 z1mx98c^<*Y9FnQ--~2i+VUG(vT@EO)qq>u5vKLNrgXo(LVA6CGJRh9@J%e^1Q>1f9 z&e#KXD+O#Y@O+-ou#xmp#UlxJjS!z6izZb5a9Btrf4tVJ0V$~uv#spq(l3;D*TaQY^BCtcovZy>XzgZBOFZx2b zws~bK%I-KtDitG8kRAxn&V`6bJA|0!4lTBCyAgYj5Ft6a4$SZ;plimq9iEG^@KFg? zFPDTfHQxeaDXTC9)s6LltEN~J^ainj#VsjW2e)^@VJK%z@&dVP;K7Ai9pD50UGw_t|@(;?1MQd%AjUZ~FL$h28N3X+}T1cHilWXv;Dh^xhLy{>%bx^Qs z6B|7$yoS#GR;5^BF;Ui9E8GKZQ-5mFEMedC-<0`Llr5yQSitYID~3@_*aPUZh~VS# zDUmxOmfpngPgGF0Lcw+Cs}cQK5CawMpl^l77* z_h)rUIgl&GV89qZxBpcf9bNJ*+e|?(wAK8rYw|u^saHyxyMXp9Y>gwq8k3h)77XvG zOM*%R=eE7OS6ZtdFH7vVTz$JEc%}3f{RrdnG>a@T(adXqbch*DtO#+bf`<9vSjE?}n_rr%;BH{9s6MtNv+N0$z3g zs=E@%gkWzJB2xA8$%;_JFE2PVpgM0-wvOTm z0&d2}wNk3J7ysvKs|7d-6V{~^0{}(e(Gkel7l!H=^7dJW91=-M zR<$#@Hgdwbu|gX8LDT{lPTz!lHqL4R5mJMMJmyUDvT!7#>Q<~sRLkMWhe`s#G6~48 z7_v&K)8S}s14BH|2OU2l&EWlmM3)VDvAw4!k)=|Is-wNLI)Vp9T-$$!XxJ!0&*ZT< zvOh{kR#KD8&Oy?<51zstU~N%V3t@Fnif4x7U3~ctw{FFiQ1~>=pCRBje0M zPGywF-Jutgn-&in!#N>KcHw<$#d1m(+onYAnew6*|u4pa4_XSUAU(iv@nNr&P0(6g0 z3DE}20{aI3;wKsXfldoqQ)-C)RmEz_s@I?rTEt+om5|bGD~XO-*M^_ZWDykAc1=dJ z{|&~&Dy-19F3KrMEiaLr!6N3W9LdUgpx$7qM?x(>ZC05ys>Z4xVk{7nWC;WmP>QrO z9WzY)Vv1at=PV9kn$vHY%bJ{n{EG?s-eV~VID!YjEk41mBBU9^olqc z>^5YR)d;>!J#7lAC21@S9Uo|TNSo6ri!vheO3fS{7b+)mh?bnHRU<5iPe+w*j8hJ! zVCr5_70_;~f*gZuO_V4HkTJ$eH%Ge&)INT`TVXLnpyIMzn^4FI!Y+<#C-|!mdJBEd z3{cXTf$~%Ia`h~$Xsvj!_gXDGhkY_t$z!6KmS6n!wCzzyLuv^1It)Y|Nl$Z5A2<3L z-cCfolRdsCi&A>g33}RIU-W_9+YJ8K=5NmsUQUGL{A!r3ZID|XuBWG874AUVlPu=< zJ@))OcC#V1Vk}rQno(72M^+t{Q|0s7LDH!{HQe!ieeT#Q(%n&W=v@fXG2R)Ri}fz7 zH~}5i!}0PHso(VIt^g~%1q5rQmS3iAwP#Zip^(l16+27O$JYM8nW-Y0HT9P*KzEJD z+)q2Zq5MDaC7mU;N<4z-G@SKq*# zsV{+wT+W9^@0~cw(dFoKvnPSCz&4XWj}EmPJGc!BZ&sfiG$5H>!*BkS>O~@mcjEFa z1c4j|8$UL_^r_T`67_R3WnC6tN;HZ(8z(VbZHq|kz~eM-c4jKZ-&|R5){u)Uz&&?99wl=mZ8g`-?)_xkJ&6FpW#;IR z@7+!eCtOu)>q(s#ExSo(GM+H}Y!L`wJAdlp@zW90bQ~qktvuKJ+`KP|-@5%J#r?T- z{P&`H@G{_`X|YRr2KNJ~s?H zKWp~fznXalc3(^==Cs_7=)F5X@&*(Ot>Mxe2_ubDl+JfccH0%LBKdA6td96>-=d%U zb`8Qi?yrWS{nc>?)lRmbYvih4|rP!6wS@t!u(}|LyQ!DH1r1>**`S)zCE+%@9rlNU0dI*^1W z!uzr|3*!IUqA}{u#bm62Pb;{rKHVA^Q*_s;lKk8Tp?gKd&{Bug6(>c*wUk=FZZaaZyco)cafJ$q;Qc4nZU zAl3Wtt-$}u<70pQVtq1CU!yMVD6a-54XEo&G)vR?P#T|C;+b>VAo2&iKQ0yxY#m?h zvia=WJ@fXy&F2jLhCzT$7ImY%wlIJE>c?tkzMmuNi{3oKT-8VL0*=gDsG2QiBv51= zQl$sK-IV55ejJ*s;Q8AxsZ5GKh5pX2D&de36lW)Xlh2RcKGmx zSQFinNhoNZu&@V3qDO7uASGRF;FSnD`B?-}I}8S;?#2uFpFM$5nQa;epXd`np6h;3 zGdYPq^(_{Ni@>Qb#f}uE6E+rYEOC-Bwyq1|G}`(QW;Fu)q9}H?jSKsEZ%xd#xlR$p zHNRZ)>`j^!@b^~G)+m48fubr!lZyN)Fw#dkI-S-5E>J=SsbV3V>IxhlxR$wIWQ5po z{LW~mbRniMwSmS(kDvGv6B-_0ue!C?WJX(7V0_JvMUp$#qS$o zmb{qdNb&JeM)z)bNj}h!){2(pIbd0M!jp$XF5~?KF8E;- zzvf{|ESIxHF8%$4Bw;(?lqo)h2P+)hXihp24ux8t-7~sw4cF;1;palM17sv#rdmY* zS&Rfc+|&|c$O~9VLYDIy82E=$3C&ve)Ww~#*PK5wXU^35p3$3aohsqyYj)H3aXtiI ziZ5v=1a{7)0MJE?sgAg{m@duj95MVGQjN+D!OpOLwTHR$hBQ^oS>c{>8X+~&V@8d^$yhmAIsW&%rB0o6(2&3zIr;2qF_3e3l(dpVWGoKdf%z@_hf$d}twlK> zYhyvxUP1R3Hyw`x9}@#Jwr0yyX3HvuFP7d_B!-n~oKUa+j%t5`mMJFk^i9Ct-^=_s zn}_{D@P>~j1nrA4L>Uez^)Fo6Rj6_VtTGHjen!t{83iq*-s4jta6$wcAZtKc0YxW* zy#`Yuf?NiTj3e4Ds11AW)rx%yrjSp}5rk96CuPNEVB?O_OzZ~o@CcGbRIkiby5Y+I z9dLXhY~{`9i#zR}A1IJNE&8hjo?~O&#ZGwf;chMR9Nb5Qc@5Upa2tnLXcdYVl33B- zI`z74K`tN8l_1#A5DqDL(6CSR+a{AND0mkQ58A{KN@)O?jhjtFN!Wj+BCyD;?6rzFIX&H4rtFH%^o;rb|2XuNS6@H9AKDB3hq zVJJ+XLrdLTBgzR`77y6(bwlD)$j&}Hn8Tz-j*Gx#5+=xSKm;Sn&(d;Ha}GJ-QjK5& zu=`i!fM`F+1QkU|9{eNIWYB-m9_JbDpu7eGmrpMfjKrqu$$~SX3zQ9*U*zgTQ2j3f zwk-AWL$a863bFa{9KkpN1{j_4&a5f@Qb5M7yyf!5pJz-y2br{25-KZlC(3CmdSyAn zlB$w+Y>vpT3;f|5!5hdc{m70XftA9G>~a(&k*gT&G&|B=S<)X%kXn*StS{gL>F)qyi%i6=Vy*@pjgus-a zlMzxS3YE8yg@AqexV9kUikK&}NntS5?4=4bbc4g9ZyTtJLc6}2AZYM^ls!b%^G zNaT9q5RH8R@(1GIm$LY+30L-`ZyY5d4FlAy`97=&oZRkG@a*(*93`NR=U2vi*=!=_ zM1&NV!(QmuGh0FCHY7dH*PFCoB|~=8Y|E4^=~!gH?UBw;|4`Xx^J)d_l|aEc`;~|9 zL4;Y_Q*J`R@}AEsLuOeaI}>wEpw%wR+}m_|&ew0h(ty-@%a&JVzq9}*!kR0LdWLak z?u?AT%SqND*T3I{)9QfPE~v_uCUp(ujI^2SSE$7Z<~Kk}b&ii~rE<1L1IeO^YGvP_ z>PDd-dD2Ik&pI*{3kU`RX%!6vix#SzRkxd{s>>QNwQ|c^cm0s%zv%_vR4ZnpdcSDZ z9fs3p?~AcBU6Pp(%Y4%d-=~S(;$1lY%#^!62&}BZx zYUPR~heQIRDPJ6jz|j-H@6gDU(dnf`(Z@rjv14Ba&kb_fFy4Mf9qMGmG+_10Ck9CR zl1A$ABaa1m{&!Q7FFZ-60=@bSl&Rb(=i{RT$fT|VJfR)^B%{1^TN?TseA5>F_JqO$ v3ri5p>`h%j8fM_}XT=Hy^Qpr)2kl0^7F_o`-7 diff --git a/report/report.tex b/report/report.tex index bf025a9..93d9b7f 100644 --- a/report/report.tex +++ b/report/report.tex @@ -29,7 +29,7 @@ \section{Introduction} Logical models provide a very useful and simple framework for describing complex biological phenomena. Likely the most common mechanism for formalising executable logical models are Boolean networks~\cite{bn-intro}. In recent years, we have seen a rapid development of new tools and algorithms for analysis of large Boolean networks. However, in many instances, it is hard to assess usefulness and scalability of such tools due to a lack of commonly recognised ``benchmark dataset'' of networks on which the tools can be compared. -This purpose is often served by models obtained from databases maintained by the authors of some of the larger modelling tools, such as CellCollective~\cite{cell-collective}, GINsim~\cite{ginsim}, or Biomodels~\cite{biomodels}. However, these models are often hard to obtain in bulk or may require additional processing (e.g. to convert into an appropriate format). Additionally, paper authors often modify the models in minor ways (e.g. by tweaking valuations of network inputs), which prevents meaningful comparisons between publications. Finally, these databases are far from comprehensive, so a wide range of models is often omitted. +This purpose is often served by models obtained from databases maintained by the authors of some of the larger modelling tools, such as CellCollective~\cite{cell-collective}, GINsim~\cite{ginsim}, or Biomodels~\cite{biomodels}. However, these models are often hard to obtain in bulk or may require additional processing (e.g. to convert into an appropriate format). Additionally, publication authors often modify the models in minor ways (e.g. by tweaking valuations of network inputs), which prevents meaningful comparisons between publications. Finally, these databases are far from comprehensive, so a wide range of models is often omitted. As a result, most papers develop an ad hoc benchmark set that is often partially proprietary and hard or impossible to replicate and compare to. In this technical report, we describe a comprehensive, open-source benchmark dataset that can be used for this purpose instead. @@ -46,7 +46,7 @@ \section{Goals and scope} \item A \emph{numeric identifier} that is unique within a specific dataset edition. \item A human-readable name. For simplicity, the name is limited to numbers, capital letters and the dash symbol (e.g. \texttt{MODEL-NAME-5}). To improve legibility, we may use spaces instead of dashes in text that is not meant to be machine readable (i.e. \texttt{MODEL NAME 5}). \item The DOI of the \emph{associated publication} and its \emph{bibliographic entry} (in Bibtex). Note that a single publication can contain multiple models---some DOIs thus appear in relation to multiple models. - \item The URL where the model data was downloaded. This can be a list of URLs if the model is available from multiple sources. This can also be the publication DOI if the model is based directly on the published supplementary data. + \item The URL where the model data was downloaded. This can be a list of URLs if the model is available from multiple sources. This can also be the publication DOI if the model is available directly through the published supplementary data. \item Basic structural metadata, such as the number of model \emph{variables}, \emph{inputs}, and \emph{regulations}. The plan is to also incorporate additional structural measures of the regulatory graph later (e.g. feedback-vertex-set, SCC sizes, etc.), once additional static analysis steps are added. \item A set of curated \emph{keywords}. Generally, these represent additional technical metadata, such as listing the databases where the model is available, or whether the model is based on multi-valued logic. At the moment, the dataset does not contain any biological keywords (e.g. cancer, differentiation, etc.). However, we are open to incorporating any community suggestions for additional keywords. \item A markdown document with any additional notes or relevant information about the model. @@ -68,8 +68,8 @@ \section{Technical information} \item \texttt{/models} contains the whole dataset with all model and metadata files. \item \texttt{/sources} directory contains the original machine-readable source files that are used to generate the \texttt{models} directory. \item \texttt{/report} directory contains the LaTeX source files for this report. - \item \texttt{/sync.py} is the Python script for model processing and static analysis. - \item \texttt{/bundle.py} is the Python script for creating model bundle archives. + \item \texttt{/sync.py} is a Python script for model processing and static analysis (takes models from \texttt{/sources} and generates files in \texttt{/models}). + \item \texttt{/bundle.py} is a Python script for creating model bundle archives. These can include model variants with different input representation, or a subset of the collection filtered according to some basic conditions. \end{itemize} For more information on how to use \texttt{sync.py} and \texttt{bundle.py} to work with the dataset, see the project readme file.