fact: Definition mma_fractran_one := MULT_CSTₐ src dst p i0 ++ MOD_CSTₐ dst src i2 i5 q i1 ++ DIV_CSTₐ src dst q i2 ++ TRANSFERTₐ dst src i3 ++ JUMPₐ j dst ++ DIV_CSTₐ src dst p i5 ++ TRANSFERTₐ dst src i6.
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils gcd pos vec subcode sss) Undecidability.MinskyMachines.MMA(mma_defs mma_utils) Undecidability.FRACTRAN(FRACTRAN fractran_utils)