Details for entry \(A_5(17,4;2)\)

Exact bounds

• partial_spread_2 ( ) : 31789143876
• partial_spread_NS ( ) : 31789143876

Lower bounds

• CKMP2019_Cor_42 ( (2, 15) ) : 31789143876
• CKMP2019_Cor_42 ( (4, 13) ) : 31789143876
• CKMP2019_Cor_42 ( (6, 11) ) : 31789143876
• CKMP2019_Cor_42 ( (8, 9) ) : 31789143876
• CKMP2019_Cor_42 ( (10, 7) ) : 31789143876
• CKMP2019_Cor_42 ( (12, 5) ) : 31789143876
• CKMP2019_Cor_42 ( (14, 3) ) : 31789143876
• CKMP2019_Cor_42 ( (2, 2, 13) ) : 31789143876
• CKMP2019_Cor_42 ( (2, 4, 11) ) : 31789143876
• CKMP2019_Cor_42 ( (2, 6, 9) ) : 31789143876
• CKMP2019_Cor_42 ( (2, 8, 7) ) : 31789143876
• CKMP2019_Cor_42 ( (2, 10, 5) ) : 31789143876
• CKMP2019_Cor_42 ( (2, 12, 3) ) : 31789143876
• CKMP2019_Cor_42 ( (4, 2, 11) ) : 31789143876
• CKMP2019_Cor_42 ( (4, 4, 9) ) : 31789143876
• CKMP2019_Cor_42 ( (4, 6, 7) ) : 31789143876
• CKMP2019_Cor_42 ( (4, 8, 5) ) : 31789143876
• CKMP2019_Cor_42 ( (4, 10, 3) ) : 31789143876
• CKMP2019_Cor_42 ( (6, 2, 9) ) : 31789143876
• CKMP2019_Cor_42 ( (6, 4, 7) ) : 31789143876
• CKMP2019_Cor_42 ( (6, 6, 5) ) : 31789143876
• CKMP2019_Cor_42 ( (6, 8, 3) ) : 31789143876
• CKMP2019_Cor_42 ( (8, 2, 7) ) : 31789143876
• CKMP2019_Cor_42 ( (8, 4, 5) ) : 31789143876
• CKMP2019_Cor_42 ( (8, 6, 3) ) : 31789143876
• CKMP2019_Cor_42 ( (10, 2, 5) ) : 31789143876
• CKMP2019_Cor_42 ( (10, 4, 3) ) : 31789143876
• CKMP2019_Cor_42 ( (12, 2, 3) ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 11)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 9)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 8, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 10, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 9)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 6, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 8, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 8, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 8, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 10, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 9)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 6, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 8, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 6, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 6, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 8, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (8, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (8, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (8, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (10, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 9)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 6, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 8, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 8, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 8, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 6, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (8, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( (2, 15) ) : 31789143876
• CKMP2019_Lem_41 ( (4, 13) ) : 31789143876
• CKMP2019_Lem_41 ( (6, 11) ) : 31789143876
• CKMP2019_Lem_41 ( (8, 9) ) : 31789143876
• CKMP2019_Lem_41 ( (10, 7) ) : 31789143876
• CKMP2019_Lem_41 ( (12, 5) ) : 31789143876
• CKMP2019_Lem_41 ( (14, 3) ) : 31789143876
• CKMP2019_Lem_41 ( (2, 2, 13) ) : 31789143876
• CKMP2019_Lem_41 ( (2, 4, 11) ) : 31789143876
• CKMP2019_Lem_41 ( (2, 6, 9) ) : 31789143876
• CKMP2019_Lem_41 ( (2, 8, 7) ) : 31789143876
• CKMP2019_Lem_41 ( (2, 10, 5) ) : 31789143876
• CKMP2019_Lem_41 ( (2, 12, 3) ) : 31789143876
• CKMP2019_Lem_41 ( (4, 2, 11) ) : 31789143876
• CKMP2019_Lem_41 ( (4, 4, 9) ) : 31789143876
• CKMP2019_Lem_41 ( (4, 6, 7) ) : 31789143876
• CKMP2019_Lem_41 ( (4, 8, 5) ) : 31789143876
• CKMP2019_Lem_41 ( (4, 10, 3) ) : 31789143876
• CKMP2019_Lem_41 ( (6, 2, 9) ) : 31789143876
• CKMP2019_Lem_41 ( (6, 4, 7) ) : 31789143876
• CKMP2019_Lem_41 ( (6, 6, 5) ) : 31789143876
• CKMP2019_Lem_41 ( (6, 8, 3) ) : 31789143876
• CKMP2019_Lem_41 ( (8, 2, 7) ) : 31789143876
• CKMP2019_Lem_41 ( (8, 4, 5) ) : 31789143876
• CKMP2019_Lem_41 ( (8, 6, 3) ) : 31789143876
• CKMP2019_Lem_41 ( (10, 2, 5) ) : 31789143876
• CKMP2019_Lem_41 ( (10, 4, 3) ) : 31789143876
• CKMP2019_Lem_41 ( (12, 2, 3) ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 11)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 9)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 8, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 10, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 9)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 6, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 8, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 8, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 8, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 10, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 9)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 6, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 8, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 6, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 6, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 8, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (8, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (8, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (8, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (10, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 9)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 6, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 8, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 8, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 8, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 6, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (8, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 7)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 4, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 6, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 6, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 2, 5)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 4, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 4, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 2, 2, 3)
  ) : 31789143876
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 2, 2, 3)
  ) : 31789143876
