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 ((4Ml<4 ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=242.237cpu=806.860gc=48.584factor=3.337zXZִF! ᢐ&n]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e16c徬֩_WnFÔNR`G H->$QU6h'|vn-{W\ 𥷼.aÿ"*u&6%#>^υ7ĝ\G4fYpcPL+@5.!Qɓ9B2;\)O%]U/}2fqD%V U L"KztL$A[OGAwYqyF/IXk[y UY&ƶLA\wC9?A@yaGɠ@&PyC,#2Fz'yAsJ?˄|:ڮsVOH|oj&0u~m0*RpExp\6 ~֬bդE 3nIKIW:da+Q;KyRO(;Hi|DWқR0=U+Zhf`'dX! 2T!I Ni'塓^ZMztm;&P?ذQP{G!<3ue=BIfp|*q?:W6' *Ϸ 翎߭ሩ]CϾjl_3D̠Vg̼qkL0(guBcwpZ17FnAY=xlkV|ǧWѬt䔮 `SR1PG熕n,ә.&v orˇAVh|8q+Vi;]X6 `.( L*c$ܗ\UBljHiiV廜+򝫞sn6˂ ѩ8 Vv89/ft1c`J=:/<szz,b aُ]MDѩnl̩$E-!..~mekyBv*|m:o7IϜ㾠̃LzX}b9^R<i[>_pp-B[IHu^`J:J{.I'Gٸ,@ۻ.ۣ3֤¢Eާ'Yq|"4i_ZRR:\2ycS ͛Z!K)rnMCi,5 %xVIMv~{\s^1fReX?R?-?:|6%2uK%P9<JgQ6.9u@7NqZ˅} ^'F?3ƻtb|~OELou?XYw l7ssuHTwg{e>c_>;6L%E* |e^2-P+4sFfs)7R ]гfuEtMIP%0X;13텞qMZzOc RvC$?d5dPHL0*!4|kH2#8V_o҆LR Z'|TdBeo<#-vp7 5ŏP~kU`)/֣x3(tAJEi3aV;k#=SӌQ=< Uh!2n߻J[$]<(@_ =u2'"riG䆞JG৺i9<Îi;__[VoLx>$ e8V^t4|TVQԛa?}deE|!BnTݠCc~("ʞ:ZF9=.1Ɓso2-Ч-7Rԁd>Ұ4Zx{9tZ7`\fW*M1itBydp ) x!{}Q_L^{+tFg&Zמ7X#K[ I y&҇g&dRyA J-7.d'| z#duէ]ފҹ@~m}!D~8y߆VG!O3teDUZ}@{8,{ 77]ЎEž.¬Ym_ԒQtRDڠQ=w8t8JY@?Z )ppEzCkx h|vԣ3Bv!6',4iImk6.p7 kN?_{Gas8oΛcB?na{*2R2tŒ Eq ~ev) 64u=k_ϕm`G~  E~',ĖeΠ8kߧJ!ľ"[]`De5Xv{9pIjN<~@ gMgk*y뚮95` "A 0[;m//Ym;ryJ(k ]$jM(;BSŶyV]V 2uG`>NÙBthIGVu"S+ݰq*?z^,?v3;^1J`8FXW34aB:e:˧dT,cNP1>I>tRlg$F?l _X6 G$֤|UuY(K՗˭?`rFXU+E{ TBzq04׫{tUaLCCXF ;=/FcHU5 +3O^Gry#eSeZ *Ɲ/bI%G׃]lLf J]dؼT J6QuVثW!9^TASAMbz#B Ҍ k}6xdh15pPDEkͶkFB[%@nsw2;dGbtKkv+KY ĕ8v~Α+8Q2ޅݣMHHJ ꉏ]@hfdT2– S1]T)n}hg)K?AMkMC:auh'qYH'Zw"!,2 70UM[F_NJ/^p`fi>+|J-yLWELHwx 1 AyKJ8Ot%|Qyd#  |?==N.]yrRW@*vNEHn8U٭97줞X Siahl(m+-.!lK%i#pLSW&6됡,ު,8i斟ė(ֈ`-t_q͔+N9_:s:պ>?yx7A~ND`b2:G<#0 ,S]ȨZ9̴wè3ˀC6,bOe݄$qA ,bYYYgXZ>BYa"]^[^ d឴a(Лjnjb25UrĩɥhN<w+!!Ģ2AN\<<$`wu4^>QKuR(Tq҈5f!v>y{lAm4$$nxT]59%-;EXH`P7,8G!3?G 1ĆCyD{*z11u*zEڶX=Մ?!iڪ+Y36O."Q"xez`:)ڵ\ܷמ;'}{1?j %mT"`*RR^ 6@ f8HȰw^N0 $q 4/g W8,^H% DBt aIg!fOeh5cf5/>4T)3l`,4`tdIUΛʼD`$J"uEAas'[R-ڥ s&S,  ;FUp9GMhn6SLDonҕ0N rjtDGcsGUжl@pq0ajqqI Bwzc? jD,z V 窪x$E.@ɤPu]`Ǚo&Qg)|hQdh2g`2WA@kg]xK |}=Cv [7HIaH&kș+mnMm[,6׀7w9F>{(ԸsE4:/`{`oUkZ_'6V-CӕwN,\]u"!s뱽GKԚq+5<εnOõp xNm!ѯvcBŒWY/SȘ[]iRar )b2b *MIڟ0\6DG]''vbZvj2-Ҧ(p4jnMz__tvP9߃jH!fHWN*`\ۙdW4Y4XWgƵt\k/UJ^B`ffM(e\=?V!)uMl&sjQ:v"Wᒆ8 yqVaq:tiߡ": q5\iJoK-I$ 9oP |Ğ;`-8d? qn mI[${{\.^ZR5WKl k9!%oA*<vU\k4MI@WEUq;);^K"aGb‹&hJ,=(;xD$Kg4_Y`CerWJ[L"qo`L|NGWb2.!7~?ۮ4'?eQ0&kR3PZl^F2PJ8 ^Cj.~E LuDdtHor}`Ci0=Eu9ͶmF-g%1rM'ѳ+_s9LpvQ'c'-7"KQG좱$%.iJnû5/;9th5? %nmmxowKjǙuC?q&/7myvu^"p*;&ԭ;kIڋo]E:.@5eˤ0m|}83TQxcD 39pJ.IT*>Hy|’N|ȉ]RhSg*;ߩ#'k ? E:[|=H<a;]dx`'ۿ\=^7P"inf߷vRuXjP +Ytoe>.Lc^dy /NdXa@sUxfQ5f"OI|kZz9ыRyr)o`{wV?usk[\xҐ6ȝ:9]2%@H|fGh-h Uh4ՆD8CJpv#ɤxas2SȞb VhYͶQF%/13B^f =wNẹ#d>Bf@!3 SKwFAP7‡cl+Nf ަ 7 x;-Uj\6E$ߵ;]$u39gqu %wsMm:[\{6u`&xroyp p+!19ץ>لf:זBQ0]Cꌵ@#;rpFYWj5qßV S d95}\:xmjXP#D*6j?pɪEG biu(o`?шiJe( 9JCYVo͠;8ݳW<@h֚\ѭk;VgHuiiq${|6)09d0 j܉ R!01![xw5oJ!u}"=N@]xrd@吳v w6^;acЙEnşp*v]zxU/wEC֯&KDywM!^\fM4HzAzDE8S?gDp DES S#ZaMsmg VՁWI&?oI[Ds~ 8e:1g~1VaM%~pszw7,Bd?! VY }?XU܊dow p]btXTL) 3U-;7(dg~M&3Jlg!dH.B.׃y@m1{I4֫߯DG \gL a7'VH(A (`1KKFB-EӿDf^3"bxphE136ޥth3p)0`:gu1*8 7= ph'n`!2eS[LG\NQ+ jZ@ApJge*SZ!$Ʈ֓)J{[?j"mp@6Io PON'² l5-˱D}zPvrUAWm/tpWAi_|{qߊp/2dwKQelWijz$b1iIq, 5o{ۣk&[2![1ɋڶӡ9?)/2(tq6ןލ!J6טBn)ATƠC;ըXӐ`-Fi9tkJ!{¯?J4vCJٳG=L@ScG|$|,JkӓfF^w+/Mw gYZ7zXZִF! %]ŗXiɟ1;)Sy &dhbŰg ӬZifBAcclMSO= eS{Ffm=v~4W7+7lٌ pFcN 1734^|%ƉV^|yX O6dqďi25}fW)tǛ_19.%H1 s:Of|&"_D IK.Bf0P-˥G IIg̬lߐS "oC" d$X_R(uyxLJ_Zn, zt ese ;Y6LQ@ V?.GW!j& LK:0o#6Plo YXӰ|ك>QF>gIdB#BDi>"6(P'iT%?CQA7ZiJo'\˦sVƸw+@u"X s3+PJJv?[ϸB5sAGGe BPT<-˒y'1Ho -uoN՛;#zd41 ߗ[M `l+0bVzc7+J{ W(n#4Lm`gyd:$MY6g72-Q*QwK&E^ZVN!q=@ܿhD=eatFMMc!_/+ J*== /q{[j"n|0G~қӳqߨulc >E3'2N>*9 q'1@ B<%*5KZ Kp#eȲP4z&w.Y4)J,Hdmd?3w`Qnِ`(;<3Uiot>j5A2n}Ķ4 k<":[>LA#񀪊2>r > dш<|GمQZ kDgG7@ @VD>g}(=5:D'8˗[o\yi& $hsxq#n 6|Qrq$ar 8F"fup@}YU, p.eiG34̈mw&N[r O`jAb%~;qSy[NPݕa>ZdP'̱9+#>QP2NXVhuW?V鬑@ Q8kiԦӳwgå²<°YVG~XXK*{h{ك'A֟K}aO`+( Ylϔ3xpo莹k;(y8McC5D#ؙ`@Vu";̉l{A0r<5g+ J ؝6I9"&$U5aohTnk:(i4S@qӣ> /WuaţAiBs@Ay ktͲP8Vmc͊qQj=tR.,|gnM>xѵ26B s7Snu`HPLǠK4,Sb\Κg@cq؆w;+nT=0PH0>rYS ӳMA EAյ7ʔ&Q[='B[KvBTJiLVn('Kh-f]w|%}VTܧ!Ï **.\=Qܦ`^>H@6MZ].ـoOL)1z%}y(f[ f%@gbdھFRG+{"$1K&L]<z%E#gpr 9fמJip{>RYbd=58|-F:>P$v 3;QBi1_W=R-efaci㜧y+>V Zb-F\j=9lZ6tt#dX'PҖ^^bAauucT73{A*x='wP%)6%&|6*\,ri 2ў͊R}Y̦? i?jX7WSΖ뾦Ծ˪_䦓?8HWgD;y 황O,!&|ì2aد^Bxy60߳\}z<3Y\/dk`._y~˱s6 vy K,P⩄ܽi\?0_e'Wf(P; p"J–M\ v_ȗ@"s >E${iZ}b[pbQxk):ӪqL b>-Hͦ':kR)Y QCK&/DjlwI;^-w8V׶77c|V`D-e%3Mpc4!k.A $/8M.Z韠1l~Ș1S vD1 d9v+ ~tOE" 440:)(7ڧxF#qNAxF,dʁ6Bc2%}s&*i cX1ag1:R(zجv8jv`k0g^QT,LoR03Q”8YhA,Qj>#\ʹo" L<ޮlv$;`uM¼˔J2 )&uyYm(6ݨ! YGeh#b7k+޷Bze4! ,bmچS5k.?'˧=-I;XevHy*$"Xy8%{R߁\t$gI`LvsdГ%~_D_sJ{p6l 4ɞgG8'똘qq#;xiBL8p 8HK)@nvx2?8*,sz;<]@#%|^cʫNʶ;wJFGD~寀\d 1h L TNdkS"wa"$+`q^,[ %>x6aMHĈl y:(U fqaɲ\EAb{Z*̉~+C$yD |pOEF쑫}1o0P/"qdBkieh tX=2u`^ nP %%;aAV#M'0UFY1 /}K5EVUo4563>3yG~G%KɱS;R;m먔q<W]гUNw:pM z% :ȠCHhӍ5skpIkFMP_d0}}z,9~T'u{LbDe'vc3In0x 59>DeGX54Tҵy'mjo_Rn/P&")JeQmU'ay%v Gk EAKGБIT־#-!cʃsQ I+")>j=T$DQh#WaDFDžYGhqL`,橏jrEL0*LDTsE0CvT<3z\b kRa&_2* zalx}*toC>R 9x˝CsQ?ʪ~9`EGFxĄ] +K(5~Y7Mu#EJ́O%DzW]ݪu#s!zDvz#cdTS!Cٌm >Sr 8e]]ظ\y}4D3S.WWA+D)WaKf<Vo+ JC9XX(M~Ii=v >.1R /mktr1eoZ`H bЗWE%// ^' };^Nwy$Ϛ F%wɐVG !ͿD,R28r=dCps5)lb]zXY&' J:gFE[-4M~' ђTWoU?py# X?'?LXGTZ~@"P軎1tI7f~Q,Ӊ^^PKVo]Ց(L&5Zxɭ^cjځtܼ#tT4oOo` * o]͆8QPmwUa:飕$`V='}H'R *CO~J'm'pO˖~H /bLjUE1Vb(c7!}Y˷:s=E]E4yә >=K\ xVo*(ݞHDcEenew;/ZCĘ҆a `Bͳ 4)Q] Z QM*ә,@c4cJHIb0b6J8X ;DBT?kT?bQ16AT 7&5a# H*Rdi luF # hIeI ~O<~d\b>Ul ~R:䚦Hݸ} ((X6XCZF8r:PYQW,'PBcv#lUX{Zňse]xNNGqƣϽۛ4 i `H\xԎTШz؅6:\+ e]!CvA`4M/S4͂LFm&[{pBHt5.uH{=*)r3ysu>]bWNw:0:%FhPsM .~.صUhA5] isgS2G"ńǠr{6Jd5o(<B~?a+>)!}[Ko.8T:Yvayh9kڽYf J$MG5wU+렭AacC*5bXJbvQ簋Д-)G i=K@yͿM'Hi-) %=Dxpɇ@Kg`?]ǫ[zaw,[dd% ,|=~YW̟58q݄d'k3\@ ]!Ma0 "R9@deOa@,uMX+.˾; [IcR1ϽbIԇ3/rK}H L}{=S@c@iY-C/3y#eJHr S/(+(]{gks;uG1Hu}tk{fN2Wjݶf_E_lJI7!wx"+.k?*It:qB=Cn>"'%YT/2i8dm9xJÊ }hk?)~9*)LKSF;7`rQG3߉3sT4r,xQ0'aT@jXX [XjI()P4FS&އv_HD0X0ѶEz?G^dqq鉵d[V$*UZHnS%M01an$,@]r S?;ɳF!rԀOIGP5a2 ^q62D 0{Cq#>KŊdX8q@<,YXr`F| ^s<: w:` Q"SSh_])xVگ_Q KIUNtJM9f~2f1g X)K6d HD3{KGpSY,7EwK[K Joy5ưگ^ {%w嚭`ѽ!44%s>SL3㰆G0Kلi=~;(v<hG ;v\(ѷSɥAM7"ZmS@7\RyOWMN\6'^ PI;Q~l }c38LKJ8ьA>=S`Ć oVo~ J^JYu1QrL q+ꤊMYwv:Ui.C<aj F:tzp4!+[eLH~vrsJTSǐا@\|-{̐Hֹ$}F7jcHDw PC%D*!n卄hच~-d Z; "p7^>1]#ӊڟf+F%=oYᩯ_5C9r\ ӫ!8!){^ ջe,0O^DY=O)ZV:ymT;'O5epV/~$M7 idhAB@30~'|[)|+vnhngjr-,uCq(b06'䒥GtȢ!^ Zkh4>lhC-$㬻ִ5C=_|}$~D v@͊`QcxZK@:]g)G?zԢ %kbSʰhtj=>5[*!ޱ%.8AKI| >/DrS3<Ո& jG}~=h¢ZzDNQzvzВ6*!ԨJh#ͼnpCQ HDNCV k^;в? 8IT?F_> TГ0RyM]SCzϗ<~OƟe>Ka; & /_ysX&1O͠|&\I2Q} ݣ$lb6pt663H4Oɲ8EbHV (⴯9SbEUzMϷxv<|bÿ=aL4un6%Oڧ5-'8 )c9Y9S+x_1Q Ox|4]YG$84뷩S>+ʂ7|ZWf|OThUI}gY@t~_2/1 88uA;Q:aHg2ITvū7dUlg?9ϩ1ùx( /Ў+TR<>Jf YI6l} !MHM\[|x=eÿ)3мD oAD5EUіGmm;=;tzMm~Q˼nvVFQVvhn}7c #2';lnQ$!}-#&cqwVHRKci11:XtΩ1Cťm@^'QH37-G%A--}A5[,=(ldj#uZ4}@ϮRb($M65y8لBlzB@HyXp=%,D+nXIiɰbJˆ 6[wڿ(UB}];> 7_:cJj "l%LyRyu0˜*9T-B~ ߒ7~-LIOTu;(>iq2,s5ۃ7 SN>'>/VeC4*7?\{<VT>_/l딓txJegQC 7gna)h39,:,c݃bζRvQX2n>!c>m ޑ@lՅ^? XЗ-̤*4N+`l OC43MG(<8ïpg:y@m~kiPNQ*>1bY&NpA.Li"K6 ǰ14:l*]ZƱ6Wl>tRA$љ$Tv3H Tmd\l+`Q۳t~+x L?I19S~X}3s~`ru\Z(q,M`?^~uWKR`U,m3oDmFGq(\ w ROBVθ2}_}rmBӱ/P]~.MNq{7=W9If-QBMqހ]NQ3peJuATr!87*v%ˇmLSR2%WtXC鮈LIwxș 8>HDJtV ?żKϣ>g,NzK("9꫹@f;ES/fGO+_1@5갪—,ݷ^~r"Q--tgnA-Zͨ٦ I ־$M6ѽU8 _,"-dsԾ4'9IG8u]6 9Iv]`IOO`#26jnR ;t5sScYw|BXyKcO ̐ ]0G5vl ȥ۾l+_ (\Hoo6ξW5EC0bG h>qJ٢\X+4[l nE+L#p"W4%md+2UޥPݟ`q/dVAY##qd:zSwۤ'Gn=g؉w:|B8%,U aɹv7 D1!LjteMAy K/Rrk=d?3Y :|q&'\i=]a Щ>@_UKDPʕ/JB3`$[1ǙOڨzBזm x8~26Oѽ6`ȽA 44٥@}'j;,o2Kz Y0Er#IX 1Y+(SRAǽ4Ǖ att֪ xx}&Ň%s>opx}~r({Yg=J$wq:^O=d:e*$2C }o'IBv@7S ѵ$GE'?]/&F6faL:@@F2I-{j`ŭ /TˬB?nE~ԓ!㿌>Jo<$E`gHY6lpZNzrpkI&S,?kA yMPr?J][jF.*a--KXf]496f+Ly8q=VKnN֞Rb?>Pjz8K!K>J{ Y:M4BC(ܛջQܥ/!XdUf-GYCz5+cnŤ;AW4 6 FT[q\6W.8'DZX' :dI"QT$:ܹ`*مuxU(QQE }oRB2߈9\"%uGGs/+DҔ,`).?C5O?`ׂA9@kurT8 ߍgѻuj쓱)12͈ UL(]i3lk ;<^{6xo9ne '_SֺyA4K9|@'{CF5(!pxT2@S ep){ZOYKy`a oSk/ٶ /.EZS5M(_ér:3?9 𜗕dzU<^ZG O˗Pwo*g S9: "Q~κUf>VIp + q)#aR^cK]$Z[K72D_]C831_-JIp7 ?o}(3Rp |YX6 1 Ztm0GsrS))RmqDjvʗ IXRƍUuC/t@=ůbkHƲ*<<'@$92S nͯؤTS_=f oQ];}|CeJ/&U˜֚S6U٢KAt"`,#lf!=K%ҋ.Ӱrckc'y]zE7Ë1K^+Dz=?Q2}m,-lx !"x׊{Bx EMawR4\]e[Iq~ӻy1lrmd;u冇s3/LjrmfRm=vdL%MU7D։wGd4"ű(fHu ~ Nژ yqa_dzit]5_VO *naotSꊾmLx}t={YE9XV} aN5%#)>;z]D_ aHrL􇑈s t, c%@@D4qmcsGc@8{(:cD-2/WY\H,Oαja1mYBr-DȂbjzTJm IJU*zNۙ5eM7?o{,z@,"5zϙ| GWeG&=Ab(#dq+hVF<0!w( n3:#{ hc;77PmZM' V ݵG<4'Ά3ە`~szOmөm +ؘ`բlvPjqpisAsER}4~,` cct lxeT)2t7=߶X&[>j*%/?=U4)㰋afQT'%XL yPg1Qvh?{ ՖxصF:61J8Ö vEf&2yUr2)4 (yVgoDbɤ^ė>|5*I(2=B|>)$,?FaENp!/ u UvI/Gܪ- Q1 !D/l8nZ3_@Io#OEf&q;O\A JTaqhFS϶H͵ڽ~$9_]Y&{,9Ĭ,܃.2GӌxC[c}()#1HLvNgP* 1/&u_,i\ङn?!;lsq3 *cʼns]'#PJ遞FNM7zc]+AoX4$q:IЪv^྽RraX_ q oǘ(lNj>`V}ڃPL&$~c l[ Hmˀb ElY7 6JKu%X0jyhRhwˆ/M+IHOwMJjNY"E85RY;Pu ;l4#wPBW %XßXe5OhNa O4#DL҅T%wN>3*ـ]vY8<%q BI\<|`ǙsU$gXw}z" u.CX])Lr=<]-hlQU_GjRmn)A»֤!@Ϩ m[X)t T#ՎK AژлK>S@9/~ ~e ipo_N24j}9(i>ed8vk)Sg= ~©zw4m7q%QbL)dž!@ *[F: XapT_/"9ϱ3w7ĘhjYGn6ULvDž4 gDH{-!lޤkJvvn<)L/ioΥzC{9|+o|$","6O}(@ҵ5 Bl20"1ϼzFBD/39,.g}r2O)$ #@;8 zZjUFѨbwC`pN'yy/qנK+N㄁}Խc8ЋU4F{VgŞ6WɠR呉k=&ȟpޯP@rkmMG)ܓJ'ekєNez^ k^5p ?hF( <&[ILpK ʈlM$Az399 f)#F7·/)LhDB/v6-R㙌5`":2M$!,^L2 m٠\ 7'& d ˿;@rV$UOB|*49P'v^DJSJAbfj oFXFrx<!"D L', E3>Nek,KJ}}M:zT@ Ֆ#j}UH3&'44 Ptd-m7ʜ-_0w\/n O_[| I#߁5l y/ 4h9]wM$ZjRBmQye1n2|"9kkju4cH90o;X"EOUٰ T&eVCEKO3B(L$L K;32c5IyVcIQ;HZߦH%tM7e;!0aLm{M ^ݟˍp2Sfs'tWtyKdB!_\&64h߷S(u~kDY Aw' [h;&zj%ٴ*6_ɥJZ.Gtq#˸E#v#},a^4ɺuIdZ]K=wa; ;-\j(K&V2:{8*,`NS+scأQ01*2:UkL#磵%Du-;U!ytSZ_ 6%v@]#T-]; % sLwj]DwEysJIAxg癐>#J7(;Љ N?-ILްW9fg( b/fԦ3 7<3iPeG7 #UHhF)ߒS/ .N%A,W~$8 ԃ?ghcBirc&$ ` i\͛KXLrG XiJĀe< ܑz>@ "f"{-f 15ePs(H_&~` + ant⾩[]mQ\~S^.Jܜ R!27Dlv< 4@巫l}t._OuɏIs2<'y!,2y.Gf)BJ <OtB :n[LF;չp}tw .U1M3$;ߘ^gߢʨ 1龌`,0~լԷL 9qLHAH(FV Rooio0 FX Zʉ+כPtzX,vrFĞGk],0WD&R"|\n;JBMh|YA5;B`~ꪄ&gF|>| 4tA.XlnOGV[.rG>߆z`MSE[J8*fp~Ӝ>0^oS:5,vM߾Y>rPҊyW1m8A3Ti;ʂ}H(H+\qg ˗fAaK(ogYZ9c0d7395a0f10250d6f44e4be728b2957adeb7dcddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe