Details for entry \(A_7(14,4;3)\)

Lower bounds

• EF_Kurz2020_linkage_special ( ) : 3922876843071748206
• generalized_linkage ( 11,0 ) : 3922876843070631006
• generalized_linkage_multipleblocks ( show
  [11, 3],[0, 0]
  ) : 3922876843070631006
• CKMP2019_Cor_42 ( (11, 3) ) : 3922876843070630950
• CKMP2019_Lem_41 ( (11, 3) ) : 3922876843070630950
• generalized_linkage ( 11,1 ) : 3922876843070630950
• generalized_linkage_multipleblocks ( show
  [11, 3],[0, 1]
  ) : 3922876843070630950
• improved_linkage ( 11 ) : 3922876843070630950
• linkage_GLT ( 11 ) : 3922876843070630950
• linkage_ST ( 3 ) : 3922876843070630950
• construction_D ( 3 ) : 3922876843070630949
• generalized_linkage ( 7,0 ) : 3922876843065022206
• generalized_linkage_multipleblocks ( show
  [7, 7],[0, 0]
  ) : 3922876843065022206
• generalized_linkage_multipleblocks ( show
  [7, 3, 4],[0, 0, 1]
  ) : 3922876843063944564
• generalized_linkage_multipleblocks ( show
  [7, 3, 4],[0, 0, 0]
  ) : 3922876843063928205
• generalized_linkage ( 10,1 ) : 3922876843063925300
• generalized_linkage_multipleblocks ( show
  [10, 4],[0, 1]
  ) : 3922876843063925300
• improved_linkage ( 10 ) : 3922876843063925300
• generalized_linkage ( 10,0 ) : 3922876843063925013
• generalized_linkage_multipleblocks ( show
  [10, 4],[0, 0]
  ) : 3922876843063925013
• CKMP2019_Cor_42 ( (10, 4) ) : 3922876843063924957
• CKMP2019_Lem_41 ( (10, 4) ) : 3922876843063924957
• linkage_GLT ( 10 ) : 3922876843063924957
• linkage_ST ( 4 ) : 3922876843063924957
• construction_D ( 4 ) : 3922876843063924956
• generalized_linkage ( 7,1 ) : 3922876843017946598
• generalized_linkage_multipleblocks ( show
  [7, 7],[0, 1]
  ) : 3922876843017946598
• improved_linkage ( 7 ) : 3922876843017946598
• generalized_linkage_multipleblocks ( show
  [7, 4, 3],[0, 1, 0]
  ) : 3922876842775805804
• generalized_linkage_multipleblocks ( show
  [7, 4, 3],[0, 1, 1]
  ) : 3922876842775802612
• generalized_linkage_multipleblocks ( show
  [7, 4, 3],[0, 0, 0]
  ) : 3922876842742040541
• generalized_linkage_multipleblocks ( show
  [7, 4, 3],[0, 0, 1]
  ) : 3922876842742037349
• generalized_linkage_multipleblocks ( show
  [7, 3, 4],[0, 1, 1]
  ) : 3922876842741115708
• CKMP2019_Cor_42 ( (7, 7) ) : 3922876842741115350
• CKMP2019_Lem_41 ( (7, 7) ) : 3922876842741115350
• linkage_GLT ( 7 ) : 3922876842741115350
• linkage_ST ( 7 ) : 3922876842741115350
• generalized_linkage_multipleblocks ( show
  [7, 3, 4],[0, 1, 0]
  ) : 3922876842741099349
• CKMP2019_Cor_42 ( (7, 3, 4) ) : 3922876842741096101
• CKMP2019_Lem_41 ( (7, 3, 4) ) : 3922876842741096101
• CKMP2019_Cor_42 ( (7, 4, 3) ) : 3922876842735448949
• CKMP2019_Lem_41 ( (7, 4, 3) ) : 3922876842735448949
• construction_D ( 7 ) : 3922876842735331299
• generalized_linkage ( 9,1 ) : 3913581795804528765
• generalized_linkage_multipleblocks ( show
  [9, 5],[0, 1]
  ) : 3913581795804528765
• improved_linkage ( 9 ) : 3913581795804528765
• generalized_linkage ( 9,0 ) : 3913581795804430611
• generalized_linkage_multipleblocks ( show
  [9, 5],[0, 0]
  ) : 3913581795804430611
• CKMP2019_Cor_42 ( (9, 5) ) : 3913581795804411347
• CKMP2019_Lem_41 ( (9, 5) ) : 3913581795804411347
• linkage_GLT ( 9 ) : 3913581795804411347
• linkage_ST ( 5 ) : 3913581795804411347
• construction_D ( 5 ) : 3913581795804411003
• generalized_linkage ( 6,0 ) : 3913576385846425005
• generalized_linkage_multipleblocks ( show
  [6, 8],[0, 0]
  ) : 3913576385846425005
• generalized_linkage_multipleblocks ( show
  [6, 3, 5],[0, 0, 1]
  ) : 3913576385845154589
• generalized_linkage_multipleblocks ( show
  [6, 3, 5],[0, 0, 0]
  ) : 3913576385839559811
• generalized_linkage ( 6,1 ) : 3913576383591953709
• generalized_linkage_multipleblocks ( show
  [6, 8],[0, 1]
  ) : 3913576383591953709
• improved_linkage ( 6 ) : 3913576383591953709
• generalized_linkage_multipleblocks ( show
  [6, 5, 3],[0, 1, 0]
  ) : 3913576383591937749
• generalized_linkage_multipleblocks ( show
  [6, 5, 3],[0, 1, 1]
  ) : 3913576383591934557
• generalized_linkage_multipleblocks ( show
  [6, 5, 3],[0, 0, 0]
  ) : 3913576372044217803
• generalized_linkage_multipleblocks ( show
  [6, 5, 3],[0, 0, 1]
  ) : 3913576372044214611
• generalized_linkage_multipleblocks ( show
  [6, 4, 4],[0, 1, 1]
  ) : 3913576371720464114
• generalized_linkage_multipleblocks ( show
  [6, 4, 4],[0, 1, 0]
  ) : 3913576371720447755
• generalized_linkage_multipleblocks ( show
  [6, 4, 4],[0, 0, 1]
  ) : 3913576370065966227
• generalized_linkage_multipleblocks ( show
  [6, 4, 4],[0, 0, 0]
  ) : 3913576370065949868
• generalized_linkage_multipleblocks ( show
  [6, 3, 5],[0, 1, 1]
  ) : 3913576370026540645
• generalized_linkage_multipleblocks ( show
  [6, 3, 5],[0, 1, 0]
  ) : 3913576370020945867
• CKMP2019_Cor_42 ( (6, 8) ) : 3913576370019968261
• CKMP2019_Lem_41 ( (6, 8) ) : 3913576370019968261
• linkage_GLT ( 6 ) : 3913576370019968261
• linkage_ST ( 8 ) : 3913576370019968261
• CKMP2019_Cor_42 ( (6, 3, 5) ) : 3913576370019828555
• CKMP2019_Lem_41 ( (6, 3, 5) ) : 3913576370019828555
• CKMP2019_Cor_42 ( (6, 5, 3) ) : 3913576369777824219
• CKMP2019_Lem_41 ( (6, 5, 3) ) : 3913576369777824219
• CKMP2019_Cor_42 ( (6, 4, 4) ) : 3913576369743117764
• CKMP2019_Lem_41 ( (6, 4, 4) ) : 3913576369743117764
• construction_D ( 8 ) : 3913576369737352962
• construction_1 ( ) : 3911760443936541806
• construction_ST_A_1 ( ) : 3911760443936541806
• generalized_linkage ( 8,0 ) : 3911759520862200533
• generalized_linkage_multipleblocks ( show
  [8, 6],[0, 0]
  ) : 3911759520862200533
• generalized_linkage_multipleblocks ( show
  [8, 3, 3],[0, 0, 0]
  ) : 3911759520862197341
• generalized_linkage_multipleblocks ( show
  [8, 3, 3],[0, 0, 1]
  ) : 3911759520862194149
• generalized_linkage ( 8,1 ) : 3911759520861272150
• generalized_linkage_multipleblocks ( show
  [8, 6],[0, 1]
  ) : 3911759520861272150
