SQLite format 3@ .;  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  D1~T\\ ]% HOL-Decision_Procs:threads=6elapsed=231.379cpu=1106.564gc=129.3807zXZִF! a]ŗXiɟ{h[8&xD*r+ x5Ho:\ :D6Ymr!r!Zȡ"z8E{o@nG.l'hP Tr4 JFW12&F.v dGIt1 ψ샓dl AMKkZhcTD4`^+Žĸ$Wй)] {PNxQ8C]6|lo= qrIZurߜyfqU} VN=Hb:\nE\_S+fwC΄ M7fa8NŲ55Zk!) inEi6~*&%#vP=2rIvgGWDdڴ+`e7B5 %{EO^)c VÒL-LwMy\ZϽDĺYJ㵉$_E89xs-r*_p17Hz y;,2sŁz*#<Ö5vlZm{)g8+~fSǜ3J\M[>FΡ 5(s߬!A'@pn2>bv"%N2&}ޤ<;z6q&۸/bHkU}fe W7';Bxr:-Iܱ7DMћae6^HLY;|+3tmOG':.Ȯ}5O<ޞ8u)^}XsC޷3 iaKnRe֙>\]h9GǼ젋k3iScZ^2)sHl\EM"OeVcijh؂[I+!KП3B͠K!](ڄ"YuTm;3⺬v(w[;Ɍ^ rvP{M/wo 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ bQ5w{3BO2dHL{q`_>O!e9gM92zy\*YWqRF\3P'7BoP13Ck!GߤYlhH:| =*Dh\tL`t|X7#M xU<+_K#dM* ɩ#ͱYɈLR3ׄ3(h>ꝃsBpCYd9u̯تL?P̨mtV&AB[MNe:s,U-T4K3TJڜ*#ꬪ+TԳgAR$\AD*H#Ͼʊz *ʵw9: 8~EpPB@ !:#H;-_Z(B#~0 np'S\g>G']@1W$O)GaOtJڴeE+]aVn,H&4ezJ ^h>Y1rN=aTTMB cq h`D;^Q%\!e-cD/e *YZazb#ŲtrZr*oeb'_.<9媼:4+Z-?_&%CG.Px)#~." $Sj/<*#Xu?~|. AѐuFX4GE8'2XZD>Hbڔ{F*fRʂu(dǛR-.t~ۻ1Ec\ w$pͰ6pzZT[ϟ"T`f;+XgX?A= 6o^bhj۔! #90rX @d=$TiPqV~oV]Y2%5 # 3qr6 -JW=̫>3/ͳmp|gmnշ%4_ 6L6Q/ R& Ӎ,55ځzv+أ,yvEnޫwH΂`ȁ9@ĩG@`~,ySYEmф,7mCl7,+qep^"$͸|K@(_9-H"/ /&q*rGy8+U~ >nZ'/?nrEϲ =q }^ Zs| Qi\ڙ{ՄJ~hwۙ}rSb q"רeSJ#aRWt D亖QxZb6 Dz!ZM޻wKZ].,|ܿ";f0$͹nifor$ej0E'#Ø m TI>&7We#QN骦`8e~7,gIsnI\WF}C -{ 2Ez^n Ƚ^;Q-LQZƍ|K+?z܉ӟ2/262ж(~8LskeE(K;y-&5sα<6vQrJ_~餅+Q9s939Wffbٛ9JK)#H}y 7J}¯sT MYNgsE8A #B=׽LoՁ7fFiqMz_@gu`3'+⊥%Se%6m{f +l$n8R;CGO#jx&ceUNLޜJt_x(G3ohnBl 9[ `Z߳cᆒ1@[_1%8e's3kmBv:ᄿ?a6F oD jLB=<i[ٮ Dm~d^E*,plXvoc[Њ6r0 f*ުfpT1о(3Wf3GC:c+T}#7Mi:2#D o<}j+bl53 Zғ8RA esq}׎ +u։d GQU1q$8]hb3y{YԈ @T-t0bH@MP.j CrXY o3 "]zJ2<,(!wQ9wB)zFD~KYJzՔn 8ǒ?݋Fy`yR=Jal%HPz<PH@\=*p'?)mPQSܚszUPܢSsih-´oPZ̰a00x̫z^TFw-gQĔi!q bG`εq, Aޑ36?NN[΢Up:7@#{ Pt'J0h0~s<^|wkuƄfz,Hyi66{A!Eŭ&(8dB`eGd@K{z(8Цʝ ;- aXN4"0&GN4 kZ=X`/@;vZ^;͂A8y=pZoز`;B^7Rj:ݨg◎L heT3 ]O.CA2e'-Zrb Og@Wq[1H:DCZVپl 0Uu2>Uat24ĹEݓ+߅_>I`;yp lQ9D KA`ݼB.L xI|J uE{у;Y,=e)*kLe^^}K[2Ks fc YI?j$B,WW&m,8"r e%EkM#񕋍 C]g%NB ACΫwL׆$R1Ru>^5tj@vKoBu OC&S0دm>1y.J|B4?uec:"2MIي Uq _CB[rr2R1/f.at~R޺]9doB$2XmTkQLo)< )3 ~ct;'MB; TtL?s _,X49O āWSnprIhϟ#.ڵhJVFc\:%)Bmbx a]^s]("{+7`K9*pS* ´zzg8ON&p@f3@'8{V9*ܥ2jW1!J_Ǜpڄq;5 ''!eeR_Z 2ӞWTFk0/р3ԁKv:6y) tmJm UAݳ '(D2zL]VOJpe;N$$LA0_h`I@%`{[=1hq0u>^.DI31 ۓj?íl:< dYEhvBy; E:f<{!HJO fٺd!H@\̳ၾok9Fsp׹qCH,͔UIm+p# ?E9E~I Xr#:|?iX,@bW:M^{b1t?[&hPhewI{`0T၆U[MѲJKE+ã#hZ**//9nϴN)[\7šձgYZ7zXZִF! :Yf]ŗXi%L*١~Eg430jҀCq&Ȋ^1븹ksjjo8囚hb WUv5$F,@l\B~>>E\ecq>]k'OBo)*2sO9k3k?{SD(rN }w ˸}e5>2j[:_[spzl0bP(-U=\,%n+U4pcΰ5$||B}6Rϔą&j\2' H>aBE!5;[/1+I;kjsƉ.{eY܃jm'lίHhB(GU@k?`eZRZQwOOqԈRtܝ^ U],Ǔ%>*I\}h>@y(̌wazmD֢_.Ϛ^We1“34/7vky؛p,TT;%şV4i*.!?FS!腔֬ضHe)暮\w]qӗp_wB} `$ha^W/3*7hj.>5ZJݗQ8aa) ۵t% \ T?Te pZmJ0֖rvȏټf@TUi]dy~ noYy֡egV# yCQ+P(̲^<-9;+>?\$kJk ܷ2[G(, 5u]el"&2(' 1D Ubhjq h^Z/>+fˍ H0tdr/~N_YS!ws[?QfuB%}H Be'aePn2n֞] aVMv"oh2pr5ӄ?z▦]Fm99?^ Tzp7χq=~sЭobd#V4.q0H+K씲! .b_;\OzlI2I6'rq~y`GL6`д0khP}~ (Ҽ*YK=ⶏG6\B)zNF)uu9B1'LI%6-tb[goHkƏ.<*ǹ:Y xMy SV`@ ~) jE_eCK$ҖƸQ}GqF^7:5]]3;_#jU9+XG-k =L%BzI=A7O^Ud-4vi m.&:^:ҡ5F'~Ϧ62҈YCtW1כֿF֕meק+#1W3VZeWJ߃8d¦ )LRb G~1С;xoRJ VX=,_IRyR'aWaT`A;%i(%? ##cn@k@&=%b| :Tp2 +6 PytZV%TţHI@yh j'v R]D |"w ݘW{=M+a/盹ʆ:D[QަzTEsߕF739tkV&q_h!撶 VsK6DPwlcGJ; 芲 Djpq##zZHjBڷ(6՝ 琿Df~Hώ״O!y-\fgC§^? كҗܵ{lmfWao*TP |치~9iIPY2;pRQE`#MI9CK yHC{xDY}fR$Q6![$F+i6N$ !e0as0% BN=27#\Rf vx#`Ya@ A5/XU T;(o])w\Ul6 ҁxU9 ݸų4~d-N<>-2;WӓY>|螻?truOGH p)kCr~7̕XW3+L)bN35#dutFRM7lHN " Za Vx5ğ(·_?2V8NJWP`8{o27YMnovQvG JXgU.zjOt}mACqxҐzkXWF;L*Aތv0']a쐻})Ͱ-vh °/#38rBB^)UdWzN9Z{⋙hm.՝XDvhIɁ=h5"h=4\hjɶGVFg罷LV&/uDmr-y7knb!7dCOr^2"^,~/QF.0쿗NZAJ_Z#tbj\b*!׿ʱl8FV/pz<`:~=|'f"<$@kIΔ퉘 M[`"pY*կS(*N=ܦ>wՒ U[=9LMYPqUrC 3DaJt9YLь@@g{g})w@fݶ˜wU墹aa@=_x&sUU! AEvs|\Kr'6̬=Ԃ}3W{Ҟ "WuOI@Sm|/CdO3"Nj>EN+PbLgO|3JE<[O*bO'ok- ^R]=c1@;=-$> yOIælV̆M5l)j3i la'® =H@TʌҼF1%ٓ7Bng;pS"t jvϹ$WJCFxs޿™Ql=v1 Vr]1]BvcƋZaӎu^NmɅoOyfR~5 [|Ӗj :] WեފjHE4Ϻ,*ªʒ}hIa{ΏpR84!_'u]:~1B7uBrleNᮡ$속<8FDU1zY(5ge912pןzVEˆV.Kt!]Iڰz߷AG&G4 2)Wg\L {V%ITRtBu#ljlX95zCT$Ja<;o;ZBٛO4r20ͻ|$(¯ӺMi!iIHZ"(gV!_|`%{QDew[ b$q[򀾱”zb{ߠqWg{"T ﷷJisغ #  λk(/ T!pR9y9foPo&/O,O@$_$~4 /l%cDjIYL'OK(z 9~XiNX)A0^CI#D'V[7BU6?3#z߭n f{i! ebUyYק\B{GAѽSuTN}_:\8u,83كg>qɊ':5;I6;mKˏ\mP,WCVxrD}rRIZnO ҆<!% qy|%fʍꐷ Ke 4AҌp\Kw9Bx/{{#λv3 0wL]pZ2K#xɘducs tg>,5,h@ #,)i8AC]5c+/Dl1 Blk(ª'gĆ ]Di|3C.~mer?/CF]/O;XqkU7_,fo] sQ~?}^Ec7P]+};;6[LENc~GljU  [ F w"H 6D IGp).n$ ;ף/so7;y&K{d)yr U彡fX*2Ao;Usͼ%^!U&=Px\s.O&giFU?kW#Zo][PR©ޫY娙 V$F#?r,5p19!r/ùWL %P Uttf`$DV+A=*VǺ>h.7ȍ,#5 >{%kZX@ ZRįw tӜnB~=){DVgkoSvL\-=sϧd_k^.>1JakG v`D 5DG3%Z৽G"}[L%a`cGQ6 f E8[xL#d1FdW.uvո #'dE3>i"}E 65+'|Z߭Mu_so ɝ *d$dTcU&]u3lV.4rC/U0GZ2 Y#ȶeR!=x+o(li+c[3(%pUG[@_~'eKbJZ%_hWRM"LsKl 3٣|Ӹ[M~IlEB_e$_~} `@GOE}/(Ԡ\Z! fI/vbW%.W |]ed^6TW`C:ro<x< iwQYMCs)R&8Rz.nHXYyN'[0Kv>c Fg 7EX qcce#RV~)d8#%x/s>y o^Ҷ z'|qfe |6h/Lx%H'uqdJーDEбԜHܨԴF"FՑ:x8X/Na38z]R`#sft<5^c>/% H[ AHm FC  {D}z^aB8Ax 6;~js ݒ>.1Xz 'H8@cK8a D oZ^ !}* Aԍ،%y-\ 5ѪHodW?( 5]/N橒={55O(ٗDK8,B֙•r%{f=,4Vg~Z=V+~5nE_]<?ց'(sEƤ4T[y] wrg~G+f `27DLm=PCB5*fnK,fhs">D@A#T'$ I_>o*@~HP|+2{vWH*s ,]]m)k;TLs΀ 6􍺺vW혒Bh]V*=*Vc 3j0W!5=[iF^ޣy (ZWoR@1JYeG{2n]?_wK: )E?VIJs%v?"۳<-s2K?Ws %C^so$3X] 771 HHzT؅Hjﱭ!l6My6H.uq;WK٢ bJ= 5F8f@4oEݾQ0ua/"muV o<{CBHܗB*Gsۄ(ZH4}VQPuMLc5,ȝP'6fam28:ܮXi XN@|NZ :6Rt3 4DK~<5 c(̋n&l AYƖa)CV:RaV"))}ĵ(wz@ WYNIRH^o7@Ek;sb av_]N_06\lqӘr,00/o+!jެO=̇\qeŜOS`%,*-,GgB ڈ8;$ Ȉk ^."nk|( Oʏ24WX4yCɂ vLQߗݓn01ko ʇR uUgCΣӾ?#;Ed| HM$Rp3@k~Q`#m33;EŁz`8tp@)`?d-)wxuBbh3DP$̤n%0h[LtFIYlfze)M9}Oi֜yPݰv>F˳d VKM {xCveWROnb4yƠ!DڟY59q(-K rqJn;}%}X8څvP{\w.Q5U>+Kt'JH O~ǫ_|ٮDcGp.X.pQ}+$ȳSh_KS˘`1JDQ/-U|gڄl|PR˞*2$i\anz<.L Ԩ=+N*kF]/s,ʕyƮ`jٟyi\}XBяŲi rco 0:z lXIA+eg,؋-'ɩ)`ܰ`eҟ%= C秥@nhWݚ3u JZUuNg] 6*'AJsn).OiFP\1)(s6i~ցa@p*b^cO~ʝ.VȮk\%?X2eHT:!@\ smA)^čNK/9M.k̯w1}TcK6PL2ƺ}xx91g܂PlʏU Iz*!b T%cXj\LTz9I*Ik3L>와sS_,hW4FH-@ <=ƭ~"*]-t~EsCܼ+#犴QY)=B33AjpUphK[pIIoY<f`L<ެYcolܧFݞOuۂIbzRfkK"ēc̲ҟ {Èh9ȴ ${8b G09,S}]I^DOG%_!̡\q]%M[%:?W<#(i|tOVI)ϩnӟ2?38Yesεnq4֘o`D㥕I* VL[vqc@,F3c1.yN( Lz\6^Β(1$kXC(q o%x_qK0!?mv*84r7B:$tpp|_?;[lSc4L[JgeK]vPq hHB'YkYÉF6A}ƚ@mL@W2c(\^Jf[\d&$|L!`\EPA&$ +E yyWɑGyIUF?|MaqQ|e P14.d!CpQ>j5G^lq?vrQ|H s aj+K9h[)c95=UB6A#s 'r]5)lB"ieq@][8D"ȩ~H4o#DxuW4ᚯ,B[#-BGK_zc"wCzvN.QK_\e]ll9 cǝjټ8K m:HV QGBihj2&1ABla0h\]~/fB%><(uN>v#=Wϔ0]|e˻Vu(?xǯjV +O?%o*dܕ8Sy>8_)Y#eYmpR{}Zrx0rb]$gA5m0d<[h8(BU<@E_Gdʓg&`:)c* L( 6 k]aN"##:KNФ7>!zAGK~mH嶶W0]THvTrү{D%+T:$Wg${a1fH+9Pyuj9IDiҪ)lcu?0_bK͑L5˿7 g8Uȭ|\@)k(Ѡ䁄[qU'BS=xFϽ7xխ/TlY*O3\ME`~?/7 ۊU.qV}f1ǁk{Zyprv%L4H;<-eDHNsߊӥ U]pW FL '4YuVo`9|"|Y KbGH\n6K ʻZ'I"i֜l4G&rpp}?H"Hve1Ax%j1?nro+ P``)/AgfB2P YgeXe~wH\F"Vhz"bDŽ.ŃzVH't_1k.)ڃ{ G.kA G57enP?.4幘҉\GДǿw&UakfKsِ M š)~/LNr0#c–ߵJlmj>=0o嘣-.?mzG,OY_֓+@ߚrJ!>2 <;a X{Ɵr!^AL*$xUDD\T;jJp ^Ys-eŃ"BW00'E9qU%\r-XɅ<4p;qV _\3Padk.(ҧ2 /Q5m/_i=XctGj@;)u˦/Q_*ňK2ȃa&|҃#qL\ Dlo/'ƌrY0^p3[d{={10.Lm!J\@Uu`4'Wt([5e{-ˆ;?HiN1֛ xkYTllgJF zQ}v솽h]@/~w)^mJo /O!HFF˝nxE7m*t W WBH8KjRL`LUsE~B/-̬r{ԃ6SeP3nN*=LF#s{)T ұn8 RvCXفU=Yj2bCpS=-Zh:( O_i_Nh;IG!Љ~`]d#ev*Xy$IJ:p*7  #)g".mm4H3FARaS#(`34jcT۩{R~waܵXSRVJF-N嚠T&-^ŗI1ay}{_rެuj,//c,֖x2?|78aݩscKŏίK|_WSB#bZNDYLA8tV> r`dh Mb{02ec^4&*0qz(^,@Iק) lՇmb"4NIHN 77$/32-lkt]dx-. )$R܂ ̴0"4Vq IFl2NFv<66rbmwG2$ ۧ}VnxcmsbM0<'iD#[X)gqLvB gz;bj1s*&Z|sjcȇgi5/o-. B"a-3^F#d5Կs c\ߧ'(wc0yk?QY?. fѷFa aۥ&:po~ӯ5ݦ_6N%50)TQ@KBFkv}8c_=dU7b*42uZ܇a%܈c> T]ugYMs0z>T|XjAED6ҙNVaswXYxXwl*myU|U7A)/h|EFzt²u4y/FY-㨔LG.j?ݿ0,˸nv;QK6 #"cv@0|lp/Q9d v"4Igmn_-̟cةI-5#} AN1W@1MtgTW#gD]vW=@s8f2u_ [bJW,n[Zr`y(TU֦lEks³S#5Z*|(3FYxYU)Գzl{WtK\8#_xluՃ3p%[FS=ąϩ3"'z8a]pHƲMY6づ*Ji9saz ^2覊\A/}Wr!g誕2G5O -;G v\0'%)eӜ+~A~pgMR[T73'Z{&,6T2QMsg9o8PW<5)P$*G7A@aIgE9ӗ%AOLu*b .j)oAfbIw2w3..OK)uifZ;9^ȹc'SCrXM/CqZf\#4`#eToos(CλzGTIaD:4XaPǕR#гQqǤ[KLhe73@(R}'Tdt|b wOGX.Frzu]LxR8Ҝ{}UE3I\w{j4V 'zQŘwcܘ{U a{x::$i"#X5'B s$_v³?8Q](n^Ze%20a{ù/5$f0Q-cJ4gT7b ؤH hF86B"s5G w Am冡2Ͻ#'j" tG fw nP(])&x{#Q vjW8omP  c2:b* Dn8uD$: ٪R V a.}4cpO:Rkib v"ZeKX)C pmzm@=Ƣ͖̒Pi?BpNJozZ`lXs)%$Yߍ'=kɥdK'(oo@ˆ{"D[kZiTǟ Y/EAwC|F .wth[3EZ됖LC*›ĩx%>9`N.:3$~-qܲ3R\} ~*ɳ*n璒e)D>R5=}ʺMv ʼnbeEpL",/lkRaL_~}d$L+ x^H]۹7T" i 6d es(-BePj\%^Vr9`&ȟDh aQ6A0ehBt6vk 3g}k~YuH7V7 }%Uq AAoJAQyHk6U챋KUEYDa]Nojizy~Rz:f]o `íNTN3A Nuhuz}rPՍc"Hz A>FDcN' xej tX9 EY?!] 9 -g]Y2ט<LJ z$:JJyaZ ÕBkn}Or~ ߺ5{$-2;Jՙǁ +il=) =QuNYx@F0ft֒RUbрbqs&{EizzVc"ݾ>Zrbt(xBcߟ&` P,ʯE'6㞕x/%i 7A&7R 7 xdKXL}cx4I,ߠ*oGR@S|}_$$ `4 K85+bLl`Q*; Y_N$XGYPGSBJu[t.9k@*!*5"E.BY."x 䩟Z=N \|o+v.94hZG:-q'JL~/G~+P/n20aۖ#[ψ>eoesdpBuUz7Ӗ~QhC*X2m wᘇf;Kb NK5©6] 9p֙VzA83,5u$]3L.l'w͵}B@|8J k&oEùd~NaMEiLmXbC \\111H:i_y*iWĞȈ{o#N PYfFC¼+y"SQr"*]85pIEͰ-g;a_L:B=T "wҽ̄HѳOHG:5ar&e۞ P.9썿VB)jf|Z c@w.&rtM,JZc{EW5kj`,}KVY]zץ̷RNRqD 5=Դ;m'-nRUׯ&2,y[6}nU7@Tm۝]HM?nAO{4JJj̹Ng/-?NE5@&\{ cM̧f:kb6*+䯭ӈ*z>@ Ald/[n; Ubo˃ȗg@>i%~[>r=@L*s)X3jE5-QY1`*5,cqw}="SSTfOBN/Y6,^5+ ൝%FəձAqɋ`ɹR#G;F.-y[3mB~ v=`Fd@rCeżN*_V`a67E% j~isfMiluczyP'4󩟭"1UϝNXuge#JH7pcX, F)P ;` rӼ͚9U 'm,@+`C gV1oAuAؕxN3B[iݐӧ_,*%.,mO}sXo񝴙Akq )aX>r> { Oq3xaFkg*ν OY+vt $I6pusL эa顚EY&dqB~c%Iˉ g^/iW GmcOxSo ]]cAv:Tr\9ZЗz_]* uy3AaҠR} A J&Q zrUUMDm,0X0.ߎS#} 73f-ٛ?j毘d5Y-)TߊTnOՎEnG؉x+f q 6AV6/z)S6߰ Ia ǥ!H3at;jգ̲ 9*U^~ΝDQV+[+'PpGV.+jG޸:!N^ǟGl!}|UE?C2F-bjD'%F=.i VLowoQ%4Ep4\nԤT^鬙DŽ }1+ SgY):V!>±.wIFLj8Ő5 ߛ+/:ӻ.6 i!|zԂu17w%8+BBMKF7kgYZf2312d28562b08e8069e3660899c5feb0f5e9b6e2756139cb33ba5e4bd4cc33e5c755793ad6d44ef 87150c565a142fae9a2e19dc263f6b4daa00c26b 958f0ae0fc1cd7ecfc7e8e1ca2ceee22cc61ad96 b15ebe160422e1a90cdcebfc75743d7083bdafc9 9ac48b78b2ba5a24026f35214a190ca40b3110ce