#!/usr/bin/env bash
set -euo pipefail
exec bash scripts/amos/export_memory_ct_shared13.sh