• improved_linkage ( 8 ) : 3911759520861272150
• generalized_linkage_multipleblocks ( show
  [8, 3, 3],[0, 1, 0]
  ) : 3911759520855608997
• CKMP2019_Cor_42 ( (8, 6) ) : 3911759520855605861
• CKMP2019_Lem_41 ( (8, 6) ) : 3911759520855605861
• linkage_GLT ( 8 ) : 3911759520855605861
• linkage_ST ( 6 ) : 3911759520855605861
• generalized_linkage_multipleblocks ( show
  [8, 3, 3],[0, 1, 1]
  ) : 3911759520855605805
• CKMP2019_Cor_42 ( (8, 3, 3) ) : 3911759520855605749
• CKMP2019_Lem_41 ( (8, 3, 3) ) : 3911759520855605749
• construction_D ( 6 ) : 3911759520855488099
• ef_computation ( show
  [(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (0, 8, 9), (0, 7, 10), (6, 7, 11), (5, 8, 10), (2, 8, 11), (2, 7, 12), (3, 9, 10), (3, 7, 13), (4, 9, 11), (1, 8, 12), (6, 9, 12), (1, 10, 11), (6, 8, 13), (4, 10, 12), (1, 9, 13), (3, 11, 12), (2, 10, 13), (0, 11, 13), (5, 12, 13)]
  ) : 3911753984677024606
• generalized_linkage ( 3,0 ) : 3911721651053515006
• generalized_linkage_multipleblocks ( show
  [3, 11],[0, 0]
  ) : 3911721651053515006
• generalized_linkage_multipleblocks ( show
  [3, 7, 4],[0, 0, 1]
  ) : 3911721651053372164
• generalized_linkage_multipleblocks ( show
  [3, 7, 4],[0, 0, 0]
  ) : 3911721651053355805
• generalized_linkage_multipleblocks ( show
  [3, 6, 5],[0, 0, 1]
  ) : 3911717145055246549
• generalized_linkage_multipleblocks ( show
  [3, 6, 5],[0, 0, 0]
  ) : 3911717145049651771
• generalized_linkage_multipleblocks ( show
  [3, 8, 3],[0, 0, 0]
  ) : 3911716264799778205
• generalized_linkage_multipleblocks ( show
  [3, 8, 3],[0, 0, 1]
  ) : 3911716264799775013
• generalized_linkage_multipleblocks ( show
  [3, 3, 8],[0, 0, 0]
  ) : 3911716243842561757
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 0, 0, 1]
  ) : 3911716243770148045
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 0, 0, 0]
  ) : 3911716243451245699
• generalized_linkage_multipleblocks ( show
  [3, 3, 8],[0, 0, 1]
  ) : 3911716115337697885
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 0, 1, 0]
  ) : 3911716115336788165
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 0, 1, 1]
  ) : 3911716115336606221
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 0, 0, 0]
  ) : 3911715457116751243
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 0, 0, 1]
  ) : 3911715457116569299
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 0, 1, 1]
  ) : 3911715438662790970
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 0, 1, 0]
  ) : 3911715438661858507
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 0, 0, 1]
  ) : 3911715344356411411
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 0, 0, 0]
  ) : 3911715344355478948
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 0, 1, 1]
  ) : 3911715342109153237
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 0, 1, 0]
  ) : 3911715341790250891
• construction_ST_B_recursive ( ) : 3911483484589555995
• generalized_linkage_multipleblocks ( show
  [3, 6, 5],[0, 1, 1]
  ) : 3911454899836154182
• generalized_linkage_multipleblocks ( show
  [3, 6, 5],[0, 1, 0]
  ) : 3911454899830559404
• generalized_linkage ( 3,1 ) : 3911454899829581798
• generalized_linkage_multipleblocks ( show
  [3, 11],[0, 1]
  ) : 3911454899829581798
• improved_linkage ( 3 ) : 3911454899829581798
• generalized_linkage_multipleblocks ( show
  [3, 8, 3],[0, 1, 0]
  ) : 3911451028506275101
• generalized_linkage_multipleblocks ( show
  [3, 8, 3],[0, 1, 1]
  ) : 3911451028506271909
• generalized_linkage_multipleblocks ( show
  [3, 5, 6],[0, 1, 0]
  ) : 3911451026628960949
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 1, 0, 0]
  ) : 3911451026628779005
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 1, 0, 1]
  ) : 3911451026628597061
• generalized_linkage_multipleblocks ( show
  [3, 5, 6],[0, 1, 1]
  ) : 3911451026576043118
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 1, 1, 0]
  ) : 3911451026253243397
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 1, 1, 1]
  ) : 3911451026253061453
• construction_ST_B ( ) : 3911450805627766280
• generalized_linkage_multipleblocks ( show
  [3, 7, 4],[0, 1, 1]
  ) : 3911450269541298156
• generalized_linkage_multipleblocks ( show
  [3, 7, 4],[0, 1, 0]
  ) : 3911450269541281797
• two_pivot_block_construction ( ) : 3911450140686564352
• multicomponent ( ) : 3911450140686564246
• JohnsonLB ( ) : 3910164197507227896
• generalized_linkage_multipleblocks ( show
  [3, 5, 6],[0, 0, 0]
  ) : 3910092448925033995
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 0, 0, 0]
  ) : 3910092448924852051
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 0, 0, 1]
  ) : 3910092448924670107
• generalized_linkage_multipleblocks ( show
  [3, 5, 6],[0, 0, 1]
  ) : 3910092448872116164
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 0, 1, 0]
  ) : 3910092448549316443
• generalized_linkage_multipleblocks ( show
  [3, 5, 3, 3],[0, 0, 1, 1]
  ) : 3910092448549134499
• generalized_linkage_multipleblocks ( show
  [3, 4, 7],[0, 1, 0]
  ) : 3910054376112429804
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 1, 0, 1]
  ) : 3910054376051004210
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 1, 0, 0]
  ) : 3910054376050071747
• generalized_linkage_multipleblocks ( show
  [3, 4, 7],[0, 1, 1]
  ) : 3910054373429120148
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 1, 1, 0]
  ) : 3910054359627094890
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 1, 1, 1]
  ) : 3910054359626912946
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 1, 0, 0]
  ) : 3910054357702474899
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 1, 0, 1]
  ) : 3910054357702292955
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 1, 1, 1]
  ) : 3910054357649759418
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 1, 1, 0]
  ) : 3910054357648826955
• generalized_linkage_multipleblocks ( show
  [3, 4, 7],[0, 0, 0]
  ) : 3909859726090522141
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 0, 0, 1]
  ) : 3909859726029096547
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 0, 0, 0]
  ) : 3909859726028164084
• generalized_linkage_multipleblocks ( show
  [3, 4, 7],[0, 0, 1]
  ) : 3909859723407212485
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 0, 1, 0]
  ) : 3909859709605187227
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 0, 1, 1]
  ) : 3909859709605005283
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 0, 0, 0]
  ) : 3909859707680567236
• generalized_linkage_multipleblocks ( show
  [3, 4, 4, 3],[0, 0, 0, 1]
  ) : 3909859707680385292
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 0, 1, 1]
  ) : 3909859707627851755
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 4],[0, 0, 1, 0]
  ) : 3909859707626919292
• generalized_linkage_multipleblocks ( show
  [3, 3, 8],[0, 1, 0]
  ) : 3909855199730664101
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 1, 0, 1]
  ) : 3909855199658250389
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 1, 0, 0]
  ) : 3909855199339348043
• generalized_linkage_multipleblocks ( show
  [3, 3, 8],[0, 1, 1]
  ) : 3909855071225800229
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 1, 1, 0]
  ) : 3909855071224890509
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 1, 1, 1]
  ) : 3909855071224708565
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 1, 0, 0]
  ) : 3909854413004853587
• generalized_linkage_multipleblocks ( show
  [3, 3, 5, 3],[0, 1, 0, 1]
  ) : 3909854413004671643
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 1, 1, 1]
  ) : 3909854394550893314
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 1, 1, 0]
  ) : 3909854394549960851
