fact: Variables (src dst zero : pos n) (Hsd : src <> dst) (Hsz : src <> zero) (Hdz : dst <> zero) (i : nat).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.MinskyMachines.MM(mm_defs)