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  3tTl4 ]]Bell_Numbers_Spivey:threads=4elapsed=10.027cpu=32.200gc=0.4127zXZִF! $]ŗXiɟ{hpzWc$%)_gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNauu@Ii'jQ&uOxur׍!Q4@c(A2(]ׂl ~)soY/KEo <栈j0bΩ^;HgYZ7zXZִF! T]ŗXi%D42C<>JC[/~ӡd<"-=>GV_q#s.E =>[H϶x0+}`L{ÿ9@෰nc>`d{ʍyԲ =ZwJk'o^c氊킁%O>֣!Btck,gшXU7F\=[}M黉P#6ҠRz9~_B-kAʴ6ԫ8XXmGɼdf:-p-i뚎RMaKc9&l&ra19/H!ձ}rGʜ'~ mr''^aX-0,1[Y "և|]W !P2Y'#u*emPuyMAFks ֥t~OlSwd42hvEr,0Jq?tլKPJb;SuDZfسacxOl̵.wT3BIα<7̜r|x7h:4}HMjӌ4[{^2%;d{[6\ݺfUA-F-ĆΌl ?]t@RZ#օHb1_Ye?wȀX^ߨFw");$_#?CBCKؚn|k>~]f?qE9[)X4\-"}TV!V 79{NI#^&Ö#Lh Ke}[DTʊeҵCJ6p5$30]`ݱ Q&"5QF6O~,LR!@(2oCR6&̧?Zhى/N P|]=[ӈS~MZiN^`W9WӻlH@b63Bƙ*eMє8p$b$cEnНOǽ"DCH{/c|=ǺC\}!L{pCBb\YHSc#"DWr A&ʳw-7z_4LL[kM GL[h7)bmlCgr3Ւ,Ɠ4pSYn PL2Qzc'dŒ~}3&+Q!~:l])]Ӫێ51R#}{ū7ljJ6hSiU$~ZkϠu?.q𣉗3`D{џI,-(Nk Y-E#}X'ɷSU_F՘D2t(|t,:{ܜZt,|k0MA} h?NF،t;zLSG mA Q6$枤}qcؼ*Rӊ=%kp(6{p=2+2[O9"%]@"qMspQ{p([<'6a7YJS `4KajXQq^CK&Kd}"%RN3&:>"\ېk ?e_3V$K(gLi3f [ Tx\``3aICu4X_H$;>?Q$[#7Wx"W`|aJ2TS,r㧜n+_ϬN؎R*HTgj{xYl:dI{E/C'ho5t>څ޾:x@c!: =*w}HSHv{. 'zFy"˽Ҁ@0-W&|;T_ }&>@f1U{`?iwt;7y}pG{dx#/\S9:Q:A{o^ -NCB_0y!PwSFjNӁORcXڬ dѻ_,9a 6 8F០dj'Ε=wÈ_9 \ #y6QvrWP7Y,YJ9Òg{ <oV2e9Ůov(3]Y՛'AƨNX>}2*dkJ%sO+@9y3\brutDߩ_3 ٰ 1 B%9|n$p h/iJ>0V6zPi~nxs]:fMw ɵ^*\^]Ԅ*(k=*$j«?ء{H.&F?-؍e5n5-%lPaS+$ NT@XyYaLMɜP'Χ]5G}t f\e/e#N:lSy/(P6lPc+hbXq 95 ^yj5IiU$~ZkϠu?.q𣉗3`D{џI,-(Nk Y-E#}X'ɷSU_F՘D2t(|t,:{ܜZt,|k0MA} h?NF،t;zLSG mA Q6$枤}qcؼ*Rӊ=%kp(6{p=2+2[O9"%]@"qMspQ{p([<'6a7YJS `4KajXQq^CK&Kd}"%RN3&:>"\ېk ?e_3V$K(gLi3f [ Tx\``3aICu4X_H$;>?Q$[#7Wx"W`|aJ2TS,r㧜n+_ϬN؎R*HTgj{xYl:dI{E/C'ho5t>څ޾:x@c!: =*w}HSHv{. 'zFy"˽Ҁ@0-W&|;T_ }&>@f1U{`?iwt;7y}pG{dx#/\S9:Q:A{o^ -NCB_0y!PwSFjNӁORcXڬ dѻ_,9a 6 8F០dj'Ε=wÈ_9 \ #y6QvrWP7Y,YJ9Òg{ <oV2e9Ůov(3]Y՛'AƨNX>}2*dkJ%sO+@9y3\brutDߩ_3 ٰ 1 B%9|n$p h/iJ>0V6zPi~nxs]:fMw ɵ^*\^]Ԅ*(k=*$j«?ء{H.&F?-؍e5n5-%lPaS+$ NT@XyYaLMɜP'Χ]5G}t f\e/e#N:lSy/(P6lPc+hbXq 95 ^yj5Iw]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZʕݛ/ZMy? lYiÅ2^w"ul xDeEVEu[cs5_֜:Vq$Ԧ ^.R$Yv',C@ NF bzG*}?f:_òy'X::kRkBHt4G y ,tEEMٰ`>Qs,˄bso xYNk6нӜ=>>EVv]dx'#~ok=ޞ2_fҢeVX iy;.rUp vscp)DapggZr8s zADжFq̥0W*FE#OJԃ$,>'z̃kk#Q '?\U7t~7*yn`0R~KiL-OvIP^w[1icIڞn~[d([}]9z C.R %ץsJb&{Ua}G"z"Ub3QZp%ҠZL0ÂJ #lfX e6UVQ۬S^ernc! G&wYtd^zzeO] # i΀ eg9bp" ֏!iCx:2e}Ճ;  w̺ 9%1/=ɦ){.P ܠ7H8DC95 ^+F󌺿RrV(CDZXG{,&{g%^+ۋߑ*ִ3xݦYH$;#)q?X|Z@IRd2E]k:i@i%ꌞPm|xvpCR߶6 @y0s|͞1ա^\|W<F?N(xmnr%9Q*9ܔMoʗ9n5׏0-Ic iTĩY"7R q[]O2ۥ wn 9M&WN}hnœ9GO<|\B;Fwp͌% Z38(JEݑ][ۯZ\0k<} "`Z \0^3cX7J,I60H:x$ulyeh)kDrU>"w7]MW3˾BAlWl6(P,&#QHBHoP|eWՈ7eGt,1&&wQj4. A%GG\6\D yqTlTxz8> jf@U aQ"$ƚqߦ@u!:כe/퇿Q,1/|4hGZmX G{B=Rn*eLAq<<Ъ[ 6xs<qY,[F*| ]c@BJ꿧b)Oa;i`EXđq' L\ZG%ha_ӝ\bcIjp[g2vCAd7DW= -[$7n伸#VOS?s( OD \3/Ju?x[U-= q=IQ be2{{sjY\2MhjMSGTSsMu=ѷK(H^P7Y,h-)ƝfS d(hj f|P@+_V$Eq֤LT! ^S*ᶏewx$m6#OG}vs̑2v 5.4]Ę}*˅IDjw+6#R-'b3L!߹IȨR7x6"B  "錏rMUZ. [GFoFGpBm9r1˛TW s 8#ejF1I#lVG$48$^?҇e}Q5旺(\28ѾNg^2/,64DowMMV*RCxs/Yx-w;vĠz?"}Dq__42І:&vۺ)Is-K X 6{(ydjT~ПSW_m/Y"(X,m_?[䕢QV#ft˲Η CIϟ>$619f wXC`Wv>gzTH:HZU4Jm )4nV;l(> 7?嵟?^|M/gYZ  p 3M% \Bell_Numbers_SpiveyBell_Numbers_Spivey.Bell_Numbersdocument.tex7zXZִF! $]A-MՋhvG"uIBm5Q!PU Ua.&^B\5Zz>yF$&B\0`KqLJOxTjp6Ó VDĬ#+zK@{Ƣ/l/j;ͳ5OrQVS 0◑,3a4iblmdrDM $)`ug5q/lNf'68M@OFnaV?Yw}WQs et=8GbQW3?Pd9 (FQMiwSJY@=P芆}b0B!:QEftQm@ĢP"& '>sFTJdyBm+T&Տ&/ڦI?)&3xp9m'sCEdĺ=Al⅄kQaʕTabd._Ix!er/ҕ-?Ѱ w#<`{P@&&EJٷ۪ ۚ děTv wm2 MOs;фk> WfGwZ j\#,٘SF^ b{nxF8(lSm;ؐ۠GOl*9!V({q_NS!$m+zerRoY-N_'ASz{KD5ȼs^KUQ?nW}(_y H[-\e  W DvN(6"XoPJBqO;uVQ|<7q1o~oݷGU &J[3a6 j3K% TBell_Numbers_SpiveyCard_Partitions.Card_Partitionsdocument.tex7zXZִF! grd]A-MՋhvG"uIBm5 ~*ۀN`h=?{%ϺJc E-*)}B08=]~4k;~ ޓEvn2h+pPAg~b^ gvmc,E_SvUhwv7+uy-?m6EF?53E0Ucu"WAGtBݕ?Y;k%xﰸlc| $C~Y񮁟H;q`©G";P.>| 5Vi0+'3#olEiI>ޮstu7^ڮ,1%%`_Ot5b#-,' h_ޘeeU"\v)\o0oa]2Bh2xE ZQNpaYDn8u d0iU?Q-E N۹,O$m;(jͲ5O-KnqzӮQlQְb|WMIqGÈbO11 otA-Y*d=LZš#D$,z{ybz3S/g]2-Ɍ&Aÿ^ SJokZJx'f%C~CKa02`@&vg@-Ea@Vf1Ă!r@ dcp4b*FU{́ o#e;oU0&N,m;Ng\Oc7*:Z5pʡgrPp}GA6M٨o(ֶX%h g8 ~Y81 q(U rgDd Ց2/g)I臺?K| |H$A@y:7 8|ݝW&156oTy#+Lz{{XG'Hr9 p{TItO.s8 (EM-f^[x101t8o޳8t\`EgȀKRڊoF9r4* .Z7{uM|<"dr&Ig ϻpcjTZ~~[0w bg{Zv7ЛC5ё8rDUs^{ڹ6+, ;?U\RJ[ w2)f >@?Iτ;&#zI 3x-@${KOSiߵ,(] E]J(` 3do XEaV{`4>U §==)a|S_a?qo2ݏvv^gn%H>̀n>84=h?Wר'Vf+֧Z1xT׺Χ{>\|ʜhA=kC^0j(_=;ρw53i?62o52 ?K!d!Ioe3 vJŶA/\3D9C\`3 Z_B\v/,Zdj.k)3Fs/ ?ψb1ȩE\DZP >uz ›NXsgSH&A|p8hܶpQo\eB3Xu~Ux먚Z8D,~KKl[3GoZ}PL;qBBeڝF^X֒ڊhp {tݔpe?ix8 O߂ i6׿aoB4"eb8HglԪƸ8pS1$X6eD-d^BC7Kmx vjm1ُ|Q?nh %![Ǥz[7*#&H e=+ڠ;+9jGXBB?ssΊ"lϗm׀wy&%G6j:lc^R-yp1|{8XA9!csS. t賰0B6!n- u.Z;/,΢tS O/(]lxSNv.,CHеˣ e١L`~´[C>5<}}0MTK kE*Ќ-BV{_BREb^g*Kqf%' 8bM:u{廀$9CO'5~?#Wmt~)kMAWUM*dRP:@b\0R h3[&#F AyP2qA&owGcxz*UfS)Aq \¾$lo8'Ģ 4yHjW}<5O/ ԏ(_Zzżxх} pF%&5M2-FfᏩwd_rmGaS>+ G挿CA$T$5ǹLܸK94Mn`)q`F=.˜ǫ>K/Q2B֔0ΙvŚ2ohmǽGk+`]@+اnm6śUHDx$~;Nڞ {}`K> >QKjAL8R\qc]ױ29&a$> p2 {!ࠁL4l]K'ov?59"$f#u`lU9E ?¹?JGLG^bhP06lD.Moy "$ft+Lt7y491;c!28qN;.TOMSu=liHDg{cտuSH={ uQ'&Q)2Z6 ceV)'o/#b>5;j$ Dث>^EZKg9?h[< 2zbp'x(P'&kK\ͦH)z%EfW%(3vMՃ^ߓ%-fu~}anQ34Xsn2DN$?e0!ȱ?]2RR&ŒBy)a ږ(Cs/,VE4ur㗭j`HCj=b^%C|KTzz6ڐw흖6 UUNS+})hUg3xVӠ1Cgo@kӲꏽb[ov/T8nCV1FSvaV ]f<=Ginu  pt*S:/T_è6:J?\E -v2"cCUd/n^6Nf!XI)9:OUlMeգ~YZFEQTĆ_F5yT`M,C@h$KN&& 4kfoZvC0VN%+ s"uԮS{WYn#mu`w˻qiVƢmTL8tZ2+a;6,E0;t; 8]YN 5$8G+ QɀUp};eBW] d02bR@baeP`ԝ*2v7uM6S]+A*X 8EkцJ][;ܑn&T^z gZN:Pּ:J>}Qhۢd1;G0sc)bX7LNk?~ ?#Ϸ9d:]!귟-' cA5mݟ议I̋f6’JbUJܦM_45-_{׷8PǕT~wƞaN#}L ~'x( v*3׍Q>@ xxXC& -֋3ظEưh*3wj1-><GM" Ұ83犘ctmE6_e`ޜʿ*IOBcj.0KܢQĘP& g؞m\M`(a c@sєOX5z)*Io eAŨTVJ#'kvr7<6y!؞aKb `M^xw:"R9u)VYm#}ŦjV/(T9? ]EѶPRrl~YzM 65> yfKh`Z|* 5?qxL␥Fk-ecQ^\A|aH2ޣ^Liz`fESrw7 m* |4C R5CMlIAZI@KjJޝJPM*# F^pΘ5PR>Z,갖pz [`e嗋)quC܉Fɹ&"A[˙o]TOҙfՑ|$R_Ya\bvTIq6E3wБ͏Lco1f:Ao)8I@VUƟ(1U^r<Z":ҽ٭Pw-xIDv|R 4myZۻ #'.:@/gu} \%d| EC"^(xWRƭaH颕a?#Y6*S6EG0IζjТt Q%UH֏H!zQ4lM՘R=[@ `/LWaI[:yXo",~SCh{sd$ L@\t(g@WQ==(pv~Ʃ|q sH۳Yv4%ഫHK}W/U41I6Fxd4DFt]NIg-tӦdR#/sn^nADW='v*F}Asc*^nJ3!]=p {{8YX[v#[pXmĺrS+1QQ.?p&U&G: M^9K۹$L˷$Y_q 箞B:f<:j|-إWA˿,tv^3a~dzF.-F\A$>̠ 6 +sIJa*G&2C=P҅i[W7l[A`Hwb7$ oר4@$ =DK6N/M\0p^M^ cœ{b*չ͓֑k% 刂sb$^[\xPTtݜ [oR{NHݣ!Yfz6_Fl^~BVQ*=nʡv sRjMЦ'm"XL@VTaf*@#e?E2&iTQUouoȀR ^; f Ol䍦a}%~<4On la@l[ O klO5R`MtD1,f.yY9W0^LGiE4],+i%Ƹz)$UPUKq?MhZ$ۡZVL9ņxbPҢ'cO7//=iOo[>/(i>,_In`v@Q c:l,ax;7k^Pde3vF>L,_чp<-h˶.˫R;cF# o8i79Ba.|XOU{M;ߟ(}D1$r@[D{Z1+!1Ҳq޻U}+xptY<ݴZ=S?X/P{j[]{Ĭf D#4 Z1U}m3KP.'P2\gI5*mJjƙy$=sHA E)Z59E̤ IhWS((ǃ?),'ir֒FĢY,6#4yjH1 lB %,{켢ʧ 8t DN`v>ʞr>I]-;>: SAgQyx)a@*f`'R ~Ù.رz+kȻ-CR#H`1]^ -1t.̤>v7ȴS:s7'78FUK]f>|s \~yt2wKBVB֏jFDo c1,,հ!qABB =<<bT5WɅHCECwwnX/D?Hfw5_w8[;Hxs3V('HcH UĢeԆM圤҆I&e18udD˸iϔ*ܫ$W6Ѣ5p/3֮ >:䴌I+K6*xϯ >#W!U} *鿄tgΝVp:\u^P:Uy>˲lyјuoDZq0.M6NRe*cWj>yߞJHVY#Y!k̍&e) _hC > }d 6r 5{ZT{Jwݫ8!\Z^j[r{@VU9V!%H,L#LtEgg n5iu ׭ w 0g~ B骸#؄*=[a Pj'\jgLj+֊`S4oYP: 3HI(FHi"n^T&$&lYG7oGk*(0 QH o;r~` UF!L_kW)ɌCJ8 Kr4!nǚiلܐ2 @5 _e?&9D,pS_a*FI$}o/v[yM y߆Z'@7FE}w U `o̙>*owh" c%ӡarfT"v;)jΉm9Y5"nTZ&:Jɩ#gYZY f!)jҞԆsP{r 얣lVF8LusnDC>zR&B\Nt"/$O2]ټx$/D XvX]ȅZ!x4 K$A>SۂsR f"} Yv>cTn-p]Ptã pMϡrAH]M窘D`qLEo$5xb=8n%C"-vvsfGnt):aa#!d5P uwA*{l^%VsxXlCᕁfLpF 8Ņ8{P.s I )[]?+8ph{u$!_Hx]`UYy3遣3fKil>i?!H5~8Aaׯ(~A1"E-\?R@ӘP"ALzMg!IC Rn5GNlB&Fɟzs[I|y~uK0 _ "C,~;Bt@so ]BkK0 w5b>Q)n V U@ :lBO tQŇ!r E Ӹë?>py"WA;zR4S(9>M ;2ʛ5B1]Ckj>1wاT3$\+udFqmTar5@ɯ;"M:mgy-LCaFLd)~#.LJR-ա}MJ;][!Û,h4KSP wMƴNֻٕK6}q4ANYYqs.MxTAH[RG~*?p&l~`Tdb9!C\U~JNW0{8ؾ1ܒ?xDz;C4MT/U;G3~o![@(@`0ܔuOwXSJ9NtH?k.tTI/|ӛ(tLt_,Azh\"*ua 1y}>w r 9۹ƋbS4[P\⬲V1Z >TL#͍%3߅P6H#>e{[]Z{,k"ip#kx ܷj~{Eά7APtz ]6\g=cD?iₙSC!!~:)'W%WC;K7G %@:{ 8hy>? QhwqpɈLf:2ZP҃yP6!ʃc*'$K{X}O6n IF (HFO.|ZS $PV5rpPa]3|xpD']g??Pλɕ.&=V;=|ڛu{?[M=ev$TtUV jV.KU hYgS uU1= zk#RY5:y*J\\XKB T<@"NJR |yد\b2;^aYLC|*: rh 0`ڄ+xbѱ2?Jw_♛] O7R )^wĝ  O.ǴbؗmlL'q!93FxuE(KmvʮA)BaPBi򜨶5e줦!}9"u>LN^=bZCpZV{c$ REZCb\D[w**'c+%ZֆF٪fHddM4lbX<2hƖy2-3 u [KZ >h'ɖTD|Ν$}zI "zgLfjф{ܾS2G漰v>>Q7?''Z2^;n(pᄱ]r-@dFGlC$ /qG lzy7CH.Qht4$- ZCLAz >,}ҧ2dwzx\ERL45Zw} I&؅.ݼ/V?֏d0F_MNԿb3qu6BN_e_~V$VKy,_A!/+1?T3X=gYZ 3G% DvSVů.y9 kzЕiIaN=f'fgf<=).) .z V|.C-2Ci CxKLFxLux. QT #C=-¿ 6QelN"\E'se~zf7 •L)9Xw.1"F,IҮUwƧ 񣥆I1T1NisSedoag6q.-X9m*Ktl39)a9MJUmBQ{;YL˯'|gT8.VqO)$ԫ9am초,OƖpe2<%HLJU!*Cņ ɮs=͞6A" 5.|o6V?t^I?7aL+q1hz"oC /`}YCß70J=qR8MDIa1&/$_z& ÕD)MES@~co⹠P[D,rx;?n޽ x0Z2&kDΗpF+gbɹKIX;!g ]V!ϹER)"$^싳 ᜈ m"ѼIby&|\ %lw䡿͋ܢy3a>㮰{eHQ{Ynn 4YI@ҟn$#G la#^ZӖIR*Lwꕠkb ԏc?hwHJ28-o = yu?Np. w$!8eu[$L"零!feF"kCir2|1Og0K>] s<>KW{}=yUE [̒g%z6cI0i.`T?f l.^?12r'meu࡚2M.S}0R`೜ڏ y(J"ߡ !xr dNA LP힒 ˠ!-E>`+K]d" shH\$ Nܡ |v'qљ/AVw! @`dKXK;IppH:CEw~,+!&2]\P" .WS&XdNaԬYd<uhuI:SΧ&cu`v$d:@V?֋*:jtcXLA&O 3QPL Naq x?No\M^0lJuk5⠈ۺ靹2uϳ2$U!uJMzyZsj3(OZ] t$:O0-S])c?mKG](Kk6U%N݆%6#> pƓSF%8~n rz%*!_xʘo jN:*sCj"::XCcTPyRȆ@DPE" ?!ХHrZLɣ'pTmQ9AbH5ey4?Gu%حxEmL (P*y;2]q7Sf $J$ǫf΢o,KgIl ™Ad$Q\'{_YS θ5}6C4.De\d9C6Jrh%38|kLv.֎dmWU\*p#`|,xTBMZECC# }I(6fw&q$U˩D>Q@(|~ i2-(53%rRjg)zz;etvyOv/U  \`o"iu &1y߽ f&~3kԔF ae(7(DV ])3хi2qr,lk r#O0Y=_pSgChd񧁨}䠇Bn܉e9GW=U(Lb@s@|-&:Й-e"f%5dxX%-JmtG[]wQK\ ;C2C"^^u_ $_q94IY\\?z߆Xg{O2ʩUX%Ǣf\躱5#vA -b1!!GEvF[{MY L;'XMP'>TO "%# wE@|GQm̀F!G9 ġݥ X6gE^G/R1"b!OԄKô8f =kzkE5o#w-!wB+Q7S%hǵØW-A9F,t,b),ȳc|[qSa_UuҞk{T<ެRї@1o]U"Y!tE,.+<@mmJ R:n!|GrA(ܠZ Hׇe? bs^3▬Hk0NE{M|'Ơ>'h|);u?HXd 2S8qhM; BZD Q67=J>ʇa"N,|JYL1&5D wWRIz2S:=9pf