@etherisc/gif-next 3.0.0-fbbe3fc-042 → 3.0.0-fc7e513-722

package/artifacts/contracts/examples/flight/FlightLib.sol/FlightLib.json

@@ -40,6 +40,22 @@
       "name": "ErrorFlightProductArrivalBeforeDepartureTime",
       "type": "error"
     },
+    {
+      "inputs": [
+        {
+          "internalType": "Amount",
+          "name": "totalSumInsured",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Amount",
+          "name": "maxTotalPayout",
+          "type": "uint96"
+        }
+      ],
+      "name": "ErrorFlightProductClusterRisk",
+      "type": "error"
+    },
     {
       "inputs": [
         {
@@ -130,6 +146,17 @@
       "name": "ErrorFlightProductPremiumAmountTooSmall",
       "type": "error"
     },
+    {
+      "inputs": [
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        }
+      ],
+      "name": "ErrorFlightProductRiskInvalid",
+      "type": "error"
+    },
     {
       "anonymous": false,
       "inputs": [
@@ -158,7 +185,7 @@
           "type": "int256"
         }
       ],
-      "name": "LogErrorUnexpectedStatus",
+      "name": "LogFlightProductErrorUnexpectedStatus",
       "type": "event"
     },
     {
@@ -183,7 +210,7 @@
           "type": "bytes1"
         }
       ],
-      "name": "LogErrorUnprocessableStatus",
+      "name": "LogFlightProductErrorUnprocessableStatus",
       "type": "event"
     },
     {
@@ -282,6 +309,29 @@
       "stateMutability": "view",
       "type": "function"
     },
