rUqq2HOL