B1(7,1,9,3)        |H|=63     enumerated (o,u)=(6, 5) formula=(6, 5) AGREE subgroups=12
B1(7,2,6,6)        |H|=294    enumerated (o,u)=(12, 6) formula=(12, 6) AGREE subgroups=174
B1(7,1,6,2)        |H|=42     enumerated (o,u)=(8, 6) formula=(8, 6) AGREE subgroups=20
B1(13,2,12,6)      |H|=2028   enumerated (o,u)=(18, 10) formula=(18, 10) AGREE subgroups=738
B1(5,3,8,4)        |H|=1000   enumerated (o,u)=(16, 10) formula=(16, 10) AGREE subgroups=320
B1(3,4,2,2)        |H|=162    enumerated (o,u)=(10, 6) formula=(10, 6) AGREE subgroups=126
B1(31,1,15,15)     |H|=465    enumerated (o,u)=(8, 5) formula=(8, 5) AGREE subgroups=98
B1(31,1,30,15)     |H|=930    enumerated (o,u)=(16, 10) formula=(16, 10) AGREE subgroups=196
B1(37,1,36,12)     |H|=1332   enumerated (o,u)=(18, 11) formula=(18, 11) AGREE subgroups=270
B1(41,1,40,20)     |H|=1640   enumerated (o,u)=(16, 10) formula=(16, 10) AGREE subgroups=256
B1(29,1,49,7)      |H|=1421   enumerated (o,u)=(6, 5) formula=(6, 5) AGREE subgroups=34
B1(43,1,49,7)      |H|=2107   enumerated (o,u)=(6, 5) formula=(6, 5) AGREE subgroups=48
B1(29,2,7,7)       |H|=5887   enumerated (o,u)=(6, 4) formula=(6, 4) AGREE subgroups=874
B1(71,1,49,7)      |H|=3479   enumerated (o,u)=(6, 5) formula=(6, 5) AGREE subgroups=76
B1(43,1,7,7)       |H|=301    enumerated (o,u)=(4, 3) formula=(4, 3) AGREE subgroups=46
B1(11,2,10,10)     |H|=1210   enumerated (o,u)=(12, 6) formula=(12, 6) AGREE subgroups=402
B1(19,1,27,9)      |H|=513    enumerated (o,u)=(8, 6) formula=(8, 6) AGREE subgroups=44
B1(13,1,24,12)     |H|=312    enumerated (o,u)=(16, 10) formula=(16, 10) AGREE subgroups=88
B1(3,3,4,2)        |H|=108    enumerated (o,u)=(12, 9) formula=(12, 9) AGREE subgroups=48
B1(5,2,12,4)       |H|=300    enumerated (o,u)=(18, 10) formula=(18, 10) AGREE subgroups=130
B2(2,21,3)         |H|=84     enumerated (o,u)=(10, 6) formula=(10, 6) AGREE subgroups=20
B2(2,27,3)         |H|=108    enumerated (o,u)=(11, 7) formula=(11, 7) AGREE subgroups=20
B2(5,18,3)         |H|=450    enumerated (o,u)=(16, 10) formula=(16, 10) AGREE subgroups=84
B2(11,9,3)         |H|=1089   enumerated (o,u)=(8, 5) formula=(8, 5) AGREE subgroups=150
B2(17,9,9)         |H|=2601   enumerated (o,u)=(7, 4) formula=(7, 4) AGREE subgroups=600
B2(17,3,3)         |H|=867    enumerated (o,u)=(5, 3) formula=(5, 3) AGREE subgroups=310
B2(23,3,3)         |H|=1587   enumerated (o,u)=(5, 3) formula=(5, 3) AGREE subgroups=556
B2(29,5,5)         |H|=4205   enumerated (o,u)=(5, 3) formula=(5, 3) AGREE subgroups=874
B2(41,7,7)         |H|=11767  enumerated (o,u)=(5, 3) formula=(5, 3) AGREE subgroups=1726
B2(13,49,7)        |H|=8281   enumerated (o,u)=(8, 5) formula=(8, 5) AGREE subgroups=202
B2(2,45,3)         |H|=180    enumerated (o,u)=(16, 10) formula=(16, 10) AGREE subgroups=30
B2(5,24,3)         |H|=600    enumerated (o,u)=(20, 12) formula=(20, 12) AGREE subgroups=136
B2(11,15,3)        |H|=1815   enumerated (o,u)=(10, 6) formula=(10, 6) AGREE subgroups=272
B2(47,3,3)         |H|=6627   enumerated (o,u)=(5, 3) formula=(5, 3) AGREE subgroups=2260
B2(29,10,5)        |H|=8410   enumerated (o,u)=(10, 6) formula=(10, 6) AGREE subgroups=1748
all 35 valid instances agree: True
('B2(5, 6, 6) (invalid)', 150, (10, 5), (9, 5), False)
('B2(7, 4, 4) (invalid)', 196, (8, 4), (7, 4), False)
('B1(5, 1, 20, 4) (invalid)', 100, (9, 4), (12, 8), False)
(57 s)
