| 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] | 
413 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T14 | 
1 | 
 | 
T4 | 
2 | 
| legal_values[CompareOpEq] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
484 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T15 | 
1 | 
 | 
T82 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
43 | 
1 | 
 | 
 | 
T57 | 
1 | 
 | 
T200 | 
2 | 
 | 
T67 | 
2 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
62 | 
1 | 
 | 
 | 
T26 | 
1 | 
 | 
T57 | 
3 | 
 | 
T200 | 
8 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
277 | 
1 | 
 | 
 | 
T14 | 
1 | 
 | 
T4 | 
4 | 
 | 
T16 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
342 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T15 | 
1 | 
 | 
T82 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
55 | 
1 | 
 | 
 | 
T67 | 
1 | 
 | 
T58 | 
3 | 
 | 
T61 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
54 | 
1 | 
 | 
 | 
T20 | 
1 | 
 | 
T57 | 
1 | 
 | 
T252 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
48 | 
1 | 
 | 
 | 
T20 | 
1 | 
 | 
T67 | 
1 | 
 | 
T138 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
46 | 
1 | 
 | 
 | 
T57 | 
1 | 
 | 
T201 | 
1 | 
 | 
T67 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
36 | 
1 | 
 | 
 | 
T26 | 
1 | 
 | 
T57 | 
1 | 
 | 
T67 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
41 | 
1 | 
 | 
 | 
T67 | 
1 | 
 | 
T58 | 
1 | 
 | 
T61 | 
2 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
292 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
3 | 
 | 
T4 | 
4 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
321 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
1 | 
 | 
T4 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
529 | 
1 | 
 | 
 | 
T14 | 
1 | 
 | 
T4 | 
5 | 
 | 
T17 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
663 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T15 | 
1 | 
 | 
T16 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
202 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T4 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
279 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
2 | 
 | 
T4 | 
3 |