Example: A4Z bound to 5BPP