f0  distinct invariant values  (unlinked / linked)   known number of types   verdict constant on each value?
 5       1  (1 / 0)   1   yes
 6       4  (3 / 1)   4   yes
 7      31  (19 / 12)   31   yes
 8    1115  (302 / 813)   1294   yes
 9     847  (33 / 814)   274148   yes
10     322  (13 / 309)   ?   yes
11      31  (7 / 24)   ?   yes
12      23  (2 / 21)   ?   yes
13       7  (1 / 6)   ?   yes
14      11  (3 / 8)   ?   yes
15       2  (1 / 1)   ?   yes
16       3  (0 / 3)   ?   yes
17       4  (3 / 1)   ?   yes
18       2  (0 / 2)   ?   yes
20       4  (0 / 4)   ?   yes
24       2  (0 / 2)   ?   yes
25       1  (0 / 1)   ?   yes
27       1  (0 / 1)   ?   yes
30       1  (0 / 1)   ?   yes
36       1  (0 / 1)   ?   yes
