Trabalho de acompanhamento aceito no DISC: acordo bizantino assíncrono multivalorado com segurança perfeita e resiliência ótima dado o ABA binário em O(nL+n² log n)