LOGX=40 QMIN=10000 N=24 (4*3^N = 2^40.04) part 0/1
nodes 708591 leaves 590367 candidates 574604 flags 0 inconsistent 0 | rejected: valuation>=3 528735, below start 45869 | cycles 0 | bchk 1
max bit length of forward replay points 57
