fact: Definition fractran_compute l x y := exists n, fractran_steps l n x y.
imports: List Arith Undecidability.Shared.Libs.DLW(gcd rel_iter pos vec) Undecidability.FRACTRAN.Util(prime_seq) Undecidability.FRACTRAN.FRACTRAN