• CKMP2019_Cor_42 ( (3, 11) ) : 3909854392485979750
• CKMP2019_Lem_41 ( (3, 11) ) : 3909854392485979750
• linkage_GLT ( 3 ) : 3909854392485979750
• linkage_ST ( 11 ) : 3909854392485979750
• CKMP2019_Cor_42 ( (3, 7, 4) ) : 3909854392485976901
• CKMP2019_Lem_41 ( (3, 7, 4) ) : 3909854392485976901
• CKMP2019_Cor_42 ( (3, 6, 5) ) : 3909854313433261131
• CKMP2019_Lem_41 ( (3, 6, 5) ) : 3909854313433261131
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 1, 0, 1]
  ) : 3909854300244513755
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 4],[0, 1, 0, 0]
  ) : 3909854300243581292
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 1, 1, 1]
  ) : 3909854297997255581
• CKMP2019_Cor_42 ( (3, 8, 3) ) : 3909854297990300101
• CKMP2019_Lem_41 ( (3, 8, 3) ) : 3909854297990300101
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 5],[0, 1, 1, 0]
  ) : 3909854297678353235
• CKMP2019_Cor_42 ( (3, 3, 8) ) : 3909854281796172949
• CKMP2019_Lem_41 ( (3, 3, 8) ) : 3909854281796172949
• CKMP2019_Cor_42 ( show
  (3, 3, 3, 5)
  ) : 3909854281796033243
• CKMP2019_Lem_41 ( show
  (3, 3, 3, 5)
  ) : 3909854281796033243
• CKMP2019_Cor_42 ( show
  (3, 3, 5, 3)
  ) : 3909854281554028907
• CKMP2019_Lem_41 ( show
  (3, 3, 5, 3)
  ) : 3909854281554028907
• CKMP2019_Cor_42 ( show
  (3, 3, 4, 4)
  ) : 3909854281519322452
• CKMP2019_Lem_41 ( show
  (3, 3, 4, 4)
  ) : 3909854281519322452
• CKMP2019_Cor_42 ( (3, 5, 6) ) : 3909825809985902955
• CKMP2019_Lem_41 ( (3, 5, 6) ) : 3909825809985902955
• CKMP2019_Cor_42 ( show
  (3, 5, 3, 3)
  ) : 3909825809985902843
• CKMP2019_Lem_41 ( show
  (3, 5, 3, 3)
  ) : 3909825809985902843
• CKMP2019_Cor_42 ( (3, 4, 7) ) : 3909821726811844949
• CKMP2019_Lem_41 ( (3, 4, 7) ) : 3909821726811844949
• CKMP2019_Cor_42 ( show
  (3, 4, 3, 4)
  ) : 3909821726811825700
• CKMP2019_Lem_41 ( show
  (3, 4, 3, 4)
  ) : 3909821726811825700
• CKMP2019_Cor_42 ( show
  (3, 4, 4, 3)
  ) : 3909821726806178548
• CKMP2019_Lem_41 ( show
  (3, 4, 4, 3)
  ) : 3909821726806178548
• LMRD ( ) : 3909821048582988049
• LiuChangFeng2019_Theo_2_6 ( ) : 3909821048582988049
• construction_D ( 11 ) : 3909821048582988049
• generalized_linkage_multipleblocks ( show
  [7, 2, 5],[0, 1, 1]
  ) : 560410977822806440
• generalized_linkage_multipleblocks ( show
  [7, 2, 5],[0, 1, 0]
  ) : 560410977816250870
• generalized_linkage ( 12,1 ) : 560410977581655908
• generalized_linkage_multipleblocks ( show
  [12, 2],[0, 1]
  ) : 560410977581655908
• improved_linkage ( 12 ) : 560410977581655908
• generalized_linkage_multipleblocks ( show
  [7, 5, 2],[0, 1, 1]
  ) : 560410977574011180
• generalized_linkage_multipleblocks ( show
  [7, 5, 2],[0, 0, 1]
  ) : 560410977540344358
• generalized_linkage_multipleblocks ( show
  [3, 2, 6, 3],[0, 1, 1, 0]
  ) : 560213065486738091
• generalized_linkage_multipleblocks ( show
  [3, 2, 9],[0, 1, 1]
  ) : 560213065486715348
• generalized_linkage_multipleblocks ( show
  [3, 2, 6, 3],[0, 1, 1, 1]
  ) : 560213065486712555
• generalized_linkage_multipleblocks ( show
  [3, 2, 5, 4],[0, 1, 1, 1]
  ) : 560212973527586954
• generalized_linkage_multipleblocks ( show
  [3, 2, 5, 4],[0, 1, 1, 0]
  ) : 560212973527456082
• generalized_linkage_multipleblocks ( show
  [3, 2, 9],[0, 1, 0]
  ) : 560180595379135088
• generalized_linkage_multipleblocks ( show
  [3, 2, 6, 3],[0, 1, 0, 0]
  ) : 560180595370401776
• generalized_linkage_multipleblocks ( show
  [3, 2, 6, 3],[0, 1, 0, 1]
  ) : 560180595370376240
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 6],[0, 1, 0, 0]
  ) : 560180592369028016
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 0, 0, 0]
  ) : 560180592367572464
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 0, 0, 1]
  ) : 560180592366116912
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 6],[0, 1, 0, 1]
  ) : 560180591945685368
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 0, 1, 0]
  ) : 560180589363287600
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 0, 1, 1]
  ) : 560180589361832048
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 5],[0, 1, 1, 1]
  ) : 560179816509576320
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 5],[0, 1, 1, 0]
  ) : 560179816464818096
• generalized_linkage_multipleblocks ( show
  [3, 2, 5, 4],[0, 1, 0, 1]
  ) : 560175181971095384
• generalized_linkage_multipleblocks ( show
  [3, 2, 5, 4],[0, 1, 0, 0]
  ) : 560175181970964512
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 6],[0, 1, 1, 0]
  ) : 560175069695434817
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 1, 0, 0]
  ) : 560175069693979265
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 1, 0, 1]
  ) : 560175069692523713
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 6],[0, 1, 1, 1]
  ) : 560175069272092169
• generalized_linkage ( 5,0 ) : 560175067393437035
• generalized_linkage_multipleblocks ( show
  [5, 9],[0, 0]
  ) : 560175067393437035
• generalized_linkage_multipleblocks ( show
  [5, 6, 3],[0, 0, 0]
  ) : 560175067392345371
• generalized_linkage_multipleblocks ( show
  [5, 6, 3],[0, 0, 1]
  ) : 560175067392342179
• generalized_linkage_multipleblocks ( show
  [5, 3, 6],[0, 0, 0]
  ) : 560175067017173651
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 0, 0, 0]
  ) : 560175067016991707
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 0, 0, 1]
  ) : 560175067016809763
• generalized_linkage_multipleblocks ( show
  [5, 3, 6],[0, 0, 1]
  ) : 560175066964255820
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 1, 1, 0]
  ) : 560175066689694401
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 3, 3],[0, 1, 1, 1, 1]
  ) : 560175066688238849
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 0, 1, 0]
  ) : 560175066641456099
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 0, 1, 1]
  ) : 560175066641274155
• generalized_linkage_multipleblocks ( show
  [5, 6, 3],[0, 1, 0]
  ) : 560174958169013804
• generalized_linkage ( 5,1 ) : 560174958169010612
• generalized_linkage_multipleblocks ( show
  [5, 9],[0, 1]
  ) : 560174958169010612
• generalized_linkage_multipleblocks ( show
  [5, 6, 3],[0, 1, 1]
  ) : 560174958169010612
• improved_linkage ( 5 ) : 560174958169010612
• generalized_linkage_multipleblocks ( show
  [5, 5, 4],[0, 1, 1]
  ) : 560174956555709426
• generalized_linkage_multipleblocks ( show
  [5, 5, 4],[0, 1, 0]
  ) : 560174956555693067
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 5],[0, 1, 0, 1]
  ) : 560174406543607472
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 5],[0, 1, 0, 0]
  ) : 560174406498849248
• generalized_linkage_multipleblocks ( show
  [5, 5, 4],[0, 0, 1]
  ) : 560174390717432072
• generalized_linkage_multipleblocks ( show
  [5, 5, 4],[0, 0, 0]
  ) : 560174390717415713
• generalized_linkage_multipleblocks ( show
  [5, 4, 5],[0, 1, 1]
  ) : 560174374859392546
