https://123dok.net/document/z3dmjr57-tables-memorized-semirings-and-applications.html