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 <!td ]]]HOL-Proofs:threads=6elapsed=631.372cpu=1509.300gc=253.716factor=2.397zXZִF! ;]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\%kV?=hBVUTr2@حG(@͡J6}2*_Mlc")yҺǢD\La EcTE;N_> H-Tin2 S.pŴY-fY9z@jn؊Ƕ2` tw8`bPڈSQBzC-i-XdrpW Rj#ߐCSx*e]MzLu:_B"1?7<;0S>sJxo KmH{¶FXߵ7]n`oQ9)덭Cf$w +Ta._Um $Rɉbdm[wd9ocSTt ,8$ r8X|u->{q<3rjqTIz _npXԋ%V@w[̚gZ5Z<Vo'1w:Cl\`E3c_DZ7/2W_#es ~PaBij4}89>][3I sc w(w|:y7X)i:j-t(κy'Ńy'(>G Ur{+s^ bk*%4" @blk<&xC&, u0kfqF0_3ͫD!*0Rv^B zge8R Ƕ+dkVmW/XM HKX]hX T%MAp ⧻1<젗]h6^w3vѪl9 szǦ)-\''ɴ L"z)gVҟIKߎ&2)g$jiT'fͣ7P:pNήgӼ)8Hۡ6k`5ٚx}?JMxjEm_T`H6yG ɿkkHv;F֯faq#B)" F2LW;jBQQ2>WdYvv=,3l;}ŎS&Rv,O4E#I>g4]&-@=0"+ ]&y{pd7+q&%]_N 2`s5G̼(~| V.ájś4 ^}lfew5E8 jh'1[Pee !w;oڭ,C(m3$R?l*b^? 륨JEbEl]D&6ռqXH"1nף68weg̺Ӟ&nMٝ :e0䁙Fo>HqPW η,8kUrHbNG*i!sUԥ^@J؅Jk!,,@F-w?OV0kJr5.DgB&AU03ҜKm! lg}B[jh:a\VMDm-Y.sX<} i0^rӢIcPz֡>((2 k>[ƨ,;F(Mt^zLL5btDE ygԯ f;|r% ܋WϧXOf[G[1@&p/P4 Y˞8%ťg- U$Bx~gى8Bhb<mGPwC <ðmA=W׋:Ԯj."_%6C|$뺬߃"wZ54¤;SX25ުRU538|ûOmCHMs!|Թdp6T\4[gJ#l~ [Nf"\V2R؂/P!Lgp,Z_,+fbT ib4uW6PK%JMj3tC1ZFWb BVɸxN ưMrh Ԉ.ʷGW3Jt]{U&egfBg2OCu5}1P} R&{CRwSɷ/ &Ə ,H"JrJ? AoO wL SUX4YO2m݈o  ! HOL-Proofs   5Zzɚa7'chiOETk73ȠgN+Gz " yOJX '#{[N5)8\9CIs5iGħx JV&ӞxRSƉ5ûul>6[9#qˣwC5{PeMkSw~w "g⋨4X|̺+,roEyÐ8NOv1,,^7kۘڔV:tLE ,`'ǁj ?BiUxbҋ>82d RYks'B/1$Qֿ f/:hS~ tuzD7+*'eI19ߵ]@bHl@8s.ZxXppኺ4HgtȹKK[CkWDgRERt3j5nb'/fK#is^( AzTlcGN*=`[Kqlq/t0 &[>9HjyX..idn&h{+*z۠cK} OVD_0گO~?sHGwhTwwM_%Dd[Eo7UΦ1AbP1|Uz |{QHC|)bD<˹$9wy]H+> L7>Gp^1yK=﷍dG=Dlh H~4۟"Vxw(`Eul2\ MV+q-Ԍ)k3;MvcկMؚgꘞTu_[ƅ`;-'gYIS(b[YiiZAIl b>3IdyI*ZQ_P$xLvºP!M@Szw]./{ɿYxqwN;2"<ɘgDOxE0G YtKZ)N HT3ASZbz/j|p[S殴ߕN~8E=:W1C%<”_utY'L`I S8z8-[Jb隫]fCՅk<⻅"8Nۖ@.˖Ö*~P;Z1CWnRdժJ ss%s_sBHZo^_ ~ZIȜWc_6Azri*nP?zGǨݼmq A;MTw<!sʓ @Jtf1$}eV2+յ*|m^NQ_Vg)Qz#a\Z:1C뱝V\BgUGWx*Nްwֱ<du A (%B+Vu`L`QKr0M $N2PLd'faiJQ;OJ}"2<%pV+n%'d)g:{#7Z0/+*Y\G [Zh s@bbdu]25Sh&X'M \&| ( xR#%Es>>Ɏѵ[÷=d}? o99rl ~mƴf lF8-yɟ1LQ !ϑ6<~(Z:2Z6m?):Wu:FecS3ˣ6S:?G} wHYu,B{p ('eT-QE_zRznr Vҕ:hT4@_hC h '5s@'oϷ_vkBbKpPsf;ni=r#q &* G]xgjz dnқBexU # m>㻝K3pR<fC] FkYCr}tYq3- ۲d֔a$0s'$PcB b*Z lu8;@>N=dSIݽҹn@[WEDĻ@qȻt<#/l0"0`(Ux L x}IO>^!^o=ܾXgHm 4;S"R|##ߌݱ[ԓ.cUC*wt.rōnڍujſ3б:=Q#V~BE^_)v *cNSEgG#B>h`& ל|. =YK-i*ZU&>U`W=FH%Z=Ź\_dG^W+dlׅPyJi&L0L9l)P]1;f١<>,]?x{Ueu{ 8p&q476M_KOsR"b=*\0!cK:>T1sp(Q|Im&t5:]gfNŏ^!9 j=\$y\:Q* s矗9;Mafhee6үn}oWu8oS~r0KDAcKYC?'@~hr6fM!ygJ+j,NoT:S^ ؘ^: ~-,:´kYb4Sl5[!G\p]W]CZQR@SBǑfL8flFsxId7G09-\\??l[B~Pi5#ڻeyi]g@#O@ rSB4L~b3A:?+4H^16h>Ph!W0/^+c/$x=*6qKz*gꥶbN:5tSVZ6bwITuw.uP tVk#CU6zVGD)W l#kT bG>ѣbIzRR}z;l $:\D.Eqx'"S ą<;J(2iZ\BvSJi-e]PLj :K~Xa6e\q"t@PSVk(~[w+<ͅ-553Q~I=#{:'wi)R@E>,msWA:.H0bFn1H@+ ;SfcZc'߷ME K'6\kEE0!1yQby ϑPTs}ueA:'^,%$L)գx<0q 5 ŲbmPiNL#=qQ<7%>G@Pڊ_Q1J4 L .yjGXVs-{$T_v~b:<;P!g<`-,7+0gdl~eR:=pL-Q9ܫ-5$M/}F|@SOj~^l&z1rCow)bw\Bd\v'H/:\4TKgYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!BgT5h_Z[ƀ2`Ρ%^΅.4G ӬWLn\6WJwJ@@B,aΔ~ \͉Dy]$G7ij_<.1G pHAbwמWE2\Sg?iF8cH &0ziH??Z rBQW[twSXA"($XM_ qKU{WU %>D[`N:(poPR9{\*GGl yq‰}Ci..b>^Xr8EA9n7L1Vz6HvZpHG Gб2xwA[V&I@q<,48qܗFmo,h1HK9N {hR2^TNh̀W5Oz ԚɅ+u i3 EoZe%x&$5AG:2 O)&h02Af,ۛ:Ӽ∽ߐ,ƫb['$pY? ]W澪X) Jn+Tyz?ˁtUސYz1#L+!1BCн cj0]P<Χ“Ւ yZ vms>\(i RٚXc7GzmWfZMj)mC`$|Q s\8"+WPM`=q+ʏu[@OHqČ4zGGo1ح8!P"N p~t иO %TLw$O,i9bL+d `FYGz6ygZQIg0.QX"ՇSSrɎљ#j~7_oĚꨟyϬ!U .ޝz/;[DC+$ƛBP}RPn.STs&7R!G\=]Ep5) Ңw.Mj'~9(_&_rn޳e2ЀgYZ7zXZִF! ꔢv]ŗXi%>Lr$?V gk̃JaG'>m0 0FVm?N)&O2}I0J5'ɝϟ-X';>+r6Vfވw ֚Bݜ 'X)Rq~e|̉qB|kt ikEa=K8kOSp/{z/fH( H}IVt}!VX&XkJvsBH0;=T-G[ؙk.jBeFKYnGp*{*Mu8{P.%ŷ8A;|nS=C*YG k~B$gZ Z;oM[VcׄVg6p4b8ٸQӳ $PT5=`-`QΊUg !I_RkTZXj3={/ʻ6R)GPn0 GjjR4KfolS*@6/f}DÂ\Utd{ {!~36iq#?FO0=GdW:@e4UU1 IN!Da6O.銤K؛_TBU m(Cs 4MHc"E_Iq:g!gr4UYÌ];cםit(Bc 清teR4BwMѝ|}xFxR^lgt1{͗8eȀը ,Z% v5K%Vn5KYU4tČb#V9$szEBM-GA zֳT*LE廙'k'.605xs:B@M!ܫ1%b߭lRYR&j!p%j_wڭ h~!?Y-Z ~;PeN=w$`><1 %#&k1vGݶ%mGM/GD,1O(>GJۨThJ,~^k_]ZSoesfC$> cA*+tESm2C$_S *l$hqKK4OAIT{sWb%&-Xh\ ayࣸ-HֈU)-G ?Uח #tPQaC=Ljfn Οbb

