Function: _SIMONdotBLACK_

MethodID: 0x60806040
[0]:  5234801561001057600080fd5b5061112c806100206000396000f3fe60806040
[1]:  5234801561001057600080fd5b50600436106100675760003560e01c80637401
[2]:  fccc116100505780637401fccc146100e0578063c1554a4b14610100578063c2
[3]:  803b2c1461011557600080fd5b806327d12cd91461006c5780635e280f111461
[4]:  0095575b600080fd5b61007f61007a366004610a0d565b610135565b60405161
[5]:  008c9190610ab4565b60405180910390f35b6000546100bb9062010000900473
[6]:  ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffff
[7]:  ffffffffffffffffffffffffffffffff909116815260200161008c565b6100f3
[8]:  6100ee366004610a0d565b61016c565b60405161008c9190610ace565b610113
[9]:  61010e366004610b07565b610579565b005b6001546100bb9073ffffffffffff
[10]:  ffffffffffffffffffffffffffff1681565b60008061014385858561016c565b
[11]:  600381111561015457610154610a85565b0361016157506000610165565b5060
[12]:  025b9392505050565b6001546040517fc40ff835000000000000000000000000
[13]:  00000000000000000000000000000000815260009173ffffffffffffffffffff
[14]:  ffffffffffffffffffff81169163c40ff835916101e691889188917401000000
[15]:  000000000000000000000000000000000090910463ffffffff1690600401610b
[16]:  5b565b60006040518083038186803b1580156101fe57600080fd5b505afa1580
[17]:  15610212573d6000803e3d6000fd5b505050506000610222858561084a565b90
[18]:  50600061023e6102338787610865565b63ffffffff16610888565b9050600061
[19]:  024c8787610920565b6001546040517f0f8355c0000000000000000000000000
[20]:  00000000000000000000000000000000815261ffff8516600482015291925060
[21]:  00916102fa9173ffffffffffffffffffffffffffffffffffffffff1690630f83
[22]:  55c090602401602060405180830381865afa1580156102c6573d6000803e3d60
[23]:  00fd5b505050506040513d601f19601f820116820180604052508101906102ea
[24]:  9190610bb8565b6102f48a8a610943565b9061095c565b846040516020016103
[25]:  0c929190610bf5565b604080518083037fffffffffffffffffffffffffffffff
[26]:  ffffffffffffffffffffffffffffffffe0018152908290526000547ffdc07c70
[27]:  0000000000000000000000000000000000000000000000000000000083529092
[28]:  5062010000900473ffffffffffffffffffffffffffffffffffffffff169063fd
[29]:  c07c70906103979086908590600401610c3f565b602060405180830381865afa
[30]:  1580156103b4573d6000803e3d6000fd5b505050506040513d601f19601f8201
[31]:  16820180604052508101906103d89190610cb8565b67ffffffffffffffff1682
[32]:  67ffffffffffffffff16116103ff576003945050505050610165565b60015460
[33]:  40517f43ea4fa900000000000000000000000000000000000000000000000000
[34]:  000000815273ffffffffffffffffffffffffffffffffffffffff868116600483
[35]:  015261ffff861660248301529091169063e084d9529082906343ea4fa9906044
[36]:  01600060405180830381865afa158015610481573d6000803e3d6000fd5b5050
[37]:  50506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffff
[38]:  ffffffffffffffffffffffffffffffffe01682016040526104c7919081019061
[39]:  0e01565b8a8a6040516104d7929190610ed6565b6040519081900381207fffff
[40]:  ffff0000000000000000000000000000000000000000000000000000000060e0
[41]:  85901b16825261051892918b90600401610f38565b602060405180830381865a
[42]:  fa158015610535573d6000803e3d6000fd5b505050506040513d601f19601f82
[43]:  0116820180604052508101906105599190610fe0565b1561056b576002945050
[44]:  505050610165565b506000979650505050505050565b60006105a37fb5312768
[45]:  4a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d61035490565b
[46]:  905073ffffffffffffffffffffffffffffffffffffffff81166105fc5773ffff
[47]:  ffffffffffffffffffffffffffffffffffff7fb53127684a568b3173ae13b9f8
[48]:  a6016e243e63b6e8ee1178d6a717850b5d61035561061e565b3373ffffffffff
[49]:  ffffffffffffffffffffffffffffff82161461061e57600080fd5b6000546101
[50]:  00900460ff161580801561063e5750600054600160ff909116105b8061065857
[51]:  50303b158015610658575060005460ff166001145b6106e9576040517f08c379
[52]:  a000000000000000000000000000000000000000000000000000000000815260
[53]:  206004820152602e60248201527f496e697469616c697a61626c653a20636f6e
[54]:  747261637420697320616c72656160448201527f647920696e697469616c697a
[55]:  656400000000000000000000000000000000000060648201526084015b604051
[56]:  80910390fd5b600080547fffffffffffffffffffffffffffffffffffffffffff
[57]:  ffffffffffffffffffff00166001179055801561074757600080547fffffffff
[58]:  ffffffffffffffffffffffffffffffffffffffffffffffffffff00ff16610100
[59]:  1790555b600180546000805473ffffffffffffffffffffffffffffffffffffff
[60]:  ff89811662010000027fffffffffffffffffffff000000000000000000000000
[61]:  0000000000000000ffff9092169190911790915563ffffffff87167401000000
[62]:  0000000000000000000000000000000000027fffffffffffffffff0000000000
[63]:  0000000000000000000000000000000000000090921690861617179055801561
[64]:  084357600080547fffffffffffffffffffffffffffffffffffffffffffffffff
[65]:  ffffffffffff00ff169055604051600181527f7f26b83ff96e1f2b6a682f1338
[66]:  52f6798a09c465da95921460cefb38474024989060200160405180910390a15b
[67]:  5050505050565b600061085c61085984846109fd565b90565b90505b92915050
[68]:  565b6000610875600d60098486611002565b61087e9161102c565b60e01c9392
[69]:  505050565b600061ffff82111561091c576040517f08c379a000000000000000
[70]:  0000000000000000000000000000000000000000008152602060048201526026
[71]:  60248201527f53616665436173743a2076616c756520646f65736e2774206669
[72]:  7420696e203160448201527f3620626974730000000000000000000000000000
[73]:  00000000000000000000000060648201526084016106e0565b5090565b600061
[74]:  0930600960018486611002565b61093991611074565b60c01c9392505050565b
[75]:  6000610953602d600d8486611002565b61085c916110ba565b60608115806109
[76]:  6b5750602082115b156109a2576040517f18456c9b0000000000000000000000
[77]:  0000000000000000000000000000000000815260040160405180910390fd5b81
[78]:  67ffffffffffffffff8111156109bb576109bb610cd3565b6040519080825280
[79]:  601f01601f1916602001820160405280156109e5576020820181803683370190
[80]:  505b506008909202610100039290921b6020820152919050565b600061095360
[81]:  5160318486611002565b600080600060408486031215610a2257600080fd5b83
[82]:  3567ffffffffffffffff80821115610a3a57600080fd5b818601915086601f83
[83]:  0112610a4e57600080fd5b813581811115610a5d57600080fd5b876020828501
[84]:  011115610a6f57600080fd5b6020928301989097509590910135949350505050
[85]:  565b7f4e487b7100000000000000000000000000000000000000000000000000
[86]:  000000600052602160045260246000fd5b6020810160038310610ac857610ac8
[87]:  610a85565b91905290565b6020810160048310610ac857610ac8610a85565b73
[88]:  ffffffffffffffffffffffffffffffffffffffff81168114610b0457600080fd
[89]:  5b50565b600080600060608486031215610b1c57600080fd5b8335610b278161
[90]:  0ae2565b9250602084013563ffffffff81168114610b4057600080fd5b915060
[91]:  40840135610b5081610ae2565b809150509250925092565b6040815282604082
[92]:  015282846060830137600060608483010152600060607fffffffffffffffffff
[93]:  ffffffffffffffffffffffffffffffffffffffffffffe0601f86011683010190
[94]:  5063ffffffff83166020830152949350505050565b600060208284031215610b
[95]:  ca57600080fd5b5051919050565b60005b83811015610bec5781810151838201
[96]:  52602001610bd4565b50506000910152565b60008351610c0781846020880161
[97]:  0bd1565b60609390931b7fffffffffffffffffffffffffffffffffffffffff00
[98]:  0000000000000000000000169190920190815260140192915050565b61ffff83
[99]:  1681526040602082015260008251806040840152610c68816060850160208701
[100]:  610bd1565b601f017fffffffffffffffffffffffffffffffffffffffffffffff
[101]:  ffffffffffffffffe016919091016060019392505050565b805167ffffffffff
[102]:  ffffff81168114610cb357600080fd5b919050565b600060208284031215610c
[103]:  ca57600080fd5b61085c82610c9b565b7f4e487b710000000000000000000000
[104]:  0000000000000000000000000000000000600052604160045260246000fd5b60
[105]:  405160c0810167ffffffffffffffff81118282101715610d2557610d25610cd3
[106]:  565b60405290565b805160ff81168114610cb357600080fd5b600082601f8301
[107]:  12610d4d57600080fd5b8151602067ffffffffffffffff80831115610d6a5761
[108]:  0d6a610cd3565b8260051b6040517fffffffffffffffffffffffffffffffffff
[109]:  ffffffffffffffffffffffffffffe0603f83011681018181108482111715610d
[110]:  ad57610dad610cd3565b60405293845260208187018101949081019250878511
[111]:  15610dcd57600080fd5b6020870191505b84821015610df6578151610de78161
[112]:  0ae2565b83529183019190830190610dd4565b979650505050505050565b6000
[113]:  60208284031215610e1357600080fd5b815167ffffffffffffffff8082111561
[114]:  0e2b57600080fd5b9083019060c08286031215610e3f57600080fd5b610e4761
[115]:  0d02565b610e5083610c9b565b8152610e5e60208401610d2b565b6020820152
[116]:  610e6f60408401610d2b565b6040820152610e8060608401610d2b565b606082
[117]:  0152608083015182811115610e9757600080fd5b610ea387828601610d3c565b
[118]:  60808301525060a083015182811115610ebb57600080fd5b610ec78782860161
[119]:  0d3c565b60a08301525095945050505050565b81838237600091019081529190
[120]:  50565b60008151808452602080850194506020840160005b83811015610f2d57
[121]:  815173ffffffffffffffffffffffffffffffffffffffff168752958201959082
[122]:  0190600101610efb565b509495945050505050565b6060815267ffffffffffff
[123]:  ffff845116606082015260ff602085015116608082015260ff60408501511660
[124]:  a082015260ff60608501511660c08201526000608085015160c060e084015261
[125]:  0f90610120840182610ee6565b905060a08601517fffffffffffffffffffffff
[126]:  ffffffffffffffffffffffffffffffffffffffffa08483030161010085015261
[127]:  0fcc8282610ee6565b602085019690965250505060400152919050565b600060
[128]:  208284031215610ff257600080fd5b8151801515811461016557600080fd5b60
[129]:  00808585111561101257600080fd5b8386111561101f57600080fd5b50508201
[130]:  93919092039150565b7fffffffff000000000000000000000000000000000000
[131]:  00000000000000000000813581811691600485101561106c5780818660040360
[132]:  031b1b83161692505b505092915050565b7fffffffffffffffff000000000000
[133]:  000000000000000000000000000000000000813581811691600885101561106c
[134]:  5760089490940360031b84901b1690921692915050565b803560208310156108
[135]:  5f577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
[136]:  ffffff602084900360031b1b169291505056fea2646970667358221220ede9b1
[137]:  59d562c48ddcf9bd58a6b41287d8341e03bb1e156bb9e3204d2d1ef41664736f
[138]:  6c63430008160033000000000000000000000000000000000000000000000000