{
    "version": "v2.3.5",
    "name": "DestroyUnexecutedSequenceContracts",
    "bytecodeTemplate": "01010300000005{1}0d0c{0}0106",
    "fieldsSig": {
        "names": [
            "tokenBridge",
            "vaa"
        ],
        "types": [
            "ByteVec",
            "ByteVec"
        ],
        "isMutable": [
            false,
            false
        ]
    },
    "functions": [
        {
            "name": "main",
            "usePreapprovedAssets": true,
            "useAssetsInContract": false,
            "isPublic": true,
            "paramNames": [],
            "paramTypes": [],
            "paramIsMutable": [],
            "returnTypes": []
        }
    ]
}