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 hhp!l,< ]]]HOL-Proofs:threads=6elapsed=577.626cpu=1400.668gc=189.852factor=2.427zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\%kV?=hBVf,tŌJra^:?[*J$,&s`Z9R+7ETavJ9+l 0;θ]Bɧ.-f@㹣Gׅ: 4aд*[-TN-MjC;lIMkV׌l>Vzy,i{fFI B9ų1;p ? e ƱP|&T< qa=+o0<'e{'pt‚͏͓47=1 2.=?`;)@|ƻ>}ڣ%hjmS"-xPdrZԣgoDE c>٥Nq\ i/m(s>Tuq!Zىbq^)H?p=jw$RT1 e4l*'J(7#aGU65j"6M"^%CrFYt2OשN%9ɛ9qm e{u\\g:x!hGJ&O4,->0쑚p h-,3qT<$WFbi$zRvmb[8钵vx hwϬ$Ol/S.§(-TTnwhg8IC`.(j P*մBeCz"ݖ] n.!0@M&4(o.v%83s CW/ϩ66s}/5.E()\$U Mp/VGߧR$jcܲ_p i< a]'rOs`iq9GPtuG/^v@Tqb6qN^,\ʚۣ$4bX# GOZ˷5o27栲[/7|@w>ܩQh2gjh!-x ]*0=嚘.ǴMa°_M_$&%yK{ɬ*x)a*/'t z5f/~7ϰqƘd,e)*f] @o[xWO-jSĩIF;Ɓ]YSuző6y$W`_ G I1D+}r{vń_ֲ$d6e>jabX[9U!Oj( Uo(%)g&N5%25߈#8`B.nk^T.xHl6t^a'ϋ)_:;侧1O¶0xU S"I8q b#-Yv}Oʟkתּs\Tj+ZP,"$Jl0@S3/AiKi AI.+J|fأ9^[U ?.|zn&蜚4Y,6U&byI AkwߏU̴5Y6 $1ņXǛ|. FXL{COjA#Y|O +WTW4}m- J<[PJQ5kr} ZJmճzC)0|t+/ gQ5lo.*u^aC1?@YZn Hӕ]r>d7 G-Ѝ]uGQ9JvACϥ\?,6kdO<`,xܲP.⺄|Qbt5?ut+Eo{NƞzDuV4Vpd8tmܖ6^+TV$Xq̾o~P]l׃uXkk707^5 )+<3/fIwH!T.6]@'mŁ^_@Oɧ[}0F@(NRYȒm+8k!wP> e]V7x|ZhIp1۪iBgc͒Ew\߀wIoqB8M%C*#{ fmPIׁx[}Td6q|h D#qvy-:rr%9\p?$1z.*c}$/궥X'(QʂtKd577R^75 &[-)lW'݇0YK-p~û^bT# kq}Tr(s o<^;ƚ wK~M y$Q3"P'`ZoptS Q$gc"lw5n一CHXpRc]+j<:P찠7 =!^ Z9e}2iK\LCІ7o@:3!C!jEZXBa!ҶOR+oFT9ϠFfO]nvq@CWN$s=E-ƙF%S6Ǖ|-}9nZԹ,c+29և$e?y藪R;K3ɓX`:MjuQyŮkGn+EhRv #St e9#on#EA/S(2~@}|S4mKЦaK5oF]F+aCbڴSQڏ[6X5!,'[3T#%FPZVYʳqnbYo:N-]n{Vp8]釾 l4KNG p/NU9Fvԑ#;;+wQB ̙s}ʳKFXy \4wC+O1!gKS EGNÅaQqOn)'\|/j& 9鞪e(xvez ĨR !v &0uRZ )\! JzEaȥyyN(}V*ˠi<[ ڡ&™uɳsg q"B*ӎs#fn"?!vSgO9>[~e #N7lRG=ӧ5DkʱzR()4-qY-  b10O|tU/ꕬw$CqRAHMANUt5b  @.HF j>{fb dEʗ9> `qN_Ҥ!UꜦKP,#[X[uir4g{!d_JpgP 5 >F^1mfIygz&9͉эkO0Ph AR|ęM  nFT4+O#4H  ! HOL-ProofsW*n׳@nԺG)rOŤtsqHtu.$L8mnˎ 2(k]: #+f5JUb* w2"Jz%ۗwX?D5bޙ?kəGZ *ʋ>+?ufl.te3[q{UkMǴW"s˗-qEo%6#LMJʍ6HگAchqxe'q! oPNTCOXmqRs~n~=Ʀ;4y'SOkqR.grRLO: }BDDPRuF2uiv30]̐dj ''̨T矋 NŤJD>s۷C-Us QEߧioʳipyO<$e%^,,o. ‡P]$Pšk=ɜvvv@Hi-ցKge8jT&سO+˞Il|TA}Y!l.YZ:Id]?OO9hcR R fC˗XNMpsĜUm*{̑Kw۲q|0# ԭJ2%nQA?:$ 9yKZmkRbWmg9HXB +] 0Ư$<& PYlYRd?XC]\-ˤc)_Q0+;LPRI O6shƐà5#SnL*7%FI$AP꽈9@57"|W\T?i0}v4?E18$謾G/¿ߍ wdP]'ĘOenz?Ĝz9MzF`Jh%𣯬Vn<~c]})R!y=ϷXGQ"`L4uOt//̳@afgYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!BD͢^d>bǩ6E,rwn͑M:%L35 2_h铆 E mKE``|M*7=tG>V6$e3,EX8UNabUfZy(tcvn ]X1=#*NKcv!4kTg'v0(nמULxѠFZhy(NXW~alPbeEJ`x|J@R0Dur-ca鶎_8G:wkq#xM8EOO;Ot"v(O)R2neT {>tWΚT٫:Os+Z4M?g*"IyK՝A‰ي$g$>hΖ5}cv ?㤏yMJj4nJʢhO=9jPX'I %?m\)<1vZj2o'?'r."9 [!;Lwg'lT!} dP4%2~- 3i9K *L3~NxT!q.D ChEdžeZyvSN_sbx. jC\=0+`?ЗhSAC68?J/'\ѧﱣ:Y׻5 Y Z}XFx=4ٙ]R)wœءwXZ>E5̢޳ SeL@z],CXq;>3ZS/9>}dZ;h^6t|Khh5b K$lG}lsh<*򜚇\zȒ1@` )H" U)]Jz2 n'X-.$9frc4IP߃G'vЕ?Rom?ՠg :$/\ve8'o%H2 . jRM˱DLkr-/W"5 Vl![r?g488 WgN]7{m~uUȫcw|شYS^}&XU[R\ Hc/IU%м8i(ڟ߄Cm xe;OBd*{ .|_s|y)pG*/{ed8ݿ`N]s|˅鸫,;6Ie#$τ"עpl.(0 x'B=WWwR 2`CgYZ7zXZִF! oU]ŗXi%94˵a:1ؖlZܠۻS>4+&;K[`5bb0H 8pGvMj#s R1S%HBE^9J>%5q!&.ue" sv>H:DZZلo5bq2󛡷p0FL!eY'kVXݱt !['"%C4+w7]av!G֍nH+8*;z/X׶`I$= 9q5\{Jc Q pl.UU5՜2?ﻂC8z!Hb7VO5Xs4a6̺C`tgh /𕕱7 򀂼;Fm6-0c.2S&lAH:,y +cU*a[3@+4ۈH=8eݾeL' YNvp1ge dȀ'͠v{O8`nJ7c"Ee # ̀~msY9l2$R$5H85 ݑP8pc(nz"o^pek6f>b n*DǮ@7wΡX1*^ y4/ޒM*&Zg(5LDzaF-2"G].Wam0+iJ#d) ݦl|!pk3ʸ5i J~$A`}S!O]ytNYI gy Y%L| 5+H[9 |- Ӻf8ELgduXYvw_b ~j9=X=p+N9OESxDƙq=  ϊ!D#Pi+ߨ(_|ҳ˅FvTTI*:d9OL%fcR2K=o>'ZDm~jHXC Uђ ;(#/JG7±$PHQ~ ^RN8ցF##hkk&r#<`Sm0KSkޱ}^II4< [bV={ dWhZL5i/C6KFg[}"C٢]y ЬBOAOuJ4}]F${fAG'w!5yE̛N("\]ѾC!fTN9:/)P0HJruvM>q-  \@b?de=.|7,`5Fuf,:dԫGu8bh1uߪHL}Ko]?k:(D&MejgƻZ[yJ;fr%{䪈j$YJx0ElN%&trE "GWi^B'nxEBVP# a(w O}4q4ܠΰ 聥Q,YϋO :*{31@E//U:o"Z4Ux DMY>l֕ VyPz=z q+^X֒c&kʽRσ3=4z6ư33/zη?%zoּoXףZ ZN6K:#;{шůML;qyW <M9ͤ(Ll8@hkO-a}$e&N7]T.XV26ll\hLTkU*073%~|1[xpl~+rm\&p٩Hn."^wg{ z ˍ^%&?6GQɴT:S{PXTɍchf2m9G(o {HhA I=2< (\72 e!*_hc=ɭ{1/cY zn2m9o> VxEV˪|?|sCmTE!0^MQFWвb4r0A=O+Jt3Emؕç[nQhk=D6IDtXgf&bR`:OJ$dM̭֋sDIXLt(5 K^ӝ"^5(wK+;}3m|xgL\Bjw4;=4e8pWj,PUni,GaMyw+55IJgP`2 "͚\Yi,K=|%'0 =s,N$Ase#'V9GrICga0G׍ ߬KE~^ 0UBB&~"S-[3_{II vEa5MUVf] {JL*y 'Vڢ`l?T(t.R.7-q<:qLHkW|+-~@F|4`o3"7!my#Ԇ!I- #.*h,HӥUuJ2P ڙ]Ovߞs`[qB-4 GREzR m=.u236VX~|(ŽE8藬#^3*zIv J/cbp*8CyrOxMs;qM Z<dž蒕wwc]nVS(CeeVQxeWJ2*i >TT!{r#Ihy㠴CH3NC wxCb|CZc?lK'lk!Dnj|\MjE0JzJaR@ɣ]wGX1Y9u VGB'=me)DvRk]0fν1MbNͣyftԅB~\Ob0g*>B׸?k͞4qxjc媆|AC` /5q&_Zwp xvei!]CazNޏփ0̅~~]]Igee FEN|Ͻ]uwߎzp%"*FH(n+Yo^ƫAWnBv 1X^ډ](TP?eV s\}sf.I 4Dok.ChofMy^m0(e̬ _fv2l͋1?*4%5k ׻ 0fs=#L^#Z&|`]0WnB ݢ"~(;;"0y F}8`,EAH\G4ٗ<"f]=? oo]o䄱Ql1CҩE^H6y֫vCq؝ƝQ9a8 S! SLf|/qMxm&&1%e(tt(owD)*|+wrbnb^Z^{5&'Ie}8x9Ɉ0}>^;74r?9 &.5$ЎTiNRPG5=2%OMejY TjFyLh5u4b1;PvȗZK_O t(<ŷFKrJf6.5c1EzZɴۄU^E# b#^-BK%.7+\Kj rR>q JHlgjeJh/3{Z^W=OG4$JmD^6 \;2jHtkF`pڎ "U {{ yWfv5lPmGypƒxbp x2Vuy-*kR-QBΑ_S~TwIF3cÏ7dyc$TC-vmP"3)d|z;kf= JjiBHbP- m?x$ {!WǩbWsނ_2G2yF=_q= eCu]Jgt?khPnFHFTnW'/z ?P&!䝘QΩ_6cr!U*'U='^2XK_lX5e x,u/Dʺk3s酹'3g$2H6ﮣ)0n,_yx|ケD- BbFS&imòF{sxO"~z5G (>q!bI3@ŹtYi W;+S-Ϥ|+@YKRDB@EMɉv12{}Jދ!prH3Ǽb2q\?nٮZ%jkx"hk3u%Ô!E@0栧p<(k[{U >ջ RDR5G6p5}C(zvӱFׄ.&_ir(ņG`8x+ܵ(:\r(=Bؘ ـ{ڢ:J?V ymgF=h',Nx}p#K&bI9M:VƜSV{JVj KJϬ#/9=A m;V#:mYV`e__>ʙkF.SeҁJ 6VIeu w*vk' F_LCNj_Itw7B?% =|Qaﯴĺ5R5w?&Osn,h[΂"YGI)I^[]i,z Ky y+RA*+4a"5OԌOH3}puJǹPg(|:+<'(4#='-o"=eKSSsN(V]D6X]ڳgA'o_kf517f-s0sGmΥ0_Roux`ҡEdFnZ7彑y1nByfHEl!rt3NZ^#΀Q*xk4XE>h^fx54݇@ #-꽁 "^==UHl1X2܆!ٚ՗Q~Y5ـY GSNQ$ q^Yy/)Ψb`Aw+xlZGia3V-^VMNN#.<> 5Hw ӄ|֕/zD}9'B :cKB=YO`^l*E ;f@džwy).IB*"lP?  Kk6d. PkeY#M~c.Ft/w<8G^+<dž^n~WB1@+ 2Ӻf2}vJ $(eM+" d3>ިm5fk#ݠR.WC"WFc<̉H;oPYGĚ*[LU rRRoNOB ,_Ꞥ.P>ݛr*j&'O - ^̣Dmu^k{Hiu|/oarr,\'\]Ģ2 }Bz{"]--βJ~={IPB 0 +.,@C1Hj<( O:Ȣc#oN:q{t:_PZ= _?J!&qz&XWjL9o.lC&O@tx !dn T<;"'lY}AlM4c A1\pR-/巳/4ʢnS^v+t _i4ݔ!PjI~>xa)A$ە(|7zn=!{I8kr/*("Y,!6ۣIw6K]˷#R ߑ mkVF.ħa0_x~֪#+*qg~yP 8ükʐad ^_<#N\٦ӄm{bJj Tduڢ@T1+Ą5c{!stg2\q*G|cu;ÔBo)2#aC<=y^إ/u}}`^Q\B" ^H:7yQU[]eUØm\JS3UACiv +$3r}<#jw96?VN 0ӍAMQ^ $ ϼlӟ8GL~G"vHYTvdjVa O ic\]mx汴m~Bxݨe4)!Rߘ"Ъ\trPeoU^{Vp"b)$%<6DWJPn*} Mxvz.z]9 6 gMF=.d\߉<>"*??tx,Kbu|a*RږȯJ UӬVz;4#iH_t-@HP 2Oc28&{(\pco{6Yfx:<+ì%8GƏ24=qߠ~mD#nmqギ:!'5V B|vÊ))Bm:۸+_b; foP;jՖ-lϜ| ,nR2SSm3ryƭ0Z6Qk $F?C_OlhѲ̡XM =jq܉Ӡ(!؎[4 ⇮64.)]oU"XjLKT)=̀,\&VWxr~ Dǧ}tJwI-.vmv ?ܺKȄOOeg9W)kycJm[#euVH2ɪ#\CA1d"R IMT;{v7УOPYR7 Z51Ɇ`^yZ;]ξ6OR[[ b:ih6T7džeK읜1xAKp좶\I |WÅLCZڤ 6ԠQ#HR!iz2PɰټhfEL[WAcS'>km{c:iV.4ґ* +hrrԛDsOamNYy_8JObPMtq! Z0YC*_G|#LTB P~S*w#ng: Z &12!ϰOu⿅ţHp̐]f qצbrEKEMz`:Sd^e&Bib|=@~F T6b Z}*1EZ M&+$co~txNP&[U!fCg 5A]SKIӵxZvnrAP Lx$Xl'Y.Tŷ؈T,Fa$'Ϲ9*PJ v!Uz-ah7#栎o^#SG=9[V l<5o2<_m~P,vcl* kBB$#S/>ۮ Q4P zFrwCRbj [cb Ap`6N,H'C~k E }UJ0oeװkn) B`Cs䦕hon05=lQ"rmĿ5[ Dw,$M15\h7y֣j4/ \oIJЌi~#֝\Nd5[O.YO?hq>J.^QwpY6wp}Dˡ+)?EH{ewj?Q䯫׍{RQEq9?۵OҔ|; !WG+EH(dFͩo*`LAǦJ Z_lGYt)${  En]Q[4R@58MaeS+`*U>=< [9n rEfVE@#rӡuS& d.2dhq k0H^A  !{ܢ'7%DضK~r\L䜽&~)yN mծ%ɺ6rND2JКxL0LgS,#:li/((f}| e<k8)dصl~kZhǣ& 7 zwvNh 0L?5ǧU$Lc:"c=wc]zqB1Wbk^&"c Q0'Dwcoq˭] Tqy)1eq{{Ij^aڨ`78_V$Ÿ?o~ܩ)CN[}} . VBEc5iPnM[ EWdrيu}"؅YPku56!Eyx<{V| t|T;$ܨOWɛqaiCsgKjF-{a3DznFn&3~CBy8%,ETDӣߦ;p+(`{b2\89tul2o7Cg΋Mz578_&AI $" EOgKK_[++6sێ5 RD~mQ[3Vi+{[Cc^\ordeu׫SGO<-dNۦ 0w֎X+K,uݙ'*jN;# Vp 7HAuv܈ӽHBNAW0 I%[w!:oq ה9Ø0?fY ^-Q.vaT/x_/[TVa=r^CKɠcL0r_$ocOٜv)_2S洅sMGgu|uB&sf/ ,(1^=qY.zex2!wť8 Zz ;G󓍀(1՜(@]f4flFx^~<}'[MP+i; H0UUlSmg(YE1m i*ȁUTi.e6e ]hEL Iu@n r 1AOR =(X\kcj2ݽ{'yQ޿×$Zb2=sxrsHd\;+l9{/L P2-"C?<Y[pIJ 9cEų mDΥVoRSjwh];'k;1ΡɁ{JSD{"HOrgjeX2AΜPi~Si"fye"n""=$aZ~l[@X go`tbjVc"UZVвX0K:L>==Cl zS Y4sNĸѹ]yqC і$OQԇK0^O1ߠ{#J %pZ#+3$&%nRdҶ.*ţ7ooSٰ$@bY(<F;^/9<QoIhMݦZ׿ŜFx]J=Cbx\P9Maΐv fKQO)g |6Qݭ㙎mX<Ll7֠LIьH%KV{u(so)9b.9$6=, 74!x6 9_&\_>C8MUYu5mЫ o`ʮ¥Z|Z/Ĥ,bJnP+-:`[Фz?jCFe:ThY 5mP?I6ڲ>d*  ^Nz>6#ͼ jǶۂ+vw<Ţ2}y@[!fp\T=Qle=30cz3։T(b?N O`3ϫeGvBuQW  rxF?ޭ *N \H hbCM1ϯ 2+QeJ 5O_[Bz)&Ij{A'IL0M;{TsDpT}8t:J[2ѥ-鎀2U,+Plh̍T ֭$tVOIdu3'p|\ x\5A=Zp|!]_#=I,r pI&a%:6qK3\kw`eڒ +h?f!<]1uC~S$|g񶝱(7 Yw4C1$Zi !I/‘A>Ҳ(zw,.u sG@1'UQuSfc䍆rBP%ur㡦sBu#zAՆ^ڔ' Lh+ճWXO9WkwFgakyOa.ı ǧˁhED:ߚ;BV:͸$(u+f2Pim㰝Mb.hT%X!<3lzZ0 L,_z ɄK'|rC!,N|dHj撉j6x4K`K=q(UR;`ukd1VZ #˞MF{Fyj.}!jwG&2~_lrˇǎfn`O:V?ZGncE#4tys֜gu[hX9rNc̱̒d`m*tewoW"r^9ugkَkG*vжq7ho%;Tn$iIw.6CUj@^q"!DptoR#t{tbUOWt}[1#HV Z>7)ע*0~Z:_dO(>MAV ?\; m4I؝dUbetZs!"l[[4>Y1kMo~oc ?lt;/|ߔC: xc[ic+em6pf*xkYB#wA7̻]"S00S:6/\Ǣ l+ =bǮgx >ۀFRmG37Й,(Ǫ4~kY͊=꘠1?&nHp͞~n. 6GCt$(EX Bѻ?KyHS97"dTJyo WϢ kl6uv!YB^K6GtNl\`2d1vr\fT(\ 6>&tΚq!w[7 GEGx.KcaaeAvf۱V|/qCRl0k+ޣ$9s 헔=k 6ub6_.bK=9n,RnOwrXv#OwTT)~ (n:C hy#;s.v̔5dx.k6mGrϫ5e `c^ƾ{[kART1/i,E iA|?S& ŚrÉUhg;ޮ58 /_$46Yl{x7ua|9us?ui:p\oFΙ?u`>mb|3 2{췸G5"!gDfznWn3gmWn., Ym L]}fM/Q9~]I$Q<&r JtSH/4?)fl1P 3Г;gg?f2Jc˨w8޿$XF|"G Y>`+\FyBIլtaJ"J\ !+%φ+$b .yʏ6TpC N/`XR Ȭzuf>њ4v-I!+ XܘDv(i 9E뙍K;E,CV(mbas|8[*#TBXW![O̒+.>ؿ`6;c~D=EN0~D1gɪdӞdEM3?A@ !%/jBsyaiw({?iN|D,~14as0ii׌|6O85<)w>:@/b4@ pp;XRغZ?% S'PfzXc>x+XϏ ' E|u;<[3\$ǂKgD=!PUּ1ԕ3u闑0euϟt "8-Q2ƾ2T~<xgGݒE~{F8@W"Ҹ)KW<[=en:-kkn -{:SWkd ?mw;BTƷ"ҲsgUTVVĺ(3Nz=6hfb`٦XPoZm'QՓz*X#x3qDJg`: Tg ^:_*W%8zNI  RyxGըջB HׂGWrfGKV-Pޛ=Y=}*tKeWF@c%V̜}v-Jd?f>Ms(go=!_Wr a`؉4Nv?Jv)(F,sgx6(re#Bxu.1?]OBԪTiϐ6 P˰9u  O A";6f^ 0L`?92rݿ`=ffQmZPU@Ɠ; obٶAGȎ6,3+j{߷u^ i'b9U~6Ybia0UGn^meeZBZu=wPNɹ>y\ 8 z{UqG=NqŽl="BiOj~EpP^,Th uftG9R{{ /?(L²>UUOY;ɠ[:𢴏3O :X"T>K_wCF>ny# (u ǖW vg_3HV ͙?Wy~-..P/QQr:Ep^q!uoc sqQѮ*Qsh/oTOHg\KL _^j](;?5y+aE9Wzfm<|u!@k5 e,Vq%RdgF=qDA!sOX  }ܙ'%k$A砠C~%Yg#~m[g9 p4--YR-m1нQ,xW^3_ e۩91XD@ayEHce+rWPUL$ޑr?bkû Y 7;ڄ -/S:Mo7Ċa @*9`6AOQX1pmdz*. +rAE Q6q]Ft^p=X}Z|\1+;`f]Qƴe)11 in a^7Q(7փz.%}+alH:fl6zwꮠ0$jNLo(gRGJOm<*爓 |zg˜:abCwa_҈b-ʲhb %ţ/K-j/ \{ #ҚvyEޓT54&A'HtVP"ez٪?Pp+F<}r fvXPa_-?>M婻#WM$#7Pl'DzͳrIBAZmGƞ:2:mi<ұ3 <uI͂ GI l/u_#>=)B^=8\)&#`.,0箄 V]5 DZL,C*tGS $?e"5/ ]ׇކSQs1~Rݣ-ñoۄILVr, CAX=( sw+kf`%}/KսxX^fu)zǬ* љOEmjU}Ntj9wuj\O@YJ`$ hxE1q&ΠZa0>ڦSx{#E~3}Ǎ`0oLH~Bc7m+h+<}jĘ;m]SaJ;:%jssR)ְ][D뵤A~ U-W\~v/¿F:cR矯p~g+qu(m W @d7Ph-rO BuBc/#?m'F!w8R$ț ,n-Rә 5B7ImlIJ>n5H)L=7nB+$6k Qf>ۮo8fPJUpX2HvH w91ǁiI+lDc}B^AvbU4R0TIʝD}NqnoS4qⓥSapI<ߝAV^f0`)F2ݫ3@*{s+$9N%"7 uY#9 $LmGE~Hn ֹ%cP}BY!-/ӭ 5T K Ss٫{=|,u Zy' n<{䌲]'WYLU[+q'vϛ/ Oݶyɸ0wZvVt: Fcw T?>4ayQȦ\;1O괣 jF}+ \m3Q=y6 r2Cׂ > ?60ϛV~f%ج>PWd9i/V#5o:sGV ȝ:SZ{7eH?-%aM[ӊm͵\@cοֻ!"'%4=*SU<[BO{J{ Y:`߂bn+?p6μy[Ƃ^Bձ~ǰwlq\6 eA;M&Z 5D9SD5%Z.dmbܑ`_9uY ssf 3Zgy_3 |aa6Y|;6fZoĂJ>(:yT Yxتִ9W>Tb+_>돨CC~HF{h%cԶ26wHgU 9+[J4 |dԉ|C-,gz`C7]' 矓kvOtV+GDm3Ġ{E4j\Lgi4A upS*EF~ ) ŒQ|׆?|V?YmS1T=îw`68j I&.<*"umj~*5 EeQQO->5ӁwhE)sr@1UҗnQ^+y2iؙ^R $ s?~}i`Blzy!}YTyeiWSɌha%\qBH@F;Mo-nQz|< /}AD MBa]u?b{:uooc\]9ڴn% ~z kXlLxq\+nECу)uXU1b?kmnsD~>YMq:C1 v%^:I\ZYG>֐˽ʖB㴇t;)1c@\s`6i q?bCBw$O]kde9oSFΪl c]_*'KFt"k93ɑYxNBX FVȥ.E5;^ηpVHS[#]=_mmibv+ 55]jsfg4@w}ty:w.Cd᫕lQP1lOe0鮤8830;6nBxghG[Ta.o'OyS:Y!X:}\l }nȑyOq43v@vy3j|qܣ /ȩh [`w<gFto*ן` +<9˜m94/3G1ޙ$dz+;(3AذCD}JMV 1(<>}xU1]5g٧tb -TX% 䐶ћE7'q癧Y/F~ΦؙfS0-JRZd  \8y\aժOW?v U=35w[VJgJ= Eu;Ja߰N2y*fQ)L2D 8 ocZf^Td.>tHRhQםpxw244Wc&IiHV-"Nv\r$WW7q]ď܅Ҷr2F WA6N$:7p@cR嚺: W&p#CYbۜ?"B|lZ%cܿ J̑gĝɮ9yRثhUyRa݄ҊmzLz}Tq3؉#~*AڙC ^w?!X1ף,u[7˭c3GiEs>9ۘ8AiȍSUoW妎!)R :խ|m 3Sx3#;&H:6,hDWaY@iaR<^OnSIN|2}wfbUF:ό V_oO%3͑ؐ o Ү2#QU<ϴ)҉箇PQ 8] +C4٨ȪY;?/lٴfOt>0]2:DD t)LWl䜰X@p%.0XG.5)Z_p#@D5L -5[1D4Z8oy2>#ZOA2B#Ĺ9@TG]T9Oe36aժ5v iNw;%- {;l:BmpaX-2fnJ˚.jWPN7{mCtqEY|a[' rb󽟩;Hm8` RFDɹ 9|zl =7ށZ{5$gͅ٣@IT[E$Ծ}{>($o6 px:|oS]Ⱦay"iV10@hRiy siwPJ;RO?.c"%yS'gz];krf@6xj3f:Ǣiblfu-5K\_8p:nb+Wb&v?-zNS4SG6Z ᐶ^ckJ)w,[QjA*00 ʳts^m;ƆK?Z#!dQO)`I =TKۜ5'+nOJWʾSh9nHO;sVx_w%l"DT46ma Sb61MY#<$+KRg;{BG[\@enĪo;{>|=k EJоv-x 5~q H kG% Y#'UrM" OlQ%Xu5Z#вۃIQ'Rk_Am,}aLqsߕf4m"i κC>*x7b[9]ԡ[d~,&jlEɉUܬ QKGp_O~7#I(?Em+Աhw%tC_tyaC1*=ҹ)8n6/'so4ܤG(bV5 AЇrv1=̗Ӎ8pDL ?gFq ?`lf7GN3")}H)fnZ$4&P0@"I iEg[-bZyÙ@{+g3TY'sQxzOf Zx9z4CRd;B.5r$QmV"û9wmECtcoH8h}7'3U)vr7y~LcrteCƤc+[QW*GENyH8Hx&;TE3`ӲcP:nXJdY \8)Jč&ϏEx,oµ9C StqH mgD!im.?SIy re/ؑѤxZ H'}S4(~S|Ǯr;')remS?% {@a "#>g|rf*҄d\$nowA>R0潔6Z 7(zbÕH10w6Nc]NM?`"$4[:1Es8s+/lo!pʭ:ڝ ["kEq2TwLsUW0=  Ȥl-S0"7*v7@{ ?P\L{NG~ , ;.OH"PnDQg*ı9̺4mޞvu f:Ē;lѠd)\-ۄ"b 65+'}!JFݷ#r׀w =,6vYR҅}jd*оNA6tM8h!B͝{ScMh{`ܦōSomc=dh0CJjEP_ɔ$r&k/iR -5.|j_kc>UCΩU/fʬ0 T(U?vL7L~Fp6EE2CW#бgfV/6 , S=< @N*&r2R KOo`rӘsvoS\Wt7nO3 {Og]0é!ٲs%4FAX'HQ8ԫNҧr3v@F@Ԫ07n]:y҂s3{\@b4+]1HeLN?mڃPڔsg&GWҊ{0Qj LMvtrCuT"g*}rR9MvvC]eidШA^,慎0Rx0IߓR3PsU))Iw:r9JXFAyq:vh]g7dٱ6|kAOX໐DU I lu~Wv29ޓB礪߀{R 1++\=:F(6k25*܀AYO THؔXfu/"4.hP.>s`êBز =9{dRo__a-#^W;i<c}:e88Gzў"|[7}1P0. xLOf%ӪYA2*Z ] Z~%'_5#PN]S&߃n05үhKw&BK1r%$i yqAS<< Oe=ڵEg'\kщֲJa}JÇo͠i9TϏ}g]NT}D#(9U U63$M\ˬ%B'Kbiϯ.YWltm>`rJp, }S_qh[15ԇBʱb E Jc$oB?`'e_a?Qn(MV >F&^=OCB~׆ ˲>#azߢSZb/ae2;gE`#w. X3p٘VJȞsY: UX?BK2Q٫VFI{E$v J'̷GLm#'H+f~xPKLo2 ( 9r#L&@WUdz}jV:ab~O/ЕϗJIͳYpjL@;}]Q ؄0 oÜň!&?D "2l:ܮ&LY@L9, _ RPP$>}J0MaZċ<^ qV˲X8Pt[S>4F'[*X)J2^Z,J\d5fUFss?B\5#H%OI ŘakdH%O?!usP4U mVJS)pB)_C 0vu*vWkFw]uZݱִp>NqdaHmA(-wejnИgʰ"JѦDJnLJrbdwBEW߲C^i`:m)g+~֥5xhO=~oX$5brqފXmTsgDBDP =FD> %Xo0Ld(7%Ά,BG,;T \SX8>JtzaSnM}l"=0Z;u=^icK "mhOh ȱ#瞗[)i{"͓-1B[$Qs`>clLw,.&[hNț5Wx5Ԩ Юyե'tgYZ99025ec4108cb1527cf5eca322ae52bca4330fbb3cff46c99bdc77cb69279060f2c6ce1d34c65856b9d94ab6cc329f6392a07a3017605324aa570750