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  (!Dl ]]]HOL-Proofs:threads=6elapsed=568.119cpu=1374.048gc=218.008factor=2.427zXZִF! +]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~&⯛\S !~鉨dDiM<U~d$JΦ)e.A즤z lc袃f4=&Rp{emYYh.޲!1`#Sl8H\(ֻhçW"O RD^%geޮQBS9 A:31OZ Uӫ"| 7Q߷U=xFZ,ݜ>m=}Oy<ÊZ\ '+̆/!`7Iٴ;.ꄖ ČN.Df?:OKm:ps .Wq#- 4L7o>\abWM@Z0n0}3 xKdvVp !,=yf,J[K)jhe;(e Eҟ'aLt{Ā"D`퓽Cq|Gsj RcL:O+tad%㆟ ڡPJ2˔ C9Ygn jbW\j !KH+M?CJ^1}ss0Q>JΚF]Z3?o>{!oS|B(ŃӬƏR%ٟZ<6 /;rFjl| /J^dq>p)uɘ _ЗpP\_Sz+ [%W9AGy}QUcXͪ nShda eAGO쩟nhqݾЭD3) ?f!AcOq.۽? (o% fՍqyBQym`!%{pbRIˁEcIJQ*m_֞}jչ > yDD  ! HOL-Proofs  NߒDqxW7T#%;]]#$D,RG7syǷbtfSkM G2`M]p|&V #vU7þ ;3&0HZw%i=N,v zd/WYsP>rש72`ثOxPOD)|8S|*/~#:2XCNMR^,BȰm_M-uoP$ u&}DO Ȑ/&DG\9*(WY+GixireaVZĸ*؞įx?V#N=8hۯ狻9KW>Cx CL~Q7NB$qw1cyQ=Nb j{*_%` @ʓ,ǰ#g)H+q>ӉI Vg"NgKm9]em$8(9ČzT_hnZI%- ߃&y0Ej}>>ddgh %$K'zh%/ŘWN[zG2gԮh P^%i_Џmiu˟|#mg|܃Re\K1Tڦ䎐3p*ZQ:.8 2| ?21|e>s6x yOu4S%UPjY7 kCN1)F+5DAMu'*j:]t M]b9 ]5c߄KDu'R8d?رOƯ\?}! Ӏ QjWֻ(ଢxn?(xoM_P W El| |RP F^CvHހ!oh Ac `ѿcߜ{% iR}2b3IL+[;Vl⤾yا9vPT3tÒd>sjʖ~5<|hi) ? 8l`9,]? Ʉ _>0 Ca]Twx6J1)ʂkkzcCCq&%p@|P|ce4,t ~(ML{k.u\Wm0DmlZBvN "#]r^Oc5A668j+E+}2ʼg&\H ﴝY}e!êb2p{Ъsp ]@) 4[dkf" խ@crasκ3hmhp9ߔQtojD;=[9Yŵ1o9e߮i"|f&p KҎ~\YUV6 ~B `ݙٮ-+ 4%EZo2W@;ZrLH/u3 $ uA :1)#K#f}~̥Nn5eTZ0D@ ܊nv$w?-[\J`|hGlu:F/,D}BJϫCH؊(;{ޕ,d+n$Ɂ}:+axhG ZPʂ$WK,Z>by{66ej'~ -8%e&RgDhZ97p -$ p?ue@1a;C$Z,Mx'\r}]df <[y ywv,5uiSEi5 -T5-(m)ґ?' 80.IV^iNںW''m\ˣ[sJ|Uמ:FvBm̪9%u m-^w֢'`#M0 qq V̀Et 5:y{yNݚټur l;$J+f۵ ߇ݩ呂2BLӌ-= MPh%gnȦ- G$OU 3u@P7Bfg98[4:a5m\ +I4 N"g))TCI)tR؜irͮ>ʱwD+IѥA=NDiҶjq\6&] \o;ej\}GGdz|ڔn$lܪQSN-o#O8`gTOsc`PNÆVt_ ؟+O뙐H41@WKp& @ua~ f2Aba'ĭ= A?)+TO_0b 2cU)EE} ȫD Y?p#7}ޓֻpya9f@זq*>eFzӕ:if&OݎUzE4Œ[~$ܛSgZek],Wc E#X x4 S9vrE yA#C>|5ԅp-uj }\t*=mf1LG4Λ˵ڜ".>c e˨)YaE_.`LL>HX7JL88M4zJќexkN82E{+Ư;M g?S,L$ iMtA-tNf;'n霵,0G%8c_o}nM/Z4O 5/475axθX($Z\MU<4UMS%v^_8~o@N'}6fzY js !/J!RMUchkQL7An)N N3ceh؞殬 Ue_v?RJ2}èFXaMm#:uh5}p9-tc GDteȸNQBmްHi)ײNȗ-5A3A%ܥ%H)4K~?md7Xz2pV~rWl7.Ц$ʆIg\GoU_1i 윁3qP =d#wF,mxgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B0LL \;ߑR&|ZS]IM8c̮#!V'CF1E->C]=VYcIǩ~Yzn(e3-ӫp!72kpPg~nǀ/zbJ^%4V%w&D;\BEuʐQO1pߏ?B&G/6Z2ii*a7~ԂqRGV>YL'kUnCBGFvcvRxM aڛxH(U'ΪvDq{ϺJYrw랩Tၤ_ocE~T{^E-8ޭ{9CŎ$ ./5l&E -;p fa|rB{EVKw@WTpOs>%.k_{'X]mصuHVa~nDzpV2禕&.FEj!n3LVC/̚* >ڜ<>H[4 3l>\yܪΕt뒮,\=YY3}u5n)5uIR|z@o"χPaX&˚U=aVS96+xf9Q qg.NW;o&ׅ%4 zj}#&VJt9 :ᖛoD18tO׮ O=;bj} J֊@N1Б 2cR (PHh5.OLeD>H,/^yn|kUREv5;h~27> /u׸*Ш9^K-=^rH6LM+ŕ8m _ɬ{#(o> Hj"jvg:y=6dz]F䂍=B~3ο11Zh5&=A),Xۦ|El\7mB!|H]_3 6r>2:՟lEP]6{y9t`O5IK:;>cgfiVkx2 i(w̨˹sWFc`ʶb&c=C #,lY$70hz%ѽ2ybE(cch.g.KC1 ( NeGEV9lĉ ryouSgl4 im Ԋm[ԣShA&I cۡJ V㹰0& 3QPҩ{Q &D 2ߒMIS[۲#Sť~)"8zCjU,^I}B)4ӱMxt]Ș8zy98:eriXz>\`qϊhe ]A@r!IAWb'ڤHe/A~n V"vS\4KL#>!+QJ-dG$Htt]f^WTk>0lC4]P72>` &E9sz[=Yt H:-ij}Ǽ [R'NZJJ8<=%ZspܸC .v;,"NY2v=Nd4j%tk= + )ozPE3(#OH(1uJo@6D'=c"|_9&$c:괢8}fw(,~=gپ{{f^*-*|mӌrsYD1M}{:7Oe.`5k[n]Y'J- .ZAZ7A%1Y? I*WV+fI( FG&ŠTFq_sevAȿ)8k{Ꮣ4C*z`8akӮ-P"k8Zϕ ڼS|W\œ XN~͒Z ~O[EI5#MtRBO@XnRb?{,aԑy/]Z95taF /{Pr-H|4۷(a)gD t|>PShL\#m^dP: oBC>m u}<k$)0hUJRy&C(xQEgnmvB2U JvI6g.U*J]Umf%'^W׊~R&&]Osw+B} ݫƾo z14^F C'R"~.ym'%yVaI3,SŠh( d IP[c*oNZd$O-OB# c9@$/t(y1\Mvៀ@5p4$7֕17ws1_̠}*v. 5s8bBGJzD#d@;gtP3XPdYȝL: (RaN.Cv–P7_ϙ̇B9[WYvCǁn]d: v*~p 0$f{ EVӍb#sAբ:V$ 1"Q k 0 T_NLL{2х$V?yf%%4m FOI{_ 1߀9'ϛ֜Մa9ABk,Ҷ~5oXR&ET^fM( dzLF9α|# H:([}(!@ K m%y~2ܺ1~j$b-F! "Dq$D;sqsܱ\ A5&9 zlXt|?[ yb KЧ.r$cBCez2uT_l"T%e ma׼緘VސXbDs--|OY8L7'^ݣi3QpZhjF{U}+oz 7'Rii.=R09\bԂz. bi\X*Ȟ~%kBoSqƓ`|Q)OB뢸Sv > B:* Ƶ#?ĈaÄݨ W: .Jvnhϋ9s+KD.%pUo4a*(q ]hHt7aNhAm -WH*!lwBqaTw“Dq7s29aXl LNX6$?fhս0l (ꅬ!B}$&?ڇ3)L!ZtK rlFKA%=ER {\l?i7۫f^*~7D6'vvWb -ś[9gQtŘkk9ɯ௻$N6\vcQr/ a@ɔ,vFPgRayrf0h9vn]ۡbu *1Q8L%V isH) 7s+3 琞@}llrV4QU Vr6?:"s)m#󴻤3)7 :gX卜O|d.GAL7Em'em27{JǒI6fITУ#/c}lVngv;~j70#[ܜ=,~`s"K?2"D4 z* ]Jtx(J]qo[rIZ0RlۇUPcD.`9d%'6 _἞q TE([=d#o,"|s2Z<ޘ?ld&W h1қ~"״x[َ-܃ Q#tn-'>%DHI@~Jo@.7cJs&AI5mDG,-tW P,CÞAXS$*I-)q}b4UGxɗlO 3tCa7@̓džVoݴ÷G yHƑY42rd!]MD*9!+3 45F V0E%P$އ&0n-ˍ3^֬ˋV>?S?㨰f:Lc/QlaRΘv  GX&|XڃR'XU0Ndg='1F5B:qlW WYCBvZ0i{|ז$G}!NpN& A.`cFYYi-[/8/qyQF{:Љ%¥rb[ʒ {bģmy$_EH23xv~t|^ALJvTE_f?FZ>6ޝM)Ot GQETm jr<٢'}}{FӷMU0Vޤ\Ż8F[mS^>Ltp!ZP"5⨦mcW͒Nۣ_Nqf2;ǤZ7>?&nE-Ơn,DVCH颻 hsq,ԟN=(x(]h`BK|[F+U oHV6`o%邹gQ$JG`ɽj2HR*/# w [O"![M:e34u|cv$'JM:;W+_A5=Sk ^94RE|~𧠠sSVĜ_.Nl~BUrj}bwL"stf0AbE|*xӪU7Qn=KXd_*zFO%Lm5@MÁظಀ&;ɬHwYY'EޒBIELƖ;qNjVk2zlFzq.:u8۸40%SYbvBR3I'J=؊b"?atl%n+P꒠bRl !gA !t~>4jă]U| _q@WF>]O%vIV[Toph=>5އ>nίԯfu`w̤#{TyKjc/Ł+3mE+]lLWx~WO*aЁ$- l+N a*~eq0eLO!+S%m?)cOk*A]TkB9 aVO+>ؼ=3OK8RV:,Gcha BiJ"3#\ԷIoz4"{&k2o"D]#: J9z894}'NjG;/* @wG@LqGx|bKF HTd-Pi]I#iF_-cs")֟ٳchD%X|YMr/>3&EO#+T'ؼo ˚i< (?"+qjߺjHr*zFM/]z` Rb|LcԈm4uAS|&c}4怍U'.}y vQ6yPْ7t|j?ƺm˻ { h$=xYl]ꌱ. 詯Kp1,xQ'o1ZM i5l\"vH `g>e$acxHN!'`*^8w9B:iYU}ye5dr&R.zb!;[qxFqMДsi ƒ. 56оŵkeSvM.+9׍*=PLrO'9PQQbacwCG>TRAaR 9R/a I42=<{"5`ҜP,0W ?;Pռp!jɟ޲%\ lƁ_Y՞ǃԘEdljˈEʮ kWN.tks0L7+W UfF.[TLz]hqxŧ1oFM41-r`($HMAXXqSH.-?z'ަ@a/~cnZG8VgHɄtzJ/B?@v@ H>C"gefDLچHEOubN2r&n\C h[H@p-=rEl@m,1F`"\=lXZfj0yB'9{/8{hx3,+[zG0ռSYA<>Q쫍9z`nj FwWTH٦;|%='A?;cC 6RВG)XiG;H'yj l&B.Iq\.V''|Ͷž(4õ+w-ϤDMDE76och%H>3Ċ윙^1$͝| 2No?gקr])E7!gŎ6D^~Nz_L\kͰxV sݬua# =8`jFE3:1PƭJ_@FyB㰝QKj3Vu %/}SS`nq94B6:(og]ԏ+KQAohGhWq*IH i#ca,05jKFY=G|}KA=K\$ ]g-u wѵJݟ' 4:?c7 2M)BJ]WmIg֞}|P{y۹Z.淾I+NiupOKtmglaHz MAMT A,#oX[>>ToagD,#|$ 瑱Qqh_ڔu-ak69an \p ]cZ"=^3gbI:3shi lVy]v@ۼ)ud?J+hro&BbHUT60,UYů̈́2Nwpe~>ľ,M6E-qٸW\Y$Yc}Yz*AwrgGĊ )_9eʆ(?&LerF9;rRg_C2V 33y鮟_&DLB#v]/V_G˦Nkn_=}'u9 IޫOXųbn|:%v؁Io۫0xӊ@.)綱xg346Yᳳ^! ~M8.g'gsV'L\Zʧ]ADE??AVlV/f)dij@n\*5;H-@žw3{W?^5Ưo!~ʷ>/WR4Wf^Z1bV *iNdÇo7`OUirQb)ɸJ֦͢&gRzwDMwWA{5;-ˌ '"b?FI@7XC}n%Sk)c D8,k{ _V,2HF'ec/z0͏3а!4yR?\ϼ:2EkD/5oR+ Bb:+ FІ`|>LI]k݆ BZE"܄B+.;<P $$>5XHIMW=xEƦ4O x WKWq,f\ ڳoǍʄ]k\sVʒNg;ꈇ`nW7j*Jdw?R;2Bn#.(}j:LjM cXHf5hlOpR%h| .ɘ =+,q{D5rTj`5E`5ӌ4TTjEak ش3sIFšPjȣ=6sg*s>|}mGJww*Cs1{Wدht+88H;ԾxG,?{P}`ZPZqWvNp*2m9 # z9vͪ] j]xҎho}vN:J:|V6jZ({ 5c߾_݈ZުXqsjgEBu#Sx󍭲 |`Z)5IAO4S ~*-% Ŭ5o\H8Yd9$HTjmPhOcYceLMBa9@Ĉ\~.Z 4Yu_یGQ#=+YņsSǯ##̤ItLtbqRݟԡqC.hqs( )pTB4&ج=oLi 韛S0Qdit-DUwg9+Bn -q>׌.ʮ bvYl$,M7H4kz5+ǎ]hoO5OJm%}m;ATu&Դqi=Ʋ T7\˿>}]-_{&@amMehYz&}`(I#IlJ\ حr>:g_:gqaR\/[y٪脣)8$Bꉥ BG!i Gv$뚸c#Q8>҆%Sz?t¦b]aÿU6>Ǘbӽ%$YQK *q$7vO?iz1㸒vK:9ӄ Ʈ%K|]q꜐D&@bȱ3SP@CPpC\g'Eym8k *h. *3B.]T-ȃ~HqRj ϱ>fFkwZsDbs#RzOSxynXeq5Bq "XxJV-\]5FWnƙ43 Z#MTy;dZ!x?DŽ@.DSTF%( Mp)kf۝̃fzیTp#ۑN !Ymgc*؆Po,J3MηJP {䕇`ԨI\T@9L`gF@wHL Zc*B,Ca6)j]X 4-j. y'1+޲# 6.A/9kR鴼Q㟸a#Sqf2O-YO3OfQ{f^*pm=$U1 l 6‘,,B mK` itn| E`;]Vz\"dO*LN#Xkw#q]YbYiը3i6+gamA9@~Vڹm1w678$Xǖ as,F2)fl}\1]gc$~R| <\Q~=@y٘>Ϡ CL B8L ;ʅ~2/A+p ]LK oǔɰF:fȱP2 ; -oC/3,ͅØ>K>_?^tv{Ȩ㓿`.[O;J/_Hs>LLY^k<(a?'?-=6KS5wH."zvIvl3hG℩ɑ$[VGqEi M)XHr{y2\L{h\pvRLaZ\ޘ`(iVj1rFKš .ij('o(jMzk-jIeYn̶l "Aڶ0g^l}UXbnj oa .U}+9>2mL +"V+Z>ZI[6ouz.#(.FE"om*FBMqi}@~_6؀ )SD؝Dd[@ S.X~*X\ӣu ms!ˌpIX qHxZ$a׌M̑dv ق?͢A_&GPB0*vȕ#rӷV^Db5)LU|Jp2VR\{;残@4m]6+NkF%=^˻BvGb=u|51OvQZ FT||g:AF QܰVO ~̦ՈC/7BXSwME{GD8^}a42dcӭyCf&?Xwm"dt JT¸X&Ox+ಂNyݢ ĊYEum1+=-؜:zeYRv>oIcOVgh[5:M>BaD6`CTҶD솄+m=to >fHc+ 1le@A: p?-e6oP +?&F [q Dّ͍4cW[[#X%l!*~NV뾪ӭIiAKA\ G&l ӛIKoaG묥4%HnW|\Fqv2%/f*[*͛if`턚~ЛnWϏkzPj2:chNmT6ڒ{ <84CcIpDPJgznMD ȹxCUP~iFxMxN*vY e&K2&Rٕ;BީCCuon!rJ!iQU,&0 Mh`5vᯀ\N5KNH3-MK7/J5 -ɜ[U9߳Kw`J,UQq/j*~F jZd$tAᛳ he\nbh쯹\G*j́( XnnUIJIdwc~zɂt!\yw#AjvO ] vc~;Of2t=`úp0 nlёqUݧ~o/i;{@/ >A!ÄӚ >|_`%EԓiL^d뎷6o6.3~pZOYI,&JJ*oؔy}Ñ͍b7PEtk㈢Q02`gM0+Ef2N zxA:B-tz 18a=cfK?p%U_Exdj~0ƶ . e~nו!9Nܢ.?bW+FQ ;p|2*ly DFBˎZ)Hl2/ʻy#nP_>soז +LzjPK30wgT2lE%9ɓ}."p"P(훛T^2 |45IҜO\׈/={<`^ %Č8[Gj' A$s :["iWkŢ{/dz*9Cש] L3nYMq*ŗCL>S%D7òs&k[qz葊E=/xKɯk!-tHo{TwZn*hu bU}\Fon N{R2ˑYXB"QL3:IXʼnؑ/itp2@z(G njIJ(ꕏ)DB:(S בi*7^{<\*9+]He@OghA"Y=,3\Ż*{Sӏ\3GzʡxK 8K(I>6 T5m:)A=Nh?FPX#iSj,=&5b(^KIz @"띦z'G؞ aRTNJӈw_d.<}Q%Q\7MRjp; c)iȿ?=ax"oorʹ2 2֩8D qmj)C~ _ *2s>HIȡМϼwa{~+%AL, #\eG/ %ܸj&4G?Uӵ6j(eBͻM 9 pǡR ]lX5` 1L{`?7\8N^w'D\o.aM5<+:?СڑDŽQ=Yz'*U\L@[O6۫ \1eͬ苒Wj2 'Bi:˻'_9cGٛY2*Q>$N QJq%3Ԭ(z]ò0xqxa.9O!g|Ei$0[t?!jL:KY)zoG߅O\n>9$'Ry8Mآr]R]uݐ9ZV e7!&i~ sefMt6YWҶ}vŖ8>sV:62gyqHNV6iW"plZ_֊CʂBaްChrbX6hh#P)Uxǧ%S_Vb.˦T | =g Vљb~dgVlMQަw=B}T>ݠ&>RޝZo駯 $1~/}[Ҭ⊂} +{ҹqM[-Cb}%Q3*h鱪^EҞdSnM):׮!7Ib.Xd٣"}C0j밍V{$5A/kwǎBV`DD99Ci0A8Z )(mɀ1Xb6h~4HXjj~[ \.Oc pm-tTGĎ;3͒#6ZRĖuZOQ0&|/Q !IluSNw'fY !|Xڤ]em}[Gq: Q{e Bq7ZLuϷ~e"*׶jCτ$G1.8]ts0 Ub#Hj"ZJ 7 7: ̆;sٟQ00[E7!M"sMFI\|QދؼH7XI IЯPݑ ZZ=0WbYYMbGUIkH磺GT!GvʩFSd;oiBv=ˡ`؎GuQ\B9-vG)o9&Itj_!"4D|ujet DUM^}IuP/$IUn yܲ59O, r[UA;pL)gg2S! >9o4Py$"0M,B8 ym>FP;%pW} m&HA_yudb-<.q1$Og{:828HQNj> RQ/9PS]|_?`-lGDF^Xh~VOl ҪfKH;e Hg2Gx0Ёt'[ՔdC2cT[!~71wG 4baK2D{z@DsjoP.S:kWrO?޿`4MmY=٬f)]-5̛9$qkFP-i|Wc>ݥ'j!_HIFt*E mE32_|huZ\#d8tQͷK `h1?הO]_UICM^8=Lse b hːmbzdjU!F;' 3M!, s} Pe*hVcitԢ^Ωgcb~I*{Y|6P'6zMe:X6eAx8 _kM}5`CXIx˘_4 Q6}7nR)P3o-]rC nFsTI(( e˗N[&e,%_a Jl;ilO~d~Ɲ:VhX}pפwd(vR^(<3sykEKR]==nH$~ދj=g;zh0p3|=atFR`E#8m hp ۍ"RN,ϾQF>B>3 MTH}9:Qץ),ZNI͐.<`YK '-doMc8eu^R7v$cTfNui#а䅎(jst-N?ŽS9mcj47$a1R%0g;4Nu-;`z!uQ^y `BU<ʿ=yNhmKT<%-\Fj^Mw͕⑧<"!Y NFl1ƒE)$pFmR{F@n8[u2*y򞠔za(̐w_9lmfCco:Z4;X}J?( MKmi<=n ~6cv">qppDXW?KR*d4^9@ފgf0~UP=N(*'3tݛ12{mV}ac(.ghoW9,x=G~0l.\gGX!o'HC8:<jN ;5^RS QNcѱ p[[ dD73WE_t/d1_ZSF-MU Dhk&roꮛm4omP{ࣾ >!m~#Hgr9%ynsA_jMuO& ]g_5 DMp~9}LGsZ(K=7i#AIRgɛS iOd=)t:mLo{!Wmwmcy 15g 8(32gC` E7PxFECa2Q*m oYx(,Pu.]xD¡ນoQ"b]߅i> Nk jzHrw,BL0EjyǺ / HDkd98aZTR(Η  nA(fՀ ٻaM#Ф&E"LXIq]l놫OH?dkR9i||{>K*&?jKj#)P.rK!JBZwu!~F LgηUBțIk \an nk"$ϝ)qFfSI VcA YR儉%&avX\WVh)'Ƨ.4}k[. :vT+2MԑD0q.,u'/! gǥm[tO|)f 挖s񎶄 m}s}o9+zVtV3DBEu5r[1" q:t^ GdO%ea=(:VHkNAy@JF xf7hYjUk]fJ~R*Yt*\MA.=RÞ "e|m򷰓 bm;h[HNjAT h95<ܱ8 gmvʙUp͎Q4ʼTku NږWžڄ{M#McHiԼ*E,cmbbg6XԻS@~>ex_Ֆ@4vv"LڧxUU5x nab u#e 0<HcbqIk & Mk3h-rςmmVIZ?NCw1*ff%zM,vj=0p~/w6تJNoM;- 8-[ڊ(@Xf)N|jp-sP8.Pc5fH ?4ΛSg.J*d &+`sWFKdNA|>=Y~/;M.oAα7QLB"Va.TNBp]m6Qs_ _nŢ8"bˊ]ӈVm n˿M6.ϒ|mŲh%Ѣ>qcƃDv0|<0ѭ{^͖..̺Jl7$i3VqK0庢(݃d]z/W׃Pi|&oj\-$q eOPod=?"a6 ܚ E{cޥs dUQ!"qz7Lxz U,*byO Ce!RY֝_n @%/R{r*atY Ek_$6t&̤ r(ˍyZ0'd◅sx݊/_󕐃ح28}5,پhtAp[VIAQ = PpW݂}_M[4'UdcQ\°ru$T#,;`Wqq AJw YXFL*\N|:]E$3r軧I;v卑Om\3ϣZͰkI\ Kl Z8wg賺ur9_~8+_dx uf: ^)%BQKA*'CYPT:.H'ax*&}J e\DٷR6ǖ03{oQ##>vHKiwsBަIc2JA&,i{⾲zؼ T؆ Rmgf\Ka%8cN*CD h+gF Vr4 JX’-=ׂxֳ}I ot~5My-- %~*/@RJYEY|)v&w9,H=eh]Bcc5N߄Qfo4oBBX"50K[}tI ؜taXX  AEaV~K'QXfWN]qAپkiZ ^OL4U=I#PD rl]U(tcU [4VIMeܗ|nJqwJ*b_^@nu{C?_gX3WVkxKQ]ٝʆXW='_{H0GQ^Flڛ\Xie㊍IK#7UhGYB%W«De*i'}vV<ھ{, @kW q~[߃uY0F \ iI, *(׌,GnH?lY:ɸaꂸkcNՒ΋ٖ([mftYxQtKes/oDu5`J&UnP4I+&*}GkEu4t[ \#r9r1)y̋FN̶k̫hbdgiVM&Rl)~XFr]~Z 8ú>5w;܂lPnQ*қ- Wͬ_~3^W@v$f>dvd8HP<1kisb\)t>w ]v-WI@߃_5lq3z4koibRzrp_!,=)6$mIЙAjSdTh"!PáѯfMPjT{Ƕ+̠[3bѠ_/g94qVE/02!%i)S᠕Hj`x| 1ezf)VH U +ݒ?XYmҬ0Dy͙YS0m;ru@cc,be*j2>DHCLomsF+/ww ΊC B c(I!JvCs`7G.CE"1 d YfѮAnfsY}o菌Id%#7P:S#gE_$:|k,K|$gWr5$<&zeKc!؆#ʘiۼ y]$ AY 5kiF 9*9e7+3q"w^3DTiwXyL1Ld7]GFBp:,ժ3WJ" gCI!ԏZI'lY>E]U~6џ:7&n`џNRb">daկva1 nkcǡ%O_9ȖۻXˆf}"j_)ނq"RGZgo{V /wf#EyA gƽ0j_‡ G3U;%^mHduyK*+_')ŀ|}2/P9뿪/ΰs8@0Lo } 2[âĦDM j01Et}w~ ]r].Lfލvp2C6 s֑YFuoIR:TD<.A!t t4v甍\P !Tedv-\+Rs.=! "g#k'ݢ `8sPt]/{A|<E*FW w}A07D0d8ӤZ AMsFdr$J!ĐN J-6h.bS+ N ֧MuO>93,ـ^cUKtx_؂}&~)m!5{+_Saj?tfIkAù4**QαQ+=[SJj3דS, ecGK57+Mg/m.˭7/fzRJ&x}e"?Rݦ⃹A>&ظ0];"QM hVLKC$k:TVG`ʇ=,|:!6.5wԥ ; Lw!B %Ϫ7m{WT6Ɠ]z 1z Σn7JD}X5сydK}8?otfNvU!ڤHJ#cyqOw N)ޥͽjøZ+TžL7p^(70 nR-'\EnۓJL!u^<4MUݞD%YS4̫dn.Q IAE@B kξ01SFݑI(}Ӹ@Ǔn?F<1:Q.oV'ԈbʾV+v"\_|^}V(`IXha̻ 7rG8!g̀Op <94}0m!B}Qr֘ l^ٙP"hQ\f c( æԴW ȷh| ~󴐘SN+6!֐ISN2Zg-kMi|W^_vGJaDF{Ք4sW7wcxٗH(; Sp9NYu2;,s(]h31A8\+4Ѡceh404 m#n릺R)=XlD8  3bu&Q+Y&=(bMdڢ脮ݪ/K#5H{ ԕ[ {?kڛۅeǛыNbٿy+u&탍Jb9b: g~M6G]GYiIIhtsƸ9]}BUQAH)Hglji([=9q_j4!цLobT-(<qR;pǪ@!k TD5CYE*꿆`|LV#(W٪ &)u* /= ߩjpNaR\u7MF$xaIRq!g˾03 9eND6svOL (~Z?0ѳOaB GЁ i4RZ]`Mz`7n-\KuUsr@pb,݁*ަ!ӜuxmQO#I g_`@#>{EI.$T:l(AC=-d_ALpWy5{ œB;،5HqQqyNAi.Jx&ܩ0#O[S8ڷ!)1f|WH6-^T&.bN ]~M 4 Shm ?^ Ξnkͨyh淋Xwɇ?^c [QBPd\_a8~y9GU>U%'HN+#y(ZK׹IJuZ 3,}]hcm2~ w](4OL\IT d2Mqul7br۩d"Z?vIߑdK!5+V2e+[5ʛp[SbeY  =&݅qT&" njUQgxԵ%< I' e< r vz xZ-9H=+%KJGK6yD݃@;c(2"_`{Ʊeg{DX3aNp M "ch Fj"Y.L6#!ΐ'Fz:gb9 Ezhx|Qb( /xt-\oyoX?V%7?Cj(4qUf)=FFY R_=b!Jhdrt(-V˜ @,vCz;ߺsZSo6[(M2W@@Ȳ@ %Pr=ut~ yAy:a<: $ qlPuO>P 8NJ3Rxt73"zΣ6{ٷpRˋk GHmMP!*O!f~$>(6IHȐWNcAjPvJ_sX &⹌ZXx5= -U^D$Mq.~nDuhH1.5Yfch -@"a]p!&  `@= #0zW?9;9[R5N9t+Ie- (+3wVG9{_}Sq8oC$ވau(,Z&+]=nT_<îT'TaC6؝)*KœNͷ#I_{k~5L39e[Hm;q{rRS0#@\J+k.h8۾2Tg9ϝ^D^rMA'Dh$_/&J78*;\a>N8ubLwc}qdaC6^dX113+Owk_Zu۲MБͅ r6eɩ_* y.WWžvo w6XCNȭun%jưXZBV$?Y8bS۝C+KM%WR(ևU1[hiolzO3qw8\p2tZ1a-"B63<1[^!}$̂3Ym9 .vyH\ LTz'_^5:zO m&s̩!\J_3h8OS1gˢl[tЖWS A!k>~˫ B!^R8Ș,X̽N'<3rAMiGw+\At!Ś ъ@,Hf&ٻX7%s往9%GPAW4Eh'lQN"tp+ =oHzR4^!UVG73J*ԒW`'+͉;K2x#0o !hnKpS22,S7ڥRCX牅_]fJW@7&_l^5-ό;]%/GA.JM S̘f.nє;`jv؇xMބU q 4knTqv=Lpc@?9,fߨ$Y1@.@?Gi ՃC.b@ƩG5$m#/@Nk|l/Hhg^| I bcB.ˁIѾ )t͵wSj92I/~ j -pW`M•:^qdz a c-@>u 8Aі ;oVIIgnmJDz gL͇{cc9L>sEo|#i2|VkuJ kθ+7W(X|(-I˩ջKbtrTS>̷WAV@"`ɖW`=u /0/+QnLLKAǹ kC41VZ. ~tϏgu}LX7PjN! | KhUJRJq 7ICX'sP{܌[ |8|cL;޿"ev.v %np>le"3 B!=*(\Ƀð7?/,%'jLK4 Tu(do&dzk7;^/!)|6$qFQY"^eF ;ZUbm?oTB2baq1.:̉7ə-2H&+ WOZBo LDAʸ!fdbH!WG)@A8#QtlB59Z't&[V?҅P90O\B{V@8N@tǔ7rOoeGe0\dUe ,Ѱ&+47ΖVd9+p #c;I~Z 8wGVX䣼qJh2(7}q<}ϊ}=NA+IIFY&1JJ{}r_3yRM^NXv0FQlWv'Wxrp'>'%: }=a¡\TJí4A| 89c L옛d~_\ariOb ή~\RU'|Ӈ5ͅOcv:[>F+PlCBYA'2^!-ϏC'=űgYZ2d887827de13d7128891b26f02cc79e9511d449a47fc8421a194889d814b2263065ab8e04edfa5ae46b8cbe8b2add1a7d1c61dc80cabafdca8f6e5de