Z3n Tests (464066 a10047/1754609350)