{
  "_format": "hh-sol-artifact-1",
  "contractName": "MIPS2",
  "sourceName": "contracts/L1/cannon/MIPS2.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "contract IPreimageOracle",
          "name": "_oracle",
          "type": "address"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "constructor"
    },
    {
      "inputs": [
        {
          "internalType": "bytes",
          "name": "_stateData",
          "type": "bytes"
        },
        {
          "internalType": "bytes",
          "name": "_proof",
          "type": "bytes"
        },
        {
          "internalType": "bytes32",
          "name": "_localContext",
          "type": "bytes32"
        }
      ],
      "name": "step",
      "outputs": [
        {
          "internalType": "bytes32",
          "name": "",
          "type": "bytes32"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "version",
      "outputs": [
        {
          "internalType": "string",
          "name": "",
          "type": "string"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "0x60a06040523480156200001157600080fd5b5060405162003b2338038062003b23833981016040819052620000349162000046565b6001600160a01b031660805262000078565b6000602082840312156200005957600080fd5b81516001600160a01b03811681146200007157600080fd5b9392505050565b608051613a8f6200009460003960006111290152613a8f6000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c806354fd4d501461003b578063e14ced321461008d575b600080fd5b6100776040518060400160405280600c81526020017f312e302e302d626574612e34000000000000000000000000000000000000000081525081565b604051610084919061386f565b60405180910390f35b6100a061009b366004613924565b6100ae565b604051908152602001610084565b604080516101a081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e081018290526101008101829052610120810182905261014081018290526101608101829052610180810182905261011e6137ed565b6080821461012b57600080fd5b610220811461013957600080fd5b6040516107801461014957600080fd5b6084881461015657600080fd5b610164861461016457600080fd5b8735608052602088013560a0908152604089013560e090811c60c090815260448b0135821c825260488b013560f890811c6101005260498c0135811c61012052604a8c0135821c6101405260528c013590911c61016052605a8b0135821c61018052605e8b0135901c6101a052605f8a01356101c052607f8a01356101e052609f8a0135901c6102005282015115610207576101fe6105ac565b925050506105a3565b7fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb582610140015114801561025f57507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5826101600151145b156102b15760405162461bcd60e51b815260206004820152601760248201527f4d495053323a20696c6c6567616c20766d20737461746500000000000000000060448201526064015b60405180910390fd5b60c08201805160010167ffffffffffffffff1690526102cf816106b1565b6102d982826107e0565b61010082015163ffffffff9081161461035d57806060015163ffffffff1682610100015163ffffffff160361031b5763ffffffff6101008301526101fe6105ac565b610120820151600061032d848461086a565b90508180156103395750805b1561034a5763ffffffff6101008501525b6103526105ac565b9450505050506105a3565b8060400151156103785761037082610a13565b6101fe6105ac565b606081015163ffffffff90811614610418578060a0015167ffffffffffffffff168260c0015167ffffffffffffffff1611156103ba576101fe82826001610a9d565b815160608201516000916103d69163fffffffc166105aa610be9565b90508063ffffffff16826080015163ffffffff160361040c576103f9838361086a565b506104026105ac565b93505050506105a3565b61040283836000610a9d565b620186a063ffffffff168260e0015167ffffffffffffffff160361044957610440828261086a565b506101fe6105ac565b60e08201805160010167ffffffffffffffff169052600061022a9050600080600061047d8560c00151876000015186610c9d565b9250925092508163ffffffff16600014801561049f57508063ffffffff16600c145b156104ba576104ad88610cc7565b96505050505050506105a3565b60006105368660408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408701518851919250610553918391906105aa888888611d7d565b8752805163ffffffff90811660c08801526020820151811660e088015260408201518116610100880152606082015116610120870152610591612162565b6105996105ac565b9750505050505050505b95945050505050565b60408051608051815260a051602082015260dc519181019190915260fc5160448201526101005161011f5160488301526101205161013f51604984015261015851604a84015261017851605284015261019c51605a8401526101bf51605e8401526101c051605f8401526101e051607f84015261021c51609f840152600060a38085018281529194610220949093909184a0600094508060018114610654576003955061067c565b82801561066c5760018114610675576002965061067a565b6000965061067a565b600196505b505b50505081900390207effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1660f89190911b17919050565b366106bf61016460a6613998565b8110156107345760405162461bcd60e51b815260206004820152602860248201527f696e73756666696369656e742063616c6c6461746120666f722074687265616460448201527f207769746e65737300000000000000000000000000000000000000000000000060648201526084016102a8565b6101643560e090811c83526101683560f890811c602085015261016935901c604084015261016a35811c606084015261016e35811c60808401526101723560c090811c60a085015261017a35821c9084015261017e35811c8382015261018235811c61010084015261018635901c61012083015261014082015161018a9060005b60208110156107d957823560e01c82526004909201916020909101906001016107b5565b5050505050565b60006107f36107ed61220f565b8361229a565b9050600083610120015161080c57836101400151610813565b8361016001515b90508181146108645760405162461bcd60e51b815260206004820152601660248201527f696e76616c696420746872656164207769746e6573730000000000000000000060448201526064016102a8565b50505050565b600082610120015115610914577fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5836101600151036108eb5760405162461bcd60e51b815260206004820152601860248201527f656d7074792072696768742074687265616420737461636b000000000000000060448201526064016102a8565b6108f361220f565b610160840152610140830151610909908361229a565b6101408401526109ad565b7fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5836101400151036109885760405162461bcd60e51b815260206004820152601760248201527f656d707479206c6566742074687265616420737461636b00000000000000000060448201526064016102a8565b61099061220f565b6101408401526101608301516109a6908361229a565b6101608401525b60008361012001516109c4578361014001516109cb565b8361016001515b90507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb58103610a035761012084018051159052600191505b50600060e0909301929092525090565b80610120015115610a3157610a2661220f565b610160820152610a40565b610a3961220f565b6101408201525b6000816101200151610a5757816101400151610a5e565b8161016001515b90507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb58103610a9257610120820180511590525b50600060e090910152565b63ffffffff606083015260006080830181905260a083018190528082610ac4576000610aca565b63ffffffff5b9050600083610ada576000610add565b60915b90506000610b5b8660408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b61014087015163ffffffff808616604083015280851660e090920191909152602082018051808316845260040190911690529050805163ffffffff90811660c08801526020820151811660e08801526040820151811661010088015260608201511661012087015263ffffffff610100880152610bd6612162565b610bde6105ac565b979650505050505050565b6000610bf4826122dc565b6003831615610c0257600080fd5b6020820191358360051c8160005b601b811015610c685760208601953583821c6001168015610c385760018114610c4d57610c5e565b60008481526020839052604090209350610c5e565b600082815260208590526040902093505b5050600101610c10565b50868114610c7e57630badf00d60005260206000fd5b5050601f93909316601c0360031b9290921c63ffffffff169392505050565b6000806000610cad858786610be9565b925050603f601a83901c8116915082165b93509350939050565b604080516101a081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e0810182905261010081018290526101208101829052610140810182905261016081018290526101808101829052610d376137ed565b505061036051604081015160808083015160a084015160c085015160e090950151929461022094936000807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00663ffffffff881601610db357610d9e86868b6060015161235b565b63ffffffff1660608c01529092509050611c9b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03363ffffffff881601610dec5763400000009150611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffefe863ffffffff88160161106a5762050f0063ffffffff871614610e4e57600160a08a0152600260808a0152610e3f6105ac565b9b9a5050505050505050505050565b50506101808701516000610e606137ed565b6101808a015163ffffffff908116825260006020830181905260408301819052606083018290526080830181905260a0830181905260e0808c018051841660c086015251600401831690840152610100808c0151831690840152610120808c0151909216918301919091525b6020811015610f20578961014001518160208110610eec57610eec6139d7565b60200201518261014001518260208110610f0857610f086139d7565b63ffffffff9092166020929092020152600101610ecc565b506101408101805163ffffffff8089166103a090920191909152815160006040909101819052915160e0018290526101808c0180516001019091169052610fd78a60408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408b015163ffffffff808716604083015280861660e090920191909152602082018051808316845260040190911690529050805163ffffffff90811660c08c01526020820151811660e08c0152604082015181166101008c01526060820151166101208b0152611047612162565b6110518b836123ef565b6110596105ac565b9d9c50505050505050505050505050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef6a63ffffffff8816016110b757600160a08a015260ff861660808a01526110af612162565b610e3f6105ac565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05d63ffffffff88160161119557604080516101208101825263ffffffff8881168252878116602080840191909152878216838501528c01516060830152918b0151909116608082015260a081018c90527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1660c08201526105aa60e0820152895161010082015261117c81612434565b8d5263ffffffff1660408d01529093509150611c9b9050565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05c63ffffffff8816016111fa57602089015160408a01516111e0918891889188916105aa8f516126ac565b63ffffffff1660408d015260208c01529092509050611c9b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02963ffffffff88160161123b5761123186866127a2565b9092509050611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8263ffffffff88160161127357505085516000611c9b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05f63ffffffff8816016112d7576001604089015260ff861660208901526112b9896128e1565b156112cf57600160a08a015260ff861660808a01525b6110af612162565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef7263ffffffff881601611543577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8063ffffffff8616016113db5763ffffffff8616606089015288516000906113559063fffffffc89166105aa610be9565b90508463ffffffff168163ffffffff161461137a5763ffffffff9250600b91506113d5565b63ffffffff80861660808b015284161561139c5760c08a0151612710016113a6565b67ffffffffffffffff5b67ffffffffffffffff1660a08a01526113bd612162565b6113c56105ac565b9c9b505050505050505050505050565b50611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f63ffffffff86160161153457505063ffffffff8416610100880152600080806114958960408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408a015163ffffffff85811660408084019190915285821660e09384015260208401805180841680875260049091018416825260c08f0152518216928d01929092529082015181166101008c01526060820151166101208b015290506114fd8a8a61086a565b506101408a01517fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5146101208b01526113c56105ac565b5063ffffffff90506016611c9b565b63ffffffff87166110421480611560575063ffffffff8716611046145b1561165757506000905080806115e68960408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408a015163ffffffff85811660408084019190915285821660e09384015260208401805180841680875260049091018416825260c08f0152518216928d01929092529082015181166101008c01526060820151166101208b0152905061164e8a8a61086a565b506113c56105ac565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05b63ffffffff881601611693575063ffffffff90506009611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5963ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef7063ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8663ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9d63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9263ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9e63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef0e63ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05a63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9863ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8963ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef4063ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00b63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef3663ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02a63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef1a63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef1863ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef6763ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef2763ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeeff63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffefe663ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8b63ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04863ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03163ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffefd463ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8763ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5663ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeff863ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5f63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5e63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5b63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5963ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00563ffffffff88160115611c9b5760405162461bcd60e51b815260206004820152601c60248201527f4d495053323a20756e696d706c656d656e7465642073797363616c6c0000000060448201526064016102a8565b6000611d178960408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408a015163ffffffff85811660408084019190915285821660e09384015260208401805180841680875260049091018416825260c08f0152518216928d01929092529082015181166101008c01526060820151166101208b015290506113bd612162565b84600263ffffffff84161480611d9957508263ffffffff166003145b15611deb5760006002856303ffffff1663ffffffff16901b896020015163f000000016179050611de589898663ffffffff16600214611dd957601f611ddc565b60005b60ff1684612964565b50610bde565b600080601f601087901c8116908a90601589901c1660208110611e1057611e106139d7565b602002015192508063ffffffff87161580611e3157508663ffffffff16601c145b15611e63578a8263ffffffff1660208110611e4e57611e4e6139d7565b6020020151925050601f600b88901c16611f1a565b60208763ffffffff161015611ec5578663ffffffff16600c1480611e8d57508663ffffffff16600d145b80611e9e57508663ffffffff16600e145b15611eaf578761ffff169250611f1a565b611ebe8861ffff166010612a1c565b9250611f1a565b60288763ffffffff16101580611ee157508663ffffffff166022145b80611ef257508663ffffffff166026145b15611f1a578a8263ffffffff1660208110611f0f57611f0f6139d7565b602002015192508190505b60048763ffffffff1610158015611f37575060088763ffffffff16105b80611f4857508663ffffffff166001145b15611f6457611f5b8c8c898b8689612a8f565b50505050610bde565b63ffffffff6000602089831610611fc957611f848a61ffff166010612a1c565b9095019463fffffffc8616611f9a8d828e610be9565b915060288a63ffffffff1610158015611fba57508963ffffffff16603014155b15611fc757809250600093505b505b6000611fd98b8b8b8a8a87612c63565b63ffffffff1690508963ffffffff166000148015611ffe575060088963ffffffff1610155b80156120105750601c8963ffffffff16105b156120d8578863ffffffff166008148061203057508863ffffffff166009145b15612063576120578f8f8b63ffffffff1660081461204e5786612051565b60005b8a612964565b50505050505050610bde565b8863ffffffff16600a03612085576120578f8f868a63ffffffff8b1615613366565b8863ffffffff16600b036120a8576120578f8f868a63ffffffff8b161515613366565b60108963ffffffff16101580156120c55750601c8963ffffffff16105b156120d8576120578f8f8b8a8a8961341c565b8963ffffffff1660381480156120f3575063ffffffff851615155b156121235760018e8663ffffffff1660208110612112576121126139d7565b63ffffffff90921660209290920201525b8263ffffffff1663ffffffff146121425761213f838d836136a1565b97505b6121508f8f86846001613366565b50505050505050979650505050505050565b604080516101a081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e0810182905261010081018290526101208101829052610140810182905261016081018290526101808101919091526121d36137ed565b506080905061022060006121e86107ed61220f565b905082610120015115612202576101608301819052505050565b6101408301819052505050565b61020a353661222161016460c6613998565b8110156122965760405162461bcd60e51b815260206004820152602860248201527f696e73756666696369656e742063616c6c6461746120666f722074687265616460448201527f207769746e65737300000000000000000000000000000000000000000000000060648201526084016102a8565b5090565b6000806122a683613743565b60408051602081018790529081018290529091506060016040516020818303038152906040528051906020012091505092915050565b3661038082018110156123575760405162461bcd60e51b815260206004820152602360248201527f636865636b207468617420746865726520697320656e6f7567682063616c6c6460448201527f617461000000000000000000000000000000000000000000000000000000000060648201526084016102a8565b5050565b6000808284610fff81161561237557610fff811661100003015b8663ffffffff166000036123e15784935090810190636000000063ffffffff831611806123ad57508463ffffffff168263ffffffff16105b806123c357508563ffffffff168163ffffffff16105b156123dc575063ffffffff925060169150839050610cbe565b6123e5565b8693505b5093509350939050565b81610120015115612414576124098261016001518261229a565b610160830152610a92565b6124238261014001518261229a565b61014083015250600060e090910152565b6101008101516080820151825160009283929163ffffffff16156126a557845163ffffffff167ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0161265f5760006124a0866101000151876020015163fffffffc168860e00151610be9565b606087015190915060001a6001036125225761251c86606001518760a0015160408051600093845233602052918152606090922091527effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f01000000000000000000000000000000000000000000000000000000000000001790565b60608701525b6000808760c0015173ffffffffffffffffffffffffffffffffffffffff1663e03110e189606001518a608001516040518363ffffffff1660e01b815260040161257b92919091825263ffffffff16602082015260400190565b6040805180830381865afa158015612597573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906125bb9190613a06565b60208a015160408b015192945090925090600382166004819003848110156125e1578094505b50838210156125ee578193505b8460088502610100031c9450846008828660040303021b9450600180600883600403021b036001806008878560040303021b0391508119811690508581198816179650505061264c8a6020015163fffffffc168b60e00151876136a1565b92985050509386019392506126a5915050565b845163ffffffff167ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd0161269957846040015193506126a5565b63ffffffff9350600992505b9193509193565b600080858563ffffffff8b16600114806126cc575063ffffffff8b166002145b806126dd575063ffffffff8b166004145b156126ea57889350612794565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa63ffffffff8c160161278857600061272a868c63fffffffc1689610be9565b90508860038c166004038b81101561274057809b505b8b965086900360089081029290921c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600193880293841b0116911b17915060009050612794565b63ffffffff9350600992505b975097509750979350505050565b60008063ffffffff831660010361283e5763ffffffff841615806127cc575063ffffffff84166001145b806127dd575063ffffffff84166002145b806127ee575063ffffffff84166005145b806127ff575063ffffffff84166003145b80612810575063ffffffff84166006145b80612821575063ffffffff84166004145b1561282f57600091506128da565b5063ffffffff905060096128da565b8263ffffffff166003036128cf5763ffffffff84161580612865575063ffffffff84166005145b80612876575063ffffffff84166003145b1561288457600091506128da565b63ffffffff84166001148061289f575063ffffffff84166002145b806128b0575063ffffffff84166006145b806128c1575063ffffffff84166004145b1561282f57600191506128da565b5063ffffffff905060165b9250929050565b6000808261012001516128f957826101600151612900565b8261014001515b905060007fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb561292d61220f565b1490507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb58214801561295c5750805b949350505050565b836000015160040163ffffffff16846020015163ffffffff16146129ca5760405162461bcd60e51b815260206004820152601260248201527f6a756d7020696e2064656c617920736c6f74000000000000000000000000000060448201526064016102a8565b835160208501805163ffffffff90811687528381169091528316156107d95780600801848463ffffffff1660208110612a0557612a056139d7565b63ffffffff90921660209290920201525050505050565b600063ffffffff8381167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80850183169190911c821615159160016020869003821681901b830191861691821b92911b0182612a79576000612a7b565b815b90861663ffffffff16179250505092915050565b6000866000015160040163ffffffff16876020015163ffffffff1614612af75760405162461bcd60e51b815260206004820152601460248201527f6272616e636820696e2064656c617920736c6f7400000000000000000000000060448201526064016102a8565b8463ffffffff1660041480612b1257508463ffffffff166005145b15612b89576000868463ffffffff1660208110612b3157612b316139d7565b602002015190508063ffffffff168363ffffffff16148015612b5957508563ffffffff166004145b80612b8157508063ffffffff168363ffffffff1614158015612b8157508563ffffffff166005145b915050612c06565b8463ffffffff16600603612ba65760008260030b13159050612c06565b8463ffffffff16600703612bc25760008260030b139050612c06565b8463ffffffff16600103612c0657601f601085901c166000819003612beb5760008360030b1291505b8063ffffffff16600103612c045760008360030b121591505b505b8651602088015163ffffffff1688528115612c47576002612c2c8661ffff166010612a1c565b63ffffffff90811690911b8201600401166020890152612c59565b60208801805160040163ffffffff1690525b5050505050505050565b600063ffffffff86161580612c90575060088663ffffffff1610158015612c905750600f8663ffffffff16105b15613076578560088114612cd35760098114612cdc57600a8114612ce557600b8114612cee57600c8114612cf757600d8114612d0057600e8114612d0957612d0e565b60209550612d0e565b60219550612d0e565b602a9550612d0e565b602b9550612d0e565b60249550612d0e565b60259550612d0e565b602695505b508463ffffffff16600003612d33575063ffffffff8216601f600688901c161b61335c565b8463ffffffff16600203612d57575063ffffffff8216601f600688901c161c61335c565b8463ffffffff16600303612d8b57601f600688901c16612d8363ffffffff8516821c6020839003612a1c565b91505061335c565b8463ffffffff16600403612dab575063ffffffff8216601f84161b61335c565b8463ffffffff16600603612dcb575063ffffffff8216601f84161c61335c565b8463ffffffff16600703612df357601f8416612d8363ffffffff8516821c6020839003612a1c565b8463ffffffff16600803612e0857508261335c565b8463ffffffff16600903612e1d57508261335c565b8463ffffffff16600a03612e3257508261335c565b8463ffffffff16600b03612e4757508261335c565b8463ffffffff16600c03612e5c57508261335c565b8463ffffffff16600f03612e7157508261335c565b8463ffffffff16601003612e8657508261335c565b8463ffffffff16601103612e9b57508261335c565b8463ffffffff16601203612eb057508261335c565b8463ffffffff16601303612ec557508261335c565b8463ffffffff16601803612eda57508261335c565b8463ffffffff16601903612eef57508261335c565b8463ffffffff16601a03612f0457508261335c565b8463ffffffff16601b03612f1957508261335c565b8463ffffffff16602003612f30575082820161335c565b8463ffffffff16602103612f47575082820161335c565b8463ffffffff16602203612f5e575081830361335c565b8463ffffffff16602303612f75575081830361335c565b8463ffffffff16602403612f8c575082821661335c565b8463ffffffff16602503612fa3575082821761335c565b8463ffffffff16602603612fba575082821861335c565b8463ffffffff16602703612fd257508282171961335c565b8463ffffffff16602a03613001578260030b8460030b12612ff4576000612ff7565b60015b60ff16905061335c565b8463ffffffff16602b03613029578263ffffffff168463ffffffff1610612ff4576000612ff7565b60405162461bcd60e51b815260206004820152601360248201527f696e76616c696420696e737472756374696f6e0000000000000000000000000060448201526064016102a8565b613029565b8563ffffffff16601c036130f6578463ffffffff1660020361309b575082820261335c565b8463ffffffff16602014806130b657508463ffffffff166021145b15613071578463ffffffff166020036130cd579219925b60005b63800000008516156130ef576401fffffffe600195861b1694016130d0565b905061335c565b8563ffffffff16600f03613117575065ffffffff0000601083901b1661335c565b8563ffffffff1660200361314b576130ef8460031660080260180363ffffffff168363ffffffff16901c60ff166008612a1c565b8563ffffffff16602103613180576130ef8460021660080260100363ffffffff168363ffffffff16901c61ffff166010612a1c565b8563ffffffff166022036131ae575063ffffffff60086003851602811681811b198416918316901b1761335c565b8563ffffffff166023036131c357508061335c565b8563ffffffff166024036131f4578360031660080260180363ffffffff168263ffffffff16901c60ff16905061335c565b8563ffffffff16602503613226578360021660080260100363ffffffff168263ffffffff16901c61ffff16905061335c565b8563ffffffff16602603613257575063ffffffff60086003851602601803811681811c198416918316901c1761335c565b8563ffffffff1660280361328c575060ff63ffffffff60086003861602601803811682811b9091188316918416901b1761335c565b8563ffffffff166029036132c2575061ffff63ffffffff60086002861602601003811682811b9091188316918416901b1761335c565b8563ffffffff16602a036132f0575063ffffffff60086003851602811681811c198316918416901c1761335c565b8563ffffffff16602b0361330557508161335c565b8563ffffffff16602e03613336575063ffffffff60086003851602601803811681811b198316918416901b1761335c565b8563ffffffff1660300361334b57508061335c565b8563ffffffff166038036130295750815b9695505050505050565b60208363ffffffff16106133bc5760405162461bcd60e51b815260206004820152600e60248201527f76616c696420726567697374657200000000000000000000000000000000000060448201526064016102a8565b63ffffffff8316158015906133ce5750805b156133fd5781848463ffffffff16602081106133ec576133ec6139d7565b63ffffffff90921660209290920201525b5050505060208101805163ffffffff8082169093526004019091169052565b60008463ffffffff1660100361343757506060860151613649565b8463ffffffff166011036134565763ffffffff84166060880152613649565b8463ffffffff1660120361346f57506040860151613649565b8463ffffffff1660130361348e5763ffffffff84166040880152613649565b8463ffffffff166018036134c25763ffffffff600385810b9085900b02602081901c821660608a0152166040880152613649565b8463ffffffff166019036134f35763ffffffff84811681851602602081901c821660608a0152166040880152613649565b8463ffffffff16601a0361359c578260030b6000036135545760405162461bcd60e51b815260206004820152601660248201527f4d4950533a206469766973696f6e206279207a65726f0000000000000000000060448201526064016102a8565b8260030b8460030b8161356957613569613a2a565b0763ffffffff166060880152600383810b9085900b8161358b5761358b613a2a565b0563ffffffff166040880152613649565b8463ffffffff16601b03613649578263ffffffff166000036136005760405162461bcd60e51b815260206004820152601660248201527f4d4950533a206469766973696f6e206279207a65726f0000000000000000000060448201526064016102a8565b8263ffffffff168463ffffffff168161361b5761361b613a2a565b0663ffffffff90811660608901528381169085168161363c5761363c613a2a565b0463ffffffff1660408801525b63ffffffff82161561367f5780868363ffffffff166020811061366e5761366e6139d7565b63ffffffff90921660209290920201525b50505060208401805163ffffffff808216909652600401909416909352505050565b60006136ac836122dc565b60038416156136ba57600080fd5b6020830192601f8516601c0360031b83811b913563ffffffff90911b1916178460051c60005b601b8110156137385760208601953582821c6001168015613708576001811461371d5761372e565b6000858152602083905260409020945061372e565b600082815260208690526040902094505b50506001016136e0565b509095945050505050565b604051601c8201518152603f8201516004820152605f8201516005820152607c8201516006820152609c820151600a82015260b8820151600e82015260dc820151601682015260fc820151601a82015261011c820151601e82015261013c820151602282015261014082015160009160268101835b60208110156137dc57601c84015182526020909301926004909101906001016137b8565b506000815281900390209392505050565b6040805161016081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e081018290526101008101829052610120810191909152610140810161384b613850565b905290565b6040518061040001604052806020906020820280368337509192915050565b600060208083528351808285015260005b8181101561389c57858101830151858201604001528201613880565b818111156138ae576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60008083601f8401126138f457600080fd5b50813567ffffffffffffffff81111561390c57600080fd5b6020830191508360208285010111156128da57600080fd5b60008060008060006060868803121561393c57600080fd5b853567ffffffffffffffff8082111561395457600080fd5b61396089838a016138e2565b9097509550602088013591508082111561397957600080fd5b50613986888289016138e2565b96999598509660400135949350505050565b600082198211156139d2577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b500190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008060408385031215613a1957600080fd5b505080516020909101519092909150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fdfea264697066735822122036f837a00e345679927c07637ac720c2c27024b1d6794f1648ffef9fea77b21664736f6c634300080f0033",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100365760003560e01c806354fd4d501461003b578063e14ced321461008d575b600080fd5b6100776040518060400160405280600c81526020017f312e302e302d626574612e34000000000000000000000000000000000000000081525081565b604051610084919061386f565b60405180910390f35b6100a061009b366004613924565b6100ae565b604051908152602001610084565b604080516101a081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e081018290526101008101829052610120810182905261014081018290526101608101829052610180810182905261011e6137ed565b6080821461012b57600080fd5b610220811461013957600080fd5b6040516107801461014957600080fd5b6084881461015657600080fd5b610164861461016457600080fd5b8735608052602088013560a0908152604089013560e090811c60c090815260448b0135821c825260488b013560f890811c6101005260498c0135811c61012052604a8c0135821c6101405260528c013590911c61016052605a8b0135821c61018052605e8b0135901c6101a052605f8a01356101c052607f8a01356101e052609f8a0135901c6102005282015115610207576101fe6105ac565b925050506105a3565b7fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb582610140015114801561025f57507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5826101600151145b156102b15760405162461bcd60e51b815260206004820152601760248201527f4d495053323a20696c6c6567616c20766d20737461746500000000000000000060448201526064015b60405180910390fd5b60c08201805160010167ffffffffffffffff1690526102cf816106b1565b6102d982826107e0565b61010082015163ffffffff9081161461035d57806060015163ffffffff1682610100015163ffffffff160361031b5763ffffffff6101008301526101fe6105ac565b610120820151600061032d848461086a565b90508180156103395750805b1561034a5763ffffffff6101008501525b6103526105ac565b9450505050506105a3565b8060400151156103785761037082610a13565b6101fe6105ac565b606081015163ffffffff90811614610418578060a0015167ffffffffffffffff168260c0015167ffffffffffffffff1611156103ba576101fe82826001610a9d565b815160608201516000916103d69163fffffffc166105aa610be9565b90508063ffffffff16826080015163ffffffff160361040c576103f9838361086a565b506104026105ac565b93505050506105a3565b61040283836000610a9d565b620186a063ffffffff168260e0015167ffffffffffffffff160361044957610440828261086a565b506101fe6105ac565b60e08201805160010167ffffffffffffffff169052600061022a9050600080600061047d8560c00151876000015186610c9d565b9250925092508163ffffffff16600014801561049f57508063ffffffff16600c145b156104ba576104ad88610cc7565b96505050505050506105a3565b60006105368660408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408701518851919250610553918391906105aa888888611d7d565b8752805163ffffffff90811660c08801526020820151811660e088015260408201518116610100880152606082015116610120870152610591612162565b6105996105ac565b9750505050505050505b95945050505050565b60408051608051815260a051602082015260dc519181019190915260fc5160448201526101005161011f5160488301526101205161013f51604984015261015851604a84015261017851605284015261019c51605a8401526101bf51605e8401526101c051605f8401526101e051607f84015261021c51609f840152600060a38085018281529194610220949093909184a0600094508060018114610654576003955061067c565b82801561066c5760018114610675576002965061067a565b6000965061067a565b600196505b505b50505081900390207effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1660f89190911b17919050565b366106bf61016460a6613998565b8110156107345760405162461bcd60e51b815260206004820152602860248201527f696e73756666696369656e742063616c6c6461746120666f722074687265616460448201527f207769746e65737300000000000000000000000000000000000000000000000060648201526084016102a8565b6101643560e090811c83526101683560f890811c602085015261016935901c604084015261016a35811c606084015261016e35811c60808401526101723560c090811c60a085015261017a35821c9084015261017e35811c8382015261018235811c61010084015261018635901c61012083015261014082015161018a9060005b60208110156107d957823560e01c82526004909201916020909101906001016107b5565b5050505050565b60006107f36107ed61220f565b8361229a565b9050600083610120015161080c57836101400151610813565b8361016001515b90508181146108645760405162461bcd60e51b815260206004820152601660248201527f696e76616c696420746872656164207769746e6573730000000000000000000060448201526064016102a8565b50505050565b600082610120015115610914577fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5836101600151036108eb5760405162461bcd60e51b815260206004820152601860248201527f656d7074792072696768742074687265616420737461636b000000000000000060448201526064016102a8565b6108f361220f565b610160840152610140830151610909908361229a565b6101408401526109ad565b7fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5836101400151036109885760405162461bcd60e51b815260206004820152601760248201527f656d707479206c6566742074687265616420737461636b00000000000000000060448201526064016102a8565b61099061220f565b6101408401526101608301516109a6908361229a565b6101608401525b60008361012001516109c4578361014001516109cb565b8361016001515b90507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb58103610a035761012084018051159052600191505b50600060e0909301929092525090565b80610120015115610a3157610a2661220f565b610160820152610a40565b610a3961220f565b6101408201525b6000816101200151610a5757816101400151610a5e565b8161016001515b90507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb58103610a9257610120820180511590525b50600060e090910152565b63ffffffff606083015260006080830181905260a083018190528082610ac4576000610aca565b63ffffffff5b9050600083610ada576000610add565b60915b90506000610b5b8660408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b61014087015163ffffffff808616604083015280851660e090920191909152602082018051808316845260040190911690529050805163ffffffff90811660c08801526020820151811660e08801526040820151811661010088015260608201511661012087015263ffffffff610100880152610bd6612162565b610bde6105ac565b979650505050505050565b6000610bf4826122dc565b6003831615610c0257600080fd5b6020820191358360051c8160005b601b811015610c685760208601953583821c6001168015610c385760018114610c4d57610c5e565b60008481526020839052604090209350610c5e565b600082815260208590526040902093505b5050600101610c10565b50868114610c7e57630badf00d60005260206000fd5b5050601f93909316601c0360031b9290921c63ffffffff169392505050565b6000806000610cad858786610be9565b925050603f601a83901c8116915082165b93509350939050565b604080516101a081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e0810182905261010081018290526101208101829052610140810182905261016081018290526101808101829052610d376137ed565b505061036051604081015160808083015160a084015160c085015160e090950151929461022094936000807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00663ffffffff881601610db357610d9e86868b6060015161235b565b63ffffffff1660608c01529092509050611c9b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03363ffffffff881601610dec5763400000009150611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffefe863ffffffff88160161106a5762050f0063ffffffff871614610e4e57600160a08a0152600260808a0152610e3f6105ac565b9b9a5050505050505050505050565b50506101808701516000610e606137ed565b6101808a015163ffffffff908116825260006020830181905260408301819052606083018290526080830181905260a0830181905260e0808c018051841660c086015251600401831690840152610100808c0151831690840152610120808c0151909216918301919091525b6020811015610f20578961014001518160208110610eec57610eec6139d7565b60200201518261014001518260208110610f0857610f086139d7565b63ffffffff9092166020929092020152600101610ecc565b506101408101805163ffffffff8089166103a090920191909152815160006040909101819052915160e0018290526101808c0180516001019091169052610fd78a60408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408b015163ffffffff808716604083015280861660e090920191909152602082018051808316845260040190911690529050805163ffffffff90811660c08c01526020820151811660e08c0152604082015181166101008c01526060820151166101208b0152611047612162565b6110518b836123ef565b6110596105ac565b9d9c50505050505050505050505050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef6a63ffffffff8816016110b757600160a08a015260ff861660808a01526110af612162565b610e3f6105ac565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05d63ffffffff88160161119557604080516101208101825263ffffffff8881168252878116602080840191909152878216838501528c01516060830152918b0151909116608082015260a081018c90527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1660c08201526105aa60e0820152895161010082015261117c81612434565b8d5263ffffffff1660408d01529093509150611c9b9050565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05c63ffffffff8816016111fa57602089015160408a01516111e0918891889188916105aa8f516126ac565b63ffffffff1660408d015260208c01529092509050611c9b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02963ffffffff88160161123b5761123186866127a2565b9092509050611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8263ffffffff88160161127357505085516000611c9b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05f63ffffffff8816016112d7576001604089015260ff861660208901526112b9896128e1565b156112cf57600160a08a015260ff861660808a01525b6110af612162565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef7263ffffffff881601611543577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8063ffffffff8616016113db5763ffffffff8616606089015288516000906113559063fffffffc89166105aa610be9565b90508463ffffffff168163ffffffff161461137a5763ffffffff9250600b91506113d5565b63ffffffff80861660808b015284161561139c5760c08a0151612710016113a6565b67ffffffffffffffff5b67ffffffffffffffff1660a08a01526113bd612162565b6113c56105ac565b9c9b505050505050505050505050565b50611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f63ffffffff86160161153457505063ffffffff8416610100880152600080806114958960408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408a015163ffffffff85811660408084019190915285821660e09384015260208401805180841680875260049091018416825260c08f0152518216928d01929092529082015181166101008c01526060820151166101208b015290506114fd8a8a61086a565b506101408a01517fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5146101208b01526113c56105ac565b5063ffffffff90506016611c9b565b63ffffffff87166110421480611560575063ffffffff8716611046145b1561165757506000905080806115e68960408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408a015163ffffffff85811660408084019190915285821660e09384015260208401805180841680875260049091018416825260c08f0152518216928d01929092529082015181166101008c01526060820151166101208b0152905061164e8a8a61086a565b506113c56105ac565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05b63ffffffff881601611693575063ffffffff90506009611c9b565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5963ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef7063ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8663ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9d63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9263ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9e63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef0e63ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05a63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef9863ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8963ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef4063ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00b63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef3663ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02a63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef1a63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef1863ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef6763ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef2763ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeeff63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffefe663ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8b63ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04863ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03163ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffefd463ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef8763ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5663ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeff863ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5f63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5e63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5b63ffffffff88160115611c9b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffef5963ffffffff88160115611c9b577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00563ffffffff88160115611c9b5760405162461bcd60e51b815260206004820152601c60248201527f4d495053323a20756e696d706c656d656e7465642073797363616c6c0000000060448201526064016102a8565b6000611d178960408051608081018252600080825260208201819052918101829052606081019190915260405180608001604052808360c0015163ffffffff1681526020018360e0015163ffffffff16815260200183610100015163ffffffff16815260200183610120015163ffffffff168152509050919050565b6101408a015163ffffffff85811660408084019190915285821660e09384015260208401805180841680875260049091018416825260c08f0152518216928d01929092529082015181166101008c01526060820151166101208b015290506113bd612162565b84600263ffffffff84161480611d9957508263ffffffff166003145b15611deb5760006002856303ffffff1663ffffffff16901b896020015163f000000016179050611de589898663ffffffff16600214611dd957601f611ddc565b60005b60ff1684612964565b50610bde565b600080601f601087901c8116908a90601589901c1660208110611e1057611e106139d7565b602002015192508063ffffffff87161580611e3157508663ffffffff16601c145b15611e63578a8263ffffffff1660208110611e4e57611e4e6139d7565b6020020151925050601f600b88901c16611f1a565b60208763ffffffff161015611ec5578663ffffffff16600c1480611e8d57508663ffffffff16600d145b80611e9e57508663ffffffff16600e145b15611eaf578761ffff169250611f1a565b611ebe8861ffff166010612a1c565b9250611f1a565b60288763ffffffff16101580611ee157508663ffffffff166022145b80611ef257508663ffffffff166026145b15611f1a578a8263ffffffff1660208110611f0f57611f0f6139d7565b602002015192508190505b60048763ffffffff1610158015611f37575060088763ffffffff16105b80611f4857508663ffffffff166001145b15611f6457611f5b8c8c898b8689612a8f565b50505050610bde565b63ffffffff6000602089831610611fc957611f848a61ffff166010612a1c565b9095019463fffffffc8616611f9a8d828e610be9565b915060288a63ffffffff1610158015611fba57508963ffffffff16603014155b15611fc757809250600093505b505b6000611fd98b8b8b8a8a87612c63565b63ffffffff1690508963ffffffff166000148015611ffe575060088963ffffffff1610155b80156120105750601c8963ffffffff16105b156120d8578863ffffffff166008148061203057508863ffffffff166009145b15612063576120578f8f8b63ffffffff1660081461204e5786612051565b60005b8a612964565b50505050505050610bde565b8863ffffffff16600a03612085576120578f8f868a63ffffffff8b1615613366565b8863ffffffff16600b036120a8576120578f8f868a63ffffffff8b161515613366565b60108963ffffffff16101580156120c55750601c8963ffffffff16105b156120d8576120578f8f8b8a8a8961341c565b8963ffffffff1660381480156120f3575063ffffffff851615155b156121235760018e8663ffffffff1660208110612112576121126139d7565b63ffffffff90921660209290920201525b8263ffffffff1663ffffffff146121425761213f838d836136a1565b97505b6121508f8f86846001613366565b50505050505050979650505050505050565b604080516101a081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e0810182905261010081018290526101208101829052610140810182905261016081018290526101808101919091526121d36137ed565b506080905061022060006121e86107ed61220f565b905082610120015115612202576101608301819052505050565b6101408301819052505050565b61020a353661222161016460c6613998565b8110156122965760405162461bcd60e51b815260206004820152602860248201527f696e73756666696369656e742063616c6c6461746120666f722074687265616460448201527f207769746e65737300000000000000000000000000000000000000000000000060648201526084016102a8565b5090565b6000806122a683613743565b60408051602081018790529081018290529091506060016040516020818303038152906040528051906020012091505092915050565b3661038082018110156123575760405162461bcd60e51b815260206004820152602360248201527f636865636b207468617420746865726520697320656e6f7567682063616c6c6460448201527f617461000000000000000000000000000000000000000000000000000000000060648201526084016102a8565b5050565b6000808284610fff81161561237557610fff811661100003015b8663ffffffff166000036123e15784935090810190636000000063ffffffff831611806123ad57508463ffffffff168263ffffffff16105b806123c357508563ffffffff168163ffffffff16105b156123dc575063ffffffff925060169150839050610cbe565b6123e5565b8693505b5093509350939050565b81610120015115612414576124098261016001518261229a565b610160830152610a92565b6124238261014001518261229a565b61014083015250600060e090910152565b6101008101516080820151825160009283929163ffffffff16156126a557845163ffffffff167ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0161265f5760006124a0866101000151876020015163fffffffc168860e00151610be9565b606087015190915060001a6001036125225761251c86606001518760a0015160408051600093845233602052918152606090922091527effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f01000000000000000000000000000000000000000000000000000000000000001790565b60608701525b6000808760c0015173ffffffffffffffffffffffffffffffffffffffff1663e03110e189606001518a608001516040518363ffffffff1660e01b815260040161257b92919091825263ffffffff16602082015260400190565b6040805180830381865afa158015612597573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906125bb9190613a06565b60208a015160408b015192945090925090600382166004819003848110156125e1578094505b50838210156125ee578193505b8460088502610100031c9450846008828660040303021b9450600180600883600403021b036001806008878560040303021b0391508119811690508581198816179650505061264c8a6020015163fffffffc168b60e00151876136a1565b92985050509386019392506126a5915050565b845163ffffffff167ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd0161269957846040015193506126a5565b63ffffffff9350600992505b9193509193565b600080858563ffffffff8b16600114806126cc575063ffffffff8b166002145b806126dd575063ffffffff8b166004145b156126ea57889350612794565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa63ffffffff8c160161278857600061272a868c63fffffffc1689610be9565b90508860038c166004038b81101561274057809b505b8b965086900360089081029290921c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600193880293841b0116911b17915060009050612794565b63ffffffff9350600992505b975097509750979350505050565b60008063ffffffff831660010361283e5763ffffffff841615806127cc575063ffffffff84166001145b806127dd575063ffffffff84166002145b806127ee575063ffffffff84166005145b806127ff575063ffffffff84166003145b80612810575063ffffffff84166006145b80612821575063ffffffff84166004145b1561282f57600091506128da565b5063ffffffff905060096128da565b8263ffffffff166003036128cf5763ffffffff84161580612865575063ffffffff84166005145b80612876575063ffffffff84166003145b1561288457600091506128da565b63ffffffff84166001148061289f575063ffffffff84166002145b806128b0575063ffffffff84166006145b806128c1575063ffffffff84166004145b1561282f57600191506128da565b5063ffffffff905060165b9250929050565b6000808261012001516128f957826101600151612900565b8261014001515b905060007fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb561292d61220f565b1490507fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb58214801561295c5750805b949350505050565b836000015160040163ffffffff16846020015163ffffffff16146129ca5760405162461bcd60e51b815260206004820152601260248201527f6a756d7020696e2064656c617920736c6f74000000000000000000000000000060448201526064016102a8565b835160208501805163ffffffff90811687528381169091528316156107d95780600801848463ffffffff1660208110612a0557612a056139d7565b63ffffffff90921660209290920201525050505050565b600063ffffffff8381167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80850183169190911c821615159160016020869003821681901b830191861691821b92911b0182612a79576000612a7b565b815b90861663ffffffff16179250505092915050565b6000866000015160040163ffffffff16876020015163ffffffff1614612af75760405162461bcd60e51b815260206004820152601460248201527f6272616e636820696e2064656c617920736c6f7400000000000000000000000060448201526064016102a8565b8463ffffffff1660041480612b1257508463ffffffff166005145b15612b89576000868463ffffffff1660208110612b3157612b316139d7565b602002015190508063ffffffff168363ffffffff16148015612b5957508563ffffffff166004145b80612b8157508063ffffffff168363ffffffff1614158015612b8157508563ffffffff166005145b915050612c06565b8463ffffffff16600603612ba65760008260030b13159050612c06565b8463ffffffff16600703612bc25760008260030b139050612c06565b8463ffffffff16600103612c0657601f601085901c166000819003612beb5760008360030b1291505b8063ffffffff16600103612c045760008360030b121591505b505b8651602088015163ffffffff1688528115612c47576002612c2c8661ffff166010612a1c565b63ffffffff90811690911b8201600401166020890152612c59565b60208801805160040163ffffffff1690525b5050505050505050565b600063ffffffff86161580612c90575060088663ffffffff1610158015612c905750600f8663ffffffff16105b15613076578560088114612cd35760098114612cdc57600a8114612ce557600b8114612cee57600c8114612cf757600d8114612d0057600e8114612d0957612d0e565b60209550612d0e565b60219550612d0e565b602a9550612d0e565b602b9550612d0e565b60249550612d0e565b60259550612d0e565b602695505b508463ffffffff16600003612d33575063ffffffff8216601f600688901c161b61335c565b8463ffffffff16600203612d57575063ffffffff8216601f600688901c161c61335c565b8463ffffffff16600303612d8b57601f600688901c16612d8363ffffffff8516821c6020839003612a1c565b91505061335c565b8463ffffffff16600403612dab575063ffffffff8216601f84161b61335c565b8463ffffffff16600603612dcb575063ffffffff8216601f84161c61335c565b8463ffffffff16600703612df357601f8416612d8363ffffffff8516821c6020839003612a1c565b8463ffffffff16600803612e0857508261335c565b8463ffffffff16600903612e1d57508261335c565b8463ffffffff16600a03612e3257508261335c565b8463ffffffff16600b03612e4757508261335c565b8463ffffffff16600c03612e5c57508261335c565b8463ffffffff16600f03612e7157508261335c565b8463ffffffff16601003612e8657508261335c565b8463ffffffff16601103612e9b57508261335c565b8463ffffffff16601203612eb057508261335c565b8463ffffffff16601303612ec557508261335c565b8463ffffffff16601803612eda57508261335c565b8463ffffffff16601903612eef57508261335c565b8463ffffffff16601a03612f0457508261335c565b8463ffffffff16601b03612f1957508261335c565b8463ffffffff16602003612f30575082820161335c565b8463ffffffff16602103612f47575082820161335c565b8463ffffffff16602203612f5e575081830361335c565b8463ffffffff16602303612f75575081830361335c565b8463ffffffff16602403612f8c575082821661335c565b8463ffffffff16602503612fa3575082821761335c565b8463ffffffff16602603612fba575082821861335c565b8463ffffffff16602703612fd257508282171961335c565b8463ffffffff16602a03613001578260030b8460030b12612ff4576000612ff7565b60015b60ff16905061335c565b8463ffffffff16602b03613029578263ffffffff168463ffffffff1610612ff4576000612ff7565b60405162461bcd60e51b815260206004820152601360248201527f696e76616c696420696e737472756374696f6e0000000000000000000000000060448201526064016102a8565b613029565b8563ffffffff16601c036130f6578463ffffffff1660020361309b575082820261335c565b8463ffffffff16602014806130b657508463ffffffff166021145b15613071578463ffffffff166020036130cd579219925b60005b63800000008516156130ef576401fffffffe600195861b1694016130d0565b905061335c565b8563ffffffff16600f03613117575065ffffffff0000601083901b1661335c565b8563ffffffff1660200361314b576130ef8460031660080260180363ffffffff168363ffffffff16901c60ff166008612a1c565b8563ffffffff16602103613180576130ef8460021660080260100363ffffffff168363ffffffff16901c61ffff166010612a1c565b8563ffffffff166022036131ae575063ffffffff60086003851602811681811b198416918316901b1761335c565b8563ffffffff166023036131c357508061335c565b8563ffffffff166024036131f4578360031660080260180363ffffffff168263ffffffff16901c60ff16905061335c565b8563ffffffff16602503613226578360021660080260100363ffffffff168263ffffffff16901c61ffff16905061335c565b8563ffffffff16602603613257575063ffffffff60086003851602601803811681811c198416918316901c1761335c565b8563ffffffff1660280361328c575060ff63ffffffff60086003861602601803811682811b9091188316918416901b1761335c565b8563ffffffff166029036132c2575061ffff63ffffffff60086002861602601003811682811b9091188316918416901b1761335c565b8563ffffffff16602a036132f0575063ffffffff60086003851602811681811c198316918416901c1761335c565b8563ffffffff16602b0361330557508161335c565b8563ffffffff16602e03613336575063ffffffff60086003851602601803811681811b198316918416901b1761335c565b8563ffffffff1660300361334b57508061335c565b8563ffffffff166038036130295750815b9695505050505050565b60208363ffffffff16106133bc5760405162461bcd60e51b815260206004820152600e60248201527f76616c696420726567697374657200000000000000000000000000000000000060448201526064016102a8565b63ffffffff8316158015906133ce5750805b156133fd5781848463ffffffff16602081106133ec576133ec6139d7565b63ffffffff90921660209290920201525b5050505060208101805163ffffffff8082169093526004019091169052565b60008463ffffffff1660100361343757506060860151613649565b8463ffffffff166011036134565763ffffffff84166060880152613649565b8463ffffffff1660120361346f57506040860151613649565b8463ffffffff1660130361348e5763ffffffff84166040880152613649565b8463ffffffff166018036134c25763ffffffff600385810b9085900b02602081901c821660608a0152166040880152613649565b8463ffffffff166019036134f35763ffffffff84811681851602602081901c821660608a0152166040880152613649565b8463ffffffff16601a0361359c578260030b6000036135545760405162461bcd60e51b815260206004820152601660248201527f4d4950533a206469766973696f6e206279207a65726f0000000000000000000060448201526064016102a8565b8260030b8460030b8161356957613569613a2a565b0763ffffffff166060880152600383810b9085900b8161358b5761358b613a2a565b0563ffffffff166040880152613649565b8463ffffffff16601b03613649578263ffffffff166000036136005760405162461bcd60e51b815260206004820152601660248201527f4d4950533a206469766973696f6e206279207a65726f0000000000000000000060448201526064016102a8565b8263ffffffff168463ffffffff168161361b5761361b613a2a565b0663ffffffff90811660608901528381169085168161363c5761363c613a2a565b0463ffffffff1660408801525b63ffffffff82161561367f5780868363ffffffff166020811061366e5761366e6139d7565b63ffffffff90921660209290920201525b50505060208401805163ffffffff808216909652600401909416909352505050565b60006136ac836122dc565b60038416156136ba57600080fd5b6020830192601f8516601c0360031b83811b913563ffffffff90911b1916178460051c60005b601b8110156137385760208601953582821c6001168015613708576001811461371d5761372e565b6000858152602083905260409020945061372e565b600082815260208690526040902094505b50506001016136e0565b509095945050505050565b604051601c8201518152603f8201516004820152605f8201516005820152607c8201516006820152609c820151600a82015260b8820151600e82015260dc820151601682015260fc820151601a82015261011c820151601e82015261013c820151602282015261014082015160009160268101835b60208110156137dc57601c84015182526020909301926004909101906001016137b8565b506000815281900390209392505050565b6040805161016081018252600080825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e081018290526101008101829052610120810191909152610140810161384b613850565b905290565b6040518061040001604052806020906020820280368337509192915050565b600060208083528351808285015260005b8181101561389c57858101830151858201604001528201613880565b818111156138ae576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60008083601f8401126138f457600080fd5b50813567ffffffffffffffff81111561390c57600080fd5b6020830191508360208285010111156128da57600080fd5b60008060008060006060868803121561393c57600080fd5b853567ffffffffffffffff8082111561395457600080fd5b61396089838a016138e2565b9097509550602088013591508082111561397957600080fd5b50613986888289016138e2565b96999598509660400135949350505050565b600082198211156139d2577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b500190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008060408385031215613a1957600080fd5b505080516020909101519092909150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fdfea264697066735822122036f837a00e345679927c07637ac720c2c27024b1d6794f1648ffef9fea77b21664736f6c634300080f0033",
  "linkReferences": {},
  "deployedLinkReferences": {}
}