New coverings of t-sets with (t+1)-sets: Appendix

Authors: K. J. Nurmela and P. R. J. Östergård
Title: New coverings of t-sets with (t+1)-sets
Source: Journal of Combinatorial Designs 7 (1999), 217-226 (JCD 343)

This page provides the complete Table II for the above mentioned article (only a part of the table was printed in the journal). It gives the following upper bounds for the size of covering designs (for other bounds induced by these, see the full paper):

Bound

C(14,6,5) <= 371
C(14,9,8) <= 471
C(17,8,7) <= 3040
C(19,5,4) <= 846
C(20,5,4) <= 1083
C(22,7,6) <= 13244
C(23,8,7) <= 38962
C(24,7,6) <= 23276
C(25,8,7) <= 78012
C(26,8,7) <= 105000
C(27,5,4) <= 3848
C(27,6,5) <= 15210
C(27,7,6) <= 50895
C(27,9,8) <= 334854
C(28,5,4) <= 4550
C(28,6,5) <= 18369
C(28,7,6) <= 65286
C(28,9,8) <= 470340

Bound
C(14,6,5) <= 371 C(14,9,8) <= 471 C(17,8,7) <= 3040 C(19,5,4) <= 846 C(20,5,4) <= 1083 C(22,7,6) <= 13244 C(23,8,7) <= 38962 C(24,7,6) <= 23276 C(25,8,7) <= 78012 C(26,8,7) <= 105000 C(27,5,4) <= 3848 C(27,6,5) <= 15210 C(27,7,6) <= 50895 C(27,9,8) <= 334854 C(28,5,4) <= 4550 C(28,6,5) <= 18369 C(28,7,6) <= 65286 C(28,9,8) <= 470340

Table II: New covering designs

The base blocks are given in hexadecimal notation so that 0, 1, 2,..., 9, A, B,..., F correspond to the binary sequences 0000, 0001, 0010,..., 1001, 1010, 1011,..., 1111, respectively. Leading 0's are not shown, and the rightmost position is numbered 0, the leftmost n-1. The size of the orbit of a base block is shown as a superscript. The permutation group is given in brackets. For the groups, we have adopted the notation used in [L. G. Chouinard II, R. Jajcay, and S. S. Magliveras, ''Finite groups and designs,'' The CRC handbook of combinatorial designs, C. J. Colbourn and J. H. Dinitz (Editors), CRC Press, Boca Raton, 1996, pp. 587-615]. The generating permutations (in the cyclic notation) for the group are also given, since they can be constructed in many different ways. Fixed positions (if any) are those that are not listed in the generating permutations.

Bound
[Group]
Generators Base Blocks

C(14,6,5) <= 371
[Z₁₄]
(0,1,2,3,4,5,6,7,8,9,10,11,12,13) 3F¹⁴, D7¹⁴, EB¹⁴, 15B¹⁴, 173¹⁴, 19D¹⁴, 1B5¹⁴, 21F¹⁴, 279¹⁴, 29B¹⁴, 2CD¹⁴, 32B¹⁴, 353¹⁴, 365¹⁴, 45D¹⁴, 46B¹⁴, 48F¹⁴, 4E5¹⁴, 539¹⁴, 547¹⁴, 5A3¹⁴, 633¹⁴, 927¹⁴, 92D¹⁴, 955¹⁴, 387⁷, 993⁷, A95⁷

C(14,9,8) <= 471
[Z₅]
(0,2,4,6,8)(1,3,5,7,9) 1FF⁵, 2FF⁵, CBF⁵, CEF⁵, CFB⁵, D5F⁵, D77⁵, DAF⁵, DBE⁵, DFA⁵, 147F⁵, 14F7⁵, 14FD⁵, 157B⁵, 159F⁵, 15B7⁵, 16AF⁵, 16BB⁵, 18DF⁵, 18FE⁵, 196F⁵, 197E⁵, 19BB⁵, 19DE⁵, 19EB⁵, 19EE⁵, 1C7D⁵, 1CAF⁵, 1CDE⁵, 1D57⁵, 1D6E⁵, 1EAB⁵, 24DF⁵, 24FE⁵, 256F⁵, 257E⁵, 25BB⁵, 25DE⁵, 25EB⁵, 25EE⁵, 287F⁵, 28F7⁵, 28FD⁵, 297B⁵, 299F⁵, 29B7⁵, 2AAF⁵, 2ABB⁵, 2C7D⁵, 2CAF⁵, 2CDE⁵, 2D57⁵, 2D6E⁵, 2EAB⁵, 30BF⁵, 30EF⁵, 30FB⁵, 315F⁵, 3177⁵, 31AF⁵, 31BE⁵, 31FA⁵, 347D⁵, 34AF⁵, 34DE⁵, 3557⁵, 356E⁵, 36AB⁵, 387D⁵, 38AF⁵, 38DE⁵, 3957⁵, 396E⁵, 3AAB⁵, 3C3B⁵, 3C3E⁵, 3C4F⁵, 3C67⁵, 3C6B⁵, 3C73⁵, 3C76⁵, 3C7A⁵, 3C97⁵, 3C9B⁵, 3C9D⁵, 3CB3⁵, 3CB5⁵, 3CB6⁵, 3CCD⁵, 3CD9⁵, 3CE6⁵, 3CE9⁵, 3D5A⁵, 3D9A⁵, 3D55¹, 3EAA¹; remove block 1FF

C(17,8,7) <= 3040
[F_8,7]
(1,2,4,3,6,7,5)(9,10,12,11,14,15,13),
(0,1)(2,3)(4,5)(6,7)(8,9)(10,11)
(12,13)(14,15) 36F⁵⁶, 3F5⁵⁶, 773⁵⁶, 7AD⁵⁶, 7AE⁵⁶, F36⁵⁶, F53⁵⁶, F65⁵⁶, 1717⁵⁶, 172B⁵⁶, 173A⁵⁶, 174D⁵⁶, 175A⁵⁶, 1765⁵⁶, 178E⁵⁶, 1799⁵⁶, 17B1⁵⁶, 17B2⁵⁶, 17C3⁵⁶, 17D4⁵⁶, 17E8⁵⁶, 1F51⁵⁶, 1F61⁵⁶, 1F8A⁵⁶, 1FA4⁵⁶, 3F11⁵⁶, 3F14⁵⁶, 3F48⁵⁶, 10357⁵⁶, 1035E⁵⁶, 10376⁵⁶, 103D6⁵⁶, 1070F⁵⁶, 10735⁵⁶, 10759⁵⁶, 1076C⁵⁶, 10793⁵⁶, 107A6⁵⁶, 107CA⁵⁶, 107F0⁵⁶, 10F07⁵⁶, 10F70⁵⁶, 1171C⁵⁶, 11738⁵⁶, 11746⁵⁶, 11762⁵⁶, 11785⁵⁶, 117A1⁵⁶, 11F12⁵⁶, 11F24⁵⁶, 11F41⁵⁶, 11F88⁵⁶, 33F²⁸, 3CF²⁸, 3FC²⁸, 3F03²⁸, 1007F⁸, 17F00⁸

C(19,5,4) <= 846
[Z₁₈]
(0,1,2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17) 4F¹⁸, 75¹⁸, CB¹⁸, 11B¹⁸, 159¹⁸, 1A3¹⁸, 253¹⁸, 295¹⁸, 299¹⁸, 325¹⁸, 3C1¹⁸, 417¹⁸, 439¹⁸, 543¹⁸, 589¹⁸, 661¹⁸, 893¹⁸, 8C5¹⁸, 915¹⁸, A23¹⁸, B09¹⁸, C0D¹⁸, CA1¹⁸, E11¹⁸, 1069¹⁸, 10D1¹⁸, 1131¹⁸, 1283¹⁸, 1451¹⁸, 1485¹⁸, 1889¹⁸, 2185¹⁸, 2229¹⁸, 2309¹⁸, 2491¹⁸, 4002D¹⁸, 40063¹⁸, 400A9¹⁸, 40107¹⁸, 40191¹⁸, 40425¹⁸, 404C1¹⁸, 40851¹⁸, 40921¹⁸, 41045¹⁸, 40603⁹, 40A05⁹, 41209⁹, 42211⁹

C(20,5,4) <= 1083
[Z₁₉]
(0,1,2,3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18) 2F¹⁹, 73¹⁹, E9¹⁹, 147¹⁹, 21B¹⁹, 383¹⁹, 459¹⁹, 48D¹⁹, 4C3¹⁹, 4D1¹⁹, 50B¹⁹, 525¹⁹, 645¹⁹, 6A1¹⁹, 711¹⁹, 895¹⁹, 931¹⁹, 961¹⁹, A23¹⁹, A51¹⁹, B05¹⁹, B09¹⁹, C13¹⁹, C29¹⁹, D81¹⁹, 1055¹⁹, 1087¹⁹, 1113¹⁹, 1189¹⁹, 1229¹⁹, 1291¹⁹, 1449¹⁹, 18A1¹⁹, 1941¹⁹, 1C21¹⁹, 2087¹⁹, 20B1¹⁹, 2115¹⁹, 220D¹⁹, 2243¹⁹, 2321¹⁹, 4249¹⁹, 4423¹⁹, 80099¹⁹, 8010B¹⁹, 80151¹⁹, 801A1¹⁹, 80215¹⁹, 80229¹⁹, 80407¹⁹, 80431¹⁹, 80825¹⁹, 808C1¹⁹, 80903¹⁹, 81061¹⁹, 81105¹⁹, 81241¹⁹

C(22,7,6) <= 13244
[F_11,10]
(1,2,4,8,5,10,9,7,3,6)
(12,13,15,19,16,21,20,18,14,17),
(0,1,2,3,4,5,6,7,8,9,10)
(11,12,13,14,15,16,17,18,19,20,21) 8E7¹¹⁰, 8FC¹¹⁰, 93E¹¹⁰, 979¹¹⁰, 182F¹¹⁰, 189B¹¹⁰, 18BA¹¹⁰, 18F1¹¹⁰, 190F¹¹⁰, 1A36¹¹⁰, 1A6A¹¹⁰, 1AC6¹¹⁰, 1B07¹¹⁰, 1B94¹¹⁰, 1C5C¹¹⁰, 1D15¹¹⁰, 381D¹¹⁰, 384B¹¹⁰, 3872¹¹⁰, 38A3¹¹⁰, 391A¹¹⁰, 392A¹¹⁰, 3961¹¹⁰, 3991¹¹⁰, 39C8¹¹⁰, 3A51¹¹⁰, 3A58¹¹⁰, 3A8A¹¹⁰, 3B0C¹¹⁰, 3C98¹¹⁰, 5827¹¹⁰, 5874¹¹⁰, 58AC¹¹⁰, 58C3¹¹⁰, 58D8¹¹⁰, 5926¹¹⁰, 5931¹¹⁰, 5952¹¹⁰, 59B0¹¹⁰, 5A0E¹¹⁰, 5A2C¹¹⁰, 5A61¹¹⁰, 5A85¹¹⁰, 5AA2¹¹⁰, 5B18¹¹⁰, 5B44¹¹⁰, 5B88¹¹⁰, 5C0D¹¹⁰, 5C32¹¹⁰, 5C4A¹¹⁰, 5C51¹¹⁰, 5C98¹¹⁰, 5CA1¹¹⁰, 5CC4¹¹⁰, 5D50¹¹⁰, 5D82¹¹⁰, 5E30¹¹⁰, 5E42¹¹⁰, 5F01¹¹⁰, 5F08¹¹⁰, 7829¹¹⁰, 784C¹¹⁰, 7885¹¹⁰, 7914¹¹⁰, 7A12¹¹⁰, B80E¹¹⁰, B813¹¹⁰, B82C¹¹⁰, B834¹¹⁰, B889¹¹⁰, B922¹¹⁰, BA44¹¹⁰, BA90¹¹⁰, BC09¹¹⁰, BD40¹¹⁰, BD80¹¹⁰, D813¹¹⁰, D845¹¹⁰, D868¹¹⁰, D960¹¹⁰, DA22¹¹⁰, F830¹¹⁰, F8C0¹¹⁰, 13807¹¹⁰, 13889¹¹⁰, 138B0¹¹⁰, 13922¹¹⁰, 13A03¹¹⁰, 13A14¹¹⁰, 13A28¹¹⁰, 13A42¹¹⁰, 13C41¹¹⁰, 13D08¹¹⁰, 17821¹¹⁰, 17940¹¹⁰, 17A80¹¹⁰, 17C10¹¹⁰, 1B841¹¹⁰, 1B860¹¹⁰, 1B884¹¹⁰, 1B910¹¹⁰, 1BA01¹¹⁰, 1BC02¹¹⁰, 1F804¹¹⁰, 27811¹¹⁰, 27822¹¹⁰, 27888¹¹⁰, 27A02¹¹⁰, 27D00¹¹⁰, 2E803¹¹⁰, 2E882¹¹⁰, 2E908¹¹⁰, 4B850¹¹⁰, 4F880¹¹⁰, 7F⁵⁵, AF4⁵⁵, 1AE8⁵⁵, 1C47⁵⁵, 38C5⁵⁵, 3925⁵⁵, 3AD0⁵⁵, 3B30⁵⁵, D984⁵⁵, 2E814⁵⁵, 2EC80⁵⁵, 3F800⁵⁵, A3B²², 5B820²²