• ef_computation ( show
  [(0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 13), (14, 15)]
  ) : 31789143876
• generalized_linkage ( 2,0 ) : 31789143876
• generalized_linkage ( 4,0 ) : 31789143876
• generalized_linkage ( 6,0 ) : 31789143876
• generalized_linkage ( 8,0 ) : 31789143876
• generalized_linkage ( 10,0 ) : 31789143876
• generalized_linkage ( 12,0 ) : 31789143876
• generalized_linkage ( 14,0 ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 15],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 13],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 11],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 9],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [10, 7],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [12, 5],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [14, 3],[0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 13],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 11],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 9],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 8, 7],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 10, 5],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 12, 3],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 11],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 9],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 6, 7],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 8, 5],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 10, 3],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 9],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 4, 7],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 6, 5],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 8, 3],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 2, 7],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 4, 5],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 6, 3],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [10, 2, 5],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [10, 4, 3],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [12, 2, 3],[0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 11],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 9],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 7],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 8, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 10, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 9],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 7],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 6, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 8, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 7],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 4, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 6, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 8, 2, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 8, 4, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 10, 2, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 9],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 7],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 6, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 8, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 7],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 6, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 6, 2, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 6, 4, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 8, 2, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 7],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 4, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 6, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 4, 2, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 4, 4, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 6, 2, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 2, 2, 5],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 2, 4, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 4, 2, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [10, 2, 2, 3],[0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 9],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 7],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 6, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 8, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 7],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 4, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 6, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 2, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 4, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 8, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 7],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 4, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 6, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 2, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 4, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 6, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 2, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 4, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 4, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 8, 2, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 7],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 4, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 6, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 2, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 4, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 6, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 2, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 4, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 6, 2, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 2, 5],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 4, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 4, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 4, 2, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [8, 2, 2, 2, 3],[0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 7],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 4, 5],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 6, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 2, 5],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 4, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 6, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 2, 5],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 4, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 4, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 2, 5],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 4, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 4, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 2, 5],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 4, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 4, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 2, 5],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 4, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 4, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 2, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 2, 2, 3],[0, 0, 0, 0, 0, 0, 0, 0]
  ) : 31789143876
