[b2_base validate] tables built in 2.2s
validate: 300 random elements of B as functions on all of P: twisted compatibility, f^x(p) = f(xp) versus the tuple formula, (b^x)^y = b^(xy), (bb')^x = b^x b'^x; stab vs unfiltered stab on 60 elements: failures = 0
VALIDATION PASSED
time 30s
