# exact_cert.py (verifier A, AMR-050-0011)

== E4  (N=4, tau=1): N=4, a^2=16/9, b=1, lam=16/25
  T: all 4 chords tangent to the caustic (exact identity in R): True   [0.0s]
  A*A_M independent of u, all M (exact): True   [1.4s] (sizes n=161, d=161)
     value at u=0: A*A_M = 2048/625
  A_M/A independent of u, all M (exact): False   [2.2s]
     value at u=0: A_M/A = 288/625
  A'_M/A' independent of u, all M (exact): True   [2.6s]
     value at u=0: A'_M/A' = 1/2
  (control) A'*A'_M independent of u, all M: False   [2.9s]
