| key_version_cmp_cp | state_cp | op_cp | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| legal_values[CompareOpEq] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
333 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
4 | 
 | 
T11 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
435 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T12 | 
1 | 
 | 
T15 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
51 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T5 | 
1 | 
 | 
T44 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
58 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T44 | 
1 | 
 | 
T74 | 
2 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
273 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T14 | 
2 | 
 | 
T5 | 
4 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
315 | 
1 | 
 | 
 | 
T4 | 
5 | 
 | 
T12 | 
1 | 
 | 
T15 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
42 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T52 | 
1 | 
 | 
T74 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
46 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T56 | 
1 | 
 | 
T19 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
45 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T52 | 
1 | 
 | 
T44 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
42 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T22 | 
1 | 
 | 
T5 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
45 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T175 | 
1 | 
 | 
T281 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
37 | 
1 | 
 | 
 | 
T121 | 
1 | 
 | 
T21 | 
1 | 
 | 
T38 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
313 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T11 | 
3 | 
 | 
T5 | 
3 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
320 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
5 | 
 | 
T14 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
507 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
2 | 
 | 
T4 | 
2 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
648 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
5 | 
 | 
T12 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
190 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T5 | 
8 | 
 | 
T140 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
221 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T5 | 
2 | 
 | 
T136 | 
3 |