A_st A_cmp A_st Omega A_cmp A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega Omega A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega A_st A_cmp A_st Omega A_cmp A_st B_st B_cmp A_cmp Omega A_st Omega B_st B_cmp B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega A_st B_st B_cmp A_cmp Omega Omega B_st B_cmp Omega A_st B_cmp Omega A_st Omega B_st B_cmp B_st B_cmp A_cmp Omega A_st A_cmp A_st Omega A_cmp A_st A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega Omega A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega A_st A_cmp A_st Omega A_cmp A_st A_cmp Omega A_st Omega B_st Omega B_cmp Omega A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega A_st Omega B_st Omega B_cmp Omega A_cmp Omega Omega Omega Omega Omega B_st B_cmp Omega A_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega Omega Omega Omega Omega A_st B_st B_cmp A_cmp Omega A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega A_st B_st B_cmp A_cmp Omega B_st B_cmp Omega A_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega A_st B_st B_cmp A_cmp Omega A_st A_cmp Omega Omega B_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega A_st Omega Omega A_cmp Omega Omega B_st B_cmp Omega A_st A_cmp Omega Omega B_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega A_st Omega Omega A_cmp Omega B_st B_cmp Omega A_st A_cmp Omega Omega B_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega B_st B_cmp Omega Omega Omega Omega Omega A_st A_cmp Omega Omega B_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega B_st B_cmp Omega Omega Omega Omega Omega A_st A_cmp Omega A_st A_cmp Omega B_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega B_st B_cmp Omega A_st A_cmp Omega Omega Omega B_st B_cmp Omega A_st A_cmp Omega Omega A_st B_st B_cmp A_cmp Omega A_st A_cmp Omega A_st A_cmp Omega B_st B_cmp Omega Omega A_st B_st B_cmp A_cmp Omega Omega Omega A_st A_cmp Omega B_st B_cmp Omega Omega B_st B_cmp Omega A_st A_cmp Omega Omega A_st B_st B_cmp A_cmp Omega A_st A_cmp Omega A_st Omega B_st B_cmp Omega A_cmp