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 <%,<, ]/]HOL-Analysis:threads=6elapsed=354.093cpu=1807.508gc=84.528factor=5.107zXZִF!  U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,ã5>1ap;NɻYsmj<NPGoոjVΥ"#Jn;w9kB`V%)+dox~lLoj)*Mb\,0Rn}RIUuaM"AeCl^1N㻖B?:zfU(9~ڽ $T_oB uZЯDvpuzbtcOO=`)1 }y\ A5sbEړ&f_x78Nڟ񊢎BAZwΕL kD[W5dBJQJ+`lx1Q񶝼Ky9i5pwI2~:贘(f?g kxh=)uۿƨ/ķ{ TS0]4c|t>HK5cV)@OT4%­>o-qQd8C)j!}ǺσT][ -"c JiM*Y6/QcPT0XHn`wHk&hb x< 4'jE.ٸknBoTLf6']t=kʧq3~'}2kBV9K%ͰYR'~TWX h\G3gP~W 4hk8~1Nf:fAlSkC.tleM[L-z=L@9ɶAH(sFδ!KIdf78L{E)mb:c)Qxay"L Yv: ( t"TĬefu ="_P(H 6W@`<Eix̘W, OP޸`и_zTn)ѩ d VMJNrЖ AQQ}/2L&-Lz=(ֳWEߛWH0m)IqJq U.bPdm4qk4&| K2*hYWq{^Sxt/Rnϲ`Med 9."llWiSxlQ)Zq13ȵ%ga rr5R#nO h0XT+n !/o ӕFwE:luŘ 5fm?P̅aRX^^L>uJlfoA;KPpc1M]H9Fo2=D*3ePW+n (gYX5Z? UZ15Vc*&.ynXPm+6) {|C3'E U59=\ D)2v_ nZT.9q, Hkpk 4(پxN;* XQ^!ZCw/9Iܛ>a;̩̍>ZC1}2/̮4=4l tfD/@B4.pŧ?J!#:K[(٠\jaP5v?RZ.Qhj(]?N/bRea^H`q'XǏ#.gܒ s|C-#x6o\ةpj@ԲpJ+zM!-.VW*N{!^㱁f;2߁m1c MiﺹBrOQqwv_a6hV}jΧUVB#kL=#oݦ>jJD֪I{ G]D%;±-IG#i(͹QA]q,?-oyD lߔig8x\ 2jpb-KR }*TWذm~PZlfU @åKv_N,آ 3Vƪjr} ͚ELYZ=j/r7Q@+RyhC{N{BW}fɨ2(ht%@V]PReIJ#(~TcƢ_K3 ۸Y 7D E~ӈX9=-NH6hqW.e*`dAr1|9BƟeNC΅*㌎wGV9Z>ZBL- דʤfOˣNF|s֓'C\MvZy!Z0CD3zn"/` UIc” H9t14)?)rIbEס˨Nw~ 2}!^StC> O` D^f䘍'pw bR+B(S.H>әqJ'&|T넻x0/H 7f ;Dc< $v\\}Bcr@>g5dJKŸBAv %0 uQ/sOh̶$wBJ-XK[Ng**s`;mĮIdpI;E|B}u|qW&%Q.c# A#P6zQ"H\bS&nO!8Wn~<&D/Ȓo@%ao4@COGV7QDg`?.\l}? (5 U ue= (5#tj=}|T{43?M$3]+W tN`X hA85l|I`o0c"oO[37@v3v:>pzb?jhTg5uP~ ]aC ɗ<~&נ@[ZdZ"Ihяj^ϒyj'3g}fҊȧ}kJ9+O.w1f5V}3,lC# _@5P&[V⯑jЄsq~~&@/ԓ'yxY7fq[c;DžEDIvDpW&rmBQG;PbSI7E7.m54ls0J'es_Ome(k&>PӔƔ@C)s`,[s緗X4$RY]b&YfM~_qPgCoq} Iz~+OTy/d$rX=,1J%aMK/x+mm:dL[Qb^+ZZkȦݯR/A}GOWKL1ү8K&0X1յg:\4Ɂk*L7deX]'(ȁ6^;*r ?(}Z5BX#8֛{tx Q|!T>^f+zX h^FU}Ŧ@rI/c };3.ZPٟB(bɹ-lѝvOu`^73廕$zϵ&~!dTQc.! Տ[:c~%͉g#6,$H:nytjSA4EIïk,撣}IsQ#vw;:0hy}nAǝ_gw;fVt_iJ@j%4DީdKlŒ{o/5EhN Kp#:햹G>Uy'mAJ UN:vb0r]#| BXidJS#_2l⠘ ڰ~b*\$5U0 p!8c`hXeF z0#h>rP$< ԆBFlb~&E,p_>d0LTMN7|`m\[w#!K_P;(נKV0{^IH*_bPr4~,E."5MN&' UAx/#uVglގV?Z3UMPY);Ɵީ ۽->o:%t"ZLD\ [w ur?*U1~tR<㟏 ݠ[j.F֜ s-'?`΀2Cښɺ/&e Ƥq`7 ̲;hsrT{lY2[9rKz+Wfc\g ֩C(K~nE9x9+dyv sMs_xP'U2w<%JGeX%/ +ywŸZJ7@1ۮYWc^\)a"2 :XY(FC-CxKt2VI,̜_? (8TȰB3:g.͚YBkA-$mѰ#zJxbܰY`ӼqbtJC.meU?GB% x[L2w&==˅=MsEgfcvIbf09WZjnOCĥ:RÈh}|XMʟT6%hUwN<:q)$q|K_pc]V׊6<,CZ?GP\+FH#v\Xޔ+yl.cVJiE ;& NC/\od=67DG@޽HC-Zղ7:O:D9lXx\.V7LhfjbUv,* sjV/fJI_[6Tغ?$[ėVmsGċ]T" sY'oٖMїUEK5q@`_8Uސ8n^Ց$Qы/7q%?X/_lO5FnRH`No5{Ā;QБH}27wq'&9>qYg`3EiG{aݔ2IP\/KD'T{|?ƴ gadz]0G{.O~-ү`*M(:6 |ۉMQH2KeURT>?EHF?mȻ^c7IE.7CEVk #/$ 1Dm RV-EJַA^]bss }8}RI_* ,S.bU ! td3Zn$}qY!U;/v` RgZs`wˆCye. ˶8{s-$p`2"¸ޙz )!~_6!}m)|Rֺ3JBXAi@)`B& r5>!DXn=a>2#C!3bu JJ\I ooUFvC&xe5:_l'uKxM4mtL@awcڴr|!"OW;򮇸H@4STk,~暊H7 Cm W`]MFdBNMwT Pt 6ehn$ b0ޫey75-cGaylG#àmy昚n$gUz +/\f#~njL'oӇeciU}.Ap̉rVyF[$ ڞ|A@V">t|!|+xLpg38Pn1$*lB֫弛JKXBL?zu<0fdɻ0:`l_S$ (jÚ %5v "\[lj1CQEO3G<辒lM`vtw?71>zxOw"w<<,_C @%gj:Q$Qg=*%Ӑ;NM{of*k< v܋H %=YLі; C[B&tOs, \]Vksumvqm ;6vQ(YFqyD̠cLng )Xɒ~8>BCGy"۹4g4`=":3^&)դm,PjaUh"]xart+RXLǴ_pVx[b SVrz sQ$~ 4݈Eer,ez1u!4: rOM}JLzj :|'*gJa-eݧhBHg5aѤ9$ι~U8!qJpFsSqHiM _6g&9O?82&>MD]+z;g|HL(Oizr[κ>RrQ EKR mJKw\)cvqM`b tl, mt-ٷ[ѧ>׋^>b&Xt&3GB=oU]b;˥G\:yQ7b#z rC$1=Ii=ZIkG:ybxvN4|gU9j{I(ݥ檂4h'S(떒``l7\ sM!*%&},$x[hc,T-{Z6 =%d>#2D? G k֮tE[?Q$ k`VV>#}2bhkPLۊe2yl.V5kZPRp FDSߚYMTѸ^ltsk$@U[3X98'g-VNL{U׶Rc̪o)\(OYvp߇16'`nZWf~:.|Rl+7݅Acgu ]7^vV{S$8dSCaٯY f#:ѱˉEk>`AmuKT?)= M2H~&6֜?*slT=]Zg[] U Zn𦎬)?"Ĕ_2D0Df+3CDp3zōnA"Tѡ3՘A]Sa2bJWZ8D1Y&M@\)xJȯ)g8Swf# ,a44?#*]fIKhVIװ(V@El?[\|| O20a^F*3;-L!ScmYZ9ǟr,2QafhNLC#τX>PH|c:~)3I?_wmuZcfV> T(/=[ CNjsZ% g~٫o?I})Dy`#u-MP38%Z߃2|a.!Li+u6srtMC2'x㾙 QNJzܻ*Qxb :uD(ۂ y3= EnY-( M~rΔt+j ϰSu޵a:i)v3oyLM8SSCо+zµN_+D|~Snq *qd|mñsղύ^9<򉗫Tk#}Gecԯ}?6U)c)Ua^ I߹ZENAG/(y؝-)cϱ~q̿Ւ0>KC)~!v,{A0.sәpq M"s5Ge+9=J!M"H3,!e5Il]}^Y I/ hDumND,Y-SUx5')^gc,(8^ig#튄z ,As/%z ^W'?IvYTI.(ȵ{ !I_^.E_3Qck;vh`.K߼/I;9ŸSMjߍ]mA@DN+hя \=JbZ%[,g=x@J}=Z,|P鿅|(f0 hx^SnbyYk W'LF? l)ge\/}Dd 8&T}dYb\5Q|D#9w[-Kv yy |{KK6k(H "Z`@x;і͚-p8ÂXE,i-fA݉Ctrd7'K2ri2G@|Hl! tifY˞di7Xw14JAkNi)CF8G3^n"P"WebeC{DRr= _\WbpVd'%hzWYpmq06-r ScA\N+B!C_o?֩'ſkP̡ͤGOI^$fdˤ-&v81 8VM^kHg[ .A2[ "xE7DE}  "rNc}gh @QX2K1 Mj1=c:iׯ|/oOYw5#&84kTg84@_Qc)0DR{7>w[OOݓaqDpJ|n b<}~DVR rM ĎTށ_e[`1Qey9}?d"ذ1bᣇg;0 C~`)H{sev<.rtno|!MmSj8&~}DA*iNPʔiI;5.w\Mo˅J6 .2;%1>ۮgh}lfDQvᕢ۴81h!]kX ~%6Ϋrl Vs &}!ɯ|x2(Zb!+*5kceuúgA= yVbo))x *Sk3F::KqG r|YJm{2:7#Y9+P*$΃0zE` DOgu #ݢ!ěo7ь3đ3KEѴnK3daLSCWp-+R Jca]es+Ϧ3ݠ \b~gQLAtT$R}g."hdo\<MaoT{!N48_&KZ<*+KDݍ:WIu]ÀOb gXSI{WCrU ǾCp.Y%;Y<ή?jm恵uQ$ z U jgzJ9j B"c$ryl Wҍ*t.$A pM77dJ3 3ㆤm6,H;"5!bf4K%*e9|(IUs^J3.tO>a[%vvL8J#b\ֿ R6 8~lJ8W L~h]5~XZmyɅ!-oD^߅cN@Ü.kC,"#*r(6̨To$^eȂ66W؟]\|QiA΄daL;b=SZRT'p>L: YFd%n1GLⱝܕ煢cq_vL8ZU@q8\uKdqUKݨ鰞./ J[CXU%Nqs8'pnoŤ Z^X4nF]772Vǣ:4SE䶅踛fv6#}TΜ-}WU| M8p+v:'~Yo-uԓUR:Vy ^T4*Ѷ-Mks+߼-L((y3nK`ziN#&TRMB)}c*jdƦ,a0|z@:9[Ç> BM̘=12;):ûRs ?"&b2hë)tIw"xcU$ 6QѮ.Bi:B뎼l'hg@wmOg00VRԒ̉.I iD5;sQnn^4pv9G~Ϯ;zT̅!7' A{osp;` [#ꊀC}yS1^[JpT"]SͿq&Hkw~œ$0dV^GӗW[ic6x 1'7LE피y1 N~X .8Vb݂=BG4-7j8o?+@J,bƈVB).D}y<:pG' !u)ࢼU0@{Ca exmaR/yPaGnP_낆IMq@Fs+C)XqB`0s8!㳯<<~' >/.;;k%jV Wݕx+煹$wKfϳ@/uLYFK4$2CyMWXm }Vdꄴ#YGؘ&,I,o p<-]H0NR^rLGB}Do̲Rǡd="^%1\'(L*C0 NoI26~*6gHu hP0oBM*ǘY8^B'($qxM]dQm?~,/-%G<8iMa_7/lr1W߅`%U{Q} MgqvM-v/SOEx`֬gU'@AJWMc#1FS:A(Њ(桔f_G17_H J/ف%H3D;d%|c5O뜕ޣO,H't :~g[.'W/*f;;ʱ쪱fEfeҾ>$i~M4% zV9N4 K'EnvkURˇQ,Y<Q&|*Є6{q6ZTsō<#!B6ȣJf?g:$hvkVG2X%yt/EMnzprVxc䒫9_GnQˈJ!tzowf ZZdں9CsQ܌B0WG;zbw"@Kc_#2T|DBIm24!|NK_K:G@p4a*&уm@0孎UMtKQDO[m~iyUl=qY{^a Fخ/K]zڥ~g^~-m/F A^IrмPe9 `PTQ,XJSІ@@:Qg#;nry ktkuĴ)1yiȡ0k$iDK^4>v6\ Lr42LH)#TgŀmQeҴ\;iiNTGy}~W/eDϽۮ360}ߘPޫIS5W}N_w[Mt;y !:\SVv(cgBp]V; [IK6'䓸yMȯZ%BLf]We q\nX7Q}X,070=փ4rI9żŊ9?X7 dEY}Y&sRmvɵ+<^,ZOO>\,'A(lYAXD[b!y(z#yI@YٳYo1ѝTx~<M I72 oev>I,u,čٟBA^<-7ؑ.Y ʦV=Voxzgs,47I|qЀ^oy˜S.6#d (x6<1쳒.~)鴰?z@/n i/@KYmIΌveCM3ꞥg2v>DZb?jYwJꜰLNE~&ɖ- F6}o*bXݘz`G= 9Rע'j0p(1af1F^?;x;fVO6U YH_ ۚJx ?:c3脮ޠntP+utZDHf&x~]ruڸfh^  :+B!e!_UG-RPzcX}g 5v@|'ȍ'EH@Kؽs!Fb^v;1uQ`u t.pz8A> TkL/"pJ3)i a)K@h˞cg_;bա"ϥ,T㲓W)t{ؚKtGfnG͎tc#m4!RpB&獞fƨ;.7L & 򯜸Z&b}Uu0mI 0oz) QR@[N; ;,i>!Pєrptbɱ[q<|,l;.+%O ژJaE?;t#rg4' 5}T9>Dۀ$$g5-äƌ{lsXS`'r< 5>DGq%|rYlĻ}5A(a:`Mr=%hR'i1^f*Qy\q2aE7DRɲ-lI11"~~ \S;S 9hcrb4o[eV\ ɘvfԣSg< oK{EQIٹh? {wn +Z,&1⼩w::|M$98拾UfOqSr`T}~>\pzb'Hbh`2xsY|X՟v}7؏F~OL% n.#& v>_p:v}nƴ@ݙK63a?Lz0/9m8mrG[A4=Cp%l XqSlUكF}UCМPu8{bʪ-S_ЮFDhv:| =`{bnZpJcVI;%rTw)Kn[ik6pT<Ӹ( b5f|؅Lފ\Ow;q)7JQҩ\pLƄKIIe MMvn.ypINNf;rGA:* fSrChzV}HarDb)f8_jȳbl2\ 8"QW BYcConѩ8c.7f_׬18HȈ#dSfnԂn6;%&\0loH2glaΑ:ҼYثBc)t2\1G-3B!O]Nk6UWd ֕_uj2CRni)Ʋn HNb^v >laK8p{'1L Eױ-YNdzDZqjTOmi{oƒK(S؇?D.<cI}`TaUʴ!}4DRkHsRirupP1ퟶ\&T*ǵ40z%6卂y43e\ʿSTWbl2mv`wԳK^?ziqȟM$9``}t1}ڐi{-VaU2gELV5v^;:;mmf|Ua8MP$=De.n:͹E;G<9Z<髎LYcٌwjG~> [@̆ȋJl6DU5,:~xX;t6Ŏ&+*\3;v3{Hl^5}i`k!9(XX[U^{ ] 'pI/-\h:+)Xmel volZU"\ q;6~pX0Z<|l=K=ζ<]{B.5rj_)|"#ۯ -B ; \9TJ@'kѪ"0So//eJ=yfGbA=:IVGn:qUFLE{J,2I$VX.WIC yH5?tw&<~8[5 ENDK&Q p%smHO@@=IlHhy.!2Ԩ]N鷘zMԋg55/ۈL{@ nFr@LUtS7>+1]* {Z1S](OGZ?:8pJ0asiUV|@t%eȇɀߜF7-@ hZxN_0twE5z,Xx_1)483!KgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4Y:!4О=l¦S xɭ[QG8o3%FwMGB*c7Ď*.2񓷿`DJrWu²lc4F}a_5P꯹LPf~ -ת2GqȈSk"3FAd]-h%}*gΟUN/ CGʧ|-ԱgfmT<\Z9C}ܳ va@r~p7s J"`3o9FebgW¢"G>oţ}P0]ڇ_Om,&<}#n|u7nΰMz'˿~V >> DZ 8kXKjAoFη)t$kvQË8nDK*h`"PN֔BX3R tmە[]}[" 0DHa~zy`\OVP욥@V5P'zi?m}Oj-0C*W>tSv JnއT}@!4Ұ_$ii!4Fu?EtlX(lWݚ_8. ~Ku iɩaW9g_oVHLMntkvcr=_ORxR ]i|uY?(}6pj3hj; gKJ%ێ2d3$"#?3/V.dHVxY:u] :-~XoCp\ku/b&T2S⻚}^D}YZ$T6~5PDiF5Uԙ|*fPt+]VCЩpN 3(UnUZk}"3(ڢg;NU z>f3Ì7vda౜78"AY-N &D|%1080g 5ߔ9Q;ڔ$4憾9J ze*kg ^p2)q||xN Y{lwRANj,cG^gON(6S=~.RFCbe9& mH>NTc'`hϺXQBD.sCZ,vs Vx mO7$W`bՌ7{n}2#`Lޞ9z&OgwD#[3/D/}&q/X\A ضiV&sz#R:<]ŖDJuU{ndܹ:\f$)R$d l*z eۍD4Fv)n}).`&t5Bk5"ҵ^0d G'_۹}'j 6==)7-!;֫h'Y mf"N EmI|tr,a^OYW|qj<VJüs4;o)k2 #~j%&OE:RH3"#Lχ`.HF.⡷P3< oJ?5Xկ+$sru5|ԥ}y*|V`9`~M A2B{}jV d*{NuVh̜+}(/yz}V::+(/ QיSzd[/Vţ<@g:9R!E#r!I /GD(9Ƌ*%U줛X u|Gc~%qr!mbc_qT;=W~Xl!UI,"PV+f9-ַeE1I RQH1W 8\2B֓?0hT;5"ʪ0UݙnV!Ev3=eo;kX[JgP?gYZ7zXZִF! 纅|]ŗXi%G'tmb2- 6I ́ s׾L@-3'2c ZwwZ T&(*&/lѮӢ/S (F]mp~hy`:QJq7~r4UM8gW zSA`Boa!h PPy[7q*|HkXWO68ʌ@y R?^ ̘JL-U|wp7RnBF><#SFEcA6B|x}9tVX6gM idT)I8[o*%`i)NQuKyKNU>B Fju!3>IVt漻@LmM-Y}{PQLA jS8=)M4[=!!"pM"X{m/uE pʒI(7b=f/?AQZOX`TH6nΆ<>+*cx|n|AdGfwhpƝ,zE9RLUr &'9dWtkn<oN ^V' w:$') 荣a~WsHkjR#SAbP\&u?t'ݝ҅z-qt} ;0 ϑOnG%UyLB1}թuDL~,bIKRяq1ԁD^ft9>Pvӥ=gCy|_qb( HyLas#1y|#<@3b1xv.AN0r9d%̒4>xE q!6V)RE}v8"<*2xD> ;Տ U^~^@~hu|6^_R87 H2n=01kOg|Ke|w4TV%}k} P6 vot`%:{ˋ'Te0k@V#`n-5{-H1fqнK F|6dڷv5|`@IPw¨G 2X1QS,"L:M/c/~ކOjDH,=EEa Z\t1Ů:6%³'8i% o{~s{VhnmNۜ@u[;ltj"~;"ẛ]UA1"DLN+|cn!UA I27C $iȫ6L[u6h`Xk>M]Kf <4! T=`Jn}Жw$ڣA@d,χbПXwdTڵu^n+IƸE}OdzyB2QLNVF{Ty=Yumte?I+5)@cU I\piZ:OrQwW$ȝ:8=;(7 @I9õp!V Q7![wFnFᄝǃ%TD+-@GG2\썩IWGm07bR79éU bg e*~Fh[iUs;B}TΪ~̈#ir=%s]KdW xPXӉ X]î~~?%P>I8lq'Q?4G6>^qlU|cVw/|k` I…4AH.sa%5N$c<GS=Jr:1VNҵ|D6oU"uӺ@݁AoI 5=ar!g>y͞S+0NP|5k_m:4)L~T S> i,R5NRHW%V m?2p%;zx\$|: Z_ =ϔ Ig\S6K %$+҉sugNZ}M &o۹*nβӯJ5Q K$MkAD o4Zƒc Κ-o~ (o"IG֦7.i+fՂ#L%>9 MU$\.|*o\kyjqJGJAGOYOIB!]gs{nB1}]~OPH&@sԸZF2HŪ–,eXخP|GB8.ֆ*Zl~zJkU|-+BbSC @m7<2tZ={Tv=E{p& X(R-/s_g~*A̰xg!d5@p17_ 5Hti%N#[2+:@5Qi M+2NN>MZ؈#{g;',SnPRþh=_V@K(˴a-׵ I]%}ВJ}g8XR ͯ]ѽ) %% e#8P O{5VOL[ N9'0o6^MFJx^m1zfԌH#{(*$oMewOLƯPc@ SCVyy_g9m5#@zkYxX$)3?ѨXo w4IӉ YY֕|h0HH[uމ ǺPAGRp1lt▃!ZuB8|?k@(WJ?z)f,['[Vr4Wr>7P40jk5qȚb~$ޭbބǦ$,gfSˈMզ8sUb|;V=I+q"1SIAQ?4o\ vMdiB*>' JܿBI|L+kb$ jA òexC7*Mn=\/e&^gNרgzm0zW-h^;J^Mfüu>B^ RIQ?eҢqM}$wֱ[%EQ%cb^#Nm HS胣nS\УCןL <&eΡGN Z& ycalϛ pMiY{nOa=>6#'m{Չ/쎝"6~'Xjym,zzNdg1] 9bWo4؝̝bt[ J"f E"q|Q_|&ӟr\(JnHcA@iNOۧ%adVǣ;nMn9%']WP>;umս<pqu+[moL @Gr5vtB I)皾 ;}3/~@),Fug{ V*P __=fi ئAR ׀=2bf5U0egZ46cG[:R&ۨWs}KէWـ `ʛr!?QcVB|jt5eEَL_'xG}*{Z[e(SY3omwHLބ-G/3F>LПssu8$8Ӓq6 U7g)6C=o5wȊzKy͜PR~ ߼4p03Qeڙ:I,:N,/`Y #&Jg,KW 7vٳWZY=i<;\DjN~sQ`zG$=L *t2ly-y-;gwisngIr}s1 I:4>XAzJw9|8եD^ŷ$ֵiq,IwBlFP8Y:6S@肕 hmEq46?r:w3"uUլ 4ﷶ"O'[SrΉ>!hfCf5mG[Osb @wRFsTs< k?d`waIFDqjv:mUm>_In+'o. \8GgE0Ax/UEÎ21 ?09V[t5꬛SFl,|@+PJDoZ_+oZ n'[*r/oM@<.t'tp.K-; *zAoٙei/ICT5gR )w킵dҝ~|8wJ8#i~-Y z3h2kJM37W KE$ #/uuu\rT~| dC!nfʥ4jF:[>ؕ^9$n,hهR6נh::&DNu;<& e^U`-)]Wz|F`ʬp?QYSlIM;'hvx s|sU/O dܛQnL7DI^ c4tLJhNx`ro*~2iV g< Camɭ;y]qtYIOOĵYn&g&gPolD.:yj X2"i9u:}+uo*s~X:ʹURRC[/ rbW Fjzrt x6k J4Enb,K9̘W[9J?RkOfhAp7=d+`"SYT=F#J"{>ߌ[\AȄ&ΪkTŭy0eD?) DO>ܤYZj_$f#k||s2Z֡; (m06ӯMO|$TbP}= /DCLY+/V?KCvI- m~GȺRyO-N txʭNIP& )Fb1tI $'a0#﹞~_Z| H؊>~ܤv[}*w2 CW[O2ʁy$6r>B=Ǻ-Kuqe !~"@#bv9nG-˪<,] ~zt&Y<[ZrF)x('?H:-CC2ǬbەvƜZ<wM-, jȠ 4:8T=斳w헂譥K#nCE4TƑAes58@ƱQi*]Oo o~q{yg|P{Np_&jl9ƦaG,ɖeHaQBKo8X`IbO]ş*" <ԃ[< A)M*=elk҃"%eO.ٲ?;㢠< g=Kk]pRhR_n%d5̑ A)S}H .eht!"8m6L_@0t4R`@wTZ<^ZzW ~!'GXe'4}A̓Kf X3*c#d#b^JaV ӴKV_<qeD79\Nf+j|u͸]n tVSxֽPewYvdfBRȝg ֡r%`i$$p0%3xk_8ys@_Z!z'Vb Wث׏{S/?ts@lr3)f]Hnp ^زw1MY)W"wk'x;QG"ys2] ,w~Е1b>c8%ֱ[Z-nN&Oh:ɡ3팁PjqK|>e!:Ps1Qq9h,Hiݛ?:a[`qA78=`=mteDb`nXQ1MHZ^1cQJ,Y1[CK vwBdtB n ̊i V+S_|= Tu{N 3vjAe}W9PƗoF_: f^op;sBQM`!2Dԧ6(f'·9m4аt0 R}DKlM]+*f-'ZhhᚧB4ml#B<@hW!zBڻ"݃iVPQ01E>B:I4r-4Rj@5*9y ة׆wk=<2lAD6\) +w[\X 82;% J@O\˚+o?M3D{=9}3i@{!鶿#:l _s7Z&!t0.D'QKW)/\/15 2^\q8KQhmBMG0IB)~>N <[:E΋&>G>@쉏Y#^T򏿢JAu f8֦Z5ZU. oqř@HhdbFίv (3ZG NjV i INb 2s-Ab<eA哰I0Yl-.pSBjȥ{o:1 R>^y^x ) d e1 OB{n .^_&N3ԫ|(ޮըp+ !i䣗aP k۩hʪA!}3}h}s3fyk>YD1 ~4=ҜvUta1UuBWj9jرl%'k,hj2{$Ҙ?/1AI>ք(¸ϻ` k 0}\¥+u󻉅ɔ߂F0*NX(!O+̶jVqaʠ32I}xw WĈe2թr 8p^ߘ s$`qWobWX]a*:`A)+k'r9O(^E^{(N x`3+K"bNGsJ$I4,no#/ٲ=Km O:exjrtfF`%[iM-)W8l?@z=X'%>mD8F/[3_񑀚͂b<*_ X*!^>Ibu(}:U&nRurp!_~ϐGl|+J!aAf-Sb4w sD /KaaXq2uY2 +QA~9&G/ncff۔^>kf>tE^uY2pdHȇ /6ԞKv@W/%13?40T+{&.9X~=&3±&Ԧ0F& D3E5&)ﯗJџ"ZAAAd;[:Xk?[ަҢS;v='NR:x"#{a:Atψn[ӛkh̓?hǣԳġ` `̋EbS|}/Ty _]X[ycS 2Kҡo(6 8p:D`@#0]3 zDҸd+rd._?0)meWxDϰ?NOmKK $9ةUz*BFq|c]ł"ږ=9ክVݬZ ũ>A:s2r,6{tᥕW"6pUp$,'.2}2MВ?"FeTsZV qkMuqeP^hC5AY%L*EUe%z_$1V|é{wBABFa; !f"N%{4k9. [N6 xr@^pa)1WK14'6V@5vkO`] 8"rG_$?9D{uv!+*'wW. Gr7Q*#4UoS@S,pȎEUFYyj^Q|=Vp9(b :lgJ4G.ԹOXѮ| LdX8W7x=5Keh?=JSU7#]"Bc)a>XVu,u~_<`gqwP)o;kXȶtjMGe.EQSZݾL)@I*9 ԶP.tq.Os0$\rf\C~\IY i 0r o LIC/_ >oqhl"ɉ_bm'yF݊%{)R;>q2Nͥ#$3TB,*-%jD\ŔwNruBÏk산8NR~x!$$> m ͡r\*Ŵ%j<[EbL4 npIu\㾏C݌Mu"ÚDnG˂ep:~Z^)"NlCڠfB%B>I0xmX9KtL6sA*=&Mk7ːxmo C| 숔>ed$Ghf{mb-r-tMEY,}Zz+%P®x&2t|jQe1eZ}Hu~Ya :6պwRFz9wT j_#gQټl0E)) =uf6q*\0#SţvZ?5׋2[,A0&dD\tf@3ZPo{4hjۧ͑mbf$nxxҠx^I+kIR \'% ä[Hu xzę/ay| xoGjD nd`-͞\E>~7|HҡCwɀdZX̙{_Z|t_8%&P]<{m9Aej8Ptˍ]Win&A%)XW=KaW Q:x VCڦ1mM ho2;|8rB XKC\5J g 7$Lf0y <.mv 2m#V=#~БZgǰ?WO:U<7+Pw];ibBEnҜ6- x[Gb~]vTNl%A h}Sifخ]A}Wk÷M;"M5]z#hSr "uqb) H"vhGa_ =okE|[Aο_xOF%*E| > Vl@;spU%AvD05z*A'd0_$%Y%hVtsPD/v^H4H|!B(7$1S4DʇGi'_*J銮VI^Q޲K0[zu[tyVЬ͓n3RE=+nBI(P /)o@Hσ}rR~XblPulviDUU6f=IY}4b@>zok<<͢ /A"vuu=R.!-&dyd!3xiauR`-AZZġ/ 1PQ0dhu:RdZ  h|2)kz3%' ]l "EK T,3m\pd4gE{%wv|^^n. *X%jܬJ'OcͲ.*hR Ϳ (vICXP"̟cKTk,~>(cC =h运EӘ1o0|{LFH#woŃ ]qR yU?TX 0C(YL0 G93VۋljIl_b<(svcʝ\ Y׳^ ӇO%d|,ծEwZz3tז_q0{= = #a F=!+"X/7Կ]E[[A#^LFLkZBFA ҊKRֲ(YH5HfeM cDZі#b*(hT"XH9ZEMK k{mAٱ{n6lo!E7&_CN!ۧ"a׆̅ﵮi{&"t ,94}+-c;Cf6g'Yz|502j@IN0#뭚o9^6K01Ɏ%l"W ̒97>d7-GBx)آ581m/YPjSRsLvފMLahgd6|tVHzތG^(!s]3AO1,ؕs/ʇҭԴ(#=DK>* XNH(sL5^7~]deg.?!iY'5w 4Om}tP\4*RrwmڏI8sՆ% lB.{WxM`ńkcm%XHd{~B<DM-9 p CXg|ģUS2: 7I^fP/%!8l@*VSw~b岞\ʍr(HGN~iӁx2ΙC (#; n 'vJ҉n%&M,Bfb 2o Ɂյ.{ugͶK2K&dmH9qe69>]3qxz싽fT2Nш3}ƞƫKV&5?73n3v::+]yҾZ:/JFKuW5/.jNT>/uϦw>,rA,#j"3z;@a~٧<#E?t EZPOm6s6V"eJY~..*:$9fuAwVzL3qFiW=+;jfBM+T!<`Sohj˽<(LtCl<"|ALh:p~B{ʟM!Kܷh掿)yNuv]]j{X L =ȑITcC&`^c^ÌVa+,zHT[UO{*| ]ͽS?'*D)z( ҶR)&%Hx^ϐMFTyH ݲs{,x0aC8W*R%?zxMW*HٰbUs9y| _[ɇIŎxXiOp,p.AxM?eF :O`:K w|  ͖YA֕ES\|ko..9 끢AJ1bJNZ5v5N4 ׁXM|:QMV1qVb>52gfL7-LgfںF0wTKrs)<+nq;1P麣Zq֥gn'?U3SBOY4L^3Z׃"wG$ +d 6E%'Io.I er{ Ǵ>ՒNw/`1l,£:ir|(SBltqUsm dgQu-o[lŰmQT縘N,X>+ :E1= ,PAXN"i[B #'{-ˠFy:'ߡ h]QX|9Ęy*3D)~k&aL4|J@^BΖƅ3Z ͩ e8C/g.1z4p$>>\DŽ\(b A1MIvk?,'C"ls @myc;ݺZ8Piՠxv!҇Aac2/sG#ZUzwù3o.<_PWgֺH`Y#Xa/ &WmOeCiUgwп58:@9=EBdΪOPK߈U`6@zosG5YUs5 ToQ<2W& 3:+ƒYDݼЌS"JEFAx1D{7͊*7i'DE=7RJgxƈoF?lG%@S|U΂D˕o;`YPQx$S$"'wvE`x*%>/V` YMHs6M,(/UPf#IaYi{<9h;|~Bq`ؽ ^bIv}AdfPbL(5mNC[\z>&r$3;'XÍ`(|JU,MGf=cs8H>7eVv( y\1K; -* GhweeEˈ%vyꖫ$lߋu(KefIʿ/S5R;Q{[Z-'%kÄǢ[9 >_M**^x1+4vIH7Iyu}'ZwpM E 5,酜 m˚qpH/!kW+p<jB tȨ!p Yf(&p<=|~C晢܁Bfh.0. oOvP1Ux˽{Z,^P:$υdǓ@ sCY4(ߗB O2Uq Α*EY*O&w@τڢE5HdΘ> UOdpKqHr!z_HwY0\\z:_?*Tm4]h1݉[U+-!- 8!p1ٵFJ{Zc=#o?DӤVx0`˅Ug uMYy{ s5/OQk{( hX:% 1Lҋ98P!N-+u=;!K= dLB„g1Rt涪#t#yrÌ;y3ǽ '9z \ iZݼ['4RMX8p,X=:7 Q1_18@('^/1l[$-W/[Wy 0^ɓڮU̾Yam*)3-%@6t͈WB U{0ss,>ELDžW{q,;T7i%>ngT <~kB)܄ݚKyᏊI!"JG$G%G9-.X^ATd0oFuB)"yܣNn7r`,E>"+汃ٞhaC<|ӎ:Gي`[Id cuaO^u@)]vE@C0zI[MzSX'e=-6}[˯Uӗy*xE44^L[5%Bnm*YL*,/BtCGEv(rR1qW2#1!x!5g!X*a/z ҩRO%?GfZ8$,c3}vQ]:P 3^8Zw7aNɥ,R㾤ǔࠕz~vjX O4ݗgb1`?eVdg! έ3GôꭞUƍѬp:9e*d@-reu ijYK,!_B^?3 }2ѓAC[&G^7d D/ٺ%*b깦dxן42YlL1T-3>lќA S]<:3춽YȰ9%gW()P&.B@kVk?կrYZp)C+i8c"?eU&'T8|}AN9> WL->Zkjqm#KXeP@&]]vUrKn-JrAX"K8ijѽ/I.\ɷu;%%Y˳G5E{U_l]5nԛPQ ;WGU4,a7Z7[BgoT0:e<p&4WZqf1yC1Ft}Hg{];8 B6 34fH+0*sݮأގdLtq$/"]0Osf7sz@'m.P MwOMu+TpgRW ֘I}pT*');3^\?sƮ2¾VXu 703&GاBs:vA ,UG(lfEɦtQCBݦ+~] ;ں6i_qCRN'& JlwiFfQ85NGf]>(4 ⳍ\\;ηnVx,6ya SbSwGy]?aL1&^Ws" 9Xiߗ&u6( F/h,s (|0Tӥ 8˲v .Yj5[h0 g.#YBmx#*PiB**ߔ_oD<>U݈M"e o8 ڥecY/*Ň8gpkHꦁ&D 1ed"hw;Wcf=ZͽnL*oҧ%k؉Akao#3@8+l!"bf8 6me%LV}ځcւ.O's/R>VHho@ٜiՂv}31+4̮y@pBig檪m&bg>* Ud^"lܛngb;z&v1x DFqm{d{"}{mOor%l1o@H `Ow8ReHƭ Pn؟zQ~D`nnC{|c!ѕY&8FĿ* d:%s R"4 Y^Πq9V)(禍;KM"lyoXP{CrN.Ą`y]RQ7c ^yvήqĽuD[4SUP.;m9u)ݩT \D8jiJT_ҵT<1 ->MY??+O tB1SB'\FAyWg_B ʴ5*ǗҒZ򓷐o6>֚@"uq!G[\f^\WnPVK[10ia1?ϢrgZ* zûhZءRЊ6/0A Y~ȎF OoxTPwh ptO<%3\5{kDaϪVL~'>ܝhu-=88@K W?r-:.Ϧ^SZG"0U0}M 䕜a]<HK8m'e\ȵ:AO0G ̀ AVNeOh6=$5˯-yjq1c6fkBkv7!GYg݆j7ro!?V%ν"[\"#8hs v3&G?7hÑ AA geX&\ ^nmF" >HM}쮔D|y{ B 1qYvMGi G-R N7Y9ee/]n*5v1@k5! b;{c,`Epb17s( MS tp66c+h@@qfH2 Өwɇ/Zϼi&+!vjy\UK'z!\i3chҲl J¬!}~H[MZ @W/9؃hg3=.S-l@ynC7nV^PH=kJV'UZ(YҾtï(A0tje"]]=#|6kJ=Vd2d)]$cɤXj#doEyeB;4c > "}ﮆwAzOcq?]HN;_&>vuc&te.CL]'\;b+%jR3c!½Q-:.C hb\5?ыhg]Ƙ;B9sN⎏Jc;ۙҲEBP>0kX+HB29:yD4c)=Žޑ,ԏwzK"Vo=$|EԹλX:4IǐvhHrdŧvEV@kJ Z?kN76Ꝑ*BjSA$V&g,1}5"N2寒!'RU{̥̹cf5ȑ` kC\R6 1y[Wh&F/{.̓FMur5ʳ;Wi \26(ǴTgٮN$\y/0a.BydT꫗ۈ"poϰ ޽5`O ̲L//gk"E #F&0#BhH/17m7vݕtnwsDeˁ=aK(m&A<[0dAw9ϯ"|tW&I?nXٙV˼ɵ]RWs{mMwA,߰MPo #D=ck@\xfQ ẪY:d1dsQp*x)%m|߁] F6_ o3ܷoTiXr;,fҴz{6QjxCf vL:H/<{ӱf]ғ3%6aP288 h鹻Sg: a׳/^6PJ%kG)PLPm gC% *WGeMՁWf"wZePɓ&$x]Km6BLV|Iw:*"~GAu{>^>t͑'s"!: jl(OZ&lPE5E!\[hCOWSZѧ7R6+TserE}*ZB0;?EQ RHdoB1j(ʡ\'EY˗֖flJkT4sgAƁ2|f&ʴ|=s/JK Dn}P C̗w.\O&_ab C S`HU-#霫Ʃ ȓ7ܤkx+GЗ :LO΂칗\ئ*g>0Li q)!nÃsX n-3j8b,E3 fk*Q?G2:Il!|Dc^֏>,f^"J)l`5f-Ӿn;lD8'?R:P uf!UXPlY\o8=XX T(':+f x8+Bt-j XZ\״tыDX{èzQ[Í:=3.튓LLB!S^/ olŤSg38pgwez̳2nm"t1{cm>(J@8誟pf=z=Ȋa ,{4`PD^b2f3?l, wl\[cOԚ5?\5*7{̘[s K?3kW#݃t=>/jQP(UlńmZo_*i0j8SUөVjI } n6,EQXfsqN1*a~25w(Ep^h"Y;mEYmnsIvDӧw`a/ )'v͛v'=H'$=MSsUe#Ij9zN˔JGԦdf?=_J Pf׵zZ,Xo|f~L2UPbV\!^k B>xsKx@v*IsM !^gݽ]8-,љӇF! 1V33Vy6SXZ C(Qk,Ovxz$:doh5xXfNz2 ʎp!`\nؔ X)؏ ؄/ %%DZGO5q&0Gƈc pu:Yv1{ro'@`<~t,p휥Ї,QM Tɵ@=:WGp3{{AjXfX r fͮcPKA\Hskn F5R4S?6h&܊s> 4xk\#Yțpz]msn`kےHda|d)"OVP^ 4ՠUY jg?L,hlM)`PD̡Ai!{o k $'0>^ǟ[ SŻޑeUK,eF"W7c7V$za߬z\GXUJ(h=tRڶ` ˵6`h-/tV\@n6mn65X|۠?YltM)VVxsaᐠF*>uӇ~%΁v#Z*8d# p8{;K<^,H/|5Wjk^cM) 2˫ m<_'QK%FP3|Ujbu8YU&Z\oGf+\p~hgIɮ&6Đ ԬPoב7k*i=$Y՚:RE5AUkIpn M&Wo}c?)yvWֲ+~_ώT]o989V1c}8Nip 43P˾-{kǮF]Mr[KE!&+ 7-!"qг6cC |\=N6 ]hҤ'c\Z>sTSӻ] qܜ+E[x kCr-Y2<ʯN:8؞VQڭKfhosiQ_2mj=#Przd`*}2]^[h2:UM[be|( R <-yV비lfĀomʇA5lkJ& 2Tn`ucu㣵J r,*8(ڷL= ( mt«CZ1 KJ g 8NSa|Bk=0 hfKĿ4q–7k%ՑSV2> H(\>'^dbE|]dXPeZ7oi Ơސ,/APȼ ^/V4(4-OviBr?`۷'\k׶ Et)7DmҰ8A;R+aa^I6t=a|N-v((Kج$RNv&@xMyW\gA zGс>Z,Ks = 0bMзХE׽Cڭǚv*:s)^X.|:B%#eU1W45̋KPQ0yM=RM$W#!5Fh|7 |H 75IEӴɽUF34e.?| cREѩglcSssN^$Ds88'/v*nxoT"[xd.(ȹ$ {ԂD0I ,ߴSDݯPKN }&d=OɎot'ؼOd>X;FfŎ죏FF=g)P,YK ɗckt 'uxcZRinwp[㩕nU%X+ #=Ou0FF0ϒpT0%d{oB"v#{?iH`@8 4Z>JĊE0dQx?2byRy$O_L__b8g?2hЏ>AhK+;#dF},eYֻ1ANd@n-xEuugAl D'nfmy+($#@0dz9}Pڢ6Nç3"UC8 L7ʟ Br_1Č(Eı \d~?O/t mh,y9y0Q`"gbO07~с󌒎%f;ׂMy<@ x@aoT*#־Q$zVY}5ZIk( q^QkšeV6g{sXKsEO&m6Ygk`~ڭuGqޣ#jMAaVxNSZmN#\Ө O0ȌKzl6NC_m zEҷ[5#ȿUI:~$ېRSr. bͣv~p̾6eڅlŠZnnT!d #3`%i:S[/ࠀ4pR鼡x#Xuk6T`T6_wjeuПBLI5AՉ;MnMH2k9ݑ$+?vh;8J|d'͕t,ӵK6 S&ڴY3uj{ƃ%PoL Jh D^ڷLp-UѶ5f T+)dUMShT& &9ӉäOʝqJ{[p0R`d:QT4d-JUAwvHꅤ 1]U^X 0V #bOw1 ax}3a[=(Aqt.dRr޳]*hx Ch۰h]9*C<)F!O@8ԢroG]̭vgYZ555be6e2000ba95414d99d49cf62fd4f866d6562bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05 f5abe85b5a6ae336d989f2da068aa228d0fe8ac00f08858e8bbdaac7ba864cd26571f773b92e672b