Here we have all Euler or alternating sums of a given weight but only up to depth 5.
The basis elements are characterized by that they are Lyndon words over the negative odd integers.
The log files of the runs are
hexa5-9.log.bz2 | Weight 9, (212259) |
hexa5-10.log.bz2 | Weight 10, (659988) |
hexa5-11.log.bz2 | Weight 11, (2095500) |
hexa5-12.log.bz2 | Weight 12, (5184756) |
hexa5-13.log.bz2 | Weight 13, (20096285) |
hexa5-14.log.bz2 | Weight 14, (39370159) |
hexa5-15.log.bz2 | Weight 15, (154582147) |
hexa5-16.log.bz2 | Weight 16, (224623804) |
hexa5-17.log.bz2 | Weight 17, (945066439) |
The .prc files contain the corresponding tables.
alt9r5.prc.bz2 | Weight 9, (210784) |
alt10r5.prc.bz2 | Weight 10, (658378) |
alt11r5.prc.bz2 | Weight 11, (2092532) |
alt12r5.prc.bz2 | Weight 12, (5175919) |
alt13r5.prc.bz2 | Weight 13, (20032422) |
alt14r5.prc.bz2 | Weight 14, (39240219) |
alt15r5.prc.bz2 | Weight 15, (154097374) |
alt16r5.prc.bz2 | Weight 16, (223850485) |
alt17r5.prc.bz2 | Weight 17, (941505232) |
The full binary files in FORM format were made with the program tosav.frm and are given by
alt9r5.sav.bz2 | Weight 9, (202426) |
alt10r5.sav.bz2 | Weight 10, (665277) |
alt11r5.sav.bz2 | Weight 11, (2145942) |
alt12r5.sav.bz2 | Weight 12, (5194827) |
alt13r5.sav.bz2 | Weight 13, (18998723) |
alt14r5.sav.bz2 | Weight 14, (36506995) |
alt15r5.sav.bz2 | Weight 15, (134736979) |
alt16r5.sav.bz2 | Weight 16, (199330742) |
alt17r5.sav.bz2 | Weight 17, (813051016) |
For advanced use one can use the tablebase facilities of FORM. The .tbl files are
alt9r5.tbl | Weight 9, (1325198) |
alt10r5.tbl | Weight 10, (2731939) |
alt11r5.tbl | Weight 11, (5969806) |
alt12r5.tbl | Weight 12, (12428766) |
alt13r5.tbl | Weight 13, (35456000) |
alt14r5.tbl | Weight 14, (64953868) |
alt15r5.tbl | Weight 15, (209126705) |
alt16r5.tbl | Weight 16, (311901065) |
alt17r5.tbl | Weight 17, (1147297504) |
The programs to make the above files are
hex5.frm | Program to generate these tables, (8382) |
hexall.h | Library for hex5.frm, (148397) |
tosav.frm | Program converts htable files to .sav files, (559) |
maketbl.frm | Program converts .sav files to .tbl files, (420) |