Execution of "se test" started: Thursday May 2 18:42:53 2024
                    terminated: Thursday May 2 18:58:15 2024
(922 elapsed seconds in "/home/et/Liberty/test/language/expanded/".)