#1466 spa_conj_futSimp_vAux_n01_q