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 )M \ ]S Transcendence_Series_Hancl_Rucki:threads=4elapsed=253.021cpu=843.164gc=51.376factor=3.337zXZִF! ᭍'=]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^eJ AhU` ^Cg C噞k+ 0!¦? A&_@aVorT%6E @ߦvbN.Q)$XScxqYKl25|)gg@Za;.?6Svn`3ǥC#"lP9Lt(=XxQA [ :dnUF@vL-$5S.7L`/qqdP?Lxz}M\Xs&D a%$r跮NR s) h^@%8ڏg]Oe6[_w^?0^#ILgHCq?^`aD ?S_&bB6uvWWi܉ [㔢;I"=[(p .{ G#ljrp'+QT)dq+ .:NϼW臶qL*z^bͫ.CnWxIjp9F%|ޅȋ4MA< g6 n ::Bm;E߹ %Q ` /d_ &JtGA_5WCoh:_`g!Kk/:#mq,4+/2|vx, ۑ(O 0ڇNlj7T O%,c|li=HKoWġ%+&Σ!1"ܷ:X V=;MKSd-eδ qz+'XN 9N}[ 3K<2I CЎ]Ʈqiu^5~5-ڙU?T "iŲ˩nyG7pknSca/`  C^ٹV`%:2J^`Po.˺bQR?LO`1X{feǾ1Y[M638?_`YBJ] 6PgDTWU÷SԔä:n<+^]BMpX@Hs>Ubu ֫EPf`{ߝ(K,)W+!827͓.on #M Transcendence_Series_Hancl_Rucki  -,0H )Vڬ u\؏Nv=^/fch/ qf;yClawyo0M"UT|Jvpc!+8 6uD݅"Љ$ ~rdbNj`J* M/jAR/}]*t2b/@X]xn#c `OO͋7J a_٘$;H&:Z5 s9'ިWY# 4[=@]H9TLJ&o= RW w NYHnkHEYݸcg`Ur&:u2y2><<"ޠ02o7ʼC!쀡IP/Huh5& :=Vu4/n' @ pYswlI%5k"@yP -JMkvT\ucX˧NȒV[.U1B_ƂSo)ܽG&"_>}:^Iޘ\Ao0ЧϽbg8SE -DzpF!NwJ0tݛ1.#CN]\%z\/M-uWg觋&+}EpIT0.FW@}R)% 3)A$M9^ooe*8{Xx?_5%Bd[OOIlKIxyOsUwl~fgTIG{[k {sxhvajFH-PFR^+^#m{]s䯢;1F/A)ɽse7p,1űTh&Y&cSAϞc {"M @QJLBr1#<8 PǮ^ORDS9VCTe_%&ED#f+w铱hV^λX" ]z9_g0$A72L1r1}`yˮ;0*0_!+kG? _6CM}@_ f<9#[3]=nwQ,P_rtksN~cKARN~1[kD-aG8 182;J@(u (wXZjz`Z ϢY]{MXPD]ZBO'8ɫ"meXN|óYƊx"ּ'6{E؏'b{TiYA ?)CC x(DwJfx;ցlx֕WKk,wjo#G̜Br Om~hdH'cJLg oR(g!Zz@AeFBrH8fFAĊį{Î{j;őV`",ɫ fб &V̦^ڝ h '%,!Q $>#y 1zC3zRKXn(;9 -itGlXs tb/m*[F9דM–?o p4U<d)B}<؍g&> tci#5k7ֿn 9#;h3:Asv6Sa%. ncRˮXRaN]CvGUdI=lԈYP(j:Q# wtq1L)ҀSF."i&%ڴxϙxk q?{ﶼH^ TO2E$%r^]p\I6D^Tс L"CRrX#d>KCD]rNΰ .8Ģc=S+=Gl=tr Ye[nb P#M1PADB)k6܉eՖ>BAwG=`,܊w̱C3Y$tCȱ7GP$=qЎ-s˷oQ%]˿H"!m޺1RMtyMqX>X%Κx5Q{ V GƸXfm'jj(m_L1 ҿ4F~<ǺBHcPtM %UN/Wg|I m39NZm@cSZB;v~ؒ dXiI6flH9h RoFq`IʑSX)YrB픃QD'!(5E!rMU XBBҁg (vbMye/\|ŰLV$@2T$aڡHS =׼Te7Wܝu7ʤrbh`1 ލs0{ DB>9u=G ?,8J4 $mDF:i46sAm㩡]dmm͝gIsZ ֡O_ف _\õo4["=?+%ͥ]a~LA!̘N ^Tr$錺>ILN_b6ͬ"Gcv<4iA-acoui<ľwBg O9i^Ǝ"DVF6˝(.?]^iuNk힌Vtg@FȼƬ]בEg\ $aVjN2ndB^?|~y֗fŖK(j!dS^5HKVKm͹ uBJ q<N's(f(PwnqTr~R̠[ѩ9@Z_`KGS( u'.rJŻޣd!e&2M(^B D!&WĒfV#ǒĺ]]eZlM҆ƒLGC6%]Q)Rl*E:\7f@$3qPENM:z8z< k[ۇ%6!'IrC􏏎# 1uǙi;58LAvG1y#2&{.}B V C ݍTTCsYZAUȟl۾"˵1}6=%K&ʹlS';CW8nܫ_0eQc̅RM,-*<5)%u{ (Bl&'.$8m>~Sw̞U}LHN uZ&(e4q8 Qӹ9CXtOcdNw~bJծ%WKJo׼|eŻJ[$?kYku\ q #SґH(Ϲ dMcuxG7Dۅfٍt=xMWEz;{lE8n3G[\L}:"ŽdXF ŸmE$`;]wZѪ3Uó8$` ׶v6-`?w6~&]΍IʾrltL dLy_e;@2nye>dg u]`)agZeߝT5P ]z*%Sfpdr+[|8+kڒh'&7_X:ahCܱ }E&$ԗT ՕnR?0<;5`.Bgr$\Med8v_]^~T)yrڪ8tC% pۧF' NXpڅE/YOb)sStsUq; ż[`Bbb:M8ӘՄTZIף pt> Fri`KfW8Epaք¢BHIR!1a0!I}|)  Htf &}aGAS&%$]t3Pb㱇n{&z0V(zܦc4m0gD0DipFȅ;enFϻ.XiU=$jgx!\j4x)8B?l%&X1åmR_B.I}uk,5,,`Rl`"> tgN[}"4S&#K$bם*/[^?ǤHl z6[׎ߞ&Սn-$#ջ5^s{2Z'ΗkI]5`*yk,f.1O7ޗZoY-sOݸm}i }Ƚ.uV0=3]<&NɃ~2Ƨ$37D i̯5\GP ZOy0[[цrDC; )uce]ۅ 6l )бT}8et-U7y$y zH}]"BBQƷ|9Z okL7b_d]w?:8%Ap{%Nn[Ks٬*X7%ַ ݶDFܤVZL&I8Fw1̉՘uB=#syV1)o# ښ7b0̅֡24tcqLPf 6gnDBK?"چo$jC7`ݜ~D {Ƚg&xp p&0nC%9iש'WŚ8P 3,ZU1w龐O?x]UkHuF,!p/湔&{A \t;8,/0Y0:1?Nүx/UJ ߅}VExw'ޞJNuhD׾u䩂5h*?Uﺷ0mX@ϑB͸^x@j/򭟐'0 j~aaQd ;s}{yƟ1x3Rh0뾥ffUSstGj j`)0:z|߶ g1F)P.LPf(xGqRP Rmu{ۋ CFo>Pc:y XHu)1d1-XM[AS%yOxT}u4[E+soFIB BO]q,l[nwS \;; v6 n&HNYh}7$pI!9n@Q;"w[J8u+O.̀3G:r Ѳhq1: >W,_PXGË t#1({UjK_0e1Pu6D crïF`30> ȅ(YOaҢ th`llDblص>&lM{q7GP88^UR1"@^Cָf~eOp|1ZX 4ǀm|/HY:nJ<+~zH޺#y#T_JkIp2$ECoIVfCK{"yDAAb)MH,ƻe;=Z1gq]:>EG Dh[Gv|w㒻!\ | ^2V6tšîk2nS3vET b*#so2$*Qz1UK"pA%٣| 8RxNgvI=^{lZu.w${:>4X$WOmh-sBFts6: *ra~ 7HPC_eAN—ᵰhniAS ,JY xˆHM@H]_vzOpQmNMç˱gYZ7zXZִF! p]ŗXiɟ1J2oeTʹ̰KKZMɪ8] @V޼1{!R( WxZ^Y8T:T%CK'B0|ooƨPk3Lxc8ep6rVpjſ#4.+/ўL j$*#p1rtm#Wk5㎃ Z&{\8En5II"izSy$uZR 7nJ)n W\wXV+Ot[L7¸PVzC(;\#( )o!Svõ%|e09?!M^ǡR[РW-ۑ)YQw rGW)IM<]HWDK=3m4ch'}>s^ k:xGJvqqkaϩી|YN*x$>pP >@/^ȃxA\&b[ ovd<\ȴ>6}Iּϣ-n{A+贾IQ8o|Su]o 2" &Obi:Q}*/f78zÜ=@ k>1] 3-*'O7l,lg zs]<$%[=47y_ykgVU1녊،@,eY̲"/dKaiN_80 /n<6c=hFުBbKd,շg7݅c$]$U'o #rR`LfPHHA&; #zh#]\+]p>*HiwיĞ]G$̉0%J"24]互JǙ;!tm~11KUrajʵ=C]mŔ'N  6gYZ7zXZִF! 偋M?]ŗXi%L M`+7 ƫzVݫ%vyg#)(nzV/}|uIR] E #U' PHjPDoeS2k4%@~fWK"EGTg*nJ_PO5Dg-ZpXGhS*;*ybty\oϳO\_'7!Zlӆw OM&k,D*R7t]8{?tEҎX o&AV&Pp|I%<)0 c׭zWK(= M_ g dy𹭦sҜj:>= kL 07VĘͿe2h |oLy]@ryxn?h->χ@h[T-:'d_Y{'=kIHEۛÓ14^f08$p E,U㧆.q抚ryl[~#0h vaAc+# bAvnnZy`9+mڕⰼs)أǣ>+Ә:[z 弨MZU(G E圩͚%g# kisY> %0V>"I(Ѯf3VSˉ,vg^WXjvW}gc[T ^zz4N4% cZ,ݕ!j?ctd74jzI>i9bOh+k뭓lU pS gǮ醡FӀٚ8M?u{rbyWm= -_B"agz?XtUܛ= Fh .jAOTYWD>𷸚Su4ջ]Sv[ÿe}裑3‘= g HDU2*(UNca '2-s5M_+q?2B3f.^ -^.C{.s9B!J)gc^RGnCqdߢ{o;ҿpBt_Y N#)|,'|6!YR)ʒ48:$f҆Wȟ|:Q+*nOseld.7V,~{{ޙaLT E+},#A)|?Ջ9r=ܬ^f vDF%XVl2Z#qQЛ P) ^<` dF;X|VA 4)x^T%x/3Y7$jI:OnkI<ߝlV|1xXFxX8S!'/p5JǐZPENRņpd-.v)I"Lb8L^j*4cQ-<]Nm< -9Pt(J>h[ر3~Zɨ^IWmX kt!QzS:"61}IQtUg-zcµx؉d :XDY;HT`'=*Ѣ:)aPQEh vwˆ̷H9jgy6$VF@%T[2Ѩ?m"0"W P;F;z6 Jvi`Z]8%2'fF }t4>KtL7F״# äI|eLxJU ڭ]_;ÖSfrnCk-i}@\|Wm rucx@JzqrԉJ|L1 !:-4;Z6NE+.ɑ9K4S$dz C$lbewxT\@_T~gkɣ/Dm oԿ^g|*g议h7e9 ,7R3S=~#k9j7W(tu`vRѺd$bҍ*L Ֆl̈q i~"7⣒0*q~y9{xA _*G/1,b(J0AU>L졼?5dSw;4\<r]/X.d盃Q VHue+C|Ldf:%jB+Uo@+< ?,gtz-gΏOR@KRFJHY_N!N)J],>nTQ^isx1K10#P/mEƶ:IeY"F1X10x. gs=ԓ)pjF8jTՙ.:; PV<@?x*ИSjgU,VXQ83QMxBUET*$2eh 6> (-엛!;y1gfY~~z](XrutoHe7/53xh (d`*v.ݗ}Ucĝh&.\[ ET皹78M56 ~ X@o߳VJ$ EY SRs8o] iӼie61OP=0oAsE ʎ#=1hgptJ-(U $ 1vt_fV~9qSֆҿJ󏽹Iα wd( ,ߺY%w ]RI:Y} D[S,&5r}aT+ԾL%sù@UD=GkHL#D]ׅiUZ{c#U]Ś&}&)ևAޔ O.,*$;:C˔KwE[l;#t9m_2Knxkh%!z7&$Zߴ%zqݮ[I8]em3r%֊10=g#(39<{$;M \ Wӗ0E³Ǐ;WOs΄87Au6HL6'VE8+ ;TzC =:Wv!n4;}ȷIP=L QDBHNCGE݀ܲKo8Z!/'R;tc/"]cm"J+,]HZ+eK.% ΠXw #Nx 4 R,#',u+D- |/>1.i8]_t\)r2D̀a+УȾ:K6m?>/Pq%i|Ϝcu}ZH:ؖj;X\zmJSMW#ן:q@Wͣ.;W:ϣ&7C1wA^`m#j1}>$ r3ryF/ 1+p$nwvFJmn͊O L]5P[bM\OȱJ#ho,-D`fgU%W% Dj(P$S(+xI;faȸm?)[UB`ƨJ>u]޲VUCBpVm'qV.>fgגhCq $8^N2_c7"9 nY7rMYܴUg )#.ߡtd]ĎU^6;6Ăݜ@tWlm NR" Q~Hhˁpsw2*\9>Ty.Xߺqn{ C)4+iJfHX7{&&Sh1p67Kv{mByL:zDlԿ>slpYf|^bQ3&$l)OR'$1^ʡ=&ň0??b_ĖЂhpRW5<$n闍?XhOKy<L5\و,d3c,g*ycYA$lzy[6v+eefH0+9x8F.I2]cZMЖ%֬8_Z)ɝrn\w+4RGwGhXͳ;ωU|y鋎{Pbkc j7+\9Hˆ),-@vn`L9y)-ì˿w`ul(w,(+ [ 'x> [0z›`\8gH kF0jX+7ê/qFT6wzZ ֜=lŧ #Ys;yEXOx8\t@=q"Am߱.S[t"sS_k͝d#D BqS5R;|gYq#}9tg&Hknjis1- U=@׊.{/R0*i(*Ol*H##5P݈'D# :x[ $LT#Dt}ߖHQ// uH'VQU2C~3*5 #1֒ƾEj&4|pm&9۞-q$^'?)UM^8iqB,+p&4{7G53p9FReGzAG=Si3j%u r6fmFCۍb~JzDEVt-g_JZT#Nt.٫P*ޭgG nj; 4QyNu(ZR$'3bzmWJ p E[nɋND7}me3sHQ+R |Ŧ^Bj}כ/GiVA8T,6nl3MŴ{-};e;lCCN IOBr>Ma mHqS<ލbF]s-Jce1RX;c!cb^n qJvHyoyZ 0b9ny2A :^I8 }; :91á8(\ ^A_V72igQ|~_=ۂX?V[weiDv̔O)BϹ$"^Khv.9r!t&rti*i"NObxpWiIh ^Pl~IО'>Ńy} gJ f%.OJR%dW^cuF{G\(M=#fQT_7Gۏ ܌$NN7ܬLd loUU4P@[f*q9WUWB$G{*鎐= SqR[yʧp)˚%3!>XA @(zfY7>QHRK%:IH)N|6uD˒Wb Cyn]9DjA󧛈n1.oĀMK "q ,Rާҫ{Y{(ߤe,:[SPAbQQas !iuH]e0ND QX8!]MTɴOk[g*Cy&j@[p .CwKϥWLI%H'u˧8}df"z-UJ;:܅ &A#P<_+׍aYlDx<+9â_vCtuöQJiYܝw j]5nSp">AW`ؚInUZ` ٻ{sxv(\DEAf|⑓Q@q`_KX27e3Ǟ5H>y9bi+Uqyau'̈́ߔb?e*zveS,(!ym[Z3;S>LrL(t@O}z;Ni^ c9-`bm*b*Z \LFB@Q3ͪ!tBڷiz.09}QUhP yQ 7XtCH/גb 5͊ȅ")-wѤ{hz)UV{U7 EWu]a90a]LֻxS./A :5X,0/-S ѺƩxѷH$Hi V%6jPV,~62%r2 #;_Ο8\ոM.[Ĝ3.^V+}m \{`E 5NiOc|U"TtLb 3nRӹZ<-$#]Ÿ~:>N)G}~"g&ُ8Җ 1:udU~9˾-I{h@sud&bWmՍMLz3ޝt\%= IuQ$薭(`h?IE;EPIoiYbA L"EĚ63gwk JX&@ؒ,b^#!Hz>ȱ=&] ^"*,a9d 33\{|bٖULcaE@sIՃPqr:g<?֑G,U6LYLaDz@&4JQq!}a~r EdKg.יUI `cYZ? s߯ɬe(P! ^`b]?lc䧮Hmpi82UXHf."9>}q&}TKdmJnR9m*U^[S$UB6n8M71t'I YXIge;0{\-Ԇb`կ82LPMВJhQ}ɂ0 FΠeg;/e\ի.oy\?M~XhM%!,@}K9HYs3y īHuwPup>gqtJoFFe;kEWsq,2ȋV$S85'|vF>D|ym[_M􉖺w||ǒ%`<WhFYNgZ*dnIzorE SEؠU4.ւbg*ġGy5zԬt; ǙgGTb}.!:ϵиi`J\ׁsk,,ETȄbػѠSLθVvbPs ˴НW&"G%6}mO}Dφۊ҇g7RlN1gEAp@ZlZ*q9#Ů5|ޠKOmƷ5,Okl*1Ϩ{Z1g2>'F$գL!Anю!RӉYCSp*;Y_ L)rP8V#gaz2ّEM%B}HX" T"Ws"Ns=CȔꈑ9ѝ i@QtkHe>m #n"g`PyZ(?}Kv/bs\4CAZI]ACim'#9c*q5R*.||~,(aBO_N9blൿ𦛌t+𧣘2C`ؼU:K'X0O^ h2 zӇФ1C$vYCZx5]0mHee`}LtSQ G@5͟t տ \2QS!0)M9ɤUnw5|=7r  ='?G+ 47c#$uTD:h#>ybt^^szd0iHVR*&0J&Rnܶ 춵p"gOI͋&H8žt-^v*KCJi|3#C^ȐC`'g+?M~n4RZxY[]u~k^lFBS 1㘞W+.k{ʬ'6kI%E:f:uľZvx\LcOI 4R" V*kyous%zĒ@=6pe}Nty;j_̒/2*]G9P8fWsUnR δr!LxIla&F}ud/DKϘHV7k_*R ֋Ǥ/ltW0tr 5畕aSMDitͲȲ.X6;9^$cOY9oXY>=-$6z6lxj~޹ܾ7U\rFE=GC̛Ì~X/eGyQFkI4S z!#ZT"Q }P9wEdٲho]7$OuZV~_ld2+L$G|g<6){7<BHU.<4%I+0oL7¿#CufC rϬo:`8eYNh9tP.CY cc)~}Ov"?)^֔TG|pp-PTܾ4 (8J4sQRXxPrhXYXukF]"# +ezkt} ^0ׅ_Tzذ"^P~?iRGC/U-=-;"+#fj@x%Z ׻dڼ~,3!iH>&R2@zk3QY?hA~؂o:o.s{x'~d"+0Mb Gsߠ^K='֩ړIcI^*ůvRW *%!)^{hb}v 245,VӥhFb/Ns1^ t)maFRM_|aa\?!U}$1.ډp%jrX@cRY7Y?"Uk89Hdk$Z@+@JjtʹidAc9EWTh,:QU?nDƬH0ScǺ1dϿ:982 ԬbLߜ @ybmjӲ}DYQ]9V=AV1zdP~0[$_]AW*Piρ=iҩ)^CiJ{|!R1rXmvItUtuᯄ^ 4iliI۔1O \⮥pa#ZA47aKScS/EX#}gSG̓` YК?A(9V>HA`kn<\^sX/F: gwtp/z*Kq2K֍I<7e>Tx b*[+Ip /pvLTso߹'%mv#f@aYT?2vJUlzc鈘?иkz%L:Oٟf6 ]xȇq-4#ވV N6Iez, 騢0@9@%JܣK+!B}˪Sb bS c kkĞЌ+rjBzkQ] Cc78Jjr0zx";\+b̘qdDGA|"-࿢WzTmAUT|\O-hTHڕU1LSEw;)_6Q@Z.HW| It~b  N _Yu)-_I{ R޶6}\"v{Nx۝sp`_?*X՗9Q_-|jA<ĭYB7y'ȩt&" 0*̐;d]~:jcQBҞU /|:*ԕu7> GKtDQ?9Y1:V|{Ht%G+*Y3+ 8KG![maP|_5<@˽`,h**JwlR|sW6El rj{ϷRK*9uU%nʙO3)Oi: Z Dy<G @f#<j' ,MjMyDP|IUXt'ѿC| WlƂfEMZ.nxх`e{r_'83G΋)$2ᷞc=6DŲJmb۬X\z.i. f-o=@$lU1jFUUPp |_V*=osZdkڰGXNe0]3N΁pk 亩.xP _J%vЙGH0߬} J#ZRj})xET9ޖcʼnVYܡmFkE <#{Ge$y/)w,~P+bn3޷c—یQ[{5Zn0瓨_͇<К< v[H/A'~Ş c7Y!֦c.u#wDN$j$f.llnT* b\v3S(Wn%T%QQ# 3CǀP1js>«-gAF s):N$՜)Ӕ5!'%SˌwP(d_'xCL%!3r.ʴj1Cu%$?"_F XM5T$4 /#SS+L!׹uC dC'k-rC$9^ޙJ 6 F@PD]P.v; lVX+?s0 }ERBP;]Ht q]R`ˑsqidcTs9)휳}Q2岈h6O@hl(}2U}**1"~3QH11SAWan lYa`wŜ]=69.ko3Or[Xb@)N``y,2ĢԖ?r@O!\`wcVE$%'-RV+,.\hJN}6~ʻ㶋lKȘ#v TXCxp'?l5<OX.|&z. Dm*BjP_P /eA zΓ9Bu@Bm.1:$Pc,{{1ۅZѐ7G&JbJ2l,J1qɜ*hfM Ët ֊j%kZK#NKx Y#VT1`Lڨҽ1z6W޵CϑD;my 40Խ s5Mq.h(4d2ZMW:{ Rܼ-G";.{Gai ˨Ը.qDM =m4vxWz*@l9%bsP t{ªd ?ʈ3 bx6{/~6Y{=s#F&E !瓼jX @tn0³c(f3(p@lɥ mNh?fB-I,RA 29RP;'v+)2%b Q)[$i$(Y'[ gsiNqUz5ψcu%tԛ"En{fP'̟<^s:x_@H|6 ՟d8uRP :ZOEy~MnWV< EO'lVZ·=$Z^`Fx+gO3 quc{K]';' l0}U_y44o HhauxQ-nԩ25FI $\fY)/MJ*GVmI ݀}te54R EO88Hۇ8p4vz4pפֿwX[Uk -k;^>y 6=ڸ:X+7AhY!J3In 9TJjy}P? :+ag8J\_O9M&Bs/~#h#b̰]YUoźv/e6X9B0#/@4 n jm]ob#m7CmmYq\5 %uF>lA3e=[r'@gfDiwrhlXwx(+[v>2Fa(~Jl6R%!r]-dOYX)kޒ8.pH JD/x@|BۈOA}2;F3?!O(MFQv2ac|Uei).W'=C Bvg*kC3SY¦ƪ3Vq%AdHG)ĖzI;-8[/Ɂ}=/]K";.7[;9JORƜY? ȏ1Y=1eJP*Dˠ^#IJ=wAd{k@NtBCeG*1wN(Qsٞce:;fw\?(\Ndx4?9/^M78л;b5@9ݗO+G (&Lp0pA{U3})#K95;$h-FC /ʪ獍*LHwϙ&$}@!7vA.B bSXP^97u%Z`'K@G\pXp3}e{ۅbX![b hq4: $E(7tIk(VܺCjd14Mѡ Z~蕴{n2DvI㝮8݀I:+ Fr?C;`Z ܂la?X!JFLIcPw\&Q7\M>iGM,9Z@=oE,F~M0&*C`/8 Թ_NalH$/AČͷi5/V@M"[5߰դDSL f]=T<Ҍ{͎%&VNĆ'4l+"3?0joR rAFSy{Bn9΄AVD+d\2>J$8Lt!qm Z?&sW;dCkcW&zwuoz0o|O1VQTEL2{l *W&Nu?<>@?4:^ ~oVfg<20/ 5!=g)3cݧDeIp{~[Sk6[A]q%>Re0PZy8k~4!% y7[pYt[DEu S?% =L!0@8&mҡY,F}D34:A.P<._Q$i\|nGX]OX^}ʢ7B`y TDlIc ;A9 r$GVU'#WVKVx_g' LOa˕YۚakZԦ˖:liXJUyئ4dxSx{K#rȆS4^:֏GBQa!YdܫU@190q4MƱ(҂G@ }ᙕL@$k2*词d.GۚgYZ8efea31f8799e3b46e22c8fe2f884a3c07ce3797d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 f725914093267a67736dbf5dbcb2cc2c1321a276