SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 \!LT ]]]HOL-Proofs:threads=6elapsed=790.302cpu=1761.716gc=245.240factor=2.237zXZִF! G`]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbصW]IIM4æϢ~Ϻj{0J'{vd%UZD__S*|Ă-P\G+e3jbXX@>V^ ~k4fqu ]M%q߂64ۊru9}77-0t[WH)%ĭn--xІta 7jH tq f8>78yE>%N@(bq_-G}`Cl0Mx7A2Η:1J!#as<de˵+%؝=:&;@72"'\T:нm!9ȳ b.|G ْCpj+F{S( 9¤Z'0Iz~`4(U?cAa:08zT\=tl;8V4,(|9a;Z얨z5_/[8ӝzzLfb*n/yڄ? 7eo aqoD] 3,wCJO0Բ~3=p(T@bn4s_0>{X lXyr5}G+fAk;{aIaq^$(f1"wW˚].,.NHJʰEV.KZN=qsK(09JY*PEķ ؛y5F_m@inoJˣqێ+0NKNOL֖bN^l[`{8 2fNbۄ;Xh(`BjXm) dҮ<op|j?×@JkjW:i}o6ݗ{?*75zL i#)(u+2>9枦\\b_d2grX9)xv)W{ކStU[:GĦ@[$T$$`蘩ݚ@ʡ|CQcu '&2aNGB=&D717]jX}Uf5(41HDwSݑ/dMNچ?U /⹠>egX7GIn qK+ȨK&~nG ֡ YY"Svf+M7"/!#M.,P~/}bEx[ezfGmw]z)4K)a RW\,Ws2.h:4ʜ 1cV}9=mdZG IݽL9\4'D%IbM7fң_Ċ®5%破;x JU*ރܒ{{) h.9Hɏ쉜2/l$aKȦ{㼣y({+!΋z &#[A9&]FPlOğ 7UN9%Nsx(td|gDޅt@ž*9t_هmCL<9c6˄,.R ='_[=IRpz$̸YQr _Thׄ~MI$/H GE"D+G 8ˬ]>u41U e+Rb@s0[jUL(f f:~vy+Ygہ^̽7ӈͣ[k@BIp\ 0Jdÿ!#k6k@~8wnVnN e4nᄄ]:ʢ[i0+o Qn'!gnvW}L= sQϕzvǥ84Ys{DB1&%Zه!l)Ǣ_OT\k^uY^koe3`eĽ)C4ɠϯb=W<(.dž ^k JL -ܢ ІLU|w:t:"!&VU%`8o;xYno#"笓?(Fyt_ `\Ѷ&nO23? Y#{N2:ro߷{w[ا3<.z˖"qjXv:Ӷq3F[#5zʠS^g,aSW==FgcqmmqQr ǕLnU-)X4ÜSl)+;0}R㐃olg=K B։7]47e*쥵Gr37r_rV&Z'#||X-\,R_yvADtM8KkḺy;2{M.YD ˗,teuBoKtfV,1+)٣g_ 'M[Qc)" p )Km~`"M}hK$)"Z R5,xpc9XUuS* 攉 |JeO]i?ѝͪS/Hc KJE Ӯ;$/E8 `{ӽuC?g) NzWML_Hm.<0ye%ZXy,Bj5LG4fxtɎf)ܕhU؞*[ƿ}d WGdNSR Pa*T@U"C N#?}A,,_߼3n8+Ktt8sӗ=?_> $+yi1҇n{xVJIuRa\"s G91s) WhgvЀ-]`LEky,sh5ʲVwNрEܲe 7iFl&Q[ˁ٨pNjz׳K{XUb?ʗCwǃ gqA@Bu{ 蓘+K1?[kKlkeG 0yk1n쟹HAA{[KZR:q> 7 `E:yqYG: THgpeg LEIdn!DRܑI7RG;h7]: AC_"h(_֤LDZME:iI.cȔze99]!d D׈\^gEJV(yUTu:*^=RSz(4%,! ՘BXP6[$~cH}lB6lhOFT*8q--"*2q [`axñXbo",Ip)n=an6إq8%Z_Br)0_pQaDsPφ<CHiQ1|[ZWy-#O,[ ʨCXl 'jnXKSTud1zKW k篾p66&7kyS׹8*/[Rs:`&KdV0XcJȜKp@Om/gCi*}XME5 {h41]9 &|ui|*ݢ`R!XRK/ȱJJ0 "ǂbx0eَI⡟q6@'BPOqƞt1K>黯?]0}coEEokc|-X[ar u )hf(V:V~@W/qJea?ó $58yc^\"l\E}\;GZKwO8 ;qBv[s.?QRwj)]l~vT;,tܿU98yε9O) &)kџquH׼m"ILxcj1S]" PsxxbXICH8-aTICF]XUYzH%PU`-aT+wܡIg$b2vuc;5VZ)>D&Bɣwl#bAHA#7Ӆ2Ue.b4t-nocUfsޏYqo¨|H΍IۡG1VM-~2VCHwzN7b.Ay^+Htװ#V[Օƨ_&tmؐ;D6V"|I H]~]{}ҡJUhb=6 '_6k+XYFjNKC7r~[* Dގ|\ [nFcP [p@@Z\1$ʳ}CT&1U^ N:eY-n56T7,ר *B GC1ރ,Zrա/qT_0pVv{0: epwQLdc?S-9T#ÁŞǗsPِKb%xK|zCESxT½)ofء'(FͻNLYGs0Ѥm,B*TGLEmӤ_ ^%/3|Q#-WYK=̄ȓA_ub/hd-_8ac-%zzh\ ;feE b#16dhD߄5Ӭ' ]&2o\nޠE%e^Yݼ<֥X>un:-6 `6'AJ;$Kxo4"o8޲hX rd0AIyߍ9aoܒVG1psF<ɱݤɻg_"2-=lgYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!*X%WqFFS,ZuUS6,a﷣IWOdG+0-pٵ\cَeCڦGxׇ\vE[!@0|V+ai;<ʭ;+*)[r\T26.2N]nb4Q9lܣXh[, l:n[7WqQ',)m8+u7^tcD7;dq] Sǻ.Y3=n%DEGTxS%Z&ZpBMmaVFwnfgṭbZA?#V _ h4_ђxKP}&a? ŪJҜ % s Rۜ ~ՍbBN5a? d5^Tt('i$c,gBz*I."ϊ灝CA_ x2` B8[\K(xK PF`$ɱg]ғ]1 JFݏLaAaQȂFpLiP RȸG<0^k՚ Z1?8sНn_Iwbqt3{~Qoiu5`+40WC@hoT?y4G;h+NGe]$ Oɳ9,xmn8iuU}DgU 5ȭf|1!?[x3bs}Zx'Էƍ#Ŝf5h+Ar+/~6Z\> 6NԒׄ&[qc/t*+^H[ua`$]XۍYSw4KgyjR36fZC"OC8"־]NJמּj.7>@Lw(JD+fXa>nýzQE ?2v7(G0ytrV(⏳SXHY[1e8t2rr_Īz:_h}2K1Cǯ|VQanފPG1XZb"d}1ԂʳX n#*zUNQ_TGcąiBqEz+ i8[5FR"U_`['4Y_2JCԑjj╎G0A |X'Z>"'r@Zϟdk2c{U"wܜv=[ Qv0WRm-E(EY_k1QT5T]WeWnf(E|s+p_8oO51N@_,d'H%`-h| }oڼ>`6M&yZsG'ۗ8&0)a mGiu+g|l( " ڌ IC^bn퀊ŜZ;9rkR ACZ޻QXM #1p|ZutmY[\K +žD|T/@4@PrM *&?̈rlqM{"oKA(U,tqMEUI:`՝8,$cKW+Gk]N(p5ZBRoC8*t^iC'Ķ!`@^;xni~Ge~FzLؾGi9<D>Z­6 fo=FBWeǞ% `^Y  ʷ 'R K43L d:B" 2 D̷4e~('G!^(-%UłaX`@6y],32X>-ܱ2m͋^"U `s6a(s0HΤOVD0\>1y*^,Ym^_%]< 4 24n(J-6{gE(4ʘx` +y+xFG8ozV&"H} . A@JE[6>_Zd{RV\*Qt Rn\%~&ܵtxugY}ƹv`kJc4=B7/&``>V;7X;.#Rn_L uԋ}_ގ}'Rs^tyJŐ{ѽĆ L -sG3# Wo+T;׬Jx9r@8_/2zyr<䫂˰᥏  /&ڴ'B'a9dx (<,.8Kay>D&PKJ䷑P6f'fw͍h/yBfhDp{_*BprQ5 .437#4qJe>j\\֘Ŋ4DHXA8EGD)BZL!/T# vvH*҇YMeģ x#6c MsCr,M8qQ3V8wOYKXo7%qNkF*R wR>Nss%ZEՒ7'7HD<ak1/OI [ZR"]&{UP g6K+kZUGBBˎk{y˜53՛ޜq4g1)$i"gwyXc4ьD>5fD>cmoٟJLe6[3g(;R`RyKbX8`wFT{ (,kIJ#1F_Q0`rg0j%J2BRPTqNmCGӭzTMxکܒGA,Ř1K^JwwHduW[=O܌p.*\A࢚.DciɵI. Dt\ɔrUgɱץw܊E}^zDmhI;kq::Qa&+XWZ[s'^? Lk>dӪ0l̀Rf:O9gIc0_TR=o>)U4n۟z!J>R:T*܆+ni`GjkT-'$Q~܁-Z4tI'N--98ol'! 6j04Ns1D"k cM~sc(l3ޱZƝ~߱ܘPxQV#0Mg"cUS\xܴi3t4ΥchKߎT E&=uD#J;,=d vbR!b,t %|*k8.&> pHEiS!=@wHf,RRhIi-TfMC!i#R`[8N 70L'r}'*CO.KPƯ&?Еm1ĭdblZXW%a1{t>S/=`W;|&s"S)鉁w iLOPx^(N'$5G%N ca\2a2ġp&@&-'&6&~Q: p{>}2@hty^/0 vzc8d5 3 .BstsyrPnG=9뛨i_.l]tq@=E3ZkBXniVJVyP ~c[AOKZ,240֞Dg upqvȲJP|“-ϕ]1gVJE˶n=ɮ9.㝁r:Dfz~sͩ[͐Oz_Ux}$OP흄.)<N[N7\s=iF_)ߡEcsȖ.F%$p )GyK D}ˠP ~&ðFU'sڋ2~im_;@fb2v 䏈B&I_)Yw7{d)bY`9$KH͇۲^!l9mZUW!iZcjP-8MaZelUQ`2} <\=E 9za~_귺-<, Ou|Z.V{?vKh·N*>h˖{̿4JQpbҼIxŋ]J}Kc471cSz#36Y2ahWXlVdt 7K/'7R.xueD }C4w$bqH]xcK7$BϮv{ZJ ,!̠idi;s$bX$8b$Z~kWs!FPXyy=đ$,bvƗQ#f#+.f-__„t[^aY~Ks urթ}yqBuQsNOҿYw}Vи C vzo\4dp:m7ߧ-X0eDR~x\}B^DP4v7␳ 54oHsPLv-@C_-qõDi. $Sw8-G8v镶R!Ч G]C=gɊ</JF@|1WfY#(R|Sba ®}G)XJ%•2"+Q}M^ }D?8FTq50V||:\~fx\.{ʏW_f^R =r (h\ef,o`>蝉UaC8*b>F9ZÂ~2֝[07tX)Sjh%q5p͊+i*Zb҉mZg;6f<9V8J֧r_q{du7&9>2#w8\lҰGb߂8ʓPw"[ kljNbeܲ[ >Q_ jH.[=(t{N G`-}vvjPnzVZ>4t5!nbckE{ej{INjD*ݲe  |S 8.iQE z_?E~܅QV¯ a=5jz8OU3BUGvWܓWMs@J֦LBT\ibqn0q7ITCAͧqtGA}\4UAK44 1yJ X*Zkn0 w xGbMJ!pm`Ѻ_h8Mj2 K4/@z 0-8Q(c.[ܸ4ɤGb?wmfG[~i/"cgbx"+let=ux 9ٟ<5V"[ `(Co" yČ(ƞ|ZFd}C8EjDgJ $؍%NFSI5FV|z'H{Խ>T$!9B@ARN O_J*S(yYOɼ'D| J]D%U2sel׉1u6b/ι& | o&Q&,`euy0IM%&u2cd^>)_C:6vI:a9YBL>v>E[@5hQmRe$QUQv:mNg*>,9§19™eX5ԍ ͟QJ. W_vFLFu*YeIOOϾ^q"vwjl3N4ws)3Hh(х3p) KtP CS!G&;@WYg6$lϹ(b6kQ8ԃKZEgi18fvRCh`sC5mA3{5Ј?eVդ#l;]i4A!F˼V½'MFysV9γ.4 5Oy/7CttO17f.+ :y?o6^k2h,~`&fRz_v\(+`Mc uiO">W*lB[B2;Z)1:9˝c8JKb=\VZ}=G&8l#/>9/QHnRW[JzNâ% s|$>bWx*ѐeDi?L0x+PXU߫.ܻ7=c}h8MXUCjl89sW35%.=15@Ŝ7Ekm?zkJU\oGh7,5ـGWYӅ5=&}"\i˗uV/Wш",>NGu`]bVRg 2g&Pi_ ¾JS 2E¨YeN_\]@RJȽqݮ|4K7wSYh=fށ"Ȁ#^a'"PAGƁ~o3+ @`եt['}BC\.n|/Y( r͚a7_mK.6q]Oa/jKbҟGsTZG05CC1NMIt:bhNEW.+:XAWMrL.~;>4,#o BNsHu Vz؇w[V04ǽl4"'f)^f=_ifhQ D/~+id\YR W]Gu>Xxޗ-UvkjRwC0e[ R΅ ks~y_ckU)2]e;(&O]l`JӬqLlwp0֌LX4!jܬV%hW`EyPg-*ԭ%k2x`wL{9}kq|بTsy[0a]v#م&Ij wL\SΞ t UtsޱBܺ |S(oh?Y ޙMhɻ"=/62hEgb36+;F^Vci6j{-U[.ym&Y+r5}[vʌ 59ơB1| dΥK5+N`ͼg,g{5Aʊ+ewd9tخAPPƌ=- [S|%O A]Ȭ辑p/ج.:v?ˇ\<"[R:~sHNN$!klQ Xt@7W)Er ´ YE;7ët*`L]f6+fP)q7n;Y5sH{gr Jq>4Hy>{IGcc5(5l..&`Z[$#&wQD {/cg-K db: 7ĂMPldm_ j߲V]ir5@hu1 i8`1Z4Y:RKOZ}(J Fd~1^)5zO,g_&΁!HY$7:YXEL Gyj 쵈NMjT0!TE2kD߻ _]D.`L(Ӱ[n3(Y 38QjӀ# Dۄ Jƨ>x?gp}"{1';P?Kg;y c[=lȝ,Oφ-嚿?{? 1Ìj<S+ܕ,s$ Nׯ(a'Dq̂Z>-,C$1 M@+G rӡ79y M_6Vr,up*z7Or-y>C0 qgmEdO*tƗ[!"I}LV= {eM%U4.=;SD80$cӘpTryM@M.\LERoh9f٪D;C Q 0nĩ4x3]N˖"dZ;wlRZDjDe\{Zr T s鬒mQ8PL]#P۾$_Tfݭcae 1r47iqw-Yy / πE`*)i+|pTd{>fhbpdwKΐЫcw|ӥ$a10E㼯=;%'M)z^zek8l40tsG!`8oE,!aXi/4XZ^/[ŒW#χCI 2z )?ii.לաKB&(,̼b{`q?}+&ﯚ7D^]o!2SOHKz#QЫHEwwtnt}x>9xS@ ~c}䈈32XgaIcdBơ,2F&i=|'# IP#P2}qZz"#Pu?vIf/KsnkQD];S;/ l.6,# !5ϊj0qS~3y~ x QaV-&*>hD{j I20)Dtz3 Wm{ m]%&#r Uzvpk3J̄j c̚lΊZ@~Hm@{qĞ#3f3{KxbH1'޶cdern㽨1,OA<;E&~]Ʃ{IQ#(GQiǾ#YMsh -b.6#17(K}$6? 0#wǯ[u q%Au.q`&Ğg+:Ec1yBA(ʀP-T/W1:ȥ@KRFVe#d3dH]Lո ג |y=l?/+z|*@ɵeZſtϻik}CٜeKnfPݐl9ݍNBCQ@:x;&CSBu%=c%>q!W$(vhe C+h;9F|l Y"YˉiOQuCic?j>AUe4a8: ^ R8A0D?m`]|0^[mk'\'~S`4X׈D8`fS$ap(O AI} /F9̇F }U"ͿUT9[h'udS~H8"οW@XuNy"sT.A3RF*##64sN>wcS;2y_iLJͮT-NiI ? U-J$vU=щúyjE=Fz+4G?SPx3Έii)@ tߔ@9FoPF;ze/?Y6XL z9l}]5熧jŷdZVy<P2"gҀoie|nt)qY40An 0(93+rPW[d̴5`a[?x GiOu4 \?xvc gQBS./7PFvݹE42. u/ͅHSeNf1˝IV0%8\eMR-)H*6|ۉ {fW6TEj>Ase1Ԏk{45$ hiFb!l?:'>"၀٧+mt:r2#Kzf@vg4d_AЙ]|q\@mDo СC>CkZU [f_vsx*&LH\DPiog6H^'f+-Km,D`%82T1snH#id"s6v.mMs,Zp4!N-he6;Qrpq J,ca? WؙGy}ova7ƷGՃVe#L/<3>32-SY5C/-AInOYsx Q9T&&C %kJnfadsnL8ҷ 03sJAa_ʰn̽Z=vv( NpxFߴbhuE%ݾ`>ig-tUoKRòksߺ^Dܺ2_pYSF₷{~6| KG7cNDob1>S&W<5x!C&wV.Bǧi8L..\EBQ8LXV~Cl+ձ _,~g2]&;gyEpdd-Oӭ"RLatGpxBm$gb9褋Rc@ݞ闎wk}Y<|V_?E%1]$ bO8bGأZH VeRsx]'ɋ9!=E|E%8Iqʠ+v8 _p +᳗*MF_Oy,/pG H\H']rhϞ_<+K u-D؆Wp(NT/zgO9(^a0Ko*Q+pA\ rnsՎPU}Sd2<ہ!H뤕z >? BH pHsu''a0eŒB@\Q[s%H8ڡ|kH{κoYu괲&mg_\8#$7L=.PEd˘I:(Tj5{2(oxV_\+&CaoH pä4زS:*N"`k~6;S! Ɨ 8y~pXpIR.9,v찞~OY7Ɗ4tsVdG̝|&ID&C01'v k\Z !0ݤ8nG8.DR@301t }-7j P<$a[HR,؃ Ρξ vȫ|T9 ۲R]Gfpƥ?wWHqW=G i.V4L?4 [1pCųFܿ P/||@FueGl2k@NjNh!樮E'^""Z]M"GPLE9-)R =DkxҲa_O0V&O~ ۖ3lwCx@CWfjԕ-jA嶳ȓOxǀR!BTBTM|LG@@1*SMy1cXYvNk C]LNICvrH<2DװDؘFڜwx-Lj,rA##ɐ{ۆeXw0&co( *TE*Yi3`]~0@O8ӻToO)3i>&Y/y`BKJcZ76%Roui7ufbQM 0 }W۲ nz ~,[sςhA7qhNdA3~Ĕa,_/IU0vQrfP˩qT9Ɓ~~ZjJ(D3iOjUCy9Yh',m"fyI1(\Ba]ipűP(qw$i)3" G?G nuys[`Aye0sEvfOo1oVRlj@E[Vп)4>RGAk]*U%a dapKPFl9dLbPڹǛlE$yԺR["/',*Ҍ"ά 0kنp>+n0LnH/}c}HmПsnr`-s fj]/ ,7A$u 'b_٘o9FR;r/%az(ʊ0l@ipHy+S|_ܡ^C :ˣ UJ@ K.<:qQsFWy>TEf9*{ κDF྾$vև346}~MЂ}2Jn(*tlu㈇9gNǟU-ȼ4Zϝ'}?@65lOi7NwE#ȰaB rCYqMf ZTj"a ָR>aTZT:bb\9'JG@DH6ՆaׁtSDo kdJCLGf[2x[ {C'6\R\ Nsnc{V.hS?Y(4/8ǽ*n|j4G!Mbnj|;NOexJݖF@:e+9gUA5“#.g2~,NΉs3\- D:֐Ks!>-7L%y-̫)țHZ i v/ĝĵAn&jE\e!U/pl--JxU'U+Pud#72h8<6܌zK}`RS*6! j)~%+UΝn2:-3<&,E.o&B{ 8wu0+2N&W Lʑ콪 +Kl-(P[!gKF |՗N Nߞ:´6qHHlN4XPS߷'t=**΀wo[ hok/@ˍǩ8l `QiȢ41S?I U~2G3Mc@0fVqif K%gl(WK"ũS̵0 qI~[: H8ωcq;wA\wCC-ȫ'ĕh}En }=&c>-^}(Lr\\/J"/5P:@|S3X)阮ʯfsc._x9Y9k D\i/8Ol9յ亡Sw0LJ&f!xb1b2Q@b*!\'uٶxsK i᯼7aAe3OŗOdu#5gCfwH겑A?6^R<;SuQYm''<Þ|{ހ uޫJaJޗI&VdD]BDBD"׏ULA֨TwQ^yH!~y$JkvQqzzu cq9)r>y0;0F.Υb+vz6>[?2D#(S}2m([Xr۝Ok.2+$-=GcHaڧİtBX09ivEW;>qYn k{a_?ltVu yOi\n@[KQdэtJ.J~ΧtȖYqIg1=N$6I8? Hyx Ob۪uV bh;x=FsG0ƽDN&8K?˔so ~imP.թrF{Hk5FtE٢P Kɰ{wO$/v8qQ4H$I%A):P}M/S:~BT钫`wLBu<կ5 >KǶׇQMsҬU}0^CME,)/Z첃܅-ي SZT'{.]q;_L_(>p\]9)% ŸAu>zrt=,.+Պ~l l lN%W$L=̋w?B_+M?3$fqn*cmuom53ڊ %^b0gE/^@G>o˖$H`)#t1M CZ4@ d[$h]Gck,caiI'P D-@Zʃ2~r `ayf;r(yk` QI{vt luk2V.7z5T׶/wHiu)PkaIbJ5oܮ,Gt|CpbVsLA͒bp0A {%qrZ(  HO ^lXn@-L}K5lٺ=nBŬgn)܀ˆ[hV,h̭U<U࿾uia%Wk7@7UGJ /4o0$Gly'?j]BtZlwcq}rPm+ZH5%>Y;m*s^g D 7T(v}Uiĝ&e2vDzy.#Buۛ| 6JOV8!X+)&IA='iݲ:C #^hR]M+]^Z EΣ];z,sCxܽa"BQwp !GJ\#i:fVe< Ty8$.4 {G' 5-k e@Z%_Fo I)yYim3C߰q{UԻӌ)Imf]tHω)#;to=%J[v{\|N t/Z3S=Ręc7mcZ.^Di9=,˚zثQYDV4Kt5`b(V!n~T;k-vc86Tw:ADTp `$#ʒf'߼ ˯\YB}MqD7=^ptEv6I&t6(?(7"\ADڑ,H5O !"4uj ͹<<6R~9{q|%-^KL{-uĭr)+Esi("/h}d0<8~P5RuZ{J1p `Ϊ>1)k7(+[t]`4UFau@#;Pdw`Qgy&Ϡ;Τi#Oۘb*7=^'[KIDeU )>.+Xkl{rV ʽ?{&ϭƌеY` u ЧƏwl4w&2a/᱋xK!H'f&TЬ,`@6l$>-`@cZ i{@j%嚡x"Z!@%_.Q8 Zk<L\G*f&awZ)]gdi$v⾞^?G|--)KdO*c48!+ .Z!m8кgU2"#5?fѢCA"i.1'3%'`"KT$6|mW-0|݄Ew.6/﵃Oڷnm R @*8{`MrIh!98(c*7-% uR|jYI?(QmHwϋdOK}7 vn&aM޼;U/Dm~X tO=ʿmbD7@2AOrN~pJƖ̘C !@(owC!{2 z̑t끇]m)y`Z,dʝ26[@5aml z7˙/Mk$/I@~_֯W=LsAGf5݁F21DPqIh:wWV4hwy>'> Tၡ,n hL \2Z)=Z/&+[75 'kP ug5{^w0j csˆU`X t5b-!*dQocCVA_8@F,.A[cjInVûKEyN=?_ЯSF&pߪV,Fxc%+P} 1%<.M\fVnJPQ8\Ζw3\NAoV,K't.ϱ{<%c 1.a)NMl[ڢmYwMaSZ -wkg{NdiĬ7 y d_1?0Q cX xDUqڻ ;^#ĤQ ͟0Pbs+?r1.+6tė;QJ'cI]x^\H17J<4^k7_2sa HniC CJ\ Np~zA}ڳў})TM>wƕ+v8)W?>T͋T~*ZŰ~i$!Jb5Ql 6|e~YHZ_+ o= hx7lB?Fm#Q9 V#Mr"cB'S&@q7xKd"x0*{R ?}NKχxflQa1'gNE;d'jt"ix˘$&МD?K[Lp{',=Y)6h8>U `b8]SOS>aS%uX؅5N"o|D,܋NOК͕7.+hc@ן;+êOc!DɼJR>v{3Ae&~no7)CDi{]c;W:t0+Ҕ!_5F@̬Q.8'*Pm '2"OP$ʳ9CU@lq isS|zND&/t(fOP>ˮl"[t? <ܨ! oB`Wl`l2P4ML_OoW΁uɟrݸZsrAKEH_8l~FAB5S++lh(-Qu(u{ܸ٣՜DND2"HF܂B+束\⤐^.w\ Af N#& [/wɭo'M ,Ä|hCC<<^!oXx *K^C(ZߔUmtpzh?oD3I%/k +j!J4Y@K{GF` gSt_Iz/B>## 0h4ꙭ!CӞt$FwQ 2%:e!TE3~f!|hKtJq¾߿DAH;AdόֹݳO g;lZ ks֠ϣ v_hE7{ BTa&%rhKTu3lEW/aJa, H@\ g:X߿ 5e?46(!ky 6+YHf]CLw"31N4s;sA#-:&-`w@jh M:2!/wL|=(ƫJD2&t"5u5U`Pxr_$0lӟeۀ `g@٫$ڗHFWӏ2DaQ61E6Gr Ў[i`a]vkDS4ԻZ >e Ԩֺ*o٤TֳI%, !a i iJ5Jc}bh<9XW!pCF:I,+..z؃w lf'K+}iڊЬUw MJs]j(;SxUpqg>JktSNMŸDb' 6#[^`JH $}_ "ٓ{3GݓD%#K9dn&fաX52CV9>BQw^ej9U (偗 !ȖY Tzz8@5-βX$:,Ŕ r\E4nX;Vt- GxǦ"E}YAD{$b k1(fH ⦓I7F˫uTFg셜w[1u)Pfl (\ h|6Ppk]]P]#OW߁" Vğ8CQmq>*B P.P H|l?Y}lCK `{`f<=e"Sxv;Nh"x1}LrSa57FxX@ )"UG CSWYQ a !}eΝJy }{㭅*m t7`:Pj ɕP|uP 2džә׀ųFy*lZoe8"Vڿ9kh\wƣY{ත~+AAY @@Lp2BboW\Q[;? l y  v2VoG`}DеR/Bh f=3_}w7"vu]!/3sAٗ}k Wʎ1Gm]p{:w)^iB8s!å-p0 أ ' }pKhPIPrtL8j[dG$Up%^vÄkđWGRXD@rt61r}vLS@3 jT67'J[qS%.Yw5 FQ"Z 2Q!g $sN~,Ԩ}8ҹN }$7 YI!NE1i:Ro TNHgϋwy1w]a)Ձeuz#촄r.69gCCmn՛SEV(]E(p?z ڣ[_r.Jydֳr %r;Yx_ ]K5/A QpHZ%.R:UP>+)tCK@F.8>mٔq]U4bCCSvC_:e?l[}P9ݚ`!֪- ?X6YYVNu߻0.qo W0ku0Dy< ]&O&,ل [3"3~#J*5|z,|,>nv9bܮ, ;"FJW |ߒfr7;v,<,Q{.ʾ(5d AK2p}W-5.ɗ?}$ 5/ Ѷʊ0wUԒͩܭ L`)Ecmf6`C[KgBC$_[3Gj"dԥ"}Aj̋}",eba|f);d2f}fDPC,6g )9+ٶA:a\q&?$Ͻmրii+sOu!|4[|Eb]lfhѿ"X@W}Jr6W.\x_DfH"m\qLJ$ [ɣK* R&+ _ۗE3(I~+8)|@jdiLZ&L9V]%ɹ\Nt,_P\y58Wzi)B.iGlq(Ьd.&8 ${sTL}86̐Rx |By eFʷ7|VTK<'*kvo2 uۯh^]U j3}߼?3ˊѿ.6qց`aɕ_K 5yэw. ؠ ƬqB0!*auzWpTs"*Vrc+a\06% 7Q΃o^Ӑ%~ԺB&i^W7_"ZP?6G:v%>h=P+<:,)0#R^a$%xP-IqFS 5u'S Doi\u17~K_pˉ<<z&tNud84>dc0F2 <]5ubϽ 77 ҡ$*F\`:Dgn(/ie=imVfgS/YԤ8uZ]bH @5Wfr'\4bx`S/rߌ?etzu$W9P0jvgp9I&i(,nPհ@cC@ۺ3& '#v[0/J 12bSf;Wfy]Lz 7lJÑj;.?Ȍ3DX1UeccP Ё_q(qx(A{K+ʅP9[.+"УYNyH'Фh|4a(Ϭqy#?<ЌT=YǗ.P85mLSϺBԕepn m~C}4gc Idr4ӄ;} 0ܤJ`~E?{aO⠳Ů|EBϞ>cĔu7I> R7 xf_ظk,csN"F%1[n.Q=M/;,%~θ9iF +2i[>tU%c,޷JBT8Pm>'pPlc,km:n7&2QܭLhRѫq}&G lЇ՘d[joD J/!^R@ap_DZ3m8|B+A+XY3 3M#h*lnAAGK?ھqٺy N][+{MQߢ%Q{.: Q-+'p8Nw=D>OhPM_y:?R@t@@#<ΒdN" X\%WB!Z%#DDcDs I,t%;0D3okT ;Pqa{Т,0aȁlŒ=Ԍ])5w@a}=4bQ@IjR{2 E7cJrv>Cy VNvw'zMcg֪ _tG~D([Mgxg* ^WvwŶ)O??'"9@Ƣ]2-RHoS{fffyXqWTB0YHx%_rͅ"$:5;zg :^4Ac_`:Қ]"eKI,O*gzS;/7\ <Ƌ(L2{ 5 _;M8^"BOjM'#Aj*B!4׶:S(!=Gl6RP:^{U]bj[üuq@_RD`*"ȻG ;:YnqSU%6O$p w<<ޕ {hD'lipJYVN0  a06{$M{|g. zϸ, `it~j,~S=8w۪nne:S"ɏzn{m=aQWh8]R*YqRyY_O4+.9N@%E:44Kt9LN.p;u[D̻eMXZX=ZkjxPu"`e+k(ÉaА+^]VH4'y|aÕa0ŎR(5(;+a|ɨuц+eK;MJhrXIrΠPxE˲OeF굻grW vg>U*i{" IJSȨRWmA HN"4?`v:`4z#?i$f}PG.7 Y0,!E\Pdq|PD5vF_ o^Fǝ]+h*hp0WVO)uyΰC+Yn}cG53:j(C{2ˁbӍnG*"'`CŎe cdD@  V9,lr8SAwxΌqg)p$ɄL{ BӪ)lXN/"2M4DE;Ji84`9z% <:Z\)*Z<^l}>Aedt^]Kd&F32DNǁ=}0g<H\V@ĥ*, }N^az>ǦM  D6/k+]WXib" P1O"p蟸2yG~uN 9iVeo/Qkd ([(4rimV_Pmj3Z7 Pyb@|i9ErýfTaGԣZs#eh% jK1)RxbQx$S?UN  ^ؾϺ~y;ZD4سϭ'nAcpYC_b!'@ŸS JCD{%e]n y;O" l1'b_GQаJƯj* Y]AI>;ujE8Kt4JH AEk"#U颼cB+w%wm xRnm Xp]yݥ%`_89kq_;˪Z{~$[$J/\-糡 \єs[#~\˕3ht[ǟD|jGWAfTG\ˀR`# 9BP<c/{j,sJ.9;oğ Yv'kY~rS „ZRm\DvW7.rB4){F߮<6FkfipɃ6h.} '5XOqMzexpR& j#FGzC=1DԵ{puDXfXTR3.RZ;cItQddr3I’#nv#i"ѿ A*/c&J6ocP7e_SC7 ?_~K D;$!`? {ǒ/3# ˃QBʟa aɝjeֵd(0VȤ.(x[Qti CpP΂U5)yT2S~w tͱlYTLňiB A" } ۰S9s5c\VX#RMպ=G=b,En ͶZ H+ y ԇ'c,[M:QfdY}'3 }= E[a_4!?C| f&4xkЌy4&ĺ 9\Oo,, +JX3%\}:+XpHiJfJ*.B<%txʚ"RqދF_ܵY6Xt˼/`0E8b X.yWUR]?2'&SCy@GUmieG܂g*ː%Bl4 𰎂#`@#6MRARS;a>̡Ș$X]V52^C!")ʒeq*!b&jzc>JF$KYNA 0m 3>p$yګK⹫{İ;bu&녺@OˑOӔ O8Kvc҃gt6n_m("tߝ*h) ?]\V7LHmJ²VmKdpG_訿ZQz4chy( fҵ)SR)8q;t}-d *itqȅU={0 ֏AHwcVJ[ȰFA<ԵQQϤy9c4B7z BF3 O-H&xrh*FA]읝?aڷu4)'7'.!I~VRvLȟ^}q)FB۲S-i͘K%Oqt=cy3;jb~0-}Td9d֮VZ|uXKTٴ(ɬte&;B.Z\Ccf('J C|%&3v%^PQ.ߝeO :Ӊt%b>R VҲ{Fot֭wc#F0Mr nL SRQsя1竻l,6BۯȬP_# V&]% ;rّߖ.v[R 3I hvIK4DF^Ds|۸r6aĂƄDXPxMbC/?6}@{0L khKU2R{8uon;9p0+.cیL ^U|N v$FE ~E`~{Ckg3" 4 `!B!׿ҬȒbC@FB-*u.8GWrJ+A$VQ·y.G! fR[Dq6,?Eˍ+ް@hڡGWؠyNQ NOomh\0{G2^ޡ]lD1q)'1x}jcTݣq"ׇlrA<_WDÝj>H- WZәOifbd ~(O3AK}v<e(~4\M0=>|m.. ڣG{>[Den+2FINa|ȟS+!z%x걅&`Q}*gJ_Jd} E>˽Kvw%\nD1@ؽ b0@n﬽mQRkzt0\(nG,uT;nǑWSp$mV?ej6{,";M5 B is%?ʶ_dN_.8Eި0q~Yo;V+X1nV]T zQNVb Fu"Ke OSꑢxSH:! }Q}Lu'0tu?9($u}OnEȻd]ZhR(y!imL2v{6#DgQƫEhD65|*ҷB6*tY@X⽮@?p ͇&Kh9?$*zFy/29H"+:;{K /à:V3ySB_k/:[d}#: ( UkA-:ɛʹ~/2^,f[?kJWuЪQM/\`!o}G&n 2hCO'Oa@-nTnRD( E=d+Ex] &ҌnRhFz5?Ѥߗ]KEHt]so}Aw3\4ŽbI|%#l[YS 6Roފ`G!71tې@j-WNN]f߅p ᙐu]S:ڗx=}V^I+VM6X&Lp 72*2EUVӞEsA Ƌґ#0^tB(ؾ sdհ%M9o1 E'vkNGu~ONЛT24cLM5SZkYs/% Ey"~gbG3nj<9o=&%, RD0oD6Y,1Ym"r!O?f wX@qJu~WB^TC*=~8B@GA"hg[?BϓOQx0^v4ma8 R_S=P},,*]1Ѵdn'b: gdVZ ŎnDKdɿ'zj\5p&=RsstXkDtxO[?Qt!;W4D~%VWc픶D1`(| mT>t࿠1QdZ :̲qOp/[`t:n[/r (a#CDK'1BOE{kq?c(,ϲʕ` g@DAz_Ș6YS59cIKY5=SW(Ȑh<; Y7-s5NJBX%ذl10azZ=2ON9J01\\wGӍ8EQ?جZ1gA39T^Cd' ؞"&^"8̌fQw Cz@EŖsBL̚=yNի͓[1[ Tmd".;e0r cPw}CE>hOT={3İ@zY;`H3u;?uJ)S͕9T'7=+$7abibX ȉ4Ÿ#Y;t(6ôkgƊ̐-qpz ,ihsva % k:xvXkv3;VsUCbGiIlS-ͣ`)1BC8 N1*josLK1k}0BP2 )Nv`ϋf.]VP FO!‡g .a>S9lߝbd-.QyOڧv :ٷpEY/&Z `A";f9Dk: z:4SjWV_ߞ"EF.M~&^e)H`!Pi5",@. DNgG3ڢO(ۻ?s3UmDhJuJhF,^;yRіz\ziҰf)3笣RH."tbNÚ"Ut2xW2#x7k x|/wr)Fis(uy׵:hOkeus@>=[7 UgYZ55020d88905d13204f09103d96fc464a11ee351384c5f150ebc72cf821b3b4678a9a616134620443a15231ae83b2b09db3986452ef876c7be48bebdd