  (kind, r, dim Syz, dim W.Syz): [('off', 3, 3, 11), ('emb', 3, 3, 11), ('off', 3, 3, 11), ('emb', 3, 3, 11), ('off', 3, 3, 11), ('emb', 3, 3, 11)]
PASS (KR) off-line and embedded members with a fifth power N^5: r = 3, dim Syz = 3, dim W.Syz = 11 (dim K = 1)  [0.2s]
PASS (KR) Q = x S_1 + <yz + z^2> contains x S_1: then dim S_1 Q = 8 (k = 2, outside the k = 1 stratum), and dim W.Syz = 10 (dim K = 2)  [0.2s]
total time 0.2 s
ALL CHECKS PASSED
