SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  J!| ]]]HOL-Proofs:threads=6elapsed=693.088cpu=1618.680gc=342.736factor=2.347zXZִF! ߟ:]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcMM ܞ_3檋4+xZ<>;NvI lr]/dZ-d뛲>K 0N3ڈ/iiXpDJ $eE98Ikڃ]+k ct ?`y6W/?eʨp~R& V,z3) I)c*1B2MӲct6F+A"DhUҕ%s2,6um M4nZ;FC5aF)?6sE?f!4 \gHg-ILN"-펍4VwJLsZ?Ao(b4J80MlgrU#+> f8c+p̥K'yN+ylfsk[1Yn;Ƥ/oH =g3?I~]2Dֿ2"臨RyvY`n|uTN5&ս#dQʍ0RqӤ_KrhדmARK?kLĻ"5qKXMcO2)CiЂŃfR+տm\fuH6,74ՙl \b*[g lЕ]?Լ0Q uBّ3uJhPLv]#"cg\`p][>g% 'Eq4 ?t@cNһ6@9HkofuA8!>" ݌WҊnE4H0kd0?Q:7J*%~5jV rH< >X 0/|!c}LW;۔n0Pٛ}ޅͦ>10! 7iTrqU#b<+e+tǥ[Oz:䒣U,v:WgFv)ZD99mQy!2  ! HOL-Proofs)1c5߶$\jy!ڃVQE'H~&sč{V {Vt Q$yZq2s yի2Sk~Zs/w9V8Ηj&Y E0MO_ǁij6҉ )--L.9=Ov29v_Bu[mvDiFN<|3ty%{UcXΎifC.]bA"J>;e!CN=2=;(?#Qއ$x׆hN<!W#;|70q-tt`$37zP&lɀO#3Noy7<&+xyOQ cwաtFYIPҍܱ~6e#_DK:Feeq_PUooŐDB\ ']F1^.C nvfwngzH: O0f*LZYHwwҠ=OF]7wUIWIԮ>/ue>v-qb腾{@Bv!5y*-|Us1s $,nO:B[#yѝoe/_۔O$MU8("qwYsXQy0i ;(ڇ^ee [_JR|Y )|SNb{j}:/wTUFL7Vƽ?xJԷvS ^`?UG[xzFrzMg'ֿs r5Iev,@wd 7`v;#OcWtrϙdbzH"Q)}zMgV&%$’OG{g,I/grYv|jNEN d}.C|B@!mS/ҥ7b_2A/;*73wBqv1YPkA`m*EΜ1W]8" yFЦ0xk*o"+pHr4~"WS[1yOTE왈:ôk{}]񘾯os:")yH4I>~nq$\e}Rzo܉}nag[w^RzGOŒrem)aVh1p`}G<@޽1`O^ ;tr/QI䢓OIO~KG,S &[ˊQVIku uX:[~کȗHT7̢سh <5jbꗙm%*E![JP3%*,yYn3ֹ[Ÿ3s69~Xge˂4oNI,y*.80ZRu5~#4nbV&Mw!*δ|krT^40 >9G'Z:yZJ!N5L;ž[X[YNG]/F [ë=xthfj#\ d>K;'0CAo/ s H2̶ -OgsUb9 ~<59SDfw;oNBEpUixk9~^##38)|0z(azN_g<8 1iPr6m}1 s)ݒ7mtFH)ǒ`{9 oV?6Ugq4dQKCVF!䦗ҩ݇lIapȁf MiH'Qf<`xFd/Mwȑ٣i 6h-so5 ~N]fsksK6[Kԯ$): Uu2}%Xةhl"an;z2s嵽o3 d p 6FDw YPj:`GKڙ|ټLTkhItQ`<2c!q7y[_|<7${^A̦PռVQ'2=s@*MHhf*,cIA+098{@6ʇ o)(/ m=kWzc7diO_r*[9Rj74WC 7_j{@Bs=5~bN77~VrdN?/0%c*)o)lmYp}m>^ 3WPs3|<Anc)D7&h/:GXa" -Cj,Oܳ)jIuhLe\ ̽k׌T@p69SA">CbM tH]>|C)BgY􂔩Pq{9![ 38xiG_a>B CKZ,=Ϝ_%ό3 Rqh%P1DC %oRյ3L%C ЈkZ9+SX,6 Ƽ,J<-E$Aiƺ^ vY5h,\ڍ\ }uA%Y>Jڂ"ι;_nw$-|Uw=S[֋ g,uxHpzZ[Wh]NZ*חPˏ nnx8ɍ/w_ڥCcgx:RŁh֢r@^y4?sHoh:hĝXUi H9ílru!jMf_P^WWK5Yvl><mLKH~Wz*SRp7w1K (˼`~QX9N~ $Q-'`_È!v+glm_TDh;';nPȽ*T/r`^s9_pNt(4gWD.=hD&=;7勿Fu[W? Gr LJW>18̶JT͆M`ArB YܞH  >J5lǿa*F\d8/)GdeS8:f0tF> ČHnN~~ܖZ|X`SyU݇:4)QݾdSf`Wn 7k 3#63 Oz'\S5A%.K+@!o^滫R>-ϕ1sv#u#a #n-02gk,Xl2 `|D؎66N8a __]"kYs[N\h*MT)OA1HQ]>@%ă&6 /bz5PB[Z@v¬swLeyk+5};@E{YZߖ;<څ" _AXpK͜(%jȌZJib6^ N]diBW-k(뽇rk1sOfw16H`8`Dm~Zp@wlaE|<(wqL+XS?֓@ad=*-_;`+ {}FP0 ] 7u>tDw ^PV6op/<f FאĽ)vwEwiSGc_/[ vM9>/F~ġ?V+6-M[Cyl9T 4,feW) _JM)vKqzMhœNsyzn MG-*p:t\C[@Ub`sJH[!-K QT\aѪ8:?[7`8_>x {Yf9*~4vZ`?M듛SQb _R"T|Nt&>HPRPqcx-ǓYvrx]OZ 5lCU끝6k[C, 5 ΒN/aҶKm;I,M:-?Ó w ^qjZ1MbOzO6"PvW'E>W#_:a0v(s9U 'Zأ2sFE;^02Pn|o69K&ɐں#OE[|Fٺ@AWdf>4dA}C/f+Q6b#ɦ.@)pƲ78Ap7aj",C#_F!?*ȺwK7xn+`6atxwFPbCAǔ)۶o ̅ 콙 #73S?GYg+Nޛk)(WgWoK [|<9q [qSب\gnN/"`z63}*4ױ‹ݑ!\gne[2߁. ?UH(|}AUDju6@#"f`5c=HZ0`WgYZ7zXZִF! {8]ŗXi%6Ho޽tPDuorA@%?㴁{0>:hbyT/p6n"bG$WıyPG`RNY )|ҝ>'HvhYon@= v{{$@A;z-JV!4Z<س|%f;xKn!(bQ(3$ Tڋ~7;`A/) 5e΋ilW ]< 2ڋ򖸤/xEУڐ_l u] ]R5t~GCۓ?iС1+K$X;[xldpeH˺3T#jʼAts}pZP6&>qZwtך"cɢken:M)80S@FpY%jSx,BEYo[@77(@Iа-RYv@Wk?)YMMٶRlnY6rqqq |$L)Z$4ƞ{^ ħ@l:ꀔb"ޛ,:=fAҚqbo*0dR&$9;AJA!xi 57W~;2y+3rq ǧpW^ЭB0L;PA̤eFearxpow/| W{|T5;׌})Y(ZY7e)c80f⨏:&@ zm& ޠ ҍ3$qIO"h9kBb9ǨxUVLqIgxQ>d=3ȌDU9q^*?(8wmN%V%^dqX8Ho$vƾ:luO :x.F8d% Wj"B3{ތƖB9([eL)FOKD#*؏<&tikU 8_o 9+A#11~8EL ҲeyV Y cMYliVuYw= '<0ƳdkU"}ޜ9wƆ>2F}Q ߎyU8uȯ1Uܿa9q4lB4q(6 3“y8B~^rϮ+06zbA$_Z\ dn' a6<:=9iŦ:'At&,ݺ^_۰ K R:qqr?TIwm^׬7Ov;JyE*$7PڡyqQ?-^iCsm нFF <8 I1))jh\KANU+zK 8 %L ϗOnafXh&ݴ餈#7hۍT倢u}jn(>/gg^SU"ޠc'ֳs$gq61dL gވ$p-4\SIPdh/7b<]K$vW[ P^y_P-fucͲӞj%kDEL@<{ˤ RYՂ'܀)sM7a%jvpEXuH?+/ՑZ 8V.Җq7)9d,w \?^)ݖQЗ~~N3@#|cfאy_JPGc/e`';'!tB5j5zw;.OAWbIdUeUsXs:.[ЁL4iɳD2Vגp"|Rfkqp0',3#l67"V?oN\T7gc 0%]`1R)|R_DLjȎ࿔cSU_S%-"(JBDI0X)BZko#2tg #.?qok_䅲 S&XmDlģVoX,^$"x+dwP2[r|X$ƾ[hs_t(4{ⲷTMQ&_%; `Z) fu|Zt; {]tp.3s:'Et>M3hdrݖ{=RGTATUR xjB=޻ge=NI9p˗6kҏvxs~&@ӈ\yCxOC@. %=v8!5 UfcY]gE6!(z\)TձaDR#1dKbmȿ[-d2'B޿ZӳЀxy>&lu{?(9[mQ@&@F[wl&riIs0ls7$iy̶4rMA]#WJ;[ȕ 嶵ۯiL~D?vBM: ;<;f(uM)yɖR=#G z'NOVC`;B< 3:1۬^PuQIr@fsS"9y~#¡ADBx\&{.볤2"L5SqD>΂Dzu4=_%J 7+s؂g]ԀA4Kzؖi% ym"3XiBsnUm[9yK 7MZa'AA T~k!IZt"KԊY<+Ƭzԗ(b9<ēԨcNߋ4r8rwK $N>LL=LC|[.LMIӤP 7'{K'3~YR>U Jjh4rF2⟽->Хs0y'koЮmnY;t] V^1b`J 'U$Un'iV(5`Xh^ʖǒdRbygp8++:ܒoXGgDXu]E~q)Ld Ug;JIj .h#)W^oy4>%N gt.°?p'ћA=rYOƧ캕oycud{,Rىb$Rr:BiMmp`,ήa"iș'Zr(ގi VQCyjoŎ!ցSܒuk5ZE/A(gٛ+sE/{^N[$K>cw~(@# LStP bw*F6W2ˇI}8q5&{ MzEob_dMax҇&6Nه)ƕX)K yz~JX?F7 ҁCg!:^fC:%vm#^)a[c's|{[yjۇBCc$@9q &\@7bz f';0QE/7g65"HhVB] SЛ5ާWB9<4oo.Ƴ1*YȟyYiE⵳Nk%Ր }sx5 IwC3P7VZJ>3CO]PUYX_7NVFHܲE]Z6%hV)Τ1\#y*L*c#橤^EpAb!&Ѫk CIGi{\C!`L~c-C'oe-*t@«[7__vcRuK=ʝk,'G'olKvAfΖBٷKc9ǕVn1,r@1T@K-I-'ԏ}Yv$CmLb/@z?di,_^ڲcfNpFx40r'X_IBfj9$K$#:=/$sB0@[js@ ~O1atDj:!PZm/.=P[>3WϻwZm{ч1x P>sH:Tv{cbL3YM/;«ěohd(ۄ[i,⵴{S󾁀\g,!sTO,K 3ّ]xl_ý8c,|4` T{GvEƎ>9@o^@VOXQqE7bZ}ꌐ/1({vOXUP:LC z5NIm'a{0KZL|NRq_?$цbRUk4&C!`J>*v/K v2N>(G̡E(zqhn^JWH!` i};^#,.rqvx7S,w"Ԗ~70 GG{y,bUOAm)+Y~*1ᫀgE(=Xҧr*(xOVH:"WXfJO @[ё_c(?̿ Ax[=V:^ bqTAg73l g;|tr!6is{"9 ^E)YZ'S槧r@5tlw1 V+>&]zSW7 xNyvHVU_L]椽q DHQ5VyR$X}];4+P3OnXOACɰ_Lqpw1rL>?BBг=2ZU$uo${DxmȪO 6syHp8t& {0ޡb}}J'`Ѱ"bw,c43mГOCjXjV%/$/\' 4((MU5ALm1K?Ι7yͭ>J֠:.;=zp ~戤QĔEs涮HK#r vF^,USA9@B-FKV רeXs<칑fM) ũR|:z6=ūW挰mct"l= ~4MԀi@)gd/)Nlg3X[p^ǣEiUcwjy ? tbk_a DJ=+ZF<ޏn̓XEL=|vΌe>LY!]sQ?K֚yF &un%`x \&A@Qi<K=C轇I 'B^T)y '϶H<9QqXF ySb HXwU_&y[^ؽ!ɏJUh壟)G MHDq"쥭hI²5]09F\1(ͦºVwsB¤\Mu?\`ǀ I&\Pw@ cEx#ɴ+@m^͂QYyv 禔1m)Imz$X] `³ywLɼv#43MH=f60h+3QѼ)7P+UfB;Jxj ؃xB2Ӎʼnb/`X7[ _v3n8 swCOY%p-m O8ndʀ3;fLi؇meG$A]zϼbKGph(īN=#=q.NR.5nmʤ%'}Qܲpe+Oy3˚Ra.,sQlV5פS)2t?`Y ,ZGID2%diVdo-91!fA ߔШݺh~XMBw/AcTlˢƢ,ɒb˘.#"#ܫc7S& @-Mxd)`%/s}Q+ 'nI+smeL`\P"IX=|Ö 5W|!nFlf{_*v!㘲8,5r:!x<f~c ͩ#Y' Q 4zB_zƆ d̔ s\s)TI7+kuMöarw9_),Iފ~:6_vX—0$"폔_ܗ:y!yqP,w`Fn)}`|_~WD> 3m}{OI`Q-9&HQCUy  !hs/Bύt]X7u3Jb̘OҝFڶGwܾ=fΚ_ }v"e_?,!Ȓt1KNhXp/b9\:Ȏ!@esDF)E'HNRa.~6_Yʄ}PG[RiP6m=ƬR…ïlC/Yj ! XlNʊ7vK>윷m/SD-\kDk&@iܰ88 cLnd߶wP\7H}a39RF BQ2$[rv\UUZN[Xq\~~M;bxh&G Gy9XzmLD1MhPZGYI<0"0 \7ݞ<[9ΐ15)gL &}nYKlgb&gVo_ iFwkᷔ,wL9X ms~a:#Vzw8XUbe^_ZL(I.N3ɨKxn`B9*UƗb7׉a)ƓQlm~T!ti^=yv>KxhNvDwNs/HN:k9*X1b 9j{Nկr mah1Q1h8}I9E8J33q/!bNDHE"撃 2:υW=[W5.j_ȠY;VBN%wWP# Y.\&RHNz\Ak Ǻ)8IFP^dgע/Sܣ?6WY[M Zܧf?oHs^p`l 0٤ (u6.ዾ]em[ hZ~qɽd5oj-./D.8F:d>o~M`ke}cQr ډAhu{F/dUL5w`jQ́:rj(-] &GϩiL LE.eͪEb +x2(gSdp#އ D ҉v*q.EꃀAG4كɺ(5&TVrJΡ͋89C|D {Z42;ސ ;(>q#4d׻Zkn0cupm*9'Ŭݻzjt_uMZCކ-` vKcԠ:<\"bDێn$K[ 2C%$rhYF b+<;`!Vtd`x\D!yXȣl|#ɓ?'&g#΅<}@7E@;! z;@9O޻oA6ilNJ29<kJ 0)5Ub 2 mh0.&+O ljA פ<k `5l#_)@FNZ .QpUOS m eH g#U Fl8͟>5"qH i:.xcUIQ,1rnNA뫘?{Y\75}&aBh~7g3Yt/\2pI{ηZ`4sٷVP)v>(yV&T3x@rJ Q{ǽY/֫^@,-~bU~_kf< A05@f\2'?BfbǺq# Љ.GmtO^ӱp52 Y}8>!=Ui,I! [<Ř7֘u/tI9.%dkoЊ6d6 R.ؠ*C>ϑ9fv嶻Ev$.x:plW4EQg6 +^0QzE0s!~mpR+;ʢÏOvdɖDfDh'{DUmKQ]zB pYseqOb]rkWoǪ%ܯ~1 $HYZ!<ϻfeI} 9B2X~\d34u +3= aeF9q&k_tMgdf qDGKO}wS Xd7j]`TųGa%^VD\.29졲*?TK9(sk{J& =sU keeٔ;#NA4/AL5S; (uwrBw?X#wф'"<K{Iao%]h̬\[X9X>[PKc 'H/v9\}-:1MDG=y$ꂔ$]_Of-r';1a=Ur'$, <_T9PB>>?䆱gbY}ksD1 mAuOI{2̅^GDˆT|s@`/$5b`sHѮ:lJq7߁QU'X)v ]E4=2qAo@Ll- OA:(l8pȭ$13w!`8@j Wv<;t]`z>Z~C +`I*ʡKkTb첊Frtn&SV S_{WM^{4旋Aqu2bNE_-S-)C6!C$|㔼IE "w"T-BB) ytBn@0+Q0IN!=uH\&)EX_Ջ{X6pexamp)mql-ݳ{SQ㷑'Ei!X֨R}ȢP]V.6Tb=ۀR+5 jvWzKyap2RuBnCک[esR"SX%p!$/MQj2I|hG;m{=?vUAm(!24Mil2Wtq'[ uǮVs >l@,"\~=qʩ-uޛs:Y dWp,Nݝl]?P#( HLa)AjrE#o;pn߇T<'~<1IC7(tQ}qv y R~6 QȄrx&aI=!}C-y& hAc:`C5b/8GXڥj;VMrwUEhjWШ>|77u i!#>厩~_7]l1iRY9mX1IDPH?)1htgZ ǙN< gæJ3#rGpƴ#E2O< QҨ$k%{OhaRvRC/I1}A5"CWg ol7ȭvߘDbz?o#mD*>\ &/.L`T1a#Fh.Ub[aXq=,wz{k6$\.*UO"#-xh!qM y0izzV!_rrª{m[mR#ldʘ7E\cu5hc@|t[D-ztMW"D>2\-]q6^~ֱ`+sb9SrB;/#VCdB-CڪCP ׭&Bl{-]}7*_4*!|zB{Ri)Gr4fxZS-Ѩ\%C}ž q*D#,"(o_񨒗pV4wf_Qp^ʂ!wuIk,EyT38{Ԝ~{Sx;MCD{\UNFY]Zzq*شHuaDYRKʲ$lc9B8"%smAѭp,Էw!]%);WN{`^$"pBeم#'Lْ=(ݨ;Q11,4Y%nؿi^LN^>}WD/Ɩ1O*/icʶ';x$psXZլ viz xmJ]6=KVz!9eC$dTʂKByiA_Tw3qߥ3$maH.0ih"B34yD`Z[ӷ3d27/m~$!V*f8׀ߣ_s.}xײ}讱ρ8 'bC}|ehq H#F9Z>ɤH*AP8< ꦘ UČ&Gjp"O|l(KǶy826̊atc1X_y vWI 9laaȿ̀1 doj<B]8]2!^X)Y{UMfOq]\CҩS lXj r7x5p] :TW `"}loT8q RTLm%fpEc7MDvf~{BoZCNHxph]Hu,6OUkLv;58M-J;G['Xr,jiY-& ; @꘷˨@C ԤMN`|܅lB8+ʦЬ2.hr:d+^fO?F0n57 f I{PR}BXh تp<s,g´)|tMW~ G{z< ܠBor1c]Td1@Т'ʂ 1F/C?y,X1˩?ǛES.Q_0Żș|*Shdߕ[EF<5 2:~x?2AaǺݖ9N۰7XβAeaK2h MNP8@uLH98(пq_;8rvrH$Ǡ|<( ĔQ-&7àDo. …׫蛖8Ô%6%ZR]5iKJ* C%͔vgR1ɍ! ȅ ȣ[۬G1fUxF;1:LvuCˤ<_x۩& s {(TEr9A'A=bwP=R"q $}Ƴ.sd0 8GH eu{/3+ 0{2)x,$kv<-²?yfz%cFi8g@%e sL~!^K]],ڦ<+)_s~`TytO4TQfHzf`n;9R55-TQgL֩{IL9V[6Ez~~qekRɮ!=~װnyfEm'ܪV 1A0kAKFO8 nK)RxSz$:Ӆm#5#T/G:_BM JK7Frȟ%k\m d0 ;$b]19Z ~$XJq4x,3jׅ\u|j ,5br`$T[=`B& Cs-|5ERT@k3 7 m:.%Z͍J4gH8 JHӲKۊ2 K\BLFf֋2_X1!q呭IphP֮hgn!Cf"s1 ufCH!x}{9€{g)&9e\I1u˭Us7Aû]}=e0rk)_d6?9L<\b=4<6dLbe nd\7+ukQ}EXl"jϗ׈+rͼxzO4lG%",=֢#u붩*56?C |: 4YPk.L+,֯C--'^؂_~VAօIФ͸&2.YH.7=(}f).1`')tFse0E\A2$zt*QOy~?g50i#/ơ 7@86ϲ9k*0$}Ӫnz08N̗RHә;wͱتULwRL^ tBb .@HE&,֫y`F.bK^բI, 9%`r霗Yj!n*j6a:L苐l}bϘ΁E^O:&n,ptDX6ǴnqfV;."\Aҽ.Z%N5i}2n9v;+=^@Iқ Xף`1K  vAt:UT>٧u&M:YI.l nij~omgJYߧvHdx!Ɗr2ZRh-nΣ}@܈ytmC.$8- =VͪMCX3]$[ 6IcE`[m ?# iNuKZ vPRV'XtV#@G:5mhɰ|Xi%2h NGMjuZs]w-` cJH53gɳ(ZSAL&]+F"Q]@0#ҳ5Q-'OA3N5S*ٸ.WؼEUm)iW!VAs*JH脻d;xRol$.~fbm. E.

