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  ))vL, ]/]Stone_Algebras:threads=4elapsed=63.409cpu=120.832gc=3.5927zXZִF! Q(C]ŗXiɟH)0%oKǝd5\Vd?Ac6)XR;PnәJ% d<9RL[/04VF>Z~9CRMYmtiʢҊ8fl=:+ZpwKزwFAj2駄" -u 2Ü}GI=E.hS xL1w]X'{|X-;K# 8 ) Stone_Algebras  LDRsqBӓc_"ݴDx5<j [ #@N1Yy|I0rQ 1e*Ͳ64v(MU}xMũH(T{bK |Pu,袬K/a'Bdvh|uD.u(Ts88bFe22!u&N 7rRJeīU5->BD3|=Y(( ۄy"/%, E9c:" w+6@ɜ>ӉG=rU O# DZd7iSQrN҅i tPe /m5<5dl+ >0&+<֏e\QLU 0ts Y@>;F0MYnzڇҩRQX.:+Èq4n<",WC0'058 IBZ+*Ʈ@h *P/' {'18<?JJ8QԽ@ʲcaO:XT8'>[FM$\tR[-|MF4pF5/^I2[wSHtʲque5պl *z۔l^ȁ# h?(k\իE@վ޾m:nEГHvSaQєYɅA ,!RW:B٣6CU 6)5݊. t9IA+s ȝl8 H[:瀫g/x˶J;&{75q]C:Esz 2]~C=RbWF&Z͏|v֍a鋺W8Β^1!!UxxO䍰ؒ\k;DzڶŁERg|YDXQ,?Q%Y9~|'$`8ibڅKz?Ԯ.Iy,V<9 YYVG2L:`]EuIFz%ܰa(BY.JBvoIDu:I'[J \;yȑܽ_ @ϫV I6t@xj~$$j n^y>_'kFA-:"p<іO"&sBo;;"`,5Hp4LaU2ʱ!6Ts+*-2mY6c^e*I@t)e~/Nʵm"ƢMm=XGnD\PfIK 4;+^{e.{>ۚ-e<3>$R_n۩F`3a QW*Fc^IoALx%Xwwھ|8w, a7Dh-Kٙ5X𤔿,Eq ݼlp s!V Fy!m(^iJTfLYEifZv' [#&@~/(66Q4(mNV5&uCٮ梧d(O[ µ_ݡʍ@t-4%y4.쫕U+Jp+uD[_bZʑvL3P.Sufvt1Y}`NNFH|9'ճh;Y)O|U|W|I/u zsɯ?,ΥT<'fS< YW7a}-,)FsV`c[ 'i$q?CZU5Ǚ3T~}ҺR i_ Ͼ6'h!CrFhաYyHjuG YI5?kM8"n#8G0}dFF`#$:#[f,SP'0̷N(XvK8$a rrD ]@}PI- /HZEI qʜ4[vkȆǞBT(OW՝E4d>w͗zr,KE cy tpJJv>Bp{d,̗i>hا0bn9Yc2B4wG߾6IHy\{1YY솤?/jڰ%"du=Ҥwۥ&fGyV!lW;8֖t8GXlӁ6j*L g' j_wECh֩|`1]opuP^pSm+qQcj_2LA}gcSxL mG٧6>nq4Iq9mqV?"$95Ѵ`U:4=DMqrJ,>~I2i]r$%%Ϣ]F/ [9GY)yqX=x$ա;><ް6d o^T~fu҆0oua{LZ[OGNEtz\ޛ?19Xc ]/B`5{{1*r\ڜy!4O*Eے| ampEЏwa,.<Z.9o}0P%%EڵX ]uP~Td9>$NQ +0ܮ r-I))@$ev7:E^b =)CD^v{GBz2>ohƅ,*vyd~[XRGUTVhG*̞")Eps-= JyAZ͐= F^{1ŕӢ:BI^ g[YI|h<n }}yX :Gf7F GEHIrSeDNŚnsnq-?ẘկތSb=X\j@.j"JzK;U[Q)zבcjY'mG:͒ߪ ,clH9زLmӗoz}YzL\S>Qh{k-)[ D"G7"1p6Hx0k)K1ˆf@%pyW_:m㪺+ZlfQ谼>r>;6_ U{`m8Btk|ъ]q_(&_aM]U74eɀ R}z(>3ϢIeW{jU77?gI3iHAz-ԝ`fuv?r7 Fk˝1PDJe5"{oAZQRW՚4!Xg:aASTϢNX~M{<懧E-szSMFEXK١/yxc0o#jXƒiL~Efi[X%YKO@$zeU Z.W=H}!OD08dGLyXY(Px1 rp@Dt FH\Z$8HC ߡc76I6o'v ]/S17JȖ9+Ӹħ%S;ByZ]:/ .nrqNզzWwORET9T 27Nva9\*VXrLթ f.=_L;ڠZ`:sqAN1EIk$!Rr ?b֘"7.u;.:Hf͝Ё NA?Y*Ҳ:^j,|Nkx꾃< AjG%@fE{Cw? M2 hpV( O;A{ԜިzD`*8ѵI4a{s[yg:#2{KUwms(^3&xXSSA`Ǖ ! .?.@,A6s-Wr7 _4BD\!B}DtF3^d9|X XɃ`sA6QGCn;3D^)Lm6(XoP^tHAUԁŌKG~@6n !?}(HQvvW5c D?~@$H{֓ԭ_VI*#FŊ>U!;t\A\-5k|{@+>; jjH&)wتk &,>7܂8;=kl~H]cp-v$BQsЭ]αvgIzwp: 0j:"`eZLpܼvL\xJTF[I[>qPĔ I>8񤢷ۿr8nX۸E0zaN4d;gd"E:AQ ՂZxMwdyt!FDK;9#ONF~x^q>/\a x;? ج-]|ET S"4+,CͿ6qSٚb*l χx[I: u@Ȝ+d!fNj:X!rH ?_^ `=,C%- OӂZws~\ O10҄yvõq=4;fG=DϟB,߀;" =Tz9BZҎgs,k(gtY-,+@z3I*HC-AcT92p\U w'7P^nl+ ')," !ZO>`hSM7\8կA,;Iq'D\|S`L þoa.G'J\u9#u ^(𯇾^u7p K u!w&MKR 9)FMLL"ߓˎ*Ĵ'w0Kׁ[Mر?.$:KnЀ(rd3 y"@j73H/bϧMbSxz 1#R`E DG'A3c;M= xFrP 4 ,yMy2SBG:xXbh$<9> >ӫnۏw d^1J蘠>-Lq?pJoQa' Ѯ\+4#a9ɦdTQė{L#98z(d_εleNQw&MoDC=-gDwL+!FĩG+R*eOhW,hKrÓ/_}JT _0=@Mg?ᗹ?ϩ8\t/Q za^J7Q/)l͒:}ShuMV;T6`A|K ^pFE#9|Mu6>oUAL", \IPֿzϟTi(>FQ~} --JX z̯oB"lp>/wU9KۧVXx\G[y33/>>0Z[vJqPؽͷ*Q8u06Pg5ڃ isҾyo_JD%ʫ߬wB`K>]_灵7jcp]݄sۈ'&23Oé ݱ-/ȚٵmK{Ga"w M! D9lbT&6HzC7FV\Xg,zsNom$ݓ zYC=I[!'NbR; Ɵ38E2Xt`j<:9K3Lge'%pV)vx|a/Tvi*~}~8zڬ۩5h}X\R]v\Ěr~{ŀDg2?w6cR46ͺ(k` 2%ɳ;^܅C!GdTOp!sb9YU&Zchn)ÏrYm{7Xpŀba5Ar2*VhNcd;Pk'%Ff)gx_ȀWCri»/yKeg+Xe0 Ԇ?,nمaoo~7Q9ͥOsyQ8˞@դb¨LjP ;P9f +|v #v7I վV\}@@mV<;8É+jyǿLZڥh;7+FuBǦw 4}ܷelrm5p:|Ӟq,F&|.9H!ߊ"oDeCvNRZ\!ɢ. IxIvhQ$NyB(V^ }0*ECV\D[YS 6[qC-eJPR|&#:*1<>a6|Nx={r aIMVʈ 7i#H֖}+UWW"%H>$3zvE,(4M@C=mI*u_Gқ0< $+.Ƞ L݅F\RnZ-"Erw_`@z8}հkڰ2?b_y@c@/ ="dB&bPm^%wb1̝@z'M51qJ>=tr٫֥t^]xn𫾥c qL߭4!bMg~+uV*$־bK…Bwmd.LCfP6RϥS ':-H<]>KbPdg0d}w^J24y{nGB7շ]]vi-;*34"L T>ދ6r. \9Ґd9Z- ;Et$`恷: MB/Z읇*f M.69?Rl6 Poްr, U)D9P` GN^ 9oRYp~ L;1'v)sJ v9[U pgJDRu)ka9X(-ePȚD6;b]"68D5&Ixt&/RW'M8xEXщH> 2 8miC |sx!|;Nd[?=mY֒΋Y $w%OwNlzYE)k/sP\q /f{q;._ÇNlw y@ϭa_L$fd0!jUzC#ֽ!J?/ ꛪa ='g6a`Js qY|mE{ٕ^!wIRZn6iE(0i#.H'PAw8z7V~/A=yے&`E.\L"-Sr /!Ο!8dUKDv1DФB󯵯)nv>~A~ALX%;#~tWOs ;u}S{8thmbt.zBWGˁ>,M[K1X+gҍ/\VKEqIK?3 ψlղ.yEqIUE/thi1Ƴ8yvPRBaL*Qm{+ixEp~WF]8L ɖ,]GCN]/@*x$!W |r!2]Hlɿ /*~]Nu u)^,6:u"}twmwR1IK |l`8R5ۃ ORaNnIF6Gg]Q\zjS:1ٖcz1(Ɖȶtq6|I: 7ݮJ u-~-X@W }V☗W@Ģ&o!Rf.ShYi 7bti1m{( q̊ZI2J[*Uϥ.ա,UAdJM Z-T(sg ]}f x*~"Ż+R4jCBOܽ|[lrwe?QqFDsSGgD|m7}mUY~Z3Wi)]A#hnAﻳMb9`¡L,c]t +"U_߬M3zݍ4Fu!@ 9}6Cή"%G3uf2 (>׮M5й"U$ rۑZt.xTX祖ih>IlNOu5G 6ȫdt+>+dCrUBڟϻ^q(SsgC]^ɛjX ( BrԴInjڠF},@ OĎoy2L7VR2Hon/Bފfϒ4wኈB8gɏ#{Gv9q-ryQ<㙥/z"*AyqDpFuexvyqs_ZZ4W6^51=Pʢ};"Ĵ]ARpm.5H5c-n:9,Ezl:XTd\à2Cޞ`aR_zj԰Q{uÃ.S4Wn9\}'0MNV9dI]§I&3Ul`{`B:#;\811(Dju]fR/X@ƕX7[׵R])p(bݫ?F.<Ѓ\)G #V'D:mv d$٣F>1Aۅ#a1zvWAXtXj 5%,}>w@ip{:ZVNH#޻0@N?. M'\D:l3B`egpFPLò#m92 Aw6.!NN&T k g_Fn3XY]l{D(D8ʈs/z)Aսk@+$Mlj(xjosmeP'AFO(Zf{܊zpڰVJ^7 >\hu@)B00P Q]yNND0@Y  HYv~2h,ѪnT/<_.;YfH}ӥeWmF%)zaay1@tg#bWynUg1}[Qk +$^v?IV]z5`}u XHZ\26Ar-GVijhRFPP$r:UK" '¨'2gq4$B1.WEqOL蟤rWs  u7X3 B$^UJC`(#SpGxV]2& u(`8kr5NYlߤO3^Oʈ}wPyI-78Rw>)mz [iX^R JsFF/k?)$PЌ' yG ie$ EC3}5tyJԴΆc!f喆d p̜T믰Zw nf9'iI-kTA஭Yq+WTEz;IҜ1e VG7Ģ@wVa-XinMdp*1-"YQl>|0)َ:mFIq2ˍ_X[ /WphMZC ~+SٛaI/I\;oWh;7.>LR8kq!wll:xXRvN#]~_ O9'(.d'()~'xR *ސiu)nɳ&5*@2ާ } L^i 0ܡi({0Y~uoAqaHs0f MhQ5?uf} D9>of-+0FȢeKl|utMUϻ6Y(-XΑ^> 8\؍q$v7fe H> 4>o$m_|Vl70ஃ{BD>AC/XP6%_;!h.V 9KwҌ&~9VdnO ;_cb:8:#p6Qsd&6ɛUcRQEF"UjsLڣ$S{}Xv i!wHjd+뤑s~UK٫аr Y:,g1!'X,PhgeNXZ4l#u0x IN;- m۬3|E$ã^}_ 1[h\ƣ$=[^* j@|:7&hP̄Ͷox+(+'l+ѣa'01NϹܟ/0Mq?zUa#To|)N*8@pj ?Ҟ3p?Bs3>9HՁL v58 F4B܏537{ޠj\i@%FAcj^ݳvfb3Vo@p(|ܩh\F*;}/&np^`VIO^TA,%<߽bc0Ewjol:aj* 蚪ĻKly{8ϚJd_s- H֧]1LBE]sUFCP΋CPKq"sa܇HiY'Ӝ^fa)PkDQTT12 N&7\[bb6=.gNx$EB􄿂\:{wDQ(B*ШuZ3'AfY?CYYD\%E_1) +8@*8C&Lq͏7}:oSs+vK^ 8T[pBM\ aS~tJ x7t ?F[ 3D+XNP߂^]'bZI4 ) ~?$`VKv﫣vO`7RelEґNOTμ2~'M#}Gz8m<6^"";uҨ\6cWiTCTz{jtjKG`ei D![&!Jx `sȴYlI>4o8^=m]d`#"E%]e@O#I>;ޅ]ŵN׫5Z",?o Kъœ۟=#Fj`cnMNG7ۥ 5놕Im#?c.}<(% g,Yt[tlau2LhֹŲF:6(uU n>$G$-8@8u .ǜ!4<=TZ%dr =4i+C{.GṈn,P~pE8 h#Ch\L ~)En6tPY "[)EH#) [$Ʌ13iKR8 ֡]v4!͍D `YM'SsTXΎ`(M@}4 fZE(䥴.@I05ٲy J-z1{&% K˙A'] ֚Of,EAq֌ O%B>ȸ|)._΍rHeYǽI$,N>SY:4:kw 1'{.kœ/?/.3Ӊ2^`Y.lAS=hF|jzdR5|=CVpYbjצar|6I}OcO2InBűu.(oِy1gBIXȹu+ C7fB'R썈@mt]'(R1ll xoYټ %(Q'1&ē#iL|7ʔ(9ޠ6mh*u'c%d?,@1UV1@\!0Uh!i$ Q֖!eF{8'p2pמ4 ynʖG>I[D.T ^q-0Sl^3#Ix$&.pz:<㾳TqD≯(9$@BY@8JĸM+K(ݶ'a8 gcia$[ hl웃Z #uv?P=r`ښ}nsa(q>e Az;_sp%O .*@ p|cillA^rL2>!EwCFY+2oփ[ozW&>U\vz5n6df! Y3zYh[RChfHHF{(NXdp_{lF^SB4 .{4%^J>XEk_yJq~'Bj1Z'` ;MC"b+1%(XύCj}\'. jn]mz| p @i2ȓbq^ApsM@`bD,dJIja++:N4uOhq;W_bbِ̚mE '+$0Ⱦ@gj27-gt_7sVx_U:M':;2`Eusmǔ%H@Jц>ׯFu0ug$qBcŗǗGv(R‡ih‘ml~r0m[q])'Pˍl r~>y:&㟃cZV R`,B~€ ڮc;َ)Ek6ptR&rS#v6q#i}2fx+nF'NDګޯ]36De,lRwY5 {JŋBvn=* |NO[ӂTKE"%(U&G1R@, n·]^vQiȝjAzftL9\>Mu`QN)G~w'ߜ$K  &Ԡ=DEqkq;e `-NLOͷL!r?Uم %hGJ\ fxqx5!Ř-Qm"lO"+xo,,D+Wn{ &ộeVc(wqfV  +vE} >ʰ}05_f zm{:SE>31B*4iTwEX Xe[NVkgMV-<-;A,\P*=dJDKt0f|&&%!B솲L]ϸ6lUYpL%˂֌rY=lܩ\K%`eopZ}oJ@mE韰G4Gƣ6 ƹqaKǖrx FT;}U13xH[cy*>O .-VZ0&b$4lzIcaV'(W2SXUA95&r)M,/l IxKMkӆ`n/0\:"I_@'I \m'WJՈ5Ѹ3&f{R8}aV;[\םfӊό!{&X0b'D+|PYu> 7@}R!Al8wņ Ewe Ҽ+Y෰AA7Oi4[F,HngfPkki)F@pM^ЩK/Pd/xe2D9ʀ"QE@FEe3&:+@m85h)aUGp~Q rlEoYLM0eN,hAM>!-u;? S`)3٢ ozɻ EP2< rSOڿBvV½QWCW<`Ͻ?UВCxJ=cnZKz[;lDhz*:,V#ٮ\֫{ S|M{ NÌҟX|UX aXu _g{c ch׭4v -ef.D w ) 67}h Tٯٜq.7| t[+61TrI:N%PB7m3Br.$<_/V;DSw겾&&5N۱e<1FR*[̐,Ak9l2K~*JgEj&z!!+`Y.H7tɒA[]j\PT~T]Xs8[=3Id[.uL޻~znhGDGn"0iŕib'Qe%Ȍ ߵv-+TۃTY% :=dKnL+ ]{JX&ҕ<-:(lLD(q9-`4stnwʧ@k?㲇QzIj_?chPae!s0DyA=ެ:k~Z~JYpzqM2ǣkK8 L 'm?b96!z[9ߏ%} YbI׿ӊx^~һ9T;<Uxv7.<^7^uXǴښ֊Ȝ/WICh)nzIJi|)LA%ɇ-1Uƚi9gU|$ ~YiG$!.wѤA+HZW:\ ,FKPa]vZRm P.e$.hA~#ur_8aS,)>r , 3[|ËWqPgC18rMƒW7I6|Ȩg lz>P{=?5v_QSM(q.;p_le 4DU"9/qR],pyYqش0?3T&B}9G[Es*Ppf1?AU[nVFf}uX9,[jjcC@<C63dZ$d%Vl5VK;\Obd&퍏oJr =tٞ>JOm&V{6ǦB %dj*Xo,u1g.N7d#r9 p+q~lfȔ󣣧< V2E|Zm#1,aLPq&chJ`^^* B{!fx'?>~(QluXɃw c]hGJq{u6B)mǴz9%A$ 23+%Aʢf8+W LB|%U%g22Zq.U8u,^OZ eU iW,BhH7Yxbpd~&sVQXd~&~? y'xKb;H#8%6g$mM!1NSu.{6 2YÈLS OIjdpIf9g`1MCmTVgǀ NAЖ5m*8?"bS,)kZk.%ouŶJ\Xv{ =R7ւT %wjJ, AoXeOx3zQ )顓XlsO#hSBQ8!|RQ=؉[GÍ|@[-6QYXH ~9!%9 CAt3F)Ș ziv.; v4(BP xv@J0*.&qiTI_-eRąAF,fuK^~Dqk9<:ғiE +9KPdI,Hπ.FN[G*8SRUlȃdo1iyTP%J(R\3<^i_⤁)NQN$#fdhIZRQۼ5~DI\DMv(( Wvq`RwGJµxg;W1؏w'[3ph3 xTM3-#:vLV\Gp9הV|:pX.Р4w2;6yb|mzHVZ3B9+<9pݷMOC]# G?OPZ=GΣ$%٨sQx2Z_>2RSe/y-NNn^#pgTW* b3bMmk }Nߤ$T7 4*0Y/A<0`Vk g:) O̓\Ŷg`i# L@_h>w5u3tbK:$ (엥?bw NU>ōR**yϻK5 DTeDUVZZӷ88jZcED{J_̫˜~OO=Q S>P$` kǽf Q_u,VLʊH?b=%!WȾђSfDځ/D)'<"|ϋ(ZYyvBZ iX؂ɧYfgw릻b[sE.+{ϭ%)O<>Ŝ4l YuwMلڽ)S OM;d348@UzDArv! SZڮ|EfjsmAƉD?zY?Q1eqr.;ا6pr ГEFMcʥs60 f>>]j?zȘX+ N#*VjĄ p3_cJFLqLEfpEԊxMfjzM/^KG,ܔ1S.颉dje]os|L2[v3n&).KV$kuy@Mm1GMe]1S؅ 7*]wQaqm~)r} wȕԴ+ep;Bb:*\HiQk{@Mܵ3dƿ+hd +߃ZjnhKfV )]QpxR{E$z:O]̲ +TM[dvӞ )EMvRy]ESH(|f-1>hCLvX?WĤb~MIl 5خ-huz@kz'WZ@R:NQ\* G{mu>e7 z]kd*ɢb!"Iﭷ 8٘RfF1 $'QR,Jkv4o)<a4:gǚA(.aCU11RTզ`íaB*%4Pk{(UvhQPG>DU*d;zYt5qFɐ~ Ig10j!3Rs3ZM6~18IRydo},AیY.2uRsgۥt??CDRUAA>7{Nd5q8&K_UZ\^YHCU D2207Ȧ4?'I~SqHck?WܯJq F̰,qD=(8QMr틘fW5QL1L1xIH$b;GZ+ԱTgFvfp@ƛӥ0(_ Yi^ז̏OEt"0V( C& ``; dJrLH59d]77VD<ϘB 2uVfOOa7ȼ"Gq-ULV1[J_t>T;sn7,3']=(*FXjFFJ\CGj'y~*2;A֔;4P^9cLk-B k-(ĥϚ+Ny-sLZ|3J c*FAM,dOWAq֜3Kn /n-r[< fA0A @E:K^CIj'%^a?>*r"oڪvsUv6@c1͝{Kk)Fy!h~ÌIԛќR{xTʐq'S rT:ˇa[=Q9=@2Z\O9\_i˝??,`yڇ:<˿]/{9,d׵>dh_2T߭585.y𷝼9CDB1ЬDxua[WTc^Ex;ӝ8ӟY1>LNyϦH+}r|'_Jn,48VQw#DfHKJ7NN0#y Hע]Y'_h(>ԳI"T%BcWe< 8Cy96BnګwR)og5}1i;#݊GʇXW:cn|ûDp?͋p8me\b%j[5>Zky;{i|>UutaT90+:.:+eEBdM!ESRDŽoMүoiN<Tm Y#Qْ3SLyo&UF ☎ RoִC_{ Z3\۳sC3؋:-4=Y/JE >־F{Owq_ѝ vߐ p\?2 -MZa#C9)] !9ޤȨ} `a9e =[Cbd0{N?2H X }} Yc=2_xFlᤆ9W0|D9| A W)V[_ <%eg<t QW5=d:0@N怙Q'¢Ng-4Kst sLq8ʼ.)ǟŝ{H_BoԈ#` _h[@:ΨjiX]mĔ.l@uyxĬ3qva|u}:6a>ƗFRǒacȝް:̥vuڤ-ae Jˊ$ppRq8<9gXz/4t=CY,%ㄕգ]ۚWl|bEh@|DdrC,ᖑG;5;*`ݤYW }! ޠWA cƫYrWڂ+΍QMt XGJO& ~n)N-E˨89 Z-뒵Qy~gh +3,f}Oer2߾-8*y .,Us[ A!L^B%,!rΚ;^6.^tp nkBk'3S2^S3;P/_ 䰔!a-h*VJ_I,uY CXiU9ߔxף$ma)iS!^d (R]|nmT8AE-viʗ5.|W0ຬRSM܈7Ѭ]|U{->'ODV`yg 0ʾ^uT qH`R7xZa)a3t6f̨Kh߫qR'^oW9~.&~.0ٺ,Sء[T_; w"/ZUcP%7Z=(Uxtr?+F4Y.ei1dHGKg1/1"~b} a|xƂ67u14IRIH-3JA&K9FH]6FVjtiϺ{7!p{xB7Ft w7BzT;U5\ʥk[x֙X6`NKp݆"[7M o.qtbW>3g3iaרuu9j5ei25RQk=6З<댼@U+` 9o,}k+VK6Xk=](^h?鷕Y:9}آ~f~/ 4*,sN͜ V"qPJ6? Ȋ/ r*2z[PY7hl2IG?3|Ĭ+{QcB+X/M/Idܢo$٬SҼ;,g- M>f(QϽQФ qK'tڷR4qfkp '%?lM__Yo #fc5α˄Ǡ&uA|5a<3X0) o"FdI {iOp²F9dC[yT ?}SBD.Va_qZ#؋ܲyhuÕb3[ZqH+td+xïi@nY*0 $Nq']!W_6xDк+HDU8֤C${1h Lxzt[LTK \@FnZg'v6 4-D;.[eTǨsRDɷjH~kM;k-rn7 29`mϸ(̛s[6nig´R}!9 Hܶ/8N("a{"Z[ 5p ,wx|'TTL o1>]UǶQZ'%:ux(Cs9`@{Q]y2rkL^V%\$eg'_fl'Xي V-t)inc'Ex =1_0ہ,9^S)[alOl_M̼o S;7$ڶaxG:8WTQKd$}ӣxsFZ-{O{N 7ol4йݏXjY)aF/;37 Lj^}p0?(M$Ao^5wCv,E[78n9c(Oɮ IZI :违h's ?Rh,^u_;QVqT$&Z ;XqKjM$q~A@W jIj;Y: ~MxeA4 !*F$! y( \Ҭh[ygohF8lNz0V+JfJ`F*n-tB_MFOëIVLOPTs益p~s4 {SI hː~8<5Cn`0$}BO\ 'BTQ{tyOQc-P$CaRHUYD E.WE.B숶hν{TsOz r[TW[W=)/j_KɣYrm0s??1*ah|Wʝ(e%|4KcW+qW"ׂ˥ۓ rɦfyb*rMFVi,R9ןFaґ> m `7n#T 󰃧9*WC'4&XКusCJ'wPnbQk?.L u® >Q|]rzX-#s̪QjG4"zœNc(p;nOa7c!=}>Up,÷; |vCd\/-AOJwtޫTpp]dMC0P,JG%qDC>;2p{G5;j;+XtHғ+𔾋 hV2Ó̚Hۂʈs"vMk @eB9AjXH7%|<&_A1J8erq8%*)La1$zx3hnYF -{ԣ K>Tp\@{ΐorG9gWĔWehDܚ HpDVކzI݋bq>)%aCregh./DП4Ir3ֆ8.VN`cfD͎[ ^QWѵj 59g\`Mq s^cAyMYJ.A}< 4B2hP)^SOm6B$w/]J0/.{T((R̛WR˥_)6]UxNmR%} {.ʒ5?Qsa(/5/+qؑZ@%Y&ZC~s订Lc]04`bd ʊ˝Z%1LJ'MHwoҁӥ< 64zpiBIi.FQ>Pn+e9)Yv Zq%w_R(gNV~FH dlW.|.P0c*3;*Yf$Ȧ؍8Vjvuz@:=[9td^bP"L{A~]Y,k8I&]M\ @Wn|UAV49X܊lyPUTU蜁~0 F' :[|m"U2#ipm6/io:ҬL?`k`ϸ+'>rizRN|Zd"jwect+=hW|;6.W)GOj즃,YW\@N٫!$VFfp,,aUSp`J5q,{]yg޿-[ idn_1&񹟶m`<2DjQ=iΡ|0͖EKʞQ5ޞ{vU|!,bfqqb'-r)`$`P )RD[ $Tb"GVN.7o¬WM[!zĞEƑzڡ^8a.QΙU8>߬/gwl # sƄ/̤D5|jDɭ ]F`FN"^˫)-㛿She ɨJapU(!Dݪy2_{j<7|ZS i\—GyGkb[ 1!85u\ gh|Sٸ*'\z_4µE/2eHAm$)7p7Ff$ .E'hi} .8;.y0LqJ}u0yRs18t&*cff휱{"Q2ź%Kp'Ln%Sy[ E[Ҡ8s nt&-SS @kvuQ$t,еIh Ơ-hfxb?멻:%+zK'6 Țqc 9fm_.3Yۜ=ǎ͊cbEpNȨ3M5Z[ޤQ|Qv<[k]g%ƜWÇNhqe$2pTe{!A 湑ЪA)o}Δdsrp $č&T~AyZRfS>6~BUB/9p~.SYЁw< .ۊvn+=y/(?พDEeX ,%%bV+S1?N)E6Ek[ԃrOU` p俔DZm=% Kd -'$\JWۼx1P:uO_/E>SYDfhv [V` 2U ٧H? mbRD ̤糩(T$8撄L9*(]m6!OlO)WKg0N_&Cw&>( t$B4Xeߜ׫Le%E{3 [ H d&8$jy=w}p4!iOUӼ>]WK~ Hl&M/PW,bewrOy~]I"ܪcmGG#jb-wr'͝Jt ]pdl ׭)p3 jN<^ -3~i$,ra5|U3/dsn'0TW4r.Ŕbl+akʵGVnѫQnA۬=`wxVM^rTkVLJv Uѯvhޣ$z|2 \$\҂}{A1yWazcH[ipw)ܸۀ|<5ed ҼAɋRXo=}U!x#-GeOp.n# <Ҕ&!H>T3c: %`Y z qidQɩC]A:Wr(M 6J |閭 3θQr%Y1}9gab ]?/mDa<:䏠˚κM{xEN>q4m ҜCDW8Ej4廳Z#@ ׬ 9dg΁; \ӻgS%H}*{Fҷ^xYpHw;n ˱}om˱WnII{u=Ѻ?'4YߑsTKh*As4miT93bV44 7Dl2>迱( /Op"mtCu6i}@ZGԟ QQoHXYo"wY'{TmLSNzΖi9B|zl!_L0vIOQ9U|>j7qq4I#qlt֏0*Hсw; T88ӑZ?~c;\ Ը!fEP_fK@Ӛ@֭~.oM(E[]yPl(}K3"u)5,M!"Bw1A)Ec{|!N~ W K/;1ΈծnmOE#b~D.*T, 4]UCUk.y]Sُ֛{gdzq?oeA@7 8}R)R}#Tp/ԥ?n(G09RqG#aHٲ}ŭF'_ -~W~m|݃pZ = c3 [u놥>ׄoY:j?VΞnECcM0'k1h0SfDu{"7|aS /0{ ͉!Gf=BoؤhZ]6xAB`eU8)kሓ t_9]w :qi M,LI <ʜ "S~84|ΧsX\n:#a}&ܴ#4Z 8,i:-E:cP-WmS,Puju}zcfh)}4 |y Tza( sK;abE74 3rq s6\ p]1Aspv梋, |Y&ɬH{͑ R(HI`}ZwTBçA,_U_}w<8S}tb #%tf(DYA3$SRfQ1%߆oOF8Q,]*(,"fn(TB͌/PLCqW@ԒH%9dj_=.ȷ-`c5mhG33-nzer tK^be>?OEjWd&BhA1 f~ԫIs-m{-`H{N(ӂä@.. !ϱ~O`X/;3)Ll_2ݞKrgpٱ6AV禬˟[:K630 }c8Wv3sxLqZ8E֎I }<&hQUu+j1:1os|WO Px9.z<بZRD].78_4, ISj{,*#*Hd udFY)x [UטZL,3g3Gf]WQ F&ț) %9-',KoՔ>;f0>mQ .@_3A+*J.1nHlcʑ1@nJiՃww2qJ;^Γqqc9?u,R= T'Dhi#};t5f+ lBsUޟ|Ć~Ϡ@ä U{炦[Ĕe>T0+iۧKGx']˹ 븞Hu p/m*+Ry{ ,LRHd@qEͦAW\/:bWhSl"'` 'y`|cgكЅcEφ=?ABmua@uN8\G"]dŽ omp)TZ3[XK&W#bĔ^Rqc…X8GOhUt<Ȭ .Axz[fǎ0 ߺ! ֱgYZ7zXZִF! F]ŗXiɟ34Zw۫ L,#{gYZ7zXZִF! 8c]ŗXi%L&|O|Urp$ =A0ڋSMWk!1 QGnj vЮ1s>93Ķ0 Ur`w LN0XP4R`/f`NuxcKi(6zgsMiBG0K,l v[ey v栢GSkmY FAo}"  ~W8X? ҏ1Y\P^> 8ߓHB`f0Tָ@h7%iP*{p0`nL0ѯFWj=VӶ'u"DQ eC!*7]MqdWEgxv;bRyӘS^_Z*|VmzqGoϜ! j'5m0HL)IĩaU6X H4;eHTc]l`q2m1W^2T0^[\kyaMЧ)$B9&l 8 r;}}H)xRʱ2`POhl=QOg\nN(-5\uE_m°Bv[;Z~}QY}$)AnphQaoz-ީc_tEx4y'Km"IMa:3XGi E3 "$#ݯ' &6Ѩɺ08 `[yvmsVzǒ $ +lmD[$zYh4#ծJ ּgT+kb0R; TEȄ 26EG b)CgӬݘnvnVpõW&MBf0(;4/CE_j+5ʻ,%:3swYL=n@q?/ ' -HS530)T+ZБ((uDdVaP"C'؞FXT)mL؈lH+TY6h#6DF"fS+Q>|'$uzYz˙8;ys؝MVZؐyτ2?m(fv؜{VpyW3v@мLelT='-H كk ~'ɔ4!gDŽ\*8 ՓaV p|j]#>R?n9h1w BvS:5n/-P>'ov29^Ήc$'1TҦst2-ԷzOW4X0g|q\K,;u&~'gӲtE*\,냘Rlz{5D<_Y͡]K;gORVa8&{Ջo{fZHvUpO>/t #5$ΌNiWDAq_㣋^jEa2=lD9.fGUŁ/lyZ!q<f{[ÿ́p$)-L+wEׯܮ# 57ϗ1] >Wڤ*dm/59eeު5-M|ۺ[jcraM*a{ĻG :cp@N?PZe# Pz5 0&JT|`7B3\U Zyז7?X> .@ TN8nô+A%j@[( @X Pkpݞ8>ؽ]y7 ̙(mw rYxF B\oXØ ;EAh)r}0YU+7zp## 6 :p+s}\͡Pxilv)(1({Q=M{\#]sFBTP>*; 1A L)_l{*IȶewU~ |vckq>+VP KņPk &SPZ{~'E94|a|t-xxYЙޕmA(6',_= u""Ĕڢ7VdMr!v3O,[QqV~O$@xDe-\8L $1W hoDXjH`˴?)-e/Zz$ !HAc''ݾ.N-)1U I)4;ֳ5ZϭO%#Y#h66́_^`}XA}|b3#ØHw tsiVbU,2(=@ʝn_ K&QhmI Pq!wC@S[v@ڈ]E>Lf{EA)KRûʱ<^nIJs(|~=U\s/Ⱦ5\8`Ȇs}Zxdb,TkaQ^mx76EeޘŖve]J_Ѫ)Ec+v14Bo|F"+/lht\j6P 53mpEa29+) [Cm %iBXU=S ~s ,A,YC4P\qͰqvBQ[{~RlqpڮdfxUmҥE6?gPȒ;bR=z)]Ǣ2_'e~6<kEfzÊweW'ӿƐ\)XE%'Z/T`oCbaBy?fK "F%(B1^ڥHi jMRK2dvuF[X.Ox ۣg*[M3/m i>P u^F{71?Ccґ:Ĝ(ȈU\ SUE |d 1]+R: /Q}s: ܻ,J|(rwBÕxQDI!,i[+\W|T+b9O/vRf#u쓮Y7V5c,RP!67\66Oʖ.ЊvV!z=Cl_mTpg,WP+Vn25r{2Q>#Ҡ^Hj9}9'lHLZޔ)PY9- _^d(' [0ᢾ%na&3Jv+ܦv[a3h(#er1XQ i +>FR$S~G^#Vdg9@tUx-4I>JjԷ u\'-7y< 윁 eOF3)|QnQ5dGXYF 廵'@bЕ:TQkR?̂ـjg>#vO9㟟K׽$E'}o|@gfnaB4%&FgYZ34d7a5a0641ba97767b615cd6c77633eef4104469aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535d14ebc381d572bebf2394c32a3f16a010caae51e