Here we have all Euler or alternating sums of a given weight but only up to depth 4.
The basis elements are characterized by that they are Lyndon words over the negative odd integers.
The log files of the runs are
hex4-7.log.bz2 | Weight 7, (9500) |
hex4-8.log.bz2 | Weight 8, (23135) |
hex4-9.log.bz2 | Weight 9, (48766) |
hex4-10.log.bz2 | Weight 10, (130968) |
hex4-11.log.bz2 | Weight 11, (275699) |
hex4-12.log.bz2 | Weight 12, (735936) |
hex4-13.log.bz2 | Weight 13, (1242259) |
hex4-14.log.bz2 | Weight 14, (4677099) |
hex4-15.log.bz2 | Weight 15, (4635995) |
hex4-16.log.bz2 | Weight 16, (21748750) |
hex4-17.log.bz2 | Weight 17, (16239241) |
hex4-18.log.bz2 | Weight 18, (92637013) |
hex4-19.log.bz2 | Weight 19, (49536467) |
hex4-20.log.bz2 | Weight 20, (291078424) |
hex4-21.log.bz2 | Weight 21, (131181284) |
hex4-22.log.bz2 | Weight 22, (879798346) |
The .prc files contain the corresponding tables.
alt7r4.prc.bz2 | Weight 7, (8828) |
alt8r4.prc.bz2 | Weight 8, (22382) |
alt9r4.prc.bz2 | Weight 9, (48047) |
alt10r4.prc.bz2 | Weight 10, (130137) |
alt11r4.prc.bz2 | Weight 11, (274228) |
alt12r4.prc.bz2 | Weight 12, (734741) |
alt13r4.prc.bz2 | Weight 13, (1243158) |
alt14r4.prc.bz2 | Weight 14, (4667399) |
alt15r4.prc.bz2 | Weight 15, (4621007) |
alt16r4.prc.bz2 | Weight 16, (21683993) |
alt17r4.prc.bz2 | Weight 17, (16180752) |
alt18r4.prc.bz2 | Weight 18, (92292763) |
alt19r4.prc.bz2 | Weight 19, (49408474) |
alt20r4.prc.bz2 | Weight 20, (290007111) |
alt21r4.prc.bz2 | Weight 21, (130769547) |
alt22r4.prc.bz2 | Weight 22, (877242790) |
The full binary files in FORM format were made with the program tosav.frm and are given by
alt7r4.sav.bz2 | Weight 7, (8606) |
alt8r4.sav.bz2 | Weight 8, (21354) |
alt9r4.sav.bz2 | Weight 9, (44611) |
alt10r4.sav.bz2 | Weight 10, (130760) |
alt11r4.sav.bz2 | Weight 11, (271512) |
alt12r4.sav.bz2 | Weight 12, (718922) |
alt13r4.sav.bz2 | Weight 13, (1227552) |
alt14r4.sav.bz2 | Weight 14, (4246398) |
alt15r4.sav.bz2 | Weight 15, (4452216) |
alt16r4.sav.bz2 | Weight 16, (18671805) |
alt17r4.sav.bz2 | Weight 17, (14652231) |
alt18r4.sav.bz2 | Weight 18, (78041057) |
alt19r4.sav.bz2 | Weight 19, (43525590) |
alt20r4.sav.bz2 | Weight 20, (244362024) |
alt21r4.sav.bz2 | Weight 21, (113239358) |
alt22r4.sav.bz2 | Weight 22, (742786565) |
For advanced use one can use the tablebase facilities of FORM. The .tbl files are
alt7r4.tbl | Weight 7, (293868) |
alt8r4.tbl | Weight 8, (331386) |
alt9r4.tbl | Weight 9, (396483) |
alt10r4.tbl | Weight 10, (831364) |
alt11r4.tbl | Weight 11, (1113415) |
alt12r4.tbl | Weight 12, (2205889) |
alt13r4.tbl | Weight 13, (3352145) |
alt14r4.tbl | Weight 14, (8747733) |
alt15r4.tbl | Weight 15, (9402188) |
alt16r4.tbl | Weight 16, (32999823) |
alt17r4.tbl | Weight 17, (27207021) |
alt18r4.tbl | Weight 18, (119678476) |
alt19r4.tbl | Weight 19, ( 72676017) |
alt20r4.tbl | Weight 20, (348854553) |
alt21r4.tbl | Weight 21, (174246048) |
alt22r4.tbl | Weight 22, (971793287) |
The programs we used were:
hex4.frm | Program to generate these tables, (7865) |
hex4.h | Library for hex4.frm, (148342) |
tosav.frm | Program converts htable files to .sav files, (551) |
maketbl.frm | Program converts .sav files to .tbl files, (428) |