In PuVeto v7r2, various bugs were fixed in the L0PU bank encoding, see Savannah bug 27390. Data produced with Boole versions smaller than v12r6 contains the bug