((eax ebx ecx edi edx esi x y z) (ebx eax ecx edi edx esi) (ecx eax ebx edi edx esi) (edi eax ebx ecx edx esi x y z) (edx eax ebx ecx edi esi) (esi eax ebx ecx edi edx x y z) (x eax edi esi y z) (y eax edi esi x z) (z eax edi esi x y))
#f
