An efficient