run-campaigns.py

from argparse import ArgumentParser
from json import dumps, loads
import subprocess
import re
import time
import tempfile
import os

# We parse the command line arguments.
parser = ArgumentParser(description="run all fuzzing campaigns")
parser.add_argument(
    "--fuzzer-name",
    metavar="N",
    type=str,
    nargs="?",
    default="harvey",
    help="name of the fuzzer that should be used",
)
args = parser.parse_args()

fuzzer_name = args.fuzzer_name
docker_image = "harvey-cli:0.0.113"
fuzzer_exe = "../harvey-cli/harvey-cli"
if fuzzer_name == "echidna":
    docker_image = "ghcr.io/crytic/echidna/echidna:v2.1.1"
elif fuzzer_name == "foundry":
    docker_image = "ghcr.io/foundry-rs/foundry@sha256:e3ba202249cccdffafc0d0e90c43baca8f03e4b0d7e273c0d33b8a5e3cea1eb7"
elif fuzzer_name == "hybrid-echidna":
    docker_image = "hybrid-echidna:v0.0.2"
elif fuzzer_name == "ityfuzz":
    docker_image = "fuzzland/ityfuzz:v0.0.1"
time_limit = 28800
include_raw_output = False
maze_id_start = 0
maze_id_end = 5
rnd_seed_start = 0
rnd_seed_end = 8
cores_start = 1
cores_end = 41
memory_limit = 32000
# We have compiled each contract to get its creation bytecode (using solc 0.8.19+commit.7dd6d404 with 200 optimizer runs).
maze_code = dict(
    {
        0: "608060405234801561001057600080fd5b506139bc806100206000396000f3fe60806040526004361061003f5760003560e01c80639c7dc76d146100445780639e11e6091461006e578063b11691ec14610081578063bcbc275d14610094575b600080fd5b61005761005236600461385c565b6100a7565b60405160079190910b815260200160405180910390f35b61005761007c36600461385c565b610114565b61005761008f36600461385c565b610188565b6100576100a236600461385c565b6101f6565b600080546001600160401b03166100bd57600080fd5b600080546100d6906001906001600160401b0316613909565b6000805467ffffffffffffffff19166001600160401b03831617905590506101048a8a8a8a8a8a8a8a610250565b9150505b98975050505050505050565b60008054600160401b90046001600160401b031661013157600080fd5b6000805461015190600190600160401b90046001600160401b0316613909565b6000805467ffffffffffffffff60401b1916600160401b6001600160401b0384160217905590506101048a8a8a8a8a8a8a8a610250565b6000805481906101a990600160401b90046001600160401b03166001613930565b90506007816001600160401b0316106101c157600080fd5b6000805467ffffffffffffffff60401b1916600160401b6001600160401b038416021790556101048a8a8a8a8a8a8a8a610250565b600080548190610210906001600160401b03166001613930565b90506007816001600160401b03161061022857600080fd5b6000805467ffffffffffffffff19166001600160401b0383161790556101048a8a8a8a8a8a8a8a5b600080546001600160401b031615801561027a5750600054600160401b90046001600160401b0316155b1561028757506000610108565b6000546001600160401b03161580156102b25750600054600160401b90046001600160401b03166001145b156102bf57506001610108565b6000546001600160401b03161580156102ea5750600054600160401b90046001600160401b03166002145b1561044957846001600160401b0316896001600160401b031610610441578285026001600160401b0316856001600160401b031611156104415786601b026001600160401b0316896001600160401b031611156104415760146001600160401b03861611156104415760316001600160401b038316101561044157866007016001600160401b0316886001600160401b0316036104415760216001600160401b0387161161044157856016016001600160401b0316856001600160401b0316106104415781600c026001600160401b0316876001600160401b03161161044157816001600160401b0316886001600160401b03161015610441578387016001600160401b0316856001600160401b0316111561044157600080516020613967833981519152604051610431906020808252600190820152601960f91b604082015260600190565b60405180910390a1610441613950565b506002610108565b6000546001600160401b03161580156104745750600054600160401b90046001600160401b03166003145b156105ea578283016001600160401b0316826001600160401b0316116105e257866040026001600160401b0316866001600160401b0316116105e25760226001600160401b038616116105e25786601c026001600160401b0316896001600160401b0316106105e25760256001600160401b03861611156105e2578284026001600160401b0316846001600160401b0316106105e257826014026001600160401b0316826001600160401b0316036105e25760306001600160401b038816106105e2578889016001600160401b0316866001600160401b0316106105e25760046001600160401b038716116105e2578382016001600160401b0316826001600160401b031610156105e2576001600160401b038816603a146105e257602f6001600160401b038616106105e2576000805160206139678339815191526040516105d2906020808252600190820152603360f81b604082015260600190565b60405180910390a16105e2613950565b506003610108565b6000546001600160401b03161580156106155750600054600160401b90046001600160401b03166004145b15610719576001600160401b038716602514610711578388016001600160401b0316886001600160401b0316116107115760026001600160401b03891611156107115785600d026001600160401b0316896001600160401b031603610711578187026001600160401b0316876001600160401b03160361071157601b196001600160401b0386160161071157601f6001600160401b038716111561071157846028026001600160401b0316856001600160401b0316101561071157600080516020613967833981519152604051610701906020808252600190820152600d60fa1b604082015260600190565b60405180910390a1610711613950565b506004610108565b6000546001600160401b03161580156107445750600054600160401b90046001600160401b03166005145b156107c957876002016001600160401b0316836001600160401b0316146107c1578384026001600160401b0316856001600160401b0316036107c1576000805160206139678339815191526040516107b1906020808252600190820152603560f81b604082015260600190565b60405180910390a16107c1613950565b506005610108565b6000546001600160401b03161580156107f45750600054600160401b90046001600160401b03166006145b156108ef57836027026001600160401b0316836001600160401b0316106108e757846037026001600160401b0316856001600160401b0316106108e7578283026001600160401b0316856001600160401b0316116108e75784600c016001600160401b0316876001600160401b0316036108e757866012026001600160401b0316896001600160401b0316116108e75760396001600160401b038916106108e75760296001600160401b038416106108e7576000805160206139678339815191526040516108d7906020808252600190820152601b60f91b604082015260600190565b60405180910390a16108e7613950565b506006610108565b6000546001600160401b0316600114801561091a5750600054600160401b90046001600160401b0316155b1561092457600080fd5b6000546001600160401b031660011480156109515750600054600160401b90046001600160401b03166001145b15610a6e578383016001600160401b0316826001600160401b031611610a665786603e016001600160401b0316896001600160401b031610610a66578586026001600160401b0316876001600160401b031603610a665760186001600160401b038a1610610a66578282016001600160401b0316876001600160401b031610610a6657866001600160401b0316886001600160401b031610610a66578585026001600160401b0316886001600160401b031603610a6657866036026001600160401b0316896001600160401b03161015610a6657600080516020613967833981519152604051610a56906020808252600190820152600760fb1b604082015260600190565b60405180910390a1610a66613950565b506008610108565b6000546001600160401b03166001148015610a9b5750600054600160401b90046001600160401b03166002145b15610b6857846001600160401b0316896001600160401b03161015610b60578489026001600160401b0316896001600160401b03161015610b60578787016001600160401b0316826001600160401b031610610b60578482026001600160401b0316856001600160401b03161115610b6057601d6001600160401b0387161015610b6057600080516020613967833981519152604051610b50906020808252600190820152603960f81b604082015260600190565b60405180910390a1610b60613950565b506009610108565b6000546001600160401b03166001148015610b955750600054600160401b90046001600160401b03166003145b15610d7d576001600160401b038616602914610d755784602e016001600160401b0316826001600160401b031603610d7557876001600160401b0316836001600160401b031603610d75578285026001600160401b0316866001600160401b031610610d75578382026001600160401b0316846001600160401b03161015610d7557856001600160401b0316856001600160401b031603610d75578585016001600160401b0316846001600160401b03161115610d7557826035016001600160401b0316866001600160401b031614610d75578187026001600160401b0316846001600160401b031610610d75576014196001600160401b03881601610d755785602b026001600160401b0316836001600160401b03161115610d75578482026001600160401b0316886001600160401b031603610d7557886008026001600160401b0316846001600160401b031611610d755760116001600160401b0383161115610d75578782026001600160401b0316856001600160401b03161015610d75578888026001600160401b0316846001600160401b03161115610d7557600080516020613967833981519152604051610d6590602080825260029082015261031360f41b604082015260600190565b60405180910390a1610d75613950565b50600a610108565b6000546001600160401b03166001148015610daa5750600054600160401b90046001600160401b03166004145b15610ebc578287026001600160401b0316836001600160401b03161015610eb4578686026001600160401b0316866001600160401b031603610eb4578485026001600160401b0316876001600160401b031614610eb45784603d016001600160401b0316866001600160401b03161115610eb4578482026001600160401b0316826001600160401b03161115610eb457886009026001600160401b0316886001600160401b03161015610eb4578187026001600160401b0316886001600160401b031614610eb457600080516020613967833981519152604051610ea490602080825260029082015261313160f01b604082015260600190565b60405180910390a1610eb4613950565b50600b610108565b6000546001600160401b03166001148015610ee95750600054600160401b90046001600160401b03166005145b15610ef357600080fd5b6000546001600160401b03166001148015610f205750600054600160401b90046001600160401b03166006145b1561102457856033016001600160401b0316896001600160401b03161161101c5781601f016001600160401b0316856001600160401b03161461101c578487026001600160401b0316846001600160401b0316101561101c57602e6001600160401b038a16111561101c57600a196001600160401b0384160161101c576031196001600160401b038a160161101c57886001600160401b0316866001600160401b03161161101c5760296001600160401b038516101561101c5760008051602061396783398151915260405161100c90602080825260029082015261313360f01b604082015260600190565b60405180910390a161101c613950565b50600d610108565b6000546001600160401b0316600214801561104f5750600054600160401b90046001600160401b0316155b1561105c5750600e610108565b6000546001600160401b031660021480156110895750600054600160401b90046001600160401b03166001145b156110965750600f610108565b6000546001600160401b031660021480156110c35750600054600160401b90046001600160401b03166002145b15611174576001600160401b038416600a1461116c57886001600160401b0316846001600160401b03161461116c578787026001600160401b0316856001600160401b03161061116c5783601f016001600160401b0316866001600160401b0316111561116c5760008051602061396783398151915260405161115c90602080825260029082015261189b60f11b604082015260600190565b60405180910390a161116c613950565b506010610108565b6000546001600160401b031660021480156111a15750600054600160401b90046001600160401b03166003145b15611230576009196001600160401b0384160161122857836032026001600160401b0316846001600160401b0316036112285760116001600160401b038a1611156112285760008051602061396783398151915260405161121890602080825260029082015261313760f01b604082015260600190565b60405180910390a1611228613950565b506011610108565b6000546001600160401b0316600214801561125d5750600054600160401b90046001600160401b03166004145b156112fc578184026001600160401b0316846001600160401b0316106112f457876001600160401b0316896001600160401b031610156112f4578186016001600160401b0316876001600160401b0316036112f4576000805160206139678339815191526040516112e490602080825260029082015261062760f31b604082015260600190565b60405180910390a16112f4613950565b506012610108565b6000546001600160401b031660021480156113295750600054600160401b90046001600160401b03166005145b156113db57866001600160401b0316856001600160401b031611156113d35760286001600160401b03841611156113d3578788026001600160401b0316886001600160401b0316146113d3578382016001600160401b0316856001600160401b031611156113d3576000805160206139678339815191526040516113c390602080825260029082015261313960f01b604082015260600190565b60405180910390a16113d3613950565b506013610108565b6000546001600160401b031660021480156114085750600054600160401b90046001600160401b03166006145b1561141257600080fd5b6000546001600160401b0316600314801561143d5750600054600160401b90046001600160401b0316155b156115a057886003026001600160401b0316866001600160401b03161115611598576001600160401b038816600d1461159857602d6001600160401b038916111561159857886027016001600160401b0316846001600160401b03161115611598578887016001600160401b0316826001600160401b03160361159857876010026001600160401b0316856001600160401b031610611598576025196001600160401b0386160161159857886034026001600160401b0316896001600160401b031610611598578383026001600160401b0316876001600160401b03160361159857876002016001600160401b0316876001600160401b0316101561159857816001600160401b0316876001600160401b031611156115985760008051602061396783398151915260405161158890602080825260029082015261323160f01b604082015260600190565b60405180910390a1611598613950565b506015610108565b6000546001600160401b031660031480156115cd5750600054600160401b90046001600160401b03166001145b156115d757600080fd5b6000546001600160401b031660031480156116045750600054600160401b90046001600160401b03166002145b156117e9578289016001600160401b0316866001600160401b031611156117e1578483016001600160401b0316846001600160401b0316146117e1578289016001600160401b0316876001600160401b0316106117e1578288026001600160401b0316856001600160401b0316146117e1578486016001600160401b0316836001600160401b031611156117e15786601d026001600160401b0316856001600160401b031611156117e1578189016001600160401b0316826001600160401b0316146117e1578383026001600160401b0316866001600160401b0316146117e1578786026001600160401b0316856001600160401b0316146117e1576036196001600160401b038a16016117e157836017026001600160401b0316876001600160401b0316106117e1578185026001600160401b0316876001600160401b031611156117e15783602d026001600160401b0316886001600160401b0316116117e1578182016001600160401b0316856001600160401b031611156117e157846036026001600160401b0316866001600160401b031611156117e1576000805160206139678339815191526040516117d190602080825260029082015261323360f01b604082015260600190565b60405180910390a16117e1613950565b506017610108565b6000546001600160401b031660031480156118165750600054600160401b90046001600160401b03166003145b1561182357506018610108565b6000546001600160401b031660031480156118505750600054600160401b90046001600160401b03166004145b1561199e5760226001600160401b038816106119965760096001600160401b03871611611996578487026001600160401b0316886001600160401b03161061199657816001600160401b0316886001600160401b03160361199657826039016001600160401b0316896001600160401b0316111561199657846035016001600160401b0316886001600160401b03161161199657886019026001600160401b0316876001600160401b031610611996578284016001600160401b0316836001600160401b0316101561199657826030026001600160401b0316866001600160401b03161061199657856017016001600160401b0316826001600160401b0316116119965760008051602061396783398151915260405161198690602080825260029082015261323560f01b604082015260600190565b60405180910390a1611996613950565b506019610108565b6000546001600160401b031660031480156119cb5750600054600160401b90046001600160401b03166005145b15611ad5578188016001600160401b0316896001600160401b03161115611acd57816001600160401b0316896001600160401b031603611acd578483016001600160401b0316876001600160401b031614611acd57602f6001600160401b03861610611acd578484016001600160401b0316846001600160401b031610611acd576001600160401b038616601c14611acd576023196001600160401b03831601611acd578485026001600160401b0316846001600160401b03161115611acd57600080516020613967833981519152604051611abd90602080825260029082015261191b60f11b604082015260600190565b60405180910390a1611acd613950565b50601a610108565b6000546001600160401b03166003148015611b025750600054600160401b90046001600160401b03166006145b15611b9c5760016001600160401b0383161015611b9457826008026001600160401b0316886001600160401b03161115611b945782601f026001600160401b0316826001600160401b031611611b9457600080516020613967833981519152604051611b8490602080825260029082015261323760f01b604082015260600190565b60405180910390a1611b94613950565b50601b610108565b6000546001600160401b03166004148015611bc75750600054600160401b90046001600160401b0316155b15611d1357816009026001600160401b0316866001600160401b031610611d0b5760086001600160401b0385161015611d0b57876001600160401b0316856001600160401b031614611d0b57866003026001600160401b0316836001600160401b031610611d0b578584016001600160401b0316896001600160401b031610611d0b5781603f016001600160401b0316876001600160401b03161015611d0b57846003026001600160401b0316836001600160401b031611611d0b57602e6001600160401b03881611611d0b5787602a026001600160401b0316896001600160401b031614611d0b57836001600160401b0316886001600160401b031603611d0b57600080516020613967833981519152604051611cfb90602080825260029082015261064760f31b604082015260600190565b60405180910390a1611d0b613950565b50601c610108565b6000546001600160401b03166004148015611d405750600054600160401b90046001600160401b03166001145b15611dd857603f6001600160401b0389161115611dd057866023026001600160401b0316896001600160401b031603611dd0578287026001600160401b0316896001600160401b031614611dd057600080516020613967833981519152604051611dc090602080825260029082015261323960f01b604082015260600190565b60405180910390a1611dd0613950565b50601d610108565b6000546001600160401b03166004148015611e055750600054600160401b90046001600160401b03166002145b15611f0e5784601f026001600160401b0316856001600160401b031611611f06578384026001600160401b0316846001600160401b03161015611f0657826029016001600160401b0316846001600160401b03161115611f065784602d016001600160401b0316866001600160401b031610611f0657816008026001600160401b0316836001600160401b031611611f065760066001600160401b038a161015611f06578589026001600160401b0316876001600160401b031603611f0657600080516020613967833981519152604051611ef690602080825260029082015261033360f41b604082015260600190565b60405180910390a1611f06613950565b50601e610108565b6000546001600160401b03166004148015611f3b5750600054600160401b90046001600160401b03166003145b156120eb57836031016001600160401b0316896001600160401b0316036120e357601e6001600160401b038816106120e357886032026001600160401b0316836001600160401b031611156120e35787600d026001600160401b0316866001600160401b0316116120e3578683016001600160401b0316846001600160401b031611156120e357836001600160401b0316886001600160401b0316116120e357836001600160401b0316856001600160401b0316116120e357816031026001600160401b0316846001600160401b031611156120e3578585026001600160401b0316876001600160401b031611156120e3576001600160401b0385166021146120e35783600e016001600160401b0316876001600160401b0316146120e35760196001600160401b038516116120e357836034016001600160401b0316856001600160401b031610156120e357866001600160401b0316886001600160401b0316106120e3576000805160206139678339815191526040516120d390602080825260029082015261333160f01b604082015260600190565b60405180910390a16120e3613950565b50601f610108565b6000546001600160401b031660041480156121185750600054600160401b90046001600160401b03166004145b156122d25760276001600160401b03881611156122ca578784016001600160401b0316876001600160401b0316106122ca578287026001600160401b0316836001600160401b0316106122ca5760056001600160401b03831611156122ca576021196001600160401b038a16016122ca57856038016001600160401b0316886001600160401b0316106122ca57846001600160401b0316866001600160401b0316036122ca57876004026001600160401b0316876001600160401b031611156122ca5760126001600160401b038816116122ca5788600a016001600160401b0316846001600160401b0316036122ca578689026001600160401b0316826001600160401b0316116122ca578185026001600160401b0316866001600160401b031610156122ca576029196001600160401b038416016122ca578183026001600160401b0316866001600160401b031610156122ca578688026001600160401b0316846001600160401b0316146122ca576000805160206139678339815191526040516122ba90602080825260029082015261199960f11b604082015260600190565b60405180910390a16122ca613950565b506020610108565b6000546001600160401b031660041480156122ff5750600054600160401b90046001600160401b03166005145b156124d557846001600160401b0316826001600160401b0316116124cd578282026001600160401b0316856001600160401b0316106124cd57826001600160401b0316846001600160401b0316116124cd57876001600160401b0316856001600160401b0316116124cd578187026001600160401b0316876001600160401b0316146124cd578885026001600160401b0316896001600160401b0316116124cd57876001600160401b0316836001600160401b0316116124cd578783016001600160401b0316896001600160401b031610156124cd5784603d026001600160401b0316896001600160401b0316106124cd578589026001600160401b0316876001600160401b031610156124cd57886001600160401b0316886001600160401b0316036124cd5788603b026001600160401b0316866001600160401b0316036124cd57826010016001600160401b0316866001600160401b0316116124cd578787026001600160401b0316856001600160401b0316036124cd5760056001600160401b03831610156124cd576000805160206139678339815191526040516124bd90602080825260029082015261333360f01b604082015260600190565b60405180910390a16124cd613950565b506021610108565b6000546001600160401b031660041480156125025750600054600160401b90046001600160401b03166006145b156125c257876004016001600160401b0316856001600160401b0316116125ba5785603f016001600160401b0316836001600160401b031610156125ba5783601e026001600160401b0316846001600160401b0316106125ba5782601b026001600160401b0316876001600160401b0316146125ba576000805160206139678339815191526040516125aa906020808252600290820152610ccd60f21b604082015260600190565b60405180910390a16125ba613950565b506022610108565b6000546001600160401b031660051480156125ed5750600054600160401b90046001600160401b0316155b156126855760376001600160401b0387161061267d57866034026001600160401b0316856001600160401b03161061267d57876038026001600160401b0316896001600160401b03161461267d5760008051602061396783398151915260405161266d90602080825260029082015261333560f01b604082015260600190565b60405180910390a161267d613950565b506023610108565b6000546001600160401b031660051480156126b25750600054600160401b90046001600160401b03166001145b1561284457826001600160401b0316886001600160401b0316111561283c57846022026001600160401b0316826001600160401b0316101561283c57876001600160401b0316876001600160401b03160361283c5760206001600160401b0383161061283c57876026026001600160401b0316886001600160401b03160361283c57816034026001600160401b0316896001600160401b0316111561283c57836026016001600160401b0316896001600160401b0316111561283c5760406001600160401b038716111561283c57826001600160401b0316866001600160401b0316111561283c57886001600160401b0316866001600160401b03160361283c57602a6001600160401b038916111561283c57856001600160401b0316836001600160401b03161161283c57886037026001600160401b0316866001600160401b03161461283c5760008051602061396783398151915260405161282c90602080825260029082015261199b60f11b604082015260600190565b60405180910390a161283c613950565b506024610108565b6000546001600160401b031660051480156128715750600054600160401b90046001600160401b03166002145b156129e5576019196001600160401b038616016129dd57846001600160401b0316826001600160401b031610156129dd57866001600160401b0316836001600160401b031611156129dd57836001600160401b0316836001600160401b031611156129dd578689026001600160401b0316876001600160401b031611156129dd578184016001600160401b0316866001600160401b0316106129dd57856001600160401b0316836001600160401b031610156129dd57602e6001600160401b03831610156129dd5787602c026001600160401b0316876001600160401b031610156129dd57886001600160401b0316826001600160401b0316146129dd576001600160401b0384166023146129dd578687016001600160401b0316836001600160401b0316146129dd576000805160206139678339815191526040516129cd90602080825260029082015261333760f01b604082015260600190565b60405180910390a16129dd613950565b506025610108565b6000546001600160401b03166005148015612a125750600054600160401b90046001600160401b03166003145b15612b8257846006026001600160401b0316876001600160401b031610612b7a57876006016001600160401b0316846001600160401b031611612b7a57826001600160401b0316856001600160401b031611612b7a578684026001600160401b0316846001600160401b03161015612b7a57846001600160401b0316876001600160401b031610612b7a57602a196001600160401b03871601612b7a57826031016001600160401b0316856001600160401b031611612b7a578589026001600160401b0316866001600160401b031611612b7a5781601c016001600160401b0316866001600160401b031614612b7a57876014026001600160401b0316876001600160401b03161015612b7a57826001600160401b0316876001600160401b031614612b7a57600080516020613967833981519152604051612b6a90602080825260029082015261066760f31b604082015260600190565b60405180910390a1612b7a613950565b506026610108565b6000546001600160401b03166005148015612baf5750600054600160401b90046001600160401b03166004145b15612c765782603b026001600160401b0316846001600160401b03161015612c6e5760206001600160401b03851611612c6e578785016001600160401b0316866001600160401b03161015612c6e57601e196001600160401b03851601612c6e57876024026001600160401b0316826001600160401b031603612c6e57600080516020613967833981519152604051612c5e90602080825260029082015261333960f01b604082015260600190565b60405180910390a1612c6e613950565b506027610108565b6000546001600160401b03166005148015612ca35750600054600160401b90046001600160401b03166005145b15612dd257856029016001600160401b0316846001600160401b03161115612dca57836001600160401b0316856001600160401b031610612dca57836019016001600160401b0316836001600160401b031603612dca578584026001600160401b0316896001600160401b03161115612dca576006196001600160401b03831601612dca5760136001600160401b03871610612dca5783603d026001600160401b0316846001600160401b031611612dca57876001600160401b0316826001600160401b03161015612dca57856001600160401b0316876001600160401b031611612dca57600080516020613967833981519152604051612dba90602080825260029082015261034360f41b604082015260600190565b60405180910390a1612dca613950565b506028610108565b6000546001600160401b03166005148015612dff5750600054600160401b90046001600160401b03166006145b15612f9a578587016001600160401b0316826001600160401b031614612f9257603c6001600160401b0388161015612f92578885016001600160401b0316896001600160401b03161015612f92578885026001600160401b0316866001600160401b031614612f925760216001600160401b03891611612f92578283016001600160401b0316886001600160401b031610612f92578887016001600160401b0316856001600160401b031611612f925781602f026001600160401b0316846001600160401b031611612f925782600c016001600160401b0316846001600160401b031614612f9257866034026001600160401b0316846001600160401b031610612f92578387026001600160401b0316896001600160401b031611612f9257816001600160401b0316866001600160401b031610612f9257846001600160401b0316876001600160401b031603612f9257600080516020613967833981519152604051612f8290602080825260029082015261343160f01b604082015260600190565b60405180910390a1612f92613950565b506029610108565b6000546001600160401b03166006148015612fc55750600054600160401b90046001600160401b0316155b1561306657816022016001600160401b0316856001600160401b03161061305e578682016001600160401b0316856001600160401b03161461305e578582026001600160401b0316826001600160401b03161161305e5760008051602061396783398151915260405161304e906020808252600290820152611a1960f11b604082015260600190565b60405180910390a161305e613950565b50602a610108565b6000546001600160401b031660061480156130935750600054600160401b90046001600160401b03166001145b15613134578785016001600160401b0316876001600160401b03160361312c5785600c016001600160401b0316846001600160401b03160361312c578584026001600160401b0316826001600160401b03161061312c5760008051602061396783398151915260405161311c90602080825260029082015261343360f01b604082015260600190565b60405180910390a161312c613950565b50602b610108565b6000546001600160401b031660061480156131615750600054600160401b90046001600160401b03166002145b156131e757836003016001600160401b0316846001600160401b0316036131df578789026001600160401b0316896001600160401b0316146131df576000805160206139678339815191526040516131cf906020808252600290820152610d0d60f21b604082015260600190565b60405180910390a16131df613950565b50602c610108565b6000546001600160401b031660061480156132145750600054600160401b90046001600160401b03166003145b156133f45760176001600160401b038a1610156133ec57886001600160401b0316876001600160401b0316106133ec57866032026001600160401b0316866001600160401b031610156133ec578786016001600160401b0316856001600160401b031611156133ec57836034026001600160401b0316826001600160401b0316106133ec578288026001600160401b0316836001600160401b0316116133ec578186016001600160401b0316886001600160401b031611156133ec578784016001600160401b0316836001600160401b031610156133ec57836009016001600160401b0316896001600160401b031611156133ec57886001600160401b0316836001600160401b031610156133ec578689016001600160401b0316886001600160401b031611156133ec578889026001600160401b0316866001600160401b0316116133ec57816001600160401b0316846001600160401b0316146133ec578884016001600160401b0316886001600160401b031610156133ec578382016001600160401b0316836001600160401b0316036133ec576000805160206139678339815191526040516133dc90602080825260029082015261343560f01b604082015260600190565b60405180910390a16133ec613950565b50602d610108565b6000546001600160401b031660061480156134215750600054600160401b90046001600160401b03166004145b156135e057876001600160401b0316826001600160401b0316116135d857866001600160401b0316846001600160401b031610156135d857856001600160401b0316876001600160401b0316146135d857816027016001600160401b0316896001600160401b031611156135d8578288026001600160401b0316866001600160401b0316116135d85760226001600160401b03881611156135d85784601a026001600160401b0316856001600160401b0316036135d857866001600160401b0316866001600160401b0316106135d85785600f026001600160401b0316846001600160401b0316106135d8578688016001600160401b0316856001600160401b0316036135d8576001600160401b0380851690891611156135d8578782026001600160401b0316856001600160401b0316116135d85760386001600160401b038316106135d857603d6001600160401b03861611156135d8578288026001600160401b0316826001600160401b031611156135d8576000805160206139678339815191526040516135c8906020808252600290820152611a1b60f11b604082015260600190565b60405180910390a16135d8613950565b50602e610108565b6000546001600160401b0316600614801561360d5750600054600160401b90046001600160401b03166005145b156137fa5760126001600160401b038a1611156137f25788603b026001600160401b0316826001600160401b0316106137f25760256001600160401b038a16106137f25785602c026001600160401b0316846001600160401b031610156137f2578186026001600160401b0316876001600160401b031610156137f2578286026001600160401b0316896001600160401b0316116137f257876001600160401b0316826001600160401b0316116137f257836008016001600160401b0316826001600160401b0316106137f2578584026001600160401b0316846001600160401b031610156137f257856037016001600160401b0316866001600160401b031610156137f25760296001600160401b03861610156137f257816035016001600160401b0316896001600160401b0316106137f257876034026001600160401b0316856001600160401b031611156137f2578189016001600160401b0316876001600160401b0316036137f2578389026001600160401b0316836001600160401b031611156137f2578485016001600160401b0316836001600160401b0316116137f2576000805160206139678339815191526040516137e290602080825260029082015261343760f01b604082015260600190565b60405180910390a16137f2613950565b50602f610108565b6000546001600160401b031660061480156138275750600054600160401b90046001600160401b03166006145b1561383157600080fd5b50603198975050505050505050565b80356001600160401b038116811461385757600080fd5b919050565b600080600080600080600080610100898b03121561387957600080fd5b61388289613840565b975061389060208a01613840565b965061389e60408a01613840565b95506138ac60608a01613840565b94506138ba60808a01613840565b93506138c860a08a01613840565b92506138d660c08a01613840565b91506138e460e08a01613840565b90509295985092959890939650565b634e487b7160e01b600052601160045260246000fd5b6001600160401b03828116828216039080821115613929576139296138f3565b5092915050565b6001600160401b03818116838216019080821115613929576139296138f3565b634e487b7160e01b600052600160045260246000fdfeb42604cb105a16c8f6db8a41e6b00c0c1b4826465e8bc504b3eb3e88b3e6a4a0a2646970667358221220a92f61bfd7ea178c8589b5e6930b54be49328bc28c04210a1f242ae72e3e7f8b64736f6c63430008130033",
        1: "608060405234801561001057600080fd5b50613680806100206000396000f3fe60806040526004361061003f5760003560e01c80639c7dc76d146100445780639e11e6091461006e578063b11691ec14610081578063bcbc275d14610094575b600080fd5b610057610052366004613520565b6100a7565b60405160079190910b815260200160405180910390f35b61005761007c366004613520565b610114565b61005761008f366004613520565b610188565b6100576100a2366004613520565b6101f6565b600080546001600160401b03166100bd57600080fd5b600080546100d6906001906001600160401b03166135cd565b6000805467ffffffffffffffff19166001600160401b03831617905590506101048a8a8a8a8a8a8a8a610250565b9150505b98975050505050505050565b60008054600160401b90046001600160401b031661013157600080fd5b6000805461015190600190600160401b90046001600160401b03166135cd565b6000805467ffffffffffffffff60401b1916600160401b6001600160401b0384160217905590506101048a8a8a8a8a8a8a8a610250565b6000805481906101a990600160401b90046001600160401b031660016135f4565b90506007816001600160401b0316106101c157600080fd5b6000805467ffffffffffffffff60401b1916600160401b6001600160401b038416021790556101048a8a8a8a8a8a8a8a610250565b600080548190610210906001600160401b031660016135f4565b90506007816001600160401b03161061022857600080fd5b6000805467ffffffffffffffff19166001600160401b0383161790556101048a8a8a8a8a8a8a8a5b600080546001600160401b031615801561027a5750600054600160401b90046001600160401b0316155b1561028757506000610108565b6000546001600160401b03161580156102b25750600054600160401b90046001600160401b03166001145b156102bc57600080fd5b6000546001600160401b03161580156102e75750600054600160401b90046001600160401b03166002145b156102f457506002610108565b6000546001600160401b031615801561031f5750600054600160401b90046001600160401b03166003145b1561032957600080fd5b6000546001600160401b03161580156103545750600054600160401b90046001600160401b03166004145b1561035e57600080fd5b6000546001600160401b03161580156103895750600054600160401b90046001600160401b03166005145b1561047d57866002016001600160401b0316886001600160401b0316111561047557816007016001600160401b0316896001600160401b0316101561047557846001600160401b0316886001600160401b031611610475578388016001600160401b0316826001600160401b031614610475578586026001600160401b0316866001600160401b03160361047557856009026001600160401b0316836001600160401b031610156104755760008051602061362b833981519152604051610465906020808252600190820152603560f81b604082015260600190565b60405180910390a1610475613614565b506005610108565b6000546001600160401b03161580156104a85750600054600160401b90046001600160401b03166006145b15610644578284016001600160401b0316896001600160401b03161061063c578184016001600160401b0316826001600160401b03161161063c57826001600160401b0316876001600160401b03160361063c57816001600160401b0316876001600160401b03161161063c57856001600160401b0316896001600160401b0316111561063c57601a196001600160401b0383160161063c578287016001600160401b0316846001600160401b03161461063c57836001600160401b0316836001600160401b0316101561063c57826001600160401b0316826001600160401b03161061063c57886030016001600160401b0316846001600160401b03161061063c578485026001600160401b0316896001600160401b03161161063c57856026016001600160401b0316826001600160401b03161161063c57846001600160401b0316896001600160401b03160361063c5760008051602061362b83398151915260405161062c906020808252600190820152601b60f91b604082015260600190565b60405180910390a161063c613614565b506006610108565b6000546001600160401b0316600114801561066f5750600054600160401b90046001600160401b0316155b156107df578687016001600160401b0316826001600160401b0316116107d7578687016001600160401b0316826001600160401b031610156107d757600e6001600160401b038316106107d7576001600160401b038916603c146107d75787603a016001600160401b0316896001600160401b0316106107d7578783026001600160401b0316866001600160401b0316036107d757826006016001600160401b0316826001600160401b031610156107d757866027026001600160401b0316826001600160401b0316146107d7576001600160401b0389166021146107d757836008016001600160401b0316876001600160401b031610156107d757826001600160401b0316826001600160401b0316116107d75760376001600160401b03831610156107d75760008051602061362b8339815191526040516107c7906020808252600190820152603760f81b604082015260600190565b60405180910390a16107d7613614565b506007610108565b6000546001600160401b0316600114801561080c5750600054600160401b90046001600160401b03166001145b15610998578289026001600160401b0316866001600160401b03161015610990578484026001600160401b0316866001600160401b031610610990578786026001600160401b0316846001600160401b03161061099057886010026001600160401b0316836001600160401b03160361099057836040026001600160401b0316856001600160401b031603610990578887026001600160401b0316856001600160401b03161015610990578484016001600160401b0316826001600160401b03161161099057836001600160401b0316826001600160401b03161061099057836001600160401b0316856001600160401b0316111561099057826014016001600160401b0316826001600160401b0316036109905785602c016001600160401b0316896001600160401b03161061099057602a6001600160401b03851611156109905760008051602061362b833981519152604051610980906020808252600190820152600760fb1b604082015260600190565b60405180910390a1610990613614565b506008610108565b6000546001600160401b031660011480156109c55750600054600160401b90046001600160401b03166002145b15610a785788601c016001600160401b0316896001600160401b031610610a70578385016001600160401b0316836001600160401b03161015610a705760276001600160401b038a161015610a70578782026001600160401b0316866001600160401b031603610a705760008051602061362b833981519152604051610a60906020808252600190820152603960f81b604082015260600190565b60405180910390a1610a70613614565b506009610108565b6000546001600160401b03166001148015610aa55750600054600160401b90046001600160401b03166003145b15610ab25750600a610108565b6000546001600160401b03166001148015610adf5750600054600160401b90046001600160401b03166004145b15610c7c5760206001600160401b03851610610c7457856023026001600160401b0316856001600160401b03161015610c74578885016001600160401b0316826001600160401b031610610c7457600a6001600160401b0389161015610c745760366001600160401b03831611610c74576019196001600160401b03851601610c74578286016001600160401b0316896001600160401b031611610c74578385026001600160401b0316856001600160401b031603610c7457866001600160401b0316836001600160401b031603610c7457836027016001600160401b0316866001600160401b031610610c745786602f026001600160401b0316836001600160401b031610610c7457603e6001600160401b03841611610c7457816009026001600160401b0316856001600160401b031603610c74578583026001600160401b0316846001600160401b03161015610c745760008051602061362b833981519152604051610c6490602080825260029082015261313160f01b604082015260600190565b60405180910390a1610c74613614565b50600b610108565b6000546001600160401b03166001148015610ca95750600054600160401b90046001600160401b03166005145b15610dca578386016001600160401b0316836001600160401b03161115610dc257836001600160401b0316866001600160401b03161115610dc25785603e026001600160401b0316826001600160401b031610610dc2578188026001600160401b0316836001600160401b031614610dc2578683026001600160401b0316856001600160401b03161015610dc2576001600160401b038616602b14610dc25785600c026001600160401b0316836001600160401b031611610dc25783603a026001600160401b0316866001600160401b031610610dc25760008051602061362b833981519152604051610db290602080825260029082015261189960f11b604082015260600190565b60405180910390a1610dc2613614565b50600c610108565b6000546001600160401b03166001148015610df75750600054600160401b90046001600160401b03166006145b15610ede5781603d026001600160401b0316896001600160401b03161015610ed6578683026001600160401b0316886001600160401b031610610ed657876001600160401b0316866001600160401b031603610ed6576019196001600160401b038a1601610ed657856022026001600160401b0316846001600160401b031603610ed657826001600160401b0316896001600160401b031614610ed65760008051602061362b833981519152604051610ec690602080825260029082015261313360f01b604082015260600190565b60405180910390a1610ed6613614565b50600d610108565b6000546001600160401b03166002148015610f095750600054600160401b90046001600160401b0316155b156110fe578185016001600160401b0316836001600160401b0316116110f65760396001600160401b03831611156110f657886001600160401b0316876001600160401b0316036110f65785600a026001600160401b0316876001600160401b0316116110f65783602e016001600160401b0316866001600160401b031611156110f6578383016001600160401b0316876001600160401b0316036110f6576015196001600160401b038516016110f65781601e026001600160401b0316896001600160401b0316116110f6578685026001600160401b0316856001600160401b031611156110f6578786026001600160401b0316866001600160401b0316036110f6578386016001600160401b0316896001600160401b0316036110f657886018026001600160401b0316866001600160401b0316146110f6578689016001600160401b0316826001600160401b0316106110f657836020016001600160401b0316896001600160401b031611156110f657866011026001600160401b0316876001600160401b0316146110f657876032016001600160401b0316886001600160401b0316146110f65760008051602061362b8339815191526040516110e6906020808252600290820152610c4d60f21b604082015260600190565b60405180910390a16110f6613614565b50600e610108565b6000546001600160401b0316600214801561112b5750600054600160401b90046001600160401b03166001145b1561113557600080fd5b6000546001600160401b031660021480156111625750600054600160401b90046001600160401b03166002145b15611213578583026001600160401b0316866001600160401b03160361120b5760306001600160401b0386161161120b578189016001600160401b0316886001600160401b0316101561120b57856001600160401b0316856001600160401b0316111561120b5760008051602061362b8339815191526040516111fb90602080825260029082015261189b60f11b604082015260600190565b60405180910390a161120b613614565b506010610108565b6000546001600160401b031660021480156112405750600054600160401b90046001600160401b03166003145b156112e357876037016001600160401b0316836001600160401b0316116112db57846011026001600160401b0316836001600160401b0316036112db57886025026001600160401b0316836001600160401b0316116112db5760008051602061362b8339815191526040516112cb90602080825260029082015261313760f01b604082015260600190565b60405180910390a16112db613614565b506011610108565b6000546001600160401b031660021480156113105750600054600160401b90046001600160401b03166004145b1561147957876001600160401b0316866001600160401b031610611471576001600160401b0384166114715787601e016001600160401b0316886001600160401b03161461147157816010016001600160401b0316876001600160401b031611156114715787600c026001600160401b0316886001600160401b03161015611471578786016001600160401b0316866001600160401b0316036114715782600c016001600160401b0316856001600160401b0316106114715788602b026001600160401b0316826001600160401b0316036114715760316001600160401b038416101561147157866017026001600160401b0316876001600160401b0316106114715783602f016001600160401b0316876001600160401b0316116114715760008051602061362b83398151915260405161146190602080825260029082015261062760f31b604082015260600190565b60405180910390a1611471613614565b506012610108565b6000546001600160401b031660021480156114a65750600054600160401b90046001600160401b03166005145b156114b357506013610108565b6000546001600160401b031660021480156114e05750600054600160401b90046001600160401b03166006145b156114ed57506014610108565b6000546001600160401b031660031480156115185750600054600160401b90046001600160401b0316155b156116ca578189026001600160401b0316846001600160401b0316106116c25760086001600160401b038416116116c2578889026001600160401b0316856001600160401b0316116116c2578289016001600160401b0316866001600160401b0316116116c2578883016001600160401b0316826001600160401b0316146116c25788603c016001600160401b0316886001600160401b0316036116c257876001600160401b0316846001600160401b031610156116c257886038026001600160401b0316826001600160401b031610156116c25786603b026001600160401b0316846001600160401b031611156116c257816001600160401b0316876001600160401b031611156116c25788602a016001600160401b0316856001600160401b031610156116c257602b6001600160401b038516106116c25787603c016001600160401b0316876001600160401b0316106116c25760146001600160401b03861611156116c25760008051602061362b8339815191526040516116b290602080825260029082015261323160f01b604082015260600190565b60405180910390a16116c2613614565b506015610108565b6000546001600160401b031660031480156116f75750600054600160401b90046001600160401b03166001145b156117fc57826001600160401b0316826001600160401b0316146117f4578486016001600160401b0316846001600160401b0316036117f45788600b026001600160401b0316876001600160401b031610156117f457886026016001600160401b0316886001600160401b031610156117f457846021026001600160401b0316866001600160401b0316106117f4578788016001600160401b0316876001600160401b0316036117f457601b6001600160401b038516106117f45760008051602061362b8339815191526040516117e490602080825260029082015261191960f11b604082015260600190565b60405180910390a16117f4613614565b506016610108565b6000546001600160401b031660031480156118295750600054600160401b90046001600160401b03166002145b1561183357600080fd5b6000546001600160401b031660031480156118605750600054600160401b90046001600160401b03166003145b1561186a57600080fd5b6000546001600160401b031660031480156118975750600054600160401b90046001600160401b03166004145b156119535760186001600160401b038916101561194b576001600160401b038516600c1461194b5781600c026001600160401b0316836001600160401b0316101561194b57876023026001600160401b0316846001600160401b03161161194b576001600160401b03841660321461194b5760008051602061362b83398151915260405161193b90602080825260029082015261323560f01b604082015260600190565b60405180910390a161194b613614565b506019610108565b6000546001600160401b031660031480156119805750600054600160401b90046001600160401b03166005145b15611a6b5783600a026001600160401b0316846001600160401b031610611a635786601e016001600160401b0316826001600160401b031614611a635760266001600160401b03831611611a63578386026001600160401b0316886001600160401b03161015611a6357826037026001600160401b0316886001600160401b031610611a63578188016001600160401b0316846001600160401b031610611a635760008051602061362b833981519152604051611a5390602080825260029082015261191b60f11b604082015260600190565b60405180910390a1611a63613614565b50601a610108565b6000546001600160401b03166003148015611a985750600054600160401b90046001600160401b03166006145b15611aa257600080fd5b6000546001600160401b03166004148015611acd5750600054600160401b90046001600160401b0316155b15611bf8578486026001600160401b0316826001600160401b031603611bf05785603c026001600160401b0316866001600160401b03161015611bf05760116001600160401b0386161115611bf05760286001600160401b0389161115611bf05782600c016001600160401b0316856001600160401b03161015611bf05760086001600160401b03881611611bf0578384016001600160401b0316886001600160401b031610611bf057886002016001600160401b0316836001600160401b031610611bf0578685016001600160401b0316896001600160401b031611611bf05760008051602061362b833981519152604051611be090602080825260029082015261064760f31b604082015260600190565b60405180910390a1611bf0613614565b50601c610108565b6000546001600160401b03166004148015611c255750600054600160401b90046001600160401b03166001145b15611ddb578383026001600160401b0316876001600160401b031611611dd357886001600160401b0316886001600160401b031603611dd3576001600160401b03851615611dd35781600a026001600160401b0316866001600160401b031610611dd3578682016001600160401b0316826001600160401b031611611dd357866001600160401b0316886001600160401b031603611dd357866037026001600160401b0316826001600160401b031614611dd3578488026001600160401b0316836001600160401b03161115611dd3578482026001600160401b0316896001600160401b031614611dd357836001600160401b0316836001600160401b03161015611dd35783602a016001600160401b0316836001600160401b03161115611dd3578884026001600160401b0316856001600160401b03161115611dd35760076001600160401b0385161015611dd35782603b016001600160401b0316876001600160401b031614611dd35760008051602061362b833981519152604051611dc390602080825260029082015261323960f01b604082015260600190565b60405180910390a1611dd3613614565b50601d610108565b6000546001600160401b03166004148015611e085750600054600160401b90046001600160401b03166002145b15611e1257600080fd5b6000546001600160401b03166004148015611e3f5750600054600160401b90046001600160401b03166003145b15611ed7578488016001600160401b0316836001600160401b031611611ecf57816006026001600160401b0316856001600160401b031610611ecf57602b6001600160401b0389161115611ecf5760008051602061362b833981519152604051611ebf90602080825260029082015261333160f01b604082015260600190565b60405180910390a1611ecf613614565b50601f610108565b6000546001600160401b03166004148015611f045750600054600160401b90046001600160401b03166004145b1561200757846002016001600160401b0316896001600160401b03161015611fff57876001600160401b0316876001600160401b031614611fff57601a6001600160401b0384161115611fff578686016001600160401b0316836001600160401b031610611fff57826001600160401b0316856001600160401b031603611fff578786016001600160401b0316866001600160401b031603611fff5783601f016001600160401b0316886001600160401b03161015611fff5760008051602061362b833981519152604051611fef90602080825260029082015261199960f11b604082015260600190565b60405180910390a1611fff613614565b506020610108565b6000546001600160401b031660041480156120345750600054600160401b90046001600160401b03166005145b1561215257836001600160401b0316856001600160401b0316101561214a57866040016001600160401b0316866001600160401b0316101561214a578785016001600160401b0316896001600160401b03161461214a5782602b016001600160401b0316836001600160401b0316111561214a57866001600160401b0316846001600160401b03161161214a57826001600160401b0316896001600160401b03161061214a5760386001600160401b038716111561214a57886010016001600160401b0316826001600160401b03161161214a5760008051602061362b83398151915260405161213a90602080825260029082015261333360f01b604082015260600190565b60405180910390a161214a613614565b506021610108565b6000546001600160401b0316600414801561217f5750600054600160401b90046001600160401b03166006145b15612361576019196001600160401b038316016123595760226001600160401b0389161161235957836024026001600160401b0316866001600160401b03161015612359578684016001600160401b0316866001600160401b031614612359578583026001600160401b0316866001600160401b03161115612359578784016001600160401b0316846001600160401b031610156123595760376001600160401b03851611612359578882016001600160401b0316866001600160401b031610612359578389026001600160401b0316886001600160401b0316101561235957826021016001600160401b0316876001600160401b03161461235957816016026001600160401b0316866001600160401b031603612359578583026001600160401b0316856001600160401b0316116123595760266001600160401b0384161115612359578889026001600160401b0316876001600160401b03161015612359578185026001600160401b0316856001600160401b0316106123595788600e016001600160401b0316836001600160401b0316036123595760008051602061362b833981519152604051612349906020808252600290820152610ccd60f21b604082015260600190565b60405180910390a1612359613614565b506022610108565b6000546001600160401b0316600514801561238c5750600054600160401b90046001600160401b0316155b1561239957506023610108565b6000546001600160401b031660051480156123c65750600054600160401b90046001600160401b03166001145b1561256f57603d6001600160401b03891610156125675782602a026001600160401b0316846001600160401b0316101561256757601d6001600160401b03831610612567578787026001600160401b0316836001600160401b031603612567578288026001600160401b0316836001600160401b03161461256757846005016001600160401b0316886001600160401b03161161256757846028016001600160401b0316856001600160401b031611612567578588026001600160401b0316886001600160401b031610612567578787016001600160401b0316846001600160401b0316146125675760246001600160401b03841610156125675760136001600160401b038a1610612567578187026001600160401b0316896001600160401b03161015612567578383016001600160401b0316836001600160401b03161161256757886020026001600160401b0316866001600160401b0316036125675760008051602061362b83398151915260405161255790602080825260029082015261199b60f11b604082015260600190565b60405180910390a1612567613614565b506024610108565b6000546001600160401b0316600514801561259c5750600054600160401b90046001600160401b03166002145b1561267157866001600160401b0316856001600160401b0316111561266957856001600160401b0316826001600160401b031603612669578884026001600160401b0316836001600160401b031603612669578589016001600160401b0316876001600160401b031610156126695787600d026001600160401b0316856001600160401b0316106126695760008051602061362b83398151915260405161265990602080825260029082015261333760f01b604082015260600190565b60405180910390a1612669613614565b506025610108565b6000546001600160401b0316600514801561269e5750600054600160401b90046001600160401b03166003145b1561273f578589016001600160401b0316896001600160401b031611612737578484026001600160401b0316846001600160401b031603612737578488026001600160401b0316826001600160401b031611156127375760008051602061362b83398151915260405161272790602080825260029082015261066760f31b604082015260600190565b60405180910390a1612737613614565b506026610108565b6000546001600160401b0316600514801561276c5750600054600160401b90046001600160401b03166004145b156127f057876022026001600160401b0316896001600160401b0316106127e857816001600160401b0316886001600160401b0316106127e85760008051602061362b8339815191526040516127d890602080825260029082015261333960f01b604082015260600190565b60405180910390a16127e8613614565b506027610108565b6000546001600160401b0316600514801561281d5750600054600160401b90046001600160401b03166005145b15612919578885026001600160401b0316836001600160401b03161461291157846007016001600160401b0316826001600160401b031603612911578685026001600160401b0316836001600160401b031610156129115786600d026001600160401b0316826001600160401b0316036129115760406001600160401b03841610612911578584016001600160401b0316876001600160401b031614612911576019196001600160401b038616016129115760008051602061362b83398151915260405161290190602080825260029082015261034360f41b604082015260600190565b60405180910390a1612911613614565b506028610108565b6000546001600160401b031660051480156129465750600054600160401b90046001600160401b03166006145b15612b14578187016001600160401b0316896001600160401b03161015612b0c5760196001600160401b03891611612b0c57836014026001600160401b0316886001600160401b031611612b0c576001600160401b038716601b14612b0c5760376001600160401b0385161015612b0c57816013016001600160401b0316826001600160401b031603612b0c57846001600160401b0316836001600160401b031614612b0c57836003016001600160401b0316876001600160401b031614612b0c57866021016001600160401b0316856001600160401b031610612b0c57856003026001600160401b0316846001600160401b031610612b0c578487026001600160401b0316876001600160401b031614612b0c57866037026001600160401b0316826001600160401b03161115612b0c578688016001600160401b0316876001600160401b031611612b0c5784600a026001600160401b0316846001600160401b031603612b0c578589026001600160401b0316876001600160401b031611612b0c5760008051602061362b833981519152604051612afc90602080825260029082015261343160f01b604082015260600190565b60405180910390a1612b0c613614565b506029610108565b6000546001600160401b03166006148015612b3f5750600054600160401b90046001600160401b0316155b15612cbd57826001600160401b0316896001600160401b03161015612cb5578184016001600160401b0316886001600160401b03161115612cb5578184026001600160401b0316876001600160401b031611612cb5576001600160401b038616603e14612cb5576001600160401b038616601314612cb55760176001600160401b03861610612cb55784601b016001600160401b0316846001600160401b03161015612cb557836001600160401b0316826001600160401b03161015612cb55760326001600160401b03841611612cb557876001016001600160401b0316826001600160401b031614612cb5578183016001600160401b0316856001600160401b031614612cb557601d6001600160401b0386161015612cb557846001600160401b0316886001600160401b03161115612cb55760008051602061362b833981519152604051612ca5906020808252600290820152611a1960f11b604082015260600190565b60405180910390a1612cb5613614565b50602a610108565b6000546001600160401b03166006148015612cea5750600054600160401b90046001600160401b03166001145b15612ed35760296001600160401b0384161015612ecb5781603b016001600160401b0316836001600160401b031610612ecb578389026001600160401b0316836001600160401b031603612ecb5781602a016001600160401b0316836001600160401b031603612ecb576001600160401b038089169086161115612ecb576001600160401b038816602414612ecb57856004016001600160401b0316856001600160401b03161015612ecb57836001600160401b0316896001600160401b03161015612ecb578688026001600160401b0316836001600160401b03161015612ecb578786026001600160401b0316856001600160401b031610612ecb578884016001600160401b0316866001600160401b031603612ecb578182016001600160401b0316826001600160401b031611612ecb578187026001600160401b0316896001600160401b03161115612ecb578383026001600160401b0316836001600160401b031610612ecb57836001600160401b0316886001600160401b031611612ecb578186016001600160401b0316886001600160401b03161015612ecb5760008051602061362b833981519152604051612ebb90602080825260029082015261343360f01b604082015260600190565b60405180910390a1612ecb613614565b50602b610108565b6000546001600160401b03166006148015612f005750600054600160401b90046001600160401b03166002145b156130b2578189026001600160401b0316876001600160401b0316036130aa57886011016001600160401b0316856001600160401b031610156130aa57856009026001600160401b0316846001600160401b0316036130aa578683026001600160401b0316856001600160401b031610156130aa57846035016001600160401b0316826001600160401b0316116130aa57886001600160401b0316826001600160401b031611156130aa57866030016001600160401b0316846001600160401b0316036130aa5760136001600160401b038916106130aa57826001600160401b0316846001600160401b031610156130aa578586026001600160401b0316856001600160401b031610156130aa57826001600160401b0316876001600160401b0316116130aa5785602a016001600160401b0316866001600160401b031611156130aa576039196001600160401b038816016130aa5760126001600160401b038a1611156130aa5760008051602061362b83398151915260405161309a906020808252600290820152610d0d60f21b604082015260600190565b60405180910390a16130aa613614565b50602c610108565b6000546001600160401b031660061480156130df5750600054600160401b90046001600160401b03166003145b1561327a57602a196001600160401b03831601613272578186026001600160401b0316856001600160401b0316036132725783600f016001600160401b0316826001600160401b03161061327257816025026001600160401b0316836001600160401b031611156132725785602e026001600160401b0316896001600160401b03160361327257826001600160401b0316856001600160401b03160361327257816001600160401b0316846001600160401b031610613272578482026001600160401b0316896001600160401b031610156132725760276001600160401b038a16106132725783601d026001600160401b0316886001600160401b031610613272578488026001600160401b0316876001600160401b03161461327257826001600160401b0316886001600160401b031611613272578385016001600160401b0316826001600160401b0316146132725760008051602061362b83398151915260405161326290602080825260029082015261343560f01b604082015260600190565b60405180910390a1613272613614565b50602d610108565b6000546001600160401b031660061480156132a75750600054600160401b90046001600160401b03166004145b15613347578683026001600160401b0316856001600160401b03160361333f578785026001600160401b0316856001600160401b03160361333f578786026001600160401b0316846001600160401b03160361333f5760008051602061362b83398151915260405161332f906020808252600290820152611a1b60f11b604082015260600190565b60405180910390a161333f613614565b50602e610108565b6000546001600160401b031660061480156133745750600054600160401b90046001600160401b03166005145b15613429578884016001600160401b0316846001600160401b031611156134215788600f026001600160401b0316896001600160401b031610156134215781602c016001600160401b0316896001600160401b031611613421576001600160401b038616602c146134215760008051602061362b83398151915260405161341190602080825260029082015261343760f01b604082015260600190565b60405180910390a1613421613614565b50602f610108565b6000546001600160401b031660061480156134565750600054600160401b90046001600160401b03166006145b156134f557866001600160401b0316896001600160401b0316116134ed578589026001600160401b0316896001600160401b0316036134ed57876016026001600160401b0316856001600160401b0316106134ed5760008051602061362b8339815191526040516134dd90602080825260029082015261068760f31b604082015260600190565b60405180910390a16134ed613614565b506030610108565b50603198975050505050505050565b80356001600160401b038116811461351b57600080fd5b919050565b600080600080600080600080610100898b03121561353d57600080fd5b61354689613504565b975061355460208a01613504565b965061356260408a01613504565b955061357060608a01613504565b945061357e60808a01613504565b935061358c60a08a01613504565b925061359a60c08a01613504565b91506135a860e08a01613504565b90509295985092959890939650565b634e487b7160e01b600052601160045260246000fd5b6001600160401b038281168282160390808211156135ed576135ed6135b7565b5092915050565b6001600160401b038181168382160190808211156135ed576135ed6135b7565b634e487b7160e01b600052600160045260246000fdfeb42604cb105a16c8f6db8a41e6b00c0c1b4826465e8bc504b3eb3e88b3e6a4a0a264697066735822122072151638978061ac8cba8963e6eb339363726ad53ea8b09b07634075d7e086d864736f6c63430008130033",
        2: "608060405234801561001057600080fd5b506139ec806100206000396000f3fe60806040526004361061003f5760003560e01c80639c7dc76d146100445780639e11e6091461006e578063b11691ec14610081578063bcbc275d14610094575b600080fd5b61005761005236600461388c565b6100a7565b60405160079190910b815260200160405180910390f35b61005761007c36600461388c565b610114565b61005761008f36600461388c565b610188565b6100576100a236600461388c565b6101f6565b600080546001600160401b03166100bd57600080fd5b600080546100d6906001906001600160401b0316613939565b6000805467ffffffffffffffff19166001600160401b03831617905590506101048a8a8a8a8a8a8a8a610250565b9150505b98975050505050505050565b60008054600160401b90046001600160401b031661013157600080fd5b6000805461015190600190600160401b90046001600160401b0316613939565b6000805467ffffffffffffffff60401b1916600160401b6001600160401b0384160217905590506101048a8a8a8a8a8a8a8a610250565b6000805481906101a990600160401b90046001600160401b03166001613960565b90506007816001600160401b0316106101c157600080fd5b6000805467ffffffffffffffff60401b1916600160401b6001600160401b038416021790556101048a8a8a8a8a8a8a8a610250565b600080548190610210906001600160401b03166001613960565b90506007816001600160401b03161061022857600080fd5b6000805467ffffffffffffffff19166001600160401b0383161790556101048a8a8a8a8a8a8a8a5b600080546001600160401b031615801561027a5750600054600160401b90046001600160401b0316155b1561028757506000610108565b6000546001600160401b03161580156102b25750600054600160401b90046001600160401b03166001145b1561039b5760376001600160401b038816116103935781602f026001600160401b0316836001600160401b03161015610393578888016001600160401b0316836001600160401b03161161039357886001600160401b0316866001600160401b0316111561039357836027016001600160401b0316846001600160401b031603610393578582016001600160401b0316836001600160401b0316101561039357600080516020613997833981519152604051610383906020808252600190820152603160f81b604082015260600190565b60405180910390a1610393613980565b506001610108565b6000546001600160401b03161580156103c65750600054600160401b90046001600160401b03166002145b156104a15781601c026001600160401b0316866001600160401b03161115610499578784026001600160401b0316896001600160401b03160361049957866026016001600160401b0316846001600160401b03161461049957846020016001600160401b0316846001600160401b03161461049957846004026001600160401b0316886001600160401b0316111561049957600080516020613997833981519152604051610489906020808252600190820152601960f91b604082015260600190565b60405180910390a1610499613980565b506002610108565b6000546001600160401b03161580156104cc5750600054600160401b90046001600160401b03166003145b156105f4578186016001600160401b0316826001600160401b0316036105ec576001600160401b0384166008146105ec5786601a016001600160401b0316856001600160401b0316116105ec5781603b026001600160401b0316876001600160401b0316146105ec5760306001600160401b03891611156105ec57886027016001600160401b0316826001600160401b0316146105ec5760086001600160401b038716106105ec57816008016001600160401b0316896001600160401b0316036105ec578887026001600160401b0316896001600160401b0316106105ec576000805160206139978339815191526040516105dc906020808252600190820152603360f81b604082015260600190565b60405180910390a16105ec613980565b506003610108565b6000546001600160401b031615801561061f5750600054600160401b90046001600160401b03166004145b156106ed576002196001600160401b038916016106e557816001600160401b0316896001600160401b0316116106e557846023026001600160401b0316896001600160401b031611156106e5578389016001600160401b0316846001600160401b031610156106e5578389016001600160401b0316876001600160401b031610156106e5576000805160206139978339815191526040516106d5906020808252600190820152600d60fa1b604082015260600190565b60405180910390a16106e5613980565b506004610108565b6000546001600160401b03161580156107185750600054600160401b90046001600160401b03166005145b156108b357876040026001600160401b0316876001600160401b031610156108ab57846001600160401b0316826001600160401b031610156108ab5760396001600160401b038a16116108ab576001600160401b0387166030146108ab57856020016001600160401b0316866001600160401b0316146108ab578186016001600160401b0316856001600160401b0316116108ab578484026001600160401b0316826001600160401b0316116108ab578882026001600160401b0316896001600160401b0316116108ab57876001600160401b0316856001600160401b0316146108ab578589016001600160401b0316896001600160401b0316106108ab57836039026001600160401b0316846001600160401b031610156108ab57866001600160401b0316856001600160401b031610156108ab578388026001600160401b0316836001600160401b031611156108ab5760008051602061399783398151915260405161089b906020808252600190820152603560f81b604082015260600190565b60405180910390a16108ab613980565b506005610108565b6000546001600160401b03161580156108de5750600054600160401b90046001600160401b03166006145b156109f957836001600160401b0316866001600160401b0316036109f1576001600160401b0389166109f157856001016001600160401b0316826001600160401b031611156109f1578385026001600160401b0316886001600160401b0316036109f1578783026001600160401b0316896001600160401b0316036109f1578588026001600160401b0316836001600160401b0316146109f15781601c016001600160401b0316856001600160401b031611156109f1578389016001600160401b0316846001600160401b0316116109f1576000805160206139978339815191526040516109e1906020808252600190820152601b60f91b604082015260600190565b60405180910390a16109f1613980565b506006610108565b6000546001600160401b03166001148015610a245750600054600160401b90046001600160401b0316155b15610a2e57600080fd5b6000546001600160401b03166001148015610a5b5750600054600160401b90046001600160401b03166001145b15610bd95781603a016001600160401b0316886001600160401b031603610bd1578383026001600160401b0316876001600160401b03161015610bd157866038026001600160401b0316876001600160401b031603610bd157876021016001600160401b0316846001600160401b031614610bd157836011016001600160401b0316836001600160401b03161115610bd157866001600160401b0316826001600160401b031611610bd15760216001600160401b038a161015610bd1578788026001600160401b0316846001600160401b03161115610bd157886030016001600160401b0316836001600160401b031611610bd1576001600160401b03808316908a1610610bd157856002016001600160401b0316856001600160401b031603610bd15760346001600160401b03891610610bd157600080516020613997833981519152604051610bc1906020808252600190820152600760fb1b604082015260600190565b60405180910390a1610bd1613980565b506008610108565b6000546001600160401b03166001148015610c065750600054600160401b90046001600160401b03166002145b15610d6257846001600160401b0316876001600160401b03161015610d5a5782601c026001600160401b0316886001600160401b03161115610d5a576038196001600160401b03881601610d5a578386016001600160401b0316846001600160401b031610610d5a57856031026001600160401b0316826001600160401b031614610d5a578887016001600160401b0316856001600160401b03161015610d5a5788600f026001600160401b0316846001600160401b031610610d5a578689016001600160401b0316866001600160401b03161115610d5a5786602c026001600160401b0316896001600160401b03161015610d5a57816031026001600160401b0316876001600160401b03161115610d5a57600080516020613997833981519152604051610d4a906020808252600190820152603960f81b604082015260600190565b60405180910390a1610d5a613980565b506009610108565b6000546001600160401b03166001148015610d8f5750600054600160401b90046001600160401b03166003145b15610f2857886006026001600160401b0316836001600160401b031603610f2057846001600160401b0316896001600160401b031610610f20578387016001600160401b0316896001600160401b031611610f20578188016001600160401b0316856001600160401b031611610f20578585016001600160401b0316856001600160401b031610610f2057866001600160401b0316826001600160401b031614610f2057876001600160401b0316856001600160401b03161115610f2057602e6001600160401b038a1611610f20578589016001600160401b0316836001600160401b03161015610f20578483026001600160401b0316846001600160401b03161015610f2057856013016001600160401b0316896001600160401b031610610f2057601d6001600160401b03841611610f20578383026001600160401b0316856001600160401b031610610f2057600080516020613997833981519152604051610f1090602080825260029082015261031360f41b604082015260600190565b60405180910390a1610f20613980565b50600a610108565b6000546001600160401b03166001148015610f555750600054600160401b90046001600160401b03166004145b1561111d578585026001600160401b0316896001600160401b03161015611115578687016001600160401b0316876001600160401b0316111561111557876024016001600160401b0316856001600160401b0316106111155784601c016001600160401b0316856001600160401b031610611115578888016001600160401b0316866001600160401b03161115611115578482026001600160401b0316866001600160401b031614611115576027196001600160401b0387160161111557816015016001600160401b0316886001600160401b0316111561111557826006026001600160401b0316836001600160401b031614611115578887026001600160401b0316856001600160401b03161461111557826001600160401b0316886001600160401b031614611115578283026001600160401b0316886001600160401b03161015611115578287026001600160401b0316846001600160401b03160361111557886036016001600160401b0316886001600160401b0316106111155760008051602061399783398151915260405161110590602080825260029082015261313160f01b604082015260600190565b60405180910390a1611115613980565b50600b610108565b6000546001600160401b0316600114801561114a5750600054600160401b90046001600160401b03166005145b156111575750600c610108565b6000546001600160401b031660011480156111845750600054600160401b90046001600160401b03166006145b1561127f57836001600160401b0316826001600160401b03161015611277578684016001600160401b0316876001600160401b03161115611277576001196001600160401b038616016112775760236001600160401b0385161161127757886001600160401b0316886001600160401b0316111561127757866034016001600160401b0316836001600160401b0316111561127757826037016001600160401b0316826001600160401b0316116112775760008051602061399783398151915260405161126790602080825260029082015261313360f01b604082015260600190565b60405180910390a1611277613980565b50600d610108565b6000546001600160401b031660021480156112aa5750600054600160401b90046001600160401b0316155b156113e1578585016001600160401b0316826001600160401b0316106113d957836031016001600160401b0316876001600160401b0316146113d957876001600160401b0316876001600160401b031611156113d9578886016001600160401b0316866001600160401b031611156113d9578789026001600160401b0316886001600160401b0316146113d957856001600160401b0316896001600160401b0316106113d957846001600160401b0316826001600160401b031611156113d957601f6001600160401b038a1611156113d9578383026001600160401b0316886001600160401b0316106113d9576000805160206139978339815191526040516113c9906020808252600290820152610c4d60f21b604082015260600190565b60405180910390a16113d9613980565b50600e610108565b6000546001600160401b0316600214801561140e5750600054600160401b90046001600160401b03166001145b1561159657836001600160401b0316856001600160401b03161161158e578788016001600160401b0316846001600160401b0316111561158e57876037026001600160401b0316876001600160401b03161161158e57600d196001600160401b0387160161158e57856001600160401b0316856001600160401b03161161158e5782602e026001600160401b0316856001600160401b03161461158e576001600160401b03871660281461158e576001600160401b038216603a1461158e57876001600160401b0316826001600160401b03160361158e576001600160401b038086169089160361158e57846002016001600160401b0316886001600160401b0316101561158e57886001600160401b0316866001600160401b0316111561158e5788603f016001600160401b0316846001600160401b03161461158e5760008051602061399783398151915260405161157e90602080825260029082015261313560f01b604082015260600190565b60405180910390a161158e613980565b50600f610108565b6000546001600160401b031660021480156115c35750600054600160401b90046001600160401b03166002145b156117b757876001600160401b0316826001600160401b0316116117af57826001600160401b0316866001600160401b0316116117af57846001600160401b0316846001600160401b031610156117af57876004026001600160401b0316876001600160401b031611156117af578486016001600160401b0316886001600160401b0316036117af578685026001600160401b0316886001600160401b0316106117af5781601c026001600160401b0316886001600160401b0316146117af57886030016001600160401b0316896001600160401b0316036117af57856024016001600160401b0316826001600160401b0316146117af5760116001600160401b038316116117af578583026001600160401b0316876001600160401b0316116117af578484016001600160401b0316866001600160401b031610156117af57836001600160401b0316876001600160401b0316106117af57886013026001600160401b0316856001600160401b0316036117af5787602c016001600160401b0316896001600160401b0316036117af57856001600160401b0316836001600160401b0316036117af5760008051602061399783398151915260405161179f90602080825260029082015261189b60f11b604082015260600190565b60405180910390a16117af613980565b506010610108565b6000546001600160401b031660021480156117e45750600054600160401b90046001600160401b03166003145b1561194757876001016001600160401b0316836001600160401b03161061193f5760076001600160401b038316111561193f578585016001600160401b0316826001600160401b0316111561193f57846034016001600160401b0316846001600160401b0316111561193f57866034016001600160401b0316886001600160401b03161061193f57836025016001600160401b0316846001600160401b0316111561193f5760216001600160401b0387161061193f578286026001600160401b0316866001600160401b03160361193f578285026001600160401b0316856001600160401b03161461193f57876006016001600160401b0316846001600160401b03161061193f5760196001600160401b0387161161193f5760008051602061399783398151915260405161192f90602080825260029082015261313760f01b604082015260600190565b60405180910390a161193f613980565b506011610108565b6000546001600160401b031660021480156119745750600054600160401b90046001600160401b03166004145b15611a8c5760066001600160401b0384161015611a8457856036026001600160401b0316846001600160401b03161115611a84578782016001600160401b0316846001600160401b031610611a8457816001600160401b0316866001600160401b031611611a84578387016001600160401b0316846001600160401b03161015611a845781600a026001600160401b0316896001600160401b031614611a8457866025016001600160401b0316886001600160401b031603611a8457601d196001600160401b03861601611a8457600080516020613997833981519152604051611a7490602080825260029082015261062760f31b604082015260600190565b60405180910390a1611a84613980565b506012610108565b6000546001600160401b03166002148015611ab95750600054600160401b90046001600160401b03166005145b15611c1f57856037016001600160401b0316846001600160401b031611611c17578386026001600160401b0316876001600160401b031611611c17578286026001600160401b0316846001600160401b031610611c1757866025026001600160401b0316866001600160401b03161115611c17578282026001600160401b0316836001600160401b03161115611c1757826038016001600160401b0316886001600160401b03161015611c1757866015026001600160401b0316856001600160401b031611611c17578284016001600160401b0316876001600160401b031614611c175784602e026001600160401b0316846001600160401b031614611c1757856013026001600160401b0316856001600160401b031610611c1757600080516020613997833981519152604051611c0790602080825260029082015261313960f01b604082015260600190565b60405180910390a1611c17613980565b506013610108565b6000546001600160401b03166002148015611c4c5750600054600160401b90046001600160401b03166006145b15611c5957506014610108565b6000546001600160401b03166003148015611c845750600054600160401b90046001600160401b0316155b15611c9157506015610108565b6000546001600160401b03166003148015611cbe5750600054600160401b90046001600160401b03166001145b15611e165785600d026001600160401b0316866001600160401b031614611e0e5760286001600160401b0387161015611e0e578785016001600160401b0316836001600160401b031603611e0e57886027016001600160401b0316836001600160401b03161015611e0e5782601d016001600160401b0316886001600160401b031614611e0e57826001600160401b0316896001600160401b03161015611e0e578487016001600160401b0316846001600160401b03161115611e0e57856001600160401b0316856001600160401b03161015611e0e57886018026001600160401b0316846001600160401b031603611e0e578883016001600160401b0316856001600160401b031614611e0e57600080516020613997833981519152604051611dfe90602080825260029082015261191960f11b604082015260600190565b60405180910390a1611e0e613980565b506016610108565b6000546001600160401b03166003148015611e435750600054600160401b90046001600160401b03166002145b15611fe457826028026001600160401b0316836001600160401b03161015611fdc578288016001600160401b0316876001600160401b031603611fdc57846001600160401b0316836001600160401b031614611fdc578583016001600160401b0316856001600160401b031610611fdc57886001600160401b0316876001600160401b031610611fdc57603a6001600160401b0384161015611fdc57846001600160401b0316866001600160401b031611611fdc5760326001600160401b03891611611fdc578484016001600160401b0316826001600160401b03161115611fdc578486026001600160401b0316866001600160401b03161015611fdc576013196001600160401b03881601611fdc5760036001600160401b0383161115611fdc57876001600160401b0316856001600160401b031603611fdc578782026001600160401b0316836001600160401b03161115611fdc57600080516020613997833981519152604051611fcc90602080825260029082015261323360f01b604082015260600190565b60405180910390a1611fdc613980565b506017610108565b6000546001600160401b031660031480156120115750600054600160401b90046001600160401b03166003145b1561219b57866023026001600160401b0316836001600160401b031610612193578585016001600160401b0316876001600160401b0316146121935760386001600160401b038916101561219357846014016001600160401b0316876001600160401b0316116121935787602f026001600160401b0316856001600160401b0316101561219357886031026001600160401b0316846001600160401b0316036121935784602b026001600160401b0316866001600160401b031614612193578585026001600160401b0316886001600160401b0316036121935760146001600160401b038a16111561219357836036016001600160401b0316876001600160401b03161015612193578285016001600160401b0316826001600160401b03160361219357856010026001600160401b0316876001600160401b03161161219357600080516020613997833981519152604051612183906020808252600290820152610c8d60f21b604082015260600190565b60405180910390a1612193613980565b506018610108565b6000546001600160401b031660031480156121c85750600054600160401b90046001600160401b03166004145b1561235257600a6001600160401b0387161061234a57826001600160401b0316896001600160401b03161161234a578689026001600160401b0316876001600160401b0316101561234a578886016001600160401b0316836001600160401b0316111561234a578285016001600160401b0316896001600160401b0316111561234a578489016001600160401b0316836001600160401b03161061234a578382016001600160401b0316866001600160401b03161461234a5788602f026001600160401b0316856001600160401b0316111561234a57826001600160401b0316856001600160401b03160361234a578483026001600160401b0316836001600160401b0316101561234a57856031016001600160401b0316856001600160401b03161461234a57856001600160401b0316856001600160401b03161061234a5760008051602061399783398151915260405161233a90602080825260029082015261323560f01b604082015260600190565b60405180910390a161234a613980565b506019610108565b6000546001600160401b0316600314801561237f5750600054600160401b90046001600160401b03166005145b156123fc5760166001600160401b03861611156123f4578787026001600160401b0316826001600160401b031611156123f4576000805160206139978339815191526040516123e490602080825260029082015261191b60f11b604082015260600190565b60405180910390a16123f4613980565b50601a610108565b6000546001600160401b031660031480156124295750600054600160401b90046001600160401b03166006145b156124c257856004016001600160401b0316886001600160401b0316116124ba57603e6001600160401b03841611156124ba57876004016001600160401b0316856001600160401b0316106124ba576000805160206139978339815191526040516124aa90602080825260029082015261323760f01b604082015260600190565b60405180910390a16124ba613980565b50601b610108565b6000546001600160401b031660041480156124ed5750600054600160401b90046001600160401b0316155b1561263d578889016001600160401b0316856001600160401b031611156126355783603d026001600160401b0316826001600160401b031614612635578589026001600160401b0316896001600160401b031610612635576031196001600160401b03841601612635578585016001600160401b0316896001600160401b03161061263557836025016001600160401b0316866001600160401b031610156126355786600e026001600160401b0316836001600160401b03160361263557856010026001600160401b0316846001600160401b0316111561263557846001600160401b0316836001600160401b031614612635576022196001600160401b038916016126355760008051602061399783398151915260405161262590602080825260029082015261064760f31b604082015260600190565b60405180910390a1612635613980565b50601c610108565b6000546001600160401b0316600414801561266a5750600054600160401b90046001600160401b03166001145b1561272557886039016001600160401b0316846001600160401b03160361271d57816001600160401b0316836001600160401b03161061271d578288016001600160401b0316886001600160401b0316101561271d578483026001600160401b0316886001600160401b03161161271d5760008051602061399783398151915260405161270d90602080825260029082015261323960f01b604082015260600190565b60405180910390a161271d613980565b50601d610108565b6000546001600160401b031660041480156127525750600054600160401b90046001600160401b03166002145b156128c357866023016001600160401b0316826001600160401b0316036128bb578787026001600160401b0316856001600160401b0316146128bb57876001600160401b0316856001600160401b0316146128bb578686016001600160401b0316856001600160401b031611156128bb578883016001600160401b0316876001600160401b031610156128bb578288016001600160401b0316866001600160401b031610156128bb578684016001600160401b0316886001600160401b0316036128bb578686026001600160401b0316896001600160401b0316036128bb57816001600160401b0316886001600160401b031610156128bb5760256001600160401b038a16116128bb57856025016001600160401b0316876001600160401b031610156128bb576000805160206139978339815191526040516128ab90602080825260029082015261033360f41b604082015260600190565b60405180910390a16128bb613980565b50601e610108565b6000546001600160401b031660041480156128f05750600054600160401b90046001600160401b03166003145b156129e7578389026001600160401b0316856001600160401b0316116129df578483016001600160401b0316866001600160401b031611156129df578686016001600160401b0316826001600160401b031610156129df5785602f026001600160401b0316866001600160401b031610156129df578182016001600160401b0316886001600160401b031611156129df578482026001600160401b0316866001600160401b031611156129df576000805160206139978339815191526040516129cf90602080825260029082015261333160f01b604082015260600190565b60405180910390a16129df613980565b50601f610108565b6000546001600160401b03166004148015612a145750600054600160401b90046001600160401b03166004145b15612a1e57600080fd5b6000546001600160401b03166004148015612a4b5750600054600160401b90046001600160401b03166005145b15612af45788601c026001600160401b0316866001600160401b031614612aec576001600160401b038316600a14612aec576001600160401b038216600314612aec578288026001600160401b0316836001600160401b03161115612aec57600080516020613997833981519152604051612adc90602080825260029082015261333360f01b604082015260600190565b60405180910390a1612aec613980565b506021610108565b6000546001600160401b03166004148015612b215750600054600160401b90046001600160401b03166006145b15612ca35781601e016001600160401b0316896001600160401b03161015612c9b57826001600160401b0316896001600160401b031610612c9b57856028026001600160401b0316886001600160401b031614612c9b576001600160401b038316601d14612c9b578585026001600160401b0316846001600160401b03161115612c9b57886034016001600160401b0316886001600160401b031614612c9b57876001600160401b0316896001600160401b031614612c9b57846017016001600160401b0316856001600160401b031603612c9b57876013016001600160401b0316846001600160401b031611612c9b578389016001600160401b0316886001600160401b031603612c9b578883026001600160401b0316866001600160401b031611612c9b576001600160401b038516603e14612c9b57600080516020613997833981519152604051612c8b906020808252600290820152610ccd60f21b604082015260600190565b60405180910390a1612c9b613980565b506022610108565b6000546001600160401b03166005148015612cce5750600054600160401b90046001600160401b0316155b15612dc2578288026001600160401b0316856001600160401b03161115612dba578682026001600160401b0316886001600160401b03161115612dba576001600160401b038516602114612dba576001600160401b0380841690851603612dba578384016001600160401b0316836001600160401b03161115612dba578584026001600160401b0316826001600160401b03161115612dba57600c6001600160401b03841611612dba57600080516020613997833981519152604051612daa90602080825260029082015261333560f01b604082015260600190565b60405180910390a1612dba613980565b506023610108565b6000546001600160401b03166005148015612def5750600054600160401b90046001600160401b03166001145b15612f0c57866001600160401b0316826001600160401b03161115612f045760246001600160401b038a161015612f045782600f026001600160401b0316836001600160401b031614612f045785600f016001600160401b0316856001600160401b031614612f0457866001600160401b0316826001600160401b031611612f0457866001600160401b0316846001600160401b03161115612f04578388016001600160401b0316836001600160401b031603612f04578384016001600160401b0316846001600160401b03161115612f0457600080516020613997833981519152604051612ef490602080825260029082015261199b60f11b604082015260600190565b60405180910390a1612f04613980565b506024610108565b6000546001600160401b03166005148015612f395750600054600160401b90046001600160401b03166002145b15612f4657506025610108565b6000546001600160401b03166005148015612f735750600054600160401b90046001600160401b03166003145b15612fee578483026001600160401b0316846001600160401b031610612fe65760366001600160401b03831611612fe657600080516020613997833981519152604051612fd690602080825260029082015261066760f31b604082015260600190565b60405180910390a1612fe6613980565b506026610108565b6000546001600160401b0316600514801561301b5750600054600160401b90046001600160401b03166004145b156130a0578288026001600160401b0316886001600160401b031610613098578189026001600160401b0316856001600160401b0316036130985760008051602061399783398151915260405161308890602080825260029082015261333960f01b604082015260600190565b60405180910390a1613098613980565b506027610108565b6000546001600160401b031660051480156130cd5750600054600160401b90046001600160401b03166005145b156131565788601a016001600160401b0316886001600160401b0316111561314e57836017026001600160401b0316846001600160401b0316101561314e5760008051602061399783398151915260405161313e90602080825260029082015261034360f41b604082015260600190565b60405180910390a161314e613980565b506028610108565b6000546001600160401b031660051480156131835750600054600160401b90046001600160401b03166006145b1561327f5760276001600160401b038a161015613277576001600160401b038716600d146132775788603d016001600160401b0316876001600160401b03160361327757826001600160401b0316886001600160401b03160361327757856018016001600160401b0316836001600160401b0316036132775781602a026001600160401b0316896001600160401b03161061327757866025016001600160401b0316866001600160401b031610156132775760008051602061399783398151915260405161326790602080825260029082015261343160f01b604082015260600190565b60405180910390a1613277613980565b506029610108565b6000546001600160401b031660061480156132aa5750600054600160401b90046001600160401b0316155b1561334b578683016001600160401b0316896001600160401b031614613343578184026001600160401b0316846001600160401b0316116133435782600f016001600160401b0316826001600160401b03161161334357600080516020613997833981519152604051613333906020808252600290820152611a1960f11b604082015260600190565b60405180910390a1613343613980565b50602a610108565b6000546001600160401b031660061480156133785750600054600160401b90046001600160401b03166001145b156133f45760346001600160401b038916116133ec57876023016001600160401b0316856001600160401b0316116133ec576000805160206139978339815191526040516133dc90602080825260029082015261343360f01b604082015260600190565b60405180910390a16133ec613980565b50602b610108565b6000546001600160401b031660061480156134215750600054600160401b90046001600160401b03166002145b1561351357816001600160401b0316836001600160401b03161061350b578384016001600160401b0316856001600160401b03161161350b57886003016001600160401b0316826001600160401b03161061350b5786603c026001600160401b0316836001600160401b0316101561350b57856027026001600160401b0316886001600160401b0316101561350b57866001600160401b0316846001600160401b03161461350b576000805160206139978339815191526040516134fb906020808252600290820152610d0d60f21b604082015260600190565b60405180910390a161350b613980565b50602c610108565b6000546001600160401b031660061480156135405750600054600160401b90046001600160401b03166003145b1561370657826022026001600160401b0316846001600160401b0316106136fe576001600160401b038916603f146136fe57856028026001600160401b0316846001600160401b031610156136fe57826001600160401b0316846001600160401b031611156136fe57601f6001600160401b038716106136fe578186016001600160401b0316826001600160401b031610156136fe578782016001600160401b0316886001600160401b031611156136fe5782603f016001600160401b0316836001600160401b0316036136fe578688016001600160401b0316896001600160401b0316106136fe578183026001600160401b0316896001600160401b0316036136fe5760376001600160401b03861610156136fe576001600160401b0386166007146136fe578583016001600160401b0316886001600160401b031610156136fe57846007026001600160401b0316896001600160401b031610156136fe57856034016001600160401b0316836001600160401b0316116136fe576000805160206139978339815191526040516136ee90602080825260029082015261343560f01b604082015260600190565b60405180910390a16136fe613980565b50602d610108565b6000546001600160401b031660061480156137335750600054600160401b90046001600160401b03166004145b156137f0578189016001600160401b0316826001600160401b0316146137e8578787026001600160401b0316876001600160401b031611156137e85787601e026001600160401b0316826001600160401b0316146137e8578887026001600160401b0316836001600160401b0316106137e8576000805160206139978339815191526040516137d8906020808252600290820152611a1b60f11b604082015260600190565b60405180910390a16137e8613980565b50602e610108565b6000546001600160401b0316600614801561381d5750600054600160401b90046001600160401b03166005145b1561382a5750602f610108565b6000546001600160401b031660061480156138575750600054600160401b90046001600160401b03166006145b1561386157600080fd5b50603198975050505050505050565b80356001600160401b038116811461388757600080fd5b919050565b600080600080600080600080610100898b0312156138a957600080fd5b6138b289613870565b97506138c060208a01613870565b96506138ce60408a01613870565b95506138dc60608a01613870565b94506138ea60808a01613870565b93506138f860a08a01613870565b925061390660c08a01613870565b915061391460e08a01613870565b90509295985092959890939650565b634e487b7160e01b600052601160045260246000fd5b6001600160401b0382811682821603908082111561395957613959613923565b5092915050565b6001600160401b0381811683821601908082111561395957613959613923565b634e487b7160e01b600052600160045260246000fdfeb42604cb105a16c8f6db8a41e6b00c0c1b4826465e8bc504b3eb3e88b3e6a4a0a2646970667358221220eb4a21ae27262db46a7beb3fbf2fa17cc9ee813b7d21c765f8415db0a51fba8e64736f6c63430008130033",
        3: "608060405234801561001057600080fd5b50613818806100206000396000f3fe60806040526004361061003f5760003560e01c80639c7dc76d146100445780639e11e6091461006e578063b11691ec14610081578063bcbc275d14610094575b600080fd5b6100576100523660046136b8565b6100a7565b60405160079190910b815260200160405180910390f35b61005761007c3660046136b8565b610114565b61005761008f3660046136b8565b610188565b6100576100a23660046136b8565b6101f6565b600080546001600160401b03166100bd57600080fd5b600080546100d6906001906001600160401b0316613765565b6000805467ffffffffffffffff19166001600160401b03831617905590506101048a8a8a8a8a8a8a8a610250565b9150505b98975050505050505050565b60008054600160401b90046001600160401b031661013157600080fd5b6000805461015190600190600160401b90046001600160401b0316613765565b6000805467ffffffffffffffff60401b1916600160401b6001600160401b0384160217905590506101048a8a8a8a8a8a8a8a610250565b6000805481906101a990600160401b90046001600160401b0316600161378c565b90506007816001600160401b0316106101c157600080fd5b6000805467ffffffffffffffff60401b1916600160401b6001600160401b038416021790556101048a8a8a8a8a8a8a8a610250565b600080548190610210906001600160401b0316600161378c565b90506007816001600160401b03161061022857600080fd5b6000805467ffffffffffffffff19166001600160401b0383161790556101048a8a8a8a8a8a8a8a5b600080546001600160401b031615801561027a5750600054600160401b90046001600160401b0316155b1561028757506000610108565b6000546001600160401b03161580156102b25750600054600160401b90046001600160401b03166001145b15610376576001600160401b038816601a1461036e57601b6001600160401b038716101561036e57836008016001600160401b0316866001600160401b0316111561036e578287026001600160401b0316836001600160401b03161161036e578782016001600160401b0316836001600160401b03160361036e576000805160206137c383398151915260405161035e906020808252600190820152603160f81b604082015260600190565b60405180910390a161036e6137ac565b506001610108565b6000546001600160401b03161580156103a15750600054600160401b90046001600160401b03166002145b156104ee578883016001600160401b0316846001600160401b0316036104e657826001600160401b0316876001600160401b0316116104e657836021026001600160401b0316856001600160401b0316116104e6578389026001600160401b0316886001600160401b0316116104e6576001600160401b0384166015146104e657600d6001600160401b03891611156104e657876032026001600160401b0316886001600160401b031610156104e657886006026001600160401b0316836001600160401b0316106104e657816040026001600160401b0316846001600160401b0316146104e6578186026001600160401b0316866001600160401b031611156104e6576000805160206137c38339815191526040516104d6906020808252600190820152601960f91b604082015260600190565b60405180910390a16104e66137ac565b506002610108565b6000546001600160401b03161580156105195750600054600160401b90046001600160401b03166003145b1561059e578385016001600160401b0316876001600160401b03161161059657816026026001600160401b0316896001600160401b031611610596576000805160206137c3833981519152604051610586906020808252600190820152603360f81b604082015260600190565b60405180910390a16105966137ac565b506003610108565b6000546001600160401b03161580156105c95750600054600160401b90046001600160401b03166004145b156105d357600080fd5b6000546001600160401b03161580156105fe5750600054600160401b90046001600160401b03166005145b1561060857600080fd5b6000546001600160401b03161580156106335750600054600160401b90046001600160401b03166006145b156106af57602f196001600160401b038a16016106a7578185026001600160401b0316846001600160401b031611156106a7576000805160206137c3833981519152604051610697906020808252600190820152601b60f91b604082015260600190565b60405180910390a16106a76137ac565b506006610108565b6000546001600160401b031660011480156106da5750600054600160401b90046001600160401b0316155b156107d9578585016001600160401b0316886001600160401b031610156107d15787601b016001600160401b0316886001600160401b031611156107d15760346001600160401b03841610156107d157816038016001600160401b0316856001600160401b0316106107d15760066001600160401b03851611156107d1578882026001600160401b0316886001600160401b031610156107d15781603a016001600160401b0316846001600160401b0316106107d1576000805160206137c38339815191526040516107c1906020808252600190820152603760f81b604082015260600190565b60405180910390a16107d16137ac565b506007610108565b6000546001600160401b031660011480156108065750600054600160401b90046001600160401b03166001145b1561088957816001600160401b0316856001600160401b0316116108815781600d026001600160401b0316846001600160401b031614610881576000805160206137c3833981519152604051610871906020808252600190820152600760fb1b604082015260600190565b60405180910390a16108816137ac565b506008610108565b6000546001600160401b031660011480156108b65750600054600160401b90046001600160401b03166002145b156109da57876039016001600160401b0316836001600160401b031610156109d257602f6001600160401b03841611156109d25787603a026001600160401b0316886001600160401b0316116109d257856021016001600160401b0316876001600160401b0316116109d25781601a016001600160401b0316856001600160401b0316146109d257866038026001600160401b0316876001600160401b031611156109d2578587026001600160401b0316896001600160401b0316146109d2578789016001600160401b0316886001600160401b0316116109d2576000805160206137c38339815191526040516109c2906020808252600190820152603960f81b604082015260600190565b60405180910390a16109d26137ac565b506009610108565b6000546001600160401b03166001148015610a075750600054600160401b90046001600160401b03166003145b15610b77578786016001600160401b0316866001600160401b031610610b6f57826028016001600160401b0316826001600160401b031614610b6f57846001600160401b0316896001600160401b031603610b6f5785601d016001600160401b0316836001600160401b03161115610b6f57856037016001600160401b0316836001600160401b031610610b6f57836001600160401b0316896001600160401b03161015610b6f578283026001600160401b0316876001600160401b031611610b6f578285016001600160401b0316826001600160401b031611610b6f5760186001600160401b03881610610b6f578582026001600160401b0316846001600160401b03161115610b6f578683026001600160401b0316866001600160401b031611610b6f576000805160206137c3833981519152604051610b5f90602080825260029082015261031360f41b604082015260600190565b60405180910390a1610b6f6137ac565b50600a610108565b6000546001600160401b03166001148015610ba45750600054600160401b90046001600160401b03166004145b15610cb6576001600160401b038416603b14610cae57846001600160401b0316826001600160401b031614610cae57836001600160401b0316856001600160401b031614610cae5784602a016001600160401b0316886001600160401b031603610cae57866001600160401b0316896001600160401b031610610cae57826022026001600160401b0316826001600160401b03161115610cae5760026001600160401b0388161115610cae578385016001600160401b0316826001600160401b03161115610cae576000805160206137c3833981519152604051610c9e90602080825260029082015261313160f01b604082015260600190565b60405180910390a1610cae6137ac565b50600b610108565b6000546001600160401b03166001148015610ce35750600054600160401b90046001600160401b03166005145b15610d79576007196001600160401b03831601610d7157876001600160401b0316866001600160401b031610610d71578289016001600160401b0316856001600160401b03161115610d71576000805160206137c3833981519152604051610d6190602080825260029082015261189960f11b604082015260600190565b60405180910390a1610d716137ac565b50600c610108565b6000546001600160401b03166001148015610da65750600054600160401b90046001600160401b03166006145b15610f4e57846001600160401b0316876001600160401b031603610f4657816016026001600160401b0316866001600160401b03161115610f4657603d6001600160401b0386161115610f465783603b016001600160401b0316886001600160401b031603610f46578185016001600160401b0316886001600160401b031611610f46578483026001600160401b0316896001600160401b03161015610f4657886003026001600160401b0316856001600160401b031610610f4657856030016001600160401b0316856001600160401b031614610f4657826034016001600160401b0316896001600160401b031614610f4657816001600160401b0316876001600160401b031603610f4657876001600160401b0316846001600160401b031610610f465783602d026001600160401b0316866001600160401b03161115610f46578888026001600160401b0316846001600160401b031611610f46576000805160206137c3833981519152604051610f3690602080825260029082015261313360f01b604082015260600190565b60405180910390a1610f466137ac565b50600d610108565b6000546001600160401b03166002148015610f795750600054600160401b90046001600160401b0316155b15610f865750600e610108565b6000546001600160401b03166002148015610fb35750600054600160401b90046001600160401b03166001145b15611177578489016001600160401b0316836001600160401b03160361116f57886001600160401b0316836001600160401b03161161116f5784602e026001600160401b0316886001600160401b0316101561116f576015196001600160401b0386160161116f57856040026001600160401b0316836001600160401b03160361116f5784600a026001600160401b0316836001600160401b03160361116f57846006026001600160401b0316836001600160401b0316111561116f578386016001600160401b0316866001600160401b03161061116f57836038016001600160401b0316886001600160401b03161461116f578489016001600160401b0316876001600160401b03161161116f578684026001600160401b0316846001600160401b0316101561116f578584026001600160401b0316856001600160401b03161461116f5760056001600160401b0389161061116f57603c196001600160401b0386160161116f57602a6001600160401b038a161161116f576000805160206137c383398151915260405161115f90602080825260029082015261313560f01b604082015260600190565b60405180910390a161116f6137ac565b50600f610108565b6000546001600160401b031660021480156111a45750600054600160401b90046001600160401b03166002145b156112cf578486026001600160401b0316836001600160401b0316116112c75786603e016001600160401b0316836001600160401b031610156112c757886001600160401b0316856001600160401b0316106112c757816038016001600160401b0316866001600160401b0316116112c757866020016001600160401b0316896001600160401b0316106112c7578689026001600160401b0316886001600160401b0316106112c75783602b026001600160401b0316896001600160401b0316146112c75783603f026001600160401b0316846001600160401b0316036112c7576000805160206137c38339815191526040516112b790602080825260029082015261189b60f11b604082015260600190565b60405180910390a16112c76137ac565b506010610108565b6000546001600160401b031660021480156112fc5750600054600160401b90046001600160401b03166003145b1561130957506011610108565b6000546001600160401b031660021480156113365750600054600160401b90046001600160401b03166004145b156114fa57876001600160401b0316846001600160401b031611156114f2578185026001600160401b0316896001600160401b0316036114f2578689016001600160401b0316836001600160401b031610156114f257876039026001600160401b0316866001600160401b0316106114f2578783026001600160401b0316886001600160401b0316106114f25760406001600160401b038316116114f2578883016001600160401b0316876001600160401b031610156114f257836001600160401b0316896001600160401b031610156114f2578484016001600160401b0316886001600160401b031611156114f257886001600160401b0316876001600160401b031611156114f2578585026001600160401b0316896001600160401b0316106114f2578388016001600160401b0316886001600160401b031610156114f257816030026001600160401b0316886001600160401b031610156114f257836022026001600160401b0316856001600160401b0316036114f2576000805160206137c38339815191526040516114e290602080825260029082015261062760f31b604082015260600190565b60405180910390a16114f26137ac565b506012610108565b6000546001600160401b031660021480156115275750600054600160401b90046001600160401b03166005145b1561153157600080fd5b6000546001600160401b0316600214801561155e5750600054600160401b90046001600160401b03166006145b1561168c5760166001600160401b03831611611684578489026001600160401b0316826001600160401b0316036116845760086001600160401b0386161161168457836001600160401b0316836001600160401b031611611684578184026001600160401b0316886001600160401b03161115611684578382026001600160401b0316826001600160401b0316101561168457836003026001600160401b0316826001600160401b03161161168457836001600160401b0316866001600160401b0316116116845783600d026001600160401b0316836001600160401b031610611684576000805160206137c383398151915260405161167490602080825260029082015261032360f41b604082015260600190565b60405180910390a16116846137ac565b506014610108565b6000546001600160401b031660031480156116b75750600054600160401b90046001600160401b0316155b156116c157600080fd5b6000546001600160401b031660031480156116ee5750600054600160401b90046001600160401b03166001145b156116fb57506016610108565b6000546001600160401b031660031480156117285750600054600160401b90046001600160401b03166002145b15611851578882026001600160401b0316836001600160401b03161115611849578483016001600160401b0316876001600160401b03161161184957816001600160401b0316876001600160401b03160361184957876001600160401b0316896001600160401b031611156118495788601c016001600160401b0316866001600160401b0316111561184957886024026001600160401b0316856001600160401b031611611849578489016001600160401b0316826001600160401b03161115611849578589016001600160401b0316846001600160401b031610611849576000805160206137c383398151915260405161183990602080825260029082015261323360f01b604082015260600190565b60405180910390a16118496137ac565b506017610108565b6000546001600160401b0316600314801561187e5750600054600160401b90046001600160401b03166003145b156119f057603c6001600160401b03861611156119e857856012026001600160401b0316826001600160401b0316106119e857846031026001600160401b0316846001600160401b0316106119e857886001600160401b0316866001600160401b0316116119e8578387016001600160401b0316876001600160401b0316146119e85785600b026001600160401b0316896001600160401b0316116119e857826012026001600160401b0316876001600160401b0316106119e857836001600160401b0316866001600160401b0316146119e85781602a016001600160401b0316886001600160401b0316116119e857836015016001600160401b0316846001600160401b0316036119e857846031016001600160401b0316846001600160401b0316106119e8576000805160206137c38339815191526040516119d8906020808252600290820152610c8d60f21b604082015260600190565b60405180910390a16119e86137ac565b506018610108565b6000546001600160401b03166003148015611a1d5750600054600160401b90046001600160401b03166004145b15611b04578489026001600160401b0316846001600160401b03161115611afc57846001600160401b0316866001600160401b03161115611afc578784026001600160401b0316896001600160401b031614611afc5760076001600160401b0387161015611afc5787600b016001600160401b0316826001600160401b031614611afc57856001600160401b0316826001600160401b031614611afc576000805160206137c3833981519152604051611aec90602080825260029082015261323560f01b604082015260600190565b60405180910390a1611afc6137ac565b506019610108565b6000546001600160401b03166003148015611b315750600054600160401b90046001600160401b03166005145b15611d0c5760256001600160401b0385161015611d04578184026001600160401b0316866001600160401b031611611d04576023196001600160401b03881601611d045760066001600160401b03841610611d04578387026001600160401b0316836001600160401b031614611d0457846001600160401b0316846001600160401b03161115611d045760126001600160401b0389161015611d0457826001600160401b0316856001600160401b03161115611d04578882016001600160401b0316846001600160401b031611611d0457876001600160401b0316846001600160401b031614611d045787602a016001600160401b0316896001600160401b031614611d04578284016001600160401b0316896001600160401b031614611d04578386026001600160401b0316836001600160401b031611611d045782600c026001600160401b0316836001600160401b031614611d04578485026001600160401b0316876001600160401b03161115611d0457826017026001600160401b0316836001600160401b03161015611d04576000805160206137c3833981519152604051611cf490602080825260029082015261191b60f11b604082015260600190565b60405180910390a1611d046137ac565b50601a610108565b6000546001600160401b03166003148015611d395750600054600160401b90046001600160401b03166006145b15611ef45785600c016001600160401b0316836001600160401b031603611eec57826034026001600160401b0316886001600160401b031610611eec57886014016001600160401b0316886001600160401b03161015611eec5760056001600160401b0384161115611eec5760196001600160401b03871611611eec578687026001600160401b0316856001600160401b031610611eec57856010026001600160401b0316856001600160401b031614611eec5781601b026001600160401b0316836001600160401b03161115611eec5787602f026001600160401b0316866001600160401b03161115611eec57836017026001600160401b0316876001600160401b031614611eec57886032026001600160401b0316846001600160401b03161115611eec57826034026001600160401b0316886001600160401b03161015611eec578288026001600160401b0316896001600160401b031614611eec576012196001600160401b03861601611eec576000805160206137c3833981519152604051611edc90602080825260029082015261323760f01b604082015260600190565b60405180910390a1611eec6137ac565b50601b610108565b6000546001600160401b03166004148015611f1f5750600054600160401b90046001600160401b0316155b15611f2957600080fd5b6000546001600160401b03166004148015611f565750600054600160401b90046001600160401b03166001145b156120a757816034016001600160401b0316876001600160401b03161161209f578387016001600160401b0316836001600160401b03161061209f57886001600160401b0316856001600160401b03161161209f578187016001600160401b0316826001600160401b0316111561209f5760346001600160401b0386161161209f57886021026001600160401b0316866001600160401b03161061209f578585026001600160401b0316876001600160401b03161061209f57836001600160401b0316876001600160401b0316101561209f578287026001600160401b0316886001600160401b03160361209f57816001600160401b0316846001600160401b03161461209f576000805160206137c383398151915260405161208f90602080825260029082015261323960f01b604082015260600190565b60405180910390a161209f6137ac565b50601d610108565b6000546001600160401b031660041480156120d45750600054600160401b90046001600160401b03166002145b1561221a578389016001600160401b0316886001600160401b0316116122125786603a026001600160401b0316896001600160401b0316111561221257866001600160401b0316846001600160401b031610156122125784602a026001600160401b0316836001600160401b0316111561221257886036026001600160401b0316866001600160401b031603612212578788016001600160401b0316886001600160401b03161061221257826001600160401b0316846001600160401b03161061221257876027016001600160401b0316836001600160401b0316146122125786601e016001600160401b0316856001600160401b031603612212576000805160206137c383398151915260405161220290602080825260029082015261033360f41b604082015260600190565b60405180910390a16122126137ac565b50601e610108565b6000546001600160401b031660041480156122475750600054600160401b90046001600160401b03166003145b156122545750601f610108565b6000546001600160401b031660041480156122815750600054600160401b90046001600160401b03166004145b156123f2578389016001600160401b0316826001600160401b0316106123ea5788601a026001600160401b0316846001600160401b0316036123ea578885026001600160401b0316826001600160401b0316036123ea578387026001600160401b0316846001600160401b031611156123ea5784601c026001600160401b0316886001600160401b0316116123ea578885016001600160401b0316876001600160401b031611156123ea5760246001600160401b038616116123ea57886001600160401b0316866001600160401b031611156123ea578183026001600160401b0316836001600160401b031611156123ea578586016001600160401b0316826001600160401b0316106123ea57856001600160401b0316856001600160401b031611156123ea576000805160206137c38339815191526040516123da90602080825260029082015261199960f11b604082015260600190565b60405180910390a16123ea6137ac565b506020610108565b6000546001600160401b0316600414801561241f5750600054600160401b90046001600160401b03166005145b1561251357816001600160401b0316856001600160401b03161161250b578583026001600160401b0316866001600160401b03161461250b57876020026001600160401b0316876001600160401b03160361250b57876019026001600160401b0316846001600160401b0316111561250b5781602d026001600160401b0316826001600160401b0316101561250b578585016001600160401b0316826001600160401b03161061250b576000805160206137c38339815191526040516124fb90602080825260029082015261333360f01b604082015260600190565b60405180910390a161250b6137ac565b506021610108565b6000546001600160401b031660041480156125405750600054600160401b90046001600160401b03166006145b1561254d57506022610108565b6000546001600160401b031660051480156125785750600054600160401b90046001600160401b0316155b1561270257826001600160401b0316856001600160401b0316036126fa57846028016001600160401b0316826001600160401b0316116126fa5760116001600160401b03831610156126fa5782603b026001600160401b0316856001600160401b0316036126fa5788601d016001600160401b0316896001600160401b0316036126fa57816028026001600160401b0316836001600160401b0316146126fa57876022026001600160401b0316846001600160401b0316146126fa576004196001600160401b038616016126fa57600b6001600160401b038316106126fa578483026001600160401b0316896001600160401b0316036126fa57816001600160401b0316856001600160401b0316106126fa5781600a016001600160401b0316896001600160401b0316116126fa5760296001600160401b038516116126fa576000805160206137c38339815191526040516126ea90602080825260029082015261333560f01b604082015260600190565b60405180910390a16126fa6137ac565b506023610108565b6000546001600160401b0316600514801561272f5750600054600160401b90046001600160401b03166001145b1561280657856013026001600160401b0316896001600160401b0316116127fe57866001600160401b0316886001600160401b0316106127fe5788602f026001600160401b0316896001600160401b0316106127fe5785601b016001600160401b0316866001600160401b0316106127fe578886026001600160401b0316876001600160401b0316116127fe576000805160206137c38339815191526040516127ee90602080825260029082015261199b60f11b604082015260600190565b60405180910390a16127fe6137ac565b506024610108565b6000546001600160401b031660051480156128335750600054600160401b90046001600160401b03166002145b156129bb576001600160401b038416601c146129b3578285026001600160401b0316886001600160401b031611156129b3576001600160401b0388166004146129b357816022016001600160401b0316866001600160401b031610156129b357866015016001600160401b0316836001600160401b0316036129b3578284026001600160401b0316886001600160401b0316036129b357886008026001600160401b0316826001600160401b0316116129b3578882016001600160401b0316896001600160401b0316036129b3578688016001600160401b0316836001600160401b0316036129b357846006016001600160401b0316886001600160401b0316036129b357856019016001600160401b0316876001600160401b0316036129b35785603a026001600160401b0316856001600160401b031610156129b3576000805160206137c38339815191526040516129a390602080825260029082015261333760f01b604082015260600190565b60405180910390a16129b36137ac565b506025610108565b6000546001600160401b031660051480156129e85750600054600160401b90046001600160401b03166003145b15612b9a578488026001600160401b0316866001600160401b031611612b92578784016001600160401b0316856001600160401b031614612b9257836028016001600160401b0316826001600160401b03161115612b92576012196001600160401b03861601612b92578183016001600160401b0316876001600160401b031603612b92576001600160401b03891615612b9257866019016001600160401b0316876001600160401b031610612b9257816001600160401b0316856001600160401b03161115612b9257836001600160401b0316886001600160401b03161015612b9257816004026001600160401b0316896001600160401b031614612b9257886013016001600160401b0316856001600160401b03161015612b92578389016001600160401b0316846001600160401b03161015612b92576001600160401b0380831690871603612b9257876006016001600160401b0316876001600160401b031611612b92576000805160206137c3833981519152604051612b8290602080825260029082015261066760f31b604082015260600190565b60405180910390a1612b926137ac565b506026610108565b6000546001600160401b03166005148015612bc75750600054600160401b90046001600160401b03166004145b15612d005788602a026001600160401b0316836001600160401b031603612cf8578689026001600160401b0316896001600160401b031603612cf857856019016001600160401b0316866001600160401b03161015612cf8578383016001600160401b0316856001600160401b031603612cf85760356001600160401b03841611612cf857836001600160401b0316866001600160401b031611612cf857836036016001600160401b0316876001600160401b03161115612cf8578684026001600160401b0316896001600160401b031611612cf857826001600160401b0316896001600160401b031611612cf8576000805160206137c3833981519152604051612ce890602080825260029082015261333960f01b604082015260600190565b60405180910390a1612cf86137ac565b506027610108565b6000546001600160401b03166005148015612d2d5750600054600160401b90046001600160401b03166005145b15612e8957836002026001600160401b0316886001600160401b031614612e81578585026001600160401b0316896001600160401b031610612e8157866005016001600160401b0316876001600160401b031611612e815788601e016001600160401b0316886001600160401b03161115612e8157886019016001600160401b0316876001600160401b031611612e8157826001600160401b0316866001600160401b03161015612e81578788016001600160401b0316886001600160401b031611612e81576001600160401b038087169084161115612e815784602e026001600160401b0316896001600160401b031610612e8157886002026001600160401b0316866001600160401b031610612e81576000805160206137c3833981519152604051612e7190602080825260029082015261034360f41b604082015260600190565b60405180910390a1612e816137ac565b506028610108565b6000546001600160401b03166005148015612eb65750600054600160401b90046001600160401b03166006145b15612f4c5788600e026001600160401b0316866001600160401b031614612f4457846001600160401b0316826001600160401b031614612f4457603e196001600160401b038a1601612f44576000805160206137c3833981519152604051612f3490602080825260029082015261343160f01b604082015260600190565b60405180910390a1612f446137ac565b506029610108565b6000546001600160401b03166006148015612f775750600054600160401b90046001600160401b0316155b15612f845750602a610108565b6000546001600160401b03166006148015612fb15750600054600160401b90046001600160401b03166001145b1561314c578588016001600160401b0316886001600160401b0316116131445788601c016001600160401b0316856001600160401b0316101561314457816001600160401b0316876001600160401b0316111561314457846027016001600160401b0316866001600160401b03161015613144578785026001600160401b0316846001600160401b03161015613144578282016001600160401b0316876001600160401b03161015613144578685026001600160401b0316896001600160401b031610156131445784602b016001600160401b0316856001600160401b031610613144578486016001600160401b0316856001600160401b0316116131445781600c016001600160401b0316876001600160401b03161015613144578488026001600160401b0316826001600160401b0316111561314457866001600160401b0316866001600160401b031610613144576000805160206137c383398151915260405161313490602080825260029082015261343360f01b604082015260600190565b60405180910390a16131446137ac565b50602b610108565b6000546001600160401b031660061480156131795750600054600160401b90046001600160401b03166002145b156132fd5787600e026001600160401b0316896001600160401b0316116132f557866009026001600160401b0316896001600160401b031610156132f55783602a026001600160401b0316826001600160401b031611156132f557836009016001600160401b0316886001600160401b031611156132f557601c6001600160401b038a16116132f5578189016001600160401b0316856001600160401b031611156132f557876009016001600160401b0316886001600160401b031611156132f557886003016001600160401b0316846001600160401b031611156132f55760156001600160401b03871610156132f557886034026001600160401b0316886001600160401b0316116132f5578584016001600160401b0316896001600160401b031610156132f55760156001600160401b038816106132f5576000805160206137c38339815191526040516132e5906020808252600290820152610d0d60f21b604082015260600190565b60405180910390a16132f56137ac565b50602c610108565b6000546001600160401b0316600614801561332a5750600054600160401b90046001600160401b03166003145b1561350b57816001600160401b0316886001600160401b0316101561350357826001600160401b0316896001600160401b031603613503578384026001600160401b0316866001600160401b0316111561350357826002016001600160401b0316886001600160401b031611156135035786601c016001600160401b0316866001600160401b031603613503578783026001600160401b0316826001600160401b0316116135035788603f026001600160401b0316876001600160401b03161115613503578883026001600160401b0316856001600160401b03161461350357866021016001600160401b0316886001600160401b031603613503576001600160401b038816602714613503576036196001600160401b0383160161350357866011026001600160401b0316826001600160401b031611156135035760026001600160401b03871610613503578783026001600160401b0316826001600160401b0316101561350357600d6001600160401b0388161161350357866018026001600160401b0316886001600160401b03161115613503576000805160206137c38339815191526040516134f390602080825260029082015261343560f01b604082015260600190565b60405180910390a16135036137ac565b50602d610108565b6000546001600160401b031660061480156135385750600054600160401b90046001600160401b03166004145b1561354257600080fd5b6000546001600160401b0316600614801561356f5750600054600160401b90046001600160401b03166005145b1561365657601c6001600160401b0388161161364e57846024016001600160401b0316886001600160401b03161061364e5786601f026001600160401b0316846001600160401b03160361364e57836001600160401b0316836001600160401b03161161364e57846001600160401b0316876001600160401b0316101561364e57836019016001600160401b0316826001600160401b03161461364e576000805160206137c383398151915260405161363e90602080825260029082015261343760f01b604082015260600190565b60405180910390a161364e6137ac565b50602f610108565b6000546001600160401b031660061480156136835750600054600160401b90046001600160401b03166006145b1561368d57600080fd5b50603198975050505050505050565b80356001600160401b03811681146136b357600080fd5b919050565b600080600080600080600080610100898b0312156136d557600080fd5b6136de8961369c565b97506136ec60208a0161369c565b96506136fa60408a0161369c565b955061370860608a0161369c565b945061371660808a0161369c565b935061372460a08a0161369c565b925061373260c08a0161369c565b915061374060e08a0161369c565b90509295985092959890939650565b634e487b7160e01b600052601160045260246000fd5b6001600160401b038281168282160390808211156137855761378561374f565b5092915050565b6001600160401b038181168382160190808211156137855761378561374f565b634e487b7160e01b600052600160045260246000fdfeb42604cb105a16c8f6db8a41e6b00c0c1b4826465e8bc504b3eb3e88b3e6a4a0a264697066735822122005f239fa1ab22d327a2e9003dd432bdc4a162a22358159b3c6fe2e37887eed6864736f6c63430008130033",
        4: "608060405234801561001057600080fd5b50613458806100206000396000f3fe60806040526004361061003f5760003560e01c80639c7dc76d146100445780639e11e6091461006e578063b11691ec14610081578063bcbc275d14610094575b600080fd5b6100576100523660046132f8565b6100a7565b60405160079190910b815260200160405180910390f35b61005761007c3660046132f8565b610114565b61005761008f3660046132f8565b610188565b6100576100a23660046132f8565b6101f6565b600080546001600160401b03166100bd57600080fd5b600080546100d6906001906001600160401b03166133a5565b6000805467ffffffffffffffff19166001600160401b03831617905590506101048a8a8a8a8a8a8a8a610250565b9150505b98975050505050505050565b60008054600160401b90046001600160401b031661013157600080fd5b6000805461015190600190600160401b90046001600160401b03166133a5565b6000805467ffffffffffffffff60401b1916600160401b6001600160401b0384160217905590506101048a8a8a8a8a8a8a8a610250565b6000805481906101a990600160401b90046001600160401b031660016133cc565b90506007816001600160401b0316106101c157600080fd5b6000805467ffffffffffffffff60401b1916600160401b6001600160401b038416021790556101048a8a8a8a8a8a8a8a610250565b600080548190610210906001600160401b031660016133cc565b90506007816001600160401b03161061022857600080fd5b6000805467ffffffffffffffff19166001600160401b0383161790556101048a8a8a8a8a8a8a8a5b600080546001600160401b031615801561027a5750600054600160401b90046001600160401b0316155b1561028757506000610108565b6000546001600160401b03161580156102b25750600054600160401b90046001600160401b03166001145b1561046057816001600160401b0316856001600160401b03161061045857816040026001600160401b0316846001600160401b03161015610458576001600160401b0388166014146104585786601f026001600160401b0316876001600160401b03161161045857816001600160401b0316896001600160401b031611156104585760186001600160401b038a1611610458578882016001600160401b0316836001600160401b0316101561045857603c6001600160401b0386161115610458578287016001600160401b0316846001600160401b03161061045857846001600160401b0316886001600160401b0316111561045857603f196001600160401b038516016104585760206001600160401b03851611610458578183016001600160401b0316856001600160401b03161061045857846004016001600160401b0316886001600160401b03161015610458576001600160401b03808916908316111561045857600080516020613403833981519152604051610448906020808252600190820152603160f81b604082015260600190565b60405180910390a16104586133ec565b506001610108565b6000546001600160401b031615801561048b5750600054600160401b90046001600160401b03166002145b1561049857506002610108565b6000546001600160401b03161580156104c35750600054600160401b90046001600160401b03166003145b156106865760106001600160401b038916111561067e5788601c026001600160401b0316846001600160401b0316101561067e57886021016001600160401b0316876001600160401b03161161067e5760336001600160401b038916111561067e578587016001600160401b0316896001600160401b03161161067e578887026001600160401b0316856001600160401b0316111561067e578488026001600160401b0316876001600160401b03161461067e578685016001600160401b0316856001600160401b03161161067e5782603d026001600160401b0316856001600160401b03161161067e57816001600160401b0316866001600160401b03160361067e576036196001600160401b0388160161067e5760086001600160401b038516111561067e578582026001600160401b0316836001600160401b03161161067e578387016001600160401b0316876001600160401b0316101561067e578782016001600160401b0316876001600160401b03160361067e5760008051602061340383398151915260405161066e906020808252600190820152603360f81b604082015260600190565b60405180910390a161067e6133ec565b506003610108565b6000546001600160401b03161580156106b15750600054600160401b90046001600160401b03166004145b156106bb57600080fd5b6000546001600160401b03161580156106e65750600054600160401b90046001600160401b03166005145b1561076c578184026001600160401b0316856001600160401b03161161076457856009026001600160401b0316896001600160401b0316101561076457600080516020613403833981519152604051610754906020808252600190820152603560f81b604082015260600190565b60405180910390a16107646133ec565b506005610108565b6000546001600160401b03161580156107975750600054600160401b90046001600160401b03166006145b1561081a57866001600160401b0316836001600160401b03161061081257866016016001600160401b0316886001600160401b03160361081257600080516020613403833981519152604051610802906020808252600190820152601b60f91b604082015260600190565b60405180910390a16108126133ec565b506006610108565b6000546001600160401b031660011480156108455750600054600160401b90046001600160401b0316155b1561084f57600080fd5b6000546001600160401b0316600114801561087c5750600054600160401b90046001600160401b03166001145b1561088957506008610108565b6000546001600160401b031660011480156108b65750600054600160401b90046001600160401b03166002145b156108c057600080fd5b6000546001600160401b031660011480156108ed5750600054600160401b90046001600160401b03166003145b15610973578789016001600160401b0316836001600160401b03160361096b57886021026001600160401b0316896001600160401b03160361096b5760008051602061340383398151915260405161095b90602080825260029082015261031360f41b604082015260600190565b60405180910390a161096b6133ec565b50600a610108565b6000546001600160401b031660011480156109a05750600054600160401b90046001600160401b03166004145b15610a4057846001600160401b0316886001600160401b031611610a3857846038016001600160401b0316896001600160401b031611610a3857876001016001600160401b0316866001600160401b031614610a3857600080516020613403833981519152604051610a2890602080825260029082015261313160f01b604082015260600190565b60405180910390a1610a386133ec565b50600b610108565b6000546001600160401b03166001148015610a6d5750600054600160401b90046001600160401b03166005145b15610a7a5750600c610108565b6000546001600160401b03166001148015610aa75750600054600160401b90046001600160401b03166006145b15610c5f57826011026001600160401b0316876001600160401b03161115610c57578888026001600160401b0316876001600160401b03161115610c57578587016001600160401b0316856001600160401b031610610c5757602a196001600160401b03861601610c575760166001600160401b0387161115610c5757846001600160401b0316826001600160401b03161115610c57578484026001600160401b0316856001600160401b03161015610c57578384026001600160401b0316896001600160401b031603610c57578588026001600160401b0316836001600160401b03161015610c5757826034016001600160401b0316866001600160401b031610610c57578885026001600160401b0316856001600160401b031611610c5757876001600160401b0316876001600160401b031614610c5757846001600160401b0316896001600160401b031603610c57578587026001600160401b0316866001600160401b031614610c5757600080516020613403833981519152604051610c4790602080825260029082015261313360f01b604082015260600190565b60405180910390a1610c576133ec565b50600d610108565b6000546001600160401b03166002148015610c8a5750600054600160401b90046001600160401b0316155b15610c9457600080fd5b6000546001600160401b03166002148015610cc15750600054600160401b90046001600160401b03166001145b15610ccb57600080fd5b6000546001600160401b03166002148015610cf85750600054600160401b90046001600160401b03166002145b15610eb057600a6001600160401b03851610610ea8578783026001600160401b0316876001600160401b031610610ea857846001600160401b0316846001600160401b031603610ea857826019026001600160401b0316866001600160401b031610610ea85781600b016001600160401b0316876001600160401b031614610ea857826005026001600160401b0316866001600160401b031603610ea8578588026001600160401b0316846001600160401b031614610ea857601e196001600160401b038a1601610ea857846001600160401b0316826001600160401b031610610ea8578588026001600160401b0316876001600160401b031610610ea8578585016001600160401b0316836001600160401b031614610ea8578886026001600160401b0316826001600160401b03161115610ea8578687016001600160401b0316886001600160401b03161015610ea857856005016001600160401b0316836001600160401b031611610ea857600080516020613403833981519152604051610e9890602080825260029082015261189b60f11b604082015260600190565b60405180910390a1610ea86133ec565b506010610108565b6000546001600160401b03166002148015610edd5750600054600160401b90046001600160401b03166003145b15610f615788603f026001600160401b0316836001600160401b031603610f5957816001600160401b0316836001600160401b031610610f5957600080516020613403833981519152604051610f4990602080825260029082015261313760f01b604082015260600190565b60405180910390a1610f596133ec565b506011610108565b6000546001600160401b03166002148015610f8e5750600054600160401b90046001600160401b03166004145b15611168578782016001600160401b0316826001600160401b03161061116057846036026001600160401b0316876001600160401b031603611160578288026001600160401b0316896001600160401b03161061116057826001600160401b0316856001600160401b0316116111605760276001600160401b0387161161116057602f6001600160401b0389161015611160578786026001600160401b0316876001600160401b0316116111605760346001600160401b038a16116111605786601a016001600160401b0316896001600160401b03160361116057816001600160401b0316836001600160401b031611611160578283026001600160401b0316846001600160401b03160361116057603b6001600160401b0386161161116057836022026001600160401b0316846001600160401b031603611160578185016001600160401b0316896001600160401b03161115611160578885016001600160401b0316896001600160401b03161015611160578389016001600160401b0316886001600160401b031610156111605760008051602061340383398151915260405161115090602080825260029082015261062760f31b604082015260600190565b60405180910390a16111606133ec565b506012610108565b6000546001600160401b031660021480156111955750600054600160401b90046001600160401b03166005145b156111a257506013610108565b6000546001600160401b031660021480156111cf5750600054600160401b90046001600160401b03166006145b156111d957600080fd5b6000546001600160401b031660031480156112045750600054600160401b90046001600160401b0316155b156113db5787600f026001600160401b0316866001600160401b0316106113d357603f196001600160401b038316016113d357836036016001600160401b0316826001600160401b031611156113d357836001600160401b0316856001600160401b0316116113d357886010026001600160401b0316876001600160401b0316036113d357600d6001600160401b03861611156113d357826001600160401b0316876001600160401b0316146113d357876010016001600160401b0316886001600160401b031610156113d357876017016001600160401b0316856001600160401b031611156113d3578487016001600160401b0316836001600160401b0316116113d3578782026001600160401b0316846001600160401b031611156113d357826001600160401b0316846001600160401b0316116113d357816007026001600160401b0316886001600160401b0316106113d35784603a026001600160401b0316826001600160401b0316116113d3578582026001600160401b0316856001600160401b0316146113d3576000805160206134038339815191526040516113c390602080825260029082015261323160f01b604082015260600190565b60405180910390a16113d36133ec565b506015610108565b6000546001600160401b031660031480156114085750600054600160401b90046001600160401b03166001145b156114b25760286001600160401b03871610156114aa57856014016001600160401b0316886001600160401b0316116114aa57602b6001600160401b03851610156114aa578685026001600160401b0316876001600160401b0316116114aa5760008051602061340383398151915260405161149a90602080825260029082015261191960f11b604082015260600190565b60405180910390a16114aa6133ec565b506016610108565b6000546001600160401b031660031480156114df5750600054600160401b90046001600160401b03166002145b156115c1576001600160401b03808416908916116115b9578686026001600160401b0316826001600160401b0316036115b9576001600160401b03808916908716106115b9578888016001600160401b0316886001600160401b0316036115b957846008016001600160401b0316896001600160401b0316036115b9578583016001600160401b0316876001600160401b0316146115b9576000805160206134038339815191526040516115a990602080825260029082015261323360f01b604082015260600190565b60405180910390a16115b96133ec565b506017610108565b6000546001600160401b031660031480156115ee5750600054600160401b90046001600160401b03166003145b15611773578184026001600160401b0316866001600160401b03161461176b578783016001600160401b0316886001600160401b0316101561176b578386016001600160401b0316866001600160401b0316101561176b578687016001600160401b0316846001600160401b0316111561176b578883026001600160401b0316826001600160401b03161061176b578882016001600160401b0316866001600160401b0316101561176b578186026001600160401b0316876001600160401b03161461176b578386026001600160401b0316856001600160401b0316111561176b578285026001600160401b0316866001600160401b03161061176b578187016001600160401b0316846001600160401b0316101561176b576001600160401b03851660261461176b57603c6001600160401b0384161161176b5760008051602061340383398151915260405161175b906020808252600290820152610c8d60f21b604082015260600190565b60405180910390a161176b6133ec565b506018610108565b6000546001600160401b031660031480156117a05750600054600160401b90046001600160401b03166004145b1561194457866006026001600160401b0316826001600160401b03161461193c578886026001600160401b0316886001600160401b03161061193c57856035016001600160401b0316886001600160401b0316111561193c5760166001600160401b038816101561193c57886021026001600160401b0316856001600160401b03160361193c5760286001600160401b038916111561193c578786026001600160401b0316846001600160401b0316111561193c57836031016001600160401b0316886001600160401b03161061193c5788603a016001600160401b0316836001600160401b03160361193c578482016001600160401b0316866001600160401b0316111561193c578489016001600160401b0316876001600160401b03161461193c57846001600160401b0316886001600160401b0316101561193c5782603a026001600160401b0316826001600160401b03161161193c5760008051602061340383398151915260405161192c90602080825260029082015261323560f01b604082015260600190565b60405180910390a161193c6133ec565b506019610108565b6000546001600160401b031660031480156119715750600054600160401b90046001600160401b03166005145b1561197e5750601a610108565b6000546001600160401b031660031480156119ab5750600054600160401b90046001600160401b03166006145b15611a3757816001600160401b0316886001600160401b03161115611a2f57602b6001600160401b03881610611a2f576002196001600160401b03851601611a2f57600080516020613403833981519152604051611a1f90602080825260029082015261323760f01b604082015260600190565b60405180910390a1611a2f6133ec565b50601b610108565b6000546001600160401b03166004148015611a625750600054600160401b90046001600160401b0316155b15611b3d57866031016001600160401b0316896001600160401b031610611b3557826010016001600160401b0316896001600160401b03161115611b35578783016001600160401b0316866001600160401b03161115611b355787601e016001600160401b0316826001600160401b03161015611b3557866001600160401b0316826001600160401b03161115611b3557600080516020613403833981519152604051611b2590602080825260029082015261064760f31b604082015260600190565b60405180910390a1611b356133ec565b50601c610108565b6000546001600160401b03166004148015611b6a5750600054600160401b90046001600160401b03166001145b15611d15578183016001600160401b0316856001600160401b03161115611d0d57886033016001600160401b0316896001600160401b031603611d0d576001600160401b038316601d14611d0d5760016001600160401b03841610611d0d578685016001600160401b0316896001600160401b031614611d0d576001600160401b0380871690891611611d0d57836040026001600160401b0316886001600160401b031614611d0d5788603b026001600160401b0316836001600160401b031614611d0d5760176001600160401b0384161015611d0d57866001600160401b0316866001600160401b03161115611d0d5787601a016001600160401b0316896001600160401b031611611d0d578284026001600160401b0316836001600160401b03161115611d0d57856001016001600160401b0316846001600160401b031610611d0d57886021016001600160401b0316846001600160401b031611611d0d57600080516020613403833981519152604051611cfd90602080825260029082015261323960f01b604082015260600190565b60405180910390a1611d0d6133ec565b50601d610108565b6000546001600160401b03166004148015611d425750600054600160401b90046001600160401b03166002145b15611ee5578888026001600160401b0316896001600160401b03161015611edd57856014016001600160401b0316846001600160401b03161115611edd578586016001600160401b0316866001600160401b031603611edd578683026001600160401b0316876001600160401b031610611edd578489016001600160401b0316836001600160401b031610611edd57826035026001600160401b0316896001600160401b03161115611edd5760126001600160401b0389161115611edd57816024016001600160401b0316856001600160401b031603611edd5788603e026001600160401b0316826001600160401b03161015611edd578586016001600160401b0316836001600160401b031603611edd57856001600160401b0316896001600160401b03161115611edd57602d6001600160401b0388161015611edd578784016001600160401b0316846001600160401b031614611edd57600080516020613403833981519152604051611ecd90602080825260029082015261033360f41b604082015260600190565b60405180910390a1611edd6133ec565b50601e610108565b6000546001600160401b03166004148015611f125750600054600160401b90046001600160401b03166003145b15612020578788016001600160401b0316836001600160401b03161461201857602d6001600160401b038616101561201857603d196001600160401b03851601612018576023196001600160401b0383160161201857826001600160401b0316896001600160401b0316111561201857826015026001600160401b0316856001600160401b031611156120185788603b016001600160401b0316896001600160401b031614612018578785016001600160401b0316846001600160401b0316106120185760008051602061340383398151915260405161200890602080825260029082015261333160f01b604082015260600190565b60405180910390a16120186133ec565b50601f610108565b6000546001600160401b0316600414801561204d5750600054600160401b90046001600160401b03166004145b156120fe57816001600160401b0316886001600160401b0316146120f657836027016001600160401b0316876001600160401b0316146120f657866007016001600160401b0316856001600160401b0316036120f65760126001600160401b038716106120f6576000805160206134038339815191526040516120e690602080825260029082015261199960f11b604082015260600190565b60405180910390a16120f66133ec565b506020610108565b6000546001600160401b0316600414801561212b5750600054600160401b90046001600160401b03166005145b156121ff578484026001600160401b0316896001600160401b0316146121f757886001600160401b0316876001600160401b0316116121f757846039016001600160401b0316826001600160401b0316146121f757876001600160401b0316826001600160401b031611156121f7578887016001600160401b0316876001600160401b0316036121f7576000805160206134038339815191526040516121e790602080825260029082015261333360f01b604082015260600190565b60405180910390a16121f76133ec565b506021610108565b6000546001600160401b0316600414801561222c5750600054600160401b90046001600160401b03166006145b156123e157826001600160401b0316866001600160401b0316036123d957846001600160401b0316876001600160401b0316106123d9578683016001600160401b0316886001600160401b031611156123d9578388016001600160401b0316886001600160401b0316106123d957836026026001600160401b0316846001600160401b0316106123d95783601a016001600160401b0316856001600160401b0316036123d9578886026001600160401b0316886001600160401b0316036123d95760406001600160401b038416106123d95781601a026001600160401b0316826001600160401b0316146123d9578488026001600160401b0316826001600160401b0316106123d957816009016001600160401b0316876001600160401b031610156123d9576001600160401b0382166027146123d957876001600160401b0316846001600160401b0316146123d9578786016001600160401b0316896001600160401b0316106123d9576000805160206134038339815191526040516123c9906020808252600290820152610ccd60f21b604082015260600190565b60405180910390a16123d96133ec565b506022610108565b6000546001600160401b0316600514801561240c5750600054600160401b90046001600160401b0316155b156125d557856017026001600160401b0316876001600160401b0316116125cd578189026001600160401b0316836001600160401b0316146125cd57846038026001600160401b0316886001600160401b0316106125cd578284016001600160401b0316866001600160401b0316036125cd57876035026001600160401b0316836001600160401b0316116125cd57856009016001600160401b0316876001600160401b0316036125cd578789016001600160401b0316856001600160401b031611156125cd578788026001600160401b0316886001600160401b031611156125cd578282026001600160401b0316876001600160401b0316036125cd57836022026001600160401b0316886001600160401b0316036125cd578382016001600160401b0316856001600160401b0316036125cd57602c6001600160401b03831611156125cd578785026001600160401b0316836001600160401b0316036125cd57846032016001600160401b0316876001600160401b031610156125cd576000805160206134038339815191526040516125bd90602080825260029082015261333560f01b604082015260600190565b60405180910390a16125cd6133ec565b506023610108565b6000546001600160401b031660051480156126025750600054600160401b90046001600160401b03166001145b156126895785602d026001600160401b0316886001600160401b031611612681578786016001600160401b0316886001600160401b031611156126815760008051602061340383398151915260405161267190602080825260029082015261199b60f11b604082015260600190565b60405180910390a16126816133ec565b506024610108565b6000546001600160401b031660051480156126b65750600054600160401b90046001600160401b03166002145b156127915782602d026001600160401b0316836001600160401b031611612789576001600160401b03861660141461278957886001600160401b0316886001600160401b03161061278957886001600160401b0316866001600160401b031610612789576036196001600160401b038a1601612789578187026001600160401b0316866001600160401b0316146127895760008051602061340383398151915260405161277990602080825260029082015261333760f01b604082015260600190565b60405180910390a16127896133ec565b506025610108565b6000546001600160401b031660051480156127be5750600054600160401b90046001600160401b03166003145b15612900578582016001600160401b0316846001600160401b031610156128f857826006026001600160401b0316826001600160401b0316146128f857866013026001600160401b0316876001600160401b0316036128f857816001600160401b0316876001600160401b0316116128f8578782016001600160401b0316886001600160401b0316036128f857836001600160401b0316866001600160401b0316146128f857846024026001600160401b0316866001600160401b031610156128f85784600f016001600160401b0316896001600160401b0316106128f857876001600160401b0316846001600160401b0316036128f8576000805160206134038339815191526040516128e890602080825260029082015261066760f31b604082015260600190565b60405180910390a16128f86133ec565b506026610108565b6000546001600160401b0316600514801561292d5750600054600160401b90046001600160401b03166004145b15612a47578682026001600160401b0316866001600160401b031610612a3f578485016001600160401b0316876001600160401b031603612a3f578187016001600160401b0316846001600160401b03161115612a3f57826001600160401b0316826001600160401b031603612a3f578885016001600160401b0316886001600160401b031610612a3f578485016001600160401b0316866001600160401b031614612a3f57866001600160401b0316836001600160401b031614612a3f5760176001600160401b038a1610612a3f57600080516020613403833981519152604051612a2f90602080825260029082015261333960f01b604082015260600190565b60405180910390a1612a3f6133ec565b506027610108565b6000546001600160401b03166005148015612a745750600054600160401b90046001600160401b03166005145b15612a8157506028610108565b6000546001600160401b03166005148015612aae5750600054600160401b90046001600160401b03166006145b15612b4e578885016001600160401b0316846001600160401b031614612b46578583026001600160401b0316866001600160401b031603612b46578188026001600160401b0316826001600160401b031603612b4657600080516020613403833981519152604051612b3690602080825260029082015261343160f01b604082015260600190565b60405180910390a1612b466133ec565b506029610108565b6000546001600160401b03166006148015612b795750600054600160401b90046001600160401b0316155b15612b8357600080fd5b6000546001600160401b03166006148015612bb05750600054600160401b90046001600160401b03166001145b15612ca55786601f016001600160401b0316866001600160401b031611612c9d57886034026001600160401b0316826001600160401b031614612c9d578588026001600160401b0316846001600160401b03161115612c9d578889026001600160401b0316846001600160401b031611612c9d57886022026001600160401b0316886001600160401b031610612c9d578182026001600160401b0316836001600160401b031614612c9d57600080516020613403833981519152604051612c8d90602080825260029082015261343360f01b604082015260600190565b60405180910390a1612c9d6133ec565b50602b610108565b6000546001600160401b03166006148015612cd25750600054600160401b90046001600160401b03166002145b15612e6457856001600160401b0316846001600160401b031603612e5c578685016001600160401b0316896001600160401b031603612e5c57836032026001600160401b0316826001600160401b031610612e5c578888016001600160401b0316836001600160401b03161015612e5c57836008026001600160401b0316836001600160401b03161115612e5c578488016001600160401b0316856001600160401b031611612e5c5782602a016001600160401b0316866001600160401b03161115612e5c5788600f026001600160401b0316856001600160401b031611612e5c576001600160401b0380881690851610612e5c578883026001600160401b0316886001600160401b031603612e5c578282026001600160401b0316886001600160401b031610612e5c57836034026001600160401b0316886001600160401b03161015612e5c57600080516020613403833981519152604051612e4c906020808252600290820152610d0d60f21b604082015260600190565b60405180910390a1612e5c6133ec565b50602c610108565b6000546001600160401b03166006148015612e915750600054600160401b90046001600160401b03166003145b15612f1357886001600160401b0316886001600160401b03161015612f0b57886001600160401b0316846001600160401b031611612f0b57600080516020613403833981519152604051612efb90602080825260029082015261343560f01b604082015260600190565b60405180910390a1612f0b6133ec565b50602d610108565b6000546001600160401b03166006148015612f405750600054600160401b90046001600160401b03166004145b15612ff6576007196001600160401b038a1601612fee57846015016001600160401b0316846001600160401b031603612fee5783601d016001600160401b0316886001600160401b031610612fee5786603c016001600160401b0316866001600160401b03161115612fee57600080516020613403833981519152604051612fde906020808252600290820152611a1b60f11b604082015260600190565b60405180910390a1612fee6133ec565b50602e610108565b6000546001600160401b031660061480156130235750600054600160401b90046001600160401b03166005145b156131a457846001600160401b0316866001600160401b0316101561319c578284026001600160401b0316836001600160401b03161061319c5783603e016001600160401b0316896001600160401b03160361319c57836020026001600160401b0316836001600160401b03161461319c576009196001600160401b0386160161319c578185016001600160401b0316856001600160401b03161061319c57826034016001600160401b0316876001600160401b03161161319c5760066001600160401b0387161161319c57886001600160401b0316826001600160401b03161461319c578385026001600160401b0316856001600160401b0316101561319c57856001600160401b0316886001600160401b03161061319c5782601b016001600160401b0316866001600160401b0316111561319c5760008051602061340383398151915260405161318c90602080825260029082015261343760f01b604082015260600190565b60405180910390a161319c6133ec565b50602f610108565b6000546001600160401b031660061480156131d15750600054600160401b90046001600160401b03166006145b156132cd578387016001600160401b0316886001600160401b031610156132c55760216001600160401b038a16116132c55783602f026001600160401b0316856001600160401b031610156132c55782603d026001600160401b0316826001600160401b0316036132c5578782016001600160401b0316826001600160401b031610156132c557866001600160401b0316856001600160401b0316036132c557601b196001600160401b038816016132c5576000805160206134038339815191526040516132b590602080825260029082015261068760f31b604082015260600190565b60405180910390a16132c56133ec565b506030610108565b50603198975050505050505050565b80356001600160401b03811681146132f357600080fd5b919050565b600080600080600080600080610100898b03121561331557600080fd5b61331e896132dc565b975061332c60208a016132dc565b965061333a60408a016132dc565b955061334860608a016132dc565b945061335660808a016132dc565b935061336460a08a016132dc565b925061337260c08a016132dc565b915061338060e08a016132dc565b90509295985092959890939650565b634e487b7160e01b600052601160045260246000fd5b6001600160401b038281168282160390808211156133c5576133c561338f565b5092915050565b6001600160401b038181168382160190808211156133c5576133c561338f565b634e487b7160e01b600052600160045260246000fdfeb42604cb105a16c8f6db8a41e6b00c0c1b4826465e8bc504b3eb3e88b3e6a4a0a2646970667358221220d6c6c75e69bbabaad8d5f68375c7d70906dc99d3268704b08179d76dab16793064736f6c63430008130033",
    }
)


