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  1 1rt|d ]/ HOL-ZF:threads=4elapsed=9.077cpu=28.684gc=1.2007zXZִF! k]ŗXiɟH)0%og[IB~SN#ObIUM7R~+ڈ{mi)N#u7 j`|~  J_#r9p,EȿC={']5Lf7I lP]xz,7sh8|M*/9cQ?QЁmzs'ONuK&O7u} b˅0L.RĽ&@X2 ~'*.$[*'a/!E!VI(M#ɳ$ٕ$QN4q#:L`:}ArLڲ*vp~NKjuܫd87Y)K^F[Ί^ 羹vXi7 h8[ $!@.^nfiyPJJ9Rz|sզ;n{XKsKM@la`f,@KО_H fS"sa&НcT%*5XqlܒzWe1D-veU4uO|&&}EL AT/k.  |>"dgFc=H;\ʀB)S;ìK'XPP%&sfO GtIQWʾNzfNE-9Mzi [PjqWz8v}յQ f(ju*bpoP'];TR: RMP,6+j= ̀8׎e/MYQy:gy]dKa?;orq;VCjP8=rD$ٓaZ5*''{+CƂ!$I,I$7섢Y`ofe:]27RCVMjxx=J]i.mG   HOL-ZF  / [V/nAŊPjd"C]HʉOQ5ξ; `}~H&DM =:Yewdލġ?mdYuHx}3/,l~q{-Ӷ3XI*:ArY8H8=s lGZ[e}62 Þ1? ުEnJ,GH D9zcU<$( ǓxlR킌MEOhlFrE=Md:Z7C|`ZJcvCvN^2^3%U.qVRض;:^x8T 08k]LFސ-anA=!xtmpP?u0Bt/Z-4'5ԃVՈ\CTeEy , =$ng C#1n)܂rڳRbsM̉XX|`s%X,#W֠V'm[L1=(I4瘽ܫ#sv.c0dW`<͖S5guAG|Ma F9{&lWC?i2=<6@%%CJM\T{]y45fPO&ڞEsA>Rd=-hB qjC{X4׭C%rdߘ8VQG3BJj|V`\8Q1a%쩏Cق"?H }U@[݊9m76@Zp\0E ~{;| 5Ŋ:mn%(0Lt.FFj>jKQBa 䬖q&Jh`ﰟ#@`ɩcoE^n;}yE2Q! $՛d), gr}"BsχbOx(iwBBpyH̫݂8Wm7pwyCDqpr=g^n=d7FV^I. bHѵVj.2Sc2>~_}͎Y@9:(ʂ/`Ͷ:MgYy`呇w?g) o "\XVHL6m͂Oϵ51JjěVszNqb=SXm֏̙1x+4$wXFե^SӴ%wuWI-;N4_t_ Og>n zٷ<)AË\fQK 1alonM":NjL3c_mՌS >9GS8;'ۜ8?7FLҎf=2 Zީ\Muյ??#6,Bl "b˅ɧE.\; n|>< )"&[jCPl|[}֠EYK:N׼(ÛZ^ a7CuA@RgvP胉~UzR1tR/R)in05X#_idҐ ŲcXu&(xyJbR=e*0a_\ħa7NX `[Ő/TjmYD aLj35E::dQ8M&-7@D#Mg; {Î{\\@weuvH,T'ۚ9AcD1"JUQl&A=wsF=؃JjXN/F6I/,p,ٚ6K~>e>0r[ y`LVvaj§=ќQe$ԇjPy^(D~˻$蘈4Y;R Tn,ZuB/QH;Tdi{©A,PqQp7W6{|$P7lSR'TTHWmKaj#$+F6,PJ)򆹓c"?gK۽`|Q:3R++wFyD6_7Jk(6Z17¯ՋNT˪֩_Pk)(~)B|%FAhOX>ǧIg&F#;2K[r>"?ՅQ#jA^!k#bjx1xg3}o  7 gCOߕg{ Kvg!QV}#$붆̦ C{|J<{iY@(U}cUcq$]3Zi]ecK֣\=I~*ǝ@I$7};cc_(݈.f+qz6(_j)GQ^h%{!? HChڎh~trdF!VCۋ|iIY+x ^,Swa=[UC/O GmoYs!qchP'QLjpx&x1?S dabn>=Y8>;2u+f_Id3'Z Hi 6i//<(2%pݥmV'1LgjM=MtLQAьEĘ aH]R"ÁT6EhX]ݱ>4ſ V Μ2u= 9MֻT$ HJM2+.w6(%KS 4\(f)TW'-> `#R8Ϻk_Mprk?U ~R/>$]*9k"h8,'F\6$J8˴"Bi<;BU8,!o?(?9֑[xza粛(BBZ>˼7GMO9 s0T*,9r-+2t;gF }}_@㯒+޿BYm6g@"C]Y%8LU>R_c eLIX_oѷ>.Q>}RӚ¬HGl[Gg'R) %>d-_)C&񼗉,mݎU:&ﰤ`^?`?0$za8]H69Xiqn6]3! 9``zE 7>@MYxTuE^g3߾v+pE8g%IuCDz25lq;s A%pX>tV,U{v}@eC,9~!$eJ1D''|QbX$#?bžr ?#׮?y*=:-XȖ1tf|dBPe/Q)] ѯ0QsFiXY+-;[DPZ8Z#DpV:mf~4&uxR+:mh*2̈́\Ktjqg8A~vDSt̩|9h=,.72J6Pƍ$hٮ24Mmr-~Qc}j[Ʊ 8_T^Q_>cxj_Țvs)|ܯp8ϋXx@'m[STRI\F/&v&c~4Lb3<-:cg^fєKF\+frx7Pfsx̵褧A8Tj3Yrp#oka/]UNE+R :SyP`6=JHA'; s͉ZhV2kX^0vIěH߰XXף͆0 9z~rb:}mkW x{] H=4l Ȳ'l=r_ZZmoZȆ:co8x*3O/S:ek1У@tT-N{(׃oŨ"uM=f\1bۍ5װo?.Gg3,Ϻ '>$AYcؠ jE 5%7h,qE9o.|׿f35Wz8t#j~`Ynn5t^lȮ4Dy)1xXY?a)yL=ҕ4pA֣oִ6 BTXN#b/~w ~e)'|EK8i6 B:&/,*ԝ/6 7Ӹ.sȟӤVt{m?W50 JUk|#LIc_RlSq, 8^{Twe!PaVƻT.1"Xp[K[H"}](`F|e2gޏCrT(H5L g?Ͳkp ǷƘV+"&hq=ze ?9#Y7'(~4MjM=#W"ҧX^8F$u%uڕ(ss07pDڝ.w%9mN:$5Hpɤ &i'%0xnMp+@Jc5 Xt;  + O\`XK0~lfA>z*EY,q΁x7ꖛP6xruubNpT X|<5_wZ_u#VAz( Vr9pM3g6Hu= {F26^p5rЋa)J+ɧ|$ffA@J@یR+}v &uD>h~/R:P0`򔳞~15\0̌](;/O-bmTr;L4#:7b9%0-gcC׼G7J[]f0u@'y8gq&"nr$ҜlJyPȸV@%(vP *0DIz;(?@ I촲J\⍲FUL.zp~yٕg]8aKY,Fj!)j*MG_F %~+\s LFͤWCSs~mG:i%΀;m@f=l6CqMlbRHH5VaPl*huѵOa;xsdH/D8u LO>gcOv6`Dce.yOe}Y$[~d #@WzzCl]ԙ57~j$՟) 5Z.HI }Bp%$4Xl<'q?(˳B3`V=.H#ޘt`KOe#k-aց:2KdǯI|j|0l Jn\?K혃e|QSBߛMS:yڅ<ܕ5:Ylg82rZF7>L~}5З}D TCRwHơxrWb(~}I|ۄLfY b)"@~xKa2Ei($,wT+wHT5Л(FH55pɈ BCjW^UbAM%Ia0zcRBQdmDs4^F^E9fB-2c I-E~GWI"HG ݊h9`UPAԱ#ZDYZ=t"jxPlɴN>_{YXrg }zp |a<p"m숒|BaIX$y5٥~˗xH`Ƨ\*00˫"l5nd"?6UM,wBÓBCZ+o*;jN |DmZԖؤj.G Y\kevh[/$Y4]GB:Tt:`.s9 qM]#-hZ&D&13'lFs71#Mm6T?٬#K#y=vCccN:| k@Hb0{ qHZU#2I*&vM,9j*u5,TdOaBI\ Tq+ŮC(TS{'JCDzJ0 [o&Ő$=n9y* N" ]z+}jqsBڣ4'fn@u ymV8Ƈ#'\'´.P1ѽLA+O!8}_-yB|ZUdLTe5jfi Gu tۻ]_JH8w 'f} z_}Xkfql'Eg`QGs+ż|$$M}׫(g9(¥Pc~9[f9IAJ?S]hIg%} FAHgRa nٖK&ׇO Ʈ.E+䦂{6g#7> qE` RUjRAyvj|"u֪z>%$nCyf&kܣ$c.l>NIト֭,!ynDT}:O:by\.G+ۧUy ԣV"c6:7XTU+uC@W( V( }/A&ڻ!(m}GqzK Y?3ؒl˼ih%Y<+E0+%5H)P53w6Gtހajke9Ck{9Ss>?I.WP;# 0fgX*ZMTxb׍n8*[a4g 5! _y 6.WKkohE6 ޿^w ɍwCuSS c}G+j=&3RXi+,ގOuTE?F+0!kAĘ_“ȗ^D@uП XQm+_W,ck>5=-񠩯Cz:))K,w:"P;D;% >q( SAi#M??OqI|: #gQ#s1CI|O4Ń{Vj/bq,H$~DVh:ڔA)/ϘF԰J9j7h ZM><훬T+g'!; 2]^l5y7pnO:!9k2\)[W"/&XE h$Na[Yz9]P=V!(T9n BQ ebT yK˓~2OkZꉥvD}ʟt g,aMWH!񄚴qtXeFQ$ᡊgk\>}O+9a1,LMX'/Sct;y &U1g\Z>bR P N}v7u:wK+9fzu-W#wn]ȩp)wX l7f"m9ƫf}zc9A-tqeA#3(4 ɒдcG8kS+=bB)>hY$Bz:.dnQPT]پ)72 "qR2u+n}0+-[(kk&+_M3Q6Wi'ǰ@(0kɱ|Th6^Oi3wp@W}MJh ϜfOFU!0,08[m7'u R$])z\ZL"jTt#ЍsV*MyN;RmH|g?rLH&cmQ{Qddg*3KPy^[jnY} ;=)Q(<ɢv_k~a6BDL6R&66#bGM^GBZZjjw =IN(m$ ܜ vv?ך_>r sF2SRz;/zX,$j0!-k S6]8JqT8.Tnl\""TSH%f7J h6;-> +nP =>Rkὴzhz¡s6^3cj5M=VU'mla6Hzj̡4ӹ+wxcgco-3IR#0g,ƶE^-_jNfsyEY_Mdd!I}k> "כ"r+"nzӴgh:TzzaBAEmco !NtWu]RLԤ~CE:6΅7mݠeP?;iю1 aTdZ6͐jʌG5& k Q=Oa#NO~2*%cS`c\6@CkX>h`P%j+Vې3T Qk{!}HIn0"k1@O)@R'5vDlrf5ם<%=qg 9 G֕BXeN) {"!kdU+^\P)ώ5nr |ȻazX{DVspI$b.٬bĀH{Wc0\A&ɴ=8uQZbh$b˱tjZ>(W~r~ .xǶZ)QǓGSmԑi.$ذ7VRnU$SJpL"` $ Y<6q\qwa_G/9f_eo,:Td?k"O1OoR4 )%5Һ-o|o}5#گ-6.5~U:;3bMh,- Ld5BKr#GBIpw7N[1OTF8l)nt ce.* O:x0$ؙX+. .}{,̃\zIGllϒgZ~}px< %%>8$ʴ߾W Vmac"l\84fQ1 kÕsG65rF(O6z"ݲ-҄f{ˑ;ddBX?I7pqIK>! (>to< =&tRXswnŸ31]A'hI 9IO{ \8XAl~sQ<(޸ >UdeT IRF~e"$*'GZ`c c[GTi%:LD/Y0o諚xҺb s GE.%RWX `5حn^Gy7eO}.¢"LTK[su@F/#-oD{oJ/~l D =Ց kc:+򷭶I`ҢBڻo#?6٪pn #eR֠Y#lGXDq6 )zމd]\]XEo1#tp1pۓp^K-z0)'/8kJ)T ` S/vJ~ʆj+JbXS1zc JDFyH$L)C),☫~vONyorxڮj辊Ovw`};b%TM}# `guu.F;}{?C4:10La*zYpîlWY1WN-^x'Ċrik\^7&\'ZO;i|\Ȋ"Kϭ0'}6txBp7W:ܾ_겡=~~^7qMԠ@ b?\4\!N xa6*b5%QXV|[9ǖ `ݖfE Ed^x2Wx dqˋ |@c Fh2d 𚔩9oDfp?\:hˤ5pK'Ig CPLBT=,%a9%ib6hfcy7GJerIN;_%$a:FV qW&yv%Y_9!)jY岹gZI_ 9'[bZqS㜈 \\-cƣhjͱxpw6!%XDj#ѓ#m TTfvMc͢C3?$>8a8`[9[5,*Ӟ|R Q0هkx6>=Mϯ8 E|L.ӹkX㦢K5sDiK}ו>uP&#Ѐ"^!ŗI eGTSw%aP9x?`5*OS&};FZ"D ~p`avB<^T%RyM?A9="Z|ho:@EIM@ @_(t$gpgσ1͝ :NVP3q&9y_q`ƻ S\_1PSxяXxe@-7FP,gi|sgPӔ\msf@\IzBmPg^Tăr& %w]..=4`W.A"m#IQU 3njظ7\ab} QyE1虆+Pƫ]b6 ;-y%To,•MW:ZY_`/N!{kQFZ۵Ŕ1dzf<%ݧgiݾ5~xd.Oe#ĵаח0Qn49`>g!Y{#O|7)W@ :"K?WoЂ)]EOew0[6I4E|^\jUgfCYE 57~czł[/ʁ;o!?B5g)I1fϲj,ljˏ -Vw` |T yd<F9B7 ֆZä"= i0"&']ʿIYܺ'g{/9_+FjsLimU|F9O{ DԍI6 ˩ ja䲆`haAi+4.%ΪP`1P@mv.(X#38岕HmYN3E0$9uAnw4>r?U2S3n0 J41{'ynST`CǜUb.^9<uMxTFC="tyda%s%"hm*[^ 6u@e)>sx#}&W8q|joE@_fBnI6is꼘oKT?񘔶eΧ͟LtX5$W` [?LW)8[*Y\>J5E,tLNNE k;20|]tبsL srPdDP"[+6gUjW=56/ʫ3ڝp{ajηm-M":(bGB+Q{י/hUTl(fRtsnu9JA/%E2mY^n),%4Y,km\#xIo @>awh}"k$tW1`͢T [LMfU \jK0x8H<:5h:x'}dɱ 1? 6Z00CQ4I [NDXL)!KMȥimN396 ,f ~ᑫK1]& 'Jog̠yHo_?\/nS$NNj"K NJFDX8b-)_M1?9X9Q)ӆKaE$YOGUzx]I۹VJqA;g 5Eh2\nJr b3[]ފPf: -1:V%;2ݛ_ld2Z=Iy4&eVL&^ \BcsW3*WYZ,:7?UyaQBz#Bh~ؿbtR$4- 3N nFz [!ނ$ 7lR쒗ai_`'iaL.ŔΨf[OǠ "-gDRXBjswX}O{sbΩ+[Nv'$8Q7_Su ǛIJ=XbnȨ;AFwۯF|jʅwWŠ1HQjMުH= HZ57y)2eeI -ꡩe#c]@iaX Y:AGKΈpr=[;ˆɧXk{aEhs!cJZ^m8N*Bd&3W}s~knzkf 9 "\Uh릪ja 9t Vh #_ KQ3$!FAgn2W$ϹAp\H$|3Fhnj8诠c:=(+G$w&EGZ|dW!I!&"o"sf?$ sk UFۂ1NKw'cz8#>!!lO@yrFMkZgP:p1:+`ұ` 9)w٠`t(j(Y9 .yg[cG*X/@ D/i?(QQyDՙPefayPAVYHswĺkސ-vj1ح#THBxPX˽ RgKTij(fػ" 2{^(?uAYzV̔[iHT+v_هBȊ}xw9TO̹SȀƺ샎M!\MR8+c7rIyYݙ'Oa ??P@6sFo@*Z-SX ȝe9''Y$9G^W>S3wo m|[m]6ۀd''E*E5f CsǁcWɹ&Na Q*}tHwK ȡFv!ɹDExہ< `=j4@kּfl|8+Pl3wVO0 U+&ps&SjX"ׂu)[$HPoT.lSOIyirx#FKT_>T|,kxqn`'(-$70O3c8į83v\o$@b%WbP\iA8'7dz%ө3mhcX.7ӥpQ_5.ZWSJ@21.J1IP %5baggUARR~2 L9,pBqt#Ui9> P(n].ᕉt/ҺHELuW>pME¼IּuKc)كE-,/& 2RgCpI u& ţ,,"߄CrK (LjҕP.?>e #(mKؽ0a.܃ 4: LmIeKq@bKD GШNION S\W&]ρ}f)=w댚025%s;Uz>D'0u>Wo х#|$2RsE߷(:r21lV2~)0^4{WG師䱺Q~o<%R8| NG[8~a^i.'$~ԵsΣ=!ȤF$ZuhbIo|i)OtC2)$SBq&}Ww d y-#[!;D\?7A3'(hI-Yk*UKSR qI(Xw Pd!1coTo皷1{}*7ח*5D%)j'áKZTsA5{Ēyu"iC#px={ų*r9zj5fTyI@G hqI-F()e})lO7Z3eix)mȖ#k9PGwTFNβRO3&k8v93'7`t瞴Џ$7}&2vE#x4r ݾᆁn jOٛ d\0N9I G!HVGeɴ |5D 4+G+c <0⡮K;FܫvY`-9}RڥoIeD fFK -r:Z(ݪ@bixbd~5h~.ؙ;`妿-RX[laсV'94oK)\/veJM!KXC4B/ڔ&c!Y`x?x~1{r:s'M'494;$[ww 6Q<0LKa1ڙ_Go,@WO|ڹLNM aEAyoƿ_Vqסi{4~U.F|L7!!3S(GG5Q4ۂ̉<[ ړֳwّ6Wz^OC URA_?]O STctN~Id$FoDv)6t e I+K.Ց>SW 16j]ThXgvS*l.b}Mn>S]7yE<rq֮ያÝ dQM(eUm`@vTRfFf8M݆Xƌ>UBj0CNl:zBTc-VH*%aNw'_S#,Fҕ _p^8yIx%Ll0qEm/ | |Ͼ"hWp2\`*gv)7RNL˭Ҝ.TS_Tʔ1B7h]{pϾG|iXmZSٽ}^[qO9ݎ%x #=]ơ遂mHݘjuǬJ.ThBq5˞dwx Q+e]6d&sԩg/ v?C=X+,:|wx;e&&c_:p(kV9Z1Al0rߴ{maCa6Hvv5'& ЅU^N#a ~#C՗쳈`+0Em렿9`Y׈Ң#F"{eV-CE.h7Sg>rO6!Q̸gTUz&ͽm %Bd0@ZyzO{W.2 Wؾ4!ݍe H7fRx]SML؞B?]@{)ĢBa\$/+ȘwRxyb|qDHY+D/eݤE #hw . g] [{sPTG;KN&K"V"b $W(s)o64it᪏G)ÜcumNaUw&;k$Nj`] grO8.Fmn1If䋩 \TJ|9\2ű?t}hNB%dU6M\I9 >H pέA+1Vh8͍2c'CY8[e~IͰ"ObzႜxWpϚd~9 y LÌAKs ζ0Y~koJ5#&LWE5hOs@/Z򷱼[g(f twMbB#}BaB 9˅pdi?fn6r4z>bRObf(22{߈D!Z_R4l YR19} axknrgDiʄGF9ϝVެ.g+6F:c߫vQz V"RA=[ !Y\vqÞQ#C AԆez\iepGpj|IY0Moj##VEvNAg;>-a}4 z?J4 lmbQzVFdHREW~2a$GJ]4J58סk]iC$=m_o qǁpc}xV |^#:՟jy FIT8LA>~ y:⊣Jn %%ُVRao&*괝Ya(+"rn+R,G"?D-dOmTc+$U #huV`eݡMX};ь# p apl#>-vOBZp==f2PfkSK>N(h mnbk, Yk޴t\o},TI~ i"> h1Ӱn~aA@iD"${+}(D6JLi$X[3'KNhg[G:Of4{rM~i干FOݶHc/1ϷLo7v=Qo_mNڋ'sCx] uŸCGUAki?YվG#GU›H~!fe2V }lUuIs%eNr6` fĿYIcp5#:s8 NzJ^[IbŪ֘#rJ:4(\L6u[<=uON\'j"{E采a٣D i' 'C"s6R5sBPwm-{0%c׫I3 1Y WTNo3qt1)8ߣ!ǵ" nCYbA` Oo yZ;bO0"s `N%Ui$G lkTݡց]U=!ݸӿקv`eIm\MZjSST$8݌! "FT1ԭ3YMlW2GFY?߶[ \JOY|4B kɪyحLJ@DECP|ިoZҬ) VWttuH SbIG~\SD f)QO{Fpw&G+{ iƽN HEy<0pJxwq5ރ)qYD+/m;.8_7 .y1%{b"˴YN0k4rR0**renKPogN,T^Q `3V!e/HF".PĖJ%fhu(-;eo?]L+HUL3ƶ{xC2_H "#}$#4n!u`&ŊC\Ȣ[S;JX*&z{E؏Hvl )OTi#΃ V'{2iHE9ɴ My YƁ2;3S=Bq`D ^-h]Y$gT)X |+of)HWX+V&f}}|ȼ: H^ƚϒcCl3!ixqjq71R2u`DHY5Ļ@P.[ClOkXͨ!]<8ܮa+"hӈ*G;/HgTCʹg|:ؘ$59*\<|s//;7M/*cw>F@PA~FHwf=}O:ZnMisTuUdtYHLTE7?fWBq7Wn_>񒙝qEi]W7eE4 1+b[=fpA&&=G>D;Q>>gV`0rYClk׀.?yvtҦOfTGfwV_j{V͗=baӣ1.o ՟C_@,S⻒)9̵ueW3}P;n<[1P6DzFJG $nZRPȪ"+8悦aDwNO)ľfQ|ٺ ?x uL&8`stBw$H׮uaf\OLrXv ,m(Dp)oM22&I\!e3ɝXPu3h>y eu((ġRxc^d0sF(em3) }s|ry; &#@Q 8fո@֧ @tBѮ_A(wEAR-:ut>V!?O3BӮ$k'9@aL![rv=p 8b580019jZ1\}ⱷ7gS(Cb"bCAA1.[Gf-Ճ(Wpj0Ex]`Łr$u暉+:3~,J feG焚3¹[RJ_ho9Rt8) /4۸q*]uY7dWċCшi)v VjXRqGa]2YIᬁ>J5tDe?iFǜ.Oh|dgQQ1hסGCl+p 6|+T\ vnXoTB(8ϐg8jFLʔay˓mQ}k>͏ARuʭꢜ"lrJQ׃Q0)j6ϩ`$GLĕ hg+̅hSX%03QqVGPORDžbu. ,le).T~!(kR,@j#Z%y1MyV.pSڟ(RPe%ݭ K mabԈƧGL z-6'tƽa+4AH21Bx›F5N1ݜm!>KnћW@azFbow0˗OCR!bt`z ΎcaɐU"X0Ͷ*Y @VX-bS~uBF>}S(dEI įo FS 7AɠVsƁ1蓅Ybp[ܒ_5]/#;HqrrJ )M8PJϼ BBEr}]~S]й;%F UB|`귁΀rxztt⁶%Κ$x4+ n, 6k+CPE *a?ٕ0vSͱBQЯt9 }U:ܳndO]nY>wnٜ! mݻqƄ8)Xz"LѺ; n=rt?ϢV3Ӑ\gWMތW7vhm4F4_{B㥝7,eX߼; VU |:%{bTsu'0mwemў_?x~*pfőx|*m ֿL!s ju)9,it 0a=a}`IwL&CA*S2~-Wlk'WP 7jҍI]ЦI/z?^c8[y|\œ+C!֛4oJ bD,-Bu,QpkBШ 0,8 Z"*5k84 1;Z3͑T3yA4'D(X$xWQvq/M7sBru jpƌQOp`[HXG`Dgdpf.ˏup2D&\g~UچK c}n $t՝ @)]rHBW 1ϔq.&3Ꮿ?E|L̒ &*:YٷU0zv'mW`"ںU_|,@AemO lƦh[7[oq=GpvWA^Tk @1j $۞ǡA 7=ϖ#Q" vE{bAܒb_ѻ^3AZ"ӗB0 WwvKȵ otXND3i"fk.rT}*庒Lo)< 8+X1~~42`H_(Rw Rj*O9 kOeU BJ5K8NC 1,i&,yjY2 G dm4\f2s zU fyyr RtDS9~Ec)INpzBMΖ|hrz$;]gOWQ4J1h臆GbZ9Z# ieb^-gQS WL"ӑ tMOfiNl3>lKT"];]-tțozlΦV4n ;~Xc kdʄ7Sc- Ije?rYR`s;&5r:9$Ժu,:= + (buHȡݛxZOYº)Nxmi5;:dS]ȼ"Қm C@EX;KQ+RYoH5voBh2gtWY-Hm HoJ{LDZ_j(qWtx=-5EH(k! 0 8Ck.+@(Z9K?_[6"Wͺ-tY  i[Nʱ*~h-^=T6B)ђfhtEf68!x]Bx9 BER·7>yi=W0=.iLLx1VNU c>Xa2a(C^'`L$H"wnx"Ցcn!2.,WѪIfڰwdڙ0y'9b 06[\.Ho9SC8 n@7zs,{?Qk>:A07r`T;?8B-sW7 e~1 gL~Ke-44PV q G $@YFn8"Wv?bNiF:Xmů_t 8T"sirƄj;0~Vؔd1ڕ#&"c:rӍ:E]cRǂG羥1:\^4Br%]t`u k^ KzK5F>s[!my_^CQ'q`02@`KR\E]TNZ[H'W6MlY.?4Qz{@yN:+5vCEo`^t`2=S,!ioBWo6R|[U9vM);.{<ŋ>9G@+P>x8oP\mRI3!b[؆Q7!D.ŭv1.&49ŮM"#* =_8w+IγQ ߩlxfgf6oS:i)$^Ô>[e w"fи3# 3{J`$p떸z T$dϔ"j׸kQU"!uV>43XZ.z/78_EkEict7Y}\k`kSj0=+D 6qrTUȢl~z>@3 ބ; }Kz8i#±1^N2ǂOAi=@ CSG4y+iu|$6U)21R u|ɽ&@)tQdwkϰ'7ۤJחk|?jQ ۺ PLG5'7†%DV^o`y]`hLֶ:VWK]:Tx!R_bd{łdRuDE"*q*g!VcGl\f\5}wi0+xSJRXL.B>(-\mtUmwo{QngzV1a꺭(JvcF}\c[+4MK9C| *EjQ7y+?1@xˆ/Zц*')k0]U wzF7"Oz)Vkh]liq)I딴al] :U9qt?'u9.<m[䐡 ܵϱxa+"] 6E'Sib% Nj6۳whU|>I\ZgJ! dZA'ڣ4BHåkRryv+}@SAAos31)xIG͘>%ZmѧsNC]uUu'X60\7Q, t fջz[b G.A|⛳$H4z> @6\`uDwF5,<0 ȌpH5k#D7&*.-q׌&StgUʝ1QBqtch}S\qzcN ML s5*w:dpJni 7)(j TTN"_>e(hgڬ[cje>BlQs }\&l3_V5&Nn8:ڲTx;JΙ%}yfj =i>!mP0Y_ Fv!]ռ ͻw'陬7nQmʂt s B)EAQ{H$(-]~Ϻk?7m>jWU 1q @0j}%FQ$wmn}5pSm)Eߣ !8x DK6SSAE_̛i~v'M+d) S0T<^]#_YqKvlݙ;!7OKVWN \yfCa9f~ߙq%mSL2ts8s ~zZʐi(/( tF\ǹWսk.(sʜcu:_b}^ql)gQ 9?*4S" vEhJ|'Ҽ,do| +*kx4S,D70WI6D,LCOs `R!Dl=kRcVجyM[}7u$ik/Ӧ-ex+;먙_8 Ptziᒰԋ8^^Oi'=@j[̢x;!IXg|4HKU#;m%v[ڔ&I3!r~e-tBm$C~Gذ=>} P͐ \(? R7 a-٣[*i9v|4>Am KRy /<=tkh?dy&ZoSp+'0wj+3כe@Fgߊ7(^D UtMoHW9+b3~2S_H 85XyߕCKK!(jS4+}vTؗӧKDIӢUGIt# KLh<&QemzF 6S^D!6zu6h~& *o*uKZ[@##p~s%#+< mtn~?ѧ4B1?,h̹Urvde]LvnQ|25y6r- 9{IX9tz?π%`WL2j&grgױ*};Z΂ )^[Si7"@dvtʃtp5':QShS†AC<8Ƀj+"k:t>|4zBWo95)fC:oYMgU&"t+^qPExdkR=UL8J\TW7:eA.!. jwQs ssB}DD^%"X۱#[z{e)\5;e{E}]5Zzv dD[v] U"Bc9fm;SI5_ūuYFx|U0h7vhWxp`ToF0::aYN}es,9À|'X[ L[,% Ӣq vNkrn"6p#;ŵ^@%~:=Nd{rBȝPnGc/oLV/= h(` +ZEɋ-uH-=< #7Fl{Yط+vi m#M[0h]=Y8,hTrDE̿cH?wjZY1n /9ONĜBWڿMn8>"(ڿ~,&d9;]X3F\2Cy+Qw4X.Py|7EIz2t8SFՊn?p`; ܐdn1@mյrMCEy-L{avW0aF)J2p_D6‚u/L*"EL;۔]AmY]:P3yKk^Q>嗪}S_ .HD FRB~ڕOOb[L"&RԲr,*HZ$qVT\H"p0`A}: e(x673X& r Bײˬg֗f{]lJDrNXvX7ێ貥'

GG%l)rHJB?;hB߷dOSn-@{+'Ơ!Wu (lBڑ+~Xӑ Ӡfu4.:,RnZ`wG[dzo['(dKe@\R FP/[uè؂ʡrWj#50 Ń4 c|/*| ubnԴͬ2#OnKb[Q±QdbX7|V%]9T[,@X  ٬4 } U7Zx|uat{/34@[93@PfGi2-+!0QN)?z,$dp3ceֆAY]vzwVj.dz̬j ݐ]d6Mi 7Ƶȡ7h0P%]Aςo.)lD* ng%j1ɱmۧ-h֒> Wt̶ dL6΢w ͷ!90ޖѮ+f]ٵTb5^ъTDu]) aTיBbPlPSpFESݻtGr^7GЕ4#zP`GrU2=A n1[hv:ɾiʞ](B3 ~Y[8Gk}JH%v|nz“MPJf<М6.9 Hb,.G,\o8 dgV$(`vlȿ~ؑ\* =|XBa{5"v=(BS^n Q>n{}}d_EOpjfg՛}1kaꙒ| .|#Q&qȌ?D/. 1\T- ] y 5C=9E_B2h7>k3`2`δrWj ௌ+RΛNq`~qd m2&`>D`Xu WW(dmg:;N4ԩ9H_{ۨ>syos8ăbB "^C'n[$ce;Hf)ŬTiATLgor?W}k1T#4mc˗;gT4Ѐ¨~={p,fSdSZ)}{LLZalv@q>=<,H7w?=h,ZG+kԎyɆ2nYvxs0;{X` mG%ᴆOMbԉB$%y4,88G%g2 ~q_ᆥQ%^cO/ "J:!j̯|e+j&^8YgҘb7DqE=ʌ[:}Ģ!"TMrр3}ѕ&+˴ن~Pi겐'Ю/4@0ۥg>! 5L[TMI q7 v~(CiRЦd}ӱ*:o>~u ZxO`&˗E5Rl%tFb+P  R;!?.? 47G#鬩5\Y Ҕe(NwDH-+^#]Ye#Lbh&C}>Y}9A.&؍)cmĠ[O~Ԋ0% 7Oi\dXJ~Y}t"w{wEr-F:*G{91^CmZ覌e!:凪S aMa=!S9@gg{";]D ξ8{T@Z.>AKϤ}4Jm ,) 6Z*I6 ( VZ^ \Ycׁvv̇)!]b2x$C,Dա[pX P>RN i{g7qyUHFMhSv\ߠL83ϯ^ O:-QѤ8j~~*LTߚ|PkÉmHDn5zbEP@:ۡ:n5ZC -,7AզNՋ$6zxj? itݏ%o- Ɏ*̕dܿӼB=;DApDڮ4sJ:YA-#fjuvy=\Ws+ef瑛cOL*@7/aƽ4׺OYFk*O`b6] Mp" 钏:CSA,y _-AQR'iϮm /ԑTaF;bXg$ODb:Dc j♖\(s3\ol)ZN: x-㫃zz$ K*lTktJ=Jk^S,vN,|92%)Y?'55"()-Wࠀyo$rJBW}Q֛ v?ڃGbOv/6,/Y/ J#dڬf LbpygM@x^ɋ]~9|h83ZQoņZyrI fy\ R#QW7d}C8rwCBcu`9ݑ~qTOP -*Xb{d~$SǩBJ!PF}pLĴF_η|CQ_qPJԢƴhM^6 6BGW#HT}z,qP@2 7$yWV BRZO^1['c[5S,$&FW .W'n #7P ocgo?_#\%Y>7@r( r+jG׃ZeO4U~ ?ߨXҡ11}y5l=\=xH1L*M NheC2ejQ͈7dc ɲ 9 & ù Hc\2[JXI)*L[+'<2' Ï|;5҉1jBb#5g˱D]ţIJIjÂa`#@Y&?ʫg/zOᑡ^#_&sP[w4eʤ VG:ĜSC2dhmTR_i7 v-.&í!P2=Rz esx->$"n\s9A,GQvL悮,-'%c\}1`30iՙ4Y0z¸ <?gr-+tT]"(&'{ّ`h]ש"/U%c9LJ?Nl)7v^S3ZxgG$kKl-p0OASfDNѹ 2Fdž5ʀE30fAH$]vH&̰Iv7y9Xʮ AcTip"#K2 ݱ`D+K4j9"[JbD k&CFXC.Ԁ8QvP fZڸJ~RCބ_Ym ! .qo;;r&MdϬrWRI_ײ:b`B]vf8kg* &?@ Z!F"z_=1apk_NC ZLNt;iB;K@n90Th) UG4>_kE1skIgĪ.`#;k0qO6} S= Nك&lA];. qi ֪6desDEndCXjTw2^DZ-Jiڹrc߷|PCu2PoG_FEpT&8= FԠʡSWt^RH3 M䭀Ij;0v ^R7OUpywb$u)ρY&ꍍ2Vs9k**zd*kߜUr8yl\L%5d;5}|UF0^nFs1ОmEnk7Q&, 8hj-,獰 ¤:!հ&bowL's Re5k,='E& 5!];/5q N+0:$jwO '()yHHT^ytBxpY38,7<$8Ѡ5~=knwg{۫6* Ȧ>AJTZM48\h]??A`IU݁X#X^8y_dFltu XOSIoS$UY[}tl|g ƞc~<׬F-'f/u^q밻O+ױ靸FRP)}Q~ @S.TZ e6 n4*AD"xch|k؈RB&ꑫ#;$W<K$˰R1 ;k&wJ< ќ|D}.݂rNӽoQ[@EWqT%U56 1I6~"Y_Z$vrv ݏNнqsxdVwC;58a @՟.seoioµSVF@g@>V~ʐFː?oX[LE(|5\ Y[1 flP8"~ Θ2\JTC+qTx}p>h\#9u:jua6-]OM 9ύxhC>d[5!Xuedf,p] +P(W3UhӺosP"f)r]~Q(nvG|6Z6idR^JB#ZXu12~(TZ`1en>,xݎl/WS{] /EABSm:lJ:[e̹ލr"W16۝8Z>9ٽڛ#$0[ U "k˽ɐi~\ifJ ,`Y5YXܻ ܌DW'[vXnxymz+~-Ziefo䈫ҕXUnXǧ>GTW4\RWmGG[O [m%g%}!31'Fj蚊d1Aw:ӍD(pQTl9w>hE?Lz׽;9,,Рdzq%㇛Kz)OwNiU*0mJ}-͙/o & eHK U#h5V zRh{ %hыݨyѤ^]f%(/ZmJV_;㣗ͩ pxX DDX2R{ե~`kvoQm_:y0zt{)%T\B\90>u|]ׇ4(+)eT9ƃuzc(! /`iJxh oȶ6.`7Dv'+3C\L=A\H34[7bZ;p]08eb2||L y?o f(u3 /*D}!77OLUyWu=z]GyHO*â7|p"2LK<H36S%ǐ@۠Htk&n Ux_LHbq ϳO]•af< ًWpZ3ܔMpnufK2Wa wm/c{{o),١"xbj/um)[c{ I-/tTWJls4k?qA k:8Qjksz&ztImtP4FwԱ l(;2./DRUDZ"f .vBFZ܉c cVy`1O.obQ -E7/ֿ'^ %qYH7fq^X~N+ DZ<(lػB嗽EDltږRxP&\ U1Yz.Ur5ji?]d_R H2u321OYjeO/ҘGyi}`ksEyeu9I˫3I d-E,- ,Qvar}~hGol8!n> Bsݾ"?&U7H\U^sJ/6M];%k>X)5r'[w&Og^st ,ʦ o"[т/{$qM!ޠ#+IS@a`Y4ή:jT4-9(!%!JZvQcP]% 6|nSfQРq0f2c=H.𱳬MD*>K`nHz$3jd$Cb9Tyk7>UT<3QU\զU 4F(T(w{훵pʋ+yH`,S'lD *@ݹt[ -횃'<ej!> kYDb8ۄPqĭmkʨjV8!!RSX{Mi?;=ylRhalϞӆKkp6_7rl9RaG_'"H!XݩDb!LDM⬪hƏ`0?=$8ʵPcH|1+!2h;U\U6eWlfx],7={w"դFFU?ƐT]#3-뙟'꓈oϽ62svOJk'B 7"ʑ.z7w%K`QCY)~0ɚ8 Ef$k\SBā߄i#Ghg9W70 2 CN"$M[<Bk==[=&$)w&܎'eN c %ϜN K+=2;Zuųo\'&_X/vz@+S pГ$"{Kr~9 aoYCI]_0PT?9l\,FcoBӕ˛a3)+_mV4qjl ako!bܷmf"%(lܢ8x@wA%R\9 u=9my9L~Zi64l+Wg^tNilޏ"*Ujjө E+A8kГxɜ'F'ɖ*73SƓM_}G0f,EutIs[z!H%F~OOem!:]jr[AaWN]5~9S@%=LcOjԇ|YThF䬷fcQLntX_םޕۿB˓gEF^Q6Yi^_B<0~#AıgYZ7zXZִF! ]ŗXiɟ1qn&Lb/u[*H >F𖠦y7P|+́ (햮zfQuSu W-V͞6 V/dEpompzf_S1ǡK5jaÁW٦4ax7``=#gYZ7zXZִF! >i]ŗXi%L&TgS--K CyGo}nQb0-yAL.}'ړT\h~)IM{85|2r`Bli)}ηi^".;etDHۡj z H}$ڦ>ûI1P͝zWV.2gI_59 oV^1Ki=L]c|ph_h$Jjybƀ #hឨsȉnو,̉l>@ݟvi!ouOe|V,~/k@5~ ?dVB`ց7wZ.b 69YjgX$}>K}Ĉ=N pKtf ؓc>'BVfa%NYWkB뜋⶛.1k7^1h(Kݙ3XūSӛŒدB-KW9$b;H_Hز(|ڝ%5.W\ oƭTnnz7I_ڿS]FJfI^'_WHf2,Z*l %qK(y;&}k=m q|KtUpIs#+c[cgHܣ iL*v_0=iSV/s"!n!@XTȰ]Q/>Ўf.q#ZtT[{dz;+L{f/82}y]b.7;֕v-i~&QtN{b^Nwdfypa!sR!!'.K䗮{*^αf>e7W A~Ykwqm,L^ޙ395ZgN+#*[>kӶ9 b[͝P2G˝;AS⺏7Dxn] uB(/CҐ(ָ|sڝΉB[, . ۭų5]s]!% `tEXJ}7uZbX+Y6ɪ"Q;O-(6 I#~@6ئŋ{ qUM׻u,E03ѻfO |(űgYZea0dd5dd3795030e569fcde7eda0a19fcdfd4f649aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535