Verification run 2 -- H: all Cayley graphs of the groups of order <= 12
grid of 24 values of p: [0.0, 0.01, 0.03, 0.06, 0.1, 0.15, 0.2, 0.25, 0.3, 0.35, 0.4, 0.45, 0.5, 0.55, 0.6, 0.65, 0.7, 0.75, 0.8, 0.85, 0.9, 0.95, 0.98, 0.995]
23 groups, pairwise non-isomorphic (distinguished by order, commutativity and the numbers of elements of each order)
groups by order: 2: Z_2; 3: Z_3; 4: Z_4, Z_2^2; 5: Z_5; 6: Z_6, S_3; 7: Z_7; 8: Z_8, Z_2 x Z_4, Z_2^3, D_4, Q_8; 9: Z_9, Z_3^2; 10: Z_10, D_5; 11: Z_11; 12: Z_12, Z_2 x Z_6, A_4, D_6, Dic_3
Z_2        order  2:    1 symmetric generating sets; shapes on the grid: {'increasing': 1}
Z_3        order  3:    1 symmetric generating sets; shapes on the grid: {'increasing': 1}
Z_4        order  4:    2 symmetric generating sets; shapes on the grid: {'increasing': 2}
Z_5        order  5:    3 symmetric generating sets; shapes on the grid: {'up-then-down': 2, 'increasing': 1}
Z_6        order  6:    5 symmetric generating sets; shapes on the grid: {'up-then-down': 1, 'increasing': 4}
Z_7        order  7:    7 symmetric generating sets; shapes on the grid: {'up-then-down': 3, 'increasing': 4}
Z_8        order  8:   12 symmetric generating sets; shapes on the grid: {'up-then-down': 4, 'increasing': 8}
Z_9        order  9:   14 symmetric generating sets; shapes on the grid: {'up-then-down': 6, 'increasing': 8}
Z_10       order 10:   27 symmetric generating sets; shapes on the grid: {'up-then-down': 11, 'increasing': 16}
Z_11       order 11:   31 symmetric generating sets; shapes on the grid: {'up-then-down': 15, 'increasing': 16}
Z_12       order 12:   54 symmetric generating sets; shapes on the grid: {'up-then-down': 18, 'increasing': 36}
Z_2^2      order  4:    4 symmetric generating sets; shapes on the grid: {'increasing': 4}
Z_2 x Z_4  order  8:   20 symmetric generating sets; shapes on the grid: {'up-then-down': 4, 'increasing': 16}
Z_2^3      order  8:   92 symmetric generating sets; shapes on the grid: {'up-then-down': 28, 'increasing': 64}
Z_3^2      order  9:   11 symmetric generating sets; shapes on the grid: {'increasing': 11}
Z_2 x Z_6  order 12:  104 symmetric generating sets; shapes on the grid: {'up-then-down': 36, 'increasing': 68}
S_3        order  6:   11 symmetric generating sets; shapes on the grid: {'increasing': 8, 'up-then-down': 3}
D_4        order  8:   48 symmetric generating sets; shapes on the grid: {'up-then-down': 16, 'increasing': 32}
Q_8        order  8:    8 symmetric generating sets; shapes on the grid: {'increasing': 8}
D_5        order 10:  119 symmetric generating sets; shapes on the grid: {'up-then-down': 55, 'increasing': 64}
A_4        order 12:  116 symmetric generating sets; shapes on the grid: {'up-then-down': 36, 'increasing': 80}
D_6        order 12:  464 symmetric generating sets; shapes on the grid: {'up-then-down': 178, 'increasing': 286}
Dic_3      order 12:   50 symmetric generating sets; shapes on the grid: {'up-then-down': 12, 'increasing': 38}

total number of Cayley graphs (symmetric generating sets without the identity): 1204
shapes on the grid: {'increasing': 776, 'up-then-down': 428}
violations of Lemma 2.1(b), Theorem 1.2, Theorem 1.3 or the sign in Theorem 1.6: 0
PASS  the number of Cayley graphs of the 23 groups of order <= 12 is 1204
PASS  no violation of any tested statement
