Z3 approach to discover that “q_rsqrt” is in Copilot's slur list · HackerTrans