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 ]]Kleene_Algebra:threads=4elapsed=44.311cpu=103.740gc=4.280factor=2.347zXZִF! /b]ŗXiɟH)0%oH(;wY|s eжx:PtA>AbQMٽ* S,AP4HG6m7O)kt0NtAfCS8zw,+f<I).e+tgEH- N*ٷ2mBw֤&2n6"BMcK&Jܭ,Fj&r]_(G?b{A`ژ>p. XCXZ%rh6no(9; 71%m "c] ay*˙Ϻkc7R.B&& CL|"ҧ:fHvfi;p*+Phz}}d=]\\#6(aF.3ߓpn ,#ýeQG+@/oYAhDjUz]j~4c)k7hwԶɾ9 *o+^<4&PAw#=ұCx+rBfܣCºЍun?LQh˄وJۿQ|kG{ӮSռJ~)R[k38\jPs8R`wݿLQCD.Z㚶t!Þd7:!@|57wBy7ձP[ͤ8)ʮB5xdGp(O>n'_18mx^cDd((}60XhZ3tOk$Zio$_)Qm<7Z#:?%ySԯ3+PS<{x.D)J_*va|ȅIFjIJٙZy4z'?PwFC[@#YaT:>"USreVlE`N%  kil]mj;NX'xTk38t?nghKioЃ߄r2U' DZ|m&zsO91 HnцГp6/uc$Ce !* }?h+81i6tn=K!ȃY:W-\šju٬g-ѱ&DFG~:N#45۠Ey.\x kFD7!u[.vyg5LxK^D9 + ?M+s ~sr[ }W^J I0 Ci!&'*>~YK hBZJWb r|= Rr+#Sx3;p*&_sH_]YXԴ}̔@$At^9:Ha !ne&`_a۹xR{^t%3ML vx[w Qc:f@ aH3}51< jhr*({FI"HV+ \_H""MTa>ǦqD@ՠj#J_U<&%%*6P 2~uT5 1 NsfP9=i5vThPf`0ewkqp}_#ub ,U%g1A`!-}6v=ޥ̍ejBvxRfEEbbԍqp )e0` Y7%shS0soCCx83_uup\Albw 4i|{]4Q-;o 6-jgnh>lʝAY wfub[gcMPw1WYGK8N!vȯ{Y7PU+ A{?x4vCkv)rB TFW=8m/]8LY\W&[G?` V!3eT-$[V@UQ_P~m;?] ZY q=>E082 ?'(Ύ徑`+mHrϿhF@jĄN\ wք>=g\_lZA C$珵ު0<]`WO)|"e$z~eǪ a-1XyʐyLmP5z@:),w_V?Hl^vx;y`PEM^$j%c|Jeu 4A,yAW@yy@h.ss~Ѱ籦 ח 2ߥv@-ʩR hPWt*͢9iHWnSĆ{/1Ya};F9](M%&QH9'ۙSt*HG=<%֭q U4s𞇡 bCRvvv)T e7qѓ}.#ddiUc@IY\u&0ă-ouq72pϔ&!kh4MjVAt)Q at]P$![cJ'7&.XbnOSd7\UM"@oP t=kW@!!z\|wuލy4>;V۴ &7Q(WP1ӉyRye°us>uhksxMA{Ml2U3hbVтm~%*{X[zt̾gR^F|YI£Yݧʺ kyx4A6OɃ"3ߤfQ]2B{ݥ ' .q] e৙8Uo( oq Ihe^&x r#_KHJ͎{ikMG&gr\I.j 1 n,tHqwc -ʢq Z43"lm JqAlp[Q.CFv=gl cSxR` bQ'}N<'RJSkv):>hŵyX:@}CP)ubA] 7MQ Br.L @VcoD#` 9VeT4./ГꮏzY@RJghͩ8il1QBqz]{տC*"BkؒD^/uOu7Rk) `xTDU<1s1[!4#u>+'щi .!_wg2a`ˣF#f8Y1#l! 5~K|J8@.I!gݢ_>ڼ?&mN􅒀/omcFU:J9,>PxS+p=8ZT: ˍ@FB$L u8ljeܿ&7lJpP"G?[. \G5BWVjPƄ\b]V8S\['%1T-jͤ5?`2XlAWd̃G_P'f#B1ZMÉ%= 8PYƻ7W;1sn?S  }Pٻ;Btwz:J80ẹe)2׫iSmb6]+~;nPC*C }Aߠ-] qK ϒ^Xe82y" fP?u|D0dzv_.'R.Ȃ.&e$W/P_Xs6[$qj3JsJM)S-h}\܅upI} g?u",C>&DəZȞ _b4Eu}L=<!(.U&C{۴`}|qڈmP*y}7 F'ND-KFwe҇1\8 gP$a`K$%ŕ Y10y@$FTL\mhafH1hm8I00 y¬E268d7g3 3KX-sZjfʄ+A<"y%~*O%̒k]c{0p;6'OU n`l w[k45mϷm| $co]EXTVtЙF+i-6& S GLI$svrg)J}3 9?6P|;䔡t 9-BƁz0:y\+Q{5W{|:#HC $G[.jS wS| D\ucNbNwCyumf<=z5@ ,Nsȗ$27>{H4- ˨}ᐅrto+p$0eb"%,X}h1;h1Pw%bhz"(і8%!sTM^3}utp.LZVɴٽ2+CM}2 gp1=|1WcR]27K*xuG:y쎤nj!lM찣gIqf$ @0;{Iq 4|'G(w $v!c|~BV զtyJuE21'RR4˫<~2erI΄ǠC&ڣHf=AڵA˂2ZLȞģ-3Ae5"tѲ:OP+$D4Rhvhci~iH,uJ,d1KLV9iXՖДGp)0+f_/)Gr{Xtetsp~[\^¤eU: Ps hkq 0v/h[|KkFCa{ Qsߏ,ëqK9;w# !ɽTTRGV/ZU(5im$h"淴8W{|%庮S'acQ! ny3N,t*rzWG0-XJ__/! W3XNkn'?뼞G:AwՈwf 3zƆ^C˾U˾פKvq8c·+.x'tO"S*_6"}5qDA7!&4`,V|k;[Rk/)2Z X_Zwb\ Ag|K4hjW; A6~1u''X1 M&34E^gE*:`#HG?dž2J0@bҏ0QZBL}J}/zM\ewLKIjxe0Rz yg(+jiNHלS-[ %dn 6(Cw1SYό7`qv1wҔgigZ\_LĈ̞abk# 4Z* IRb(DWWr>!9& *]%;%_,rdL}`{,/Wq9{0ڢ, kXm@?˻0o%Ԓ)R'5T 'Gi1+}u KITۮ k;;hvEg Sp (ala-v*>:<ҏ,hgZ?v' ֙-~y_Hā-(ԫPWGiZer5B2T3~/x=z'OK f _mH`0HST #a?Rk*VeC8g+9J]R7۴) &k˽?PD찰| J2{ V1z'1hsRgz\r(+WC-L\z{%/K Zg}!5M=I<,uJ\XxMp}%2~}/(Dtn]FQL2C^|wp0NnIŭ^'Ig ǪuP1k jbgUU ;0%i1Q%]-1#{z z5ˆ][B5WBPp"̔7^3[HF;F~'65%1!\at#c`uzc=!vdwD㹧|jsR3?= 5nN) L1;Fa#qJ ϡȰ:> v+2JQ\,P[%RW#j |ۑe*M-L>V*DI3 I\|f[XMgfic̚;F8UbO5멳QHz_aieUvpr7=B`Ujpܭƪj_MAֹqב=u}H-Y5wYz4\:1CWd~s}k,!3Pk5Ou> }8k Ͷ05ƹ{_RQf*#,ڲuI+v'r1ViMLɕ\IPlw[v߃ ,=* #{ [;ȟkEkBt~\i?7ܟƈU I6g(F\] cl)1ΊIDre)ڝvDqmנ0+>Y0JOǛQ ub_@Øa lQ6O~Ԯf4]]͵>v1 YG_6sE4W>K'%*H$_I]_iҮOKS,KG~Ze|V71q 'wntIdts_jM؋vDp rNdr4T"ު_at՚S fk,]>BiJLcl<ϕΜ2n̠8 -PRJ G熀MGY|S~`>RP*a. D!Ii-JJC/ VY aV3Vtjk=`BNPJFao6G,[;:1oMw+)b:j|B'mawƸ-0AZG[de&xIS'(| $RҘ5#& M65,䄥ʬ ƛy[mu=N'C6z[.?920Ͷu n 5.\f'euSCk&! q1xFZ@erl!2"gN.;G8+&l`{PJs}:@P;j ƣ­dQy?#<ʉsY ~5=iɒj a0nz>d\/g0vR"P,aT4=ligYEUgҚ\X4$+*Jyp~-r7JD31N7P_2dA'6,moq0w?%C·;=S*`4qjͱ@av mK2[ujw47!M M""oq"=ԁOMs@q{Nk)VXӨ 7}Sī`3*up x00x[|@ 1:ѕo_(H?o~\X* GkLY{xdhz #v7_`8 Xj 5iSD_9كM*T?m78"gm[?pu^BTCζVƸK)ݭdӬ<;d)PSFJ5t~ Jq:W n @U!)3ݚRAre+*C3+~% E.N;r*y(xj+Gzy% g#i6xm2,ҙR`wZ ޮfT91OB r+wvNxGķI8;ĆJW4}LLd[w*(%i:/)]lH`Qݰ~>l[uoG.RиL&V Ø!I!|@;yr2*d6Ի0UGiگW+,%lkщQ D :gLaCb)$.pŢn͇^(fq ;plcj_l,2S G5u$/QLm'bfIqwfx9rʖZt qȈy +4PR* ?@ Xٝg۫q5g&^ȇT ٠}`<́`hHi,m9+\oP&^T^PIfש[z%5|`Q՗MX6!X8*L}AI?~7(+–H3O[\|%@w8jjNjD<]Vu|б Fלرq {Nv%2WLJk$O ڬ@κI@G 幔 4M;K`vB 05$m;+ #ysD-Ɉ6 5hXvgŎ8H( o]R\HE9^c'Lw4QHE ۟TA?¨/z"ExVSj*0zޱD5pNM?3Qi3HjFCy$!NwQTp8 !Kq܉a8 \L(Γ$jt]CȎ *QXR_H!6NXbtoqQxvG*.@*=NK!)6ɋaRwb m5hFJq\Q.}ZR 7 49©©s0Rso=To+6ɀyk$rPOcd@Un` q値=?WŷGUSIvP23~K2 X#;YDhZr+z %pfu0tMj5Gދ91T VS[F ,M?r:T Jv-j"-WgLٞ&{ ٲ}ɼ(M 睩6@| :#C*WیS)0CC( fa&7CAG <zn+E>keU4吁U>jsY? #<5x.1GF7hَ''l°n,lA B+K f:L~ SSx/ߞbd`yd̑iesDϸQN`jnNYeB_~_Kv[gs]V8l:?%GЃ/<lqcIr03{4XQ5u4#FVV$twZH~!Fhy+B!Hs,5B X:~0eFmomT /XڥrG: +~-Ct6,fbXK\P6N) !CjtV5::G˼,v[;SN{AǫgיōTzSSk6E e9A쿟6FU1ZMn 4%I"omi \F+A )<`]IP_sabO'4"p*2Q]GEO ՟ r r'UјFiEc 1Ϳ$+(ƆZor,~]oYj5afl?A.}stF5iiq zϋj~~̟H  vh1HJ贒& ; 4ȥ#N>ҽs¨/~p{ C-|ggx5jeQqC^Qq\?1ݸG]yEDe17vcs0ݢE(%CV31&N$^{^ooma#Y,X 5+Y^XM:l5c(~zZ,S1]T!/M̛C>5<#nt2Xm-t ChުIF[Ͷ; ^pv^0RF Do=ˢnhB ndawAšD)*k^V?h /;$߅=#;Z,'$c JrN!-PLѩXnTM #0hWiWH݁˟HB@$%eu4J]̎ =摗\S0Zmt@##`pQ &VЭч^ˮbN@xF[mY_Xc\Bk3Iq> YӤii+Wpr.ݸhF~s|P ^#~Ph蘸et|˫9?:f>=7Tb0*JLu0+T\M11 mUmZ:)[s#cm汦b00qYY܋˺l-nL\vWŽA|#얋T;:%[ĥTٮ";P[|mF0Kp9 ;{.OwSm`i$Cs{R~yO yʇV b-V\?6qn!{)Lfwa3gSKC}`q:R#nELL+$>Rrc?Bi-9$Ɓ (#mMFCĖ AAUhhDQ3MڧJ܎l8Zhq>Ê8 <QWA Աz*@F`)/w h%m H;Eddkxw^3kk\ُj UPjHOd<OdW 8ȹgPBOW06+Tߥ橸G^CjZD 7%|]AjBC)ATݚ1ߐ+ݚ76]'aAGPw];*$D!oNJ+Qi?˒pke *+EC3`:s>d^IE>{\}H]A8P;%BΫM `~mLĢzO̿9>#a]i8V? aڛudi.+*cKt3cF2/ZP*A>4iōg(oKj(3 ߋFG"Kwi1n%^ػ:`?R_jLao{^maXӉ5r1 e//9nh-YZDCkJ/JzfZk u!~c:-ψ햁2d~:_Yִ\3"PE9D|!l^{\I>% & %}E@!m-փ~ $Mm>^< D<4aYT^zfw})}CTe|,fIkO v[{C"rZqPjĎQh+Bc?hVi%ub'Q7vzHg8pkqdg#N4"Lk#Wg>jRfP"sJ|׬)SwQC{O$1X{OܓDPuْL2@e5ڜ=%"(ZzL ^l,˶},_̕Erg͉YA">Dƹ8Ť04/-r 0. C>@>_"BO$4,WӾSE50iW)[|JOr.@e'etBqPyd0ZC0ncU'[4֝36zb]-#$>InPK!y;tׅO;!mF6?z ȤHDSAaC{‹}[28E O#1.]‘c1@=QUDv>DڠK sx=*#-h-8H{,&M}!FlJU7QãEt,_j?(I*Jc}L`jUg,MB D(ŋǸO1$Ax[Koo̍)݁&f 1$38%=ZZ^Ηuv[*:+i|Px!Q8TbfH%k_W?5[l 7Z6^K:L+:4I0N8,8mCq)Xn:[W߲*$]X+ڞsAƲxn蜡(vONANiLp(7i,]kߏq 4G&\YB3~Dj8]Ak{<<g=a*Cֺ(V7VJod5cP5+4Χ#) 2iG-+˺ 6q͕1P Yej2{2Op'u|HJh Jr޾ݜH34~ [L8JUl?1x[`i!F[0}$O6a w7kB;]?Jn?JQ`˃ H'h>E"rkTS䷰ѾMׄ]xAgMi uWSy-k`GV1EC3sBpo|Β%J~Z4F?)]׈cpOX Y0nYx_2$AճĒ!S @(-{v/*8z5^iR7p!qq?ݛOx\?8@XC$}&'IWaIaK JU>SX8y$Ӏì|r}9P52`arSDCN5Ű8@ MuR# s)&] fw[FsLGpT~+<#EԡƄN#ƛBc 4EɁKa|?n ~Wge2{D%ApSE|څb c*_J]Z) !I7Ճ- (BbX(7uxڽAUF].sh-T"!/>.Ry?zl֑[=HM!GtLTMaOůfy4E=2OVj)Z^I 2ȧu}!(w1w Zh"G"V:y1s[9#=$ɏc<69nʖ^:Lgph_+Y1% xB>!Ӏx`J9QܵqO?~aߞ8Oqzc;;'iIҳv! UD>)jM9)0 ҮɹhdnkRDj%LŚHbw^ i3>wJ8hrpxWqEwp>]6U-8{8;b+,X #Ϩk˲%ES*Wq'#K…P#ƅgnZ* A9eV&E)XŊ*C\6oٛ`ĵm-a6 '50=f[u`Š݃YښjO"&%޻]{hZǂOW }S^a< -o;]6wv(B 6ېN$B`v XF Z9+! Jz`l"GLYx0%g_b()MVPD9.G[c^pm()/BVKjn@Oıo cN_\T;DPLuɱ ő`[֣ mo*$u㪽zO.hU'ɼ8A 5ꢕ;\Wmtr,:CK^E k[k,R 0+wHT?H1^4< I|P8$%Zn> ^O ❲GRj[ӵV7S9AՍ++z[Br3z Β7rѠ= "|N>OZTSbpzi%Y;0gb"\-3za{+|xm-{xI$2 2YZ{ FasӨ*ʔxhXINmw0~7-W@}g[kܵ|Li2ltK ,R|vpGƬ|lE*u>ޏ9!f/ V<uVA5E\\vȶ>6Eoo6$IbZ"mJ_@ 3`s|Fok .W(*\< {TZk3@5htF ix;mdc L9;fku9[ 6W>ya)Ͷ.5M5eD2mr}+[Z<hC:y6QL0zaӷo,+Q:s;r .`;] iNuosO3U-nǣ`hϐ՜7#7N  ڨeF]L! '4]#v8)"'g`D".p<^"MIt1ٻ=zR0yIRƒ\` n )_P4=Nq\Pyķ+#g F,Ŷ>p"dF6f ݲAAɅ(:V̎RLً~eܱޖ\g?KQ+ V jA CA:\&P2] u(F;C]!iܾwoΦ$=mf{q{>a@ ]1a<1`4\b1jQpضܑB׿&A;[ 4멱'yZ i{6NRoT[ZV 5%E+,/YsbR ZL Fr f%of͸VZCeyOnу YL,Ji7c-Bm`cNM)~կh8sP ZНݷU\RO8kS*:^^ Hn|uܲ_꺯d8?0L 40Ģb`q`߳s5\mε@Feh!c.m1w/i=-`0~fԯZ5mdQ| v>I紎WԧƦv!ڇp Iˎ\;oC`W1,W@7asjnH!v،$ .- 祟 )Nz#J6gk]Imdo9ؑN=׊xh'Y]>4=|f?&Tq4;94־f95 (:xi` qeM ՘S+3S`9EDLi$aG ґx{}K4h[!.9KR6Qqb~ 2Bijx^܂( b͕?AKߚ` 0'֫ zeOvn:?l266qYҟ c+=ԕo(7JG_KWE5~d9Dڷ7 ʠn˾'1ttV{;T;{NoŇK)[i irh.\.ƼN_J"VGGHcSƬN?q:~ׅE&.:cwWNU) j)ס]ߝc{l^&J?Gaϓi)=ug~$<'>$ 3Q!%e>-ZWhD6Ѣ_(Ts|ޚ09#ʰ ;+t\(r&Ji&*;4Ny;Y6|5vWS# sGӴ JlojR*W̍\t2@i̓%ڼ wH0ǃڀEQ1u*:P&_ `v˿XkrVj_T*^\rsWS-˭Jc-h(p~N)+iVYSF/9 IoVVdb"XYΣHA?h*E+H~ S2-ؤM]AlD@ym{c|c>Ar걙dIZef_ O)-GYD>L޷16}LJ?f~0ŀx'fV+*ZީBlc}@8JPM#*]eB k]W?VO_EY2nǠGQ":X9n}[VdQL.3NmX EE=~bM4QVҊš1S3ZYs"+Rǘ[OԐsޜL%]I2P#Qdrub-jEianyLn>3S&sc%˰j`oqrF,.d~< 3{PLM颡7ylDSk$XK`\ r^.*b0҈kRE)* = "6Ed4)AuVhIj-ΓرY =du֊0YŻă*$|eWOau-؎Ż\ya%A@)s` ˷zvfb:Woa3r]0ԂUM"$(E9 ȁB:"m-m;sN*(IW}/S6c]<#;UL*3j] %iB qNϜ08rDPBe6㣻AqI*AzIH94gt\sԼ$xm9$҄>ϰᩌ@]DXaHz5DW=݂ b B70~eL(ɚ#0bչ%- SVJ;3\(jpk 55pBKh8 QN#c07Kc%Oˣ@חQ~`#OESvuf3Uqdx<4Ӭcѻzl`<_1 *FSTN]E!@E!QVj-5KX;S.b{"a=HS,i%(P fB菆%S|S(Y37qҜ0pz#LڠOISK;:ԙvNwWF dr9ݍ!6|nʺ)4ٸ9);Wd+}&J=>m b8㹚b9yux<+ R^rk<)gGZK>p.rw(>F)i7ϪtQ3|G0e{c ps>}v*^:+7jXt ,H&CI=&+dh[03EC/ /0$s%MB2^,:dY]fOF`U64^مַnJ CP4Ha])Ԧp-=Ȍ-baThɼ-NtIMmܡRR7UfVk4*c4Y3NAԜ(7'r1p+o?f5 ֤rƳs AvH)I{dxJڶ #˵w_BpysipVTY>T.- 6}Z-WX+:|I#@x]]UwJ( ư I־G'i(k<>#R爿q&%ܰHnlۼE2<ȍaiy1zh0`XV ' cy!,#g}0aNx^[)yD"Rڞ(fAX5mOƍ~8Q0Y_#Y=B10u ]RLʅ {(-@2܍kT)-l! 1[ k{i_atgܐ,ez[DU(˙_Q+hdzXE.\cbIB`ؔ=7?5hAPwm(8@_/? F~ʐqעo7Dx ӜoSi I_1Ыp#i\{*?3Q8FdQ:| )83>_lqQ5c{>ٽ5iq×L\_ H]-4;S8IHhf&#W4Y /Mp 5B({8ucj'}Bk/} 9~_ƴ2ֲj4E| bbw&ݳa X2c3Ml=EJh*_'fThV:Q$=gN!+Pʨ L=hPDE+d|d׋F8 -$72XT>O*rނ5 u5V3@]yo`3Q @.A ^ir\}M wk~8 ~A(%r`uz:\ͯ1¶m'zoZq;lPkxc ft?.$P|W\YZ0+X&o17c,;Ɣ^1w?FѷBX>sH֟W&c 7)gL )Ԃ{%;aUjε"K0-! QE}74) &rR@q#Wok򮬆U@ʄG$19цI@jm@3|2{̷Tk7᩺8"ۈ2 WY=se)͑~9Dmc)(:T Pvͣ{h4%NNuWkZk`qTwQcGFa2q&;wp>g ʶǦ3)C 2s r`aX3Ƨ5D7QTu 1p4/3JNFӇ(W >`_{Kg5aBc$!6c#Pہ ybRFm/]uB4W231b&xt﹆UOф>Pn㷊X2~/bs0wF"8j0z:a[E aCU7ҧC"d%|?$UG/5%zV@F)46O5E4UqYyهL\0L Jh ?67x3<wxaxԿsdhUh?SSXvRD!e8CXC[+[]9ms\Ud T&rrpNbLBnd7ΣDDKrXpKBݭIV:v2c7Y )^z)oCOφ^2}`wdPm!kM񋣠֏$vc꒔h_0a!L?io'b=*ŮaFeStBcK;ow[Vѷ~|Ks|3 5+jLEYtE籉me~$UHԒQ7˿EϲހcM"H}݋]8 E-|mJ>$lfȨE:0z'1--lIХ90FĊ-ڡB(A11[ds7fT0i9b>;d:γIชy  ڀl2:0_yTHJ{TU ´BC@3^A,gGc82t5OmLo1A'VcL۰)x]K}.\5!eՈaX3./ C94 )4AII`MNCHilOwPڳ糏,qs΅NfhT,b*$ 4aR-Z>Ñ!BؚmxvvV8&`GWN./;7$jť(#/XrwJ}l֏cKӥ`~Cp,S'<r2f lwpv/M͠MfLE'َMMOcWו'z''7Sg7V wIqglp5B6iFېEO7q`o 714[ =ۆ^ q0;u&PעSI%ҋ#6ogȶHii ] 0J!I̼TBY*XU)3KGj?o_  ݸ-5 u$w']/9mu-ii᳝uID [̼&J6[Ԙ?b1.83χ\F\ZG5-S`~rŢ94!?8EBaW۴I1MdL#hׄCU(mB׍ڜ $7l b=D"7M\zrs l-ݸ49v5 &JcoN وπR^K=BU%)\*IpȞ^8n jaQ!|By +^?Z`" r<GdsʖbnZI*ˆ ,RXPXiqhp#@ϩ ,BV- kp7OJ0SA O:/l_\j`yAg~}C9J*ziWE$S$Fla];Pk޾ncWU"XK'CI =[4P$@]i@E0*:(9 )<%#mkGM {B Tp0ܩ $?`RA o&b=|}rT4T *Y)'D3tYvTrj ?OT-jop{ h QobP{X69œ8`8g4Z,E\J߹-ĝaKݨ›B]mZ^l?m4br1jr',%KX5qT\clM͐Ciq{S2eVe(&!lCHDlLZCAV7ѩ&;,R1g"ѡkn -mcBq^d8aZJJAwrd ,_LdVSZ~vz5p5fں1 "!_UT|Pm" ;"s'O\i?@?!~1mHs/JvDٱk }2(t,=H}YCБ:_J}WX+.+SH L5V̨x_qMf1Hi/SނZNi)1sʦbo.KGWFv@nԍ!BZl1z b%:wfFFB"{Q|#z,:Kԅ'|B@lar-MNJ ^:c/ ƶ&  qV/@#рש@M~a/wPŏM>;aVW?"7*];d,vƗ:g)a}^lϜ|k1ǣGx_<CxG-f&Lt$26J!GaD*K"i{ cK)pZ\mqGqabgr/OeX*.⩝noS +7TsVE}`?y`.7Z"x5d=k.aMk ,u,Dm' U+: < q:' /5 $7ѓԬ.,jˉm}!((8ZU&*bx>. 9֚0Da ٰWY~ܡrUt;JBvVM/qvl,A;݃A9,~Z).ꂊ=E)Nc*NԓkVк/Gi*<7ԃF'zX?ڀפ~*f:Z/L%\H;%鎴?FcrT ػ/qQ dBKlYq q͇@ c<ƒavP#! +\8t2 3.QcXzG<"-dSFDywFI/v+ML0HHX\ "G ֢YoQV֋CA$ֻ./eAW<%mW\Ա; }9=Nw9dmv^]iNU؈/p~mf)Kգ 1IôDdP!USKE e.о, ""o_"ͣc3m0F#z?z(LI?NI qtZ,?zѬ2V~ hT7Te>Npn3bASG96x,:Hԅ(^3hF:}=.B 9=:!_r yDIbb8=aN%۵x\lNai]]h *y| |t8 FsܫIe. (+?@*v7b ޙq7+̡q.07xNRO14qzX23L;s˘ t 6R**ce ,]Q>JRNLH_)aBl0 4)1=rٺ2WWɉ9HMv?_xEi"ːH &˽k,9Btܣ (%Ú<ް-Ǹ<ˀ)jojg6vWϝxѥg:tA;S8(3)qR]L#ۄږ;{#pap7Idٟȏ;n][.BЙqJx) nH aQF{\GT%r[%)B2,a@j!IgN)dgJ~( }΢~&(G+S|qXLi]1^#^B__4KZBO# 乺AC"OGWH?Tg>Б#()v})F}od3IX'cqgYEmxvX{=Fdi6)XpA;Bl_$*OOHĥ fzK׌R1h9FbE$ϧ*/tvzʑv`Q_&F"\TUĥcs>E:⎤:j-^qci;YXfEt~&R*1GwH)ܣә*+fJ+` _ D=DNTPጘ(spN`ks/%>]y-"7fO2$g7$#7/D˰&M~Du[,ɡ a_%[<퐎([=c %t*Y;>n )hKb Pl3*&+T^j R(T5ά0ZF7F'+o4}W z.^`n!Yw:o3coN&ڒj8c;Y 7BIje:,MP.-3wd['~u_K.*D z#t}m&blrJj9IlGsb) 4]ԺG%F5Q6±A3IȐJ"i*4"pEpD:KC>q4lg@>nSj"^۪Mͼ*Jn`%qF {$ctaUR"&ƓUͧAl.7ӖK>ro\VqE3/-(Xmoͯ%/ Xc)4d\MmMq\-VƼ#]⛸ю^e¬+[<\#4ty G3{ݬYjնmY;u!]* 5 M6 .#E5}wۇ,fإ:Er[fyݪ">@u1LhSm^^Ŭ;]cmǴ!y mE4q@<p6ərd稟!(Xx7_%o.ZA^JlDOnY*4gq 2 'YӚYV0꯶{HKFwf4!#l9NgYZ7zXZִF! `]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]T}pˎCe27~-Ô[/fc1>70GU I@lޕs9!`_~-JWᓧ/(;q|$p<g?x (.i4(EpEovI ѷz/V>t2?,j0eS2>N ^ԺK`|)1_7gzv$=dvrއ8j08!`90-4xؼ:uz+KUEM܄Q8yAPxǕv T~NgYZ7zXZִF! X]ŗXi%L =} 맊%3JȹxeWҹ;cкRz 6K4,5* - drHG'EJȞ|QBX-Y.|^wt„T8cZq}nW 3"\zdp䇾ąJDsܼhYW-.''7\nߕE#٠o'o6NnrՐQwCAZpP\~Шx^hLo47itlg0jϩ2Xo%t} p,?UI,jKQeg`[V_Xp,[Eb5ח$Z@~vJgR]I/wu3l7+j>y1?F6^ wZ쪜3d^p}6XPXmt 0 9UQ2 \#2P%ȓ9@ qnYiXwQbxCiQżMD µTQdt­;V7ݑ_ `aSa{.Bj˓iG2@"=R\OԪ dTk'bΪUL shu/m*V37fqj_Fi2>V)8ъbƱЮz/)YCEidF s%o)zBÐwRM6-Vڙ+Wv! w3J+:鯖xљJ-EwI,ͻʁݽ4q CohŽ8/3"{e; QN$ Vʝlks~*_KNL 1ov'С@Go}AX #I=Wg7PH-y7TebV6Ywӿx_KM4.J 8Bg'Q'&넅Rp.K4R,|=mG;m4}gG'bIEGR n)T2'd0lP;Mw#v?IzcLI{gW*3QxzQ^/7 ؙX^,p+`{ (p&2m:i5ɯG$_j8V"y?gw`B"e_3UPw+,Xgt9^pAǠ?ҳFz%^Svfto Ù>.]Dڑj[S RH:BӢ}v$F01H}Q[cT|FQu?Xx, 3(2:9~C_0 zl8qGჸMSW4۶7De˚gUI޻SKrZVFKujGH@YvbW9͏4K(j߀gA8q1 [qC=i{!0V=ֳtoo\NnvRbAi^i1,#v,-wVyBZo%/8-p?ȫM [l|(QCWQHJ8ɩҘ",5L̺G 1VacrP68=rU=t5-5@TyYP6vɋ|l(6yb[36aUl胜dM^c#[@x^M_)m Q tB%2[wP~! ᴺ] k2L|9JǿFUօ0LMxgʳe[IXmǑjt%#mnM^@O$gVօ}G!=ޓ{VϏ1aLr\_Hz+K$+=imgU)̛%U]n?SPܸW]1xiv"g? 35-uygAu%Rҹ/mbԡ #0Sϛ1 zc[2I@l!?_.` =1q,ݙF28c^/\)qBmC,d')z$q~+5d5ՐaI͖[|EB v7Vt@`3f~v'R~%QWK!iGnАcqFܺ(,,I-3mT(e*tS&I-:N5daz ?N;sgoJ{CߡmqS%A p>hϝ ʆq w.?4KݷhLHDQIu}+v|@CIcukaAeYQN;++ t.%AGޭYxZy/yGnK/5c|S/?yGMO42,`YM9TPrB%M}rPK}Z헇rDU JBsG-FRP vٚR7 HUnXԃ& P8UI9K^5 NH A)r %fg9x+[Se]Sߣ|*ݔ; 8& eMqҰHOG}v>fJ,mi.z90 MAR^dbƖ}%4BtϩM'y9Pe16}h Fv$ I%t~HuM?Fx@5~[$j21/h/CMb 鴼y7gmFX>QgZ>h«˦սSD2<;?=]7H6y* ?HM7%WdMpŒڒ `Cy)6W[&?nN*D-nhe&cK+J5|n%tP5pSwanq-N4Lzb֥k[ 9]dJ$@XjǞsbQ3fbxR=KڻYH'v_Ornˠm5&?٨ SvgYZ89c02946dd38039a04f1d1249ce96f3b0ca6d196d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 63d0f9bef9161aa3d53a4c5c82dbb673747ef23f36dfffa0c858df6988a360a2fed83fbce7930f7e