C(23,8,7) <= 38962
[F_23,22]
(1,5,2,10,4,20,8,17,16,11,9,22,
18,21,13,19,3,15,6,7,12,14),
(0,1,2,3,4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22) 27F⁵⁰⁶, 57D⁵⁰⁶, 5BB⁵⁰⁶, 5CF⁵⁰⁶, 5D7⁵⁰⁶, 96F⁵⁰⁶, 9D7⁵⁰⁶, B5D⁵⁰⁶, CE7⁵⁰⁶, DA7⁵⁰⁶, E4F⁵⁰⁶, 11BB⁵⁰⁶, 11D7⁵⁰⁶, 11EB⁵⁰⁶, 12B7⁵⁰⁶, 135B⁵⁰⁶, 1375⁵⁰⁶, 13CD⁵⁰⁶, 1477⁵⁰⁶, 168F⁵⁰⁶, 16E3⁵⁰⁶, 1747⁵⁰⁶, 17A3⁵⁰⁶, 191F⁵⁰⁶, 192F⁵⁰⁶, 1A67⁵⁰⁶, 1A6B⁵⁰⁶, 1B17⁵⁰⁶, 1B87⁵⁰⁶, 215F⁵⁰⁶, 21BD⁵⁰⁶, 22D7⁵⁰⁶, 232F⁵⁰⁶, 23AB⁵⁰⁶, 23CB⁵⁰⁶, 24AF⁵⁰⁶, 24F9⁵⁰⁶, 2537⁵⁰⁶, 25E3⁵⁰⁶, 261F⁵⁰⁶, 2753⁵⁰⁶, 2787⁵⁰⁶, 287B⁵⁰⁶, 28DD⁵⁰⁶, 29D3⁵⁰⁶, 2AE3⁵⁰⁶, 2C57⁵⁰⁶, 2D47⁵⁰⁶, 2E2B⁵⁰⁶, 34C7⁵⁰⁶, 416F⁵⁰⁶, 419F⁵⁰⁶, 41B7⁵⁰⁶, 433D⁵⁰⁶, 43E5⁵⁰⁶, 44CF⁵⁰⁶, 46D5⁵⁰⁶, 46F1⁵⁰⁶, 49CB⁵⁰⁶, 49E9⁵⁰⁶, 4AAB⁵⁰⁶, 4B33⁵⁰⁶, 4F15⁵⁰⁶, 4F43⁵⁰⁶, 5317⁵⁰⁶, 5395⁵⁰⁶, 54D5⁵⁰⁶, 564D⁵⁰⁶, 5953⁵⁰⁶, 865D⁵⁰⁶, 8DC3⁵⁰⁶, 9553⁵⁰⁶, 9D23⁵⁰⁶, A497⁵⁰⁶, 102EB⁵⁰⁶, FF²⁵³, 37B²⁵³, 1CA7²⁵³, 352B²⁵³

C(24,7,6) <= 23276
[F_23,22]
(1,5,2,10,4,20,8,17,16,11,9,22,
18,21,13,19,3,15,6,7,12,14),
(0,1,2,3,4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22) 19F⁵⁰⁶, 277⁵⁰⁶, 2CF⁵⁰⁶, 34F⁵⁰⁶, 4BB⁵⁰⁶, 4F5⁵⁰⁶, 6C7⁵⁰⁶, 83F⁵⁰⁶, 8E7⁵⁰⁶, 9B5⁵⁰⁶, B17⁵⁰⁶, C97⁵⁰⁶, 10B7⁵⁰⁶, 11E9⁵⁰⁶, 123D⁵⁰⁶, 130F⁵⁰⁶, 1563⁵⁰⁶, 1587⁵⁰⁶, 1617⁵⁰⁶, 1663⁵⁰⁶, 1917⁵⁰⁶, 1A87⁵⁰⁶, 20BB⁵⁰⁶, 2179⁵⁰⁶, 2437⁵⁰⁶, 2457⁵⁰⁶, 2695⁵⁰⁶, 26A3⁵⁰⁶, 322B⁵⁰⁶, 4297⁵⁰⁶, 80006F⁵⁰⁶, 80021F⁵⁰⁶, 800533⁵⁰⁶, 800547⁵⁰⁶, 800927⁵⁰⁶, 800939⁵⁰⁶, 800953⁵⁰⁶, 800C87⁵⁰⁶, 80108F⁵⁰⁶, 801171⁵⁰⁶, 8020E9⁵⁰⁶, 17D²⁵³, 1D7²⁵³, 727²⁵³, 1C47²⁵³, 80016D²⁵³, 8002B5²⁵³, 8002CD²⁵³, 80058D²⁵³, 80068B²⁵³, 8008F1²⁵³

C(25,8,7) <= 78012
[L₂]
(0,10,9,8,7,6,5,4,3,2,1)
(12,22,21,20,19,18,17,16,15,14,13),
(0,11)(1,10)(2,5)(3,7)(4,8)(6,9)(12,23)
(13,22)(14,17)(15,19)(16,20)(18,21) 305F⁶⁶⁰, 30BD⁶⁶⁰, 3137⁶⁶⁰, 316B⁶⁶⁰, 317C⁶⁶⁰, 31BA⁶⁶⁰, 31D6⁶⁶⁰, 31D9⁶⁶⁰, 331D⁶⁶⁰, 332E⁶⁶⁰, 33B4⁶⁶⁰, 347A⁶⁶⁰, 34DC⁶⁶⁰, F03A⁶⁶⁰, F05C⁶⁶⁰, F071⁶⁶⁰, F096⁶⁶⁰, F0A9⁶⁶⁰, F0C5⁶⁶⁰, F115⁶⁶⁰, F12C⁶⁶⁰, F149⁶⁶⁰, F162⁶⁶⁰, F18A⁶⁶⁰, F1A4⁶⁶⁰, F1B0⁶⁶⁰, F1C2⁶⁶⁰, F21C⁶⁶⁰, F289⁶⁶⁰, F291⁶⁶⁰, F2D0⁶⁶⁰, F2E0⁶⁶⁰, F312⁶⁶⁰, F321⁶⁶⁰, F416⁶⁶⁰, F483⁶⁶⁰, F48C⁶⁶⁰, F4A8⁶⁶⁰, F4C1⁶⁶⁰, F550⁶⁶⁰, F682⁶⁶⁰, F8A2⁶⁶⁰, F981⁶⁶⁰, FA90⁶⁶⁰, 1F00D⁶⁶⁰, 27039⁶⁶⁰, 27056⁶⁶⁰, 2708B⁶⁶⁰, 2709C⁶⁶⁰, 270C5⁶⁶⁰, 270D1⁶⁶⁰, 27158⁶⁶⁰, 271B0⁶⁶⁰, 27213⁶⁶⁰, 27292⁶⁶⁰, 27415⁶⁶⁰, 2741A⁶⁶⁰, 27609⁶⁶⁰, 27628⁶⁶⁰, 27650⁶⁶⁰, 3F042⁶⁶⁰, 3F104⁶⁶⁰, 3F220⁶⁶⁰, 5F022⁶⁶⁰, 6F012⁶⁶⁰, 7700A⁶⁶⁰, 7B006⁶⁶⁰, 7D005⁶⁶⁰, 7D00C⁶⁶⁰, 7D018⁶⁶⁰, 7D082⁶⁶⁰, 7D102⁶⁶⁰, 7D202⁶⁶⁰, 100007F⁶⁶⁰, 100107B⁶⁶⁰, 100311D⁶⁶⁰, 1003169⁶⁶⁰, 10031D2⁶⁶⁰, 1003334⁶⁶⁰, 1003478⁶⁶⁰, 10034D4⁶⁶⁰, 100700F⁶⁶⁰, 1007017⁶⁶⁰, 1007027⁶⁶⁰, 100703C⁶⁶⁰, 1007059⁶⁶⁰, 100706A⁶⁶⁰, 10070E4⁶⁶⁰, 100714A⁶⁶⁰, 1007191⁶⁶⁰, 1007258⁶⁶⁰, 1007289⁶⁶⁰, 1007344⁶⁶⁰, 1007530⁶⁶⁰, 1007921⁶⁶⁰, 1007930⁶⁶⁰, 100F098⁶⁶⁰, 100F0A1⁶⁶⁰, 100F211⁶⁶⁰, 100F230⁶⁶⁰, 100F282⁶⁶⁰, 100F380⁶⁶⁰, 100F482⁶⁶⁰, 100F490⁶⁶⁰, 101F028⁶⁶⁰, 1027007⁶⁶⁰, 1027049⁶⁶⁰, 10270D0⁶⁶⁰, 1027411⁶⁶⁰, 102F006⁶⁶⁰, 102F024⁶⁶⁰, 102F050⁶⁶⁰, 102F101⁶⁶⁰, 102F208⁶⁶⁰, 102F600⁶⁶⁰, 102F880⁶⁶⁰, 107F000⁶⁶⁰, 364E¹³², 5F240¹³², 13F008¹³², 100013F¹³², 100117C¹³², 101F240¹³²

C(26,8,7) <= 105000
[F_25,24]
(1,5,23,22,17,24,2,10,16,19,9,18,
4,20,7,8,13,6,3,15,14,11,21,12),
(0,1,2,3,4)(5,6,7,8,9)(10,11,12,13,14)
(15,16,17,18,19)(20,21,22,23,24) 5EE⁶⁰⁰, 6BB⁶⁰⁰, 6DE⁶⁰⁰, 6ED⁶⁰⁰, 79B⁶⁰⁰, 7B6⁶⁰⁰, 7F1⁶⁰⁰, C3F⁶⁰⁰, CF5⁶⁰⁰, D5E⁶⁰⁰, D79⁶⁰⁰, DC7⁶⁰⁰, DCD⁶⁰⁰, DF2⁶⁰⁰, ED6⁶⁰⁰, FAA⁶⁰⁰, 14F9⁶⁰⁰, 1576⁶⁰⁰, 15BC⁶⁰⁰, 15D3⁶⁰⁰, 165B⁶⁰⁰, 1697⁶⁰⁰, 170F⁶⁰⁰, 178E⁶⁰⁰, 1C6D⁶⁰⁰, 1C8F⁶⁰⁰, 1D59⁶⁰⁰, 1D8B⁶⁰⁰, 1F15⁶⁰⁰, 2C57⁶⁰⁰, 2D3A⁶⁰⁰, 849F⁶⁰⁰, 84D7⁶⁰⁰, 84FA⁶⁰⁰, 853D⁶⁰⁰, 854F⁶⁰⁰, 85A7⁶⁰⁰, 85B3⁶⁰⁰, 85D5⁶⁰⁰, 85D9⁶⁰⁰, 85EA⁶⁰⁰, 85F4⁶⁰⁰, 8667⁶⁰⁰, 86F8⁶⁰⁰, 8735⁶⁰⁰, 8772⁶⁰⁰, 8787⁶⁰⁰, 87A9⁶⁰⁰, 87D2⁶⁰⁰, 88CF⁶⁰⁰, 88F3⁶⁰⁰, 88FC⁶⁰⁰, 89BC⁶⁰⁰, 8A1F⁶⁰⁰, 8A79⁶⁰⁰, 8AAE⁶⁰⁰, 8B2B⁶⁰⁰, 8B66⁶⁰⁰, 8B96⁶⁰⁰, 8BC9⁶⁰⁰, 8C5D⁶⁰⁰, 8D78⁶⁰⁰, 8D8B⁶⁰⁰, 8DE4⁶⁰⁰, 8E2E⁶⁰⁰, 8E87⁶⁰⁰, 8F45⁶⁰⁰, 8F4A⁶⁰⁰, 8FD0⁶⁰⁰, 9077⁶⁰⁰, 90EB⁶⁰⁰, 91EC⁶⁰⁰, 923B⁶⁰⁰, 928F⁶⁰⁰, 92CD⁶⁰⁰, 935C⁶⁰⁰, 945E⁶⁰⁰, 95B1⁶⁰⁰, 95C6⁶⁰⁰, 9655⁶⁰⁰, 9672⁶⁰⁰, 96AA⁶⁰⁰, 96E1⁶⁰⁰, 9725⁶⁰⁰, 98F1⁶⁰⁰, 9917⁶⁰⁰, 994D⁶⁰⁰, 99A3⁶⁰⁰, 9A2D⁶⁰⁰, 9A36⁶⁰⁰, 9A4E⁶⁰⁰, 9A53⁶⁰⁰, 9AE8⁶⁰⁰, 9B1C⁶⁰⁰, 9B2A⁶⁰⁰, 9C53⁶⁰⁰, 9D0E⁶⁰⁰, 9DA2⁶⁰⁰, 9F48⁶⁰⁰, A1DA⁶⁰⁰, A36A⁶⁰⁰, A3D4⁶⁰⁰, A475⁶⁰⁰, A5E1⁶⁰⁰, A63A⁶⁰⁰, A6E2⁶⁰⁰, A770⁶⁰⁰, A91D⁶⁰⁰, AB61⁶⁰⁰, B0D6⁶⁰⁰, B1B4⁶⁰⁰, B263⁶⁰⁰, B4D1⁶⁰⁰, BAC2⁶⁰⁰, 200047B⁶⁰⁰, 20004BE⁶⁰⁰, 20004CF⁶⁰⁰, 2000557⁶⁰⁰, 200057C⁶⁰⁰, 2000597⁶⁰⁰, 2000637⁶⁰⁰, 200063E⁶⁰⁰, 200069D⁶⁰⁰, 20006D3⁶⁰⁰, 200070F⁶⁰⁰, 2000759⁶⁰⁰, 200075A⁶⁰⁰, 20007A5⁶⁰⁰, 2000C7A⁶⁰⁰, 2000CAD⁶⁰⁰, 2000D1B⁶⁰⁰, 2000D2B⁶⁰⁰, 2000D8B⁶⁰⁰, 2000EA9⁶⁰⁰, 2001437⁶⁰⁰, 200145E⁶⁰⁰, 200146E⁶⁰⁰, 20014F2⁶⁰⁰, 2001C36⁶⁰⁰, 2001D0D⁶⁰⁰, 200843E⁶⁰⁰, 2008476⁶⁰⁰, 20084F1⁶⁰⁰, 20085B8⁶⁰⁰, 200864E⁶⁰⁰, 200866A⁶⁰⁰, 2008699⁶⁰⁰, 20086D4⁶⁰⁰, 2008726⁶⁰⁰, 2008758⁶⁰⁰, 200885B⁶⁰⁰, 2008876⁶⁰⁰, 200889E⁶⁰⁰, 200894E⁶⁰⁰, 20089C6⁶⁰⁰, 2008ACA⁶⁰⁰, 2008AE1⁶⁰⁰, 2008B58⁶⁰⁰, 2008C5A⁶⁰⁰, 2009196⁶⁰⁰, 20092B8⁶⁰⁰, 1F7³⁰⁰, EE3³⁰⁰, 15EA³⁰⁰, 17C9³⁰⁰, 1C73³⁰⁰, 1E3C³⁰⁰, 1E59³⁰⁰, 1E93³⁰⁰, 2E8B³⁰⁰, 9E62³⁰⁰, ADA8³⁰⁰, AEA1³⁰⁰, 20007E2³⁰⁰, 20007E8³⁰⁰, 20007F0³⁰⁰, 2000CE6³⁰⁰, 2000D63³⁰⁰, 2000DB1³⁰⁰, 2000DD8³⁰⁰, 2000E71³⁰⁰, 2000EB8³⁰⁰, 2000ECC³⁰⁰, 2000F46³⁰⁰, 20014E5³⁰⁰, 20015D4³⁰⁰, 2001669³⁰⁰, 200172A³⁰⁰, 2001792³⁰⁰

