SQLite format 3@  . BBh77otableisabelle_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 P%|d\ ]/]HOL-Analysis:threads=6elapsed=285.987cpu=1247.504gc=89.476factor=4.367zXZִF! @]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{_WV⋔6Ko꣗-jR\1 3-(6 7]HA$WƪDNić |vkx 7H:Cݠm LNfyB3╾Crp؉D$J-c\3Tz+f7mw Ӑ&~IǢ>Gx#@(V@SY=If볠K@KFEn0 {݁9nlh7{L % HOL-Analysis*ະ+w4IyoÍ Q,vk(:=sE܉#0vx{o֧ѲQ49C3t$ǙPXZEtrMuxƗwcҬV[A/s5*cW%oBg@0^̅K5؋g.`8hIy,K!, inl_5m?f ܏+Fgy[ˏ|F5%ؑsFyUq>ߖc^RaoiqC%F;!Cl*sqO<ܺ "wy\qrՈ-<{!) LJY(, f^dOc}3KC j&&ġ c!7: kvkP*Rr!^P87b=dƫk b>PJ(xeٲ&s][pj)'KbwxF gs'ql~u0rXB{Q":͂ܦXaZ_A}@ϝMbaG*Reψz 7_iσ%ޠjF":F@EY;e&{qT1{F8ʹ4c&\at0x`]SwSUu]~f.:闫N=hY*"IP\fQ@YZjmH?`nVY yd(_M4w0&ݤdviK2$h) `-)sQN< $9A%I/oH`JigZF[ٮ9H_vʹXu:!_ dcy]ۙZ l+aqiR/vr{r{ޓ]˸QtsMz16>=vdaavL[} "A-CY-Wcȶ 0q]s+iFMѢRwjJ*$GmvRcǤLfFǮ Zh/OrF`7IڬmWŤk8/줦o?}mLmtY=:;Y7ꯠwF?A.b hۢn>$j/3msI;* %S}R2-L̥_hwSƢǰO?l86s-Fv7퓘] P{q oCΪ kut~oK)訯5&PwESy0Q<la;D9 >F06rjKVoQ!x .E>]ㅶr2(t&1) venGvw{ *Z_b־ ҆>c[iP{/ Tʭ(=C\w˜:(]qINQkyO]E*> LRhF`{RҸMjU!Y?AJݮ#Kg& ML^`dUEU½57yC m-dW@l zW|ሎ `G LD{U$/f^C'W 2Nk&S IQڃNmUԂ]a4&x CF-ӟqGxTb%Vhy02!Ai / =SO$1q8{:b >"nT ++zw/daL0ﹸVJ0IPxz"ݦ!OMUQ!=J-cڹ7;¸w Z2+O:n8H6tb\ɿ&Z%._Dgߙ2|G0w;o(vR:\D)5`8+_.vj*kfv:&I?N|ww{\ \S(890X"Y;0Kw:0sk3D얊%Vw% ,rZڅm\a*oR|@aVh#0e"#;RD^".`.?\Ve[Meۮ熽)$Co}~5Jl5;WDzv1 ד\_r+˭d-1r[#Pu6$@Uf EuW'dB, ;ާP6E>-ՎӣH}hUG(pa'3`뵒fnSI1hq;jqGN )ƪJE'!|/yjMl'ߴjӞBҮ(+~?:+h?2m_d\ (n$P^Z*p02UQˍV3b`&Yf)=_(E?V}cGڇQ3Hg~(w6#MRAP Gʐ}Z`~vDфLN',J'+`&Ϳ.ZG淎[[ȋpHF9z jL8,]j22:umghDO3leMܴHzYx Q_$}ݒR "'PNzF92L{ rclk9ۇOڇܕ;<۪k`%$ +"@ق˴D25Rm^&RQrH _u9\mO%}J=JQoz? 1rdϩɲp@ XYϦVrQ;vV_o:moRyyR1FLp1 TYgh&UU V!}d+ί_Q}QNK|,WՏ:jC_}~!ƴ*PRd H +&sucbxY!)= ?zPK|e& 쾒E˜Pn"[rkk NʏbuĻZ OʢK$ZTGDJZWcþvVo/UFR:얛sbE6-Z%f*-PO8GDS҇[":%C~x|kdQ>=F BIS$dSA}g6udgXbF(WsD L+LI;n (@M"N: RA\GwY6FTCkh~j!H-yTɈ<ȷ\&ZV/#5?eGW %brƕF AKsybiX WhL6%6hJQN (rGCȞ+xm ~Ձ"C jw= -uOJѰ?[<4oO =V`2`XL/PZ\I3ًz"Byh͹c qeAa jzEtSV!,SԦL-yc<21gg$$ln"{7gkjTZ hy~!1 =P*d$WևCKB°kk-R2rV8͝.Y9s7Vk;E:˥?}\#Hv[:;>͎YR5ᚭ).MVPB7`&o,&{}+0 nP αh'4Պ9fRaTz4v y@W{CMGSs'nAQAIpVf~>CSyǎT!Z~ Gpe#+_|4 x5+迕1DuPE"9w!&n$I z,?ðguXZٯ5Ӈ~Q1)eZZ]0L.]sp9\]+SA AɋcG}4>ue !]I.lbK1ܖN̏l3i'B^ Y B۔GI%Svګ@k:GmG dng>KR T3r6Y͍bu?:g06 w9v)4 vrfߠ9 `e2/MÆ$-6XϚZBҬ!1YEZEI* ?!wҪ*Id"6ʬz G0É.9]F֟pS 9wL>0p!o5瓵1g9*۷F VH`e/E4g_yŇm׭ڄ7:R@Fէab/.@J"UJ0I Ȯq J҃+CsUbSp#5 Ah=jS49-nHkb ]g? xqc& _FuEԊ\@אξJb_2 4Z|o(|enfl0H ? m^- }Ԧ ]nWysڐ۟_Ws w6E;j ?OI 0j&!WmzluNfR+dp"E穱JK9/Rwz=<\jSFh1R$hȿognUQ 7e,$'ƒT|n,/~\rP;bW1NtuR zmMaRi[>Z9n Ŷq隣Iţ'V8~e<~;ϴ軧R+ 8T"'usc==aP+=C!kB7X~ȉ̪*TӮ?}nf&m c- 'La;oc u_tX3-FM`X]n#WUܮ3kͤ&l}C87X;⠴4XbAx/*[Vaw /O檊քC$}$?moȌbի̼fV"'Ll~g1g o6jET]oG-xM ts#K.zf+oW0/݋7;ah#Bm7ϓ5U"`8wEMn\sta*}}fXxh,/,HGT70Bjd%u㎸1kv穵*}l?m{ f avk7wfDg* \hWt -gGEV{>mFiXJflԯcVdbSEbr>SQ{Eڪ<$PCr\[,r+:l6D|TE*s6gP0BGIA yYTnz &=fse9ɀ(Nu4ӇQ:Ě)v`1Vv^IbAܷ1 5 qy5вSGg `2 i|ZFR)rH^vQ)Cfh^Ph3Nd4L_ ߡ`W$^P(z[a3_PaSBS*z+ {ס^dBh„T4Bp'q8t_Jo+:f|0m_bKYMIde _riuFG 9|IpRnҿ f[5HEv'w' )?gWv-o{G 3UC\=aCEܒ4 C[7f ^i; ]Y;UJ> lŃM~ɝq Rv65ͺ3ҁAM^}? 03x\7᫋$nv##1#cõ:E:Ey;ݿ<  VK lA?ӽE7r/-'^yA 6QS jSX䓦hg:RZL_5{(sZ"~QXffrޞ8OYZ+_3KtJwۼ7BT+a7R )(D43/DknĪ p_{,t_q.њϹKW{w{ _IP]Rl]$4uX v*':*wuF]d$aP z()+^+EXHjSl 9D@cn2Z B1ˇ6zAS~yEL]abs/uUCi/b cüy_v? -} mTe~B!C!c^3"._µu'EhQotGUρҲUsN1'ng⦩2 ˬ~up^ojWv !5*@/P9"h@/S\F8wfi!Bٱ'Tģ 7RZ5}]X}%DK6̉S2ɛ(D_HFŸP5AQw$'w%55__s:<9o.a{QyݑȺʑؾ+Jt:shkB@ftmYP ;ղ޳<"ד}02t?'dyA/q^.c뷈q,lȠ\xׅ?> YO>ӶkٲE^f!IgyѮ.kCTr#gmYEgH0V.])E7 :ĪafG*:f;_`{S|*_7/)JXd'`c>1'=7r4za@_Poq߇2oKf1^BJv "\ҡ0D7y1lq=n_?QjǾ 6Jiզ(wGTt<@"ֿTWBX͑ Y3.,Y^SG2Кإ6[N$Bgk6=u%TOLfvJk"Eõ/̲IAQn0E7 ]~O< iGBx8ɒ%cҏy]@mfⅪ^o FF0dFF8!l\J6ќVzAP..ꌨOn9 ̯TTn vys8۞gm %Tb4D5&U37I -عYg|_^_Db)XV;PF;/6wa=Qq#MbcjZ>-Cqh\8`,3%oqjeHZ8-"H ҉N'y^oQVA2rgOo:Z 3W-V'p ߐy\7hGjJE%=UycN⟋#$Uc4iѦ8B# [ o b9*sgSL={AȵsDlnNGjfmㅴ xxv휦(nUi]67H&J}=MZ1LG x@ȁF{nSLK}ߙd : KLii{mԎ99jڑ9F z(P$6&PM/ )_AòJZGSPG]xQ,(ru;RXؗ+E0hMr<+jr-@! M Ŏ ]>(Rt +"ǷEwdOrYțJpS-oZyQآ׈+%΋8݃`0UK?mrN@Ptv䭸/TN5iטt'wQ!p3N ^uΉJf!y /ٌ( ^;ۊ3^ zyLb1PLZdTNKrxkU_ϫd̙Ֆ_%^2 Vp!!%Wj{yX'N 1U49yqVIg ljōj^)ZY;°qHtHа~|(lk!yYE #/ƞͅGgyΕ3|CDϰ;C^#1Ŷb+?$kZòGoQRh$m7ڐϔyX94>+55:vؕzs:լ[=WztUU ʩz^8Im#R3h~kR$ ԺVRч)e~c|qlV!'_^~dB3 6?< hlXYqJHd~G)k1U:v%F> !;Q{7'叓-5^ n~1Nj~ϴ|?gJӓa^2]lUr$2jYPgҦ"9b[gY>܄E*$1xZ<3Q1t/NQA ž=)}݂9HʭfgN | W6N}@h) hqy{ȐKf][Lnֽ?a7YJΟE}H>ZPf=iʍi.U9_+{:KB܁>Н~xU51zw <#F/A#:ZC eR?`sJJVP h3C_ (gc"8߄Ks?*_9wP=s\]ZL!p'x΃tJ9qʋTQ_CBu͌.McXzDh֫Gƺ#c}/uWO{7V>(yg|DIpAx/TY L0$JGϐ߃xO-X^w}úJ'b(4vUE V'+D^\T F_B^ׂU&" ;\feDT i2?NR=Gtc2Q񁾮1i,:3v(g;L .kq[M#t 8xVK[U"=7+xNGKA2j>*bg؋lq“8>fR=Ix5Pw ZZiy3a4u0گAkx[~00Ȁ5rhq{]4*uXIܙ8P_US[sћB][to#\tǟ !Շ,pY;cCD.` ĿJ ÏB~]2(ִ gxf (w.7a/aRj,n IPݏ4E3}([KwYb3>_Al5^Qou 2 Bq01yaMC'zJ}3v;ʼng*q"ߗ;yha' [jqa4;+-+v&Gri-ZfSpNiꇙ/m/eyYi[EPgzhqS+Y +Lښ$"k~PPk \O @(E% ^ZdRםtv "$dn&kncIvk r#?ޛՏkrc,ڽTK-$53 /UHuS{!ٟN;crS'puV3C ` @:I1ר-Oa-Y$g9J*&KvK5tH][ 쫅zp-o,ZI{=GPa[<1wAB7ylZfv}Nc]<̃8ӯWz]G"-qȭp7"@DM`'SjTo/nPpyŖt!R^1 x˳./8H2B/dԯ5BuFGaEn3lt؜0g;Xk3ㅯjIL'69\UL{|^fYx⯚mw.>z;vѨ;dzo$*!P' c+C ɭ${S =mܑn?K^> c/݁HcB$;% }"{Beм~TwVpՇ͓xMѩP}`(E,ɻt~L,\~R}lC&WF(`hc0*SAԗΊgFNߢ! 1nĐ~eJ7]oi&Va_q%XS7lr${'=6KG+8q P`up7)Ӑd1 (qZBmeCFhq3}hd&_.-۹`-cZGa01Y= #ˈe6鿙ZY Bg/[ :-|`:""b_|a$ʆ]lxK z|eܡ_YJ~J7T#SC,!zV~*FDWU;QJeDe 0j 7EI|zڱ7 ^1lh|t:FL6]d?J;Y瘌j!Snr!eatM\vp<d8 ʖMΈ਒5[8dCk&A,,"ˀ3}>0SϐKF Y$Af1ɵW|{^jKO!m؆]g*[ɕ&!{-U#޿.6? (d6:>e"rOTV<zŀ7TgBK{ꊥk Rߕcw] e} ^>"3#8'q5t+w,W Dž#X e 5 p [N> њkcjrVפZ N~{72ztD]yYSX di-e.tIUr1x?|8o>}vt9e{(%9L-ʜKQ/l%ɸ[wsJƕ$QBnԂZ`?[@  +t &6"Jf]|@YI, d(W_Gl]/xѳ}WKg:[Tt$~wЙvG{r3h<p6 9Ob p5MPt!w ٫uлՓWqwf`RSy!f%63xa): 57 C0#H缷R)fU}÷@/0&#yYILR0b=:FwOK7>0=-`96ݳ>Q:F3FQ=GIAJJh-gD߮]|tL[6gdSE= d &QY7Fۮ 8{*BT,`W(|X'KXLhG2@- %fSފΨ}[GrG! H[%H6#=f|2.ч8vP&$I{rܸW晲=Yh`Sn"ɼsV?ǯ0X}4Dh/%Uarlf9itn65t oCjd /2 HO$EQrB%H0o"# C8c)%"? D8=o) 4:޽+A}`/\`|l]V VzgL)Ljݸe=:6ao7'7DWHqE}OT`3/ozMjEV/J+u]it{sp޳B=s?ԑ2'IlN<(Swy-"Nϓ1᱔t@d$fAx  ?¹Dl{+G鳽0,߫ket$3X!aIu&|X;QbjZ}k)FQ7ΈN7NLUE8#[AW'misr#Q~ ů, E0Br"Ւzot,(Kg ױ "CI@Nbʐ|:FX+# *G7Z;]CBŨ{ԬAU郀&RPֱ&TϟCс kngYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4GCJu\hr a:fSJL I.Cfg9`hfi'(C48XV~D!ݏ$#AV*O~jyIt myĤ^|@ry5fQ .#i;3:4F./=4| 6a!z3݄q.ʻAuSt*X $4)A~s/>De㨣Gߌ'X8FB`1Q?ҽHoŗWfӲD@̗E E8xe(Um6*m``g"JrA[Jd7&9q9 &>2M@r@27<˥lf#wߐjYhJ}ΞOܿ(ʫpBƯ8-LAq[&Ѐ1")NnDWJ񅚸`W2* 䘲\bmŰ.ovw@4.sXXlQ$VWTmЫ*F.ƶaHHTQj=ӝlTas5~0u A9IK}hvRSvpqP 7$|R2jqC[/";) +N > gpv8/uwVs֋@aϼ f/MpW>`@yNF621idw*1KKrd(ʊw~N탄\Җbj?\PjU]l<çFߥ&-ddAOU ZɎ5;\=D"lHm01nP(TrFPR@f@kF #K旴1OD-+.}p.bd^Tl>gP윖 C >$0>J80_ <;.JLڱi[w}vб x#wŝĈ"f7i>w}ńBK(ĕ|1t kC /p 7fS_`x\Nv[/i7+&~ٷ Ͽ=Ә Gk!.BwFmV}ݞX]@֚>L- *JIxvLkɀ =X5`$CEv}+ #9nɒL]&C@2APJJPG69WAEbۄGs1HvWf$a)칔m 7o-`܍oc,F8P731B7hIaX)Z6]o!Bea2nDBY$?__/}ޘ>%-&ź_l2%i6+(n5ޞ/|bX SBF{@: Om36=1ۮ%f '/Q1t%]  GyCJ/ی|π)Y|Ժ]&yLUyk՟L?;=T՜a)=sKD֚N :.1X (ֶ*Xs2{#kA~8@q9`,H4^/.=p~ɬfޠwj6x"Hs+PL Hi#e5:Jl>U!ꐱyO-BnPsejh4}I|S^ր3kK!Ci7#F,H=ҼĎL R7md;Bl"O"`鲞z,JRw.c\[p.dR?|@VE, }n0xiQAXyz3T0j3oB gYZ7zXZִF! Ue]ŗXi%96Dy֖|I|c;Or*,}x&=* H"xyܓ_@KogV}/݋:`r}R9~jMT@`N@GTnq]#-gpG X{.GB@[{C!8nnv]aL !^ Lϵߴ,YxV8!r"#u:1H%?nw:ǠFULk_v$hB ΩfV? 2BB-C~fWsF9*zMN?uJ mu&@NٚCehŬfAy(X)}Nra0IO5UvĨ'!84RJ1rc.>0[gD%s$;x@ad7MQ,|Fu9Zyc^W%>rv} &(f5KPvZsWQ YםΉ(S)8c@%F%^y7z"j.!>9]Ka^5Ei}f 9Q6x5($psVI%%e'+69kEh'ڟsw<HzLTQBb~<O=KSs9e,K[(~f+~Em Yn:s!27&X_*BBˬl nxA-bK -5"$/>"Tlݿ2Kr'2G%43j0;3J/SpK= 8I [B-03o'u z9Qɢp)40zƞ 8CFT O[Ғ ` ɧl¢n =>,Z-3G𝩽Je-D#],"p4w/ܺLE㣜rL\^i30&K5ÃhG-pw)%WQ?YS@; ǿEl1TKvh?s|̙?!~ 'f[&RB/`o|ɒWt͔H#w2V|IO/bܕC}$?`}t(KMF.]_K 6Q*Xa~ޏ\*\F;#r33K@m HvZgW;㻻nr 2h=U1m=+c͏'~иl "ӧ\u b͖8k 9xUW0Tt5H^} FT+BE`ѽv Ne`-nm TnE: {B_쳺zuNtGvoj6:VHSN %Dȋ!XfQJr6jXw1SzfЎp)+e@ 7mV"jw{RhR<'휣JiD'*,B㗘xiSūF#6xK 08>olYZ]ݬqU'3mkWn.3*H"c^rv7o7)]$|a1ݏ.6èDmFN5J.4^ x~|y&u/Ӆ_I!Y"KS/Nn'!K=Ay%Sp!' ~r̠rCY3]q+J*r,EѼR?²E9ւ!T~AsI#Kۀpv4"1[rxQ`Կ^K*Y ?aNkk2hǔvwB@-3XڣN@@5bQZ4Kk)Q^ړ-꾺0|ː>jޢ)Od:[&5'>!t]Οϔ 4 Km7*_Aojk` moAvs+i<&Ax5lҤm%$J_N%*#t^0jL'X#_ IHKx]v772LR~ހ⯴caJQUƵ%:Ѓj~{%%+H/; }ؓNGʵ3Da[6#'V8WV~;ޔnƩpHA_Δwt,AMyG'^/p[:d|;@XYGhv  ϦxI@*0pd2VRtZ H`\ʁ̟LGOVBW_ds0Ɍ|l:1՞OG4O8ga{x , zF]9[ؓM]~]I:[Aʬ(ņ;+"{¸%]"S?얄 mmփF36,ޔ3$S^e@gv!{q !i2,94FkoshZYiR# \*u䑥a ) SZ{-sR2$'u[3Pf[?YG*vf@}u?k!Ob^ZYu@vzFFtr\#`>\ ʎ/ŬGluMH + oҟ t&[U )^&)um }N}y>}͉%!W͏~<$09Yz>`ʆ"giv nNh#{(RU@]2,D,a=<ᩐ=)HXɁǩP@C]0^Ɵ$}0|seQK{^f hOwT ,8 d%rv뼬K0^üDw4Y;صb#HObB aF|Ù5@-?u-2۵BXN!BQNyOi (kphH/E<R6y1WLUcDh|L%Y\F V7n")]:0;i4^|ԮzoAmIšG6mȳ1k |0ZG ϖoO+~eW.|*D4r˄t (ݤoyǗ,gI'2iVDhhn8vE:S7d-Jjz0ғ\bU+]N2AJ>z)9e "lE~'ѮmSp2ahs<iDI~LΚX ;P DZV.M[caaTR͑Ok;Ƿ?{$+zGK]߈C`SC= Ճ]hr:F:_jQcA!WZ^_zKW5YI 7;?э_ "543GA.d-(:84,ª|VNtS6j;>Tϡt8+MSeXITĸ d8)Ɛ i/9Ar` Jijh2rsCOGԻraQW0O,hhKRg1_&Z鴲dupwɦ!c@h.9BrN%oXFUFvl i}V8BKheffnʶ)hVJmq\8bXҀiz;$PaG~^#GWǂQ3 Ӳ;o}iX/Qwr&u N.ZAv֞jEN119c .۾!bWA߬ "ᘱtNKcQPs~#ʪʵH_#e#sm1g%){Dn+~VuZ1F .ݥβ{ڕ?q:f ^VM4R 9cQ|vu3s٧s` %&Y *xQ܃35vZuN$ zc _Mmip3/EV;޿QiKk8ӽi?&0ss.2 |#;6r3wY]Oo 0.GOg C =G4}fm[mT<ܫ?/(5~7ڄr!!R o&ܧRFwp0c&#thzA*^ӊd5^ LEߣ4!xX.q[z$ܜ R#15 mH˯mn#EYR./]Fe ?추@"2hhYJd1*#݈scPrV8@sbKXMrlaAjkK=}4D$p0 W"Ŀ6]jtfZ?˻LoK EoFK[sexX'\ϡmEO;D3Ād(9«kpUw^k^fGTqL#W,S %kr46qU60꺕|%3=_cQL# :bJHW7c,*>b,w2\Dsc8Fjj+GPf;HK 1&ۊAhdJAP L/(V0;-xDpDrCTzBPU}QYj6N¿H7QAT7(f/Fцx<  =q=6p6=PzvQ jjK{OS?,A$ י}@P=ϥm4YH6QC⚷[D o#g9pMKT_'26qFm9zU)iY*R lZjݫI|~BC(n@ ; 5$LM vCtS^}9r'Q {-SUL돟ۂn3qFcAș[0s82ѐKeZ 6 6 d ӄeMO~4q~yv,Q)aipZn&JO]% pcGn~gS\䦬Sڜ zCdZͼt@zsHJdiYm&4ockstznŴNcY2wQm%B)T2 0h@H "7Uph%.rU~EG&t>j k]7\i_}>M8iWCUBt3G΀m@;5Ggyp,$Lt<2<  zK4_leuRf͞xs;c,!U78td_.;:$G@8՚b ҎƂEcyoͬ5\7}P*GtP'hDB@>G ": # -Tf9]KB<ǚ4kL+7"kL(^lo %Fcg"mx/ A4h}d$bDR)Ê8҂yIlcN㼉=VBU/UVoAsqU,uhΡ*Juɴ[s( Rc]~tyDXV{Ԧy-χE0b'.p0C;s@ā{qw\ OX-=PErR@A N+ۍſ~>m}^nPJU˿xw>+3p9ΰk{FP:2N`xr# *#w ?9pɆ؅qp٬;Ts ,_ )(a^iV$γ/5)@>uD$h<6Cb=6WBz,g,,|ԯ13,\L'e˘-O~6|,AtruS[9ʍxBNu}*kZ DVRJ=<D=ly~SEj8"G!~ҷX |: 1Iоpi<͢1iX-|GcgeTdƩ-'Vv*wbe0ގ2d,xNs`I[+ŵ^oG55}OXzqKK/2- [ie!|\vP&:Ay4K9dU F^tC=|bâfG*FpAžYrיϠJ^PLTn6^"]jJ3WgX]h {HãrgbJ5K4,w_Cւos*m Ts+uc٢mU4( SXX"mnHcHwb;'rbivӦyW(y]PUcUhp4zӄ!ck,JI(ݫT(M#Qy&'cX1 <V^f8|zIaGPJHRr|@3S:ֽbm0,pǯ5>=r%?+϶fE^^:3o(`{ZHi*H[NcG[6 ,wK F_>eLSAgI\kzjʑ8gsw ;\Z|$ݷ~K*t7'[T? a5Hihv*Z<"`#7l %!uҵ'#&{fNb|s :~ Ko`ҝyImDi-ӠڢES^Y(Zܛ8C3SFb6dסmbt}BR>/^g=X)6A)ig 9ٙEkGJ!]S,%4ihVIc;R8o ]o&r~1wOYy ;6P1QfLћ.p=e pl; >2zƴJi Z񣋎)~+aAO q^ˣa%f⊽J/|˾Gr 7 薜L&mZrV(b]z5tW׺O*R;nA~.:9pŀj=XPsqoh+lgyT"њ` =Źe*mM1]n;qњZTmb?Vk̻ jؚ^WUNk i v܈Vea,\ 4}:^K{aj~ߴCZRކ <ɮEXia 9wZhR7G`n|zWW,G8֭:g>>L ΈZ';sjP\֋eqMU]J@cq2"SVV2Ա{!Ð>?CO%4@DZю9xUw3]1w8k5fZn%.1ZsuVZIڸNmxL 1;Ҹ0 $8RPv+_=E (P,60SEҼ&Ųr6n t=G%S`kL!^ >]&`<}JK g^GP ]~0fZ.Z%TٳĪ~Dk1YW8xkO ;ObmǩU;Өi-Tng#DvNmH  6[OB;}{es~JinŲ`ϒnQt V("@\cW k`>`w[KL@NtX <}CDgf;1MD뉃$Pr=b?Ɨl'J~0z~#JbL#.a {%szG놕QƓ쭧_{ !'ۄ:f$uV Lipr5&V[|;&9(1)d_c ۙęX7\;YBemﭯ= U$WM%늚c&#u.lKY3QT2Ǖ49|H!| c `ap'0xDzBh5Q }(@Rc{3Qy+4Vlz|z<t`*jFiDiIj&Y6&[BX7&1I&I%VE6-6l֍[1 .Dy`U*ƛhZUv[+|R3; tioB$Z  .Ǚq@3tEi_-I zn`5:Z&\A 9{D(]2)E1ƥm&O}>4؊9S9L!DtZpЌrM8 j کo.E7IqEaj, cgfqZ24ؖLk=s藰bByj~M~E8XyE@ P7O-ND)+e%MW"S9Ups3TeF\8K+P}Um Ӛ3cGfRw5hi"iy|!2r7ǶR/9eS4 w5_jstf`iW˞O㲃 8HKp<a*-4^4XO+ſF%k[jsW0aHv+4kd[f8oc7=ɟ=xkjM? 77(:H#0Um cM׉, @ul@VJ%ۯ5?Th$GJxLmI$6&[0Y=PP-k9"iM%Nma&XT~]"- *}*=XK(Q2\N{-7C g!/MekCϮd˾- m|_ r'OGX_Cw藫p$xUp΍21ӵn|}=kD@f,J{*^Tbq.iBr7%K*:M/HKJ$VTc+q' Hy7x@o]\Oe1 *%if9^#Z>fWZ@oɬ+-# eK4"e1rK:,E;`q/ lK-" BdqC{I]pc$jYHHjeV* [=2Ar{;N; raE,trgD UA/N\Rif)`AyEvY 䖭QixϴG |~VV56 9@J7֌0\v*G )8C/ ŵɞ9Dٞn6c;g98JŊ߂/=c^Lork D1]gh2b*^S!sۘO4%Ef?\EE"b`XȭǘX"f?orykՔ_ uE_ς Hg|O i~EUST? B&h3gk'`h/,ៃ,SS ᥯7w1]jcJҸ:QqC{y7eyX;E]t^&ςNk--Vl&~Ug'Ak~!} f$+HQ7o|Ī}WfjR=6I5Y[Dž8ݕNΩY[Q!by8f@Pn\ᆊ]!F۪ROb- و^G1# `oƨ.E@[~+aJ&h rB>Fr8?>4Di@^ YS+^yLJ$[pPW aM\=:|4c33E/ WQ#k(g*'=4k"MdMӕC=]b5KStjH" Ҩgd%%z=u@OQDjF_eg̒h*xBF?ů#AUedіdQ5ڨ*#tU7OPiUo-k6coﮜ6H[8lbQv}3@[0@N Fp=;$.8N !A!= Y36{ZQ1F| g>ΖJEn۱0~B3ٽ8XF)P:U0uGJR^2FtN)Nf+z+^X\s%q=Ғ zvN(J&! zfP%]SMmR\Ή )8<3@)}/]QL&.L=izbV/R XV,Aӏכ q BKeڻׇHIw֥Ab]V](}CFFٶh̵&;L8 [q1@!Z}df7 2EҔ턷yBHMkᰜj]JBXV1>qe3DVOt3?^wKg5}P>=:FibB7q#ϻ9!-d i3Mt`<#UiffmbLH)\8=}m& [DsG"%FMo cn&qgE,(IoXfsNp^9Z85~+*sd;yC"e PI:Y Ӿ[#@5f[Z\@$bp(E473A2e2Ȯ;6AL+RJSؾm:JQE24J 9~ ȈCh"M_2[CPcX5?<2bo+lA2F$'(;b{ҽH_k0pTi\}KC9AedjrKƂ$IR"pQN[$NGb.joE]KJ=nblW} ˇh[䓉jP '_|I4%1@W8c/~*{EnVm˳B@꽝Bs~!uQZQ3k' }kT:֠ G7ZLpL} h= otش;Y'=r_xJ+M]iGe-;VÛ7v2(HxB'`_s1e-55_U#> 13N< &m8oqЧ6QJ aVx>TڲntS, SNMF*·X&ʕC1sꮮ0´]΁T/T |v`F4Q(H 1ʿUj"(2< m$aزߡG2/I'FY!ͻ~ %KA+Zb jطgȴi9_ /N- cR?^mu m?Н7b&nq3zwf#D#sQoRי6C5!-͸8r܆6BBې96ﮒ[jnh>h̤%g5S`%:;ip~v!?p!ʏz0WMTx #p@fXٲy}[@H'XTVOܝ;,f I֭6;D[g@xYC rIv6*|wWtgD4Kx4lr!R(4&-?ÝITi%q(jXH]x}=b氒 oƔEސz{hoV<qŖNB7֭6؅D5x3}5JY1ʻ?z)tQVZp35K9i_ڊ*Nfwlv K3\Xi8GuiefXP? ۏ7xLgv< _'vx#hZ4C2A%q&>Zq9l]{\e}{pcMl0N޿J|3 okܐxŝڀ6pMB4S{Yvяm?p[4Z*Tc7u$n}3nCy"W mf,zE"fdQ"}~(NH$emJp$F5ͯW8o?9B)N2Lrqğ]Ϳ# J'>ݓl@*TL1駎 ,0c8`` ! cR"CSznTL H+eo~~ aJAy-( EҵXSCJl-ALKE W-},w' _gc!2udCLCWUc)uW;RR;/XB5xٰ֗%Y5Vj M5Y5kW_QW X1,JWҿ˿8IY`,L,aVgNAePBD_rkS*ֈi9 Yt{%h}5jxT,زb.},6' \ںJ֧<l+y>ۄ""q3]tgA%*W+&Ourl =ސN6j|%E]ي&mOq⵾|: \⻫Y.j@ *pKQџ ԬHÓ ?{ Zp~y}7Qiq9B~o]ʂ~Y]ԳEm?񷔈Q'FPS) $X`lT :9f֬+dlW:G[jd {f\Zt#941O-c 8QF1VͶ|z7*zs֣3f7UPn}eNއ8p'5h7%y_5O]4h\cm|#&2`"Ue9I߸q5Lhd CeR*? 2Tjd;C(f#'5)Ob۟N}!n @^)ʕ?EED@GP x=m ~9|$GJ{{\'@a]lNw7a<܀%}+WkFX5T 2MDppS&JpxA-UQ Z$DgK?y󩒩ZŒf'rhy_]إxf^R,UX$ڈf?2mnj/ʬLD& p%W;Én &SѫB#SM'.tֲWxb$5 L ,(ca LQd|W:)Z#U?~XONM#|<3:*wk[NЍ(P|PTZt7%xY;~q>kPmf#EPp5c& D=3 ь*`:^d ʃ vaS̮Лc_rg:yl,J̷L'ܩ@J)zDa=H@`sqTtYL-@nh]~>wW%,ȾNQϮ V $^ClT:ve|SL@DK1bb"J(!Ije  ,lb{W}-P4ZQɺ ^ܞ9S"AI{ASGhXEtB!v<ءqFvszRaRh'NjTT5A47~kE&y<8(1њIN2* >@gG"?sTQϗ5ZCLM$=Qj "YZ(h֮_]Ng½Tg]K UMoaN>\!VK 1\mU{3MFk\~ljzA٢KD\nIDU!ap*tA(ƚ]un`p',amOs) A9NO#9*ο*ņʀoRݗɁTfXzϟjW>W(]Gn8S%dޱ']T=;v r®ʏ!%XJ3Q7j]m{/ap MmPCjO4 ju۰zP=3y9VL-k i_gGM5frV/ \>ԕQtMdc6r{.ՔEJD=Jo ]_$O؅. 7k昃t ȹ& ,q+#>`\wKK]лZE!e{#|eT)n@ ~* RTBHc?6*ʞp0UGXC6;@c)Z8b8˅ p* .pt&|f0#HQO,ƪ+$m+{DӻVjKSya@f'o|k?/HٰXʐ.Ȯ+]oP/H"H Z + AXϦ\b<N~r]_5euNTV ȭn|cӟwݗ92>FDk-΋FdKg2Qj@aPW(f-dzu 5*~ .KlClU(%s􌪏9ֹJ$m '=5];zgon= yaO=B:MT:pU_dsZq X}veo;%VAWQpkfZ`@$cqٺH_eiqg8k>e7R-:}LUz  D xן.a+K"sr.cְn72-MASPYk0vO=߭Wa4IƘtv>`vER49rE=or9ˈ:oZȳμYTa↹ݣ7T 8fҍ[FJS+dS7N1@ ݯ= q.4<8DcS)BB|;q_F,SxdرmW s믏{S`)#뚬]gukې,?yp"ˆ756^&BˣH zQJ| A!fn -Ho=a6=xJ8yi `$쨮~i}~4Rn 1gAԉyHz"0{T)<-]oļ&E`vX.p&]m:CKI!xj^5d6G.)mOX_o! 8^ ,ɑP~^P[$A` KБaEnG^m'^$ xBJ.GodN;(`{heNp? ; z,:5EYw) Nog偸ޏl?sFo/dm^FֳZ C{jQ~6L:ZZ1Y=e4Dw9R:([CnMU]&;urkPS%j_P-WNm\1_+QAPzqCsBmm:;52[6q>vj= tE+E( l =ڊqMZA5ڝ y^ ƼO:@-L"]1J~.fH]#g;u[}laRDlkww1ҨF 6cATEYTX>er>$]=!TtwM"fkWdnNaޱ;1RP\3KI'IkW yzv)Ρ~)߻S a.TĂCs]:p?7,yBOjv ڟBV{l#8.g\/ZܺoE g"Q47k=)Ӗ/7*w+T>+T."2R#Oo=?qQXɬ<#Ũ,#8;I*"Zf9gYZ0d49d3585128d792168a9d32b76ccde70c16e3231e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb5eea193d1c639f01388c8d2d7427b7b18b34605c