"done"
[()]
[()]
[()]
[()]
[(show-space GroundingSpace-0x55a58b730a08)]
[()]
0.51user 0.00system 0:00.53elapsed 98%CPU (0avgtext+0avgdata 34984maxresident)k
6352inputs+0outputs (37major+3902minor)pagefaults 0swaps