• generalized_linkage_multipleblocks ( show
  [5, 4, 5],[0, 1, 0]
  ) : 560174374853797768
• generalized_linkage_multipleblocks ( show
  [5, 4, 5],[0, 0, 1]
  ) : 560174293788996083
• generalized_linkage_multipleblocks ( show
  [5, 4, 5],[0, 0, 0]
  ) : 560174293783401305
• generalized_linkage_multipleblocks ( show
  [5, 3, 6],[0, 1, 0]
  ) : 560174291905090395
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 1, 0, 0]
  ) : 560174291904908451
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 1, 0, 1]
  ) : 560174291904726507
• generalized_linkage_multipleblocks ( show
  [5, 3, 6],[0, 1, 1]
  ) : 560174291852172564
• CKMP2019_Cor_42 ( (5, 9) ) : 560174291535795203
• CKMP2019_Lem_41 ( (5, 9) ) : 560174291535795203
• linkage_GLT ( 5 ) : 560174291535795203
• linkage_ST ( 9 ) : 560174291535795203
• CKMP2019_Cor_42 ( (5, 6, 3) ) : 560174291535775995
• CKMP2019_Lem_41 ( (5, 6, 3) ) : 560174291535775995
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 1, 1, 0]
  ) : 560174291529372843
• generalized_linkage_multipleblocks ( show
  [5, 3, 3, 3],[0, 1, 1, 1]
  ) : 560174291529190899
• CKMP2019_Cor_42 ( (5, 3, 6) ) : 560174291522599419
• CKMP2019_Lem_41 ( (5, 3, 6) ) : 560174291522599419
• CKMP2019_Cor_42 ( show
  (5, 3, 3, 3)
  ) : 560174291522599307
• CKMP2019_Lem_41 ( show
  (5, 3, 3, 3)
  ) : 560174291522599307
• CKMP2019_Cor_42 ( (5, 5, 4) ) : 560174279664286001
• CKMP2019_Lem_41 ( (5, 5, 4) ) : 560174279664286001
• CKMP2019_Cor_42 ( (5, 4, 5) ) : 560174277963670049
• CKMP2019_Lem_41 ( (5, 4, 5) ) : 560174277963670049
• construction_D ( 9 ) : 560174277681194456
• generalized_linkage_multipleblocks ( show
  [9, 2, 3],[0, 1, 0]
  ) : 559083113686462534
• generalized_linkage_multipleblocks ( show
  [9, 2, 3],[0, 1, 1]
  ) : 559083113686462135
• generalized_linkage_multipleblocks ( show
  [9, 3, 2],[0, 0, 1]
  ) : 559083113686364037
• generalized_linkage_multipleblocks ( show
  [9, 3, 2],[0, 1, 1]
  ) : 559083113686344829
• generalized_linkage_multipleblocks ( show
  [6, 2, 6],[0, 1, 1]
  ) : 559082352704885674
• generalized_linkage_multipleblocks ( show
  [6, 2, 6],[0, 1, 0]
  ) : 559082352428894239
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 3],[0, 1, 0, 0]
  ) : 559082352428868703
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 3],[0, 1, 0, 1]
  ) : 559082352428843167
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 3],[0, 1, 1, 0]
  ) : 559082352381926752
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 3],[0, 1, 1, 1]
  ) : 559082352381901216
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 3],[0, 0, 1, 0]
  ) : 559082340840795150
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 3],[0, 0, 1, 1]
  ) : 559082340840772407
• generalized_linkage_multipleblocks ( show
  [6, 6, 2],[0, 0, 1]
  ) : 559082340836272485
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 2],[0, 0, 0, 1]
  ) : 559082340835180821
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 2],[0, 0, 1, 1]
  ) : 559082340834085965
• generalized_linkage_multipleblocks ( show
  [6, 6, 2],[0, 1, 1]
  ) : 559082340517837116
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 3],[0, 1, 1, 0]
  ) : 559082338580993158
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 3],[0, 1, 1, 1]
  ) : 559082338580970415
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 2],[0, 1, 0, 1]
  ) : 559082338575378829
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 2],[0, 1, 1, 1]
  ) : 559082338574283973
• generalized_linkage_multipleblocks ( show
  [8, 2, 4],[0, 1, 1]
  ) : 558822788699425566
• generalized_linkage_multipleblocks ( show
  [8, 2, 4],[0, 1, 0]
  ) : 558822788699406414
• generalized_linkage_multipleblocks ( show
  [8, 4, 2],[0, 1, 1]
  ) : 558822788693759206
• generalized_linkage_multipleblocks ( show
  [8, 4, 2],[0, 0, 1]
  ) : 558822788693660765
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 6],[0, 0, 1, 1]
  ) : 558817282835102914
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 6],[0, 0, 1, 0]
  ) : 558817267103591119
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 0, 1, 0, 0]
  ) : 558817267102135567
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 0, 1, 0, 1]
  ) : 558817267100680015
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 0, 1, 1, 0]
  ) : 558817264426444360
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 0, 1, 1, 1]
  ) : 558817264424988808
• generalized_linkage_multipleblocks ( show
  [3, 9, 2],[0, 0, 1]
  ) : 558816735382488661
• generalized_linkage_multipleblocks ( show
  [3, 6, 2, 3],[0, 0, 1, 0]
  ) : 558816735013665430
• generalized_linkage_multipleblocks ( show
  [3, 6, 2, 3],[0, 0, 1, 1]
  ) : 558816735013642687
• generalized_linkage_multipleblocks ( show
  [3, 6, 3, 2],[0, 0, 0, 1]
  ) : 558816735008051101
• generalized_linkage_multipleblocks ( show
  [3, 6, 3, 2],[0, 0, 1, 1]
  ) : 558816735006956245
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 0, 0, 1, 0]
  ) : 558816606581943046
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 0, 0, 1, 1]
  ) : 558816606580646695
• generalized_linkage_multipleblocks ( show
  [3, 3, 6, 2],[0, 0, 0, 1]
  ) : 558816606324151141
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 0, 0, 0, 1]
  ) : 558816606261926293
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 0, 0, 1, 1]
  ) : 558816606199519501
• generalized_linkage_multipleblocks ( show
  [3, 3, 6, 2],[0, 0, 1, 1]
  ) : 558816588173335108
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 0, 1, 1, 0]
  ) : 558816477773229502
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 0, 1, 1, 1]
  ) : 558816477771933151
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 0, 1, 0, 1]
  ) : 558816477453212749
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 0, 1, 1, 1]
  ) : 558816477390805957
• generalized_linkage_multipleblocks ( show
  [3, 6, 2, 3],[0, 1, 1, 0]
  ) : 558779271410937949
• generalized_linkage_multipleblocks ( show
  [3, 6, 2, 3],[0, 1, 1, 1]
  ) : 558779271410915206
• generalized_linkage_multipleblocks ( show
  [3, 6, 3, 2],[0, 1, 0, 1]
  ) : 558779271405323620
• generalized_linkage_multipleblocks ( show
  [3, 6, 3, 2],[0, 1, 1, 1]
  ) : 558779271404228764
• generalized_linkage_multipleblocks ( show
  [3, 9, 2],[0, 1, 1]
  ) : 558779271404225572
• generalized_linkage_multipleblocks ( show
  [3, 5, 2, 4],[0, 1, 1, 1]
  ) : 558778718364904486
• generalized_linkage_multipleblocks ( show
  [3, 5, 2, 4],[0, 1, 1, 0]
  ) : 558778718363812822
• generalized_linkage_multipleblocks ( show
  [3, 5, 4, 2],[0, 1, 1, 1]
  ) : 558778718041921966
• generalized_linkage_multipleblocks ( show
  [3, 5, 4, 2],[0, 1, 0, 1]
  ) : 558778718036310829
• generalized_linkage_multipleblocks ( show
  [3, 5, 2, 4],[0, 0, 1, 1]
  ) : 558584635835772064
• generalized_linkage_multipleblocks ( show
  [3, 5, 2, 4],[0, 0, 1, 0]
  ) : 558584635834680400
• generalized_linkage_multipleblocks ( show
  [3, 5, 4, 2],[0, 0, 1, 1]
  ) : 558584635512789544
