executed batch record definition