JAX time: 0.03486919403076172

        __
        __