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 9% T, ]/]HOL-Analysis:threads=6elapsed=362.522cpu=1596.328gc=109.072factor=4.407zXZִF! Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn7 lkʁ5wǬsu(8Cw;rO&`3/%P0jn*~;sO&P?.ӂXkh|X0 Q&f)Y-g-;Mp ݪ;ݗnY2"SVAj.L}Ne=.Nhkwn Q _w\'ː͑"18uZ3*#2"9;J?^LIoxiq(+<'L]T]OGhcHGQSf"(2W*N-}^OS[)g#PbuXI(֟cb9eSgүQ ݊u:*b׏;`^8ۑ4sn>߰T[ɹ5eDŽmFٲ#TpBϜ֌#tZ} 5I{EZ${_ɰ{!<>9*uW_W\z8z vܾ 0 LX^;[+: }7VUsuf^R{ nr43WAk}zH<…4DDƇ:!in7G qى V׾VڮH)X :㯌REPq7y  SJ-`qa0 m-̭%uMB}xjE)sb) D-:0BgcC'}fH9uV6NSA;)ܖ5^E0}NI u8RWp(e ++hm \t^ ?u]J[rFAHP;E b! ֳnQq`|1п'Cd؍A84X Gkåh>B$Iu07s֩KSH(6ӊ>E^|/҅Y): & i,K2UjkGg(~JD>h]"U0z$XfRi܆f``6XN\Kvq=A,~zn ٷ$ϝ? S'kKoBcC\'(!ǂ*UaZo#RQ[*@$#F:ȬFįšɏL*~)ɒ!x7T,ֻmK佋B1gg~ w2mf*}tfとKbp& YI0ݼo+A_,43+*y\Xɼl`z;iU) 9Qeq>!aئd"q-ڞG 5uݟ@'ۋw"r$ʿN^xF. oB~D_ "Roz'l,&Nj_R`"5p5s{3(5!n!{fT7Q or4ww8]p@JFпg;TR?}u Oo}s:vRf=yn&R$.rT%3W qTm$y >dү0 fc}kM_l\k8_w4-`A9[5#xK)hsNoyފM\ .6L:ZuSX۵S #3-8tJ</'e=7 (~L[(Ɓ\K4nrԦ5Q;j9k;Ak`+@$ʩ7)5 "t>kwpcD^0t25圣GS^BQoN䄈DH=f B܆2KN~)nC"Q0t~[GzJxz &!N|ێ~J5"E$g΋ S 0X9sQ$C#KO;, ,:70ULRVԶ$.3wb_nj"ҪVP 77mMy Hn!#/y`?bأCSo^,g ,$7$;p[R%']?L2: m!*p FWCB|v4Ut wDI nͻ6f1T+$xؓԁtUf6/[\ee7 q^|;3&X,/I4PLֿ=Wt4lթ <8 !<$Wzit%s\*=qj?AVy2 f.- aX{hCB앴BՇ0U0I~?0 4x; u'9=ɐ9Pi5ݭP2% $]iѐ7сͭ .ꈓC'H[ raK % HOL-Analysis  ,x^<7)ɳ=Q̟̀3Owc$ Vm%wF|. Ҙx|}T 9C7O5v,U-hL:Ah`*9B'C KmdiQc0*aEj0´>pZ-y^rp4Xx$_IςDN timUyɬGL&dHyw>ӄka 4ӆjX'<4DCd|#v$mJ9 0hHl_Fbrj-{K^=iDݿQ 4*&aNJ%~ԺgΝ+~xϔ3-t1sD &az*Tu /[LGȴLOۯj˜86k:?HGIӾ} uR]`:]=u]Y}9q {kZ#%uYcy"럸շw@H} * Wcjޣe1nO8rwb'K) r̳b b8eu}ƲwMG~rfdDqM?*/::N_6r *;Pj +&ӕ½r} wS9JɡR \Su)#ZMagQhbQPnG 0[T(u03Nɗw+օF$gC]֊XtE'%W0/v9K[ƅ$Oզ~rtK(G\o4MI`A֥ /'֖qzO/xI@:&L) 4ѺqEUHXa:xj7_B qJ˸z`HQ3N7''I-@CD~w{"ڊPz.tsc JtpnIYsU=-˗|"j BbxdXfu"A5;扝ȥS(Fi[F`4N1tY@ )7)V)odz-vڎ6P-m@aFemef_!$z Q#V(]\nJ,(I"k9: y x7iZE0׵-QjY8DY aB_"{5$ Un<~6啚7O _Go)ٖ8^cl=:B&|˥8wɀ+(>%n%Q0Hsrˍ`17Bt;]֩X*@<{*@~JML}k+D̺o@`$iBFkLުn6&~0ja6 (x4=~^n_".hXF+` m:z i7F:˫ ZߑO吅g/.N B $/> ,o" ^m֝&Pԧ(' 8g1yH7L 2 @JQEhe\A$oa@.y$ k8_/JSfW9 ӕ՟SoZd\I&`LUUl~t4ZKR,A@D,,vK(Fݥg"&^nW.MϠ5'&EDLl͵V%q*| ,\>,jmsQzQj;m2 ܧ^u`W?-ҧK#P ,1*j>нH\ /VLC էտ쁫e)5~sƒ2;2@PӲ6ss퀻(8,IjesrkXJ+G51IhZ>xuN//xgI&8AɊ3՛Q_ql kE .!0:z0\GmWױflV=M>(6+GYP`Uhe%3v2f<5 tD0C[L3+4YF9h;4 qߨK'YK8R !f{QI1:3ܔ^n/8p1篬u -8G+]ߌy~:jO> A&M# {0+nR iU"QJ$&RhT7T̝51`x $,:TĒN%W0+lٱ"-R>V/ Yv| Vٵ-s뷿BnOUlmC¨ۏ%>qYJl} _輧abl*8M,i?իυ'm\Qc5&4Dp⭖Wh`&(4$7SDНM9i檀>i_Id(#>`y D)p 0ȧfQ8kџjâW!n;^^k1Al8YMCDU`xxakk=er3 l)3ևi49@fu9n#$&.OmY rlp(MUQ6,:K˚7oXw?'JfC-Լ\!_ Wx1c~]X6z,wVed.F逯z{"G\ 52BCPdtsU al#nrU{5yUPvw <3E:[i 6\}hk\yV </c\|s^Q/8,(a,}c! Hi{J+6 UN0Ǹ$€gQG=~ ve440#v(jńj4ӡgء-]͘`"y&>1OeJ'@g] |_*];q1Tlͷ&êuj+ey/ nS{:dl&f-s/hvW(a xBg|[ƑJ kTp1LٚRE*R[oY>ǂc>=-0~yUR{1 C"5Y*_=&;̂zj BD{73۟b~*jln+ynD| $l ";TUxN`"!]yP#%L"eع yxN,z[nU6-7:l}EKGp A w6']Pu u0]wɧtw<8p)kQ |MGAC%+4 gԜK2$EVF\UuY_ZPn/z.}9j ;̷>pUwwU}]Xpzi l_̶(g={ ZzՖrh*B=lRaqiE 4z=E ޙ-KSKLw?.r u.R;9w#M{vvCE<;Y4Kٳ}Azi? Pe>o 0)_۷>>` RqA,LKXr+*;]s/#@t$G\KEph2;NǤ֦()zE!y9hM0x|PKi@^ C2T5a7-ao}Au6bg:\y6q8}2i׿%@[K92d7#+Dhy0 2xT ym< ;NQcI9{#AʴE:ЊUz$V5J:')U\7մ?[$ HzY@Π'SaR@aIB}[Ք9s=etTX^5VOv%YY61#5R5lDYRX#@F " }H% v"ɥ ~x#H{)7ĐP{T3'db5G̲Bq7P.u0) vA{g:SעtHz@FiIf-g3![4Kn,eՈQ;,/b_fSgn|em6s)EFe|k:q !Xuky&zwL ԪjY#S9WǞIP .M=p g@/JBEIl,u `MCB^^,.SI۴.ۡ$[6,s 5Ԩ˫䮢(E|\q`W0W456ng6ڒԗ]ʭo/WTw 2 F.ڴ٩Lc>5d\k)s:r9ߊw"HA>H^۞Zh.D--pkj (yG*{_ z +pb$bCsF9 Vkܕ1>_&XYR*5I]Eh77:T~+ĞW| m4Aq#1 %2}0Ss;wZz iiߋ,!DYhxӓD|2|# ,OnΎAbnVY[/=(d%D'R5@urz(z6RӜѓ38r_"щߧE-E~sG"Oci1M_?&Ic1(܎=RӊjkNqʡB%n^T]yiC]M0_6)g"*3(?EuM7VL{*.Ko?}:v]Fѱe?A =izm\bB՛Cmf۪n\ j)V so;j,_L6w_=HL}+siI~fvH'p)!gAn}{ ɴDs a{Ǘ@hRȀ D} -Ne,|\ D H{XWB_QwC#o#fAU 'kqZ?9pyo| |* )MM~3U]a _ԼȱߚHo岢 |UN7Hc0Rc2cHbmIjfk{GZ0P qVG88ldo٤;6bDr(eKSt͒~ h ޠ}bʹ4 Dej̸G :)+Yc[dN<ɨyt0}ʵhޯ=1jki8ȮDmЩߟOTDB;N|-,@H06zGv<&?uV;SJjAm$mbf&G CWH-x$@Lweע^zqON;Eiۧ\RPON1зKp i =yo<ԲrF,ǮO9[KI|ֶ.hxӟjËS(MsO2i?Ʀ0{3s$ªN gư:A"l0 u! :kdf/vfpjENz0[D-pL$Ϥ!ϸu'YJl7ߵȶ }IpVMQ3&AD)[1|D>1=JBw㗲Hw 9}OiRҳ q:F{:D @XeW3dQOgh2s qSAwQևG|1Aa!d@e` A&%&heQU! _4<=AE+qI| JbWH[\]ׅ+Ew\$1 '5lz ΊX4hӽ4U1|z)qrU$h>?\F#^/E3录!xEyM,$g:Y\㐯ZDO?:J>\Gy{!y|V!/7R<ĬӷJz7WrK.8St#{j;GSLm!`#&`LL rĞ ŚoT&ߠH,,n2.Yޜ G/+`hP?*Tz^MWzw,JxEz!%$ "=I1Zu x ?~Ze;) $K?ԼE,{IQِ.N!H03zmiCl94Ze$^˛ityr (@ W-h\ Ĩ6o pk!%=b {~B~Yi5o.Rix vgfDe0 A]33&u,n  7 dV z9`%vhMOJwi>0_:?cKp kT#Ob&[M[`;yUܜ&V:W+@ȓcx=Lخp&wiv@jWޔW gZUq02BzDosߺH )uf"*j76nة \4Л \Ⲯ$AJ̉@d8# ֯]]wO+Y;N(~ nDV5Z=˳YZGCЎ$ERC#2}W8'O40Nlj.?N@w Woh샓6*= hgyqq/q/~΀5%}IAѾA^2{m34D]39 bB@ұb0{uJlre׊V}d= ~`R |Y!Qi}mnWnHhAS1IyQ,/ڃ`[!划, 7(27X g^{[bOPQ$޻M.7 I֩TU}Ɂ`JKW_âoRt| yȕTxP0bTY?P"04gGJP棘+aۂ|xOQ{՛X".ddAPe3/ۃU! e|[mcPF!J`.O#@C-ڱ~6!Ieʷ'3qɪn7ҝԌuD~HIO-Hr(آ( $Cr̲FcCr0䒈s+O+G=OB9L.FS4V6,g?\ϰyl=ĩq~W7zFC3M(yUd17utPl.Ճ*EWQY\Zw f 8W_~J2%{KhIaVdߨ~v2b.e; 0jt qG=JLvcN$n\\ MbP Lk!fӔ >~ҊE,Iwͤ:8BXhFQ|ZH[lm A J*7ؐQN<`QQA<~B|?f{ZB<~)ۙo2P.2 z#~Lh=IDeרF $y0ءP-)uOjN\ZQ5vt=o{p?m*FJ-MX-HQbϫS K#oNsjW[_wWdV(f*ұ*@WtYln,@ŭun O!,_6f%vwl$37BŒh{#fCT|BN;ⅆO[EBN<ȫm+7HR BsMs('Mzo<aQ^@!xzEޤhGN@3Y1kh7x4[^ZDu|u^l.ڻбR,TK=Uh1,Ɋ{x"Լ˞G%a?t|Q 4iEt^Djy;laD.%ZdS}}5mJ[ >C'x8 s}ꥰ{~.;>ۭ:h{LYE"şYlSune #J ,P YM,3oz7j|Y^ 05rFRH?r]24 R5hQsZמ{Ry\S}9\"4ԚV9Pr5k[eVͥkYzo&>=};AԶ0|(v^SLz68B2pfDrtMX_ 5esŋ^|n0$`zv:]+hkBNu]*w9԰ٖP_<*'ްob)^0bq3ݑ4zPL(޿!jW'f8Z@F9,jAI4TY0ٲR`+, *Xx˹r/}&YU4leljpcъy?'#/+Af6DIs 3 =tފ:;81ۍPyz?.o#jNc IWgƮE6,lV]:$ALPPmtA&UGd#bbԕ0?ݚң WM:`Ȭ0K]@Tj*)ܖwa),^ {d. 2xmI Y)_ւF(-_Fm`Jc9uX\p0?)W* $H3]%vk ߱=`تP@J/j >Cz-j\Aטe'!?1;^7{vSl4I{mzw(nmz~ZpLcNywA%ZSjenrx! 81)kMi6Ģhga¨Zn̨o1=c3;_wB\P;@e8x=8ۛ^'&VcE>zYHPw!NE 0VU ah3׆0$ f[tm_Vpr zX6-QiԗYP_\Z]kk-'DH< ]"m+c 4cxkf߱ %DV{94IL"2`=^K`V2V>|Gk? 1AW%e ?1;q5>,@%JFykǍnuǶZ)m ;^:a'&Rr<J7&.|۰~^Od*t#|s:[ȁm єvޓz{nj5Do [v4^l)O:ě&_59GEaؤ0֓%)yknʯz&1ؘ#=ukU·foYX"]T "7*y~ִ\"腏K>qA|^WuqB@K"t[]\DhQ'u4c3Nk=-FH٬. +4I|.ºnKBnET(̟'b݇ZɡS=#M/3Gشvc7 ~!쓲 3s>gw8t1~+tY`E wm_ܕZ|}CT|=+@b]xNe׈9u[M1]#_)4St-АB3 c0` \a7?4> Hnq `?*CGg6EW=Q?'vgygc "/1A˯{D;F?1([QXX(Eq {LWEl8aYkÀn3a^;%RTBlfԋ Um U_{՛}x_Ervv|joލ0bAxA\N&)ĻQ2&Ksː/y*+^@cK!+~ĻTū,>[) j"DMP"q_Tbz9ɆJM )/h 6b2Ѽ:2}4c!s`> lP'~ٵ{ƃ2Kxz)s)R @,"нvz8w==m{wW">3B @yGDA\ՙy! S6I.a?+3ւ\dqZ&P ¿k#K']BEJicC}“kOv-Н.W,J>;bK:IM pm1`8N%(F"M,3 -H4Rq_M0ߝ#aT:KfRͯ~3)[*a\/nU6[oR'[K_v[A5q{#;G3$֙YqKDa)YF>heH1l +g6NbBRV&BW$YH׎Hrv\B_`bNm )!XhT*Iu[Z۸.G%gc3w謯t{j'(%]il1gmQw ozk:Gc:1<%Qaqܤ$gNvUsh7o p+<&FD'{`v4ݗ[ ڙc6>'os)ԝ7꓌' <6mhY\h_Y} p}^7/M#ꡦpR:0 *#n8a$|3;w|0Q OPneFħ%? az2l}7ۢH },E~l3휖}} )m%ʊ5 -%r R1gsgwϢ7nA.dg,/̈́oҞk vr99at%{KpOX*Y0~|T+!8GeLpo{{(!^ *>*}RZ829Kjdn5N\S?Jc^B Es9 { ^^h j౩yY1 [Ў$+ ˬ𿘘3N@Bl؉Ug(rΫ:Vi{XadWZ3dzooB >Ș 9v_7[ ~YOsJ1 sc9Idb\,3gKi;.P+=77@X3 n[Te0]ًl^ rBE?fw5ͯ ɑaybŢ3?0EmP.9p@ksZwCz/ϴzDҽR0,oQBO]@<M0%̭γq8kb*IMQAho?o"[td#Uuޚꭃb fЯz.T$NgEG2ЅW]gk y6敋b*I ;AȓbXh G$e[I%c~ݸln$B.O!t/] 4e\;u?eNxe_"rTwaCv31#ylfBC$2GtgAegA/q./ =8.` {}UQԧŎ(򾇪nk 4_8,r&HsnCҊ9cQSE{6 ul~KoEj PW\kʥ1.qD;8 3e.j9Ja6>*A aZ>!OPDPRqEcqŏg2u[8eсuQMB؉ z1[s?0vwtmxj^3"[<_'p|n.dD9k]_)f: ꇠ+)H9}&0c3CqQWYi!T8!yu3hxcT"=;5Smzraw缹 8Rഷ[& rÀώ[Tx)iBe59(|3";SexY@zzڕ| vsnpC5[7T]iYRDou&ѤO yFꍸPf rj2H:T`𶃭8 61=u?sۂlMo'Sy (Q]xD֍D.zIN\Aәl  ]e){BOĚ2>I8ضCŞ$2%vfz^;?! *W]a2#鿳"Ɠye~=TP QΦ8|؂qYE $y_HF4}[TY0Zo$x^6C yLTrP/yX ߄2dKfG_\xf!Ro?aS}B@MV@.Vƈ}`P ;|7 +* i ZKI/ AD6[ h#Z*F¼WKcE 4*Ni{ޮci2Un6duwyIn 9؇H5\oC)A*v5؏dkZK6"щ6V^I6˪[¹B>Vz3Z=.pLEkpV5393EtU+L ]'ٌ5Nb5@LADC^J\ G=YÈnZ\` Hه̘X%^wNQx#}!YH/LMuS:{ǚ03xI8V2YɬH}q%K۰h8>!#w?ۅvEܝF DVMmraӊ*e\h0_^põ3x{.aI!xXad~mhZS& $KAisxyjZ*~]Lj3nTl<2c"e̻ȥ$Xӆʾ`n=M62(|;>L_* 6gܲ~o& O0n3C.^pV^g܈ikYZOlnC_!g5TŻ_{58N{ B?3va\„[=QPqSرE#l ÷nFR- ͑-+V;閏XXh|e̓|'&bC˕ tWpƦOWk%Ag ts+92V9(yn`|Wɣ:z!Caъ 3ۣpUw1ngng%%Kz_'$)SʤQW+? eޢ9bŧ.u4(u/zǼq&<\JO],cwcKS'P@F|)ĹRQKf$/IisC OU !G$ eMIDr"Y%PtL L3PrC/껜D$Ơ X= Md>8¤!hR-cOYxY`.eV[ !TjU+6L b9S/1EqeO a[KIpd|"F9(TCwb^(]D^;2E ^F0?`#[_=dRRUF%&)5I3LMWXz1'VG\.dQ2dž5Fvf (u>_xec-{Vcg<=:TM[@(m\WOjp {S,gXR g AwQ^wTȢ @|OYKz,p#tE&_%BAjS*\jS:rMAN@B,HN׹$nd=)ham[/yHb[lqwHKK:fDӋ8 #Iϻ6w/پeI&Svؽ7:?^1 Vَ@|jxdȂ&Ӫ;t Q1fu0)D4+`%FZ^C#^ɂw͵wה *^:l*:DT5%scM$y{'{Ҵ;MUdmŵx7ٜRʺy΂ŵ`ٵėg <#*0;4 Z&d &`'5 wj 2jbml-LDeך&B|t/$2@`2 SS˨o\B۳ok E rR 9->vM$\Nlïl8PoIEv9^*C5UjkPt#(N(mGѣ HI_T:4s+~tm-]\ilj#C`ҙIg,[8p+IZ!Ԕj l%T B5g3ϋ%ȶDO^ E5K_i.֞]KZ@wp;(P] F7_3'iU<ݔ 2da=d5ɀ{ΗTȎYbCGse\ÉQsh!z":v!煣BDy`A6Ӝr>3H}wj#-CZ,Vї9RW ߨG۞K1nuedIL.ղb=wVR +~[7|q$F^FOFΣ5;=(q kh .Wdj˝(gWSrt#v=\bKt/|bYSv}կ^ž}+_]pw>/oN?niAUCȿ9ȃUb/R6c MnNf{j wq y< o].a}-!ug&y$7%ΞxL.ьm5c6Q7ʰ鵹B|IXfyaFPȒ -:qRqr.UN.֣䐔@ ~O#/P{U~ \eMw(r{cӞݲ+aȬy" $Sܨg+Yzl4fD q4'Vl2x\&z?t\>gmp,I8$86bABO dntI cmjE[Bt 4$iad]G;3MHlwzZpbtscR7z1 z,%'pk!,b[, ~0ǯB hOX̗@kX`ݘ~|NXqgf&돻Ӵ 8fwC4l6i@^ Q)>Ƌ 5WPo.b!} Eu9ը"()=̨-)j3" c^%Ht$~/ !RwL>M]B:΄ۊ.>_JE8mv(v}tJȉG\j4Ƒy?S^^G!`m_ˋ` 4y?(~9}*ĈmF/9=BTVډ vr ydf!&PGG. aspIWB0ǔ9ȄﺱCVV} yRܼ/`.+Kڣ@%}'y]m%u?q=BŘCsj؍"Y2o"<8{$ }﹅Q>LJLx{罏wT3c;5(Pm'FuPv~DFv^~sDZ^2`6]Ļ΍9Q'vʼ|h\Au- BoGqzcNmhI'jhAruXwsJ< ֳܷzK-D-Z#&LhU6{[x(U@n2l%?b:@ :G8WWE3KJxʨdm0SX5*6"ߓhi]ӕ2A^  sS ~qTk{'c?i8dKiɅrD΍ 78݄3Wy*AI^^^N vԱJ}b\Ւ:4:abr8 !quj cS6}cdr l0-x[YuΨ|m|"9Ţ/$:vD7gHq\`o vO3-n-5@T qs,Uƥ4 Vx}[QTOv)΁ױl3z9ߕSTÏ?K$`lەpڼăp%(jΧmP5ފzVZ cosĂ(Tt&]n$hkX+-dz\2L2 +ߓϳGC=X?M+b!u}kv*C\k yyB!=c_Pv?D(]ܺf"p mM)`Gm0!R]֡'Ɯ2Xm9鸑ӲPJ aZ}쒃:0RS[\ǜī_β0"#nR2/1)xWy!, \a1V.iIOq]Y_cE;H Zmehl\:چ%mSanĎoBbjnpR"RVƨ86[¯^M "f[SFRj;'q|n>2,=A /H,h (9c.$h[AU&yW\L^r[w4fa;m 農Tf3,kl\G1zb|ԃϸy0L?^ŕD2\Y:ȠCMۗiC8|AcD= D$?6;i*HDFMX}c)mA ec:w֧] D׾B`QL=놿 £09v߂U5# X8>rSGYBWۆWԥ뙱%݂0ˆp6$!|!~w%N n<)RR[o4ƂE[Ľt qh~0狋U_.!AW1U.φQ\ )MG?Β|)K n½FH$CK+SA]3+ mI&;OrRU4vK<:Tn7wN&3th@&%qB`7%w迂!!A}\ *3y!YǟT#59F0UScM} `9Z i~}Ya,Fr2V|2u<6H yooT]W܀ln O>/C/}pl0I [j} O0$A)կ+%d3&//MB@-A*. ~`}cN2:]%~>m3 -/@iŕ3c6oWoj#ezh1Wtr!EEML-XzWdrڭr_&!S0{A%U56S=O-:N95K!ʾʌۅHKbGZw#PF m_{}6-eqc+^U'|z< q( Kާi+?ટu_9N6d?EWK.+wakl-D`ZSz-8Iރɡ@*΃WR9<4`tXPܤ Q Vq;)YҨ# +iķ"?Mȯ:^P dF~Fր=AY@TAJ0ڑprE2"}Q"`( \H]ebT|-E:}Gմb.9qW-[._Fvwlyw!gz6alW#TA,;H-a*lX DWo>!`.KhB.%"ef-!VKc׸ڕ FjNzQC9ϫZpK̝99Uψ$_"Vn̈YM۞*6.i%_C.zݬ&yHupԶ`)VMTQtECC9h8vݻtҔLM7JgTrw뛉7#_&ou5elce{ 8`pKaDf.a26yNg2}qم".:<&G^& -g˺ط OͣQt8}-FFx ɏH)=B\QLcehf`*=Fb_>~ʼnd ѥb;9/ZJypįǩF?~F\ǑwoMAE 켉Qcġԉv/6m.kXMjJ.+U<ŽЬ"'NT7%z OZ J "opH'#QUnBJ8z$_ oivKYRm  h>ȑ^cC;\=іɌ}5$_niw6ʔNj_'n[} $8@ff.j[?fnRPWV=ӦZpcp;igF,jRTj+x"{A& u{6i93TߙTqx6Ƒ@oo⨷]NWpr3Ovsoo2=ЧT럆;z%u\k#Zn}K ;gy]~$x-`&f|fNC.^e7T [X3hվXn%Hn~^& ,̋4pQoiD UvCrùbY2T6k٣΀g08>93ookhl#nEh X.ČҌL*{xqς(Ȍ[4NsRWTf+Dai/7t# c{E\\(}Z9d24r ZDsoFVԐ2x'Zm7´t&anܞ Ks`N#yca܍ %x$9CcG% >úeN ́T];^BX<kCzMs:O՟9Y#qI) 'o}`)$9A5}ؿ,턻x'$+&}1Y.xur3*.mp|!YG qK$g3 kq@[W??o^զYk;D:/D 'SL쮋hf{9CȬCPU`9}R#9jOab#p(.Bܙ ia,LЛˌgjeH⾜`zÑOB$5zɑ؈M3ҥzoU;6%?F?#o$Vihnp㮕ᗥ;pco枙IC"BUe ~Hp"{*?܁Wϋ/BJYEl8_i)[\Q/VOF68K{\$m ޥWibrf'5{L]&J  b/*AUMWܔ-cDn~ p_ce7 f@3_& ɸŻ0OOUa-787Ok=d;doa`;W톹٬7hWJ_ᤓP~&]_] 7c<^s'o&FpR*s2nԐ',S l{VΧI2w*63 1@%L$_3f9e:68l8Ĉ#^4(Mc2'm|C_"("3_qDvLKX<>zܦʼnKj)Cj5h@~ YN@ d…*P1}~{AAhqwz2g;ϗl۹ l@.= KF{npy|E^gLSZ(4x '*R_P3"?D~XRv-+\!_}uٰ$h+”Ip oQG9.]r u C*hnI^*4˨úꠛ78}';ZSHR:A_0_KڑeWˣoe{v6j?(x)АT+ύ{%jeL^ߊe~ЭQ(׻Zsy:2k]TG.x^]xV5+ل$Ԗ)GbإIRf煾j YWbv=3JC b28~>O_'Mkqa+du<_BOR&%g.^OS٥SVMG>Q@'\3tiX V"=!='+G,W:nȐVK]j`@;u*eO̍d%%}ُog8}"YfD"lմ=[`El9쪜w 5NKp!੔RZ,”eOBѕr=1N~Ooiz#)J?-!dba{^935T;)J jrE<>OI*v||kyL80_lx}`Ś8*IN-BzIevI9)0Дo0*aZ{a.S`"џ/1)mHy cj0vO6qwP.Og1Ipas1"IZ[96Ձ.vSX$ p&9Hsw#gרLު&6q<2M?vrC+tmyy:ࣣt CHDC˚5wI8Xf+%fboћ6Ȇ%ڲK RQ ;e0`ŷ;}kivl*?Ώ&SU-'trSeg;OsZ蠌es Wz+zWFa|P_˰W]I(8Cͪ?cI{pj)겑߫`re=Zdwn4UӓW*{@$e;*vnٹ]v"@\h O,@ 6u6Ĩ}j在#ͤ-@˘?.juK4 l|g5>x9j-CH8R^ׯ#Zz_CֲӠz04,mg!C`fGvT:6Q''K.C]q0< Xv[;E>C;6cu2-E䔎GSqvbuk[Wkf W9! 2K!84=߲J;A}l!n]%0K3vƫD(YO݆Vb[r\?xp8wG'9# KOc:;./^ڸ~8߸,O> N|oP_{I'o}lΪTWT5ͯ*`:E\$XZ%iMyjdEX9ΐD$`A''6ߧ="_T~ 3JnOe |{C2 M[z]&%&AZWEI؁Y*)/& R/kK;yxapZ(bkb{/>@&@Z5kGJ$1+Yd5>#&s¯S6NB ) )\ȶ97>K ~ cx%}phByhUٔ"z]ZA W;A:{r$G"]2g6,UfMd_& 2oPGgnxSTҷ܆[۟ Zu#{;Uq!>9ݍmei2 ") Y%YԐ5sW|A5oчkEL. th}p]]RDknI=lcY{$fWI:BVFو686/hۗFMX38ͦ hL1T핓kpf5\.ǵOtkF؋קͅ)=b߽b;FTug5 Ì;$FwTִC @j+K/G$1h'߃ ^SÒ5 0P4!T)tyٓΛ^oMLW;Vsw'P0@!bkaW)r>^ q[Svà#L`b:g_]6=xV_e74pCc{Q)9D 1)b#)(IL:gKї ~4_tu7Enҿ"/l1xY k(@p-#{U Y)(MА5^)VZGB+[otPF<ގf,BYl=fV"Fj-v]!FՖͽW9ɔ2Drˌ<(s]aMnjW)Z+I"3b_ͱtusF_K{/>6LP7c[؝v2pUސVDaݫàv{]ޢp!]t]tyߢB"k WqH#"d^4Q%y [8L^m&x}K Zz׏Vm,E5Br_Wxb(a%PXqLEW@3?M]8iIe;UTmGԱ'3b;Bz6jj㷄GpvY)f5Lz D}?P,o ^J!F-)IDC9Pq·:9B@mǥegLqK0o οlؓ$a\NU5ިA*Ěܞ_2Ǯ2*~>UUGV]7 i!g0Dn۰M8WÌ}PokfY~|#YlYMyV5(]DiG> 6*ME ^0pDG(&*b<үlC)BxW5&dXJ.k~2M[1! :랊 QeS+Y|++=t\\i4d-"y w ;"~ː U>Q[(vEw>zXͳPD0-W]Unfo6 .ui JHh *j.''i#i$Ղzx!t zn0&4ggDYС~y *nO[()>{۬o./\Xe./(* Î5/>8)S}ѩB#L|llr2֤nS,sZ8y P PUc=SJi+B# Q[ :PgN)BW-esx͙]vׇהmjˑv.(fCpWZR tK=4h SYs$Y,Wo ъN2>b0ce5/A9H$GvjFLCg'N iO֡[NBM# /jcaKDC `6o&VQk GmV5YH=+KJagl>#qmϣ #'fN"M! }R`f3iꔽ)Xb' g|B@e1-9>(أr0{YKࣨDƇ`aht 3HdK'vQ{]oj߮Y+7kTp6v *l |R,kpnN`-sZ',*d|ʌnQX}yrЍߚ8֝14ej<~Nѵ3f7K=6[`K!telJ:XrӵmISMq3 c1y럇$Жz @[ԷaVt&,S媮 ˴Ƙ_Բt`#';'{Jx״;R2 h#Q6; 3xX )"oܧ %iSSb|,(F4Ϩg O͎֠T 'suwE N7eZB^WGC[Edq6 ؍G#EB#Ŧwkg6OZ#EP27pOQjoZZGgWȔ0.[T sT>-[j2Xm=Cά3l JR`3Ɉ&ZQ]Ӕe A90Cš!fje>bM.9J鶟l֊MnRXS/Yv7CK[@L`qize^w 5&v )I;Ƈ{4P .[)l.{bӑl7FP9m KyRg UEv܌<nRȘ#9n)%otRܟ6ݨcKd8QK57Z~Dym1x ^ n.j)-YtCE>ʇ0m#U㏟M1Z+UDX &rvUh}YMPCjv(`Ox!>[mFxoq5TӋI(HI){NĨ~ٿJ v ,Q\o,(p@&]1P,KA Yj7hؿyO1cۥ+v*q_+F4Y<\xwr6.x$]i䄺猇*_`8V;c1#l;P5ܟ0?;XU͠W54РtZo\m&7 nXd ~}b_ Ę!m-VG[x0űhh$11apSv)} RkIC1^?хoL3*${2sx^d /݅SL$wZ sn5y=F{(O ݷ`k,Z9edZfi,S G)ýPIg8EmlM8lzZ Z >F%ʜ\VV@àc<|FˎN#:貭*4%\|% f3"\p~X;AW2r 6~i;qx%^=2Rטk/tBq,T_Ĥh؄osWm,;d)zcJ5)&g ֚_i ,ߟ^BhcH|/X%T 8ofYTXx7? !lVlцF6u z6Sd]nhTv~T=:*j&pCو\]HR?E&9Y2 t#[5[H.V7^d%~H>Ƒ$I; S?(OѐYn9E7j%,6-.ev& 4THV|w1HD-( wDA{6^*dAx#zckI1jHt F6TI'*ZeGP}AS=Uqxv%JzmOü\YAqkX7#(fJ7CDevYkwva>HYS}^&4p wfU-)&zܭ# nSy E%5Kg ؃_(.Eщdq:-4J*wiU {dq{p6{ܠwpTOKICS<ұZu RlO򸧯[Wk$Аhns Ǟ1{N5UVU4q@ix)SCQ?X$h&#PeD\ ptژsDa缉nfšɵk) RJtfCs=y͓/ڨg]j,/kt)9L :Au 6[7q?zHȄuPF=\D]9ޥ ;nkxwQ/xk"ZF=6'cg \Fd bS&󂤉Nm'bZ%gȢ AYe]PC S\oo+$=2SmXk<p"FYRjL(i&EMOPvQ}4-*z[ # d3 9Q<^Om  :PٗW&uMiXlBI򹵴zƵLJ 8ֿM*~C(?iv \+3)PGX:<ʧwA9Ao.8NƦK@ 4X'9&?gEmfuyI ׶. #t^@ܛ `!\bXv:gU> -#J |ɫF_|~Bҿd[o6DsI~a[)"7gz^.k<)H:*󱆓Co}# x#':+kyQ|]أ`t@l/} J]z.`p5[6 ee<_gVv/2 ST^VAL̡]f_P?XUɄ󄤛y4$/UMe7u2dt`ztQg ژ; KЏ<=^_sbA>z3nXReαp"+}<⥡X an'ofv|1bO,Q#M;vťq~wJ(tJʰb\=[yÔnHى33P!^1)VQx֯L1.TpC)pg=q~$_lKz9u0N\qAʮˍ\F8lp!N?]cz#f]jL?C.\qy۔1Qtl izx<L\.i4;4b` M>%\'h>@oߝ*`m\o;~_oG%5ǛniRQ[z,vQ? dY%9N,8?6=sb}32r,ʶ GgYSo4ft|J`ߝ21CpB~hOC#[@@rz7lN]W=SL=<'w EQ>h~5~O3/Ԇ[ `.JʊlUhd|ivE 0Nt $h1Ah8v} GUz7U70Jk!Idn4#Ai+E`W6DXn6OB[T2l UȑCj&~.sK3" zAlA01J^?ip0ߡ\?(J$Fɐmț PV,EZ N72lp[)5L"dS𙈰G(8knYSi DIM"#xZ2q _oPB50rt(/e]X=}qGE𑁤Q0\"!1HЍ^bf? %?Vؿ-{Xp( Z*9yHԄiT=rWdn8O$@>?̴cˆuT_cNJ[)3AAY5?bi^:,':v4`p9Bx Ar/`6SWgW0Zf3eTD:5ﶃkwA*YӢΕm/S'޿8>uޫUdŇ͡_FXb¿#|pೠ)bShD8tZ d# rA^r\U  ;+QnҸ?I?(:jrbWփ-%B5U(lY Uvc0Z]޼?I4S@2E]2H *eO-w3qÿu'/)oBR070otz2&,!vߤ~T;dQXd(H&iݫ$& G5Z~gUu{ጧڽ O rUܴnd#'-=T A李j"/_S_^Zq7!3hF@wA9@:=CA S0,~5[}Z 9B0އ|l\I>AT}ĠՔ%fܻ5 \' **Ylp)QR}&XjfI, =V.i R%1ӜCO\=LCet)n,my?Zq28DfMY/Z<|9^+΁?=7kEA4 lⴰlNi%bڬqVםZq42ns`]EH⫳bq0L H{0?T>J <W|Kt"Ra7SW{߱+$}o(?uaIpo9򪨜*j?13p蒋'C`QN R 4}Hǡbn.9$W}@lyߛ}pL ˥e\~,):OFĦL\8־ ݻF7VJb[]L; $c_Gg;+Pk3r-kpW 2Mjfr T0dL/ 9X>Uj|6at}}eC_4#2ijJ8Rrh.~/\62 %ifbk)߇ڵjwF+R UÇNp2Vxa"e/sq&foe΃VmNR=xI!>Í7(Fɳ$'ھӆز_:kEW)! FH2|Fr !> Jg˜o"}ptjJb.4'e;Xɐ}BNX/(p69)un ^3- 8A)<|xTz ͙+r`K\Tt ;P>9iG!Tsv]eth{q̒;N<%y,orRNjxs ms_9sh'&H>^r- ƹ'(س,H`"bxjfQMnK0OO9~,[jz䧗T"|4#,Ⱥ]>h>7=p@[˟$#X:!՟pL<9s ygwI0c ._.NBe bx a!{an+wj?|PvwqAEVTg"6#vZ;EC#&8 ڐѽ'ɀ,NA+Q?'1f3Tu.,'Um~ލ/ͮq߃0T$0<)RkDd;6Ez)Y 9pQrkuTT| $zs|25N=;hI ^ZZj,8!yism}BJ5to[%-"t(Ub*o%X8"qz.I-h>\T&*M[0GiUdݷ7|.}n|MPOyy_B/ɿ酝AURƅ(nV&R[{ޝ\Tz-9UTxՓV3z ZKf\;]`(1L'1jEh^J 0|xmã݀ o)8ه0X0 )sz?|N˹9M{`"nkYSm ~6Fo\L< #V]dwO@@}H ]EvF>֫Jph<X(xP$;Es^6#XG؃eXx:;}j;zBqA SbC=;w#S7 6OUFl!v*{V |)k9Rt%.?0LB 9cy8`A;U _( "GbeMUu{b 2q\tڕ0dsQ՚]ĮJZ%~96cn2]Y:|=H4]A5|=fb]&wt-±dw(t+׬UԒlLY]4µrL2;VL}%ேeE͟ǿҢe1Oª lCϔ5:*\  7B~F8k7ص- Yizf_Ke.`L> DAa6.q 秷GSݞTPEZzl[H#? .LoAq;Xֈ'S$/@f'yLH"7 ^>}tFPhjLY鶛C0U+o\.M} :ͲMy-6DAWGkP9=^i/p8̀q>W垒,pU&7v4J}3,pmb$l_Tqm+& q@3@oV`]48wiM?빢^}%"h⻬%)ݑJawAԲқ.QFO@+5-`ᶍAxeç;.W, v|nx;о.#@b3`݂ag{>T[k;lg`ȉK_<U(IdZ::6Bd 8sm|' @|9r_`#QBo/Ț2& )n^O;1;? Rj„c4aD8b.l)y/dɰ3sc[0 TUR,¸Q?:e1&Ul#«ԛAd6?_ʜL&Ve! -{`uC0 f =V5՟coo `7ᴞx\k^[EX 3YQ,qՀ[^樂ũ qϮy[vw,ϪlWi?%).u׏R0>\G)[DSl",FՑU2{bX_$RIj<ǿUnN0aZmzcMX7? aXb#Ps?;vAws=yp自I]ٲe۟&4^+5ĩ'0Dh*"ulg6˺ YCv6`(~h,aC]E;K5 4O}_s-7[STQю-ԕܒQGXMw]sV+ aENfyp'z[(Uj'agCco;?%iLg\ Vg4&{OW7뤙A=́ckҲO(Y`nzcȞI3KzyK S`](ekgJ,9+ѭյl٨1*Z ]k8M.wc$g90@Kîݧɐ[nI R؇ZP2=@b ߳nY6MN=vo{#=\gvWIamYr0f(w`gYZ469fa07be05d19b40b27367d187dc3a41992eb0de16f84d7c340d8045cb3723a318bbc6979d10b50 eff78744afe789aa6bdd15553f69311e18b4e04d9d32daeea2bf90587f41ec5acca46ef845f01164