{"file_path":"contracts/CMTAT_EVCC.sol","creation_status":"success","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"./CMTAT_BASE_SHORTENED.sol\"; //SHORTENED VERSION to bring contract size below limit defined in \"Spurious Dragon\"\nimport \"./interfaces/iSIXOracle.sol\";\nimport \"./interfaces/IERC1643.sol\";\n\n/** @dev IMPLEMENTS SHORTENED CMTAT_BASE VERSION */\n\n\ncontract CMTAT_EVCC is CMTAT_BASE_SHORTENED, IERC1643 {\n    /** @dev this is the corresponding event to the forceTransfer() function */\n    event ForcedTransfer(\n        address indexed owner,\n        address indexed to,\n        uint256 amount,\n        string reason\n    );\n\n/* ERC1643 Standard */\n\n    struct Doc {\n        string docURI;\n        bytes32 docHash;\n        uint256 timestamp;\n    }\n    // Mapping for documents.\n    mapping(bytes32 => Doc) internal _documents;\n    mapping(address => bool) internal _isController;\n    mapping(bytes32 => uint256) internal _indexOfDocHashes;\n    bytes32[] internal _docHashes;\n\n\n\n    /// @custom:oz-upgrades-unsafe-allow constructor\n    constructor(\n        string memory nameIrrevocable,\n        string memory symbolIrrevocable,\n        address tokenizationAgent,\n        address payingAgent,\n        string memory tokenId_,\n        string memory terms_,\n        IEIP1404Wrapper ruleEngine_,\n        string memory information_,\n        uint256 flag_\n    )\n    {\n        initialize(\n            tokenizationAgent,\n            nameIrrevocable,\n            symbolIrrevocable,\n            tokenId_,\n            terms_,\n            ruleEngine_,\n            information_,\n            flag_\n        );\n       \n        /** \n        granting role of the enforcer to the payingAgent, serves as custodian\n        */ \n        grantRole(ENFORCER_ROLE, payingAgent);\n        _isController[msg.sender] = true;\n    }\n    \n    bytes32 public constant TA_ROLE = 0xf3f51ed0c99a44be52eb3a99eb5c4977605bc72ae356c37150acf9c522dfe20d; //keccak256(\"TA_ROLE\");\n\n    /** \n    @dev IMPORTANT: For this function to work, the inherited \"openzeppelin-contracts-upgradable/ERC20Upgradeable.sol\"\n    needs to have the visibility of its storage variable \"_balances\" changed from private to internal \n    @notice this function is an extension to the CMTAT implementation and is used to transfer tokens without restrictions \n    @param reason describes the reason for the forced transfer because this operation is only used in exceptions \n    */\n    function forceTransfer(\n        address from,\n        address to,\n        uint256 amount,\n        string memory reason\n   ) public onlyRole(TA_ROLE) {\n        require(from != address(0), \"ERC20: transfer from the zero address\");\n        require(to != address(0), \"ERC20: transfer to the zero address\");\n\n        /** \n        Ignores any validations and restrictions checked in the beforeTokenTransfer function: _beforeTokenTransfer(from, to, amount)\n        */\n        uint256 fromBalance = _balances[from];\n        require(\n            fromBalance >= amount,\n            \"ERC20: transfer amount exceeds balance\"\n        );\n        unchecked {\n            _balances[from] = fromBalance - amount;\n            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by\n            // decrementing then incrementing.\n            _balances[to] += amount;\n        }\n\n        /**\n        Ignores any logic checked in the afterTokenTransfer function: _afterTokenTransfer(from, to, amount)\n         */\n        emit ForcedTransfer(from, to, amount, reason);\n    }\n\n    // No storage gap because the contract is deployed in standalone mode\n\n   /* ERC1643 Standard */\n\n    /**\n     * @dev Access a document associated with the token.\n     * @param documentName Short name (represented as a bytes32) associated to the document.\n     * @return Requested document + document hash + document timestamp.\n     */\n    function getDocument(\n        bytes32 documentName\n    ) external view override returns (string memory, bytes32, uint256) {\n        require(bytes(_documents[documentName].docURI).length != 0); // Action Blocked - Empty document\n        return (\n            _documents[documentName].docURI,\n            _documents[documentName].docHash,\n            _documents[documentName].timestamp\n        );\n    }\n\n    /* ERC1643 Standard */\n/**\n     * @dev Associate a document with the token.\n     * @param documentName Short name (represented as a bytes32) associated to the document.\n     * @param uri Document content.\n     * @param documentHash Hash of the document [optional parameter].\n     */\n    function setDocument(\n        bytes32 documentName,\n        string calldata uri,\n        bytes32 documentHash\n    ) external override {\n        require(_isController[msg.sender]);\n\n    require(bytes(uri).length != 0, \"Adding an empty document\"); // Action Blocked - Add Empty document\n    require(bytes(_documents[documentName].docURI).length == 0, \"Document exist\"); // Action Blocked - Update on Existing document\n\n        _documents[documentName] = Doc({\n            docURI: uri,\n            docHash: documentHash,\n            timestamp: block.timestamp\n        });\n\n      if (_indexOfDocHashes[documentHash] == 0) {\n           _docHashes.push(documentHash);\n           _indexOfDocHashes[documentHash] = _docHashes.length;\n        }\n        emit DocumentUpdated(documentName, uri, documentHash);\n    }\n\n    /* ERC1643 Standard */\n    function removeDocument(bytes32 documentName) external override {\n        require(_isController[msg.sender], \"Unauthorized\");\n        require(\n            bytes(_documents[documentName].docURI).length != 0,\n            \"Document doesnt exist\"\n        ); // Action Blocked - Empty document\n\n        Doc memory data = _documents[documentName];\n\n        uint256 index1 = _indexOfDocHashes[data.docHash];\n        require(index1 > 0, \"Invalid index\"); //Indexing starts at 1, 0 is not allowed\n\n\n        // move the last item into the index being vacated\n        bytes32 lastValue = _docHashes[_docHashes.length - 1];\n        _docHashes[index1 - 1] = lastValue; // adjust for 1-based indexing\n        _indexOfDocHashes[lastValue] = index1;\n\n\n        //_totalPartitions.length -= 1;\n        _docHashes.pop();\n        _indexOfDocHashes[data.docHash] = 0;\n\n        delete _documents[documentName];\n\n        emit DocumentRemoved(documentName, data.docURI, data.docHash);\n    }\n\n\n}\n","deployed_bytecode":"0x608060405234801561001057600080fd5b50600436106103625760003560e01c80638456cb59116101c8578063cc7c36fe11610104578063d791f861116100a2578063dd62ed3e1161007c578063dd62ed3e146107d3578063e63ab1e914610819578063f47b774014610840578063fcf196b41461084857600080fd5b8063d791f8611461079a578063d7ffbbaa146107ad578063dcfd616f146107c057600080fd5b8063d4ce1415116100de578063d4ce141514610745578063d502562514610758578063d539139314610760578063d547741f1461078757600080fd5b8063cc7c36fe146106d2578063d0516650146106f9578063d40c79f01461073257600080fd5b8063a457c2d711610171578063b10d6b411161014b578063b10d6b4114610663578063b958544614610685578063c3501848146106ac578063c6946a12146106bf57600080fd5b8063a457c2d71461062a578063a4a0a3011461063d578063a9059cbb1461065057600080fd5b806391d14854116101a257806391d148541461060757806395d89b411461061a578063a217fddf1461062257600080fd5b80638456cb59146105e257806389021456146105ea578063890eba68146105fd57600080fd5b806336568abe116102a25780635736a7161161024057806370a082311161021a57806370a082311461057357806375bf8fe7146105a957806378f86afc146105bc5780637f4ab1dd146105cf57600080fd5b80635736a7161461051a5780635c975abb146105415780636439fd751461054c57600080fd5b80633f4f90671161027c5780633f4f9067146104d957806340c10f19146104ec57806341c0e1b5146104ff578063426a84931461050757600080fd5b806336568abe146104ab57806339509351146104be5780633f4ba83a146104d157600080fd5b806318160ddd1161030f578063248a9ca3116102e9578063248a9ca314610433578063282c51f3146104575780632f2ff15d1461047e578063313ce5671461049157600080fd5b806318160ddd146103e757806323b872dd146103f9578063246b72ec1461040c57600080fd5b8063095ea7b311610340578063095ea7b3146103b95780630bf131ca146103cc57806317d70f7c146103df57600080fd5b8063010648ca1461036757806301ffc9a71461037c57806306fdde03146103a4575b600080fd5b61037a610375366004613c93565b61088d565b005b61038f61038a366004613d15565b610abe565b60405190151581526020015b60405180910390f35b6103ac610b57565b60405161039b9190613dc5565b61038f6103c7366004613e05565b610be9565b61037a6103da366004613f4b565b610c01565b6103ac610c7d565b60cd545b60405190815260200161039b565b61038f610407366004613fa4565b610d0c565b6103eb7f809a0fc49fc0600540f1d39e23454e1f6f215bc7505fa22b17c154616570ddef81565b6103eb610441366004613fe5565b600090815261012f602052604090206001015490565b6103eb7f3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a84881565b61037a61048c366004613ffe565b610d23565b610499610d4e565b60405160ff909116815260200161039b565b61037a6104b9366004613ffe565b610d62565b61038f6104cc366004613e05565b610e15565b61037a610e61565b61038f6104e736600461402e565b610e96565b61037a6104fa366004613e05565b610ed4565b61037a610f5d565b61038f61051536600461407e565b610f80565b6103eb7ff3f51ed0c99a44be52eb3a99eb5c4977605bc72ae356c37150acf9c522dfe20d81565b60665460ff1661038f565b6103eb7f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df381565b6103eb6105813660046140b3565b73ffffffffffffffffffffffffffffffffffffffff16600090815260cb602052604090205490565b61038f6105b736600461402e565b611054565b61037a6105ca3660046140d0565b61108a565b6103ac6105dd366004614114565b6110f4565b61037a6112c5565b61037a6105f8366004614131565b6112f7565b6103eb6101975481565b61038f610615366004613ffe565b61159a565b6103ac611628565b6103eb600081565b61038f610638366004613e05565b611637565b61037a61064b3660046140b3565b611708565b61038f61065e366004613e05565b611807565b610676610671366004613fe5565b611815565b60405161039b9392919061419d565b6103eb7faa2de0737115053bf7d3d68e733306557628aef4b4aefa746cbf344fc726724781565b61037a6106ba366004613fe5565b6118f6565b61038f6106cd366004613fa4565b611c6b565b6103eb7fc6f3350ab30f55ce45863160fc345c1663d4633fe7cacfd3b9bbb6420a9147f881565b61038f6107073660046140b3565b73ffffffffffffffffffffffffffffffffffffffff1660009081526098602052604090205460ff1690565b61037a610740366004613fe5565b611d16565b610499610753366004613fa4565b611dc2565b6103ac611e76565b6103eb7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a681565b61037a610795366004613ffe565b611e84565b61037a6107a83660046141c2565b611eaa565b61037a6107bb3660046140d0565b61204c565b61037a6107ce3660046140d0565b6120aa565b6103eb6107e13660046142bf565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260cc6020908152604080832093909416825291909152205490565b6103eb7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a81565b6103ac612108565b6033546108689073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161039b565b33600090815261032a602052604090205460ff166108aa57600080fd5b600082900361091a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f416464696e6720616e20656d70747920646f63756d656e74000000000000000060448201526064015b60405180910390fd5b6000848152610329602052604090208054610934906142ed565b15905061099d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f446f63756d656e742065786973740000000000000000000000000000000000006044820152606401610911565b604051806060016040528084848080601f016020809104026020016040519081016040528093929190818152602001838380828437600092018290525093855250505060208083018590524260409384015287825261032990522081518190610a06908261438e565b50602082015181600101556040820151816002015590505061032b600082815260200190815260200160002054600003610a7c5761032c80546001810182557f61f00de403536d67292a420badd5aebd911fdc69bc2d80fe37d43a47abce90540182905554600082815261032b60205260409020555b837fb4c22d60cd550a815744f04e3ff5278bf19684565ee00e2b084041b6024bd6f6848484604051610ab0939291906144a8565b60405180910390a250505050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f7965db0b000000000000000000000000000000000000000000000000000000001480610b5157507f01ffc9a7000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316145b92915050565b606060ce8054610b66906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054610b92906142ed565b8015610bdf5780601f10610bb457610100808354040283529160200191610bdf565b820191906000526020600020905b815481529060010190602001808311610bc257829003601f168201915b5050505050905090565b600033610bf78185856123cd565b5060019392505050565b7f3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a848610c2b81612580565b610c35848461258a565b8373ffffffffffffffffffffffffffffffffffffffff167f47e772fda56eb54ab211642ce5421882c49fc2b7033455982af14588ae4207ff8484604051610ab09291906144ff565b6101948054610c8b906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054610cb7906142ed565b8015610d045780601f10610cd957610100808354040283529160200191610d04565b820191906000526020600020905b815481529060010190602001808311610ce757829003601f168201915b505050505081565b6000610d1984848461275c565b90505b9392505050565b600082815261012f6020526040902060010154610d3f81612580565b610d4983836127c7565b505050565b6000610d5d6102c45460ff1690565b905090565b73ffffffffffffffffffffffffffffffffffffffff81163314610e07576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636560448201527f20726f6c657320666f722073656c6600000000000000000000000000000000006064820152608401610911565b610e118282612893565b5050565b33600081815260cc6020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168452909152812054909190610bf79082908690610e5c908790614547565b6123cd565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a610e8b81612580565b610e93612926565b50565b60007f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df3610ec281612580565b610ecc84846129a3565b949350505050565b7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6610efe81612580565b610f088383612ab1565b8273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688583604051610f5091815260200190565b60405180910390a2505050565b6000610f6881612580565b6101935460ff168015610f7d57610f7d612bb2565b33ff5b33600090815260cc6020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168452909152812054821461103f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f434d5441543a2063757272656e7420616c6c6f77616e6365206973206e6f742060448201527f72696768740000000000000000000000000000000000000000000000000000006064820152608401610911565b6110498484610be9565b506001949350505050565b60007f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df361108081612580565b610ecc8484612c79565b600061109581612580565b6101956110a2838261438e565b50816040516110b1919061455a565b60405180910390207f8763f25a8d9538205dfcd4dc235a0f6bf9f0a6a01327e13524aaf39f954fa50f836040516110e89190613dc5565b60405180910390a25050565b606060ff821661113757505060408051808201909152600e81527f4e6f207265737472696374696f6e000000000000000000000000000000000000602082015290565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60ff83160161119a57505060408051808201909152601481527f416c6c207472616e736665727320706175736564000000000000000000000000602082015290565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe60ff8316016111fd57505060408051808201909152601a81527f54686520616464726573732046524f4d2069732066726f7a656e000000000000602082015290565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd60ff83160161126057505060408051808201909152601881527f546865206164647265737320544f2069732066726f7a656e0000000000000000602082015290565b60335473ffffffffffffffffffffffffffffffffffffffff161561128757610b5182612d72565b505060408051808201909152600c81527f556e6b6e6f776e20636f64650000000000000000000000000000000000000000602082015290565b919050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a6112ef81612580565b610e93612e2a565b7ff3f51ed0c99a44be52eb3a99eb5c4977605bc72ae356c37150acf9c522dfe20d61132181612580565b73ffffffffffffffffffffffffffffffffffffffff85166113c4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8416611467576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8516600090815260cb60205260409020548381101561151d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff808716600081815260cb602052604080822088860390559288168082529083902080548801905591517fbb53097141337c38a36fed7fae913304cd0c540e1200dbb4c8c1cee707f9f2c29061158a90889088906144ff565b60405180910390a3505050505050565b73ffffffffffffffffffffffffffffffffffffffff811660009081527fe9104285c6851efcbc5e0e70440200efbdcab556a1c8784776780f8bb44f2931602052604081205460ff16156115ef57506001610b51565b600083815261012f6020908152604080832073ffffffffffffffffffffffffffffffffffffffff8616845290915290205460ff16610d1c565b606060cf8054610b66906142ed565b33600081815260cc6020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168452909152812054909190838110156116fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610911565b61104982868684036123cd565b600061171381612580565b60335473ffffffffffffffffffffffffffffffffffffffff808416911603611797576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f53616d652076616c7565000000000000000000000000000000000000000000006044820152606401610911565b603380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff84169081179091556040517f37213fe93a5aae50df0ef53f98b81c048e51b3ab2969309a103a647e44b6191890600090a25050565b600033610bf7818585612e85565b6000818152610329602052604081208054606092918291611835906142ed565b905060000361184357600080fd5b6000848152610329602052604090206001810154600282015482548390611869906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054611895906142ed565b80156118e25780601f106118b7576101008083540402835291602001916118e2565b820191906000526020600020905b8154815290600101906020018083116118c557829003601f168201915b505050505092509250925092509193909250565b33600090815261032a602052604090205460ff16611970576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f556e617574686f72697a656400000000000000000000000000000000000000006044820152606401610911565b600081815261032960205260409020805461198a906142ed565b90506000036119f5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f446f63756d656e7420646f65736e7420657869737400000000000000000000006044820152606401610911565b60008181526103296020526040808220815160608101909252805482908290611a1d906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054611a49906142ed565b8015611a965780601f10611a6b57610100808354040283529160200191611a96565b820191906000526020600020905b815481529060010190602001808311611a7957829003601f168201915b50505050508152602001600182015481526020016002820154815250509050600061032b60008360200151815260200190815260200160002054905060008111611b3c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f496e76616c696420696e646578000000000000000000000000000000000000006044820152606401610911565b61032c805460009190611b5190600190614576565b81548110611b6157611b61614589565b906000526020600020015490508061032c600184611b7f9190614576565b81548110611b8f57611b8f614589565b600091825260208083209091019290925582815261032b9091526040902082905561032c805480611bc257611bc26145b8565b6000828152602080822083017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90810183905590920190925584810151825261032b81526040808320839055868352610329909152812090611c248282613c45565b506000600182018190556002909101558251602084015160405186927f3d9bba27d3e360d8c80645beed7e991454a8271bf6f269a24f7782be0f0d065492610ab0926145e7565b6000611c7960665460ff1690565b80611ca9575073ffffffffffffffffffffffffffffffffffffffff841660009081526098602052604090205460ff165b80611cd9575073ffffffffffffffffffffffffffffffffffffffff831660009081526098602052604090205460ff165b15611ce657506000610d1c565b60335473ffffffffffffffffffffffffffffffffffffffff1615610bf757611d0f848484613108565b9050610d1c565b6000611d2181612580565b816101975403611d8d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f53616d652076616c7565000000000000000000000000000000000000000000006044820152606401610911565b61019782905560405182907f7fd5fca7bc379fa5c0330db55f9b725ddbe03460514a6fa71918966f3848779f90600090a25050565b6000611dd060665460ff1690565b15611ddc576001611d0f565b73ffffffffffffffffffffffffffffffffffffffff841660009081526098602052604090205460ff1615611e11576002611d0f565b73ffffffffffffffffffffffffffffffffffffffff831660009081526098602052604090205460ff1615611e46576003611d0f565b60335473ffffffffffffffffffffffffffffffffffffffff1615611e6f57611d0f8484846131ac565b6000611d0f565b6101958054610c8b906142ed565b600082815261012f6020526040902060010154611ea081612580565b610d498383612893565b600054610100900460ff1615808015611eca5750600054600160ff909116105b80611ee45750303b158015611ee4575060005460ff166001145b611f70576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201527f647920696e697469616c697a65640000000000000000000000000000000000006064820152608401610911565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790558015611fce57600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff166101001790555b611fde8989898989898989613250565b801561204157600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b505050505050505050565b600061205781612580565b610196612064838261438e565b5081604051612073919061455a565b60405180910390207f62ecbd406143b0f9293af502fc172da71440b7821e18045e13c652c6841fff95836040516110e89190613dc5565b60006120b581612580565b6101946120c2838261438e565b50816040516120d1919061455a565b60405180910390207f6403c68076c59949275ad9be2137a73c51043d7d6af6a38473047a0bc45df492836040516110e89190613dc5565b6101968054610c8b906142ed565b73ffffffffffffffffffffffffffffffffffffffff163b151590565b6060610b5173ffffffffffffffffffffffffffffffffffffffff831660145b60606000612160836002614609565b61216b906002614547565b67ffffffffffffffff81111561218357612183613e31565b6040519080825280601f01601f1916602001820160405280156121ad576020820181803683370190505b5090507f3000000000000000000000000000000000000000000000000000000000000000816000815181106121e4576121e4614589565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f78000000000000000000000000000000000000000000000000000000000000008160018151811061224757612247614589565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506000612283846002614609565b61228e906001614547565b90505b600181111561232b577f303132333435363738396162636465660000000000000000000000000000000085600f16601081106122cf576122cf614589565b1a60f81b8282815181106122e5576122e5614589565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535060049490941c9361232481614620565b9050612291565b508315610d1c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f537472696e67733a20686578206c656e67746820696e73756666696369656e746044820152606401610911565b600091825261012f6020908152604080842073ffffffffffffffffffffffffffffffffffffffff93909316845291905290205460ff1690565b73ffffffffffffffffffffffffffffffffffffffff831661246f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8216612512576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff838116600081815260cc602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b610e93813361337b565b73ffffffffffffffffffffffffffffffffffffffff821661262d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360448201527f73000000000000000000000000000000000000000000000000000000000000006064820152608401610911565b6126398260008361340c565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260cb6020526040902054818110156126ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60448201527f63650000000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8316600081815260cb60209081526040808320868603905560cd80548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505050565b60008061276a8585856134a3565b90508015610d1957604051838152339073ffffffffffffffffffffffffffffffffffffffff8716907f7c2b9369bf4a6bd9745889c658ad00a4d57e280c4c80fa1c74db2a9e52c136359060200160405180910390a3949350505050565b6127d1828261159a565b610e1157600082815261012f6020908152604080832073ffffffffffffffffffffffffffffffffffffffff85168452909152902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790556128353390565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45050565b61289d828261159a565b15610e1157600082815261012f6020908152604080832073ffffffffffffffffffffffffffffffffffffffff8516808552925280832080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016905551339285917ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b9190a45050565b61292e6134bc565b606680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a1565b73ffffffffffffffffffffffffffffffffffffffff821660009081526098602052604081205460ff16156129d957506000610b51565b73ffffffffffffffffffffffffffffffffffffffff83166000908152609860205260409081902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600117905551612a3590839061455a565b60405180910390208373ffffffffffffffffffffffffffffffffffffffff16612a5b3390565b73ffffffffffffffffffffffffffffffffffffffff167fe80aede59db0b770aef5e4bd04670759d38e64959d07a4343257a0a4f6b6d1ed85604051612aa09190613dc5565b60405180910390a450600192915050565b73ffffffffffffffffffffffffffffffffffffffff8216612b2e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610911565b612b3a6000838361340c565b8060cd6000828254612b4c9190614547565b909155505073ffffffffffffffffffffffffffffffffffffffff8216600081815260cb60209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000c06036793272219179f846ef6bfc3b16e820df0b163003612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602d60248201527f4469726563742063616c6c20746f2074686520696d706c656d656e746174696f60448201527f6e206e6f7420616c6c6f776564000000000000000000000000000000000000006064820152608401610911565b565b73ffffffffffffffffffffffffffffffffffffffff821660009081526098602052604081205460ff16612cae57506000610b51565b73ffffffffffffffffffffffffffffffffffffffff83166000908152609860205260409081902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016905551612d0790839061455a565b60405180910390208373ffffffffffffffffffffffffffffffffffffffff16612d2d3390565b73ffffffffffffffffffffffffffffffffffffffff167f7a52fdbc4f3e9f93670cd35b5b9c2d974791d25c5c04984336a80be3f7f42c3285604051612aa09190613dc5565b6033546040517f7f4ab1dd00000000000000000000000000000000000000000000000000000000815260ff8316600482015260609173ffffffffffffffffffffffffffffffffffffffff1690637f4ab1dd90602401600060405180830381865afa158015612de4573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0168201604052610b519190810190614655565b612e32613528565b606680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586129793390565b73ffffffffffffffffffffffffffffffffffffffff8316612f28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8216612fcb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610911565b612fd683838361340c565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260cb60205260409020548181101561308c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff808516600081815260cb602052604080822086860390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906130f99086815260200190565b60405180910390a35b50505050565b6033546040517fc6946a1200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8581166004830152848116602483015260448201849052600092169063c6946a1290606401602060405180830381865afa158015613188573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1991906146cc565b6033546040517fd4ce141500000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8581166004830152848116602483015260448201849052600092169063d4ce141590606401602060405180830381865afa15801561322c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1991906146ee565b600054610100900460ff166132e7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b6132ef613595565b6132f9878761362c565b613301613595565b613309613595565b6133116136dc565b613319613595565b6133228361379d565b61332b886138bf565b613333613595565b61333b613595565b613343613595565b61334d60126139de565b613355613595565b61335d613595565b61336985858484613aaa565b613371613595565b5050505050505050565b613385828261159a565b610e115761339281612132565b61339d836020612151565b6040516020016133ae92919061470b565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152908290527f08c379a000000000000000000000000000000000000000000000000000000000825261091191600401613dc5565b613417838383611c6b565b610d49576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602d60248201527f434d5441543a207472616e736665722072656a65637465642062792076616c6960448201527f646174696f6e206d6f64756c65000000000000000000000000000000000000006064820152608401610911565b6000336134b1858285613b74565b611049858585612e85565b60665460ff16612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f5061757361626c653a206e6f74207061757365640000000000000000000000006044820152606401610911565b60665460ff1615612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f5061757361626c653a20706175736564000000000000000000000000000000006044820152606401610911565b600054610100900460ff16612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b600054610100900460ff166136c3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b60ce6136cf838261438e565b5060cf610d49828261438e565b600054610100900460ff16613773576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b606680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055565b600054610100900460ff16613834576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff811615610e9357603380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f37213fe93a5aae50df0ef53f98b81c048e51b3ab2969309a103a647e44b6191890600090a250565b600054610100900460ff16613956576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff81166139d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f416464726573732030206e6f7420616c6c6f77656400000000000000000000006044820152606401610911565b610e936000826127c7565b600054610100900460ff16613a75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b6102c480547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660ff92909216919091179055565b600054610100900460ff16613b41576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b610194613b4e858261438e565b50610195613b5c848261438e565b50610196613b6a838261438e565b5061019755505050565b73ffffffffffffffffffffffffffffffffffffffff838116600090815260cc60209081526040808320938616835292905220547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146131025781811015613c38576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610911565b61310284848484036123cd565b508054613c51906142ed565b6000825580601f10613c61575050565b601f016020900490600052602060002090810190610e9391905b80821115613c8f5760008155600101613c7b565b5090565b60008060008060608587031215613ca957600080fd5b84359350602085013567ffffffffffffffff80821115613cc857600080fd5b818701915087601f830112613cdc57600080fd5b813581811115613ceb57600080fd5b886020828501011115613cfd57600080fd5b95986020929092019750949560400135945092505050565b600060208284031215613d2757600080fd5b81357fffffffff0000000000000000000000000000000000000000000000000000000081168114610d1c57600080fd5b60005b83811015613d72578181015183820152602001613d5a565b50506000910152565b60008151808452613d93816020860160208601613d57565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b602081526000610d1c6020830184613d7b565b73ffffffffffffffffffffffffffffffffffffffff81168114610e9357600080fd5b80356112c081613dd8565b60008060408385031215613e1857600080fd5b8235613e2381613dd8565b946020939093013593505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff81118282101715613ea757613ea7613e31565b604052919050565b600067ffffffffffffffff821115613ec957613ec9613e31565b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b600082601f830112613f0657600080fd5b8135613f19613f1482613eaf565b613e60565b818152846020838601011115613f2e57600080fd5b816020850160208301376000918101602001919091529392505050565b600080600060608486031215613f6057600080fd5b8335613f6b81613dd8565b925060208401359150604084013567ffffffffffffffff811115613f8e57600080fd5b613f9a86828701613ef5565b9150509250925092565b600080600060608486031215613fb957600080fd5b8335613fc481613dd8565b92506020840135613fd481613dd8565b929592945050506040919091013590565b600060208284031215613ff757600080fd5b5035919050565b6000806040838503121561401157600080fd5b82359150602083013561402381613dd8565b809150509250929050565b6000806040838503121561404157600080fd5b823561404c81613dd8565b9150602083013567ffffffffffffffff81111561406857600080fd5b61407485828601613ef5565b9150509250929050565b60008060006060848603121561409357600080fd5b833561409e81613dd8565b95602085013595506040909401359392505050565b6000602082840312156140c557600080fd5b8135610d1c81613dd8565b6000602082840312156140e257600080fd5b813567ffffffffffffffff8111156140f957600080fd5b610ecc84828501613ef5565b60ff81168114610e9357600080fd5b60006020828403121561412657600080fd5b8135610d1c81614105565b6000806000806080858703121561414757600080fd5b843561415281613dd8565b9350602085013561416281613dd8565b925060408501359150606085013567ffffffffffffffff81111561418557600080fd5b61419187828801613ef5565b91505092959194509250565b6060815260006141b06060830186613d7b565b60208301949094525060400152919050565b600080600080600080600080610100898b0312156141df57600080fd5b6141e889613dfa565b9750602089013567ffffffffffffffff8082111561420557600080fd5b6142118c838d01613ef5565b985060408b013591508082111561422757600080fd5b6142338c838d01613ef5565b975060608b013591508082111561424957600080fd5b6142558c838d01613ef5565b965060808b013591508082111561426b57600080fd5b6142778c838d01613ef5565b955061428560a08c01613dfa565b945060c08b013591508082111561429b57600080fd5b506142a88b828c01613ef5565b92505060e089013590509295985092959890939650565b600080604083850312156142d257600080fd5b82356142dd81613dd8565b9150602083013561402381613dd8565b600181811c9082168061430157607f821691505b60208210810361433a577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b601f821115610d4957600081815260208120601f850160051c810160208610156143675750805b601f850160051c820191505b8181101561438657828155600101614373565b505050505050565b815167ffffffffffffffff8111156143a8576143a8613e31565b6143bc816143b684546142ed565b84614340565b602080601f83116001811461440f57600084156143d95750858301515b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600386901b1c1916600185901b178555614386565b6000858152602081207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08616915b8281101561445c5788860151825594840194600190910190840161443d565b508582101561449857878501517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600388901b60f8161c191681555b5050505050600190811b01905550565b6040815282604082015282846060830137600060608483010152600060607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8601168301019050826020830152949350505050565b828152604060208201526000610d196040830184613d7b565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b80820180821115610b5157610b51614518565b6000825161456c818460208701613d57565b9190910192915050565b81810381811115610b5157610b51614518565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b6040815260006145fa6040830185613d7b565b90508260208301529392505050565b8082028115828204841417610b5157610b51614518565b60008161462f5761462f614518565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b60006020828403121561466757600080fd5b815167ffffffffffffffff81111561467e57600080fd5b8201601f8101841361468f57600080fd5b805161469d613f1482613eaf565b8181528560208385010111156146b257600080fd5b6146c3826020830160208601613d57565b95945050505050565b6000602082840312156146de57600080fd5b81518015158114610d1c57600080fd5b60006020828403121561470057600080fd5b8151610d1c81614105565b7f416363657373436f6e74726f6c3a206163636f756e7420000000000000000000815260008351614743816017850160208801613d57565b7f206973206d697373696e6720726f6c65200000000000000000000000000000006017918401918201528351614780816028840160208801613d57565b0160280194935050505056fea26469706673582212209e000875238d99c931c211c63c539088feb5d9b29bafa99877195a308b4b79eb64736f6c63430008110033","optimization_enabled":true,"verified_twin_address_hash":null,"is_verified":true,"compiler_settings":{"evmVersion":"london","libraries":{},"metadata":{"bytecodeHash":"ipfs"},"optimizer":{"enabled":true,"runs":1000000},"outputSelection":{"*":{"":["*"],"*":["*"]}}},"optimization_runs":1000000,"sourcify_repo_url":null,"decoded_constructor_args":[["UBS USD Money Market Investment Fund Token",{"internalType":"string","name":"nameIrrevocable","type":"string"}],["uMINT",{"internalType":"string","name":"symbolIrrevocable","type":"string"}],["0xdAC87349d8afd2989515DEadB3692bB8EDF749c4",{"internalType":"address","name":"tokenizationAgent","type":"address"}],["0xdAC87349d8afd2989515DEadB3692bB8EDF749c4",{"internalType":"address","name":"payingAgent","type":"address"}],["SGXZ89386486",{"internalType":"string","name":"tokenId_","type":"string"}],["BLANK",{"internalType":"string","name":"terms_","type":"string"}],["0xe7884738e60967E5d35882a4bCEB2d6bC843B61e",{"internalType":"contract IEIP1404Wrapper","name":"ruleEngine_","type":"address"}],["Class AT-acc (USD) Shares",{"internalType":"string","name":"information_","type":"string"}],["1",{"internalType":"uint256","name":"flag_","type":"uint256"}]],"compiler_version":"v0.8.17+commit.8df45f5f","is_verified_via_verifier_alliance":false,"verified_at":"2026-05-08T10:30:41.570333Z","implementations":[],"proxy_type":null,"external_libraries":[],"creation_bytecode":"0x60a0604052306080523480156200001557600080fd5b50604051620056ce380380620056ce833981016040819052620000389162000b2f565b6200004a878a8a8888888888620000a1565b620000767f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df387620001e3565b505033600090815261032a60205260409020805460ff191660011790555062000ed095505050505050565b600054610100900460ff1615808015620000c25750600054600160ff909116105b80620000f25750620000df306200021260201b620021161760201c565b158015620000f2575060005460ff166001145b6200015b5760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b60648201526084015b60405180910390fd5b6000805460ff1916600117905580156200017f576000805461ff0019166101001790555b62000191898989898989898962000221565b8015620001d8576000805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b505050505050505050565b600082815261012f6020526040902060010154620002018162000331565b6200020d838362000340565b505050565b6001600160a01b03163b151590565b600054610100900460ff166200027d5760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b62000287620003cc565b6200029387876200042a565b6200029d620003cc565b620002a7620003cc565b620002b1620004a3565b620002bb620003cc565b620002c6836200050b565b620002d188620005c1565b620002db620003cc565b620002e5620003cc565b620002ef620003cc565b620002fb601262000682565b62000305620003cc565b6200030f620003cc565b6200031d85858484620006f5565b62000327620003cc565b5050505050505050565b6200033d81336200078a565b50565b6200034c828262000802565b620003c857600082815261012f602090815260408083206001600160a01b03851684529091529020805460ff19166001179055620003873390565b6001600160a01b0316816001600160a01b0316837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45b5050565b600054610100900460ff16620004285760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b565b600054610100900460ff16620004865760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b60ce62000494838262000ce0565b5060cf6200020d828262000ce0565b600054610100900460ff16620004ff5760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b6066805460ff19169055565b600054610100900460ff16620005675760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b6001600160a01b038116156200033d57603380546001600160a01b0319166001600160a01b0383169081179091556040517f37213fe93a5aae50df0ef53f98b81c048e51b3ab2969309a103a647e44b6191890600090a250565b600054610100900460ff166200061d5760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b6001600160a01b038116620006755760405162461bcd60e51b815260206004820152601560248201527f416464726573732030206e6f7420616c6c6f7765640000000000000000000000604482015260640162000152565b6200033d60008262000340565b600054610100900460ff16620006de5760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b6102c4805460ff191660ff92909216919091179055565b600054610100900460ff16620007515760405162461bcd60e51b815260206004820152602b6024820152600080516020620056ae83398151915260448201526a6e697469616c697a696e6760a81b606482015260840162000152565b61019462000760858262000ce0565b5061019562000770848262000ce0565b5061019662000780838262000ce0565b5061019755505050565b62000796828262000802565b620003c857620007b1816200084d60201b620021321760201c565b620007c78360206200215162000860821b17811c565b604051602001620007da92919062000dac565b60408051601f198184030181529082905262461bcd60e51b8252620001529160040162000e25565b60006200081e6000801b8362000a1960201b620023941760201c565b156200082d5750600162000847565b62000844838362000a1960201b620023941760201c565b90505b92915050565b6060620008476001600160a01b03831660145b606060006200087183600262000e70565b6200087e90600262000e8a565b6001600160401b0381111562000898576200089862000a45565b6040519080825280601f01601f191660200182016040528015620008c3576020820181803683370190505b509050600360fc1b81600081518110620008e157620008e162000ea0565b60200101906001600160f81b031916908160001a905350600f60fb1b8160018151811062000913576200091362000ea0565b60200101906001600160f81b031916908160001a90535060006200093984600262000e70565b6200094690600162000e8a565b90505b6001811115620009c8576f181899199a1a9b1b9c1cb0b131b232b360811b85600f16601081106200097e576200097e62000ea0565b1a60f81b82828151811062000997576200099762000ea0565b60200101906001600160f81b031916908160001a90535060049490941c93620009c08162000eb6565b905062000949565b508315620008445760405162461bcd60e51b815260206004820181905260248201527f537472696e67733a20686578206c656e67746820696e73756666696369656e74604482015260640162000152565b600091825261012f602090815260408084206001600160a01b0393909316845291905290205460ff1690565b634e487b7160e01b600052604160045260246000fd5b60005b8381101562000a7857818101518382015260200162000a5e565b50506000910152565b600082601f83011262000a9357600080fd5b81516001600160401b038082111562000ab05762000ab062000a45565b604051601f8301601f19908116603f0116810190828211818310171562000adb5762000adb62000a45565b8160405283815286602085880101111562000af557600080fd5b62000b0884602083016020890162000a5b565b9695505050505050565b80516001600160a01b038116811462000b2a57600080fd5b919050565b60008060008060008060008060006101208a8c03121562000b4f57600080fd5b89516001600160401b038082111562000b6757600080fd5b62000b758d838e0162000a81565b9a5060208c015191508082111562000b8c57600080fd5b62000b9a8d838e0162000a81565b995062000baa60408d0162000b12565b985062000bba60608d0162000b12565b975060808c015191508082111562000bd157600080fd5b62000bdf8d838e0162000a81565b965060a08c015191508082111562000bf657600080fd5b62000c048d838e0162000a81565b955062000c1460c08d0162000b12565b945060e08c015191508082111562000c2b57600080fd5b5062000c3a8c828d0162000a81565b9250506101008a015190509295985092959850929598565b600181811c9082168062000c6757607f821691505b60208210810362000c8857634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200020d57600081815260208120601f850160051c8101602086101562000cb75750805b601f850160051c820191505b8181101562000cd85782815560010162000cc3565b505050505050565b81516001600160401b0381111562000cfc5762000cfc62000a45565b62000d148162000d0d845462000c52565b8462000c8e565b602080601f83116001811462000d4c576000841562000d335750858301515b600019600386901b1c1916600185901b17855562000cd8565b600085815260208120601f198616915b8281101562000d7d5788860151825594840194600190910190840162000d5c565b508582101562000d9c5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b7f416363657373436f6e74726f6c3a206163636f756e742000000000000000000081526000835162000de681601785016020880162000a5b565b7001034b99036b4b9b9b4b733903937b6329607d1b601791840191820152835162000e1981602884016020880162000a5b565b01602801949350505050565b602081526000825180602084015262000e4681604085016020870162000a5b565b601f01601f19169190910160400192915050565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141762000847576200084762000e5a565b8082018082111562000847576200084762000e5a565b634e487b7160e01b600052603260045260246000fd5b60008162000ec85762000ec862000e5a565b506000190190565b6080516147c262000eec6000396000612bc901526147c26000f3fe608060405234801561001057600080fd5b50600436106103625760003560e01c80638456cb59116101c8578063cc7c36fe11610104578063d791f861116100a2578063dd62ed3e1161007c578063dd62ed3e146107d3578063e63ab1e914610819578063f47b774014610840578063fcf196b41461084857600080fd5b8063d791f8611461079a578063d7ffbbaa146107ad578063dcfd616f146107c057600080fd5b8063d4ce1415116100de578063d4ce141514610745578063d502562514610758578063d539139314610760578063d547741f1461078757600080fd5b8063cc7c36fe146106d2578063d0516650146106f9578063d40c79f01461073257600080fd5b8063a457c2d711610171578063b10d6b411161014b578063b10d6b4114610663578063b958544614610685578063c3501848146106ac578063c6946a12146106bf57600080fd5b8063a457c2d71461062a578063a4a0a3011461063d578063a9059cbb1461065057600080fd5b806391d14854116101a257806391d148541461060757806395d89b411461061a578063a217fddf1461062257600080fd5b80638456cb59146105e257806389021456146105ea578063890eba68146105fd57600080fd5b806336568abe116102a25780635736a7161161024057806370a082311161021a57806370a082311461057357806375bf8fe7146105a957806378f86afc146105bc5780637f4ab1dd146105cf57600080fd5b80635736a7161461051a5780635c975abb146105415780636439fd751461054c57600080fd5b80633f4f90671161027c5780633f4f9067146104d957806340c10f19146104ec57806341c0e1b5146104ff578063426a84931461050757600080fd5b806336568abe146104ab57806339509351146104be5780633f4ba83a146104d157600080fd5b806318160ddd1161030f578063248a9ca3116102e9578063248a9ca314610433578063282c51f3146104575780632f2ff15d1461047e578063313ce5671461049157600080fd5b806318160ddd146103e757806323b872dd146103f9578063246b72ec1461040c57600080fd5b8063095ea7b311610340578063095ea7b3146103b95780630bf131ca146103cc57806317d70f7c146103df57600080fd5b8063010648ca1461036757806301ffc9a71461037c57806306fdde03146103a4575b600080fd5b61037a610375366004613c93565b61088d565b005b61038f61038a366004613d15565b610abe565b60405190151581526020015b60405180910390f35b6103ac610b57565b60405161039b9190613dc5565b61038f6103c7366004613e05565b610be9565b61037a6103da366004613f4b565b610c01565b6103ac610c7d565b60cd545b60405190815260200161039b565b61038f610407366004613fa4565b610d0c565b6103eb7f809a0fc49fc0600540f1d39e23454e1f6f215bc7505fa22b17c154616570ddef81565b6103eb610441366004613fe5565b600090815261012f602052604090206001015490565b6103eb7f3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a84881565b61037a61048c366004613ffe565b610d23565b610499610d4e565b60405160ff909116815260200161039b565b61037a6104b9366004613ffe565b610d62565b61038f6104cc366004613e05565b610e15565b61037a610e61565b61038f6104e736600461402e565b610e96565b61037a6104fa366004613e05565b610ed4565b61037a610f5d565b61038f61051536600461407e565b610f80565b6103eb7ff3f51ed0c99a44be52eb3a99eb5c4977605bc72ae356c37150acf9c522dfe20d81565b60665460ff1661038f565b6103eb7f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df381565b6103eb6105813660046140b3565b73ffffffffffffffffffffffffffffffffffffffff16600090815260cb602052604090205490565b61038f6105b736600461402e565b611054565b61037a6105ca3660046140d0565b61108a565b6103ac6105dd366004614114565b6110f4565b61037a6112c5565b61037a6105f8366004614131565b6112f7565b6103eb6101975481565b61038f610615366004613ffe565b61159a565b6103ac611628565b6103eb600081565b61038f610638366004613e05565b611637565b61037a61064b3660046140b3565b611708565b61038f61065e366004613e05565b611807565b610676610671366004613fe5565b611815565b60405161039b9392919061419d565b6103eb7faa2de0737115053bf7d3d68e733306557628aef4b4aefa746cbf344fc726724781565b61037a6106ba366004613fe5565b6118f6565b61038f6106cd366004613fa4565b611c6b565b6103eb7fc6f3350ab30f55ce45863160fc345c1663d4633fe7cacfd3b9bbb6420a9147f881565b61038f6107073660046140b3565b73ffffffffffffffffffffffffffffffffffffffff1660009081526098602052604090205460ff1690565b61037a610740366004613fe5565b611d16565b610499610753366004613fa4565b611dc2565b6103ac611e76565b6103eb7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a681565b61037a610795366004613ffe565b611e84565b61037a6107a83660046141c2565b611eaa565b61037a6107bb3660046140d0565b61204c565b61037a6107ce3660046140d0565b6120aa565b6103eb6107e13660046142bf565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260cc6020908152604080832093909416825291909152205490565b6103eb7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a81565b6103ac612108565b6033546108689073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161039b565b33600090815261032a602052604090205460ff166108aa57600080fd5b600082900361091a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f416464696e6720616e20656d70747920646f63756d656e74000000000000000060448201526064015b60405180910390fd5b6000848152610329602052604090208054610934906142ed565b15905061099d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f446f63756d656e742065786973740000000000000000000000000000000000006044820152606401610911565b604051806060016040528084848080601f016020809104026020016040519081016040528093929190818152602001838380828437600092018290525093855250505060208083018590524260409384015287825261032990522081518190610a06908261438e565b50602082015181600101556040820151816002015590505061032b600082815260200190815260200160002054600003610a7c5761032c80546001810182557f61f00de403536d67292a420badd5aebd911fdc69bc2d80fe37d43a47abce90540182905554600082815261032b60205260409020555b837fb4c22d60cd550a815744f04e3ff5278bf19684565ee00e2b084041b6024bd6f6848484604051610ab0939291906144a8565b60405180910390a250505050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f7965db0b000000000000000000000000000000000000000000000000000000001480610b5157507f01ffc9a7000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316145b92915050565b606060ce8054610b66906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054610b92906142ed565b8015610bdf5780601f10610bb457610100808354040283529160200191610bdf565b820191906000526020600020905b815481529060010190602001808311610bc257829003601f168201915b5050505050905090565b600033610bf78185856123cd565b5060019392505050565b7f3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a848610c2b81612580565b610c35848461258a565b8373ffffffffffffffffffffffffffffffffffffffff167f47e772fda56eb54ab211642ce5421882c49fc2b7033455982af14588ae4207ff8484604051610ab09291906144ff565b6101948054610c8b906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054610cb7906142ed565b8015610d045780601f10610cd957610100808354040283529160200191610d04565b820191906000526020600020905b815481529060010190602001808311610ce757829003601f168201915b505050505081565b6000610d1984848461275c565b90505b9392505050565b600082815261012f6020526040902060010154610d3f81612580565b610d4983836127c7565b505050565b6000610d5d6102c45460ff1690565b905090565b73ffffffffffffffffffffffffffffffffffffffff81163314610e07576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636560448201527f20726f6c657320666f722073656c6600000000000000000000000000000000006064820152608401610911565b610e118282612893565b5050565b33600081815260cc6020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168452909152812054909190610bf79082908690610e5c908790614547565b6123cd565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a610e8b81612580565b610e93612926565b50565b60007f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df3610ec281612580565b610ecc84846129a3565b949350505050565b7f9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6610efe81612580565b610f088383612ab1565b8273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688583604051610f5091815260200190565b60405180910390a2505050565b6000610f6881612580565b6101935460ff168015610f7d57610f7d612bb2565b33ff5b33600090815260cc6020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168452909152812054821461103f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f434d5441543a2063757272656e7420616c6c6f77616e6365206973206e6f742060448201527f72696768740000000000000000000000000000000000000000000000000000006064820152608401610911565b6110498484610be9565b506001949350505050565b60007f973ef39d76cc2c6090feab1c030bec6ab5db557f64df047a4c4f9b5953cf1df361108081612580565b610ecc8484612c79565b600061109581612580565b6101956110a2838261438e565b50816040516110b1919061455a565b60405180910390207f8763f25a8d9538205dfcd4dc235a0f6bf9f0a6a01327e13524aaf39f954fa50f836040516110e89190613dc5565b60405180910390a25050565b606060ff821661113757505060408051808201909152600e81527f4e6f207265737472696374696f6e000000000000000000000000000000000000602082015290565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60ff83160161119a57505060408051808201909152601481527f416c6c207472616e736665727320706175736564000000000000000000000000602082015290565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe60ff8316016111fd57505060408051808201909152601a81527f54686520616464726573732046524f4d2069732066726f7a656e000000000000602082015290565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd60ff83160161126057505060408051808201909152601881527f546865206164647265737320544f2069732066726f7a656e0000000000000000602082015290565b60335473ffffffffffffffffffffffffffffffffffffffff161561128757610b5182612d72565b505060408051808201909152600c81527f556e6b6e6f776e20636f64650000000000000000000000000000000000000000602082015290565b919050565b7f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a6112ef81612580565b610e93612e2a565b7ff3f51ed0c99a44be52eb3a99eb5c4977605bc72ae356c37150acf9c522dfe20d61132181612580565b73ffffffffffffffffffffffffffffffffffffffff85166113c4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8416611467576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8516600090815260cb60205260409020548381101561151d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff808716600081815260cb602052604080822088860390559288168082529083902080548801905591517fbb53097141337c38a36fed7fae913304cd0c540e1200dbb4c8c1cee707f9f2c29061158a90889088906144ff565b60405180910390a3505050505050565b73ffffffffffffffffffffffffffffffffffffffff811660009081527fe9104285c6851efcbc5e0e70440200efbdcab556a1c8784776780f8bb44f2931602052604081205460ff16156115ef57506001610b51565b600083815261012f6020908152604080832073ffffffffffffffffffffffffffffffffffffffff8616845290915290205460ff16610d1c565b606060cf8054610b66906142ed565b33600081815260cc6020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168452909152812054909190838110156116fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610911565b61104982868684036123cd565b600061171381612580565b60335473ffffffffffffffffffffffffffffffffffffffff808416911603611797576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f53616d652076616c7565000000000000000000000000000000000000000000006044820152606401610911565b603380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff84169081179091556040517f37213fe93a5aae50df0ef53f98b81c048e51b3ab2969309a103a647e44b6191890600090a25050565b600033610bf7818585612e85565b6000818152610329602052604081208054606092918291611835906142ed565b905060000361184357600080fd5b6000848152610329602052604090206001810154600282015482548390611869906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054611895906142ed565b80156118e25780601f106118b7576101008083540402835291602001916118e2565b820191906000526020600020905b8154815290600101906020018083116118c557829003601f168201915b505050505092509250925092509193909250565b33600090815261032a602052604090205460ff16611970576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f556e617574686f72697a656400000000000000000000000000000000000000006044820152606401610911565b600081815261032960205260409020805461198a906142ed565b90506000036119f5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f446f63756d656e7420646f65736e7420657869737400000000000000000000006044820152606401610911565b60008181526103296020526040808220815160608101909252805482908290611a1d906142ed565b80601f0160208091040260200160405190810160405280929190818152602001828054611a49906142ed565b8015611a965780601f10611a6b57610100808354040283529160200191611a96565b820191906000526020600020905b815481529060010190602001808311611a7957829003601f168201915b50505050508152602001600182015481526020016002820154815250509050600061032b60008360200151815260200190815260200160002054905060008111611b3c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f496e76616c696420696e646578000000000000000000000000000000000000006044820152606401610911565b61032c805460009190611b5190600190614576565b81548110611b6157611b61614589565b906000526020600020015490508061032c600184611b7f9190614576565b81548110611b8f57611b8f614589565b600091825260208083209091019290925582815261032b9091526040902082905561032c805480611bc257611bc26145b8565b6000828152602080822083017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90810183905590920190925584810151825261032b81526040808320839055868352610329909152812090611c248282613c45565b506000600182018190556002909101558251602084015160405186927f3d9bba27d3e360d8c80645beed7e991454a8271bf6f269a24f7782be0f0d065492610ab0926145e7565b6000611c7960665460ff1690565b80611ca9575073ffffffffffffffffffffffffffffffffffffffff841660009081526098602052604090205460ff165b80611cd9575073ffffffffffffffffffffffffffffffffffffffff831660009081526098602052604090205460ff165b15611ce657506000610d1c565b60335473ffffffffffffffffffffffffffffffffffffffff1615610bf757611d0f848484613108565b9050610d1c565b6000611d2181612580565b816101975403611d8d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f53616d652076616c7565000000000000000000000000000000000000000000006044820152606401610911565b61019782905560405182907f7fd5fca7bc379fa5c0330db55f9b725ddbe03460514a6fa71918966f3848779f90600090a25050565b6000611dd060665460ff1690565b15611ddc576001611d0f565b73ffffffffffffffffffffffffffffffffffffffff841660009081526098602052604090205460ff1615611e11576002611d0f565b73ffffffffffffffffffffffffffffffffffffffff831660009081526098602052604090205460ff1615611e46576003611d0f565b60335473ffffffffffffffffffffffffffffffffffffffff1615611e6f57611d0f8484846131ac565b6000611d0f565b6101958054610c8b906142ed565b600082815261012f6020526040902060010154611ea081612580565b610d498383612893565b600054610100900460ff1615808015611eca5750600054600160ff909116105b80611ee45750303b158015611ee4575060005460ff166001145b611f70576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201527f647920696e697469616c697a65640000000000000000000000000000000000006064820152608401610911565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790558015611fce57600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff166101001790555b611fde8989898989898989613250565b801561204157600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b505050505050505050565b600061205781612580565b610196612064838261438e565b5081604051612073919061455a565b60405180910390207f62ecbd406143b0f9293af502fc172da71440b7821e18045e13c652c6841fff95836040516110e89190613dc5565b60006120b581612580565b6101946120c2838261438e565b50816040516120d1919061455a565b60405180910390207f6403c68076c59949275ad9be2137a73c51043d7d6af6a38473047a0bc45df492836040516110e89190613dc5565b6101968054610c8b906142ed565b73ffffffffffffffffffffffffffffffffffffffff163b151590565b6060610b5173ffffffffffffffffffffffffffffffffffffffff831660145b60606000612160836002614609565b61216b906002614547565b67ffffffffffffffff81111561218357612183613e31565b6040519080825280601f01601f1916602001820160405280156121ad576020820181803683370190505b5090507f3000000000000000000000000000000000000000000000000000000000000000816000815181106121e4576121e4614589565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f78000000000000000000000000000000000000000000000000000000000000008160018151811061224757612247614589565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506000612283846002614609565b61228e906001614547565b90505b600181111561232b577f303132333435363738396162636465660000000000000000000000000000000085600f16601081106122cf576122cf614589565b1a60f81b8282815181106122e5576122e5614589565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535060049490941c9361232481614620565b9050612291565b508315610d1c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f537472696e67733a20686578206c656e67746820696e73756666696369656e746044820152606401610911565b600091825261012f6020908152604080842073ffffffffffffffffffffffffffffffffffffffff93909316845291905290205460ff1690565b73ffffffffffffffffffffffffffffffffffffffff831661246f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8216612512576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff838116600081815260cc602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b610e93813361337b565b73ffffffffffffffffffffffffffffffffffffffff821661262d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360448201527f73000000000000000000000000000000000000000000000000000000000000006064820152608401610911565b6126398260008361340c565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260cb6020526040902054818110156126ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60448201527f63650000000000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8316600081815260cb60209081526040808320868603905560cd80548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505050565b60008061276a8585856134a3565b90508015610d1957604051838152339073ffffffffffffffffffffffffffffffffffffffff8716907f7c2b9369bf4a6bd9745889c658ad00a4d57e280c4c80fa1c74db2a9e52c136359060200160405180910390a3949350505050565b6127d1828261159a565b610e1157600082815261012f6020908152604080832073ffffffffffffffffffffffffffffffffffffffff85168452909152902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790556128353390565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16837f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45050565b61289d828261159a565b15610e1157600082815261012f6020908152604080832073ffffffffffffffffffffffffffffffffffffffff8516808552925280832080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016905551339285917ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b9190a45050565b61292e6134bc565b606680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a1565b73ffffffffffffffffffffffffffffffffffffffff821660009081526098602052604081205460ff16156129d957506000610b51565b73ffffffffffffffffffffffffffffffffffffffff83166000908152609860205260409081902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600117905551612a3590839061455a565b60405180910390208373ffffffffffffffffffffffffffffffffffffffff16612a5b3390565b73ffffffffffffffffffffffffffffffffffffffff167fe80aede59db0b770aef5e4bd04670759d38e64959d07a4343257a0a4f6b6d1ed85604051612aa09190613dc5565b60405180910390a450600192915050565b73ffffffffffffffffffffffffffffffffffffffff8216612b2e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610911565b612b3a6000838361340c565b8060cd6000828254612b4c9190614547565b909155505073ffffffffffffffffffffffffffffffffffffffff8216600081815260cb60209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000163003612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602d60248201527f4469726563742063616c6c20746f2074686520696d706c656d656e746174696f60448201527f6e206e6f7420616c6c6f776564000000000000000000000000000000000000006064820152608401610911565b565b73ffffffffffffffffffffffffffffffffffffffff821660009081526098602052604081205460ff16612cae57506000610b51565b73ffffffffffffffffffffffffffffffffffffffff83166000908152609860205260409081902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016905551612d0790839061455a565b60405180910390208373ffffffffffffffffffffffffffffffffffffffff16612d2d3390565b73ffffffffffffffffffffffffffffffffffffffff167f7a52fdbc4f3e9f93670cd35b5b9c2d974791d25c5c04984336a80be3f7f42c3285604051612aa09190613dc5565b6033546040517f7f4ab1dd00000000000000000000000000000000000000000000000000000000815260ff8316600482015260609173ffffffffffffffffffffffffffffffffffffffff1690637f4ab1dd90602401600060405180830381865afa158015612de4573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0168201604052610b519190810190614655565b612e32613528565b606680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586129793390565b73ffffffffffffffffffffffffffffffffffffffff8316612f28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff8216612fcb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610911565b612fd683838361340c565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260cb60205260409020548181101561308c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff808516600081815260cb602052604080822086860390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906130f99086815260200190565b60405180910390a35b50505050565b6033546040517fc6946a1200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8581166004830152848116602483015260448201849052600092169063c6946a1290606401602060405180830381865afa158015613188573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1991906146cc565b6033546040517fd4ce141500000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8581166004830152848116602483015260448201849052600092169063d4ce141590606401602060405180830381865afa15801561322c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1991906146ee565b600054610100900460ff166132e7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b6132ef613595565b6132f9878761362c565b613301613595565b613309613595565b6133116136dc565b613319613595565b6133228361379d565b61332b886138bf565b613333613595565b61333b613595565b613343613595565b61334d60126139de565b613355613595565b61335d613595565b61336985858484613aaa565b613371613595565b5050505050505050565b613385828261159a565b610e115761339281612132565b61339d836020612151565b6040516020016133ae92919061470b565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152908290527f08c379a000000000000000000000000000000000000000000000000000000000825261091191600401613dc5565b613417838383611c6b565b610d49576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602d60248201527f434d5441543a207472616e736665722072656a65637465642062792076616c6960448201527f646174696f6e206d6f64756c65000000000000000000000000000000000000006064820152608401610911565b6000336134b1858285613b74565b611049858585612e85565b60665460ff16612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f5061757361626c653a206e6f74207061757365640000000000000000000000006044820152606401610911565b60665460ff1615612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f5061757361626c653a20706175736564000000000000000000000000000000006044820152606401610911565b600054610100900460ff16612c77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b600054610100900460ff166136c3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b60ce6136cf838261438e565b5060cf610d49828261438e565b600054610100900460ff16613773576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b606680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055565b600054610100900460ff16613834576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff811615610e9357603380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f37213fe93a5aae50df0ef53f98b81c048e51b3ab2969309a103a647e44b6191890600090a250565b600054610100900460ff16613956576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b73ffffffffffffffffffffffffffffffffffffffff81166139d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f416464726573732030206e6f7420616c6c6f77656400000000000000000000006044820152606401610911565b610e936000826127c7565b600054610100900460ff16613a75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b6102c480547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660ff92909216919091179055565b600054610100900460ff16613b41576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610911565b610194613b4e858261438e565b50610195613b5c848261438e565b50610196613b6a838261438e565b5061019755505050565b73ffffffffffffffffffffffffffffffffffffffff838116600090815260cc60209081526040808320938616835292905220547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146131025781811015613c38576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610911565b61310284848484036123cd565b508054613c51906142ed565b6000825580601f10613c61575050565b601f016020900490600052602060002090810190610e9391905b80821115613c8f5760008155600101613c7b565b5090565b60008060008060608587031215613ca957600080fd5b84359350602085013567ffffffffffffffff80821115613cc857600080fd5b818701915087601f830112613cdc57600080fd5b813581811115613ceb57600080fd5b886020828501011115613cfd57600080fd5b95986020929092019750949560400135945092505050565b600060208284031215613d2757600080fd5b81357fffffffff0000000000000000000000000000000000000000000000000000000081168114610d1c57600080fd5b60005b83811015613d72578181015183820152602001613d5a565b50506000910152565b60008151808452613d93816020860160208601613d57565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b602081526000610d1c6020830184613d7b565b73ffffffffffffffffffffffffffffffffffffffff81168114610e9357600080fd5b80356112c081613dd8565b60008060408385031215613e1857600080fd5b8235613e2381613dd8565b946020939093013593505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff81118282101715613ea757613ea7613e31565b604052919050565b600067ffffffffffffffff821115613ec957613ec9613e31565b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b600082601f830112613f0657600080fd5b8135613f19613f1482613eaf565b613e60565b818152846020838601011115613f2e57600080fd5b816020850160208301376000918101602001919091529392505050565b600080600060608486031215613f6057600080fd5b8335613f6b81613dd8565b925060208401359150604084013567ffffffffffffffff811115613f8e57600080fd5b613f9a86828701613ef5565b9150509250925092565b600080600060608486031215613fb957600080fd5b8335613fc481613dd8565b92506020840135613fd481613dd8565b929592945050506040919091013590565b600060208284031215613ff757600080fd5b5035919050565b6000806040838503121561401157600080fd5b82359150602083013561402381613dd8565b809150509250929050565b6000806040838503121561404157600080fd5b823561404c81613dd8565b9150602083013567ffffffffffffffff81111561406857600080fd5b61407485828601613ef5565b9150509250929050565b60008060006060848603121561409357600080fd5b833561409e81613dd8565b95602085013595506040909401359392505050565b6000602082840312156140c557600080fd5b8135610d1c81613dd8565b6000602082840312156140e257600080fd5b813567ffffffffffffffff8111156140f957600080fd5b610ecc84828501613ef5565b60ff81168114610e9357600080fd5b60006020828403121561412657600080fd5b8135610d1c81614105565b6000806000806080858703121561414757600080fd5b843561415281613dd8565b9350602085013561416281613dd8565b925060408501359150606085013567ffffffffffffffff81111561418557600080fd5b61419187828801613ef5565b91505092959194509250565b6060815260006141b06060830186613d7b565b60208301949094525060400152919050565b600080600080600080600080610100898b0312156141df57600080fd5b6141e889613dfa565b9750602089013567ffffffffffffffff8082111561420557600080fd5b6142118c838d01613ef5565b985060408b013591508082111561422757600080fd5b6142338c838d01613ef5565b975060608b013591508082111561424957600080fd5b6142558c838d01613ef5565b965060808b013591508082111561426b57600080fd5b6142778c838d01613ef5565b955061428560a08c01613dfa565b945060c08b013591508082111561429b57600080fd5b506142a88b828c01613ef5565b92505060e089013590509295985092959890939650565b600080604083850312156142d257600080fd5b82356142dd81613dd8565b9150602083013561402381613dd8565b600181811c9082168061430157607f821691505b60208210810361433a577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b601f821115610d4957600081815260208120601f850160051c810160208610156143675750805b601f850160051c820191505b8181101561438657828155600101614373565b505050505050565b815167ffffffffffffffff8111156143a8576143a8613e31565b6143bc816143b684546142ed565b84614340565b602080601f83116001811461440f57600084156143d95750858301515b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600386901b1c1916600185901b178555614386565b6000858152602081207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08616915b8281101561445c5788860151825594840194600190910190840161443d565b508582101561449857878501517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600388901b60f8161c191681555b5050505050600190811b01905550565b6040815282604082015282846060830137600060608483010152600060607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8601168301019050826020830152949350505050565b828152604060208201526000610d196040830184613d7b565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b80820180821115610b5157610b51614518565b6000825161456c818460208701613d57565b9190910192915050565b81810381811115610b5157610b51614518565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b6040815260006145fa6040830185613d7b565b90508260208301529392505050565b8082028115828204841417610b5157610b51614518565b60008161462f5761462f614518565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b60006020828403121561466757600080fd5b815167ffffffffffffffff81111561467e57600080fd5b8201601f8101841361468f57600080fd5b805161469d613f1482613eaf565b8181528560208385010111156146b257600080fd5b6146c3826020830160208601613d57565b95945050505050565b6000602082840312156146de57600080fd5b81518015158114610d1c57600080fd5b60006020828403121561470057600080fd5b8151610d1c81614105565b7f416363657373436f6e74726f6c3a206163636f756e7420000000000000000000815260008351614743816017850160208801613d57565b7f206973206d697373696e6720726f6c65200000000000000000000000000000006017918401918201528351614780816028840160208801613d57565b0160280194935050505056fea26469706673582212209e000875238d99c931c211c63c539088feb5d9b29bafa99877195a308b4b79eb64736f6c63430008110033496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206900000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000180000000000000000000000000dac87349d8afd2989515deadb3692bb8edf749c4000000000000000000000000dac87349d8afd2989515deadb3692bb8edf749c400000000000000000000000000000000000000000000000000000000000001c00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000e7884738e60967e5d35882a4bceb2d6bc843b61e00000000000000000000000000000000000000000000000000000000000002400000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000002a55425320555344204d6f6e6579204d61726b657420496e766573746d656e742046756e6420546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005754d494e54000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c5347585a383933383634383600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005424c414e4b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019436c6173732041542d6163632028555344292053686172657300000000000000","name":"CMTAT_EVCC","is_blueprint":false,"license_type":"none","is_fully_verified":false,"is_verified_via_eth_bytecode_db":false,"language":"solidity","evm_version":"london","can_be_visualized_via_sol2uml":true,"is_verified_via_sourcify":false,"additional_sources":[{"file_path":"contracts/CMTAT_BASE_SHORTENED.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\n// required OZ imports here\nimport \"../lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol\";\n\nimport \"../lib/CMTAT/contracts/modules/wrapper/mandatory/BaseModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/mandatory/BurnModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/mandatory/MintModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/mandatory/EnforcementModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/mandatory/ERC20BaseModule.sol\";\n/*\nSnapshotModule:\nAdd this import in case you add the SnapshotModule\nimport \"../lib/CMTAT/contracts/modules/wrapper/optional/SnapshotModule.sol\";\n*/\nimport \"../lib/CMTAT/contracts/modules/wrapper/mandatory/PauseModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/optional/ValidationModule.sol\";\n/*\nimport \"../lib/CMTAT/contracts/modules/wrapper/optional/MetaTxModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/optional/DebtModule/DebtBaseModule.sol\";\nimport \"../lib/CMTAT/contracts/modules/wrapper/optional/DebtModule/CreditEventsModule.sol\";\n*/\nimport \"../lib/CMTAT/contracts/modules/security/AuthorizationModule.sol\";\nimport \"../lib/CMTAT/contracts/interfaces/IEIP1404/IEIP1404Wrapper.sol\";\n\n/** @dev SHORTENED IMPLEMENTATION NECESSARY to bring contract size below limit introduced in \"Spurious Dragon\" for high level of runs enabled in optimizer */\n\nabstract contract CMTAT_BASE_SHORTENED is\n    Initializable,\n    ContextUpgradeable,\n    BaseModule,\n    PauseModule,\n    MintModule,\n    BurnModule,\n    EnforcementModule,\n    ValidationModule,\n    ERC20BaseModule\n{\n    /**\n    @notice \n    initialize the proxy contract\n    The calls to this function will revert if the contract was deployed without a proxy\n    */\n    function initialize(\n        address admin,\n        string memory nameIrrevocable,\n        string memory symbolIrrevocable,\n        string memory tokenId_,\n        string memory terms_,\n        IEIP1404Wrapper ruleEngine_,\n        string memory information_,\n        uint256 flag_\n    ) public initializer {\n        __CMTAT_init(\n            admin,\n            nameIrrevocable,\n            symbolIrrevocable,\n            tokenId_,\n            terms_,\n            ruleEngine_,\n            information_,\n            flag_\n        );\n    }\n\n    /**\n    @dev calls the different initialize functions from the different modules\n    */\n    function __CMTAT_init(\n        address admin,\n        string memory nameIrrevocable,\n        string memory symbolIrrevocable,\n        string memory tokenId_,\n        string memory terms_,\n        IEIP1404Wrapper ruleEngine_,\n        string memory information_,\n        uint256 flag_\n    ) internal onlyInitializing {\n        /* OpenZeppelin library */\n        // OZ init_unchained functions are called firstly due to inheritance\n        __Context_init_unchained();\n        __ERC20_init_unchained(nameIrrevocable, symbolIrrevocable);\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        // AuthorizationModule inherits from AccessControlUpgradeable\n        __AccessControl_init_unchained();\n        __Pausable_init_unchained();\n\n        /* Internal Modules */\n        __Enforcement_init_unchained();\n        /*\n        SnapshotModule:\n        Add this call in case you add the SnapshotModule\n        __Snapshot_init_unchained();\n        */\n        __Validation_init_unchained(ruleEngine_);\n\n        /* Wrapper */\n        // AuthorizationModule_init_unchained is called firstly due to inheritance\n        __AuthorizationModule_init_unchained(admin);\n        __BurnModule_init_unchained();\n        __MintModule_init_unchained();\n        // EnforcementModule_init_unchained is called before ValidationModule_init_unchained due to inheritance\n        __EnforcementModule_init_unchained();\n        __ERC20Module_init_unchained(18);\n        // PauseModule_init_unchained is called before ValidationModule_init_unchained due to inheritance\n        __PauseModule_init_unchained();\n        __ValidationModule_init_unchained();\n\n        /*\n        SnapshotModule:\n        Add this call in case you add the SnapshotModule\n        __SnasphotModule_init_unchained();\n        */\n\n        /* Other modules \n        __DebtBaseModule_init_unchained();\n        __CreditEvents_init_unchained();\n        */\n        __Base_init_unchained(tokenId_, terms_, information_, flag_);\n\n        /* own function */\n        __CMTAT_init_unchained();\n    }\n\n    function __CMTAT_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /**\n    @notice Returns the number of decimals used to get its user representation.\n    */\n    function decimals()\n        public\n        view\n        virtual\n        override(ERC20Upgradeable, ERC20BaseModule)\n        returns (uint8)\n    {\n        return ERC20BaseModule.decimals();\n    }\n\n    function transferFrom(\n        address sender,\n        address recipient,\n        uint256 amount\n    )\n        public\n        virtual\n        override(ERC20Upgradeable, ERC20BaseModule)\n        returns (bool)\n    {\n        return ERC20BaseModule.transferFrom(sender, recipient, amount);\n    }\n\n    /*\n    @dev \n    SnapshotModule:\n    - override SnapshotModuleInternal if you add the SnapshotModule\n    e.g. override(SnapshotModuleInternal, ERC20Upgradeable)\n    - remove the keyword view\n    */\n    function _beforeTokenTransfer(\n        address from,\n        address to,\n        uint256 amount\n    ) internal view override(ERC20Upgradeable) {\n        require(\n            ValidationModule.validateTransfer(from, to, amount),\n            \"CMTAT: transfer rejected by validation module\"\n        );\n        // We call the SnapshotModule only if the transfer is valid\n        /*\n        SnapshotModule:\n        Add this call in case you add the SnapshotModule\n        SnapshotModuleInternal._beforeTokenTransfer(from, to, amount);\n        */\n    }\n\n    /** \n    @dev This surcharge is not necessary if you do not use the MetaTxModule\n    function _msgSender()\n        internal\n        view\n        override(MetaTxModule, ContextUpgradeable)\n        returns (address sender)\n    {\n        return MetaTxModule._msgSender();\n    }\n    */\n\n    /** \n    @dev This surcharge is not necessary if you do not use the MetaTxModule\n    function _msgData()\n        internal\n        view\n        override(MetaTxModule, ContextUpgradeable)\n        returns (bytes calldata)\n    {\n        return MetaTxModule._msgData();\n    }\n    */\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"contracts/interfaces/IERC1643.sol","source_code":"// SPDX-License-Identifier: Apache-2.0\npragma solidity ^0.8.0;\n\n/// @title IERC1643 Document Management (part of the ERC1400 Security Token Standards)\n/// @dev See https://github.com/SecurityTokenStandard/EIP-Spec\n\ninterface IERC1643 {\n\n    // Document Management\n    function getDocument(bytes32 _name) external view returns (string memory, bytes32, uint256);\n    function setDocument(bytes32 _name, string memory _uri, bytes32 _documentHash) external;\n    function removeDocument(bytes32 _name) external;\n    // function getAllDocuments() external view returns (bytes32[] memory);\n\n    // Document Events\n    event DocumentRemoved(bytes32 indexed name, string uri, bytes32 documentHash);\n    event DocumentUpdated(bytes32 indexed name, string uri, bytes32 documentHash);\n\n}\n"},{"file_path":"contracts/interfaces/iSIXOracle.sol","source_code":"// SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\n/**\n@title Interface for SIX oracle\n*/\ninterface SIXOracle {\n    function getPrice(\n        string memory isin,\n        string memory currency,\n        uint expiration,\n        uint16 priceType\n    ) external view returns (uint256, uint8);\n}\n"},{"file_path":"lib/CMTAT/contracts/interfaces/IEIP1404/IEIP1404.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.0;\n\n/*\n@dev Contrary to the EIP-1404, this interface does not inherit from the ERC20 interface\n*/\ninterface IEIP1404 {\n    /**\n     * @dev See ERC/EIP-1404\n     *\n     */\n    function detectTransferRestriction(\n        address _from,\n        address _to,\n        uint256 _amount\n    ) external view returns (uint8);\n\n    /**\n     * @dev See ERC/EIP-1404\n     *\n     */\n    function messageForTransferRestriction(\n        uint8 _restrictionCode\n    ) external view returns (string memory);\n}\n"},{"file_path":"lib/CMTAT/contracts/interfaces/IEIP1404/IEIP1404Wrapper.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.0;\n\nimport \"./IEIP1404.sol\";\n\ninterface IEIP1404Wrapper is IEIP1404 {\n    /* \n    @dev leave the code 4-9 free/unused for further additions in your ruleEngine implementation\n    */\n    enum REJECTED_CODE_BASE {\n        TRANSFER_OK,\n        TRANSFER_REJECTED_PAUSED,\n        TRANSFER_REJECTED_FROM_FROZEN,\n        TRANSFER_REJECTED_TO_FROZEN\n    }\n\n    /**\n     * @dev Returns true if the transfer is valid, and false otherwise.\n     */\n    function validateTransfer(\n        address _from,\n        address _to,\n        uint256 _amount\n    ) external view returns (bool isValid);\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/internal/EnforcementModuleInternal.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol\";\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/token/ERC20/ERC20Upgradeable.sol\";\n\n/**\n * @dev Enforcement module.\n *\n * Allows the issuer to freeze transfers from a given address\n */\nabstract contract EnforcementModuleInternal is\n    Initializable,\n    ContextUpgradeable\n{\n    /**\n     * @notice Emitted when an address is frozen.\n     */\n    event Freeze(\n        address indexed enforcer,\n        address indexed owner,\n        string indexed reasonIndexed,\n        string reason\n    );\n\n    /**\n     * @notice Emitted when an address is unfrozen.\n     */\n    event Unfreeze(\n        address indexed enforcer,\n        address indexed owner,\n        string indexed reasonIndexed,\n        string reason\n    );\n\n    mapping(address => bool) private _frozen;\n\n    /**\n     * @dev Initializes the contract\n     */\n    function __Enforcement_init() internal onlyInitializing {\n        __Context_init_unchained();\n        __Enforcement_init_unchained();\n    }\n\n    function __Enforcement_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /**\n     * @dev Returns true if the account is frozen, and false otherwise.\n     */\n    function frozen(address account) public view virtual returns (bool) {\n        return _frozen[account];\n    }\n\n    /**\n     * @dev Freezes an address.\n     * @param account the account to freeze\n     * @param reason indicate why the account was frozen.\n     *\n     */\n    function _freeze(\n        address account,\n        string memory reason\n    ) internal virtual returns (bool) {\n        if (_frozen[account]) return false;\n        _frozen[account] = true;\n        emit Freeze(_msgSender(), account, reason, reason);\n        return true;\n    }\n\n    /**\n     * @dev Unfreezes an address.\n     * @param account the account to unfreeze\n     * @param reason indicate why the account was unfrozen.\n     */\n    function _unfreeze(\n        address account,\n        string memory reason\n    ) internal virtual returns (bool) {\n        if (!_frozen[account]) return false;\n        _frozen[account] = false;\n        emit Unfreeze(_msgSender(), account, reason, reason);\n\n        return true;\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/internal/ValidationModuleInternal.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol\";\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../interfaces/IEIP1404/IEIP1404Wrapper.sol\";\n\n/**\n * @dev Validation module.\n *\n * Useful for to restrict and validate transfers\n */\nabstract contract ValidationModuleInternal is\n    Initializable,\n    ContextUpgradeable\n{\n    /**\n     * @dev Emitted when a rule engine is set.\n     */\n    event RuleEngine(IEIP1404Wrapper indexed newRuleEngine);\n\n    IEIP1404Wrapper public ruleEngine;\n\n    /**\n     * @dev Initializes the contract with rule engine.\n     */\n    function __Validation_init(\n        IEIP1404Wrapper ruleEngine_\n    ) internal onlyInitializing {\n        __Context_init_unchained();\n        __Validation_init_unchained(ruleEngine_);\n    }\n\n    function __Validation_init_unchained(\n        IEIP1404Wrapper ruleEngine_\n    ) internal onlyInitializing {\n        if (address(ruleEngine_) != address(0)) {\n            ruleEngine = ruleEngine_;\n            emit RuleEngine(ruleEngine);\n        }\n    }\n\n    /**\n    @dev before making a call to this function, you have to check if a ruleEngine is set.\n    */\n    function _validateTransfer(\n        address from,\n        address to,\n        uint256 amount\n    ) internal view returns (bool) {\n        return ruleEngine.validateTransfer(from, to, amount);\n    }\n\n    /**\n    @dev before making a call to this function, you have to check if a ruleEngine is set.\n    */\n    function _messageForTransferRestriction(\n        uint8 restrictionCode\n    ) internal view returns (string memory) {\n        return ruleEngine.messageForTransferRestriction(restrictionCode);\n    }\n\n    /**\n    @dev before making a call to this function, you have to check if a ruleEngine is set.\n    */\n    function _detectTransferRestriction(\n        address from,\n        address to,\n        uint256 amount\n    ) internal view returns (uint8) {\n        return ruleEngine.detectTransferRestriction(from, to, amount);\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/security/AuthorizationModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol\";\nimport \"../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\n\nabstract contract AuthorizationModule is AccessControlUpgradeable {\n    // BurnModule\n    bytes32 public constant BURNER_ROLE = keccak256(\"BURNER_ROLE\");\n    // EnforcementModule\n    bytes32 public constant ENFORCER_ROLE = keccak256(\"ENFORCER_ROLE\");\n    // MintModule\n    bytes32 public constant MINTER_ROLE = keccak256(\"MINTER_ROLE\");\n    // PauseModule\n    bytes32 public constant PAUSER_ROLE = keccak256(\"PAUSER_ROLE\");\n    // SnapshotModule\n    bytes32 public constant SNAPSHOOTER_ROLE = keccak256(\"SNAPSHOOTER_ROLE\");\n    // DebtModule\n    bytes32 public constant DEBT_ROLE = keccak256(\"DEBT_ROLE\");\n    // CreditEvents\n    bytes32 public constant DEBT_CREDIT_EVENT_ROLE =\n        keccak256(\"DEBT_CREDIT_EVENT_ROLE\");\n\n    function __AuthorizationModule_init(\n        address admin\n    ) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        __AccessControl_init_unchained();\n\n        /* own function */\n        __AuthorizationModule_init_unchained(admin);\n    }\n\n    /**\n     * @dev Grants the different roles to the\n     * account that deploys the contract.\n     *\n     */\n    function __AuthorizationModule_init_unchained(\n        address admin\n    ) internal onlyInitializing {\n        require(admin != address(0), \"Address 0 not allowed\");\n        _grantRole(DEFAULT_ADMIN_ROLE, admin);\n    }\n\n    /*\n     * @dev Returns `true` if `account` has been granted `role`.\n     */\n    function hasRole(\n        bytes32 role,\n        address account\n    ) public view virtual override returns (bool) {\n        // The Default Admin has all roles\n        if (AccessControlUpgradeable.hasRole(DEFAULT_ADMIN_ROLE, account)) {\n            return true;\n        }\n        return AccessControlUpgradeable.hasRole(role, account);\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/security/OnlyDelegateCallModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\n/**\n@dev When a contract is deployed with a proxy, insure that some functions (e.g. delegatecall and selfdestruct) can only be triggered through proxies \nand not on the implementation contract itself.\n*/\nabstract contract OnlyDelegateCallModule {\n    /// @custom:oz-upgrades-unsafe-allow state-variable-immutable state-variable-assignment\n    address private immutable self = address(this);\n\n    function checkDelegateCall() private view {\n        require(\n            address(this) != self,\n            \"Direct call to the implementation not allowed\"\n        );\n    }\n\n    modifier onlyDelegateCall(bool deployedWithProxy) {\n        if (deployedWithProxy) {\n            checkDelegateCall();\n        }\n        _;\n    }\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/mandatory/PauseModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/security/PausableUpgradeable.sol\";\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../security/AuthorizationModule.sol\";\n\n/**\n * @dev ERC20 token with pausable token transfers, minting and burning.\n *\n * Useful for scenarios such as preventing trades until the end of an evaluation\n * period, or having an emergency switch for freezing all token transfers in the\n * event of a large bug.\n */\nabstract contract PauseModule is PausableUpgradeable, AuthorizationModule {\n    string internal constant TEXT_TRANSFER_REJECTED_PAUSED =\n        \"All transfers paused\";\n\n    function __PauseModule_init(address admin) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        __Pausable_init_unchained();\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        // AuthorizationModule inherits from AccessControlUpgradeable\n        __AccessControl_init_unchained();\n\n        /* CMTAT modules */\n        // Security\n        __AuthorizationModule_init_unchained(admin);\n\n        // own function\n        __PauseModule_init_unchained();\n    }\n\n    function __PauseModule_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /**\n     * @dev Pauses all token transfers.\n     *\n     * See {ERC20Pausable} and {Pausable-_pause}.\n     *\n     * Requirements:\n     *\n     * - the caller must have the `PAUSER_ROLE`.\n     */\n    function pause() public onlyRole(PAUSER_ROLE) {\n        _pause();\n    }\n\n    /**\n     * @dev Unpauses all token transfers.\n     *\n     * See {ERC20Pausable} and {Pausable-_unpause}.\n     *\n     * Requirements:\n     *\n     * - the caller must have the `PAUSER_ROLE`.\n     */\n    function unpause() public onlyRole(PAUSER_ROLE) {\n        _unpause();\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/mandatory/BaseModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\n// required OZ imports here\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../security/AuthorizationModule.sol\";\nimport \"../../security/OnlyDelegateCallModule.sol\";\n\nabstract contract BaseModule is AuthorizationModule, OnlyDelegateCallModule {\n    // to initialize inside the implementation constructor when deployed with a Proxy\n    bool internal deployedWithProxy;\n    /* Events */\n    event Term(string indexed newTermIndexed, string newTerm);\n    event TokenId(string indexed newTokenIdIndexed, string newTokenId);\n    event Information(\n        string indexed newInformationIndexed,\n        string newInformation\n    );\n    event Flag(uint256 indexed newFlag);\n\n    /* Variables */\n    string public tokenId;\n    string public terms;\n    string public information;\n    uint256 public flag;\n\n    /* Initializers */\n    /**\n     * @dev Sets the values for {name} and {symbol}.\n     *\n     * All two of these values are immutable: they can only be set once during\n     * construction.\n     */\n    function __Base_init(\n        string memory tokenId_,\n        string memory terms_,\n        string memory information_,\n        uint256 flag_,\n        address admin\n    ) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        // AuthorizationModule inherits from AccessControlUpgradeable\n        __AccessControl_init_unchained();\n\n        /* CMTAT modules */\n        // Security\n        __AuthorizationModule_init_unchained(admin);\n\n        // own function\n        __Base_init_unchained(tokenId_, terms_, information_, flag_);\n    }\n\n    function __Base_init_unchained(\n        string memory tokenId_,\n        string memory terms_,\n        string memory information_,\n        uint256 flag_\n    ) internal onlyInitializing {\n        tokenId = tokenId_;\n        terms = terms_;\n        information = information_;\n        flag = flag_;\n    }\n\n    /* Methods */\n    /*\n    @notice the tokenId will be changed even if the new value is the same as the current one\n    */\n    function setTokenId(\n        string memory tokenId_\n    ) public onlyRole(DEFAULT_ADMIN_ROLE) {\n        tokenId = tokenId_;\n        emit TokenId(tokenId_, tokenId_);\n    }\n\n    /*\n    @notice The terms will be changed even if the new value is the same as the current one\n    */\n    function setTerms(\n        string memory terms_\n    ) public onlyRole(DEFAULT_ADMIN_ROLE) {\n        terms = terms_;\n        emit Term(terms_, terms_);\n    }\n\n    /*\n    @notice The information will be changed even if the new value is the same as the current one\n    */\n    function setInformation(\n        string memory information_\n    ) public onlyRole(DEFAULT_ADMIN_ROLE) {\n        information = information_;\n        emit Information(information_, information_);\n    }\n\n    /*\n    @notice The call will be reverted if the new value of flag is the same as the current one\n    */\n    function setFlag(uint256 flag_) public onlyRole(DEFAULT_ADMIN_ROLE) {\n        require(flag != flag_, \"Same value\");\n        flag = flag_;\n        emit Flag(flag_);\n    }\n\n    /**\n    @notice destroys the contract and send the remaining ethers in the contract to the sender\n    Warning: the operation is irreversible, be careful\n    */\n    /// @custom:oz-upgrades-unsafe-allow selfdestruct\n    function kill()\n        public\n        onlyRole(DEFAULT_ADMIN_ROLE)\n        onlyDelegateCall(deployedWithProxy)\n    {\n        selfdestruct(payable(_msgSender()));\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/mandatory/BurnModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/token/ERC20/ERC20Upgradeable.sol\";\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../security/AuthorizationModule.sol\";\n\nabstract contract BurnModule is ERC20Upgradeable, AuthorizationModule {\n    event Burn(address indexed owner, uint256 amount, string reason);\n\n    function __BurnModule_init(\n        string memory name_,\n        string memory symbol_,\n        address admin\n    ) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        __ERC20_init_unchained(name_, symbol_);\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        // AuthorizationModule inherits from AccessControlUpgradeable\n        __AccessControl_init_unchained();\n\n        /* CMTAT modules */\n        // Security\n        __AuthorizationModule_init_unchained(admin);\n\n        // own function\n        __BurnModule_init_unchained();\n    }\n\n    function __BurnModule_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /**\n     * @dev Destroys `amount` tokens from `account`\n     *\n     * See {ERC20-_burn}\n     */\n    function forceBurn(\n        address account,\n        uint256 amount,\n        string memory reason\n    ) public onlyRole(BURNER_ROLE) {\n        _burn(account, amount);\n        emit Burn(account, amount, reason);\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/mandatory/ERC20BaseModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\n// required OZ imports here\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/token/ERC20/ERC20Upgradeable.sol\";\n\nabstract contract ERC20BaseModule is ERC20Upgradeable {\n    /* Events */\n    event Spend(address indexed owner, address indexed spender, uint256 amount);\n\n    /* Variables */\n    uint8 private _decimals;\n\n    /* Initializers */\n    /**\n     * @dev Sets the values for {name} and {symbol}.\n     *\n     * All two of these values are immutable: they can only be set once during\n     * construction.\n     */\n    function __ERC20Module_init(\n        string memory name_,\n        string memory symbol_,\n        uint8 decimals_\n    ) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        __ERC20_init(name_, symbol_);\n\n        /* own function */\n        __ERC20Module_init_unchained(decimals_);\n    }\n\n    function __ERC20Module_init_unchained(\n        uint8 decimals_\n    ) internal onlyInitializing {\n        _decimals = decimals_;\n    }\n\n    /* Methods */\n    /**\n     * @notice Returns the number of decimals used to get its user representation.\n     * @dev\n     * For example, if `decimals` equals `2`, a balance of `505` tokens should\n     * be displayed to a user as `5,05` (`505 / 10 ** 2`).\n     *\n     * Tokens usually opt for a value of 18, imitating the relationship between\n     * Ether and Wei. This is the value {ERC20} uses, unless this function is\n     * overridden;\n     *\n     * NOTE: This information is only used for _display_ purposes: it in\n     * no way affects any of the arithmetic of the contract, including\n     * {IERC20-balanceOf} and {IERC20-transfer}.\n     */\n    function decimals() public view virtual override returns (uint8) {\n        return _decimals;\n    }\n\n    /**\n     * @dev See {IERC20-transferFrom}.\n     *\n     * Emits an {Approval} event indicating the updated allowance. This is not\n     * required by the EIP. See the note at the beginning of {ERC20}.\n     *\n     * Requirements:\n     *\n     * - `sender` and `recipient` cannot be the zero address.\n     * - `sender` must have a balance of at least `amount`.\n     * - the caller must have allowance for ``sender``'s tokens of at least\n     * `amount`.\n     */\n    function transferFrom(\n        address sender,\n        address recipient,\n        uint256 amount\n    ) public virtual override returns (bool) {\n        bool result = super.transferFrom(sender, recipient, amount);\n        // The result will be normally always true because OpenZeppelin uses require to check all the conditions.\n        if (result) {\n            emit Spend(sender, _msgSender(), amount);\n        }\n\n        return result;\n    }\n\n    /**\n     * @dev See {IERC20-approve}.\n     *\n     * Requirements:\n     *\n     * - `spender` cannot be the zero address.\n     */\n    function approve(\n        address spender,\n        uint256 amount,\n        uint256 currentAllowance\n    ) public virtual returns (bool) {\n        require(\n            allowance(_msgSender(), spender) == currentAllowance,\n            \"CMTAT: current allowance is not right\"\n        );\n        super.approve(spender, amount);\n        return true;\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/mandatory/EnforcementModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/security/PausableUpgradeable.sol\";\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../security/AuthorizationModule.sol\";\nimport \"../../internal/EnforcementModuleInternal.sol\";\n\n/**\n * @dev Enforcement module.\n *\n * Allows the issuer to freeze transfers from a given address\n */\nabstract contract EnforcementModule is\n    EnforcementModuleInternal,\n    AuthorizationModule\n{\n    string internal constant TEXT_TRANSFER_REJECTED_FROM_FROZEN =\n        \"The address FROM is frozen\";\n\n    string internal constant TEXT_TRANSFER_REJECTED_TO_FROZEN =\n        \"The address TO is frozen\";\n\n    function __EnforcementModule_init(address admin) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        // AuthorizationModule inherits from AccessControlUpgradeable\n        __AccessControl_init_unchained();\n\n        /* CMTAT modules */\n        // Internal\n        __Enforcement_init_unchained();\n\n        // Security\n        __AuthorizationModule_init_unchained(admin);\n\n        // own function\n        __EnforcementModule_init_unchained();\n    }\n\n    function __EnforcementModule_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /**\n     * @notice Freezes an address.\n     * @param account the account to freeze\n     * @param reason indicate why the account was frozen.\n     */\n    function freeze(\n        address account,\n        string memory reason\n    ) public onlyRole(ENFORCER_ROLE) returns (bool) {\n        return _freeze(account, reason);\n    }\n\n    /**\n     * @notice Unfreezes an address.\n     * @param account the account to unfreeze\n     * @param reason indicate why the account was unfrozen.\n     *\n     *\n     */\n    function unfreeze(\n        address account,\n        string memory reason\n    ) public onlyRole(ENFORCER_ROLE) returns (bool) {\n        return _unfreeze(account, reason);\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/mandatory/MintModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/token/ERC20/ERC20Upgradeable.sol\";\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../security/AuthorizationModule.sol\";\n\nabstract contract MintModule is ERC20Upgradeable, AuthorizationModule {\n    event Mint(address indexed beneficiary, uint256 amount);\n\n    function __MintModule_init(\n        string memory name_,\n        string memory symbol_,\n        address admin\n    ) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        __ERC20_init_unchained(name_, symbol_);\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        // AuthorizationModule inherits from AccessControlUpgradeable\n        __AccessControl_init_unchained();\n\n        /* CMTAT modules */\n        // Security\n        __AuthorizationModule_init_unchained(admin);\n\n        // own function\n        __MintModule_init_unchained();\n    }\n\n    function __MintModule_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /**\n     * @dev Creates `amount` new tokens for `to`.\n     *\n     * See {ERC20-_mint}.\n     *\n     * Requirements:\n     *\n     * - the caller must have the `MINTER_ROLE`.\n     */\n    function mint(address to, uint256 amount) public onlyRole(MINTER_ROLE) {\n        _mint(to, amount);\n        emit Mint(to, amount);\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/contracts/modules/wrapper/optional/ValidationModule.sol","source_code":"//SPDX-License-Identifier: MPL-2.0\n\npragma solidity ^0.8.17;\n\nimport \"../../../../openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"../../security/AuthorizationModule.sol\";\nimport \"../../internal/ValidationModuleInternal.sol\";\nimport \"../mandatory/PauseModule.sol\";\nimport \"../mandatory/EnforcementModule.sol\";\n\n/**\n * @dev Validation module.\n *\n * Useful for to restrict and validate transfers\n */\nabstract contract ValidationModule is\n    ValidationModuleInternal,\n    PauseModule,\n    EnforcementModule,\n    IEIP1404Wrapper\n{\n    string constant TEXT_TRANSFER_OK = \"No restriction\";\n    string constant TEXT_UNKNOWN_CODE = \"Unknown code\";\n\n    function __ValidationModule_init(\n        IEIP1404Wrapper ruleEngine_,\n        address admin\n    ) internal onlyInitializing {\n        /* OpenZeppelin */\n        __Context_init_unchained();\n        // AccessControlUpgradeable inherits from ERC165Upgradeable\n        __ERC165_init_unchained();\n        __AccessControl_init_unchained();\n        __Pausable_init_unchained();\n\n        /* CMTAT modules */\n        // Internal\n        __Validation_init_unchained(ruleEngine_);\n\n        // Security\n        __AuthorizationModule_init_unchained(admin);\n\n        // Wrapper\n        __PauseModule_init_unchained();\n        __EnforcementModule_init_unchained();\n\n        // own function\n        __ValidationModule_init_unchained();\n    }\n\n    function __ValidationModule_init_unchained() internal onlyInitializing {\n        // no variable to initialize\n    }\n\n    /*\n    @notice set a RuleEngine\n    @param ruleEngine_ the call will be reverted if the new value of ruleEngine is the same as the current one\n    */\n    function setRuleEngine(\n        IEIP1404Wrapper ruleEngine_\n    ) external onlyRole(DEFAULT_ADMIN_ROLE) {\n        require(ruleEngine != ruleEngine_, \"Same value\");\n        ruleEngine = ruleEngine_;\n        emit RuleEngine(ruleEngine_);\n    }\n\n    /**\n     * @dev ERC1404 check if _value token can be transferred from _from to _to\n     * @param from address The address which you want to send tokens from\n     * @param to address The address which you want to transfer to\n     * @param amount uint256 the amount of tokens to be transferred\n     * @return code of the rejection reason\n     */\n    function detectTransferRestriction(\n        address from,\n        address to,\n        uint256 amount\n    ) public view override returns (uint8 code) {\n        if (paused()) {\n            return uint8(REJECTED_CODE_BASE.TRANSFER_REJECTED_PAUSED);\n        } else if (frozen(from)) {\n            return uint8(REJECTED_CODE_BASE.TRANSFER_REJECTED_FROM_FROZEN);\n        } else if (frozen(to)) {\n            return uint8(REJECTED_CODE_BASE.TRANSFER_REJECTED_TO_FROZEN);\n        } else if (address(ruleEngine) != address(0)) {\n            return _detectTransferRestriction(from, to, amount);\n        } else {\n            return uint8(REJECTED_CODE_BASE.TRANSFER_OK);\n        }\n    }\n\n    /**\n     * @dev ERC1404 returns the human readable explaination corresponding to the error code returned by detectTransferRestriction\n     * @param restrictionCode The error code returned by detectTransferRestriction\n     * @return message The human readable explaination corresponding to the error code returned by detectTransferRestriction\n     */\n    function messageForTransferRestriction(\n        uint8 restrictionCode\n    ) external view override returns (string memory message) {\n        if (restrictionCode == uint8(REJECTED_CODE_BASE.TRANSFER_OK)) {\n            return TEXT_TRANSFER_OK;\n        } else if (\n            restrictionCode ==\n            uint8(REJECTED_CODE_BASE.TRANSFER_REJECTED_PAUSED)\n        ) {\n            return TEXT_TRANSFER_REJECTED_PAUSED;\n        } else if (\n            restrictionCode ==\n            uint8(REJECTED_CODE_BASE.TRANSFER_REJECTED_FROM_FROZEN)\n        ) {\n            return TEXT_TRANSFER_REJECTED_FROM_FROZEN;\n        } else if (\n            restrictionCode ==\n            uint8(REJECTED_CODE_BASE.TRANSFER_REJECTED_TO_FROZEN)\n        ) {\n            return TEXT_TRANSFER_REJECTED_TO_FROZEN;\n        } else if (address(ruleEngine) != address(0)) {\n            return _messageForTransferRestriction(restrictionCode);\n        } else {\n            return TEXT_UNKNOWN_CODE;\n        }\n    }\n\n    function validateTransfer(\n        address from,\n        address to,\n        uint256 amount\n    ) public view override returns (bool) {\n        if (paused() || frozen(from) || frozen(to)) {\n            return false;\n        }\n        if (address(ruleEngine) != address(0)) {\n            return _validateTransfer(from, to, amount);\n        }\n        return true;\n    }\n\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (access/AccessControl.sol)\n\npragma solidity ^0.8.0;\n\nimport \"./IAccessControlUpgradeable.sol\";\nimport \"../utils/ContextUpgradeable.sol\";\nimport \"../utils/StringsUpgradeable.sol\";\nimport \"../utils/introspection/ERC165Upgradeable.sol\";\nimport \"../proxy/utils/Initializable.sol\";\n\n/**\n * @dev Contract module that allows children to implement role-based access\n * control mechanisms. This is a lightweight version that doesn't allow enumerating role\n * members except through off-chain means by accessing the contract event logs. Some\n * applications may benefit from on-chain enumerability, for those cases see\n * {AccessControlEnumerable}.\n *\n * Roles are referred to by their `bytes32` identifier. These should be exposed\n * in the external API and be unique. The best way to achieve this is by\n * using `public constant` hash digests:\n *\n * ```\n * bytes32 public constant MY_ROLE = keccak256(\"MY_ROLE\");\n * ```\n *\n * Roles can be used to represent a set of permissions. To restrict access to a\n * function call, use {hasRole}:\n *\n * ```\n * function foo() public {\n *     require(hasRole(MY_ROLE, msg.sender));\n *     ...\n * }\n * ```\n *\n * Roles can be granted and revoked dynamically via the {grantRole} and\n * {revokeRole} functions. Each role has an associated admin role, and only\n * accounts that have a role's admin role can call {grantRole} and {revokeRole}.\n *\n * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means\n * that only accounts with this role will be able to grant or revoke other\n * roles. More complex role relationships can be created by using\n * {_setRoleAdmin}.\n *\n * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to\n * grant and revoke this role. Extra precautions should be taken to secure\n * accounts that have been granted it.\n */\nabstract contract AccessControlUpgradeable is Initializable, ContextUpgradeable, IAccessControlUpgradeable, ERC165Upgradeable {\n    function __AccessControl_init() internal onlyInitializing {\n    }\n\n    function __AccessControl_init_unchained() internal onlyInitializing {\n    }\n    struct RoleData {\n        mapping(address => bool) members;\n        bytes32 adminRole;\n    }\n\n    mapping(bytes32 => RoleData) private _roles;\n\n    bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00;\n\n\n    /**\n     * @dev Modifier that checks that an account has a specific role. Reverts\n     * with a standardized message including the required role.\n     *\n     * The format of the revert reason is given by the following regular expression:\n     *\n     *  /^AccessControl: account (0x[0-9a-f]{40}) is missing role (0x[0-9a-f]{64})$/\n     *\n     * _Available since v4.1._\n     */\n    modifier onlyRole(bytes32 role) {\n        _checkRole(role);\n        _;\n    }\n\n    /**\n     * @dev See {IERC165-supportsInterface}.\n     */\n    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {\n        return interfaceId == type(IAccessControlUpgradeable).interfaceId || super.supportsInterface(interfaceId);\n    }\n\n    /**\n     * @dev Returns `true` if `account` has been granted `role`.\n     */\n    function hasRole(bytes32 role, address account) public view virtual override returns (bool) {\n        return _roles[role].members[account];\n    }\n\n    /**\n     * @dev Revert with a standard message if `_msgSender()` is missing `role`.\n     * Overriding this function changes the behavior of the {onlyRole} modifier.\n     *\n     * Format of the revert message is described in {_checkRole}.\n     *\n     * _Available since v4.6._\n     */\n    function _checkRole(bytes32 role) internal view virtual {\n        _checkRole(role, _msgSender());\n    }\n\n    /**\n     * @dev Revert with a standard message if `account` is missing `role`.\n     *\n     * The format of the revert reason is given by the following regular expression:\n     *\n     *  /^AccessControl: account (0x[0-9a-f]{40}) is missing role (0x[0-9a-f]{64})$/\n     */\n    function _checkRole(bytes32 role, address account) internal view virtual {\n        if (!hasRole(role, account)) {\n            revert(\n                string(\n                    abi.encodePacked(\n                        \"AccessControl: account \",\n                        StringsUpgradeable.toHexString(account),\n                        \" is missing role \",\n                        StringsUpgradeable.toHexString(uint256(role), 32)\n                    )\n                )\n            );\n        }\n    }\n\n    /**\n     * @dev Returns the admin role that controls `role`. See {grantRole} and\n     * {revokeRole}.\n     *\n     * To change a role's admin, use {_setRoleAdmin}.\n     */\n    function getRoleAdmin(bytes32 role) public view virtual override returns (bytes32) {\n        return _roles[role].adminRole;\n    }\n\n    /**\n     * @dev Grants `role` to `account`.\n     *\n     * If `account` had not been already granted `role`, emits a {RoleGranted}\n     * event.\n     *\n     * Requirements:\n     *\n     * - the caller must have ``role``'s admin role.\n     *\n     * May emit a {RoleGranted} event.\n     */\n    function grantRole(bytes32 role, address account) public virtual override onlyRole(getRoleAdmin(role)) {\n        _grantRole(role, account);\n    }\n\n    /**\n     * @dev Revokes `role` from `account`.\n     *\n     * If `account` had been granted `role`, emits a {RoleRevoked} event.\n     *\n     * Requirements:\n     *\n     * - the caller must have ``role``'s admin role.\n     *\n     * May emit a {RoleRevoked} event.\n     */\n    function revokeRole(bytes32 role, address account) public virtual override onlyRole(getRoleAdmin(role)) {\n        _revokeRole(role, account);\n    }\n\n    /**\n     * @dev Revokes `role` from the calling account.\n     *\n     * Roles are often managed via {grantRole} and {revokeRole}: this function's\n     * purpose is to provide a mechanism for accounts to lose their privileges\n     * if they are compromised (such as when a trusted device is misplaced).\n     *\n     * If the calling account had been revoked `role`, emits a {RoleRevoked}\n     * event.\n     *\n     * Requirements:\n     *\n     * - the caller must be `account`.\n     *\n     * May emit a {RoleRevoked} event.\n     */\n    function renounceRole(bytes32 role, address account) public virtual override {\n        require(account == _msgSender(), \"AccessControl: can only renounce roles for self\");\n\n        _revokeRole(role, account);\n    }\n\n    /**\n     * @dev Grants `role` to `account`.\n     *\n     * If `account` had not been already granted `role`, emits a {RoleGranted}\n     * event. Note that unlike {grantRole}, this function doesn't perform any\n     * checks on the calling account.\n     *\n     * May emit a {RoleGranted} event.\n     *\n     * [WARNING]\n     * ====\n     * This function should only be called from the constructor when setting\n     * up the initial roles for the system.\n     *\n     * Using this function in any other way is effectively circumventing the admin\n     * system imposed by {AccessControl}.\n     * ====\n     *\n     * NOTE: This function is deprecated in favor of {_grantRole}.\n     */\n    function _setupRole(bytes32 role, address account) internal virtual {\n        _grantRole(role, account);\n    }\n\n    /**\n     * @dev Sets `adminRole` as ``role``'s admin role.\n     *\n     * Emits a {RoleAdminChanged} event.\n     */\n    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual {\n        bytes32 previousAdminRole = getRoleAdmin(role);\n        _roles[role].adminRole = adminRole;\n        emit RoleAdminChanged(role, previousAdminRole, adminRole);\n    }\n\n    /**\n     * @dev Grants `role` to `account`.\n     *\n     * Internal function without access restriction.\n     *\n     * May emit a {RoleGranted} event.\n     */\n    function _grantRole(bytes32 role, address account) internal virtual {\n        if (!hasRole(role, account)) {\n            _roles[role].members[account] = true;\n            emit RoleGranted(role, account, _msgSender());\n        }\n    }\n\n    /**\n     * @dev Revokes `role` from `account`.\n     *\n     * Internal function without access restriction.\n     *\n     * May emit a {RoleRevoked} event.\n     */\n    function _revokeRole(bytes32 role, address account) internal virtual {\n        if (hasRole(role, account)) {\n            _roles[role].members[account] = false;\n            emit RoleRevoked(role, account, _msgSender());\n        }\n    }\n\n    /**\n     * @dev This empty reserved space is put in place to allow future versions to add new\n     * variables without shifting down storage in the inheritance chain.\n     * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n     */\n    uint256[49] private __gap;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/access/IAccessControlUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (access/IAccessControl.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev External interface of AccessControl declared to support ERC165 detection.\n */\ninterface IAccessControlUpgradeable {\n    /**\n     * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole`\n     *\n     * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite\n     * {RoleAdminChanged} not being emitted signaling this.\n     *\n     * _Available since v3.1._\n     */\n    event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole);\n\n    /**\n     * @dev Emitted when `account` is granted `role`.\n     *\n     * `sender` is the account that originated the contract call, an admin role\n     * bearer except when using {AccessControl-_setupRole}.\n     */\n    event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender);\n\n    /**\n     * @dev Emitted when `account` is revoked `role`.\n     *\n     * `sender` is the account that originated the contract call:\n     *   - if using `revokeRole`, it is the admin role bearer\n     *   - if using `renounceRole`, it is the role bearer (i.e. `account`)\n     */\n    event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender);\n\n    /**\n     * @dev Returns `true` if `account` has been granted `role`.\n     */\n    function hasRole(bytes32 role, address account) external view returns (bool);\n\n    /**\n     * @dev Returns the admin role that controls `role`. See {grantRole} and\n     * {revokeRole}.\n     *\n     * To change a role's admin, use {AccessControl-_setRoleAdmin}.\n     */\n    function getRoleAdmin(bytes32 role) external view returns (bytes32);\n\n    /**\n     * @dev Grants `role` to `account`.\n     *\n     * If `account` had not been already granted `role`, emits a {RoleGranted}\n     * event.\n     *\n     * Requirements:\n     *\n     * - the caller must have ``role``'s admin role.\n     */\n    function grantRole(bytes32 role, address account) external;\n\n    /**\n     * @dev Revokes `role` from `account`.\n     *\n     * If `account` had been granted `role`, emits a {RoleRevoked} event.\n     *\n     * Requirements:\n     *\n     * - the caller must have ``role``'s admin role.\n     */\n    function revokeRole(bytes32 role, address account) external;\n\n    /**\n     * @dev Revokes `role` from the calling account.\n     *\n     * Roles are often managed via {grantRole} and {revokeRole}: this function's\n     * purpose is to provide a mechanism for accounts to lose their privileges\n     * if they are compromised (such as when a trusted device is misplaced).\n     *\n     * If the calling account had been granted `role`, emits a {RoleRevoked}\n     * event.\n     *\n     * Requirements:\n     *\n     * - the caller must be `account`.\n     */\n    function renounceRole(bytes32 role, address account) external;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.1) (proxy/utils/Initializable.sol)\n\npragma solidity ^0.8.2;\n\nimport \"../../utils/AddressUpgradeable.sol\";\n\n/**\n * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed\n * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an\n * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer\n * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.\n *\n * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be\n * reused. This mechanism prevents re-execution of each \"step\" but allows the creation of new initialization steps in\n * case an upgrade adds a module that needs to be initialized.\n *\n * For example:\n *\n * [.hljs-theme-light.nopadding]\n * ```\n * contract MyToken is ERC20Upgradeable {\n *     function initialize() initializer public {\n *         __ERC20_init(\"MyToken\", \"MTK\");\n *     }\n * }\n * contract MyTokenV2 is MyToken, ERC20PermitUpgradeable {\n *     function initializeV2() reinitializer(2) public {\n *         __ERC20Permit_init(\"MyToken\");\n *     }\n * }\n * ```\n *\n * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as\n * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.\n *\n * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure\n * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.\n *\n * [CAUTION]\n * ====\n * Avoid leaving a contract uninitialized.\n *\n * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation\n * contract, which may impact the proxy. To prevent the implementation contract from being used, you should invoke\n * the {_disableInitializers} function in the constructor to automatically lock it when it is deployed:\n *\n * [.hljs-theme-light.nopadding]\n * ```\n * /// @custom:oz-upgrades-unsafe-allow constructor\n * constructor() {\n *     _disableInitializers();\n * }\n * ```\n * ====\n */\nabstract contract Initializable {\n    /**\n     * @dev Indicates that the contract has been initialized.\n     * @custom:oz-retyped-from bool\n     */\n    uint8 private _initialized;\n\n    /**\n     * @dev Indicates that the contract is in the process of being initialized.\n     */\n    bool private _initializing;\n\n    /**\n     * @dev Triggered when the contract has been initialized or reinitialized.\n     */\n    event Initialized(uint8 version);\n\n    /**\n     * @dev A modifier that defines a protected initializer function that can be invoked at most once. In its scope,\n     * `onlyInitializing` functions can be used to initialize parent contracts.\n     *\n     * Similar to `reinitializer(1)`, except that functions marked with `initializer` can be nested in the context of a\n     * constructor.\n     *\n     * Emits an {Initialized} event.\n     */\n    modifier initializer() {\n        bool isTopLevelCall = !_initializing;\n        require(\n            (isTopLevelCall && _initialized < 1) || (!AddressUpgradeable.isContract(address(this)) && _initialized == 1),\n            \"Initializable: contract is already initialized\"\n        );\n        _initialized = 1;\n        if (isTopLevelCall) {\n            _initializing = true;\n        }\n        _;\n        if (isTopLevelCall) {\n            _initializing = false;\n            emit Initialized(1);\n        }\n    }\n\n    /**\n     * @dev A modifier that defines a protected reinitializer function that can be invoked at most once, and only if the\n     * contract hasn't been initialized to a greater version before. In its scope, `onlyInitializing` functions can be\n     * used to initialize parent contracts.\n     *\n     * A reinitializer may be used after the original initialization step. This is essential to configure modules that\n     * are added through upgrades and that require initialization.\n     *\n     * When `version` is 1, this modifier is similar to `initializer`, except that functions marked with `reinitializer`\n     * cannot be nested. If one is invoked in the context of another, execution will revert.\n     *\n     * Note that versions can jump in increments greater than 1; this implies that if multiple reinitializers coexist in\n     * a contract, executing them in the right order is up to the developer or operator.\n     *\n     * WARNING: setting the version to 255 will prevent any future reinitialization.\n     *\n     * Emits an {Initialized} event.\n     */\n    modifier reinitializer(uint8 version) {\n        require(!_initializing && _initialized < version, \"Initializable: contract is already initialized\");\n        _initialized = version;\n        _initializing = true;\n        _;\n        _initializing = false;\n        emit Initialized(version);\n    }\n\n    /**\n     * @dev Modifier to protect an initialization function so that it can only be invoked by functions with the\n     * {initializer} and {reinitializer} modifiers, directly or indirectly.\n     */\n    modifier onlyInitializing() {\n        require(_initializing, \"Initializable: contract is not initializing\");\n        _;\n    }\n\n    /**\n     * @dev Locks the contract, preventing any future reinitialization. This cannot be part of an initializer call.\n     * Calling this in the constructor of a contract will prevent that contract from being initialized or reinitialized\n     * to any version. It is recommended to use this to lock implementation contracts that are designed to be called\n     * through proxies.\n     *\n     * Emits an {Initialized} event the first time it is successfully executed.\n     */\n    function _disableInitializers() internal virtual {\n        require(!_initializing, \"Initializable: contract is initializing\");\n        if (_initialized < type(uint8).max) {\n            _initialized = type(uint8).max;\n            emit Initialized(type(uint8).max);\n        }\n    }\n\n    /**\n     * @dev Returns the highest version that has been initialized. See {reinitializer}.\n     */\n    function _getInitializedVersion() internal view returns (uint8) {\n        return _initialized;\n    }\n\n    /**\n     * @dev Returns `true` if the contract is currently initializing. See {onlyInitializing}.\n     */\n    function _isInitializing() internal view returns (bool) {\n        return _initializing;\n    }\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/security/PausableUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.7.0) (security/Pausable.sol)\n\npragma solidity ^0.8.0;\n\nimport \"../utils/ContextUpgradeable.sol\";\nimport \"../proxy/utils/Initializable.sol\";\n\n/**\n * @dev Contract module which allows children to implement an emergency stop\n * mechanism that can be triggered by an authorized account.\n *\n * This module is used through inheritance. It will make available the\n * modifiers `whenNotPaused` and `whenPaused`, which can be applied to\n * the functions of your contract. Note that they will not be pausable by\n * simply including this module, only once the modifiers are put in place.\n */\nabstract contract PausableUpgradeable is Initializable, ContextUpgradeable {\n    /**\n     * @dev Emitted when the pause is triggered by `account`.\n     */\n    event Paused(address account);\n\n    /**\n     * @dev Emitted when the pause is lifted by `account`.\n     */\n    event Unpaused(address account);\n\n    bool private _paused;\n\n    /**\n     * @dev Initializes the contract in unpaused state.\n     */\n    function __Pausable_init() internal onlyInitializing {\n        __Pausable_init_unchained();\n    }\n\n    function __Pausable_init_unchained() internal onlyInitializing {\n        _paused = false;\n    }\n\n    /**\n     * @dev Modifier to make a function callable only when the contract is not paused.\n     *\n     * Requirements:\n     *\n     * - The contract must not be paused.\n     */\n    modifier whenNotPaused() {\n        _requireNotPaused();\n        _;\n    }\n\n    /**\n     * @dev Modifier to make a function callable only when the contract is paused.\n     *\n     * Requirements:\n     *\n     * - The contract must be paused.\n     */\n    modifier whenPaused() {\n        _requirePaused();\n        _;\n    }\n\n    /**\n     * @dev Returns true if the contract is paused, and false otherwise.\n     */\n    function paused() public view virtual returns (bool) {\n        return _paused;\n    }\n\n    /**\n     * @dev Throws if the contract is paused.\n     */\n    function _requireNotPaused() internal view virtual {\n        require(!paused(), \"Pausable: paused\");\n    }\n\n    /**\n     * @dev Throws if the contract is not paused.\n     */\n    function _requirePaused() internal view virtual {\n        require(paused(), \"Pausable: not paused\");\n    }\n\n    /**\n     * @dev Triggers stopped state.\n     *\n     * Requirements:\n     *\n     * - The contract must not be paused.\n     */\n    function _pause() internal virtual whenNotPaused {\n        _paused = true;\n        emit Paused(_msgSender());\n    }\n\n    /**\n     * @dev Returns to normal state.\n     *\n     * Requirements:\n     *\n     * - The contract must be paused.\n     */\n    function _unpause() internal virtual whenPaused {\n        _paused = false;\n        emit Unpaused(_msgSender());\n    }\n\n    /**\n     * @dev This empty reserved space is put in place to allow future versions to add new\n     * variables without shifting down storage in the inheritance chain.\n     * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n     */\n    uint256[49] private __gap;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/token/ERC20/ERC20Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/ERC20.sol)\n\npragma solidity ^0.8.0;\n\nimport \"./IERC20Upgradeable.sol\";\nimport \"./extensions/IERC20MetadataUpgradeable.sol\";\nimport \"../../utils/ContextUpgradeable.sol\";\nimport \"../../proxy/utils/Initializable.sol\";\n\n/**\n * @dev Implementation of the {IERC20} interface.\n *\n * This implementation is agnostic to the way tokens are created. This means\n * that a supply mechanism has to be added in a derived contract using {_mint}.\n * For a generic mechanism see {ERC20PresetMinterPauser}.\n *\n * TIP: For a detailed writeup see our guide\n * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How\n * to implement supply mechanisms].\n *\n * We have followed general OpenZeppelin Contracts guidelines: functions revert\n * instead returning `false` on failure. This behavior is nonetheless\n * conventional and does not conflict with the expectations of ERC20\n * applications.\n *\n * Additionally, an {Approval} event is emitted on calls to {transferFrom}.\n * This allows applications to reconstruct the allowance for all accounts just\n * by listening to said events. Other implementations of the EIP may not emit\n * these events, as it isn't required by the specification.\n *\n * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}\n * functions have been added to mitigate the well-known issues around setting\n * allowances. See {IERC20-approve}.\n */\ncontract ERC20Upgradeable is Initializable, ContextUpgradeable, IERC20Upgradeable, IERC20MetadataUpgradeable {\n    // CHANGED visibility from private to internal to enable forceTransfer()\n    mapping(address => uint256) internal _balances;\n\n    mapping(address => mapping(address => uint256)) private _allowances;\n\n    uint256 private _totalSupply;\n\n    string private _name;\n    string private _symbol;\n\n    /**\n     * @dev Sets the values for {name} and {symbol}.\n     *\n     * The default value of {decimals} is 18. To select a different value for\n     * {decimals} you should overload it.\n     *\n     * All two of these values are immutable: they can only be set once during\n     * construction.\n     */\n    function __ERC20_init(string memory name_, string memory symbol_) internal onlyInitializing {\n        __ERC20_init_unchained(name_, symbol_);\n    }\n\n    function __ERC20_init_unchained(string memory name_, string memory symbol_) internal onlyInitializing {\n        _name = name_;\n        _symbol = symbol_;\n    }\n\n    /**\n     * @dev Returns the name of the token.\n     */\n    function name() public view virtual override returns (string memory) {\n        return _name;\n    }\n\n    /**\n     * @dev Returns the symbol of the token, usually a shorter version of the\n     * name.\n     */\n    function symbol() public view virtual override returns (string memory) {\n        return _symbol;\n    }\n\n    /**\n     * @dev Returns the number of decimals used to get its user representation.\n     * For example, if `decimals` equals `2`, a balance of `505` tokens should\n     * be displayed to a user as `5.05` (`505 / 10 ** 2`).\n     *\n     * Tokens usually opt for a value of 18, imitating the relationship between\n     * Ether and Wei. This is the value {ERC20} uses, unless this function is\n     * overridden;\n     *\n     * NOTE: This information is only used for _display_ purposes: it in\n     * no way affects any of the arithmetic of the contract, including\n     * {IERC20-balanceOf} and {IERC20-transfer}.\n     */\n    function decimals() public view virtual override returns (uint8) {\n        return 18;\n    }\n\n    /**\n     * @dev See {IERC20-totalSupply}.\n     */\n    function totalSupply() public view virtual override returns (uint256) {\n        return _totalSupply;\n    }\n\n    /**\n     * @dev See {IERC20-balanceOf}.\n     */\n    function balanceOf(address account) public view virtual override returns (uint256) {\n        return _balances[account];\n    }\n\n    /**\n     * @dev See {IERC20-transfer}.\n     *\n     * Requirements:\n     *\n     * - `to` cannot be the zero address.\n     * - the caller must have a balance of at least `amount`.\n     */\n    function transfer(address to, uint256 amount) public virtual override returns (bool) {\n        address owner = _msgSender();\n        _transfer(owner, to, amount);\n        return true;\n    }\n\n    /**\n     * @dev See {IERC20-allowance}.\n     */\n    function allowance(address owner, address spender) public view virtual override returns (uint256) {\n        return _allowances[owner][spender];\n    }\n\n    /**\n     * @dev See {IERC20-approve}.\n     *\n     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on\n     * `transferFrom`. This is semantically equivalent to an infinite approval.\n     *\n     * Requirements:\n     *\n     * - `spender` cannot be the zero address.\n     */\n    function approve(address spender, uint256 amount) public virtual override returns (bool) {\n        address owner = _msgSender();\n        _approve(owner, spender, amount);\n        return true;\n    }\n\n    /**\n     * @dev See {IERC20-transferFrom}.\n     *\n     * Emits an {Approval} event indicating the updated allowance. This is not\n     * required by the EIP. See the note at the beginning of {ERC20}.\n     *\n     * NOTE: Does not update the allowance if the current allowance\n     * is the maximum `uint256`.\n     *\n     * Requirements:\n     *\n     * - `from` and `to` cannot be the zero address.\n     * - `from` must have a balance of at least `amount`.\n     * - the caller must have allowance for ``from``'s tokens of at least\n     * `amount`.\n     */\n    function transferFrom(address from, address to, uint256 amount) public virtual override returns (bool) {\n        address spender = _msgSender();\n        _spendAllowance(from, spender, amount);\n        _transfer(from, to, amount);\n        return true;\n    }\n\n    /**\n     * @dev Atomically increases the allowance granted to `spender` by the caller.\n     *\n     * This is an alternative to {approve} that can be used as a mitigation for\n     * problems described in {IERC20-approve}.\n     *\n     * Emits an {Approval} event indicating the updated allowance.\n     *\n     * Requirements:\n     *\n     * - `spender` cannot be the zero address.\n     */\n    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {\n        address owner = _msgSender();\n        _approve(owner, spender, allowance(owner, spender) + addedValue);\n        return true;\n    }\n\n    /**\n     * @dev Atomically decreases the allowance granted to `spender` by the caller.\n     *\n     * This is an alternative to {approve} that can be used as a mitigation for\n     * problems described in {IERC20-approve}.\n     *\n     * Emits an {Approval} event indicating the updated allowance.\n     *\n     * Requirements:\n     *\n     * - `spender` cannot be the zero address.\n     * - `spender` must have allowance for the caller of at least\n     * `subtractedValue`.\n     */\n    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {\n        address owner = _msgSender();\n        uint256 currentAllowance = allowance(owner, spender);\n        require(currentAllowance >= subtractedValue, \"ERC20: decreased allowance below zero\");\n        unchecked {\n            _approve(owner, spender, currentAllowance - subtractedValue);\n        }\n\n        return true;\n    }\n\n    /**\n     * @dev Moves `amount` of tokens from `from` to `to`.\n     *\n     * This internal function is equivalent to {transfer}, and can be used to\n     * e.g. implement automatic token fees, slashing mechanisms, etc.\n     *\n     * Emits a {Transfer} event.\n     *\n     * Requirements:\n     *\n     * - `from` cannot be the zero address.\n     * - `to` cannot be the zero address.\n     * - `from` must have a balance of at least `amount`.\n     */\n    function _transfer(address from, address to, uint256 amount) internal virtual {\n        require(from != address(0), \"ERC20: transfer from the zero address\");\n        require(to != address(0), \"ERC20: transfer to the zero address\");\n\n        _beforeTokenTransfer(from, to, amount);\n\n        uint256 fromBalance = _balances[from];\n        require(fromBalance >= amount, \"ERC20: transfer amount exceeds balance\");\n        unchecked {\n            _balances[from] = fromBalance - amount;\n            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by\n            // decrementing then incrementing.\n            _balances[to] += amount;\n        }\n\n        emit Transfer(from, to, amount);\n\n        _afterTokenTransfer(from, to, amount);\n    }\n\n    /** @dev Creates `amount` tokens and assigns them to `account`, increasing\n     * the total supply.\n     *\n     * Emits a {Transfer} event with `from` set to the zero address.\n     *\n     * Requirements:\n     *\n     * - `account` cannot be the zero address.\n     */\n    function _mint(address account, uint256 amount) internal virtual {\n        require(account != address(0), \"ERC20: mint to the zero address\");\n\n        _beforeTokenTransfer(address(0), account, amount);\n\n        _totalSupply += amount;\n        unchecked {\n            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.\n            _balances[account] += amount;\n        }\n        emit Transfer(address(0), account, amount);\n\n        _afterTokenTransfer(address(0), account, amount);\n    }\n\n    /**\n     * @dev Destroys `amount` tokens from `account`, reducing the\n     * total supply.\n     *\n     * Emits a {Transfer} event with `to` set to the zero address.\n     *\n     * Requirements:\n     *\n     * - `account` cannot be the zero address.\n     * - `account` must have at least `amount` tokens.\n     */\n    function _burn(address account, uint256 amount) internal virtual {\n        require(account != address(0), \"ERC20: burn from the zero address\");\n\n        _beforeTokenTransfer(account, address(0), amount);\n\n        uint256 accountBalance = _balances[account];\n        require(accountBalance >= amount, \"ERC20: burn amount exceeds balance\");\n        unchecked {\n            _balances[account] = accountBalance - amount;\n            // Overflow not possible: amount <= accountBalance <= totalSupply.\n            _totalSupply -= amount;\n        }\n\n        emit Transfer(account, address(0), amount);\n\n        _afterTokenTransfer(account, address(0), amount);\n    }\n\n    /**\n     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.\n     *\n     * This internal function is equivalent to `approve`, and can be used to\n     * e.g. set automatic allowances for certain subsystems, etc.\n     *\n     * Emits an {Approval} event.\n     *\n     * Requirements:\n     *\n     * - `owner` cannot be the zero address.\n     * - `spender` cannot be the zero address.\n     */\n    function _approve(address owner, address spender, uint256 amount) internal virtual {\n        require(owner != address(0), \"ERC20: approve from the zero address\");\n        require(spender != address(0), \"ERC20: approve to the zero address\");\n\n        _allowances[owner][spender] = amount;\n        emit Approval(owner, spender, amount);\n    }\n\n    /**\n     * @dev Updates `owner` s allowance for `spender` based on spent `amount`.\n     *\n     * Does not update the allowance amount in case of infinite allowance.\n     * Revert if not enough allowance is available.\n     *\n     * Might emit an {Approval} event.\n     */\n    function _spendAllowance(address owner, address spender, uint256 amount) internal virtual {\n        uint256 currentAllowance = allowance(owner, spender);\n        if (currentAllowance != type(uint256).max) {\n            require(currentAllowance >= amount, \"ERC20: insufficient allowance\");\n            unchecked {\n                _approve(owner, spender, currentAllowance - amount);\n            }\n        }\n    }\n\n    /**\n     * @dev Hook that is called before any transfer of tokens. This includes\n     * minting and burning.\n     *\n     * Calling conditions:\n     *\n     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens\n     * will be transferred to `to`.\n     * - when `from` is zero, `amount` tokens will be minted for `to`.\n     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.\n     * - `from` and `to` are never both zero.\n     *\n     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].\n     */\n    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual {}\n\n    /**\n     * @dev Hook that is called after any transfer of tokens. This includes\n     * minting and burning.\n     *\n     * Calling conditions:\n     *\n     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens\n     * has been transferred to `to`.\n     * - when `from` is zero, `amount` tokens have been minted for `to`.\n     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.\n     * - `from` and `to` are never both zero.\n     *\n     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].\n     */\n    function _afterTokenTransfer(address from, address to, uint256 amount) internal virtual {}\n\n    /**\n     * @dev This empty reserved space is put in place to allow future versions to add new\n     * variables without shifting down storage in the inheritance chain.\n     * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n     */\n    uint256[45] private __gap;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/token/ERC20/IERC20Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Interface of the ERC20 standard as defined in the EIP.\n */\ninterface IERC20Upgradeable {\n    /**\n     * @dev Emitted when `value` tokens are moved from one account (`from`) to\n     * another (`to`).\n     *\n     * Note that `value` may be zero.\n     */\n    event Transfer(address indexed from, address indexed to, uint256 value);\n\n    /**\n     * @dev Emitted when the allowance of a `spender` for an `owner` is set by\n     * a call to {approve}. `value` is the new allowance.\n     */\n    event Approval(address indexed owner, address indexed spender, uint256 value);\n\n    /**\n     * @dev Returns the amount of tokens in existence.\n     */\n    function totalSupply() external view returns (uint256);\n\n    /**\n     * @dev Returns the amount of tokens owned by `account`.\n     */\n    function balanceOf(address account) external view returns (uint256);\n\n    /**\n     * @dev Moves `amount` tokens from the caller's account to `to`.\n     *\n     * Returns a boolean value indicating whether the operation succeeded.\n     *\n     * Emits a {Transfer} event.\n     */\n    function transfer(address to, uint256 amount) external returns (bool);\n\n    /**\n     * @dev Returns the remaining number of tokens that `spender` will be\n     * allowed to spend on behalf of `owner` through {transferFrom}. This is\n     * zero by default.\n     *\n     * This value changes when {approve} or {transferFrom} are called.\n     */\n    function allowance(address owner, address spender) external view returns (uint256);\n\n    /**\n     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.\n     *\n     * Returns a boolean value indicating whether the operation succeeded.\n     *\n     * IMPORTANT: Beware that changing an allowance with this method brings the risk\n     * that someone may use both the old and the new allowance by unfortunate\n     * transaction ordering. One possible solution to mitigate this race\n     * condition is to first reduce the spender's allowance to 0 and set the\n     * desired value afterwards:\n     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729\n     *\n     * Emits an {Approval} event.\n     */\n    function approve(address spender, uint256 amount) external returns (bool);\n\n    /**\n     * @dev Moves `amount` tokens from `from` to `to` using the\n     * allowance mechanism. `amount` is then deducted from the caller's\n     * allowance.\n     *\n     * Returns a boolean value indicating whether the operation succeeded.\n     *\n     * Emits a {Transfer} event.\n     */\n    function transferFrom(\n        address from,\n        address to,\n        uint256 amount\n    ) external returns (bool);\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/token/ERC20/extensions/IERC20MetadataUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)\n\npragma solidity ^0.8.0;\n\nimport \"../IERC20Upgradeable.sol\";\n\n/**\n * @dev Interface for the optional metadata functions from the ERC20 standard.\n *\n * _Available since v4.1._\n */\ninterface IERC20MetadataUpgradeable is IERC20Upgradeable {\n    /**\n     * @dev Returns the name of the token.\n     */\n    function name() external view returns (string memory);\n\n    /**\n     * @dev Returns the symbol of the token.\n     */\n    function symbol() external view returns (string memory);\n\n    /**\n     * @dev Returns the decimals places of the token.\n     */\n    function decimals() external view returns (uint8);\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/AddressUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)\n\npragma solidity ^0.8.1;\n\n/**\n * @dev Collection of functions related to the address type\n */\nlibrary AddressUpgradeable {\n    /**\n     * @dev Returns true if `account` is a contract.\n     *\n     * [IMPORTANT]\n     * ====\n     * It is unsafe to assume that an address for which this function returns\n     * false is an externally-owned account (EOA) and not a contract.\n     *\n     * Among others, `isContract` will return false for the following\n     * types of addresses:\n     *\n     *  - an externally-owned account\n     *  - a contract in construction\n     *  - an address where a contract will be created\n     *  - an address where a contract lived, but was destroyed\n     * ====\n     *\n     * [IMPORTANT]\n     * ====\n     * You shouldn't rely on `isContract` to protect against flash loan attacks!\n     *\n     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets\n     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract\n     * constructor.\n     * ====\n     */\n    function isContract(address account) internal view returns (bool) {\n        // This method relies on extcodesize/address.code.length, which returns 0\n        // for contracts in construction, since the code is only stored at the end\n        // of the constructor execution.\n\n        return account.code.length > 0;\n    }\n\n    /**\n     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to\n     * `recipient`, forwarding all available gas and reverting on errors.\n     *\n     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost\n     * of certain opcodes, possibly making contracts go over the 2300 gas limit\n     * imposed by `transfer`, making them unable to receive funds via\n     * `transfer`. {sendValue} removes this limitation.\n     *\n     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].\n     *\n     * IMPORTANT: because control is transferred to `recipient`, care must be\n     * taken to not create reentrancy vulnerabilities. Consider using\n     * {ReentrancyGuard} or the\n     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].\n     */\n    function sendValue(address payable recipient, uint256 amount) internal {\n        require(address(this).balance >= amount, \"Address: insufficient balance\");\n\n        (bool success, ) = recipient.call{value: amount}(\"\");\n        require(success, \"Address: unable to send value, recipient may have reverted\");\n    }\n\n    /**\n     * @dev Performs a Solidity function call using a low level `call`. A\n     * plain `call` is an unsafe replacement for a function call: use this\n     * function instead.\n     *\n     * If `target` reverts with a revert reason, it is bubbled up by this\n     * function (like regular Solidity function calls).\n     *\n     * Returns the raw returned data. To convert to the expected return value,\n     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].\n     *\n     * Requirements:\n     *\n     * - `target` must be a contract.\n     * - calling `target` with `data` must not revert.\n     *\n     * _Available since v3.1._\n     */\n    function functionCall(address target, bytes memory data) internal returns (bytes memory) {\n        return functionCallWithValue(target, data, 0, \"Address: low-level call failed\");\n    }\n\n    /**\n     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with\n     * `errorMessage` as a fallback revert reason when `target` reverts.\n     *\n     * _Available since v3.1._\n     */\n    function functionCall(\n        address target,\n        bytes memory data,\n        string memory errorMessage\n    ) internal returns (bytes memory) {\n        return functionCallWithValue(target, data, 0, errorMessage);\n    }\n\n    /**\n     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],\n     * but also transferring `value` wei to `target`.\n     *\n     * Requirements:\n     *\n     * - the calling contract must have an ETH balance of at least `value`.\n     * - the called Solidity function must be `payable`.\n     *\n     * _Available since v3.1._\n     */\n    function functionCallWithValue(\n        address target,\n        bytes memory data,\n        uint256 value\n    ) internal returns (bytes memory) {\n        return functionCallWithValue(target, data, value, \"Address: low-level call with value failed\");\n    }\n\n    /**\n     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but\n     * with `errorMessage` as a fallback revert reason when `target` reverts.\n     *\n     * _Available since v3.1._\n     */\n    function functionCallWithValue(\n        address target,\n        bytes memory data,\n        uint256 value,\n        string memory errorMessage\n    ) internal returns (bytes memory) {\n        require(address(this).balance >= value, \"Address: insufficient balance for call\");\n        (bool success, bytes memory returndata) = target.call{value: value}(data);\n        return verifyCallResultFromTarget(target, success, returndata, errorMessage);\n    }\n\n    /**\n     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],\n     * but performing a static call.\n     *\n     * _Available since v3.3._\n     */\n    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {\n        return functionStaticCall(target, data, \"Address: low-level static call failed\");\n    }\n\n    /**\n     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],\n     * but performing a static call.\n     *\n     * _Available since v3.3._\n     */\n    function functionStaticCall(\n        address target,\n        bytes memory data,\n        string memory errorMessage\n    ) internal view returns (bytes memory) {\n        (bool success, bytes memory returndata) = target.staticcall(data);\n        return verifyCallResultFromTarget(target, success, returndata, errorMessage);\n    }\n\n    /**\n     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling\n     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.\n     *\n     * _Available since v4.8._\n     */\n    function verifyCallResultFromTarget(\n        address target,\n        bool success,\n        bytes memory returndata,\n        string memory errorMessage\n    ) internal view returns (bytes memory) {\n        if (success) {\n            if (returndata.length == 0) {\n                // only check isContract if the call was successful and the return data is empty\n                // otherwise we already know that it was a contract\n                require(isContract(target), \"Address: call to non-contract\");\n            }\n            return returndata;\n        } else {\n            _revert(returndata, errorMessage);\n        }\n    }\n\n    /**\n     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the\n     * revert reason or using the provided one.\n     *\n     * _Available since v4.3._\n     */\n    function verifyCallResult(\n        bool success,\n        bytes memory returndata,\n        string memory errorMessage\n    ) internal pure returns (bytes memory) {\n        if (success) {\n            return returndata;\n        } else {\n            _revert(returndata, errorMessage);\n        }\n    }\n\n    function _revert(bytes memory returndata, string memory errorMessage) private pure {\n        // Look for revert reason and bubble it up if present\n        if (returndata.length > 0) {\n            // The easiest way to bubble the revert reason is using memory via assembly\n            /// @solidity memory-safe-assembly\n            assembly {\n                let returndata_size := mload(returndata)\n                revert(add(32, returndata), returndata_size)\n            }\n        } else {\n            revert(errorMessage);\n        }\n    }\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)\n\npragma solidity ^0.8.0;\nimport \"../proxy/utils/Initializable.sol\";\n\n/**\n * @dev Provides information about the current execution context, including the\n * sender of the transaction and its data. While these are generally available\n * via msg.sender and msg.data, they should not be accessed in such a direct\n * manner, since when dealing with meta-transactions the account sending and\n * paying for execution may not be the actual sender (as far as an application\n * is concerned).\n *\n * This contract is only required for intermediate, library-like contracts.\n */\nabstract contract ContextUpgradeable is Initializable {\n    function __Context_init() internal onlyInitializing {\n    }\n\n    function __Context_init_unchained() internal onlyInitializing {\n    }\n    function _msgSender() internal view virtual returns (address) {\n        return msg.sender;\n    }\n\n    function _msgData() internal view virtual returns (bytes calldata) {\n        return msg.data;\n    }\n\n    /**\n     * @dev This empty reserved space is put in place to allow future versions to add new\n     * variables without shifting down storage in the inheritance chain.\n     * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n     */\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/StringsUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/Strings.sol)\n\npragma solidity ^0.8.0;\n\nimport \"./math/MathUpgradeable.sol\";\n\n/**\n * @dev String operations.\n */\nlibrary StringsUpgradeable {\n    bytes16 private constant _SYMBOLS = \"0123456789abcdef\";\n    uint8 private constant _ADDRESS_LENGTH = 20;\n\n    /**\n     * @dev Converts a `uint256` to its ASCII `string` decimal representation.\n     */\n    function toString(uint256 value) internal pure returns (string memory) {\n        unchecked {\n            uint256 length = MathUpgradeable.log10(value) + 1;\n            string memory buffer = new string(length);\n            uint256 ptr;\n            /// @solidity memory-safe-assembly\n            assembly {\n                ptr := add(buffer, add(32, length))\n            }\n            while (true) {\n                ptr--;\n                /// @solidity memory-safe-assembly\n                assembly {\n                    mstore8(ptr, byte(mod(value, 10), _SYMBOLS))\n                }\n                value /= 10;\n                if (value == 0) break;\n            }\n            return buffer;\n        }\n    }\n\n    /**\n     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.\n     */\n    function toHexString(uint256 value) internal pure returns (string memory) {\n        unchecked {\n            return toHexString(value, MathUpgradeable.log256(value) + 1);\n        }\n    }\n\n    /**\n     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.\n     */\n    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {\n        bytes memory buffer = new bytes(2 * length + 2);\n        buffer[0] = \"0\";\n        buffer[1] = \"x\";\n        for (uint256 i = 2 * length + 1; i > 1; --i) {\n            buffer[i] = _SYMBOLS[value & 0xf];\n            value >>= 4;\n        }\n        require(value == 0, \"Strings: hex length insufficient\");\n        return string(buffer);\n    }\n\n    /**\n     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.\n     */\n    function toHexString(address addr) internal pure returns (string memory) {\n        return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);\n    }\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/introspection/ERC165Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (utils/introspection/ERC165.sol)\n\npragma solidity ^0.8.0;\n\nimport \"./IERC165Upgradeable.sol\";\nimport \"../../proxy/utils/Initializable.sol\";\n\n/**\n * @dev Implementation of the {IERC165} interface.\n *\n * Contracts that want to implement ERC165 should inherit from this contract and override {supportsInterface} to check\n * for the additional interface id that will be supported. For example:\n *\n * ```solidity\n * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {\n *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);\n * }\n * ```\n *\n * Alternatively, {ERC165Storage} provides an easier to use but more expensive implementation.\n */\nabstract contract ERC165Upgradeable is Initializable, IERC165Upgradeable {\n    function __ERC165_init() internal onlyInitializing {\n    }\n\n    function __ERC165_init_unchained() internal onlyInitializing {\n    }\n    /**\n     * @dev See {IERC165-supportsInterface}.\n     */\n    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {\n        return interfaceId == type(IERC165Upgradeable).interfaceId;\n    }\n\n    /**\n     * @dev This empty reserved space is put in place to allow future versions to add new\n     * variables without shifting down storage in the inheritance chain.\n     * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n     */\n    uint256[50] private __gap;\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/introspection/IERC165Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Interface of the ERC165 standard, as defined in the\n * https://eips.ethereum.org/EIPS/eip-165[EIP].\n *\n * Implementers can declare support of contract interfaces, which can then be\n * queried by others ({ERC165Checker}).\n *\n * For an implementation, see {ERC165}.\n */\ninterface IERC165Upgradeable {\n    /**\n     * @dev Returns true if this contract implements the interface defined by\n     * `interfaceId`. See the corresponding\n     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]\n     * to learn more about how these ids are created.\n     *\n     * This function call must use less than 30 000 gas.\n     */\n    function supportsInterface(bytes4 interfaceId) external view returns (bool);\n}\n"},{"file_path":"lib/CMTAT/openzeppelin-contracts-upgradeable/contracts/utils/math/MathUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/Math.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Standard math utilities missing in the Solidity language.\n */\nlibrary MathUpgradeable {\n    enum Rounding {\n        Down, // Toward negative infinity\n        Up, // Toward infinity\n        Zero // Toward zero\n    }\n\n    /**\n     * @dev Returns the largest of two numbers.\n     */\n    function max(uint256 a, uint256 b) internal pure returns (uint256) {\n        return a > b ? a : b;\n    }\n\n    /**\n     * @dev Returns the smallest of two numbers.\n     */\n    function min(uint256 a, uint256 b) internal pure returns (uint256) {\n        return a < b ? a : b;\n    }\n\n    /**\n     * @dev Returns the average of two numbers. The result is rounded towards\n     * zero.\n     */\n    function average(uint256 a, uint256 b) internal pure returns (uint256) {\n        // (a + b) / 2 can overflow.\n        return (a & b) + (a ^ b) / 2;\n    }\n\n    /**\n     * @dev Returns the ceiling of the division of two numbers.\n     *\n     * This differs from standard division with `/` in that it rounds up instead\n     * of rounding down.\n     */\n    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {\n        // (a + b - 1) / b can overflow on addition, so we distribute.\n        return a == 0 ? 0 : (a - 1) / b + 1;\n    }\n\n    /**\n     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)\n     * with further edits by Uniswap Labs also under MIT license.\n     */\n    function mulDiv(\n        uint256 x,\n        uint256 y,\n        uint256 denominator\n    ) internal pure returns (uint256 result) {\n        unchecked {\n            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use\n            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256\n            // variables such that product = prod1 * 2^256 + prod0.\n            uint256 prod0; // Least significant 256 bits of the product\n            uint256 prod1; // Most significant 256 bits of the product\n            assembly {\n                let mm := mulmod(x, y, not(0))\n                prod0 := mul(x, y)\n                prod1 := sub(sub(mm, prod0), lt(mm, prod0))\n            }\n\n            // Handle non-overflow cases, 256 by 256 division.\n            if (prod1 == 0) {\n                return prod0 / denominator;\n            }\n\n            // Make sure the result is less than 2^256. Also prevents denominator == 0.\n            require(denominator > prod1);\n\n            ///////////////////////////////////////////////\n            // 512 by 256 division.\n            ///////////////////////////////////////////////\n\n            // Make division exact by subtracting the remainder from [prod1 prod0].\n            uint256 remainder;\n            assembly {\n                // Compute remainder using mulmod.\n                remainder := mulmod(x, y, denominator)\n\n                // Subtract 256 bit number from 512 bit number.\n                prod1 := sub(prod1, gt(remainder, prod0))\n                prod0 := sub(prod0, remainder)\n            }\n\n            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.\n            // See https://cs.stackexchange.com/q/138556/92363.\n\n            // Does not overflow because the denominator cannot be zero at this stage in the function.\n            uint256 twos = denominator & (~denominator + 1);\n            assembly {\n                // Divide denominator by twos.\n                denominator := div(denominator, twos)\n\n                // Divide [prod1 prod0] by twos.\n                prod0 := div(prod0, twos)\n\n                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.\n                twos := add(div(sub(0, twos), twos), 1)\n            }\n\n            // Shift in bits from prod1 into prod0.\n            prod0 |= prod1 * twos;\n\n            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such\n            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for\n            // four bits. That is, denominator * inv = 1 mod 2^4.\n            uint256 inverse = (3 * denominator) ^ 2;\n\n            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works\n            // in modular arithmetic, doubling the correct bits in each step.\n            inverse *= 2 - denominator * inverse; // inverse mod 2^8\n            inverse *= 2 - denominator * inverse; // inverse mod 2^16\n            inverse *= 2 - denominator * inverse; // inverse mod 2^32\n            inverse *= 2 - denominator * inverse; // inverse mod 2^64\n            inverse *= 2 - denominator * inverse; // inverse mod 2^128\n            inverse *= 2 - denominator * inverse; // inverse mod 2^256\n\n            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.\n            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is\n            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1\n            // is no longer required.\n            result = prod0 * inverse;\n            return result;\n        }\n    }\n\n    /**\n     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.\n     */\n    function mulDiv(\n        uint256 x,\n        uint256 y,\n        uint256 denominator,\n        Rounding rounding\n    ) internal pure returns (uint256) {\n        uint256 result = mulDiv(x, y, denominator);\n        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {\n            result += 1;\n        }\n        return result;\n    }\n\n    /**\n     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.\n     *\n     * Inspired by Henry S. Warren, Jr.'s \"Hacker's Delight\" (Chapter 11).\n     */\n    function sqrt(uint256 a) internal pure returns (uint256) {\n        if (a == 0) {\n            return 0;\n        }\n\n        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.\n        //\n        // We know that the \"msb\" (most significant bit) of our target number `a` is a power of 2 such that we have\n        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.\n        //\n        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`\n        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`\n        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`\n        //\n        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.\n        uint256 result = 1 << (log2(a) >> 1);\n\n        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,\n        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at\n        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision\n        // into the expected uint128 result.\n        unchecked {\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            return min(result, a / result);\n        }\n    }\n\n    /**\n     * @notice Calculates sqrt(a), following the selected rounding direction.\n     */\n    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = sqrt(a);\n            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Return the log in base 2, rounded down, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log2(uint256 value) internal pure returns (uint256) {\n        uint256 result = 0;\n        unchecked {\n            if (value >> 128 > 0) {\n                value >>= 128;\n                result += 128;\n            }\n            if (value >> 64 > 0) {\n                value >>= 64;\n                result += 64;\n            }\n            if (value >> 32 > 0) {\n                value >>= 32;\n                result += 32;\n            }\n            if (value >> 16 > 0) {\n                value >>= 16;\n                result += 16;\n            }\n            if (value >> 8 > 0) {\n                value >>= 8;\n                result += 8;\n            }\n            if (value >> 4 > 0) {\n                value >>= 4;\n                result += 4;\n            }\n            if (value >> 2 > 0) {\n                value >>= 2;\n                result += 2;\n            }\n            if (value >> 1 > 0) {\n                result += 1;\n            }\n        }\n        return result;\n    }\n\n    /**\n     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = log2(value);\n            return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Return the log in base 10, rounded down, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log10(uint256 value) internal pure returns (uint256) {\n        uint256 result = 0;\n        unchecked {\n            if (value >= 10**64) {\n                value /= 10**64;\n                result += 64;\n            }\n            if (value >= 10**32) {\n                value /= 10**32;\n                result += 32;\n            }\n            if (value >= 10**16) {\n                value /= 10**16;\n                result += 16;\n            }\n            if (value >= 10**8) {\n                value /= 10**8;\n                result += 8;\n            }\n            if (value >= 10**4) {\n                value /= 10**4;\n                result += 4;\n            }\n            if (value >= 10**2) {\n                value /= 10**2;\n                result += 2;\n            }\n            if (value >= 10**1) {\n                result += 1;\n            }\n        }\n        return result;\n    }\n\n    /**\n     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = log10(value);\n            return result + (rounding == Rounding.Up && 10**result < value ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Return the log in base 256, rounded down, of a positive value.\n     * Returns 0 if given 0.\n     *\n     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.\n     */\n    function log256(uint256 value) internal pure returns (uint256) {\n        uint256 result = 0;\n        unchecked {\n            if (value >> 128 > 0) {\n                value >>= 128;\n                result += 16;\n            }\n            if (value >> 64 > 0) {\n                value >>= 64;\n                result += 8;\n            }\n            if (value >> 32 > 0) {\n                value >>= 32;\n                result += 4;\n            }\n            if (value >> 16 > 0) {\n                value >>= 16;\n                result += 2;\n            }\n            if (value >> 8 > 0) {\n                result += 1;\n            }\n        }\n        return result;\n    }\n\n    /**\n     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = log256(value);\n            return result + (rounding == Rounding.Up && 1 << (result * 8) < value ? 1 : 0);\n        }\n    }\n}\n"}],"certified":false,"conflicting_implementations":null,"abi":[{"inputs":[{"internalType":"string","name":"nameIrrevocable","type":"string"},{"internalType":"string","name":"symbolIrrevocable","type":"string"},{"internalType":"address","name":"tokenizationAgent","type":"address"},{"internalType":"address","name":"payingAgent","type":"address"},{"internalType":"string","name":"tokenId_","type":"string"},{"internalType":"string","name":"terms_","type":"string"},{"internalType":"contract IEIP1404Wrapper","name":"ruleEngine_","type":"address"},{"internalType":"string","name":"information_","type":"string"},{"internalType":"uint256","name":"flag_","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"reason","type":"string"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"name","type":"bytes32"},{"indexed":false,"internalType":"string","name":"uri","type":"string"},{"indexed":false,"internalType":"bytes32","name":"documentHash","type":"bytes32"}],"name":"DocumentRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"name","type":"bytes32"},{"indexed":false,"internalType":"string","name":"uri","type":"string"},{"indexed":false,"internalType":"bytes32","name":"documentHash","type":"bytes32"}],"name":"DocumentUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"newFlag","type":"uint256"}],"name":"Flag","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"reason","type":"string"}],"name":"ForcedTransfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"enforcer","type":"address"},{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"string","name":"reasonIndexed","type":"string"},{"indexed":false,"internalType":"string","name":"reason","type":"string"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"string","name":"newInformationIndexed","type":"string"},{"indexed":false,"internalType":"string","name":"newInformation","type":"string"}],"name":"Information","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint8","name":"version","type":"uint8"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"previousAdminRole","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"newAdminRole","type":"bytes32"}],"name":"RoleAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleGranted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"contract IEIP1404Wrapper","name":"newRuleEngine","type":"address"}],"name":"RuleEngine","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Spend","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"string","name":"newTermIndexed","type":"string"},{"indexed":false,"internalType":"string","name":"newTerm","type":"string"}],"name":"Term","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"string","name":"newTokenIdIndexed","type":"string"},{"indexed":false,"internalType":"string","name":"newTokenId","type":"string"}],"name":"TokenId","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"enforcer","type":"address"},{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"string","name":"reasonIndexed","type":"string"},{"indexed":false,"internalType":"string","name":"reason","type":"string"}],"name":"Unfreeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"BURNER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEBT_CREDIT_EVENT_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEBT_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEFAULT_ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ENFORCER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINTER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PAUSER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SNAPSHOOTER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TA_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"currentAllowance","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"detectTransferRestriction","outputs":[{"internalType":"uint8","name":"code","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"flag","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"reason","type":"string"}],"name":"forceBurn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"reason","type":"string"}],"name":"forceTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"string","name":"reason","type":"string"}],"name":"freeze","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"frozen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"documentName","type":"bytes32"}],"name":"getDocument","outputs":[{"internalType":"string","name":"","type":"string"},{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleAdmin","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"grantRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"hasRole","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"information","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"admin","type":"address"},{"internalType":"string","name":"nameIrrevocable","type":"string"},{"internalType":"string","name":"symbolIrrevocable","type":"string"},{"internalType":"string","name":"tokenId_","type":"string"},{"internalType":"string","name":"terms_","type":"string"},{"internalType":"contract IEIP1404Wrapper","name":"ruleEngine_","type":"address"},{"internalType":"string","name":"information_","type":"string"},{"internalType":"uint256","name":"flag_","type":"uint256"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"kill","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8","name":"restrictionCode","type":"uint8"}],"name":"messageForTransferRestriction","outputs":[{"internalType":"string","name":"message","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"documentName","type":"bytes32"}],"name":"removeDocument","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"renounceRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"revokeRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ruleEngine","outputs":[{"internalType":"contract IEIP1404Wrapper","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"documentName","type":"bytes32"},{"internalType":"string","name":"uri","type":"string"},{"internalType":"bytes32","name":"documentHash","type":"bytes32"}],"name":"setDocument","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"flag_","type":"uint256"}],"name":"setFlag","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"information_","type":"string"}],"name":"setInformation","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"contract IEIP1404Wrapper","name":"ruleEngine_","type":"address"}],"name":"setRuleEngine","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"terms_","type":"string"}],"name":"setTerms","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"tokenId_","type":"string"}],"name":"setTokenId","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"terms","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenId","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"string","name":"reason","type":"string"}],"name":"unfreeze","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"validateTransfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}],"is_changed_bytecode":false,"is_partially_verified":true,"constructor_args":"0x00000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000180000000000000000000000000dac87349d8afd2989515deadb3692bb8edf749c4000000000000000000000000dac87349d8afd2989515deadb3692bb8edf749c400000000000000000000000000000000000000000000000000000000000001c00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000e7884738e60967e5d35882a4bceb2d6bc843b61e00000000000000000000000000000000000000000000000000000000000002400000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000002a55425320555344204d6f6e6579204d61726b657420496e766573746d656e742046756e6420546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005754d494e54000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c5347585a383933383634383600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005424c414e4b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019436c6173732041542d6163632028555344292053686172657300000000000000"}