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 V!ldT ]]]HOL-Proofs:threads=6elapsed=326.863cpu=555.044gc=95.048factor=1.707zXZִF! kp]ŗXf1-%˓S, z!ŧo]uA{D"D5^]38n nP/=rl(l|zTvPLCG* KZ&~F-TXV/@)PT)7^+gA_| *Ilx@\a]9ϋudFZ=N3 jSb~{6KK'{tEMj'r\208`˺^[a[u"w( d1bj޻kM|/ZٌT<QమOP8{5VA6X8G} N#@FHsiW-d=l)jQSw!Ω"tR$(9wb6 /tUVE˟XFE:Nt`ܯk╉M6>xWHxu/XXlsCM͔: 7%p < $"Bl$/%'6cANMg|.x6S5OpuBM'|Ȝ5.Ǚh_ΙEIgKH#dZcmUacɉt%q)}9 +ko"%lFMn'/KeL{@갇zesM+em::J:“E(}k*1IHu}7-r:m04R:n6sI$nUpg8eG&ߦrw5%;v2U|knG?h rs)y+AeMN'q6ZC;hT'~;cowVZ(.`T6_eȞj*_O YMTPj鶴+<9BXRzA3Za`\ J哬a"l .VS'Sag@? XZYscwEB0F5*cF[&פCUʟlft`~|MVůx&h_DFHN+(&tY* sFgx5D_X^\p 4xT4)B+TyKV<«LANᗸGTPۿR/xaKDGiX4P`V(_At6UȘMߋF ))f̍@a-7n$jE13ޘP.#+tm@5>8yX3-T yB`V[Pyח*7%Qe[84\?qruA cc 4=̔sMH1L9$|Ɛ.(}vo@02aaKLur1oXė#V8T_0΍ GMG@%Yx,+(ڮxy}) Kg(DK 8^~CDX !k ҵiV$ZGMQe!7l)ʬʛ: < 6uLd mJZ$| ?sdJÕ)e;8h+(Q6̖)nWrO⟼e-fjz@Ͽ画QPXg^)Qb]jy&'/ճ/":"aai:ҡCaZ 1ڼrĭÀO |-ؓv@.T4 #0m4_~׀/8[<0횣l\S]p%sKΤz\FrUM7TvIL7|5+rBͪ@"Nŷ* 2[4#4cnTrbeyWn0xAk_y~X^ègLĕq' L7@GOÈ #Zz&*},d5`G`,g2r)W^w >F86O URʓLai/~lnjRB}aښ~+f79i[\gvu}uCtYfEr˺2o1$P.zgp']F63дǷO|1  ! HOL-Proofs  w9%ITn)h{@|9'PlTң0DL:ɻ>&tur)GQJ8=L?;?ߙgZCAcE˕@![IL2~y,<0aa,;n2ݏ E* ȁZ8ٰ߭"y5$(TNUNtID?ѢKg R`~%D[3о~ ~y9|1M奷h+Ap !1\4mO= a1W>~ KhjeɄ`4.A +|FRc`K݁sml.lf*Aw+(vn1P-Ek2ia5&HEد8b GgtYa$\[W:{ { Q4U! )J*ɐ;%]vޝt =6uyrW~\/aCM5aI Pd #?i?,׈kbO~ǾeY2ԤjųDŽtda`"/`x5gZ>a}Y`rAf0tbpP *kh 4rҕػ|;>zЅXZ|w-e*u7ڽPsf(Wwշ_/H!ŅsDcvd)·?yqQr&>o`G+=x`W'=$XyLl>9UNe_!H%~;Yrָ=pN(/[I#?XQߝD4k6dI0+Y1aC3y%Ë֨juUr~v.&~*o_|5^˰(+?+۾#=3!My/dt)0tpYOOϱݘׯelW)U,×ƹcmxWMXI%ގߘeT-'@sG\xdMDEGqM.\$ErG)ίGJ5ߛ+m: qsy P|$šm-G T *Keq?Mw@!faDia e] @FHӍ/>}y.?J8R.Fc-8;j8>k9?v#lh7}ќ$}Pgl閌zUr pV<:۪, ~FA@ i:\0g5O 6Yo6%yK6xNm'xP9|껽p8SaW:G"_LDZAĈ˽GB=ߎؐ2Ԛ* sn-Է;.?]wm`6f+TxWm,Я1C"E=C"\zq޾_n~2{W̏g?;o$%Laπ B}`sp~ٿXSosXZ[l.Ho򝜷+dl )IaTR׉⍗- ܣ'zNO{Gz5:g;G+ݺh4O}7b'kQ*fgNT*Wߗei|[W$ Q'wrRE@%(sǕ\;~u>%+sU0N~!&+  "`D>z?lҞ sl] }Yؾi>mmr&ki]8СPZf-hGͿK\#GdksD%at"no  g*Rʹyc!Q$`ղYO_/c=D+,-Χr4 &Pw7GlmN] `# EꕉV*FxCC 0㏀&|ed⤸D*ȱ`(sXv_fH4}DBz72_WNԳsc(2FǏaPUk.h@D|c5ww>QQnhō4ʮ?}O1X725 ~&ӊ hnyOu5nûXԐ[RpսOڵ8i~20c@}ydQIni<ԭz\BӼa d.TXdьF;SH991L9$u 1ĶO. WP| HZAMpk`}3]MvQH JWٟELo4DsvI日I$1Rn.cT5$G*PeLGG_P;,N`5e q~toS(xrk56q/wµ8v7Vd7 IQ̈́H)NWX~`oЊf&&c!wMGgn}Abk*" B0;H9L}-\N3{c!2c`|_iD)M`ی"nZfx;!6LB}_F?})[Wj)ncYcWFX\0mn|oŴM_)REQ'ؐa" VknvEA@1]M8:>qJ8.ȷ'Z4j |1KMgYZ7zXZִF! S]ŗXiɟg_$N%Q KβO%_Z ER-U%LD(Z4@/ذ譣VzݫA`ODEݯ %@kC0bGC!*4u`WH~̵2=vޢB~ƨ;?LLlsZ/soEu׈7La77[B?&<چ1󯰷I1˧?q4}O Eb"W$xl2/벅Nn}Ni:g''I_E*K5?^RF-4 Ai,Rѣ>3 p~/dTHWD+AȀĴŰ( ė= ޑY򠀷[mQrYX Xf +_'")>뤋}h5T(7 {`,+oOL.?r0]6*|qMܦ}=mmA~۠Ou#f{aBr! &*c;ןs+8rCLVe b# قv 'gtʥ-`yT%8dCRfwC/S0?9Yi<$팠 :*C']h׼qt,43zJaHz'V{+5*G<UynO22i@sDjAƯ4q2{(U7Al8\u.,~GL|mV2D\,uv/`"Sd "`e=6fN߿Qr!!4IQoS}IX<]1L֐)UJɑ7ɏ>!S0T嬤p0es/1^T/\2\f57  2P!gYZ7zXZִF! BK]ŗXi%J MFV>Dq#9V(=Ķ@95;p/Ծԗ; npzMS"|aӶp&^q#9rn3fhH9"33Y"íښP0>@3QʉVFҾ铜&GXSĂO[v2dkP"ATU?"47Ŧa51:Ծvp}O[ X,*w츁,;ұ~?4#U_s \p\A13pkCZ@xCfpR|^SH508nԉPOCsJSSL&%Γ֋!DAD)ˡ,m~eЙC.89A<'`V_JFfi)(??w_OE ,nMɝh"Pįu[(E+P*/<<)ഹ Lćh|WS؎-"Q% 5eW@12hɣ;!^.x-!WD{6!alA3oFYlpL Dwz}٣LDXqS%&Y 03!r7jK or$Joij$U|*)UPAѿ ,mxF=d՟ S=)9'uA yb-@7Fŝ1^ayU JHRUʱȊ&2p=.L~XP)YP4@찎ʛ=Y~~<Wըw*:b?4y,;OXliI~ $_K){s0p`<_n&iȪCԣ ?XWY퀃QϚoθ1"CvCgU83L[f2C%j,^b́.7ވ,G4 JO)JwEe9?~`Gv#* BV?\c$Ks [cg86dN隁/W2u7æK6:0'S跘[{ѱA=)Kj~q ?\}OʻFEuQ9YFS3+^$ua\/˗Vzo!wIP%+*Phеs'ƨ#dب[f4 6"iәk!W33/hv-MI.!S{&,5H2ӊ.~3 }#A}BФx"*OݦIAn [ d䴧!XOi{7N~L-gM*)EtlKT'?e>5HJ3pm’+E|(x*|íF;C,v2}PVtL+DLdYɲl)̞7SaYHABhZtoa i9DLA FlO鎼A[S8Vg+#ǃܙ ryHl˄3V-gSa#x|K9 J7c)$E݈H6wD5CJTNGbDIYX  c/Q @A*,u=abHK¯[_G6[0#uBR%ڵa @5nt J5Ƨ=`ZSv#LJ$ FmSX͍{&R=( ) 8lG6 6_eP>lDbs (I]&;'ӛA޿p[:! к.P[ekE<=" $CB^RMp?8Ԟ Dkū~XL:=pRl@v?*_)H}eR]ܯ[|+vݤȢzxpK6u2Ar.h#72DnKgi7Lү ZKQ` ω"HxY+1BJ h;:AEﭽ rNL;ԅnث}K L`0-hm]5 &.^iMYe.2ם 0FPV:w ճZ~}-﯎~cJq<>> ]h~8~ `3/8T*ڳ+Įdi:n/(ٟN&TuM+,lMNbnc:"D[B|9%,EV99 Kg5 7a}"dᄽ04c[UP@IfeVץ _3$VABEϮk1gQBuUMz*^Fp&ng_M.S~4maκ}JqEؾcyeS}Cx91fpRRyOy& ĄAR?H\ezi qIIށ)$؅)Mf9`? GͭG\k W*KnVђc3|"K>o;52G}t5t[q/sK=y>O/8G`_&3'd)SܢџVW$,W28dShُ>/7f- bVdcmc ~f ۂ#v"'l#lBw 3/Kr^L2`-+G9 oZ" m~mdBe܊?W@VN_Z.P7/j1&OTʆ=>"$'` 8ϭzPC!C^dTSɴ 4nȸu!pj&~h xetmhD9;8J&`]%\^ 7D:WU3+LK8Tp`Hp)ZW> ~㻭G3l*?NIZ:bM؟+f"VXOsar 6hMmNla5.򛳗R=XoSzMP-C9S7ѵ|ҾY׌Xn(3#2F'74+D;~(.IAk-ז:VH38uoL%S2)#xfR8G/ 3lX]gKUL0qH{.[ p<*Spd\uPHT.Gt'|Y'RS \77t t%{H!ɃDMS׹IME *C/9yuJH$1m/MNZ{l I]5n4;ԫdIPџT!e,lc(KC0E]6Qܲ3G]ۗkCSź9m錉s9K/X9j@ I(fPutm-G{8w1^2='L$*3J|=LC"@OҕN)14t=ox-Q8X50{ܔ$CI6svX}jqsT dzA( vJ(H/Oޛ[^mp +lsQI&AДŜigbŔ]\09$ѵE d `8Oo^k: m] ;, R4GKwsS_YϲȲwO -hNh=<#EȦ:I\ď8 A*1G ȁpwrH*?S+ԊNFbgņ5D^91Y?t$U.R9+"F|@㜈gi2OtL$݋eۚ\Eda~x#bot+8u)\ZKygʽsaeT"vԽ{HsB|YDšO>jllL`ܱn=y&Y摃%k3 /?̚ż fȄcTfE蘡ΚS%*<CTy*N_16Kb[U\1jw7d'bO}Ϗ$1@* (F~_@.ܑ];"ɮ':xt'Y;tί5s2'#L$Y}׵ 6K%垎c& SJE'2>vtD$a 5)tJƩ_4P4&..( f۽˯,ʱ~@ v}\pF]o9 Ѩ+&/eo|1JnwQ&Nj5^z7UTJH{MLc.PAj?KS/ղ T{Zq ylJz1738)4ZRm߲<]iDk&ER>EgaFpUO/ *%i _U^ƍ#A׋Vڅ7P8_W`p-]OJbJI(V=) vꮹ~`m7OR^}m&-yuF:uJ+p;M\Wz5?Ӎ..d!oefzvC;YeLmDP 3MU"$ W3qKԺ:3Fr=F~a͚DP:X4Khb*hħ=Lq=] cK/v?;UJ7?M(?7Mi r.p>=egUՉMV_,t?+ {U~Ply?Kb C'G&= Fkd x v{Ț:PwqtbR,oヶC[NlgZ{/+a'Z)I{}ڰrzukjٔCLD֌wҌ VY=R6컒mНW'JX:@ w֞gOT9 D]/Inv/ @K 3J[¨(cIXSy9L1XwgzOYRWؕ+Jnkc (2z~J"2O*)L ?g$WC;2"~V=[t^UܛV>RDX*':m1QG7,4c X$nVOLjb'Y /c3%3$+d3.Eb5qM9n,E.G. iICh@kdvu_1&>)Dl"E+$85rTӳs9WKyP8ۥqSyşWfM(m !G!s{Zp5c:\խl86aqOwP#(Ǩb75ώߚ BՂDL(XIfLɒI^I\6e?9#8n)zx` B.I;3޼fL0]KjgчxypleLՖn ϼ\!=̓YEOgC/Kc4Ţ\:^'\-SA(0Ԝm l ۬e%ŗȺ-thhB|GJ@):XL(c|0Z)uBrHs*rpH~w^zغ\Py(V G0Z7g5}H*lɥ.AZG'#ԥ$Jйަs" _N#;T]sրSp !;K YMc)`$ (/Ib+W>TLjя@zuX?^aNȿÿ|x}e, -<2͒Ѡ]GǮ~ȋF.6a$V/ٯtmbA+kplFx[4e! H~u˞_똭xڠF3c{#RwAT=KB95SRFQf"b}azvm̎*>Sٿm*Y< KbF ق[uE*QB?lG8f܃M /PL1 mq*K)ahtD+#OiՁWbˬh>0~&٩yT.b xd| u=k[й+h͏9׹OI$3yPG(Jo~y5d-h#1 oZ M]I'zt=7!9 mDžOܼbFb>Ҡ 7sI!_O^*a^Ud;xo`|fڡzIWk \: zkJ$c$ϡI6?%U^2BJ!Ckk\Mffq3ti/ n){d ]Ԧo+\e.A֙ՠի 3 l#Y6W B̵#ɕ7ёq[Y/o{+YE^'H_W4u*1?} Q|O%-bS}m/bOg/-R=AjarDŽD%(97'H~Ա\`JЌ,:'\9JE'jl.VV燵"T~H3CjA߸셍8;0'+Jk;2*\ylvT~iֶ]5 +Yeuu>7C c:+#%On&agmZZy0~MI_||=Xv'J i)'\xI\u_Xk q8!οE:pu6;Vq HHщ;EY+fFF4osFlEAk:bIC:o앶҆Zhf=Q԰e4z f %PXŏl31}Efہ$nM*PwW,[_He;:D5q΍>UWtYnO+$@ڡ~JN3d P@Y+ޣdRnԹ:n->D>+gDZ}_)hG9OZygrXTds4Ӿ^j 6ߏZh場^]4`ZnsI=#f*=8SG7b"OrD'ѹhK0m-w'~[[N%S4ɯ_Pcz׳X;wM0hBf!⻍BymyM0`V s{[pU?wDK ?f-X#0sR6Iq0͚7y}c}7|䈾ȭv3;f9OH5!#5y _8f56EڻtH6 .CƂMZd$^Ui4*t= ewO.J1F6`ElD^2Tj6U֪nr/+67 6V;Jr۹]=߆^dyIk~v3DJU MInP37U>\ ;\lf|CrI{4Xq|>!,4Qwl N p# 1w%Q8=/tz4d E{@1 <߂4ʎ(i M CZ:ќ t 4Y!湁&kfq ?Ya1~4i 1 WZy#?[ RG#Ĺ^m xNv? 6r+8͜ZF|#@q+$3Ƽ'9A/t'#IAed+EθO,''VWq{/=V/Qkm;,:V#E}T=^ $7r~[;)AߡgzD;"cL2!I4\"-,.vW`j\1r)Ӝ`!J hUL@3d[KF Le G8(4]Ig+(Ғ]fť".|9e8=-ƺٖ{ݏ{q}ҶM(釦.TDU [:잖׎WJHɭ,wAL&?Z&'-TJG*o~2sl1V3IW8Ȣv5ʥY߈n@voa Ր~ OϛY;>btQ)%nعJL䁈t2=/pd kUAOr%IGuIzUNF0bGv5AR+=U2q]ek sbJ'Q$Wel:⒤?a3F @AWڏl1hcve0]-%3dw\,X|J$z@){kK_\ < n~#k83g2'# ['ğ(E'l f!y?P4¾pNXC/)}c9kωWQKZI}&)<#A` { ͰT@` ^h]k(zUmXĹφ)LJ 5Ndy0ltC)pfi&,c/R;_߇}Y;m2f'v%ߗ+w\Yh(̞hmljk#KOyvW%9[t>53zՠda'֥6[Znp&¹Jp:ρ^G '{y.}5wۍre+ʛHј@n!ѕh8&3y5tvיʳخB{wZ]V K 1&T U EH'6hM/7}mLZg H}3Y }e~clp26"cf7Zv~1I3DC]jK pUH\Razv |a:6ISRz4pB>Ȏk'orA&aƔ6d,76_ۘڔsCNRnDl'3Ljq-_PR DHۀpfHi^R hzX.kp٦g1%Q HX>-=cMNI=e=Ǵ66#q.63Vǚ+2/ZL=_tB4Xwu˜p\S ݹxq񈢿b5vQ50~6 JEۦiy;ݛ$*/T(5k#:PMFX/ ]e :μB|,,*n@]`boF$9" SaQ<TB1ܘm<&ѣQc 6 5~zUrNbmNֆ 1nPa OFpgHL.0ߕO܄/|T3dY2 8_}Q߿ M{A dp8pD1d=U2'YݦipMv+qI2TN&XwndOLҝ{`E{+nYha~2pǵD鬈u] p]a lmc$/" oa Dܴe#4_C%`T{|Ѝd$37U tr< U'4q*!_6!5,ށ#*uU8ؿ% a)ֿP- ~kɑ">\M3zM(2hUC:SJWg8N߇u3p&x&`~oAbiKs`}+80u%P`ϝ}FI0GMOR_GŚLfCpXCƲ /46$2Q٢4j" p̉Ҕ6J+ΆZAfʜ&nF6Een qq1e6/EhksWAf<]W3mNbqC|=ң2Z @׬Ԏ&ծF\AqR?޻GjQ8(hb23xX=6h=.vÓ;]u.?Ip*S;ZOZ* zE򖎞@@ s/`ࠁ/~Wy񾣵]uoC~k!o]7KkI\ (|0S8'E|67x/-\NM"vC53fHTr,ҒP/Z K^dBe /+R[^X4Z}H%':1K7A@uҦԵ!<8B#L3Whqt| _n'Evew \ H&?1653Hު5Y#!]{fze!Cb%pC&kߐ| *LpfEYz\J/}r!bG?ӹ:k 1B,9,';GOQsAv92"d \Ş7v?DF(GC(,uǝ ygeVWf!I"UZl1.A>qpkDE}γ W2ZRvA# y?lJԏ=8.0rϞ,SV,8dqIXz[m:.܉@+X!+7ekM1˄ef4S 3p˵w,R%;chHw;_Av56(ZKoLcE;YsYxܫ#"v+<+>mr)8;h 5.کGPe܉AG XQշ;6B9&㉡> kcfe\ d=64GIluU Kb>5'}yu_JsVP̼U@LP%\|Cď}A5MUEHյj_@<2aψd \`oxљ 3p;w5= V^Ԭ[z}K6XݸHR 6\MT-Z88 =.K~DiG+qYvaS(ʶ,4QT;C] TN)wh |~XķpW'"eKh OnӋ^b'keQU/2 w~|Qn]h#]e=eFtMȚ'K$Ef-jQyƊrjN ESp~Hp4b /=S|) 197Q>,wQ囦pWX@,Dm6w޻PiX )WKNɞE ]xx@]I9oM!{57/q?PA3U7j5(IA"Gv3Z1GRK 5 $Qx͍Gs×EJ)՗g-d# uMדr3)L{1]6pJİ]*ٓS]\Vi᠐jd>o2M?OH\=|;9,yx֙>/Vu>Lǟ}!,-W4Q.22b "^YV'ZY='$QyΜpz]z!5ݧ74~589h8B\\ꖲM(2ë+KVc0" N\p6 mK_>4te.X~#- Ϲrz)Ϙ- )W 3˲~G0X&lX$qq)O!J n>y6Cu KMD"_C4 dno͍!Z~- :ь3C՘ʑ.,EeT܍v]!@㞉Kq)gk r3"%6.%c &и91ݍ#L:i^="v*ŗ;#dVr3ICNv w/֪JF*8K/HJyDbe,8˯͐wKܴ/_~@SCvpL$eԩ:wtQjңʙghIZQy9@3{2u#pNHh"m|(K2744q5M|N7h&r$J (=!we,%2$9{)(b!:'衽PC1bddϐ XܗJIR*.^4~fYYg@z ,.t %}Nؕb5UB,$2&ʱaV[r=dW9m>U. &<@+Db#qͽ?SĕUND]ʨiX BH1CBA7U`nn@kEAVs++~mZQN z cͫ >y!Wp9]5QϪ=Cnu# f癟u%x|*3[i$:Mョ\2\3a{YYyiqfS]{3e*TiT*!a?Hܢ! HPO+BH=V*ĿQ@##jdnH cyZ|IB!4Z֦E' vƎ]8 *khuiKsc/Ң,um&] Z5WQSmWeL=ܿb yrHqI43#Ʋ(^ Hm˙e#tVҰ%mfn-vdqVZ )B%cok$iLX=%ͼ#,-m aΒ{Z\<'@>ų؈<3׉! .pk`A)vUg{Ҝ]&^-ġVDġ6UuԂ\e$v-`/ @s +RyI?-K-` %ph ܜUS#bXkT!dss#:IaH"M$?o,7#)&ggꯑ(P1ܚWpfTPuR+@ʄL-]|jdkr %z.$RG쎧dYqkknd. 䜁NõN)@@xپz! :y? 3,h1'ϲ1p?6۟8*eWS:.qT5ĊaTq [Bwqn3 q=r <,K"SI"#7ۀ\5E%|Rw kr: [^lr%Fw<95FֻQqӌM"ɇwZykաdܱq̙hדu 55^hT.Xp ߁U0nRəf/r%]˹B!7_V\)D*i^0FyJ.Rfpd2.٦_C{`=գW٢Ǟ^TFﻵL&Ø`$IU ԏN&!>Mª]̗J*?bUf *dS/JhSؼ&t׌2^9${8#w>еC-=|YT=h#cqC5 jXFiqX5fJcujxj̃*Zx)$`z[#r!ʟ'O hH.sn̒]$*/Ȱȟ"IM>6X臃iR PH: MSB't--P.ѵ7}:z2հT [>O,/^ȕ68`ZA {.rXCsҺTG*"ZaCuVޥM}3#Qٟ"ٔT-] >GNǓzek P+q/h&b*b TҟScfJӰaY$u&ii4*cP*kk[, 53r_)g^)q9 1M`ZBsи{?DQ y|X9~lMo.mu0IG>hFj76'ZňXs98 /NϦ -{J≁zB?ӬKSw'?˩V Pr?hy*U+&yިunH*օ6;j#Ze7+N"n1If)uXk׏4\Ag`d_^R<}qg ?nAp;N7:;,}Zou%ާcʠeH6J h~n?@DcGr& !W\˥ܾ}3W(Kbެn?6{u@3+6<;n8^.:+њP=|gdf5 32z ˼=\ [MM;{T%/[ m{I؜vtu` Bun3Hdyhhxx GV-a'ĕN&MiezֺP@/0%?줈3ПUќa;Xnn0B9 )[ޫoua"K,?qSO^`6Tn6NUXrWsTf]%N:,5fUѢ6NB#3;>m%Q>mcIf2p =-x퓁,]\тzv܀PCH|25 deB65:{SDX-=`{rjLQB@{eKBCO`M GeYiSTկK4lq) UnW| XKud#%ǯ(KgFRMS;Ɠ投+>-D>'@H2 c1WolhaĒƒip,0.~qG$?NV?BK˟ HM9Gұv6 Լ&hQL,æMĈEM"Q$rCьYOF;䘔%"35(b5Nk1uu+)^: umv'[bn"g -Ư|:О?˞ GT|fkȸpeZ1ZE6 X?hE L]nNU7'4j\4ׁDydL6T3E z:8b9{r݇I? 0$8լl*b{4H{;.x3R:A:͊ԣ;oٓiw3szV  &;3zE#!R)I5vuCӘ2pGv?ڹQ2ƹB01 9q*ٔUhprBNe_CDav3Vqb'5;SP8<2d RmXW˗I#Vh& aS}5TWxRMQ*8?rXi޷r@=4h+vsfؑB?HQT&fLGvٱ'OKśK!vYa&G6xo'6~ܡAr[G0Z+1O[E7F,,g+_wA^! =4Q{ܧI;,ZJuB/E/%1Ŝ Aa^u11,8̱ϙ#72z~89b{N17 V\WFeDK M. riNڒ NW +?R kşR}iqs UY$M3 î/JgYZac99de6c34c39e7808157e06ac965ffa4a51552ac2de97967f5bbe0778dca40cd734a9a6aa349fd1d71ba817baf9f44a25535541c2b90ea53c49812d