fact: Definition move_rev_stack := POP x (4+i) (7+i) :: PUSH y One :: PUSH y' Zero :: POP y' i i :: PUSH y Zero :: PUSH x Zero :: POP x i i :: nil.
imports: List Arith Lia Bool Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.StackMachines.BSM(tiles_solvable bsm_defs)