a script to extract preproc string

repro/extract_preproc_string.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+
+file_path="$1"
+
+extract_values() {
+    while IFS= read -r line; do
+        if [[ $line == "Precomputed values used:"* ]]; then
+            echo "${line#Precomputed values used: }"
+            break
+        fi
+    done < "$file_path"
+}
+
+if [ -z "$file_path" ]; then
+    echo "Usage: ./extract_values.sh <file_path>"
+else
+    extract_values
+fi
+