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  c DDl ] ZF-UNITY:threads=4elapsed=8.463cpu=30.308gc=1.192factor=3.587zXZִF! hZ]ŗXiɟd)&]hS.J}+%%:b(3m&ۇK†di{"ɪR)gۯ6^R%h?sSi x ;DvP m\S=y[Q8W5ޅ=e|nk`Ugj{evni5dym!H0rVEJIY3ʷ!+%(QiU! %rNSsEAhBVF`}je@H6Wh2f7~JXEQTFqU[BUAtqR߰-,9vhތȴSۧ%* I$BM2Jl4yGl/Z0OX`i||T@fcSHڲQ.uke=QrS+ Ck& +U(QeWjTB7> x#xt:׫UkmʶƎP#8u0rF );/O4< ?q"kuc WcK<)Qv Eo -ލ4u>ڕU8Q06   ZF-UNITY  "i'$6:4Kش zU_Qo:x ƓWo6[z#5v`|fCjje.ݼj_tO2N.LrHYDL4rѩ-lTsq$E@<C?3K9X0៥d^0{7u~ɈEϷ@R~X&= }XNI5uCw:>| RKRs?ҚJe{] Md ~N +e ZZ-dl1vT0ӢgXRJ#}R?*hӎSЕӇi@8<\`~f4 "ӟz?pխvs;>F(&'%$9~i~se# wNvp]qݽM.=A`9 r:du#ϜfQ?G".H}"\ dX9*h#b̸cpuC<8{dr|>m9U^AO&~fosjtLqop|pf<Q B\uVҨs$$+bFIX9^ ʁѫ^Ĕj̡88?FQ% L> Jcsȯ;ɏ7 (w8݂B\Ht9} 9щ$E;ᄛRJ7ʻD;ZCnB$:,Ag<#L%vj|s]"{! @7?LYh~t]l<DNws¢f:VI+$?UOS˿*'g Ŭc)+]JgYc3 <+~&Ӯz2k{&]$fVnII.:"dWpJߚ+~l=V^Ej3@؞%(4Ipݙ)!@BiZrrcSt(zE\ީ\iT w+x$vϗ}_j'if6P jA2˟JDjEna6׉f ƥk6R,7J.>&zXo}W̺cIo⥰һmz=]ٚ66S<$>g?>n6/P@yãsxEc,R*!jeOmҰDd14ȇr:W* n(C)Jy]yBKņ ckG-3oTԜJV BAUW'&?uJ 8oٸz!fKNYQow 0\\Pj8pʌ ** Xpc% 8.r`)&󴝴;AJ3}-&gY ,GJqxҝAc*$ K-!Anvx tB77 GHz!sA:{ocC<~f]yF1?ˮ2kK&Q]3)SjiQz[h29Չ6-GCQEQt(uxsw2![CSx1?s9mkAn?Y\oћI(Ij;F8 |ODJ }39}5)@  ocF/yq.tK?|N|ǘrH`Ey$ڥ=OꗶR-6oHk5+M:  W\w%>^1"a~ Z1t3ü?\(%d%}V;  j|;;~x*&g#\,!AHZ"5kKEN@A k,d(\ba[5%p &[AI56'Q6aS{}r||뇢7P;I- |M, 11sGMRb"֘-Fͷ32w#kd]*R6|,etBf0OZ{/Gʞގ,B0՘J~g$;nԩx gE-;Z@|Ljڴ-aj11AE֞!t WB@(R'sd*u~ JG6zP~ŭ Hfj_'jGp8%YI-$E90pHszT|'oC;OLY|5%DP'Nk8 qj\2lX ʪwA(X7 u.F9) Z3ͦG(J> } eyo"k;Lw~>؞'z2Bμt"{uІf%pH[\W>~Wr*'_m\ H_Wl3 PAQ,snE4yA]hgMSB'cy둸Zpm?<ӣ5[9i}'VGe*pzq刑lV3)GujV?6Is엗uۛyU+ &oWAH)w6ej:%ZA-u9< Ӌkܨ#QDȯ}au)uu.%#yfKBPy93`ΜL0-%yC[̵' &jɈ?VlDXH TzUܶIng6't֯vu4R[0ˤ6nz™[ *6 i6\D/AKHeGMCqbzv[YɝZ0<`+OAҗ*[tnk;{f(yg3MfWR>Mlzk`̜ F_̏$_ri.-g_O{7&˹U<`gW(GP2yHgal"ftzB~2ui3 UIe0R𿃱a݆ $`J]W g;dU=]l{dYLH6mOE.Ԃb`$O$'DLׯNŭYs[Z3~t'>8^1azg$%~Ar27ŋ*Fvt(R%t1,'Ll∸)~{ ^;t﵈ݺ2c\0L]S|0r 2uHG|i_3~yXfit!R E3F$^+ۡ0ZLzѵܔtpeH6}8tńoc&+ZxPS8(fY^b(՗ Sųf^gdIdCk=9>%hfC%%dºӬjjfaQ$^hJjuV< sfZ7*Ɓ-r#Q2عX?V7c< ei-^la>j88=f YG }2h?AZA Yc `GwppVu%uG{ˮ8=*AS*;m&ly3\?up*u:8<@ׯy@C M7_-ўMA(\ugP1ɐԁ1[ô625T-zQB;VoT]Kdli{WVԭw2Q`\;?ʣd(p@쳨q(9N8r[mqaL@(XgnA4f+:8hԗ Cؘ1ǫT~|60񖤷M0N$ 5$}Of#QfPqzƙ>*1LJMQre~l63勵xhVhܓBYTqDQN?ECo-vJ&`/d-EָG{u-3a! @58{h~QqKx*KRse׃ogr`SGM[UEg2OՄX61'[Rggh Lϳ ݠY5QHTc6ڇO 7A5(Iϣ1D*,B|X>/fGN{ooe)*`1B#YY'F#:?JUtxz%5&>d­aK2ja-;Oh@^a{O~?8Jhª?++.3Zf~ SSqмAus:|Dsğr]pLf3e‡Sɍ HG>k #ᩡC[ql+"w>Q-70%.ώw<3z]19"I~`BQp-m@DH%32b>L݉a)R>~EG}j6cqƕlvu?@v69KOM٘.ֲb>.\T=r3V'0\=L[~]Q(AYG? >G(\Y>e3֞=9Uά;NĥWulZ"j 9 qPԈW Uh5婈2vI$Ҹ=lh0vƴ;xVμ]WP"<bS^qu.9*[: W6r:B*1df]>(@o |<@P< u5[ Dmǟc.x%]B/_rgg`y,xݲ(CF)6{c>NϞ ן#mZGQ.[?|C$J Vp2niقA.\VVVWWbwh-z}7Y$(/*`['a+%33@ `/с<gf$ߴ`mA7Л8 h$(9_ AVUC }FFc)/{9X?or?Rakqp[i: ]}>~3l4Aяҷ.턜BjJ|AY_75w}HKTL%\֩c"`/!|R(T`캘HA& I]SR|߽pwFrCݽ&wV~4#ZBMl|۰(3VwOfvW`.제r]ݒ`4"mb3aMJcqpŠSq>íd[P^h|h^WŨB!e< ӆ֒/Q_Qg`N|RBwf#ە! Ql4pS#jܥQ HqpԷZNv;:;0Mc. ݼx.N1/t3=H_&6{N}[ \7sώ#slv^rH`>I)YdlXvtYAɘwo;4>,k%]7^1v!DVwEd#.б,JUWgDN A_w' ȕuM? ZʯK[ һu&w.ĒëD0$&ޛo .eI_u@+ʙ:o҆-FG6FݠTM%&lHNNړBGrbQW]ju- :4Y,50WWEG%Dyu%]E/V2:zOiN<NS¿:3Դ1@+V zվ'G&#܈|&_|b`Ŧ4'ّAxoVXrLh3N_pKrV-*:U#,,įO Ne8R2'R[ t59~Ihg )gm,^aXSXGKu4甼} Mxl/? sSAG~wdp񖩠?HktA;N6 ௌkCuP typh%OBf]&`W f\gi8S)8R>}~(!͔{(/A38T;chmrlIa{$x㓉<X0 8z'{t`N} ?==y xpa;tV]130`U k ,Re#20S'UӮ} :E+(rc&7oվ& SxѰ> 0:$I1$[mc+4d'p |mA mSg'mQ{WazrӁxFeO\M{uBE({Т} ^0-Z)xl';X<}uI~f;hf-~J934$C+DKM)M9I"BZ yW\c)r%u oNY2&3E˟_l4{Duw}fhs:6?lN0 */]dQO$JU (,;PgY|ߞ l)'rU{,_0[70gj2)$@_;C"2h^4Z)I89=IN3zÁyZ "&̀ÍqZnobK;YJY^* TC(C2@ڷ(rKx ubxEQ㤈GK;Y9=T5!4\Nz.8xn=aIMO^xDu{:A2lvu/'^w;G|T<)'}mPÈs1)n]|jeB2&ђ#cPώs]|t#$[jz}ʄurmԟNd`s+n;T0T7,[SU M9jۨxTX٤8XT^-5#ŎlQI$>tDmo'w[eE!~?tZ3 ӡh1us.쫪o PǬ{ r#j;S !1cLx/+`:bięc`ʯ ?%FF}*%am,JqrsRo Y5[vdeu[6JcQ;Co0y/ OpsV|%Q8-*ﳏ'.fkI7/:G#Pi˝bL')?0֓8WI V5٪'Ff+jȊ⢫E,e RglK7ZgKZtϱ+kw({l<7VQuirL@L1yB` !G>۱[MWGj5eͯܟgAq /˖8QZ=$P6'"DocAl߰eQ/p fuXؒlkNMJľf5X%d`u :`q6{|N# IMzMpFOč*BBY Z6P\˙Ο&5aЕ$(␿i{ PLvfP\PEqB24v7hw/"{NKp̅v`э)&._Ѳ|%uU*Þ,GF"6n23] .0`ѻ &uP[(':%:gǭ+ΣVrII+R!R$՘ xSh_PIAuۆ9|pE^<6)^3 wuRkT=nSmەYyiR /ygڨ;jVXNFBޱnhbϿy &M<LdN+ўX aϗ&;/e1t щi$|c (5(܊N'Kۇc|ߍZri[LRbZv 0|0gX{n&WdMU0xÉOǺ-)%1fPkIaYL/֖ UGVט,K i*RY1AFw ^U.5vkSmo1fDfyǚhCktفI-ʶp'P_G&éGl_6bJɪlc[i h>wK]qg7Ö:jGZ}﬏όi6 2/^=ۘnBDgކjM5v\vȫ`s<4B [{/>47D |DxXkJj;KDu֝)R3̤Ǎ}?WVƖCﻁ6ISp,tNYbۋFBD 8Gg ќ3д@yRsL[uɀr'g&YQV;FNq!ˮ=d|Zpc[n' 'or)E.1ϛB@C*}_u XAAb+ssN}Q1t}ssGEq|TH jEmO,+nУspVa hxTrj3fek4sz{/U>aXƣ]\90\@ 200hUw7TAQsCpQӊ='ŘQэpCnYCu$JQGQ'%-zw6XTeغ2 Sfjgg4-jF* oA)ઽL:)+ʃbo89p;7xaŬO"Z.|e۔0~xql)4&ab(=$1a" )/+.j9x}mҼzvƍ%TSOڑ7v:|1Ӓx~;_KRaF! ߕ$ƹϯ'=G*iKēZSٞ6dԡii}U_i.$;. T }_+^{ B֧7e:q55n$wJ8΁GK-t:ugƗ|K~R_'XF!Oמќ<.j fsH ;kmB gشdL 4}hXEVȮo,?Ey):#*:[j3jnkdѢ]>&z33(( B6:{wfAV:v}(Hh/|4P;g D$\PXg:::Vݬ9ڲn<\w8Q]5N@Xd2֮=!i˜ wH7=! .϶lȵr*wq% 缆 "\mNgB.H ~"hӳƪZSѸ;h!n $zYu:Gw nYhX7g*[J%#hv0~BdIfwPBߨ\b?Pqllug_<J+ƚ^_`[V>s$LӂCc{XTG њniW#u2:(m(]Գ,0q[6ⷡ W!$FORj TtWdXwu!nx,磒NMO ;.iVaL[%UKNJhϿR-Zn-UM"Z rtfœ`l:6x6D/ƙ5Q+jy`عhϊۛ}X 9dXFP+MeIhc?g6)ǝìO']t~^"& d lnwv6~:FZn ,agiAÔA±?`X":F}FӅmP-q=Qf&ڽZB- ^$\ {Xs=)=lUj O* &9]qni^V8WRb9A0JJ F}ɽQ{{U}KJ/^ʁ`S;*J'nhB.\i[+r% $b&-=RjH*Xْ11f|xN¸7_TKxB ԷѼuA k5ѕRr?AiIX^Sf+PΞx`h&c>b}o"THO;>:CJ<FV2uqq~=<#Bxf} {X9+qJn|h<8$z DHl].mO]!d}NfI#Ր`4F+&/6?I\ Q̪5u4T4su?L0!Q?ȴ9]NG)-gt$ }jr=5 '6_*B[%bӨ=~&j54Jx8z!dYG8*\ q>eenY2"$F,v\ۢ32*f͏`ʘ*߳VLm_mSIpĮqFHpBxh*ʛT;~w=Ig>7n|mk+'|RpF;Nz47Dk#e7Dj"sK<_ UԌ)uRRŶRcex1|eU|?K(ܨX|0\˱ LH}*-&Ui XD$Z3 tU+#qrU* '+4_!39Dܲ3p^JI~ ܤjQ뷏 ZOƝN VlW`RkfU/}CoP|QW,*($_ނsnDgF7$Ki"j%R#^nXfI.Wgsk7-grΡ DEO5c#W:섪$?aР޽a` 7]GGar6NWgY9hϙ4{MDQƣP{D=i΂eS?W!ғUO 1~bZtf8=z f/F$}?:ߒix]U ;Hm:ZUne?.1n47"hYO_8Li:@X u}D&:eMy8a vͅ5\NhxNA֫ᄒW4ɷ8zG%6؇.zk"$B0޿\Ir-J\4iвv2|%=izLzȨm{C&edKU0E Ёv8s ^4H*STg?025"fC!o_@]gGGJ 2V$d./"NE@9+et,~n!(އvΖ|e?}O'Cr8+FX}Ca:uw}yORA8'2>ա&8w(3~ JP~Q4 wDwAP,O|1;o.fp>ZaqH+/)j++\ 9}Hb}:ˤ3 Ż8"yMZ,Ftc=W]lfGYdE6q~DtZa<^SXOjGHMhZڑǢ7|d#ytd$)ZtX,6.8}2{Y{j/SJ>[3p`2$h5h%o-obQ-,&DG^@GX5Ca!i4> 2 .aGgSXtdoKxL)Ykm:(8%Cݸp}2ц7Aw[ƻ:`b`#O)!q{~HQ xN#p'8#@|,B3z511arʃ<N崑t|T:?O 67^練%a#XoS*iR|$ѻoDD0d<K>0GfmԸG%ꕎĤ9*ΞD*0UIsI8z=M̙NcǏ6Ե;(=O_eUCQ0$Ic@,ߞ%nܜ[qCs(WޣKl`a&u-oa]~زcK ~4~>F园 Pa߄4S (x3h'Lx5gNY쑚uB0aMg㯿p! >SQjͿLˁA6NVEg*" !ˆWkcA5E/U3&+Vz`Fi//bacH9P|IPpӒnV|ںhF᛫~1o-] G)P"qU-fMG ' w*}оjUjZC\/N=Ϯ[EqspEƝJU[Z3H ?1 v+v P_yo)IQhT:(dv}.SfHDuU.Z`eI]8BD "tu J?ai-sa˛UEZOձj8C$z.׽YyH= psyVJb\k(7:]UF^ p azQֈ'UyAC؅ fͼT~ Ȁ 03r*sֈb DrzE-[f؊h.PEZҏ' ,tߠ* -_+zUt:\U E@\ è8=Kb"wX^ڒ 04H;Sf̬l6Džq씶!{:b "r뉎d2d k>hano'ȗA{[?+Aa39N5:?@6OGo_j*oNߚc]z悯64{iSiyQi/ w)邢O.V^mWg|EgTq ^ζfxu&?YBAtht3M[a25w')$Cş:Fӡfͻk7Ld>x >׺ƨҫ_'|bVpm؉.m" 0Kv%_'I<0@VRNW"0ap }{3g؝|e;Xm(2Uz$x:۔r0dd"LWIu `{o#9=^aa,sN»YHˀ532.\`HCrvQwrDĐ+we(ZdޝH8,7 wٱ׿4jJ~Y.<"qvlA@JTI/P]^#,i sj#HP</J+=pqƀ\>3*s\>ug> ?"uG} '`ִaxT+-X7uυTƵmݬKkNݢwJ, [\?qj[SA=5!nQ.ZĞZ)}9o ѴRN` C+J]8-r11.=WycO9 tW̫%0jPvK}$ޠ7c3mT;UtO%Wge[T@Փt7]M@?o-?q\5ӫ_BϦO-/ V>`G!lfd 䟅ͯ̋{?)tْ]Yc N 5-Nr!zNXAešcW^QL_3A) 1v1Lh/\5]o?%]E @MP^-u yET~"9ۢ)R:ux(V&C*ɋ.U]-g~f^h+B$fZͨy_5:@U4zՁrɻ kTC$+rf^+ru3FAbOntU .vrT+pH4i\0GF Y$9:~Ѕ=|(/-( 4'87BTn暾*kᕘGxIS"1 gx`M,;6P3ßZ+1PoB#GTn22RKdMU;zp5MFxޞ_4Mu ^VSA.=Vnj(Kb&}{CJGuC, MxE۽%Ƿ-7͢Lpk1StUBUS Ga0=Ptc NGqY;U3%5/degz1/M7`s&GIO e)xΕ>1>Fiov]jӾϻʅ[ׯԛahrM׫ģ_fq\8(z5hT/ܻU3n t>F"_K=gەMO/:KB29ඊUfS_DF¿o¿e,4A&kF*ɦUuV?h}UVAΛ -K\1$D\b_@$H&$Voa-)}AO L-BeItJ.3q;%~$ qh9-q6yLR:gu5 ~\;耾BC#C8:̟A@~C n ECY& \f%we`;/ a&kTل"h6UuUpql3WF(5 VmEf).c}1J^ȓWzYqz _~ NcN;ڙr@R4 i<}si6@Wg#Ic9ڔɊӨ?|!sĎ,j{~luQրqvB9-$Mt~w G,s^}\0c?"}P$dj5sD|Fa^X՛k16CYq2;e\ `s}-%v0>č, ʧP8WՊ;VIG6eERr5_ZY@1r{P0 kUwM<_@sN7( Lbt`XVMlqN1`mx!yTNPT jjj02vzl|rg27>e .^6LQ̧dک"d,p}pZpk~B0E`_tİ5PNF2a~Nu(=*]64 )$cl5eo^J$2g/HA@H[RL t=NiԛQQ k\WYn1ݝ,'$Q9efg@ec,HLi|o3N:6GkX'reU*rmK̵BfJ AIF,x>Ѩd v oס'≹Civƅx’3'di26)} %nQv7Y¿*")]% 񎡳f5{˽=I7vy1piDHnjfBH%h![kh_GCWHg^Y/%X&S-42cl$sACS2HF+g&;oLD{1%Nkfaaaי6Sѯa~n7A3In*pr|ׯ Y9Vl2LCTdݣjaz]"{}U48`9P5 ʞJAD')& 7x9YFvSfcIl|O/Y,C!-aDZds \顖'B|s+^.ʎss —a~:s>X:VcɿW ћZ[Z Z@521O['Qdu_('W~_!h[mϖx>^9݋yzdFD \*5d,-HşzpוC'}A~4 oEי9y@RYgKt9gt d6i^?;DO2mۧ ݘ2_P;;PV2 H] [#BɌQ ]~$24@G7Y6IF¨GR,c\Q+.ø)3=}1ĝ EQ#/;CAm9.!8kA: J8znN(sGB|"0v1+54/-z+XUV3E7O6ĜnpegDʩ4Y1x_C~eMX8m<:'RU? ߪ-ǵ_w+nxwU<]MT7ڬŪ~Ds] +gٽEw0Jy,m|htw8 ΀:׍Pt[𧥌2TH-'MgCǙ`1ae%QZZ*|Ch/=1Z38F}6j7HH|5;O TbEfwMdԋ3Ib68Es3&YQf@aBI vی^dP:͜o \Ls-b$:؇KW7̢nhvhZrA.`#]0@4ifPX$@Pw,*A3kOd8{DW|aMssCxFw ww,,1(Z9E%{rz#n@r^2&|Ⱥ}цd@dBŚ&!Q9F~ūp 018\𙼎vivؘ G3e3ځg& _'~mrܴ࿒+N۳]o-=cq%rg'JD/i'2: ڪ`V 7N_xBÈO'밯ü}G4pSU~0@ ofƄDSLHWZ~D\1u􂧽H˖+ΏH6{*L4%rɍ2s [Lu'G3$˰Yd&!۰eWS%d~":t 5"nAtM],DG l\(y8\6HK,qv \q-|@4\/)*yf `,ubW/lUu|۽M] 29:\&I *e~/¢hꞝp*8óHq.U?=YNNW,ʨ11? $؜3LG}0`xGyk'6@'w_p6Y~^rK _KcdEDU!6é):©ʤ_D"$KwnW*}7rYmttrMӖ( ێF^ecl .+;EÈ7 6.EhQoCyB [6NAc̼O #tiE)qۚ۰ZM*b%w 701 r ǭA BW&3R0V8t"'k  .+PbMhWh/'&EFgyC?Ϳ斅2pcgߜxӿnㄏ[dW ]+~ znuYir~XnNKv돱ӽ†D)#lE .^8y}Ady:\~ AE:0K^he!%cWg.29l_C))jπK3Q0Pq\>Z'w~R~sly2k Eߢ|>/q{3Zf]Hk-LɆ+1' &8kBűW⭞ZCrxBptFC鉣J FȏdY3d*oC `Ojظ+c[[WlOd*& 31|_Qr4./OOw Ŷ q Dt$/@G$$4* fᶳ0SJ?'KAц|228l(=_qϓB>?ZU>܋\%JC؈?㕾?>2e3x>&cܞ"ZzSgx,Znen6?6w3 D/</V]{0Z:ɲom)݌yna+ H:[bQ{ mfZezj; UGiMNs#v`Y;#챟bZϜVF2NREBrSCdkΫŨhD=ϜuԾqyYpanC/NrY46&`&b~ j8BNË]/q:UNP0M7ar~bT{%FO/g ~2Y{J* $Ɔ%N$+ެ'G?5:{[ʸN,R:XL^pFUu9╠ ϛYw/±bFGg(5~SVt5s!,q(6ww_ޯ̍#0H3IՙRF$Ɩ^`Vi_+az>nx,;g1xiWGd9]Eq SY6"x_$H*T}@`2cIҽ~NZAKK.0 MB+zvؐtJ=1hÉHVkNXMr$zWLF-eY8QUej{._(KfmB"]~$ΟKMc׭ѣa&Cn`@r1_dʱ $,R5 ;~{q߆nļkcPvv+$i:&Kć.=hݍvхO )׼A͌ XG_teD^H=s }&Qq[{5Q;%[ {bH}̥7}4P n9_@,Dwg1em}yվش3lwMw k̮v?˦}VvK7sg?^kZ#JZcP^8Dw_=RɁ,h!As-cz_@WͪLKů4X:WjC/su6\7?"("A776WYTls۵^g?{V>~ !YfԟgܟߠՑpV9Ŵt0g>nVh-gۯ*BIm¤7,|wYW{{_ %J|rw, _tP?FF(07_~MD4s[r{OlFw6 L֗Γ6$wAkƭoU֢f ANfB{o4='A,+$ޅ <\:$.?Y6cGBNUXKr Z&}BmW4R[6ϠTNS (2$I!5鈼{v VZLG3پЏwypֻ4 J)ـOv?H8 T"&3TH{g!;6F&K$U{]DFBwa$'گJI/ %rwBIM my` e ] =j7Gm l7$w3&,p@Om7?$#2%S䷉j0ϵ4ݳ!g%%TOlU`x.7@n挻jֲn7.SmI76X^#:XO.ˆIu6& F@ +|^_Xܘ_\8D@سz)锁g2a9HR)?yigB4P%S ѿ,',WK OXЖ滋FlsQmhL)bu8GKZ􃈖]%KI%]r6Ed&Eʀ|ᘎTt_PBp|Mdruxt ֹ'lNaU 0yI ak#A[wC^^Θ$J!)!3:L<@ QsX[: ZXe]-1[lXqZ8d(ַYPyյklf:Ghݷ74Q:] ?³%];&{΋*8m꼤@8(q5xuC Oyw{ ?%D'O}ٟxFsM[І±nҧOIzWMdBY2gyskbH|d{E C#g*Ʈ0+꾿j̢mnFm >Jj‹<2ZƼ@A+BMR5,+* k 0)+ 3O`1XLut,ѾWlNr+52HQYG&]&`=e3fr^&0bYG4]1cG < Jv*GFb(-KNIƉ"jt"0n[G jC@(QRUg!(&RK ٦._Žb ʼnؖY )ߖt&Ś խXE% ou34]G~5 0c $A]>n&Mm;f n+ ?>>A3عvP(c`C~#f$qSe&mBW/,٫h5q]eT'*hc;!a 2vX\u^ĜuOõ] lq(;,댪w0yv :}@*E̠X`Bd V-MeIw~TIB M*5cI%}R|2Jz4mGm+O)V|&ܸ8h!^H[I7}?5 =ɛ?h}N<ǸpMA/4wR'1.%G2/eϿB@m _݆D@w0J~My[3d?=x1kMЇ8z(1Oq:ԅS5y2Vڇ,6h\~!\c#HH. Q ӭoJ\su E?;trRĮ8'I=|#)g%`~wcH],' 0B}[ljzl `9+"֛-?ṈBLEG׍\ml{Z P+c XKXM8B5:FR5i+=Dᘖ\ly]f/:| ɠ6Ptj<@CcotA961dSCtO A%p[)w'MaIPHZafou~$a'YO MjKr*Xп1^q},k0Z<!!F$G1c{[-/ז`{pRNʦ RQyϳn՗E wl'<ճAobra4ѩ~Ӽ־ڬB,%Ӱ[s_^$͎C>R foyga$9Lg3|K x|CZQ,OgG]$dʹFۏa0o$69: E[:74Aes[5Yuo"ˇPz#C"nL8K;*XT?"'pֿC'9@hڐ⽬ L1(rkI>hqP8> du" ioaI'˼d_9,B\2R2"ņ| yuK*RM(ďt1{homÍZІ]\4ejmZbÔFNnfun5M8ѓRќl Yoc  FL{DnBtה|!]R)fV1oGPNw1p--Z15k؋!ql}sVg^j!x WLyhZ9aa5%+!ciGRWgjK7PZZswwH]v-uTf#* ^q+!fˈC/=Km>S{D6(/sNi-)bΛ鑠6z䱖{>3b`TR|"gΟ{p- 0t'flD%"} q/7֡j/ȹ 4M6?; $%+E{۟&Ɂ1 uM|JV}&x,dYAgji='ub_rװoM/`3Pr w?$AxԒ{q pp?h +mAZfꇐ{lLT¸y;wCk@D7I5\4Ru.ߟMe~!Z4Ĥ/,7Eb3t;7]1(ۿAJvy;bHėYu(_ngKMJ4ϔ &:NphelIb *zG; +satpFfj͚ZZ~Te龲[Qh2~]:Aj ˂ATRot1q6SݶWlXZ~ېD+@N.%l|d<aAfQ3%F3PL/~QTӔD +7\M#@ {VC3d؋{vx^%:{W ePCkpBa|N!J(OB-Vȏͬ ¬́|t3pI<> 7iMX/)KpU龴fg(% *Hk<ۢ$&tp\ eߋ%M(ߐ|(\<7ZpϦA]o&vk#tdV B%I]jPjzQ9>km֡99ᬹSp_H5SChs=SBQuFqh )%G~3*|dGZ}οΌp\G;"WO,)#;,'GŐhv_>ƨ[`ΐ)gYZ7zXZִF! h[]ŗXiɟ9 i:4V;}A<<ګMP768b$|a9=JÿɜX}H''-)49n"޼)0Vm_&2T:= I{CS֣p$KPH{@ Qx x%gYZ7zXZִF! /zm]ŗXi%L!l)AnGH;GiOCӁQ`u#-@ תDZ!hؿ=ICDi.j"~Tը6(= 'kJap@|*7NJNE"g^\V&K819@F_1% !KkbM|uU+bGMg߭aKɢ^~OUcd7[ vftdt_/Ws5 Ԏ}z1;n.3rx?[&*h (S- I "2괅tio7/3L?Cձ:ɑEh'Hna]z@EYݸ'D-o0Om'lkO|ԄKG"ͳ%Eg sƂ"ן-}'r\x3EsgUh/n"_BS '@%%S^\(sKv6+40,Ys9T1tR`JOsARΟBZ8o|nZH0-I;u4f_@=Y ^N&=E; Xo$YĂ6 JZY %(h0q؛=S! J!- qmm^uWm v*t"ۖL+R4Z%5mOך2&V7I>^Xrj!vAGuVB /י=uYnM1|'u(V}QOYnu& ?5aW-ʕŏpĉS?_f ,- Vrg=n[s_xfز"Y0VoI偦o|dѳ(&-T08+ J͋CQHz.U*;Aч^FrH1N!Ȇ;"]v̘K'>oABAW 2$L_?Aif;iMmJ҃>?_*%!l|6NPJҳl󚼚,ޑ6i:* ˮԩ+,Bѭސi{/EC{$ 2bݤ ^agYZ94df35bad58cfc7233ceecd709a945b6d263ef278215eb5f5b3394a9f9254fc524a194abe159cb1b aadd3b8d170281d804851890be5d9a0a0cadf3a0 2be464e64f30fd599e16698eb00fe918b3dfede5