{
  "contractName": "TestTBTCConstants",
  "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": "MINIMUM_UTXO_VALUE",
      "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": "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": "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": "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": "getMinimumUtxoValue",
      "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\":\"MINIMUM_UTXO_VALUE\",\"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\":\"getMinimumUtxoValue\",\"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\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/home/runner/work/tbtc/tbtc/solidity/contracts/test/system/TestTBTCConstants.sol\":\"TestTBTCConstants\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/home/runner/work/tbtc/tbtc/solidity/contracts/test/system/TestTBTCConstants.sol\":{\"keccak256\":\"0x73802973ddf2d61f5f38b4f2812e6a864d49ab1b1eca5d1c520d33d7084a2067\",\"urls\":[\"bzz-raw://2c253fd0779b1ad019318d6e19fcc1581e9b9edb537a967e98bfbb30c4040cc4\",\"dweb:/ipfs/QmQRSBZUVv9fwo77bArgRCnM3KHJc6crzQshJzGWUL4oe8\"]}},\"version\":1}",
  "bytecode": "0x610304610026600b82828239805160001a60731461001957fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600436106101985760003560e01c80639887426d116100e8578063ae9eb127116100a1578063d565d1f11161007b578063d565d1f114610237578063d891dcdb1461023f578063f653c0b914610247578063fc94f1d61461021f57610198565b8063ae9eb12714610227578063c342b1f7146101d7578063c7ba03471461022f57610198565b80639887426d146101df5780639b3fd99f14610207578063a1f6c6391461020f578063a271e52514610217578063a99b5283146101c7578063ac8bfdad1461021f57610198565b80635480b4b211610155578063741b5e4c1161012f578063741b5e4c146101b757806378cb51af146101f75780638446bd38146101ff57806386322af7146101ff57610198565b80635480b4b2146101df5780635b6b452a146101e75780636da1dda2146101ef57610198565b806302b7044b1461019d57806309a753e0146101b75780630a913dea146101bf57806312aeac83146101c7578063242c0ed0146101cf57806338c86093146101d7575b600080fd5b6101a561024f565b60408051918252519081900360200190f35b6101a5610254565b6101a561025a565b6101a5610261565b6101a5610267565b6101a561026d565b6101a5610273565b6101a5610279565b6101a561027f565b6101a5610285565b6101a561028c565b6101a5610292565b6101a5610297565b6101a561029d565b6101a56102a4565b6101a56102aa565b6101a56102b3565b6101a56102bc565b6101a56102c3565b6101a56102c9565b600681565b6107d081565b62ed4e0081565b612a3081565b61384081565b612a3090565b61546090565b611c2081565b6103e881565b6201518090565b6107d090565b600690565b6103e890565b6201518081565b61546081565b6402540be40090565b6402540be40081565b62ed4e0090565b611c2090565b6138409056fea265627a7a72315820287291ce873cca2e157b7507a1a777603797c221b2308df1c6c7c0458fadb74164736f6c63430005110032",
  "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600436106101985760003560e01c80639887426d116100e8578063ae9eb127116100a1578063d565d1f11161007b578063d565d1f114610237578063d891dcdb1461023f578063f653c0b914610247578063fc94f1d61461021f57610198565b8063ae9eb12714610227578063c342b1f7146101d7578063c7ba03471461022f57610198565b80639887426d146101df5780639b3fd99f14610207578063a1f6c6391461020f578063a271e52514610217578063a99b5283146101c7578063ac8bfdad1461021f57610198565b80635480b4b211610155578063741b5e4c1161012f578063741b5e4c146101b757806378cb51af146101f75780638446bd38146101ff57806386322af7146101ff57610198565b80635480b4b2146101df5780635b6b452a146101e75780636da1dda2146101ef57610198565b806302b7044b1461019d57806309a753e0146101b75780630a913dea146101bf57806312aeac83146101c7578063242c0ed0146101cf57806338c86093146101d7575b600080fd5b6101a561024f565b60408051918252519081900360200190f35b6101a5610254565b6101a561025a565b6101a5610261565b6101a5610267565b6101a561026d565b6101a5610273565b6101a5610279565b6101a561027f565b6101a5610285565b6101a561028c565b6101a5610292565b6101a5610297565b6101a561029d565b6101a56102a4565b6101a56102aa565b6101a56102b3565b6101a56102bc565b6101a56102c3565b6101a56102c9565b600681565b6107d081565b62ed4e0081565b612a3081565b61384081565b612a3090565b61546090565b611c2081565b6103e881565b6201518090565b6107d090565b600690565b6103e890565b6201518081565b61546081565b6402540be40090565b6402540be40081565b62ed4e0090565b611c2090565b6138409056fea265627a7a72315820287291ce873cca2e157b7507a1a777603797c221b2308df1c6c7c0458fadb74164736f6c63430005110032",
  "sourceMap": "25:2570:43:-;;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": "25:2570:43:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;403:54;;;:::i;:::-;;;;;;;;;;;;;;;;866:49;;;:::i;310:64::-;;;:::i;953:59::-;;;:::i;642:56::-;;;:::i;2197:92::-;;;:::i;1888:103::-;;;:::i;558:66::-;;;:::i;215:54::-;;;:::i;2505:88::-;;;:::i;2100:91::-;;;:::i;1477:106::-;;;:::i;1276:104::-;;;:::i;1203:55::-;;;:::i;716:62::-;;;:::i;1588:92::-;;;:::i;463:53::-;;;:::i;1385:87::-;;;:::i;1686:101::-;;;:::i;1792:91::-;;;:::i;403:54::-;456:1;403:54;:::o;866:49::-;911:4;866:49;:::o;310:64::-;356:18;310:64;:::o;953:59::-;1001:11;953:59;:::o;642:56::-;687:11;642:56;:::o;2197:92::-;1001:11;2197:92;:::o;1888:103::-;767:11;1888:103;:::o;558:66::-;613:11;558:66;:::o;215:54::-;265:4;215:54;:::o;2505:88::-;1246:12;2505:88;:::o;2100:91::-;911:4;2100:91;:::o;1477:106::-;456:1;1477:106;:::o;1276:104::-;265:4;1276:104;:::o;1203:55::-;1246:12;1203:55;:::o;716:62::-;767:11;716:62;:::o;1588:92::-;508:8;1588:92;:::o;463:53::-;508:8;463:53;:::o;1385:87::-;356:18;1385:87;:::o;1686:101::-;613:11;1686:101;:::o;1792:91::-;687:11;1792:91;:::o",
  "source": "pragma solidity 0.5.17;\n\nlibrary TestTBTCConstants {\n\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 DEPOSIT_TERM_LENGTH = 180 * 24 * 60 * 60; // 180 days in seconds\n    uint256 public constant TX_PROOF_DIFFICULTY_FACTOR = 6;\n    uint256 public constant SATOSHI_MULTIPLIER = 10 ** 10; // multiple\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 = 2000; // satoshi\n    uint256 public constant MINIMUM_UTXO_VALUE = 2000; // 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    function getBeneficiaryRewardDivisor() public pure returns (uint256) { return BENEFICIARY_FEE_DIVISOR; }\n    function getDepositTerm() public pure returns (uint256) { return DEPOSIT_TERM_LENGTH; }\n    function getTxProofDifficultyFactor() public pure returns (uint256) { return TX_PROOF_DIFFICULTY_FACTOR; }\n    function getSatoshiMultiplier() public pure returns (uint256) { return SATOSHI_MULTIPLIER; }\n\n    function getSignatureTimeout() public pure returns (uint256) { return REDEMPTION_SIGNATURE_TIMEOUT; }\n    function getIncreaseFeeTimer() public pure returns (uint256) { return INCREASE_FEE_TIMER; }\n    function getRedemptionProofTimeout() public pure returns (uint256) { return REDEMPTION_PROOF_TIMEOUT; }\n    function getMinimumRedemptionFee() public pure returns (uint256) { return MINIMUM_REDEMPTION_FEE; }\n    function getMinimumUtxoValue() public pure returns (uint256) { return MINIMUM_UTXO_VALUE; }\n\n    function getFundingTimeout() public pure returns (uint256) { return FUNDING_PROOF_TIMEOUT; }\n    function getSigningGroupFormationTimeout() public pure returns (uint256) { return FORMATION_TIMEOUT; }\n\n    function getCourtesyCallTimeout() public pure returns (uint256) { return COURTESY_CALL_DURATION; }\n    function getAuctionDuration() public pure returns (uint256) { return AUCTION_DURATION; }\n}\n",
  "sourcePath": "/home/runner/work/tbtc/tbtc/solidity/contracts/test/system/TestTBTCConstants.sol",
  "ast": {
    "absolutePath": "/home/runner/work/tbtc/tbtc/solidity/contracts/test/system/TestTBTCConstants.sol",
    "exportedSymbols": {
      "TestTBTCConstants": [
        11205
      ]
    },
    "id": 11206,
    "nodeType": "SourceUnit",
    "nodes": [
      {
        "id": 11025,
        "literals": [
          "solidity",
          "0.5",
          ".17"
        ],
        "nodeType": "PragmaDirective",
        "src": "0:23:43"
      },
      {
        "baseContracts": [],
        "contractDependencies": [],
        "contractKind": "library",
        "documentation": null,
        "fullyImplemented": true,
        "id": 11205,
        "linearizedBaseContracts": [
          11205
        ],
        "name": "TestTBTCConstants",
        "nodeType": "ContractDefinition",
        "nodes": [
          {
            "constant": true,
            "id": 11028,
            "name": "BENEFICIARY_FEE_DIVISOR",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "215:54:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11026,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "215:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "31303030",
              "id": 11027,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "265:4:43",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_1000_by_1",
                "typeString": "int_const 1000"
              },
              "value": "1000"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11037,
            "name": "DEPOSIT_TERM_LENGTH",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "310:64:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11029,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "310:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_15552000_by_1",
                "typeString": "int_const 15552000"
              },
              "id": 11036,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_259200_by_1",
                  "typeString": "int_const 259200"
                },
                "id": 11034,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "commonType": {
                    "typeIdentifier": "t_rational_4320_by_1",
                    "typeString": "int_const 4320"
                  },
                  "id": 11032,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "leftExpression": {
                    "argumentTypes": null,
                    "hexValue": "313830",
                    "id": 11030,
                    "isConstant": false,
                    "isLValue": false,
                    "isPure": true,
                    "kind": "number",
                    "lValueRequested": false,
                    "nodeType": "Literal",
                    "src": "356:3:43",
                    "subdenomination": null,
                    "typeDescriptions": {
                      "typeIdentifier": "t_rational_180_by_1",
                      "typeString": "int_const 180"
                    },
                    "value": "180"
                  },
                  "nodeType": "BinaryOperation",
                  "operator": "*",
                  "rightExpression": {
                    "argumentTypes": null,
                    "hexValue": "3234",
                    "id": 11031,
                    "isConstant": false,
                    "isLValue": false,
                    "isPure": true,
                    "kind": "number",
                    "lValueRequested": false,
                    "nodeType": "Literal",
                    "src": "362:2:43",
                    "subdenomination": null,
                    "typeDescriptions": {
                      "typeIdentifier": "t_rational_24_by_1",
                      "typeString": "int_const 24"
                    },
                    "value": "24"
                  },
                  "src": "356:8:43",
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_4320_by_1",
                    "typeString": "int_const 4320"
                  }
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11033,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "367:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "356:13:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_259200_by_1",
                  "typeString": "int_const 259200"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11035,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "372:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "356:18:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_15552000_by_1",
                "typeString": "int_const 15552000"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11040,
            "name": "TX_PROOF_DIFFICULTY_FACTOR",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "403:54:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11038,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "403:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "36",
              "id": 11039,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "456:1:43",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_6_by_1",
                "typeString": "int_const 6"
              },
              "value": "6"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11045,
            "name": "SATOSHI_MULTIPLIER",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "463:53:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11041,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "463:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_10000000000_by_1",
                "typeString": "int_const 10000000000"
              },
              "id": 11044,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "hexValue": "3130",
                "id": 11042,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "508:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_10_by_1",
                  "typeString": "int_const 10"
                },
                "value": "10"
              },
              "nodeType": "BinaryOperation",
              "operator": "**",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3130",
                "id": 11043,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "514:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_10_by_1",
                  "typeString": "int_const 10"
                },
                "value": "10"
              },
              "src": "508:8:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_10000000000_by_1",
                "typeString": "int_const 10000000000"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11052,
            "name": "REDEMPTION_SIGNATURE_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "558:66:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11046,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "558:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_7200_by_1",
                "typeString": "int_const 7200"
              },
              "id": 11051,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_120_by_1",
                  "typeString": "int_const 120"
                },
                "id": 11049,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "32",
                  "id": 11047,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "613:1:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_2_by_1",
                    "typeString": "int_const 2"
                  },
                  "value": "2"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11048,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "617:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "613:6:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_120_by_1",
                  "typeString": "int_const 120"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11050,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "622:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "613:11:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_7200_by_1",
                "typeString": "int_const 7200"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11059,
            "name": "INCREASE_FEE_TIMER",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "642:56:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11053,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "642:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_14400_by_1",
                "typeString": "int_const 14400"
              },
              "id": 11058,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_240_by_1",
                  "typeString": "int_const 240"
                },
                "id": 11056,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "34",
                  "id": 11054,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "687:1:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_4_by_1",
                    "typeString": "int_const 4"
                  },
                  "value": "4"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11055,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "691:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "687:6:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_240_by_1",
                  "typeString": "int_const 240"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11057,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "696:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "687:11:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_14400_by_1",
                "typeString": "int_const 14400"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11066,
            "name": "REDEMPTION_PROOF_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "716:62:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11060,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "716:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              },
              "id": 11065,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                },
                "id": 11063,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "36",
                  "id": 11061,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "767:1:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_6_by_1",
                    "typeString": "int_const 6"
                  },
                  "value": "6"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11062,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "771:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "767:6:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11064,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "776:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "767:11:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11069,
            "name": "MINIMUM_REDEMPTION_FEE",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "796:53:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11067,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "796:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "32303030",
              "id": 11068,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "845:4:43",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_2000_by_1",
                "typeString": "int_const 2000"
              },
              "value": "2000"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11072,
            "name": "MINIMUM_UTXO_VALUE",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "866:49:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11070,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "866:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "hexValue": "32303030",
              "id": 11071,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "number",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "911:4:43",
              "subdenomination": null,
              "typeDescriptions": {
                "typeIdentifier": "t_rational_2000_by_1",
                "typeString": "int_const 2000"
              },
              "value": "2000"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11079,
            "name": "FUNDING_PROOF_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "953:59:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11073,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "953:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              },
              "id": 11078,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                },
                "id": 11076,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "33",
                  "id": 11074,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1001:1:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_3_by_1",
                    "typeString": "int_const 3"
                  },
                  "value": "3"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11075,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1005:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1001:6:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11077,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1010:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1001:11:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11086,
            "name": "FORMATION_TIMEOUT",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "1029:55:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11080,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1029:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              },
              "id": 11085,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                },
                "id": 11083,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "33",
                  "id": 11081,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1073:1:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_3_by_1",
                    "typeString": "int_const 3"
                  },
                  "value": "3"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11082,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1077:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1073:6:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_180_by_1",
                  "typeString": "int_const 180"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11084,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1082:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1073:11:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_10800_by_1",
                "typeString": "int_const 10800"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11093,
            "name": "COURTESY_CALL_DURATION",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "1126:60:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11087,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1126:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              },
              "id": 11092,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                },
                "id": 11090,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "36",
                  "id": 11088,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1175:1:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_6_by_1",
                    "typeString": "int_const 6"
                  },
                  "value": "6"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11089,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1179:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1175:6:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_360_by_1",
                  "typeString": "int_const 360"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11091,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1184:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1175:11:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_21600_by_1",
                "typeString": "int_const 21600"
              }
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "id": 11100,
            "name": "AUCTION_DURATION",
            "nodeType": "VariableDeclaration",
            "scope": 11205,
            "src": "1203:55:43",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 11094,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "1203:7:43",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "argumentTypes": null,
              "commonType": {
                "typeIdentifier": "t_rational_86400_by_1",
                "typeString": "int_const 86400"
              },
              "id": 11099,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "argumentTypes": null,
                "commonType": {
                  "typeIdentifier": "t_rational_1440_by_1",
                  "typeString": "int_const 1440"
                },
                "id": 11097,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "lValueRequested": false,
                "leftExpression": {
                  "argumentTypes": null,
                  "hexValue": "3234",
                  "id": 11095,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1246:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_24_by_1",
                    "typeString": "int_const 24"
                  },
                  "value": "24"
                },
                "nodeType": "BinaryOperation",
                "operator": "*",
                "rightExpression": {
                  "argumentTypes": null,
                  "hexValue": "3630",
                  "id": 11096,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "1251:2:43",
                  "subdenomination": null,
                  "typeDescriptions": {
                    "typeIdentifier": "t_rational_60_by_1",
                    "typeString": "int_const 60"
                  },
                  "value": "60"
                },
                "src": "1246:7:43",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_1440_by_1",
                  "typeString": "int_const 1440"
                }
              },
              "nodeType": "BinaryOperation",
              "operator": "*",
              "rightExpression": {
                "argumentTypes": null,
                "hexValue": "3630",
                "id": 11098,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "1256:2:43",
                "subdenomination": null,
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_60_by_1",
                  "typeString": "int_const 60"
                },
                "value": "60"
              },
              "src": "1246:12:43",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_86400_by_1",
                "typeString": "int_const 86400"
              }
            },
            "visibility": "public"
          },
          {
            "body": {
              "id": 11107,
              "nodeType": "Block",
              "src": "1345:35:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11105,
                    "name": "BENEFICIARY_FEE_DIVISOR",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11028,
                    "src": "1354:23:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11104,
                  "id": 11106,
                  "nodeType": "Return",
                  "src": "1347:30:43"
                }
              ]
            },
            "documentation": null,
            "id": 11108,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getBeneficiaryRewardDivisor",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11101,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1312:2:43"
            },
            "returnParameters": {
              "id": 11104,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11103,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11108,
                  "src": "1336:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11102,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1336:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1335:9:43"
            },
            "scope": 11205,
            "src": "1276:104:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11115,
              "nodeType": "Block",
              "src": "1441:31:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11113,
                    "name": "DEPOSIT_TERM_LENGTH",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11037,
                    "src": "1450:19:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11112,
                  "id": 11114,
                  "nodeType": "Return",
                  "src": "1443:26:43"
                }
              ]
            },
            "documentation": null,
            "id": 11116,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getDepositTerm",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11109,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1408:2:43"
            },
            "returnParameters": {
              "id": 11112,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11111,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11116,
                  "src": "1432:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11110,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1432:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1431:9:43"
            },
            "scope": 11205,
            "src": "1385:87:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11123,
              "nodeType": "Block",
              "src": "1545:38:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11121,
                    "name": "TX_PROOF_DIFFICULTY_FACTOR",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11040,
                    "src": "1554:26:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11120,
                  "id": 11122,
                  "nodeType": "Return",
                  "src": "1547:33:43"
                }
              ]
            },
            "documentation": null,
            "id": 11124,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getTxProofDifficultyFactor",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11117,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1512:2:43"
            },
            "returnParameters": {
              "id": 11120,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11119,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11124,
                  "src": "1536:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11118,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1536:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1535:9:43"
            },
            "scope": 11205,
            "src": "1477:106:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11131,
              "nodeType": "Block",
              "src": "1650:30:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11129,
                    "name": "SATOSHI_MULTIPLIER",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11045,
                    "src": "1659:18:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11128,
                  "id": 11130,
                  "nodeType": "Return",
                  "src": "1652:25:43"
                }
              ]
            },
            "documentation": null,
            "id": 11132,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getSatoshiMultiplier",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11125,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1617:2:43"
            },
            "returnParameters": {
              "id": 11128,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11127,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11132,
                  "src": "1641:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11126,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1641:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1640:9:43"
            },
            "scope": 11205,
            "src": "1588:92:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11139,
              "nodeType": "Block",
              "src": "1747:40:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11137,
                    "name": "REDEMPTION_SIGNATURE_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11052,
                    "src": "1756:28:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11136,
                  "id": 11138,
                  "nodeType": "Return",
                  "src": "1749:35:43"
                }
              ]
            },
            "documentation": null,
            "id": 11140,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getSignatureTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11133,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1714:2:43"
            },
            "returnParameters": {
              "id": 11136,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11135,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11140,
                  "src": "1738:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11134,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1738:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1737:9:43"
            },
            "scope": 11205,
            "src": "1686:101:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11147,
              "nodeType": "Block",
              "src": "1853:30:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11145,
                    "name": "INCREASE_FEE_TIMER",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11059,
                    "src": "1862:18:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11144,
                  "id": 11146,
                  "nodeType": "Return",
                  "src": "1855:25:43"
                }
              ]
            },
            "documentation": null,
            "id": 11148,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getIncreaseFeeTimer",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11141,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1820:2:43"
            },
            "returnParameters": {
              "id": 11144,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11143,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11148,
                  "src": "1844:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11142,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1844:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1843:9:43"
            },
            "scope": 11205,
            "src": "1792:91:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11155,
              "nodeType": "Block",
              "src": "1955:36:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11153,
                    "name": "REDEMPTION_PROOF_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11066,
                    "src": "1964:24:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11152,
                  "id": 11154,
                  "nodeType": "Return",
                  "src": "1957:31:43"
                }
              ]
            },
            "documentation": null,
            "id": 11156,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getRedemptionProofTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11149,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "1922:2:43"
            },
            "returnParameters": {
              "id": 11152,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11151,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11156,
                  "src": "1946:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11150,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "1946:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "1945:9:43"
            },
            "scope": 11205,
            "src": "1888:103:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11163,
              "nodeType": "Block",
              "src": "2061:34:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11161,
                    "name": "MINIMUM_REDEMPTION_FEE",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11069,
                    "src": "2070:22:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11160,
                  "id": 11162,
                  "nodeType": "Return",
                  "src": "2063:29:43"
                }
              ]
            },
            "documentation": null,
            "id": 11164,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getMinimumRedemptionFee",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11157,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2028:2:43"
            },
            "returnParameters": {
              "id": 11160,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11159,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11164,
                  "src": "2052:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11158,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2052:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2051:9:43"
            },
            "scope": 11205,
            "src": "1996:99:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11171,
              "nodeType": "Block",
              "src": "2161:30:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11169,
                    "name": "MINIMUM_UTXO_VALUE",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11072,
                    "src": "2170:18:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11168,
                  "id": 11170,
                  "nodeType": "Return",
                  "src": "2163:25:43"
                }
              ]
            },
            "documentation": null,
            "id": 11172,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getMinimumUtxoValue",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11165,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2128:2:43"
            },
            "returnParameters": {
              "id": 11168,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11167,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11172,
                  "src": "2152:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11166,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2152:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2151:9:43"
            },
            "scope": 11205,
            "src": "2100:91:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11179,
              "nodeType": "Block",
              "src": "2256:33:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11177,
                    "name": "FUNDING_PROOF_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11079,
                    "src": "2265:21:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11176,
                  "id": 11178,
                  "nodeType": "Return",
                  "src": "2258:28:43"
                }
              ]
            },
            "documentation": null,
            "id": 11180,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getFundingTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11173,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2223:2:43"
            },
            "returnParameters": {
              "id": 11176,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11175,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11180,
                  "src": "2247:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11174,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2247:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2246:9:43"
            },
            "scope": 11205,
            "src": "2197:92:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11187,
              "nodeType": "Block",
              "src": "2367:29:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11185,
                    "name": "FORMATION_TIMEOUT",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11086,
                    "src": "2376:17:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11184,
                  "id": 11186,
                  "nodeType": "Return",
                  "src": "2369:24:43"
                }
              ]
            },
            "documentation": null,
            "id": 11188,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getSigningGroupFormationTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11181,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2334:2:43"
            },
            "returnParameters": {
              "id": 11184,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11183,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11188,
                  "src": "2358:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11182,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2358:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2357:9:43"
            },
            "scope": 11205,
            "src": "2294:102:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11195,
              "nodeType": "Block",
              "src": "2466:34:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11193,
                    "name": "COURTESY_CALL_DURATION",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11093,
                    "src": "2475:22:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11192,
                  "id": 11194,
                  "nodeType": "Return",
                  "src": "2468:29:43"
                }
              ]
            },
            "documentation": null,
            "id": 11196,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getCourtesyCallTimeout",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11189,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2433:2:43"
            },
            "returnParameters": {
              "id": 11192,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11191,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11196,
                  "src": "2457:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11190,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2457:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2456:9:43"
            },
            "scope": 11205,
            "src": "2402:98:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          },
          {
            "body": {
              "id": 11203,
              "nodeType": "Block",
              "src": "2565:28:43",
              "statements": [
                {
                  "expression": {
                    "argumentTypes": null,
                    "id": 11201,
                    "name": "AUCTION_DURATION",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 11100,
                    "src": "2574:16:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "functionReturnParameters": 11200,
                  "id": 11202,
                  "nodeType": "Return",
                  "src": "2567:23:43"
                }
              ]
            },
            "documentation": null,
            "id": 11204,
            "implemented": true,
            "kind": "function",
            "modifiers": [],
            "name": "getAuctionDuration",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 11197,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "2532:2:43"
            },
            "returnParameters": {
              "id": 11200,
              "nodeType": "ParameterList",
              "parameters": [
                {
                  "constant": false,
                  "id": 11199,
                  "name": "",
                  "nodeType": "VariableDeclaration",
                  "scope": 11204,
                  "src": "2556:7:43",
                  "stateVariable": false,
                  "storageLocation": "default",
                  "typeDescriptions": {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  },
                  "typeName": {
                    "id": 11198,
                    "name": "uint256",
                    "nodeType": "ElementaryTypeName",
                    "src": "2556:7:43",
                    "typeDescriptions": {
                      "typeIdentifier": "t_uint256",
                      "typeString": "uint256"
                    }
                  },
                  "value": null,
                  "visibility": "internal"
                }
              ],
              "src": "2555:9:43"
            },
            "scope": 11205,
            "src": "2505:88:43",
            "stateMutability": "pure",
            "superFunction": null,
            "visibility": "public"
          }
        ],
        "scope": 11206,
        "src": "25:2570:43"
      }
    ],
    "src": "0:2596:43"
  },
  "legacyAST": {
    "attributes": {
      "absolutePath": "/home/runner/work/tbtc/tbtc/solidity/contracts/test/system/TestTBTCConstants.sol",
      "exportedSymbols": {
        "TestTBTCConstants": [
          11205
        ]
      }
    },
    "children": [
      {
        "attributes": {
          "literals": [
            "solidity",
            "0.5",
            ".17"
          ]
        },
        "id": 11025,
        "name": "PragmaDirective",
        "src": "0:23:43"
      },
      {
        "attributes": {
          "baseContracts": [
            null
          ],
          "contractDependencies": [
            null
          ],
          "contractKind": "library",
          "documentation": null,
          "fullyImplemented": true,
          "linearizedBaseContracts": [
            11205
          ],
          "name": "TestTBTCConstants",
          "scope": 11206
        },
        "children": [
          {
            "attributes": {
              "constant": true,
              "name": "BENEFICIARY_FEE_DIVISOR",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11026,
                "name": "ElementaryTypeName",
                "src": "215:7:43"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "31303030",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 1000",
                  "value": "1000"
                },
                "id": 11027,
                "name": "Literal",
                "src": "265:4:43"
              }
            ],
            "id": 11028,
            "name": "VariableDeclaration",
            "src": "215:54:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "DEPOSIT_TERM_LENGTH",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11029,
                "name": "ElementaryTypeName",
                "src": "310:7:43"
              },
              {
                "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": 11030,
                            "name": "Literal",
                            "src": "356:3:43"
                          },
                          {
                            "attributes": {
                              "argumentTypes": null,
                              "hexvalue": "3234",
                              "isConstant": false,
                              "isLValue": false,
                              "isPure": true,
                              "lValueRequested": false,
                              "subdenomination": null,
                              "token": "number",
                              "type": "int_const 24",
                              "value": "24"
                            },
                            "id": 11031,
                            "name": "Literal",
                            "src": "362:2:43"
                          }
                        ],
                        "id": 11032,
                        "name": "BinaryOperation",
                        "src": "356:8:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11033,
                        "name": "Literal",
                        "src": "367:2:43"
                      }
                    ],
                    "id": 11034,
                    "name": "BinaryOperation",
                    "src": "356:13:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11035,
                    "name": "Literal",
                    "src": "372:2:43"
                  }
                ],
                "id": 11036,
                "name": "BinaryOperation",
                "src": "356:18:43"
              }
            ],
            "id": 11037,
            "name": "VariableDeclaration",
            "src": "310:64:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "TX_PROOF_DIFFICULTY_FACTOR",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11038,
                "name": "ElementaryTypeName",
                "src": "403:7:43"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "36",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 6",
                  "value": "6"
                },
                "id": 11039,
                "name": "Literal",
                "src": "456:1:43"
              }
            ],
            "id": 11040,
            "name": "VariableDeclaration",
            "src": "403:54:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "SATOSHI_MULTIPLIER",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11041,
                "name": "ElementaryTypeName",
                "src": "463:7:43"
              },
              {
                "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": 11042,
                    "name": "Literal",
                    "src": "508:2:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3130",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 10",
                      "value": "10"
                    },
                    "id": 11043,
                    "name": "Literal",
                    "src": "514:2:43"
                  }
                ],
                "id": 11044,
                "name": "BinaryOperation",
                "src": "508:8:43"
              }
            ],
            "id": 11045,
            "name": "VariableDeclaration",
            "src": "463:53:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "REDEMPTION_SIGNATURE_TIMEOUT",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11046,
                "name": "ElementaryTypeName",
                "src": "558:7:43"
              },
              {
                "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": 11047,
                        "name": "Literal",
                        "src": "613:1:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11048,
                        "name": "Literal",
                        "src": "617:2:43"
                      }
                    ],
                    "id": 11049,
                    "name": "BinaryOperation",
                    "src": "613:6:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11050,
                    "name": "Literal",
                    "src": "622:2:43"
                  }
                ],
                "id": 11051,
                "name": "BinaryOperation",
                "src": "613:11:43"
              }
            ],
            "id": 11052,
            "name": "VariableDeclaration",
            "src": "558:66:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "INCREASE_FEE_TIMER",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11053,
                "name": "ElementaryTypeName",
                "src": "642:7:43"
              },
              {
                "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": 11054,
                        "name": "Literal",
                        "src": "687:1:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11055,
                        "name": "Literal",
                        "src": "691:2:43"
                      }
                    ],
                    "id": 11056,
                    "name": "BinaryOperation",
                    "src": "687:6:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11057,
                    "name": "Literal",
                    "src": "696:2:43"
                  }
                ],
                "id": 11058,
                "name": "BinaryOperation",
                "src": "687:11:43"
              }
            ],
            "id": 11059,
            "name": "VariableDeclaration",
            "src": "642:56:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "REDEMPTION_PROOF_TIMEOUT",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11060,
                "name": "ElementaryTypeName",
                "src": "716:7:43"
              },
              {
                "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": 11061,
                        "name": "Literal",
                        "src": "767:1:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11062,
                        "name": "Literal",
                        "src": "771:2:43"
                      }
                    ],
                    "id": 11063,
                    "name": "BinaryOperation",
                    "src": "767:6:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11064,
                    "name": "Literal",
                    "src": "776:2:43"
                  }
                ],
                "id": 11065,
                "name": "BinaryOperation",
                "src": "767:11:43"
              }
            ],
            "id": 11066,
            "name": "VariableDeclaration",
            "src": "716:62:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "MINIMUM_REDEMPTION_FEE",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11067,
                "name": "ElementaryTypeName",
                "src": "796:7:43"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "32303030",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 2000",
                  "value": "2000"
                },
                "id": 11068,
                "name": "Literal",
                "src": "845:4:43"
              }
            ],
            "id": 11069,
            "name": "VariableDeclaration",
            "src": "796:53:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "MINIMUM_UTXO_VALUE",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11070,
                "name": "ElementaryTypeName",
                "src": "866:7:43"
              },
              {
                "attributes": {
                  "argumentTypes": null,
                  "hexvalue": "32303030",
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "lValueRequested": false,
                  "subdenomination": null,
                  "token": "number",
                  "type": "int_const 2000",
                  "value": "2000"
                },
                "id": 11071,
                "name": "Literal",
                "src": "911:4:43"
              }
            ],
            "id": 11072,
            "name": "VariableDeclaration",
            "src": "866:49:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "FUNDING_PROOF_TIMEOUT",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11073,
                "name": "ElementaryTypeName",
                "src": "953:7:43"
              },
              {
                "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": 11074,
                        "name": "Literal",
                        "src": "1001:1:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11075,
                        "name": "Literal",
                        "src": "1005:2:43"
                      }
                    ],
                    "id": 11076,
                    "name": "BinaryOperation",
                    "src": "1001:6:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11077,
                    "name": "Literal",
                    "src": "1010:2:43"
                  }
                ],
                "id": 11078,
                "name": "BinaryOperation",
                "src": "1001:11:43"
              }
            ],
            "id": 11079,
            "name": "VariableDeclaration",
            "src": "953:59:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "FORMATION_TIMEOUT",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11080,
                "name": "ElementaryTypeName",
                "src": "1029:7:43"
              },
              {
                "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": 11081,
                        "name": "Literal",
                        "src": "1073:1:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11082,
                        "name": "Literal",
                        "src": "1077:2:43"
                      }
                    ],
                    "id": 11083,
                    "name": "BinaryOperation",
                    "src": "1073:6:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11084,
                    "name": "Literal",
                    "src": "1082:2:43"
                  }
                ],
                "id": 11085,
                "name": "BinaryOperation",
                "src": "1073:11:43"
              }
            ],
            "id": 11086,
            "name": "VariableDeclaration",
            "src": "1029:55:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "COURTESY_CALL_DURATION",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11087,
                "name": "ElementaryTypeName",
                "src": "1126:7:43"
              },
              {
                "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": 11088,
                        "name": "Literal",
                        "src": "1175:1:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11089,
                        "name": "Literal",
                        "src": "1179:2:43"
                      }
                    ],
                    "id": 11090,
                    "name": "BinaryOperation",
                    "src": "1175:6:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11091,
                    "name": "Literal",
                    "src": "1184:2:43"
                  }
                ],
                "id": 11092,
                "name": "BinaryOperation",
                "src": "1175:11:43"
              }
            ],
            "id": 11093,
            "name": "VariableDeclaration",
            "src": "1126:60:43"
          },
          {
            "attributes": {
              "constant": true,
              "name": "AUCTION_DURATION",
              "scope": 11205,
              "stateVariable": true,
              "storageLocation": "default",
              "type": "uint256",
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "name": "uint256",
                  "type": "uint256"
                },
                "id": 11094,
                "name": "ElementaryTypeName",
                "src": "1203:7:43"
              },
              {
                "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": 11095,
                        "name": "Literal",
                        "src": "1246:2:43"
                      },
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "hexvalue": "3630",
                          "isConstant": false,
                          "isLValue": false,
                          "isPure": true,
                          "lValueRequested": false,
                          "subdenomination": null,
                          "token": "number",
                          "type": "int_const 60",
                          "value": "60"
                        },
                        "id": 11096,
                        "name": "Literal",
                        "src": "1251:2:43"
                      }
                    ],
                    "id": 11097,
                    "name": "BinaryOperation",
                    "src": "1246:7:43"
                  },
                  {
                    "attributes": {
                      "argumentTypes": null,
                      "hexvalue": "3630",
                      "isConstant": false,
                      "isLValue": false,
                      "isPure": true,
                      "lValueRequested": false,
                      "subdenomination": null,
                      "token": "number",
                      "type": "int_const 60",
                      "value": "60"
                    },
                    "id": 11098,
                    "name": "Literal",
                    "src": "1256:2:43"
                  }
                ],
                "id": 11099,
                "name": "BinaryOperation",
                "src": "1246:12:43"
              }
            ],
            "id": 11100,
            "name": "VariableDeclaration",
            "src": "1203:55:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getBeneficiaryRewardDivisor",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11101,
                "name": "ParameterList",
                "src": "1312:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11108,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11102,
                        "name": "ElementaryTypeName",
                        "src": "1336:7:43"
                      }
                    ],
                    "id": 11103,
                    "name": "VariableDeclaration",
                    "src": "1336:7:43"
                  }
                ],
                "id": 11104,
                "name": "ParameterList",
                "src": "1335:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11104
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11028,
                          "type": "uint256",
                          "value": "BENEFICIARY_FEE_DIVISOR"
                        },
                        "id": 11105,
                        "name": "Identifier",
                        "src": "1354:23:43"
                      }
                    ],
                    "id": 11106,
                    "name": "Return",
                    "src": "1347:30:43"
                  }
                ],
                "id": 11107,
                "name": "Block",
                "src": "1345:35:43"
              }
            ],
            "id": 11108,
            "name": "FunctionDefinition",
            "src": "1276:104:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getDepositTerm",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11109,
                "name": "ParameterList",
                "src": "1408:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11116,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11110,
                        "name": "ElementaryTypeName",
                        "src": "1432:7:43"
                      }
                    ],
                    "id": 11111,
                    "name": "VariableDeclaration",
                    "src": "1432:7:43"
                  }
                ],
                "id": 11112,
                "name": "ParameterList",
                "src": "1431:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11112
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11037,
                          "type": "uint256",
                          "value": "DEPOSIT_TERM_LENGTH"
                        },
                        "id": 11113,
                        "name": "Identifier",
                        "src": "1450:19:43"
                      }
                    ],
                    "id": 11114,
                    "name": "Return",
                    "src": "1443:26:43"
                  }
                ],
                "id": 11115,
                "name": "Block",
                "src": "1441:31:43"
              }
            ],
            "id": 11116,
            "name": "FunctionDefinition",
            "src": "1385:87:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getTxProofDifficultyFactor",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11117,
                "name": "ParameterList",
                "src": "1512:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11124,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11118,
                        "name": "ElementaryTypeName",
                        "src": "1536:7:43"
                      }
                    ],
                    "id": 11119,
                    "name": "VariableDeclaration",
                    "src": "1536:7:43"
                  }
                ],
                "id": 11120,
                "name": "ParameterList",
                "src": "1535:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11120
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11040,
                          "type": "uint256",
                          "value": "TX_PROOF_DIFFICULTY_FACTOR"
                        },
                        "id": 11121,
                        "name": "Identifier",
                        "src": "1554:26:43"
                      }
                    ],
                    "id": 11122,
                    "name": "Return",
                    "src": "1547:33:43"
                  }
                ],
                "id": 11123,
                "name": "Block",
                "src": "1545:38:43"
              }
            ],
            "id": 11124,
            "name": "FunctionDefinition",
            "src": "1477:106:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getSatoshiMultiplier",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11125,
                "name": "ParameterList",
                "src": "1617:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11132,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11126,
                        "name": "ElementaryTypeName",
                        "src": "1641:7:43"
                      }
                    ],
                    "id": 11127,
                    "name": "VariableDeclaration",
                    "src": "1641:7:43"
                  }
                ],
                "id": 11128,
                "name": "ParameterList",
                "src": "1640:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11128
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11045,
                          "type": "uint256",
                          "value": "SATOSHI_MULTIPLIER"
                        },
                        "id": 11129,
                        "name": "Identifier",
                        "src": "1659:18:43"
                      }
                    ],
                    "id": 11130,
                    "name": "Return",
                    "src": "1652:25:43"
                  }
                ],
                "id": 11131,
                "name": "Block",
                "src": "1650:30:43"
              }
            ],
            "id": 11132,
            "name": "FunctionDefinition",
            "src": "1588:92:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getSignatureTimeout",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11133,
                "name": "ParameterList",
                "src": "1714:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11140,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11134,
                        "name": "ElementaryTypeName",
                        "src": "1738:7:43"
                      }
                    ],
                    "id": 11135,
                    "name": "VariableDeclaration",
                    "src": "1738:7:43"
                  }
                ],
                "id": 11136,
                "name": "ParameterList",
                "src": "1737:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11136
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11052,
                          "type": "uint256",
                          "value": "REDEMPTION_SIGNATURE_TIMEOUT"
                        },
                        "id": 11137,
                        "name": "Identifier",
                        "src": "1756:28:43"
                      }
                    ],
                    "id": 11138,
                    "name": "Return",
                    "src": "1749:35:43"
                  }
                ],
                "id": 11139,
                "name": "Block",
                "src": "1747:40:43"
              }
            ],
            "id": 11140,
            "name": "FunctionDefinition",
            "src": "1686:101:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getIncreaseFeeTimer",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11141,
                "name": "ParameterList",
                "src": "1820:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11148,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11142,
                        "name": "ElementaryTypeName",
                        "src": "1844:7:43"
                      }
                    ],
                    "id": 11143,
                    "name": "VariableDeclaration",
                    "src": "1844:7:43"
                  }
                ],
                "id": 11144,
                "name": "ParameterList",
                "src": "1843:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11144
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11059,
                          "type": "uint256",
                          "value": "INCREASE_FEE_TIMER"
                        },
                        "id": 11145,
                        "name": "Identifier",
                        "src": "1862:18:43"
                      }
                    ],
                    "id": 11146,
                    "name": "Return",
                    "src": "1855:25:43"
                  }
                ],
                "id": 11147,
                "name": "Block",
                "src": "1853:30:43"
              }
            ],
            "id": 11148,
            "name": "FunctionDefinition",
            "src": "1792:91:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getRedemptionProofTimeout",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11149,
                "name": "ParameterList",
                "src": "1922:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11156,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11150,
                        "name": "ElementaryTypeName",
                        "src": "1946:7:43"
                      }
                    ],
                    "id": 11151,
                    "name": "VariableDeclaration",
                    "src": "1946:7:43"
                  }
                ],
                "id": 11152,
                "name": "ParameterList",
                "src": "1945:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11152
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11066,
                          "type": "uint256",
                          "value": "REDEMPTION_PROOF_TIMEOUT"
                        },
                        "id": 11153,
                        "name": "Identifier",
                        "src": "1964:24:43"
                      }
                    ],
                    "id": 11154,
                    "name": "Return",
                    "src": "1957:31:43"
                  }
                ],
                "id": 11155,
                "name": "Block",
                "src": "1955:36:43"
              }
            ],
            "id": 11156,
            "name": "FunctionDefinition",
            "src": "1888:103:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getMinimumRedemptionFee",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11157,
                "name": "ParameterList",
                "src": "2028:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11164,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11158,
                        "name": "ElementaryTypeName",
                        "src": "2052:7:43"
                      }
                    ],
                    "id": 11159,
                    "name": "VariableDeclaration",
                    "src": "2052:7:43"
                  }
                ],
                "id": 11160,
                "name": "ParameterList",
                "src": "2051:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11160
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11069,
                          "type": "uint256",
                          "value": "MINIMUM_REDEMPTION_FEE"
                        },
                        "id": 11161,
                        "name": "Identifier",
                        "src": "2070:22:43"
                      }
                    ],
                    "id": 11162,
                    "name": "Return",
                    "src": "2063:29:43"
                  }
                ],
                "id": 11163,
                "name": "Block",
                "src": "2061:34:43"
              }
            ],
            "id": 11164,
            "name": "FunctionDefinition",
            "src": "1996:99:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getMinimumUtxoValue",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11165,
                "name": "ParameterList",
                "src": "2128:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11172,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11166,
                        "name": "ElementaryTypeName",
                        "src": "2152:7:43"
                      }
                    ],
                    "id": 11167,
                    "name": "VariableDeclaration",
                    "src": "2152:7:43"
                  }
                ],
                "id": 11168,
                "name": "ParameterList",
                "src": "2151:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11168
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11072,
                          "type": "uint256",
                          "value": "MINIMUM_UTXO_VALUE"
                        },
                        "id": 11169,
                        "name": "Identifier",
                        "src": "2170:18:43"
                      }
                    ],
                    "id": 11170,
                    "name": "Return",
                    "src": "2163:25:43"
                  }
                ],
                "id": 11171,
                "name": "Block",
                "src": "2161:30:43"
              }
            ],
            "id": 11172,
            "name": "FunctionDefinition",
            "src": "2100:91:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getFundingTimeout",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11173,
                "name": "ParameterList",
                "src": "2223:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11180,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11174,
                        "name": "ElementaryTypeName",
                        "src": "2247:7:43"
                      }
                    ],
                    "id": 11175,
                    "name": "VariableDeclaration",
                    "src": "2247:7:43"
                  }
                ],
                "id": 11176,
                "name": "ParameterList",
                "src": "2246:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11176
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11079,
                          "type": "uint256",
                          "value": "FUNDING_PROOF_TIMEOUT"
                        },
                        "id": 11177,
                        "name": "Identifier",
                        "src": "2265:21:43"
                      }
                    ],
                    "id": 11178,
                    "name": "Return",
                    "src": "2258:28:43"
                  }
                ],
                "id": 11179,
                "name": "Block",
                "src": "2256:33:43"
              }
            ],
            "id": 11180,
            "name": "FunctionDefinition",
            "src": "2197:92:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getSigningGroupFormationTimeout",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11181,
                "name": "ParameterList",
                "src": "2334:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11188,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11182,
                        "name": "ElementaryTypeName",
                        "src": "2358:7:43"
                      }
                    ],
                    "id": 11183,
                    "name": "VariableDeclaration",
                    "src": "2358:7:43"
                  }
                ],
                "id": 11184,
                "name": "ParameterList",
                "src": "2357:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11184
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11086,
                          "type": "uint256",
                          "value": "FORMATION_TIMEOUT"
                        },
                        "id": 11185,
                        "name": "Identifier",
                        "src": "2376:17:43"
                      }
                    ],
                    "id": 11186,
                    "name": "Return",
                    "src": "2369:24:43"
                  }
                ],
                "id": 11187,
                "name": "Block",
                "src": "2367:29:43"
              }
            ],
            "id": 11188,
            "name": "FunctionDefinition",
            "src": "2294:102:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getCourtesyCallTimeout",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11189,
                "name": "ParameterList",
                "src": "2433:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11196,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11190,
                        "name": "ElementaryTypeName",
                        "src": "2457:7:43"
                      }
                    ],
                    "id": 11191,
                    "name": "VariableDeclaration",
                    "src": "2457:7:43"
                  }
                ],
                "id": 11192,
                "name": "ParameterList",
                "src": "2456:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11192
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11093,
                          "type": "uint256",
                          "value": "COURTESY_CALL_DURATION"
                        },
                        "id": 11193,
                        "name": "Identifier",
                        "src": "2475:22:43"
                      }
                    ],
                    "id": 11194,
                    "name": "Return",
                    "src": "2468:29:43"
                  }
                ],
                "id": 11195,
                "name": "Block",
                "src": "2466:34:43"
              }
            ],
            "id": 11196,
            "name": "FunctionDefinition",
            "src": "2402:98:43"
          },
          {
            "attributes": {
              "documentation": null,
              "implemented": true,
              "isConstructor": false,
              "kind": "function",
              "modifiers": [
                null
              ],
              "name": "getAuctionDuration",
              "scope": 11205,
              "stateMutability": "pure",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "attributes": {
                  "parameters": [
                    null
                  ]
                },
                "children": [],
                "id": 11197,
                "name": "ParameterList",
                "src": "2532:2:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 11204,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint256",
                          "type": "uint256"
                        },
                        "id": 11198,
                        "name": "ElementaryTypeName",
                        "src": "2556:7:43"
                      }
                    ],
                    "id": 11199,
                    "name": "VariableDeclaration",
                    "src": "2556:7:43"
                  }
                ],
                "id": 11200,
                "name": "ParameterList",
                "src": "2555:9:43"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "functionReturnParameters": 11200
                    },
                    "children": [
                      {
                        "attributes": {
                          "argumentTypes": null,
                          "overloadedDeclarations": [
                            null
                          ],
                          "referencedDeclaration": 11100,
                          "type": "uint256",
                          "value": "AUCTION_DURATION"
                        },
                        "id": 11201,
                        "name": "Identifier",
                        "src": "2574:16:43"
                      }
                    ],
                    "id": 11202,
                    "name": "Return",
                    "src": "2567:23:43"
                  }
                ],
                "id": 11203,
                "name": "Block",
                "src": "2565:28:43"
              }
            ],
            "id": 11204,
            "name": "FunctionDefinition",
            "src": "2505:88:43"
          }
        ],
        "id": 11205,
        "name": "ContractDefinition",
        "src": "25:2570:43"
      }
    ],
    "id": 11206,
    "name": "SourceUnit",
    "src": "0:2596:43"
  },
  "compiler": {
    "name": "solc",
    "version": "0.5.17+commit.d19bba13.Emscripten.clang"
  },
  "networks": {},
  "schemaVersion": "3.3.4",
  "updatedAt": "2021-11-23T11:52:09.374Z",
  "devdoc": {
    "methods": {}
  },
  "userdoc": {
    "methods": {}
  }
}