(S0 S0 S0 S1 x x x x x x x x) (S0 S0 S0 S1 x x x x x x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 14 x 0 0) (S0 S0 S0 S0 0 0 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 0 1 0 14 S4043243775 0 0) (S0 S0 S0 S0 0 0 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 0 1 0 15 S4043243775 x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 14 x 2 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243775 0 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 1 1 0 15 S4043243775 x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 14 x 4 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243775 0 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 1 1 0 15 S4043243775 x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 14 x 6 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243775 0 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243760 0 0) (S0 S0 S0 S0 0 1 1 0 14 S4043243775 0 0) (S0 S0 S0 S0 0 1 1 0 15 S4043243760 x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 14 x 8 0) (S0 S0 S0 S0 0 1 1 0 14 S0 0 0) (S0 S0 S0 S0 0 1 1 0 14 S0 0 0) (S0 S0 S0 S0 0 1 1 0 14 S0 0 0) (S0 S0 S0 S0 0 1 1 0 15 S0 x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 1 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) (S0 S0 S0 S0 0 0 1 1 15 x x x) END END