{ "contractName": "MultiPartyInsurableArbitrableAgreementsBase", "abi": [ { "constant": true, "inputs": [ { "name": "_agreementID", "type": "bytes32" } ], "name": "getFeesInfo", "outputs": [ { "name": "ruling", "type": "uint256[]" }, { "name": "_stake", "type": "uint256[]" }, { "name": "totalValue", "type": "uint256[]" }, { "name": "totalContributedPerSide", "type": "uint256[2][]" }, { "name": "loserFullyFunded", "type": "bool[]" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "arbitratorExtraData", "outputs": [ { "name": "", "type": "bytes" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "paidFees", "outputs": [ { "name": "firstContributionTime", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_agreementID", "type": "bytes32" }, { "name": "_round", "type": "uint256" } ], "name": "withdrawReward", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_disputeID", "type": "uint256" }, { "name": "_ruling", "type": "uint256" } ], "name": "rule", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [], "name": "stake", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "feeGovernor", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_agreementID", "type": "bytes32" }, { "name": "_side", "type": "uint256" } ], "name": "fundDispute", "outputs": [], "payable": true, "stateMutability": "payable", "type": "function" }, { "constant": true, "inputs": [], "name": "arbitrator", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "fundDisputeCache", "outputs": [ { "name": "cost", "type": "uint256" }, { "name": "appealing", "type": "bool" }, { "name": "appealPeriodStart", "type": "uint256" }, { "name": "appealPeriodEnd", "type": "uint256" }, { "name": "appealPeriodSupported", "type": "bool" }, { "name": "requiredValueForSide", "type": "uint256" }, { "name": "expectedValue", "type": "uint256" }, { "name": "stillRequiredValueForSide", "type": "uint256" }, { "name": "keptValue", "type": "uint256" }, { "name": "refundedValue", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "_agreementID", "type": "bytes32" }, { "name": "_round", "type": "uint256" }, { "name": "_contributor", "type": "address" } ], "name": "getContributions", "outputs": [ { "name": "contributions", "type": "uint256[2]" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "agreements", "outputs": [ { "name": "creator", "type": "address" }, { "name": "numberOfChoices", "type": "uint256" }, { "name": "extraData", "type": "bytes" }, { "name": "arbitrationFeesWaitingTime", "type": "uint256" }, { "name": "arbitrator", "type": "address" }, { "name": "disputeID", "type": "uint256" }, { "name": "disputed", "type": "bool" }, { "name": "appealed", "type": "bool" }, { "name": "ruling", "type": "uint256" }, { "name": "executed", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "address" }, { "name": "", "type": "uint256" } ], "name": "arbitratorAndDisputeIDToAgreementID", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_feeGovernor", "type": "address" } ], "name": "changeFeeGovernor", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "name": "_agreementID", "type": "bytes32" } ], "name": "getAgreementInfo", "outputs": [ { "name": "creator", "type": "address" }, { "name": "parties", "type": "address[]" }, { "name": "numberOfChoices", "type": "uint256" }, { "name": "extraData", "type": "bytes" }, { "name": "arbitrationFeesWaitingTime", "type": "uint256" }, { "name": "arbitrator", "type": "address" }, { "name": "disputeID", "type": "uint256" }, { "name": "disputed", "type": "bool" }, { "name": "appealed", "type": "bool" }, { "name": "ruling", "type": "uint256" }, { "name": "executed", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_agreementID", "type": "bytes32" }, { "name": "_evidence", "type": "string" } ], "name": "submitEvidence", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_stake", "type": "uint256" } ], "name": "changeStake", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "name": "_arbitrator", "type": "address" }, { "name": "_arbitratorExtraData", "type": "bytes" }, { "name": "_feeGovernor", "type": "address" }, { "name": "_stake", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_agreementID", "type": "bytes32" }, { "indexed": true, "name": "_round", "type": "uint256" }, { "indexed": true, "name": "_contributor", "type": "address" }, { "indexed": false, "name": "_value", "type": "uint256" } ], "name": "Contribution", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_agreementID", "type": "bytes32" }, { "indexed": true, "name": "_round", "type": "uint256" }, { "indexed": true, "name": "_contributor", "type": "address" }, { "indexed": false, "name": "_value", "type": "uint256" } ], "name": "RewardWithdrawal", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_metaEvidenceID", "type": "uint256" }, { "indexed": false, "name": "_evidence", "type": "string" } ], "name": "MetaEvidence", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_arbitrator", "type": "address" }, { "indexed": true, "name": "_disputeID", "type": "uint256" }, { "indexed": false, "name": "_metaEvidenceID", "type": "uint256" } ], "name": "Dispute", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_arbitrator", "type": "address" }, { "indexed": true, "name": "_disputeID", "type": "uint256" }, { "indexed": true, "name": "_party", "type": "address" }, { "indexed": false, "name": "_evidence", "type": "string" } ], "name": "Evidence", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_arbitrator", "type": "address" }, { "indexed": true, "name": "_disputeID", "type": "uint256" }, { "indexed": false, "name": "_ruling", "type": "uint256" } ], "name": "Ruling", "type": "event" } ], "bytecode": "0x60806040523480156200001157600080fd5b5060405162002f1138038062002f11833981016040908152815160208084015192840151606085015160008054600160a060020a031916600160a060020a03861617905593909401805192949093909290918391839187918791839183916200008091600191840190620000b4565b505060048054600160a060020a031916600160a060020a039690961695909517909455505060055550620001599350505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620000f757805160ff191683800117855562000127565b8280016001018555821562000127579182015b82811115620001275782518255916020019190600101906200010a565b506200013592915062000139565b5090565b6200015691905b8082111562000135576000815560010162000140565b90565b612da880620001696000396000f3006080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630b3b430d81146100f55780630c7ac7b61461028e57806313c2677a146103185780631961097b14610342578063311a6c561461035f5780633a4b66f11461037a5780634f4e1d891461038f5780636c18bb5b146103c05780636cc6cde1146103ce5780637f854a36146103e35780638fee5e06146104485780639e1f68c7146104aa578063d7baa83d14610594578063dcd8888b146105b8578063edde5ff4146105d9578063f48a0b3114610706578063f7b2eb3f14610764575b600080fd5b34801561010157600080fd5b5061010d60043561077c565b60405180806020018060200180602001806020018060200186810386528b818151815260200191508051906020019060200280838360005b8381101561015d578181015183820152602001610145565b5050505090500186810385528a818151815260200191508051906020019060200280838360005b8381101561019c578181015183820152602001610184565b50505050905001868103845289818151815260200191508051906020019060200280838360005b838110156101db5781810151838201526020016101c3565b505050509050018681038352888181518152602001915080516000925b8184101561023a57602080850284010151604080838360005b83811015610229578181015183820152602001610211565b5050505090500192600101926101f8565b89810385528a5181528a5160209182019450818c01935002905080838360005b8381101561027257818101518382015260200161025a565b505050509050019a505050505050505050505060405180910390f35b34801561029a57600080fd5b506102a361098d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102dd5781810151838201526020016102c5565b50505050905090810190601f16801561030a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561032457600080fd5b50610330600435610a1a565b60408051918252519081900360200190f35b34801561034e57600080fd5b5061035d600435602435610a2c565b005b34801561036b57600080fd5b5061035d600435602435610f11565b34801561038657600080fd5b50610330611002565b34801561039b57600080fd5b506103a4611008565b60408051600160a060020a039092168252519081900360200190f35b61035d600435602435611017565b3480156103da57600080fd5b506103a461228c565b3480156103ef57600080fd5b506103f861229b565b604080519a8b5298151560208b0152898901979097526060890195909552921515608088015260a087019190915260c086015260e085015261010084015261012083015251908190036101400190f35b34801561045457600080fd5b5061046f600435602435600160a060020a03604435166122c6565b6040518082600260200280838360005b8381101561049757818101518382015260200161047f565b5050505090500191505060405180910390f35b3480156104b657600080fd5b506104c260043561233f565b60408051600160a060020a03808d16825260208083018d9052606083018b9052908916608083015260a0820188905286151560c083015285151560e083015261010082018590528315156101208301526101409282018381528b51938301939093528a519192916101608401918c019080838360005b83811015610550578181015183820152602001610538565b50505050905090810190601f16801561057d5780820380516001836020036101000a031916815260200191505b509b50505050505050505050505060405180910390f35b3480156105a057600080fd5b50610330600160a060020a0360043516602435612430565b3480156105c457600080fd5b5061035d600160a060020a036004351661244d565b3480156105e557600080fd5b506105f1600435612504565b60408051600160a060020a03808e1682529181018b90526080810189905290871660a082015260c0810186905284151560e0820152831515610100820152610120810183905281151561014082015261016060208083018281528d51928401929092528c5160608401916101808501918f8201910280838360005b8381101561068457818101518382015260200161066c565b5050505090500183810382528b818151815260200191508051906020019080838360005b838110156106c05781810151838201526020016106a8565b50505050905090810190601f1680156106ed5780820380516001836020036101000a031916815260200191505b509d505050505050505050505050505060405180910390f35b34801561071257600080fd5b5060408051602060046024803582810135601f810185900485028601850190965285855261035d95833595369560449491939091019190819084018382808284375094975061279a9650505050505050565b34801561077057600080fd5b5061035d600435612add565b60008181526006602090815260409182902060018101805484518185028101850190955280855260609485948594859485949193929091908301828280156107e357602002820191906000526020600020905b8154815260200190600101908083116107cf575b505050505095508060020180548060200260200160405190810160405280929190818152602001828054801561083857602002820191906000526020600020905b815481526020019060010190808311610824575b505050505094508060030180548060200260200160405190810160405280929190818152602001828054801561088d57602002820191906000526020600020905b815481526020019060010190808311610879575b5050505050935080600401805480602002602001604051908101604052809291908181526020016000905b828210156109085760008481526020902060408051808201918290529160028581029091019182845b8154815260200190600101908083116108e1575050505050815260200190600101906108b8565b5050505092508060050180548060200260200160405190810160405280929190818152602001828054801561097c57602002820191906000526020600020906000905b825461010083900a900460ff16151581526020600192830181810494850194909303909202910180841161094b5790505b505050505091505091939590929450565b60018054604080516020600284861615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610a125780601f106109e757610100808354040283529160200191610a12565b820191906000526020600020905b8154815290600101906020018083116109f557829003601f168201915b505050505081565b60066020526000908152604090205481565b6000828152600260209081526040808320600690925282208154919290918190600160a060020a03161515610aad576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b600784015460ff161580610b63575060058401546006850154604080517f10f169e8000000000000000000000000000000000000000000000000000000008152600481019290925251600292600160a060020a0316916310f169e89160248083019260209291908290030181600087803b158015610b2a57600080fd5b505af1158015610b3e573d6000803e3d6000fd5b505050506040513d6020811015610b5457600080fd5b50516002811115610b6157fe5b145b1515610bb9576040805160e560020a62461bcd02815260206004820181905260248201527f5468652061677265656d656e74206973207374696c6c2064697370757465642e604482015290519081900360640190fd5b60028301548510610c3a576040805160e560020a62461bcd02815260206004820152603e60248201527f5468652073706563696669656420726f756e64206f662074686520737065636960448201527f666965642061677265656d656e7420646f6573206e6f742065786973742e0000606482015290519081900360840190fd5b841580610c4e575060028301546000190185145b15610d625784151580610c665750600784015460ff16155b1515610d08576040805160e560020a62461bcd02815260206004820152604c60248201527f5468657265206973206e6f7468696e6720746f2077697468647261772066726f60448201527f6d2074686520666972737420726f756e6420696620746865206469737075746560648201527f20776173207261697365642e0000000000000000000000000000000000000000608482015290519081900360a40190fd5b60068301805486908110610d1857fe5b600091825260208083203384529091019052604090206001015460068401805487908110610d4257fe5b600091825260208083203384529091019052604081200154019150610e5b565b600884015460018401805487908110610d7757fe5b90600052602060002001541415610d8f576001610d92565b60005b60ff1690508260040185815481101515610da857fe5b906000526020600020906002020181600281101515610dc357fe5b015415610e555760048301805486908110610dda57fe5b906000526020600020906002020181600281101515610df557fe5b015460068401805487908110610e0757fe5b600091825260208083203384529091019052604090208260028110610e2857fe5b015460038501805488908110610e3a57fe5b906000526020600020015402811515610e4f57fe5b04610e58565b60005b91505b604080518082019091526000808252602082015260068401805487908110610e7f57fe5b60009182526020808320338452909101905260409020610ea0916002612c98565b50604051339083156108fc029084906000818181858888f19350505050158015610ece573d6000803e3d6000fd5b506040805183815290513391879189917f3af1589e5fc22e884f17d5fef298cf3ddc2cd21fa3d0ee55d7c1e7afc3697c6e919081900360200190a4505050505050565b33600081815260036020908152604080832086845282528083205483526002909152902060050154600160a060020a031614610fbd576040805160e560020a62461bcd02815260206004820152603160248201527f4120646973707574652063616e206f6e6c792062652072756c6564206f6e206260448201527f79206974732061726269747261746f722e000000000000000000000000000000606482015290519081900360840190fd5b604080518281529051839133917f394027a5fa6e098a1191094d1719d6929b9abc535fcc0c8f448d6a4e756222769181900360200190a3610ffe8282612b6a565b5050565b60055481565b600454600160a060020a031681565b600082815260026020908152604080832060069092529091208154600160a060020a03161515611093576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b600982015460ff1615611116576040805160e560020a62461bcd02815260206004820152603160248201527f596f752063616e6e6f742066756e6420646973707574657320666f722065786560448201527f63757465642061677265656d656e74732e000000000000000000000000000000606482015290519081900360840190fd5b600782015460ff1615806111cc575060058201546006830154604080517f10f169e8000000000000000000000000000000000000000000000000000000008152600481019290925251600192600160a060020a0316916310f169e89160248083019260209291908290030181600087803b15801561119357600080fd5b505af11580156111a7573d6000803e3d6000fd5b505050506040513d60208110156111bd57600080fd5b505160028111156111ca57fe5b145b1515611248576040805160e560020a62461bcd02815260206004820152603860248201527f5468652061677265656d656e7420697320616c7265616479206469737075746560448201527f6420616e64206973206e6f742061707065616c61626c652e0000000000000000606482015290519081900360840190fd5b60018311156112a1576040805160e560020a62461bcd02815260206004820152601960248201527f546865726520617265206f6e6c792074776f2073696465732e00000000000000604482015290519081900360640190fd5b6000341161131f576040805160e560020a62461bcd02815260206004820152602d60248201527f5468652076616c7565206f662074686520636f6e747269627574696f6e20636160448201527f6e6e6f74206265207a65726f2e00000000000000000000000000000000000000606482015290519081900360840190fd5b805415156113fb57428155600180820180548083018255600091825260208083209091018290556005546002808601805480870182559085528385200191909155600385018054808601825590845282842001839055604080518082019091528381528083018490526004860180549586018082559085529290932091936113ae939082029092019190612c98565b50506005810180546001808201835560009283526020928390209282049092018054601f9092166101000a60ff02199091169055600682018054916113f591908301612cdb565b5061143a565b600060078190556008805460ff19908116909155600a8290556009829055600b80549091169055600c819055600d819055600e819055600f8190556010555b60028101546001141561157a5760058201546040517ff7434ea90000000000000000000000000000000000000000000000000000000081526020600482019081526003850180546002600019600183161561010002019091160460248401819052600160a060020a039094169363f7434ea9939192918291604490910190849080156115075780601f106114dc57610100808354040283529160200191611507565b820191906000526020600020905b8154815290600101906020018083116114ea57829003601f168201915b505092505050602060405180830381600087803b15801561152757600080fd5b505af115801561153b573d6000803e3d6000fd5b505050506040513d602081101561155157600080fd5b5051600755600482015481544203111561157557611570846000612b8b565b612286565b6119b2565b60058201546006830154604080517ff23f16e600000000000000000000000000000000000000000000000000000000815260048101838152602482019283526003870180546002600019600183161561010002019091160460448401819052600160a060020a039096169563f23f16e69594919360640190849080156116415780601f1061161657610100808354040283529160200191611641565b820191906000526020600020905b81548152906001019060200180831161162457829003601f168201915b50509350505050602060405180830381600087803b15801561166257600080fd5b505af1158015611676573d6000803e3d6000fd5b505050506040513d602081101561168c57600080fd5b50516007556008805460ff1916600117905560058201546006830154604080517fafe15cfb00000000000000000000000000000000000000000000000000000000815260048101929092528051600160a060020a039093169263afe15cfb9260248082019392918290030181600087803b15801561170957600080fd5b505af115801561171d573d6000803e3d6000fd5b505050506040513d604081101561173357600080fd5b508051602090910151600a556009819055158015906117535750600a5415155b600b805460ff1916911515919091179081905560ff161561190c57600954600a5460029082900304014210156118045782156117ff576040805160e560020a62461bcd02815260206004820152603060248201527f497420697320746865206c6f73696e6720736964652773207475726e20746f2060448201527f66756e64207468652061707065616c2e00000000000000000000000000000000606482015290519081900360840190fd5b611575565b8260011480156118445750600581018054600019810190811061182357fe5b90600052602060002090602091828204019190069054906101000a900460ff165b1515611575576040805160e560020a62461bcd02815260206004820152606260248201527f4974206973207468652077696e6e696e6720736964652773207475726e20746f60448201527f2066756e64207468652061707065616c2c206f6e6c7920696620746865206c6f60648201527f73696e67207369646520616c72656164792066756c6c792066756e646564206960848201527f742e00000000000000000000000000000000000000000000000000000000000060a482015290519081900360c40190fd5b6007543410156119b2576040805160e560020a62461bcd02815260206004820152604c60248201527f46656573206d757374206265207061696420696e2066756c6c2069662074686560448201527f2061726269747261746f7220646f6573206e6f7420737570706f72742060617060648201527f7065616c506572696f64602e0000000000000000000000000000000000000000608482015290519081900360a40190fd5b60085460ff1615156119cd5760075460029004600c55611ace565b600b5460ff1615156119e457600754600c55611ace565b821515611a1c5760028101805460001981019081106119ff57fe5b600091825260209091200154600754600290910201600c55611ace565b6002810180546000198101908110611a3057fe5b6000918252602090912001546004820180546000198101908110611a5057fe5b600091825260208220600290910201015403600d8190556004820180546000198101908110611a7b57fe5b60009182526020822060029091020101540160076000015411611aa057600d54611aca565b6004810180546000198101908110611ab457fe5b6000918252602082206002909102010154600754035b600c555b600c546004820180546000198101908110611ae557fe5b906000526020600020906002020184600281101515611b0057fe5b015410611b11576000600e55611b4a565b6004810180546000198101908110611b2557fe5b906000526020600020906002020183600281101515611b4057fe5b0154600c5403600e555b600e54341115611b5c57600e54611b5e565b345b600f8190553481900360105560001015611c1657600f546003820180546000198101908110611b8957fe5b600091825260209091200180549091019055600f546004820180546000198101908110611bb257fe5b906000526020600020906002020184600281101515611bcd57fe5b0180549091019055600f546006820180546000198101908110611bec57fe5b600091825260208083203384529091019052604090208460028110611c0d57fe5b01805490910190555b60105460001015611c5157601054604051339180156108fc02916000818181858888f19350505050158015611c4f573d6000803e3d6000fd5b505b6002810154600f5460408051918252513392600019019187917fbd56b899e801b4dafced5be36852af735083cf687f72a7d69351ec0d2263ee889181900360200190a4600c546004820180546000198101908110611cab57fe5b906000526020600020906002020184600281101515611cc657fe5b0154101580611ce5575060085460ff168015611ce55750600b5460ff16155b156122865782158015611d35575060085460ff16611d2e57600c546004820180546000198101908110611d1457fe5b600091825260209091206002909102016001015410611d35565b600b5460ff165b15611dba576005810180546000198101908110611d4e57fe5b90600052602060002090602091828204019190069054906101000a900460ff16151561157057600581018054600191906000198101908110611d8c57fe5b90600052602060002090602091828204019190066101000a81548160ff021916908315150217905550612286565b60085460ff161515611fb257600c546004820180546000198101908110611ddd57fe5b906000526020600020906002020184600014611dfa576000611dfd565b60015b60ff1660028110611e0a57fe5b01541015611e1757612286565b6005820154600754600280850154604080517fc13517e1000000000000000000000000000000000000000000000000000000008152600481018381526024820192835260038901805460001960018216156101000201169590950460448301819052600160a060020a039097169663c13517e196959391926064019084908015611ee25780601f10611eb757610100808354040283529160200191611ee2565b820191906000526020600020905b815481529060010190602001808311611ec557829003601f168201915b505093505050506020604051808303818588803b158015611f0257600080fd5b505af1158015611f16573d6000803e3d6000fd5b50505050506040513d6020811015611f2d57600080fd5b50516006830181815560078401805460ff19166001179055600584018054600160a060020a03908116600090815260036020908152604080832096835295815290859020899055925491548451898152945192949116927fc21357d76c2ee05713ed6e2edb9a5f60ab1e8748c56201385df30007f774f58d92918290030190a3612196565b60058201546006830154604080517f1c3db16d000000000000000000000000000000000000000000000000000000008152600481019290925251600160a060020a0390921691631c3db16d916024808201926020929091908290030181600087803b15801561202057600080fd5b505af1158015612034573d6000803e3d6000fd5b505050506040513d602081101561204a57600080fd5b5051600182018054600019810190811061206057fe5b60009182526020909120015560058201546007546006840154604080517f49912f8800000000000000000000000000000000000000000000000000000000815260048101838152602482019283526003880180546002600019600183161561010002019091160460448401819052600160a060020a03909716966349912f88969594919360640190849080156121375780601f1061210c57610100808354040283529160200191612137565b820191906000526020600020905b81548152906001019060200180831161211a57829003601f168201915b505093505050506000604051808303818588803b15801561215757600080fd5b505af115801561216b573d6000803e3d6000fd5b505050506007830154610100900460ff16151590506121965760078201805461ff0019166101001790555b60075460038201805460001981019081106121ad57fe5b60009182526020808320909101805493909303909255600183810180548083018255908352838320018290556005546002808601805480850182559085528585200191909155600385018054808401825590845284842001839055604080518082019091528381528085018490526004860180549384018082559085529490932061223d93928202019190612c98565b50506005810180546001808201835560009283526020928390209282049092018054601f9092166101000a60ff021990911690556006820180549161228491908301612cdb565b505b50505050565b600054600160a060020a031681565b600754600854600954600a54600b54600c54600d54600e54600f5460105460ff98891698909516948a565b6122ce612d04565b6000848152600660208190526040909120018054849081106122ec57fe5b60009182526020808320600160a060020a03861684529190910190526040908190208151808301928390529160029082845b81548152602001906001019080831161231e57505050505090509392505050565b60026020818152600092835260409283902080548184015460038301805487516101006001831615026000190190911696909604601f8101869004860287018601909752868652600160a060020a0390921695909492938301828280156123e75780601f106123bc576101008083540402835291602001916123e7565b820191906000526020600020905b8154815290600101906020018083116123ca57829003601f168201915b5050506004840154600585015460068601546007870154600888015460099098015496979396600160a060020a03909316955090935060ff80821693610100909204811692168a565b600360209081526000928352604080842090915290825290205481565b600454600160a060020a031633146124d5576040805160e560020a62461bcd02815260206004820152602360248201527f5468652063616c6c6572206973206e6f74207468652066656520676f7665726e60448201527f6f722e0000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000818152600260209081526040808320805460019091018054835181860281018601909452808452600160a060020a0390921694606094909385938593849384938493849384938493929083018282801561258957602002820191906000526020600020905b8154600160a060020a0316815260019091019060200180831161256b575b50505050509950600260008d60001916600019168152602001908152602001600020600201549850600260008d600019166000191681526020019081526020016000206003018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156126635780601f1061263857610100808354040283529160200191612663565b820191906000526020600020905b81548152906001019060200180831161264657829003601f168201915b50505050509750600260008d60001916600019168152602001908152602001600020600401549650600260008d6000191660001916815260200190815260200160002060050160009054906101000a9004600160a060020a03169550600260008d60001916600019168152602001908152602001600020600601549450600260008d6000191660001916815260200190815260200160002060070160009054906101000a900460ff169350600260008d6000191660001916815260200190815260200160002060070160019054906101000a900460ff169250600260008d60001916600019168152602001908152602001600020600801549150600260008d6000191660001916815260200190815260200160002060090160009054906101000a900460ff16905091939597999b90929496989a50565b6000828152600260205260408120548190600160a060020a0316151561280c576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b60008481526002602052604090206007015460ff16151561289d576040805160e560020a62461bcd02815260206004820152602860248201527f546865207370656369666965642061677265656d656e74206973206e6f74206460448201527f697370757465642e000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600084815260026020526040902060070154610100900460ff1615612932576040805160e560020a62461bcd02815260206004820152603260248201527f546865207370656369666965642061677265656d656e742068617320616c726560448201527f616479206265656e2061707065616c65642e0000000000000000000000000000606482015290519081900360840190fd5b5060009050805b60008481526002602052604090206001015481101561299a57600084815260026020526040902060010180543391908390811061297257fe5b600091825260209091200154600160a060020a0316141561299257600191505b600101612939565b811515612a17576040805160e560020a62461bcd02815260206004820152603560248201527f5468652073656e646572206973206e6f74206120706172747920696e2074686560448201527f207370656369666965642061677265656d656e742e0000000000000000000000606482015290519081900360840190fd5b600084815260026020908152604080832060068101546005909101548251848152885181860152885133969395600160a060020a03909316947fdccf2f8b2cc26eafcd61905cba744cff4b81d14740725f6376390dc6298a6a3c948b94849392840192908601918190849084905b83811015612a9d578181015183820152602001612a85565b50505050905090810190601f168015612aca5780820380516001836020036101000a031916815260200191505b509250505060405180910390a450505050565b600454600160a060020a03163314612b65576040805160e560020a62461bcd02815260206004820152602360248201527f5468652063616c6c6572206973206e6f74207468652066656520676f7665726e60448201527f6f722e0000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600555565b336000908152600360209081526040808320858452909152902054610ffe90825b60008281526002602052604090208054600160a060020a03161515612bfc576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b600981015460ff1615612c7f576040805160e560020a62461bcd02815260206004820152603260248201527f546865207370656369666965642061677265656d656e742068617320616c726560448201527f616479206265656e2065786563757465642e0000000000000000000000000000606482015290519081900360840190fd5b6008810191909155600901805460ff1916600117905550565b8260028101928215612ccb579160200282015b82811115612ccb578251829060ff16905591602001919060010190612cab565b50612cd7929150612d1f565b5090565b815481835581811115612cff57600083815260209020612cff918101908301612cd7565b505050565b60408051808201825290600290829080388339509192915050565b612d3991905b80821115612cd75760008155600101612d25565b9056002065786973742e00000000000000000000000000000000000000000000000000546865207370656369666965642061677265656d656e7420646f6573206e6f74a165627a7a72305820f46f0de45daec9e2cca310ea5553c2f823788cf5b4df74e036a25e8264efa4e30029", "deployedBytecode": "0x6080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630b3b430d81146100f55780630c7ac7b61461028e57806313c2677a146103185780631961097b14610342578063311a6c561461035f5780633a4b66f11461037a5780634f4e1d891461038f5780636c18bb5b146103c05780636cc6cde1146103ce5780637f854a36146103e35780638fee5e06146104485780639e1f68c7146104aa578063d7baa83d14610594578063dcd8888b146105b8578063edde5ff4146105d9578063f48a0b3114610706578063f7b2eb3f14610764575b600080fd5b34801561010157600080fd5b5061010d60043561077c565b60405180806020018060200180602001806020018060200186810386528b818151815260200191508051906020019060200280838360005b8381101561015d578181015183820152602001610145565b5050505090500186810385528a818151815260200191508051906020019060200280838360005b8381101561019c578181015183820152602001610184565b50505050905001868103845289818151815260200191508051906020019060200280838360005b838110156101db5781810151838201526020016101c3565b505050509050018681038352888181518152602001915080516000925b8184101561023a57602080850284010151604080838360005b83811015610229578181015183820152602001610211565b5050505090500192600101926101f8565b89810385528a5181528a5160209182019450818c01935002905080838360005b8381101561027257818101518382015260200161025a565b505050509050019a505050505050505050505060405180910390f35b34801561029a57600080fd5b506102a361098d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102dd5781810151838201526020016102c5565b50505050905090810190601f16801561030a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561032457600080fd5b50610330600435610a1a565b60408051918252519081900360200190f35b34801561034e57600080fd5b5061035d600435602435610a2c565b005b34801561036b57600080fd5b5061035d600435602435610f11565b34801561038657600080fd5b50610330611002565b34801561039b57600080fd5b506103a4611008565b60408051600160a060020a039092168252519081900360200190f35b61035d600435602435611017565b3480156103da57600080fd5b506103a461228c565b3480156103ef57600080fd5b506103f861229b565b604080519a8b5298151560208b0152898901979097526060890195909552921515608088015260a087019190915260c086015260e085015261010084015261012083015251908190036101400190f35b34801561045457600080fd5b5061046f600435602435600160a060020a03604435166122c6565b6040518082600260200280838360005b8381101561049757818101518382015260200161047f565b5050505090500191505060405180910390f35b3480156104b657600080fd5b506104c260043561233f565b60408051600160a060020a03808d16825260208083018d9052606083018b9052908916608083015260a0820188905286151560c083015285151560e083015261010082018590528315156101208301526101409282018381528b51938301939093528a519192916101608401918c019080838360005b83811015610550578181015183820152602001610538565b50505050905090810190601f16801561057d5780820380516001836020036101000a031916815260200191505b509b50505050505050505050505060405180910390f35b3480156105a057600080fd5b50610330600160a060020a0360043516602435612430565b3480156105c457600080fd5b5061035d600160a060020a036004351661244d565b3480156105e557600080fd5b506105f1600435612504565b60408051600160a060020a03808e1682529181018b90526080810189905290871660a082015260c0810186905284151560e0820152831515610100820152610120810183905281151561014082015261016060208083018281528d51928401929092528c5160608401916101808501918f8201910280838360005b8381101561068457818101518382015260200161066c565b5050505090500183810382528b818151815260200191508051906020019080838360005b838110156106c05781810151838201526020016106a8565b50505050905090810190601f1680156106ed5780820380516001836020036101000a031916815260200191505b509d505050505050505050505050505060405180910390f35b34801561071257600080fd5b5060408051602060046024803582810135601f810185900485028601850190965285855261035d95833595369560449491939091019190819084018382808284375094975061279a9650505050505050565b34801561077057600080fd5b5061035d600435612add565b60008181526006602090815260409182902060018101805484518185028101850190955280855260609485948594859485949193929091908301828280156107e357602002820191906000526020600020905b8154815260200190600101908083116107cf575b505050505095508060020180548060200260200160405190810160405280929190818152602001828054801561083857602002820191906000526020600020905b815481526020019060010190808311610824575b505050505094508060030180548060200260200160405190810160405280929190818152602001828054801561088d57602002820191906000526020600020905b815481526020019060010190808311610879575b5050505050935080600401805480602002602001604051908101604052809291908181526020016000905b828210156109085760008481526020902060408051808201918290529160028581029091019182845b8154815260200190600101908083116108e1575050505050815260200190600101906108b8565b5050505092508060050180548060200260200160405190810160405280929190818152602001828054801561097c57602002820191906000526020600020906000905b825461010083900a900460ff16151581526020600192830181810494850194909303909202910180841161094b5790505b505050505091505091939590929450565b60018054604080516020600284861615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610a125780601f106109e757610100808354040283529160200191610a12565b820191906000526020600020905b8154815290600101906020018083116109f557829003601f168201915b505050505081565b60066020526000908152604090205481565b6000828152600260209081526040808320600690925282208154919290918190600160a060020a03161515610aad576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b600784015460ff161580610b63575060058401546006850154604080517f10f169e8000000000000000000000000000000000000000000000000000000008152600481019290925251600292600160a060020a0316916310f169e89160248083019260209291908290030181600087803b158015610b2a57600080fd5b505af1158015610b3e573d6000803e3d6000fd5b505050506040513d6020811015610b5457600080fd5b50516002811115610b6157fe5b145b1515610bb9576040805160e560020a62461bcd02815260206004820181905260248201527f5468652061677265656d656e74206973207374696c6c2064697370757465642e604482015290519081900360640190fd5b60028301548510610c3a576040805160e560020a62461bcd02815260206004820152603e60248201527f5468652073706563696669656420726f756e64206f662074686520737065636960448201527f666965642061677265656d656e7420646f6573206e6f742065786973742e0000606482015290519081900360840190fd5b841580610c4e575060028301546000190185145b15610d625784151580610c665750600784015460ff16155b1515610d08576040805160e560020a62461bcd02815260206004820152604c60248201527f5468657265206973206e6f7468696e6720746f2077697468647261772066726f60448201527f6d2074686520666972737420726f756e6420696620746865206469737075746560648201527f20776173207261697365642e0000000000000000000000000000000000000000608482015290519081900360a40190fd5b60068301805486908110610d1857fe5b600091825260208083203384529091019052604090206001015460068401805487908110610d4257fe5b600091825260208083203384529091019052604081200154019150610e5b565b600884015460018401805487908110610d7757fe5b90600052602060002001541415610d8f576001610d92565b60005b60ff1690508260040185815481101515610da857fe5b906000526020600020906002020181600281101515610dc357fe5b015415610e555760048301805486908110610dda57fe5b906000526020600020906002020181600281101515610df557fe5b015460068401805487908110610e0757fe5b600091825260208083203384529091019052604090208260028110610e2857fe5b015460038501805488908110610e3a57fe5b906000526020600020015402811515610e4f57fe5b04610e58565b60005b91505b604080518082019091526000808252602082015260068401805487908110610e7f57fe5b60009182526020808320338452909101905260409020610ea0916002612c98565b50604051339083156108fc029084906000818181858888f19350505050158015610ece573d6000803e3d6000fd5b506040805183815290513391879189917f3af1589e5fc22e884f17d5fef298cf3ddc2cd21fa3d0ee55d7c1e7afc3697c6e919081900360200190a4505050505050565b33600081815260036020908152604080832086845282528083205483526002909152902060050154600160a060020a031614610fbd576040805160e560020a62461bcd02815260206004820152603160248201527f4120646973707574652063616e206f6e6c792062652072756c6564206f6e206260448201527f79206974732061726269747261746f722e000000000000000000000000000000606482015290519081900360840190fd5b604080518281529051839133917f394027a5fa6e098a1191094d1719d6929b9abc535fcc0c8f448d6a4e756222769181900360200190a3610ffe8282612b6a565b5050565b60055481565b600454600160a060020a031681565b600082815260026020908152604080832060069092529091208154600160a060020a03161515611093576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b600982015460ff1615611116576040805160e560020a62461bcd02815260206004820152603160248201527f596f752063616e6e6f742066756e6420646973707574657320666f722065786560448201527f63757465642061677265656d656e74732e000000000000000000000000000000606482015290519081900360840190fd5b600782015460ff1615806111cc575060058201546006830154604080517f10f169e8000000000000000000000000000000000000000000000000000000008152600481019290925251600192600160a060020a0316916310f169e89160248083019260209291908290030181600087803b15801561119357600080fd5b505af11580156111a7573d6000803e3d6000fd5b505050506040513d60208110156111bd57600080fd5b505160028111156111ca57fe5b145b1515611248576040805160e560020a62461bcd02815260206004820152603860248201527f5468652061677265656d656e7420697320616c7265616479206469737075746560448201527f6420616e64206973206e6f742061707065616c61626c652e0000000000000000606482015290519081900360840190fd5b60018311156112a1576040805160e560020a62461bcd02815260206004820152601960248201527f546865726520617265206f6e6c792074776f2073696465732e00000000000000604482015290519081900360640190fd5b6000341161131f576040805160e560020a62461bcd02815260206004820152602d60248201527f5468652076616c7565206f662074686520636f6e747269627574696f6e20636160448201527f6e6e6f74206265207a65726f2e00000000000000000000000000000000000000606482015290519081900360840190fd5b805415156113fb57428155600180820180548083018255600091825260208083209091018290556005546002808601805480870182559085528385200191909155600385018054808601825590845282842001839055604080518082019091528381528083018490526004860180549586018082559085529290932091936113ae939082029092019190612c98565b50506005810180546001808201835560009283526020928390209282049092018054601f9092166101000a60ff02199091169055600682018054916113f591908301612cdb565b5061143a565b600060078190556008805460ff19908116909155600a8290556009829055600b80549091169055600c819055600d819055600e819055600f8190556010555b60028101546001141561157a5760058201546040517ff7434ea90000000000000000000000000000000000000000000000000000000081526020600482019081526003850180546002600019600183161561010002019091160460248401819052600160a060020a039094169363f7434ea9939192918291604490910190849080156115075780601f106114dc57610100808354040283529160200191611507565b820191906000526020600020905b8154815290600101906020018083116114ea57829003601f168201915b505092505050602060405180830381600087803b15801561152757600080fd5b505af115801561153b573d6000803e3d6000fd5b505050506040513d602081101561155157600080fd5b5051600755600482015481544203111561157557611570846000612b8b565b612286565b6119b2565b60058201546006830154604080517ff23f16e600000000000000000000000000000000000000000000000000000000815260048101838152602482019283526003870180546002600019600183161561010002019091160460448401819052600160a060020a039096169563f23f16e69594919360640190849080156116415780601f1061161657610100808354040283529160200191611641565b820191906000526020600020905b81548152906001019060200180831161162457829003601f168201915b50509350505050602060405180830381600087803b15801561166257600080fd5b505af1158015611676573d6000803e3d6000fd5b505050506040513d602081101561168c57600080fd5b50516007556008805460ff1916600117905560058201546006830154604080517fafe15cfb00000000000000000000000000000000000000000000000000000000815260048101929092528051600160a060020a039093169263afe15cfb9260248082019392918290030181600087803b15801561170957600080fd5b505af115801561171d573d6000803e3d6000fd5b505050506040513d604081101561173357600080fd5b508051602090910151600a556009819055158015906117535750600a5415155b600b805460ff1916911515919091179081905560ff161561190c57600954600a5460029082900304014210156118045782156117ff576040805160e560020a62461bcd02815260206004820152603060248201527f497420697320746865206c6f73696e6720736964652773207475726e20746f2060448201527f66756e64207468652061707065616c2e00000000000000000000000000000000606482015290519081900360840190fd5b611575565b8260011480156118445750600581018054600019810190811061182357fe5b90600052602060002090602091828204019190069054906101000a900460ff165b1515611575576040805160e560020a62461bcd02815260206004820152606260248201527f4974206973207468652077696e6e696e6720736964652773207475726e20746f60448201527f2066756e64207468652061707065616c2c206f6e6c7920696620746865206c6f60648201527f73696e67207369646520616c72656164792066756c6c792066756e646564206960848201527f742e00000000000000000000000000000000000000000000000000000000000060a482015290519081900360c40190fd5b6007543410156119b2576040805160e560020a62461bcd02815260206004820152604c60248201527f46656573206d757374206265207061696420696e2066756c6c2069662074686560448201527f2061726269747261746f7220646f6573206e6f7420737570706f72742060617060648201527f7065616c506572696f64602e0000000000000000000000000000000000000000608482015290519081900360a40190fd5b60085460ff1615156119cd5760075460029004600c55611ace565b600b5460ff1615156119e457600754600c55611ace565b821515611a1c5760028101805460001981019081106119ff57fe5b600091825260209091200154600754600290910201600c55611ace565b6002810180546000198101908110611a3057fe5b6000918252602090912001546004820180546000198101908110611a5057fe5b600091825260208220600290910201015403600d8190556004820180546000198101908110611a7b57fe5b60009182526020822060029091020101540160076000015411611aa057600d54611aca565b6004810180546000198101908110611ab457fe5b6000918252602082206002909102010154600754035b600c555b600c546004820180546000198101908110611ae557fe5b906000526020600020906002020184600281101515611b0057fe5b015410611b11576000600e55611b4a565b6004810180546000198101908110611b2557fe5b906000526020600020906002020183600281101515611b4057fe5b0154600c5403600e555b600e54341115611b5c57600e54611b5e565b345b600f8190553481900360105560001015611c1657600f546003820180546000198101908110611b8957fe5b600091825260209091200180549091019055600f546004820180546000198101908110611bb257fe5b906000526020600020906002020184600281101515611bcd57fe5b0180549091019055600f546006820180546000198101908110611bec57fe5b600091825260208083203384529091019052604090208460028110611c0d57fe5b01805490910190555b60105460001015611c5157601054604051339180156108fc02916000818181858888f19350505050158015611c4f573d6000803e3d6000fd5b505b6002810154600f5460408051918252513392600019019187917fbd56b899e801b4dafced5be36852af735083cf687f72a7d69351ec0d2263ee889181900360200190a4600c546004820180546000198101908110611cab57fe5b906000526020600020906002020184600281101515611cc657fe5b0154101580611ce5575060085460ff168015611ce55750600b5460ff16155b156122865782158015611d35575060085460ff16611d2e57600c546004820180546000198101908110611d1457fe5b600091825260209091206002909102016001015410611d35565b600b5460ff165b15611dba576005810180546000198101908110611d4e57fe5b90600052602060002090602091828204019190069054906101000a900460ff16151561157057600581018054600191906000198101908110611d8c57fe5b90600052602060002090602091828204019190066101000a81548160ff021916908315150217905550612286565b60085460ff161515611fb257600c546004820180546000198101908110611ddd57fe5b906000526020600020906002020184600014611dfa576000611dfd565b60015b60ff1660028110611e0a57fe5b01541015611e1757612286565b6005820154600754600280850154604080517fc13517e1000000000000000000000000000000000000000000000000000000008152600481018381526024820192835260038901805460001960018216156101000201169590950460448301819052600160a060020a039097169663c13517e196959391926064019084908015611ee25780601f10611eb757610100808354040283529160200191611ee2565b820191906000526020600020905b815481529060010190602001808311611ec557829003601f168201915b505093505050506020604051808303818588803b158015611f0257600080fd5b505af1158015611f16573d6000803e3d6000fd5b50505050506040513d6020811015611f2d57600080fd5b50516006830181815560078401805460ff19166001179055600584018054600160a060020a03908116600090815260036020908152604080832096835295815290859020899055925491548451898152945192949116927fc21357d76c2ee05713ed6e2edb9a5f60ab1e8748c56201385df30007f774f58d92918290030190a3612196565b60058201546006830154604080517f1c3db16d000000000000000000000000000000000000000000000000000000008152600481019290925251600160a060020a0390921691631c3db16d916024808201926020929091908290030181600087803b15801561202057600080fd5b505af1158015612034573d6000803e3d6000fd5b505050506040513d602081101561204a57600080fd5b5051600182018054600019810190811061206057fe5b60009182526020909120015560058201546007546006840154604080517f49912f8800000000000000000000000000000000000000000000000000000000815260048101838152602482019283526003880180546002600019600183161561010002019091160460448401819052600160a060020a03909716966349912f88969594919360640190849080156121375780601f1061210c57610100808354040283529160200191612137565b820191906000526020600020905b81548152906001019060200180831161211a57829003601f168201915b505093505050506000604051808303818588803b15801561215757600080fd5b505af115801561216b573d6000803e3d6000fd5b505050506007830154610100900460ff16151590506121965760078201805461ff0019166101001790555b60075460038201805460001981019081106121ad57fe5b60009182526020808320909101805493909303909255600183810180548083018255908352838320018290556005546002808601805480850182559085528585200191909155600385018054808401825590845284842001839055604080518082019091528381528085018490526004860180549384018082559085529490932061223d93928202019190612c98565b50506005810180546001808201835560009283526020928390209282049092018054601f9092166101000a60ff021990911690556006820180549161228491908301612cdb565b505b50505050565b600054600160a060020a031681565b600754600854600954600a54600b54600c54600d54600e54600f5460105460ff98891698909516948a565b6122ce612d04565b6000848152600660208190526040909120018054849081106122ec57fe5b60009182526020808320600160a060020a03861684529190910190526040908190208151808301928390529160029082845b81548152602001906001019080831161231e57505050505090509392505050565b60026020818152600092835260409283902080548184015460038301805487516101006001831615026000190190911696909604601f8101869004860287018601909752868652600160a060020a0390921695909492938301828280156123e75780601f106123bc576101008083540402835291602001916123e7565b820191906000526020600020905b8154815290600101906020018083116123ca57829003601f168201915b5050506004840154600585015460068601546007870154600888015460099098015496979396600160a060020a03909316955090935060ff80821693610100909204811692168a565b600360209081526000928352604080842090915290825290205481565b600454600160a060020a031633146124d5576040805160e560020a62461bcd02815260206004820152602360248201527f5468652063616c6c6572206973206e6f74207468652066656520676f7665726e60448201527f6f722e0000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000818152600260209081526040808320805460019091018054835181860281018601909452808452600160a060020a0390921694606094909385938593849384938493849384938493929083018282801561258957602002820191906000526020600020905b8154600160a060020a0316815260019091019060200180831161256b575b50505050509950600260008d60001916600019168152602001908152602001600020600201549850600260008d600019166000191681526020019081526020016000206003018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156126635780601f1061263857610100808354040283529160200191612663565b820191906000526020600020905b81548152906001019060200180831161264657829003601f168201915b50505050509750600260008d60001916600019168152602001908152602001600020600401549650600260008d6000191660001916815260200190815260200160002060050160009054906101000a9004600160a060020a03169550600260008d60001916600019168152602001908152602001600020600601549450600260008d6000191660001916815260200190815260200160002060070160009054906101000a900460ff169350600260008d6000191660001916815260200190815260200160002060070160019054906101000a900460ff169250600260008d60001916600019168152602001908152602001600020600801549150600260008d6000191660001916815260200190815260200160002060090160009054906101000a900460ff16905091939597999b90929496989a50565b6000828152600260205260408120548190600160a060020a0316151561280c576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b60008481526002602052604090206007015460ff16151561289d576040805160e560020a62461bcd02815260206004820152602860248201527f546865207370656369666965642061677265656d656e74206973206e6f74206460448201527f697370757465642e000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600084815260026020526040902060070154610100900460ff1615612932576040805160e560020a62461bcd02815260206004820152603260248201527f546865207370656369666965642061677265656d656e742068617320616c726560448201527f616479206265656e2061707065616c65642e0000000000000000000000000000606482015290519081900360840190fd5b5060009050805b60008481526002602052604090206001015481101561299a57600084815260026020526040902060010180543391908390811061297257fe5b600091825260209091200154600160a060020a0316141561299257600191505b600101612939565b811515612a17576040805160e560020a62461bcd02815260206004820152603560248201527f5468652073656e646572206973206e6f74206120706172747920696e2074686560448201527f207370656369666965642061677265656d656e742e0000000000000000000000606482015290519081900360840190fd5b600084815260026020908152604080832060068101546005909101548251848152885181860152885133969395600160a060020a03909316947fdccf2f8b2cc26eafcd61905cba744cff4b81d14740725f6376390dc6298a6a3c948b94849392840192908601918190849084905b83811015612a9d578181015183820152602001612a85565b50505050905090810190601f168015612aca5780820380516001836020036101000a031916815260200191505b509250505060405180910390a450505050565b600454600160a060020a03163314612b65576040805160e560020a62461bcd02815260206004820152602360248201527f5468652063616c6c6572206973206e6f74207468652066656520676f7665726e60448201527f6f722e0000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600555565b336000908152600360209081526040808320858452909152902054610ffe90825b60008281526002602052604090208054600160a060020a03161515612bfc576040805160e560020a62461bcd0281526020600482015260276024820152600080516020612d5d8339815191526044820152600080516020612d3d833981519152606482015290519081900360840190fd5b600981015460ff1615612c7f576040805160e560020a62461bcd02815260206004820152603260248201527f546865207370656369666965642061677265656d656e742068617320616c726560448201527f616479206265656e2065786563757465642e0000000000000000000000000000606482015290519081900360840190fd5b6008810191909155600901805460ff1916600117905550565b8260028101928215612ccb579160200282015b82811115612ccb578251829060ff16905591602001919060010190612cab565b50612cd7929150612d1f565b5090565b815481835581811115612cff57600083815260209020612cff918101908301612cd7565b505050565b60408051808201825290600290829080388339509192915050565b612d3991905b80821115612cd75760008155600101612d25565b9056002065786973742e00000000000000000000000000000000000000000000000000546865207370656369666965642061677265656d656e7420646f6573206e6f74a165627a7a72305820f46f0de45daec9e2cca310ea5553c2f823788cf5b4df74e036a25e8264efa4e30029", "sourceMap": "445:742:35:-;;;937:248;8:9:-1;5:2;;;30:1;27;20:12;5:2;937:248:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2848:10:2;:24;;-1:-1:-1;;;;;;2848:24:2;-1:-1:-1;;;;;2848:24:2;;;;;937:248:35;;;;2882:42:2;;937:248:35;;;;;;;;;;;;;;;;;;;;2882:42:2;;-1:-1:-1;;2882:42:2;;;;:::i;:::-;-1:-1:-1;;2739:11:39;:26;;-1:-1:-1;;;;;;2739:26:39;-1:-1:-1;;;;;2739:26:39;;;;;;;;;;;-1:-1:-1;;2775:5:39;:14;-1:-1:-1;445:742:35;;-1:-1:-1;;;;445:742:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;445:742:35;;;-1:-1:-1;445:742:35;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;", "deployedSourceMap": "445:742:35:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13858:538:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;13858:538:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13858:538:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13858:538:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13858:538:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13858:538:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;13858:538:39;;;;-1:-1:-1;13858:538:39;;-1:-1:-1;13858:538:39;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13858:538:39;;;;;;;;;;;;;;;;;;;;;;;;;691:32:2;;8:9:-1;5:2;;;30:1;27;20:12;5:2;691:32:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;691:32:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2364:44:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2364:44:39;;;;;;;;;;;;;;;;;;;;;12151:1519;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12151:1519:39;;;;;;;;;1876:383:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1876:383:34;;;;;;;2341:17:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2341:17:39;;;;2309:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2309:26:39;;;;;;;;-1:-1:-1;;;;;2309:26:39;;;;;;;;;;;;;;3728:8220;;;;;;;;657:28:2;;8:9:-1;5:2;;;30:1;27;20:12;5:2;657:28:2;;;;2414:40:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2414:40:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14707:219;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;14707:219:39;;;;;-1:-1:-1;;;;;14707:219:39;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;14707:219:39;;;;;;;;;;;;;;;;1217:47:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1217:47:34;;;;;;;;;-1:-1:-1;;;;;1217:47:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1217:47:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1270:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1270:87:34;-1:-1:-1;;;;;1270:87:34;;;;;;;2953:182:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2953:182:39;-1:-1:-1;;;;;2953:182:39;;;;;4863:1020:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4863:1020:34;;;;;;;;;-1:-1:-1;;;;;4863:1020:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;4863:1020:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;4863:1020:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;573:809:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;573:809:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;573:809:36;;-1:-1:-1;573:809:36;;-1:-1:-1;;;;;;;573:809:36;3256:155:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3256:155:39;;;;;13858:538;14102:26;14131:22;;;:8;:22;;;;;;;;;14172:16;;;14163:25;;;;;;;;;;;;;;;;;13946:13;;;;;;;;;;14131:22;;14163:25;14172:16;;14163:25;;;14172:16;14163:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14207:9;:15;;14198:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14245:9;:20;;14232:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14301:9;:33;;14275:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14363:9;:26;;14344:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13858:538;;;;;;;;:::o;691:32:2:-;;;;;;;;;;;;;;;-1:-1:-1;;691:32:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2364:44:39:-;;;;;;;;;;;;;:::o;12151:1519::-;12227:27;12257:24;;;:10;:24;;;;;;;;12320:8;:22;;;;;12360:17;;12257:24;;12320:22;;12227:27;;-1:-1:-1;;;;;12360:17:39;:31;;12352:83;;;;;-1:-1:-1;;;;;12352:83:39;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;12352:83:39;;;;-1:-1:-1;;;;;;;;;;;12352:83:39;;;;;;;;;;;;;;;12467:18;;;;;;12466:19;;:113;;-1:-1:-1;12489:20:39;;;;12524:19;;;;12489:55;;;;;;;;;;;;;;12548:31;;-1:-1:-1;;;;;12489:20:39;;:34;;:55;;;;;;;;;;;;;;-1:-1:-1;12489:20:39;:55;;;5:2:-1;;;;30:1;27;20:12;5:2;12489:55:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12489:55:39;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12489:55:39;:90;;;;;;;;;12466:113;12445:192;;;;;;;-1:-1:-1;;;;;12445:192:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12664:15;;;:22;12655:31;;12647:106;;;;;-1:-1:-1;;;;;12647:106:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12790:11;;;:51;;-1:-1:-1;12815:15:39;;;:22;-1:-1:-1;;12815:26:39;12805:36;;12790:51;12786:703;;;12889:11;;;;:34;;-1:-1:-1;12905:18:39;;;;;;12904:19;12889:34;12881:123;;;;;;;-1:-1:-1;;;;;12881:123:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13077:23;;;:31;;13101:6;;13077:31;;;;;;;;;;;;;;13109:10;13077:43;;:31;;;:43;;;;;13121:1;13077:46;;13028:23;;;:31;;13052:6;;13028:31;;;;;;;;;;;;;;13060:10;13028:43;;:31;;;:43;;;;;:46;;:95;13018:105;;12786:703;;;13213:16;;;;13185;;;:24;;13202:6;;13185:24;;;;;;;;;;;;;;:44;;:52;;13236:1;13185:52;;;13232:1;13185:52;13165:72;;;;13261:9;:33;;13295:6;13261:41;;;;;;;;;;;;;;;;;;;;13303:12;13261:55;;;;;;;;;;;:60;:217;;13422:33;;;:41;;13456:6;;13422:41;;;;;;;;;;;;;;;;13464:12;13422:55;;;;;;;;;;;13361:23;;;:31;;13385:6;;13361:31;;;;;;;;;;;;;;13393:10;13361:43;;:31;;;:43;;;;;13405:12;13361:57;;;;;;;;;13330:20;;;:28;;13351:6;;13330:28;;;;;;;;;;;;;;:88;13329:148;;;;;;;;13261:217;;;13324:1;13261:217;13251:227;;12786:703;13499:52;;;;;;;;;-1:-1:-1;13499:52:39;;;;;;;:23;;;:31;;13523:6;;13499:31;;;;;;;;;;;;;;13531:10;13499:43;;:31;;;:43;;;;;:52;;;;:::i;:::-;-1:-1:-1;13561:28:39;;:10;;:28;;;;;13581:7;;13561:28;;;;13581:7;13561:10;:28;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;13604:59:39;;;;;;;;13643:10;;13635:6;;13621:12;;13604:59;;;;;;;;;;12151:1519;;;;;;:::o;1876:383:34:-;2056:10;1959:71;1970:47;;;:35;:47;;;;;;;;:59;;;;;;;;;1959:71;;:10;:71;;;;;:82;;;-1:-1:-1;;;;;1959:82:34;:108;1938:204;;;;;-1:-1:-1;;;;;1938:204:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2157:51;;;;;;;;2188:10;;2175;;2157:51;;;;;;;;;2218:34;2232:10;2244:7;2218:13;:34::i;:::-;1876:383;;:::o;2341:17:39:-;;;;:::o;2309:26::-;;;-1:-1:-1;;;;;2309:26:39;;:::o;3728:8220::-;3808:27;3838:24;;;:10;:24;;;;;;;;3901:8;:22;;;;;;3941:17;;-1:-1:-1;;;;;3941:17:39;:31;;3933:83;;;;;-1:-1:-1;;;;;3933:83:39;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3933:83:39;;;;-1:-1:-1;;;;;;;;;;;3933:83:39;;;;;;;;;;;;;;;4035:18;;;;;;4034:19;4026:81;;;;;-1:-1:-1;;;;;4026:81:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4139:18;;;;;;4138:19;;:117;;-1:-1:-1;4161:20:39;;;;4196:19;;;;4161:55;;;;;;;;;;;;;;4220:35;;-1:-1:-1;;;;;4161:20:39;;:34;;:55;;;;;;;;;;;;;;-1:-1:-1;4161:20:39;:55;;;5:2:-1;;;;30:1;27;20:12;5:2;4161:55:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4161:55:39;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4161:55:39;:94;;;;;;;;;4138:117;4117:220;;;;;;;-1:-1:-1;;;;;4117:220:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4364:1;4355:10;;;4347:48;;;;;-1:-1:-1;;;;;4347:48:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;4425:1;4413:9;:13;4405:71;;;;;-1:-1:-1;;;;;4405:71:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4534:31;;:36;4530:910;;;4620:3;4586:37;;4637:16;;;;27:10:-1;;23:18;;;45:23;;4586:31:39;4637:24;;;;;;;;;;;;;4696:5;;4675:15;;;;27:10:-1;;23:18;;;45:23;;4675:27:39;;;;;;;;;;;4716:20;;;27:10:-1;;23:18;;;45:23;;4716:28:39;;;;;;;;;;4758:46;;;;;;;;;;;;;;;;;;:33;;;27:10:-1;;23:18;;;45:23;;;4758:46:39;;;;;;;23:18:-1;;4758:46:39;;;;;;;;;;;:::i;:::-;-1:-1:-1;;4818:26:39;;;27:10:-1;;39:1;23:18;;;45:23;;-1:-1;4818:38:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4870:23;;;:32;;;;;:23;:32;;;:::i;:::-;;4530:910;;;4972:1;4948:16;:25;;;4987:26;:34;;-1:-1:-1;;4987:34:39;;;;;;5072:32;5035:79;;;5036:34;5035:79;;;5128:38;:46;;;;;;;5188:37;:41;;;5243:30;:34;;;5291:42;:46;;;5351:26;:30;;;5395;:34;4530:910;5499:15;;;:22;5525:1;5499:27;5495:1679;;;5582:20;;;;:57;;;;;;;;;;;;5619:19;;;5582:57;;;-1:-1:-1;;5582:20:39;:57;;;:20;:57;;;;;;;;;;;;-1:-1:-1;;;;;5582:20:39;;;;:36;;5619:19;;5582:57;;;;;;;;5619:19;;5582:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5582:57:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5582:57:39;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5582:57:39;5558:16;:81;5740:36;;;;5706:31;;5700:3;:37;:76;5696:178;;;5796:39;5819:12;5833:1;5796:22;:39::i;:::-;5853:7;;5696:178;5495:1679;;;5939:20;;;;5971:19;;;;5939:73;;;;;;;;;;;;;;;;;;5992:19;;;5939:73;;;-1:-1:-1;;5939:20:39;:73;;;:20;:73;;;;;;;;;;;;-1:-1:-1;;;;;5939:20:39;;;;:31;;5971:19;5992;;5939:73;;;5992:19;;5939:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5939:73:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5939:73:39;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5939:73:39;5915:16;:97;6027:26;:33;;-1:-1:-1;;6027:33:39;6056:4;6027:33;;;6147:20;;;;6181:19;;;;6147:54;;;;;;;;;;;;;;;-1:-1:-1;;;;;6147:20:39;;;;:33;;:54;;;;;;;;;;;;5915:21;6147:20;:54;;;5:2:-1;;;;30:1;27;20:12;5:2;6147:54:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6147:54:39;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6147:54:39;;;;;;;6111:32;6074:127;6075:34;6074:127;;;6256:39;;;;:80;;-1:-1:-1;6299:32:39;;:37;;6256:80;6215:38;:121;;-1:-1:-1;;6215:121:39;;;;;;;;;;;;;6354:38;6350:813;;;6496:34;;6461:32;;6534:1;6461:69;;;;6460:75;6422:114;6416:3;:120;6412:607;;;6609:10;;6601:71;;;;;-1:-1:-1;;;;;6601:71:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6412:607;;;6792:5;6801:1;6792:10;:79;;;;-1:-1:-1;6806:26:39;;;6833:33;;-1:-1:-1;;6833:37:39;;;6806:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6792:79;6759:260;;;;;;;-1:-1:-1;;;;;6759:260:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6350:813;7061:16;:21;7048:9;:34;;7040:123;;;;;-1:-1:-1;;;;;7040:123:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7224:26;;;;7223:27;7219:1047;;;7320:16;:21;7344:1;;7320:25;7280:37;:65;7219:1047;;;7390:38;;;;7389:39;7385:871;;;7486:16;:21;7446:37;:61;7385:871;;;7530:10;;7526:730;;;7643:15;;;7659:22;;-1:-1:-1;;7659:26:39;;;7643:43;;;;;;;;;;;;;;;;7614:16;:21;7639:1;:47;;;7614:73;7574:37;:113;7526:730;;;7859:15;;;7875:22;;-1:-1:-1;;7875:26:39;;;7859:43;;;;;;;;;;;;;;;;7774:33;;;7808:40;;-1:-1:-1;;7808:44:39;;;7774:79;;;;;;;;;;;;;;;;;;:82;;:128;7741:30;:161;;;7984:33;;;8018:40;;-1:-1:-1;;8018:44:39;;;7984:79;;;;;;;;;;;;;;;;;;:82;;:115;7960:16;:21;;;:139;:281;;8211:30;;7960:281;;;8126:33;;;8160:40;;-1:-1:-1;;8160:44:39;;;8126:79;;;;;;;;;;;;;;;;;;:82;;8102:16;:21;:106;7960:281;7920:37;:321;7526:730;8400:37;;8310:33;;;8344:40;;-1:-1:-1;;8344:44:39;;;8310:79;;;;;;;;;;;;;;;;8390:5;8310:86;;;;;;;;;;;:127;8306:390;;8496:1;8451:42;:46;8306:390;;;8610:33;;;8644:40;;-1:-1:-1;;8644:44:39;;;8610:79;;;;;;;;;;;;;;;;8690:5;8610:86;;;;;;;;;;;8570:37;;:126;8525:42;:171;8306:390;8735:42;;8781:9;-1:-1:-1;8735:55:39;:124;;8817:42;;8735:124;;;8805:9;8735:124;8706:26;:153;;;8902:9;:38;;;8869:30;:71;-1:-1:-1;;8950:396:39;;;9057:26;;9000:20;;;9021:27;;-1:-1:-1;;9021:31:39;;;9000:53;;;;;;;;;;;;;;;:83;;;;;;;9187:26;;9097:33;;;9131:40;;-1:-1:-1;;9131:44:39;;;9097:79;;;;;;;;;;;;;;;;9177:5;9097:86;;;;;;;;;;:116;;;;;;;9309:26;;9227:23;;;9251:30;;-1:-1:-1;;9251:34:39;;;9227:59;;;;;;;;;;;;;;9287:10;9227:71;;:59;;;:71;;;;;9299:5;9227:78;;;;;;;;:108;;;;;;;8950:396;9359:30;;9392:1;-1:-1:-1;9355:91:39;;;9415:30;;9395:51;;:10;;:51;;;;;;;;;9415:30;9395:10;:51;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9395:51:39;9355:91;9488:15;;;:22;9528:26;;9461:94;;;;;;;9516:10;;-1:-1:-1;;9488:26:39;;9474:12;;9461:94;;;;;;;;;9746:37;;9656:33;;;9690:40;;-1:-1:-1;;9690:44:39;;;9656:79;;;;;;;;;;;;;;;;9736:5;9656:86;;;;;;;;;;;:127;;:214;;;-1:-1:-1;9800:26:39;;;;:69;;;;-1:-1:-1;9831:38:39;;;;9830:39;9800:69;9639:2303;;;9899:10;;:208;;;;-1:-1:-1;9914:26:39;;;;:192;;10069:37;;9984:33;;;10018:40;;-1:-1:-1;;10018:44:39;;;9984:79;;;;;;;;;;;;;;;;;;;10064:1;9984:82;;:122;9914:192;;;9943:38;;;;9914:192;9895:2037;;;10187:26;;;10214:33;;-1:-1:-1;;10214:37:39;;;10187:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10186:66;10182:164;;;10274:26;;;10301:33;;10342:4;;10274:26;-1:-1:-1;;10301:37:39;;;10274:65;;;;;;;;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;9895:2037;;;10424:26;;;;10423:27;10419:1008;;;10596:37;;10494:33;;;10528:40;;-1:-1:-1;;10528:44:39;;;10494:79;;;;;;;;;;;;;;;;10574:5;10583:1;10574:10;:18;;10591:1;10574:18;;;10587:1;10574:18;10494:99;;;;;;;;;;;:139;10490:152;;;10635:7;;10490:152;10685:20;;;;10726:16;:21;10749:25;;;;;10685:111;;;;;;;;;;;;;;;;;;10776:19;;;10685:111;;-1:-1:-1;;10685:20:39;:111;;;:20;:111;;;;;;;;;;;;;-1:-1:-1;;;;;10685:20:39;;;;:34;;10726:21;10776:19;10685:111;;;;;10776:19;;10685:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10685:111:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10685:111:39;;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10685:111:39;10663:19;;;:133;;;10818:18;;;:25;;-1:-1:-1;;10818:25:39;10839:4;10818:25;;;10901:20;;;;;-1:-1:-1;;;;;10901:20:39;;;10818:18;10865:57;;;:35;10685:111;10865:57;;;;;;;:78;;;;;;;;;;:93;;;11015:19;;10993:20;;10985:70;;;;;;;11015:19;;10993:20;;;10985:70;;;;;;;;;10419:1008;;;11161:20;;;;11196:19;;;;11161:55;;;;;;;;;;;;;;-1:-1:-1;;;;;11161:20:39;;;;:34;;:55;;;;;;;;;;;;;;;:20;;:55;;;5:2:-1;;;;30:1;27;20:12;5:2;11161:55:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11161:55:39;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11161:55:39;11113:16;;;11130:23;;-1:-1:-1;;11130:27:39;;;11113:45;;;;;;;;;;;;;;;:103;11238:20;;;;11272:16;:21;11295:19;;;;11238:98;;;;;;;;;;;;;;;;;;11316:19;;;11238:98;;;-1:-1:-1;;11238:20:39;:98;;;:20;:98;;;;;;;;;;;;-1:-1:-1;;;;;11238:20:39;;;;:27;;11272:21;11295:19;11316;;11238:98;;;11316:19;;11238:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11238:98:39;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;;;11363:18:39;;;;;;;;;11362:19;11358:50;;-1:-1:-1;11358:50:39;;11383:18;;;:25;;-1:-1:-1;;11383:25:39;;;;;11358:50;11545:16;:21;11488:20;;;11509:27;;-1:-1:-1;;11509:31:39;;;11488:53;;;;;;;;;;;;;;;;;:78;;;;;;;;;-1:-1:-1;11632:16:39;;;27:10:-1;;23:18;;;45:23;;11632:24:39;;;;;;;;;;11695:5;;11674:15;;;;27:10:-1;;23:18;;;45:23;;11674:27:39;;;;;;;;;;;11719:20;;;27:10:-1;;23:18;;;45:23;;11719:28:39;;;;;;;;;;11765:46;;;;;;;;;;;;;;;;;;:33;;;27:10:-1;;23:18;;;45:23;;;11765:46:39;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;11829:26:39;;;27:10:-1;;39:1;23:18;;;45:23;;-1:-1;11829:38:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11885:23;;;:32;;;;;:23;:32;;;:::i;:::-;;9895:2037;3728:8220;;;;:::o;657:28:2:-;;;-1:-1:-1;;;;;657:28:2;;:::o;2414:40:39:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;14707:219::-;14812:21;;:::i;:::-;14861:22;;;;:8;:22;;;;;;;;:36;:44;;14898:6;;14861:44;;;;;;;;;;;;;;-1:-1:-1;;;;;14861:58:39;;;;:44;;;;:58;;;;;;;14845:74;;;;;;;;;;;;14861:58;14845:74;;;;;;;;;;;;;;;;;;;;;;;;14707:219;;;;;:::o;1217:47:34:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;1217:47:34;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;1217:47:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1217:47:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;1217:47:34;;;;-1:-1:-1;1217:47:34;;-1:-1:-1;1217:47:34;;;;;;;;;;;;;;:::o;1270:87::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;2953:182:39:-;3041:11;;-1:-1:-1;;;;;3041:11:39;3027:10;:25;3019:73;;;;;-1:-1:-1;;;;;3019:73:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3102:11;:26;;-1:-1:-1;;3102:26:39;-1:-1:-1;;;;;3102:26:39;;;;;;;;;;2953:182::o;4863:1020:34:-;4942:15;5252:24;;;:10;:24;;;;;;;;:32;;;5304;;;5294:42;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5252:32:34;;;;4967:17;;4942:15;;4967:17;;4942:15;;;;;;;;;;;;;;5294:42;;;;5304:32;5294:42;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5294:42:34;;;;;;;;;;;;;;;;;;;;;;;5364:10;:24;5375:12;5364:24;;;;;;;;;;;;;;;;;:40;;;5346:58;;5426:10;:24;5437:12;5426:24;;;;;;;;;;;;;;;;;:34;;5414:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5499:10;:24;5510:12;5499:24;;;;;;;;;;;;;;;;;:51;;;5470:80;;5573:10;:24;5584:12;5573:24;;;;;;;;;;;;;;;;;:35;;;;;;;;;;-1:-1:-1;;;;;5573:35:34;5560:48;;5630:10;:24;5641:12;5630:24;;;;;;;;;;;;;;;;;:34;;;5618:46;;5685:10;:24;5696:12;5685:24;;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;5674:44;;5739:10;:24;5750:12;5739:24;;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;5728:44;;5791:10;:24;5802:12;5791:24;;;;;;;;;;;;;;;;;:31;;;5782:40;;5843:10;:24;5854:12;5843:24;;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;5832:44;;4863:1020;;;;;;;;;;;;;:::o;573:809:36:-;965:22;662:24;;;:10;:24;;;;;:32;965:22;;-1:-1:-1;;;;;662:32:36;:46;;654:98;;;;;-1:-1:-1;;;;;654:98:36;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;654:98:36;;;;-1:-1:-1;;;;;;;;;;;654:98:36;;;;;;;;;;;;;;;770:24;;;;:10;:24;;;;;:33;;;;;762:86;;;;;;;-1:-1:-1;;;;;762:86:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;867:24;;;;:10;:24;;;;;:33;;;;;;;;866:34;858:97;;;;;-1:-1:-1;;;;;858:97:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;990:5:36;;-1:-1:-1;990:5:36;1005:158;1026:24;;;;:10;:24;;;;;:32;;:39;1022:43;;1005:158;;;1088:24;;;;:10;:24;;;;;:32;;:35;;1127:10;;1088:32;1121:1;;1088:35;;;;;;;;;;;;;;;;-1:-1:-1;;;;;1088:35:36;:49;1084:79;;;1159:4;1139:24;;1084:79;1067:3;;1005:158;;;1181:17;1173:83;;;;;;;-1:-1:-1;;;;;1173:83:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1317:24;;;;:10;:24;;;;;;;;:34;;;;1280:35;;;;;1271:104;;;;;;;;;;;;;1353:10;;1317:34;;-1:-1:-1;;;;;1280:35:36;;;;1271:104;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1271:104:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;573:809;;;;:::o;3256:155:39:-;3329:11;;-1:-1:-1;;;;;3329:11:39;3315:10;:25;3307:73;;;;;-1:-1:-1;;;;;3307:73:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3390:5;:14;3256:155::o;4517:172:34:-;4649:10;4613:47;;;;:35;:47;;;;;;;;:59;;;;;;;;;4590:92;;4674:7;3956:404;4043:27;4073:24;;;:10;:24;;;;;4115:17;;-1:-1:-1;;;;;4115:17:34;:31;;4107:83;;;;;-1:-1:-1;;;;;4107:83:34;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;4107:83:34;;;;-1:-1:-1;;;;;;;;;;;4107:83:34;;;;;;;;;;;;;;;4209:18;;;;;;4208:19;4200:82;;;;;-1:-1:-1;;;;;4200:82:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4292:16;;;:26;;;;4328:18;;:25;;-1:-1:-1;;4328:25:34;4349:4;4328:25;;;-1:-1:-1;3956:404:34:o;445:742:35:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;445:742:35;;;-1:-1:-1;445:742:35;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;:::o;:::-;;;;;;;;;;;;;;;105:10:-1;445:742:35;88:34:-1;-1:-1;445:742:35;;;-1:-1:-1;;445:742:35:o;:::-;;;;;;;;;;;;;;;;;;;;:::o", "source": "pragma solidity ^0.4.24;\n\nimport \"../agreement/MultiPartyAgreements.sol\";\nimport \"../fee/MultiPartyInsurableFees.sol\";\nimport \"../evidence/MultiPartyEvidence.sol\";\n\n/**\n * @title MultiPartyInsurableArbitrableAgreementsBase\n * @author Enrique Piqueras - \n * @dev Base composed arbitrable contract. Handles multi-party, multi-choice dispute agreements with party evidence and crowdinsured arbitration and appeal fees.\n */\ncontract MultiPartyInsurableArbitrableAgreementsBase is MultiPartyAgreements, MultiPartyInsurableFees, MultiPartyEvidence {\n /* Constructor */\n\n /** @dev Constructs the `MultiPartyInsurableArbitrableAgreementsBase` contract.\n * @param _arbitrator The arbitrator of the contract.\n * @param _arbitratorExtraData Extra data for the arbitrator.\n * @param _feeGovernor The fee governor of this contract.\n * @param _stake The stake parameter for sharing fees.\n */\n constructor(\n Arbitrator _arbitrator,\n bytes _arbitratorExtraData,\n address _feeGovernor,\n uint _stake\n ) public MultiPartyAgreements(_arbitrator, _arbitratorExtraData) MultiPartyInsurableFees(_feeGovernor, _stake) {}\n}\n", "sourcePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/composed/MultiPartyInsurableArbitrableAgreementsBase.sol", "ast": { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/composed/MultiPartyInsurableArbitrableAgreementsBase.sol", "exportedSymbols": { "MultiPartyInsurableArbitrableAgreementsBase": [ 11054 ] }, "id": 11055, "nodeType": "SourceUnit", "nodes": [ { "id": 11024, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:35" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/agreement/MultiPartyAgreements.sol", "file": "../agreement/MultiPartyAgreements.sol", "id": 11025, "nodeType": "ImportDirective", "scope": 11055, "sourceUnit": 11023, "src": "26:47:35", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/fee/MultiPartyInsurableFees.sol", "file": "../fee/MultiPartyInsurableFees.sol", "id": 11026, "nodeType": "ImportDirective", "scope": 11055, "sourceUnit": 13090, "src": "74:44:35", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/evidence/MultiPartyEvidence.sol", "file": "../evidence/MultiPartyEvidence.sol", "id": 11027, "nodeType": "ImportDirective", "scope": 11055, "sourceUnit": 11150, "src": "119:44:35", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 11028, "name": "MultiPartyAgreements", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 11022, "src": "501:20:35", "typeDescriptions": { "typeIdentifier": "t_contract$_MultiPartyAgreements_$11022", "typeString": "contract MultiPartyAgreements" } }, "id": 11029, "nodeType": "InheritanceSpecifier", "src": "501:20:35" }, { "arguments": null, "baseName": { "contractScope": null, "id": 11030, "name": "MultiPartyInsurableFees", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 13089, "src": "523:23:35", "typeDescriptions": { "typeIdentifier": "t_contract$_MultiPartyInsurableFees_$13089", "typeString": "contract MultiPartyInsurableFees" } }, "id": 11031, "nodeType": "InheritanceSpecifier", "src": "523:23:35" }, { "arguments": null, "baseName": { "contractScope": null, "id": 11032, "name": "MultiPartyEvidence", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 11149, "src": "548:18:35", "typeDescriptions": { "typeIdentifier": "t_contract$_MultiPartyEvidence_$11149", "typeString": "contract MultiPartyEvidence" } }, "id": 11033, "nodeType": "InheritanceSpecifier", "src": "548:18:35" } ], "contractDependencies": [ 595, 11022, 11149, 13089 ], "contractKind": "contract", "documentation": " @title MultiPartyInsurableArbitrableAgreementsBase\n @author Enrique Piqueras - \n @dev Base composed arbitrable contract. Handles multi-party, multi-choice dispute agreements with party evidence and crowdinsured arbitration and appeal fees.", "fullyImplemented": true, "id": 11054, "linearizedBaseContracts": [ 11054, 11149, 13089, 11022, 595 ], "name": "MultiPartyInsurableArbitrableAgreementsBase", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 11052, "nodeType": "Block", "src": "1183:2:35", "statements": [] }, "documentation": "@dev Constructs the `MultiPartyInsurableArbitrableAgreementsBase` contract.\n @param _arbitrator The arbitrator of the contract.\n @param _arbitratorExtraData Extra data for the arbitrator.\n @param _feeGovernor The fee governor of this contract.\n @param _stake The stake parameter for sharing fees.", "id": 11053, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 11044, "name": "_arbitrator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11035, "src": "1102:11:35", "typeDescriptions": { "typeIdentifier": "t_contract$_Arbitrator_$4021", "typeString": "contract Arbitrator" } }, { "argumentTypes": null, "id": 11045, "name": "_arbitratorExtraData", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11037, "src": "1115:20:35", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "id": 11046, "modifierName": { "argumentTypes": null, "id": 11043, "name": "MultiPartyAgreements", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11022, "src": "1081:20:35", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_MultiPartyAgreements_$11022_$", "typeString": "type(contract MultiPartyAgreements)" } }, "nodeType": "ModifierInvocation", "src": "1081:55:35" }, { "arguments": [ { "argumentTypes": null, "id": 11048, "name": "_feeGovernor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11039, "src": "1161:12:35", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 11049, "name": "_stake", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11041, "src": "1175:6:35", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 11050, "modifierName": { "argumentTypes": null, "id": 11047, "name": "MultiPartyInsurableFees", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13089, "src": "1137:23:35", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_MultiPartyInsurableFees_$13089_$", "typeString": "type(contract MultiPartyInsurableFees)" } }, "nodeType": "ModifierInvocation", "src": "1137:45:35" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 11042, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11035, "name": "_arbitrator", "nodeType": "VariableDeclaration", "scope": 11053, "src": "958:22:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Arbitrator_$4021", "typeString": "contract Arbitrator" }, "typeName": { "contractScope": null, "id": 11034, "name": "Arbitrator", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4021, "src": "958:10:35", "typeDescriptions": { "typeIdentifier": "t_contract$_Arbitrator_$4021", "typeString": "contract Arbitrator" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11037, "name": "_arbitratorExtraData", "nodeType": "VariableDeclaration", "scope": 11053, "src": "990:26:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 11036, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "990:5:35", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11039, "name": "_feeGovernor", "nodeType": "VariableDeclaration", "scope": 11053, "src": "1026:20:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 11038, "name": "address", "nodeType": "ElementaryTypeName", "src": "1026:7:35", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11041, "name": "_stake", "nodeType": "VariableDeclaration", "scope": 11053, "src": "1056:11:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11040, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1056:4:35", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "948:125:35" }, "payable": false, "returnParameters": { "id": 11051, "nodeType": "ParameterList", "parameters": [], "src": "1183:0:35" }, "scope": 11054, "src": "937:248:35", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 11055, "src": "445:742:35" } ], "src": "0:1188:35" }, "legacyAST": { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/composed/MultiPartyInsurableArbitrableAgreementsBase.sol", "exportedSymbols": { "MultiPartyInsurableArbitrableAgreementsBase": [ 11054 ] }, "id": 11055, "nodeType": "SourceUnit", "nodes": [ { "id": 11024, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:35" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/agreement/MultiPartyAgreements.sol", "file": "../agreement/MultiPartyAgreements.sol", "id": 11025, "nodeType": "ImportDirective", "scope": 11055, "sourceUnit": 11023, "src": "26:47:35", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/fee/MultiPartyInsurableFees.sol", "file": "../fee/MultiPartyInsurableFees.sol", "id": 11026, "nodeType": "ImportDirective", "scope": 11055, "sourceUnit": 13090, "src": "74:44:35", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/composed-arbitrable/evidence/MultiPartyEvidence.sol", "file": "../evidence/MultiPartyEvidence.sol", "id": 11027, "nodeType": "ImportDirective", "scope": 11055, "sourceUnit": 11150, "src": "119:44:35", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 11028, "name": "MultiPartyAgreements", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 11022, "src": "501:20:35", "typeDescriptions": { "typeIdentifier": "t_contract$_MultiPartyAgreements_$11022", "typeString": "contract MultiPartyAgreements" } }, "id": 11029, "nodeType": "InheritanceSpecifier", "src": "501:20:35" }, { "arguments": null, "baseName": { "contractScope": null, "id": 11030, "name": "MultiPartyInsurableFees", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 13089, "src": "523:23:35", "typeDescriptions": { "typeIdentifier": "t_contract$_MultiPartyInsurableFees_$13089", "typeString": "contract MultiPartyInsurableFees" } }, "id": 11031, "nodeType": "InheritanceSpecifier", "src": "523:23:35" }, { "arguments": null, "baseName": { "contractScope": null, "id": 11032, "name": "MultiPartyEvidence", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 11149, "src": "548:18:35", "typeDescriptions": { "typeIdentifier": "t_contract$_MultiPartyEvidence_$11149", "typeString": "contract MultiPartyEvidence" } }, "id": 11033, "nodeType": "InheritanceSpecifier", "src": "548:18:35" } ], "contractDependencies": [ 595, 11022, 11149, 13089 ], "contractKind": "contract", "documentation": " @title MultiPartyInsurableArbitrableAgreementsBase\n @author Enrique Piqueras - \n @dev Base composed arbitrable contract. Handles multi-party, multi-choice dispute agreements with party evidence and crowdinsured arbitration and appeal fees.", "fullyImplemented": true, "id": 11054, "linearizedBaseContracts": [ 11054, 11149, 13089, 11022, 595 ], "name": "MultiPartyInsurableArbitrableAgreementsBase", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 11052, "nodeType": "Block", "src": "1183:2:35", "statements": [] }, "documentation": "@dev Constructs the `MultiPartyInsurableArbitrableAgreementsBase` contract.\n @param _arbitrator The arbitrator of the contract.\n @param _arbitratorExtraData Extra data for the arbitrator.\n @param _feeGovernor The fee governor of this contract.\n @param _stake The stake parameter for sharing fees.", "id": 11053, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 11044, "name": "_arbitrator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11035, "src": "1102:11:35", "typeDescriptions": { "typeIdentifier": "t_contract$_Arbitrator_$4021", "typeString": "contract Arbitrator" } }, { "argumentTypes": null, "id": 11045, "name": "_arbitratorExtraData", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11037, "src": "1115:20:35", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "id": 11046, "modifierName": { "argumentTypes": null, "id": 11043, "name": "MultiPartyAgreements", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11022, "src": "1081:20:35", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_MultiPartyAgreements_$11022_$", "typeString": "type(contract MultiPartyAgreements)" } }, "nodeType": "ModifierInvocation", "src": "1081:55:35" }, { "arguments": [ { "argumentTypes": null, "id": 11048, "name": "_feeGovernor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11039, "src": "1161:12:35", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 11049, "name": "_stake", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11041, "src": "1175:6:35", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 11050, "modifierName": { "argumentTypes": null, "id": 11047, "name": "MultiPartyInsurableFees", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13089, "src": "1137:23:35", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_MultiPartyInsurableFees_$13089_$", "typeString": "type(contract MultiPartyInsurableFees)" } }, "nodeType": "ModifierInvocation", "src": "1137:45:35" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 11042, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11035, "name": "_arbitrator", "nodeType": "VariableDeclaration", "scope": 11053, "src": "958:22:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Arbitrator_$4021", "typeString": "contract Arbitrator" }, "typeName": { "contractScope": null, "id": 11034, "name": "Arbitrator", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4021, "src": "958:10:35", "typeDescriptions": { "typeIdentifier": "t_contract$_Arbitrator_$4021", "typeString": "contract Arbitrator" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11037, "name": "_arbitratorExtraData", "nodeType": "VariableDeclaration", "scope": 11053, "src": "990:26:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 11036, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "990:5:35", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11039, "name": "_feeGovernor", "nodeType": "VariableDeclaration", "scope": 11053, "src": "1026:20:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 11038, "name": "address", "nodeType": "ElementaryTypeName", "src": "1026:7:35", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11041, "name": "_stake", "nodeType": "VariableDeclaration", "scope": 11053, "src": "1056:11:35", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11040, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1056:4:35", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "948:125:35" }, "payable": false, "returnParameters": { "id": 11051, "nodeType": "ParameterList", "parameters": [], "src": "1183:0:35" }, "scope": 11054, "src": "937:248:35", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 11055, "src": "445:742:35" } ], "src": "0:1188:35" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.1", "updatedAt": "2018-11-02T14:04:11.033Z" }