qiskit_lean_verify_game
