Execution of "se test" started: Monday August 25 0:52:4 2025
                    terminated: Monday August 25 0:54:0 2025
(116 elapsed seconds in "/home/et/Liberty/test/language/unclassified/oz/".)