-!'user1_2_1' |-[+]-!'user2_2_1' | |-[+]-!'user1_2_2' | | |-[+]-!'user2_2_2' | | | |-[+]-!'user1_2_3' | | | | |-[+]-!'user2_2_3' | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user2_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user2_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]-('user1_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user1_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' < 0) | | | | |-[+]-('user2_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user2_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]-('user2_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user2_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' < 0) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_2' | | |-[+]-('user1_1_3' < 0) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-!'user1_2_3' | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user2_1_3' < 0) | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user1_2_2' | |-[+]-('user2_1_2' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' < 0) | | | |-[+]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_2' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' < 0) | | | |-[+]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user2_1_2' != 0) | | | | |-[+]-('user2_1_2' != 1) | | | | | |-[+]-('user2_1_2' != 3) | | | | | | |-[+]-('user2_1_2' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]-('user1_1_3' < 0) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]-('user1_1_3' >= 5) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user1_1_3' < 0) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]-('user1_1_3' >= 5) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user1_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user1_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_2' < 0) | |-[+]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_2' >= 5) | |-[+]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_3' | |-[+]-('user2_1_2' != 0) | | |-[+]-('user2_1_2' != 1) | | | |-[+]-('user2_1_2' != 3) | | | | |-[+]-('user2_1_2' != 4) | | | | | |-[+]-!'user1_2_3' | | | | | | |-[+]-('user1_1_3' != 0) | | | | | | | |-[+]-('user1_1_3' != 1) | | | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-!'user1_2_3' | | | | | |-[+]-('user1_1_3' != 0) | | | | | | |-[+]-('user1_1_3' != 1) | | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user1_2_3' | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user1_2_3' | |-[+]-('user2_1_3' < 0) | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' != 0) | | |-[+]-('user1_1_3' != 1) | | | |-[+]-('user1_1_3' != 3) | | | | |-[+]-('user1_1_3' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-!'user2_2_1' |-[+]-('user1_1_2' < 0) | |-[+]-!'user2_2_2' | | |-[+]-('user1_1_3' < 0) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-!'user1_2_3' | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user2_1_3' < 0) | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_2' >= 5) | |-[+]-!'user2_2_2' | | |-[+]-('user1_1_3' < 0) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]-!'user2_2_3' | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-!'user1_2_3' | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user2_1_3' < 0) | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_2' | |-[+]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_2' != 0) | | | | |-[+]-('user1_1_2' != 1) | | | | | |-[+]-('user1_1_2' != 3) | | | | | | |-[+]-('user1_1_2' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]-('user2_1_3' < 0) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' >= 5) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' < 0) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' >= 5) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user2_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user1_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user1_2_3' | |-[+]-('user2_1_3' < 0) | | |-[+]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_2' != 0) | | |-[+]-('user1_1_2' != 1) | | | |-[+]-('user1_1_2' != 3) | | | | |-[+]-('user1_1_2' != 4) | | | | | |-[+]-!'user2_2_3' | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-!'user2_2_3' | | | | | |-[+]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_3' | |-[+]-('user2_1_3' != 0) | | |-[+]-('user2_1_3' != 1) | | | |-[+]-('user2_1_3' != 3) | | | | |-[+]-('user2_1_3' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user1_1_2' < 0) |-[+]-('user2_1_2' < 0) | |-[+]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_2' >= 5) | |-[+]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_3' | |-[+]-('user2_1_2' != 0) | | |-[+]-('user2_1_2' != 1) | | | |-[+]-('user2_1_2' != 3) | | | | |-[+]-('user2_1_2' != 4) | | | | | |-[+]-!'user1_2_3' | | | | | | |-[+]-('user1_1_3' != 0) | | | | | | | |-[+]-('user1_1_3' != 1) | | | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-!'user1_2_3' | | | | | |-[+]-('user1_1_3' != 0) | | | | | | |-[+]-('user1_1_3' != 1) | | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user1_2_3' | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user1_2_3' | |-[+]-('user2_1_3' < 0) | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' != 0) | | |-[+]-('user1_1_3' != 1) | | | |-[+]-('user1_1_3' != 3) | | | | |-[+]-('user1_1_3' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user1_1_2' >= 5) |-[+]-('user2_1_2' < 0) | |-[+]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_2' >= 5) | |-[+]-('user1_1_3' < 0) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-!'user2_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_3' | |-[+]-('user2_1_2' != 0) | | |-[+]-('user2_1_2' != 1) | | | |-[+]-('user2_1_2' != 3) | | | | |-[+]-('user2_1_2' != 4) | | | | | |-[+]-!'user1_2_3' | | | | | | |-[+]-('user1_1_3' != 0) | | | | | | | |-[+]-('user1_1_3' != 1) | | | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-!'user1_2_3' | | | | | |-[+]-('user1_1_3' != 0) | | | | | | |-[+]-('user1_1_3' != 1) | | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user1_2_3' | | | | |-[+]-('user1_1_3' != 0) | | | | | |-[+]-('user1_1_3' != 1) | | | | | | |-[+]-('user1_1_3' != 3) | | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user1_2_3' | | | |-[+]-('user1_1_3' != 0) | | | | |-[+]-('user1_1_3' != 1) | | | | | |-[+]-('user1_1_3' != 3) | | | | | | |-[+]-('user1_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user1_2_3' | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user1_2_3' | |-[+]-('user2_1_3' < 0) | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-('user1_1_3' != 0) | | | |-[+]-('user1_1_3' != 1) | | | | |-[+]-('user1_1_3' != 3) | | | | | |-[+]-('user1_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' != 0) | | |-[+]-('user1_1_3' != 1) | | | |-[+]-('user1_1_3' != 3) | | | | |-[+]-('user1_1_3' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user2_1_2' < 0) |-[+]-!'user1_2_3' | |-[+]-('user2_1_3' < 0) | | |-[+]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_2' != 0) | | |-[+]-('user1_1_2' != 1) | | | |-[+]-('user1_1_2' != 3) | | | | |-[+]-('user1_1_2' != 4) | | | | | |-[+]-!'user2_2_3' | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-!'user2_2_3' | | | | | |-[+]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_3' | |-[+]-('user2_1_3' != 0) | | |-[+]-('user2_1_3' != 1) | | | |-[+]-('user2_1_3' != 3) | | | | |-[+]-('user2_1_3' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user2_1_2' >= 5) |-[+]-!'user1_2_3' | |-[+]-('user2_1_3' < 0) | | |-[+]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]-('user1_1_2' != 0) | | | |-[+]-('user1_1_2' != 1) | | | | |-[+]-('user1_1_2' != 3) | | | | | |-[+]-('user1_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_2' != 0) | | |-[+]-('user1_1_2' != 1) | | | |-[+]-('user1_1_2' != 3) | | | | |-[+]-('user1_1_2' != 4) | | | | | |-[+]-!'user2_2_3' | | | | | | |-[+]-('user2_1_3' != 0) | | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-!'user2_2_3' | | | | | |-[+]-('user2_1_3' != 0) | | | | | | |-[+]-('user2_1_3' != 1) | | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-!'user2_2_3' | | | | |-[+]-('user2_1_3' != 0) | | | | | |-[+]-('user2_1_3' != 1) | | | | | | |-[+]-('user2_1_3' != 3) | | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-!'user2_2_3' | | | |-[+]-('user2_1_3' != 0) | | | | |-[+]-('user2_1_3' != 1) | | | | | |-[+]-('user2_1_3' != 3) | | | | | | |-[+]-('user2_1_3' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]-!'user2_2_3' | | |-[+]-('user2_1_3' != 0) | | | |-[+]-('user2_1_3' != 1) | | | | |-[+]-('user2_1_3' != 3) | | | | | |-[+]-('user2_1_3' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-!'user2_2_3' | |-[+]-('user2_1_3' != 0) | | |-[+]-('user2_1_3' != 1) | | | |-[+]-('user2_1_3' != 3) | | | | |-[+]-('user2_1_3' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-!'user1_2_3' |-[+]-!'user2_2_3' | |-[+]-('user1_1_2' != 0) | | |-[+]-('user1_1_2' != 1) | | | |-[+]-('user1_1_2' != 3) | | | | |-[+]-('user1_1_2' != 4) | | | | | |-[+]-('user2_1_2' != 0) | | | | | | |-[+]-('user2_1_2' != 1) | | | | | | | |-[+]-('user2_1_2' != 3) | | | | | | | | |-[+]-('user2_1_2' != 4) | | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | | +-[-]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]-('user2_1_2' != 0) | | | | | |-[+]-('user2_1_2' != 1) | | | | | | |-[+]-('user2_1_2' != 3) | | | | | | | |-[+]-('user2_1_2' != 4) | | | | | | | | |-[+]_/OK: [ ] | | | | | | | | +-[-]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_2' != 0) | | | | |-[+]-('user2_1_2' != 1) | | | | | |-[+]-('user2_1_2' != 3) | | | | | | |-[+]-('user2_1_2' != 4) | | | | | | | |-[+]_/OK: [ ] | | | | | | | +-[-]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_2' != 0) | | | |-[+]-('user2_1_2' != 1) | | | | |-[+]-('user2_1_2' != 3) | | | | | |-[+]-('user2_1_2' != 4) | | | | | | |-[+]_/OK: [ ] | | | | | | +-[-]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_2' != 0) | | |-[+]-('user2_1_2' != 1) | | | |-[+]-('user2_1_2' != 3) | | | | |-[+]-('user2_1_2' != 4) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_2' != 0) | |-[+]-('user1_1_2' != 1) | | |-[+]-('user1_1_2' != 3) | | | |-[+]-('user1_1_2' != 4) | | | | |-[+]-('user2_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user2_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user2_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user2_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user2_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user2_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user2_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user2_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user2_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-!'user2_2_3' |-[+]-('user2_1_2' != 0) | |-[+]-('user2_1_2' != 1) | | |-[+]-('user2_1_2' != 3) | | | |-[+]-('user2_1_2' != 4) | | | | |-[+]-('user1_1_3' < 0) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]-('user1_1_3' >= 5) | | | | | |-[+]_/OK: [ ] | | | | | +-[-]_/OK: [ ] | | | | +-[-]-('user1_1_3' < 0) | | | | |-[+]_/OK: [ ] | | | | +-[-]-('user1_1_3' >= 5) | | | | |-[+]_/OK: [ ] | | | | +-[-]_/OK: [ ] | | | +-[-]-('user1_1_3' < 0) | | | |-[+]_/OK: [ ] | | | +-[-]-('user1_1_3' >= 5) | | | |-[+]_/OK: [ ] | | | +-[-]_/OK: [ ] | | +-[-]-('user1_1_3' < 0) | | |-[+]_/OK: [ ] | | +-[-]-('user1_1_3' >= 5) | | |-[+]_/OK: [ ] | | +-[-]_/OK: [ ] | +-[-]-('user1_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user1_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user1_1_3' < 0) |-[+]-('user2_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user1_1_3' >= 5) |-[+]-('user2_1_3' < 0) | |-[+]_/OK: [ ] | +-[-]-('user2_1_3' >= 5) | |-[+]_/OK: [ ] | +-[-]_/OK: [ ] +-[-]-('user2_1_3' < 0) |-[+]_/OK: [ ] +-[-]-('user2_1_3' >= 5) |-[+]_/OK: [ ] +-[-]_/OK: [ ]