Toggle navigation
SC
CDC
Table
Constraints
Toplist
MDC
Table
Constraints
Toplist
arbitrary q
Literature
Codes
News
Contributors
About
Contribute
Details for entry \(A_3(19,4;3)\)
Go to
API
dominance
short
all
Lower bounds
EF_Kurz2020_linkage_special
( ) : 1970799185926408
generalized_linkage
( 15,1 ) : 1970799185926306
generalized_linkage_multipleblocks
(
show
[15, 4],[0, 1]
) : 1970799185926306
improved_linkage
( 15 ) : 1970799185926306
generalized_linkage
( 15,0 ) : 1970799185926291
generalized_linkage
( 16,0 ) : 1970799185926291
generalized_linkage_multipleblocks
(
show
[15, 4],[0, 0]
) : 1970799185926291
generalized_linkage_multipleblocks
(
show
[16, 3],[0, 0]
) : 1970799185926291
CKMP2019_Cor_42
( (15, 4) ) : 1970799185926279
CKMP2019_Cor_42
( (16, 3) ) : 1970799185926279
CKMP2019_Lem_41
( (15, 4) ) : 1970799185926279
CKMP2019_Lem_41
( (16, 3) ) : 1970799185926279
generalized_linkage
( 16,1 ) : 1970799185926279
generalized_linkage_multipleblocks
(
show
[16, 3],[0, 1]
) : 1970799185926279
improved_linkage
( 16 ) : 1970799185926279
linkage_GLT
( 15 ) : 1970799185926279
linkage_GLT
( 16 ) : 1970799185926279
linkage_ST
( 3 ) : 1970799185926279
linkage_ST
( 4 ) : 1970799185926279
construction_D
( 3 ) : 1970799185926278
construction_D
( 4 ) : 1970799185926278
generalized_linkage
( 14,1 ) : 1970799178755859
generalized_linkage_multipleblocks
(
show
[14, 5],[0, 1]
) : 1970799178755859
improved_linkage
( 14 ) : 1970799178755859
generalized_linkage
( 14,0 ) : 1970799178755469
generalized_linkage_multipleblocks
(
show
[14, 5],[0, 0]
) : 1970799178755469
CKMP2019_Cor_42
( (14, 5) ) : 1970799178755133
CKMP2019_Lem_41
( (14, 5) ) : 1970799178755133
linkage_GLT
( 14 ) : 1970799178755133
linkage_ST
( 5 ) : 1970799178755133
construction_D
( 5 ) : 1970799178755105
generalized_linkage
( 13,0 ) : 1970799157271071
generalized_linkage_multipleblocks
(
show
[13, 6],[0, 0]
) : 1970799157271071
generalized_linkage_multipleblocks
(
show
[13, 3, 3],[0, 0, 0]
) : 1970799157270915
generalized_linkage_multipleblocks
(
show
[13, 3, 3],[0, 0, 1]
) : 1970799157270759
generalized_linkage
( 13,1 ) : 1970799157268247
generalized_linkage_multipleblocks
(
show
[13, 6],[0, 1]
) : 1970799157268247
improved_linkage
( 13 ) : 1970799157268247
generalized_linkage_multipleblocks
(
show
[13, 3, 3],[0, 1, 0]
) : 1970799157262167
CKMP2019_Cor_42
( (13, 6) ) : 1970799157262023
CKMP2019_Lem_41
( (13, 6) ) : 1970799157262023
linkage_GLT
( 13 ) : 1970799157262023
linkage_ST
( 6 ) : 1970799157262023
generalized_linkage_multipleblocks
(
show
[13, 3, 3],[0, 1, 1]
) : 1970799157262011
CKMP2019_Cor_42
( (13, 3, 3) ) : 1970799157261999
CKMP2019_Lem_41
( (13, 3, 3) ) : 1970799157261999
construction_D
( 6 ) : 1970799157261269
generalized_linkage
( 12,0 ) : 1970799093047622
generalized_linkage_multipleblocks
(
show
[12, 7],[0, 0]
) : 1970799093047622
generalized_linkage_multipleblocks
(
show
[12, 3, 4],[0, 0, 1]
) : 1970799093042565
generalized_linkage_multipleblocks
(
show
[12, 3, 4],[0, 0, 0]
) : 1970799093042370
generalized_linkage
( 12,1 ) : 1970799093017167
generalized_linkage_multipleblocks
(
show
[12, 7],[0, 1]
) : 1970799093017167
improved_linkage
( 12 ) : 1970799093017167
generalized_linkage_multipleblocks
(
show
[12, 4, 3],[0, 1, 0]
) : 1970799092977489
generalized_linkage_multipleblocks
(
show
[12, 4, 3],[0, 1, 1]
) : 1970799092977333
generalized_linkage_multipleblocks
(
show
[12, 4, 3],[0, 0, 0]
) : 1970799092966554
generalized_linkage_multipleblocks
(
show
[12, 4, 3],[0, 0, 1]
) : 1970799092966398
CKMP2019_Cor_42
( (12, 7) ) : 1970799092963886
CKMP2019_Lem_41
( (12, 7) ) : 1970799092963886
linkage_GLT
( 12 ) : 1970799092963886
linkage_ST
( 7 ) : 1970799092963886
generalized_linkage_multipleblocks
(
show
[12, 3, 4],[0, 1, 1]
) : 1970799092963833
generalized_linkage_multipleblocks
(
show
[12, 3, 4],[0, 1, 0]
) : 1970799092963638
CKMP2019_Cor_42
( (12, 3, 4) ) : 1970799092963470
CKMP2019_Lem_41
( (12, 3, 4) ) : 1970799092963470
CKMP2019_Cor_42
( (12, 4, 3) ) : 1970799092957638
CKMP2019_Lem_41
( (12, 4, 3) ) : 1970799092957638
construction_D
( 7 ) : 1970799092956908
generalized_linkage
( 11,0 ) : 1970798902421515
generalized_linkage_multipleblocks
(
show
[11, 8],[0, 0]
) : 1970798902421515
generalized_linkage_multipleblocks
(
show
[11, 3, 5],[0, 0, 1]
) : 1970798902415587
generalized_linkage_multipleblocks
(
show
[11, 3, 5],[0, 0, 0]
) : 1970798902410517
generalized_linkage
( 11,1 ) : 1970798902188139
generalized_linkage_multipleblocks
(
show
[11, 8],[0, 1]
) : 1970798902188139
improved_linkage
( 11 ) : 1970798902188139
generalized_linkage_multipleblocks
(
show
[11, 5, 3],[0, 1, 0]
) : 1970798902187983
generalized_linkage_multipleblocks
(
show
[11, 5, 3],[0, 1, 1]
) : 1970798902187827
generalized_linkage_multipleblocks
(
show
[11, 5, 3],[0, 0, 0]
) : 1970798901903673
generalized_linkage_multipleblocks
(
show
[11, 5, 3],[0, 0, 1]
) : 1970798901903517
generalized_linkage_multipleblocks
(
show
[11, 4, 4],[0, 1, 1]
) : 1970798901822220
generalized_linkage_multipleblocks
(
show
[11, 4, 4],[0, 1, 0]
) : 1970798901822025
generalized_linkage_multipleblocks
(
show
[11, 4, 4],[0, 0, 1]
) : 1970798901723805
generalized_linkage_multipleblocks
(
show
[11, 4, 4],[0, 0, 0]
) : 1970798901723610
generalized_linkage_multipleblocks
(
show
[11, 3, 5],[0, 1, 1]
) : 1970798901706999
generalized_linkage_multipleblocks
(
show
[11, 3, 5],[0, 1, 0]
) : 1970798901701929
CKMP2019_Cor_42
( (11, 8) ) : 1970798901698407
CKMP2019_Lem_41
( (11, 8) ) : 1970798901698407
linkage_GLT
( 11 ) : 1970798901698407
linkage_ST
( 8 ) : 1970798901698407
CKMP2019_Cor_42
( (11, 3, 5) ) : 1970798901697225
CKMP2019_Lem_41
( (11, 3, 5) ) : 1970798901697225
CKMP2019_Cor_42
( (11, 5, 3) ) : 1970798901658561
CKMP2019_Lem_41
( (11, 5, 3) ) : 1970798901658561
CKMP2019_Cor_42
( (11, 4, 4) ) : 1970798901644710
CKMP2019_Lem_41
( (11, 4, 4) ) : 1970798901644710
construction_D
( 8 ) : 1970798901638148
generalized_linkage
( 7,0 ) : 1970798662151134
generalized_linkage_multipleblocks
(
show
[7, 12],[0, 0]
) : 1970798662151134
generalized_linkage_multipleblocks
(
show
[7, 7, 5],[0, 0, 1]
) : 1970798662145206
generalized_linkage_multipleblocks
(
show
[7, 7, 5],[0, 0, 0]
) : 1970798662140136
generalized_linkage_multipleblocks
(
show
[7, 9, 3],[0, 0, 0]
) : 1970798517829294
generalized_linkage_multipleblocks
(
show
[7, 9, 3],[0, 0, 1]
) : 1970798517829138
generalized_linkage_multipleblocks
(
show
[7, 6, 6],[0, 0, 0]
) : 1970798514876526
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 0, 0, 0]
) : 1970798514874498
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 0, 0, 1]
) : 1970798514872470
generalized_linkage_multipleblocks
(
show
[7, 6, 6],[0, 0, 1]
) : 1970798514839814
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 0, 1, 0]
) : 1970798514760774
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 0, 1, 1]
) : 1970798514758746
generalized_linkage_multipleblocks
(
show
[7, 8, 4],[0, 0, 1]
) : 1970798445235669
generalized_linkage_multipleblocks
(
show
[7, 8, 4],[0, 0, 0]
) : 1970798445235474
generalized_linkage_multipleblocks
(
show
[7, 3, 9],[0, 0, 0]
) : 1970798434979254
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 0, 0, 0]
) : 1970798434926526
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 0, 0, 1]
) : 1970798434924498
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 0, 0, 0]
) : 1970798433500842
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 0, 0, 0]
) : 1970798433474478
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 0, 0, 1]
) : 1970798433448114
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 0, 0, 1]
) : 1970798433023586
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 0, 1, 0]
) : 1970798431996066
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 0, 1, 1]
) : 1970798431969702
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 0, 1, 0]
) : 1970798408163478
generalized_linkage_multipleblocks
(
show
[7, 3, 9],[0, 0, 1]
) : 1970798408161450
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 0, 1, 1]
) : 1970798408161450
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 0, 1, 1]
) : 1970798406346429
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 0, 1, 0]
) : 1970798406343894
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 0, 0, 1]
) : 1970798373082159
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 0, 0, 0]
) : 1970798373079624
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 0, 1, 1]
) : 1970798363652037
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 0, 1, 0]
) : 1970798363586127
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 0, 0, 1]
) : 1970798352137482
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 0, 0, 0]
) : 1970798352071572
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 0, 1, 0]
) : 1970798350596046
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 1, 0, 0]
) : 1970798350569682
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 1, 0, 1]
) : 1970798350543318
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 0, 1, 1]
) : 1970798350118790
generalized_linkage
( 10,0 ) : 1970798349180658
generalized_linkage_multipleblocks
(
show
[10, 9],[0, 0]
) : 1970798349180658
generalized_linkage_multipleblocks
(
show
[10, 6, 3],[0, 0, 0]
) : 1970798349176602
generalized_linkage_multipleblocks
(
show
[10, 6, 3],[0, 0, 1]
) : 1970798349176446
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 1, 1, 0]
) : 1970798349091270
generalized_linkage_multipleblocks
(
show
[10, 3, 6],[0, 0, 0]
) : 1970798349066934
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 0, 0, 0]
) : 1970798349064906
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 0, 1, 1, 1]
) : 1970798349064906
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 0, 0, 1]
) : 1970798349062878
generalized_linkage_multipleblocks
(
show
[10, 3, 6],[0, 0, 1]
) : 1970798349030222
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 0, 1, 0]
) : 1970798348951182
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 0, 1, 1]
) : 1970798348949154
generalized_linkage_multipleblocks
(
show
[10, 6, 3],[0, 1, 0]
) : 1970798347117906
generalized_linkage
( 10,1 ) : 1970798347117750
generalized_linkage_multipleblocks
(
show
[10, 9],[0, 1]
) : 1970798347117750
generalized_linkage_multipleblocks
(
show
[10, 6, 3],[0, 1, 1]
) : 1970798347117750
improved_linkage
( 10 ) : 1970798347117750
generalized_linkage_multipleblocks
(
show
[10, 5, 4],[0, 1, 1]
) : 1970798346978133
generalized_linkage_multipleblocks
(
show
[10, 5, 4],[0, 1, 0]
) : 1970798346977938
generalized_linkage_multipleblocks
(
show
[10, 5, 4],[0, 0, 1]
) : 1970798344419343
generalized_linkage_multipleblocks
(
show
[10, 5, 4],[0, 0, 0]
) : 1970798344419148
generalized_linkage_multipleblocks
(
show
[10, 4, 5],[0, 1, 1]
) : 1970798343693949
generalized_linkage_multipleblocks
(
show
[10, 4, 5],[0, 1, 0]
) : 1970798343688879
generalized_linkage_multipleblocks
(
show
[10, 4, 5],[0, 0, 1]
) : 1970798342808214
generalized_linkage_multipleblocks
(
show
[10, 4, 5],[0, 0, 0]
) : 1970798342803144
generalized_linkage_multipleblocks
(
show
[10, 3, 6],[0, 1, 0]
) : 1970798342689642
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 1, 0, 0]
) : 1970798342687614
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 1, 0, 1]
) : 1970798342685586
generalized_linkage_multipleblocks
(
show
[10, 3, 6],[0, 1, 1]
) : 1970798342652930
CKMP2019_Cor_42
( (10, 9) ) : 1970798342580766
CKMP2019_Lem_41
( (10, 9) ) : 1970798342580766
linkage_GLT
( 10 ) : 1970798342580766
linkage_ST
( 9 ) : 1970798342580766
CKMP2019_Cor_42
( (10, 6, 3) ) : 1970798342580442
CKMP2019_Lem_41
( (10, 6, 3) ) : 1970798342580442
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 1, 1, 0]
) : 1970798342573890
generalized_linkage_multipleblocks
(
show
[10, 3, 3, 3],[0, 1, 1, 1]
) : 1970798342571862
CKMP2019_Cor_42
( (10, 3, 6) ) : 1970798342562970
CKMP2019_Lem_41
( (10, 3, 6) ) : 1970798342562970
CKMP2019_Cor_42
(
show
(10, 3, 3, 3)
) : 1970798342562946
CKMP2019_Lem_41
(
show
(10, 3, 3, 3)
) : 1970798342562946
CKMP2019_Cor_42
( (10, 5, 4) ) : 1970798342214484
CKMP2019_Lem_41
( (10, 5, 4) ) : 1970798342214484
CKMP2019_Cor_42
( (10, 4, 5) ) : 1970798342089852
CKMP2019_Lem_41
( (10, 4, 5) ) : 1970798342089852
construction_D
( 9 ) : 1970798342030775
generalized_linkage_multipleblocks
(
show
[7, 6, 6],[0, 1, 0]
) : 1970797014087142
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 1, 0, 0]
) : 1970797014085114
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 1, 0, 1]
) : 1970797014083086
generalized_linkage_multipleblocks
(
show
[7, 6, 6],[0, 1, 1]
) : 1970797014050430
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 1, 1, 0]
) : 1970797013971390
generalized_linkage
( 7,1 ) : 1970797013970727
generalized_linkage_multipleblocks
(
show
[7, 12],[0, 1]
) : 1970797013970727
improved_linkage
( 7 ) : 1970797013970727
generalized_linkage_multipleblocks
(
show
[7, 9, 3],[0, 1, 0]
) : 1970797013969362
generalized_linkage_multipleblocks
(
show
[7, 6, 3, 3],[0, 1, 1, 1]
) : 1970797013969362
generalized_linkage_multipleblocks
(
show
[7, 9, 3],[0, 1, 1]
) : 1970797013969206
generalized_linkage_multipleblocks
(
show
[7, 8, 4],[0, 1, 1]
) : 1970796914055733
generalized_linkage_multipleblocks
(
show
[7, 8, 4],[0, 1, 0]
) : 1970796914055538
generalized_linkage_multipleblocks
(
show
[7, 5, 7],[0, 1, 0]
) : 1970796913102326
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 1, 0, 1]
) : 1970796913036585
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 1, 0, 0]
) : 1970796913034050
generalized_linkage_multipleblocks
(
show
[7, 5, 7],[0, 1, 1]
) : 1970796912706411
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 1, 1, 0]
) : 1970796912190597
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 1, 1, 1]
) : 1970796912188569
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 1, 0, 0]
) : 1970796912048442
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 1, 0, 1]
) : 1970796912046414
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 1, 1, 1]
) : 1970796912013069
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 1, 1, 0]
) : 1970796912010534
generalized_linkage_multipleblocks
(
show
[7, 7, 5],[0, 1, 1]
) : 1970796863807911
generalized_linkage_multipleblocks
(
show
[7, 7, 5],[0, 1, 0]
) : 1970796863802841
generalized_linkage_multipleblocks
(
show
[7, 5, 7],[0, 0, 0]
) : 1970795047744416
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 0, 0, 1]
) : 1970795047678675
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 0, 0, 0]
) : 1970795047676140
generalized_linkage_multipleblocks
(
show
[7, 5, 7],[0, 0, 1]
) : 1970795047348501
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 0, 1, 0]
) : 1970795046832687
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 0, 1, 1]
) : 1970795046830659
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 0, 0, 0]
) : 1970795046690532
generalized_linkage_multipleblocks
(
show
[7, 5, 4, 3],[0, 0, 0, 1]
) : 1970795046688504
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 0, 1, 1]
) : 1970795046655159
generalized_linkage_multipleblocks
(
show
[7, 5, 3, 4],[0, 0, 1, 0]
) : 1970795046652624
generalized_linkage_multipleblocks
(
show
[7, 4, 8],[0, 1, 0]
) : 1970794521056377
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 1, 0, 1]
) : 1970794520979313
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 1, 0, 0]
) : 1970794520913403
generalized_linkage_multipleblocks
(
show
[7, 4, 8],[0, 1, 1]
) : 1970794518022489
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 1, 1, 0]
) : 1970794518020461
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 1, 1, 1]
) : 1970794518018433
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 1, 0, 0]
) : 1970794514324431
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 1, 0, 1]
) : 1970794514322403
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 1, 1, 1]
) : 1970794513265542
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 1, 1, 0]
) : 1970794513263007
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 1, 0, 1]
) : 1970794511986147
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 1, 0, 0]
) : 1970794511983612
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 1, 1, 1]
) : 1970794511767669
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 1, 1, 0]
) : 1970794511701759
generalized_linkage_multipleblocks
(
show
[7, 4, 8],[0, 0, 0]
) : 1970793875355562
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 0, 0, 1]
) : 1970793875278498
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 0, 0, 0]
) : 1970793875212588
generalized_linkage_multipleblocks
(
show
[7, 4, 8],[0, 0, 1]
) : 1970793872321674
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 0, 1, 0]
) : 1970793872319646
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 0, 1, 1]
) : 1970793872317618
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 0, 0, 0]
) : 1970793868623616
generalized_linkage_multipleblocks
(
show
[7, 4, 5, 3],[0, 0, 0, 1]
) : 1970793868621588
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 0, 1, 1]
) : 1970793867564727
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 0, 1, 0]
) : 1970793867562192
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 0, 0, 1]
) : 1970793866285332
generalized_linkage_multipleblocks
(
show
[7, 4, 4, 4],[0, 0, 0, 0]
) : 1970793866282797
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 0, 1, 1]
) : 1970793866066854
generalized_linkage_multipleblocks
(
show
[7, 4, 3, 5],[0, 0, 1, 0]
) : 1970793866000944
generalized_linkage_multipleblocks
(
show
[7, 3, 9],[0, 1, 0]
) : 1970793785933386
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 1, 0, 0]
) : 1970793785880658
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 1, 0, 1]
) : 1970793785878630
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 1, 0, 0]
) : 1970793784454974
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 0, 0, 0]
) : 1970793784428610
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 0, 0, 1]
) : 1970793784402246
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 1, 0, 1]
) : 1970793783977718
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 0, 1, 0]
) : 1970793782950198
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 0, 1, 1]
) : 1970793782923834
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 1, 1, 0]
) : 1970793759117610
generalized_linkage_multipleblocks
(
show
[7, 3, 9],[0, 1, 1]
) : 1970793759115582
generalized_linkage_multipleblocks
(
show
[7, 3, 6, 3],[0, 1, 1, 1]
) : 1970793759115582
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 1, 1, 1]
) : 1970793757300561
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 1, 1, 0]
) : 1970793757298026
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 1, 0, 1]
) : 1970793724036291
generalized_linkage_multipleblocks
(
show
[7, 3, 5, 4],[0, 1, 0, 0]
) : 1970793724033756
CKMP2019_Cor_42
( (7, 12) ) : 1970793717609550
CKMP2019_Lem_41
( (7, 12) ) : 1970793717609550
linkage_GLT
( 7 ) : 1970793717609550
linkage_ST
( 12 ) : 1970793717609550
CKMP2019_Cor_42
( (7, 7, 5) ) : 1970793717608368
CKMP2019_Lem_41
( (7, 7, 5) ) : 1970793717608368
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 1, 1, 1]
) : 1970793714606169
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 1, 1, 0]
) : 1970793714540259
CKMP2019_Cor_42
( (7, 9, 3) ) : 1970793706507858
CKMP2019_Lem_41
( (7, 9, 3) ) : 1970793706507858
CKMP2019_Cor_42
( (7, 6, 6) ) : 1970793706271686
CKMP2019_Lem_41
( (7, 6, 6) ) : 1970793706271686
CKMP2019_Cor_42
(
show
(7, 6, 3, 3)
) : 1970793706271662
CKMP2019_Lem_41
(
show
(7, 6, 3, 3)
) : 1970793706271662
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 1, 0, 1]
) : 1970793703091614
generalized_linkage_multipleblocks
(
show
[7, 3, 4, 5],[0, 1, 0, 0]
) : 1970793703025704
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 1, 1, 0]
) : 1970793701550178
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 1, 0, 0]
) : 1970793701523814
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 1, 0, 1]
) : 1970793701497450
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 6],[0, 1, 1, 1]
) : 1970793701072922
CKMP2019_Cor_42
( (7, 8, 4) ) : 1970793700923718
CKMP2019_Lem_41
( (7, 8, 4) ) : 1970793700923718
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 1, 1, 0]
) : 1970793700045402
generalized_linkage_multipleblocks
(
show
[7, 3, 3, 3, 3],[0, 1, 1, 1, 1]
) : 1970793700019038
CKMP2019_Cor_42
( (7, 3, 9) ) : 1970793693534898
CKMP2019_Lem_41
( (7, 3, 9) ) : 1970793693534898
CKMP2019_Cor_42
(
show
(7, 3, 6, 3)
) : 1970793693534574
CKMP2019_Lem_41
(
show
(7, 3, 6, 3)
) : 1970793693534574
CKMP2019_Cor_42
(
show
(7, 3, 3, 6)
) : 1970793693517102
CKMP2019_Lem_41
(
show
(7, 3, 3, 6)
) : 1970793693517102
CKMP2019_Cor_42
(
show
(7, 3, 3, 3, 3)
) : 1970793693517078
CKMP2019_Lem_41
(
show
(7, 3, 3, 3, 3)
) : 1970793693517078
CKMP2019_Cor_42
(
show
(7, 3, 5, 4)
) : 1970793693168616
CKMP2019_Lem_41
(
show
(7, 3, 5, 4)
) : 1970793693168616
CKMP2019_Cor_42
(
show
(7, 3, 4, 5)
) : 1970793693043984
CKMP2019_Lem_41
(
show
(7, 3, 4, 5)
) : 1970793693043984
CKMP2019_Cor_42
( (7, 5, 7) ) : 1970793439494528
CKMP2019_Lem_41
( (7, 5, 7) ) : 1970793439494528
CKMP2019_Cor_42
(
show
(7, 5, 3, 4)
) : 1970793439494112
CKMP2019_Lem_41
(
show
(7, 5, 3, 4)
) : 1970793439494112
CKMP2019_Cor_42
(
show
(7, 5, 4, 3)
) : 1970793439488280
CKMP2019_Lem_41
(
show
(7, 5, 4, 3)
) : 1970793439488280
CKMP2019_Cor_42
( (7, 4, 8) ) : 1970793348671398
CKMP2019_Lem_41
( (7, 4, 8) ) : 1970793348671398
CKMP2019_Cor_42
(
show
(7, 4, 3, 5)
) : 1970793348670216
CKMP2019_Lem_41
(
show
(7, 4, 3, 5)
) : 1970793348670216
CKMP2019_Cor_42
(
show
(7, 4, 5, 3)
) : 1970793348631552
CKMP2019_Lem_41
(
show
(7, 4, 5, 3)
) : 1970793348631552
CKMP2019_Cor_42
(
show
(7, 4, 4, 4)
) : 1970793348617701
CKMP2019_Lem_41
(
show
(7, 4, 4, 4)
) : 1970793348617701
construction_D
( 12 ) : 1970793305564418
generalized_linkage
( 9,0 ) : 1917700105621066
generalized_linkage_multipleblocks
(
show
[9, 10],[0, 0]
) : 1917700105621066
generalized_linkage_multipleblocks
(
show
[9, 7, 3],[0, 0, 0]
) : 1917700105621066
generalized_linkage_multipleblocks
(
show
[9, 7, 3],[0, 0, 1]
) : 1917700105620910
generalized_linkage_multipleblocks
(
show
[9, 6, 4],[0, 0, 1]
) : 1917700103801677
generalized_linkage_multipleblocks
(
show
[9, 6, 4],[0, 0, 0]
) : 1917700103801482
generalized_linkage_multipleblocks
(
show
[9, 3, 7],[0, 0, 0]
) : 1917700102848270
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 0, 0, 1]
) : 1917700102782529
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 0, 0, 0]
) : 1917700102779994
generalized_linkage_multipleblocks
(
show
[9, 3, 7],[0, 0, 1]
) : 1917700102452355
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 0, 1, 0]
) : 1917700101936541
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 0, 1, 1]
) : 1917700101934513
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 0, 0, 0]
) : 1917700101794386
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 0, 0, 1]
) : 1917700101792358
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 0, 1, 1]
) : 1917700101759013
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 0, 1, 0]
) : 1917700101756478
generalized_linkage_multipleblocks
(
show
[9, 6, 4],[0, 1, 1]
) : 1917700085273413
generalized_linkage_multipleblocks
(
show
[9, 6, 4],[0, 1, 0]
) : 1917700085273218
generalized_linkage
( 9,1 ) : 1917700085273179
generalized_linkage_multipleblocks
(
show
[9, 10],[0, 1]
) : 1917700085273179
improved_linkage
( 9 ) : 1917700085273179
generalized_linkage_multipleblocks
(
show
[9, 5, 5],[0, 1, 1]
) : 1917700084023139
generalized_linkage_multipleblocks
(
show
[9, 5, 5],[0, 1, 0]
) : 1917700084018069
generalized_linkage_multipleblocks
(
show
[9, 7, 3],[0, 1, 0]
) : 1917700083419371
generalized_linkage_multipleblocks
(
show
[9, 7, 3],[0, 1, 1]
) : 1917700083419215
generalized_linkage_multipleblocks
(
show
[9, 5, 5],[0, 0, 1]
) : 1917700060994029
generalized_linkage_multipleblocks
(
show
[9, 5, 5],[0, 0, 0]
) : 1917700060988959
generalized_linkage_multipleblocks
(
show
[9, 4, 6],[0, 1, 0]
) : 1917700054498165
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 1, 0, 0]
) : 1917700054496137
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 1, 0, 1]
) : 1917700054494109
generalized_linkage_multipleblocks
(
show
[9, 4, 6],[0, 1, 1]
) : 1917700054461453
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 1, 1, 0]
) : 1917700054382413
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 1, 1, 1]
) : 1917700054380385
generalized_linkage_multipleblocks
(
show
[9, 4, 6],[0, 0, 0]
) : 1917700046526550
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 0, 0, 0]
) : 1917700046524522
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 0, 0, 1]
) : 1917700046522494
generalized_linkage_multipleblocks
(
show
[9, 4, 6],[0, 0, 1]
) : 1917700046489838
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 0, 1, 0]
) : 1917700046410798
generalized_linkage_multipleblocks
(
show
[9, 4, 3, 3],[0, 0, 1, 1]
) : 1917700046408770
generalized_linkage_multipleblocks
(
show
[9, 3, 7],[0, 1, 0]
) : 1917700045452642
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 1, 0, 1]
) : 1917700045386901
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 1, 0, 0]
) : 1917700045384366
generalized_linkage_multipleblocks
(
show
[9, 3, 7],[0, 1, 1]
) : 1917700045056727
CKMP2019_Cor_42
( (9, 10) ) : 1917700044577366
CKMP2019_Lem_41
( (9, 10) ) : 1917700044577366
linkage_GLT
( 9 ) : 1917700044577366
linkage_ST
( 10 ) : 1917700044577366
CKMP2019_Cor_42
( (9, 7, 3) ) : 1917700044577354
CKMP2019_Lem_41
( (9, 7, 3) ) : 1917700044577354
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 1, 1, 0]
) : 1917700044540913
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 1, 1, 1]
) : 1917700044538885
CKMP2019_Cor_42
( (9, 6, 4) ) : 1917700044437386
CKMP2019_Lem_41
( (9, 6, 4) ) : 1917700044437386
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 1, 0, 0]
) : 1917700044398758
generalized_linkage_multipleblocks
(
show
[9, 3, 4, 3],[0, 1, 0, 1]
) : 1917700044396730
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 1, 1, 1]
) : 1917700044363385
generalized_linkage_multipleblocks
(
show
[9, 3, 3, 4],[0, 1, 1, 0]
) : 1917700044360850
CKMP2019_Cor_42
( (9, 3, 7) ) : 1917700044280338
CKMP2019_Lem_41
( (9, 3, 7) ) : 1917700044280338
CKMP2019_Cor_42
(
show
(9, 3, 3, 4)
) : 1917700044279922
CKMP2019_Lem_41
(
show
(9, 3, 3, 4)
) : 1917700044279922
CKMP2019_Cor_42
(
show
(9, 3, 4, 3)
) : 1917700044274090
CKMP2019_Lem_41
(
show
(9, 3, 4, 3)
) : 1917700044274090
CKMP2019_Cor_42
( (9, 5, 5) ) : 1917700041143791
CKMP2019_Lem_41
( (9, 5, 5) ) : 1917700041143791
CKMP2019_Cor_42
( (9, 4, 6) ) : 1917700040022586
CKMP2019_Lem_41
( (9, 4, 6) ) : 1917700040022586
CKMP2019_Cor_42
(
show
(9, 4, 3, 3)
) : 1917700040022562
CKMP2019_Lem_41
(
show
(9, 4, 3, 3)
) : 1917700040022562
construction_D
( 10 ) : 1917700039490391
generalized_linkage
( 6,0 ) : 1916615043842083
generalized_linkage_multipleblocks
(
show
[6, 13],[0, 0]
) : 1916615043842083
generalized_linkage_multipleblocks
(
show
[6, 7, 6],[0, 0, 0]
) : 1916615043826366
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 0, 0, 0]
) : 1916615043824338
generalized_linkage_multipleblocks
(
show
[6, 10, 3],[0, 0, 0]
) : 1916615043822310
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 0, 0, 1]
) : 1916615043822310
generalized_linkage_multipleblocks
(
show
[6, 10, 3],[0, 0, 1]
) : 1916615043822154
generalized_linkage_multipleblocks
(
show
[6, 7, 6],[0, 0, 1]
) : 1916615043789654
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 0, 1, 0]
) : 1916615043710614
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 0, 1, 1]
) : 1916615043708586
generalized_linkage_multipleblocks
(
show
[6, 9, 4],[0, 0, 1]
) : 1916613744942793
generalized_linkage_multipleblocks
(
show
[6, 9, 4],[0, 0, 0]
) : 1916613744942598
generalized_linkage_multipleblocks
(
show
[6, 6, 7],[0, 0, 0]
) : 1916613718401486
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 0, 0, 1]
) : 1916613718335745
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 0, 0, 0]
) : 1916613718333210
generalized_linkage_multipleblocks
(
show
[6, 6, 7],[0, 0, 1]
) : 1916613718005571
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 0, 1, 0]
) : 1916613717489757
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 0, 1, 1]
) : 1916613717487729
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 0, 0, 0]
) : 1916613717347602
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 0, 0, 1]
) : 1916613717345574
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 0, 1, 1]
) : 1916613717312229
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 0, 1, 0]
) : 1916613717309694
generalized_linkage_multipleblocks
(
show
[6, 8, 5],[0, 0, 1]
) : 1916613091607851
generalized_linkage_multipleblocks
(
show
[6, 8, 5],[0, 0, 0]
) : 1916613091602781
generalized_linkage_multipleblocks
(
show
[6, 3, 10],[0, 0, 0]
) : 1916613022456054
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 0, 0, 0]
) : 1916613022456054
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 0, 0, 1]
) : 1916613022454026
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 0, 0, 1]
) : 1916612998803997
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 0, 0, 0]
) : 1916612998801462
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 0, 0, 0]
) : 1916612986409706
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 0, 0, 1]
) : 1916612985555073
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 0, 0, 0]
) : 1916612985522118
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 0, 0, 1]
) : 1916612981262811
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 0, 1, 0]
) : 1916612974557229
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 0, 1, 1]
) : 1916612974530865
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 0, 0, 0]
) : 1916612972709214
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 0, 0, 1]
) : 1916612972682850
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 0, 1, 1]
) : 1916612972249365
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 0, 1, 0]
) : 1916612972216410
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 0, 1, 1]
) : 1916612757936565
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 0, 1, 0]
) : 1916612757934030
generalized_linkage_multipleblocks
(
show
[6, 3, 10],[0, 0, 1]
) : 1916612757933523
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 0, 1, 1]
) : 1916612741683003
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 0, 1, 0]
) : 1916612741617093
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 0, 1, 0]
) : 1916612733834019
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 0, 1, 1]
) : 1916612733831991
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 0, 0, 1]
) : 1916612442304573
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 0, 0, 0]
) : 1916612442238663
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 0, 1, 0]
) : 1916612357858341
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 1, 0, 0]
) : 1916612357831977
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 1, 0, 1]
) : 1916612357805613
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 0, 1, 1]
) : 1916612357381085
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 1, 1, 0]
) : 1916612356353565
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 1, 1, 1]
) : 1916612356327201
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 0, 0, 0]
) : 1916612254227346
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 0, 0, 0]
) : 1916612254200982
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 0, 0, 1]
) : 1916612254174618
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 0, 0, 1]
) : 1916612253750090
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 0, 1, 0]
) : 1916612252722570
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 0, 0, 1, 1]
) : 1916612252696206
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 0, 1, 0]
) : 1916612240266542
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 1, 0, 1]
) : 1916612239411909
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 1, 0, 0]
) : 1916612239378954
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 0, 1, 1]
) : 1916612235119647
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 1, 1, 0]
) : 1916612228414065
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 1, 1, 1]
) : 1916612228387701
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 1, 0, 0]
) : 1916612226566050
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 0, 1, 0, 1]
) : 1916612226539686
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 1, 1, 1]
) : 1916612226106201
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 0, 1, 1, 0]
) : 1916612226073246
generalized_linkage_multipleblocks
(
show
[6, 6, 7],[0, 1, 0]
) : 1916600211297030
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 1, 0, 1]
) : 1916600211231289
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 1, 0, 0]
) : 1916600211228754
generalized_linkage_multipleblocks
(
show
[6, 6, 7],[0, 1, 1]
) : 1916600210901115
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 1, 1, 0]
) : 1916600210385301
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 1, 1, 1]
) : 1916600210383273
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 1, 0, 0]
) : 1916600210243146
generalized_linkage_multipleblocks
(
show
[6, 6, 4, 3],[0, 1, 0, 1]
) : 1916600210241118
generalized_linkage
( 6,1 ) : 1916600210217211
generalized_linkage_multipleblocks
(
show
[6, 13],[0, 1]
) : 1916600210217211
improved_linkage
( 6 ) : 1916600210217211
generalized_linkage_multipleblocks
(
show
[6, 10, 3],[0, 1, 0]
) : 1916600210212687
generalized_linkage_multipleblocks
(
show
[6, 10, 3],[0, 1, 1]
) : 1916600210212531
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 1, 1, 1]
) : 1916600210207773
generalized_linkage_multipleblocks
(
show
[6, 6, 3, 4],[0, 1, 1, 0]
) : 1916600210205238
generalized_linkage_multipleblocks
(
show
[6, 9, 4],[0, 1, 1]
) : 1916600210203405
generalized_linkage_multipleblocks
(
show
[6, 9, 4],[0, 1, 0]
) : 1916600210203210
generalized_linkage_multipleblocks
(
show
[6, 8, 5],[0, 1, 1]
) : 1916599310988427
generalized_linkage_multipleblocks
(
show
[6, 8, 5],[0, 1, 0]
) : 1916599310983357
generalized_linkage_multipleblocks
(
show
[6, 5, 8],[0, 1, 0]
) : 1916599301971471
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 1, 0, 1]
) : 1916599301894407
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 1, 0, 0]
) : 1916599301828497
generalized_linkage_multipleblocks
(
show
[6, 5, 8],[0, 1, 1]
) : 1916599298937583
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 1, 1, 0]
) : 1916599298935555
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 1, 1, 1]
) : 1916599298933527
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 1, 0, 0]
) : 1916599295239525
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 1, 0, 1]
) : 1916599295237497
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 1, 1, 1]
) : 1916599294180636
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 1, 1, 0]
) : 1916599294178101
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 1, 0, 1]
) : 1916599292901241
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 1, 0, 0]
) : 1916599292898706
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 1, 1, 1]
) : 1916599292682763
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 1, 1, 0]
) : 1916599292616853
generalized_linkage_multipleblocks
(
show
[6, 7, 6],[0, 1, 0]
) : 1916598858790711
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 1, 0, 0]
) : 1916598858788683
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 1, 0, 1]
) : 1916598858786655
generalized_linkage_multipleblocks
(
show
[6, 7, 6],[0, 1, 1]
) : 1916598858753999
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 1, 1, 0]
) : 1916598858674959
generalized_linkage_multipleblocks
(
show
[6, 7, 3, 3],[0, 1, 1, 1]
) : 1916598858672931
generalized_linkage_multipleblocks
(
show
[6, 5, 8],[0, 0, 0]
) : 1916582513750281
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 0, 0, 1]
) : 1916582513673217
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 0, 0, 0]
) : 1916582513607307
generalized_linkage_multipleblocks
(
show
[6, 5, 8],[0, 0, 1]
) : 1916582510716393
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 0, 1, 0]
) : 1916582510714365
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 0, 1, 1]
) : 1916582510712337
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 0, 0, 0]
) : 1916582507018335
generalized_linkage_multipleblocks
(
show
[6, 5, 5, 3],[0, 0, 0, 1]
) : 1916582507016307
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 0, 1, 1]
) : 1916582505959446
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 0, 1, 0]
) : 1916582505956911
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 0, 0, 1]
) : 1916582504680051
generalized_linkage_multipleblocks
(
show
[6, 5, 4, 4],[0, 0, 0, 0]
) : 1916582504677516
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 0, 1, 1]
) : 1916582504461573
generalized_linkage_multipleblocks
(
show
[6, 5, 3, 5],[0, 0, 1, 0]
) : 1916582504395663
generalized_linkage_multipleblocks
(
show
[6, 4, 9],[0, 1, 0]
) : 1916577775282237
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 1, 0, 0]
) : 1916577775229509
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 1, 0, 1]
) : 1916577775227481
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 1, 0, 0]
) : 1916577773803825
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 0, 0, 0]
) : 1916577773777461
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 0, 0, 1]
) : 1916577773751097
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 1, 0, 1]
) : 1916577773326569
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 0, 1, 0]
) : 1916577772299049
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 0, 1, 1]
) : 1916577772272685
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 1, 1, 0]
) : 1916577748466461
generalized_linkage_multipleblocks
(
show
[6, 4, 9],[0, 1, 1]
) : 1916577748464433
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 1, 1, 1]
) : 1916577748464433
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 1, 1, 1]
) : 1916577746649412
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 1, 1, 0]
) : 1916577746646877
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 1, 0, 1]
) : 1916577713385142
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 1, 0, 0]
) : 1916577713382607
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 1, 1, 1]
) : 1916577703955020
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 1, 1, 0]
) : 1916577703889110
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 1, 0, 1]
) : 1916577692440465
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 1, 0, 0]
) : 1916577692374555
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 1, 1, 0]
) : 1916577690899029
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 1, 0, 0]
) : 1916577690872665
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 1, 0, 1]
) : 1916577690846301
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 1, 1, 1]
) : 1916577690421773
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 1, 1, 0]
) : 1916577689394253
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 1, 1, 1, 1]
) : 1916577689367889
generalized_linkage_multipleblocks
(
show
[6, 4, 9],[0, 0, 0]
) : 1916571963974902
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 0, 0, 0]
) : 1916571963922174
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 0, 0, 1]
) : 1916571963920146
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 0, 0, 0]
) : 1916571962496490
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 0, 0, 0]
) : 1916571962470126
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 0, 0, 1]
) : 1916571962443762
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 0, 0, 1]
) : 1916571962019234
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 0, 1, 0]
) : 1916571960991714
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 0, 1, 1]
) : 1916571960965350
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 0, 1, 0]
) : 1916571937159126
generalized_linkage_multipleblocks
(
show
[6, 4, 9],[0, 0, 1]
) : 1916571937157098
generalized_linkage_multipleblocks
(
show
[6, 4, 6, 3],[0, 0, 1, 1]
) : 1916571937157098
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 0, 1, 1]
) : 1916571935342077
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 0, 1, 0]
) : 1916571935339542
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 0, 0, 1]
) : 1916571902077807
generalized_linkage_multipleblocks
(
show
[6, 4, 5, 4],[0, 0, 0, 0]
) : 1916571902075272
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 0, 1, 1]
) : 1916571892647685
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 0, 1, 0]
) : 1916571892581775
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 0, 0, 1]
) : 1916571881133130
generalized_linkage_multipleblocks
(
show
[6, 4, 4, 5],[0, 0, 0, 0]
) : 1916571881067220
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 0, 1, 0]
) : 1916571879591694
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 1, 0, 0]
) : 1916571879565330
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 1, 0, 1]
) : 1916571879538966
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 6],[0, 0, 1, 1]
) : 1916571879114438
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 1, 1, 0]
) : 1916571878086918
generalized_linkage_multipleblocks
(
show
[6, 4, 3, 3, 3],[0, 0, 1, 1, 1]
) : 1916571878060554
generalized_linkage_multipleblocks
(
show
[6, 3, 10],[0, 1, 0]
) : 1916571181043242
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 1, 0, 0]
) : 1916571181043242
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 1, 0, 1]
) : 1916571181041214
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 1, 0, 1]
) : 1916571157391185
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 1, 0, 0]
) : 1916571157388650
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 1, 0, 0]
) : 1916571144996894
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 0, 0, 1]
) : 1916571144142261
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 0, 0, 0]
) : 1916571144109306
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 1, 0, 1]
) : 1916571139849999
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 0, 1, 0]
) : 1916571133144417
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 0, 1, 1]
) : 1916571133118053
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 0, 0, 0]
) : 1916571131296402
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 0, 0, 1]
) : 1916571131270038
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 0, 1, 1]
) : 1916571130836553
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 0, 1, 0]
) : 1916571130803598
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 1, 1, 1]
) : 1916570916523753
generalized_linkage_multipleblocks
(
show
[6, 3, 6, 4],[0, 1, 1, 0]
) : 1916570916521218
generalized_linkage_multipleblocks
(
show
[6, 3, 10],[0, 1, 1]
) : 1916570916520711
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 1, 1, 1]
) : 1916570900270191
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 1, 1, 0]
) : 1916570900204281
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 1, 1, 0]
) : 1916570892421207
generalized_linkage_multipleblocks
(
show
[6, 3, 7, 3],[0, 1, 1, 1]
) : 1916570892419179
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 1, 0, 1]
) : 1916570600891761
generalized_linkage_multipleblocks
(
show
[6, 3, 5, 5],[0, 1, 0, 0]
) : 1916570600825851
CKMP2019_Cor_42
( (6, 13) ) : 1916570542966375
CKMP2019_Lem_41
( (6, 13) ) : 1916570542966375
linkage_GLT
( 6 ) : 1916570542966375
linkage_ST
( 13 ) : 1916570542966375
CKMP2019_Cor_42
( (6, 10, 3) ) : 1916570542964842
CKMP2019_Lem_41
( (6, 10, 3) ) : 1916570542964842
CKMP2019_Cor_42
( (6, 7, 6) ) : 1916570542956118
CKMP2019_Lem_41
( (6, 7, 6) ) : 1916570542956118
CKMP2019_Cor_42
(
show
(6, 7, 3, 3)
) : 1916570542956094
CKMP2019_Lem_41
(
show
(6, 7, 3, 3)
) : 1916570542956094
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 1, 1, 0]
) : 1916570516445529
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 1, 0, 0]
) : 1916570516419165
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 1, 0, 1]
) : 1916570516392801
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 1, 1, 1]
) : 1916570515968273
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 1, 1, 0]
) : 1916570514940753
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 1, 1, 1]
) : 1916570514914389
CKMP2019_Cor_42
( (6, 9, 4) ) : 1916570443051018
CKMP2019_Lem_41
( (6, 9, 4) ) : 1916570443051018
CKMP2019_Cor_42
( (6, 6, 7) ) : 1916570440925670
CKMP2019_Lem_41
( (6, 6, 7) ) : 1916570440925670
CKMP2019_Cor_42
(
show
(6, 6, 3, 4)
) : 1916570440925254
CKMP2019_Lem_41
(
show
(6, 6, 3, 4)
) : 1916570440925254
CKMP2019_Cor_42
(
show
(6, 6, 4, 3)
) : 1916570440919422
CKMP2019_Lem_41
(
show
(6, 6, 4, 3)
) : 1916570440919422
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 1, 0, 0]
) : 1916570412814534
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 0, 0, 0]
) : 1916570412788170
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 0, 0, 1]
) : 1916570412761806
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 6],[0, 1, 0, 1]
) : 1916570412337278
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 0, 1, 0]
) : 1916570411309758
generalized_linkage_multipleblocks
(
show
[6, 3, 4, 3, 3],[0, 1, 0, 1, 1]
) : 1916570411283394
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 1, 1, 0]
) : 1916570398853730
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 1, 0, 1]
) : 1916570397999097
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 1, 0, 0]
) : 1916570397966142
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 7],[0, 1, 1, 1]
) : 1916570393706835
CKMP2019_Cor_42
( (6, 8, 5) ) : 1916570392793785
CKMP2019_Lem_41
( (6, 8, 5) ) : 1916570392793785
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 1, 1, 0]
) : 1916570387001253
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 1, 1, 1]
) : 1916570386974889
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 1, 0, 0]
) : 1916570385153238
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 4, 3],[0, 1, 1, 0, 1]
) : 1916570385126874
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 1, 1, 1]
) : 1916570384693389
generalized_linkage_multipleblocks
(
show
[6, 3, 3, 3, 4],[0, 1, 1, 1, 0]
) : 1916570384660434
CKMP2019_Cor_42
( (6, 3, 10) ) : 1916570326431442
CKMP2019_Lem_41
( (6, 3, 10) ) : 1916570326431442
CKMP2019_Cor_42
(
show
(6, 3, 7, 3)
) : 1916570326431430
CKMP2019_Lem_41
(
show
(6, 3, 7, 3)
) : 1916570326431430
CKMP2019_Cor_42
(
show
(6, 3, 6, 4)
) : 1916570326291462
CKMP2019_Lem_41
(
show
(6, 3, 6, 4)
) : 1916570326291462
CKMP2019_Cor_42
(
show
(6, 3, 3, 7)
) : 1916570326134414
CKMP2019_Lem_41
(
show
(6, 3, 3, 7)
) : 1916570326134414
CKMP2019_Cor_42
(
show
(6, 3, 3, 3, 4)
) : 1916570326133998
CKMP2019_Lem_41
(
show
(6, 3, 3, 3, 4)
) : 1916570326133998
CKMP2019_Cor_42
(
show
(6, 3, 3, 4, 3)
) : 1916570326128166
CKMP2019_Lem_41
(
show
(6, 3, 3, 4, 3)
) : 1916570326128166
CKMP2019_Cor_42
(
show
(6, 3, 5, 5)
) : 1916570322997867
CKMP2019_Lem_41
(
show
(6, 3, 5, 5)
) : 1916570322997867
CKMP2019_Cor_42
(
show
(6, 3, 4, 6)
) : 1916570321876662
CKMP2019_Lem_41
(
show
(6, 3, 4, 6)
) : 1916570321876662
CKMP2019_Cor_42
(
show
(6, 3, 4, 3, 3)
) : 1916570321876638
CKMP2019_Lem_41
(
show
(6, 3, 4, 3, 3)
) : 1916570321876638
CKMP2019_Cor_42
( (6, 5, 8) ) : 1916568039928513
CKMP2019_Lem_41
( (6, 5, 8) ) : 1916568039928513
CKMP2019_Cor_42
(
show
(6, 5, 3, 5)
) : 1916568039927331
CKMP2019_Lem_41
(
show
(6, 5, 3, 5)
) : 1916568039927331
CKMP2019_Cor_42
(
show
(6, 5, 5, 3)
) : 1916568039888667
CKMP2019_Lem_41
(
show
(6, 5, 5, 3)
) : 1916568039888667
CKMP2019_Cor_42
(
show
(6, 5, 4, 4)
) : 1916568039874816
CKMP2019_Lem_41
(
show
(6, 5, 4, 4)
) : 1916568039874816
CKMP2019_Cor_42
( (6, 4, 9) ) : 1916567222530546
CKMP2019_Lem_41
( (6, 4, 9) ) : 1916567222530546
CKMP2019_Cor_42
(
show
(6, 4, 6, 3)
) : 1916567222530222
CKMP2019_Lem_41
(
show
(6, 4, 6, 3)
) : 1916567222530222
CKMP2019_Cor_42
(
show
(6, 4, 3, 6)
) : 1916567222512750
CKMP2019_Lem_41
(
show
(6, 4, 3, 6)
) : 1916567222512750
CKMP2019_Cor_42
(
show
(6, 4, 3, 3, 3)
) : 1916567222512726
CKMP2019_Lem_41
(
show
(6, 4, 3, 3, 3)
) : 1916567222512726
CKMP2019_Cor_42
(
show
(6, 4, 5, 4)
) : 1916567222164264
CKMP2019_Lem_41
(
show
(6, 4, 5, 4)
) : 1916567222164264
CKMP2019_Cor_42
(
show
(6, 4, 4, 5)
) : 1916567222039632
CKMP2019_Lem_41
(
show
(6, 4, 4, 5)
) : 1916567222039632
construction_D
( 13 ) : 1916566834560066
construction_2
( ) : 1891624743834552
generalized_linkage
( 8,0 ) : 1890991866154975
generalized_linkage_multipleblocks
(
show
[8, 11],[0, 0]
) : 1890991866154975
generalized_linkage_multipleblocks
(
show
[8, 7, 4],[0, 0, 1]
) : 1890991866153649
generalized_linkage_multipleblocks
(
show
[8, 7, 4],[0, 0, 0]
) : 1890991866153454
generalized_linkage_multipleblocks
(
show
[8, 6, 5],[0, 0, 1]
) : 1890991849786831
generalized_linkage_multipleblocks
(
show
[8, 6, 5],[0, 0, 0]
) : 1890991849781761
generalized_linkage_multipleblocks
(
show
[8, 8, 3],[0, 0, 0]
) : 1890991842053443
generalized_linkage_multipleblocks
(
show
[8, 8, 3],[0, 0, 1]
) : 1890991842053287
generalized_linkage_multipleblocks
(
show
[8, 3, 8],[0, 0, 0]
) : 1890991840769875
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 0, 0, 1]
) : 1890991840692811
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 0, 0, 0]
) : 1890991840626901
generalized_linkage_multipleblocks
(
show
[8, 3, 8],[0, 0, 1]
) : 1890991837735987
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 0, 1, 0]
) : 1890991837733959
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 0, 1, 1]
) : 1890991837731931
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 0, 0, 0]
) : 1890991834037929
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 0, 0, 1]
) : 1890991834035901
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 0, 1, 1]
) : 1890991832979040
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 0, 1, 0]
) : 1890991832976505
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 0, 0, 1]
) : 1890991831699645
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 0, 0, 0]
) : 1890991831697110
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 0, 1, 1]
) : 1890991831481167
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 0, 1, 0]
) : 1890991831415257
generalized_linkage_multipleblocks
(
show
[8, 6, 5],[0, 1, 1]
) : 1890991683032455
generalized_linkage_multipleblocks
(
show
[8, 6, 5],[0, 1, 0]
) : 1890991683027385
generalized_linkage
( 8,1 ) : 1890991683023863
generalized_linkage_multipleblocks
(
show
[8, 11],[0, 1]
) : 1890991683023863
improved_linkage
( 8 ) : 1890991683023863
generalized_linkage_multipleblocks
(
show
[8, 8, 3],[0, 1, 0]
) : 1890991671922339
generalized_linkage_multipleblocks
(
show
[8, 8, 3],[0, 1, 1]
) : 1890991671922183
generalized_linkage_multipleblocks
(
show
[8, 5, 6],[0, 1, 0]
) : 1890991671812671
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 1, 0, 0]
) : 1890991671810643
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 1, 0, 1]
) : 1890991671808615
generalized_linkage_multipleblocks
(
show
[8, 5, 6],[0, 1, 1]
) : 1890991671775959
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 1, 1, 0]
) : 1890991671696919
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 1, 1, 1]
) : 1890991671694891
generalized_linkage_multipleblocks
(
show
[8, 7, 4],[0, 1, 1]
) : 1890991666338394
generalized_linkage_multipleblocks
(
show
[8, 7, 4],[0, 1, 0]
) : 1890991666338199
generalized_linkage_multipleblocks
(
show
[8, 5, 6],[0, 0, 0]
) : 1890991464550681
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 0, 0, 0]
) : 1890991464548653
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 0, 0, 1]
) : 1890991464546625
generalized_linkage_multipleblocks
(
show
[8, 5, 6],[0, 0, 1]
) : 1890991464513969
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 0, 1, 0]
) : 1890991464434929
generalized_linkage_multipleblocks
(
show
[8, 5, 3, 3],[0, 0, 1, 1]
) : 1890991464432901
generalized_linkage_multipleblocks
(
show
[8, 4, 7],[0, 1, 0]
) : 1890991406081145
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 1, 0, 1]
) : 1890991406015404
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 1, 0, 0]
) : 1890991406012869
generalized_linkage_multipleblocks
(
show
[8, 4, 7],[0, 1, 1]
) : 1890991405685230
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 1, 1, 0]
) : 1890991405169416
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 1, 1, 1]
) : 1890991405167388
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 1, 0, 0]
) : 1890991405027261
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 1, 0, 1]
) : 1890991405025233
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 1, 1, 1]
) : 1890991404991888
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 1, 1, 0]
) : 1890991404989353
generalized_linkage_multipleblocks
(
show
[8, 4, 7],[0, 0, 0]
) : 1890991334336610
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 0, 0, 1]
) : 1890991334270869
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 0, 0, 0]
) : 1890991334268334
generalized_linkage_multipleblocks
(
show
[8, 4, 7],[0, 0, 1]
) : 1890991333940695
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 0, 1, 0]
) : 1890991333424881
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 0, 1, 1]
) : 1890991333422853
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 0, 0, 0]
) : 1890991333282726
generalized_linkage_multipleblocks
(
show
[8, 4, 4, 3],[0, 0, 0, 1]
) : 1890991333280698
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 0, 1, 1]
) : 1890991333247353
generalized_linkage_multipleblocks
(
show
[8, 4, 3, 4],[0, 0, 1, 0]
) : 1890991333244818
generalized_linkage_multipleblocks
(
show
[8, 3, 8],[0, 1, 0]
) : 1890991324209223
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 1, 0, 1]
) : 1890991324132159
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 1, 0, 0]
) : 1890991324066249
generalized_linkage_multipleblocks
(
show
[8, 3, 8],[0, 1, 1]
) : 1890991321175335
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 1, 1, 0]
) : 1890991321173307
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 1, 1, 1]
) : 1890991321171279
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 1, 0, 0]
) : 1890991317477277
generalized_linkage_multipleblocks
(
show
[8, 3, 5, 3],[0, 1, 0, 1]
) : 1890991317475249
CKMP2019_Cor_42
( (8, 11) ) : 1890991316761519
CKMP2019_Lem_41
( (8, 11) ) : 1890991316761519
linkage_GLT
( 8 ) : 1890991316761519
linkage_ST
( 11 ) : 1890991316761519
CKMP2019_Cor_42
( (8, 7, 4) ) : 1890991316761390
CKMP2019_Lem_41
( (8, 7, 4) ) : 1890991316761390
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 1, 1, 1]
) : 1890991316418388
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 1, 1, 0]
) : 1890991316415853
CKMP2019_Cor_42
( (8, 6, 5) ) : 1890991315501705
CKMP2019_Lem_41
( (8, 6, 5) ) : 1890991315501705
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 1, 0, 1]
) : 1890991315138993
generalized_linkage_multipleblocks
(
show
[8, 3, 4, 4],[0, 1, 0, 0]
) : 1890991315136458
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 1, 1, 1]
) : 1890991314920515
CKMP2019_Cor_42
( (8, 8, 3) ) : 1890991314907543
CKMP2019_Lem_41
( (8, 8, 3) ) : 1890991314907543
generalized_linkage_multipleblocks
(
show
[8, 3, 3, 5],[0, 1, 1, 0]
) : 1890991314854605
CKMP2019_Cor_42
( (8, 3, 8) ) : 1890991314085711
CKMP2019_Lem_41
( (8, 3, 8) ) : 1890991314085711
CKMP2019_Cor_42
(
show
(8, 3, 3, 5)
) : 1890991314084529
CKMP2019_Lem_41
(
show
(8, 3, 3, 5)
) : 1890991314084529
CKMP2019_Cor_42
(
show
(8, 3, 5, 3)
) : 1890991314045865
CKMP2019_Lem_41
(
show
(8, 3, 5, 3)
) : 1890991314045865
CKMP2019_Cor_42
(
show
(8, 3, 4, 4)
) : 1890991314032014
CKMP2019_Lem_41
(
show
(8, 3, 4, 4)
) : 1890991314032014
CKMP2019_Cor_42
( (8, 5, 6) ) : 1890991285859833
CKMP2019_Lem_41
( (8, 5, 6) ) : 1890991285859833
CKMP2019_Cor_42
(
show
(8, 5, 3, 3)
) : 1890991285859809
CKMP2019_Lem_41
(
show
(8, 5, 3, 3)
) : 1890991285859809
CKMP2019_Cor_42
( (8, 4, 7) ) : 1890991275768678
CKMP2019_Lem_41
( (8, 4, 7) ) : 1890991275768678
CKMP2019_Cor_42
(
show
(8, 4, 3, 4)
) : 1890991275768262
CKMP2019_Lem_41
(
show
(8, 4, 3, 4)
) : 1890991275768262
CKMP2019_Cor_42
(
show
(8, 4, 4, 3)
) : 1890991275762430
CKMP2019_Lem_41
(
show
(8, 4, 4, 3)
) : 1890991275762430
construction_D
( 11 ) : 1890991270978731
generalized_linkage
( 3,0 ) : 1888164755953407
generalized_linkage_multipleblocks
(
show
[3, 16],[0, 0]
) : 1888164755953407
generalized_linkage_multipleblocks
(
show
[3, 13, 3],[0, 0, 0]
) : 1888164755442403
generalized_linkage_multipleblocks
(
show
[3, 13, 3],[0, 0, 1]
) : 1888164755442247
generalized_linkage_multipleblocks
(
show
[3, 12, 4],[0, 0, 1]
) : 1888164754295881
generalized_linkage_multipleblocks
(
show
[3, 12, 4],[0, 0, 0]
) : 1888164754295686
generalized_linkage_multipleblocks
(
show
[3, 11, 5],[0, 0, 1]
) : 1888164750893599
generalized_linkage_multipleblocks
(
show
[3, 11, 5],[0, 0, 0]
) : 1888164750888529
generalized_linkage_multipleblocks
(
show
[3, 7, 9],[0, 0, 0]
) : 1888164744039466
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 0, 0, 0]
) : 1888164743986738
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 0, 0, 1]
) : 1888164743984710
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 0, 0, 0]
) : 1888164742561054
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 0, 0, 0]
) : 1888164742534690
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 0, 0, 1]
) : 1888164742508326
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 0, 0, 1]
) : 1888164742083798
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 0, 1, 0]
) : 1888164741056278
generalized_linkage_multipleblocks
(
show
[3, 10, 6],[0, 0, 0]
) : 1888164741031942
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 0, 0, 0]
) : 1888164741029914
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 0, 1, 1]
) : 1888164741029914
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 0, 0, 1]
) : 1888164741027886
generalized_linkage_multipleblocks
(
show
[3, 10, 6],[0, 0, 1]
) : 1888164740995230
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 0, 1, 0]
) : 1888164740916190
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 0, 1, 1]
) : 1888164740914162
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 0, 1, 0]
) : 1888164717223690
generalized_linkage_multipleblocks
(
show
[3, 7, 9],[0, 0, 1]
) : 1888164717221662
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 0, 1, 1]
) : 1888164717221662
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 0, 1, 1]
) : 1888164715406641
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 0, 1, 0]
) : 1888164715404106
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 0, 0, 1]
) : 1888164682142371
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 0, 0, 0]
) : 1888164682139836
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 0, 1, 1]
) : 1888164672712249
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 0, 1, 0]
) : 1888164672646339
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 0, 0, 1]
) : 1888164661197694
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 0, 0, 0]
) : 1888164661131784
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 0, 1, 0]
) : 1888164659656258
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 1, 0, 0]
) : 1888164659629894
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 1, 0, 1]
) : 1888164659603530
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 0, 1, 1]
) : 1888164659179002
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 1, 1, 0]
) : 1888164658151482
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 0, 1, 1, 1]
) : 1888164658125118
generalized_linkage_multipleblocks
(
show
[3, 9, 7],[0, 0, 0]
) : 1887217858773750
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 0, 0, 1]
) : 1887217858708009
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 0, 0, 0]
) : 1887217858705474
generalized_linkage_multipleblocks
(
show
[3, 9, 7],[0, 0, 1]
) : 1887217858377835
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 0, 1, 0]
) : 1887217857862021
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 0, 1, 1]
) : 1887217857859993
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 0, 0, 0]
) : 1887217857719866
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 0, 0, 1]
) : 1887217857717838
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 0, 1, 1]
) : 1887217857684493
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 0, 1, 0]
) : 1887217857681958
generalized_linkage_multipleblocks
(
show
[3, 6, 10],[0, 0, 0]
) : 1887198509249218
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 0, 0, 0]
) : 1887198509249218
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 0, 0, 1]
) : 1887198509247190
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 0, 0, 1]
) : 1887198485597161
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 0, 0, 0]
) : 1887198485594626
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 0, 0, 0]
) : 1887198473202870
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 0, 0, 1]
) : 1887198472348237
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 0, 0, 0]
) : 1887198472315282
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 0, 0, 1]
) : 1887198468055975
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 0, 1, 0]
) : 1887198461350393
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 0, 1, 1]
) : 1887198461324029
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 0, 0, 0]
) : 1887198459502378
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 0, 0, 1]
) : 1887198459476014
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 0, 1, 1]
) : 1887198459042529
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 0, 1, 0]
) : 1887198459009574
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 0, 1, 1]
) : 1887198244729729
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 0, 1, 0]
) : 1887198244727194
generalized_linkage_multipleblocks
(
show
[3, 6, 10],[0, 0, 1]
) : 1887198244726687
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 0, 1, 1]
) : 1887198228476167
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 0, 1, 0]
) : 1887198228410257
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 0, 1, 0]
) : 1887198220627183
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 0, 1, 1]
) : 1887198220625155
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 0, 0, 1]
) : 1887197929097737
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 0, 0, 0]
) : 1887197929031827
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 0, 1, 0]
) : 1887197844651505
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 1, 0, 0]
) : 1887197844625141
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 1, 0, 1]
) : 1887197844598777
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 0, 1, 1]
) : 1887197844174249
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 1, 1, 0]
) : 1887197843146729
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 1, 1, 1]
) : 1887197843120365
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 0, 0, 0]
) : 1887197741020510
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 0, 0, 0]
) : 1887197740994146
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 0, 0, 1]
) : 1887197740967782
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 0, 0, 1]
) : 1887197740543254
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 0, 1, 0]
) : 1887197739515734
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 0, 0, 1, 1]
) : 1887197739489370
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 0, 1, 0]
) : 1887197727059706
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 1, 0, 1]
) : 1887197726205073
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 1, 0, 0]
) : 1887197726172118
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 0, 1, 1]
) : 1887197721912811
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 1, 1, 0]
) : 1887197715207229
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 1, 1, 1]
) : 1887197715180865
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 1, 0, 0]
) : 1887197713359214
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 0, 1, 0, 1]
) : 1887197713332850
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 1, 1, 1]
) : 1887197712899365
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 0, 1, 1, 0]
) : 1887197712866410
generalized_linkage_multipleblocks
(
show
[3, 8, 8],[0, 0, 0]
) : 1886741579725219
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 0, 0, 1]
) : 1886741579648155
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 0, 0, 0]
) : 1886741579582245
generalized_linkage_multipleblocks
(
show
[3, 8, 8],[0, 0, 1]
) : 1886741576691331
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 0, 1, 0]
) : 1886741576689303
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 0, 1, 1]
) : 1886741576687275
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 0, 0, 0]
) : 1886741572993273
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 0, 0, 1]
) : 1886741572991245
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 0, 1, 1]
) : 1886741571934384
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 0, 1, 0]
) : 1886741571931849
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 0, 0, 1]
) : 1886741570654989
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 0, 0, 0]
) : 1886741570652454
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 0, 1, 1]
) : 1886741570436511
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 0, 1, 0]
) : 1886741570370601
generalized_linkage_multipleblocks
(
show
[3, 3, 13],[0, 0, 0]
) : 1886691165286339
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 0, 0, 0]
) : 1886691165082018
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 0, 0, 0]
) : 1886691165055654
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 0, 0, 0]
) : 1886691165029290
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 0, 0, 1]
) : 1886691165029290
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 0, 0, 1]
) : 1886691165027262
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 0, 0, 1]
) : 1886691164604762
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 0, 1, 0]
) : 1886691163577242
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 0, 1, 1]
) : 1886691163550878
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 0, 0, 1]
) : 1886674279595569
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 0, 0, 0]
) : 1886674279593034
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 0, 0, 0]
) : 1886673934558578
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 0, 0, 1]
) : 1886673933703945
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 0, 0, 0]
) : 1886673933670990
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 0, 0, 1]
) : 1886673929411683
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 0, 1, 0]
) : 1886673922706101
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 0, 1, 1]
) : 1886673922679737
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 0, 0, 0]
) : 1886673920858086
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 0, 0, 1]
) : 1886673920831722
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 0, 1, 1]
) : 1886673920398237
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 0, 1, 0]
) : 1886673920365282
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 0, 0, 1]
) : 1886665786241323
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 0, 0, 0]
) : 1886665786175413
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 0, 0, 0]
) : 1886664887267962
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 0, 0, 0]
) : 1886664887267962
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 0, 0, 1]
) : 1886664887241598
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 0, 0, 1]
) : 1886664579791221
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 0, 0, 0]
) : 1886664579758266
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 0, 0, 0]
) : 1886664418665438
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 0, 0, 1]
) : 1886664407555209
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 0, 0, 0]
) : 1886664407126794
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 0, 0, 1]
) : 1886664351755803
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 0, 1, 0]
) : 1886664264583237
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 0, 1, 1]
) : 1886664264240505
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 0, 0, 0]
) : 1886664240559042
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 0, 0, 1]
) : 1886664240216310
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 0, 1, 1]
) : 1886664234581005
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 0, 1, 0]
) : 1886664234152590
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 0, 1, 1]
) : 1886661448514605
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 0, 1, 0]
) : 1886661448481650
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 0, 0, 1]
) : 1886661448475059
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 0, 1, 1]
) : 1886661237218299
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 0, 1, 0]
) : 1886661236361469
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 0, 1, 0]
) : 1886661135181507
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 0, 1, 1]
) : 1886661135155143
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 0, 0, 1]
) : 1886657345298709
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 0, 0, 0]
) : 1886657344441879
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 0, 1, 0]
) : 1886656247497693
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 1, 0, 0]
) : 1886656247154961
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 1, 0, 1]
) : 1886656246812229
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 0, 1, 1]
) : 1886656241293365
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 1, 1, 0]
) : 1886656227935605
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 1, 1, 1]
) : 1886656227592873
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 0, 0, 0]
) : 1886654900294758
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 0, 0, 0]
) : 1886654899952026
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 0, 0, 1]
) : 1886654899609294
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 0, 0, 1]
) : 1886654894090430
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 0, 1, 0]
) : 1886654880732670
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 0, 0, 1, 1]
) : 1886654880389938
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 0, 1, 0]
) : 1886654718804306
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 1, 0, 1]
) : 1886654707694077
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 1, 0, 0]
) : 1886654707265662
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 0, 1, 1]
) : 1886654651894671
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 1, 1, 0]
) : 1886654564722105
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 1, 1, 1]
) : 1886654564379373
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 1, 0, 0]
) : 1886654540697910
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 0, 1, 0, 1]
) : 1886654540355178
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 1, 1, 1]
) : 1886654534719873
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 0, 1, 1, 0]
) : 1886654534291458
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 0, 1, 0]
) : 1886498342200650
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 1, 0, 1]
) : 1886498341346017
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 1, 0, 0]
) : 1886498341313062
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 0, 1, 1]
) : 1886498337053755
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 1, 1, 0]
) : 1886498330348173
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 1, 1, 1]
) : 1886498330321809
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 1, 0, 0]
) : 1886498328500158
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 0, 1, 0, 1]
) : 1886498328473794
generalized_linkage_multipleblocks
(
show
[3, 3, 13],[0, 0, 1]
) : 1886498328163003
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 0, 1, 0]
) : 1886498328104191
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 0, 1, 1]
) : 1886498328102163
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 1, 1, 1]
) : 1886498328040309
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 0, 1, 1, 0]
) : 1886498328007354
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 0, 1, 1]
) : 1886498327983525
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 0, 1, 0]
) : 1886498327980990
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 0, 1, 1]
) : 1886486638188811
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 0, 1, 0]
) : 1886486638122901
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 0, 1, 0]
) : 1886486520968383
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 1, 0, 1]
) : 1886486519966551
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 1, 0, 0]
) : 1886486519109721
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 0, 1, 1]
) : 1886486481527839
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 1, 1, 0]
) : 1886486481501475
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 1, 1, 1]
) : 1886486481475111
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 1, 0, 0]
) : 1886486433453085
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 1, 0, 1]
) : 1886486433426721
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 1, 1, 1]
) : 1886486419687528
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 1, 1, 0]
) : 1886486419654573
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 1, 0, 1]
) : 1886486403055393
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 1, 0, 0]
) : 1886486403022438
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 1, 1, 1]
) : 1886486400215179
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 1, 1, 0]
) : 1886486399358349
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 0, 1, 0]
) : 1886480759618503
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 1, 0, 0]
) : 1886480759592139
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 1, 0, 1]
) : 1886480759565775
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 0, 1, 1]
) : 1886480759141247
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 1, 1, 0]
) : 1886480758113727
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 0, 1, 1, 1]
) : 1886480758087363
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 0, 0, 0]
) : 1886268274092913
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 0, 0, 1]
) : 1886268273091081
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 0, 0, 0]
) : 1886268272234251
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 0, 0, 1]
) : 1886268234652369
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 0, 1, 0]
) : 1886268234626005
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 0, 1, 1]
) : 1886268234599641
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 0, 0, 0]
) : 1886268186577615
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 0, 0, 0, 1]
) : 1886268186551251
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 0, 1, 1]
) : 1886268172812058
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 0, 1, 0]
) : 1886268172779103
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 0, 0, 1]
) : 1886268156179923
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 0, 0, 0, 0]
) : 1886268156146968
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 0, 1, 1]
) : 1886268153339709
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 0, 0, 1, 0]
) : 1886268152482879
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 0, 1, 0]
) : 1886206674008341
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 1, 0, 0]
) : 1886206673322877
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 1, 0, 1]
) : 1886206673296513
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 1, 0, 0]
) : 1886206654788985
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 0, 0, 0]
) : 1886206654446253
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 0, 0, 1]
) : 1886206654103521
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 1, 0, 1]
) : 1886206648584657
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 0, 1, 0]
) : 1886206635226897
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 0, 1, 1]
) : 1886206634884165
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 1, 1, 0]
) : 1886206325403253
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 0, 1, 1]
) : 1886206325376889
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 1, 1, 1]
) : 1886206325376889
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 1, 1, 1]
) : 1886206301781616
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 1, 1, 0]
) : 1886206301748661
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 1, 0, 1]
) : 1886205869346106
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 1, 0, 0]
) : 1886205869313151
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 1, 1, 1]
) : 1886205746754520
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 1, 1, 0]
) : 1886205745897690
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 1, 0, 1]
) : 1886205597065305
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 1, 0, 0]
) : 1886205596208475
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 1, 1, 0]
) : 1886205577026637
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 1, 0, 0]
) : 1886205576683905
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 1, 0, 1]
) : 1886205576341173
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 1, 1, 1]
) : 1886205570822309
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 1, 1, 0]
) : 1886205557464549
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 1, 1, 1, 1]
) : 1886205557121817
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 0, 0, 0]
) : 1886131127012986
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 0, 0, 0]
) : 1886131126327522
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 0, 0, 1]
) : 1886131126301158
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 0, 0, 0]
) : 1886131107793630
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 0, 0, 0]
) : 1886131107450898
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 0, 0, 1]
) : 1886131107108166
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 0, 0, 1]
) : 1886131101589302
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 0, 1, 0]
) : 1886131088231542
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 0, 1, 1]
) : 1886131087888810
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 0, 1, 0]
) : 1886130778407898
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 0, 0, 1]
) : 1886130778381534
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 0, 0, 1, 1]
) : 1886130778381534
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 0, 1, 1]
) : 1886130754786261
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 0, 1, 0]
) : 1886130754753306
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 0, 0, 1]
) : 1886130322350751
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 0, 0, 0, 0]
) : 1886130322317796
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 0, 1, 1]
) : 1886130199759165
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 0, 1, 0]
) : 1886130198902335
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 0, 0, 1]
) : 1886130050069950
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 0, 0, 0, 0]
) : 1886130049213120
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 0, 1, 0]
) : 1886130030031282
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 1, 0, 0]
) : 1886130029688550
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 1, 0, 1]
) : 1886130029345818
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 0, 0, 1, 1]
) : 1886130023826954
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 1, 1, 0]
) : 1886130010469194
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 0, 0, 1, 1, 1]
) : 1886130010126462
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 0, 1, 0]
) : 1886120948901406
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 1, 0, 0]
) : 1886120948901406
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 1, 0, 1]
) : 1886120948875042
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 1, 0, 1]
) : 1886120641424665
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 1, 0, 0]
) : 1886120641391710
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 1, 0, 0]
) : 1886120480298882
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 0, 0, 1]
) : 1886120469188653
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 0, 0, 0]
) : 1886120468760238
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 1, 0, 1]
) : 1886120413389247
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 0, 1, 0]
) : 1886120326216681
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 0, 1, 1]
) : 1886120325873949
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 0, 0, 0]
) : 1886120302192486
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 0, 0, 1]
) : 1886120301849754
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 0, 1, 1]
) : 1886120296214449
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 0, 1, 0]
) : 1886120295786034
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 1, 1, 1]
) : 1886117510148049
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 0, 1, 1, 0]
) : 1886117510115094
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 0, 1, 1]
) : 1886117510108503
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 1, 1, 1]
) : 1886117298851743
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 1, 1, 0]
) : 1886117297994913
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 1, 1, 0]
) : 1886117196814951
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 0, 1, 1, 1]
) : 1886117196788587
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 1, 0, 1]
) : 1886113406932153
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 0, 1, 0, 0]
) : 1886113406075323
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 1, 1, 0]
) : 1886112309131137
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 1, 0, 0]
) : 1886112308788405
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 1, 0, 1]
) : 1886112308445673
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 1, 1, 1]
) : 1886112302926809
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 1, 1, 0]
) : 1886112289569049
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 1, 1, 1]
) : 1886112289226317
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 1, 0, 0]
) : 1886110961928202
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 0, 0, 0]
) : 1886110961585470
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 0, 0, 1]
) : 1886110961242738
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 0, 1, 0, 1]
) : 1886110955723874
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 0, 1, 0]
) : 1886110942366114
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 0, 1, 0, 1, 1]
) : 1886110942023382
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 1, 1, 0]
) : 1886110780437750
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 1, 0, 1]
) : 1886110769327521
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 1, 0, 0]
) : 1886110768899106
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 0, 1, 1, 1]
) : 1886110713528115
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 1, 1, 0]
) : 1886110626355549
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 1, 1, 1]
) : 1886110626012817
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 1, 0, 0]
) : 1886110602331354
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 0, 1, 1, 0, 1]
) : 1886110601988622
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 1, 1, 1]
) : 1886110596353317
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 0, 1, 1, 1, 0]
) : 1886110595924902
construction_ST_B_recursive
( ) : 1878886369451071
generalized_linkage_multipleblocks
(
show
[3, 6, 10],[0, 1, 0]
) : 1877351830100794
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 1, 0, 0]
) : 1877351830100794
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 1, 0, 1]
) : 1877351830098766
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 1, 0, 1]
) : 1877351806448737
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 1, 0, 0]
) : 1877351806446202
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 1, 0, 0]
) : 1877351794054446
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 0, 0, 1]
) : 1877351793199813
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 0, 0, 0]
) : 1877351793166858
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 1, 0, 1]
) : 1877351788907551
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 0, 1, 0]
) : 1877351782201969
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 0, 1, 1]
) : 1877351782175605
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 0, 0, 0]
) : 1877351780353954
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 0, 0, 1]
) : 1877351780327590
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 0, 1, 1]
) : 1877351779894105
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 0, 1, 0]
) : 1877351779861150
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 1, 1, 1]
) : 1877351565581305
generalized_linkage_multipleblocks
(
show
[3, 6, 6, 4],[0, 1, 1, 0]
) : 1877351565578770
generalized_linkage_multipleblocks
(
show
[3, 6, 10],[0, 1, 1]
) : 1877351565578263
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 1, 1, 1]
) : 1877351549327743
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 1, 1, 0]
) : 1877351549261833
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 1, 1, 0]
) : 1877351541478759
generalized_linkage_multipleblocks
(
show
[3, 6, 7, 3],[0, 1, 1, 1]
) : 1877351541476731
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 1, 0, 1]
) : 1877351249949313
generalized_linkage_multipleblocks
(
show
[3, 6, 5, 5],[0, 1, 0, 0]
) : 1877351249883403
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 1, 1, 0]
) : 1877351165503081
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 1, 0, 0]
) : 1877351165476717
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 1, 0, 1]
) : 1877351165450353
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 1, 1, 1]
) : 1877351165025825
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 1, 1, 0]
) : 1877351163998305
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 1, 1, 1]
) : 1877351163971941
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 1, 0, 0]
) : 1877351061872086
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 0, 0, 0]
) : 1877351061845722
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 0, 0, 1]
) : 1877351061819358
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 6],[0, 1, 0, 1]
) : 1877351061394830
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 0, 1, 0]
) : 1877351060367310
generalized_linkage_multipleblocks
(
show
[3, 6, 4, 3, 3],[0, 1, 0, 1, 1]
) : 1877351060340946
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 1, 1, 0]
) : 1877351047911282
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 1, 0, 1]
) : 1877351047056649
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 1, 0, 0]
) : 1877351047023694
generalized_linkage
( 3,1 ) : 1877351042999080
generalized_linkage_multipleblocks
(
show
[3, 16],[0, 1]
) : 1877351042999080
improved_linkage
( 3 ) : 1877351042999080
generalized_linkage_multipleblocks
(
show
[3, 13, 3],[0, 1, 0]
) : 1877351042910715
generalized_linkage_multipleblocks
(
show
[3, 13, 3],[0, 1, 1]
) : 1877351042910559
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 7],[0, 1, 1, 1]
) : 1877351042764387
generalized_linkage_multipleblocks
(
show
[3, 12, 4],[0, 1, 1]
) : 1877351042645554
generalized_linkage_multipleblocks
(
show
[3, 12, 4],[0, 1, 0]
) : 1877351042645359
generalized_linkage_multipleblocks
(
show
[3, 11, 5],[0, 1, 1]
) : 1877351041861111
generalized_linkage_multipleblocks
(
show
[3, 11, 5],[0, 1, 0]
) : 1877351041856041
generalized_linkage_multipleblocks
(
show
[3, 10, 6],[0, 1, 0]
) : 1877351039616775
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 1, 0, 0]
) : 1877351039614747
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 1, 0, 1]
) : 1877351039612719
generalized_linkage_multipleblocks
(
show
[3, 10, 6],[0, 1, 1]
) : 1877351039580063
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 1, 1, 0]
) : 1877351039501023
generalized_linkage_multipleblocks
(
show
[3, 10, 3, 3],[0, 1, 1, 1]
) : 1877351039498995
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 1, 1, 0]
) : 1877351036058805
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 1, 1, 1]
) : 1877351036032441
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 1, 0, 0]
) : 1877351034210790
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 4, 3],[0, 1, 1, 0, 1]
) : 1877351034184426
generalized_linkage_multipleblocks
(
show
[3, 9, 7],[0, 1, 0]
) : 1877351033759898
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 1, 1, 1]
) : 1877351033750941
generalized_linkage_multipleblocks
(
show
[3, 6, 3, 3, 4],[0, 1, 1, 1, 0]
) : 1877351033717986
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 1, 0, 1]
) : 1877351033694157
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 1, 0, 0]
) : 1877351033691622
generalized_linkage_multipleblocks
(
show
[3, 9, 7],[0, 1, 1]
) : 1877351033363983
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 1, 1, 0]
) : 1877351032848169
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 1, 1, 1]
) : 1877351032846141
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 1, 0, 0]
) : 1877351032706014
generalized_linkage_multipleblocks
(
show
[3, 9, 4, 3],[0, 1, 0, 1]
) : 1877351032703986
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 1, 1, 1]
) : 1877351032670641
generalized_linkage_multipleblocks
(
show
[3, 9, 3, 4],[0, 1, 1, 0]
) : 1877351032668106
generalized_linkage_multipleblocks
(
show
[3, 8, 8],[0, 1, 0]
) : 1876695508165123
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 1, 0, 1]
) : 1876695508088059
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 1, 0, 0]
) : 1876695508022149
generalized_linkage_multipleblocks
(
show
[3, 8, 8],[0, 1, 1]
) : 1876695505131235
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 1, 1, 0]
) : 1876695505129207
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 1, 1, 1]
) : 1876695505127179
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 1, 0, 0]
) : 1876695501433177
generalized_linkage_multipleblocks
(
show
[3, 8, 5, 3],[0, 1, 0, 1]
) : 1876695501431149
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 1, 1, 1]
) : 1876695500374288
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 1, 1, 0]
) : 1876695500371753
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 1, 0, 1]
) : 1876695499094893
generalized_linkage_multipleblocks
(
show
[3, 8, 4, 4],[0, 1, 0, 0]
) : 1876695499092358
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 1, 1, 1]
) : 1876695498876415
generalized_linkage_multipleblocks
(
show
[3, 8, 3, 5],[0, 1, 1, 0]
) : 1876695498810505
generalized_linkage_multipleblocks
(
show
[3, 5, 11],[0, 1, 0]
) : 1876689245088199
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 1, 0, 1]
) : 1876689245070961
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 1, 0, 0]
) : 1876689245068426
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 1, 0, 1]
) : 1876689032302327
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 1, 0, 0]
) : 1876689032236417
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 1, 0, 0]
) : 1876688931768283
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 1, 0, 1]
) : 1876688931766255
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 1, 0, 0]
) : 1876688915081899
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 0, 0, 1]
) : 1876688914080067
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 0, 0, 0]
) : 1876688913223237
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 1, 0, 1]
) : 1876688875641355
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 0, 1, 0]
) : 1876688875614991
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 0, 1, 1]
) : 1876688875588627
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 0, 0, 0]
) : 1876688827566601
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 0, 0, 1]
) : 1876688827540237
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 0, 1, 1]
) : 1876688813801044
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 0, 1, 0]
) : 1876688813768089
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 0, 0, 1]
) : 1876688797168909
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 0, 0, 0]
) : 1876688797135954
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 0, 1, 1]
) : 1876688794328695
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 0, 1, 0]
) : 1876688793471865
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 1, 1, 1]
) : 1876686864495439
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 1, 1, 0]
) : 1876686864429529
generalized_linkage_multipleblocks
(
show
[3, 5, 11],[0, 1, 1]
) : 1876686864383743
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 1, 1, 0]
) : 1876686720063931
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 1, 1, 1]
) : 1876686720061903
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 1, 1, 0]
) : 1876686718638247
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 1, 0, 0]
) : 1876686718611883
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 1, 0, 1]
) : 1876686718585519
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 1, 1, 1]
) : 1876686718160991
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 1, 1, 0]
) : 1876686717133471
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 1, 1, 1]
) : 1876686717107107
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 1, 1, 1]
) : 1876686647472646
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 1, 1, 0]
) : 1876686647470111
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 1, 0, 0]
) : 1876684024232377
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 0, 0, 0]
) : 1876684024206013
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 0, 0, 1]
) : 1876684024179649
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 1, 0, 1]
) : 1876684023755121
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 0, 1, 0]
) : 1876684022727601
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 1, 0, 1, 1]
) : 1876684022701237
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 1, 1, 0]
) : 1876683264128409
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 1, 0, 1]
) : 1876683263273776
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 1, 0, 0]
) : 1876683263240821
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 1, 1, 1]
) : 1876683258981514
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 1, 1, 0]
) : 1876683252275932
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 1, 1, 1]
) : 1876683252249568
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 1, 0, 0]
) : 1876683250427917
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 1, 0, 1]
) : 1876683250401553
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 1, 1, 1]
) : 1876683249968068
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 1, 1, 0]
) : 1876683249935113
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 1, 0, 0]
) : 1876682331449454
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 0, 0, 1]
) : 1876682330594821
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 0, 0, 0]
) : 1876682330561866
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 1, 0, 1]
) : 1876682326302559
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 0, 1, 0]
) : 1876682319596977
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 0, 1, 1]
) : 1876682319570613
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 0, 0, 0]
) : 1876682317748962
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 1, 0, 0, 1]
) : 1876682317722598
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 0, 1, 1]
) : 1876682317289113
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 1, 0, 1, 0]
) : 1876682317256158
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 1, 1, 0]
) : 1876682199793423
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 1, 0, 1]
) : 1876682198791591
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 1, 0, 0]
) : 1876682197934761
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 1, 1, 1]
) : 1876682160352879
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 1, 1, 0]
) : 1876682160326515
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 1, 1, 1]
) : 1876682160300151
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 1, 0, 0]
) : 1876682112278125
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 1, 1, 0, 1]
) : 1876682112251761
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 1, 1, 1]
) : 1876682098512568
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 1, 1, 0]
) : 1876682098479613
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 1, 0, 1]
) : 1876682081880433
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 1, 1, 0, 0]
) : 1876682081847478
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 1, 1, 1]
) : 1876682079040219
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 1, 1, 1, 0]
) : 1876682078183389
construction_ST_B
( ) : 1876440658642825
generalized_linkage_multipleblocks
(
show
[3, 7, 9],[0, 1, 0]
) : 1876365853046971
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 1, 0, 0]
) : 1876365852994243
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 1, 0, 1]
) : 1876365852992215
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 1, 0, 0]
) : 1876365851568559
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 0, 0, 0]
) : 1876365851542195
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 0, 0, 1]
) : 1876365851515831
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 1, 0, 1]
) : 1876365851091303
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 0, 1, 0]
) : 1876365850063783
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 0, 1, 1]
) : 1876365850037419
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 1, 1, 0]
) : 1876365826231195
generalized_linkage_multipleblocks
(
show
[3, 7, 9],[0, 1, 1]
) : 1876365826229167
generalized_linkage_multipleblocks
(
show
[3, 7, 6, 3],[0, 1, 1, 1]
) : 1876365826229167
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 1, 1, 1]
) : 1876365824414146
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 1, 1, 0]
) : 1876365824411611
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 1, 0, 1]
) : 1876365791149876
generalized_linkage_multipleblocks
(
show
[3, 7, 5, 4],[0, 1, 0, 0]
) : 1876365791147341
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 1, 1, 1]
) : 1876365781719754
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 1, 1, 0]
) : 1876365781653844
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 1, 0, 1]
) : 1876365770205199
generalized_linkage_multipleblocks
(
show
[3, 7, 4, 5],[0, 1, 0, 0]
) : 1876365770139289
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 1, 1, 0]
) : 1876365768663763
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 1, 0, 0]
) : 1876365768637399
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 1, 0, 1]
) : 1876365768611035
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 6],[0, 1, 1, 1]
) : 1876365768186507
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 1, 1, 0]
) : 1876365767158987
generalized_linkage_multipleblocks
(
show
[3, 7, 3, 3, 3],[0, 1, 1, 1, 1]
) : 1876365767132623
two_pivot_block_construction
( ) : 1876182941212488
multicomponent
( ) : 1876182941212435
generalized_linkage_multipleblocks
(
show
[3, 5, 11],[0, 0, 0]
) : 1864450631840689
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 0, 0, 1]
) : 1864450631823451
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 0, 0, 0]
) : 1864450631820916
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 0, 0, 1]
) : 1864450419054817
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 0, 0, 0]
) : 1864450418988907
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 0, 0, 0]
) : 1864450318520773
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 0, 0, 1]
) : 1864450318518745
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 0, 0, 0]
) : 1864450301834389
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 0, 0, 1]
) : 1864450300832557
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 0, 0, 0]
) : 1864450299975727
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 0, 0, 1]
) : 1864450262393845
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 0, 1, 0]
) : 1864450262367481
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 0, 1, 1]
) : 1864450262341117
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 0, 0, 0]
) : 1864450214319091
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 0, 0, 1]
) : 1864450214292727
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 0, 1, 1]
) : 1864450200553534
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 0, 1, 0]
) : 1864450200520579
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 0, 0, 1]
) : 1864450183921399
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 0, 0, 0]
) : 1864450183888444
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 0, 1, 1]
) : 1864450181081185
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 0, 1, 0]
) : 1864450180224355
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 0, 1, 1]
) : 1864448251247929
generalized_linkage_multipleblocks
(
show
[3, 5, 6, 5],[0, 0, 1, 0]
) : 1864448251182019
generalized_linkage_multipleblocks
(
show
[3, 5, 11],[0, 0, 1]
) : 1864448251136233
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 0, 1, 0]
) : 1864448106816421
generalized_linkage_multipleblocks
(
show
[3, 5, 8, 3],[0, 0, 1, 1]
) : 1864448106814393
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 0, 1, 0]
) : 1864448105390737
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 1, 0, 0]
) : 1864448105364373
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 1, 0, 1]
) : 1864448105338009
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 0, 1, 1]
) : 1864448104913481
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 1, 1, 0]
) : 1864448103885961
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 1, 1, 1]
) : 1864448103859597
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 0, 1, 1]
) : 1864448034225136
generalized_linkage_multipleblocks
(
show
[3, 5, 7, 4],[0, 0, 1, 0]
) : 1864448034222601
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 0, 0, 0]
) : 1864445410984867
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 0, 0, 0]
) : 1864445410958503
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 0, 0, 1]
) : 1864445410932139
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 6],[0, 0, 0, 1]
) : 1864445410507611
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 0, 1, 0]
) : 1864445409480091
generalized_linkage_multipleblocks
(
show
[3, 5, 5, 3, 3],[0, 0, 0, 1, 1]
) : 1864445409453727
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 0, 1, 0]
) : 1864444650880899
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 1, 0, 1]
) : 1864444650026266
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 1, 0, 0]
) : 1864444649993311
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 0, 1, 1]
) : 1864444645734004
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 1, 1, 0]
) : 1864444639028422
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 1, 1, 1]
) : 1864444639002058
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 1, 0, 0]
) : 1864444637180407
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 1, 0, 1]
) : 1864444637154043
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 1, 1, 1]
) : 1864444636720558
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 1, 1, 0]
) : 1864444636687603
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 0, 0, 0]
) : 1864443718201944
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 0, 0, 1]
) : 1864443717347311
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 0, 0, 0]
) : 1864443717314356
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 7],[0, 0, 0, 1]
) : 1864443713055049
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 0, 1, 0]
) : 1864443706349467
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 0, 1, 1]
) : 1864443706323103
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 0, 0, 0]
) : 1864443704501452
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 4, 3],[0, 0, 0, 0, 1]
) : 1864443704475088
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 0, 1, 1]
) : 1864443704041603
generalized_linkage_multipleblocks
(
show
[3, 5, 4, 3, 4],[0, 0, 0, 1, 0]
) : 1864443704008648
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 0, 1, 0]
) : 1864443586545913
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 1, 0, 1]
) : 1864443585544081
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 1, 0, 0]
) : 1864443584687251
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 8],[0, 0, 1, 1]
) : 1864443547105369
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 1, 1, 0]
) : 1864443547079005
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 1, 1, 1]
) : 1864443547052641
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 1, 0, 0]
) : 1864443499030615
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 5, 3],[0, 0, 1, 0, 1]
) : 1864443499004251
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 1, 1, 1]
) : 1864443485265058
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 1, 1, 0]
) : 1864443485232103
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 1, 0, 1]
) : 1864443468632923
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 4, 4],[0, 0, 1, 0, 0]
) : 1864443468599968
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 1, 1, 1]
) : 1864443465792709
generalized_linkage_multipleblocks
(
show
[3, 5, 3, 3, 5],[0, 0, 1, 1, 0]
) : 1864443464935879
generalized_linkage_multipleblocks
(
show
[3, 4, 12],[0, 1, 0]
) : 1860997851500617
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 1, 0, 1]
) : 1860997851423553
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 1, 0, 0]
) : 1860997851357643
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 1, 0, 0]
) : 1860995975316697
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 1, 0, 1]
) : 1860995975314669
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 1, 0, 0]
) : 1860995936930713
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 0, 0, 0]
) : 1860995936904349
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 0, 0, 1]
) : 1860995936877985
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 1, 0, 1]
) : 1860995936453457
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 0, 1, 0]
) : 1860995935425937
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 0, 1, 1]
) : 1860995935399573
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 1, 0, 1]
) : 1860995031599572
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 1, 0, 0]
) : 1860995031597037
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 1, 0, 0]
) : 1860994898266177
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 0, 0, 0]
) : 1860994897580713
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 0, 0, 1]
) : 1860994897554349
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 0, 0, 0]
) : 1860994879046821
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 0, 0, 0]
) : 1860994878704089
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 0, 0, 1]
) : 1860994878361357
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 0, 0, 1]
) : 1860994872842493
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 0, 1, 0]
) : 1860994859484733
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 0, 1, 1]
) : 1860994859142001
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 0, 1, 0]
) : 1860994549661089
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 1, 0, 1]
) : 1860994549634725
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 0, 1, 1]
) : 1860994549634725
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 0, 1, 1]
) : 1860994526039452
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 0, 1, 0]
) : 1860994526006497
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 0, 0, 1]
) : 1860994093603942
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 0, 0, 0]
) : 1860994093570987
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 0, 1, 1]
) : 1860993971012356
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 0, 1, 0]
) : 1860993970155526
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 0, 0, 1]
) : 1860993821323141
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 0, 0, 0]
) : 1860993820466311
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 0, 1, 0]
) : 1860993801284473
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 1, 0, 0]
) : 1860993800941741
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 1, 0, 1]
) : 1860993800599009
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 0, 1, 1]
) : 1860993795080145
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 1, 1, 0]
) : 1860993781722385
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 0, 1, 1, 1]
) : 1860993781379653
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 1, 1, 0]
) : 1860976426668721
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 1, 0, 0]
) : 1860976426642357
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 1, 0, 1]
) : 1860976426615993
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 1, 1, 1]
) : 1860976426191465
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 1, 1, 0]
) : 1860976425163945
generalized_linkage_multipleblocks
(
show
[3, 4, 12],[0, 1, 1]
) : 1860976425155326
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 1, 1, 0]
) : 1860976425137581
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 1, 1, 1, 1]
) : 1860976425137581
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 1, 1, 1]
) : 1860976425135553
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 1, 1, 1]
) : 1860975126260404
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 1, 1, 0]
) : 1860975126257869
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 1, 1, 0]
) : 1860975113866113
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 1, 0, 1]
) : 1860975113011480
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 1, 0, 0]
) : 1860975112978525
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 1, 1, 1]
) : 1860975108719218
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 1, 1, 0]
) : 1860975102013636
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 1, 1, 1]
) : 1860975101987272
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 1, 0, 0]
) : 1860975100165621
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 1, 0, 1]
) : 1860975100139257
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 1, 1, 1]
) : 1860975099705772
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 1, 1, 0]
) : 1860975099672817
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 1, 1, 1]
) : 1860974473038718
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 1, 1, 0]
) : 1860974472972808
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 1, 0, 0]
) : 1860950864213283
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 0, 0, 1]
) : 1860950863358650
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 0, 0, 0]
) : 1860950863325695
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 1, 0, 1]
) : 1860950859066388
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 0, 1, 0]
) : 1860950852360806
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 0, 1, 1]
) : 1860950852334442
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 0, 0, 0]
) : 1860950850512791
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 1, 0, 0, 1]
) : 1860950850486427
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 0, 1, 1]
) : 1860950850052942
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 1, 0, 1, 0]
) : 1860950850019987
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 1, 1, 0]
) : 1860944017268776
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 1, 0, 1]
) : 1860944016266944
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 1, 0, 0]
) : 1860944015410114
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 1, 1, 1]
) : 1860943977828232
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 1, 1, 0]
) : 1860943977801868
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 1, 1, 1]
) : 1860943977775504
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 1, 0, 0]
) : 1860943929753478
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 1, 0, 1]
) : 1860943929727114
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 1, 1, 1]
) : 1860943915987921
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 1, 1, 0]
) : 1860943915954966
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 1, 0, 1]
) : 1860943899355786
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 1, 0, 0]
) : 1860943899322831
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 1, 1, 1]
) : 1860943896515572
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 1, 1, 0]
) : 1860943895658742
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 1, 0, 0]
) : 1860935623158181
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 0, 0, 1]
) : 1860935622156349
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 0, 0, 0]
) : 1860935621299519
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 1, 0, 1]
) : 1860935583717637
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 0, 1, 0]
) : 1860935583691273
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 0, 1, 1]
) : 1860935583664909
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 0, 0, 0]
) : 1860935535642883
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 1, 0, 0, 1]
) : 1860935535616519
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 0, 1, 1]
) : 1860935521877326
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 0, 1, 0]
) : 1860935521844371
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 0, 0, 1]
) : 1860935505245191
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 1, 0, 0, 0]
) : 1860935505212236
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 0, 1, 1]
) : 1860935502404977
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 1, 0, 1, 0]
) : 1860935501548147
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 1, 1, 0]
) : 1860934460669893
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 1, 0, 0]
) : 1860934459984429
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 1, 0, 1]
) : 1860934459958065
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 1, 0, 0]
) : 1860934441450537
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 0, 0, 0]
) : 1860934441107805
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 0, 0, 1]
) : 1860934440765073
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 1, 0, 1]
) : 1860934435246209
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 0, 1, 0]
) : 1860934421888449
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 0, 1, 1]
) : 1860934421545717
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 1, 1, 0]
) : 1860934112064805
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 1, 1, 1]
) : 1860934112038441
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 1, 1, 1, 1]
) : 1860934112038441
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 1, 1, 1]
) : 1860934088443168
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 1, 1, 0]
) : 1860934088410213
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 1, 0, 1]
) : 1860933656007658
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 1, 1, 0, 0]
) : 1860933655974703
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 1, 1, 1]
) : 1860933533416072
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 1, 1, 0]
) : 1860933532559242
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 1, 0, 1]
) : 1860933383726857
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 1, 1, 0, 0]
) : 1860933382870027
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 1, 1, 0]
) : 1860933363688189
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 1, 0, 0]
) : 1860933363345457
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 1, 0, 1]
) : 1860933363002725
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 1, 1, 1, 1]
) : 1860933357483861
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 1, 1, 0]
) : 1860933344126101
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 1, 1, 1, 1, 1]
) : 1860933343783369
generalized_linkage_multipleblocks
(
show
[3, 4, 12],[0, 0, 0]
) : 1856761408453402
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 0, 0, 1]
) : 1856761408376338
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 0, 0, 0]
) : 1856761408310428
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 0, 0, 0]
) : 1856759532269482
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 0, 0, 1]
) : 1856759532267454
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 0, 0, 0]
) : 1856759493883498
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 0, 0, 0]
) : 1856759493857134
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 0, 0, 1]
) : 1856759493830770
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 0, 0, 1]
) : 1856759493406242
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 0, 1, 0]
) : 1856759492378722
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 0, 1, 1]
) : 1856759492352358
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 0, 0, 1]
) : 1856758588552357
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 0, 0, 0]
) : 1856758588549822
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 0, 0, 0]
) : 1856758455218962
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 0, 0, 0]
) : 1856758454533498
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 0, 0, 1]
) : 1856758454507134
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 0, 0, 0]
) : 1856758435999606
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 0, 0, 0]
) : 1856758435656874
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 0, 0, 1]
) : 1856758435314142
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 0, 0, 1]
) : 1856758429795278
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 0, 1, 0]
) : 1856758416437518
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 0, 1, 1]
) : 1856758416094786
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 0, 1, 0]
) : 1856758106613874
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 0, 0, 1]
) : 1856758106587510
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 0, 1, 1]
) : 1856758106587510
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 0, 1, 1]
) : 1856758082992237
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 0, 1, 0]
) : 1856758082959282
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 0, 0, 1]
) : 1856757650556727
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 0, 0, 0]
) : 1856757650523772
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 0, 1, 1]
) : 1856757527965141
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 0, 1, 0]
) : 1856757527108311
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 0, 0, 1]
) : 1856757378275926
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 0, 0, 0]
) : 1856757377419096
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 0, 1, 0]
) : 1856757358237258
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 1, 0, 0]
) : 1856757357894526
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 1, 0, 1]
) : 1856757357551794
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 0, 1, 1]
) : 1856757352032930
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 1, 1, 0]
) : 1856757338675170
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 0, 1, 1, 1]
) : 1856757338332438
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 0, 1, 0]
) : 1856739983621506
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 1, 0, 0]
) : 1856739983595142
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 1, 0, 1]
) : 1856739983568778
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 6],[0, 0, 1, 1]
) : 1856739983144250
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 1, 1, 0]
) : 1856739982116730
generalized_linkage_multipleblocks
(
show
[3, 4, 12],[0, 0, 1]
) : 1856739982108111
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 0, 1, 0]
) : 1856739982090366
generalized_linkage_multipleblocks
(
show
[3, 4, 6, 3, 3],[0, 0, 1, 1, 1]
) : 1856739982090366
generalized_linkage_multipleblocks
(
show
[3, 4, 9, 3],[0, 0, 1, 1]
) : 1856739982088338
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 0, 1, 1]
) : 1856738683213189
generalized_linkage_multipleblocks
(
show
[3, 4, 8, 4],[0, 0, 1, 0]
) : 1856738683210654
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 0, 1, 0]
) : 1856738670818898
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 1, 0, 1]
) : 1856738669964265
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 1, 0, 0]
) : 1856738669931310
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 0, 1, 1]
) : 1856738665672003
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 1, 1, 0]
) : 1856738658966421
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 1, 1, 1]
) : 1856738658940057
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 1, 0, 0]
) : 1856738657118406
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 1, 0, 1]
) : 1856738657092042
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 1, 1, 1]
) : 1856738656658557
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 1, 1, 0]
) : 1856738656625602
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 0, 1, 1]
) : 1856738029991503
generalized_linkage_multipleblocks
(
show
[3, 4, 7, 5],[0, 0, 1, 0]
) : 1856738029925593
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 0, 0, 0]
) : 1856714421166068
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 0, 0, 1]
) : 1856714420311435
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 0, 0, 0]
) : 1856714420278480
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 7],[0, 0, 0, 1]
) : 1856714416019173
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 0, 1, 0]
) : 1856714409313591
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 0, 1, 1]
) : 1856714409287227
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 0, 0, 0]
) : 1856714407465576
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 4, 3],[0, 0, 0, 0, 1]
) : 1856714407439212
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 0, 1, 1]
) : 1856714407005727
generalized_linkage_multipleblocks
(
show
[3, 4, 5, 3, 4],[0, 0, 0, 1, 0]
) : 1856714406972772
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 0, 1, 0]
) : 1856707574221561
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 1, 0, 1]
) : 1856707573219729
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 1, 0, 0]
) : 1856707572362899
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 0, 1, 1]
) : 1856707534781017
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 1, 1, 0]
) : 1856707534754653
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 1, 1, 1]
) : 1856707534728289
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 1, 0, 0]
) : 1856707486706263
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 1, 0, 1]
) : 1856707486679899
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 1, 1, 1]
) : 1856707472940706
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 1, 1, 0]
) : 1856707472907751
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 1, 0, 1]
) : 1856707456308571
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 1, 0, 0]
) : 1856707456275616
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 1, 1, 1]
) : 1856707453468357
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 1, 1, 0]
) : 1856707452611527
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 0, 0, 0]
) : 1856699180110966
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 0, 0, 1]
) : 1856699179109134
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 0, 0, 0]
) : 1856699178252304
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 8],[0, 0, 0, 1]
) : 1856699140670422
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 0, 1, 0]
) : 1856699140644058
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 0, 1, 1]
) : 1856699140617694
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 0, 0, 0]
) : 1856699092595668
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 5, 3],[0, 0, 0, 0, 1]
) : 1856699092569304
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 0, 1, 1]
) : 1856699078830111
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 0, 1, 0]
) : 1856699078797156
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 0, 0, 1]
) : 1856699062197976
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 4, 4],[0, 0, 0, 0, 0]
) : 1856699062165021
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 0, 1, 1]
) : 1856699059357762
generalized_linkage_multipleblocks
(
show
[3, 4, 4, 3, 5],[0, 0, 0, 1, 0]
) : 1856699058500932
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 0, 1, 0]
) : 1856698017622678
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 1, 0, 0]
) : 1856698016937214
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 1, 0, 1]
) : 1856698016910850
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 1, 0, 0]
) : 1856697998403322
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 0, 0, 0]
) : 1856697998060590
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 0, 0, 1]
) : 1856697997717858
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 1, 0, 1]
) : 1856697992198994
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 0, 1, 0]
) : 1856697978841234
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 0, 1, 1]
) : 1856697978498502
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 1, 1, 0]
) : 1856697669017590
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 9],[0, 0, 1, 1]
) : 1856697668991226
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 6, 3],[0, 0, 1, 1, 1]
) : 1856697668991226
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 1, 1, 1]
) : 1856697645395953
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 1, 1, 0]
) : 1856697645362998
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 1, 0, 1]
) : 1856697212960443
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 5, 4],[0, 0, 1, 0, 0]
) : 1856697212927488
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 1, 1, 1]
) : 1856697090368857
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 1, 1, 0]
) : 1856697089512027
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 1, 0, 1]
) : 1856696940679642
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 4, 5],[0, 0, 1, 0, 0]
) : 1856696939822812
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 1, 1, 0]
) : 1856696920640974
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 1, 0, 0]
) : 1856696920298242
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 1, 0, 1]
) : 1856696919955510
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 6],[0, 0, 1, 1, 1]
) : 1856696914436646
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 1, 1, 0]
) : 1856696901078886
generalized_linkage_multipleblocks
(
show
[3, 4, 3, 3, 3, 3],[0, 0, 1, 1, 1, 1]
) : 1856696900736154
generalized_linkage_multipleblocks
(
show
[3, 3, 13],[0, 1, 0]
) : 1856188775346391
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 1, 0, 0]
) : 1856188775142070
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 0, 0, 0]
) : 1856188775115706
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 1, 0, 0]
) : 1856188775089342
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 0, 0, 1]
) : 1856188775089342
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 1, 0, 1]
) : 1856188775087314
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 1, 0, 1]
) : 1856188774664814
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 0, 1, 0]
) : 1856188773637294
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 0, 1, 1]
) : 1856188773610930
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 1, 0, 1]
) : 1856171889655621
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 1, 0, 0]
) : 1856171889653086
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 1, 0, 0]
) : 1856171544618630
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 0, 0, 1]
) : 1856171543763997
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 0, 0, 0]
) : 1856171543731042
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 1, 0, 1]
) : 1856171539471735
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 0, 1, 0]
) : 1856171532766153
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 0, 1, 1]
) : 1856171532739789
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 0, 0, 0]
) : 1856171530918138
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 0, 0, 1]
) : 1856171530891774
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 0, 1, 1]
) : 1856171530458289
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 0, 1, 0]
) : 1856171530425334
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 1, 0, 1]
) : 1856163396301375
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 1, 0, 0]
) : 1856163396235465
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 1, 0, 0]
) : 1856162497328014
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 1, 0, 0, 0]
) : 1856162497328014
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 1, 0, 0, 1]
) : 1856162497301650
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 1, 0, 0, 1]
) : 1856162189851273
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 1, 0, 0, 0]
) : 1856162189818318
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 1, 0, 0, 0]
) : 1856162028725490
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 0, 0, 1]
) : 1856162017615261
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 0, 0, 0]
) : 1856162017186846
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 1, 0, 0, 1]
) : 1856161961815855
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 0, 1, 0]
) : 1856161874643289
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 0, 1, 1]
) : 1856161874300557
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 0, 0, 0]
) : 1856161850619094
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 0, 0, 1]
) : 1856161850276362
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 0, 1, 1]
) : 1856161844641057
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 0, 1, 0]
) : 1856161844212642
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 1, 0, 1, 1]
) : 1856159058574657
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 1, 0, 1, 0]
) : 1856159058541702
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 1, 0, 1]
) : 1856159058535111
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 1, 0, 1, 1]
) : 1856158847278351
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 1, 0, 1, 0]
) : 1856158846421521
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 1, 0, 1, 0]
) : 1856158745241559
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 1, 0, 1, 1]
) : 1856158745215195
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 1, 0, 0, 1]
) : 1856154955358761
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 5, 5],[0, 1, 0, 0, 0]
) : 1856154954501931
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 1, 0, 1, 0]
) : 1856153857557745
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 1, 0, 0]
) : 1856153857215013
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 1, 0, 1]
) : 1856153856872281
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 1, 0, 1, 1]
) : 1856153851353417
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 1, 1, 0]
) : 1856153837995657
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 1, 1, 1]
) : 1856153837652925
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 1, 0, 0, 0]
) : 1856152510354810
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 0, 0, 0]
) : 1856152510012078
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 0, 0, 1]
) : 1856152509669346
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 6],[0, 1, 0, 0, 1]
) : 1856152504150482
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 0, 1, 0]
) : 1856152490792722
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 4, 3, 3],[0, 1, 0, 0, 1, 1]
) : 1856152490449990
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 1, 0, 1, 0]
) : 1856152328864358
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 1, 0, 1]
) : 1856152317754129
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 1, 0, 0]
) : 1856152317325714
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 1, 0, 1, 1]
) : 1856152261954723
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 1, 1, 0]
) : 1856152174782157
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 1, 1, 1]
) : 1856152174439425
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 1, 0, 0]
) : 1856152150757962
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 0, 1, 0, 1]
) : 1856152150415230
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 1, 1, 1]
) : 1856152144779925
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 0, 1, 1, 0]
) : 1856152144351510
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 1, 1, 0]
) : 1855995952260702
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 1, 0, 1]
) : 1855995951406069
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 1, 0, 0]
) : 1855995951373114
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 7],[0, 1, 1, 1]
) : 1855995947113807
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 1, 1, 0]
) : 1855995940408225
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 1, 1, 1]
) : 1855995940381861
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 1, 0, 0]
) : 1855995938560210
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 4, 3],[0, 1, 1, 0, 1]
) : 1855995938533846
generalized_linkage_multipleblocks
(
show
[3, 3, 13],[0, 1, 1]
) : 1855995938223055
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 1, 1, 0]
) : 1855995938164243
generalized_linkage_multipleblocks
(
show
[3, 3, 10, 3],[0, 1, 1, 1]
) : 1855995938162215
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 1, 1, 1]
) : 1855995938100361
generalized_linkage_multipleblocks
(
show
[3, 3, 6, 3, 4],[0, 1, 1, 1, 0]
) : 1855995938067406
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 1, 1, 1]
) : 1855995938043577
generalized_linkage_multipleblocks
(
show
[3, 3, 9, 4],[0, 1, 1, 0]
) : 1855995938041042
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 1, 1, 1]
) : 1855984248248863
generalized_linkage_multipleblocks
(
show
[3, 3, 8, 5],[0, 1, 1, 0]
) : 1855984248182953
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 1, 1, 0]
) : 1855984131028435
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 1, 0, 1]
) : 1855984130026603
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 1, 0, 0]
) : 1855984129169773
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 1, 1, 1]
) : 1855984091587891
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 1, 1, 0]
) : 1855984091561527
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 1, 1, 1]
) : 1855984091535163
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 1, 0, 0]
) : 1855984043513137
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 1, 0, 1]
) : 1855984043486773
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 1, 1, 1]
) : 1855984029747580
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 1, 1, 0]
) : 1855984029714625
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 1, 0, 1]
) : 1855984013115445
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 1, 0, 0]
) : 1855984013082490
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 1, 1, 1]
) : 1855984010275231
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 1, 1, 0]
) : 1855984009418401
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 1, 1, 0]
) : 1855978369678555
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 1, 0, 0]
) : 1855978369652191
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 1, 0, 1]
) : 1855978369625827
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 6],[0, 1, 1, 1]
) : 1855978369201299
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 1, 1, 0]
) : 1855978368173779
generalized_linkage_multipleblocks
(
show
[3, 3, 7, 3, 3],[0, 1, 1, 1, 1]
) : 1855978368147415
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 1, 0, 0]
) : 1855765884152965
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 0, 0, 1]
) : 1855765883151133
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 0, 0, 0]
) : 1855765882294303
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 8],[0, 1, 0, 1]
) : 1855765844712421
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 0, 1, 0]
) : 1855765844686057
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 0, 1, 1]
) : 1855765844659693
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 0, 0, 0]
) : 1855765796637667
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 5, 3],[0, 1, 0, 0, 1]
) : 1855765796611303
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 0, 1, 1]
) : 1855765782872110
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 0, 1, 0]
) : 1855765782839155
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 0, 0, 1]
) : 1855765766239975
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 4, 4],[0, 1, 0, 0, 0]
) : 1855765766207020
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 0, 1, 1]
) : 1855765763399761
generalized_linkage_multipleblocks
(
show
[3, 3, 5, 3, 5],[0, 1, 0, 1, 0]
) : 1855765762542931
CKMP2019_Cor_42
( (3, 16) ) : 1855723617090423
CKMP2019_Lem_41
( (3, 16) ) : 1855723617090423
linkage_GLT
( 3 ) : 1855723617090423
linkage_ST
( 16 ) : 1855723617090423
CKMP2019_Cor_42
( (3, 13, 3) ) : 1855723617051103
CKMP2019_Lem_41
( (3, 13, 3) ) : 1855723617051103
CKMP2019_Cor_42
( (3, 12, 4) ) : 1855723616962894
CKMP2019_Lem_41
( (3, 12, 4) ) : 1855723616962894
CKMP2019_Cor_42
( (3, 11, 5) ) : 1855723616700481
CKMP2019_Lem_41
( (3, 11, 5) ) : 1855723616700481
CKMP2019_Cor_42
( (3, 10, 6) ) : 1855723615933570
CKMP2019_Lem_41
( (3, 10, 6) ) : 1855723615933570
CKMP2019_Cor_42
(
show
(3, 10, 3, 3)
) : 1855723615933546
CKMP2019_Lem_41
(
show
(3, 10, 3, 3)
) : 1855723615933546
CKMP2019_Cor_42
( (3, 7, 9) ) : 1855723609574074
CKMP2019_Lem_41
( (3, 7, 9) ) : 1855723609574074
CKMP2019_Cor_42
(
show
(3, 7, 6, 3)
) : 1855723609573750
CKMP2019_Lem_41
(
show
(3, 7, 6, 3)
) : 1855723609573750
CKMP2019_Cor_42
(
show
(3, 7, 3, 6)
) : 1855723609556278
CKMP2019_Lem_41
(
show
(3, 7, 3, 6)
) : 1855723609556278
CKMP2019_Cor_42
(
show
(3, 7, 3, 3, 3)
) : 1855723609556254
CKMP2019_Lem_41
(
show
(3, 7, 3, 3, 3)
) : 1855723609556254
CKMP2019_Cor_42
(
show
(3, 7, 5, 4)
) : 1855723609207792
CKMP2019_Lem_41
(
show
(3, 7, 5, 4)
) : 1855723609207792
CKMP2019_Cor_42
(
show
(3, 7, 4, 5)
) : 1855723609083160
CKMP2019_Lem_41
(
show
(3, 7, 4, 5)
) : 1855723609083160
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 1, 1, 0]
) : 1855704284068393
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 1, 0, 0]
) : 1855704283382929
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 1, 0, 1]
) : 1855704283356565
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 1, 0, 0]
) : 1855704264849037
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 0, 0, 0]
) : 1855704264506305
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 0, 0, 1]
) : 1855704264163573
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 1, 0, 1]
) : 1855704258644709
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 0, 1, 0]
) : 1855704245286949
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 0, 1, 1]
) : 1855704244944217
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 1, 1, 0]
) : 1855703935463305
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 1, 1, 1]
) : 1855703935436941
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 1, 1, 1]
) : 1855703935436941
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 1, 1, 1]
) : 1855703911841668
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 1, 1, 0]
) : 1855703911808713
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 1, 0, 1]
) : 1855703479406158
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 1, 0, 0]
) : 1855703479373203
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 1, 1, 1]
) : 1855703356814572
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 1, 1, 0]
) : 1855703355957742
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 1, 0, 1]
) : 1855703207125357
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 1, 0, 0]
) : 1855703206268527
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 1, 1, 0]
) : 1855703187086689
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 1, 0, 0]
) : 1855703186743957
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 1, 0, 1]
) : 1855703186401225
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 1, 1, 1]
) : 1855703180882361
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 1, 1, 0]
) : 1855703167524601
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 1, 1, 1, 1]
) : 1855703167181869
CKMP2019_Cor_42
( (3, 9, 7) ) : 1855650778762098
CKMP2019_Lem_41
( (3, 9, 7) ) : 1855650778762098
CKMP2019_Cor_42
(
show
(3, 9, 3, 4)
) : 1855650778761682
CKMP2019_Lem_41
(
show
(3, 9, 3, 4)
) : 1855650778761682
CKMP2019_Cor_42
(
show
(3, 9, 4, 3)
) : 1855650778755850
CKMP2019_Lem_41
(
show
(3, 9, 4, 3)
) : 1855650778755850
CKMP2019_Cor_42
( (3, 6, 10) ) : 1855649229377170
CKMP2019_Lem_41
( (3, 6, 10) ) : 1855649229377170
CKMP2019_Cor_42
(
show
(3, 6, 7, 3)
) : 1855649229377158
CKMP2019_Lem_41
(
show
(3, 6, 7, 3)
) : 1855649229377158
CKMP2019_Cor_42
(
show
(3, 6, 6, 4)
) : 1855649229237190
CKMP2019_Lem_41
(
show
(3, 6, 6, 4)
) : 1855649229237190
CKMP2019_Cor_42
(
show
(3, 6, 3, 7)
) : 1855649229080142
CKMP2019_Lem_41
(
show
(3, 6, 3, 7)
) : 1855649229080142
CKMP2019_Cor_42
(
show
(3, 6, 3, 3, 4)
) : 1855649229079726
CKMP2019_Lem_41
(
show
(3, 6, 3, 3, 4)
) : 1855649229079726
CKMP2019_Cor_42
(
show
(3, 6, 3, 4, 3)
) : 1855649229073894
CKMP2019_Lem_41
(
show
(3, 6, 3, 4, 3)
) : 1855649229073894
CKMP2019_Cor_42
(
show
(3, 6, 5, 5)
) : 1855649225943595
CKMP2019_Lem_41
(
show
(3, 6, 5, 5)
) : 1855649225943595
CKMP2019_Cor_42
(
show
(3, 6, 4, 6)
) : 1855649224822390
CKMP2019_Lem_41
(
show
(3, 6, 4, 6)
) : 1855649224822390
CKMP2019_Cor_42
(
show
(3, 6, 4, 3, 3)
) : 1855649224822366
CKMP2019_Lem_41
(
show
(3, 6, 4, 3, 3)
) : 1855649224822366
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 1, 0, 0]
) : 1855628737073038
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 0, 0, 0]
) : 1855628736387574
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 0, 0, 1]
) : 1855628736361210
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 0, 0, 0]
) : 1855628717853682
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 0, 0, 0]
) : 1855628717510950
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 0, 0, 1]
) : 1855628717168218
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 0, 0, 1]
) : 1855628711649354
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 0, 1, 0]
) : 1855628698291594
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 0, 1, 1]
) : 1855628697948862
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 0, 1, 0]
) : 1855628388467950
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 9],[0, 1, 0, 1]
) : 1855628388441586
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 6, 3],[0, 1, 0, 1, 1]
) : 1855628388441586
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 0, 1, 1]
) : 1855628364846313
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 0, 1, 0]
) : 1855628364813358
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 0, 0, 1]
) : 1855627932410803
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 5, 4],[0, 1, 0, 0, 0]
) : 1855627932377848
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 0, 1, 1]
) : 1855627809819217
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 0, 1, 0]
) : 1855627808962387
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 0, 0, 1]
) : 1855627660130002
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 4, 5],[0, 1, 0, 0, 0]
) : 1855627659273172
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 0, 1, 0]
) : 1855627640091334
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 1, 0, 0]
) : 1855627639748602
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 1, 0, 1]
) : 1855627639405870
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 6],[0, 1, 0, 1, 1]
) : 1855627633887006
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 1, 1, 0]
) : 1855627620529246
generalized_linkage_multipleblocks
(
show
[3, 3, 4, 3, 3, 3],[0, 1, 0, 1, 1, 1]
) : 1855627620186514
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 10],[0, 1, 1, 0]
) : 1855618558961458
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 1, 1, 0, 0]
) : 1855618558961458
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 7, 3],[0, 1, 1, 0, 1]
) : 1855618558935094
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 1, 1, 0, 1]
) : 1855618251484717
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 6, 4],[0, 1, 1, 0, 0]
) : 1855618251451762
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 1, 1, 0, 0]
) : 1855618090358934
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 1, 0, 0, 1]
) : 1855618079248705
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 3, 4],[0, 1, 1, 0, 0, 0]
) : 1855618078820290
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 7],[0, 1, 1, 0, 1]
) : 1855618023449299
generalized_linkage_multipleblocks
(
show
[3, 3, 3, 3, 4, 3],[0, 1, 1, 0, 1, 0]
) : 1855617936276733
generalized_linkage_multipleblocks
(