Symbol: pool_id2solvable