\documentclass{article}
\usepackage{a4wide}
\usepackage{fancyhdr}
\usepackage{datetime}
\lhead{./certificates/sub-runningex-sup-runningex/env.tex}
\rhead{09:11:49.172 on 2025-04-03}
\fancyfoot{}
\begin{document}
\thispagestyle{fancy}
$\Gamma'(n)$ records $\Gamma(n)$ when node $n$ was last reached in the simulation
\begin{center}
\[ \Gamma' = 
\left\{\begin{array}{@{}r@{\;}c@{\;}l@{}}
55072 & \mapsto & \{p!, p?\}\\
55071 & \mapsto & \{p?, p!\}\\
55070 & \mapsto & \{p!, p?\}\\
\end{array}\right\}
\]
\end{center}
\end{document}
