Index of /downloads/schlaefli_fans/

../
SchlaefliFan12369387.json                          19-Dec-2023 15:20            13804391
SchlaefliFan2091566.out.xz                         19-Dec-2023 15:26           965591404
SchlaefliFan37.json                                19-Dec-2023 15:20              191906
SchlaefliFan5054117.json                           19-Dec-2023 15:20              161134
SchlaefliFan842554.xz                              19-Dec-2023 15:26            70468316