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


 $\{$\\ 
$ \Rbox  \Rbox  \Rdiamond  \Rnext  \ge 2.G6 \sqsubseteq  (  \Rbox  \ge 1.G36   \sqcap    \Rdiamond  \ge 3.G45 ) $\\ 
 $ \Rdiamond  (  \ge 1.L6   \sqcap    \Rnext  \ge 2.L37 )  \sqsubseteq  (  \ge 2.L16   \sqcap    \Rdiamond  \Rdiamond C10 ) $\\ 
 $ (  \ge 2.L34   \sqcap    \Rbox  \Rbox  \ge 2.G23 )  \sqsubseteq  \Rbox  ( C8   \sqcap    \Rnext  \ge 2.L34 ) $\\ 
 $ (  \Rbox  \ge 3.L7   \sqcap    \Rbox C1 )  \sqsubseteq  (  \ge 3.G41   \sqcap    \Rbox  \Rbox  \ge 1.G3 ) $\\ 
 $ \Rdiamond  (  \ge 1.G12   \sqcap    \Rdiamond C10 )  \sqsubseteq  \Rbox  \Rdiamond  (  \ge 1.G46   \sqcap   C26 ) $\\ 
 $ (  \Rnext  \ge 3.L42   \sqcap    \Rnext  \ge 2.L3 )  \sqsubseteq  ( C45   \sqcap    \Rbox  \Rnext C2 ) $\\ 
 $ \Rdiamond  (  \ge 2.L36   \sqcap    \Rbox  \ge 2.G28 )  \sqsubseteq  \Rdiamond  (  \ge 1.G7   \sqcap    \Rnext C22 ) $\\ 
 $ \Rbox  \Rdiamond  ( C35   \sqcap    \ge 1.G37 )  \sqsubseteq  \Rdiamond  ( C47   \sqcap    \Rnext  \ge 1.G29 ) $\\ 
 $ \Rbox  \Rdiamond  (  \ge 3.L28   \sqcap    \ge 3.L2 )  \sqsubseteq  \Rbox  \Rbox  ( C34   \sqcap    \ge 3.L8 ) $\\ 
 $ (  \Rbox C20   \sqcap    \Rdiamond  \ge 1.L24 )  \sqsubseteq  \Rdiamond  ( C33   \sqcap    \Rnext  \ge 2.G7 ) $\\ 
 $ \Rbox  \Rbox  ( C1   \sqcap    \ge 3.L49 )  \sqsubseteq  (  \Rnext C12   \sqcap    \Rdiamond C39 ) $\\ 
 $ \Rdiamond  (  \ge 2.G47   \sqcap    \Rbox  \ge 3.L15 )  \sqsubseteq  \Rbox  \Rbox  \Rbox  \Rnext C31$\\ 
 $ \Rbox  \Rbox  ( C6   \sqcap   C17 )  \sqsubseteq  (  \ge 3.G46   \sqcap    ( C29   \sqcap   C12 )  ) $\\ 
 $ \Rbox  \Rdiamond  \Rdiamond  \Rnext  \ge 3.G13 \sqsubseteq  (  \Rnext C45   \sqcap    \Rbox  \ge 2.L27 ) $\\ 
 $ \Rbox  (  \ge 2.L2   \sqcap    \Rbox  \ge 2.G46 )  \sqsubseteq  ( C11   \sqcap    ( C40   \sqcap   C42 )  ) $\\ 
 $ \Rdiamond  \Rdiamond  ( C11   \sqcap    \ge 1.L10 )  \sqsubseteq  ( C26   \sqcap    \Rdiamond  \Rnext  \ge 3.L47 ) $\\ 
 $ (  \Rdiamond C34   \sqcap    \Rdiamond  \ge 1.G46 )  \sqsubseteq  (  \Rnext  \ge 3.G44   \sqcap    \Rnext  \ge 3.L49 ) $\\ 
 $ ( C46   \sqcap    \Rbox  \Rnext  \ge 3.L40 )  \sqsubseteq  \Rdiamond  (  \ge 2.G35   \sqcap    \Rnext  \ge 2.G0 ) $\\ 
 $ \Rbox  ( C9   \sqcap    \Rdiamond C1 )  \sqsubseteq  \Rdiamond  ( C8   \sqcap    \Rnext  \ge 1.G12 ) $\\ 
 $ ( C17   \sqcap    ( C48   \sqcap    \ge 3.L42 )  )  \sqsubseteq  ( C46   \sqcap    ( C44   \sqcap    \ge 2.G21 )  ) $\\ 
 $ \Rbox  ( C12   \sqcap    \Rdiamond  \ge 2.L24 )  \sqsubseteq  (  \Rbox C7   \sqcap    \Rbox C19 ) $\\ 
 $ (  \Rnext C14   \sqcap    \Rnext  \ge 2.G5 )  \sqsubseteq  \Rbox  (  \ge 1.L21   \sqcap    \Rbox  \ge 2.L39 ) $\\ 
 $ (  \Rnext C23   \sqcap    \Rnext C44 )  \sqsubseteq  \Rdiamond  ( C25   \sqcap    \Rnext  \ge 2.L48 ) $\\ 
 $ (  \ge 2.L23   \sqcap    \Rbox  \Rnext  \ge 3.G49 )  \sqsubseteq  \Rdiamond  ( C0   \sqcap    \Rnext C39 ) $\\ 
 $ \Rbox  (  \ge 2.L9   \sqcap    \Rdiamond C33 )  \sqsubseteq  \Rdiamond  \Rbox  \Rdiamond  \Rnext  \ge 1.L33$\\ 
 $ (  \Rnext  \ge 1.G22   \sqcap    \Rdiamond  \ge 1.G24 )  \sqsubseteq  \Rbox  ( C10   \sqcap    \Rbox  \ge 2.L16 ) $\\ 
 $ (  \Rbox C7   \sqcap    \Rnext  \ge 2.G20 )  \sqsubseteq  \Rbox  \Rbox  \Rdiamond  \Rbox C9$\\ 
 $ ( C43   \sqcap    (  \ge 1.G32   \sqcap   C28 )  )  \sqsubseteq  \Rbox  (  \ge 3.G46   \sqcap    \Rnext  \ge 1.G21 ) $\\ 
 $ \Rdiamond  ( C15   \sqcap    \Rbox  \ge 3.L37 )  \sqsubseteq  \Rbox  (  \ge 1.L12   \sqcap    \Rnext C2 ) $\\ 
 $ \Rdiamond  ( C19   \sqcap    \Rbox C48 )  \sqsubseteq  \Rdiamond  ( C17   \sqcap    \Rbox C21 ) $\\ 
 $ \Rdiamond  \Rdiamond  \Rdiamond  \Rnext C0 \sqsubseteq  (  \Rnext  \ge 1.L38   \sqcap    \Rdiamond C47 ) $\\ 
 $ ( C44   \sqcap    (  \ge 3.G13   \sqcap   C18 )  )  \sqsubseteq  \Rbox  \Rdiamond  (  \ge 3.L7   \sqcap    \ge 3.L14 ) $\\ 
 $ (  \ge 2.G35   \sqcap    \Rdiamond  \Rnext  \ge 2.G21 )  \sqsubseteq  \Rbox  \Rdiamond  \Rdiamond  \Rdiamond  \ge 3.L45$\\ 
 $ ( C13   \sqcap    \Rbox  \Rnext C21 )  \sqsubseteq  (  \Rnext  \ge 3.G33   \sqcap    \Rdiamond C12 ) $\\ 
 $ (  \Rbox C39   \sqcap    \Rdiamond C38 )  \sqsubseteq  \Rbox  ( C9   \sqcap    \Rnext  \ge 1.G2 ) $\\ 
 $ (  \ge 1.G31   \sqcap    \Rdiamond  \Rbox  \ge 2.L7 )  \sqsubseteq  (  \Rnext  \ge 3.L0   \sqcap    \Rnext  \ge 2.G7 ) $\\ 
 $ (  \Rnext  \ge 1.L7   \sqcap    \Rnext C7 )  \sqsubseteq  (  \ge 2.L23   \sqcap    ( C14   \sqcap    \ge 2.G32 )  ) $\\ 
 $ \Rdiamond  \Rdiamond  (  \ge 3.G24   \sqcap    \ge 2.G15 )  \sqsubseteq  ( C20   \sqcap    ( C43   \sqcap    \ge 3.L19 )  ) $\\ 
 $ \Rdiamond  ( C29   \sqcap    \Rnext C48 )  \sqsubseteq  \Rbox  ( C40   \sqcap    \Rdiamond C19 ) $\\ 
 $ \Rbox  (  \ge 3.L31   \sqcap    \Rnext C46 )  \sqsubseteq  (  \Rdiamond C7   \sqcap    \Rbox C34 ) $\\ 
 $ ( C11   \sqcap    ( C49   \sqcap   C12 )  )  \sqsubseteq  (  \Rnext C45   \sqcap    \Rnext C11 ) $\\ 
 $ \Rdiamond  \Rbox  ( C34   \sqcap    \ge 3.L20 )  \sqsubseteq  \Rdiamond  \Rbox  (  \ge 1.G6   \sqcap   C39 ) $\\ 
 $ (  \Rbox  \ge 3.G48   \sqcap    \Rnext C1 )  \sqsubseteq  (  \Rbox C42   \sqcap    \Rbox  \ge 2.G16 ) $\\ 
 $ \Rbox  \Rdiamond  ( C36   \sqcap    \ge 2.G31 )  \sqsubseteq  \Rbox  \Rbox  (  \ge 1.G0   \sqcap   C30 ) $\\ 
 $ \Rdiamond  (  \ge 1.G36   \sqcap    \Rnext  \ge 1.G33 )  \sqsubseteq  \Rdiamond  (  \ge 3.G10   \sqcap    \Rnext C32 ) $\\ 
 $ \Rdiamond  \Rbox  \Rbox  \Rbox C23 \sqsubseteq  \Rbox  (  \ge 3.L40   \sqcap    \Rnext C32 ) $\\ 
 $ \Rbox  (  \ge 1.G39   \sqcap    \Rnext C4 )  \sqsubseteq  (  \Rbox  \ge 3.L32   \sqcap    \Rnext  \ge 1.L12 ) $\\ 
 $ (  \Rnext  \ge 1.L42   \sqcap    \Rdiamond C13 )  \sqsubseteq  \Rbox  \Rbox  ( C33   \sqcap   C16 ) $\\ 
 $ ( C33   \sqcap    \Rbox  \Rnext C48 )  \sqsubseteq  (  \Rdiamond C31   \sqcap    \Rdiamond C6 ) $\\ 
 $ ( C1   \sqcap    \Rdiamond  \Rdiamond  \ge 2.G3 )  \sqsubseteq  \Rdiamond  (  \ge 3.G15   \sqcap    \Rnext C4 ) $\\ 
 $ \Rbox  \Rbox  ( C39   \sqcap    \ge 1.G16 )  \sqsubseteq  (  \Rbox  \ge 3.G45   \sqcap    \Rnext C12 ) $\\ 
 $ (  \Rbox C49   \sqcap    \Rnext C35 )  \sqsubseteq  \Rdiamond  \Rbox  \Rbox  \Rdiamond C6$\\ 
 $ \Rbox  (  \ge 1.G16   \sqcap    \Rdiamond C1 )  \sqsubseteq  (  \ge 2.L26   \sqcap    ( C0   \sqcap   C6 )  ) $\\ 
 $ (  \Rnext C49   \sqcap    \Rnext  \ge 2.G11 )  \sqsubseteq  \Rbox  \Rdiamond  (  \ge 2.L47   \sqcap   C24 ) $\\ 
 $ \Rdiamond  ( C41   \sqcap    \Rdiamond  \ge 3.G1 )  \sqsubseteq  (  \Rnext C39   \sqcap    \Rnext  \ge 1.G43 ) $\\ 
 $ (  \ge 2.G10   \sqcap    ( C44   \sqcap    \ge 2.L7 )  )  \sqsubseteq  (  \ge 3.G32   \sqcap    \Rbox  \Rnext C44 ) $\\ 
 $ \Rbox  (  \ge 3.L20   \sqcap    \Rnext C3 )  \sqsubseteq  (  \ge 2.L11   \sqcap    ( C48   \sqcap    \ge 2.G31 )  ) $\\ 
 $ \Rdiamond  (  \ge 1.G36   \sqcap    \Rnext  \ge 3.L22 )  \sqsubseteq  ( C6   \sqcap    \Rbox  \Rdiamond  \ge 1.L49 ) $\\ 
 $ (  \ge 3.G27   \sqcap    \Rdiamond  \Rnext  \ge 3.L20 )  \sqsubseteq  (  \Rnext  \ge 2.G48   \sqcap    \Rnext  \ge 2.L6 ) $\\ 
 $ \Rbox  ( C8   \sqcap    \Rnext C33 )  \sqsubseteq  (  \Rbox  \ge 3.L26   \sqcap    \Rbox  \ge 2.L12 ) $\\ 
 $ (  \Rbox  \ge 3.L33   \sqcap    \Rnext  \ge 2.L28 )  \sqsubseteq  \Rdiamond  (  \ge 3.L41   \sqcap    \Rbox C5 ) $\\ 
 $ \Rbox  (  \ge 1.G1   \sqcap    \Rnext  \ge 3.L11 )  \sqsubseteq  \Rbox  ( C16   \sqcap    \Rdiamond  \ge 3.G35 ) $\\ 
 $ \Rbox  (  \ge 2.L22   \sqcap    \Rnext  \ge 1.G14 )  \sqsubseteq  \Rdiamond  (  \ge 1.G31   \sqcap    \Rnext C4 ) $\\ 
 $ (  \ge 1.G10   \sqcap    ( C41   \sqcap    \ge 1.G39 )  )  \sqsubseteq  \Rdiamond  (  \ge 2.L33   \sqcap    \Rnext C27 ) $\\ 
 $ (  \Rdiamond  \ge 3.G7   \sqcap    \Rnext C12 )  \sqsubseteq  (  \ge 1.L36   \sqcap    \Rdiamond  \Rnext  \ge 2.L25 ) $\\ 
 $ (  \Rbox C40   \sqcap    \Rnext C38 )  \sqsubseteq  ( C6   \sqcap    (  \ge 1.L25   \sqcap    \ge 1.L29 )  ) $\\ 
 $ \Rbox  \Rbox  (  \ge 1.L48   \sqcap   C9 )  \sqsubseteq  ( C33   \sqcap    ( C38   \sqcap    \ge 1.G29 )  ) $\\ 
 $ ( C44   \sqcap    \Rdiamond  \Rnext  \ge 2.L39 )  \sqsubseteq  (  \Rnext  \ge 2.G40   \sqcap    \Rnext C24 ) $\\ 
 $ \Rbox  ( C44   \sqcap    \Rbox C32 )  \sqsubseteq  (  \Rdiamond C17   \sqcap    \Rnext C16 ) $\\ 
 $ (  \Rbox C17   \sqcap    \Rnext  \ge 2.L14 )  \sqsubseteq  (  \Rnext C13   \sqcap    \Rbox  \ge 2.G39 ) $\\ 
 $ (  \Rnext C42   \sqcap    \Rdiamond  \ge 2.G1 )  \sqsubseteq  \Rdiamond  \Rdiamond  (  \ge 2.G35   \sqcap    \ge 1.G23 ) $\\ 
 $ \Rdiamond  ( C33   \sqcap    \Rnext  \ge 3.G11 )  \sqsubseteq  (  \Rdiamond  \ge 3.L33   \sqcap    \Rnext C24 ) $\\ 
 $ ( C0   \sqcap    (  \ge 2.G25   \sqcap    \ge 1.G4 )  )  \sqsubseteq  (  \ge 1.L42   \sqcap    \Rbox  \Rdiamond C49 ) $\\ 
 $ (  \ge 1.G43   \sqcap    \Rdiamond  \Rbox  \ge 1.L26 )  \sqsubseteq  (  \Rnext  \ge 3.G47   \sqcap    \Rnext C30 ) $\\ 
 $ (  \ge 2.L3   \sqcap    \Rbox  \Rnext  \ge 3.G28 )  \sqsubseteq  \Rdiamond  (  \ge 1.L23   \sqcap    \Rbox  \ge 1.L14 ) $\\ 
 $ (  \Rdiamond  \ge 3.G10   \sqcap    \Rnext  \ge 2.L38 )  \sqsubseteq  \Rdiamond  ( C29   \sqcap    \Rdiamond C41 ) $\\ 
 $ \Rbox  \Rdiamond  (  \ge 1.G29   \sqcap   C34 )  \sqsubseteq  \Rdiamond  \Rbox  \Rbox  \Rnext C39$\\ 
 $ ( C9   \sqcap    \Rdiamond  \Rnext  \ge 3.L27 )  \sqsubseteq  \Rbox  \Rdiamond  (  \ge 2.G33   \sqcap    \ge 2.L41 ) $\\ 
 $ \Rdiamond  ( C49   \sqcap    \Rbox  \ge 1.L31 )  \sqsubseteq  (  \Rnext C21   \sqcap    \Rnext  \ge 1.L30 ) $\\ 
 $ ( C1   \sqcap    \Rbox  \Rnext C3 )  \sqsubseteq  (  \Rnext C6   \sqcap    \Rnext C30 ) $\\ 
 $ (  \Rnext  \ge 2.G27   \sqcap    \Rdiamond  \ge 2.L17 )  \sqsubseteq  (  \Rnext  \ge 3.G18   \sqcap    \Rdiamond  \ge 3.G26 ) $\\ 
 $ (  \Rnext  \ge 3.L22   \sqcap    \Rdiamond  \ge 3.G41 )  \sqsubseteq  \Rdiamond  \Rbox  \Rdiamond  \Rbox  \ge 1.L8$\\ 
 $ (  \Rnext C45   \sqcap    \Rnext C35 )  \sqsubseteq  \Rdiamond  (  \ge 2.G44   \sqcap    \Rdiamond  \ge 2.L37 ) $\\ 
 $ \Rdiamond  \Rbox  (  \ge 1.L34   \sqcap    \ge 2.G37 )  \sqsubseteq  \Rdiamond  ( C14   \sqcap    \Rbox C44 ) $\\ 
 $ \Rbox  ( C15   \sqcap    \Rdiamond  \ge 2.G11 )  \sqsubseteq  ( C32   \sqcap    \Rbox  \Rnext C29 ) $\\ 
 $ ( C30   \sqcap    ( C39   \sqcap    \ge 3.G11 )  )  \sqsubseteq  \Rbox  (  \ge 1.G45   \sqcap    \Rnext C30 ) $\\ 
 $ \Rdiamond  \Rbox  \Rbox  \Rdiamond  \ge 2.G47 \sqsubseteq  \Rbox  \Rbox  (  \ge 2.L11   \sqcap   C6 ) $\\ 
 $ (  \ge 2.G16   \sqcap    \Rdiamond  \Rdiamond C22 )  \sqsubseteq  \Rbox  (  \ge 1.G17   \sqcap    \Rbox C38 ) $\\ 
 $ \Rbox  \Rbox  \Rdiamond  \Rnext C3 \sqsubseteq  \Rbox  ( C35   \sqcap    \Rbox C15 ) $\\ 
 $ \Rdiamond  \Rbox  (  \ge 3.G5   \sqcap   C27 )  \sqsubseteq  ( C1   \sqcap    \Rdiamond  \Rdiamond C35 ) $\\ 
 $ (  \Rnext C47   \sqcap    \Rbox C22 )  \sqsubseteq  (  \Rnext  \ge 1.L49   \sqcap    \Rbox  \ge 1.G42 ) $\\ 
 $ \Rbox  \Rdiamond  \Rbox  \Rnext C38 \sqsubseteq  (  \ge 2.L44   \sqcap    \Rdiamond  \Rdiamond C41 ) $\\ 
 $ ( C33   \sqcap    (  \ge 3.L8   \sqcap   C45 )  )  \sqsubseteq  (  \Rbox C33   \sqcap    \Rnext C48 ) $\\ 
 $ \Rbox  ( C17   \sqcap    \Rbox  \ge 2.L17 )  \sqsubseteq  (  \Rbox C32   \sqcap    \Rdiamond C1 ) $\\ 
 $ (  \Rbox C12   \sqcap    \Rnext  \ge 3.G4 )  \sqsubseteq  (  \ge 2.G1   \sqcap    \Rdiamond  \Rdiamond  \ge 1.L13 ) $\\ 
 $ (  \Rbox C34   \sqcap    \Rnext C0 )  \sqsubseteq  \Rdiamond  \Rdiamond  (  \ge 1.L11   \sqcap    \ge 3.G18 ) $\\ 
 $ ( C27   \sqcap    \Rbox  \Rdiamond  \ge 2.G35 )  \sqsubseteq  \Rdiamond  \Rbox  ( C26   \sqcap   C17 ) $\\ 
 $ \Rdiamond  (  \ge 2.G27   \sqcap    \Rdiamond  \ge 1.G39 )  \sqsubseteq  \Rdiamond  \Rbox  \Rbox  \Rbox C34$\\ 
 $ \Rbox  (  \ge 1.G41   \sqcap    \Rnext C46 )  \sqsubseteq  ( C30   \sqcap    \Rdiamond  \Rbox C6 ) $\\ 
 $ ( C6   \sqcap    (  \ge 1.G32   \sqcap   C19 )  )  \sqsubseteq  (  \Rbox  \ge 1.G28   \sqcap    \Rnext  \ge 3.G3 ) $\\ 
 $ \Rbox  ( C43   \sqcap    \Rnext C32 )  \sqsubseteq  \Rbox  (  \ge 2.G30   \sqcap    \Rnext  \ge 2.L10 ) $\\ 
 $ ( C45   \sqcap    \Rdiamond  \Rdiamond C38 )  \sqsubseteq  \Rdiamond  ( C5   \sqcap    \Rbox  \ge 1.G18 ) $\\ 
 $ ( C33   \sqcap    \Rdiamond  \Rnext  \ge 1.L2 )  \sqsubseteq  (  \Rnext  \ge 2.L44   \sqcap    \Rbox  \ge 2.G47 ) $\\ 
 $ (  \ge 1.L17   \sqcap    ( C0   \sqcap    \ge 3.L1 )  )  \sqsubseteq  (  \Rnext  \ge 3.G33   \sqcap    \Rnext  \ge 2.L26 ) $\\ 
 $ \Rdiamond  (  \ge 1.G0   \sqcap    \Rbox C20 )  \sqsubseteq  (  \ge 1.G42   \sqcap    \Rbox  \Rdiamond  \ge 3.L8 ) $\\ 
 $ \Rbox  \Rdiamond  ( C49   \sqcap   C10 )  \sqsubseteq  (  \Rnext  \ge 3.G17   \sqcap    \Rnext C41 ) $\\ 
 $ \Rbox  ( C29   \sqcap    \Rnext C19 )  \sqsubseteq  \Rdiamond  \Rdiamond  \Rbox  \Rbox C14$\\ 
 $ \Rbox  \Rbox  \Rdiamond  \Rbox C37 \sqsubseteq  (  \Rnext C14   \sqcap    \Rnext  \ge 1.L43 ) $\\ 
 $ ( C24   \sqcap    \Rdiamond  \Rnext C1 )  \sqsubseteq  (  \ge 2.L46   \sqcap    \Rdiamond  \Rnext  \ge 3.G47 ) $\\ 
 $ \Rdiamond  ( C1   \sqcap    \Rdiamond  \ge 3.G40 )  \sqsubseteq  \Rdiamond  (  \ge 1.G39   \sqcap    \Rdiamond C24 ) $\\ 
 $ \Rdiamond  \Rdiamond  \Rdiamond  \Rnext  \ge 2.G34 \sqsubseteq  \Rdiamond  \Rdiamond  (  \ge 2.G26   \sqcap   C46 ) $\\ 
 $ \Rbox  ( C25   \sqcap    \Rnext C1 )  \sqsubseteq  (  \Rnext C46   \sqcap    \Rbox  \ge 2.G9 ) $\\ 
 $ \Rdiamond  \Rdiamond  ( C26   \sqcap   C39 )  \sqsubseteq  (  \Rnext  \ge 1.G31   \sqcap    \Rnext C47 ) $\\ 
 $ (  \Rnext C9   \sqcap    \Rdiamond  \ge 2.L15 )  \sqsubseteq  (  \Rnext C19   \sqcap    \Rnext  \ge 2.G25 ) $\\ 
 $ (  \ge 1.G7   \sqcap    \Rdiamond  \Rdiamond  \ge 2.L47 )  \sqsubseteq  \Rbox  \Rdiamond  \Rbox  \Rdiamond  \ge 3.G29$\\ 
 $ \Rbox  (  \ge 1.L37   \sqcap    \Rdiamond C38 )  \sqsubseteq  (  \Rnext  \ge 3.G31   \sqcap    \Rnext  \ge 2.G1 ) $\\ 
 $ \Rbox  \Rdiamond  \Rdiamond  \Rbox  \ge 1.G4 \sqsubseteq  ( C24   \sqcap    \Rdiamond  \Rbox  \ge 2.G25 ) $\\ 
 $ \Rdiamond  \Rbox  \Rbox  \Rnext C33 \sqsubseteq  (  \ge 3.L2   \sqcap    \Rdiamond  \Rnext  \ge 3.L21 ) $\\ 
 $ \Rdiamond  \Rbox  \Rdiamond  \Rnext C24 \sqsubseteq  \Rbox  \Rdiamond  \Rbox  \Rnext  \ge 2.L26$\\ 
 $ \Rbox  (  \ge 2.L25   \sqcap    \Rdiamond C29 )  \sqsubseteq  \Rdiamond  (  \ge 2.L10   \sqcap    \Rnext C22 ) $\\ 
 $ \Rdiamond  \Rbox  \Rbox  \Rbox C35 \sqsubseteq  (  \Rnext  \ge 1.G8   \sqcap    \Rdiamond  \ge 1.G3 ) $\\ 
 $ (  \ge 2.G10   \sqcap    ( C16   \sqcap   C0 )  )  \sqsubseteq  \Rdiamond  (  \ge 1.L22   \sqcap    \Rnext  \ge 1.L41 ) $\\ 
 $ \Rbox  \Rdiamond  \Rbox  \Rnext  \ge 3.G19 \sqsubseteq  (  \ge 2.G12   \sqcap    ( C8   \sqcap    \ge 2.G31 )  ) $\\ 
 $ \Rbox  (  \ge 3.L19   \sqcap    \Rbox C0 )  \sqsubseteq  \Rdiamond  ( C32   \sqcap    \Rdiamond  \ge 1.L36 ) $\\ 
 $ \Rdiamond  (  \ge 1.G11   \sqcap    \Rnext C46 )  \sqsubseteq  ( C17   \sqcap    \Rbox  \Rnext  \ge 3.L17 ) $\\ 
 $ (  \Rdiamond  \ge 2.G13   \sqcap    \Rbox  \ge 2.L41 )  \sqsubseteq  (  \ge 1.L29   \sqcap    (  \ge 1.L5   \sqcap    \ge 1.L35 )  ) $\\ 
 $ (  \Rnext  \ge 1.L6   \sqcap    \Rbox C9 )  \sqsubseteq  \Rbox  ( C14   \sqcap    \Rbox C18 ) $\\ 
 $ ( C44   \sqcap    (  \ge 1.L47   \sqcap   C16 )  )  \sqsubseteq  (  \Rdiamond  \ge 2.G20   \sqcap    \Rdiamond  \ge 2.L43 ) $\\ 
 $ (  \ge 1.L8   \sqcap    \Rbox  \Rbox  \ge 2.L19 )  \sqsubseteq  ( C9   \sqcap    (  \ge 2.L42   \sqcap   C30 )  ) $\\ 
 $ \Rdiamond  \Rdiamond  (  \ge 3.L20   \sqcap   C23 )  \sqsubseteq  ( C1   \sqcap    (  \ge 2.L31   \sqcap   C16 )  ) $\\ 
 $ (  \ge 3.L9   \sqcap    ( C15   \sqcap    \ge 2.G35 )  )  \sqsubseteq  \Rbox  \Rdiamond  \Rdiamond  \Rbox C35$\\ 
 $ (  \Rdiamond  \ge 3.G20   \sqcap    \Rnext C4 )  \sqsubseteq  \Rdiamond  \Rdiamond  (  \ge 3.L41   \sqcap    \ge 3.G15 ) $\\ 
 $ (  \Rbox  \ge 3.L6   \sqcap    \Rnext C5 )  \sqsubseteq  (  \Rnext  \ge 3.G33   \sqcap    \Rnext C18 ) $\\ 
 $ (  \ge 2.G43   \sqcap    \Rbox  \Rbox C10 )  \sqsubseteq  \Rbox  ( C17   \sqcap    \Rnext  \ge 3.G47 ) $\\ 
 $ \Rbox  ( C11   \sqcap    \Rnext  \ge 3.G41 )  \sqsubseteq  (  \ge 2.L26   \sqcap    \Rdiamond  \Rdiamond C34 ) $\\ 
 $ \Rdiamond  \Rdiamond  \Rdiamond  \Rnext  \ge 3.L35 \sqsubseteq  \Rdiamond  (  \ge 3.G39   \sqcap    \Rbox  \ge 3.G49 ) $\\ 
 $ (  \Rnext C10   \sqcap    \Rnext C36 )  \sqsubseteq  \Rbox  \Rbox  ( C16   \sqcap   C9 ) $\\ 
 $ \Rdiamond  \Rdiamond  (  \ge 2.L21   \sqcap   C42 )  \sqsubseteq  \Rdiamond  (  \ge 2.G17   \sqcap    \Rdiamond  \ge 1.G18 ) $\\ 
 $ \Rbox  \Rbox  \Rdiamond  \Rbox C32 \sqsubseteq  (  \ge 3.G44   \sqcap    \Rbox  \Rdiamond  \ge 3.G42 ) $\\ 
 $ (  \Rbox C49   \sqcap    \Rbox C47 )  \sqsubseteq  ( C12   \sqcap    ( C31   \sqcap    \ge 1.L37 )  ) $\\ 
 $ \Rbox  \Rdiamond  \Rbox  \Rbox  \ge 3.L42 \sqsubseteq  \Rdiamond  (  \ge 2.G13   \sqcap    \Rbox  \ge 1.L24 ) $\\ 
 $ (  \ge 2.G30   \sqcap    \Rdiamond  \Rnext  \ge 3.G28 )  \sqsubseteq  \Rbox  ( C6   \sqcap    \Rdiamond  \ge 3.L16 ) $\\ 
 $ \Rdiamond  (  \ge 3.G21   \sqcap    \Rnext C24 )  \sqsubseteq  \Rdiamond  \Rbox  \Rbox  \Rdiamond C32$\\ 
 $ (  \ge 1.L30   \sqcap    \Rbox  \Rdiamond  \ge 1.G13 )  \sqsubseteq  ( C27   \sqcap    ( C15   \sqcap   C7 )  ) $\\ 
 $ ( C46   \sqcap    (  \ge 3.G33   \sqcap    \ge 2.L41 )  )  \sqsubseteq  (  \ge 2.G29   \sqcap    \Rdiamond  \Rnext  \ge 1.L5 ) $\\ 
 $ ( C44   \sqcap    \Rbox  \Rnext  \ge 2.G2 )  \sqsubseteq  (  \Rnext C16   \sqcap    \Rdiamond C30 ) $\\ 
 $ (  \ge 1.G16   \sqcap    \Rdiamond  \Rdiamond  \ge 1.L40 )  \sqsubseteq  ( C3   \sqcap    ( C31   \sqcap   C22 )  ) $\\ 
 $ \Rdiamond  \Rbox  ( C11   \sqcap   C10 )  \sqsubseteq  \Rdiamond  (  \ge 1.L0   \sqcap    \Rnext C22 ) $\\ 
 $ \Rdiamond  (  \ge 1.L3   \sqcap    \Rdiamond  \ge 1.G1 )  \sqsubseteq  ( C25   \sqcap    \Rdiamond  \Rbox C40 ) $\\ 
 $ \Rbox  \Rdiamond  \Rbox  \Rdiamond C20 \sqsubseteq  (  \ge 3.G25   \sqcap    \Rdiamond  \Rbox C43 ) $\\ 
 $\}$ 
\end{document}