2x2x4 {111,112,113,114,221} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,113,121,214} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,113,124,224} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,121,213,214} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,113,121,224} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,113,124,214} W=3 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,113,221,224} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,121,123,214} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,121,213,224} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,121,223,224} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,123,214,223} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x4 {111,112,113,124,221} W=3 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (1s)
2x2x4 {111,112,123,124,213} W=3 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (1s)
2x2x4 {111,112,123,221,224} W=3 census deg 10: (L) rank 2002/2002 -> deg>=10 proved; corank at degree 10: 1; theorem upper bound available: False  (11s)
2x2x4 {111,112,123,213,224} W=4 census deg 12: (L) rank 4368/4368 -> deg>=12 proved; corank at degree 12: 1; theorem upper bound available: False  (108s)
2x3x3 {111,112,113,121,231} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,113,221,231} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,123,133,211} W=2 census deg 4: (L) rank 56/56 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,113,121,232} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,113,221,232} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,121,123,231} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,121,133,211} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,121,133,212} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,121,133,233} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,121,213,233} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,123,133,213} W=3 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,123,211,231} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,123,211,233} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,123,223,233} W=2 census deg 6: (L) rank 252/252 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x3x3 {111,112,121,123,232} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,121,133,222} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,121,211,233} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,121,212,233} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,121,213,231} W=3 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (1s)
2x3x3 {111,112,121,223,233} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,123,211,232} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,123,213,233} W=3 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (1s)
2x3x3 {111,112,123,223,231} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,123,231,233} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,211,222,233} W=2 census deg 8: (L) rank 792/792 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: True  (1s)
2x3x3 {111,112,121,133,213} W=3 census deg 10: (L) rank 2002/2002 -> deg>=10 proved; corank at degree 10: 1; theorem upper bound available: False  (13s)
2x3x3 {111,112,121,222,233} W=2 census deg 10: (L) rank 2002/2002 -> deg>=10 proved; corank at degree 10: 1; theorem upper bound available: True  (12s)
2x3x3 {111,112,123,133,221} W=3 census deg 10: (L) rank 2002/2002 -> deg>=10 proved; corank at degree 10: 1; theorem upper bound available: False  (14s)
2x3x3 {111,112,123,221,231} W=3 census deg 10: (L) rank 2002/2002 -> deg>=10 proved; corank at degree 10: 1; theorem upper bound available: False  (14s)
2x3x3 {111,122,133,211,223} W=2 census deg 10: (L) rank 2002/2002 -> deg>=10 proved; corank at degree 10: 1; theorem upper bound available: True  (13s)
2x3x3 {111,112,121,133,223} W=3 census deg 12: (L) rank 4368/4368 -> deg>=12 proved; corank at degree 12: 1; theorem upper bound available: False  (118s)
2x3x3 {111,112,121,213,232} W=3 census deg 12: (L) rank 4368/4368 -> deg>=12 proved; corank at degree 12: 1; theorem upper bound available: False  (126s)
2x3x3 {111,112,213,221,232} W=3 census deg 12: (L) rank 4368/4368 -> deg>=12 proved; corank at degree 12: 1; theorem upper bound available: False  (115s)
2x3x3 {111,122,133,212,221} W=2 census deg 12: (L) rank 4368/4368 -> deg>=12 proved; corank at degree 12: 1; theorem upper bound available: False  (113s)
2x2x5 {111,112,113,114,115,221} W=2 census deg 4: (L) rank 84/84 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,114,121,215} W=2 census deg 4: (L) rank 84/84 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,114,125,225} W=2 census deg 4: (L) rank 84/84 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,121,214,215} W=2 census deg 4: (L) rank 84/84 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,124,125,224} W=2 census deg 4: (L) rank 84/84 -> deg>=4 proved; corank at degree 4: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,114,121,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,114,125,215} W=3 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,114,221,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,121,124,215} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,121,124,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,121,214,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,121,224,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,124,215,224} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,124,224,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,221,224,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,121,123,214,215} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,121,123,214,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,121,213,214,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,121,213,224,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,123,124,215,225} W=2 census deg 6: (L) rank 462/462 -> deg>=6 proved; corank at degree 6: 1; theorem upper bound available: True  (0s)
2x2x5 {111,112,113,114,125,221} W=3 census deg 8: (L) rank 1716/1716 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (12s)
2x2x5 {111,112,113,124,125,214} W=3 census deg 8: (L) rank 1716/1716 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (13s)
2x2x5 {111,112,113,124,125,221} W=3 census deg 8: (L) rank 1716/1716 -> deg>=8 proved; corank at degree 8: 1; theorem upper bound available: False  (13s)
python3 census_spot.py 6500  690.42s user 5.46s system 97% cpu 11:53.79 total
