A5 x B1(43,1,7,7) [Theorem 4.1(a), a=b=1]    |G|=18060  enumerated (o,u,k)=(36, 6, 30) product of factors (o,u)=(36, 6) AGREE; subgroups 2714 = 2714
A4 x B2(13,7,7)                              |G|=14196  enumerated (o,u,k)=(25, 9, 16) product of factors (o,u)=(25, 9) AGREE; subgroups 1860 = 1860
S3 x B1(29,1,7,7)                            |G|=1218   enumerated (o,u,k)=(16, 9, 7) product of factors (o,u)=(16, 9) AGREE; subgroups 192 = 192
all products agree with Lemma 2.2: True
(4 s)
