(TransEc = FALSE & \n  APDUR_StatusWord = APDU_ISOSW_Ok) [ ] [ ] Reset_ProcessAPDU\n[ ] [ ] ResetSecuLevel\n[ ] [ ] INS_APDU_Select\n[ ] [ ] INS_APDU_GetData\n[G] [G] INS_APDU_StoreData\n[G] [ ] INS_APDU_InitializeUpdate\n[G] [ ] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] Reset_ProcessAPDU\n[ ] [ ] ResetSecuLevel\n[ ] [ ] INS_APDU_Select\n[ ] [ ] INS_APDU_GetData\n[G] [G] INS_APDU_StoreData\n[G] [ ] INS_APDU_InitializeUpdate\n[G] [ ] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] Reset_ProcessAPDU\n[ ] [ ] ResetSecuLevel\n[ ] [ ] INS_APDU_Select\n[ ] [ ] INS_APDU_GetData\n[G] [G] INS_APDU_StoreData\n[G] [ ] INS_APDU_InitializeUpdate\n[G] [ ] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_VerifyPIN (TransEc = FALSE & \n  APDUR_StatusWord /= APDU_ISOSW_Ok) [G] [G] INS_APDU_StoreData\n[G] [G] INS_APDU_InitializeUpdate\n[G] [G] INS_APDU_ExternalAuthentification\n[G] [G] INS_APDU_InitializeTransaction\n[G] [G] INS_APDU_VerifyPIN [G] [G] INS_APDU_StoreData\n[G] [G] INS_APDU_InitializeUpdate\n[G] [G] INS_APDU_ExternalAuthentification\n[G] [G] INS_APDU_InitializeTransaction\n[G] [G] INS_APDU_VerifyPIN [G] [G] INS_APDU_StoreData\n[G] [G] INS_APDU_InitializeUpdate\n[G] [G] INS_APDU_ExternalAuthentification\n[G] [G] INS_APDU_InitializeTransaction\n[G] [G] INS_APDU_VerifyPIN (TransEc = TRUE & \n  APDUR_StatusWord = APDU_ISOSW_Ok) [G] [G] INS_APDU_InitializeTransaction [G] [G] INS_APDU_InitializeTransaction [G] [G] INS_APDU_InitializeTransaction [ ] [ ] INS_APDU_Select\n[ ] [ ] INS_APDU_GetData\n[G] [G] INS_APDU_StoreData\n[G] [ ] INS_APDU_InitializeUpdate\n[G] [ ] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] INS_APDU_Select\n[ ] [ ] INS_APDU_GetData\n[G] [G] INS_APDU_StoreData\n[G] [ ] INS_APDU_InitializeUpdate\n[G] [ ] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] INS_APDU_Select\n[ ] [ ] INS_APDU_GetData\n[G] [G] INS_APDU_StoreData\n[G] [ ] INS_APDU_InitializeUpdate\n[G] [ ] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] Reset_ProcessAPDU\n[ ] [ ] ResetSecuLevel\n[G] [G] INS_APDU_StoreData\n[G] [G] INS_APDU_InitializeUpdate\n[G] [G] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_InitializeTransaction\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] Reset_ProcessAPDU\n[ ] [ ] ResetSecuLevel\n[G] [G] INS_APDU_StoreData\n[G] [G] INS_APDU_InitializeUpdate\n[G] [G] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_InitializeTransaction\n[G] [ ] INS_APDU_VerifyPIN [ ] [ ] Reset_ProcessAPDU\n[ ] [ ] ResetSecuLevel\n[G] [G] INS_APDU_StoreData\n[G] [G] INS_APDU_InitializeUpdate\n[G] [G] INS_APDU_ExternalAuthentification\n[G] [ ] INS_APDU_InitializeTransaction\n[G] [ ] INS_APDU_VerifyPIN [G] [G] INS_APDU_InitializeTransaction [G] [G] INS_APDU_InitializeTransaction [G] [G] INS_APDU_InitializeTransaction [ ] [ ] Reset_ProcessAPDU\n[G] [ ] INS_APDU_CompleteTransaction [ ] [ ] Reset_ProcessAPDU\n[G] [ ] INS_APDU_CompleteTransaction [ ] [ ] Reset_ProcessAPDU\n[G] [ ] INS_APDU_CompleteTransaction