count constraint

SMAF Binary

count1

count2

count3

count5

count10

count5 77k

count5 5k

count5 104k

count zero