eager region clauses: 0  symmetry-breaking clauses: 19872  total: 80876
images of G62 compatible with lex-leader SB + structural + chi clauses: 6 of 48