+    {
+      "inputs": [
+        {
+          "internalType": "Amount",
+          "name": "sumOfSumInsuredAmounts",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Amount",
+          "name": "sumInsuredAmount",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Amount",
+          "name": "maxTotalPayout",
+          "type": "uint96"
+        }
+      ],
+      "name": "checkClusterRisk",
+      "outputs": [],
+      "stateMutability": "pure",
+      "type": "function"
+    },
     {
       "inputs": [
         {
@@ -295,13 +345,38 @@
           "type": "uint96"
         },
         {
-          "internalType": "RiskId",
-          "name": "riskId",
-          "type": "bytes8"
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "string",
+          "name": "departureTimeLocal",
+          "type": "string"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "string",
+          "name": "arrivalTimeLocal",
+          "type": "string"
         }
       ],
       "name": "getFlightRisk",
       "outputs": [
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
         {
           "internalType": "bool",
           "name": "exists",
@@ -381,38 +456,18 @@
           "type": "uint96"
         },
         {
-          "internalType": "Str",
-          "name": "flightData",
-          "type": "bytes32"
-        },
-        {
-          "internalType": "Timestamp",
-          "name": "departureTime",
-          "type": "uint40"
-        },
-        {
-          "internalType": "string",
-          "name": "departureTimeLocal",
-          "type": "string"
-        },
-        {
-          "internalType": "Timestamp",
-          "name": "arrivalTime",
-          "type": "uint40"
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
         },
         {
-          "internalType": "string",
-          "name": "arrivalTimeLocal",
-          "type": "string"
+          "internalType": "bool",
+          "name": "requireRiskExists",
+          "type": "bool"
         }
       ],
       "name": "getFlightRisk",
       "outputs": [
-        {
-          "internalType": "RiskId",
-          "name": "riskId",
-          "type": "bytes8"
-        },
         {
           "internalType": "bool",
           "name": "exists",
@@ -567,34 +622,42 @@
       "type": "function"
     }
   ],
-  "bytecode": "0x6122d7610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040526004361061009b575f3560e01c80637c93ab111161006e5780637c93ab111461013e5780638a37ab631461016a5780638c2fb8f214610195578063bb2d4851146101aa578063bcfba169146101cb575f80fd5b806319b9d5ba1461009f5780634f339f15146100c957806355d166e1146100eb578063580324001461010d575b5f80fd5b6100b26100ad3660046118d1565b6101fe565b6040516100c0929190611a2f565b60405180910390f35b6100dc6100d7366004611b69565b610322565b6040516100c093929190611c1d565b6100fe6100f9366004611ca1565b6104b1565b6040516100c093929190611ce7565b818015610118575f80fd5b5061012c610127366004611d4c565b6109c1565b60405160ff90911681526020016100c0565b61015161014c366004611da5565b610b8e565b6040516001600160c01b031990911681526020016100c0565b61017d610178366004611ddd565b610ba5565b6040516001600160601b0390911681526020016100c0565b6101a86101a3366004611e3e565b610be0565b005b6101bd6101b8366004611ea2565b610bf3565b6040519081526020016100c0565b6101de6101d93660046118d1565b610e4c565b604080519315158452911515602084015260ff16908201526060016100c0565b5f61020761181e565b60405163028106fd60e01b81526001600160601b03851660048201526001600160c01b0319841660248201526001600160a01b0386169063028106fd90604401602060405180830381865afa158015610262573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102869190611ed6565b9150811561031a5760405163887b1fa960e01b81526001600160c01b0319841660048201526001600160a01b0386169063887b1fa9906024015f60405180830381865afa1580156102d9573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f191682016040526103009190810190611f46565b604001518060200190518101906103179190612020565b90505b935093915050565b5f8061032c61181e565b6103368989610b8e565b92506103438a8a856101fe565b9092509050816104a4576040518061014001604052808981526020018864ffffffffff1681526020018781526020018664ffffffffff16815260200185815260200173__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd965f6040518263ffffffff1660e01b81526004016103be91815260200190565b602060405180830381865af41580156103d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103fd9190612133565b6001600160601b031681526020015f60f81b6001600160f81b03191681526020015f81526020015f60ff16815260200173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af4158015610474573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610498919061214e565b64ffffffffff16905290505b9750975097945050505050565b5f6104ba611873565b5f61052485876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061051f9190612133565b610efa565b156105bb5784866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610566573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061058a9190612133565b6040516313f3ed4560e11b81526001600160601b039283166004820152911660248201526044015b60405180910390fd5b61062485876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061f9190612133565b610f85565b156106b65784866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610666573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061068a9190612133565b60405163f778558360e01b81526001600160601b039283166004820152911660248201526044016105b2565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af41580156106fd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107219190612133565b905061072d8685610bf3565b92505f5b60058110156109b7575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c661077087600161217d565b6040518263ffffffff1660e01b815260040161078e91815260200190565b602060405180830381865afa1580156107a9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107cd9190612190565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af415801561082a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061084e91906121ab565b61085891906121c2565b610864906127106121c2565b61086e91906121d9565b6040518263ffffffff1660e01b815260040161088c91815260200190565b602060405180830381865af41580156108a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108cb9190612133565b905061090d81896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b1561097557876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561094e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109729190612133565b90505b61097f8184610f85565b15610988578092505b8084836005811061099b5761099b6121f8565b6001600160601b03909216602092909202015250600101610731565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906109ef5750604160f81b6001600160f81b0319841614155b8015610a095750604360f81b6001600160f81b0319841614155b8015610a235750601160fa1b6001600160f81b0319841614155b15610a8d57604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f10a71fc00c647daac16f739c85fb09cb0693bf51f97ce89bffc03ae1c68dc29d906060015b60405180910390a1610b86565b6001600160f81b03198316604160f81b03610b0557604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527f92cc6b14897b8416df8afd6ed7b6b0bf7c98f549f3ed1ff260803dee0d504b3490608001610a80565b6001600160f81b03198316604360f81b03610b2257506003610b86565b6001600160f81b03198316601160fa1b03610b3f57506004610b86565b600f8212158015610b505750601e82125b15610b5c57505f610b86565b601e8212158015610b6d5750602d82125b15610b7a57506001610b86565b602d8212610b86575060025b949350505050565b5f80610b9983610fcf565b9050610b868482611000565b5f8083806020019051810190610bbb919061220c565b915050808360ff1660058110610bd357610bd36121f8565b6020020151949350505050565b610bec85828486611083565b5050505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c30573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c5491906121ab565b82511015610ce557815f6020020151836001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c9f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cc391906121ab565b6040516314d8c02360e01b8152600481019290925260248201526044016105b2565b505f60015b6006811015610daa578251838260068110610d0757610d076121f8565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610d4f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d739190612190565b60ff16610d8091906121c2565b610d8c906127106121c2565b610d9691906121d9565b610da0908361217d565b9150600101610cea565b50805f03610dc4578151610dc190620186a06121d9565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e02573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e2691906121ab565b610e3190606461217d565b610e3b90836121c2565b610e4591906121d9565b9392505050565b5f805f610e5761181e565b610e628787876101fe565b610120810151604051638d38cd4b60e01b815264ffffffffff9091166004820152919550915073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__90638d38cd4b90602401602060405180830381865af4158015610ec2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ee69190611ed6565b925080610100015191505093509350939050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d62906044015b602060405180830381865af4158015610f5b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e459190611ed6565b92915050565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c90604401610f40565b5f81604051602001610fe391815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af415801561105f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e459190612286565b5f846001600160a01b03166360efe48c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156110c0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110e49190611ed6565b905061112684866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104fb573d5f803e3d5ffd5b156111685783856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610566573d5f803e3d5ffd5b6111a884866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b156111ea5783856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610666573d5f803e3d5ffd5b64ffffffffff8083169084161161122557604051630e012a2160e31b815264ffffffffff8084166004830152841660248201526044016105b2565b801580156113305750611330838364ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611292573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112b6919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af41580156112fd573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611321919061214e565b64ffffffffff90811691161190565b156113ca578282866001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611373573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611397919061214e565b60405163e3c2fc1960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016105b2565b8015801561153f575061153f8273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561141e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611442919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156114a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114c5919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af415801561150c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611530919061214e565b64ffffffffff90811691161090565b15611643578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561158c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115b0919061214e565b866001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156115ec573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611610919061214e565b60405163b365623960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016105b2565b8015801561171a575061171a8273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611697573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116bb919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611292573d5f803e3d5ffd5b15610bec578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611767573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061178b919061214e565b866001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156117c7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906117eb919061214e565b6040516342e4fb0b60e11b815264ffffffffff9384166004820152918316602483015290911660448201526064016105b2565b60408051610140810182525f808252602082018190526060928201839052828201819052608082019290925260a0810182905260c0810182905260e08101829052610100810182905261012081019190915290565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b03811681146118a5575f80fd5b50565b6001600160601b03811681146118a5575f80fd5b6001600160c01b0319811681146118a5575f80fd5b5f805f606084860312156118e3575f80fd5b83356118ee81611891565b925060208401356118fe816118a8565b9150604084013561190e816118bc565b809150509250925092565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b805182525f6020820151611964602085018264ffffffffff169052565b5060408201516101406040850152611980610140850182611919565b9050606083015161199a606086018264ffffffffff169052565b50608083015184820360808601526119b28282611919565b91505060a08301516119cf60a08601826001600160601b03169052565b5060c08301516119eb60c08601826001600160f81b0319169052565b5060e083015160e0850152610100830151611a0c61010086018260ff169052565b50610120830151611a2761012086018264ffffffffff169052565b509392505050565b8215158152604060208201525f610b866040830184611947565b64ffffffffff811681146118a5575f80fd5b634e487b7160e01b5f52604160045260245ffd5b604051606081016001600160401b0381118282101715611a9157611a91611a5b565b60405290565b60405161014081016001600160401b0381118282101715611a9157611a91611a5b565b604051601f8201601f191681016001600160401b0381118282101715611ae257611ae2611a5b565b604052919050565b5f6001600160401b03821115611b0257611b02611a5b565b50601f01601f191660200190565b5f611b22611b1d84611aea565b611aba565b9050828152838383011115611b35575f80fd5b828260208301375f602084830101529392505050565b5f82601f830112611b5a575f80fd5b610e4583833560208501611b10565b5f805f805f805f60e0888a031215611b7f575f80fd5b8735611b8a81611891565b96506020880135611b9a816118a8565b9550604088013594506060880135611bb181611a49565b935060808801356001600160401b03811115611bcb575f80fd5b611bd78a828b01611b4b565b93505060a0880135611be881611a49565b915060c08801356001600160401b03811115611c02575f80fd5b611c0e8a828b01611b4b565b91505092959891949750929550565b6001600160401b0360c01b841681528215156020820152606060408201525f611c496060830184611947565b95945050505050565b5f82601f830112611c61575f80fd5b611c6b60c0611aba565b8060c0840185811115611c7c575f80fd5b845b81811015611c96578035845260209384019301611c7e565b509095945050505050565b5f805f6101008486031215611cb4575f80fd5b8335611cbf81611891565b92506020840135611ccf816118a8565b9150611cde8560408601611c52565b90509250925092565b83815260e0810160208201845f5b6005811015611d1d5781516001600160601b0316835260209283019290910190600101611cf5565b5050506001600160601b03831660c0830152949350505050565b6001600160f81b0319811681146118a5575f80fd5b5f805f8060808587031215611d5f575f80fd5b84356001600160401b0381168114611d75575f80fd5b93506020850135611d85816118bc565b92506040850135611d9581611d37565b9396929550929360600135925050565b5f8060408385031215611db6575f80fd5b8235611dc1816118a8565b946020939093013593505050565b60ff811681146118a5575f80fd5b5f8060408385031215611dee575f80fd5b82356001600160401b03811115611e03575f80fd5b8301601f81018513611e13575f80fd5b611e2285823560208401611b10565b9250506020830135611e3381611dcf565b809150509250929050565b5f805f805f60a08688031215611e52575f80fd5b8535611e5d81611891565b9450602086013593506040860135611e7481611a49565b92506060860135611e8481611a49565b91506080860135611e94816118a8565b809150509295509295909350565b5f8060e08385031215611eb3575f80fd5b8235611ebe81611891565b9150611ecd8460208501611c52565b90509250929050565b5f60208284031215611ee6575f80fd5b81518015158114610e45575f80fd5b8051611f00816118a8565b919050565b8051611f0081611a49565b5f611f1d611b1d84611aea565b9050828152838383011115611f30575f80fd5b8282602083015e5f602084830101529392505050565b5f60208284031215611f56575f80fd5b81516001600160401b03811115611f6b575f80fd5b820160608185031215611f7c575f80fd5b611f84611a6f565b8151611f8f816118a8565b81526020820151611f9f81611a49565b602082015260408201516001600160401b03811115611fbc575f80fd5b80830192505084601f830112611fd0575f80fd5b611fdf85835160208501611f10565b6040820152949350505050565b5f82601f830112611ffb575f80fd5b610e4583835160208501611f10565b8051611f0081611d37565b8051611f0081611dcf565b5f60208284031215612030575f80fd5b81516001600160401b03811115612045575f80fd5b82016101408185031215612057575f80fd5b61205f611a97565b8151815261206f60208301611f05565b602082015260408201516001600160401b0381111561208c575f80fd5b61209886828501611fec565b6040830152506120aa60608301611f05565b606082015260808201516001600160401b038111156120c7575f80fd5b6120d386828501611fec565b6080830152506120e560a08301611ef5565b60a08201526120f660c0830161200a565b60c082015260e082810151908201526121126101008301612015565b6101008201526121256101208301611f05565b610120820152949350505050565b5f60208284031215612143575f80fd5b8151610e45816118a8565b5f6020828403121561215e575f80fd5b8151610e4581611a49565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610f7f57610f7f612169565b5f602082840312156121a0575f80fd5b8151610e4581611dcf565b5f602082840312156121bb575f80fd5b5051919050565b8082028115828204841417610f7f57610f7f612169565b5f826121f357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f8060c0838503121561221d575f80fd5b8251612228816118a8565b9150603f83018413612238575f80fd5b61224260a0611aba565b8060c0850186811115612253575f80fd5b602086015b8181101561227957805161226b816118a8565b845260209384019301612258565b5093969095509350505050565b5f60208284031215612296575f80fd5b8151610e45816118bc56fea26469706673582212200a6a18fb5e45ce7e5e21ca1f52588327e058de9b63922398c878e6780b84f91264736f6c634300081a0033",
-  "deployedBytecode": "0x730000000000000000000000000000000000000000301460806040526004361061009b575f3560e01c80637c93ab111161006e5780637c93ab111461013e5780638a37ab631461016a5780638c2fb8f214610195578063bb2d4851146101aa578063bcfba169146101cb575f80fd5b806319b9d5ba1461009f5780634f339f15146100c957806355d166e1146100eb578063580324001461010d575b5f80fd5b6100b26100ad3660046118d1565b6101fe565b6040516100c0929190611a2f565b60405180910390f35b6100dc6100d7366004611b69565b610322565b6040516100c093929190611c1d565b6100fe6100f9366004611ca1565b6104b1565b6040516100c093929190611ce7565b818015610118575f80fd5b5061012c610127366004611d4c565b6109c1565b60405160ff90911681526020016100c0565b61015161014c366004611da5565b610b8e565b6040516001600160c01b031990911681526020016100c0565b61017d610178366004611ddd565b610ba5565b6040516001600160601b0390911681526020016100c0565b6101a86101a3366004611e3e565b610be0565b005b6101bd6101b8366004611ea2565b610bf3565b6040519081526020016100c0565b6101de6101d93660046118d1565b610e4c565b604080519315158452911515602084015260ff16908201526060016100c0565b5f61020761181e565b60405163028106fd60e01b81526001600160601b03851660048201526001600160c01b0319841660248201526001600160a01b0386169063028106fd90604401602060405180830381865afa158015610262573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102869190611ed6565b9150811561031a5760405163887b1fa960e01b81526001600160c01b0319841660048201526001600160a01b0386169063887b1fa9906024015f60405180830381865afa1580156102d9573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f191682016040526103009190810190611f46565b604001518060200190518101906103179190612020565b90505b935093915050565b5f8061032c61181e565b6103368989610b8e565b92506103438a8a856101fe565b9092509050816104a4576040518061014001604052808981526020018864ffffffffff1681526020018781526020018664ffffffffff16815260200185815260200173__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd965f6040518263ffffffff1660e01b81526004016103be91815260200190565b602060405180830381865af41580156103d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103fd9190612133565b6001600160601b031681526020015f60f81b6001600160f81b03191681526020015f81526020015f60ff16815260200173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af4158015610474573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610498919061214e565b64ffffffffff16905290505b9750975097945050505050565b5f6104ba611873565b5f61052485876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061051f9190612133565b610efa565b156105bb5784866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610566573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061058a9190612133565b6040516313f3ed4560e11b81526001600160601b039283166004820152911660248201526044015b60405180910390fd5b61062485876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061f9190612133565b610f85565b156106b65784866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610666573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061068a9190612133565b60405163f778558360e01b81526001600160601b039283166004820152911660248201526044016105b2565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af41580156106fd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107219190612133565b905061072d8685610bf3565b92505f5b60058110156109b7575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c661077087600161217d565b6040518263ffffffff1660e01b815260040161078e91815260200190565b602060405180830381865afa1580156107a9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107cd9190612190565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af415801561082a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061084e91906121ab565b61085891906121c2565b610864906127106121c2565b61086e91906121d9565b6040518263ffffffff1660e01b815260040161088c91815260200190565b602060405180830381865af41580156108a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108cb9190612133565b905061090d81896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b1561097557876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561094e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109729190612133565b90505b61097f8184610f85565b15610988578092505b8084836005811061099b5761099b6121f8565b6001600160601b03909216602092909202015250600101610731565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906109ef5750604160f81b6001600160f81b0319841614155b8015610a095750604360f81b6001600160f81b0319841614155b8015610a235750601160fa1b6001600160f81b0319841614155b15610a8d57604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f10a71fc00c647daac16f739c85fb09cb0693bf51f97ce89bffc03ae1c68dc29d906060015b60405180910390a1610b86565b6001600160f81b03198316604160f81b03610b0557604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527f92cc6b14897b8416df8afd6ed7b6b0bf7c98f549f3ed1ff260803dee0d504b3490608001610a80565b6001600160f81b03198316604360f81b03610b2257506003610b86565b6001600160f81b03198316601160fa1b03610b3f57506004610b86565b600f8212158015610b505750601e82125b15610b5c57505f610b86565b601e8212158015610b6d5750602d82125b15610b7a57506001610b86565b602d8212610b86575060025b949350505050565b5f80610b9983610fcf565b9050610b868482611000565b5f8083806020019051810190610bbb919061220c565b915050808360ff1660058110610bd357610bd36121f8565b6020020151949350505050565b610bec85828486611083565b5050505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c30573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c5491906121ab565b82511015610ce557815f6020020151836001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c9f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cc391906121ab565b6040516314d8c02360e01b8152600481019290925260248201526044016105b2565b505f60015b6006811015610daa578251838260068110610d0757610d076121f8565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610d4f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d739190612190565b60ff16610d8091906121c2565b610d8c906127106121c2565b610d9691906121d9565b610da0908361217d565b9150600101610cea565b50805f03610dc4578151610dc190620186a06121d9565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e02573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e2691906121ab565b610e3190606461217d565b610e3b90836121c2565b610e4591906121d9565b9392505050565b5f805f610e5761181e565b610e628787876101fe565b610120810151604051638d38cd4b60e01b815264ffffffffff9091166004820152919550915073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__90638d38cd4b90602401602060405180830381865af4158015610ec2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ee69190611ed6565b925080610100015191505093509350939050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d62906044015b602060405180830381865af4158015610f5b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e459190611ed6565b92915050565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c90604401610f40565b5f81604051602001610fe391815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af415801561105f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e459190612286565b5f846001600160a01b03166360efe48c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156110c0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110e49190611ed6565b905061112684866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104fb573d5f803e3d5ffd5b156111685783856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610566573d5f803e3d5ffd5b6111a884866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b156111ea5783856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610666573d5f803e3d5ffd5b64ffffffffff8083169084161161122557604051630e012a2160e31b815264ffffffffff8084166004830152841660248201526044016105b2565b801580156113305750611330838364ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611292573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112b6919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af41580156112fd573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611321919061214e565b64ffffffffff90811691161190565b156113ca578282866001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611373573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611397919061214e565b60405163e3c2fc1960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016105b2565b8015801561153f575061153f8273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561141e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611442919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156114a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114c5919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af415801561150c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611530919061214e565b64ffffffffff90811691161090565b15611643578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561158c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115b0919061214e565b866001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156115ec573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611610919061214e565b60405163b365623960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016105b2565b8015801561171a575061171a8273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611697573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116bb919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611292573d5f803e3d5ffd5b15610bec578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611767573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061178b919061214e565b866001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156117c7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906117eb919061214e565b6040516342e4fb0b60e11b815264ffffffffff9384166004820152918316602483015290911660448201526064016105b2565b60408051610140810182525f808252602082018190526060928201839052828201819052608082019290925260a0810182905260c0810182905260e08101829052610100810182905261012081019190915290565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b03811681146118a5575f80fd5b50565b6001600160601b03811681146118a5575f80fd5b6001600160c01b0319811681146118a5575f80fd5b5f805f606084860312156118e3575f80fd5b83356118ee81611891565b925060208401356118fe816118a8565b9150604084013561190e816118bc565b809150509250925092565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b805182525f6020820151611964602085018264ffffffffff169052565b5060408201516101406040850152611980610140850182611919565b9050606083015161199a606086018264ffffffffff169052565b50608083015184820360808601526119b28282611919565b91505060a08301516119cf60a08601826001600160601b03169052565b5060c08301516119eb60c08601826001600160f81b0319169052565b5060e083015160e0850152610100830151611a0c61010086018260ff169052565b50610120830151611a2761012086018264ffffffffff169052565b509392505050565b8215158152604060208201525f610b866040830184611947565b64ffffffffff811681146118a5575f80fd5b634e487b7160e01b5f52604160045260245ffd5b604051606081016001600160401b0381118282101715611a9157611a91611a5b565b60405290565b60405161014081016001600160401b0381118282101715611a9157611a91611a5b565b604051601f8201601f191681016001600160401b0381118282101715611ae257611ae2611a5b565b604052919050565b5f6001600160401b03821115611b0257611b02611a5b565b50601f01601f191660200190565b5f611b22611b1d84611aea565b611aba565b9050828152838383011115611b35575f80fd5b828260208301375f602084830101529392505050565b5f82601f830112611b5a575f80fd5b610e4583833560208501611b10565b5f805f805f805f60e0888a031215611b7f575f80fd5b8735611b8a81611891565b96506020880135611b9a816118a8565b9550604088013594506060880135611bb181611a49565b935060808801356001600160401b03811115611bcb575f80fd5b611bd78a828b01611b4b565b93505060a0880135611be881611a49565b915060c08801356001600160401b03811115611c02575f80fd5b611c0e8a828b01611b4b565b91505092959891949750929550565b6001600160401b0360c01b841681528215156020820152606060408201525f611c496060830184611947565b95945050505050565b5f82601f830112611c61575f80fd5b611c6b60c0611aba565b8060c0840185811115611c7c575f80fd5b845b81811015611c96578035845260209384019301611c7e565b509095945050505050565b5f805f6101008486031215611cb4575f80fd5b8335611cbf81611891565b92506020840135611ccf816118a8565b9150611cde8560408601611c52565b90509250925092565b83815260e0810160208201845f5b6005811015611d1d5781516001600160601b0316835260209283019290910190600101611cf5565b5050506001600160601b03831660c0830152949350505050565b6001600160f81b0319811681146118a5575f80fd5b5f805f8060808587031215611d5f575f80fd5b84356001600160401b0381168114611d75575f80fd5b93506020850135611d85816118bc565b92506040850135611d9581611d37565b9396929550929360600135925050565b5f8060408385031215611db6575f80fd5b8235611dc1816118a8565b946020939093013593505050565b60ff811681146118a5575f80fd5b5f8060408385031215611dee575f80fd5b82356001600160401b03811115611e03575f80fd5b8301601f81018513611e13575f80fd5b611e2285823560208401611b10565b9250506020830135611e3381611dcf565b809150509250929050565b5f805f805f60a08688031215611e52575f80fd5b8535611e5d81611891565b9450602086013593506040860135611e7481611a49565b92506060860135611e8481611a49565b91506080860135611e94816118a8565b809150509295509295909350565b5f8060e08385031215611eb3575f80fd5b8235611ebe81611891565b9150611ecd8460208501611c52565b90509250929050565b5f60208284031215611ee6575f80fd5b81518015158114610e45575f80fd5b8051611f00816118a8565b919050565b8051611f0081611a49565b5f611f1d611b1d84611aea565b9050828152838383011115611f30575f80fd5b8282602083015e5f602084830101529392505050565b5f60208284031215611f56575f80fd5b81516001600160401b03811115611f6b575f80fd5b820160608185031215611f7c575f80fd5b611f84611a6f565b8151611f8f816118a8565b81526020820151611f9f81611a49565b602082015260408201516001600160401b03811115611fbc575f80fd5b80830192505084601f830112611fd0575f80fd5b611fdf85835160208501611f10565b6040820152949350505050565b5f82601f830112611ffb575f80fd5b610e4583835160208501611f10565b8051611f0081611d37565b8051611f0081611dcf565b5f60208284031215612030575f80fd5b81516001600160401b03811115612045575f80fd5b82016101408185031215612057575f80fd5b61205f611a97565b8151815261206f60208301611f05565b602082015260408201516001600160401b0381111561208c575f80fd5b61209886828501611fec565b6040830152506120aa60608301611f05565b606082015260808201516001600160401b038111156120c7575f80fd5b6120d386828501611fec565b6080830152506120e560a08301611ef5565b60a08201526120f660c0830161200a565b60c082015260e082810151908201526121126101008301612015565b6101008201526121256101208301611f05565b610120820152949350505050565b5f60208284031215612143575f80fd5b8151610e45816118a8565b5f6020828403121561215e575f80fd5b8151610e4581611a49565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610f7f57610f7f612169565b5f602082840312156121a0575f80fd5b8151610e4581611dcf565b5f602082840312156121bb575f80fd5b5051919050565b8082028115828204841417610f7f57610f7f612169565b5f826121f357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f8060c0838503121561221d575f80fd5b8251612228816118a8565b9150603f83018413612238575f80fd5b61224260a0611aba565b8060c0850186811115612253575f80fd5b602086015b8181101561227957805161226b816118a8565b845260209384019301612258565b5093969095509350505050565b5f60208284031215612296575f80fd5b8151610e45816118bc56fea26469706673582212200a6a18fb5e45ce7e5e21ca1f52588327e058de9b63922398c878e6780b84f91264736f6c634300081a0033",
+  "bytecode": "0x612515610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe73000000000000000000000000000000000000000030146080604052600436106100a6575f3560e01c80638a37ab631161006e5780638a37ab63146101755780638c2fb8f2146101a0578063b0d48dba146101b5578063bb2d4851146101c8578063bcfba169146101e9575f80fd5b80634f339f15146100aa57806355d166e1146100d557806358032400146100f75780637bc17425146101285780637c93ab1114610149575b5f80fd5b6100bd6100b8366004611b7b565b61021c565b6040516100cc93929190611d45565b60405180910390f35b6100e86100e3366004611dc9565b6103ac565b6040516100cc93929190611e0f565b818015610102575f80fd5b50610116610111366004611e89565b6108bc565b60405160ff90911681526020016100cc565b61013b610136366004611eef565b610a89565b6040516100cc929190611f48565b61015c610157366004611f62565b610be3565b6040516001600160c01b031990911681526020016100cc565b610188610183366004611f9a565b610bfa565b6040516001600160601b0390911681526020016100cc565b6101b36101ae366004611ffb565b610cb5565b005b6101b36101c336600461205f565b610cc8565b6101db6101d63660046120a7565b610d1c565b6040519081526020016100cc565b6101fc6101f73660046120db565b610f75565b604080519315158452911515602084015260ff16908201526060016100cc565b5f806102266119bd565b6102308989610be3565b925061023e8a8a855f610a89565b90925090508161039f576040518061014001604052808981526020018864ffffffffff1681526020018781526020018664ffffffffff16815260200185815260200173__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd965f6040518263ffffffff1660e01b81526004016102b991815260200190565b602060405180830381865af41580156102d4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102f89190612128565b6001600160601b031681526020015f60f81b6001600160f81b03191681526020015f81526020015f60ff16815260200173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af415801561036f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610393919061214e565b64ffffffffff16905290505b9750975097945050505050565b5f6103b5611a12565b5f61041f85876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103f6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061041a9190612128565b611024565b156104b65784866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610461573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104859190612128565b6040516313f3ed4560e11b81526001600160601b039283166004820152911660248201526044015b60405180910390fd5b61051f85876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104f6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061051a9190612128565b6110a9565b156105b15784866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610561573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105859190612128565b60405163f778558360e01b81526001600160601b039283166004820152911660248201526044016104ad565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af41580156105f8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061c9190612128565b90506106288685610d1c565b92505f5b60058110156108b2575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c661066b87600161217d565b6040518263ffffffff1660e01b815260040161068991815260200190565b602060405180830381865afa1580156106a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c8919061219b565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af4158015610725573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061074991906121b6565b61075391906121cd565b61075f906127106121cd565b61076991906121e4565b6040518263ffffffff1660e01b815260040161078791815260200190565b602060405180830381865af41580156107a2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c69190612128565b905061080881896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104f6573d5f803e3d5ffd5b1561087057876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610849573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086d9190612128565b90505b61087a81846110a9565b15610883578092505b8084836005811061089657610896612203565b6001600160601b0390921660209290920201525060010161062c565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906108ea5750604160f81b6001600160f81b0319841614155b80156109045750604360f81b6001600160f81b0319841614155b801561091e5750601160fa1b6001600160f81b0319841614155b1561098857604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f02a6d9ea3eae94753cf01c3f2598efc6c9f51c8f9514855716ed2777c4799c5f906060015b60405180910390a1610a81565b6001600160f81b03198316604160f81b03610a0057604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527ffdffa1974e51ba75d4587b8dbb3716c9f2d3b36f486636a5484b156db8a2bb069060800161097b565b6001600160f81b03198316604360f81b03610a1d57506003610a81565b6001600160f81b03198316601160fa1b03610a3a57506004610a81565b600f8212158015610a4b5750601e82125b15610a5757505f610a81565b601e8212158015610a685750602d82125b15610a7557506001610a81565b602d8212610a81575060025b949350505050565b5f610a926119bd565b60405163028106fd60e01b81526001600160601b03861660048201526001600160c01b0319851660248201526001600160a01b0387169063028106fd90604401602060405180830381865afa158015610aed573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b119190612217565b915081158015610b1e5750825b15610b4857604051633973f33b60e01b81526001600160c01b0319851660048201526024016104ad565b8115610bda5760405163887b1fa960e01b81526001600160c01b0319851660048201526001600160a01b0387169063887b1fa9906024015f60405180830381865afa158015610b99573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f19168201604052610bc09190810190612268565b60400151806020019051810190610bd79190612337565b90505b94509492505050565b5f80610bee836110f3565b9050610a818482611124565b5f60fe1960ff831601610c795773__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af4158015610c4e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c729190612128565b9050610caf565b5f83806020019051810190610c8e919061244a565b915050808360ff1660058110610ca657610ca6612203565b60200201519150505b92915050565b610cc1858284866111a7565b5050505050565b610cdb610cd58484611939565b826110a9565b15610d1757610cea8383611939565b60405163a104682b60e01b81526001600160601b03918216600482015290821660248201526044016104ad565b505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d59573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d7d91906121b6565b82511015610e0e57815f6020020151836001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610dc8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610dec91906121b6565b6040516314d8c02360e01b8152600481019290925260248201526044016104ad565b505f60015b6006811015610ed3578251838260068110610e3057610e30612203565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610e78573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e9c919061219b565b60ff16610ea991906121cd565b610eb5906127106121cd565b610ebf91906121e4565b610ec9908361217d565b9150600101610e13565b50805f03610eed578151610eea90620186a06121e4565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f2b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f4f91906121b6565b610f5a90606461217d565b610f6490836121cd565b610f6e91906121e4565b9392505050565b5f805f610f806119bd565b610f8c8787875f610a89565b610120810151604051638d38cd4b60e01b815264ffffffffff9091166004820152919550915073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__90638d38cd4b90602401602060405180830381865af4158015610fec573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110109190612217565b925080610100015191505093509350939050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d62906044015b602060405180830381865af4158015611085573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f6e9190612217565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c9060440161106a565b5f8160405160200161110791815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af4158015611183573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f6e91906124c4565b5f846001600160a01b03166360efe48c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111e4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112089190612217565b905061124a84866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103f6573d5f803e3d5ffd5b1561128c5783856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610461573d5f803e3d5ffd5b6112cc84866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104f6573d5f803e3d5ffd5b1561130e5783856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610561573d5f803e3d5ffd5b64ffffffffff8083169084161161134957604051630e012a2160e31b815264ffffffffff8084166004830152841660248201526044016104ad565b61144b838364ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156113ad573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113d1919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af4158015611418573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061143c919061214e565b64ffffffffff90811691161190565b156114e5578282866001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561148e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114b2919061214e565b60405163e3c2fc1960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016104ad565b8015801561165a575061165a8273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611539573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061155d919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156115bc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115e0919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af4158015611627573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061164b919061214e565b64ffffffffff90811691161090565b1561175e578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156116a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116cb919061214e565b866001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611707573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061172b919061214e565b60405163b365623960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016104ad565b8015801561183557506118358273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156117b2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906117d6919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156113ad573d5f803e3d5ffd5b15610cc1578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611882573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906118a6919061214e565b866001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156118e2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611906919061214e565b6040516342e4fb0b60e11b815264ffffffffff9384166004820152918316602483015290911660448201526064016104ad565b60405163274acb3560e01b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__9063274acb3590604401602060405180830381865af4158015611999573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f6e9190612128565b60408051610140810182525f808252602082018190526060928201839052828201819052608082019290925260a0810182905260c0810182905260e08101829052610100810182905261012081019190915290565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b0381168114611a44575f80fd5b50565b6001600160601b0381168114611a44575f80fd5b64ffffffffff81168114611a44575f80fd5b634e487b7160e01b5f52604160045260245ffd5b604051606081016001600160401b0381118282101715611aa357611aa3611a6d565b60405290565b60405161014081016001600160401b0381118282101715611aa357611aa3611a6d565b604051601f8201601f191681016001600160401b0381118282101715611af457611af4611a6d565b604052919050565b5f6001600160401b03821115611b1457611b14611a6d565b50601f01601f191660200190565b5f611b34611b2f84611afc565b611acc565b9050828152838383011115611b47575f80fd5b828260208301375f602084830101529392505050565b5f82601f830112611b6c575f80fd5b610f6e83833560208501611b22565b5f805f805f805f60e0888a031215611b91575f80fd5b8735611b9c81611a30565b96506020880135611bac81611a47565b9550604088013594506060880135611bc381611a5b565b935060808801356001600160401b03811115611bdd575f80fd5b611be98a828b01611b5d565b93505060a0880135611bfa81611a5b565b915060c08801356001600160401b03811115611c14575f80fd5b611c208a828b01611b5d565b91505092959891949750929550565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b805182525f6020820151611c7a602085018264ffffffffff169052565b5060408201516101406040850152611c96610140850182611c2f565b90506060830151611cb0606086018264ffffffffff169052565b5060808301518482036080860152611cc88282611c2f565b91505060a0830151611ce560a08601826001600160601b03169052565b5060c0830151611d0160c08601826001600160f81b0319169052565b5060e083015160e0850152610100830151611d2261010086018260ff169052565b50610120830151611d3d61012086018264ffffffffff169052565b509392505050565b6001600160401b0360c01b841681528215156020820152606060408201525f611d716060830184611c5d565b95945050505050565b5f82601f830112611d89575f80fd5b611d9360c0611acc565b8060c0840185811115611da4575f80fd5b845b81811015611dbe578035845260209384019301611da6565b509095945050505050565b5f805f6101008486031215611ddc575f80fd5b8335611de781611a30565b92506020840135611df781611a47565b9150611e068560408601611d7a565b90509250925092565b83815260e0810160208201845f5b6005811015611e455781516001600160601b0316835260209283019290910190600101611e1d565b5050506001600160601b03831660c0830152949350505050565b6001600160c01b031981168114611a44575f80fd5b6001600160f81b031981168114611a44575f80fd5b5f805f8060808587031215611e9c575f80fd5b84356001600160401b0381168114611eb2575f80fd5b93506020850135611ec281611e5f565b92506040850135611ed281611e74565b9396929550929360600135925050565b8015158114611a44575f80fd5b5f805f8060808587031215611f02575f80fd5b8435611f0d81611a30565b93506020850135611f1d81611a47565b92506040850135611f2d81611e5f565b91506060850135611f3d81611ee2565b939692955090935050565b8215158152604060208201525f610a816040830184611c5d565b5f8060408385031215611f73575f80fd5b8235611f7e81611a47565b946020939093013593505050565b60ff81168114611a44575f80fd5b5f8060408385031215611fab575f80fd5b82356001600160401b03811115611fc0575f80fd5b8301601f81018513611fd0575f80fd5b611fdf85823560208401611b22565b9250506020830135611ff081611f8c565b809150509250929050565b5f805f805f60a0868803121561200f575f80fd5b853561201a81611a30565b945060208601359350604086013561203181611a5b565b9250606086013561204181611a5b565b9150608086013561205181611a47565b809150509295509295909350565b5f805f60608486031215612071575f80fd5b833561207c81611a47565b9250602084013561208c81611a47565b9150604084013561209c81611a47565b809150509250925092565b5f8060e083850312156120b8575f80fd5b82356120c381611a30565b91506120d28460208501611d7a565b90509250929050565b5f805f606084860312156120ed575f80fd5b83356120f881611a30565b9250602084013561210881611a47565b9150604084013561209c81611e5f565b805161212381611a47565b919050565b5f60208284031215612138575f80fd5b8151610f6e81611a47565b805161212381611a5b565b5f6020828403121561215e575f80fd5b8151610f6e81611a5b565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610caf57610caf612169565b805161212381611f8c565b5f602082840312156121ab575f80fd5b8151610f6e81611f8c565b5f602082840312156121c6575f80fd5b5051919050565b8082028115828204841417610caf57610caf612169565b5f826121fe57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215612227575f80fd5b8151610f6e81611ee2565b5f61223f611b2f84611afc565b9050828152838383011115612252575f80fd5b8282602083015e5f602084830101529392505050565b5f60208284031215612278575f80fd5b81516001600160401b0381111561228d575f80fd5b82016060818503121561229e575f80fd5b6122a6611a81565b81516122b181611a47565b815260208201516122c181611a5b565b602082015260408201516001600160401b038111156122de575f80fd5b80830192505084601f8301126122f2575f80fd5b61230185835160208501612232565b6040820152949350505050565b5f82601f83011261231d575f80fd5b610f6e83835160208501612232565b805161212381611e74565b5f60208284031215612347575f80fd5b81516001600160401b0381111561235c575f80fd5b8201610140818503121561236e575f80fd5b612376611aa9565b8151815261238660208301612143565b602082015260408201516001600160401b038111156123a3575f80fd5b6123af8682850161230e565b6040830152506123c160608301612143565b606082015260808201516001600160401b038111156123de575f80fd5b6123ea8682850161230e565b6080830152506123fc60a08301612118565b60a082015261240d60c0830161232c565b60c082015260e082810151908201526124296101008301612190565b61010082015261243c6101208301612143565b610120820152949350505050565b5f8060c0838503121561245b575f80fd5b825161246681611a47565b9150603f83018413612476575f80fd5b61248060a0611acc565b8060c0850186811115612491575f80fd5b602086015b818110156124b75780516124a981611a47565b845260209384019301612496565b5093969095509350505050565b5f602082840312156124d4575f80fd5b8151610f6e81611e5f56fea26469706673582212207076b20e5371d6a7dabf26147e98e2c419c49d8f266a5ae5f1fac7a65dc1f79d64736f6c634300081a0033",
+  "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600436106100a6575f3560e01c80638a37ab631161006e5780638a37ab63146101755780638c2fb8f2146101a0578063b0d48dba146101b5578063bb2d4851146101c8578063bcfba169146101e9575f80fd5b80634f339f15146100aa57806355d166e1146100d557806358032400146100f75780637bc17425146101285780637c93ab1114610149575b5f80fd5b6100bd6100b8366004611b7b565b61021c565b6040516100cc93929190611d45565b60405180910390f35b6100e86100e3366004611dc9565b6103ac565b6040516100cc93929190611e0f565b818015610102575f80fd5b50610116610111366004611e89565b6108bc565b60405160ff90911681526020016100cc565b61013b610136366004611eef565b610a89565b6040516100cc929190611f48565b61015c610157366004611f62565b610be3565b6040516001600160c01b031990911681526020016100cc565b610188610183366004611f9a565b610bfa565b6040516001600160601b0390911681526020016100cc565b6101b36101ae366004611ffb565b610cb5565b005b6101b36101c336600461205f565b610cc8565b6101db6101d63660046120a7565b610d1c565b6040519081526020016100cc565b6101fc6101f73660046120db565b610f75565b604080519315158452911515602084015260ff16908201526060016100cc565b5f806102266119bd565b6102308989610be3565b925061023e8a8a855f610a89565b90925090508161039f576040518061014001604052808981526020018864ffffffffff1681526020018781526020018664ffffffffff16815260200185815260200173__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd965f6040518263ffffffff1660e01b81526004016102b991815260200190565b602060405180830381865af41580156102d4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102f89190612128565b6001600160601b031681526020015f60f81b6001600160f81b03191681526020015f81526020015f60ff16815260200173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af415801561036f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610393919061214e565b64ffffffffff16905290505b9750975097945050505050565b5f6103b5611a12565b5f61041f85876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103f6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061041a9190612128565b611024565b156104b65784866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610461573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104859190612128565b6040516313f3ed4560e11b81526001600160601b039283166004820152911660248201526044015b60405180910390fd5b61051f85876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104f6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061051a9190612128565b6110a9565b156105b15784866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610561573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105859190612128565b60405163f778558360e01b81526001600160601b039283166004820152911660248201526044016104ad565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af41580156105f8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061c9190612128565b90506106288685610d1c565b92505f5b60058110156108b2575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c661066b87600161217d565b6040518263ffffffff1660e01b815260040161068991815260200190565b602060405180830381865afa1580156106a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c8919061219b565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af4158015610725573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061074991906121b6565b61075391906121cd565b61075f906127106121cd565b61076991906121e4565b6040518263ffffffff1660e01b815260040161078791815260200190565b602060405180830381865af41580156107a2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c69190612128565b905061080881896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104f6573d5f803e3d5ffd5b1561087057876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610849573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086d9190612128565b90505b61087a81846110a9565b15610883578092505b8084836005811061089657610896612203565b6001600160601b0390921660209290920201525060010161062c565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906108ea5750604160f81b6001600160f81b0319841614155b80156109045750604360f81b6001600160f81b0319841614155b801561091e5750601160fa1b6001600160f81b0319841614155b1561098857604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f02a6d9ea3eae94753cf01c3f2598efc6c9f51c8f9514855716ed2777c4799c5f906060015b60405180910390a1610a81565b6001600160f81b03198316604160f81b03610a0057604080516001600160401b03871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527ffdffa1974e51ba75d4587b8dbb3716c9f2d3b36f486636a5484b156db8a2bb069060800161097b565b6001600160f81b03198316604360f81b03610a1d57506003610a81565b6001600160f81b03198316601160fa1b03610a3a57506004610a81565b600f8212158015610a4b5750601e82125b15610a5757505f610a81565b601e8212158015610a685750602d82125b15610a7557506001610a81565b602d8212610a81575060025b949350505050565b5f610a926119bd565b60405163028106fd60e01b81526001600160601b03861660048201526001600160c01b0319851660248201526001600160a01b0387169063028106fd90604401602060405180830381865afa158015610aed573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b119190612217565b915081158015610b1e5750825b15610b4857604051633973f33b60e01b81526001600160c01b0319851660048201526024016104ad565b8115610bda5760405163887b1fa960e01b81526001600160c01b0319851660048201526001600160a01b0387169063887b1fa9906024015f60405180830381865afa158015610b99573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f19168201604052610bc09190810190612268565b60400151806020019051810190610bd79190612337565b90505b94509492505050565b5f80610bee836110f3565b9050610a818482611124565b5f60fe1960ff831601610c795773__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af4158015610c4e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c729190612128565b9050610caf565b5f83806020019051810190610c8e919061244a565b915050808360ff1660058110610ca657610ca6612203565b60200201519150505b92915050565b610cc1858284866111a7565b5050505050565b610cdb610cd58484611939565b826110a9565b15610d1757610cea8383611939565b60405163a104682b60e01b81526001600160601b03918216600482015290821660248201526044016104ad565b505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d59573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d7d91906121b6565b82511015610e0e57815f6020020151836001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610dc8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610dec91906121b6565b6040516314d8c02360e01b8152600481019290925260248201526044016104ad565b505f60015b6006811015610ed3578251838260068110610e3057610e30612203565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610e78573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e9c919061219b565b60ff16610ea991906121cd565b610eb5906127106121cd565b610ebf91906121e4565b610ec9908361217d565b9150600101610e13565b50805f03610eed578151610eea90620186a06121e4565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f2b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f4f91906121b6565b610f5a90606461217d565b610f6490836121cd565b610f6e91906121e4565b9392505050565b5f805f610f806119bd565b610f8c8787875f610a89565b610120810151604051638d38cd4b60e01b815264ffffffffff9091166004820152919550915073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__90638d38cd4b90602401602060405180830381865af4158015610fec573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110109190612217565b925080610100015191505093509350939050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d62906044015b602060405180830381865af4158015611085573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f6e9190612217565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c9060440161106a565b5f8160405160200161110791815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af4158015611183573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f6e91906124c4565b5f846001600160a01b03166360efe48c6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111e4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112089190612217565b905061124a84866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103f6573d5f803e3d5ffd5b1561128c5783856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610461573d5f803e3d5ffd5b6112cc84866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104f6573d5f803e3d5ffd5b1561130e5783856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610561573d5f803e3d5ffd5b64ffffffffff8083169084161161134957604051630e012a2160e31b815264ffffffffff8084166004830152841660248201526044016104ad565b61144b838364ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156113ad573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113d1919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af4158015611418573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061143c919061214e565b64ffffffffff90811691161190565b156114e5578282866001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561148e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114b2919061214e565b60405163e3c2fc1960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016104ad565b8015801561165a575061165a8273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611539573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061155d919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156115bc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115e0919061214e565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af4158015611627573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061164b919061214e565b64ffffffffff90811691161090565b1561175e578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156116a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116cb919061214e565b866001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611707573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061172b919061214e565b60405163b365623960e01b815264ffffffffff9384166004820152918316602483015290911660448201526064016104ad565b8015801561183557506118358273__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156117b2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906117d6919061214e565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091896001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156113ad573d5f803e3d5ffd5b15610cc1578173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611882573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906118a6919061214e565b866001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156118e2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611906919061214e565b6040516342e4fb0b60e11b815264ffffffffff9384166004820152918316602483015290911660448201526064016104ad565b60405163274acb3560e01b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__9063274acb3590604401602060405180830381865af4158015611999573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f6e9190612128565b60408051610140810182525f808252602082018190526060928201839052828201819052608082019290925260a0810182905260c0810182905260e08101829052610100810182905261012081019190915290565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b0381168114611a44575f80fd5b50565b6001600160601b0381168114611a44575f80fd5b64ffffffffff81168114611a44575f80fd5b634e487b7160e01b5f52604160045260245ffd5b604051606081016001600160401b0381118282101715611aa357611aa3611a6d565b60405290565b60405161014081016001600160401b0381118282101715611aa357611aa3611a6d565b604051601f8201601f191681016001600160401b0381118282101715611af457611af4611a6d565b604052919050565b5f6001600160401b03821115611b1457611b14611a6d565b50601f01601f191660200190565b5f611b34611b2f84611afc565b611acc565b9050828152838383011115611b47575f80fd5b828260208301375f602084830101529392505050565b5f82601f830112611b6c575f80fd5b610f6e83833560208501611b22565b5f805f805f805f60e0888a031215611b91575f80fd5b8735611b9c81611a30565b96506020880135611bac81611a47565b9550604088013594506060880135611bc381611a5b565b935060808801356001600160401b03811115611bdd575f80fd5b611be98a828b01611b5d565b93505060a0880135611bfa81611a5b565b915060c08801356001600160401b03811115611c14575f80fd5b611c208a828b01611b5d565b91505092959891949750929550565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b805182525f6020820151611c7a602085018264ffffffffff169052565b5060408201516101406040850152611c96610140850182611c2f565b90506060830151611cb0606086018264ffffffffff169052565b5060808301518482036080860152611cc88282611c2f565b91505060a0830151611ce560a08601826001600160601b03169052565b5060c0830151611d0160c08601826001600160f81b0319169052565b5060e083015160e0850152610100830151611d2261010086018260ff169052565b50610120830151611d3d61012086018264ffffffffff169052565b509392505050565b6001600160401b0360c01b841681528215156020820152606060408201525f611d716060830184611c5d565b95945050505050565b5f82601f830112611d89575f80fd5b611d9360c0611acc565b8060c0840185811115611da4575f80fd5b845b81811015611dbe578035845260209384019301611da6565b509095945050505050565b5f805f6101008486031215611ddc575f80fd5b8335611de781611a30565b92506020840135611df781611a47565b9150611e068560408601611d7a565b90509250925092565b83815260e0810160208201845f5b6005811015611e455781516001600160601b0316835260209283019290910190600101611e1d565b5050506001600160601b03831660c0830152949350505050565b6001600160c01b031981168114611a44575f80fd5b6001600160f81b031981168114611a44575f80fd5b5f805f8060808587031215611e9c575f80fd5b84356001600160401b0381168114611eb2575f80fd5b93506020850135611ec281611e5f565b92506040850135611ed281611e74565b9396929550929360600135925050565b8015158114611a44575f80fd5b5f805f8060808587031215611f02575f80fd5b8435611f0d81611a30565b93506020850135611f1d81611a47565b92506040850135611f2d81611e5f565b91506060850135611f3d81611ee2565b939692955090935050565b8215158152604060208201525f610a816040830184611c5d565b5f8060408385031215611f73575f80fd5b8235611f7e81611a47565b946020939093013593505050565b60ff81168114611a44575f80fd5b5f8060408385031215611fab575f80fd5b82356001600160401b03811115611fc0575f80fd5b8301601f81018513611fd0575f80fd5b611fdf85823560208401611b22565b9250506020830135611ff081611f8c565b809150509250929050565b5f805f805f60a0868803121561200f575f80fd5b853561201a81611a30565b945060208601359350604086013561203181611a5b565b9250606086013561204181611a5b565b9150608086013561205181611a47565b809150509295509295909350565b5f805f60608486031215612071575f80fd5b833561207c81611a47565b9250602084013561208c81611a47565b9150604084013561209c81611a47565b809150509250925092565b5f8060e083850312156120b8575f80fd5b82356120c381611a30565b91506120d28460208501611d7a565b90509250929050565b5f805f606084860312156120ed575f80fd5b83356120f881611a30565b9250602084013561210881611a47565b9150604084013561209c81611e5f565b805161212381611a47565b919050565b5f60208284031215612138575f80fd5b8151610f6e81611a47565b805161212381611a5b565b5f6020828403121561215e575f80fd5b8151610f6e81611a5b565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610caf57610caf612169565b805161212381611f8c565b5f602082840312156121ab575f80fd5b8151610f6e81611f8c565b5f602082840312156121c6575f80fd5b5051919050565b8082028115828204841417610caf57610caf612169565b5f826121fe57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215612227575f80fd5b8151610f6e81611ee2565b5f61223f611b2f84611afc565b9050828152838383011115612252575f80fd5b8282602083015e5f602084830101529392505050565b5f60208284031215612278575f80fd5b81516001600160401b0381111561228d575f80fd5b82016060818503121561229e575f80fd5b6122a6611a81565b81516122b181611a47565b815260208201516122c181611a5b565b602082015260408201516001600160401b038111156122de575f80fd5b80830192505084601f8301126122f2575f80fd5b61230185835160208501612232565b6040820152949350505050565b5f82601f83011261231d575f80fd5b610f6e83835160208501612232565b805161212381611e74565b5f60208284031215612347575f80fd5b81516001600160401b0381111561235c575f80fd5b8201610140818503121561236e575f80fd5b612376611aa9565b8151815261238660208301612143565b602082015260408201516001600160401b038111156123a3575f80fd5b6123af8682850161230e565b6040830152506123c160608301612143565b606082015260808201516001600160401b038111156123de575f80fd5b6123ea8682850161230e565b6080830152506123fc60a08301612118565b60a082015261240d60c0830161232c565b60c082015260e082810151908201526124296101008301612190565b61010082015261243c6101208301612143565b610120820152949350505050565b5f8060c0838503121561245b575f80fd5b825161246681611a47565b9150603f83018413612476575f80fd5b61248060a0611acc565b8060c0850186811115612491575f80fd5b602086015b818110156124b75780516124a981611a47565b845260209384019301612496565b5093969095509350505050565b5f602082840312156124d4575f80fd5b8151610f6e81611e5f56fea26469706673582212207076b20e5371d6a7dabf26147e98e2c419c49d8f266a5ae5f1fac7a65dc1f79d64736f6c634300081a0033",
   "linkReferences": {
     "contracts/type/Amount.sol": {
       "AmountLib": [
         {
           "length": 20,
-          "start": 955
+          "start": 694
+        },
+        {
+          "length": 20,
+          "start": 1511
+        },
+        {
+          "length": 20,
+          "start": 1644
         },
         {
           "length": 20,
-          "start": 1772
+          "start": 1825
         },
         {
           "length": 20,
-          "start": 1905
+          "start": 3133
         },
         {
           "length": 20,
-          "start": 2086
+          "start": 4224
         },
         {
           "length": 20,
-          "start": 3926
+          "start": 4357
         },
         {
           "length": 20,
-          "start": 4065
+          "start": 6549
         }
       ]
     },
@@ -602,7 +665,7 @@
       "RiskIdLib": [
         {
           "length": 20,
-          "start": 4187
+          "start": 4479
         }
       ]
     },
@@ -610,39 +673,39 @@
       "TimestampLib": [
         {
           "length": 20,
-          "start": 1123
+          "start": 862
         },
         {
           "length": 20,
-          "start": 3774
+          "start": 4072
         },
         {
           "length": 20,
-          "start": 4720
+          "start": 5003
         },
         {
           "length": 20,
-          "start": 5133
+          "start": 5416
         },
         {
           "length": 20,
-          "start": 5247
+          "start": 5530
         },
         {
           "length": 20,
-          "start": 5499
+          "start": 5782
         },
         {
           "length": 20,
-          "start": 5766
+          "start": 6049
         },
         {
           "length": 20,
-          "start": 5880
+          "start": 6163
         },
         {
           "length": 20,
-          "start": 5974
+          "start": 6257
         }
       ]
     }
