true s0_0_0 9000 s0_0_1 9000 true s0_1_0 9000 true s1_0_0 9000 s1_0_1 9000 true s1_1_0 9000