Could you please clarify what is the auto_bin_max default value for cross of a,b in the following code.it seems the value is not 64
module sri;
bit [3:0] a;
bit [3:0] b;
covergroup cg;
cross a,b;
endgroup
initial begin
cg c=new();
end
endmodule