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 ,l< ]]Bell_Numbers_Spivey:threads=2elapsed=15.504cpu=29.528gc=0.804factor=1.907zXZִF!  ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I]u,F IP~xHy+ |I4RT=s~"Ph#{Z|9s4v[N5B[*b^ YK7ic]V0eV4Z HrӭJøڔ1W_I[W{qXBay0wsj/?{YnKgTYzVB$d4 ѠԮco=TnەqܺӰW0r<\dy`H^hI|3:7|=6[|kU;TxTP]̙w)3&=G%o&g&m ά-ٴAh:[f1H@Wu3Lqt nc-\QK0ƿj^JGoO Hrz!5-\gS^5rФ?T5rvʢ#~'Е|k3N\XrU<ǯXh!>')Y":[$o]]*u&ny/RmP9k8 szE2:^ͩ|ư#n+D*VoZ?jWpN8P2>s 7i\oQ(qw 'M/޷ }x8@?›.H5YWFxɕF e !a0/E 6Wc$ͧTz \QmGV犦[Nj|9I@ȑ bcH$N%z ^\w 3z =M0c>%PTn싳CaCFWR񮖳'߄O_mm@8; >mYUUo0`o 4(? Uh+E+meXHQQ oLڣR'Q^љ.iᗻ E'&!I:;ZWe,! "J]۞./lҰ7bx$M`v&˵e'{Fyi\. $xOID Sڋ nǫ>}[ˁ)vGjq,(CM_j NʿqQNn +*)7O_vBط|m 7̜eYocޖuЉph06`b3㴑XFlx^!"#Q~>} ɩ34Yڈ鶗 Aw!T{ "2wt-,NJ *G7o ߏ/DǺkUUp")cDٰ%jzҸOj^meUQ?8~b=uNU$Oey\f1|APEHFel =@v;.נ%3BӹQvʱiRS'8=a[Wg~H2Z'^i=fԀRLZHCx4v +£:'kR)fc%T>a0]zUmYwg'&!c.֡RPʞT7hPlj726 gYZc0f0252f428e97f163a0576fa3f55ec95324b7fa1478cd8cbae6c2903ff8b7580a1b47a0f1487a38 aa8d72250be55f6a4c5e37b817be58eab22b8e4e 35bafc4e8c24229f386bf1fae8a2671fa735bd0f1f56b8ef5620a8f2abf41d48213862b84d62d4f0 3 Bell_Numbers_Spivey3G% 4Bell_Numbers_SpiveyCard_Partitions.Set_Partitiondocument.tex7zXZִF! I]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ß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     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.tex9pfY 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]rTI\ķl$v {Rnz-?"J!{ T$m'X,%JÙfz#|TQQ"0<>< 2Am[gޠւYM^pm&1wVvUIdb( wF@XEF_]?M~UU EYѴ÷HWՇmǁ% |j/౒ia_b 6t⁋SokAx,^8Ӳb'pB~) Raw>b~E[4LyoYÔ70=ːiCd$OF4LnZX#7-D턱M/g!AT!Muy? Z4*"MxwO,Sɑ/ikQ 恡~uOz>tKCwy¢^sOk#y^cZ:@̌k;:8gY@"!~r\KQ4 ەI'nW}1Gzߋh-`ixTzJ7_ūnAQ$Bf(?4$SQZr2ѺD5"Nq<1yK4N,wqvNF33G4Q8&S>V#9鯗yUЍ#;  (xz^5[yTA E~E샛 Eb(9M)\ߘUw LaOEv&3?JژoOw(?e\LbJ63O=:pGI2- ,@}wʀb tDt ҝB,ɤkid|~f?Gcbڃw8%鹙5Z:WOTt* *n ~~t/RW`LWf5;m i+n/!u9o[AI 8ixSIV_VI̡X-V` ky.b4F=[`\C9']c~{/b736rH'Im*{IYsL$QO$o8r l Tp?ˉ:@ݭ xaA>~aZq)$ƦD1" Ğ΀7 mo[&V)ɟC\)3ywILŪ&$m*6Ir ;sU.SʣIPjkkNFIlU+Γ&skźC|cCeLMD1Of׍ōj!mz ]`SdVSo\5? 428=JmSMi]ucʾ08h肤nQN4_N*rCY9E'6@v8 ^UEKZvaN{$+j_Vt*c樈=E>y6vNplA>F@NpEJ5MI _K@Fy] (64]AW#f@/~ e>At!5Ur|F}yw]`z $#m L/#-{AN{se<ciTgnoN7ҮDRH('P(66%ThoGt쭹0bz}t|^c뢶ov]od?CJKq=,.K͌BFTC:8b"Qf!?d#%&le{S(_Ҝ_b{M+j'HMEeѧN/ ٘*C ↕IZ&uaT@]׼ tIeCOp-4Ղ¹ #" %T zv85Grt;a2QU.sS+yO /WVƊ@`` /7Vxp+ TdQٿ Br#ߤ/_җ9La7STzD #'on)y&Ȋț݈|3]ʙL $""AƏBo IAK Dbu}_ Bk h`b ;1n $ͿGb|0y܀̃dYj,b8ͮظSxONo@R.fZ9˜{nIK)5 PCY Ԩsp0H7;JgzDȯ2lY麯 |!Z L';}+O۶wqSpxST~ƴ*p75t'86`PZVMB@貋%2R Xi,>eziRu՜kWk <2c['wEːB%'t^4)n&ߣ [+.2N I@@( o1F'ԑlfZ&38\F:*=$-RgYZtݔ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! I]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ß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:=  ~ ~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! T $]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~k392om?D9At;_@ !w?9X~ЁkѝXJˆW+EKA*2- -@%vn墍yvӁ5i_ؒ|S{[(F%Լm_%5m#cfui|dSF5)N3 3q ɸ&:\W8mI8kU.^2w蔃nWl^ +ثӌ#֐uh )$<]Bg* 0,\R%Ja>@~ 2L߇ Gx %XV_ SEш:yX6?%%(#'potY^Q4Aho/)nA vm{'~, h?qWarg @Fwۘ%m!7SX [ RE&/4upZ40L=Vx>7F X""-R( u璁FXanIcxuR ܵNr!qj[uV'[ʿJ^dɴ'Nf5#ToE0۱5ݢ?grXo ]L{tqIxB^ǕŠ-%o6HVnM_^u@; {ro@v\z1d^C?ⷍ&sr=wPem=*09+L f4Hy{" 5 fOT׿ 59"ya))AFT8u.#< Ml _x /=W6=_.XPBM! {xClHVmL ,Wm-1}㉩L1WcK~@YxAmhD[dāw"P}3(zj,ZO8`d=իj5ҳ,2 <\-וVgYZ dd33% LBell_Numbers_SpiveyHOL-Eisbach.Eisbachdocument.tex7zXZִF! > ]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?