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 t!4L\ ]]]HOL-Proofs:threads=6elapsed=930.941cpu=2302.164gc=611.116factor=2.477zXZִF! $]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\+jtzaiGͮ(IB"<4lL I쯗fMrRWk @vo|G痫JARLEtO#CVNK,LlKfgq1䦴 MuXIv 1LGB{1iUdcH,Y3RʕsA*BX\OJj 10{0LrDѡ-Ϙq  ! HOL-Proofs  Wf[uα*R_qHx2@16?#ېiZ/@'  QX!wugyF<{A5n^:Kqf ewkQE!T)Ͷoډ9%_$cJ#ڣUTe~?;NC<ʨ0u|;P)6꣤F6Tߐ|a\;eS#z~O!Bmz|w2OIDs^3$ j<* yW reb}B :nku3Ka?g):;lٍƛiYt-?*.V/wKV k0cmu((јq4IޖYdZrj _ːIJ. ,Մu]K+tDnlZ Z "cYݟ|M@-JMP=5]B@;Ƌս۹q)wӉ([½Qc;!u9U0 F(Ԑj7}]pyA=i#mdoTMB>e=xZԦty]65gcd`Zym&mâqRW֙`h=E_Ow nXgSe$<$9M_D{uؑUʶ … 3oI s?Խ 5$B52wNf~!t1ƘB@RNÏ8`kݥ+רbJ"i1fHJM)wD(8ٿ_>`~l2u# YcB iLP4+8|6<&8~)RFEz+zxHNá~>.6| NşKʹlrX덈;RPډ<-j&;zЅN\gpC '7g{['6*LyD:ӅR@qs ) lGZhSjĖ|'oZ3;pIb9A5/!ƭT9 >&'5ӛkp#ġ|PvSֈt%[.7=Rx7a}ut-x{E_iB5DEyW,-T|@Z7{ ߱-5ٹsK©rI91}n"&`!.sW!Z'yo3@ AOP%{S0{0wI.hɫiWGɕVK{҆UE3rlPyy6-i0}.ĸjPm ZzZ$K 翱 u*gKߐt?kD8;kWe=j-?IC/Mj]_#oXU8UpDq+qMAeiEo̢&]V)Npn_&# \s:Q$w- z*:ţE|#JLz1pDrM%=~=ROH!GZHTdߌK~b\qc O #VV}Jk+ByX{NW8vMl]k*28벶w=-l6/V|2Ƞޗh6)(YS8kC4Rz H]]N9LH~H><zM3CV¢oԆI4" ͝&ICm6 UnsN)j/l N?F >/g';JJdV䜠bPWOjf x_i dS. 6BY@|);ΐׯ $% b{g11H xKpROfX*}q5e3љ}gLr/=`XWe*^g(Ah1 FQPk(ѣ)#HggO?/6Fn6㔺  g-mu )ǐh=$hkТ]I:\Dg/r]NR4FEnWğG= YbeK q¦[lӔwv{NOEP/JC%z+pO4 x!d]']Ɉ hlgNmogYeor@M*%w` ZIq?"(2Q'z5y{jPq"#7߶IZ~v.S7*NoK?Q^Hj$&]ƺ[.1y\Ýov+ͮ[;i1Y 8JpCX} os%+e8; XA|/02lٳP@T? i?(֦)?w!8Yׅ6} HwWD4:5Phx&/ B!Q)9Pq*I9&1l*̈́7EڈLvg}}G9B#[ [i_fC,{<=OHժ@#Vպm^Hy P 4lNU ;.Ekqb1wvDMt]'.=8n?5G0๢T\|OsL. ?۳O7T !$XүJG J HRc@.S'eNߏkAoS&Mi(`Y'&NY|qpuoΐ`Yu4XԡN~0XR Ծ_!{rj p} 4HUF_. ͺS(F.a9Ǘګ3 "e?-\qO{aϳ9ʰѷK:#$)p.cOw¥$Ԙ43Kp%Ћ +T*55U?#{z ~|ɁX `fj Q60A@'2]tL@Í?;S!/3p>Ѻ<7$KAZv$N⽋tiD*ဉ蠟bP6HSfLkL\ ,E+|fhEZ n)+B3,ZeeC@R;#x#]WhLec) #f @ЄoNwzY6T@nHhXrOl)=}tzrb`a2bğgMI(ϐ_'u\ <N uɚr񕚆Oݔ)iG>ʸ`0*Ѽ;{O6tawJCܭ@v~f}yg -rHDyJzCu:oM5w"M`R1^ QBA$f":(W؏<&ob%^"jkmVj!dњcmL= N\"tD5т)w18:Ɍ=锪juk`А+s j|>! noo6ŞXJf3d<\iY$^/{ATO >&1_/+hલ*sC"D7z㌻:b,Qc6ļ;i{0ޅ+~A bՁwV\WT:֘qqL_FYPwhaLehiIbqՒYQ$6t9ˍXYƤ|_=<0L~"=%mumKco$ghl ܼ&U'ART+j\ʍ11@?(G3dv:sv㏦wRQnדgO:~cZ~Qf<0}1Vg%^;vͲZ+QA:&zI_2CUj8͸-Z݉-*\j_aK]gN**^( H$!buOla=|4/04(F}@Y8Tv6R.fMAT #\DU$WV2-9^*Y8k#mc|yS&P1co%'ɇ^ S,n*zQ B FKhM8 cϜD1؉Ҋ:Sޭ*%tg_plׂj8N@iw~e`pQRD`ُ6E8}_5V |h̰2H@2 so\@rrF 3<{|і&vOG &aHf.\߸shTƓCYjP#!l[m7~"xc&ɤu寛u^H:k>y  agj^?vZi1HoXLR r7j/.4+U43Hgro4ةӌ_&J$hfUe {X'YINmLIp+n0dJ=r [ S/EJg,)n]9 hH8(.UMݫXyޑ[h79W w_E$꺩,竤:#х?RA\SJS)1]s A#"2L5 ӾgYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!Bg |^7;}K@I \9x}uL,4OGSS}4 n d9T C]۞,ca3=MZױEehFr w/ u9,Jж]hىϘp+˯H\ oT>XZkTU\b@ѳoX8=+>1ZDֶjHq !ڏ2{V!I`;C)G7oPMYt0KXT +[̕ 6d3y55(e[/<栖HA \sEt w)l<,5iR dѲ1E^3d*DVcTf>("_85E6KUHu [GVCC /̽pߩ>1m(ÝkNCuH:?lf;fR{6"VR5)Afr=eStk@27(طx򟫆}y z|ZGv$QHCT'мXc:="~jr~A"S그#hA5JPB&fD/"ИEi59|16M~f\*gƞ~=$ cZTwGC"ԫgRUppHq}0VE/ŽeOMUg0lC,-hu8=lvظғdإ 35lpXn%=`tYh&#CTzM1̏ik2˷R?gǩ[zJ ^ .[0c]{B5>vݭQA^Jn% T&ikGG:LZv,B%\-c '‹D©POrfՄ[\o["jv *V'O _ ܵZT,o7TlVoXyRXH%yHncppvrcJOQaqHvD,hM2/H71)vi@IsN9G"vCjB!hJ MR5 $GR,(r3}|xǠ[[$%~f)jcK' ye9jOGaŸG;QxH ^̀lxlP֍ŋ>[4}"1 #T3;bk< ;Vhh; #t#><7$hN- <5Ȟ,+ٜ57y^Zءprf*iiI)M. bCڦeY| \~r%p9fW?f*g KzZV9EBf+ɏuEc7m. (z|$dן 3Qvv:n; TX~xb\;:FXP²:JN39lT_{䳏eX&ANA:"bVKcU/=`t,mI*T2twg?OEM ^6&D˰xl'^ (g; yl4QXp+^d>{"?3cݎ5ttл>' 2ȱgYZ7zXZִF! ɞg]ŗXi%>e٬ nd{d YJ_v@- y!EBjfZYLf9RA:EW>m;߉vZ1V|rlj {Nq9vM"2xHR3+m%m"Gt(6)&ڐTVҘOKcTck=އ^}iU/ώM[ar٢j6;qi.N|;zr $ .xphh*Ҡ3bS,?a" 52@\/M"/$drwKl붛@$IʨGRa ZOJPgHZډA1VX=X<0ĪwzǮsSe*? 7<1.34c*,VӞ }7(Z-.0OVvKÈ?6 ;vO' 7/?lԠ=U@g,n%L!-ʽg5BɎt,[Ho]axM3nT_BeV0P mv{s2ϔ:63O/0A:w!~[1`H( u)\I\h (֘.IPkΞ`"J5հ:5Dklc")kN>}9$㒛Tzk@K3W$+pب_(w3j7Dij`8Z(\֞MJ6v*gs[s؂ ,F;x~a|(5+(Ϩ$" pWY+2MqOm8aO\0*uM05LhJ4tqIP ͱ:8Z>&޻l6~n }S)&Q@U@ΨuZIHAgI#n;7j¿V*NveY8\({txxm0#csu ˯ʖ57p 0[oGI\wEup$+"`((/re%^; XJCB(8Wpͧu.!׋ɤL+/vAJ4g}YZ^" !чc +ӋR:L]1gA|#(z0C0lA{b 0$%iP2H۫8WtR[yQo}~YH%! {9VD^x94cpjb.y>1כn&] ̺̮iI7p{U?Pj+X+s\_eG"[؝Iҳڊ%=Fe8KB-1h\}CN":SC}$Zc"%#خ?XԌ̩4#ՙgO~" +oV5 #0[FL~MDO *3hP]kx|M @Vsm.p V-ZqW Mx "ue,iӐJBv=$lZ]% )g#ak ^b5XzUO9܃brmEݛebI1 E~`(Xg=C6Щ^>moHMBn` dg8mF!OO`͝X͜pSgY⟬g&qsȱpWNqڱd5tti& %38gߍ) =&t{ y g.TyT*n0J-! Uu:o:e!Q';SO^ђ!ɨE.@gl(׎[v`k:L GA1?a6Gݏy6ai5X0!F5'F 4kJ</L;>ECV"AmD'TZO2,`x#8E9xQ Ŋ_9@tG9ōS~h}X+t.ۖya~|ˀ3#|M"v~Q`U'|ǺsLigNxfK\ֻ,*SCf 5R# T]pUy~o0rBP!y|ddQEYX:O)Bg×6i|><08&$m/1z*pk/+,^zBM%Pq#^-GAނ,/ѠY:S9JyBsE`L׫ʱM{͕Ėylʴ7ȹJIFIFk &.xO-V-K57K# +TDȬS~ŌL'IƂU+i;4gF +U-Ђ:IAFoaV@Ƣ4,t :o \N\O6~Ip,XY1._$`hKJu1ݥئ䱇; UP EO h.HPDVJvIٰQuO UzM؊?pNv"ޛDfkR^^qjɂzչg> bG-0!8RQTG1l5 Y߯kjW,"՘_:nESUT(N:&kAwKZVS>G= QBBM=]S3U8U4ta|A^z uHsV06`%h*\EEc/MGb&cD.:vR gU*aTiuTy!z#Jя0ŋF;=̚focG<}ޅ]S=8{e&"A>?X|cYvԗOa+Kdg1jCIиsCGv!P0]5m1s' CGӻ} IV%:4IrUvp\݋ug3I88xE#}`o֊[#m{!ƶ9Rō7.0뮆BЬ*>245pit\w==4Rѕ.Eg!z Qe K)A/׀ߏpHAs*0&]-ڹ|:[&+$iٰj2Vx/>dZiô1%#-mWO І~9@y_w꽾|-{xUpG y/"a.Ímu# ן@ώwI\A6 j?%{r6T[QH!\A1W7cl|ʭ2^uM7b 7Jm࠾֋XTmq^y=eDErg#mn;)5ʦ&q_\JlڵX 4a) oCynHSOX]p6JPEi|hJJ/qٞMob̐:_OS~]b sϭ$c(אOV.p 5= " 2B|R;y븆 T61WGjMQS30B͙d!iiAbS72s,.edelؽ h?an(L,2ݮ6\Tdȹ01D;)|H蜪^Z(w )RX34=Q?>vjȢlyr9 lx:Oz4 t_=ZC9ɈYN7t{Ѡ6w{ř찧>^7*Fi75WlJY9YTGepԨǃ2d6Yßp*S:HQΛZ5dɱ)w=:'RRukZ*dqO@"^FpeXE[\sM4wSj~kjĈP.~ v]h[ 8F478&+*5TߌaetӦS\]t16 %h3,Vy 8A(CR(,#+i4aZA"S "1MjX~&-`U#}\0Ѵ:cq7F0> ^L SIB-V$$,51OswIYRvtUqQP=ԩw=,~Y>l3zʅ(Lv`;s.W˴ٵ̀8 ӨkHpbZRQ|Y b 7wXϡ uLkRPn\ ]ca?Sv5&SbV4|-/ Nf b2Aq'Zjuav"N;  DuG\{2'E7qβLs4.A).O>9jKlK^D]){ejaI0~Ys,tGr90h, G]τKj_ekZ24tFjoeA]G.0q:R7novxHίsJ7?%+ G'G afpQMϷdΝXvv'w/=݁;@`|ʴ.tT !J.QOW|hg[)bPip )|0I`i*I`HHyI4_~J ǪYAhoS^qeCޱt=RkG uV'?Dx)Fxr֩=Uⴚ[1I*'зH A֍lS$ng~%{Ryo,28L+HH'~@T? kRD[z>}15+6me_̔ Un>: z,Gpp459w17:0!ۺwF*2d A`"/h5NJϰYqd-\##a"ϟ~=Z.#t >,k(bnd䣦9}Z4Cr2zuXt$|neuf3"Rsli"݈aMLBXR[iar8pAbxc}M?OH7A|nLKȽ%ڠ4xv+ ϕv}S0/Y):+_G8zeO|ݸaKDž#ќg^j?t}"k@=l1Y =]/ޒ)1˷v{;1-  6g{Ga~@؝A}P>hN%:G8`~ vb%.(Щ,XهK!K|B3W|.%H =i8KJ1˄sO7؉e-Cz&N%% zeJ]uzho 3ग8w@=į 4ʮc)/_Y~D؈mƆ&a g4,;[A_`NdG^X~m~в7] gӿ__*3ƾlLtQ:fsL|=>;d3] ^yn*xUB"xJܬff+\c G>T[jn6Hi -DW+ ґ!jh[ k={B pGK%_Oi*P]'( KHhK$ Hcey;=#*XLbnK{fPo鹮ė^>]րE9ק53 pKS,p'CQW*qK# ' Tɧ1n>xE9yzS0!jn; zz'tZnW qŘ L5Q_O>1mfK7H1SY?+*l~;чvqn _1c3m$MF#yܝ})Zid$# =CZX $|5#v^S2zrX6hBH`ԗk "9AC7/_~gѽr8=NdnS 5xg}vav|wi'%F:B_xDȎ {B1l%%X}>os5OsZY[6 ?|ujƴMI!򓚈M.IW3D(%](\z&68.&M(wvЅZN %n6re8C.k~yXGE[ +h).TJ"0, uiL#Ǩ aj\+>H6[hT޽| /)*#cH4jHfd=ܘ/?~FAh^DW膆o Eh[*h2[x|!-"}zvcYj} 'E5_ԾP١fM>7{ - |OX4!ޛj njՀCX_rkgAпta/gAby%ʓoY$SQ&ۨ`:lз (1,Vl b/<"`Ǟ!o6YrTJO0!eĔ*gU r]}w29 L&l6ٌÁ"1Q^|6)>F>5)o=K58DXXO6e{7zH\:ITz*)_ڕ[Un.oٛp0w x ؤhTnn_Hum!PGU)"t_6NėIng{A:hpGIe"% IT={#u)}w"?Y~}VD"҄T?J$_45 s=P735@ӱJ Lܻ}"y<?)u&ˡ'+=bJ8o\?$^SD^;k=mMU^X l1@Scf~4\!@nS_1"J1 ?^R;5%>L=oeu" 'B]ڑ#\c"ċ3!8B;Y$|PMd{]M?qLKk֓T@oRobm0LrBh\gh{yxګ% nLJn۞| ! 6TE|GQסT~gf6rmʏD|HsuA}M&v{ M8B9jTvk^G(GX7Lʇ><0|@FOqd^itw|>`݁SBrD>nϛaZrJ܀o(Uy$)xU,T<{ pDS M2W6*e%O}л ^3 w$~ ¡ n} sdmWݺ~֕ U4@^i?$O.Vu:ɝa*ROA ųf^ AX#)$KhlJ1/DW'Nt8yW=KŪRn*RUnD&lI}$h쟊 ƬfTL^邬Nv YƅV-EU.$5ʚv v&d!klI_%xj+ %mEFUd`pc8vD?Ìō'~E)H+i5-Juha,=SE}`2/G8wd'F8 Lʸ]U}44r=O,Gb'ԅZH<2+-o1-@>}sRB`Ok=_gH}Xsb*[Ke2hG_Gmk vLvQ~UJOӥcp0_eydwHlЈD)׸uwK9|:jp 3h1Gcrf84y::% , {lhB\ FR>&$'=D$NSdӜ xv)6jڌDr O=AtmSIyXp_̹E'6ndK|Ւ7C+]aVs.F{{Xt2N<\}A;B9dȯ5}7zyEñ?v #?֪z7x`X>Yk||~jc{Hw\r$.͌JMQqrp߸ Ǜ{,}(C *!BxѰl-5yo{a@3jEͱweyg` /;uc?W3] 2Js%,`/ޡ0LEaEX%%Tty3qA :4` d l\"Ún&+0`Kc8Sq4c?ț)oo܈‘R/|_.@RO.hkQVZޫ0֦Ķ_E}fo>6x;7;GQ;UJXѺx+L.Y{ 5 %g NO8>?(v "кjw3{WYIM睙S_tb-Fc+ {CkM?aU1-}NCh9ٝUeɝz%nAgtH z9*T[82$1ߧuDr=EG=x\$P΄\h,n[1w^q*ų2:KӿvԹ}Jl 44e^=J\8ex+{ST !F8(#Wf6V@֡ ]pW?ރF3 _-O> 4ziK(t}_n,|[w'Yxn4C.bVo*jK () X&ef4eJэjX'.>Ӗ5ܔ(MY'^xNZ`BSm49QtइnIH%&7*ҡ,$Ml$;-vMcm5'0n]~˥T[%D"fU24߰3DX<džsiQ ^6$DO%Q'_a%6DH/Bԇ|tkEh<<<jJK}!ܣQt@)P)I+ljsVZUW,J<~yzř4`B˔vL`:e {oK~G!gWt1O,T[RsAd$d7H@׉, i}IJP+KS`i.+U:/"@ (шC.i_yc7W-K\%T#}:)G5_Qv;:㚛ul >0_k{Xs=U$\z1O_su'  1`|AQ$"wR,vBn尽QrE2ǒ=,(#Z&_<^یS"JaH/X/pow_!2:J*(نͼnVl)DR-ҩ#,<%nP(3=SD4;%tSO-Xgv>+7ZuhS#71So a:jmEH3M].5JfWeRĴL;cS(ĩ-!(UgFJF'#>4Y0iTRlxQ d خ 1 Fމdg%OƚU V>rhm;>ϟ2b#=S3,y3&&j 6پյ;D+9TNTN7*u{i-+ADk3< H#M&^JC:]eFFXy>pG5By"6jĽ}pW1e5lm:z]} i*}^pWAsi1 6K)ktV8Nn$^d u?D:C'-3dRi6>Y+6 A{e ֏Lr4W2Q$P$~-;ϥK.:*!8I'`&$wp}7R߼θtp ߡ`ޟF(PQqD鉩)9Wnhh~~ 惲8iGz}_a 0|`.yAU@2Juq_ڨ ec) V#i T6[r4hl&];Np-Jdr"{y^L^ΠTv=s7 xR U̞\M6YЉپV}7hR&+(U~Enf`8RFPCfv+"61MgnJBwvRea,... .]r1)R,ɑ[G@rA+|X{à>;njlK9B 5ӀsgG Oa:\qbs3 U#/IQCk*( \BR;;E!$:Y. snx,ںO'Ssy^n^NNkغ|e~dgÚoqhuGTpFrZy(.2̴kP!q^^P쨥 \\W%LVCSg+C_5KyYc/Ճ? N}}H~R5T\w -B$|NԏGAj47LI~*+2瓹-&1Uy֟fk76U=79kYu:"<1ҍLlFF,؂GBrO82F!9?H)oXpೳØOnYN QَI TݎL ydpqIL91>?D}@꒾N&JGN^c7g%J^W%BcƾOQoMKr `T/i5qb݊h:QAx4ˍy.Jw !u+={Z_|ѵÆC郑n.)^L$Bڔ> W^vcvͫw!(p]`VbZY wڏvp3S z*^]E#bԌoZ1LSN=#|a?]<+=cuU5a썌&\EAQ5~3٥% ~iDM"C͊W{DIMwtH N}ý6[qQNΚE*ֲB-[Ha2l-GU$BM^8ѭԒRiuo5nJua,&NT*i,Qa]E WTB806)/+3\Qʄ[=V8iGVޤJ^0tr58U .ّfSd+&]v\}*j8.(l;k`GH3w^S8ɁujAݑ'MKWX}wB^'mFnϮuM\cGSdȅ:i)uWs67ЃR-՘/=|/Vۢ,Oy9`8ϺO5P{ Oq@]D *kQ -Zj`y&J =a@y*u Z4Ƿߑ{I֨${j׉N2_.-៽<-!#\w|?[rY&?_T,& /ny_txP#dJai8ԇO+hGGʦj*x ط&2pU 3\1(Gw>DcEuwq>lB.S[s^Lob IvbLts KA<`>l)N+ `~Jg(Ld#ntf JhRI폸'7`~:OoAHѼ?Ua}It.E]^vϱ3b-lقeWOO@Y] E[*>ܳE }O<ނhl-Al%,mS>VK&\֜d"hDx.%|Oj>K]7 \аd"/5[;:ky)_GhL22 u@"9#P2>HꞱ,\E`o~Hu2)pv^хWM}b N1vQqd|IyvSa9I j@H?ֹ+fw+_?:$ ]X# Kp~G< G$p'a>݌'Y6s2ҢG4tqbacYڔ0n]-lWd5&h]M6gKh+ƸjWa.TBX lg(+2 Vߚ\V)޺(2%ȇ ;}sPĜ]c r!FzGyɩZ .0MNJR .*iRu9a?k&Ug8O?a7b4Qhf^p%ݣǷW ,v^6Xj-yW)':MIz;Ċ򾈴2.xH;q֏ٺMUQ5ЌNQ%l 5Rߠ-`[ajcC%t;/FW 'poZ&xC p|E/@'ODztat@0K2,Ӵ)=` PeQ7NJ/H+Iedܳ̕"۩JK{z'W z{6>L̆)hJl-vW.%oZռ_-cR 1Enq,`,= ֌)5%_ˤa2O^@$rⓒd{Ax -~ڞi}vs| <@0Awp`2|afx(V}=YTIEoU5#rsE'?I|xBa-  LX޷<#]p|v!c|իx#"1tdIO4T\T`بM`y?W>J}Eo|9}m8)WJLKm '4DHKNcgjBL+6}+E~cb닚8Sb̍*5:XS뺑IltuY '5XiJUa4.ihZ4j>%I{Ɯf=-E8o#^ЫYIWyCd!q^ش7q@WGx[lA4Ɩ.. ~{X|WMEQ:D=# (/yrG(دJu~:V$`oq Bds&E?:@a/ LՒ{M޷\O"Q-oh;g q%xHaX ՁxsL'pLp'c]bO+TQ_6ZHmU{.LLP"䀰{&>)*陔Q`TruK蘐V=c\G!i$* m .ԉ f[DJuI*&k3i;gWnqY|N=`c޻CZVU#>?h!Iש*"zzҡ"\5c0|FȻ&U' !avNĦ;;ZwfO$x70ZAG\Qyg@JـaUGg_ P51U>4[%}`|&B( &%n@m `I¦zH(9bJ)‘.hnP̩ؓHr#iN@:s$vW!Zir&,Nq\itºy9S ]@7y`ߕQ mAeu1-gE@ȀqSK]_&FZԶFg)ߢNZ0 ZґyWp#Oy!A xn/Pt=4PVt3}bșT$u1-RT#v/,#9 mޝ5^򭸑Ȑ SW}+B6Q( l񫂫ge[ΓXg]KA"CH5ot~:ƶKƵMCQ ̭ ;K'+Ȱq\BYrvv/a{^n;-Az%ώ"^ٔ)ZS2~ŵ|/nЭH5l`q~Z7j"uxٌs$r k&eSwc|sBhpyv{_%%jSMӟj7T6 '';(mߴXzxf ucy0)k]fQgAGr?J+,e3H}寤hgb1'Y^@DGP Bsle8h2P#XjDh{e\ũ>a5:HgAKC!A9A<~h?S%t*X!VfqQwKges;m_Avcݏ8u}/ᅐ $8U|{11V;† GМDX॰HNdr fmY"/JmVeN"(42bdͲLtvẊ`E7׫οխn&{I.UA\M`*ydHߍb_`YKiѤ 1=$U[ڃ`okvokú.Uad{0,wpy@ړSB.ajcY1 dGZ;OV`9^j6pTrzP=b=x-> @Xx\<P!cGКβ1֎V _ H@Œj?tU 7Od9][75͎Nɺ|uj}RY `ݵȵTq>T4C;{DF<=4y0Q-lESz%蠝FIYQɦHuF&F!DTJ$uJlWmc[hxedtDJ OYb# XVCnwZZ=YZ ;s>DzoRT]t+%Ŝ#[P0g|kg~BZa j4dᱡja,9hj݋u,\.IPLRI嶈 >oVHvN3k.$ bKm^dzz/Uezx^x^Xw dH,^r9$ɱ:͒[| ΓR&Xw7fk!ւ~C`rEM %*t֬щ6FȯxKԴ~o7b|/ B8g T,^q {7X~@-&ߥz(ءߔߍ8sz}eOrRњwT"kb,?]T8>T5<5O/) FSqE9J1R7^ToR@z8 d8϶ͻ`tGADI/Pq;B•įo$e̋ec(}F Dմ٩Cu} lΦiltv<_I ΖujRsn.Q Qiu.?YS7Ⱥ,itN9t{ȐhI+LiQfaDNX0ŀH&i!3~@5a ~+%=j I_";d$%bJ gb2K=$ AӿfV^F~i1 8\!]>. 0T9*O݄0HJPvnK-@>[K)Nቾ-BlEe`<7쫳l> +&zw;? ]oyb9h; ιuqT%8&:|?PV̧$]tSUl&$,E.y2t2З*ʌM;/v֘1Tn)?^2- 6\a)QO=7\[K/5u\l?L3]&o>/K kd_s6|%f(t  H G HV9㮙ZpW*$4r{&>w/y4J{ j (tdV/N;hi Z60Oq_iM/I~0@K) ͐=*"Q9xȕk Қx@3O''kց–l[{@3:|ߣǗW0:ps*)GV9~M`;hwWNi+ ո1b5.?Ez;T9󺬽m4se[P1u&R H+R Ů(CӔΛro]?&5L 8}J **寚'LZT"!#v@riN{̐IOyt-A\b}qrhoܧmj!̽@IqįC^5bݝEgͦ%&0q]53Yt <lJޜx)}.1&W3(z脭=LuAF:PT>ڧ\޶ H^o kZkeBQK!Q;՞8KG+ @j-qԴi~I'LP7zF E/X"èPTS)p4.x4bҜFWB11ԕO8}`^:fofcsaj'r9.JlfLRPGH>7C_ iP "!*saByFZͽf ( Y,V%%e+ccZ0CI͋_N-K;# t{ coP'_} yEaC }E熵oBCH\c!XJJ;pb>zj܈-ZeE Bf;,\])6Ewʜ|;/=Tk *n[d.؀LkH|i碄/{fVe/F摺n0>@V̯'R;ں*x:_p)GN09oV7*7hA'[Yq(߂ KpO4{.gy7!hT?x`nRs]+1U^$.X4rr;v vYMΊ<,`Ⴭ0L .]R ]zJхv +! EZj3"['3SJobQ&$pݬh'[scի%e*T S[K>).Y}ƼN%^ #>ewЉE8( 2m\Y&lψphk9|4>4{m({Xƫѝ7&p7?b8@_y%`xf!N6,!\02ߞHP G9P 7rb,yvW˺Kf"aA`IzdUV:O@._*d >L{KA#q4| WD$_{iJ (GU.y}EX {dO{۪iP,hb7l2 :NCeK!/}ғ 2hZ2HBsɛ)дD7 M^@Է{b[|Usʂ'b}beHa+_`]\X bsa扊Z#LĬQӥTO(C<.qc`NR(n(4TT!h"iϢ5aqD&ȆON&iy0 *"tth?0ܕdB5ekBU բsl&"0[W J(g;GV\optݴ3L[ɋ$_z?0!P=2Mmg>̆K62q;z'f QSAG%F} >q̥^/~yWKLȧPhEtz[D$)Tò#%MFU<Ƈ^Tb/„iA.| .u@1sk.GшY )TONԲ"BWV ŌGf7,_0b$x.21=~׍ ˩ &KBO u'GC zʝ0'_7FVM7Y65fXn9ߋ/fgnΫfߍD W-W+eҰ lSx`3ޜ hp 0E$nm>k1Ɉ²A?E$$W+C^ƴn}Z/a\恭.f4ER u! hB{*"LaSp~dtmM+gO EAp+hR zFvkLCJ@9 +8[Y$5dXQۗr1uRU[av#)߮Ocjd߅kyї^*@כ%Ʊr=䁊̿8+di4:N`0$'`施tBBc\"U=#y1Y OL$+w.:3Â&czV)Iinԏuq AL]#gN"K_5* t;?Tk/R`if&<$`#o(YFT(5BXFR$|9ㇸR.ϊyoJ02꣬L(ygD صZx}H?[A?ԟ&ژ6P┓FAyyAFQ{Kď]Rkʄ׌-=k6Z^4m1eC.rܨ(GZ6EF /aod>>,IFDt yܞ8H1*Wp&EN^Vʥ4EX)C|wE).֧ŧ:^ OuxK:'%{ي(JjZh %5}Մ%#8[AIVQ.Ѱxd ߭!ECn=rQ/%Kixԭb/RLid<Y e(yvkx7F)@V[HSC2lTQQ6ح0EjY^Nn #[D>X`Fx_a?X:1M σSMHsY~Vx]*+_}uDMfOrJ0Grx|PjVQHF⮜vҼ3<CM7쿒*6F4Pq{84WB ιϡrݭȲ?:no ,2^jƫ"&PrpdRS*[`&ט^OY@N&sHT=I{/j>>qƖ(xMCB0zNsՈSZADy۹&Co`Q2N٫v\m ;yE6x+Lr}  X3up?Gaw!7\`qv ϸ}Zx8&, HJTcؓ3Q [4.?7[Xbnb}`(}ذpYH5MFM*DXpkXQGSMIs#wPĎ=Ok0zSՃOnV%[|Ӳ`mf~K Si"Boas>"}xuѬQL*UZ6lÍQP@szA DSا(Nw}T饆D-q*x _&6tJOPF%˘!Ytڜmp*1+SOxJ՝[d- p~Abx ‚:oV9K#uTSow! wmI1H1m'7jC-!l9Q 4'3Xae}Su#S6\9, XliJ8vY͒mѥ>BJgP9U;=c"ۮn{!$-UD8~ 9dk[߽ξH[cΜ zW.F+((r>i*{AeZ6A34fJל:dj]ܿ>QĘ20BHPlofڋNن/&XZ[4 HWf*ge|F74cٳ^Dyl)ծpZ ۮeko8J>Y$ Q=jF,ktGw7Ħ/sZ~-죃n$Ӻ5It^V_I3)_⸹&_+tCM= JxVogt!@K2#vu==CKh;Ot~[EހMzWcU)t[0`]LӦ M9@׎写OaQ{ur,h1կk3>A]zTYyou`]N wyT'x{߈.x#껣ig Nc JI%os'V*ɮׅ8S>Ь"4wWZ*?v\s<:ՖpH G9\m2bʔD(yHYU99G~DRNej0QoҁSƋ5܇@=A$"RM1W'Oo^à5+_B~BWFA8281v3-soNeg6eE }~κMLqC)/ tD;.KvS>4kW%⑵P\j>RlQXF18dC&-0!eFr^CCN\:Ւ骒Nu'`I6 ._0Zg7p䟌0eP?[W%i|py T䣆PBxݷͱz\U]>8_Q1E c{L;-צ2gֻW f-\^a XHbǣK N "ʨ=8K nL?DQ'OP (q.[!:Dfa%TZ\hhbkF/bYRxtϾM۔$HʣXk}/\Q9HDS cE}O֊Ozuףb—R<$o '0 XR_s pџȻ :I݊^t V} M3ɫǦ HԒ+ O\,ޕ=n-@/m6e ZŸTUj~<AU5{?'Prүѥ.sS#ƽV6Dn&Ar+xG5`Yj{!?扔\T<=)uM*{2-x^o<|.\蟹: qSbD6/U`XSxr/V1cf958Z&Zn)ލ *3vưZq/wȘ# xɛSlKBakcb\aӥBAhC7K(+ciS⎟boyiwwqu!=~5^>*yyf2:k.)Fį/i2~ L[Feu.=9nس:CE@ު8kCnWצ/4):پD uA]9N5Q8 e0Z2~> u4R6S­9iZ ̾.oUYd O@^^~BB'7+FK:7 #5WN꤃Q̇` KqňM؇#KKlVХ/YX:40'Y-<=+z B 3\ܱyEPC`6АC*f1ćPŏF F;K6:=Ueԧ8? žHGkq|2$$zr^%eLfcP5pC',C w+ګ'!jJ@'M[4uEG=t$c)hz`9 vpH*i{wĆf8Z+fd _\ H޵`h*L=aPy_ IǮ}BڒG6bϩ}d&?\~En+;Y*ve{ۉ%JqŻdxAZZ?/BNas3Mba@^9Bp>eFGn]{k~@&(zO=ĉpx1=X j*]?|fFi~;JY洆5J ԨYה&9Q#ǖo!J j=jGD*o ݢy]'*>cІnK$45%Irоv Ucei.]Y߿3pjB0LB l+[1aM SzIf/L娅>z.D1~ק5^28ckӸ0hBYz8h NƂMcl #3 *ܝZEjh>DMOsb`B:]q=If$.M3ds&c{\D^PH-w(6.ՙ 0"DǦ߃w=V"9oC Y! IvMHUgj8f ؕqS[REG !¶SЄ(vۨ):'ӴRT 6Ƨ0E2̬dV[`1މM6v>".$U K⍗v%mE_H+:x0h7a_~5#wyZ'XlwΓ- `, D45̴]4e5l[ٓT{swMeEZ{_y~E(0U%zZr%bRj Mc@CΪP*y^#X໡t r ;t k.J]a奩aUMsHd4k7AABP2V2)CWkR=1q=YM1tZ;wbC~pJ(j8IYd9sݧTjxCR y{?XuY\z6`Fkl "EP!R78z^98*UV3~15:Nv.Tn+C*A*,(4 @Нj ZlkJr?Ս] u7<[&=i{D+`Se8IFޥgreeWD# T5n{:1w߄n͚5)SK l Gd ʸ¶ ];~1 UC'7>'\q<>;79xaF=EFҡKFi'Jr'QjF3:pf<&_:6_;hFa-3fޛbAbHNOU4)?Qm]\",bےԚ$ݑlLӡoA*KV)>"r:5)a; B8:@lp>G0">>WBz}5#9zJqY(ƃ /8JP i~ni.c{J0$ZTBxZ IyXVڈMiDŽ<"ʀ:$^˝hp_O0<6B`coC r`Z:]bq˝l(5(-A_Zv/݊VTvՌ-]~5EV}> jQki[2 sv]>2 PI3sȿ J*"RlΨJ@Ϥ]<?FX3+jPwQOik@}>ŗ+ (޲% wRI bu+UG9h]3RU"-jL] rE3v:Q%ƚiMƜXKkr&,T7ek K޹{K o;8Q@mČ9Bc! Q B, ׄ c̄9G6߿v󸞶gR3}frF*ԅ JV %<&~qs"="YV'͕Y>1o^wngQy.)׾ay/"{{ow,3fN)M#šM> ERPO|0tFâwAI=K-UN4آh&ҖEKlܧ2<*sTVi_-|,}@C؜b_|\ Uu1GQ

*{yFmژX.NwP)P ].jDL8]m?- kE`W񶊑ꗻ?q3aN oLRZ~+Mfj;QG;jh/|xY&]qLbRWg$vriԵ`7Y9?eÍ雥r,OqaQTMy"ʯL}`H6=DL %& lZJM/ԣjIϟbjVƭ7.(!i/A "p aDF5 $#iH^̉u/"u;TFamQSsղVO1=dġH!QaP?~dk0rgIvN4aHf冻d{iBXZȤe% mם57pܗ[FfI̻mc"E nSIn 3Q5ͭVS-<~_?Jn.bpvY6Ă+kUzBG? g!6@卥ۡd6v?^N}G.b +RN͟T+mˊ!,9G(?2 +BHb0yV&lB'mUGn743岒=j?iGd@ZS9X޽"/8m$}9i #H F-dQ6V"ko;d- 07]q4ynf-xzR:RdO0,:d$Tǒ}ybEH.g*pia{wɺ}U֖|Px'FlL-˵}q gJ&tNU)ǫ>dT `/"IGVlӢfc(H?aaBC+f<c+jyVSD܉W+kgT3hc9tp[jN`" KJ[YO`FxZ|sR% {Ϟ8s7=fda|/e? TKݺ\jYIc& p>߷b~C3fsHv~W+zm2vy&Vl ӿFi_DSNDƱ;$[\Axs@:2frwكveUɘz#hdY#wzt-5]$wBr>X/)H(\8 Jdi2_P ~(578>-լ_*Gr ~n~cS 2J!7}:<5Yڭ]fI\&s t=K[ -<8f!9@5 kg8p`ٸ"">C;r|9H氬Zg!x<֎s[}cy5~W}X;]ˈJD\AKbC%-`OZj) $; <[WK.Ez$T@Ώ9 `Tb{ctẊ!9Gš1cϸ碲hQ-RϮ&nվLz#@ <) zC.OSB|VM%"6_Bx.YҚ}yTAKq8xm+ߠnlpLc/ȩDːi$wp Ԁf׬BB.w3T _ɝ)]|}zul% eM`=0V+0٦#**ۮMȰ2,MA$Nq~ ggd8 flۊ0Izso8n_`UрG`H<Ve"wΛYbB ƺο#fp[ r1%k;̙8qi( )fX^tf@(40uUwMzLrh h/Χêk>hXPίJM |b6 B+&)oQS@/'&R1$߽z <gDp {)~^¬&+M:Ǖ ;+򵱣x!:?JKx~Do;]ZtOւf,81";NtQ4\WƎS/ʥ~r&?2<ݳ o) X0;"ӁƷAEFHulΣ7nj LuG 1edm Mga")-JS/wDZl"P2s @.ULqq(vUq[i?9DQtX@2;a'K5+ʪk<ց!uK+ RRz:"K/xr~ 6a ?ڄE~Lf*uS !>D&Db7xe\$cTeT8IbJPNmv^A*0낁kgܝ̓QN"2挩  ";؛R5ـ&SYLMI_bi!2UZSz0Tj&O`N^`uܖ.j  %$Xz?\x[#H aYTW7]A x` M;7\HcUa# pF29#iƻ!V11GLų agעAL'35E%@lbRr(>ꔕ wrWԖ'fQ$D9r8bIXIdI&بeg0.:$7  lxtD5sTd[͝M x~| 7P3,iMnE?&}ǻFjηx\3*{8Á{l6*AׯaiZBPWP2>C u׺}#+PX" ^?ahc&O!w@GP:dE",(օ܉O|R- 7"%%q| G<.av9n?"]:`i2c.Tǵ2CW-t~u%zrNdߛ̔@+)6Kw_!e("OeXycr^R^#d*FTV@;rjj\csK{3Y,R . 6fnW z;R9o:*{q9 \)MHLž6ZngcJ#ʬ2c1+Df%#,ro䜐Aλ%X.&mOD Ln26v GgYZa5b66cc8567318df438c41b7874676ba470349af6aadefe1122163e4dcc89994df87a16956357ee311994935a1f0bbbad27660504b4f49b42aa0b7c9