flags ['noZ']
RESULT prism 2x2: maximum chi of a finite configuration (block) = 7592
=> counterexample in the prism exists
time 1831.0s

[exited with code 0]
