Copyright for sympy source package in Mantic