CopycardMoneySecureASMspecificationspecs/ASM/export/ASMINITspecificationspecs/ASMINIT/export/ASMSTEPspecificationspecs/ASMSTEP/export/AddAttackerdataspecificationspecs/AddAttackerdata/export/AllNoncesspecificationspecs/AllNonces/export/Analyzespecificationspecs/Analyze/export/Attackerspecificationspecs/Attacker/export/AttackerAbilitiesspecificationspecs/AttackerAbilities/export/Base-INVspecificationspecs/Base-INV/export/ConnectDisconnectspecificationspecs/ConnectDisconnect/export/CryptoDataspecificationspecs/CryptoData/export/FakeCardletSimplespecificationspecs/FakeCardletSimple/export/Generatespecificationspecs/Generate/export/NewNoncespecificationspecs/NewNonce/export/Noncespecificationspecs/Nonce/export/SENDspecificationspecs/SEND/export/Secretspecificationspecs/Secret/export/Securityspecificationspecs/Security/export/SecurityOperationsspecificationspecs/SecurityOperations/export/Statusspecificationspecs/Status/export/USERspecificationspecs/USER/export/accessfunsspecificationspecs/accessfuns/export/agentspecificationspecs/agent/export/agentconstsspecificationspecs/agentconsts/export/attackerdataspecificationspecs/attackerdata/export/attackerdatasetspecificationspecs/attackerdataset/export/attackerstepspecificationspecs/attackerstep/export/charspecificationlib-basic../../lib/basic/specs/char/export/connectionspecificationspecs/connection/export/connectionPredsspecificationspecs/connectionPreds/export/connectionsspecificationspecs/connections/export/constantsspecificationspecs/constants/export/dataspecificationspecs/data/export/elemspecificationlib-basic../../lib/basic/specs/elem/export/endpointspecificationspecs/endpoint/export/endpointFunsspecificationspecs/endpointFuns/export/endpointPredsspecificationspecs/endpointPreds/export/exagentspecificationspecs/exagent/export/fakecardletstepspecificationspecs/fakecardletstep/export/inputsspecificationspecs/inputs/export/int-absspecificationlib-basic../../lib/basic/specs/int-abs/export/int-basic1specificationlib-basic../../lib/basic/specs/int-basic1/export/int-basic2specificationlib-basic../../lib/basic/specs/int-basic2/export/int-divspecificationlib-basic../../lib/basic/specs/int-div/export/int-multspecificationlib-basic../../lib/basic/specs/int-mult/export/int-pairspecificationlib-basic../../lib/basic/specs/int-pair/export/intnatspecificationlib-basic../../lib/basic/specs/intnat/export/listspecificationlib-basic../../lib/basic/specs/list/export/list-dataspecificationlib-basic../../lib/basic/specs/list-data/export/list-delspecificationlib-basic../../lib/basic/specs/list-del/export/list-dupspecificationlib-basic../../lib/basic/specs/list-dup/export/list-lastspecificationlib-basic../../lib/basic/specs/list-last/export/list-permspecificationlib-basic../../lib/basic/specs/list-perm/export/list-setspecificationlib-basic../../lib/basic/specs/list-set/export/messagespecificationspecs/message/export/messageaccessfunsspecificationspecs/messageaccessfuns/export/messagefunsspecificationspecs/messagefuns/export/messagelistspecificationspecs/messagelist/export/messagelist-sublistspecificationspecs/messagelist-sublist/export/natspecificationlib-basic../../lib/basic/specs/nat/export/nat-basic1specificationlib-basic../../lib/basic/specs/nat-basic1/export/nat-basic2specificationlib-basic../../lib/basic/specs/nat-basic2/export/nat-divspecificationlib-basic../../lib/basic/specs/nat-div/export/nat-multspecificationlib-basic../../lib/basic/specs/nat-mult/export/nat-pairspecificationlib-basic../../lib/basic/specs/nat-pair/export/portsspecificationspecs/ports/export/set-basicspecificationlib-basic../../lib/basic/specs/set-basic/export/set-unionspecificationlib-basic../../lib/basic/specs/set-union/export/string-dataspecificationlib-basic../../lib/basic/specs/string-data/export/submessagesspecificationspecs/submessages/export/userstepspecificationspecs/userstep/export/