# 2025-02-10 18:11:34 CET: 1 expression(s) specifying forbidden configurations read.
# 2025-02-10 18:11:34 CET: 1 expression(s) specifying forbidden configurations read.
# 2025-02-10 18:11:34 CET: 1 expression(s) specifying forbidden configurations read.
# 2025-02-10 18:11:34 CET: 1 expression(s) specifying forbidden configurations read.