Elég megnézni a hivatalos test resultot, 64 byte (ahol tutira nem szól közbe más): ax2 < ac2 < ax3. Az ax3 magasabb órajelen megy, ahogy az már korábban tisztázva volt.