{
  "contractName": "TBTCDevelopmentConstants",
  "abi": [
    {
      "constant": true,
      "inputs": [],
      "name": "AUCTION_DURATION",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "BENEFICIARY_FEE_DIVISOR",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "COURTESY_CALL_DURATION",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "DEPOSIT_TERM_LENGTH",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "FORMATION_TIMEOUT",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "FUNDING_PROOF_TIMEOUT",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "INCREASE_FEE_TIMER",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "MINIMUM_REDEMPTION_FEE",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "REDEMPTION_PROOF_TIMEOUT",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "REDEMPTION_SIGNATURE_TIMEOUT",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "SATOSHI_MULTIPLIER",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "TX_PROOF_DIFFICULTY_FACTOR",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getBeneficiaryRewardDivisor",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getSatoshiMultiplier",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getDepositTerm",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getTxProofDifficultyFactor",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getSignatureTimeout",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getIncreaseFeeTimer",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getRedemptionProofTimeout",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getMinimumRedemptionFee",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getFundingTimeout",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getSigningGroupFormationTimeout",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getCourtesyCallTimeout",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [],
      "name": "getAuctionDuration",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "metadata": "{\"compiler\":{\"version\":\"0.5.17+commit.d19bba13\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"constant\":true,\"inputs\":[],\"name\":\"AUCTION_DURATION\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"BENEFICIARY_FEE_DIVISOR\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"COURTESY_CALL_DURATION\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"DEPOSIT_TERM_LENGTH\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"FORMATION_TIMEOUT\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"FUNDING_PROOF_TIMEOUT\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"INCREASE_FEE_TIMER\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"MINIMUM_REDEMPTION_FEE\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"REDEMPTION_PROOF_TIMEOUT\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"REDEMPTION_SIGNATURE_TIMEOUT\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"SATOSHI_MULTIPLIER\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"TX_PROOF_DIFFICULTY_FACTOR\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getAuctionDuration\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getBeneficiaryRewardDivisor\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getCourtesyCallTimeout\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getDepositTerm\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getFundingTimeout\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getIncreaseFeeTimer\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getMinimumRedemptionFee\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getRedemptionProofTimeout\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getSatoshiMultiplier\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getSignatureTimeout\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getSigningGroupFormationTimeout\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getTxProofDifficultyFactor\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"methods\":{},\"title\":\"TBTCDevelopmentConstants\"},\"userdoc\":{\"methods\":{},\"notice\":\"Constants for development testnet usages; tuned for testing and         faster iteration rather than security. These should NOT be deployed         on mainnet or mainnet-like (\\\"staging\\\") environments.\"}},\"settings\":{\"compilationTarget\":{\"/home/runner/work/tbtc/tbtc/solidity/contracts/system/TBTCDevelopmentConstants.sol\":\"TBTCDevelopmentConstants\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/home/runner/work/tbtc/tbtc/solidity/contracts/system/TBTCDevelopmentConstants.sol\":{\"keccak256\":\"0xcffb396bd582ef7abfcd7d56b8af33121780f824a1cce6bea0f86f529e2bfbef\",\"urls\":[\"bzz-raw://9c87f10d0fbf6b53ce57aa5052c641e8e0f38ac37894657c9dc0c4776aa38bff\",\"dweb:/ipfs/QmQCdPCvwzhj2eTswwerhET58tnYKumCJtCk1oLUTLHDoE\"]}},\"version\":1}",
  "bytecode": "0x6102cc610026600b82828239805160001a60731461001957fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600436106101625760003560e01c80639b3fd99f116100cd578063c342b1f711610086578063c342b1f714610199578063c7ba0347146101f9578063d565d1f114610201578063d891dcdb14610209578063f653c0b914610211578063fc94f1d6146101e957610162565b80639b3fd99f146101d1578063a1f6c639146101d9578063a271e525146101e1578063a99b528314610189578063ac8bfdad146101e9578063ae9eb127146101f157610162565b80635b6b452a1161011f5780635b6b452a146101a95780636da1dda2146101b1578063741b5e4c146101b957806378cb51af146101c157806386322af7146101c95780639887426d146101a157610162565b806302b7044b146101675780630a913dea1461018157806312aeac8314610189578063242c0ed01461019157806338c86093146101995780635480b4b2146101a1575b600080fd5b61016f610219565b60408051918252519081900360200190f35b61016f61021e565b61016f610225565b61016f61022b565b61016f610231565b61016f610237565b61016f61023d565b61016f610243565b61016f610249565b61016f61024e565b61016f610255565b61016f61025a565b61016f61025f565b61016f610265565b61016f61026c565b61016f610272565b61016f61027b565b61016f610284565b61016f61028b565b61016f610291565b600181565b62ed4e0081565b612a3081565b61384081565b612a3090565b61546090565b611c2081565b6103e881565b609681565b6201518090565b609690565b600190565b6103e890565b6201518081565b61546081565b6402540be40090565b6402540be40081565b62ed4e0090565b611c2090565b6138409056fea265627a7a72315820a193bd091965e007ba116df9000ebf1a9f744f323e9c8277028d7078a8df028364736f6c63430005110032",
  "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600436106101625760003560e01c80639b3fd99f116100cd578063c342b1f711610086578063c342b1f714610199578063c7ba0347146101f9578063d565d1f114610201578063d891dcdb14610209578063f653c0b914610211578063fc94f1d6146101e957610162565b80639b3fd99f146101d1578063a1f6c639146101d9578063a271e525146101e1578063a99b528314610189578063ac8bfdad146101e9578063ae9eb127146101f157610162565b80635b6b452a1161011f5780635b6b452a146101a95780636da1dda2146101b1578063741b5e4c146101b957806378cb51af146101c157806386322af7146101c95780639887426d146101a157610162565b806302b7044b146101675780630a913dea1461018157806312aeac8314610189578063242c0ed01461019157806338c86093146101995780635480b4b2146101a1575b600080fd5b61016f610219565b60408051918252519081900360200190f35b61016f61021e565b61016f610225565b61016f61022b565b61016f610231565b61016f610237565b61016f61023d565b61016f610243565b61016f610249565b61016f61024e565b61016f610255565b61016f61025a565b61016f61025f565b61016f610265565b61016f61026c565b61016f610272565b61016f61027b565b61016f610284565b61016f61028b565b61016f610291565b600181565b62ed4e0081565b612a3081565b61384081565b612a3090565b61546090565b611c2081565b6103e881565b609681565b6201518090565b609690565b600190565b6103e890565b6201518081565b61546081565b6402540be40090565b6402540be40081565b62ed4e0090565b611c2090565b6138409056fea265627a7a72315820a193bd091965e007ba116df9000ebf1a9f744f323e9c8277028d7078a8df028364736f6c63430005110032",
  "sourceMap": "282:2693:23:-;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24",
  "deployedSourceMap": "282:2693:23:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;775:54;;;:::i;:::-;;;;;;;;;;;;;;;;682:64;;;:::i;1222:59::-;;;:::i;980:56::-;;;:::i;2519:106::-;;;:::i;2277:117::-;;;:::i;897:66::-;;;:::i;478:54::-;;;:::i;1132:52::-;;;:::i;2871:102::-;;;:::i;2400:113::-;;;:::i;1919:120::-;;;:::i;1576:118::-;;;:::i;1472:55::-;;;:::i;1053:62::-;;;:::i;1700:106::-;;;:::i;572:51::-;;;:::i;1812:101::-;;;:::i;2045:115::-;;;:::i;2166:105::-;;;:::i;775:54::-;828:1;775:54;:::o;682:64::-;728:18;682:64;:::o;1222:59::-;1270:11;1222:59;:::o;980:56::-;1025:11;980:56;:::o;2519:106::-;1270:11;2519:106;:::o;2277:117::-;1104:11;2277:117;:::o;897:66::-;952:11;897:66;:::o;478:54::-;528:4;478:54;:::o;1132:52::-;1181:3;1132:52;:::o;2871:102::-;1515:12;2871:102;:::o;2400:113::-;1181:3;2400:113;:::o;1919:120::-;828:1;1919:120;:::o;1576:118::-;528:4;1576:118;:::o;1472:55::-;1515:12;1472:55;:::o;1053:62::-;1104:11;1053:62;:::o;1700:106::-;617:6;1700:106;:::o;572:51::-;617:6;572:51;:::o;1812:101::-;728:18;1812:101;:::o;2045:115::-;952:11;2045:115;:::o;2166:105::-;1025:11;2166:105;:::o",
  "source": "pragma solidity 0.5.17;\n\n/// @title TBTCDevelopmentConstants\n/// @notice Constants for development testnet usages; tuned for testing and\n///         faster iteration rather than security. These should NOT be deployed\n///         on mainnet or mainnet-like (\"staging\") environments.\nlibrary TBTCDevelopmentConstants {\n    // This is intended to make it easy to update system params\n    // During testing swap this out with another constats contract\n\n    // System Parameters\n    uint256 public constant BENEFICIARY_FEE_DIVISOR = 1000; // 1/1000 = 10 bps = 0.1% = 0.001\n    uint256 public constant SATOSHI_MULTIPLIER = 10**10; // multiplier to convert satoshi to TBTC token units\n    uint256 public constant DEPOSIT_TERM_LENGTH = 180 * 24 * 60 * 60; // 180 days in seconds\n    uint256 public constant TX_PROOF_DIFFICULTY_FACTOR = 1; // confirmations on the Bitcoin chain\n\n    // Redemption Flow\n    uint256 public constant REDEMPTION_SIGNATURE_TIMEOUT = 2 * 60 * 60; // seconds\n    uint256 public constant INCREASE_FEE_TIMER = 4 * 60 * 60; // seconds\n    uint256 public constant REDEMPTION_PROOF_TIMEOUT = 6 * 60 * 60; // seconds\n    uint256 public constant MINIMUM_REDEMPTION_FEE = 150; // satoshi\n\n    // Funding Flow\n    uint256 public constant FUNDING_PROOF_TIMEOUT = 3 * 60 * 60; // seconds\n    uint256 public constant FORMATION_TIMEOUT = 3 * 60 * 60; // seconds\n\n    // Liquidation Flow\n    uint256 public constant COURTESY_CALL_DURATION = 6 * 60 * 60; // seconds\n    uint256 public constant AUCTION_DURATION = 24 * 60 * 60; // seconds\n\n    // Getters for easy access\n    function getBeneficiaryRewardDivisor() external pure returns (uint256) {\n        return BENEFICIARY_FEE_DIVISOR;\n    }\n\n    function getSatoshiMultiplier() external pure returns (uint256) {\n        return SATOSHI_MULTIPLIER;\n    }\n\n    function getDepositTerm() external pure returns (uint256) {\n        return DEPOSIT_TERM_LENGTH;\n    }\n\n    function getTxProofDifficultyFactor() external pure returns (uint256) {\n        return TX_PROOF_DIFFICULTY_FACTOR;\n    }\n\n    function getSignatureTimeout() external pure returns (uint256) {\n        return REDEMPTION_SIGNATURE_TIMEOUT;\n    }\n\n    function getIncreaseFeeTimer() external pure returns (uint256) {\n        return INCREASE_FEE_TIMER;\n    }\n\n    function getRedemptionProofTimeout() external pure returns (uint256) {\n        return REDEMPTION_PROOF_TIMEOUT;\n    }\n\n    function getMinimumRedemptionFee() external pure returns (uint256) {\n        return MINIMUM_REDEMPTION_FEE;\n    }\n\n    function getFundingTimeout() external pure returns (uint256) {\n        return FUNDING_PROOF_TIMEOUT;\n    }\n\n    function getSigningGroupFormationTimeout() external pure returns (uint256) {\n        return FORMATION_TIMEOUT;\n    }\n\n    function getCourtesyCallTimeout() external pure returns (uint256) {\n        return COURTESY_CALL_DURATION;\n    }\n\n    function getAuctionDuration() external pure returns (uint256) {\n        return AUCTION_DURATION;\n    }\n}\n",
  "sourcePath": "/home/runner/work/tbtc/tbtc/solidity/contracts/system/TBTCDevelopmentConstants.sol",
  "ast": {
    "absolutePath": "/home/runner/work/tbtc/tbtc/solidity/contracts/system/TBTCDevelopmentConstants.sol",
    "exportedSymbols": {
      "TBTCDevelopmentConstants": [
        7015
      ]
    },
    "id": 7016,
    "nodeType": "SourceUnit",
    "nodes": [
      {
        "id": 6846,
        "literals": [
          "solidity",
          "0.5",
          ".17"
        ],
        "nodeType": "PragmaDirective",
        "src": "0:23:23"
      },
      {
        "baseContracts": [],
        "contractDependencies": [],
        "contractKind": "library",
        "documentation": "@title TBTCDevelopmentConstants\n @notice Constants for development testnet usages; tuned for testing and\n         faster iteration rather than security. These should NOT be deployed\n         on mainnet or mainnet-like (\"staging\") environments.",
        "fullyImplemented": true,
        "id": 7015,
        "linearizedBaseContracts": [
          7015
        ],
        "name": "TBTCDevelopmentConstants",
        "nodeType": "ContractDefinition",
        "nodes": [
          {
            "constant": true,
            "id": 6849,
            "name": "BENEFICIARY_FEE_DIVISOR",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "478:54:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6847,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "478:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "31303030",
              "id": 6848,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "528:4:23",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_1000_by_1",
                "typeString": "int_const 1000"
              },
              "value": "1000"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6854,
            "name": "SATOSHI_MULTIPLIER",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "572:51:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6850,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "572:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_10000000000_by_1",
                "typeString": "int_const 10000000000"
              },
              "id": 6853,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "hexValue": "3130",
                "id": 6851,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "617:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_10_by_1",
                  "typeString": "int_const 10"
                },
                "value": "10"
              },
              "nodeType": "BinaryOperation",
              "operator": "**",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3130",
                "id": 6852,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "621:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_10_by_1",
                  "typeString": "int_const 10"
                },
                "value": "10"
              },
              "src": "617:6:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_10000000000_by_1",
                "typeString": "int_const 10000000000"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6863,
            "name": "DEPOSIT_TERM_LENGTH",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "682:64:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6855,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "682:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_15552000_by_1",
                "typeString": "int_const 15552000"
              },
              "id": 6862,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_259200_by_1",
                  "typeString": "int_const 259200"
                },
                "id": 6860,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_4320_by_1",
                    "typeString": "int_const 4320"
                  },
                  "id": 6858,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "leftExpression": {
                    "argumentTypes": null,
                    "hexValue": "313830",
                    "id": 6856,
                    "isConstant": false,
                    "isLValue": false,
                    "isPure": true,
                    "kind": "number",
                    "lValueRequested": false,
                    "nodeType": "Literal",
                    "src": "728:3:23",
                    "subdenomination": null,
                    "typeDescriptions": {
                      "typeIdentifier": "t_rational_180_by_1",
                      "typeString": "int_const 180"
                    },
                    "value": "180"
                  },
                  "nodeType": "BinaryOperation",
                  "operator": "*",
                  "rightExpression": {
                    "argumentTypes": null,
                    "hexValue": "3234",
                    "id": 6857,
                    "isConstant": false,
                    "isLValue": false,
                    "isPure": true,
                    "kind": "number",
                    "lValueRequested": false,
                    "nodeType": "Literal",
                    "src": "734:2:23",
                    "subdenomination": null,
                    "typeDescriptions": {
                      "typeIdentifier": "t_rational_24_by_1",
                      "typeString": "int_const 24"
                    },
                    "value": "24"
                  },
                  "src": "728:8:23",
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_4320_by_1",
                    "typeString": "int_const 4320"
                  }
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6859,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "739:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "728:13:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_259200_by_1",
                  "typeString": "int_const 259200"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6861,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "744:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "728:18:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_15552000_by_1",
                "typeString": "int_const 15552000"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6866,
            "name": "TX_PROOF_DIFFICULTY_FACTOR",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "775:54:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6864,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "775:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "31",
              "id": 6865,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "828:1:23",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_1_by_1",
                "typeString": "int_const 1"
              },
              "value": "1"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6873,
            "name": "REDEMPTION_SIGNATURE_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "897:66:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6867,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "897:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_7200_by_1",
                "typeString": "int_const 7200"
              },
              "id": 6872,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_120_by_1",
                  "typeString": "int_const 120"
                },
                "id": 6870,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "32",
                  "id": 6868,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "952:1:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_2_by_1",
                    "typeString": "int_const 2"
                  },
                  "value": "2"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6869,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "956:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "952:6:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_120_by_1",
                  "typeString": "int_const 120"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6871,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "961:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "952:11:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_7200_by_1",
                "typeString": "int_const 7200"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6880,
            "name": "INCREASE_FEE_TIMER",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "980:56:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6874,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "980:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_14400_by_1",
                "typeString": "int_const 14400"
              },
              "id": 6879,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_240_by_1",
                  "typeString": "int_const 240"
                },
                "id": 6877,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "34",
                  "id": 6875,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1025:1:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_4_by_1",
                    "typeString": "int_const 4"
                  },
                  "value": "4"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6876,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1029:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1025:6:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_240_by_1",
                  "typeString": "int_const 240"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6878,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1034:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1025:11:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_14400_by_1",
                "typeString": "int_const 14400"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6887,
            "name": "REDEMPTION_PROOF_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "1053:62:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6881,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1053:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              },
              "id": 6886,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                },
                "id": 6884,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "36",
                  "id": 6882,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1104:1:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_6_by_1",
                    "typeString": "int_const 6"
                  },
                  "value": "6"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6883,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1108:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1104:6:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6885,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1113:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1104:11:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6890,
            "name": "MINIMUM_REDEMPTION_FEE",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "1132:52:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6888,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1132:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "313530",
              "id": 6889,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "1181:3:23",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_150_by_1",
                "typeString": "int_const 150"
              },
              "value": "150"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6897,
            "name": "FUNDING_PROOF_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "1222:59:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6891,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1222:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              },
              "id": 6896,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                },
                "id": 6894,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "33",
                  "id": 6892,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1270:1:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_3_by_1",
                    "typeString": "int_const 3"
                  },
                  "value": "3"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6893,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1274:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1270:6:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6895,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1279:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1270:11:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6904,
            "name": "FORMATION_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "1298:55:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6898,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1298:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              },
              "id": 6903,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                },
                "id": 6901,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "33",
                  "id": 6899,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1342:1:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_3_by_1",
                    "typeString": "int_const 3"
                  },
                  "value": "3"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6900,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1346:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1342:6:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6902,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1351:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1342:11:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6911,
            "name": "COURTESY_CALL_DURATION",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "1395:60:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6905,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1395:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              },
              "id": 6910,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                },
                "id": 6908,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "36",
                  "id": 6906,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1444:1:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_6_by_1",
                    "typeString": "int_const 6"
                  },
                  "value": "6"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6907,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1448:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1444:6:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6909,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1453:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1444:11:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 6918,
            "name": "AUCTION_DURATION",
            "nodeType": "VariableDeclaration",
            "scope": 7015,
            "src": "1472:55:23",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 6912,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1472:7:23",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_86400_by_1",
                "typeString": "int_const 86400"
              },
              "id": 6917,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_1440_by_1",
                  "typeString": "int_const 1440"
                },
                "id": 6915,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "3234",
                  "id": 6913,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1515:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_24_by_1",
                    "typeString": "int_const 24"
                  },
                  "value": "24"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 6914,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1520:2:23",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1515:7:23",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_1440_by_1",
                  "typeString": "int_const 1440"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 6916,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1525:2:23",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1515:12:23",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_86400_by_1",
                "typeString": "int_const 86400"
              }
            },
            "visibility": "public"
          },
          {
            "body": {
              "id": 6925,
              "nodeType": "Block",
              "src": "1647:47:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6923,
                    "name": "BENEFICIARY_FEE_DIVISOR",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6849,
                    "src": "1664:23:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6922,
                  "id": 6924,
                  "nodeType": "Return",
                  "src": "1657:30:23"
                }
              ]
            },
            "documentation": null,
            "id": 6926,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getBeneficiaryRewardDivisor",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6919,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1612:2:23"
            },
            "returnParameters": {
              "id": 6922,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6921,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6926,
                  "src": "1638:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6920,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1638:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1637:9:23"
            },
            "scope": 7015,
            "src": "1576:118:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6933,
              "nodeType": "Block",
              "src": "1764:42:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6931,
                    "name": "SATOSHI_MULTIPLIER",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6854,
                    "src": "1781:18:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6930,
                  "id": 6932,
                  "nodeType": "Return",
                  "src": "1774:25:23"
                }
              ]
            },
            "documentation": null,
            "id": 6934,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getSatoshiMultiplier",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6927,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1729:2:23"
            },
            "returnParameters": {
              "id": 6930,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6929,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6934,
                  "src": "1755:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6928,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1755:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1754:9:23"
            },
            "scope": 7015,
            "src": "1700:106:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6941,
              "nodeType": "Block",
              "src": "1870:43:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6939,
                    "name": "DEPOSIT_TERM_LENGTH",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6863,
                    "src": "1887:19:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6938,
                  "id": 6940,
                  "nodeType": "Return",
                  "src": "1880:26:23"
                }
              ]
            },
            "documentation": null,
            "id": 6942,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getDepositTerm",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6935,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1835:2:23"
            },
            "returnParameters": {
              "id": 6938,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6937,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6942,
                  "src": "1861:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6936,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1861:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1860:9:23"
            },
            "scope": 7015,
            "src": "1812:101:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6949,
              "nodeType": "Block",
              "src": "1989:50:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6947,
                    "name": "TX_PROOF_DIFFICULTY_FACTOR",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6866,
                    "src": "2006:26:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6946,
                  "id": 6948,
                  "nodeType": "Return",
                  "src": "1999:33:23"
                }
              ]
            },
            "documentation": null,
            "id": 6950,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getTxProofDifficultyFactor",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6943,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1954:2:23"
            },
            "returnParameters": {
              "id": 6946,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6945,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6950,
                  "src": "1980:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6944,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1980:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1979:9:23"
            },
            "scope": 7015,
            "src": "1919:120:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6957,
              "nodeType": "Block",
              "src": "2108:52:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6955,
                    "name": "REDEMPTION_SIGNATURE_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6873,
                    "src": "2125:28:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6954,
                  "id": 6956,
                  "nodeType": "Return",
                  "src": "2118:35:23"
                }
              ]
            },
            "documentation": null,
            "id": 6958,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getSignatureTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6951,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2073:2:23"
            },
            "returnParameters": {
              "id": 6954,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6953,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6958,
                  "src": "2099:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6952,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2099:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2098:9:23"
            },
            "scope": 7015,
            "src": "2045:115:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6965,
              "nodeType": "Block",
              "src": "2229:42:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6963,
                    "name": "INCREASE_FEE_TIMER",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6880,
                    "src": "2246:18:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6962,
                  "id": 6964,
                  "nodeType": "Return",
                  "src": "2239:25:23"
                }
              ]
            },
            "documentation": null,
            "id": 6966,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getIncreaseFeeTimer",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6959,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2194:2:23"
            },
            "returnParameters": {
              "id": 6962,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6961,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6966,
                  "src": "2220:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6960,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2220:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2219:9:23"
            },
            "scope": 7015,
            "src": "2166:105:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6973,
              "nodeType": "Block",
              "src": "2346:48:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6971,
                    "name": "REDEMPTION_PROOF_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6887,
                    "src": "2363:24:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6970,
                  "id": 6972,
                  "nodeType": "Return",
                  "src": "2356:31:23"
                }
              ]
            },
            "documentation": null,
            "id": 6974,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getRedemptionProofTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6967,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2311:2:23"
            },
            "returnParameters": {
              "id": 6970,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6969,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6974,
                  "src": "2337:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6968,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2337:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2336:9:23"
            },
            "scope": 7015,
            "src": "2277:117:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6981,
              "nodeType": "Block",
              "src": "2467:46:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6979,
                    "name": "MINIMUM_REDEMPTION_FEE",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6890,
                    "src": "2484:22:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6978,
                  "id": 6980,
                  "nodeType": "Return",
                  "src": "2477:29:23"
                }
              ]
            },
            "documentation": null,
            "id": 6982,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getMinimumRedemptionFee",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6975,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2432:2:23"
            },
            "returnParameters": {
              "id": 6978,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6977,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6982,
                  "src": "2458:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6976,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2458:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2457:9:23"
            },
            "scope": 7015,
            "src": "2400:113:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6989,
              "nodeType": "Block",
              "src": "2580:45:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6987,
                    "name": "FUNDING_PROOF_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6897,
                    "src": "2597:21:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6986,
                  "id": 6988,
                  "nodeType": "Return",
                  "src": "2590:28:23"
                }
              ]
            },
            "documentation": null,
            "id": 6990,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getFundingTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6983,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2545:2:23"
            },
            "returnParameters": {
              "id": 6986,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6985,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6990,
                  "src": "2571:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6984,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2571:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2570:9:23"
            },
            "scope": 7015,
            "src": "2519:106:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 6997,
              "nodeType": "Block",
              "src": "2706:41:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 6995,
                    "name": "FORMATION_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6904,
                    "src": "2723:17:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 6994,
                  "id": 6996,
                  "nodeType": "Return",
                  "src": "2716:24:23"
                }
              ]
            },
            "documentation": null,
            "id": 6998,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getSigningGroupFormationTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6991,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2671:2:23"
            },
            "returnParameters": {
              "id": 6994,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 6993,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 6998,
                  "src": "2697:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 6992,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2697:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2696:9:23"
            },
            "scope": 7015,
            "src": "2631:116:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 7005,
              "nodeType": "Block",
              "src": "2819:46:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 7003,
                    "name": "COURTESY_CALL_DURATION",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6911,
                    "src": "2836:22:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 7002,
                  "id": 7004,
                  "nodeType": "Return",
                  "src": "2829:29:23"
                }
              ]
            },
            "documentation": null,
            "id": 7006,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getCourtesyCallTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 6999,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2784:2:23"
            },
            "returnParameters": {
              "id": 7002,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 7001,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 7006,
                  "src": "2810:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 7000,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2810:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2809:9:23"
            },
            "scope": 7015,
            "src": "2753:112:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          },
          {
            "body": {
              "id": 7013,
              "nodeType": "Block",
              "src": "2933:40:23",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 7011,
                    "name": "AUCTION_DURATION",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 6918,
                    "src": "2950:16:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 7010,
                  "id": 7012,
                  "nodeType": "Return",
                  "src": "2943:23:23"
                }
              ]
            },
            "documentation": null,
            "id": 7014,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getAuctionDuration",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 7007,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2898:2:23"
            },
            "returnParameters": {
              "id": 7010,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 7009,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 7014,
                  "src": "2924:7:23",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 7008,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2924:7:23",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2923:9:23"
            },
            "scope": 7015,
            "src": "2871:102:23",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "external"
          }
        ],
        "scope": 7016,
        "src": "282:2693:23"
      }
    ],
    "src": "0:2976:23"
  },
  "legacyAST": {
    "attributes": {
      "absolutePath": "/home/runner/work/tbtc/tbtc/solidity/contracts/system/TBTCDevelopmentConstants.sol",
      "exportedSymbols": {
        "TBTCDevelopmentConstants": [
          7015
        ]
      }
    },
    "children": [
      {
        "attributes": {
          "literals": [
            "solidity",
            "0.5",
            ".17"
          ]
        },
        "id": 6846,
        "name": "PragmaDirective",
        "src": "0:23:23"
      },
      {
        "attributes": {
          "baseContracts": [
            null
          ],
          "contractDependencies": [
            null
          ],
          "contractKind": "library",
          "documentation": "@title TBTCDevelopmentConstants\n @notice Constants for development testnet usages; tuned for testing and\n         faster iteration rather than security. These should NOT be deployed\n         on mainnet or mainnet-like (\"staging\") environments.",
          "fullyImplemented": true,
          "linearizedBaseContracts": [
            7015
          ],
          "name": "TBTCDevelopmentConstants",
          "scope": 7016
        },
        "children": [
          {
            "attributes": {
              "constant": true,
              "name": "BENEFICIARY_FEE_DIVISOR",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6847,
                "name": "ElementaryTypeName",
                "src": "478:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "31303030",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 1000",
                  "value": "1000"
                },
                "id": 6848,
                "name": "Literal",
                "src": "528:4:23"
              }
            ],
            "id": 6849,
            "name": "VariableDeclaration",
            "src": "478:54:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "SATOSHI_MULTIPLIER",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6850,
                "name": "ElementaryTypeName",
                "src": "572:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_10000000000_by_1",
                    "typeString": "int_const 10000000000"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "**",
                  "type": "int_const 10000000000"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3130",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 10",
                      "value": "10"
                    },
                    "id": 6851,
                    "name": "Literal",
                    "src": "617:2:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3130",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 10",
                      "value": "10"
                    },
                    "id": 6852,
                    "name": "Literal",
                    "src": "621:2:23"
                  }
                ],
                "id": 6853,
                "name": "BinaryOperation",
                "src": "617:6:23"
              }
            ],
            "id": 6854,
            "name": "VariableDeclaration",
            "src": "572:51:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "DEPOSIT_TERM_LENGTH",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6855,
                "name": "ElementaryTypeName",
                "src": "682:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_15552000_by_1",
                    "typeString": "int_const 15552000"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 15552000"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_259200_by_1",
                        "typeString": "int_const 259200"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 259200"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "commonType": {
                            "typeIdentifier": "t_rational_4320_by_1",
                            "typeString": "int_const 4320"
                          },
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "operator": "*",
                          "type": "int_const 4320"
                        },
                        "children": [
                          {
                            "attributes": {
                              "argumentTypes": null,
                              "hexvalue": "313830",
                              "isConstant": false,
                              "isLValue": false,
                              "isPure": true,
                              "lValueRequested": false,
                              "subdenomination": null,
                              "token": "number",
                              "type": "int_const 180",
                              "value": "180"
                            },
                            "id": 6856,
                            "name": "Literal",
                            "src": "728:3:23"
                          },
                          {
                            "attributes": {
                              "argumentTypes": null,
                              "hexvalue": "3234",
                              "isConstant": false,
                              "isLValue": false,
                              "isPure": true,
                              "lValueRequested": false,
                              "subdenomination": null,
                              "token": "number",
                              "type": "int_const 24",
                              "value": "24"
                            },
                            "id": 6857,
                            "name": "Literal",
                            "src": "734:2:23"
                          }
                        ],
                        "id": 6858,
                        "name": "BinaryOperation",
                        "src": "728:8:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6859,
                        "name": "Literal",
                        "src": "739:2:23"
                      }
                    ],
                    "id": 6860,
                    "name": "BinaryOperation",
                    "src": "728:13:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6861,
                    "name": "Literal",
                    "src": "744:2:23"
                  }
                ],
                "id": 6862,
                "name": "BinaryOperation",
                "src": "728:18:23"
              }
            ],
            "id": 6863,
            "name": "VariableDeclaration",
            "src": "682:64:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "TX_PROOF_DIFFICULTY_FACTOR",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6864,
                "name": "ElementaryTypeName",
                "src": "775:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "31",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 1",
                  "value": "1"
                },
                "id": 6865,
                "name": "Literal",
                "src": "828:1:23"
              }
            ],
            "id": 6866,
            "name": "VariableDeclaration",
            "src": "775:54:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "REDEMPTION_SIGNATURE_TIMEOUT",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6867,
                "name": "ElementaryTypeName",
                "src": "897:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_7200_by_1",
                    "typeString": "int_const 7200"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 7200"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_120_by_1",
                        "typeString": "int_const 120"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 120"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "32",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 2",
                          "value": "2"
                        },
                        "id": 6868,
                        "name": "Literal",
                        "src": "952:1:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6869,
                        "name": "Literal",
                        "src": "956:2:23"
                      }
                    ],
                    "id": 6870,
                    "name": "BinaryOperation",
                    "src": "952:6:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6871,
                    "name": "Literal",
                    "src": "961:2:23"
                  }
                ],
                "id": 6872,
                "name": "BinaryOperation",
                "src": "952:11:23"
              }
            ],
            "id": 6873,
            "name": "VariableDeclaration",
            "src": "897:66:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "INCREASE_FEE_TIMER",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6874,
                "name": "ElementaryTypeName",
                "src": "980:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_14400_by_1",
                    "typeString": "int_const 14400"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 14400"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_240_by_1",
                        "typeString": "int_const 240"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 240"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "34",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 4",
                          "value": "4"
                        },
                        "id": 6875,
                        "name": "Literal",
                        "src": "1025:1:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6876,
                        "name": "Literal",
                        "src": "1029:2:23"
                      }
                    ],
                    "id": 6877,
                    "name": "BinaryOperation",
                    "src": "1025:6:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6878,
                    "name": "Literal",
                    "src": "1034:2:23"
                  }
                ],
                "id": 6879,
                "name": "BinaryOperation",
                "src": "1025:11:23"
              }
            ],
            "id": 6880,
            "name": "VariableDeclaration",
            "src": "980:56:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "REDEMPTION_PROOF_TIMEOUT",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6881,
                "name": "ElementaryTypeName",
                "src": "1053:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_21600_by_1",
                    "typeString": "int_const 21600"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 21600"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_360_by_1",
                        "typeString": "int_const 360"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 360"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "36",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 6",
                          "value": "6"
                        },
                        "id": 6882,
                        "name": "Literal",
                        "src": "1104:1:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6883,
                        "name": "Literal",
                        "src": "1108:2:23"
                      }
                    ],
                    "id": 6884,
                    "name": "BinaryOperation",
                    "src": "1104:6:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6885,
                    "name": "Literal",
                    "src": "1113:2:23"
                  }
                ],
                "id": 6886,
                "name": "BinaryOperation",
                "src": "1104:11:23"
              }
            ],
            "id": 6887,
            "name": "VariableDeclaration",
            "src": "1053:62:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "MINIMUM_REDEMPTION_FEE",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6888,
                "name": "ElementaryTypeName",
                "src": "1132:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "313530",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 150",
                  "value": "150"
                },
                "id": 6889,
                "name": "Literal",
                "src": "1181:3:23"
              }
            ],
            "id": 6890,
            "name": "VariableDeclaration",
            "src": "1132:52:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "FUNDING_PROOF_TIMEOUT",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6891,
                "name": "ElementaryTypeName",
                "src": "1222:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_10800_by_1",
                    "typeString": "int_const 10800"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 10800"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_180_by_1",
                        "typeString": "int_const 180"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 180"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "33",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 3",
                          "value": "3"
                        },
                        "id": 6892,
                        "name": "Literal",
                        "src": "1270:1:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6893,
                        "name": "Literal",
                        "src": "1274:2:23"
                      }
                    ],
                    "id": 6894,
                    "name": "BinaryOperation",
                    "src": "1270:6:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6895,
                    "name": "Literal",
                    "src": "1279:2:23"
                  }
                ],
                "id": 6896,
                "name": "BinaryOperation",
                "src": "1270:11:23"
              }
            ],
            "id": 6897,
            "name": "VariableDeclaration",
            "src": "1222:59:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "FORMATION_TIMEOUT",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6898,
                "name": "ElementaryTypeName",
                "src": "1298:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_10800_by_1",
                    "typeString": "int_const 10800"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 10800"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_180_by_1",
                        "typeString": "int_const 180"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 180"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "33",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 3",
                          "value": "3"
                        },
                        "id": 6899,
                        "name": "Literal",
                        "src": "1342:1:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6900,
                        "name": "Literal",
                        "src": "1346:2:23"
                      }
                    ],
                    "id": 6901,
                    "name": "BinaryOperation",
                    "src": "1342:6:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6902,
                    "name": "Literal",
                    "src": "1351:2:23"
                  }
                ],
                "id": 6903,
                "name": "BinaryOperation",
                "src": "1342:11:23"
              }
            ],
            "id": 6904,
            "name": "VariableDeclaration",
            "src": "1298:55:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "COURTESY_CALL_DURATION",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6905,
                "name": "ElementaryTypeName",
                "src": "1395:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_21600_by_1",
                    "typeString": "int_const 21600"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 21600"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_360_by_1",
                        "typeString": "int_const 360"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 360"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "36",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 6",
                          "value": "6"
                        },
                        "id": 6906,
                        "name": "Literal",
                        "src": "1444:1:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6907,
                        "name": "Literal",
                        "src": "1448:2:23"
                      }
                    ],
                    "id": 6908,
                    "name": "BinaryOperation",
                    "src": "1444:6:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6909,
                    "name": "Literal",
                    "src": "1453:2:23"
                  }
                ],
                "id": 6910,
                "name": "BinaryOperation",
                "src": "1444:11:23"
              }
            ],
            "id": 6911,
            "name": "VariableDeclaration",
            "src": "1395:60:23"
          },
          {
            "attributes": {
              "constant": true,
              "name": "AUCTION_DURATION",
              "scope": 7015,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 6912,
                "name": "ElementaryTypeName",
                "src": "1472:7:23"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_86400_by_1",
                    "typeString": "int_const 86400"
                  },
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "operator": "*",
                  "type": "int_const 86400"
                },
                "children": [
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "commonType": {
                        "typeIdentifier": "t_rational_1440_by_1",
                        "typeString": "int_const 1440"
                      },
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "operator": "*",
                      "type": "int_const 1440"
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3234",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 24",
                          "value": "24"
                        },
                        "id": 6913,
                        "name": "Literal",
                        "src": "1515:2:23"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 6914,
                        "name": "Literal",
                        "src": "1520:2:23"
                      }
                    ],
                    "id": 6915,
                    "name": "BinaryOperation",
                    "src": "1515:7:23"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 6916,
                    "name": "Literal",
                    "src": "1525:2:23"
                  }
                ],
                "id": 6917,
                "name": "BinaryOperation",
                "src": "1515:12:23"
              }
            ],
            "id": 6918,
            "name": "VariableDeclaration",
            "src": "1472:55:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getBeneficiaryRewardDivisor",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6919,
                "name": "ParameterList",
                "src": "1612:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6926,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6920,
                        "name": "ElementaryTypeName",
                        "src": "1638:7:23"
                      }
                    ],
                    "id": 6921,
                    "name": "VariableDeclaration",
                    "src": "1638:7:23"
                  }
                ],
                "id": 6922,
                "name": "ParameterList",
                "src": "1637:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6922
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6849,
                          "type": "uint256",
                          "value": "BENEFICIARY_FEE_DIVISOR"
                        },
                        "id": 6923,
                        "name": "Identifier",
                        "src": "1664:23:23"
                      }
                    ],
                    "id": 6924,
                    "name": "Return",
                    "src": "1657:30:23"
                  }
                ],
                "id": 6925,
                "name": "Block",
                "src": "1647:47:23"
              }
            ],
            "id": 6926,
            "name": "FunctionDefinition",
            "src": "1576:118:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getSatoshiMultiplier",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6927,
                "name": "ParameterList",
                "src": "1729:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6934,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6928,
                        "name": "ElementaryTypeName",
                        "src": "1755:7:23"
                      }
                    ],
                    "id": 6929,
                    "name": "VariableDeclaration",
                    "src": "1755:7:23"
                  }
                ],
                "id": 6930,
                "name": "ParameterList",
                "src": "1754:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6930
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6854,
                          "type": "uint256",
                          "value": "SATOSHI_MULTIPLIER"
                        },
                        "id": 6931,
                        "name": "Identifier",
                        "src": "1781:18:23"
                      }
                    ],
                    "id": 6932,
                    "name": "Return",
                    "src": "1774:25:23"
                  }
                ],
                "id": 6933,
                "name": "Block",
                "src": "1764:42:23"
              }
            ],
            "id": 6934,
            "name": "FunctionDefinition",
            "src": "1700:106:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getDepositTerm",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6935,
                "name": "ParameterList",
                "src": "1835:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6942,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6936,
                        "name": "ElementaryTypeName",
                        "src": "1861:7:23"
                      }
                    ],
                    "id": 6937,
                    "name": "VariableDeclaration",
                    "src": "1861:7:23"
                  }
                ],
                "id": 6938,
                "name": "ParameterList",
                "src": "1860:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6938
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6863,
                          "type": "uint256",
                          "value": "DEPOSIT_TERM_LENGTH"
                        },
                        "id": 6939,
                        "name": "Identifier",
                        "src": "1887:19:23"
                      }
                    ],
                    "id": 6940,
                    "name": "Return",
                    "src": "1880:26:23"
                  }
                ],
                "id": 6941,
                "name": "Block",
                "src": "1870:43:23"
              }
            ],
            "id": 6942,
            "name": "FunctionDefinition",
            "src": "1812:101:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getTxProofDifficultyFactor",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6943,
                "name": "ParameterList",
                "src": "1954:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6950,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6944,
                        "name": "ElementaryTypeName",
                        "src": "1980:7:23"
                      }
                    ],
                    "id": 6945,
                    "name": "VariableDeclaration",
                    "src": "1980:7:23"
                  }
                ],
                "id": 6946,
                "name": "ParameterList",
                "src": "1979:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6946
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6866,
                          "type": "uint256",
                          "value": "TX_PROOF_DIFFICULTY_FACTOR"
                        },
                        "id": 6947,
                        "name": "Identifier",
                        "src": "2006:26:23"
                      }
                    ],
                    "id": 6948,
                    "name": "Return",
                    "src": "1999:33:23"
                  }
                ],
                "id": 6949,
                "name": "Block",
                "src": "1989:50:23"
              }
            ],
            "id": 6950,
            "name": "FunctionDefinition",
            "src": "1919:120:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getSignatureTimeout",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6951,
                "name": "ParameterList",
                "src": "2073:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6958,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6952,
                        "name": "ElementaryTypeName",
                        "src": "2099:7:23"
                      }
                    ],
                    "id": 6953,
                    "name": "VariableDeclaration",
                    "src": "2099:7:23"
                  }
                ],
                "id": 6954,
                "name": "ParameterList",
                "src": "2098:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6954
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6873,
                          "type": "uint256",
                          "value": "REDEMPTION_SIGNATURE_TIMEOUT"
                        },
                        "id": 6955,
                        "name": "Identifier",
                        "src": "2125:28:23"
                      }
                    ],
                    "id": 6956,
                    "name": "Return",
                    "src": "2118:35:23"
                  }
                ],
                "id": 6957,
                "name": "Block",
                "src": "2108:52:23"
              }
            ],
            "id": 6958,
            "name": "FunctionDefinition",
            "src": "2045:115:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getIncreaseFeeTimer",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6959,
                "name": "ParameterList",
                "src": "2194:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6966,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6960,
                        "name": "ElementaryTypeName",
                        "src": "2220:7:23"
                      }
                    ],
                    "id": 6961,
                    "name": "VariableDeclaration",
                    "src": "2220:7:23"
                  }
                ],
                "id": 6962,
                "name": "ParameterList",
                "src": "2219:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6962
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6880,
                          "type": "uint256",
                          "value": "INCREASE_FEE_TIMER"
                        },
                        "id": 6963,
                        "name": "Identifier",
                        "src": "2246:18:23"
                      }
                    ],
                    "id": 6964,
                    "name": "Return",
                    "src": "2239:25:23"
                  }
                ],
                "id": 6965,
                "name": "Block",
                "src": "2229:42:23"
              }
            ],
            "id": 6966,
            "name": "FunctionDefinition",
            "src": "2166:105:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getRedemptionProofTimeout",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6967,
                "name": "ParameterList",
                "src": "2311:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6974,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6968,
                        "name": "ElementaryTypeName",
                        "src": "2337:7:23"
                      }
                    ],
                    "id": 6969,
                    "name": "VariableDeclaration",
                    "src": "2337:7:23"
                  }
                ],
                "id": 6970,
                "name": "ParameterList",
                "src": "2336:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6970
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6887,
                          "type": "uint256",
                          "value": "REDEMPTION_PROOF_TIMEOUT"
                        },
                        "id": 6971,
                        "name": "Identifier",
                        "src": "2363:24:23"
                      }
                    ],
                    "id": 6972,
                    "name": "Return",
                    "src": "2356:31:23"
                  }
                ],
                "id": 6973,
                "name": "Block",
                "src": "2346:48:23"
              }
            ],
            "id": 6974,
            "name": "FunctionDefinition",
            "src": "2277:117:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getMinimumRedemptionFee",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6975,
                "name": "ParameterList",
                "src": "2432:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6982,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6976,
                        "name": "ElementaryTypeName",
                        "src": "2458:7:23"
                      }
                    ],
                    "id": 6977,
                    "name": "VariableDeclaration",
                    "src": "2458:7:23"
                  }
                ],
                "id": 6978,
                "name": "ParameterList",
                "src": "2457:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6978
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6890,
                          "type": "uint256",
                          "value": "MINIMUM_REDEMPTION_FEE"
                        },
                        "id": 6979,
                        "name": "Identifier",
                        "src": "2484:22:23"
                      }
                    ],
                    "id": 6980,
                    "name": "Return",
                    "src": "2477:29:23"
                  }
                ],
                "id": 6981,
                "name": "Block",
                "src": "2467:46:23"
              }
            ],
            "id": 6982,
            "name": "FunctionDefinition",
            "src": "2400:113:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getFundingTimeout",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6983,
                "name": "ParameterList",
                "src": "2545:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6990,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6984,
                        "name": "ElementaryTypeName",
                        "src": "2571:7:23"
                      }
                    ],
                    "id": 6985,
                    "name": "VariableDeclaration",
                    "src": "2571:7:23"
                  }
                ],
                "id": 6986,
                "name": "ParameterList",
                "src": "2570:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6986
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6897,
                          "type": "uint256",
                          "value": "FUNDING_PROOF_TIMEOUT"
                        },
                        "id": 6987,
                        "name": "Identifier",
                        "src": "2597:21:23"
                      }
                    ],
                    "id": 6988,
                    "name": "Return",
                    "src": "2590:28:23"
                  }
                ],
                "id": 6989,
                "name": "Block",
                "src": "2580:45:23"
              }
            ],
            "id": 6990,
            "name": "FunctionDefinition",
            "src": "2519:106:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getSigningGroupFormationTimeout",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6991,
                "name": "ParameterList",
                "src": "2671:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 6998,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 6992,
                        "name": "ElementaryTypeName",
                        "src": "2697:7:23"
                      }
                    ],
                    "id": 6993,
                    "name": "VariableDeclaration",
                    "src": "2697:7:23"
                  }
                ],
                "id": 6994,
                "name": "ParameterList",
                "src": "2696:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 6994
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6904,
                          "type": "uint256",
                          "value": "FORMATION_TIMEOUT"
                        },
                        "id": 6995,
                        "name": "Identifier",
                        "src": "2723:17:23"
                      }
                    ],
                    "id": 6996,
                    "name": "Return",
                    "src": "2716:24:23"
                  }
                ],
                "id": 6997,
                "name": "Block",
                "src": "2706:41:23"
              }
            ],
            "id": 6998,
            "name": "FunctionDefinition",
            "src": "2631:116:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getCourtesyCallTimeout",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 6999,
                "name": "ParameterList",
                "src": "2784:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 7006,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 7000,
                        "name": "ElementaryTypeName",
                        "src": "2810:7:23"
                      }
                    ],
                    "id": 7001,
                    "name": "VariableDeclaration",
                    "src": "2810:7:23"
                  }
                ],
                "id": 7002,
                "name": "ParameterList",
                "src": "2809:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 7002
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6911,
                          "type": "uint256",
                          "value": "COURTESY_CALL_DURATION"
                        },
                        "id": 7003,
                        "name": "Identifier",
                        "src": "2836:22:23"
                      }
                    ],
                    "id": 7004,
                    "name": "Return",
                    "src": "2829:29:23"
                  }
                ],
                "id": 7005,
                "name": "Block",
                "src": "2819:46:23"
              }
            ],
            "id": 7006,
            "name": "FunctionDefinition",
            "src": "2753:112:23"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getAuctionDuration",
              "scope": 7015,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "external"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 7007,
                "name": "ParameterList",
                "src": "2898:2:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 7014,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 7008,
                        "name": "ElementaryTypeName",
                        "src": "2924:7:23"
                      }
                    ],
                    "id": 7009,
                    "name": "VariableDeclaration",
                    "src": "2924:7:23"
                  }
                ],
                "id": 7010,
                "name": "ParameterList",
                "src": "2923:9:23"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 7010
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 6918,
                          "type": "uint256",
                          "value": "AUCTION_DURATION"
                        },
                        "id": 7011,
                        "name": "Identifier",
                        "src": "2950:16:23"
                      }
                    ],
                    "id": 7012,
                    "name": "Return",
                    "src": "2943:23:23"
                  }
                ],
                "id": 7013,
                "name": "Block",
                "src": "2933:40:23"
              }
            ],
            "id": 7014,
            "name": "FunctionDefinition",
            "src": "2871:102:23"
          }
        ],
        "id": 7015,
        "name": "ContractDefinition",
        "src": "282:2693:23"
      }
    ],
    "id": 7016,
    "name": "SourceUnit",
    "src": "0:2976:23"
  },
  "compiler": {
    "name": "solc",
    "version": "0.5.17+commit.d19bba13.Emscripten.clang"
  },
  "networks": {},
  "schemaVersion": "3.3.4",
  "updatedAt": "2021-11-23T11:52:09.299Z",
  "devdoc": {
    "methods": {},
    "title": "TBTCDevelopmentConstants"
  },
  "userdoc": {
    "methods": {},
    "notice": "Constants for development testnet usages; tuned for testing and         faster iteration rather than security. These should NOT be deployed         on mainnet or mainnet-like (\"staging\") environments."
  }
}