• improved_linkage ( 2 ) : 31789143876
• improved_linkage ( 4 ) : 31789143876
• improved_linkage ( 6 ) : 31789143876
• improved_linkage ( 8 ) : 31789143876
• improved_linkage ( 10 ) : 31789143876
• improved_linkage ( 12 ) : 31789143876
• improved_linkage ( 14 ) : 31789143876
• linkage_GLT ( 2 ) : 31789143876
• linkage_GLT ( 4 ) : 31789143876
• linkage_GLT ( 6 ) : 31789143876
• linkage_GLT ( 8 ) : 31789143876
• linkage_GLT ( 10 ) : 31789143876
• linkage_GLT ( 12 ) : 31789143876
• linkage_GLT ( 14 ) : 31789143876
• multicomponent ( ) : 31789143876
• partial_spread_3 ( ) : 31789143876
• CKMP2019_Cor_42 ( (15, 2) ) : 31789143776
• CKMP2019_Cor_42 ( (2, 13, 2) ) : 31789143776
• CKMP2019_Cor_42 ( (4, 11, 2) ) : 31789143776
• CKMP2019_Cor_42 ( (6, 9, 2) ) : 31789143776
• CKMP2019_Cor_42 ( (8, 7, 2) ) : 31789143776
• CKMP2019_Cor_42 ( (10, 5, 2) ) : 31789143776
• CKMP2019_Cor_42 ( (12, 3, 2) ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 11, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 9, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 6, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 8, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 10, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 9, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 4, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 6, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 8, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (8, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (8, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (10, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 9, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 8, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 6, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 8, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 4, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 6, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (8, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( (15, 2) ) : 31789143776
• CKMP2019_Lem_41 ( (2, 13, 2) ) : 31789143776
• CKMP2019_Lem_41 ( (4, 11, 2) ) : 31789143776
• CKMP2019_Lem_41 ( (6, 9, 2) ) : 31789143776
• CKMP2019_Lem_41 ( (8, 7, 2) ) : 31789143776
• CKMP2019_Lem_41 ( (10, 5, 2) ) : 31789143776
• CKMP2019_Lem_41 ( (12, 3, 2) ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 11, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 9, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 6, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 8, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 10, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 9, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 4, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 6, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 8, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (8, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (8, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (10, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 9, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 8, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 6, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 8, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 4, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 6, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (8, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 7, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 6, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 5, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 4, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 2, 3, 2)
  ) : 31789143776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 2, 3, 2)
  ) : 31789143776
• generalized_linkage ( 15,0 ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [15, 2],[0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 13, 2],[0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 11, 2],[0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 9, 2],[0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [8, 7, 2],[0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [10, 5, 2],[0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [12, 3, 2],[0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 11, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 9, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 6, 7, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 8, 5, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 10, 3, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 9, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 4, 7, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 6, 5, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 8, 3, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 2, 7, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 4, 5, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 6, 3, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [8, 2, 5, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [8, 4, 3, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [10, 2, 3, 2],[0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 9, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 7, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 5, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 8, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 7, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 5, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 6, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 5, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 6, 4, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 8, 2, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 7, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 5, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 6, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 5, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 4, 4, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 6, 2, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 5, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 2, 4, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 4, 2, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [8, 2, 2, 3, 2],[0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 7, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 5, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 6, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 5, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 4, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 5, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 4, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 5, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 4, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 5, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 4, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 2, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 2, 3, 2],[0, 0, 0, 0, 0, 0, 0, 0]
  ) : 31789143776
• improved_linkage ( 15 ) : 31789143776
• linkage_GLT ( 15 ) : 31789143776
• construction_ST_B ( ) : 31789143750
• CKMP2019_Cor_42 ( (13, 4) ) : 31789141276
• CKMP2019_Cor_42 ( (2, 11, 4) ) : 31789141276
• CKMP2019_Cor_42 ( (4, 9, 4) ) : 31789141276
• CKMP2019_Cor_42 ( (6, 7, 4) ) : 31789141276
• CKMP2019_Cor_42 ( (8, 5, 4) ) : 31789141276
• CKMP2019_Cor_42 ( (10, 3, 4) ) : 31789141276
• CKMP2019_Cor_42 ( (13, 2, 2) ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 9, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 7, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 6, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 8, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 11, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 7, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 4, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 6, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 9, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (8, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (8, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (10, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 7, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 9, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 6, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 8, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 4, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 6, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (8, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 6, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 6, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 4, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (6, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( (13, 4) ) : 31789141276
• CKMP2019_Lem_41 ( (2, 11, 4) ) : 31789141276
• CKMP2019_Lem_41 ( (4, 9, 4) ) : 31789141276
• CKMP2019_Lem_41 ( (6, 7, 4) ) : 31789141276
• CKMP2019_Lem_41 ( (8, 5, 4) ) : 31789141276
• CKMP2019_Lem_41 ( (10, 3, 4) ) : 31789141276
• CKMP2019_Lem_41 ( (13, 2, 2) ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 9, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 7, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 6, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 8, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 11, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 7, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 4, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 6, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 9, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (8, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (8, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (10, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 7, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 9, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 6, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 8, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 4, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 6, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (8, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 5, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 7, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 6, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 6, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 4, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (6, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 3, 4)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 5, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 4, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 2, 3, 2, 2)
  ) : 31789141276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 2, 3, 2, 2)
  ) : 31789141276
• generalized_linkage ( 13,0 ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [13, 4],[0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 11, 4],[0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 9, 4],[0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 7, 4],[0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [8, 5, 4],[0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [10, 3, 4],[0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [13, 2, 2],[0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 9, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 7, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 6, 5, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 8, 3, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 11, 2, 2],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 7, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 4, 5, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 6, 3, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 9, 2, 2],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 2, 5, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 4, 3, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 7, 2, 2],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [8, 2, 3, 4],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [8, 5, 2, 2],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [10, 3, 2, 2],[0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 7, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 5, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 3, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 9, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 5, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 3, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 7, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 3, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 6, 5, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 8, 3, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 5, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 3, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 7, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 3, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 4, 5, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 6, 3, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 3, 4],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 2, 5, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 4, 3, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [8, 2, 3, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 5, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 3, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 7, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 3, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 5, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 6, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 3, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 5, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 4, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 6, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 3, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 5, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 4, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 4, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [6, 2, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 3, 4],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 5, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 4, 3, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 2, 3, 2, 2],[0, 0, 0, 0, 0, 0, 0, 0]
  ) : 31789141276
• improved_linkage ( 13 ) : 31789141276
• linkage_GLT ( 13 ) : 31789141276
• CKMP2019_Cor_42 ( (11, 6) ) : 31789078776
• CKMP2019_Cor_42 ( (2, 9, 6) ) : 31789078776
• CKMP2019_Cor_42 ( (4, 7, 6) ) : 31789078776
• CKMP2019_Cor_42 ( (6, 5, 6) ) : 31789078776
• CKMP2019_Cor_42 ( (8, 3, 6) ) : 31789078776
• CKMP2019_Cor_42 ( (11, 2, 4) ) : 31789078776
• CKMP2019_Cor_42 ( (11, 4, 2) ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 7, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 5, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 6, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 9, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 9, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 5, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 4, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 7, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 7, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (8, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (8, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (11, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 5, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 7, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 7, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 6, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 6, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 9, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 4, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 4, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 7, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (8, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 7, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 6, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 4, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (6, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( (11, 6) ) : 31789078776
• CKMP2019_Lem_41 ( (2, 9, 6) ) : 31789078776
• CKMP2019_Lem_41 ( (4, 7, 6) ) : 31789078776
• CKMP2019_Lem_41 ( (6, 5, 6) ) : 31789078776
• CKMP2019_Lem_41 ( (8, 3, 6) ) : 31789078776
• CKMP2019_Lem_41 ( (11, 2, 4) ) : 31789078776
• CKMP2019_Lem_41 ( (11, 4, 2) ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 7, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 5, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 6, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 9, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 9, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 5, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 4, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 7, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 7, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (8, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (8, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (11, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 5, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 7, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 7, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 6, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 6, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 9, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 4, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 4, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 7, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (8, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 3, 6)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 5, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 5, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 7, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 6, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 4, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (6, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 3, 2, 4)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 3, 4, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 5, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 3, 2, 2, 2)
  ) : 31789078776
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 3, 2, 2, 2)
  ) : 31789078776
• generalized_linkage ( 11,0 ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [11, 6],[0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 9, 6],[0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 7, 6],[0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 5, 6],[0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [8, 3, 6],[0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [11, 2, 4],[0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [11, 4, 2],[0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 7, 6],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 5, 6],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 6, 3, 6],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 9, 2, 4],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 9, 4, 2],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 6],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 6],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 7, 2, 4],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 7, 4, 2],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 6],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 5, 2, 4],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 5, 4, 2],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [8, 3, 2, 4],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [8, 3, 4, 2],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [11, 2, 2, 2],[0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 5, 6],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 3, 6],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 7, 2, 4],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 7, 4, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 3, 6],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 5, 2, 4],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 5, 4, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 6, 3, 2, 4],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 6, 3, 4, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 9, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 6],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 2, 4],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 4, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 2, 4],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 4, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 7, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 2, 4],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 4, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 5, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [8, 3, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 3, 6],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 5, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 5, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 3, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 3, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 7, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 3, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 3, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 5, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 6, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 3, 2, 4],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 3, 4, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 5, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 3, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0, 0]
  ) : 31789078776
• improved_linkage ( 11 ) : 31789078776
• linkage_GLT ( 11 ) : 31789078776
• CKMP2019_Cor_42 ( (11, 3, 3) ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 9, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (4, 7, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (6, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (8, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 2, 7, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 4, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 6, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (4, 2, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (4, 4, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (6, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 2, 4, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 4, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (4, 2, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( (11, 3, 3) ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 9, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (4, 7, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (6, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (8, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 2, 7, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 4, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 6, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (4, 2, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (4, 4, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (6, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 5, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 2, 4, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 4, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (4, 2, 2, 3, 3, 3)
  ) : 31789078251
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 2, 3, 3, 3)
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [11, 3, 3],[0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 9, 3, 3],[0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [4, 7, 3, 3],[0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [6, 5, 3, 3],[0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [8, 3, 3, 3],[0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 2, 7, 3, 3],[0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 4, 5, 3, 3],[0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 6, 3, 3, 3],[0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [4, 2, 5, 3, 3],[0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [4, 4, 3, 3, 3],[0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [6, 2, 3, 3, 3],[0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 5, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 2, 4, 3, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 4, 2, 3, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [4, 2, 2, 3, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31789078251
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 2, 3, 3, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31789078251
• CKMP2019_Cor_42 ( (9, 8) ) : 31787516276
• CKMP2019_Cor_42 ( (2, 7, 8) ) : 31787516276
• CKMP2019_Cor_42 ( (4, 5, 8) ) : 31787516276
• CKMP2019_Cor_42 ( (6, 3, 8) ) : 31787516276
• CKMP2019_Cor_42 ( (9, 2, 6) ) : 31787516276
• CKMP2019_Cor_42 ( (9, 4, 4) ) : 31787516276
• CKMP2019_Cor_42 ( (9, 6, 2) ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 8)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 8)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 8)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (9, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (9, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (9, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 8)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (9, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 7, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 5, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (6, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( (9, 8) ) : 31787516276
• CKMP2019_Lem_41 ( (2, 7, 8) ) : 31787516276
• CKMP2019_Lem_41 ( (4, 5, 8) ) : 31787516276
• CKMP2019_Lem_41 ( (6, 3, 8) ) : 31787516276
• CKMP2019_Lem_41 ( (9, 2, 6) ) : 31787516276
• CKMP2019_Lem_41 ( (9, 4, 4) ) : 31787516276
• CKMP2019_Lem_41 ( (9, 6, 2) ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 8)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 8)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 8)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (9, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (9, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (9, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 8)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (9, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 2, 6)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 4, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 6, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 7, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 5, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (6, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 2, 2, 4)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 2, 4, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 4, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 2, 2, 2, 2)
  ) : 31787516276
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 2, 2, 2, 2)
  ) : 31787516276
• generalized_linkage ( 9,0 ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 8],[0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 8],[0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 8],[0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 8],[0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 2, 6],[0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 4, 4],[0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 6, 2],[0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 8],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 8],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 2, 6],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 4, 4],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 6, 2],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 8],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 6],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 4, 4],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 6, 2],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 6],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 4, 4],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 6, 2],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 2, 2, 4],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 2, 4, 2],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 4, 2, 2],[0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 8],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 2, 6],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 4, 4],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 6, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 2, 6],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 4, 4],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 6, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 2, 2, 4],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 2, 4, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 4, 2, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 6],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 4, 4],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 6, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 2, 4],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 4, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 4, 2, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 2, 4],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 4, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 4, 2, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [9, 2, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 2, 6],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 4, 4],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 6, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 2, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 2, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 4, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 2, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 2, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 4, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 7, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 4, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 2, 2, 4],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 2, 4, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 4, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0, 0]
  ) : 31787516276
