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 tt`! ]]]HOL-Proofs:threads=6elapsed=639.585cpu=1582.140gc=220.192factor=2.477zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb8[(CXU;aܢOcq/}xؘCPM4wXW( ds@g-d p!aNikذ~`'t4 s+f(s8^>-DY|Ms%*E(Q-}J3繶_ َv[ܡѢu|P 6uJpwY sP- bdd@f(c8p(_wF&|rLaQY Ǧ!兿hnPNIApM8',a\'g!#:FvILiOIW$ O:jeR㽫%'}{9d.49>lX OnfadK?҄z:z#K|QB346œKudF;Z2O;k ưkjmM-)~ZwџuXhqp 6ڪ̵8 6o$g̔3؉(~_ZSyɤ>4֒*} Q+ᅖ+:.vw[lږo &RORڛ. DD|Y~./![WLЎ+|pRqg2PJr(V x*Nr}dpg௄9OaQFmnuȋ LDL#}:Qn;Du& *Vbt_5/ۈRE]uMc0~3-u^ + ^o$ y2 ;˹¶gf݊U *A,g|,̤Gdr٬ myE_(YF} c#P-6wD׭(tճ6uЏ:a;XԞqIXp||"%5 }zϖ+MV^K±ά+YA±>ܕHn渚EPE;QuW]@QfJ:XF&թvsӋ̈́(ׁ:PڧyH]ؐBٽ9&Bsp#Ǝ.QDBN^d?/䂠=g1mIe].AӌH~gƳZK=QO;ȰVӝ_ra|VKIv'WuIONK'ȯIKIRȵх /+Tx"Y1wv%}@JG~/VV`D(8ŵUb-]Ahj݊;\h ]dA~:nULLXMPWtpx\o}x|jn.!hh-9g,:N9CjkLmx>: &zɣ '\~ދNucI2A"-)|q؛CBX138kE}hͨZUd@r=K. cdXމ}!\;V&ؒ9:O7;Sf$8Njs$9ԇucd~:}SO)u@h"龅 /fdWS~7ʨk,;k@ x%-fT$# NÝrbqddF^ɩBrҎ/p}Vh ̍`en#ʵ TJtЙ;/0紁Œ(TlrKnol7s"- ο-Cd- C%b@pg4QpFJjf]''}2 aC uJ<H_3-iXY#hFi~HG Ʀmdi&YBdZs1gNwg\rwEXRC6yע_t#-iXX/x&b+QG=;txzpxKM!=nܳn-2bT+h5GzNc "_cu\7ʽ-XZ=z Рn剀ϱ4yÎYA&^t(Z(_IA|L3}3d>!! wcdLn`+3Ŋ t)(~{>AH!$6S˗En_M[ ȍީ611g}ϛ,B  F|}(CxSLIbkQ  ! HOL-Proofs}?= էR/%phY8&`Th;PܜA%ÇhmIv.0$*TF e9u1]oS27/MBq#Z}X׳zXI$$`j1_c.M/-``JXmu<Np2_jt`0$=@=S>1PBi˞F8#T?Vô5,U=B_BV43@f=HpZ6Sn .Uia$o<HGQ зv (J!WQ|V0=Q+¥@RYe3ĕI_/M@5Nj7~p7iK]kaZ,G:I8Ls:.ZIe*wGR޵/*_} $Ͱ.,9E-bǯS`jkUg&ouz"v& ~N X]A,7?tqJkTNK&Irf+[JF.ʉCCo80Rqrd,|D #FWHDj3zR<%! , .mYtMߏ )Pk%f2XZƿsi"OtId+g;m9ؤD/>zi~04o; SזU;yW@nK`n(mI5=X `H˦Tkh̏c=jv5hkZAQQ,4 }E URf[Uνwy /pgXmNҥ~ 4Qq۬"h_;E@5Pi.G߶;ć7yzQ0$G%3P1YzG1!s-s4EH3R4"]f^- H^VvXl8HK߽B epJjZkwJR6@vWA;x+f'sN- R/,i P_ӀOڋ=/1gs9KQ ѢDBm Z CŠ4BbJW:6H ]%(y\{۶`28PǎC a.I}'``7:WO)J@0lkm͘ǐv=JòAHZu *¯Gq4o哉2vgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!*X/t EچAGď|ǦOٷ699$k+kFH/)^4AzD>Ygyk|&i?ʫ}>)R)p5Aп 1!ih*@ɔTũ"h}5H\#\J?1(ɖSyZHzHNtYTkr$BU+.D0v4^MX &A{)fnR޳wBז-iHHJaķ_nD/ρ؇zD+Eo(:vEE|DW夺K40Z'0Lw<襄hK7F,@~ e3VMbq n&-@dm 8{v܄cݮ 7nRZsr9T򉘼p ڭlmϔ&jMO|38Kw; fnߵ d z!to^yM+\i 1,L&.WM*%`=:goh ?ڥS|~q<"I:K1/aINǬIEE eS (tTl5Bc]7ح5m0ȆhihOaR1Rv1W;7$aXkUS/{)eWߚ2-:V=>Q>M|OךqE3)=6k=#SpG߽+4ɧÜʯȦ nIN$Q*.EU\9 ftqt47x|J/s& i~ia[13bͪ]@E`b[ieHOK=8TY5$L}Dʎ*&ƗAc "UpپV  ٧3I* o7*4VFygף;'ЄFZ?V9 7cJueBy?ĿˆduByڿ`882Ht>D`W 9`4J#kC1 7!;_SBj01q!մ|R@oDk_eAj#\'F sjmIc2ԅmÜP.G+|g>g_ O' AeJT jbCd3vtJ&Y|M,_$:jC \Fr48Ⱦ-B&d:uI'S0X>9KcHǵϩ+K>fF6\iu LEA V<23]gYZ7zXZִF! y]ŗXi%96< iؙИRhJ+s^͡q3~N[Fefcysr1AiT | 4co{dR)"`A&˅i5#9}U⼂es4Ǥ.?zJ5y/dmt/fJnjg0;cYI8t ˰i]Q'De<<&N!dVEo*=$Li-TS& sq2#4c01DͶJJ w&G\FiR9:}u ~hET=H#T# v$b/Kj)UZgԏzl1di`UK%8Nv/ȕqK EMcØt/<(koA+<瑨sm@Q̏! 'sgn]~R̟^$gI|xplt鸤a(D6>KV7gK3O9CSqPBAXL hn r@XB-`gר@.Odŗy]uHklMhs7 N;UbQp3&|n{$2QŲ#ݐ+y©KUa2|1Ve=xɅUSBA?K:51Z_=K\ky*<.}x߸>t ܢSFl@'QjJSzFmh7^ᡏLb|wQ暞FKQa9,ZuQmo^:4`wd4x~Pe}v3Nq[$:q,\z.Ɂ&բ_mԣ1G{Xmʦ1R9\$nVaYm_ϞlG%%ypPh5VJ %tӖ*F7>7IUHXp;@2\ ' d*|=049 wQTi" jtD +P:*)VʯIlyMu/uEBKrZLIa:oa=^dP{bUO3`qsDjS}ov ;fN6]Y}L7!wYA84߈X2`Q\ @_G@Ρî%+=N9ʊT >h`*|{aIѭmIxw eoTK<@N.7?=JI2 -yp;+/;x?1:=N4u`V3qE.#{4D#YSx3H qt+9lLVBR9N dmlr&\A.3cq.\.I[䗆)K,nLNozyCsLY10nW>oKCA3׿<:!a"_[}r5WZmzaMM^nlbҦQU,$b[ut9Y#{n0:<Y &>B^$ s8x 8Smp+D7ϋo8kiXJٱ>f% K:L4 Hch=d8̼"=ML͆ k@[H)o  k}@ {YX 4^A%MQ8c d ō!օ blϩ9h9ބ Vv¸ NjŻ_m]z]|e*iՆIaVW 3+N5pzc*9mq*V(^۷yS&PfULCO*CnT _1SB0RȺs|,L1éZJ-4NEVṁ |=1Y_)4H UOMeP̱_mYУY@dB j'Hl?7^XRKwY{oWL'ksXWL"T.O$;fIp9uBDNHQx-AZ/J,1<ϼ$_J _;`J al̊<\)!:T^QV#PKu{k7Q;jB+N d'7bR_ zV#,]}fM3`bCtaQ+Nsdgx=ٯq:$0 uDU:!~O_/L5]G>E"К }@WOKÛ(󆯊8CWI" xN e,@b}R3џzJ~8C]LcA?ir*a xHgz2DqtoDrߔ_QA"@x1ekf=|k7ۀE <K?oCFqoWgN'g8ߛSi2cdvdOn-Kp@H&H@JӐyW]7ob d؜ʊSϥYX3;G܋1J3 UZ*_|Ug7Frn5@8|[GJE>]&:'~Czؗuu jڋuWud6^.~Ԫ٢<;Tt CfmMM`YܹcE֡~%L4-} AƞrnE"B91Jtk>x#N`X3|l؋rK{dPMyQ"% _#lh;X~jWp49NGvIZ&k$,W.t6x5*1^=GF=_ZIPÁ# ΎYETS#UrLJm;oivMz VTr*7ycJA ``xI;xu"E,xdt_fT=THRȽegIj(/хzԊ*vYA3+VhL ]00v kbAkg5\sj-kE~eڻ> *{ NQ47"d,8KE;HFeImǘ c|/nU6A觇|=t ڪo/)'쌃y ;ò14e(ݚP!іFM/09k2$CKg/&QF+e_\g>KfVТ83tnKϷh0#p%x.?.YXzЎ *EݷNMl{F<T\]8iN4T5Gǎ ]okLx;?5\<;(ߖa RU$Ń]igaHJgtx#BI3fo~ %gQE00] "Hy'c`qqp`6`*UkV7o仅aCLN咽k7+8; ,EҊe]ncuN4( WPE=27{iF@$!Hkt5_gﻰvm٘kjQFHC>enCi 324o /a&,΄=ck˽j_oBSy1`M‰46+Xfj)\kͯpCnP5b;RLWYQBF}ƛDwh*Awr١Px֓K #{t?c Zi1}B7@lE+!,ag 3a1%.2rż'XRfqѬꖦ7!nvбIֆ\` iEGU:>,Oŀ)3}QX%ϑTL5>=㴒ih~pAd(M繚>F[)}ʀWFX5P =G`νYwaՐ+hB^ҽe7m Les;ȉ|GK$#e<Έrͯs3A#-O/}%gmNJHc:8#J8.$?-p+Ҿ !.Xaw?NM92x7sΉ 57ǿ^yNe  /}#~0Xw2 l[(sf=Ft{·J3[W=h4Gg"xGQ{Tij\,pb`X&X! qXE uw?F9KyEܙ^-@|6A+XN!kNzKx1DY^G+x=6MP@ -6C` וx"քkO yY\Xj@G)z-4)HՓ0r LHnٙ 7!2VGE[u'j>3m)ØY+Ma %XX)!VգܗvBe+.Kd3Hqoj nBDIiDdI$ǎ>%/sNN(;D (9eoPstn`.LB۱wg|2 v!7S۞|/xB+:kf$p=q;Sgh$pH>*1JZ߾k0bu`>ε-]$M  "߮EC{ O} o2H4@;>On)Ix8>0'G3|4O=lV8e-'Щ 0QgESgC*4<]pl/Wo . ]A^ 癤;^T&sˤX.$fJAUL~KDCENС"1є*hzes'OZOy8APMOWpmIC`xȶ׍懼޲=hm.!i?9|Sw߉Fh'5+pnϷZ */IZ>$-2z1TUw\~kq`j[*{_L`6~kx ft3';̲y䱞U-pGGGv(7naeM֛#B鵃˯@_>sT\b-o:XS#(R4(4&mՂ;I|ޓQܩdDց3BwmzLEKN-pT`۵1^ %JQ?䜿Ar0L #@\T2Y,ZPsZTK$˾ȠmrSVSU F'MxٶgN#`!5/a?i|]2B ?zz#Do}DdeaYԂXG͏Y-OgT*%$Kz)yfcJїĂ"*~~bžbVՓЛ~%dMg2}7E diD6EJ(w  fH]2(,F` (Q(Ƿl{8;}^_KVGK{DԬi9*x!f2"cD r٧?LWB7*ik']젂oI D-8C-*-՜կ3vB[̈́It3y\BhQ65H#h>9 Ui ~GїƠ  ivZ!\W-I"tZCEҼ3ZqO!@i0N'5_뜳,wCˡn؁{w׫6̴y SR.P:*U7:%NW3Wj[+qbI 56`Z{OK\K~nMJ n*ppH-v`_hRaOeEzNTlb\*cnVf)Xf`reЀ ,JqM8a݃W(ְp7-`4c7w:ň?"ak{MEec] h'10⨲0ik|Ń ߌv-Vʵv</*@L idĕźrם#R1{Ǔ2A/}tK2h? }Ir&Rkνb:(LlM`RJvGi8H2#mi~6"o-O!R ӏa*0BXlGKy ջ=7 t$=Ha"/RB!ZIV5g5< ҭ @NȔ~ͭ%%֖NiF}_y]!'gm% B|@ SbQDdV퐻P` ,cTnDK(͕\8ޢNZW[,c ,5+a,`Nt@p0Qj G3 2ܟ*[␱Sɿ"Ln;ӬpmAJ] ȝ vJQZr?]RSW8~U@YIB 1 +?1Jt-5VU,ufyjNLͭ.-]7׉-1[ѷWQzAz{ B>/諏$j\ |[9;h?^"kȓ%ٽoc|IBZG?3v  F:Uzxc,>6`ӸqfgѺ]gyXQ "{wjz5Cx][ȢAc:J e[S8X3\w_98X$FOwd64:gP,1G_CYRLћ QRGK'oF{q]`X2砼T z3˚zd Y) Xg|C%ͽ% *Zd3(%z]O{fC'˩*Ii /4yـ U3};"v񱀉*3b܁lF v n*s&Ȅ!=)kL^̊"F){QL=B^~J(*`ť&沨Jږ~L\/#yg$C@%7JnںyLzt8jSY׭nze_T(7ycd}2 e^>(=g5eY-nWN[_߾48?^ؒ/I5!19|AhpDܘYpt.yRBxJIbǬޙ3|P*%8CNu0FmHߩO}2ƜU6etBQ5>2א2œUjҩm'ԋXZlwd#o6Ж?Z0_dr#Iќ73s$e>yb ZEŽK26;{qGj΂v%YV:~DNƄ̢Vrat3fVGiKUk)G?~wq`Y~GGg z~rՄ5}#E$E)rLE\DѶMw!RROBUsb'.<o~H͸+=SYrPοDasWryߑ"w⭧AGe ןMfl Mϗ=P3.Nb"4US-ܙ*1R.~Kb]\'›R'K*R9 CZz^ҹW fx_5 ŊeM虞3Śv+D59rA `>u~ZKE$b+#d-'L4]xa~_n|Mt(S;S9OG""l,pk^Q$`Nya2)7GY |&O[|if-?з?]vl6wJ 8gqp;W`F}_ V;)uD  wU Ņ67~D, 1n(,7` KYR>7=?X#-rPw!Ǟ!6g/`K=W*n6>mˢ3ⵔBn!wQИ/NF#`#d<.f|}1 6{5I`[11PE&#A15oI&H3a%+!Wbcgzx( V ]] fri~ո5YQ3ȉ媜Ar|H3}?0%XAZ d g4EZ F9ߑNе"xs,ݡ4q0[݁ Y]́3Xg^GC '-g1 ^oؘkd褳̓NÈb=i(e׀S2,~%:S?]!5Gx\yUv% &UݑMc[Y נV |GI顶2GF}uxoS0g{NdCawlPJDl"ǭ&2R[3YS3i筴AtLr~Xըfd 4m֐`8{WTmKmOOCꫤH+D')4`G8i__ 8O9:Ȯl| *5)FȈ B6y 4ɧN b0F(^r9@Y||TcjpG֬ /6_/{f{lu3f5dheq 8${olx(x"&~ x&HnzSE{ochdRmwy**U:԰ڶ#%`%5["AI ҈&7j{k>szeDsd5۹*ʂ/0{pf f( y_!eǵ8(Cxd*!9u2u-UXf?)m^D)fBڦF5v š)PY5ayݐuFq8ݸ#󟺗1s!]V6g3W7`x~.Ҳ$unߥhQ;>)6 Gl. (V"Q_{+!cĄԼq;:S x*Ėyap>_L&B.ef&ʚPdbKVuɑl3b8c:SwO%uz0M{Qb^@9k:p~0*A}jj :a=p1j-f$)pi~9 8j{n*Ke;݃HVfjU_e^}7N8|a!bQwӈtod J.p⡻=K(XJv]YXQk36zt <(jFs-FABM_q|l zjM ۥSu\g ibx{"ɓۅFd}FQ˽M<7ؒQ1b1:nb̓i<QuBet (zhg;l-u-3uGlJ5x&&}JrvF"5 s8Qew /4%sSW9]8Vsf#@߆},I>j|\E_#U%h!k `f=t~YtinG;B$~xX=,հ[s?J 3PA{6C}9$.]5H#['`^ 5.&B^{4h>Ca e}m)i}.뗂DHB.+|DR*U@PPR`e;Ìxee/ u8C$B ?" 䎂Ĥ8찫CN s/-#Rjg+nThG4bzdKiVޚHʬy }.o1cʋdGa;2[%bQ%Rɔ,o["Ym_w8Viyn6kN,t۪[ g7-MѧH 5<\@1=Y Z |Q`rPVDޗt`GÎq?J<G uXnrpZhVAϯW5Cb6`Xc QǴhzP-چsudrȫx" R/,^^B؁&(~ަI2@Ll\mMA(mkMm]T) j:]АA{qwr4sV%Gp*Ya鵝咈߫"1 4noRhYq[^~w: 1AaνLTtG9j%P|+"IVQr.Snڰ _;|PZm7xz&@@ ZߛbZz "C\p: {njFfU0ݥ4ӴfW3ZMˁ'~NEUtjCMs F9mG|2c"\R$]sÝ_Py#l,qtNmI,2+GfҏqtF bcb,7Ii]H֌'[vMim;'j ژo {x,{,`%m%YAcKlWz ~ qmZhPPAp^|4bқr?~cd$<'/xMꅃNFpZ6~^`ҖfDPLjpquFdA j`Nf'Rȋ~ADxKs 9=}*$KpnPrU<(נj\*I 0ϒ\P|a fMұpuNPbk+Mqg~Wv˞45X(οl7!~sфK2C|I]0,z-5XDeA_֭Z̹6dk?)ࢤ 5DS.{ bt4̾ugQtlO!֡#^]ZMLN `C5q4>BRUwѸV0=F.~B΢kv#L|{gQ꿿 huџ>SV̖w/ZXed*m崒;-i}/eRgkenħtT)'t769"BE.iY(ݺȦ̅eNHMo8i?WT.^1vHIT )sO$Uea2&W$Ȟ>-2J!j LdLfuڮȞ|U.RI\L3sV(o]ǹy4k6#;D-'6AT 8ϒWr~ynEaUľ#Ȭ7D}i^qVzDitwy锰_;/}ʹVLAvBvU8R f́.<)ߏҤv3aM}3e:*2l1*z^pҷS o, BN Rm0 }#;? }e\+s=-rqxc62at{y}3%n^djJE 'tJ'Rt`{5/sD?nZx}/SuD_8`|EM0.֚ -- yDa&hb.%,muiQ^$29ͫvoQޫw?sn(J?%n-ca)3BVJD*&k:ydڿuE{I2W?xK .ޣ}ݱS>l"냊דڙQցL:#+/Ģj.3a%h9[ [<[&udD!BWc\L^)ĢGHz3vwݙ ћ)w13[p%{V , Q߶%7zbDp03 0Rsy.uV‰x {,c^ eӢ #7m$oʞtqV/viހ a[F7U|c)ZmQF"nUD6&sU *4:' gg2Ea`oAP 4etEqu5)Y>ũ xy Iъ=u \wͳdEB !}L/\AVz4`b~ѷFbq*J3ܽ7ZhbBд+aw۲Mو_U9'w5GqAhfZLu=^l4nei3ai(z8 W4^dJi Oou>Lee_}4U  1S~@.8 +%0# 6+Y;#?󝪜`տzeEI3cјittKMUӖS([tgRѿx_937[ǬF 2퀰XGO!`zb%"#Qh"=c~>Ui1ba!-"ˍLI)$}ك .6ՍdG)N\7dIیTIO6 Up/]=1LIF[?+՗i(V:3ۋ3G^Y8gyS"r(Rl\[" ɼK\ pmoUgF7]l04!QH=I~QHt`]@I>Շ/m[.:VIk nxA*)‡ѝjGOˋZ*7ۦnY^vNf&$BLȧ|9waF쎒?SU @4x?>jZ daVę@ ,"6B}ǔ4L[0|,`1٬Di49TZ =ܜ4\ÛTW0yxe1DgI8t-[p!ciRW5M2egz2 >4lPWG}ɫdxW;"&(_f5k-(]1ɧfaybkg ̗'1M&TiK qC_ ΖvҩUh~M3>j pwWw4ۇ~3gye#ԴX+rd%wBi7a5ع-Qe-Ouxh:^ڂp ބ@sov]DwQBYj:DŽ1Y}$ T[`"sRfM36@ 2_h]Ô}:fCHQ${ h?7_7}PCόL'#lPud0KT G Xg0ϰ-/tFIa4k %as̯áSQl/ d uT|9o *#~k٘Ih Ii'gŌ v]v`cJ%%n1ґuD0^}I_r*)|ULC)n+({:[%Zp MCNRMeZ){"L=ٿ2\rRGJO5l!\*ZzbO\Z *A-? ;ǂK,Z&nBw&ֈ-CtR̤7Yd{B#)3Q& L&ZyZ~V\Iv\$]p_8-4 n:ղrqY/:}#ՉV9 71mnF]COLi}WK<躶*5 zg{HP9a;y$#'4`,(sk6B;}{c_ap1,iˤę0.ĭvKX0Qv 'yB_+y{\nDI,bm[dhW@ix1zu)]0d(Dy~(>]f 7EݴT#{xTBܬb5TAyёlt3N_+S,.)bUdϨJV %9 v}Kmf>Иi#`!a _*(IR?Ok^w&57^^8j|KZN` S5aR1@~Aǯucxy:Pv_$[0=%'gu^ >|7jZ/7_Bl&c~i>5:P1Gqz1"Y&uqD~̀uv<]֕L`\ˏL_[m~4@i9"f{@ںIk{l')oɤ-9M Ȩ1XḌVOzh:m Zj7a/+@$n%[zNuɮb$3\3aR>x}eŭD9߉9&ڰJĕ~l!kqg )9k.c2q6O3r άcʘpt7;"M =%GE]H^nk $Nq2u~8T^%krDRtA"lnn)1foJ7Z4;WSrZG]M?yAL߼5aEeWL]r8G 1zә]{8oŅ=i'7SPy Y'vn# b5EH-&Dl'u,b.gS6_Rs$p]ފē"ذ,2`JKWQĉਆ7٩ 'wrŗbo P\5q镔WOS-g-К.|E wuC=hق |a\+׮a-S5ӷ;nCUh^ReHl7X,2m6\g~#yC9-Ы2ov>s^WBgէΝ]ы=JV?&1i&%'Flw"k 0߿D |W(L4&cLi@BW?k]>%ZX Kl;e%|z~ izVfC<,=(y-ꀹzF nk-`vd n7.XH sEQ[RE|S1[Ny/G҅9oZ1nێd^ Zw;rːcy.XWN\گœTK{%?N2!_$ϰ=ej.$bKō ښ`REqHb3jOI~8Ye6-@uz-Mn\dշubzru! x̽0&(=v^Mj>AoG!w@I6;Wp S.F}hUE.[hΠi]r5 S^W˶o{stᖌuNR%ѹdV$i'0#nkIew :y6-Ф{\dw,S,N seQQOR3VaKڙdSܓ)5V/𘘘SZne'Tke-CJAP#-,3R[I^!^(31f4}{BR,yz3O>}8cEkHOX2 O au J5ǐ)ɗIyX({XH|3Rz h⡻O̼@!ӄ"VE80ãQB .+u 60uf3e/gq隙7RN$=7=C$!(׆ɳaąGu!:ufVCY0o_0= ql7iUN,t[Eo3B "įTȔܮ.g\Yc4Kݡ pxf'\D't(kB]&4KKܸ0eL2֢*dqէǑf 60-H5P.Y XԽx xfR12<(K =Fw1rR u13,4+,rwW}V@fXv1Tz!LԮpcҴf}r;rqBf7sM|,9k\[s#dNWˆkA!>x~#*gy^,s+ъ0jŢ2Se E!Z Rݹ,c?L`a! yZ`M#IH-$}PHOOl1ʏ7֢q:Ll+ڜ`~4|tA,*tΒ(9^`.| CxIAɵ ѐHb s05 ˏ:ڠCʰzX#ܠm~Р$3GH}#fP=ѳ@&Ϥϧ)*GXƾC3C/J'{{G6.O 2TF=T`Bdž{PçyLy񼛧FoweT_j GHrK>/%B| d_^a7+vCW{jWJ3GrOA\wޚx#<a؃z~\mTliIޞ438e74=Mԙ,"scu# ywLijGrP8̩Ƙ&1/_idWpkIY2NGkIi|Zޯ\{ԍ N$t/s`׺XTID\²Z}3 z>@qyib\f)CIwI6N*N<%!!691JZYItṷ@T"sӫoPsҿE~`#wY}"j2yTYdrK\Hdh+W?i)++>4U_]j,-o ~TRFݫho}WUVM -4f; 2>}BaRWsɉ`P<|eÙq峔sͶ :ZCmlR3_|)dRE?hYI E=?u ŗ%z'?NiV]WBRkk7܅Rmy^f٤pa-.iЭ#̃̿1%iJߊFP`L N,uF㠌u`ZhC'+pYD:qrq`OtXo^O+Y͗0/lDڃj^^_Z`Uv;g͈;oFyhV &·lT3igK [˜Pwߏ,h !I-hWFW\`LPK[ܮS B\~N3vT'xiD8Oe"܏#_JWlnW9vy #Klq4ϢcSVrKqPZ7'0Aux0xw5ؙ]D\YQoEԳa͔9 '7DpP9/NξUiS4]kb``OsW|?r-mc4Sǫn^4)5ؿ_ ܰy[S nx6ؿ I)2BnֳNn.v^g1`z9ޫr(wS:dA# KqgF ہ֔(W`⏋6&E)oa41sT:ai8 .!hyXҡoeoZO1G}H>vzc;.{,g{ ~E#X'(CXrྃOj0V>"l.M}]E&3~PvFJ$a9$(Kkw% ut#"52{Lt_,Hn5Y^H0dw@磾^osC3L y-iq (8,;2hBAx8 SBSXCHtNcQ%( l"u >:;Xvjs#w7g,20y:P׀]( ~ü|4&nO3nS`drboLi p_V2TZWA2Q  B)gC姥 &j-0c}gce 3 zwcξA~cD%2QGbX g 99 +W)v>;SGJV8'\ՋIEUlpH+"oRM&:B}ݱA'mPl$7n lӁDSwte|Et[b+S-Kk^v&E Bsѿ˶@b"tyP,:9Gð8PuY|3@q;QB365DQZO憁8*S_ъDigG՘RfV_c37q2R>ހĿ;jz*v1+RG sm,* z3ÅZ"siyD>ډ&QFHa򿤅XxPc4s NKfB%<趣[3;!ȮZQ`ZcAkQ6lV2 O?O5@QNñL>d<ݽޠPRHz>5E2AE1a8Fi-h4R%104.)x@fy/'c[Nkh 1{<%$ɪh v%)>ý`D:05?AoqN;ԟ7"buQX)hq{'&k@ jbzfa}x I] hl\d4ƃ:->(-[ `kko5GZ`OIZSVWEh>|Qd-nBeh2w ua@m{Z?Ě;RMۨ/Gl%;NU{}))@;/L2 dp +'՜`p׬YlMzhWiYl0Q5 *0puQx 'J#S[zVmo}Z'0`wu"E\滢'g3JO n8]^I"m[GLjcg,@/*f0!Z TMb2u : ҳKi>Vx0':k5LչiZ;Bg m݃h cv?2`5ח)A'=<?R9 N# EͥϩU"jw ӲQgts)v{xpg ֤oS1 b GWƹL@Za5Z 2gT ݛ_f:RE fb? w]nD.{ j`#$a*ș^NJ` [ sbBs,x.KEvUBGp:_=a!Z$pN:D۠,ё\;IqzB$) w"xlz&Ѩ p\{^V}dtƦ}?ÕMTR[`Xr͑]arx;*R CC ρ-ƌn5}]0#h? {ZN^gy ۡWϥEU;Za0"e=/Á_[' B5! N>BAY#D J&|2 X$QS'xYX# Y0 *: 5=&/7Q7`+XZZʖžZ)efIX#qw6kqW[e;+[PSO U{ñN|3haHsOn6`9ݯ\%*՚(v*}`߷rBd!}95%\(|kf]ۖlkSaJj_Ӏ^$-GK*&]lWaڢ'gB..9y~A#PZ2Q⧌48K$ =>HK8J:ڧj<;+SX#nk_8⨀Mhw2E@_fA4~]SK|Cn@T@:1( +:gYZ431e0e01fd8e4d5d5ddbdf0245e1b6eb87aadb7fad9522bc18e2b2a6cf26599b560f2a9ea7596aee8e699745b69f260629223de5f15ed7f1fdd02a89