# 2024-11-26 15:46:35 CET: 1 expression(s) specifying forbidden configurations read.
# 2024-11-26 15:46:35 CET: 1 expression(s) specifying forbidden configurations read.
# 2024-11-26 15:46:35 CET: 1 expression(s) specifying forbidden configurations read.
# 2024-11-26 15:46:35 CET: 1 expression(s) specifying forbidden configurations read.