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 Ml$d ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=249.475cpu=835.848gc=35.152factor=3.357zXZִF! x%.]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e@@ Nrh*`dHQm@Lt+_ 6\CYQ?H_^0[C M[%"I߲(k7p KZ0RR|?E \b>7e V'{pd"R\?tL(HVh4޳ڄz U=P-0ÕJnl .h&]Ցs|( ¾n #M Transcendence_Series_Hancl_Rucki  b=-1+0yXHTʳ.gjƚ.۷I8z>+L5R;ѶVXCL;n%'4 >= Q1kng8ZW[n\ c0^|BgmnLuޔThl37(C5[TlO\#$j{y]2L*(PlӘ pFU0l8wh>$0,uq Gߢ2QH1O|+v[5F{NM_Q̘O0g8D (Sm B&sT4O!nTVA1mNKhCfg Ԫ6s%zX{HgTzȓ.E8 icw- XIl:X.dRCIZXҏBҹrJ 4|w^~_vw=_Z|v! jhN]K$=qܒՄq(VEx~KG"0X|vZB )9;{GE!|frZvk|ST~eQ;盘 wV\~Ms/i2If2>|7(M-5"\ (c ʞ:/ |j'24Y PxCz9Gm^@rpO] xEpg8983Ux`T/FM`-ãNc 1NriזJ(2FFu`\;O52(mNaZ^ k avMN Zsç;([}QߊL N~uj4.3#gUƥ9YVl۟3lAjVx5 EK3m! /z}C.D stR;##WZxuLXb,̸nRe}S?x:_s7'ukQT0EaO@%wR fz(#.46KlgMT:߄a9)C 1w4x9xIsok# GKF?bLhЊQ 3* Ldp3f1D@#ǏvԻ @.nt>GouUtcl܌z7(|#Eaq9$lt(:(u_B|b6 O<|}2@Pmc2>] ei7['j`ʠ[x$ i JE) E7Z៦*uY4.mh*=s{4w¡' [^A<<~"YVKh[t }nI!fs$KYb(^{0Hg|O$<*>E?]깒>gUfx6B jJ{ōQK5M}XJ[0Fo_u[ 40y#-4}ƵXm)nᒞVl]Kz,ItZLKu h Έ < 4#k`mgڇJx*800AA`%8~ŏh]!U];Ym+5v,Kи|㡄]Pnw"S)yRGak -]Cv/ 5OI^MńVy1P j x'=8J$n 4&Z mfcg3eY\7Z]d's_՞bD }k*6|\1f=^̳(MTMc|2H #i)0xeb XAGZF^PKJ<|RrI 0(h >3rڨ:7ba(.l^ wuC"Y!$^ +n^2rVV2*!`sk-gpb1b ]7IXN'0y![BHvM*7_],<9^R^9˷v XUV/)3 } *qbJDPz?m:ѕ[Se1i;ZiP7&]4H7} 9a 4L~Eq(څ萀WD=3yyXw_7#;C][I}6f+V;9diXw:NKsLW; X;MU{0 "z? ރ+} )#J:6(2yW*T|!Gna lNN]ѴQ6vAs Bjj_mUSh#K'nH*uxZd#X)z>n+#ap -vk&̅)0{3 :Wֲ] Ab/^6o/2]w  i>/_lSU-T6\-CqLu 8ٻkԡ#y}>g_{UPbΏ)/EFmKM~gn5̴[^/QGbNݒn!UˡIZ5ZTL%gs'imKjfMлgC*Cm_NAWFq-1NW㍫#"z%NJO1*3nL^hyULxD= ny'S4xPОrm\^ fm&FK]a+u؉G?a) v01 ɎLSOC@7vn;||>c[oW2-u56b^ Onw/]LHVB)S=}F@2%o:[gt St2fѡP9mlVջBSI9oeM ~6l;F*l- |5u9]v={GmQ9}&= #$?Ct~n$O&Jit90KT&0B+[C7UE%/i-A_+Fy b82&_prm$Bhp`%zP36/ CƎ {JƮ g!U 4QuL jc&JpCjġ_k>hlf'=,=Łk կK;K9%@\sS%գ| I(21 K@25p1 p@.o, MMs]s@Qe *Ncр1xsR DџAYU ab8}cmئ)pPųLF0>Ū]ɍlhHЌܟ?@Gat2Ww,P[# 0ʢa >li~)U$\u]{WH f'S8dl}9ƈ i èZ"MX?]QI.S_YJ§pv|-vD}\^k^Pe-5PUIuʖ9CX?"yyj[Ϳ2#AeCQ6Lro".$-!:?Q ELW#G }z&V s>d.a=dld+;T$nB 㧺73%x]SCȘ0Ezظ`&YBL KSWE;+]&{}p6APLkpZ!hk"6.% =oAi4pQZx`0>_^(p5:ᆟu~im~ᅙlG~r[h̜os1#әZk|1)m̠^3Ԉ Ǚ%RK;e\s2ku BRmb#/r1eZ*mK. #xpR_`Q6,/,0̉Gv:߉ͯ=؉Uڼ.2Zفw {WԅtAl [jV܃KMf= )P}^ f<_EEp> |g4D~ǐ;ۈD;(nG41/ [ҟ9(b'J ݥ)b,9F8o* t&u׎f§Iydn|[^/${MSpDltsXb ZcD=@!~Go vr@(D!S g֍>=WG;mZ!Zs ̻$Q>[>p4`T˧5xz9҃fult]|_L%& ![3TH5"4anx+t>"e]U-$w35,ZܣHZ4/ ՗4u׹4MA4هQ4w沭8Ch0oխ6"'O>Ȟ VNqAm_SB0:x (wgᠦݩИ]TϯJPpSž Sܬ Ԁ{VU\bͯ1q4gT[Ͽo^4gCjR1bL?(tHd/Ag<ߵS`||Tm):LԴ4K>ځ;۴d嘟~nfNbg<.$tl¤ :vNah ; ,̀ saqlucKjJtfo\&Ԗj[r8PME@3;B8׎IE]Qd)sՑ)g*6'94SP6nD݄vB !нI*۔ s-ln[D`KCuq:aATkŀH.~QgTvg'X=9l\X~9Be q ]=:СĽEͨTiT_COvJv3̷ հCTd@w^]e+kzLluEзRDvs@Oft'"ш EIl@'Nّ2ڀ򻈍Q%E( H]٪ve|Eqy pZdߣ꾶t%C#ux5Yơ.6'ٌjY*gz%@T}_pd7 e*wi .E晏$ip[3Y<?4`>枳lb'@!U;wK 5JtJUCH12hK~ŗ*eb4AkW Ϯx<7{MKDh\GqzS*lh,2#T.Hgjz_p.}\X/`cBJo Fϱ V).߬M T"^\+ \ jb+8gl( \*3,toM(k̻߾b IF~t^()뚵ͯ:Z`Y[=کb`+q TwAH%P2@N=&?pS?j%`lA_Ny.j70Wfb)aߘHYY\F Hhꅿoa|MxA-ɰ.$Svn"8M NA'_z<`.y h+C%EKm' XO98֣aG,b+u Wwo~; ̡dr|g>> #$r?RL~3oLsJ30`ZAo` `6*V_nLE'gr0nҲ_A`=Rlb'o:O[3t$!ka`hj?W)RmzΗKGctm݁~LEZg2U@j3PtR2gaeCYBsu;j&0`˕Ao0xCΏޤS25QKMyuѦvQUgvKyUSSS &J~RI}C4K./ ={_g8?}62e;+~mݖ(R=P@=0/2]iWtdCXI#cH&=T:@bԬnuCv8ZUvwD0eɯ w_c-a{aY"\C+" j}wEӱ.ʳF>[]~b|qW=}xUr;XÀ2 qDCѐU |ZQ"roF׵9Cd)ywbb7Hԣ.j24 /6q xv37/k:7 )YpL]r2sKJIu0ֹ!;yJ{ho ¨.Pv@d K%/Z&[hHB=iPd)4^h?%BXk<JgYZ7zXZִF! %]ŗXiɟ1NᷲXX:fV9o0)l?|\9;@&z4>==Rqx+([QŇPعP[q | i7D( \25Fp/6g5ٸxr-FJBnܧO8; (ZΞSQwk4%nځxʙKPKH dOfh%5 WTH6ʯhJwk6TwR+$AI!3!HHRQ=X[K2#;r4B#t.w٧:e.yC*UK+pj~>ǝ1]}i^zdt߱]Ti u:׫&>#\uI/֣)^`xG /NĨUM139 Z@v]`4Ҿex-4 gkC`uJFk{'!hHtvK^%}P".#&P9mB7 v$i_k10>WwQJj:>?v(|"_%-@#PP]wi\,[6!}SJ' ,F. WUeo_@t%CƗoq!{Xs+GzdP>g >D0I*-pARSp!+`;Zٰ .kIgZ䘤]0"2ǫW;7g جh[-$8Ӳ^ 4V3z|Gq ps0o݃wK2EZXHe#q*X#1 6\lgYZ7zXZִF! rR]ŗXi%BbkX)3 )Ks]1;yW&(}q yfu{$d/9}EۋzSp#9qd&prpp b *0ׯ%m#w:pyaPJHŪI9ov8jzcq( l&V03t?U;\0 j2t]%9W%.T<2@ t O`?Vtץ0h-Kpaˌ̦-]KĂf|Ef.P>QX'4q^s"5Ƚl_' )gSB#F"iDi+.2tyZ1љ\r=L36 o#‰^扴D6@ܛl%eX0'jr}>x{JtmsV~-lX>恖YrVOеfLC}b<⣀.MZr N.4m_,("FTKjlH]=ht6 QXAe%m?cfW!Ql$\ G#Ebbg)/B4U/{c"E-'ALGd4]TVN<‱w R91D&mx!!]{Lݦ5I1Wd85=%%73c7ߺaG[ ۾JE ? >A泏rla2,C)ϳ`54;A6вj9v]A^^vCGu¢ rT6~vyE U kN:@.y_؍ދxs5dG, m:$`FxUղ&q bɇ.v2Sg| ꡎR 4`I鼸'&(; M> &5 9{J=v Fi. D+Ǽiƌ *@PU _+~L}]㬀5 {SⶨV+ Dܥ Y^ԯ& 爑bZ7T[Vh2wϒ 5 T .QxD`m8Txt˖XoOr )AdtkŹ BpqBih R^rT_,xIRNa>sjLaB?oʣ :wsEتoevm@OF,R3P+X)by9_h,$/x;id~2^. k0.Y2jZR`Ʌ4CC'i H=mKg=Oy7!~Kּw 1 ?" jG:3~Duˮ4Gֹ}|V{ M<) R }*\ obWt"cs\ɴ ̜S&Gf<Kt*k6U-6kN5#(6uWtu7Rsu8eBLIj?ւ>Щ8Տ̞^a$ЯhVD?SǨz򰽭{~҆kdE5)`.w;qpI?1 kq aȖe#Yk{B5AP,&amhtQev6; ָjZ-K؆)4t/3I )ы'lIM^nK@o%㺩.n2eo2b!i>Nǁ5/D14;C9:@ MM~Z eԙ aZr2kMR#-4ŨM2P2ݯ?KZɹ}_yy;~nvA W0@gFhldD kmׄiHmǯhf@DcV| ݧ0vàp#i#IfFJD'y<pEsB7xH?{^a'pQY*;B[CQ֕ CUrY'`(5 +\F5) dM)cݡbx B0$ڈcn\^fۖVi5l0TѴ} BL-.)CzW&J(ч2EMnvW'T~LYQ*-{j`>js Pݦ"g րuǑ 8c KZLzni^MP*D6 ʣ'Ѓr\|[i] 9%KSO lr Le/J=)$FFpެXH+u"gHLrs,:/}~s")1#@?=Zs)?h~q3Uq>`)YKhD-vHQ `XۙAȳyBx!r[1)(1nMD[^c[`:V:ŎњHn/ǐStVX^=s\W % ~Bfͯ/{5XQfT큠E}%ؘ3Jd,9LO [5^b]?vk ;POڂ >+ v&xF 0_0@_Vh K&L8a\HB}U#\%XPbbyKIŢ8>h"o*YOh(S[#k A)ro<1k_bjS?̕QBlRՃysxű)Qo49zutߵ8_U`prbx{ҺR!&SZcA!aDnXW-C5)yz7ӫ Y: ы l=_$ݰ/O(_IU_h>7Ƥz%q5/LI8"y6œ1sSUS-gO[Xzt4Hb{?q1,颟fRzZ-铌M$}T^nŖJv7AWl6bKs =YUyۑ)@·DDxnEb( p3j£`Tnbvp/ ߴN[LH=gs ؝I]ZtNgzoxܭ`D}/O $?g.|E%ѳ^n+$< S̅$n 3ee(', '  @ψ\s}D7Q;Eܶ{pf9d=h՞p20 j >o(EH (vQ=H' FtȻC3`p3m`;q_M+,w5 *dhm|9F96&wG*rȣKw~&kd{'pam<4yEM,8X[1os1n^g//d4JHߘZ4yv 9+D-[ڎb~R0P0FUgOr<~ JyxXމ3_3WkKKex;κ9oAy`@ \OEPmPR״N,daCnegbEbn"YOZ&Qi7lR̓C }e>0aaO`mGe30܈KMԧ?}&lOe޷' D}OϨF(W>lȜ= )ÇW ᥪh b\M5 >}f{ԃʱ }.* AzHNG5G82]ؼfB"q`ҿgag Z6喣JpFTq +dcIOf%uz Wפ$vVg Rpi >B~;v*ɊZ&:)ww)-8mdYBdq.(i:k 'S9C5fg:siJ+t{R ZkLBKT˼!pGe^`(V~C  `ѥLi]p&4uLb7}Ey):A5 Q&^A"LJ ,g2)YMIbyU#jrޏ,\W4 $9TGK]5f'G[/Xn1D$=:gwBUt*Bp~njo풽 .Ta@HxFG5 VX>RY'oQHÄ XXX_WMy R³w4vBe2rƱ`*vTݷ%,hQb0#Xg,X\ \D,lrh,-ݽu @0,9i-]'Odt,:_)ZlT{i"\V)ޣohfnr1|-YFG;$h7LTL.G-`㞆|hv,٦4Q#֍S@VѳCȨe%fk[:{!S9LK3D1n;Qـ3eڕE-ĉ u'X'@\rT3*;qp޷W!ZHbYfxNdE!S}#'h׃:4$y7pHnU3k'~Tu-'K@b'q"[ղwP؁m8'W!7zf\ Ɵdh=`U[!8 |OFW07Q4573M.9I̽5fެ+6{ GH 5|B!@p4' =p`O,<>P i)l.z_BĨS^ T[""vR ^{Č Qs\^WwV#TBI"~H:^s\m^{ h@Rv7(H(sFZ,=%F z _A!F0h1cGPZ\ 5% DTcW ~ z+h/s],Ǣm킏ՐSs4/iu81`sn0>: t1It̺ua a!#dogA<-gtu|}^کsc3A25auraU:Xߌs5r,Ooq7z{ϤU ?H`Fyv/ι] 3~A 0B9E*!:GF$R-]}V?U}{6,-r (( PW5֙ v wqven1pmгOZ##<dyyXHx"vHqێM z*[ e(%5wjfF"cG5Axx+#- M_ۚQr=IK1*)tJ6GG@ւ4X4Qmb.iM*2a)xakw(~GG?W_rE}@[MhP2C#)h.;qd-.sdTLKweFO;YK9ލe;<%qEi>bhO8'6=rҹdk/ J\BPoLB3-L)g"3[5Ɛh\$:'Nq,?6WW*n(Pp!T/:ʹIv'NJ1IMX,W鵯;k.!MʓNEH4e8W0=h*?’Ҳvݲ1˻JB;qa{*;/3 +&eoi> ŶtIJq> 9㐩'\ a~!yZ׸[RIt2,. ZeNR(@t/WK!C9B;֪g_@'->MBn]s ƾ+OVg} iUc/:t 1BwA|vA_J*VMY}>ǻїErR#Q-x3Qk'"Gɾ9)%CjFַG$e.taLͲ, G$,dFg*& DP]ͫ4UJG)]īޖFA{O] 'q#M?[ݒTP3|W}@ysծ\D#F%C0!rK15U/[² Oa_kd QrVO@{4& ũ z|zKj/;VTp"{U`t*~y^_}f&~ Wu}G5YM6|v{ǝġWy0@ 'z5pj~K׼$=ϫ 8&^L 7nѳmY2]|m,n6EK9aypf‰@{G,E0Pٛ~S, 22.j U_)eS>D J{~Li)X*1~Z ֦T67|hq_Vi#eAKI˖TWrd6֎_*Qjæd*8`+eF8HϳT|DkEQ^1<H|:TJY1!z7d7= 3_I@KYӥS~o@2Xs%bIb `Og³  h!suNz;x oRm4[T"ȑ}^ŤeMFL(ke۲_E͟C]e8{v|>ށQrwBw %{؄9O8@f>џ7fmVݬbevIiہ)foF}<K-mAn[널FnYdpoijP ^RקQ[r>o9` Q\֭av3noy0 bCI_ºmb  Pxbnu*6 Z%ǡYoqrNjHF4 -,xa4F&B/+ce-97\pi`ЖAG*: SM;{2T*BymG[5ERa^Pf-c 9Y0w}([X %/UY锗Q8:9dA6 e'q-{^h5F7~jPf0] $AK=۠Q e^zv@_itl'G5mdQ+0+KUH:^Z'Γ ܯ?ŌbA {N{v$-jx(v3-Q3Btxc AMΌpx1!u}S֊[.B%^YNףAY4p*>69Y{wnVwN5½(g^Z1&43w"G8T͏r'᭭p*txoџjaU45_&1Ʉ M-NDBK쎝BzgfEԊtD+/= q#7U rKpĢo@ c_M|6m6e+َgݗENgRP$LLȈ_HMhoUhu;߬9ep} Vf*@ևʦu -eбm9/2Tv6  5;T!(?Р1 @1Nqb,Ľ̄b7)Uh_@VnP5XEʘNpz҆2~\kK x;±+qJhb<,v1*3Vh;ăcdFUi2» zQXΌk aĠ-/23F!XK418^QMW'Hk6˘m&v֡=ٌ4TTҾ]R/L2U]i9οCu[ Zb'ZMe~!Yāg|svd `b@vW"9# gu.t[ :o!Jˆm@#D L"E-- ai,jiԫ#^r?n:ߥdIYG2fu`׮ 0?+i[n'|6߫BMLYxu67+.犯O0T_Nlz5<2p|Q4ek0QkNٙ%4NEٟM\,*1._ 闫km*p06sKXG+iN/q^aѵ3mĥ(!иo'/QBD>))Λ= 1OQ\k3jݴ_~/$q 0!azk1|hBPRdgT|~d9A7Lu"O:sV )-r].&) ZTA 2mnob"/-Ƭm*oV'"1!uPy >~.jqqj lM${^[EY~~É@3b 㚟"N%QE~ fC7lۮV k]$_S=%އҘ@\jo/ #q3䑰?Dg9yS^V.15'/c+] MbJ^Oր wL&uШ0lՔѰfH#X5h,j[њK7!|v4Aǖ8X.6T&߳((6tc|UֲVYIN<8Z("o;td,KeRqb0F Ԧ)[gcPߞKkEqK(r ОNꜺ6q ; ZuLx?bd|UܭG)s%7םڛ!ҏvywlJ|f6dnU) GujT"nXE5\M;.W 4`FwM="/)$R%h]AѸφA4TEQ[*u` aZ=zcz~8(,Fiu~9hH/y?D儠XQ eSeZSwz}@^:!\n0r7(n21/t%Վ*IaZoTZtjO(F qs }eh"&@ Ն7j]nF\?D6XXqg+~Aܞ=XޢY&*׬M9π !^OC_/VG5 mJ/c_1Empe!Af'5v51P;a.-RP+?;U-$a#RiŒY$2Y͔G `bZ:ƕRĻTSkg'AAɃ[:}(:W06q١=/sJH&ǟ/5-l[ ~q}##'ɀ7jKv5kBԆFaif_{TnXmUGnlE`FD %⦐0='׆ʆikю[j'!^p)cILIm7+N`nr,lAon۳eI{ܿw)g.r5nu)t t.eDR =)S :8wu A HS.8u;%Fjk&ΉbykfkK*s[XKX/%78xwR[驆{6u_Znl΍9D wNL]S eַ\Z*q;Z˒Oi#b}楱9]$RxNb9i&$&@{ƨ6=20]:6<[>EM'BΦR9ջR%cb{Z5~C Ndh r)n/I u#05ɝ&W zwB Uc2p>&)B'AK+4?Hw\VصbbIy.{Z ܭ^zFr̗+ooI.ad2Ǒ0 "#{ai,8¶zG.蹼GO`_W]PrR j"?%%89W[BO(XnZd(W9biP/R`b86ꂃ .[(5 tO55*C݌< XbH>Gmnux#H Wǜdu|ʹsqfyE.|ş]¢Cc'+_wz~;ww+(/Xj~pRJ\( +(d;3C:cb\״6nno'BYf+DiJ`C應;a& %ۢdOR"1aL2ԓD`;,W2JaZ\l)=<'gTEk ѻږC}Qn獆R@9,ܖta]BKSʀԦvx…/Iܒ kj8ZɌ̙ZrE,*X;A5V[$9Z xD?u:w;$.8rd@:$ DQ Xx4%f[@jJk:Tg"n:Alt>e"^|s3U/*k1~[4qНyh"գ 6ӏ'F ȵ79YBQ¸Bbİǧ皈ӧ(sy ffb21eC[AJyJP>OY<@篗G7->҉c-ZƩI8;7ڃAq|t6u,%Tl@˰==w : ۊgc ZBfM@[en #'OlEQb[&IW,T.[1LI}Gm b^{hS_n u~L,Y<}E\>s3^>n wFX#W-)JG!V}x)i'B*y㕳m@]} %Bӡ$M%ׅn,CL B)B.9ssPm$7UWVǓ0sk%xБgA˺Coz]m<ÄNܕi;{iU c']F545 +2O(!!3% Nўәl"(0w?Ɛߝ}l2KhUFc,XR2/̓-QFbҡ#xЗK}LuaL6˱z!~ Ln:Y楟ȌX 6~/yl:ƀQeOB}0L퉾S%aY^J m|HbR|q+^x3T #|#4cP>}8SoBs^wwT\ͨbqJˈbSr ̳WƈwkEJ F:#Zq2꬗WgLu#R40ɘFTyqu߅j=4'6MxE12O3雬N{yc}S7oĕwC?Yl{H DhRfVQU 2ڴ*FAj1F_+%L9>R5D.oPs,8>DR]ߵIIvr1ӅxΖͬ)2x.H2U7*J-'k6;jЦK>a%nぺ,_[]Z ?aeS[4 (-_c-s:%tÑ Ci2YDfGyěrͯr)JzZ?&ȁCMMWW!\ ɨ1d.ҜRxcTU9l-w4a(R$0R\JE ,D }'-chGt{X#!/=Yy$&g_"_Jip:2ijqa.+b6\)XB2{@Mk%}< -*5?9jy HnĪ݉O&ꦯ(WhDGJ/0 uWԄVsM4j \g[c֛ ALQd@H: ֍Kl+^gj}ߒm<oTW 6+YG3Vr8! 4B#؃EsL 6H9@`Cbms bt|cW dyy-êkC( "+iUcY+s te6o<^LbG!=Fpm.bu>ЬAzN7&a7X9cWB &AnfeDi;73Z\c,X_93j v"ee:ydjh8;y+*Uj`*S@S]{1O׾L`ڰLJ됨RbX5+>R~\x0,qǰG iӄ,__z&0N==S?zHR 6Z64 '4lh*3[曍 gpH0]"׃*z&8C;r3ܩ h_g5 %tV!rχB}n"(Zخr??`Ѫ~K9 <ҩȋM0})wf΃^9$8&I/}H\h { 9SA ~GA}5)4o/Q. B*~5-Gѧ%U$p{c{d_3H? ;^ocص Q{(ܬ}4^݀${u-'\c¹?/КG2FXϬOj= xU7~AxLI]BbEﮑLlZ:R1NIEB#hh>7鏅cx?QgLg="eO,&,o (/|oC N~3lV'>]kTp&/1M'gYUdmaٷVit&Sa WBc\_:JPxD&Y b+3Wt3=ve_3*>Dg̻zuAZHce-]@ͩTd)0~ j}eꂢ:=X:Qa_q/]Mh^X>-v`^|s/}s D&Ҳ"ꓱ4EًD*:o{˭q%2Δ\ mLT3.<,p!Q35t;yAB,foǒYsfUt}]@ޗ'&]6Xlp^N-]]2PCPt3zSMٴY=- gUE:;I$mR.B7>w86Ws"˫y&z=/jFQ)dYywCMށT#^\SfD2$2[`^O?/LS=,ȫϽA6j&V`ms?[U/!`uN[Fy CA I9ʱT2EG)Q=ǩ9tsDлKAjI:M쩉0MQlD4%l/,c]2|+CIܽ( \d /5c&vUJL1&UBө׿жgI|9`#'& jv"BbDPdg+l~'@!OJnf53E^j }x|72pO? Z>2d@8+|cL[@9QBq`=T?$Q)9˨øʻEبt4LjTx)ta"R?ڰ 5WmҞ /dfiXk-o##ّ !؄C-§-vTo!5fI.@'1VA;cktg uƻPM!vue.PMydUY$}Z84:Af= ("WBo)rj!,(a@X` -lΚy(gYZ903999814a0bd36f0591e47313772d5da7fb1846ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db