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  x xT%ltd ]/]HOL-Analysis:threads=6elapsed=303.607cpu=1463.544gc=63.216factor=4.827zXZִF! gH.]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1r ‘_5mab^X88DsEݭoH'>/]Ͱ}eJ<24b5I S%az?e9Cd_yԺL6 wy>F/[KżsM^XǺ~NxLtg,Evx!odO sYCvNؤr4R]V]?]Jq(S` }A=0y>x ͼW*n!l;ęX^]qw둬HRmNH.DWSP/|I>$5afdUwp,< FSi?'D*)cX&Њ >>/=зT9MSN6Py2Zg,E5 sѦa % HOL-Analysis  aL!tOAA+ #u*S>9eBp_9,VGx;cJawIPaFd "rbqyr2*h&WC+Vbt!+D^]p+\{r>@?76srx8cMAi> +\ f #T1Jc2;v Py5Tl.=~`iK{cd3-2%5E&%|PyלmiTIKzIN(A`\Y e/ ͩ}!VWPvL Sp<^CՑy>mip&kj5#, ikޠoV}" Rշ'y%;?6 ۠3IUnQ8 }GV옧͉P#p 7&V%iqs1qUBR"S hKXȳWku.r_{?1`# O |hd$wָ4V}Q,' soWVWJ BeO۵z\; s4K-E0̧3:`J(}Y@^MB UO(:&Uq8%*@Oӝ1jF986j3{αA&6gy[lj [M>.;nĥ Hے(>'$yp_IgW]‘3V1e+K_Ǭn hHLNry I `&-e7`‚'Q"WL!|3jZEιȴ 3%yf;2XJpL@xD<"6`\CG:jZᕡJf:ٟ?tǧ~+ދw=UH}Sv.m){L_?>3Zmm; m&Ұ߄\ӯ7hOpR՞1J颙"?C]k4Z8O:9ԋ}lH7V|R?.N @w6,mV5SH[q]cºchu!L+=7ۀ\*`Aʏe^a:y燸5BYKXF:# Dl)׸kr`DwjF|Y{Ϸ@+0[$O55zE7C?v QK`QAHa֌oǼakg|ϕ5A7ZX}3 w)}Y#? (&=K*\aM|UfTf %$I~ɌT+k(jH_gȗ"ך֧P+Zf-n/R$: CQ yjUz(6< /o*M:hDSm~FaN(BK=m bgT8ce]o6F,wb{o) xaXj#_z1#|?Țv MY-eC ][-)jU$1[kfVZȁPSR]0kO(}(wER۱T9Ot#V?ۧ;imVrMmUe3a'VlCB~xb]g#ΔTh9ra3=3@7 ۯ# ])ˠ Q- Y=lc=#0t%I߸ s3|9Ikڇ.d7]ć]$-Phà v^Mp*Ntjj={Yiw/򫐘-oz40x7g*'>qCE52ÁTAif@ X UT2n8wՕŽDC?73<(0y;hJԈ%)cP!z'FGup "V? QjW&Peh !#j&Iq3RSMѭ`I3rG<[L-~)3d+V}93,YhxfʱT&[+:D<@`6.Y5z$CaRr;Y=Y#-t]P(o߶'3?Ffu ,9pO4vc->XF-#%=79?W]-rz J:2;Ы`FnWGjXUCqyXo9)#l]L6"=nX9T ^bKɎׁu Z8srA{ZT߻F!K(J RHA+V"WwfR;qYz‘Oo*Og;^7H)GQ( Oo/?n]OQ48Ajߝ!Tupp3מ@'e@_jSAaV>%1y>8 .$ $'|r|b6(B64mOzk%+;pm(~OrVt@rgItsB[ʗ\%( fqcFQNGkI[.ij,D (bK-%?زdQeYx}~,x."eV7ir +ڊk''ud0ϪZ.5ZF<cDYy#n{4 @ wZH]]07 0gyA$g-'X9 Þ>3-xW,ĺ=*{-Nr9G{Y;o!g}Hٍ~$AJړӼg5rB,TcSROv]oԆyN+I QyHɊh]ҍƌ+DN\tεt5|w7Pj<*g"CYITAZ ZL0 }b[·2Dڃpqgw[CYܱѠ`1c$101fe}N\ɢp=ڝ#':jb}0KݽiGe@QV$ƫ$Fe^p#E(]N$H0IDN•y۞h|UDFigEqQe[|OsZ~}e&ws?JҚ"W# 3e)=]xȘ0Xp!J`8㣤aa^1(هš?^=t]`ͳ3<|Cl\tR,thm,Lu @_tNBٌE 6\P9ڪZd=z[BKIdߊNE!&!2m ipI8';-uA$.6c lP3ZkKdZ@4ǠH'k߄ְFpGȡŊ7H^"L2K̻N x*&FZ$~J{AlŤQw^E +bf-vzX|8HF%=בd&198QnOYxRbJvxkjMzGRH癩,@@1H67t1,9 ][PU,&ϗ<W%*2qE &W38]U dI)J7>g/_>\Wa o[0D)X.3hi0,&j>>Q#(@s6]TrrDY6ύ^4֤?92~$S㩲1x~5'87QU_ďmflʋ-vkҾ%O3V^^a]K\*a(jB# O ɢ4_U-X@%`szky kQl4= Qu42[#]“)Z* c lQ_C*qn|p)(bϙ 3,[uI/ +!q[k#4ROtvD ]}_R3&5dT\>6 };x_ _~?r(QyZW!3""rZpY6 Yb ϒI[>;8b6blY;*Yj' /Pf"<[t4£еXEtecAB)]Y41^H2%&pȕ2TBNl5w(߫uRC@38 np rސ҂Rk8*P4R>֡2ǣ[@G.^zB?T.[+ *+"Sm?&.:w"Kd_"bC &l%{Ż0.rĒߡ*kIP|RYJ3sT"9LHW s]L UN>;8TIOIO-$mw%!ΈWGs6E?>r5<Z?ߥs)sdM:5;2yҙ&.*HbeK!@*Sl$&nv1Ɠ]=JI \甀\h@[,/{Yw0@u$Z5'ci0պX+uJ6m[_0xS2ߣp=B%3f)i9NmU8̀5|Q{bq^YFաʠWHRLRM1Kh]7:}7hȢpfU[ѯc{Rn>RT$;Qp_Ulv_H_'%T8ݛҡ_6֘~ʗ졻q-7l?GY^ב)^'k[DnR\z.ZX>B0QBTӦ"$)~;;I Cf7P'$ķۜ`_ 39Zd=u;YUf5l(E)eCtnoxtFaLQޠ7!Gcy;ZaJ6ֳVxn(4gVDNOQ'9IGqI_x l=NƠ*!c[YE`{2Y C~ bg&򠢛񸉠j"m65CH^TX \'bHRS4C|r,q .Y(;ψ/VNUjW?`B:HV6y#-.D2MZ&5$= Dx'lO 6Z!=(&R_s p?fXy*r.&x+˯FzoBWR4iN͛zZ&'$oϳN3"@*""iizwۖFqTټ&0n@Jr$`=}֠vu XL[("iX!5Teflq #-3Yf+`Q+C7EǦ!]TLҮLRP 2zSПh!v=h=POjj[#C{m#j*_挗h(- T2r@eE8;A(@˝]TzE;V{~75hY 2nF=kGzhjD?^4} z7ŁY e?|Ld3OG&h%M{#9tib2;pځ״elXC%2*=J昪g8lObll)Xȡ&ET#nV$ja o*~>Ul(ѽp]/x4&S.4$3O+ˌv[hJ~:V2vA摑gH{řy~-Cģ+}G}+gE vZJ0Cg6LTT(&15+Y65E3씧@薝c,[ WIlc*%\cud Irg|Zj(._\ PheڣN耩DHGw A+ѷ-XGZ53>SRlGRSgTVCt KlmeȐ` >Ͳ]GvL(I~u>W4ZjiĢ·0vUִm:u,1948⏱{ cwfwm"ALT jB"poֈNbn&S~{5<&0 QP7fRi1j7#[CǠp,yjR^Hz{rЕ7(R0l;.΋P[o^;@s-[L;2yio2/jE ̷@X.9a(rW|] &!S&ΝUU|Fg+t8;L& 2'FeQ)@6" ׵|hnMGrK\n^LO2dU'd"KQ~Lb.l^Jή6wg(l 3oLTnCeWًx7cՏwA \=c6>YNzՙŘm! .`'n pb/0nX t],5ѧ|ۻ:?9v1xH"PGj:ځ_MpD$ 3#pNdX-FZK9-B-4p_q#; K9.EL}W梲)Џyz=q H`G15dkT[ĕ55ix*cC⡠| -34-L;{ T1A ӈqxKCN@|qiBKh"^k!YoR]j4Ct4/Ym -C**#7FO9k.d d_ A6 ڼZG3 MGyB]m(rg[skHݜ: `;,@a qGgPh9vܠALSvHS^!dp]'dt:ӫ&z,n-V~%Svc=%θ7[P,ii}/&_.y(l*p;&ARPF1Yo~-#6W'dC[д2{ BZN15*NAaXJ^˅;_k<շsTxJ !G.0Gm@_'w/C?>e5{\Iw [Po.LГ;OJog߿ "Ÿtb\LDC ˄\V(s:B\7G:J)PA ʿLSb.jTA ~dI!Umv1_2Ŀ˜eF0|DiWHzOǑ!i*#wSNC2ՃӍiWߗxxφim[XEc(qvfrHYFR \[Z;o_铒s= 4S] x7FO̧޷!澪([nui3*f9/L|}:DpSDXQSl- G *2#I)#E-{QkϦel):S+kQpm 4W Ybo+65τ6.骫',1.+M~rWM<)AX? NCh:TGE ԫJ'c ΈXcOFlitiF>G2))B8wp/ٺ?}TMg ډZ:?*BI9aq,qA^ rH}c~k^?ChT \/ZCOKF%-&`# SCCvueTulddW?$)*& #dhPTޕgoȪ{2P>mb3 !Cf3?ÍNyjQdpAMgد8SC`E>he:t-XB<56R#3}!*=npS5q.缯`"^Pd!iـ#Be3[6aܘDIɡw j9Xyf[p!Eى|Hz5;o%iV{ $u~ꅩAw'-%?PaT'9+$ ˭(jYj%zE\GI-pC2笱mbj g6~<,1{1O#%^SW =ϫ4n/U~)ҥ&F2<~ȹx&.a&S hPGߜja SŨt_Hw0+jSAFv7=mŏu@Rݦ@Ӯ&KvWɝr>3dB U&q"{gf+hp;L2~XxL6;h*Ui!]+{o֒9 !bm[FGP&i(-NɊHhYD?̺FUqU c#Ϫ$/WVħX?6_ySGrֺ⬰Rţ8QT9¾م5@ Zzr*M%{;%ڔcp@nl:L.]z4uUϱ׀ߌDy)F<#l' O ,`̖CX[>?aʉ\؇DVxī~?n2֏(+p$շw[yvp5ha8kOk6X>d}gE]4_\Q}. >,2=5qrBZ/MI#\Dn9?C6L{K/ERh6R3+q/+Tnc;hMߔ }U,Y@:IF'Tѿ5;*>#EP #yuxf\V3J} SsVb;Tb ِp"O+o 9ԧۮQ@ $ThD: ( "y{36ﺭ Ly+JrhR'a j0hT^ao6'pK"CeyT =Fؐ.6Wcۭz0\hy 3fF3t]z(TK(Fڊgfm[O ?P}mDC4T](?npM`#,ې ՏiS'o&!o~<@qWcECy\/llʩY&rč&I$:`>num(8WYT%8pK 6H a/dR>N=MfB$ͣ}(wA.n!;gS*7߄ɓ f1>['g F:n"ev/P[St1`S(L W)nz e¾/K{.,!%"nS¢dE_IV5_V-yQR|@"'KTONHm*j +lC!gF$Zj' V$F ; T|nv Yh; Sqg87K# q8]Co9\1//YԐNEo> - NTvdr73q+t9΂ X˜;cf_ӪԾ5Z>rͪ'Q{*]3[\^6PR($-X {ϬAo#{:_@\\V:I9@#&V Y&9e0-Vn!SzDBS*Ş=};3 UMCw`+:20sv`=CvA>'>$ZE M^E <ʋ)7#wg$sM˕ߙ n\j~Rk/\>=RO !?0# Lmc.\8@=UԖ8 A1-L@Rqmޘr@l;n7R]!ױ1SÜ:o-RwHLdc_oFB*sAS'L-6ݺFBve@NCSWh#Lͫx*XE-<'/x! O L `=h>+3nB{° nU5oϞڎ7rxY\$[iCd2Fsu't6FW";~',@`P=IKo/w> z_p;Ĩ&0=CwYvmZ=˭pԵϦVmcEJy3Ri>/ hL"۰LA;u#Py"tVynv@#ɒ7g9rhʐ jUұgYZ7zXZִF! "1]ŗXiɟ1˦r!cHkMeBd4.5{z1R_>C:{OP-ˑ#9:BkGxTFRj'(gPd'#KvLkmӂM<3 ޳!<(S[zqx@}Q >^>fN+]٠<4PN չ{ETi:m;9֝lqcjsA󼋉Nɺl4XwUc4*jv9VT.F9Uc ky Tfk7h.\@5<ՅBo@˞\6SA8S_wh²%ZB=4QVEt}Ɗl θ9$cc[>JDvBK"oVDdK`l"0LDƚ}ZAɼ^cķh@E[ɨpY^!vޠGSx0\yN82#"N;=,-4O>V:@ 0d[Tmpk*t8k/}\u!WlGm\זaVtCe3q2{H`N9 ߥƸ^'UiW2`tjޘD;fNkÛ'鏑g'OR5>0Ok`piCz"짮%z0( k&#FSԤSL(<©n(QҶ[ėcIwmx$P}C աYOS. 6Jӱ.6 ^1|*k}dޒ+ _BOXt־\.4'.QLd]z Y2х 'b+ 4`)ݹLs{ weTn4:oʹJMXZ5 AEJ`f pS>^n1x="]\N]9f1CsV!7 d`&4Aفe}^iKgK;mB9Qޗ!UJPEpTwZO֒]%mP0l#IIxݟsNsYFޖuek~PדjIU 9ۋ@aKvuГK[^GJRi@vkO:gMھ~ȳZhxYӁg~Ɲ P{o:ql [n8=%U ;ŮVpIFud:T !G3֤N;WV^ dhv+U~%ZŠ?M0p%jI!XbP fx΢aJer9ayǫJ;whfWM2S_ Ս'.}Q*EM *}*^ǹ.b'9n^t\[%$r}-EWHgYZ7zXZִF! `,]ŗXi%>l3FE&ظ=7jtӸt\|:xGpJsY ̭vt0bM==biEL)DNoܶdp2 ȡBMe݊dce( O/#ii2iB~seg/ɆttJ *ըyDa tLz8+g|>2RT EEz=n#{ [f¯*bCDtƀ\ 5\f&.3Rio6"TǦ]]|ԞT?4w)w/vX=^of^&aQV)HCߙ EoPoOYi}2R)uR0bg2{Dy7!b{n1wáF`@QmBi䰸s~b$:i|mImK|TY4>ؗm9߯jgXsa`qm?ed(ǓﷵUxg+}ɲ@_DT].iQ^w[`[:+_mtR"m1n^Q۞_'8"雬)Bq Eu*Tj0.H/c|xW4׹rǥȢH{(r N#-R6a=Q@9-q0tm1r[ʎ?P B󡈛i=87.+v4;'I- jM/לޢ j VYdCT]}y[<]'"ҢIruљCH'P2`O^zQAN.,|g D尚~ct Jd::H)RFKZE~ޤ=Ň}Kγ)bܗX2Y #YkcP Qǔw/ vn: |ҺfCuE뷞Q@š3:!S J֔? $LZMϨݔk* )"XAQi ƫuQ%]uTqt%dL5v XV;W9(lf٭zm0~Q7&ӼAl̿hk1rKIkْD߭I;LUć>oo{^,7|/ 4Nc0߸b \&1Tzq(0= _7oV> +USPJ !S3}-XVU(I|پ&ˡ~| E9!׺{A.rS) D P0iJ[M#Hmfb?hIg)iݘBX^&,z%Y瘋C0qwK]9d1M"$S8SN3&)K?8; tPЌ863#G.ӶW 0㓐7#I&7^=n0!ϨpwND"m=vbzw5-=BCԬ-UB(cJ (m.B)Q?ցBb R_K=CP^8lZON$f_įOݻ C@zyBݵ8ZZ IJT` '}yaAV`Ymm/Tr_M\#ͽ[`&  UiVC8gMn zɘ$Z QDJu(J-ղ88<}ILK]-.֖R ~Xd=N5ɇÜPPn9`cL_i-@m1z{$xr<%כ*G6(UzN DŽKW@@ǔ$NȒ9mKx|=4Y}oᨑ)FC2"N!\h$!C?b*Kpcp <վ|Τ20aW:^ Xa8^ƵQ 9+rElē&1iK23"JabnOB(ЂXTUvH'rs>bs]iѭ5h9ű :1]ӡJ*%m~ 9 KS|V(ٸ߅@gؙMq(;h+.Z.t*c[ÇD!Z $mԤO!λ(jDCg^c B,Xrʌp&HY7G řHID?sDzz m2d/ɰIhZ]J_,Gmg䄡2R;6͌Ii`9͹*F0 NXԁz00:uӃ'"(:Mʎ2'!%ᎊLPsk@|۩td xk}^zhekC.3+ Okmْl2Bd3rZ D 8t`i?fޒ%]qUs>-GiV\ZNdG;{Ø;_ K?犸&n2_]hXGd4,9A0tO׹lu{0e X$,#?MX.yMϘnY*R6J·& 7'9c3U?֏)F7g?N)88 ^cIL(&\r m\a~Oٰ cxx`av7@b 7=*.DUzr@V~=2pC?Ю-ԣLyOypDqo{cW35@i-Lr6Oh2#mn=$,ɉ2xZ9'hSJI:S n`I HT>{stΘ۠-ö_mO7\x2_:U+9!}7$prXꋞWʙ{C^XR(Qh򴴵N0hb`NypR?BOñaH%jÑO~*W$qKJc R)J9\F1#7+|&LO8/dpu-YV B@oc<:e%8<-_\p?#ydk~h;Ho4-?Q0v(]UVwvf#C*:+ϭطNˋৄ+Rm;dDSIEu6B3+HۤmZi[A}~b{go ofլlߏ: x0,гf%aИ~ƗpFӽc@yz„df|Q~(TN[{8ƨ_xY:A(OdT{ }lf Efߵ'36`<%wZ$[U{^Q 1a[Q,%ue-6pAL.% JQRs|.?L^@~ #5'=w .y89 %-B!9\`gt=>{lG zߚR07ݮK8wj|ZF1 F2rT^H؈;š|[[ yg1YWj˩|1j?yCD{|'/^կziH{3);8boӮ !KҪ ő6݌D#PtBJH^E Tq`a'?FRZ P vB丙~蹊%(IΙCK'#Lqtwèl~`)({Md_@G&:Bd M3L+tHw%%X?EX4Atpdl=c9&pt9N Z)ͼ:M'ȋKaa%!uyl.+;Q?UIg>b"DC:.0AxME3ԗZ;O)sp}0KEl$Uy!HΎ-`߾LC8VOOJ49H>O(mbSr8ݷ]mꅮYnmZy ac V8`V)aϛ+y&Ngȇ<1Q ;J.>IH͓06`bep}XJ_d XmWdKrMX+Kfi1"* %K^QWDQՁ &DKۢ1ojU ;杰zVۘDTXQl'4u]Z肄_^ 1\1Q,zVO#it5TBuJ܀y |GU8'D$i̖2?CFzW۸Hba-uB\bF.ickFWN 8Ϟ=ouY")wP:EW Ŏ v8xuWٷ R(2~BNkQBbaϳ3y|v@F1grIi_D#ۏwJ/ 2.uS+ޱNoAA_A(oα ڔтt%se˝PzYܝ{xT a>B@Ŵ{6r]vޱV'FV@Y#eCy6 <'<Ef.Ϳ>%ԶQ. v (Zz|ޙ@"@v.y[A lQ1M y. NKцޝs>U.b̮]T3‹BSh"_m= _OFY޸<6ǎ)ͩ$w=gď.]R`@$ /cMn 6Y=Ji xݯy6j\=ed̻Hv2T0j'diϯ)ѓ|q_[JՇKn 8b.P?MLO۔/ؕw"f %{h ހQ3ZӼ6̟?;lO:,0̽˰$vŨvc^)ޱ[/)d} ,n1?8$u2XAP)R1d#XQ5c?#Nް)qY?yl Ln(?~+19B똭ob5^ yj-2(kϼhAk΢kXyu҅rPKV;bJڿ1sar>*2m?[ +3޽5><%E8cqvbwJ[R6[OشJL>E*  p'@9uSWhO:ӕ\CĭYM[~p5X% JR8 -T~XMn {~|wo;/Vx=q_J`+뙺]l;DՆmWbshA:ځS\;,r}ש3G`"~q鄈͎Rd(F8XeW @%%CKGhi".9QZ>je{9t?f~!hhk P2`GQ_d] 'K 8He yJiID2Cd`/kIN' kk*lNi3grUOHƫ`'H͌1o܌,,poۃGB7,J=li<@=?~CѦ<=]1WM5#xp8SYWB<|Tˮb# VwdEzZ]_CAxTEI%Iߟ>H^"'HٵҨqO]?Qx8U`mh:CL]ɡ EQUbqU?0&tQ!)e~_(]i ?ded|#R,LC s S+֠ i;B&8^AXs$«]KCp8VxPh}y/ѡ`!!dr=xv702kW`r^Yu6wuwb*R+*WNjmTW #&Tr"#xwnESMR;[S0v:Y7>jn Ȟ$:@zE Mr .t`W`6o*|8*vTk;8lUj mOP-27BԷl"G'oᣞI~kFMV"ꑆ&6_j(zKO12}v>& ,s*|]"n tWƎ]~^ $*2:xx@ļ˦RM姏D*y8wB@Ls\)ds+@+8ŤqdALPJyC?"Q U.6vP\P~MKYhiugrD- ,fO\.Rnmrh/yʞx<ůu_n[;DZ:gRvy6z^[f xnM@̚$ekDQMwf^}^QhC5O.F!H,S͜uO3tD rg*k|f\AGLfXn}1ڡ-euj.$j}[X\X4U&v P:*7Tt~*6Qt*,TBv:9i X1ҕtEY]lƊFAm'-뷁j \T]ڰ!|#,s|Xxgڵm>~}\ 8Y/Ds ÝWnERMW,2MwtKl_STԗKI֖d$"L1o1.bm*)8 <# M+^;kڱg v7i/הH /yTW׹k0h._Ē0FN93H{½_cܳlW!Qf>xu`ln;#j SZ=ϘhF;wA靅a O5b0 t(*͠$]Vo n`LMqҾѬ]_a0-zKוv93FbƬxɥ\jk^㓐VǞljG.o9f *^CAiYqkZ<' H@k=݁U2>R|pY!J;i㫦א.N tv? !/zƿSdX 艅n!@ݼmu~X˰4Y #a.*9WL2\ǫVL9>6ly:ʅ1|>eA?IrP[ a lOmGa1uf\i,ii~eq+5`^]ԩ>2q@i3h!3v2ʺ[7 ]Y7j߅͒ SqA8cj+g0=e衃@?'y&ZM^,[[E_+۔\$=3v?@/>Y!Ӱ(֤".e<)Ng.5]7-8/$j Qj̎ :bLsb CD8`gINdK+@t!aOeR|HJ B~hhurȅ.Z>HWDo䝋&`Y3(bIQ :ůj(>۶ 3l1ajQ|oȼ-U3<{`7ȅW>`OO Juz QycВOO.p]$VYD$Ҿhrݲ`CŚjձ7½h~t-? P5187e՝&cm-B^lyrhE u8݃^y׻ 3kO:b_JvChG2F7eEbӺbmF|V+J_LJTpBO3S繭KxR7j&y_PDzLp[@C(l+!Ki&D>YP--Ր0?QҰjJ&Ǣ@,}:rB&S ~Fp,k͖&+&+j2{ܚ 񷤰%Ӓ*sM0%@i“Kލ`hәo`?#"!vv;П xWx#"@%E5 Dr֋MLܖgu8r1Hwn4>MаGAъq!qEr-z OH_g}ܖZH;r1Ĕルēa>ph² ڎL K)ȋx[*V91𿶎r@sh'I|.ٽd: qPo UWe!Nj ?,w.S޴]g\I VV ]\!4FRa菑Dol^yp#I &W7r>#*5HΖS̎ùد qim :R.3vJmu 9Ugt^ v0{#qeh,T`&~CzZ?J#- ܟ $.K7q9^4"u\eyXoE6T>k|EG]OF B-y鬼a=ۘüT] @{L( kw$9uEE{c &Qz<[?5$ z.Ǧ]w$^0>'CR8&z)7G=sjQxr#H*%=๺kހc~[[SYT8z3VTs?L8J,с9sˏ/G;zfdGdCCFK綠m]W EH!c\D15~L*_}.ƟۿD]La[g`/Y*~cHs'_2]\AogHsJ6N@8MtRF2FgzV.[NŷL5Tzden)A#aeUiĩ-L Ɇm̤]ZlϿHq_2jfǃ? A߮hnD5$!(ـ5@f+UIa.Kp`o_XpffSĮUD  =a~.dtmHu`|"כ4brGEMD'ٖc#iUZyAFQ(遱'|gƨve!Yֲy}ó󋟋^kkqx=_f$hS۰RKևˋf` 2c|VОݽc偫|Nϔ$j3VM4;&PЊ+j3_ʸZ_UYʗfC}lWw WuG7+]/!E'.Iw<.;^2Kt;ZcEmSAHejf'qG44 ?ΊCaQYy5pݡ~HyJWnҗqo/|@uh;T *5}8҄6n4mq;Mȫdw\hɨH mچ1pjIn_\'Ǝ?>6}1npXk.kq3b-D^gV EyϤ؜$Q>BkgiwJ"7o bYB+bju:W=4!5>x;.»E쪣\=A/>L 3^Ukm>8+-}N` ~Y `@C[&GuuKL࿻RC7(}%p&F6TTa_f!AuN|-hPŸa'M C)I^^%l!/*O=0ّø:ӟA16q RRa^T)GtTބӄ3j hxشYI:V@o}^ax}<ޙ*λKGфLԥajs\JUA{eހ#éE8!_G&_EeAEi[K7e@,5ੁ}V-B7(q-R9ߙp|O,^kZC%jvdUq,Y4YP9FB~f=, dѬ8,#g\Rkү!ʁ緭^}'yծۙ+ 2\C*1HO{O~r:#)quMIl4 lY2@^Xd6HSK~q(5[A)7/i^.Z[e鲙_Đ]a ̭QUç 4VimVԺ(3(_mF{:ckܹT^zٔH SAnuI}]^3 ŗx??w?CsAPyQR@D*CV 1~1_"AJy) ) 6_F%'lvS!KZ7}Jt fhϏf ~xD~@WtZ&GV/Q+"i̝H\;.u->+<[@(*#e-{tGM={U"6⋔ts%imWZ:U^61xntHz`t}?Vr ~Q AW0.S5L.hcpI6g@؉Qv%azsIExSJJ83qtIFDeN@Oy,Llh3E.hKDaƕir؊˂1C[QVbT ]xc'|Ð8\@B0U|%@a/GB(] [m`P(#vYu}RSU֬\w\ݭ[[pQqdKZՈT+!"lCY/>#3o1*(L3NMnx@E5:ܣ>O2|i ".2 i1 W%8WU”o[-0d0<& Kջ%3_ kYF=SHE翱QI7!y]8~ Qz u9b]5!;LMNVWF0NU B.~\/Ny u6&R;yTt$(rʾDcH|-'^~E-S<_5j%! ZP~5ޔT+y݀8;m|=iюfy+$8>H/ɂo@se O)NCujvm`.>Ӻ"0!H50D`LӵpbW -c@pp3j%TE`()hlAi"i^ ֈ1VB>A:w>\W:,jb$c^ἓw+h0LkGaNq@!k*PM"+o5r\X|Y^LqȴXczy!N^R{i?&akIkGXkd.NkGHv=B ګ6 4UcmOOA0JD/H YdauP,*@8H.b[d$Ni"aG-hdF{Dx5h7.h2)>Djj2EtAuV#ݥCN ÀgC|~|ߤّXʸЧ`;2ayD>)2̯PԧLp+ڧ7L<FzeUW9oq 9$ ܷ.V2XژʉO[Тq̤b83?"*D%]H|G5!k8JDTr_s8Pjb~-}Ԣ[6S!n%-,_U!Y#OCҜ%ZHL3s6AuI9YYUBUjcrA8wViƓaֆ`N[ Gzeo_H]N@2Oa{ '/JК<iexy n2Q%E('D!vץ㯲$ƬP:Fwz/fm%}8uDz6{$e -b?b!9i&vVa| V՛;fUIo0䞢iG[Au'Hc7Z@DiJZN;]_kߛg\-!_^C̤Pux?^dhڪaD1/GY`ssOuQd"?\ٹp`p.xya.;+ɣj8K_pk!.%+ 2%_F6|4HwEu 4<ü~Tꄊ8t]ɽszK5g; Ar81m(tYr%t y, ]%S눅wE3W ]-@<h{ڶ:ҡ{ f=y J1r ]$emkUMdf}^PﺧހhLKAx1>[-[ @ZraaڈH\Y/$(4ọ&O8|ҡ:$YެL2A{ S2H%8kH7a}Npzޏ#LnݓP-Dɶ5%>NyӸ%Y̔İBp/Ei k/mg߰/)6+Չ\j=V`.DOk (h>MTy^5{[NdY$*+d/=|? k"sRJ} Ao ApLM@)mƢJ#eݏO]B5uN eu<PS CYC @ F Be7K+J7* H%5y $-4I%"/QR$a١ % -3p%Ȼ4n٢b,M;%#-06$p"!䩶_Y,j{°ИG}tqto񿊥Y!y7-'9@cs2C#ޡ EvFchSGY{C%+[mL T<+-Wa+}|cl\Q]N; yl{yDnKm9%,^VU3< b2<_h6w"rBᩔ.5'Y:/؟&Ttx: V|BoG| y64%>ZNE#'mw!Lvi^ؿ;gwiwقyRDXU c0>]gAe@gJY^0hk* bYqā 7ߎ;.9U$T,Ph<:@MN3VQ| ;ƥbO#C0muDirC 4Յn4KX"*' RǺU;\hjw|g$5J]nا!0ӻ R"kNwć݊1}*zN\/э>?yTj"|\i,|:@Dp]0:M:{_ԤG.(.AQqxm8M%D#ӗ$Zaw,+dTA* 6)Y(dR:/#e%AoEbRפ[ZVr( ym7V7x#,-!] 2_]D[,bɯX ӌ6%:v#FyDPdv_rQ'O֜U-g qsev Kq8qU.`d<,7{_"e:0=gAa/:%UH "Av:^1y3G!rOIjjæȓ0|P )Y?m 6܍ŁZHayR2CÂwCRL OBY hv1/E˲%̳ưUAma5Y+pr<eB;[THK=Rjx(!mk5TYNrPרƓ?^/_8ƫ(Hnhkm)/ڸӊR$rÓ۹(%^1Y?ǣ^""}f,Iݏ[=J b—‹t- J!5s~5ex6@} |<גc-يgi-0d"(CxHcQIs=#XNsgbW+3ˆHSFt/ ;Uę*iWyR:NO߂- [ֿ4T iuMI;"^x9̈́/m_@ɻ7ʩliaʮ&2ъBhLG9y&>;K?O${IOn ٿ` LFvv"/гH?@L7Y]qh  *v?928; =YN6ErYhĬiWCY?ZiK$ ,, ef2d'WdgxKyb)7#RP 3¥ 4¬|`dɟ Gc>tka+\m0(\8M:8b<m"<_&@8F >q9)xآrz dq+4L5ŧo7RSVEw-XؾS4xy[`}ɣV%<{Id1bi#Kbc  ʼnH! z?VxRSwf&Gv.Q )KHO)Wl(q\̞I'ٴlʉS3FcgAx$tQ96y#b55AWpQ%;FyQf?lӀ/Ia-6' YJn~JtaSWjSմ[!+>nlBFy-W5yC|͛m)Z;0f(~b8xbh {\CLR-q[ ۉDԽNrǘV6&gVEj] (]I65d\jX`ӑ(O!|e{,EmPUa<1ZP ݯu[?SDVw!Մ%ƒ,XOC\ lw?XdG u{| N|l&9olTh}Dh4eGw[z5dԦp{En:7_nd/*YX>m]% ؟%Yx Bb8dO ڝ)4fMxN܂ۘǫƥBd>؍e-Ȯ)CyK.d3Y_1{D{FOyQ9^좧=ŭƓ]'H\?>Lm34z#VweCUHY[ 7_;ѺK}Q,%,E9ʪDKrzq)rZF_TrI2ь:dZ( 4c9ZjZK8J1͸f>T2BCp1?CPGnkDI]SFG lKHqTA\UMH/I٣!> t= i/3sȚYtU"NưuE~ ?`07"Lf $iPB F?O2I,9XmqQXf%H&"Tє\W57܏*fζTR J3O$\/өbQ~ba,u/7!e-=,D(>^oP,4PSnA~ʉTI힎BeE!09֌街\%=W;#ؘ-~i ޡ=g|aC|CozO(g͑Cvi} \ژ$Z+$<";4\fG9"[|Ca\9V4\мwUt^S?dCj29{l:%Ic ;roϰKY/4!~B4'O29p_:XlP,"Ũ]ww*ߊk/&W.yیc;9*}) Tvŏpi:8 _2A̠RW OzBvK$hPTa;O09{4(ItZ[J|V;@MG&va D^hR{;g6g% 4Mdz{%[A!Ǡ##掏ةna/KLU Õx`-oCŃJ(+|Y˲}U CչSy>vH.YmZ@`#jԭ޸32u=~hY&*bű_60ZHtR+cϕDيxr [' LH †(8hH@6 O H3xP x)v<NڧMPU"|s vwc#ӯP]7S?{Hpl Nnq>N]6fF>(?-*x|7?#V>OA9 wFBG#y3+ZOq9ůM~u+yƁ_T-`wMG,K(yF7vZgHƩ tf.Pc߇UbvqC*lL•NtK,Rg(9~ :\$rPSw#;̕ 0))F QeT̅i"+hL*qp<.#)i꬀tj}L+zpI3f֐P!ndF@_}<ȸgY1kwW*}H1s$M찳R222 r Yx*^мOJ/H?35w4 #ga _l}0գ^i{fbz@RՓ"y7sg?ҏX r\}.xqa'nqN6y.]P+Oe˄J6\l˪6k +BI>>S wO1ժ7+/*W_[;H-GJnuf.DIJD-| BC<*x'c=ݠأ]kL5 ^j"W5""'hl-"(tgJp’ tzafhV1*8>s%4\u辥q07QӻS;ZZܯ- vMTqPW<70(<"Z2mv)[(Edw:Q^l˔M CNԣS-VszTe\"Ef5rT=q%par#onTs:m+s"QZOdZ!3$[HxޝYUXQc4u'bD JNw!y7[MDaMPj9"$ς<#1pɓڂC]("k&CQhMr"mc ǻ޳ T] i9> #ƓFFQei)0exdař"` ؘ&^el ½SpoZu ź]>>e_a}Yn&7U"T. KR$m=>F=)q})04/#PX#{e[C/ZZf|O'u;#H]@ .\ИI{tu۠4A?b,r33E'幂RFĴrZ)G'gp+,(dMS$yu[3%̳sEȺ^*GTB[&o-`:'""AgrO\Pl"ؙQR(=+a+IuϤgec8*zY?&K2|#x>5(+sMHZʕzˁRsa}" ^^aF̳Cwj$@1pK*]b2=+H / Q#ƞq[kZw(N-Y F*o|nV=@ PK[B#M 8\x2EB=9㭺ǤGP?+aTmXՆklVODAhTsN.g@H~T[|:[} PN B-p3hl>sxucS@ u0c0N|Vz