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 34,4 ]/ HOL-Data_Structures:threads=2elapsed=632.358cpu=944.556gc=67.504factor=1.497zXZִF! M ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%75鍵bt! v=6#fzVt<ڙ<]GP<'i(Mh^_Ѽ}gCڇߘbN|xI0{ujEun idY&^h9D= 1hT9"2qǀX- f7rVSjqFlXg =cԿN-)5{Ul+&Ȉ? LTXrkNO}q&I^Uh痩 3 HOL-Data_Structures&u%{#Jl5 &&I%ad^Gw|~AB=[&ORnUW\Pb3z9O`ՠ8!n= 4ެ<ՠv8tD$X4~td^H:yc/zO]Ct=I$Pe]Υ2L\dz|&'PzUd@̋8oOՓ/+&[@%%qpU|DV$H?h&>: yFo8e%׿j w(bLОx],7Mk mօk|Q$q]i|?m7P˯(bai he m"(9v-pMKOvRr(QC& #?RЗ~V`d ۧSrS z ɂ\<@WޞM^ot4K[Jh <-7X!״'LlNa $՜㡮 dJs/%FK.SS0%fRBդB$rfd|+WҌLo28{Te,y3m#nH}[c߾`I ǵ sD&DrL+4̸GJ]2A ҳ܆g&Rbk3u={ ~kN 0 ne׳E|\3U )x"37 g;ME#i _A[egPx@>_HCـx?I}Q`7'8p$~VV2aOX,O%9l;/C dx[4*K# Ȩ=\ЏB=3V1#qzU]Ua@9y;(<,cO6Su2IJjo6ߒ W0D^־,1*ZmG6VYquΚ!ٱgYZ7zXZִF! Y]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻INی!):hLznGUU@a_m-̅ʀl^hjE5 @([M>+tє =Pe7D 7D/gz`uB<ߐ#+f S9N K揊hjF~{H'MKd?!pPYz08$! b_TAX(ˠ@c? c#}akŜ2%(kgY2xS)z ㉙⻷)t]D KePjH$48n>JpU}^sQ ڀ]ŗXi%96zS!GTw ^(D{wYqu(qIjbRrӳQC/JWe.1@|\;RW52KQU[x]dAZ G43#شRQ"/W(V]M=)GЉ/쿶JRLUN:,9uAgo^\$y i§s/9gIEcwv_51h-b㼨1 8:s+"=2̧1iZw_EmZ # %QȈ\5Moņ:"N|_{q ~l fMJs{ qUzG՟ǼyqP/ :0Vz$sUi#,#OzΗ}xh&]GPmDu>`d/QtI'v ^F#9^fCNE9"V ;]&b+oLEքA^C- 9>n7nv:c}7/#ej(z!"ⵚzn-B#5~F?W;Itt-?9q3߸x/eIE)KaQ]vDhkYH7P~2.CD,/0t!YFb3,,Te *: S*?]N_jǡĻB2Fs}J~yB!ym _XcY/4\g"N` i?#} /Po= o*%&bds^Ę AQqH7+Y6VHxHAљN6ԛHGeBęaMqh2Ѱv?@BT𑹪REl-QTӤp*aX` c+NAkx^+1FD.fʗV阰 T3OAվ).X椦C^( 黒~!@ӊAr"5Wly:l'Շ! _='ZLN#Dշ޾-~rVש^g*PX Qe,m>O)Ӊ*aJ_Z\ fq{^=l'<9,-nUDPf} u͍PEK({xT_a.9k #ڝjad}&-M+ YTe~hnFbWP3.1щ`p*34iǒ wpT?ZQߑHb7ń]ר󠑧y@z3,\A˪jBʖEU3oh_>jta'8`a[r"bz5b+{#RA-L醾(<iV%0ԩJ9MdSj}{,&&I^$UsFSݘt s*92%CDMeeC:~=NW)[ |ufrnzr' ~^| ES8}jOoϞFqXxd$Dr ^x QPLok'wwdaS )$AƵiWWMlܖ;*;h&0{y~\ATXهKub]c̴D,l&& eWKۈ t* s;B J G(xJx@ϴ23' "i;1֖sR CK<$t3̀fE}.mpL;ܺVv$gv#9,fk'@,hRр| $I+__Ae epZ(}"M_d̅عڄih~ oވe-`cOj~NlZF!~au~{*6,6 Ǣ~Z$i%hƥz60;qO/l;ukLxˮ. `is>hz<5*V:CqXcNvz'} S_I&Q,Eq7Qe%AKOtM汽%7N 8f;xem$$8YǷgʼn;kWziAD[J]`g]O3pr9}< ĥʵ  :ݖ3'{)Dv9 XО|MjM{P_vZ2M~#t_.fdwTԓlgZyVZa^KenJ duY4G y{7E._`\%kGثy P3ij'YGm2{"`sZ6F7@K71F1r9*C1T J1Ъ) sцoQ{cȐްrqD"_E#ʥot,Q=#nĒ+Wt%z !Sy{V"'.]/UhoF1'0SPMKDm%8 xnsYcEojn_ ߸4>΀W SMT3ߤ -v13ٞJOJR-jcדl?:4&LD<7O0"/ulJ/O!27%M&SEk/x ~3z0У$(שrE<8.n%4K"o4~vTTn {NSJr̀)ѡ++F[GL`003^5=~x ׾EI58+3V񥳘 >Vyc}௶^Nf ~x7ĀC-^ek7YzS)K+: uPc9ceې>#oO)c;v /XZV({iݖ^fug2,_Ь=[ ەy:¹ gk]Eh/Bꀍ'WN 3jkb˨18hj9t^t.|֘JpdzHs_ݴy(uyOU p&k9e-2`MtpN{.TR`->-r~u҇C[9X`#Uo{H';teL[S5NWuS8B41N+kO%7SGK7<ϬustZ07wĹ$6S>O9hm&TB028>ZaTSAB_VfS,D\& uD۹кR,5$/838==vI1,6o΋\7m'l:,A6y3wed!@eġl{t9B>GVnr]*='?Î^ b͑pK׋6)a]Exf'qFFGu**?,mJy%XZjWnO|dFYVDVAlPM~΢.'I,s"g!t00]0۩O\y&;vRaǥekƊ;bRpFN]}`Ǎ_ljh:JmpL^ |?uH{Nfs8}BH/~l>Q{#$1K|AT:Neb垐Ge-j֚$-j4j 'x,ʴEFb=@s)Cr;| p=͸nS0>lq!߈ hvy֟Kܟ<L2L7.9p H܊qhvE!r-ސգʃΟÇ n"n~8$?W_Bv\j6 %}q49$&+JAf#436DmpS8k]nZxdtT._oeM(]Xo!blb&8\3EL}\ mfԇub.])o'.^oaƲx{]f9z]aYt4$땻ǐ8.򕇤I1FRʫ9pO.fBc֬;h>jɽucJ"{eF6thA"OlS?QN&NA?]mc ;n*Y)yI?J;\H&5>e/e|U2j ($ZH7BWlͬ*YsBGGvnIj W+Smv6ze~Z* :+bdzMp`[,sBKh-Sgr6~ qӆ}ѐ7fVNHPt@$}~GYkU<<3.)Yy > (Ȧ!#Ra!H72_pt~K žUҀn)UFE"񤭧D!a rD`{- x}1~u8R i-֐ o%̄ޣY- YngoJ+ljSxg]|/1 )$r̲~uǦ~7s6-c?Jtju%Ǖ8[(s J\x5G+R|me*-z;Ga4Ջ)s ;Ri0@s)S&DYlW_WwMx'u9p 4.QKOTOȴu(Kϲ*[j`:/~U/@1L2S_aaSA̬>3B3N 9٦3465.FP@SHy\qk_-;A,Z1-RRe,ϡ*ƴH${fp6 l{dBpҗM7PdTŇ}R(q!퓏,I_8„uyܛsC𣅭U$ |ekH}G .9tj֋I,a4oDʤFW~xfbti3#g+-?^kvd~¾s`8at,}C )'÷W] eD=U FeX eAHB Q;-LwџvU"O? B!uAya*5-E*΅KrO"lZM5cHo\4}J? ;m$68/ ֈOn,vj,s7sLv9[U3qtBG0n1RPyyO -S-s5QQ=:w8x-J'\'˟3]{  7 dMA)6WuESz&00аAT|=|ɗ͊-c]ka2зZo p}U$_X]gqtݵh{&8l!,vzYnfmz؏7D睲[)E]vC< kߟvúi!]g?Upџb̢vxpfn(*"thG.o 7΄I s;9.1.i7e:4Juʸ$H2}@ }^֔lt2{2?͇A-y(]M p3MN٘W)шȏ'>:F>_vTR@<"ǜA[NEp3J5!g#_H3A% .n$#Ӵm#JEyws͈ UGR>z. uxvGu j~ʱWffkPC6n)Ҙ&}O+ne(Y&,pMM-WfR(4{@.Mܙ~|wS:X<p*ᗫ$,hazo!C)1뮙J K9n Eѹz\99 ![;'#jPk Ӧ K/rO"u vjuи#'.\m2ge}$r47%WL+Ua!Z -]gC['xE %.>J4EQ|Tq1h*6nfC;- Io5Jv1/N[p\=5,"fe΂zЦ./ Rȱb6adZhѕGFAlxmU Ia,ZXf Q~F RyX}Y#A[˞ʶtzV Pr]+ ɦT9Cnp@;ІO68)DNDe`x _ z ȱ.s%#6=r qc~W8n} `IQOTKL9rAD{z8I8"8|*K{@/db==J* E35tIn tYޙFla@k7ٺ3ur+d2$^OMV;i͋-ˈ ͽD{եp.`G){9b RF׆5<<'ص6ۼ^w+dl+:\n@\KŒF%w rL`$ 9dzէ`oGU{qQ2 ,Y^3tah[= nBǡs-؝u:l{S+v1鯁K8lƙf#\ ]'d)e};*2ÚU ӍTw6m<%Zͩzyo%l"W1B &=A_4̨ql(z &N۔.H bd%65d/AgVfGoFVl>aQBAYr0״hgJQqh{L2~(4kA ;׸SZ6uTe LOJۛ'ދH1}4\% >F~;*K B}?{3e { k-w1zO)cӰk RX;\Q?_W{LEhKUѶJIѧRY̩F{pW ~]ZRLUJM՞jj;_v]/݃qηM[3bGwlE8Lv`%߀V"_uE;Nok*9.<_ksR236l7zgم֨ д`1H%i`Dk>1v`2Ja>ڌ"ph(CDݒई݇:48~rT6&)s8LĀϱY5ԡ Eg *3smlɟy#2,r m𫌲Un'+2 %zJ+sjޫ*K46qAũj‹`GZ9H9AOK̈́Yd|'$ץ|bmZv%1qT!Oc9{sؓiKo!I/_ "93> PO|YW6_yD7gy#ɯss,1g]VX HwA;No(W8+ ~{D:qr$k_m-O(ܬ4}X‘`[ǣEU tZJSQ1>݉&NF6GHWJ!ew',y/?Wr,|LQ#Z;A6nDznA'@]߷~üf;3\yLt].FfŹ!PEu1.2;ala@c\Q!ձҠ\^.܍?}۽ y*aub] ,lV:0]PS|4jd 7%ѝ"?!11>+vd[1D.9d e#}IqX޼gߧq)v^nٱMP+ E>CSĪR67ov*,ގ H =s^uZN/~0QBlIa^wJzjb:g!QBnܢfĒ!DVvh.c].#"xf2{oGM{ ׌߃qn\,|vLGX0שv=/m!@׬qQ.-qpb?dVWhZuyJabo4]Tֵ'(_)+›ڏŮfh35| G47O` PZF~*-&%8Sg dG494*jT_#䀶f5ڇ R tȲڞ_75#f+n,MO=gL`~wf/I,EvԟQٝAսG Ʋ߯pU/Cه 9(T}`:}Z|덦dXYrn3fER,dq,8m܍' b"~l 7FR aמr4>9$;haqw` z_ҦNbi] 0|P@儥3(SBH?MT5] &#NݭgءU~u>A+HPF8V>_z 0Whx~$Ms0zp24j/KĨk] J-G %3"y44e>͈17G;bvH/?`Oc~ZҙUNڇ%=籡hu) `P>ѷ:N^/lӯE٠$+u+7-n~C n03=s<8~ܜYjqlA|QmQN܇V;Ks-(HHP$<3ߍzT<$2r'F-鄇'327MVjFux8nu〆6BJqT1:S,@!DYO"C򍮈mbhdISOxg lS8J@\ Ν9@-F8^,R,*F tr Bn@J_| ᐟߩ"C~}{IIghuG!ʯV2-$&c?{<|Zx0{7UzHw_TkWj`a㆔JtR٧~=J OY}5_'{.R Tqh"4.`:&qBw$m] 0NRiyTpͽMXD.%GBAG&FH7킒Ch;sP08W)˞&b&!?,m1#|∨ֺ+BEn@i[= e}{V& !+*}UL]Ʉc+hN/OYI$L2_\721,(ksmB2D@\o @ғ‚  .a6:^DX\V՟п`|-P*71MXy&&aE "v@CB=Έ|d6~6:>T7@߼Jf_Py^${ԔCx $HG܊2~H7lVpL/?ry9+ n+2zA7# hV !)7'fHnK ?mœjNX!)`>{z wl?+G%&!Ąkjғ4u$œ/< {FUҦ/-9xi G&fJC۔D\͎$uBN} -|w$`iZ 慘2g*_P]{)+Bf %UiK˔H#:OY=pݧas`\^=b?.k W/%RH}t+IBAJ1YbB1-e 1=7}9 8-s1 |bi%2c6=jwa*P7w ]?N5*|˼13cBzݺU|KO UztTf6rJZf !s+.$[4t峾 njlȽ3&<`ܣafqF| z&1W7K70u :0\*@2FBXAl{CIX&} Uqg<<Κ8[ڧ8"@lx=lB;cg0]7Xo"r'j7zW95a r]D,-\ -"&%1>iK9g30qFyǑz<73 42?55URF!Uђ4y{6wf"Vݡԧ dv^hJslfob7Kai^z|4_Քh$u}'5)зTGyt9~旟a[ mޜvZ:Z4VŸzxdjw7nb4Bfv3BLG.|mĊ#6+\<~*hҮ4yPKhtՇ1`jәPF4OhD00X^ϱhrZ6q>>7m5X;+w V]g=h'Dqہ= G*mSL|NBv.SA`LkQk]=P( )M\$dÔZFm+Er`VHC{!S ?¥gB_dGקx\>29> [yn?$/ɧ<}=ɶ;=l^=Hb( zxIkjH xϢs!_bzj MV1c!jK&] -/E>d,WxoO|G۰]n%qTtB?InxsN W`HwDr2hYN AEV:~\4-r|M/'a&6CnJP}$j[ɶo/98K&DŽ {o| F:S}?Y| T{4Q^+_xϹc>mo8LFœ穡ɒ?ٽ)FΩ~Ϝ 6[:QOtU 2jv[ݙ~џT7ZL3?FطO/fѓnθ_}K%+lRN1`qP?^m`Tl?c_mKWCDӤAC{.!ּN}

