\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}}


 $\{$\\ 
$ \Rdiamond  \Ldiamond  (  \ge 2.L29   \sqcap    \Lbox  \Rdiamond  \Rdiamond  \Ldiamond  \lnot  \ge 5.L1 )  \sqsubseteq  \Ldiamond  ( C25   \sqcap    \Rbox  \Ldiamond  \Rdiamond  \Rdiamond  \Rdiamond  \Ldiamond  \ge 3.G27 ) $\\ 
 $ \Lbox  \Rbox  ( C21   \sqcap    (  \lnot  \ge 5.G17   \sqcap    (  \ge 3.G28   \sqcap   C15 )  )  )  \sqsubseteq  \Rdiamond  \Rbox  \Ldiamond  \Ldiamond  \Ldiamond  (  \Ldiamond C6   \sqcap    \lnot C25 ) $\\ 
 $ \Ldiamond  (  \ge 4.G14   \sqcap    \Lbox  \Rbox  \Ldiamond  \Ldiamond  \Ldiamond  \lnot C18 )  \sqsubseteq  \Rdiamond  (  \Rbox  \Rbox  \ge 2.G20   \sqcap    \Rdiamond  \Ldiamond  \Ldiamond  \lnot C13 ) $\\ 
 $ (  \Lbox  (  \Rdiamond C11   \sqcap    \Rdiamond  \lnot  \ge 4.G8 )    \sqcap    \Lbox C8 )  \sqsubseteq  \Rbox  (  ( C24   \sqcap    \Lbox C11 )    \sqcap    (  \ge 4.G17   \sqcap    \Ldiamond C23 )  ) $\\ 
 $ \Rdiamond  \Lbox  \Rdiamond  \Rdiamond  ( C7   \sqcap    ( C8   \sqcap    \Lbox  \ge 1.L26 )  )  \sqsubseteq  \Rbox  (  (  \Rbox C13   \sqcap    \Ldiamond  \ge 2.G29 )    \sqcap    \Lbox  \Ldiamond  \ge 1.G16 ) $\\ 
 $ \Ldiamond  \Rbox  (  \Rdiamond  (  \ge 4.G12   \sqcap    \ge 3.G7 )    \sqcap    \Lbox  \Rbox  \ge 3.G25 )  \sqsubseteq  (  \Ldiamond  \Ldiamond  \Rdiamond  \Ldiamond C12   \sqcap    (  \ge 1.G3   \sqcap    \Rbox C28 )  ) $\\ 
 $ (  \Rdiamond  \ge 5.G2   \sqcap    \Rbox  \Rbox  \Ldiamond  \Rdiamond  ( C19   \sqcap    \ge 3.G25 )  )  \sqsubseteq  \Lbox  (  \Lbox  \lnot  \ge 2.G18   \sqcap    \Ldiamond  \Ldiamond  ( C1   \sqcap    \ge 3.G18 )  ) $\\ 
 $ \Rdiamond  \Ldiamond  \Rbox  \Lbox  \Rbox  \Rbox  \Rdiamond  \Rbox  \lnot C4 \sqsubseteq  \Lbox  \Ldiamond  \Lbox  ( C12   \sqcap    ( C10   \sqcap    \Ldiamond  \Rdiamond  \ge 4.L15 )  ) $\\ 
 $ \Lbox  \Ldiamond  (  ( C16   \sqcap    \ge 2.G5 )    \sqcap    \Ldiamond  \Rbox  \lnot C13 )  \sqsubseteq  \Rdiamond  \Rdiamond  \Rbox  \Rdiamond  \Rdiamond  \Rbox  \Rbox  \Rbox  \Rdiamond  \ge 1.G19$\\ 
 $ (  \Rbox  \Lbox  (  \ge 4.G25   \sqcap    \Ldiamond  \ge 2.G3 )    \sqcap    \Rdiamond  \Lbox C25 )  \sqsubseteq  \Rbox  \Rbox  (  \lnot C1   \sqcap    \Rdiamond  (  \ge 5.G29   \sqcap    \Ldiamond C28 )  ) $\\ 
 $ (  \Lbox  \Ldiamond  \Rbox  \ge 2.G9   \sqcap    \Rbox  \Rbox  (  \ge 1.G8   \sqcap    \ge 3.G14 )  )  \sqsubseteq  \Lbox  \Lbox  \Lbox  (  \Rdiamond  ( C23   \sqcap   C24 )    \sqcap    \Ldiamond C13 ) $\\ 
 $ \Lbox  \Lbox  \Rbox  (  \ge 4.G4   \sqcap    (  \Ldiamond C15   \sqcap    \Ldiamond C6 )  )  \sqsubseteq  (  \Ldiamond  \Rbox  (  \ge 4.G25   \sqcap   C4 )    \sqcap    ( C7   \sqcap    \lnot C13 )  ) $\\ 
 $ \Rdiamond  (  ( C11   \sqcap    \Rdiamond  ( C18   \sqcap    \ge 3.G25 )  )    \sqcap    \Ldiamond  \ge 5.G4 )  \sqsubseteq  \Ldiamond  \Rbox  \Lbox  \Rdiamond  \Lbox  \Rbox  \Lbox  \Rdiamond  \Rbox  \ge 1.G23$\\ 
 $ \Rbox  \Ldiamond  (  (  \ge 3.G4   \sqcap    \Ldiamond  \Lbox  \ge 5.G2 )    \sqcap    \Lbox  \ge 1.G7 )  \sqsubseteq  \Rbox  \Rbox  (  \Rbox  ( C17   \sqcap    \ge 4.L1 )    \sqcap    \Ldiamond  \Ldiamond C25 ) $\\ 
 $ \Rbox  (  \Rbox  \Ldiamond  \Rbox  \lnot  \ge 3.G11   \sqcap    \Lbox  \Ldiamond C14 )  \sqsubseteq  \Lbox  \Rdiamond  (  (  \ge 4.G9   \sqcap    \Rdiamond C16 )    \sqcap    (  \ge 3.G2   \sqcap    \ge 1.G7 )  ) $\\ 
 $ \ge 2.G20 \sqsubseteq  \ge 1.G20$\\ 
 $ \ge 5.L1 \sqsubseteq  \ge 4.L1$\\ 
 $ \ge 4.L1 \sqsubseteq  \ge 1.L1$\\ 
 $ \ge 3.G11 \sqsubseteq  \ge 1.G11$\\ 
 $ \ge 4.G12 \sqsubseteq  \ge 1.G12$\\ 
 $ \ge 4.G14 \sqsubseteq  \ge 3.G14$\\ 
 $ \ge 3.G14 \sqsubseteq  \ge 1.G14$\\ 
 $ \ge 4.G25 \sqsubseteq  \ge 3.G25$\\ 
 $ \ge 3.G25 \sqsubseteq  \ge 1.G25$\\ 
 $ \ge 5.G2 \sqsubseteq  \ge 3.G2$\\ 
 $ \ge 3.G2 \sqsubseteq  \ge 1.G2$\\ 
 $ \ge 5.G17 \sqsubseteq  \ge 4.G17$\\ 
 $ \ge 4.G17 \sqsubseteq  \ge 1.G17$\\ 
 $ \ge 3.G28 \sqsubseteq  \ge 1.G28$\\ 
 $ \ge 2.G3 \sqsubseteq  \ge 1.G3$\\ 
 $ \ge 3.G27 \sqsubseteq  \ge 1.G27$\\ 
 $ \ge 5.G4 \sqsubseteq  \ge 4.G4$\\ 
 $ \ge 4.G4 \sqsubseteq  \ge 3.G4$\\ 
 $ \ge 3.G4 \sqsubseteq  \ge 1.G4$\\ 
 $ \ge 2.G5 \sqsubseteq  \ge 1.G5$\\ 
 $ \ge 3.G18 \sqsubseteq  \ge 2.G18$\\ 
 $ \ge 2.G18 \sqsubseteq  \ge 1.G18$\\ 
 $ \ge 5.G29 \sqsubseteq  \ge 2.G29$\\ 
 $ \ge 2.G29 \sqsubseteq  \ge 1.G29$\\ 
 $ \ge 3.G7 \sqsubseteq  \ge 1.G7$\\ 
 $ \ge 4.G8 \sqsubseteq  \ge 1.G8$\\ 
 $ \ge 4.L15 \sqsubseteq  \ge 1.L15$\\ 
 $ \ge 4.G9 \sqsubseteq  \ge 2.G9$\\ 
 $ \ge 2.G9 \sqsubseteq  \ge 1.G9$\\ 
 $ \ge 2.L29 \sqsubseteq  \ge 1.L29$\\ 
 $ \ge 1.G11 \sqsubseteq  \Rbox  \Lbox  \ge 1.G11$\\ 
 $ \ge 1.G12 \sqsubseteq  \Rbox  \Lbox  \ge 1.G12$\\ 
 $ \ge 1.G14 \sqsubseteq  \Rbox  \Lbox  \ge 1.G14$\\ 
 $ \ge 1.G16 \sqsubseteq  \Rbox  \Lbox  \ge 1.G16$\\ 
 $ \ge 2.G18 \sqsubseteq  \Rbox  \Lbox  \ge 2.G18$\\ 
 $ \ge 1.G17 \sqsubseteq  \Rbox  \Lbox  \ge 1.G17$\\ 
 $ \ge 3.G25 \sqsubseteq  \Rbox  \Lbox  \ge 3.G25$\\ 
 $ \ge 3.G2 \sqsubseteq  \Rbox  \Lbox  \ge 3.G2$\\ 
 $ \ge 3.G27 \sqsubseteq  \Rbox  \Lbox  \ge 3.G27$\\ 
 $ \ge 3.G28 \sqsubseteq  \Rbox  \Lbox  \ge 3.G28$\\ 
 $ \ge 1.G18 \sqsubseteq  \Rbox  \Lbox  \ge 1.G18$\\ 
 $ \ge 3.G7 \sqsubseteq  \Rbox  \Lbox  \ge 3.G7$\\ 
 $ \ge 1.G19 \sqsubseteq  \Rbox  \Lbox  \ge 1.G19$\\ 
 $ \ge 4.G25 \sqsubseteq  \Rbox  \Lbox  \ge 4.G25$\\ 
 $ \ge 3.G4 \sqsubseteq  \Rbox  \Lbox  \ge 3.G4$\\ 
 $ \ge 4.G17 \sqsubseteq  \Rbox  \Lbox  \ge 4.G17$\\ 
 $ \ge 1.G23 \sqsubseteq  \Rbox  \Lbox  \ge 1.G23$\\ 
 $ \ge 1.G25 \sqsubseteq  \Rbox  \Lbox  \ge 1.G25$\\ 
 $ \ge 1.G27 \sqsubseteq  \Rbox  \Lbox  \ge 1.G27$\\ 
 $ \ge 1.G28 \sqsubseteq  \Rbox  \Lbox  \ge 1.G28$\\ 
 $ \ge 2.G29 \sqsubseteq  \Rbox  \Lbox  \ge 2.G29$\\ 
 $ \ge 3.G14 \sqsubseteq  \Rbox  \Lbox  \ge 3.G14$\\ 
 $ \ge 3.G11 \sqsubseteq  \Rbox  \Lbox  \ge 3.G11$\\ 
 $ \ge 1.G20 \sqsubseteq  \Rbox  \Lbox  \ge 1.G20$\\ 
 $ \ge 3.G18 \sqsubseteq  \Rbox  \Lbox  \ge 3.G18$\\ 
 $ \ge 1.G29 \sqsubseteq  \Rbox  \Lbox  \ge 1.G29$\\ 
 $ \ge 4.G9 \sqsubseteq  \Rbox  \Lbox  \ge 4.G9$\\ 
 $ \ge 4.G8 \sqsubseteq  \Rbox  \Lbox  \ge 4.G8$\\ 
 $ \ge 4.G14 \sqsubseteq  \Rbox  \Lbox  \ge 4.G14$\\ 
 $ \ge 4.G4 \sqsubseteq  \Rbox  \Lbox  \ge 4.G4$\\ 
 $ \ge 2.G20 \sqsubseteq  \Rbox  \Lbox  \ge 2.G20$\\ 
 $ \ge 4.G12 \sqsubseteq  \Rbox  \Lbox  \ge 4.G12$\\ 
 $ \ge 1.G9 \sqsubseteq  \Rbox  \Lbox  \ge 1.G9$\\ 
 $ \ge 5.G2 \sqsubseteq  \Rbox  \Lbox  \ge 5.G2$\\ 
 $ \ge 5.G4 \sqsubseteq  \Rbox  \Lbox  \ge 5.G4$\\ 
 $ \ge 5.G17 \sqsubseteq  \Rbox  \Lbox  \ge 5.G17$\\ 
 $ \ge 1.G4 \sqsubseteq  \Rbox  \Lbox  \ge 1.G4$\\ 
 $ \ge 1.G3 \sqsubseteq  \Rbox  \Lbox  \ge 1.G3$\\ 
 $ \ge 1.G2 \sqsubseteq  \Rbox  \Lbox  \ge 1.G2$\\ 
 $ \ge 1.G8 \sqsubseteq  \Rbox  \Lbox  \ge 1.G8$\\ 
 $ \ge 1.G7 \sqsubseteq  \Rbox  \Lbox  \ge 1.G7$\\ 
 $ \ge 1.G5 \sqsubseteq  \Rbox  \Lbox  \ge 1.G5$\\ 
 $ \ge 5.G29 \sqsubseteq  \Rbox  \Lbox  \ge 5.G29$\\ 
 $ \ge 2.G9 \sqsubseteq  \Rbox  \Lbox  \ge 2.G9$\\ 
 $ \ge 2.G3 \sqsubseteq  \Rbox  \Lbox  \ge 2.G3$\\ 
 $ \ge 2.G5 \sqsubseteq  \Rbox  \Lbox  \ge 2.G5$\\ 
 $\}$ 
\end{document}