def create_all_tasks():
    tasks = []
    for maze_id in range(maze_id_start, maze_id_end):
        for rnd_seed in range(rnd_seed_start, rnd_seed_end):
            task = {
                "proc": None,
                "maze-id": maze_id,
                "rnd-seed": rnd_seed,
                "core-id": -1,
                "result": None,
            }
            tasks.append(task)
    return tasks


tasks = create_all_tasks()


def process_all_tasks(tasks):
    is_done = dict({})
    free_cores = set(range(cores_start, cores_end))
    while True:
        all_done = True
        for task_idx, task in enumerate(tasks):
            if is_done.get(task_idx, False):
                continue
            proc = task["proc"]
            if proc is None:
                all_done = False
                if len(free_cores) < 1:
                    time.sleep(5)
                    continue
                core_id = free_cores.pop()
                task["core-id"] = core_id

                maze_id = task["maze-id"]
                rnd_seed = task["rnd-seed"]

                exe = [fuzzer_exe]
                if docker_image != "":
                    if fuzzer_name == "harvey":
                        exe = [
                            "docker",
                            "run",
                            "--rm",
                            "-i",
                            f"--cpuset-cpus={core_id}",
                            f"--memory={memory_limit}m",
                            f"--memory-swap={memory_limit}m",
                            f"{docker_image}",
                        ]
                    elif fuzzer_name == "echidna":
                        wd = os.getcwd()
                        exe = [
                            "docker",
                            "run",
                            "--rm",
                            "-i",
                            f"--cpuset-cpus={core_id}",
                            f"--memory={memory_limit}m",
                            f"--memory-swap={memory_limit}m",
                            f"--mount=type=bind,source={wd},target=/daedaluzz",
                            "--workdir=/daedaluzz",
                            '--entrypoint="./run-echidna.sh"',
                            f"{docker_image}",
                            f"{task_idx} {time_limit} {maze_id} {rnd_seed}",
                        ]
                    elif fuzzer_name == "foundry":
                        wd = os.getcwd()
                        exe = [
                            "docker",
                            "run",
                            "--rm",
                            "-i",
                            f"--cpuset-cpus={core_id}",
                            f"--memory={memory_limit}m",
                            f"--memory-swap={memory_limit}m",
                            f"--mount=type=bind,source={wd},target=/daedaluzz",
                            "--workdir=/daedaluzz",
                            '--entrypoint="./run-foundry.sh"',
                            f"{docker_image}",
                            f"{task_idx} {time_limit} {maze_id} {rnd_seed}",
                        ]
                    elif fuzzer_name == "hybrid-echidna":
                        wd = os.getcwd()
                        exe = [
                            "docker",
                            "run",
                            "--rm",
                            "-i",
                            f"--cpuset-cpus={core_id}",
                            f"--memory={memory_limit}m",
                            f"--memory-swap={memory_limit}m",
                            f"--mount=type=bind,source={wd},target=/daedaluzz",
                            "--workdir=/daedaluzz",
                            '--entrypoint="./run-hybrid-echidna.sh"',
                            f"{docker_image}",
                            f"{task_idx} {time_limit} {maze_id} {rnd_seed}",
                        ]
                    elif fuzzer_name == "ityfuzz":
                        wd = os.getcwd()
                        exe = [
                            "docker",
                            "run",
                            "--rm",
                            "-ti",
                            f"--cpuset-cpus={core_id}",
                            f"--memory={memory_limit}m",
                            f"--memory-swap={memory_limit}m",
                            f"--mount=type=bind,source={wd},target=/daedaluzz",
                            "--workdir=/daedaluzz",
                            '--entrypoint="./run-ityfuzz.sh"',
                            f"{docker_image}",
                            f"{task_idx} {time_limit} {maze_id} {rnd_seed}",
                        ]
                out_file = tempfile.NamedTemporaryFile(mode="w+t")
                if fuzzer_name == "harvey":
                    config = dict(
                        {
                            "code": maze_code[maze_id],
                            "time-limit-secs": time_limit,
                            "emit-mythx-report": True,
                            "assertion-checking-mode": 2,
                            "num-cores": 1,
                            "random-seed": rnd_seed,
                            "try-to-identify-contracts-by-metadata-hash": True,
                            "emit-high-novelty-sequences-only": True,
                            "enable-cheat-codes": False,
                            "chain-configuration": dict(
                                {
                                    "chain-id": "1",
                                }
                            ),
                        }
                    )
                    json_config = dumps(
                        config, sort_keys=True, indent=4, separators=(",", ": ")
                    )
                    fuzzer_input = f"{json_config}"
                    in_file = tempfile.NamedTemporaryFile(mode="w+t")
                    in_file.write(fuzzer_input)
                    in_file.flush()
                    in_file.seek(0)
                    proc = subprocess.Popen(
                        exe,
                        stdin=in_file,
                        stdout=out_file,
                        stderr=out_file,
                        text=True,
                    )
                elif (
                    fuzzer_name == "echidna"
                    or fuzzer_name == "foundry"
                    or fuzzer_name == "hybrid-echidna"
                    or fuzzer_name == "ityfuzz"
                ):
                    proc = subprocess.Popen(
                        " ".join(exe),
                        stdout=out_file,
                        stderr=out_file,
                        text=True,
                        shell=True,
                    )
                task["proc"] = proc
                task["out-file"] = out_file
                task["start-time"] = time.time_ns()
                continue
            rc = proc.poll()
            if rc is None:
                all_done = False
                continue
            is_done[task_idx] = True
            free_cores.add(task["core-id"])
            out_file = task["out-file"]
            out_file.seek(0)
            fuzzer_output = out_file.read()
            if fuzzer_name == "harvey":
                json_output = loads(fuzzer_output)
                fuzzer_result = json_output[0]
                duration = fuzzer_result["meta"]["harveyAnalysisDuration"]
                issues = fuzzer_result["issues"]
                violations = dict({})
                for issue in issues:
                    tail = issue["description"]["tail"]
                    m = re.match(
                        "A user-provided assertion failed with the message '(.*)'.",
                        tail,
                    )
                    if m:
                        msg = m[1]
                        t = issue["extra"]["discoveryTime"]
                        if msg in violations:
                            ct = violations[msg]
                            if ct < t:
                                t = ct
                        violations[msg] = t
            elif fuzzer_name == "echidna":
                duration = time.time_ns() - task["start-time"]
                violations = dict({})
                ms = re.findall(
                    r'^\s*\d+\s*\|\s*[*roe]\s*\|\s*emit AssertionFailed\("(\d+)"\)',
                    fuzzer_output,
                    flags=re.M,
                )
                for m in ms:
                    violations[m] = duration
            elif fuzzer_name == "foundry":
                duration = time.time_ns() - task["start-time"]
                violations = dict({})
                timestamp_split_regex = re.compile(r"(\{\"\S+\"\: \d+})")
                timestamp_regex = re.compile(r"\{\"\S+\"\: (\d+)}")
                outs = timestamp_split_regex.split(fuzzer_output)
                curr_timestamp = 0
                start_timestamp = 0
                num_outs = len(outs)
                for out_idx, out in enumerate(outs):
                    m = timestamp_regex.fullmatch(out)
                    if m:
                        new_timestamp = int(m[1])
                        if curr_timestamp < 1:
                            start_timestamp = new_timestamp
                        curr_timestamp = new_timestamp
                        continue
                    dur = duration
                    next_idx = out_idx + 1
                    if next_idx < num_outs:
                        next_out = outs[next_idx]
                        m = timestamp_regex.fullmatch(next_out)
                        if m:
                            dur = int(m[1]) - start_timestamp
                    ms = re.findall(
                        r"\[FAIL\. Reason: Assertion failed\.\].*? invariant_(\d+)",
                        out,
                        flags=re.M | re.S,
                    )
                    for m in ms:
                        if not (m in violations):
                            violations[m] = 1000000000 * dur
            elif fuzzer_name == "hybrid-echidna":
                duration = time.time_ns() - task["start-time"]
                violations = dict({})
                timestamp_split_regex = re.compile(r"(\{\"\S+\"\: \d+})")
                timestamp_regex = re.compile(r"\{\"\S+\"\: (\d+)}")
                outs = timestamp_split_regex.split(fuzzer_output)
                curr_timestamp = 0
                start_timestamp = 0
                num_outs = len(outs)
                for out_idx, out in enumerate(outs):
                    m = timestamp_regex.fullmatch(out)
                    if m:
                        new_timestamp = int(m[1])
                        if curr_timestamp < 1:
                            start_timestamp = new_timestamp
                        curr_timestamp = new_timestamp
                        continue
                    dur = duration
                    next_idx = out_idx + 1
                    if next_idx < num_outs:
                        next_out = outs[next_idx]
                        m = timestamp_regex.fullmatch(next_out)
                        if m:
                            dur = int(m[1]) - start_timestamp
                    ms = re.findall(
                        r'^.*?\s*\d+\s*\|\s*[*roe]\s*\|\s*emit AssertionFailed\("(\d+)"\)',
                        out,
                        flags=re.M,
                    )
                    for m in ms:
                        if not (m in violations):
                            violations[m] = 1000000000 * dur
            elif fuzzer_name == "ityfuzz":
                from eth_abi import abi

                duration = time.time_ns() - task["start-time"]
                violations = dict({})
                ms = re.findall(
                    r"log@(\d+) \"([0-9a-z]+)\"",
                    fuzzer_output,
                    flags=re.M,
                )
                for ts, log_msg in ms:
                    violations[
                        int(abi.decode(["string"], bytes.fromhex(log_msg))[0])
                    ] = (int(ts) - task["start-time"])
            maze_id = task["maze-id"]
            rnd_seed = task["rnd-seed"]
            res = dict(
                {
                    "program": f"maze-{maze_id}.sol",
                    "tool": fuzzer_name,
                    "random-seed": rnd_seed,
                    "duration": duration,
                    "violations": violations,
                }
            )
            if include_raw_output:
                res["raw-output"] = fuzzer_output
            task["result"] = res
        if all_done:
            break


def write_output_file(tasks):
    all_results = []
    for task in tasks:
        res = task["result"]
        if res is None:
            continue
        all_results.append(res)
    output_file_name = f"{fuzzer_name}-results.json"
    with open(output_file_name, "w", encoding="utf-8") as f:
        f.write(dumps(all_results, sort_keys=True, indent=4, separators=(",", ": ")))


try:
    process_all_tasks(tasks)
finally:
    for task in tasks:
        proc = task["proc"]
        if proc is None:
            continue
        rc = proc.poll()
        if not (rc is None):
            continue
        proc.terminate()
        try:
            proc.wait(1)
        except TimeoutExpired:
            proc.kill()
            continue
    write_output_file(tasks)