cert_24_nice_int.json : det[V(z);L] proportional to sum_I V_I(z) Y_I for 4 random integer L: True
cert_25_nice_int.json : det[V(z);L] proportional to sum_I V_I(z) Y_I for 4 random integer L: True
cert_33_nice.json : det[V(z);L] proportional to sum_I V_I(z) Y_I for 4 random integer L: True
