SQLite format 3@  . BBh77otableisabelle_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|L ]% HOL-Decision_Procs:threads=6elapsed=374.649cpu=1435.704gc=204.308factor=3.837zXZִF! ;G]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PK()#,*oY w_  btpC|x^(n?6^Z]|@T15Ny˺uaW&ަEL;AХ:0U Q3In~,Qm|*wXxlIUtiU(}KE&V l+/]Gs2f?=oH&!i MHVyJ9I8VT Ր.ʑSV|w,%\IK%EFεm *o tijڥ\M+}?ۗHIeȩGesp1&RtD: UR.0/Bq+\Ǽfor|t mhlhζ/ E.T! t~/Q;2*% I3TTM[^;Fi4z#BNB!z.p ]N:WyU',=W?*e2{m7i{\s8K@f 8Jб@~=晳Ftf{.a[SoT =JʾmfU'p'8 ]rDw ^~\G,+/9F._&g܊|I [PUL4v1(!)Ȧ;&7oѪыx˻ ٳrL)fF'׋^NQ!aCl]38/銾]Ƙv*eaJ?qHd (t o:g-*V1҇O ={;/;1'4i?pה3Q~~gE.ewd3SKP W33SYO!1ޜ?-!xM s2ݗ2;.-2xY&vywW߄FjtU؃40lW7t3bA{ ʞQeLYxPx5 D=Bq( Y.84ogFc nH+'.f(u՟4צ9K&u6Ws$CA^i% _ǬĪG8`Z#EǦ?3n4bk@nM7q-Ǣ#2|RF;F Hn趔}/ֶ9$(kSL!h{Aޢxߵʹ6N>OҖLpj/r`QQD%TC>jn83,'"q05Z3/j01~Y h:h(yY8_X=_tFWIp\DU>:aV2?ՓޒdLɐߋ*ǹ{Ԑ#~TikV5tM=-|u"BA r5EW6S3`:V62%a2TZYҤ@P\ߓR/.Evk n5l&=S0e Ab&ۥfq@#}> @J/AW8cl%] -5[.~{U  1 HOL-Decision_Procsyi};y_UgTMYCd I\r!."F+ 8w@Ê9IZ ӭ4 bҹWhGpkO`qڣsqG_o[ Dgٲ2aסIxE.HHѕpҧ9 8nnEӰE8 UExlz* <INGLj(6@B1g@Gɘ)AB{ We6DyrtH0{⏠05ԍj~,S2WZ=~O?Ip.ի$Fd6#bRFvq}[*H+[,Ay3rt}/Vg *'xYfI$16ؙ c2F PJTWiU z@\^\+FZK2e 2V#ymlrO]QyiMB̕ߧO@Jj{:<^M&(2); [Iuzz}|uyUuH&~}]L-a[@6vEeLz`%+MlB]})VԢpwTWby~8*{M svz9 8L !2Xho)d'PeeLΔnt}R~q<>(l^`2vZ*C; E%݋+lNtfsCJwb/i2I8ŎG*̶?C=iU⁄ͼ>Tbť ԰x7V4p*8/3r ό"bIӝ 1*䉩؟6d( ^_KY2ɖ41w-3K{Ε-KU/)}xѪsú1,\軽ct"^[Y)k=ӵ1߷X^h$yѵ@H_S܊[H-K=ČsA$mz]qw97I0aî]4*$E5f^MkA}rOHn*ޜgowEX[r'\CŞ542Gg7cK+I "ɵdʬ&BZmktRbЃ,^F MGGr 1Օ(]USב_6ݔbyKv`]duLuER@0%$[M ^;k}UBQ?vWѿ8NꌁpO:1*E/f`~1eVT ґG72q4v=KΗI$Nͪ-iFwqIJ)DZ<ob2G׻UJ5CC|U׾t>FA@\0PkIj[k +y;1ry)/I5G|6V#}?s0wU "?/< * *Œ.. c 6)l8䱵AV$SJNeퟐLg1u0sN ^Y!o[$9`#R?&Ie ;~^8^&&b#aCd~ՔFr?eM7-ʍw~Pv>C]6' uҡhgZ 7$78)U2%H ];ULP>g"AzE?|m h94S#} ߶x>gL(߇⠑2q }* 3bJr0^aVhP#7׈>Z]\Yӝzu {f828ϡWy]g$d0}=Mіi9^q^y{'?B@}\sf޷so"ʍ@gCl`}0a0i={60 p%ĩGA#LPz~dNadz8FaˣRcewj> UhtZn\+ڐފcyi~[,[VKNt } *⾖@\e/kw}_nSwK\RP#Ewd1Sw7q_I7Sgz g)c a@tQ\rJM wv ~tрZ̋6F49Wq>Jj̓^-ԵB,M?F[/' a(޸şYLQ/ /]zP`rl|餞9_]hqasz~-cڋڰՓA0ȃd7gjtśY[$17UG4(wK!m|^'p׊n螄S;XVW?sa.DĖg\r~Hu?GFϭ%KL#*9zm D<(2t) Ŗׂ~HzD:ZB]M>H..RABz!WLx7˺Yx q~~DYVY-62nҗ`ogvE3tߎqy<_LD=$،c?\eԲ՘}DNGZ&hS0YY"3OW n;ʹarKBQNYļT9}/L.+M-Ěf)[\H!}|^ BE-/.b2@5TôT:+{A xjz#Ш/Pol?l#HB8ZU2Yv^jpxp1ĽA!^zp/vb''6e(<}ˠ\"T'<&xz8]CY#p1ZUl1wuה:'#)*ɗ2) 6 xeJZIq5!(ZQg=gd EJRG8#H.+Ob-s n 4GgYZ7zXZִF! ]8]ŗXiɟ17L? KxlWP8SաM~>fٺd12ڻ@6 &F{=֦=PsG]M_8\_ 6i. ?ڴ}jIP@G'2;V .v^opPͳ^nt5-Et%f(vdjF|^k#Aڲ@́dKέ#ҮU>]k,ɘ 곓89\L&Jԫ`(doh;-5/jx+:;Xh8McB4h.a)fK8{[ďz'.WT(7NL¶Q M^ꂖ5w TMй(UQ_Gif5ܘ5N^ c+Q]C23drbސZ dYc+矝(FUgGqUUg:YfWTtFLp³&BF f0tr"=5@$ +'V&kerq̨H_c(U'Vuoղ >/'fK23NSfJeQ-IFnzl7N`<Aj,[JO8 ET˜W$VoO4bc EB k2Fv]RM-n a^8/8ĨbqY7Y8)FU C8rܵ[ʹM7__ 63:(aQ'kPGz\gPyI YNeT\fe]>[e'FyGuz[fO Ȝn#8|Kߖ"TF8\D%lC ZqiI@$1`J)y~ɘAz s -\ /Tq5 Xv'fc,3 ! h 0V!{?nt<2^Dnt.9i^H9:`=v-*L _H(0SZD.2"Ώ]Z-gݯmYM+맥A RܺZ0BnR^7+ipCL zQG#ndžKhúlBM\ R?\:V%}[N eZ"Vw'2S MT] *V:~2\%ȱ.Ȗ'$/le(1=A ZЭgHOOSrHa-7čQbժ\PilڅE(+xm;ۗ; *aWU_96Ni5w /b:n1-6W UQ=SGc:=B(EȞ^M^Lm5_O ЛRLͣYniZ76$:6]V<{:tzMZ nnK֢_)Tm|[X$In-iEʆQr7̛{ŀ[W;skIKLh|Yߕ&~^  ]XΉh i|BqS5] v3lp2|;I?}}h\?l\K" .+z16NU6 a.yml v3ܹHISmgDŽC[c+gP,ҁY [Pl5R7lƽQ2Jq^j˔-?[0E(k)Ԡ?1 `A\sWcs8[,P()=_#aR$XјaC9~)Qsd5"Z$QJo&QnG >_rASa,Np>< B6~!N%A:t=/d_jsgGCB9эP,"%(.[m4a櫩7egn=H6tC + q?Z =:9q!r"]x,ɦKO9X4xS&g; i بNsm" FL6_:LJ8qR1; Nрauß<zaV,G2Yue4y2ʒ1+=,McO ~h#9S[XMu1)p>F}`>-i'ubQhuAZ.鄤ZLHD D!+;рɰ Ro*({=W>^Y/gªU/ުW4kܗ-JQVeNbnБSn5sEC~zf?}b?$ oou@oTl ZSqx䔻ƕ"].#_,~c]TL$E˰qBýY 7O6u]-!_oGYhpF(üU0!wHE:y6H3ĤϺ.ό\8J]~E?f|ff$ c4r3V>y3rY©n)֥@MLUH="@01CvC=-^+ysCM[Vc~ Jn m- :u 2aSjee܎ kg(|z9 Uf폧ѪQoK{-F@d Hlj4$J>EaŶVԥP%aI,izJ 77E3tKNϫkifs;yc%HE!t^%Wk|q7*zdW Ȥ<楾P6tV=Rq/|sc'1*[dj ana|VN%VJ1}4j"exxT>' m*Z\nTe 'ˎ5VMZĻ[@Df{p2mVZ* NG6=PIyllb拷7bjݳ|dh)$w ,qƙ'`[Ab&#ւl`L#J:1TsU AmD6}0wW,H.=Q8ڭ-7/S!V 8[bbߴI7a(ɵ84BNqD:AdݳŻ;1$Yc7D+̛=H-pq!Th)#`D ["7K- xL:N %򒰟}_.*mAA`Ys?^ma>v,njj+wOI:?Qo:cܓry[sopf\>xYFjWib}Fg:pfsC(®LͶj #H;[D+*l{_3uKMtG;˝΋1-w9! [.]w*6ȫ\$^szVs$\U;ndV!P)X;5hv Qt.4ޝH9$*bcB3crvnqDzYgaQ44%OoGı'Nbepmb xۓIov!I^ueum8RA"J'Ez{F̱*? LFekn 1WUOvFm9k#ӛ^sqWOIC>7kOvFߤ`R8X,X1 ^_yը jm? eM1 4iKk$LhHyrdj28 ,X?NF+6b ou7YHCrn'LLU-&ghcQ6:2qX+̋XKй6mzcd1z{ O'dVzIQP˴ҝef`>*ȣ]I m d0TgEx'WKT/j[sP$V =Jv#I5u6+pvm)Ah*FlY^D(@m-Kʵ4lid־&J+?6|qҿXC|0S Z ę8ngHi3 hz]ث-4\KU0{yoӷK ͓rOϟ럲'!)m=Uo˷R8? rEL 0!VpݪfĻg0N# 2z=` ?}oeO'n~;A$ʖB9C90ǵӬOrՁ`M/@ ڥݸvY-n H͓r(4fD*RhX*dLv-x&8qx{X_ӺTj Q۴=ϴ#}V/(exo0Q$&>icW[l~w'97FƨWfH2zWY}00 k]d3zjov;W3:A5uR<ڵ1PNlRw)x78F 8C/xOs}r͝O^0cv#GUͣs/[h>ʿ~_g }R ̓.DdL2N5הv[r3(3]oN`q&,CK] ^?yNn1P"_}`TM1f=F&ݕE5OzIcAҥ֮u06C$gĐj5r*y߆j*(l8&~iĆS++%%[z'}M qI9m}fn"[b3%NDb:CeJe]qs4';^ HҚU-N>RDσ0b.6g>a Tvޒ/"6>l7nq7(4H[fSZ--< (XBsskHc7#nZn7p -!44C unf ^+NޖZIItC-!ԗ'AD,4}Vu;)6btd :^qލR~, I@\Xӹ,Y@m'{kz[5EW׈(5rQJH<^YL34]vB⍛!&\wh i0oxz+pY#(YeuMx:z*yDզPqۧq)KXKl(q.eGfD عӑS$w48C>,.NdɯfwxyCF-2B®Qqߑ-5BVGC//9mܳFC' ( ob:F*gҿ r|J+ Y_By;~5q¶ٛQ{`IR s3 M l8>\ݙ{oLje'+mUutSt>$"PmU>VBIB/G¯tTSr߹"xP J#j(ak7jp:k*kz#yk$v_+u}gQX>^jk  WTbJFxVHeMϲ9a~HJQ{lgUu{ ~&&QUNCk-QD ]X50rə}:olo֥U3>-Ǘ4m5 (C.يFBI`!_M1hY7fI5>y#.U_S_1_nb0(} 4CMݴGL$-w\4uv9_hP6;n>*9Z' m0I]!E-5L /#us~X-Ȏ2&%{teNN4_WGRJ^ +S@"O$X|]= Ė6[ZBnr?Gk(gqpUygM1_uo챗2ڍ-CKE~`xpig&ΐ,$/Dv1uvEy4^5C,O*>~vž UFRN@=Z~aj?٨(gw ߩcYeUؚ~X2*37&c?,t0K:sh bae/ *OVۢs ѧ[bI1?X]+),lzֵkRx<'f淿 lf?7 bBjmAh=(4F&Yo?Ý#] qB?#- w>ks XhDԴga@N^kx#U4s}v#jxЂ=ܞrySm "YJ2̝*t2ixŜ-_F*0uq֧V׸diP0Bg!2X q4x͢EN4TBƯ/RePsAx@X#%yo xxTDyH8Ռc{IuS$~?tL @:o'wS 紃w=r=%F@u^Qdd,Q yv)/b*MdyTȠ8ZW4nh^0{Ǹh/JmCD^l(CI?z҈%iJ* !q  [|3m9nLbI{ջ$v[ &c"9`ip"O==("s}:0)widDJ) @pCV(z<!5+Zm/)OȯZ3;o$,VdFtifJȁvh%00}\>RE&: 2Rr:9ʽe}|p,ǪY-Wv\F_"e[{ݪ B\X 2Э^1ށ<B^ٹflH{MIJÐZ.=(v.HsLف(0GMz 1$ arr E!G;0c1435PNZ0L_GBz#qz=Rls.u*?aN *ؙuWJ%f$.*}rkHpK  Yϋan(pԳ"pwE7;~f}u/|ΌFOH?vqf%RJnƱJKiV<㓐)Ug2d4U s~TZp mKZɚ[55+LBA歜93c9oqcKF;Ҝ`'NՠFb}Nlc]GJ!>soj=3w$.|FPьeDr)b#/ /RE߲rqT*zTz}#حN҂eVW] {}Ӆ`hY7^D 2!2R ;8X44PP8 ^仭.d{"إ?N5 R;d9Jz?azwP:nLr4k;1Wgs( RJv*K0=#;1 ,s92+^| {בKwAZ.g@,AA&>و0.T=ZO(RRq3RԤ g @'ǠIE063T$<_LᩞGLЙƙ79GU f;Kq1Cy=Os{64 AJ0%;0P<Yb}H DD+ ɯ{'Coէ+(m[߉p,Ya[gMQ>&24WQ 'Uxc)ω݄j&P~[xOIF %dЖ.V ,>w|@Uʷ 4qj\̚daXFe.2\krucV!5]=ARȌ qY ^!-'<ޭM\L>Cy5!Yݰ'#zs[QhW{I,$e}p8yЭKE9cşk0U0mn,/T/6}  z v Lc2h1._^tntG pN ?Fa5x­x)Jhr{jA>=8:" C[xbY/.]K⨃^-u}%ߠ]eT3b>FIhd;c-HZW^O*vt:rmVwNMh%thj$+P'\jJ.E=[xelLt۹,l5x2ٽ,%yF3 PFm /X﶐3eH?ɞw~-OW>P7WOYK9~-sDʉ6s2M=0_pMJQ9s nz(7Q\ϙi㓳Uvsø 0x})8ؖQ ԝ3i%s$-XNqfy5k ؅oJ&zG.u5n]:l ؈a#7P]f&; `j_1jl_;Y_1iDɪjFDY 3$Zq90yk IrT!{`4%wmD5V$ly D>D4zŚYzNZ@$ѓW͒9b6d]ُgЀYox_QcX/^rSН>NӤqz~\T>PbpQr^@Vh4gBE=Ŗ.m[z\Z^+N+!rb .`YA$Pz^ɳ4T/]۳'Fxs⊑Xb<U5yec~䃥H[ѩzqp5@9 yJJBl* 8χ/3 ~kQj:MaT|s^NT`g#*aMXeɜჀ)%n/ MJroYyyseB!'p]<p4ycǒo=Ҹ'DQg\@ ?/U9AYuPѴEs'>ụ|+9tQ n)Z].)0XJT?Pvufu^FƩذ/<&q^R @^pLJKJA4ɒԍ 0\LtKH7NpL!@S䖰h$M/8'7A [N:r? `qW}-zlhM,>KZiNzwX7 Ee,ngFҧz#|5ٛ-B̲:R-T@ZXXV).+xDCVwJֵH9 /Uj-F(6 dn]3\xII=-I(\-K[+ڴgGc`6(? w9*%I@"XL*,i}Xjqbb3œL! |B<alߘ&WMc9;k=9 K_"ȏofN5?|4z`\[jHra Ӹu@L..~>v6Q{0螹 sVZ~:.@vg~<، 3_3F#aV]6,/II˲C.Dξ:̹zH!ˣ*픥?PJCq_P(Ӊ=8p&A,zm0yL3b2 dS! s8AA İQk@ :ztP,{5\ d&*܊,5t(\R"1twyl9-kܻv=HmF1[&o:BZjX9mMh<)OÕ㿱fLӋKv^QG==NM.@Y+_; X h,/?g'9r2*e Mp)-ٍ/Ho\k7ZElF {i{Y@tg4&?^veD c3-(M5IQFvpIdUFDu sdѸYC`Z; v8EtJuKvZ "e'Ѽ~(v.()\ā|EJ)م=R0s7d;mEУBMz'|]|ƙ'f9{3͝B;1dLk.Yn`i]=CmƝpt`sib3ڸ*GN{9:{^Xo~UYʠWқ9Ogim/Mߍ4PQg,zXbwgP8ětaL̝Ö;P/6zX>Kq;"wp&A}`w Jn"׀ @( aBS HGl;*U=8 Qj:^t_C:0gPLN[5s9`Az}'?"A8yű?i^PqТ:_=[tKNeVؐvSfׯFPQ s "ށd-]|bœάp_FÍ8wAj=tw>&KhsOcA5ļ{i``nM/qG[NڠV\QDgEgh ,ɮ &{ZQ=^`xXիH>Ji'R+)y( Q4H8wnJX/)gDsv?Ԭ5ScYִϹS/AVZ]*:Hv7МxCEkuAB "aǙ|Iq[-%}EV2 pN֞:Ғfy wI^y= ml ﳹIQ*#'䑸E3whO-ZxW̭0(bp^H$}ڠffE9/tdГRak%Qi W>˼YcSI=Q PLBȋoq{Ԫgpj0AHp8<29I(ׅpqu;$߬l|[߽L :-ig gh<컊8F;k@`M,ΉP=΀]ݭ5K|ܛLhS x mߏbuQP5 ߿:ʚW{Q^Mp6Ģ@*BGʡ$k6C)}q;ǦiCFdɹ{եK*|l=Q~CBOl n bw@K麥E-/) l{t ~C:O/T1!Eh!9Tn2P3Ե뭩 zW"_#= &3pu d 0}Mu/s(5&^tIx".rˍPפƟ[5 $b8𣆻/gEGBv%|EYYk/RKB8R7xiꩇWaƍLpb)~9>7T!aSLWD1g}NWZG YSZJ͘?M;kPaI'D#6~En6ƻLf_-q@avjpcY0셏4IHeiBp֒e_ts+twak cZLU@\xh =vQf.jޑ*Aà/p5 ll`)E"[YjƬ2)Up%mF&,1rFvEG\đ+׾4#s!mwY/wG:b3%ʶ<řd|4K]i*iãp4Q|Vi:7fke>o3+.3royN5 0- 4|龜%j{n6ӄq8pRǍh U9X 0mpAyKm7Xu<'!#YGd5dz&tƉSQlè&UI1\[NL/nG@;8 =Tp.ezt;w[YdjR+`鋹|V+G徭ˏeqfvMj*VxŒ#OX|ial2?TP@ ;X6\%/[YDtJn̘pYhBOv- i\N|;{jnZg)ti&Hl'`6w]__TaZ.S!BԝiJ\,U=TRHB+0r84NpZaG0b6^Y5`aU>]`R@}^C0'!. .2#SbUM)AWN[Fmd7ᖋt|dnaE@~+PwRt!D۔Mp_w"]3x8čP ĸ)*1"V*!d-p 'dOu-MJuj\p9= B ;e9H'8%A56G-&^HwsNQD}y mߥM;*I[ 4^hnޒd٫gcgڐJ*GŸc*^ޝ"V(4@WEU} {*|jр!A^uDߒTK4OބOVKq|klQ=Ad+ei'0D5z 3[fdu˥IG ǘ4CހQ&IeiU9f@Y@۞`+~zgt%yZMؑ漶K;n7ULV3>߅fL0;LT\Ķ9QTIdTnS6DfGM[j`fLB Za05P+rC4{Ee0 *k(Yڠ?P0,E XG1gC`V6@U`շ kY%tydQ>_ tqթXŠ~ WGQK~pFr{} M ݉;?f|F5xxF"^NwWXÀUHays%嘟҃ڴx(Xp\p!~4M+ꮵʿ%~0ѕ { ֤P_c 6gz<^qH#8(%J!V7 ŅĀf&{%R%Vh|ϟ\餩:xMEO'_ >ܟM D`IJ7U&L5㟛:XwW,KCr0V91k Ϫ vL$@ْh2 -oZ]|/ w?k[WĚxR& OJ4>ěulc*REN9a8<[~i G8 G0"?sHy#Gׄv˾p ~>`ŀ20J) ed9ӡt!4~@ ncVT&Mjo >1Գ!r'Sw7lp+ah2MRi}Бỏؾ0d}3:^SdkG}z`ܳ/5\zx/~hٻGb=< H O$.:~(][de 空-CϗTږUF p' T&^ÙEPh/m~tĥgl-6:0!1EKόSlpIY<.0--Ut!Al~#ItȧHќ!)7:0ζ7\d*e|紜ߔX銾' es*I gC>5cvgD3VedObJE``R{=[e:΋ge(el<4"xpFn]ǂ\ ^.c+U+H&=ኺ[tORù;S < 9.I`(@V!eJU  ץm_DE4))pO,s{\9_U=\f+I+uany B:٪ʟC x P\qi{|$@i}KL6*{U\]$υ0䕤\UguUe8@NT~+c[Sh01YxK_Rq__ հ6qrV"Kf\b/֚F=tҕ#8ֱ0;<02~&vYmC]Gו ]HD&*̔oIz~mƝbayZΌz+ZKq/«#5>'blOPlV+$d^0 $@OwJ5\QxoFPEc2G7`rV~8Y"?!s~0a w²ɵdi*OvUD[hWOMM9%%XEׯe+۶/;\5=~K=Dl]>RN*>~H<HA 1{mPiR꯮` _ 9 L3M;0ψO*):2#4D `CCB|#tc9@HHN, p}<m>F;[ڨ=6S~߸Z{JN%8_YVX4Q|$x887kJ@V_91][ݟۛKUPpe,-_\zZrlki#RUn&0o0t2AKX=Pdut;yjd4o.#՘h:? OT>⮤XRV;]gKFG>Pltrz`),lʅĆY~$u:X6T&^(exm0Je%xnT=g 99@ٻ@;bđnO2n`щ86{״0k+Q'0'RuUC[C7Q@ǨԈ ITb+C6fީ3#t6"?-D񙲣e]t*N*הѦC8'^1t#o22"u鐽@Ctg)zGK2cM /ofQ#d`ˑߓ˘578 ~VH~EiPUg0w KQX@B$+JX,Rvj<6I. n9bpBT#^L2!( &ʁQƬSve%r58;-KL9rS|}، I8.-N%uTq!$R7{i QKhpus=݀6a˄]Ee"hNH#+d# 7VοMAjJl :HXٿ_nT6aau VG$QxwqA.e-;Vgy}PI'GQe 1h0ue^qbֹ@/&mBÇ3_e{ T|T\X./'ёeOj\.xX&>M+X4?Xe):-!@ƥQhMMR 飞z 5/\ '' kqaygR}\d n>aV 9p,a[=oRs" '?zP?%N$>|)Ϝ ;uaM_Ev`&&7ʋ. ow-Z':uM-Ziķ6tTT&9 XwM*rxxsՀ/ރ s1fkӜ*f-@XոȄXon6-ɶk ɒw!n@4/B9atA>n%`6t(K{?F9ݬq|#;qWP]:2 ;>`/%Zg}V@f;KhT閙cmJm!F:B_;f4FSz;>ݯ޸n^g ڳ]2mk+ÀVbq[g@K3Db jI_vSztaa5[I :Njf!iVu!)Vα6]K?) ?ԵF-ɲul|aaNd5OfO qV6p.W}W0؅7;.-`ɤAw4!0@/F@yZ.;ʡx6&UߵKwvyGG^S8 { 1ܣ/$ q'^BL): <ѿۂMn} `yN8̛]4J哹Xh-7%Sa0O!=p J={OKv+Aq0AM*,BweMJ:tjgpCOéz:* S1րPP> _ֹm@ &Sg"[F=e >~ŗ&Lv˽PFhI Stʈ{ > 軏zݣtT'2dr~@#K}lB Ͻ[+IM5icR2q_Ȼ;c镴U] $>l@82j6lQ,hY g<xd4u. I/]1/\g0tKM޸SI`鶡3_!́(V_\tlA-;SױwG?5aTį ~,{kv:q#릙143༳*]\ tt|`ӡ u  $)ܴk 72$p8FQƵYzxqRe}fz{:ez>}=m^{80l i'ܦ\ AϧZ2'F40Upqfn e'} oz(X{l|h]xL: *4ⲿڔ3QШ?qMM&L9*Sݡ<>kX{/;^02(CM8i[9`7Sj3{WqoZ[m'݀/0Ou1OÕg ^k ,pjd*zK?ܷ tjEgQI|v0ކ$n%0d(fمB.۠D}G7vz)uP0dIץW*.Hf3!f?"0)cQfE``iCqEl(qO[ZX@487*u'K ]dy\?yGL&Ni|G,^5Hnb[>jt-KEo05g߮uE&l8L|4XLXe" G&p?ԧɧ-=AݼAApr#0iP‹+T>r θWiȽlziOFeI#w}̓mQGD4iҫ#MrU 0JμeKҞaJ >Je Blv$gYZb29ea6da6c13b772d1ec5883f1c773cb2f35c17d8e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b311 b74d2d4d9b8a39e7ba82f727470a80d5266f6242 b63231d291310e177660a235ff7e3157fb884e5d 3a7f0906b0cd0f363871086ed3e5f08ab07b6839