# Register file of hard decomposition, small integer coefficients

