helios/execution/testdata/code.json

2 lines
19 KiB
JSON

0x6080604052600436106102345760003560e01c8063715018a61161012e578063c45ac050116100ab578063e985e9c51161006f578063e985e9c51461073f578063f19e75d414610788578063f2c4ce1e1461079b578063f2fde38b146107bb578063fb808e8a146107db57600080fd5b8063c45ac0501461067e578063c87b56dd1461069e578063ce7c2ac2146106be578063d79779b2146106f4578063e33b7de31461072a57600080fd5b806395d89b41116100f257806395d89b41146105d35780639852595c146105e8578063a22cb4651461061e578063a3f8eace1461063e578063b88d4fde1461065e57600080fd5b8063715018a6146105475780637b47ec1a1461055c5780638b83209b1461057c5780638da5cb5b1461059c57806395acfa27146105ba57600080fd5b80633a98ef39116101bc57806348b750441161018057806348b75044146104a75780634c261247146104c75780636352211e146104e75780636d5d40c61461050757806370a082311461052757600080fd5b80633a98ef39146103c45780633bbeaab5146103d95780633f6ef2341461040d578063406072a91461044157806342842e0e1461048757600080fd5b806318160ddd1161020357806318160ddd14610333578063191655871461035a57806323b872dd1461037a5780632db115441461039a5780632e95599a146103ad57600080fd5b806301ffc9a71461028257806306fdde03146102b7578063081812fc146102d9578063095ea7b31461031157600080fd5b3661027d577f6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be77033604080516001600160a01b0390921682523460208301520160405180910390a1005b600080fd5b34801561028e57600080fd5b506102a261029d3660046120e9565b61080f565b60405190151581526020015b60405180910390f35b3480156102c357600080fd5b506102cc610861565b6040516102ae919061215e565b3480156102e557600080fd5b506102f96102f4366004612171565b6108f3565b6040516001600160a01b0390911681526020016102ae565b34801561031d57600080fd5b5061033161032c36600461219f565b610937565b005b34801561033f57600080fd5b5060025460015403600019015b6040519081526020016102ae565b34801561036657600080fd5b506103316103753660046121cb565b6109e4565b34801561038657600080fd5b506103316103953660046121e8565b610b62565b6103316103a8366004612171565b610cfd565b3480156103b957600080fd5b5060115461034c9081565b3480156103d057600080fd5b50600a5461034c565b3480156103e557600080fd5b5061034c7f00000000000000000000000000000000000000000000000000000000000001f481565b34801561041957600080fd5b5061034c7f00000000000000000000000000000000000000000000000000000000000001f481565b34801561044d57600080fd5b5061034c61045c366004612229565b6001600160a01b03918216600090815260106020908152604080832093909416825291909152205490565b34801561049357600080fd5b506103316104a23660046121e8565b610ea3565b3480156104b357600080fd5b506103316104c2366004612229565b610ebe565b3480156104d357600080fd5b506103316104e2366004612262565b611061565b3480156104f357600080fd5b506102f9610502366004612171565b611087565b34801561051357600080fd5b50610331610522366004612171565b611092565b34801561053357600080fd5b5061034c6105423660046121cb565b61109f565b34801561055357600080fd5b506103316110ee565b34801561056857600080fd5b50610331610577366004612171565b611102565b34801561058857600080fd5b506102f9610597366004612171565b611174565b3480156105a857600080fd5b506000546001600160a01b03166102f9565b3480156105c657600080fd5b5061034c64e8d4a5100081565b3480156105df57600080fd5b506102cc6111a4565b3480156105f457600080fd5b5061034c6106033660046121cb565b6001600160a01b03166000908152600d602052604090205490565b34801561062a57600080fd5b506103316106393660046122e2565b6111b3565b34801561064a57600080fd5b5061034c6106593660046121cb565b611249565b34801561066a57600080fd5b50610331610679366004612326565b611291565b34801561068a57600080fd5b5061034c610699366004612229565b6112db565b3480156106aa57600080fd5b506102cc6106b9366004612171565b6113b5565b3480156106ca57600080fd5b5061034c6106d93660046121cb565b6001600160a01b03166000908152600c602052604090205490565b34801561070057600080fd5b5061034c61070f3660046121cb565b6001600160a01b03166000908152600f602052604090205490565b34801561073657600080fd5b50600b5461034c565b34801561074b57600080fd5b506102a261075a366004612229565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205460ff1690565b610331610796366004612171565b611459565b3480156107a757600080fd5b506103316107b6366004612262565b61158d565b3480156107c757600080fd5b506103316107d63660046121cb565b6115a1565b3480156107e757600080fd5b5061034c7f00000000000000000000000000000000000000000000000000000000000001f481565b60006301ffc9a760e01b6001600160e01b03198316148061084057506380ac58cd60e01b6001600160e01b03198316145b8061085b5750635b5e139f60e01b6001600160e01b03198316145b92915050565b60606003805461087090612406565b80601f016020809104026020016040519081016040528092919081815260200182805461089c90612406565b80156108e95780601f106108be576101008083540402835291602001916108e9565b820191906000526020600020905b8154815290600101906020018083116108cc57829003601f168201915b5050505050905090565b60006108fe82611617565b61091b576040516333d1c03960e21b815260040160405180910390fd5b506000908152600760205260409020546001600160a01b031690565b600061094282611087565b9050336001600160a01b0382161461097b5761095e813361075a565b61097b576040516367d9dca160e11b815260040160405180910390fd5b600082815260076020526040808220805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b0387811691821790925591518593918516917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591a4505050565b6001600160a01b0381166000908152600c6020526040902054610a5d5760405162461bcd60e51b815260206004820152602660248201527f5061796d656e7453706c69747465723a206163636f756e7420686173206e6f2060448201526573686172657360d01b60648201526084015b60405180910390fd5b6000610a6882611249565b905080610acb5760405162461bcd60e51b815260206004820152602b60248201527f5061796d656e7453706c69747465723a206163636f756e74206973206e6f742060448201526a191d59481c185e5b595b9d60aa1b6064820152608401610a54565b6001600160a01b0382166000908152600d602052604081208054839290610af3908490612457565b9250508190555080600b6000828254610b0c9190612457565b90915550610b1c9050828261164c565b604080516001600160a01b0384168152602081018390527fdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056910160405180910390a15050565b6000610b6d82611765565b9050836001600160a01b0316816001600160a01b031614610ba05760405162a1148160e81b815260040160405180910390fd5b60008281526007602052604090208054610bcc8187335b6001600160a01b039081169116811491141790565b610bf757610bda863361075a565b610bf757604051632ce44b5f60e11b815260040160405180910390fd5b6001600160a01b038516610c1e57604051633a954ecd60e21b815260040160405180910390fd5b8015610c2957600082555b6001600160a01b038681166000908152600660205260408082208054600019019055918716808252919020805460010190554260a01b17600160e11b17600085815260056020526040902055600160e11b8316610cb45760018401600081815260056020526040902054610cb2576001548114610cb25760008181526005602052604090208490555b505b83856001600160a01b0316876001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050505050565b323314610d4c5760405162461bcd60e51b815260206004820152601e60248201527f5468652063616c6c657220697320616e6f7468657220636f6e747261637400006044820152606401610a54565b6011546000610d608364e8d4a5100061246f565b90508115801590610d715750814210155b610dbd5760405162461bcd60e51b815260206004820152601f60248201527f5075626c69632073616c6520686173206e6f74207374617274656420796574006044820152606401610a54565b80341015610e0d5760405162461bcd60e51b815260206004820181905260248201527f4e6f7420656e6f756768204554482073656e743a20636865636b2070726963656044820152606401610a54565b6002546001547f00000000000000000000000000000000000000000000000000000000000001f49185910360001901610e469190612457565b1115610e945760405162461bcd60e51b815260206004820152601660248201527f45786365656473206d6178696d756d20737570706c79000000000000000000006044820152606401610a54565b610e9e83826117ce565b505050565b610e9e83838360405180602001604052806000815250611291565b6001600160a01b0381166000908152600c6020526040902054610f325760405162461bcd60e51b815260206004820152602660248201527f5061796d656e7453706c69747465723a206163636f756e7420686173206e6f2060448201526573686172657360d01b6064820152608401610a54565b6000610f3e83836112db565b905080610fa15760405162461bcd60e51b815260206004820152602b60248201527f5061796d656e7453706c69747465723a206163636f756e74206973206e6f742060448201526a191d59481c185e5b595b9d60aa1b6064820152608401610a54565b6001600160a01b03808416600090815260106020908152604080832093861683529290529081208054839290610fd8908490612457565b90915550506001600160a01b0383166000908152600f602052604081208054839290611005908490612457565b9091555061101690508383836117e1565b604080516001600160a01b038481168252602082018490528516917f3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a910160405180910390a2505050565b611069611848565b6110756012838361203a565b50506013805460ff1916600117905550565b600061085b82611765565b61109a611848565b601155565b60006001600160a01b0382166110c8576040516323d3ad8160e21b815260040160405180910390fd5b506001600160a01b031660009081526006602052604090205467ffffffffffffffff1690565b6110f6611848565b61110060006118a2565b565b600061110d82611087565b90506001600160a01b03811633146111675760405162461bcd60e51b815260206004820152601260248201527f4e6f74206f776e6572206f6620746f6b656e00000000000000000000000000006044820152606401610a54565b611170826118ff565b5050565b6000600e82815481106111895761118961248e565b6000918252602090912001546001600160a01b031692915050565b60606004805461087090612406565b6001600160a01b0382163314156111dd5760405163b06307db60e01b815260040160405180910390fd5b3360008181526008602090815260408083206001600160a01b03871680855290835292819020805460ff191686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b600080611255600b5490565b61125f9047612457565b905061128a8382611285866001600160a01b03166000908152600d602052604090205490565b61190a565b9392505050565b61129c848484610b62565b6001600160a01b0383163b156112d5576112b884848484611948565b6112d5576040516368d2bf6b60e11b815260040160405180910390fd5b50505050565b6001600160a01b0382166000908152600f602052604081205481906040516370a0823160e01b81523060048201526001600160a01b038616906370a082319060240160206040518083038186803b15801561133557600080fd5b505afa158015611349573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061136d91906124a4565b6113779190612457565b6001600160a01b038086166000908152601060209081526040808320938816835292905220549091506113ad908490839061190a565b949350505050565b60606113c082611617565b6113dd57604051630a14c4b560e41b815260040160405180910390fd5b60006113e7611a3f565b905060006113f3611a4e565b905061140160135460ff1690565b61140c579392505050565b815161142757604051806020016040528060008152506113ad565b8161143185611a5d565b6040516020016114429291906124bd565b604051602081830303815290604052949350505050565b611461611848565b6002546001547f00000000000000000000000000000000000000000000000000000000000001f4918391036000190161149a9190612457565b11156114e85760405162461bcd60e51b815260206004820152601460248201527f4e6f7420656e6f7567682072656d61696e696e670000000000000000000000006044820152606401610a54565b3360009081526006602052604090819020547f00000000000000000000000000000000000000000000000000000000000001f4916115329184911c67ffffffffffffffff16612457565b11156115805760405162461bcd60e51b815260206004820152601660248201527f43616e206e6f74206d696e742074686973206d616e79000000000000000000006044820152606401610a54565b61158a3382611a9f565b50565b611595611848565b610e9e6014838361203a565b6115a9611848565b6001600160a01b03811661160e5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610a54565b61158a816118a2565b60008160011115801561162b575060015482105b801561085b575050600090815260056020526040902054600160e01b161590565b8047101561169c5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a20696e73756666696369656e742062616c616e63650000006044820152606401610a54565b6000826001600160a01b03168260405160006040518083038185875af1925050503d80600081146116e9576040519150601f19603f3d011682016040523d82523d6000602084013e6116ee565b606091505b5050905080610e9e5760405162461bcd60e51b815260206004820152603a60248201527f416464726573733a20756e61626c6520746f2073656e642076616c75652c207260448201527f6563697069656e74206d617920686176652072657665727465640000000000006064820152608401610a54565b600081806001116117b5576001548110156117b557600081815260056020526040902054600160e01b81166117b3575b8061128a575060001901600081815260056020526040902054611795565b505b604051636f96cda160e11b815260040160405180910390fd5b6117d83383611a9f565b61117081611ab9565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1663a9059cbb60e01b179052610e9e908490611b47565b6000546001600160a01b031633146111005760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610a54565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b61158a816000611c19565b600a546001600160a01b0384166000908152600c602052604081205490918391611934908661246f565b61193e91906124fc565b6113ad919061251e565b604051630a85bd0160e11b81526000906001600160a01b0385169063150b7a029061197d903390899088908890600401612535565b602060405180830381600087803b15801561199757600080fd5b505af19250505080156119c7575060408051601f3d908101601f191682019092526119c491810190612571565b60015b611a22573d8080156119f5576040519150601f19603f3d011682016040523d82523d6000602084013e6119fa565b606091505b508051611a1a576040516368d2bf6b60e11b815260040160405180910390fd5b805181602001fd5b6001600160e01b031916630a85bd0160e11b149050949350505050565b60606012805461087090612406565b60606014805461087090612406565b604080516080019081905280825b600183039250600a81066030018353600a900480611a8857611a8d565b611a6b565b50819003601f19909101908152919050565b611170828260405180602001604052806000815250611d5d565b80341015611b095760405162461bcd60e51b815260206004820152601660248201527f4e65656420746f2073656e64206d6f7265204554482e000000000000000000006044820152606401610a54565b8034111561158a57336108fc611b1f833461251e565b6040518115909202916000818181858888f19350505050158015611170573d6000803e3d6000fd5b6000611b9c826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b0316611dca9092919063ffffffff16565b805190915015610e9e5780806020019051810190611bba919061258e565b610e9e5760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152608401610a54565b6000611c2483611765565b905080600080611c4286600090815260076020526040902080549091565b915091508415611c8257611c57818433610bb7565b611c8257611c65833361075a565b611c8257604051632ce44b5f60e11b815260040160405180910390fd5b8015611c8d57600082555b6001600160a01b038316600081815260066020526040902080546fffffffffffffffffffffffffffffffff0190554260a01b17600360e01b17600087815260056020526040902055600160e11b8416611d145760018601600081815260056020526040902054611d12576001548114611d125760008181526005602052604090208590555b505b60405186906000906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a4505060028054600101905550505050565b611d678383611dd9565b6001600160a01b0383163b15610e9e576001548281035b611d916000868380600101945086611948565b611dae576040516368d2bf6b60e11b815260040160405180910390fd5b818110611d7e578160015414611dc357600080fd5b5050505050565b60606113ad8484600085611ed0565b60015481611dfa5760405163b562e8dd60e01b815260040160405180910390fd5b6001600160a01b03831660008181526006602090815260408083208054680100000000000000018802019055848352600590915281206001851460e11b4260a01b178317905582840190839083907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8180a4600183015b818114611ea957808360007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600080a4600101611e71565b5081611ec757604051622e076360e81b815260040160405180910390fd5b60015550505050565b606082471015611f315760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b6064820152608401610a54565b6001600160a01b0385163b611f885760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610a54565b600080866001600160a01b03168587604051611fa491906125ab565b60006040518083038185875af1925050503d8060008114611fe1576040519150601f19603f3d011682016040523d82523d6000602084013e611fe6565b606091505b5091509150611ff6828286612001565b979650505050505050565b6060831561201057508161128a565b8251156120205782518084602001fd5b8160405162461bcd60e51b8152600401610a54919061215e565b82805461204690612406565b90600052602060002090601f01602090048101928261206857600085556120ae565b82601f106120815782800160ff198235161785556120ae565b828001600101855582156120ae579182015b828111156120ae578235825591602001919060010190612093565b506120ba9291506120be565b5090565b5b808211156120ba57600081556001016120bf565b6001600160e01b03198116811461158a57600080fd5b6000602082840312156120fb57600080fd5b813561128a816120d3565b60005b83811015612121578181015183820152602001612109565b838111156112d55750506000910152565b6000815180845261214a816020860160208601612106565b601f01601f19169290920160200192915050565b60208152600061128a6020830184612132565b60006020828403121561218357600080fd5b5035919050565b6001600160a01b038116811461158a57600080fd5b600080604083850312156121b257600080fd5b82356121bd8161218a565b946020939093013593505050565b6000602082840312156121dd57600080fd5b813561128a8161218a565b6000806000606084860312156121fd57600080fd5b83356122088161218a565b925060208401356122188161218a565b929592945050506040919091013590565b6000806040838503121561223c57600080fd5b82356122478161218a565b915060208301356122578161218a565b809150509250929050565b6000806020838503121561227557600080fd5b823567ffffffffffffffff8082111561228d57600080fd5b818501915085601f8301126122a157600080fd5b8135818111156122b057600080fd5b8660208285010111156122c257600080fd5b60209290920196919550909350505050565b801515811461158a57600080fd5b600080604083850312156122f557600080fd5b82356123008161218a565b91506020830135612257816122d4565b634e487b7160e01b600052604160045260246000fd5b6000806000806080858703121561233c57600080fd5b84356123478161218a565b935060208501356123578161218a565b925060408501359150606085013567ffffffffffffffff8082111561237b57600080fd5b818701915087601f83011261238f57600080fd5b8135818111156123a1576123a1612310565b604051601f8201601f19908116603f011681019083821181831017156123c9576123c9612310565b816040528281528a60208487010111156123e257600080fd5b82602086016020830137600060208483010152809550505050505092959194509250565b600181811c9082168061241a57607f821691505b6020821081141561243b57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b6000821982111561246a5761246a612441565b500190565b600081600019048311821515161561248957612489612441565b500290565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156124b657600080fd5b5051919050565b600083516124cf818460208801612106565b8351908301906124e3818360208801612106565b64173539b7b760d91b9101908152600501949350505050565b60008261251957634e487b7160e01b600052601260045260246000fd5b500490565b60008282101561253057612530612441565b500390565b60006001600160a01b038087168352808616602084015250836040830152608060608301526125676080830184612132565b9695505050505050565b60006020828403121561258357600080fd5b815161128a816120d3565b6000602082840312156125a057600080fd5b815161128a816122d4565b600082516125bd818460208701612106565b919091019291505056fea26469706673582212200393b73eb717301d2d6a12012b7cf202b94dd5cab4b02c60261202415fcb8ec364736f6c63430008090033