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  6 6"K$,t ]%]Transition_Systems_and_Automata:threads=4elapsed=309.640cpu=1102.132gc=62.436factor=3.567zXZִF! "]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{yؓ}BƇm*V^w3 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%ݿdޘm94M+A9w7</)ſ1Ẅ́np'AELAu|;t`&RPgLUϲ21r\έMK5Dbv,Xe*y>gcV؊spM*TjRP3d77K)Pŧ'"U`~ 1tnu<9G02mKV :2@dT^/ 2KUMڿ"^S9[p$][˫7{; ,Mt\+{ jY4d<= Ȭ.F]XZ]Z76JQhm'o*ь9cϛY= ;rD Ӕ,83I)W%ctpiqIIFW ħs3sUh'8TU=ћyI3PT'yо=2sʋK12YRnLL(HqN}Pm,< S)0TxמbTsH cL$k*<̓?'| WfW9+080#~P4V32M&x!umQZBpF煫隭.dFLN0v9 x&|O>yb=m  .kӢ+PLnC?Y*9 &nӬcҌNJa9{cx|NH3틦G@W(z^go |^(0H54/U iVl>!|}Ƶ_^m @bi9BrKgBJ3[)(q o0r%ʚRNcwiomsoۄ"THkI؇Sڕǻ )/KQieFRMX0 GzTS^T}C ŽM>ΝyUdl=~[k^'I8Bei@TUL'@Jʜ(wܘynm/K iT8wx9$ߒw_N/V3/$]Rk_ikc1K]4KY8pV k$)"|}a!WRNt2S7af{/gCoesD2X!tqD"Rޞ *$|aRAoYl(c6_"떱ښ_f2OypLĤAUz= 8%I\-`@8&J{UZb@6C6*q3 :@  pƕW_^t/Narb^ء,%4UOWL'͆wz3dQt>\k=E9ߙ~-*ʹ9"Milf?VrN5|RF 0ӍY*g5?Z~!\? 8J1XRA=1SvO>浼v@׀%S W\bM."O~&G&gz.POk{$t{l d'W!n=q"v &ڲie4.ʹ!_NYdW .wcwhZ(5+8]V(xjaPAVD"<{Y;k @dQ,ȧwyƻ7ۖ\*+tg\y^7D'zuլr㦲Љ~"7tJ{T)_8lz ģhMRZFN b̙^7w} fU*u`J0,~l=ƻϕ3ǡQ _{3n⋔!|1uQ جt#;Oi;WĿ JpY3=DL}] H39sfB;ŗV,-Az8*;;M񏆼 լK?؜CCUD@,՝w ]U9Ty7Y1˄cdɔvC ߪ>-Ǚ p'Ci-u܎O@7Wa%Qj<\4I} 9ad\JpvtR'2vL(_:Wع]|ZW "En Xj4ѼJK4 ?Ȝ_KGV^F}jެ"L.b#n){ާqpYZ`;"K^5;=H9Y^XjANaZӕX]H|ż=Ҋ9/2a\ڇbN<s>Rev^a}FvKWӦA&y3g[|X'tim/e<t=#y2;>sy ZKy!pZ-4 Esmo>oB4OqShG 8NF\ E|NK;wE5ph9h~OU t5i+:o!#K$͞+՗bɺ$ !V~.RHװ7Ӧ 'O=KVhgl"_}*wypBE!!=!Q$]o¾Zcue":eC'#c4'q.G`kFegc v۽(SMz)Zv$qoJ՝r F9hi'.I:2AWiJzfgUn3 whUi)"h(Tŕ$:E#h1T~4zZe5FȿQ_tiyK/ Ƭ&W0# fJ qJϓmJKo7 62uQx{l'Ws>iGq0o6o;jqp'i0O*v\Ӥ5 S#N0XW\/v5,9WذӴ/Y1/~Qh4t`#`9 6d X @pfp7`vS-_!L.(F~-'MkľgAZ7u8ܤ}H*HHrf _wt lpޙzԐR  EW27;,( K?\zyex=f"&VjQ˼(CWA8.vB T^CY@bX>ag&>κ$}^EXX]瓬5i QDKcvtﳞp_Yf*hXLxraAw67c2d)Tx=6PTФkikp,U][}nr|̡^f}qFvU t{_yS—3fn{%4 ytJknܴHD=ږ6y ڠI<G0|~>" Fb~Ģ4yHת1~^Z<\f2–h܄۳| ]ν3"J,"#Mth`za[ LRg+=4^יRm9\Tp:d9 ?Ͼ=K:k1Р%ՆX^ p̨Gq3Oh!&jS6O׺Q*~J?;>R;M:?vmGZXîmU+JF⑳E )obsDQ !$A|`3<^fUU`JL0\7v;3|)@5=x8sàQ3m|g?p?ӡmM FPvДIcI=9#['uS=GmJAъ6]ÙSWnfZe)-hMȨ=7tD€$b? R =Tς'i? Ʋr  ^<>ùL`A9O\z~7Kq0A/.kWSDo*AH4bRPCImZϬ)~Hl~ |DZlaلQ9'/C[$ Y?@}8z+1_@i&<: ɩjJkR];\w$eɆeiπA?T*z _L 0=P܌ۻ)HqwyAXFI4P(%J%=X_!P6Uݺ Ѕ ;NzL[Dp=7 庹5 m!cqg х ="uH ,^;EK'wΈaSwB\],X#=C]s:gifto%Yz5Ē%[/Ҝ`c8A[aBք4WA5Q0G8}HA5M#9p͸ #9!w~=~͚(G+Z-\؜ W(v6i`RH&9=%ёҐo+ @P C&2ɮUVuB:Y7`Vzwx{qf<>*r-Iu<*>ӟ^MWaS vj=& #7DD,E/oO ΁@J򢶶4"or0]Mt#Ѹ،Q$`0VR[+15SKXֆtbU"\C GJnv̅lQtO;%py,"z":pjjzaBIaL!?C(@)$W6dA7Dy=Ua~K|E V59>);Un8cXvƒH'ezpr6UMI4of%M]Wgگy>{hӉzAuȼVmO'B("A^1vQJRG3=ӊ+QD&D3%pKJQ|f{Rqp@]wX2R fTp ,/!żJyfI[)}l'Uh8%y0b1ɩ#;#dt\R+eVyXIS@I *:DRjbg6爕L8e{3^cT|{i'cUS:M}R`iZ O݀7)D.WbA/yu'_:t<Jg!]Xv3[sZg$.cfMgKaڮ5 n_M 9RU84d3"jq)x}K.9LqP~`UPnm}bw{sЉOldK2$K08Kp 5_<U񎯪aяpJ 'A `wIaz1IDAutTefr E5Lemg N2e>^Ê&ͥ%ST >T+mVG^ʢ+L|Gc( >OpnUr_x6qۜlb2ӱql$bOoQtb7dܒtyw#m 3up0`{Zřv\GO e#WJGSPCRllm&Ra}ѽoԦ$ʾšfkv*vҢY۹ +0`;w3!+L4JШHtL2"b6Àn!(LQ 9|]\YOH+*hJEG3ͩxO</G? AX #CFZ9*=3n-qBZ+ y}XS]K4 6Þ)sYYm֎WzDZQTNۚx|y<InB//MONFxUu?02!ذJ{=(hhE ld61.57?Ĭ5);Eυ_:Se<4ʓQaON{Yqw"UgnfbOH9rĔ<)/rLq˂1 (_J潄vAn!,8"RF2/ ױ_$bbC39WCxCZRRZ2h'<-։K<ps\('Oe_bϪ|Szk?`d^zt=|% ||'_,͇rzsU|O(Dׇ|zJ|{OKs: 4\KI=U6Sx{lfc!9%>~ &_h {ĘPKJeY^Z3sL9ttOhTxw~t e~ƣ %@-şhdÝ=q(d=Qڤ/s|:Io;x'7w2¬ŃwOuYo=G5yDI[1eU^zPJXYUóJ`5MX`;tbUx^})|pn) *%1SՍ{ΖY39L@ Sf0@y=n2T0S^$9WJ3$R} I =>gD8$x;SQ4\@*|Ffm Hfq'G>:lÞEg&{Rs+Y!l pWoEۼ/U;2 ْUCU˥ɄL #1kE?wϡ;PY`i jZp3*;(uO|cSލ(6>44gՁd1*Yė{UYYtЬ#;JU2vVl ELDZgYZ7zXZִF! EP]ŗXiɟ>P++ \D;?!W 2Sb-Kaht,cGU$ur16(!;aNߚ!-/lBW<?6-uGTbqy7rX-1 Eԣ΢K3/WwSrc7,8oM*}VPRl-NWI^@4[u3jXW7h:B1D6r+q![fs3u(v0 DV*1'nca攘;Bݠ4e G2#hUz~%hkftTksU1+ 'p~rȿ:zŗ25Ϣ$eeXHjkˣ;Jd@EaٽneǞ#;_,d͊kG\#=4RMlW,buuXvx8 Şl JҳýFۈ+Z΁9OMIU|TX;cSʤ;ۤkO%S?xڦl hxw(xIK[?=uP167ZkC@XHюS9;ojZ~vYI4X$t?>8;C*1m,`Z$cˑx+yL@hI. '31nk!dSxY4tm,TR~Ij ؍eC~}Xa<= ;g,%?x:on 7q I] x8~ (L)/[ye i:>w'9eVI{/Ie/"xF! ըE8[egYZ7zXZִF! OW2]ŗXi%L KHu?;$F/c?\p?PW@|0,x%!#4{!/ϷèIEV6q]AZ;G!6/la?!6\AV}:i;F]er70gH*Pu &9ՉTܪc0z#~WIS\=Og8Ed0lGeN ( Z1g 0= No*q?B" ^">Jsp1l.z+d^%[MDp m3c/{BWYY%c! _ͬW~3AXɆc *K„1Hh# %N~ Gt/iRo:#YSym:W&hkE䌚4!@<=jkTZ Si a9wb>zp:?(>Ԫ o_ vTvFC/~H ʵpuU8}YVG|m3GPM+Fg`$f{h9=8qGVb-9t|c_`x&~J ӷ{`e>C02lxl|5xB`|=rC:(Ne뢩UgvXr9̵ f- XWL OۣܔRU=osb EkluIQcvtvˢ/9E95q"- Rtf- 48.ˁy6${g\mL7 _q{X^ZTzM=fj, }d=uN <^d6V˼#AFꝁPY&J`47NbsAUkp+$5֧ޙFqݑ׻<>&N^t-DؿW:Lvc$D ,EK:.\Atۿ ~2]Ԡ^?&6ٱԾU3;憌*Wzs lLoi1X:CpFvqҤktA};v+TXo 2s=s 4wˆ%p@Bwm~)jiۼ^$3Z쁖5,oГJu)U0>  ͦA8k:c͋Mps l|AݬX8FԛGɕv"D?+2&)+ܔlⳀ=w-nAױ! aҕ? Ɋ ]٭r-om#lntKs幈S- .ZH9 0m6O#moדpLat[dcf~sGG7ŠJl̯buO+f(D".,q!MH-N=e_O\n.oH`fyg`d߯ _k.Nі%m-n󇳔zHX֯e S|0^26_tV9Zj-P%Fz!sѡ )u?N4r _, .,X&$P9(IC%z2$rՓ 6 !˘[.Ei$(^[iwXb)[[EB6;'}nYjtpd]-R,fbWd…ԗR Xu|Fl9 /Iz P}iKtbPw}wfҿXKvalrg4_/xS%X( ,kTv+Kpư }}Ht n7$Pj-EIy{pܜb'Q]W'3*ò{3<HOtz{yʭ|dL2hfd>l]4pla0WIC9Gʟ_U4V ƾRUZsEB՗hrӵiGEM%f j41K[j_LP 7;9MZKW*y>ڵJ@w&g䕫a˕գ/g?1k18S^v[lHvvm >F-7xmRlSjPR^QX&Dʃ3o)?VX('< _̩a ?5%*kPɴ/]s7.0gje)(vA; (Ƴ]bķ ;:YNh/tlKO`ꢫM#>zMdw:} FOG]=B}8JŋI]`_2-)ʕ`5NJ.aRVU ; qT6sa~}WK&xºE?1[@1 .꾫iJ=͈ \>7b8?bS*k}S.cMyLA 7[ fk9$A rn4+gä7`G$'.MN[a kVɊ^(w*%`]KhP598{ x:z y҉*m:%?^%<b|yE^Q%a4d\79:& +{> m*j%,~ـF0a{j-6iQ:4$ RA wkȀC]P»Yp^6xn wu3rꮖBS:-!fyMez@Ot`%~4U7*Tl q? BJG&iۼ'n |C'1 B4&0V,rLaիd2% \׺:68 oHCFG,TR1jXABRDġaeLa3cu*E $y*IS>+]00xzޜ%ª.FH{ѿqDc2 g}-ͦys"HSu*dJ"Dly- X:[lo`E/}ish|p}Xh$Δ\]'IS2]Rx<͙}fCwGNN,9cU?LOaytr}R\D^;޲prs>i鞓 2OFD2f|=qGGb__zrz$^AoRo۰ƥ p(!6`Y @ $%/>n0BNG*,b^b[I8z˝SP 0ǾT@j_'6eNCkSpA=r )ҫ%]rv`Чlzz2m)CtD-]8J8J(M<v$GWmPFl(>\\j,:l+& #1ަNkb N]D'F%O=K!ݷFZdRbS)Z%h]]VkՑZ#]OV?+{|JQX@˔єܟ"nw!Eӱ Im^,1.9dφg?Lp YY:ZWbFL®1ɫ|";a|ar*kmX/fb:nt7? BAS tn3L+s8Lhy " t3,L(ſVb<)#囧$@ D؝EsUG 1S*+MqV+T1psb{@He܌/Y4x|ӇOyŎߜ 4oYf|9e/bLr p^ٷtMp&)Li 9Fkn:RjӢ39@qV?)KGZ\CaC^2R<cA!]-QC=w{MiR鈻3[oaIX?8mHU"5B޵re۬p19|ea9|q;#jgݪ@&k@GqL^ + {5WDdݵ}iu7`Uo: gSYыeA/,GZQ;S+vsFN`?ԷޛJEOTϙvxgvRʹdWV< 7΃[ Tfov}D0d|$f}'bTUSSi(gkZK:4S1zgFꌯS3<ۚ0EIb[^fH.si_ʋ=[- '+I.KU5G ^DM#*@B Wċo{A*[KpQKO9j&ݥޖWmDUq̲`,W͆do{N8 N=2TpQF)Ö_D7Glqw0Qmk-g;Ka:Na:`e\ W ȁCg3?$ 9ɛzluAtۥ!&:ꭹB[߯>L$eAWJG13)=&F!&|z۵^%Ȟ Q?{T*)8OU/<=*d T _k0]vdJUw rѨ,O0Z3&^ KN2o-LDk:kvYݜm}væ93UjIMUڮ܋ ^#@ň:e8YV1B;,u!Yl} {|uCu8? h;X/~*ee̢[AID=iӦ> NF )ڲdy߅G]o j8>I,xMJ?R dip4:j?j0$SG+d1p#|_EOf"~ZLT( /N8c? JƩ,0qz\_ -I;M['q}1,ԐKQ e&·pinv%L 8zOdȉ('l-pfKwI=s۬$%zӦJ.@~6eA~%L˓ (Ĩ\/gݹrS8=Vɗ2 |P`~v<}?yR$NA*b rE<]m %iq"B!!ּ)]/׭ ЕHKCVb\T3y1ʗگlCQQEK3"QٟX4 sDR'(M4N#2,#61SG}*o{/Xy\JΌfmdvy1; Qt0ZB3l($Hdf]j0 N";BQ ߣ }GYW$+f7 kPwBnNYQC%HF-swtˌA-ƁfznӜP]cYHϲQb-H0#ScSҿ*yf&.#5W> avf6Yd^i2,#zZ opCJdnI#2}{dgݣ~BqcÃIV垳::'Rw-4;NT3 3HFɀbGU?-H kFjOH%Qt^5CxeC6ej>Կ&/ tTh0= Ld)dK -qr]B*N17̧/ F m0]$8{'{HgIȼLwJcu"&]/N7ʬX`Wobb5>ʦսBl Yš|h͎A*Q 1}>pqo~ߤqB/[NI4m%&ϳP?yFk5^kBr7`4&jWXcLՕU){![@U";]vSnd9 ~(M(5j;ϩ!{]3+JuhҐjCcëWu }`蹘2: 1"A)DtZ:dw/fkQVѡ–7he|jA0{6#-8u+O%wKIb8p3SJֳ.?X͞;;ʎOoΜ#2Bz#4iGB F3M`q}*?uc#;vݫeb(|8B^uH ݣr.v4AwA3ҳA@v@[\SP3֙; =ʲObvuT!u)ʣ%1Qs %ЫWXSi/\! g]/*?fQ=Iah4 ~`ckാ\B/n=O(Lz{{ sJЩInT:! \,{k#: SBkHRl^yᡖY~vOj cx\.bQA I/Q5ԺU;FhV'88$ DO8OXE\Rq+>z`S M? 'LeSjk{r\vd.6)W]G 7)OOe6s[3 6"&&8-7 q/1t`9ぺpTzC˕0E)NR :?7OCXAM~^mK]U(a'!C0r\$g "dw(cp%85a,E~-n+ȝjܑ`vqRw eK;]S3[ h$ aXjm4~fS>.X26H]ߞK^҉#`GV\W: ",'GH/PKY~ n<)\b?jSY149 F4(I$u4$!z2-- $);\eʡ-;` #;/`d![\APZma8m<6 q# Gg`5"78T~WpC_QO_sYlkg]!W}(<1CAܣBc99/8yA_}^D-ٕKKPM$3ƚax.=JPꃢI݉'` /'8Zr`%ܕ8<3CwҌl7Qq܅=W(rL'<=ؾn kℸ- G?Ԇ᭤~S\CxG,f'N^I[Sl+ ŝ:V*a]]b: u/dG$LVe@,hMsa!¨jz RKja.&VChi:_xEPpYpmq#3* LE-N{gXDNMCWcO2 jiRRY;LGP }bGꍉJr1%iñWt3 ;s-@HkO!~g^J䢪k&ݳI.u*PTvob jb@r|Ap'בuPao'5PIMNwpbW;.'3σS ݭD_ 5͋ρ**q@'Vڀi{y*zMgX>lg^'99,rbuiUGwsrw4< vvt0K*n'-4ƲKtV,# gPF,"sj~z:4@Wd (:E$b`5 [Y۵vo^>Wu:6¯8. zE iBx|ww8EMC* TTY=ޛE4c: XӳFՖOJ\E4_j]C]0KĥMl),fKrxEcki˘Sț8#&Kn?Omv:>Y1 mCdVoWSE0) S-~- CrƩVRpcx0R@(T~^CQqOh`{2|X,: ~?vؼ !,r|dy}@uM.YCW^X%9jsoH/&?X׼uoN|?Ӌsx[Gv [׺mU\zȆL=[壘ƛQm; h%pV_f+R.Sy;C NCʟ[r6h\ZTb%3sq8dGuy 2e JMq'f7Btڵ*EخrS]tvzܷWP iE,=d) 9Z@j$sz4===i^{)#cfI.{[|Umf 85,f"\KESWZV5cB%Ҟƒ%`5bmZ#Ӛύƣ&TxIȤ&ߦ\O)fCPXYɟm[aPUrinpPQ 9d!V*Gg72\`K`{:o}!&}Xm} dvz,TL%˷⸅뢐FyOIAWy΂ Y+JgW|3)0$,3غ%&,r GKf_9Β%56dgX0|e$,՛wToDZ@QSI^Kڌ?dž,3q¾6&7c TOI?ճח3Dɢ%- +Qf V-SJm͋ƴ6@3ڃ!Pi嗋`)0袇q+V[4AKho5ծ^M0O'sA#ԝ*CDt#ȫ`/9BB*S)6e|uuE0_FSW#-Tp%UM1Y3 DAcG"3k$dEy' )_ξŦn/rfI@)0=TTKM8 $m7f_Iֻ\[kDa'VICaMP6,U98u^^DMtfh۫]ji1:Lp#BSťjHZИ 0˕S"Bp %Vw6rbC]"KǗ7@jPVpndf*jwBG99ҞLU1VG2kxId]:$ 8l#xKvg~yVLyWj(.škaEg^#Cme>#b]d-yb:tDK־FxW,PRP+l7nYL:\WDQ3 @Pp\FX!q-,m2 pӮx.<״+0.tT2IR:}nzL$Hӡ#>oh#n="𖬻u>r͞V?5=#S#,Mrװ] nr2"j-ƦGC^樊?CB"{ hF3ofsk3V˿4S@8aH՘~ Zc-S- 撚}#  yeKJo.::+w$hn«+ߪ|rQSnJAF+Icl(_ОRZ&7g2jP0ctos,bbua %B'#+3Hv  0H>cTws#N[G0$V@'M`3iu79I^Ic ȴ@ۑԪ TGAozU{PaΉ懐o&f{Rgi":-E-V/N៯!P3 1\R2tZNo| y2K@nM]1kfP;ƲO˜s=KZSr/0. wrJӁӧ9ϑ#פ3*  jWLn?}eK=ӎH#$s̒v ~?;祒x|@U\߲х:8XF٨e9קG*7’( h=)aW/T`):egT/eqjivL_Y=!D|V(ENֺ*rE6<ƆǓx#'xUN[K󰤭ƒRk :?]cw }TERWO0t; Оe:^}? ;:4;܄xj+t> F}bbˆ[UCLeN.trAyr]|f ѠY9ʦ6[ 9J~t8]<MS,{ R]M$?ky,Kԁ6PJ7vf:iRYF?_GW⁒Qh.۬qޕ,@mL$ANd,05֎VLgպS (8\д'FT?]&Y*hqȫ~ֳ=,Yg.CQ'dMO l}wTz]ژ!|h{/k%~W]>Θd[ODUsAq/3ਖ਼ۨ$F"<\bƪ br\h.յv 2Vs}mqz%ųGX/jw$wrvcplX.FF 9y_,uS~1aX+&Z^(VݛB)(= !\W/R(L--)*8VXCxu3V^LP"> '6?hŁ,rz=(_a]7^BKE'h¡rXhom!M7ho%0lol*uo MatJ/ɟc*Ń`9y9owiB\vlMsw 䎊v42O$FW{t>@UYjE;`9ޙNb<PG ,]ƚܲY_OduL9sx3eήsB Ne?fG+ b\]|IWkkJ) ȈxaE$w^"tZ 'LWA^ ?աoâ}@S{T&wQ%C gTbm}:ʥjիw nCҧe؛n+f^[]9r5nOD`7iU10GoN'Wz\Ua@}W9p'C dUWIY-׏}XBSH Vcq<1\78F):C)}Y8$2O-\იsk͌F{Pp'Mcb5>z~ wЌEzðj,@%Ų ?#FQyF1L,03G[Ǚuw%G$[Zzn@E|1GNYHIE'Z,,A#s]\vttz) yry5 }롟y~_U$Z1j/,`SuOp#YSEꆋ\~w1&GOlI9Ra h)^6!vКJg`?5:bוSKӓOIݔ_y;a%YvT#Vf7pʼh{ ?6ZzT™c'9u: P i<w2Kqy9b/JƇ3Mn:*YZ> _Dp¥Y>XR Z/R=7 oERHn2=jo&GCzo.Xt*5qD2EvK[j%-"/$hA^jVO@h{_t+ssTl:! \IhOy4(̃F2 wVYA4kབྷVhv.IbvRoS9ӎ`?HڳcWVo"ӿ=C;6/٤TZ_tpE67屲egiX,z`CӾ#iv˥Z:͟3Y\"=K2baA^\@s0m!QW2ͳ6g>O"*:oTh$[uUBAQț 5cL.+`a٩U:4Lni+c"DMDkʬn)8eƜ00hAʰ4`c6~#P%VȉŐ~Ԣ\N(Vvɓ Omם&JAEx( ˇ~RJ0(ݗqF@иhwJ1Y+P7q^"cȹUDdАH19E(Z|ʏI53sPP K"vs&ިY9;sS@KcVMu܊J <̯]vYdopʨdzD4x_4i4ea)'~y.3O/TB,)L7E-I %ekoP;ob~ƙr-zK9vnNNm ɌxI K򕅦H3{ȕJ|(4NՉPqBW\[C;wx] .))'5~ܙ?fԓrvq ߞLX $ <Ìhktف,#~4؏W _LJy%K ¹/z~"9gwn;gx^c&]Akg?+Q̍byަs3B&fpS;Ogȳ4>vdEZ.CjkzEV U#a:xPv8vm %~ل *x`W${Kg͑$Yl&.Yzʁ`)TmEJu[1ּwPh7+mAu#BP8fSihPTф9 &DmNFoM^{<XUQ7,PaFF` MR<0[%;RĤC?z ~鋶,KfĬ S'Tڧ5qH,"t|`we} v';_UxZ[6w: $LB'h$enZc9 <*:F (NOBwUOJI@xňv29)S_$4]uo;VO B7OLEmXQBvxa$MD_!vN n8K3!dڶF6,A_AϾ33_ ,fc!|l$ڝ<}l}#W ֈ%gE7V{#[]ox˵a+$kg:#}ÝJMn816]TRwu7a.eS)WSF@dzfO4`$#,ѫr=M}""]B'R8Tɸ^>Ǭ.4!P*Mv5f3z'N!pM ] Z݅8NS0 s# aɡy6nrĮj>B6u´ 1q&#Yv')#qkO tKf(?s-l'X|_4%Pa!Z<0:X)_AMQQ3 c]Y3BoMZp\WۯY7w4+Ӆ+uwDt!ôeBi2Uv<^H߉>{3OV(MAy HF:\b:8eUdXcXvt̗zoULR&'(>u6 , 52dfNUxռ(Q\$S4=T)OV07#y5N"!dƾ3E=ڿFcxٔbV0/t%Z$ܽl=#b(f';a/Qv%)v6<eoRv6]oYEm1'ڲW <0qIKTn~" kAYUo4( h Ǐ4*e'zG"L<"PJ{{Ҷ5 o.}]Uw+Z7U uq\v_mO`tܩ2E:,(6^\O"*5,Ćw~_Rv>޵AWDd$=#C ,u%U eQTD,knqC-CHQS8rkή /gYZ768dc6c6bcc8eb62e5aa9079a9fe989d1bc4f8d5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184f1ad788607cae95d8d63c059268a65af8be40fade