Index of /reports/herbie/1752142934:main:7e01615e/numerics/25-FromRumpina1983paperrewritten/

../
graph.html.gz                                      10-Jul-2025 10:20                3644
points.json.gz                                     10-Jul-2025 10:22                1357
profile.json.gz                                    10-Jul-2025 10:22                3930
timeline.html.gz                                   10-Jul-2025 10:20               17784
timeline.json.gz                                   10-Jul-2025 10:22               13807