C(27,5,4) <= 3848
[Z₂₆]
(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,25) 6D²⁶, 127²⁶, 14D²⁶, 199²⁶, 21D²⁶, 361²⁶, 471²⁶, 4C5²⁶, 613²⁶, 649²⁶, 781²⁶, 88D²⁶, 8B1²⁶, 913²⁶, A07²⁶, D09²⁶, 1151²⁶, 12A1²⁶, 1429²⁶, 1823²⁶, 2059²⁶, 20C3²⁶, 2161²⁶, 2213²⁶, 2305²⁶, 2415²⁶, 2845²⁶, 2A81²⁶, 2E01²⁶, 300B²⁶, 3025²⁶, 3085²⁶, 3501²⁶, 4129²⁶, 4245²⁶, 4289²⁶, 4303²⁶, 4419²⁶, 44A1²⁶, 4605²⁶, 4815²⁶, 4843²⁶, 4A21²⁶, 4D01²⁶, 500D²⁶, 5013²⁶, 50C1²⁶, 5601²⁶, 6023²⁶, 6105²⁶, 7201²⁶, 802D²⁶, 804B²⁶, 80E1²⁶, 8291²⁶, 8423²⁶, 8807²⁶, 8A41²⁶, 9105²⁶, 9411²⁶, 9809²⁶, A0A1²⁶, A409²⁶, A901²⁶, B041²⁶, C083²⁶, C811²⁶, E009²⁶, 100A3²⁶, 10149²⁶, 10185²⁶, 10243²⁶, 10491²⁶, 10819²⁶, 11031²⁶, 11209²⁶, 11881²⁶, 12111²⁶, 14211²⁶, 14441²⁶, 18045²⁶, 18501²⁶, 18821²⁶, 1A201²⁶, 1C101²⁶, 20443²⁶, 20521²⁶, 20681²⁶, 20861²⁶, 20885²⁶, 20A09²⁶, 21015²⁶, 21083²⁶, 21241²⁶, 22205²⁶, 22481²⁶, 24061²⁶, 24181²⁶, 28301²⁶, 30409²⁶, 31101²⁶, 40449²⁶, 40621²⁶, 4080B²⁶, 40C05²⁶, 41019²⁶, 41121²⁶, 42209²⁶, 42811²⁶, 48109²⁶, 49081²⁶, 50205²⁶, 51041²⁶, 81811²⁶, 82091²⁶, 82109²⁶, 82221²⁶, 84085²⁶, 88241²⁶, A0841²⁶, 4000039²⁶, 4000063²⁶, 40000A5²⁶, 4000183²⁶, 400020B²⁶, 4000425²⁶, 4000541²⁶, 4000981²⁶, 4000C03²⁶, 4001045²⁶, 4001089²⁶, 4001A01²⁶, 4004091²⁶, 4004481²⁶, 4004821²⁶, 4005101²⁶, 4008111²⁶, 4009201²⁶, 400C041²⁶, 4010121²⁶, 4010281²⁶, 4010403²⁶, 4010805²⁶, 4020221²⁶, 4040841²⁶, 4006003¹³, 400A005¹³, 4012009¹³, 4022011¹³, 4042021¹³, 4082041¹³

C(27,6,5) <= 15210
[F_27,26]
(1,3,9,5,15,23,13,17,20,4,12,14,11,2,
6,18,7,21,16,26,22,10,8,24,25,19),
(0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14)
(15,16,17)(18,19,20)(21,22,23)(24,25,26) 77⁷⁰², 24F⁷⁰², 366⁷⁰², 39A⁷⁰², 6A9⁷⁰², 715⁷⁰², E52⁷⁰², 125C⁷⁰², 126A⁷⁰², 12AA⁷⁰², 12B4⁷⁰², 1319⁷⁰², 142E⁷⁰², 14B2⁷⁰², 14CA⁷⁰², 1543⁷⁰², 1570⁷⁰², 158C⁷⁰², 188B⁷⁰², 161A³⁵¹, 1683³⁵¹, 16D0³⁵¹, 1C1C³⁵¹, 3384³⁵¹, DB¹¹⁷

C(27,7,6) <= 50895
[F_27,26]
(1,3,9,5,15,23,13,17,20,4,12,14,11,2,
6,18,7,21,16,26,22,10,8,24,25,19),
(0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14)
(15,16,17)(18,19,20)(21,22,23)(24,25,26) 23F⁷⁰², 3AB⁷⁰², 3F8⁷⁰², 675⁷⁰², 6BC⁷⁰², 6D9⁷⁰², 6DA⁷⁰², 787⁷⁰², 7A9⁷⁰², 7B2⁷⁰², E1B⁷⁰², E5C⁷⁰², EE8⁷⁰², 12AB⁷⁰², 12B5⁷⁰², 134E⁷⁰², 1399⁷⁰², 13A6⁷⁰², 149B⁷⁰², 151D⁷⁰², 1571⁷⁰², 15C3⁷⁰², 161E⁷⁰², 1627⁷⁰², 163A⁷⁰², 16C5⁷⁰², 16E2⁷⁰², 178C⁷⁰², 17D0⁷⁰², 19C5⁷⁰², 1A55⁷⁰², 1AC9⁷⁰², 1B32⁷⁰², 1BA1⁷⁰², 1C59⁷⁰², 1CCA⁷⁰², 1E61⁷⁰², 1E62⁷⁰², 1F09⁷⁰², 1F24⁷⁰², 3256⁷⁰², 3265⁷⁰², 330B⁷⁰², 3389⁷⁰², 344E⁷⁰², 3463⁷⁰², 349C⁷⁰², 34AA⁷⁰², 34CC⁷⁰², 3591⁷⁰², 389A⁷⁰², 3925⁷⁰², 3949⁷⁰², 72A2⁷⁰², 730C⁷⁰², 7321⁷⁰², 9266⁷⁰², 9472⁷⁰², 950B⁷⁰², 9B0A⁷⁰², AC62⁷⁰², 40B2A⁷⁰², 40E51⁷⁰², DF³⁵¹, EF³⁵¹, 4024F³⁵¹, 402A7³⁵¹, 40317³⁵¹, 40359³⁵¹, 403B1³⁵¹, 40457³⁵¹, 4048F³⁵¹, 404DC³⁵¹, 40574³⁵¹, 405AC³⁵¹, 40867³⁵¹, 408F2³⁵¹, 4090F³⁵¹, 4099A³⁵¹, 41A43³⁵¹, 43341³⁵¹, 44685³⁵¹

C(27,9,8) <= 334854
[A\GammaL₁(27)]
(0,1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16,17)
(18,19,20,21,22,23,24,25,26),
(0,26,18,13,8,19)(1,16,20,15,6,5)
(2,10,14,23,3,11)(4,7,25,12,9,21)(22,24) 3BF²¹⁰⁶, 7DE²¹⁰⁶, 7E7²¹⁰⁶, 7ED²¹⁰⁶, B5F²¹⁰⁶, B7D²¹⁰⁶, BEB²¹⁰⁶, EF9²¹⁰⁶, F76²¹⁰⁶, FAE²¹⁰⁶, 13EB²¹⁰⁶, 16CF²¹⁰⁶, 16DD²¹⁰⁶, 16F6²¹⁰⁶, 177A²¹⁰⁶, 17D3²¹⁰⁶, 1AD7²¹⁰⁶, 1AED²¹⁰⁶, 1AF3²¹⁰⁶, 1B3E²¹⁰⁶, 1B4F²¹⁰⁶, 1BAD²¹⁰⁶, 1BF8²¹⁰⁶, 1EAB²¹⁰⁶, 1F1B²¹⁰⁶, 1F3C²¹⁰⁶, 1F63²¹⁰⁶, 1F69²¹⁰⁶, 1FC5²¹⁰⁶, 22FB²¹⁰⁶, 26FA²¹⁰⁶, 2776²¹⁰⁶, 279D²¹⁰⁶, 27E3²¹⁰⁶, 27EC²¹⁰⁶, 2A6F²¹⁰⁶, 2AF5²¹⁰⁶, 2BD3²¹⁰⁶, 2BD9²¹⁰⁶, 2E73²¹⁰⁶, 2E7C²¹⁰⁶, 2ECD²¹⁰⁶, 2EE3²¹⁰⁶, 2F39²¹⁰⁶, 2F6A²¹⁰⁶, 325F²¹⁰⁶, 329F²¹⁰⁶, 32E7²¹⁰⁶, 32FC²¹⁰⁶, 36B6²¹⁰⁶, 36B9²¹⁰⁶, 36E9²¹⁰⁶, 372D²¹⁰⁶, 379A²¹⁰⁶, 3A3E²¹⁰⁶, 3A6D²¹⁰⁶, 3ACE²¹⁰⁶, 3B1E²¹⁰⁶, 3B35²¹⁰⁶, 3B72²¹⁰⁶, 3B9C²¹⁰⁶, 3E27²¹⁰⁶, 3E2B²¹⁰⁶, 3EB4²¹⁰⁶, 3ED2²¹⁰⁶, 3EE4²¹⁰⁶, 3F0E²¹⁰⁶, 3F25²¹⁰⁶, 3F54²¹⁰⁶, 3F64²¹⁰⁶, 3F83²¹⁰⁶, 46F9²¹⁰⁶, 476E²¹⁰⁶, 4A77²¹⁰⁶, 4BB3²¹⁰⁶, 4E4F²¹⁰⁶, 4ED5²¹⁰⁶, 4F5A²¹⁰⁶, 52DB²¹⁰⁶, 52EE²¹⁰⁶, 5397²¹⁰⁶, 53DC²¹⁰⁶, 56D3²¹⁰⁶, 571E²¹⁰⁶, 57E4²¹⁰⁶, 5A7C²¹⁰⁶, 5B65²¹⁰⁶, 5E35²¹⁰⁶, 5E56²¹⁰⁶, 5E6A²¹⁰⁶, 5E93²¹⁰⁶, 5F26²¹⁰⁶, 5F43²¹⁰⁶, 5FD0²¹⁰⁶, 6679²¹⁰⁶, 6778²¹⁰⁶, 67B2²¹⁰⁶, 6AD3²¹⁰⁶, 6AD6²¹⁰⁶, 6B69²¹⁰⁶, 6B74²¹⁰⁶, 6ECA²¹⁰⁶, 6ED1²¹⁰⁶, 6F38²¹⁰⁶, 725E²¹⁰⁶, 72DA²¹⁰⁶, 73AC²¹⁰⁶, 73E2²¹⁰⁶, 762E²¹⁰⁶, 764B²¹⁰⁶, 7732²¹⁰⁶, 7745²¹⁰⁶, 774A²¹⁰⁶, 7754²¹⁰⁶, 7783²¹⁰⁶, 7A27²¹⁰⁶, 7A55²¹⁰⁶, 7A59²¹⁰⁶, 7A95²¹⁰⁶, 7E62²¹⁰⁶, 7E92²¹⁰⁶, 7F88²¹⁰⁶, 926F²¹⁰⁶, 96DA²¹⁰⁶, 9747²¹⁰⁶, 9755²¹⁰⁶, 97B4²¹⁰⁶, 9E39²¹⁰⁶, 9ED2²¹⁰⁶, 9F98²¹⁰⁶, 9FA2²¹⁰⁶, AE95²¹⁰⁶, AEA5²¹⁰⁶, AED8²¹⁰⁶, B723²¹⁰⁶, B725²¹⁰⁶, BAE1²¹⁰⁶, BF12²¹⁰⁶, CECC²¹⁰⁶, CF07²¹⁰⁶, CF91²¹⁰⁶, EEC1²¹⁰⁶, F790²¹⁰⁶, FA0E²¹⁰⁶, 1564E²¹⁰⁶, 156B2²¹⁰⁶, 16E8C²¹⁰⁶, 16F81²¹⁰⁶, 40E57²¹⁰⁶, 412F9²¹⁰⁶, 4171E²¹⁰⁶, 41735²¹⁰⁶, 4196D²¹⁰⁶, 41D27²¹⁰⁶, 4235E²¹⁰⁶, 458DA²¹⁰⁶, 469E4²¹⁰⁶, 4873C²¹⁰⁶, 494F2²¹⁰⁶

