SQLite format 3@  . BBh77otableisabelle_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 ||\!\L ]]]HOL-Proofs:threads=6elapsed=553.350cpu=1245.348gc=177.760factor=2.257zXZִF! Y]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧m.a4=3wv{ea,2E:oZ$u8bu{0PaԵ8p7=m :WrHaIoY&D" ,67Z(5آkQ*kQS`FZWɧFm/ ?ֲ 4K)fAf܋C8 <k=cCzniq#bA =2RSa3WxznCˊ*W5D'AS,ѳ^$!Դ'be2ΐ>ɽp=q3c 3K2Xys> (/?C>=v2z\;@ꦑs HS=zQiYν%(o]JN\8J|M/HfbKi%#z sS|m`%R?UPQ8M jaWfa>fJ.!,2Jc>}ՇfTt_xպv%D~G:~p$fR%`ԣ謷Hg;9LPGH f#\ų QF S&Bl 3__+:ۘ~$nt-#a/,:Zh.ve&ޗ itÿ8w*,~Wmj C}ԯNU$?Awz~`k%S5^|uT9⅝X{vzy)6%_` &i=+ 'ިjvEdB:|\+F(J1{MMYmy[q2; d7F'',KaGn1{uK,̩R֛ Tlξ2"%el,24'{":)t Cp\+i/ao`"g $l^LN2 orljpW"we$ ļQ,=J eU"m$z ߃ <;rfz|1q^xeU1|X?#9-Оt>+1ud!OwC{uCVe;wg }j^ &shZj'v ,W N>ML|WU LxלYr˙>{c{-Vc^G)/e<|E6ZSI#x06&aw(`ByKr9j js\R5=@ {'բm.Gʵ|8cގ]P#2zza"Vnsl1%px%ju!I,#V(Cv]|b P=ȬJ2T0{Q0 +MRT]:dҏ .!tbRb I*ObGK s]|:h`oDX*G2E[nv?ƂᨲXXPoB=.G9yj!$|Hxn%J8S R p ρ/#tI;P;*ڑT0(uTe`(X$M0&wHI;f Oqt#01K%!.pMԘj?d~F(~~sQ8H =b$k ?{t=PS#:`ڴc- r0 v\2WGD&^v'S_n2ql.SUlIbѼF@fF&d{|z(gv15dtQs7^gAæ۹H"ѢƖT] =EҗDMRvaOxQފY]W='%ٷCH%/8w.f6?"/ʑ.'\|1糳} G"m1U6Zd;)^"E1@e=p @ub|9wq{Ò]# &s:U|ҧ7ưbe c@`}oD۝wnّ\0&˲SADmFcL"HkRl3t/rXꀮY7Oɠ{ǰvuc0zEq9p;͇}i5^77>rC:ωpxONpH*ث4^hp5d Na+ ebQ_?kcߩlI0Y[f H);:z*40Iw2W$3l_7̗.yס;A rYf:aޘ:fhi9,E 4!uц¥`+MG+_̺[qXN3Έ6T_mS^+ XK!q cmz2uzίyn"\.fg;CȯwVǗ3OnW Ul =x/p4,L Kapo5l.jxUj3+9Ò$PdffqD9 o^\t(eOҮRZFNpr@QM-&Zqd)坅@H.0.G$2$X #ۈ%"=gS"ulFp8#1`iTKD^pؓ[i˷fr2%9PsG+ְ{^fE7  RCšzohWq07OcLǘOxi䒠\{[qe>>3 Գ pmiYcKb]Bzsnba$h%_Ow1$E}&D$H) yDJw2 Smtf6NXScH]iMwvx!k 58p9uY8US:WB>~ #c#80f*?LМFZ^<9.шmsEt2 b (yvg Ӊ`$F JA^*0oyva9^oN"#Cxȫ@?<kq2yEBQ2(0,uFY쭿`Wwvpgk/.Do TeOIh!954MK_2 Jb`41nW (̱1$?ϔ6ćxNFa73&kVӪ/,+F>P܍FT</ڪғgYZ7zXZִF! ]]ŗXiɟ29aoʼz[%U>EM!!BKBW.oaOt;`FzeU ae{m^Px+LoseiyZS%FoJկanu.CgZ"Ǹsd~L[bɒg9} ׶|`uA^D/f۹suob;KNgź-&at"M[;&UVDRE;h jc/P9}<maNc!?@8OΆ> |-[L/dSH U9_6=6T5'ÎGg0n%ӏJV‘=ɝ3WXy!Bq3*ҎpT$vky#o#|"`eo\_xU y xM3q GlUXOƜBcc0ߕlh]F1?46rsdO%.4_$2uǧůN 1ϨD [HNKTKNOp-T]i8uTZhc5`G}`*5@4>NݑIJjPK13`PLB?R4}j=]MPfL F D6Paq9Q_{Y[Ao{/ dok8Q'!q0C:%t*Q/Ul@X]lfw4 m=Mi_$$3ĝKq (#$3K9Ft%n"pݑRGXsCV,XIAƀfD̎:Yعk?fi31Z?X<A @ꂲn ;4p.ڨUEP =6^s}N[{z G! oolG_нadVZѦ_geYTo)fz8v"N>]LGQg:82lu##4Yy 9{]+:sY6Ϳ8U継!Scx$`>C٧wV wJ-7 uZ[w\c5 !žhA2SVL"7+Д nojlkwsŌ (W䡍IN{3GNP8@ZTo|u➂rdm?g`'2%mlHi(J4"$ai:Fb$jM2Y~BXP!uOS8-LON~\ࢾD㥚 5Xht8AZ$vSI[ z@U|C46ap@"9t1s0G`W§jdy](QIzb\LL7QK_[ hݐWEW'BfX=e#l'dWBJp-w` &V\"ز#bg63l7ojI X^mzt3{9svDKK^O>=:?e3a @qpƘkIYvj %j$"3lNǵl 2gYZ7zXZִF! Qj<]ŗXi%;rV5#P`$_(SW_tqQXe֌Din@ kON7 pL?&XT]:vGzC֦?ux+GHڹQƚiaoA42 ,s,h>\!V ְA^'cx]^ͫa ƅ;Ԓİ~'amaw o`?P~[Z(Zz=5Nã skr]= f#ߋIOzU42'Qpӓŗ!qG?T$ Ӌ# SLCz4GueH!mX$' 5]Ȯ juyU$}" (f<:ě%vhGn:{`nBQ⨸´~buIC0 D;dύ՘5.i㡉4_ ASsl^&ΒeT1ʻw]F|0XI)goBvׄDo&MY93?-`4b΅HLV@ck.} 7P^Mم,Mܾ&Q-m527A{ ɡt,[pLgHG&{ߊ6o {Z;]X ԭUJtmuT_}#srFKgk*t̀;\ MdB%1V:u ?8rR4&GGJ0.h12C5S "w{UrM>3c?ś2>Wg?f=e1(eoi KEb dox.sKW2h_e;^n.FaI`yw 4DN\2v1ǹ0K&xO_̤,߬C0fՆIb7$r&`!; *): aFNh^p +ac# D"OzϱUhP"U])kj+ (4*wFxs-( R+AF; ] aPFWM|vTR?JR&WGnW}Z!2u)3x:{A_|U@K~uF.U$'T쵍lRBbh^T4X߱-My '[R \Vح[q3VdrbuBƉ\=KtC7GSleċ06K5DMW8W,uO]3%/BB\&$ 5RrC^d7 ]| yl2[}Џ=x$MHTqri2v=;4pSl=KLcQw%/clP^ysxVeґ>;W-wX9 v\32\5"b8e4өMjqτ|_\3mLjGG~%1Ņ] q:j]wFCŶ7J UvT'Ji[WlvcsVQf͈s~ܫƪ)ы'vc50=6FXڮx𠛖`W nEE #b= [Aտs&}e!\L|$4E K}~NoKy' KhA jFM6\HIkR7L5Z7U>F?t0߇`|kÈ2(<z5,GX}3 Mt6<#`w/V3(s ڄS"l݇'t`zY.H%T䋁?ӾR pX*bP@_ I"ښ_{P<$&w=7ܠYQhvܟKznlM~4\KQ4d ;R%1hyQIT @0I ݍ2BN[NE)%Ei--?y`#1Svʴ땑`EN/5zu$4=`^82 X+3$aNPmmiQ7 &@K*p)qíK[ʂ-Y9xѿgPM_^y5hCXK܇~91}:jt}Z>iQv^/O`:X\2q2I0Sg"bGjd9^'_*PFl_J.אa<(7K>{F[7y«(tE @VuW7ާ ;AqAH:[̠Fи:mZA2Spx`0!C``_Y+EPz͍L; ތjaf_Ȕw,4\+(DCE'| X'P>qь1Mmʉr:m'*%~U@C0qUکe޴M(0+GZmKNj1`}<8oIj F@_dCzSf2BM|),B*PFmOGP*ݣ]oƫ& E~4vH,Jtx]M >n}(ltmfP0^ʈwϞ瘲'i4s^Qz:8$5qF(mԙvϔϬ!ݞGR `.Sk fXy͂)%,{esChff=;gRm "&n`5%reGLۺp6BӟXt6#+_Pt)v<'_'D߾Ag3 E]3V<$aY0QO]S`$ Z2lZosrP1~gM:lg_ }s1ѷhܾ L6?b`SIFvO6OԎW5ǵQWŭa_@P*ӏ R/,>*q,?0g$d"8{L(Ey{s̲C"/T*6եla +TB$-8GBf?믻[鴛;a _l4y'VoEx}hnLÆ&CR[ *FiyweDkd7[1 ^@/ QCz9:wQdaØٱbX+V E(P|[PSf}zZfWHM 2Xk7 4YOE/z¿_K޴z!% l%fY{s@k9Ҍ0KR#(re}YbPW4Ag s@-- f~NF}Pg 2uy{ZBW*/J6ow۵`wb4.CV/xel@<06 9bX HTv9 },'=fË?+zLSsn梨MЖPX& )NYmp̴idS$dXm)&Be0ޠ'%mw ADsv_<*W$֣9R;>0]a|1aA?KG\KA k~#DczԪgN^8]`> MF -lː U13F@;Tԧ؁寻8ix1Tpd6ז1Μ0E("JnKCF8+8BEP^Ę9fJP9T@m?S A\~8oCwO+CpF]A[z)\,k}7(ΥE.Pc5YE,^hA2Ep: Nm+fˀHr4=Ȯhf =owν C5= 4,#H'qϬHΝziΒ瘓wK3#] g'1\؅̵vISԟXpq)U5M!ɻK>$y~%hø#e#VFBw;D>47·c/gOD{Pm.Kb(2 ̛U C1(aO(u-:k)@]VnN51ȑvFBޘ͛Suduy@S1N@e~ W'm_8j1wWB|"uk"5вdi)O@8;yȿ|#bt}+wzo!K` M@`G7[vlh tek9MĚ;Q [4U?|jӘ/vF,;jÿV-i1h8=d /_G/Фxl-&NS@!hc+F6}w)p+!5 C n8X5Tv`T+[Tm1b}i^sz~|/gw2y4iсcKOX!=eH!& Q<>~]A=AVw'E(Oz8emSv-g3Z䪯A3^['$27qcW;iUQ:vgKsL X.,FNd!Iv1)`_WW$Z+OKp|3qw#3K.\|޽HxZʢ$f\v/Hl9& Qj0BI\>meEQk%ئORNN >TJ؜AMnϛe 4<45vp*a'X4CtELA`^T2aZ&.NW, ~+ݲmM >KҔ곿/Ɏ\Ԥ ;U<^hX>vz|6y2 O-MX\ AUe\M쮴ѯKޒ{D[[a |.&C4>::!Ծ$~(^]~$|48xO8vNuLƙ bKSFEE^z?5oP!J&[bN[I1n^ApP07[0XiG+asDS_U%>26mZDV̠s>3U2c?.BB*ZѠcy9MVfQyT^ n8VNi6=qds 8nE%[3wVxSm Kd%n~m"h1Ӽ |/7 \%-V1]t.Ǟ4s"H!:J0ҿ~ >oAet/DZRpd%] o0M$9rMMe/FZqh1#jIa\W2}VWˍߎabZqOGЦߚoK7g aX}!$?$}Z-; 58}fI5FnY_us(V`, ՄK1->DSo-D?Eժq_o6Ch4AJDcͅbmV367gl(Ӿԝ}WdnzMQ_b Ev)V`.6mqԝ[m2OקA% /t#5H.|Y&Q66PQ+ՍIIa [m!@EL(fj^4dpT&NVAXF.$_}%" H oTϤ?)K4h5,qB|+{o~V#<~e2F\ʛ/=ۜ]2&y*8I pڃCKƮfŦ E"v:m˕ΩsKgYsO7Ptc&5x{4W&^*B"68),vQpDvM|FYM`g_F&2ɢmv@7'}[`F۹?`oOҢWy%wfׄ (jn"a{ Cq˩#Q|r,",55C'{yb"VkXՑ_A'7 4f A.Gz ,2Sfm1=榆mbα(Sa*;;joqRv`̴q-De-bzS&L?o_1#iA%-̏4$_q}@|-o**DOrIUi-wuXs9Nsvl`PvOq˚Ixf L:9i)IO*i X  _4ƂrYI:rI@w#sv'*ꑾƍ-񉺦^&9 m=9z-1(HE&d,kx(>~ΈdͺӺwm8:p`熓)1_'tYh.SPzGu؍r>cQmXUKCs_^>ghh h T`E.Zm[]j#9yzYgp݅r! uu ulɞwӈ0Ҥe޶RgC^S`-[gB~RaVcQp]`oڵT%D+i`p&N[6 xPN?T8x|T1:FQB+eUV}iveR)ʾ(CӗrhBH^}ZM,^E|ʸ:2}kɁRoX eu,6wjϳw|f">~:~ջRC'(mul>zx%aAlm,E{V9u ,I3<}rĜ "I?hI(H柢.`~޺6(Sަ@_K 3{Lk)N}'nSRAeәW/z2 xЌi(eݙn1Gh/O{7p$\'GvK(ݖz0LՎ Z.L!cj(USk} B7igUSUX1,Cڊ2'f`+Fs\[e)3u)S ;){e 3 ic*xQN !G*1TyA놑=%RY綋|kP lZK{%oQۉ0~BfmåX"*c>^4٤29Q\"ELꔷ "TvNA)Ԥ^'9UK!!*dE p~r~KȈڍ W"DVPuU\<@.SAǵ$;2p&{+?kk{| sdf9 i=Cߛm69$NdN4b:12A%9G4,`h^fk?Y,Xo8d*B{>[EIz+lx -oJK/Ui%K)H{210W Y7wY\q}a"oowf[ ->ٟv` 8JPQH A^#ow@%J5h٤]CIҿqט_0yE2ӧM4 Bȕj!H]Ë&Ɠ\&~vuIeB @J y?ۘɻ fegCJHU@:5J~%OL+Eޯ65rm R[El%43$+`\1$-y-r;1ӓy)~=M~b_‚u6-.@!^,1~\,.S1 \z8VL3* : ;?U8xX>pg9ʶZT7X\iv9@-Y%DJ3фI{_!U4~BI~&VJb'j(.hjatV)Pδقwߌ'Gi(u]4n@!ٲU~pEUp3OUy"e`AHw* !zm]9bxõ+Cm-UVE8t}Jʄ~@Mm' = MH%u2E+3$)惶_'"&M&K[,XrZi1ۀH#YV tiB_1$hnAB0gy3Dd ꖟXR%i*Jhj)vHZ21&rhN3QK7C} Nd~ Nϑ|w6?' BF>".p<7+Ny]ηC#*"G5wVe7}L]AWSWڬm8M7v3E)wtrԇnX$G?t S~tV [pgnr1-cGDˮ`tv7h^ ?e-~1*SYq)SnpRDHuf;ؠO?B350P4?_Πx,P~5򬨁YE\Tԍݡl2ikԌ@0kql0s$0 x3Z-""vgr#Ⱥh@,bn>8ǵa E FE ;W.E`TI7٤m5C![Kk5QRz<`6O?ɑ2NL$Nhm 7TvݾGd DcEj,{Yh3g&6fR: aT[1r8U "Z %l}b_"#'Z/} 05S(- sp!c7orUeTQInZ?#HJR&rYA~8 Gzf5Cs,o &d;UR'jJn>ڬP_HohHЌK@D>犖7À:5,\;}x[ul=XnE" ǒlc),[U # ȷLVڿݞ k\m bLσWEi%+$5EV \|.'a)d1?Kav/GlFŸfM3 kfgf얪 4ľ_X=9z{rMÆ!O@ӠM5Z<޺4jAdv!訅R!̮;0qiIa1ۊnV~~cS//V(~QYz58[7}36v4l$kMb DT_Xhw ;mBi269,ӿS=ud>\jq1dpjc:eԾ `@Nm З6*[;|ahT]A5L2nujf8$Mn#VK,E4D6?x'PS,u2t/!U@In^1`P:e"K譏\Mxbݿꄘu+:4|e3$kE)a7j}8-=1]oW阋4{JqlS\/ ֚Jx{p9[o[a3]}6xM+b4g"Tk;[/x5A3NFƵ3'~:f#a{q4P='g ZY#)Njt\COѪj22rU|[-ՠ$Num?́1?-=$,k EBv6(f #!42C%!Kf//h]&gI L.\#Yw71&N&"ѷ̐to\O J)*ܰWu*ı_^TA)lKs%ˀFdZikL&Qㅲ6⇌e~{C}YWҬSd:q(*:tFB,2=Zē=2|j-h ^|g{fM9hkXZ٬R9z8X:k5D5dS,@EuY%(9RB]C*12]:?7{;`>H- 8],6ZRNe}V!t[a6OMZFS][R SHy z40j+ "ZզU2 ɴ&(S(=n,2RIM"ܩ|ӏZ0)(!=Y#09qj=Da^0w_+F2w:'Y[ (Vf;-" 9Kz"E\i>|g@8 /.HQCHy Wq3NfQPx;Y4NZytWOb5ȮC,rdCʑ9|h-c |-p prWX1Kv<Wo=]d|u롱OtnQh?{APW2Jfb6ݱjࢣىd">}5xa][>j`b;Zi涒j][k)`SۘV apZ ee' ꋏ:, ޴,%(hhGTbl\ʗy+FW}Y bx[&rQAeTݴ 4D8yG zp&sruDA c.Vo;;HlP3K"e1vgPd2jFŖ;j|@NWՙWm jwLuNGi_ " GT2NrYGIP1g6I 2ǴEMhf`q0߱_Aŧ|&(1ve9K};'*1\xfiuc\c ĭÿg~<yt]#gyY\@Ć~VO-j~4'sT̴pM%$#)]8-fDT4m:Sy|}$&d:;5\p#8J!|Te#B˃H8^3v&ɮ&Fn6|RjK٭dK k[ x+t`\ؙMqMaUAMtcAI^D LIHU8/g`*%X#H;>i*:)?*Bb^uu$q4#x ߋԥ]< A@v,J.M*"5JBSX0K`9M_K+ G=S%OMwNѧҭ^I+/HȲ0&R>Lqjןtz7tJ]kT4+oON}SAsQFnVGlA+h6D2dm^Mᐹ^o4BD}6Ҫ$bL6 ɑcWU'JkyZCp,ܶWѪ@`ds^ xhA:nTT>|Ň{/ yd"7f0'I\TRODYn=u&C/jʆ۪5k̒շ~-Zը|" AXM. W!5Z+o*,>_Kӻ$h.3E"#o(12 1Eud҂cɗpggE ;y:5lyPG'C1c z$8)J-'u1Pb}Tl'˶QT)+ظ jf.G7}۞@{Aqx+Uqy I)W֒`/)@ߊo)vYǦ/Qbql}^=o](Jbф^%?{|Wb3D~rG+Ձ,w&+MDS!i6|ർ tVG!ԔEB CV{ݒ׼СC6$< L%Kh5)w ,[YΈAs/`:Vvqc !ʾ/I5gTCf, r([z^?{~?ޗq;XŸ.W2U5hE\1M]3˕AM9f߀MJ!k W5c'BLT Rp?w 1.ڜ3 G#g}iǃvcь`1lZ`:Nl'L# f-I)u뎍eX'j(`Ӆ-x0g| cW?=7ؠ`3/~Y%*vW; m,v{3t^lҨU"YFXz}V/K" FN_WxkCk|OkkhLR}Rm('KhQB!vh,I/B2[ǒ{1~E،Wq֌aƒP_ï@Yu2}%V Qao pznC̊b#9撜t-cM%?Эf|Ib #ֱA\<ƠĒqAe轟3+?Bq-sy,wE\@OE}{@+ŦB6 "Y VŸuOoݙ~ٚWBzDGzz |*!)a1toĽ$r^_HX=u?NPq DN2GGQEyHQ9+q{B̀*qF`#Rƫt\C%vF )prTfJtf$b |€is_/[&V([E$@5oV~ƟФe]Z_ռwo3v¸zad_KgUF7AAE 2yCŰ%Mv#iM 4'U涹/{y jŸ_#pkzk/Sy>)acx]*+g/^OV*Gt>Оz wnFBv,S^_&Ռ Y<Mf?|Ky4=!XL/40xLӝbU #- (5F6 {g"lk)>\@MŰLڌ㮞ބ >qS\'ep3׳2>=$zk~?HZuB{6҉ng-;[~DKx˸v'~58#*ۉWC1r[˞ ?x6x{NWb {kF٩ʩ G>/AǮEԸT`a:fm%Nn Bjd'iO͐ @#uV "p:DxZ\dH1iLEef=%owLTP18g_*AXM>iUD^~Ae z2!swҐ9qcdOQ44$~x}{oٳr!H\P v.QHTApkP!+c*s<2G#zmH"!Wm,`Ul( '"G,jBA! .-Z%/h*?D 0Hme@fLƧj v8 FUQEKYRAt١8n]\!{}'+s&>?6{oS^ ǯj-\_j`r˅;˚="#|8㤓fh ]{5E@+>`o5@}ܶ lF[}z ><,49R"Dbw2Iv| dht>z-ԷOl9T]*`4y?iD3%?xG☳9ime$s8g0`(Q'ks`TsgeFRmo -tV^obwx Fk ,Tq=эg:jm2&O/;#ȊyEN߽:F sd%v,Gb]{d^K?O>xg`Yi@}=!߹%"d;aw-RDF (i8҄Xc/h>Dnw490 @vs|hq~PlAB3fx!zk?rց{t?;Q׺9>7}[S. !w r'c'&_j_&r;Zઉ~0'Q*xТc GԣXƐ܊SWZ/m-O#r oXӯ gn}Fs3BWu«0\@Sw_Dwh[ ăQ  JBT}b bMbem5~{&  :T~ALr'IWC `r1jbè<.6Ƈg;8K'#UkLVF1A~Ϡ.LJ3@p`S i@I\N8d]9 *!s$7F9l{Ґ4t4"|4X 7Hj$sJ$ϽJԫԧY}zO)e %JgOB8}TUUyg72GLRAr&V§[0|k^DA#z<$5ŚePJ"v*ƻ 8|R0dzҎG?Mv>B)=~usX=| eHuSM;tl3ۥ62 $˶E(m<d,.hGm4EHF@p9E4!y)iK>gy>qbu:>ZS3al "M~~&7T&t̰PR̼M#nzNgDΤ]4n9$>\MYڭ57.LdE$S zϔKA5GQFv$Bށ-PJy_v XpI}v)5(1#CUwSr#xD<3/PE/ @V~C\6?1E⎞N>{;r>Z.+ ՂcU}MZBƇ4cCpܭ(L#_V)Q;tabz称&$rt#4hPTFDh1 :8:$-?Ah7#C9R>2cNMe7FLbΦMDNg -w`_|)hk\K&쐼5^:cT9n"y+ zgGO.IS Eif|#;7ܜq2mlO@QrO{%V^X, _QnePO}]2Ҧ$`l8|誶}Ȗ?~7;r;hp`dfk ZDtĽ Lm6z)~w`!C68B'xQ`)5Y̳ Xؒ4D3BG\W2+;s$;p\ډ P2/lgaKQ/( ܪhVLB=ElO ! 'tN27Eow"*{M'e#FZj!,JI.X0hG0?ãyoŕ)ډjܲrzyw]ܥ{0 [p IqoG^~i9~|[j=! 5ԎuޥӁ4!hℇ+N7{.@;ɚW wh$5؜@nT<S>Ќh5JD:~ta(lUq@ƍP)̢.+2&T=mMM1ZZ yd0m2ٕ* Hѱ~OkPx+ ̿%N{3Op],7{`+|^ǁ}p{=9NQBEn9eV $`Ysn A}xeTc\E]KhpNG$r&UAG$d..Mŕ4&z _f[b2:>vrhCGl-kg uwX&?e la6ICoj%q,w$ wʟdtJE vmkN >;jc.FfUI [Ņޝx U On"5z#ޔ9riL ?{bnّdtubX~H@Hb}T\SgOV.DN'ւD*T )c[]@@yMZ1Ō#%rc~wNrI!$4MwrshGh]f.&ƍ4 ~$S;ޡ]0-fQ2Nh#/q@:wq0_Prn`a`.w]H ^&Y7r!Vʋ; v]۰dl 嬯Em2Jj=+DXY'kaв^ef%e9Z[ؕMq~O8WMV$VExl,`ӹգ35V%C^ÜnjϤ]X'WUX~ǍthŤ58'rM,(V]fh^$LPPB*v3":#&}kt5=Ec=Y!5{:U*\p,3&oaDİ!GrCB>S jzErŽ[{<ٹ we ݰDpWmrr؁{ĥ* zKwBΘ_;W2ה9A3qW9W-t=ܲ͢E0g|:twK)>dN#פ)Xc,?6j^=<Zuc0&[Ez~B+` g u}$#12C}r aV v 3t1"WSpӌG?|8@ ~}`X!0 t! As4h/Q+g@slM߳J w NcH,&([qBU<P fr߆GDNY0 lu:`"a7 #[i58_fñ 2`D#ɱ3+x体S{2Ztè(ic@e |Ě2J*@P[ PGI3P)*h,Lk<@_'Q 03W=[.SoD/Lb v_X5i E80{@WڨoBiF 1 >Y%6fi|)v 9B'ݍ/A͏8'M8XT" .E!/8>WxMCN-Q||0"a 5%CpnwfT%XvWz8v0 4;Nu1|zmm:dU^rtXr$קcrѶfGJM5]`,TdO  w!ԉ܃ }΋@>.~PfEIKl..Z㩮oUiwY8*J/ErM~-EJzDdt<۰q( l@U@03q[a:hU!!U({ y < iqE% u{ 12C/2a]\rYwNi2dMt8&<tw:YEU8M&(T8 9Pו3kM/>\ C幵Q(Ș@L.)F˂PKI[AUkOJ4ϒ𔧲 &ۓ)콑c2#X+ֿI+>+z{o/T-0("|+*/򡝞^ѿ#u/*ڬiZ ę|55\fx7? 됅@2v2`h_8g۠}4:I 60e2:Q!d3tp @њrT.yČ"anGhzkpRV#G2Iw0:}p*dAgZq{i^5^䊫 zr>TzsfCZ6o91!{} oK$͏e7´< ,7T kxSIe{9OFF .M)|@u'{Mg;bx#RH !s cチLMbrls4>5/GGnYјJX3* S;VVWį'>^]wV5{Aݼ}rWG.y_ 㨵#8pAν⽦EWlq9:t\x^iz8_H