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 P!lL\ ]]]HOL-Proofs:threads=6elapsed=668.556cpu=1542.940gc=267.276factor=2.317zXZִF! o]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^ `PEۙ emdiU鈧r:@c:͟z(cvi}'.܃Yq輢.Fzmu70 B_!9(DS?r@鈌_PeP҅_&m6l-Q}{փ֑뱩B6b ZG-e bϜa2Y|9&REbvra6tR0joaL!\YųML/2{kXR/s11rOCea$4l?t ^iwAhW[K;BN˜UAԽq]f%:A>=R귔VVS}ZM-{GQa?4T4wd+l/JszRnmv.|lwp8 Xk-0t_$ TD{F5?X;m;r{n K^ G1YKP0{B" Hkz`ED86Ԙ5w_uʗؠ.BfJ"W9gOY`9RaJ7zkruQڳ)'/v I~s4E%aMcѐGc8 wdtW"3o1`=stಲ|wXhWd_׼:pJ_2s6R'iD r@K $(3G :NZ1`L\:}#D% vC{akvhfn#Ԝ]? 0ˎf]/GtMGIti\'֙ӂ]c$̦%=jleiGwxb'f[_]qU 57ҘiQ^Jlwz!QT@*uⷜdE PۢXsL} >vx>e9kr̉0۾A"X-g" t_h+8q;0ʨ$:2Wp ܧ.d/|][ *pn@Y,I iB6%Z 1xPh5iK>k 8u6_.v2s^SuP4daN"~s#l`cD೟1 mko 2d%/nlSM8S[6r OPk8vYóLg\&65:(D%8\݇K0Ԃy/዇;+ɤ&ŒztV%ץL[l;UdS$ aiH@$fЅ 1iWW" k9,}G^a4񆃅)Pb4-AhUظ..:h6Dfx8؀é>bax-]S?QIӤ/2la H)Op 42D ,sv5ᄍ9zu˚޵;uLͺn9Vj涕~I Ǒ{S~gә ʵT VB% BN=4Tyyj*A@VJ:Qn HnZLz_?:^!OY\yYXjހUG?K-ѕ{fzz5, 8$>%:j8;>ZΉJK<oO+[ I9F33Wy&%x,al(90xbD">ژ| ,{{FN awejBNFXzQUˠ+ǼHv.  ! HOL-Proofs   lb{1^L,lykPA[_ZFW&1žn&BDBxBi|߮?E׆$ՓǯT)cf,z^(Yב}5Hrd&rNl`[:9joB+HhgP CS#HIZ ~м[C ؋r^:kD$p-#9hm&U ^dV5Wazr9_a^%|6YtAN眆H1eWԈo:s1hyw7bܬ(ޘEgdp`slǠM.z2Yf7 m9w4(t\zаz~`8@8>T-M&ݸ;޵Xqtrf'QOc20E}cz͓-fz ޔe-gjzgfY6 Y-(P@*eD@ИȒMX>-y|[zNyqY Wҍ&CńyN*MYf DFY`/f{4 *:%89;i ZA6V b6AO5{Z6)LQVD3<0+ށ^'VPYx N!5g#˚N  ebfv7(]ŃM Ēo0H b̷gЃuFG$dP.Io3Oe2?T}@ȷ:49`OGrνDx a&E̫\ 2ZqCYm"k&_0(\D2\HkF#0j>&ބFإdS/O`dRs[VS:DI`K连dOjUU`q}9.Цӓ]&CRE_2e/rCH Jlt<kZ֚D棨~b jk2|c7y>FA]zOC>fcfYޱ@4ܛ(Yu(e0%ڨnsGZ\P-Pluk'^ U,IRU-B3n7XWt^e]F/FUo|}v3l%r|`y' lyR:[ 1?1usEZ pwx- #d1ƗJjY|6|D;̔Ei47 :!5r^q|$plbڵ˛IwZꔛ=×tg:;$ =%=)NJ ,)A$HY _;g{6.{K5 (U21R |Cy t,=A\HҦr㞊#ɺ5:z\$SQ< }mY i>eEw%edQSY׆Xfcf_aH4ZuL&^ZGc]igSiYM^0 ed|N#h%Eo8F_֟[y%b۔I F"&,?/> ֻ㶱 ,>d?v%}5?kr^ &ӥ1<%ꈉx7זCQגqeSmQc׎Yj&*'\ ͛4#/@ū[i!E|uGvF-!S֩]\{m0@Sjv1c\7Ƃ@4ґڊO1D*[0%7)g>V*5IyttE0@E< VE3eGM!p3ZOgYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!Bgcή\0 tJj 0?mٮw6|# Fԋph]8Wŵ[>>u_tcR]pV-V6Y 9J(qVDQ~Sj> j)cC)os7KNxe YQB lvFzro* AwVۯӱ+2tu)oui@3o8I\Pg>:ڭw'BWa8qtK_O@_窝!H=JAuW3!Ux!L"MUnr3?&[+&żσk~u̯ߏ,kLpׅL%njeuf[,^֏I :1IJoٮß#f8G=i0A1qbl*m\\@3| Ŭ (R}oT&uqibYz:N+kV1M/p.PHͅZn.N`('v 1^xZdهj4SQ=*סlmU rJ kUۗw9/XTCNfIQo$tP ꪛ!s]xkϋ=dYrҷLiIre +/,q:N$p{}5V7"yJEAş1b޿u弹1ȨtV`œ\>*{a8dV2;p8)CF*AF.:hw N4\Q*t[vjМ!*{/ 6zdžZWe_z $>2m " \isSӫ渵ӋYn; H1~|s3y4S戵ҧ\,)hZ')\@j#<&4(2/.Aɩ6dva-y 22(A"k-#NTr-51'HɊ^|> 'foC.ußep÷! ZH9&'H%bG|nu78 hap]~IV.AC,gEG NGzZB TVkjgL: .!CTTwjb=#^g*((2eIֺy%do ˨cMʟ-iI%6Nܙ +XN["{,lyu,Vu|E.?!%TAj<9#'M9ub'kK%%欟JI}7$ _c cE6h*IV+ߙ ;.*<"&~6c9Ό;?[ABkzȸ:SvvgsK|2vYX 2I۟gYZ7zXZִF! +{]ŗXi%@\nT#沇|*4abRgCIadWfq[A& ?J8avPYg-@郭Jn68n{ Eąط[=|O5LXr)# Fj1"]2sX#AX}qe|Lz8wȸLEBċ@F(%Zu/9Fb]+,.Y_R"#'6Im*9b vRb@fPB_GE Nw%dԦЬ)x$}=ʒ|:M4Vdq3 n $\S(ŬMΒoj{׿)ǚ MȳNPj]A]r`wт[:ۉhxG춷's"32W[2X%@<<^>։KYdâ10CՕ8(b w(mS-+'_hAm蓎*+jS[/ 8HZ>{Ӗ nU)밮Pu4\&4\H}{ݚ'.:Ρ|~z;,N=M}R6~bԑ0Ʀ‰3`iRjG#e؜r.B\=g# f]q Vd,[Gd? #ۗ>Κle5N80O+Ohk7N.JU5FΧ wU)A6#LJHAw#WR=u;3ǝf%S6K)8R íu$)l?UzV}1?sE%XX->哖߻.l}"{/3:怙;^QXi96fPÝoM83qQj4b A%:ߧ"2'LBO ~$ ǃ`*=kh/"1mq"_ **oRعKm!20(dMeʅL[fخ0t(8~V7GM[zUx^5C_a$=0&~|6P@ͼ(8"ğ:a|}z,'}_Kҿ}Dk6jBpHL#F]pU?z&[+ߏN]?xeDz._|nSN!$FٵPYqS~&2=>(ډ8$ !˅c=TABZkS#K؇7*KWxI9!ݩlQ⬠HS$<jK \V?]iوB@`fxpd./fL0ӕ'i/3=;ê|I~ړ) /r6{$F(' ЍM 8fxv2/ȃUծ nS;?5)s ^5q/6ZuY Ua)ע'E\2aUj S/aYU[6PymBn9AYUYe?bz /`@H$+<ݓBCˎb<\ {ԩڤPq ToYoNtebU!8ՒW"LMϘJ[zgq#>02zOƙ*EoX w|}v(a@ZleV,C3EݴϚrJ'ӷ/;SSqo7"l'g) zʈഓvnzZ\Â*BSʢ<蝳[~@ eϏCz/PFwul?^ehǻn_߂ *2,HׄаRfeI& .XH'InF%#xVo3$%Abu D`iRX A;}gYrC]1~T'^"iu뚌6I`Qp jdV]ufe旂+~X;Cr$}o(>z]'0m9rRsb[YhOYIh\rOl oFʓef \  >n2{ J[6<Pv,eE)Ku1v-͉aXi! c׎@&&V, iHѽq“q7'`tOE1Z'~% j~S L@;,c9 7Ԕ.vwD-u(܆hcn8ꪱ٦ʨQj_6u,<*ő{SjBɤTFGZ}quN҉?u*Y,xf\OoC9(y"%p,';)Ag-N(%5^zp7KWNm]Khi ôe/ݨ2)g/?zMq'2XS]q;\yhRGjmr~jM)EA?LuN[Ǔ4H(:ƛ4E$VAvw/qN{M P'ͥYO89uc`H.u@VJQ!#[gd8lh J7#u3D.{͛Xnpw>E.beJ:"%㫌 a ]Yʭ_#!VWAV ;RV V1|_eͺ+QBT!ev|ϣ`o m>^:yGŅfJo ݓJ̦T[DV̈]>?BC{$ bWws'A=CTk?-q̂pMҰ c"\JV~m\L\].6N~HM Mءy={*s*E&=E,%dUc^|D_pBGfQg]%7|XDIg*K%j^!'XG,s5[X~3mߙJ}TktBgp'{jh%8:JR@^JhW,Ÿ2 A5c>#"?ǐ4ʈn$v7{r*i2's3`CNs;L`si3T+V[X`3(r!~}{SaZt[U %zˏwƍE<ؗwpW"HpG+NL^ 6ωN$9@X Zv@d ^έsYu9[i)I@H3f) dIjr[.ӕ$7[]x (}K3} E=i 7ҞQ"EG9FC $5exX`pјϩ,se"xp#"M K( IնbȚe"yu<K _&74Y' e%*( nJ"́+w0"++_ ]${u- ~:1ui bCk43NYPߖ3J).dFg}AY>̿xfzEWZJ|N9Z^˜E]ˎ6xpMnw9BP :A7gT+2+6X&'D`/ugkrl!YD"NdϰaHp`@KAṔw6| V׷,p@խuwP:u/a g/R5],= #AȦWǽCx//R&pMf0&P__1Ka[%̆UUĞі16{N<!>8(J0( 4|`WBy>c{1lT;1N mlAvO- ͵=m d>W٫]k<6a1sW(AMSoN%:(8kb~搞&ď,Z:`4>)@c~p &alL!"  A˷tBM Avb7 A8:s1f#' ~} 3_g!-c@QV7)&V[{p?V6>Hp2{xծE!x~().9cxި`bz$By3YQV{3>?UwX{|`'4k0pBj~!+Mi#\]#lT.2G$.rK ʡ;(ЂTOoP4u霉]Ѱ1V%MinnL쌋`e9i jĘ4:##2͡8  A\ʬDB7Os~0) ^gI (æ}h(. {y?]6hVǬ4J$`'/{#®J,EBIJZ ׆/:1]H8LTE-"Wu鶦x|%P3y"[&5a\wE)}ig;clNz(_:yi]7? &u]( rKt5D ;*|,|0C11Q$]τA"LTZxd*z #g26y{*o}JiuJQLJro {z62PuE~ؚ3XA*oD$HA㺦vHrEj"(2!Eަ7GOus`*J$xl@VrwW5aP5&{ FZ("nj|EP=Y\u؃Sz! EI: +xea(1 uR>3J0 I[q ?%w i^8,8&A!(6WO? 1W2ĈݦtxFQ2b'O]hWےqK:xsa;Z)#C",dEj>ӲI^r[ӻѸ"A;hG)V l_e08r,[3enW׬sn 02Gfߨ=|oW-JdGg'CgxVK@vp{Mf\R aIƵvC@rKKHpH~,AQ0%MCF,:(?r0aђ5QX8t:pY3Ao^F{/[ݛnCA)|\ߔӗwX/5M2yUx$BR6RtQ0m1YC` {ok@QV˝p_թNH(oc ^[dõ2H<_9(:7_ЎTLۿ]tDD i+Wb3kqKׂf(s!_PGG8癑N7x%hA$PR 'u=hٯތv(nZ qe=|g" vEpLR }-퐯ѻU%^w;xfh.=0k'{=$K3ľHPXD/m:{֖D&v^kƢێM+uA.N|IJpY*Ѯ~Kcm}}".#<]@B~ү̂#$!ˣ@ 5% BVFd ,OxپP^|[6ӀX~k WβJQ&a/yo?s+iV/vV(tm.Q_mXbv6W nӎ!jn MDowD½UZ]t9vmq8?Dbc򮉯$CyEi0vJKhIOX2ktr[3=0̺*U8& Fa ]T\vnNwpa^s9{|g@uݥ;`nqƾj*NlxwSP(4Ux5g-hr:8 7g~ZŧJlLiT/N ^vL:<˚Je@SU. atp5 +2XQU-q<$43D_E׆T)72F=9b1jblan 툰@9S\dA2Ώ3 Y $-.K[!YF\7~DIڕ'-XZڔyfgCl 0טBqG=JK[16X8kztE[̼lLBT`Odz<[MZ~gsnuaJf `.s{;垗!*1!yC 4M~UZ~G>% M E6 }Wp4sC1!-%l1z4f)Uf ōZԩ;h4X 37﷟]|=>EMgUҮ5ۖ8ט<4 :^b(̐g prk +b&L1,6$3.zӦol_C ȿ1U.Gt`?^@Q|Yc6UPB(㙡q_uc;qhʑxayF:d{ql')T'ZHÑ ڼ*#3(c*- ?lFCz$=l/ŋ]bfp0_Ӿ[(NvJ7\'[(vIKt 0Ja+_ÙoUgg7?#ArED7hg=bYŐT7>if@Izd< -ĕxTmad~:xn4e# 0nN-RXiT \voh4VJPmZA ,XXJoB(/F2]g1P㨔E)dCnU 'fOjx,Dr,poBANXW!dG+={Ѓ.g'e͋9f~hNL& h ugR/ʉ.{׾8/a#2D^ Gss[?U+[HljP$i-B`>-.c݆&7B~e؆A T}5#6jGi>E_rx5Et]ii'[~V\9FD=N#W EVp'mC|00@oFR!@9u; )l PwW[# HevdU Hi(OƮq,="!Y!H'̊dz'tv7LжJ.dEu_ӬZNi'VB~SpA}%yx2q7j.z-ȹ.x%{h\o=IJʺJD Ӽ(WPD]*;h5b rXxò+q6U4`F+0C >Q7UҹjguUGѓv_9s'gIև$N3G\0bU3lB@QCx{,ST+QYjF}dǥ׽@]){ <fTՎKE\՝:{wK\ɱA#Ǐ̃.8ﷀ/Ge #Ĭ!]x|B#"6d׋ |)FhΰTW쩮izg >cAQfe ==,8py ;B,WE+h_H$34fPp,P}QZoI YQb)q % F՚TOyc.j~!ʒ_"kBqW<=m@v ©*X=4A\Z| |ٜa :`D,+*nT4fKAHuTK0Mfs ynJ+TFp}7HLJ,!ehǸ2 O >uTf=)/KeP𮼆!M"eع> x D%k1^r9 ~TckK0ղֶ<3\y΁>@ pWru, P•;WX{oP񹮰oWT9 Uc-й7(TL!`/'f vЩCRzp$f.2)\+e/Ă32-_9ۓ`+ø[hQY bfivֻxч.I ɮXkDt:]o&+\KR~^ E>K{(@ *k3RtaetJAW1`oUlܶ3iw2 E螜7TL|ǩ+GD_\=@;h Y 2@rbɦ#RbGDէ)&m2fQPޕ'7:c.Xqt)(%] `W7FCJ,"RG5pqVJbDx'T/?I=:?@БW} $%)ZJ ZGgN>-@".X;6:jwbxQtm8xEЪ Y5vb~t>2ޚ!dE<tփe~O{<b cv'ö E Nh}$@<'!pNq)@(bqD(={=mrl#n7{3^}aJüx+u7:G PoAI2rEm4`mR.+:;R:Ճ=iƷ5UKzcxh_G)za 㟔.DI'̐h~#F0 ]Xy>?g%Cp>:/u`(u[}6o >D`Hll%HBefy_$Frk5Am@ =#J>XvY a7ҏ)kĸw@>;Wbon]˯H=}˒VfN =TtU)"fwޅ׶`W|+ Ԑ*ߪj"1ۛ̋'–>@ |`Rx8 ʎBώCBA#J,wl51_fVfRj"$PRu ^t)w0cV;={m$D'VaݭK]n?B<> TP:(`tQFyϙ /A) ,kٴ3!hcl֬*,ڙ~i6lBru['3 wy\ɷKC֯a~Ήhzِʚ+Wݎ3C];!:V\}qe䦹K%ډ(!O!趾.z(i5ɹzH9T2ty+0*FipңRDLD]zkH624vj3 E/<`m]x xt);b-]XAܔSF:63h%H CFG]?mF"q\l#}ΐ-D83m;_?a95mbe7Ǔj\ʫrSyPCuRrpﮪ!-!ި559U~A:O?](-HkXa oZn' ]˦&6?f@I9G)/HMD 6'TDp .#wvt@@&m500j"7 b0$ǭ(U1vq)+dT}yUMо7)2>H ͎љ]Rz%|ovpyH8pw:qi髌c (Lr+&dOtoP K=Ȋ҉ ,<N%}.Ax$E3 zmGC\0X}n`'U$]nFv,,AL針Q>3[fgMwX&LZXvɕAnSp꠩y Z?jKجXa$/Gz|R/`ڮL*2GDlaZ{x|Zd@#Sz #eTtCfn46D{2"9#RV:V獇N;s"opzLSйDWrz6[;Wu@p>z V1fl*?7 s BĶ(_޵+ ?b')9=-D5mmJ-9C8V Qs 2aPjȢ5D ,YX5_~\qna)s7Jn ZҪx$/Zv[ lJb+Z<< ' P64xxvE7Cݥg,+/qP}N3_Y;;:=W,p ~A[ 'PԓH#Λx{pHY!(Hbe%|n;?7*&I8' o>b![ekD uArkcIԫ_~!ω䭘ʾ3@`x FI%D#OO+vJCcz 7 ͚[ϸ ('EX׳)`8P1F8K fD|74V?_FMnvvt7P~%5Ni :<[ 4Ɔwב~ ^^,Ļ$ 3(l GHy˅[e_SGW1sw|va[ jσ|Bp37u.?NH̔~*PswިsG64|5 ^m2-Ah^ 6 # ױtآNs[+XZY͙Ҙ1H?:6:# ^;C w0U*QmdӇcOj+K%z e*&ۍNf%pUۨrYz}O}@Ϲ/UD\LqO*"r aVo֍Ӈ:;S}f-$ GA?}%84.&_>9l#1D~A6y*AtKwy$4$r)o+R8ju9<6WrĨ*G>AMTAt52MVꎊa*2ž' rű:Ll`T?T4q>I<*{|(ve&q<`>]r "kppdWsDCJ9{\[관WMPy,ďS@0E[bkCR{cKZ;يF;BYצ=]*ȯH3EG,ӘnN$iF`dK"ܜ*[&X7dX[bx>EJg=6Ea)V_:>n/syŪ3S\=K`C Bs\U?L*? I  I":^hU;-5JmDx(skGB ˆȺJ-ϲN=k^&+Gﺩ ȅ-2:̳f$2TR_|4 =WydHVf;+'ʜq&0xi:ҜvZ}WQwi`75z}6lj%#4\ޤbAŸnA\3]y !;킼?|''fs=guC֤ˢS=p=qf'I!$$JeU zQ`O,'_x M#Ja 5dք6ҬfU-y)0ѐz M$Q_bJT8^*Ƴѹn^ec\ntʊib9k('_m4M :-KY7V%Y42\~ ŞUI3@ܵ z2SǠU\oX$c!n X0iݔ3Xq`]ߴOI :?nui֠+& PE&ZlJ8_iO3}(wҾIIOhvcݻL2^05l}?頧:=$VhcxinRAэGy-^$f Tp^ڜi%!}(MfRCb!š(ڏ$ܳL[D֢Qoӈc~1>̽܈#{At$Bh.byQR2?}0 !Z'gO1a%=if!{(zLޏy&ԙ7HlYFڕ;J>W%VfBv4c!P;7ثX҄ڊg2:ɗ}oڧ7`R4FLʹ+Gw0)Y)LbVn%J+ E`B"ĐSmp0.6s`l>rÔ ̣I,6]"Q"jg>H/#>ǀ/x2\~52v!M(޷zvUAgrM>Ꝑ-h|,U۬?M~pЁXJoƸcF^bu/}ڲqjwi@_\FwAr_+wǭZ>31|YJIY@Gw2_dAYSHAD2KE:7(a @c7r0I:W*NX췐xZ$K75'{*S6)d3KV &rЮw,qH]E 4w.Ǒ̌d`89_VXtD 1˔,m]j1) Җw)i0݃^3 bE?Y`˻Pq mАN7=,_gKMW6ϺBO$+.ZIm50e>.]Dk9'r"O#\v PUdabUTe7LNg-@kaV1WB j!Kɑ&qRoȫɚG`@yB+TsqXG[B=[eonI5|qL5\]y v 9L03ollSd6!r_ج*%Qc= mo* tFLet똤0Y賬1pꙦ^0wI.?DV `ȲP@'D?kC^ 7$?h~Z&LLSTL:K!C (򢋝k{5tPM;-g|)q抨$q99VO4йN;hGs2Q{*1ڲ^CVi睛K`Un-.?%$9UN _,F/sACV[ݨo؍PyiUdoT=fNt@uA=a ̮̐a?0/v-^nK+Q~'QF=pj*NKl^Q.&*^;+<_QɹqPU#_ps\p&iѤ]Z9qqzh-Q`X ZK-fZ,TbT k Nl%+OFCحhU)c42&"|=w<-7NcGʀ" dӛbd&k3Mʌ'W3GGᆱP7ml'>#W t釪S\B}/U/vh6|jYRKFRCD mׁyo{&_y+Nؐ cc8sNǁ < 8kY,u8CK5'HxLV w&Qx< ^q+Z*.0}vv ^7EfA(XsXA3{C|3ZoƑU2c,ԙ?PÜ\N2l&Re2ySph961,̡ %.aR?R8|/t@`/=%G9gc_1SzSW (2QDRqS*8E@ m彩>~'%ىjFST^eڎ!w*:낪y1m Ij\2*P^w+ݿ_ }/W*kBCFJu_t$UMįb o|L<=naW9/tYጂú4w x‚P{\5.F+Pc}[v#ȉ!;|`Nvv1AZ6αqnR[Za>0D/xɪ=rWҿ$%#FoH)bn-2uۏFҫPĴyʔ՝rldLοIAA!c3TW e^sbR##6waVs;!fRt*lr Ŵ(&`QX {+ ݛ##QR,,^0Nkl5GIȐԈLBӪ 4xuJnFP (et)5?VѽW0-|t`Kپχ2HsW/ /FlFvE Hg' AirLh)  6{emmiXǥ9Y{י,Cd3A<_@I79'}U1Ǜ*Zʹ6άDy i/zs7NJ}ℐsULs^mW .]i l|EFŇF@mdWBLrԅ֓wga/b.r._.6F* }K8*Ooa >39cg.Z!o8J򵴺pzSZh#SA[WK}pe}*pEН&PBMdtwlv|.miu?5"NJޢ] Fۈe9Ly%gvrrQe (QCSZR!:3!.fd[Y|QCy3Iq/\G2#B2kDlı;MH7BO DyBg^Pq 82mDX~bE_3SzRLΗ7hu4qN~0bފ&P<̇g?Pk3U{>H[qLJ Cd,"XƤ4KJ .hqT07"-/U9Uzm廆ī_,)sNejN᠓wsb6D0 TǭEHmȩmf? NjuUE\e(~3]]G5S ({A!bٹ}V٫WA_FӅd.lP<> f,LU\ r-w:0yR@du-xv2'rRu~H(P{C_\k)# 5r(e? O?̹[9 n7rDZb~<$n{u}mRdCi#G0k'{g.Msw0}RgP"oP4{ =T:+mZ+ngMiͼW~&F *X1y~wT5CRVG{ċJw4u\%+k-܏ںuˆ^BnzU@A!'Hr~r*^TCplqBcDy-z+f&/*Xآiw=~N#Omn'կ |]ɰ~$q#jx*mQفXFTzg^t"$TF m,l2`oЁ<gNۏؤ'م`L lMs$$+a;ڿd%r6wvܞ?H[Ꝝ'~TpZ =|q0e0. /.BYz=d`߶̓uC) =+>hW`/WxW0kͯd5}֏YJ6-KFj@Ji&IA0 5(Nhm5cY@Dw!g>ljA?82œ7|G)\ NA'*$?tZx̸ .຺}cCf/to,B$Lj,XZRN?\m*>q2Ek=CI]W2~!f#8Hs;5Wclox+?-WoWC''|\ k2C^VoGgV7D^.)寓np>ܔ{:+}\~zSy7042xI+y˘É 9?NG-h-־(`pTukp:~F,o[vJ+l%n Ku>:/WaHЂ>؅ /G*Cm~P3̝Qu|Ґہ:zc^o܅MS;=6:Ϸ +0UCɲ(*4w.8N?Gv!&A8y܄jThш^UѩGBvH@CJ(-y'blّf*M#vh8 'w~V*!O>&ȨdgP+:"K8>FH9Hd:|27j^7rG :?^|A\mBd +-nFt=( ,a)ѤJ+"jFFT5kIL{C-:Fܮ]$6"erSMȲ\N{7ypjT[7#>aOgRT_g\#PxƑ`bkLo>}vv9::_XW~Iz4 ݂{f <)˂}'4_l}IШ^GjO{dU^6~P Pá-enka 8b<&)Z^yVр..e= Cn%|E{@-1B,vCto:KGztO4t^n-2 !FQ&\|@I߂E %)]9SviUjqhm@lq37Wq凤4̳%EXc rYѣPc/tQsmݜz5?b %'BRx7)eS9D%bmU ~ӽrڄ6"fO ƕHNQRű|dJŦ-Oi'Ocr", a/?W ?/.[G-NyOuw&R"UJ ҭc#if;~ c8f_X] }\H:Iqe"]wXQ}Qm39(~mGr3|Ҳ̕&l;n6s-.=ak%_OLr›J3V lC=lA B97cFSx4]-?tplnnSPFE;~m yP,bͺkc.J{CGr -Q uoAb.q[p-(;@ v0y\&XzLbdO푙(s#/< 릝[q{fqmBޣ tLvdhdp0hX`[z9GEfX&~+}16}0ahΪxM-J>X':b LxV_JAN/y4h뤛~'Z>@׹`─|ML&\,EXiC~tE<40T-\y>)ʸvZ1%7.B q 'P#dW]=S%\ re6"hnRJ1rd2-766FO&Uj;3)tF'-{t+680vղ 0寧B7mQIdRü#F{pc[h ՊsG.ck0 lOsSa<b>䂳Cc,lf;_{B_.<\(SՆ6LK+yA/MSXl"1Q$XŒtf$mC{8Նf{nܩ 8tƈK_~`%tq̪ہ\ȿ*ck!ZV̼}bUث6=+1t@f/,RU/⚶.ɢkA Cm0&H'#~g_(^ɷ|ڡzS˻vF>f@4Nq\v_:qO']L@zb6B9 YPagjO"p̎Zorf_rCexl"Su[oE7NwM:s*[[9&M9|췔uZlv"v|+ d]šׯ )jm,덓NO~8 a삯X;oDž `blJ.p0m(R7lZ`fi@65K^)\|o1RAɰ I wljFSQ5ZviIH/1! |0pKt{ۨTԲAn•aGNq&Fu=TxKi+ 8(\ -HWA1g]2XüIuUcKÔb͏ܤc+}Ty A{ڍPL(Me:nf@_tע(xQt!×J.GvY 9޹C) IW ߖЊqo1@\IpyδrOUX =T)9!0mc} ]=T*/-^5[vx?~J9+IG{Ab.ى3Iv1*zj7gR>c߾7P<҃`cԯw!JY2cWHQ9 Kx'`Qx&gy4C@Lzwj!b1[ HCc2WlRĊ-NJD ڃLa+m.sfrlV}7XXk>򼱙Cs +BhrɺN8NmA΃Rl`.ꕄq$g)8Zk>@;\'cuv2>l-+f_owg ō1R yJฝd'fC<*j#@NE"HL/cˎ~MW (<\+ sԕkU:E CbUel-@ X^uHȘ1>,Y74䖎 -!)4ayؕӵ0@qɤhBa[̔2T n y> PЏ?Ă%{m:BU2lׯkNU%M-cc!W]b%p^ʽ2-٘^]^K% :\ . lT L{3EҴ/:w ( CEE<۟d-OxiQ~F7 / t0]FY(e@QGkBvJw5,ӀOeqh-Vey7Ԅ2Fjmz=⪗ٺ0' }BZv>i֡R]:תXjGCk,eB+t^ &ud5#<ӧ4+ wO/-isGO^#/Ee8d1?" VNK_4RgH\Ch MaZ|YNIw{XjO$'㑒\NLDЫIfA3lS3h(L}Vtwg>.hQ ͠B ]F&48Ժh$v<1Vɨﯛ߮#z  &<пVdq}pnucֲo|F;̓7X_L68ݟXFI-`/ƱtYҕH4)>Ǿ&dUlb4|w5PҖǤ +4>ȪBN`GkW} '\V0]|>AZc\7ћ%D wI7o2q&Exk5b qa\n(UPN*CJB}I篋0j>2ڒj7GtU.v=& x5xpi?@4 pqV>{ϡTT.?OL +U4½|CW{qߖ&BgfUOރ'epo+ۨ!O.Ʃ/d]1ƙQZh*29`wͮU@ƢswQrhi]Mمz-T@GcB܇׀H78cS9MGr5Y%Q1!2[)V _:#'ȰQ~Dyd A7 IۓCs0aB@g-ז6i ^ tZcY> ~l+dB%1>VTN{z;:jB>WCj ~JZDoM\[k2l DqK,4 ( >D&2fNuORY_L?Qxv~Yȧ5;ʲ~cfԶ$Ym{TP=] MHNH/qvӬ2>^r!uhAo n˪>38u@J2×haZ ۷]̧LA+6Z2(3 L&Cb3Enfo;WX@۳>PD*UGhalIb\g_W^aoTqX:q9 <3ŏ뛾)flyl{2v!Ƌ lۏ.ʹe{ FKkKT;g?gD*H0"QNgӴDduhmO^dnkru`ma(Ǵ0{ ,Hv0q O~̮JwG sdGx,h"d׫$j{*B E\6|gۊIdK %j"nxbp$`""md8-%zCuPknm]i`/DbtOsӓ%aw¼ؖT ܌hƤZ[qt{{tW[pՁpyenT*ɳg !bǃO3N]Rk&8}أ7˶t P:\NLwxZbU2>A>܀R80n\StuP$w8mhX Q c5=+;2܁1`S4n'X9eZ'퍠с٦f0R{bN Kl2OLPMj9A2mI~nw4O'}S(̴詟׶7SGX^8rScTpc "_C )CPtȐ 8l]MH_[<ߏ^74u5yOIZ>V bdޖJxGVڇ~_g@U[Nג0u%0XWk&.4syg񙟐nKUXr6Qӟib"tm!Z=/tEa=f١i5= >u񼅞XrOAp@ʁrw 8.DmXb&BTeɐxb] Q5> :a8LmHǒ hr_ϡN_GؽPξ5p LQg P=LI4P~%Quߥ1'{G}MZ-hB:,/a.gĞ gR4^[-CtR1SA]LI핒߉:1ܵ@ c\eh٤PoL9Gґ 7ֺf[S sv]&n#"qB" ʮ?4FjHB #=% b?ݤܞ/2͑Vfja+c!bB¾<9 LYFbJ BN-RyCļepP)O%!3uғG?" n&?7"G6?=S :I ̮i'榶X^P"w,1,cuL 8h:Y76ޡ<0rAc♣ kx[ub;J-]79y_rU>;``qn&kƦa-?WI6P•YJ(B )hzt ha:w'+R zc2 {]vRIgց (xn H~Á)h>Y{ODrK'vairW\31\gnwvQjH:V4sBo ⅼI1y*xJ)ӹAe7=ȱr [ >dt2GԤ `T39pjoID5}  ­?|K_f%JA7uaw4 Ȉ (-#!qdH"k{#%ш(:Vxu!2Z8\ręFA?/}-9$|Y7R{`gPy4+^սW%{r绻 -q-ƼoE6{1)hUj&*j3ZݪARLoϔ,x~ 'n{ ui.*)lM\2zN5r. ֑ 4I7aK9B'gxHRe:Dd?v$$?%Tߥ]~khmE -:uN0{VΡ:Fz0tฒKn.(Ǘ s_ `B_C^DJ u*)i0[**_ +\ b G,d;RQ8sÖ"3Jg{OT9m̅haE:'(j& QKg~M.XCoq- N؏.U}<`hնpzJ}W'3h14~` w%#jsOvszB|;G3m=k/"4;-=i|1 r 8Lx?lLlb^\ /TT^`oPp*< kn]3E#{9V-롺zX l qq}/I:* ~a- ~T4iQD%%ʏHVŵ-יuj hmN)Z#EjDF#^CU4$i}60&A_)Ђ6E/ /Sqزj14.Oodv > /-_I(T*2Y7 ~8q4l4V#*6„ -*j9!\_me؃%:Lg"k2H&1r&VsCgb L6!)1lUO%}!*.FՌ屦jnW~==O5K<6QA֗:87s{hMEN_#WLHͰ9 Z#VƓ]PNl%HpR~BZ>ֺjca_G^PE FXd(O^ (*QF+旋# &31u5[t]cG=@0,]"KB25 w?;@zr+ow *|H$!Kٚ^Zh%g% g/V޽rh=.0a|uW?9W[u {(zkDꃒrFG,>gYZ951df38f00bbee912ad1f2002d6619c2badfa34e6f26ca3ab6e09f928122fd139783e1aee2ccfecbdd1cb21717267807d25140fd21b070e7893449da