<h8иI(kqzAcW/!RQWR.fZp%I08yM>oΝ)ҵ ̵c4ݫs9~Xfs2>֩RcukZX)Z.wcYi MLA.%BF/Tfr_BԠ -J? =ls%Ґա(DBU 5yc>a5GT ^!_ y ܰ~a7ظ"&$r|N/L]!6c-3.=E=ُ )."I ޷i-jq6W%SQY!wi PݕDPz$e*s|hث*MP:uô=%ٗ V0JWt35xelJ*9ւq`-?Z6$#}& arQ 'ԚՑ@?U4l%^P"#_{.bwuĹg=`u 8_dənVԫK+`>3>\`S*/Kќnog'89q!sgwp&:#3J3D~/zzͭr!cma?[iMi0:aNZ?Be bE͟Te>&Dmj!h*dW)@/8oZFp2!`zIQ>z[(x@d|"I}V;Q78cFV!|gheМ=8JV.1$_p^(K"1ާs$Gn98ؐs}r$ӢÔ2D<:d|c9[%@TDr/"zYtfn!.Fh4F9k`#ٲ~ :qN.Htk4KJVs"m{˱s=-;IJ'夷Ko!?7#K멧7R[M]&5 )_~vA5o-0J -cEBG'k?O5C>f/P`A~9l^t564]먤֞.:hmifi]//kU5SClu xo2e"4rOW?^\biD#T<4B>&1 - ΰN-^?B7ai;8z Pcz{/,܄8?u}u7=NU˳daEjoZw(n 3yȽ[~* %\ZgKg|sWIuQ[(gs'k>E.'G6TN(EY'0X)> b+$,a^qS\o7PoD\W R*Ӳ ?,:k dNy O͎Oc%o+ y gn)HSoӝ/0Itlsl%dors۸mgĤ׍=E/S(tP#%@Kxsζ{"FDi;kOHlUݭ:]U yZăv !;u7%=9Hg.$m;I[׺}OXZ{Swܚb~vyY*,4מ֮XUȜ *٬.VKyTW3tMy!ȉ2}[-O46 k@|."7ah3r}I?IiӻU.2pJрXdAz !B(rI+{ؖ6yXM>>"_^!`e)7.]q_3cm+d)紏c;N4XFA᜙g,܆0i <8 % XԵ 5HUB ;_Ro *;$v] )-Ɍu.I@=Ӊ#Iw^ke-az(~Ha3/g+cljBͅiNjuRoCiBwX`ϒq(o犫V.~P<3:TUvЄDWMSrpWgXMi0E[8ں_ڴ+6g=Ň!%{Fg\>۬]Eێ7\3MW¡K" [>yegSRR)>8&k+e rvo3ooRcd_:z- Zt/~eW*/HlDoWNC"Z03E(nq`tܝsӾ'TM-v$_$<',;o&{jḙSL\B䀡+xйpUG}&n:%3eg26 ({|TJQK񢶤Htn_$K9w|UVؤYނl/dync1ڐoD1?ܹ R7jUQ| !<HyuGxYX@p# :pšl,\}%?OrGmbM,I ;ׂ| ([U.w1ƹڶO .{1o:sʈKSĝ@lw;(zڐiMp٠MU56sO!GؾǙ<BxH$jR%|OSfjRf9jW  3<BI9E8p-4욒Q? 6Bu}m&sywuteǭB E.Rrp?"gvYT.\^ZERcT۝^+^@2<3aE^ʸyxJ_앱=^K,bG{<0 @ꏝ*jmFBA_ǘtZՠP_nVPN܉tTx" 恆o(~JNJLIrov8U{{xhQ͵Fu-Z8~h.@ t>~$HR{ ?iYJ,R*\,z89W FABch@ qt"_`B% xXBA59 Iʥ+@ꊱbf=X^Z'}]bH.7|vX| H>i̓ de Z-tX$p(,`[C9^VN|ʔv##-jߧXW$9n bfY=? 38? Y@S}WYĊ|:(}+Ĝ> Q&{O+ᵊ)c$ltQR_wRtIMlNfn=xkѬ!'xɚH|ggdDkD*J (I|JlOYI1./[}1yO9'㶯N1` ϣ騳8g~ϰcb@ 5s!g0%$hv 7HOVTC ?mLԐ"^_Yws3$rOCXwfwXԠEiyq~x" s.՗. .BN):7B7'cL[fDy&[G @ J^Z*9y8,ٴa2$`G=MhgQ}Wm&;E@3J$m A\(t~N%'hj3q#I-E%[Ǵ#*ffrhUS~ʭ<]쪊K&.2vkc^]ګ*%۰c>ia )N$;VliW7ay2@W# t;]Wtp"4Aw|zPi'DԬxQ;:˚&܉6ͺ)HzF6CRwu2e6iasg/,m@ͺԻݿҍc˥x&Ȭh6F|yN#Ֆ-Tf z ,EHJ(F~IDO$`^G/.d&8׫=esPZNkU+b`a;2nrE5W Ө4)IcO4AfF-d"ԂiI-t4)^?ѯ8!s#>Sjp՝36WC8u++cLI#=9H,󂃂8y6 !g4k !6= rׇGJYa.SU&L9T't2hš (Ӻ%շ1]a01g#u O"zכ$)##Ѣd4P& :(CδTH3Mq Jce?+k=2:|/&+na 5{ƺˌ=PoNΨ ^ႧkZGZq8a֨Y?t 05, yt[;S?B0!7}8/^wv(dfgW:I7f -y]>t0azxC>SyYc醆lC S؋yTc\  I @g{JvKlw~)R/g/gV?Ȳ\}Äbܓ:% l]=+ 3h hXㅖc]aF—o}v} : 3Ӱ}́lcPĸT(Ti- ܶiĀkMwZ}%P Z,񼘾ﶮ,>U9׶OIx>]V 9# X֒?y4Ur#a?C)x &MWjGCJo:D0c/g>q >j}6=i./{ I1X֞,;~H_xtak5Fj}ݑkPG5ftpCO~V/k_M!rSrK!n{Q'Y ?ZL&+7N:6gЮЗ~ vsagFxUxvVm(b sOD#/A/j>(uToJdQ8E=vys"#O̮8[8|GECx/b$8) C\/ϳ˚5{(zV)M@#>T֦@2d,AA!R}t'#" [VމR2@ PRu3|pQdz+Vl]jv?HyQ޺"7mүQA? NTe@Qk >uTPe('uÚ1b̖l##R 3VaaYGrZAXΨ^!: -сpx|A^,,4qFV0B%]k_]䅝C<'RJŐX7#7iXWS:Rx][3Vr .0RM*p,7U]NYfC6#F\ؚ64ž_ &f2ŝ%,(/__KY_6^oȯi |>vV6? 4+(tގ ,+U~oYr7L601 |_)y4E=8"إOo^Kvs CN W5 P7J\x b%_/|9!$yCFpApI1\8q5dϏ" SRߑh|y%*V/w㶺cv#'/s7Պm5?H0k2SooT9/ 7o&E,^wN-k*7=^r nj@fTŨW4{$]k+,a]V+SjMOgR3$LV MX`}*z i1R)~$Q#|_)˝EVxS47ƲrF<󗒅T)P60EPigEzX雡WN :|=>/pYrL_@*HЂ|1gQaN(CBn6+04FOU]$-Egmך\#I*a,>cAhQhH'HkNI۽1~T$< t8hϭ ٌQ@GT< Jy4LIZr8uq%uAYK@Czy)[a,Z^'oMٿF7hN~ZԄSPn|sR6 [cPeB+"ߵK huTҴ3|"7*rZ",f宧s&7+ ׾!V`E\cAJ̉v[eGP?ө-ŷ̞Ԍ nڦ%` ;EH9|m^;L}8Ya1z4h ?3Cdf-QS#dw=' Ї秨E_|R`:4!ŏn4\hg{O`ef`+M6V N@PMQ:!>| h6SϽ;wweIXMoE@DF3Xl ()HcZDV0ZCDv)ק9buCHPc *F<)9+-yhbA#x2HvɐGD'kǬ{[(ai"\ /cgH6(2Be'{` {"k.3ҡA+6JM5EmXaX}t=T}c hb)/T}=_E knWff=p6p_p_d2*F>EbAވ\=+)`Otn`SnR7I!KAJ|n>Q|<T<`L!Z53'46@i!6 oL'MםW ]l^U RwR· Mm?)8tRyhk7 !֟3ֶpq]*}5cQݎIHX>L:\<ֻ JklKFf|XV_?Lljz\LtSqQfllUcɭzMp p?08nwF"L#nwȵ nL HX_ho Dx!hU{o{K%J= oYħl]i/0-Of&R1󕪪w6]奄6dmQ#,Y(:C-9ϢSq$4zNxz/"P,VrrD!U.<)DVsMb{FF)z4T R]-Ŝ.d1/K*786l] ++]|V\L|wtRuIyY~Ⱦ8> rfY=4WEc&A?vj CM/U-uWxؠ`ϝ>᪐A !$\֡s 2s U)Vj+kȟR(Gԗ-Wrу:&ƗmM\D+Ik @:VrTD.1v.44|e Bxݑ& )C.c~D]q8q-qk:8(,YAGß;c#Xgqw?ȉ&\2)|AV-H=M64BMc&%ȩ>4gNzۊGuGI1RSKWCw)`AFWqN]T17`PZpDXQͱ>Wy\^kV28SE}OOw=69 jD2Ё`QԯcyUwsxj6r'%Q; `$~М z?rxpxILķxIچRn uI@ӢSoXWS5Ft>e#|tBŚ&if?{K F/ BVq"OnM`ԙm8-46i(aAkS3,":#}9( ѣaIPTub]=A{p^)e:zOح?N6[d^ՒMJoџK xxV1Lmoq3 3x LL= FWMkZ9Y ѧm KiO߀`-9/1 Iok V?ٓq.{`i["^ A6,#$oП#GH_ w{5W dJֹM`t0Q]f1.C[ hBaARx}5&<{6")V8>afyð@6Pמz-$m@3N9]?,-jrMp~O1!*s94Y<]ykmٮWDNV,0P[F4^9ZoX$*ձ2]L x' Ee &ۖo-pT[cz.ͣ|vo^-.pGz$4AODes󸰪M T6E WivV+{x.hff!,q#SE;Pl`G6s@q۝ж"C*+rMJ ssbY_9t/ wܣt&ծSթ@ з1ό-aJY -C^BÓ]§\ 4&ы%9sS2)ʽ{4H(Ut{Ka "7DlPXJ_ OtXqL n;a~c"f-e|VB;..\qgZhƯ¹`{. R5|EMXQ P lg JOpK)ե7cr0X0FhqLkӃuHeƙH:[7ke/ 2Zߊv:?5v&ò/.EZB#(B>=d8jkgT GO8cx{ 0K a1_IG=WtgнI,?z\ s::|LQt Px ̎ҺO[|VVo ĦGW?,#>Gǭ K+vE*y) Z8Q:W9c(wǏq:f({8yA`6wUxeA3OY%N9V!{ߣvSB{77t#j\5!!3@ Cet؍_8KQx "3kraW9Ok|B\v#>66ryeU 598ꇢ6sé!44CQZ{b7f)M١soYB!\a;/lT^ ݦ?[clO꠸~\@ӱRW/ .;+ )I_n"Ѹxiǘ:8omL ;Ber:O)"zUYz|g`p\xO t`"㼡׹swe1ȸ1!܃ am5rK7)9E2>g WejS&׋r5SOw Kl G&Pޞ0 ZßNHk^4Vs 'uGTV= FrR+[GXhXT`5@G$=H+}bFJP JF1ZmԒ>[l RK!s@_(%i%pZ^V:f. 4gj0rQM~h^|[笹k1~H -O@J:Ct,fpGvva F>Qvק(4q HLwmpR4PKR:ܱGŃ9͚嫵jR&EI<1=oW#a]:TY=\Kiƫ4F9oAg3%JiاRY{f t䯗VSH3s \$| tS*5oyCH0.6pF S{NsiC ~b`7U8 픶uV:қN#c0JG%^xbn&Np^P m"\PU?9.b;dNL')%al^_ZՇ3tojy}`UuHwHT[ ߼HXQ Qx$؟ZY.p IdB=,X+YQǤqr6) tiUQDS(h,wfrmNf0=;#QKrE0MY:P bkg/.> [RMuQ^N1c>nγSb@\ndl\sF80O[BXlOM,,pS&v{Y\h!E5I-u-B?D;#uoŒrR7 %]$ ŐITݾnNHZ*:h8a7o ?=dM3l+H ܕNM#oyO`umlE4(.<4sc2ó$9 O)z+ G (T}ts!%>D En b tm{T/8G9>ޢvA 4G f |ECZ??Ə?)є4R}WVYmӋ$Jdi =yH{ nk <f!*^;t`Gqd_CJ>E)bܗk ޷_:r"1*nw}S)fdOC :/xlk{*-\^%qy^9NKI+ Ccz;jk&y~]S\&+W*?ҼHuWٯqQ`JpHr> `v:6 /˿v<ʲNv24 \R*:ձ޵e˯<΃˥gtCr'D}/3Es=ː-*p}'QВ<\X f#ZTFrP9 {1/bd""At9y'tb ʘ-m NB\R?Px slL /uJhxeGs:9?,9xD-g+zGSۍ *n8yd/.K/3x.0A (6҈%Xjiǽ }65&U ; qbxUȵ]wG4NE9L =gZ PԳCaB8f L$ʛZ ݒkDcDhEpMFWXm vNè9PL+%Zx|}AճN6-Ed$f%mgbdߍX`><<أ-`'q1iF?>xRojXN^.SEOmVR 6q8M\Mq~ _Jelv sN=7,P}iS 1br@EZB6/9qhi'.9BC+Mlfd6[)3FVj/Ӻ* aDm[l9myWDS^m)(X2]d.XՆV_ #YzZ SAch/KӖء 0TxQq@x+2Y%ga&7ع1l'k9Zĺ\MNTNrŌ?;8N|,:ʢ_ ~l2%87e|?Yr_o`-i.rxOܶ g.]]_9sU `b)@}:#k{U)Pfʞf V2S.S9X.eԢ5ѧ#% O@c !yt$%CEӪ̺lR{l*P汯2^T&ff[IW'Y% FdXg҇xUGG'ZpBؗo(a侟ټ)aFg6T2aPeDh Gޏ.ddWetYT% Ipro'3X<'Q͝ fkqi-%q>Lr_65AYA5+7}d*d$F< E6L+M6qCͻ; ϼdm2QԻjՄRUHQ3\R;ycBwQ: wdiۼ2@#*E,MűM8r]YNF ^E\HyN|*[*Y{b5}EAYX;8ET&oc.㼑܁% `(@КMx,gUH1;憨\%x)ĔG5`o_gȗOE:Fe4z""yAS?4Z|YH[:bJ7zumƶdơok&wCM$y?&68>y IcaNOQ[y8VIX0'aM${o̗L3mzqNN$.68aRxN%}fGR?`R?/wRL׳R>Vr9#y sMǦ}e,NU<нTk=FH-]lSHw ,GNq%Xx 87+%n;*er]&<ޗ.vmW r2{0b.( ܨ?vBm\j'U:GBߤ"ܳG{):d2aS3>8{8 (u 0e6uִ"TC@la&RdzG"JsxOX,U7#TvQO:&n:F~km<qh0 Wf첞OٶAQ& q+)V_(_ QFvӬUITTVuȦ?H*4)]ƹ&Aul',p4X?@+ Vv1CM0Uwn~?_}ױe;ޞ!֖/áa@%H(BbK226O'u#5a/G 4ssN,,94 C0Բ8@EO*2qM#ȺG8b<";-Je@ %tD)Cc>\S7pΒ/"rM~翮uZ;lL 4\-zY]I enH kD0z ` jENE5BHXcF k nQk>5x>A1Ĺxԛ^>Gáu>PCG4\m@D'Q2KhKE:g3* S劉&q4pi}kbpIod]I_+i 4GS)zq0hB;75x.bS=B0hƬ9ICzux]{ ȵ_ 6{&3zp%a;EWi_ Dٚ3. СŤ#p$CBE5y̑%xG &ebKma v_jADxE,`P4 5Xx7qq% #3R*7NG"漾u~N.-7 1JoVgN!T=o3: k1gcW28aX|Nybϼ*R1\-ț盖G@VavU[8D5MBM:Xu8K~CBL'\7.1=SgT|Z3BE+>EBseL0=[:ߊR1?R*闧 |yPy4?C±RQ=ceCU %Ϩr_&PCy0%as qL@W.mtZ!zo}Ĩ|7RxҾl[<9~  @;@"so+n2quˌtR5C@Ptʃ>&t)qԬS\vaH0 P^OdI_>fl!SD#nC#م$UYBAL놦LկUЯ z]X_a4բ4G8`HA;rX r'}Iho GB {lDh+*[a .,uy,Kqqb2I1J*jj P[_Fɾ Kkj d! mWAnpݓTc#f+ z?BS0w 6Na[]N`oLiVxMV.HPn4)SU]j;qK 8僧u[jA¶,nhOYdWboތ r׀[CXY([Q z#I?[< ?;?~}T_+$U,,@&D >2`v$lF\Ì M- WIlq=62S =dpGy'$gu,gpn;G"qlfR<^$0:0{3!o7 !Icbi PՕwAlz );] 9qoʴ$We /̓KwF͐iu!/!p 遹-6 HU6ub{r4QkW[NUPSaL_!Nuھ?6>oixt# өFcdz+F^8/;K4 -6KF O3q a0"ޜe $aUȸ̀l '#~hKƤl8a%ˇ;֨MlԤд\ Khن7"dF}&BP|ER-7?frvr-tX?a~6#ppTmg9$D|BX,EbnAP.p?Kڃ1h Q :2(2oyz"xr?.h*׍1`S($iũd>xͣ-H1? oeշ1 N2ƒ:ٌ57jE!.d} Ib7Cn&V0N,1ϙ_.=CM-}]zFj!ѻH>UC9\rlg$|U7bI^- M,,Ⱥ]<߻#PS}EMN.9/SNj9UdѤVۯ?= AcqϞ 9x=' :B)3x4 kj:al'EZOZi[QҰSqQRnA?7J yqܛ+y,[O Y2t"$!}{$~}Z6Ì5.tFA >7@$j}t694Ɍ4w:vr"ౘ7]4> fb ÿBcJWh-8㛖o:.p UIe~hC6{\Q-u1`ľ|l -+q-l>ά!.2Y:U0wŸnF9 mSxP/s( ne=ќOcZ^݂l %(]1UWJ% ׀4_IdlR_J([g(UU>ͯTj.ae̺Cx>ݔ`ĘpPBXICTά5 Y4Orlqf ,Jed?FzzCgTbھ `R ^ٿ 4s[*AџD̕>JvNyHcnpt2cE.TEu"_ElC}p>8[2%ƀ},mOf!iGހ1p@-G 08t "lj ~[ k^̀+! !<jNs 5[/il,I.vz C}~ )iu/7:}\~2 j>IIkNpI3c#YiZ>Xh:\[]Z2G%1\~Ww]%FU,u`7ci,YiJ;IPekM-]cG?nu$.OD{ D$ fǮ[mA|O[3)SKy(4_~h4NjIU2$PӪ] @Xkzқg( ч+$", D@,K Ⱥa'ȑfR IUG!3hRF!q$OÑ(U-r!~ߦ"\*Mq5,9X7&j7t*ēGƣc5MpwkǖHZWvt[r2;C=tihɅ3Y8^۲Wu w$=gQ&N .K?zKQ4/Ū>eYe6O]d.}əf}"^r5 v#ը:'Pd8w;?l؜#@\](XD>h[7@2q2h]+5sR9}l5!+IMcMr:T}$_& i; Wf4e}tR A܊9b}=.TzǨU9U8 -fg3:ɳOŖM0 D0er$8+uߩ(Xfꊂo8)׏A*/Un7oboic.sӽKMPr_aB|C+ݮ2)!d)BT|z! 2>w˩qzv2^% vfkꪠ(ОKnzsœ-B{ЇR,\ɋu;dܟHfVP~ m½BƉZtr 0p)Ak0dCTx`fF(__JˑT@4~㐸1e<3/ωQ94ai!$ߔ].%-rY!#٨1}g89 :MQ\YQk;!q䋝8X>:@^!T?(m}<Ǹ oNF>IfOpq͞0r]8-G1 1nۋݙdB-wsﬢK^2mABd(龫J1EHlIY U?-+F/"" Wl? 6ɔ d0PY{q KO|851o;)Nx3E>9]&ŕrE\ٲPu5 x'6_j0o8YgdU#A 7]9YhXqqj $'C <cR9-\q%ckny?o)_,|&ⅵ8_,1Ϙ | n7US$L޸ę !u\W߿B?0&pKC~8]'0=wxͽ1ǂÑY8e1 VUAsJY_ 3>>-[[82Pw ?~ν 8׸,2S_S !Ջ`%JVs5ԍBV|"DvF2k]IZ@_a|I:1 `W!2\wHZ\^6#/|&wǹRYK;M&^!uMˡQJ-wоČZf2y[>`:\vej?- 1zDԖPX!~uo3GQZXg+r zL:1UpxZ?cdÁ2on@owJNB!eP3~ճD }WN؀rYfZqj3l{|R%;`=(738T@* TpoN/W3#Z"aXHrU}-iIspvPeӓQ%KC^B?+O?xHudӲv RU$Gq#ˀXF~KI;siHy q)[?wu%δolܪO؁ÛsCCLϡ%ݪ~LgO[4͔²${w`:n>0K)uNeC<6x4q<9I?qcpgkO0_ۭR ᛚWJz6꜡?23бK:$ <PZ{tU B^ޞ,Ά _niWg(mNT^ 1fPccN<΃ҍgo(;0/'ֳ.k#ʞ>M, čAmM]{7MhT5Q}c!<1ygmQ5'V>:`%b{%^_fN _Pҧx"8ТbS1Ikw/$6Mvԓs QL}У1 %\UЩ v'J~St!X걿ne[NF}tX$3B+>˲G!^*BAv="st'=jF_zs¡B:Mni$1C^>Efkd_ލnrA@kIAB.ҁ nܖCph Ry1r̬I-.¥&u!nn>֍o|tȋj:Pӟa)ѽ[dXF$$L^"I&0^ p6CÉcÀ˒R8 Y&R}\B'cZ z\$:s8JxUH&/ :mY[|M'S[Zj9,+M/~qվoڲzg 7s_bf"st`FĊj=ʐ!'9(N$6&a'(G]9Q~t$Gc_Iކt.%&+ {C_ly~dqBE"oINayAл\CAMC=g&-҅u}ݍJ_[oٶ+&qbL,?9+M)& \}{f}j 7&aYAlQEnt05Bg~:EQݝV$hCQcʻt*k Z{ǓtN/# .]*Q\RŭoN)7#iQ{Q~8r7е%~-5#팹jzuC|n+GhO s<ӀkcP:,  P77x|ePz CM ͩ.MYXqN~5F:GT_# ֣1%AJx7=t֣)ib' #~sDs+^_/w 0T'?}`]yX~oT>gwF"LztN?B|:" AdJc+" (B`5]9r@vQXy^yPDyr2d8WS9Y)5JS "dmk"*NEPOB_+y y,Ri򫨢%-WΧ C*o@,f~CHtrKn\jC?#'Fb h\oL~uQdǒEYj%N'@ u\>vhW0@Ţ}\+4%FѣvNW^j*1ʂ&pM;A}%2EŨ ێHi(jxbiK{HyMۍY[}vŗߜo9!J^;.7+H.@pH9;laD˻w1n$U|oΥ~2%yQ ;zv㕒I! WLMAWHM'8C(odm΂`=y稿#4i~;#m*1 ]5DTONɦ ` "_^8X#0K2g;#[4]b|DAV$ :]{2BeiLw09߅,Q%ذt"c&RJSzyey?壹ζK.pJBh]."lU3]2}W,aqaľiۿ?8v˭A&=t.Ш FOB~4"CU)j]UUSqC$hif9]t'd̻Sa8Bfsx|+5.ThDZ*c37gYZe6934c88f3f5f8a32db96b25213a9b6a35b5b74807237e2b3ade8f359663183ef1c4fdf52bd9e54559d6b2637931efe46042f1f6ddf8363bfecfaf2c