| 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] | 
370 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T48 | 
1 | 
 | 
T37 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
455 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T12 | 
1 | 
 | 
T37 | 
2 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
53 | 
1 | 
 | 
 | 
T25 | 
2 | 
 | 
T179 | 
1 | 
 | 
T5 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
69 | 
1 | 
 | 
 | 
T24 | 
1 | 
 | 
T25 | 
2 | 
 | 
T179 | 
8 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
241 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T49 | 
1 | 
 | 
T24 | 
4 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
356 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T12 | 
1 | 
 | 
T48 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
29 | 
1 | 
 | 
 | 
T25 | 
1 | 
 | 
T64 | 
2 | 
 | 
T79 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
42 | 
1 | 
 | 
 | 
T24 | 
2 | 
 | 
T64 | 
2 | 
 | 
T79 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
48 | 
1 | 
 | 
 | 
T24 | 
1 | 
 | 
T69 | 
1 | 
 | 
T70 | 
2 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
41 | 
1 | 
 | 
 | 
T24 | 
2 | 
 | 
T79 | 
2 | 
 | 
T70 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
29 | 
1 | 
 | 
 | 
T23 | 
1 | 
 | 
T24 | 
2 | 
 | 
T5 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
48 | 
1 | 
 | 
 | 
T24 | 
2 | 
 | 
T64 | 
1 | 
 | 
T70 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
303 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T11 | 
1 | 
 | 
T47 | 
2 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
340 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
6 | 
 | 
T11 | 
2 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
475 | 
1 | 
 | 
 | 
T11 | 
3 | 
 | 
T68 | 
1 | 
 | 
T23 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
647 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T11 | 
6 | 
 | 
T13 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
185 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T47 | 
2 | 
 | 
T23 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
221 | 
1 | 
 | 
 | 
T47 | 
1 | 
 | 
T24 | 
1 | 
 | 
T25 | 
5 |