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,d$ ]S Transcendence_Series_Hancl_Rucki:threads=4elapsed=262.365cpu=874.804gc=57.456factor=3.337zXZִF! ᲃ'M]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^eJ AhU` ^Cg C噞k+ 0!j\ KdXzret]>zġ@Kyl$|s2Y$-{RC~ |%hΩQڌEe0F@KTKӷH.p$oV+p(_م"7G{)1+r&_b0`BzںCNدyF #M Transcendence_Series_Hancl_Rucki  j< k_)o^%o뷮ov qkE c]=VQP#GR: =('{ż|h;n]"2B|g-7`@ZSLv6DɝܮPOdcn<:tY*un b'CML _2H4՟$ [EԮ*`ͧ=?"K޹X1T1JP]5gmp]MLko3U4sC~{ȿ:~Bm`SuT9Yl|ĩ=nl͇S.U*qY1n9LuZuc gHif XӅoyw{6zheUCH30}~2$=i\OQ?U0Gm )/VT |Y;㖢,?]Zmmm_W+)#2aK7l'!hlVa- ^++Y`!ŔC 0YԢ/e;[-۸oK\wC>~bK|ggƢq4lڦdt4u ZuH,[yjY&JG_uG~ʕD8% kкסx1iWȃ2H̰9'8,+f#rrpj1N"l-#Ӄk땾~3qZ_sDt uO&J) s^ǎ-]D:2+ 0fBK@'FNѓ z&S}{&{Q+>l3O새gQ @PS&㉹W@]/ձ'xfoO{ 5#m;{#|Y?F@E dKEE;qduû ӔRT`noN<`Kpbo##C*KGϮnп.qе"Wo>͋I&=,fϴ5cл>W׆XK)ŞlT@^"*'=߿~S{d'PjDz|=#V o6]_!kiڡpd6^֊j1|q«dKxu{,͸>P'ق1%#Xy^0Xq[W|:1D]ĊteK|'F.5[ΆSG 3W1!HdM/bD]'_mx[mxJfxה{WFqop`QƦAy^}VLtJkoyB\M=q;$dj`= $ͨ|=<ś&oyfFP o'0P\Z|7qlr*.ucP敏Mֵ[B)I#*,.Uȶ|Vj5n n[s&3D(3Z`w)FA %W>$66FyS1Qr+$\nP\BҢd+Θ^ ճ,LwnyViǍǫO>ڥOh.W+.`e20gbd>KlQ! !}[-@ ׿LRGO0:;)WʥhmYU3=$@LiM.J퓺\kHϜ:aK12/[ܑVk(<'.ҩ Ua"ܥ;&;N,wwd*AaFEn̒". ; ۯD TF޵D,#T*d0'$\3iaNEW[{a-n/o CdCo`7K9 : ֲ8ȕVwIOm-;`pj#Nzy`Abm pg =AYoTst4H@ A`Z1oD"O8qv? W4n(o ٴ2Q9![W90`+>P{؄=2>B5_ `yUF:uڄ+fg˰5pM滾zMR"T) ۸ +td]ZP<2ޜ;]ǿ;F^22Z˔(1 \XCΚ=@S9E()arxˇj._+%Q עJyNkI[笏[V|(7?)8ڳ栫QN;z:ajJ7Թ^ef}iL  ~OOnĩ)Lƒg%4(w$Ž.(TS_CψAe[bl`l蘃q,Mn*O @_uRLgq}i?s̊0 JU hS5P ]?0g`o:5iyqcm|a;.T>AExbϨ |3F…;W&Lj|Sv#S~hHR)yTtBNl3> D[@=M]Ȏ);~|Ch6Cv<W`}RmҢhy6[&dA{\&P!~LoMD1v&H`J Ѥ,zߔM[ _w]v *u1 o uF*& ;=Ŷs%7i$Cw'E𞏈@o-r6h|6Jߍ*4LBHcgvrZ1TwaG<*v׳p5+mi;X Ԩ/`_ ],d0xG qއ# Fn>2Z}9**[_G7w]-Ja'Y UP?tgƄ-m=>*.Z~wlScѾFsB"DeR?Nf Y"-v[LJF+/?|8 NꡈPHvtX %>UnIY *᪆sV0V9E-izZnPSW̮T6;Cb \GgA@T\?F BWV&W1AIb ˂Ȓ,}+@6W;t oGd\E>OXl3/qy=pqjh^XwLbw7[ (.j~%WkkDEЪ@f08M S)mi2<>{9ʷL +*;1F5Ei׿_,{wҧc=&t 5L_s 0GdU;^B2LuǠ*E8Peq_ Vd@0Jn"ZsEsoP&Yn>3px;wْoߩL`5Rh]9gGϟ^"Of/r d”>_ @gM3Aa#4±`~ =Qi2l?УT12^*\@F;{?X`сv-h%8XOc5Z:Q&ls$ֳ!N78laa m&9KЈY:{vGg@)߷t{Z o1@DIEKlUN&ZFdB<3%Řr,YVTOpgyPg=k 겍P~L.ᚫqiw׼r i A 16zJk,%S^b~p h8![aܲYiD?r5Nj"H)<%E8>ʽ#1?J3U6*ҦjCovŲUku@LyNqC?n@O 59 : ^k_v|Ze_r;" J[z[H`sw˂lpϴZwd_ef 4a/\ɳIŮG6s\X.?{)RR<tOux :{Q~X/9mk2Km𺍖1??P;^C PDAlGvX tA٢GbUM+U^Iόt\}7B5%[2HUqU* ySdi{jD n.}vxW*RDW4ud]_'kP!3vA _5{1z_}>qWyx*ͭ~i/Ţ~y9cs,sWq ٯX7QQY4NrQY2ܐkQOKt܆k6w6*`5%A|ʢmK>p<j?  ;ůW90`Pynnϝ+hhu%] g {4yc:zY#8y#nU(M䱧jzFD+2>t0g(I|Isߦfo{˨iu)A2Ur ^Se|hB ӝ/l ⵆA; ut\aq͘{XK&+cā,5N'`TL +'xd?ۺx!nbcp>O D>˽^܍2k_@FV!)CĨ}X-Z- gS[R#Z>޴s:$0i85;StٹT_Z˴t{)֐rtS6]"M%'r;dk(d V~,r0bΏ,oݏ Qqq;Et׻C7:6s(f9v;-_/n<`ŀPouEJBdqrpF~:iP%f(ىq0Mju9z;V yQh?}J!P{v_yFL1hlci`z@bTUGG?qx5M[r)?/mDYF eqmq'Т񵧶sX_ϋJ~9Y Vպ@]!c(Dɉ3 J.{uZSŭ_"NU[5=XQI MKA{Y9!QXg4=+,`z]<5Z1Y8 ƨM4þRdz*7y؃gXeC󴠉 M2O>Vkjx!mT/g@cdiǙt﷐2&/N)ai>9F;܌wպ7|O>΢bf T:&}|W%+^狮ykǨҬF/oRA,AlF|5+/UwV;}/$2 pPa 3^d\JR7jh Uu?]Pn)U.qcߎBi7}q'f}C[.Eğnzi=J kK7xHƥ,¥=|[)ێ߂%kXk?{"!-8{~ĺNd ,qUpckP]FB Dmz1AV?%J,`>-uk@`ِRO%T2<湩r`a>$-yw'rw9/A8 l9SxT %\>ԘEJR-ʬO[]%j(bц1chk 5g"^?|}cG^E= ݞGMm;6uC 1߾R7V̞4qk~t0/ss5Z1{z,1B'#d#8h-כOs@F㶊oP4zQ{tVD Vo̧.(ə̐Upa Pwf}gp\%Mu/ i0@㣤 `Cmd1$\)UW|vhmŅڒ{2|#KpV/Wj!pՈY hprOD[2t3ب~_/!r[*ef/Z@Vzz:QLULbԡW;ecbMm_a PW dŠ!Mz7Kp0 jAܛbެ R߷ Ѩ}WX=@ל!@A(zM'r@x=</VJ!kR.˥p0ڊq%k}1~d Эԅƾȉ#+゘&qtAx@'ڔ[*#伙WtpʨGۂ,Ny L`vѧTґ8.hU$M:ChQ:C^<5cxo\ȃU+2# w [uQKoԟ:Ѝ?ѫrj PV4b("okfAD 8 w^ڲ =,P] d=e@s:ԡXg"XJ8>3]C26M&=MqI0 Wjiuҽ\eaç2i3aC9b=ǐEcv)xa[nAf71 c2NG Vtښ&zN\TM1eUZ|%pWw?dz ՞lN앎gYZ7zXZִF! v]ŗXiɟ1J2oeTʹ̰KKZ?|Bn, 9ɧ^sMVZ%zo%!}7'^Bțx!A\Y"{E4MV,r9l2mg[@p\+ ޝo n^w";[>߰o.,4&#Fn o[w0שIڨJMMpfsc(l"S;QDKCU7R!74\hmy+Y*N5<ðy U-W{XQ+Uݦ}LX\@`Xw *FǵjPq =^X6W4p"j8Y@-YKUñ,u`\KOK,4sN;ѳCS=rj:89(tqutZ7΂7@BำTphUM6]^k@[̏f@Â-eF>} 0ׯ3i)=K+g&!6ІMO<~`ytj/h"3Qm.]t'DvzEQ>'~NJ[j9(5P~W:Rf;g7"Y0q4/$jE ?d/EwƀBf'|p >]H]?l8/K2kpזne:r5 ~C9GG93##`"s}!WZz#e6 ؞D s]9$L%~Xm2蒮@8ힺٯgJ:h_si𒧐T 2BatkL}\q``L۫ ~vT:ܘ·V4vhE̿B֦|>5b'(CGn7uA*FYU%pԍH"q#v,1^r<ՄV(fwNyc8*CF(`&S#G5]fF짫>1OfJ%N\kߑ V:ܨqwe@]r<,~ke : ^iaVi@]>sT<-fz$!nj\%w&.A17W]0rTI~X[v@#j!3v%#Y\~-d?'%D141+P;6ŌvY;רutPlf~a֞cLsA7_ ~0Ip8L{A']etA{U d@V¢d>n$\xM[`i۾ƿW~?[u< Ewa ^MAz,g2I֍vs/76#-Nzt~<="/بҡ I& #U.( JN7vݭޭIn #:TT-f;eg_KT|jٿ9)^}ɲ}5"?>IL<'(#^ ɺ}Aƴ1WG;xߐ-Hl g뻖ZOHaG9ky0fy 6\ gYZ7zXZִF! P ]ŗXi%I o  3,6vcV^0(.#hv0Sq"jf 80s9߲h'`֒uUK7硝>ÎJ;Usu< % bJi7&Ż nttN/^u$ RCf[76O SFh*6Zkv6 *L6ce}5C;Wy `_E`̒׃!'/9`[Hio5h&q, LBi{.: %M`!4#nkA;ՙnx߉A!Ll70]*n(˺>>A!f}VisNS+'&G~tΕ1Nڧ t]RT4M?,bat*d򺬍VfP,|Pk4p/|8=IH0{- čTMT} YX9 5}O#n3Juyz/#UnwkFB-OhW}+h\TőrX^ai\1i9-z!v.4X߷78H'X030 +:!3m*`q 3)m:~; gMZqQ*KI !cjqaPlVhXUfdɕؔN؉~0l_x5:ld(F{۟eߴ$=*oނ\lI!]^f2ye B2w ͟R}]lVN~Iczn/rW ϐU{x2fUqTb$uVLVAjY,qwrT2W .r2!Hȭ4cf :@Ej`?5a ioշs_NXے\_fv ֙ǯ!ޑ/9TV!TƗ7VO^B?+ x`|\tuQݎ͌?U {lOS"(po*G{f):yh!֬)~(L ֖[T>+w:D\dO'ՕA/9CF |[{O9ul⹯*|#cyނB昉BPΩr.C 9 )H;7#0RTZ1/rwHٛg z`($ORGb]!V"ȱg? ] U%0 lՍyaWWRᢎ- Нp@ *=G) XtlZiH{:QcaDAvcg &5]f4^l.#I(2-U+pWf*CYڅ_ضI2au:ٽb;(H*~r.-e\;۲iCљ"x|X VLJvgBd&9!t#j8G_1S] Ǣ˜>M돊J>w.#~Ckm}7kOIsCf}L˱<}8GITN2PoX/~ kjb4kT3of_AB;F:zАu0l 풛8;@> ڒf;/[FP.dc+GD7_<5>J,WrگlI))Bo9 $?sM՟VD42RG-- <[_׀l3xQ;c/2,hvR,"V~+.#7x .9r5!eL[sHz䔢*i1McVtadIfTAgPg͝>aN $8-NQȠM7>B%jJl5D[IK̅iwF#A:aȲP_㑣Px='T* gA! a}.VWZSf8-TImAx{QrSuGQ!7p\DQYY dT48bv2xD`·º膘3·̛//8]ˑ~w%k~sW2$,߻Y;9t5"dA/aL+SB g$Iuk*vrb?D5)>~\bȴ5-f[VL"Q&i|0`Zxry8'r']ќfaN8*R~g>~ԾOǘ[~kO{3,ֵqнTy?&V"Q`= ֮iP@[VV޲Ok]M)K+BotSA^;k )E;[ѼF ss:)w&P: K)9N=!t6pgP`j5 MH ]F9F[7e<%F^WF (|q>'(GBG9rlx*gfgVаt(@LAdhʼT/% ,yNF.n%,3jRTPj>@:K0y7Zm5~O`v/ QID1*%+:S<+s@䁷gh铴&pT7F; ^ZuՉNtr7 L$E줎:ؑ;;8q~~jWEHlpH_$|lw7Ors6xXWlOЃ Wr}k'Hn+=,bAh QA1{HT# Z'f(h3xom]h8UӞ2cU"m/%2ztm3vXEz.֟nB?NR}~,Tcٟ0r|[]Ic[h{ov6QxߨL~r KVBm?0O}8+ߖ?pRBws"Z逳 4) |@\'1ĵPZBrB )}Ĝ\ҋ^6Fiu$yJ BՇe k +RaA_Y㈇#MC%`T8**;EC$ \~d0F?ZIiP21ЍOAosPIiK/Df4#`Q]׀e 1z|pٵ5#aoZK\~D[0u{F5tqIq5M$嫶K_W?%{ C\*w^Hd^i.ç 5 55v;ẅv/4_E({ߚ! n@IzڕR>,a!zW\Ӯ|gsΑ_fH7eʩhH1~LI]N֢23 QC^[q:xSjl{!O{&k4tw=glh3LqQ*I.Axh GrNY0\ZAʃX;CGj ֏<,Ca'[>>s5_߲n&o\KjgW8 2j\!{N$Zga* }lAvWbc찂I<6'ˆc&ǭn+\M_ijo= OWb>2'We)|aPm>Dmr5{ u W =[f&sE/u"'nk@Zxニ!=[:ۢ^x?:)^^;9'ʄ;n:)JRlg~wO:qUq+0dP +#RW(V즙谖l/]%{MI}B7q`tMu8t>h^bZeuittsԛ6c -LaBf@,J#6};+"a!>>u:?SBkDe|}AY=Y.h`u8V C; @*B$@Qb Z27;95 R] J.Jݟ嫹<7^/aF#\L ğ%栠+(e:DٝhyN:>-5EEQh~?IFXa1P2o5(~GV%=p07Q{31Tm~+@r>loZeE%T/7u8B>G ;!Pg\q'x]kv/:alV27qket/~Fm{wV0#^WDhQ?jڲF=q֜NHht=Aɳ*r;pu@-)Bs.Hn{H 6X4!]T7 չu٭{Ǚu@*8h;E74n,zG\3%xw<7I6+(;xf|R<,c 9}O"n{0;m;٘=!I iݢ 2To[䒷w{R;ẟzۄ6[ry.B䤧_ %f!rÍ!5Xx*J 4*{/om_,5 zP`mғz1+.z'όpjbןޙuU(OӢ&AF?啻a VE NB뜼20>a±¯޳x8V%egO\FlX&^<76"){{tC0ZɌ^.:'ӛY\`ϼ?ʹ^*6x1S Ov(N<Ӈ39+lJUYP.^n rǖu'g\wl]3 T4/ܾ c_W8#8O]=YW+dj**×ÏܨOrM/VFah544[շڕ½%o*2gR9cA%5Z%mn-8f? 0 8WKxl86,yb4T vaIqlo5}]+ tp>! z[MZ#1cŅ\ ddLN@?GnΔReM2NVWc9l*f@K-v{V| e` m%IpmĦt4w]w&LfOu߹_c<5rA7 [KUuF'V@T+m+R:q7br{"B-*gTݐV64t0u 5kqx,C[YH'j V =,rcl$~9;;fy0s ݶƯvJ4k 򵉯R+ثYaԅ{ FM5d:ҾRl!,"g(Mv~8w+LoH A5ʼtp*4;!%Yk1o7-=HтXmS(XL:K8$WAH-c<ͪt:S +;cǍ`y&"gkqrMoȰa^k ARV1rvkˠl<TYM0 dh(Eni%pq<FUخ]nb;"*&[ LTQ%սYۧ}7tB6MU297Q2rbKUk.Jm2q`)0Hzf^[)T6cW wƖF]H;nYYK SɎ.9)ϘIkEOTurŏa,3Ml=vFNhHӊ5Fμ8NIYSq:.w(곿x`qIpIJLX;&/ #X 68-dM4ob% ?bu̅<83'[!H޶<<9R06$kpV/1ECJ 4^Sн?ei2OWvy^X0>?FA 7GHI΅6t^ч^0g$e7Rœ+xg#Jmt* X Ա"N ULf%+>"CuAE@2 RCJqbw)f,ε7 jU7ߪE!6`+Έ8sH2ͪ\ 63.<("+]7J\5v|< })^ BB&n {,w/ij{ս;2H8sAY.]r#0*6G4 d rܵɾ͐ ä[],µon40_q:!Jqja=>DBIhom'%MB׍PM'e*+F4+6UAJs8zM LV5ON N.仨eQ0p)pΓ?/իI_$n~bl8;?dbn^Ta0#̖,M%0Z º fJD:jE4~~^n"P>,i"o4Ǹj;M<`ozR0Yt .d0y;r,|]v-ӿ-tk4鰕QܐJzKkk~œxQjroIe9.\omI??^eޱ,һ%C2"MƑdZ.jq^gd"0++1I $˿|N%z?g&gj6yM_^rHOқtAxKQYQ2rV|a*۝eH@B~_SlT_Gu; fjЂ|GMe{`T7-W&7/1X̩IՈ>U<3zy"z{}̏{ȣo]*cHt?TL$c2ORI" $as} ӵJ/3Ŕ(-Z6t*@w>N(-5öM+ 9Ek#Ѡ+#q"Cº~ ,Ы&F!gK$o^NlI/^0i 3n2[NklRFm9$?=̃!r(0! Vv19A?"| 4i Yf .r8km`p2u _̒ ?nT'c6s'f[7CGu܃-z kx:@z?x6{CKSR`SH_ S=ׄYs38roaFmTj:H?0ܳ Z~0URL*"փKOy/I054p6H$m_UX}#*jbASYWToYtmxBϔn܁ݪtk3R<+%lmSs_,{$Qr =58z7׈k$E.ք4 'MF˟[$pm5}-gR \A~&ض(WeWΞ޷ XVe/yQV# N32 ޑB6PEZ(Q* _-t>1b<ȫ[ KP"",XOˏO#U+CkjM6?vt=z؜} Iv\Q&27ءkX.=Hj7+?Y8PY OUcP7AjZmϷJ3uYP2q'ټמLEA!Oxiu'rTf-;8}R{ea"";-e >gF6v9>!xʁ&+wWNAޮn1ٷ39|^4UDqKg((NMTN6' E4~%KϷٙ x3"gϏ` i_l9[ͤNHc/f/UԒ׈>ꕿ`[]N{q{#eЦr2O7Ъ-=L j|hfc:x{FKr@ǩCQ^JTgؒPQԩ\^a)n+~is0PtVpi:}R5D<)ۢ 7cxF b~زAVnC*D=Hi3_e6ZMblt:[f{zqB/y@wODc2k6186}eQ[U,rt//xSfٲg+*#S =J8zU/pEޟKWL<ܵV=,Z'zl׹ysӥ&Yä/jxʨO]|GGkeÊe }W/;"MB5WNYk%VMA'Rx8ef8v  ҃I7p=Yew? нtjl]鿬`WqP1o }a $FPNƅی2\,;5i\z%,9l̚٬XuLjgXWkRe7ٕ\a&`$g5OCB姼!4̼#XkueχټCJnȩjnHvb>C*%:\&۞Q 9 yܨ'Q:MsJ7GpTDvCܯDUji T*' G)|ԗO/}{!ݲ;qIwZXQ5io}7)|v,[5yւJ{,٨'N1W7΢u"DoA*&h1 q i>ve. vӺ7Zr2 u7q]Ɩ]񮶘}uݤ˱Hn6αak&J&1y [F߳)ҩs"^`xܕTlj4гb ;+z+8#MnզXwnoXeǑU,\8LcԔ\O0hop I\v@fޯlfxv`NI<3:8> ;*"^(W(PdX f$2t39G&_)ڋ Y7<>.cS`u89#)d#LOCՊKi>GK|j5{!DhDAS JḢ& ajnҠc" 7 *Yo"`qquyD>wM=jCJV[8yqLLOR[L$(i!oD7…6#'P"t^[꟩<_9h. s VxVK-xmzy2na[#K/dfP^;5sWe":Q |Az(n;Lzɕ`B}eE [!Gg|-8[vMFs ti*뱲 &RXnУ&(Ii?>6rZ37G>DBY?K8F-Q;,h9퍸_g-K qc)e5>HWi+}Ju^~~֒~ظQ"KK I <$K[.FĐ/Nljb\`)E|O%5$~)p%W@m6_OLrL ˣd~E'Czj* Ԥ! LY6uR'ZC/}usaleN$UWh}"W# |OrNlidrTȑ c:x+9XMr&_Cl@O~F[\KPy 2hvnCMNh|'֮d6t(^3˫yОJ[8c>;$8TڶItHn.Ss@)$͆q)P7.&}KڞCω-[1tn,lh;C gJz\rT2^P6RU4ԫB[[Oi RjKa$Z KoR$o a} ^q,T!yv^B&ە̩>@ oRu:?@X~' t@0л<2_TU {LOq^g6JL F1"R_dZF4Kv/+>즜>Lۈnoq۶QS ܜŲ9p,Qx4sTz,w9$q'2nݕy7_`4-sZ6μҝO-R98-WHwD.U튤&n?4Qf]{a6é60LcWTӃzAjY(}W|][wy?SQhԄe^G!|r6,X{/7P~yʶBU6.f/>}fr,(CҌdHs U7ugJ93Nq󠪕'& +@NIiXĈ< u.f`q;zWm)ks8XM\Q4w R].z©aτYuy#& Q:^/EhƜ(\0B9e'y, !z oKy"U't<;Wu/{Xpݧ[^ycL#Tc>p Sg 6ab0T}y \= ]A @5Зto8}0{G2eU{XpT'O9~f4x'\d*D㐲lw5׊iqoEj#区صB%~zRq1pk&7_Ts簢gvT2~Q%U}=宓6w?-k fhk6)nz~ByTyԀJd+H;0wmӋyyQO>Oe1}ͯA ol|@3~k9ss:$6[,:$A| ɋ:!-}!Amb=^U,y B0b-u2v5ە?MK׍8WK nT&Rد5#QԄ\fms4'_4rIpuq.``^ty z}8wȐdøz"ӼS <7pDOx1]D6sCsoR}Oٝ?'67%:Ohdžwlx|8\b - ^`"\+Ȇ 6Xa;~4ѝCGz+x77~;T"zaamJD!FXY56V3CwӮM T/#qFHd鹳(.a *.\\@B :b `ak/@5fkIW}QhR9JnA0ֻCüXPL ?Z NEۧ&>Hl.3Rmlm[wi>n_| V-eDY)߸UE\O.Dȇь $śJ*t\W7*ɕ^2H~CPه L1͈"urbm` }KS+t y 1(ȩ%HcL\Gcm+\uk !iиۨpeû,~ djf+WV^$g1 jP4T*Zr:%W2bfHMKUa]Girŏػ9z>V ,$="Fz"X% = 'W<\|eשȠ+?XPl3hfh! жe'1%lX#낁3X(86Y'õ. #Mf&t||wvЌWs,(g&o9[|BǷ,j&mS&ʥ~Dz;}E ]zxAdNòo"4I:rͰfE NL^iԩS_ơ;^Z cʒZ>NF|-])(ݗ!R2ܐS~rm07dG1=v''j5f:S:w10eNdތbC* K#P;OxѲHL]%QRCHs]OQFngEX, 7jW)}ζ2tmm(EֈWڔw(#o=wCt/-YE9_E;1g!`ݤfS^FJOR盾T8Sd8bW#]rR7v5ZW.½X n|{  JMݦ}؅4J3Qn-M`U0Gf) (-PjCb&*Խ`plwbpj-Wž-e)XXNOνNS;_ sUWSFG6?1Wo> 0;IXС%oI$fI)vIh i.d0DgJRo6hQ_Bg1/ )CK3:~jlVn}%LZeKlߢ~6_UhS qGSqB3Aw0Hcy®#6a_AL\s)24?@  SSB>M#<i_YrmF:} YUeHnQG^Okx|w}<)er:Gi K9~QF-*_v1r-} h 9)(LM^쟚P44XR 4HA-/rX:uS88 Y n8f[3% ޜ X}Lyߤs8} 'nA}Eg qVGU fjlTِ#"/:+,»͟- w@?:,ɝegcu G΋u8;вf.7-3,f ϵ;.KK)#Ky_:X@ ט̂zVɹ2+BX}Hp>l :r65_s6跥/*!3yBꆒn1ܻc&jj>.kEi GEN5aJpȫSp]T](HҸI/5,fL^{%8RxzvE~DBr G4o*ZEt9//j߾L?\k%tm=[Eo z/ŧLȒa^ʇ~ǙSd]9v "i@{wMnKh Jk* UUe"Ҷz@})is YPN24{^2%t%z wb~|/|176TD͕FD? 6c(iR/zNUYx Y GN(\Q+[J hח %Ш0/!zY QkfxZr/4c@I/NNeAR}eț["x+׊&_ξ3A&G 3(ސ ]A 1FqK#*#2IU\KG AA7QBf?/Zw?FJ8Sr߀ ɦ[rB0﯒_8v3tcxg2T;]澪s Xo#a?rc szv1LJgYZdff8672c9d6b1b1216d6b69fa471bdc0dd9090b45a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 f96cdd94e684d8a129460eecb1e5891fca766bdc