@etherisc/gif-next 3.0.0-d7939fe-905 → 3.0.0-ed516f2-751

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

@@ -0,0 +1,604 @@
+{
+  "_format": "hh-sol-artifact-1",
+  "contractName": "FlightLib",
+  "sourceName": "contracts/examples/flight/FlightLib.sol",
+  "abi": [
+    {
+      "inputs": [
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "maxArrivalTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Seconds",
+          "name": "maxDuration",
+          "type": "uint40"
+        }
+      ],
+      "name": "ErrorFlightProductArrivalAfterMaxFlightDuration",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        }
+      ],
+      "name": "ErrorFlightProductArrivalBeforeDepartureTime",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "now",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Seconds",
+          "name": "maxTimeBeforeDeparture",
+          "type": "uint40"
+        }
+      ],
+      "name": "ErrorFlightProductDepartureAfterMaxTimeBeforeDeparture",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "now",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Seconds",
+          "name": "minTimeBeforeDeparture",
+          "type": "uint40"
+        }
+      ],
+      "name": "ErrorFlightProductDepartureBeforeMinTimeBeforeDeparture",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "uint256",
+          "name": "observations",
+          "type": "uint256"
+        },
+        {
+          "internalType": "uint256",
+          "name": "minObservations",
+          "type": "uint256"
+        }
+      ],
+      "name": "ErrorFlightProductNotEnoughObservations",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "Amount",
+          "name": "premiumAmount",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Amount",
+          "name": "maxPremium",
+          "type": "uint96"
+        }
+      ],
+      "name": "ErrorFlightProductPremiumAmountTooLarge",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "Amount",
+          "name": "premiumAmount",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Amount",
+          "name": "minPremium",
+          "type": "uint96"
+        }
+      ],
+      "name": "ErrorFlightProductPremiumAmountTooSmall",
+      "type": "error"
+    },
+    {
+      "anonymous": false,
+      "inputs": [
+        {
+          "indexed": false,
+          "internalType": "RequestId",
+          "name": "requestId",
+          "type": "uint64"
+        },
+        {
+          "indexed": false,
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
+        {
+          "indexed": false,
+          "internalType": "bytes1",
+          "name": "status",
+          "type": "bytes1"
+        },
+        {
+          "indexed": false,
+          "internalType": "int256",
+          "name": "delayMinutes",
+          "type": "int256"
+        }
+      ],
+      "name": "LogErrorUnexpectedStatus",
+      "type": "event"
+    },
+    {
+      "anonymous": false,
+      "inputs": [
+        {
+          "indexed": false,
+          "internalType": "RequestId",
+          "name": "requestId",
+          "type": "uint64"
+        },
+        {
+          "indexed": false,
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
+        {
+          "indexed": false,
+          "internalType": "bytes1",
+          "name": "status",
+          "type": "bytes1"
+        }
+      ],
+      "name": "LogErrorUnprocessableStatus",
+      "type": "event"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract FlightProduct",
+          "name": "flightProduct",
+          "type": "FlightProduct"
+        },
+        {
+          "internalType": "Amount",
+          "name": "premium",
+          "type": "uint96"
+        },
+        {
+          "internalType": "uint256[6]",
+          "name": "statistics",
+          "type": "uint256[6]"
+        }
+      ],
+      "name": "calculatePayoutAmounts",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "weight",
+          "type": "uint256"
+        },
+        {
+          "internalType": "Amount[5]",
+          "name": "payoutAmounts",
+          "type": "uint96[5]"
+        },
+        {
+          "internalType": "Amount",
+          "name": "sumInsuredAmount",
+          "type": "uint96"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract FlightProduct",
+          "name": "flightProduct",
+          "type": "FlightProduct"
+        },
+        {
+          "internalType": "uint256[6]",
+          "name": "statistics",
+          "type": "uint256[6]"
+        }
+      ],
+      "name": "calculateWeight",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "weight",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract FlightProduct",
+          "name": "flightProduct",
+          "type": "FlightProduct"
+        },
+        {
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Amount",
+          "name": "premiumAmount",
+          "type": "uint96"
+        },
+        {
+          "internalType": "uint256[6]",
+          "name": "statistics",
+          "type": "uint256[6]"
+        }
+      ],
+      "name": "checkApplicationDataAndSignature",
+      "outputs": [],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract InstanceReader",
+          "name": "reader",
+          "type": "InstanceReader"
+        },
+        {
+          "internalType": "NftId",
+          "name": "productNftId",
+          "type": "uint96"
+        },
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        }
+      ],
+      "name": "getFlightRisk",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "exists",
+          "type": "bool"
+        },
+        {
+          "components": [
+            {
+              "internalType": "Str",
+              "name": "flightData",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "departureTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "arrivalTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Amount",
+              "name": "sumOfSumInsuredAmounts",
+              "type": "uint96"
+            },
+            {
+              "internalType": "bytes1",
+              "name": "status",
+              "type": "bytes1"
+            },
+            {
+              "internalType": "int256",
+              "name": "delayMinutes",
+              "type": "int256"
+            }
+          ],
+          "internalType": "struct FlightProduct.FlightRisk",
+          "name": "flightRisk",
+          "type": "tuple"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract InstanceReader",
+          "name": "reader",
+          "type": "InstanceReader"
+        },
+        {
+          "internalType": "NftId",
+          "name": "productNftId",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        }
+      ],
+      "name": "getFlightRisk",
+      "outputs": [
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
+        {
+          "internalType": "bool",
+          "name": "exists",
+          "type": "bool"
+        },
+        {
+          "components": [
+            {
+              "internalType": "Str",
+              "name": "flightData",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "departureTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "arrivalTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Amount",
+              "name": "sumOfSumInsuredAmounts",
+              "type": "uint96"
+            },
+            {
+              "internalType": "bytes1",
+              "name": "status",
+              "type": "bytes1"
+            },
+            {
+              "internalType": "int256",
+              "name": "delayMinutes",
+              "type": "int256"
+            }
+          ],
+          "internalType": "struct FlightProduct.FlightRisk",
+          "name": "flightRisk",
+          "type": "tuple"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "NftId",
+          "name": "productNftId",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        }
+      ],
+      "name": "getRiskId",
+      "outputs": [
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    }
+  ],
+  "bytecode": "0x611eb4610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe7300000000000000000000000000000000000000003014608060405260043610610090575f3560e01c80637c93ab11116100635780637c93ab111461012657806381def949146101525780638a37ab6314610174578063bb2d4851146101ab575f80fd5b80630872eae21461009457806319b9d5ba146100a957806355d166e1146100d357806358032400146100f5575b5f80fd5b6100a76100a2366004611789565b6101cc565b005b6100bc6100b7366004611811565b6101e0565b6040516100ca9291906118b0565b60405180910390f35b6100e66100e13660046118c6565b61032b565b6040516100ca9392919061190c565b818015610100575f80fd5b5061011461010f366004611971565b61083b565b60405160ff90911681526020016100ca565b6101396101343660046119cb565b610a0a565b6040516001600160c01b031990911681526020016100ca565b6101656101603660046119f5565b610a21565b6040516100ca93929190611a59565b81801561017f575f80fd5b5061019361018e366004611ab5565b610b31565b6040516001600160601b0390911681526020016100ca565b6101be6101b9366004611b44565b610b6c565b6040519081526020016100ca565b6101d886838587610dc5565b505050505050565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260405163028106fd60e01b81526001600160601b03851660048201526001600160c01b0319841660248201526001600160a01b0386169063028106fd90604401602060405180830381865afa15801561026b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061028f9190611b78565b915081156103235760405163887b1fa960e01b81526001600160c01b0319841660048201526001600160a01b0386169063887b1fa9906024015f60405180830381865afa1580156102e2573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f191682016040526103099190810190611b97565b604001518060200190518101906103209190611c77565b90505b935093915050565b5f610334611671565b5f61039e85876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610375573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103999190611d10565b6114e8565b156104355784866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103e0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104049190611d10565b6040516313f3ed4560e11b81526001600160601b039283166004820152911660248201526044015b60405180910390fd5b61049e85876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610475573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104999190611d10565b611573565b156105305784866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105049190611d10565b60405163f778558360e01b81526001600160601b0392831660048201529116602482015260440161042c565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af4158015610577573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059b9190611d10565b90506105a78685610b6c565b92505f5b6005811015610831575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c66105ea876001611d3f565b6040518263ffffffff1660e01b815260040161060891815260200190565b602060405180830381865afa158015610623573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106479190611d52565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af41580156106a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c89190611d6d565b6106d29190611d84565b6106de90612710611d84565b6106e89190611d9b565b6040518263ffffffff1660e01b815260040161070691815260200190565b602060405180830381865af4158015610721573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107459190611d10565b905061078781896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610475573d5f803e3d5ffd5b156107ef57876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107c8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ec9190611d10565b90505b6107f98184611573565b15610802578092505b8084836005811061081557610815611dba565b6001600160601b039092166020929092020152506001016105ab565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906108695750604160f81b6001600160f81b0319841614155b80156108835750604360f81b6001600160f81b0319841614155b801561089d5750601160fa1b6001600160f81b0319841614155b15610908576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f10a71fc00c647daac16f739c85fb09cb0693bf51f97ce89bffc03ae1c68dc29d906060015b60405180910390a1610a02565b6001600160f81b03198316604160f81b03610981576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527f92cc6b14897b8416df8afd6ed7b6b0bf7c98f549f3ed1ff260803dee0d504b34906080016108fb565b6001600160f81b03198316604360f81b0361099e57506003610a02565b6001600160f81b03198316601160fa1b036109bb57506004610a02565b600f82121580156109cc5750601e82125b156109d857505f610a02565b601e82121580156109e95750602d82125b156109f657506001610a02565b602d8212610a02575060025b949350505050565b5f80610a15836115bd565b9050610a0284826115ee565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a081018290528190610a5d8787610a0a565b9250610a6a8888856101e0565b909250905081610b26576040805160c08101825287815264ffffffffff80881660208301528616818301529051632620eecb60e11b81525f6004820152606082019073__$3bac17678db7ae928afa209f2f44deec9c$__90634c41dd9690602401602060405180830381865af4158015610ae6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b0a9190611d10565b6001600160601b031681525f6020820181905260409091015290505b955095509592505050565b5f8083806020019051810190610b479190611dce565b915050808360ff1660058110610b5f57610b5f611dba565b6020020151949350505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ba9573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bcd9190611d6d565b82511015610c5e57815f6020020151836001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c18573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c3c9190611d6d565b6040516314d8c02360e01b81526004810192909252602482015260440161042c565b505f60015b6006811015610d23578251838260068110610c8057610c80611dba565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610cc8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cec9190611d52565b60ff16610cf99190611d84565b610d0590612710611d84565b610d0f9190611d9b565b610d199083611d3f565b9150600101610c63565b50805f03610d3d578151610d3a90620186a0611d9b565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d7b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d9f9190611d6d565b610daa906064611d3f565b610db49083611d84565b610dbe9190611d9b565b9392505050565b610e0583856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610375573d5f803e3d5ffd5b15610e475782846001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103e0573d5f803e3d5ffd5b610e8783856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610475573d5f803e3d5ffd5b15610ec95782846001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e0573d5f803e3d5ffd5b64ffffffffff80821690831611610f0457604051630e012a2160e31b815264ffffffffff80831660048301528316602482015260440161042c565b611006828264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f68573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f8c9190611e48565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af4158015610fd3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ff79190611e48565b64ffffffffff90811691161190565b156110a0578181856001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611049573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061106d9190611e48565b60405163e3c2fc1960e01b815264ffffffffff93841660048201529183166024830152909116604482015260640161042c565b61120c8173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156110eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061110f9190611e48565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561116e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111929190611e48565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af41580156111d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111fd9190611e48565b64ffffffffff90811691161090565b15611310578073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611259573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061127d9190611e48565b856001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112dd9190611e48565b60405163b365623960e01b815264ffffffffff93841660048201529183166024830152909116604482015260640161042c565b6113de8173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561135b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061137f9190611e48565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f68573d5f803e3d5ffd5b156114e2578073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561142b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061144f9190611e48565b856001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561148b573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114af9190611e48565b6040516342e4fb0b60e11b815264ffffffffff93841660048201529183166024830152909116604482015260640161042c565b50505050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d62906044015b602060405180830381865af4158015611549573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610dbe9190611b78565b92915050565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c9060440161152e565b5f816040516020016115d191815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af415801561164d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610dbe9190611e63565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b03811681146116a3575f80fd5b50565b64ffffffffff811681146116a3575f80fd5b6001600160601b03811681146116a3575f80fd5b634e487b7160e01b5f52604160045260245ffd5b6040516060810167ffffffffffffffff81118282101715611703576117036116cc565b60405290565b604051601f8201601f1916810167ffffffffffffffff81118282101715611732576117326116cc565b604052919050565b5f82601f830112611749575f80fd5b61175360c0611709565b8060c0840185811115611764575f80fd5b845b8181101561177e578035845260209384019301611766565b509095945050505050565b5f805f805f80610160878903121561179f575f80fd5b86356117aa8161168f565b95506020870135945060408701356117c1816116a6565b935060608701356117d1816116a6565b925060808701356117e1816116b8565b91506117f08860a0890161173a565b90509295509295509295565b6001600160c01b0319811681146116a3575f80fd5b5f805f60608486031215611823575f80fd5b833561182e8161168f565b9250602084013561183e816116b8565b9150604084013561184e816117fc565b809150509250925092565b8051825264ffffffffff602082015116602083015264ffffffffff60408201511660408301526001600160601b03606082015116606083015260ff60f81b608082015116608083015260a081015160a08301525050565b821515815260e08101610dbe6020830184611859565b5f805f61010084860312156118d9575f80fd5b83356118e48161168f565b925060208401356118f4816116b8565b9150611903856040860161173a565b90509250925092565b83815260e0810160208201845f5b60058110156119425781516001600160601b031683526020928301929091019060010161191a565b5050506001600160601b03831660c0830152949350505050565b6001600160f81b0319811681146116a3575f80fd5b5f805f8060808587031215611984575f80fd5b843567ffffffffffffffff8116811461199b575f80fd5b935060208501356119ab816117fc565b925060408501356119bb8161195c565b9396929550929360600135925050565b5f80604083850312156119dc575f80fd5b82356119e7816116b8565b946020939093013593505050565b5f805f805f60a08688031215611a09575f80fd5b8535611a148161168f565b94506020860135611a24816116b8565b9350604086013592506060860135611a3b816116a6565b91506080860135611a4b816116a6565b809150509295509295909350565b6001600160c01b03198416815282151560208201526101008101610a026040830184611859565b5f67ffffffffffffffff821115611a9957611a996116cc565b50601f01601f191660200190565b60ff811681146116a3575f80fd5b5f8060408385031215611ac6575f80fd5b823567ffffffffffffffff811115611adc575f80fd5b8301601f81018513611aec575f80fd5b8035611aff611afa82611a80565b611709565b818152866020838501011115611b13575f80fd5b816020840160208301375f602083830101528094505050506020830135611b3981611aa7565b809150509250929050565b5f8060e08385031215611b55575f80fd5b8235611b608161168f565b9150611b6f846020850161173a565b90509250929050565b5f60208284031215611b88575f80fd5b81518015158114610dbe575f80fd5b5f60208284031215611ba7575f80fd5b815167ffffffffffffffff811115611bbd575f80fd5b820160608185031215611bce575f80fd5b611bd66116e0565b8151611be1816116b8565b81526020820151611bf1816116a6565b6020820152604082015167ffffffffffffffff811115611c0f575f80fd5b80830192505084601f830112611c23575f80fd5b8151611c31611afa82611a80565b818152866020838601011115611c45575f80fd5b8160208501602083015e5f918101602001919091526040820152949350505050565b8051611c728161195c565b919050565b5f60c0828403128015611c88575f80fd5b5060405160c0810167ffffffffffffffff81118282101715611cac57611cac6116cc565b604052825181526020830151611cc1816116a6565b60208201526040830151611cd4816116a6565b60408201526060830151611ce7816116b8565b6060820152611cf860808401611c67565b608082015260a0928301519281019290925250919050565b5f60208284031215611d20575f80fd5b8151610dbe816116b8565b634e487b7160e01b5f52601160045260245ffd5b8082018082111561156d5761156d611d2b565b5f60208284031215611d62575f80fd5b8151610dbe81611aa7565b5f60208284031215611d7d575f80fd5b5051919050565b808202811582820484141761156d5761156d611d2b565b5f82611db557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f8060c08385031215611ddf575f80fd5b8251611dea816116b8565b9150603f83018413611dfa575f80fd5b611e0460a0611709565b8060c0850186811115611e15575f80fd5b602086015b81811015611e3b578051611e2d816116b8565b845260209384019301611e1a565b5093969095509350505050565b5f60208284031215611e58575f80fd5b8151610dbe816116a6565b5f60208284031215611e73575f80fd5b8151610dbe816117fc56fea2646970667358221220aade20dd972a9b086c4d839b2fd6b2a1342273bd19b4464d48f7f23ea323c01e64736f6c634300081a0033",
+  "deployedBytecode": "0x7300000000000000000000000000000000000000003014608060405260043610610090575f3560e01c80637c93ab11116100635780637c93ab111461012657806381def949146101525780638a37ab6314610174578063bb2d4851146101ab575f80fd5b80630872eae21461009457806319b9d5ba146100a957806355d166e1146100d357806358032400146100f5575b5f80fd5b6100a76100a2366004611789565b6101cc565b005b6100bc6100b7366004611811565b6101e0565b6040516100ca9291906118b0565b60405180910390f35b6100e66100e13660046118c6565b61032b565b6040516100ca9392919061190c565b818015610100575f80fd5b5061011461010f366004611971565b61083b565b60405160ff90911681526020016100ca565b6101396101343660046119cb565b610a0a565b6040516001600160c01b031990911681526020016100ca565b6101656101603660046119f5565b610a21565b6040516100ca93929190611a59565b81801561017f575f80fd5b5061019361018e366004611ab5565b610b31565b6040516001600160601b0390911681526020016100ca565b6101be6101b9366004611b44565b610b6c565b6040519081526020016100ca565b6101d886838587610dc5565b505050505050565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260405163028106fd60e01b81526001600160601b03851660048201526001600160c01b0319841660248201526001600160a01b0386169063028106fd90604401602060405180830381865afa15801561026b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061028f9190611b78565b915081156103235760405163887b1fa960e01b81526001600160c01b0319841660048201526001600160a01b0386169063887b1fa9906024015f60405180830381865afa1580156102e2573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f191682016040526103099190810190611b97565b604001518060200190518101906103209190611c77565b90505b935093915050565b5f610334611671565b5f61039e85876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610375573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103999190611d10565b6114e8565b156104355784866001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103e0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104049190611d10565b6040516313f3ed4560e11b81526001600160601b039283166004820152911660248201526044015b60405180910390fd5b61049e85876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610475573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104999190611d10565b611573565b156105305784866001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105049190611d10565b60405163f778558360e01b81526001600160601b0392831660048201529116602482015260440161042c565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af4158015610577573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059b9190611d10565b90506105a78685610b6c565b92505f5b6005811015610831575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c66105ea876001611d3f565b6040518263ffffffff1660e01b815260040161060891815260200190565b602060405180830381865afa158015610623573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106479190611d52565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af41580156106a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c89190611d6d565b6106d29190611d84565b6106de90612710611d84565b6106e89190611d9b565b6040518263ffffffff1660e01b815260040161070691815260200190565b602060405180830381865af4158015610721573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107459190611d10565b905061078781896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610475573d5f803e3d5ffd5b156107ef57876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107c8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ec9190611d10565b90505b6107f98184611573565b15610802578092505b8084836005811061081557610815611dba565b6001600160601b039092166020929092020152506001016105ab565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906108695750604160f81b6001600160f81b0319841614155b80156108835750604360f81b6001600160f81b0319841614155b801561089d5750601160fa1b6001600160f81b0319841614155b15610908576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f10a71fc00c647daac16f739c85fb09cb0693bf51f97ce89bffc03ae1c68dc29d906060015b60405180910390a1610a02565b6001600160f81b03198316604160f81b03610981576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527f92cc6b14897b8416df8afd6ed7b6b0bf7c98f549f3ed1ff260803dee0d504b34906080016108fb565b6001600160f81b03198316604360f81b0361099e57506003610a02565b6001600160f81b03198316601160fa1b036109bb57506004610a02565b600f82121580156109cc5750601e82125b156109d857505f610a02565b601e82121580156109e95750602d82125b156109f657506001610a02565b602d8212610a02575060025b949350505050565b5f80610a15836115bd565b9050610a0284826115ee565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a081018290528190610a5d8787610a0a565b9250610a6a8888856101e0565b909250905081610b26576040805160c08101825287815264ffffffffff80881660208301528616818301529051632620eecb60e11b81525f6004820152606082019073__$3bac17678db7ae928afa209f2f44deec9c$__90634c41dd9690602401602060405180830381865af4158015610ae6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b0a9190611d10565b6001600160601b031681525f6020820181905260409091015290505b955095509592505050565b5f8083806020019051810190610b479190611dce565b915050808360ff1660058110610b5f57610b5f611dba565b6020020151949350505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ba9573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bcd9190611d6d565b82511015610c5e57815f6020020151836001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c18573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c3c9190611d6d565b6040516314d8c02360e01b81526004810192909252602482015260440161042c565b505f60015b6006811015610d23578251838260068110610c8057610c80611dba565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610cc8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cec9190611d52565b60ff16610cf99190611d84565b610d0590612710611d84565b610d0f9190611d9b565b610d199083611d3f565b9150600101610c63565b50805f03610d3d578151610d3a90620186a0611d9b565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d7b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d9f9190611d6d565b610daa906064611d3f565b610db49083611d84565b610dbe9190611d9b565b9392505050565b610e0583856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610375573d5f803e3d5ffd5b15610e475782846001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103e0573d5f803e3d5ffd5b610e8783856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa158015610475573d5f803e3d5ffd5b15610ec95782846001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e0573d5f803e3d5ffd5b64ffffffffff80821690831611610f0457604051630e012a2160e31b815264ffffffffff80831660048301528316602482015260440161042c565b611006828264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f68573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f8c9190611e48565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af4158015610fd3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ff79190611e48565b64ffffffffff90811691161190565b156110a0578181856001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611049573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061106d9190611e48565b60405163e3c2fc1960e01b815264ffffffffff93841660048201529183166024830152909116604482015260640161042c565b61120c8173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156110eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061110f9190611e48565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561116e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111929190611e48565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af41580156111d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111fd9190611e48565b64ffffffffff90811691161090565b15611310578073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af4158015611259573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061127d9190611e48565b856001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112dd9190611e48565b60405163b365623960e01b815264ffffffffff93841660048201529183166024830152909116604482015260640161042c565b6113de8173__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561135b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061137f9190611e48565b64ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f68573d5f803e3d5ffd5b156114e2578073__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af415801561142b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061144f9190611e48565b856001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561148b573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114af9190611e48565b6040516342e4fb0b60e11b815264ffffffffff93841660048201529183166024830152909116604482015260640161042c565b50505050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d62906044015b602060405180830381865af4158015611549573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610dbe9190611b78565b92915050565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c9060440161152e565b5f816040516020016115d191815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af415801561164d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610dbe9190611e63565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b03811681146116a3575f80fd5b50565b64ffffffffff811681146116a3575f80fd5b6001600160601b03811681146116a3575f80fd5b634e487b7160e01b5f52604160045260245ffd5b6040516060810167ffffffffffffffff81118282101715611703576117036116cc565b60405290565b604051601f8201601f1916810167ffffffffffffffff81118282101715611732576117326116cc565b604052919050565b5f82601f830112611749575f80fd5b61175360c0611709565b8060c0840185811115611764575f80fd5b845b8181101561177e578035845260209384019301611766565b509095945050505050565b5f805f805f80610160878903121561179f575f80fd5b86356117aa8161168f565b95506020870135945060408701356117c1816116a6565b935060608701356117d1816116a6565b925060808701356117e1816116b8565b91506117f08860a0890161173a565b90509295509295509295565b6001600160c01b0319811681146116a3575f80fd5b5f805f60608486031215611823575f80fd5b833561182e8161168f565b9250602084013561183e816116b8565b9150604084013561184e816117fc565b809150509250925092565b8051825264ffffffffff602082015116602083015264ffffffffff60408201511660408301526001600160601b03606082015116606083015260ff60f81b608082015116608083015260a081015160a08301525050565b821515815260e08101610dbe6020830184611859565b5f805f61010084860312156118d9575f80fd5b83356118e48161168f565b925060208401356118f4816116b8565b9150611903856040860161173a565b90509250925092565b83815260e0810160208201845f5b60058110156119425781516001600160601b031683526020928301929091019060010161191a565b5050506001600160601b03831660c0830152949350505050565b6001600160f81b0319811681146116a3575f80fd5b5f805f8060808587031215611984575f80fd5b843567ffffffffffffffff8116811461199b575f80fd5b935060208501356119ab816117fc565b925060408501356119bb8161195c565b9396929550929360600135925050565b5f80604083850312156119dc575f80fd5b82356119e7816116b8565b946020939093013593505050565b5f805f805f60a08688031215611a09575f80fd5b8535611a148161168f565b94506020860135611a24816116b8565b9350604086013592506060860135611a3b816116a6565b91506080860135611a4b816116a6565b809150509295509295909350565b6001600160c01b03198416815282151560208201526101008101610a026040830184611859565b5f67ffffffffffffffff821115611a9957611a996116cc565b50601f01601f191660200190565b60ff811681146116a3575f80fd5b5f8060408385031215611ac6575f80fd5b823567ffffffffffffffff811115611adc575f80fd5b8301601f81018513611aec575f80fd5b8035611aff611afa82611a80565b611709565b818152866020838501011115611b13575f80fd5b816020840160208301375f602083830101528094505050506020830135611b3981611aa7565b809150509250929050565b5f8060e08385031215611b55575f80fd5b8235611b608161168f565b9150611b6f846020850161173a565b90509250929050565b5f60208284031215611b88575f80fd5b81518015158114610dbe575f80fd5b5f60208284031215611ba7575f80fd5b815167ffffffffffffffff811115611bbd575f80fd5b820160608185031215611bce575f80fd5b611bd66116e0565b8151611be1816116b8565b81526020820151611bf1816116a6565b6020820152604082015167ffffffffffffffff811115611c0f575f80fd5b80830192505084601f830112611c23575f80fd5b8151611c31611afa82611a80565b818152866020838601011115611c45575f80fd5b8160208501602083015e5f918101602001919091526040820152949350505050565b8051611c728161195c565b919050565b5f60c0828403128015611c88575f80fd5b5060405160c0810167ffffffffffffffff81118282101715611cac57611cac6116cc565b604052825181526020830151611cc1816116a6565b60208201526040830151611cd4816116a6565b60408201526060830151611ce7816116b8565b6060820152611cf860808401611c67565b608082015260a0928301519281019290925250919050565b5f60208284031215611d20575f80fd5b8151610dbe816116b8565b634e487b7160e01b5f52601160045260245ffd5b8082018082111561156d5761156d611d2b565b5f60208284031215611d62575f80fd5b8151610dbe81611aa7565b5f60208284031215611d7d575f80fd5b5051919050565b808202811582820484141761156d5761156d611d2b565b5f82611db557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f8060c08385031215611ddf575f80fd5b8251611dea816116b8565b9150603f83018413611dfa575f80fd5b611e0460a0611709565b8060c0850186811115611e15575f80fd5b602086015b81811015611e3b578051611e2d816116b8565b845260209384019301611e1a565b5093969095509350505050565b5f60208284031215611e58575f80fd5b8151610dbe816116a6565b5f60208284031215611e73575f80fd5b8151610dbe816117fc56fea2646970667358221220aade20dd972a9b086c4d839b2fd6b2a1342273bd19b4464d48f7f23ea323c01e64736f6c634300081a0033",
+  "linkReferences": {
+    "contracts/type/Amount.sol": {
+      "AmountLib": [
+        {
+          "length": 20,
+          "start": 1382
+        },
+        {
+          "length": 20,
+          "start": 1515
+        },
+        {
+          "length": 20,
+          "start": 1696
+        },
+        {
+          "length": 20,
+          "start": 2786
+        },
+        {
+          "length": 20,
+          "start": 5444
+        },
+        {
+          "length": 20,
+          "start": 5583
+        }
+      ]
+    },
+    "contracts/type/RiskId.sol": {
+      "RiskIdLib": [
+        {
+          "length": 20,
+          "start": 5705
+        }
+      ]
+    },
+    "contracts/type/Timestamp.sol": {
+      "TimestampLib": [
+        {
+          "length": 20,
+          "start": 3910
+        },
+        {
+          "length": 20,
+          "start": 4314
+        },
+        {
+          "length": 20,
+          "start": 4428
+        },
+        {
+          "length": 20,
+          "start": 4680
+        },
+        {
+          "length": 20,
+          "start": 4938
+        },
+        {
+          "length": 20,
+          "start": 5052
+        },
+        {
+          "length": 20,
+          "start": 5146
+        }
+      ]
+    }
+  },
+  "deployedLinkReferences": {
+    "contracts/type/Amount.sol": {
+      "AmountLib": [
+        {
+          "length": 20,
+          "start": 1330
+        },
+        {
+          "length": 20,
+          "start": 1463
+        },
+        {
+          "length": 20,
+          "start": 1644
+        },
+        {
+          "length": 20,
+          "start": 2734
+        },
+        {
+          "length": 20,
+          "start": 5392
+        },
+        {
+          "length": 20,
+          "start": 5531
+        }
+      ]
+    },
+    "contracts/type/RiskId.sol": {
+      "RiskIdLib": [
+        {
+          "length": 20,
+          "start": 5653
+        }
+      ]
+    },
+    "contracts/type/Timestamp.sol": {
+      "TimestampLib": [
+        {
+          "length": 20,
+          "start": 3858
+        },
+        {
+          "length": 20,
+          "start": 4262
+        },
+        {
+          "length": 20,
+          "start": 4376
+        },
+        {
+          "length": 20,
+          "start": 4628
+        },
+        {
+          "length": 20,
+          "start": 4886
+        },
+        {
+          "length": 20,
+          "start": 5000
+        },
+        {
+          "length": 20,
+          "start": 5094
+        }
+      ]
+    }
+  }
+}

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

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