\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{\Land}{\sqcap}
\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}}


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