[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"NonceBurnt","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"new_signer","type":"address"},{"indexed":false,"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"SignerAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"old_signer","type":"address"},{"indexed":false,"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"SignerRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint16","name":"new_threshold","type":"uint16"},{"indexed":false,"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"ThresholdSet","type":"event"},{"inputs":[{"internalType":"address","name":"new_signer","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"bytes","name":"signatures","type":"bytes"}],"name":"add_signer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"bytes","name":"signatures","type":"bytes"}],"name":"burn_nonce","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"get_current_threshold","outputs":[{"internalType":"uint16","name":"","type":"uint16"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"get_valid_signer_count","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"is_nonce_used","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"signer_address","type":"address"}],"name":"is_valid_signer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"old_signer","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"bytes","name":"signatures","type":"bytes"}],"name":"remove_signer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint16","name":"new_threshold","type":"uint16"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"bytes","name":"signatures","type":"bytes"}],"name":"set_threshold","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"signers","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"signatures","type":"bytes"},{"internalType":"bytes","name":"message","type":"bytes"},{"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"verify_signatures","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b506000805461ffff19166101f41781553381526001602081905260408220805460ff19169091179055805462010000900460ff16906002610050836100ab565b825460ff9182166101009390930a92830291909202199091161790555060408051338152600060208201527f50999ebf9b59bf3157a58816611976f2d723378ad51457d7b0413209e0cdee59910160405180910390a16100d9565b600060ff821660ff8114156100d057634e487b7160e01b600052601160045260246000fd5b60010192915050565b61137d806100e86000396000f3fe608060405234801561001057600080fd5b50600436106100be5760003560e01c806398c5f73e11610076578063ba73659a1161005b578063ba73659a146101b0578063dbe528df146101c3578063f8e3a660146101d957600080fd5b806398c5f73e1461017f578063b04e3dd11461019257600080fd5b80635ec51639116100a75780635ec51639146101105780635f06155914610123578063736c0d5b1461015c57600080fd5b806350ac8df8146100c35780635b9fe26b146100d8575b600080fd5b6100d66100d1366004610e98565b6101ec565b005b6100fb6100e6366004610efb565b60009081526002602052604090205460ff1690565b60405190151581526020015b60405180910390f35b6100d661011e366004610f14565b6103b2565b6100fb610131366004610f89565b73ffffffffffffffffffffffffffffffffffffffff1660009081526001602052604090205460ff1690565b6100fb61016a366004610f89565b60016020526000908152604090205460ff1681565b6100d661018d366004610fa4565b6104b8565b60005462010000900460ff1660405160ff9091168152602001610107565b6100fb6101be366004610ff2565b610713565b60005460405161ffff9091168152602001610107565b6100d66101e7366004610fa4565b610b69565b6103e88461ffff16108015610205575060008461ffff16115b610270576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6e6577207468726573686f6c64206f7574736964652072616e6765000000000060448201526064015b60405180910390fd5b6040805161ffff86166020820152908101849052606080820152600d60808201527f7365745f7468726573686f6c640000000000000000000000000000000000000060a082015260009060c00160405160208183030381529060405290506102da83838387610713565b610340576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00001661ffff871690811790915560408051918252602082018690527ff6d24c23627520a3b70e5dc66aa1249844b4bb407c2c153d9000a2b14a1e3c1191015b60405180910390a15050505050565b6000836040516020016103fc918152604060208201819052600a908201527f6275726e5f6e6f6e636500000000000000000000000000000000000000000000606082015260800190565b604051602081830303815290604052905061041983838387610713565b61047f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b6040518481527fb33a7fc220f9e1c644c0f616b48edee1956a978a7dcb37a10f16e148969e4c0b9060200160405180910390a150505050565b6040805173ffffffffffffffffffffffffffffffffffffffff86166020820152908101849052606080820152600d60808201527f72656d6f76655f7369676e65720000000000000000000000000000000000000060a082015260009060c001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815291815273ffffffffffffffffffffffffffffffffffffffff871660009081526001602052205490915060ff166105d4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f7369676e657220646f65736e27742065786973740000000000000000000000006044820152606401610267565b6105e083838387610713565b610646576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b73ffffffffffffffffffffffffffffffffffffffff8516600090815260016020526040812080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055805462010000900460ff169060026106a883611122565b91906101000a81548160ff021916908360ff160217905550507f99c1d2c0ed8107e4db2e5dbfb10a2549cd2a63cbe39cf99d2adffbcd0395441885856040516103a392919073ffffffffffffffffffffffffffffffffffffffff929092168252602082015260400190565b600061072060418561118c565b15610787576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f62616420736967206c656e6774680000000000000000000000000000000000006044820152606401610267565b836107ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6d75737420636f6e7461696e206174206c6561737420312073696700000000006044820152606401610267565b60008281526002602052604090205460ff1615610867576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f6e6f6e636520616c7265616479207573656400000000000000000000000000006044820152606401610267565b60008054819062010000900460ff1667ffffffffffffffff81111561088e5761088e610fc3565b6040519080825280602002602001820160405280156108b7578160200160208202803683370190505b509050600085336040516020016108cf9291906111a0565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152919052805160209091012090508760005b88811015610aef578181018035906020810135906040013560001a7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08211156109b0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f4d616c6c6561626c65207369676e6174757265206572726f72000000000000006044820152606401610267565b601b8160ff1610156109ca576109c7601b82611231565b90505b6040805160008082526020820180845289905260ff841692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa158015610a1e573d6000803e3d6000fd5b5050604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015173ffffffffffffffffffffffffffffffffffffffff811660009081526001602052919091205490925060ff1690508015610a895750610a8788828b610dca565b155b15610ad75780888a60ff1681518110610aa457610aa4611256565b73ffffffffffffffffffffffffffffffffffffffff9092166020928302919091019091015288610ad381611285565b9950505b50505050604181610ae891906112a5565b905061090b565b5060005461ffff81169060ff62010000909104811690610b139087166103e86112bd565b610b1d91906112fa565b600088815260026020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001692909111918217905560ff16945050505050949350505050565b6040805173ffffffffffffffffffffffffffffffffffffffff86166020820152908101849052606080820152600a60808201527f6164645f7369676e65720000000000000000000000000000000000000000000060a082015260009060c001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815291815273ffffffffffffffffffffffffffffffffffffffff871660009081526001602052205490915060ff1615610c86576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f7369676e657220616c72656164792065786973747300000000000000000000006044820152606401610267565b610c9283838387610713565b610cf8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b73ffffffffffffffffffffffffffffffffffffffff85166000908152600160208190526040822080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169091179055805462010000900460ff16906002610d5f83611285565b91906101000a81548160ff021916908360ff160217905550507f50999ebf9b59bf3157a58816611976f2d723378ad51457d7b0413209e0cdee5985856040516103a392919073ffffffffffffffffffffffffffffffffffffffff929092168252602082015260400190565b6000805b8260ff16811015610e42578373ffffffffffffffffffffffffffffffffffffffff16858281518110610e0257610e02611256565b602002602001015173ffffffffffffffffffffffffffffffffffffffff161415610e30576001915050610e48565b80610e3a8161130e565b915050610dce565b50600090505b9392505050565b60008083601f840112610e6157600080fd5b50813567ffffffffffffffff811115610e7957600080fd5b602083019150836020828501011115610e9157600080fd5b9250929050565b60008060008060608587031215610eae57600080fd5b843561ffff81168114610ec057600080fd5b935060208501359250604085013567ffffffffffffffff811115610ee357600080fd5b610eef87828801610e4f565b95989497509550505050565b600060208284031215610f0d57600080fd5b5035919050565b600080600060408486031215610f2957600080fd5b83359250602084013567ffffffffffffffff811115610f4757600080fd5b610f5386828701610e4f565b9497909650939450505050565b803573ffffffffffffffffffffffffffffffffffffffff81168114610f8457600080fd5b919050565b600060208284031215610f9b57600080fd5b610e4882610f60565b60008060008060608587031215610fba57600080fd5b610ec085610f60565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000806000806060858703121561100857600080fd5b843567ffffffffffffffff8082111561102057600080fd5b61102c88838901610e4f565b9096509450602087013591508082111561104557600080fd5b818701915087601f83011261105957600080fd5b81358181111561106b5761106b610fc3565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f011681019083821181831017156110b1576110b1610fc3565b816040528281528a60208487010111156110ca57600080fd5b826020860160208301376000928101602001929092525095989497509495604001359450505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600060ff821680611135576111356110f3565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60008261119b5761119b61115d565b500690565b604081526000835180604084015260005b818110156111ce57602081870181015160608684010152016111b1565b818111156111e0576000606083860101525b5073ffffffffffffffffffffffffffffffffffffffff93909316602083015250601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01601606001919050565b600060ff821660ff84168060ff0382111561124e5761124e6110f3565b019392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600060ff821660ff81141561129c5761129c6110f3565b60010192915050565b600082198211156112b8576112b86110f3565b500190565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156112f5576112f56110f3565b500290565b6000826113095761130961115d565b500490565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415611340576113406110f3565b506001019056fea2646970667358221220723331279716e624d896dfec3f042f3c520b43f5df2bd24562c0040f40cfc4df64736f6c63430008080033

0x608060405234801561001057600080fd5b50600436106100be5760003560e01c806398c5f73e11610076578063ba73659a1161005b578063ba73659a146101b0578063dbe528df146101c3578063f8e3a660146101d957600080fd5b806398c5f73e1461017f578063b04e3dd11461019257600080fd5b80635ec51639116100a75780635ec51639146101105780635f06155914610123578063736c0d5b1461015c57600080fd5b806350ac8df8146100c35780635b9fe26b146100d8575b600080fd5b6100d66100d1366004610e98565b6101ec565b005b6100fb6100e6366004610efb565b60009081526002602052604090205460ff1690565b60405190151581526020015b60405180910390f35b6100d661011e366004610f14565b6103b2565b6100fb610131366004610f89565b73ffffffffffffffffffffffffffffffffffffffff1660009081526001602052604090205460ff1690565b6100fb61016a366004610f89565b60016020526000908152604090205460ff1681565b6100d661018d366004610fa4565b6104b8565b60005462010000900460ff1660405160ff9091168152602001610107565b6100fb6101be366004610ff2565b610713565b60005460405161ffff9091168152602001610107565b6100d66101e7366004610fa4565b610b69565b6103e88461ffff16108015610205575060008461ffff16115b610270576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6e6577207468726573686f6c64206f7574736964652072616e6765000000000060448201526064015b60405180910390fd5b6040805161ffff86166020820152908101849052606080820152600d60808201527f7365745f7468726573686f6c640000000000000000000000000000000000000060a082015260009060c00160405160208183030381529060405290506102da83838387610713565b610340576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00001661ffff871690811790915560408051918252602082018690527ff6d24c23627520a3b70e5dc66aa1249844b4bb407c2c153d9000a2b14a1e3c1191015b60405180910390a15050505050565b6000836040516020016103fc918152604060208201819052600a908201527f6275726e5f6e6f6e636500000000000000000000000000000000000000000000606082015260800190565b604051602081830303815290604052905061041983838387610713565b61047f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b6040518481527fb33a7fc220f9e1c644c0f616b48edee1956a978a7dcb37a10f16e148969e4c0b9060200160405180910390a150505050565b6040805173ffffffffffffffffffffffffffffffffffffffff86166020820152908101849052606080820152600d60808201527f72656d6f76655f7369676e65720000000000000000000000000000000000000060a082015260009060c001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815291815273ffffffffffffffffffffffffffffffffffffffff871660009081526001602052205490915060ff166105d4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f7369676e657220646f65736e27742065786973740000000000000000000000006044820152606401610267565b6105e083838387610713565b610646576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b73ffffffffffffffffffffffffffffffffffffffff8516600090815260016020526040812080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055805462010000900460ff169060026106a883611122565b91906101000a81548160ff021916908360ff160217905550507f99c1d2c0ed8107e4db2e5dbfb10a2549cd2a63cbe39cf99d2adffbcd0395441885856040516103a392919073ffffffffffffffffffffffffffffffffffffffff929092168252602082015260400190565b600061072060418561118c565b15610787576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f62616420736967206c656e6774680000000000000000000000000000000000006044820152606401610267565b836107ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6d75737420636f6e7461696e206174206c6561737420312073696700000000006044820152606401610267565b60008281526002602052604090205460ff1615610867576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f6e6f6e636520616c7265616479207573656400000000000000000000000000006044820152606401610267565b60008054819062010000900460ff1667ffffffffffffffff81111561088e5761088e610fc3565b6040519080825280602002602001820160405280156108b7578160200160208202803683370190505b509050600085336040516020016108cf9291906111a0565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152919052805160209091012090508760005b88811015610aef578181018035906020810135906040013560001a7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08211156109b0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f4d616c6c6561626c65207369676e6174757265206572726f72000000000000006044820152606401610267565b601b8160ff1610156109ca576109c7601b82611231565b90505b6040805160008082526020820180845289905260ff841692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa158015610a1e573d6000803e3d6000fd5b5050604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015173ffffffffffffffffffffffffffffffffffffffff811660009081526001602052919091205490925060ff1690508015610a895750610a8788828b610dca565b155b15610ad75780888a60ff1681518110610aa457610aa4611256565b73ffffffffffffffffffffffffffffffffffffffff9092166020928302919091019091015288610ad381611285565b9950505b50505050604181610ae891906112a5565b905061090b565b5060005461ffff81169060ff62010000909104811690610b139087166103e86112bd565b610b1d91906112fa565b600088815260026020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001692909111918217905560ff16945050505050949350505050565b6040805173ffffffffffffffffffffffffffffffffffffffff86166020820152908101849052606080820152600a60808201527f6164645f7369676e65720000000000000000000000000000000000000000000060a082015260009060c001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815291815273ffffffffffffffffffffffffffffffffffffffff871660009081526001602052205490915060ff1615610c86576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f7369676e657220616c72656164792065786973747300000000000000000000006044820152606401610267565b610c9283838387610713565b610cf8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f626164207369676e6174757265730000000000000000000000000000000000006044820152606401610267565b73ffffffffffffffffffffffffffffffffffffffff85166000908152600160208190526040822080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169091179055805462010000900460ff16906002610d5f83611285565b91906101000a81548160ff021916908360ff160217905550507f50999ebf9b59bf3157a58816611976f2d723378ad51457d7b0413209e0cdee5985856040516103a392919073ffffffffffffffffffffffffffffffffffffffff929092168252602082015260400190565b6000805b8260ff16811015610e42578373ffffffffffffffffffffffffffffffffffffffff16858281518110610e0257610e02611256565b602002602001015173ffffffffffffffffffffffffffffffffffffffff161415610e30576001915050610e48565b80610e3a8161130e565b915050610dce565b50600090505b9392505050565b60008083601f840112610e6157600080fd5b50813567ffffffffffffffff811115610e7957600080fd5b602083019150836020828501011115610e9157600080fd5b9250929050565b60008060008060608587031215610eae57600080fd5b843561ffff81168114610ec057600080fd5b935060208501359250604085013567ffffffffffffffff811115610ee357600080fd5b610eef87828801610e4f565b95989497509550505050565b600060208284031215610f0d57600080fd5b5035919050565b600080600060408486031215610f2957600080fd5b83359250602084013567ffffffffffffffff811115610f4757600080fd5b610f5386828701610e4f565b9497909650939450505050565b803573ffffffffffffffffffffffffffffffffffffffff81168114610f8457600080fd5b919050565b600060208284031215610f9b57600080fd5b610e4882610f60565b60008060008060608587031215610fba57600080fd5b610ec085610f60565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000806000806060858703121561100857600080fd5b843567ffffffffffffffff8082111561102057600080fd5b61102c88838901610e4f565b9096509450602087013591508082111561104557600080fd5b818701915087601f83011261105957600080fd5b81358181111561106b5761106b610fc3565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f011681019083821181831017156110b1576110b1610fc3565b816040528281528a60208487010111156110ca57600080fd5b826020860160208301376000928101602001929092525095989497509495604001359450505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600060ff821680611135576111356110f3565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60008261119b5761119b61115d565b500690565b604081526000835180604084015260005b818110156111ce57602081870181015160608684010152016111b1565b818111156111e0576000606083860101525b5073ffffffffffffffffffffffffffffffffffffffff93909316602083015250601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01601606001919050565b600060ff821660ff84168060ff0382111561124e5761124e6110f3565b019392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600060ff821660ff81141561129c5761129c6110f3565b60010192915050565b600082198211156112b8576112b86110f3565b500190565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156112f5576112f56110f3565b500290565b6000826113095761130961115d565b500490565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415611340576113406110f3565b506001019056fea2646970667358221220723331279716e624d896dfec3f042f3c520b43f5df2bd24562c0040f40cfc4df64736f6c63430008080033

265:8678:8:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1300:481;;;;;;:::i;:::-;;:::i;:::-;;8823:118;;;;;;:::i;:::-;8893:4;8916:18;;;:11;:18;;;;;;;;;8823:118;;;;1358:14:9;;1351:22;1333:41;;1321:2;1306:18;8823:118:8;;;;;;;;3963:265;;;;;;:::i;:::-;;:::i;8602:134::-;;;;;;:::i;:::-;8706:23;;8683:4;8706:23;;;:7;:23;;;;;;;;;8602:134;555:39;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3056:471;;;;;;:::i;:::-;;:::i;8222:109::-;8288:5;8312:12;;;;;;8222:109;;2987:4:9;2975:17;;;2957:36;;2945:2;2930:18;8222:109:8;2815:184:9;5137:2728:8;;;;;;:::i;:::-;;:::i;8371:106::-;8436:6;8461:9;8371:106;;8461:9;;;;4677:38:9;;4665:2;4650:18;8371:106:8;4533:188:9;2174:464:8;;;;;;:::i;:::-;;:::i;1300:481::-;1469:4;1453:13;:20;;;:41;;;;;1493:1;1477:13;:17;;;1453:41;1445:81;;;;;;;4928:2:9;1445:81:8;;;4910:21:9;4967:2;4947:18;;;4940:30;5006:29;4986:18;;;4979:57;5053:18;;1445:81:8;;;;;;;;;1559:49;;;5350:6:9;5338:19;;1559:49:8;;;5320:38:9;5374:18;;;5367:34;;;5437:2;5417:18;;;5410:30;5476:2;5456:18;;;5449:30;5516:15;5495:19;;;5488:44;1536:20:8;;5549:19:9;;1559:49:8;;;;;;;;;;;;1536:72;;1626:45;1644:10;;1656:7;1665:5;1626:17;:45::i;:::-;1618:72;;;;;;;5781:2:9;1618:72:8;;;5763:21:9;5820:2;5800:18;;;5793:30;5859:16;5839:18;;;5832:44;5893:18;;1618:72:8;5579:338:9;1618:72:8;1700:9;:25;;;;;;;;;;;;;1740:34;;;6094:38:9;;;6163:2;6148:18;;6141:34;;;1740::8;;6067:18:9;1740:34:8;;;;;;;;1435:346;1300:481;;;;:::o;3963:265::-;4053:20;4087:5;4076:31;;;;;;6398:25:9;;6459:2;6454;6439:18;;6432:30;;;6498:2;6478:18;;;6471:30;6537:12;6532:2;6517:18;;6510:40;6582:3;6567:19;;6186:406;4076:31:8;;;;;;;;;;;;;4053:54;;4125:45;4143:10;;4155:7;4164:5;4125:17;:45::i;:::-;4117:72;;;;;;;5781:2:9;4117:72:8;;;5763:21:9;5820:2;5800:18;;;5793:30;5859:16;5839:18;;;5832:44;5893:18;;4117:72:8;5579:338:9;4117:72:8;4204:17;;6743:25:9;;;4204:17:8;;6731:2:9;6716:18;4204:17:8;;;;;;;4043:185;3963:265;;;:::o;3056:471::-;3222:46;;;7049:42:9;7037:55;;3222:46:8;;;7019:74:9;7109:18;;;7102:34;;;7172:2;7152:18;;;7145:30;7211:2;7191:18;;;7184:30;7251:15;7230:19;;;7223:44;3199:20:8;;7284:19:9;;3222:46:8;;;;;;;;;;;;;3286:19;;;;;;;:7;3222:46;3286:19;;;3222:46;;-1:-1:-1;3286:19:8;;3278:52;;;;;;;7516:2:9;3278:52:8;;;7498:21:9;7555:2;7535:18;;;7528:30;7594:22;7574:18;;;7567:50;7634:18;;3278:52:8;7314:344:9;3278:52:8;3348:45;3366:10;;3378:7;3387:5;3348:17;:45::i;:::-;3340:72;;;;;;;5781:2:9;3340:72:8;;;5763:21:9;5820:2;5800:18;;;5793:30;5859:16;5839:18;;;5832:44;5893:18;;3340:72:8;5579:338:9;3340:72:8;3422:19;;;3444:5;3422:19;;;:7;:19;;;;;:27;;;;;;3459:14;;;;;3422:27;3459:14;;:12;:14;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;3488:32;3502:10;3514:5;3488:32;;;;;;8299:42:9;8287:55;;;;8269:74;;8374:2;8359:18;;8352:34;8257:2;8242:18;;8095:297;5137:2728:8;5283:4;5307:22;5327:2;5307:10;:22;:::i;:::-;:27;5299:54;;;;;;;8905:2:9;5299:54:8;;;8887:21:9;8944:2;8924:18;;;8917:30;8983:16;8963:18;;;8956:44;9017:18;;5299:54:8;8703:338:9;5299:54:8;5371:21;5363:61;;;;;;;9248:2:9;5363:61:8;;;9230:21:9;9287:2;9267:18;;;9260:30;9326:29;9306:18;;;9299:57;9373:18;;5363:61:8;9046:351:9;5363:61:8;5443:18;;;;:11;:18;;;;;;;;5442:19;5434:50;;;;;;;9604:2:9;5434:50:8;;;9586:21:9;9643:2;9623:18;;;9616:30;9682:20;9662:18;;;9655:48;9720:18;;5434:50:8;9402:342:9;5434:50:8;5495:10;5565:12;;5495:10;;5565:12;;;;;5551:27;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5551:27:8;;5519:59;;5589:20;5633:7;5642:10;5622:31;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;5612:42;;5622:31;5612:42;;;;;-1:-1:-1;5721:17:8;5664:14;5757:1973;5783:27;;;5757:1973;;;6056:20;;;6043:34;;;6173:2;6147:29;;6134:43;;6310:2;6284:29;6271:43;5885:9;6263:52;7291:66;7277:80;;;7252:164;;;;;;;10715:2:9;7252:164:8;;;10697:21:9;10754:2;10734:18;;;10727:30;10793:27;10773:18;;;10766:55;10838:18;;7252:164:8;10513:349:9;7252:164:8;7438:2;7434:1;:6;;;7430:19;;;7442:7;7447:2;7442:7;;:::i;:::-;;;7430:19;7492:32;;;7464:25;7492:32;;;;;;;;;11303:25:9;;;11376:4;11364:17;;11344:18;;;11337:45;;;;11398:18;;;11391:34;;;11441:18;;;11434:34;;;7492:32:8;;11275:19:9;;7492:32:8;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7492:32:8;;;;;;7543:26;;;;;;;:7;7492:32;7543:26;;;;;;7492:32;;-1:-1:-1;7543:26:8;;;-1:-1:-1;7543:80:8;;;;;7574:49;7585:12;7599:17;7618:4;7574:10;:49::i;:::-;7573:50;7543:80;7539:181;;;7664:17;7643:12;7656:4;7643:18;;;;;;;;;;:::i;:::-;:38;;;;:18;;;;;;;;;;;:38;7699:6;;;;:::i;:::-;;;;7539:181;5827:1903;;;;5823:2;5812:13;;;;;:::i;:::-;;;5757:1973;;;-1:-1:-1;7814:9:8;;;;;;7796:12;;;;;;;;7763:20;;:13;;7779:4;7763:20;:::i;:::-;7762:48;;;;:::i;:::-;7740:18;;;;:11;:18;;;;;:83;;;;7761:62;;;;7740:83;;;;;;7840:18;;-1:-1:-1;;;;;5137:2728:8;;;;;;:::o;2174:464::-;2337:43;;;12609:42:9;12597:55;;2337:43:8;;;12579:74:9;12669:18;;;12662:34;;;12732:2;12712:18;;;12705:30;12771:2;12751:18;;;12744:30;12811:12;12790:19;;;12783:41;2314:20:8;;12841:19:9;;2337:43:8;;;;;;;;;;;;;2399:19;;;;;;;:7;2337:43;2399:19;;;2337:43;;-1:-1:-1;2399:19:8;;2398:20;2390:54;;;;;;;13073:2:9;2390:54:8;;;13055:21:9;13112:2;13092:18;;;13085:30;13151:23;13131:18;;;13124:51;13192:18;;2390:54:8;12871:345:9;2390:54:8;2462:45;2480:10;;2492:7;2501:5;2462:17;:45::i;:::-;2454:72;;;;;;;5781:2:9;2454:72:8;;;5763:21:9;5820:2;5800:18;;;5793:30;5859:16;5839:18;;;5832:44;5893:18;;2454:72:8;5579:338:9;2454:72:8;2536:19;;;;;;;2558:4;2536:19;;;;;;;:26;;;;;;;;;2572:14;;;;;2536:26;2572:14;;:12;:14;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;2601:30;2613:10;2625:5;2601:30;;;;;;8299:42:9;8287:55;;;;8269:74;;8374:2;8359:18;;8352:34;8257:2;8242:18;;8095:297;7871:305:8;8002:4;8023:9;8018:130;8038:4;8034:8;;:1;:8;8018:130;;;8086:6;8067:25;;:12;8080:1;8067:15;;;;;;;;:::i;:::-;;;;;;;:25;;;8063:75;;;8119:4;8112:11;;;;;8063:75;8044:3;;;;:::i;:::-;;;;8018:130;;;;8164:5;8157:12;;7871:305;;;;;;:::o;14:347:9:-;65:8;75:6;129:3;122:4;114:6;110:17;106:27;96:55;;147:1;144;137:12;96:55;-1:-1:-1;170:20:9;;213:18;202:30;;199:50;;;245:1;242;235:12;199:50;282:4;274:6;270:17;258:29;;334:3;327:4;318:6;310;306:19;302:30;299:39;296:59;;;351:1;348;341:12;296:59;14:347;;;;;:::o;366:637::-;453:6;461;469;477;530:2;518:9;509:7;505:23;501:32;498:52;;;546:1;543;536:12;498:52;585:9;572:23;635:6;628:5;624:18;617:5;614:29;604:57;;657:1;654;647:12;604:57;680:5;-1:-1:-1;732:2:9;717:18;;704:32;;-1:-1:-1;787:2:9;772:18;;759:32;814:18;803:30;;800:50;;;846:1;843;836:12;800:50;885:58;935:7;926:6;915:9;911:22;885:58;:::i;:::-;366:637;;;;-1:-1:-1;962:8:9;-1:-1:-1;;;;366:637:9:o;1008:180::-;1067:6;1120:2;1108:9;1099:7;1095:23;1091:32;1088:52;;;1136:1;1133;1126:12;1088:52;-1:-1:-1;1159:23:9;;1008:180;-1:-1:-1;1008:180:9:o;1385:477::-;1464:6;1472;1480;1533:2;1521:9;1512:7;1508:23;1504:32;1501:52;;;1549:1;1546;1539:12;1501:52;1585:9;1572:23;1562:33;;1646:2;1635:9;1631:18;1618:32;1673:18;1665:6;1662:30;1659:50;;;1705:1;1702;1695:12;1659:50;1744:58;1794:7;1785:6;1774:9;1770:22;1744:58;:::i;:::-;1385:477;;1821:8;;-1:-1:-1;1718:84:9;;-1:-1:-1;;;;1385:477:9:o;1867:196::-;1935:20;;1995:42;1984:54;;1974:65;;1964:93;;2053:1;2050;2043:12;1964:93;1867:196;;;:::o;2068:186::-;2127:6;2180:2;2168:9;2159:7;2155:23;2151:32;2148:52;;;2196:1;2193;2186:12;2148:52;2219:29;2238:9;2219:29;:::i;2259:551::-;2347:6;2355;2363;2371;2424:2;2412:9;2403:7;2399:23;2395:32;2392:52;;;2440:1;2437;2430:12;2392:52;2463:29;2482:9;2463:29;:::i;3004:184::-;3056:77;3053:1;3046:88;3153:4;3150:1;3143:15;3177:4;3174:1;3167:15;3193:1335;3290:6;3298;3306;3314;3367:2;3355:9;3346:7;3342:23;3338:32;3335:52;;;3383:1;3380;3373:12;3335:52;3423:9;3410:23;3452:18;3493:2;3485:6;3482:14;3479:34;;;3509:1;3506;3499:12;3479:34;3548:58;3598:7;3589:6;3578:9;3574:22;3548:58;:::i;:::-;3625:8;;-1:-1:-1;3522:84:9;-1:-1:-1;3713:2:9;3698:18;;3685:32;;-1:-1:-1;3729:16:9;;;3726:36;;;3758:1;3755;3748:12;3726:36;3796:8;3785:9;3781:24;3771:34;;3843:7;3836:4;3832:2;3828:13;3824:27;3814:55;;3865:1;3862;3855:12;3814:55;3901:2;3888:16;3923:2;3919;3916:10;3913:36;;;3929:18;;:::i;:::-;4063:2;4057:9;4125:4;4117:13;;3968:66;4113:22;;;4137:2;4109:31;4105:40;4093:53;;;4161:18;;;4181:22;;;4158:46;4155:72;;;4207:18;;:::i;:::-;4247:10;4243:2;4236:22;4282:2;4274:6;4267:18;4322:7;4317:2;4312;4308;4304:11;4300:20;4297:33;4294:53;;;4343:1;4340;4333:12;4294:53;4399:2;4394;4390;4386:11;4381:2;4373:6;4369:15;4356:46;4444:1;4422:15;;;4439:2;4418:24;4411:35;;;;-1:-1:-1;3193:1335:9;;;;-1:-1:-1;4426:6:9;;4518:2;4503:18;4490:32;;-1:-1:-1;;;;3193:1335:9:o;7663:184::-;7715:77;7712:1;7705:88;7812:4;7809:1;7802:15;7836:4;7833:1;7826:15;7852:238;7889:3;7933:4;7926:5;7922:16;7957:7;7947:41;;7968:18;;:::i;:::-;8017:66;8004:80;;7852:238;-1:-1:-1;;7852:238:9:o;8397:184::-;8449:77;8446:1;8439:88;8546:4;8543:1;8536:15;8570:4;8567:1;8560:15;8586:112;8618:1;8644;8634:35;;8649:18;;:::i;:::-;-1:-1:-1;8683:9:9;;8586:112::o;9749:759::-;9924:2;9913:9;9906:21;9887:4;9956:6;9950:13;9999:6;9994:2;9983:9;9979:18;9972:34;10024:1;10034:144;10048:6;10045:1;10042:13;10034:144;;;10161:4;10145:14;;;10141:25;;10135:32;10130:2;10111:17;;;10107:26;10100:68;10063:12;10034:144;;;10196:6;10193:1;10190:13;10187:91;;;10266:1;10261:2;10252:6;10241:9;10237:22;10233:31;10226:42;10187:91;-1:-1:-1;10458:42:9;10446:55;;;;10439:4;10424:20;;10417:85;-1:-1:-1;10330:2:9;10318:15;;;;10335:66;10314:88;10299:104;10405:2;10295:113;;9749:759;-1:-1:-1;9749:759:9:o;10867:204::-;10905:3;10941:4;10938:1;10934:12;10973:4;10970:1;10966:12;11008:3;11002:4;10998:14;10993:3;10990:23;10987:49;;;11016:18;;:::i;:::-;11052:13;;10867:204;-1:-1:-1;;;10867:204:9:o;11479:184::-;11531:77;11528:1;11521:88;11628:4;11625:1;11618:15;11652:4;11649:1;11642:15;11668:175;11705:3;11749:4;11742:5;11738:16;11778:4;11769:7;11766:17;11763:43;;;11786:18;;:::i;:::-;11835:1;11822:15;;11668:175;-1:-1:-1;;11668:175:9:o;11848:128::-;11888:3;11919:1;11915:6;11912:1;11909:13;11906:39;;;11925:18;;:::i;:::-;-1:-1:-1;11961:9:9;;11848:128::o;11981:228::-;12021:7;12147:1;12079:66;12075:74;12072:1;12069:81;12064:1;12057:9;12050:17;12046:105;12043:131;;;12154:18;;:::i;:::-;-1:-1:-1;12194:9:9;;11981:228::o;12214:120::-;12254:1;12280;12270:35;;12285:18;;:::i;:::-;-1:-1:-1;12319:9:9;;12214:120::o;13221:195::-;13260:3;13291:66;13284:5;13281:77;13278:103;;;13361:18;;:::i;:::-;-1:-1:-1;13408:1:9;13397:13;;13221:195::o

ipfs://723331279716e624d896dfec3f042f3c520b43f5df2bd24562c0040f40cfc4df