OX v *`sH`k.|)>",9$p(!~7Ol{Č|mq_ϔ.ܾ`P<9"io[U-p;xwZO\؁FJZy'T1/#1F~w%(s$ߋ__h;cVx_  `m\x=\zQ*4ucNlڑ sȴݷ J}Vp'<̴r@=c[ɲ53ޑgؑ/ޱagO$ @-$\k󻫿cbOC}݄ŀrm#ըs٫q Y2%RZYG Y u>n:-WcVi.) GP鵭mӺeT ~ 4 Xϊt2{fAzf<׃IOf FmTBC`~OաbOrry0$mXnYeK$2g>, X(ewO>~G&)IKm`36- ֱ-w Wh \p s_~6 Ĕx9t>K*6~(lg;Qxoe|i2'xyac3\`䲄h%{%Krk(w6GɔR P$<`JB Aᶅ{q9 =T-R"+R預B+a=K7$oNts"4-{M{+o]%hd1* ~xB /AS<_zD}}$fo3u^|"_oppgS#~e>W\|3W59OM*mZﻮtAUb(홋WW%TWGK5DNqSN/%گ&qJ>NTʻH# 8S%7/v_ڙ K_,#Rq~ Hf$ɏ**o't*QVtUrifijЧHx -W0aUTd 1n+<|刈 Y/j2\8CiBO5u7o6];`ZD#%3>m{5ǯTcgnY✸ZMSDpiQ-E-ѫ7E} ,-bWJ; Eya(:,߷֪mNetY߽F5)Dbn(ص Y;4WZ~sF}<_i#Z=?6ӫ(T$ַ37œMئǯS G]엞=`P`ܴ0ö0.e^F|/L"AveI>M=,BUA)3#Hcg4aݴW<gwm`Rjq{,)1 T$G,q(q:%82'R;1a  v0Tմ@l;̸E9)|ms&R| 6" TW2 +^ܵ8鼯dMXoRPS7mq keҿC9Rˆ ky m/]k.Q]Q2^?"&Ӯ;`|ߋ;<0!2؎?Cd/Is( gw^T#m j`R?$Yˀ+0+fVƪ/N >G2ۢ-ޞ UjFUH[iln:49JUw-ft&lY)GcnɄlJ4\1HԷj!tk6&I-c]O[:`U,Œ `h!ѡjH+=#;Rq`Rr_$Hų'bU~\77} V^L%Xvy[RS^uo7RM(^ISl28vbAQl-V2珧ƖB<㭌iwbQ"܎lv«Tr" cO)M7Tq6V.~H*|%=vB8ޭ*ri"(ݮc\9u%?* b!3f`!mzBsL<z>Y;? t~== p2n8MV/ ACYoS,׾oR#]'=S02WP8mjVǿյ7љ F* 5wwn2GIʚ<5A`s)of]׹CU>g@aC DTRZ+c*D$ច ֺ^{dV١vLku}t4 T.֯êiknB("P ǧm3`Ƣ;7ÁPq X1bhj]hT!S`:0agp%1H "  D@hiIa>:=ρxnae6..EZyPA!=in+H6D=mƽ_%OF6jżhjae忁AL$bم>[7<2j#;7,5=ăa}K!<;^w(l:yMy@;^LJ(Fo3 #oY5 a6XmfQw"?d 9pPڊ 5B*Z8Fe)l.|E`:JPWq1@8Tdr \Pȕ0'E;soԵLxWeN%D, y5"M mY8լǴ.#6tKo݅|pLKi-}%Xh-KI(IBUӂ?ssb&] ՟/Ps,o=_bRshI9ї Ψ^؈nwZgnaI;;DrxŠ>urRv^buǕ*Lz>usEǽؽKb{/`n͍Mh%F&Ye+wZr } %iA[ͦa01}GL7PV `eԕ p<]WNfl>(jӻii3T St?^-9 X kc̨ZM3آٚ(-*pяM`E~2ۗOAðGo@QSʑ6$9$$'1&KAaOT]p\U D}"a| y4/gp *R񪷄*h=:˷+'0an5|d"IB),`Mmp+#]hqCo@6$ix^[:P˹sHEzQ'YI%XYh:-_v&n&W>*saт?PFFzImg az/#ڰ>&仐aφ~wZˢ)ww4a5p"t58JMx&R6]OsώĔ e,\O. &ɧʒ7f+u^BB&_Se? i\fkPE^[1@ PxKRDW%(\t\8;'+ZV6a[FYmH S5.j48[)w׃R[y꺷9n.#׍˳O9{غ+q;phFLsDž?Qv'ew $=}C!cPmi!W tQ|`l'\goP="cLvڹ6aȝHӐVӽ <ڡ灤qk*9TtȿT*Hj^>u-%η@"$%ks sqcW?i^[Lr VCGQ!d$l -fRY)[A }{ u8h-y C3%ϝc2<{q"M6$化A̼t; g~G}Z;%W +ф+b_y$c@$=T3WAhrC4iM=nj-]^%yn6c9L(s奖H|7p59?q =u[1OR4l~&fm0,Rox݋z!mIPؼ,o_<һ 7mtB;E˙lZ58/#9kʳTeFg扥? ]1©ysK ,kOzj3ʆ^Uϰ r[Vl౜R6yK74Ilߡ~q;̙o&Xòcs5]W눦GNQ[qϖP<}O":Gksk{IEؚX:i&ڑ&!JA5-Gj@]yNEq,K̺Lstbx(9z ei@@ :d*i^Wݵ<0m0JC>9UꢭT"Hx|=vTĿ_2,;2w{ܴ)˛؂0"xX#LW{M.QW,7 z2}P4G0iD/*<rJ8*rU,R`&}M5rY^)AWs 騪Ԍj4:Ա&Fxlt *qX+7|p.(rlwR۪$w\-6*e^5CSl&=P044mPxV\1C"fcݛ38rH0Y]{טsH)%h@q%Hp͇g0jo%*A>(}y'j@ "HOޒd>A?DZo7j0ٚOMP|tr]،1?qXD9 )ykLj_o.s QSf#uT4 9~,{wK Ɲ3'oіmXV2e:T"'rRM1rz)d2VU Igj7bB1AѫFdέ~ Azv+֠{ew@_H7.PX9>ͶWOpVmy >Zn\ej&!“8.pڢH϶BLaN}u=/3Yӯ`|ʛ,3Xn*GNr@:Rk 6꛱m2oe'ٱG JG[ǝ5G|0xHWR*:#ͪ0%#n7TdTix]܉aR;zroYf}*>lx#T':Pgp1چ0M}LV对Rp?l.Lc}>6d{Vqo/k^X>B qx6х ʌ%L :J #q4 P՟AwyN8f] aؑ`3]%Yqaza%;]q 26Z0KLĜ"* _+GAzu;- Ucpw\fCVe5ZʈI! Њ1 ׶]o5^8&)~3+龛5M{siWA9*e@kxCeC_:EM: ~`_8!Z 9>[t^kҀS,0: IH*=LLVq )4{*砎KSb݌4uMӢ,~ HҧjPo˚rJ±v&R/3TvV绷RD9C<ȇՇg ]!x#Wj 憛Yx QR^5STat=LnG&t|8>/IoH` to, {r>F=G-qV)c=2vO>1{qD>`UL8HVCfH,S*`ee u*0>I۱{F6+{;5ؾlM v f d't*#c2[@R\e-U*.&!s<ӽdaDUE".!d#Kmp{QxG44϶8[\j0o+(4jQ ĀȢH|[+\6{Dld;o] ED8wft~>Ӥ63 C Ki~eV<+=]>6QXbuj @ #:3ܪVfJhj&*lqBAZ B̕J#݋/M)|jfqS~R8E!Zஸ6s$J`]}471ws;@/S@0h7@h&,傀=HIdz$.`1 ~T=>=^ODN٠_pROW?Vò5@ÄLR"7^Ni+"Ӓ#aLZJJk߂qH^c_y .tX|ؕg]4p|z KE*"3(o1O3X$}cH"hN41P_vq$27eB-JǎX@`E*ƉBHm颩:nzq.My ^T>E-]Í!zs>Vv[]{4j(;>BL353)>A$Z gT%1H:^A!BR Ѭj@] ~@]MV&sxD=b =0q-]kWtv f>[_PMuDv2.+Iz `|bJ}N8^a_$T|3WjcLCۻ:fIO״&):Kd6m:9.cyB_v^82FuYoyF 3 ן;um 8(Cn _hE]v-6MwUL3)69"3Re /9cyLWpj^(j)~_:\\)~!LJ8 + LjэEl-֌Gaʒ3#Y=d?5A>~r N@U^Oj_ "f]K3Ipx zx-HgaPҖHw9Ub=+] ذyP0EʋGOWG ?LCn1e(("4x(,*Uj/R)u@YeC:wWs/CԲl&$ܮ!'PFacT߬QA#D/[)!_:ˆФueRDV' )ĖIem×E݉'i"g9Hyh вP`dۥÑͺt1H釚#IEݾ7JY: QVZI]Lka -F*oNՠD꿘~a ,u^$!w7)Э NʁC25{Ⱦ1񕟏v5PG*6̪K!9"S 3LBEŘ~,eV|9CG"ꪴ֖{ t6 j۠m2rhnXz_u:(IZ\9o$IlP3W)羞ZUp3$7LdZ2!h| tILba!A]-CNLYɃ H[OXIl_Q݉˭W u ṵ_@u,c,`.w|K; X5omA$[򤟮AOpCbl#òXҁUKBe[OߵaPœ;]a,aenA6|1"9Ep^rP]m-Qګ5D%ިM,f;A@K(J39wv>߈b4%|pthiM$w}AWc ~Ɔl[<.5F$UVM$IOp/ (Hr.XL X%] 'x9r}g'yIO i0n0Г=>p qRS<@SV|_dbx >$P?uNbG.Mv#d ,c1VA ?;z9Wa-i3YVA|*mjh/e*Fo9a=y>"q>`<1U_}N:=(T{ wPyWP[x>>:_3[%GRZŭ,6V| ML 5D#3k i4Jghqhm媝Sbя&ΔBcw"QqfqNC4"&%cz{~sLm.+݂ N6:Kpp*fbN ~P TG8 W"Vΰ$As9~w0i!:"&=޻[jYv/%b (P oQS)W!-GNoNX{9M;ހM2ֲ>Qt=glU0"ţ8n?; V5𦄪)z'y7gEdUgóះhJ&RT;*Hң܍g2o-\pWE]wݿ@ςs3J>WJ\]}d4)Z˭agnŢvJφDF޶~aܞaTi]$qebqg/ NJד;-5GDy2hsx9-9pkF߅yVjŀsC+v%BZĵ$@ETY 3Xn|"1qigmݰ(V6}󎈷? o~J!Hې-)ɀ4V"ϖ#ty4N 5xV_:E3K%Ό_4Ž%ti[,)=hǦ *vPMUZVR(X`s!,&-/sRhƙ,`Q%H+k+y1f \Xo V эW(m5Nb}-Ji&׋f+zZpH dX-dV Kk&7|+'#X4˴Ɵ1%5jCHtjeoP?cavg`wasռl/|xbBӨ{tDK%aF|=rgitn:J L'r2NMS%ނۺİ3*Bv\5߽%tqr"QUvj}k ONQ_6xĊQF:S9>?S|M@(Udi8i%=cr^uaو=X۫q}C"r_r]*5%1}7|p>,y|@7z |3^ 1T4rDj [ K#6$UvMӜtә{zv_Xf&%8v;L0W]HJLDm'u#lx)+V&Fޣ]4܊+Ɖ*ԡVӤ7@m֌?t.=)9ƮX9yUTi=L!ZK3Eb+B*| zmf|1x(仢j08wghHgQ%|%&Ƙख़j5D_϶fKCQݖ,=&"gYZ5f98408247de50f8ac5ab2aa85160944718281f6ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d