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 o)DT ]]Kleene_Algebra:threads=4elapsed=45.061cpu=105.808gc=8.672factor=2.357zXZִF! ;\]ŗXiɟH)0%ohXm/>$w\+ݱ2୬Lz{euH%JYQ;&3-_`Nn."8~: GLm~؇%#Ogw"ql^{`)5gV`|gDrfE%:m<;.57LUM+VM hkqC. ؐJB>~Hh%/5 yd{hΫΟKa4gyV z}״J\ޙ$^m"!%"<lu X46K@o|*ފ~* lOɄyc)=Z_a;`ݯ4]U8EWd TA_,{IjLev-X+Ÿ6Ȇ 48@'ㄷHݠ7y $ov#T `੧ctB %tTN0iH k eZpkx_\^D՜:2٧- P8Rvàck[!=ѝ`GÕp'"&߰Jy=?X2bJP6)gQ/+cl)Ebdxet?~.ͩ QC BFl&OQg&6l,H3.4II%rA'txvǛ>M+ʥVzFUu\mwUOE)0-n:DKW zC|#n'\ CwԳz`%HdY C6Yd vY 峰@0I42e/krxaU薫^{}#ή:#瓿DsdC-gXV[:SEu>\Zg,mh$haj;[%Qaߣ /NI2g`nLkMVwzi.)zH-NWv?bX~BZC8(l}5&/I=c 91|#. Л۾8֐qM}C|XUaTw8\@*TЩ!hy_ǖTߜ=kMmX&&`]EnFWݿgI95.uT>u*:.C| 'f F-+CN WIQ3eߌ\?dZ(70p7%h$ҙ2/m8HG\QNin AXzLwQd:1\SUxOyGq2fЏޓ1CT5)p+RI_ ; Co#]؈(iVx&^ϯy vyT$ Ϙ GQZ2o\IRrElQvJH+4F]67I+XU#}t1 HngM+~riIi܅S Y|a3!dھ0XҮ0W6 ruX G7~4n,S4g-w[s(]^~$&wYe.chrh­MOB(wݫ^9NL?ĹdT&TBXI-vqv ^]N(`ͳ<[XO!T$N{qc$T_:_#IRtJ p" 䅅paMTou 9rKh^W;kD=JH0A 3~43ب#,4?'y9f.ʅ4 =1/kF nKH( iX̉ 6z9rbꖁ'5v?K;̊ӧꝜ~`FR>|룍໙"%0S" hYg-!kEܡ"|$ިsj0#&!\-UD%/h6cϛ;_B4UL(h=c+0ͻ3^`  ) Kleene_Algebra  G?"t0KݒNX w+NjRkyNLr4׬9Ezs֢V#,tY/ d`'!_WeqlR!3{E=czS'#KƎ0ˣH~aUSeup`i2Xf+dySz:-B)m#K^65(p=nhS͹h~I6ct޿UAh2c&=)okiΦf+*]S]Ubde$sv#;JK7o}K8kv0eBI贩* ~-pKD.qc,%;\ښM0(TW$~sG'}ꇗu8僙961$-y(0 gz&ؗb;^L5/458a uB#1vi.tp>85(G4,GZ<5c|bc$`caF",|nHGcY}#.>{91_t5=њp8h}g( fg!w~,C{,TLG]i'֑A͑Ma0EIDyC*+8gDz8o]ޜ]1^v"_3'o-+SB%-̐m |d0+As1`g1G!>D(9ͅlo-DĊ.v7(ߣB -e/ZtsnIcID۪;}M5|eopMH4& ,#6ee! j1%M3 qM;>QUޅ5DVώi 4kCRX;ukαf?pfVH7*iwLz=bDUQFO  1:zGՀ|m8bAoJQ'oSSi,0H53Ԩ_BCF$1عt`uZO ݴ@N)H|oz'ϤFXtja,OҨVBH}ӼFF"ɀ5H\"g#QdfY2ErxffMP0- l&i?-dI F To["@jkFIGVj(4ϜIKRQΜN0oO S.4 ݟJ&h!RGWCACy&g%#ʵ7TM#^)>GlCXr4ROӍLkneD! ebS{˜ᖭ{u-gHThDIu6P_򩴴vzr$mM`9}I; :g%zu(h+ݷ䀯B硝(?/#Cp$jƱy\|cdg??﫶u~&N ;dE %,&&WewTF:,Qӹ\K/#DԷ|ǒA%S&S:&X#haTݑw<9flx@+wy-*|UKSu j~ Wr|B }Ts|gʌD7mFQZ 8)EB*ts&tn1-(H|iܬrсN@6(ZJ| )r U+Is] 0@iuܘž>5sDGk+)A~UZڗ)zVOKj-iGG|Ow*iFzXQu0qof"Pʖ4S9AHYBjDE:q~"/5Ǥ9Yqlz:q-Id"6%co* \- \3T EA$]K1g>(2]B> p5,F.c%Yy5/ /bJD`fXFLGLhv@Ci>ԊcXMU$XR21q 8W|y4!X Ϲ$0|aizxo釄NAvfLJ+4.<AtE~"1A~[hy`;t3]Nߔ%u mKj~ih~U]-I;[ (^( y/>T.o6j"Qx%K\:1 ͸S{\ tW%҉s, )펵s/a1^%-/Jm6mՐ]hl7=*R6fNr7Sp-t]Ś58jJաzpY" 3/ˢ.bzq n%"5*Vz]*DzB?@ۭڪR$;\4=ȜZ,0Of98P5H>B@uc߇!|'⭎er/61J6kK]a->E}'$oB7!E==?8sgZ7!S&)rdu[OU) ^uyb{^IxJӜH>ә21\ZpℹX(q׷o^ ӡ5 e8z%ʓ ֓eiC@o- !=^Z2hGYfGC^8فŸqC0~3?CRV)04:ϲ6/űtF6շE)3J}/ب*g|'X߃n?&yuQuwֆH BH\7q.Qzݜ^4r1Dcji>-Xs@v)!5a^rle~B4-&"'`zf#V.JBpQ:G>C4˘Yn*mݫl0o - e@_-CE'tcO`%Q_mxpo,yW"b|a DM]H۬aan'J78}D6alu~~#LW%NOB1.3ҳS:i86W@3zݧ/"_p"#؃Hdwq s]ʢ7ج#yѺ-+ QjT 9bENSqۯulFϲ:6Z3S@ُS>7JRAN 3: Dlg?r@3r`h Exx,Ghx~89Ş-ES#c0܇.ĈkهOQBκOBbjW`hbqT1P_oF6Ku@{Ղmp>`=_XHY4WY2 | 1A7U+XYFMPjdb~1Lacqז*#H{Nrg0jB|Sc?Ub,3!?V 9[ 4vW҆yxv[bv~p |0j/@jK^ȬuFHyg.-> b6<;b䩵GCd TTnݛW͖^ uL_,kd=$uq%Un"feh>!#7]^hN 9pc570}p^Qմp|m1٫d`YM%!]]MRXJ6vT{詍‚^ OYh\a/ w 7,OdjUBWy3L4)VU0+ٟ'CͻoidB㷼K5_UyA*Bཛྷ Urdn.jdbyQS\csb jPO{qiƲ Q6D&#r0,{ZW,\rGfwZD7LKɎP_j!.(z% J7N\Ba0{Γ@3hDMK(^\ld=ʿgx "*X.߼­PnM0 JK9x|>畛SA΄@C"rtZrV9ĉ)jNΪgR4usD)c^xQ܄} \9OG;>j C3+eуOdbBBDôWt:s:_=mM|"/9ml$Y{f~K9ء%kɑYs⋡j|BtJ4졺]EߠŅY PgՓRVǥɏ5Ss| Z(Å*(PUPj,!GiYBlX.lRc)>k Ch~/M982cTgZ *iwذ2-d/ .8Ԟ93)`]KQYo,t5r񌴯xXzV=f""Hsn^!yvkGѵ5FүO[RÃ#AN{duB_mRBX"+x6kZf!ps6`T|a^HV)YGU|3] $W2ϩ7AO4ru岴.奧|}El=^^MkJL@2_] )f GZM;$8ށ(}mom8V4W2eg\&6PܳQ_1?ޣ`vE鰪sHU=LaDx6%9RB؅Prŝr,b~-11Z]P9xbH#z;+A*qT Ӂq#wKZEyVlLwW"q"Ir*ʔذRH5Gb#7]vF4`2qɹ#;FQG(TwB_2+APq<*'X4-kp?!c %t}[-#dKpƍcG HT98vpʋ]>EVcT#9gk̸vE)F۩ђzp+ lYa.SOyt9G!1u+p\UZL vkDI (vcV#[qJ' L_ /=p2, +na aȩNi(pj[~Q5|ᗆx6e\y Xg*BƠ4uLW"BqeikpVbnj|C1_Љ\~f L?⧱Pr߿y1V"\RMH.Q%8|,TY`AK5#*HLSm[ܜֱ<25[OTťeY9qw6"7VK +L!h>,~Hm}㦚߯&bD LAЗ\a6'٬|βw@s!m&\ט^Q m Ml;T`ܴf}|nB\}yQ~o(2TOY$V&0Qo=XTı?qx<z#Wxh ojhA0̡KKnI/~;GNĖ2ebhv rq>U )HĖAcW/)|hdH$˼oPg?M'n%\ˈFH,Fn8sWO tgecD&;v2eRY.Sxyp{):SINuno5Gy2c#2G+xF7ۛp/oN "9" WWΝӚ_aFܴ(:odn|+߳YT:ĔLzE(R:J>lR**7SmlEik[VjxJ aM,x2NL8kZƓWW|p6aV=ntKDs"Sp3]>,q/%VRWr(<%M fB=]0dhhC{~LSFrr9<[r&A!ܗdŜҖky#}25=I݆Enf6G= _*4nri(^jEԟGtD,lz愫½5Q5IAjX.^bT8:+z D*M/ 8D'*0~,#`aL gtփ""x.jnœXR -tFRCQ [<Bj/p tH b؜SLA~+P& GY^s#`lߛZִ5ҵ0! tS|N?)* C)'Ut+Z0I?3Y9RI}'~hR&S/r~=l<˨uXWWgĬ~,>Qd_X}(q^Ӫ7zOp)O^ ѦltZLWX*;z oyX6XUTn|7:kZ0^W3aD'ؚqx`VWٖ =FN5omc`)fmPSjc,9⢊DLCElj%O)=Qј}oXӱj`Nn1@F /'q>ӷ4ULHvh_qۄNDS()ǩ*˙A8WC_ReC fru:3q;pfC=̫t)BOĠd_R)IB4`/CPf7%>Wnwp`{0Բ7 mL5{J^kRZ]X3r3so)b7aKt Kc4# ^T/s2VaѮU:ӮoVtG:Y1xwg?mGHi9VµQXcԂ|Lb/<`HHpyTG,a5l|":6rLK7f?Z릺 l# ϗ6fTEJfN]#ۨ?MD"(ΰ@xn$2ѴKU^bj&ո[2fYy3I1gYcNjܱ)\Ŭ>~2?O\Uu@\Nܸlzrx|U?P7t ъet Ԣ/ m8/jap{@Ҿ%,KU4_.bVUW̛^X *?X]tiܭ oP:8EṆ"5',PP9DUo6 <8.M +2$% ʺv TA95hQL0ӕq7[AH@;rjYtBol o8H Z[+\ 0Qi*3ì6ɁޭtD4Wo=IdOmWݙziKPI9Bfv ME\CIDu[y Vۙ d1nӀ+/'#$a&I6y jҁ؜TJЁtE>"O/ Ou:%jTݿ Ԡ]x[u"3 9'_kayIp*I`P}d-R`U+o|J\u+uQ C s%0؟tRu9tm⪼PwFH&v<(Rҩnwqcx+iHdYFimJ(ƀ~i:kBnCgZR*wjp&=s0dj$e`j#EW:yvNK7ytF;1{miDiQtGm RI@&&.߁^YZj$K1+ I,@T!ŀ\@J:z|KPɗ'm@zd'X_.F@MdK7éX:{ƹFD9dE' QQ_ɉ+z X EZнAȚR뽥4B.,WܥY2l1vmW% q~e`7nh!ʎ<$aЅh뿴wEYI!!26޷/Qs[q\iC "'Ӂ-Bϖ賦P:ydYƿkNخCRH@Rs\"lE~$x᭿2rԸnQQs#99|U΋kX:`}@_/4':a1Y+ ;p){ B;&sE̬q$~㑦l_c-GGf; ceS5UGIRxygsIHPIv)/3J\xJvN?ĺ'4TV 䟗>8웑t-khx7{6 83bTbQݜWW;-;~{P/`vb%,,$: aN-76b +u88msl0q&@gސ=3o,`( Ӭ3)t[@4yY.kt5rvj@"i휒o'#k҂RIԡޏ$+-*:1<;<#]H-bq5Eæ5oՠ$R$x0\9nz熵ж ϰӹv8ovҋ⽙:iPgE|PZ]\#6a3TiQIX9ev: Wc1)T$l;{0ĉIyɐwȻΞ> i9YU.i֡%5CG^ ˖[a@% pվ|rWNw//xM,F g&~PyIw \:1#Y_CE7%V>(Pmy ԏBd!Zc64 zu_9ɹ X/ a?y:ޝسgIZP; F;Fy!'FTs(1JChkA3~)Vy^ 3!:NTQ 9]Z] f2pߤbpx4#o/igbyJHHQ9qR:x^5gB=c'<8ڟqy [7tyt9U 8T#U׻izĜ U. lz 6EϏlsu%R :\i+籴׌xȃto\«؇-$`̸•,*n}]ڱMwE# wfwmŴC`  .e)$Dzѡi"l``9l~%Ӳ36~z} 9ǮN^iq\ O`H BnE,U&*=7G)|~nO;b+%1<#C1IY_ܘ߳s;s QO3E`/uL% {C1$}3)'F_x9Ww'O< =P lZG/xyh}u1ލ:=z^TIQܤ-LKJ"ZM뾤CH 筻L58!D ֔)@h 1OdDb);9- M*gi]-kQ{S_Yy,foY>ބ{P}6xqk|q_S,\#Yd ;M৴I&XDkxi:Js 2?`?=:Iȏȗ`Y_iiA2HBlbe!A ŹBuWzɉ64%GgB:ZU\6HR}/Gp:|D@X(pݝbK귂OD~RPN{Hav{`ଫ۸6a"jnc|NG;HjZ:FfʵA&E!L`iK918*X~.'#u7&P`?^e@š ~Cv!c>4A]ӫy'(m6ԽNrѿ3HH b݉=MUMaM:Uj {lxTN:Ts@E>9J;>JB/NpaptS^=qfMUQ7VrpBo;n ՛Wyw=*O&epA ڠwΩKHSu b#ؐV|[܇Dx y RhУ,@]UZq B\۳PY:M}VAB]/m6 F6о)%%Q{L%(.wN$Cv^~r.-3Tkkh 3S\ #O1IyMy%Z^쒘@ӆ41wJ{ȕp.bz O𽊲y3+Fe4 G pLȮ}uߒT1ɜBtteSs0ida[E#{;+Bc)pHs,0=; s ޡ ـɷHbrt- X*_3:ݓSH=dήԂkѵ1Fծ-~\}x[Ls,)aD1y.|]$eP]E!>{K$Ir?!'15}/RMl0DSk RvHYRdY1l~PHspl"}&6^ y ͢LES]>J?bԵi$ /ϸ#vTP݄Y`lxKpŐ -#6 7{!55e?qc![:">s^n}wʫ3w/G`Ȯ.4 v~;yAɁ\"z~4@W^ t|k;m$ݏhdSv;B>8z<ƒNm|>J 97O-1-QD6 _= bSD 5a[]N#7Ia\K鶲͖'X6v$Cyw[BIPK.TT4ϊHج껛ԋA[3u6FÓvbGME,yX 9IO4!`=ůA*(~Xdfe1N1kNYF(glK;چCuU(2frw{K4 rH#2:;ވ}4?26V!;bk ɕj ̚"Tcf^ KB/\yxPY4;H'̻#knoa) P1W {S]ƂтO+8?dOۮ.D%(? }hۮO_cEHaeۈAnV7j~H|$ã5Xx X*RBE#Pl³Ql~#zs&2a\&xo@1ce #Av.XϣqMy9QWf$Bw ήv9z^rPJjkU3 eOi]0TP6ڜ/ ̷8=Ngg~AOw'|Yΐl;,񝯏56w޾^MEKM+Sp/ٜLr+^(b 7ޱ;NLk5ӊmC@$+aԥI#C iV"VuMr|qdT4!O:9yLG,wq|D:"\1n [H1^\oqՅ&uHˬ'/?#u_k+$d\i㌟@[Z\T+HT/rč`q x4Sݷʈ>-kR:!ro!?)ai -o!5]"<[0'>#1Yw$ڃA[K+^Z65{&OhO T3; "|x<@Ѓ'VIH[pa7Vx h oC:vPbBόBir]ZdB0+cSQ*]HDGЉ"}m{ 8HT_Ł!A|,*G{Wb.Zq3) !GcJVS,#N6x/Y?X2Q3ph?]L/Q:xrRgON6ˇhPgAM涓]᥆٘rKa^ʕGM`V-u%8P Vx)w懊I} I~enPiF{%7r秣ӼƠ[)Key!rMP<Ŝb TK2i.9V#-?dޚ]x1]Zիydo|Y ˒O70dg |dˁi]xwq%}%CSR m ͥbh)-ac \iSeE$^#XVӟlI\1>kF"Lle[! dX@ hImzh72"-T&_۔.神Ԁȕ{}۾PX՗u0% 3L&$h\\. o)1Kς|mlSx@6) =i^PCvF`wNC/LVY )q\b Ђ(?EQFB;7#J @ʖ+z=x0?wff[z"df9{ c*Zqe|/]j76tB;JN+FSAh!\;C)-A!jxՁΙdQU{$[PT 5!čWyFniwF](n+-Ky_yi*<3}Z(+2a [MA6ު\A"x5 ҝdWBYCĝ8/umc?BKK] uߙNDzVc=TgK?2t;NG_ P'F9qW^grOaHI~YUOQ}B e-~q)Ytn@B*ޣeLO} Є ^#ۜL0^(Q1,{;< ƑDNs5jJtQb<4? S=> [&;׆I޶L`?qS6T0+Z2M9^񩪠}p7ꈒW++b3JgfxtBZͽ6 Zmt䊄אe⢴h>Fq8ګT>Q}4}j U "b}pdo K=YѴy4H8spϡ>+V(b>In=hv7)L@_}q;WuE%O0@5eBkq#'ҽ\;%䦄Em ,33Um.<۵"ҙ}Y;*͕ $:qB^.J㟔 *jgΪ%F9"hxG3EHU'YYOfZvwwj&L (ۡ.`/zW:sm8V]t"bgC$Iz.&8SwbƓ,t"ƪLRdY\״47N8 U^bf]$q@- AᖷxǛ@"Vihۊ (Kp&Ϩ{^~g@xWO[;ȇ;X / ' _03Q3{\:` OpzMDȜmP6Ȩ}fkyH9)G>:=Nr)S 4k)&M+ e4?l8L?2pAsXsb=%xL}JDs-P0dYq`/\jM[A tUwe ۚ轘h ǩ&bA) Vru9 bUzrJ/p6cXqA$X 1W|)UD]ɻ2)=[+ۂr~H"ƺ.,J|d$s𝂈JU}$OY$\Z倅ͣCAwZy(4N)zUfXC5d.bKtA.IhKqR?Ȗ̓BsqKBh%BvBa{w'N..Zv;@IQvIb@Q^=i2iz?š I|7R"R{"cy V 4E(U/~RFՋ)&+ 8{D|BNYruW ^Zߨ0`_=1٦͋n?gTKjPG`~Xtq2 %1{yFuaJ6v}mEnHp ,v7-xJi,{11&]* +DX&\/9N.eIGxz"LI{u$Wצ 1=С^gD_rW2pC?uk; @s,@: m>; ߢoSht8#-{_}:92^%(z,r*ypyT U7S%h? !|P#x(QA,/L<<k΢gn92]"Ciܕy3V5Å/"*n6, .F=EEZf15Fʩf:}ZI[MS(2FNsh+8ŘNhw +d@i.ԟc9opq5$aޭ̎;=g6q$1ܓ[*Rʓ>1t_"G<>CsW( c D6yJ8攽t0ʎǎ&j bmKM\ WN_+|W` PC;aYr0mFd+Xag?&#/àA¯ y,>2hKkBLd/oAa;;Ӻ75r Ҡ_- RLVQI$Gj2qYnTϱet!x lT<z͵^+^ <4Xa,Dn眳?Q G,xbk41-T 3H|-:2"b Lz8JfB%ѹC?ǓP.6hmz86Bcһs\e_99orbWP)$#!$Y fVl~J3|逳VCTD "^H$/jO6y tz7[ÚUgXכ$ϯMR<}33Ύp} ϢA5j rqTEd{sݗ=S RQ$=>48'ng{?%w-^ jQfNs bvyejud>lk 47dz"Cjր'V 1}+PH̩`ᢉwT0"TTgWtנ惂Wi$}1Oj{Z:ؕ VvT+bҽ^҄Dq3ʺ>"r?_ \m:z-QҲsxYNt' 42$V#BcgW+P[TjuM}NTGB~D0)"C]t G?Е/~q k^b(}cyd/f;; ˁTnQ3faN-#8n'\Ǩ_OB$ t(ܥO"XT{@#=1_oZ\c,r~7ou!Qe\-%p9L>n%їs ?2Ɋ@W2.x@6ԧ_l(RlSLny0/~#Ih{X36=n ׺תbcG ?;'|^A!E=,$pdld͵eTeB)걋u5vSP%T'I=9l.\">Rq7uU@][G}T{+Xj;\٨V 8QG0W7UQl#"g~!%@rvi%ڒ . :WWOeBrD*:aPD4@7~ _pt%k@.S+?)g)7;-Th3&Iv0[_ ȎY\;q [Ƌ1$?62ҋ~*޽Jĥ6q%b44|1Y|`SekZGgXN W̋@|{4D n{i q+"\<0KyhfH I|?:]Aw+!oM-5++(Nxje4g"tVS TUFjfV :.`w>HAc]A̾"4ze]m#/y'EcRݣ /CKNy_bJF>2zlF) HpaʼCkB#A :Q\ۼ+d2I$xćNr=5u{xɡ45,&# Z >t3 7  BsYoᡈgpZnU fߥ%ӆiaPZut8iwK&^L@F@FKF9ų2vY{,cYi̐4pL w<^(>kd twz~Sl" 0sb:`!.N<Sjgi๧bmy9<ljzfgQgB"ec%g kdǖi[.ydWp.=xG|J6q ontI^ KD/l0m5\׶k-* ,1RUrk.,XGOdpc)cy.?+%^.>YdB md.=Mg 0(ao"UmZ| g}eP2iE?jRw )T.5I׏u2<n2UYiRYX@KvSL.&}(\"FV%i>j<|wX`#rl7_7QQ$cgp6^C_. ʹYd O"2lefåSF MRI{,ɪ&o51 !-4`WJtˣ Y>+="\:kiRҳmh9LL.*.c'u:G9 E!,]SsH6 <ڲWzI`n:QA)3SH0x+{-z@DD:^s!7GՕ%56$gZ%2-N-)I(܁C͏B^-ٱ}ѝ]]in}[5E+I]Wz32P]&C9RQ7^7vKz}RٖOq"8o1 }N 5,AN1Z@J^ݐ2 Wi!~O驦R:wNAQ'ˆmlv>es3eםs;"h`pyíFÇw^&D4Ԭ3 ʕ Q2QG -6NҤȪ+r}}kRKLj݌]PO.gUu ]ٴm,Qޑx_&KrNpzM\/IrnK~̖5tlU(|d7Un{)?_xn U(yQB@_C`&ڲL ЖچIȭSr@,xxٲM87]\kG k `U]]%O6`HM]1>`d#*70]~ZO; l;|E8T ?sp&D㞡jM$}RcPSؘ&f e%ΡvEdh9JbQ0I sxQٸ{+:܀"Hަ:d><. KVvՍ t2pn _AhxEzoFYkq,+yxr&4G֤DMl^ %إaU^ȇa¿ ފ,$lE8[l y,$rouy=!l{d,̭)+O4G-{|"᤬gE|\q"AQ榿_Y 8?!G([RzTHd⌷-ZBR%UW ge:iBɞPx8[HWWlY6-5Zם4J-jCa6r-~[^JpfDBAnpdY?#oOL+VdȩѶ$*XS, +nfV$HH[޽g\܄8Y37 ѡ37"$pP*-H iN..xwXiބhp8*>\eҷ`V )1Q&HUݙkW^wWxaac!BxU^RiX-{n#GF+AmhҨ5(FT{ݭHz{_/~z*$ (B!H,h)Z ^ӑt$.A,|O'eeCk9 iWh"=E䯷+}^=M[@\gT*j ms vH!"c1l'g%t4R7,AYYo^f,J"lAVu'6$irw3 Ug6{Cr9 ,;0{nAK(KTr0<3%%tMDF89xp8Fl,6Uv3T)hjr*^ݵ.̞9\&*0Sh?ɬ8x~Ȱ0i+"Eru+'3<tvuoZM]7tf i/s*S=ǢnҨ;wD&pkdHE;Ά[2&}ηJVэrzx Sv C% 3dyxz%a]e14A<ȿ~J_WdKu曽:q T9<ϥvV 0'=zE1cF*yPVٙny.Ezp/Ë~wj7>kaIMT#sl+8T↥!<7{h,i>_ͷi$c|I6@P΂CWy;6N[?x2qKl v>g^ը}[.ڬ2٢)pY;RA/Ё׌ugrZщ.Gj-`Jxrt YH 9ʤs܏W٦ή1z HÂ$`3' )TN_̩e05N)?qf4& $P![Zc@]JSYXh:Cņ }dʹJ9 '82Vr(^ c[ǶZEz<ӍlJ7= b2VR1:K>@"q;vCQLMe7|ej5um# Y@\ k3 LEzvw:dD y!rHV'hiilpUٕBZP drL@H+@$qXf+z,1x1,vmT:"A6Qhwj^C aӐK{d@,?U<{$k+Wo5e#42"B%)g%Rb#$5+HdW)RkX*i<Ē ȹ`1`8-_1%OUQ40Qi0@o S9(l45tGxhl܋܂9LyTK#"̉"vd<̢xE4Pb&Dw=>X:K e'vUV5Lv%Q[lj> O '̛rSHVP"-y{JI|.}'WHʫGA z3l1xoX[ D9ɇ5 J;IBvSq/gD[~yZϱ9&b\N窀}Sp E8d }blx_0d/wyTοt*9(-J]K;V/7e? jZ21{֠ HߢumfC!?- Ř/y/J(XOB9ӫCSRzDuht}]M\(2ID? >8(ug`VХS>X F"&V78X|`GDݎ5c].x A:.? ^t"E1rҰO7QMsuN^\DJ{OA  O4J@򅁴iSsUE1'2**#!;352jSBY¦+ש_\nA ?] VQoY !ese~2"ӌ/PL0FEgK(X^1xZzMh1\;Uwyvڲǧ\b+|UvqnCGU[0 BvCjbH.pPeq?`:'Vb>lr1E? 'wmё$4ލqݚs54ĠE}a J+n41/7[i*&?4G'rVD_kgN&ߞ7@e-YDt^tEQŀ_`%j#\l5إW.:Ax^ЫIfV 01#3Ku4^ Ht_N7f\%c&>'-Bkv\ujoH}rPCjJ˘*rB(@ %#J!A-%\@s@ygce]ҍ5Z7֎k]`6V6yzȞUCB7e'wSn d뽻-f*v .fTA]O5f diOS4笠:JxT&LK3OX?ĆR0AI^㉇AT,qQRPIB~dȈ}#b`#OY{r,3S(B U?V >Un$b78UKSJ{qqf yv%yGʬc,L_o`YWd3SXK'T|OAbO$7²k-]#4qu @Lj=3|>uƯ\]]%/yry}O9B_}*&Ʉ9k92zlyXcCb2D&6ƃlGGh[6yW|L_T:)Urh>K9]~v*XgX2hE$rjZ .aS.LR: := gYZ7zXZִF! D]ŗXi%L!l0BQ}1Ԉ Iw櫴WG>±Vv!?P5FHkxu~ 7D_¨-cT{LY?)]{l&tՓR>sq'j wl,G fǎ-\Z(O'VDzꛩ~C_e9ɗjy -4a63G I7y9pq ԹMH!{JdnBz:3rE{k)W(kBYz0a5V}:}Q'g "+ D4tq- [M^F0{͈8U'uﻃs a10 sSY*w|hIr,W-[+UfF܏ 1\XyFJ*q<@IrOho刭Q\ǜerc;2]'uQeg[:]bL ka@6vk!1W@j`E,Y,#Qrac"( Eg)9!%OPϻsjAW|?T!OMZ6rDeG:FX9b tO/5SG%$^8>ikNN;MwL*׻fŌC>ΔlOvM)o ŌUY[a52~ mp%iWgDn)ryY\33rK!ɣ^ bSkqN]˱AIq$6V2BpJ)W&(C 0˫]rv_bɁPX5d0=tOsyp\o~plt^ׄ2J}6Maǣ{@?oI| ?)^xp+=&_ j/_koc{n?a=D6pIGaKJp>Ӭ0lApeC2r|p-8Do$dg" 3X"K9 N!q,I֞+ '3p$ GZ&u0OW-uk %M71@aM|%Ɗ.W fLӮ/@7*'A|f+_O]J?WT;=_zu#~Ín-R*K^/lm:z.I%$Y⋱ŝ 6v*mm* zQ(*ov^B䉮\SEF@@& M[ޠi<&MIᎉmVPU4B?nx|ة03ֹ*GXJ%Vj[Զ&THd Uz ?֯F2%f;)r:i| ",݂󕓲khH)ɇbQǂ`\RS8<3fp}jz߅kq9R1;q =FW\)n< +a=թ7!k4o;Lh]RdFJ>3]݋$ރEc!qޠZ ݍpmvmZ ޡJ[w7"=cydj %dc]O,. 8#&b5=q Jyl(14TH-7qὪ4 t:A+x_1}Yg毛wAoy;}~l%*(, H[K*Ph !t:bWrG/ߏ:ުBeO0=Aq<.=i>J(l?v61@̛rAWb ߅votA񿳦[еm&|HȣݲHL YN8 GZ /:Bkv&LZ-y?1 aFPxÛLs&}*~\͸}J"J\UY6I˺HzWfQwźSCYZh_{VYmrZaّ^ g*8ƒ?bqƅEY7Wگ!C sEu!SѰz͑?/u9+-EY=Vm5Xe@Fgb"x@%apHÄtCx^cc 9ʤ!3pM=?qyY%F`"ɯ׷Q;&Gt~døH*F`y'YJM/c{3P)'X"V2P<<B?ODC%(Jzަub oG'y첑*hhs\W"(ID4dS fxװA(rޭ8zLJZ}_ݛlP13ɫPtgPhp贔90h;xiaM: u BK~Z/7dEgPZuꭕȅOqyylh4ϣƊQ9KN  xaq/O|FHP5z:a$u+)ЙqV7(mefNXh _lbbe'T1E yg}Z:Ьa*0q*ބ2tOqNs9ŅsZOH|P%$ ٷ%KI(!e%ʟ(#Xj}걫􂃘uoS'z ϱot֬SU҆$\&+c"h_{7y$3-J,OiF!c]gpA¸ ӫ2bQώXb3iٙݿ׻ mFx6ݯқQ`9\nU5UYϘ;T(%E>8qh{r%2)=) ݕokGuy)Xi ıgYZb1cc22f0dd9509cea442f2819a767f05cedef6288215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f75acb39135c6e72c6cc6cac727128566c1b7a937188c1012c0b99cca275eaeca6ccc2e4dd69026f