Require all_stdlib.
Print Sorted Universes "universes.txt".