[math-fun] Overview of sequence arising from binary quadratic forms