<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[a4paper,10pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{pdfpages}
\usepackage{latexsym}
\usepackage{amssymb,amsthm,amsmath}

\begin{document}
 \newcommand{\nxt}{{\ensuremath\raisebox{0.25ex}{\text{\scriptsize$\bigcirc$}}}}
\newcommand{\Rdiamond}{\Diamond_{\!F}}
\newcommand{\Rbox}{\Box_{\!F}}
\newcommand{\Rnext}{\nxt_{\!F}}
\newcommand{\Ldiamond}{\Diamond_{\!P}}
\newcommand{\Lbox}{\Box_{\!P}}
\newcommand{\Lnext}{\nxt_{\!P}}
\newcommand{\SVdiamond}{\mathop{\ooalign{$\Diamond$ \cr \kern0.5ex
    \raisebox{0.35ex}{\scalebox{0.7}{$*$}}} \kern-0.9ex}}
\newcommand{\SVbox}{\mathop{\ooalign{$\Box$ \cr \kern0.42ex
    \raisebox{0.3ex}{\scalebox{0.7}{$*$}}} \kern-0.9ex}}


 $\{$\\ 
$ ( C2   \sqcap    (  \ge 2.G2   \sqcap    \ge 2.G5 )  )  \sqsubseteq  \Rbox  \Rbox  (  \ge 1.L2   \sqcap   C3 ) $\\ 
 $ (  \ge 3.G0   \sqcap    ( C3   \sqcap   C4 )  )  \sqsubseteq  (  \ge 2.G1   \sqcap    ( C2   \sqcap    \ge 1.L2 )  ) $\\ 
 $ (  \ge 3.G3   \sqcap    \Rbox  \Rnext C0 )  \sqsubseteq  \Rdiamond  ( C2   \sqcap    \Rbox  \ge 2.G2 ) $\\ 
 $ ( C4   \sqcap    \Rdiamond  \Rnext C2 )  \sqsubseteq  \Rbox  \Rdiamond  ( C5   \sqcap   C3 ) $\\ 
 $ (  \ge 3.G4   \sqcap    (  \ge 1.G4   \sqcap    \ge 3.L5 )  )  \sqsubseteq  \Rbox  (  \ge 2.L2   \sqcap    \Rnext C4 ) $\\ 
 $ \Rdiamond  \Rdiamond  ( C4   \sqcap   C5 )  \sqsubseteq  (  \ge 1.G2   \sqcap    \Rdiamond  \Rbox  \ge 2.G5 ) $\\ 
 $ \Rbox  (  \ge 2.G3   \sqcap    \Rnext C2 )  \sqsubseteq  \Rbox  ( C0   \sqcap    \Rbox C4 ) $\\ 
 $ \Rbox  (  \ge 2.G4   \sqcap    \Rdiamond C3 )  \sqsubseteq  \Rdiamond  \Rbox  \Rdiamond  \Rnext  \ge 2.G2$\\ 
 $ (  \Rbox  \ge 3.L3   \sqcap    \Rdiamond  \ge 3.G1 )  \sqsubseteq  \Rbox  ( C3   \sqcap    \Rnext C3 ) $\\ 
 $ \Rbox  ( C4   \sqcap    \Rnext C0 )  \sqsubseteq  \Rbox  \Rbox  \Rdiamond  \Rdiamond C2$\\ 
 $ (  \ge 2.G2   \sqcap    (  \ge 1.G4   \sqcap   C5 )  )  \sqsubseteq  \Rbox  \Rbox  ( C4   \sqcap    \ge 1.G3 ) $\\ 
 $ \Rdiamond  (  \ge 3.L3   \sqcap    \Rdiamond C4 )  \sqsubseteq  \Rdiamond  (  \ge 1.L4   \sqcap    \Rbox C3 ) $\\ 
 $ (  \Rnext  \ge 1.L1   \sqcap    \Rnext C3 )  \sqsubseteq  \Rdiamond  ( C0   \sqcap    \Rnext C0 ) $\\ 
 $ (  \ge 2.L0   \sqcap    \Rbox  \Rnext C0 )  \sqsubseteq  \Rbox  ( C0   \sqcap    \Rnext  \ge 1.G5 ) $\\ 
 $ ( C3   \sqcap    ( C5   \sqcap   C2 )  )  \sqsubseteq  (  \Rdiamond C1   \sqcap    \Rdiamond C3 ) $\\ 
 $ (  \Rdiamond  \ge 1.G1   \sqcap    \Rnext  \ge 2.G2 )  \sqsubseteq  (  \Rnext  \ge 3.G3   \sqcap    \Rdiamond C0 ) $\\ 
 $ (  \Rdiamond  \ge 3.L5   \sqcap    \Rdiamond  \ge 1.L3 )  \sqsubseteq  \Rdiamond  \Rdiamond  \Rdiamond  \Rdiamond  \ge 3.G1$\\ 
 $ \Rbox  \Rdiamond  \Rdiamond  \Rbox C2 \sqsubseteq  \Rdiamond  ( C5   \sqcap    \Rdiamond  \ge 3.G1 ) $\\ 
 $ \Rdiamond  \Rbox  (  \ge 1.G4   \sqcap   C2 )  \sqsubseteq  \Rbox  ( C3   \sqcap    \Rdiamond C2 ) $\\ 
 $ \Rbox  ( C2   \sqcap    \Rnext  \ge 2.L2 )  \sqsubseteq  \Rdiamond  ( C2   \sqcap    \Rnext C4 ) $\\ 
 $\}$ 
\end{document}</pre></body></html>