SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 xP%TD$ ]/]HOL-Analysis:threads=6elapsed=318.118cpu=1568.476gc=56.712factor=4.937zXZִF! N$]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'o#/1U:IiDb T&,P8A1%wqB&q7^fO͝}c܏:^@Z)v@j4 ׅT2|c+xiЊ9C>MĜ>nEKCm\C/R%nfOMxe`\@6.1ZZLAdo6jԼ= 4p W7nNʇfI$5?= 'ts!wJGi)GAE-z{ˋ*{uz\3zNPA*b` cA!P/!m_ܒΝߡ{> UaI 1p6I2B"Hbw<3hI8X{0UAxNgQ(dq$u p MD;'E֖ rpO/|;XUymV 5Ι)Ր\ |Ӫ%G] M7R.EIF)q=D&Ĥ_+{e5 C{W)čzJl_( ט2Fi6`I,bFpƚTSR*yOS= ۦrzQXkwbyCK㱚+ qEpc͐xt\dciVgO=Z"$JpLԱ4*v-9S@Y;*ꮶ*2ˡj+"&xSw0ءҚ G DC@[R$BV42+~[㿂O݄G곌6l9+QC\ fMtikHX̴B7657zw oɲBKpv*B~/dXdۉˑ̡NLP &D /9]'Zc6!PZ#>rvԶ@(1e2oBu saJx(H"aWd4RZñgΎ}9~MV EeW\c-g% <${C@7Tt:X>M7̯vFd_ ̘vv>[ׄD]SNfIM;5-ENO0~y23OՏ {')%dQVm;Q?C\0Xj,BQBZd@[Or7CX2".ϦiU̙9?1Y~, "F7lFʖ'=~sp{5S(}0l(#ZD@s La7Վ 0vX%WK<llt:>adZ^udy;ĔSәpڠ.s^WO}MTxXqKRu9jNBWZ/Q, = ۩֎-/$^0Kbi{x^Q=;Â҉ D3?d%YHiRQ,K?2NL:u?nsAy{!?7i#3 2{evB%"3[BF_Rڮ   ]6E>znvP0[j܀Bdlh%oU17&"ɚ8{ܞQr|? Vv=jCRg+#-+ɦq#q;L1HDApGcE=gwtA? o OmvvPCEߒn"V\~MgxBc))# *fEu^UEq45Ϛ})/ԘiRPC!ztWr%pG͔.K.JkY3L(DEijӭpBvyqc $^mg=hMFxfkDVrB+G$;fQw^~LfֻFN X _lC3Kйfo@٣> uXw=fpR8y󤑛`a|- "gh@l7oFԍ B y ύ:cRGN(&`7<{6U ۳E/> ;*۝1ZR}&㺢6Yf„ smT2?>;&J% *'r{ڌ9 צ?wg^(sGֲXv{qazѬSx1o; n#Х$ 0r2)6h0 :ǵa%+HzI\fGԢ.14P=GxU%J]Vli[ӓm<3y3V?ZPX2-F %榉//C~u>&7p Z->x[Bf;+2ݎ2R@P!X.x٦H|yeװ'>^aYQKFz,Q4fp[/ +,AѿD9Yߗ|Dw =Z@W.cbG}7;2EY&T?͉qFI>g Y%شU3$j(>,붥[{I5'ηGwհ%RrB9'S>1~صofkkk2 "cӟ 5hq$J6 @PlpgXpч?dz^M69`TtZ֎U`"͌·hH ;`pF~O4a[5/OmYhQ-PY6wM1h.2{\3 I(ʃI9U.Ua 3!cI/ß*C7Q)ZPYp5vۮo _^$S1Y癫3fY񮔳k|>tqi{^C?_ ,4Nߧ *8g)yCwfl$$9xUL`%K: ("Zx:G#W _]exx*cf:y!SN7 :f<;gE vt]eNoo3&?'ɼ{]٥ @֗0+;xᵿ8).EMۿ#W5 `3-p<0gMm*0i}ȓ/a00;$QUx$h[+T wB8=ŏx#0L2V@Tz/B)a$mz`fe@NN|cьy8q1j O&wO{[,]n! Ŀ4̛ $`c(?>47>DC\Mޔce5VB$q[[6vGEIK]$8/ d +n#@4kR]D_~lCC:Sͦm]PV}39D.DV __kسMUVD tTW|?ҌnI5(?@GXDYD9ș)Cb4󶥪 )E.~-0s9D%>bv&A2y6BSR^gFxcW:~@|*e9s;ա}@%$ցN%Ug0{f݋63hzF>2#N3@/]Qv;r#7 XJWgmq ه@V;/A2D =Iյ5obS[*zy4$"Ϲ0Xd5Kaz>U.T~#\Ir LٍrzVDzW9Eu ai[$[)>|4#EL\))pZ-r ķ,ta&;~׽> [´RbsXMx!V3#+ّ2w) hit+-oc #z+!RNBC;ܫ7}ޟDnȯ4*d0 'n|e&I.qPFKK%)ݞE̚O<)Ѯ Dدo/NV3qbm_uT.u͑ ?1oE|0 ~An[-E\EKGށmt WoR!ve>̀21mrshz R ԬY%k&ĕ1׌^;K2` |m4nnXBKB/S}1T7_ӷNpUݡj>2VGӼVqyu Y&n *uKH|cMy.ђ?#mZߙU֒2ʚp4}w*"7 _4A^2+&}dESo@k]1.@u.KzOUaS橶S=Dg(NF6FCBu b2݃\(/spY'H\'diw nso2 !H.DQ|ۢ{ \$Ց08_3~Kybo\ǐ,2Pa|@`;$")K I՗^OgUqvc,j|鵍?z$d6ϳTqb)ZcuU ( B$n"2_OFݐX/| m1eS7,6ݬ #JLE\i[N1ZkhsnHCGBƼ,D]2òOUyиeS=Be\LaOnd)GCt֨DcPf9~F*aOqbC X:1Gy73,Lv70¹z.҅WJMu&wT!JoY>{n[ᰭm3@yQፌ䪼mR?yM`ZD ⌾IeOæQH9 +*駽zUc&ED+<#(L=AvU94أ@ w[o4(]Q.W6ͽ m΢kt|jMC6 0cK M3%MwBa)]\/8k%d*"k+ra8vcN.>:ExZ9Qo(,?)Q\j1,(*:_,pCh>?Q2J.8aSH}.\!VVwp\z@O\r'-9zRҗ7qO*êxHɀOlCQa"{&?d.#"EmyљZMfב\y:]|7,D#[3IV>p3NcgTV\ݿcff =d&Hd쟥7d ݾLúk )!'Lŝ6a.RƝd~W^t&^^8:j{;C?X(u)mS -7Xz4RN:cWv;"P?"qJ剳P8 IjPx6v kڞr]P5Dl\?u(VP==,nQu2YcMNӥZ=`]z'R9(_Pcn} E[K"Ӿ!WI3J}d׋@nZ`޽Yjʩv9)O8aWj97 4zEGSw!Zb_mI99Vu[pBU+ m3A*$FOt/rR:(|fz&-X5jq^[qZgoҭP<~ 24dEf8ߺxON3<I=fC,?-|B EL{J 1K[nu-d 2\Az7}o[@5CqeO"upXvJz26;} 3]r 7v  BcȘׄjD/W]o!Њq@F̐$kM|&-0ѥ\)8@(d*ô md:o铻WdۄESG.{i, S$4/D$BqL \f󨛬mFGmh8w~cXΫ2oig?3 Îĝ{>Ddfso?"aJWо:Ka5Qr W|V 5D$2>gճ9I-Dͼ: |ǏtN26m(ϳ^a"'/X%:LL/}:D:[w'4MHcH_t.vЧA͕]l`:pYAXa% - .oT2RfX_Fy4@#V }ڄbXk'r%B˴?1 F!z4} *MumW4sΐ 81MOMF6T grzyĽΏ_6V;]\i{1{~<9m H-CMB۪J*kwxD:s5N`P+MYa݈A T6{U3 \.Y˃+JF˂"sZZK3:.(?RJyKq53<ѥ@V WkIhur甈7E?.&RfA9A<²eS!ms|u<'z~SJ>=v?QS̞v9ryrBwyAϢ|bWC4zk=@J+F) `oILx|?ؑ+T t&^)'RZiPH-Ocu<׿M<­GMN,E 擏]+if#s=5mɱ0X:!3׽ TJ7 u,6tT9BȶcRA<Sd./2HŞR!c'R#̱ZS\( 2T(?u]cT0#$/B= ]'4[+0={ 0sV|Qk4V\pbԿ[@7Za-tCQoigbgQ `|P=6|wFxbK*8B h@Wh#Uy]midÜ7*X%q[!A)}m{ WߎyoAR$۳܃2bKXJo#׷nY|<.U*0vir ŀLfQ26&ISHPݴ '̬Nqr; gcL>UQ6&f `%oˇV\4 `6qJ}PEdsvm`MKżXV$e^ 1X?#eO^gb 5͘] (EU %?Է#R]o ~ySNOQ#br&-# ) D6RVTM^P:@!ھ? N\Is{ )<7;(Ζ,lQXܘ3Ψ)qyr]yOVqY_RdA}?6gV +sSB'PAT W7p/B!8. %sG"ژ F9.W8_J'(x@/~舄ztEȊj2ݴcM\HMk8Bæ7JKI3OS28`[$[V^b8f|K*_ c _iV놧0Ci3y4,\X7:p@JT ?amrw8 D(j^=,Mf:lMM"Og]fD5*>C,9\ 6Nb. MJ}]M!P}u@C֦%EQ_ _i_RĻgNj/T S~v`شMa3% oAX Ri07Rǖ**t[8c[/MBE8 |sM΍$qπ)`VV.]fх3Ha$M w;qFHm!s"^7nb,NR]A?!NMy4,ŝDS!|(tcfJqR7&GoT Xpje71$vhyr$+yߤdyzV1H#UZ{]G.SہiKY/6C#vPfK h]h`Lw# >U)T^wjCɇfȒ2/D(s>wcqxL7w&ˤ) >^xmpQf@Ջ p1]!kNaiРn4b,eR+bOS}طo;p`]*aVbθňKEovCc@SЀ Xeeܑ!_d7ɺZmy`{FUpVfy+ؼ騿eBK芿!n@x87f\RxuU]^a~ݟ("u)8Wfnö́o:E9pK>nCL{I]rࠡ)J'V8A3$P~7Em"gKt!S_MdP#Cp#뼨Jf*4 9[W&rDF}bR3q$UXb6edvc]{W2ϔί_ݺJr1A}"*X0IDkU@c#r؁z:VeMEjq|4\cra̕d)$6d$b߷3{?'ۤC4hgg!d*_,g}\zߕ;jN< {O9Ȥg޲ Xza6kf잊A_o$U^u[„#UF>*?SV3w;:|0u3M}%-ܭ vZf+C\+ !I"GMs&fxDxW6t<6KISu_@Ա(ட&rP[C[93PhS$ /ՙ:˔׸%r}B2T!uJp^-&KvԜn+;Fq1[ϚE4ͮű۴x>lrQonk_OֹucI ɔyf*[1Z'Oԙ\Hq"_V/hx/ECҬ#p eFq:D:~X.__RN`O/\ LWᲾwDC: `8]Cp3RV k-9;y1jw#t%^JFYjŁLӯ5P2xewy6@Y=){*/`f^ 9w6Wgyt%RBN~;,I8O2 ~MXбF9_ϑ^]tD^JaT '/Gȏ0'F"yC/qWΗ NS(Ev(ӫm~q 'NXab' js6馺1^ߚ̱-y:`]AZՆV]}ӑ'|ʃݔ}㈖kd.*{]+.\ _wiLUiҏZkGy0[D]8^_mJ뒼J?d+Ya*eZLpٶQ؀up_ONǗ8/SS/J.D61]cñLTW.ST܊glgn|ŀFHwBBr{JTMv'x-7M2dO盝Ea>_3!F.sK o=V6Y--8 P3voƵe;,avS(GBX ѡxcI^Mh0'Ee9+YCܒkO'u0zmDEx0r8܅r+RHN]juVb`n+?", Q" YU!,-sV熶A?CtL띦rOB_T^W!SKG}Y#锶n'%6NɳזѬ3H|_ܻ߫-ΡVyՄ4ǭ 83ƙ{Ywnu^n )K i84 0_S' Φx]lznՆHמ RJ Qٴn3r(7'my5O`plě<^)aMgwE hlKlXɫwYfggBCPZMmp@xB}k4tU<o5d #kh4v읱\\8w YJjO>LyvRdwʧ/=*5$t)IV.Wxն]r {gT@M/R(U ".DFWVhnZ=\ϫ2p~UF3v< q1TYj/뵔/4ǮCB0εkX] IC<|kGQ8{j**qqGлA vz*};2L̰4!t5w;^x&$iUNP=m s * "U0 DC94+ UJKauτ޻4do{<")h/Sy<( [sNn1S_5.$~#(v:C V/ 3XW 2g7*!=@|}Ɛ)Yؘ5(q1vLť10w࿞\D'hҷ`܁ef`*?ǟ푲<4< t)+f-/Tq)Ub2/T.6$uJb mJW ̉DxT7Ւ07[PY]bdf>:Nx=Jekm*c6Z4).itlmeH؆ԓVR.MoiʹCz=wM?a\PT:9 b◥p=vQbYb肒3&,/3+hQ4nv*U%`QA̅~In {.PZ}]sM{:'o~' 6 6\@i42`ePv\Tt*Z#"g,dJW $CSf~<0ugFנ>*lZpUܲ+~ BUZiM,J+;?5o['V=4VB.͛9/zln;+kKW>. N$[|y_5K%Ve1|,2q*҇e{ֈ,7d2PkExm6jVLiF)ښ 3fݨ%whyĘiYysw*+^%/TQ_M|NRa/c2WqN׋y\>W KtP ^d :WݪTꯟc\~m|ؙ&]+K<F(f DM%A9Pnd`jsQKWተ2P"LPMk8hQb%5 /!&o)ZIĥd.cvspT>s/~&a0.m/זgrh(RúS<1!?v.P-[jtfDtEv]Jy~f;3Ƹi =ѥiͬA?! H&^q 40c6eeW{+t:ǩ=7{}`&Z2^4`iGR"*[b,tՙXYIFxʵž'|KtJ)cb д㫤q n95<kFlL2t_/G/U3 y[h!V"I4Q'EM^[{t=J5.Mu'v-RA!Tmyjm\\l-"נb  Un0 P斆xn)OssE䋅0yla6x@]<q]oRwS,^m|uI>x@ڢ$l_9j`M h䡾M`u$ x9ݽm6TZaAjceG[T~7>NYfz)(x727[n-7h bO*0_C333s{M"%f]20%}P2!=.ȌWil03ELj(~W[No':&|Ϗ] E hX@;:AYQ C& }>8X`TX8Olo5*D^4QQFI3N81Bz9i)5 ײK ɿL+h4K ߧ~۹% ֚=pJaz=4%snݮ`1LrKz%ՐBT 8o<6UuRh㡯 JeL}< {j$U#:ҩ!CH@1}7^Gx<^n?$F8[`J: kg8q,yŁTIj _;Ƣs)2 \pW(o`T̟8pt9!R>dk *yuj=+] l^IyP,s .pNؕ8䣳>~iE[Y2ݿʖp?2[H'YbQ3TJ|SzPytC'FWX BiqӁ}y2/כ֬]}uFPKAVܭ, $ՃB>$=I*x NdѲA:h9eq Q+8 | 52u XXOAfaJWptT`i@ݤd3 -\R$ ^qnp;"y~4\E$G;Tzuj@;BB΀%`KXI }b4`w=7 * vMxbs-,]7(BrQbڷWhEߌlO >35&)'{Ĺor=M(u4-l{ <۲ lK&3'TٙqŘ2;?IزkL:ݽGqlUaa%XEAz,1=Az~a1hм"0\D:l=l!K>z$GnJЇLvD|-yzb}d]c DQ F&?p17w='+"K% Д}!X6r{o )Oo00{dC*tjqr*Yi1p;G5Lp0Ot֢i3!f.}0QƉ<T!& Ϻ x:p+UP6P[lح}mP17$9{Bi=M.7~4) 僚6q>?::&Q{a1|T8b˲XGrAJymU-%>ۧW^/5ۦԹ ^Kˢ83t:||0 CLGG31kBf$O 4QOw ۬AS-|P!qXjœ1"Ctk%̆f3TuozEWۍXi>2H{5Gqgb1V b[ i9H'dV-a81rrR5|:(VeęCߎ?`71/0;[C9mu3uj{:|b~m.z  !uyzLJ>Hכ˼ҕ~@Vp?݆$5aA{ޏ[es6 2O<ٲW⸔]چ>XOi(à=juǔ#A8CY҇% Z%en"|_3NTmLfVaHd Y&`JwwɲCqî罢&}Axm8S,Mr" >IW͖~:0P II9Y Fi\^ad>"3ZF|ӆr$xeHm >fօ9F s:D3xĎ>{qeQΚ+FC7g:hbt/|!m>p773I BSKNVuq#-tifAFY r;[* &,(Lpߜf uKX(@JB!.P bX9I.6lCx r~uz1JOw+US{Smw|=E!7}\pi&^|ٓKNJ4EŢ6I p*)sߧ5m)0zW S>+JMh,ǺQ%?fB.P7E+] J/ԿzMtNMgYZ7zXZִF! k]ŗXi%EX$xlUޘyjE *Y#Fh2<4->ԋi_wAA%iy X$_-?mA,?L`(u11*y!>iGG^d[sd{/Ғ.#Bf4=|S+\y 7nٵvBBei|& u}e5-!ռ`ZJ9r"6Ҝl9"V{HڳD8j;Q2uꈞ_AFfH%NW(5OixDSL# ~IB`NOh0Հüy\_L;0rP& z8i%Xm7_=cocRc}̟&8î8!cЦ1V#SyBdv֚:#i`hg{tKN諀w$29¼Yb-b꧵N^ *ʹmwCh/c-? 6Jߚ%EzqDkPT?#Cn@S}Ԩ؊0u/)E|~~bN<_ԫpo EB@wEd@ iDGVkpaPı=uVUۣ|*aBQ `G0^xW4b)sy-Z }ENZ b&(:Gɓ'ͬj/@kϘJ*m)/DBwna#YFji`W ˍyq͚ eӮer0xPbeG k. s eM~z !Iq9Em1b-:bj_$A\Daux69Bz7Q|\uۻVJ: K:.b]ߢ:|3~Byuk}Clh ٸQ/<'F}xg,=jH[)a~}'oƂ`!2s{o7=ݕ3ݚ1;yyaTt5ny{Xw6 rA*ąGdZ7)9εuu孽o;zOX [xf #cӼ5UZ)7 ^--h,1K`Π ( 9g`:/@IK/4?X|mK12׶A tHBB ofi%Vt9Ԃݶ]n.H~#nZ'X8Ȝ~! xajks-h0",ѷS2f|_-In4ק|ֺ+Ճ1/$+;ZB̷/ t`T3@eKh= 8(cpi&|J(؎,V̠!T^ 8:eA XMI0\sb Sa@$b 3;Y%f%7/ 9yŖ:R.h?d?͠:=Zu ?eqA֖d?~e cG36wD9W2|уT 7qw˶KR30 Aa:Osws^\f}.}cnG[Tppq}H]\-͚TvW/:{ӎHF0F~y&S2r9fu 3BEv)dSH#e\zv'1ZTDjb!)Ō4UAݺ812ɉ܀Ef{+e[1,u[UI{l0K嗇t_bo>Q|χvC[=nrgR"bYSG] FyP,JMNh38unԀ%j`eHsKD4KS t}DF`)AG_6)ߓ>Nt]k/x߳6E6%swB4Rߺw~XyVw4D5 3e1VOsARϯ{bDYoPW#].Ut/]q;PLj+E SLw0wŏ 8K(.|?ӣ2!>MO櫼~\$>BlDE t\HNSDb>D\{Dr*xi81F|!2Mt=&*mڙx,{R4]*!`#[yHP[M =|i`UFbܚ.6SŎiy&P#\gμ;"+sB@/Vҗ1StB0|yAnKGbM ar#B(;cc.{Мe!q9WBt)zf[dn@K\5fnr>ܮ=wYl~ 9"y}lÁM|Rb ׬LvSHe,*羡t3ő0J:v,#r m@ Pt5^sgh߾E?4k56$T6l頇m,buRR@<49I{ţVfo{G;@ݮ,t!%IJ}y9_8!YΙ_dNKGL#1@~EW&S*j.~E]V$7/{V!xu^2V j֕y6KhF:ٞ<(Q)/7ޯ%>({8ޛ"- D@ N-Sn=#T^z.,"i0; 4n@]6"{~_N%%u,OeLDP<ْYM֜tdoG(8NX+RM2kMy=}Bj\i>h;K7.EE:Am?`ᕒrأo-ͽi6.p'&cJ=ɿ3?@A,op5/f,5[~fvBN06֎d-+To5bFZ5#8200vS7Ĝ*{ %SnoV,9+#'G"> 7*BɆeu_Eee,<#(YA3ΎdkL}hh}GN]unjTا>\; ⯖جsy6 ̬0֪M754 ޅ(>=7k-+#D!VsX=Sq ~&C G LJ;f͟Z%] dMގ7جU|<M0ӑԁkIO]QP|t~ J_cahF^++fa. ]oO$1Ɣߓ$l4ӯ<|dͲr0&6p<-hCϊ_}2) $\\!ՅP nġ6D}ȲOҸl-6N{z1ԙ]8WL!; Qz)@ʁT,͗\\{Vnè.n SHe:ő-q-wٌVNpBZ׷l _Ro+eG&rP nE)!<ߗPK9偢]Zmn0Xz{y (M!T+J״I8+ -OfUs@YN7P=xտ@hvsAS>}_weAs-Opc)+"1 ʖ]™A 972P z""wt`$fp|U7sy'^; ' *U3N',ЁR)%ZgٞHܓE7fkY{/I_f{#Z9A#Tɉ8"ƛo=HDդ-gO=GL=Z A fԊ4$\mZpRJ$5~׉s=fO` GG8;R[iC3T.!/u+!PBUY1Jk@Lz !`z<|7{!PwØnՏ;p||)s;I2 1^̈i!ns e\cr'x!TyB-}Ս,Ҳ#9 G:8vڀ?+P+u-ݒ8?Gy1bDb$ +㻛 y?=Kgf {f`ӌKyJ# p#~,L> q~[;e8pnbu齾Sb{Rc')"i?]ohwo-= udBtC}^|%ۯk#);pFNQs:,FV G b'*[v- kZXR:`"[Q?%)Ua ёVNBi|rTd&aH@l`oVP ?.H|xP)R2QmAVr5S&Kb(c/yK >V]t"wzEev q.<e[|,GRp^\;Q/娿J̑r4#''WfqNZ{}Eɘf~E"42mO P(omwb6z~.\ѭ><^mz9YEzO+H*74|>6/ԀHi7)ϖ~)Лzk)Bq(Hث9HJ^|ӊ;I/I֩ Eػ A |'f挴Y)cpO.i DƬYI?G~8|~ <^Eb]&>>yM#hTKCL}5ңygҸƁn} ҅wXϱ0ox7W3C :ᾜ1>jwE)n蘑TPL9M)kX$~&6s .}S˜30nBҢ Z\ۓ $ڷlBɿX H|_ .doM.^/,5"89$'gX+YڑoJl$=DA!RYSiʓZ,ɒC3{H IFx{ZL'zΊc׷91-Mss<9RƏ/4zojDz\Ic4,2.R5q=> 0NI]wxf?Xoq,i|q_G6H-ɿ=[.Fŗ6T*\@vR K r1Rt^M% h6 lCiY'sA>|$nQ\h׈x{=QFb܏M.JM&CS8|֥WM>Bƾ\NV>5xեL=9 k^nE%`Ͼ*~2{<Ö!r<] Bbq~rwJt(9׻sq!#F~@V0yvqa}J$ %kwT&f!x&u5Nf]mIhf"8߲,0aAap6'_;;2j&|8CKFf0ٓ3>\lCX!1r: a @=,ö_ ,$J3OPX6Ә mw_:JYYkj~o!1bF-&fwFq:&T/LךbC.3O_qK(آ zD=u%6 s`wGkx}$ 7G}|Kjܰ V 36Oz[!VRGۜmW_PrBގM‘O%`,.$,| }j5 )hzz{Hޕ\HٱP^x51<{Y<=k .d>̅Q0?쪞2w8QT"H-COqVU&FHKk'ѨJ&$e"V#C~ q؆`_/'  y795f ?iߖQG~BDv ’ZTr 8a|e3~s *N1]jO(ZPu^Dob]EŜ.*LJݱā40Vxqg"9+ו3~+YlPD"7Y8৖Xdcܢ~3 rR*cS{Y>@C.W3M>v^̖[3/x>DnbTg\%!! <;|"#3C2F=d$ݱy}lS?J_%My3IRn5WRPCXlJR1 "lh /sjTGROCj OjUVή3|'D[jIu-h ς0kQc/&4gTf.z9I=p$nA[_]? m2E9cܡPjYl;~CV3RuK^"^-v13P)G*_QGv7͢X|[%[IӃ+5%ն;,6iڲLд@*=_G)OW޳xie|`=mq;{K PEspKq_θCf:՘^tY$_񍄂όmL>ʦ̡O}56mWK?t2vGz<(2;Xq:x %eH &'vx)`G3Ex[wuڂAFp,c!C!!XQ}!8ۦ~J28=!6,؁p,rSMHMD p#aT0&\98u^\v5XjObf1.^J rB:TMA!v+ۺ5GUVP򢸎58ԊWdfOrrKu6k /T;.P5lܜUk/{3e|o?Uan zrMQgn 5 q`>v"~v3=^9 %Sez:g 1 6KAЖ؇nycp S3*xR'1\Y^s&Pz<)VaLe o>J\@wdVӭL6 jdߺ1~PќxLQ1Z!dw*ey?62H0JʣÇ=ޅ*E국nw!^u‚{k6Moa%.@nbV[arzJ{B)2DvLMtMth촴۝NtOshK;Yƒ6@cvK ^+%&e#'J>2Aaia D\Zc8[h)Y~Ԡi k~,Kt'GUŅa x\ZZW0+00ol|ݺѾXFuE4zS Pl Y Bv3%bQP =QjFr) c }f4NRȪevAE DiYN{dqY4 w=st?6ڝ80`.[baӾдn>qE>f{-^ET<\`3+{3Lv)3u N C?99b~Q5CYGx 3*l)1X5Řay*-g/m@bY@N\2(QlQ lK;ќ{7ξ 1gXjvaݝAnk+Vv SmڪabĨ"𼺋چO[ ~Q!z$WU eG%+Vd,6OmruЬ,\[ q+ϋ954 >oq*"M2ICAIvFRlG_np RuwEm-.IX3j|Zf$=螺xp+sa˶ɢw)xrl[9x4Y1 fNҫoOVPs"XԲk/hlۓ' ceۼǦmZ Cr1n##ps⑉>0ldž8%Bu."w_ĂPq\ C@l 6`xnr1Eqe> 6ۗf Rf˧Gc} K b!/pܘ& 7",T<~Ϳ5j7-ܧHx6 #6fN)}CyMY˳y)f沊ܕ}0bvq"TpZInRcD7n3YXǝfm'7Ndc6g\Ͻ\r6.bhB>4c&Cb}SanWnPʥk]pdwR[TwD"|2d`dc)aP`EW^h[5y,hxHK,Z̆Rip%l!=T8\k0r6RZHm,ԝŰ{%ˠء? b\ޮsđt&4'd+tمE+O -Nx^q3 IV_Hn9g f"t6A0$ \ %_` îKnSK#1RݕLϒ*H2Ga_Ŕ%ޘ cY>v.sQS+o8],@6[c$M#Bdaƿ'5[U{>K:# Q5O5˚2MFBBVE~%v.^@8A%0)vLkZъ3z}FU+r; }V# zAP{VKTlTɖیĝ_ғʳ{$erBۻlEr";G$iZr0wgWyUkǝ'jŲdW\3\'3ٺ'J&B`:ȅ&^ڏhyJ;@P /UӫiwQa=.`d s୕=XF|ʅK@?^_bGV\J-3M}ա7;ITr'eE>9kITNOWVdkc'aD9wq!2mF,~z'QȪ|?rh'&O 5{7 ({Pw飊c&1uwBUOfG-an&,SV"_h, m?'e"FУ*e^%uuѳbu* )ͩ`jHP,-@s%z;TutaJy"¦,*vq-ILtzBz r<"&gĉ#926X yTvV>eupvO=hIm'&u$E%S1WޭKy?iY8v-,bN5C"U^4#;|K5uO>`rg}֣ZlgTl|C"D0`1;=EY@i/830fqR *Rc:^.4%fRqb,DWǦMԿ*bEP_1x1$7gE}y3?.N`?ssAClBuQnIXJOZiހuZ-Hv3C(jw 5)c'0ι\f=\ I]d aPzl[ݪ["D0D% eF/KQٿ*b 0/?nˀ?eI{ ]DR;Ry|1"J(@Kq/%HVT=*q^`v~4^E ϶mx`@Ԅ"fOQt1&KM [gs Al8=n|QJ Hi4Wm^i*M{r9%,=0Md OD㊑Ф.YmJXƏOM;_^{̈́x'&J ,&}qoQ m7ytyIhK^2~Y#I4w\5-QH<8뤋7ɐrpovBӠD#M ]~EMO˃g0/9 >rkϣ!IS66ҭRKںWG'1AZw4GO~@LxfI2zJ} P*Bj65y~%ob2?jAR 2'q+9`w'՝AF&8Zp\e_l.gOT{ez" p^W Dsr䦬rE4g^9s+8̻2g*Uݺ {7Ts5?(ƽwr [ny@xpt Ag&m3^HʅOM^Nᷲ[0xāԪ = w5^<, xwy%OuRڨ> 9a$,~D~B~o*6P3 ./a}9>Z:zmx6ސ9Gq97v VY%)d!.QPR-X $%('MƉ t "`oK&C4Ԫ gVQB:fc4bLƈw\+'36sīl/?eA^N[+\NtшVoZtڨS6|/l%ZvxC|trf+TyKzhT>$aZ5Ϋt[r?-\Ȧ.2=b:BXգe'ttu`, zK|Lf=O+BT!H#i|r U=G , eĢ5u,Mp?@NNGƋC ^ (.+-0`TH6Tޯ_Ϳ:AեٌK#ݔy{! ~Ӈ9{T or`Ғgtu8N=j}w [D ^%s[jkKWAg嗓akT+lHUM񺼒r\DyӍnb- D$'Khl WlJ,$ 6"R&NJc8MDF< %-qCUɐ ¾ .x:v'*fi Z= j 7e$rF8rG0%^eP.)M/V\{({js&G%ٵʱC<ö&%t52HB9-&ȃ{p)f"ȸ"ʶN'i[Wj3{h9:oue ?a_-&64=0+Yk*!BwoL~"P2-'Pl .+xg\ͅK CCج#u{1H%wm#;P,v6I;xNd|HAdT%߼1\) n砓*poqs>60 ֝ ˜`T 9ue5^ɏ]QǨpJzM^ Gu.F̶5Dy% w$R5L'x.ZKK,WDB{/]9]q>s; `#=Vl]){[ṫո …ۃ;#zx+on wV۩ $iHlOg*TxY%:M!h*pAp3hc#NXmFZEU4ymybtt&k~`ڬeհ1oGIخgBsuCmcEe:베'H:@gq#[gcc3w%ϊԅވ%unIFAALBpKF?~g,tjTnoIDYՋDZR{w9Ān0j^hQ6 L=_9Qĥ^1sqMdճQ)P`sޣ%xx6sȜ=R̯CRvB-/n͙FCJYIIr^eZ}KKb~Z=F7]}4}AN+'&+`h,o;<..Zњ׾J_>^eJ';) l=s/bD<&a`B.!!гG=ɹزW2:,>1^"ό,BC|1oPϘz|t@ҋ 'i4u5'da*#^`tuR>E6xܙl߈$rjQЬr숗04Y/r>-4 56U8o0"\ Nԟf*Ef{;a.GZ@)W.Yja@f5hWs3iΆ﯆,&5Ak\-M_$7:uB:D_ Q d3Fdm_o;]q-`~/hڬGT:,(.y8r"[^?>vVذMgnv6*YqeKWM 9Cm#J"5Ǽ uekh?諑WnsjIӡ g5pč~@x'A+U8[Z '@DxVjSZR=;F3dQumH9Wx̌\XN ̜Q0K ʥ؂R í>'B=Rc1ȤU0![vfG8Kb[Q^2r|c܁Or+|#oZk /<-tZ)@W/@^iѻM?^Gg9,1-l ޚ4t]`L[s[ #qfΓՍf A>Bh ̡FqBp-l!?[3΋K[u5? 1 J>V$NסزR\fHrIq_r$rd{m?^[3oKkf=0mVXx̐0 XF)J^Ilzܮvz]q{ mzx[k\ xxi!GLd\gD"Sq `o e LV b^!HpUhg~o 2xS6ky((XgLA /]xMk>P{960ke'zcl'Msl01 {p $<XµC("<]- fCu~Agze Q&V%Pl1!P븥.PAg2z]7 a{ن6JX>3GWml!A]rx萚ggޔGH&3yX î*%WSlP0ώUOaQN[ώxQPaKL &̨UPVf?ƭdNU? a3-z*lTᝏy0;7KD]=)׊<(g=,.w&)S-'DŽGxaY%˦Xer rDX1/gw?5ח OFhEH1Pn4@@NU 3 | ^P\ @vTEЕaoMz =j/؂5g@$a? CC=rlRb 49#֏S!{ycI[u*]"όew2dǟhڨld[BjTi8 iwFXe^A>v>]G9Z=3;E~K_}$Q,)&3o?Q/Eڠw6T}CI/ bAB7e\>7}D _+5N~UbWy@asbrHU˾Ga5bʆi{˺c"T%M dmwr-m!oOhds3RojD=7:|-1VLZVլxN,HyX0R`AiRZ(6?C%NDp\grm; $QOR:FfҊhPWO2E?"sd"dr&.ge&جQXJOzVQXhlыTJh׵8|_f|^F˵hI_!^)~w^>tY**dsN=7 `o Z:M'r4+;Eۋ.-`U (RGwII"5?*5{8;1x%6|]y>)M۽ɻ 4.wP9?&jIf΋raN r[uNҕ>AP-֥V{+k􇈻5‰#zH)LPǗ߬I#}r(zcCH>{t;`陪&RX M/}Mܮr$Xw> j{yMYhŔ;r\Hu˝z;+fn  yT]K3)lo Y蓄3>\kd"0Ӈ>ۢ\ ?\I?Q枲ZGXf "@R j5W&y֜ljb-$f}25Z֓2,=om_i zBpy0Xy#8Eb  i9*Pxr365֑e3,4ۺx ,#Af^k>GX˺KK~|AY7j Lpd_#ODQ ހV5TTwE9'61]rMCnpv)10;J=`y8+(LAoAVР#B^TgI" 3_ t)p>\X|,kJꦺe`m£R(2a~_'„~pb_3M=ѲoFůmUkP8$mRs+'wY~T@m}TjZ|<*XSLCnƨV;|IAi]hfKƐƕ/OiVA«S2?jSgBFs$U;XKNa\>bʗYDZ0$mkoYa(WWaN[G'=wRtug>Ol (AI7hʌ )9i񵞲SL웄s9*;%kz|Z QOKԏ qP9+OtvLMCQg_3=Ɲz$-"2} , 3W+~LOMEp~0uF 靬޺(8:>zfr_`ҏE, G Bg~"|*vƄitva"̀D (m\5={5 9Dx;M^1o@鯯erEb yG@Ddb!A'̔D{@A[`yY|lHXΈ/yM<5LП 6(- 艾lMJt#ᯔW}qT*Fq/Pz2utCǝk]|RBP1.(\aHP%KV;cUVYE(í%x9*d!9?b4y{x̑_=uu@lJo~5?(yKMU]yX7!nV@'K8AQ3v'[-Zw$aE5;'/u]_N`P i彛\ @,a`:d]Wv u.PATX+/t`FZ&m]}M 9)6ك=4=ДM-jtUP|}% c.B3T$ ]DwzUoO9(>TMNy,ֽ 4֨?ЅA=|oEʦvb] 2-kۄx~p1gHUS w1ԚI @2BmL5P}N%eE>^$=f^?avr:Q`g^NaBO:T^dNӚs:ov*^ FVq7zsymQFvkUC3?^Q)=.Tה(X  `ͤk_dpHa7N]7ʃu'9, f`joPoGPp/ŝEC$>7qVE}A=h*֙LBOZ4P? /lm +|J?!(2 b}-N7Վ>yzb}fI> KPV]y*f73]R`c9ZEXQay+3F<0u]U3H@4,GZ.W_JFH^';l8a H)젞_̃hҡ2vn)/4t-',UϱbAt"]+dM!фg򘰐QvH7)J M N~Y!3?3| OI˵hqTL>/Mj7 ,a5$)R˹65MplrNFyD&^=[f-6pQ%v Y(Ei(`Jǹ2B) Vp?pJE:nKq` }0e.+VY / ӱwqg>v%2Up@HͧGcbV1'p2䏕9ʚLekp2R]aьpdj  {qϧcD4Z;k'٭+*!Sk c. ަE四{ JsO֦pO`(+EF N{.OqZj 6@q)O|>>- m ?fp.TQmo#bn}DVdH( Z+K#@Hxf" pٳ4f>GrAV79M0wghrm Jo>=uu˓KjK9`G8@#+U_tOt8k2~AU50`rp1r!eLoWG3SUW}776+%]Wñ_d偑 U+QNTCjf|$_T@=2RxvKtW 6`k=w#XVN WR*89G@\1Ŗ a&)Y"M1 86sQi}ܭ;_BV?H+7A/Erg{)Yo5:=noF 0|Z%4Qg&E͋VtT?^*+W~tun.6mEdѶt;@)rG0|lN?B̷"˶&$JYSҼ5[Rfs*x3diT U?xJ $Ы>*OF 3Р+?6õ 9,ͣe$5aGD}c]gp$URʮsEl'~Oɏ-&MF֙Y(^+[~tt\XANed+]NԠȵ5ؤt1̛%jY挈zwQVv;5;eVd ;b~ޮl6#=yUZ}'#ف- ԩҷ ğq,U ӂ3tB\I}_CerRvOҚ'w څˆxqc5x)Ջxrmg]nw!uWnX=&PM$T\Z;5UQZښQ~ȁ8HiA#Nn De5]d{VR-3fᡱ5>Zc8dUKН>YUF``*0/(*+WKWpPpЍyvT`g *k-eY` dK_) _ kbc-7D0/0L#llVEſ3󾒺u&m#UO8{yco(tU~2|xzW'HX<$Yݚ KnaqwQz%Cuҥ Yc6WV!Lfr|x bd\Pؾi:Sfe+/E~rɏII;kVD#@jt#5|[&-6uq13#OX0uoN:&  +Co<"Yq+aA[onZ V|<90 0/ |u؟˛wÚL5VP.ٌ^bϮhX 5 Lj+/߀3jRݸ^o Ľ# fU`r @vgYZc35a976d95dc17012cc578adc202e984ae42d009e732dd65e5ab0cbf3bf6f7494d4fbe0f1d593e8b 395c83d74852f525c9e02bd59cb442d01191d328c566518027c6960bee15becb4f87ec1abc49e6a8