SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  P5, ; HOL-Nominal-Examples:threads=6elapsed=361.135cpu=1357.032gc=118.612factor=3.767zXZִF! z]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&icuy7{!f+f Qm7.!>ty$I CgeQ3 o,2:\֕(%!*zXDz%Ք#y+5 FW=l4ъkռ,6p_8',[с6.0d%<$*%`U`wq-\a+U; /Z)7XG=Ți ;׺AV}clR^#DHq}E<ie>,_t.,r6Sym.YI[Jρk]U4_ΉlfY`$[Tھ*'R# LBzuWv]"Gt/Y>ry@ӂ*T]+Ǧ @&=;๡׈K՘hl_q>$]mܰAMNLgs[l Z 诸pHb㕅fBpjAHx;P1`k_/m=0S#GFg՘G#v'#G[]ꄺ~Q0 \Pa'?5p`*:|reW]#EsO DہaQ۱h;߮=nP(bP[_,LNMMvGq2 ~ޗDʹ}GAhh] ^.*}]Y?GBpodF 'CgZs1AN491?A#hxZXrmY70&EU~Dp[t]t5f]Κ/U}&#v۰y5}+>V>[+OHg_\c,D/$7*nLQ;dιOvo00cZnot|m;Иexnudb =)2{ ޥ(J6mUXM97[ *PrMrN:dc;V@rq0z|EAh R;Jۗ_z **t6lO 6EdߝS?q ةRKF)ON~hv}^G<tQ_hάg8Dq/Er*$WDviAp)gys9%YQ^BRd*-{d4&DZK_ح&c)]/7'aV &`~2Nم $q#D=/(6W/>?XiFzt34 ,CDHE#&]Sq1Gw'~>CW 绿E2k;nFR3R*Q.@w?H8lGT>2MBqoɹҲNq@]#E wiNYu Gov,O#-E鸮V1_\$sQPz`!ec;54&D} cƓ[#wCs\u<= ?ΩG?s}TwGu4 RNڈ8ת ,^E C8'-2D8Vf{nt[u Ƥ ]lc뜕_JjK2_ُ䶤su|( vV(B震|rKQ*kbt"ƞnf^  ?Mjƴ ц,9ƉMZRwcydeaIC?#1>-d~3`Œ.~֜ a'tJ>545 {"lr^W"~dgHWAkA +XcxJ1 < Q5י|J ?}q- uXq?̌ Df6&iҴau -?=uRv61 2hdr-GYև+2U'Ό|wY4 oR.֑ŧFnp,\k[$<ងh -Q( w9HU`&gE qB9>c=Y9~gR45YIl)Ҡ DqItBQgNEO"7iR %իܿ_"wÖ4C@r&nbN -LGN}6]eUntc p䮕X|DƄHźFW506w8-^~m8*J:U0$.q꠯y.Ɔ]B~b\>=r%t [ý 4wims:ߴZ-tڷ'WG[ㆂ j'mTX$Ό*~*!%-jȃ2Sg;MLaP`S*xi%*8 [7#^i~!V=7 \RǢ# ^x)8_}No@ Z,.'ĵM̜QV(1-ZJ ~> x~X#YE T(qNlC&Qqon돨ҡ'Y5"PKzڢ+}q[Pow/O?4H 9Wo"_Eb\Rehr1 k HE[2m6Rp: cy8ɲlf!e-}. -fֶŒz:Ձ4)D솠e}pDŸ́ 6b~%1wލpݫ8Wm[= 71ju=oQjO.a QKtp =/_ ܖl Cz8YH} їkf_A,n+u)M|&6l,RK#ae='IRp1;Crc˿; 6P+ce 7+V\2 ]?j&ENeM6_nHW4 a[x|N9#O5>=E)MǮ~a gѫw_SRܦhw {6K(D8XR#@S;5ȩ}uж6, EzmL*yNS_PPƮ^cA*Ͽ`rCJ9$6P)~y X@UO7`0ŹT0{G2= M\+Txh}qޙ0=}4դ0ۦ>胁=־[ϟa(G`TRx`juG>>qaVuT](8&JUu_uCnyZc5aysD^AmREV&ftIf &Qg@i`Ser\ȆFm(?襍 ^Gn䴡jIGTqtjge6 EɎ nMܟ*Hq|Q :i$k:ًG=(iPt +5C:0$ n5k_M GbX C|q]hLX9]J/'.ݲ0\i߭S&pɜ;ށڝ9nn~xaՈD%y<<"T rD TްFTӚZJok=Q5GU\ lA9= eswNSDCYJ7pu;g-~d_:*lúBEؠ)MXZ=L%Lh.|^!Kx͞:Un `u=6) ԗ: SkVv-d: _[K+Ud90rWc,tTn_KXobƃφ*r,hM&Ɩ\\};VY$\ͻgQ c*,aG4Mp , 5-2P^_Eޫ,7y%Nnm:AW'"q6.vcHef b6maK-J?8YJsUcۺ-U[vm4U-q[>DQEg- i8 i('K= "mӭ>x AֆN<Lw+bh5xUڜ)٤Eڇs?]M66Wl?zblP4$-4G;̐p?'QD*"~~Z&>O7} Jf ,uXeRb$A:|cdn]w `J)lVo䃝i;z~&> ,MiS9*d;8[%p[vz\.\0- G_V*T瑨. \bX+j U%+~9K:e?qBH_%OzёCÎFHttne*{!Q-EP~ E7uܱ#c 0D_bk57Ǘ ćI;+U 3<2-'Kyrqy Ad^eZ 9.@6;.Rs莰a1a賝J5\"eOkXM%s($+Gʫ^wCCre驧JG!^۶K$oorʯeΒM}08g]݆y٢`p"ru )f:.ӿؠz/ JfԷx;\=]$c)t7zN7{醹SRdUt ܙfg; 8zx~Ӏİfvbڃ %FDXd f6Crv4ޮʄ6 JFAV DBZ (2՜I:?CV*lYݟwN櫠uIA݇J".blv糶|Bt$@LlSmf'e!`$ޣLUoj99A 2ue<;g:. ~#q Mu@#BY\Ӧ,sB⧓b+ \7x3?'@6 %R@ax/.n\(?wZVG3 Qh>;}|^idJG>=wxOsXvg !fPr֢ pt6^TE_]}R{43K}}s g-k)= aԅXgH[7PAvޗr8HZ*4)Vk"7cx?h3Z‡UNg9HuyGt~:5{WS`FA}OjG[nZ.ooMXgYmx몿v˨1ᦹDvP3\׳٭QɣzNA_0>H TJ{[P@yz? A xu6=mIlM5,$M5}6HH-h"9gR  $%-[~@2sD&¤D ZJFWkEp,g@'H>T"^21 Cf=KE T$MRo1Mpۋ=V! .i5/HWrT BF\aLԳz&iݡ"WG_7;ŧljs@ wA Ѧ ?S9U'S[%YF٢c9=1+Őb.@:Uv"ƀicgT&;'C7iZή58b~I*s Lܨ WN@z= 2;􃲖i>j(F2(#o"!f^ ]lC)_[_Ijcܽ 1~l͹rJ"0@3cJ\ͮI E,Met6Po”E :<>b^x! bH08QQs9;tΕd{xbK> SePf{gnk9㱇`,M8j]n\ yACin -P$=kGY# Bv;o%光sRԠʈ20G` FLKD( #d9BkS~&p"[/:Vbbjof̷c#P[FO+E(o^ +g(OW "ip/›LV98Jz`8缮/ldnS dLNd܃09!pwD&MN:ڊN_Upe4?]M9t=RwYLo^.q(Ǣ哢 -5mWg {sdbtQ4eV'NZnnj{MM=e+ozNG DY>\vځ`f͘SoL!0ff ABXG8GQӝ72$4gG9PqYJْz]V,66gAI w1C\pM199LyW;վYy`^xD 8,C~Ǭ M@^[Gm'i; /!'1- }tJ$sO|U ؛H$o/fvɬa l)([O=UtW dS.N6y{Q=)e{K{bᇔ!d^gbY{C|G#TZ{ (^NVg|4j?+CQͤW3-2h=C{x?٤xYbB}4)rXjyFI7ǧnv~(H ݊21[n{IڶGD#em hk3 h74:0z?:n#yUR(^<25yS)ouG|GD[DRo$ñCK,h;SLZ!MPte{ izdjԁ[prC>hJ҇׸lZƦvMD@U}if4>@i΀WA|FvU2}mm_3ԯ,FâBIoOfx*4$M͛/v6D ryT|QLG"Lf[@ R [=;+3E[aFE=mUDUY7K`lhڻECuMW|mk/#s%ɭR݀]#xuT$!*CuBߕq8!|JItiGWvsۗ"TH{CrE[|gkaC<ԃVAf{z31Y*kYSV7.F/Xءݻj`.3U[b.T>)f̺qQ_b07(bRW} 7w7Bzp(&%1_cʔ6Ӆ:r apΰl|_Piտt/yъE^OQ4ulsBY8K䓨GGt5KW )B$8iŧ=DIJ 'B顜ʥe߳ OEPRH=r=a5kPgtI Vd[*h )6sy>7}O:& =| w+;Vx/U+{5(JqZoxtƆCH B|=wu%1+ZS maxr a]@!0/Vd%ˉ-EwϛuOK5v[A*_I`Vra ! U*BmbҮC(B <]śW aCɐ&$qLylƫSs`}מʷz*0O;m;Nr0&绩F)hE @!PoQZBݍɠ8Ԍ򓯣]SB"335Gz]Tebh7C^D , ǂUrw- 1We}rlH&}Q*հ7+ß7AMUF sk%EǤ|,lV:{' S>vGPC|Y{=/| "w hʟWLb鋭JɶT`Z;1kYd+O1PNl]Z5u)֒gmg&Mlr_9xVE 5EqP'j_ .~ևSL?'ͦMY5AJ`":k Vs*BCLɧ9)K1 -JHhGWSFY'd['xGX3zZ,ш-]Y.(}1S\WX"@oBLy߾An+KM&of}{ w.5F^ܓRٝtUnJa\_Ql[z&j抵CE gi>Īfq)t \r_aj=-BqԲr*0^CBa(afafE3T">F$%1 UWU/W\jsD:1tt_Mp"cW ix`|@ L:')`:۠21/aa ͈7惦U6Pd ;Wn/fC iޒ:ƴpC֢` >$sCB%A_xP08Yx%0P3B2iMbLJ]+@M&C͢1&rEJ5i{)@9PgXWYhTd[܈##& ~²4Xc?)nں'_Ƀ !T@ dO : } *5 ӱ+ L;* E+υH )1[35E׬-=$䧆P6{Sv NXСK|ΈƊ|Kض}w޺v_$vϣ>|)'?!Sy` %"GVЋ }ydׇ: i(i0WZ_{xvmzUQ I"qiL=hB<2%2RZ-j7Sk9v UIY'O+Sմ;_ ťE9eQ0n3@iY;@ X^XoɎX4b"eXV=6~י1SJO| ]P>;tFCK;0L98LƩ~^;2s^b{Fg ,fG08mg.m!ξ\slVE>QCfZʲ ꔧ~j͈mMvNi|̾0= 3r9EtZM:*sCvoܙowbXLu7?.܃bB:uJ ZkGRЃh٤%{Av;-lRScFl {҅!*gCQA(f5NrVګGD'ROJvI60NNzI:d\2tHs?;2c~.}R֚{tWHExEYtb 9zDZ[Bh2*{lj ͍MuW)K(]J,M%^A Br3NVwN({dx'HW"-ED>Cv>?qiIP/afRsŚ ˂~Ħ@…yo sЁ84!5{C#s]OxܷchöS:0":U}CP$*>;QՁxY"@Wݰ?DnH:-NGYc` wEIӑeQ6;=~-P4\y:ONf9GKPtΓir˄_WVYCuRVZ&\9&iDPfZ=[ PWfhzoQR|Yħ%T煜v^yh8)":+gaQ:Y3bRT״}jÝ+)K(h9' p'2 0@=,]1@9д4Mn|p}ãL]ܸ_1˞wNIWT!=o ZwZ)ҭ7+2^ݔ 8?% -PͲfmH]v9Q+A<S#ɝߴz /j,欜mRNiǿ9KZoTsl)szWMQVNx<$Fůuu0*2GV0TP{QtN ;&Ty?5jPp ЎhA\{PNb(VQ;XbKy^)|D"Pdu!&OL91{^ g53i\Gɂϫ-J*V{o&[C<4)s}v0|8Q]Ӌ1K3s֟…ɡ2i%[|fcʪL%GCPl 7KJ\'/9Ζvݜ_؛s3Z]X 6uv{o]6'vo5di}z;VM6 vR`6>#}n"1N MQ-`T#J)uuE2%]J uSV`hUmKnxh#xcz "}B($qydvQM7)z=; hHhiW-" 5m}VB>u,V)c ]W-Lh,Z}ڣrlr4?=x@k|JݧdbkK ($9f~.?Ա1jDqY08x !*sp+L|KQw  (KOgy^^-%ճ<{ʌq2pgh$lJ7H it.JT;Qg Gr!cf˯NskYw?.' 6Mm;q$q|)b$Ǫtx/S1u]芖TatLEa5z3X|QNG<ڃʹɺ w5WUS5Q\IU=_ijt5cT7RkG Cq`URd$CZ.Kz[X>lNvK~:RFhG8":Zert88e,8 _+գ 䙜Dp?+.Є>=0F[lS&E)/i?ZIy$>]4N ;0rUPS!|v7ir~r4M2%NG4 +Wfȑ1{P9&0 j_ ] =M%}z&++|bނ̜: 3VhBN;;Oߒd{,pY'Ic~-o~G77 WFfT),O³$}X3g4ѳϺh|#j z7?3n&İ=Czk]UOU'V~"8߲( e}ݜy#^i»;~8֡pSʣ}O|^np{umv+{ "yӉzo?G•4O Q|Q6_^UvuSn.ʮܹgf"ZVhsmXUؚHX*g1GFn,eWJ-؎_ߣ,+g9k.h1ʙ8RADً6ZH|wefJF]acbƗlgU9-Z +3R[5͗{q(iD #S.|wnMWW)hi)fJf]Sإ7 #q mS{@[ynL]3sY8ͱ> "QXE1^8_N-2 >TPFT}Gi$tCɰEʁ%*D: 1[`Xiᨰ́<$yEVu$KX}Ͼ 'Uv\O-|aF3:P\t ̺bȚ \^$-ThŪ^BӒoӁ'r\C[q p[XrgjSfe O"|YXx^4* kՙ^΄%`k~a%JDW7%{l#k d\Mڳ̀*4x;tw&ft1Z D)_q|JqP[G7^mԽx}`ӣO y9fhF񵃖W<ȗ aqS{#[4+. xkQXHneƵm;˲R\j8v<g)ʡMQc7{j"jW!0ڰhN)P7NǎSw]nICQiDukΛbJ/>*Я'Şi*%-\Xt2s.MEݳAKjxg~#TYy oP|iV5ϽÅ"gadŚi7?DzGQXU}q"tp }']e/ɰ`yה?{*tp#Vwe&"Zy$g$_Bɜ\HHy;}NUI`ֲI]jsV |i7'I]ݝ2îz> D<## x7J=]dd۴1&yp*u Lp Uz+.ew"Z6? O5d&8֏xga@I!?/TJ.Pu]:5uLiSGp }rȻDL;k,ͩaN)0h)ZaLL #}=f"'{ K7v,1[8=oJZ fz⊻v֛C} .9|WVTxr=d'SwP5[o/]QI\aU6Oڴpk{|uQ[ 7V7*8)v%*;~OR -Zo(RO"DK5_uT ?3$?1mU8A@9s,QQR \QGתA> rܼXuWbN`H0=%#ay^ټά%m ( a߇(u9 Nǝh"@9+gqL%I+|SMMV׃Z򚍶+6Z,M*@^ER X&>X{yrޏZ+ 7iW/`S,(Q+V~5 3eς6A=B&.cd|A/q$~:3h|P}'ѕ!$ۑ)4t 2L uJ#\;]uՈOe 伃M*1f4TO)Kcc[ |F@ V`P|}XދBۃdg<ž#OzMNyA\7 9=y #hkJ;gToy AG^]*|d Wm(3Uk}:$sYX':Y@j e0ggaրw/4}#6lX0*M]AYї/y'us)_[]*f*([$xi(x+sUbI:#>3ݓ Qo?@w&V "xiJW h)Sa7SQ?glsHHtOotֲnrriۙIpd8 kY',LSOt&&IhפORv hslpPh3Dn$i>n4t;01.. %yNfg(E3ost$pWǑx8-ԩulg_rt=غ4LQr3f->a=)a`a>ixꯚ$ccaد: ol" Haj')\M"DZ: a*f HCМmsw; Hho..a_C svmUs#l^oaaʴ#E~ag Y {d_c)m(hlF:߃ )Zm8&0ĝ<"Hؘ/2p,#u_*JeiD? &3g sAO -{Wr &%9벛PJKa>Y#x0UK6<*v})Cn#iR=qt:ՙOѺx4D{ J(1IхX=j:@3bZz0`W;5&swZIoD@" %Bm. =]2MƜ,>$Sژ-WfQ@"OIJ>qWssx NyJ;f&Ӭ:h5c.9#M\zgٜihM7" EjZkXA.M5w×dJ Փ@lR -Б}\f[Ll/azqF%I`G#q;¯1|ZO vĩ*#N;jqҿF n[DId~׍zpYRO%c.P P;h$̬)$-gLbr}knХLJC3v2=Jab1hl.፮bV0 -Gx40iT'i˫+P*:Bk6L1*cJ٩,VtX-PzK2NooWгX=U'B`Ɂo%ԫ4IG\&VR-l!rj5[lX7t8|?vK8 K.L$wMj:-z d_,M&h8 p,C%_melE@2"rB[DЪT@[+:xAȪ{j|W[-f@KB޿b 60UޠE Q;xJ"[oFMYPb84z)1#Wⴓq,â ;WxIG Xv{vڎ ,#\K]md5q^\RL#Bs &sŰO]BJ%@r a+r5 |whSrazџefzú$hZ *U{tc:be RdUpilPa<2缸inݠ^*1_g_G=#K5Ai`,8ևᰇξxE̱!w^ZM>{)XǺ&螎nBtU$;%Z _fi*zjXLB/}C낥fI׻Zfw\X8)yD2f B'+ӹҩ;;xIH b7%3~:Lř1.͊{-moح JB;v=e_H"bX.N֗x"4 >Ve sS`2CJK*'vKK%zPP٬AfDJkQà8kL_jH/9"_0OlZ=kPj [b,1AI5,i8hOj!p"4MU֤DNU'b/0EL.h?Lc!QD{Hܵ*1]Ol>ㅟ"N[46];܏Sk0)"h𘡗xA}+)Qd-|rJ /]킂tjjZTd I^'rC,pJ}q›^N\i)N?I$[և+`UҬ3F<1E'TEP'ӼN<؋,F,t5:/a FjLPn&H /\zp^c2Pߤ^jVј1fQcImywsMn?\B%`P 6'Nu]°q]N$$nj8s光3_c'iԙl N!H&ONBk!^\HyH6]Ĥ0ow,%=O?+|>ǙL`b}5YP|%vX/@/B_hX+!ٱƢ6}ޥi=!sd0?SRa6L,KhK;^v q*HN.y@z >˚-}5F\M$'C"T7\_<(+h'f5*bTW@8\, T&H;$dy3Ԃ(RiRG2%߹謼e E,>UȳƀZe:ݚ (ȣYpc&ceRg<_&'oNS-ٱ )sW5p̀`M1[ H s.` 䊦AO=@>56˟njp" \|3+9VD \+mvƲέO,ˣ#/k+XW-f}O?A($60ȸPU!UQǸHQGwE0ԎKD5|B!HmpfB{jja =ciƂ&&!f6JXJ"MVJ>1Nb5'g;[AUױ170*|tNE3e2|?6Ė!M^sQ\.|]}ʬq!U{P:~nќq5'Y;_WyJȦvcVܽ>+ʚ|SX`ԻZ- ffn؄ NR'0_3|.ĬA~:DZ=n*]< }Y`γ*/J$JSfx@-xM/ݥf^+zЗ'c^&+w " dH4>6"%|%@rh'i쐭yh4tZ^j#[`㝮2{eOqũ^? )8PBñ*(K2 $S"ķRIj1TvfJg?a8W=hb;as>Gj*^HKUOf{ ,cӳ/50@[P<7SZ\tMح7r/"}\KO2J^5d3s̏1Jc -zV"TnDݢjH/%pƬxAxʥPeA[aI ?P?*Gt1}X}3dڇP;p(f5xL> P9]2:=w՘9#7&rXu bؚe8-h6jhY$8K#qw^gDbuk^ޯb萕Gpǝ KǭcF~\1b,A4^щf)Jڼ2\E%* I -"LN}e{N&>(C>0ꃽ[LA+HHŌaZtkfi7 _qGvEmum  -ڹhH SBmNU^HW"e]Z8䜰mjWʴC꒠ܮȂx|{<)sQZ;!MBl|Vid>%h~2v ۣSX84pO=W8t$=KRcSu!9#.$f @SduSg^JˢgL$=, 'KVCo32w*B=L:Hy8Ѵ7Mɖ{v-jl`ICQZe%'M[૶,,OY.6XʌEYLL&Qշg1< LҢ< +by3Rw+$8GNuXVԱF5if9gqB)y&7pno'qpȸ:yʣ$tūc#󹢖2{;u_ŧ -4Ϳ |<)b̔ ɍ`ˈez"V\d,o$ ZD XzYQBn$[[`LsA bFmM<3s2 1adѯ rۅ h=49+ IZa/(qN <޴U/>RZ'$ㇷ;>Rlmޮn:&2vl/My-e~ 2Hr#Yd6_>]3kREMSEG[dX@>/^ZPA! 1sn22f_M,:,CeKC KQ$9+t^'R=QBVynSe"/g Y˺.һBɍiژ飪jAmwfUOPdaXAzJK ϒI«r 0fVlPc_{R!'!(ǖYwr=Y2ؠXM`AnOȿzD:.tHcfH4%i $H ̲%{n]Ķg_X%PĠ$=g&&@jQ3R Oߧ6Z=p"% [P2rIWK,-!ӭGVD$lY@L-]zK ³qP9 {#j9yW SH~)Һgԗ />jՅVLu#|'k~Bs]N;V,P27lA8z2W!oa=zO2`F=KusV(vF!;E&}r:?kUI > G# .BHiP Br7~|P-)6A,=bY{a!3eφ{u >J-I4J*1 ̯'ku{ c+bCQ}[$}njFTNöJ|^,w}\9`PL!EX8w$A7.#o%_EmʤD(-)),3.wg5.y >npM+Dw;>%z6ac(q5#":׳YuEEٯ!#HH<)_n,dYq 4B(D/T`БRe4K&Kqbgz3V;lf0Ay d!WF J&XDv_̜k7ڷ /F4VG2%Ű~eۣb]MjR_\sNPE$Ɉԡom [Ԅ#%PN0T3;ڜ6+xd<¹cW@4SB(8_|vyl8휴s؎odYH?(,^n'j٬νleNaIy&1(}m0zʈt [BBT\gH˙It ; J%*0}qF!8}c2k"[]$ȑIV3mK Vb@R Ahs#*ŋQBOcQ3oYU%usC ݏS|vUržP wq1C!o=0aYP/Ll ֎yjW05uȈcpb2٢H8s 8`aE5}kw[#l %6_\v|\Ou[Z칄EDxCxL0ͯIWMj^P:ub+r(wk*?bQfuc?]7\0C ?PFmN'#I͵U*: )~^R$k(㑡k|+dg:$ĵ_c|ƍJc-}iВ9[^,y"3HvpCnob&(Py{p*n5M5.d;_(R+;݃aO2?#CMTy,r ՟7{q?MVc!8DE s4U_qSY*ٰ&-ĀNb% 8#VDY<\iRB­w̗K"e!x|n"߯[lB$W.lvƒf>yE؃5&<ݹ/xۛ Z,3'mL{lqF+]t&VJܚ6aYPZ=|LcĜ/w>'ThՅh _^dLfSG6vܗ͚T'70(* {G _=T $!*잸¹~44hL`$e :vmXd\8{)R/?h[d8%@Q<-wml +'e~-j\n[@5vns3梕:?K,/c!1Cٴ&zmFy;dkbøB >WQ?.N Q4[NXJ%#ZGTbsR'WKX#JKA"*_f)]LUS38 םY})prI_ &JpN7.:~%%/Mځ>.Gq:O0 19FsNdՋ8{\TgB-!KEۉd.֦ -Wg9bɣ&RفeŽz1> eM,"Ǫ`Ηݞ7$d![Y_39G _buᆕ8X!ssIvP]6N l0Y-Xv$SyYmn&>*:EZ pdك  G6 MhA L3Ԅ?1QN搝0Nl  (hiLyO6D9<ը5 Q.1VJt<F?) vUSqB`i<| E5st떳{%k sC$ 9gЉg\>[2Lh!U$ӡVtjVhWʅrNFW]">w&>G5!ri>uٻciy}ڱG=f&{ˆ^BU}-#'N\N~J74QcTθuUEVV뛅5K2H._R*oUwv=5vO6w@yb]f3!cͩ &$) u<].-hPUNL*M')h̰lJ6cl 'Ӱk$Bg;F-S:#M;@AM.Y^t|b|я /{2{\H13Z4V:"f5YzUxko٭DIjzd 9gOP5/ ^Mm3mD G֓ ury9#gI4689"4/,)$Y qp`l5}Nݹ{_!W^RN{e+=l%rgϘ ߖk?'ӱ܇1ѐlF&o1rr3{_>8f^q?}?C~ o%b?¼qXz2!% YZwYU؈<6SST7L|^`JDj)CҴ$feoGZiBVa~74gYZ7zXZִF! qU]ŗXi%l W<6'I< <7o|\+@*Sە{ś8W T^ "*|ҚEer9| )㗫)}e)pˑσ?9ԯ4ڹ'vA ~5'=uCM% q'd16[b! ݻjȽ,T|Uks@x=ҒN V(&1(vˣݛ~4tw!l72s\;L^1"yPRvbfZwCwǯ:oGg`|jJryA]!7! (U4buUUN5VSD'njBHn#sips}/+J)~=C w4ubz#cFE1L^Taе/|Sq>A>iXx#|ow!f-uئJPu\qxݽ7R9.c.k%6;[oLi8&AתQq֓kLݓ3sl2P$CL\p/s={(4Dܣ#Eqn<]*xF8w}nKꌜ^>;L8ؾ9(&A# eT%p\6+4LWQ$׎0!JX*.cAVOk.urw-wwq@50}p+VWk "wAjdžC-- oڍ#ʝ#>%;.I%ivP\z+bE_(=J&hG>IO̔} @81@:=e-gҚ "l5̨Du6G A7SJ$N0c2n) *}=ـU{37עm=IApF3] ~`X-ZZUkR܉bl+| ki֟1 ?9]k>ё⷇;" Q|jߧ"NJDuwY :c1r4tyQzJ=uyh@`*f#B,O _jsZV0|pJ䭛j~PQtuQF P6.<%>.NX\ :U{+=_ėA(~sk&mYdx#wKV D2asQU% W2poƹJq ' & :{qIyЏI6G&iPAD U^5Pç`\UԍK5)b裊 +z)N/*REHȹu!Ͳ׉!֎7qgK/jr_kFo6!/6(y ?Ięl*ܪs7lAJ{SڮQUF!R3ExW&CX:jhdbW/ӗs1ĈG8[5;(P[ ko,]-74}WV"Vqnv' 9+̽PK),uc}#pIw"Kr7|i`%u@D`s@.$rH/D;*YXU?(fץLo F LB\uE-BCĪ C~{AŠe/d| սD?~&-*Os{v8L6%(`LH*kw[՟I<@2q;dPyJӦQ2muJ8 ͪlى9F88p cue^'~gԦ?pb*E]l*^Z=`E(G$./$#B`!FuR}#l~HN:kk8 ҡCن$;z=9}c.SCw+ P? !3iI H@ŧA08G!];C(XV$vJTI+>|">{"BpV]OV":'w#dc7WؽAU sF fC!s[Zj j<fsL!.+!'dhQ-JכB#2-WX$7-nZb02Lm^: C=2 8p'fUN͉.E(T?>[G"J1T0 McFT{uS*my5w XYw#K] B0˻Vm pD=L C8MueG@c{QQkHBlKXJ/]N^Jw1;Ucq55A1(r~Ro"5&34 J _0CD0UXFHe*pEh U)a| A~,ude>EڕHJSvd(gf%Zx,xI\`jo <\N-Kyxs~Lu)B*TDrBRoD((XDZkd %D72Ҩ$#bR =0c ; 0d+'QYoli?q*!Թ H~s%a{f`ZZ.tps-};>Ͻqfcs&N*ҷ6g9GUn 41&*va)}K?rb +{D/a*`fPVQ`軺3ӮBZH~0o=bd eVc[<x}4/c6{><2iQOeLJy]m!Jv3~]L KAAO_ $D=}w8P+O">z  E+bV\ rlV &Žcbv=n\!Hd:ѪZ=gFA ~p ei<䭊 8M 98G8OT6CݭBd.(OS_eniڄhg)]@~>L HAN wΕwC8a#ept f:DM{2_e+;r6^BV7Sjw+T#F߽M9g?u˰y 6,oKIçgCW1)(:v*fo׭Vs4N67ѵA~?wVW艇C5\opSn|-~`HkѰxG<<o真i7V.|ee QS{8 ̈́5 *c `fdD(V0J28$6l;YliM\-iÝEB 1-}3XhpOoO;f761IJ_Da83X見U'ٞ6:Ϛ &;|!HP Ƀxze8F{iQ~Y#.muJt)Ƈ[Ccԕ* QYIN.6%NbtΐuG1PV kGiǎsg +18A.GD.>R̈́i E2A8#6lv;8 LH [*f9H[9l +CjL@ȼd_U4wXѓIXd[ע&(Կ%eo1_ћhyeȰ8fSt;ڎ8)ziH, n<FK3AECH@@~ Bxdn@nۍ##閺t`pv L}*yg݄JKXF3N)fYxU3џz'G TjtFmidfhtxR6!u5ah2y+~`ҡ]˶:a*I# oDHZ?3Zz>`3O(H3Q"=0&H}%0Zr $}/ d}X4eOGD_jY؁/d{4 /s8qdL!axU5Z2R6$-0̻69d(yiρ.6z~##2&xY mL :&1&1 h~SԌ XWZW/B7 N.걉\0iH_ebRl+JNM_O9{wVMH*\$hd5:GOj#L$"Bg+:|Z0|yFǦ*ksbpJo([|Cí}E ~L)* 7qnXJ/;Z}%}G>a/?[|4Qs6(cGwy\8)jm=6#|m4 &C o[|I\X\8W,銋`)M@w}!1{L 6\3ܤ|R!1Bl:!U蹯71"4 y Y@LS=3Dds]QN4YiBh9LĶk-d%ao%Z&z6J 6ˏ[Nj%! 5AVzw箪,d^ e,OlA02ĪљYͫ(QiW$x;`!及 pȞT@ڗTKFpeYK" RP_xee,F_e/g歮58|!E|fCu dNUS  ݱ L3 sc,B%Wa3sj]pJeuOIzHNj-柱SKW^Uk> qN΃uyD>HQC `냯 4A\Dr|ho'Y:Rھ-PJQV{F.{uf"wd$lҪnJ@l0lfɈ i<]Kw҂k?jx]8k7jƇTzqH«U'QXi;Je'NAlP5P/Z IӾlYx1i+J"+~zl'fgvSvR9AVZP ÔgEj^űuR88a䥏޸Sc^mo ˱iHe\R7'A|V0M9vIGA///-9¥p N} LՆP/ 4_Bl:WX)gԐW#U\"$(M:J5L Q){}F9Ē(H 4ڝ3*mm+" 5]_5[̀W"x PYᇒtqX6L% zK]{ATtzn&Pz( xXDzr}{5qRtJR@7dS%H Sw@"ɽ}ς%훯Nޗ=(zD>+}X$I@X7-ZXkaZ&wҀnbuNg~x<6S!kɺ?jmiU#=~V`t#r.b^l >G߿onLŖ !.A*50Sz,2eeBHz!+,3Q5꬞TrpKt0C`NI<|]u$3EmO.?gyQ%)dz( 8lWvqS@5!@SǤmvDI䭲-Kw(l>Fa_Z`Eo־rp`,ڡ5٣FxKγ/)MRb8H4v bW T3|4W-^C(F RE+29~b/CNߏFƵHUr\tD7M@idђe}LQL5TסK‰:?mr(a|Y u 4׼U_W׭|kkTJ(P> gV̙cW||P *z`o[,LbgӒH 1>FP;hLfXfe{eD㼖}T5D`{! _qT?HC a "k:Uiuʕwp%m˔}Fag^fz2(bvk4 ճd,{zYكQLڦKqŊ7kIK'INOu&:*Pbb Y:OӤUݗn@!49`3A \NkI6*,|RV 2SNnCiy ,Tf RϜXKY&>[h}#7yα(<~k`y-?yA}"kok@rLjpw"zC ? CV"bx Ӕ|Dzp2-Kq3 "}8)Y-%."xDv/AՏJ`TF*̩nC0˝-DTB[R&. #g'-R8l2Ѣl%=7;v&/ ~OzOtw*}b/j/o1 ˰'e+`a4 U2mN\Og][5 etj"׳hiWO9MLplZG:~68 ( @ך◬~k1f}Xq<Ӫ;(8T1kJ_zDzZwݛ):L@E̖^Td^8Y8 :j7 $A J ;NaCLph{!yP|qwCU7dQLCy6.HaO<q_ə]13'5]#RX8xJgݰXlhZhFD'׍#6K}дtɞJUOD_gB*/2#A,5<BS6C ~@Efip$t*Eg[VD~)F xinQpjq BBvLw0<|ebEȋ e?ݟf)͡b*PPlx] w-^!S/іCtHi[f|ڷ/8:woAb6 f6nr7Ԧ_f굺^axT *V8G5(Q_T)@6ܹd'u$դ :/u9WL3qETW dHZ?1Me}([nEN?_~P] oEvD/m`= XAW"9}x@ɐ6Ӫߑ]tۘ5ZkO .ͯ 8F (0R>nRkIg I j}s5լ;5^;!ɻv/LeDe'&vJ}Uh|tDOr'沈kQ!db"oܮC|nV]7"oa$%\OBv\* [.ᱍ~e󝘀 <:anGTW-zB|vхyBVWhaQz[^ JQބP6"4.[/'F&Q_CgZRXh2F q0;5 uzQL3in{bCt /"Ҳ? f5aBoWǃ~NrQsybQ43yZ/= (e (K^J9@XZ&n^+|>a'f8hAQ-;uUQl1+Հ̜C(u1Y2L7 ~L+C8:)G]({<^/g~*,A/P q@f%&¹!FM>CρLfU?z!9L9q;8)xǚc+r٦0i/\1"Y>Ԑr&ڛnhF_(fɋÎ)]^kTtgk'EC EPؔƂe> &Mԑ&6rpts \"_g63o4]+Jh ^] ݆`Ld iiM ]^0|]5,Y)P b/C*%9$A*GͬQ5 Y=oXYs=|EV">O EItʽu?,ÀM Eg\@ ˒r0O4Z}nXeڮ}2*pn@Al%=!,<E5zR>r&VۑMljS@E3EuPc7Z{`Cr72P[I7ʲz>/cYW6SKKb1خc9Jn[5KЧ=qy}޸3U|,!iג'{PY Ind LPIyl8ʍpס{Ұ@])pz]Ums[6ԣ>vdzy6Y31]Er&ZەĔպ哊I~9#qyy_2DJ dΙ'X}1eˊ/`ڞ.`^vL[I Aܜ"5nas57BA0MN#`+p_5VIeT,$v{5jNU@Qʓz1`O$S&VnHL_y޴t"/4 |8t#K{cj i.y^K?}2Zn:o_7g1? آ?,YY`-'b;:L- \Jp7'Y7!ìeSLE'!ƜKٛt!fFRzcj4Iخx;;geÒPŽ&^M=Xd'm!GV{15X,3GQQ9Z˩j:o[ 073t>^odW 贯ZF,W9XMmš*e[\W.lk b}mRaka$C:d%3gjqzC,rfTIC5jAEo.|Zw gsDlu w<;:nF}4#"4zػUvLH!7*jUck;oqsޞ5 јPMσ&,ms͍(sj9Ȍ (77=" :1kS/DT?1lTUVϸTwvz X]Lz+#TQ'A9I=sjh lTn% GF n& 0Y;GQL6{U5'g){Cn|r?*>F?H$9vX垕fj̹{ςėnKQRXIiРLE] Wti#807Sf[u!:j;3ҟd.Gg`6-SPUU͘ԩOߕw՘t $1՜/cӉ.sgEk1MϙwnϗI]mD;* $t^Vz@&ʔ&}!S>zJ2bhup&%-k'm0{SΏ@վpZvG/5V^naT+V0ARZHL@YpQ.!*Eyg(bd#[ŏ#1 nAUfvқkhI >=ه ٴ8[w|tċfjJS}w`԰b#ѧ{v Fxcl,* a8w*8X-Qe Gb!<"`!Lcp •vKmUCaA T|!<%=AS +BE P#),A?s~J q:ES)(x {!/Տ5`~PE'ѓKh,>B>GoGCW kP9O CBkMQ.񝍾,]70 ({}Mu#XR<i`~ǽb&tv{uQ˥9eF^8f"M0EgkYez1~>4iԆI/]Em8,.M[ImXA## sTRq+ėb(͠"~}xfeM0@ ]w#J[̳IaёL5BLsPF\b>z"xI]*EucfK>e}MSR/g@̞6WU&{ ]LXs uDp`&xXv䃳:ۑ3Ap ꨆmlJZ{+$Ee FR *|qfRA S,7P%6T^GkcܦThY%ncw~W?g{kn8ғ 5{ŻaP.YJw`?!h l]sQAO & WFW/_ At(ɉՑC⅄A~+И=#dq\# 90R_kcH*Vzꮣ7ڵN2G7mgͭdڠ_"vCekŌgxXUQ2EΣ9zqFְgru_Mr(R|LÄw7NYV8BI$'ˬ$CHezWmg,>b@s ঢ়7zcLm{|TC+z m\9oWk@&*2)|w&n9R#x(Rz0V>?Mސ>RPmPIpeCg8MQ2=?3籐~ 9.`&$L`D$R Yrpܒb:D)Hi9Zڱn)o*&qs-\޾"M!WXba e eJ_F=ӝqp܉e_K꣔QuY)bȐ:xJyӥ>joٹ~Kn|GHhdO`]圏vig ڎIuvtu=G,#/e]:ϡ&1)x2v&N*NZ]!R|;@?d_--Db*noT&I^CH6yjpjE9 dTu97w@ вxB`_ lӪn4&yO;|x1t}.@\۫t;v9Xk3I%:f3wF뮽[a]gH1=: >˰9J0ۏ(>BhtgSTwjBCd0X6D  BhѴFU{87i2NuzdR?觏dH̡_C05ѝEgA'kTn!|'B6U"Ŭl 6Bʇ 1J/ HϬ|M93.sEw)HEb(\-O7PHFX9X܄)Ock (ְ';}C-JaGŸK}`2:PCZ[CFI} c4ר}2 n SВ#'s \cN-@gxj`xXz}t!{@m9;eOo|Y0n9i#& wd,Pz)ۣm3.@6y +fO|?a~r2͞DvLm&Wtu!2}Xh%ᑐF8F9zU(L.n""S 1( 2(ed+9x%z%C;GN,trbV-İ>Z}w`y3tOA߼^N0{[Z,*gL-E *c(;m {fRec2_kI АLfWt2(&ycKǢXd>в?ۘ5Z| 9W * 5gF#||F|Izt^ i%lehiP?x@CwsG'h1 d`uQ%tsZcna/{_-Urd?sgS-NTCM:\C5p*zN֮ٛtRO_k{UX4Df$:%0ٸSι!_,k+/UHizlTaji-F7*5 ,oy/H=G#P#iסBrٛ5:uԤVJ r\sb~J?smB+Xȑ7k+)U(jNпֱt] w8$ mځj&m=fFu0S$Uqֿ?G5'OSoet@PE),9 -ӡIRkdI5# HBr!v`T%^qt?@ˢwˊ7dsM^K4R:!Q bݜbLٜ IJD8T4]{3 c1-O6cAWH!n٣'ev@i52?n /狹w Jd7D)&38RdNnkF0ufU{[/$OL?ʗ^ODf  '^83SZD&I 1AXpDžPijb\# ktq=)z *^0^{-!Gj@SL(н)){E\̊>檿Gyv)r -`_7UhF('"_jzj+ۊf=j%RAkJfU_ƣqyUPzK"ksS4UK;$Qu1o ScY|֯UÏU*{Z\Bd塖oε. 笧%lzxGf7@z@zZv..[ܳdӄ^j Qir9wJxPLTZdDvGvQifLӟ!‰Ewț:Ͽ&sҬv]"E2CA8%oϧ\%O6D=sŌNPI%6;Ii'Xv}H/FFxG3ۙ/Lp9-SWr= 2R ,dczr IjϻBbѤ&I%MӷJV;x",kz}Q n)Cx~C& W%iK1f͗$/񘔆Lu^tD8 ?Y6S^KOoފnןKW|/ɡlX)2`AJkѩ%Hѫ7o\N#c/$ X9N.1RQ/[{ˇG3N[@&ϛBySvY9)̈́ "7nX?&`}4caNF\!(0%>@F>(>t %8F#V㖯Ge*l#<򝖩4*&p}5voXcF >oPR밴B=N4֭Fj4Լ`1T95 wzHꁣlۢI_7za.*p KȦT[:Δd]졤 iW@hyt0(ulm|",V^-}}Xb2]d\װ[h"Ìz {!?hO&[5S\"Rn>V0{hY ׎Nl dFėB~:Ko~;=~cci腫':z&y>!Xn"Zh8 5 ν5ǥuߣ67.bP ?;Ɲ^qĄx!&IYBryR6ؤ_yծ(«7҅"̈;]Ԩ6:B :9ڍ+, UQ@na$qKxw9U'K5\V@fA-#}9]#8 KL s9 7N%0%w<^e_z M }h.˖^ur!r8am ,h9NcWP3'fbqǶhY}Wn{tv+a_K5\IhRSYҶQ~?&<+B>a*^§m,7wHI-'bܷF}춻suUi۳ s;x2i~8Lq鸮1}Sg#sFb+)sϕMU.(͑{ Ynxgq"9Ɉ2hHS;X{1+!>,N>Ne&QxPг(L{qg]Z/x]2~Uj_Yq?ƚQ/# ouL慩oϺ9>]qLT0j0Eg~|Uc҇ )_+-V'tD` O̡TR{gx TPFE=F  ^9XQv "a9?k|UQܝi/}U_nh#r=k!2m3 &FC:e$I0^^.Vq;ۛ^e(_sCʗrP>Wr*'=KK[Jx_2)kD  Dۏ[&&Dd#'ew1TԙDddөFϓӄo"q  ;} n %SWcM!<}q\'L!}eN[m<4xUm |&W5eP˯IdڿSc(H)a\wsrWx@؈q ·`4(vSYVM]k{rEGțY(gi@ݰjO"fy*nVmg }zYWŨt:nHʽg| Wۼ03wpQ6DKɠwNME罽YY"P+~G(sq.̞L8bHER1.&+dkp}-u\YV?CUDEz%pj9޻2ҠQrZtxyXU}څ$UTR>Xx+@TG65umXQQ*1mĭrI6J׬WrU"^rNt;*e73ܵx,+s|xX5ٹ /4\1b qm469{*͐ qϽQБ&s\Vܘ ,+t{0uha; `hcgVJj+@1(M0FM󔄿֤8٣uG,P&g9N*^XKk݅2%D؜TU37|)7$(1P r)1 2{lԆ.MYpWݻZpc΅ A:P_{"„M>}_ZDžZH3~[OB|i{ۇUK+h`T} r]*k|p@~9C_UnݵʠA@9NnC<2yObޚR.v>:ϝXR[(mӠ,#TK*L51beP=ZNL