2x2      admissible sets      2  orbits    1 (claimed 1, census.out 1)  reps identical to census.out: True  0s
         {'orbits': 1, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 1, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 1, 'Den monomial (Thm 1.2(c))': 1, 'tropical bound = census degree': 1}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 1}
2x3      admissible sets      6  orbits    1 (claimed 1, census.out 1)  reps identical to census.out: True  0s
         {'orbits': 1, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 1, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 1}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 1}
2x4      admissible sets     14  orbits    2 (claimed 2, census.out 2)  reps identical to census.out: True  0s
         {'orbits': 2, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 2, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 2}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 2}
2x5      admissible sets     30  orbits    2 (claimed 2, census.out 2)  reps identical to census.out: True  0s
         {'orbits': 2, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 2, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 2}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 2}
3x3      admissible sets     45  orbits    2 (claimed 2, census.out 2)  reps identical to census.out: True  0s
         {'orbits': 2, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 2, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 2}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 1, 4: 1}
3x4      admissible sets    228  orbits    4 (claimed 4, census.out 4)  reps identical to census.out: True  0s
         {'orbits': 4, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 4, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 4}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 1, 4: 2, 6: 1}
3x5      admissible sets    975  orbits    6 (claimed 6, census.out 6)  reps identical to census.out: True  0s
         {'orbits': 6, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 6, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 6}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 1, 4: 3, 6: 2}
4x4      admissible sets   2176  orbits    7 (claimed 7, census.out 7)  reps identical to census.out: True  1s
         {'orbits': 7, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 7, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 7}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {2: 1, 4: 2, 6: 3, 8: 1}
2x2x2    admissible sets     32  orbits    2 (claimed 2, census.out 2)  reps identical to census.out: True  0s
         {'orbits': 2, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 1, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 2, 'tropical bound = census degree': 2}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {4: 1}
    [(0, 0, 0), (0, 0, 1), (1, 1, 0)]                            W=2  sum mu=2  bound W+sum mu=4  census deg=4
    [(0, 0, 0), (0, 1, 1), (1, 0, 1)]                            W=3  sum mu=3  bound W+sum mu=6  census deg=6
2x2x3    admissible sets    240  orbits    9 (claimed 9, census.out 9)  reps identical to census.out: True  0s
         {'orbits': 9, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 6, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 3, 'tropical bound = census degree': 3}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {4: 3, 6: 3}
2x2x4    admissible sets   1408  orbits   16 (claimed 16, census.out 16)  reps identical to census.out: True  0s
         {'orbits': 16, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 10, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 3, 'tropical bound = census degree': 3}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {4: 4, 6: 6}
2x3x3    admissible sets   4050  orbits   39 (claimed 39, census.out 39)  reps identical to census.out: True  0s
         {'orbits': 39, 'non-unimodular': 1, 'corner': 1, 'W=2 unimodular': 24, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 1, 'tropical bound = census degree': 1}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {4: 3, 6: 10, 8: 9, 10: 2}
2x2x2x2  admissible sets   1256  orbits   11 (claimed 11, census.out 11)  reps identical to census.out: True  0s
         {'orbits': 11, 'non-unimodular': 1, 'corner': 1, 'W=2 unimodular': 5, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 10, 'tropical bound = census degree': 10}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {6: 3, 8: 2}
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 0, 1, 0), (1, 1, 0, 0)]     W=2  sum mu=4  bound W+sum mu=6  census deg=6
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 0, 1, 0), (1, 1, 0, 1)]     W=2  sum mu=4  bound W+sum mu=6  census deg=6
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 0, 1, 0), (1, 1, 1, 1)]     W=2  sum mu=6  bound W+sum mu=8  census deg=8
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 1, 1, 0), (1, 0, 1, 0)]     W=3  sum mu=6  bound W+sum mu=9  census deg=9
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 1, 1, 0), (1, 0, 1, 1)]     W=3  sum mu=8  bound W+sum mu=11  census deg=11
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 1, 1, 0), (1, 1, 1, 0)]     W=2  sum mu=4  bound W+sum mu=6  census deg=6
    [(0, 0, 0, 0), (0, 0, 0, 1), (0, 1, 1, 0), (1, 1, 1, 1)]     W=2  sum mu=6  bound W+sum mu=8  census deg=8
    [(0, 0, 0, 0), (0, 0, 1, 1), (0, 1, 0, 1), (1, 0, 0, 1)]     W=4  sum mu=8  bound W+sum mu=12  census deg=12
    [(0, 0, 0, 0), (0, 0, 1, 1), (0, 1, 0, 1), (1, 0, 1, 0)]     W=4  sum mu=10  bound W+sum mu=14  census deg=14
    [(0, 0, 0, 0), (0, 0, 1, 1), (0, 1, 0, 1), (1, 1, 1, 0)]     W=5  sum mu=13  bound W+sum mu=18  census deg=18
2x2x5    admissible sets   7360  orbits   30 (claimed 30, census.out 30)  reps identical to census.out: True  4s
         {'orbits': 30, 'non-unimodular': 0, 'corner': 1, 'W=2 unimodular': 19, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 5, 'tropical bound = census degree': 5}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {4: 5, 6: 14}
2x2x2x3  admissible sets  24720  orbits  122 (claimed 122, census.out 122)  reps identical to census.out: None  5s
         {'orbits': 122, 'non-unimodular': 5, 'corner': 1, 'W=2 unimodular': 58, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 39}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {6: 10, 8: 26, 10: 17, 12: 5}
2x3x4    admissible sets  48624  orbits  229 (claimed 229, census.out 229)  reps identical to census.out: None  10s
         {'orbits': 229, 'non-unimodular': 4, 'corner': 1, 'W=2 unimodular': 142, 'cancellation in beta1-beta2': 0, 'Den monomial (Thm 1.2(c))': 3}
         W=2 unimodular orbits, exact degrees (Thm 1.3): {4: 7, 6: 34, 8: 64, 10: 30, 12: 6, 14: 1}
TOTAL {'orbits': 483, 'non-unimodular': 11, 'corner': 16, 'W=2 unimodular': 290, 'cancellation in beta1-beta2': 0, 'matrix: 2+2#pinned': 25, 'Den monomial (Thm 1.2(c))': 67, 'tropical bound = census degree': 25}
