Prefer a chat interface with context about you and your work?
Proofs of some conjectures of Sun on the relations between N(a,b,c,d;n) and t(a,b,c,d;n)