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  DKL$ ]%]Transition_Systems_and_Automata:threads=4elapsed=243.580cpu=859.328gc=30.204factor=3.537zXZִF! P:]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Z7hj Z{ /HV)Sn B+]T+ua>ZNMQэAd0.eގ黜X}txb%рxrŗ嘟Q~>']b.h9lh}Z 2HFQdpo2~xh}Mh]ŨcaSJ뭸^)CoxR^N`aWL1Y@úR2|V*?!U֒ DM +F "K Transition_Systems_and_Automata aaKA+ $Transition_Systems_and_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%iWZ' ђ(rSM+a5;2C'i4h@ A[YGͤ\vn:z%9쯍Zhx,T>*,։c֨5=?cZ\l;G^Y}̿Nj.QMCɖLCKɂwQ,'nƗM~/W E3@3Ns، i%%CWAädlj>:hĸ\Eu.4bݻ<&( Tq#IaKZevB<6XwA)M*r׿>lmB)R f/5GdP+/;0t)wj7D,6E.2*j4@KQG`it fO* WCƾVV:F72ݶ5lIKP|Fb!P)g 8Z OCJ;UyqpIvmS!Ȑv{ȂDLgT` OjsF fxH3֦uB"%)mF ā 2q泪z˯**)(t N)pF:~UsvHP7FU╉iAwe:) "ZiٙsэGn͌hɷ'~'k#;)i'}Ta;!th: XS5}VPm*g$ ΓKnb,agʿxk@Isdߗ,)Ϲcdc{J z=AfOt{ݜ@+|=l:oRMύZ#Pg`CM1~UY@8?<`:pL_`C7 uW*=$<|c K5p,W wh`$S0|brٳji&Uxa &ڻЕf a_Ð;+[eN,#w +yG0'@۫~/<*3gBܡީ'̍=ρoSY m9:1tGe;i[ iٚvSG(80oǠ=˗㤪܃7F*)%?B4uq8%/ܟMpmܗ،h8I\$ćh;Pl߷|Fa $\Pd4X6q,G@'Ba9lG/_㉣)B%Z/꼨1 ۀpgjdxP@@ X%iծSHmnu}BuZ\ V||$cMp@eئ8,ϟxFmy޳"kKD=}rTfh\F BJ2TKU J$$R@>4gqesW75Z?pQ`  4\ 7hTrv&Z ~27u[궶>}صKj3Ycׁ$Z @Vaɕ$v<-H4zDT傪Ϟ T܌X5>!0 C[!XgwO$Pr\38!+Ad_Xtl\-De8@bfNeɥ$!" Z~OH嬖'|PǴbP3E4BǜC"[rp鈡60U]*2^3c~oDt"T Qx[-]w]qp3Wf]p,Rw àNКFQ:Xi:G{8p7^_ǿZLi&a>ڣx=g{|bT(D) MOŰKgaS&v#>}\;7X&"|65rgs\K,;IpXݴЀ+9Q~vUh5Jh*!B,o ? R*+)[ \h nIZi }6e׹;8z?}@J5M3 | .]~Z@!ie` i+7xNnA5f\T&1r?2!" {Jy+BDUcחpBiwCb`C[wxmjeXS߰tna_z*B8 ZSd9URɀ?P:BMH&!vyID#C5õR Hk$ #R"S.L:vE@VL "Uzs g t`=#$?4BZXXtp|z'Gǽ3KOpt"ec8s+'6r(pPôY|G;Ƌ| պp0R;`l.]/w^ fW؊B~܂ӈG TMDWиtr/7Uxu r=aZ=2E@apJ'7d5)W+} JCk:|TV{:$Ҡ"-ׁ|mR6wqKe:EwiQf36?,삳Z:Ey6]:c_R7VH+y}4I028 l~P 9oא>& ml[ф|W"m +Ʋ죝Ium45oy@&9ٶڴum68;?ϦFrx]z>dWmnCT_hY,|FmǨІ^.<[5nZnE|+3 -Ǹ^66c`z$+QL76 @|@~f뒬@zdžI|Y>ċIl.ʀ\E!a- ܄:(o|RTX]Gf*~6% AcpT&u.Y= 訛Ipa-ڜ۝ "qG"~bZ\õ3z=G:&So4l%,pH]s׹!- .jq Ed!JbR'f&/-p@_dF iX|By F~5pj gL_3&^AyԤ-l`@zzϭtI b``)M$b0js~Cqm܎mb~rGv(!BμSYSJ^ R[F} a Vm;r.mw{hWb9Mle:*@w*Ou_PPy 7:*G !>z`b7gtA#߄+0](y fj&A&WOc]EU_*n16EC_$95@%iaT8?ǎa]F8wq;b&jLƮ(AȠ#T t)ڀ^l {<Ԋu0SX%K_-sL!Zk!:c_dUL/'#68'.?O,Ŧ>/~$f6 \_>L7Fe8~6elsռpZĵ 4 _Nz- e{cw|}D2)Vq b$ԏ#cc‰]兇(@V_@ڣ!bP`\J1rl 0?Mu 8LxW`nqʺ&d*./ *_[;Et?ϫ z"\eӴd`o%6V8vqgH9F!O#nWҙWX~M%nORA fS+6y37뤶9fAsqHbv|m<&bN(PMeuc (<7 X>k F?b"ن;ўN@}rOC߿s!|;QǶ{{En Ԇ`XGOU Jh<0t=]d@Ѝ8"2 ` +Of“w,ISm =Zr%X@"b/l&4?{fF?~^U c`݁+AQ<`l[4cĮ& vu "J6񷗚]g~͆۵lpb1yKaҝʉ$W漆N6eiNhU"6&re>$QdMUH-2}wH3W,ղQdH 4r6$#CBai`;sL*RUfͤ7ڋsM1baH5UXv~Q*1 D>wX̔5XeKl M{rh n^d+q?iw[wU7JJ)LףlnZ_O\؟jl-+Ŕk%@@Apс[Ir7Τ(~IX%맸dܿ5c_!:KToF3(k@bT^ *G> ׌]9,$HNO S˽ykz!9V{S юJQz$6%&z] 'Ii-{~Xq2mCpca9ħ-z'@\M!) ty"dekԈ&ؽS/C!pX؅m P aa35ix=tL>ivXQװ. Y [u i$50B%2"`FS룸}UJlU p@BaDPH Ӝea>\\G\>m1CZ V7 2!83- /|e;Щv0} -ht9o)4]2yLv Ҿ8t 7/\*B9T^YA\ŃcqG I |!Eq\|;<uKgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2WMB8t%ZϣS 'ߪEa?h T_uZm 5V'+ĐcyK^fЇ^pOl)(CTlF@Ug@opIK~O`m3/SmA̜>M(w_14% 4wU>7QƼfy =YA[H;O.֑Z:̟6i8 hIKE?g2S,tcʽT >[.7+]:/]8GaBbF9T*ݴ⺫|TY8Uv:}s,Ϫ}#{W:}®{s$,$?KacK(X3H"'<ڈ,;4Y!x_W}ʔo&nvA@.$X$o`bv~cjr珱2!ޘwz /W2Mߖr(xTUYޚ[גlJ 6W*,7O,0׫!/|2н-Ҿcbg&){nD5h4DN 6?,^m7\̯v /׽\ҡ{JahX`}h"=1"L7On;V߄펤8sXY9.f+f(i8$wSM#(_/*S2qPɈ0YPcDPy= :p|6is숧sjG|M>( xXؑcJRJ}84\^ʱ$O }& :.rS+p<1l,CF%] TlOrK Bb|h9%#Q2ovP?~B%iuk*_ko$fhJ?OU?*–L8y8.91&o7meLVG<3ŮB59Zp&XL+j4H.ߗ#fB>HM{x#2 [nNގf;=deA$/C ߭dA68}!x*\r)զh=e?͜kfUV읍c b8o+9`; VmjH;I7 X白R=K5~Eh8X]օ\JY:XiZ j7{G<0%dco7h`!pw?UnKw>𥱁{$uKDRlb|te2 KCLaʄeW{OIwF?j_uF-1Tms֫,Kѥ $Fߓ"z4k4/HQI ø3{&KiENl;=K5u*.N{m)=RO*.Gd&e-?Xj1֥YdQ9 w'5+I<STm,?gs6]*Ӂף {`*@GD>1nǫ̊9<N[bc] [[Si_ZtzT zKw Qs-H$,-w?kd٨ ~ܭ RfC\{Gʙ5Ŗ0FOcwť iCM 3e2k-l)!z9#b$ϼx/̬GWk|˝3K60T6b"`]XO}N"4wPʩP7IqCoxFƅ~@=إ?"JDy;PHz 0 K7(v,8 y祒p3 ecZmvW_PK(r9L{lMt*CQrjbLIlTQQbH[ U̡̒iO4zjZ,Xqg8[ 7 \b" ҿ=k:7kC&YvS~GZD?;*Qw^ V.xMK( nBԘ󆥜Z9 \5Kc`ÔB@;></ ?Z0USdl]`.x t $ ҇N.gh2/RlŖu+Ⱦ)HA^5+gˏQ` IeaJ:F\1(|d/{EeЙD^G:9 m;PR}"{Q Ēʈ=ۿ:YޙQȋ*V[u*% ĚB:,?uz *᮫&i>b;ՋLcھTptYg"AbAt뽟j+lI(]zv+as*\ H颩eL{~eNc79e[q;(<8ˑfC֣AL;W,ps[ƒl!|OW(*.L\]8镶Ȗ=&C:5;nF_;$\V^SZ8;շ(7YaN%]hz}1m*ɜK ) v%klmv{.^Tѩ01Bx\Qts;EVoI!TH~s̟5)[qpގ ]-(zP@0gD#c@y9f"(o `>RVqp|TH׶Kq&E-4 ^TzW{Ne~j5N犦Mr*̚~åb̘6 44F!]O߲-aE!7n+TQTiptP_ OHVIv :5l()ūE! `o'? Q9+q} Z,K-wh?8+J/"-d_*< ' ,/x>Տ)@hrŶIRcv(ZR4l^ΩIvrcmu1t|ܰ*X|T_ F巀-\A 6)_qH?J>^@/5(AΉ p(J:N"@z-bWG EЊ8(*nHdCWi[ i }J̎ZDҍj_ ){~yڿ-A|SL6]">9l]nEC%f`M}f {*2M֪ .>.2\ħH6zj7suSۿVҞi(P WN9_R Lԡe 4H~(!Y_=SmKFP3#L>ì׬2Z\a &Ăi_^FX 4ιdR2xD&hۨ;NޗMbW#BDZ)T3҈2#oYw)1@U^@[OT<$5a[}y=`q *dAτs RH*^Kj= LҟP2J{f&_?ƿJՄ0QɅݘ`|% ESI7k}hRȤ op;g"}6rs b J Ns>ֱQ :mvUNœ,pT7 ~m<'' @5&sƨx;<߁74\ W|Sΰo]$ %F{XVj4s߬D ح~9k ֗ WxU0>ĿX+hO%ӀJN7~J.?*Xم`t汭{4 C,N$ :^ԝ/Li'^@TM'K[^ni^Нt59 f8Ldg85D*^yߓXHIĆ6 FF ҢmR FV7Wlo^|I/vYC^{i !2X)~XEqS`|]W[+xBQ3'%GmT]aZL}`5w-ŊէLAāZ_HseXEW6:vAIE!,s?"~} g&%6O owGD '4{LCp!mT2YqQ7nfu۲˾as38bIk^+3&UOG/B$G,&S!݁ VTQkDدچɱ<_%6Myx3q-4#G" Ujޣ{)Ȫ9sh16ݏ۬G w':<4ܫ l* 8 \pz3%he01*3JKȫcJE6}DŔМ4}dS =w6R5dlPi|"@[hR15|M8#2@axdzA=$~t_@&L:J!Б3Y`D,>*e&-kAe!/\ tք#M*'c֤!HSGO{b3f-pɩTգj~Im,˂YW^j # zf\v W(^1n E#o &%Z2"ܢJI M}BEuFcKn5[c9hlV&W= rQ ɑ񴘨1?0q|d:BIVYs%Z?|N5+xNRèO5%hOE;YaԔ7Ck4 ’bH-lݳd io Ln\bxOMci{v#b&FuճXI86Rd jEpe9W"e;ГV-v,Se8\;k.rW|Jn"ܺs4<Q+4nҒe5s}r~XJ? FuA Ozܜi} 8rٻ€OjYyI߄ l+6Ξ?h:Mfq;XVj ^űf93t9go껿QJaLrUXX4_3\(n?PwɞSWd8i4(m(|Xظ=^OZ{7/!`X%"|TձƯsPZD%tj1I^dp Zf %ΊC5.zlAHlt c3H_R*} jMRps:Zuuy& 9,Yyx^$McWs&f:` kՅ!'5ya#Ev^ 3r3]Xq͇Jj̰q )@"n=X!Ł)0WqӔC]ֽޚaW>u[@t{kfpgKZx8I)ئ>ak,cŒO['E\>5FUY[tJo@~:~W2O\.J j2.5UtCzq,<:R EOj;7&j7hq|9X$e gx4LW= \o^U%TP7_|v0a? 7?uQH hAMQdQzL-K ){k *fS4{F笳 + 'mxnsbEk$O9& H>kn/;}G Q@&rVuqٟo{(/11˻~6ٓ iSM9VL D096~H+lOxsUNɀ:A VՒx= kEa5aPJNniox0# ўLBI:ˆJ- e{/8&c0wJxIze07U~아$,!9T2 qpFWO3[gz~Uȑ6Mz蚂T~R {6+꥓٧r$ⱓxA0c]KȿgmʖJ6& ΋O68 ~%:2~PbPZfs x[7Q 2(>JWߢ5zh6`Wx}l"&|'EdBq8niÒZ8M9oߤ|H tׯ9əZW_O,8P>~Q:c55\,%c9Fkszik KxV A9 {`t\#*:UZ >6 {sh2 t߈(FsHDb!l Vpd.?SM  uB=liָhS-SjU!`j~%1JPtЌ}NhR]Hr%^KWF NәAbRJ2c\Mt\+m+4*ASN*xNV2e(\S+%*a t!QkieR%{ e_J@cnų07'0IRb"`;*'@nYmm&Gi^t^d ċ;@aM'rWurLrj{sZXvtdi*шfF듈 #kk+LR5K6fI9,k,H c%kϷqCn@~#[Liіr2"$ 94OF| \|5Lp6F|gj{Ʈr'!~qF }4 m7Sa))8jI複avM( J\'LttsO+bb *ʙ_hl 9N7&pQwwe{\otRҾxXG  %% Ї&&)Q.:!Om)4"~=q%?"_چRn%Tl kU.8o1q_&idC?SsOa d:x sSN̾|4S34hZh^F p&YG=Se{*a7w͢(Z:_6/O`<'h0Vqo)xwC$&MswArsޗ@N!ֵ8,y^Iro'DgBꢇ|F{m,2yC ;*S<|EN`T r|X7%Xb_?xEmrw2zhx h 3^Xjdiz^(ky'OH=UB'љm+Qlky\7^nɜDh؎yK+S'H)Go9pgAsi,IzPr<:I pQp?jHFC ,U.솆,L%pTue២{vm^Ίs?9-<"ϟY.#aq.gQnC߹ G>|8)`9іW~,lX]2f`xuyLn}4eL%y[HL*(ZK PIo* RˋԚ-{@W/?iԙP 2 UХ1y?Oy‹XtdZ;Aҵ2qTY8WuQiM Y(#Vh'Ưd rz.:1^Ya7euvB ʅ\`^SmCW%W~H."r:b|Ԛ#4ͺ_25RIpc'E{5̍E?Px%<L h-iC}hV& hlbuf=pMGk4.^?'ٚwq;ŧ/ L6\oڥ VtS V2 8G₪"ͳ ҭG{rжdvR^08gaykK΄w[.ԫLK_/Ċ{NL2 Ѷ<+)BGA@ENd$NSQ]{bQlb^Jِ]*H{pwQܣaCI'6GIw#'R,!}G #q}+-j@ˡh./cֳn`@`Ʀ30 lҧO;i\5/Ll1Vz1JP!c<%-&9 P# ib0Tư|qpv'G,p2%;cLz$w\]JC79w2'K *ieN}dR2-i¡D`+'}5\\@,27\@nU͇VV⩈զ^n-mCF,E7hNx=0դ.`o ;e Kʀ팯nT:☷wn.^ hާɸcF.Ih-$bU9O bBx}u(OȊrzN"J7o (TaY.exsd mzR&An1m'@c!gk ؊o7QJNὗ ɅO `ǬtH\ʱ6}^Fp|>z>P̈́ oo179DuP&R/tǸuCWz]:+ڦlx_oakqe)7c*@)F9~ )NjnelQPe>Q;Y0&-f^o/uўi:b%&AR/ډ'!:pW8řGRG{e}0'Qs4I?}+n2QK>ҭiQIaDCX % sJTMsz/viFL ßzO[4 15 VpYHA [3#O^>xB@6GUd )/˭z(W/ByT[J0% 6J ҉h]XispW2c- ewljF%wRnʡl hpvLpXE )?bp3v)$?V"Q# Egx zHƐ*#Kƿ[1eҿvl$rUr]-e㶭zm^ǯL"xJ'_; &6VQMO %MQɘ*,m'g}`J <-Z5m- |,ۄbϛ%ASie1FCf>]:5; `0%8N1u{He<1]w8 Nӻbbތք)#s/xy|0A=ZysχPr↴JˈӎD;y^X$NjD'}o;mK|yR6}z+/7*0Ȍ<-ݝa,4Q2=VL%l`n4Um*)'ͼe(i<ߡ@Йg-UB;5()m4 v\6BSkEuKGx|4ಱx!2d~̿iW߇ɼ3.8(G ]q($ׂ`}LNq,(?N/5sΏ3&Ѕƻ5Z Hg< !6y |`!iot^,a}f &Mo-@mS@uW}y%MVl齤g|Madb7d.js\*6b9ᡥ>,v*K5˿u7! >L.AzY1!: z[PwsIAeA@-o67}Z$SO3pt)%rP0XifХ+pE$4ʵnJNŇoYQ M^cWaU>tب6. Mqs|:* H6Xj[Q(C}f9w$Cp5lWH V,6j `&BmxҼ.c99 52j?8_EflTR'#r9%{֕/ǧ=G<åUዄ#dX T`aĔV~!3qndq\H:_ jX6qO' .Psi&NJ6>I `&$NؙeJzxŪ,owFqm(Pig_teʖR)p^ qT&3},l"L/JR JRvr9.XN$ͫ)*\jTY.4Y4@) nW6Tt_" 0žs{9۾F-2hXvU:4m1k;vч!zQGf`ne̛ZWK`youcJ fK;&!"%J5ymoURV?L-joz匹M~5,,ZK~ !Fɨ#t`z쳫"]O^w<9TT4=a]Z<=ǥ h"RAsiI'd! !lH~p`Q?k2I~<o҄GQoƉugO_UqP֎z hüw,S|Ym{_?J19f?"0}fAyZR rK8pB}^|ϳ3M1ژ*} SKzb9 7_e2Kfqǧy Ve,@ew<&gqRc}^= Ɲ1TLffE /сXڳt"q׊skfY%ُ,\&,AfGORbgk0mwF^L[( GJWM'?g< D2 5oȲOcb.O"3 b0vN1`#D1Eu?[_G_IW„_g \`e^jb T)1w e.Yiz z27,^Pr7:ռ@zXZSڬיӆ ׮ ՆxTv{15IEyR׺kA )SM=CM*gEEfDOdH/> S˰q]$Oj4K18.Qȋfj^ Z+]^ `cFjkIU&*0᧮CgJĤ^4fȀ,[t* '94] T?DZPyzf7cI<=&ps6ABD7-{ gi?g&*E%?!/:'!RB_[+@)Ew!!A; ar=O QRmO_u":^-''ȴ|ޔ W0!UJD!EZD::BR"(bۀ=Cfz+-#˿^K馡\4?O62 S]JN\ #kGN%D.ZWˁ_4M#Urb{PHQ6KMGIWLjm7]Lpc yݗ,@fb@'A<0 iip݌=y`)0lSsA궚zm"ZLw ](4Fjd=XCJe 3F=ym9pc^r#_90a+D~:O9J]Rqt5<j>ӆe*> oV2wGVz+,.˸5QA\9 ?%6^ !Yf>+1a  >4bL\qIϿ^=|g%ZRm R~dl=sI)T\cjpR7hg :%9֑=qu.ET< (8f E|s~JEE5zjk;r`G~=DX薤>wX9>_ڴ]E ףLRq~I%[F]`)?az9/pl L7 Ne3 sUWXLjJe+ 1@i&N%}11yNcm|.@P*VEAPɢ, U϶Nk,T"3~u72W6| Xz*wl_LVtFPqv϶s)%%l|z3/ |pE c+ Zӝ DVt9^N'ZKrlHyJ&S DC*^Ȅ":.9ZZ.6}`+ { v1UvSw3oڣ(]䦏e.%xrXk1,'UxN(`!Iwʿ}/w * 7/[r * މE3zeVCT)bvlY D$RFA#Lz}skh+kf䐙cj̕WujWxՠ T m].Px W͑22M:Hda B:v4{bZ͒Ds r_+ԬNX+Qyp&j;ɦ(P{e]o~t-Gkw*kUWb`Q^]u1FBֈeIBnXBb95]?"H_G;˾oG4V#:l4WpE`Ka"BӉw9rHjmC8Eze {dF鞖LL`U|ɬV.f?6f=YCâ(<'{]7ZH_]:ciZd 6Q9سy `63mj2JsHz@}փ"?"@n z650ƼΒ +(=1 74u&lTYU5&Uz#w '6t$P!h+{C m7!yi<P5}"iU?˭.R ykowR+_Eyh6Y[z=-Fx0O׷l0,ذ}^1( eGw}eAPYK|qx5D)rCbAuWXҏ(rF-^N'.tv˟ڢ^ ]βIpA8-jUُWRfWqNm !$U]#ԹWd\by *LJ̱6R)&s-gc}-P2r!=H8ҊT0@kg rϊw)*s?w =$sЈ5%^K>MzAN?1=-~t(dv!j:\5P!޻ssH[n9ʂ(LYuқS3$:([V{^6z(o)B\M>7Iq-\Q7KzD0rUEɚK+![MOK ?|(aTiq+K ~{$lcn9*IƏItiI,}?)Xw^)%CP¥UUq@DL'aM׆2)ߋ<zWWY}b UC@m,{N3ͳ|L..Z$VTwKFܳ2[D D` {5ɼE1 c%cNTi+/YT0<&7'gO$J$-H$9rdO{Y<1Y` dtYx4X!NDeB,Itz^xNY]_;Ep.+]ט@~4!K$aTʏp*k;U}E_(Or D8 R/5Q`Ek8?YM [⏳,Svu1lB2:w YS"7m9(LM\~ w'n4z/=Bb6KLυ&#P3QqDl/qHLhcYpd#O1s$BKvK(|^ ML4҆% y[ Vj7[_~<evv- q(&Í\l @j }(HqK?ibLa]*~SvD<086"szKTc kQ(c6%k_vьn 7+9jLXÈX SΛp`-|^$ݠ1"ؽ #u*|*6Bi Xǯ$J"J6RO=ȑ]GZ4 Q@':N3yyIRNvxRRê\T '䡴Bq4^0tKV>r_̽MvbRW^bQn6Uhk܄M,Q f.lK[k yQq}rZ{zDTcHg#^ ,;gvqG[t  L|?O5tYN'Dp7-V]]2hښQ~̾}=}-vUREن{|{O"-Wq!zV`-tpO}pd'R}~~sQjE$:-@}=r@ 8\W ۯx4g}ƪm[1О'gʮ2mn  EMatU4y \^9&O֤'?o"{s85#X?5w&%!xC%OmW olo|p{yoD9[^SȨB_M?]Iua.4Az>\Ӱ^kӨ+㭛nk<=э(f,̗lxo?,_ (SuK4h[x0S6[<+Q?o*72UPHd..`]Lj^fhq^xÃZut=%C.BQGF;y*g?o[dio҉dL&tNZߗ"0S _{`nU籘!HSZM`ݟXU1k4MʸKY&*XW\GYEw 1',_i*k |ls#F`k/}\TGX?PQ4xɡ# ? F-UukӼ,B.wO'!pFHeLض-/zvcZ ib` P /lSl1~q?͸'Tʓ1^G6)+q k]B]Ψt4O@yόJ՟ ^ܓH{&hV/86kJT4qghpIԱmalS~ŌYm.N;PYƂ@l }L1T1[=>}mжEmGUdfޥ=QEfv#:&̿G-' t4-9L$:>=8-&=εV=n5qt~1 +ChbDAx6`b]A1IAY`d CsX:QC