Here are the output files. Except for (4.2) and (4.20) these are from the package SYND. For example file o45 is the output obtained by doing: maple -q [Shift Comma] in45 [Shift period] o45 [Shift 7]
Here are the output files:
Output file for identity (4.2), (for EKHAD) save it as o42
. Output file for identity (4.3), save it as o43
. Output file for identity (4.4) [completely rigorous proof], save it as o44
. Output file for identity (4.5), save it as o45
. Output file for identity (4.6), save it as o46
. Output file for identity (4.7), save it as o47
. Output file for identity (4.8), save it as o48
. Output file for identity (4.9), save it as o49
. Output file for identity (4.10), save it as o410
. Output file for identity (4.11), save it as o411
. Output file for identity (4.12), save it as o412
. Output file for identity (4.13), save it as o413
. Output file for identity (4.14), save it as o414
. Output file for identity (4.15), save it as o415
. Output file for identity (4.16), save it as o416
. Output file for identity (4.17), save it as o417
. Output file for identity (4.18), save it as o418
. Output file for identity (4.19), save it as o419
. Output file for identity (420), save it as o420
. Output file for identity (4.21), save it as o421
.