| 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] | 
386 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T13 | 
1 | 
 | 
T18 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
464 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T13 | 
3 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
39 | 
1 | 
 | 
 | 
T44 | 
3 | 
 | 
T46 | 
2 | 
 | 
T140 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
45 | 
1 | 
 | 
 | 
T44 | 
1 | 
 | 
T46 | 
2 | 
 | 
T140 | 
1 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
257 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T88 | 
1 | 
 | 
T44 | 
2 | 
| legal_values[CompareOpEq] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
378 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T15 | 
1 | 
 | 
T88 | 
2 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
50 | 
1 | 
 | 
 | 
T18 | 
1 | 
 | 
T44 | 
2 | 
 | 
T24 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
52 | 
1 | 
 | 
 | 
T44 | 
1 | 
 | 
T123 | 
2 | 
 | 
T45 | 
1 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
68 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T18 | 
1 | 
 | 
T46 | 
2 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
49 | 
1 | 
 | 
 | 
T87 | 
2 | 
 | 
T23 | 
1 | 
 | 
T45 | 
2 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
34 | 
1 | 
 | 
 | 
T44 | 
1 | 
 | 
T196 | 
1 | 
 | 
T46 | 
2 | 
| legal_values[CompareOpGt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
44 | 
1 | 
 | 
 | 
T44 | 
1 | 
 | 
T123 | 
1 | 
 | 
T199 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenSwOut] | 
286 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T44 | 
2 | 
 | 
T122 | 
3 | 
| legal_values[CompareOpLt] | 
legal_states[StCreatorRootKey] | 
legal_states[OpGenHwOut] | 
283 | 
1 | 
 | 
 | 
T19 | 
3 | 
 | 
T139 | 
2 | 
 | 
T44 | 
4 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenSwOut] | 
555 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
1 | 
 | 
T13 | 
3 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerIntKey] | 
legal_states[OpGenHwOut] | 
665 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T15 | 
1 | 
 | 
T18 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenSwOut] | 
231 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T44 | 
1 | 
 | 
T126 | 
1 | 
| legal_values[CompareOpLt] | 
legal_states[StOwnerKey] | 
legal_states[OpGenHwOut] | 
244 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T13 | 
3 | 
 | 
T16 | 
1 |