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 =1Td, ]% HOL-Decision_Procs:threads=4elapsed=384.227cpu=1312.900gc=115.908factor=3.427zXZִF! FB]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bE1'NuYwz 7vʛly3<ʨQ "_:ڄOj۞bkzԕgf^{hىnqo9 R45 ]MşoNlCQn0PSzhyw2vf{7`{k_ CbyY4aS&ύ(3x :QɤJXd=zB0"?/$7+ȋgS&L7z/XuULa_a 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ ~D֟M '.Gyk*e̾dl_eCx^Rdκ$)Kx Og= H5jǥ+YP1P Q<A_ HhD%"xX qh! }{V[HyݷrDw;""eq1$ΊZbBAmܕ꘷H,Gw[>v2?[㮼D.*E'x~x4"yz!|kqT.RcH{@2ZhIF 2V&{Aope2T%4D('˝f:=9ځ㘂,B~:oN'X:^Mo&&Qg2F%r90x~a;;8w2zQf|vw9 %\e񒕈/xÁN#iSE-R$`>)/C1jqMq_!|vj}Gm_sQ2<%FAv$zTB,1&X4=kѵ(2iBZ\x0zvG%z{+HvUsֽyB|4 [H= ;Me{/ɛ {rGd?zO~'zOeƕS>@;_F>hkWmtOK-ΙoE&K0x$)QcLq`jrjDk4=bCj^E-ad S̈́CT)ť<3bR ?NAHl-*ka Gwy7upiJ_Q6"pG;{%l1Kb=kRh1e]-EOm /~hZa Nds$_8uDs$hn Q~;`!"?]U!#oM/9JE"UҤRRrz.2vv wM:g>.kf-zψĭo#яԿmzwщI$pP\f!┦XOns8kK~yX D$x>ol(xoѠԶW)toe nq#%&I,3ǣo09*XeEwRC-6&-iH6ɐPRu@ qG?q,̧d]1)@MU(lUrf:K.-#e L_u:%y)ҏD ߸&TΛ9 TLdb&FJHÏ8b= ^C3qFK^Gq Kcۀ4C̋=5*ڿ≖_c> [ N1p/%ә~vi*g=b@M"bx3q.ߪhpTz$0L',79{Ocy⺹t*]~ƹ1F {DI[:(0mvxpWj o^b_0Xx2 vGNLK[dT/\]XH9"2-KhK.ҧtb8Bx(R+L)fS<: @twq/]U)*~0`Q|[lZ!&g߂<|JQ}89o^S͍uF a< p8<>֠jהT'\¹sxbkRGr,ݽ/xk!KD6k#\7#T&OשEU|[d9K2DE'{;IXI壨M(DOYD!y8y*N, 2[B"L+l eYY KmWv<(i ;tLYpQ:iTksF;zI *MpBtZz9;$Oߤ}(O\CƋ-)`I6p1vrWn[ t { Bsq0ѓ|vgM;RѦ&S̘$09k7"9 * NmG4k8msX}]9Wɮ$Ih/ gAhw736ÍË=&OˎŢ ,nK*>]UTuuխ|j@x:Ů 慘kZySwplp6NݹnTh!-wwXOӷ2^4YB_s⹰rN'C@~Bih]4]j.sEe Ɇ9%Tvd%qyExlT~8p\R'~-N^ 8d_OVfct̪1W!C.!* 3r LxV|ǣ5K|K 6c .(2Atc)lc_Di,/_8ɘeCA{9IoNOAѮ3#&K٤mjW{tn鈾+#4vZ>pPI\K!+t\LyK7o#et>xٗ>^='4nan+c d V1אy8EPh߄6\-XY^C Bj#sg%0I32:]1*sl紊a߼|R?*'ly `g_wM")pOhr'G-i 2}`V)dU1sS/oEJk9]{:F jf!ѽh߀!z)s8mgGv LW3څ8>ւ`7:㇇vÂ6'Cz2t.,)D>x_FJ p;QeEzkf*^,CXl-FO.L̿RjӭAl+d}K DzHFG(؜JMerod.vhFi#iYG >qQq~W=VVI+diͷnBT*BYcy:AAmI|6Rrל׿UO';^PbT5tiP%?dtJy˰hmh]1G:M41(f|?^Z. KjK$>S~1~Gw<_c9_}lQ1UiJ%DGJDH:Jd4 yvӄuQVD xt!Bg@B(,!6VBΣ [ov"|HT==7Z)\}{SE#&Qgxg?Ҝ6Bx5߲#@O_PTrO-bًOy9!#i_=3vb.Kb򉴕r?<.QjxCETe|?O(n^?ݬ rq2CT]L/mj3ebFĩœXhOJA]O!,pd[eSgJ6_BGMC tO*Ofl@kA\2#@&BuK| s2Wr1ϋA?+|Ѳ .$ƾ 15նAB 3B`L5ϷD酘K^_URG}>&6x;[EO]`NwU+=2}` ykBZ&.8Q4U%!ؘ\23]}TI$zлְF$á5UQS}z.//^? >'rZ ,D6 sh*qTG+e 8飭S蓛ڮ0~}5<ҳǔB#sc6I݉}o s>nގ+\rR \k7Tw~)@Fu 䚝?`e{O7G82:NY\K7TR hȬ oȰύ:ِK8-B^Y^}!YVPi-R r<%ήM9>#?NHG2W#N}eģY@.(9'AH3ߏïӢ1qMv~UɄ4 Dև4UfϝCKheTQ)X?3c?EsJf7 h,ĤE,Qr%%ᛜ":ϟqLr~Ty9DXY[i=͜"[3!">W!Kp&^o5\!6TKʑ? p #6nzBڅkNt,cʡ~P~_,gEsy5D_W+[󿇪@tIz?[{tP?{=-F 8V|WK Sj?S(܅;Hҙ;DC:|?s:#+~qmD.:dR;,T:Si¶R)xn=qa3WhtRG:tg=TcV ?t.RCt1Sa-Vฅ5i7Mu2Z 51"KMAl<,kn"Qɀ"w7g"=sgۄ 9NpFQʖKlqapC75{ Co$y4 $7vW^g~؜,]*n/h\˥3lx3z6ġ3MĠ ̤ ` xexCU\(?ПHOM^dX2RD垺^`5?F&}]*:*Jw5 Ct\AպIXų88LMx|>'-GUa㠴c_e)h Sa2TY£C1JEܨ\qPQHM`#Dt#?WēxACMw6u7MRW9o\P_l͑wE 0IEVKm-㼵p=(662~B #kPY1]pCF$YL!۝4~ul" wc pTѝ|"Ex[b&$6(^M:=)rht &}Qb9WW`x*8Jh4.-{X*]0[ͮl"nISt^U&޳oNi#:2긬ב3Laz#Y(J kvKR_A4mT/ gK+LGj `/SZQT,,OօnLʼ"Gt*w moZ5) KC jnSHU{ 67L\ί"I5d*cWٹY1=T >WkhKmaf3>#,wGt%ƏvwUA![za9?$ sH)iyaZQK7l8Ĉ:xQzz]m01QF}q3ϒbha ;4K`4ngM:K81.ھ'mi [nLCzKyТOL-hjAK@:HYSա鮼7+AZ J̼&*\{Y *r% @Fv8SG˗qN k6`NJ>~@gU}(4B"(wa p{rt!T\ה_ d٢aܚ%=7ah7<~]g'vvJJBQR27ّoT5᧢I29g&Հ\[/.dj?\Prg=WED?c)HrKSzeqlrD!#sw|M*P${U9Ej1#f #EMb8)(=mQI8c͐}j:W[|1r͹~L0Fx΂Ugx ;z\1/<'P6 vf]zHN3gUN. c_bWȯEycJ!' bKaK%0oz0]DJjyvԔ>,@bK4Zx3^5Ì ̬tgYZ7zXZִF! [*]ŗXiɟ17L? KxlWP8SաM~>fٺdeOT]sM1}V[טZ0\ 1ѣS-hnL<׻MןdHB&7wדĜbZId jtLa![)y׎c\-: 6 )nM$)f؟/3XsXus?dB I/pCS^wkd}o ,@ү٢E _E8Uk8iQWPhFlBI~р>>&قG<+pg =a-^% r.گȲk@2bİ\2.`"BE2uT`(أҬ&ܵUfrOnJ̪ ḍ?q &".$$(f2kӥ!yq)Orbgi1 0okЀ]o\W&5Gۘ6GM\ٟ| tW(F6GH'L?VcGF`08xgYZ7zXZִF! fr]ŗXi%L MNeJ1a{)^mO[{h97SIԘY>".!`q&snDgTbBN܁qtz)ݨw8/JtAzM52œU[f[FyBU o%Z?Tj8Ju%t4Wj1K>`۔; 1̦.Qr+Xbs598d*>HCH r2nn䅧 PH.*$GHag,yiQh>AVtJG$N;Q925[*L3fh6i}#MRYL_Cn@p׀o8+MC,RtU{ÂqQEz x0&2e~ $pqhZ~Q,dkH-q"s.6 W@3clMJm C6ZJ'3AE+.KRR˶ ۟9e᫗sHjG:g@=RRBX=Iv!Z VQVME%pښ2ORE?0\zf-FW"kr-$ -Ega=!s\AV'^gzb&nXhMF4;l+vL>F^1A$+IBԉ=aa!̴Ȣ%;jc2o-7qVW]x әӲ Q.s_qR}zf\|m9Th?D_^TSZ/P9f̔ȽC3o[.VFٺ|$̚Y9rc&ApqN-jseDp~H>nꉦ?jbvz-3-SrfaY< @||K=9eFT $ൻ4R̭DC6?jm * ű-)&GSCSXʻߢmbᮑS%M@2UP*s)fV7صSd֯9n;9`븬(IIw,N]'d xeӾJ14|ـ>V8]2zG,,ݘ:Ql{eyO2ƿѸYu.MylZ -+UCfڅREcȠiѬ曘8DM pDv\1**kl4YGP4:̞tE3U\[ fYo=Cdz;/Ԕ bҍQt}[d:T~4rixHtL20(QƋKćaJ]O*Bsi$Jj)(n7Bi*C6=Gg] 5X=fqgKS ?EUuJz.׉R4V Df[EE@Togqx-pVìgo:HVlGIMHϦ|N$76El{G袖B#Czەs 1NM~SZ"jowM<䊔5q~^2HjPF!\)D5nePhk*fpfXVy;LCgABVto<ұ 9rom`nU"//ur*/U*Pogh -?yHq+0Gcg8H~UnosPƕLa*Ռ4[-^d~E;t.QXWT%P5an3%wntkkp9vs-̹ 5si詤A8`ZhHT2Nh+'cI`+2ï8/4Y+  >hjO!_0p=iO;8lzB`'0'sOs#Oc͉f04P2FꌛMʼnK$qW 0uqF`aΉ)Xh?&e˺Z>_>m܅~=b$z퇥 գ}")jti f"ŰM֤ԤFQ|k4Q!g 꿞.D>\}0E l IBF-veWڔ/-%C}1%a'_N)~! ͞1>VZ/>Zz? ;9 Užz5w=aJ "YNH(2 >uVM?]aL50%mM?JJӤH$r9\~mxRYKJpW&7:Hp_yȸC7V'{)u+D5(NPur>i7d~239EI2z3Zn?i2'酥M^4&]b0ގ+&)޳2b[`أ kQ5muˌ@ԲVmIs2ܷpsh5}y$2 2ٌM6{OY{(FJd6ʝn ;Ek 5xkCc~գ@CU7TMH#|]xS]SƋv{"落@UެPxU6QS 6rT0cγ` ljsv[( .!`Ro]k ӽT-B| W/5>N!,@ ͜Nncjm-7ZcÁ˫dNҿ{Xc?~F<2Qk!j}mՖ9o$7y[n'નZfWp _zK;Ҿ=pȒp@g:ӣMOjrAοnVE:jSQ|d(]`q7=(.o(P_/ǞIl֩mcfC= 'B}d-=`w2쉿(븁T1j-8pi-3|X)LU+=Q잠3KVx艾-t3 S.':دj);z\6ݘ!w1i.bZ)>k¡wf5 oc _R9#$tˊV zpck_G䎣-濾=,P>1zKT)ۜvf0pABğRAbl$hTƀ#룉ˌq4^̌ڐH,m|+<o^fb?=hXV7D}!.Œ`<_g zeh.]/2GQL 4۳K KbE\j|ٚ?O)ѢTȸ`wy>ڂ~q0'4ca7眘iDy2W.+`yߑ# aΰX?r ~٪&ajrB$rc,'}1s;}P qk bňՏe'JEjk+E<ꀬ ͗ Ob{4T51Ђ<3nb?ԍHqr (RѣtBc }-LÂ-~@3C58{PE*᭐1lda,3JwÑʪ? eAcşV=k#FaD_tp8:nK|J!7;qZI7\)B>zsU H#"O'9GD c#-?T ga|B@1ou4 89?|/۰ד'Gd>>jTZth;,L +Em._$-|!T& Eh_ \l KL`2vB^[Κab[H~x-*ܿ~x߇uԣ^`VrR6Բ#gon4ƃ5Oad ˓윺)H{6\)^UF4/Q 'aMKq%wʧ4FCnfS(.(՝s%( qInC. ZdP12hGt2QmBqF@5|-ty d/Eb=M!%~DcX&1),iJ#YD{&xxTuݣsg6eԔQ rL 9y/v׾V lYI;կ9Zd0Bj(E:;mҙ׫g5as?Q$\ <\=~\baیi43 hu9͹v%J d pIGz43F]4+bɝaR%C{W`]^>к|G9I #Dt|\gu:U. ɕAv7,x#H43|9ӝ-~~/@ /s쉐=h?pR,r.p M..i!>wxj̡O)`/k_ƴwMv윭b٪Ɋ!ya w_jEԂh13˝^eΞwz&Y*^zH{y6_$^X)0!@|FZs&5kx6fjq,L/TI4Q3`pfh 29R4,z8,xWtIGyfOmLla< O5*FzVxA>,wF.5% XѴq_TvK.;07:Eq~ NʶPh[8_1Ņ(u1XKF]wD`@HW TA 3}{-.W8)c1Ke^ь\5(r0䅓 e![G$-#jI\Nb~fiC9eqv{: 2BǝWVGpg{dOo23)>ˮ=Y fv?@+3Om'}^ط~fOfOVHzfܹGZ?;g' .S<DZ՜&\$OY;ګ(DԥO:q3Rv[#htwYKmV}"pA:g w֣ K%Nk&m\ Ngd |175> F!cs~Hp8J"OL>y9قۂAM"M$Fn@aDZj|&Cf`Bub`S pVZ?0}afNPYm +`UG-_~W?isIykSb_67CkTU/P+N4#*9ۮjz{*L뻍GӸ;DuE!ͬq)T3RnWh{NL&gOq 2娤h޶Iw(%ee/)Ac&Α[@`gs 9Hf6b3fˎA9LynGmSFReUf[xܙk+8h ߉5~[3HRgEL)|,lSX=o n|,%Q>7ދn G[` mAP0͈V9c8/$FWM>OPG9㏖P4 Ծs`%V(f^1zOYY1 I% dcb0~ےkܦ+x|n݅ӭzQpE@,[`Oe؟H h>q!/N);s{"QD]y( s4㱹nk'ނRp0x7깯0>^}hXօFx~;+w4t SSu}TE/Jk7UjcK *E2#v!8MTxk>t⼆='A({5MWS"6,=G\)_ :[ v- ~̡ d] ˪[a>G t58LUSy9jG`w{Հ=PNEߕpteLÊ}gJ8CWФcia@6=McM+8]^p_I^=G'L=s/^) =C^A>€P:pwXC5k:| E>CNζP%aQq,Gd(c"6={VSk+1ta q{<`"xe TSCw ΜEON1 t/z%CYW~!m#mB2;~k,afqPGiD}k/Tq!w/sW{pO-h,H?FӕnF7GsD  /&|8i}|U'UHGJc.b}7-FJ&UX)<:KiMY;t(0yQ)"@iWV:,YFdUkũ,XdntAK/T)/<ɏ4oplY[M䏰G!JU ^VTӺ:2vHʣ;j8ƸL1elgZb ] >t- SmǛ>ܰ׉ \|wme$}&;*Dz}q)v4|?MgV:_2a3TNx9eDru~ uZSkobvz+pI?D>6蓣WS]ڏ< 2~*!8Z޽qc0rel n/ܐB0Cf{\ ȿ'&EzgYxK F"uwNg: R$draْq?BA\ciY뀌z P _ΨAşh6Vj"NBǬ33#~(_#]=vPۈ %8*Vl!f7@gw?+%b,uJDW$EkV),~2\ôZ),Fw 5:{Lc3y KGL'ݑ|3|VU- `8q"zzf aĐ z$L.#(JڕZtHK|MK?z*e՗P-Ɉ$^N )n-jVIG+ghpbԋǠ2ض[:/F"3#T^?%l[qwLbHP\wӜK.cdKodPeVw&z쿹 /t/{詍_\U(5+p)260a l\;J:NTB#[KU~_QπLZ 5Jj>QB](xdwhFJфF"w78MB,+|K/ʧ?UOa4!X#uJAIh].6>zi1M>>zE~|!++sx&+*m6j- ˳TjmT+(b_}WWT :e7.ZJZ#!ٓtO/>Х0܈kۥf]˦ْg:Yq$ռP BQ22qarK!DhZ0Gy=㜊&z=G)!Ʋe93ʂiZ_X`wSqJ;"3'ff`#1uj7Zzfx̪=z^2xW*jh(@}+A즊пcdvZ/7š]{kKJ -:}C,y(;vnZܮds;I6`ԕ5&+E\7yE5Э244L!4Y'0m{L4:ufb`,oN5׆p rV_(+&ĒO=[(ӵa}Bo\{'87<īlJjn݁t.|4LRM(ؽkr&qq^ӵp -\dl U"kRY9U;R z #97]W+HD^Щt=1W7X 1=2.URU]۱4/ UAW,҂ n:2qhZDӚ?Kf10ȢV~oQ,(TwT*S c-\ܿocfZui-^m׭h(NhA[@83D4ˠI"mZ(P}C#f\8(QlnrA?rq&SV-5V[6֤bۗϩ  a|hPL1̔@ġ X|[KKļfʫ|s]23@PssX :'9ç1@l~â*"nZF :cZE֞c :s(il+xW@iasE z 0W&^_'83AK^(=MOC7idsu i!>v}X`PYRg77Za;D0?TJ%$;"[izn9PN1!Qþ'` - F ŵtlU-%-ața⦕{xgsdw#tW,o@x,]sN}yQԴE6!֘P`7njz.>r#4j:tZ_Xr:%dY7!jy2a\l{_DBRv¼sMݎWBcHy&*r52}{ծ}Іt1pGI&V9/Z(j>aɵSKqb(E3F #Jdz<3lma |Zְ?! #>֗L}أ^eK-v@HoD72}h<\cI8Az=l.é{g^ ^Sr< Tk\77PF؎HSpUZ~b^N'ѤP S$oA+tٲ~k0e> Z_Ic<-@5D]q'e{T$J/KOhp1^9Y ) (EKXkk A*Au^4Ě=(2J"+bC*.2Sg)Pfh)mVla|&Ŷ)FPq3 +p:*ᶔe W ͺ-*QqŧB]mlcߖYb$_Kٲ0i[]p0 jQ%#r g>1A+ D7<wXjk(R -VhgTBX@s+Vc-sb)S( E `γ^0&AA ?V {Ȳ*[OpCׄl_WpC@#abP03(UIJ7VPpN޹庤괒/8H|F :&@>"(zK@]JyhhB꙾N?E񘙉jƝȉZe`_[D|  ÖTGS@D|Ö"Zn~MgT`115[7W>H.Φ,в62 ]!hc!O w̧6uIY-t n:B" &HOk`ɱ`N.GNjQPa?wϡ/),0h $[w*0j^_r_-Sa'իڇ'o{ e"1G2_X@"͉}r#XB1Ļt6 ~6vwBӢVnwHC/M\`\n\Zq;ݭ d( Jud>wQ_# kLe!6{:mm/ >1-OQ@pEy/cƟ8\DSn:tgOXv|wkvǻm?=*dI?;ۼ7B =7 &O,cFeMKE e)>D wQAWrEm#|aR $ Q2ĸUZᎭN9 &m4c 8% q/ytOdrZlOu[F-0E9Q9i1~m~5OR8N>F~n.!v{Ko,ũPVc#bJXK~(G5]a"?`*hKN3Wof?nRl͛w1R#E6ypEfɗ瞤-Y1&Cwe-{d.&FhJ ͖$YSaG gu~_5 lޟYs|Lv^^ N5#]@P6 &J='~aT ḖgW L ؙzlls3*vښsIM";y&LUuWV _yP+T~$G0iT~1Q:!+8i[Z Qcхa-Ϛ*w=+`TF^ceҾ,[ [prJ1;]p72\8Lu_Gs,#,O/%iwMwYyBO=F-j]﫜*Z\m _ ;1a7]K`.7>*7TbFȯڸ(cal D8;hGϰ,?QK{5Ý|`FgE(kr̠ ?2dj$.BPMO KA}K9;cw#dtw?3K6>|ke4spu-#*:Bnt/eZlK}9wVa',l99KH)/ <\?xGv Z1ږ9Dv| WW62qޕ628#=h*7ټ6z.GPPtjeەNhzBLY`g>*wJ,;2fh:99Oh` TrgvBɖü^e~ k`x ]HӵUn\[9Uģ~Ud{pV8B` l` X7?:76 >%1^#Z.ř{G(p\kN<95nZf=~k7v2p.Ъ}yyEH^A1JXd|$o;d={xeNWW6=* K/ o;b: މVߑ?d=bĄ[qNVG1T=ARn5 跔+a ~ŝ}TIk&6O2PrlO?ʬ\Yaئq,1B",~)u'eN+R JXJԁ$p>D#L*")J-30ݍfG}u'YivlKWnQB)D7d1?K/"7pqZ=f,-/זUă?w7Pe"g oWC S֟$U ŅDɉ! 6k܀ hM9*=p6 t?W}_ |{gJ' T hH5bN0aw423Rz.Ngotnfܹq+$hrN3=fhs6on>N]Z!"3&.x`u++hIaFA%~Scy1cc4eU4+hn4%۔CkACs),ł k=֨w||Bz2/͗9ʼnJ*o蕑#y%p`.E9] @d!lJ AXqv-l OE@5{[6DXx5I's\/..u|"|GŜ#\FK5V25x.*ƘWy&ܧcHc=27Ƽm=hS cƾMS{ŮT'[G&J6>DW_< #l@8ψUFBkdnOTy oƱl E[qLgݗ.TK\0)3mL{qos}ao}msE='qH+ᔇ7JʣrPvZ%q1waxnS##- 2I~snB;E=K ٦T6j9OfpЅ\ r,@)1A0G%PUްzb=Ii1gqk-|^qTXf9)d(Fwөz*145E_򚔄6ΐUnxR 9rZմY7g'7L/6C9~l{CDC2с# #ն"lj1B<0 0:hkq*Ϊ~BmL ѤAI/KF.s]_25Uq`Ն_ҖNI-hWԛw%|#BmO =`M\TA &ʣi0~ -nEޥ%:NnߴȚ%YIڹ2 yUY)ч7o`gO>S>$af6k(xh ~5$Wzx RY i"?)(/Ȅ`]\ ^LRa%P c(P:|rڢb1*0B0(`KOszzfypde)A8$du o3Bb5ɓ *:=JޮE̳9{<eM[(HZf2̎O/Jeq^^S!E="g o{%sIPMRJ|cS]ߖNe2h"2iťFҢ+haE_W7`ErCՀ8( SjݽAc]ך M ODmBcrrybV5B :e D^|+@ `*qnڸ֊ǬD-1!c~ޅ 7{A9B .0 @@-9As_ #'f:hhNO a);En#q PXm/&=M*Bj i(_͊חIcQH=tkj,&Px$ּVuO[ -+׉$Y9qEStpk|`Bjev[ԬfRB֞\ǰߝX@w~/ '|j!ulMى6h>s@M::}x\Z:GLtJIydfj*4{ע#-I"p(R'2mƓnU150/Y#C UTHjcœVto{_AwŞ3r1K34}{% !)hYvTb!dnT-Xy:lDlt 6ͯ.*ٽh=U5MjR\SSrтNnH :߽\mVچx4T~VphQ˺FS]Qɚ E@_ Ō3qt;W1pb=_ pHfT'%,5Ehh'|G@ʝt̠yE+7[t?bvpzF2( ;D-^+9m꟒m-4B cׁԂM8_e(GEG_N'$hPGBovPC 2NX(zo{ g{9o5>%R!! 8f6xO Kϼ%b3+ي]⁾„Ѭx2oޭ"}~PwJ@vT%PaG<>&җfAGD„YVkq$(TjǦKӍjˣkꈅje?Kd,sNZ<% 2p!Awr ._F]ktzBG:$3t)cl9gDZxsnkj1)mƉ\pZ?R3L Uv.29Zl=m9Ru8oESo>)Ij$5_`nS˝E~ /.m 4z&S, 롚 iMQ[#u_C~5p9KŌk a)͙D: @ho^ͯ]t'd^o jq8a=[tݬ9lYA_.*ثFOV*e _-LJodkOQ夽ːY&!(NvoY-+13_xsD ֱG)WB2"Ɏުuau{j>Q'H@G.zqO>oOB*(b0)bkorTTnwg! Ŏ4{aR;MQG3;87D h\ᐻ=Be5nDrw'ǃJ6e!aѓT=r+^SmKmT~9PHȒt$FmL7ـE0R?MkiSt?#Fw;ĕD9Y.}z9Zn{#̔%"d9j:L2 pTr٩@TY.@0frԉŐ8kOwCCJJ&8IW* lx_9|Hza^Gspcdѻ–$H ڛӹA?6dfJ U mT0Qǚut )A"Td]XbKN?]%{XFݴ{减yýǁY肙uf6XG2IA>]ġ /cWl,CAyg#-Q4lrsGkMůOF/:,6*X*F%9WZ6jo2,ɟ}s]͏B3"bn;Ȳ'k!kzyɼO\zЙ\pǼ@OI!tP\h=X6!eaݏκ8ïhJ3$=Zd3k#F*+f^2ĩѩ +JQ 쮋do  r@ruwͫJ,|ۗ7obY>K`ej]y$fIWN(*ڄu[6!Yz,GE.8nG Ԡ=6EyP/2 r%ڵlGugྒn˷V=$^8O=L$p dLZADFj℆l-2FQBUQTYf+[Œ&pVjCKFO>zŢmWآ %N i_ZxEQ"S [VhA'v &=Қi Y~ 16RbJPuh㜳/>32Ԛ$yZ XS;4߯6w|+-l̃$^vyԤ[0Vz?m]Uđ0ʉ=Ԗ/\xCMZSҭ&یdB-BTRs|}, Mi\ $ސBz?x-4)=Y[^Fl mr \_qZ-|^>2$]dV%ZY F 0T<.mFq-~ EүƳ2 }@*R0VBXВ \ӶφFwR?jDݷ _1Eٺq!Y\%#7t.@# @aĀg[1Y]l<-ƦݐRʮ\ϯ6:pS֠Dz0:2zH0JB~ܖ(Nj=,R>iw3aϼXG§ vrHK ޷jKwPfuf X$0D<p>Xk)y>cl"5و."II&W*nP}S?JC>hVȊ>U{Ì ~đ;%R+]I?0` ѹߵ}6({a+r2@qS< qZWAfJG% 6 m=/ҹ(m(uŦy4Y?#ѓY^uwB]=ឍ5z1Nta@~,A⽘IK~V5KhVO?ص8KÍ~ClQ*Ѱh|ggSV@`)y4 PdL4nwzQ(F,U>,wX?Ce #ޡî‘ iT\9mg{OZ(͠Se*Zࣷh[hFC{2!3տq?E/[= k4ՓRC  ZHLeCWbwi$C@"wP},k1a♇'o6aݒykk({Qg0Ӄ6 IlS2Y, |TL۵8ӞHJY!RO)wx2SŽCjP@F Wbs nB<ޱP Єǡ]5|Dቂ )$vD=tl.GL1]#G=LɁUn ɲ-Cy5Ҁo|:˾1{8$sJR@vwRpϖ>E6fIݒIusx)G;&dݟ}c4!iuD`rU}dd.>Au^Rؼ3 q$dcs %qn yoWZ.a!$ W`rkQKKLѳ'_ <"?+!%B|mk'h C@%:.P }9}}JPr/Hd(w"FQ ._D˧rkqIUcm86/-vEqFy5Qc,`Jᇭ9Ԙ(C#x!;rTi剁41$cW~mɹrxSOu~{"'رoa&)̿+*v 7T_ΔʹR 84CԊA*=>3>]3ps/4Gw&<$dt )$Y<Oӫ[U3|+jV<8ʾՊ\NY>Tb>(> &{RɣEhi؈ [KYuzD] \B7+ $%d 9SjWNXV⎍!䚁w_]<[kc#+UJ*jqX-T5GXKQ^d\Y~XS+"9 ?VF떗[L|dKĭȁ,;!5^GŅ5jTƃf1H o22@q?tȯ=23VpqNo4 S(`Y<̈́%|ߑǶc"?~]j 9 ×8RXR?y27I6m4s 콪iU={ Ῡ\oK ?A{ cTSRkGWU]l hMm$ˢ宄3͇,qd]X42g1!.t)`[oӻ6_䥿h Lߊ|ᡍPXdI 8!1s*)'uCann d!&{:f Gßey:9^*߯$gO)H=rsNXɊ_ gm?z˅1 rANUiC8ggͦ!Ʉ n%#'e5k #a'&U+Fd= Oᮋѹ %C58U0czrgE0 sr ?!_x ʣTv/p ª”j5ͺIaxC;0Oa@e8.R/ 7xj[-_82N5J?#S_wח ՆB}GV{uPz*/Q&SERq$s/P}]:T37ߩͿS6i Z_2ӗh?=*?L2P'A=CjdyAbuVGΐ6>|<>K%D>* 2AS$m«OSMԙuܶzl'f pq\'NAC-( lCj&K[Eyv]g7LZ{(mA- "T%*!n^a`*U`(ҔS$XY^Q3Q6?Ht8 cc2`sF2ݧJ0BslɇrۼJ|?#T40z)+G*$'\<_GӁ \*}igx0B]fr}VdN0hӰ#_Hx$3+pXG gq}%H80Ci̱C;}Q|2nC*`k%LfxqnBW6)qP_5 *kb)hF Ko#xBjVP6,lt`A&$4riE4״9) Luz7ًqUD܀ߕ: W g0o8/\MFV(شl:Ze ~D.} gYZ77158ed868f3fc2dd96a208ce6d3a0225817fc65d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c b2b885f0dbf561de003595b7b08f3161afca18e1