Constant T4_EIP7702_PER_AUTH_TOTAL 

const T4_EIP7702_PER_AUTH_TOTAL: u64 = 250_000;