• generalized_linkage_multipleblocks ( show
  [3, 5, 4, 2],[0, 0, 0, 1]
  ) : 558584635507178407
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 5],[0, 1, 1, 1]
  ) : 558579210386561946
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 5],[0, 1, 1, 0]
  ) : 558579210012894456
• generalized_linkage_multipleblocks ( show
  [3, 4, 5, 2],[0, 1, 1, 1]
  ) : 558579196205232126
• generalized_linkage_multipleblocks ( show
  [3, 4, 5, 2],[0, 1, 0, 1]
  ) : 558579194286223272
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 6],[0, 1, 1, 1]
  ) : 558551419390546106
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 6],[0, 1, 1, 0]
  ) : 558551403659034311
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 1, 1, 0, 0]
  ) : 558551403657578759
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 1, 1, 0, 1]
  ) : 558551403656123207
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 5],[0, 0, 1, 1]
  ) : 558551403240575137
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 5],[0, 0, 1, 0]
  ) : 558551402866907647
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 1, 1, 1, 0]
  ) : 558551400981887552
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 3, 3],[0, 1, 1, 1, 1]
  ) : 558551400980432000
• generalized_linkage_multipleblocks ( show
  [3, 4, 5, 2],[0, 0, 1, 1]
  ) : 558551389059245317
• generalized_linkage_multipleblocks ( show
  [3, 4, 5, 2],[0, 0, 0, 1]
  ) : 558551387140236463
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 1, 0, 1, 0]
  ) : 558550743137386238
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 1, 0, 1, 1]
  ) : 558550743136089887
• generalized_linkage_multipleblocks ( show
  [3, 3, 6, 2],[0, 1, 0, 1]
  ) : 558550742879594333
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 1, 0, 0, 1]
  ) : 558550742817369485
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 1, 0, 1, 1]
  ) : 558550742754962693
• generalized_linkage_multipleblocks ( show
  [3, 3, 6, 2],[0, 1, 1, 1]
  ) : 558550724728778300
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 1, 1, 1, 0]
  ) : 558550614328672694
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 2, 3],[0, 1, 1, 1, 1]
  ) : 558550614327376343
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 1, 1, 0, 1]
  ) : 558550614008655941
• generalized_linkage_multipleblocks ( show
  [3, 3, 3, 3, 2],[0, 1, 1, 1, 1]
  ) : 558550613946249149
• graham_sloane ( ) : 81692776532238950
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 7],[0, 1, 1, 1]
  ) : 80063684399327945
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 7],[0, 1, 1, 0]
  ) : 80063576626969649
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 3, 4],[0, 1, 1, 0, 1]
  ) : 80063576558000561
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 3, 4],[0, 1, 1, 0, 0]
  ) : 80063576556953585
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 4, 3],[0, 1, 1, 1, 0]
  ) : 80063573981852273
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 4, 3],[0, 1, 1, 1, 1]
  ) : 80063573981647985
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 3, 4],[0, 1, 1, 1, 1]
  ) : 80063558156755769
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 3, 4],[0, 1, 1, 1, 0]
  ) : 80063558155708793
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 4, 3],[0, 1, 1, 0, 0]
  ) : 80063555956143089
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 4, 3],[0, 1, 1, 0, 1]
  ) : 80063555955938801
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 3],[0, 1, 1, 0]
  ) : 80058711123294499
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 3],[0, 1, 1, 1]
  ) : 80058711123291307
• generalized_linkage_multipleblocks ( show
  [7, 2, 3, 2],[0, 1, 0, 1]
  ) : 80058711116741722
• generalized_linkage_multipleblocks ( show
  [7, 2, 3, 2],[0, 1, 1, 1]
  ) : 80058711116604865
• linkage_ST ( 13 ) : 80058711083096502
• generalized_linkage_multipleblocks ( show
  [7, 3, 2, 2],[0, 0, 1, 1]
  ) : 80058711082960044
• generalized_linkage_multipleblocks ( show
  [10, 2, 2],[0, 1, 1]
  ) : 80058711082937644
• generalized_linkage_multipleblocks ( show
  [7, 3, 2, 2],[0, 1, 1, 1]
  ) : 80058711076371700
• generalized_linkage_multipleblocks ( show
  [3, 2, 7, 2],[0, 1, 1, 1]
  ) : 80030422223310413
• generalized_linkage_multipleblocks ( show
  [3, 2, 7, 2],[0, 1, 0, 1]
  ) : 80025801483448472
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 2, 4],[0, 1, 0, 1, 1]
  ) : 80025801110284520
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 2, 4],[0, 1, 0, 1, 0]
  ) : 80025801101551208
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 4, 2],[0, 1, 0, 1, 1]
  ) : 80025798526424360
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 4, 2],[0, 1, 0, 0, 1]
  ) : 80025798481535264
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 2, 3],[0, 1, 1, 1, 0]
  ) : 80025688118981144
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 2, 3],[0, 1, 1, 1, 1]
  ) : 80025688118799200
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 3, 2],[0, 1, 1, 0, 1]
  ) : 80025688074066512
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 3, 2],[0, 1, 1, 1, 1]
  ) : 80025688065307664
• generalized_linkage_multipleblocks ( show
  [5, 2, 7],[0, 1, 1]
  ) : 80025591143744100
• generalized_linkage_multipleblocks ( show
  [5, 2, 7],[0, 1, 0]
  ) : 80025577672199313
• generalized_linkage_multipleblocks ( show
  [5, 2, 3, 4],[0, 1, 0, 1]
  ) : 80025577663578177
• generalized_linkage_multipleblocks ( show
  [5, 2, 3, 4],[0, 1, 0, 0]
  ) : 80025577663447305
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 3],[0, 1, 1, 0]
  ) : 80025577341559641
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 3],[0, 1, 1, 1]
  ) : 80025577341534105
• generalized_linkage_multipleblocks ( show
  [5, 2, 3, 4],[0, 1, 1, 1]
  ) : 80025575363422578
• generalized_linkage_multipleblocks ( show
  [5, 2, 3, 4],[0, 1, 1, 0]
  ) : 80025575363291706
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 3],[0, 1, 0, 0]
  ) : 80025575088345993
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 3],[0, 1, 0, 1]
  ) : 80025575088320457
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 2, 4],[0, 1, 1, 1, 1]
  ) : 80025012156914063
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 2, 4],[0, 1, 1, 1, 0]
  ) : 80025012148180751
• generalized_linkage_multipleblocks ( show
  [5, 7, 2],[0, 0, 1]
  ) : 80025009895580366
• generalized_linkage_multipleblocks ( show
  [5, 3, 2, 4],[0, 0, 1, 1]
  ) : 80025009848934872
• generalized_linkage_multipleblocks ( show
  [5, 3, 2, 4],[0, 0, 1, 0]
  ) : 80025009847843208
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 4, 2],[0, 1, 1, 1, 1]
  ) : 80025009573053903
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 4, 2],[0, 1, 1, 0, 1]
  ) : 80025009528164807
• generalized_linkage_multipleblocks ( show
  [5, 3, 4, 2],[0, 0, 1, 1]
  ) : 80025009525952352
• generalized_linkage_multipleblocks ( show
  [5, 3, 4, 2],[0, 0, 0, 1]
  ) : 80025009520341215
• generalized_linkage_multipleblocks ( show
  [5, 7, 2],[0, 1, 1]
  ) : 80024993748646822
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 2, 3],[0, 1, 0, 1, 0]
  ) : 80024915266699880
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 2, 3],[0, 1, 0, 1, 1]
  ) : 80024915266517936
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 3, 2],[0, 1, 0, 0, 1]
  ) : 80024915221785248
• generalized_linkage_multipleblocks ( show
  [3, 2, 4, 3, 2],[0, 1, 0, 1, 1]
  ) : 80024915213026400
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 3],[0, 1, 1, 0]
  ) : 80024910699972001
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 3],[0, 1, 1, 1]
  ) : 80024910699949258
• generalized_linkage_multipleblocks ( show
  [5, 4, 3, 2],[0, 1, 0, 1]
  ) : 80024910694357672
• generalized_linkage_multipleblocks ( show
  [5, 4, 3, 2],[0, 1, 1, 1]
  ) : 80024910693262816
