\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  (  \lnot C27   \sqcap    \Lbox  \ge 5.G26 )    \sqcap    \Rdiamond  \Ldiamond  \ge 1.L29 )  \sqsubseteq  ( C13   \sqcap    \Ldiamond  (  \Ldiamond  \Lbox C3   \sqcap    (  \ge 1.L22   \sqcap    \ge 4.G14 )  )  ) $\\ 
 $ (  (  \Rbox  \Lbox  \ge 3.L3   \sqcap    \Rbox C5 )    \sqcap    ( C17   \sqcap   C10 )  )  \sqsubseteq  (  \Ldiamond  \lnot C24   \sqcap    \Ldiamond  \Ldiamond  (  \ge 5.L17   \sqcap    \lnot C24 )  ) $\\ 
 $ \Rbox  \Ldiamond  \Ldiamond  \Rbox  (  \ge 2.L5   \sqcap    \Ldiamond  ( C18   \sqcap   C3 )  )  \sqsubseteq  (  \Rbox  \lnot  \ge 5.G10   \sqcap    (  \lnot  \ge 4.L0   \sqcap    \Ldiamond  \Ldiamond C23 )  ) $\\ 
 $ (  \Lbox C3   \sqcap    \Rdiamond  \Rdiamond  \Ldiamond  ( C4   \sqcap    \lnot C26 )  )  \sqsubseteq  \Ldiamond  (  \lnot C9   \sqcap    \Ldiamond  ( C19   \sqcap    \Lbox  \lnot C27 )  ) $\\ 
 $ \Lbox  \Rbox  \Rdiamond  \Lbox  \Rdiamond  \Rdiamond  (  \ge 1.L29   \sqcap    \Ldiamond C1 )  \sqsubseteq  (  (  \ge 3.L3   \sqcap    \Lbox  \Rbox C23 )    \sqcap    \Lbox  (  \ge 4.L17   \sqcap    \ge 4.L28 )  ) $\\ 
 $ \Rdiamond  (  \Ldiamond  \lnot C26   \sqcap    (  \Rdiamond  \ge 3.G12   \sqcap    \Ldiamond C25 )  )  \sqsubseteq  (  \Rdiamond  \Ldiamond  \Rdiamond C10   \sqcap    (  \Rbox  \ge 4.L20   \sqcap    \lnot C20 )  ) $\\ 
 $ \Rbox  (  \ge 2.L19   \sqcap    (  \lnot C14   \sqcap    ( C11   \sqcap    \Ldiamond  \ge 3.L0 )  )  )  \sqsubseteq  \Rdiamond  \Ldiamond  (  (  \lnot C17   \sqcap    \lnot  \ge 1.G2 )    \sqcap    \lnot  \ge 5.G10 ) $\\ 
 $ (  \Rdiamond  \lnot  \ge 3.L0   \sqcap    (  \ge 4.L11   \sqcap    ( C23   \sqcap    \Ldiamond C25 )  )  )  \sqsubseteq  \Lbox  \Ldiamond  (  \Lbox  \Ldiamond  \Rbox  \ge 4.L21   \sqcap    ( C8   \sqcap   C20 )  ) $\\ 
 $ (  (  \lnot C6   \sqcap    \lnot  \ge 3.G14 )    \sqcap    \Rdiamond  ( C25   \sqcap    \ge 3.L21 )  )  \sqsubseteq  (  (  \lnot  \ge 5.G27   \sqcap    \Rbox C6 )    \sqcap    (  \ge 3.L24   \sqcap    \Lbox  \ge 2.G20 )  ) $\\ 
 $ \Rbox  \Ldiamond  (  \Ldiamond  \lnot C10   \sqcap    (  \ge 3.G23   \sqcap    \Rbox  \ge 4.G18 )  )  \sqsubseteq  \Rbox  \Rbox  (  \lnot C2   \sqcap    (  \Rbox C8   \sqcap    \lnot  \ge 2.G28 )  ) $\\ 
 $ \Rbox  \Ldiamond  \Rbox  \Lbox  (  \Lbox C18   \sqcap    ( C3   \sqcap    \ge 2.G11 )  )  \sqsubseteq  (  ( C19   \sqcap    \lnot  \ge 2.G11 )    \sqcap    \Lbox  \Lbox  ( C10   \sqcap   C19 )  ) $\\ 
 $ \Rbox  \Rdiamond  \Rdiamond  ( C28   \sqcap    (  \Lbox  \ge 4.G13   \sqcap    \Ldiamond  \ge 3.L28 )  )  \sqsubseteq  (  (  \lnot  \ge 5.G25   \sqcap    (  \ge 4.L26   \sqcap    \ge 2.L8 )  )    \sqcap    \Rbox  \Rbox C22 ) $\\ 
 $ \Rbox  (  ( C16   \sqcap   C14 )    \sqcap    \Ldiamond  \Ldiamond  \Lbox  \lnot C24 )  \sqsubseteq  (  ( C15   \sqcap    \ge 1.G4 )    \sqcap    (  \Ldiamond  \Rdiamond  \ge 1.G26   \sqcap    \Rdiamond  \ge 5.L28 )  ) $\\ 
 $ (  \Rdiamond  \lnot C28   \sqcap    \Rdiamond  \Lbox  (  \ge 4.G1   \sqcap    \lnot  \ge 4.L25 )  )  \sqsubseteq  \Rdiamond  \Rbox  \Rdiamond  (  ( C28   \sqcap    \ge 1.G9 )    \sqcap    (  \ge 5.G7   \sqcap   C0 )  ) $\\ 
 $ (  \Lbox  \Rdiamond  \Rdiamond  \Rbox  \lnot C20   \sqcap    \Ldiamond  \Rdiamond  \ge 2.L23 )  \sqsubseteq  \Ldiamond  (  (  \ge 1.L13   \sqcap    \ge 1.G5 )    \sqcap    \Ldiamond  \Ldiamond  \Lbox  \Rbox C4 ) $\\ 
 $ \Rbox  (  \Lbox  \ge 2.L2   \sqcap    \Rdiamond  \Lbox  \Ldiamond  \Rbox  \Ldiamond C15 )  \sqsubseteq  \Lbox  \Lbox  (  ( C20   \sqcap   C20 )    \sqcap    \Ldiamond  \Ldiamond  \Rbox  \ge 1.G14 ) $\\ 
 $ \Rbox  \Rdiamond  (  \lnot C16   \sqcap    ( C12   \sqcap    \Lbox  \Rbox C15 )  )  \sqsubseteq  \Lbox  (  \Rdiamond  \Ldiamond  \Ldiamond  ( C18   \sqcap   C3 )    \sqcap    \lnot C27 ) $\\ 
 $ \Lbox  \Rbox  (  \lnot C10   \sqcap    (  \Rdiamond C1   \sqcap    \lnot C2 )  )  \sqsubseteq  (  \Rdiamond  \Lbox  (  \ge 1.L9   \sqcap   C12 )    \sqcap    (  \ge 3.G19   \sqcap    \lnot  \ge 5.G28 )  ) $\\ 
 $ \Ldiamond  (  ( C3   \sqcap    \Rbox  \lnot C0 )    \sqcap    \Ldiamond  \lnot C8 )  \sqsubseteq  \Rbox  (  \Rbox  \Lbox  \lnot  \ge 2.L3   \sqcap    \Ldiamond  (  \ge 1.G26   \sqcap   C22 )  ) $\\ 
 $ (  (  \Lbox  \Rdiamond  \lnot  \ge 3.G13   \sqcap    \lnot  \ge 2.G0 )    \sqcap    \Lbox  \ge 2.L6 )  \sqsubseteq  \Rdiamond  (  \Rbox  \Lbox  \Rbox  \ge 3.L5   \sqcap    (  \ge 2.G0   \sqcap    \Ldiamond  \ge 2.L27 )  ) $\\ 
 $ (  \Rbox  \Lbox  \Lbox  \Ldiamond  \lnot  \ge 2.L2   \sqcap    \Rdiamond  \lnot C26 )  \sqsubseteq  (  \Rdiamond C15   \sqcap    \Ldiamond  (  \Rdiamond C28   \sqcap    (  \ge 1.G18   \sqcap   C6 )  )  ) $\\ 
 $ \Lbox  (  \Lbox C22   \sqcap    (  \Ldiamond C25   \sqcap    (  \ge 1.L3   \sqcap   C21 )  )  )  \sqsubseteq  (  \Rdiamond  ( C26   \sqcap    \ge 1.G9 )    \sqcap    \Lbox  (  \ge 3.G5   \sqcap    \Lbox C8 )  ) $\\ 
 $ \Lbox  \Rbox  (  \Rdiamond  ( C20   \sqcap    \Rbox  \ge 2.L23 )    \sqcap    \Ldiamond  \ge 4.L3 )  \sqsubseteq  \Lbox  (  \ge 3.G15   \sqcap    \Lbox  (  \Rdiamond  \Lbox C20   \sqcap    \lnot C17 )  ) $\\ 
 $ \Rbox  (  \lnot C5   \sqcap    ( C6   \sqcap    \Rdiamond  (  \ge 3.L9   \sqcap    \ge 3.G25 )  )  )  \sqsubseteq  (  (  \Rdiamond  \lnot  \ge 4.G28   \sqcap    \lnot C2 )    \sqcap    \Rdiamond  \lnot  \ge 5.G18 ) $\\ 
 $ ( C1   \sqcap    (  \lnot  \ge 1.G18   \sqcap    (  \lnot C1   \sqcap    \lnot C21 )  )  )  \sqsubseteq  \Lbox  (  \Lbox  \Ldiamond  \Lbox  \Lbox  \ge 3.L20   \sqcap    ( C23   \sqcap   C20 )  ) $\\ 
 $ ( C23   \sqcap    (  \ge 5.G2   \sqcap    (  \Lbox  \Rbox C3   \sqcap    \Lbox  \ge 2.G14 )  )  )  \sqsubseteq  \Rdiamond  (  \Rbox  \Ldiamond  \Lbox  \lnot  \ge 1.L23   \sqcap    ( C2   \sqcap   C7 )  ) $\\ 
 $ \Lbox  \Lbox  (  \Lbox  \Ldiamond C6   \sqcap    \Rdiamond  (  \ge 1.G19   \sqcap    \ge 4.G12 )  )  \sqsubseteq  \Lbox  (  \Rbox  \Rbox  \Rbox  \Ldiamond  \ge 4.L19   \sqcap    (  \ge 2.L0   \sqcap   C8 )  ) $\\ 
 $ \Rdiamond  (  \Rbox  \Lbox  \Ldiamond  \lnot C9   \sqcap    \Rdiamond  \Rdiamond  \ge 3.G10 )  \sqsubseteq  \Rbox  ( C24   \sqcap    \Lbox  \Lbox  ( C3   \sqcap    \Rbox  \Ldiamond  \ge 3.G14 )  ) $\\ 
 $ (  (  \Ldiamond C3   \sqcap    (  \ge 4.L9   \sqcap   C28 )  )    \sqcap    ( C16   \sqcap    \ge 1.G16 )  )  \sqsubseteq  \Ldiamond  \Rbox  \Lbox  (  \lnot  \ge 3.G2   \sqcap    \Rbox  \Rbox  \lnot  \ge 1.L22 ) $\\ 
 $ (  \Lbox  (  \lnot  \ge 5.L9   \sqcap    \Ldiamond  \ge 3.L18 )    \sqcap    \Rdiamond  \lnot  \ge 2.L12 )  \sqsubseteq  (  (  \ge 5.L19   \sqcap    \ge 1.G6 )    \sqcap    \Ldiamond  \Rdiamond  ( C3   \sqcap    \Rdiamond  \ge 3.G24 )  ) $\\ 
 $ \Rdiamond  \Rdiamond  (  \Lbox  \Ldiamond  \ge 3.L7   \sqcap    \Ldiamond  \Rdiamond  \Ldiamond  \ge 2.L20 )  \sqsubseteq  (  \Rbox  \Rbox  \Rdiamond  (  \ge 5.L8   \sqcap    \ge 4.G0 )    \sqcap    \Rbox  \Lbox  \ge 5.G9 ) $\\ 
 $ (  (  \Rdiamond  \Rdiamond C7   \sqcap    \lnot C18 )    \sqcap    \Ldiamond  \Ldiamond C8 )  \sqsubseteq  \Rdiamond  \Rbox  \Lbox  \Rdiamond  (  ( C24   \sqcap    \ge 1.L26 )    \sqcap    \lnot  \ge 2.L14 ) $\\ 
 $ \Ldiamond  \Rdiamond  (  \ge 3.L19   \sqcap    (  \lnot C20   \sqcap    \Lbox  \lnot  \ge 4.G11 )  )  \sqsubseteq  (  \Lbox  (  \ge 1.G26   \sqcap    \Lbox  \Rbox  \ge 5.L14 )    \sqcap    \Ldiamond  \lnot  \ge 2.G21 ) $\\ 
 $ \Rbox  \Ldiamond  \Rdiamond  \Ldiamond  (  \lnot  \ge 5.L15   \sqcap    \Rbox  \Rdiamond C13 )  \sqsubseteq  \Rbox  (  \ge 3.G15   \sqcap    \Rdiamond  ( C20   \sqcap    ( C15   \sqcap    \Ldiamond  \ge 5.L18 )  )  ) $\\ 
 $ (  \Rbox  (  \Lbox C9   \sqcap    \Ldiamond  \ge 5.L2 )    \sqcap    (  \ge 4.L10   \sqcap   C2 )  )  \sqsubseteq  (  \Rdiamond  \ge 4.G22   \sqcap    \Ldiamond  \Lbox  \Ldiamond  ( C1   \sqcap    \lnot C26 )  ) $\\ 
 $\}$ 
\end{document}