SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 x\ ]S]Slicing:threads=4elapsed=344.527cpu=1137.528gc=17.336factor=3.307zXZִF! @f]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+k\vOاd)#ViPC5ޛ:d8)J*ہ85g8"Q!6f.k1k⻦!$<8zZ:G$t(W9`Nf[.d%(L&&>O5a<,Xr{ʱ[ޏƑm.)0GSDs!]6g5 Et*/~bĈK{7ٷ➫s| SX ]2<N['N<6k?3$!|v^ƜpU<|D QDLlYS{ 1 M3M=SDfuH l/WefBA`ZYA (L~D*!*uvQR0HT5 *)wc3KC([e>[ E{[â8\Pخ!ފY&Bc1M'z6,wd]a*V{kZAXQ&?md5e#E@S`$Var+]y>U0JŜcm$ jwHd{8?Y'(!/%٪BlLIuQ3nFqffC>UjoQۮU8~V>7xYw+Z| `&Ci:i۝<nlX/`hH~+U-|q u᳻Hn+tP@FN aoh'S \JmꉽzY 6$A\*q9ZOxu-'P$h\ds+wh rLˠbz$Ђ [q5IDx)cǴV;¾&F[(\4>(=m]Ul35C/zmo6 Y ɚ,6܆5THdhgϛ _ZԚlul&$xjDEwyB"LҎYc_!8g+vl" `> צ"*-޼NفJT7KsD]hgErG@u萁^8 jt8,~2!SFJ3vB ޵Ĩ.#l7_%˽+/p ?e+ԃPckć^x>{W_I#~&Q:g()9H4T{e Zv +l.h.Y}ѾڀMXbE|ecMT ?6 W GvS75#%4U !b5I_Z_zg8 RI&xSy6X,U8[QVHDcJ G>~[W]xJa7K˴BT5Wuo&a,[^Tyc/$:?@(@ wh&X ;;iG lpaY3t+LF\TIanQG}%?}$\we/krgӘx7N?O^ۧj@:;^ݥj]6 3lWa6V13m/(o7<p㞣zyMU0X_0%2њ"ؘwkW gs G%v\O>^iXY[fahufID<$N~m :4p.S8 bKfn9r'$P,0L= aeIԹ> `gO0;M\\VbQD 5B.UxO_nCr>g,Ǯ@Gx3>.apq0@Kv u`p3481E-imH9 p- pt"K%kCm{G`^ӤuV\0\ʱ}"TѨP^{5en`ALehewwYx$((i|w\F4PyXڱ[jOg,1PR4 3}|4$ӯIi].Q NY3_\ * {wge 41 U|y oa$F{Z* 1N ]Znφ"ϑJơ3zCi)01Wd H^f ?cA68{=34/e۽R.sx!a'#]K   Slicing  4' 7KCY"?fES(&ӳO]uХL-b~(kHaRY3cS J6S'Z8 IDſnjQ*4ni$v^)DRʦ<lm<HhBL\<QAmRS?26/hƬ3 nŰRlgFoi+ (=" WsgznY^ 0.1^{ʑ8@P&6P:?lstl~@{TsD% 9ZE!kr]Aiqc,BC1DQӀv̬@ODOc--wfMz#i;(Ċ+#IZۢ6[̷>xm?ZmF4]ZRT^y,AAekU%t&B6W 8 YoSt? Ea0GnT* f6D`z^3WR|4+:a,ZHt +1ɓDRFvp4P 3Vd.W_&>$4fP,W`H dN5ϗXޖe[鷵mz^mGNDʴٙ3vA_l& K$~8NLg_֌3bz@́3^U}oC=p@Yf.xx'>2/'Ոq>ꊣɱo.& >G30pjΰhcVǯ΂݂ ]ogGtZᝫQ{U閧B_Lη-'ꁥW8MZy·ʫ[< 2T& $l3Dq?kYb1I̗nk50>X=&>;n)+C8d'R= mtK8QY·-Ncy d_ r,Ck\<3Xԓo #)p=JnИ LpQll:)>wdS9gmHvenӸbN]Ћ1q1=&~ZjDSJɕn*]494vo&(e]X*KvcuhN& J.Ď=ϩ[tͬ͘ъog^|vpjpUe;y"=EsѴTs2%`;;@D?},,&* `[^ &{'}Vx6e B Dd?B)fC)8Fjav|5{#'B.&ą3"~ʇ{IaW#hYpيA/`WgL[}s c`ݔ{k.f-Z虰ƾX;O˶)(PAZ?L:t8 A>})f?7^?7E }ou*{0ҵ $8LJ02@k{Q#`FܫX##ޒ.ynEt+cgYZ7zXZִF! u]ŗXiɟ쀸6馀YTg<q*Cw.wpr2.{Z9p䗃5yH],Q} rZny6Y m)ul%`%\;vV)ߪ~ȧ T‹3WTH=X"Զz1T5''Q)ΰLZ5fC2ϗg3)t6p>By5*GԍڍzǞ-ph3~WjBGڜ((t)bljIx JcY\d|aTV ocQE;nâTCI׋>^%gSž$!R3H/wvNK{=Ė1ל#mS` 7,PKY $cʌo3,.nsY)24.DMjl6لǹְԏ^<]q]e>oyli" S)*Hc@,bAp]~8$S׹x?ȶk"ʲ}fAr?2.8a.l]"+pDzuTl_]uxKcC,Ғ0u^M5z8h2]h] l(NH % M۶0n{\~DgYZ7zXZִF! Bc]ŗXi%L MRU)pnK{ SmXNnqZ, 0Iގ+_ܡ٥+#uŠc''6QfH= *}%U,{)lo,.zhl j@'ņAR/鮋m+pHZ]x}<?NYX ?~- %HDqC(;aڂ8^ruv4oo]d- '`DYC;N g{_i &,^-bQ_SЭs R3M(Od%I^IAoIc5$vq|Ca ܠwqEh<09F~k(7.5ɊEyabpװZXYn2Ze3%^¡5cB:L̈́кb"ѐem8XB? [u0 ڂ7(@#wki)%I?Z\؉Gw=S ;|OVR\SN?7/b.g%9bG'tCʯ ޘMN70Dr"kxtzk8Z-g32(%l~8Uf@ ?4 I_{FsR.WMq3 %+ op) SDfaP !F[U~O-ED4̬&K]K*_N$|GV{p7u"(Mju-,33})kfZ1 ~^Wl´F `zo(盺fcWW ;cs8|eM`@ $hi%-iw OjD9 T\+3SҎla9\_uK[LWk]IQ棋&w QU\Dz'>-K: si7^Ra]cDW2v]|J5gU鮨UJA[P}s{%Thibo$Z$ס] T q61D"FV,;-Rhhɘ)RsUy&xs F~5O"x:t >W܅~|s+ŒX/Ut`t#2P2w87՛_#a2uy+`j}0-?vbd{7.OJ >S*URЧm:0{mT>JT_ubM#Z ,:bifNFjQVIm>vvUv~Am7Fr#Cr T5Xr,+}sb( soХ-is J d1msP/vO7'2xl}<F^k+iҹs|-r'q c"2gY 1rHo5dݒv.e!s"Vr:HAېWj@k% 7hϖwpaV=,O\') /پ(1v N7n.nG|ڕ#ZԔ\F`B C,)E(LyMbd om%$&  Ypxݎw1_h$͓I1s.fa4V_?-T%&#s|X|֏my.۽13gd|6.WrC/Z,.5y"5"I@(xWIX{yBA mK,/2eͽ_Y{+>.Tcl]I~}y 48 m"w rrཌྷs DzrU RNkI1m4?פ[qꔿ:86=*f@V R}Y=Zx}{0& ^+sPxɸ&I'HC{%jJq͐ !Z%EE+R nA:AtJ%?3+vSƯtO%Qd td]zJǺ ЌK_qgw!p$t=Xr@ G6I)WkNN:5SXl}tcwX);IUB!G\k2aCKhlFR̴KcR zn<EnV8G #(K\ 5gɋTz;'s(!C X҉cKz;#)PhuD/p&"׶w\AV+91q֠`ZܓԴFYig.7fo]!/U=K10[P!sJ+kMlqa'le4ϙ^/|Ӆ v,ϸf΋&b SN81S|8pߗ6DEΧ!# F脢` A 4{̭Q?>|kq=d^^&,? (t h7Y&US{ŵ*~FTc)k{#Ff=PP݃鳒M28XOMIwhgR(?cm~Ǐ`YVj,3i;M6ԡH p:xY>V(qvb4%#+X7ճkӋ6qRgLU*LAطA &G!q\U1p'W9(mɝrΰn 0|浿=sn7U{Ӷ.!MEj KY{t"]ϴc?%&[txPpt9`0B ~^g6 #?.{_9ipȾXհqM@0f"^NgQ}/ z Xp5ᙽ-~Co9KaEy!y :,\D S-чYc KIsQAO(Q-EM!m'4P͈o !к`%EYE&R1]Rp YO+iF9oX ʳb$_x9>| 4 K7iΔDԲcEÛ}I^uDŽ/OVAX&J38vo7 @,>z6ń7|h(%ZYœSU=u"$Ek<UФX;J/i XR}5?P#X_ØxWc?1N['FXXs'd엲46ǞzS׸963:{ytvp-9F?T' 7BQ:vo:tH&ɮ/x)F[~` f18l{p*ˈÉKx'IݳY' - @*(Z?6W?@Z*Z1Z_f:IQYy`7>;\=\-a~5 mQ 81ܰ]5:L\ ܘ͢NH&Q&BGjqsQo:Fɘ ڸPwz -Ij}+_ϐ^ɯszs92Cse3鸋 1HNTfR59s;0v*l?#Ub@/˶ :APW*4GICDVoe%V8gJa`tS}s,6IMƤuV0Zv'g[җFeBz|vZhq3se9VŦC0D6U΄3kSR~6CK;1y ' -QjZw۰b4wΰp8UU e2\EM1l4Eݳ(2>nqێLml+Z{R̼NQiVC+.k%:$',r輬{3O|[oq)+0e}(,hUUAK<ߓ4#)zuhݖuPT(ZFƁkOxvNR-&wt8ӎ( Xt#8R޸^HC;0l[~\2 uyB0>lugkEoiNxDFu1!?OVe&1&YM':i<stzVn(sFGq^[M2;mMsaϴ^,^BA/prIODy&f.:DOZh bLS֟ɩ; Lܝ]pu1!HʿĥfB>'9sZx3ISւ7d"HX֔HMvk|q6=9S΋OTZdmo4q?>tq]{, (1X!YJ6pCȐmq~m\x4zr}f?M2Us" "$*rD Դog>D k WޜA,=e-t 9¬*$Q ̓X!k<(Na% LD >=U קyqx ,\ƫF5ֳ`VE%z.*dpF?mڪ'cګ!Bxǯ[mR(RBJ?.QFoRsIBAVV\`ej!9<k X* S%1],V_|M_ؠv&֊0٘`fѓK!ʫu,ؾc7bc.z[ء5R@?6v|k{hh~t6ǻ$:BI"XXkyU^ZsEolG44pHnj,*ͦ@ Jȵ8>7=l 9)p3^NT|mS(#t[ mDG+ɘޥ˃99Ӂy 2GD֡4B)39KA`&Jba*ht!#?;h")D$? HkgjȆٜYV/ITub9`vĨ-Y«Hw-/+fZ]зL-3U mұYGFPdFtb&pYP:- dmCr'Ԅ(:-󴯧G.Z_^Mpva6UVI c"+8 OnO帣?KX%7BaTpn^A8 4Ӽ:KQ):M8ʶoj枻D;⊱L3)YTi^5sHD>35ζ=z@b$F_~ZjuN>G DWN6 !ǖ M|)({w:x\`V1%4+.Ճt%UHJ꘥,!׎>nOPD:O)*GU9ᥭ,ِ cZQeOATH%%x aR-`U0; K4+P4t,mRDG-d3,D)UD4JϚ#Pl0ȇiUj?ѯ AJ]iG d{T4?q ! 0qgC]t.3֝&?סshC=>b}hiu0Yu9dl^4S:hʘ^ebl}@L0'2BRyqT=n,?+h4MH9ˌRNC:&QrU;n`O=?bfv;+{}Sn2S#@L`t/9ZE;J#ϴy+J/zYQ\ ,:2 'Τ5oFo_ά[͖HҀ$HV;\+!? sጶڏ)Q`L\!#DŮ-o(= /Rϙ^ƉM<[ RnP XЕk>SiƋ`ek|odBȓѰpD1 `}3jjJ FR9u׼A*ͨäg%q }<i[D}! ,o`Hrߕiԅ,"̶؊qEȈ=EXT:Ap 6+/Nw<,D] 83 `))@x2M4G۴ ؽ , HϜ }-xb5;9waݺ$ju(03!Jd4V.h/ %?x%?4x) n !(T$rb%$fT;qLNU#ux>ܘHJB݀P)|$ڷ{fݩl3{b:jy}`Qϵh<mPD#^w_ iȒfίy=9u>uʏ_ɴ!-T7͑'\aNj}\i\g0FY]9szAqG`epv[@=HgU\|*6B՚Fywް3v.3GV覄5ؕvː?A36:YJZZ>+8pFOV/D)Pl#t^8`Ye Y*N*\8| 5OٔL:?.7t)Ft] ԡAٯҮՙ};n[u?-!-D)hr/s y5-76rt8v`̫cP,DgR7?4TRqEU LՃHMNXG(r>˦'NrX` ^-{lTЦ5H@*exwrv5+oIKE(Fqs1(@&1R;L.IlԐC,ɛҸ}ӗ1l~[:^?{Z5K!2teu ; ^^(اkzɮd$VcэjnΦMѽ$كBy`%1 5Z8JExsXt3~LjhBYMTѹKcapPǐE\T <;ܜD!,?Pu]idXayu+ϥߔ x4́D2X~R1}C竐e kdQ](}9JK`1` &*䭀%+8s+pC)YS,ݎrƇ8SӱRڍ?ORo8 ={0jIﶙ5`jNh[h1;q jU]V9Ew14 }q6oig ݯAV (j f%c#U*3c<+^+)6ph%^Uسrɬcv^{I7(aM;yU2[~@z6H kb*@Wj_ctD9joURm ̄xRrmm57Ѡ[j$VUHp$R2'&G(Ml˒"A<x-j |DK._J0 [h!;JW,ڴCB2A{Aa+>0x Xܳe !uGle^5p[TGoG B>`8e'^ EY |m.<)U5 'u;234-]B;|^SWiѤ#{jOp3ijQR{B k`dҨBr nOzY=}ti*$]}o$Ae7O~.jtN@( L- qJ~:;Z M74ڷ@%_8 >is^׻q|wl_΅+i5kMN ʌnd x^΢G&skHd!KI$Un0Tu& Ѹ#F?7 1v)@LNP@Ә[:)a@>O22϶A6qQDnePWz T3D)+ ?< ZD.SH 턚CxJVm -RȑV&*`KUi>C4+y.Um*iSjNaT'(iW@$>1<7%bL.ʇ)`5C=O^HH^G>򥂏?5#/U'ٜӝ@8_!& ][y"9Ŵ((QR!X:x`ҸRj~J:tDu­"j(R)T-0@>q iVo;%x51ۊݨ(UELtpXYZ>iwr!#4emND@M4B.Oŧ8Bq^rj>o;L3 O ޖ,5h2Q=K]bBNDuQb TqY'W$$tYՙ<-3xs.D>'guwsյ:k;RiP_?5 VOAN ^Ἆ֛s'-@u|+Ŭ<;X^ǖ -D Wfw*2z/rs1Qwsgv5zuEF}SW#O!ixU`mDPK930y}EY*#*&5lg 2kJB3uZj8nvoFkx_{CB?]eiEVI4<KE5-]'X `j@ʍ'muCz E@¤VRbvz,_ΖcMBC]n;؃_QO"\/~<*VuE Dx:ww]lyv<J5{]6{Q,t~כި0t,3פn1sk_W064tA@/5lmGnqTk#0g 7po{^e<T#L$}4 y~,krU@]u٥%D/2;;2C5dV zgb#"hYH)&_=h p&=޹`ʥ]}Rdo3 6qAT3TS$,ΑC =7RpT5֡!3qoՎRf9k3ZA,EMqM(sVw v슂q[G Uf.9Q&:6a-\ZFqwЍWº@ j ><8(h4h0!XFpD]~]P }iOYN\E $)gliJN i.ӘZj58gEDZ5w2lK}3oXryV\Rik|N簙 [̬[/]0XB믩*kwO#!| :RO="ZhdOVm0V%W\txhHtl%圉CH| KOۈ=Zi47;d;?=b_t<n#1{79ē`<4h=`s[P ?U_eŘ~k`oKS3˼BeR~yV~ce "Pʕ; -˓'OAP%)o{@3rH? y'7ݷ/+ԟY>bj0Q~$`nk l&z< zҿ1 71q,lu9`2+fm?^JgX^u *4rpב:+;u{~ kr0UQT~{8QM2 +=]Uo)1{&* B8Yd:&<6JƞᶽmLhHU$t+f- r͡eFgUeGFɚy}۞(9BLOmZcLv.>kʹkcbf/WjV$D;rD?[|;C:BD]u "Yc113nuV" (TF%GA(a Ơpi kMRfyfXnV'HVg-ӟLٷ# Q @Z+ 1Fu4d[w'UAAdp:LD>wnv1.j?W I-,%wMrueWw7MF蟖 Č6~Xޭ).Z1nu4EE\@FQnc9م\*ӽ;eԆ1(wYr8^ulL{AG$@aE8l1R5߭LwF!ë \;"HVPO9u˛u;|[[ $f?:)grc#?hIJ?&`p .~5}˒# )5+gNV2!yh(Gof'C%ۧuBmVv!<^" ʥ-ɸ?bW{?W2c-jnq3S8# BGf͒ 𘓀Tlvs6p};ZT4ʨ~## |L+T69/w1?$ܱ ϙ{P_KIy <$YڴoAaiir綏^KE~"VA|죱#C 4xѼME}fjׯ^^C:1>UU.\z{=8^z$7W\BDBG vEwC!,FJ#>Rk08ߺϔ:E66Wl=6VV}-Lc\>8jܖEZN_# ]ѴW)Zdg|d=s,TG;T[UGqBnDAEGϣſu(cߙ˹._tM\Q5b}+0չ])%# Dʹ|҉ɫq'BD7J(w_I* ^z|.N!̈"`XO۸V ,"$v9~?H]}H?LG9öJ{#_{.j-U/)(dT ~^GPwԤzg韘G|Go(o}"wW{l华`S2!n*8iu W`Oͯf|}ae]E Jr)YHhCӟ#X1= )]uՄmd|\c45m5 :afRldyTQMl=%zßv>Wk<.~l̫טئxE s4@(F H"2|i/ >1ЍKhtοsDi? [ǔGrW58 8.cD̦Ž:5B5˗dw~ryj3ΰcg[aE_6 .| wO/B DW.#--–ZxD9 TQ<%u'u> w<5v rv>'+C/!^Z z72AnbuP<^/"q9|YTwn>l13^Va (q-"$E{9-GA%O=m)u(@mؼ5O:ܓ'(&/]6:ʿQ46 رPOV,sg6BT%|/H?^BaKS4~[Xy;]t58 f]7csBO!w`?HtNޒGH%&2A3ofF a0jP>dS"`7:z[>H%|_-Uu:aP+9f =Ly3#O(4zUD.A-F%-+~d;\5׬0s @`f~&V)oD:&9Qh (R~f<~>2!Y!9ГTNHa96ad1Bޙ\Cse.HvP6V58U҃.qlbYk2$ /=$1=[VMwZB TዎKnȦ}+A'0:h&jJ6zؐE UơEI!)e(tٲd(zɺܔDn3JK:aby'1ҝ'NG$g *!C~ X z@#ɰ MMG’E#͚.ژ$lƣu9tIrw LbЊ$ޅgP,Be̙VP~96meHus\??bBd7*k_M$;+d 7ìAG4iʊik},j^m)IU|Mkpa^Pկrbg m68~ M @,αih6=GPOҧԽ 4Zӿ8n"h„nr3f9Q+>+j b穨"Q&H.aUvKB= Y<.TǬjU :d^ j€6抍j Z>͉M/%>. Va1V%nc2εE;mRGp 1[},bݠE&@APY6=%GDlpU`oh*(Bۮ)א~\1"/!+wCT|4E />ua=S }tI_Z9HNI棁҆e %#.?53z.P5W&Ѧ")P)}phӆ˿T?%-xi`xd롬jA ?@/v8s2:Q{ZGN>~G QcP.mjГrSF1i6 Pl{cf,1ۻ,N4#{$( @΋ 4Mh y㏯%XTs *IJ\眑Hvmp/|j#Vi#fl P0HFk*H7%3lXnD0T 9a'RxA}=NS;C- $-:oƄ.-MYƸ#Lꍿ›#5V(Z|3~uō"yi FiF|5bT:|4#8 ykG4'S7A[˘֎$m>(\hF2e!(k|.N`nHc<CUbNO2mĴ;UuN*@:Eʲz/iC]^ ^-;sßr˺EDc 1y9{?bP9zϑX + -){$T:#`YG;ȗq\+ǰ;) XH7K,Kl hd''YNCv˲MB 6gpϔ΢Ro?:m:S48ET逷%*B˃4"gEpV\j8#E^IIuY+(K8|i <$-ڍ݊0,;A4~ Qtj[6=fgŊ7FH;ҁ Lk_Gqgbԛ첂< 5$F >Eq^]q FAΎoc;G#Da d B' w }xi'r"'SZ.H.PXar'C@*i_Ǝ#r na&jC&KUH{o ):=V_ef)ieZaIInёuXS*[ nl0WNmi Ƭ\V{^BT >( 14BhU,$p|ìB;9;ft5Yw (%&V߁ ӵ@N hJʞ~(h8V0(p fjUD`:ͧAZ^[hzYypl;fWZm&E 2:lٔM T͠09paV[YQ"s?>K v߿ͺڥP$ 4^&7d -ZQMG0YRwQWS㨷nx[:1dHQ( 5@vM yKG&n(sG<2ЭN8t(dž)-nڧM r1%\e^d ~gW.)=T>ٝ}ٕ{=z#(Md,ѡg$/I9ҕA^G΂Hk̴rtRGs(DL^ 2,r$kE.Y_OFI1w `:^8糯{"~P $uO%>cX+d%r2BdEWE%5_? -:1q~n)7GW[? j*{PS,__?U؋fMH g^2a%ۋ`AaNwHwJyw4*oEX HLv >+ga I@I@=Q9sx֎tYcbfJGZ2wZO|+H4}֞5ֹǬ?a!]ėjrmQ}d(2 U[l\=sgߥƢMݬ PqpiJj}Ǝ)D׫ZС|#dm,er?n mA8q1۲(7V5‹Lx;UqW85ɍ\$tټ;Lў VA6=jJ%^s-YF BC3PkZfd &z'6J.+6,g7C6i=g-τ;IN>Y8yk )3, H#tN R[E-j\Kue }\T$-EUXAa|OA[f)EL<{Tɑ2Nl6X5DW3Buim;v]e9a,nq,ًNCFqO5vX:_(oZadmx-C&'iVLIʔݮGpw j-#k)`G^+7g:*0XhJA+8tt%)h'Z%iz#ӓ됷;'J@O .3pG/:pt֤W_T-Ǚe 9;7F'PS2m$zyt:U,n=urhzJ3W:줅 dEU;/ ξ}EAeIQV@ƻis^RV-}k=^h]r.=N#,+ DT`3b'6QJ eFw%mH?*x B7&ڇ*iw2 ɓ#%e{Y#A@1U͕/+W)Wk АE $}#fU&22f|wAcQp?0v#NEcu0pFh%Dd]uI9}zX{:N)=?Z'cOLՃR=KtB$cp!#X4:z6E^yW {$(n w?HWHFaY,I(H ]1#ӃƢjy&s1WTc?@+pѼH]լW?%hrY3 s71Ja LsC3RzGz*ZW0Eg=e'!L:&R׈gyc S"iSb" WycvMJ$Θ@pq LF[r]kǝ}9Jy?3TΠe ~ɽcZ&{KkhH۠!BOW߽X@?rM|MK&]}hJZz7)[b $s}20De sW^