seed 20260930; primes (2147483647, 1000000007)
  [5.2] twisted  s=3 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 3] -> OK
  [5.2] conic    s=4 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 4] -> OK
  [5.2] line     s=2 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 3, 3] -> OK
  [5.2] line     s=3 d=5 t=4: generic J_c order 3 (want 3); index-0 minors only 4 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [5, 6, 7, 8, 9] -> OK
  [5.2] conic    s=4 d=4 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [4, 6, 8, 10] -> OK
  [5.2] nodal    s=3 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 6, 7, 8] -> OK
  [5.2] conic    s=2 d=4 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [4, 4, 4, 4] -> OK
  [5.2] line     s=1 d=3 t=3: generic J_c order 2 (want 2); index-0 minors only inf (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [3, 2, 1, 0] -> OK
  [5.2] conic    s=4 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 4] -> OK
  [5.2] line     s=2 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 2] -> OK
  [5.2] twisted  s=4 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 4] -> OK
  [5.2] line     s=1 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only inf (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 1, 0] -> OK
  [5.2] twisted  s=2 d=4 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [4, 4] -> OK
  [5.2] line     s=2 d=1 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [1, 1] -> OK
  [5.2] twisted  s=2 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 3] -> OK
  [5.2] line     s=2 d=6 t=4: generic J_c order 3 (want 3); index-0 minors only 4 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [6, 6, 6, 6, 6] -> OK
  [5.2] line     s=2 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 2, 2] -> OK
  [5.2] nodal    s=4 d=1 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [1, 3] -> OK
  [5.2] conic    s=4 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 7, 9, 11] -> OK
  [5.2] line     s=1 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only inf (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 1] -> OK
  [5.2] nodal    s=4 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 4] -> OK
  [5.2] nodal    s=3 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 6, 7, 8] -> OK
  [5.2] line     s=2 d=5 t=4: generic J_c order 3 (want 3); index-0 minors only 4 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [5, 5, 5, 5, 5] -> OK
  [5.2] twisted  s=4 d=10 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [10, 12, 14, 16, 18] -> OK
  [5.2] nodal    s=4 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 5, 7] -> OK
  [5.2] line     s=2 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 4, 4] -> OK
  [5.2] nodal    s=4 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 4, 6] -> OK
  [5.2] line     s=2 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 3, 3] -> OK
  [5.2] twisted  s=4 d=10 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [10, 12, 14, 16, 18] -> OK
  [5.2] line     s=2 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 2] -> OK
  [5.2] twisted  s=3 d=7 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [7, 8, 9, 10] -> OK
  [5.2] twisted  s=4 d=8 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [8, 10, 12, 14] -> OK
  [5.2] conic    s=4 d=6 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [6, 8, 10, 12, 14] -> OK
  [5.2] twisted  s=4 d=8 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [8, 10, 12, 14, 16] -> OK
  [5.2] twisted  s=3 d=6 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [6, 7, 8, 9] -> OK
  [5.2] line     s=2 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 2, 2] -> OK
  [5.2] conic    s=4 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 5, 7] -> OK
  [5.2] conic    s=2 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 2, 2] -> OK
  [5.2] line     s=2 d=4 t=4: generic J_c order 3 (want 3); index-0 minors only 5 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [4, 4, 4, 4, 4] -> OK
  [5.2] conic    s=4 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 7, 9, 11] -> OK
  [5.2] twisted  s=4 d=6 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [6, 8, 10, 12] -> OK
  [5.2] line     s=1 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 2] -> OK
  [5.2] conic    s=3 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 6, 7, 8] -> OK
  [5.2] line     s=2 d=4 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [4, 4, 4, 4] -> OK
  [5.2] nodal    s=4 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 6, 8] -> OK
  [5.2] nodal    s=3 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 4] -> OK
  [5.2] line     s=3 d=5 t=4: generic J_c order 3 (want 3); index-0 minors only 4 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [5, 6, 7, 8, 9] -> OK
  [5.2] twisted  s=3 d=4 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [4, 5] -> OK
  [5.2] line     s=2 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 3, 3] -> OK
  [5.2] line     s=2 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 5, 5, 5] -> OK
  [5.2] nodal    s=3 d=4 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [4, 5, 6, 7] -> OK
  [5.2] twisted  s=4 d=7 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [7, 9, 11, 13] -> OK
  [5.2] nodal    s=3 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 3, 4] -> OK
  [5.2] line     s=2 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 3, 3] -> OK
  [5.2] line     s=2 d=3 t=3: generic J_c order 2 (want 2); index-0 minors only 4 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [3, 3, 3, 3] -> OK
  [5.2] line     s=1 d=3 t=3: generic J_c order 2 (want 2); index-0 minors only inf (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [3, 2, 1, 0] -> OK
  [5.2] line     s=3 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 6, 7, 8] -> OK
  [5.2] line     s=1 d=1 t=1: generic J_c order 0 (want 0); index-0 minors only inf (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [1, 0] -> OK
  [5.2] nodal    s=4 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 7, 9, 11] -> OK
  [5.2] nodal    s=3 d=6 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [6, 7, 8, 9, 10] -> OK
  [5.2] conic    s=2 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 2, 2] -> OK
  [5.2] nodal    s=2 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 3] -> OK
  [5.2] line     s=2 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 4, 4] -> OK
  [5.2] line     s=3 d=1 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [1, 2] -> OK
  [5.2] line     s=1 d=2 t=1: generic J_c order 0 (want 0); index-0 minors only inf (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [2, 1] -> OK
  [5.2] twisted  s=4 d=6 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [6, 8, 10, 12] -> OK
  [5.2] twisted  s=3 d=4 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [4, 5] -> OK
  [5.2] line     s=3 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 6, 7, 8] -> OK
  [5.2] twisted  s=2 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 3] -> OK
  [5.2] line     s=3 d=3 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [3, 4, 5, 6] -> OK
  [5.2] line     s=2 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 3 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 2, 2] -> OK
  [5.2] nodal    s=3 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 0 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 4] -> OK
  [5.2] line     s=3 d=1 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [1, 2] -> OK
  [5.2] twisted  s=2 d=8 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [8, 8, 8, 8] -> OK
  [5.2] line     s=1 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 2, 1] -> OK
  [5.2] line     s=3 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 4] -> OK
  [5.2] line     s=2 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 2, 2] -> OK
  [5.2] nodal    s=4 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 6, 8] -> OK
  [5.2] line     s=1 d=2 t=2: generic J_c order 1 (want 1); index-0 minors only inf (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [2, 1, 0] -> OK
  [5.2] conic    s=3 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 6, 7, 8] -> OK
  [5.2] line     s=1 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 3, 2] -> OK
  [5.2] conic    s=3 d=4 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [4, 5, 6, 7] -> OK
  [5.2] line     s=2 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 4, 4] -> OK
  [5.2] twisted  s=3 d=9 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [9, 10, 11, 12, 13] -> OK
  [5.2] line     s=3 d=3 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [3, 4, 5, 6] -> OK
  [5.2] twisted  s=4 d=5 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [5, 7, 9] -> OK
  [5.2] line     s=3 d=3 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [3, 4, 5, 6] -> OK
  [5.2] nodal    s=4 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 7, 9, 11] -> OK
  [5.2] line     s=3 d=4 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [4, 5, 6, 7] -> OK
  [5.2] line     s=2 d=5 t=4: generic J_c order 3 (want 3); index-0 minors only 4 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [5, 5, 5, 5, 5] -> OK
  [5.2] line     s=3 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 4] -> OK
  [5.2] line     s=1 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 3 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 4, 3, 2] -> OK
  [5.2] line     s=1 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 2] -> OK
  [5.2] line     s=2 d=3 t=1: generic J_c order 0 (want 0); index-0 minors only 1 (want >= 0); c_0b=0 0 (want 0); iterated orders [1, 0], degrees [3, 3] -> OK
  [5.2] nodal    s=3 d=6 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [6, 7, 8, 9, 10] -> OK
  [5.2] conic    s=4 d=5 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [5, 7, 9, 11, 13] -> OK
  [5.2] conic    s=2 d=6 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [6, 6, 6, 6, 6] -> OK
  [5.2] twisted  s=3 d=10 t=4: generic J_c order 3 (want 3); index-0 minors only 3 (want >= 3); c_0b=0 3 (want 3); iterated orders [4, 3, 2, 1, 0], degrees [10, 11, 12, 13, 14] -> OK
  [5.2] twisted  s=4 d=6 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [6, 8, 10] -> OK
  [5.2] line     s=1 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 2 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 2, 1] -> OK
  [5.2] nodal    s=4 d=3 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [3, 5, 7] -> OK
  [5.2] conic    s=4 d=4 t=2: generic J_c order 1 (want 1); index-0 minors only 1 (want >= 1); c_0b=0 1 (want 1); iterated orders [2, 1, 0], degrees [4, 6, 8] -> OK
  [5.2] twisted  s=4 d=6 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [6, 8, 10, 12] -> OK
  [5.2] conic    s=4 d=5 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [5, 7, 9, 11] -> OK
  [5.2] twisted  s=2 d=8 t=3: generic J_c order 2 (want 2); index-0 minors only 2 (want >= 2); c_0b=0 2 (want 2); iterated orders [3, 2, 1, 0], degrees [8, 8, 8, 8] -> OK
  [5.3] line     mu=3 k=3 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 2 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=6 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=2 k=7 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 16 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=3 k=6 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=2 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=2 k=5 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=7 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 11 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=3 k=6 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] conic    mu=2 k=4 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 17 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 4 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=2 k=6 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 17 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=3 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 4 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=10 dim L<=5: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 11 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=3 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 7 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=3 k=10 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 11 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=2 k=5 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=3 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 7 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=4 dim L<=6: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 13 pairs: min 9 max 12; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=3 k=7 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=2 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=5 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 12; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=3 k=3 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=4 dim L<=7: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 23 pairs: min 4 max 8; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=3 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 2 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 16 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=4 dim L<=6: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 16 pairs: min 9 max 12; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 7 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=4 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 16 pairs: min 4 max 8; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=5: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 9 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=3 k=4 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 10; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] conic    mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=6 dim L<=6: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 17 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=2 k=4 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=4 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=7 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 4 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 4 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=2 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 4 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=4 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 4 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=10 dim L<=5: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 12 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=4 dim L<=7: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 22 pairs: min 4 max 8; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2) over 4 pairs: min 5 max 5; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=6 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 2 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=5 dim L<=6: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 16 pairs: min 9 max 10; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=3 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 7 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=3 k=6 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=2 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 4 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 7 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2) over 4 pairs: min 8 max 8; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=2 k=4 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=5: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 12 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=3 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 17 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=3 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 2 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=2 k=6 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=3 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 7 pairs: min 4 max 5; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=5 dim L<=6: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 11 pairs: min 9 max 12; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] conic    mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3 skip] line: ideal not m-primary on the slice (D not isolated in Y near y)
  [5.3 skip] line: ideal not m-primary on the slice (D not isolated in Y near y)
  [5.3] line     mu=2 k=3 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 7 pairs: min 4 max 6; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 7 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3 skip] line: ideal not m-primary on the slice (D not isolated in Y near y)
  [5.3] line     mu=3 k=3 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 7 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=3 k=4 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 4 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=4 dim L<=7: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 20 pairs: min 4 max 8; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3 skip] line: ideal not m-primary on the slice (D not isolated in Y near y)
  [5.3] nodal    mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=7 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=4 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 11 pairs: min 4 max 8; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=6 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 2 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] conic    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=3 k=3 dim L<=5: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 12 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=3 k=5 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 7 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=5: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 11 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=10 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=3 k=4 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 7 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=10 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 4 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=2 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 2 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=3 k=10 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 5 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] nodal    mu=3 k=9 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 2 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=2 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=2 k=5 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=6 dim L<=6: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 17 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=2 k=6 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=7 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3 skip] line: ideal not m-primary on the slice (D not isolated in Y near y)
  [5.3] conic    mu=2 k=6 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 10 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] line     mu=2 k=3 dim L<=5: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 12 pairs: min 4 max 5; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] nodal    mu=2 k=7 dim L<=4: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 8 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] twisted  mu=3 k=7 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] conic    mu=2 k=4 dim L<=6: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 17 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3] conic    mu=3 k=6 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=3 k=3 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 4 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] twisted  mu=3 k=6 dim L<=4: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2) over 8 pairs: min 9 max 9; Rees e(mK+(F))=[9, 9, 9] -> OK
  [5.3] line     mu=2 k=3 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2) over 5 pairs: min 4 max 4; Rees e(mK+(F))=[4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 12 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 5 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=2: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=9, m_D(F1,F2): min 9 max 9 (2 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] line     mu=3 k=7 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=18, m_D(F1,F2): min 18 max 18 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 6 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 8 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=9, m_D(F1,F2): min 9 max 9 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=7 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2): min 9 max 9 (3 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=3 k=6 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=11, m_D(F1,F2): min 11 max 11 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=6 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=10, m_D(F1,F2): min 10 max 12 (3 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 6 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=6 dim L<=2: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] twisted  mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=10, m_D(F1,F2): min 10 max 10 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=3 k=6 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=11, m_D(F1,F2): min 11 max 11 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 6 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 16 (3 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=7, m_D(F1,F2): min 7 max 7 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (3 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=5 (2nd point 5), e(K)=5, e(mK)=8, e(I)=14, m_D(F1,F2): min 14 max 14 (2 pairs); Rees [8, 8, 8] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=2: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=3 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 5 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 6 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 9 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=9, m_D(F1,F2): min 9 max 9 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=3 (2nd point 3), e(K)=3, e(mK)=6, e(I)=10, m_D(F1,F2): min 10 max 10 (2 pairs); Rees [6, 6, 6] -> OK
  [5.3adv] line     mu=3 k=7 dim L<=2: m_D(G1,G2)=6 (2nd point 6), e(K)=6, e(mK)=11, e(I)=19, m_D(F1,F2): min 19 max 19 (2 pairs); Rees [11, 11, 11] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=3 (2nd point 3), e(K)=3, e(mK)=6, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [6, 6, 6] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 6 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 8 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 7 (3 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=7 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=16, m_D(F1,F2): min 16 max 16 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=3 k=7 dim L<=2: m_D(G1,G2)=6 (2nd point 6), e(K)=6, e(mK)=11, e(I)=12, m_D(F1,F2): min 12 max 12 (2 pairs); Rees [11, 11, 11] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 9 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=7, m_D(F1,F2): min 7 max 11 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 5 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=7, m_D(F1,F2): min 7 max 9 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=9, m_D(F1,F2): min 9 max 9 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 15 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (3 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 9 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=11, m_D(F1,F2): min 11 max 11 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=3 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=7, m_D(F1,F2): min 7 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=2: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] conic    mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=3 k=6 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2): min 9 max 9 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 5 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 12 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (3 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=10, m_D(F1,F2): min 10 max 10 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 5 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=6 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=11, m_D(F1,F2): min 11 max 11 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=8, m_D(F1,F2): min 8 max 8 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=3 k=7 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2): min 9 max 12 (4 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=6 dim L<=2: m_D(G1,G2)=5 (2nd point 5), e(K)=5, e(mK)=10, e(I)=14, m_D(F1,F2): min 14 max 14 (2 pairs); Rees [10, 10, 10] -> OK
  [5.3adv] twisted  mu=2 k=5 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=6 dim L<=2: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=12, m_D(F1,F2): min 12 max 12 (2 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 10 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=7 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=5, m_D(F1,F2): min 5 max 6 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] twisted  mu=2 k=7 dim L<=3: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=6, m_D(F1,F2): min 6 max 6 (3 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] conic    mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] nodal    mu=2 k=6 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=3 k=7 dim L<=2: m_D(G1,G2)=5 (2nd point 5), e(K)=5, e(mK)=10, e(I)=17, m_D(F1,F2): min 17 max 17 (2 pairs); Rees [10, 10, 10] -> OK
  [5.3adv] conic    mu=3 k=6 dim L<=3: m_D(G1,G2)=4 (2nd point 4), e(K)=4, e(mK)=9, e(I)=9, m_D(F1,F2): min 9 max 10 (3 pairs); Rees [9, 9, 9] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=3: m_D(G1,G2)=2 (2nd point 2), e(K)=2, e(mK)=5, e(I)=6, m_D(F1,F2): min 6 max 10 (5 pairs); Rees [5, 5, 5] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 8 (4 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=6 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=4, m_D(F1,F2): min 4 max 4 (3 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] conic    mu=2 k=7 dim L<=3: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=7, m_D(F1,F2): min 7 max 16 (5 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=5 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=9, m_D(F1,F2): min 9 max 9 (2 pairs); Rees [4, 4, 4] -> OK
  [5.3adv] line     mu=2 k=4 dim L<=2: m_D(G1,G2)=1 (2nd point 1), e(K)=1, e(mK)=4, e(I)=6, m_D(F1,F2): min 6 max 6 (2 pairs); Rees [4, 4, 4] -> OK
SHAPES (mu, e(K), e(mK), e(I), min m_D(F)) of adversarial systems:
    (2, 1, 4, 4, 4) 42
    (2, 1, 4, 5, 5) 10
    (2, 1, 4, 6, 6) 19
    (2, 1, 4, 7, 7) 5
    (2, 1, 4, 8, 8) 8
    (2, 1, 4, 9, 9) 4
    (2, 1, 4, 10, 10) 2
    (2, 1, 4, 11, 11) 1
    (2, 2, 5, 6, 6) 6
    (2, 2, 5, 8, 8) 1
    (2, 2, 5, 9, 9) 1
    (2, 3, 6, 8, 8) 1
    (2, 3, 6, 10, 10) 1
    (2, 5, 8, 14, 14) 1
    (3, 4, 9, 9, 9) 4
    (3, 4, 9, 10, 10) 1
    (3, 4, 9, 11, 11) 3
    (3, 4, 9, 12, 12) 1
    (3, 4, 9, 16, 16) 1
    (3, 4, 9, 18, 18) 1
    (3, 5, 10, 14, 14) 1
    (3, 5, 10, 17, 17) 1
    (3, 6, 11, 12, 12) 1
    (3, 6, 11, 19, 19) 1
SUMMARY Lemma 5.3 adversarial: 117 systems {'line': 65, 'twisted': 22, 'conic': 18, 'nodal': 12}; 309 pairs; failures 0; prime disagreements 0; Rees checks 351, failures 0; systems with e(I) > e(mK): 71
SUMMARY Lemma 5.2: 105 cases {'twisted': 23, 'conic': 17, 'line': 47, 'nodal': 18}; failures 0; prime disagreements 0
SUMMARY Lemma 5.3: 115 systems {'line': 54, 'nodal': 30, 'twisted': 17, 'conic': 14}; 914 pairs (F1,F2); failures 0; prime disagreements 0; Rees checks of Step 2: 345, failures 0; systems with e(I) = min m_D(F1,F2): 115; e(mK) != e(K)+2 ord(K)+1 (formula check, not a claim of the paper): 0
time 34.8s
