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 # dL ]S]HRB-Slicing:threads=2elapsed=513.588cpu=906.248gc=30.136factor=1.767zXZִF! MP@]ŗXf1-/6vRZ;RsTct.{oۯcZ %y2Ķ#~T˪9|'h4ASỈ:˔'yr4  j+OtgSMUmCm<|;NY5YNY9>܉q1!Ȫ;3) R^^Rp P'= ?j(sh%j=t7HW=mz;{W0"kwf )Xtq g=c7ԭs&1,Lc ൺ,y6+l+ m!Q<>kWaJc9aB@7mEdM-BڄS#Pw]?GI"bSQG.sFQ&^&f3C BsnHCe>R=2T<X$tEM>{e i#8io_/ԑEN2Z! %xӍ`bUn>" ~\($f_YE>*MJl}cEhh[6!J%UnbXIȱ׹mg/0НuÝqSפ?8YTp:J!9\(FpAE *\]=%Sr,sGT *ב$0O? #d }bqIoXkV" Yj'`$jscܾQ<5$?CZz>qen0q#mlݰ[Ȱc};X?ebHuԘQ-ZGxդFl1{ ~5ϩ NK+P\m]ʆ"V.ܿ!x[ƹV̱:b|v$K &ݏ,ǧ$ⰿE]a+KUr2UiT;`FJ&M:W7h˗,!|w̩W*>+C/x /mY&qα<'Z#t ŶQ1T܂iOi|!S # HRB-Slicing  8b}b\wWG…UYO+iaIkfǝ&z y{Ǔ1z:t&ݶW65G;IIjz ,d "jǼCL#1~lK;BMsEI̭vx_e2lbvJ+{|j@䲤Lis⟉\H4EJ1İ@]+g=uJIN4|ˉ!?Օ"tX%2VE`9S9B7^8L[4%g<{2:yZLʜ#Q^ְ}yo(|B9' ǴLX8a>qe9h]s sJ wT}nFXqCn' CPf[ :VVXÍGt7'c}UR)bzZez\@F~^1旦y~CqSW,"$kRI%" |v' ya8UAbULWtRe (vBʌ‘qҚjܜ%w4vH*3@'7/*ts3Icv{<+پ+)(!,PQ:Zw Ե?Wt(cr`T@0?!`ʄʠ8mI(<57V1u " / M|g7̗9nCN##v!*̖3 r{Wi rt[Dؓڪ!⇉%T郤sOk&C'!lIUpD<[%!|f,d WDp%mP<ܿع*8Y^_L)}Z ^;3lܛ>eU|ӞTi:1_am[Ю+19%_PkgdL<kί,0]lBe'#R^+,;⏆*2V/PūL-kӖLte^ bycϞJww3(œ1%Nsr{ q6>gsgHvVA*_[=i96HHkG-4Q,= pmf*3\ w9$VM\ߒß%wN8㢱R*(f2*}moXh166ҌPˠ Sw' ?2<|.z=WRr>I+Mazf* =2!o\7S@&}O'!; W Tš.9*;G S&."inPp͵//Qڑ / }yx7=U)d ZܩoERݢD`Hp)?fgwCNnyv81Is| SX< $>?32yV]%*hӸn#7e"xض{r~i-oJ,3רdz 7ZS)H58&l%jgƆ}ʟ3e=kX2l\&Ϊ\u^SblC0-Ԥ>l UP=֫ڀV D"8ts 0=[- |%04tV< }+KBn/?TixD tNR(b~yp݄A8F؛9{QbHaL%O2vKǛxH?:LCSx{u$!aE|b!s"ܤOcL7 VDwD*W-Y/ƐU[#2Z_i?FbH܋B*)Un)6$Í'2њSngYZ7zXZִF! Zj]ŗXiɟYyTv2tL:ݴwlbd$ʄ4)hWFFW-AG}s1sNPE)#oU+̇hqgq$%>uOUڿ8y~yRd˦Τ؟>]|ˌ$ߙ4F%-S Ď%F^QCv@"nUk;%" z+g4iX<n,@-"Ӏh ~M#ˤ"Qy>ں3<7%̵vPH@^r餇* [!>͒١#lɑU6a#_ dRS3Ŷ+> RFB +{^ ͥ5-q![4[IWuV*lJ98ÿ7e=# /饢4"#C#ns.ֻ;RqdFP~[~^^'mW:V9}. 8y1.ZQl(SϕN L;ܙ"M(oxJBgPURǘFqP5ƵŲv ,:5 +LZ4^3[ pi3[қBwυ^Ml.:Y* /]& Qff{& ff^Ozࢺ{Kx60i@@>7Ӝ P!n@xso=iZbj)j, N6:;J^C5 Iq,9I͠@b vJ}%9Z^7}c֡i#wgp |zp?{7-r! u=W*퐻ʀ H^ze lqBNdtD=gEija4hpZC+WLtL$[`^7d(YGTLL*ӗI 9ުHL><0LC&>۰La\&~f8UMI !de1` C|'=5ֹ5h>j)4qGL`(,̒8@i6A G uN`d }wCz\\{La䙥'nZh)c4g<;{ޢ6ۜ&o'JEX$[#@1sŎ>\g!ImJSB:d_'LGvpZ+5@1ỴV!uکW@#wdWEa)vJdFNSy όGm^g!؏uJP)j}xru:ʨ$4KF!g* 9zıj5şg:ga+Bn~?{&y? 즭o^_$u@Cf e ,;̛ %P~ٯ&6 ^ N1 Qb]P<: ~Rqz1xYiڹw&z4Cz[~uRߊBiRJ0 Ve6r[X^9Nv8 .!oJبv6Cf!&bI7;3fosJOK*7)/&"C75N.qJn94^.;VĤD0z?Z &e 7CW"E v{mq@`[OXHD)h@rG|:tڂڎ=DaO`,mufJ=xw97fy%8ϱp&lh%̈i%\\@B) !NêӾع(IJ[&ǪST"!jAشE5] :7z1 U ^~y #V:"y.?80ko[ *rN%`%G$+EFo/LjI{Y !72,CQ`8Lr'b6/ )/g"e0Uj0#ا};0 LDge}>McaX4kH%'F@GgaakPmQY 'w0cdWuɡo1i~yԜ_"'|;:*6T]K\W$b CVg̃K)}MH8F妚5cq!6N]S3RatR 'Z~FZȰVn ,q !rE`-ſRmv/S,ͪD?ar;s^ Foݢ52hXXGzCj:peB2@ow #=l_ U?)㑐˻\6?9@s`"{U>GªRQZkTk>h;nX"; J}44e䄦X$tW"yv[+Tuy܃KwL]54˒}X+XEsJF)3]zj^&4ᄹʛ l d!IeIٚ=WJKmM?n*Ko3(E-]4 ȝ >͍;*M>Oo@B` ZRFF ]cqSӑsw~mT 0;.jf́P?Eb02]EC!1K,8[emZ?aY}X"Tޚy'7$6nSn  (}ז56(WdׂL~:*`['淶<5IӒ"lN\,3SC$\=A2;՛4[6p|ﲌ)W7J0-&\joE^ċ<W~5GZdr@H@|Ý\ï ;sL{倆K࿵G4KWdekݕ*/!U!LMƄk=4miwmDN0pJ_I6S_1oWd6媨ja`KfFkDŽCT?2 BJԵ, eVs8C]ə,Z'E]ɛ"%"-u<-L JL &nPI:j& &>{(VwHxi]Y[6A޿{$Sۦq۠vgJ7[cywWm$)p>ퟛ\ȅcSY"c m>ߨU aXj9(C s(S e"-B-襶VXC(?DQB[Hn62nc_dK`oR-ΜX '6]!魏6oۣF ]Ku,.u]F7Yp&|}3z>#?< ړ|N9,)&yF#rZbl!s+=oT [LDh4t*_<gp_q q$̋ÆoJ*tfbα9!/ɾ(9`amop P;Dd8޿ zfRSQ'[To#۫̇`y{!|(9w9͓臾Kk ]JSp^⏴X#xKˌpb\#ZW~0y0"]?߂͚X 2T8r+Y#O=q6e+ 3*br[zw+j_F㴬Rx4cu5E#9 8f9yη{D'JsFzg/Q(-{m 2ߡ ,{ e-J>l;>j]O$GІidwl*>AUK\kn|/uVظaJ'l;5bo+b,/ =9Vn|NIIи7$T?>z7̷R Z_|zch}w`|gՑpg^g,4/ʽ Q<h/gb #C Wu_I?IIyAV:]R/Cu-ptG䖵ʦȓK }9d9j_hUJԺ 7G 5J%+K/.[S)C.l/'[l8;/`1 7ϷV]ӂfKY>EQoH[][Dm&y>$4-X6cgڿ\i4V˃S* _K< 6M΋6x-6Ka4oI)ejjP$~E? k >x=݄Pܦ*3öQ}1XU#m #$AzEhqȖ*~!lz|dX&_lµ{w`3ʜvͪyaAxŽh϶6SiI9Kj9z)}\@#,aY+ R6$rʬ贌>B(v"N8WƠ(f YRaThm} jzo.aȡ  Y5ꇭU>#6NM!y}@oWJ}9f4eT! : !9~AAFO jLع%k `~- *n]52tZk)Cmh2$V9nFD[D <8!rm驧$Da=lAw(ޑ9YۇKt{}0v'3UBiXܠI6z#a&P^Βctdxw)Sa4_c}K}*r>lYdBF8'i4ǚi\Y~C#&=Umcl!^3=C.zf.oQ RPxݒc*XV.n|cG&űs`<'6`Z7kyeGcvs_RkGq=L69孔7${̸q٤U̮Ϻ9bPuY0jJӑ+dLXAZgu% >?t>7o~ZkfNP*=iAa".DԿ{)5fhX"4gzѻ?maҲT&2FhCԞC\JWc'kx )ce;CI}N31^Eg due] Du7fJŸYjCe^v:XWW.Y0G׳9djvJ鹖B75ˎwɭ;اr k7!`}^{elJ_xrj"+,8<6/BWbIXf蒕rGˎLP}В!fe1p:4}TH^X;si-~_|MGH` ݽ:QU`,+6c!Z9RqO:[]4uEr`pD=cQA -CNTl7[:õvCRy\wL}Mch(@y,q]4wwLEi߼q^>RN7P6p'rB>Fz6{g2cm0^S[>EY[DCfFq5n2};rY j~rZ2l8~j#4]E$U z XM B@{HާWq%kՆ-:ڍ,Y<:T# }**^5ir3.A[k9)QU-ù֥ 2<,U2/"a j_Ayq$*A(c 1~mL,/sIpk5/US~j׫eځV2e R/.ブ͹/0/%q\xL$oNu<㸚]С"{/j"l10ƥ* j6 >CKnApt?]t<5f@zVyStTW/F^^~9)q s{L{܅:ke<Ă HmO{#ƭdL(s|m%j;WwG=yF5=Bekr1|ʍ6r؊CYu hf-bʯ9Kqa@k(!$ Fvn|Y!~꜀!\XS;w&>sEAdNowԒu28I#dA{T2[ْ5NK?^nIp*3\ 52@6]֠Y67&J=Lnu]؏" evBպ(a?7Jnc.}B?]`Rӛ>jg%Y +$s&u^p#s<'ՙzB^βg]@i+?r;D"?fуkrpk_tךH:>01k0=;U@sv؄7>-6 VGpfES!ލW3HKfi^fS[6IuM>m4k@rU8(PSW,3?x'16yDb8%{/\ "@z'Bi4Z͈pA' a&m~a} Ln=-unUpD2Py. %_ؕzһ`Ejzu75=t~CL;Ya*y-*a #Ig D"K_rwV~bUN:]c$_#=*eKE ^۶};8XKBrfvaVb [s*+#7"s;(R@ ",X!ћ\Ә=:|ɣE񷱭h=,Rk-Z YX aHmݱisĆl hI+uZv욓tWOCD쳜{C6=ϼN- ߝ-Zz\_ [Le5g7cǒoÒaQz2!fCjRˉّ#W?ԥٮ{Aol>oI^M6_q85>֬e<;A8;tdS\YF%~ˢ/4J>un"&{8,'Ѭ ET&>_bMIqDxx3%TX=$ЮfNU׋89Rlz[_S[$͓ۗ%t.tn*\ƅyꆕ- B^^"zنx叮.b=љCVDIm0%tx0c!m-v)lCg!4ȄSW7v Wf 4w#U|V/Jq'5G;;]w)Ӕ:RNsKZٽC/|oՑ ;0-^ blG' Sc}Q@E5LHzJ9x`zk6o Xw#97́/݊~{mӷ$?qb[eK`-F?SpM=#ɲ!kB7 8HL& eYgا׶1Q5.fm.xm&@9bI" ֮rz^ v;* h>P"K3Ort"&KGQr׈YN- ,I8óxpMcs~ :薲C c݀5-Bxlfz: `w.@ҎM [uD^mB̫\J̰E y5i|!@ܒABl}':_d&E6au0;'C% )VA'%©4q=ti`lg&XNr"H" Z:/m MasE<uQB^쭲N'u@J T\9=#W֌s̚Jҭ*LlY)Kwy趮Bdh\ϒ;_@^捽*y"cһ8awSf>Ü2G v fٔ<'R*}o4s# +QTh.Z|xaWK8mWV sNE͇L 4>MH=:#7n 1P˚c9_rgӸ7Biɾ +H&jg3.dYkjH]fm'm+9$ih5j{,|%*z& BpIh n+J-xUeS#pF8Rײ3(}d6~gOİg2-NhGtXQ=V;WcTS~w[vdRR)<(܉@ # I,ճ~m#~gpCr@yCncm =_̹0/0\/{ *ZvmI' 0M^F r=|kʈ#}fN)Y*s>Sx+[#)ƭn;sQ}j] )TV^CQKDhv/ZdЍ^Vbe(\!z4gKBWL$SSadRUF!s(CnZ4(,#rîǕGC]!M h.֏pBP{yj6(ř#FǡRù N3G ikVE] tjQ# (RbEKi? :<_p|`˸!지 rBǯtnbnY.H ?gL?PDžA|E> Dh ^?A=[0c/4G^VbL7'+VOq)daB+4 G3;jE1}+YH*r$ڥ{<;W{1{%BԺQ5) Wk̩3!ci`aWdaHB*7v*AH2"CmYrMY?QY&N![fxi~Wޛ+N2{)]A WPޣ3 `1ۢzK[%ZycՠÂ:5S+"F3&.)@ܠV&5bbDu& 8͝хg8BR<299&w0V&S*)Ey@w jܠI_S@|u+ 8V妈͘쌨vߟp*JD܌OLW* >@2'ÈxnQmѳ`$3.e^ /q{&Š2\1@ҹ=Üѫɏۧ'?QT#9U/Ct7mv+q!H,)I"}l (@͞iYǸ2 OJx̛d3O3Km ˁ(? }NKfp=]!2ʑXߓih$`;k~ +̬۠nq'rFm&MSZڋ9~G_ͼ}!i.lK0 ~WY.vҪ50 )S@%42LIpҮY|߼5&•a!۫N~gL 6a8:Tbz4 G/Hl;vhX)/𰜐jq?+ҟ{Ј`e)>tmQ=1s%&^dV JB#r#0,6 jrNW #VfGA{.)ءY<  54zc=]k'yvnB!ElJ´L1JRj!zՋuoɥRY޼aƗ̉Cts[fk9t^2octhٯ6SVb8u/#ЃA-H8@pi z@y,~TB߽IN[(52N5q#Q9Djb­Tj>5" SB [P+b?rp Gqn.t@jᆒ)C? jtCB?5`~OLY;uߖ8o+ɔisTsL\U TQȐqX]ԹI W.Ivr\050_a灜QdKi,@k($U Y+W̆n}(u58!P p:=J&*NEtzDCoW?֢b]MrS[*9j>7|hR)qcjr6TTOtWpӵqAjU?$W5w;Hcq⾻:/ }%{͋~OEXeu/RNޡͨFM< ?^. 4V 2]VsG\P8v"`Qq|@adؑ "4vd6?_Eb*$]xr8(l_*N[Pސ*I؏~޵rsS[mlB=@TYuEkHɛ%jͶIvF\v T1j7Z(ݺ]N&eUNచJ maE?AfnT\~~ϔ"TH!bf`Sx-O^܀J{58.F&"lD^EHb1v_i%N>C')M*%!,5z"vZwZgw?^b^=POF1vɈjlB22|TTdR h%_T^û$L$ ISYA%H1a:#,#+h0*&ȳ: e,Qaf֨M׽Է%y!bI6? p1qw#띡EaDTqg3 wt" Et$C,UDIQ~4DLz,Lv܌ ^}nQ&5~gƸCI @eE ɓ{znkf]VLkL@v[Oj$@8m\kh8,-dEQTZK$0)rTyra^+dr/ s "e8X[J &{fϦ'ϑ8S*M9~%[x'6}C|2IJD5 OZ3 h2_7O96]x{ Qat(\rtKܿ|gGFjYn._՝Gq?#B!7ܥ>C<)mV(gzú#젣6nA  3'Hs{wuS !,w.2*Ko~,VnOJcc ִG|4(-Z]pvYviMm_ڶ{t^3XƊ;I¶}ku莍aFFyBܔY$xpI+UP -?n/٧ɣ *`o]q)Zh:"޼j~ͱ>_T=܅I.v@ 4fU!')k7Xb&T[d>ջ`Euc^KbxY?jJR&W {+7d]+_qʚ)#G|9.B6 sXSFԻ}'fE .KF*W ?(,a n %Q/_h/%12"l,UN `pˠ^QZ]]=2K_Š1y$": rw]볃`6Ara6˝xOVkvoXъᵗgM=cO2(M3(>516V,n{6b)9&LNW-<]O kf뗯jm<̼ۜr?Kl}RD] FUPDԸXwe=$m3SRM dpEw,ղD< \eKF0/m9ls &i8A5󂻶{I" TXC"︵ōϡ՟V>U;P F-}B&)\`NA[wt~6N18ẍ"9^fGUⳣy16jŻŅmCB>;\Z(-E>n>,['R_9(DM$ ycr/3B 6Ǽ8@/0чlZIЁ>e,bj!&ʗ݃i[VlX܇s{[VI.;ele2;.KFymBn+dK[>HHO{ѧaUS^ռ7\ҝ6s AhV!$ us-x,~wS֠-Ԙd-mֻTҦ/ !e~VlSSAP-1k:6~_J:2MlQ9.i!Q/N<3qP%ZVc*hjsm^ٺbiT+PSiށO'󺢳ew@2TRWð1˂y_lC↣Pp/4c9`  Ur*VஞC7ҏ% CMS"s46*YΏHrK|ņ,r9tV]52[TBxt<(e&HU):ϕ\?UR@5 9Ot0IhA?B$XߡY ~1?7?@q̮rp("@qP1ǭ1IJ=|vLݭUNה7*g\j-BJ"Y<"x Л_1 OFBC! @sj9R-wJNo.Lnz&;eVcpLrDC[o3ǧ9~qF+6SUΉL2x`KiY* scA_tWik RET\/=:}yD^Ƣ*voPzrA?`ulWWPP)@ՠzssi>qɔKyd!;v36gdZ:::/dQ4_iWXM).WF~һeM3GnZf9gNQ= n{L<(B)H:IuӶ}G3Ϊ1^Sά<:?KP*iQ Ɓd/AQ{}U /B\* p0]Ȭo^2mhe{{F'XτffwJkCyiJMбHˈ ,a;Éssk&XTɸiFhxJ ~XAXR8;):9bBvY MΒ oa!5YWu^#h#LjJ <\v3  6A?P+ 8C3M>B/iA=c|4j3/ڣG'цivHZiJgлN^ytuVɝnx AAuCMi@;[ #w9KQqn7#M^ba)|CkB:Q¨2h(o\{+t\w%"0 R;V9&r_ ʝt Xc_479pPX 4B`OۗTbϷ.blσq=J{dhBОW1:E2R? 3:GƉ"9[ KP..]?ÊըI|$2MQvha~C@h+49SW@$SGTzPEhuu9{{M^ lq`G#1)wk1ҕ?!ŏ$'1m>N慛S~joK r@sƽU8  dr=;;bǚKoayxg2 S`xJBHU$/be bޒ6;2e[f+`n7t3V {Iy1˩tNR]S%%-d<*nD#Ƚd)wKb@wkvȟYH0 !g1Qυ5Ts](\ZnOEL_E3shUN֐бf.1T QcR)7Z}zJNJdӤ:Rkab"K ' >@n g{H{)D*s1n2 @"^!_aZ[_zp# a*:Z}4چ $c=h1(݆05ӰIKs\K#ڊ$'Rgl8P {{!<:r%4S?̄7{:y%K.I%w~drylTfCtq (伔J+rTMCY6Q |QMĔøuăyCH @ ;XeHRnԹ\[ 1@CWM~7A>HW|2 fܼ6u&0kPca_ɌݻLo洨 d@+ۍ)5 G9$s@!nK_#)8KODNZK0zP8\6m4$y6ڞ)]=3wzvܴ]SN !xz)n)d_#>:ôj^d܅zB(uEIDB&&p*%ʎ6)| 0:okzR 1`R-l2m=3 MMBK,%sGPhEW~[[o+Ue t8fK٪PͤXwCa$Jd:} MTbaO@:e*p 'ZAIJCTOII6G?M(mYWmy}Ϻx||Lj!đNG2Cv> 3jq$d|_Fﻎ YYӨפ}O$yO4 At c?[\Ԯh#{-mĨ@H&Mmhg1ɚcmo><yWGZ̿2'8oT2ECb)0j<h7_M )ƅ B짤.x/d1AN#N[TE3c|x,1/M<kG¨9~&eؕsB_ YVzW2, _4( #vu" )C=uxM ES;:e"XIS$4t䁢ƨmִȂxF^(rfדI|(sjEG0 EpQ2y'fh?/ky %%V Jwګf:4@psnLD`@@}kOKpPW`m (98Ȗ>=.R|jB]HE:tFHQ%%S9b2RwСS}k;C#vu'4yqF8:GvukZ*&P\dRO!WT}e3{/IAL#'(DZia* z.eu?\#korH⏌[h8iwJoQ.1NP=ܫd5b𬽣01,#X V§ Gh1@#Lz,_hW3>ipݬP;#6uf0LRS=m6I'N >y34Xp*bR(` `?jhjSqCԩ%C!\U) :0Xo'-[X,u8`<sjy!i ̅3sz}#3L,(gwJʛS K.P+{r$d#ѸpM-IB? 0UnJU+wbM\ܐє0Z+y|wڷdsO$+:s51 _Fe{Wٙ{=, 38΁HǾn k ";G/$:)혪#hVϳaGx`B4bqf+]8 ( Ogb$0BPj~IT:v,JC=Sv BovY Ė|(ݾJ@?dolGX|5l٦{f:!PI(!fz'`ېdsYHrD賊<]"nEj wm/zv 5VRCHfRR"kSFwbRCKcτUξ#ڢO~^a?tl{Y>jvCĈ-hU WZGX1 D Ⱦ}tpTBkvf/;6ssNk3"_E8urhEe ;Ӑ}^wKs"Y~{.b5Kv!nYa<%IrM *klE==|Ecy&VtbXS R&ƳD8,w!Pu,O PA)m؄:r[A3@]hwm&I&( 63kK_k!>YC4 ޏ W5חm,2g^1k2#٫i@慻nJ~/: @` : hnkYswkW9qrs韎r7g(]te7",3dzy̙ 3Lȣu8ή}fOK V! ŜA4R[!gWF4TmtYw| |ջ(+#w[}eȹPbʏF >#(NmȁCDiFP+Kp^u,ӿ##*ɖW862ꁥ sur$ʋ gnW>|4 Q-Kz "XK:p ,Bg]rIN?a`2Y)"?J3,6+A E }ufZ}b)wL{Rp j/ʊmEs sh~Y6MZrKR:!icWCz,EI+vc2d&7NSX["j-%ۤZm|~d"Cd6Eve4V?tKMaxx3# ׳){9xfQWƆ+h`f #&X7]u ˘%z쒹toi%3/WþL ΠcPդsou-i)8Yk}i>>= 3f"ǥe=x"(@̤`׻~񕥡0 =ovz@$ a /1v!R|||bocmo),K} ?L@t?$sn9s$'%4 !Kw/CvMm~Y^ B;kU Bk ʣ= >(z)zFBՕ~,`0$*Ni@W$|ֱ`Gw[Y \ ,᪝fgCjD?RoLN5A4+!+2@PdjُPy4,<_߽'"F}"4=^$6t0^%|tDDf#ҝV> Èئl$9jA|^膸EZL\_u 4DlRc-3qϪ0zTbSqLTI@aН'ˍ_`nq:v 3#O}Oȭ/갑G("PJ>p^4+GW鏥'> ez:8wVGTM꺧 Th _tܕ6jUn!a-k뤵E㑝D@8 T$a/ g62M#p()(tV+R~`<{뀋?h'fH2yhxzn\L\|!wLD\MP,rNA\E伉X!6iR^LV k5{͆TtEETf T{ŪeIJ#L|9 i^- c ](~/R%Fd]a}&͵;WnA !@lﱄq;.&= )~ǫLF(Li3P*[ Ce5!; 9l"s&S&LHfZaUOP7>@A5N=Լ x )JIXul&){\M0"/;ׄA9f B -^Ԝ PP.^3nd.| ̛=%GN'̽nk~DMQKpg%^\98SLQ;{I5$2i$0f,ïaCCPX*#}pfؠlZT,=1e;#=^Op ]\pp ~$#8)f҇GK6\"ߘ5$ţ}4F\Wu4ݡ,y]?:  > 3j{$VLRxmqtuc[0K=r5!A?TvҚ7XuS-*!c4 f;ri˳PmrqĴ>3BóQBxN84ga%hED~jJ{/#@nao#2!aML`qW_vbS`ӭvf!BMrKPh ٓ,tj'1MT}2^걖$\ipM> Vh!x\/2:>XFc%P\`<Va{:Z<3z1%&LIP`J'ƹ<'©MMF9QM=nV}+4K8E:ь#`$m*8;%< A5#Cvp _t8S&t{K``?k?-y [Cel@UXϫVw8Iyb%'^NP +("AHjw6dKF?O81HinGUc*\"Gɘq˂'RMzFGMm[4YoLo(JCJ~'wgYZ42cc5ceca52cf4f44e0ee1cf27bac2a4d181412e665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 5d487fef72b8c2fc9c57e4ea3407e43d1c4038db2cde33d7c4cf51186fbe4b5314b89302571ffa44