Constraining a 2D Bounded Dynamic Array

I was a bit confused since this is an Queue of Dynamic Array.
So had conflicting thoughts how to constrain it.

I have thought something like this …

define MAX_VALUE 9
define MAX_WIDTH 64

rand int data[$:9][] ;
   
 constraint data_size { data.size() == `MAX_VALUES ;}   
 constraint data_values_c { 
                            ( foreach(data[i]) 
                                { foreach(data[j]) 
                                    { data[i][j] == `MAX_WIDTH } ;
                                ) ;
                          }

Need to try this approach.