{
  "_format": "hh-sol-artifact-1",
  "contractName": "EchidnaFuzzBurnEth",
  "sourceName": "contracts/echidna/FuzzBurn.sol",
  "abi": [
    {
      "inputs": [],
      "name": "echidna_burn_eth",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "_value",
          "type": "uint256"
        }
      ],
      "name": "testBurn",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b506105f1806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063c6fed4d11461003b578063da5b26cb14610056575b600080fd5b60005460ff1615604051901515815260200160405180910390f35b610069610064366004610485565b61006b565b005b4760006100798382846100be565b905061008481610113565b80820347146100b957600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790555b505050565b60006100cb84848461013d565b905061010c6040518060400160405280600c81526020017f426f756e6420526573756c74000000000000000000000000000000000000000081525082610379565b9392505050565b8060405161012090610479565b6040518091039082f09050801580156100b9573d6000803e3d6000fd5b6000818311156101d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603e60248201527f5374645574696c7320626f756e642875696e743235362c75696e743235362c7560448201527f696e74323536293a204d6178206973206c657373207468616e206d696e2e0000606482015260840160405180910390fd5b8284101580156101e35750818411155b156101ef57508261010c565b60006101fb84846104cd565b6102069060016104e4565b90506003851115801561021857508481115b1561022f5761022785856104e4565b91505061010c565b61025a60037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104cd565b8510158015610291575061028e857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104cd565b81115b156102ca576102c0857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104cd565b61022790846104cd565b828511156103205760006102de84876104cd565b905060006102ec83836104fc565b9050806000036103015784935050505061010c565b600161030d82886104e4565b61031791906104cd565b93505050610371565b8385101561037157600061033486866104cd565b9050600061034283836104fc565b9050806000036103575785935050505061010c565b61036181866104cd565b61036c9060016104e4565b935050505b509392505050565b60006a636f6e736f6c652e6c6f6773ffffffffffffffffffffffffffffffffffffffff1683836040516024016103b0929190610567565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529181526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fb60e72cc000000000000000000000000000000000000000000000000000000001790525161043191906105c0565b600060405180830381855afa9150503d806000811461046c576040519150601f19603f3d011682016040523d82523d6000602084013e610471565b606091505b505050505050565b6008806105dd83390190565b60006020828403121561049757600080fd5b5035919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156104df576104df61049e565b500390565b600082198211156104f7576104f761049e565b500190565b600082610532577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500690565b60005b8381101561055257818101518382015260200161053a565b83811115610561576000848401525b50505050565b6040815260008351806040840152610586816060850160208801610537565b602083019390935250601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01601606001919050565b600082516105d2818460208701610537565b919091019291505056fe608060405230fffea164736f6c634300080f000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100365760003560e01c8063c6fed4d11461003b578063da5b26cb14610056575b600080fd5b60005460ff1615604051901515815260200160405180910390f35b610069610064366004610485565b61006b565b005b4760006100798382846100be565b905061008481610113565b80820347146100b957600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790555b505050565b60006100cb84848461013d565b905061010c6040518060400160405280600c81526020017f426f756e6420526573756c74000000000000000000000000000000000000000081525082610379565b9392505050565b8060405161012090610479565b6040518091039082f09050801580156100b9573d6000803e3d6000fd5b6000818311156101d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603e60248201527f5374645574696c7320626f756e642875696e743235362c75696e743235362c7560448201527f696e74323536293a204d6178206973206c657373207468616e206d696e2e0000606482015260840160405180910390fd5b8284101580156101e35750818411155b156101ef57508261010c565b60006101fb84846104cd565b6102069060016104e4565b90506003851115801561021857508481115b1561022f5761022785856104e4565b91505061010c565b61025a60037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104cd565b8510158015610291575061028e857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104cd565b81115b156102ca576102c0857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6104cd565b61022790846104cd565b828511156103205760006102de84876104cd565b905060006102ec83836104fc565b9050806000036103015784935050505061010c565b600161030d82886104e4565b61031791906104cd565b93505050610371565b8385101561037157600061033486866104cd565b9050600061034283836104fc565b9050806000036103575785935050505061010c565b61036181866104cd565b61036c9060016104e4565b935050505b509392505050565b60006a636f6e736f6c652e6c6f6773ffffffffffffffffffffffffffffffffffffffff1683836040516024016103b0929190610567565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529181526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fb60e72cc000000000000000000000000000000000000000000000000000000001790525161043191906105c0565b600060405180830381855afa9150503d806000811461046c576040519150601f19603f3d011682016040523d82523d6000602084013e610471565b606091505b505050505050565b6008806105dd83390190565b60006020828403121561049757600080fd5b5035919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156104df576104df61049e565b500390565b600082198211156104f7576104f761049e565b500190565b600082610532577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500690565b60005b8381101561055257818101518382015260200161053a565b83811115610561576000848401525b50505050565b6040815260008351806040840152610586816060850160208801610537565b602083019390935250601f919091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01601606001919050565b600082516105d2818460208701610537565b919091019291505056fe608060405230fffea164736f6c634300080f000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}