• generalized_linkage_multipleblocks ( show
  [5, 3, 2, 4],[0, 1, 1, 1]
  ) : 80024899118637264
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 3],[0, 0, 1, 0]
  ) : 80024899118486792
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 3],[0, 0, 1, 1]
  ) : 80024899118464049
• generalized_linkage_multipleblocks ( show
  [5, 3, 2, 4],[0, 1, 1, 0]
  ) : 80024899117545600
• generalized_linkage_multipleblocks ( show
  [5, 4, 3, 2],[0, 0, 0, 1]
  ) : 80024899112872463
• generalized_linkage_multipleblocks ( show
  [5, 4, 3, 2],[0, 0, 1, 1]
  ) : 80024899111777607
• generalized_linkage_multipleblocks ( show
  [5, 3, 4, 2],[0, 1, 1, 1]
  ) : 80024898795654744
• generalized_linkage_multipleblocks ( show
  [5, 3, 4, 2],[0, 1, 0, 1]
  ) : 80024898790043607
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 4],[0, 1, 1, 1]
  ) : 79868907810921202
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 4],[0, 1, 1, 0]
  ) : 79868907810767986
• generalized_linkage_multipleblocks ( show
  [6, 2, 4, 2],[0, 1, 1, 1]
  ) : 79868907488896681
• generalized_linkage_multipleblocks ( show
  [6, 2, 4, 2],[0, 1, 0, 1]
  ) : 79868907482327545
• generalized_linkage_multipleblocks ( show
  [6, 4, 2, 2],[0, 1, 1, 1]
  ) : 79868905545337994
• generalized_linkage_multipleblocks ( show
  [6, 4, 2, 2],[0, 0, 1, 1]
  ) : 79868905511572731
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 2, 4],[0, 0, 1, 1, 1]
  ) : 79831056459168442
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 2, 4],[0, 0, 1, 1, 0]
  ) : 79831056450435130
• generalized_linkage_multipleblocks ( show
  [3, 7, 2, 2],[0, 0, 1, 1]
  ) : 79831054103152444
• generalized_linkage ( 4,0 ) : 79831054103132893
• generalized_linkage_multipleblocks ( show
  [4, 10],[0, 0]
  ) : 79831054103132893
• generalized_linkage_multipleblocks ( show
  [4, 7, 3],[0, 0, 0]
  ) : 79831054103132893
• generalized_linkage_multipleblocks ( show
  [4, 7, 3],[0, 0, 1]
  ) : 79831054103129701
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 4, 2],[0, 0, 1, 1, 1]
  ) : 79831038103770745
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 4, 2],[0, 0, 1, 0, 1]
  ) : 79831037729329993
• generalized_linkage_multipleblocks ( show
  [4, 6, 4],[0, 0, 1]
  ) : 79830962143867243
• generalized_linkage_multipleblocks ( show
  [4, 6, 4],[0, 0, 0]
  ) : 79830962143850884
• generalized_linkage_multipleblocks ( show
  [4, 3, 7],[0, 0, 0]
  ) : 79830943805146093
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 0, 0, 1]
  ) : 79830943743720499
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 0, 0, 0]
  ) : 79830943742788036
• generalized_linkage_multipleblocks ( show
  [4, 3, 7],[0, 0, 1]
  ) : 79830941121836437
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 2, 2],[0, 0, 1, 1, 1]
  ) : 79830927320925586
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 0, 1, 0]
  ) : 79830927319811179
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 0, 1, 1]
  ) : 79830927319629235
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 2, 2],[0, 0, 0, 1, 1]
  ) : 79830925396305595
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 0, 0, 0]
  ) : 79830925395191188
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 0, 0, 1]
  ) : 79830925395009244
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 0, 1, 1]
  ) : 79830925342475707
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 0, 1, 0]
  ) : 79830925341543244
• generalized_linkage_multipleblocks ( show
  [4, 6, 4],[0, 1, 1]
  ) : 79825610200620460
• generalized_linkage_multipleblocks ( show
  [4, 6, 4],[0, 1, 0]
  ) : 79825610200604101
• generalized_linkage ( 4,1 ) : 79825610200603702
• generalized_linkage_multipleblocks ( show
  [4, 10],[0, 1]
  ) : 79825610200603702
• improved_linkage ( 4 ) : 79825610200603702
• generalized_linkage_multipleblocks ( show
  [4, 5, 5],[0, 1, 1]
  ) : 79825531154597173
• generalized_linkage_multipleblocks ( show
  [4, 5, 5],[0, 1, 0]
  ) : 79825531149002395
• generalized_linkage_multipleblocks ( show
  [3, 7, 2, 2],[0, 1, 1, 1]
  ) : 79825515704946852
• generalized_linkage_multipleblocks ( show
  [4, 7, 3],[0, 1, 0]
  ) : 79825515704927301
• generalized_linkage_multipleblocks ( show
  [4, 7, 3],[0, 1, 1]
  ) : 79825515704924109
• generalized_linkage_multipleblocks ( show
  [4, 5, 5],[0, 0, 1]
  ) : 79797805079006827
• generalized_linkage_multipleblocks ( show
  [4, 5, 5],[0, 0, 0]
  ) : 79797805073412049
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 2, 3],[0, 1, 1, 1, 0]
  ) : 79797030383014281
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 2, 3],[0, 1, 1, 1, 1]
  ) : 79797030382832337
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 3, 2],[0, 1, 1, 0, 1]
  ) : 79797030009505992
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 3, 2],[0, 1, 1, 1, 1]
  ) : 79797030001705143
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 2, 2],[0, 1, 0, 1, 1]
  ) : 79797028083950346
• generalized_linkage_multipleblocks ( show
  [4, 4, 6],[0, 1, 0]
  ) : 79797028083017883
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 1, 0, 0]
  ) : 79797028082835939
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 1, 0, 1]
  ) : 79797028082653995
• generalized_linkage_multipleblocks ( show
  [4, 4, 6],[0, 1, 1]
  ) : 79797028030100052
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 2, 2],[0, 1, 1, 1, 1]
  ) : 79797027708414738
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 1, 1, 0]
  ) : 79797027707300331
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 1, 1, 1]
  ) : 79797027707118387
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 2, 4],[0, 1, 1, 1, 1]
  ) : 79793075967088898
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 2, 4],[0, 1, 1, 1, 0]
  ) : 79793075958355586
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 2, 3],[0, 0, 1, 1, 0]
  ) : 79793057933587594
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 2, 3],[0, 0, 1, 1, 1]
  ) : 79793057933405650
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 4, 2],[0, 1, 1, 1, 1]
  ) : 79793057611691201
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 3, 2],[0, 0, 1, 0, 1]
  ) : 79793057560079305
• generalized_linkage_multipleblocks ( show
  [3, 4, 2, 3, 2],[0, 0, 1, 1, 1]
  ) : 79793057552278456
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 4, 2],[0, 1, 1, 0, 1]
  ) : 79793057237250449
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 2, 2],[0, 0, 0, 1, 1]
  ) : 79793055634523659
• generalized_linkage_multipleblocks ( show
  [4, 4, 6],[0, 0, 0]
  ) : 79793055633591196
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 0, 0, 0]
  ) : 79793055633409252
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 0, 0, 1]
  ) : 79793055633227308
• generalized_linkage_multipleblocks ( show
  [4, 4, 6],[0, 0, 1]
  ) : 79793055580673365
• generalized_linkage_multipleblocks ( show
  [3, 4, 3, 2, 2],[0, 0, 1, 1, 1]
  ) : 79793055258988051
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 0, 1, 0]
  ) : 79793055257873644
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3],[0, 0, 1, 1]
  ) : 79793055257691700
• generalized_linkage_multipleblocks ( show
  [4, 3, 7],[0, 1, 0]
  ) : 79792963313066549
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 1, 0, 1]
  ) : 79792963251640955
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 1, 0, 0]
  ) : 79792963250708492
• generalized_linkage_multipleblocks ( show
  [4, 3, 7],[0, 1, 1]
  ) : 79792960629756893
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 2, 2],[0, 1, 1, 1, 1]
  ) : 79792946828846042
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 1, 1, 0]
  ) : 79792946827731635
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 1, 1, 1]
  ) : 79792946827549691
