SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 1tll ] HOL-Metis_Examples:threads=6elapsed=16.026cpu=65.608gc=7.4647zXZִF! ؤ]ŗXiɟd)&]hS.J}+%$G㷈ﻥ8|.4Xh(;WD4d6Xu+^qܦzhjGB{!|\vp>D_ H&tp 3VKB#1 >}o{XTO!9S}O*|+xz`:*\}"'p8Yue$e^#P8"=j"f ނؑT@%.58ȟ !MH?0r(*6kT̚7"?cs'߮ŽD 7Yf4|*TNY_j 1 HOL-Metis_Examples  hZ$sm0 ]n'ՠc *7ޭ? x;Cխtݗ%age g`WK[>Lu*I͠w -@'JۢJzs<ȯF]QS,SxFc;NR ">+Gaiyձ~2m.inƳ8{fFP3<*v(Hz}Cu64H{!%|Vnxr^V G^K>s@6/eVQ,bKk(`fpU_7`_hP Hhck_9m"ldzkTKk>MhAnd c2^#[3XUy5} DDR5]!G;= .xj vsT |)5,F; yǘJh"k1*r,4ίp#ҢsA,QM$l-Lm:.'Ih=I)V=8~HiCK'`JcC}p><,^lt/,+ݬsZ./ Y\ߊV,JGx-^P4+@tȹL)E%{hC򰗽14xg)H2!7ˣ'{ *dbY8IW vn7#à0#sG%xCV7XNa,MVQ4g^+U)سDzIR}g'5:!!aVdžE+[uE UӛW&"[q+3ޓ&[N>-Vn{̄#MQ0H2Z.՞[7y/azԲBd OIZW[^{pZ7%Q+ȒdtX%s<>r/[3k{bk[y1lz؍ߊjяd?WM =Te)U\R|Dc6ӹ~^4|/m-+.`O ٩g쉈IH, t-ԋ` i"̇ \ _0ahd_lrˀ(xէNbL}@ ѬHd_jk'tB4]VrSLT)j^|C]ml+iUPSC{T,BكYEJ|t=Zfy:>#9!oo`9j( ** SL}w"T"Mtӻ|zK/hE-k<spUtoo`JTr\{͸F 28ccW(Բ@?L_ͣP^{iڏΊ4k)CDfB{{!al) Ksv6 |8{6&-9='_<.*wTMMJ픘i{Lw)gʅ? b,*9gB8CJ"K֤H'n5?ߗiu'߼l}\3/,!ǰ8~>hL:5GcKU֥hnK<&7zj7;nOSWRϩW+O1YicxbٯrݴQo.*l ʅŘ ۛ/_zutmHFjz2;ԧD B8;{ri99mJ7-I+n75VlyQ?MyYOrk\KVHbTsr6;Z Y^շ$_As 1_Z)J4:Dd^M,|TQ@]j^XZ>뽁;~ex2ȘphiP݌2Aۺ_Q@َQM铴?Z^efm\Y&4+U< UI-gpj9CJy8-󞇳S!@ 7u!rh/X Q %@Uͨ[_r,bVˢ,b.-s#LJWɋ#;FG)[ lJµ@`QRSho` t3ٻl$,u1{=r\.@Tk2i1`S3ȫkPƸ<2=]ܺZoYx3I†Ex"lFTbDYCDVr'ԯxS E8$ M _YzZρ˫E]I(=&:eiK)`^.sg"&ূ6]{;c]h#]6cSpT'7XIGDFaƼq`Utu *ڞQ>1/AN` Dn!3:lԛ "\$*,@z{%w= C_:U JK[:l8 : +|\F{-ZcAݖ2f6^9Ŭ3^>"ZA,` nwn_nɷwؕC|R^m'{7Yͣ9~B+AE'D7jKDg$Fx߱.smG[%hc8Ӝ̥*uI@RfEʋ4gZ$yݦ.ªЃr_GmOϪo;%F*=N+\ wɾ%6[_8?jU&t-"1LQ7}2o} jV:Ss8NŖ+3ᱼlç`n\Q_UjL^V4==) ?ae rV=-MGl`:HreR#|@9#ׁ#~ Hzf"5LjfrP qY? DZޫ_zQtPk15+t&ٌ! KFd֟bJ67WIJS1~&$~k|So.iGk4nj\4!1+vPw+WW:R^koR 1gKڍVUkڜ'S 5rUY G'ILzNკHY{|W,=X?,;!XX_iy2+}ۨ|ۇ 6L3]>~J/9$n R\嘺3:ь.Ǐ3|m,v5Po=~wuFzŸ~I8rAF=D͛e`Pjk[Uu(4Ya̙J ʠR/[Dѳ&k GX0\Edq6W ^dC~qWqզ**fw073jwĿ,OBMR: nue2a͚614U뭖戤Jd\*aՙIU=uϪ9/,SР7Y1" ǵtfۭ(K(P϶]wȜY,tTN k}lI%!s[?)}$# lg]Qc!u6">D;*ZU9N#|FƊK*tBZ6= xAK{iASᛁ$@:0#ו2{g\Ub]榖# d Tg_Teyo0I ;zN]=89 )L[V@0%3=x] 'a:C# {7?>6՚(bM(L_Ǵ.%8K! 8:g8K~5`۳\2v߁5q*,V^^Qo[LhØ? κVAfG̏ճQbq{]fYK%%w ._2V WהspD:ŸpB:SVn+\uTSn[ "DhyY b<1yt'DHtq-zVvenVSWq0*gG0X# ۽NTlR5MTC ],3ūr@'?O9p.'es L:>URT] {$f)OyסS",.4&gJm , S{x elqr($m( I"*} Sn?}#=@_6ĥe$wq+p td!^4oMGw<ۘN"(PI8uo];3̞i& H\?ȓB|RGpgi %XoHST6_F/K(q=$N-$n_ȔZaAzW_ݺ7hPίYWO`,nh+[ UbME=bC3?>sЙ#PV >8 =mЅȧP]!C#пZJlO@ԭ`p73;ՅěJK2f2ų_z4PUgJTz];?wReM_XW6檘! T U@쥯ǒ!Œwa4\'E}̖(22ȶpԃU4$]y?$c ,N;DK}I&3roFW\_aQE j Tc|FQӊpXHrBen5N fU4&9T7{\g>>#с2@0*>b{o?<ȩZhND1p$%j)ԟQ}wsPÞ=HxK]1d>RD#:[9@UN`ԶBW =I~ av =ON(wï7)C08]$\j 6wx٩ѧ}n/b1m 8k5"UD˙5M(% !*L rYaŸdPOmQT˪Tv*UofX[mL',AM}qb͕iq&`39-U6Gj8.򂂯ڴDNi%K0I[ 6 ^ń?ǹ@d1!vQEPpXDUwD=,*S^RkRҲVϥjopѠNIhyM>^ gl;u^M+R`Ff음`FgUk:Zs3r( kFd)ڢ4%PC g**'{G➦>0h.aqeKZi/;=asPnXPܼ ZX˿Bn Աx$ n5Jܛ<|oG*W]KZN)f&f6BY3I-ڹw Ϥ)D}RJZl{5@YrʢZ<%*qie DٞcسYvR2h9R8/؄TQ5Z# 9Nl?O@txͪ/ ?&>\2A$n40 v<{0#UK80nAR@U/8dӨ\";)oTi)#oʷoa<"ҸP2gR3F`:ҹ)7 vpMPyjgұRqEnȩ!H茾ɃvhELR]_j Gt!9LK,5@.W[[~W5)=}Mx/ҦcjQ:^U#yR2V]+ ${FFckt55]$gحrX/i4՟csP7B[͙7Wյ؆(YC&,{PjP[p}wZ`j`U>1YPu:PQut*8qýiBۂ0lT\|k~ozL$7P:$atI~32oL`'~J2fR9Smbcl|߮B1?^5O7z@tyM4kv|I°A%stTUEOϹRy!O-voQ~dQR* /7v170BT?5 *nl#;{of.r0f/%+3^;"'ŕP zaOmZ`Z{$5l( r"ΤԞE 3mS\f[=s:(Op@jK~"*W61L seCojbt9=u"8+RE@ie`SK^[8ĥ}jXJ)1'  +]6VdT~5z>H0p3 w%9nXO0*˓2)I]vbޱǣ%Hm4vmɍ\h֓)}%(w4b𔏎s1@׫rTs/-6p}w*ϖxMH)Xn5xشc*6U}d{7ƌz 쥬@Kf=&3Q)ޝ'8Vu9:`\~aJ " - S#Hs6*A,t6V( 滲zEEy0Rr׊&~aVEW! :)3}Βb/-1H[c-wdWѠR/$C'<) 6PlPz;csfØй]B:h8,Qqqp4Pg',Es[=^B _"=#rl]?~a9ߪn~49[iޔ6I4| c%zqT/^69dNn$,߅ q-g}u W=*=4@#뿔0*~?h_d [#D< <o(/);no ;Koe4=DZMT#Xq}yk uZr/EOQ"*=pOsSuT>@9]?@/$np2⇴UŚ@zcǔ%[H2m!1[zA>fs(]iB(WZr*za$*a͸7X12mk#]d;CjmJ8gzW˦O ^K={zR|2OK!Dfk[j)'1GI %,P\:6*|ռ7[T,E`!N[AUD2#x"aCU@Taᧇ*#uy-FI3Hzu.-_6ˢ9 Cq-p4԰ \߮cqT;&툺#SHؓƳ!Ҵw9;{)gl@"/A.L֦ H7-ZvszdGUꝻ}{ﭸs˚D]NlqX%MS}z$VɊh^(~1bs%`Ve)p5/ZJVugy6\zO \Y᰹Wh=,D_v(߮l@^A5tP9pqJ΄Ġ6 MkN GwL?~ڛ(FGBK%J*cK{{uL>Dɚ"@xA8`b=y"O-ΐvN>9|8Γ-0>s]Z=q3*d0=i,kcY|_B8,tͱsZ QX )8ﵺ*?I Oi_Y| O[p S+J~™,5ye7 ɷ#4)mcgғ&D쿠;Epţ)T7S g(]Rk B yMGޖ-5PhܑA&flw 㛜Ya7<#dXă?5 I?#2KxYkI 7b?&W1/`^υh(A}Lh dJS&~"Td#6H-M':bvOɢ6qsQ8} >I6ʇ<嶘Aebi Z`d޴K.Ô,np)gWEwHQ]b|;ToY;{BSB0?.OF>{{IAD5v#JIA{S T)Pga>c:]YhW?i+DQ+}C-_\D\7'omSԔaѻ5zY f,^,Q>Adu@)6~Ћ*Cj~“:'LTȩ 4ISIs*2^Ɣ@tLMFħRi8Ћ>jV/Gqrh#|Dn?r27b42vwHLs<0㑤nHc95R uA.@Xtϝ_NH3 l~klxH Hr`O +fC]>N@<ܤBQ#V#)+{ }zA〃2'|k!뗬 9ZbѽJBz*m :cyUĉ{,F9DCջ$%ZRsSN?(?J篼]l *?Ѷw?Kn-q¹)ؒT)0[;L4~_<$B$ :F`aJbˋO鯐4wKjx4bZMH]l[TLKYx1W/ɠs6 WK#5֥`)[нs[Rs"NzkABSom50Hc{TNi J=Tl, =& 9k'u돢፦Kk q9'k3_ Z7ĴIK@SIC#W؍ʯ-l6!˫4A?\]X$:DA5|F|&X8N-!n,S|}Ѫ[L/ x%Or\5_9*-. NG R 4`¾j(5Eykos:ʭ7e-}:z[2nOS.fi Nhߪ.jTЉ5Fi( YX! 83bAegB**/;SCrV'Q4Zf/>V)'ulkͤ<@3XԱRM6ܾʚeNtWHN#7-uΎ#2П%ƒ ir/3Hr׮ 3UG' rHJ7 pf܊v9AwCЮ Dj} ,a%/oQ4"Df%5@3'=2_s꧛!w(($4bG:q4yX4v?Jy9d@CۋWh)6FkoU #/KGg*P(I5"n]zaP_֡E+];LkIc=c&Z'8؃0I%[Ƀ.7:]UVkc<[T4x!%e ,[#sW.P5-vO#ν_xc4iW&^ҡiuEV#aJryhF>[zV$b_*LY Y.VbBPXGvhEΥvu&GŢƻjܙ7qReXmn*zo"Aa]:oŚ6*vzcN (KP?_O+}F*Uvr)X-t@bʉ& 'ls*x[V`*5~vsF+|d&Û !ܱҒiz%YMW8BWW„fv󗧍Mi&0Ի竄Ý#kK:1$lR$7E䥿.ԅxE*C!7W`Xf/" $b A4?lAX#S-NVƤVcq!eg"o=krZN1ڑs?z+zz{u}c/OHwS1t6?n޽9B>+el)>E*RME [tΖߟZ3S ǘ5D~KS׉FhɅ"uu.y=`5"RLP,n߃}s9}}p(Q8tRV7I\ HW(ck>xmѥҔRG¹ms=xa%؃=C1ȿZלb*eԉu(UVN{iI,G9+\xq"M\rϫ|$G/zthCv4Qy^{?O0)=VOk\pbʇhaZyVolf#3jbuM(Cc/[KTGNoTtuv7n 31k X ΣQLvmRcOK$-F&Z=@.T @+F4x6_1"-Q]3bHVU2mԔtU P0DhYBscA0~?P}%_W㟺Z 01g{^E[<1n3VzKrfb/$ۄ(dql71MX6 0 8rMSuA'bWwRby5UWMLd*-Nl4`4?w\hO7bR\JsL|5 xȃ (j>))'D|m^U5@}҃+HHbk% D^=t|{\8/6 A?`&Z&PDVpp-a$_܌G:Tcްk] _J}>El.ͤm"քMI0| 5> .~p{*V&#!@8wM#6ESن;|+pvU҂*r% ORxZm9i//l>/{A?hY l-o#lkG{-D%1.N2lE^eU䳚Rx':أ=ѤwZ_8d$/b&Mz>ZP*w65.MҌ(5NmWܷ.">j#-:tI7I 85甌}6V6"xdnBb..&1)$t|JG4ẝ7+ezAU=w .,Otq'& !R Jp~]2u6jMhڪK>z àQΓs?"/{"Ega{W6JN!Pٝp@PW:zn0'겕ɝ5oK~ mљroiG] [A/Ÿ5wMY-AH XL@GJG>_ܰWc edϚ}n Q\0./ A,[It(RK yO`ʚjVvL2G kk2nb(CഄQ_.8pmc~r6C'#x:k Sb-CFrav?W)|>ӕ5 Ts"MRF32k۱Q@͠ji\~ՑC!clNT#UE? {5lǼF;^7~W#+#7iܾ\vd aWRu~_nkY)&V%مwk4B'V=Zo^;s@tv N?PZhbG@e]*LeYmnI`jtN; ,n{ea!pKIO*}^'#Ya kս쬣h>כ ivZh\]'@?m޴2xڻ 'μ1sdj yBdꃲr~X/ mJ,ybSLdt9?6O;o/HskpKi@c54Lb*ʗ;9W;Eζ' j .`^|bnU5wO ̪1o~D$-DJUql*>J$v]%Ƈ^l~ g/ڊ[roi|߼y5E䇁vdozX$.k`E9@U=).%N_SHP*X̍x%wF!~]fݦF&/{n;=m,yOdřRoPpe Z\ռ/}J[:zhI5(PwՊID70dURfeT\mq? SW~s`EV<EG]~?r" {Jfnh\Gd&kq}Ge9#*ٝwakBŕ & Uq(GM,˨YGӔ*_Iw8 ?V͘%sC5Pq >-Yͅ7೬m4*Z#!7}h?7L(P̚fʁH͍p|-N,bm_ENY Vю(V~O(+S%}2Ю,^H:fhEHg bcV s~# ߸t–F?~vڠtw[[l!j7Dkج7+15 o}"QkD#o;(c@[J_:wg!(MR@%̾>QD󦯫! zld]$A+0(ZdiMDf&:`V 4 0刽 v>pC@)}sa V*iBª˷̀¾ 0F%t-ΐ06D oE`3b>.m8AU#B*nH!_9st_5T$"­HbSex/䀪ΩIt!82.OU̠m>v "PJSV]uYVD"J~!KTòzqXqċ7uV&4/@Gd>hp݊% rmË(s?gϣ >X~@BިsOۚ*׳ZӺԛ`wĔ='˄ _MVCpU'QFB޴}!J+j{ s|g='0i]Y Z4D% Tl28j/_ $ft I42aP 0;[{2_5]훿Dn TWATCڱ{R⛘|Pg.Tw*TXGY)͆^vk@6/PZSGG$ RDѺR=qOџ3+`ުhxY }1h셽<\> 8i.[%5Uv@ٳ>(D@j:Gz_-;ȋv6 ؞W ͯj| ,𝎴t۵'W UR;4y%G]s*{k83-J{?.15STJmrژJ8ߨO;m+aH/FWawCy-ȁ0فp=,F!#v]'5 Oٜ>HaFLso$A?Žf,EH H0+㉅ZAh3]U0l!ĊuB7Pv!ey~:ECmx4dCDQuukp+g5wU+'90Bh?Tkʴʜcp[(G?dWPE0#D~$t\<ﳧQ{1%IYLq⻚>kM4& zſ''lo詒U+6>8]p2ll Cxd+ ca놬O~TI-ZO1]-=#2‰+ {L7w\>3SIUVOkML' y\.6'AۍOxjsz1a *51y]mwVv] w7f<5]\? D}B)UNja^nvTT +fQ)\b1 &6wA5yM:.sZi> dbп:a77}Y>04ܬtM&yNŧb5Ռ:!d Otzq/>&~$({]`yw2 ԍm} eG*E 7^Z$(zK~ K! hp6{~↍Jl;O nD`kT],rT\bQԘ]_IiקϻoTed&' BԙI$﫴ZJv{E xi.&x;O: ` \ Wԩh ]ySLk츑Vi猪'5J#2vm(Iw "z}33}[Gzc ':Wx'/&e/bh* S>G{^ű  >pG!yf 6^S,HIDbTМ:#}ѦJbVlcvj 4Ђ=%*ƩYo8lTMF 40^=.Y}iO}mr]{E`ך>P_Uw=wlTVEϺ5 oeTh|T&f5A|C[ B%E_dh^ZlyvcL%WQ~G:;17཭Ai*3`0Z"hn{h:͈FHFͩ+#Xb sᏼ0.]8,td:^LSD9B-{lz/Y [a^hXxԦDfsU1=|`r%;(B6-rUBU\˅yy jhLˆL]X%ud8|Xy9-v/XA]+$@,ԝH[oh,;?B]Pl[vuDNOhP3cW-[]:cLܝB'6@)9`$Q7?\"}k̘ޡߌ*]Z}稦YY _k7u..:NT-e_WdU?m As#ݣ]wT<| :dbhp۩`4cYp~>K$U&ͬIS6T@ ' -ASX9 \M`?̚=523-T$S]2dpS˚RSs `fwϪ< P n nt"@}?"Gjiصz[){D9VkƅUKgtiR`ADٴ 1tDJ= nkNhBP +a|_)ٰHjPKLdS7ŒZsZ'4Kq3╊Hl J TچןL͔AQ+,BŴ-+ȍՌI^𸅅q:}2٩",V:Nw-?C2Ad#nԬϠyyf gR?/LVXEb9Xs(n/6T~p!4Ǭ%NPCb.E{D#dDeM\@ZJTyxD`~]z*EF_ݕe \\t#Q,ЩwD<4;>c93)4voDQ&ӊRkv/>cS\G8Yo wZ2`pGO1cf. Mu,9+W,AW*NEB7|_ bgI@&3iv0Cz$2\."9Fb;r sǁd>rj$9s~} ߢ3|QGf nz#gSk^0SKEMP@?'-Aڣ׉ T&G>uĈ(YGIl{֊}+hIH*NM# } S6vAk^aW~Wb]zF%O:n]_?7'ZQA|Bj>0/(*̀B0_Uhk>j.yNsRYK)BΥ(_1Riq|vZ㙤NHkDeoNo'n=es ?Hx3s7nG\fP,/OϠsSYKL(q6b-6Qo mTK4"FbLcI&/_=P~,9Tr)2xʽ`s魡 Q&ZSnaVi$;iIu3<6Nê$? VD_ *M-E@=:5QA6gAHr7ڷ[yVI1 :_7a,&&zx@h.c"@'y7H[gc\^G=#tmdJvR/C@8nJAпgTq~HiN m2X~p"zw`2NBZňH/Z(Q-7qƖ@xkܹ6 }$ЖYi S@A8pmP2³8tD;Q$30Q~p+S]#oȈC*6*tu-i+#~Fo=/u#iUz%06lO6*uyܜ6AȖMZ(-Qo_B$BFI@zI]1 XgU8cpVՎµXW[GpK NF205RG*1̀ Z;M-.^v5n"5)o~~ .R{&Nrd8!/ou-Ow滆e ~ \c2h`\ZbC@[Dewr\6+$p$Rq_\|XN.VZUd$HKJi@hĿ *9\2wœ&s%?/gc>6'O?ef ZU[!ZۗZ.j;JĹg}ڻlQ!Q$*Gxq>ٲ^bDm4mÓo;݈7MQ|dӨeiNwp+tXGTOc(`Dˆ)z$,I*];#g xɼ՞}.YH@fnLʋZЗN5Ɉ0Lb 2(Ʃ#(1OW"+NImϼ"ʓfl2fZf?Au>٦VOK:M[:Z1t ]Ɯ|Ru5눁H;ôy<\LȢa YMW *ExTG+5G#қ rx`,ݛN{7+=ژKwDp>< nQa.ʿE"BHDF ~ HJӅSY:N4.\i㡪ed\4vH1w?jQ NjU(6y2zA'idQfE?=rx(`#мt *U~oAS亢HD,ȓ5*oJnD&Wcɫꪂ i2qL5h QH-B ɒ ˆ}\Rgxx $ 1P_ J̷ t+GZ%gt"7k~7D^y%53U3- R@ Wo-vi)wut/@c*D UKֶxؼUx)ʖmCL(h,,g8 I>#{s42y v=HU< vw[BmtX1,J~^5E@&K~+8YÀSp=DnڈqUxr#1#L"c/FvHeMK9^ty2x:q3~ȇh_¡X~4K9j엖{ Fv [F0v=~Uw+O{ S@w}m5>|E'V'&tuVѴ\ŗ:şR}/+ ]{"01G4iE93uk~N%i>)KzO@'F]M幖]i&n?5 h}K]'tʾ5`<tkYL[U>o'atjYHeFCn7%D%:$Y E:I}{y4q;G-<^fdykG'7s0 {58ƒ'/c0]f|*Vw<r?CBS0gRV#nsj&P%i%Xy6@Y?PB"ZE{\ёs=eLQ %痜ϼe.D-> /[&1ڎ9Х'SI;CTCb Xv4TZYy2oz7[@֎NJ l3q%@Yk i^qJRcƺu]E[`{̶+=n!eoƕDͿ6Df*B)ӔVa ʭ,51P6áSsS[RPzYJ*wz[.S6A!iFz@WX`I>FH5Vq(ilx^]QR$4njHO܍X cMr2c".`jzL#d5l8 >hh4-J@wCi8ܑ~9D2toNTD#A`uhyN,*GH탈QӿO}!Ն. :kz 'ӘydbzXW4|yAZ0ygl[ ^%&8WEf &.~.-@%P0e]FY5Q HqĮiibd>b{Ue~V/zZe JiyccWȞO?sP|^(#5F w= u}/Gڑ#ZdΪ>5 z#Ik,BzHE%oGAQ.m&SdYQcNkBq:.OZlKֳ˒Zl H8h+dO"4΃@[h Cvro3!9]8ˇZߓ&o(MP)QO_`ݯUfQhKyo 1͔W(ݼê>^_Ti ?Bf%ET|-ሖ4hMP.SEQlWWr/W@̄G a̪AHL (?le׻;2et0(cLhM1O-8D܅؎דS"$IIFQ :L&V( iQ ,XOnTvҤ33jz{ 7%_f\~c%HP\皑f`J>8wv?3tr:Pa(\U /2=k{aY@1qF aٰ@0%eػJKψyE o'#$Kl11p$F\VviH h7 o:~0]Yl7oabm՘G6##RW'2<,_Auivcj@#h0/h(vNjdw:cd8UH)Ԁ.1.2QWX-ל9vF?\co2*Fnl.V+cSbTXZu2G}ǬH(C[qksViU^{W:Jhȯ9CZ1>A<9!oW)`R-$2ڋb 6'?yXk)I˾yy‘Y?iO)QW:~% Ozd|F%fP' RV 5yݨ9m-;Sr=5'Yɣ!it !ᙔԶ&VDzb Ŝ~5|;XfلTӖ6M:9DHHtE@ F6ȁ*`=_9V+PI-g\_/bxbn4nQZ{$%}Ql} &2ɀb\^kx'"8]s[[}=UG<4ݣ{u8u?GI7z䇆\eY+/1$I$\ gAL֙/rߚtd &մIʙGHl2N i ]3rv;n '0v|.QG2)X(>2D'dq8a nB\Z7:8&ߥmPJЋ y$kU蜭@Kڍh5!$x̉ J{LY1ߝs%w\gE9^PW&) ೐|eHlů! -/M\S{FZ(h fKFl)#i;{{moUDZl:^@3Z6ssf~AgyhJ  ytopMy~JBd# /DX3Oc-7 !_Hs =yw˭,?Bdj g"hHtGuϑ#å=ß䐸|+} 0ܖ'qoa{1q'tL%=ۈ2Eχśsîu@:UNGfi%DO,4&H9ϼpʤB[z/l;7u@_C-iEA-1jݺv"@R.;`2NF%gXRc]fV4Ap01/z"3*.9 Wޢ0Ĺ zњX|Vvl wV5~N%9D;Ms]O)i"eUs]ɹ* tߴkVh;<] ?g)DL$1 bfIrD|d1G˿^X;8ڋ kKYh益;(3^)6#(//Fkt 5xUc2Kqj8g.AEbǀWO"+ڃ0( :QnRb_>]:L? bmoρDJ=LY Edo=g(E2FӫO2&aɫ9 g.ynavkX.o 'Sx=^{"mPu@r)rO)#O"D c/d@iLSzucR| x]ά"RI p!fEGONoMn{ln(Sٖxk嵝QZ`a C@|%9ifq]}ؙ[dYw)K/8wa4ֱˈ 2 ܧOIEE-ȩP]SkOx:ZqEvLU""٧z&/8lL30lhKɳ!ku#O- ]Ϸg^cML:#U){<&%O* | ^U*AFv 632T&}׆,6^ 6NP'lC' P5qa3IaM< gT-g %FQ<0Vk}PR2'%$CG@q=x45U6ǮBɌNm>:!5Pm%C>ZRDޜñm=^ҾЗLugau󅋚%0pEƹAdi5Q{_{>&UV{Mg*_zsښl,\ȴ[Gn8(10 /r(N;\p8Idy (ܥ1KHpG3YE7&G aァKья:1ΔmU. z3kU{RwWỸS@?|l5QvHy\$^@#vM 3CL ,9H7 PQ! 9(J>І'X_40v55J&>|'M~u/Km%,ּA<|HQJcC&h-y!{,OoF(݆U@8|eJ{ F `x!U|YzXC+Ց'SbyEygSW#]dUx.ڌvMG`XYxe%f *FN6x0qCR>k6όr;z,BJ#2Vvi(֐;)T+wj58ò*Lp)װBLVMrJd)Yi֐`yˋc7ao{]E2zPGJ$ŏV d5zQe⾟܈≜ORD.֤ܺ6eO_b ~E]~^&tm,6E" @ТgYZ7zXZִF! T]ŗXi%L#O,q p0hVfbihgIZCMVMc2SK I(i$յ^pZ? Sf2 Xpw_J'@$o,i5e/_ <LOkN/Q;M`4-/oF|rOz\ƌ:ZcC7aJoHցOt#~2{Z"oaQ{r{1m=e[u|Bqއl$Y(?rJ.yx'V6CtB#u҈r/BÕ$~qqi #v8V߾y 2Ow.ٰRˈpQ>SOW~XW!$&V;cJY1ຏms,ԶaIEy}I= >CvJOUlV۩7hx8UT,bZO 1"Y \Tt2ɩ2iQ+g}9qEK#vѿTcӲUnzV Q`ɣVB64kce`}Ţ͊(jE {SXQtvrxU\`4HJ[_vH_jc`^U6 +bs{xlnSҊgTו7QD.kOPo|a@Z?N8]&iIMdjN4=p6{R۔S~ĕyjR뷣.J+h$C@xr0MXut1diL-/(k 䪽dpXY+g _:RÐn sG-0`^P| 1Qe?59>1֮3U 6JvFRqNO| tIÜtLz.,iG`r^PFW(",+k1L6@\av$P>nLuJc9ެ Xzu'4C=cCTZ^ طi죴.U$ WU :tȖu % ;$ ^6WV?ӱgYZ9a1a8d80851f957c71b53ac19a858a796575eae7e2015e5246e1a7618d650fad22191f33705e8e0c 8a8103e86b35297b75bf7c8f4f146e87c135f0be ef1ec3ac33915cc58a36561206f873c34cd4f401