2x2x2 corner (KKKR Ex. 3.16)                               D= 6  {'ok': True, 'deg_F': 6, 'terms': 38, 'grid_points': 361, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  1.0s
      F = +1*x121^2*x112^4 -2*x121^3*x112^3 +1*x121^4*x112^2 -2*x211*x121*x112^4 +2*x211*x121^2*x112^3 +2*x211*x121^3*x112^2 -2*x211*x121^4*x112 +1*x211^2*x112^4 +2*x211^2*x121*x112^3 -6*x211^2*x121^2*x112^2 +2*x211^2*x121^3*x112 +1*x211^2*x121^4 -2*x211^3*x112^3 +2*x211^3*x121*x112^2 +2*x211^3*x121^2*x112 -2*x211^3*x121^3 +1*x211^4*x112^2 -2*x211^4*x121*x112 +1*x211^4*x121^2 -2*x121^2*x112^3 -2*x121^3*x112^2 +8*x211*x121*x112^3 -4*x211*x121^2*x112^2 +8*x211*x121^3*x112 -2*x211^2*x112^3 -4*x211^2*x121*x112^2 -4*x211^2*x121^2*x112 -2*x211^2*x121^3 -2*x211^3*x112^2 +8*x211^3*x121*x112 -2*x211^3*x121^2 +1*x121^2*x112^2 -10*x211*x121*x112^2 -10*x211*x121^2*x112 +1*x211^2*x112^2 -10*x211^2*x121*x112 +1*x211^2*x121^2 +4*x211*x121*x112
2x2x2 pinned                                               D= 4  {'ok': True, 'deg_F': 4, 'terms': 14, 'grid_points': 169, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  0.2s
      F = +1*x112^2*x221^2 +2*x111*x112*x221^2 -2*x111*x112^2*x221 +1*x111^2*x221^2 -4*x111^2*x112*x221 +1*x111^2*x112^2 -2*x111^3*x221 +2*x111^3*x112 +1*x111^4 -2*x111*x112*x221 -2*x111^2*x221 -2*x111^2*x112 -2*x111^3 +1*x111^2
3x3 hook (corner)                                          D= 2  {'ok': True, 'deg_F': 2, 'terms': 15, 'grid_points': 125, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  0.1s
      F = +1*x31^2 +2*x21*x31 +1*x21^2 -2*x13*x31 -2*x13*x21 +1*x13^2 -2*x12*x31 -2*x12*x21 +2*x12*x13 +1*x12^2 -2*x31 -2*x21 -2*x13 -2*x12 +1
3x3 W1                                                     D= 4  {'ok': True, 'deg_F': 4, 'terms': 20, 'grid_points': 729, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  0.7s
      F = +1*x12^2*x21^2 -2*x11*x12*x21*x33 +2*x11*x12*x21^2 +2*x11*x12^2*x21 +1*x11^2*x33^2 -2*x11^2*x21*x33 +1*x11^2*x21^2 -2*x11^2*x12*x33 +4*x11^2*x12*x21 +1*x11^2*x12^2 -2*x11^3*x33 +2*x11^3*x21 +2*x11^3*x12 +1*x11^4 -2*x11*x12*x21 -2*x11^2*x33 -2*x11^2*x21 -2*x11^2*x12 -2*x11^3 +1*x11^2
2x2x3 [(0, 0, 0), (0, 0, 1), (0, 0, 2), (1, 1, 0)]         D= 4  {'ok': True, 'deg_F': 4, 'terms': 25, 'grid_points': 2197, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  1.3s
2x2x3 [(0, 0, 0), (0, 0, 1), (0, 1, 0), (1, 0, 2)]         D= 4  {'ok': True, 'deg_F': 4, 'terms': 25, 'grid_points': 2197, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  1.2s
2x2x3 [(0, 0, 0), (0, 0, 1), (0, 1, 0), (1, 1, 2)]         D= 6  {'ok': True, 'deg_F': 6, 'terms': 25, 'grid_points': 6859, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  7.0s
2x2x3 [(0, 0, 0), (0, 0, 1), (0, 1, 2), (1, 0, 2)]         D= 6  {'ok': True, 'deg_F': 6, 'terms': 105, 'grid_points': 6859, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  12.7s
2x2x3 [(0, 0, 0), (0, 0, 1), (0, 1, 2), (1, 1, 0)]         D= 8  {'ok': True, 'deg_F': 8, 'terms': 96, 'grid_points': 15625, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  53.4s
2x2x3 [(0, 0, 0), (0, 0, 1), (0, 1, 2), (1, 1, 2)]         D= 4  {'ok': True, 'deg_F': 4, 'terms': 25, 'grid_points': 2197, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  1.1s
2x2x3 [(0, 0, 0), (0, 0, 1), (1, 1, 0), (1, 1, 2)]         D= 6  {'ok': True, 'deg_F': 6, 'terms': 25, 'grid_points': 6859, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  6.4s
2x2x3 [(0, 0, 0), (0, 1, 0), (1, 0, 1), (1, 1, 2)]         D= 6  {'ok': True, 'deg_F': 6, 'terms': 25, 'grid_points': 6859, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  6.6s
3x4 [(0, 0), (0, 1), (0, 2), (1, 0), (2, 3)]               D= 4  {'ok': True, 'deg_F': 4, 'terms': 33, 'grid_points': 6561, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  3.8s
3x4 [(0, 0), (0, 1), (0, 2), (1, 3), (2, 3)]               D= 2  {'ok': True, 'deg_F': 2, 'terms': 21, 'grid_points': 625, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  0.3s
3x4 [(0, 0), (0, 1), (1, 0), (1, 2), (2, 3)]               D= 6  {'ok': True, 'deg_F': 6, 'terms': 33, 'grid_points': 28561, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  38.3s
3x4 [(0, 0), (0, 1), (1, 0), (2, 2), (2, 3)]               D= 4  {'ok': True, 'deg_F': 4, 'terms': 27, 'grid_points': 6561, 'F_vanishes_on_H (proved)': True, 'no poly of degree <= D-1 (proved)': True}  3.4s
