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  X!DD ]]]HOL-Proofs:threads=6elapsed=571.607cpu=1420.496gc=224.316factor=2.497zXZִF! z]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZMj՗CGsRw5Pr~@ͅUU 4"<|怢.R"1՞R޻Sg"&ND]ZG˩dLkB:+eǢ&njPT`s>7:W2] *;Skd땚d+x@?AOyNIݍň|#zlU+緌8 }+%"LUS^}Դ5 IzO>0Y~v 5l&+>R0pzZLQІbř}g8o= ls &p8t~Q0R) R1gCWʖ<ȇ۫H?ʪh)PGPihsꦏ8W ;"*`R>T>' HE|-R#b2%/䌲UM;#eM^-Dn@WdU,bfq/Թ3VAzvM䣬kq]&+99EK$X 0A^.2[\PX]l.FZXa[TGWX^EBĿάOՆENqnI v4 k#`CO.9~ BqaC_@]J3.ʻYqZ}g& 2Vz-T눱 1 qߡ lj(]Öo :fN(MryP1jˆ[1G}poFBGї56IrܑUލGյs3բ}4mza4K" _w!@ѽ tjG1dzn =^yr%byn!9_չF3d" rkl7:I)jHq]]γ}X8`9[ x[ZY{ /O% e ]W#z!"/s>Šؤ&l< "Ӵ{T2<%OHq 9H](U]%J{͠?yׁ$ʭ}}pXHڲ!U[5+LG\nѠ?/X+X KW3g}$Ff zJ t'O  곶URҞgx;_UUSyyv :;" 2(ޚ7iWe.i/6( qďF LkK4UL @glYBȭ3Ldb-U|=n"d+55#OMZ I<^5^ 베;G1tsX024΁YН 2vy= WS%F3&ϳ蹱(0O ĔzS|+TwK fwִTHb=<k bR mT.A}A`Lv[*>MΫw/=\RgoK ԧƓ#S{xN~uK'ECB_ĭ9Fkb= jr!{(B {cێWXAM q BZCJf8Xp})&ZH뙈atL_Wx{@6X[ ҿr;}>ߣ P!Xt 3OQ"vmbqX}V-%b/oNjq{r>\Ŕ^F $U<NTUiv3:Zqn #e O >;vL ]S%([ MA9 ET]T%@+yI$qU]*OOE=A@ UV3?>q#HްSA;Hu{GX_"͉7n[AB(jYd,FgK"B+)*kZUmyFl)=gY5n UAK?$/;dK3- vC Z821~W^d[} 8|Z hCP&ooQ܂lv;9* , XT0$I*Ȥ#{yKi?o7;ˀ!o|w2D Yo (s./nFX Ϩ &gPX^e|8{6Gv: y;3uJLŇK2=l:۞)^UZ<E‘4ZۀPY2{v6$»{~%Nz_`]E4E.>э~EW&/`BD]Ԫ;]xM}GRԐ[l d0u>)'!H->0-2Mp.~ftA Ah-z1UC "9ZJ\zgV#7[=@ \2MfUڹ\lG+֧yb"&1_x*Hiz,ю(g)f7?Cn1ڨM@U[A}N1M!w~?jON:㤮8A~DK/T}eS(Ƨ--z0g2Sˌ"w V55^Α`FMPYW+*;'5zӪ ʗˎXaib,ؘܺUDg",`^XWGar&h )ɃWC -x%_ ;yg1ρ"Q Cݩ{*vc?9Ǖdx !F=o^mJ|v(vDg[&Sl==A'>%GC̏B8{kJGPx6'$黆B6]C MO]hFJ^~kХiٌKڣ[hPf%ë;E˘2fo?@1dbA3 ,*r7vz|66krʵς俫]QZr=m _)\+]φ#sIαO{X4{]2Ŝ^ܔf)R ].&ɭA^'OQ3܃:;%WWE4}a82dgU* +sLkvɐ*EVeX$sVt-l ^OKO+xAt(̐0Z ITF"MvJÐf; T^pZ#0Yo:@ uU$4* c|-|DwW)Bhî˓06/=Ȣ|d~Ň=¢(w^3Kt?F@pJ|} wɳBg>ƞb ^ a##1̝{ DRՉlLe 鲦1BhW]Rw'0⻭D&/jP-j/gYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B/z̨41f{ldmvp>l0?w aֳZy fB34QvK.,^5.P%MČ;%[O |LQY-0p}4:p7(pz햯l[q#8\&՘ХT.xצ6wk?S(  pBZag `h24&S+@B$DD11f'rkg; w};E BNZ_$^H>l-LSr}Fu^XZtsP.QoK^X &昖W'I[//Jda"񳜻{xaP?-mUvhu\!M6D-)}wRZV#`Q+޵nnR],]$X[$tl'Q٤fRlğ2p]FPO\9Ua#D&|V^rhN>^[UaE#o+V8lBxPы7RpJU7j6E>*-F#W: i35u&y")@Uj]ɪ}Glر3Ť2EtZ=fyQ_@d*tl;YCh+| ⤦8ւTˁJw2"Ubo&pfߓN:7P~B)OպE1lbFхT3*p-OZlϭ/ sym #X_\_ɦ!9<6d)ӭFf?RMݹƨ9,asTNˍ%$MuM,E ,} 4(l⺟U'*o Ȉ1]kgADF7pKMx81_UX//\VKD~֨߫h@>=se$W9~A bzVU?tHĢbO]$Xh[yPQ2d\iU G-u,FΊhtS8t`DcZ j~aYw$2ZZ Sͳ| sy"{B;7Zh0,lSE긏`ch=&@늩,yʚxŧ]Ӱp=t5s& s졅5oad!ZDT-׍%8̥Z6W>S3cXѩ5M[E%@٭%qj9E, 6TGpHS$bNͺ$f\N꓂dpd͍<}] ̆"w"R֑؈epHQ[CEe!*Nj x*Ruy"p}tem(kyu^8?MyH7h=45/fijmO)Vb".oh:b:U ޕ4nDDc7L2 ^ ad^wL 2"gYZ7zXZִF! zs]ŗXi%>mM/eѵ/zv ҋ8(C#Mz%B6L#-&9H+:\Wq 2;}ag9`2v]FGG'< O6'il"HdDjfH |Gxc@5Zr]3f\8%Q RhgĐ?#{1Ü˰%*#K#)!^>5a`nhe9)Nd`u!+U{2tFO}dkxeT_ X^,Y׃Zb&&>GJtS Ѳve2䇥#4yzkSRTB[T!űA(A?:+ͼʼnbȎ][vK2L9k<SZޠqIm{HL6H}t!%?I5͜9]q镓 t.$D 3jqTb X1&y{#X93~4>X4DI8%91NbTs%EPC /6;|F9J^CRS 2#&b $ b#)^hS>?<=],6nUY$6d:yoG }u!)zNٕ f#Tzf87zZ1o4-D{[nٔXXbMƀLz ʨ]NԃE9' aLlRՍ߃0&z:Ƒ<0ט:=)w[~nRyAqfG#72,!/@R?=)} x:l(T~Nj0BOS'#]txհ1^AS9Dp:f gvODQF`FsNH <|2 *2"pdz&ڭqUIp2Y)S0j(Cv]*yK+.: 6uBV%W{8kg@ZOjy8c^.v*%| c@at:{jP¿T3M<_bD`H oXZe&Nẉ 1g]okÃܷ%X(Ї0m@^83tn0%M˺ntw_h0ˀj+w+3.YVlC* UgD'^_'FFL\9+e{EQ3IM@KqQ)F1x}Q9^Sz|$uOȊ$Ƕ}74\Uum/ђk2K)J+4wU榳KW!P1]xPnqwJg޴hb"ߖKvuhŽٶs`nW(6HN~cL?޳!̨x LeשWV:$r>pe'>vMAϯ m='O",ց?"EǤV?q1I>1(TG{ 2D~q[d8U>AO?1g]ߘ >\Ƀ*8m@avg0z F^ey^ockln?AᖎRGY فG8+'~[xt=\f`r?Ig@;^7~5q.i#ʉ|VdV,MəpDYldͲ?q,ROM{=LaOүS <0S-?;S4r&Y/gUa9ǥ]*LID`6JLjW|>dئ]5?Fx;[T+{ fyQC?yѬF95Oy$EXm짌׷T!۹7:^^*.fq锢Ol#eK&v5N02 8̛J8 4L'N0Y%Y=`QYa܊*_TC##i (/Χ*y1|jCj .b=Qu'4F^-50_sMDf,Xx DU]HBO3e ?ck@_8O`+Do_7t7@t/YÕ;6|g-֌9I8J5EC*| [[&:Usj? o'D} Fƒ]u!COJ}P-wjP'=n@5rEtXՌ cFq,uMuru(:+szRRLe_77iȲRCOʯ3]/~#1x"^2jd;z?Bƍ~b!fSSǙ?(y )!|'b}l#|$8_pELП#g*S  nF/d|C앧U!&x(6 zWGN΄.WqbkͶI1r] /K\0A:*6BQd&3]ŀ+.hXNIлFD(uzCp&߾"cg5-1L.B6.eמHK6 ya }kۗX#Jc #AI % !ʽZ`‘S$7 Ȣƿ`,y$m\8(ȝqٜ (c]; "sPw?7~:9J;U?5RewoR>Ӟ;1%-9N0aIxRT(RYXh>ǧϓr:jY`闢&]/VjCc%>xI<3t$L/65@h`hZYo YD]6( ",QN+#IN^`q ,0$^qP>^÷mOe9Pɇ 駸kk3*lHAc|Z>cPD RܖY*4HQZF indwP͇<^`6t58̉z*ʘ QgD^¡ zڒU*\gsa Vw4n-tD4˃KJ6UHLD8zx#{!Giȣ-X`M6kj^%?H'CV~jHI z"ם`">ZO勎"W@c0K^o{e2 zci`E iLΑMw_P%,׈Aט"v$D\xy>m܈Ɏԩ䐙`ng}gAhտ(/RH)IZov_(a%Ap >#b|H o^3zWy_Df }FM:jC5gV>KȫoSsoކiB狀&눿ѡxF sdf<^S1myhCMÝeɬmɐ龞]juߤ.?m%bY7z!UCc>p%io~ rrL2 鏊`&u<8M!$~,u:NM`ˋ>=V1%qހdvA`!1ˮf.f+HX}?(9EMjDU Hš0=L$ɪ?CeWS!R_2ԃO}LLXk(AЊ IIfYB8Sv&FܚMx7_ngc\>v4}s'u&Kd_أimj!7gcu1Xyg,{n$>J~17!X{=Y>&ShA4T, f%c`/ 4Ĉ, 8!qJޘeLf9|,\+@Rbʍ7$,lP(Ÿ6z$&Jc}toW?tN؏9 6_Ty2 LAaN1tB'Pl,;/$*"WpYJK1V5'KU=_w~]fcqX@ܴu(mR!k /Bː0QJ8ͽ@80#>H +Ot o%jzQ'@&|VckR0)tcZ': t$ H1jϨSeBTD9 $fH]ȗϕӀo6>KZ0t:fU&w VpQEdCv+eR~qT~}mV6%_!ecxl d#^QW>ա`٪%q8a6t!C, ҷ;|fM㨂&8Y`FÊ;V䀤~};zP1a&3vo۞ h eX7S#9 !MuH𦃌פ * HeeغB-QrsW6_}>%gkoyX [L|! oW+9fE/^LehYawJ^oҴ/դǩ+. GցUݦKKؖh7/ؑ%䓢lZl?~9˟#^ 0~tX(rqH x?;Ts}t 2ܴ0'cL15W`ORbKAt,dl[GɽLm5?ӀbDSݞ>_#=vK,On2 mKk9wپڭ-Nh Ů:MCl>17Ra~6 Z9nkg(eòlWm@U;?4)ΡcI{itwwaWr/ݞ7@܄cl0k12x( v1'7 n9;q*1!S2ۥ5 B5iY?aOCPsvrO$`RmKtD jib)K5?)ÿQSTuZqV{U>.w7֞" uor \9l/ :[o5+hosmh ж3OsA< jaM ufx>.==\QY3p,\hJ>V$(LO ?:`A[,|~nM957A/?Eo#GDXo~ʯwӋ°FD+j8#osޖ'*d\6NPLackg<;fq=:>CפBBw3mc\{Y;uA+/w F `0}3ſ9: O[OA^?t G\%S-<]+v$= )&dͥ#  g鋛tz8hWD`¢x| =61 0tYt*TkPBkd2TP"鉣IrH@A i*]!C(]^BXg:z!z@ ;W[ @71.O'MM1#+Qzǜk{*e ,|+IU^CRWÑviU^l&MT[f1TbgAtKyf/ F3̧GD.кeB&/b@ 0ijdiH.@Ik㿒[ o .^/%昧a/|MGCPJc;y:%:Ҭ~Otd ԣy;Zá@,SVWS&ڕ_LkOrVоP pR9[t]1ޡމQyt*mdNgD砇/x#:g]r6GWKeК{10WLѹqb 2tCI|cNUgNS5g%(:o]9ZQ;H:YjVe@FX# 5"93B=X\ Ӎ̄4#Z8dbz%y*)'qpn0}QT* tD[_&yFͅ6mE)埼ŷP[NVEi ]FDMw,oDvQXtx^_tdm6"g  7\Z}ɎD'je[~\ki 6c= A103oO8JM\yrI1xə"A`*,>H$Ƞ6;um 2- j 8)c?|N~\ΰYN&kЗO;$;%@XXRƘw!О7n42%z:T~&nR¡uR#Byr]XI ~Tn%Z3BZ_ճֿmSH xSK,\FؚZV>vy :uX$;9o;ܧ#;;&$pt"RxnhK2ĺUHEea}fjnVQ?ܳ-8x`<<t<3_8ASg?VRʟ[ KuOJ2cM:&$b!w*1v H|8P.H_ I@K/U&k{nPf gM?I 5,Dn0lCMu߂E~4۬a9fAO8^xX2RQ9ؽ7WdmFfڔu (QOh*=/ E @'N"_m9%@&=':0\xNn/ g H]nNV1{ļCVsX%CDnZ|2 UxMW?qo2.9lFR4yWSjKq(1uFߜZ3A: c~گJ6 #֌&:`Wtw=xWE.t/%* Z %+i׮m֐w53\LPWυϦ@ZbNmjJ "yz\o=K3\M  ] RJӡ!֓qbF-Q17J2U#SyC1l*+8r+(Fڗ5/W~߃t@.URқ /m0Y`M|3ʀw:~;g Hq"BRV>T2 8s!_Nc-A%E%tCŨ48 ʺF@`Ɍ, J5"-_vlPdld`17Dafa2'۸+#T d aZc[^qыh40.n}nixǖՌfޘ!ݬa:l(1^׊<JMpū7!; ױ%a.!6+u Ed9&rEVQ. IsE_I+W0[p<\o6ܛ\?B}ǎx[?ɖ3L\oq+ H:3B҅''NSiH1Nv  Jj.NHյB~ъY­vEa!-TݐpηۺzP-qKnBq*SU 4mFMGFG%;Y1=k`,"1Va*\+o@rHgBn)<@z ._Z{}L6.'Psvn͊ =oD0fP`%4D >g+`,n@yW А4ڝ]U@+hoH! Ռ#^`Zf/*ØT&uUJ_ p_B dld^\ `J0$(!FHfwA/OMsxPLzod*~5\& {݄{Td`z/t^6errbNu$0@>FtnRR+t=v]~OpKcv1!JQ;ÜA' Kk| 1ZC氬#I1|IשQ[Sp7g9Y"Iϼn3#KDZ)S*U|w"|GR-#x\eRyG8YDs(A hUɺ%HG=N7_4"eX7D'a&uM[B-Al7|WD[+$4vFʅ"i1\3~7WM<0I+zOPf^t}c hV`U=O욵xZh$7OqPY[u3+F:"\EÝ* (;OC")¼=+>Q >;ߓJ[L_z4ty_xS(i$OG'f<@%Eu>+u JJSb<thupu Nr{eQ*\E*E81P nιD)@Ivz-O%(u=(@E֦MxCWs!%zRksԈMqGԲ s I$ϑ ZqSvJLc`%ԤaXƽ7>.TGo,tSmanXܫlH-$#R\-gĄJ0+ub#hk0|pށ5٩.ӘBX/3{$Fi_,f/}NշR}'ʴ^I"O z@'}bdh-nJ\+~iހlOO^9URkE|VVǖGQ>){ynӽfyoM@J7p3i[D޴HА_n3U/k>yqX4rshM.|]e@fD(_ãn#J&K"aƆh$6Gn=m& ?R1^EO*?D051W;J+~K.Z]տˢ@wGVß$KE3PȀ_gX] n ʕ:mո_RPh#Yטp{ rA_aO&A`C1h%ova1|Y686EU8Fam-*Zhޱg<駪zyӢUz$Z,7A*M7v,`t[ 0wW8XJ45=S&kLS^+lz^[T=JkN@ߕ.p;~Ϯ6kqm4fSi]dw;{% Un}+=מBfsQEW=)&bژҤ8zU.=BAO* i n`9KM;v66Ԋ,Mҕ(cj1xw '=%|_4pȃP&P-<fQ+CI4JN)?[ĴW ,z&șk6*VR:3ZdX/$2u)+DvƚOwtau/JOw2M9wɀ^OF\^j>έ.oTs6~ ޥ}o jR䑧"YT4 oKhi(|Гi(s$ԓs̀kٿְQ6ǃ*xQװҋp>'A&$iHC3tk{̄HM9moyP U\MI_ 8yr}R~`vtbemΔSדǃ'~UU} :m*sET[9a,} ؗJeV*9 \l+@$0!g6^M_5r9ƅ(0<Zc1~fykcVrY!?#< m e?{)eBd36c}n3UJf:@h7O6g Cf9裂8> x Np(eF4lyi |nl^alпO8par4?̝#r" g`f -$jl3b11֑fPSRllӴRTiwÄpVa>%pʷӽ @bޖm҂ FY.-nZV米'@+J7̆w3B>hjٱ1S!F۔vjΌIE)F[5p2hZnl.Ӟ<['EmUI"R.[}wud6e_~yM<R՟?:J"_oLRxWf*m!SvSR\ 7mfyؗ[ֻd\y}6/6abʝ./|Zݔ+UA3£ڋ? !xOm8 +!62a/$"@Agy.IT@PݧdJAٸnAjPwk5ۗx Iے s+1%=?1L|,|%Cejwȳ:ґt^wkN5>Wk6Z<,h^u)LB)ayv1iiFL UDgA)慸QX~tX%qx;5Dlc%paSpt(l"n|F17F(!Ty1"TVL8jMUݠjHE`?f ݜImf_%&OUhX3&!2 c^ٶ%B`0K݊EH+04ݻmhkOčUaǷơ:us͑4+9B&5 ?v8Ml_,#:K"ÝͰ~<˔ich~q; 1*nJ\: eډ8ڽ* }x vDs LY{[vL?l`fbVi?eB4@i=rFo grڷ[`)׆*dκؑ觑 G%i kKL.|VЋي A`IZ}r:BY9ZJ3$ N5xkTFf#xu ދVwN%sՋ:aR{.溝xH]'m 7GVBA\ ]c<~ lZ 0dʜ"$B5:N25 5~ır+H=ۅrFxH;n Qd͋ЏQ3q+aM>|v_G-yuF̯ORLy0 [eQniBȡNXENZK3FDLEA _x38K/tI1<`.1#OИ"$]jf6,2dYz!?!"C"sALןT?傐(yEdO2<>nt8[QOX^`KN܈rerHK%Ynm7PK*y939*g 7 nWgwXWԒl9_EU U ǰ$y |R^gכriU+<=-ջ21_U$x'1' Аp:ЈE`^2g[+iю80Ug5[K3FU+ J#WVeV@v}8+u`00REֻt$ɶ"߰Ca4C0gĐM1}/Ό]m\̢-:&‘8j\;Oi1?Zq7R)I~Ƽ<S σh1}j>uIkّ~YʨUNVlR+Mb8Z题x29]<pqQSg A%r?9T@z#"&r7 w{Rk!{ٽPGd e{ƕCV)MQ* N$ ROGySh0{Z8gu9Ry߶'@zO#keb/ed$xuC0KtFoc{_EIsՋ+57#j/ݮƨ9 [Ҿ 2< 19^:gȸ I @zj(hy}d~z Gz=3_IvFCeq֯gOɬPNơpb{Rq4SOx:4i5zQ}c|z9q2gSJ#M]Rgj*i1+1z~IzQdZ:^=YA((JV˜]Q"g5rJj]F{"|@uʖJajFݤZ9 <7Bjv1G fKHMʗ޹j1>`'>TO<*bJVXu_:>h8kq PzƯ/x:G~QxB[B=#7UY)1] zV0^%Is->uMK ZD(9 EkcGJ+p v7Gk iLLM{g8Ŝ1 FenO9☰D#k~~r07y/-7AV[>W .5|t9OO%^=1 !1.GIv$d-a~Iq |ozHV KNB茯8eV~kNA,-n(#mjr;%.~Uy!NUe^DbgE*|Na0XaTWe l_<#'6T#7%[Gֿ)[ 澔!l0-=MUQ |#\,w$5D;%GP̈́{b:W=&i 7)Wjvunq s,=#2*事OeSmmB4ȝ?oMТ1Qn~yH*T0u=8, sH̫.HEepQvE|i76'pA=X7OG&kāaO=/ɲ}1\~??sg>@LTMthd#=CZF&viKcw% o&rQ²HpΘ*֌u'L/l _3 aYVb2K3=?Ad':õ"+rJI+vk{-fD{T鮒 j߀Q2D;d!e1gT{߹`(Dos [=*C͏5/sF1.6<tot:FvÎ!DS#^U}dͲhZɧ}gIW*9Z@S闄GX&&nt̛Ծ" w*Qʪ]ތC%&:r0X-@`tɟӀSvgy "?,#'C~ݓέQן`XD̷1K0ְn1Ki uJvӨHaiiRA&*? +G YџX09њ$ehë5@@GT֬ڑe޳}+%.(Q J@UF2'ҜK\e3pWaHĔ?d5Ӭ0k'SM_Ƃ_WI[`!%X޷e"I(*ԎFlyzds< <:fz]͘ u0Aw `ډCA]xm5Hax/_\ȕSzΠh, j,P'N [5 :{(K3<v{ʏERÂzJ4VW@gڗȠqˇdi_I+&roGU@vIJ,^|]NJb]e_WO.gTC`/75zav`  B|.NkheK,lY,Ripz%6F;YMim@/8gŐe~|Uj`yf|tۘ[V IW\=cHl_"Aу2DN@VKf:%S3pI5FGA8,{d(2d eA׳Lp0j ciD:d@?B7?DF rb i'֣]' s?7 SSAv^!rWФ3[B&FJELDH߬(-X49b?*֙ `H# pV't̏I-MͰ{{_q&L vU[P>~rZp^IOוݔHAw&z)})2"0QuS"w:IlZEf.T:Xw >iԒH;'Wܐ_5"u$D%xk A\:nBiɝ&@Ѩ*HVDyOmTWkAulo]8J>[֦D !ɿ#(}]WFqE{@WIb|_.\l&tO<ڛ_[OAdxvFd-z٤IETD4"Qt,J.b6wWDt ݁@9'b"b /|90;{ S<=fc<c{t- bX N7<)if*!$Eo7n[E)y`fLpoL$Z JjTp,օj@OW]z=G˄CflwSsԒLQׅ`Sg;( [!:]vDJJDA^Ӣ(jOWEw$>qA﯀|[fF9QF5-n3Qxң @l{XʻZ<}"17LG;8nR: ~BW3v]aF򏺟 WD1* a: ~C kYK`8̊t `JԽ8* x5 qaUQgS*؜c ܅`ɹ}*?FAH5d!BBEIQ/eyW+a+B?G\@wx=?tPi HةgT#Zz@>'#`A)]vxgE4O:\c4lz7`1hZ}ar jp3 54L'x6`=qzPhPgǥ@G~[-Լ+$oiD& '(e ԭJ8)rއ7UsS ?vse`6E弙Zc&%mkK,`^WN^ <[L/ -b#I?Ma6U͛zY>uls=4"%RCN ~zce/,G xwz츄)h ԲMn/h yw GK97TF9F&0kA01hf Keɕfl$nC?Klp0gk=.~ŖTE7ןMZmwM5!YEWF;gZ Qǚ|V*SմzmJj6( TJ$ qI 15%=]weCIe)l31yŽnE ѹO qH?E,.8 ҁ&MC֢գ8e]:nYEq o$݄r,P[2~aύ/J.#0bA!W?t= –ɍ+' g,Fu#2`?J3iR?TБ.@؞>BsSƜ1mWqyo!jm[e0>.~9 vjy|8윤xspF6CH:tkҨ_`'x7|iL߽s pv(nf U҈- >]¡e4ĖWhqZ4~Rs'pr5Aiwa>t$i.}Zq tN[Bu\!<<$5w#=+!גWL={"Q\-heIyV\QtE(^GuH^o('쾫[/k\v ?Vf?{WfTRM? _TYo/id ~"&eag/E r`-'!|3cX<꽟/ fϟZӽ) y`>um#lpfj!闾2YyG9_n$K!.xEuԓN-^!(J$ܝ2;nVm"$WTAf|י㗵ML 3^ $_!?7~ql}A4oAJ1/|s3uXK^½;3/(JP:L#gvpFʦQ?P5vZvgܮx 0C:xGո?&˦$2uAղ҅9$;SAb.놋9Bcea9xJr.7XWF N:PqQ 4:k?)_!ܕOkRh=p K{o$G,l_0aZbG00QڤZ͍D,bib`Ä4%ᤙ+AVϵE -I?>xaggUMU8M0Ns$4%Xu=+!L?FU\c/H}[|4':Ji#Q;fǁK3_(i Nt8B 8, uo|} W_\e4 X;إK#H]ŧ蠓α /I:˔zK~ a0h(l?pM<2e2#Y(N#Ot Qac[lj T IJ!$Zpim3Y';/_&lER-_vu(D&20/f;KbwR<tS-&-eo6T1}{F5sN#m-/H, fq-L>K˗ gl#ED\;&˽9t*RƨFr9z U9FFRPDE˙ɸ?T׊g~>܏l2kJg!CB?SyQG`[i6i}bUA!,H⻵W%Wuы%O(ldy8d3|K mjPHyUX=#vFO%׶ _=/1H4ؒhe _2Ҟ1tqYIUN^P،u1zu`e+e_vesUL`'O' m 4Qz x&ZOn4hӨĞ5ZO 5!O$/@?v@IME`: DEto&lqftbyK;%7TB|dZŃ0[o1!h$K\G}wb0+*s-ݜkbsR52#Dԟ?,Q d)IZ73>[Pnkr R!lx:9$}ds:UUidIipmֵ m\3r8yRdE3Ӭ¾HBLL+Uf#JVXDGN;2&x:OI{H B0,9ͭoXI7her177,MSR"6suuZv h5\:KXBwbIJ߆L7-_ulLloEEͶ4bıZ^zTsGD])R*9Nc+BE]$ASԒN c^MJ{Э-x qӘ\B m,vd0vubE<9{qd"Iek<5_0yJsOpHk0_AբHJA8I ecآqR_vf+>vWb|X27BQZw'm ^&Q2 J,1TV!tl\iNHJa9G$9O>LUس*^"0Te,İ7ev\2/cӉy&$ _Z3Z?fLw^xO{eF t#\yp]s.ΜՏǝr#2B$*JUЇ܊½?a/t+H7ӀjJ[(s)$mˬ$ZSLU翶w[ z;Սghw< LFמU,T gt=⿱lzyB'J/ y{ ]]:O~s[pFA`Z1T V4s!gG,E{,5˝ *mj0T")$ƾ"ǰfz~;vVxp8Zo&4{.-d (F/^謥m?$ s <]`YU!'7"HS)l77~Nߋ4q 7db51b(P\ٞpS|VV~\*G!d))s<$wyZe`?63ڲ?NF}nw*0ДaD~5Zu2Xw ?d}GykB䱝P2 2d\uڎ*-Ovn1YlF' u/IC·dӝRad̀+̹E6IAu>@\u9Yeop{ ŨaRL#-aEhk v@}9nWV^\# G]DsH`HL%w2NJEQCM caGTpj,=vO"J𘮨3KOE 99N61(; ǚum&Z^>?Z J#<9jQ[c׿q[#;A5S+k:c$թлdq2+ F!qX甓X1&pej8&^6pfkP@6p5}4EG7qjYTb2!#c8`5MMڷښBD)ߍk/#*7h'O+G)/0e!87Gduk IayO-wm,;ď?*,zXȚ~NWPjn>͚5*^Ricgw09vCqp+sCX :Ė.MA>ERb95π )F-Kcgkb7T޼ y23lX_G6shiY!0Јdz{a65UZQwfmɟeFJʼV-J޼=1p)':}gYZc5c772b9ffef5cb99e50ab26203f955d6b3ea3ffae96c4661efb67fa55c859aee66272e43d21faf189eca514d24575df0fdb5d561de6163cb349af6c