• CKMP2019_Cor_42 ( (4, 10) ) : 79792946785428157
• CKMP2019_Lem_41 ( (4, 10) ) : 79792946785428157
• linkage_GLT ( 4 ) : 79792946785428157
• linkage_ST ( 10 ) : 79792946785428157
• CKMP2019_Cor_42 ( (4, 7, 3) ) : 79792946785428101
• CKMP2019_Lem_41 ( (4, 7, 3) ) : 79792946785428101
• CKMP2019_Cor_42 ( (4, 6, 4) ) : 79792945172107364
• CKMP2019_Lem_41 ( (4, 6, 4) ) : 79792945172107364
• generalized_linkage_multipleblocks ( show
  [3, 3, 4, 2, 2],[0, 1, 0, 1, 1]
  ) : 79792944904226051
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 1, 0, 0]
  ) : 79792944903111644
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3],[0, 1, 0, 1]
  ) : 79792944902929700
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 1, 1, 1]
  ) : 79792944850396163
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4],[0, 1, 1, 0]
  ) : 79792944849463700
• CKMP2019_Cor_42 ( (4, 3, 7) ) : 79792944526468901
• CKMP2019_Lem_41 ( (4, 3, 7) ) : 79792944526468901
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 4)
  ) : 79792944526449652
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 4)
  ) : 79792944526449652
• CKMP2019_Cor_42 ( show
  (4, 3, 4, 3)
  ) : 79792944520802500
• CKMP2019_Lem_41 ( show
  (4, 3, 4, 3)
  ) : 79792944520802500
• CKMP2019_Cor_42 ( (4, 5, 5) ) : 79792363469098001
• CKMP2019_Lem_41 ( (4, 5, 5) ) : 79792363469098001
• CKMP2019_Cor_42 ( (4, 4, 6) ) : 79792280139016964
• CKMP2019_Lem_41 ( (4, 4, 6) ) : 79792280139016964
• CKMP2019_Cor_42 ( show
  (4, 4, 3, 3)
  ) : 79792280139016852
• CKMP2019_Lem_41 ( show
  (4, 4, 3, 3)
  ) : 79792280139016852
• construction_D ( 10 ) : 79792266297612001
• sphere_covering ( ) : 70227123720487494
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 2, 5],[0, 1, 1, 1, 1]
  ) : 11437780027845263
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 2, 5],[0, 1, 1, 1, 0]
  ) : 11437779608288783
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 5, 2],[0, 1, 1, 1, 1]
  ) : 11437669208458487
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 5, 2],[0, 1, 1, 0, 1]
  ) : 11437651219974407
• generalized_linkage_multipleblocks ( show
  [4, 2, 8],[0, 1, 1]
  ) : 11432917828185323
• generalized_linkage_multipleblocks ( show
  [3, 2, 5, 2, 2],[0, 1, 1, 1, 1]
  ) : 11432917827272810
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 3],[0, 1, 1, 0]
  ) : 11432917827116402
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 3],[0, 1, 1, 1]
  ) : 11432917827090866
• generalized_linkage_multipleblocks ( show
  [4, 2, 8],[0, 1, 0]
  ) : 11432256988519088
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 5],[0, 1, 0, 1]
  ) : 11432256978355760
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 5],[0, 1, 0, 0]
  ) : 11432256933597536
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 5],[0, 1, 1, 1]
  ) : 11432241159741816
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 4],[0, 1, 1, 1]
  ) : 11432241152317616
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 4],[0, 1, 1, 0]
  ) : 11432241152186744
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 5],[0, 1, 1, 0]
  ) : 11432241107297256
• generalized_linkage_multipleblocks ( show
  [5, 2, 5, 2],[0, 1, 1, 1]
  ) : 11432227307318469
• generalized_linkage_multipleblocks ( show
  [5, 2, 5, 2],[0, 1, 0, 1]
  ) : 11432225058757959
• generalized_linkage_multipleblocks ( show
  [3, 2, 5, 2, 2],[0, 1, 0, 1, 1]
  ) : 11432146571017880
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 3],[0, 1, 0, 0]
  ) : 11432146570861472
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 3],[0, 1, 0, 1]
  ) : 11432146570835936
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 5],[0, 1, 1, 1]
  ) : 11432144270731409
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 5],[0, 1, 1, 0]
  ) : 11432144225973185
• generalized_linkage_multipleblocks ( show
  [5, 5, 2, 2],[0, 1, 1, 1]
  ) : 11432141970547082
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 4],[0, 1, 0, 1]
  ) : 11432130744848864
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 4],[0, 1, 0, 0]
  ) : 11432130744717992
• generalized_linkage_multipleblocks ( show
  [5, 5, 2, 2],[0, 0, 1, 1]
  ) : 11432130422827136
• generalized_linkage_multipleblocks ( show
  [8, 2, 2, 2],[0, 1, 1, 1]
  ) : 11404546708171149
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 5],[0, 0, 1, 1]
  ) : 11404434342664273
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 5],[0, 0, 1, 0]
  ) : 11404433968996783
• generalized_linkage_multipleblocks ( show
  [4, 8, 2],[0, 0, 1]
  ) : 11404420597083949
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 2],[0, 0, 1, 1]
  ) : 11404420161334453
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 2],[0, 0, 0, 1]
  ) : 11404418242325599
• generalized_linkage_multipleblocks ( show
  [3, 5, 2, 2, 2],[0, 1, 1, 1, 1]
  ) : 11403647314687069
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 3],[0, 1, 1, 0]
  ) : 11403647313572662
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 3],[0, 1, 1, 1]
  ) : 11403647313549919
• generalized_linkage_multipleblocks ( show
  [4, 8, 2],[0, 1, 1]
  ) : 11403647313429421
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 2],[0, 1, 0, 1]
  ) : 11403647307958333
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 2],[0, 1, 1, 1]
  ) : 11403647306863477
• generalized_linkage_multipleblocks ( show
  [3, 5, 2, 2, 2],[0, 0, 1, 1, 1]
  ) : 11399686446745591
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 3],[0, 0, 1, 0]
  ) : 11399686445631184
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 3],[0, 0, 1, 1]
  ) : 11399686445608441
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 2],[0, 0, 0, 1]
  ) : 11399686440016855
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 2],[0, 0, 1, 1]
  ) : 11399686438921999
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 4],[0, 1, 1, 1]
  ) : 11399575715484048
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 4],[0, 1, 1, 0]
  ) : 11399575714392384
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 2],[0, 1, 1, 1]
  ) : 11399575392501528
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 2],[0, 1, 0, 1]
  ) : 11399575386890391
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 5],[0, 1, 1, 1]
  ) : 11399008558081481
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 4],[0, 0, 1, 1]
  ) : 11399008222708807
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 4],[0, 0, 1, 0]
  ) : 11399008221617143
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 5],[0, 1, 1, 0]
  ) : 11399008184413991
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 2],[0, 0, 1, 1]
  ) : 11399007899726287
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 2],[0, 0, 0, 1]
  ) : 11399007894115150
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 2],[0, 1, 1, 1]
  ) : 11398994376751661
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 2],[0, 1, 0, 1]
  ) : 11398992457742807
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 0]
  ) : 1633968943452665
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 1]
  ) : 1633968943248377
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 0, 1]
  ) : 1633968524074937
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 1, 1]
  ) : 1633968515316089
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 6],[0, 1, 1, 1]
  ) : 1633952750318105
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 3, 2, 2],[0, 1, 1, 0, 1, 1]
  ) : 1633950543433601
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 6],[0, 1, 1, 0]
  ) : 1633950542386625
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 3],[0, 1, 1, 0, 0]
  ) : 1633950542182337
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 3],[0, 1, 1, 0, 1]
  ) : 1633950541978049
• generalized_linkage_multipleblocks ( show
  [3, 2, 2, 3, 2, 2],[0, 1, 1, 1, 1, 1]
  ) : 1633950167897993
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 3],[0, 1, 1, 1, 0]
  ) : 1633950166646729
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 3],[0, 1, 1, 1, 1]
  ) : 1633950166442441
• linkage_ST ( 12 ) : 1633851246593749
• generalized_linkage_multipleblocks ( show
  [4, 2, 6, 2],[0, 1, 1, 1]
  ) : 1633274243401949
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 2, 2, 2],[0, 1, 0, 1, 1, 1]
  ) : 1633179623436320
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 3],[0, 1, 0, 1, 0]
  ) : 1633179614521064
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 3],[0, 1, 0, 1, 1]
  ) : 1633179614339120
