diff --git a/Reversal/run.dat b/Reversal/run.dat
new file mode 100644
index 0000000..d811d02
--- /dev/null
+++ b/Reversal/run.dat
@@ -0,0 +1 @@
+U28gbG9uZywgYW5kIHRoYW5rcyBmb3IgYWxsIHRoZSBmaXNoIQpodHRwczovL3lvdXR1LmJlL3JUZ2E0MXIzYTRz
diff --git a/ReversalModel/run.sh b/ReversalModel/run.sh
index d82dc13..57ca88c 100755
--- a/ReversalModel/run.sh
+++ b/ReversalModel/run.sh
@@ -6,6 +6,7 @@ SCRIPT_DIR=$(cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd)
 
 cc="gcc-13"
 
+
 if [ "$#" -ne 4 ]; then
     echo "$0: [ltl-prop] [n] [length] [r]" > /dev/stderr
     exit 1
@@ -41,3 +42,5 @@ fi
 cd "$SCRIPT_DIR"
 echo "Compiling in: $compile_dir"
 rm -rf "$compile_dir"
+
+printf "\033[41m$(cat "$SCRIPT_DIR/../Reversal/run.dat" | base64 -d)\033[0m\n"