{
  "_format": "hh-sol-artifact-1",
  "contractName": "EchidnaFuzzBurnGas",
  "sourceName": "contracts/echidna/FuzzBurn.sol",
  "abi": [
    {
      "inputs": [],
      "name": "echidna_burn_gas",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "_value",
          "type": "uint256"
        }
      ],
      "name": "testGas",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b50610635806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063483b80af1461003b578063f94336dd14610050575b600080fd5b61004e610049366004610499565b61006b565b005b60005460ff1615604051901515815260200160405180910390f35b627a1200600061007c8382846100da565b905060005a905061008c8261012f565b60005a90508282820311806100a2575081838303115b156100d357600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790555b5050505050565b60006100e784848461015d565b90506101286040518060400160405280600c81526020017f426f756e6420526573756c74000000000000000000000000000000000000000081525082610399565b9392505050565b6000805a90505b825a61014290836104e1565b101561015857610151826104f8565b9150610136565b505050565b6000818311156101f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603e60248201527f5374645574696c7320626f756e642875696e743235362c75696e743235362c7560448201527f696e74323536293a204d6178206973206c657373207468616e206d696e2e0000606482015260840160405180910390fd5b8284101580156102035750818411155b1561020f575082610128565b600061021b84846104e1565b610226906001610530565b90506003851115801561023857508481115b1561024f576102478585610530565b915050610128565b61027a60037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104e1565b85101580156102b157506102ae857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104e1565b81115b156102ea576102e0857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104e1565b61024790846104e1565b828511156103405760006102fe84876104e1565b9050600061030c8383610548565b90508060000361032157849350505050610128565b600161032d8288610530565b61033791906104e1565b93505050610391565b8385101561039157600061035486866104e1565b905060006103628383610548565b90508060000361037757859350505050610128565b61038181866104e1565b61038c906001610530565b935050505b509392505050565b60006a636f6e736f6c652e6c6f6773ffffffffffffffffffffffffffffffffffffffff1683836040516024016103d09291906105b3565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529181526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fb60e72cc0000000000000000000000000000000000000000000000000000000017905251610451919061060c565b600060405180830381855afa9150503d806000811461048c576040519150601f19603f3d011682016040523d82523d6000602084013e610491565b606091505b505050505050565b6000602082840312156104ab57600080fd5b5035919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156104f3576104f36104b2565b500390565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610529576105296104b2565b5060010190565b60008219821115610543576105436104b2565b500190565b60008261057e577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500690565b60005b8381101561059e578181015183820152602001610586565b838111156105ad576000848401525b50505050565b60408152600083518060408401526105d2816060850160208801610583565b602083019390935250601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01601606001919050565b6000825161061e818460208701610583565b919091019291505056fea164736f6c634300080f000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100365760003560e01c8063483b80af1461003b578063f94336dd14610050575b600080fd5b61004e610049366004610499565b61006b565b005b60005460ff1615604051901515815260200160405180910390f35b627a1200600061007c8382846100da565b905060005a905061008c8261012f565b60005a90508282820311806100a2575081838303115b156100d357600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790555b5050505050565b60006100e784848461015d565b90506101286040518060400160405280600c81526020017f426f756e6420526573756c74000000000000000000000000000000000000000081525082610399565b9392505050565b6000805a90505b825a61014290836104e1565b101561015857610151826104f8565b9150610136565b505050565b6000818311156101f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603e60248201527f5374645574696c7320626f756e642875696e743235362c75696e743235362c7560448201527f696e74323536293a204d6178206973206c657373207468616e206d696e2e0000606482015260840160405180910390fd5b8284101580156102035750818411155b1561020f575082610128565b600061021b84846104e1565b610226906001610530565b90506003851115801561023857508481115b1561024f576102478585610530565b915050610128565b61027a60037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104e1565b85101580156102b157506102ae857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104e1565b81115b156102ea576102e0857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104e1565b61024790846104e1565b828511156103405760006102fe84876104e1565b9050600061030c8383610548565b90508060000361032157849350505050610128565b600161032d8288610530565b61033791906104e1565b93505050610391565b8385101561039157600061035486866104e1565b905060006103628383610548565b90508060000361037757859350505050610128565b61038181866104e1565b61038c906001610530565b935050505b509392505050565b60006a636f6e736f6c652e6c6f6773ffffffffffffffffffffffffffffffffffffffff1683836040516024016103d09291906105b3565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529181526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fb60e72cc0000000000000000000000000000000000000000000000000000000017905251610451919061060c565b600060405180830381855afa9150503d806000811461048c576040519150601f19603f3d011682016040523d82523d6000602084013e610491565b606091505b505050505050565b6000602082840312156104ab57600080fd5b5035919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156104f3576104f36104b2565b500390565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610529576105296104b2565b5060010190565b60008219821115610543576105436104b2565b500190565b60008261057e577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500690565b60005b8381101561059e578181015183820152602001610586565b838111156105ad576000848401525b50505050565b60408152600083518060408401526105d2816060850160208801610583565b602083019390935250601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01601606001919050565b6000825161061e818460208701610583565b919091019291505056fea164736f6c634300080f000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}