SQLite format 3@ .0:  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  0 0 !V}%*LO0N?=e>,Q?O׏s(}6@XL?8yϽ8T- yg ܾG,q F5_qllhna7v`ǭU(75ij¶b(LAF菻1Py-  LZ`wmܷ5u=jGmE&,.$LsoF85fz}i6ќ~ {Ȥj` y_to$;'hWM}Oqun/i0>.EGRNJQ%]Q2|M`"M '"O XRA\cD[{%Jʺ=iln4.;v%x4ą05ŨHN6%.G?\80tu54u6䉄a!2 Y!M 1ꌁtVC|օOC]20+Qvsɧւܙwf_Ĺ=!Uà:d0JVõ[3J(<;a&+Y; = Yg<{bYi,ĘCֳ%0mG>|79TI-ļ+}6+k7eQ%Mw"*ݤ!i Ik ~4t}. ,+c5|g /"j;Y&ϹMNj4 |-z0& +x(< ~|lpHSn# ݌, [ߛʴ:'bUC]hAէϚG.ݻ ./ﰪ,b =cEW/D+))p)4r ֖دP:(*Aq9`o㗼?)vk=^'yHZUq5Ƙ%ͻgD555Σ I';#@J,ᘃ5)$5 =>L.+? 4g6]+RwO;-QJ6t}{5Kn&tm.a[2iRb՝|,1.F$wsV򪫋ɑwy߅ C) o===NO#Gw oB@$S4g+M܅2=U-\n+joskȮA]F&s+ePj*uh xl;xVPιQc=1T+p$Q,!/0Jп?5 5#BqC2LTJpT1XqMk/s  r37:5@!L=pvȞag27B sʀ$f$[HK=5˯.rݠDcV8cn> *a"pH`﹜PؑNNpᆞg5S+09碜48j\o4 n.GާQԆ[gɦ)8qOnX↶M͙oR?huYB+hjh e\^!*MD:bWRg(%_-p&D%)LÚov B.?c*=;cΆFhq% 0 JF;g͔yEbZէUfe>w:5ȝ(qq[x% ov'q/~^?a8C]Q<#ύEQ#eoI, sۈJhQ/AZ9tؗA#YuOI.\N2%wRCHgn`5̍WN1gkG]T LhҀZPYTH 75DO'3[{gjL+ }ObdqW8j8ϊV6oDZYŪʑ.}ӝ'`6豅諕MC ^CcmkWb_E 3^L(`&{}tv{x2!}B֗{elL͇/ݮsi@ C;l{RvgxmC;ɮ%1;ֶk.t"VDNJXM3KGN@3N6${ˬ,}*ðB̉LI.$,?Q 72u ̘t$= -iGL K~vٮ@;K+\:6$&uab9dŅN]J惄NִO{s/jp!ibڵa"Ϫ|&xRA^ʯ2AĔsϦFFvN^jl7 hTG3,fy-R[䵣e&_ t}' װe崕X\/Z92_.<^*ad" ҙ"Z"l9N7-&Pl?)w#Iˢ>-` TE/yoSES?Ye)翡m6{NOdX鵀-yrTL ڳϬ$d|>vd>TmǢpѧ S +.d#KˤŮ{K0hiwoqEm I5ފ/㏾Q'g lξ 2$0m,0QaQE̅MaoB+s윁|:ɱdrҳ ]+a'8NX}Ɲ!~h}zNvGAk,ێ*A"c1N/^fQ8uoK ],{ꮵgUW\]etK Θ8$ oi^~JV %I&~ qoΐ)j X/6,xX^qnCB;AǪ`qs5Kܲ9PbWLaN9Y|n;+G3{ Cl&Wr+?\=.}/QCOLx#3s$BSb+4 &.S ApԱ{&zuE !V :+|bR܇!}w13jHQQ]ll*b D#H?coʑt9EXr2#", tH]66V qUhI澋ihD#1ڋMsPuSӥ봞%f-m{SbCLWSp5׮iDcGηh&DWޠ/8P@7M!>s*~V%Z~'Ru R4Lp#18bQ'CV%.v+}r]^<3#$G?2miӣGIrהzWf%C|E$ްBU+]&iQ-ZFJ{_ ! n$1dLzܛgA=Wso^ErƭR煎$fEf)s8KVeg-DN `p ޭkKN3K|pfEdb pp閅9s( 7t,HvW@c ڡ  sMR=Z""U²9$0N0~fWgm)F=&%qB'$Dpe9- /w6$շ! ܮQ,z1H\MG2C ~i$ r׎Z/WCH0x鄓O‰dUdgJ_Wr0}5p3":HE/SӥCubr@X@[.x᪱gYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!*X0mj%Ah.Tj]Gw_7<03qɼpLԣ|7k/n0Y[ZzB0{KO,PEFGӷa.f1Hl$QANtGՂ /P 1 xp4`ܡm V)1\:D]bI_@Y $J#0[Qý{mL<3k: W`pMsML߻(}anaKufW!.r/NPln n4v65?5#R:bp{x얲 n0y̞㷐<Fl\I-t98 abn_*bfzFca| %X:[ÂՇW& 7NT $4Ϧk,q=FӥRJc`len O:@ ,vkިA|t}ѰH@z>ɺស.j2 LJgk䬞{/e<U_7!|2iUJ|%̄*ƛ{jzcRrn!i]Sd+f;ɘ஺A‹PTqn~KLVNPXXu1Dz*'zvL_45 a3/ bPeI0O!k Kc/oW_RUJȅ "+TsS>(XkLX)OJ"'Wwΐ}uGپVb4h.Ti -Qy=x8,(5u e9vfFy^ _*-q5[ ,[BoWaN 1'/=ļ^̢{M.&~٢"(&րt=<㨃mÿ[+vSFjy-jcP -?`/ybHw?)#〇NLÇo&{7cDkӊ=zi:&tEP*|a0*pWih좟qE$dgP3y{H@VӃڥ~ j,++4au|CK]>Lz V8? fLt{ugط|42 l[ }n!I8,_.'c)A_"q5xh\l*0Ze}2hs{u*UAOmJ 4HH-x)i7'/섻L8e,9iz0NlBu|PЂmŘ;I *#@pLg iUYL]NWi7Y>UBZm{ wBo<uY!Y' X "q_nH "j*ԁpl%FdUӌp̀H8hr8{.S1~^ыE5rrW*𵍯D*֖N3s'rM>g'CQRhrhjqtpATrۖ/1cܮ*S>|!.hU7{4=";A8 ƬhSW<U#Bcd}JS,v<T V M;>e9rG 2K*ͱgYZ7zXZִF! \:]ŗXi%#8 cei],evjsX'7"=:Q^E{\ ^b>DɄE:[n1,;'^i,QoS:`P(y. `(}V;,ԅn';ѝʟZy}A*1J}tFA2ODdx Lѣ2[_ʰ|*+f]2hxǪ&ZAsZ:TN8 1~jezfZr[ k1J("JegrcDj7.Zg=*\he2ĩԔ7!rآ%*2m ?Xܻ v5Jde,;hrm!+;^X7 ߋò2̝2Kv-*v3n׆6kr~ʎ>G=5Cko`o+TV^D <9bpU5bD~}#4eps{޹MØvI;vc=Wg, ZYW{OCW*CHጻ/tEP'*f^0oMT)ஓ/A" EjHU A^!i =Î+)NT${bHTc.}T*nB >O!xu/^_NDfS)}jtX7Q2\A1l{/SV!s ) h ʻ l;[)]m0#T-Kxa̰ PEnfyet*i5HkTI>o,CS!0ӂf=dJv%4T9D>kz:pO6x֨]yV#b-=;i+xf9!xiZ@ 1xw'ylb]P6dB\@)'BN ["p΃AE@1fhzc4!3*ÿD=.'պhmcak[\w1=e6 3xk# Q1TLn[+Ou|4+]/X@tIkw~sY䇓.BI̬sM}B߱+7Z(ZxA<.m?|.w=< 4NduM|um@Ŷg&.Uw85ͅ)h k8zM64ǮO{TW{ Us>pff9u}GtwL+rN+LCO}"56䇆UtQ;@k`$n^\Q{@(n~;"Ћd8k{ %̯ޅ%5 w(U+&':BuKQy$*;RfpUPmQ!#Eǥ*N/UeNCjᴡ P:nr(d1δĹ*v-˕ZGpKVebQuζghz= Q_ vd©$Ng^'l/ eD|'=}{U~%ݲ&ϦD9QhU7h>6E @Nf6yf?4|oTr[P!Lui%R5. 07UiP ™ P#΂9_r\H7c̳bX΁0,mMqYq)$qqA{L*v}F gͦh XJXjy;L]2|Ϳ"(ce6A/'y?M^#B2}=K(*_r爢v3!lB!&<_*9gᅋю#0BbÀC(`bTyYoE$%>fs P5]mW xڤ/IwGEvWyˉ&Ǡv\@8|"˽J~e&ԲC~9ݔ*9y)H0 wBl1cR;I18wa{H{:Ebk?e3[JD)L;Bl -ۊͽlqů[jpC@W 5Új> vAb~.% "'NQ4?cliӷDE'?WBpzo:cc9/P4.1t?|9-FHV`z"LbdT7qaWYs[C} :)-9tSؓI4B+|FAyͼ~&N+k[GR be0,RQ`$Zx|1P.zjO=D +`s1no6bs?c/{ɮ\|kM/j #d#J /X,p^rٖ%Cŭ'G<9E:Z⳦~*rPRn:VBU}0A jn4> Hyʞ|JuXD}{؈*ǔ>eGپSTTGlZI .AK 2/t6m$ R>(-:l:Tx ]TXfTiZAY'7Uʣ }T/4ڠfU0"n$/5=);`q" 1,B gn!Tmw I;c](fcVŐx$ mI 7Z7v&ºb24,2sWVqTcWי'wzs[r;ÃZ8φuqN;vsnc9o9}+u?];)q.9T#DD+ƬĐU`0p4L!ME% .CG#SFUh콼r( Ȝfx Ľyoѣ;Q:.28T`~.X'NsѨNu+$`nDD%)<} %@%sWPM<޶"RپT H5W4~z5zc|8vWp,!2 ʣ-KCxNX[Ya9k8QPAEN,n̮L&6Xm.pL4mһ;|Pi.i؋9¶ś0v0KiPU3\u2,ϣm06Mw)SB!%cP QBۡO$U=9>|N]_7,+K#D`v ׏ֈJ{F.S^iB0FR}Laٵ;p)) ;"yS* iTwwq *9tvT5/a\Y+ Uk d<K:STrn*D?OS4N >!Y [#R[cU\j9f^r}UC.A4v/ wIV(mZթ?lw8qHbԸU0K Ic$G!mqV`b믧LUJ 7`:tqJSڲ/Ad]][nT[Vȳ=r,9}U8q:=V7j!hPzHd%-p&>"eHB =}<@1ymt/odNLO&١=ʨE{A@1&,fE8#C؄|(3#h)qWPNZ\11rN%l zA{rs_ZkȣZ{a~T8F I }ڇ5AZ3.81Acߠp%u133Fz9yg=iwv4 {nHI6`f E&9~zb20tI=޸ed&7IS7Om0ݚ@<uw^X̲_EFMtiFbC.TZ:.@_ʠ>ɆxFsNtAD_7\m(}z"}3yǯ`.x=F/ KL8/ߐHVV AlF$:N[ƯBtRiTFFUFn#}C3o|CgܫN`ROToq3C_8Wrqh2֩qbc& f 8u^c7Q~y 9~>p oG1cAP\9'E@|˻dG[u5Q:f\d2S][@t,b1p{)J%_(qXrqH'Xw2?S̍L6 ~T8!E6<Gx6llF w ߶֕= ~tɇH3 _y3`ϭClHn.l: Hj퇱C# ZuzIh/s5s UtqYôhѩalIO.o4W. uiCpA(&`ayzHЏ܈XOpL^ߞZZ9F€'^5>?#;RPbH%|;aA23ݔa $zU>6`zWdRyE]e"8$rH% I -@2"DETQZ],$GY6Zc/2-ʲ~d.[i9xq O)QA2¥}tQr;($'Ջ܂U'Ll4C*9q%\nq0,$bfv ŘCii@`Fiן !'X bW^ТŅ&:c\R6_ &0z !J]67@i nu.6=/ZrZ{!Ǐ z̘җEJ/ʰPmE0Z +!k߁*ƭX"j'v]W{BrBz3'er>\.tad?xg X_~="#==GԒ329yZxf|ZU`lbSiƵ](1AF.McH2 y,kJ\9|6y'OaX DÁwS(!5:MSo1:󤤦oRf;Gh$'# MM}YH?y6c~y3“%B)V/:fz#}2cʑ ^<vk*т3 2vx!m"tᲷ 6"ݓl0h`qȿG&guׂ<$ !ep%eXLs{y0 ԍl|ť;8٣ 訡V6؅I_.Yuit͖"h\_g- J59jp]lb<'̾B֍d9/aC$'qG~W(AIkQO[p{L,9>ާo ^i/|sϕb |+fFK4p%$'K@1>4("7jԶެOvyBQBnIjTw>LHN Fձ*EWIPB>Yo>}#fd0r.%[`U:M4ﴟkZ2`''r w ,Y tSΘVqqs.\R-Ik_l@BH6cLQ]?3)dPm*Wa!XB^ 1vw6Pg> K$`ۣI'oO( ?*Mm&"7[=ݯAvq(cn%Q.WiI]MR ft\e*Cl,BT=Jws6߆KCW/]`7%Hsr%#62GGN1TZ5&ߓͤ;Q.% Huߜ "`M1(O ݫ Ijd~ܸ<q%r8AY=YF;dœ"Okۭ[O.3Lx9?3N-! '(-s {Wl*pgYb̎al23oe:$ D>4f(h9b]|dGLOU.%`R14NHyI1.6&#%_%/`ܖ`lC;q)~za:J%U%zD͌Gf0Ņ2ppL=gd5XвD_rX3Rp?mzWSw;\cH5U>"GO$C`]bCmR;eP\eMƤf/ fRtߜ@`㸽sW;$kd?UfW/ѿFc`/^TS=$H%=Ydua%] Y+Vyۀ %d#nLn}82KN7rE>/hjJ5+D-fG̳;Fmӝ7:A|r^%'3q—;ٱ0O2@~꒨A! x|6Y?Gj(cP yb8 WL}( V{Kਛ'H_E/5>b^3\~+p^*-ۙ("/39䰒aTa`m?|EhK䬋ml+|4y_&581aefT|mjGdmLBq] "?3Aa#e'\gv4Tjp! RO,оO}"0𹹁bBL6HfUܺ#3Vij,5SpqfD'E%(gk^t6M) b)%XrVE"Z;F )>0 ( k& ^Z2;CT ;tHC jU5MICNF.v۫We svD {r#TyZh9=bҍpU8`p/Ν$GBnl{9='b܊2SghPƒvW0cg31)ha@abFb,u !reZUw V|Qhfׅ[74zK:羿$tY,Kq搛@ڗ*_' +.v6uzbfb'k GƯl/o`}q!Q Oa6A9l܉?b-ݽ@6ƿn2`So NdT2K%&YP d{llv7kBE4w f)Mp_X$8ix!9"| J4b.G=ZciJ&~L4spgDsaTd_5]jGX?Зdž .Ã9:0rG 5jrwJM7f6X4>Vkq><bX BipBsxs; Ӭ'Gͤ:+ǘH2s9l.ЭdXb Dף;zYZTPZ~1tyk9̯>Iw)֚~Z>TS7ˆ̒El' D$L&"0I^ic$p0r2&x^Rk}IQ<1aIR{: Ԛ-2F7sft6I\w6@R8K gC:,s7fA~t{h% c1H=d6֏}4k8~%&2&"jяkPcDRʼnZFn6uf)-),eUxzgy|+q>A&*WE,A`fk᝭q$\X_)+_Lh~cw(qCQa:zde*JLTҎk?BFSN‚ kH6#̽fSTFl4֯c` 5# T?T(]|?Hm"oՏw!K8:j`YT;gДx\+tOq<߽Ȗmp"OaUVF>*Y)N~hJsG^ #Ʀ,[],WM#% P+*XeޖƁ z%xCb11p;Z*{1_?ra͵1ԜV\,So+ r޾SCb֠V&ɐ[?<.T_jZ: V c%aB| `3huoy}\? eBO<2RJP fŗuMXjbm2(EsݤBu2t;9;Zp^ǏɛtNWs2ы9Bv_V&!L ͇Z;zpFiۯ[2 .@듴HQ6!K'6-=@E57ZzIu!Ք6?y~ef\N$ ]. X`MbZ#\Ǵwtq聫n7P\B~!( L1}Zcձ1ѹ`V)/WVGJ7eiW}dgjd#Ars[MXu^-m>[WQuBN q?ll]hd8Ċؐ Kef2b-UJf9wbZ'5BT?.)~6`TGF.BbB]ʻePbq y빿\w{YG; V3xyE){3ExxK @O:LWE89ٱC׌.@׋Ā1C4]S;hȧ>1 <.з<(h@k0C#K5N4/0ǚy1RȶhݬG+^&B Eg+MX(=ku t_j I"vh*s}.G˼aߞؘ8x^Os ;3 +8,-OiG\XA')b>jQq#ck5dS sN**ʍ%cDl.kiafXXɊuif|1An]<-T}9^uySMPv 'LGuz%熿 y 8}}bLQ`O+$3򐠣zYY4{ R?r;43}\HVenR;|2")S̱T-ݾUƠ0@U2CS5aSYڬ @aˢ-'~gatA<^Uۆ%U*JjszJbL3-~aR 7"\jbx}N KW\2ӗM .C#5Hq=w]ok|o`#>G6])XJ|ͽ6IFeGi>Ⱦ{g VGu?2 ̗a)q6Q)فCJ^<.w]Rz9lQzd>F|rt2rGrEr4QӶ;NP|$q5EV A!g$< ɰ<ׄzD"P¹F}= Ysϳ"B=^Hdy;J5Ssqf>~A^wMR)C~ԉ'/u/Hh7^ZHs۪Gb՚L*d)7 L"7< ]t k9d^tpH9P…[ѰW`*_;7 k |!Dʽ> mzޯ GQuпF%U9 +OeX%BL|LIYF]+J>Z JC|ttYl9rV{)* DGac?yFc%Ψ {q1H9qϟBT?!NbPuQQv־†chcH"25N[q(HHLXݷp RjpW콌+dymH LC}-UcÂha6e>ȚyNr&"*h=s(YO+ R%oX^dh_2U%87dYM)rY hudT8ZE˅Fm /[˦ BSklCkvvȪ{bϹ)@̙C/^<C;@XVZԊ2La\BY~$BS+Nz7vg勇` ^/C)={h BnQ&տlxX-xGK ?P1<`Uc:PER#-Lk{r7ۀ07*)GfN~K *aPiexŶtj5{jDX1O W9ɝEGmR;ǘBp$YyqC(2cW_Qg\pNmdv976޵r)w2 [aHM`?یq\mOxDw<4gȇJmE 5~FK7 IZRڜ}~fMK3y#I-i|V* vDͽd1=O/T,*ZsLӶ,*T0 !͟OTϴkǾHFmR˺F 5PX7F06_Oc7:s8j\)%a>t5_;xx&䑦Z`CMR%O7-6DY>ld=Re^ǺyUea##DEWi"Iwt1dJ sa8t\2K0$ߎg }AC×,IX7f29:L1"w*驍`A -1Cg(*SKeϘOwQd@b̟C$G`qO6[9DAI| @]zEAa*;Vg1:,yfOnsUKYtH~.PQ,9+kCWFsX\8=iU Bؚ%*& zkiۅȅp#\ƪQZ`:6‘B=٭V_0#)&];>߾GWۤK|c,M(nUoJ#ds\X'AʗBM@>Jئ%m TH؜I' ^]ն^_H bLT1A /gȰ{Ӎ~fR]W2ў;LXO{3,dG.LE~ɓ0HL(/H.ȶX0 b۲OrYm9tR6n86.Y E%É oV* *pۧQMVQ}MFh ߩSrM*L-c-J\/ԕVՔ5O(m3Y\$4F͢9ӊMŠ=8_tVhB%F5{FPğ(h ]{ޠ @i+)TJc JJ | %Br0ec\8AGE tC,XI+yXHU2G"`Ѝ?hқMp:YT#c2e#آ-ⱈV53Ynlq^tO83&lN7("0VG_9aF 2q8JƷCQu6Z ƅ}Πgo@V+)!N.SN/`2c9ϰ}_iQx^%|`Bv-oh kYЌl\.l& :f/'ߠ1lJϔ09Q˪y` 5(1G3_y<aFPi 3s)Tﻔ*"swMkQJ$X2lRweB ZS^P?Ӻ Ljދӿz0);d.;Xn88#;QLm>nP^Z>Z%ggLU 3Z2GJ-{?8s* Q좲goueaЀ,oo;RI+/Tm8C qi'= g n o+ة?&ryDn/,ժ/E_j6YŜC% BGk0!Qr$pu|pQzv ,O:ِ"j}ُW!ySP(oA:6AgP+(an^A\JZQ^£wעF6-ݿOet$3GrM1{Z-++2p* .Y9m?ʅi -'˛e4MoT.Y94FGD1_ѾUMwoq*GznoHֺY36ݼ펏sF$[6ȌZvKdqLxC S,\Jw`޷{)!)tо#UJL:FV|6^;zwpHzM7M ىS6ƶw]w:D,۾%5 N{ -zF]bF(T?[']w14LъdL[ևI S-qg{_:wN ZQ&:񷩬x\PLI!;v98]am(J*9s׭'֘]fD6|r_T!v`%bKL+{dbB7"LtR:g$Bc/ucV<;BX~]coLIܡ%/P#5w:wDa! UW*!\tccDߍf1!\^& }+ #az%B{&Pwv@du\ o=Jvm?!̷r3G25…VoyAr!KRSFBʨk;Aadg^l xZ&@uQ4ysǙ}D#S_l0`w7@4ґ 5F.w`Yq7ԒB\* 3ʶT {7Ky^DEqW+&8XүYVPO}|A7"Bb[hQ?l@ҩ>D }OO[ h֦SDFoQ!qx-e;"<`5|0_㹉+n?J"bYufQgήB(Sv\r *!!uЂCy0,8.Sd׎s S6]2'k`C%I -g֜GN%ﺽӎ{kfyoZJg!a(9c]~XL\RV9}sfv FjG@y+Lp 9a *NiRԴ!Gpk;ĺ{E%b?{Qtd )W&l  Z' ݈-5 /GmGEC.Iguw(f.jս/ZA̳ ,q^=,>ɌIC}ݔDI}+o5l`B}<NzUn2s"{Á7JJ H4F$$rs`O+,İ,1=CbSoZjfA 9 s2Rigsn4kq4?ihжh/To0RWtWyiWqeCT˅ѻ$cv'5^URĴBJndR;F"a#4Oq]" UkbϘ,5 EW\ ĶBr27l4Թ1^`v%TܧpN SB+sfVr<_n=golJ'726i<Qyh"PD\9]9%L)^B {=Ӎa7鷨qt+ula+vu5Ʀ3d 9sV%;^hbj3~=\JDAT5, @T$ҹɗ;'@9-6[4f"W NpXIÓ_HH!`6&X1 Xtl) >Mhz!}L*uf;A^ͤ|wcÈ d6A(ϤĊY{˒]CefiG@?JOlb _&!.)Us%Z)hn:Py:u MؿWc;e.z~0RWf@Q/: vW",xQ'eܢ}4cgNRuQ".^ 11 s3$I/"_ 1 j+8V{THAD'5fw327s" 1qn(_ Cǝ9=7^A)8!@uԓ3AG BgKrե <`%M YloA͝.P?G <rT%d U˔˼ԉ|x= MT@_W^ŨP($_m)o{jܱ[FՄ=y%7bYhd@SRx;N?pq_fGp7gj-Ǭfi9m٢aLz6J&D">?4Ae].c큊#24QQ9!AY|2?W1cB*K Ed>#񖂇՚2=ZO;&zU\S4 {-,ȹN((kWĞ6&]$?5bcmS^4lC2﯅FU: N\_礒7%G$Q~()[ kතkzC\XωBj͙Ynj R G^[g&N\>bg:"ʌu*5{W0;/N?Qc7sdG WP#gsivm+Q)4>K[i{ҟ冬T:L砬dpKgx"'Iʴ 8/2ox?DLI4fa?yJ۵EaGOPw$"Kr:e |RSl:U7Wc@ubxOH&oN y:˝(Nˆ)+CڤM)7H4L8(P9oTILhIr,Wd!:#)##YMv5Du$/7$2~jxlkI毭j[1[r^ Av߲ YUG nLq#HU8,Yr)9ZT j^@c74SAh>G!eu@ȶ O i4aʖ2b=(‚vTҲPKnMxe솊aTE!PE>E`g7'|qw2pPE$`s:88=bzP؃m|nlRLfH[!`l̤̚l56׬ȁm׵awqV?w-y~/CE\Fz;1R)t!N>{ @_L\2CFj\.e`,XeG)| xi3`S!E~d󵿱(>;!̲+?>FTKwnIQ6Fb~].T\UsBZcx'}ۥo J7#tf)$o[xTƐQ9Nr{d-9 M p':X'23ӷo97#ez$φ+nCBD9,g_m6`qRO/6/ӆC]$Ak9 ]ܱFg7_؅D b Z];#}CİhyUh/:S~T BlHqS_.뉼 jHGO k8/ lH9 cgU4,4G7妈)Vi ;pl 4MV %|rM5vdQ`"JÜ-IZ󼒞B2eTr٫J .W[qP)(c6TlxI(!Xk#)d%C!xLc\^n>d]m(Q1!ն1iTx/ }7<6 ',}z\N#O3Evk VϠSzg"VD!O#V6^PtQ D3v8/QBC6jgE4給87/ cש5%%aA("˃&tguTe@uLs6rƙdГl5OCfƤ4 7]q z=UEFwMn97Z]"XGhPDx%3V_ϑGd4Z'UƃPt7Wn쫿`p ٨PW61)J T]R4溨}f, ]uu՘$ $pCoY+k^Bw\ [=3륒 ҡ?pО+gcIÍ ҕ^@`,;\R"oŔGww nDS}.VZodGk'*h iƦt8^?[aG#~#&{ Tm|QeaLa ǩشگ>YEd;~^ WRhlLL$ŀ'pvﺇ‚gHr[RȏMB'wfR#=X#wUVgZڼ*8ħEb oÒ n4_t~ձp V< zG~xJJ4;ӄk5eJ nvSCWB!`|${$OowDUS >X(vABށ53N][QC%UaG&wg-! 1o5D>\u!xNίڙ4X&u0͢<ꨛ6ݷpho<"k MՏ 8cK|(: ȯ-nC֕TZ v} mFF5mi _CtYkM/ũ8MC}͍q, aN_fd a`nfT%,sNwFYސ,թ(8wf^nȣO xsj=f[!6cyKQ%3\jՎ8\ G}}MԾ5$(+nd2ٸvxD hu4a(?IfKUծ-HMOn@tXN'Ïs /og {PƣZkmۧl;_w*nF~xZ)Q+&)[zx|;I,뜯#vqV߷Vd&*mnTyf:&v-LXmVx&豂XRV#Q>Q~mA'//~Oɱ ۞l%!ڟjPdxS$H{"hMϫx*a&[u ? /噱t%J3(t6O%:\I*p9 C4S3ʬ NT"jz-q'5Zhos(5^Bl6Cr>4}rJu@ƍQ?C\xV:{eeOH-xܱZZeҌxr|-Iw1c'xe"ċR!K@`7EaزD0 ye;6].)d~((,: $[7YA>&?xlo6dRN4N5p)_Ĭ#BZ5Ӯa̬߰~]reOݙcF3j`+EQYHr(M bA=⎸v1A 3GbiDH쫻: u(j CbgΕa 8v"L}@*k׉j^UѕXFS4 q6A>vgߎlI`7৬?]ȓc{~|-s?rFu} IK(D E$] 6ZѠǪK24)1b]1ˤTF2cگs l&L{\ O 00#b87\WaX\= !,-\MD Dvaz/YWrmb!K%x5~-8]aHՁH* LcFlǰ7Br!JOM㰑Z?Pl. \T w`+w7\_BT,RY?.ZBaYm*tD?I/>;%R6Z"F53fRXbZ0Huk7#wL ,LjœkϤ`Ey"yN0S'x=UnΪdDtE"/5e}47+KUjTtP>[eˊ0;֡f{YE?X(O$@k*=Wm9˺qUrbċp`:<|H,rlART'e[Iz hHn)G+L)ئLiUK |ix8E78!yqXɩ8chXD^7 R-q WM-'MCρA%UQ-;M&=>lQB&|-;]z--Jb'6 \EkTܥ=Q^ʋE>|a`.yD IY>%hEVupꮍYaw^ 7ka)/(!ud@pQ7qctH'9.| h>8iiONä .})pmbhJqاڏ>[Gy)saH SlDuO~ s -a mr6] a~@v(΋zu"[64L{ǿ1:d#U"Z["NIR% sU&+dgM"H fa)?4} O5ȪAt/uD K ٱ) 7(X${[]?Am%,SꝰoQ\6h=$JZFG+ jg ػp8QfBNh9(.q1b8WM=4UzQ5/H+.!Q% hq+`I/בg-}~dA:Bo-7%4BGȲ^>bJ\^'e7g;Azu3ζ-ҝGC̝  5l#vxI eDkTU E|] fpߐ|2ZkHPG06K19 *{2f)uU7lZZۑgsL+ {L49nSs+tduW4Hл{z"?^=kIjC9:trs*-6D8i]m)Иhvh ڧXLސjT!}^s\hJucf$^GFlIQGu;5 @AE=]+G~3}B&*7j[8DBFH$~:%lRcV1Ƕ߇N/}y=UK%N@_ >@ͬ e@3'tI6af=<,&?oσ1>( Y2VKgWںM8{o^ePƆw`1dtQ5dJ`(Gb|"D9ܻL֤]"Rꧾ:fƭX+M_Iqh] Yke k/kg~Œ p:뀏(Oޜ,TȆ zk[&=@ ![;1N RÛ5_KO^V`Y.Q_qGb+B 0g%$+RsjUDǟ LsJB@q3Uef!/#zgh6h̵YLQ6or;ξ5=tb!W}1 R+rbEMK tHCOT#'a_}<ʼnb1TI7M#]G֪`$ e~kAZsεA*ĥuҏea &⚺_b`rAjȺHT.*6i7~yhTE(ʮѮClє̰[oJP.BN45Z;݉o#536M_jz0>~v<ڲVCe8\HPK+;Կ2?-V;4)@M 3}Xèꊼ`ۆRuK\iVaqdO dz-vR+X97*P߼O'8m&5_`4 6c]OrR|Rqod~y2J~fЁ2' #~j'~iؕ1[;xl %u VDE泎&M Blǒ7`uon("gQt3c³FcZ<=6־ј̈(ڽiN #&;'U# RM;}MAHY-a[7%fnc{ݦ =?da~t/ap OCM_1$U:k^,mY7,b>Rbh LO5˦0ո&g#j{gK&'W@!񛡥-/ܣO]c/$s(/$ԫ *~0ʴ,^ 4:"ܯQh'_3ՌVT)vӃ:/PbHCCCiUb-. fv3FsIzmd}ݕ?FeJwUp.Wn0\_dPH/ G6v'X|fZ-dQ80[d ) =<BRFqQ"A%N6յӖ|̡7TtyO UJb)4\-~Eu(s #@ӝMꁈ˚H/@<wtEg'уA|eƨ (,h bڐ;H0փRgěQ%t}@XGʔШj(-.x MH$eIԙ>⏾hkX:HM;{\ho2K37Hfg1R9ȦqI=Ͽ+W:}<5 pp9Vb gӴ>/B/ nOS?鐥5^,7ܹnji À^XO0dن>Ga&:@-=+H^0 -2&rqAkQ8yE1Sg#sz.Uehw,W'\Fn<;QNU%ԔGjch/$[OW_7 Z=W[$DqH,祇d_85HDaڝ3].sA@E(G#@c@x g@䔍i⩢NqWFHfj/\)9>J0H@}*"Dc^ I6 EEߡ49ꭡthqIuvE.֫Pr r/8`Bvt,@p@uZRoRWgrFR29fg ,Ij7$a-^-xvfɴk ?IjڎpIi ЌׁQп)UXI8l uM."+ ,]V˝C4EȔ4p.8↓t́$+~v|d9:b)r->cttm&QZtpb׹Zٴ#Pq>;}f}$^'D =#8up%s7s{2 ҽ$ڻ(ƞ}2cr_/vÂl<Ծ"!y*x&Do~Ca7ʧFpҚgL^/-^SwGR^ɋxja-;Q˵siq*p1=:+P%A芶RAa8Os 욘yܱF{&w: Yy:zD7^&Ga-@lʊ 8)8sk`,-[p8q9{-XvX+brbT/]"%nECRӟUwv1[PTH:3F M(5-A\:l` ѮVN7fO{ïZ lm`7$d> -tq˭8̡l}Hfrzgo9.$<3IrlZBȱFC";=Cߦ)ͩE(U|B2V7r|gֲd%qd2 IM cb%,LXNH< Җpbš5{]im3* *nP/תJ޳#r$4*p5exU|ɮU X0F.f;!>|!t /aF2I#]gOq!R(-C\3&uPѵ:}STcaoZaT!_˯#j8u 15iM~$҂D;6A(-e,G^n) zv5\sG1 U2lJ&Ӓu9 aMzcK S DPޤN8]JI7L#@{ÂY i=;Ao!C"褎h,%p2rޒn%+ } @07C^(/313d';;}wb?'UA\-X ]? *I/riN!evN9\^%#m'ξ:,:+t$ o#(8G˃J Fg9,HsW 2m#\:6^c:C8Rh2Μf:B9 9y韒P58Q)P&HZ#{Vw<53Mpɥ55h$?*d}qf|o(-ZLd‹<]hURt%ߒ.#nC$Q zbw@8ZYN'}0'mz yFb컯l@uBȵ92DrkM֊-"QȱgYZdc59d8eee74d01e0d0d73a521684f1fb9bb7313b202f6f92237c25fe02f241fe1e163c0a4bca399a232728ce105bffdb7b456c57120d40a7b6319e8b