• generalized_linkage_multipleblocks ( show
  [4, 2, 6, 2],[0, 1, 0, 1]
  ) : 1633179578339744
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 2],[0, 1, 0, 0, 1]
  ) : 1633179569606432
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 2],[0, 1, 0, 1, 1]
  ) : 1633179560847584
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 2, 3],[0, 1, 1, 1, 0]
  ) : 1633177354540320
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 2, 3],[0, 1, 1, 1, 1]
  ) : 1633177354514784
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 3, 2],[0, 1, 1, 0, 1]
  ) : 1633177302118104
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 3, 2],[0, 1, 1, 1, 1]
  ) : 1633177301023248
• generalized_linkage_multipleblocks ( show
  [5, 2, 3, 2, 2],[0, 1, 0, 1, 1]
  ) : 1633175054537937
• generalized_linkage_multipleblocks ( show
  [5, 2, 3, 2, 2],[0, 1, 1, 1, 1]
  ) : 1633175007595986
• generalized_linkage_multipleblocks ( show
  [3, 2, 3, 2, 2, 2],[0, 1, 1, 1, 1, 1]
  ) : 1633163522347127
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 3],[0, 1, 1, 1, 0]
  ) : 1633163513431871
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 3],[0, 1, 1, 1, 1]
  ) : 1633163513249927
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 2],[0, 1, 1, 0, 1]
  ) : 1633163468517239
• generalized_linkage_multipleblocks ( show
  [5, 3, 2, 2, 2],[0, 0, 1, 1, 1]
  ) : 1633163467422383
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 2],[0, 1, 1, 1, 1]
  ) : 1633163459758391
• generalized_linkage_multipleblocks ( show
  [5, 3, 2, 2, 2],[0, 1, 1, 1, 1]
  ) : 1633161207620391
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 2, 2],[0, 1, 1, 1, 1]
  ) : 1629977710583818
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 2, 2, 2],[0, 0, 1, 1, 1, 1]
  ) : 1629205242801298
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 3],[0, 0, 1, 1, 0]
  ) : 1629205233886042
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 3],[0, 0, 1, 1, 1]
  ) : 1629205233704098
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 2],[0, 0, 1, 0, 1]
  ) : 1629204860377753
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 2],[0, 0, 1, 1, 1]
  ) : 1629204852576904
• generalized_linkage_multipleblocks ( show
  [4, 6, 2, 2],[0, 0, 1, 1]
  ) : 1629203309080915
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 2],[0, 0, 0, 1, 1]
  ) : 1629202934822107
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 2],[0, 0, 1, 1, 1]
  ) : 1629202559286499
• generalized_linkage_multipleblocks ( show
  [4, 6, 2, 2],[0, 1, 1, 1]
  ) : 1629094085749348
• generalized_linkage_multipleblocks ( show
  [3, 3, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]
  ) : 1628430130718042
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 3],[0, 1, 1, 1, 0]
  ) : 1628430121802786
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 3],[0, 1, 1, 1, 1]
  ) : 1628430121620842
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 2],[0, 1, 1, 0, 1]
  ) : 1628429748294497
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 2],[0, 1, 1, 1, 1]
  ) : 1628429740493648
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 2],[0, 1, 0, 1, 1]
  ) : 1628427822738851
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 2],[0, 1, 1, 1, 1]
  ) : 1628427447203243
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 4],[0, 1, 1, 1, 1]
  ) : 233424074688575
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 4],[0, 1, 1, 1, 0]
  ) : 233424073462847
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 4, 2],[0, 1, 1, 1, 1]
  ) : 233421498492407
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 4, 2],[0, 1, 1, 0, 1]
  ) : 233421445939319
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 2, 2],[0, 1, 1, 1, 1]
  ) : 233311044104048
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 2, 2],[0, 1, 0, 1, 1]
  ) : 233308790890400
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 2, 2],[0, 1, 1, 1, 1]
  ) : 232644403474407
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 2, 2],[0, 0, 1, 1, 1]
  ) : 232632821989198
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]
  ) : 4763757881135
• HKK_lemma_2_4_lower_bound ( ) : 98907531457
• construction_D ( 12 ) : 0
• construction_D ( 13 ) : 0
• construction_D ( 14 ) : 0
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 4002946038216470794
• Ahlswede_Aydinian ( 0, 13, o ) : 4002946038216470799
• ilp_1 ( 1 ) : 4002946038216470799
• johnson_1 ( ) : 4002946038216470799
• Ahlswede_Aydinian ( 1, 2 ) : 4002946050363009750
• Ahlswede_Aydinian ( 0, 12, o ) : 4002946050363009750
• anticode ( ) : 4002946050363009750
• ilp_2 ( 2 ) : 4002946050363009750
• linear_programming_bound ( ) : 4002946050363009750
• Ahlswede_Aydinian ( 1, 3 ) : 4002946052067787147
• Ahlswede_Aydinian ( 1, 4 ) : 4002946064001228970
• Ahlswede_Aydinian ( 1, 5 ) : 4002946147535323721
• Ahlswede_Aydinian ( 1, 6 ) : 4002946732274084602
• Ahlswede_Aydinian ( 1, 7 ) : 4002950825450194117
• Ahlswede_Aydinian ( 1, 8 ) : 4002979477917347008
• Ahlswede_Aydinian ( 1, 9 ) : 4003180056673014387
• Ahlswede_Aydinian ( 1, 10 ) : 4004584670986656454
• Ahlswede_Aydinian ( 1, 11 ) : 4014444638373555856
• Ahlswede_Aydinian ( 1, 12 ) : 4084847759543515636
• Ahlswede_Aydinian ( 1, 13 ) : 4656488262337620150
• singleton ( ) : 4656488262337620150
• Ahlswede_Aydinian ( 0, 13 ) : 28020622364687607207
• ilp_4 ( 13 ) : 28020622364687607207
• johnson_2 ( ) : 28020622364687607207
• Ahlswede_Aydinian ( 0, 12 ) : 196144327984153524800
• ilp_4 ( 12 ) : 196144327984153524800
• Ahlswede_Aydinian ( 0, 11 ) : 1373010529199553644750
• ilp_4 ( 11 ) : 1373010529199553644750
• Ahlswede_Aydinian ( 0, 10 ) : 9611005110949962529587
• ilp_4 ( 10 ) : 9611005110949962529587
• Ahlswede_Aydinian ( 0, 9 ) : 67277595956466193838800
• ilp_4 ( 9 ) : 67277595956466193838800
• Ahlswede_Aydinian ( 0, 8 ) : 470778469058646852607293
• ilp_4 ( 8 ) : 470778469058646852607293
• Ahlswede_Aydinian ( 0, 7 ) : 3296794354943477460811200
• ilp_4 ( 7 ) : 3296794354943477460811200
• HKK_lemma_2_4_upper_bound ( ) : 3297971781498814417047204
• Ahlswede_Aydinian ( 0, 5 ) : 22681945162011124930381056
• Ahlswede_Aydinian ( 0, 6 ) : 22681945162011124930381056
• ilp_4 ( 5 ) : 22681945162011124930381056
• ilp_4 ( 6 ) : 22681945162011124930381056
• Ahlswede_Aydinian ( 0, 4 ) : 23085802470491700919330429
• Ahlswede_Aydinian ( 1, 10, o ) : 23085802470491700919330429
• ilp_3 ( 4 ) : 23085802470491700919330429
• Ahlswede_Aydinian ( 1, 11, o ) : 23143661624377075799528030
• Ahlswede_Aydinian ( 1, 12, o ) : 23556941294961303397330488
• Ahlswede_Aydinian ( 1, 13, o ) : 26922218610904350161500150
• Ahlswede_Aydinian ( 0, 3 ) : 9234320988196680367732171600
• Ahlswede_Aydinian ( 0, 11, o ) : 9234320988196680367732171600
• all_subs ( ) : 9234320988196680367732171600
• sphere_packing ( ) : 9234320988196680367732171600

Bound for codes containing the lifted MRD code

Do you have better bounds?