SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 N!t a]]HOL-Proofs:threads=6elapsed=819.197cpu=1767.256gc=473.884factor=2.167zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbKםst3,B])iʷe"Da]v<+i+jjNm߶p,XrM]nN=,ۇNO>H^.g[GI" !# OwfG6y]هv̾X˨l HkLTR粰TO*rZݽWH=dׇFH.^WK"ǪO).'D#^ f4eP~~K-nӁ1g2ROAQzzj  ! HOL-Proofsh[.H)F{3"64 BO0`vv sL X)׈;%;гr#.^,f [x(qhT⯭xɳa-MQ(!yd-b UW;)c'rlbc]hF̍9PSx`Z|9gt 6 ` Z4SB]|3'6d,lxTx;MwV׬CT/=ի@g`+c*yX{;&.E˟XO}Fva!3JR|$vy H&?٣(=I쐡qb?i=g+Pë8Kޫ({0iZZQhx2 ;Wn-)shc 5ul|rp~S '{~~M+XV(q%8'A m);QkWC zrƮж#Ni' )rx5{+RCXM:eHuםvAQO _S/o0S8eJ'zbe =onY"I_#Xr.n [5毡!6FaSـ<[ Cu g~$QYS8"t?EWj%7lT.ety~2]lr\$Ǹ@zߑ3$$A< PBr3e}eq0m?}+R -H !]8G#ueEYs~c唹bX:k;º(gKiK'gx9kf8RR\ WGnyN =H]؇mq\KjE#psJ-j[[ǻ/=-"K.;)oβ&ӔC?a-ٷ|ԋ+j`5,xUS\r󔘏 99[NWax }+K泑9Hr͇1~毫Ň1o8ԙ =]̩Qc9{ѷJ['U!- S&ŵ\^5CgG)7'I_ i:. z gEĸ.\w..Y{X} G65; >f1*,K5O>3~Eʔ]ZcjZBɸk^hp\t,Dni/q4&.H Kn7t:'Љ%Pl}`),aPr7j6mb80(YyVU-5? GcK< Pq]^߉.jp:\vtU@eM ΜL1sȣh0۷L.k*10 R˥iSunոښT@ZV`צ]g2{gF\.tD>o 'ވ,"Pw7rHR9:9~b{t#?rJEA ˓{:>`gx_Úㄹ G@)Π hKՈ`"%3bv(x?+ˏ4#H Ii͆>x %("n %nʩEqORsǪZ<2`{nεGy<]Sd sp-d2[ k#!G둱AKҞ_G|8š@~Z>AđO<]*~3s_0, ^cȮ"3O"%oL>RٜƬՂїON,y0k(pL HEy]K˥K/! Gx\ LhCy cNB!G:g(JWrb 0)blK1uK~1*!0P_#jjp{(T>a޷>L2W7PⓆ!(.ijDt@o>d|7 y8[+y ,0ZzR(%/^YmZʼ XZ\wMaXQia3N :Upt2:Smo7%dk˧ |~ Н~oqVG]M:Կ@Q@t{Fסԫ2Z1ߙ;Еt5.ߒ|DM"Bwy:WR' ,gaz&ͶhwD5w 2%[d>vXg㨳xAl+M<ΰx_IM %6WgkUp1h б̃yfZA'„~8'}jKXZdH0KK[c4?rD*n$.U'"{@hDQ9._4gx2> V##9 (rA!d-nsPF Jm>Nb}MNc^$53rµ;f:v() e]nLvK'є[%c}9A"A #ofbQ) ӈtbUwl, B4sHڙ_:S&SܿxJԽM9$Ą#iuP9BːEhqVT|0kNg<:݋QGh4KA<4 7FNQhU|h/oń8F¾> D`"_6쟭m+Nw ~ݥg{7v}\,t706>AOA!vR }Iت; qj_0J#Z'4Whwhb ^_*.ɴshI$w69 <[9 '[C4IcKX}]Jݰef/k_eSVߒ;L+YK bYۉ==v0B vy7]ZЃ=Amםdoȉ) uYPʧ@%Bo@h"Blu6U|7@ԁ:LN]$DPQ' v=V:!pVz2Ժ͐Erij ԹVbдi6j#nQ!X4 `MzFr#,9pN^D^k hT`V٧%910Nk9@/g7il0%`Nevc TpbkJy~L}ۺaNlhLkjzbvV´֯UYd[5!UCΤUx*gfJx0=ٸtG-cYĀlRk@:]Xrk FV/€{)R~ds,5:'FFFT u6 QV`Zݵ,u]`lM&>˴\%i ǮU6YYoQ?M 'iac 9lZS,x4}HfmƯvx#e,& ??F WMFA" ">6hE9nʴexYI_H <+O7f)7j1#x&nl(ɉR7TmZ"hUxK)W%mbEC[GZ ͿpasC$><ݧN%Þ` L1Jwej*9R~;A:6[y0]4PCK %)>ZM.CLܩ LGjT6~}]%|OcrR  դ(Ékڋp^&ҏw; %$%@D3%fdW|眉N1atb>'lUx,l'932C |co^M.!QeTr0CRΊ/O_kHi!@{܀<3كQh93CtuAv\KQ֚s!] _eDFXSBHA@ͣBe4tsc\qA)b9u$}evߞ ߧ[}cBE:{X$K~}ÆU"3"R5KR"Rx6YjEhn ~ 1EuxXVYt/&@j qQB0cZG U[f8LT6 DDJ~oJiIX,9ޑB(:%e>"\ 9Vϼ¥'c%F0ѴĂmt^=xy]1|1i4',q/D ,GOT9ÍI Z2@ĩ[?XP0. f?zӶd+C.T1Ze’[k1$HHAw^jy-V=/UvѴ{nXGUe]n7dtC+O׫Im)/eʹIUSB of8j/ͱlgYZ7zXZִF! ]ŗXi%6oy[webWYFyxM Z|Harp4q|_w7O#\Ո~ I Ѝg&CH~,&,]*tzo-?U}r=ln1Z_1l$Se <w-=` aL޺e:qJڴliU#s ;7KXE ONji*gxj,}z.3]Y|%s-Obi /M&~pPQG=&^nfd4R^#b0gqFx:,'3VLl$Y+N)ZeEp?!l(ڄ8\5˞3bmJ :vH2<Ks_괿Ͻ &99%t]fGvW n(<`(}|F`",>->b 0AZ]3&eK.&{yxrmZo~S0~S&X~Yry_7oiVB|>i|X%2F!-~Rogh%lPo&H5`襃ib>kZ1w?ryNվb3aȯF@8..)ao_UHb2sኛa~x:m?W_|{W#**GmFsIb$߈ q;H7:˰gBJcŵ\${'- rۿK؁}GpJ-<6= p5({Qk%j^y v3sʜ[B\D{jμ -}w("! ~S(T+;6ZOMvF`4r@ °(^;g{.1bSEzdsoT3ENC\O6@ٻеt2;=4/q eEZRۛQ%nefX9yUuq܆mU,Vx`57[z=m~H ͻ9=bfh Xx֓nl 8l"uyl{ZZtz+ȅ(2Ou! (\b}rǬdFlL<~KKU8))՛ٯ yYr.%2QܗyV56ȓe@ ƿ/K=ю|򙲮TwRů.kaa!+JF@j̭61 z_lEPrELQ퐂=^ RJnD4u][i0;d JNh-/iEB5' p;D؜ȹ6 WXDonWdYuGSv ԊTD깈I{Ndth$PC-1ZvvdZ\ Eh ('n&ɭu$qM]OEncH ܕ%M2>} m1JIcFB֗KR;$5!:9T73_⇃KQ<{%h͸+lКb=UBF}AR5+ ˡ= [F+5*wtXRªM g{F-yWwb]-R_Tks56(HֈMҵ!euR&9s0-T+;:EJ &42XR]RTflM³KGFE/ފ,xGgkGnō9&nJi|#Rt4Bs$W9FA`m fp#VB 1\3й>G$ƾ Sý+>$-$J&_DSH9S7f1<~C.+mQA<x~oe o)* BJf ]~kQ77ztDȕ ϊ L~t~Yfkok`)$Zqy Pz[qpi5o=NZFȭqLK[,,h#G tEW%T=؀GVNes=Ȣp*~dl6toSMpCӛ=pZ&u26nKH~PoLݮh .GTԣ P+#XPO9/I,u;0L9=>{n5c]c=gmܙ$caI+Գ*W9!8 |3!9ѨIr[PUWExq2K ꜟg.LD2ڈ*0tnfd\^ǜryAt?GD=TFg'O%?9&0;X/srl9ي,R)CC(ϵ's\*%~SUM*!ږ䴔pBD?֫mVh.*>}D7ەԲhrOn|@W'2n̆˹}oA߲vzG̀sS(6k߿JSMggw,#W&j^m9^%G D"E^BX"w9*ܡ[Ud}âZvKMzFC4w\]B5 PY&O[Mz%P `C5Z)@`T޾A ?25fOaunx;uBs=h~NrKrUj759zK)3/6&ze(,$f?t3bdX뗇գJsS$Z[)W5Av 1}fWoi-J I] [Z(6epP5S#[3|q$.1 ' +)l&qM-oAC+K`dSCMKBA 7 ^5Spo:'vI Z$oNK[wq%|b/%x@B-r 6\bvKd2)Tq` He0-q3`!,͔lxj :?g"q zD5@~.1R',Q'Ø}l[hfг7, SaX>Oh^y bl>9c-extIKH l ,4^-j ̤\1߾S;Im̏$^t:WpZO:L>)u~,Gt 5cҐ[qd1~D Fi @w\~$6h [R`7^3V+Ѻ;3Gt}::NRw~v{GM&dnEΊb4XA9 68Ёaآ%e:cQů锒.Mdg>톭ȧfCPZ? ~ǝ*.j[טOf J28?=BG\ &I)ZvHyz)|* Gý\LrsG6l^h*Ggүv@@(yuU'%T@lM~&u ^'<~LNI ,>G9z54zfylV2d4a{ӿH5܆ ơw!SW}[^@֎MI{ċshlp>?"eu4 H}i^K&rTk1ұV| {݈Ԋ`'n O@/(1<.?ia8c'ҷqϻ%pb7'f]OfV0Ty`Ť6`x}:iAg`?i@K 9O (Փod~0,*f[y k!O4+s ֯,:N0lֈpdTTԖ'!(˦Tq F9gsTg!k;"ƎK"8Y)(ͬ鍐 0Fmř}kqŹ3tf;x)S1AaLz tr %?&9)ya&D_9{ zv k;in~ICwGs9s)iEءW*rVGZHzk[a^u8.cMxSWhx{: 9Y=V2shd`Yb ʍ-|s*c3ERma&P5/zB2 t ٻ0>`I#hF9IC E^)i6-^(R+xc sjN'G, 犟oMWVG$q4fC-!S&^Cs>]+R:uf{VMUN_ad︦8&:rS-1%aY+yyOfg %GSAy)5NCֈNe_KyYuet3u]ìE7xomHM{Tv-"y cw^:7(c{"-fFwpyS tR Ldnj',>'DMqJBr~ۡZlw4Q%-A%r MIr N1xI}T(@jL8j 7; DH?:Go A4VӞ8+uǡɔKK?>?wP%2KW)iF6̚m>bZQ8/d,5q=Y &ɏCޣ78T#U .,e[4Ddx@=s_[id&-Ak5z`/qLq.< 5UwBɌ+_,Z1jXW`Z`t_|UE)-1`T`S85ʹ%z:=JC0#,\bq@7bHy}a-);B4_*tA,2\ 1ΜM'!/ؽºTz]Tr3?t5DuXqYCeO5mp|;#7!`)Tchb 5@6ܾB>o]i@TitPxA*zqY{K"IU!m?E;Ñ&)}o#Uo =5#Q!cAFRk.םe8 KXO,1(8ðX:71@oq/eI.LfQ7=P=/+j2g4ae$]p :-2X*v\s!3:{#+5D]/^t}ּIcZ*H&S~"&)\D/v́bRK&ei(RͮRĤDMCyIo*ZsQhY92%khEtMH5⸈gu5"ʚەrHj$olGbBR{#z%CiWs}t.RyA'ZA)}y*W>F~o@KH+YLo1jƟyW1xe3Q f6\г{"xoy%Yr? Ww7Z_61*"^o͇s96 8xfkl{TUji1 +I;e~BUGelw}\vie⭳*tNrCVΕ=We[b4Np^]gȜB^!'3:+kVXD&/;=/ՄF]:fdW9;@>aq3|3̐LѢ6iHO3w #8a~ .K^ʴ)%e'~ׁL|qFßY Ѿwۿ*y㒉+w\7=t㬛P(dLӭafv50]V;Vmɢب8x}]*HWO/$8%tIru;`k ArPp(P״4vU )Cj>"nM:z+ Qā9J,r@='j;CuʢFH?੤$>z.%>d#"4*SQVtvbDZ-67w8k8C/:[\OʫB1 O#sfF-t~-/~l0ZS#E`#9}:tjvU ك؈RҫY8qD#QMA6Wp(G5*䧌|vPt]W*/`VFEshxʸCwO'A$$9#ͼ)4}g#q =ߓӥ5us<ߘߚe&b8DdJ=ZV4% 3 }T>Ʀa11'($pzv}_=&4xmw)h4|6!4WO()0Yr*I.smT-FHK-K2)fR*O0ɕPTڲt^Fxl0k#t`wmӈ 7+H~z93%b&UiDʗsAkzNbOsC6z?o[ow_gyqEB?g\*i~=uEB\p8sB?AlN;h~ߕvb6CptKDxz DoE0B9HW+Ά}gJ[flD~LO]B{fq VGlGe,!9d*ai=*ot4Mw1ISbrqs֓z:K,!xt1e lgAM%!V:O {%ťIJ߾0";c㖡0#a'1ű#.&9|+2/ ^p $t(55ED}4%(fV4tig&zTٜgK\$a/P+|UnTՌ 0ц&BTc&Qi^>㎞?ZoH,X*C2kMJn'Y?.6ߺRHd[׏JWxnj[,Rc5.r;+% ״$SoWwk5G,,5ŅcQL549s6:eL656,_ЎZaû>9`ʜ &_(ʘ r#O;M]Խ 7P8ih,^0އ]SGIa7zMXS)Μn*"Bqb6x3mh,FX*0IN ?6=D, \ȇL2/p\=سD֖B+wkmgQLE\8l*ӯL=Egv@v-y["8nwN7v< _wbcb{e=+pa[^⩢{Ֆ8B K}e}}im6hg2jSo#=>:]Jw טauD/)H'FʔЛTgU(8YfBOj#k"r"Cw"xni!5 %{k7^L.M)f&HZ=zn3Ƒ'n7II>l$(RyLXUNd֛VɩV&:n6,u2UsB簗t(Gb2Q>?!։9SE@:@& ٞf|8ك1w| K3 ^ۿ!sFu}6jAwއú`6)j<,GG3O~:dpsVw(]G/c=8m>c6dBjG^2dy-3YE ~4Lz7 0K`(Qhs'dvArNSasAByr~4 T|Y%1XU2 3DHR^ף-R"$vUz^2KAg=TCJh,x, ^WJaUD+5g6%kYt's6OWٙWl4O-XvS_7yiuۅ ̟pa%,ps ֩T0GĩL2lRωA=qW߄u4@ge000˴t4W\1yיÿnh,h#LH?G1AI ΑqeMlj&yS;b!eIlŝ,cL* ͅgșU8,ɮHz}׎t 3%ԉ7ߋptqYy+PG8nСAy?GmҾ92__䗩gx1 ?=﷞0hb3,t(0!*kG Y~|Bf N1O$RFx'-=M:K L"tد ^q[{C#1ѳ;ȭ}>O[$5݀d lS nD8R[~*/ei,hjn5IqL%^6| m#  pяَ>pK#,&uB!|.s7]??^s7{0g˂F~uRۉ/8ry3sqk: !hŖT,:f.W$@300H#Q,v8 ]w~ .bQQ?_Θ蕪2)2Ռ>+q7[#(rZI#;+Ǹza K7x g["Wv7H4//,RDGv8lAXBAbݰ-yʲuVd(d$/89"T9IЊ9tqWoV Q(M6gQL"Mk=g7/J=bj9@{tQ *K=,+g^ @^sy@|W}f2K^->Ơt h8jpjk4HZ*}U%FsgO$iRhZN0ebS`P Ufw^*d ?)G͝vv_?U,CƎМ)Hxg&t,C.f=|MPa/8hcaSEܨ(2p ?yUݬLy\WD7 $%9l؄%{l)ItIՂ ZS) r80Fl1oS\d:TSLЄص)PGzb]'us_t_}7ԆߍB^:v:"O(cԨ~k.q!t~Fgnp|"I {_si|#g'f16ΰyY m&EdȦjDv{2d E|xј&= "8 \~r FŶ\?F) n)D!XFT>nm|<+`R:&z]M3jq"Hh(ڈ wHeXιW =OxS-i-tUVi%{( EA52kVg5{.IerG4VG }Lkh(9,=Є ~N>+*!wؚa=ceOY{k.T zs@R3uP eEQ?= (HkVhvKݙm7 >ϕзJ\&]IQBk(%MH|w"k -=Nń-Bo ˕"ט؜z$DԄ MKyQk[EVxDu:>K5>7ڡnMΗƙ7=-a;҄[&D.V1@Q__V}< -Lޗ/xН4/wB#An-}FiTwOq 5ET@vBDy# đ  z[NRPG2i\ 0l~HVqmIl?^0EnlFXMUR%Peu39{"z!2HlS2- vK%R*oSt}xyu(IWc>JCE8@BX%! ;Dgo4uH\v[ThFE 3zԓzbNEuLlNROa Á/׫at ShUn,; =ºDhx앏 ^LŞXTEc#)X" fރ+Q=d2|3i ѷUN&*F@ j++11`b[4}3F[Jmb+B;m>&`/>dL^0aTB͎#sfKgJ5D=:HV3[vD7HPqr0ҨIQ -iQ[ Jׂ-/5͵*ԙ-f#[L>?$_GVvVr/ k6ȭ-ċ6r2Hm]:3V /sUb5g8[\̆6v8.V4 _et>vE?hMLm k*Ґ~2fh 5'gԗ'?\n.DM(2қ>y9Om,)EeO\aYM|p%`WW`~F~vGy=hbF2= f00ʉ Ykro>cg@ 9Bo0JLܰ,ˮVNS$'OgZHtjV{@x]"̀`R {}C@NXBLRx7$`G'M>y.M=Y 1D*o#7c4Ag=ۥ+0=;,vډ$ĮOZcan(#i55VU)Nߝ"F>o9$ݖf/5spB Ď{)L:  }M1Rphbח]Mjd2T24i>,8w2gh Pp0^_ V^|}L7^#a!&j]$!&݂QTg:9\j! n6G`}vIVu4IZY C[yt@ 1p N NB;YRqqLjAytq:2Rn$>A/Uopv{O)I].gyMQ7C0Ǟ$v*2k-MڦSNx-ekc]!~f 0jCPA_+j#kOJBμAP0Á14[(х2s0q7syp)U(!%2H_:I# t[;k^&L-sgmD)zz ā=$j/HU]Mmo`y*)pyFdV/wɕF̶(,E2ʿ肁{"tb/O&Dq~ekt>HQF&>W}ݑ佗bMRvY§aU_}L_f!T36q`;RJds:G:ջGiM<!)rUvQ` X UIk|'2 ;J*6}:5pۏbb>^ܽ~} X=oC|BE*>gN-&>{?: KU\< . AI[ 9 MPuϋ0h*jD6xSң¯FEvD5~V J-3ӑ_kxZvsD(&"%_O Dδt_EB.)9]nȁy\lTDe%K$frKѩ#W$R^^fKJ2MCL >xTH|5@ȋ PK<>9=.cd; y[*T۠ySF SRڞ4^y]tWĀ9aL |?͇pj(Ki@nhVc ,GA86#˕wc3\P%0+!48-ݶ|&y (] RSbFbcq( 15~Uo跶% X=2 鸪L(%o K2aǗ3LLh=a/}UD[2vV+wnkfɬ.\oY헌 LE5@iZIis@>(rݑG_@ㆍ  Gu)a~hNc3ٞ8Ms\2qW~sv=@NɌAX1) QUCG lLq2X.@F{VXo :  8ywAKV6+h,)j(+gE+ HGC(k>\%lHN čSO3\ #+v^<(5B}٭孎# YNf%[3߻j͓;l'qLM.Tz%܏mHR^l|/ixҢ$x!=ˆr ۓCTcRa}Wtə)_lܰP DFK(dz&5ȧzJ~ FF=Ń3uixۙSH;=}a-Ib ñ^%vUYYF91W|e#BZ**/ŗ"aIA} RBY#kZ QH]xOb]CᒭV('`%;p`28gzg[i xN2y| ?8ρ̧[ c ekkcOUmȑX,LHA?=<4{GBo"WA b+:n?Fr{Uo^P7Y?%6a {w_KUX?`,US#kc) %IBl- 4)V(=6X$>T=Z%T ҢΆy :j0/x]F8&-"1d2W!?'0 I雠^3e:{̮OvtyJ-+dhPj[ìF4RiДo2yh!+DZB>Kwl1dUrjtIӶ8k~G eEyژlprG5+qܟ?"4.}V*&i}<*TÀi[TM;h*`w(͍(T;Ov'Nd١Wvr VA a0)L @Y])97A<{:\ AOq;CT;Y1IR 2m cj+IqQ8ۚMH~{ :p38s< r@U1TfRMtFW0VdA0.6MyͼS\\1၎w*T2c+`IuU,>&{S 1n@tB]v  # ^7Bdn!Mw=hsnsԵ)q1jR(y Rخ~EKZL035 9фh$K{<7'y^:Fb^5/~| G0FYAaPe¥㙴?i .QI;1a iN`y=ӕdZy?C5$F:GQ }ġ"Tf ;\7}~:l +ˏ.*hv邚F VhKɸCMĻ7lRGNXn2^!w$9$E[שJkt-Q=ԻrjIH$9õQ7n,: Am=9-uCS$6P1 _Sb'%pƱKN qٴJd{!s{AǙ;V7v#7P"bU}S=r# ΁FIdot~5O@$\zBu]@2K6jČ JdQX2ER:i؅=s XP{ HnbK6zfWIBe G!<:ż3jZciIʳ Z:#`xJ'ͧlj7w Qڣ, U"%&\vhb0)2_<3,6wBٞSrg6G$dyA[V}A.s>I]Gޡ g^H]=l幾raەOͽu`os&cٯEd@03^a7ڋs~εXC]W=|| =UyT (].ץWy W%:l"K tuk]ElW}aS X"0KmƗᬮ$F]q(M挂SHD-".;aqlݡ"\֡Od4QR9.SM)w(ܯo/IٞEp(Y(  @hg!7j: =y 2xa&wqBN=>S^3Yp̪y\0DZ]\ j`$cꩥ˨OX7)1a@O?*[ڕֈ_4ʕ ) bS0k9o% \c>nB+F1whVVN$ݗtV< )hG?=]~];VW<}1:tT5Y 9 HR_(M~Aݮof#=u*ˀtWN\>aC+/re%*SdE[W;Y D6 ^26_J%j}]l 6!2F)@xAm$@JdOus*Opd?0LÏa'vki^;l$R ,8A:Qbj .G_ $Mֲ򶭾5h1C]M: jl-= X?u+-Tc,2=iԽ9@}션Wp$tZѿP3ئ[}[Xg/ +a՝v}#B'e @7wga{r=XB]k<'Y u3ͯ%e|Ri}3gleA-Ϭ-ƨo@w^qYbF1Vh.g"R{4w{+|ÉN9;?cCNj~ֶPRfbt9YFBQgf:zBFKM%`?\N5ڽexbkݦ_4XPW:AkS^)f+)LWk?Cꢁ Q5ӑ=]s>:ۓROdZ պҠWCuEQ>Q/vs|<_^~]WW)?t?yqXA؊:N&ⅈ c`idzAeyεoKNAQ!ozgst&DJڕLpYP&I8>>p$Zև6m*Y:Iipd{} : #w'W3i((Km УTpvȞ7?毱"ۉdR%R p6MXڧ0Wk˨ޡޓR*2F#?D@r?Qm7hw:Y3"Aת>5Wm4M?*hgp kPB%Xt@ǙČҪZ!D(fs[!'շ{_1-+Q籙$7 환ï&_mW|@r(3{Vh~ƀnƩ`1%N/Œ)r_gHB j$(EU8keaU(*8g?7%u7]@+@f=?ï}+:OG\Ur.44BN)t4KJkNT HeSO>YXb=[xlQ/I u\o|~C,i00 -qQ>R; OX( ϝOHV5e! \X;KB*%+mgrc]ӿxk2/y&iN?ZJ˗yjԹ[jymT՗'LL /.jOC⤅\S8!TQGLl;ʜeu0ZY'([E vDTE e\.ⱾCZ& MV O?42)2> kV\Aǚx+&L%^+8.=H؉}TZ[ fz#] (hy(F+a7!>JS%NAnwT>Gj44K?1Ra/ma CyvT4#q)Bt{~ݴ~c> nӡ erOg7Et*KAd>Y˸Rc4MxH/ty=Zy#z4P3#!%,>sDtM٭&B%xEFđkTRQٶw1}ˁ=Ή[SF?_2!ټ9^5=M*a1N@024w?xˋc'98SR<6V]c1VH(,З~gȐZy471] (osH͜S>b.+OHIĤmKdngRu1п%|¦̮uFxJg%1r}<ٽag-SₐvPoF;+rv{Pji)v^&j./F6m=u0 9e}f72yE^15(ɔo&0]r&BRi<2ж Ua* IZ#w*͠@aP$ ](؞sj!S\՟cQ߆E;[ycly0zo=X$b7+|@Oڏ3 -`+E(EI'(ώ-.Bq-:oBvSUg4hSf6Ow|!+ld 29[=6S)=?ljF 6i_dkOz ͓ _G`宬 !u,΋0aB&Ц-,ڜr73[Ik}fʻ2І(Ĺ*|2m 0EȮU0>9*0ͮNu9軱+,]v"YWIٗ6n*uYGYl:ä. q nQtPN^Z5,Q(K)ErWq.Un [Ce 2}@+o\ ҠԘ+3r;B/qWj[:,. |:L"LNgҝ;M vߪmǑTSwGG#>7HkZioU`8 %pؒ;0F\-{[~q'6>[ݴ^V8կT? HvH6W^jzt3H8|E6NVV4$%3{A첥WwT7kpg`GIN6V,m)}#xP#|ЪXvrE=mU?ĭHBJo;;!ҫ?ph&KC k )c[~OLR`mt;), !Tj}/G/@[q6&ao ȫ{'>skb8Cj #fѣ;A 4GG(D.?RŐihzvFˤ͊dvU7=~"/'K;+u0S?(al"_֥i ^b8?78:u j3KRn]r`y3L$p,m&kZfk<4/c]C5:~gZ:av[Z7 ?MyeN fQbn (/@ݹόS2y[[+}W8MX0ӡ :Nxpi̛m%<&XMx!~:,R MX<^8aU_07|432qv']|X*ϲM>v.\}k#U-EE$O[)(S%抂xr|h׎C羙{ _Zn̰k2,"@Y\hfA͈hMa 罭e8 qdHTG3I1K:J=q~j?&]j0?{Nr |q"$U7 9΢G T5o?~oNLTK5d_ T73 J.k'ن_ǧ(w-G_ҝ5Jdž4;48W$C#Z8$Un5Ɵ^ǰtctvw;NlIpI &"2ËE ?|G<G ~oo{Oup7zE7(mjT<]>@ؕ8RGuqXlf*X$H)NhOD֑1o2TKuu9G&׭a _y:UYrz ~'o. #B!G ˧rNg\],l+XaNd$ga\Lqe̝[)#oEf4at(Q8VC-q&Tl{(`BmպsfO WJ1P}Iodwg=4.23u/S11SkFkW+3 avӗMZD+؆D;ơ6Z?}\`ul6Z%R5wl5.Z͆($h9g[uZ9OkcǾW &ݣDA%S\02߮c*-e jfB#iVacW0 3"1.>h}EI׶#1_iPPxvN: >IE-X=9qtو7l# xR ,NGdO;<88U#1lXa P, aO#~z=c [o$Eq6<Rо]ȸiI :o-0TUPw 0҅NX],YgjmP שLFR1M9˼r^e&zwEFWLSL\AE'fJ"` >~-ZXQwI)-TM\(~xr~M{q"(60+@ޡII 82Mv]{==u$m(~܍ky{90/XldxZV Nf@H۳Ԙbb6 ƒEgmN%^袢-35÷cGh ahNhlq4/8Sf HJ7B`ry I T{1JԪ,RVuIca9T!.͖x*&Tn>'<2o0cw'/qRs_=3C)K_R?ktӍxŲf5^H ]%%%c[d~;ႁj9fZ5QnКULx6}Eo,iBQ22#dIq^08 Z<)e[FI$.m8NRnt/h&>N> >BS#6ҟ#Ѯu L?}q4ƲF&y"9;k|`DF@Y>R5@„U=*)$)IWq8e3&WKLNO0{QtD%l(xCw݀OzѨ_7'/:3Ws]cVrcԼX,~as%2 +/, O{8km$!"V^K!(&jN3OJUwLw<:q)J% _Τ*x/}h7׹Z=$ h/ soN'Epze:< Q5]tFRfcjsV4VCr(\;}=!VBrz%Igf]-r’_py_R ?gDIv!:,?tb8gk$T\2cDJ.+䚪z`'OO.è=SN)Aj^AP8.R1k1 ܌z`oeɪOsGr"ma!>qϱ~t8x 9ךBy PB0};t .N_/վLU[.eKr)Yz+]cXQHKck}_k+暈T B$;"A4 ,F*Yv9w`|AIC)0ͣ}tfѢewR.X1YRKhD.^K#{%@@qi %- #/=ߍEO hӂ능G[=YD t^1![S[Vv`}8AM蓬eyӌ\EDrn7 0%;M gYCi{_;6e J+vua;<]zυߙ 6Cㅣ^G,yKIݜvQ>/V|YK MiBrꋻVYa'Aў-\ܘ )esSE9ks{Y7/< |5ő8F3̝+Yk󬯠mbcA/lQR1;)#wUWl(.rL8!lef;$#x5/Ɵ(Knuꇞ$O2ήVŽ5})E,J8SeuNAS_ g>>^W#P*H\PZhwйd8 pKy~w5;--e+o}]Э4\Ɗ{#6 V֭Bd7}iED q4f'3^ggH+!CEƲs*#⭇ׯZ,O汶 iq+zJJŨsy<ՄJ|FwMWE*-"Ix|4J|cIG'kP_6n/6:J$b @ 83soPxt9NHtt3zJB߷C'S:#|]NX-\&QYJ=/L|xqR+e >8-12" oX4-V#l)L5=aL!ۡsQ2mt^hßE@2:e 0f7y(T5 B_۞B,o@\r䯦y5hIJ(+&b13 ğݔ6FB`ᗝז1 o[71[h %F/;y&Xo+Toas K怉Z aYuE S+s s  e}>a*~2y؃٦:+&~մ8pt^Jpz+~z{%ld_~?Ob!kfZO"u7^2.G&w%d &tR%C)/ψʫ~{,+>vRpjf7O/