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 ||L!T4 ]]]HOL-Proofs:threads=6elapsed=706.648cpu=1747.124gc=417.348factor=2.477zXZִF! Y]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbصW]IIM4æϢuI)}T>' <1$.S\U12Mqh-@ _]9Ie&EJF!~{!HgPo\(I7Q›l"Pźz<#hin^-Go6>և+`Vv aO/?kHBgHQA#:e4\Bea(')ȂR1}%b 9P~e6fwo{~o ƃKq(`3؛3ODmӛXK -:5kb7={ዿCmk?ci|;`17Mjcg8]5c89J:, T/}5rC2Dgy蠧^u 8k~M!І'Q7m&/08Ѩ]gHB:D}604_t`oasF/ Y zuц47 0X_5 oEX}|6QDA$sTN`juEЗ޹CkI:c}tl~ x:a=4#^љ`tJ%C;@L> `ғyhJI&.nM?P$yylƽ_䢻N߱s`O>߂5 ﴺDoJ 3'3>IC/eWF%{ ; (jH| / :gpR[Gqk[Ì湦ޑf.zw Dp]0mS&zoċI7*h7:k: {hPkF= S*Q|J HQ̎tyc;=ɭG89??YjB77])O©tTzznȜ b$ \?nZ ׼S1iti;ei5z' F#8 vE H*A^epJ}'b|҉_<={"ձwK؂3rx~_ΆjVCd+bgB Zu`xLr 7cc~B}aT^+x 'eչ<'6 ۔ۼ&"6<>Z.34Daa WWcbQ!_ !OiF'*(dLiۊg;7wpg2GYҌ M'ς_024JQd.j;^m{N K$ inO6 \;ީh #PmL >OD.e8kIZ [݁xg'^΂ ɄAľ/AҸOL!rpMߴfJŨat6bf|7b3mR4NFN5XPVPyԽtWg2w<+Uع z YƚxIIV )it {/p?ނ~' p|2U̯mܭ@x0G"uݙ[P];i]牓R6ƒҒ_(L DMj)@JWaMR oAA(h8Gi6)Q fUbb\3ݲFz{"jd( d^2[|S sM8?`[kpX)"[i5?N+1XGc877) -؆F3R!Bx1^5mWx:QYtmx-o)C1B`HJ ^,/iॊ%>!}2/sp{8TnE#z1c/~* M\xb-I$A:Y&NHVJWAEEfa] }ۮOv 5bh3OLzž x#mk_mD8! Kd˕\Kf[)n_0!f߹(nb\ >PGLqr[~ K?/k)y,VgtP෴h9 R8Q`Dud=KQ7كj7Q$>HLjYHT;yU\#)V\DrKv| WqNAM!ֵ!ҌSĠG_}"!2Δ 3vv'#,'XHcEw]g3]G^8̏V))vkxqoڦ$9t"Ee#7ϡ 5ZpFǻ+XhQY^$+^E4^,i y/$V^Q^nZ  ! HOL-Proofs  jX \ѦQ<BEo7@ =LճOǺ5sw o+CC]ҟ.0׮ 5vՅd  `DBd@0lӲP\.+I]dBGm D Zeg(3֐h%DX"_ |oUc !_%3{BnM4 |WSdmg ˚pDؾ=VGe< #LF<3z0@ex<,;/{/bV˟@'&vęR$:kɧQOZSg@%c\7k~UiwJ^.=*Ttv_{7pizVؘ*{y;n_; ɾJ{ FM3_X\.W#8 ֪vhÉc'bx6=@sC 1u  RC7 19VPAC2cR[֟3](x0gE?LS}<"UFkbX9F" ߨIJ@||fNG]"5iGlA1v+w*!,hOEso~:7C݅+YE8rJ\QzUz6I^򾞦ZD81rw, W1 !Jd7 CU8}a3(c~Ŋ~Ey gy9] Jr%;W۽/[5AhFr@{,ߜ%_z^OSKO:63WY }V^yQG#ÕTފ^CVJk5lu(0.Ɗb.uU0) flD=y=@<_ak71OXÕq=%+0|=kKU؍($jZe ƽn[dUk 5ݡ Djj(o^̆`|7>A6a~l*\ՠ1 U/ vbq;Σn$ +E>}pQnxȡns@HP4@A\7D(2tkfi-ca(OatAr(UnPV$ :>NID rNHoP/ :A* OS>T>H\ߓ {HWRc&nQS" $=MʧXOX{L% }r,S:9GDhp4dN?t*NQ0ݏZ_Nt/[y2NaOO<_Y)lyF;T^'|=, OB^.}"l\ꃹ-ev'b(ck+-<',~)O@@Hwzf=}حj=C͡uO޿wBg&ҿ!;6t^RDZXDS)>f*jEG&i6z{p٘ekz2ͽ`F3ArnIK8G)e cxQUNy!\@|SX_T&ϘBtKn֛F=5),_2A"A b:o Z/C2q(27 :Swa$On4,P"dc }),&[d،U vΫ)fAI}td Pu&|[Մ$*nd.&BwcaDy)N_]3Oj音%+9OYbĿ9Cy^zӸQsRvtX\ [q܅ne )f8 Mޏ|t7xn$q4=p!eLJvN6jVrCN}g 4KŴSXѬϨIĎx&F { k,;MWtB`S0 rqj0yBosKxr" c4zJ_}wYĪxf$x\%$w3gVy Z'pl) j}2R y \ 0}E_;!7MYgAت\v|R]J+iʾooh *` G9{7tN^p&B}֔9+ZOрG%hhL&TmU|Ň[>+ iJ?DK7GƎLab 8ukyX"hF iG:ƠRe|KL*Ph)<)( I2OG>;O/Ԛ(IԼ % s4%9("PPx^7ڃ=U'@1R8cPλDa8丒&@RJ!G58u0M~K_i>AN皡̘ἀx玖FH0F)w]u5Z S}p>SHz! SM4m*ņ]"ϤQ 835WwOL8Dg ʳC1jHOOp)jߙTm Lc` 5A:`D\+9!E15Ч?o˗M0#NFM=c^x9¯ΰ1s]I' 3&r@N0v0Xo; gq Mw7轠4ɺy_RӺz4a ȭ^I~a;2& _IZU /Zm)f3pT? ϧ_i"= "+b*\"bd^[ԘpoEGsR3W!!<:pG_]O$Ăe򍢊)D|,6o/B$B|%`UY3w,{y bm4mi{FC7U&SQ5K$YXſamb2PY~GtmF@9PIĊZ /DhQ\Oiɕ$]a\%ڪ>7C\3}Ɲ1\o4P@v9婡TSd57EX-8p㭚lL&ǸMIɿy.9} "dGE<΋v}.M {`qè<;EZA E)MaуoqœA]Dg^;$yb1>mrW㕫1]/x)+OٟrVsL8ugGWq{8[>fuu0*CTO<ͻnz^;ZCYA\ɸHhш3^rMW#2r f9.|4?/[7 z7hѭym ZOC%87 ϊ[@XtWg׎Ϫ/ ;K]Ih%F6DgYZ7zXZִF! k]ŗXiɟ29aoʼz[%U>EM!!*XK2]ּRGl} dM[=]-';rgk缴-AbɲYU'Lsw^W~/Nb^7y8!#Lj"A>V/ly Gn\j@H"kOH}~}/ݬ=3ꁸ9l=-za B;IE7<DDL֑,UݙhgYlpzTP}|p&,becYw+ EP6Mf K 6q1!g-`:bME~z)5eXqM@W>yGZU?E'T7de Ӛ޶FEB!-c52 us =tc[購:hɪU~Z4)(p=(Dc֭p0B&D7( ɘCtN=>Ȁ0_p}@1E'!;q*!g8ރ P2y!&XzA kR9P'\j1}Ȁ G,~ 3bPz ^&anU~ZCa#kLvdK{>PspEգAv1pY=UI5ا&P x7,0*pgrgZmkLA.`hˁ@Xh=qtvOܙePnzwu+.' eٟN:Z6GC=k07DŸ/iGWC:C;ĥSU]{(%d}ͺIRL 毸+fCkAl r .OẞLjH_{z8% =TOJ4֚׹&vOế,(PbS窍n5mRp̣1ŭcNbJ.VVv>aqHjƨk׭~ Ժ4y[ejcV'KXgM$Mv'm%-?S{ޗlh:"-2ٱgYZ7zXZִF! `]ŗXi%BԨ ujJH0Mf[)/S[گ肬~%qfrM$O 9KS|_^Nxid";5Ōީs> ,CP B׷ l}dz*v&R'{q+rݯ9tDmLܨhVհmۤ UcN~bqxZ&wj9-2&V{  ;h@<w/Y6]?M*aeHOQ+t= Eb 3Diq;>8rֽ[W39$3K>-cOlUn)&+ZTIUȗe}UU='0كշ.W5Z7v_m/z}῏BlCZAc ieC\ .6M/EhT vԤw9-v tBT[cFz7(1B6Jf ԁMdb:~B'w=r[b-UoԎ0ڊ~pK-*· |"<&ֱD.7hG/GAR;Xl.o݊mđyE%gK, >H=Yew#[ɁPH0)f5tGbH\L*DVo`M@Qwp]z Nh9/`s&22ny"o"[wl6%Wg-ƛ|*d FlڱxBy N}n'VLdc?]ܛe"᫼CP=LҰy.۱ #3;m$֩7gK0A$#l% Xct(H/ ָ -} ﰮP-Wb}A{-S|]Y! YFȄ!O>ys9^5^ǘ*[V7ljîTJi|M@Œ5dbt.A8Vu"@{ {Р'EpTNIZV_ٻtS}-m_0lWQ풪 b+sn{,c|)Vt%2!*L'dhkg(,m|!8$ZPB{`9C= ~p`f;z EEȐR'Ot6'!{߈vPzMr0ұb1wa*Zр=i|_v̌#]`&=~:D`:ÍwMnK[b/?K 06(jRA`济l8de¸C (nZ~K(+Ӎ=<'!.a:C+Ų9:p_pOJE>i /Pg 5FmXb1&A_hRoI\D30b~qI>_M2=;Lu >şx{ܗ j?uao}xHWU2T7O-nQ_8|r6i31'"3 '\+G"/zGMake`iG5&tBK=)$AgkdG}8m<1ܢ6v.7DH?gSViFzngVǿ~уŎsy`#FI74;{^emR)e| /7+{L!&A $ p_ܺfIfXiSQ_ӡhW"q\ 7ӎ r7եF|z]c&%[SU&pr/wh?bf X`$q)?(Y,_-6=QQϣ>l͊~w \֋w|*$kXB >l'a'aCM@>PIaI6ednzyEfiSDK4+ h˒>A-Zm ܊}2dᚭdryLgճ ! =s3W]0ןj_-/%Ϝ\7fkZ*p0\|#7QɁr:Q|["Y~97<& .Q W-^DР/6\P$qQ${'vAՄ7 wLK%)/"'d\u^TCC b~gθsHQj;1JuY(1܄Dpt 0TUz8lxK^8kgh/{AR)=ټ)"`kˍբF'IW?V3f ~k5s1;pٙ vM%/qvrAahֻwc bCƵNNmӏ+.JHQ}ANnOAhMwZ2ׯ֝)UELi57]A*K.^dabGe~,A`Ьh22™*WOϸ7~0qh@^wD5#(@Q W:HI~!焒DH¼jl /d&KqƩ y rbHTckI޻&oJkÚ )yl$T"?G"tL;?n[Vf'Ҟ#XC<:e-g.~+](:&NK/ i|Pj d&̩.@|TFAʈ*W+lSVZ; !azG]J/yC<}IC~e9 ƭy9J:sGDm) kmpIC 2HJGj~$KGh[D`V_3XLV]P-Dv3{+*~2|7cXg*)}`VztNc$& Go ɎwA_~\y׌&Fj; Ulg,Kug? .QOWrĚg=T m;dqNH<$kZiόL"ZxԄ۲]7Js"vePhT{aE}Y/ -w ueÝ$_rDqb=^9+fݰafpS6+Vl r{pK#L~: J1 cy1dR3=?v!ݼ.RhʺA=詂9ܬ)2J&{(m{'KήN. K ĜRbǎ72<[ 3lA^j/^d[4"m5&~P@Î7>BfS#SL/Gv( m >G)7ip0S^woBtCxKY߄B"9 ~Y%"xS{*y><Ѱ a@6g}|/򠆎{/v'zn,"vSlZ,|UOPK5+C 5{p䇳wTVk#{'&a.s8{- J]M;(=nVqMD|Ǚ<ɘ@ׄ EMC,x$̉ ~y)_#9[XH*Կk)ߛUV/7C+=?JY%~ȦD{e@آEtppWժ6Ͱ ʂ~mAGhJ^¹vw.{K" *LhzI l'Iy{[/-k=Rz_G[`m/5AbC\A5O27E$vd Ib9n:>pi*XgkGSE_RFGCa0\XxAj n*=.`guZm7UUeƄLBH$|2B>1dQ<4o$kQvT 'SMEURQae %G\{tJ&m4WZIuCI_KM}Q(J;qfK쏏A5$`sRO+; ? 61V[Os7w(OdT5$GYb8[#/8t L5BVA|ⱎ,- dl7aj+_pGj>Lqqj~8k\]%Pci6IcG^^ac2z#oa7RY9ĵH[ϝƬ8z#&{ІC7/ HR`K3M~slɾȫBKfZf6&W3Z18ٞ}Ic9=fe(]jk-Ws3Tx7d8*YHMy' )gO*}+mB'I['ѫ q& ׿$$6`;z5PTjNNIxqX,Ԛ%$h֟ ?cE 5'-{3֚SI`J4Oz⽆7ا#BXRK G9]: EU.tc,r>U,)<]hXkG1n&$Q fiLd Aƒ Zjb9jx* }!+9gi1p(\!Y@+?e ChFt_'UC=C]Թ%Sa9 >pd K| @;E#:b3,(*l[Xf;d>~]94ntYЇcԣiK]HN8~/`ҸSM5קZAWֵ՚MdjYU nۼQ'mudU\w=XC]Ǭ `m)㳼_"OAc{b&MM"WKMioILvFTs98IxAٺ /@FAJl=VүC6(K2I^t⨧G2[YVؕwb5[Gt]=-+XS *Na7"-Y(ΒȞF0h[=gB5[*WD3Y_O@8j?aό?kl&tR7[f;+v+m5ij)h)a*^=>j$bcg4,+)aftHR&  _6ңO!{VI׉]CEUQ'ixrZ7g ۏ@'/5;Jh5ߎd.y55,z0CA2By}:0'G _*أ*}&*TFՆAd |",W0L_:Z pC=pJr&^#ƿ:ΓxZc%$4Uor/%J$OXL-^u'YC/8 RTJe\w_ Imp{^dZnsu Ӎ|j]ߤ+($0r[n&p˜2V#C kw!q$p53bQD:D$X{ZJp7I$>92CyMv5AI=>ӁPLw3ռ=Y;!,Y|_,.qL$Om~@I]$=ltՁO S5[kq4EʆϏtQn%X*IVKȳ /AZʄAxec ŗ<;%]zP+bf~FK{bJ;;yNe .@UѴbR>2JKƒ _"Q:7\[a}fIP&g 4KNqsPMU'kP՛QSIkoJx1݈BP*$'eBnszC[p#apE?) ^SY8BUa7 HA.pլk1-uUkRقy_.!5ɽ?óܜs;X |mXv(.i:HX6((1}"˲7eTH(ByW-U9c/J>4ГQOAi\[VF3k7xb;L=K?{3%νA T  %'wN_~<\8KkZBW􌐵|?u;TsKVo2ÕYT4𓘟kDpBӏGKλ3 ,%xMOXAR(9LF/'/~K<`L1xkeP߆wᮒ?=$:j1^¹0JUש&cIjI91腳?#G@牬j0\얘(\c5X4 B`0Pr p@.9@VC5$Ɵ_N2, S؞>LL+9+ W>3EݿEZl[P <2=G\_UOp/ۧIdEՅpǀA, 9,^fn" TqEfiޭsɵ<BT㎕ #|*r9uڵ;h05aè|P4[݃jFg5HZNڟKh[Ӂâ*5ҳĵ]_r,4< wS1 A]~2GR"Ji׉iJ2Z1W"cb%džtO䖼 2E+f`«.8t(G+]N+Ʀcb1,:40!}Er7G3I80)ZYbҵg$M_JS,MHcvmm%ǀ}YoR/}rxpoqפչJFxHfV9NOJ VoTm12MN K}C)a^ˢ#}<;YbsPΠy^,&6 NUxzI6FJ bߝSunQY1ч8\F_n)pJ*gZ5[)e ະRnK]-RC "5n;FJӟ]d KJ~9uQ ىhVZݧƪߞ:'wKd.`z"ʤZ$5`?mK!_ނPoIgkIz[ S Tk|DI Z< 6Mc_B]_2為7I7gvّYqךzSI>E`o} Y~, 7~~dSQwH46C1OQ dT8b]VmL&{bo(D) 2~j݊*vmr$눟'36$cbMV@8@CT(1P8s,-&a/뛱hz^v n{O i LjASpYZ4{:<_[u,lg!fIk [):mH5f}"Fu1#JÍ@@A;o yFvS:u?ZP6u#rܾ '5$MRȰF\8(x] =b1ƒl&n3~9-U؏&!'h6ND=F[ (g94'r/p[%`z)xa5[G+ 6هO߼؎C0Ya"T`ʈh.aS$Arm,PIgQFpPlm!fNl>.*a=pv[Rf1UM3#4t5W̡9b-O N>ڒOuh3;t[ʥǴtC=*G1X9UxSi[F{!e¥Q1RE;?Xjf=2 =ljɒ:D>H2.ޅ[\G&/R=X2@m,. W&nGܹ-;O( Q:йxKH5"')O(mOf[-={I*__Ef3!S״&48p"ITx9}bљ'W%|cC3ΕfP`53<Y]:~1QR\GR8;JV eכiv}r>m?.t_m)uP?1%#I-->{ƠFr 9Jp^q t|ʀkzw+683G-A 8sPK38n]yÜp@ا}Qj8(d0}<"+Mʠ.A4)3'⮚sl2$xOz.SĤԬO]d"c$93WF)hFUqʂX%=B&ZAb2N,~84F+`M$oI#>g6Jœ!E5ߥ0 Um[,:B zL21e_(1f5r/u\A%xpj!&^~ņlh1Cy8G yBY))"%>Kݚ9f8 ؾ*K4_TOf')Kk \OԺ}$4/7R_ͽ hQ/THڴWk:Q@F%>9c2xPpn_jlX}iUf#zmh~WQ,ړu6)/m{}h>0V 5-!XR!XS=euS-Fع5afy*>ђ5l $1!ZJ>E)?Y=N?|m|ѵr "#olKPloGdQWVuϚlO‰;m0pS=ᨼKT22Dh|*v%.V6FIOKTh)NkݟQ՛fֿqXoElF'_ձg Z`,?[Ba)t\ʰ馀Z.yGՁk>9 mSXGj/ǯ6"X:58 :Z3vvI%BRO13AJtJ K RD*Slչ,P.w,xv^ǩiȆI-F~e=pl픀_|0,R)`=*k_9D/]RO-A3ʹ^xv^?UҰ#G2fL>Ձ]5>cyjOS=Qq+^Q Vめ:Ml'4sU)Ii̦( 0o [` 4aWƥ} ^r&z!9r&_:hMpޟڽX ntx)VJ?+9Y=g2{EӴ}tcs#g]vv%pie-iv]?ޮGPCE/ZQ޾TАImRu3o=׸h 7°is^-_U/XZNN5eQ|3&K0ԨrP/ s mXV7\Żb -wp&Hq}_hsn=QOG?nWMLU|Ra8:,Z~Oy2I@ijn(yAJi *P.)!N"憲ϿN܃9yPp0v}h@%oec oАߚ" u/lUз%$tUi&SqD.>"W>A(i4?v HhS4^vS|=Q~o#-ϲQu|[lGX5X~%]E >!T Qv"[ G•]XeXVm,bV-4cBxNжjZĶ~Ep3` IՈ,f*H" mYyC9^}%HW U.=*SsfT'&$MYUG;:Q-.J1\ rApP=3ZH[0c>N % 9z!XZS<.`Zi襼#f#}͊Fgu xD!yxm wHxͿ P >0 |l To{L){{bI,@wdvs&5SWlf *{qtROxۺ%{gzcc4IͼK5 lK) V^tʞԍI'-?:v:+9*? hau)hR;jmA@BCr\_j.A Ŀ$?N8{3W/R*S J2!Q*pKqC%2y1 ^h=pi)O=s0NL)nTvop7;.Y$,,&ja2'ziKM`/c2nh/Þ0yQE[CkJ0&JB7z Z x79kCBE0/Tmԗӊ47ћHR\ӔXeQvB(+nE>)}s2=TJ0t1_`dw'.追{ʇ-1eYۧɨ&ҁGmH:Ɗ fϨ3̞.tAb>*SYݦr`Am=mٗ]Hy)r[#o8z1T^PnCsT9U,lei=q_@ e AK=U(_jV1T'˶.c܅bJ-IP xMWЬJ'nISF58OXːgs !9{#YI62֖llra_LG/'Yq*I1Ȱrup8Ʉ9A*]g~<}` ?(-O tu^ VfKF:_IR\m-]{6Pՙ<#ZD`34v WLJUuH4NHhmR[34X"IˀuCVnc(gP:.vNH`Ci$y>oُ ų(3jhu{ y"'6yИZ);Id(eQ2]4m7'#ηdyrglJk0߸ӗ(BeWfđLWXō?*%ɛ)+So]փ^st$\si]XYL}+Iu'6Uemrpf~<Jr.5wjEY\_`Z/ծr/MY88x` U3*Zwb,sλ%@݀_C?RdowrQcql1NJ*'%52⩐I=eU9ɮ149%2w2dzw2T<0_(6 AJ)#y-bő[Qy^+>l)bf2f yT_/lrf ˍW肙mџ]Y(fhbፑdTv֊- rb3ft/NlcZK"hhYWSU|J.1'>t0DRZmJ85#nFQ+^?+M߈!R=#d"1*/?n=. 7*|~)i zκw鰶c$jMq\-60hU dsV!)oN50[ KN2=zr`~(sz`lky2N|OʢtZgn+ۣ 'RIK'0) ک jZf%mnSck+/-+X\o'+p׳}@uDhsncŏĮۥ3^ʜKՏMך~HgʗZ/: !X&^J3 "Z|dOdth?I#4,=3%:1AQAwB t44~XIF/w C!5Cj76H{N]?q3jrIXS3?}~LYïDبl%yt]WxPv*LTQ=5,ڮO=)-hXB/]O GG -@h G&#X3g(1ߪta}#ƦlNøB*>5_utU'/hPm{OYiv4#w0O &˵d;tN:g{R@"mӲ\[6 vLe2ƥ 2 |~^Ur|J4:d[Em| kq_Ugn5Z\ՙx,d8bn6'zVyu{mD‘f 7y=׹^)ʡ]s O"a*M ֜'*vUxW;v:ĩbc#NCW\@7I; &!i:y&,Y>},cp|?`\~G?pD׮U{y+ xTRubHiܙ"M`GϬ?CjÆ<3ϟW GTBJh+PO(Y@o8;K\qL_:nDųˠHF'P4(jbZJZ˫ٰʗEu_^{F*nHJ3P*RVu L5O?=x/g*u:%r{6ؽ0Sav8t(1~}sK-[Yӡ%$,5gxp3ْDGZv,,xO=a‹qWeꤾ؃>IL Mxw`s)Ⱥ$ؐJ ôӫD.PίOyLۑtcoCj]U PG]@!9eC2:muI瞜~^,δ[~=Ըkz׏X Ie~KspWaYݷЪuH~rȞc{wx(o&wӚ/S'I+1+B">{BWq+Y2Q9n=o^OY,N]:tYC9 ũAhzႏ;%cydg+4"$/cpQ ?-¬4F,KC.$pCA3 |bpL&Ow4HygJ8DzXuIpޚΌQb]BD/`wfbzs,̸-q}/T|&=Pp&`ytQ,=ԼƒvS@|13᫋cQev7C!<4{+pIaA'Kߘg#=## t'㋺pZgr y"f,'ൂxV}a":wK!iAEeɓ?,w]H1G+7\KTO4q.ԁ(n{*$0mGl$E)ߨ$.=~0c!Y&0gjl|.g=n(ؼeDߖq8lNd!+CB7S6Y7 ݤ+IGLc+s=7LOwnxNc AV7TaCW#@[Ge ™~.ٜ.p|s#L/,hC(W.wK;)p8׃)7HNUN?G xp- jfDu9;$.zTkD k;ߑ.϶) !`Mu w qZP.Fh5iGcs'@ZUՍ"3`` 2'eTczRi !CAPox$IlcMT_5-㔤.!V`62v ? W.#]!d5d@Q2؋ eY ߿0L>N-oYi8LmrAsC CJI(Nq/QF[ BȲ"/^KmZ!QC1^xCYRfՕݫ!9{Z}(}3ntqƌtVʰOOfQoMtqRq0)D}U)=P#}si9\uVdm;֧W х`:Mj uԯzMafCRY;߯6Y]_PH!&kZG3X&-M%X8! kcE<I'@?5qhdd.-cf`Cs/lJh(nH"NB^p1H s(N ",+$]?|S*2 .<1å#iM %V_2b!m^桦?Q:ƵqkɔҳcOI a m~b5 zaX!+ `VNxnmuG#t# bpmc z ZD,qwdh 0|. _V߃)40ڎpl9V΍{Uim^oPZV瀀{wj~S^b2>sÐ?zkh/geŨeΎHwLZ81&g'?`i 0lQxҖ:97oC5'-UޤaA%A*#9ˠkpeGZƴ`LE.8)9Pxf|cWӝ]lգ0]/R\tU |I.؁:)=XwM;{ʂChp!M5),aP۴# gtn|Y/0IA<vz//;6ҩ_(ƴ 6'hs:!y՟"z˼S}:ی'&X,6>wTSepXh" |i)Tdb)E.tuM]8Z8H=n Kǰԥ9{n[,{J4ø<2($h+AQ.=v:~Ko܍ca6-!01 b+̽2sGfbN l<ש3S ZEM2[ޅ*-7H0Hn9|_z:.L?"k;^ QX:&r9'~#<] x "mbP; /e0+RX5xeM?M+Ҏ;w5F"Dt"0M e yS؆XBJH`eB !٣ D;_ؠV8+q'6D;ǟ@E .5:WEKL^c%@9[QC3+ЊzZ{Ac$!#&?w>d6^WzY3eJfg,lˢ%vt'.$h3?nkpGFO02*>NfcLl=c߯ꬵg)u*{Jwme/lS}YAh(\sQhQ䌠xB!P\Ha3<{ x#)2hւ@ <ЫF0nCǠ{Vͺ1 Q,Wdn0T3>]+.L&+ZGX_BE싿 E\,#Wi{r+"NUW)\Na0?b3h3KU 8n2|2F51m& ̒;Ll c1m:%dU9'{-o+iNs=W1hx}|{1g^d`D>fAm#^J!|BK@<%)Vano0ҍPtUxk?4^v~T^iRR2y54g׍" z~ (hM* ݁IX]b_rW)}b5+3vS]Ƹm.ZS2>uNcrgn^u-X秗n_efS&+!ܔ k"X"EOCBa* )OpKmӋ=WquN!/3Pq"`2>">F@s95 Y$MQi? ;lAIZߋ,7> Wͤ2aL.+J Q1h_L͙"-'#F;SVC9 {# įgYW Oh;#aC|FdC\ۻ|7/2&D'ҘJ.Ee?mVɓIEaVeDKj3Xo5@g5Cr : Y+e6Na?$q5x)| sDcceБeVv<ZY4ARͮO!w] cU lh!imΦ"bv_8߂xCs_b\](46а&[繦z}͝MgJ;=]hi2(T9PK͞(=?U,N Sez>_ݽ&2Uw D DgJQvZbIB+xWUpZ5RTQ{kc"f,w}w/HM$ApQؑ(8w9Cld)?%G7!ҷ"z8Pdf1 )cb1ng\qXbqTK4H*2q$f'm ^d'w8`6xo*z sc`8z#fG"f n(H9H&cX@oh'GB\5C 3X*-R woR㬝6qz&jF?LK#ǀ,!0ل6|j,lld_RE bs{7΃ᖜr@c>x P>6-Sj;{A׸pY߈ [H.Xe*Pȗfaz#!)22y-op&ޡ6#uT9P8dI~n_*UBj(%{N j18~tF:¢Y)2+.eWeۡ)}9O J&Nu2}+ m F$2_Or f\5kJھmIf#PYWhp]m6ch}[5piv?mIOR%J'la##;h&R)(m@X\¹AC!ybyM+X]~9f%Sy]];as E4)wl6;QmfږљڴfزN~T:V.0H0+BN'ˬIy T>AhӅ߅aGSyвƺodQ1 BO)kڛړdžOt-yR,8~0Fy|:,K:Vҡl*5<ļ2tJ Pp-ږc@%R@[<<jPӐi<*}rݕ|2aeVTA.|u`k6A="Elо3;5X^ \Q7qOq5B#v@gm raf *8b 0&4A"l} raMIڪi:v%ςݕQ脸A;%OBQ8ͿɅW''*/g~n`}cŇ͢Ld>dD"Wb+\M&NfuyzDߨsbcWIn@;c3'ns H<)*|~n̹kwE&X1eU З[;/ܬys~fTA)X`DwϺvm? a+1d*2Lhe__DjL \HٱM02J?b&YZ0Q2*ԕ@;Ju&yEhCu^'97W0R3)`C˶=j$5eVь0x#&Wd~)>RV=4%ϻ8)3gu "^0l7hN!5ݍi ئɉKdZ=I20b0 *_$K>rЋtSrx~pEs|/ ,3 `MxpSl_f.O0}2 Jպ%d'Bp" p#VI%W's00+E]$}0VOwF"׈(:iNZp0GK6X@@B+b4;$+IV9'k& (D"<[̏Bx1m˶KnL2G:ZιŪ|b Kd!cr\}dMQO65-B8_FbV!/ g]4Z^K@Kfh%AP@ >97ehW 7i\ P5m1V3TZR-řn.c |=Dӝhm忘 ι^脊B}[0ƼH]]q@2lYe] jy"Xc Ļ5*M|AjBr^fKX%X#=o2ȾGBZ 5UKA$g97j#/V0yd,5qէ|֚4*Ӭ-0-q蝈+ٺNcFz?F!}LB4,i҈XsNɟݝ\p>߷6 B:+b"' JUKׂm֜8hފ%]+˚؍cʲ^Ya:9 ;+Z dn䫷iPHKtT`xGVI2Ԟ )-EUvd9Gfy # _gqV1Hű\m F}ѮmE#Om8CjONtgs*U A2T XoqdzSw=&0vʓB&NFmu(]ޅ OQsED J|ۣӀnG(jviJt rr,zmcwEӲHM;=KM Q&Kma_w)[']ٴQqfGmr h/+oCHp.ەNV;OcQL ,]dL28j6$K')Bی 7З!8?Q18;y/UWߒnYZ^{-xBx3&<|ʪ]OXpdiVx0qx٭]2Cw@NGm\ue !-\2E"Ȫ4mE({#M:BϘ+@i!#ڙ6l1x*6w^c"/a*E']Jyx^C Da 9BOCZos1@ܞޅX(,4"3B*fd>J)N?Q+\$SAaz>NJ&*ְ/JOGF%Z󣾻4mNG?(udfnqԼb)FF2W`InjS"V9V\uHe1TV& .򂐈8A:h>&-^a.~ 7BqʳLvJSK"z::|oD׽rekǰ\Vj!Y)tX 6℥8QU5?7! 3qy$h`5н:6x+ok s=?MoT[k_cAW23X@ ׄx.[<<.; wP=|vQ! +2>.o9'`U>_vXa,!J.!Z_{N[ZKN;?baQNJ8Un֡^& :"z@;ex[cxEQ"jQgOd^i{s*$ 03a5;ւS\kSp;̻k[NB#Ctd*$z8P kbo1JJt͔\m0h\9o,&Zk{ir0x)ԬdVpܮc,[ c*( )-۠xg4 -=줉>/QJ.F|>.J4e A0qOr45eg{%ۯh`Sbz8&LV8.o3р!P(TBZʦƣ:˟H ,M{A 8// w$7ńyr Հ̚Q+E og;etaո?^џ#h qCCؓp M|D/w5gR޼~x}NXhG95|:֬44qDeoL`Ι~;%o;1gvܲ;XjcIAV'OHA !e2KZǥa􃘲iU"g3DѥGBEyc ڐ_փm#KTQ'qj rn5E{fDynB1I'5@B e<hAH͟<^ ϒb @rf RwãJ,y?02/he+=ԣAZ튐3YX-@_&!VLڶ@`W5ѡ+`4 4HPt:S{%ZG^,a<3㴶z-\QkJUd>Ow} Y~dÝAvޚ?C^ mP iG3&܇ W^Б6mqg\x&&BNhƤijT_cQԴEsVfݪb3p?7Uv7JǪKOTT Myua^ zo|o'gDwpwg\O%Id5i9L"`ZD~.n6c4戀r {CC"v7<1 $@Xzppk2GpRц ^_2g=rԘ==$f *or|5o;gU3-0ha/ aXˢo=*r1P~ش%ZN ȣ{·  dcP@}?p@t|%\ X2G}6Vg]BCQ}a{eMp+ݚ(#x)=wU%w|A1Nqf+Ii':l%5 _Ku>5cTD# aNCCAfY_ 5zxZG/H O:x,~|Q=5?/25OzB{ x eO*DE:J6`J$˙^ ;`ݥ!JSmل[M'yZTޡ;cfMߋ ?|xI">oH^OA7s g@{ӓWw <u:$چ?%YS#/G8rUthIs놜-.H9˧9&q X㧏do R8I1Z&}LRx? R |wCBW5qz*1`<܊_hvwH^&otrFPJJ]T<gUuQ0Rx:U?v7N nI ]Z2go먤 LB5ĽjC#/G4(Ԭ2Ԁ^Fn]Y|Sߞ/qgUs0WlJ Uj*@׹/a;LHv2{EAqM}C7Hivk~lYjOvt{Ɏk<䨼aL"SjOػAjB*q'q[b5_g|oB."4,"SmGJ['qKz@Cap'&. 9a*:߆Sz)57?&"FU5mS踽.a1U"oS*aB<eC!-a`X+-,θvRmpuj`Clh {v}XюC`[IZxOD~v@B 8g~U\BXj&`4{W~6G'mWq5~fCNUE5}ZHNgr@-Ġ)A^DSYUcRazUv i ̀V<,jt0z eSb$9`-09cޡ\8.N:3DYL#&_ mx8^kBx{̞eHPEEe 86$X:$*bYXӃ;_1>~AQxG4']BKs9 ,8\Eiui#. VHx2Ѣ|9>&>pxW#aa s o$}>kɜksOEϗk C34jn7?ec7Dda#R%[e[wmA9 =g f?5&Y'¸Om,/*Bl[)/N՞'fgAo CXFdʩ`?2v[SsNCN"uOi/HԿ11o3 qdfɳjMR C'|x2w+_/`%j2:<alS䢊L~,$O*qCXJL<, t#1bv7s6$ʈ(Z7>xM *,chM'^g|wWnEU$螱j,]7ƭ}(H1Ty e4`8ߍ ͈Ӡ@Ñ,Ry ,:0DZT!DD6."1g,]k0ΰR~" LTtspUO߃cI ͚=DK\³>Qo~tU. # y}>DA>2~n?jD*A-{猾Z*#O2ks.pVrwsTy̮&*8!'y,̭N}C6FKnhae0-8 &\;@_o-RƤcGtt.t)7 "ƟКݣTYǠ^䕙[f &ЄYM2n ]t*?I B4~@[y QP0+5,t-<JQpɀVJܖntCWTQqLqED!fv.uqEםV+[qhRE䳬-]i*AI0osM j܉? %>j{ˉԇhP˰~vˆ l1]S$z@g0{^ }P تzQ哜-6E%uR "WĸrZ0t s 4BT11y;6L}QۣY@Zޥ0 ȉSW9Y⻘+̰⩅c$w `g f_`A{U yߚ\{7!r?T8S?^<׍ۃㆩ 7\tLŨQa7"A\8i@6G9sKĮхb6LkdY}mmhՃN$ \^xrۃ=jfy;L?Pv~AII9 u('4P91BZGݶn\P`2t.%ƴ.G{zM(Pס&ɮv&3M~4\ Bаcd~_ (e걌O[Z_fdwړq<6& *)W>| 2M{sa>Pt۫,Y nMG+roYj,-9Xb6pRW6dBϹ2pl⳪'j%" IiSqlǃe^η/jrɱlWmOڶnգA+s *`eBߌn^}TF zRy̩~dwaݼzGc\En $[e$ש|'ozcʉDM"d·'IS ;n#dT%ulYnnX~$geTēY%Q` 5M2Y;.F Sij8=Gu/}79NdqbڝeƫT_S@\Un>f~͵v=оЉC+j sBlj*Αն?VѨzOfH Jk0Z(D"u z&xͅm jy\d1<<8R (<;Ph48V)vh/ijANzn7بjai/>q?0ω-t;M>WozZV`$d5 Jw)Z<]NoW+z!.5èLF:5;v%}|7g%^_lK;m ^vwK;8 $8]ׇBkpW}';)Tc~cĢG87D/@O Ѕs{} YF܍UhÅ۽$+t6|z\{c<|e"8)eiٔŸc)^@ERw~ R^9k?`CG'/SlDj6bAJpxRH`[}pvC+zmO@8 (Un/)>:Q?Q}`)+ gѪ@9HEM>z2ֆ7"ͱ6"AZ+Uhru3_a< c1ub33S0ՒϜZ[a!Yh㕊uBxB{1ih=L@1̦v>ttͫnDVsYP?DvJ,%E"iŢ9,y͂D vc )ȯ3 M'Ym%L%.K|?o*T3ߚxQ ;r(:CsJĉ_aĸZ]l!M1t!WB'V8,IT*8ſ%# -vB&hp>Ӊ$y-c37q+ k6g3À XA#qgD5Zb?]Yr> ln$Vu#ь{mWD`X:mgZ{B=,QE PP#M~sS719f<cV^Tזo'YzH @Tdaݕ(n B ,%eܰS ? 'R̈́i,݃Q{&9&JKR>ey˙a8:oglF+"[:Nec-l|6Jy:+wnyaB#aH;cV|fv7/5 s.A ؎.C&c[{fV^PH@MAJݳpN~=]i:Of.:Del+Y)O7 Uפ2kypLXf|fMMlΕkG" *y5^)cu!J<@fj \djה7 ʷsqtk4|D@˩!DŽ[ F$*7lG"|49A HP]eJRHbD7͋oKxgd|~pr =~ӴsJteS|3r=jniIFiЇ%t]^vrMZ!fDrؙ;/0ý 4'E9\ m.W+ӫ_6,|5+ njuxǷAq]Jo8#SmU_D4[F> @9Cb$+"U;X<9͐EB"3(R^gYZb24114dff1696b0daf6d7c1e47b9768e7de38b07126b3e7210b637747af3583ce8c4a1dc1eb33510bc2fe97c50299902dde82a0bc147c2dff062e859