{
  "_format": "hh-sol-artifact-1",
  "contractName": "NavigatorSlashingUtils",
  "sourceName": "contracts/navigator/libraries/NavigatorSlashingUtils.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "roundId",
          "type": "uint256"
        }
      ],
      "name": "AlreadySlashed",
      "type": "error"
    },
    {
      "inputs": [],
      "name": "CheckpointUnorderedInsertion",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "roundId",
          "type": "uint256"
        }
      ],
      "name": "NoInfractionFound",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        }
      ],
      "name": "NoStakeToSlash",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "roundId",
          "type": "uint256"
        }
      ],
      "name": "RoundStillActive",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "uint8",
          "name": "bits",
          "type": "uint8"
        },
        {
          "internalType": "uint256",
          "name": "value",
          "type": "uint256"
        }
      ],
      "name": "SafeCastOverflowedUintDowncast",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "slashPercentage",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "max",
          "type": "uint256"
        }
      ],
      "name": "SlashExceedsMax",
      "type": "error"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": true,
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "remainingStake",
          "type": "uint256"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "roundId",
          "type": "uint256"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "infractionFlags",
          "type": "uint256"
        }
      ],
      "name": "NavigatorMinorSlashed",
      "type": "event"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": true,
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "remainingStake",
          "type": "uint256"
        },
        {
          "indexed": false,
          "internalType": "string",
          "name": "reason",
          "type": "string"
        }
      ],
      "name": "NavigatorSlashed",
      "type": "event"
    },
    {
      "inputs": [],
      "name": "FLAG_BELOW_MIN_STAKE",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "FLAG_LATE_PREFERENCES",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "FLAG_MISSED_ALLOCATION",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "FLAG_MISSED_GOVERNANCE",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "FLAG_MISSED_REPORT",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "FLAG_STALE_PREFERENCES",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "getMinorSlashPercentage",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        }
      ],
      "name": "getTotalSlashed",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "navigator",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "roundId",
          "type": "uint256"
        }
      ],
      "name": "isSlashedForRound",
      "outputs": [
        {
          "internalType": "bool",
          "name": "slashed",
          "type": "bool"
        },
        {
          "internalType": "uint256",
          "name": "infractionFlags",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "0x61149561003a600b82828239805160001a60731461002d57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600436106100a35760003560e01c80631b98eb92146100a85780632353d624146100c3578063390ce265146100cb5780634af8d7be146100d357806389c192ba146100f55780638d9ee93c1461011f578063960efad914610127578063af00578f1461013a578063bafbf46d1461015a578063c81bdf2014610162578063f5f0a04b1461016a575b600080fd5b6100b0600881565b6040519081526020015b60405180910390f35b6100b0600181565b6100b0600281565b8180156100df57600080fd5b506100f36100ee366004611248565b610172565b005b610108610103366004611288565b61042b565b6040805192151583526020830191909152016100ba565b6100b0601081565b6100b06101353660046112b2565b610484565b81801561014657600080fd5b506100f36101553660046112cd565b6104b0565b6100b0600481565b6100b0610738565b6100b0602081565b600061017c61074b565b90506127108311156101b1576040516376f5e03d60e01b81526004810184905261271060248201526044015b60405180910390fd5b6001600160a01b03841660009081526020829052604081206101d29061076f565b6001600160d01b0316905060006127106101ec868461136c565b6101f69190611399565b9050801561036857600061020a82846113bb565b9050610240610218436107b7565b610221836107ee565b6001600160a01b038a1660009081526020889052604090209190610822565b50508184600301600082825461025691906113bb565b90915550506001600160a01b0387166000908152601685016020526040812080548492906102859084906113ce565b90915550506005840154604051639ae05c3560e01b8152600481018490526001600160a01b0390911690639ae05c3590602401600060405180830381600087803b1580156102d257600080fd5b505af11580156102e6573d6000803e3d6000fd5b50505050600484810154600686015460405163a9059cbb60e01b81526001600160a01b039283169363a9059cbb936103229316918791016113e1565b6020604051808303816000875af1158015610341573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061036591906113fa565b50505b8315610394576001600160a01b03861660009081526015840160205260409020805460ff191660011790555b6001600160a01b03861660008181526020859052604090207ff7c20589390e8a5eadee1646e9351e36c143db5f860e7c64d934f655bfb85b569083906103d99061076f565b6001600160d01b031660405161041b9291909182526020820152606060408201819052600a90820152690dac2d4dee4a6d8c2e6d60b31b608082015260a00190565b60405180910390a2505050505050565b600080600061043861074b565b6001600160a01b03909516600081815260188701602090815260408083208884528252808320549383526019909801815287822096825295909552949093205460ff9094169492505050565b600061048e61074b565b6001600160a01b03909216600090815260169290920160205250604090205490565b60006104ba61074b565b60238101546040516382afd23b60e01b8152600481018790529192506001600160a01b03169081906382afd23b90602401602060405180830381865afa158015610508573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061052c91906113fa565b1561054d5760405163981b025560e01b8152600481018690526024016101a8565b6001600160a01b0386166000908152601883016020908152604080832088845290915290205460ff1615610598578585604051630d01585360e11b81526004016101a89291906113e1565b60006105a4838761083d565b60405163d3a368bd60e01b8152600481018890529091506000906001600160a01b0384169063d3a368bd90602401602060405180830381865afa1580156105ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106139190611417565b90506000610623858a85856108b6565b9050600073__$77001f4f990daf096ecb913067ed8000fe$__63c7329cf78b866040518363ffffffff1660e01b81526004016106609291906113e1565b602060405180830381865af415801561067d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106a19190611417565b11156106b7576106b5858a8a858b8b61097e565b175b806000036106dc57888860405163f392b43560e01b81526004016101a89291906113e1565b6001600160a01b038916600081815260188701602090815260408083208c84528252808320805460ff191660011790559282526019880181528282208b835290522081905561072d858a8a84610ba1565b505050505050505050565b600061074261074b565b60170154905090565b7f2556f61b975c74e3f128bbc478158bc306f6253c34d95084531f202ce74e570090565b805460009080156107ad57610797836107896001846113bb565b600091825260209091200190565b54600160301b90046001600160d01b03166107b0565b60005b9392505050565b600065ffffffffffff8211156107ea576040516306dfcc6560e41b815260306004820152602481018390526044016101a8565b5090565b60006001600160d01b038211156107ea576040516306dfcc6560e41b815260d06004820152602481018390526044016101a8565b600080610830858585610dea565b915091505b935093915050565b60238201546040516368377f6d60e11b8152600481018390526000916001600160a01b03169063d06efeda90602401602060405180830381865afa158015610889573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ad9190611417565b90505b92915050565b6001600160a01b03831660009081526020859052604081205481901561090e576109006108e2856107b7565b6001600160a01b038716600090815260208990526040902090610f64565b6001600160d01b0316610911565b60005b90506000811180156109265750856001015481105b15610975576000610957610939856107b7565b6001600160a01b038816600090815260208a90526040902090610f64565b6001600160d01b03169050866001015481101561097357602092505b505b50949350505050565b6001600160a01b0385166000908152600f87016020908152604080832087845290915281205460ff166109b357600117610a11565b6001600160a01b03861660009081526010880160209081526040808320888452909152812054601189015490919086116109ee5760006109fd565b60118901546109fd90876113bb565b905080821115610a0e576002831792505b50505b6001600160a01b0386166000908152600f88016020908152604080832088845290915281205460ff16158015610a8857506002861080610a8857506001600160a01b0387166000908152600f89016020526040812090610a726001896113bb565b815260208101919091526040016000205460ff16155b8015610ad557506003861080610ad557506001600160a01b0387166000908152600f89016020526040812090610abf6002896113bb565b815260208101919091526040016000205460ff16155b90508015610ae4576004821791505b60228801546001600160a01b03881660009081526020808b0190526040902054610b0e91906113ce565b8610610b1b576008821791505b60005b83811015610b95576001600160a01b0388166000908152600e8a016020526040812090868684818110610b5357610b53611430565b6020908102929092013583525081019190915260400160009081205460ff169003610b8357601083179250610b95565b80610b8d81611446565b915050610b1e565b50509695505050505050565b6001600160a01b0383166000908152602085905260408120610bc29061076f565b6001600160d01b0316905080600003610bf957604051631946cff960e11b81526001600160a01b03851660048201526024016101a8565b6000612710866017015483610c0e919061136c565b610c189190611399565b905080600003610c26575060015b6000610c3282846113bb565b9050610c68610c40436107b7565b610c49836107ee565b6001600160a01b038916600090815260208b9052604090209190610822565b505081876003016000828254610c7e91906113bb565b90915550506001600160a01b038616600090815260168801602052604081208054849290610cad9084906113ce565b90915550506005870154604051639ae05c3560e01b8152600481018490526001600160a01b0390911690639ae05c3590602401600060405180830381600087803b158015610cfa57600080fd5b505af1158015610d0e573d6000803e3d6000fd5b50505050600487810154600689015460405163a9059cbb60e01b81526001600160a01b039283169363a9059cbb93610d4a9316918791016113e1565b6020604051808303816000875af1158015610d69573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d8d91906113fa565b506040805183815260208101839052908101869052606081018590526001600160a01b038716907f605bac7044738ccab54e9ad124898ce4e93a96cc020bc57fd1ade22ce6a224099060800160405180910390a250505050505050565b825460009081908015610f09576000610e08876107896001856113bb565b60408051808201909152905465ffffffffffff808216808452600160301b9092046001600160d01b031660208401529192509087161015610e5c57604051632520601d60e01b815260040160405180910390fd5b805165ffffffffffff808816911603610ea85784610e7f886107896001866113bb565b80546001600160d01b0392909216600160301b0265ffffffffffff909216919091179055610ef9565b6040805180820190915265ffffffffffff80881682526001600160d01b0380881660208085019182528b54600181018d5560008d81529190912094519151909216600160301b029216919091179101555b6020015192508391506108359050565b50506040805180820190915265ffffffffffff80851682526001600160d01b0380851660208085019182528854600181018a5560008a815291822095519251909316600160301b029190931617920191909155905081610835565b815460009081816005811115610fc3576000610f7f8461100c565b610f8990856113bb565b60008881526020902090915081015465ffffffffffff9081169087161015610fb357809150610fc1565b610fbe8160016113ce565b92505b505b6000610fd1878785856110f4565b90508015610ffe57610fe8876107896001846113bb565b54600160301b90046001600160d01b0316611001565b60005b979650505050505050565b60008160000361101e57506000919050565b6000600161102b84611156565b901c6001901b9050600181848161104457611044611383565b048201901c9050600181848161105c5761105c611383565b048201901c9050600181848161107457611074611383565b048201901c9050600181848161108c5761108c611383565b048201901c905060018184816110a4576110a4611383565b048201901c905060018184816110bc576110bc611383565b048201901c905060018184816110d4576110d4611383565b048201901c90506107b0818285816110ee576110ee611383565b046111ea565b60005b8183101561114e57600061110b8484611200565b60008781526020902090915065ffffffffffff86169082015465ffffffffffff16111561113a57809250611148565b6111458160016113ce565b93505b506110f7565b509392505050565b600080608083901c1561116b57608092831c92015b604083901c1561117d57604092831c92015b602083901c1561118f57602092831c92015b601083901c156111a157601092831c92015b600883901c156111b357600892831c92015b600483901c156111c557600492831c92015b600283901c156111d757600292831c92015b600183901c156108b05760010192915050565b60008183106111f957816108ad565b5090919050565b600061120f6002848418611399565b6108ad908484166113ce565b80356001600160a01b038116811461123257600080fd5b919050565b801515811461124557600080fd5b50565b60008060006060848603121561125d57600080fd5b6112668461121b565b925060208401359150604084013561127d81611237565b809150509250925092565b6000806040838503121561129b57600080fd5b6112a48361121b565b946020939093013593505050565b6000602082840312156112c457600080fd5b6108ad8261121b565b600080600080606085870312156112e357600080fd5b6112ec8561121b565b93506020850135925060408501356001600160401b038082111561130f57600080fd5b818701915087601f83011261132357600080fd5b81358181111561133257600080fd5b8860208260051b850101111561134757600080fd5b95989497505060200194505050565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176108b0576108b0611356565b634e487b7160e01b600052601260045260246000fd5b6000826113b657634e487b7160e01b600052601260045260246000fd5b500490565b818103818111156108b0576108b0611356565b808201808211156108b0576108b0611356565b6001600160a01b03929092168252602082015260400190565b60006020828403121561140c57600080fd5b81516107b081611237565b60006020828403121561142957600080fd5b5051919050565b634e487b7160e01b600052603260045260246000fd5b60006001820161145857611458611356565b506001019056fea26469706673582212202d1484885b64dd406fb119747b608e17219273efde750ec1799fb421ea6da1af64736f6c63430008140033",
  "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600436106100a35760003560e01c80631b98eb92146100a85780632353d624146100c3578063390ce265146100cb5780634af8d7be146100d357806389c192ba146100f55780638d9ee93c1461011f578063960efad914610127578063af00578f1461013a578063bafbf46d1461015a578063c81bdf2014610162578063f5f0a04b1461016a575b600080fd5b6100b0600881565b6040519081526020015b60405180910390f35b6100b0600181565b6100b0600281565b8180156100df57600080fd5b506100f36100ee366004611248565b610172565b005b610108610103366004611288565b61042b565b6040805192151583526020830191909152016100ba565b6100b0601081565b6100b06101353660046112b2565b610484565b81801561014657600080fd5b506100f36101553660046112cd565b6104b0565b6100b0600481565b6100b0610738565b6100b0602081565b600061017c61074b565b90506127108311156101b1576040516376f5e03d60e01b81526004810184905261271060248201526044015b60405180910390fd5b6001600160a01b03841660009081526020829052604081206101d29061076f565b6001600160d01b0316905060006127106101ec868461136c565b6101f69190611399565b9050801561036857600061020a82846113bb565b9050610240610218436107b7565b610221836107ee565b6001600160a01b038a1660009081526020889052604090209190610822565b50508184600301600082825461025691906113bb565b90915550506001600160a01b0387166000908152601685016020526040812080548492906102859084906113ce565b90915550506005840154604051639ae05c3560e01b8152600481018490526001600160a01b0390911690639ae05c3590602401600060405180830381600087803b1580156102d257600080fd5b505af11580156102e6573d6000803e3d6000fd5b50505050600484810154600686015460405163a9059cbb60e01b81526001600160a01b039283169363a9059cbb936103229316918791016113e1565b6020604051808303816000875af1158015610341573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061036591906113fa565b50505b8315610394576001600160a01b03861660009081526015840160205260409020805460ff191660011790555b6001600160a01b03861660008181526020859052604090207ff7c20589390e8a5eadee1646e9351e36c143db5f860e7c64d934f655bfb85b569083906103d99061076f565b6001600160d01b031660405161041b9291909182526020820152606060408201819052600a90820152690dac2d4dee4a6d8c2e6d60b31b608082015260a00190565b60405180910390a2505050505050565b600080600061043861074b565b6001600160a01b03909516600081815260188701602090815260408083208884528252808320549383526019909801815287822096825295909552949093205460ff9094169492505050565b600061048e61074b565b6001600160a01b03909216600090815260169290920160205250604090205490565b60006104ba61074b565b60238101546040516382afd23b60e01b8152600481018790529192506001600160a01b03169081906382afd23b90602401602060405180830381865afa158015610508573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061052c91906113fa565b1561054d5760405163981b025560e01b8152600481018690526024016101a8565b6001600160a01b0386166000908152601883016020908152604080832088845290915290205460ff1615610598578585604051630d01585360e11b81526004016101a89291906113e1565b60006105a4838761083d565b60405163d3a368bd60e01b8152600481018890529091506000906001600160a01b0384169063d3a368bd90602401602060405180830381865afa1580156105ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106139190611417565b90506000610623858a85856108b6565b9050600073__$77001f4f990daf096ecb913067ed8000fe$__63c7329cf78b866040518363ffffffff1660e01b81526004016106609291906113e1565b602060405180830381865af415801561067d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106a19190611417565b11156106b7576106b5858a8a858b8b61097e565b175b806000036106dc57888860405163f392b43560e01b81526004016101a89291906113e1565b6001600160a01b038916600081815260188701602090815260408083208c84528252808320805460ff191660011790559282526019880181528282208b835290522081905561072d858a8a84610ba1565b505050505050505050565b600061074261074b565b60170154905090565b7f2556f61b975c74e3f128bbc478158bc306f6253c34d95084531f202ce74e570090565b805460009080156107ad57610797836107896001846113bb565b600091825260209091200190565b54600160301b90046001600160d01b03166107b0565b60005b9392505050565b600065ffffffffffff8211156107ea576040516306dfcc6560e41b815260306004820152602481018390526044016101a8565b5090565b60006001600160d01b038211156107ea576040516306dfcc6560e41b815260d06004820152602481018390526044016101a8565b600080610830858585610dea565b915091505b935093915050565b60238201546040516368377f6d60e11b8152600481018390526000916001600160a01b03169063d06efeda90602401602060405180830381865afa158015610889573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ad9190611417565b90505b92915050565b6001600160a01b03831660009081526020859052604081205481901561090e576109006108e2856107b7565b6001600160a01b038716600090815260208990526040902090610f64565b6001600160d01b0316610911565b60005b90506000811180156109265750856001015481105b15610975576000610957610939856107b7565b6001600160a01b038816600090815260208a90526040902090610f64565b6001600160d01b03169050866001015481101561097357602092505b505b50949350505050565b6001600160a01b0385166000908152600f87016020908152604080832087845290915281205460ff166109b357600117610a11565b6001600160a01b03861660009081526010880160209081526040808320888452909152812054601189015490919086116109ee5760006109fd565b60118901546109fd90876113bb565b905080821115610a0e576002831792505b50505b6001600160a01b0386166000908152600f88016020908152604080832088845290915281205460ff16158015610a8857506002861080610a8857506001600160a01b0387166000908152600f89016020526040812090610a726001896113bb565b815260208101919091526040016000205460ff16155b8015610ad557506003861080610ad557506001600160a01b0387166000908152600f89016020526040812090610abf6002896113bb565b815260208101919091526040016000205460ff16155b90508015610ae4576004821791505b60228801546001600160a01b03881660009081526020808b0190526040902054610b0e91906113ce565b8610610b1b576008821791505b60005b83811015610b95576001600160a01b0388166000908152600e8a016020526040812090868684818110610b5357610b53611430565b6020908102929092013583525081019190915260400160009081205460ff169003610b8357601083179250610b95565b80610b8d81611446565b915050610b1e565b50509695505050505050565b6001600160a01b0383166000908152602085905260408120610bc29061076f565b6001600160d01b0316905080600003610bf957604051631946cff960e11b81526001600160a01b03851660048201526024016101a8565b6000612710866017015483610c0e919061136c565b610c189190611399565b905080600003610c26575060015b6000610c3282846113bb565b9050610c68610c40436107b7565b610c49836107ee565b6001600160a01b038916600090815260208b9052604090209190610822565b505081876003016000828254610c7e91906113bb565b90915550506001600160a01b038616600090815260168801602052604081208054849290610cad9084906113ce565b90915550506005870154604051639ae05c3560e01b8152600481018490526001600160a01b0390911690639ae05c3590602401600060405180830381600087803b158015610cfa57600080fd5b505af1158015610d0e573d6000803e3d6000fd5b50505050600487810154600689015460405163a9059cbb60e01b81526001600160a01b039283169363a9059cbb93610d4a9316918791016113e1565b6020604051808303816000875af1158015610d69573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d8d91906113fa565b506040805183815260208101839052908101869052606081018590526001600160a01b038716907f605bac7044738ccab54e9ad124898ce4e93a96cc020bc57fd1ade22ce6a224099060800160405180910390a250505050505050565b825460009081908015610f09576000610e08876107896001856113bb565b60408051808201909152905465ffffffffffff808216808452600160301b9092046001600160d01b031660208401529192509087161015610e5c57604051632520601d60e01b815260040160405180910390fd5b805165ffffffffffff808816911603610ea85784610e7f886107896001866113bb565b80546001600160d01b0392909216600160301b0265ffffffffffff909216919091179055610ef9565b6040805180820190915265ffffffffffff80881682526001600160d01b0380881660208085019182528b54600181018d5560008d81529190912094519151909216600160301b029216919091179101555b6020015192508391506108359050565b50506040805180820190915265ffffffffffff80851682526001600160d01b0380851660208085019182528854600181018a5560008a815291822095519251909316600160301b029190931617920191909155905081610835565b815460009081816005811115610fc3576000610f7f8461100c565b610f8990856113bb565b60008881526020902090915081015465ffffffffffff9081169087161015610fb357809150610fc1565b610fbe8160016113ce565b92505b505b6000610fd1878785856110f4565b90508015610ffe57610fe8876107896001846113bb565b54600160301b90046001600160d01b0316611001565b60005b979650505050505050565b60008160000361101e57506000919050565b6000600161102b84611156565b901c6001901b9050600181848161104457611044611383565b048201901c9050600181848161105c5761105c611383565b048201901c9050600181848161107457611074611383565b048201901c9050600181848161108c5761108c611383565b048201901c905060018184816110a4576110a4611383565b048201901c905060018184816110bc576110bc611383565b048201901c905060018184816110d4576110d4611383565b048201901c90506107b0818285816110ee576110ee611383565b046111ea565b60005b8183101561114e57600061110b8484611200565b60008781526020902090915065ffffffffffff86169082015465ffffffffffff16111561113a57809250611148565b6111458160016113ce565b93505b506110f7565b509392505050565b600080608083901c1561116b57608092831c92015b604083901c1561117d57604092831c92015b602083901c1561118f57602092831c92015b601083901c156111a157601092831c92015b600883901c156111b357600892831c92015b600483901c156111c557600492831c92015b600283901c156111d757600292831c92015b600183901c156108b05760010192915050565b60008183106111f957816108ad565b5090919050565b600061120f6002848418611399565b6108ad908484166113ce565b80356001600160a01b038116811461123257600080fd5b919050565b801515811461124557600080fd5b50565b60008060006060848603121561125d57600080fd5b6112668461121b565b925060208401359150604084013561127d81611237565b809150509250925092565b6000806040838503121561129b57600080fd5b6112a48361121b565b946020939093013593505050565b6000602082840312156112c457600080fd5b6108ad8261121b565b600080600080606085870312156112e357600080fd5b6112ec8561121b565b93506020850135925060408501356001600160401b038082111561130f57600080fd5b818701915087601f83011261132357600080fd5b81358181111561133257600080fd5b8860208260051b850101111561134757600080fd5b95989497505060200194505050565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176108b0576108b0611356565b634e487b7160e01b600052601260045260246000fd5b6000826113b657634e487b7160e01b600052601260045260246000fd5b500490565b818103818111156108b0576108b0611356565b808201808211156108b0576108b0611356565b6001600160a01b03929092168252602082015260400190565b60006020828403121561140c57600080fd5b81516107b081611237565b60006020828403121561142957600080fd5b5051919050565b634e487b7160e01b600052603260045260246000fd5b60006001820161145857611458611356565b506001019056fea26469706673582212202d1484885b64dd406fb119747b608e17219273efde750ec1799fb421ea6da1af64736f6c63430008140033",
  "linkReferences": {
    "contracts/navigator/libraries/NavigatorDelegationUtils.sol": {
      "NavigatorDelegationUtils": [
        {
          "length": 20,
          "start": 1635
        }
      ]
    }
  },
  "deployedLinkReferences": {
    "contracts/navigator/libraries/NavigatorDelegationUtils.sol": {
      "NavigatorDelegationUtils": [
        {
          "length": 20,
          "start": 1577
        }
      ]
    }
  }
}