24/07/23 - LCL905-1 - Corrected include of Alternative Wajsberg algebra definitions.
11/04/24 - LCL606^1 renamed to SYO886^8
           LCL611^1 renamed to SYO932^8
           LCL693^1 renamed to SYO886^9
           LCL694^1 renamed to SYO932^9
           LCL870^1 renamed to SYO886^10
           LCL871^1 renamed to SYO932^10
           SYO564^7 renamed to SYO886^7
           SYO886^3 renamed to SYO886^6
           SYO886_3 renamed to SYO886_6