memory watchdog armed: 14.90 GiB (16000000000 bytes) ceiling (from project.resource_limits.max_memory)
verify-lemma: 1 failed (proved=0, counterexample=0, timeout=1, unknown=0, translation_err=0)
