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 L!tTD ]]]HOL-Proofs:threads=6elapsed=622.504cpu=1496.364gc=262.560factor=2.407zXZִF! rs]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧eR)_vfȞ0 xPg?:ƩfԃONeL#Kepm˱sz{@)t"X %>FJ(;샫G#V4=a##Je2e)hm Gϭ_Y;tgǐ a%B*:Z%:bQєx)ȇ' :oU9#)Oل* AMZs#"b{ǔps%>6vTzmXBS4-xeH$N\[l \t&y[ofO K) &tO0gJ'2j#b4Ƶ4zAֶni3lnUSڒwHMqFE1iBn(I'ZA'ꀛ) q˦ĵqڜ{(%3%/UktÙ ,L>ptm K'vw*S"$}01 gM|0/\ sg⾶+9tm:g-̦!}\>B|!F$E:!U翆MsS/mQA~ung֌68,֭ l_LI{bLJc+h;Qz?>q- d\P^Y jxZ ZeœvӍF`'1-!W?.n?GvR -PgIc&XZit^CqLrp`Z1E„z-]4t9 Qd:˵ƪQnUC0ڃy AzxMЬq)zĕ*!$?=k@&o\V5 lTN>2~#maΒj%˘vo1*;`|oz9Z{fۉSsHrAVpz}ςyx{<\4GUoMB#L?*g}ίV hDz%6$^ /D}&.RJq]M̵+t=zS:-ׂ%϶x pƠ05: Z)=`7lc>1 565@wó>]_U  ! HOL-Proofs   cߓf TDaVr=-RM7Ըb!^1Zy7żMԅ唈5KQf9~\ªGo܌՟+d @{EGeP ]%h`QkFn"fk^ ʯ*؟Nik hR4oͮy'R@~4Zhgdnt VH|ٴ.[|z29l.5[du)ҴxZSOoTHH/J<+VJOѻ\YNy _Ec^/^Z5ěew-U%wl:ˉں`qa̜k ΣꖋFDfY:oێ8Fr|%O(Z']`),Ki;A8%jīpXxg,!\ [.Tk9۸=`(ŏ lʊ<,Uؐ5F~Laz&ex?6 IL0䁧_p'$aJoBǝL4Ĭmnb@QǑT)^jm8VDg~/*d;J0?#_`F5`sQ5 vQÕfaazqt*č؇*-W%kɃH B0GTaXYw9D^כʵ/#*f}Ke'γstQ DϲYڊ&kf6xݯm\a(.Z Ui^ D3fG3K.z)h8ķG+^A9šG^Cq`7ΟAy6!,y? _/3U0d @dxwfWl$!lmt? =`|i3V|礏\t2n%kԯRyс]8Wta7j-MR+xD}n^<I ͐oާXA[RET2=nc.a/$ۺo;9QQZRbH=!1!G1jӗngw`ցOԄAL%/|!R"15%K_ItqiKCxIOV&.1ݔޔʞ 'a]g#6.fd诂rBU|wWd G)ګ]jnvĠ诰 W/e?R6-eD@%O}n\O!_$cWV\) &M-b'UMM-P kxsQ1_ ѡBgͪfۘ;JAq#7+m>wDai%hwT uۮP Se^1fyȬH02 hɭw>/Ŝt`z,r]8h!ns) lVbڣH<"zۘΕBJ1@VFSxB.>AJX>#:Ő>A_Y1+w_r(ߝA& q;RRa:΅ZezF3¹왔,x:=sbT=.$yؤM;1>bgsY6zWr H4L-d!CY9j>jUEgҏ}A>qΊɲ}( mu_5mNLu*Pд(<àd5#3G8`=Nǩۀ(hϮnEPx +c, D߄o Cd69$Ka8KΧFM uo}xB~l~/"f%*&KdU㪥5ų`؊_)B s} H,H' ) NcL,oVT{@̽o&hɉiۯ3_]qMu_>nWWZQYɛֿiB?_  T 7KL΁6Nآx7Ң]ap\^;W~f.bF36܊C+.ՓcMX~>=WsDw\A_ ^Ǻ(̫Z3UU_ Ӂ@REz K$e/`twm$so2c +ПGLi۞3M_ڤS0tHRL%6c`յpFE9K`U/ 뼅JmdWmEzwu!t<uyr _ H'kk6_l6U3O+ VȧG3ShD ~_hZˀPWroQfho&7%Y%JejTݑqҊ BDbWNi{4ۗ7&}RiIeYW1SzaCmRk#O\e[KStj5x7P^ ?=K)2;CY_!Df+9Vّi5!#flL-)i'tֹHr>GC/ (%9d59Pdz_zh^ _ҵ:yKPN m;7rS@ %o`nNru%?zeB-B⺉z; 'rXD Q`3XNp.mGr*12rб1k"88RRAyd]t4^ #OOZgl=&LuA#C# ς ֒:= 2[2BꤢüD#Gm#ví)3tfj_6p^(XWpg* ܎ӓO.|Z5ݾͪVn!)8Pɋӆة p㌁z*Q$hZ3*u?M\gB1DyX3CḺ4:j %e(W8T)7G^AHV lm҃g·{L/(QbpN%q} YV}:twѨ"l9P?Fx@tn\tX8D@1<>1]|Ǥhykoιkipԫvd0Ex(j>%LP+{v*9N%i)O#+VF8gEĈok!"6(}uĄI>WJ;,1)HDg?pڬSL-HT1P鄚`n>m݇.It jVJhےvn#/giwq!@;ݐ\k~lWQmoiΆMnq+2Jϟ0c-sܭpzHϺ $D7Ьwx [u(=(=ֵZM*h'Ož[ &b':Sc.J 9=v*YW=V m@ۛ=o4i "R ivs,[jEZsm~( :+v7n鱶 ? +w_+hzeFx5,5w'J:\v"yP/N:$bc3[si!=Ex9l2E`ĒsרyC58:dK9WܵļgY޾B鲾`r__kv 羬QgLSh(F|V?lȷvx2$V!a >o"%+lt6ޘn3p6>|99}\Y N:{U(aAݯmDz\6Z9ҁuITQ6wtG. a ꎏoX|*jX$K Ql\^ `Ec/X `%O`9RsG4+rFMٗ3gYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!BgSHqDcˏ'8!vy\##=y e<DŽ)ACtDb\mAprR7Uo{(f lh}ݧ1yqՁZw((xeɂF?Ĩ =YުffS- Y(Mtɳb74 DD0w*?Pf{TگXeayXzᔓĥ!DK}[M[ K_ c+g9ѹ<|[njm(10(M`9%S`YDZF*9-~.2#p6h3I/H\YM5- #ˋpR 㭠.V[VRU`q[%Eeq2Dvd'͡K붜$oZFчqu S\KcT.|v)`͙x^1;$`!t~ <pqUg*VOAg1 ms\Z,j_h*!?I8AWM.{z.du}vܧhsMLF2>ʞ+.ϐCB sl4 K{I(04E5![V_"ظmG8ӻ%_K<_o?͚=#PupY<j+_k[O$ >kV$#P7\%qx@b/Ji4P?ҳ (12;3M S_B]s:k9`첢'ɴ12G܈Mlwkݘr=5xM h:g…9df|'V]8OWК 4=fFN%\I4fdB:ó4jCjs' "& Z .qa58{CS ?vdq6g0'%օ;%d{f@6yTb]88v6uN^ R`3b#ӫԔ 2G7?={_#Gin%Ș A~P )cF#S@gm빴grESr*0{,)m<(F_kQ1e"->ʆO|o -%r&a KB8(PݰQ:.E0Gp, sGɑ2B` MVOa4fiक] | #3G,|q3ev#oa9P_UiΞD:7OLn'NHU6|.L(§\vr$QeO(H 7}?\MU]SzY:4 ݗY2szWpXMQFVe$ǐ4V6/-}vK^=׬pj=$y_F"ł5PWirJgZEߏs{I,s"pɖ*AY,_@r]}{Dk74OC6 BoS`BlMAlB^9dr7fZ=C4"bt/ oz4EO m2~Q.gYZ7zXZִF! du]ŗXi%>'MNC."vJ(0giڥtXr|q!!n:+p91)jǝ$!m@o,`O2lL-r# `dg \A'a!kha*YCe!P]',l[F]P[(){p&?72S8ii漂yG܌ ʙ5Ů ;>Zm̎9O`v:P7I:1 Dd3/?,s QZ fCq˅:E#*LD 1ZA;k{&iA ϛ`دB<Ԙ[[I"OգypyN~w|Nj#z>M>ŋui^z)|8JY\Id;F9!xtJpWKQ^LZͲU3/"=~||q٢Z>*CI-w"p dxUa{B[Z((FVoʭQ: 8Ϩ/Bp#K;q?Aj^1f?f;TKH q^8IyPHJ~ GH{I'7:ic o`&HÍ6^h CTPvkjz/>e1YZxnLݛm'R)6da o* $9oqXN\g(OȰ>4 뽋?.T!tK4_#[ |4 ; 68f|?R\_ECȽt24Y!ﱮ'XezQL5<M mPf %SK mţ;1!ܢW:P֠N@ is)TC/H_redo-rr7:_g=;D)/)n](} nOoiѧ#/c8O'ɾh 5KA*rowl{Ƃ");ulmRYyW%Ay2c%6e3q2w͹9݃g%RѝoۨW =y10SM*~ADv]v R{׈#lA+Fl ş`ai&&<PiqNjlyؑݥ[$w-ilA )'aNP;"v9 hmP9˫1L~5k'Tn3Aq kir DkiF!jܕ 3,w叩qԋ943-Q X\Ϥ+#^0Ch)MY$GY&裗Bj-<4p[ZkzfJoeST/ 0ȗTdtITwfdKQ4ťǞ8$z֦[IT7Ylqp_L>quf?bõ{3gx}H21@g= oY$FF 4,~ Q$ JJbzw} \4^YuŖOZt|QdmM!*3.&s/nǒY62=U`9>QiTt`&˒^Tr5+,Tͤw^Т]!{CP!w?c23LjTE˚Y=:MQԈӸY\)܉(㩁{(벀c"v9azhxVʙ1.\qB~Ư33嶖:bVj瘡َ8{ v\*|su/#L]dd<_bthBjߡVS3n(wY/٦і|\ZWky<+~v4`g^W0xǁ+ Q ]#"2DW"1+gN@Z8H6Nȶ) FT&UsS?U-]z ;irq 51íB[.l3^nS=ē6 I*RHk9gl>,I3 ȧg~rXbu#nߟlBK)r^(X/;($רQQzBqC}U{VD9 78'9w`U.UOjZ14B:e B=mFPQE;q,( %)lx0@` {3OxD,-xR|m͚kFMAڻҦ9L}~(QD!$EmbqUW0+s#G/YGlcGMBE`ٔC4q>a=;!K|ΜZURGͿZdd?y?:SܩpKݤ;9Buވkvrax†Q9<]}@fPn|cx]Κn{'  $ϵ114IUd1֮Z;1t*eu{Z.yK6@ⴚюm%PϽj@Bޤϭjo$G[YAA}OPz\ kcpg a>YpV ir04S1QsX1pBr>kAPƂ\yp={ռ v)2L@`lq$sm̈́lqDE 7=E.a nxE*I"R*"m`^tz=}}-!MRT~jHN ڗoQ -g`ߙlnF$-qQ9~:L*d:/8bq 6ՠ%党Y`VX$m6- yƋ`m$;q'mqu[̲#H$K[+wǦo}"WoXj[GO?W#h=Śn9xM*5_(NJYRCLكwa"/9 0Hv7ĄR$9 -Kr֓2 巽"PO5JYrį{ >2}S/#zԋn '/e$ַ ip%$^uoʂTvf5n\Ȼ!y?m'oF\%Ru<ϢZ7s; /`B\c01<3RH3{NS|eߵO7S/ǛCST?4JFŸdHͧyBSgbC|?7<dj&Mz 1h҇ Ӹsxopb'|pFV`G kr&O/hUp-'q߁q;71|BKgI`S1*ݒٞ ês q`#S 9}xkǮq״"]+cҹN<$B9f?6a=|qL,ح)<{'bN(N!$ gj'dv;L(h wC4n҅;7,.fác˥o-Tq rϺS@ATyn~R'V uMծB†ߋxJf@%˦LfEKk0 IF5wx̀<='%z3;ui%s7Ze}v xa=ȎT6l֮$s' h6r)Q 7N:u9$FʵU;\fSiY_<NL3r| /Nb';RؼzIfatF- z希 ){syO0, $;qI5.@f-M*㒀CH3PB6n5X>ϵfG ngi "eM~Qܠ0^*pTGwY:f]uw)ǘdoi[''ѵ>C !.r bo662KH6L̞Uw0ͅČ)3\zGB^5s0k5 {6(BM"M>-x+SHHssk7MPM|J h}(vbst+RqX:.\bu.>"$-f#cٯn^21d)X/43Y]/hQn!,T8FS'\a[ Rb]9r2ll&Cw0 o ~#͡!ZӡQOکKyS0>և:%}=z.(K1K{O2ro#TWd EWs/T:sGjSRW5Yؕp0eFIdOW^$W mc8K  97?(iblo<]*zMerKj*cU1ij߻<|p/|cfr0T] ͼfPjp.*[ԝ,8j$ЗV`x7VvXvJ KL@Oh5 9a5Aka1z[pˬdAk]oaT^Ԏaڄ2CQ7yYceQN/4b? ;JޱF( .Ӗ~_UAPKK I*Aٚ3e Ey[\p'}M2 h *{,IklK2{6hG3 $MS%IKV֍\y L}J-g`\88{FזHb 1ʭ,0[,. "_:.]3E+< <O]xI'2R<)]}6l⛲7k>ڙcc>tcC*mTIy>F#f-jE/P:sCx=Q!U{փX`tvv kpϏ_U=X)H/: 8,dr1z0 .t{&&MQ`, ua~=TWPn̢]]D%E\`ķd}583o<"=c;,Sg͙Ѭ3®Pqev;-ta0s |XȬ8.YPѠO \Z t9⮠nșxiNآ΂Mz?d^V,DV$mws^,r3nr=b_UD ԗ:h\b\{gL}t{}[ vSR /˺H쁺{7AO䬄~gcχ s8kV3a PM>:MKU!&V` [ eY vF?Xq4́ A2Nd`5 G pu!mYpJFɹ'@uͦg?n{X'SV 7k~Uwxo8TŊJ޹lfсMQj<ݹ5MlU&AN!VmI÷uSoyOR>P3& 8}̕N5A4Ua\+n2if> !*|BEA@!Dx!=by}6u*rop}A۹͊S"L,To R$j#]U?3+س] 3B\}Cx|O]<8 HfǽHZ04RL  5c>@T,{!+Y <-巑e=>'(=T eƱKdjsU|&+W>.d. 6Kڐ A+rnbF1?#|kr`0Vוmf>cd/VVvbT_cuhcPǸ8j0poD׼KB"bHYkܤj.j E[Hh+TXga#+{ S6as +`9. LM$ !B6{ϳ#lMj|Au!ථ喋<\$w"\[rOOPlS~#9]KuTZT7I ZRKhQKMh1\}[ #THPBT^ͣS"7T(hfF"T KPH?!@$ d]znJ:ֱ~kϧDOttX-a3ә硍{qܒqsuz+O3( Uz}E@XvbR%A7V_PU^/ dcfy̽O_KBX L( hk\^ޮD.,4iNH ȭ _LcΑPyqdz&!(&󍳥!,AZy'7$cHܞHd)|LȟYydgډW<&p"DonIj-GMݜqO՗%"(Vm8k1.'UɘAԁKz3z)%8?Bl>*#f#ɘG:\gg/Ia\^B%e'AzӤ@0Vz2@i:-Riȝꏢ0*IJðxvEjP7&qF/4t.190i}{*=jO Y]^qEV&\\O5ۦ^#達*A |%}[E u S<Ǿ-Zݷ/-%+v#;5+Z1Pl\Jz N ʵq.1a pTYw [(a̖e .\mQff{/ AGv7*|)=M$SuܭSrC>{lx,]#}6.vކ-mdnyB_u`x*-1mKݞu0ہR:(Xa7v%g7pn$`X0%T7Yy4(c%8(Oӊ V**:ev{ݓׅ;Oi(8F"rt7&A~I;BlH⫵/jZ1D{eU@;4Av"[OH"LV7u2c#wRAFXp(е?"}D` #e/%BmU_c`^Ɣ!6ʆ=Zi3Jf03@'u^L$ƋVZ7$64`{^/p%L|wZԈ\/^'kr@m\ќ0ؾeZ^unXC=y*dstz]$@B*fSM JЈ=Pۚ?els90e$)tFْcs5_2gHBW|^-6fJ|.(cA1C-˥EESIV3.hEkDnt\Q클%moXgbg^$NDKqTRq3cIMPr,-_7N"Lb\%מo <f{ : ͗=8?Կ5T4vWv$qv18n ;$֝]O~+[[ךY]:yɁXusjcAq*VB4iK+}ߖ7uC5g3Tu'e,P:RNy[J`ߩ̠NB*Sr*IDXMEKE| E[ Xˬ՞Ed0e>)!&8DԠK6CJz-| i$jȝ?NTk:*0,y#Y Ʃ5G^|6wY7o:SLԑ{5ZطE1+$iƦuH$C:(ӨL'\Fz90*5??3%ҖO46hXcr{2'JR7J,=CT5Tv19|fCćN`1/CW~Ui~s:ɔ;4_̚KX?z[,Pf7 ^wj:QjeZq힄vzte &U%$ 0JXpES$.2'&0L' 0~ٰHO)< ǬoJ|aGgPHnVM$ZCzWP, ߽f3җmzwÐd,cuVY}%Q#1ߎď:7ݛ6M‹4 ;k5; el)<\l%{ƬI|U8DnuS9'ь'9sa*C[ b] yc4I*>e=(%#gEefLs-BHV[v R;I3hEaփ,, ֈz7.I66a #"+A ׯƉ0"9 mU$<>ZGGD\b(03OZ)ޠ&dRF\gІ˔k&gw*+̆pݶ!NөRZy :v[gRyv6Rx4/!JlF4=IB1ϱ)9\<8jg~$Ɣ4;q Q&@$\{el =#t.](Lf(lAM n M+A" kUp=g3:DH 42[$u75~`dPdN|#>@.݋ȓE0V}U+9{v/GٗK8sD0oN wl@1ڨj/%n[ y`GĦbl8cMyUKZ ҵQUŊ^o*2T.OrBKg;V׼z`YinjyHFԞ+ӑ&T5CTlX*d>;b5p{d6kJW)(s*4_8A ֭XL0dΑBшQTp(C ;?>Xe HƣV e լ۟>6놖J@FIbۆN:67k \42gL~=@^XyZH2- $e/D%!o֦+EiFigXNX[UN Uc-zME{Oo'> v%%ZvHL>]sV$`&FGZ&3ɕ[ }a|N1)JB窮9ϳ] djt9N#Ϲ-g]ΚZ:[IܮZQujp(FVs18YKcw'Z; ? !!t (4B<iWgk[n56zZ3!Zj*܉S3`"TX wĞ ѐ*+{kS@$3B]9-K'guzOtU=v>}Iv)}x휼()ȍG[h#YF7@|}3npvi ⹚CmSvSTḅB~w׉8 g$p ōP2 uAi1hi65O:8^cpiqĔOgL"zrv\ЯR4LjJ'luVQ ձMƔ4 TB*[EV2c0K ૑#r)yxD&*P X4TSd ,oJ YFVl50Gg%%` a*i@DT#)57Q1S)4T ej`~ = BUB,6΄F0UKrxH Q# MI?.篨3@4IZf ;Bׯ|5 {_Pt຤2#T}7Z0)V}XPqsoo<)&i["{گpK\j?V᾵]0)>ɛ^k{K . 2%O.8Hva JR`_LąIo5硼 sw"uXMFzzO]uc'CkqA6}PŠ56׋كڅʏ⦔Z'p}bOϖW!ar5቙;kSRrHE'BF'p{qw2\DHT$6 IATLy蹇pe1Sr6NCgнX{uK4&6xTA,)p'{SwV="KDv c +J6zGd ʨtg;z'?0v1OƂPHק+tѕN vUMG&5<83$6؎f)-pꗅW.7]ж׀O[JiʴC6 ~R3;&˯6I[[4E * m״nSL{鈿|r:tV'C-wP7p<mPn<\íĆmYga[)0JO1aT@9h+Yڲ^ Dນ' `ն,H^۲Bz@~r tGLyWATgε9ՇFKމ@ i؅ lL,96Z(b_nU G`󫣏^f-BX tXXǥO_YYh7%l U">p}ݝP`*-T:s pTOII\G$GqOݔ1ҥ|(uO_Ho <`O˘$Jԛmõ%8ui::]2V_C6ΩvMKqp6 a%Ghi/eɪiA4L6Cc4Z'Aod\&j2ڷd/$6Z؈ʎYOwwR&'z5ڳ<޶lN=8JظP+ SC;\s'e2AD;[ty0)(>b 5A=]O?_eGmWf{2GRZA!ܣD޶ ,jW{1mNG*x [, ,u6ʟ}:I[hےC5[=t~cK۵!\08ͪۡ)rG[x $)]lspz_Eͩ`zz&c(I}%h5֤Ͷ6" pGg01+Syۈy.Bs[\:J+KU8x*~)])rY0c>cʏeˇa>Hp_Z(] },ir7G}:Q#) pY"O28fk=j,Ns퀫PoQʔ w)ZV\? mJN%:UV_;cH[ J 7a>)ea<{E? @=oOa?Z^ CO6_ː}EiLd8 w rpݎhC8rq.4suP[-.8/&O.zBad0s1蘫*e>Եc-@-E0k63l]uׁ/7:l([$MHr(_̿ pm+$ $1??s٩pE_pӵPn̹֗H+808^hu=/;95o;ͭ:A 4V[yxe icC)E H$m.RX]:䋌neaHQ9KEHE/b4+ܕe+b߶RZ{7fVLaت zY n:ueR}+$*&oQA㦶 K*NEREuѨw۟>;&fԥ2$^zz6f%;F=Nϋ;P`~9ZX.b RC=C-4>KvVch A4%?>T"-qiQ91ClW< Dl6g}ʯCbV4ΖD,9i\5ԁ6Iڇ-^KL{:wxB*ptCг"x*?JL1̰cFcd  IAf)w2cT9( ̄|1c@ Y>xzzy~ Ȃ^S9B@Ywzt B8"+ӋЀNpz S'@ Jn:Yx{ ,MYVA31oꮼuar,R + =bMPٚ]c<WOi0[NRc3񵫹>gն"wS _Y`ذn9$ayckΫm6^حѻb@]Pdm@Sq^<2IuBK Xq)fgj(ʴUntpAye7Nr[b`=w q-4+W]|{?Xv$|M#H: L)V@, $-t~0+k5H ʧ(5-+69ޛIu+R&<*ڒQl>zus]9q'aE=\8 t3Cj>y6t8[<:h 7uPUFzB|uz^R -I`2)=Jr̶\DM^v#:D+93I ѵcH\М8*GeZsF<-Bx=|a`PzO9p\Z4ŁSƳy5#Df3IzaD35LQvKNYZUb-?I=$ #p+"Ęڐ| x;`!ċ03Uz1+F|X Fܽ zݦ1(Y&Z&8Ok?xstKݤvN?''AGQ5>n+aGƮEln O.UpyI~$6".wF9fkWdcNDFI,E]6 @$L9Q(NiZZD*aBh l0Lѻv=Y\݌2aJ03gu1Qb~Hr"[ӝ H_oϱgB; ]!uTcْP|4,dPq  { `'<oC|Zu!'!uH bD8?z* ;'/. BIͥ8K&Va~y›dN^->F/ec{^8?ztu"%A 4PΪ 9ՐSGH:>JuqK* bS0/b=r8DJt]L#APjf8Ůt>_ Y8|<ፇ"mW%xz`DViIfMIw {$NDl$a?b(o)*ygS|yaAxR+ % mS5[ n<0ϕ->RNϤ"/肍Tut#2yR'U1{l,n余CCK]{%K4pKAT"O'05Bf EHCѦvR j;b%P/J1/t3 ( ]Þ!9\b'^|9g<#̾B/ylV6OLu[W ]Wn7s!B1X8WmS yN9Tq^* ߁J&?3>ΰL\S%eBz.{&+,b2h&"j =@ N|^6& 9=T`5UWH,, YNl|}Rmo?BǴD'L aOd OŮ t4*uM0 R7Al\%Hm3tz|%-⑂Dq6+7~?&f"?ZBY2jMkg@HO~Uɠs' $`Z"dN ,DŽx~5XYn%'柌9~7Uuf$v IķVu ADT![( z/hxj%s0_?E J9~Z,Nd6JcfW.ܠ#pm~DUךk=9OA9klو]3ןDn4A85Y]a׀mO7zq́aD\bLd ]8]a;6m免>*NV-(eaQ]5*YSܡJ6f޹u(33"uB[IP7NsLzLnD;=% Š,Oˆǩ'y׶*29+2een>0oB_ m&6Qv{W,%d'ѕ_P^  n wV;X֞)g74'PY[}A<\m"1}ipV1ˁk_!Ǯ. bO&tYW|t YfsI[td,kAZ槩#od.l/^]5&S:qRt$ rrV ڬn][ɿ>ۋC)<2 -/lI@fw04jJ;9 K{+4MG$VZ{$I\}H;/70^BZ ݸ6a3ТNǰ/Z_؈lI66YA]:ﺻ$wo2Ǝ00$q//;y#&?pD+ n'O7sYٶ.DZM*Ϛ/{<  &0{۽F<J%g$|fI tZd 82kZZ0h>Vʨ_|37]CAx`)YMC⃫q)s4U)"Ѣ骶̥c% !|'†MLX'qyS¼d\Z| 6:/qp+kIJ5vDW=aT\9 !:tu&o-T$=d-Jw!zҎHWR|SgCk1+H$R-Y 6~svJYO>eo;C_ЌR#X0t ^2e?RDiS!,w:1o=RZ{*tNGR>) vs2FdSV M\" |N KBDo,CKs]UcP+LX$_ABUĜy<|R‰Е)^Ƃ۩/h/F@n ݗHB@Y`k{TjztZΈ0r$%v4 o v]+D 1kmYtWcM6:se 1gh|aXb(&Ѵ=|!+z_Nd-D$of\(%v<=cܲП*ăc,X}-`T'b xDz_cI٥W`'s"jHBH *[Jsp/0psY7*xjlL9:vg%$5"ݘoFbT|0Oe\cӋ|[Jo<V@D}2iN`z/kmuqg݋6K΋,6VD+ j?Dhj.}jL.daE?z6CX p#@)nJC.~=>Nğruigܣ^V'ñ`p/ڜ\x_8"uJ%u9)q.h@#Sd^HԴ6knSIcXhR!ݷ$,{.*doR|U_3[vK  Lh&׺4l !HߍT~uPhd9Ԁ]ОOI|v iz-eʴ<Wq(Y) *g,L[p,bZΤeߋcQ&g14@N0 n|E8c [i dcF Ns:J[ұ ~ p c8E'29nJx3o@Fa#7YT @|Z2SUTP^ןƥ[d\<8e( <)21Rz}Nj+&4刢\{<%<3> d oKF5awq~46-@FWG-?{k (]ۇ-< j(h޵t\Fx5季6-w6fu?`cHZCkc&(KZ;]Nat %"CF߀ZSp ăWVi$<; Pk. , Ŋ3rতy;*;KeXlU@gP^2`O!Q;T)1[owg NvrWx`%_I$3)d0:~R%+pm=.r-5:lW( *w|C氡J-[8D]@*q ^3Fl(ʃ)T ~ xV4x!+hlBAL,1|xa$^J-LB;$O`qToK%!VbȸlF'ldpjpvQVmLdX=# ʙ2;m^w (db(&]}22ʔE&+6,:Lf[} 3xw\'\*}yЮet.zpTuDRy _H^EҷH.{ћ9VAՠɻݶ8ŐvV27f|dlD^ɱ9}&'!l Ic]}resupD;idۭYqH]8A)nlT(R9L9dڀ=a~ɏDpHv4rZ z~y7X0͑FNFEJݫ 췃׭E!Hĥ >pwhR斩 ?%qYm驽>BP Bq{ԺþQ* ZT>Q^zTSRc~0~ tcM95n[.qG &ʫd2 w`1.պ:h,H;"*2Re?0QIM-c*٠FZ%ڒB+1j[Z:dlY/wu*UjG˫Y9A~A.R{aêz4"H`1Z`mh2Qʠn GT.~5WW8tQk!+pMbtiRKoI6y TvdG o,S& !zxW.Tb**̍Lt;`~y]j|à zJ / ˆsc(L1']%h l[8_.~5ubkFD.H-uB.Hr?t 1LV-@l|^/^*ȭ_Fc()%cT `&Z<I̋r˜/ e<6+,4w(}UykER܅(@V t.b^}6Yθ{806 'x{zpȗEߣ'tjnwwKІsvEC#9YȰG T 7T ֆ+F>}]s;#\XVϋ?zF_CH0L3# ꡑD7x b,~Tݎ9Q5z ]"!9?:&c\ B*o!0Yt*G e*ځ7ڲLo;xAL&AhA"4oi7Sl XͭDtB`Ww϶ġRw}ZuvWSoD.=&#"(iaQJ  xR3T>&6[\' !_+I߈Aÿr30|??JS*{v{ر#%nl Yߦyh4tI()};DK5| p(ZR;,<@hvi&Sz׆cU々2" -\5r?~Q>{i "_3?9u$;]34-fdۜ60"Ge0V-_D?9//aj(&good;>Pŀ1,!{~Ã]";⛧dyZ.y>!>CW c~npGK`v?_p=lF:8TJ}FX~o(צ"I"m#2&D ӍL(C @B.&'5CeGMq NugACm]fR:|ZyW!{y2[H[:6F& g >`@XwY>,HfYcCu2 `X-g1!3Zo nZ]3l# >m@-̳2iN(ɊQo9.Pa&XW?g3!/},bJ']ڦ>񽂫u6½3RM64wIBaҰ^J(%Q+ 7~J}]`cAaRn3co0Tѩ ]XPefYƁ,.?]%aTrE(IK5~`н>MJOh>g|=~i9xHuk&u[i)$",IzRh8!U+:8[x_|zl$~c_zKoeSؕ"ެ\ExHQ\H{_A=8݀s?9RDձ|6whΐ?H}^by uMκ7]W:ՁHtw4vׁxs+ ̲ruIł9y'v }YZ;5uq-g4 Y:LB o! 5chH &qSf7%٤ց C,7$f i^rOacPrhLJ(~H٥٤p/ eNZlz:P)+JJ*j6퉛Ce(4p{0;ϭ]Tjq~,zoTf@Yp#BW$GE\^!m| ]E.<:;$ r>ZKK2?DG4&wI`zEf',JSw爯8oL<'4= D-YEYDRllE=*/Na$52q”k|bDoy w)ZLDpL ! F?B-pi`918!WU8o?8vQ{CYRrenq@w2P|;,,}=yN%Ma{ZOLKԞ|(d 1ԅE) w /p*IԩLڬo"c^sLv캇 $Bk+cF5-0jp&FEP-]wZ[Y;i]礩*- /goz+b8IPrke Frlٮ ЗqE8bs6Z7!(529'KD%I5,_fZ<.-Q8\:"h ,0(uhQJE4~$7XNAfqr3?EO]'{d l2:܄wp:4]%r$3=XTcS0$eY]MNπZ,DF^1&ݐ IM@D3}9\trUj&+vV3[a7x=IP>L i#I< 6x51BRJJ7^TY>5_Ϙ~iv$ 3#z [W3*CR፹uРŽ'0B~'Q -/xJD=Zfv"pJ  wvIZ*.bՂh>f%UTXE9^&>aRCT=KtD8ae^bcYUBD E;Yk\ogAAm^^"X>ɴޱ~UVY xM~̂a|^/ I;HPhz$?VtwvS}oȨ=MVILQb R+h%K9;fWpqM:\& ޶څHMhZ%YHPcIp*}a?[@E(CBNB. ܮX6<;rT`׬ˁcL}t,wRы1_d"koZ3Ekk;%NЀg˪Cm[XPXT> Ǯ-BLDs-t#C VqJ@rn9 h-r5 ,hACg v" + XHPL,bzPO'3E2\|?U um[ɋT>jr47&|N؇̜w8|Ǭx ";!-uf[b10B9tRq8cCޮy'<,.䖁HNUD?<l25oFw_lG Saog6LbH9,2{ճwnZ3*r8*=/C6)'Y:-{NpVѓ#W-Zq'5 F}܃ %M]H7Mťk05j(R&J?gcAezAŝ#Bs{ YXHJU8)\ngYZ336aa769be9e1fc40e1d04107dc61b10835525dab4f0352ef26758d0b807242b0832bb09719f7d40bcc2d36a4524da2b5fe3ca4d2ffdb10af17b99a6