SQLite format 3@ >- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {5d4 ; HOL-Nominal-Examples:threads=6elapsed=438.284cpu=1652.064gc=142.020factor=3.77 5 HOL-Nominal-Examples7zXZִF! |]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb R}c MY0i OcX,wzwBa}Oo3[=] ƞH>Ma7ߛCZ :jc${fl`̕8mLY7.h$ݏ;nbT;T: ]zt?z`G xIFm>xmUܕ ZLno(ͺA8Uň8dk A:XN ),bRsTK+S@ďZUYt [}rCB2?a/\T2f&. p-oVHNFzMQ#3mFa|-fw@88Szmf~L^,B 6 Jm{7M;g=ͅ+,+*ADoQ|AӶ=]BX?]9BkTOsnKO``VcAs=QZ8-@BBpKv9S~``?)hv.J6$C氦9J.]oDnil޲!F`9Q) ]:ұ Ua޾rzc+ՍO-<2Rl'+i/Nڰ)*4qA?;^K1I tEi$\dCQ0y$bP%;A:ąGsȪV_}ۯG NqOJ}rh.؋l?OYt\^\V̴ ŭcRHL{OIh65s \s H 0ElסD1Iﶶ&I JKiMePiv$Ys[Pb2,ZL`MjhbB*nFqo'DLIe(٪2ߙ'•e~X#HzK)4mJ7GuاBKzCt`jBhΰi5?k\3T< uΟ? w^o+ |8 ܛ{[NJ`񊱡|Y<q>ՆouҰql S;x/ KU;?ٍER_m9N}JVuZ2)pV8"|'A *'.$^*~1Q MR>_fagn%XZ.>ZijWC~m8t7 u7v5|;=USnkXt[BUt:SCO;|bYPvQVL>Or0B٢rz~Vfq}e_#\~ 3ocW)NL9\);'dGnRddvC͑5=8H[c`*C$v [lfIŠʘ kZMqhø#+v,)aD1?s% U{3> #J ںk.)I] O[),?ՓQA7@τ?s\ĠBQ 8ѽĻO`- %U|9S V^agzÿ?ʼ;3i09ڒVG̚1G^ Vz[q!wWn=g( M> 01Njc`Tjr# qn=xGQb ,q#?'r&)>ϩd;IJ@m[ mFL=h2_ MF`-@h)vXW\7;״ߚcTGK6ͷK֗ ^VB&)ŷR>Ԣ0ڥ4X [)!PIڟk薬VV~\~%Ї>mfQ 3 _6OxF=䋷`qL%\ZX,]."iR@c.^2q-h?Zh9%PQ#1@9XC*HAqR-^UDp}NuzЫ|<w~6V[WT:|8DYLfI\ZŔwJR[p퇶Gju[׉-\b hWT俤Xs@~JMW h{TШy{Oָo$t-ٍ܅% 8_b8%VƤc`u{3&:'q]i+-^q ZVk6ʻ&D^˩8Qxu^jUoG%PWө1|]qvZJ5 }2JM*}L*MukCmZTge?]-Ov(ТcCp~ܒXcAy9VѪ<&]YӾ_#]Ř!a[tK0-MuT)H1VWgddbԂgzD -J{e;4HHez>-~LV7+l *]R|@{@FgFd 4MfEhLYL; glIn ̊$[$mGIz߿,N{0J\ _Ǿ)TmЈ1)#>QIA/]-%ʮq,&ʥQ6߉pBwK o(t\l8m(0[5ЗDϸŧrקQ* )ӂyq`"G̨)P9>fOQ(.f#C5˘6h'j'rހ/k90̆jW VqlKAb+斉!K˰- LpH<&/;wE+یuw:>'gكd$v4yp`GDаq``'JA0ͺ}֜ fEIAw+6fCoYj"av̺\iG>b؈p(r5/t[3}Lz,M.8V]h N2QU-nXbU!\8jIA00zFQQ_uK[k\ۢPp{MC^U6߃tSPUq-:$Xrr\ tP\=xvՅwd EU%dW<\ص~.elw㹉lĭlK%cy#;?.u@VA)6rLZw"6(LU$ <\zF讄Uz'G{wW>PC"bhVY3I_T>blLC/pMI:kX|JיV/U1,)D>W|C! [fe?M!GרJm.lS(@2=.X! VHV|'dL0/9/Xo\&[՗PӾCZbױ<"3s.:ŭH,y5%y^yS#UA+N$v H >_ Uri %_q*K J?e{>0 N?'ϱIb5חqhst.=;2 "%+D.7i͹¿QgbJ&}SK m1ʎB~r04$ѩI" h8 J{-! +GRn1Xͭ|h:N\B33Clg:L1jlkjA.|-p9d0;9ΣX!0uu6R!s UEC1S.ockl'#ih1\/u`K%ЎG"Q_6h %zZ'4<tě. ]&?4åJ;`D[$EUB-_N^w*9Z۾͞Y,ͪĊtP=#vo # Nx@P&#ׂ?+WP=A9Td %NIc;,\A.|f'W4cx< KH.t G^=:r|xE!#цM O8hnz YaNjvN/~˧^ĝfO7@WRw"ԽU|GBgmyKw֤/PjdVo4SOeaYpHAs9J}_9]ݗ>gIm7 8͆#6INzmM! *st-gSvlme>N#@@G !#bUu.vp @wa 8i+Шha$;ǽ@n3VҬ ]}\5 6] -᷵m\t \L`L4m˓r /@cJDآ85WS䥒Wڙ9jjxd_NKLDrzB4VF#]#LM5靾WU"I<"vX2;=AK"L,έ׀aguJ6o&Cá awu>M湂w)R}X\-"w!/ayszi.y\/ϥqaLсya.E\kE[VhOBn|kJR':Kԭt tXȲx閣sӐT鵫4_ )٘ b;Jsx³rIT4-$_KrǠ\pj?L)(3O/CLݯ1 'Rv~E6kZ~Ȭm;[:T?Ba~7C Fah)!Ggg(JkQ>d4,>qP_;{w$">+oh el|.8MrPOޡ۴vIeW59e`s`hs#Cs愁'=~qۈwfYuZоQ^-&jg$ v4m^P _9ښ[t Tfa 4$"ߞ[*#~op(Or q2F2jZPT z`u-|U Ci>wy& $t0(h1,3qTvL [faGM35:Ŷ=6#6C(\W!6m*`JYAH YON_RP),Kq [weYz %aȧnj#1*b0HaJ  IISw$^-z09wr533J flfsqm$>W᥺Uܧ>u^]ǒ4nH 1nWfI'SoI%3"=b)Z4&&FGۺA7^_t}qb]fRlƁL< FdiKk8}' ujw/^f.%h- X˹vDQDP+6qT~骑 -x˦:i, {^3z/䲍sTcʼnL 2j"E3pyy`]B8w $?6itctK~ |CٜRT|-$1 ꥒɾ:y`y=`|%݃00p+E`RLڇ|NK}oE|%ن* r5LX@sQkuJbFL\2PBOPsɗ:/_6G[;6#1\O5V\.Z5W^{OIWJ(lu3#?|dTN8f}ctg3Am,z4YT.`&~V]-)ZCgAXW0DbXP}"︅lƞYHУ5ہbMfcn(c&0˯j'.W=[' )_ߛK?Kba N2Mݕ8D ԓvGXFOU%'$.\8u45==ujtubU" 5ĕ1mmD(9<{燵ٺi|K+*,/wI *\IY\ y?M\-z@7< _%O-Gz^آS 7.٭+o[%~ݕf"9" $.P]sci~cG!ukd.KAcf1mQ/ ?s8)Cʡ<B`WA̾n pGnjI%{"ᩅE#&U%ќBL2hd*MdyLx6_ x4 pM:ɪD\JEe)@CU>j"k6 v@ aEY8=_H6sbkwHS[ T}f'1*`΋2:J͡D N3y!H9~ ړ&Љba xQ4 FB)UAE##jV/ڒΠ[^>ziq !'춈2Ix/"β7@U+:`WZW d/;9Jr w?(W#5aYD:#]N}Ahl\,I*O3bIJYz0"H E 8pC`cL_96U a!eʍԒ 7Hrۮg~xU?j嵥4u qrW$+sPM%iƀ<#Ւ7cqB%rL&x?O8n >YxnTx< 9j}Ly u a?G3SWl|?v_FX1-i\KV+~eϵ?ڼFRDJ`F*oRnWYB2{W-g,~Xut" 㹬,{hXs{+EDA JG㏞*grW5o4 1HRs71-iJE U~,@W-l*?-z}C.]L0_ # u9GA&e@u:R]q&5g>6]UM+q ="N;J^GgG lӎ,0WO h 5+qTُ< Eֆ^jh횾 0hkM?Π0eqI3F KhG75"Y]'e$9j>ۀQQ/ם^ ࢕Dfd geH.|uMX$1ML.fwP˚O<\-W&X@w9_#ZAڽ)) J品 uղt558Rԟ2OiD|ENP- M2GR!&)0’V ڊ:備-&`Yl"LUv w~y%Ul(zEE>0fqQ:Ya0|Bw}3ePN)"۫ŷ @LV9tebklN{VKg+#IU=pe 8yKC /l\QkTAJDi5g6&]>JL;"9V k Yప+n0rt=2tP4TDK|$.Fj?)U[ ѥm!cjh"uek>zIDVkԍ VнT}d*}3Ufv%yN$y9Ny5ˆ]&_p®l kgVtYU*Eam?/٥"% ?2Ԯ Pdkw}Âܑ4t!]FR er$O\qq~E9 ո]&W 6жh䷧,bD3@?A m wp36ݝH>]ʑSNolŔ[NfPCВZYP \ʟ|T859"8xGeƙ !e:Kv&60rƽ4\E%v4ؖ5aPzgz?>ʌK_#F&D]Ae r6Y6̽S4/HO*bEI'+S0L'=S%S6!Uu< cOC~hό<+?d׭چ12k`-% ؏'jI_diꣂYWq,F{#;<){-X]h9 N=KY/4N 8cCo]n8J{22T(ECM9*G]y?MsC}th"k )ĸ_~QwJ/XMxS2揯ZaA@Q'\eى9{ ,1n~ZIda,^ai뺤f-P;kQk1 `pɀ2y0'=V~%Ta>SHccB:VNȎq_Uɪ(!F䑓(p sE=S>ɫL~+'0dTW ZU#P=IHv+7}QڌjZwxZp1ޮ'mg kwvq>_#C2 5ʹ|!H&*͐=}*B1jo~x`Bf ^ Q4ֽ )~Is|\k7Fas_f?7gc"p[A:TJav%?$N *7란- o5'Y,<[-cxIepʲصTӣ4,pC W#Av%@1)qO[./d?ТVJiӳ?wޯsNߊg]ÅR6|z%7|KfVno7t ;ٕC4u9w3B!žtiwɨA$^AbSDj5:D018ѵ9'`t!֘f"h SL,(9r 7bSVrb_7.'01h)m<=3owby;'ФfFzp+bf"B{ Z A3 Z RbFBZbFo5U> ϥW#]0?=_߲QIa?rƦn-E|0*Q:{L֯eeOqh? wo㣊.:*h0I6X`FMs95\V"'`$B%Z;ڏQD--o [|,l `&㾀KƋ>\[ʝyR+\n`=Ӹ}7d&iFdLDvP2^i{ɭDZT_ib_m1νIQ϶>PYҷ7eձÁ:ټ{t(O#{Ɠj_ E b^{pGJ_n'\ |'~ʛ*4ȁp9e:aSi6XR]]/H/AL6ׂ \q4a̬=r_\qxҽӘdRت{T`yTmϤSsA=?!Pbͺ@Ine-5ɀpy]/\ysو twao 9C  {)1[AD5fe}$xX<&Dlc7ȩy7G)PsrȊk~ћ L!ђIfݘZ8:8rX;2y33Ѻ.+̪{L̜3@60%Lf*2o9\6n.xj =䖈@}f e?pjEWa$"<#H/USnfEiXVP@};჏ѭs"cSr`߈ K2TuUI{~7M"%mĦU^F;H/KX,B(ϩPkQGBcʜ8rҤL%#=&nT MK*-3:bPA71yۥ_&rO paSعIJU\ɖRjq19cl >Xocmzreon;N轲$w& T:O{%_O4K-6F*a)ף5њʉނrXމb@%>:J%kFjv3ڕ9 /:4d41[y5> J2@KAZzƂ}R3x)?QX 3-CoNptRr(x'[!ˬ`Ө}>hā3^*gzg ;E}j5FgBy:0~m5uOhn^ͻ=]T> s?1 \y]ta\?z.Ec6ﰯt KD,^HON9Ϣ}Q#tFV iCF/> ![:Qr*M]KQAnmID.1[_oe{QEaCp\R?~5ᗼ>g=ju[{^֪ F b$,eQbck t88~e b+{V<$+ 8VsvRc1KZǘ>{1SͰIp8d2 >sC ԉ,bt$pj:@>˰q\8-xm/azmr(c^6}Pjmpy_0U8`Oi fɏGP,#|_|iq}WQcyW֯EKp Zx )!ik'aҔZ ~;X;γѣK?^]c&hgL䀲I fvɁtSփ.nv{Z/k\ݜZj PH\e9؋m/wŇ 8_>YiGZXw?eԫ4 Eلq\ׇ|Xʛy8_D ( ٜYOpc ͇q[y|?spgGf8X}>מ}|ofbP ҸIHI~S qsmj݀v5bw9ƴPxLJiݽeZ~ULo\ D(k iϐRRgvkr~%՚Q0+`$߃7F문ޔ@rJ8I괰͝uNjk[l[y`4>lHik}j;d[|K d:j <L0ڀw1 e~Iʊ$O)~yY^*] (1c(pg/X_q^K s^}1ٌϯ̯qd̒8"Sx:֛.-Jnmj|S+fya!Ờh+V⚥J7'c,1Yؽg05śƮ}*teé 7"_h8-h^˵1I%/!v=ҹɤ\UJҝ+:Fz3[ $== Te/ŒcG * T46H_T|k-:ީPdהd[I`hǭ]ɳ޾,GKֶeؚU{fla5BG)5YAyKr-e@"r!17E&砸[!yX/%m?CZ'z}iT bg7`_y(p"Fyg0fEn*l< eb`țl}?|G%p,KS@ѻ/X4xsYw,\+ xBvp6}\,9ZoӽS |型&%V .ȶ%.:`ʁ Y5:aAЦ螕[S:_ț;qh벮 '0MA:Vt3Qey ArhVQj[O!@k8=iEP ՜mŤyø1rQ[`` Z* bJ-ps:;T袯;tX2fV")Τ;njY{0L2;zq'q Ro]ΞfIp7$;`A2sޫAб"\|Rȳ*AHKFqxUK`nv=E<QW8bmVD@`DJi2c_yf7O'7A7"YfrIܹX$8^2h(bg"yYزw2V'= 1#^ ꍜXX S5c^b!+FG#g|--`lκ>.٘stNr@+7O*'!}E144i^ak;)Z@(T9tgRKNpHoٵ_F [U p=b2*:"v$; |^sH6{nP>8mB mWnjd=C@K X xtvIFCXuhx1_x*|И 0QKyC$1o~q-LLfFj?TxԭBSd8(WKFtb$LO\+,F.[b^@x>нHW˼h$P?t>ta,g,p?-3r~^$rCe :-ـ3Lo*tYGü⻳ Z2ǏPyitފމ6TVEl5mb a%{p8^wlA_mfm rq,'ŊRyRʻlFv k a_yF%Ӛ۬h{UCQ xe6UO2g(4,2z#rMe2ꮜ{gNPوh1ԲO) ,{DV'8NtheS$ frٟn.fMf2fҿdh"Z}fƎ Pk`Bݭp3z%C l@ɂ6EtjWXp_z )hjϒƒlNɎ3m[ >u[N I"mЊe亻΍tur£ͦAFj49?)eNCvg4u}e1%Q_Zk]~O,@VWBۆU65n+(*a_t0ʖ%i*n/#: 8)zQs4OrQs2zuhiXC"yyB\/P.T~BX%`[d'.+.pQvPIGHV)[!\feqop30>/Q(]>a,Q8!#kEWܜ"gԯ1-tB92oN $[zD{_}#ˆxKD"q3HቚƬ' ]gRyûǙ+G&SY #H3iĖH[I0axY躉878ra3괢uvq;10%#Kr{J=UVikّ:W@UuWv OE F4ZC,iAAIॄ8,ػ}bXw!9J+3f{(|@b*-ۏެH-C#y{wY!菷Vyy&t6knS]k[_*hVwUn)ph.6f^YJ> SBMR,fAօԜF/֒Ar.u^)~PdOKym fN Vpjn9b8rѡ8QN1ia(#dJ$^Md[AW -\̊_!WH8z6>{fwJ_(@yXJ^&s^l:NPmd ᯝAld.䉕rI }JOOŤլD1K9;k`q-๨T`uC \, 7aǧ`Vs!F59]"u $ZA+&V K ;vXᣫ„~釱Dus"éإ( 8fM3 TE ]c\$) T_xwaЫ0hZ4}{9aq®Dl7csBbWkTR05? Z6Ak5x FW449{p"]46260[JasJI6*%-[(Hٹ T&[϶QGFP)Lg^q0.1Z۵w]T5ulwVc'_kSŁwLv{/j;Y}#A]Y>I)ɱeĪ#(⣈sĉ.UkC>BY@öLi˲彻J|Oh A_؝j NHZ` &}kAXJx^sJ}ąeX>vhy Tqg8\+$ckq/j h}\]!0Um 4m=w1FSrNL`$4CǦJ3>Ģe"gd7fXB-C Xߦsb\LDp0_-O59Z\%VJ#9n0g1?e v`BDF#[B@8 C'\u'R*JH a3kslPͲ?v"6da~\:TsmK1>}EO VeIx`:fMeҥx !ĉ5;Ќጴ'vdEX#Q]<flx,j aтG jMc>gqX5 IƆ9/=Ǹz!o+ӏ%Q&B02n /qC'2j%09W7$ x'P mܳ0'AL %34q:NbآiCf5ak _x Y"T+<ĂtD#9QJ5+cE(3o ⶷uൟ!H8Sҏ Sh.+\1fD3eo|zZ= J).u}Or^i\ *^/4l-_V)ct3 behmdi|^K8#oo.g gPP*"U*JGu2:+MFaǣ7 &Yu확pbSg)gy޻O'O."'U%?#,9T;j`U]w詢U K6|KWy-wRk iأlQ^'2JpB\ZSZ߿JlU2΢nB}!99h(?\y :_<^EŹsѡI-{Cq߶}r5K>4j+s0/AOPl|{?PWvu4bNN]bjYP X?U.n h`Ca U}(- QC k:(cB1eTEwTE%]>a.fshh1j| |FGl"Z@WIi{+4/AG"߀9V_M1`[)"lGM+VMC)) U%[CqJBVFlaYiX. eziԘ&C-XZU~k4XsUN86L uX`g ֍z)/ du< )Hx$E\ [SWq ZgDD=rrVGv M٦퐣QsL\vN"r=홆߄j@hC#CC1}]q<)oY3uq-QKAI׭˪wU3as\g_&9)Etʿ_!u[ uQ sF5<7/) `ϞWu9jni;[dwfc\/# M|7B-Ojlڱ M?H=IOb{$7JvPk|V!͖N=8$x 81L@= 睞;^~#1[_=VK;pnrHQz&^ʹ% Y_ud*8\URRܺ y҂wɮ h\;5*~/ J??V80,5tGm .:QCk獣,بݑ{_Nex_+WhgK\48BJߏZJڱOB ?IOEoS QN[ڣfΪ'k*i]OYz:|s^Ǜڍ8amYi{V4f!;CtqаE8hO@)1q(u_6S9N`.H?g,g>5iX ͖ZfH[e} `>Z"-|)>Yo4 6ʹ{qE;+wyLY/Do=f @ZV:zTno juP:>յ㭵j>Wx揻T{ҳ]y AW$2MfFufW`_J"ׅ)zzIJJ&Z4yKS UkI1~]@-S,j͡mI)%-.f+_[JX-ن{7;(rӇjM@V2q#16J:'e!RNRaLo B=)as@ 9: [V*2;:*[8A= 6!fd.So>GKdh=-ʑrjW4Tzȥ`$a0ܧ g#aqc}OeOC^~%9uνxj/"L2e$aO|HP &ZANOT[So{jmDP^KIOdZD%;i-;&HG% _Lmf4J\TlK&K;"X|44Ow }R;1'QZF[1U~02 :h:S8A({`?$ˠe臉 oY#Su!8F%BKOO@,pг&-Cs3!6=zǽ-v-OnD)JU.4!%GZ/" SAz?z Ėc}F;>N7Vv H|@ 2wX[7<GD I;B@8zY@U'he:@`je;D"gBKVyTUÎGg=֓N|tW&`O8*Wl'bŨDs{s5hNVS4F1M3a ` Zuߨm<"SaMkoj~uP:)ՁZBFYO&A'hIr&u,N[ҏGB낮*_*d36?uIEYaH2_ohǞj+(~,n-bfMul];va,ش:vRj5Z٥½y`VY I5v*s7>Sp .ImC pF~LD1Ey;x^Ab>$w%LTT̓|&Pjp@eׂis^% ?Bo3^;RF>8:{R`3H-wθCXwUN5p IQ("SmP~'"nh_vMoVeF6NpkA2Pǝjمb/>9T0@zp.#yFXlǮ_nrO334гzMb>݈J^%^6k $F2:8w_HmHWGkpǀhIb^ӂ:/;Bvn!g7+n[?u'D+@,u' ,nS̷q BrwdAhF#B!!嬮MP z=:&"L7&s;˗c\m(FupI/nKUőIyݗ[NԿ˩,uX{uX-m>YsHpUƓ 7'=D/kȊ 2p [[x8Au ?a79k`\GXȔ]?,aǧAKTGu`7雯YM!V`s?YqH0N4BsB HϖȻz?QRׁD*j[N8čly86]hՓwȫf#Zkl@<ل| ox p26Jٙ/ D9tt hT7@L}w ɯrшUM~?=e>SEFe > Tz[lY.Jh7KnN]tKκ&=KSHIX-{#07pGѼ&/iCG *L_a&H( #h nGL/ 0NUx1BBͣ4_ $}M f.m]@mL lS4~lqw ǫ5ԩȨO`#Bv#Rpl\i%T#R # 96ݣe6/|h#tZuq+|o3 ?sb1Ts q^?Yę1[ 1E}lB!}c!"{'(j{[MH) T:|CW, tmb]*% V:`z]=(!j=Tgm`oS9OKd"tyM F:h%4YQ~+sUrD\ln$>gUɗ 0Ž[RE>]K"ct !{?#g`О9,#Cilk}}䉹| $fO+0JO.j%j7xcr<)Pdcճd2}rUzhʎAx~8Gk|Åb[VNQ$OLOC,zK3C7^IJ~\P-f)ex# Iyb8E@D|k- Ȧm8B~JeЀ}%=6g@K& /V˸ζt>B4gg]αKft,"8,ؒdj@57zx9z\Akt̼"d<$10SN' 6Ȉ|?@((ޣ9xඬ^} Ԧ?WW=Q V0$vhђd ~z6žDVn-./-ѡeLx6dϘ pAſ-RvAxqy;79̵nTTO-֔U:2ciH;@ n @SL֙an]7 ѩϋߌo&{&+hB6u'xkUtɺU40{<ᇒM;]. _{T1+E88 @B)+<́C!{U']L9+v?~Rv|2kP Pnn&΋VIc b&9Ü{]UPcUJoa#swfϽT.Y;cfV`S p ĐKt!Js[43lO0mc3H5[!B+> nO@WVS;~hc+ N|4ɋp۞#˓ mBޘiQG:A"ײ乫E\]8v@4hEX DXn]Fa6]h\| p_d3H}/ϦL\#iXҰ?t9jFc"iȦ`\C43FQ{8-kv#2J5: UbT͠q毠 &vӫS<ɇͩ;@]L΅ F tGyi20&JB^M5Ztڻl#yk0܆Љ8X}ϋ;BgLiV=쏤 .!N$4~8{,.`(un&+ZRR:*ix"%iVgΔ _#NBlF߉FWbB-A)Q5]#bd+07peW7WNXחQ)UÅ8qXE?hO{}Mo̼p[T};>dfЯ35l@XxԄ΀ (0\Mu<[Qp|m!#@麶q!zﳙR?$Zc^X\?i/ ?Y/Gɕ Ȼqbi>5е ۂyzY#ܻb}@ MZ1Ѥ巫3&<ЂgLE6b`zcYllyhb #?RX 55_%Du~X>$*X#,}/z ,Z7pa2C_.8.[o\{ī_b%]wh %do`}Lc[Ff) \z b/S?n*π}DxR?cJ}]^"ode ߪ6Bq}`=a%;nwsx$O/[axV3Ne5Ywx0-nCó3R)WZYե*%q\@"zÂu\*A!2.u~X25/kYg>IҠs2{F!*_ ah1t0G۝xMʚSm 0 ȹvqlC1cG+uLL^?jz/6A`͗2O"x˱3M bn"ODz9ǣ4/,5f>7yK H@Q̧%'`^&WXQ Yf jegͱ!Q]CSEF˚T)4H1^ iF5W\4 eﴟGq_|Xf0A;C.m~FUrqםZ5iPyth>T Ui i .Mu&M¦ AoNlbde-45Lܣ@rZt U_dt3YMYwd3=@@:jѺXXRsW!tp -Ԕ褫1۸ΙEՎ& #bBkT Fh$s-)̈s(o̙74z۵`J=_.jqQwf+u(*fgoPw{ɀ]T rYAl=xd)9؊Y%apTيogvW"NJVH_~2s=lMDH)79q0l*!gvDËӱV7G爦l a:`Lzq d@A#S"rh򺝆_!N ֹ&`*7bLV{XpU>\z$ƅQ-GExjgYύ^K3r[ĭ.Bx)megcdm}:tc;&\]7#jZYl֥=!CfoLDiFD+E!p=`оM'Nb崭%TZ8ȇ!ƱgYZ7zXZִF! b]ŗXi% cL B/ٞ` !tL4;cqAB4;ϪRx&VhH,mpOnrͿ橹ӭBr-4+ Q0M5ŏPyt Wj\qK?Dw]QD,xx/6QK//ԢK-K`eX$7+6֦G$8w`h9-^A0QF m-`X .acO5No7lǯ݄ʊ^dv<;`O{I/{K?$խ ?X=UY߯ê}~Ҿܡ0zlhBָc@vG[?$Wo8Pm5qAP;T6Wb"B*bU H1_d$ۮW :W,L8A ]1VfG8%iQ_%2{t_1^]| o\<MbHQy뇶 fXe ۾&'E>R S_`*-3}_ŶgYE? oxuOټ2@7[{hnt#>ݶ^rP~jGHD;d=r@#%h]akJMI;<$y"qs HJ) o9I$[guGXw&OdaOj1WȽOHuj_* JtSC2ota:vo~9.̉QdL4&h\gEF5qD^o }YqjiykÅ&}E/,Yc[d^ũ@K-)]_NrL3;+5!C'#D9{? @h^$8t [d麦؊VנYHqsr27 Ib\&hsj*-| r$j"jAtB4yn>Zwr|bQ0ѐ.= :8sAa5YK>lRE"{zw 3]2Լ_,b Zr8ěe[ Wol?b)_+#0SLQn>b3$MSLIg*tBz%*@ќPl*o$>("X;?T1y7bYϲ~0'@] ~oB}ذazG^lp;E mB:7t2yu/QJԼ2d Ep#/m\vUf):\}szϺ)_lMXQTbT $Lӵ(쮵?VDAbu?7CjZļE;KYerTY7p$mBh#U7{%lk_vۥg:^ʗ~iI~ZL lZV3(XF"hjA8vG֚MsJiսokzG="ĴHb;#v~O!JK"}vQ*S5ߒjdٽ] F\a:c>dyv8+x ~{|Ǜ>șQSPw-u/$;r.=L]K W% S_iaDH1 o,I| Mbvs`Bvr.usNW-+b2zԖ*b2"*&YyӣLU<Ё]h^,\y1\TQt YSף^Ua.5$`Y2T 5 hpzMPW*%_+_8;̋WVLBPH0ȟ`$е Tqd[*8xRר^gN"f~XPۆSĄPAvR ^ό=Ǟ 8;d֌R26:ߓߍTa FG<̵>jz|w`vČED]}{ oN+-kfs1 K-DE83jgs^r>k'&hJV?@9n)S2FN%t~Z)`F Zb{6nIB\:^.}v뫻YzB<rso9Obxn֮+PO!GCy4&|ڲIE8 IR֌oieoaͩlӑ_iv Q9_] R?F#DMTŌ,_ђnsVwЯ5V' SPݔ- 4` cm*5 IP\~{r"kƀ4eZ.^r3;yjY4~3 l qqkC3IW Fm(&?휑Fz3cGXQ0qRGNT-6Mdxbe:3"1k}!$ddƜ\'k𐢊>tsI)ea*_=\J Bn#my3a&ϸ|KeBt4_TTI{ k45n0LCpoi>sH)2) ;+Z؆U9i@\,кk XIu䕡<_ovDE=A=TMz}M@2=~}:rAԴd F%xQ:ַ́Q\NB^k'ع%'t؈;A||D <H8頾W=Xx+a)왠D Sek1ԍ*=agZ}Z_NbHJS:%HWBCragXym#* `L%!!⁧n::=jE>O 6WJ%.pE~p>eE%tl%ΈAmhcDo*Dt螲YgPjw%kЂn(%UfRf4^ I:aи$[թN'j ֛CW3h,Q:τE 3E`Kh-yҪR7a "`M?ucAR@`(kC>i8SS2z@|d#?mwX1g:ձF7SӸO95O. $\Ẻ}ƔH^1! u{+Z;g$ D;ʭ)M5zDÆX02~getnK+{ʽ0Sm9Z=iD\w s`R$ÿb2TN~֠Gi.z<43z+vkK}YoAYI Ya־{wR!vpi(iZ ) )HV`yb`08'QVZ5Td]i+ wbirf7xԪˍ- ؐ9i`~NrMg;J87L]ӼiRɍU[0&Ho;&LƴwΥΙ KdYTc\ofs}VgGa<=rt(k)K@8 ;+v,SShkLYWWu.{CA)ǐ F4cVX)ܐ l7 9B&Qmg\q~=:`!^ʑLN}ʆC,*TXǦEu*~8O_p:T_IAX㥟8aMm="&F Ӻxd"XLLW'D~[ɝ GIsz<D@BCz ~p?EtD͑I)ͽюp&Ñ6N:lTCEc"QarD##1v|5Me]ӭg|6ARݐ1^Udq+3RQsoi3M9= ۛNxJtb~<`4 &-NP>ltĭrˬ;r9sIh1ŕwЕF(<ػeweZw61afPa#dDa1S%t*۶blyk9i.)WiK2G>j.pՀ@胵 ͭwԷwmB̀ڎX |@Y ` ngؔr~{EPhM: /~&[R0X*V_ ?]؋lF*!X~\7R19~v{M@oM'\aNEFhLrO~ L%' eiӵa`_JIW%Msc hL#veJ/`M0H> %󦤫*ʕ-DbĶ%'m#odt5&\8$lCVG5@L_wvqm9c~0N=@pԼld$naTɰ<]-T}7:J)Ec)_R$ e5BEjQS24|j8W.;Urm|bo*G8dCX[8,Ƭ }A ?PG+Zh{ 54ݞ/U_.HYa[)DLjrv!1M ~q᪽ ΄ѝgb;FqXB{fcBkQ"JC~J^ QO-l7i ]Oňx>4; =!,lOWIZp5%/IX (1sG'W 4yI_`EY59>طox1_ܗ7 ~R,%%gnX\[qB/Om9uL@UsM~zJ6pΘ37 %9tAVmB;ՒFPNX߂/űbKjcQЗ@B?ݏi `f/"$n0ݰmvKVGF.8m]E)_=mB.,Q.jl:'znSZ3\|T~Dl.eh"~l ى} Sc yfi8Ԥ0 q$CGwP1Q3G%7>_}>V=67CP(/fWXX>LL.<}E;VybctI5YU=Rԟ ̝=ƚ PAjO2P9Y0.6GS3L[ ۈDK:^QPKׁ^Ļ=glc+Dv穉#>GƪH:ۆ n$\P1#['+\Tlr`d-y"u]><'2NvQ$m1 NUGc.dHZ] 6ڞF F;@OT @Ƹs?0n!m{1]@^PE-蠽pgm63r3!̀wi?;sm6XTcex$Oc]_sn*K,ǘ72-cܬXmtOu*5vC=j(b>) !{yI%9o1:!dPd}(F\D۝aE/QB#+O7OEؗ*6hRȟv۲j:֦f !2=u|-c+ LZVrufYjB?:@sX0G &Fڞeq}f<ڶY*髇x>~`("9zSPmU/ @V/; :=0{XSI[ * 9(l99WY Yr܋^1|cE|/6 iE)U@ %#ze%xzZ' YjH Y{ۖ݌Vkϭݱ4>sfuCKMl=\O`Ϩ75t}%GG F3&ߙx]jMCTy'N v+nt tKb`4 ϫM^Bn?n|  lx4 J-4_JD1v\jV\KL[}TjNm G (BdJAMGy$\.ߒI *Cp OPz[| NEͱQlNw_b<]R)]%e fw5p2 L\4H-ݸ~*370x vi`e hv(Kv7a*jVD8%u`d}?iTw-x8|c[5B" 1 d̪, g4Rr*EuPuz?5k߷qGna$W5!A C1ʮ">. o1IQ`iM?s4(*\0ieqm9341cŬND=d|>0%KG/) 8n*\`q?[@C^|֠VRΈig%rL-ֹU69M;,xB<%x|FJtK70 > VrQ}B(˩ЕeE7JcM-uwGa\)\a򝤇#*қ";e1h R ("ɱuSe|^sna%'O1b$pLqdM\)cCukcIU~.J" `vY!t'&Gtny}H1BL@mc{>r7%0VuW}Dfɧݭ|n4ލM-7wAcj?}FX-mCFES0쿠%t e0u*VfDN-z方'jXCGp}I+BJvvH/erxOr("]L>aWo1)x hGMaLkuZ(QeYYUUE ^/-'dxX=&Z']k HLJۄlnHΗ%ǡ7i2PBQ"̰B85퉼_ m9Zm`xO~D6 kq(h{K1*ÀpWW"˚ڒJDa ۍODjB(,~gCz&I[Xaqo~%dΫ36aU&"@`= uH ${xG45q㺔I*uKHsPǡ%cяZa N_Hj2!;Dj_-Q^rꘄYMft"txjuk"z+{V \ay54,å[d͒7T>*OП*'eVB hrDqzK蜨u/j0q.%)Qoj>&KyܺK:-$KГ ۢz_И&WlL]}j(tu_T ,0ò`r-@I9I}ܱ>i.`fFD,C!PT^_^xV[K(s=g7s~TZd 9 )\2˜rxx: (\|&N b#ՊL,XM;)$ ɳxXv|0J3 ᐃ*l'ZS5["ї?xy'nit3YnOg:/Rob"46Yc>ڇՖ#LN STOŮQsw.Vإ ȤE8|R![#;]D4#uRj*@BG5 jm\F=eFG͐&Mq)l|6 lQy(R.JԆ^ L4)$ա_@$SwCRfT+zmcPզе95Ŋy SWn[yj?8,gi(=Zu/SUJac[e3582 gUh wAWi)+l HB&̺\/NǺ/&sǩ 34Eoc LZ(%tY٬zXZ8<%:) ~x{+CEza R7-ElFO'%cHds}M{,v"Xq( vB Cĸ$$Nc<&{G^q"*KL%\b䇄8zd~$Y!X{2vB魝EdmbZx] a| I ˳Z "~'`? 3t>*g'p.Ӗ nt?;77!WՑF6Ҝ-dFm6L(I{NAZ?Y.zcنC}>Qr~g4].8H[#7olO!Ըk]H^|N {̹)j_ldIKyp7jDm1ز;PMOE~`Y o)\RIb1k*8 m`ݯa׮Nqxˢ`їM@+E]8pQ0N36U0?Ύ`\wF{ ycb^E2"d)c<42 xŊJ48Lml'U~ @# !L -W Xr*$p(tОkuM2I9%$dkpx` |)iM-}>`?m:|/8B&'SK&{]Gv&2})M?^ea ^$ĈrM |4I^f΀Бq搒e3THL'U7)6&N;(a~7h (rѾ 7:);ƞY/o.iz/k䖏G|QHVHGg/%jW]vcDW/@rSENFghޢ.ZċhEm{ujk-$H=v!TTS{5Ӡ&RH*AJ M.;|gsI9=E!Pɯ"^2e; B{u RX׋)xl%шpݽ:w :U,;ngcr ڽbX:StA9Ye3¢wǩ?aƞ8<OmH#R+\ҁ:GvokNڮ{WFJ?tD, ?y/VՖ-xjA7/ȋ}RUPBNPm8{n.S76uSÚIwUFH붹. Gqxk ]2C'YWBj;*9 jXn/.qnǑJxڟ~x ZfuNFTsRҷ|݌QvkBs=ۊu7,Jz3&kvRVKO٨&|3+U\CjRe^d$=hZfZQyG?нt,,DȺ>X"%!l3ѳIBt5|F>ո s$޿B;L<)w}Ҩk%hRfeKkt͚5ƪ@^(,8F?n VB{&] #WN(Q6esv@Ce゜jKXzŢ7 d4_&2(BPq ~rysgV,Ao%2=Mh9%g4DgpI ZLa"[6|^\r7:i9U|ɫ|\J lMX`"YhC b\(kl^Q-YUIW6 )[6^-0̻9/|'7ޛշPq Iu^@EYl;,x)TBh_w̏I,Lٞ7 a瞵x4Ln|"wGҧǠL@;b˩%1L1]c(eΩJ b 5FtrQ^lC7:# dHNRZƼ =WX֓nrþ~E e@j)Sd2B}-c̢^≠"BI?*dqR<}H푖;c=^YyHoΘdRٕySO:)|]zEC71`d7 o5@^7dMf5B2s+5ds3# .QWG?:;@Xb7g:q]:c}aOs{I(?u΀o31׬87+8 ľL}t{)3;q}CuMC5PWCXm FΫ hs|Z5W{CzW FiN$Ɇdyes = aVǣ[/\UJ=b Fh/p4gS-RlW9Éc(SEBxFB YUiYNVRxرLi{Qv'K{{޴ )pc+cAB&ze\7.4ֺ 1L%ѣe20Ѩ{)K{6X4|WİZ[f7(ZVe*n~ڦu@̧ɚ*TYR&OY.90-H\ʖ:[ ]7$˧$藎.\Nƃt,رwԺ K6!VZhrjpAbP1d©-P'q9;O 5[yj֗@(Xij+-lep/xԉ2mZo_ް4ȋ|ͷD56"L؈/&30kK"0Hu۹!V)/`аzj >ػfXS؄.'2+]3ZB"Szc%7|=B1\YMuԂ=Q7"Χ;ֺ&W* ^b!~s}&V)(gN V5YpMh/ѼL]QH' x$%Edwj qDQzNbZm[ aW|Oh4Ҧ*ԚT/6ov?7)ecHk ]queu 4ntFq6 |Q8e8Ui'jŵ'@m'7D+yq'w(pbA9;h!Fpx֜G[ft>X]xV(v([Jb.w ܒ)?`-.m}<)~= YP[=&InΑXBvvX>{81_gb;pZիQU(^@p6pU#G@LC 4;{'QFM7 NsDm{T-z2~%Vg#\ 1 `Y nJZW?uJ͡u!ətDC L[/gpR`쏫j 5F>z`1Wa,%R.p7t˶&`bD3@]Ӣ_`MDF]WNdL[XіE|-"3 &b&Ӝ>Qy+^Fژ]/~{t9!OG7MK.;AT4͟M`ҽT<AۊGCP4EO 65{=TBqؑcM9M(6R{?H7K{6Ω%|GE4ۆ\U.{O<;9lȈKXB⫈V'$P ``' % FR'F3YSJ9>LJоGbO78?8s$$8`AK⇃ !ABx@J |91[φN~cg5 7y? Opq`Szg55&c{,#!2L$"Qw5X'SھɚIh:$>'؝e1 | XMo]> +PwI'H} KLc`iq ܟZPՀ:s+>tzd'y}F+">V:'t5t ?;'gTv,]\1aVj!Y|dgֱmI8`Z&#PozR# > ΚP,@?zj&MA. ։@++ؘdfj}:^d͸& |h8Kҫ;x_ IxhK2к[k\svȀ:779 rJJ5ls )4qBLE@xRL*ZB~~ 2}Ҳf!41wvPz.ׅA%Lo'1ۿm5zy_zк4eaK>Ç6\ټl\pT ;7X/CJm;MYiCƟS𴇋G)<\ #2 !nf!W|)cbG2*Xﳃ4l HlZB'E6[AXk麗@p?==2l$:\ 2oxo%=YK(1:ۜe|Wˈh[E"ߨRCq}XgˎrP[P.Asol{lu=V\NK8nV^Au:{G(>TT˟4ΌހCeg5m#;aB@rޗT6[Q ‰#{k}bb^c[3$ّË0:ԊrM?T2k%S*b4 sئ9 o w܃Ќel”a aVwv=|GFYv< ~&SjB+;^{h]+K\$z.Zxp#B0B;[O| K4:TtNy7и*NHX>A)L80m{Gyt ,wƼ&2٥{f͊sx7CZJ+tΞZhG_ \[Nםa>gZU_~VN[%Qufm^̍y6TC7KoŨ˴W|,7NEn*\0&Zbid3ZW)z~fQg01o"?ţظ3cKe60nXrmOњⲜ=P dytLPC,bHa *bZ 1( JvQ%CދK!ېVRk9z8^esh_<dH*I&_r`DY"Z{-ө91 3;|DZv2;i oPAZL=Ǧ)Qw,iv43(V;1~)hzcX&trcTa\]zݟ?\hE9\072/o2LxLx;d]2jd(+M *`ap% ^ /}IəHcX>"lAbl"ή}ݣMg7SFnL# '3vvp 3hTA6P_6szLtp6v͆Iυ<ź~kmi-b?$8DkHN~LA'j(/4'^#^b- A\|GSr{L0ZH#@զPG) xdCndl.2.>FWCӌ,퍢2 B/4:"c<,לק{07Gr4$x)Ԥک dicFgNP/t2 _@٤JD#8-nh?ȇVz<[FTmp:MoplՏ ɕ s<\&s]G/Oyj3@sB%h ֤?)ۇEtD{5sVKpe%MޔGvIZXd6B2q9%ބ9 Vb{Sn(Mx' AáPQ̻Kgx)Xv{ѵONDRund eFV\}\F[_`\rXf5'N.+ +u~ c3LKy@8U:Yd ys3M4NY|߭BIIё OV,Uic]%BgD3H2HtI ]M'ͯSbe{Cavڨ dٹ0K@* gɪƝ>" e% j2}&Kب7s'aaCw' [&<V=8=˂H"w[O[$&h\ol%mx6a1y>p!Рx@+țmt J_P]uQb'6s42 ^geZndh%KFx&K%ͬ(٥vT馜Lg[|M.?$Z$jp{6ÜtP(@jf\_99G_ur!I:Z0#P+r?{4s0AIs` kP_ABrH5!*2Db3ݪK:fOI^1qxy[u| eu5Z7?4A;lftporYS5UIчKőV3܄M4a_ hy$7! JKG:k8W_{s?)`܊V<_Slvh/@H3NJ+ä= mt5ɭtHz1'ưRHO>ZKnm*~+E߸ЦU&(S/)Roc9Yr1,%Η=ehmj&=9{l. cTV,bHZGW t-|Q Ʌ/ˎBܴv$uz"AB\vJ36WwHǦxFй؊{Ko;<`%wZVn`IORR&͐ "T1%*ݧݕ/!;yz,nf1 Ȧwt ƯS7==I6!a1#t) CUNgI|VqyغV4EZS:'~שYз NOM1yg~7.s,>l\x[hef,\&D~>"/SЈ1*'0ȏoUĊaYjL0 R;"VZ(,ǹf25(r}PMxw@n?JKvMK5z${L=@_Qޏmb)P4ͶTR>aK,9TNY-uSA&}o.<3svMv!9-tLiC+>g>VBli|K/x";HZO`Sof4vkMPgd{ԳT:ʮnq;/ь{ nRXHV=?ء;5% Fd^+xN*fطŽg/zBY1mpQ;{]|N1^@=bf3/[ z%<l؉ B O&Me*ARa0QڍMbG[sOw_tۿ |*YXd-Bu؝8]v`VO?M>Cy[ (;MД"HTQKaf7C*Ը~&rr4d<%l4 >4ߺ;[K 'Ā@xX?VvW ` -gTyzj!R#\$)kڨ3zIYKn[؄rF ël,Y[Bk _Y9 Hi3+CPBj 0,$q1}I}MűgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 28f3a5812dcf5b6c8576fb416e6cd7afb83e87fa 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52507e5a1191c820d85c57da9077ab4ebfd6fac1717 ec62ab1dc3467981b8f9583c286760b2acc807f1 6f09cb481aab4ba8546002f9295ea20c5314375d