000
0
100
0
200
0
300
0
400
0
500
0
600
0
700
0
800
0
900
0
!(()&&!|*|*|00
0
!(()&&!|*|*|10
0
!(()&&!|*|*|20
0
!(()&&!|*|*|30
0
!(()&&!|*|*|40
0
!(()&&!|*|*|50
0
!(()&&!|*|*|60
0
!(()&&!|*|*|70
0
!(()&&!|*|*|80
0
!(()&&!|*|*|90
0
