SQLite format 3@ .0:  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\\ ]% HOL-Decision_Procs:threads=6elapsed=260.085cpu=1157.788gc=163.768factor=4.457zXZִF! %:]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCު V'*/q1ް$t  .i=BXI<_SHP`ǙݜH 䡔X`ibwCLTCqGЊ{߲羋}P7߱~ ަ3aEOoKEuN~ QWaˀ}@h|%GaH,a^.H0E^mtဲɚ0 ֲ s}ӛF#.*=*e/TMLe  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 Q6)€\ i-R:'᐀75 2e<1v.B|?ܕ@bH?IE!G{իThXGYSiOLMHE}Vt&ds}C~:Z J .o>._ZE~QͺX#x]>IS;h CY\ "(07uy -ąs#~bW1𧻓C9d/mYV?@+\4~Oh-@?%;?c; #Mu `Eixm&;LH\ʬX=6Nń{b\FErhu]j {>& ;dv/%Ds\ZS$mb+BE3Pn. EgC5 :Jշ{]QTy3}tu`]lcc[N-wUQ恊4FPڇS{GaIa2m̽p};˔DӉ8i+'ǫh!X-FQީ62'I+_,:.+O-]HP5rual2"Q+oy:BW5""K,T"FȌq8(@sTBd+ap*5.6(| \,RZ:kg}WZ%gd) TB;f(nb&g岲T>,F?4(jMoXbH/qZ p]ɶ|ecKQL'&e]ޙ5rZxIs O HQMRe*Ё ,˼=|IJ}μIKv>9' :{LH)!?5[< ;gdGI6+SeQ#ՆwO5(m.#/< _h*q<(+@h# t2qOգb.JeGFj8A:>d58tߪ1^LIc )Ą[!5`exD/RÈw)N;y j!KZf)m ж,_o_oh!ώR==wW!䒺VkuMG8Mf j,s@6-x6qSPǁG*ePҨoʼnUJ?sB/s.3) bҙlU]`D. q9ͽ MQYWTWz shpXVX("$uf{u~tS>#\c`Ğ߹1싺0-c.Uy+_ K9ezSX*Q[hOh{(Kd  +-nuʏ:{|Ѯ#fU;:z(gpa?{#10Xs.|>]NA1p'cpcSu.y ܲJx({ËEHS(hkD!(ɨfV[iTֲVc\=-a0w4I GθkW~|:( C3b87Y&@"/ 8b#)Uc4y+ںl:u+c(#59Vӱγ)'F;J`KY+/~V;>?ї㞝#vP.&ߓRHT?:Y&*銠nYN}*͇jr'^!DFؠ{tϤS@pw1JTdz !g3dycIZJ I,< T]zN CWw8/_Bg, IG9lE_Yt/SEy(Q/ٰ0ʷ"X{*ڻ{!asCO&0ϩ@:.竛! efy1К[-*-V#x@C& .z:):IHQTesl4d]pdvp |CB Zx?_`]?x=7j~/!M!T1?:},huƂJ9DtXVD26zcF'/Y$qi4sg 5֧ HOrϚp,F-s#9xc DvXi{9^R"|tTR T]Ƞ#ўkKy9 c.3@)$~9oғR"gd-Sɦ=j"O}{IMҘ~1C>_u!UvW+зM+h4n _s}S) fb)U8\M1~*-1фC,AR`ƃsC'ц7Rg jz7f-4(`vrť(j0s24GOBDqdv^J!'rah><łoP[}QKKըcY9Vb kN ~c@>ߙqVv#G-:tޗE5Ն{ֶ̳'N DR^)\.lF71}&ϳepS'sQz0f;/+K{cDTv=b꺐_U.pkcdlO^& 4D4z@f5DD8j"оD#_X9TxU7&B2DFgYZ7zXZִF! ]']ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|! ܆?.Chۡά^!4~L}B?ĩơT2s45: 4Ӟ) ]&+B&] .KL}iV'NrK.P?|ުV\9?`0Zr'T" 1wÈxVz(2l=Nߗ2DhR@ d2 yI֮n([}s[?a,j;dC&Q K*qVPQy@vBqӜ婾ќ)mwgٶd-I4XRy8:@uv mgYZ7zXZִF! T]ŗXi%G9rJ+]ek!cy(lͿ ?UN=s -O5kfA4s1#bqP᳃n8ܬD̈́ϰq^ڮ MsF>~xuXUu/霉{,-aP[g.I}wb 8h8;8Uh%>}VF5SD u~~40zcS`(2I޸͢8[q/JWA( }A@So--3gGBϰcvx4yF9 vXfK`}IzE)L\{LҦ"ϙbb8}lX:*jE`nki.Dϩi*EF(  YaJcQq6W>ݬFň\l|<2z~ǪL[Iq!r'G&Ҥ ը6Ū2@2h_' ih%P!|UDo`stYoQx)mk'r4 Z7G-P6A 턈Rf,+@<oǙ)]>PmؠíRPK2F/ze0J Q N,_ˡvͿP=;ĠOd4KaNu,{"zG yY0!+Z̐UFXIJ'9~0֔YءGut~04f+]fR׏ [ÞC0M*Q8x7Vȣa*pIh4fF,&3\ܭp @/d6 ߿Y# - dк:?;A *lc˘/zIȮ4©A{Y:mfÑN ,U^$$" 8gUKMA*gP3Mʚl/WNQ% K"ȣypI=#ꎄ*/-YMv LȂ+G:̜#k0-ὶfiDw2|'0: F1-~4P7B{A`]@ |wyFc:^뷟q٭6Weržc@A5 M^C 9}D<㑅Y0-P8nWDF(x,D?:\$YCGM$Rnn=>N#G7Tk5*i4fpoxsVPC(lj BC$ecH0BYrBp3J3n xӠNYS,|F,A`",$N="aIJxͪE8(گ #*QB>] L}۳;Ɂ:#,8[qt5a׻S#cAU2㫃a~Ӳѧ0j!>C[od3ӛ?E[v [$,zi[\F{@Cy/.6%u$L*<wF6pO(l'[͍S67juTap1wmgG,oq+L>[D+nJ5!?J#Ay‹p\jMKI~gOr^*װfB 4C]kt8~oUuTj@HN&)JM WKl;uo<(3' {Vni@kW-v%/ߜbӂ8JT&eL^Pu=qw#X.| b %+;Dx o)r#n^fq #$V9˪='rKhjrTPUm~Lt.ȭdJ*a*!A`}3%JϦu&|@MpxHhQ*݀6s)xI8 ➄cÚ4vR\@E[3-,2B@8z^ɲQ#;z-%Bpe*>aqꍳ?[Q`[qrB~sia3̧\Fm>&6cY̿QJf/Ze5:PvhUi2Jps!oGì&UHaӎM NZ>|%ߞ>o /!4< @?5'bgsI鴬V*jjNž{E~!(ËԪ*TC^/Qɢ0ޙ#j [$D [iI2t5qӨ#TX7WYNߠ~ڍp$."Q[2! %*o shH+f΂9!;j*GZәo6dPjj:kykChM>'hzzBq I+ihfls1'Y[󼅓-0 DZ4>V{rK +"d-~zJ`BJ럼z8P% ağaǵ3^C'q3MYk#ȲTSnx ? B)htsxkE-W|yiںSiMbJmWPZE`n.25h.'^b3K_oP'<8{#',GA{pதz:ya]X? <j_oC!DZJR"9QZZ^15"Xu&Z&{|:펝e;na7j䵅Ԯ)`3G@B!ܽ',&o:PȟUYKuZL>=.4A7fϿaNH&OM;N\6n Mpc񴉰q7)7@-* }7yu$~ 2acacyGԆ<!^#&ǹ\H@3!D^*ۅb^$M%PwniHѼ̵^;PhBIf=׼:~Ҧ%_$b@q*;"KBPgq_3֯W8s5ŸVK]& QOמIGn3RW\ʾఄ,9M}[ٶۤjXۯNKm,5K1t:B{)HXpxr;( sOz~ i VXTP%t\i2\4E#w`Jw]4CCiݘy$Hwr*f:Q5 zltUqQ±Y6fC"ĿS?9}$D0w:JĿG)A|ZB)D=m, #(VpS.4O*ڕ(1:d $uN-a^E=\!y!J#brwڦ:I}CU W BT#><Y&. CRlYY_-P`܌eкƁ_`c0IIn`_m]kAB&9ZΌDhsh7)4ǡ)\F}̥2.<9OAa {p/ OEJ3๒G+U Yҥ*< :^ā=cB&zSA¼l&q3S/  :Kάu&˃V|1Gذ=NqUE]x E@tJx9[M#9v}]/99E{$oI;3*F/pd%qVDT f&9I7V L yzk22ك,sޜ@=2L5{]7rijM-Фd"52bΥE;z毤kQ|qrvHMXdWx&Z.UCvLqFD{^2ScƱ1#iN-VN Σ۴7-Ncz-nL^}cNN,egzr-AuhVtE0bيI43׺d,Aub۫w0јOO S(t]"^$ix³P/kB`*@h\(q"6/YPtM74Dn P DP%6Z5dNЋ,5|XUpCkgpL0`1NyEA `# 4r"0#LcڷȨR~Xbi.3@ 3#dK&oC4(`6_gͷ>k M|NkibJӒ&eӽ<ɎJVOy;FOB wǿzq"o<4ǖ|A*C8[бG 2$^c{]@ktk,,zV2BD^‡ R?R`Ⱥbs졉5 Dyy{RYt".>_[91P^hHU_՜tU"&FOWo58`,Y~6+|a&(E$$rC/~՜fK\7igLF=%K8qNc[Ϟ=8aVOY*9u<X-G-=Q?=ݠe# 8Tiv Cu#ʁ⻬ѤVD#VgC!‰X?R֨3WOXM軔-Mp,,/u^[!jvf)`ckP u4%lзX3M*ƒsNXMbã[C^W-^zSj꫶-Ҟ8=Ј\ʁrSDViZd}i0:3\7s {x3-lj^bq eD!u3~+zE׼2rTY-+yghOi'YQ8;IL+O# Kl{lbimK?I(c:cC6яqg8prEhZdeeZI~Kb:ܦvǖmԮn>cV7狾¼2Y <O}5 /Cc!/VA F+֋l޸'7&%R[V~|W^Ү卜chzx馟 ,]08:F\VEPZSH ~,3Bhûn^Ӧc9YV/cuշ3ĈȊmK2F\$̖ċn$zrr*_jcez 8wL|Nl }1hZGKSrc1.>̽AE#=>/XP9orvq/ 8c[\Pȃ*}j);<3!<}K{ /Vx]W+{+ucy(vYl= 1%=±z\A}u%!\ |?}ց[`\-&d \|E\g ;8<ߗ;F[}o8(C&+_g'LvS~]t:m\]Lk`Dfe`2wv9˟6.CIPy{pѧG:g~1hdQNM,8vy4nz;c#HN {׈v'x1 xhԭԪŪ \ I# $$[?96W,`۶ԡ5q%Ґr%`lsgK?+ =jWK$`D.5MqU" tT|2X~Z@|W?a@5ZPC WaSgĮwy)=,~=\3WȤhH WuBy]QcW+<^kVx2qutKr#F\I[LVT乸9F\eOYww}0]nOw8>iylo +_Fy&#J 7ZXh𯆟hL>o9KF+K簘 U+f@EM8ME_㫼 )xA|Q\eP\00$ Ӟ0+p$;R5foD\-U}BiVY [σfVI!. ^)3BW8Q5 ODR>k[7ĖFVJ5k:Ƕ}/& ľ[!jI3/dp(>w W-29j>ѬD;1_49媷.QMHay[ jN96l2bϲOݼM0%'@ɝi9Ux(x8.2N^N,gl+KsHpd!:б)j/15 ӎhQz͹.QVz),Isr%jKG2G|i2:ߊZ7٬ufov+0+w-(CxX(h#~x>](Ϡ9ݍ2O\Qo{G8B ągEѸ}N*$PߣzP6yR)/M CwzM݃5)nVk'oqk.:|ˍFH#x ߐ~;:wre3{\<:g{@'/ZrXٰ.B'5 &*;BF&jE)-U%;:+;ondhXU|j캥rKu](T;X !oGaIEE۲N#q%9hU[qc">HTdː6G}k&]DRG)Z~Ej ĹV6wY!-Ԍ;]xj[sdmz@Y"TXqEHE{NV%`I$`k|d*©5ehW>sTbm F)}Ժ|_v|dM=FFrY_R %oʆQrsP- r,j6Åot8flxݸmH爟^ *84z,4sH R$r{SUUݻH:&P=+m$/dq5# Wedj-6O)gr58f6C ^lz>̓A/8sB#k|oڲIQKfY zgiKWt\Mj 8/g[&-Q'Q]_HwX ˶1WŇr34ߏȵ]LnQN} |g6u{[#o>IӢPcv_ ._&0Ar>j9p2flș1X.94JoM'arhNYVjKh P386hX u`&{e RPo HϚyVdS1A;W_\"M=}vG }UX` =Akp){M tX pn^ةE!~ ŬЬ3~hU7xrE*R|:SlEk]j1oXCC}ҳ>e(~!RIet)Y keO3 n3yUYzMK))>!=Ev ܢxTбY1-6;l4I9Q/Th+v>8 dy 3=Ҫc?ɰb~bLSG^ 74ՠ9~/R@7?˘CVgBGXx+fiMU Q 5W- ݅L"5(^T I#5Z"CL~e֛̼ ĔJ)< 3]"+B -iB\ve%_߉͜,tOѫ)gMʭh#(jΈ94@@'vv^b$Qlpյ-ZlIpĶ#|cM%V1z?h7aڎzHa.1a:fƷG~xEY]Ed%;OGnRpT S^|򞐐;1b}ׯLYj/Н̳^ :R9uMƧSSPN&jdڰZ p?G<3,$d4r% ;ⴰilyAT5@ttS񗙋l5i*dvxԱ Wq'G$J<1xVаc͹bգ̗U_<9&zLUD'al'>áUC?Vfǀ*jɢ)/+h! l|@> Zk={N.xK W fQhZz`Ab{(j g.Df@7ُEyr}҃HĪ Cݸvz37D0`+3Sebl炅)u(Wx|yd>4S9Ivӕ5A_LGH)[5:=Ew}cn |I]M>dINQe!wPz^&W..74eδ,9;p#nPN(SU;jL>}`Il;_m 77.,9z/CV*o|^^B{&Mq? QŮ" B_=㙭i^LW]jT:ܥhX5Srv3i@UbfKx{E2S;jM;i~n-Y +eNqQwjJ'pYH߼]9$s =OBrzu |,6y!(dV,?&";L'ZUE $ِ7U܁zZM- prh'4C3E$2痤&Cu>rVW+05w{Um@,[;hCB˚* .[ɮV3›efΞH D&Tt$nt#[yar Yzǁ6E?c"!_[?bW-SI=JXs>b9ŝCv|u}"jM\ UӪ,~IwV6ȅbw[&b1R3ݖC$~IkuBxpe Ns!oZ{|h2sqΪCF Ԡ>#{8F7*mNrV%ZFM{LzR0Q|nU svq/ryg}MѲgA?*;ɰÜPA8Y:Kཊg[6P$Ҹ=.q5%'M}BA{npl?@ES(TpqYwokI-{9Ϭr33T-=1ep}piPME5K`*7%*W]QRj Aۨ&IYTas=<&A*BP@- Lxxڱ[ßKT=oXsn/cЍ$ $ĮXp?"lOII lQ'R]g`C!dB#p;o7P6m{F5kC(7[4FDrG\xz0Ռ②*g-GJp l˛i7cdGd`K>DBf.5[?"d+1(jظ071q|}=ƿql[)¤/ 4OU!ĐLE"/sz5U7^z 9TIX-zҒ,\E;I=\(*&,Pn{ - d`o!IL#2#ʬ#$~@ta׭i'֛,-'¾lsT0%mc15rTTT^Ze2Lx;jĢ&3 nE\<,}'*}ӸKL*T^RxIUDmzrŶ落 *9f@X}agh')-a;}eyozp:4}ۚuge~xX }'N3xFOt= }Pc(O-})1֕\BrGC'V`HA+N6AYXSiʈb3~̸+М,p'HBuaPճA]4ݾ/ DZY`򡖍K%.>DBS_5&shp^^Xa)ک[YFw_sB1ha`tcsV`]RW,W#?;"U{Z]vlp o`ƾU-,~yY'UoP[!~)h&h4M>M @6un NExM, vYSXL;hUk(P/}̘; =\&Z5#X<)ceʞQXau˔P&jӵm r ]HiSf*a(֑{:#=FzBx0n+(ʼ3J5j8-[dY nvFo{)Bx(Ap< O;4 j-F@CQbMS +m68+âNB[S2; N %g{->oF:p@#գVu=)8xzsEYFH P\yJs+=Go̡4lAM*JF糑 :m $Y& 4<Sږfm_O&:B~DÇDW z-c/DO5ᛶ+^$ُPVzZRvwJ!TUΜ>瘷p+ co^%׏U[J#S+U#W2PPaw B1EmdTURu=(;D|΅(~a ږ9z[{v?ӸBW!spt6F s>ci̹;bAec+X&VW\䳖mSSQ~'x 'qq=&gQ;kQA7* =Ð3s zkmDG+!Tӊfu]؄W&U1[xj=t*Ơ bc޸sVB1D:.iiAX90}rT;͂\͎=lc:ߣGa*\mhپ"wu/K_ɜ*zu<ǿ;_L^Q?J=BBbV>rvdR o\63^ ;+  .C/ސk.u~{x=m~IR_)6:Nke32?H1q•"hRA5UWno3~C'd iX-"\[y @1 TN<Ӏi`[ Ȳed" 6؛4CB\a;]q˨#U{S>UYnCm1"Cw׋;iI- ψǣ=JAT@/1LF4K .dR JטX&=J,t:.'b قt6d*b+D,Jmu-f}9#mi(˲Ƹ4!ݷ&IP<3! boV$Mn1SEzUƟwft\]9ԫ`gY D\ L`MOSF7I$(077#Q]Il؆ 90dSVH4OEM?q0;`"^ϡc@ f}JLhg)yj] H f"Q;Qh fv wRM|9ɝ撩NJZ (FuP}7{'O= {fB=,hA_vش2˃'&}wG$[gKvKNfX 2Zt#v9̚|jC?]Z$YoN󢐺ھއtrWkw\ Kfs<&$<ߝT#ÌЉ3x #ϖ7OE4F@MAėˆTG4~OFli@/9g+Ck-(ÀْڷRUDz~Ma71%~o3<&Zrw5]^ҿDFVmh埽Mҿɡ`Rb!v9$IQsG&0mtdT 8K S|LZOOeSq|G/~G% ԏ=qqlDRu7b>M١Uw'_IgK(b%B$a~=/)9JSS*[ݶߣvQNtַդuB! M4ӺWm@q~ީ_Nh AG1, Ϧw~te!8mkn\H.z 0"A6Sf"uYaYH$>AWNj/cB*Bܜ^i@IOz M Šs3$R7;:<2D^T2ԀطŊܩ0ƢԤ8I= C 0YB&tuARp"q)6fÑ3C{c%":ﶓ|9*: Wߩǐ/x))c`9zl2.C3|Qdce<'=B1BD >&ؼ 8dp[ U^ρruSIw:?ׯv qeXGm-5k_ͻ zZ,<ۻUTY5b.Dr[z_obeعj!Lo]iy)L*EUGu?գ.}QK1Hc5:f7D[j ڮsуYđ|TW4ݓClL^K=ȩ|RN&%TEL'4M],6r/g[yMTu#<zp:$G.:Uoxmګz Yy'V(ܬojH7w070yS`'0<&.2_W#-2v63ylc,K5[n0!QlLE؜%pܴ!~r1iM8F.]v`Q vDZJl6EgNhx=w%ĎADʃuCd+VG%ځHvlSeR3"Va#8i96ArN,Њ2!),HL9hΜW&T`P.]z ,Bc/^HKW0Tc~'_01U81>ҧı"0׵yaZ ȵ"=eЂqy0N4Ɏ͛Ld5{w )D[􅥳$sBBb3! LDB#[3!h򿨛%N95c9V,I $9҃-"عTb؛ e̗f](:Ү @˔(n6)T{\˔cv.˴.G\@ N^c `lPL^`3XuE1ѸC"G# 3!U8%.5hL:LbިCpgnq,(ر@4Ml!T=VObGwr*`PO^o!͓qj3lc(8ØݘJ(_9[Pq[3gY bdg縠kit"#i' p:0 Yb'۝%E$>97 ]0S~4eyLࠛE =cTr7xZpK1OO~27c * ECEj#wq?z[=([&8jR]5#/"ɽ^8ۧ@ ^ 9hoِe1 W$[0 U+ķd7)z_?h>G\.. wNJIAzQʼnƽVѨ?ZHpe@{¥7/1ҬM1En]2Y$ ,~7fr{Vnw5&H'~H_ʏxx%ZŌ `1NҔ?SՏ}Ħf@V5s37HicJNa=:Ut+9Z_;ϸ Ay=/J+ ]Ne{fVbYk+û [= T2L!i z"^Jیn 50T4II(O8>}/#flZ_9n̬Mn1 h67% 0#pacb ,)]Wg%ep7\kyAW3(+ 3rR~uqW _,B w >O8[UK1l1`eԁ؀DLJ/$c:̳DwDG),ճvEש S9h tRP^VoWxViob!AsL -R@b9{u4~Joģ+p+~zIףsKZ.e qi5Mww5ch-m1wlB-*\q1[|I#Ruc_w6͜K)a8' j5 dB*5%: H$ƶ#}mU,k['Y6k~0"gMՃ'*%̂]O,QU[S/ן>Q bI jFűH`~J"J"y>9]"PD 몔'"-nŽ,L,zmWŐs㫹hc3ړZ;ǃ{ʔزDQZ ij\a <^xlR؇'̔7-3J\1vC$ך Z22A`3ӛVcwo9ٞ1n"zvW K TD'[m+ 67$b23vR!|2G8eDt Y' H x ˺az{tv(Qnjꗙa"_N6":^۹mIBZ1:$s%ITCfpجcл<XLJ']8r]:)=&p&J,f="~tuJS{ߨB(܈Aa9AdK_gBTčXO ]`2EɖNWh~ei2 p-:%Bnl4#p}6 UÌ?lrG5/cJkSGTV'{= Y(3PYk[e2qL *'-[:Oz5 -)un4qFm8ƒ kLօ-bQ4¡v뵶 aq.5"Ynuɽ\X5s'\cqx!*ȞI>Q f#3o!'ʑ/BCGd%Cꙃע7$3]+Kƅ-nEgYZ456bbde08b080902a38e6303905e73dc52ea01deb3638f229a7c654f6777ad6f1e506f774cc49604 383f910010c35948dbe0da4effdab2d1723a6fc9 172a9ac30825d17cd3dadca8401e56761d9b26f7 ed1a3575e569c336c6bf6b2176e945fcf0ec025e a5080e4876c808df8d3889ec41fecb6fc5da8665