Copyright for primecountpy source package in Mantic