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  M<<< ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=262.772cpu=880.752gc=45.244factor=3.357zXZִF! ᯤ']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e;rOQ3\]?.OaE5Z,jA1O_Ґƴ V0M$؏JbCrZF0{)תk}ی%Ҭ6`f$VT9&GЅ!TUMM8;2)KPS_AzIBl/q0~9iK\Uט9,u]UH\q@ ..O9FsV3䍯cKkdY>>-YP6Vi!~&VwWćMrz|k/L~h}CŴiK7=ܖPc>bFfnɜ_hʮ!i'=S&, NbHZN顖R^j_.`Xi{?(\%͝Ѿol@3'Hs2Z5k YȩyN=xOy̍38N?~ܕ;:U5`4,y 0Ovw/;$ 9K_cPȇ$܎!hl⦱g??E[w ?GMAZ?d'W攖lRg5A)W@׻=xrR5V+8mē[@ր) Aʇ0uԳ{?.~ere-\ˊ<$S?܄ZyBnC=@7t]mZCV8lSƿ[(.Mg(2e~(܉v~V cZ?c1^s)B.V =5ۨzƮj<~GuPޓNrxd/_pJoCw.o# ;3:LEwW,\uFV<""<da*oNlQ6jq}ivOhzm!K7 3UfR|RgDZ&Uh/t 4U LTJFۅ*w;JȂ@U͹pl>hE6"9nœ,@R˱32j%|hV5<GvK%v>T9M¤y28SMҪ2jToA =_*֡^7SHqXێũ {nT8OvH@CdECу8l{W&7:EKqe20& D# XΩz_+s@.(0֭$ : SVFze2m:&a/9$cvδ L ?7$E+whKytvט VFP-<7q곀&b7[koRNKx y-"{|~8F-- 5x+IɖWDPi<)rB=jYw*15ŒV}#6m@:D/=9cvHJN@?H zCv|B:E? 9oI|v8 +i@ef֥qۉ#byGpjAE+.?:(:CG)5Ljv8pJIځ?:|eP/hS5_;5EqX(>_` `dq`KTRHɅ)9 ;(Ϲ t^9_<1E)Ѻ]y 6`ŁV`]'JU) 9H>~[Kß9:&`+`-KBݐ33!_i]ّ__ʙ BεG"fy% NFB$Tz_=[C|0]n]J:Z(WS #M Transcendence_Series_Hancl_Rucki  [=[m2{Ϡm`m#m/kOlg3` &IP^#yn=Iˑ|:9gYQA#5GKv m2wz*'ᰊ Z4tHSxotׯKjNa:SH)^\62FSf*j3[yq8.k cw׽}byN(C6>\4)1"Ԛ6Gm!:ȹw6,6V'{hTgu8l21t`!%Џߡ7A75P/X(_+})Ӵd` D=r3NV"Rp*SƧaV <:h¾d]t@u1d|K WL$^W8xḬ K "s3ѻ4u՛輙5êo~#ؼd=PC|\vs-~ۃ_U^6ěڶaQ7sٟȍV߽eO}+ 1}pq ,g,*'4\<^u6rEaY"~;f`^ hp^56AGnCV^3L *`hO$Y&t?m8q7G;H܁+>EQg rwtz'N/f5 ,3?`;\;B_oa̎5YǫO-5myKfՈ tUA+2ք0!,û"QtFUYB2tt‡;%q=4i_jh"zl?VjFIe!g˧1"VHPD\@ݽjW # A,dV$EX" C*^vg];y =.!f-S&Xa@P{ɒ ='R40i_xqjdAa43iκ-lڗ-lX%ź_ Bed_-e79ǣ5E1(Ɔ᳞72)\T|2EJ5o< t(Սc"{:ecHX]X7]}'c{Q/*Ҹq"i͸ QkGeLU7s KĄѫ lA2)\\]`0~b*<%?oe}Vi2o?x'WkcQ/XJ9AoT2V^0g7έ(TڃXcLG%Ju .:d[<|\թ 6RԴ"~6ۉkwH7>NߘV| i֧QDFy9>?pr1}Wm~z)1%jt}b6Rg[3*R&Y_k)Lvjj尅`xdR(I΀Pު=j)P`ZJ6>\Cwߟ(x+SmwQB&!ߒp%h24nH (cvYc:e&YLA,L'1Ήr$^F.҃))D1p957o`H7wǞd+N-d;OQ@uM3<.[XO nӛdى !/58oIuUq׃ {\M+ R0w|rs;N6XA=ФYMxhiVw >'HKҖJ[ٞXgjWcS Rƚtg{ӂL. -8.3?Gj}ab2r}$0XQG6wgZ՚p[iEAY<²`TLvZk+un([V/d+\xyXc@\"U K$պdvA7eMͫC^)X06Xj`Px86Ylzzqw_Bur%JÓ.ǮC?.a7vmFCb|˜0÷lio'kHNRV-ƿ z68~vŕضQOZX!seرkdG?BU» z:$xzoY RXP>D&ryQpvf M0øG4cu`H-(o +y"Pvg!{-?v``j\NLpn,ny}(`k#:@FGhu(%0<LkiYDӃWphUE}hn..#jL-ۈ;=DjsqpI]fUףT)zc {}$Be 80=8KОאh[ a5^r-NjGPdy߇Vpt\ Yœx~_olzOEs "#Qo83Oft&9mPYwr3i"90 .0R4ۊ'`7b`6!+z*"ZG 1㐓3ܑ)-vZ3w2ttW*j~:KDR;n]$Q}-aIP#|Ŷl?p)ouSݯ4rͥ|H"P`Y+Gp!5]/Rͭ,ˀodZOWZrmMo]=@`4o~7nńT>-^N=R;_[J߈y(Loy߽qVPrOi-f$1 ZTP3,ʽ*Zv' vc[kcn}}]dcg0@`>MUL>&K,T UE(h&F6ExE(xo1o˖/k"g#E;/&Q%:lrld: 82Ooɱ=ˉ( N {9@]|Rx%&~h5\B6v2Xܽm9ާ yhzqdž 0б4kҲd #@ CFOAK-?:MD !?HLPa;jiI}ЧN9{i]!ݔBfF2˨_3#Pq`D[˴;'+3AWQ"0wJ!`T^˧A 67L)]6J9h@hP{JI2cth?e^b1`攞] ԡt@Ía][BJ7펃BI΄IT4PFb| Ho/TEQgc,}/iH4)9JDU!,=AA@@i ^)< |KIM<ËY5e$šڊ^ 2̃΀ qϩ@͒g Vn5ЃK靅m5KnQADb WB7M09 z&" cg$OIBԵ+j{\lGSdLPNExux )όBh#w?GƟ}ri$C63?TfJҹ^0 uS8L- ?hxRA:hoΫ8+nu9Ne7//OOk>rLoUwG', LW'%Z@ӡx8Ut4o ci)I9f%GBm@܊㋔aBBLGMRiGˍDt\;O9w]ڄϓ~[dL؟n U0eŔf8:4'b<3:V= 9IJUuG%>:h kiJxlK,;bj֛-҅_PeXsg gܲ $)¬3۬uPz %N}T.U, m葅^%Ut}ܲgϊЍ^T:!˷=%IV܋Թn8Tk(upv22M}Q㚒xv@vO$JTO~A9v҃ii>wR jGt"tUSWC["qel!GHX}a}/8cEjO\e@"cx(X/ETr%+,xf-sT5yDgEvB]5(J+QxAMlc[jmkjկ [QwqHUn!01D5S׏ @SCX\ +yV^u8od(‰ЍQ rAa_\]!$zLU`/zw|ur:eF+l#yGp'VpZMF-ϒp`. ozag0? 6qܜ绺=n9>(;Ĭ@8z25LS4 4=Ya !l772P7 rX/K&A,{4 ~D'iVߎ'q8HA}`OIq^suS\g1 'ʲ񏹉 ᆋLK+Q;${&W7S rIrՓ&ES/F G-*2ק6ސ郳{DŹoZ᝝.ӡ`\ّ+M0bž’*5(l$:!*p}UyaxApy*)yYI]2V*u,ҵ4w0q\w!lJ{3-85N§B39dlA# &uOE| Y/4^6 &{ x mXE^Ž*@C5YPcmĽLs%m4Q=,bmXS I풫r/T=g tBs #@x$x[8#1ԦP_ۚd"YhxRH'ٻK5RPӀkR -ML_|C+\ʝP%7qRSdCVx1k7l6@_n'ly3`N2({mH>1Q"+ٵidSJ5N` ]hb9_dkK>$!< =1ȼԣ3~>'B$>f/qvzϟ{؃u8ſ$ا-RӒ'Wz xl+ƍWUPʦ~m"ȸ= #}R:I jN*_gYZ7zXZִF! %]ŗXiɟ1J2oeTʹ̰KKYz9p%䇣JͰ}ZzN} $T%Ϳ?sl2Payj7IŸ`'>O w|`Yeezu=ku |=9Xm Tj`GMSo@"#Rѕ@Pn^]B5@LB}#P~jkaнXVyS싪e_􈠍T=׍>ePe'7zW~aNSbpjjܭxX9c7glo=nO0`_w Q)i /M2{Q˃"V>yjvijWO12 Wiȓ6&2ﵙ2LysFx`gFV׃֊ b? ; [(Bx=s~$pw5Kjn, 0#naa)K(O7tC0nMy(ݘ^WKEݐ,cr6-@K.f3֎s7[A$\VGWB/aj ov̀-gx8k , 7h;1+2w2@5wQKs._T H|zRgGOt]?e 8ʌ3/ȱf(lp]lTe`&@&2%j_t=Z#0Uz Nib,^e/4ܩQF ӕ%Uڹ2$]$ `e L_rDW>":w^D4mɍ#AZ%Wv}}s`wߎp+O_<-un.\>ddxkL%¯S!rߧ3whDOVQ쿉0Ga[ Io䊬A@˵|Ip bWa?FIS̐lL(ƞe`NG;UwfTKۜ)h'H|ʇd4#m6g@<ESeŞ~wl$, bN$J' V .k:'D:et>.c{]~-Aŏ$x1BQ&ͭ(UL"6DW2ߛ7/<`I2yT;A7ܸ0hA$Kױ;6~c{4<(ՂuFg=5RS2ęfOh!@Ӓhj4\}1Qc@-4Er˛r\PZ ~\mz! B}s4i 6}!$gYZ7zXZִF! L[]ŗXi%GH7CtAӫةpA1a\^E'J#*$G^4t&l_[Aՙz.&6vǫ;mȦG'):;QPaU Ɠ`t{Ҏ.ONR^2.I쭟Vd źDO&(dYfP ,s<%FW*6<F0 0vy+wF_.\܋{yn}+͟yL|(|Xc6zݓRoUP{ Bbv=VpxQ5s4cN.;e*W/)/ >fjaXA+H'+Y##7< qР tjݚdRfmLHxv_7L]:ZʸDl%# Dnq$ pr0 i]vxbFZϬtaZeD'1 x)&xo$W> 2eu7k4♮(c;ft&evq;Za\nZ/G{I ; BWm5=`R|\\bJkuIc`:H#9ٚ>>aqq:EĨT'iֈb^"E&$N^˻f`ͮH]Fw4_ Ԕsɕs"{f]Y7T8n',E4QȊ- VhRRH%!7vϼlnA)*yH/PQ WD JpOVi=ƀH*CX}uD-tR-ky_&ESoA@&.wTY'0@ˣ\RY˯ (A򚜃 y5 x(EE)Rha`d&ྐྵZy j<$X_bsEdcɎ_6xT. %EDI=v`֋Y8;Q4lp/7׵1%y bڌ]2o:Z2Ϩ/m:BRy.peԬt `mъw&{Q4!p}KO%R2 :a_ƾ45xЅÀ2 b^~YD;όUHȘMs]E`LFQz9Kwj:g\5X9h⩈/Ej,ֈ%u,4<0Ej`[ KS~٫pbi(V qT_Ht TGyA⮔P.9ǐ - #~ >=H>ݓQ+ca6t%8q"V8^A-c#֢}&EsSPԮ0c[骈 ւI@?D fyv cI V> @,װL!w< Xr blтI8\qB\ ?fFVJ큣oLxх)poTjW @52Mlx466s2ma.k4AzVZ܎G9@Y(՗|y}b:o!C(āWx~Ϛ̹۳R|e>['"E(\yR yb]n`ګ[G]vg1kFۂH&60d_6y6;h"^B\#jM[fv`Y.= 327mqc~dzTbr^k3u=ПBsW9G_ vo%M7: #eҒVY\gNa,}%h]@OémoTd-o#hh6Ћem8rwSJW3w!LzI4]ǵ(3 'ðwÃ(}8DdA&*m"Mo.Xmuƻb-a8;QTOK2" K7vRS]'fg菿$;s}n#,_I8.G2OIw`/6PP١ 4Xpz͸5]xvAd/á>&8^$-7` )S)Vu.| 0e_DA&`cxJ\Gq{wURFFh:_XFޒCqm ixJaDsgLq2F?zwi`͆i}t99DR*Y)oϰiA.ݩIOl &> (=g_9>q(gU|xTZGn{W&ʪ⺙O Qz3MMTkLѷ ֿR/rYAa{t?Wǐ2^⤝Vb,2iʚm:(ᎄ~U1JM>y4{GA|ch`(&L,[8a OLr`]k)RJ>/>JH)ч %(Mf˜HGk>1Rԗ/M {={*a ',+z? ;hYLnLd *>L_YTl"+eE@7S8?q WfxBSBa.[=C^-H]XbW o䅄]1.OS@I%h2|8 4vC!g*l$!ž$xN#&9d"hiL%uJXz™xT8 jڻM"C IKwhV[*k.lS'CO 6rUz+#̷1(~ )#U` ̧n3QvEfF7 {;v# / W#ʑ6r>$٢crE=cMZ2{l̺mR2+E8S.?biKT/(T*GP <;3fvZB˨na%"%KW蔾c|(Fz0kLJӕq=4a[Q5>iq֤Oy=iXac ~q1 t>[{[$h2vI)a䈥LFla1Iꂚt>Y-%W[yo4Ej#)3K1]z*t-TЗ~!.8 qzQ帼gCǴL ntN!A; gV9:%h5O{2ѭ^[ܫ_}NpZ6!PwWw- }x(;0z?`D]crb@_tBþJrDwO p۲: _[y4lۥY~;r#R\E݌(˰TS@3$Wu(E(հɇI]pW,HH@>[/(RVāSPlP~'ȒB<1Ĵ?mb Ϛ8\d 𣷀?ķ[AfF3Nx3х\/X@$6'K/Uo`BI#1Ǫy/wѫJ-8F^LUU[>`k. &Ntpew!+zI -$}&4U|U\&T`M81vE|Iyb]AţbXlR6y .4M eC;ɷE;ZV}tOpG9M=,gwJ! %D>ˈK+vX,{34Ά(0+ :`^teC.ף sN]/Yяlm/8zG !"BB'=7KȪ81^}8ρ&V V);l%$PI?u r̲ jky rs(x X v wyo)#pj}øU>dIKä[Lji8DiP V6[s: ٔ-)J:F;N܌81fLJ]x3{:Iyn-jX}9LRn/;c3!L?IYceJIdq| ퟙM;~D~ 3^%+ȱ;[ӛ2;T%WcQjOQ/@xc$];M؏w<߳GnпILqu?2e@xԀgwGL*M2ôk\ 81F<[0)_4.l8c{ba͋ThYz(guo{>ӦSօW |+n8~vq,&x?q)A˫փԞZaWV@]iNc7žͺW ; ż!qѠ@a]s@ >.1fafpȿOZEl*xz1+bO:Ү2^VIw*u)f '4}" !5v:1k|*p$yb2fZ߿Dd!NbڄrĹ'l V`E/0&lވh1P OB_x{ٛ]B`YjRwDߟ^ Z^@J1k֠A›9ǬIj3 pҳʿuon KܯcF%#Ό|&z lr5NZΕ}x 24 MT.y7h)_x :G8 FYP)rsZ آT[ OeUB _kWQKM:4E%2B_$w"Twv-@É,V*[| Hh~]„GWf]gc@&Z*$_=4hgOw]dJ$$AVP3ͮW[k&k.ZbJiǀ_fV~ u/D ˉuG LM^VU쬻`U(b|̬p]Sdþ7WĴ Qjc4TV4`}cۮ~gv`k4 ev(J;oZj)2D*\i]5ܽ/[μ(n }tvcđ!vwm}I΢ؤbx7 F5f U^m<`7ֺ&[8uDP /4V >5HAɛiAhB%2XVh-٠l,I2kD Q~Kf"Wd2n8mNi# pbMC𽶄x $WGiJ 4*daWI ڍc柈:D7ESO6N_#݆f#C/K >"R|=L_߹ĭ3_&Qa2hmVD٦Tkɨ9z<4P(+^u`@H 4(*yrI|ɌFONR8}T=E2=C  FL@)h W(c¢E9muH-ϳʊ .^x~܍7ʤQBQ}؟X`1Z{Μgwx "m55dnPVmiY; 6͢^ c;(dMW%5Bw.Ab̚5@BAO'dLrlٸw2 +. BC{j1mp}Í#P$N>ڔQopR@}j(IY%z0f9܏u~!&v^ӎ4&b"^6[jKKBi@2Bヨgb);(<pl\q'Jlk/#ઽY瞗>9<>dIVx']Wl CPnøKu_9p+9 M0daȏN WB@ 7=ŻZ?xG}{b}aϪX@hDA#Ro#o'BZ!?}T*^N%=-UY./OEetf a JS7n*>=hdR<86S/)nM VF^ƮT'n4 & ܞ9ք'ww$0K)LXz''Gs8{ch-ۀ[,L\ ӌj*T1x9ZO–4@p4SL±#pۅ{_0M-$A= H9iyodM4VܬJ$ Kb .qcY*17u\NUf3JX%: "|\UT[-2 E|xl-֪mU&.P-,3 " Shܿm4U%m%xps:ҵ4kSb0$w*ZM 4P,j>ybSD#_5uy{'*gR0TC 0Dzɓ]~҅%ecU1ƃэkm ;! +>ث[H2OէA6ӥg *_By>zT+W(}Sb~O~iXW^m$Md ЧFU?V܈"QHTN/Yb!,CKup _Wb-T1בd|D(s"+ )- F~"%Bl.EiO2zNl/ LY~ ?Uf9؋|JY~mDNCXO0Qlq$vIUvM8k4'41x 󯁵!X[[°,_ո$P=Fe)e٣ee)$T:9ޯ\?qL>ō̐dm fBA{V2 { f4Pݘ&noK.Pa贑JUpԂd<&Z2:jZ%Kg1vE˝uX'$ ym[[>_|nuTn) % */Em%rl^%i-f͈Љ+%q D}kA2nl }^m6(aRrG9ٲH߁f؀)4$$ӷpG2[@#>!$s1o5_Zæ tt܉t`?R[;#i}`e :A dD'i@JJnQr#n=:+  v!)1iw.Šg{ UVе764GUoI"6.g#׹n"$~ya/&+ā]Dm%!p YU-2h ?P݋ =dmB4?\FA"J B~Cv?uu/ۑv4J-SKվtgv})\qYTqec{G !K/Ώ֩eƉ*.DUlJ3=H_?V܋Aoyb7zn%>lgq JֿٞlLJg-7Iur6,ەq2n|#Y8G@mQ.nSgwjFwR!p%%PMS6xGFIJay’y֐3vU ' XH5YJ|=8! BHYIU>6W05LCjCS{i]Bm-G^Q^~a B ]833,Zh"ݧ"^c*b/ukR L J ! 2p#<:…궎m.lL5 ~4r ̩.j)V |Ki5ἰ51.B?iq3E,ƨݰkJ8,0IدH}a\o>X$MceE>"嫆 ξFa˕,eCw RZKEOxtz&8vy.E TA| ,:G \h xj\6hxKKiˆȭh{j@v@zLo~Npi\hH պ3% w+ ?onNVQ=WhHRՇQsy@n.C%+ks߮$Gz,C7ļD הo#ꖉ.oVi%KLi  >#렍s,$:JsWK%7{ YXyade?AP|`34e^`T`z5F0 Y9!Pͥpc") 2;ݗ uJ&CQk;GC?9r{Z!nq- --FOBH8?RdN&pNTYOKKcSˑrb-WMFQE~ȁ>ݎӈ¥L HV:Mc|Q̛^A"xm&4 F'}+Em+ɜ3&#C1|jN:U K:ߊ'Qݥ7̱xzWX֒oT6'v!͋ bsx7'\ cLswM~sXs(3/x$?\ԈI -=zkBXe犀dĉgr+G/W|X4wذJtbF`H4=LK^67O|X=]"} 6_O퀭'WF!Ұ)C6[ D)kSҔF$z.΄8 ΩB+O'!fjJD=Xdno _7AM6Ӽw#y(Bs&N"" bL,mJeΞ aה¡4s^.?mMD Ec]1 i@Te]"_vJI *o@]|]/3pzU箊-ɢpBƚ58ŪR1jA7`&qi*' ?k$\E2rh=C-ᨅ-Na*j ~1+^E'5]WT1^6 -YH"HяnxC4- 3CJkc}Y4dK9T0HJGr{YY >2eHz(3ba$jvFȺO߱6à1~\[p\(N%A9;-:k6 QL3kr9}^`@uXl uKk ZLxv< ̦l2Qii. 7ޔkDZ.=ÏD7I5nI@Yd 2sdMCb{ND# ;a3 sF s$Im tҿjˋ{WMA5{HjG  C759n!?@g=5nΦ P0I>=5sa bAxU}tW~[h6jZ@yJ_B |>,_<jEZ#9v(F>rT]xCuTUt6;lO 33Vֵ~\X\ ?lճAהr`%ȯkWSwp+c{+-^ v>Ws?.&nkke zH"!F{y2D!h2wRHȣc#hM`Ժ{|ᒘX?j&JxU,a^շ ](C&z5 IT}536峪;Gy[ֱ/)tD4}im3|}ut%];ab,!.:-9>.߳SQO[ 3@BR-D&!]P4_A^~EdQͻ<;vq*z_da*1-s«)W''K-_ F10~b 7W_s;s.!:^,˦뾨E6H?VCi ~>8leM7v9r\<CFgBYW]DgV跌Eԯ)xWgxmQ:5kSs&LCົ(A$h92r&є<>tvźN Q8Z -FS  Ő+ӕsz%a"}g]Z7"!xOa ́ȧ\>3t gSQQX;eI=EBvaz{k"DiSh{ pBA?~rpT*Di 5ܦn#׆SBdm H;rס/E2gbԫ6}o!o}F:JNҤ W/|nz}ϝ$YN{կXwMu^/>j,Z.M11Fwh;BCl5KeGBglBeM54a>Q1AW>[`,>Dތ.СZ-iZ1aɤWUm N8[[g}Lkz=ވ@sl/j7)V;J 3::͖@&O},6v0TBNŦ!r>/5cvU"%͈^P7O"qvctl' ~ 7A!'f~ #fg?1þ Ҥ1BkKYOe޹ B#A"k=]f3u ܗnC#Mֽa* _ Y)- 4@D]`hV(# }(] N *s+Ё% O΂)KEd&`!WN>32L$!fX^0-/9SG>IZvlBR6MQwל[XCb`pP"Q t;n!_槔#K=/j]ڏmמ<2ADa1&Xb`F|>Fĵ[sJ NUrL7' 9o0{kcw(PAcĉx-?kw:}bVnLڻVP8r&kXf48' Ы+݉y0x'?YԠmC8xE-A]=ض2\Y ,UͱJeZܲRrC& z}_EG,}Z0TM?T6߮KUOǬִMGWZ 2B~;~/D]6.*3UD[${OΉ*+t2}bT(H ߆ke(&~|To .׏S}Bz2PES7b}_2n>URF'.s4׷B _߳2P`MڗUd$wܔp:#|Y8Qޞ ף1|HljFuX. RX=P!"Ȏ_%y);4SFIj`'}S v;#L BJ33]T`FFF2I;4-!B;n^m ,9S|G/;yE$YVYՙGC=3֋SUPK2@Agaï6q:^/jp3 3ElHAm;+UnN1=N?$K@sO׉k<,asJDj+fYtσ)qx Mte 09-ausf׽CpqV ~Z}\ 7h‡7>ZF^]6 4>)\Tg9iMr3FO#K@] 8_(u W—-D{τ+p]lc89e/So=SB0-;h/cq CWM )2AUL8>br)~(v? в5,J,<7Z2| gL_X>XZGK0H9ro )ҽu3>qT қmzǃ-`5_qZD-'Q͎d ;T]gˆ,iogk!2FJHv^^K})I!Kj4;p$pY.?}򕨻z${OKw K)O%v)J$&E) CƖo0.Y[z8jxW):qZ+~!GqAJD-SqՐZ^,:p_M)9pԽ٩s%]P<qV;U~Сw\a­!/p7c}oBsd4}IJ#QO E1zxŽ|if\^A ޑRtlkBǵ=m25kd8/(Ů)+,Onɖd!z %W,T˄a+ThVW\gG ~~:IlPa1@ S6a>_ "<|t0~&KQgnǚ`yDyZr{쎶n62]D.Grs~+D4?Pltpf&yȅC0kCz-\, x|C{TClwM3neݍ!5ae@{ea),1CWl'՜sx(Sv%v_̪օ4Ybiek9"@6Բ ܠ⮽j ebVnA m~:&cS;9|>;}aп{R EPIxlCQTnUP|܀f!vOuHpV'vAVF"15f. »)ME X%.% `HAQ.|t?Lu}$D*{08]"?y{7xBԂ{a[6)ٟXۏ7 JN^"={[w["!%_3{(P{}GxzƅaBTNs}=HKBnm*+M}Fa2~Bob-XwĝrT&CfC!NNk?~tJs&/)EUn6Ú#,S?BINSôgcmZoz6BCAxK\ڄ`K`?ϰE~ӄ 6 \+u_Ҙ|%Gs{Q\K~r)E[/rk Zڢf,OvC[B<9ԛ#3CA4z@xDU[Y$ԗ5a~vk@?ע=!k*@oGzZ/ڎK[ŏF{%,he1j^N3J%68f92~: TvK ݻܝ;OnjY>]DbGy0'T{ [[ ;.VQ+Pd -I-mX9% :1lq 3=!62&2ȕo㫋tRd?k 6n1F)[$`z%OBT#g`9t֤K=s?d8}kL5 N {zX!j dDO /BrC'r9#mU`dk%'$T?ê+_äY(=!YX]:*2_5S=z48x,>&rٟkt#W㷋=&Go?I;适 JcVUFEmy&iG s5\H1L8,U!59`91Rh{{ݭOznYU)e9 U6!T8C(ɖ1ʐ}l܅nKS"Uh(*mdQ1՗ OX KȚo4]QE#~9&y= QMf6gcɈys- oz&$+s?o!99BCk(s^ڸ,Q0.]H(2SDꞼSX hbKEzr=Xϒбh.6]d{|szȨ1c ]w/` >"W ($ i.7BŒm*\ }mPfݠR* z5BÏ]GǏ$v  ?B` c0j*Qop옰9PyXZXw`㾁,hÉ P-fL$#5vutB}r_A;z<^kZU3[\ݷ'xDsr6RP62bp#MHZM~:6Ðt(p_i;5ϧJ7H f{G}f%TVSp⎒(ic4:}킜x?:IKj<>v_Z8M Y^$giw/*{HGL0Z.H˪*i] sCT]񁣎&u1clM]7Brvs@l[ .4y0Mr%5-̺UK[pPKDw?wJjLRzdnWY A]j+Z5H̳g!$ej!?Dֶ*pM855K_l ۏRCMieNґjT$eſAamz#%CT.'MJq[yR|10_Jcm Duevck/f(ȄU!' tmݯ IZeCΓܹʜh[n` ĆbA2 |ZB.U+G|x\z7yD219O{5! asM6Nxk_JȦUّJOi0m|vz ۇ2i%1{gk\T؀9:A1#v+muWf1Y>m̝]NaF+v}M~m:XցJpUs.]f=Q0|5Jijrj|ƙ\t2 1jZ֙hKKu2{8$S E5y!bCHK))>*]%RUp+1tMmAcޥ G> Mq/qY5Ʒ'P@$~xhcYҤMT)Pp@HugcC,XΩ\sLk6Vj|P{iPIN/*5ZM,Ym L2/a1'yQu]йTx%C,5-=š/ xnAPqP.k(6H!V=zk WP$6xͼCpi#n6ȑR5FԖ`KPΟr%`Ջ!TCP{;֟k5"MjGԭoh2eκ<#OVRH1|"Ʊ?k Q?TV)3ɵB懂z<ĠH`P+OM+"#p?9"6WOjq}q= @/k֔K3нfbb3ĚZw[Ru?nͽ&>^Z[tG."ftGe  زg_8=k:O̍|¹HKџC,(wtd|6si :}NNOO1n!%DbZƋg~RvdO"2oq8v XSw{G3M>rY=d5ݜ&2^Bj7AZ|DԴ[l c886MIJB:̏Kb/ NS 2. Epph[ ."!8mDO@8b%5?s*UVsf5Z 2_t/IЎkBaU?֔7jAмkT/fH`4јff8DSoF |_['?Mv-:>U}q[wޤX!M'o8EvN$fGF 6"+A]xwq3bhI|wI6ĬtiDg9;A4 RF[ps#-#I֫p8R6va߰2efJv`YAcݳsӚ06 d;| ĕ CX*PjWB_:=U0$c}NO(`Fl,ѺA3 ߇a$fDi"Pd-VC"rV5/|귵Y*cտ2 p_<,ڷhܒ^}EK5rw)ڵq"vO=~>GgYZ52be4fc2a7e7d3328f7a6d5d60d4672d66cf21621795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e