Exact certificates  f_psi o M = a . f_phi  (and the inverse) for X_phi ~ X_{phi^p}, phi=(y,y+1)
  p   n     q    #y  #certified #skipped(no M with |entries|<=160)  max|M|  pointcheck
  2   2     4     2           2                                  0       1  all F_q-points
  2   3     8     6           6                                  0       1  all F_q-points
  3   2     9     6           6                                  0       3  all F_q-points
  2   4    16    14          14                                  0       5  all F_q-points
  5   2    25    22          22                                  0       8  -
  3   3    27    24          24                                  0       6  -
  2   5    32    30          30                                  0      13  -
  7   2    49    46          46                                  0      21  -
  2   6    64    62          62                                  0      33  -
  3   4    81    78          78                                  0      35  -
 11   2   121   118         118                                  0      75  -
 13   2   169   166         166                                  0      88  -
  5   3   125   122         122                                  0      47  -
  2   7   128   126         126                                  0      55  -
  3   5   243   240         240                                  0     112  -
 17   2   289   286         286                                  0     155  -
