A B C A B C A A B C A B C B C A B C C A B C A B B B A C C C C B B A B C Omega A B C A B C A B C A B C A B C B C B C A Omega B C Omega B C A B C C C C A B C Omega C C B C B C B A C B Omega C Omega B A C C C B A C C Omega B Omega A k*(A B C) (k-1)*(A B C) k*(A Omega B Omega C) (k+2)*(A B C) A B C A B C A B C A B A B A B C Omega A Omega B C A B C Omega A B A Omega B Omega C A B C Omega A B A Omega B Omega C A B C Omega A B C Omega C A B C A B C Omega Omega B A A A B C A A C Omega B B Omega A B C B B A A C A A B B Omega B B Omega A Omega A C Omega A B A Omega Omega A Omega A Omega C B Omega B B Omega A C B A Omega Omega A Omega A Omega C B Omega A B B Omega A C B A Omega Omega A Omega A Omega C B Omega A B B Omega A A_st A_cmp B_st B_cmp C_st C_cmp B_st B_cmp A_st A_cmp C_st C_cmp A_st B_st A_cmp B_cmp C_st C_cmp A_st A_cmp C_st C_cmp B_st B_cmp A_st B_st B_cmp A_cmp C_st C_cmp A_st A_cmp B_st B_cmp C_st C_cmp B_st B_cmp A_st A_cmp C_st C_cmp A_st A_cmp C_st B_st C_cmp B_cmp A_st A_cmp C_st C_cmp B_st B_cmp A_st A_cmp C_st B_st B_cmp C_cmp A_st A_cmp B_st B_cmp C_st C_cmp B_st B_cmp A_st A_cmp C_st C_cmp A_st B_st A_cmp C_st B_cmp C_cmp A_st A_cmp C_st C_cmp B_st B_cmp A_st B_st B_cmp A_cmp C_st C_cmp A_st B_st A_cmp C_st C_cmp B_cmp A_st A_cmp B_st B_cmp C_st C_cmp B_st B_cmp A_st A_cmp C_st C_cmp A_st A_cmp C_st C_cmp B_st B_cmp A_st B_st A_cmp C_st B_cmp C_cmp A_st A_cmp B_st B_cmp C_st C_cmp Omega A_st A_cmp B_st B_cmp A_st A_cmp B_st B_cmp C_st C_cmp Omega A_st A_cmp Omega A_st A_cmp B_st B_cmp C_st C_cmp Omega A_st A_cmp B_st B_cmp A_st B_st A_cmp B_cmp C_st C_cmp Omega B_st B_cmp Omega A_st A_cmp B_st B_cmp C_st C_cmp Omega A_st A_cmp B_st B_cmp B_st B_cmp A_st A_cmp C_st C_cmp A_st A_cmp B_st B_cmp C_st C_cmp A_st A_cmp B_st B_cmp A_st A_cmp B_st B_cmp C_st C_cmp A_st A_cmp C_st C_cmp B_st B_cmp Omega Omega A_st A_cmp B_st B_cmp B_st B_cmp C_st C_cmp C_st C_cmp B_st B_cmp Omega B_st B_cmp Omega A_st B_st C_st B_cmp A_cmp C_cmp B_st B_cmp C_st C_cmp A_st A_cmp C_st C_cmp Omega B_st B_cmp Omega A_st A_cmp C_st C_cmp B_st B_cmp A_st A_cmp A_st A_cmp A_st A_cmp C_st C_cmp B_st B_cmp B_st B_cmp A_st A_cmp A_st A_cmp Omega B_st B_cmp C_st C_cmp C_st C_cmp Omega A_st A_cmp C_st C_cmp B_st B_cmp A_st A_cmp B_st B_cmp A_st A_cmp B_st B_cmp A_st A_cmp C_st C_cmp B_st B_cmp B_st B_cmp B_st B_cmp A_st A_cmp C_st C_cmp C_st C_cmp A_st A_cmp Omega Omega B_st B_cmp A_st A_cmp