Execution of "se test" started: Tuesday July 1 16:53:20 2025
                    terminated: Tuesday July 1 17:14:24 2025
(1264 elapsed seconds in "/home/et/Liberty/test/lib/numeric/integer/".)