State/Chinese remainder theorem 1