@@ -652,27 +715,35 @@
       "AmountLib": [
         {
           "length": 20,
-          "start": 903
+          "start": 642
+        },
+        {
+          "length": 20,
+          "start": 1459
+        },
+        {
+          "length": 20,
+          "start": 1592
         },
         {
           "length": 20,
-          "start": 1720
+          "start": 1773
         },
         {
           "length": 20,
-          "start": 1853
+          "start": 3081
         },
         {
           "length": 20,
-          "start": 2034
+          "start": 4172
         },
         {
           "length": 20,
-          "start": 3874
+          "start": 4305
         },
         {
           "length": 20,
-          "start": 4013
+          "start": 6497
         }
       ]
     },
@@ -680,7 +751,7 @@
       "RiskIdLib": [
         {
           "length": 20,
-          "start": 4135
+          "start": 4427
         }
       ]
     },
@@ -688,39 +759,39 @@
       "TimestampLib": [
         {
           "length": 20,
-          "start": 1071
+          "start": 810
         },
         {
           "length": 20,
-          "start": 3722
+          "start": 4020
         },
         {
           "length": 20,
-          "start": 4668
+          "start": 4951
         },
         {
           "length": 20,
-          "start": 5081
+          "start": 5364
         },
         {
           "length": 20,
-          "start": 5195
+          "start": 5478
         },
         {
           "length": 20,
-          "start": 5447
+          "start": 5730
         },
         {
           "length": 20,
-          "start": 5714
+          "start": 5997
         },
         {
           "length": 20,
-          "start": 5828
+          "start": 6111
         },
         {
           "length": 20,
-          "start": 5922
+          "start": 6205
         }
       ]
     }

package/artifacts/contracts/examples/flight/FlightMessageVerifier.sol/FlightMessageVerifier.dbg.json

@@ -1,4 +1,4 @@
 {
   "_format": "hh-sol-dbg-1",
-  "buildInfo": "../../../../build-info/e9e907a9a5511c407d8ab8cf6d463e70.json"
+  "buildInfo": "../../../../build-info/38a0d402cb6c5e6e5506932a8081a691.json"
 }

package/artifacts/contracts/examples/flight/FlightNft.sol/FlightNft.dbg.json

@@ -0,0 +1,4 @@
+{
+  "_format": "hh-sol-dbg-1",
+  "buildInfo": "../../../../build-info/38a0d402cb6c5e6e5506932a8081a691.json"
+}