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 !l4 ]]]HOL-Proofs:threads=2elapsed=907.601cpu=1600.516gc=191.976factor=1.767zXZִF! ͋]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\(n!." t\\`sxw;]UbE_]fW\vcՊ\ PǢD tiII|IHe> 9P!a[49ec&g)x>"n+ō Qt];0lYM'/b ?gDF!]LeWMe@_yBpWgV 'VWV앲aflHXA_V>ܐ-}S-% #x1XZ  ! HOL-Proofs,㽓]RC_C#EGc'W,qbG , %_-L/P t́UUˢm!sx{o:T!jGkμ0{'Cڛ%mԄh2 KaxтENj O+*AUBA"[}̖0Je`E%ģNpHpYDr:V=9 Ŷs<+7`S=R<tF4חVV6|hWf37JԤv^fW ;nXJR3D*TK;ERm[Tk1J \g)o"t}mosG:3AjRԗKڧO(&ըkOyA?D#{ƧTkFZ;7( FxR@*;0&5S ) L*) YRDh(ZCqߘXCoa~{\VU˹b!HuC 0A8}!Δ4c!L>ug_%(5JpqBF yx9OU6hHKaHœ *Qt{ q`,{e[IsU_Mk ,h+^A󊥋IP՟YE =WaAjI}C418@ݕORp2c^t=w9-߳MIx[p6Jy|]nvĞ3i2c DBa^+^[W@n9У.:L¾˿ -/-pCHHրF ׊FĒ7\Q`MXk $خ>& nh+ִYv-tU8R[[M:I֯0Ð8*`.BTmT7(6⏘jakyx -*&"@-vGάbB{Wϙ9D8.R>nQ7n!ӃrpP흺oӌXMG 6Cf^1%2QjF5PI-q0?⃆mYU;@7ܜp@M<=e j䟽a;2GGVYj8s=X<%[ҝXqo B螬?4 9\DD|d2GD[ 6+>8ΐW[S18%ߑddʷ,5*T)g 0G;/A?;$6=kdK'ߎ7Rh2@9ICFK+ f'^,<[SfV,{lX}dYPmzVwFpЊl^Q.ma N >()c>+5J0@/9-`w>3}}rX~%,,HfD{EÏ%,,z8oSxNJ&8UOŃh:~l$u( G4Uw\Lzs~d{߹t.XU0ǯk#Hks3~ d׷!foK( 'Ei42Bpb͐y/#?U gϔxH7\Ğ DTM f eq3|J%ݧ@q}[2٤g[Ͳ}T3IDqԂMl7}u|bg= M^QiY_Oi(uD'!1 mɩH:e],kt#҇`.} ;>36ui$i8=ZD}ҼA};NNp< 3dj)JioǴED /]0' c j^w[^wPV30_T?.[s"l#$<&Rđئ9H$Cê=9O58O"NXdݗ?qbY3# ;1΅sdv[eT;a.\h4;2T|ues9ŝj4bE1Htɾc:U.ӌ'K%N(r-LvT@e֭퓔AO4:|Z3Kh̖aiTdyȱ)JM1bPM}'W(5:9 7?%nDH1֐^^\؜S(mNr"xbnSVXyӊTv#,dCY^R(dUa @9tm]97ٺ~NM;$ SF=?;obhkJKY ig(c={5}e(=kL)5*U37`ocԝT]ip3Ar6a ״}o=0Ԓux[jVT(6$YC&A;K(;p+cndLݬNiL 8=ݵ0cHLSܔҷ{D>/䎟p>0Aqa&CFMe3za-ml*,wPl0C_uz#=z6<:Xq { !׬wVp Rb74}YµK?A!|XֽT]321}24Q.>R} 9QݸT(^ꎊeZKF)ZlSB,pYjGàj, >|Y7!Eᾞh#QiwQ74uka,F7v-Yj XeN^oji/a0 / 6F.ž׺cRUdp}Us=w[mF%)9irpE8ՙhއLr*=u<*`Di/K.eS2R2Ijff7bAɁs')B_!-\G8SRYj߳б4鹦*WKY"c|VmJa~V؃uh8W fזS?'˦Ʉ *ݕ5Hs*ZjT,.n;-ۈgYZ7zXZִF! N]ŗXiɟ29aoʼz[%U>EM!!Bf^R19lQa:ݠdN4/ʝg/Q[w6]C S#ph$RBRkzX ܧE&(4L' bUof&3%Ql1y^fRP){ 3uIuߘodzTa}jhYQ[s'#o&3\xR5Եuc =+U>g㶡1Fz52nh5A=ޱKrz\-!H7 -мS'x%0C͏*@ꅪ6t?Ɂ[B#Yj1/yՈ_.VkHH 5*jOé85!ڴ#bn<2RVXpL2]OZb$+Eڣ&I4܂JdqaBZz[kxK 11%zWЎjËgì,oq?׋販V0)Ud<=_MB$iI x/PWZv B5PD%|.k>= *kJ׊Gh͌& abnz~QKgtFy9=̫׮Z1~lvMf^KaB~(e#kԏ]Ye$_Б$NCL?9`g?hHM2׮Ao餌7e!ovq~CۣpL\~6HګՇw9|.qb(ew: g 1>.Ȱ0 j%leCQGG8IES17z?br1_\GjuKqԷiS;KCZLY$>6jDi΃kK|k)|\Hkm9xxqCS/j-w oCM-y5ʂ~/vm ȫ=pH+"ohIi R4& kQc&#۲Bc//:⡚ae)W6% R)?CE!q#x sDCl1&BpB\ ;Xs:R'ˇxO6"arNd}awv /$fF `?Qc\] 2gYZ7zXZִF! 6]ŗXi%9+h "+1)3jICMv5&R1!Gm½у"X2z;i z>3$woH9 >#1~_yW7T3wlj6&LCg[Ԟ߄ëOjs{2D?$:,A7=4._1ioO(~d*7 =%C'xh*,O|7zTNrJh>0o9?+zaGG Aj{@f].뚠2FdTPe7+>/9LJu]:Xװd\$d_ٰHU#4 0yտ&554&K"#>{9P >5L"c42MDz 1#KgVVjZfyr_nqڑ(a2aϋClvJYHr0&D1jǬ 0 ӹ^byS45Ys?2_\\tJ@`sw 0ějSFO% ;0~eSlTGNdhG@_yD Jt\]:U%*ϳ_s1MH;R(U'@E6~fY+_#sEtQD 1vzA@eU*EB@wgpsS0R^Sݘo=|`jo]ذ0^[[IIsT+@ lmau L\Uܭk|Y[0hmGh}&) %1z#(jֱ5BlM~VRZk 7PwCղŗd^Ci/;̝Z?ƼɃS">_Ƚ"u7'x3E<6{ O K)_(Vޭ9CÝmz8][ r6dYP1#CTxrKK/ѡ[a(؅#ҭkW8g^:gZ4I-pKޯaxe6IH#)y<f[,D'ˢ|-J\3_r/׉/ʦaأ(}90?, j6Z+B Cpy){VGO.SΣ3BK{*W;%Bx[@L(%(1"z3ԃtgxePѳUeL+ ix<"z)EY1y?7\U18*خHq9ku!,af5u0ϣCg4oG12IǏv?"}IHOSem?؍ll觺fǣi2 >zD„j1yoqɀxSWM|)<=5mo dW4%!6),1ަlNFe>lbj^䔨}uFUd,Eb'grLm>64 P3Ǵ>%晬HC6Ȯ5hO͎(fӓ,*cAq.DDiLԙ=j}:2`[s}u!~>x.]/Nh1.lTFi$"J1P^~1(^C>ɵń~ͽO>x{0'd&*ג` ;RHktyEIK}to0nɭݺd!:)!Hءq"s+ u&XOs(~JrQ] ^hR=MAhg9A;7u;M}ET]|3.R:N ,)f" >I HU+3m.Zn"dCޑ08|21^CX8޹pf.ru[`.'eݑ0.Ct_z64}vQ<)*?)%g& r*Es< T U֧ fзD'85qHMR)6n&O׍U&Ǭqp*"&妷h6C?,V^76>e-W*n|z6kW^(gH#?RSn0/hnSxCJ cH{&<8bh邜M8@}z˼!5ʏ]e2,SSG 6ac3 cD[VvZw3?}i A#X'֢D"Tk?? 7ඏyÖHGvWќ)F -_̴iKW>!\cN~7|ͺDy*=ksU](Vqi3~z t+@uf#yF]l1NX{1B1nNx"ߚ(m)}tO2.oP&OԎ"\  TkN9X&Id>4>D!/D% -qHw*,[XnBsFĻh^BQ8Txb LyA {0jXHFfZͯcYLdNaי [;b B]=;'7[D!㲾ipT Z4^o5yr\W=.?䅎q:4(G1JcpkU76~SG-҆@l_sW %h轻plOGcz7$HFoDnCNJ 2PPu PM:ԟ DHjWB"k \@ =KQu*dz(j"Vrsk 8W{pXki綜j!̄ORpgqQU dS]0Nb4."PV$=O{2X#젼?4}vSߚRsVЗ]?!SpU~$IWA5&@P]yJQiF3.&p٪SV(pstzFR܏_aNaue=S~16RI,@kbe4<%\YM:#,ƽnJJH^/gDL={*/* ,.'/鏌+?2kJ `C .U_2eJʻ~Mr"@zQ!{A^,6{&weQ  65YN7k+&Nٖ/ؚ;q%V;t."0@o gJVF, Q$-!pWnQHԓQΞ zlm'!& .N;)XE.PM ݭagF@Hhf>'W]>}fڷfbI?&j{HUӥgoPk6ڡ P{>{P"–}sCQ E:fa Zdk "a`!3M~i~""6R,8NMZ-3" 1/qjbnmȋu zCCn"nw]"g_K`( gy$&*c5R0e :S;D',WB<~(1d ß '?)[V3RZEl9BSXɮvzW)6a<#js-pؕ5UzuqY^r&F~7![NX3uPM: $y5'xJJdUǹIxL|Ik,4οc~m 68\|;֛=2?C9msŭHʏD+ZP3PA} ^ LފFuI7_*,u[QS.bkzcMNP.THzhJ7pF_):,gGAjeIJHS_+~N,D(v[6K_7 vc'-^@*maZ%mbIE/nFNCȘXݾ!g+ dD`c2R@R9PkvެMY-\eʪR139:MUrS$4- R'S<L;CW Ae0W r)Q7KN/ƭҰ^M3_}D^a)-oR5P@݇c׳<ڑ*=#nVܲ{ݿ4a]%vJ#< X^{xrE>c&TUU z{8O~GMMhL1Ľq`G<2q72;2-4&)*쏶b^L$ 1rIQA,hvJ*s5T^["m (`[:B۴\Qnw-ՠ_ C30}H/Դ+ZxBp%s< ,D>DG>Dm-2 KlPV?&Cm3-5{N Q)GfF"{_UCM }$JӀ>,"9V_{m&~9Y2ao`rgo!xNCNnm-bC5ۖ/@cT:Ju܎WO~X f& ,l:_Zau;πVVc~S}[4C Ë}g&d#'.qlm9B/ς_&qdW_ecN(l%Y,HevhTXURnH))eo!> sjZ]G$AC: !gj!K"!'_qx%ϏLq߆󐩸d~RUT}F\%C/mt$ 4 ? ?w@E3+Aaσxa.=Z ;|.?Nw YN)`lT(QѮEjTŪ 4h2ܙ;:?yOw#oevuGӝI8)y(-tF9FRʶS 5ߊ='FMLq_lҀײNx=@3MxKB}j%Ҏ.7%1vI[nrWW ͓.G^SްaՍn@B4}Mu@ E4^C|V1p*Z0#. 6BZ[eN%|`zEŞI\SqQgO=ta؛1~T|jt%[&\M\$`aͅ8\idϧ<➰٣DtgԆf?)[{X,͆xx]#\f! &bʏ |}_\dկthN0@ѻ[[&kG[[\}bjth(^ ! ; _}tDNPkn7:4b«1q52vɰRn*h/$? %IB$&9Ӄ vMgʉ#mJǥ vOf:J 1̃#h.~q;xV˥PXC-Z5:dl),Nbd1QgR*4mj~1s;}aM:m%+;r $"x c7q z(-{H|EAo[7 P-VDb˪vLG)B曜 _vr޸&'ʜ2ұ!prS黧 #se`,2όb/ǜvz@O"KɆB a1#8D, }- ltp쌔C(ɗ}T5Y ?f!8e!{JXw9r=^? 2\fOO_[#/qNGRk?m#edy6vBIQgTx-ݳѬ'X4~" lY<9# Gb9t3rpY5 2 v  jd|BƇg"n0IgP9%$!B{L ~>~`}uD5&1Oxێf{W>YحMw'_a]I̟92) IyRנZL4EhigeӼG?l@BM¶)xy<.!gPk) ^OAT VHu !C^5SY 6UWGBU"'>ԢӮ O+\*_ /DRԨ ^mkz8Lꊂ&r 0:썙] < V sI'RQk."X[ /7[G{Hg62zH&Me#x@#fޣj`/VNraߑ^3SnaH FuX?W Oz,^mo]h$|a!ʼnNMLXRlXNN)%1 ajHXU:RqKv Py^ "+@7̄ }%Ԧ'gu^e.Ng~v$)`F׳80GEFj#B\#s;W#HNdtG<seVQm[뜳Ѫ*x`UwK v B=%/vd<\TKȳ(w} GE]9>! $4Vf]Z>AeE2 > mrY"ѬGЦ@& #Qbl('0]KX\ Z6b0Z锠pRj"%ݡJ:j;c@'w_MN2E0%D^ޘ{x9)mңm+m],i$Zo*l!rrCt猕yyC.ß#. ^Y|#Rܲ ܮrA'jV40@FFy5Q+5""h \S%0PKIzh8jv\^4~" >_%.j%-3#/H:xpgVS ,<3ɩ`LnJNɘUnIvO`->\t1g)R 'LYLhl1X\ 1`}R7\I$_ʂ@y_2^ d8.c4^?[X^4g-s:: {`Gy4͂06f<u-Zh+> bßCb-bǖAUΜj‡g1$^`e7ـN@q\d[LPY_@vQ[*kT#Nf\?>iY.xANF#GIrŮ6y5M 1[T**>̩ q6jGqsɘrZ"1@g_ƶ L &xdejP Va_!ˆ_8e+ sS 4(1h `!C72%!1 {yWc{v~g``0Ɣ]Uԁa>ֽdQHTG3D9tV`ӬD\U2nQn0k!jO Jg%1H&=P5Ef1B&>cMeYx<(Htٿ,T 蒛?6>Gb=Y7gMH۠m泲l|b %UBA:fD_1NL޸1a=L&4;ZXA`pY^GInҽgNH`CX! q٭:MS!"c u U&QuKBPuFE>e2:݀$mMj<1M}g>LIy"" uqfӇ︟Ѹ+* ٧e{ yjyZ7dIԣ3 3f@3 V9 ؑp!* 7j7xi9x\ R Vա'g(oNH"OmIgԑǘu#-B!)_UUXt6̫,,0nLtm?.XQA$CU6F]Ð7s*ty%zՆqPS2^R޶8 %rt,[W. }xX:$HzWɁ;UAۘaC+@G SYퟀ(y6`k>OL_;oY$Yɕy#F^w=/B= i+h -严 #!O_ _H+XYp2Dn (}IކH(P2;4'cM%P#O@ ė1gX+*4YoݬZUaO+$`lZ͔Lc%כI Z91Gi7x2HD>mM` O0fXR.VL©%tD=:F`}?T;eT4^r@L1:YH[r5nK(4. } Ajc"a>d{G/#-`3nܹo+?. JL01+;zA-PF>s`%dE ;tP_ZcqG-]]-6yoL/oRd(y*s1&"fm)/7x>}y\!cI+Frʤ'۩"1s˹#mI0ZF"+{1 Jr)(="HxkD-OG 6 Ob.ϐ=kvtz>b^9.V2~Jx|= <߽xE ȃ y,¬K,UY@ZM=@>EPpXQLiӠ[R]c8zhБ}V{oA~xd76SaP) GTOwHzU?tv >WY\ٽ3=Q[BHIlY#fnx)/OV4N")h.ކI""nB6&k`Ia#|.΃?(kCF1ar&U*\f RJژo1O.eB (ɐR/l< FlтC] To>p_k,rp }enI>AH:(2)H j|yX>'fiZ%y7`^"h$/iQ/N({a{V"zmtHٗהXFidˉ>-(# j}0Mk0KGթΓQY\e&fq/l0" JπĬ[1BܩoQ(2y'g?djML'#)c=ɥle%p#n1 <o3bZNAsh/-|}i+X@^$RI5z Čx2/1@./N/Ԡ_)c/-#r;e2 nGx2oZ~˂gPH)T2tzs D!*c{&a&X 1z7D\i+>{ovo-x^w\^aH5ݖQ&7,7&bys;8l:! ݈da  b/woȤ²߀smHx|rIFE2;bA=<,r0oFZ]I^X ⒈wתtVT0d(כޖAIcN K>v/U1l?˔x (TSGlmV+g#o/%6R//T2{q-R^ľa!p4ۣv@|&; g:\A ]I(/^M](WPaiK"EcP iVc%ʾ߉,V|ԸKĕbv[TI+X^y]L"Mqo,dNLEXH\SU9SeBo3vl9iqlSKc#_*%^; ntGڄM\'`k"O τyyu*F3 nW)<j_r@\עDGAsˊ:瞆8T.ײ%OgWWXFrӯ謁J1Sf=[RVՇOů* ^'g\93L]KKs?9+${hɓacYF)@*԰IWIZ!g3dv㽆_3BQߟV{MG2<ݴ $qҿa|[9PmQȃ@R?nHg+PG;kNqDd}+9`;Q??P5 d ۓK{eq a n,ڴ>.\|'9ƊPL_M7nb^q5IvqYt亙hW,[}7hX_qC@o@I'4TŸX7WWȢHNRucD!ly/RwPxa(53 A,z'uǎ+X^ axXjQGBϙGXc‡cOƬ dUh%HFZjQZ#9c7o`hQM*n$3&J[ɃB멏fEn~<*%<"?/jn<%\ AY?(K.үK҂(5} 哃4&x[6ф".e/O `G;ZSXgWo19HR vDN[3IӉ }`xN`DJqeIO4jq/5." ǜ`4&h8 7j19KT6U9cvfu]׋"Z_5m|ޗ(4wTv3|ljĘ)J^DlX}E(}yA6sz}Z& \Q9O@Lrk( bdx_L+5 q3au<K卩') c|?=)LdGĂ3YhSPJy}Nn'dӥj{ ;t>ml"p$k|-n#cgJKlClvMMoEfc)D,#NG*55kQ-J G#髢ldϕ2RC/0p3]@x`{DFW!^8ùM&+A4Bxpiʏ@!AY&COUCeDLv B[Y9Lqg7~8+:VK kCoQ1eVJ< V@ȧuuwk6W mckp3 a2_a\~U^hb9l/FRR^]aξq1OSMePu~ V[nl?-Uvi[p,wH{/(Kp_4\  T{VԥsdcqaU-ˍ+RgǐG-+IWҚ)dCnq Jx(YMHOJXG;U=/K+B"զyUmv3˚$ut뀘[06>siau% %MRy6˪)NIRj.yhO|iXܬ ٤7i":xd  Ӝb#6w:|E]R艂WH;a3z_f dqw.9Do3./ԞQJk߷ ]s QoNz0J[okNNi9V~R$XcT9f:Mn^I=7è3eZwCh LP Ǥ2 HQ6٦"DKNw,ٲ=n\y)HN!X ǹY?!~Ιg#d0t &LnIl="`9+;WGe8%N`&?$oHWusɽYh99d Fn'bH<:pԇ{.9{eC7Cmg`DNkG0ٖpbœ0E]FQGjqNzv䖩 CŦhcFkg껴~3NAQG͕$ HY "PqA"Fp7;2*H XauGkFzS2(!I1ǏG[:((jmW# a],/I$ja2lB!4}ʣ,nU"y\yb!A]"^C$PV!sPc*mPRoBGb3Y f֚F+֫(C&bmѷ*E5}N^ba"UB]?$Fg,8Y` ֛=M +;Q*84`CPpp`vmmI[w Z<-*MJ?2Utz[4גF4#-7O>.S̠28)6ͣY0x|\(p{z\ޓm۴!B$0b\w:&eRmv+)Odg6()[ğVn EZN&v1:_\ӳ"Z`=~!E(rq?)9Zq8 !80HNܥu}8| &>ڢޟᯑQHʹb cӶY?iZn` CaL? vg3Gbs#o=UB?EvY-/Ʋe9]ٳbE|Q2%N|7@doN*bށ/ST"}8c(E ufMQ:rBa$x 1f_I4*ʿ2 ȍY++5v:Yh"Ί`M$d:*"I$^~>4?K$)uGf(:?~ D؟28%5=(8p\`Kc'Sns[?@5 ,'XΕ8Q.aAջLveBMM V<|zcR%`Xq>Y%N0aYLi}DwYqQ_8~#2  VGY ;O}<]HhW_3*vvVP9jJŏ>K z6 4\OՑHdi|e7\=Ι,l}5pmw:nn;I#&48%G.O\cO6?eg#"V8eKs^#M48@&t^rU/ˉ[4|7@uclkF{^%DDV , BjMSd 肹]*OTvݤH.kVSZ]~4Љ%'(<Ć\)Oȸ^e ZZJ.h&pq T[q tt{+#ri Z?yRʳ6Tg8&a&Y! oY|Mi)zâDF\vcEݱ3tRzYH޶m '`he;ƥ3H)!Rx/ ܹ0lx]>&:-·F-slHFg MO]INr@1Eba|9Gm] ~ K!/]T{DLSPdy2H]3}!ʽoҖm=N$K}5PɕX @lzv27Mĩ[Ko{HOtO;'tq<m,<8 rZ]\6w\l+|/G|<5vyCEmA5#5Kr:|-$H=sNk3qUPY\lOnz$+7Q's5Cu[myC7ntAYlZRmj{4"I1#>O  ;-X91<.؋TO~Vw/;Z4\{Rw51e&)>ac[guPX>"nVt!Ytۏ%JJ[NwAxSiMI=:8Ӽx?~"(;zJD:ɋe!#s~" #zJUO1 "d׉> lr'6NڧQ}SE)7ߴHr0uԶd~;]3yKJq.x>5ܵQ4꨻}(EΫ$AJK2 ,8YL);GM)۟TOyL5P{enyꭳ^Y@9<*z"K?QWl#H`M .צLwN5ʖ J!_Y7GnĿoo/[Na P]H5=hjWStC4ykCHo^:?x6,pkwCˣ$N-)zs:__DJή1>U@Ym: R_$mq፛oii&|(,PTi`ެ<^oځ:*Lkku/@MOcILS%]:q lk-)'j˨ vF)P)z j< |1 )乧2X0a]_E\ #XVY9Z.DVks~Be%RxgF;^Ak^>/REG\boE^fѓ1,P!^aǍŀ f@T&QZy8 {K%HSc Bb;i/y[mB39d? 5Er *K K`p6jl&S믷1㞖,]ka{ \hʔoAྒྷYw0$qyOL*}I ?a Ʈz`2~%fp mKEo(Pk4-ظC܉GmUA(zz;^C RGOvП`uۉu,G0TKEF-K䥔C4 Tߋ"V5|v㧭~pxRc"pzqCs|{+M/)˵ZƓ֖4aǐ'73rb$D,wb;w W&w:&ޤ~{'ﷳ6VnxbOQ%jeXS-6t H#p1U'Ҧ=#9^v  h:"کnn#3@+̏q4cZۛ[.0q֢@?8r.OZCQ< K0IIA%[Oyg3qW]xc@q&lqXd<>!bAjX #R3AmM\叄:2CJ?2m:IS([2[0Dޯ-4VX NbF laҷ7#Kes,D/`g{Źpo5=%vC3xv[Z."X!Ҁ0 ٜOlgԓi9 >x R 3wkpl^@(C ;bсɃ|o%P{SxJCajwQC <04)cLu{uѿDzUVoZDž}ISUZ Ǐa @r+kx\S X+OחA $1Zpr7ވՊ !BRU@_PQ.+UDR<'Kߺ k(+byOL Kvb+𾱩ûB6kvR5(*ۗ;{ҜyiHͥLa1v5)2x]와O.B Qc>4`$ӁK}OM50|8i4c`t]kWn hO)G<-IVfW@VAc04[lłRrLF )n70devP `l}b'{W-ttr)$'c\%k_/!K&?3oO>m?ly;}}~)'; o֜a9Tv  Iq_'Ζ)hH"%4(0#w%e/X胧4;)SQK6A{NRŵ+ m̖ gr>H\Z;<. - ܾY6Q@RsJiZ#2{ 8WX9ǦEpPPb4=e9rjed-;8#=_$ V W_>Re-I6!jJl҂: BjpM<)!wp IW&7SzJiAi8ɞi$ c$)Mk4i+o!" Wľr0_{Pg dW=1\tW;狰`G@!R9ֺ>52$e߷i!A9GgT] mcB"iXfKxA{цH4(ZH 8Pv ;@X~خ,}fn/}*1W.GRxG_|9I;qѻOCЩay|+츦̰ԑ&V8SI(1|d=c63ClhLG^W›,UΆ_tnXj05Bu'ׁ歹0;k }\iTn9BD}z&?=hNiOj+[#f¢1K/A9wqrS aP8~ѓڒ9j'hJ&$I7Gԃ~ Yh5ۊj>.cso,Ϡ-4R;h-' גibZI^ ˡ7RU ۸$tNa) 40$0/h4OG|ެF B&hͯ5 ԊpvFDܑ0Ku7AFźzP iG9ٶC\Bj/}. ) }n3TCvAlEI=дI(w31,h"{pnK0?cc)r k򮯑)8{uހkKO ZwtHQ;'ŠK[@/V0%Ͼ@al;j0žP"G+0ٗS/׾ w-d7|5'uѡqi}[(yO7uN8,-6PȈS&!j*⦈ 3bJEҿ ? d?fӦvRA5Jv;mC{{ yCVkUp–uozo%ܺ` :CꮫX@`8 I0:EoR+Q~\+c49R禒:@ZPxkwT|>XOD GmOM~3M=?dCs!$ju^](u /4L)\Ha)r!w)GכX_mm~PҠ F-,she]_JcWI9O`Wp*F( {}Z^'.y:g'<>%&c&H-}Z(T&䌷4 IR@4=KM>.HRI4)",j|0l-f]n'Pg> v+[hO߈Z]y|PK_=e$%E;LP\ZiTi{Fkaድjo&)^Q81",0m otH5}.^ ]kEKсeƇ3*Ӌ\? ᝦcɵ7ynBl88tY,ܹ _{YF*dڳ&4SJD벍_zkT;H7; Zj8d /n'HɖCsװIYݷX*V*W? .;w֠և;ܦj 94UYSct!3%!\HΆ|~/$zpMp܃9N)(3Vh qnd RO(_xXKͻdi;Utp ~{ Q"ePf!P9 +qbA\'Ҭ'P@C.a]BZ͉yڬ1f;i)qvH^Fp2U$ -2v?b3[Ŝ)Vn" |HnN)I탦i(ݦ{vn5#rÐ-.Qˮ% AXJDfц)#,^DhA = ;p`uÑv{ssL7VÑ$Qq$.Q@56_\m1 O p99~^\"1rKXh\i5NוLE^#ڙMmҧ"ﲭV9uv!E2[*h"}LϬ6iڨfodpzq$DeK|@="zQ|uA(dӒ/&?lz}d  [5\w.<ܾ6u;_LF2 U9cv^e]Pd<V=ע4n@fK StmP!#6dbd ([4~e8`@ąeim׳9@ 9A\U] k^jNugλrJ>(&冪'V$:g׌ 9ôL58 › p h;4AKbf~+lr$p/abgrr|eja>oK1YF_.7/0$L'n ¹K/Ó Ig˃һarig? +)JM s?0W&* ?b0KV(sCxxApzK"+T !}9Y6U RrkOCkx]r @[KfDs;2؇o_y΂(AE1lO "0P=6OfuC8>p 0|4pbOz C4廙C}&3E~&nW|e @xވ`ȃdlw-JʓϕR~ kOB`x(Esz܏ *zh YvʑPȝ|MXDWaԑ2 3ʓƍpn>A3 xFуgmH/ 5ha Ew)흙;'` ;+[GϑT7Y\)F# <̼txG8=M)tB,ɞM*[PB]a0@Ѕbruɟ_t0%ݍx2QV@FL09iXj>[U98'ʁ1{m˯b%mR7^Ib2@,t`w>'հijL}D똁W8)_!>BMdv7 /6SwZ F)ЩV[.[-{Uf4|!UȘWfUV CSe!kܘ5UB~px)Stq=r0X=sي:n)Pp`q^BP\gS o5K3Kgξz Ʇ qZ!Wda8XXv_OVVzb4WA6K~':&yR 85L慝tmuBNd(=C۫4R\rvqc(9ˁ]y%؉IZ_/[;A}5&dלS67| /Y`k3df8M**i1=Cߑh=n%Wy^h\Mъʙ y%L$T\U[|hnJRJWrBi81^IOZ#a7'h3ulݡ UPhL2#L&`!3w^w{$#]4;w7=kP"|ݴ̲k?{,;|!8"B, @^lT<$~E凕ל^L= `tEy6 ~8vԿ%d`Ak`67> OjM,8XKNɅ`q.st"0Twzfg./b|QKf S- :j{;]lTt9 ͪg$mҸZ)W̓a \a%k0MW\/,qE}wT1lOCw SŮ pfo Ҍd-UK f6<0~ĈÇ'`a$y)Gِe0۟PUT=T/EU~IoI ,K'+AUNϖ^%ul ox}Y?,n1T99Cv]e3!g.r F1{QֆU>D &.q`˛ǖV󐐸As8/SSq?]WS?,qs3pp[ \r yy$܃WFP&]ǯLH xgߎZϨ,AΨQs}u_Ez"cڒ}]+av}:Jja},5ޗB5ד7H5f>l/|En!-SըL&."/4Vz% Yњ@O)AlO=ZՊwk lЌ4z\M^xִ \v aʢ)}O5"91-lǬܠc%-GVTK~8hcmo'Ow]n I۸h3g3O$< Ҏz[\7e`9>?Y8Ӿw[2MoJs͔C+ڱ]J p>3,wVJki'S9U{ wGTqf G3 DH"R QOw )f|BY* |V?drycgv10(>@55pp =wIY^$1)эr|]w^:~6-Txl;NNUs24goxB5߬ r<) D Ujh@}{ 6EZR+F""  FRŔkz_yg0Rq &fJ98"k?k4cZ >hL*A]^:sy40_{s[1>6pȋe[UBpF#1䒊 WO+aR)8JbY708j?{>҅sggPNPl +?qU+)G'ĂX.㶴\3nvB==1&t[SJѭ7zBxK*l]H) ^mHqbQ -8L~1GtoUĘ м >^(Paz܆ ȢaZ4QGh%Qlz`Z6O{i^"N؞[s0VBziX(?d_"{kbjZZUrFڒSߌ0ffPReoLC9?kLU"c@R)׮T$~tIk u1mFy7i\"! ȇ@ :kjesd\?*|7.eTZkB+ߥܾOQ톝+5 V(ù[3T壈܏ϖ>'7'|SX9?suŢ-;߿x^Zc˜˻zݥeQa%C6+D4ŋ͜=Nz_cti.ȇo  wG^m Y"o6WZ>òΥ#TԶ_o`Aj1ۂZ"00 y^nw;slk@؞5`;vjȵAv r;VȠ]( D}B%e[6\g NF STEf4uLZT`JM,ֳh/}rզNJrD{`?m{;&S7le${.Hۜnˆ@})ezۧ 6B L{wy@ Ӻ˾rxV0f6]n0X"I*fdƴOnSjVCW@wʏcRFG㐜@c|q G̖M S6S+QAz|IU6*Gh^>y5AZ7vyuVBSPVECIȦ9?XNdl}D s/FYjas庋eڗuw o#Oc0Nid\Pv )LqdO,~ &R~)Ѫj1Mv!tf,)V&`Ύ zb 3HVVi 6U1)#\TxjGa,(*87 8 Íh@4]Q7lK?){AjUK 7}/ĝUm\׋Z f’4?pyQTZsoh2UcVN[LV j*]&>"`$l0YYd[nyDь;/  tW_dYx^e??aɺ/Ɣ|Væ,d*$3k #8VMٔE#q,ߎ讜?=Y/7Ț7!jUoÚ4>#ZM^.BkE4$D^{̄+%\%5x#X׬b8UCx/\LKw`oݥ|UWSV0빛L6CU׼۩^'|9?,w־ Aq :H' ԝ|ʵ?ejݵ/#FGB 04 !k3:fzϰyECVl3oƚ'h5c9|e/;_})d>VŊ h̯CbCXI:3/6H硧<>,\FF?~uj,҂lD C/NwQe[(]5)b `$ƪ'-ƪl4l#<1I B#ytcakd\Jz>|P}\a3y` UO~C*@Fq Pw:NcX7U.)!d+IU/IBUR5ġ4l^4_Q&f@ xC)_C Wrsi]Itdq5b=pR%D]Ac2 O.] >Z//0ֱ\P6 !G!n%Mby&r2IM:ljDa :Gӱ#vi:EhAvڂ%X X6:۳0JF| %z%/ɢoElN`nn& Ep[-dwfc @%$hGSK27|Adv}l3N\Ov ?װ&}b l8Flmb*ЇA)1eYrq 4)$*u 9 QFs8]-3(WyJpInDX7S7*"] wb'Tp[D `2gv1uY^|\~k̋ ^&aZbuǚ lyÞZwUR l-چ- %6F:< O'>踸>݅巒(frgmaeWʧ'#>W"?quۇn0:X<#7qYbe1*>AIfK"[kq8墪8]Cr Gtb7 Mc!43Oz&D 2Ʒ$PITlʜ Ҟv z(bx}~C čSF$wFc!\}kp&iuVL?hn&O| ݃Yqpً`.o aHָ`{Vz`0g|ߕ-!ej!ĄflC Yi O{i,OJ[D\OPðy7wPTb@]@Y/J1L-YIY5Fd*8P$WG ?3ajN?U),i#Zs[F6TmP˨.rn&iE˟=!*i(?BIZy]a%T{TGpe*S.]m3.)0ή)G*m;!0fC.AgBK]{"Yg)OLwksQ\JK>۷a _ 74[oz- t}McZ MX!4Y-C>ԭ:"1.25SCjyWBQ-YEkq3\s$btڳL1Lv]JǞ?*=CϏvCZ: 8=opzΏsm; o[UwOPUrGe3PٛDޞHָflMcA Õ$Л)h %F,X{MwƥZ;uъ¿:bGwq0[kLiX\?J\DOC:9~@1F,M Fɧ>vWh$<(^H[#Z[nw"I8oUy0*g׾$n(s[D_5THRa>.RK>{-׾ l^3$AlS1z"CX:Ex OHi4X.S"F- p8+gc׮HT2ܗVmf_1wl|Ez߹ry+GŃTǑ&eD99ҡ_| ,|8xvALۢ7G>,%30`L¾[=5F! 4m 64A})ćRL֞<{(kfmpKQ*tR beI1iH D")7?Μ|ҏmgGf3y1')´2Uu@N|!"ZT02 }ߨ610B3<PtmKMْ[XOʥbjXJwXv%Wׇc~G@pXungn_8a@-N5<_-/1D'p;E0u_o FG'*MX2B@3x%'F#QvmՍo{S 5_jgv_OZ-p8.w%PuhVTt` Ɋ} { O#u4_-PAg)IiT uWT_6S^O 7,0\Kb'*<>YiPyH9䙻Is'ַփiWO4#8&7טgmp2 x&ޥ[/+eYc}JA}PuMV~倠>h9"Cd-TgGB> [^@b@?'S%ڳ uy7>5ѕz7OC 5ځ5TwZ/HUW_Go[IF@fB`Ͻޱ/-o-@ S GoN >~4[d%:Y};QCJ3ǎWzn(` Ivk5ݰ%9 u/ 磰 Y4BDjNq[yTԫ1&3 dikq`>'=#T ANΧ|t;F4Wnjzj 8/~*M:m8E\^ƥI 91k$w첾w ߯8 :EЕGӜ"e(ofF/ Zo_VdxViS;`2K0J3e d3 UKCYICO]J{ T;GИKS~h|MtkU+w@SAOQTP8%BV ^\9Zt>?L:YP/"8O)W/LmybHTŋMV?cH6 F%߭ ;~;aM/@DV`l? M|y>nfUU\۳1JM&Zx8yG.Z13K{Nوoluј'Z/ʰ5 O4ia_Thԗ{盻H$Tvo5U)̂7k*v} y?/@mA^JnϿUmL_4O_$ke2p]QN$)')[R U& _X썱-. I (Z n 3ђ-ثQ^!d gո[Pߋ` Ues\A(5UTE%ڋCadkO=s|GrVLUww6'Cjczy&@|/+4H?T+:B;M QJ0#qe&HR89Dw<[YQY26[SGIuZ0J lgE-i _4Ԓ0e5:x LkTu~e))ă kÊdЄp;ϓ.ή0Hy[xE*_DÞ:rɅ?έk(sh YˀdOLWP4t5$Pf[TdM܆F6Shd[ġie1]m|c\SX & lM#9zŗj}zp\g P.J<KW clޭ-4[5-rpGlZb-b`wfBZM C)xomv e+z47Ed`_"Ǎ]8h k-EiǺJK?I q!-l0 ] m,K9DA#} AYE\Zީ_80򶓉(j@%Out,%e*  Y_o4k7o iׯ+CxX|rˎVUߎT~C7Ci+©=40Ujc͚:1?O2.;oJKȄ,H9Ödj-JPU&Tk^رhokD_s qǟ +D bᔽxI SbM3l[UCC3]3B+1Zy֌E9|5jw'` LC[llD'*m޲j6t<J7(:sbXI/ qv eph얍e`TF!3Kn0AOGZ`mE0#h~?,]‰+ iz74?qH(S5)*|XF y2#a2wθTʒR6:dBN8o)"%OƗdaȯIs 4|ԑUwonN^G-e<ˀ ys&LDY.!' 16G4YokEx d-ÍC.e&8V軞Վ^cW5Z+?5UV}S$;}ao"RjP(s7|vdY Q)c܆r`.r dHTv ui{D$TSE]HQݹOwg+p''8nbW|tb.$y}$|Q 劫nrhkhr}:AH.fVn 93>0,aT̤s bT+&~م@P":(nӣCѲPd.,Ø"ҪnC o >{i#Kו Z|*o){I Lpؽ%hz4w[*,ZlPbX0?ht!@P=J ѿ t6ܑJi}Q >00x cv~耫>Ux Kr:gXD_]P:ᖱs3Aw(,p(ezG|aݺH@ω-zc +9}[]D7|F[@7,]@=5#oS9V˻X'&KLrKJ~˩mX|'O-p|#;?׹G4g?XٔKYi\(.}FE1Q*m` dC+kX,UMܔ+ 4)!5Fٯ[`a"paA7^v_G3G|*>zcX2YE-i5n8>zz? U7NB:pEuDZ6@Mʉ؂J^?F@1s`թ Or:A|+Yf6L($h( ~oPr93@Hz,74笩ؖ0㓁fOwPNݼ趄J[zo4 rj&>?HNV+^'X}~( pJxze