• improved_linkage ( 9 ) : 31787516276
• linkage_GLT ( 9 ) : 31787516276
• CKMP2019_Cor_42 ( (9, 5, 3) ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 7, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (4, 5, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (6, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (9, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 7, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (4, 5, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (6, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( (9, 5, 3) ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 7, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (4, 5, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (6, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (9, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 7, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (4, 5, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (6, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 5, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 2, 3, 3)
  ) : 31787515751
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 2, 3, 3)
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [9, 5, 3],[0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 7, 5, 3],[0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [4, 5, 5, 3],[0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [6, 3, 5, 3],[0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [9, 2, 3, 3],[0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 5, 3],[0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 5, 3],[0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 7, 2, 3, 3],[0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 5, 3],[0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [4, 5, 2, 3, 3],[0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [6, 3, 2, 3, 3],[0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 5, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 2, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 2, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 2, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787515751
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 2, 3, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787515751
• CKMP2019_Cor_42 ( (9, 3, 5) ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 7, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (4, 5, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (6, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (9, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 7, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (4, 5, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (6, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( (9, 3, 5) ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 7, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (4, 5, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (6, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (9, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 7, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (4, 5, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (6, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 3, 5)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 3, 2, 3)
  ) : 31787503251
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 3, 2, 3)
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [9, 3, 5],[0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 7, 3, 5],[0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 5],[0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 5],[0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [9, 3, 2, 3],[0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 3, 5],[0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 3, 5],[0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 7, 3, 2, 3],[0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 5],[0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 2, 3],[0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 2, 3],[0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 3, 5],[0, 0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 3, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 3, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31787503251
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 3, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787503251
• CKMP2019_Cor_42 ( show
  (9, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (2, 7, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (4, 5, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (6, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (2, 2, 5, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (2, 4, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (4, 2, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Cor_42 ( show
  (2, 2, 2, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (9, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (2, 7, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (4, 5, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (6, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (2, 2, 5, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (2, 4, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (4, 2, 3, 3, 3, 2)
  ) : 31787503151
• CKMP2019_Lem_41 ( show
  (2, 2, 2, 3, 3, 3, 2)
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [9, 3, 3, 2],[0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [2, 7, 3, 3, 2],[0, 0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [4, 5, 3, 3, 2],[0, 0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [6, 3, 3, 3, 2],[0, 0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [2, 2, 5, 3, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [2, 4, 3, 3, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [4, 2, 3, 3, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31787503151
• generalized_linkage_multipleblocks ( show
  [2, 2, 2, 3, 3, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31787503151
• CKMP2019_Cor_42 ( (7, 10) ) : 31748453776
• CKMP2019_Cor_42 ( (2, 5, 10) ) : 31748453776
• CKMP2019_Cor_42 ( (4, 3, 10) ) : 31748453776
• CKMP2019_Cor_42 ( (7, 2, 8) ) : 31748453776
• CKMP2019_Cor_42 ( (7, 4, 6) ) : 31748453776
• CKMP2019_Cor_42 ( (7, 6, 4) ) : 31748453776
• CKMP2019_Cor_42 ( (7, 8, 2) ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 10)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 8)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 4, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 6, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 8, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 8)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 4, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 6, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 8, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 8)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 4, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 6, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 8, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (7, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( (7, 10) ) : 31748453776
• CKMP2019_Lem_41 ( (2, 5, 10) ) : 31748453776
• CKMP2019_Lem_41 ( (4, 3, 10) ) : 31748453776
• CKMP2019_Lem_41 ( (7, 2, 8) ) : 31748453776
• CKMP2019_Lem_41 ( (7, 4, 6) ) : 31748453776
• CKMP2019_Lem_41 ( (7, 6, 4) ) : 31748453776
• CKMP2019_Lem_41 ( (7, 8, 2) ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 10)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 8)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 4, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 6, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 8, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 8)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 4, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 6, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 8, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 8)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 4, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 6, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 8, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 2, 6)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 4, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 6, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 4, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 4, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 6, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (7, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 2, 2, 4)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 2, 4, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 4, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 4, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 2, 2, 2, 2)
  ) : 31748453776
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 2, 2, 2, 2)
  ) : 31748453776
• generalized_linkage ( 7,0 ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 10],[0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 10],[0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 10],[0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 8],[0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 4, 6],[0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 6, 4],[0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 8, 2],[0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 10],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 8],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 4, 6],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 6, 4],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 8, 2],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 8],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 6],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 6, 4],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 8, 2],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 6],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 4, 4],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 6, 2],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 4, 2, 4],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 4, 4, 2],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 6, 2, 2],[0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 8],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 4, 6],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 6, 4],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 8, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 2, 6],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 4, 4],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 6, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 4, 2, 4],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 4, 4, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 6, 2, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 6],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 4, 4],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 6, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 2, 4],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 4, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 6, 2, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 2, 4],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 4, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 4, 2, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 4, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 2, 6],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 4, 4],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 6, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 4, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 4, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 6, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 2, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 2, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 4, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 4, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 4, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 2, 2, 4],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 2, 4, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 4, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 4, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 2, 2, 2, 2],[0, 0, 0, 0, 0, 0, 0, 0]
  ) : 31748453776
• improved_linkage ( 7 ) : 31748453776
• linkage_GLT ( 7 ) : 31748453776
• CKMP2019_Cor_42 ( (7, 7, 3) ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 5, 7, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (4, 3, 7, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (7, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (7, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 7, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 5, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (4, 3, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (7, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( (7, 7, 3) ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 5, 7, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (4, 3, 7, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (7, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (7, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 7, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 5, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (4, 3, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (7, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 5, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 4, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 2, 3, 3)
  ) : 31748453251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 2, 3, 3)
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [7, 7, 3],[0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 5, 7, 3],[0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [4, 3, 7, 3],[0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [7, 2, 5, 3],[0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [7, 4, 3, 3],[0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 7, 3],[0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 5, 3],[0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 5, 4, 3, 3],[0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 5, 3],[0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [4, 3, 4, 3, 3],[0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [7, 2, 2, 3, 3],[0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 5, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 4, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 2, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 2, 3, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748453251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 2, 3, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748453251
• CKMP2019_Cor_42 ( (7, 5, 5) ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 5, 5, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (4, 3, 5, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (7, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (7, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 5, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 5, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (4, 3, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (7, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( (7, 5, 5) ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 5, 5, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (4, 3, 5, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (7, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (7, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 5, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 5, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (4, 3, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (7, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 3, 5)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 5, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 3, 2, 3)
  ) : 31748440751
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 3, 2, 3)
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [7, 5, 5],[0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 5, 5, 5],[0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 5],[0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [7, 2, 3, 5],[0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [7, 5, 2, 3],[0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 5, 5],[0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 3, 5],[0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 5, 5, 2, 3],[0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 5],[0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 2, 3],[0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [7, 2, 3, 2, 3],[0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 3, 5],[0, 0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 5, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 3, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748440751
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 3, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748440751
• CKMP2019_Cor_42 ( show
  (7, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (2, 5, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (4, 3, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (7, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (2, 5, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (4, 3, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (7, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (2, 5, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (4, 3, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (7, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 5, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (2, 5, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (4, 3, 2, 3, 3, 2)
  ) : 31748440651
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 2, 3, 3, 2)
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [7, 5, 3, 2],[0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [2, 5, 5, 3, 2],[0, 0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [4, 3, 5, 3, 2],[0, 0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [7, 2, 3, 3, 2],[0, 0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 5, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [2, 5, 2, 3, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [4, 3, 2, 3, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748440651
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 2, 3, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748440651
• CKMP2019_Cor_42 ( (7, 3, 7) ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 7)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 7)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (7, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (7, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 7)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (7, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( (7, 3, 7) ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 7)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 7)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (7, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (7, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 7)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (7, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 2, 5)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 4, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 2, 2, 3)
  ) : 31748128251
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 2, 2, 3)
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [7, 3, 7],[0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 7],[0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 7],[0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [7, 3, 2, 5],[0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [7, 3, 4, 3],[0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 7],[0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 2, 5],[0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 4, 3],[0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 5],[0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 4, 3],[0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [7, 3, 2, 2, 3],[0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 2, 5],[0, 0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 4, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 2, 3],[0, 0, 0, 0, 0, 0]
  ) : 31748128251
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 2, 2, 3],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748128251
• CKMP2019_Cor_42 ( show
  (7, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (7, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (7, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (7, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 5, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 2, 3, 2)
  ) : 31748128151
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 2, 3, 2)
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [7, 3, 5, 2],[0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 5, 2],[0, 0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 5, 2],[0, 0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [7, 3, 2, 3, 2],[0, 0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 5, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 2, 3, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748128151
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 2, 3, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748128151
• CKMP2019_Cor_42 ( show
  (7, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (7, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (2, 5, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (4, 3, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Cor_42 ( show
  (2, 2, 3, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (7, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (7, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 3, 4)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (2, 5, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (4, 3, 3, 3, 2, 2)
  ) : 31748125651
• CKMP2019_Lem_41 ( show
  (2, 2, 3, 3, 3, 2, 2)
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [7, 3, 3, 4],[0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 3, 4],[0, 0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 3, 4],[0, 0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [7, 3, 3, 2, 2],[0, 0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 3, 4],[0, 0, 0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [2, 5, 3, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [4, 3, 3, 3, 2, 2],[0, 0, 0, 0, 0, 0]
  ) : 31748125651
• generalized_linkage_multipleblocks ( show
  [2, 2, 3, 3, 3, 2, 2],[0, 0, 0, 0, 0, 0, 0]
  ) : 31748125651
• CKMP2019_Cor_42 ( (5, 12) ) : 30771891276
• CKMP2019_Cor_42 ( (2, 3, 12) ) : 30771891276
• CKMP2019_Cor_42 ( (5, 2, 10) ) : 30771891276
• CKMP2019_Cor_42 ( (5, 4, 8) ) : 30771891276
• CKMP2019_Cor_42 ( (5, 6, 6) ) : 30771891276
• CKMP2019_Cor_42 ( (5, 8, 4) ) : 30771891276
• CKMP2019_Cor_42 ( (5, 10, 2) ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 10)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 8)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 6, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 8, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 10, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 8)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 4, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 6, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 8, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 2, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 4, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 6, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 6, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 6, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 8, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 8)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 4, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 6, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 8, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 2, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 4, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 6, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 6, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 6, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 8, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 2, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 4, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 6, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 4, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 4, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 6, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 6, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 2, 6)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 4, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 6, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 4, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 4, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 6, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 6, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 4, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 4, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 4, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 4, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (5, 2, 2, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Cor_42 ( show
  (2, 3, 2, 2, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( (5, 12) ) : 30771891276
• CKMP2019_Lem_41 ( (2, 3, 12) ) : 30771891276
• CKMP2019_Lem_41 ( (5, 2, 10) ) : 30771891276
• CKMP2019_Lem_41 ( (5, 4, 8) ) : 30771891276
• CKMP2019_Lem_41 ( (5, 6, 6) ) : 30771891276
• CKMP2019_Lem_41 ( (5, 8, 4) ) : 30771891276
• CKMP2019_Lem_41 ( (5, 10, 2) ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 10)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 8)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 6, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 8, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 10, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 8)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 4, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 6, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 8, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 2, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 4, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 6, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 6, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 6, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 8, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 8)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 4, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 6, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 8, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 2, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 4, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 6, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 6, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 6, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 8, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 2, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 4, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 6, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 4, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 4, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 6, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 6, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 2, 6)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 4, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 6, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 4, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 4, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 6, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 6, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 4, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 4, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 2, 2, 4)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 2, 4, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 4, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 4, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 4, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (5, 2, 2, 2, 2, 2, 2)
  ) : 30771891276
• CKMP2019_Lem_41 ( show
  (2, 3, 2, 2, 2, 2, 2, 2)
  ) : 30771891276
• generalized_linkage ( 5,0 ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 12],[0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 12],[0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 10],[0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 8],[0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 6, 6],[0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 8, 4],[0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 10, 2],[0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 10],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 4, 8],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 6, 6],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 8, 4],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 10, 2],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 8],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 6],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 6, 4],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 8, 2],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 6],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 4, 4],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 6, 2],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 6, 2, 4],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 6, 4, 2],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 8, 2, 2],[0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 2, 8],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 4, 6],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 6, 4],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 8, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 4, 2, 6],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 4, 4, 4],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 4, 6, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 6, 2, 4],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 6, 4, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 8, 2, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 2, 6],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 4, 4],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 2, 6, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 2, 4],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 4, 4, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 2, 6, 2, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 2, 4],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 2, 4, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 4, 4, 2, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [5, 6, 2, 2, 2],[0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 2, 2, 6],[0, 0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 2, 4, 4],[0, 0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 2, 6, 2],[0, 0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 4, 2, 4],[0, 0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks ( show
  [2, 3, 2, 4, 4, 2],[0, 0, 0, 0, 0, 0]
  ) : 30771891276
• generalized_linkage_multipleblocks (