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 0Ml44 ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=216.366cpu=732.880gc=46.548factor=3.397zXZִF! o!]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^eEPw"8D?:WgY>d;f%I{oHK;[.a{q>QNq'ܖ~ZfmnúaΜz 9jvaG=mi`^y[׷U}nT9iKY(TpyQIaΣ3(Cn Sj&hw' Q#l($&v~'S~%I9G#vdBDA/(@}]6k*]Y`Ч/QjS>ΒXCCHljJ4tLϙGq "8;x7Bm:1۴,+ [s EUQ4c,a,w+#s'E|[ჼ#FcW8}3$gWXTZq+.vy£ɾ5jXz'(n@;p7;cv{e>]b  vn{+,` 8ϷMʡQ?SX:B$ %ps ]25Y׵0.m\ny/sWh&Y/[؜:g 3(^V؝0u'E_!ͷ8f ;ҍ3?;uNp ȥq,YWW}uۏ)+Z_ȿ}ErB.8Qepծ;~j<-S8 P%LcI6U@[َ^ʤg42Daz04F,(>7u$cvDi/?J#j8HEx!*7wvz  |icGZ3mׄ 7pT~"VON~;z>b0%lW7x>7 j:&;.~XNA'KA)HVkۗETe4"gRf~I9_Vؖ`@ui@1" HLBH,=[09dWŽRX/Dq `Z?!1Iwõ 1F= ċt'$h-[_;|7P}^ݺ:.Ϸ-E E;,< n I+r$X :Y3j+@ik Kڰ,>xɧzjV\3 ݳPxe>K)LشlX,ZL,`:E~Qר+p-6l^Ƥ4P{˝جAW\x{0wFf|@0@ܡÕOPZ'2-ѝP3tӅV衞4qLQb׌4<ޯ< d nh^k5G.SdKUZ.!8Dv?FؒAfgyi>PY<a~F8.nR2F!v(@a*#Y"A< -HQ&Ё]~LSb8X7.*Frכ|i7SQ6&d=xPfdy0ÈwfCP:RXЩ^UdBl̘H ׾?hӿ  UX䗑=az?d5swDzn~Iվ5CQ7B*%'CeN:5G(.<1^Y 9CPzMvS1|93"E, F+fB|.CTR;T;%@ ]cZudfs-a\OR62G\e5XsZE3#Qw\ɄGuΐyNj>OYk}P4\b} <VDitX^,ᕈ/;=bXf/TxK*FnszB?̬ ۺ>D_c\E!Z6>,S3[$ /[RA83灶T975*acwD-}WPps K(4Ngj6ǮO-#nW_3:oiWQ_cYIo0Hz~Ȍ-Tn5< 18YwUmLy38.e͆ iȮ2Pppa?]*)duek-# wƗ)G@.tx$ThI&+n6dT?5igҚx OZ4%qRK֪j2^qc:眛 `Ao^s72$ݶS05rP lXDN kÌX,CՆJY}S1_݇1<0>kPi V0za\9xAL,r14^Оg:ǭ !Ѭyɗ_ߘ9LT:p/AJP˹c U#xUyR5350aT%OKԩanyd.s|A6dxwoc01Aq܆6߰)n[?8]Tt0M ' vȗtFKSnqP 9tdA,&/owDxMTcx5kT9fm D)f@ilή˵MوE~ @n5ZE{y O~$}JC)i}PKX1gAmXg|{hHqX~y:en;d #M Transcendence_Series_Hancl_Rucki  ܗIQ\W6ED\Lڜ!ؼ;"thFþ=s@Oz&“A@@3/Qy|+kP4x:x9kܙ &]""[Č`d.5/-PvJ%u3Z~4X(ۙ^q.1f#eb~ЩD̊z߆pZVHҊ _s$ANQѣc [qwSr xI x2LBÀnf4S^ElY,>#ݞnqJƜlOݦjBD֚@wǓ2q8EaݽB_nLwKJ< [O޼IHwo}0[ .:^E] 2EM^{w]f"IdXq]  ^Wǟ,LIrZ1%ûH}ȟG#}V?J;i(OW )\ Si G=-R. {6Зyl0&nsa{*Cū#Q=UUITjV;lAjcU?pjYy~I"ht8)5"uǐZO8 om*n/CI^jR3`N՗nssFie qD}qL[I}8[d&tr'uMo~O/a>rC t, ܷIRTھ}R RJِIQH$es=zpftC^TC RJ<h&Ҟ0"sRN sK9cW1B{ \Ѹ-d]pWdLk.h9M:'ޯ?:X)O Aq YyU*ȣ2Kuy_}I PA#/c]Yg@78E 2Gu'~=MLJ} h` 0Vm3k_ֽm7 p1V3OZzA䘕L>hOZ*ÆAM|rW7"v9ݨ#'Je oo;}!{_)|.uX2%.l{y :U5>)s;bD#$R׹%W <ܡ)z|eX=zFCn^Q^YQ" dup[~[ѯ ØL`vwQ8&7*=ۿ&1ʰ}C/@eoAnR,G t2=hZP,}Zᡋ%jH}%0Jl%k= 85_ ~l|ۗL7c^]+N88$pD1XRM!}k6| /ŭ.w;7ᵓ3 wƏv_YX/ItK՗S"7oDeՇ姢:@!aUU-:q,-",ғc^9^!)W” m~:d)MWYj@4Bk΅9y L"}5BnCz:[uꍱ`ץBA3vVZ+1^PG{]+^^atbƜZϊqvAQ=ӮFqHcH 97k x ْО{eR~wjYYoFEaB,u{#ih0^q{[ݽx'#xMLJL.H=G)f"Rȡ~\Rp+] Y'bhmL~triQT4ڐ0Q05YWX&!i+TJK#Ob!m9~M]hDHYYwN`ʆ2ms'-VMԇ)O$]b)Ft;r|˒NH%Ap;Yz;"(ݰ's MBu+0RZq~J,ё;;)Zf@l9 u<03a:7Ah;u7ZM/ jċ=48xj7`c940л|90t; D:$$s lֽ^)$ioɕ^&M$I~5(zGp~Jno@F IfShGO"q^;pBG HZƢb#T.usݑ=]|bzk -^KXm9TxZ~AiruyXLjnt:]T/GR=͂y~n8&{9B:5cXσxӤj8V0H/P#ˁ~e:wȿw QК^Y d>Q89HQ G`e-J#\cdhwnf%CjX1(y('Wx|"vjYX=f2>~-N‘N-~dWh2?;VXB$Kl Evvx)fE ͳܭdZI\N)AaOR$O,@ǁ8N3JY RɜMy]j&Uۥ:c)`^ `&LK1H9ʓӒ.o] )5w7l (b]h U!{z3wcUe bQϚ\8>[C[9Ǧ$x,S[FT #a^(zBQD66F ;ɋ^T5CY:؉isEf`Y@#CD%Br;w핽wcp7ՑqE^5'>P%ֺ/'ɸ/JљkTV΀.lmL? }qv?;󮾊.Gb2]i zgAm鸷%ҝlî 1IEA*bO *ZRQrfKx z03A7&sӘr )VN`:h.ӈOoRpŸ*!2WoY*] sZ@ZX~Bo n9h hN&^xC?Tt8M>Bl{PGa8Rf%v&=|Ntbr g!TjrJ7{Umf\WQ^dHda佅95I se}du'Ju}b<0|*4žl?f=uNMv7)?5Ҫ}h5@'kQ hc28*ҁÿͧ|G8˓2ܜTÇ5 dGR!ǔ䀘hB:Wo.Cvmt zcxtq.Ay{4R_|F+R!qwHF ZfBVf/'tQ4ou%R'zuӶWEr`~5/`#zɨ]<F7X"HJBνk&O-Gs<*jTRUVP;TE&O'(YZ0 ,wODvl&qg@Ж0 HZlĻ/qߠ19$Lp3p(t~;z kWN~1[x=k)DlgYZ7zXZִF!  ]ŗXiɟ1eNY=ciDgQ꯷t .pV8΄]3L`_ +v~GC.$d//}UV*K@:א y٩f`=yhvxJJvvTy4쨢!Tm^łcd[Q8cDx Za|NS[ޙ&u"/x8xT}tSBy>Z-3N +p˿ JI-d|BM|&"xp99fuTK^@ޱɌH lw 4:uW`1u[y'~zjwf?7"Q^{L&-kWJWlfR |T<ڢʱTf60 ZB=vpZ(?-XZ8H;$x?2\ԬGP]ZBl{A 4C(hb#NV,! v@2F3ז># $Y<<&Hȷ>&aO=Oʊ~(0 }.XɼߍLf MTPLcOҳF1{줺cȷ; pi0DG :B?Egԋ'mz'z/% \BMs5>Uˠw`'?$ fO&» ^n+mU#hch?U1C8^'d}ٝ6H`A.T#WNџ1:HZ_9վg炲*;Z<1mSV+IgI<!iCswmy[W^!(߂T?3z(,f`Q7P CwO[uQO'vS6Svx,'˹բ8wz:sW2:"/w*CR֐QƱbZx~%UWRc`^ϟf+f0 FrlO(oCO:E}!Q"IBH 'xy9+'ޝuqY$Ǥ'"jѼX[!jIH%\_5htޗJ+Ghcvō1`}*9/=F-?z YjfHNei?Xt Ĝ/`%%'o'?PRVj_q(E C<Ra4R3%WJBRSVEz+CJђs5R#!צG6 F"y>5Dz&Ml c V:иԗb-=A)},Oy]PlqK"A,w)`ASqݑ"֦` UQҪaGB$30e<-b\FfHn!NqT< HVth{jB[Q/TFbsmRQ WL֢;c#%S댌ʳ1?0HE W>fH^7T7FL?ڃȷU2m2 u-wxB [MV/'9C&7m*h>}`9w)DSwŦ#|b:ǝdBZ3Ec<*clq_uB?d4u{0NFy4`G,`ăʺjlXsw7 "kfϮ4h5_أqVA q4YaEz䕐GF9i2PذT q5WzWx_ '1@?sYpvљ.! H5%\|rs_,[ra*d+40Ǵʹ\PD@5d{$4>4$_DCQohrX5G@,N֫_zš#įo4:7P]9QWj2~78s/=A(+~jșŌfGuB878сXJMw9')a"gcGAbz HP2=Es`ڗ 8՛62P2z6q$J>Z=R=u-7]s4[xx6r/z1LZ8a^/T U@U/<1й]L%-8QH$Y &lnN)O.]ǭ(6IWܞ|@{ӎ q\Uw#cmeiNUFK5m] ;M?;n=AF<L!s2qK_G{.%6XSAs=cMD0K%d >y D4f[$;E ;$M?Ǎj!8ޔ+ᰥ㿱~s0_$FF- ż aj!61J x5.uKزhS"˿1pF ݮoFF}0tz鐎 )kErg '/W 43>#yKf)8a /iP*?^_zm԰VE 94/VZuaa~F=sldt37i]8XM= FW9(өwH7*rVޑ!ۛKI!_U~Imxk[[iwus<"lfQx,c} =6t?4.L훴h5BCN(hm " Cf0sΏZ}D2}gELU KBn>M3.9A ߮K6lɔ ;F7n(4^%M6J$^ä*6ɀ/W ߷'bgね=s/#G#肫eYYLf ǏDBRj(J1RC#cg>n :ROW_NV|7o r Ar}!W(sbo}5=;b]# [X>lŃe_l8" krD̡rUVUDu/PAqBa+EѓOk"HX%hMWG–Q Ў*XAɕj{z>e75 ^s_p#+*5d#H嗦6Q8"od\eFrlVζGiϢ|:bhkomXZOx;oݐBι;Ar”AJ*1KUKQn "n“)]0\X%c ]؏0Fp lr~>_FsWK+!#zn3z{J_v#'W.8 8:ByfN*Bۃam|m:LU\lǭ-r&~ٌ YS.œ8N7cgTk>lŬ틚DuD|V*k֔3bxIo?ɈHYFVXo:DY>gǴMy,[bįy`>ZVITWdnM݋' _5]daƒŰ~+{QP/o+k_:= 5#MFft^3vl*wy{!`'(AvR"Zy=q[K-9!Sv\87>ѠvrBj#56>Z-fG?*I@L~8S_Fm$r%. br3`o!9'R*eW\+R*CٱjlP%ދn!b1\\8;)fmfVٳ;(d@klo=)H瀌.&XP͒R,Tٞ SQj}|VO8#uŀ/܈;w_"*m_;2A7#s|cP"f,Ԧ*hwBTFٸ OЕ`y"B'P{wl\妐RG脓 ރvZ7̗uR h)'$J$l6d ܾv@^QTZlR?Y]L /z)+΅sǶӃ 5C@ށM#&-%=ZS>Q^᫝M\ . p g BU͐J1l8Y;.yĤ0hvOCԸ] _Pkq$B@@hYƿcL9p4"=N&vNE։p6'A<-wV+ =f-( rxm+I0dC* I_SCjFX[aXLO|yiN(y/vCbimߩ*ƌA{!ɬ_ZAn<(4"=PXDrö%?N|{]W9 '$ oQW*ט yU[YU_=7,-θoY)id9 e@_Gc&6\ ZKQmXM;6V9mD{Hbch=nZkj liXp˞!X$ T)\7ؠ:5NIzibLԸ5~ >}lDБhK4kAU(u /"og<ˎ0'}"_vo3Xb ctI:!N81'zHfXAc@X܅|CU趘sg=twiɫ;þ3iA_bɔ7$}$}6й6&ռ.Lbqj?DU.j{UeԮ=?R:`QMZ\*_[4Sʡy&w fty ǞVlw$fz5C/Sqn@JDA* @v` j]M jai/lB̗' S2v2p "w?_lfevxT.N8޻Qyvv (GMzp(tNYȹ#M*\oO͝aO1=4^v:d(pF?W(MSmu[/{UdvBU ɒLDK͊Wv\ۄ{̮ĔE WO_}fd Q2}iy*_YS<i I~PA\F|9l*^kA@|S%6)P;#gmnX 1[T:IN@z`tm!*&Z}|^fm?am'#wUAњeUȵJ58'7-߫+ʳ qg<1aGbaM7>=KW,y&G|[cGa8Cڣ:/F)W˰X>dy,5؏O>L[;Q Q G>㛎 %e w"ι=֖6u9ttA^glh "vq3NVG]^&~*%zd'xKlH.=CiaD'2L%S1!y:6HsBݽ tKPƞc4߭hE  ޴:tJm7ԜtA7Mn-:K`W 4,SZ4T9zϿĎ!Nkxew >v)9sv /whJ/IzN?eKghi887Kb'T42xVT9ca/ojZi^_~ 57gP34+]!zI|(6CNճv^i? n(sxbzV~4i?1I,@RQy ŋ$lf`^7UG鬹>WVXĭ@B}R mTU {h4Q_p*-]b6@חml qN 2zWs3 Jp?m-Odh|<R[e[ڭ=ܬ0XM]uuwFK.+mP*]YNIZ\ 4ł$A䪁5ĮyGw`-4%zw~z{'*xJ Z|PZ zV`KJ*jyoc #^I]3 (w_)SR"2dj;ݲ@l||#> )G ]ĻHj9 )ȇ4ay@pv֣2œش6g?t(ZT:ɽ@\{Et0KolzB|f煊Gbcb,W}899#%r_+K Qc O9 ύڔQqrtv`.ץzK_ØRȡBcҨ Rc%G0@mKt'e9j;m#v[V˘ađɵ2B1v#dž6VC)=@6XV7yadMa'L+w/YD}10K%J65PV |,Ԋ+;WaoQ#(h/A QN%ow;by qߟJ@yg\+K'Hy 5P;0BJMTeVE*J!PKK"J<꥜,-!9F3)kbOmg ÉݾkFFZ[~~N((|RLc,_ɘ[n;M~R8H1\^:E"-)͸WmpQKL k-L#6lҡl6a(rE`4@,m^ x6ӑqR*@ʗphN3Ĕ ]7.tב>֔Ԣ D!3Lt!)uju8@~S@>@ 6*&ufli$'7țE;taY̪Av95]$O Ghl*{R> C*d!owkj-`@`5hY.DskLݻ}Ѡ j7)vaz֝ }8TqO @Gotl:mi^uc, @?e4DuFj HhoWWǫ NZYr iD7`mBtxUU͵Qk8_yD>sL[z905F${]7>y;N|5 r"e&E,f(Ìb$K~|$ v-O~ 17)47=jsUTbdd4Y(0dFN*{bXrhTtL)3\=] 1-L3mawLIz#}^pcG3.jրCS3?xO405jgz,E)/B0yc&gbq)lOYWqt7F>KYan 3N'fT8]0/%?3q61 8kD(mq.i6u2Ff_&i.wEk9zdD^c>S#/?Y0: |0T ` 6p) TfWcZY j@2f 9/.2n;{klF"sv3!ڂQ>bOOov-ւ,]k~_.U&Pn:^y{x0|y X*i5FB`V⇤D?|0Kqinn LL3U e 4JfK΅+D(>_D$@\5bX3bT2I7v߫3?jQvxF|F|G`+F07$*[%LUlLN G 5RF}n}==;,<2U|&"{ӹb)w|o|V&{dUcL.| 3"sC\BB$a 6QrbîSlPկ{9h1=]b:=P=!fMԎT2p :蛋䖵)tq1V' dI!]Wqs(Z$sٻ fd\A+FsYĎFɖMl (sj WϥQKO]:~_8?`>m{rW{މs/9DTB~,~ [Vs$Lnc,iqq=U`>$U[xZs)lRu]a'!ӱy(~-$lQZw6m2{l,Bәd<=NJW 3*  hV`)uŸx8ZD灀IO,>Fe,9!Voq$*K;'T&W36_bd@!!d5a$7>HHgUn=WiqkQ3a%?m>J՟)nBGX\۩IV܄n{ :9QiqBPӺa*6XRl6N䟏EAF^)qg,#%5~BUI^OqWES)z`1ܺb)eo tɪDl:UȎ$R|̈́]K`$7DUp?2/vDfumN}29x}9uVߔJ>?̗U[ׁ^˨u TI&ZpكXiԺ Im\23;ـ%?45{`(#T4\з?^>-[8t)QFQ_̓sK"5Eb" \;ytz5Z E;^=v-NLf^쓻}:&U= #!߸W'λMᷪD gqL9^2??T7־&,>:fpqICAqgTK/6 RHN|M6g45lTR{CSGNjxPkEhG:EXߚYH[ciz$MV tOV9ۇfY)ѷ+Gm5wa2&i(PKѠ3oɾjڞjN 1Fǵ_6$ٳɈJj ַ*a*AU3'ۃMF%Ut1#?m&KWv6b-L r;u8U[z2"(p;;:I9nq[j*tdFW̪DZ5};]/i&@̎Ce`ԏ)5 Aۊ$ Ѽ,bq7xM(F`82>-9_beoP+S*= #옻P}$!nE}w.rjEW͏Y\1?Mgy\j (ODQ ]84/nacaX!aؐG~檽NާlQw*cst |4@i(" O߷wMH}Elo!2D-FԝX@#dPli".Ix1 Ym xC&여g}Ѷ0~Y=fJRa5-"x.D;& ;ea6`J|Xsizlpǹ6pjn?8?C/z^gӝ0ǣX2FprTcO9c TG`z])sCbĝzn?D Rt!s%Z5̖Чﶀ"odU3 u (:/Z*'Iȶ)33mjn/-@(nwDi$rߦe%#Vg -DK#ό}Y*y!2-` .dVEf هzwpM뎦%orCZg~3Q &}@r-ri4^IUkn-F `k@,9Y>ld Қ@t"38o##.Ng>SpZ4#w1} D&ɓ4[6xrNIo ?|"E G% ,E\vϦ)܉ңih_]S$:|*vibĿ׵0 FEBek[Ud;yYɪO֧W?]_u=]X*Xy pŸu] /B\^w9Ul&T{ʴ? m\=/Lr- 9d^?$juJ_ɮx#0EEL霴%ڐӬ(;#k ^A` 3h9.urCƆ5l MG7IYH-D#  GONeځxyTÅ*f=**-ECuI0B1 l)0qA^mƜ/_E8܀#%'c`8׍+XFR?[gؽf9CP:=` ͗);:"9 r[y(p>3]aaKAOah rSH{HY݌_Ym.`qDe Jl ׈\K= Ȳ"HW:N]7c ْ df̆*60uy",:klǎ7 Vd7Nk骅,O""Y/6vs%U[>!݃#݁3&Y?n^ $yT'cڅc:jrÝC,p>FŘ3\,WhLSG w{aQiV6вgɭΥVo3ߩ#0.=E% +W1tɥ*ߓ;5pD^)ث(W34Ud/g++j&ZƸ8~fA(Ϲ$3L_ {_8E7]Y.^]JL${hJ/4پ }) 4UiDPSɢ}{3ZEs=\_~.0d>W 36g(QiӐA0^"]r\N;Y˩F_PUG 8fp uNhe]z>IIN#Hr%]o>76[j3/3 v^с-_䐺't&6`* LI%Ng`^vǦ(#,fz?1>~yi&ʷY1uYTjuVP['vjIV(OΊ4[i7h]1CG%N;0g0\>w)لݗ];;sm8M{bv בXIo} ,cuw;kK΃ Z14p[?DPdXZ{0HSid\%k./?Rb w%6nCra ˫f!pX~V98O_$UÚW|.ʥ#?#% /#?Xk`rEZ J"Bya_  kT"+.h j.Ϭ_N#ɏ0MIt g`vGQ>/lʀ?y٤66 -7XZ UwG fO Xt -CXV Y5v$gzwL ;bTx\1^,H/\xkVWs6Vgr.0U-rH:.u'f\}5M]˔:UV2V턾/${_"WG!kL¬Fsf/A)jy"O A5u0GUM Ȟ̈́7Wl`2Y?mSe;.O_x&.sbn+OFNJrF*Ed +.A{[q'˫U#IWyrnRCʆn=W;@Rܯ1:2כPTÆ6+D.foU+NJc*Zn-f58Lr M7~p /joIQgJܰDH pd^C=4=N6yM֛׈ݲj%atiY@ qhY2wʍc oskFe)w^#բ;\oguFW_1@w}i( Sr}V6aVn;1t{R w@Cœ_G/3G%G_uI+r9{0rtlajN: ~ xjEAL4ت,KAdxN_^5S(x:hU @ F2CPO|ggO?+x'ŋbgxP5ɖԠg@3xÞc5pf,6Ɣ)<54O#N$i#%կT: 4_ 'PN2 Vצ0e@0(,Y\n?S Q{A`A&ű0Vfvh_(a٥Čcs$v_%~?Dnun>[ =}{pXٮzA~rnҨ1[>i2벧KrOF+Bj_8rUX'&GԸO p$twj$q-Ar h޾ѹ9+R4|*$9V;Ւ/aN /q2}y+@< j$w` Bj<@FqyέsÉj+b`|+I)!3<>f&#n @(>ep|зb&GoBS(TkĥV͈3$'q9ȃ_p$O7|od2p:=U'C<ᝍ11իr|.Jh g+10W!Y N*Mha8ShOe;YiCa#7ҜI8AGz+AUvk*CnCl8~2AŊ|v¦|$/a֝C~k qTIO;Ǫơqzdrρع)Hs"H7]'3a?h&{Y^m0=(Pr{&@O{LK9d%#Qnk Lɳ kT28̽( 4ݵ_\̲T@@|irҘ7|Q33InUYEyݻ+K'khA2ɖZg&#|X֧pRbhؿU聕+s֫G@YatDUw\<VVQ rL)W5b_N 1CɃM>4a<{j'Kd0fo[lkmN$=zkx\kD8X>Z\l ۂ 5mἆWd dsT&׵qRZ/𑛋wd=PNΆ(**#m!PhQOQ|FKFYq6Ten}n(ʍ.^ɢz=㍀hgsęgjT4\",h?UWv69ye} 5@jrgOK!K Cq`&_38z~gV,pļ6ZYףٷ0*szp r  &fM *\0 VzlPs'LH?M\4@ζ+ Nw+$3Ez(+57C7~uzX\ap(xtg^Y8)rƙ`3ں4nR`(%:g<6W#HÌfPBWF )D Ǡe|nK#Vf2>b6ҲJ`pi>ʡ*[UgZI<\KqQP6 J-!13B`;qvbgut!vzEكzogYZ17d0d51f6c24b939dd03fa3aac130610ed2c7ee913f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c