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 X+ $| ]/ Card_Partitions:threads=2elapsed=9.525cpu=18.564gc=0.556factor=1.957zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dҵ ]|! 4o79-z^71t -)eI7R!p͞8n آESq"@ ^Qi; [!ȰH dDC[1E*ܸ|BB^eTΘ޹.*f㎷=‡3La? ^S}1pB,6نYKvӸKb[1ZPNXB u J4wFDzK&Ԣmc)9gCŧ?II#m G$r] .i`SƢlRP99{,ԝԲ n9*eP{~%ް0I[R$DN%l҅UVؑuJMRϊ %QS ]^'qd5.y1 ȢgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLSj`2OhhHѭ r<"ymxbu?懏E}x/[ZyC;H:HV:]m^j5$,p$K R ٿ&Ĥ[H4CAɤ`R "hCMM٤ rfpˉ"kyƝ#&XσW<٘zđO{tjW4!"LgYZ7zXZִF! <%]ŗXi%;fq%is;q1y3:(pѕLjĴ6lU0}UNG0.ZMJj$2 c>srS+=ҹT(VT\7j31 3@bOmTe hɤ2Yd3wccRuCgAuʍKL;ș<]moTki&BSIoaҶf߻u?η6'kP`Ьb__g6%My}P[R7!ߊ\WlP'Cj<)\icI_!i4'4jC'OYA\qkp䕨Q/ GnsLy_Ѧl36 TDlyjgģ֨P=;z=H.Xf}#|dWA@B^ϺՔ_2?Du`?@5KK7vanɝ8/Fș1 =&&7#EGmĖ^}R\"8%.~\rN7.އaIAU2|.$"ݍ$Y͵Tta8A69vj̈xNN o%w2O2m R؏G1 ]JξFA, r+"*tܰ\uA=Ύ7)+;&ߗWėG!BhVA㒤DO+,G]Um(ľUz4,3Zj2 _`ӂvhwtۑQV؊Qckz"IDWmBaP"+yT)TaIWp$z5èǥWWꂞR qX`DU{bQ`ʽ/ATXj\߀6Wz0?oCh(0Bj8@omR[C$~t ^0֮8h-W hxƤgYZa2b7cf04d384764cbd5ac4c9230698474a2b339a1cdfa493abc57ab9691669c8109d13bf20bc65c6 6f974f3708387dcf61ccb15ff92a91ea3a0c06d1 + Card_Partitions+G% 4Card_PartitionsCard_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+G%Card_PartitionsHOL-Library.Adhoc_Overloadingdocument.tex4+3%Card_PartitionsHOL-Eisbach.Eisbachdocument.texC+Q%Card_PartitionsCard_Partitions.Injectivity_Solverdocument.tex5+5%Card_PartitionsHOL-Library.Stirlingdocument.tex:+?%Card_PartitionsHOL-Library.Disjoint_Setsdocument.tex@+K%Card_PartitionsCard_Partitions.Card_Partitionsdocument.tex4+3%Card_PartitionsHOL-Library.FuncSetdocument.tex=+G% Card_PartitionsCard_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@gYZ,_|o{NO[a[2*p _N"2 h|UI09 p)ֱe)GX%"T-oq; ErܽDםٱ>x&eqCė)1>(H M'Jfڧ+wUTGrPw(%1_\;Q ߂+H'=!߬j ^?% \?F)h'MTseFhrO s/-eL:"ݲb#$5"u7+.6Zg^^rR!1 6>Zȹƒ#Z==u7Kp>lEJ.:XFtDn381xF-(s?/ot3 5#H&)<ܧdgPu^w ;{ыW0E!EhQ7V|\Yy: l /shJAצ,1m*h? !7k쫂F{x渉Sqc,?G!O4TBv4J Y*Nqck)S_ԽW'q /G8Yʕu_rg#OYLu%Yo3vƳүۑ DBh`L!yF'tխQoakBQ#q>l;Eޣ:\ w%اB–wYGj2]ֿ-M !.P>+SdQ?>K¡ ѷ!k[iaVj2!%I/1:&g uO[e N!hMљ&xb&ђ*8U>'I[ ء[^9n b$@"q$a&OnLh25Lr/~VbLcla \鵴uҷ3^C My|8 tWO͈⺾>qTFr@Aqu{@z@-^+ҋp֙9 Nk/DG=Bc{!W%7yīe7wZ@ظhʹskaG@I7eָ7vbmmz9ezR(Iy?- CRch PX Pcc{? ;.daȆC|wUObQ3Ɍ@1$xx`6kcI + {F,n$&@V$u·>*K?MUiTs 6IP_'I]nC'N{)'M;*$8?_kTR!l jݬFh%0||" j)j') t-f)( HL`ynTUۮx^  Ƶ.R`7g6/4[Uxۑ \ru_/ʈ#-75j#q#oȴL_K óTm^3M yv#|akRzN\Wu/EM9@$/))-A24Z$e M9ĠYg-@w.r.eE6z')z,KhSХ3ڍZCI@u⨏aS3xةv$C0{r՗@p PQ%;7n34<u3jFl[s½K\ㆸ+]񯟚,~M7kjۭ'V̴ Ϭ| n=n"">2CA9!?.J ;\tQԹ<R b3[kexe}$(0\q(AZߪlBglp sz;|ԯ" <~̃; Y_ڋڻ9rWZt'ȫ_TʔDV85MIT =qb.]NMb,b7&.>Q^[QritڹHET'ZzVuRĺ)X,Ag;5w۰Զ PZ~ gnQ^=K<؟Yx_00TGBf'M۳BgbQ֫tܘ~BY*=xRԄtLuZ\El;.Z7غlG ba tV; wb ~JaKճ=I{gݫ'C8t#A:&`I`'g161{!+tk\Zc VPkTf]D(^ )sš,=9[p04jlȋwp/܆ŗ— XIbqOJFʊg_T20 ]"W7nq n(\\~0CGVo";>8=tʮXMj%; Kc B'i5j.0IK\OInGXo ,",plG m$ctwТE[0 6376 =cmƗsK[Eg}\U(x;Qu ^ O ?v4tX8Gu]s,/ޗ3I3CU4NV8H%>K4LS漟InzEZR{=?:船A"`$g*y37Ô(OzSt|ˊ-&'=CU wPi+t E ىY\dTpeQEݏ{E L£a|v[%˽R׵У0(} 7(w.r7&W<=7`)S})r 9#'$TGb'Z0v~7Ltx2eTz ify[ ! hnj\j0~6xm̠=Hy"OVirdog]NVۙM$X":p*ۨ߰Tݐ+r^oFtj>ux*#`K <豅$]zMϊ?hL Ġ̂7rU:9:A ˤ`-{~#6K_b oLt{_q$]bҀ JqS5.`OR3 .N`ȲCŻ+.vG.`_n%r";hކj=c5nU)Uy Ew7-Zdp@f?UsW֧8j`hD IT 7j(l;Gtrc8*X2C} dGP+-v6F hYvzP/OR ,"Nm`<`#(?ՍqܱmwVK*jE5l.Lg𦁍&|"U3&8Y$9|y^ GMZQ tꭋal~s(~][1ʦP2餄{ReC1seU<|,8ųJKدՠg7p,{]{Vl{⬊۸Z萪" R; nPJJ/K9W"$]♃?n3f$\ntgnz0+$oS]XmWz:^GGD>[[E Ҏu `D+CL .#88}Q=X `Scnp5zƈ>j/6wcc3ȱs{&NFDjs-g 3ݭhF +,Zzu_g%/7sgrұq%RPEX _ G6q EZK*:L f-̅X%nM2H\SnT gyFP;ǔ*Ůb{;[8ygo2W+ˑ,1#+qa˞8iؿ}s,z[k2H67w*y,ݚ̓~GÉk_{YY#֑53 ! E4=sh6w,{&*mS0k{-ɱLsulB`JXRwB]L! ҬO yt6?v?JC\8r3t^UdN!´7`@'B[:k+pf`Ne5mCpS Up%N͂w#6`=^_BIĹVu^#rDIX>h1޳D;*$OZh7{Xd9COY,9SC85"ur,xD)9N.m4SDxFhQu-YӸ:;pIw_I$B#m#HO&8̸*du̺U VV7}8 'P$OޕQDiΩaT9QeVGo,?:6mzer>y?Z:;977/ ^pUBep]L)Io #"QD"(I]aYqm chZ+"̽YV؞˗+5֡#ߔ%>hO0Oni%;VҼg5n c5br=oi+GWxF#dV iF~?ϔQ'R~TN4uo*`-os=$/Z#J^0ޠ쭯̅24 p&k+ PE OD&}$R,@vmm!ChN:t)2Rr|ohǨ~ʓ $ݯsQ="55\]'Z*$8yޜ C:UPCve&]I!d[gYZ +G% 4Card_PartitionsCard_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~}]  u+K% tCard_PartitionsCard_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? R+3% DCard_PartitionsHOL-Library.FuncSetdocument.tex7zXZִF! $]A-MՋhvG"uIBm5q\9!~Za&f * *s7˽Ie~Nqۧ9~i$K} fGM=A<-.2ANq+8a *ZһSؗק/ %}{VR^^: nspeB&BAA-O'+ӸMd{o1Ey%I^ݔŦ^&M(Gwqao`tvټԉmۗrm\?joj"frZB ЬT9B׊O*6H+N a%*mG>rƽ5#K#C9&`ipHn'o^5C۳<71 xe6Isu"ױ{[M86c|ɣWwJ20n~g5]\rM+ky:7!phQ}iJY]'7Ҫ y0"mNnwfÓ[2 Fq1夝!}ӵ׏ D3k}J.{yfpXKqXW$_n-ɛ BJŗ|FhiCOkҿ|d KuG!_=0Ӌg%.5) ^cʂwy׊ș^~<"mODs3JuM~<$x;z'ˊ#DgoLnCV1Tۦ7J{q|ؠ^S[Z nIQX9@T/gx@]gA>\`IX8ƙ H Wv-Zw⯺qo~?K'\Կ;h*'"Q8/4rA8 $|1wXzPdEGL4HS{)z(R z;u{fJ%I KЪnNW.%}0]O=Y5Pi6=K2X8W-pr'ބDٻi\jslѵ 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?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ՎqB\,B % h쏜*N,BpCU ƨe{4le:HP2HE6r MRP{[Ed.& Ri4am?0J^TlcGA˸#DzN$槵1~B`ʓUkTgeX)Nk _{~tL==(]݄o1u4m5!h{|T G~эg-Xq62X&MJd=5 #d_T\_<)O8mϚB*O|QEp像~8V4T{T:teI-&|S]8AHJơ.w4ßd8=)AQmaY4."OBKSˮQ=ex\˪)Btd!)Nhi*?_&GrBό{$1^{Lg-[h#2pÆF,p(7fx _Ra1Æ*+:gȌ:"Zguε>hAٰ@oӀI&|i9#X^? /dҀ4zldv Y_gPFAuKijNۋ|!mW+Hu&{!~ 4#p^1& 4 ^t,r"wd# X&;Exm[ֻʛj|;~r_F2;zK+̆Mb ]f YO<VJu`75vā ˽ ?/=:"~u s錊OoKۢ^ܦY9˟@P*G|)BmM:1/_X Յ:M"|ɫ?m3o7=q¨\ [,Wi#<*i\lrcʄ%~PYRc+]:\wd\ie+c3gvˋ=˽^3mT&)q8^cꋯsꓣW+h^ Ҩde\k=0SDb$6,auM ^f'=@%QsrD?@u8=|x~8z_""Q3ܦbA@;sC/wACeRNvr3:#*(y9nӿ0w*S9VUu6W^ 2"-HP87(z͛F@N7GM*hsX惷ye>MSFTD޾ޟԻw]i;' ƐlTYq=uy\k"oaK\@}_HOn"#C *(\.`If_;=ʗ_fɶ^? |nMSe)13ӓΎ<^fRVS& s6ɹ Ej[<,F$"pߐx8w$5B/:pNĢ> 'OnV=O+O"" nI~lq \[+3:!Aif IS1 ο wPnn/S~2 #i , \/m,qTMȴ@NOc> M*٩S-6xU{]A,nDta[0M]wzVu_s}#_T(ҜYd(h|#Ҁ12y)X}"~Q* ''\b^u衎'<4ljApPfTl;oRPphZje'̥`]L#*ApdUAT[W~\qKeM ,Jj؏rÿ@eD?MtC/%kh1&<`\iwRȌI RHfuߢ9#k.޴ovf-Cq9g}! sEu: ֘Zj$wR㸌]{0ye4$'P`;W B;n%?")ḊW6WWLU"C3]z'on&?&buZޛKKMɢMXrJ_ޝb}_fu+v/ǒӞ!kņR?)o-J$jց|u!-exSo]fkc;WrMct:b|d:a* H#t0 _U>4Tdб(ȩ&x1X F&3*lS b'vso1Y4Sa YBƯ#:Z?%vW Q<S_&]hc4]4׆ϚNT] #``id]m==-j˾( پΎ a#Ѓa@Pm$5Ne(/>OˑzHlZ9`w_/|5of-\iz?dwiˀ| ?Y8ZDB[;[a"J%z=S?3[Np) /xFWZ !\r^z< ~6p?&c̎ʽiLp+qr[p\*Ei#lar, /HIJ5֘Osb.k=_ˮPW 2*ڈ˃0V+Ȁ';:@Vf7B03m맵! 2gNNfAALJ`η(ւ2KGs{9E7gՙٯZՁH */%]οonccNU2Ӯ ,{3j*iG(;RΣͻăs"̃>Bo 6&3Y\_tӉ&21O7]LVu 4$ݬ B4JT>6@opF$u@vUVHj 3iaN'G]$uN" t]!QAh%ŞjI*55gԡ/lB^ջj(J=*g7UmgYZ W+?% DCard_PartitionsHOL-Library.Disjoint_Setsdocument.tex7zXZִF! Ck]A-MՋhvG"uIBm5vijxW385謅 3^T Цɯr70J5g+M(jb yuO*-l@"rwЉ ^t ISnSDǪg#T:.%9(L\(=~.dk赶M}D+L *KD7iMJt|f)gp{᷼Gּ45U `ztB# WĐ:HS&V=I{xd^57paA>+XYi$`M]r/=[_7SDbhAQԡr20B4$cTS"4֦|(mހSpZgͶCX:ZW3Yn=S'"+svT: ?>#ϸتD wrwP 8Jd4$ D'}ſOrDiu6 ޔ.] ݧ_ Tbqq NItG*^yUSA@,TdOl8ŨBCq>XY5ñ E#pn.)H; K1dG\!`0Im$Ae;aEВ A殺&$,[l͠ˁm<[@BfAIޘ3~DT߲>!^NgXoNA' \ k|M˙5^PK ᛜw:ȆҌi+}KZ 2c| )kx@`4 ~9 k4<'Hfz*Onj'jPa,ї 8WI*gI<o:/s ŽX-lt 0X/x~` @ͫId@L>fإŕ͔!PvnrшGFzZDpwe^V=MYW3M;+3$[^? JDݜ rg=E]Z̘28ZoT@s s펉Sb[7ۚ_OKa.Q6e r0>Z@MOhĢljةbV(­i%Sʿ3-4  tYo_#W?/.RK8k?La_SqG̱CU8MǏFrl\TZC b /8ZrP5d"uX>"T 9P'"ZLSQdje\żLM˂4$QnF msJZҼț@O ª7a B[ȀN%j~gN|B5l w +A@TGf`$[GzWD8ޜ(a #C%'IQq^a͘'0+n #&:H$6Iʏ噡07i--φZS6h1>!zx0~2%|P{We,/p2|$.b;*pggs<mjlGOm_u@!3Sy&K!ɵ? %9ΥKBe3kޟT%E! jށM :!ip4JO])yJa/X/ޠ=hqKLb~|aQC~.sݾZ>rwI w䠛8N,}3K|JH긦+p3c/Pj$!mc.<}nrfӅCpYY^ ,@[qtU}C?Mq=Y_OuIi5E5i$8uQWf4T78y؎B _TӡT;]w>)HJ x(uzBzΠǂU~>+9/nj-X~jMz:i&'k^&4ȗhHbsv'U*#YnTDPQMI/&qJ in!mDcQy8c"$HI7Qb걃tZJߠ:DqCFly}Lvi߽a^e-\'c?$o5(hu :=-iP R@0NQCtc(sP5ܮJS[sl[ғIW-citѭHk}7TziGfjL#vO#9闈h;y^LoPw\EN|BYuL| r%54~34w4{3Dnܟ w H`~JFJ =Wb14?ĀA;km-` r!GTxXT'6ՂE\+$iG1|>6e\7mBӁZ_A65dX:?;q6ݨ 3 h?q1 EV5N}۱RuL*wxJQj>Q|ujJ^ mJ- 7uP_.;.(=Ű`f:VcXUD 'j3e=dx e)x~f HzgG, LT~Xlx}vY+>qg/4 bҼEf~`xte0oIX74fL:K2gؕΆxٮz'ipI9%V$Y;,o':R\aaLJk+,f9QDeCȄ^6+F6 ^ BeEߡQREN̮x/֬$5FDYp1oC|!KSMʍr$X#gPz&tő'6ObT@Ӵ߳t@j@=:T3 #U[V ; {0%kl6|zs-1[I)VW6 ȹ9l.z2(0 5;/62)Qjc@?/(\UNL8M4bafؔ!2-wAB:tXXi)$8ِO^'<j,W~jrLZ06Ir"F24cMÿy۪tˉ.M(2 6iɱ/NρBvfo͖}k{ߕo*-x?{כN\%#F g=Ŵ֠'Z%௓ed̮cHH| iûEَ)\ 캔Ϋ ]vW,C{_V[/O3Rİ(xM3+{WZ&FRlk1'-NIyy@U2rғpBJNHr΋1]ZC>(ȍ!yN1.+-XnִR_w IC|Ne#Lj4_.7GGu%+@\jĮ܉,l"(i:¨ZX #|[ PX[Hkz~qu˜.I .hgMg.>f9 UWE@ܠ)-P[? YHmȸ]J>PlTr  &1$/'GwӪ"45gW]7j-ݏz}IQ>x˷aޣTyT!pN*AKCUiXSi=DbkI˓EPIv&^ȃ6{`x݃k&y`%\m%5$[]9P.>JP.|MK(L3I jG B:2fM .r xyhu|ɖ!q%c6{Hݗ39!GQNϠ%I馘SͲ7 `HMvw(ɻT6cC)l;|^'q1ga#!HߦsS$urP6W%Y!ZI_| w!gYfW-TKaq{gdaefŽbdaBKVz0u>]ܲ NMI8.:<1k|?Ho΃%knke֌Qڳ +_ NMu&TsɌ5٦7]b.mG=dp?q0wU]m^Qm ww  *[_J:,?! SM#FZqv+<" %P ^G0ǃ8^3x3rІ#4 &DVaO}Z[ٌzp|)SvzɮB.g!$_o*dՀim7uzgʼnYZDF*:)jt!OQRr["Zmƚv5iMm-JJ- =CͲ5\Ӹv LfsCPC`xe6?-qMc Q1ޡl"05k3oO.2(#k& lka'q <&D1VE8eA=hN (4ڣ=>{ikyI.\AVfg.u򸁥abV@Gٛ,jդ6+ehj LQل ŊqW' tK>Ǎ.4wԸ+ZA̜ӣv6:;~FX7:5Cg" .~䃩 v,<|j0؇Z>Ѫ'ƦbN fmli@fGt̿Mu6\J#;Z94z9;ȠN_ yb|ܬ);旂VȢ(ٕY ,޻ .)5ԭK_ V{ۏN &r+ g`CRU;7#Xg.;|u-w+O@)…f % 8c^ Q7?;&v6n39G3-R+i_5ES2]{̍DY"Qv'-uSCyld^My.Hg9X0q2L-m'AJ8J HOwsYS+lT[n:}MxV?q+UT v109k(ٱ"Ia ?K~׾ =C:[[BurMt0jS_ P4_7یH1+g{}0-b=WR -渭kx_g86JFH-Դy$4?\XC0YÚFxHpm a.S7ڂ0FCݍCG*{p0k솤jj{!>BxbP,6>R_OUb]%+wy c/luZZBtiuR>/ }TsmSt;E/uXP;ONLCݿ9ד!84UxaLҘw: fݾ3؀^<_==ޗ)Qisf!<3C]=&c6\ pդj){eWU;{B=yNtYQƀn`a);!tŃ$F~;\(5bgYZ  _ _+5% LCard_PartitionsHOL-Library.Stirlingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5,ՏĮGp>8ٗr"q![B+ձ4+'QӦ=&jn5!+Ji0"Yf8F@uYKe"t_#9;OeuP"uLOT4.$>bY %›P r x L fbO?|QV-1h,Q;o*%SR$\/\4=VZ +HB`JF;n lS WFppK8GHDk OF0  ,U=P9MSg%.<|,.çof$tflF{ DK MeAh٩AYD 0^FvvU({ GƇɇj>LJmyZaZ!zTOԉu. ?q`t'䘙3kYOa[]v)A7'~ E1`,mbY$uc E`,K@.J=Ceo5`zTwNl'G_-,IVo`/. q!Ș yE#e/U8@Z u)TǴ qSޢV[u9Ƈx*=mZ6,QoZW)\ƴS^寰y߶?#Le"M#HgkH͊v+-AN{s,\KN"0| 6kP"hb6}i4wT\kVG՘ug3ZY`̷hhX b˛ UU(+Q% TCard_PartitionsCard_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=bMŵE]b"󬓳U<> k;υOw捔>^P답z>^͇\`s dF`[HՁtOW\""ݙERh VB,—oW<|5^  gYZ+3% LCard_PartitionsHOL-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ճעv7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIB+bqi.cEj! xh.>~5\cMрI?ŷ9*YPU[ Z vE:1 ( {Vz6J@Em'] 0[n=˘u^^x~[o`m-GnC.o}z}&miq@n~Epz8 ?*Ni 쳕F?v{塎Y~ Q`P[#>\я'>m1'LX,ǥ҇~2?."}}d_CjMkJmOZ ew(Pޒ/d%姴Щ?Aǯ,s7ߴs噥CV(`~= y\؊NWŠud_GogX siVR "^ vV?T(✨1?VTORYvH`NϊDH!ٯM΋' |^1֧0Pr~W[hlx :C<\'ѳ@@LVAǣK+y C,Rjړ6XrNb/թ2V^g7uDw|n >zpɉyS''B2xT Dv//HH^Rq  9=vn#o vxcW<r݋?6vt#nS(osxszCt J0#xboiIqS*~$|"#vml` PQ{tm1*37<Ipe=bE[.55 (8%U2aR .{rxYF6}]VgfȠ\%:st/Lg!] Pd1V\}a3t@0קy35dc!\.f?ut BtW'1IMM\/ru(bQАZhТ7?GK֩3yw{4[ J՚Q˃U~[ UZ8{+%ΝMwliYj5|D&FU CgGА٨ fwwgYZ