SQLite format 3@ .0:  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 D!D<| ]]]HOL-Proofs:threads=6elapsed=557.693cpu=1329.468gc=126.996factor=2.387zXZִF! T[]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3 b2cեM-`ߐ e5J9FXjX?nrX) }@dΒ86 r`4HÌ09-q+g 9Za)e0le:xuh Gxg*YBgGVsT$h@B8Ev+&^b\Z@x ҋ~FeU&#F0&x&Jp :Bhg@`AJ"ĥMFX;o[W(7WtR vqUlK .kAeo=b`R$r_6| jxqi&QcwczZnv>Cc#MBDŽ_p٪'+f2-)2]ѩ÷w%~+/S(%LF|3[uLD!'@mV>b_$q̌/|}a|vlЃ)"{b"b=Ov?FOnRyW1P?O#}7눥ΐ1 qQ"3^pe5>`.ui[XL_rٯIphWyng[.Fğ 5LùA95O$9MTm(wdHm_<&4ܚx:%.Ji&^n9l 2$d )0QpJ6ucaGZLWoQRMVTg2,PPolm>&; @7n' D.G2^+orIˑ.dFr{!W VHkO̷yz4B IY@_E ocQ:xZao?]1Dj%`.71l9)43&~I/lp@O2҄~Jk.h䴞! ?FUV/bޭÇ52S#$H ŨCqz\' .5u]k}] bBd&7 GA[eʋ\j.a,;?&T5׌UӮ hi3_9&lP NlLH(@a_y (*-bI/.حϬCg3Q(tԍR:=݌ˊ$ӴFv~\~ <xy/d#)RpA N4(l}|OfB`(|to'#\\%M~ۺv"0.nI. y#5Mq: O`{y[+QD,Y@2Оs 9{j(ٵB?`R:'uEBl(=ٞhDZá9=wt؃46Y[] v>wh\6әÀBl_ CtqݖIĥfcBmM}6@ 7k+m/ vA,aqPfJ$v<ˮM@glϛTOc!,m㋙Q%B ;*b-"FrԐO$Mn` ؍95rMf.^y1ushM )qc3చ Q,/fI5wį*18׸-UUO_;fݜ*| 86BLe'x),1kJʮ6I=aֻ`"ԻŠ]" X>(,<J  ,$@{=nԡ_`N9uP .() r * ,4dukD p,u"8t:ȫ1W+9щĽCO2g [=v{IG-ـneg}n$%BNVNY*Rp{y뚥M0kV'`A2$_ {~)sUYo%i/cLk{ȁjuB#[0pC?qq+o"czQXsڙg+71)q3 si`MiK_ ݱ;3Zihr as 1Z "fvjC*X6CC #TLu%=U&7R"K!L Tl)VW/vG& N\x~NUe@ {EsM-+ZHL-.gcxų5MualnVsa:}1C%BGD`iܯ[F? zg1k$s?-YD}))q *[erv mb,]yGctߦً^Cgx%$GWs}KxQ4KfR9qRDM d:c|sIMXf_ya"#\Tb8 5P>0=KGqq=}9o(|ǶNń8AX[Xy^H\FU$ uϹk}Ԫ|㠫! d>:Xzw4͟$5Q)"Q2 gEkY4ݯ+|27Dj˳+Ed,R,$ *=#L͗x"Gi-S "Hc#j."h| 9 Et쟚qEI>vPnDK7ϛ-m=]~:݊3ɛq3>Rة͞1qdb~Cah9t";I&-%1&?9x-q`"%g0j5IX{;;WWl67ᨤwp3:._=lf*JfxN ;\}DWNr?l촰^<""wYZc ҎUOW7k|YK>U)7J,RumʀD_ dsp?L9s Me<{M&`t4Us}Cc4Ptk7|&>V1B -5H֊|`l +jNԃ%آ*%dGGy,#Oݖ?zq~V9+f#wYIDF;FHȍC3(Gwi7yeDW#p}IRR^:aI2H8kZpZ $RI.o_S   ! HOL-Proofs   *'t`G?X2hRbr- إY1oxٯj ?Z ;`QF'Xd;(ᾔI:'BQno=dnx=hϛT:RA d{H [EWqY_) x]N`^_ײ]sl=4Q8~4K߁iDNOdUݿW5mc+MD.|w9X58u. pvvRCNeyN 7߃x\_Jf&nZU$zş]*:}6(28ѦdȵH)b;L-]Iϯ5-JQD$oLH)C9w?OZe[ҁu}0k&%xAti+jb9mȺ bzd,+7$5#sBI[y;8`OLAggBeGD=VUd :F,rɞ5m|&9;DNu52pbb%D:Ղ:zbH_=@dk~o?4L5X(&+b*4}Ap@rD%d GR ]XL甆?L"GvW4e]4AV)0}9Ҫ+kD0&uMH*ǁ*|7-;j+aH㝊s&lmUS;B۞մbS:*R[!>GܵM f4'fҕz7,d'`!"VfgIywi,#PAiWFN `AY0kްl7 D%yr}<%~te̞7W%69AʴR`]1uT(A(2\CZpDDfNnTOю(:V;p,y/"ql\ fОt0q`W4].o֞/C5eqz =y:S \:9vdhsp(Kh u;-Wf6aO1\RpW]h6s-^]ST#%)陒Rχh@#40 l_FFƂ$dx+?h>lb/p¸GPҚ_sЪF[o>/y|PatO=7s8Zz18IXZ&xEMp Nr`)͏iw_Mlc<Vpq*[ E1y(D&CΐR|6[&qX͕}\K=0xNLn+\uƇ ؠ*3‘mS{z>aܷZXZb^ͩ:S.ըzXgYZ7zXZִF! ]]ŗXiɟ29aoʼz[%U>EM!!*X/b8NPL>v < -'"X}I/Y!Xӵ-y#Qݧ6{B^/z& :Z\ B7 ?xDb5 4ץ3+~ t#D)Qf=PE]8ƸHF9#?&.믧 4c؋ 0'BS߾wQ@,& aKi $CD}O1b#bʜZV}yt5[xnmʎj^\EN}15Zv*d\ׄ_Q}D]{qЧd#Zby#Z5oDŽi>bͨU)V;c'$T'1>KքL4diB-tT+jas^\UFGҘ5Nxn]1~UIQԟs33Lo)gEݦ?6xj>]Fm+1Ruݏ% ڴ=U طB^,I9.NW NOhs,柴0"I 8YX28_k̍V3 g2r;G{Gi]~,y*r n;f[ˮ8TAt m%׍Tұ-Zw- J-X9:<gc Vsz{RCkiBBs^A}Ϋ}]I[*ĒPzPM6 #<:Q 9eeMe#'=VP%QƣZvhP:e 86aJWIP5:vg&{CFCŸ6_Gˮ2[]~6~rz\cΎ =tk"^Pډp)@| 6<69FR~BQkujG WgKl9V%;/UÉـ҅/uic j>_vy'^3B%ͿJ@'l28O/ .}0=3hB5 F3EuX@<`NVol36dy f!P46/k fXe4#YJlr񑼿zȭ9><fYz1Yzl-UA)XX2a}q03]4F^K 2'>`hPWL1^ǿjI`Tx& lQRMJhyqo%1:P}d~xf#w k# z/#z(y2*WN$9˰d[NfSWN+30iJ*Hjj' 2IgYZ7zXZִF! ~x]ŗXi%B옝'U~%Q(q, ǰ,d0xg!BlY.T4%yl}f+U1 ڴO ِҗEO/b˪  RLj#٧p}蔸Qͼ"qw+T\;(kTg>4P\h@sCt˘M7uij̥րDjM^;Thni@. Dii}FjNNs[|uA[VJ#<xļxw xT vgxl&neQtu[" -[<pI#:T~ H VQٌ!~,#hhڨ `dT Z~#qr3ѪtZ`~m7(aL]ϵ&Ð^f6=?38QHYVt΢(1[=EoOQ!#￉9 t+FܥP÷@j-nu׬e+gWCy~b`Beuq8VP}^olخ7dMФth:cLr Z^CYV݃e}F-B*)ꬔAZ_Z&[]62b6FY}䶐Tkh7bH: rqi݋|\r!.y˴W*SG?\И;c%ݬ^Ir1j"rqfKqhxْiRhOq'D)I;m5Xֵ휔0SAG7 > %IөSq%ލ f>aK/oIqNQ1ܓ( lžL)+Clmi ,y? "|Lݻpa#ECkS@#|ڰ) | 0X1'lS:?)؜K EGC<0^fRN*ױGgkzAuK{n>#UGV]cO3;IҕK2uLA`U-I%(Kq{481 D.rAybQ6-4NMӝU&qq4u;9AuFz "{nׯXWziPdUP,cpZ\rNMzU꘡'®-tRtNj1̃jl=  8ե){cN`HD_IҲIUW}r <ڬǃ jkl偹35g<'m[[t\I8/7FC Qq<ý@i/cmmr7NvƸ~j}n 1lۦCBy7ƺR٬N:TkC f'Ș μyL6t[D%/E"|N&|Eux'rJ~H{&9E774"P2:|t6Tx%PVJ}6&pt! Įg{ָ7u\[\z9<~zd׻uMYjq]Ŋ&jNw!JDaŘ!=9rV )Xi2>e$g8 1[r"鎟/DLJ3=M+dQ[:Ghڵ zP=בU]}od7_{ʿp K,1(~6aE4@9p!=( *ł2HO#txD %_ta5R]X~ ;ղ5<XT{bG[BRSgp+R͖Z*K͋: \$އ U]2G xlZE(_uV )qAL)d%cȎ̑$Tf 03VəFe5ʥ͹"Nky)!< !$tUnq92/ &yvC9J| z HYG4 i_.ם\_@W{Zn}\8RUm\?:?(M66q1 QV (o>Y !n'b7ae"C5w|?~J/RfSEТ>:88erVU<KP1CWt)B?>,ϷSiWj]^`!5ԣ-Y ,g㓸&xKt1>i"9ǷKzf;PQ^(EW {>Ʒv4KSb{rf5v/[wh~nnDB;oW&3}||[K_-ÙpϤCa,[U@n[kDҦ&q+ @5 i\/,, T[FzZcra7:+XJvݔ& >q,Mul XvwӦlfaBKY`vAF!7GH 2Inәj$ٝ./֏qY9D2U9vbPP2\,XYRU^ ݦ$Z69}1>޻O,Cvv[σyE \3@?ā`W|b~-4bph/TjYFi1ɗkw(BœK(G.اGpm#'ښn\\*W5(;}(B' ֎ sgȎ%n ׼"Y j:aH,qR=[f;wCIdpTj_AN%߄l;>r]xwT6h塗̒F$!-Oj`̘P7Һmғ˴wjJVIBGV7҂BTElZ.c&ŦL xTM.d6ǞR?gƓ]&eQ2'le8baa,2"=vhϑŘv=ҭ˙W3^ %u[eUegH&=FPgbԧM >S'tr=kZ ASkrM!f5`hQͅb_v!l^27C Oô}R5$DیOqje 9~aaCP1yR㚜wHJ^"N'Z2n\*<{@%ՇƏ`&%Sk!ɇmin:h(ɸmv3hJ?]Za$]C2S|$Ѻgpfؙ. j%r4WG TEJ;o3xaM8C49I߈b ڣzhaXprǻ O[\ϥ_kSR 7c3]׉r%m&ؖkWeY]Sb0Xr)WTű2HKHp 9"Ũ?B*ڣ^2%!lCAZP3JíA .YsY$_Bח ʹՐ:.oe&[ xsq V]0"$xfa avsh]{Od/R5x$6/&5|%q TmYE5Hj a):% vj/ >z??h|J7mF'>Be* 8A71n7 V*W_ya* 5|^Σ.u{9&Qw]/5^c6暵܅ާaedZYdnH"+9t讈Ilr4r SRM]LI[" ~S1~|:ytJL.* +6_ ϕ85^8u3UäXl%QNc2pu 3|44lM>Vczim{e$l!*& gBz M]!$Fd|Yb,ٸI[VӬ1q F"h%nZ=́UR5ᘧ ǔD Un]ʈYlESv*]}3hdS?ghyTC?W/c>^WHM0KM~@ T)x]AXJlX86Kق~Zpkt9E bp kч"IU<{PgSbD\?#Gқd lx+ઈa]$~4wœΆ6eBLm7x&R 1Z'Й$/ [^K -YK&N+Wumeo`z_T!lx?M{IsiIۏ;sl4ԝqI6OJ1~%"1{¼&SbĜ P߷ECQME|8?4KLR c{ũzV& B9Ol9mvn)T;',uǛ1# 3IDH3*f$ &]a8N0H^,`ҭPV? /Q7w۷M*88C6 2IэpCy#"7a`[ b{Ĵo[M`>ub"'i{lCS3 1xz(kʫ-e L8[ŭ؞`%"}ݚ,WxlbA ƈolMeXo3/557:a<̏>_uf O,v xҋT^_?7aS[ J~ Zf*M5T 8VnK Ҁ9n-@oq]ʸ͞[|k>7|RV&JXR:$.BZ"zȡ^Q#mcLslC;B+6{՜u53SYԕ~_kozRUQh!27x{:),˄JZN߰&?H'n-ʖv:sFn{bN0>w\ޫ7GYTx$\Zfc&CzWs|@#QFH*y*z3S!iAڎ>>՝$lyIY.!,ى"bJ__w}.!UniJGg-ؐT]S&V[_Nr:D4uAEp<9S2YU\2 N;:mh qoq9gze %ݖz;?Y x؆Yv8:ӕ=6'/M/+ŴV+4uV RS :\UAS-ݱdžC)5*`6`쌰nHei*]&&]ϽE>߫^"}U :HCKe~j?ςB7\'N8JqE\$$7Dғp5+yŮ0pg,,P'Uk-i3ׅ$ >tբ"LN&Gp|<Ӷ(-׀9Q8v7cJh Ekk5'n Siݾ2+`*U˝g}$BgpDu(Ġ,d<534 hM+$1|0Ar(͐5V7;J-Iu]xRt:$rUD_y EE&WYn+*5ꟈena%j] mB:NfH|7GFV*?~H?ںi../)QƥۼOre_E)G 팋^]jqSrYg>;x.خFUo~[\<ʍo4g0Zm''K~$l'nFes~oxnr<Z g2cvՅgnVQCF᠁'I}FRe ?z;%eep S{: _KR ,`"Jt:L "ˤ3⫘~SRdf/ XSDn'<煳t4@q@$;IWjm1 c_Ua׏D%@c`D)\zfmRIY<hJo:~Y®땦*n‘{7Wf I[!y즎UZphTJA 3kf [G>0/`}2 cpڀ\h!GRk.i R Á4ǡ篆EgȀE?ToPsynټ-/wX|:Έ&[78b-=4` Ϣ5b {5Tp8|~`<6Q;xBx-VvwCE=uW8~oWֻ(cX 0=#MZ#YQ:gi/J8:rWjҐSa+H4{Qa r?G9N󀄍C1F~j2_bw 7/ &eɯ>>Vm_jp@tZa$!^V}*w1@<g/MQw_o6%96rhan|9L8kN%/ȚGU vx_ ~FҰ,!9ʗ9%̒19ΛGmxHi&iJ Z Rɏ-x֜Y\IO*MCC=ТOzwѓϛ"5awfQP4wXLr=FWp3wTޚq\Z&'?e7 3ތqcmWx5.UEul7M9*ٍƤ (Yr`/> FTBM暦)A[B2Wz9A0UH|,B7 &CZZ\ާ+ Q4|83ɝ< dV!(A & wڐR4=]h7S`~b)BH̅&MΨPͣf/ʁz>c_J~~xi5YŏգVcT8RR^.V;J_L}H4 J+Z߶EL y#mLgbic{Z57'xÌmFPw%Z/$jScG {*v˴ 0[mjg#n4#@ (zIJ2C d@NgtUvNQ] '-nbp'} Dn${wYE\3-vNB&0A ƌD^kFu"~Sq1]ơh0 gji^{d|/lК+AHt"DdJorZӘ3`l$+yY%z&۟yge`):BDh*F9g9:z=kƗ>KF7t~)4ϩ]TEӌZZ@%9 C`v;ViلG@RZ+0ۄ;!"{u.cJ'GШeϊTZ |iR;6qڝY3L3g ݃`;dEmL >CJ;,7Õ%O`;0P;xl)LoK0'Ah(W]}q:2Đɑw/6Oikyn㥪 Xx/6Ab3anЯ!A˨ڟ2MR9v厱Y#'.!\|Km[.DB"h͖htlvfϝ!i@eD,_{r(.O8h7B8 kpԶUF}1'u%kxI&tz98媼mn&An(|-Dqfr)oiϽo᎒$>[ h-#gcFI M"DA%:fSP:ňS"&]o/FK8NVnd./ N^0d/0#7(FJx=_D⻰s0)KXq4r[O T.E h{_8njU ə7 z1gC`S-E#Nb֏43q~qZz# aPMrCD%ʷ8Vs5*DmiO8K'r0jB Wh7RپQՀʗ~wi5[g\C$ A]_} t] -"FLuEyB͗J77>Eժ!4.^_1ăhcU:j:C&[=b#۫LءjR x!xuWNY\c4ƵV}.dt >1"Ll]Si7H#/"XSJBTlb̡ u &Om]s&g_MtESm tԤkj?ax\L4 5Φ pURߍ1LO,#SȽޑnڻ~ {`_c ԗ=53;E^]Efs`{p\!.4aī2M=* n{*ꘖ.b^/E;3R&@)0n M'Gd0\ [y_FҷsWՖSOBivn:&1Ku90꫷ Z8\a/$HNpr;TYܮ3umL:g]uY)WD@@Yoj8h6{t)EK| 3,8í#YT>hG$'!P'W /u'ĥǘz=CE#HjIf&j D1{2Nj/r~ ǹ&=ܣ`aa\ V%t5MNsߖ Í%@ Oү%Z- ΀W.P_D|rjé? ɍ_Xs<57(`2xTp yuhEo9;~pRi_K7F'؅;~)k$ a̡$P<hg8Jm@*O;+Nj6BnZ~ޤ=URٯ&zxj*̱4qT WcB]SV x=s$F @ y&PЋC-<`%"0Y~ǘݜX0[Uo޲Nǩ{A8|[}<>`Dt[SSi2BpW, }Vt)V3&Y&f|3"+]oL1[`e&tJ?v#~BaVVGydh]y^K}:nD\S>l0S@5?[$=? 4VHʤfK(p腥e)Sb.oˤle3tm2:S={@uBzD]>S~.蘒!5pe\I@нn؝0Ԏ/V~Q5};FS4KS ׵4mpm̤탾S|Eq'Z¼$pU]-\x3S˚aʌyHz+/Y'|֒E껏rk11 AU:aRhWinl]_%ҌKCbbMuDdV Jg2v2zT-o)zBw1s'c&~ݤZ.7PCǦ,|WF*Yg!y<#~tIY<ۢ]S5ˬz:l 4K:Uk._n(: P k6ot8&PMr':X['`VZ/tZ7[Yz92'Z)p߀AP$FZO&wt7Q;j&F`.pT-~ũȾ5s}$w|Bx$[ن-EK,Lts9?Z 5cWPАSByY8=@X yv=H|V= 2dbNfZHܚKNm9iCݭJ{;[HESHNu> n饌, 78kXA+sՉ:-{ N\.~IpZ}IWJQբAWQt47l%ww=.ĠVeiw9{]^k&q5~YwZ!%]%4G8An}qcXv81Z9g\-n/G&x,^ pGx!H'*"p*ҳo[kE|&]:g LZ< &[-CG-mFNףD6g %jpD{4uU{ @Cu9߱+y<ᲾQ|yt0ы(H1/VG ݝL=8G|&?#}< ׊Usmgj)Ml"nnv*wUƷ2kgw : x 9J,qit&}T< d!6]"l\eyE|Ҭ1.7]>;[9.=7Q92&Lyؐg-冿boi&DnL傪SϴT>__ d=4V'B{1BrklbaYp*]b#!`HMMhNnV0Y ̃83\N8>|S 6t1mg9*jE&u8)"7+9WKZd냁hTSKD3^ʳHQzNcYz-IieCdd3 \zN^L8)z!Tc|#dL w|ZfZ݁f/8X2wGۋBJCh. ԆYF'(u~gqYƶVv22WC5x\ڤm'z3؝`.]DDlQC̒fI`E%MyCOOD3u&U,RiD96cJESl~z^}/%"|~(43\Tm1JiսaƠ{N<+b~5աV;*А=hs04@sq}K-abQӄ덫ohP,áb\M|ԥTL-ȉ]ѻ|JOfYN!֒A,G#B̧^% . D'O%IKB>BҀ\+6?I$s<[HC(\1$;\@¨U@&ؒ' s`&WTxb#׳J\|NB+5ߺ^{9sR_i$Rw]CtM.4ȓu,j JT]J"HʒWmctSR' K5ɟp^I"l2ز%蚩|b4 90~B4/Cc%c Z#9d;4kIkq".\kF0tn2;6=n9]D2f@$QI:&~ï3l!֒v"z3ϕ4ҕ?* 実<7|4T}^Lkڕ\kjq~?-CI8J4yaA) ttb厦6K)D p&9+60˫pjZBji(h-Rl R9}A@&"pg(MB-s476 70xN+GYiI>jMQN@IX+߄z|2;8tUe:d'b~;!(6% T8YMSg)g'[ڧ~%RG~~M6&j>\ phhsE3I \#J"Y@#ժ0͸eNvvN?G M$^q{}N}ZScfm.1I.qTےJa|YבûD"/>tZ7Tc͗O8`ezƠfΗoi1pQv/hg aS{([t B/zXDDʕ0kl[b5MXnmGeD; 8(Hjt^.8@a~Tؘ$4p@,j}RN<N><tw/\}S@b3" @J:_JdNю{{ٗ1uծ(qQ47/{nWl/J};Ր1-u<Ix#vJ?Jߓ.M߷;_{rcB5ml(jY$3l t΢3bkӔ!:|d><3t)f2e9)$1>ZZb7|z口zfKdc{i}*~ O9+-'x} ARjzh.'<ɕR"˜9L5wj-n|sD: oGwr$e=~( yʙߛ3t鏮 Oщ?"e<ǀAТtG)DsȾ$!9ߙ_.?;mW9M?=2$;.2}adS;@'bI0-Cs9Sǡ *N"WAȼR`Hn _*J9c_t|%`6Ch%z&8 FFrby^i_+gTUݱ Bkjg"9,J?-C u3ڳ~B-t.4t.ؿ*O.Lo1At n}|͎FBRF*1?ÃmZQ9=Uۚ-+Xuղh*7xȦZ;XV`6ۭN4IYä:O#\ +z„U\fAO U5f'@mp޾@H6Tvgw@LrvSw:PGi35$ ::wf‰8|˖@^|jezy>߿$rI;0 %叫Ykzk>1ː8qtoyؾ%q@ [J+pDyyB 9u M߰u:"7+w/ӄٓnfwp]}̆EGĩTcAΈ)ͦSM+*3Xpd*mÀpoV\U&(pIM7٬8jyD( c#hl,ˠ &vq1>0`#9f萦riz*FeWu/ GѲjؘGQ.4E;uֈ&|WV;r\5=fU>uo1#nrQ6B7E'ZЉrUK?ˍ#2M`HK8<u8ފ7[|enx8Ț0&]ԋPiUQ1";pDFG֗ g!tD94t\#;?uRSz-|Sw{uL a0F\}+:ʬrx2yPK \',Jsܪy?IMĻ;_yP2*j%}Zf\S܅CEGY{K퉵l! "pڦVLv;b܆urNy׏f{5;빁)|\BAR.ޤ\PQLZ1\R) ԗwgoC3?MΕ/v5 ZtZ|mH0%т Y F\IOwchw*G;Qe!6'z>E?KHU}'sJUP*9R3, ]Ѷ.P ZQDX08R%L\^&`mEj@X;I-щV :“y-xhT#N ^vEkIБx1D);yo'Ah!9ýweĄk&Gc)uaoe/(*1VXP_ xZ7 0CK&> *aZa"TW@@șQ4u'Y{P!oUr5S 'V,on-Pb/Kk5|7g!^b-CVE!B,i:`+{W57 RΎqWCbՎAªپ&@FL %f;Z;Nи|-i}+|ve~10I6`&mf ٥=\nL_O @pl4"EGoD]i'S۔5Cog'X{ "݄WDx.oY6TQ2MVt}=c}bOR1.#81M܄*Lj:3QX"4r<ˁM,JٜMnTB -3wZ։c5n/'Z?Xn~m@l ^`ᘌ 垃64`s{mӨ%0/h#{=0gYڍ[Ƀ v'$@ip8_YHo` }F؝98.9$z;.kWU-oIc}'#~1{'[oQ.O6%oPPAxMo}΢5\dh\Q26gIt V3VܦVi"q;EEO:c(ⴝ(S0UXUzW&J-ɔav0@:&oұXL^;@5'y]o&%/: .C-b$odU3Gʼn+s+jV[BƗ4V6cW>zX{&*p/nA=o 8z%<ojvi&,CG/#C,'FeuGDtq))&MZ)JAӸK5,+׈[ Szgq=`V#F`D0T|%*2niڏM`EaeV YZ_Cµg;A-QNV+S,6h5$~0yE#xt`6M]X𵌇P=W- 37Wߞjt2KS\5GUeGFNdsuC' D+`Y^KORҟU*B-PVMRUq6GJ';~R_JIRK7F1t('q}n̄v@]{Ct8l?IwR2\tߒ=<6lhHxbu帣i#'7dqLޔF~N&9<4X Eef6g u,z6_TPn XXޠE|Тc݋ Vׯ۸M] bV8 ݻ..܂ >f89и +:wxaOm] rjcdz0t0+50>GƜ"Ei`g2x¶Tٌh9z>28;gJ"I>:^*P)2e\MNߑgA@[oroQijQ~| 50|ڍ:Z য়?1dFʎk!!֯Gjq0pj),pkWsTjh蝤Yj: Kp;n_lRLkFsquv\^qf.Gkt%;*5>eF=TWB3Hm>pLO}Mpz n7}r_ΣK78=< y Gn=`7幞MaK'|D>oAr3nO^es9\Vu~:}aT|'-mݤapGyߗE0y۟yg Nf)JJ$ތp1Ovv, F&n%PC.ɺ#ykJum %Ȉ2]…78ɉ8@js{e΅>̚M4723aM ,t)C5n5]:y)YW5׵Ȍ*̡Gr(D^4Ǻ$GBQիaл gZq'lQ+smR +V ,iS7i[+eӒOh:jUIcgۖ;iɂZxG2]~y 4Ĝ|N:ujKrV:/k-(4J!kH~Dlw1\ϭRQPk)j$ہ3" ]oJ 6JPlѡZq.-Myp>"< =k4ic}Φc T;蟔4 5=$SʓI,gfʨah1͍y[Gu-C"hI`(1CR{4,z~_$C %-V(M\/$M1xRP.h*}qL4(XDu{b×Yؠs:E kA.R>Izi"WY[ƪys2kA8~%l>%x+h%ߴ.opӝ5pRiPF!|]GzG5Gt+s$U~C/KQwyPFƍWVQGjvTA :>Ei[4A }f9\nc; vWzǁlIРTĶظ` 8MD#" G2p׆?az:(%Hu鲉#M_ >}vDX3:Wl8|}a8ue\$g' $F8Cr+@,BO9 V4GJ%+v(znh5W$ӟevJ)qI2np^~ wENr 5"q#ǠH?j5KfnoH症bq0]"HE s".tQ\2Y@ O6(U=$4U .Vs1RIzz'؛mto"I$Ejݕup4x1R& %Ve8pi<}V"vvb!iZކ*m "Pe Ӻ.5 |K_Bt+d墚g*iGkhDUu&$鮱tU`?\f.UJjG14)KBtT>UG%6k];/ȵTIVmQ-Is:c$=X7{NEq?C_R43.E8G)V vw™GX@^3o%̭pEI a’:2<ߞ4@4kYĜ`ĥ=D0Bt;+S'm tIFE9%ʉ6<4\VN֭`c]숞h%ϴ&(ë),7%T82*SN0I˩iWm(Ǡ̢J RB?ٗ;yCe{h!=iQwA Rm?rd^KHo}i'Ϸ8Q @Vv_a @J1}4ϽqAFj n/AE ͒65[=-8&I)rI4>\,M!_1 XSU%'XiO!_;}(a=Ձ2_nwSD0W6 %Lo?o 5JĜ;>G9W movBWJ&N4<'w%b{ FOus3@\iۗ[Y [UEhE% }BmIf-!xxQod.\c+܆ٷ3f!{w^Qrl>4vGjCN7"~UuESρq;u=mފѺ'y ho_)&/s;+"@Tnsɯ˿kҐ&}3W\˥ÿ\GG l Ҡ?[`H }Bt#Rlݶ˜َHΜb|NfNm=1R9:O?ȿXNf5=f+koktk0= R\[)l]y43=.A݃;*p8# ݎSqa>;?&[{RƚJk I^J )ʮWG#\KrM+69tb=|M5~jF@@!ʖIJVyB|}/yjO y blڃ~ꃛ (lzʣ2Ffo +5YZ7~m!J2D0{; S Yu=}/[S`gB,ֈxҾuYmyj- ltP%iqg"ϊ 鈙ф";Xid5ZD&| rЖI9V'R(rbVκDjPxnσuLWhC"$|w',8sn@.ʕ1ü`&8N8 .TMSŸRkcHa慧w6t*!X J'. v3Nue7-sbJ RWbx-MTwV7d``WOΕ^HU%Sc{{YT"uA8JB\wZpױSIxKSb2:va-3QKBڈ(i4Z2hc &q?o c }Ia:j+(JV^dYE"Ȣog4Bj]lq0tP)^2I4L!wne_2 o.t7ʛ4qXd?m2+ KQ謞%Z`N\2.X'>R&2;;죌k7Gæ Yf %fMsl#KY45>@PW$hViU`x}(^j;ì ɻEC~7eC _;å* ^.k1Kj2=p*WZ~lp#`~wCvfF9\A7 *Ƥ!O^?TթD>.s3]63]hx;T~V4aCAkSɴƖl/ }q-4Wh0=]J8;TaxqC%~U^C/uFR,Uh92&us:9kI*s0#&GnqxM-ziwoY^`\`v%(=wȪ-L~*p*Rm `^f}nv8i/Y\W7c!Wt[&bwTftJrgju\&kis=ǰ徍qZ}2{28$,Wƺdl9I:` C ߹;"LRZ/p.HHΏHMIu6cM8c>ZD6iQ@H6nOj d W^ftn.z|GYPpB0UlQ/;x O8te<v.9-ş${S }J4u4^M1jUSV9) ,?Q"3Z2|1>`&>V.Tf &ၤUprQa9C͝-󰹒3@ zdiyiftXw(ZByrih-f|rsD? .*ZTHl6ߩFU(nb϶+țPWy"عfgl+#U)cN9f˲FLX`6ȵgaXݜNI_;\ݶO9[J%USFRn[FWw{8 DrUhn7q{AtAd]U6B)2}S *) _A`ܒIe,63o?O[6SkUjMJ$U2?(+szS""lߧƃ& ]\ y7%@\ UAicj`6DS;hORounv9W4S=eEqPe L'RDuS~3Cb+N;J;{~4 pwP{.BQ7n e1bCsޥm5O@RA@}u;x9U켜o}\&Ӭ{={X|9.SG㍄!);{S5srpbhkطbs\'AjB5($g@2jGG@xp" _zV*!#׌lsKnWƘ8g9qəNV*Gz .9! .ICVFqhW j^,rxub,U爃! #H3u nkMA U]i 9V-JBy~JRӔWլ5Gv8y;PY"L EUWKu5|JNY0=]$dlL=ꈙ=|N'_a!_+70oݿ)yĞ 5;++%l$4Y%|=jBA.ym@瀁zY|CV6$?`UǛ͙nhU6Wph6pFw]3棬.Weo:g*A,qx6FR W!# w?Oe 3+~Z-ӃήCfPQ?a(bck,Q WY+9`oC{Kο\3r/JcȮ){ z1 ^Ș58[gc2ɦTi|𲿤/_2 0ߙ *-̗dAr\rN4Q=R*pBo/d|.teۼJ=w n"3j{ Quwƒ%S yI='˃Ja6}n\G:rJLWVQ}} =*^t+~3qi> oU.٠W2հp7/9Ё8.h`lы" S4zwlE巡YX>b8!{>^ƙm`RC *m>tΓK߃͔iεzbʒ1?Y|Y-Je=T@1L`8=<.l* HqQ?YK`nmG.+U҉_4f@-Y^:e\|AAOqd1::uGܵ_9 8G2tDX&+>mtCHꍇ ˁpK&x@E xuǫpA>Cci. VC DJ ȚP^h3v&_C>U~ a#GTka 4xl9Hy!²b[/~p'OB`P|Sh#BIjQ0Jmb(2zj=`-iԶיXڮĠa?4"4XFu6n=`NI,CaCJjZ_e9@8O*|-6%F$Vn&ihQݴhgqn#A`2> iN>_c>17i_XFBdvʌ^Iu'āMWP}r)ܸ!~?h:(X>fu|^=Ys'ʉ^r=^w}6 N{fb7vXj;,r>st9+ڒl1\ُe]O e71B^?u=#W`xT%KF2ijy#|_WgTwqg]`Q J[yE3cn3z9kym |t3ݮy'EgaeE@Wwލn霔hdf(`սPzb|h>6UP>{2V;>O賙Vju|BYd.ik]Q`R)5Y*@L޺Q3 a>F;i߂,82=pPK>k=$ 5^pz!`7G*è"1Y#{^26JIUpmW<13VC|-a6%b"zʎK-Kol#-Zz Lu) oXIL2rZH:p.Y"GJ(ac`"><-"ňqfZ{6z007vY͊Ѧr};CRGVҔ÷]z쨠X\LpRLOǏPN.U(B<^sk=)T(֐j }嶯.x-FB )N5rXċ" H>LM*E=kLnlŤՎ O=Nv#Xl'v5_+,qpBDRnVs|=^6X\z3@:oo6eZnD46OhS1I=Žk\eez7N_CіT=&=dUԌ89 `vdXXoc*+>Lrr‘H4;BM&0.C碦yeSu>LFR) 1:>Ry0N|}}y 41u387jkloRhƙ&hʮ<('K\RA~Ǝ7+ v7ӡ'K ([]΋'ܟ#2+|{If=MMo x0PCK!0)*~svC|®zpQe}9}GQEк)%yj#PYtO>ZXO( !rXYnq,jVLHqeпO l(k?zr'Rnv<$qoveq*K z:Cm ֳO ͵S֜VtɏCYqۢ 0*1z 綞W Z|d9chp-u PWE&`)'4ח]4k Nj$; oS `^xgIctݪ!&0# IBj>;-IF5FUMWIk]K>]Xy)4ܩh O3(tUfsM臘 5\A֐|ODMXͱ$v9k7UԊsP; z~tj{ZF [>5Ucڸ[+afA\_ZG /~%D:bza.rz#5n'#gkC})Ț;;<,.H ixY"\~Z7~EKwl.8ߎ ֐.PHi!0mE9O*[XGSmG4tSC 9eIڝE}s('2D.ѷg(ɴL|3E޴/<X+ =-0VN5w~{4DO[oݗsLҟC'GDsv2xFEE#kző{kn g`f[F([3ʋLrun#D5 OCA5] ǨAnEO_J~Fºc^ri9Ձ "dzIּӞ_gZ;dpd(/ (~5~PBo!|G8-̻u:ә }e5FkC.H"n{hjI9߱fR#.\c iv.[BH Qx6 lxV2T:S!\,Bg4+rvUn-Ꞃj:a_I/ ;>ZoQC.hA 4;plO]{煉133ށ5ztpוF^-~|o!bPf&:݇c (殗emMb>%tx- ~Di ʮ pm)q4` T0JJ3=",H4xfآ,t"-5ΏΏꅧ }rQDC9V湱-cmP&d,u6wD_K@WclFgNA-0vwUЯ ='uz%齝 EU}?\ҕxëv~N{1SDǥ4]rvd.!Uؔ>m$Ia@8Ks1뫊{ jCt HEsj[Kү.i#1iQ(2R5rB`nGi.?"vl Z˫܏Fh.)QIn E!D|2ΔV\w5ڮK2Qb rQ?&w!`\ReOff 8=eXƍC(KvVE&*HgQک8Ky,sƅ7GMi?\T7cdRMDNUD1w6f/tk0ʌzjғH`!/{9Lw t_9kv'VKn'44-Ѕ- G3mA;vL#ԥ@迊 ^O|F&vZ!228-p !VY^cnqZ%:ag ΘB Ej: zìuƻ,#ZI054f`bd$bT&'P%1Ns58@Ba)l"$3xgE&e F>ҚK?Wz M-q0BzLi#cochWaq bq'?d آGA)j.\"aRr|ʔf &r,"5ݦV3y{n:33șVyK xI'8ڐ7lm+Gr.a7xa)AeqC:CK'ibnǗijFNF4 lL`Ϡ7>Qm ~&ZDUS#+nx <tiOr4vw|p[~?٪޴MVǁF/O6D#1Q쓜1xBaS[a͔ibz6 й-eEE3I-PY\ۂ5_CI3+TM"$ToꝑFB]V.Q0B]mL4^yZݻں*' &%Q!emLGjyAaMa ieDpYs,)MPb; t ^V12$پmjAvL? &c݀/uvuV'ch39 /l{رgYZ1392eeae71b054ed955ce282e2c2c443a5e91bfd7550c920b2cc9944a8020bbe3af6b1258b7cd4a32e6819d67f48b8bdcb5822624c3a10617b6eb079