⎕ARG[6]{α[ω-3+2×α[ω-6]=α[ω-5]]}¨(8×ι32)
)OFF