Omega A_st B_st A_cmp B_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega Omega Omega Omega Omega A_st B_st A_cmp B_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega Omega Omega Omega Omega A_st B_st A_cmp B_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega A_st B_st A_cmp B_cmp Omega A_st B_st B_cmp A_cmp Omega Omega Omega A_st B_st A_cmp B_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega A_st B_st A_cmp B_cmp Omega A_st B_st B_cmp A_cmp Omega Omega Omega A_st B_st A_cmp B_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega A_st Omega B_st A_cmp Omega B_cmp Omega Omega Omega A_st B_st A_cmp B_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega A_st Omega B_st A_cmp Omega B_cmp Omega Omega A_st B_st Omega C_st Omega C_cmp A_cmp Omega B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st Omega C_st Omega C_cmp A_cmp Omega B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st C_st C_cmp A_cmp B_cmp A_st A_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st A_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st A_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st A_cmp B_st B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega B_st B_cmp B_st B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega Omega C_st C_cmp B_st B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega B_st B_cmp B_st B_cmp C_st C_cmp C_st Omega Omega C_cmp C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega C_st C_cmp Omega Omega C_st C_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega C_st C_cmp Omega Omega Omega Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp A_st B_st C_st C_cmp A_cmp B_cmp A_st B_st C_st C_cmp A_cmp B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega C_st C_cmp Omega Omega Omega A_st A_cmp B_st B_cmp Omega A_st B_st A_cmp B_cmp Omega Omega A_st B_st A_cmp B_cmp Omega A_st Omega A_cmp B_st B_cmp Omega B_st B_cmp Omega A_st A_cmp A_st B_st C_st A_cmp B_cmp C_cmp Omega A_st Omega A_cmp B_st B_cmp Omega C_st C_cmp A_st C_st B_st A_cmp C_cmp B_cmp Omega B_st C_st B_cmp C_cmp Omega A_st A_cmp