cert_24_nice_int.ABC.json : (m outputs, p inputs, n) = (2, 4, 8)  identity det[V;[K|I]g^-1] = kappa*det(zI-A-BKC) for 3 random K at n+2 points: True  kappa = ['-15']
cert_25_nice_int.ABC.json : (m outputs, p inputs, n) = (2, 5, 10)  identity det[V;[K|I]g^-1] = kappa*det(zI-A-BKC) for 3 random K at n+2 points: True  kappa = ['-2']
cert_33_nice.ABC.json : (m outputs, p inputs, n) = (3, 3, 9)  identity det[V;[K|I]g^-1] = kappa*det(zI-A-BKC) for 3 random K at n+2 points: True  kappa = ['378']
