2x2x2    {111,112,221}  claimed deg  4: rank 20/20 for degree <= 3 -> PROVES deg f >= 4  (0.0s)
2x2x2    {111,122,212}  claimed deg  6: rank 56/56 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x3    {111,112,113,221}  claimed deg  4: rank 35/35 for degree <= 3 -> PROVES deg f >= 4  (0.0s)
2x2x3    {111,112,121,213}  claimed deg  4: rank 35/35 for degree <= 3 -> PROVES deg f >= 4  (0.0s)
2x2x3    {111,112,123,223}  claimed deg  4: rank 35/35 for degree <= 3 -> PROVES deg f >= 4  (0.0s)
2x2x3    {111,112,121,223}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x3    {111,112,123,213}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x3    {111,112,221,223}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x3    {111,121,212,223}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x3    {111,112,123,221}  claimed deg  8: rank 330/330 for degree <= 7 -> PROVES deg f >= 8  (0.0s)
2x2x3    {111,122,212,223}  claimed deg 12: rank 1365/1365 for degree <= 11 -> PROVES deg f >= 12  (0.8s)
2x2x2x2  {1111,1112,1121,2211}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x2x2  {1111,1112,1121,2212}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x2x2  {1111,1112,1221,2221}  claimed deg  6: rank 126/126 for degree <= 5 -> PROVES deg f >= 6  (0.0s)
2x2x2x2  {1111,1112,1121,2222}  claimed deg  8: rank 330/330 for degree <= 7 -> PROVES deg f >= 8  (0.0s)
2x2x2x2  {1111,1112,1221,2222}  claimed deg  8: rank 330/330 for degree <= 7 -> PROVES deg f >= 8  (0.0s)
2x2x2x2  {1111,1112,1221,2121}  claimed deg  9: rank 495/495 for degree <= 8 -> PROVES deg f >= 9  (0.1s)
2x2x2x2  {1111,1112,1221,2122}  claimed deg 11: rank 1001/1001 for degree <= 10 -> PROVES deg f >= 11  (0.3s)
2x2x2x2  {1111,1122,1212,2112}  claimed deg 12: rank 1365/1365 for degree <= 11 -> PROVES deg f >= 12  (0.7s)
2x2x2x2  {1111,1122,2212,2221}  claimed deg 12: rank 1365/1365 for degree <= 11 -> PROVES deg f >= 12  (0.7s)
2x2x2x2  {1111,1122,1212,2121}  claimed deg 14: rank 2380/2380 for degree <= 13 -> PROVES deg f >= 14  (3.8s)
2x2x2x2  {1111,1122,1212,2221}  claimed deg 18: rank 5985/5985 for degree <= 17 -> PROVES deg f >= 18  (62.1s)
python3 lowerbounds.py  67.36s user 0.48s system 98% cpu 1:08.74 total
