PASS (R2) F1: two points of the line                            off-line r = 2, tail dimension [13, 13] (expected 13), H ok True  [0.9s]
PASS (R2) F1: double point on the line                          off-line r = 2, tail dimension [13, 13] (expected 13), H ok True  [1.4s]
PASS (R2) F1: two points of the line, not q                     embedded r = 2, tail dimension [13, 13] (expected 13), H ok True  [1.9s]
PASS (R2) F1: double point on the line at N != q                embedded r = 2, tail dimension [13, 13] (expected 13), H ok True  [2.5s]
PASS (R2) W2: {N, q}                                            off-line r = 2, tail dimension [14, 14] (expected 14), H ok True  [3.0s]
PASS (R2) W2: {N, q}                                            embedded r = 2, tail dimension [14, 14] (expected 14), H ok True  [3.6s]
PASS (R2) W2: double point at q along the line                  embedded r = 2, tail dimension [14, 14] (expected 14), H ok True  [4.1s]
PASS (R2) W2: double point at q transverse to the line          embedded r = 2, tail dimension [14, 14] (expected 14), H ok True  [4.6s]
PASS (B) gradient pencil S_1 o K, random K                      off-line r = 3, tail dimension [11] (expected 11), H ok True  [4.9s]
PASS (B) gradient pencil S_1 o K, random K                      embedded r = 3, tail dimension [11] (expected 11), H ok True  [5.3s]
PASS (B) <Y^5, H>                                               off-line r = 3, tail dimension [11] (expected 11), H ok True  [5.7s]
PASS (B) <Y^5, H>                                               embedded r = 3, tail dimension [11] (expected 11), H ok True  [6.1s]
PASS (B) pencil in nu_5 of {Y, Y+Z, Z} (q = Z)                  embedded r = 3, tail dimension [11] (expected 11), H ok True  [6.5s]
PASS (B) pencil <YZ^4, Y^2Z^3> (triple point at q on the line)  embedded r = 3, tail dimension [11] (expected 11), H ok True  [7.0s]
PASS (Q) <X^5, G>, G binary random                              off-line r = 3, tail dimension [12] (expected 12), H ok True  [7.4s]
PASS (Q) <Z^5, H>, H binary random                              embedded r = 3, tail dimension [12] (expected 12), H ok True  [7.8s]
PASS (Q) <Z^5, XZ^4 + G1>, G1 binary random                     embedded r = 3, tail dimension [12] (expected 12), H ok True  [8.2s]
PASS (Q) <Z^5, XZ^4 + Y^2Z^3>                                   embedded r = 3, tail dimension [12] (expected 12), H ok True  [8.5s]
PASS (U) off-line <Y^5 + X^5, Z^5 + X^5>                        off-line r = 3, tail dimension [10] (expected 10), H ok True  [8.8s]
PASS (U) off-line double <Y^5 + X^5, Y^4Z>                      off-line r = 3, tail dimension [10] (expected 10), H ok True  [9.2s]
PASS (U) (i) <XZ^4, Y^5 + Z^5>                                  embedded r = 3, tail dimension [10] (expected 10), H ok True  [9.4s]
PASS (U) (ii) c = 1: <YZ^4 + dZ^5, kappa + eZ^5>, d, e = -5, -5 embedded r = 3, tail dimension [10] (expected 10), H ok True  [9.7s]
PASS (U) (ii) c = 1: <YZ^4, kappa>                              embedded r = 3, tail dimension [10] (expected 10), H ok True  [10.1s]
PASS (U) (ii) c = 3: <YZ^4 + dZ^5, kappa + eZ^5>, d, e = -2, -4 embedded r = 3, tail dimension [10] (expected 10), H ok True  [10.5s]
PASS (U) (ii) c = 3: <YZ^4, kappa>                              embedded r = 3, tail dimension [10] (expected 10), H ok True  [10.8s]
PASS (U) (ii) c = -2: <YZ^4 + dZ^5, kappa + eZ^5>, d, e = 0, 5  embedded r = 3, tail dimension [10] (expected 10), H ok True  [11.2s]
PASS (U) (ii) c = -2: <YZ^4, kappa>                             embedded r = 3, tail dimension [10] (expected 10), H ok True  [11.4s]
PASS (U) (iii) fat point: <XZ^4, YZ^4>                          embedded r = 3, tail dimension [10] (expected 10), H ok True  [11.7s]
PASS (V) off-line <Y^5, Z^5 + X^5>                              off-line r = 3, tail dimension [11] (expected 11), H ok True  [12.0s]
PASS (V) off-line double <Y^5, Y^4Z + X^5>                      off-line r = 3, tail dimension [11] (expected 11), H ok True  [12.2s]
PASS (V) embedded <XZ^4, Y^5>                                   embedded r = 3, tail dimension [11] (expected 11), H ok True  [12.5s]
PASS (L) {Z + tY, Z + tX} -> transverse double point at q: limit plane [Z^5, -5*X*Z^4 + 5*Y*Z^4]  [12.6s]
PASS (L) {Z + tY, Z + t^2 X} -> double point at q along the line: limit plane [Z^5, 5*Y*Z^4]  [12.7s]
total time 12.7 s
ALL CHECKS PASSED
