=== cert_24_nice_int.json : (m,p) = (2,4), V(z) = sum_j V_j z^j
  V_0 = [[4, 5, 1, 1, 5, -2], [2, -2, -5, 3, 1, 0]]
  V_1 = [[3, -5, -6, 0, 1, -1], [-5, 0, 1, 0, -5, -4]]
  V_2 = [[-2, 3, 0, -2, 0, -1], [0, -3, -1, -1, 1, -6]]
  V_3 = [[5, 1, 2, -5, -1, -4], [1, -1, 3, 4, -1, -6]]
  V_4 = [[3, -2, -1, 6, -1, -2], [0, -5, 2, -2, 2, -2]]
  Q = sum mu_abcd Pf_abcd with (indices 1..6, lexicographic order of abcd):
   1234: -1, 1235: 0, 1236: 1, 1245: -1, 1246: -2, 1256: 1, 1345: 0, 1346: 0, 1356: 0, 1456: -2, 2345: 0, 2346: 1, 2356: 1, 2456: -1, 3456: -1

=== cert_25_nice_int.json : (m,p) = (2,5), V(z) = sum_j V_j z^j
  V_0 = [[-3, -3, 3, 0, 2, -1, 1], [0, 0, 1, -5, -1, -2, -2]]
  V_1 = [[-1, 1, 5, -1, 0, -2, 0], [6, 3, 1, 1, 1, -4, -1]]
  V_2 = [[1, -1, 2, 4, 0, 2, 2], [-3, -2, 1, 0, -2, -2, -1]]
  V_3 = [[1, 0, 2, 0, -2, -3, 5], [2, 5, -1, -1, -3, -1, 0]]
  V_4 = [[0, 1, 0, 4, 1, -3, 2], [-2, 1, 0, -3, 2, -1, 0]]
  V_5 = [[3, 2, 2, -1, 2, -3, -2], [4, 2, -4, -1, -1, 0, -1]]
  Q = sum mu_abcd Pf_abcd with (indices 1..7, lexicographic order of abcd):
   1234: 2, 1235: 0, 1236: 1, 1237: -1, 1245: -2, 1246: 3, 1247: -1, 1256: 0, 1257: 0, 1267: 1, 1345: -1, 1346: 3, 1347: 1, 1356: -1, 1357: 0, 1367: -1, 1456: 1, 1457: 0, 1467: -1, 1567: 0, 2345: 0, 2346: 2, 2347: 0, 2356: -1, 2357: 1, 2367: 1, 2456: 0, 2457: -1, 2467: 0, 2567: -2, 3456: -1, 3457: -2, 3467: -1, 3567: 2, 4567: 1

=== cert_33_nice.json : (m,p) = (3,3), V(z) = sum_j V_j z^j
  V_0 = [[8, -7, -2, 4, -11, 1], [-2, -4, -10, -1, 17, -2], [-7, 9, -7, -4, 3, -5]]
  V_1 = [[-5, 6, 9, 2, -4, -10], [-7, -4, -18, -8, -4, 10], [4, 7, 0, -1, 1, 2]]
  V_2 = [[6, 6, 6, 1, 2, -11], [-16, -13, 1, 5, -3, -6], [11, 3, -3, 11, 3, 7]]
  V_3 = [[-6, 0, 2, -13, 12, -6], [5, 7, 3, 2, 9, 7], [0, 9, -3, -4, 4, -8]]
  Q = 10^-7 * sum lambda_{I|J} R_{I,J} with (indices 1..6):
   12|1345: -2150, 12|1346: -4408, 12|1356: 7132, 12|1456: 2057, 12|2345: 4317, 12|2346: -5618, 12|2356: 1238, 12|2456: 434, 12|3456: -10000000, 13|1456: -5991, 13|2345: -2158, 13|2346: -5469, 13|2356: -1517, 13|2456: -9997445, 13|3456: -2457, 14|2345: -1357, 14|2346: -3641, 14|2356: -9995535, 14|2456: 96, 14|3456: -2533, 15|2345: 131, 15|2346: -9997736, 15|2356: -558, 15|2456: -916, 15|3456: -655, 16|2345: -10000000, 16|2346: -1704, 16|2356: 7018, 16|2456: -2355, 16|3456: -1910, 23|1456: -9999800, 23|2456: 4266, 23|3456: -3226, 24|1356: -10000000, 24|3456: 6150, 25|1346: -10000000, 25|3456: 2006, 26|1345: -10000000, 26|3456: 2930, 34|1256: -9995222, 35|1246: -10000000, 36|1245: -10000000, 45|1236: -10000000, 46|1235: -10000000, 56|1234: -10000000

