Conversation
bshastry
reviewed
Nov 25, 2019
|
|
||
| TEST_F(evm_other, solidity_deploy) | ||
| { | ||
| const auto code = "6080604052348015620000125760006000fd5b5062000019565b61d4be80620000296000396000f3fe60806040523480156100115760006000fd5b50600436106100515760003560e01c806372b062ae14610057578063b5fa01fe14610087578063b8c3bca2146100b7578063f8a8fd6d146100e757610051565b60006000fd5b610071600480360361006c919081019061bf8c565b610105565b60405161007e919061cbff565b60405180910390f35b6100a1600480360361009c919081019061c050565b612e22565b6040516100ae919061cbff565b60405180910390f35b6100d160048036036100cc919081019061bf1c565b612f94565b6040516100de919061cbff565b60405180910390f35b6100ef618b0d565b6040516100fc919061cbff565b60405180910390f35b600060048350600414151561011d5760019050612e1c565b600483600060048110151561012e57fe5b60200201515060041415156101465760029050612e1c565b600483600060048110151561015757fe5b6020020151600060048110151561016a57fe5b6020020151511415156101805760039050612e1c565b7ff6000000000000000000000000000000000000000000000000000000000000008360006004811015156101b057fe5b602002015160006004811015156101c357fe5b602002015160008151811015156101d657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156102105760049050612e1c565b7fce0000000000000000000000000000000000000000000000000000000000000083600060048110151561024057fe5b6020020151600060048110151561025357fe5b6020020151600181518110151561026657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156102a05760059050612e1c565b7f5b000000000000000000000000000000000000000000000000000000000000008360006004811015156102d057fe5b602002015160006004811015156102e357fe5b602002015160028151811015156102f657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156103305760069050612e1c565b7f9b0000000000000000000000000000000000000000000000000000000000000083600060048110151561036057fe5b6020020151600060048110151561037357fe5b6020020151600381518110151561038657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156103c05760079050612e1c565b60048360006004811015156103d157fe5b602002015160016004811015156103e457fe5b6020020151511415156103fa5760089050612e1c565b7f3f0000000000000000000000000000000000000000000000000000000000000083600060048110151561042a57fe5b6020020151600160048110151561043d57fe5b6020020151600081518110151561045057fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561048a5760099050612e1c565b7f88000000000000000000000000000000000000000000000000000000000000008360006004811015156104ba57fe5b602002015160016004811015156104cd57fe5b602002015160018151811015156104e057fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561051a57600a9050612e1c565b7fe30000000000000000000000000000000000000000000000000000000000000083600060048110151561054a57fe5b6020020151600160048110151561055d57fe5b6020020151600281518110151561057057fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156105aa57600b9050612e1c565b7faf000000000000000000000000000000000000000000000000000000000000008360006004811015156105da57fe5b602002015160016004811015156105ed57fe5b6020020151600381518110151561060057fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561063a57600c9050612e1c565b600483600060048110151561064b57fe5b6020020151600260048110151561065e57fe5b60200201515114151561067457600d9050612e1c565b7fb9000000000000000000000000000000000000000000000000000000000000008360006004811015156106a457fe5b602002015160026004811015156106b757fe5b602002015160008151811015156106ca57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561070457600e9050612e1c565b7fc70000000000000000000000000000000000000000000000000000000000000083600060048110151561073457fe5b6020020151600260048110151561074757fe5b6020020151600181518110151561075a57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561079457600f9050612e1c565b7fb5000000000000000000000000000000000000000000000000000000000000008360006004811015156107c457fe5b602002015160026004811015156107d757fe5b602002015160028151811015156107ea57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156108245760109050612e1c565b7ffd0000000000000000000000000000000000000000000000000000000000000083600060048110151561085457fe5b6020020151600260048110151561086757fe5b6020020151600381518110151561087a57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156108b45760119050612e1c565b60048360006004811015156108c557fe5b602002015160036004811015156108d857fe5b6020020151511415156108ee5760129050612e1c565b7f720000000000000000000000000000000000000000000000000000000000000083600060048110151561091e57fe5b6020020151600360048110151561093157fe5b6020020151600081518110151561094457fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561097e5760139050612e1c565b7f68000000000000000000000000000000000000000000000000000000000000008360006004811015156109ae57fe5b602002015160036004811015156109c157fe5b602002015160018151811015156109d457fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610a0e5760149050612e1c565b7f4400000000000000000000000000000000000000000000000000000000000000836000600481101515610a3e57fe5b60200201516003600481101515610a5157fe5b60200201516002815181101515610a6457fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610a9e5760159050612e1c565b7f9000000000000000000000000000000000000000000000000000000000000000836000600481101515610ace57fe5b60200201516003600481101515610ae157fe5b60200201516003815181101515610af457fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610b2e5760169050612e1c565b6004836001600481101515610b3f57fe5b6020020151506004141515610b575760179050612e1c565b6004836001600481101515610b6857fe5b60200201516000600481101515610b7b57fe5b602002015151141515610b915760189050612e1c565b7f7500000000000000000000000000000000000000000000000000000000000000836001600481101515610bc157fe5b60200201516000600481101515610bd457fe5b60200201516000815181101515610be757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610c215760199050612e1c565b7f8900000000000000000000000000000000000000000000000000000000000000836001600481101515610c5157fe5b60200201516000600481101515610c6457fe5b60200201516001815181101515610c7757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610cb157601a9050612e1c565b7f1500000000000000000000000000000000000000000000000000000000000000836001600481101515610ce157fe5b60200201516000600481101515610cf457fe5b60200201516002815181101515610d0757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610d4157601b9050612e1c565b7f2e00000000000000000000000000000000000000000000000000000000000000836001600481101515610d7157fe5b60200201516000600481101515610d8457fe5b60200201516003815181101515610d9757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610dd157601c9050612e1c565b6004836001600481101515610de257fe5b60200201516001600481101515610df557fe5b602002015151141515610e0b57601d9050612e1c565b7f3e00000000000000000000000000000000000000000000000000000000000000836001600481101515610e3b57fe5b60200201516001600481101515610e4e57fe5b60200201516000815181101515610e6157fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610e9b57601e9050612e1c565b7fc100000000000000000000000000000000000000000000000000000000000000836001600481101515610ecb57fe5b60200201516001600481101515610ede57fe5b60200201516001815181101515610ef157fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610f2b57601f9050612e1c565b7f1100000000000000000000000000000000000000000000000000000000000000836001600481101515610f5b57fe5b60200201516001600481101515610f6e57fe5b60200201516002815181101515610f8157fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515610fbb5760209050612e1c565b7f4f00000000000000000000000000000000000000000000000000000000000000836001600481101515610feb57fe5b60200201516001600481101515610ffe57fe5b6020020151600381518110151561101157fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561104b5760219050612e1c565b600483600160048110151561105c57fe5b6020020151600260048110151561106f57fe5b6020020151511415156110855760229050612e1c565b7f07000000000000000000000000000000000000000000000000000000000000008360016004811015156110b557fe5b602002015160026004811015156110c857fe5b602002015160008151811015156110db57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156111155760239050612e1c565b7fbb0000000000000000000000000000000000000000000000000000000000000083600160048110151561114557fe5b6020020151600260048110151561115857fe5b6020020151600181518110151561116b57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156111a55760249050612e1c565b7f70000000000000000000000000000000000000000000000000000000000000008360016004811015156111d557fe5b602002015160026004811015156111e857fe5b602002015160028151811015156111fb57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156112355760259050612e1c565b7f100000000000000000000000000000000000000000000000000000000000000083600160048110151561126557fe5b6020020151600260048110151561127857fe5b6020020151600381518110151561128b57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156112c55760269050612e1c565b60048360016004811015156112d657fe5b602002015160036004811015156112e957fe5b6020020151511415156112ff5760279050612e1c565b7fc40000000000000000000000000000000000000000000000000000000000000083600160048110151561132f57fe5b6020020151600360048110151561134257fe5b6020020151600081518110151561135557fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561138f5760289050612e1c565b7f4c000000000000000000000000000000000000000000000000000000000000008360016004811015156113bf57fe5b602002015160036004811015156113d257fe5b602002015160018151811015156113e557fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561141f5760299050612e1c565b7f940000000000000000000000000000000000000000000000000000000000000083600160048110151561144f57fe5b6020020151600360048110151561146257fe5b6020020151600281518110151561147557fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156114af57602a9050612e1c565b7f5b000000000000000000000000000000000000000000000000000000000000008360016004811015156114df57fe5b602002015160036004811015156114f257fe5b6020020151600381518110151561150557fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561153f57602b9050612e1c565b600483600260048110151561155057fe5b602002015150600414151561156857602c9050612e1c565b600483600260048110151561157957fe5b6020020151600060048110151561158c57fe5b6020020151511415156115a257602d9050612e1c565b7fac000000000000000000000000000000000000000000000000000000000000008360026004811015156115d257fe5b602002015160006004811015156115e557fe5b602002015160008151811015156115f857fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561163257602e9050612e1c565b7fd20000000000000000000000000000000000000000000000000000000000000083600260048110151561166257fe5b6020020151600060048110151561167557fe5b6020020151600181518110151561168857fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156116c257602f9050612e1c565b7f4f000000000000000000000000000000000000000000000000000000000000008360026004811015156116f257fe5b6020020151600060048110151561170557fe5b6020020151600281518110151561171857fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156117525760309050612e1c565b7f910000000000000000000000000000000000000000000000000000000000000083600260048110151561178257fe5b6020020151600060048110151561179557fe5b602002015160038151811015156117a857fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156117e25760319050612e1c565b60048360026004811015156117f357fe5b6020020151600160048110151561180657fe5b60200201515114151561181c5760329050612e1c565b7f7e0000000000000000000000000000000000000000000000000000000000000083600260048110151561184c57fe5b6020020151600160048110151561185f57fe5b6020020151600081518110151561187257fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156118ac5760339050612e1c565b7fee000000000000000000000000000000000000000000000000000000000000008360026004811015156118dc57fe5b602002015160016004811015156118ef57fe5b6020020151600181518110151561190257fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561193c5760349050612e1c565b7fbb0000000000000000000000000000000000000000000000000000000000000083600260048110151561196c57fe5b6020020151600160048110151561197f57fe5b6020020151600281518110151561199257fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156119cc5760359050612e1c565b7fbc000000000000000000000000000000000000000000000000000000000000008360026004811015156119fc57fe5b60200201516001600481101515611a0f57fe5b60200201516003815181101515611a2257fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611a5c5760369050612e1c565b6004836002600481101515611a6d57fe5b60200201516002600481101515611a8057fe5b602002015151141515611a965760379050612e1c565b7f8200000000000000000000000000000000000000000000000000000000000000836002600481101515611ac657fe5b60200201516002600481101515611ad957fe5b60200201516000815181101515611aec57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611b265760389050612e1c565b7fc100000000000000000000000000000000000000000000000000000000000000836002600481101515611b5657fe5b60200201516002600481101515611b6957fe5b60200201516001815181101515611b7c57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611bb65760399050612e1c565b7f4d00000000000000000000000000000000000000000000000000000000000000836002600481101515611be657fe5b60200201516002600481101515611bf957fe5b60200201516002815181101515611c0c57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611c4657603a9050612e1c565b7fb800000000000000000000000000000000000000000000000000000000000000836002600481101515611c7657fe5b60200201516002600481101515611c8957fe5b60200201516003815181101515611c9c57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611cd657603b9050612e1c565b6004836002600481101515611ce757fe5b60200201516003600481101515611cfa57fe5b602002015151141515611d1057603c9050612e1c565b7f9900000000000000000000000000000000000000000000000000000000000000836002600481101515611d4057fe5b60200201516003600481101515611d5357fe5b60200201516000815181101515611d6657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611da057603d9050612e1c565b7fd300000000000000000000000000000000000000000000000000000000000000836002600481101515611dd057fe5b60200201516003600481101515611de357fe5b60200201516001815181101515611df657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611e3057603e9050612e1c565b7f9e00000000000000000000000000000000000000000000000000000000000000836002600481101515611e6057fe5b60200201516003600481101515611e7357fe5b60200201516002815181101515611e8657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611ec057603f9050612e1c565b7f4d00000000000000000000000000000000000000000000000000000000000000836002600481101515611ef057fe5b60200201516003600481101515611f0357fe5b60200201516003815181101515611f1657fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515611f505760409050612e1c565b6004836003600481101515611f6157fe5b6020020151506004141515611f795760419050612e1c565b6004836003600481101515611f8a57fe5b60200201516000600481101515611f9d57fe5b602002015151141515611fb35760429050612e1c565b7fc300000000000000000000000000000000000000000000000000000000000000836003600481101515611fe357fe5b60200201516000600481101515611ff657fe5b6020020151600081518110151561200957fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156120435760439050612e1c565b7f700000000000000000000000000000000000000000000000000000000000000083600360048110151561207357fe5b6020020151600060048110151561208657fe5b6020020151600181518110151561209957fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156120d35760449050612e1c565b7ffd0000000000000000000000000000000000000000000000000000000000000083600360048110151561210357fe5b6020020151600060048110151561211657fe5b6020020151600281518110151561212957fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156121635760459050612e1c565b7f5e0000000000000000000000000000000000000000000000000000000000000083600360048110151561219357fe5b602002015160006004811015156121a657fe5b602002015160038151811015156121b957fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156121f35760469050612e1c565b600483600360048110151561220457fe5b6020020151600160048110151561221757fe5b60200201515114151561222d5760479050612e1c565b7fc30000000000000000000000000000000000000000000000000000000000000083600360048110151561225d57fe5b6020020151600160048110151561227057fe5b6020020151600081518110151561228357fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156122bd5760489050612e1c565b7f93000000000000000000000000000000000000000000000000000000000000008360036004811015156122ed57fe5b6020020151600160048110151561230057fe5b6020020151600181518110151561231357fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561234d5760499050612e1c565b7fea0000000000000000000000000000000000000000000000000000000000000083600360048110151561237d57fe5b6020020151600160048110151561239057fe5b602002015160028151811015156123a357fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156123dd57604a9050612e1c565b7f0b0000000000000000000000000000000000000000000000000000000000000083600360048110151561240d57fe5b6020020151600160048110151561242057fe5b6020020151600381518110151561243357fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561246d57604b9050612e1c565b600483600360048110151561247e57fe5b6020020151600260048110151561249157fe5b6020020151511415156124a757604c9050612e1c565b7f01000000000000000000000000000000000000000000000000000000000000008360036004811015156124d757fe5b602002015160026004811015156124ea57fe5b602002015160008151811015156124fd57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561253757604d9050612e1c565b7f2b0000000000000000000000000000000000000000000000000000000000000083600360048110151561256757fe5b6020020151600260048110151561257a57fe5b6020020151600181518110151561258d57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156125c757604e9050612e1c565b7f55000000000000000000000000000000000000000000000000000000000000008360036004811015156125f757fe5b6020020151600260048110151561260a57fe5b6020020151600281518110151561261d57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561265757604f9050612e1c565b7f2a0000000000000000000000000000000000000000000000000000000000000083600360048110151561268757fe5b6020020151600260048110151561269a57fe5b602002015160038151811015156126ad57fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156126e75760509050612e1c565b60048360036004811015156126f857fe5b6020020151600360048110151561270b57fe5b6020020151511415156127215760519050612e1c565b7fa80000000000000000000000000000000000000000000000000000000000000083600360048110151561275157fe5b6020020151600360048110151561276457fe5b6020020151600081518110151561277757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156127b15760529050612e1c565b7f20000000000000000000000000000000000000000000000000000000000000008360036004811015156127e157fe5b602002015160036004811015156127f457fe5b6020020151600181518110151561280757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156128415760539050612e1c565b7fc70000000000000000000000000000000000000000000000000000000000000083600360048110151561287157fe5b6020020151600360048110151561288457fe5b6020020151600281518110151561289757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156128d15760549050612e1c565b7f6c0000000000000000000000000000000000000000000000000000000000000083600360048110151561290157fe5b6020020151600360048110151561291457fe5b6020020151600381518110151561292757fe5b60200260200101517effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156129615760559050612e1c565b6004825060041415156129775760569050612e1c565b600482600060048110151561298857fe5b60200201515114151561299e5760579050612e1c565b600115158260006004811015156129b157fe5b602002015160008151811015156129c457fe5b602002602001015115151415156129de5760589050612e1c565b600015158260006004811015156129f157fe5b60200201516001815181101515612a0457fe5b60200260200101511515141515612a1e5760599050612e1c565b60011515826000600481101515612a3157fe5b60200201516002815181101515612a4457fe5b60200260200101511515141515612a5e57605a9050612e1c565b60001515826000600481101515612a7157fe5b60200201516003815181101515612a8457fe5b60200260200101511515141515612a9e57605b9050612e1c565b6004826001600481101515612aaf57fe5b602002015151141515612ac557605c9050612e1c565b60001515826001600481101515612ad857fe5b60200201516000815181101515612aeb57fe5b60200260200101511515141515612b0557605d9050612e1c565b60011515826001600481101515612b1857fe5b60200201516001815181101515612b2b57fe5b60200260200101511515141515612b4557605e9050612e1c565b60001515826001600481101515612b5857fe5b60200201516002815181101515612b6b57fe5b60200260200101511515141515612b8557605f9050612e1c565b60011515826001600481101515612b9857fe5b60200201516003815181101515612bab57fe5b60200260200101511515141515612bc55760609050612e1c565b6004826002600481101515612bd657fe5b602002015151141515612bec5760619050612e1c565b60011515826002600481101515612bff57fe5b60200201516000815181101515612c1257fe5b60200260200101511515141515612c2c5760629050612e1c565b60001515826002600481101515612c3f57fe5b60200201516001815181101515612c5257fe5b60200260200101511515141515612c6c5760639050612e1c565b60011515826002600481101515612c7f57fe5b60200201516002815181101515612c9257fe5b60200260200101511515141515612cac5760649050612e1c565b60001515826002600481101515612cbf57fe5b60200201516003815181101515612cd257fe5b60200260200101511515141515612cec5760659050612e1c565b6004826003600481101515612cfd57fe5b602002015151141515612d135760669050612e1c565b60001515826003600481101515612d2657fe5b60200201516000815181101515612d3957fe5b60200260200101511515141515612d535760679050612e1c565b60011515826003600481101515612d6657fe5b60200201516001815181101515612d7957fe5b60200260200101511515141515612d935760689050612e1c565b60001515826003600481101515612da657fe5b60200201516002815181101515612db957fe5b60200260200101511515141515612dd35760699050612e1c565b60011515826003600481101515612de657fe5b60200201516003815181101515612df957fe5b60200260200101511515141515612e1357606a9050612e1c565b60009050612e1c565b92915050565b600060606060612e3a87878787618b2763ffffffff16565b91509150600060603073ffffffffffffffffffffffffffffffffffffffff1684604051612e67919061cbb1565b6000604051808303816000865af19150503d8060008114612ea4576040519150601f19603f3d011682016040523d82523d6000602084013e612ea9565b606091505b5091509150600081806020019051612ec4919081019061c0cf565b9050600015158315151480612eda575060008114155b15612eef5762061a8095505050505050612f8c565b3073ffffffffffffffffffffffffffffffffffffffff1684604051612f14919061cbb1565b6000604051808303816000865af19150503d8060008114612f51576040519150601f19603f3d011682016040523d82523d6000602084013e612f56565b606091505b505080935050600115158315151415612f795762061a8195505050505050612f8c565b600095505050505050612f8c5650505050505b949350505050565b6000600483506004141515612fac5760019050618b07565b6004836000600481101515612fbd57fe5b6020028101803560016080038336030381121515612fdb5760006000fd5b80830192505050506004141515612ff55760029050618b07565b600483600060048110151561300657fe5b60200281018035600160800383360303811215156130245760006000fd5b80830192505050600060048110151561303957fe5b60200281018035600160200383360303811215156130575760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561307d5760006000fd5b6020810236038213156130905760006000fd5b90501415156130a25760039050618b07565b7ff6000000000000000000000000000000000000000000000000000000000000008360006004811015156130d257fe5b60200281018035600160800383360303811215156130f05760006000fd5b80830192505050600060048110151561310557fe5b60200281018035600160200383360303811215156131235760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156131495760006000fd5b60208102360382131561315c5760006000fd5b6000818110151561316957fe5b905060200201602061317e919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156131b05760049050618b07565b7fce000000000000000000000000000000000000000000000000000000000000008360006004811015156131e057fe5b60200281018035600160800383360303811215156131fe5760006000fd5b80830192505050600060048110151561321357fe5b60200281018035600160200383360303811215156132315760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156132575760006000fd5b60208102360382131561326a5760006000fd5b6001818110151561327757fe5b905060200201602061328c919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156132be5760059050618b07565b7f5b000000000000000000000000000000000000000000000000000000000000008360006004811015156132ee57fe5b602002810180356001608003833603038112151561330c5760006000fd5b80830192505050600060048110151561332157fe5b602002810180356001602003833603038112151561333f5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156133655760006000fd5b6020810236038213156133785760006000fd5b6002818110151561338557fe5b905060200201602061339a919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156133cc5760069050618b07565b7f9b000000000000000000000000000000000000000000000000000000000000008360006004811015156133fc57fe5b602002810180356001608003833603038112151561341a5760006000fd5b80830192505050600060048110151561342f57fe5b602002810180356001602003833603038112151561344d5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156134735760006000fd5b6020810236038213156134865760006000fd5b6003818110151561349357fe5b90506020020160206134a8919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156134da5760079050618b07565b60048360006004811015156134eb57fe5b60200281018035600160800383360303811215156135095760006000fd5b80830192505050600160048110151561351e57fe5b602002810180356001602003833603038112151561353c5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156135625760006000fd5b6020810236038213156135755760006000fd5b90501415156135875760089050618b07565b7f3f000000000000000000000000000000000000000000000000000000000000008360006004811015156135b757fe5b60200281018035600160800383360303811215156135d55760006000fd5b8083019250505060016004811015156135ea57fe5b60200281018035600160200383360303811215156136085760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561362e5760006000fd5b6020810236038213156136415760006000fd5b6000818110151561364e57fe5b9050602002016020613663919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156136955760099050618b07565b7f88000000000000000000000000000000000000000000000000000000000000008360006004811015156136c557fe5b60200281018035600160800383360303811215156136e35760006000fd5b8083019250505060016004811015156136f857fe5b60200281018035600160200383360303811215156137165760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561373c5760006000fd5b60208102360382131561374f5760006000fd5b6001818110151561375c57fe5b9050602002016020613771919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156137a357600a9050618b07565b7fe3000000000000000000000000000000000000000000000000000000000000008360006004811015156137d357fe5b60200281018035600160800383360303811215156137f15760006000fd5b80830192505050600160048110151561380657fe5b60200281018035600160200383360303811215156138245760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561384a5760006000fd5b60208102360382131561385d5760006000fd5b6002818110151561386a57fe5b905060200201602061387f919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156138b157600b9050618b07565b7faf000000000000000000000000000000000000000000000000000000000000008360006004811015156138e157fe5b60200281018035600160800383360303811215156138ff5760006000fd5b80830192505050600160048110151561391457fe5b60200281018035600160200383360303811215156139325760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156139585760006000fd5b60208102360382131561396b5760006000fd5b6003818110151561397857fe5b905060200201602061398d919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156139bf57600c9050618b07565b60048360006004811015156139d057fe5b60200281018035600160800383360303811215156139ee5760006000fd5b808301925050506002600481101515613a0357fe5b6020028101803560016020038336030381121515613a215760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613a475760006000fd5b602081023603821315613a5a5760006000fd5b9050141515613a6c57600d9050618b07565b7fb900000000000000000000000000000000000000000000000000000000000000836000600481101515613a9c57fe5b6020028101803560016080038336030381121515613aba5760006000fd5b808301925050506002600481101515613acf57fe5b6020028101803560016020038336030381121515613aed5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613b135760006000fd5b602081023603821315613b265760006000fd5b60008181101515613b3357fe5b9050602002016020613b48919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515613b7a57600e9050618b07565b7fc700000000000000000000000000000000000000000000000000000000000000836000600481101515613baa57fe5b6020028101803560016080038336030381121515613bc85760006000fd5b808301925050506002600481101515613bdd57fe5b6020028101803560016020038336030381121515613bfb5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613c215760006000fd5b602081023603821315613c345760006000fd5b60018181101515613c4157fe5b9050602002016020613c56919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515613c8857600f9050618b07565b7fb500000000000000000000000000000000000000000000000000000000000000836000600481101515613cb857fe5b6020028101803560016080038336030381121515613cd65760006000fd5b808301925050506002600481101515613ceb57fe5b6020028101803560016020038336030381121515613d095760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613d2f5760006000fd5b602081023603821315613d425760006000fd5b60028181101515613d4f57fe5b9050602002016020613d64919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515613d965760109050618b07565b7ffd00000000000000000000000000000000000000000000000000000000000000836000600481101515613dc657fe5b6020028101803560016080038336030381121515613de45760006000fd5b808301925050506002600481101515613df957fe5b6020028101803560016020038336030381121515613e175760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613e3d5760006000fd5b602081023603821315613e505760006000fd5b60038181101515613e5d57fe5b9050602002016020613e72919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515613ea45760119050618b07565b6004836000600481101515613eb557fe5b6020028101803560016080038336030381121515613ed35760006000fd5b808301925050506003600481101515613ee857fe5b6020028101803560016020038336030381121515613f065760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613f2c5760006000fd5b602081023603821315613f3f5760006000fd5b9050141515613f515760129050618b07565b7f7200000000000000000000000000000000000000000000000000000000000000836000600481101515613f8157fe5b6020028101803560016080038336030381121515613f9f5760006000fd5b808301925050506003600481101515613fb457fe5b6020028101803560016020038336030381121515613fd25760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115613ff85760006000fd5b60208102360382131561400b5760006000fd5b6000818110151561401857fe5b905060200201602061402d919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561405f5760139050618b07565b7f680000000000000000000000000000000000000000000000000000000000000083600060048110151561408f57fe5b60200281018035600160800383360303811215156140ad5760006000fd5b8083019250505060036004811015156140c257fe5b60200281018035600160200383360303811215156140e05760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156141065760006000fd5b6020810236038213156141195760006000fd5b6001818110151561412657fe5b905060200201602061413b919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561416d5760149050618b07565b7f440000000000000000000000000000000000000000000000000000000000000083600060048110151561419d57fe5b60200281018035600160800383360303811215156141bb5760006000fd5b8083019250505060036004811015156141d057fe5b60200281018035600160200383360303811215156141ee5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156142145760006000fd5b6020810236038213156142275760006000fd5b6002818110151561423457fe5b9050602002016020614249919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561427b5760159050618b07565b7f90000000000000000000000000000000000000000000000000000000000000008360006004811015156142ab57fe5b60200281018035600160800383360303811215156142c95760006000fd5b8083019250505060036004811015156142de57fe5b60200281018035600160200383360303811215156142fc5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156143225760006000fd5b6020810236038213156143355760006000fd5b6003818110151561434257fe5b9050602002016020614357919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156143895760169050618b07565b600483600160048110151561439a57fe5b60200281018035600160800383360303811215156143b85760006000fd5b808301925050505060041415156143d25760179050618b07565b60048360016004811015156143e357fe5b60200281018035600160800383360303811215156144015760006000fd5b80830192505050600060048110151561441657fe5b60200281018035600160200383360303811215156144345760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561445a5760006000fd5b60208102360382131561446d5760006000fd5b905014151561447f5760189050618b07565b7f75000000000000000000000000000000000000000000000000000000000000008360016004811015156144af57fe5b60200281018035600160800383360303811215156144cd5760006000fd5b8083019250505060006004811015156144e257fe5b60200281018035600160200383360303811215156145005760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156145265760006000fd5b6020810236038213156145395760006000fd5b6000818110151561454657fe5b905060200201602061455b919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561458d5760199050618b07565b7f89000000000000000000000000000000000000000000000000000000000000008360016004811015156145bd57fe5b60200281018035600160800383360303811215156145db5760006000fd5b8083019250505060006004811015156145f057fe5b602002810180356001602003833603038112151561460e5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156146345760006000fd5b6020810236038213156146475760006000fd5b6001818110151561465457fe5b9050602002016020614669919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561469b57601a9050618b07565b7f15000000000000000000000000000000000000000000000000000000000000008360016004811015156146cb57fe5b60200281018035600160800383360303811215156146e95760006000fd5b8083019250505060006004811015156146fe57fe5b602002810180356001602003833603038112151561471c5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156147425760006000fd5b6020810236038213156147555760006000fd5b6002818110151561476257fe5b9050602002016020614777919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156147a957601b9050618b07565b7f2e000000000000000000000000000000000000000000000000000000000000008360016004811015156147d957fe5b60200281018035600160800383360303811215156147f75760006000fd5b80830192505050600060048110151561480c57fe5b602002810180356001602003833603038112151561482a5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156148505760006000fd5b6020810236038213156148635760006000fd5b6003818110151561487057fe5b9050602002016020614885919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156148b757601c9050618b07565b60048360016004811015156148c857fe5b60200281018035600160800383360303811215156148e65760006000fd5b8083019250505060016004811015156148fb57fe5b60200281018035600160200383360303811215156149195760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561493f5760006000fd5b6020810236038213156149525760006000fd5b905014151561496457601d9050618b07565b7f3e0000000000000000000000000000000000000000000000000000000000000083600160048110151561499457fe5b60200281018035600160800383360303811215156149b25760006000fd5b8083019250505060016004811015156149c757fe5b60200281018035600160200383360303811215156149e55760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614a0b5760006000fd5b602081023603821315614a1e5760006000fd5b60008181101515614a2b57fe5b9050602002016020614a40919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515614a7257601e9050618b07565b7fc100000000000000000000000000000000000000000000000000000000000000836001600481101515614aa257fe5b6020028101803560016080038336030381121515614ac05760006000fd5b808301925050506001600481101515614ad557fe5b6020028101803560016020038336030381121515614af35760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614b195760006000fd5b602081023603821315614b2c5760006000fd5b60018181101515614b3957fe5b9050602002016020614b4e919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515614b8057601f9050618b07565b7f1100000000000000000000000000000000000000000000000000000000000000836001600481101515614bb057fe5b6020028101803560016080038336030381121515614bce5760006000fd5b808301925050506001600481101515614be357fe5b6020028101803560016020038336030381121515614c015760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614c275760006000fd5b602081023603821315614c3a5760006000fd5b60028181101515614c4757fe5b9050602002016020614c5c919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515614c8e5760209050618b07565b7f4f00000000000000000000000000000000000000000000000000000000000000836001600481101515614cbe57fe5b6020028101803560016080038336030381121515614cdc5760006000fd5b808301925050506001600481101515614cf157fe5b6020028101803560016020038336030381121515614d0f5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614d355760006000fd5b602081023603821315614d485760006000fd5b60038181101515614d5557fe5b9050602002016020614d6a919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515614d9c5760219050618b07565b6004836001600481101515614dad57fe5b6020028101803560016080038336030381121515614dcb5760006000fd5b808301925050506002600481101515614de057fe5b6020028101803560016020038336030381121515614dfe5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614e245760006000fd5b602081023603821315614e375760006000fd5b9050141515614e495760229050618b07565b7f0700000000000000000000000000000000000000000000000000000000000000836001600481101515614e7957fe5b6020028101803560016080038336030381121515614e975760006000fd5b808301925050506002600481101515614eac57fe5b6020028101803560016020038336030381121515614eca5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614ef05760006000fd5b602081023603821315614f035760006000fd5b60008181101515614f1057fe5b9050602002016020614f25919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515614f575760239050618b07565b7fbb00000000000000000000000000000000000000000000000000000000000000836001600481101515614f8757fe5b6020028101803560016080038336030381121515614fa55760006000fd5b808301925050506002600481101515614fba57fe5b6020028101803560016020038336030381121515614fd85760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115614ffe5760006000fd5b6020810236038213156150115760006000fd5b6001818110151561501e57fe5b9050602002016020615033919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156150655760249050618b07565b7f700000000000000000000000000000000000000000000000000000000000000083600160048110151561509557fe5b60200281018035600160800383360303811215156150b35760006000fd5b8083019250505060026004811015156150c857fe5b60200281018035600160200383360303811215156150e65760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561510c5760006000fd5b60208102360382131561511f5760006000fd5b6002818110151561512c57fe5b9050602002016020615141919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156151735760259050618b07565b7f10000000000000000000000000000000000000000000000000000000000000008360016004811015156151a357fe5b60200281018035600160800383360303811215156151c15760006000fd5b8083019250505060026004811015156151d657fe5b60200281018035600160200383360303811215156151f45760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561521a5760006000fd5b60208102360382131561522d5760006000fd5b6003818110151561523a57fe5b905060200201602061524f919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156152815760269050618b07565b600483600160048110151561529257fe5b60200281018035600160800383360303811215156152b05760006000fd5b8083019250505060036004811015156152c557fe5b60200281018035600160200383360303811215156152e35760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156153095760006000fd5b60208102360382131561531c5760006000fd5b905014151561532e5760279050618b07565b7fc40000000000000000000000000000000000000000000000000000000000000083600160048110151561535e57fe5b602002810180356001608003833603038112151561537c5760006000fd5b80830192505050600360048110151561539157fe5b60200281018035600160200383360303811215156153af5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156153d55760006000fd5b6020810236038213156153e85760006000fd5b600081811015156153f557fe5b905060200201602061540a919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561543c5760289050618b07565b7f4c0000000000000000000000000000000000000000000000000000000000000083600160048110151561546c57fe5b602002810180356001608003833603038112151561548a5760006000fd5b80830192505050600360048110151561549f57fe5b60200281018035600160200383360303811215156154bd5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156154e35760006000fd5b6020810236038213156154f65760006000fd5b6001818110151561550357fe5b9050602002016020615518919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561554a5760299050618b07565b7f940000000000000000000000000000000000000000000000000000000000000083600160048110151561557a57fe5b60200281018035600160800383360303811215156155985760006000fd5b8083019250505060036004811015156155ad57fe5b60200281018035600160200383360303811215156155cb5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156155f15760006000fd5b6020810236038213156156045760006000fd5b6002818110151561561157fe5b9050602002016020615626919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561565857602a9050618b07565b7f5b0000000000000000000000000000000000000000000000000000000000000083600160048110151561568857fe5b60200281018035600160800383360303811215156156a65760006000fd5b8083019250505060036004811015156156bb57fe5b60200281018035600160200383360303811215156156d95760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156156ff5760006000fd5b6020810236038213156157125760006000fd5b6003818110151561571f57fe5b9050602002016020615734919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561576657602b9050618b07565b600483600260048110151561577757fe5b60200281018035600160800383360303811215156157955760006000fd5b808301925050505060041415156157af57602c9050618b07565b60048360026004811015156157c057fe5b60200281018035600160800383360303811215156157de5760006000fd5b8083019250505060006004811015156157f357fe5b60200281018035600160200383360303811215156158115760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156158375760006000fd5b60208102360382131561584a5760006000fd5b905014151561585c57602d9050618b07565b7fac0000000000000000000000000000000000000000000000000000000000000083600260048110151561588c57fe5b60200281018035600160800383360303811215156158aa5760006000fd5b8083019250505060006004811015156158bf57fe5b60200281018035600160200383360303811215156158dd5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156159035760006000fd5b6020810236038213156159165760006000fd5b6000818110151561592357fe5b9050602002016020615938919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561596a57602e9050618b07565b7fd20000000000000000000000000000000000000000000000000000000000000083600260048110151561599a57fe5b60200281018035600160800383360303811215156159b85760006000fd5b8083019250505060006004811015156159cd57fe5b60200281018035600160200383360303811215156159eb5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115615a115760006000fd5b602081023603821315615a245760006000fd5b60018181101515615a3157fe5b9050602002016020615a46919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515615a7857602f9050618b07565b7f4f00000000000000000000000000000000000000000000000000000000000000836002600481101515615aa857fe5b6020028101803560016080038336030381121515615ac65760006000fd5b808301925050506000600481101515615adb57fe5b6020028101803560016020038336030381121515615af95760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115615b1f5760006000fd5b602081023603821315615b325760006000fd5b60028181101515615b3f57fe5b9050602002016020615b54919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515615b865760309050618b07565b7f9100000000000000000000000000000000000000000000000000000000000000836002600481101515615bb657fe5b6020028101803560016080038336030381121515615bd45760006000fd5b808301925050506000600481101515615be957fe5b6020028101803560016020038336030381121515615c075760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115615c2d5760006000fd5b602081023603821315615c405760006000fd5b60038181101515615c4d57fe5b9050602002016020615c62919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515615c945760319050618b07565b6004836002600481101515615ca557fe5b6020028101803560016080038336030381121515615cc35760006000fd5b808301925050506001600481101515615cd857fe5b6020028101803560016020038336030381121515615cf65760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115615d1c5760006000fd5b602081023603821315615d2f5760006000fd5b9050141515615d415760329050618b07565b7f7e00000000000000000000000000000000000000000000000000000000000000836002600481101515615d7157fe5b6020028101803560016080038336030381121515615d8f5760006000fd5b808301925050506001600481101515615da457fe5b6020028101803560016020038336030381121515615dc25760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115615de85760006000fd5b602081023603821315615dfb5760006000fd5b60008181101515615e0857fe5b9050602002016020615e1d919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515615e4f5760339050618b07565b7fee00000000000000000000000000000000000000000000000000000000000000836002600481101515615e7f57fe5b6020028101803560016080038336030381121515615e9d5760006000fd5b808301925050506001600481101515615eb257fe5b6020028101803560016020038336030381121515615ed05760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115615ef65760006000fd5b602081023603821315615f095760006000fd5b60018181101515615f1657fe5b9050602002016020615f2b919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515615f5d5760349050618b07565b7fbb00000000000000000000000000000000000000000000000000000000000000836002600481101515615f8d57fe5b6020028101803560016080038336030381121515615fab5760006000fd5b808301925050506001600481101515615fc057fe5b6020028101803560016020038336030381121515615fde5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156160045760006000fd5b6020810236038213156160175760006000fd5b6002818110151561602457fe5b9050602002016020616039919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561606b5760359050618b07565b7fbc0000000000000000000000000000000000000000000000000000000000000083600260048110151561609b57fe5b60200281018035600160800383360303811215156160b95760006000fd5b8083019250505060016004811015156160ce57fe5b60200281018035600160200383360303811215156160ec5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156161125760006000fd5b6020810236038213156161255760006000fd5b6003818110151561613257fe5b9050602002016020616147919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156161795760369050618b07565b600483600260048110151561618a57fe5b60200281018035600160800383360303811215156161a85760006000fd5b8083019250505060026004811015156161bd57fe5b60200281018035600160200383360303811215156161db5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156162015760006000fd5b6020810236038213156162145760006000fd5b90501415156162265760379050618b07565b7f820000000000000000000000000000000000000000000000000000000000000083600260048110151561625657fe5b60200281018035600160800383360303811215156162745760006000fd5b80830192505050600260048110151561628957fe5b60200281018035600160200383360303811215156162a75760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156162cd5760006000fd5b6020810236038213156162e05760006000fd5b600081811015156162ed57fe5b9050602002016020616302919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156163345760389050618b07565b7fc10000000000000000000000000000000000000000000000000000000000000083600260048110151561636457fe5b60200281018035600160800383360303811215156163825760006000fd5b80830192505050600260048110151561639757fe5b60200281018035600160200383360303811215156163b55760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156163db5760006000fd5b6020810236038213156163ee5760006000fd5b600181811015156163fb57fe5b9050602002016020616410919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156164425760399050618b07565b7f4d0000000000000000000000000000000000000000000000000000000000000083600260048110151561647257fe5b60200281018035600160800383360303811215156164905760006000fd5b8083019250505060026004811015156164a557fe5b60200281018035600160200383360303811215156164c35760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156164e95760006000fd5b6020810236038213156164fc5760006000fd5b6002818110151561650957fe5b905060200201602061651e919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561655057603a9050618b07565b7fb80000000000000000000000000000000000000000000000000000000000000083600260048110151561658057fe5b602002810180356001608003833603038112151561659e5760006000fd5b8083019250505060026004811015156165b357fe5b60200281018035600160200383360303811215156165d15760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156165f75760006000fd5b60208102360382131561660a5760006000fd5b6003818110151561661757fe5b905060200201602061662c919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561665e57603b9050618b07565b600483600260048110151561666f57fe5b602002810180356001608003833603038112151561668d5760006000fd5b8083019250505060036004811015156166a257fe5b60200281018035600160200383360303811215156166c05760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156166e65760006000fd5b6020810236038213156166f95760006000fd5b905014151561670b57603c9050618b07565b7f990000000000000000000000000000000000000000000000000000000000000083600260048110151561673b57fe5b60200281018035600160800383360303811215156167595760006000fd5b80830192505050600360048110151561676e57fe5b602002810180356001602003833603038112151561678c5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156167b25760006000fd5b6020810236038213156167c55760006000fd5b600081811015156167d257fe5b90506020020160206167e7919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561681957603d9050618b07565b7fd30000000000000000000000000000000000000000000000000000000000000083600260048110151561684957fe5b60200281018035600160800383360303811215156168675760006000fd5b80830192505050600360048110151561687c57fe5b602002810180356001602003833603038112151561689a5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156168c05760006000fd5b6020810236038213156168d35760006000fd5b600181811015156168e057fe5b90506020020160206168f5919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561692757603e9050618b07565b7f9e0000000000000000000000000000000000000000000000000000000000000083600260048110151561695757fe5b60200281018035600160800383360303811215156169755760006000fd5b80830192505050600360048110151561698a57fe5b60200281018035600160200383360303811215156169a85760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156169ce5760006000fd5b6020810236038213156169e15760006000fd5b600281811015156169ee57fe5b9050602002016020616a03919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515616a3557603f9050618b07565b7f4d00000000000000000000000000000000000000000000000000000000000000836002600481101515616a6557fe5b6020028101803560016080038336030381121515616a835760006000fd5b808301925050506003600481101515616a9857fe5b6020028101803560016020038336030381121515616ab65760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115616adc5760006000fd5b602081023603821315616aef5760006000fd5b60038181101515616afc57fe5b9050602002016020616b11919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515616b435760409050618b07565b6004836003600481101515616b5457fe5b6020028101803560016080038336030381121515616b725760006000fd5b80830192505050506004141515616b8c5760419050618b07565b6004836003600481101515616b9d57fe5b6020028101803560016080038336030381121515616bbb5760006000fd5b808301925050506000600481101515616bd057fe5b6020028101803560016020038336030381121515616bee5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115616c145760006000fd5b602081023603821315616c275760006000fd5b9050141515616c395760429050618b07565b7fc300000000000000000000000000000000000000000000000000000000000000836003600481101515616c6957fe5b6020028101803560016080038336030381121515616c875760006000fd5b808301925050506000600481101515616c9c57fe5b6020028101803560016020038336030381121515616cba5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115616ce05760006000fd5b602081023603821315616cf35760006000fd5b60008181101515616d0057fe5b9050602002016020616d15919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515616d475760439050618b07565b7f7000000000000000000000000000000000000000000000000000000000000000836003600481101515616d7757fe5b6020028101803560016080038336030381121515616d955760006000fd5b808301925050506000600481101515616daa57fe5b6020028101803560016020038336030381121515616dc85760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115616dee5760006000fd5b602081023603821315616e015760006000fd5b60018181101515616e0e57fe5b9050602002016020616e23919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515616e555760449050618b07565b7ffd00000000000000000000000000000000000000000000000000000000000000836003600481101515616e8557fe5b6020028101803560016080038336030381121515616ea35760006000fd5b808301925050506000600481101515616eb857fe5b6020028101803560016020038336030381121515616ed65760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115616efc5760006000fd5b602081023603821315616f0f5760006000fd5b60028181101515616f1c57fe5b9050602002016020616f31919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515616f635760459050618b07565b7f5e00000000000000000000000000000000000000000000000000000000000000836003600481101515616f9357fe5b6020028101803560016080038336030381121515616fb15760006000fd5b808301925050506000600481101515616fc657fe5b6020028101803560016020038336030381121515616fe45760006000fd5b8083019250508135905060208201915067ffffffffffffffff81111561700a5760006000fd5b60208102360382131561701d5760006000fd5b6003818110151561702a57fe5b905060200201602061703f919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415156170715760469050618b07565b600483600360048110151561708257fe5b60200281018035600160800383360303811215156170a05760006000fd5b8083019250505060016004811015156170b557fe5b60200281018035600160200383360303811215156170d35760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156170f95760006000fd5b60208102360382131561710c5760006000fd5b905014151561711e5760479050618b07565b7fc30000000000000000000000000000000000000000000000000000000000000083600360048110151561714e57fe5b602002810180356001608003833603038112151561716c5760006000fd5b80830192505050600160048110151561718157fe5b602002810180356001602003833603038112151561719f5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156171c55760006000fd5b6020810236038213156171d85760006000fd5b600081811015156171e557fe5b90506020020160206171fa919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561722c5760489050618b07565b7f930000000000000000000000000000000000000000000000000000000000000083600360048110151561725c57fe5b602002810180356001608003833603038112151561727a5760006000fd5b80830192505050600160048110151561728f57fe5b60200281018035600160200383360303811215156172ad5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156172d35760006000fd5b6020810236038213156172e65760006000fd5b600181811015156172f357fe5b9050602002016020617308919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561733a5760499050618b07565b7fea0000000000000000000000000000000000000000000000000000000000000083600360048110151561736a57fe5b60200281018035600160800383360303811215156173885760006000fd5b80830192505050600160048110151561739d57fe5b60200281018035600160200383360303811215156173bb5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156173e15760006000fd5b6020810236038213156173f45760006000fd5b6002818110151561740157fe5b9050602002016020617416919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561744857604a9050618b07565b7f0b0000000000000000000000000000000000000000000000000000000000000083600360048110151561747857fe5b60200281018035600160800383360303811215156174965760006000fd5b8083019250505060016004811015156174ab57fe5b60200281018035600160200383360303811215156174c95760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156174ef5760006000fd5b6020810236038213156175025760006000fd5b6003818110151561750f57fe5b9050602002016020617524919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561755657604b9050618b07565b600483600360048110151561756757fe5b60200281018035600160800383360303811215156175855760006000fd5b80830192505050600260048110151561759a57fe5b60200281018035600160200383360303811215156175b85760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156175de5760006000fd5b6020810236038213156175f15760006000fd5b905014151561760357604c9050618b07565b7f010000000000000000000000000000000000000000000000000000000000000083600360048110151561763357fe5b60200281018035600160800383360303811215156176515760006000fd5b80830192505050600260048110151561766657fe5b60200281018035600160200383360303811215156176845760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156176aa5760006000fd5b6020810236038213156176bd5760006000fd5b600081811015156176ca57fe5b90506020020160206176df919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561771157604d9050618b07565b7f2b0000000000000000000000000000000000000000000000000000000000000083600360048110151561774157fe5b602002810180356001608003833603038112151561775f5760006000fd5b80830192505050600260048110151561777457fe5b60200281018035600160200383360303811215156177925760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156177b85760006000fd5b6020810236038213156177cb5760006000fd5b600181811015156177d857fe5b90506020020160206177ed919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561781f57604e9050618b07565b7f550000000000000000000000000000000000000000000000000000000000000083600360048110151561784f57fe5b602002810180356001608003833603038112151561786d5760006000fd5b80830192505050600260048110151561788257fe5b60200281018035600160200383360303811215156178a05760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156178c65760006000fd5b6020810236038213156178d95760006000fd5b600281811015156178e657fe5b90506020020160206178fb919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614151561792d57604f9050618b07565b7f2a0000000000000000000000000000000000000000000000000000000000000083600360048110151561795d57fe5b602002810180356001608003833603038112151561797b5760006000fd5b80830192505050600260048110151561799057fe5b60200281018035600160200383360303811215156179ae5760006000fd5b8083019250508135905060208201915067ffffffffffffffff8111156179d45760006000fd5b6020810236038213156179e75760006000fd5b600381811015156179f457fe5b9050602002016020617a09919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515617a3b5760509050618b07565b6004836003600481101515617a4c57fe5b6020028101803560016080038336030381121515617a6a5760006000fd5b808301925050506003600481101515617a7f57fe5b6020028101803560016020038336030381121515617a9d5760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115617ac35760006000fd5b602081023603821315617ad65760006000fd5b9050141515617ae85760519050618b07565b7fa800000000000000000000000000000000000000000000000000000000000000836003600481101515617b1857fe5b6020028101803560016080038336030381121515617b365760006000fd5b808301925050506003600481101515617b4b57fe5b6020028101803560016020038336030381121515617b695760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115617b8f5760006000fd5b602081023603821315617ba25760006000fd5b60008181101515617baf57fe5b9050602002016020617bc4919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515617bf65760529050618b07565b7f2000000000000000000000000000000000000000000000000000000000000000836003600481101515617c2657fe5b6020028101803560016080038336030381121515617c445760006000fd5b808301925050506003600481101515617c5957fe5b6020028101803560016020038336030381121515617c775760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115617c9d5760006000fd5b602081023603821315617cb05760006000fd5b60018181101515617cbd57fe5b9050602002016020617cd2919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515617d045760539050618b07565b7fc700000000000000000000000000000000000000000000000000000000000000836003600481101515617d3457fe5b6020028101803560016080038336030381121515617d525760006000fd5b808301925050506003600481101515617d6757fe5b6020028101803560016020038336030381121515617d855760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115617dab5760006000fd5b602081023603821315617dbe5760006000fd5b60028181101515617dcb57fe5b9050602002016020617de0919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515617e125760549050618b07565b7f6c00000000000000000000000000000000000000000000000000000000000000836003600481101515617e4257fe5b6020028101803560016080038336030381121515617e605760006000fd5b808301925050506003600481101515617e7557fe5b6020028101803560016020038336030381121515617e935760006000fd5b8083019250508135905060208201915067ffffffffffffffff811115617eb95760006000fd5b602081023603821315617ecc5760006000fd5b60038181101515617ed957fe5b9050602002016020617eee919081019061c026565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141515617f205760559050618b07565b600482506004141515617f365760569050618b07565b6004826000600481101515617f4757fe5b6020028101803560016020038336030381121515617f655760006000fd5b8083019250508135905060208201915 |
There was a problem hiding this comment.
Note to self: This is currently failing.
Member
Author
There was a problem hiding this comment.
The issue might be related to the code size. First of all this one is over 50k. evmone only supports code size up to 24k officially. I also tried to make it smaller, but the issue goes away if the code is trimmed by ~1k.
There was a problem hiding this comment.
I agree. Am curious why this isn't an issue in evmone 0.1 (ref argotorg/solidity#7776 (comment))
bshastry
reviewed
Nov 25, 2019
| @@ -56,3 +56,12 @@ TEST_F(evm_other, loop_full_of_jumpdests) | |||
| execute(code); | |||
| EXPECT_GAS_USED(EVMC_SUCCESS, 7987882); | |||
| } | |||
|
|
|||
| TEST_F(evm_other, solidity_deploy) | |||
There was a problem hiding this comment.
If you are looking for a more descriptive name for this unit test, you could perhaps use the name abiv2_3d_bytes1_array_deploy. The underlying contract checks if abiv2 coding works as expected for a 3 dimensional bytes1 array of type bytes1[][4][4]. The contract does not have an explicit constructor.
chfast
force-pushed
the
solidity_fuzz_repro
branch
from
7597521 to
c94e0eb
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.