identity det(zI-A-BKC) * kappa = det[V(z); [K|I] g^{-1}] verified on 6 random K: True  kappa = -2
n = 10  common denominator of (A,B,C): 2
written ../out/cert_25_nice_int.ABC.json
A =
   ['-2', '3/2', '1', '0', '0', '0', '0', '0', '0', '0']
   ['-4', '7/2', '0', '1', '0', '0', '0', '0', '0', '0']
   ['1', '-1', '0', '0', '1', '0', '0', '0', '0', '0']
   ['-8', '11/2', '0', '0', '0', '1', '0', '0', '0', '0']
   ['3', '-5/2', '0', '0', '0', '0', '1', '0', '0', '0']
   ['1', '0', '0', '0', '0', '0', '0', '1', '0', '0']
   ['-3', '5/2', '0', '0', '0', '0', '0', '0', '1', '0']
   ['0', '-3/2', '0', '0', '0', '0', '0', '0', '0', '1']
   ['3', '-3/2', '0', '0', '0', '0', '0', '0', '0', '0']
   ['0', '0', '0', '0', '0', '0', '0', '0', '0', '0']
B =
   ['-10', '9/2', '-9/2', '3', '9/2']
   ['-22', '-5/2', '-19/2', '11', '9/2']
   ['8', '0', '1', '-6', '4']
   ['-39', '3/2', '-49/2', '23', '21/2']
   ['18', '7/2', '17/2', '-7', '-3/2']
   ['3', '-1', '0', '-5', '-3']
   ['-11', '-1/2', '-17/2', '7', '7/2']
   ['7', '5/2', '5/2', '-4', '1/2']
   ['15', '-3/2', '19/2', '-10', '-7/2']
   ['1', '-5', '-1', '-2', '-2']
C =
   ['1', '0', '0', '0', '0', '0', '0', '0', '0', '0']
   ['0', '1', '0', '0', '0', '0', '0', '0', '0', '0']
