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 !TL| ]]]HOL-Proofs:threads=6elapsed=756.924cpu=1735.028gc=261.684factor=2.297zXZִF! b]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb JY%l)޻u)k?:}VۿJ;am>.M^YcuF&{;U3G=c[n&zw?g"ybdHKE"k>%CE%6drEm4C.#$, zӯɺ%0w5WEӈ)\$ p18AՀb;g5W~ 2"'%&D$Cʦ$mޅF!/akhA~T#jePZ *L }_`:"~LUt O=l !Ewk7]~ҮGاant:~NSi 🲋#~7y5;-*0{]} @nη`;qbfԟ_F w\_] @gJn:$Lw #AKi(zƜFI{;(4* Rv: K9Lyq5'ɿkG(4<ɯMk7t8}v2ejkq?F7'2z>)m7U.G7% g}5 -cգMfc'uFa? 0ztz:.iоkVxƙF%Pì{(t5\wMYYVŻ(,j$̩c* V}xpfSF6_ WyIsj}w f`jvp$Zmd4=-"7/d6B|T/[qSn)+Y xP3#d>>*&,0kA[]~Ph12?Jxpt|f5a`4MRoaS!m 6;s \%8zYu i^ָ'>)qhf40rsϟpsћݾoOeʸîmi΀E93P%c@EH", 5Ly o\ml&Z|]On,0Kr uU1MS*<>9&NF(l )/)&Z$C 脖ħd$T?~labzƘ&L3+藖٨Ix#ٮOR*K}gٍ{peǺfkyl;`|9J(ƟIQϢ56)T3)c~ڜc(r3.Ēɹ Wd띴Y#NN쿅\}@(eTR@$x#,%'IhB3Jyt};n9kS"u~?dmtSa,:K7VO4S"+jdO#<M:T`?ld2s fk8% j,h"k_plqHF!%[;[S1o'>6VȣYYY}n=֘yI#*"X[9bhL ~0s%?Rʘ¼F,0[,ihn~Ig2pJ%)5B!7M -%@ sr E-%r.No8 ,v<xz ΋**EdХo(GĆhb`B0ڮfAXOǖB|boփdShʃ'61`iȚAԠ^ްr݂]:y }nch-K5h͡)p #~"6fPU!,p9x y:DqRNjKtlndO4jl9Ykɹ-E$eH!ﶍ x3 a$nm[VNxZ)CFfnj;8,NX5~='@02霐4؄Oih~TgF>/5{8 >п5 #itxb)th R C[rCRD,;!eW?2:PI@o-ZbTe3:)dE+HN G µn?V5bsk.ߴE)uwǃ!iw= <>VasE3JmʲJ<-sGB A١Ơ|X;͚)d2u?ԛ }_V&ȐX\#.ԇ5P3]c^!0NH@.q/1=1rH]Ǯ\|˸*,}~"pqcg)Yr/ze̬Y͙yOl|J $Egsװt'e[c%L$=^-}ѷ'ԳT!Ԝ|kPC9fl$v)> ZY Z= 9ԸX,0Jn 5X!g~p^= izܮG4Y" i D씙/PUb9Ӑ P5'ٽNͯ.XU__Yozir(ܗFq6`|X;T 1uzc*pUؙ +v`{`NΒrey-,:h[pp\>^p_(^W?cN &X$ yL߬u(6pC}ҰE[R-g`#WvMLsUf)%q =9u^̜7ݧ v@,`SuFV H 0jbFɤf 1\BXWS˸iY=?$7n؛*J`!, < l41^C'3{ઐ% bK&)KsHp,xG9TbTH甾@nu9A[*R>AN'w^oz=W/,WVϔWșs`L sv5g!K `(x"CzsR=ahڃ@r֓{/# [sg%ciumjv&[j "6بuO1>!LQ+?(R5?mÃ5M C~4 G9)dP](hptjjx-83+P@gxRdeAIB<Ŋjm#@%sHf3-*l]&ޅP"-{ *oy D}o`'z7]RY*lP,(ϵqޅ_/TA)~uKs7f;]κw-8$|0Qe'Dy[ 6ܯ^/gg]q G-o=>*rew ֏GYr-VTC7A$r^1uTb43Msw .T@Dh51.]C3R!)lzU<tZ~i֌.-ŷeR)A@?CҺ / gf+hqLy:H:W u9gIdUuHNÕZ6RV!B?FJV&I3855M2y.Ժa@m1y7 e*sA̡)x)-s{[h_1 {Ŝ&Je*EtWR,i:%{TXoQ &$qY-*![w%CKV!mCBa=[EOq2kqDH)~Tw>{yW29-'2[DǎGקz}]+Ƨ1ܟL:"Qx>7*EB i KOT}Z%'M+^"}m͈W/S M!z Si;cI`Qe$Y-yJ5{IbWe|0>2>_ ޙUBg{uq"?uӫE ʿ {vNe%9 +_{+( r2h%SG4}L!|$Usxܮ6LK,Zcv3j`z^2g.hD:L7r[Vvt MܨI 7UiE2gYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!*Xg%!`!'> DX"%dsx4 B{{q%0Є8/_Z ~j!Eb9};6KI⁃l@Fee+;"%suVOkzYQsjwH ",h8wwnUo_hl3,*ʠ(Y -P^<sB+A3QO9HYLv.ɧP08$#+][oqq\>Y֟dپR AQ^oxt7D+n*ZeiO}fET+8(nF^[&y! ;bruݒ9B> qz;q4n&'2~YEϋ7u?H)O슾q0D2h^~s|ҳ' I{T6|ze̡kP>k䪱bi wyI_Fˠ90Qa'aw+`$2˰ c& oc H]@yxU:b9pԍpP C }4_q5o<-d>hzbi#0&n雾ZܠS/z wEho'kϝh {V\]I!}NXX{4dR䨝.+ uh#> T+;ŖD:4DE0H\Nh_D1yxDM6[X}bqD#J2WRLǜ=Z\Ç_9} [.K'Cc`wژlP*1O \(륬*Fv'-}*a_BI?0R<7A#64ϢĖ#w  _0 z\OgĆ9_;_QQby=ƒ<ƥ.C^ #DL\@кqhj3^ fcZU/+Gn06I/FUi\bysmAPd]"(ą7ӎ@ʇ-.)S uLn/=@UA0ݿc~-YXO+THG/n·wɇdEq;3Uz +CG[.Ht="nKR.?cUxa._/:۷)>|&ۙ4Hiu\f ԀxF/&1%IݏLrgT"OԻy2uI!B+8ߍdm I[(* Tx5>K)uv/G$7 _ ōb'8!]6,46Ttޥ!0mK6r_쓝ui<.]@$ȄPh-u#f !25ao8JL 4e/:W{~YY{Bi54gQ,R;w:x,JἪR<F4p>x;UaPÚ:.>:'}v^B8g,qHw&q-f/Dp]T+G]^A+" $<,DCQZ4d zvlƔDKZH:E-Q}B+K@dHY+mMߝ"k Wn;ZXsb=s–]I=T5Hk ^e@S`9Pܾq}m_osb_1l|YGeخ8nڡ^k$_rfsr:úD!gR(Ohs`Wj)3ـNeJnYHÓZ`Ѹ[dܾtc0YШG( 9@e"`S{]+K@46K/K_yxJhd)'û, e<<$fZzo#G".Mp8k iwE7‰/W*k~/v}([Kܳ x/à. v@r4d;c85f(N*Zo֩A̱Ɠ-Lj"L4P][י6#\}QM]ܬ\p+C0}{6GtR4@9/:'T.,{+nj @$xVM#>vn!M26UԼpзLې`5a C[ftQlS'ߏƺe gp%A< @ aNYJˎ'l3$uuLC2Śdu,RJr Oqy7K¡3*'Dz1+v{*6 {g';ҙ%=^2FIDS!JXp @Ԧ ,:JBHGM7$-׾5QJ S8nmBIej$~gwWW^;"F 'j_jU)@)jQ==e,⽼u&Lt^e)T"#';~5 i bOM̳U4$홝ກ@C-5ypv"fՑvx(WME 2 Ȯ !@37Co_;DIL{b4jZFm_cD_\ qN4⧗ڑ6,=eQ:Мu '6qSj?bZB '9_9R|օ Ⱦ5([))0^Wjx-TY6E)soRu_Ci'ƜcOMb`Q ?/8UMjXlM)eA;_ZRmέTVqyiǘx9ԠZdJ6qt2y&!"_z+DZ;KT]CU:n}D|ҎBǭc܉ Ya!F *SٚM{Rlrx,>A9*x˯a"Wؙad+0lWpR~s4=ZX-? }ZvU_dZJt߾qT<]s dO94r5R6 ~Nw8I/m6K9xlVz ك&J9+sQaoѳث[ zJ|)J6¸޹,wIL&&0p,|,~BļZkg׀,8֨poE# @ttSwž" %’=[=o Mc4{U&B ȦcϯXJ/a*o&z`:ȳKWjĕá֏X} AwcTtlSxs :=2xjʸi] $(2QYjՌo@:Ym)YmgzL"m1Phx+W.ײ%9줱<'~fu+ t 'Ɩe@vV ^s=$kKBKBz|#M]hݲ&3]{K(ˮ(bhz}V܇ޅ-J'Tbn#;cVy>fogO橏Oi^st*OJDWewpɀ5ɸ@{ D4%^Tѽ;`fR5B]A;_#nb%gTpcDZ}eǻGƟ]QȅCCp W5um~sYH%Cʺ|JV-k򰔓[H~tX{T'SiGejNڙEAmc]#쳮Pl գĮѦ&(%T+o6xB4kw~5R ]lK*m=HpG9k7K $YRh; Tx|`)e_=qJBg›7dl$hCkSZ(RON 7}_So߭om?#fzjz #a&Ttý^oEa?YiUS)@32>aKŊ{LDvXFgWXF4!}Mi95SNIa.ʝymn)Խ>d/h$Lf^#APҹӖ CH6CФ>gb 6J2h-_N:@9C{-]&sgV%pW[Z `e?5vO=f5y0nn/d&r۱Z<Q #?^1Ibg`E|PʵP|p ADBqTBE{'y#2NiGqJB85rc`?b0M*+oB"2' +Dn# Ζҡ+&`݌1伝-q]K/CΥ$dL]Vk8ADL !#=!}}t(B+bQaȮ 3ε}X낽*qw_{D-acGJ3,ߎN:c(1OC; V&Bf$1!MrnYWgԕtNOV| %ɱ0i*i(8G[[& j݋O-S+* AB6e-$O+jQ!a}D-*Y~ -橂h)8̤ xw_rZeNjPb;kZ:[)H^0$r>‡{"4 ~y711{(;H?ُYEV?0<)䗝CHzg͏yÐ]~_H;,B^Kr͗JB1 TP#QRUۋe4RFX<*u4.F)_s4m<7`vn>[~Jp_0TܾY銇.V=++f0XP'2ΑW`[_,P1zLJv2@{] g$ c8ghh'#=kFζvb-Gl+~-7섪z`7vρ5Anj(,(d0m`nVf|5S"n4;Z-GVcbr V eE[Tޥ)HitAxCL (l?̉# J;D(B7E Z<@:j(ZalJ F0_y&c5FS-^cؓta6^vt֠V,kai@֖}zsYy<BdT*>Kn ttPT&"7ϝ+рō1l[4YB.kŵuYHvj" D\\ 8Շ;$$pʼn N⻇C)G+H42^F^ ULPF,Z3wSÝ 72MF/eH:#m,=<[e+5vdPݰa aFrŇ5%~^%2".SaI2@>Evڙb1qe08) @q|׎t29tӉ.̌t.qbH#v·s҇i°q~|NdPF8=|L㴟xVwfWmw9t?.g5;b5 %տ*"0u\/+4 uar4,>4W sx&mifo ʌ H?'L8Ru55LUq%ֹ|1U6n\@|,S88$`n,$8$n~RɁ c%*Mwx}Ȝx ~h*y<0˒X|Dlx[1buzҝ DaAxB֧0!ajiJu \9 KjHl];_!z[e۝p qաܢ/OJ$`ωBwD!UtOs @D&)`sҚ zV\ףq'gtAX#9D.[$co&LF)m3@v*1sz2Qb2]N-vik`! i0L򅞣=vstK Vff 6"OP O呪 ,g:3\+H U0 ' FWyҷvDCGp5Ir{9=^6uLa'TMilP~N,a-yt7IU"OcZnh&Gfi]؝x=g=܄i\s<0])DK+:NJ:ܔz%cTTҌO/9-W7I>ɤӐh# ,|x־EwUwZBDkWfemT|?Th׷6dqXxIs=hq'y[uz݈fYZB,d=Mu[!qth#~# كC)X4= Jtdeg0ewPt!ni zNw|Rs I Xi@AD+|RėX)\} z(xPf[J$s[aMta5 5!B3%KcWm\|ߍtN|-ß sR;pEYJ1|2&Y;oy'oN7Dlf B.4M8DhLͭ ZĻ[.YhΰrjQXS5TQ3uUIrM>86􃜱Ȥk i`ʖfrϓ9zM L-RHyD p2"[Rsj.r(bQZ/[շF'ΌV4SML4I~3D<L޴ ,<#D7‹Oy߮ď %Cp"jE&3ck%d׬$q8A] :R sH[ 5`9i͂ pViNe.g9kyw)_zUh Bw5ތZ fV"+qin=zZǟMi|-d$uWk]~$Px2U/GVb27st*2<3Rڝ~j{'t3Iʅ&ߵAZV ɽARioZ.(ހlqY;^|8v;M·4qCX !xZu5w Itt:lD`R6s|}mzZzP߆{tCĆ2xRlQWbw#F.0B7,fG 0Pi@o)y0aIi$#1Z\ʅNlThhS}Ay+/V+[^f/0OTGxbIgj!N腯z|{X[vWzVZ$'ji)OJWQ=[p_z5C,y,5X7K R!#Ss,9_ Y JW9뇣ͱ Abi by.AV 욠v 嶢w;gRM1-IքiKeW@Dn/îS4R$ԫPئSW RsĄSD)FrEE1L%xڌe0!-U6I\;& p\ iW( 4m{Ψ/Q0 O?G;]ϙҔ<}ƍnoZR~xImMϔȝǐR\6k!!e'gP坯ZIIɅ_U?Jn3i jG =q@Fʒ'<\XoDbCxt]]P8"䶬[Uw*% rb&?os3MF3@|=J1[)D梧(VZ83dN\tpID&M2 K eLd&7BܳKn[kDʄPJjE&.X%Êd#}Pq ؇W<ėTo\5%SUGҊ۴ՉeU"_߹9J")}Κ6)`:Isu,|QrrR0EncHaǴ33{-YC>8 oFd0Bk']Yri>ף׍z fq܅U95` UU4\]ŞwԺ&׆7# wUKS\@2TmT-0nK[˖cl_ŵ{gj|tw&G?UuH˼v_Ip+4?7&A[A$VK"JʃGne.ORp@f9+?":SQa'{,M0 ]o#7-Rkm<LZօ}fq۬hy2 }ie0cSJ5W[,QV]/]xh}fDbSd4I ly2'/Ldl Q/m}%Y^1i$l5[K0kz]EC"G !;C2ZͳIfY&@nڻ\M0$4 TW WJ Gw=ܕ21~WJApdw78To-Hhèoz)gv}]ʧ|9b]zM:gd[D‘17/Ng;KģSw!G_ʢ 3h_M/*.R[&-&x9Hv} i U779YT%  V#~-/ _y^ѣb%iuXπfΞuj[y֍INd&̩ t A/BCqg2<p^u=!U|%2doCC~٬QLɞ ߀RD#NC(%^lע%D@rXH FU4M 镋JAN2;Sl|c< xf_>M<=WzgRIh3HCy_v&%5A>UHm} ij8?x4wk DY61uva.REZh|fH vTd@?)7hI irWTR !ia]z'c#=­|p-ғ=26܁G]Qӌ:A E?>ZaYpR6߼f*?'x{oQ͙]A2aXGBuheaL->3'8Y|ZE\V+DqÍv~q^|ᑹ$; {q &V9aV;f~Q@/3==7@sdPΦDO9 8*2)=Sm"$G3#! l~[d< 5'WSж?"[cWB{- mKXo^0y޺ZGxᝎ5wp辒|HI>Y^, n'jsXD\!}Rt}| үŒQuE 8G9o\6ߤɶCuRlO#lIJ;)RvhU=LmL!pGҥ=>gA*AВyp;H!Xa3p a DZYFEx/h,qgn:Kmz`A:,[FR

vo {%x[cEXAfZxT5gm/^|oKZh3kKNEF#e̷Vs݁ኢ7 bjN4cZ笱XpV5~"lZdO!.ZXX$|//֓΀`.c,_ұ:!O紤&اu&]IB(zyUU;lK-V4(0րz孈y2ֳpK  ? 4"mWÑQk4ňDm=^Fg.F!s.-@LnmtXZV+ R.5L %XP 9Cj s\]#J6)Kٳ4'p5vӃ* lް 5Qꠇ3n~0R4+8DYT$l50Gs_TIz@|ǗÌt 4@u,1/:\ϋb4;(2_0 dۓ/~.oF2a};oI"?6;0&b{\fo-&E"}S^{L1|klj6,0nj0Yhg޷]VmxsϒNܴhlnbY0O@x#N)Z@bWK/ L{'(pFTLzjm[\;ʾ0PlϦ3\r) I "t!վ]qq48lI, k[uMs 3Harl* ե 1zMgwҐ~6&TXj=Ape5ANsLXq4vxyOZhg&sqC 3@a_]2Fǥ@NJ|YvϩQ,5o`i+*VYW+p0/M7k ϵpE;`-uί~A\OIBT9:7UPj A8`u-9)1D} .?сO'Nî\53AŢc%ƒXm-&gM:\|S>& aty4sc-G{˱Նv{U;0U(2N*3Sp,F C|* {yǤ!/H>X9ۋa3@=WWۮk fw:o9~?!ygV3h U0he@% {̴݁xrO5gvvw'SwRo]ȉ ֺRQ\ׅk`oʀ8/7%S]K +_@^GOP DGĩ!-L~|,UˠK8i#0צ~ Ryla\3YS}tvu'O$Pw {Ь+qLwBvg;U\$2#6E?^tnfSi :{3;3wa?#V`|xwA1 @sW.mK9\PYFnUR'9e AJ](SN{ɗ6) v=AG!'X}&e'?ޛZdmPµ|">Y^K"O;g҇+3CӨ17LYzd?1fA`6:,.QO &cL,:kyf2=mL2 # t,fjD/ S $.01l:Xq7gP [ԧlzôb:Zd}۱VQ)PhۻoCg(Q,9MLC,z/u\A2%ҹ=̱D eSvbm+$6q#A\+'`lek"vvTO,Ym=1h1^._{yW(*5i7rU!`Q+zK2 vQx)nK"8tؕ)U]0W gn>5H$:ڪY\" ~7T~u])30˹ (8P$c}+ ׷8~9YW!js}R-^;fwЇY*giH.8͎ͫ!~h9g\+pַ֥:O$JUP2rWXLPc+E[쏉{ nRݞ)2.[2R7'])1;4!%aUͪuK16lS[rNҬ Qhb. Jt#á/v>7iwOgTW u92b1 E?5zu 9).7JRH7/n(:^7C3Ov}:ky0DP'?TN tAۭEI>i"mxkQTIxW) -2SS+E8:D|i uvN\E v82x>DED3RCbۥ=NSH.绹ez*>R~ O- K7nTJS>Wf7}k)vcz?A\LkT!/4`A9#bSFN eT7zHmdMBY~TÈq'6I뮂0۰S~Zka: R9 bd;lvY8쮙 6wo j3:5+0 {sQT-=c5<M¦xjUF1n`iAspQnRu'(kӾL`72M0qc #%x:gHbz 3ρo|`E6BqߎSM`-q=lwwq_[O'~C *Op$ iCt m'.J188KbxnHRS]w*U@T /o;^eD_z&TK j( Gv@OKqJ{6()R31Kg){av3B_p'ra^"&RDX4sQ 6 Jf70RO m6T$m{<>gބ:r]:_ڜPNv<. R$-aѶer$BzݐPWQdXGuhz2(dh ujRBk `kX#uXժ#c޹v"{M4uYO:U6.ss`ZZuģn& ,8Y xm$ћcxA%UHg/(IFKL{Q{^q¬S`<:kc??kIC: Ѵ<_E%kuBb? @(YQYlDŪwoDjT!<ovQPޅց3@UQdT( IVٺt1$4Apr:FЖ(Ua$.2:i ux|>\ɥFl|IF:TbT-,pVU!8ה3]g7tQ0|ȇ-`θ~ H zA1=hp 02'30\Lgɏ|V&y+0GP]ڍV 0n=c?FXms*C8P PәyQe+n'X5dQNt\ KuFg5={4ԒY6qAcAݮ Xk(>(B<nKp$Ș73U]<6ԑ$U>Qkgg&%(oH;dy{>Qϸcy30Yp G|yChm`+MbUTGO8h0Em<9bH1ȍMmD-0;O@uxX5t9381@j&N OGI*SIxcv8B3v<]PoY{1UV9SK<zaJ؈[ҫ~0@xޔy&B yE0 dY#z#Y`DV5x>I!ΆP oׅfp9YىPd&Ĭd!ſI]?LX`44wσ.:+FDQr}ݑu|})K_ai4"ZpMD,'ʦ~b,*@,ixA2p y h/VEn`*K J~lvՕ0o8rCNO"N\_qi ςh18OޤR+a'7vyZyPZ,lWByVK?213woSUX80?rl_(rzL,[I9B^iPnko-m!ma;~ ;b:^ڻ+N+ ^p W#Zy_ {[NYk(%If>p()e)4919gRrƞD.* v4+O7iXX6}ye6n'T8V0x?rx+rgbȷ,!c-GT[U[~ul#͐hYZŕqM&zoIkqAzt/)a(NQ"e%QJI' |WDHXYOC(#]NVbm( F7/}ս=g5݉'Ȥ1,5q8\#JY, ק <;4ѧK ̧#JԄM.v/q DǠe^өBɄpק%mqS gLge>BSRx{Sq' xlK24ش7rUawS=y74 'bWT?L4,a/me 7Z_>j*["i ِ֠xt D%P8{ڭ&x;tAަ/B^V~^c&Z7}p/Sf>-6>T`ޜ:~ .R1k[1 t|ǜSN=4r3. IC<^Jór-YH7}UV8*`J|{ySŘF Qy 7@<݊L`yAơ٤D(̹d*g PW] UB=;x'qI:X<Üa> D5™0|; L 3qc#r؉ 4$#x46 S8RܷZ9C{7 ՞dGJp3.?BJ7^,b3]qY+5%X(()nh%{)N1{ =J9^Ȫ3akOrDž^ϡx1^O>?G#4-io^$Ey+}n!(=Rjի5-V= ]^.Lmpq3w|ZZg.tU.kx.66n~L>ҥ-ѡ9]dv4H'Xqznh脘v&NfZɏk!SY)K<%m$| mu=rqZ9ȢIwNYeψ\w8+pPΝG _Ҝ#0hA_ 6/@ A}.Pi:狠VW[(fhzsnj-ũpzRܝ(z⊑"f-o]lܱ, 7H֥Хj68xb!@ *w7 G2) r'i+|6nȪ Ħg%-cr߄bDCZ'%ȨM=AE+Ԏ8@dmVrcq~ {roWW,ΥWr:.(wأtKχJ+-}x1I g⭊o2Ҳn@s[=}}W,ds#Oi%iT'PDI?ȯ-FŢ`hzZЎBL:2͗޹6 pK 5r9'v8CxcM$z9?s0j p(j`V[M]ou{o[>cd(ԆHN"镥'Fy7aXa!mCA!յF|n,AAlPfA"" yP&`bU9,+ΞX[_T99gp"gv'nhƱu7 nO2Ǎ9:ۯڅgᖒĮ|˲ ~) ϑ9Ik&pOz\)B_{w~B˙í;:ɛ? ͺnjkp^0Ep;ӵ$d lzEME, a5T+NVIy>uڍ%k1}ZE;_r~$UL018 O 6dKv)݉Tfk: O9Y¼:WS p$a_d+_"d-y6T>bNHPKx78Q75_$k!: r}_az @\BhZ+p:w+u}fp>l-F_ r3 2)Ge6dq?+ˌ^d& KP tlW9%VP^;e`sB-V YNMGV3in9 P,N*prK7̵f2x=3п2D1^xWvK̞+$'2Qlx+Vl>y @^]bu,Ə7`М?  Cv=3e~iв#)-H 7uav/DsV@^v }Kӵ[Г7C.} O⮎EbUTl oaxddl >wBy4 /T<J&QXm57 W9n*?,h1DIG8WoH!^Q imp@\k#0c-a>Z5 ʚ6BemmlZ!KO>ҊpP N ^FB & 4D=`|Ƨ:?[c6Vi+2kcj,6vYN;ʩ(!Z[cO`d}-r|0"$L u? #-j MQLꚗ;037ۧBҟY }d*]iW* )?fYiTDG0&>qCopECLVȉn8Ю3'=6K0+7hQRR—&rJ):%0.<{TrR/&Ws*hc& 'Ďͭqp2I q?~!f7CfB]'՟hrC$ dQ)F躈8 |_䫔aQtuzMuS$H&rPwjYt13!q) ӥWR $.OFXGZ*%{F(-[wcP<[cߺ> QФNW (ߜ)(RO!4VR<sW@ )= ! Rxʮ_?$L@?iih8?=]X߮ U밪EɰH1 0X$H‹PIkq_ M*MO*{*Ӽ?M df$S^2K-E]䴚 l#|jA"K5ƫ;b2s@_\:Qb7G#/M!x 7<>#fyf=E V!OEVVɯX…uּAr:Fp]ÜG{DIUDfJ~' b}*)Fnz+ ĀPYpٔT9.u8u^$f679t8yf'EZ4f~T&< OL՟b 69;ܨ-loRxMd}K+CfeQ;t&b 03:kU sSaȍi&U~ .ʈT/jq/ќuA5v5n7%nXaepH$mze8u e֞xC"x\ƪaoj-fTIJ;3TE점euL@VpjJꩈ4Lr)+W}Bj#q]S|QspU-c )  H3qx捊>KɖW=kbk(*9~,<o*ͭ<ԋis}|SbG'#?@SHbgcZ 8s\!_r$$sTB^f_ ѭ c"W!-?P:OQdcw 𚲫cPqe#lsPpKj^|X$szIR5el;!d#xG[/$^Z Vo}Cױ5&S^%gς*((IJ?8E9ʶ)3#8>/ "m té34'ȟP$VZρakãiPۙ_Bߣs2S e*V2ɬ8!ՇC'>˲kݻ,z>ڲ},~zX~`21I/_gȁ:;+yYnh6MDA1@nu/IR9KJ FZiWp|~=iH!$injJak& #30 R}/lS%n Ǎvwۈ> 9+h捖f7{?FrN0hrK]W\nveAAbT G<2F9yc7*;Ђ47 @ۖYiIKL=\*=cfGBKM1%^Xtđf6C܍T%goƉ*V VAoo~SK{/M.|X!8fwSe3_P} {e&Ħ*TY x':A h/`kdzD!A+,% O{CvGblceLwä9;1" U,(OCSP:b*e\x= sl$7I/M@H * \z(O1R %<+ǟ׸ !)ϖȒ>W zHE4fG(f tUuncd(n0voN--?pyf9Qߏ$92h }4p=ev*c HsS`5[1N*VݝM O6>]re[37|]Wԑ ;Ň.0sM~t,+M(rE6kOrF">ꕤPiklԐy;lv۳:"姐EvEU%hؔ;,8ښ:)'F 9idB&7#G)cǮTۃBX&B C{dKaO gRD*:$ &Z\F5i|Ct\$R6}g38q$xk(4̴Eضb:f[ߘ%Bi:>?<0 Y})J r+B=Dl:sH7n%bwL_z$N4e"Af\ p#@07ڥtّzŲ[ḧ́rL=kkv0{ >0Yqc`)DǛ6*x$,H/?SJ[f(6l7R5* "Y}[S8fBrctp7Jeә@V7/vj4N 4cmeSrCCy3*.!Td|2j& (L(#;v $A#)QS4"W`ԟ7|]'Do:| w#Pj#FYſ+/$s312\n͈V'9>bۻ9" 0壶. qGrW%pj.J!](2"Vrsj‚j}~nG58xfĹD5 rk3h6PܟLӉʋpLRE3ڥI$$GK9J"xeFS}U'D(4wbҝ(+Tn)4E1'cLB ߗVB2w8¤>B騩M O:-i}H2GGnw+?nR| UXp,f.ҢyآM}hɼx i_u"emM+@6s0[J]LZs]P߶3yQ-ۊ,֑Ht&M8?+iV/fJ\l9չDr)< >Y60ELp1L8u~=(B/v;P țRչ`<!TВӪVb? ~5ve'Ȑ~L=u_jb2yKRS;& ZXaВ=fTTYDNwɃ_A›E@ևe T(d?J?6̠3IBV(&5ۻޠt_*:h/,@J0 !їj jQLD C-[%0T7snA(h;\ίQEA87$Mί [hE/ZPỰ{ ͠3 C{SL\ O¥66 y9<"KI42^ Znof2kZ2xhLQҼ3q!>6ݮMF\N9W-g촞yu$;^7rs<\PV]jz}WstA%gqo|g:4]O̸vEm7DiLb^\z]&u\`ð PfP[qruG=/X(kG/G%\U8bGi%RO~`}n hrfMCn;ܵEA@g:zĬF!ٱ4&=&A,*+QTVLVg!2WfR¿bݥK:aghۼI9g e.q$-$qVM?߻Q-{ X#FDİo0 lA&qU;x $"( q- £xK\Z9\n"8n:| ]?Nx"<хOٗ9@ _V}+iO(]mr߄T>e0(㕸BT6zs0tq~м!o(?@lXD('jȗ IPN;a}guq}X¦`g*oD= BUospnE&|fUjE&_ilg(?foil`F l*W環Ivnt`(Q?$ǫ׼aky)!l4Bf1k4NPXSzmj~uŨ pl ^Au`+f1X[kW[#}( Ä{Z)Xe*kt ~(<~ys#K -RT fl*oL) FցBǖ|HzW0?!ѦvV/e!sLGi98dt_ tu.@`M %,[ 3R}5VépIG`p(lXzLx\gVi8미`I[Г}OZpe s>2Q˹FlܳR?T1a&5?u][-߆|C+ү^ ߲Wd84qB xWM]q$0{a}>t9>+r$`yвhʁY 4q[>4=aL)#75Zk1J2WǃJ솺Xo x4`?dW؀Š\Mn RI+]P}=rG4G z-X !K|6m^61 R3,o} V,0.*1`TuU'$'e 7K;[]񊞬STZtM=#f_=N#Fx QZ0ν4Fg7fVگ ׏.fyZ,*ݧ}& ZHUUkLf¶ XηǨ.x ӈ}A>PB. _ȥp<v~21r& ~hd,{( ?iqw^S)2A'9F:xC9wqiLz=rmUyE;]9%vR>{trDEIS <-B*lI\ڀӢmUVBE6P#L|Ƚ KY'St .,-m{fNJT GJ= `i2]Nk|qʒN@H_YD6!{ 0V[F6n508u$uB;ske -*t)^i[f,x{^󮂺$YOrH慓- 7=jwSBc0<:%_i-mUR: k&e7 !5Ik T}9te+ ɯC?ʕ6qWO1X` *SSp܍BMx3]jLVLUc'pŻ!Q 5>+id],j`&  R5}Eq&ᙊ~f 8{#Im:YpxN&M}i*)޽[N 'szU r4=h Oh_!'o`x(e"ח:\C.tu[r)#J5/|/ڍ lkffO R 61v*)z#٨$aV bpvqUҟ-|cxjbNvܜ }K(n?'څH?٧`]@ iEcd|g則l,4`@j]Bd1|r um*fߎpS'9WwmaNQ>jdɎӅbcA) +cenB2qfŷfrB۲*IeUu08J||9u}r6eX}á }AcUvv'`V5Z42_ p-ReJ<5