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  } }_5$4 ]S HOL-Nominal-Examples:threads=6elapsed=277.855cpu=1235.188gc=161.268factor=4.457zXZִF! Lk* ]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=h7Dek|e>3%&`MNi%kAS5[f3Ƴ(PO&K3p"ߌ{%{ 0Et~F/̀~50VٕZ{8'i%Z!wxWx_CR5b癍^dd |n@$XrGH뢩lrVUAlJ@'\`V`:g(!޾GT^AU4GA1h(@c8ͼ6;w!8fJ) mF$=[2?u¸{+hy"_\sﱾJ,F D(q{0f֎^T0? ᮏVdmjR]HnC 8>K>ՁȘ@cw:{&SFnc3>`(OO k0لt+5`eRlQs ZϟHDUF\G^7}iuE]xۇ.ɸOl,`JS$:IU#E%Ú,9 K豫).X.!m-vA$&ld~IĊcf{é{X.fv#ΠTJ`xf>p9[퀫 W̺qnqtw+P2:E!n IaiPfls?8AB:&4>:geI7O[Eڹ2/%ںx e yPMإy MXfw{u6;i5(bR`숬Q@`whJu>'Pp|z/[׳u] +.2hR.r=˃gU^IF<ξ.\vCDSϥ3;qaHFbtչk;Kw@#S$B'!>\ʯt*#·0JiS$_'5ݽ`2ٴvg| flE32Teo$A\po+)ͣ'!F]E I]4oF'g6>n8%>5R$դcyœCsXKGx-i\o^a'*9f}n?`HDž 5 HOL-Nominal-Examples  BRߺ:hߙX 1١Ғ #9=cU(=n#xm};J.f1xW> T\< wծxnXq03ɃI-49`hGGfj|aOD PRv )yأR8)kq~9sD@g6LC 7}g8`mػ3- CYLNdAՍ $y ߖSKQT:N*3G@ΠZ|@`J$[P$]Hz\Zg=;uTLq8ޜ\F jgs#&NAz0. EV< p Aj4ΰlͷfI͎Dž!| ?mERI+IUZ-̞g"^B޳/kjF=/6Rǝ)ג[Bs,|/Ad MR [A,ZwjP+{縲S xlGJ񆇄8+!>u.7fl>aG?5 y0%ٲfKO~$۲;/4zC垱~''z"V *PUnMh]f+yiaz8ũ%ε+ޞWGBAYv@~7 07Nh|/0 =}?h(TWD e^@⒑6ioX@Xz!c6#H-6D߿Bnʡr=">y'b7Iꡢ `~2x@Moɑ=<=ҷ8?9*4ds .pe\1k,\h.)$IVF}|/I|Bgw*0'tP3єo/iWd怌W&4|+?n{2niL7bx=8x2C0;S ِF}duYU|dU/{I3ʀ5-GҊ.Ɲ虇5I1;=B[+ÊghE_mJc]/|#}R'$KKoL)V^A!}˺Eb}V lwt„6r~,^c.A@6+coӃl`nA]GC{2͸&*>wNG!1!GQ?3|\;~Ñۓ_PNp:<'%Ó&>Jk2|Ag]<6Ȅ;BMmT^!Kz~el;c5U.m$DUq P5hD7 cUu Sd0 Ю{95=^Yd$v OqW6 k*D] :y}}}<> ̒ 0PŮkzDž&ghH߸NCȠQBQo 7A'1[4gdmz#W`KLqX,?KV鉬dy^vOX*|T]{P'wUk<c2CZ̐aPOKi3@|W=nx۩[O}ۨa072/vr,v֩k/Ԭ`k d0Cojug',G65.MꊓrPs+lK#U+TNtd˟,djnB.mYi% y'do#vJKqK:t; YEZpkUr*'`N?\[RG$l)& OPԠYT~ LTFleN߿_5w.A/C h3@/auM@jF#RU,bԝq0S-2Pzjl/%Z;:/3Oz wؓd]^Aq8(:Fi@P5 Т>߇,nwI=kBI+=龤2D$267{ht082*B^kXA/ٟmH#<ͨ/x@!=ہ)$;UTslM .8+W3|Q2織x&{\ ! Ux@2aڦPN8I>H!@m ً e~'Ɗf⭴P10{ڍ; _.@;fE>!$]wLE9pB4@[M`&3nGi>n)(ힵkka' RS~  mF4E_`Sz( 3߿8ɗ$-3v {=5\~"u2kbHa%Ƙh? 9>c 2{\I=)3HS1sgFL\"G/e6ۻZon,r ٮ_Qi vX.) C$rǹGo]P1>N ۝7PvIYaK ^WB3A`XlɋҊ _8 >"͹F',ӄ;^7yC]OtŵWDU.lQ=?UKЎ[.[Mwag"1 ם#z! P&"$;8(F;1g&Iib3}HP(~{,#?dOau&-gs[~= g ?&K͇N2/ rE\aSZ 6dX ۄٍd▯rNowԿYKOo(1(m'dB~p1ou?W>ҎRpw :s"d_Jt㷶0 y -_nK\Eh K_M(qͲiH\Y' WYUjFM+{p#U\j#%LVv[ =*7gO%d7+]kc;(S?kvW-"OT 侾 tU׊lǰpJ+5 bh~V) Lߨ|!Hw|W O܏Emą.#mū=cGJCshVaTR7h%i<:赫;A+KNL'=FTfmk(9t6=Q?kt42;v@ZIC?#GYZ Ž=J Ȟ)rL@dq<)g@Cޞw(;U$ONAoIayB\?? nm%8Z^k |4mcYUe~ /$jp4VW ^!\SOUڧ{50 ,25D7ѭɜ9I< X5Nۅ^8>V 8bN_^fnEZ L$E 6oY̸%kRʤ--4İޝPz+t)Ѯ dj+f]%5Y֓a>;)V[` q:1ODG\U!@T(U-bЍ=61'Mj7DԊd#}v B8,rǜf'oB5Q#7 K.;zmݬg C97s1jMo% )#R :j$B;)]l͂-zU6Tʔ.KI^C:e>5QEQ%K︾WaS/`#8ǵ w- Iz(yEŀXԬIJÂAJW!X4K #T+"H(`w&u09Vm GI'Vw;hQ0ϢAQ Peu lk4 ~g AddG9  ԹHϒe0>'ٮGī(L&5b X/^#a7*X pFԞv&^NF p=I੘06ڔO;9\)J/:e#S,"q}QZ9IjN$f#LkF@C0R pH\-8E gѓBQXLY"t4fR9=u-m؃ xN=WoA)".Z}3MJEp,6!Q~ é*hm=)4بћUnr<taWȚׯy늪۠.®AiR@OQ­"'[I(rYE=.x0tr1"v%& /[B27UdHG+<⺡g!4t\AQ&lՖ'P߳Z ]b!jn BV CsMMSTAEd{XIxL=ufJd3׳.XC*Jv7{O{zWi?TYߨm/5)J~֋}`8SVgxa9@Qe"XE#rsgtœ-qŋ'F9%A ^z<`l#ti!_mng?hd &fu43*N]'n&^A1M e_]XaԔ͡pZul> E*I_z|觻sCEU$ \}W*||\C (_δ%*buv%ڽqgw1"7J-QNG{\AEEipQfp07P [P383o?O{Ls9φ6v7p .Hp[my}!BkF[_ pm'n?JeQU>ưSamzm l-F/vhf[&i\W-SB9[3^?22>SC=Vg%\*&ܥB l*DRI)QrXTb(stA ^dsbj#Kp$}[^&ۻ2pAk@(Or^ڊVl%r6$To&ٴr%e*] >j8ӓ-%g>4ŻX;7r@qDhnngaQz2nF~fE-Kn˾niT'䜆˹aސ$3 !$ȇȾwϠ hJ.jBpiO 0#.3^fo"tR u}nEx崦1{hT󭏼?2oٝ99L#ux.bM;Ibb2ū{JŖW ǀXKrvVIi˅8QԾS_#*mOsVd]+JC VJ(ޕm޷ܘy~7^,eopDHC&Uw[MWzԷ8 iMb+8V^XՓsY_6 s|Qr] u=="=aDFng؃!8ƗAku9-bGG}dM溃?vFM KBx1EG UeENS,,THدb%oL@NsPFV$)$&t*5|KˑF>FmWLb39 [q쫨G7t|o7g$24B}^^ uCFP[x`oMJoHV j |Ҙs|l3!Ӯ+cl46 # )bnտCfYyx= h:O'(KȐ4W9xn,+h㱆z9Gˣch]Z[ˈмˬ(\z0(@+JEғ&:x:JzJ :  baq&nKa<7  㕁xu$oX֤&6Mn\kuNј4zݭPɆA .cz4CO d!D~BtǼCJ{v &2 Uu?&.p _T7 %n$j 7>צ3h/dsO>R`c&2 US4W",תzڎdIk /%oL +!xd¾M@:d#R1M݃;}/* -% :.6S8úgʃ\`Md_ C"x(<R@{YR/?--M0HT2*;;ʶk dcgzʧ=;b hLBБe$U4 ^ TIR&Pr"0"1҉gfq C=ȕ٣ 3lA̺7 1TC{[t1H# CPt>_|M~ѭ̜ܾHB@ܖ-T-r$ -1L"^ogщ/ 2L/l^70@"|DrL rWG/tpvuQVcb @jk\Je^b8+aE#AF!nw%l:R"}?ěF1jF3驰A` mɹ:bX-+|UYñB NkZl,urߎK3Ҕ w`GjK6v904,C[ -`ZOxu. g%XxyբW *kUWG%wNSш0ϗt?7AMGCӉ\W ?0|߱.[!U@3Φ`HZK|lR/'w7Mg:Wdzt/0vUߤ V2&(~C[V'+H}?)ի+sPqۖ&n+f;%9)[]imB.եә{v_xg710h-##3QVf/raq?^>%˸VCU ?(JqXXbsnj:r)-]> ]n2IfTl}^d)WvMwB kH +z(@0zQN#RZϪh+ڠqu!jf4@9d@s7Hd,Ŝ#`b#CLoF-ߛ`h [`t 4. wEFu<r3pŵ .h)rT gYZ7zXZִF! r]ŗXiɟ1ʹ l93攀Lx3 axv5#znrm A: .*#fb ĥf%MemwjOL@PL&ILs>f21f!$(qx&o~8TQ4:F|)QPEz1DX=Sv:tf~Ib泚n( W Uv2_DtMg$9n̏-Bo7g򬀦'pl/*غ=}!2!!N6 5YL; C} @Qnzi4KO@gn#C2?eÉq'^ӥ)rr R?V*"-7j/&=7]u%6ŇJ W'*rLPˊTl Uy8!苓=sq@$6{/ңo2t ȥ)0J>mǛqG+RgYZ7zXZִF! 乶GE]ŗXi%>mD0K kL|%|,Vof*O L[^wNˍ[g/) 8G}9%J l[#8IkoILyj$ (Kl'O*jJ dU3` tCF,@iڛmaɌ5\[D7ug紩mP d__heDzDfSN $wY#sDz1%mm.{˨`Nʨf-C?i=w R7n":l'\饎de>|/fR5%4Ľc5Yw;f%^W [E,x?~E>}t@@)sC: (԰P,'+I b{Kv*}Lũ2&KO`hYੌxƊXIx%OJ{<įy66W_0CbƆ"քo3<rV>XY ~ise1P\(ռσ$$T=.o ɸ~Q-)(y|68ȁ}3^dL99f Tⴟ0DH>PO6c -Є=`VNhIՌ=j%^I(~Fr0x*][SڹU!w1+଍7VAU@7hL)`K{LdzgP9i1I?K<_/F}C@Z- 뛮E^8 VMj럦{m3vڠ>0IWkoNؕ&/kE+謰 N KQ'_o7|j] L}4ʂlmf،;^H; |`DŽICgD+v쐼gڵSXTX1Jzx\fwmpO/L6݇3V؇xd=ۡ3LT<-zǬ/H RZ~)5v:{C[wiGB{cnXK.,}sKS[ 8C%?]οBVjJ vJ>wNQ˽7z~N.hHXaiA03lr 0;* ^] b&D5*ӢjdXvo&a^QH}c5a|1©.]z^gMN #>'mbg <+Vf`o^Kԑuy))?OtW]Tcɑhj[WyͮP Mb~3XZsSD"`hnI:XsmXV1Nvję0;z)2+-q!;#A-(;r\.OhJ&Sү u%Z;6}_ e@oSflLlN ݇ TPK忋ֻ6dH&׈GǛ =K#'z^#lv`ќ۹d(z0=(pt'ߠeep޸W45.s1+ o+ jxmxWz(WwbqJ(!.oD&0GtQBl" 7Ħg;x GmFuN5ukp^$sL̳NcmX=^d223 !hް3'ˮ 4Œ.5.!pP[b|A: V)ѺF0zd](W_Z)bybk։a(%y2!-u{h k9ȯ#„-z{Z >Ƃ]p#٩1ڀddL#SqFh)>,w[%R|Q;}?;~ѱ=QVfKjvJ?aTfg.>F X3:i58hqWP78PűY`&bJn[ns6]̷8Ge4ՐO #2V^柳yؔYסPp=֑ @QlS17Hvuz/8|rSY,3ʺjKocW2aw1e dJ if~.j0fSzh~%~O&RQZ#!Q^_^Jh"akHvbaz9OpD)Ƽڌf$xo_P`oo&` ͼw&} ơ}f*e 6<[yUdO)o†\h/ꀽ?'L<-HE ,PsL}_IP}0*>EhTcF CB gߚXQԮc @1 X(]3GV79N6}}S'ƔL_gRdyq*]v+x&<3 h3 nV_9ǽ,A*:1E&(/[1,u-$1՘1 )u> vT |<嵊'ɀ=3ĮԒ*a?P3د֠j N"2l4#8\xg$^ Vǧ\N1N. $b}m@'z;+W㥦)g#-ؗ2: q@/U?K^ޯ)G40[ɍ-:B9PڣkcKHzi6ٕ2QͿn+p*_yǃ ܏d a̍ W0 αBWMT+d/龒A_zy N>QP"`E)/_TkA, 3 A ![lgGzƫr9g%BdUJ:쑺P E*b_ˀV`pԆ~_1$%4 )A/\@_>{%<ғ o)en4),l/fa&A(B3tM\Kh]V3X0 ׳kKeX]o;fY5y=* }O?C+.[ǽTh&m1ؐ4)n }m[9L${Dِ|a{kZ!^TpvweglKPpC 0SAKJ{+y琳XW^f7"^zp/!Θt'kH h6Ǟ\R\ȌD~}0$a\ Apumż(JȰ-`9쫮@]Ib85mM+s*dnHLscE:4~H3#lܙ Q(3jٰjsd.]Q?F29꿥f*c~ 1es8Yy%DV2 ֎R闀o tuy7 `EaR*ou֏06Lqޛ3HBL |^=㯮슀hI!0wT+һbrg^N=|sߵ;|bYo(>;;@Ƿ~*?$ΨSrss weӦ4GkZԫ%RՕ5sN\*@F @ty!&1\LgHƙl )KPS xi$l~0vI=/5TsD-Y:^< _%,4kogǷf u{,);PmP/丫zx˃ A2*I#ZOuտ$c̜*1>BP'+5sjA啧`6}!*%ʼnjRg\ew[J)o#nRm3;AR yk_f=!mSY5In>\lztpjtfYO~vno=+<ڼsd&$Eޡi?A Ef\EF>toY(+o/r^Xq=UsKe)Y 3xEӍ;j WL@/*fOIblRYĹ2CjrDhUbz+B*׬b L_ߴb,ĥj7mf1[˿.43^"I%VT?V̻d}K-NEU I'>o=I=Z`ͤjzOo-fʼQ {So:qN!{~5lm$7񭃁K3VQ4'*I/!:Ԫpњej;IVAle:Q^䉾%0w8*׮A`BQ {@4;^%W2mU5%6v_; ǧj`G&w&HT7`nBƥ&o9V9nO~?q$>7<||oa%i&:jngLY.[Bo'9XFlnۺ< y׫p\МAj`0%{pFOrxd=z;WoQvs)AOIk *'ݩ(7p]S@S0va *uk>+l8Nl%FI\*yơd '5)edPhӬmtx8lsx IXk +W9J;'߀]]jX (ͬ6ee\u ).dd%6dIu6iWc5DeO:*6:2N \gɇ=WuiW_«-@tj|$[a=#NF"M-t$mm%% ?/C>s&܈U*QON^yfJ/{x(5fS#ʚd\4ђBH?b#EĊLS-q oye}!Fn6bި"&䆊cDW zB5xO8miU7] n0:.[!(i'7 }3<%4Xboa*0T 4Rr 9u;+v\a&;tVz6{jɦZe/r9ԗ2Y/w!m E)=g燜[0zZ M<fԗO?xl?I>A}ó͠ZÌRj}UBgzPۻh<4o;+?0ѾÛ߆gs-bLPj^w(rh," rs:-rA ht~颐z-m)l+b7k @;&$7Y!{^:s w &kH'{,04aJy+uU(Ù'^xՄA9[y&;d;X&}yPfulI8µcMKdVZyyyG/7 |2wWă7T]5vCzi oVOVQh\ wtEUU\~k=j,D{S'Kl4 cO'yC<;SFhJٽٮsjs 4HcF XjSw #pJ1sRy1>l`{|i_N{:W|kP. lga&eKmĝτpelUY~\y1$P] r`qg>5 *_[/5G۪/cfVۭ%傖{)u^K. vm;Qz%turޱrŴ@&kS+O_N9 ,u~TH2toUU- (FCǓ5q}Ò4.İ ̖U4Q8ۀ$9,Kk7o}>PNԏ$4L)}ى<~[bP\+l.xT)9_:5J 9xOVT*-īA ^ĉz%ѦIVew\1Һ uq[&@o]ĕRM.\Ɍf?Ф(gML\ *[ K7Rϵfة{d&hh1K{/56-锼34)@Q c.^Bv_ I\RFG&.+`Dذi'eh31,B:b.ԽD- >x!)Cr(jDRѼ.P`n\s5Rs%kO}ār$%t8EJCɭA~ǘ"PǍ)Ʉh^a?c<:mމVARTTZA~I6>ҁ1^^m?ݰ G(2 /D7zٙusv2IsLUwvܽ n,##}UoP'H@s6. ¯xšý-dSk?Ɲ`wh;;.4.u O:F9`~h.=}+]"Z&4a$x7G # %QfpM+,] w9s~UBNak»<,H:=%e&lݘf[RDiOVֶCl*Ź;5f7;{wj,9q~ )༎7w Bn7 ¨JԬ!dM51?rCkM]~D=!'zLg/4dX 4O+y1\?w֯hFNd}lQUH3w )k<XlƄ|n\`تaEfC4z9uX낣l:7UJ62 ếӑZa.]HHQP.,c6zG}D 6;(*8AO)q9o"4T{NQyQZTꨐkh;[TT."^.5mT D8cHO@R>ִ*7)$Ck}r_hgov(I9 GmMZ"QG9)ۿb~5X%EBFW tcRoz5 Vm0=Ia^??wP9%QIK\Gb2g y&ϖ[)UKdKkL:6 1֢A_K3Wqy#h|=KPPtonfelYmN[&^=,J/!DbǴwՎF3QoXˍ>4Uq3ȯ(UqUE7Uok0YfM'ﭘ)pFqNy ZD<"^gT}(PM'EU< ;mEpy؆KJjF. AVz3_1% xS rUle^,+?ۜ]M/銸̻&v^ Q @،({Qr9_7ZMS#)o YCHpi3&+a1޽TOy-袘G ^ӾnRAMEZ5:vR`} ƍJ=җςeS:xe}2Л4/SiIo 9 8r_6lЌnͨ_?o$t#z(_#"Sg-<+uG+SFw_CVݬl03 M%HQ5cOL7&nA[dqЪI:δ@MVZÍ#6L,ٶo^`_[O`Ǭ?A?xEr|爑,I #7W# eup@PL~#f+jv7M#n⋡Ӑ])# 'ya xz Md!~f\ 1-藳7JSN$fD#-F9I<%,`7mj8{;?[^9u!zu h!LP@X3h2:4 oއ3Rm]|]U^[fhޥ[B" P!Sv @jdODJۼّfr\aX%-pѣsȹd>࢚pQC `=pnRW-p|yDKA[r=y51 [:%U>&U*0'i!㜌AwiRi@ƑUs Bw#A-C V7E37~9_y# 9Pni,n\wMe'g\^I6(w31>%1,X+KB/ *:I %`[[+ZlYkDNͥVWt OԐ]-P߱dH l k%DzyMI5) @]_OPw{= i }gOwPUأOmFM.oX^,D"6b"y,e)8 /j\>Pz5oy ܦ׎Iz#(yb\? g ;1/VYa+FCuxU ҆b^Ƌp"RCSOg0kgTȉT \^~H1V5@z$iނS# 댓߬ #'Bq+5)cI#Ygg@i͑tVnɧ꼤Mc4]sc 6}c g&fSZ&3i+k Sŕ6}g-[i*r!$y2 _.EG\e>BgʥzEi]^ڪ{UCNt X u>tI=xa#^/֐+R%mƀmS;xW! Zef+S MM`o2ɞ#U 0'6ʵRtw…GCrۼ*9i* fݛgIA!@ӎ̪?\VndBUo<&3F7>@A>]:XAQ[[3_`?7T=c6mӼXOX&}OC[g*%T*{lZa 6,&?Td݅)|DvM4fPAo\d mSD6Xɺ/Q׿&!Sz*Fi%pn:ZaqC Q30 ]vgNL8IMYG AQ-i.^eWT<'rz7O0$D+C̕ Q=R6(U1vÉ470U1<~K6ڟ`rEZgz87 k}%նMQU;U%n؎`niʓyBm5GRQ<Gj ϳڅ9qy- Esm:yf`E+$ 4[:l{bb)xsBؤx3p\W2XM`yyƿ!3O"luW~Ky:d!FRύ*S.f21}x]ӵdQ:YT|\ |J:*VLSҐL^EHXc Qݧ;Ǝ\-O@|Jpf4vS"ms AoEj;;f}ڼ*p&^?Tl|c6̤FTyզ8y@f _K7O$J*pb*Uyo._E =-$oj2lknPbٌfCI,dlaB䷝8P{_f;BhvA=+x+$|Bj}K2|{MBP1J_N_kxiDȩ00ʓFs}F74 ]8? JQ`` ,qW%K\S n\} 9}N:*1`yB?c}/U8~(?o쪜^4u>o'U%$pc=KdGɯ8Jd@'# y|,5ŖLT7`GM rh}-hEq:4,Rʹ .2FlH]F8YǠ;ѯmKdO:$u=Dg DWEQ N$ : ]G_dS5Oϩf:+&Dg'FSAWe0@4T4ΎEWOr-5^JK,u5 `،l #dPƝuRȗB{3#X/Z!^ 3bceJ"FQ: Z9:G&H7rz\9XXdSlET^䰱^, vL˳؏Q#.J!%/$>LEd}ףdDF-lz#>ឡ)׊E昉``#r-M J<Ŵ~rө!b@Fw-G7RʃN}Y s= 1`wD^~; 8!A;iqZ=reQ9{k[-`嬯:k[c bU6t'g&^>M{EbA}Gz:T?ųT9eM+uEnwHվú2 am`*j-LqiXDE6r~&%˙I J.md9.djgsx˂'\_lM\.w2C˜$_mNghu L)Us,j:M_\(p?(A*++Ytivykp+܂\Qحk,ۆzJ޳Q6M/I13R&)'{ H(C UҠ7';OK$ٌ<l];&=C Ϭ$V'N Ύœ򪨦cR[Wc/XvX׭#׳a'Ǫ,.Bt ]e.Eg#ncFr>#CCEƯvM"󺱜R>_YNm|)>1h]/[2@-ㅄ{w@77]~+xkkA-ZS>Յx)Gf5,`E}O}DѤ M|FIGNG.Զ'dakLjM}_R$9ip Hح M%ǷOtH_K\n>oC)݀D >"ވ8pEM S*UaYKVvڿ+5FZ?OVu|d} W-z,:o,J&_y , 7ךN}!x؉vpFH_%o8uѮ JR_ȧQÉ|ý=Mk`kkNJ|zOG<(j 9LƘ}%`\C.R6FA(ߛh39eECmw & 0![t-Wly>(&oRΎM0_j+pB\{,,TCD}Ws}rQ DebIo'-R ,H>-]a.C۴xFGP MZ͜s*__#\rHJGn#F) umum*QXL|e}k,W^]*N]@NYۃ.1//~N>8a?h('iįd2$ ?Od<6ҋYC[oUpH3 {״:DB#&#܋ݍlS^&'k, pHt9K.*#JFy=)W'8P#$TXs2hG?~kO|;+c[L u{U32㚱L-Nחњ b؅G4n9V\OJcw!?Zr4:1Nz==Ž'D&:q\j,4ۀ].6eH2黭bagA#?LQʼJ*sYA*1ji_Јu$I#>v[2DCU1U8ɦZ"y3+"BҘeBu!λè'\Q b5m'>XUC >لK>-ɴCWpC@P0\#y3x,oO_\Rrq9t݋ԃqY7'3,_=1ZS)0cBӀbr{OJh&fx1%ttKze,oF\`0W(`O^DtfȈu%DKDLVv;Ceڅ:^yqY n]q2Vcţ&ZjG9Z{?'2 O4 P'͕ZsE7Ghїۉ} o]z !6 2 "1Bz+.#yM RsroGR%o>|{PѶ|st\]k?C8+]Iϩ,X-"44š++}yGKKa*q#̞(Q^ϵy| {!xKzXk/Fp|WIBT`;*s9rPe4/.B)3ySᕻ{A [W[泜&`bʔ^c . į^ҁ7F5Gv|Zv`Q􍗫 N%X]zwә^[d2/uΐX&J}QPmL#)jLsF,DR2b]nF§JxPi;gZmM'rZd2dZc37tY QMps{BW$W8xf4ڪGNDfΙ;91$y]N)! *Jwz ۏdZeW rKΌ.nqe,BV8/U;yDãs@>3Y_=\%SEj~y(9  tKtt}?PP#TYF8.YhNC ]Z=QΜ&1xDr[c'LnNE[L9_ HE S)/'[w}QΞ@?&E0z [#(\JbA<1Sk|d"nŨ eEɽe ~l;jy2;|QbxiѐOE=6 xhOԥ}iC|`ʎ<?Z_xh䇛 fbrޞ˹: ,v<9wɌ6T?q=ZިYdsal>%y(uaO# [X9H Nqχ5 Qh|e |9GlϯlLa6It` OO_ [+7ت)E BT!8[b49=) ?-TRQ?coi?;psC 䫪f"6\IĽ<Dcd;vdiݥ`rlGvA.JI߆~nIη6'fYі:L x5w2Ԅ/^Rq(>|p~5t5{w[rQW+? ́k(u~5&dP /}DcJHF9[$47YlԒU35u:GO?1,MjqD):S<~exZ[jnme^!2-bq5)K~pwBۊ>:T`L)XbV%p /cs{WIj?χl?$ɡ bҼ_֖ ~(1^gYZf74c77cfa24f048b5d1abd1f58c67fd726a0176bf446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e cfeb17add6dda1e3feaa2447e359cdac203451c8 01b57428745b1c3d2c0d1f3cde91f3ab60bcc8ae