# Register file of hard decomposition, real coefficients

