SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 &3 4lt ]]Bell_Numbers_Spivey:threads=2elapsed=15.666cpu=29.780gc=0.720factor=1.907zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IeO 𑢂|;C4Uq £|Oi!T5G@SW}ob eGbo) z]1W|ך2+Cn !, /vjJYՉ/C6D9O\)vkBV=#&-:Ir(0 VcG˦زJY/D 8Kl=w0 Ɂ,Q'oB"Rm<ճ_4CqB!4#vn_,Wݎ߻6Z틯n숔d> S`"r]ĕ 4t7-T< ~U0/k `G۱ ͕-̅Sk}S%= P.",,X %6(BkfŌD"mðYM8-f*5MFZdrӊi?t##ؽgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}喜L.BiJ ?٥)r4 IRIb蛩)'ϩ:zX,UF ?_H !sTI7 מ ˛$'5\T'A:T{ ?Z}&gYZ7zXZִF! [ls]ŗXi%; GOOg˛Ԥ}I_>Uxňc|3{r/G n/J~T.|SC^Fh4MmCu7p>ǑF-&[[l)l+CqWn6u %͕4 |s(7;h@PٔyBCNZ#+~-xYLD#,ZE =Ss5M|QzȆ)BҎcg2P8~ u&PClj-цńӑZIA̕\J.srăoP@ro08x`ҹ}m݆v?2Rpĥ @3,]o~X8%bR6&;lajҤ+-> FH XnIX^5m4q|e0{+^ˉ*Y%HWŏ+KXLB'5yoߓ3G2b.8v@M[%+^^㍵-)d94J<UVU ,ȡ&zϛ1=Чtn IAԚTR|喡>w /y'2uq4ӷ;x܎ A蕾˚eeXNb{1vLQKfVUC=mC%r͈@,8}~G_ #Rd%|lrM5bfhټX},D9"@lNLep5oq#mUs x5|эc(40yfD6;;- d/3mհ>^#tOd`o{$s`:7 {o,9=ژMk Б~#$dD:[ؒP}en'^{ڴv@DCIxDN"Y'2%Va8B7 *Vk8%"xfы BѲcTڍb(] jdZJoI冈cM#(? Oǡ%ܺId\ 1N;HDvSVů.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Ú//@i.: _. *4D'K'R?;:fʮ# ^ #+HC.C"A/htꀶ\yʉ\%K{p:,T!itRZkNqK'}+R,'r+~,_*6Ei˯XJ[CȈU5VA[Cc$"^^ b?$(D"*K2 fAe@ofI]9z^ t5eƚ)wg:-X -tTjPrʶlAvȽX/-&Y-F:@//zʳddN)&?U4`r6fc3/S`X@>w76ȫμ}(g-&?xdm`}QM\!h/5exòp!z,>@.ddvqpԞ E} B9}nm(ִ]2˹35]vF@+@X'ૼ;?]P C#/:RF שgB[?w|CUy4H %Xֹl-ֱsPU>~_ Q¶ګy8!Qa\X'.\ЦUcv>&Vp=rap#ZU$ q|Ӈe>Ϡ5Q>zOc8n`\39b{dPX#X-uWp ff(G&n+-^C^uOhkv<-FnYt`iF@?~gŖ`[X1,dY!ty `mI&r*Îa멨z/q[gx$@OA֘][/ )lg6#ʄo$J|Iέ[UEONWT[\O}.aO:EO@މ,ƛ;;O>% 5DЦw c}XUɽh/<ōIg"ҷk]<O^u~!cMΆ bAS4W|WIu&x8aG=LdZa8Ǟ9):=pザZֽf۽-~tjn{eIk 5O"r+XF)g{SYc34| &rւzX7z>4}@@@d) Rsd*`Or1-wF92׃_9@/ Za*UIe})ޙe}7i/&mK4Tȥ~3VC۬r icEKv8M\> {nM).t}Q1trҖl]׉BǨGS {,W5N6y(I޳#I +?y〯'o(İm}eZEGex_a &:٥[t Ebz53}xÜm@     x0D3K%Bell_Numbers_SpiveyCard_Partitions.Card_Partitionsdocument.tex833%Bell_Numbers_SpiveyHOL-Eisbach.Eisbachdocument.texG3Q%Bell_Numbers_SpiveyCard_Partitions.Injectivity_Solverdocument.texE3M%Bell_Numbers_SpiveyBell_Numbers_Spivey.Bell_Numbersdocument.texA3G% Bell_Numbers_SpiveyCard_Partitions.Set_Partitiondocument.tex=",ƛjRfu*m= \l׼O|nj6L jHhs9q[/BD8q.T"`bpo˸I`4'Ͱ*~EQ]3v1ΤG~M&MwQIMNy:UMU^Zn[|XhUnvv`o݃]S21D봻!ji1{!Pgd. ZȰ>IΡߡr1/3kd r!Zxb8NI|NQq $K`|LN8~ۇz3wsúK)f`K)9I/]\"i0׉_ eZF,ZAl2+PWWyPGm^^v52U첯COݱhQ˕'-R t]I+WNϐKS*-G/|w:{. (WAA EBF*[xvM~v?$R-_ '$Jl'NyH#gMbM@Ҩ D>N4[Bл\/l yNwb2XN-:crx~!.+(=g)aXTn3{ ]FXRHfG8#c{[ta׫82HB-8nj=BvB WefIc_Cmp맒xpay{vgS Za[tFUi$g#{c#6θQ^ёZhmH7yEͽs%Koy wz F. ڎÛ`QO:Cm sИhWnbm2L&iyWnV[E#v>mOJipޠ`ۿ7dc_:?qAI R.hTi l]mm@~#0F,f\V:1  :Tn0,Rh a4U o-.J(Li4j ?d)b5_v]}qx @%uF^x{m[I' "=ȣ 5jO#lA[m8//[X,kj~," zg6r?ws5]L!K`ef}Fu,TfQmd;|t-?Qʒk ԮGF +]: ëRAD(?oz1aIPr:ٷ- D(Yuk+|uדi d%+yBLHu F˵"4@@i~@O`n[iF V]m*d5xAstj߫6AY6ɉN򦗻TDGBF[Y/-Ǽc̛RdYx 7K`#SOU>,^k=^J&T]?O'NeSk%d#9Hha8p(#V.q:2>PSQf+es顇{,>{^i^2k #psI _DgуcEn*QHS$N^<{8XA=Aufda^!x*i}NA\:R3J'[,hʝ(#×ԿUj7|痍jɉ)僸G5qneL?0鿘R}b*Я>dڞc,5~V,3W@D $kf"Uƒ\e6E|oˑ ]}7Zupcl&t @7ݓ .pec:c ^k"۪+n(~g"oԜw1ox94I5&c!{C|WRZ=q 1Zp3(Տޅr5/2.կTk&FlT5}?_ "<+WК?(>)s너a ?@ؤfwn5E& [C[K^cI=¢ClDaՃ˹/xf)ˆm0(~b,=yŶS}-pҿϫ8\0Ȟdӛ~{". 9zYTe@W O.# ұ^QNEƘk?K~TBe>/梍KU񚭁 A 4ȡ&cX&\bwI/"fY ޶ \V[R.<'Ij~Z13Uu_7*k3c[S9\vKGtvI,9VpO4α*s.܅,Qח!B[O Òϧ=O "G<)' lw^%6BDO +D׮+sA^^gwIj~k JN P&M\,qʁ0,u)'P3 Ǹ!R3$,+uρםءHj+b(YP|_i3TGksyGFG`?YłszoJ~C-8`?:Eo8j`tNA5h@F8[p*s `pw_j$rT)=SlL`|)mf9~ON%;XXjӂc#.BHvMZil}W݋T葠bI`& 'ޠg ^;0 NFf'c#b&b VN8ÞUDIL 7"bZ]gd)$ǻf_(a5m<\_Hepy2ܭd`\biDBCڐ:5N7@*&gC", -jg.0?xsb:_~KHx.^#m9ONW|,;%l*ho6/{B&;V bGq=A.V)6Qipziʻ!ɰ)QFFA%"_,\CV8VAU a " abATuPx@7N[KY:<>>6k&PlyDSI(^ F=x@gYZtݔ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*mKIO^k?Sg Eo?<'1!0☠&aS""f\3PG+BUN੽S٭/'X o/j% ")^+%<LJ?'DM% (8%vU;V7C<:Q}tmFZѳ+Wk A#\]J/_C^l-A \؏/]W]`6HIkys#B&>E\H kar,FS̊%^qa?nobTy(2*φ ٝOy~0+wQZ/U[1//'H Y*ʩ-?Q[*03zt6Fzwn I\wcgA4kԅI(4Lc//pZS%L-X51ŀy*h;B7º)3u ,zc3"LXr_fz+܀vPuYRs hJXْ2 dz185&_s=''~T$Asn0Rt1fIոk+  OŦfp;^b@W92eV;J{Nj  "pփ^_ؗ8Mȵ*x1㼿Mv8<eQiLX0ep6kc7{o +&fDVy"b"O\<Oh XQ2woaՁ0SpkX?A% v,=sqGU7>G\|Bv4z >gNjgP*4{-'S5 UTY62Md5.q&M3pb+! I!%/B`[KOC\@CT[Mq%XAƭz~V͑ _8QӇ y虁ypNӑj1^pm $ܽt ]6C1(C投Ȯ=Iv!ufP]C^͸'vdLŶ AAw F_}N3Q[*'|ͣ4f[T! 1䃌)`aLތ;wU=ۿ1?!u_vH0*=[$>Jr56FdM.C󯕠?&#n!(SL/D0ܤڬ%"3z,~a Ii Ι fK]udz&8/TK) 'u1FM_p>9QB{6'qtpN$f=u7" NLp6; %TLoped{_9]eKB!LgC#)ε Hw,Ɗ=Tm *Ne[aU^Fխn4 |nj jfο]w; pHZPLɠJmsaP`M%:dqڱ1ET]iifr ?Vq,cxPB@7tɡJni _='#}>SI$jFx,%t/fS{p*aBO13]]㒚*y4B!@/ci_9bqǵٽx?S{JЩ+gYZ 3G% 4Bell_Numbers_SpiveyCard_Partitions.Set_Partitiondocument.tex7zXZִF! #]A-MՋhvG"uIBm5#'NQj`d } _3Ze7z Ѓ\B*"o*N{nea\Ige5§>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Ú//@i.: _. *4D'K'R?;:fʮ# ^ #+HC.C"A/htꀶ\yʉ\%K{p:,T!itRZkNqK'}+R,'r+~,_*6Ei˯XJ[CȈU5VA[Cc$"^^ b?$(D"*K2 fAe@ofI]9z^ t5eƚ)wg:-X -tTjPrʶlAvȽX/-&Y-F:@//zʳddN)&?U4`r6fc3/S`X@>w76ȫμ}(g-&?xdm`}QM\!h/5exòp!z,>@.ddvqpԞ E} B9}nm(ִ]2˹35]vF@+@X'ૼ;?]P C#/:RF שgB[?w|CUy4H %Xֹl-ֱsPU>~_ Q¶ګy8!Qa\X'.\ЦUcv>&Vp=rap#ZU$ q|Ӈe>Ϡ5Q>zOc8n`\39b{dPX#X-uWp ff(G&n+-^C^uOhkv<-FnYt`iF@?~gŖ`[X1,dY!ty `mI&r*Îa멨z/q[gx$@OA֘][/ )lg6#ʄo$J|Iέ[UEONWT[\O}.aO:EO@މ,ƛ;;O>% 5DЦw c}XUɽh/<ōIg"ҷk]<O^u~!cMΆ bAS4W|WIu&x8aG=LdZa8Ǟ9):=pザZֽf۽-~tjn{eIk 5O"r+XF)g{SYc34| &rւzX7z>4}@@@d) Rsd*`Or1-wF92׃_9@/ Za*UIe})ޙe}7i/&mK4Tȥ~3VC۬r icEKv8M\> {nM).t}Q1trҖl]׉BǨGS {,W5N6y(I޳#I +?y〯'o(İm}eZEGex_a &:٥[t Ebz53}xÜm@ z>k~}]  ~ ~s3M% dBell_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{ QQ,3Q% TBell_Numbers_SpiveyCard_Partitions.Injectivity_Solverdocument.tex7zXZִF! S #]A-MՋhvG"uIBm5ɴ8b]Q“g'hfwMKr?d~d8ݫ SͪIp[&5Djza9-[=J~g\ܼ]/N:ʟ%!$#9]W*+CC:Cy=,i2 AIy |KN_[upo0"U_F=ےGs59q@=g2}ʤq%͉>iU$~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\*1?ޭruSHݣV;rsVZc[ ?Ho%l>WT! @kT&/]qevHDnE>6#V<XṙNsvXcWvwm-q"xg nDgCKtuPt_|K^mNf'BhXJlW%N2yLQ UY6gi>ϔ [݉<71M _F@-v3@[_W 69܅'9Ɲm-`D@;ِYx،W}]l?V51?.F@*CsU#LAOԗP'XjWqLDToαٰJϥ_JQ'5e@mɩ*B+ 0~k392:덴ylSq^An: lJGF<17N]Eryu\Ěs_N}M^W?2`8"n}n%E{߲K}r[7Fۮ'm<pн4D@(&Lk6 sM*vh+ aU7`ss W "C{=1CqhFuy¥<:dy2KOѳZF"y:μۜS.~g~dgY*cZ^mj X<iuk|R7Q~ǿ،nX^aFL( ʻC1-k[Ƀ&8-/*@r!5NJei"K(JtW`U)`>u&-(q\pU`"A >zWIp ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճע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?N5VsΚQԌ+CnMϟꢾ L#>fl4jh2MɺWs@0NF[tO; ۠aR|hdkkP`+k\.`|ƕV=/`60X$y,Efj21Y-oY+oF#;wmGU5Ձu`:Xn.c@&]]^#H,i8ғa{`K@c^' ڮ\+#z됯'5܁j]{V: |rRUBw^<[-foXm‚9ԚG\tG W:dU8pU+$VLN#cʣ] K%kꀞ2CrY c L4fGAR>{[2S}2*'G6`LMC<&1/ @Sվ10^Hic%|7/& $A8H"ثTg^It6ɟ*Z G ՕΈ/dMX%R~\`,9)̽ܶG俧=?B 1ꥪFo|\vKՔNv6ΎZ;cٮz}Vhn Wzf!V7:!F!N7rGa$_%dp0™)#ZJn[V>ۓ^=sʳISZuW{^mR,e J랃˼*zUJ/F_^Q?k :q -T,  0J. k~q v|m3." K7V73l4 `!Xۮk0:vi#OZPBvS?juhܺT]F/<JD{'j~IPLM}g*,Lq>&nJBO-${.TJp}%^^ snד c (ٍE4|g=9uP0P LN>Pm&-\|i/,G ݖ.Vŏ2 #`vp#UftP3RwȺniSqc׳=? #A *=ZYO+$nL4>V\6yگL%)x tEtwQWO[3.j%6 h]ȱ`\S;!zh]c249٥ݶnV[ Egҗb"6:z $Auýݜo{ebUlQt/hN ~`nz }Fgc SMVS68%J[M,20 WsBKIt vfnHf-9_T&rwⵚ{7 B܇o}Z !PJ>g|u~c)E[zYgA WLq4u} DleZ*m.G+Ȳ:Yi]~9\<2c}ig(, :*o"2: WkHrxBG&'LI&#bǖI{:qRO8C8`Մ]{tMė5U񴤪`^s/jJ?w!/%aF}uPڼu7kgsd7 ْN(yZ5 PD+4[ ċJ{>OQ>&uO|8z(ҟQѼw$rU0ғv ^.n5^K8.:1Z[0jvos@^]5=9A{@?}>ϸD[Bz/!v=gYZ y3K% tBell_Numbers_SpiveyCard_Partitions.Card_Partitionsdocument.tex7zXZִF! gt]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ʕݛ/ZMy?