M: bigint[][][] = ...