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  /34T ]]LLL_Basis_Reduction:threads=2elapsed=484.982cpu=876.156gc=46.280factor=1.817zXZִF! L(]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/z3;դd i^b9-<@SDTRr,K_8w;ſ+1L:¶)}j8v /*'=O!X=> $\s&*ulST"| 9P*mT;#߆Y9΄1[-[tt} K ^vN1O´n⏖\(RYA»qTOfEq0r^i羒r<Fc(@,ѻ Nt{ЯDH\kT%7e`a^JUnbإ(ULt;:6 35] ;a7YХ2cl5-M[B9Q08ug}G`OB)`Й ,[p@|C W.^B_$^BRi πwhyo;y~2@kk,;^q0*~]_.z/NycyXjj Ug>UG g"&J->stK'&ydee!I3:%pԬ E7!mcKS~!sVs!Co0C\ozwZ43B ݮ6iW2}UADn!8eTd8"BBE\Sn֣9y j:tS`i~pmODlr7ԏ?$Hl ֿgB.1PW̜Luŝ=WMP8r)}dY%W¥⬀03^~iKڐ0*c7+v4y?U}gSKXwqizt>4qbpdž>ڄK M,Fز5ɺȱԛIA֔i0>DÄI3CD:֨ KMtzq|+kq6o!$z)(`)[dEc'.-X~?KΧ w6fux܃:-I8F zSJUZOfBD2_P6iiH F3~(t0b'>-CPN hϥ7rDc'_ԽC^ʹ^\HҀ x)'q}BWz(!\PH#4!tC y,n[ig瘘-V%?>*&hޚ1u-u4hnH$6Ӓ+XZ)'3E#+2tC9fWM~w{_kYLe>uYutZpBD߹`J5pk8C~T@1׵$H`0F+Y>7~L9ԙ_͠C3GzW*8 ێ:2rq[iܦ '7߾ fL͛\arZ8:2&nEƵ(t J NMwt$27_"\ b π'dt]20~"k7:ۮ}AvZk๞ ~ʾ¹a( ~= vB/VwLoY*+F?󣡖brggfE=HS}WZAkjD|<>6ٕqq)@8U K6ؙ5 f7D#@>uɣH$~^I`]`侒ƣ Zm?1 w$v,qt7(1ǹ Ia̒2bjb8?bHh?//l.!. m:KY}|e5.fvlי?V.U!Z a_չ֑sszTFjw5!, ? ڴFJV^rvڤʙ8$!G?Go2[t6dǟͫ|8.17*6)k Jveb>[ٿby V~ݫj &ɶAG~(V.GfQU I LI%.N Y#j;--m׃t3X,՟6vV)mYz`S,&Q zGܓ|Th)a7#"Kۣ\mxMdF FG& XY)`&6DF hiE)f:9КǻQxgh~o2g[+DxdZMw͋.;nZ3%cZAd$44»{Q"_1UnNgNo (NOiW W+u4N|>a^c Bjk91} $ӗy.^g/,ZwH6!U +Y3|B4_NWR&(5XZv49󫖮F@+㶾8HBdKk淂@r*"| C)c+W.:K@ &oxa8yhVׂvmMt?9 MhMJu*EJA19ʹa#>U=%ޠJ.N (0)ʸM.Wly<[^VfZ6l{ JhA?FŅMrq &rJL*ϴxv$r5lk8;{>sl g"7_h<=8x0U!L]fzڲ˶X_IUjm&9Qc {}lyΕvcUR추FrvWؿT1!%\oEtgS #.p͝@j&:ENqD@sL^%WSkv+RʙJp|,4[mΦT5n:=fTvI6j>^]Wd֠nEP(*jySdK_-N`"nVسВUC?XiBZ16:Ky|,Ii6Ա>uHd׫ׂW׫!3=Qg RLR-,\[9?NwCOj]!$B|+x*o}d3r(iosAy@S[4IʇSEdx.{ҫT00QBJ@Ch:GBx %+'f;'Rb}غ`p-1Ѓ0zyY󥠍/9OeLv u r2ZI$t=%"_PTrOfzp$t 1]e[E`㏡ VؒH5Fj)bӺ"e/{ojtSy^Eb?rf`:߁a#}v ͣi,V1.Ql (M1w]6x$PCK^Bu 1 K4/LB5}yv^X9,&…O)I9#]}%\p ׾~xON@$)4 wٺl5qIYU+[/=8lYG cw*H>0Q0s]vg.uX}vuʅd-Php͵gJhy>`Wd䟐v!yS+uJy RSLRBujm`-uKw{5KLH^d)M'R-rh^j"ܹ8KfgVz/rk2Χ("0AiL}^[X<$;L%G Z]2lc ,˿w9BcATl]DS8je比aƾ`G፧US<7;L*3c/^vcqݿYQqv$&CKrIu7Fl2cY2\@hz%ݤ:X&wSʰqEMܜA!ƴ`V S{! ;0*l<o'C<%YY@IPKئ^mm{M' bhFW{~k8OGoĖ e}ķfFcx ƁϪ򈽺|vc.9H4#~静$x,&;f9R҃%PRd(i]c[&3/ BxKlG@3>%NjCb}kU >┞-j!oa[a3}Ψ:cRYNNhX3vBFm߹s J fYh9!TϿwwYd\\PFF$qdI4m% W.pdWXO9lٮ!y*J;uɹP,$.arv ݙ7HUpj p;-LDϣ?)vyv{.00&`JtIP"^O: QmE4܂q Na4kRmǺn}.1̻'[_͝Ol?ӯ{u2MgG?ljgJL3:Σnb&Ic Ut' l?xY]¥E?ƀ94(F NsHr+?uٱС( E.km< )/%=iqXZζ"QnkF~I:~žeWxb!l\oI<ˀ1ISixvnbC IOdA?hU DO۫"k;$8%AIB-R־bC\  ҡ]\!/ȡAߠ+8 DQrKsn#*ҩ^_Oĩsߢ.6|&X!*E: -XMj2xSAF *p/CNk,z௓@qadCiP^gQNjs9ݒTj}p 8ːLX'#s/TƍQZp!skI^>G(}}0L3A$#1EIYGoEJ2$F%?* qC~#7ǸlB(ӎ4 $7Z҂lBۺz {bR3`ʹZy4YW僌T_-3*Q gay{(I 7jy?`P`3ʍ t{I] %pMpI[ ;%k6$VF M~'Q?(Ka{ȸZtoDH$bx˺,،au._DIRY+DrD+Q! Y[]sZ*al!isa=,T@=MewHQ3 &\fΜŨ\uepGa>PVcuXu͢+=ˇ$[ӆo321f"/]n?]:O߂d[́P_0۾ەy0G@A8P䥻``a%~_dA^fѽ0k( Z u{!D۬[J?p1.W>7\v:(n'uŝEHenĦnDjJ:x)m ,M7^Š?+S\,>N%D{I.jw'<-Wɇ.K ."y3#qHa+1AkJPH @s WBCaydO@FIc9;x7B_d^@'R!V"(&x*ߤ@DmV=5dIlMlv@KQsjQ. a%VycJZ G?\ʔcs"g+D?| 2fծc?04I|>@UBX=H|oe kvdngTUgJA%V@FdB5v(ex5Y@ƎUgB]Dzǭ y( Wb9iJ}-ޛ$ xbQ$nԵ~ OooUf&:EQ;w oX)ǰe:ӹċ ĆWO^=T|v-M {/`KX2Ef.Ԕ)tnW%hX=}{2&@V$/:HF1yQTy:F;Y\ۊ&xsXy-,FN,CmH؜|h4{2 JLp,Pm2 &`*Xh7_4KzrYZ֢O@h^?UE 523ϫ=Ovucs @IKnQ ڑb-)] V {0-`lI=UFyyrqů^#Vm ?'-* ҡ(ޝv&Yоz+Jjͬn6*nNbhJqHrv 5pX8[B0HM\c|g3$\VqXIvN]]}r> 8J%0G{qgdNfۣ<Tg\7B`cX~<Q HL/JJuvb8Iɨ0 Zx cTѷKÖCKح + o&* >'iɮxdk~}yIz` Ʈk0l(cY_=^ͬ :x>b/+c@zqL6&,T 7\Tʸ%Œ -t^ F+wVU=x\ީQy^H VCjVZˤ("b^vys4J!pYHZxYwSak*ЩX߄,F࢈Nd)afxE 'oXZ \6S,{ o GۡHo&=;e0]X`ٕu>u@o_9se -[+lrݼ>J9C+Ӵ>_Qw4kg ѥup% h.glMm٢d #![RU-gYZ7zXZִF! &]ŗXiɟEY-*jNR%%CQ \wJ./t+?JPg]UN7!٭n>l&P^=u(@oX^h} 1 8_>K%5T B~3c˸ K?YhD^mgc%m8Qt%0'XLe( |[eE!O^@V~k!t|D!V^&;_r >NCgSqȤhlz&T8Q )ǖ}格~]MlzR!icS}̜zHFb.gSW@ CeRLT7<œg#d\qNEL \>HLmn7m݌քy3" Ts*~cW)cxUVc=\F<0WmaVᑊGXڸ?:=F/E/, Ǫe[;G! _>Ռk演|ԱM^F]Ǯ(նeoaG1ү.z=8"9OV=-M CѢwk9DI V5=a"Npխbz`}o`' Y:|gc'GDnB-(@8-ZH6u5?& å=ilY{8_,6sZ3}KmE!Fǃ:Zs|;D:P資$N?6G|cz@$5fEKvV]6&bOD:\b.l*|C{ ﴄlKJ\8 *عOU٨}%7Igi!oc2U>bŅ%eidJؤfk/xJ^bwUoep%G;Y[LLy~}j |"k,P,ˠИJtɒ.6HH& "o)GԻr ҘGD@7gYZ7zXZִF! Fb]ŗXi%;g>De9,U*/Qb*OcIg$gR֜g-2\FdYy_O19w8Ûpbw,9|q3y> <]~%tlEIۤ}V9Xfsу(C׌0/ {nnȦs:G;XsB+Rag?oc1xF[g*ZukiM)3 ;)((:I^18VX/l[9xn%e {nͮ.#QנEfK15n|PE9jz#S͡uW6 />cA\-&GtO.Kɢ?DwBi=<̏@`:;9JgkdALyxq/E=-cqIp5wW"|7\Y7W|";Q%dJ?6 שRiPMdK l񺦰/sd9F)2Mybۺ:` aԞML'XIk?f:pm FdhI#VE2@{jix/@ #){{ ݁* 8x]$q<%-  W[A3g3S b "eYZjOC85rFx'M+?iAf`9-?k^֫t_WGْ}x YidɍZa4Vzols &HҴ~{ #3.MFEڐgb!.U@Q3raaݕl/|gcD1W\&()UF) A |odVG: VR>ev3ݝ3`tkG_ n=I3-BNHq-v(@ q *zU-1Il'p<Ͱ4m}/9i^Ԯ@\Rw gp_(mkݰ}WF)ON#bBdݘdf|e%sw*249?"62rsWrd>c s5%kHr}&$yFP]AvWv$CZ'`9EPXT %O!e`ժF'՚҆uT#+hE([vm,]]M*Vag= Ħ?!COj^**c6vHdVd :OoU/zh Uz eH<Awea q,sF~6s~m u-joi)$lW,2M>&q5Be44 q>x136pC .SCZM5S=% 0:NIRCAgf2W%e=\ZK:]bul;5RJyv>Įp<'U9Y5hg{\Uetf^UzP)F 3 _(h d;?6B?lh%ݍ 99d#4m0tA "/A¶G;N%Σ]Y"y\6@F'JRnZX<+Im.i38o 5!P`y܅%҂ژ7_.iLIvcެ .{zɕ@ɧW13r)|⣈m& LtEٺ4SXK'6&%˄o+ /Blj Wi5tx}ns.sjCAp^Zzytۃ:9]<$uo@NR%r{!\oÜ!?Jװ}\iq=I}<o fWJ:v}pRϛB+n2gT, OHYdmq qUg*z X?"R4 6Wz3th}^_[mg jMcN(|5iC!&)lbWA(mlv "n2TV']\lX'}ȡHnZ\Lɂdkd@O]: J.S vO,{*apmsTBTtՏe#+Ϻ=#Lh "}Й#**5;ڍ+H#D(_x@A' xyick' n$°=vwVgPcЙPWJ%Q6Çmstbjhb{Οz{)fR+ާ!‡1-z!?>m»Ō:˹j0E&eGR_?jt•%% pҔx~@E-&_#RxzX%,{2g $)K*6}jϴD]*"&!~HhӍҰ|rOi/Br0_4D"_D2,? p<!s%ߐvbFDX{QT(*-s1k0UM]J%$oTj6AZ?!.Vmm\ajҷh8Sk m\43 bs;?CADHo83KEnK,}&kn@[do(VhZ)”C ͇lIe '%do}g}Hw Szy*N[F4-ҧOn?Qg$G%-8$ՍRx`16H''E]+ۄ#O1K06EVZ2\g'RZ?>p?T!gOkvEU[eIғKkqp-]ˠDWAGT]1 o`57z*A0SunE!m{NO@Mdv=d?tZ^1h<_^U* #)7Ud6R@JiJ(ca~u10/wpSA5V.= "O:.[6ce~ɽ$Mbլ%8:ےNvTGH!WH3Gx`;,ʥlP!T I_xj.7/F+Sx vbxEf6E~8Tߴqrċ~:b;ߑ[%Jb\6=U9k#8'1W`yG0+l<>Dn~۝DNQO;MjN͟_k11F޸H^F%V=DAK>]OU`Xg>jp1I7-nP;=Szg>>PmL# 3Vd{83,XB^ MJbLh if鄨hKIƪ4 jz5̚/qW2P$_ TK *iHĈwxa VYQ^k`9vF?kejtI;?5=`eG5KCQnנ%^%P5)MDtӣm;{%P'e_ooFL=?,d -"1^Ҽ,@P2(tWVb7 &3cޱ6ae(Gœ.iVPuէx+ 1J՜"+Z] &ãQ#Ή vknAwS޽`e)6R9'й#OkQ<#K1җѴb]7Ka#sepf~ j1ӰC>$[mm$KD!jW0f&w`npg$n8'(=WxL-ܷSf{] =S a *k"}4L~3Rܘ/آS ’WȻe&iJ hJkT`#/{~O*D4j+oW=T]dcNŷ3L$hh@ѷb舏MS"}~oY i# Sj:kC6 %{@Dow BFi S¥ f-8> .>yA:~UN2U?80&ؑ:iO894*dNzW#2t?T?"9F U}ܘVQjs,Jǘ!~0U mȹJI0. #)\2֨2V\bK!D>)5Q~(#5y"eP,EtU_wgclEH?êX>4ApsU3kCb_fy 䈒1XNf6e}~t@wHlJ29ƮZZ&i#Wl)~tagiC(~#KڧȄ{8>y]ΕS8&kW {$OZ%)`wJxG2MkmJndң$ Jpd|)V3D".C!pQ !"Dqnat }Xqs!?Hh8(x2_ GrTR]u0"ϖW"R7&6nBJ+p:t*+ؓDW3Њjv ٶ3U6?rZaʾ/G|?e,zgj뀊~>O<μIJYV) ]`,eRʛF(JwoS|Hr+O6\k`Q!q[X9f4i5ƭ9hf~)`ĨOMg'hjm)ԢgOM4S g~Rns0:te,A3kbw'P2s7 #ϛe5kƜL4Twm=B %Zd#)mM^X݆eYJ6EE/U O+*jUBDGs0I7!1Pv>g$ ٧AI#DLJ,x<+lקvT΂k;ƙr JlSZ*E+hvѝ ]|N]*;@4'箒z^ޮgu'wƇE.Rn MűuG oVCषs.d7{Y a4> h5|5,ViyrGkӒ%W o~uj1&s*c?C?l_U=Z\TFQ Ҁ>lӯ85oMnp솂=^TJݰ/xUQ>,wghMv-U-L%x-]{;^.\AZh]cbpƷE?$ EjWR!m@)L~is7䉔T1.6mrIѰ*lZymS\O-/ϔi2kTf H-2E5)x^}5E[F:[ԪZ{`+m&4md`$S7?}lڮTVz )>Z@RZM\QgXՋII++k'e5s3]}ˊ^>!m2(B{4MѪ)^ӴAbg@Xw#O*7zSTLm8VYқk = (th2\ I;d wV7ݷ)+ '̸!};N1vE"Mw[ )`F-R}pc 畕qh*ux]LW*ηۚ]ǽ'o6ҸWʺOASW 3q jFÓ|HM dhAe `kҍ5 L;Plx |7ܗ=0ZSwmAue"~G>$(qH"A *D5}HO!,wƐ6V@l*L}XFד M\"y祏ZХ,1z]/ 9̸ٌbv0u#'HW$=U/)'sKN i6wopBz]A:>M86tALi.f8khȍ$MĄk5x{L)'zDWh -01LeqR<[|,Hr*0d㻍h ȼ+Z s$ICABj畧-۲FٯZ?|q)= ٺ B tpR A[ >wJDiOqcKPmH[jTD>蘫SzaMoDVvRO0~D&׍vf' s.D FlѪUm/'./Z[.Hꂆ {t/8j9G㮰Ŭr/r -T)ЎcmCn]J_ 7cj.aN df A,[8E@2m;/\o7(|ujQd wM0~%nT68Ł^}w1pү \~$^k>;`RYF]\!@1/ U2.wÐUs0H9@\x^Ӄb4,ߋ+ܐҩ/ƒ0PcT6Z3 Q;޹uk5wCI|<Յ],izW T"Rc]u x4'+*H/:i`M` u3>;m0U;{)-iE([սH@5sYm!\Q!L YƎ.@_CJ{k6y[(A^jg.t։%%`Ўɚ9i|[;&蟧,z-d؁+`>)OcK.b n0pwat|iJ=H,TL&0AցͱےrsMG _=6Gh4Gh=BohLt\w8`6&!^}.`KlUY*p0'n@ ~0nX.V3 p* J wF^ "(/D >]b<3uwK\6'T<_wlƆ,??OuM ~Y?=/8n1|pͻAKz~ GM;:{ZU zmPUq%-> jN\)G".m-JTPgw{L䫣Ajă㻹z˔ǍjIʿe;T۠}Ld_,)=@f˸m[?Й%mRLmo RnvĠGb۲{Y;*& vK +#= f#|TޜӫM f7-. ZRh8᫸%J!9yE L< DZxYO}#/ץ;.гОW=)p(a<;O🶠vwbFDX/ߊ׾V)!;[6G0tlˢNI8q B0eDg:|M ʎ06b{Mcv_Y5vlv?_,U]+<'/ֆTQo۴ZhPdr,nxME _U<%{vͪ70!4]H+Pddor9Z,pP-&o юeE3Lk_=9Bڽ'ɺ^Ox{V2a@N] !Uut45>R8ns2x&. v*CpjꎞVٸof8 ;L5ݻ;̾iԎz.էĎo\'[B4f3$L0#\űuػ~TN;^5VݘN4nHCTĵbHt2t wܠ~Ά\R @6{ ^BAEK#ԫ_39]%n%Qgʏ_{U#*l[Q,咰T5'#l|z$vS>Ux8 m9F<ܜ;?\V&t @)=̌|M'HyfH%OX~kBf]OG4wZ`^{z*k.,J 3e]*c^+^xf,k."5`KF}`.ќ<!ԄVԛTR6ar|M /5DV(Z~eD9wrv;`lرǹQ+YQ0pSo@@`jV3wF"x?!*M'e5[/dKTvh[ ^ஸ̺&ߧ,{Ұ#];K@qh!f|Ճ~ŮO F;&X-&+CkqD"&cDҚmu&-G9/&CԸmgM2nv\6% c?~u,Opu_QQ1j-53sԇUE୐25K,/xERǒ6NsC3 qTX쒳DMKq r}`EYSX8 68ONS_67(Voj@@xu_M/!M ts +?רaA<01pB M%F 7VbG>hюݡd} SvseNe" BuQ1b1y1Hַo}Z*S\X]H]h\۱J~z #zL K*q}s&](W ӹWV9)ǜݧA}N-T+y &K.X, ;4A.lyJ^UvEzԃ)vDL*+ϯmvCRM #7w\aUBIBsbAn?LPkZ  AIW%]]2oNKߟ']2?bQoAa; : Unnyu E&Noy_PM&6]n A/J`:] JicKYa;\Q6iTM=Y-ֈb[ᲜҞ{ k0JC+!xUu:) (C:];C_"o]05Ct]S?VX%9l!g .w'[> /"&֏㺦m 4b/Xs~_&E]$*@٧0NabղqrWqz-a%‰W/LP,}3Ǭ)8.;/yC$IvS7ؤZk ӤJA'z˰I{bgWsB)!b3V`Sz|x%x;9l,cҿY)i\|ʈ|JaD,"EtF+j %?tSP#c$ 6(L7ao4ى/&Kd/7Y);V@'T^^Br0 xf22̠*NOp?H1бTl7&TVD#:Ỉo/vŭz-|N';\CZa7wЖҪsb%{h'\(?#ۙW>&%~8H+H4mfaDL {.l?ZvX\p^6o<-2t`<47Um-2_m4$QPv~b1gȓtNU?. zb)GƢ?hޖ<;CKTm2\1ׅL#Vɾ[98_`uN'm_L5r0tDHy9 Kv3&,&( B@m\|H2(nVz7d+35h ϛJ~0fаlO<7wfXtJ‘<&S{7@<(fsZΦ}gI pn%{(tNݗ0fm#@f6|n"yX^̡+ SVO]ɜK}C%WPfZ_:> G}|p/)&f9tyDMO0+uan}N`kd8nUGvgCieiys-5jE=ro޳ .zO" <} 7u P߱yb5ي ]Gͣ⚞*%6H42V/AeĮ|5ue/H'x̪ܡӺ 4ኆ|b`1`*b՟ϞAȵL @tw"neRB3xiQn#gy%6Cb4w|Xqq4,k7X+(@ ֫`sq PGW * #g,eK\)V!2K\xHh] _a/>9:H\k8)T~H`bxc3]re@48$QW8Tͼ>%aX{(hJ}'&!f-K7(Cp?T =w12akCo}vgX`u1[$$iMN+5(kF26ʁ4ٳ+s]iDR G5?bIKJiZ.-g+$ &G;//Rh y@Q\f%szx<0(hw9J9L;G e \[XJL!v߳R>"b/#qã #C](BZS&7s(^C+XL>* 0d@Sm *{;%jF#;<1֎`񘳣x[$Ҥ'oIiH&e?O>01,\sc,WО=Jf&X1ڳe 4!"Oy2YjJsT)ǜ@59Alb"weNTؽ:JVvdhߊfm(Z. 5plSД%ϚP 9 (W;SV nak/ֹD dпimprrռ9l կרwvrݼ`gTi)dw(~pBx`g ¹NsYTEX{REZֹ5QdюjqU]89XI>ZLOsL(0Von@+)/mq~%JP}}e-8Юyp l"hg)r>S3sq\},vU!c_. q"| NƑ|V,8`2AsEɐ;b* &A>B8ѓi$ $ĝ}5X!Xwx cHPoKy}';m< ~r:C=[JxJ> \Ymm>Ɔ# 1TJ}"HPvjD& 'W꡶⹝1노pmb3cz+ԲG@3gwF'ݧ4 l%U]~+9Z1YY2 aţ7ԋơZ8KU8PK` oZTU J+B2_8]*5{ ChC>NE!+I?T]a5W=aP3oM6_W2LC9T'fjJY[,ՄSrAWqS4҆ܤߚf8fj./=YZ7G<٨iyX~85/{Y?].`1T4ÍhHQ lGesB"tlG^ aneIxQ"TAaf-'8:Iu^bޙG0v@[eiP5#&(%h֒0h~(EUN~0I>wNF'$ftCS{;1gׇ0Z_Uely;ʴWchVXeh:ipJlԼ;#KFVcVAă<<^:վT*Y䯻L*q":jmF>w PuG;$]>apPj AFbBРw iW#2[SϟKi@uXV:DnxJ44ph>O=UgF&R1j.rt&~-HPBYKCv ^}}ϼ^@/*SܞB&)I2DxVBC KQSMx0MVy'ZY4ֻ7CŦ-r*jCNPMDl hV^I4f2#"ŞU"nD ˏdm!;P!m7+B@#/LDPR]a5Īn`~ztBsR]sr6T|̏avo(uz/-аCNa3d^Ruo-oSr,3^V*ClW/8b j|gG+~)r/c1HK [FTNYL7H3Z@BYSy]?&(Y6+ȑWޚUCC#j((AF>bqp>/5JXD/?F(-nuPPSZwx޶F򣹦xee)m`}FrT#25AR}(q[.+T1%F~7a1 931%Nޖ>n2΍OrqeU.# T:-(Vn^^[Y :qx 2g9#=F8@VK?ڋ!; 0f ' fFe.5 bb d>{%w&wEt}ˠ"[fe}HCD2n+959N?kֲ1͝/ pC#!'}@b[U,*Ng[W2Ulw*f]_nHK\TXQ7Fɩ"FG 1z#'"WA,!@ 61Cs SڪŝZ)WvQ.0ܘ V?Ù,slM^ε D5_-^Xݽ9= GCm]/1r):W "/BQ(N*q-)* S{x3UeI戠'r2KdCno٦5ï)'-aL< AfO K)#CRd_)/v< b1EL(mdm&f9\_ڦyAA(/d>8TFzQ~7JىJ54vCɽ//-߳w;5ӁqN*{TO wXe1ΈT950@uB~@ea/4UdGx(s) RG8]C5=wi͔tX*ƻ6)_ zg-"c9Z8N<~dr̡MTs1#T._U-ҁL40ׄa*z 3q̀HaS1o,JZN}bmξco4.39>=$i[v Vt~pn'#0a@J u0NUyp9|Q{_eAgR$~]fx%bmeNEu?V?ۘwTܨÔXT&2 t8XsIz{s>zi~Tp1g8_;WJ9}P~SG3&dG$!ʽqcu;>o e(V"a+!4kZ\=m\Pt Vv@&RGeV%V?!ęu^yr_B ~Fm$XKM©@Ppb3rS͢Y'hqxuÏR\kl` GGb_pd4S$E2W{>~U,8nYo4hG~C7*S XDJm.NKGm-Y].pcלziqh|kA%\n##u |jTT}ւ,Jda&HqaŲh w%k,$ 3 XIUp疿GBKYgs1,Ԃj3{Ԋ€!ZIQ]C]` n_ 4 k=X5ۚvɉ7TLLeBNnq L$ȉpdfT^G><x[<(cN2ŽL`u"Q  tpŌS>zhX\ªѱ"3 :(Za͈\*YH.64<ƌ?޳,iFyWWRI.# 0\Mr\lg%;)`B-51LlR$tmSi!?l=vz-m̏Uґ .>$}gKsM[ZmتU&yToJ0\T|I@L~/T:{]*EqB(Kĵ48ŠLm4HWczKآ4v#~B5vl>XڛN|=s;rá&e0\CvCBQ<洤1'nhk`iJ-Y"[!^+|G%n*BT@nr ւJil)d=ӱ 3s~Ήc4[,s\'JI5;JXQO˲\U{dttȻ 5Z!nMA=@P38#]컯BU3NlT5$gS~p@1 D1}%Cr:`yĆ)=ߪU^f7"b'_/ZW(kԥn@I-ZQDcJOBw$,K[#Ѯ+3B>>ڱN6!XZ ~ܞ en.x.^by"]Kq՗|!gN%ղSh4iONHX\Q+r#tLU oO.yy2^ܮ ë S?e^צAVoC _thBꂝDjg@KQSMAYgX̬xZ xj`ShAc;f\YBJI1"&pp&wbˢKPCgJ%y& TzoӘ補m̧ju/NZ]]M,W:Vv\99koR>Q% A r"Jh%Pe>Z)@0׊!evlk>q,a0f͍(}^noMHBVu4:hp4\RóhfI0:~.%@+*Pޗ~\`M%N-Y>N3y|)(Pz񠆵(pXҖ6cW QUt͕c>JpP8iߞP1lKż`M<`}N`\L=aܝx.yOHxuy1ɼy-I̊%OѴ`Cb 3 lrY9dW;XP[4@:39>b_w'Pbwʏҡ;?2&I;Zk?#>MJ=]ila]Lsj:hx TbqX񌃣Ԟ,9 _r_(rN/oٿ+ bPrG.gPr_IʗhB NT@IufY4Ly1VZki2"7pTm2_c. VzxN0xVPM eU-=MnjR!"Hݴk׻ݓ^| ;&B۱rCq Wwr mV3aB ^@uʱc꧴,|QQ~+s4›u>Ek E9|ZZi`ڎrP0_^;`\K_-P*#AY8إjjn,{|I:ɛTWu}njAps ])MᔡZ%JYTb -%]l$B4ž !h.i@:C7ei˼x ?H@zlSң0Lx yZݺܬ$IkdhLZG3הc4fHkf=?{Ĩ@T:%7F@P\X}wUsVDs&},4q3 \~;M1yF引6y%4/ _~ZN}~BneC3(иmmZ]7|Qlq?Wwbrw;:enNnٸz\Z"{o\m4քY6!Zm&@\Rldv?)$D.!9L(3vK>a1f0.C-8 EzK6͑<~ [kDQQ8X]?=2͉c8VCL5n>-Sscc nbv5w>Fu+^ 7hlHL%N8TU4cɚ!đI{M}yXp>K!kָ+vʏίUP6 %^s#POunBA1Z˔, i&U%wۼ\b©`LYZ:e[=՞0֩DzKA& wsFr;E>țMk?q+鍾oY';1ذ? `%U5ݺ#3mkӦ__)4ܿHV(yz'Y{i#ejbU<2 )IŦiTL$ T7+P3 (Rn@q~2/`2h10[݄!%*K)MXhqE-Ɂn5vlA]~ԀK o:ࠆ]ׇΚZf ds`S6icˡҘ>2iwA =pOY_k=GAE)ʱpgnQRKĚ6moTp:y[i](A =z- ڢubcFˠXwP)1繠S3ݱC,3Q|/Sy`ÕlU}v 9/4_eDDQ*U,|( Ǟcǎ [KUApHPʊB<mbrĵho;θ;{kHL:-q>Á^ڮ8NHg+Io){xCPd<{PnKXKk0lյ!Z ^HKs~M6;%{O{nO  |E$@s@BlO`ªP*t]gB1deuZo*@eLN3_cxȁb׆]6D'k;߆ o9XPiY@M /EѮM$N :vYRx`R3MXnd)Ԯ!,_;FxpY,S*OBwwx=b  eSoX vٰi%=Յ5 k`,n(yYQb|U$+&G:x98|v1/7_%vp?14ݖpL .."q2ɜwYSΚiɚtAq{XzF 躑ǬBq+,(gݓX Vϒ]χD>msmF\JMBe^SX{}s7cjͮ[c ULq weE\7[PQ$!-̻( m(0r#sT)Bcj\=ɾҔ\3-`r/*uJ~5!͎W޺|[5CS G\s A7IѺQ ~ㆣTF%\LN^:pi3P@IGv>vA \_mE2y-gxfl/{JnC0f徐8eՆIc x(@x(_HtΠrE@/7ieIS1,mŇ4Ϳ*q{rz6B^΄'gR^^pg#g{ |S]z>JY!fO;p21Alh"m.*_N+b(+wfH#Rd"0wbE=Yp{bW0{59/-޶wOEiUxvc[ ɆBоxeJN7كF3T7gq/b`\/b( scQn 60^(=/C&0CŻ#)s/Ö)z^m7e}FE%d u'xhc*“ 0k< aEW]ĺShd%"{a/ v[uwŐ_seF9/Hy]1N>S# =C!Xe7!1[I}rfyY{-\T'X^ω@ͳ.DŃ<_$2Y"汤 ɶRuO|ߞo+, K]Ntޔ:!1[ '$6 / ض@a}qOP+ 3˴"w4e1"‘jB+զBD-BSk XIœmVi^O@=vo@q'*[-h_7D'BxX=t{$`I.H~3ud'Tߣ-** !hA@מּLAV?j CpVf6 ^TzZws h зlp S "ći⑵f`' YnOf SH;=F7q25?o6V~ŷu[auOD㊣=5wVt