C(28,5,4) <= 4550
[Z₂₆]
(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,25) F1²⁶, 18B²⁶, 293²⁶, 2A9²⁶, 44B²⁶, 495²⁶, 529²⁶, 5C1²⁶, 839²⁶, 88D²⁶, 8C9²⁶, 9A1²⁶, B09²⁶, C23²⁶, 1065²⁶, 10A3²⁶, 1207²⁶, 1229²⁶, 1681²⁶, 180B²⁶, 1905²⁶, 1911²⁶, 1C09²⁶, 202B²⁶, 2053²⁶, 2261²⁶, 2311²⁶, 24A1²⁶, 2505²⁶, 2603²⁶, 2883²⁶, 3031²⁶, 3103²⁶, 3205²⁶, 4033²⁶, 4099²⁶, 4145²⁶, 4251²⁶, 4305²⁶, 4825²⁶, 5031²⁶, 5043²⁶, 5085²⁶, 5109²⁶, 6015²⁶, 6181²⁶, 6209²⁶, 6A01²⁶, 7401²⁶, 801B²⁶, 8035²⁶, 8151²⁶, 8249²⁶, 8291²⁶, 8621²⁶, 8807²⁶, 8D01²⁶, 9181²⁶, 9403²⁶, A141²⁶, B009²⁶, C601²⁶, E021²⁶, 10185²⁶, 1020B²⁶, 10407²⁶, 10489²⁶, 10861²⁶, 10E01²⁶, 11013²⁶, 11205²⁶, 11501²⁶, 11841²⁶, 120C1²⁶, 12411²⁶, 140A1²⁶, 14441²⁶, 14803²⁶, 18083²⁶, 18141²⁶, 2010D²⁶, 20243²⁶, 20321²⁶, 2040D²⁶, 20503²⁶, 20851²⁶, 20981²⁶, 21091²⁶, 22045²⁶, 22809²⁶, 24049²⁶, 240C1²⁶, 24411²⁶, 280A1²⁶, 28205²⁶, 28441²⁶, 29041²⁶, 34101²⁶, 40429²⁶, 40445²⁶, 40C11²⁶, 41211²⁶, 42049²⁶, 42281²⁶, 42411²⁶, 44103²⁶, 44881²⁶, 48121²⁶, 50221²⁶, 60821²⁶, 81061²⁶, 84111²⁶, 84221²⁶, 84409²⁶, 84841²⁶, 88821²⁶, 4000027²⁶, 4000069²⁶, 4000143²⁶, 4000215²⁶, 4000219²⁶, 40002C1²⁶, 4000451²⁶, 4000609²⁶, 4000A03²⁶, 4001121²⁶, 4001411²⁶, 4001881²⁶, 4004405²⁶, 4004811²⁶, 4008301²⁶, 4008841²⁶, 4009005²⁶, 400C081²⁶, 4010421²⁶, 4010901²⁶, 4020111²⁶, 4020403²⁶, 4021009²⁶, 4040809²⁶, 4041041²⁶, 8000047²⁶, 8000059²⁶, 8000131²⁶, 800020D²⁶, 8000303²⁶, 8000A81²⁶, 8001089²⁶, 8001141²⁶, 8001405²⁶, 8001821²⁶, 8002025²⁶, 8002089²⁶, 8002841²⁶, 8004281²⁶, 8004421²⁶, 8004803²⁶, 8005201²⁶, 8006041²⁶, 8008061²⁶, 8008481²⁶, 8009011²⁶, 800C101²⁶, 8010241²⁶, 8020203²⁶, 8020441²⁶, C000091²⁶, C000105²⁶, C000805²⁶, C000C01²⁶, C002101²⁶, C004011²⁶, 4006003¹³, 400A005¹³, 4012009¹³, 4042021¹³, 4082041¹³, 8022011¹³

C(28,6,5) <= 18369
[F_27,26]
(1,3,9,5,15,23,13,17,20,4,12,14,11,2,
6,18,7,21,16,26,22,10,8,24,25,19),
(0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14)
(15,16,17)(18,19,20)(21,22,23)(24,25,26) 77⁷⁰², 695⁷⁰², 70D⁷⁰², 732⁷⁰², 746⁷⁰², 758⁷⁰², E49⁷⁰², E54⁷⁰², E62⁷⁰², 121E⁷⁰², 122B⁷⁰², 1436⁷⁰², 14E8⁷⁰², 1570⁷⁰², 1788⁷⁰², 18D1⁷⁰², 9254⁷⁰², 9262⁷⁰², A862⁷⁰², 800022D⁷⁰², 80002D1⁷⁰², 8000394⁷⁰², 8000709⁷⁰², 80012E0⁷⁰², 1C2A³⁵¹, 800004F³⁵¹, 800005D³⁵¹, 800006B³⁵¹, DB¹¹⁷

C(28,7,6) <= 65286
[F_27,26]
(1,3,9,5,15,23,13,17,20,4,12,14,11,2,
6,18,7,21,16,26,22,10,8,24,25,19),
(0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14)
(15,16,17)(18,19,20)(21,22,23)(24,25,26) 2EE⁷⁰², 2F5⁷⁰², 3B6⁷⁰², 62F⁷⁰², 66D⁷⁰², 673⁷⁰², 69E⁷⁰², 72D⁷⁰², 753⁷⁰², 759⁷⁰², 7C6⁷⁰², 7E1⁷⁰², E55⁷⁰², EC6⁷⁰², EE8⁷⁰², 1237⁷⁰², 12C7⁷⁰², 12E9⁷⁰², 1395⁷⁰², 13B1⁷⁰², 145B⁷⁰², 1547⁷⁰², 15B2⁷⁰², 161B⁷⁰², 1669⁷⁰², 16CA⁷⁰², 1762⁷⁰², 17D0⁷⁰², 1879⁷⁰², 18F4⁷⁰², 192D⁷⁰², 196A⁷⁰², 19A5⁷⁰², 19C6⁷⁰², 1A55⁷⁰², 1A99⁷⁰², 1B16⁷⁰², 1B23⁷⁰², 1C96⁷⁰², 1CE4⁷⁰², 1D49⁷⁰², 1D64⁷⁰², 1EA1⁷⁰², 1F0C⁷⁰², 32A5⁷⁰², 3386⁷⁰², 3389⁷⁰², 348E⁷⁰², 34E8⁷⁰², 3519⁷⁰², 3551⁷⁰², 384B⁷⁰², 38A3⁷⁰², 7249⁷⁰², 7252⁷⁰², 72A2⁷⁰², 95A4⁷⁰², A866⁷⁰², 4046B⁷⁰², 406A5⁷⁰², 408B3⁷⁰², 40B51⁷⁰², 40E61⁷⁰², 4144D⁷⁰², 41F04⁷⁰², 80000DD⁷⁰², 800023D⁷⁰², 8000257⁷⁰², 80002F8⁷⁰², 8000327⁷⁰², 80003E2⁷⁰², 80006A9⁷⁰², 80006C3⁷⁰², 80006E4⁷⁰², 8000713⁷⁰², 8000758⁷⁰², 8000E4C⁷⁰², 8001271⁷⁰², 800131A⁷⁰², 80013C4⁷⁰², 8001472⁷⁰², 8001561⁷⁰², 8001585⁷⁰², 800168C⁷⁰², 800188B⁷⁰², 8001C92⁷⁰², 7F³⁵¹, 40317³⁵¹, 4048F³⁵¹, 404DC³⁵¹, 40574³⁵¹, 40867³⁵¹, 411E2³⁵¹, 41A43³⁵¹, 8001629³⁵¹, 8001634³⁵¹, 80017A0³⁵¹, 8001A86³⁵¹, 8001B60³⁵¹, 8001C2A³⁵¹

C(28,9,8) <= 470340
[A\GammaL₁(27)]
(0,1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16,17)
(18,19,20,21,22,23,24,25,26),
(0,26,18,13,8,19)(1,16,20,15,6,5)
(2,10,14,23,3,11)(4,7,25,12,9,21)(22,24) 3BF²¹⁰⁶, 7F6²¹⁰⁶, B77²¹⁰⁶, BEE²¹⁰⁶, EDD²¹⁰⁶, EEB²¹⁰⁶, EF9²¹⁰⁶, F2F²¹⁰⁶, F5E²¹⁰⁶, F97²¹⁰⁶, F9B²¹⁰⁶, FE3²¹⁰⁶, 127F²¹⁰⁶, 12FD²¹⁰⁶, 13F3²¹⁰⁶, 1776²¹⁰⁶, 17AB²¹⁰⁶, 17D9²¹⁰⁶, 1AB7²¹⁰⁶, 1ADB²¹⁰⁶, 1AF6²¹⁰⁶, 1B2F²¹⁰⁶, 1B6E²¹⁰⁶, 1BB9²¹⁰⁶, 1BF8²¹⁰⁶, 1E6B²¹⁰⁶, 1EE6²¹⁰⁶, 1F55²¹⁰⁶, 1F69²¹⁰⁶, 1F8D²¹⁰⁶, 1FAC²¹⁰⁶, 23EE²¹⁰⁶, 26BD²¹⁰⁶, 27BC²¹⁰⁶, 27D3²¹⁰⁶, 2A7D²¹⁰⁶, 2AFC²¹⁰⁶, 2B6B²¹⁰⁶, 2E5B²¹⁰⁶, 2E67²¹⁰⁶, 2EDC²¹⁰⁶, 2F17²¹⁰⁶, 2F39²¹⁰⁶, 2F4D²¹⁰⁶, 2F74²¹⁰⁶, 2F9A²¹⁰⁶, 2FCC²¹⁰⁶, 32E7²¹⁰⁶, 3337²¹⁰⁶, 333E²¹⁰⁶, 362F²¹⁰⁶, 36AD²¹⁰⁶, 3A7C²¹⁰⁶, 3ACE²¹⁰⁶, 3AD5²¹⁰⁶, 3BE2²¹⁰⁶, 3E71²¹⁰⁶, 3E9C²¹⁰⁶, 3EA5²¹⁰⁶, 3F0B²¹⁰⁶, 3F32²¹⁰⁶, 3F46²¹⁰⁶, 3FE0²¹⁰⁶, 4767²¹⁰⁶, 4AD7²¹⁰⁶, 4B37²¹⁰⁶, 4B7C²¹⁰⁶, 4E6D²¹⁰⁶, 4E73²¹⁰⁶, 4F71²¹⁰⁶, 4F93²¹⁰⁶, 4FB4²¹⁰⁶, 4FC6²¹⁰⁶, 4FC9²¹⁰⁶, 52CF²¹⁰⁶, 539D²¹⁰⁶, 5679²¹⁰⁶, 5753²¹⁰⁶, 57CC²¹⁰⁶, 57D4²¹⁰⁶, 5A4F²¹⁰⁶, 5A57²¹⁰⁶, 5A6E²¹⁰⁶, 5A7C²¹⁰⁶, 5B65²¹⁰⁶, 5BCC²¹⁰⁶, 5EAA²¹⁰⁶, 5ED1²¹⁰⁶, 5F0E²¹⁰⁶, 5F62²¹⁰⁶, 67B2²¹⁰⁶, 67E8²¹⁰⁶, 6A7A²¹⁰⁶, 6AF1²¹⁰⁶, 6AF2²¹⁰⁶, 6B71²¹⁰⁶, 6B72²¹⁰⁶, 6EE4²¹⁰⁶, 6F4C²¹⁰⁶, 723D²¹⁰⁶, 725E²¹⁰⁶, 7396²¹⁰⁶, 73D8²¹⁰⁶, 761E²¹⁰⁶, 76A6²¹⁰⁶, 770D²¹⁰⁶, 77A8²¹⁰⁶, 7A2E²¹⁰⁶, 7A59²¹⁰⁶, 7AB4²¹⁰⁶, 7B1C²¹⁰⁶, 7B94²¹⁰⁶, 7E49²¹⁰⁶, 7E8A²¹⁰⁶, 7EC4²¹⁰⁶, 7EC8²¹⁰⁶, 925F²¹⁰⁶, 96DA²¹⁰⁶, 9A9E²¹⁰⁶, 9B9A²¹⁰⁶, 9BE4²¹⁰⁶, AED4²¹⁰⁶, AF85²¹⁰⁶, AFA1²¹⁰⁶, B6A3²¹⁰⁶, B725²¹⁰⁶, BAA6²¹⁰⁶, BB07²¹⁰⁶, BE34²¹⁰⁶, BF11²¹⁰⁶, CE4E²¹⁰⁶, CE78²¹⁰⁶, CF1A²¹⁰⁶, CF26²¹⁰⁶, CF54²¹⁰⁶, CFA2²¹⁰⁶, D738²¹⁰⁶, D78A²¹⁰⁶, D792²¹⁰⁶, EEC1²¹⁰⁶, F7C0²¹⁰⁶, FAE0²¹⁰⁶, 156B2²¹⁰⁶, 407C7²¹⁰⁶, 40B6D²¹⁰⁶, 40E57²¹⁰⁶, 411CF²¹⁰⁶, 4129F²¹⁰⁶, 41735²¹⁰⁶, 41CF2²¹⁰⁶, 458CB²¹⁰⁶, 458EA²¹⁰⁶, 800037E²¹⁰⁶, 800039F²¹⁰⁶, 80003DB²¹⁰⁶, 800066F²¹⁰⁶, 80006BB²¹⁰⁶, 8000757²¹⁰⁶, 8000779²¹⁰⁶, 80007B5²¹⁰⁶, 80007DC²¹⁰⁶, 8000A3F²¹⁰⁶, 8000AF5²¹⁰⁶, 8000B4F²¹⁰⁶, 8000E75²¹⁰⁶, 8000EA7²¹⁰⁶, 8000EBC²¹⁰⁶, 8000EE9²¹⁰⁶, 8000F2D²¹⁰⁶, 8000F53²¹⁰⁶, 8000FF0²¹⁰⁶, 80012BB²¹⁰⁶, 800139B²¹⁰⁶, 80016B9²¹⁰⁶, 80016D6²¹⁰⁶, 800171D²¹⁰⁶, 800174B²¹⁰⁶, 800176C²¹⁰⁶, 80017E1²¹⁰⁶, 80017E4²¹⁰⁶, 8001A5D²¹⁰⁶, 8001A6E²¹⁰⁶, 8001ACB²¹⁰⁶, 8001AF8²¹⁰⁶, 8001B74²¹⁰⁶, 8001E93²¹⁰⁶, 8001EC9²¹⁰⁶, 8001F07²¹⁰⁶, 8001F1A²¹⁰⁶, 8001F23²¹⁰⁶, 8001F25²¹⁰⁶, 8001FC1²¹⁰⁶, 80023AD²¹⁰⁶, 800269E²¹⁰⁶, 8002763²¹⁰⁶, 8002799²¹⁰⁶, 8002AD3²¹⁰⁶, 8002BB4²¹⁰⁶, 8002E33²¹⁰⁶, 8002E6C²¹⁰⁶, 8002F32²¹⁰⁶, 8002F45²¹⁰⁶, 8002F58²¹⁰⁶, 8003669²¹⁰⁶, 8003770²¹⁰⁶, 80037A4²¹⁰⁶, 8003A65²¹⁰⁶, 8003A72²¹⁰⁶, 8003EA2²¹⁰⁶, 8003F28²¹⁰⁶, 8003F41²¹⁰⁶, 8003F42²¹⁰⁶, 80046CB²¹⁰⁶, 800474D²¹⁰⁶, 8004F34²¹⁰⁶, 800565A²¹⁰⁶, 8005A69²¹⁰⁶, 8005A93²¹⁰⁶, 8005F12²¹⁰⁶, 800664E²¹⁰⁶, 8006AF0²¹⁰⁶, 800BA34²¹⁰⁶, 800CFC0²¹⁰⁶, 8005BC8⁷⁰²

