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 Mtl ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=268.639cpu=911.140gc=63.208factor=3.397zXZִF! m']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`b}Q4IGs?ӭ؁ 7#VҳmF+U bSH&C߸u+6TB|y{9WB+D&loNxЭeWT8DjkT7oB#G݋KmFlD`_VoJIY|O :9w"Gqvr=.\և L(.ni":ɚd'/ ꌜX˲ӟ0Z._rHYqΉ"nL$߂, SE:a"1I}Y +BŃO60kzuA*̇Yl ]C kA5 O7I&n-u rυS+P$/\Lx|(ɦG .:f0:C!FPX(1ss]'*H֮g ,Rm;`܈]mjk6ƆV69/,u s*/3gR#^̦Js:4?  WiAIAZ]h(ruTT.2<]UgQIl !*„QڨDWJ6/Ӈ{^M5m,;CU4e #sG5J#<65'/[5Nx:hQ*΄۬'BC!;GzlG @vhdg`Ac1 ݀0fzΑUkZ lX<\ش!蜼PD'W\5Z8kޔq>l.H3(3OJ"Ͼv,&F-Zp3Z q :Ut%SHRG%9ܓ+|I0G`[;j}Mg!%@#ErKmQ]gP:[hOip5`Ӈ19^5u'wU#P|7QҔ-& k,}+wb7ޠ>_"xQ-GWb6dF`,gT Fk5J= 'DC Ą9t`vkj&5$MBXi+H9 ,C_+knm!q{\y/xQIW4=Xu-m&fejy =ᲚyaR9u>{3ňFVE3Ig޾exKwSHoPK򫜟2mX%/=I+h3Gfbv3KbæSVN#֥嶴PN[zׂ|Wc–xtcl#7 `aHz9v[)^  md#}bniݥA;ގ%UyDw_,p XoGtlfJKuD5%- a8ǽkVE:Q%up럟h7pR]Kv.!\Av!S]سX品bV7jyrm :]`|& [3: 2s g,!?>v9 MClΒ>fY\,ݹyy+aZi ۂku a2PHnz-dyTbI=]cO7dQbn NbYdr`w6(޹gUL~n0wQ(ET7: fn `nT r ymi" ֚oeEh4X;7:\I4 }t6Ɍʍ-Sv3ߓyK[.v|$83L>GC U?>dƐ8Lӭ;Dg[v"춦%!@!Yh"=X䮮}eWj8ʐ$.S#*@Ic~ܟuAo`#x.QQN,_ F[:IT U_6 ™N!*/lۅ~Zlkq GBj).d]mhJ"9:G $`@1na;H{y@bF_e,k3֋Uv*C$#0rKGrt/Z["/nXF@͈^m94[a 7 RʼLd s_ƌ:{j|$UsnN|b=be)bR~G`h{ -w D5&0fH 1O'w/OSqIAv[&nflǘSy(Kr k/֖'nQ|!-+%2W;Н3x5bG&dW€3Жl٪EigzyMO!|>/hى! 9ݡvTx;n$ƌh7*CLUŦ-SȹbH 2E!uO5a4ʕUHۊqmDJ_n,=dq^Cl,?Q@EZu(< q J4ƈs;Ζ+<\ |hkT |oxacq|RjaQwz\qdT GJ!hy >wbu+5e|=Ą[^t8.Garmxd)&TY! =a;E9yﭘ9l! y"f)0%<ݳE4DB3b1U\+S)ˮc]Gꌈm3t,k[Q]QJSKu 4GxgsB5z V c y5Jc:\ƖQVq`M+=WYko5e})fp);3A"%Ѧ#+)jfXWZFO)Z`(v(Z:J%@bzhyYDZ|FI7[HH)7uk㔲/)KP K@ Rjw 3g~N_$`5o׬{}Խ|m WEXktz5Gk %%H5,<_Ԏek]ZV0n]۬c=)\|iĆE|-^|(1h[~wuFלpKJ6 ]ZuzWHKas9?&FT?L?~6&vΜ %_Z!r%T-ӓ4t"NHh.qxggl쭌Na$CE~YrE1j%>B(_pi3e= )kFvkGQ^ص[(È v !~4`M[}q6Ҩ ̾Rr\$:Յe~˙Z $h80r]$PDT8=@+:WG᫞NU/6Y&& !j'j_eNNpb`Cԁ4it8Ss^Ո7(vBvp aaM2ؿ272}F$^D&"xS6ѭv0"7x ȨZjԣ >a/NR `LyL..'4br9٠ϻCKɰdTn0,QL 8pTe!P_j)󻠻im.:`Fq 0O2jʳцj .qC\uC= &P}v^[vAs ?+g'ڏrtgŶۖzaL~ϘcPKTpΦx mKi>hh|8hl>!M!Mϝx6kD>.%Ji:hϳo|zO\ ѰԘ>yAحD(LM:eB4E߃s,wx'Иi` 5E19`Cӷ yagO/L#%CL ^BJރ4lZ5TF z/bG^bF'lPgJdg'=?鬨̋Sr@K4Hg{M%vut=t!I_9u"&ɮyE5=LtN]HKbCHf ³pIv+1ˆejΡt aCtڄGfxBQ2T;!%"z/"kg*Ȩjy+VwQh[ "&'ذW׎TʪCrRo(ڲ:]&ݴWD KcUHeT9Ƚ0ݙy{!QqG&K*=.#v4t] *)HoEkYk d-!FBIo ٿō=R6ͶYQE%σN͸ `)gc_](r)zد Dn5W,ʍ5E/jj>AxyV}K*,86뒒atRټs`~^=坄LgJeZQ}g!G~@AU)g!e6c2R^ߒ6腖PH.f8PXG7'4+4Ɔ\([V /Ha8ⶢyi-=TdqOlH*uO=|,\N71=L#=bUXt=D@96s.!ǍCHL+D7xfZ-],#6$f^œ{a1o;d*vmL887^GUк DA_I"sǁ{Hy%kbj7hܳ괊lV= E E2v"v0ʳ̏R(e{F"HKp06, Kڢ? s[k_t,?_vyjE4AV׳-KyJps!Gu"G K+?:j8:ԤCKK% 7_uɮS1zB}0uq3i陝/MK;s%fEt^m^NZк]Q^_ n.Q@źs[ NAph>Ip%.ϡONըiWЛs\lńkṞAe)  Aۻtx5_"!McS5E.I( F5W.*qi5!{Gwwn&ƦQ}(f$^@YPeġ1!/~ޮ֪zwpAG m+vg2 elY..X6I$ EM!_r cEx0er}fecVQ@f3Nd&I\Bf{PS!椑[O;U+Å `u4D-}%t`b98Xȥ+@VG?|T]Iaw4fKὑSD08s(,Fq:fv2$.Tv}zQ`$d jhI c^P P#,Ev\GKw;'uJL;|=BU$i"uu%`Ԡ}F}vY?f He8fc oO@zT$mc(vVj纒encInec\KAtPg6,G$$yq7a5b R}Ws9[J:~pkvPrVJ_#-'(_EM4D|uU]>2ӀߣF` rJDgT-r\U;h'U="`֝ 9t 4I: yڪꙥNyVmx>;4-/,pFd$CHdjN͟>DlEJphL8%1I<(jz,`unqBĔK`e8"A,%1ZQfba?'x0jhk6(#n1#@G(dB@"b DRYk1,]]Uf}i{!?-38ےs>B@'mdrJ%Bsw?/>wze]k|B` [\&Q!ǮdX6xqSCH7,iD Vs9lr*g]_> *@ #6-Qcrm)e`Y&*k޸Lj+=+Cח`=|@}Nr@/G1ޮwfΩv<Js輋tBLAsv uq`ALƉ~P%Xf8iJ0Y<5T2`줌h]qH0Y]ТK?pӅ3̓n`qM" x(ېCG9>ۈNo:h* PZ].4TAb';w_ugiaeTgFsFN\ᏨTVWWu:)Op*SvO8̳9ǪzhIJD_ $BMGc{_e}7v|RJaL:fhtLbeN+RZ=\ v[Ū*ow6g Q:(u "<2O}"^Z>_%GuTl mD:I6o5y>?* >&hi*|ӻZfnb< ָ믔 [Q+#jke1~]W)ND0W0xЖra)K)3SV}Lr uS(QrsponbtUz%RcЉë>!c2Y3[£xncY$+M!?uX~At.}Εy< u-݇Iy)%AI-sKM Oe pOOsgYZ7zXZִF! +]ŗXiɟ1J2oeTʹ̰KKZMվ8] @rR!IgJ q@&YgY"uh`q՗4JQENBw%z[EE*;z_g7`y9*2r+P^ymuؓøzPVbkOQjV8>/Q䱊=g ۦǪ߱LزSZ3Ӣ8_ubg\; ]0.#oR:%hBt֘#} I4. e13ȚV+ҽ9wS?<k|K',[U!z3L/vy4}}WMy\5(#q,eT7uJ{bϢ/(HjT^l.Cn>O“Wc"|A X0~hFs>!axj}֐mѭ]b ` rʣxt~ϟhm'т]5Z}ךy,^pȊ.%(U-Edq)BʌȢMs]jfOV6̲DQ3EhTbsg==ٓhq=ͦV$喢ބwoVg7D\Ҭ:ޟ[-> ){tZb7FUkMv Jr9 7ct.i:MI5)k`d|%H=5*부KYUjL waQu2[!G% ~,\װ6R~XAo yɰŝfkjlrs@7N<'y`t+O^/YP4h=Xoa]m0XH9EwRPJlҵ ̯F>Iv, _9^zC{sMC؋oDE'!aci`.4<0W[~GtbNZ%3z=S-j%SU+Us4Ї>i;*cYW_$V&:Q.sSFc:rcppWQ{_nD={^ mJ BgZ.ݖ0Ȑ`VA)dHgNvQB7uB`jBX"N5=`pq0b7-~'R]+զcOg|%L }H#6̧ 6"豱gYZ7zXZִF! P]ŗXi%Gዠv7m> L$!y:wgW *0skT&`>^ю˰.X>z`̾j5Lȼ 1ALfDL 9Ӛ\;VKho ڋ{6V{ߩ\":Ѓ;Mʙ ?ؔRCᬹCX c 4Z=l#2&')WYq&PΝi-xWC&Dt=ϭЖs 0Fq`0b,B2q%tQFϭa6)ث`-ԯ+o+^ XQDn:֤]āVv<Ȝ\ qLPPEMCk +{NCNY\q?yB=uio|һļ0ԜS h8WWt?lA2^;$>Ļj#8 A .&cUB@^ͅL_9T>:gcD}S}[.1|Ub[FGqmZ=uYΛ@/ގ91Pf+[!r kƨY}ŦpWhg_ ,|'Att|6[1D7Q>wPb]>t~r1SdF0:3$F7^7 n eW. Zb2Sc;֫K] &u/2_$ aa <<ڐGCxתjN\4F pSΦ'Ӝ8.]~4bx.G2z.Gi^hZPfSgpoug2}WL&myFb+;bP˄V ֢01 dq!rw V5(T*3i2xO_G0Lu'b K^~uvZ"r}(E춱~8d+XPZ.kp{&Yv~F#/ C#n+@[gyp(7j5XB?To:j8`Btf;}I[>*kd 8 F`_`K'ꃨʜ8)Ζ|5jB@ME@X6]Whfkx<qFOI-۵g5`C>(kZ3׳9SI)1[}{v!4) LHc ;Q8RoFėGƧ>:ߟJIZWd6'tQ<]Kv@?r/4l`v=fyhvܟK Qc1RjZM<\hާ?߫RFw-vwʺfKI"ef/!L(`<9Olb!2ю)߆⯲`3T2?'P(0ѱJF vpv/t|ϱ'7?TtYt$c_Htڤo@p_jM#K+_j:p!!nt5;Yϸ9AX2hG%(!H}VkS6JiNξw&`;5aUw.%.Cjo80Jpӆ ݕx^uI3rr}Bt3j s;LINE+ivڛj.zO1DGzyLz~խg_Vvg9Sp^J7<S/K9i&;U]V|ڨd@z{ a 5y4nIvǷY с1daOAD@G;3[\KffwToxD@]΅,3?r"_]{9.C0k5Ҽ2 'ݾ5rRQdmFɏOHsބ{lNn@sxr]ѳ yf`fN*Lw繘~z:ɭC~VqG*L67*IŞA-Y9;hN%?@<ΦWo~~/5ؙq$<6h|lF^k|d`tZ:ۘ7l;"Z=fZx!)p6l[!1 [xU\;CO{8;RS Ze Q8&$1G-4[{fk8%_ XV=,c\?F` =sm8Vb1 ~P7 q+>jfvdPI\~ҍ]8=븈@t̽.iX#tV/ȿwՠTPe(S`֤Qs 8@ݕQ1K6 Y"oF=AdγͨO# 3CHI2Ÿ0P۶@SBgJx7?QV!oG C]bx%y *t^(:-°aSA["AWFRA5xUrEp`@9 R\-K|GXΪHȼ FF1!.̆#ǧ=&hTjDE"\4Oļ9=lY "h.)<0»H*~@Lvw_W[;N#bo hk.9ߋP1=i^>ڎ֕FA2;uN$_?t$0ZkfC) P7^+"WQjwҾ 0ԡ$\*De-ijA|y))/5cV3U1K'2 `bBp2Ǧ{ϝIq/mm>SqU1n .cx#= ;;㱴hK\=A{@[Pby3qO䔆`(tă_ϬO@pv.SFu 0tYqtzR:}*8e))7qs[sfQ $';j%[_a ssDCUÒZ"_GEV'{ٺ)%RRJy!yV%=s2\ZʯyrćdUc\pH 3Zz R^>r7podA_I`~njU尃OAP8']FBS* oe=)}VqhP-I G$&BYpݍC +!T dC$*y>UڀJ:Ijpw 0_4YNqxqݭS_wkdЩk^=6˵b'IXfO|뮾~w: u@ѱƅҺt@ n*2Ƥ AE۸q?ڟ@By,y!@.=;H[qk t.Ns?2t;>Rg ӱTѽL53S;2):TM|<ӧ)Ջg- \l$m.~ݳfT.`H K=&f?AAFx51 haA. 1a=s2!Pak5{kחhm8?ׁRo{()ψ0+)-Wޞ*/kg1,G܇qtp٨3l؍T Uv9OcN:{i7dUu*pԅ⽈ouoևԎRM Z2 {E=qy%6֙O6fiڭ٦suqs(X9fD-knwъFͧRXm.`mZjQp bƿL*&#oؖX?hZ0ꊔײ oTׇr$zB#Vzyy"ڮVϯ=\ lpINћ|>Xvñ$p׾θJGMB88t acYSGǸ;L֢ז'ďmw<ȗRwɐ&0meF*R/h[!1YtLBNIx{}ہM\2Ej8󱕺UFVqJ9p(BJ3XZƂZ\Y ]X\ ntA@ Lox_R}ě j +(Jc&pWy Å5&ѡ2E7Ы3Gf4y?T4W-ؓjX a"&N3d?D H0.ݮ&l"c6fHfPV IÓ6~ PdDXaK xOT>}ݕX80nNSߘӭ6CgG1)b+>V>.Ddnbpc&>7mWC!O̜ۺd! _X$*+*Vdq#LqR;}NS,#]'d{^(KˀD0Qn"r/]6;p|TM=sM ⣝$T<~"gA; xv,ŗIJz<_CVa"}k=;KrPOP;b r1B@a_͸cՏ21xP}~pCHb[YJt|uփ%y'UWӜ2/ ElO;pI*(A,rvJA<xME`;h BSnf4\#=P aR5a nsSN^]V S!#*cp[MpWצ\oK"DB/_$XC &Z[IR9b߉䗮CecDiOWß@my; v@^s7`U^xH[礊/[J5' X k76c9m~DC\1 ιMkͫw;z1'B[(ztK^u R/VHu]~>-ad)]fc6J'7 XL *iL1U:ohb eϏ *B[-+xb]KHF+ 4Ǐ4i͠ >՘xWh1egyfJУTӛ.{tT՞غ{>3{[Jgl,mOv P=Mh0$T\ ΅AMϰVAdeO2X%8-D:jd#Oɝ+$M 7;22䷏#?JlJ(HH{'ُ?59ClHKuk)Q@р[jmwq7F(cMMv~1rܰjo9sacFz'fiǚUMY>-==e=Pf}IE:y8oXyY$׀*FOewRh#%D ؐ8gSV =Y1JʕUbI3lqDCʐ}3&NkD2x p*k0%&dk;ӄ[x "/~8zHS|Q]yiįn%"R :3'p͈8)Ԁ߾"ng^vTǻ]E:Bk] ;uq~] MH3 ȴÃzNz1E"T-/>R!0z6_܃% w=I 0)cqjͯ+,AN579ߪrJ> oZ+0y)ZSw6E e)PEd'Ue}e#5[-7!w>^ 1l9k\桓3|!t*Z>ؘ-EkNިHt[D:BzF )J_i,bYkٞd'/?VũYm\+K;V|ZN ;m=* ?(œV}KMxb(kNS n, u$U;4poW|nMMj0yhPR=K j}jx6do@'$Qfr@p KVi}WT Ž¡dĖQ S_sj&tTm; A?d= ќFؙ#ҵ88x@Uÿ*8" &5_b>Bc>7画N%oƱ߰1OD_-~kYpEvrQjϠzXTMyyƗ9G7a @ir)X~Pмo(Qrj=#QPN /G]U q8W[WEӞΫq8EMԳLTl":[ |HPe5}fYŁRYVVGD1kafɛϾSw>Zk u>:fKܞQZWR]9Wk{A5bAlo!b- E(DHrD[}׼pQľ9x$T cibCZ qwO4;;5c"סZ*/TP֙[)S3pSir-¥ 6vnf~1 u0R*k# qDY"7\}ʺ||~ۜG3ɜc@G;2iҧmv5©7胿X6]I^ؕ|R>Z<:)܍d+h a ~s{<*}f4)}ँCҾ[A;g=auN}`CpGS7Z>̻q :9n(.pOm\mbU1уP=1H`}4϶oҪi͕e4p1 [22f$g||f4F+/(.K1ߚF=[l9I͗mm:'/q0btM='by$Y 5kQDl.v}1uhv?KK"sVW%#kFodLH˄MKc#_3M-gh2cħ#kD g'1Z%7{#,p=fϡܮJOk[!IIaI/`Ⱥ(.L|fK9q^AhJa'-7*QQ6+?BzTN+\,9[hSm))b$4e;J@PVa%ab%R O߀eC'xp!ʫγX`y&!APbb5}x6@"@$x͌^*򜜹q9W6`$;㑫rf=kc {)E.B) ጘ !YD9n~|$c8&d>9y Ѕ& {J_\:Gio=P#ȕHw,M[]q}4q˩x3pP@7Dތ{Ewd@ 6&V,Iv!z +X 8TEvuXGzCT~2LVjheBM]Mb$:w2#m_=KvГMiwzWd/;QR{> Qh&XcETu{m_‡3z!{mPh |>)dN j%ds91$ ۀ< xLh3䵽n)N@DS5uF K)xRFXJyuw_b\PHD{ 3ekd qa'q[xK$4۶4=@QxQXcA5ۢSaܼd:@H盋/ ~Dg  1\Gjo a@.|.ZmMXC(g(D0L%3{u:t ;,%(y6 $L5[oJsaݨ[C)hPofauV~`"ꊦȲ$L-ߝ j:(#o[qf 52Ey+U8{ją,PgG@a򧷌{}R:? CXٰ`%,pHpʫa{8"q Sc1H惼Pk*F5YŕC0ԡ0ƚq:kb`~.p9&1>n@k"nE?$t P8Ҭ%]sfOܗSz팖}*atѴsT@ ! f]brz@[)[bެW|Jz* !w &K ͚:"L"Ds؏,Z-tMq_J}[Ʈ6s }5t&Qyh>pٴ9;T5H:>x$kڢrh%#e⁄kLbbjIMIo=j?A `x%4fcyq|sT0v~QB=,I=;e4N,)S}bkpWZX]p^BjP 3+:}t\6\?hv#{3;c6\BC Jޕ6|tKekJQ&CmRxzM:8PLiօ' t}YP~(5ohh8sF~@|%d.2~ |qG&vpk/o0Kbf(!8\xyAFP}u <6FHg 4 GR&=G6Fu^k I]CForxj*?MEDZ\)Ȇ~&,/#{eT; ;R.~} ʋ>P,/d5cZɾ$8 }?gm3X9QL0\}ԤbwmÈ :qXA`k⫼tR^& )=~czQH(!.>?vO{ ](`Aɽih$Ԃjδ^m`nS@ZcɄ)"GML7猇L;=K59"5n`z2bCʎ;=lA4}f9+aݰvt>"dQ#=`fB?>BslO7x OxqtnB{1 ;Z z }0X,\)*E #:N<5BB^,Cpfv}3Os{am.%p)"qHVQBFH+7~JSگ,π:; *3M*ḊrD7#aԧDzԤHRINcك|k9t*hƬ$.Ґ-&5b_p_!>kva@0#<|fXuX^8?dؒ[V<ūu}s4aQnPav#hB!۪ (_%Y#~KsoX!I, 5r^Lg/*=G 8b>kx3H#&̅c7z&7Cz9'-&&*36 go,t/g0f5u|IyCvFÁ6s3 }:P˝V;Gesq1{a]yMLv"I#8gi F>+ lo)ƀ36 G& Yk'6)}à7]^/[HL\)~D/C(pdk(wY D)2E03b3~UJPk+IbsF>kMz aQɦ?DI憤ӴP ?LR+wv[ͻeLiԺ ȘeDd;rrR:qTiA[Re:cFN >8LB/@w0&#QWB)#nf>, n|.Л[BZCzUy醾xB$tՁ(u' RLJv J0APHA  ~a+zY.J<->).+ q'A.2*vaZoErrp$[Br1:C_Ô,_IR` 8TCdQN+BCG#Wt՝،!Z-߃P;#o$w*NiJ@9wXzI ,c(fBw$󆴘q޳rRe l`qdYϙ!o_r}\^S_s0E zc[~Рk[i K=T>OGՖ(ӗI= R.e|/lV y׿j+l5 [L sޏk9\NJF5Œei QƁ'Ռ7-8R&{wGevb{bϱz{rje)Ί,bÖ@WfPX =zD;8w:G<҃VY?'T:}k< {Q:7H%d rYu< \OSy̪JUPld[R@V-G["/8OBenI?Y HZ(f2<D+)9MWCf5FzߦT7/'_qS8ZOv>c/Eİ?pS*ק)Bn`Vq 2yOzܳL4|xhrџR%\!&omӊ/nC].w.nEq j8AxY0(R !t^6m!'}|O#|Z[KH%_?1;3$J}i.7s}Èdq7Mឯîn$aRH+6G.e})at@ &zmDf!y(&$feOs!I >Lra8_WkMc"4u%necZOYnk~w#Vt7qo KZGI-yYcX]mlͣ0L_2-# *~8 FzS0q䳃JL^6'%ʝe܁bS^}EOäѢRFxnt{k_RWQZ deB:`_]RsA!r8inyh /Gv@yk+D0oIaC0 *h`*K>8{*a9Gek/[ 첍ՖYV?Yy}*:$Fz횀_,w`c;09{d%~/F-y;ej>f)U +-aA),!6N,_DH>r('7e'u쥖kaT W˿qQ>*41=cEYƒ+.QW|I_C,wãsrNg29ƈ{ǥ$5ܲYmg_ОW]~LW֎rXvS r 3g\Ќ&AaA8?kA\POQRҷOL uM|܈;3)]Ll׵hU9}h2iGRgLMsGSٲOe%UrV ]K= Ŧ&qz8,H4ܷ)mIp3 1/@guh隤{Хa{[ 9k{X| o~H`ζa0'o!V/F#L[8 OF":Qt}~L DGB#6O_uh\7$o *,{Kb]9++ͮc)38ơz+KA#ϳ،Q8hYmF8) 5jAk#t 9$adonRq'u}ox%i0"8d +l[2t @r\{7Y8 ۜ %4S [" J—/ . WBYeGz" [ѹF_v«$V\dmjŮcb㋛も @ՀhW{ :S?pBk /ê$(_ /VK-|jejhJ}9!n 8~qCv]>SQ ?)'w })Dga\sa–i5"yoML~ >{RKpįz1wTȗoڞQ@ħbG XB_ΛY7%MQ%ޜ~Q;ВS1Y~ !zmS0L;$.A@vaMe/XCˌVsS~? (|aAUn]NRXk ~tꆴCj~B8[άȣp"y^icVH5lMF]+ؼ׉|%Dys%!bWgCs-;lpPBe jz!|#C?Š/qK>v_'˼ ֜nT똼v5u}D~wu}vZ蔪}[4Sħ)Y_VNtD [=gi R #Lz ry t$dbOsD_p Rަ'~!O6B-.}x*@h1%Y.Z>:떉ȢC\D q|oj9^^M(W\uc %_ﵭ{`^Je^cm|xF" boRiH&9HTrRP,σ1] j*2O/,IT/gSnζߔa Pʭ]f=O.7eJcI2Bʡُ7M;gYZ49dbf559f613084d202574c2b0d65a0c0af0f9ef78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472