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  X!L< ]]]HOL-Proofs:threads=6elapsed=591.879cpu=1417.336gc=193.092factor=2.397zXZִF! i]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbVs*UVo~*Znn?AĪ!*ikÎ{606+qU2J$uo<#U/N7:jټ $:}am@|x7 y$'ղ3MڱkCtII~@G»LhcMﮖfY`Ձ#%TOڰρ<ػ]nutcD%<'j1KD@lr,XՇ$b"MU\nOPN~OSGn@݂||EJ2s*RHtzkVIC^fG܆W/2CIL#םWks_$`v?2b?<4ꊋ_Vb%gQhGGj,^H,Vt,:.vT @yH `2-aT9mX2URjna^!4-#I\v'n;GfZNҹ&2v_(֋vt/bAyInYW?^M'KBSr0qu`qdl/DO_  ! HOL-Proofs y<&‹օRM VY:_<&3W5[zujfdO>jTe cTr'uQLL'ή=诏e_iumwW"! h8k Obڈ?Zq=[ȇ;WޱJPO{3bއ'($EV'iIjE,J?h$Sz[ [TeNl7(%"%[9M(+v[/tENY~Uo sɫ]D S8q8q6o_,@8@gDqBboF.)'K)z6jfhzwx!ѾMJ>JxD=HǬ B/㳎4v"Cyh`y`Y͒=v3͐~ZK!G" )sw_kֆuPޣ <۔<JUdf4 A’sxZ(% /F vDĆBC;^R|rD` q(+TuB=ECQzFpWZrF-BAgS6Y1lk՘ KWB[ ʬp-]9[ՊOS|+Ҡhp #U`>$[1_Bذ ֽG[\gs/9„v6?YW9U_^ |NX$W!d<4Cotza.\+qEfF5{|BX˥CS[S*UlqkE w8[(hʖkA-QYҰs DŲk:}:Tu"})C "El븘 "D% d [58"!Ę@ [M=Ua qގ#!z %˜EyIXt{v|14q7`KtH~ pFy{ UG}.|@00;w8ҋCTv [>N )/Fh)t@PLlvdsptg%`!dzn\`*<1.wJs2rzn:;vhT,9qƶ~eRIᤑW%*?ޭ匲`=Z</)mQm_WZ老NO1 vCR]U :t%)3 \dQ33 UxU@?Sm(}Cv"N5S}ж8B g@Q(nt->+Vcv^׺DC+)e^bQR bY Ljzka!?JM+b!}O㦆 p dy'8c}Cvp8)ZlZ{S!$]1߉r^='Mi- ë::1! Aq!l]{RLt(U-L͝-J;gHFއ->.l!01#ń4ً?x pNW|j1.ݛ2?Ȱ Hwzz@X\2~dc׀=<)~єC/w.8՜\G^8o"Aɘo+>ʓ?ۚqHsʐls`~K]p.GYJ:hpn 9u$6gR9'Jj?>9*JԽ: }jArP3 80߇o fZ4lU`|=yRD3:((+Z\q8(q Np|TD.wˑ#:;kz8Rrt%(\ &QN^дܗm7ˎ bpݤMo"F $P߮dˠib#jT+sj1M\1!ЙYvj5טexuK#1DQ\kP< jeW#֡7~}8`}m)ڷnrlU1k[\,8#?v `C'Qre>F3,Ft>.eXz-zK n9c $d`yJvye4U=0ԯ=ܖ G!WV>C1&;&_#VwJbv,f)FkKGD4DT3tR>M؈sZ+_A?l9 @c'Vd@ԝ^\עF7HkTuM%VHVJ383f* `] ץz DU*v 4#c5+83p_/8=X΀S _2r %PQTpoB&s 'D)ͽ#::}3ˊLjFߗ?}ч\𦙺'IW-OmG%hmn.w0>vy̾`XR,^%_MX+yV#&6cE"-}M>0ܘ?:M1?XTK`5njĵ%O O[y&Jk(04(As 4J|EcjᓓVB!j_ 2p_ lE%hߗ lspIVc ViO.9p=gTaI4k={Ma'SWX*77Ta.P7QkœrA_^?/9s$єQe>R-!yC U=^w rA% 75:OѢ+F"LJVŽSd) ,aq7C㡋džP{QreriNXDGAblVK'ADR3g7Klj7pVI0Sq;/UX4&)%$Ҵ5xs@5_[; _go9ò5 ?𮧳:FMM"h=d8CY2xf4LǕfl0uvJx^"4z33I^G7 oiOVEԢ%;Bdzk8IyG/FyIaW4ifhO=0^3sH =2T[[!ߩ%bh˝d['ƔF (S{YaP">+#NX5nMB,o_O:{aWW5I=@^5O+?K^MeI34sv#Aa۔ðHQy/v,ev"DQƩ)H6B'Z* q$: $vửWp(D! ; 5!|>#hEo5MpZdV F>ڛK]p?Ʋ\;y BS,dVp"F 8W4gQRKkЪʅZi]U'&ʯ(m:kU>[`6᠃ٸ(ٯ}LMcUui4BU2$.=bDuu:M;@C^y'UxY&^cA+~*'-e<ͺ>4>JkzōrEEy[%Wq/s'EM!!B|\:2DbNd~k.X,Fjߝ0+ة1BBxtMP$#5x0-Xm1t!(e c`=|+"~Xl0ߒg m- Q8gYr-w_vX' 8) E2%j LۄW0Bߩ&z:T>^Sv'ĆrW{~cnЍyҨmOS=K e(0,c9'JtiS.g<{ #Vĸ NīepPlZ+f  mk9j@`K5ǝm8'g&`Oh/2D뱓7j8 \ɶLz|5*Cl]jIoZTO3(@w$-G kY^ $:^;Ibȗ ^4: '|}8A{Z~ p4z -39_<l՘ddfkL)'Z6P 7| ŽXX|ZM/k=9 h{yV 4>ͻ]pYE]+X^^W#z_T]L>Ԛ.;.K iKQe̡һAQq ڔF^R1|jb~$IUlTQҋ,#Pܞ pvZ~jCH乨]!Euְ *N6w3[`;[?7AT/۟"xRm0op{%QML\OI[BA5rf:cna@I^oE@Gz`H!EX[>iC=RY,XpzFb]X)eA}IRW#X|i2 ̵iOD&6 B@> :9w0٠E4*b4'3}}j=wOKFB߷: VDŽhza>f$z~ @wrB`=6$2-!;{P[ȽZSjmR*ţm{n֬dWL(SUgHus֝)G;oJb^8X$%p6PQZDNY-/$rǚ`sK (=03c]8>0Jrlk䠪#Z0}/:=\31fJ3biJ½J_}KJ~J!;bGm_ BbhJchhFm:]x Kq9%Fw{{P4u&7-h4Som an? 4t޳ipĴ:4@0ͻAƃETn\瓔~OZ% C`lk\Xͦp[v Ybvmf/0dMe'@ג߈3#H`Y_W{xfM "K 'T~Cd{/Lj\0HX "t~̖m,*O'J;qI :LmZuuNf(;Z<;UM<゠^a o_lrsS۪͌Wz'ZnT@{n`gK-J{L ZUF% 5oRC l\b5#_:uZ`CD>fhCkw-y.hzg8mt×Ix!w鄕{b~tP)m+ԈD%ETU?Q/|Cucy*G\@a.+*f8%d7GD0nbK\/?p$RөH+?r_Yv7!k"k5YI4źo~r ʴx {xs6RO [!b?EB=q?sBį&O۹'fh'?LT"+w,ZQ5!NT6zʳ46ő|CD;&LCȔqL8ZD2# =:9}~i% kp53oXC^|x.߄d)'_0[1ܠR=r"}hA=U}v̡xRP Z#M_q Bvx|/6Pe#J' u=9fk_ %K[5Q}o-"żfI۰g.s7ChK5p" <ۄФt49T,sJ]ӓmOȍcSϢ4B"[PqeEHSB Гiwtsii& vd/Hu!1m'_V ]/p՞i@?&06jQp @Ɠ%;nl26"F?؏G I5vV%z -}%)sm!v3A[_B~SP-Q%~ fH8NWtgehg(*Ֆ>Ӊ9^s/fxj952b|!C_;񷜰)zb-Cϊ5D06K)*Ȅ\'ewhSSJ Tй4mrOtЊp7+i |e4F5lN<| KCbT(r[F\q0o̘$VJB`=J\C&IH5썈Cz9ITƻ4kaJ!2䵍^'KR50_k=oѶJ@L@-_~ut9>SI?6ʂR8n?G5QW8APgP.V,9ַWP XGkNy*hxh4\0$c|dS̐MSS6Tiv޶J@]I+7xp4 ^T'gAǥNi21+_u*ؑA6U89h+ӨZC>|@ w+b]MU_ǜ2xWn(_!AP΢6nfbz uO>׈#|-b8~a:oӂhPb-[k,8v?j1zmnuz.뻨h\uc8&MW̟3Gz|:)~A\RT׺vtVFUbSߌқArko\HMF&` ?*&zp;56\/L[j*Tx \('M4Oj D˥#([fSTn [VRHUw=OrGr0LDXm?NFR8If'V YT*KKC',O(ᅏVEŢ^_9q<p v Su$+~Y5 4zOcP9Dk:Ó>E1PoVvm.3.??_'RnwDڠD*,5? rVA&, _ݘye}d&ulΐ7tQ#DPGF3` =I|3kxgTHQNV֍GܙSD<4}oc4!;푈2)yl^v(Q[٣fȖb=N{JS2~ժ ,E6(hM&=mn4?ˍnU_#SZ90[ bhBN# ۳b=x#v`B] *ŌYZo1c6D1gOCHĐ۰ϲs6GxwLTAسEqV#+&3*G@/:4&FMďJ=M]4z%8 4X/wvcF@^QʜGW 7X:ZMG.8bIse{DHtvI"=^S^HXԡusI2fLۦ Fjv:Tݏ8ffY*$iA+x*E*!$W*\}iv呅 |xxldWw$σ!iqQCYQU{U;bIZWZhG Gt@UPfѼXB냄q1"C_d&7ھ&XɒI(LdL|t4;sf~G1߿YBCwS`)e6tӥ2Ieee1Þ_S(rJ/J%/3AwƺȉPbNk4v)XfSW[ckZf|biq9s5g.x,U1>[>#\N3"V?հ$C? ":69뿞#X4iׯ4^AB\g#j CF \y|\#5I؃J" 3|c$zG-clqBMeB-?5GaI*ݨGt5?YJ`ښ jRmH) =#)|+JL 9=4^6QQs2HO"DX^?4?;">04h_:~sW'9=t>/:fw%1 [ 0I@wIp=;tI`!Fi>1= ;h$1Oc;;,hK&bpnCȚi+7mzA>[PXaits$E HA1:VqWoX䙟cu%M-';\F<c*%4P1kUC}-k͏({9t<5[I4hr Ba #=L91eBO#M nT6*5pDc}Kw h'2K}Eh=ą928dUMsFK R\DhY䞈ҩ%RidR+/虡(Gkc!@{Њ|o)q[c-lsVZVRqVΎZYâ+KGiv4kf:,F═*K7^)ɶŢ1ȪȔwy/:$\5,)K1reB!t\b[]$BNH.MS - uDNǤo/ԃ%-$IV/2/ \S D2T V t@%^q~tf)W2۽c\8dQ=]:(@yM{I#e3RZIWtZ:ti/K"q՚Fvwq?|58L+O)Z;Q=XfemOE8Q Sёl:cF0Pw8#a"(R*ɠy C~*["5֍C#Szi=s-,:4fi-_YyZNUZm1թV`'UVze$$)=]p$hی)W YZ8/>^` ko SM,|DHA-i,-<9El;\< mbV[%֢xq`o̴u0B9~ (` w+`zs6'1?ZRBm3%<19ب_!fތ 1$@#+qZ'Ex#Pj'_c>D5D4T0o!AS>x~j j9A$r)F@S#sBLz\XyjYLb}E<&*2諒 Q%Ey=:˻q(5noAՏr`ۙfCZhQ byz</VH@7F⍁ylgA:xkWvAWBH^:' [:if20i#.͌:JZFkN{NS_:!Z`z^7mz فQ2zb|ac>>YJ%$[ gbG-OP/U2a >y@~ P \cKMfl aXVU"^m7,a3˓zz~rl1@ 뽆 7&ׁ끉ƍkh&ٲٳ=7 Z0;>Q ?S ȂگYR4սʪ`oȦ[0 Kn |uk1MIʹ 9hwӻ/~t6"8_,jh +Ĭem(H 1KBQS?~Ymoa0wsC8 %%6 .YHk&&?SYG>hEX,`ĜБ= 72ǙAo_Y .'k @)@V,\$)1lCWqZ&][8EB K}e==jB$V֚s9|}0MxOSkd-c9a@ttS*yWۮx!TGq2@o _iloX1C?`mXZ1.8E^>If/V(Wo4[v*2X52 )x4\̘G0*ٓ*gWňdԕp?_Țd svfpFu奖 9B䜻"si50_h-CTpKjwLe^9 r.`'ԾW;ˋ$/BFtGcYCVq HK֏=GߚU/-Zkܼ-mBBe݇n]3 ޱ4G ڕ]712X%K6(őw3}JC1LP 'ʀԐ$+d!np?ݔ;7V%qG.$ `IK0< -kZ ,2@]u]%4Mց#.QW:C x;\|zcNaȀmR'|)n$^4[r~ []YУDLzb t0Qۈz˚|&X=Kb,tCNf;a;5Q+\-ǹm<Ъ4ҨcXuEh֜Sʫo?:Ez 2p6/+흂F)[E@*[oŠ^.KJcEnWV$(;g4T25d4b[nqKIٌ^d`g*726ލU0v5FIהI@ו5#E/-P|AVׄR(U7V+1.$5=V)@ ֠=Jb)} Oer]W0\ӌ+u6%FH{37"}d{la\lF8{ ݄+Wcvb0 K3DjDK[\$5 hEvNE<ʔ`g$\#+PZ\Sk4Z632IQ<(w<*xg)g1ԡ& `AˮqDɒ&+ bM\)_rg8E5 9q"":B=*ӻ)q L3crքCLfn9V[34k)]mG8^FK|U'LvZ`*$ΓSuVh[ " u=˦sn>] qsppBqvx >T9 EE-ɩlhr+=}򣉨`n lu8Hu$c9eS'O%q kaYGVGu~nKC} ȣzjhaZ-f-Ǫ* ;e8{AY~֪a%/bM,,/߈z6`:mM2$SQ@6oN ҳ3cb:DR;@5%da‚ -BV"-]Kt,TAv­7='n2'(_}=hY^Tejs J+\V@"kO8{v3Ki4u" T@@̠"q&wm2cO_7|, P$w)C*I9uk@D U kT `<q[@I) )YP:fY&la]GA'nB!L0rm2ɠjha>ѻ q9p3w;HoB.k-AgzA߂DzJ}Y$Lb0^mJl&fg0 XZ&CcHnXqn5QIK7}|x^JفO5 /jʕS<]BeW,qLp~#(5AAEjBq1v;t/`T {d ~EmҭUN}J @R LS H<ᘍmOF[1_ec=@[\ { Mc[?%tx,ؽ7rVWtouQv1.´Gzk;[_ u >Q7d}KWMJE)"hg7Ҡ0_|I9W,D˛xgEgE+,%%5%QØWALkVW=*.Qi'<Lcm1N @|(&zh'+D3tyMjb+mx煻̧3Ա{'%?|xg#Jlj A`X[bQhzyݶob&}Ə#5QSP! oo֛nI$iKߟ <4A(Dש噁6ܝ8Gu6@?-TeeUriW/vR$9be@~=U D7ٜǧ _1/#/ ˄Z u7.@ޤc{@82R'ʋjKmV*n7PZ\M-WGFk&CVod>˗mv\gw`*%To&X)+Ŏ$߫ǥdS,q5e҉7-UQ-bs{O@l= H2~p +CNp :9pUt`p  L5q^5 Hi=f`tOcJvr঄la Y>~G;PQa)q"sBj !z};~uRⵧS@|g@s%? `HYWBZ3*lI`Ȏ  =~nl.y>φU}S&ğIzlŜ ԝT I4[,6sRQ qZ&;S-%˒` -)]Kas/W;2daVtU5m^Ϳ0{Fդ[]x|.o~i_#b6Z x9HMBd ß W% ]?V ͒(^~M盲#%w&lt"D)1X,¸{l^|T9SG`ll7**"P"s?Q6t%nH"$e##$+8U)LݽW,1nxvCO'V9s`ߋ_Ȓ@e{LEiÄUȥNۯh~QmB8˒laz)= wۨ@:W!]i \GN3j\nN 1DwvdտW7)7(NbMkf6#;māzYW[I?,"^ Nz5GER}]±>rчE$7s.ʎ/)SqJ#̎ϵyQdha9VfAi5whhIcLͻ`#] d.'صT" UN>*쉫=&ó.h |j$g ;yBsr+NU`y)UYl J,wN[=A_~Ykp8m/mDF@SITJ0p\.QW!62p8k tJǠnȾu3Ǻ;Pn l=FcN6 B#=L~C'T-Wg ##pʇ ;1R[}s -A3̔z$\W*=sohhs#1'zN{z Rq:1ce%HEҥ#L `I4 ~X⹜w# Wd+@`}q~WA]j N;bhca3 ?"Hˈɳ+6l-V2~ f/]HlitSt娅&xG֞NVN!2J&6,-wp{R+ EbbQ&YuW4ґEIM~nsvqӳ=#z\#-{t\Op~e Ta5H? 2Vkp0tV+.(*91^ qk?H|w*̠j_ VDf@U[SAFΗXƒ؛V9{] $x4@G'sQO2y@-zh,q'Yg{pe}Y}9m? j]b'~'U}T0Eȁ3`:7YY A0r̳KUHs v3ς8V#X\T CGDn;2F8)qrg,> 5S=JDŽq)n{T5G|q{ܬ$$g\@,N%0FF*o4}ҋb:c33T. 5&{)=ϴ uyx uUd)-B8̷!LUxFk{ͼyϊt3+˗8;1^l)-*J3{@maP ]P 2vt暈3c,O$ǫq@S ^O&~.]]j(v'$Zfa0 W C>9KhB$kÈTO.Ot8$MB+@Ssw)#eZ`vn롞)lF*3k!ҹ:ŏGƈuc43]O4z #;G%~&ZN#:%B V_jY]ㆬc` (0[w ʀ8o}ǍU'Ş1_t jM$~N|PY] \B6I nR/ >Qϩ[5v@mg>YL=I-9㱐0OHuNK?\1f_GP>&H5iK%$A^qk(^K@j^D-GP5 5Îzi50BFu:`8TvMwޫɖDK3~rkR/3q3$Wn-΄b"Ztf@`RӇِtԋuqó̔5ϝ F.Pߠ(8dv'P>aaH zz\qZ?e1Kw昣}5Nذ3P카Yk0 (i50)n<a"At['4f^җA?OcQF"ks]=reJ=ڝxSH?yۏ#IR <)k!茤Vy6^T,Dcպ5w;;uIPT D7&6!ܛI[̆Y2r0dj5m„HT.G*{W4?'W%zyh|hQjZso)&hC~`28Juh4NXlx"vP%JODs\y]%bcTT?'<l5XBcش3R$ IzJdΔkbf5e"$4^wo6\NײCK,o)cFpM'ec=?kW@>8V3ssJdy&h!^fz@r`}I2o !d|ϮЌ-$k05ck̭wx!%t[uf;pV-؎a֮ du +-ZpB ďÐ43ˬ E'RfcAlTZt|Ha߻FJ`e52·%Mr@feM=l Ҝt{-3~ȉP;L.%Kl$HղҲ$th'ηe%ͺؑSO5ꍩ}QT(;fmW}dU% FD+R9T87O),!KD-Oݦ6hK;T}'Xz(!6nmf.R4rm"ͺj޽ΕNY j?[5vF)zWUftT E]i{^I8BaS``ڄo mq|Xһy5CdsWNP(8o`BEšAU`q [UXG,| NC}R\d * =E?~_N-#2w^=l`k|aϚf(ݻ/KT sS:Ȱ$g<$k(*T^)Lvz5[vszu Ytm@KKg`9cbKS1:&x + gh-{:mu HwKEg/wR̕CAfCQLIW+ԎJziނw XarVf+sf{4ex<ݜ*4GL?Z$ ++:OA(|8rRMKߥjc^c!=̡ iW{6q^݋2+T4/џl/%h 9JOOZpB}@5o6Hs$Q'aUVU%&BK7Zm!; Tl@p ٢d CNe;fk.Squ`pQăAB/Xň1\XJVu=_ s/@X_0:sdT CxZζp 4ve2w}F<򗖛q!pɄ} P}OZ8R"칌DDYjDT@K^PՍSkr)ePQ@钯m'g_ &١\ĆtXjºcAe99KG5j (cMN%C>*};}+k]vU9_=EVp]4M09P=_t`5@V8 ~@Y~4 P)rɴ"4}>"&.`]!z 3z*1;~-d {M7t+[JiG"P r<ӌcCpdʶgg҇W :]--9GH vo1F\Y\I6ۻXf@Zkə~]@OJTCKFHpNy\KPPYHc,I JWǀkMτDW(U2l궝3`0Zj|]صee}C5|DF2ľ>SQP*]VeMPOM(QOӔy5_뙇G4L/?1y2gnbUt? AKƖuSx9j(x$򸗁A.B;'^>=QP~_U {z[Γ&C^t\a@iQє~xeWDbR( o|T4- Eiq].1-TUFп|صI@hb),|$Ҿm^C HAywNT銌of^zk@pK7h[N6̋@rQב[L3?Dhry<̆z8K\Z C5EJ~5*Tx72Ugrbbc*A auݧt]}Q4OL 'h9>MgrF<4?^n4UF;R͢Oۗ7 WʠlJ?{fCk2"Sn;6?)buW:$4V#Oi&R(H |< &" o/*y8Đ)O;}.%֣IPc1,])&I V(N i$:%U_+Ch~3PεNpWI%wV%m]t?}ּ Xx6 N1W$C\gqwF]4ͨ;}Ә/)A|*,E>^@~6Z'P?sd}gcYHQPd"-Zoq͠:{~gҝ7ZQi:֬bކ.ڹc?a.^WBc'&?@Gg"*WҶ@MchMJ.QSXq+ɣ^ A9\e 3.b|LZF||@F ŧtQj! 3 ^`Qi(Dn]fh)V<`ۉ7±6~  $Ў꼆d-U9ҡrAS5\vG.mØ84a1uˎd[klg9`zI0#4lj(~#XY/V, v]T'wzvtkYkt#/:jbYgj޿z|֐' P cQXx(<>NZ2{D(N`D'2F%^6r<|5ے֕@61WA~MHf8;y_JK$v*yV&hMgʱ5_1K 15lJ5P󊀳Goc ?XN!%( 0Lk~ ѱdu $Xad$j 6x%'ibrÿ쐛Ѩ.b?? *~Ad7:j;̥X񄬣-Fm6z j7|iDUYirJ0!iZdv6&W6?߿fy|+%ֵRn<6cjݟBܪ!'/JS1=̪g\kMBW+Zjslz:աiT.K`A f js؄Nvb*0:`[@Qh`8 _P;)j2pyot(RHkɺu4|!`UOmBP1 0YfdN7Κ AGZ>o*w&FlX~h22LF-%`%cmkj`.h6Dp)}k'$BC\Hyu&T˧8/V4tDJTbh^sVk-e}gB:0ブ<87/Z w08BIp0>y OZ$kr/N}lZ +]Н4WޤF/=-o]fV/P>΃)DQi~ sc0ْŷ47.C.NE0p J0eL, v֎<Ȝh>sgfk=]~M5&Wd]nuηFydh浛^x^;V0ٍ6wɵ'Db8`t!9?iȴj VOp:׬9r_}7$>5^\'(S+T!KdV.Of$㿵+ovo{z*J<^!-R6e6GB=YZ(\db_MH~g?2b"57 Ji{qJ5]v=9 ^L^ |-6B#e]1Crnw3S苦#ӎmI)M۾ɚw3L樟Qsf,<adVU:BWCjZA>\N@'bSM{8ʘZ#gRAt71꣝2`H+ǝu&#TUC"a@9BiLm D|Յ["  LS%;٢ͼ3"AdUJ2ϔ[o>b~;3G-pmu*A_`fzŭ'~d!)Q{~[S^3*?xՐSJiZL&\@iKXU8¸6|,:DRVI@`bp cP5َhHa䯣*9e&O *YJۉ6Bk, B{\WQ,/<| eo5C|F5Qh 4rpC^_SU(>aCO^nѝmU5z6fDmYmr6aNvW|#4&CD;m'V#<+r77"ZY$:r2=):Κn7gs+{\( T>4R 4|ڞJKwݿzx?A%lL wu)4y/7~q݌3g_.~V$z%%mM~#F 9BJehN1"&&!>dHں%VJpr " ,w7 `H=z~d8͓>L$Z _bWRyR E5< YV֊Zv\F$>reFd%üpquO}JA`fR}\G4Pxy…I)$W?0~ZݶNӥ*' cHgaxCi -[9=o_;}~i} `7Y˵FJ"lsrts-4/,>p߆ σV e'jG#K{6Y2j>)$uϩvF1Ķԥrz,<݋:|d&o%Z qYw7IeoH߈kvz}8c{zRUǹu\icar^lvrhzoPp`f:bsB'Z{ЫjqIp1nZ `}N^7#}9}Ahdin6ږԉJd3Wwg4}eZ!A-|?Ƶo aȔT7Á71̯q5إ尢M2!{V rMwp4`;V_ GT)`ۉKw'*PqNLmS`Q sE*5CHz_`e~fp̸Gz#FlxOg; L?1}N/ڽ/ |?㘺(CmfR,HJ_=pO8Y\H6EU1 Vc({tB_#c k(>̃H4(By0DGȄTAgsJ[3"B*AͿ<ͳrdnxgkI:5hA)-ta^cē+C}d8☔Ý%DjX&$SNgi;F}q_ڸ)hJSLԍM9=)̻Z_UA|0,9o VDm&H'*-ZxxWCbCʡ[XX@=tc$ 9!nQn=4W2C :j}Z?N:5&xۼLU,k$ϱa/9TTU7}tKR}[QmkC/df0h?ѭ30Arf4:ˎ5lv }ߓH1jTޠ'/71̓E'-y0+ \&uPS6~sOq9iQ>}(U`G 9J/)6tMQ@8zw3NA+(kt/CDM Ԍt {<˜8yϊS퉺'JscW|pvS"zto`T)1`9E{'Ӳ)V6*RrHcFE(>)NĩwG-hBe!rkMG$h}?' fOQm 9;4, c7#$Jz{Xw7V*¾KDH ҮxVPѩ2_lƖC fu\ ;z ̛Ivws>?,&)(B$n YѰJ2bƭ/Qcy&wYGw[?8P7\iaέnJ=SO:+D+F,KO8oKݣ5tJǮ&i{'B{ L2foUIڛܖOj~6>ɟsy/\ubo0h( 0q 9lEɏP:9ѐ?Tϵg<ǵ2FҸGFU&\OΙ)i'glD!O'!h-,"ɺh0Rݜ;KlГ*9$3A6hL>4z!xKX w}˔ W'G@6  s?|]X~ta]e8< \*A֏(sRQe,C Qi.Ԍ^ťPv^@Iϵ!Ӷ%BrMV{iIӖ`?g;>:EkӰɊڧ]0~H,g+Q\ⲇ’s|K\o {gh3šr}OlڬOWnHM(KfT{`T?rkI]ҷ̯f - #,o#(9䁺Fu$ VH,#l3i1LLj2)ހAOSϖy3pp.۬x3.yOa[,2k' 8 }:R!qdJ1/SnW5 5adt(`fƈI|;D"nU"R*FٰjGQ5r$Xm;%v|ZK)>#\*Kh%wo9'Wb"}2JƲv(WtjT['xEf2b CoQ Π^jkS93TSՎ)Cs׭h[vhq"„Sf1[!ކXnp6]M 郓ދεhv ?Sr `9cGuMPׇȥ3۽\k#D%# vqB!Y v) *չ%ymh9|D(-SGLhLi] ew&GuE.5u mV:IQ\TWQZ =1G6LSuL>Vv?1r=- ]P'3Ic*Ԇ'pbP"BErA91#s0d5{v[E=3Gxڳ!e5E'ۆQ:Rtġ7d]hAVn4?Fy-Q%25`TcH}B^^iʰ!QfD8%g I޷[k6eZ d0җgꄮfIjH\w9EɕSVO"/\U>K1]r<:ԗcR`y= Aod :yfzD%64Ol7FBR}/Y-0ִX$/E a+X_cF[E_R~y4pޓW?iD/b2`10]$%$pRV9k D,e4Vl+VUu)NO@g? 1^f^A&sB*|dр: hty4XX9WPϱm7nrMee.д+_= +&1dgfnP{X3Z-NwIUpnr80]x 5wE0IוNR:t D()b\_ЅѳS