prod_epsilon-atv6