PARI stack size set to 2000000000 bytes, maximum size set to 2000011264
cert_24_nice_int.json : (m,p)=(2,4)  max minor degree 8  rank M 9  dim U 7  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
cert_25_nice_int.json : (m,p)=(2,5)  max minor degree 10  rank M 11  dim U 11  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
cert_33_nice.json : (m,p)=(3,3)  max minor degree 9  rank M 10  dim U 11  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
cert_24_random.json : (m,p)=(2,4)  max minor degree 8  rank M 9  dim U 7  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
cert_25_walk_4.json : (m,p)=(2,5)  max minor degree 10  rank M 11  dim U 11  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
cert_33_walk_0.json : (m,p)=(3,3)  max minor degree 9  rank M 10  dim U 11  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
cert_42_complexcurve.json : (m,p)=(4,2)  max minor degree 8  rank M 9  dim U 7  | Q vanishes on G(m,m+p): True  | U^T Q U positive definite (leading minors > 0): True
ALL PARI CHECKS PASSED
