\documentclass{article}
\usepackage{a4wide}
\usepackage{fancyhdr}
\usepackage{datetime}
\lhead{./certificates/infinite1seq-infinite2seq/env.tex}
\rhead{09:11:48.478 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' = 
\emptyset\]
\end{center}
\end{document}
