SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 44$!lT| ]]]HOL-Proofs:threads=6elapsed=645.336cpu=1551.660gc=234.644factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb$_Cs4UPXm[Yv |Rߏ[ғ;NZokߠchVOK͚R}|UfSFwZr=_V :hsUz;_ 8uI~lz4r*;]IMyp+~2#\z+?kJIb0pt|^(,}HECq7>?kB^^cԩch,/kl3'2G^55W]b{?¦8+lI<\]&bbV4.p2P?ٝR |qrJT41r/ĴVt廇3 Sٕ=d *5uY[I0tRC ]F×gԍK×U](Ku{ܹLx$NNNQá2+踠sɽLy/|oS~.R Ee֊b]C#ۋIT1Q˵Cb.P)nT h~5%d=CI,]\h8; |)9INS& Y;EU\aiv G=׏]B_gFi -0b;i2k{gA Hn2Zh,fQc1$϶!u5S0&83MVϗӶ}.љ,uWg%?(χR-ڨ_V\aF!$Ƒ@g2qpWY,=.r43|n1PP[a }y~E߻y}\}^F5c! LܿXt",J .}tx01$e2e jOgJ*Uq'RF,Ӹ!Kūh]!ʇ,/p~*qG?   ! HOL-Proofs   6IO}.xx@q/ ڇܔ~]p8>THAl$q`xr (FT$H$9< 0$$d@,3q*"5& uqe% 2 .;j]0N{PSO/qwʎWȜmцnTG_. IhvGaQ-&? 'TR0P(4a}m,YZ-8GLu -YCq͉ xoNx lZ4ũK`ھQ*-9 aVOnl=L#%A=K@`ಘIՐ`gÊl D"t\)̎~Xg_k+Vr+Ff% ZZN\kaz=}XCY0ȇj?>q[.6o i=G ŷ\sK{,Έ r6p_`u1IfU+x[5\w|x rDB$WyrچT ʅ$LȣY@vZRHM#g+e$B6V蟯<ԕWAmU*^lZ!uQ䚿u2N,[Rk˜_3lN_1Z쩻KRZ2oM!ZtN@;Armm^ i*=Q4Κ$x [컥'tq0|Km)Ei~9mJ V `#~d+dt`%%1#Tzbk /cVKw,'(WvKƾtxi{k8C@ fl "E1\Y$9_[e8|?;LkOA{K`/'/݅f׏B9k`DM7g ;֭A9 (|kl,j::@NC%?[|cxIcDIm>UG;Z_O#"9*PJwZ+EYxni>MnQ,O4B\1așjSMpZ5)!dm5DA`itvJY1]L(P|#uU0S:7EKv Ww .Y=&otM*!3>!~iP`;ԏ+={Q8WckXʈàhhFFI?d1,N"pA^=2ʽQ)m· iSrbe8z,8;88}  0w!a Rx~1Q4#B{렔Nw0H&]5JE͠CRun f k1U:xeYQ?#X~i4V e qkGb@R5t/l1L l9 ֈbϾ]r (ڃBǵlk⛖9~]|2Gp5pҋ+!; 0̤ĉȐf}HOPXv'Cxs7 (Z>aWCahѝ@au-ZjszB8@(`#@LM% ˶mU j0Ȋwc2znqܕN0g1kue2v¹^)_Zނ$f9H*}߰ңp=\XԷ,*Yh'ZZ> g DZ hu+IW 1/f}.O3S禦Iv.5p/7 amu_NZ-S"!*~I jnCS} ? S})bFӂmn$3֐×џdwW.@ш7EHdYNw ;fWQ=:0]%TuTAdܱ8Ɏo m'>f᝺}Qpq=j+dY!5s g렘jɴksջz*+J.Qq6 Pp$~qEO:ar=7~zOGE)b^4YՌq"Eב݅kKSNڶ-Ǖ?ZB #F|%C2 %\H`AGeŐw&WzYa Ѣ}(.Y3~r5 Jlٱ> vw q 1AnP;ņ|ojP_{ڇ]F68e)-m3W#p3߇jƩt\t]h|`g5mtVܿ„M֖L͟V hQn\/ U6 罪|b7\CfP;TCbe oYjN\,ə&IP%#uL6$ĮOon6C ^z Mʨ/8W8|)_B8_r,)D+zy his}/gazaOL7~d6f̡oԾ~~oDBxHɶ6tv32@)@vNg@^fV?ű+OfqTݾАF)ҝV8>ˌ#Ou43D.ѯi0XTS[]}1N;d#"Eca@ =iDNsIM.miu:rN?"|=+Uw WrEz|3FKy.52^G0JouZau^jdF:"IW*mE>bQwG"G@` @%! S\PY`q3B7~8O`3B2*J%Y߸)ϰ75uf;-VGb|B{yD~bHid_WC)"; ž[y+5lC#@BrHёע'2(n23iw=!\XeCKX`FK lNTIJ8$|AxBX,\4#XI@ZV=9,RjP12y"2\t}y鹑(aırn-ss5Ȥ_G-p}IO` 韗|%}K~ $ ae]'xKiՐ a6JPgYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!*XKݭYm,Ө-I\l^QSZ74: nsdޏ+/D8twe=:z{Kcf>3vz.QɚLg$ZG,}TmߡG=,VEHCݾrɄ'Z '%+  _Euv5MҮ{[.UP`Tvנ@%!f@㨯g>ϵJRGVJ ,Pp 3 ,z[7\4}TiT{i^)ҫ 21Z 2ȬϧNND{|\,u}DX)dK4熘meVо_t F>ÞVl"nhXPm˯?M%힛>qix/L@o]p3iC!il iq0HN(Yv6/JYY!0Tbkv Ho}#Nlanʷs{ ҖsM'. [A5^TB91J/ܵqR{j9kv瓕X`GH)q@L^a"ao1)<ʜ*5^_Yn.w&NOZ$VqvW,|^3CCWa6^I3 $la:c w)CPusW4Vg w Qbۡʏb!@9ؿ߱TNNt<֡@w`bKe"Xn);=9jI7 ySCAcXqCh.|Q(gp j8 D>##98pT蟝fUgJ[Ө},jH$PY8lL9z'zf7NqjuHz7ˋcHH.m^:/f#G*.S")4'Prt/E4g~1`(m_qkK!_s ș6o9O!0}`p1Pڳ#{+̧E)/=I˵}a?=)L)'<7>=ɹwf-u5QxQ~=[+,X9 /kLqɬW , ڲNV:L҂ȔID k-"bWXr GKNFXәN$mr_3 ^Ҏ,'OO6}"/D yVco*.`!V_A*y8)URԵx~!adPУ|i%\P&dF=PZ_UsWq8xB%#O(e:z@`$22UMIBT؝p['[$ }yE2xٯc@iniE)vSaq64 l%5Ɲ3-٣G+ ApKly׮b-,q֑5o -'F =8f\cDKRKut;H9(;/H4 {uVG9jM>2!ea=}tm|A+^INK.JR@8*6&Lu&t D8uM2gYZ7zXZִF! zi8]ŗXi%@j %ִ6gx/_KMХtZ 4g{7yS2QDrmLq>MRfީiBk- FD3SO?B2ͨbuGԄ ^vQ9Kd3b'mYՒw֣1 ?znDN1L}̯HlyT{ney *: U"ER4 D1`d X]3%tƅVT{ոii ( nq;| uKh@z3i |4126o?h)ޭMΛtB4^Uޤ.gWҵW5[ewrr/<:j_ lw0U{*ڛY`kݤSxqo0*-R^2;N6;C20zt(ڰzش^/fKY{d~ q-3+!nu}0̈9@ồ,k%Ї8A<K'Uy@.9з z[)P2=ӧxVGt5R˓h; $SֹSr؝6c|_ Ke8uI-݂ߏJv.rT %6]%&i&Gτbt{C0VVH^S{brݪUHH#hxRB'ǯU} -c $>FY6n6L ;x};b$ Qs3~ }\Yt%juqKkP3u<u}묘J4u݁,Cv jBfU;>?J矿^Q |Iqut!Ѯ Kr"93 l>C=̙ 9_#h[a.vuriDRrjebʏwͪ3+|ax"d簏Bg' OubCzYn‚0%b'BuC i=dMqFӃE_:3_͐;ʈW岞l%I>+O凅[BʹbSXv0ցvE.-@N/4 9ہ֔dX{} YyJJ}ywnxKMItpR&dΣ5OlMj0`;a}Ht듁/.r~}Pѵʇ=7x8O'`%\=x݋н%Ealx=OI8:2̞z^bAbbZ@Lb*B,G4.f0>N(8gm^/e#1g='Q:_8 +E>M[^[n2-BHGcpe0UoXEl*V'w+d0Kf`mء 89@ &1SkU1إJ7}2tRD6DwDW@&51Nq_|e0R#24w|B #vɎ.%=D.!j :y1~i_цR9c|mFHA%Yc]Lv*zu,pltUh$TC~{D+`܄'`-ùDqHLկ*@a NL'^u.*Ċx wg dkK%4hbxChGFv[@xP ˄8o4l.O>/)f/R$J )kY{iGcK?n#J>/Ƴ0%fa0~^\zt>P-= KY!ST*Nm 4M-^ATR%cK9T QÓSMvTn$f N˖5ߧЌ^ T׀q2MQlLC\xMUQmUu>¹)mzfHi_h,<e`mٲdX"Wm'gml)̔},aZ˽-sf'7=n_ɕX&m=}& z"6 m!8gժzf^ybwcRQUhyB袨_3% MhoT UW{#GbhbiqV-4p) 'zL?ز v֓O[rڹ[{_',틞<\:`oS$PҺCnAxý} !&tO\qN;o0 얅6`[c+4 |$BͳU(~o(TCБ(.He0nfd78E< Y<_lOOeH2 ~&y[ :'1%jc|SڲNRY[gG>!Q`+* Mq])ָo-C)_Pv$(T·rs馉Nϙy@ eH6^yYo<[djC7J9sSxGЙQŸ|'=oĭ{$604U+ )E# G"rč(F `)Håݬ͗+,nau'D[َ.6#j3M%]Lmk\DFO-*d(زԹ2q6z 8уwbҎNo񈒃8lfw'VwUΌ[B:* ѕMts-pWm6=_dQSRS6o1SmL{?׃\;yOrBq s=$ ۧNjqtQ.@*f [糪zK^ ?yj{.#X 5ςN_Ѻޜ( ȅ +%0] 3%#E ryo{/5eL5וfOo7e =F^p{\&TG>P9v{N-l7$Qf6fSR5V_:JnA~t\V5۪sil.4JdI|YMHT'H &~F-28Yyzδ|oe^[&bsӽ>>ܰY5{BUϦf{^֩UfQ dofX6<&6ё9]X$0zLaCńW]}AGB0N>g J8Q>weL\9y5s)}]$mQbN?&xfټ ,Z ˸H蠊3VJ~Xa-?\0V8um?AkZn66G %g@$n /CTp(hjBxg$hQIz$[gS)̃D5'I=.aj` ͜'k6 y5@@j.~䜇lkTD"'Үy*{c =N(GKN+;dWjB D,t(m]O&.ƂZkWSX8JvU !Y p4H ;qК?B66VJuE'.h}d!t]{>'4u/¨aL3^Z$u!oC#:Ҍ`lF**1 0gqj ,ן(>WO= `bz ~~c-m-_2IO?lB(֗n=>vَ]APJ)= 0%B NU畃;J@B*)O#;xqF2CW!賡7>z׺nbbŴnZPS!5(Mî-yhWvyׄ2vQ3:s;3LpL^śC~Wテ;b|ohsSwcBHз= N- WИhJ-] _^u|UD#aL4fI:Y%a+ܦJi7=VVҡՏȜQ]`c8Ve=I'lo#gU5H1i9`#K90=4h ?jQpX\uo5tC*s=wFѡ +% _V"GctWJ0+jd2Au.$|5-- BOtS>ݾpGp$9s}(#t2le fR/&,T4Knr6 7ZϦĔ/n?7Cix*Ag~͕@Ku18BtD"I0=B͍9L"I kk1ZKUd= `+i֊j{.DeNׇ:CP[SY@ޣrqp_npLaSNFZnȃvfp=P3K``E9 +ɚ'O&0]d39]ݯjŋxUc tĤ{+qˠ^m@S])fv%Β~6Y ٗVr/wqh3J/k'ts7/t7wc1HjjKq8js(f+A#>c/Hc0=CXd/?7Z6qJAGAV3^ i66nJM6xP~?R\~CoT)ww49->Zq%0炴2/GP$ Uzx lGX i|a&ҵ 04Ol^JI#oA[zSSۺ}oudTڼʓؤ&l'[\/x4Y:8]S.g1)"Ȓ/7Kn>piwȢ"W>󅱒 yX,2b .7&v|ZyY8䭰cc闶߂1'r~o,X5YK>tC jhmWq?u( w | X!8tx~Εt>7!?{a{{kPi-IN,Yq7q89Lb lrF' +88IbCE94a:lc%!xbv1T2.ď*z1sƮ#0͉v'4j֕'%WTx"a:0 JK6Z4?Zfj\T8rppwHˆ]stbgUBV}")[sG X| E ,\WYn=|+ŕW@!Zg,$*&YVf>5bNhjh;SAg&ZЙi^ rg?3 _^oTVtXia-!\>\~(j3s,? r,,x#VxfP,ѻ vP̓#-;'Oޯpw=Bb $~3V >-YUr.8!Zɸ^`#ӜseE,럘nFUo݊ X_?fblNNF[Pl3Xo}&åsRS7c|ˆ_|ܓ/hO m5)J1m?Bϋ&+59l/xK؁C4}:k̐ͩht3nG1Y[ P*vb-ڪ0ڷsTӉsKsYQX0kXE29{,U3H,Gi=#җ0\.r{H:C)꣧b&uh31/4\; e+NDc~G%^tDOÙD>1q+f[fQcr}.;sHVXu9}?Mڮ?6Im;'AfE O&SMa1VQIrF^C`TmB@ e}ŃNxԀ6mµC =L|,I;f{JI9\X\{N]9;P[aj57Wak&q=Nr!:¾ SꁩTx񮆵h;v.JHS}Ek}LYRed/}S~.Z6n$/C2j Hev_!k˺lCJ%E8G6*B}wU(㩐'x7asԂp”"*|7 Ycz,3\LH~tp6jS;L> uA!/H쪕X~N],A'86}΀ܲItduxғB IOC2u,zcT!)YDՊT%4u9=D!!ٮ"RB6s@\w.8V\D3rF5; Ҋ׻12#ˤn6FwS=Z8vY J7udҟɹ)MK#?e[G5GUN"j[8DKU'BvkyICU b6Af!q @ e{%8/wM?xY(ƨ $Ihlәz5ıc K(1f,ds#*F9rCĎ6dhsLäfZ6:xq\+2iQQQ9§qqCz~AI$t*?w9%X]0vP(:6YA.>k&*2& D6Ou@\[UG TF2m!< 6V錨,ivl~emżɊK OHK (DASjBOyW؁k^=jr/YOp-l;Zi~iyueG:ͯ"$jM_{l5SPbYh)W^7Naɰ%9*@IE+[%(V_{=^+UIPdGl|D Dmdp\ K=?vb\RJ~ [xxG&3ewbMLIOi$.xҕCko$?H(1@_h~:O[2rUx((].<:oڹ4Aqs)y3SvD:|!">#"5@w֡Ny9vUX> C*,%Ao@i^+/fG;ͯ打&[$Jذrنl j2+bkKz, G$fV}YvԮo `mWqxH{-]B0Ć3/˛J*EVyOZ* UaY#5V7ڍV-;hc3G~tٺOU.%+1#|I ? R">!E[bn=_GnDV @^ )Qj!qO!N[ڕDz9; %1"f=D^w`cU`;nY^ Qk/M ]NsK48,Aed6ޒا?6yjΛO)%D"c|oLwLS3`؄by|h{{:طVaE@:rߣCۨOF!nR1\%%zfK'$NuېI)$VY)A D!Ean|vD_>*= <1s 6rvovURGl]*QZcnhC=x;;]e } )@C[RomTظ_Bieksߡ =>o?NrZ}n¦JuHKQ[bfM(zy=zQ? 7? !P5$hR&( ߲y~Ge"0CY>YtGsgsrUaNǔF[:.tFrF<+n">&,!@O<0tW"kS; xd_B$b0^Џhò->0|Y:хt _@Tvu|׹ú2)]OHcFڐxpa D[x#vj+HxLV fhl`x ,vp/80/a=&IW;UVMǃQWdݓg;XN'+Oj`;'ku@(1ئ;\{PoQn^(E{,{cֶZj[. 0mf<ߢ @5#21 ͊eYFK0 0i`0۹8la#uk FX _1qMO%ޔIll# %1) 3qT_Vͦ;؅ a=ߞqzhژp*֚)8H+ L;!7c*2M@w M vQo?Vy'X2MQt2 }H( j5 籫pƭTvKrnf:w裏}(v}gZhM|\Z&GQm.ݪL)Kwm\ȝgԶ[)3=f^GR0iITz{4\7Gy'dm O R(B4da0]ka9h'/|A~}>hqSOq ~q6r5_WIx({2XY,/SeH턪I.<ٵ r@jBԬʹc{Qo.%LroSk1+ )qWxᅬjT6qJ1s&yJg156UWec3MqG@+U460%˯il!ڢp|^ʡ62qo$hMsnyˏ;PN~v䆬zfFڗ4pf4M]DNdarebz KYu Lw R+Nq^]"D?߾ք4HXY3zM66& p7f<$mq,7=X΄E .c~{zj(ti'0^\5!VIfpyc XGKi}.#ҖpEQ"dkH$P ԈQA^adnQzp" ̦B(54*Ol9 1?Gkz%w"%)rlZ0$-t]R=:Ёph];ٙn}/@$!ngi.v@|c)'>Gc hbsk3e+0Ě\i'NSɦ$s]8 ~ڭ÷ MdHo77+߃؝]G`TONqn4F+ҮGZUF[=NTb ?)#߲Wz*S[GRgS(pN~GrwN_2IbH^؝1a\Lq7'dǨe#Y=T{ڵZ6%/UzQJɁ)ъi6"5eUv1䊾Bn~NW;}7Q"/jRr"P; t?w*BÀK4I$.nŒ("eqbv+7bV\%u&2?so5oZ 4'|9IđaTfޱ6SĔڜqdAկF0}OX1YcW[̡'㟜i^kl1x.Bdƿtۂ!{tBͼpHS)Q>SVq˗ƸQoPlj90`W4"UT#|eљkFKd:TB Y"TL ɠΈS1dGnˑM1K>HPkBX~BE2c̞՟9sZx{|pl6)lל&cDx ǁ붂obT E_LȁihI9//JB 9 y{B`F!żjg,QG|uWwÔפs(}OyP_ưu䢎2C# ]'i(u"Y&wXBVn p#6#'rQfه#[S!qC;J>a9l~ۛ:B* &䎾m~cC vcyIlSi[s>?Af *:m-`tU=|ҭf ް4chTњULҦӺ!˚rjYEw}D-le{4YpVew*rm G.)<RxrWok ֚D|e[Tֱ8A5$x}/޻D6/OϑoDJޮ@w.O#)h56׿]!AP2%g{ě1ffi8MvRY6Bw܌TBB,i2Ñ!7ڪ\dH$} 5gNs]N ~";KW/qJiUdn(?{>K1w,ƔA rwbl%2L<i,Ss0M|G77@y9EN}k"q&itmk@]9R`I} CJJs_**i F3 "M Um׎5o`2-H\ pJO!Xљ>'(|BMwbd͘ ~L,D֥d7rL`MfNѰy܆dBNu.K.i&:VJ`ltXORMK(jaXg~~yJ~!agog(<8t槲ި\< |&nZ9Q.1=KKW;n^A1Oic ;:p(/)Az'wVw Yg:bboX&q-z4bG X)2)q 2ANUZ jw\1Vx*C޹kyf<=1b_ }ǯ%'6 uٸ.GD͚t9?ϼ)F2k]Q4,Km :A*6"w)`.rqA S\\|m^c.͈6Öo%H&N&Vp ryН9auK"62ѝ̵I fVZ0FvYAU[_388rTu!Qt%%$)KQnZbw'艹~`w @]Gң+V Qu739l5I`'%W=f`߇3,Kr&o8pG QLw.LVC)h+{4[(d#r&R>%俘|{fZu&D!PhoeYSX}zM>v)vBG/$ioE2Ϧ2c.▟ ?Ӭ{"'H' xcF4~T{O$Z~ݭtʜp'TXĩIdp>Kg>Z݊D먻h8z"23-#OFVHI>5(㑁e:F?=cn)?O|hŸ \yŮ|^/P"שlz84jf%C,(NX_pD| j6XspE6 i3ː³`h <4L6'2I}λ+Χə*{ Y-fÏ$['Vu'(&}44MiU4M3o˕QV9`bPڙ싔LjQ'G4KC߱&嫩R+;T/~:(ۍBIURX=O [!$}(Ɠ۟{Ks]WVKRe%AǶ+"'<ET?pRޙ .N~_/Aא}Q`w?nLy[>㼼PĜ<#w6.P bG:2yoLu$/'JP|ײsKW YK.'-k}272SU!:jc3aOU l&h~nEZ`fzb@=v ctZihhEBeYMD qt(:U;sHrW9 JҕPsq5ię ~Ğ,%>2dQ&X/)M|3H •>3 QgO,'.!Rm\ӂwEs (|GL1<䃏 N*.vp36?-E 2!TCR<ӨZ cP; Ѧ/?#&Ūziy:F)]W8^ZRR}_uuCdA$:p}cwbR WVDhWU1ഷSO/R2Ν|igdB'/A];9v^M"%n_4d(Ÿ' !ǖ/z}D\USe.nz yy&_/9fn2qplmh߽Z@[Qrcd0o4'%Y~@ %n@XS s JuEiy9O/N}/ڪ;Y4۵Q} "BLFzfݬ)qSY2NDv=צLmD/+yie4n ! [M 5Vº{,Uר^M NgchR 9a;8?   i|zIEׄJ y2ynP]m3k :@83- @`VGVY38ȽƽBrr'.Ґs [\kKF1W3h$ ڮ}FZ&׋VΡ;xGR(a:.%/HSDCL*~$h?Ep$$jYh }Vn+O^Ћw+Rˮ]w &Z9JE2^(=bE0x>_[|$Y'$@a@6yoUHs y'5ɟ @afCK6lbLlKKg'2l7^gYC䓅 k2ؼ.kc]RYw4 0Yƥ ?HBmͼj3 fBs^'Ex"r1mmpidpt*׫:vV ]Q )vů.zgҾT[C Z4Xrd) B_c~]NX9t~eqQ %B؀}h Cлj59\ Rŏ1;!DELW='s7Z}ٶGLJސ\VU.w~m S#ȚvAWŨ,ےEh\Fzx;S,پic3s;Y:}8)/՜'~/{JjR珌c)Gw~uc+`*'X? ozIyS/ф<хGluhܲIbu }Rc&qoXT9am̴ov`N i!:}8uB! nײCc ޗOPvX1v$g3v'>S"V6/w#so.>:1݄M:{N&bY 퉦fV-Et!=ÆUqYy,s5#,Gae֧n%O8Jǥ\`FC5{]'IM/kK-rKHiՇYLȌ2wr(|~R֕WB%؇FkH$uw 12rkS_b_D5%Y0)1ȀJXKϷɵ X\#iӜr9x=*uӰ9)A†R>J|Y3T{$x٢t!9<+6c!_Vӽ }S^zGhSt9.'["DMu-cG."&*œ_$v3Et!\XQ@?߹lgC)S#2ڍ3ֶ>zttX ceTYKcN'l87xѵ`"6Lh1ۀW*(͇ HfGKm!S:ɳ/X.m09Qc%a a!1O0|Y 6 Ąvw2\E9i:VF~ QEE]'_$9hz 4+۰80=@c]R%K~ՎFR(UYϛV:zۜXmߑ[ﲂڗ/,I+O]ij>G 'ӛptRE:7F1L }OdO9afRwi'?lBC'W M 4m[sCuw1Y`6z%SuzD!]\EQ4,ɀ|f˒lS/BtIÒ &Z#*5W"z5\%(Vd7!K6YS_|~%B,1KMždΝ_.:KuY@OYQy0U N?L[+vAŒbarJ[s 0H:x̑ SH6e?&^E mnn!Ձ\b KOpNlaK2x-@: S]q9-Ba ܏TN~r{fg?f^i et>,H|l3vҹQ8?4g4昴7? ؟:=W &RC1yp8ՇS(LƖIux ~2M=f:w]\rE&62,Ҟ؏E0+h7$ ~TĿfGW[Y|Fw!pWd --Q!zaTz{*GiW^}oɼB%9{"t4:n˦&Ξ|PdJIb]:+ ^s k"h)WVȼU5Ca,5f~F1.Mc#Q/c0Pw[Q;GEl8ʭé3diՋt__[k$G N"]qhIZ(qpp'lTx|B[}RUocl*w)Nj Qq@k">Hُ֒<5)֌̂0%Fԯ;2ٳexƏc ;ſa9`f:;(x.83/Qa >T4 4ޭ0^iq ȃÉ5>і0PNgEQLh+` vۢRq"=LciJs|[0Y1\i~xN vĜ/R/z< y]QSqeyR 9~~UmyFe`L}{51&4])jm'w9jwã֑ mJr|*X,'>O)XA&ֵ-ΡU[*5Ϫ[.[ϩdpHtZw\RS<3`I+4ȯ%=;1LZȩkn&~C]8USx܁{H?į{|/.g^ ZytkP%Jv4cwO֟yy0!zٴv-g1lWA-'/ =~:yR<xxD" C+#N[sݤl)=Ľe(D&G,U`So^r; a޺[ޔ*gsSJ$qO֘L"xtCی<}-(=Yӥp슣d4&NT1iI)ڷ*hwd^M\;bఙp}h 3%XQ\KW*q?8b6+C=ϣ R{}_~~:5`"qsVR:~=U~m䛵' b\Es[kKҝ[nyl3\IUO5k/N⤖ᣡ`>0aF[*VGS|I &P| )43t#h.BWº2yդlL- 2F7fRՄO즺ha+.9gYZ2594efed6172ea631b66d1e4aaf9f125b3a547c96450dc2aa913771fa0159410165f3f6e6149c480a7444b1443d1ea74b2be0b2aca9a135fa064c205