'$lW gvJx]4&Nudqۊ5l &6])kx78ǔ1<׀LMS[z V58*tfNf c*%3yYބ[W_'vѷz԰+⯀˧D0R*>uW+%x#`ycrZq{-تb͈y B3~v4A N /.9\I=ZMđ NҐpv]8AJ bd<_Q 0W ſ(Q?\JG||$Mͩ luEODϱ6Y-U|@V'Rf}fTA]1naB# c)OXk6cyw6@V *ұ`BhsCqJn2 q!0S\:23黪[w.n 73;1zH}翡:A%Yv M/u1AV<"ir;SYjE*/?a9/u P.*woCiX&DdndˋcrW<]Eu`^1LZ dUU}[Bpcw㇥2Flw0^r}CҖ[b>؜HEŹ!=]7vd-"i}1*@IX7)sK_LP-6lǬѫd»X9ܘ-ʯ um\`Je)$B({0`+jq*c7c=:,mzaN_J\ `=:\0Zc- 4|xf\k\Xlf,F>x" ;|vT:/0-TV8p`5 Ɨhu+w=fY'|MjM+KHCNy7ÚA)oBUܐY X&^;L)(۽12PW * .h+GIRu}2?m :v ("mQ 8ϐ╄쀕n^,2l* I:O:+T+LG؎&0W So>e,qŬ"*4F5]YA L0`2B2.PR[ςdv 1\b9/ݻ:{L-yk&eF]bPϙ<-g5Iŭ &ԮbM{~ĈrőN@Ncbi.&1l7"wrk8M@H,?ɞ]BgH W$0"U9XD2yyڅZrr]݉Yu ^KǙyJk]E wK$m3~xvQwlGY w ~T Pdi$ls6*p>L4BpD$"ԻV!=o8 402lBb0 ٲrfIGg}Xf&$'nb3֬q/_7øAPbII0aDPAdl3y=ꪼຂ 1 KZ1@X_ ^GG ·uQSt:&U3lQLSTj\v ʬA( 6Hf;uBA9 !42rW'㦊(Qrge^mbgd,\Gr4T1h=%3~3hnȢRlm!fcA٭让D9j|u5Y#RBNDb-O%ȭQEn_ZvQ`E.@@[8BI#8jgW4I<Utxb'Ű nRDK؈wݭ»Lo嵊(ciK#WȒr QNeBy+\l !rfu ]]֙1هdzuJ@8Zf%rj/D?CvBMdo#[.c)m_ûrdNYd8[*tȗ% âE\Q"65Abg]Yɐq<4Un⽬! vSD}',wl_5i(ص Ubv{*WQ Qdf)=Jί==<2A m 9[mgdrrKabA.Ԅ4C )%/21 m Y.>ϱq?!'Ю]A(Y^7 慑 |ۇCU!X'=v>N#G ߪcL2b 1 2 F} iH)s2.7f T/s)mG߃pW&kݥ6Rr!K9쑼}9³ Ϋsd& *WuϑAY><(*BN㫻e#~d+N9ߥ\n.G51m7|%9>+P(tO?A24~J[g =odsr0Z)Z b*ZjG@:-$&%ȹ;|C2 Ҁ8Mc~.w@T|cs,H2/sɍ.ĝPc +c1eb [9'X1A`<{e`KSߞ4ݝ ֹa5xWuz%èׯ_ jۉ >jC#=lGg~};FZ}D(} ]ɪB4ףz3T#fD!n՗?jMYӉ*x鏼P)Mj=Ip?-[.ҫBAqmg9CRQLJ\F\O [$~*s CA،PL\Ϊ|Ja}$C.r! D s;jcspZQcd ^ ߑzib)MPWRh}pUWDTѽW B \e#~ˈcMRbް^"XOJh''6땵$ߢ8MZq/v+ius%eEeKo&CMZf6Z&V&|:bv,['LNoݖLhm)T݃urZ1ŞG\2$K'8t]iBFl8,T֨P"wgLx)q@o75h>Rԭ=+1$șaKK$I*#K(*1t.#> q=əeN%S:cqu$7R&~=D Wq!`Tƣc?(^ O^wt>m6Qbt're8m"GǚZSȒlCU ֚Mm.JŨ0P2-8f֮ 3E!5Yb[B$bED^wFvgHb¢9\Q26R8]x)E^mr<sD'0rB<H5*lX>#G#xnth˫e Pʷe4rv !1Zw*CɤO٤D1Un󺩟0=Pf5/[%Ԉ&qC`@҄W[]O`z~/Nn" IT)e8}SJkvUhZC\ى+hm L'"JS*D6& gzK稕"KdscnZm1Y=Q A+vש _\Yjáw0p746I1<`=G!-Ka- JG)1e5H^żn%2ؖ-?`~6ST?K)0|Fy{d tJbNI*#*ǚp&[АLti5aW:ЛbRby]퀝ڵ`IVDX"T'z w8= au20;ڍ&ֺ"nJ|Gj Î?%H6.>'X̍b<.w97brQ|4FĮ'} ]elL*V5T2q([&7*fTF fIycZyŴYz#C?l?P0Cj<_R~2vDN[f>o` `)l̲R ^ ,(u-{xa"!6V|#ɚNۅ ^IABx'a:aht]qRizN>}?h&$<@ -) $z3Q/mU]}:hZKMI7F ؀qtg1N4 h{:[E3b!@>@<1-EVWw+3`,y\ʴ9Ko[AHd<)ԂVnZbMĶ +'ajzTn^wZ o5oٴIV9v ʍ= t3"oی͸kƁ[U;o7.ZY-p$k䠧g#Ru7 rSfތl5>JJ Hjag\!c#T0SzY*VH';jFMXCW̨}݌?]l@7=(̔d <݈:bҕA1 .)7?$dkLajmaI-KV2XOi ˍ9n8M(^ z.z)$ll5#8lYGc+PMi'E u S0EԸ'= d FB&J.>DUk)y£#STztPwv!,rqt.r#6˜d\Q!81BudA5k#H`ub+xCW,(&h6g2z LZtb6`2اcHTE6/ĒêDUw@Y{ 3Ǚ;Ofjl"Uc-;@v*Z,Cwݭ_^#= zM'W;+Y# bTx-hХi?k<^U2[ $㨲`UEBtǭ@y$#R+N&*.f >KÅ;Z6p-p fհ]ǐM(hޛ⾖DF[ܽkv*{U2EbV l& Tbh7A&ѿвj3V3Λ̀[HOQ "$S4,%U1F>h(o]XOpp%J'dfsqe4ԟȸ68RJkd!8ơ3^~{b.G|l(z[XjRS랆Ʊ k!_h dQfDA" # =pzZ%q0ljk8DuǾP=NfT;Ho/X.RDz&Q!@E:B{~'?ׂܼo-*Cf*M9+Rj4kFp9azĀ5؆S25+]M{nn"%e&-u kc\;{Jl 8hO$rL6GJ1{!gGxhsDT/TG۽N iĥT Ρ`cJMKKKPrayPӮCX6DDaPvi@XB@/k Pi#dR W\n{/+#vOaDg;wnǁYsiBѺnf[%!e7'S׃V+5f"l&zY; dTau?G`yvD=S>ȹ9Q!~q˫^%8/$ĎfsKMaA 7O!VкkϿe#GQMd)WO؎Hj˕xV#H5dR?a=Oq/ة}Q$02y0[EJl[bCEc Z.^7\H*4Ա MD&#?-tƳYَ R$qBfeW-h(kca%)CLw*%gQܚu }\[/S0TC:rq֑TB.zMfszG*ݿl 2C~2e:Ҁw{Ĥ8G˩%1'cܺq@ !uڌ%Q1է \1"8o" szL@>LjjݏXm-uZf) sj}fi (6S&I>B}#ߚdIhOMD,7V1WL|+tYlSwZbO@di*V]201-]=5(mVʥVq}8݄='.Gp֙06HQ>E8㷒<"ĺne&7G:8ZEx>R-O48z5'9:yy T&Y n炴T}b#T=dUnh%c|}o jU= q#?}7* [D/xBm6pU\L`& 2jYŁW:YOb;^)ʱb=➸Ob|_-{O鍆3g9-2U&#9M4"7=?Ϊˑ2 C)Ua_\b[㬠??ݸ*GfL t;%(nlJX̟24u[V |>Q]c7fټ~}?N ԽD4[rt(|aG`c`dL!;Hix kK$|$fQ;.8gx:bֆd٭Fp4T474 54P*4l-' "Y~vJ`qHpV^y䕔9O5@WWESKRk 02^OѲTU?`7N۪E3:r_ UbEzf>j̤$#Ư\fscmc99-m"T>tAg\H:~>`PAӬrQLSaAk0N)!9`7;JPץU {τ+m$ll]'s?;oI~-1srSË8 #zk:(VdAJ`JHWt A\"+wuZjgńdUH+uCfsuXX2֐PTy^? $ݷ!AGlYk3 pPBF/_#V&jI ]4b;)L;g.-(☳ѡrG[wʁDZ1S`WlZ iJPO*WYE*Y':tch .Q 7CBL֬I1wseyq 7?R;Wse;p-g/6TbK$a< D_E8#[ךnn{$A%EC}}.[w{Bf@q]_קG| F+{E!i)FwQ ,&d؆9 ^NYFAoIlSGs j *DNUr3ۭ+p Y)0!Sח 3N }:xtbү_(RG1Ҙsn4~eKVv XHX<ia|Z.lřAu .WOU-~#&#d&ɻ鎘dXqA05N׆gT+L=>.P?YʻB29.?n淸uk[XGh[;}oqIoX 6q5g-mc]w/JO 7)x9}ʂF)9.}2&vx'o!{(Nhsftj]E|e&0qgeHP De|ۆn;`$ =(@b&,pXer H Mȓ)[mHmR5 Sw%;o{_ԓuML XoUqg  4>"R0/Z-1% Y |1.nOd SJn}ߪCA#oA"= 񧉝|9ZUMԹNnme-uΆ-gA)r|Q^MJJW2jˮ/#!1Ma?A lD`8T=2,A;dp97CzZBr G\/qeCu$*2HE}QSr_hܞW ssXREo|^sNO_:!_xwDv~j:i:488z@TilZ"ob7,T 0rqO{ s(cs\NSR |n| zJ0z^%<ʢTOڶ 9et>s?} 8~躕< S+]hru] 8uIhAX%MCﴽV]d$ tw$Z2,bm;߱_$f&ӂ;h+PaE/a;2 ׯߋbJ#CF>dB ~~HeBcڻmz_.|)q,oa Αr^T,ɊHnJ87ܲKU+ 0$r:{(L+dz5(Z*ەXڽȑgW>(ԫQ0C`*{vzeVbɤ5XJ!;(]E5bQ[^g#6 # K200nĨO[n$S[T/lLu9.y֫KAX[Re>D*NS>ơLQ RZuJ Ѱ~ ppޏ픬$$#y(Sٚ9 uȊ'8 ;y 1 2&s {]s73.U7n5SY_G;}oơm#$sd#\9}NaN+gv+}M+;1_¦dX ,Kd|sɼT6eM~:V@i#XMgD\; jwN\*)_VR$m{S>l ^q7䤙F_օ|k,uLL=݉`jӤkZ F EKsJ@[@n3yb6+Y?m|3"76tk\w$юZP 6 bv1$p@4AU:3a Zwuٕ?Wl)) :f]V1Zz ] W _~M(Z.Q4gG3btmZEP(^9-t >ђ9|/`JƱR$EZ5a w)]ƒV.e@|lT{}ln9f3+W5fdFˑ~\Ā-jbw l|ȫv5 gVKj?#FTܶG"3t{Ҙ3D~W#fiN Q3!kq3 ?Ef M0©r~ d6DY)bzqQ#1%zQܜ\TS *5C *MDTpjK OG*>Ԑ]¡N/3O*r6Zl]C'3tKUgzH|ijS 48 ,)I )vR/3 Mj )~abyf8X1q }r.ЕjI.l(Ƙ{O<>>{KyA\eU` ߈5p (ֱ|׃Y@`6hP7GÙs$IwwpBǢVi'vYv#lP?xYbn!`/KAM ^+om֣&ŧ؄MD_ʤwuq4xLʈߜV&9s~rKp(gÊ` iTe Cm_v!4mgiJ{y2[3i?d=ZsgIITayH*OJuG9<4jd{-?VdlߨwM>G+$,!'pi; 2ZZAD3]3Fp:y%[ƄPǨ#&ݗ%Xj]37?R n)bͽGPOFA8_*)+":'Ah2Wn:ŋ(.wE닺T5)Ͽ"+&.45y3~I}X;kau-FRw>_@606b*dgYZa64ae5dd1359a49ef5b6e6cc4b76ccb53ee77c48bf6df4dcb2f17dd318b7b5b00e238c73d2e97120c37505153b6d168206be41a3be06d982b0d0cfc8