Bound [Group] Generators	Base Blocks
C(14,6,5) <= 371 [Z₁₄] (0,1,2,3,4,5,6,7,8,9,10,11,12,13)	3F¹⁴, D7¹⁴, EB¹⁴, 15B¹⁴, 173¹⁴, 19D¹⁴, 1B5¹⁴, 21F¹⁴, 279¹⁴, 29B¹⁴, 2CD¹⁴, 32B¹⁴, 353¹⁴, 365¹⁴, 45D¹⁴, 46B¹⁴, 48F¹⁴, 4E5¹⁴, 539¹⁴, 547¹⁴, 5A3¹⁴, 633¹⁴, 927¹⁴, 92D¹⁴, 955¹⁴, 387⁷, 993⁷, A95⁷
C(14,9,8) <= 471 [Z₅] (0,2,4,6,8)(1,3,5,7,9)	1FF⁵, 2FF⁵, CBF⁵, CEF⁵, CFB⁵, D5F⁵, D77⁵, DAF⁵, DBE⁵, DFA⁵, 147F⁵, 14F7⁵, 14FD⁵, 157B⁵, 159F⁵, 15B7⁵, 16AF⁵, 16BB⁵, 18DF⁵, 18FE⁵, 196F⁵, 197E⁵, 19BB⁵, 19DE⁵, 19EB⁵, 19EE⁵, 1C7D⁵, 1CAF⁵, 1CDE⁵, 1D57⁵, 1D6E⁵, 1EAB⁵, 24DF⁵, 24FE⁵, 256F⁵, 257E⁵, 25BB⁵, 25DE⁵, 25EB⁵, 25EE⁵, 287F⁵, 28F7⁵, 28FD⁵, 297B⁵, 299F⁵, 29B7⁵, 2AAF⁵, 2ABB⁵, 2C7D⁵, 2CAF⁵, 2CDE⁵, 2D57⁵, 2D6E⁵, 2EAB⁵, 30BF⁵, 30EF⁵, 30FB⁵, 315F⁵, 3177⁵, 31AF⁵, 31BE⁵, 31FA⁵, 347D⁵, 34AF⁵, 34DE⁵, 3557⁵, 356E⁵, 36AB⁵, 387D⁵, 38AF⁵, 38DE⁵, 3957⁵, 396E⁵, 3AAB⁵, 3C3B⁵, 3C3E⁵, 3C4F⁵, 3C67⁵, 3C6B⁵, 3C73⁵, 3C76⁵, 3C7A⁵, 3C97⁵, 3C9B⁵, 3C9D⁵, 3CB3⁵, 3CB5⁵, 3CB6⁵, 3CCD⁵, 3CD9⁵, 3CE6⁵, 3CE9⁵, 3D5A⁵, 3D9A⁵, 3D55¹, 3EAA¹; remove block 1FF
C(17,8,7) <= 3040 [F_8,7] (1,2,4,3,6,7,5)(9,10,12,11,14,15,13), (0,1)(2,3)(4,5)(6,7)(8,9)(10,11) (12,13)(14,15)	36F⁵⁶, 3F5⁵⁶, 773⁵⁶, 7AD⁵⁶, 7AE⁵⁶, F36⁵⁶, F53⁵⁶, F65⁵⁶, 1717⁵⁶, 172B⁵⁶, 173A⁵⁶, 174D⁵⁶, 175A⁵⁶, 1765⁵⁶, 178E⁵⁶, 1799⁵⁶, 17B1⁵⁶, 17B2⁵⁶, 17C3⁵⁶, 17D4⁵⁶, 17E8⁵⁶, 1F51⁵⁶, 1F61⁵⁶, 1F8A⁵⁶, 1FA4⁵⁶, 3F11⁵⁶, 3F14⁵⁶, 3F48⁵⁶, 10357⁵⁶, 1035E⁵⁶, 10376⁵⁶, 103D6⁵⁶, 1070F⁵⁶, 10735⁵⁶, 10759⁵⁶, 1076C⁵⁶, 10793⁵⁶, 107A6⁵⁶, 107CA⁵⁶, 107F0⁵⁶, 10F07⁵⁶, 10F70⁵⁶, 1171C⁵⁶, 11738⁵⁶, 11746⁵⁶, 11762⁵⁶, 11785⁵⁶, 117A1⁵⁶, 11F12⁵⁶, 11F24⁵⁶, 11F41⁵⁶, 11F88⁵⁶, 33F²⁸, 3CF²⁸, 3FC²⁸, 3F03²⁸, 1007F⁸, 17F00⁸
C(19,5,4) <= 846 [Z₁₈] (0,1,2,3,4,5,6,7,8,9,10,11, 12,13,14,15,16,17)	4F¹⁸, 75¹⁸, CB¹⁸, 11B¹⁸, 159¹⁸, 1A3¹⁸, 253¹⁸, 295¹⁸, 299¹⁸, 325¹⁸, 3C1¹⁸, 417¹⁸, 439¹⁸, 543¹⁸, 589¹⁸, 661¹⁸, 893¹⁸, 8C5¹⁸, 915¹⁸, A23¹⁸, B09¹⁸, C0D¹⁸, CA1¹⁸, E11¹⁸, 1069¹⁸, 10D1¹⁸, 1131¹⁸, 1283¹⁸, 1451¹⁸, 1485¹⁸, 1889¹⁸, 2185¹⁸, 2229¹⁸, 2309¹⁸, 2491¹⁸, 4002D¹⁸, 40063¹⁸, 400A9¹⁸, 40107¹⁸, 40191¹⁸, 40425¹⁸, 404C1¹⁸, 40851¹⁸, 40921¹⁸, 41045¹⁸, 40603⁹, 40A05⁹, 41209⁹, 42211⁹
C(20,5,4) <= 1083 [Z₁₉] (0,1,2,3,4,5,6,7,8,9,10,11,12, 13,14,15,16,17,18)	2F¹⁹, 73¹⁹, E9¹⁹, 147¹⁹, 21B¹⁹, 383¹⁹, 459¹⁹, 48D¹⁹, 4C3¹⁹, 4D1¹⁹, 50B¹⁹, 525¹⁹, 645¹⁹, 6A1¹⁹, 711¹⁹, 895¹⁹, 931¹⁹, 961¹⁹, A23¹⁹, A51¹⁹, B05¹⁹, B09¹⁹, C13¹⁹, C29¹⁹, D81¹⁹, 1055¹⁹, 1087¹⁹, 1113¹⁹, 1189¹⁹, 1229¹⁹, 1291¹⁹, 1449¹⁹, 18A1¹⁹, 1941¹⁹, 1C21¹⁹, 2087¹⁹, 20B1¹⁹, 2115¹⁹, 220D¹⁹, 2243¹⁹, 2321¹⁹, 4249¹⁹, 4423¹⁹, 80099¹⁹, 8010B¹⁹, 80151¹⁹, 801A1¹⁹, 80215¹⁹, 80229¹⁹, 80407¹⁹, 80431¹⁹, 80825¹⁹, 808C1¹⁹, 80903¹⁹, 81061¹⁹, 81105¹⁹, 81241¹⁹
C(22,7,6) <= 13244 [F_11,10] (1,2,4,8,5,10,9,7,3,6) (12,13,15,19,16,21,20,18,14,17), (0,1,2,3,4,5,6,7,8,9,10) (11,12,13,14,15,16,17,18,19,20,21)	8E7¹¹⁰, 8FC¹¹⁰, 93E¹¹⁰, 979¹¹⁰, 182F¹¹⁰, 189B¹¹⁰, 18BA¹¹⁰, 18F1¹¹⁰, 190F¹¹⁰, 1A36¹¹⁰, 1A6A¹¹⁰, 1AC6¹¹⁰, 1B07¹¹⁰, 1B94¹¹⁰, 1C5C¹¹⁰, 1D15¹¹⁰, 381D¹¹⁰, 384B¹¹⁰, 3872¹¹⁰, 38A3¹¹⁰, 391A¹¹⁰, 392A¹¹⁰, 3961¹¹⁰, 3991¹¹⁰, 39C8¹¹⁰, 3A51¹¹⁰, 3A58¹¹⁰, 3A8A¹¹⁰, 3B0C¹¹⁰, 3C98¹¹⁰, 5827¹¹⁰, 5874¹¹⁰, 58AC¹¹⁰, 58C3¹¹⁰, 58D8¹¹⁰, 5926¹¹⁰, 5931¹¹⁰, 5952¹¹⁰, 59B0¹¹⁰, 5A0E¹¹⁰, 5A2C¹¹⁰, 5A61¹¹⁰, 5A85¹¹⁰, 5AA2¹¹⁰, 5B18¹¹⁰, 5B44¹¹⁰, 5B88¹¹⁰, 5C0D¹¹⁰, 5C32¹¹⁰, 5C4A¹¹⁰, 5C51¹¹⁰, 5C98¹¹⁰, 5CA1¹¹⁰, 5CC4¹¹⁰, 5D50¹¹⁰, 5D82¹¹⁰, 5E30¹¹⁰, 5E42¹¹⁰, 5F01¹¹⁰, 5F08¹¹⁰, 7829¹¹⁰, 784C¹¹⁰, 7885¹¹⁰, 7914¹¹⁰, 7A12¹¹⁰, B80E¹¹⁰, B813¹¹⁰, B82C¹¹⁰, B834¹¹⁰, B889¹¹⁰, B922¹¹⁰, BA44¹¹⁰, BA90¹¹⁰, BC09¹¹⁰, BD40¹¹⁰, BD80¹¹⁰, D813¹¹⁰, D845¹¹⁰, D868¹¹⁰, D960¹¹⁰, DA22¹¹⁰, F830¹¹⁰, F8C0¹¹⁰, 13807¹¹⁰, 13889¹¹⁰, 138B0¹¹⁰, 13922¹¹⁰, 13A03¹¹⁰, 13A14¹¹⁰, 13A28¹¹⁰, 13A42¹¹⁰, 13C41¹¹⁰, 13D08¹¹⁰, 17821¹¹⁰, 17940¹¹⁰, 17A80¹¹⁰, 17C10¹¹⁰, 1B841¹¹⁰, 1B860¹¹⁰, 1B884¹¹⁰, 1B910¹¹⁰, 1BA01¹¹⁰, 1BC02¹¹⁰, 1F804¹¹⁰, 27811¹¹⁰, 27822¹¹⁰, 27888¹¹⁰, 27A02¹¹⁰, 27D00¹¹⁰, 2E803¹¹⁰, 2E882¹¹⁰, 2E908¹¹⁰, 4B850¹¹⁰, 4F880¹¹⁰, 7F⁵⁵, AF4⁵⁵, 1AE8⁵⁵, 1C47⁵⁵, 38C5⁵⁵, 3925⁵⁵, 3AD0⁵⁵, 3B30⁵⁵, D984⁵⁵, 2E814⁵⁵, 2EC80⁵⁵, 3F800⁵⁵, A3B²², 5B820²²
C(23,8,7) <= 38962 [F_23,22] (1,5,2,10,4,20,8,17,16,11,9,22, 18,21,13,19,3,15,6,7,12,14), (0,1,2,3,4,5,6,7,8,9,10,11,12,13, 14,15,16,17,18,19,20,21,22)	27F⁵⁰⁶, 57D⁵⁰⁶, 5BB⁵⁰⁶, 5CF⁵⁰⁶, 5D7⁵⁰⁶, 96F⁵⁰⁶, 9D7⁵⁰⁶, B5D⁵⁰⁶, CE7⁵⁰⁶, DA7⁵⁰⁶, E4F⁵⁰⁶, 11BB⁵⁰⁶, 11D7⁵⁰⁶, 11EB⁵⁰⁶, 12B7⁵⁰⁶, 135B⁵⁰⁶, 1375⁵⁰⁶, 13CD⁵⁰⁶, 1477⁵⁰⁶, 168F⁵⁰⁶, 16E3⁵⁰⁶, 1747⁵⁰⁶, 17A3⁵⁰⁶, 191F⁵⁰⁶, 192F⁵⁰⁶, 1A67⁵⁰⁶, 1A6B⁵⁰⁶, 1B17⁵⁰⁶, 1B87⁵⁰⁶, 215F⁵⁰⁶, 21BD⁵⁰⁶, 22D7⁵⁰⁶, 232F⁵⁰⁶, 23AB⁵⁰⁶, 23CB⁵⁰⁶, 24AF⁵⁰⁶, 24F9⁵⁰⁶, 2537⁵⁰⁶, 25E3⁵⁰⁶, 261F⁵⁰⁶, 2753⁵⁰⁶, 2787⁵⁰⁶, 287B⁵⁰⁶, 28DD⁵⁰⁶, 29D3⁵⁰⁶, 2AE3⁵⁰⁶, 2C57⁵⁰⁶, 2D47⁵⁰⁶, 2E2B⁵⁰⁶, 34C7⁵⁰⁶, 416F⁵⁰⁶, 419F⁵⁰⁶, 41B7⁵⁰⁶, 433D⁵⁰⁶, 43E5⁵⁰⁶, 44CF⁵⁰⁶, 46D5⁵⁰⁶, 46F1⁵⁰⁶, 49CB⁵⁰⁶, 49E9⁵⁰⁶, 4AAB⁵⁰⁶, 4B33⁵⁰⁶, 4F15⁵⁰⁶, 4F43⁵⁰⁶, 5317⁵⁰⁶, 5395⁵⁰⁶, 54D5⁵⁰⁶, 564D⁵⁰⁶, 5953⁵⁰⁶, 865D⁵⁰⁶, 8DC3⁵⁰⁶, 9553⁵⁰⁶, 9D23⁵⁰⁶, A497⁵⁰⁶, 102EB⁵⁰⁶, FF²⁵³, 37B²⁵³, 1CA7²⁵³, 352B²⁵³
C(24,7,6) <= 23276 [F_23,22] (1,5,2,10,4,20,8,17,16,11,9,22, 18,21,13,19,3,15,6,7,12,14), (0,1,2,3,4,5,6,7,8,9,10,11,12,13, 14,15,16,17,18,19,20,21,22)	19F⁵⁰⁶, 277⁵⁰⁶, 2CF⁵⁰⁶, 34F⁵⁰⁶, 4BB⁵⁰⁶, 4F5⁵⁰⁶, 6C7⁵⁰⁶, 83F⁵⁰⁶, 8E7⁵⁰⁶, 9B5⁵⁰⁶, B17⁵⁰⁶, C97⁵⁰⁶, 10B7⁵⁰⁶, 11E9⁵⁰⁶, 123D⁵⁰⁶, 130F⁵⁰⁶, 1563⁵⁰⁶, 1587⁵⁰⁶, 1617⁵⁰⁶, 1663⁵⁰⁶, 1917⁵⁰⁶, 1A87⁵⁰⁶, 20BB⁵⁰⁶, 2179⁵⁰⁶, 2437⁵⁰⁶, 2457⁵⁰⁶, 2695⁵⁰⁶, 26A3⁵⁰⁶, 322B⁵⁰⁶, 4297⁵⁰⁶, 80006F⁵⁰⁶, 80021F⁵⁰⁶, 800533⁵⁰⁶, 800547⁵⁰⁶, 800927⁵⁰⁶, 800939⁵⁰⁶, 800953⁵⁰⁶, 800C87⁵⁰⁶, 80108F⁵⁰⁶, 801171⁵⁰⁶, 8020E9⁵⁰⁶, 17D²⁵³, 1D7²⁵³, 727²⁵³, 1C47²⁵³, 80016D²⁵³, 8002B5²⁵³, 8002CD²⁵³, 80058D²⁵³, 80068B²⁵³, 8008F1²⁵³
C(25,8,7) <= 78012 [L₂] (0,10,9,8,7,6,5,4,3,2,1) (12,22,21,20,19,18,17,16,15,14,13), (0,11)(1,10)(2,5)(3,7)(4,8)(6,9)(12,23) (13,22)(14,17)(15,19)(16,20)(18,21)	305F⁶⁶⁰, 30BD⁶⁶⁰, 3137⁶⁶⁰, 316B⁶⁶⁰, 317C⁶⁶⁰, 31BA⁶⁶⁰, 31D6⁶⁶⁰, 31D9⁶⁶⁰, 331D⁶⁶⁰, 332E⁶⁶⁰, 33B4⁶⁶⁰, 347A⁶⁶⁰, 34DC⁶⁶⁰, F03A⁶⁶⁰, F05C⁶⁶⁰, F071⁶⁶⁰, F096⁶⁶⁰, F0A9⁶⁶⁰, F0C5⁶⁶⁰, F115⁶⁶⁰, F12C⁶⁶⁰, F149⁶⁶⁰, F162⁶⁶⁰, F18A⁶⁶⁰, F1A4⁶⁶⁰, F1B0⁶⁶⁰, F1C2⁶⁶⁰, F21C⁶⁶⁰, F289⁶⁶⁰, F291⁶⁶⁰, F2D0⁶⁶⁰, F2E0⁶⁶⁰, F312⁶⁶⁰, F321⁶⁶⁰, F416⁶⁶⁰, F483⁶⁶⁰, F48C⁶⁶⁰, F4A8⁶⁶⁰, F4C1⁶⁶⁰, F550⁶⁶⁰, F682⁶⁶⁰, F8A2⁶⁶⁰, F981⁶⁶⁰, FA90⁶⁶⁰, 1F00D⁶⁶⁰, 27039⁶⁶⁰, 27056⁶⁶⁰, 2708B⁶⁶⁰, 2709C⁶⁶⁰, 270C5⁶⁶⁰, 270D1⁶⁶⁰, 27158⁶⁶⁰, 271B0⁶⁶⁰, 27213⁶⁶⁰, 27292⁶⁶⁰, 27415⁶⁶⁰, 2741A⁶⁶⁰, 27609⁶⁶⁰, 27628⁶⁶⁰, 27650⁶⁶⁰, 3F042⁶⁶⁰, 3F104⁶⁶⁰, 3F220⁶⁶⁰, 5F022⁶⁶⁰, 6F012⁶⁶⁰, 7700A⁶⁶⁰, 7B006⁶⁶⁰, 7D005⁶⁶⁰, 7D00C⁶⁶⁰, 7D018⁶⁶⁰, 7D082⁶⁶⁰, 7D102⁶⁶⁰, 7D202⁶⁶⁰, 100007F⁶⁶⁰, 100107B⁶⁶⁰, 100311D⁶⁶⁰, 1003169⁶⁶⁰, 10031D2⁶⁶⁰, 1003334⁶⁶⁰, 1003478⁶⁶⁰, 10034D4⁶⁶⁰, 100700F⁶⁶⁰, 1007017⁶⁶⁰, 1007027⁶⁶⁰, 100703C⁶⁶⁰, 1007059⁶⁶⁰, 100706A⁶⁶⁰, 10070E4⁶⁶⁰, 100714A⁶⁶⁰, 1007191⁶⁶⁰, 1007258⁶⁶⁰, 1007289⁶⁶⁰, 1007344⁶⁶⁰, 1007530⁶⁶⁰, 1007921⁶⁶⁰, 1007930⁶⁶⁰, 100F098⁶⁶⁰, 100F0A1⁶⁶⁰, 100F211⁶⁶⁰, 100F230⁶⁶⁰, 100F282⁶⁶⁰, 100F380⁶⁶⁰, 100F482⁶⁶⁰, 100F490⁶⁶⁰, 101F028⁶⁶⁰, 1027007⁶⁶⁰, 1027049⁶⁶⁰, 10270D0⁶⁶⁰, 1027411⁶⁶⁰, 102F006⁶⁶⁰, 102F024⁶⁶⁰, 102F050⁶⁶⁰, 102F101⁶⁶⁰, 102F208⁶⁶⁰, 102F600⁶⁶⁰, 102F880⁶⁶⁰, 107F000⁶⁶⁰, 364E¹³², 5F240¹³², 13F008¹³², 100013F¹³², 100117C¹³², 101F240¹³²
C(26,8,7) <= 105000 [F_25,24] (1,5,23,22,17,24,2,10,16,19,9,18, 4,20,7,8,13,6,3,15,14,11,21,12), (0,1,2,3,4)(5,6,7,8,9)(10,11,12,13,14) (15,16,17,18,19)(20,21,22,23,24)	5EE⁶⁰⁰, 6BB⁶⁰⁰, 6DE⁶⁰⁰, 6ED⁶⁰⁰, 79B⁶⁰⁰, 7B6⁶⁰⁰, 7F1⁶⁰⁰, C3F⁶⁰⁰, CF5⁶⁰⁰, D5E⁶⁰⁰, D79⁶⁰⁰, DC7⁶⁰⁰, DCD⁶⁰⁰, DF2⁶⁰⁰, ED6⁶⁰⁰, FAA⁶⁰⁰, 14F9⁶⁰⁰, 1576⁶⁰⁰, 15BC⁶⁰⁰, 15D3⁶⁰⁰, 165B⁶⁰⁰, 1697⁶⁰⁰, 170F⁶⁰⁰, 178E⁶⁰⁰, 1C6D⁶⁰⁰, 1C8F⁶⁰⁰, 1D59⁶⁰⁰, 1D8B⁶⁰⁰, 1F15⁶⁰⁰, 2C57⁶⁰⁰, 2D3A⁶⁰⁰, 849F⁶⁰⁰, 84D7⁶⁰⁰, 84FA⁶⁰⁰, 853D⁶⁰⁰, 854F⁶⁰⁰, 85A7⁶⁰⁰, 85B3⁶⁰⁰, 85D5⁶⁰⁰, 85D9⁶⁰⁰, 85EA⁶⁰⁰, 85F4⁶⁰⁰, 8667⁶⁰⁰, 86F8⁶⁰⁰, 8735⁶⁰⁰, 8772⁶⁰⁰, 8787⁶⁰⁰, 87A9⁶⁰⁰, 87D2⁶⁰⁰, 88CF⁶⁰⁰, 88F3⁶⁰⁰, 88FC⁶⁰⁰, 89BC⁶⁰⁰, 8A1F⁶⁰⁰, 8A79⁶⁰⁰, 8AAE⁶⁰⁰, 8B2B⁶⁰⁰, 8B66⁶⁰⁰, 8B96⁶⁰⁰, 8BC9⁶⁰⁰, 8C5D⁶⁰⁰, 8D78⁶⁰⁰, 8D8B⁶⁰⁰, 8DE4⁶⁰⁰, 8E2E⁶⁰⁰, 8E87⁶⁰⁰, 8F45⁶⁰⁰, 8F4A⁶⁰⁰, 8FD0⁶⁰⁰, 9077⁶⁰⁰, 90EB⁶⁰⁰, 91EC⁶⁰⁰, 923B⁶⁰⁰, 928F⁶⁰⁰, 92CD⁶⁰⁰, 935C⁶⁰⁰, 945E⁶⁰⁰, 95B1⁶⁰⁰, 95C6⁶⁰⁰, 9655⁶⁰⁰, 9672⁶⁰⁰, 96AA⁶⁰⁰, 96E1⁶⁰⁰, 9725⁶⁰⁰, 98F1⁶⁰⁰, 9917⁶⁰⁰, 994D⁶⁰⁰, 99A3⁶⁰⁰, 9A2D⁶⁰⁰, 9A36⁶⁰⁰, 9A4E⁶⁰⁰, 9A53⁶⁰⁰, 9AE8⁶⁰⁰, 9B1C⁶⁰⁰, 9B2A⁶⁰⁰, 9C53⁶⁰⁰, 9D0E⁶⁰⁰, 9DA2⁶⁰⁰, 9F48⁶⁰⁰, A1DA⁶⁰⁰, A36A⁶⁰⁰, A3D4⁶⁰⁰, A475⁶⁰⁰, A5E1⁶⁰⁰, A63A⁶⁰⁰, A6E2⁶⁰⁰, A770⁶⁰⁰, A91D⁶⁰⁰, AB61⁶⁰⁰, B0D6⁶⁰⁰, B1B4⁶⁰⁰, B263⁶⁰⁰, B4D1⁶⁰⁰, BAC2⁶⁰⁰, 200047B⁶⁰⁰, 20004BE⁶⁰⁰, 20004CF⁶⁰⁰, 2000557⁶⁰⁰, 200057C⁶⁰⁰, 2000597⁶⁰⁰, 2000637⁶⁰⁰, 200063E⁶⁰⁰, 200069D⁶⁰⁰, 20006D3⁶⁰⁰, 200070F⁶⁰⁰, 2000759⁶⁰⁰, 200075A⁶⁰⁰, 20007A5⁶⁰⁰, 2000C7A⁶⁰⁰, 2000CAD⁶⁰⁰, 2000D1B⁶⁰⁰, 2000D2B⁶⁰⁰, 2000D8B⁶⁰⁰, 2000EA9⁶⁰⁰, 2001437⁶⁰⁰, 200145E⁶⁰⁰, 200146E⁶⁰⁰, 20014F2⁶⁰⁰, 2001C36⁶⁰⁰, 2001D0D⁶⁰⁰, 200843E⁶⁰⁰, 2008476⁶⁰⁰, 20084F1⁶⁰⁰, 20085B8⁶⁰⁰, 200864E⁶⁰⁰, 200866A⁶⁰⁰, 2008699⁶⁰⁰, 20086D4⁶⁰⁰, 2008726⁶⁰⁰, 2008758⁶⁰⁰, 200885B⁶⁰⁰, 2008876⁶⁰⁰, 200889E⁶⁰⁰, 200894E⁶⁰⁰, 20089C6⁶⁰⁰, 2008ACA⁶⁰⁰, 2008AE1⁶⁰⁰, 2008B58⁶⁰⁰, 2008C5A⁶⁰⁰, 2009196⁶⁰⁰, 20092B8⁶⁰⁰, 1F7³⁰⁰, EE3³⁰⁰, 15EA³⁰⁰, 17C9³⁰⁰, 1C73³⁰⁰, 1E3C³⁰⁰, 1E59³⁰⁰, 1E93³⁰⁰, 2E8B³⁰⁰, 9E62³⁰⁰, ADA8³⁰⁰, AEA1³⁰⁰, 20007E2³⁰⁰, 20007E8³⁰⁰, 20007F0³⁰⁰, 2000CE6³⁰⁰, 2000D63³⁰⁰, 2000DB1³⁰⁰, 2000DD8³⁰⁰, 2000E71³⁰⁰, 2000EB8³⁰⁰, 2000ECC³⁰⁰, 2000F46³⁰⁰, 20014E5³⁰⁰, 20015D4³⁰⁰, 2001669³⁰⁰, 200172A³⁰⁰, 2001792³⁰⁰
C(27,5,4) <= 3848 [Z₂₆] (0,1,2,3,4,5,6,7,8,9,10,11,12,13,14, 15,16,17,18,19,20,21,22,23,24,25)	6D²⁶, 127²⁶, 14D²⁶, 199²⁶, 21D²⁶, 361²⁶, 471²⁶, 4C5²⁶, 613²⁶, 649²⁶, 781²⁶, 88D²⁶, 8B1²⁶, 913²⁶, A07²⁶, D09²⁶, 1151²⁶, 12A1²⁶, 1429²⁶, 1823²⁶, 2059²⁶, 20C3²⁶, 2161²⁶, 2213²⁶, 2305²⁶, 2415²⁶, 2845²⁶, 2A81²⁶, 2E01²⁶, 300B²⁶, 3025²⁶, 3085²⁶, 3501²⁶, 4129²⁶, 4245²⁶, 4289²⁶, 4303²⁶, 4419²⁶, 44A1²⁶, 4605²⁶, 4815²⁶, 4843²⁶, 4A21²⁶, 4D01²⁶, 500D²⁶, 5013²⁶, 50C1²⁶, 5601²⁶, 6023²⁶, 6105²⁶, 7201²⁶, 802D²⁶, 804B²⁶, 80E1²⁶, 8291²⁶, 8423²⁶, 8807²⁶, 8A41²⁶, 9105²⁶, 9411²⁶, 9809²⁶, A0A1²⁶, A409²⁶, A901²⁶, B041²⁶, C083²⁶, C811²⁶, E009²⁶, 100A3²⁶, 10149²⁶, 10185²⁶, 10243²⁶, 10491²⁶, 10819²⁶, 11031²⁶, 11209²⁶, 11881²⁶, 12111²⁶, 14211²⁶, 14441²⁶, 18045²⁶, 18501²⁶, 18821²⁶, 1A201²⁶, 1C101²⁶, 20443²⁶, 20521²⁶, 20681²⁶, 20861²⁶, 20885²⁶, 20A09²⁶, 21015²⁶, 21083²⁶, 21241²⁶, 22205²⁶, 22481²⁶, 24061²⁶, 24181²⁶, 28301²⁶, 30409²⁶, 31101²⁶, 40449²⁶, 40621²⁶, 4080B²⁶, 40C05²⁶, 41019²⁶, 41121²⁶, 42209²⁶, 42811²⁶, 48109²⁶, 49081²⁶, 50205²⁶, 51041²⁶, 81811²⁶, 82091²⁶, 82109²⁶, 82221²⁶, 84085²⁶, 88241²⁶, A0841²⁶, 4000039²⁶, 4000063²⁶, 40000A5²⁶, 4000183²⁶, 400020B²⁶, 4000425²⁶, 4000541²⁶, 4000981²⁶, 4000C03²⁶, 4001045²⁶, 4001089²⁶, 4001A01²⁶, 4004091²⁶, 4004481²⁶, 4004821²⁶, 4005101²⁶, 4008111²⁶, 4009201²⁶, 400C041²⁶, 4010121²⁶, 4010281²⁶, 4010403²⁶, 4010805²⁶, 4020221²⁶, 4040841²⁶, 4006003¹³, 400A005¹³, 4012009¹³, 4022011¹³, 4042021¹³, 4082041¹³
C(27,6,5) <= 15210 [F_27,26] (1,3,9,5,15,23,13,17,20,4,12,14,11,2, 6,18,7,21,16,26,22,10,8,24,25,19), (0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14) (15,16,17)(18,19,20)(21,22,23)(24,25,26)	77⁷⁰², 24F⁷⁰², 366⁷⁰², 39A⁷⁰², 6A9⁷⁰², 715⁷⁰², E52⁷⁰², 125C⁷⁰², 126A⁷⁰², 12AA⁷⁰², 12B4⁷⁰², 1319⁷⁰², 142E⁷⁰², 14B2⁷⁰², 14CA⁷⁰², 1543⁷⁰², 1570⁷⁰², 158C⁷⁰², 188B⁷⁰², 161A³⁵¹, 1683³⁵¹, 16D0³⁵¹, 1C1C³⁵¹, 3384³⁵¹, DB¹¹⁷
C(27,7,6) <= 50895 [F_27,26] (1,3,9,5,15,23,13,17,20,4,12,14,11,2, 6,18,7,21,16,26,22,10,8,24,25,19), (0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14) (15,16,17)(18,19,20)(21,22,23)(24,25,26)	23F⁷⁰², 3AB⁷⁰², 3F8⁷⁰², 675⁷⁰², 6BC⁷⁰², 6D9⁷⁰², 6DA⁷⁰², 787⁷⁰², 7A9⁷⁰², 7B2⁷⁰², E1B⁷⁰², E5C⁷⁰², EE8⁷⁰², 12AB⁷⁰², 12B5⁷⁰², 134E⁷⁰², 1399⁷⁰², 13A6⁷⁰², 149B⁷⁰², 151D⁷⁰², 1571⁷⁰², 15C3⁷⁰², 161E⁷⁰², 1627⁷⁰², 163A⁷⁰², 16C5⁷⁰², 16E2⁷⁰², 178C⁷⁰², 17D0⁷⁰², 19C5⁷⁰², 1A55⁷⁰², 1AC9⁷⁰², 1B32⁷⁰², 1BA1⁷⁰², 1C59⁷⁰², 1CCA⁷⁰², 1E61⁷⁰², 1E62⁷⁰², 1F09⁷⁰², 1F24⁷⁰², 3256⁷⁰², 3265⁷⁰², 330B⁷⁰², 3389⁷⁰², 344E⁷⁰², 3463⁷⁰², 349C⁷⁰², 34AA⁷⁰², 34CC⁷⁰², 3591⁷⁰², 389A⁷⁰², 3925⁷⁰², 3949⁷⁰², 72A2⁷⁰², 730C⁷⁰², 7321⁷⁰², 9266⁷⁰², 9472⁷⁰², 950B⁷⁰², 9B0A⁷⁰², AC62⁷⁰², 40B2A⁷⁰², 40E51⁷⁰², DF³⁵¹, EF³⁵¹, 4024F³⁵¹, 402A7³⁵¹, 40317³⁵¹, 40359³⁵¹, 403B1³⁵¹, 40457³⁵¹, 4048F³⁵¹, 404DC³⁵¹, 40574³⁵¹, 405AC³⁵¹, 40867³⁵¹, 408F2³⁵¹, 4090F³⁵¹, 4099A³⁵¹, 41A43³⁵¹, 43341³⁵¹, 44685³⁵¹
C(27,9,8) <= 334854 [A\GammaL₁(27)] (0,1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16,17) (18,19,20,21,22,23,24,25,26), (0,26,18,13,8,19)(1,16,20,15,6,5) (2,10,14,23,3,11)(4,7,25,12,9,21)(22,24)	3BF²¹⁰⁶, 7DE²¹⁰⁶, 7E7²¹⁰⁶, 7ED²¹⁰⁶, B5F²¹⁰⁶, B7D²¹⁰⁶, BEB²¹⁰⁶, EF9²¹⁰⁶, F76²¹⁰⁶, FAE²¹⁰⁶, 13EB²¹⁰⁶, 16CF²¹⁰⁶, 16DD²¹⁰⁶, 16F6²¹⁰⁶, 177A²¹⁰⁶, 17D3²¹⁰⁶, 1AD7²¹⁰⁶, 1AED²¹⁰⁶, 1AF3²¹⁰⁶, 1B3E²¹⁰⁶, 1B4F²¹⁰⁶, 1BAD²¹⁰⁶, 1BF8²¹⁰⁶, 1EAB²¹⁰⁶, 1F1B²¹⁰⁶, 1F3C²¹⁰⁶, 1F63²¹⁰⁶, 1F69²¹⁰⁶, 1FC5²¹⁰⁶, 22FB²¹⁰⁶, 26FA²¹⁰⁶, 2776²¹⁰⁶, 279D²¹⁰⁶, 27E3²¹⁰⁶, 27EC²¹⁰⁶, 2A6F²¹⁰⁶, 2AF5²¹⁰⁶, 2BD3²¹⁰⁶, 2BD9²¹⁰⁶, 2E73²¹⁰⁶, 2E7C²¹⁰⁶, 2ECD²¹⁰⁶, 2EE3²¹⁰⁶, 2F39²¹⁰⁶, 2F6A²¹⁰⁶, 325F²¹⁰⁶, 329F²¹⁰⁶, 32E7²¹⁰⁶, 32FC²¹⁰⁶, 36B6²¹⁰⁶, 36B9²¹⁰⁶, 36E9²¹⁰⁶, 372D²¹⁰⁶, 379A²¹⁰⁶, 3A3E²¹⁰⁶, 3A6D²¹⁰⁶, 3ACE²¹⁰⁶, 3B1E²¹⁰⁶, 3B35²¹⁰⁶, 3B72²¹⁰⁶, 3B9C²¹⁰⁶, 3E27²¹⁰⁶, 3E2B²¹⁰⁶, 3EB4²¹⁰⁶, 3ED2²¹⁰⁶, 3EE4²¹⁰⁶, 3F0E²¹⁰⁶, 3F25²¹⁰⁶, 3F54²¹⁰⁶, 3F64²¹⁰⁶, 3F83²¹⁰⁶, 46F9²¹⁰⁶, 476E²¹⁰⁶, 4A77²¹⁰⁶, 4BB3²¹⁰⁶, 4E4F²¹⁰⁶, 4ED5²¹⁰⁶, 4F5A²¹⁰⁶, 52DB²¹⁰⁶, 52EE²¹⁰⁶, 5397²¹⁰⁶, 53DC²¹⁰⁶, 56D3²¹⁰⁶, 571E²¹⁰⁶, 57E4²¹⁰⁶, 5A7C²¹⁰⁶, 5B65²¹⁰⁶, 5E35²¹⁰⁶, 5E56²¹⁰⁶, 5E6A²¹⁰⁶, 5E93²¹⁰⁶, 5F26²¹⁰⁶, 5F43²¹⁰⁶, 5FD0²¹⁰⁶, 6679²¹⁰⁶, 6778²¹⁰⁶, 67B2²¹⁰⁶, 6AD3²¹⁰⁶, 6AD6²¹⁰⁶, 6B69²¹⁰⁶, 6B74²¹⁰⁶, 6ECA²¹⁰⁶, 6ED1²¹⁰⁶, 6F38²¹⁰⁶, 725E²¹⁰⁶, 72DA²¹⁰⁶, 73AC²¹⁰⁶, 73E2²¹⁰⁶, 762E²¹⁰⁶, 764B²¹⁰⁶, 7732²¹⁰⁶, 7745²¹⁰⁶, 774A²¹⁰⁶, 7754²¹⁰⁶, 7783²¹⁰⁶, 7A27²¹⁰⁶, 7A55²¹⁰⁶, 7A59²¹⁰⁶, 7A95²¹⁰⁶, 7E62²¹⁰⁶, 7E92²¹⁰⁶, 7F88²¹⁰⁶, 926F²¹⁰⁶, 96DA²¹⁰⁶, 9747²¹⁰⁶, 9755²¹⁰⁶, 97B4²¹⁰⁶, 9E39²¹⁰⁶, 9ED2²¹⁰⁶, 9F98²¹⁰⁶, 9FA2²¹⁰⁶, AE95²¹⁰⁶, AEA5²¹⁰⁶, AED8²¹⁰⁶, B723²¹⁰⁶, B725²¹⁰⁶, BAE1²¹⁰⁶, BF12²¹⁰⁶, CECC²¹⁰⁶, CF07²¹⁰⁶, CF91²¹⁰⁶, EEC1²¹⁰⁶, F790²¹⁰⁶, FA0E²¹⁰⁶, 1564E²¹⁰⁶, 156B2²¹⁰⁶, 16E8C²¹⁰⁶, 16F81²¹⁰⁶, 40E57²¹⁰⁶, 412F9²¹⁰⁶, 4171E²¹⁰⁶, 41735²¹⁰⁶, 4196D²¹⁰⁶, 41D27²¹⁰⁶, 4235E²¹⁰⁶, 458DA²¹⁰⁶, 469E4²¹⁰⁶, 4873C²¹⁰⁶, 494F2²¹⁰⁶
C(28,5,4) <= 4550 [Z₂₆] (0,1,2,3,4,5,6,7,8,9,10,11,12,13,14, 15,16,17,18,19,20,21,22,23,24,25)	F1²⁶, 18B²⁶, 293²⁶, 2A9²⁶, 44B²⁶, 495²⁶, 529²⁶, 5C1²⁶, 839²⁶, 88D²⁶, 8C9²⁶, 9A1²⁶, B09²⁶, C23²⁶, 1065²⁶, 10A3²⁶, 1207²⁶, 1229²⁶, 1681²⁶, 180B²⁶, 1905²⁶, 1911²⁶, 1C09²⁶, 202B²⁶, 2053²⁶, 2261²⁶, 2311²⁶, 24A1²⁶, 2505²⁶, 2603²⁶, 2883²⁶, 3031²⁶, 3103²⁶, 3205²⁶, 4033²⁶, 4099²⁶, 4145²⁶, 4251²⁶, 4305²⁶, 4825²⁶, 5031²⁶, 5043²⁶, 5085²⁶, 5109²⁶, 6015²⁶, 6181²⁶, 6209²⁶, 6A01²⁶, 7401²⁶, 801B²⁶, 8035²⁶, 8151²⁶, 8249²⁶, 8291²⁶, 8621²⁶, 8807²⁶, 8D01²⁶, 9181²⁶, 9403²⁶, A141²⁶, B009²⁶, C601²⁶, E021²⁶, 10185²⁶, 1020B²⁶, 10407²⁶, 10489²⁶, 10861²⁶, 10E01²⁶, 11013²⁶, 11205²⁶, 11501²⁶, 11841²⁶, 120C1²⁶, 12411²⁶, 140A1²⁶, 14441²⁶, 14803²⁶, 18083²⁶, 18141²⁶, 2010D²⁶, 20243²⁶, 20321²⁶, 2040D²⁶, 20503²⁶, 20851²⁶, 20981²⁶, 21091²⁶, 22045²⁶, 22809²⁶, 24049²⁶, 240C1²⁶, 24411²⁶, 280A1²⁶, 28205²⁶, 28441²⁶, 29041²⁶, 34101²⁶, 40429²⁶, 40445²⁶, 40C11²⁶, 41211²⁶, 42049²⁶, 42281²⁶, 42411²⁶, 44103²⁶, 44881²⁶, 48121²⁶, 50221²⁶, 60821²⁶, 81061²⁶, 84111²⁶, 84221²⁶, 84409²⁶, 84841²⁶, 88821²⁶, 4000027²⁶, 4000069²⁶, 4000143²⁶, 4000215²⁶, 4000219²⁶, 40002C1²⁶, 4000451²⁶, 4000609²⁶, 4000A03²⁶, 4001121²⁶, 4001411²⁶, 4001881²⁶, 4004405²⁶, 4004811²⁶, 4008301²⁶, 4008841²⁶, 4009005²⁶, 400C081²⁶, 4010421²⁶, 4010901²⁶, 4020111²⁶, 4020403²⁶, 4021009²⁶, 4040809²⁶, 4041041²⁶, 8000047²⁶, 8000059²⁶, 8000131²⁶, 800020D²⁶, 8000303²⁶, 8000A81²⁶, 8001089²⁶, 8001141²⁶, 8001405²⁶, 8001821²⁶, 8002025²⁶, 8002089²⁶, 8002841²⁶, 8004281²⁶, 8004421²⁶, 8004803²⁶, 8005201²⁶, 8006041²⁶, 8008061²⁶, 8008481²⁶, 8009011²⁶, 800C101²⁶, 8010241²⁶, 8020203²⁶, 8020441²⁶, C000091²⁶, C000105²⁶, C000805²⁶, C000C01²⁶, C002101²⁶, C004011²⁶, 4006003¹³, 400A005¹³, 4012009¹³, 4042021¹³, 4082041¹³, 8022011¹³
C(28,6,5) <= 18369 [F_27,26] (1,3,9,5,15,23,13,17,20,4,12,14,11,2, 6,18,7,21,16,26,22,10,8,24,25,19), (0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14) (15,16,17)(18,19,20)(21,22,23)(24,25,26)	77⁷⁰², 695⁷⁰², 70D⁷⁰², 732⁷⁰², 746⁷⁰², 758⁷⁰², E49⁷⁰², E54⁷⁰², E62⁷⁰², 121E⁷⁰², 122B⁷⁰², 1436⁷⁰², 14E8⁷⁰², 1570⁷⁰², 1788⁷⁰², 18D1⁷⁰², 9254⁷⁰², 9262⁷⁰², A862⁷⁰², 800022D⁷⁰², 80002D1⁷⁰², 8000394⁷⁰², 8000709⁷⁰², 80012E0⁷⁰², 1C2A³⁵¹, 800004F³⁵¹, 800005D³⁵¹, 800006B³⁵¹, DB¹¹⁷
C(28,7,6) <= 65286 [F_27,26] (1,3,9,5,15,23,13,17,20,4,12,14,11,2, 6,18,7,21,16,26,22,10,8,24,25,19), (0,1,2)(3,4,5)(6,7,8)(9,10,11)(12,13,14) (15,16,17)(18,19,20)(21,22,23)(24,25,26)	2EE⁷⁰², 2F5⁷⁰², 3B6⁷⁰², 62F⁷⁰², 66D⁷⁰², 673⁷⁰², 69E⁷⁰², 72D⁷⁰², 753⁷⁰², 759⁷⁰², 7C6⁷⁰², 7E1⁷⁰², E55⁷⁰², EC6⁷⁰², EE8⁷⁰², 1237⁷⁰², 12C7⁷⁰², 12E9⁷⁰², 1395⁷⁰², 13B1⁷⁰², 145B⁷⁰², 1547⁷⁰², 15B2⁷⁰², 161B⁷⁰², 1669⁷⁰², 16CA⁷⁰², 1762⁷⁰², 17D0⁷⁰², 1879⁷⁰², 18F4⁷⁰², 192D⁷⁰², 196A⁷⁰², 19A5⁷⁰², 19C6⁷⁰², 1A55⁷⁰², 1A99⁷⁰², 1B16⁷⁰², 1B23⁷⁰², 1C96⁷⁰², 1CE4⁷⁰², 1D49⁷⁰², 1D64⁷⁰², 1EA1⁷⁰², 1F0C⁷⁰², 32A5⁷⁰², 3386⁷⁰², 3389⁷⁰², 348E⁷⁰², 34E8⁷⁰², 3519⁷⁰², 3551⁷⁰², 384B⁷⁰², 38A3⁷⁰², 7249⁷⁰², 7252⁷⁰², 72A2⁷⁰², 95A4⁷⁰², A866⁷⁰², 4046B⁷⁰², 406A5⁷⁰², 408B3⁷⁰², 40B51⁷⁰², 40E61⁷⁰², 4144D⁷⁰², 41F04⁷⁰², 80000DD⁷⁰², 800023D⁷⁰², 8000257⁷⁰², 80002F8⁷⁰², 8000327⁷⁰², 80003E2⁷⁰², 80006A9⁷⁰², 80006C3⁷⁰², 80006E4⁷⁰², 8000713⁷⁰², 8000758⁷⁰², 8000E4C⁷⁰², 8001271⁷⁰², 800131A⁷⁰², 80013C4⁷⁰², 8001472⁷⁰², 8001561⁷⁰², 8001585⁷⁰², 800168C⁷⁰², 800188B⁷⁰², 8001C92⁷⁰², 7F³⁵¹, 40317³⁵¹, 4048F³⁵¹, 404DC³⁵¹, 40574³⁵¹, 40867³⁵¹, 411E2³⁵¹, 41A43³⁵¹, 8001629³⁵¹, 8001634³⁵¹, 80017A0³⁵¹, 8001A86³⁵¹, 8001B60³⁵¹, 8001C2A³⁵¹
C(28,9,8) <= 470340 [A\GammaL₁(27)] (0,1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16,17) (18,19,20,21,22,23,24,25,26), (0,26,18,13,8,19)(1,16,20,15,6,5) (2,10,14,23,3,11)(4,7,25,12,9,21)(22,24)	3BF²¹⁰⁶, 7F6²¹⁰⁶, B77²¹⁰⁶, BEE²¹⁰⁶, EDD²¹⁰⁶, EEB²¹⁰⁶, EF9²¹⁰⁶, F2F²¹⁰⁶, F5E²¹⁰⁶, F97²¹⁰⁶, F9B²¹⁰⁶, FE3²¹⁰⁶, 127F²¹⁰⁶, 12FD²¹⁰⁶, 13F3²¹⁰⁶, 1776²¹⁰⁶, 17AB²¹⁰⁶, 17D9²¹⁰⁶, 1AB7²¹⁰⁶, 1ADB²¹⁰⁶, 1AF6²¹⁰⁶, 1B2F²¹⁰⁶, 1B6E²¹⁰⁶, 1BB9²¹⁰⁶, 1BF8²¹⁰⁶, 1E6B²¹⁰⁶, 1EE6²¹⁰⁶, 1F55²¹⁰⁶, 1F69²¹⁰⁶, 1F8D²¹⁰⁶, 1FAC²¹⁰⁶, 23EE²¹⁰⁶, 26BD²¹⁰⁶, 27BC²¹⁰⁶, 27D3²¹⁰⁶, 2A7D²¹⁰⁶, 2AFC²¹⁰⁶, 2B6B²¹⁰⁶, 2E5B²¹⁰⁶, 2E67²¹⁰⁶, 2EDC²¹⁰⁶, 2F17²¹⁰⁶, 2F39²¹⁰⁶, 2F4D²¹⁰⁶, 2F74²¹⁰⁶, 2F9A²¹⁰⁶, 2FCC²¹⁰⁶, 32E7²¹⁰⁶, 3337²¹⁰⁶, 333E²¹⁰⁶, 362F²¹⁰⁶, 36AD²¹⁰⁶, 3A7C²¹⁰⁶, 3ACE²¹⁰⁶, 3AD5²¹⁰⁶, 3BE2²¹⁰⁶, 3E71²¹⁰⁶, 3E9C²¹⁰⁶, 3EA5²¹⁰⁶, 3F0B²¹⁰⁶, 3F32²¹⁰⁶, 3F46²¹⁰⁶, 3FE0²¹⁰⁶, 4767²¹⁰⁶, 4AD7²¹⁰⁶, 4B37²¹⁰⁶, 4B7C²¹⁰⁶, 4E6D²¹⁰⁶, 4E73²¹⁰⁶, 4F71²¹⁰⁶, 4F93²¹⁰⁶, 4FB4²¹⁰⁶, 4FC6²¹⁰⁶, 4FC9²¹⁰⁶, 52CF²¹⁰⁶, 539D²¹⁰⁶, 5679²¹⁰⁶, 5753²¹⁰⁶, 57CC²¹⁰⁶, 57D4²¹⁰⁶, 5A4F²¹⁰⁶, 5A57²¹⁰⁶, 5A6E²¹⁰⁶, 5A7C²¹⁰⁶, 5B65²¹⁰⁶, 5BCC²¹⁰⁶, 5EAA²¹⁰⁶, 5ED1²¹⁰⁶, 5F0E²¹⁰⁶, 5F62²¹⁰⁶, 67B2²¹⁰⁶, 67E8²¹⁰⁶, 6A7A²¹⁰⁶, 6AF1²¹⁰⁶, 6AF2²¹⁰⁶, 6B71²¹⁰⁶, 6B72²¹⁰⁶, 6EE4²¹⁰⁶, 6F4C²¹⁰⁶, 723D²¹⁰⁶, 725E²¹⁰⁶, 7396²¹⁰⁶, 73D8²¹⁰⁶, 761E²¹⁰⁶, 76A6²¹⁰⁶, 770D²¹⁰⁶, 77A8²¹⁰⁶, 7A2E²¹⁰⁶, 7A59²¹⁰⁶, 7AB4²¹⁰⁶, 7B1C²¹⁰⁶, 7B94²¹⁰⁶, 7E49²¹⁰⁶, 7E8A²¹⁰⁶, 7EC4²¹⁰⁶, 7EC8²¹⁰⁶, 925F²¹⁰⁶, 96DA²¹⁰⁶, 9A9E²¹⁰⁶, 9B9A²¹⁰⁶, 9BE4²¹⁰⁶, AED4²¹⁰⁶, AF85²¹⁰⁶, AFA1²¹⁰⁶, B6A3²¹⁰⁶, B725²¹⁰⁶, BAA6²¹⁰⁶, BB07²¹⁰⁶, BE34²¹⁰⁶, BF11²¹⁰⁶, CE4E²¹⁰⁶, CE78²¹⁰⁶, CF1A²¹⁰⁶, CF26²¹⁰⁶, CF54²¹⁰⁶, CFA2²¹⁰⁶, D738²¹⁰⁶, D78A²¹⁰⁶, D792²¹⁰⁶, EEC1²¹⁰⁶, F7C0²¹⁰⁶, FAE0²¹⁰⁶, 156B2²¹⁰⁶, 407C7²¹⁰⁶, 40B6D²¹⁰⁶, 40E57²¹⁰⁶, 411CF²¹⁰⁶, 4129F²¹⁰⁶, 41735²¹⁰⁶, 41CF2²¹⁰⁶, 458CB²¹⁰⁶, 458EA²¹⁰⁶, 800037E²¹⁰⁶, 800039F²¹⁰⁶, 80003DB²¹⁰⁶, 800066F²¹⁰⁶, 80006BB²¹⁰⁶, 8000757²¹⁰⁶, 8000779²¹⁰⁶, 80007B5²¹⁰⁶, 80007DC²¹⁰⁶, 8000A3F²¹⁰⁶, 8000AF5²¹⁰⁶, 8000B4F²¹⁰⁶, 8000E75²¹⁰⁶, 8000EA7²¹⁰⁶, 8000EBC²¹⁰⁶, 8000EE9²¹⁰⁶, 8000F2D²¹⁰⁶, 8000F53²¹⁰⁶, 8000FF0²¹⁰⁶, 80012BB²¹⁰⁶, 800139B²¹⁰⁶, 80016B9²¹⁰⁶, 80016D6²¹⁰⁶, 800171D²¹⁰⁶, 800174B²¹⁰⁶, 800176C²¹⁰⁶, 80017E1²¹⁰⁶, 80017E4²¹⁰⁶, 8001A5D²¹⁰⁶, 8001A6E²¹⁰⁶, 8001ACB²¹⁰⁶, 8001AF8²¹⁰⁶, 8001B74²¹⁰⁶, 8001E93²¹⁰⁶, 8001EC9²¹⁰⁶, 8001F07²¹⁰⁶, 8001F1A²¹⁰⁶, 8001F23²¹⁰⁶, 8001F25²¹⁰⁶, 8001FC1²¹⁰⁶, 80023AD²¹⁰⁶, 800269E²¹⁰⁶, 8002763²¹⁰⁶, 8002799²¹⁰⁶, 8002AD3²¹⁰⁶, 8002BB4²¹⁰⁶, 8002E33²¹⁰⁶, 8002E6C²¹⁰⁶, 8002F32²¹⁰⁶, 8002F45²¹⁰⁶, 8002F58²¹⁰⁶, 8003669²¹⁰⁶, 8003770²¹⁰⁶, 80037A4²¹⁰⁶, 8003A65²¹⁰⁶, 8003A72²¹⁰⁶, 8003EA2²¹⁰⁶, 8003F28²¹⁰⁶, 8003F41²¹⁰⁶, 8003F42²¹⁰⁶, 80046CB²¹⁰⁶, 800474D²¹⁰⁶, 8004F34²¹⁰⁶, 800565A²¹⁰⁶, 8005A69²¹⁰⁶, 8005A93²¹⁰⁶, 8005F12²¹⁰⁶, 800664E²¹⁰⁶, 8006AF0²¹⁰⁶, 800BA34²¹⁰⁶, 800CFC0²¹⁰⁶, 8005BC8⁷⁰²

This page: http://saturn.tcs.hut.fi/pub/papers/table3.html

This page is also available through http://www.emba.uvm.edu/~jcd/reports/343/table3.html