SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 4/\< ]]Affine_Arithmetic:threads=2elapsed=486.707cpu=830.188gc=78.336factor=1.717zXZִF! (C]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"?HAyZ{Z>P;E$μkw?.‹Wp4>GSF:+sZ|4z>OC/Ƭ68!F7oFd0d iKu#cG f1bQhX8}p&.%%x Bd*P~̯-ꘀU'MP꼥;jM:$yA4ePA 窩/MW n~u:cXj  ngF,AP臎_5>B Jw柄D5q"M >Y w4\u#(ԅ 0 RoGgY0廌^bbӗޥofXB!o7qٓ'xZ-[&\wSĪ(ztj8DdIǺ.5d

^:ƖQ8Rb T&|W 7:MP\B;v!o+L~q1l#YX[OOX *44`QߚzkDzQ"=JnK5=f̘*]a\a-.3΍xuc@ @+@_ft/5~ zbT3mXmru2|p&_X^i*UsþSJ1*SݫEv*J!Gx̕%1" cċ6"UjϷl0 @^M%of2ׯq4(@JҳM%0 Eˠ,Y "Xm/C_6e Bz%_TNT:(oQMwd`~lY`/04I5ϝ(^79ú.4ZSF*݃CzDž;F+o--W\*_Cpp/TCn+)΄ ;Lع ÿ́!T'T Gt6JzsL=pvxmPOPL>"16+G:^DcUw۔ z&F{B:ϩ>^_q  W] -גghAdjv=.Spݞ;i W*qRGE\>@~?rg5jΒą>ZfpMCAoma#EUZ{xO9H-z"<p=9p`Q=T]f`>xG Qa [;-;:I=5&h=NFPEO2tu U5U˻Jf5xfdêfw=Q*SJFx{.mH]S'$Ƀc4%^ 4mmhd*3vr|;cIܪ+̺?l|~L]Sk׆sW&кIvʀj|]qȱs9VN czYK (W :=p;pgW5`fdȐqQi6F⌭mD`&XOw۹kڦuؘ֭\lWvŶ['ݮ;~Rsmږ~ QvSe_D%}]=61KO0۞ey9%1_U̻d-x͞K1F ֑'U,āy2ģ 3P1|XA.Қ"2}aͥ.Qi,<(;&esw`Kwםz.Q nZIDŽ?8$eٺti( v5[xbҜn&FQi+- bl\7;\af*ucgHQ{睄U8*ˣ_myjF,6嶊gGA`N*5hƇrN pL֯=,Kf-dʖodpH "lE~+0uqh4`{Q],;6٢CcFwa%:y9|K=91FofM"* *".bGS>ytֱf0cvpV0EAm=8I")̼9d3m{yA )_.%*Vfj WG8\3Z^UӔ  ;j)kfcރWGdeۦW2c>Eٿc / Affine_Arithmetic  eW@cQLI*V"$u],]ܠșGCR"'}ޟ'.SEdH˙֩qxҖJٔ,ЬžvHi](6xiT8޿5*˵3ʺ1Gs8綗%s8q0\rԙ]"8G®q7XVlL^fCV 0E6H|G8ΙTaFcb76PcvUpmQ_?-i)PeG‹y+^X|:#y"(M< $p$OW%l(} 2x4oI fr:QtysH IAMW!\T_ b8̣=h$m &%BV`}~ y%c[SӥFR=I@ED 4s:@;3]yXK86 `K!(cU)o'V"a43gCpyJjͮ$e1hPes'ۻ\.w`_ LMόAaƏC!ѸX{xJQvKnp!^7댗9|Uvo{Ͼ#:^&s`T!D SowڴإuQ];%/rEm9*mhTI<Ԅ#3Du>F`-WWCqG|GUDr2e|οxMM'H8[Ř/_<"+bh@{sB7Фy\Jٖ.=j ;TY6}^H}{Ҙ{wO-[Bow_bDĝD0꿙Fk gj'g=Wcgv`x|r`h(ZnjYh G%!23hc;ZJWؙ2 Q=ۀXȹ6P Qf}7)6@cȔUk2rP-Pö"H=p [-85ړKr[Rh8WLC,X x(.}?T%eQVcȄV^dc oH2&_6Lv"qU{>EǨ/Lۮ; \j'}lGXɭ;o&aU'㳚qv_q@rz94!t| 2b z2bw3 Nk HiU y_#dL~ % sxka6XtBoK :/ |-@@VktbMe LBs#V5p^zo#v)͝D 'BNܗ2@&"in+Zei P%1SwWx$@zaxPZeY>ESHUɏ'etߣfFE/Ү !*ִ72%5heNB LCI(-a\#9xo]QAcrě+~P<9?62W:u=9IoDg}kRӜ Z)r'WDϥ@_3w|$2'E-(t+۷71YdCU[vcì j>Q3Df\M ^*_q-.苏0£#VztF iVj@0$a _7V0>jsUZLAnM5,-L-835_HWYd6. iZC0{HKv(MX&Y,J#ǹj,zY"k0SjAR@G( %?G]OY="(L_Vl04~ Oxe!.1 !RC?ҾHi7 e$O+Xֺo^R rCBN`m&QekK2iȒ5h*&UA"|06^i8d .D^x>M: X"TD;4? $A7t0Y&]K}FmUKbգVՍ/7X?56\ir"ZŨ| M|ww1*GZ\+L!@;C$ ,_y^/Qi|@D'mhO;֍Y/H= yϧ.VQq) ޢn[ebC196 {ęZ}zBFFFN=iʶ4g! #X1DVD2"?_ Q*3Kx|VaΧ=,i=p壀]1)0L3q1ǶdgYJ;gk9M{܁^깉 00G95$NވF:ݜ<>˰@FF 6Z Bwvd!NY#M 5~ULHlj>G34b%]kZN$q.l we59O\fw3Ş2%IOMȑ'jma&OT7Q# ̊736*큡99>/s27s8+hMɗd::ORk1IɛuxpĂ"hɼg|wyhG"  iMfĴ˨a)}~SR]KJ=; xF586J,, _0b״RYDSi ]Pg ;}swN헒[/uwRKL-oǘEx޻f]U2/dAWFLh+!'dC kVGX=I[~@{1<.tLgYNa u['OB?2"`ojܼҵkoW5+bƑ妴i[OHU%xi_[j 8h"\7SCBMD-x 'z_<ߋ@P9v v&=>ɀE*_^M͖zT,$0a^ei؄Y%lod^08vwJ߄wV N`|ڞm~p5ӉZч_WI]CL摚N`#NV,~tu~mD{(;rטFzou<0+ P|`ʄ\Ue6 ]Pw~v X#¬cccG8t69_@H}Ȁxm3֓LlLd%3(Jvk+$x~ÝS6|mrv?+u~բP9_ejajݻZX0^'.d `glG}K)hk X$]p9Z_GJM±^DՁfnJK+cdWi}ْ_(xR~h1&,8!R-TEa#݋ai #v'auaV ;>(:5]{}c-ntY~N*l/UZLNFdb&ylfiw%{ '%@#2>zVx(iVI-LUIQiӹoWtS{ïb(s!$BVaHX Ķ  > Uq VˊMyn`oA;_a:n JH@:E -q4[8ŝgYZ7zXZִF! i']ŗXiɟ|E\Ât+.*aphG)%uG~?~u[Uyʬ\O=uh*M%8V)*J!;A䥉M,6VVxߣH[Iv| ,ɄYMT\@,T 7g4S]s,&, G Ųl '+#$ ϖs52k)9`Ū.Cܗ݂L1۳,eٙwqS~'!DwX(Lx&O"9x$S_uZY'b{y9H3 iwx: <~}xLl9?+߷ĭh\hώX3wHT+_NMPW4Q>ok{Y]fLU]! 4z &2< ^pcgnR.nvͺ&.%\=pb{yzwb V9e0H8t`NGh0l7 .NF.%/)@oW`DB~t+&Hb.߱m. N` Ř %go &hfؒxflUX`!a'G`kׂ<;6:2̀ˀ]˗<"a dtweω>qf{:W09*U{"R&:(`1Jo94p&ɰ.uonA{˶ig勝\D*Sܼo@ѯ}?7oZ!?6 5( 1A `cZ"_%\WW鞯E RDUz@;9GI= , gYZ7zXZִF! uh]ŗXi%;Lȷ;=TuAY+98/0/mXy%^+TLw h/xJKz &I-޽ZL03jyֺ5ykȳo\i& eLu@~R[a'WeX#%ش6i>R dLO pꀕJ#rt ^$g (w3]Ͼ!o̾QC99<1I>K%V`5DD<@5O%m]JR`ꤖ-2%dvJg\̓IYm6;qǣ><}#n8 Wr Ef EnK( A9Jcg=ɱcݟCl ,{E7~~eN^f‰-[Ńܯ1 #A0$4.>SF-;tcu﹵8P!d9/QF#ȦE] il4@X9BbEt,L?VK}Z{̝},r7&d9l rDYTEQ.'eJ)ڊA`lU j %Gry feTRe$цz:!vfFmĿl\_T.n)r^PCI[lW4ljy7㎹>);Wvb<5ͯoaŞHYV!](Eo?ulj#ડHigOgcऩDFWW,ɷ/.iEA]C£1R?n/r ɞ TBXY;h߫vɻI򙂸ܠ՜2#a-W#o8*KF0weR{Ym!|$e-ʹ{<ۏ:z=9.$ڭ 醳GDd.ڒ|duF5X=!?"1rڵeؑv6p C'm;^@[[̼mF!*c_۝Z_,K3Oo<#`ʊܖ?Lat˳$[!chcRY'I wGk"27KQY\I£B-0#z;/]ݠQ_Hx\qh>R-QnXԠ#fB:#(k'Kg>$;,B$|KRN; 'څm} ^5_~ ͥY7<Av[7SwzzDYlFQu*ڦФ %j h 0(.հ2r8,m1ܕ\ǵc%*x˖tcL.k"i.Vdizj"<}]1wĶ.)$X﫶ql¢"'Y,EjUnQmצ nQڳƗ1^qF/E"r=BCFzmӣwKV"ߐ|Qd5+ٞN)Vw)΄s:MGaiZec,j(՝ %Q8 z˷gy"mq$J*ZxmY{|mx|BdbEiLju Dߒ4*(y^=R~AYwB̄'ޟp-0|8aum͊M;1(A!-K>;5B 0wLNjI3GnI0:Ky^ !y@28\׎L{ݷ< <1T&iV$1wИ$ՁVɋ-J2D{f(J,F蓤j҄Qp&^2HEQE?m/@f\Lҗt$ Gg~fH -е6מFՁHnם\| ˿ڽ:?7%?&[Z#">tͶP d Svz4;8aCH&=[kE6RdüT/ބl '\馉*{46t\.uO~sjuC,#5a:sT,%Hmَjt.9x4NQ[Ώ5S6{T]u/9Isss줷2]YB2e_M8; b~`D % A37$u7fk 0sP{0-XPϠ45$4[d4xH >yL$t2aꙶ7m<,{z)(uϨ85J ߎ~tu|ʖ&҅.O4)M}7],X̜`A j= ׶9hE2cV5'ߙќ}߿| PI# ';̺+/ow!P)GhD6|WCt$-=M]H,6&/d*8ő/J\;3%.fYcڞ[ސGqXlmqIrN^j6kRqL?Q&?W{R]4t8ื;rfMe E)Ar5L!Mxo}h bdP6K)LF`G-a0l2XU5k.:x{!8@AvCT%2z,J~r~^v,\5|f7o٢$@rd+RoG<ȊH" As+rS$ $_WI̬+!s: MH.#4O~Gd(0d+uˆyqo12 |KG@Z{hq 6b8O̪M85`Q tOz- 5gV [^J"#C3NG/fYdyw 7<1 VL B(9XqTpO%"/Fzsuޝ62l$ԱljUŠT:õB:n]8rM6A"B1I̷ɼ'ӧ%{SMDd4g]xVݗS<@ɟ[{zW OpؔU1`u6]䙦"taF"`K1 wDϰ .vG:@ҿʏuWV,Hu~F)O[_H% 6 T;c*E+&u7] `mK/67|d+,}4N]D h&zFF:Q>qzQS肬C<^vҭX=r*oC8ޡ.BuSaF)bpM_+MY\zIL:uiT쀠^+*x}RՑ#f|Bɴք:K0Mk c ȱf&GO_x#q| 8&t5y,B&sYs2 PVi͈f'7kJ,Oi5v`} 0'1 3Vɑ 8K{S,bI UK/&e6Э ̧re$K.fH|h΀$uAT}4ٱ #HasDdBe h\],1?-djRl f!3QY^8!;EGL$g|™7jຄWn|uxY#kV~V?tC"WKBSlAs=_MV?B^P }Qw (x-fbtgo=}˦BFTV6)n )rKY.mz:>q#8_>}k>׫2\S犏UJ(}ו'6=gz]F4^PmzMeA X5DiO`x!.S!xB^>a2īERVOn pP`ܬknۖaLFBQ=Ŗ5"q lN qNҁMuD 3[ug=LHDAYNoR?p72$oq`hp!|Eaf-N@J?Mh׆YI[ϖ\dʦI9sIQ4tzJ!fن/s+YM</ î)F-bWd?3}]X ftM9`l=(L㻅QaFr >% l``.<|х؊*#-dl?K(0@Utγ"<djUSwP~q혐 6zNEjI,mbWxXm{}"wСᗈC0$wy#7I˺ʬЂ'kHb2RG&uQ؏)>S4W!0T-0z5zNU@_?OtXH:{OxҁyRqͱ²M*CL=3;I||$|?iBm~raQ)_q(7R;{93ȚajD׆:gEmn^dS\F`;ɽg)j0J,+'.97`a%~U.A9j6d:VסFpÏdAHG_YɅ&1:<53%UK~ naGfD'$iBdzDg9](wz|7m ~0ptcZl a5R ,hyu37Jcu4`yPW{/$SVj@H]<0H8zUi68=;V=ImƔ_z1J90{r۷n,lx&^Ԛ_DSIl{E\ \-k؛F῰:]y^3>?$^jߝ5=#;&' ˪s(ՇOgX ^.mN `YӐbb_K3bvGBo Cf@̕?A" e&m C}F dQb~(3>tasds'C~\QLBV~U7L-R:#c(dK Ak>ePr3NJfī ^x%|܉jD\3LXezh0cq ;K1*8Y-Tl,O&2`1L0.)tmx:0u SXjz۴W+Ӱq5ZT0mժ sLUk2T^p;Kxq]9"2qBʕ9Na,]e!l=$=#Oz`)^(XiXgL z-* T@Q(u釃[ՒDm6xJL!! L޵'gȭ:㔷#^T"y0 (G#®;_kUإGc,]M='vhªkM>j'ZQ;N5;iKp z5֫2Ïڗi`Xw$ʥa_z>(@(lBvp,$pnP/Sr)8cd ,WA;@tRyK4%1F3.($Y-ĨQJ|aٮDd#Wq>X媓lsKsÀk?y3 sՇuo{b_&9ݕ+z,Vj0+3Nkͩ tȿվ@yxuS鲳4šqZ*EzZŸ_*Y#-,`%e4Lbץr6}˚5LÎ7PSC2^U)ٶ%?{^Q`KY]XIb(DjE@OʌΑh+X!*G.+9.hfM<(aJ2ya4Z^`ÊFظpIg9Jih P0Ib]N|Æd6km ݴ<;~cmf(T ȿcc(5ڍYB G0%2z h)σr}aF/#\@ ,cDFD߽pLեZSRm佗3b;"Wb_RAVWQ) Nz?ߓ oj|?ywDCq$4Ƹpg;R yQu*uߙ0YyWeL lSV4/^K|fHi#vÌoXQ֝U)jID۫5pޣTJ X_^S+_ jkq=Nw:is1= DɤyDcz%H"E.ʐ<]H٪SDxh$ԂŠ^HB`DB-*V s~Cvff[!l%\˞? h#՘ҿRLi sPpGg$ >K[9zB*;!Bp hQBїhQa;Z>sA=3RN(mw왟q>Sg,$nhLbR;7%J6dēTvwuzvhwcgEM86dGOG`6%՚uCڪ¿[kp T&&~x4lڤo8\D-9"~6Bci/rwMJʦqF/mXmu$}H~1O0=;F:h9 ɚ% ,h(NS;޿W`?Ι\i4&N>E }em2m]Jo5'~2Br PwI+R:"5$4rq6>fm i9+X$DT35x9kAfOk"Ś\pļ<}K lCs%f2cv Pt􇶢vNJVcZb7!W4c"*U((r'V}ej5DZq>VTuqruUdS] t H #=.v޹NvRiTw3oXz*$0 0R?iD%0X6鿡-?F+ 3VQw玺DdMe JO3bQwAI9 "( xC~&RŞ^>$П*JvǶpWV4FOӳx8D8dJU`33žȸ< V3&8lE m\V2OE x5_OMċ#3flC;Ck@p"X&% r8*U: Qt:6 IThӸ=\%9R/Kȼ>T[V@䭻*П#CVCh8Q,S$=y atJ*E\22,?2w+ ˆ4:A\RAblm7*$@^7pEl̢fe#ŏGc!t!/MKXwhhkΣ^{fwOZkc+DYQPdF0 bU@Kv[3À>>~n=!krppStbVP$ldT` YV i޶Z:| řڦ F"ZkOY5gx{??^a'6}TVƭGuy̕?;l(d蟲~jkyRY}zzEx$jy'5t|3č{NFqhY 8ʃ}# 8Ҩ3Ee8 @E_?˶@(Y/מAZ"Q,W^`3V~2qW|c'M<;{W)sv CC_-fms4F2ήbMtDU|\Mqy^$rEJq ;q̘.uNq2&˪ʞN|٨%>O(r 9 ԗg G7eÍg:tR'xY*Љjັ^ + (MXHbf){$P4iR`U1=8LNI#43H'* Mʫ^l8HCؾC=R3cE%~cPq!*lb5 xϐ:s}|.9(E;Yk@;_%NP_N?A9_oyxP3U9kڔozWq}qKƟ1=N+a7dM1$ZNͺ"`]Y5YJ~}dTzҫ`AIr64n4V(v9Nn<ӟ h-FV#|t|WM>a| ˳XFߞKMoGlcj.xl>8fAfex=R9ƛr 2IrQ@+}ml4׃3=!}6'5k#æ~.&Nqa*@RbxST1qp~1 i pO Gǹ^ ÕQ3٩[B{̵x{`"$yg9Svh߳n UȄh"n5aiLRQBVqzg(4ʺ֥:0 xn=h}( *T[r`ᗰ$?g78koJ8״KhrKPY\&MUoub.P/^%爒Ÿ)^@J;@zy?$G,5 oHqD_hI!k*Z)fǕ v6 WPo˘v-r3jiTm&n/} tDb_\dg9VKq೟ߐ&!sw*֒(۔/eTO$ y}C(HI֥#lWa߀V¢cFޕǭWG↥ p_O!ԮB.8=fnb\ַ?\J檰^FtxM.)AFI N̜Og wx,ҳ@@_p3p(cQO\=N8g_M7B,Cb.niÊiLz> E8~uKZJs'[ceLߴ @rxfKK;VVce@s/p>3l2?|Oq*$Fn_߾ȃOB1ߪ_v<иYqq&%[o[FfogvZA&6ps%0)̈BVkb+;rVTq; hՓD^-ĚiJCmBTQSPF$~8Dc"CRGʼ ZpT%P :dG+ԜwZ9,ϥ% 9jdK^E c$bn<yzR~wQCܓj#ō(Gf5)V ? 3l}w7cKtG#U`Ǵ<;"б:peMXs!J.b@';rJemw^b|/*96ž矰9܍ZNq?C.M 0 qK5\rM[ 7(Tv6F-}Ҥʃz!=3ư<) oAEFcvJ5 \AqD"$T-㪽J(|ui`|̳6?! 7ǝ,/f =e PSt'*sWfQN$HcZ*3Sz baTDBb^d}7xsN;7}k4Of̻IYt|+;/(Ep?z| ep<5HG4݄ٕ*U@ORwW-dȠJb՟"?ls4wG켔g mȮ'D(dk)ԑzN8\/kVv xv<\ZnI]$v}ʥj@*Ǟ׫F:^xdrM*$S{R1 `MUmϗF[ϦxdGETD=.EZ3#^G&ge3cg*G4/ᮟWrՁܸa7A۴V;{Jrhk,F]l1)00p!F}B49ޑ`Rr,cqNK#"0> Dtzf.cZ?CP!Y(tYm k7ۑ+p tPzfѫgWr3=k.,5Ĥ1 [p}:DQ0'Q`nf#?N{̲aUWi(/xؕVYam6a5,d~'''q %$D(O6\a+/YY]в ڽUj8qů[4<  XdnݙvSca ÊybXmlerzjg1Nv!u>8W-FdRI"ṒQRg1v4D!ƭB[rznzXWxЮ۵4)ڵ'p Z۱VSˍ;iVnb p<`=Ȟ#4Lb9/ACa`EC&w#OH+I1<)֥b=3*2r~?@(bUf UT6f5Xf ֧Sӓ1kM8G _Ε|ou38Qd~ Pt(\4b&lfn9%O~y[__ڄ~r+z#7l_lUIHED?g(ARB(vX'zipO‚u:Υv0G$%ZF WØQG+"S87c9-hC3&-RO ԙ$$3rp%uAVe|dnAS)¢C:۰aC#e8{4<ȷ: Ĩp{WE_u%ԉLc=Rs߹ۛ@&^tJot-ǺySV3kSgςB$Aa.Ͱ;XQPVǴ#*Nv_n( (efEmc6"ga:gui?_!;f9?Cnga-#"SGCu)`~g*~-?L]ͦ:j_4b׈Wp ПG3{-3]y(_wAm¤"oZ̪8K2LbhQ~2ynN"{+G<"^0vArԿ{2 ok׳N-zt`Q+.Pm$1sCEINOQ[X^k R+OÎP )SHmw&Ԗ*[R> &NVl3CT$߷ë҈մ[r͸{ 훨KƈŨ|Ψ 15%$Qz=1wYz鹭L\ SYŭuwIBX{n"]+W$OsrYz1W-ƹPjD3;ZHພIR\Vb>8(}DV"Z{/9NGXZ#b !gImF`mYbT!#n֐Nb;An@EW3?lk?FL}25cA5 ^c̣)ܑ7* _}:X _!oϒʷNATٴ0KLu b/o/$+*=1UR)2*}j#b5<$ҟGRfd}f5oËܑd/k9IIX3+OS?t6Xi,I}F ئ"iu\diNShUHaEhw\DYhJTK@DH  ʧxS*-_RޞR=RuaHX RFٞW6ODŽ8 Ie>D3S]PKvdgHuݤχLӆx)rR~>ۯ}?i a#sɚL"0pc†yXp-b:o Qп^XJ_ :%n<бBt"/N2Yr\9G2ߣ_Bԭp"3Rdf,gG~vO,jy+O;X^w9w򌏌3@Tp?#kI#Ɲ|إ]xw'{ <-`xή8 -W-ˈ[k队;Ov}qms`J9p87L)ϩdrG!7r?M:i>1X[旉4~refHJ"O0Nc/ &>CIدQ=܇yp}lȜNBx>39E_P Z@șzZKΡ_6p99NW>ShvTo+ɮ*5b"KcYoףLm;2Ck1ʦaYwfՖ,.W A!Z vZkf]Mb( "A i<=s@.X,єU,G{wY_=ysRu| hX z%n`{ήF0Ĺ)Qz3b¥{u:cDO3]Ond枈R>cA6T)V88F> fO94{zKsY{zrIl?bxZ:vIw.V fիt޽aQ!%rO<[M>>$"5&udē4IA/.zJp4QB70:("hJ"ƭ`xlaa𜟀eQx> 4{tgV4NkfƦl}c:֦,ҞdDtNcB"%I zQ4fuaҷ4z] T gVAKG rQchLXnk{Ak̐w"aHEQ $Z y9&o?a$ī2Eg;?\82"Bk.mL4?8I(a=5]N;Ճ++h/ɏX*`lOPs7|YU| Z{ #ŸRǯ, O*(UI&}g0EqLA0]Da#~t MԵa%/W!Mo$ώ,eӖ2sw}ݲ3/kZWP,R}۔%H(9h%.E=lhp-mP8nDmm WzQBڧa#?-hg+b-*x7I7S [ݛ LB>[;>O-%Zo҆"},%Ahbk#]$C{0Su?%_!{_L(#*um@I9h(ўԖHJ/i<4ǹɽLaf/#xlOH!mtfL<$֠5utC&hNCĥd 'vO5)J6(}܏y[.ߌL>eSˮ:}Zj>Vvs %7*L8׵\8 셷ۭ45RDͮGx ,BfD)>*n!-Zy#^HR-8q%,iTqDlQe/@sن`cvm%Ė-7Q;;5I8X~-ԣ4߶bߘcc򖻎| KS?}z*)'*$G7CO{yj]6DFPi;'@~xqZLh.6A>;{}A=H)ۋ}uN] a3ռc ,$;HPsInrǞ}= ޼pv1*_Vy65cQ9ALQ%(Z5uc; *n8©)Yf3߰Sz s/'hDFV& zݖЭ5VIk'4ď(\NTg6H^ V^˂s`r)A7 nWS]ٞ|dEGHA+DlMr몜6g o<ւUfjJJ-o;Sy,}�cNY& (nK_ܲ 5V@{Kը5O) 5"պF&>뒓㰮 q[ʉ!DVz-L8kY[_c&(CO-/'Yے*$WQY9&+ͿQf;M]x4 c|佃=#V 7aB@ Vn*n|FE`>&0h^+E>Y$ġ2 []Sb040xuDe,<>[;d.SY uT;[Tv[D|+ʟ-P='4}kA8QON!Gw7n]z2@dθ_e P}{ @QWϰ=ߒR@!)y%,K2H}dh >YM\N'$Aqq%P~ Bڂ< wB!-/.m\eK27MOFP?r٩ ʝg. @|QNTB!V$o%"aC-!C&TDfqnH:Fh(A2ɚg呮qoT=Z鼨'KZ|{tEE:T-"9i|_cUV>/.z\:zO_ X^?x"1eZa޾ル{^}~jfBT }B< lEP]i@aHϞ~ 1Cy5wEx狀1va0AۃI}yJ<Rg!UL|"{rTz-h!fRt08Ɛ:cbNjFcJL{;1z}:㈼wT1*U[58A5ޕn T1 07;` dq 2?҅UL4(OAxk),т[ ЭעJ4BM;K]]_㱆1߯_qPmF[A`?}!0!JejlYgJO #Tw* Zk.16-mKǂcj¿Eўdeq&iNH\xU˥ XHˆZt< \i ܎M28|Y[ #yZwmH 䒝G6DB<@112s?3/䃓yĐL<kU*Dw0&rJtTA񲀓dZ`9͐NU_Y _\_|YM?"*x9_xX{>Qt`K2>?$gfxN,=2J5ĭ;P*xtQvplsS4Z?#ހE^ r#[CʓryEę)Xm[ )kC\,<]Ovqu/ 5OoN譴YLZxB!T-'4_N)6єŏԌ  2

G"nZgYZae0f02c319bfc0a9f6eb8ce064ea8a7c13534a5d665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c23214b67d9cc6213721a3467943eb943651aef83d7b