Function: _SIMONdotBLACK_

MethodID: 0x60806040
[0]:  5234801561001057600080fd5b506117bf806100206000396000f3fe60806040
[1]:  5234801561001057600080fd5b50600436106100a35760003560e01c80635e28
[2]:  0f1111610076578063861e1ca51161005b578063861e1ca514610199578063cb
[3]:  5026b9146101bc578063e1e3a7df146101c457600080fd5b80635e280f111461
[4]:  012e578063843c7b0e1461017957600080fd5b806327d12cd9146100a8578063
[5]:  2baf0be7146100d1578063485cc955146101065780634b4b2efb1461011b575b
[6]:  600080fd5b6100bb6100b6366004611077565b6101d7565b6040516100c89190
[7]:  611126565b60405180910390f35b6100f87fffffffffffffffffffffffffffff
[8]:  ffffffffffffffffffffffffffffffffffff81565b6040519081526020016100
[9]:  c8565b61011961011436600461115b565b610487565b005b6100bb6101293660
[10]:  04611281565b6107b1565b6000546101549062010000900473ffffffffffffff
[11]:  ffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffff
[12]:  ffffffffffffffffff90911681526020016100c8565b6032546101549073ffff
[13]:  ffffffffffffffffffffffffffffffffffff1681565b6101ac6101a736600461
[14]:  1281565b610abe565b60405190151581526020016100c8565b6100f860008156
[15]:  5b6101ac6101d23660046112ae565b610bae565b6032546040517fc40ff83500
[16]:  0000000000000000000000000000000000000000000000000000008152600091
[17]:  73ffffffffffffffffffffffffffffffffffffffff81169163c40ff835916102
[18]:  5191889188917401000000000000000000000000000000000000000090910463
[19]:  ffffffff16906004016112fe565b60006040518083038186803b158015610269
[20]:  57600080fd5b505afa15801561027d573d6000803e3d6000fd5b505050506000
[21]:  61028d8585610d56565b9050600060405180606001604052806102a68888610d
[22]:  68565b63ffffffff1681526020016102bb8888610d8b565b81526020016102ca
[23]:  8888610da4565b67ffffffffffffffff16905290506102e28183610abe565b61
[24]:  02f157600392505050610480565b6102fc818386610dc7565b61030b57600292
[25]:  505050610480565b60325481516040517f43ea4fa90000000000000000000000
[26]:  0000000000000000000000000000000000815273ffffffffffffffffffffffff
[27]:  ffffffffffffffff858116600483015263ffffffff9092166024820152911690
[28]:  63e084d9529082906343ea4fa990604401600060405180830381865afa158015
[29]:  610391573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101
[30]:  7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
[31]:  e01682016040526103d79190810190611441565b88886040516103e792919061
[32]:  1516565b6040519081900381207fffffffff0000000000000000000000000000
[33]:  000000000000000000000000000060e085901b16825261042892918990600401
[34]:  611578565b602060405180830381865afa158015610445573d6000803e3d6000
[35]:  fd5b505050506040513d601f19601f8201168201806040525081019061046991
[36]:  90611620565b1561047957600192505050610480565b6000925050505b939250
[37]:  5050565b60006104b17fb53127684a568b3173ae13b9f8a6016e243e63b6e8ee
[38]:  1178d6a717850b5d61035490565b905073ffffffffffffffffffffffffffffff
[39]:  ffffffffff811661050a5773ffffffffffffffffffffffffffffffffffffffff
[40]:  7fb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d61
[41]:  035561052c565b3373ffffffffffffffffffffffffffffffffffffffff821614
[42]:  61052c57600080fd5b600054610100900460ff161580801561054c5750600054
[43]:  600160ff909116105b806105665750303b158015610566575060005460ff1660
[44]:  01145b6105f7576040517f08c379a00000000000000000000000000000000000
[45]:  0000000000000000000000815260206004820152602e60248201527f496e6974
[46]:  69616c697a61626c653a20636f6e747261637420697320616c72656160448201
[47]:  527f647920696e697469616c697a656400000000000000000000000000000000
[48]:  000060648201526084015b60405180910390fd5b600080547fffffffffffffff
[49]:  ffffffffffffffffffffffffffffffffffffffffffffffff0016600117905580
[50]:  1561065557600080547fffffffffffffffffffffffffffffffffffffffffffff
[51]:  ffffffffffffffff00ff166101001790555b61065e84610ee0565b603280547f
[52]:  ffffffffffffffffffffffff0000000000000000000000000000000000000000
[53]:  1673ffffffffffffffffffffffffffffffffffffffff85811691909117909155
[54]:  600054604080517f416ecebf0000000000000000000000000000000000000000
[55]:  000000000000000081529051620100009092049092169163416ecebf91600480
[56]:  83019260209291908290030181865afa158015610704573d6000803e3d6000fd
[57]:  5b505050506040513d601f19601f820116820180604052508101906107289190
[58]:  611642565b603260146101000a81548163ffffffff021916908363ffffffff16
[59]:  021790555080156107ab57600080547fffffffffffffffffffffffffffffffff
[60]:  ffffffffffffffffffffffffffff00ff169055604051600181527f7f26b83ff9
[61]:  6e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160
[62]:  405180910390a15b50505050565b600080548351602085015160408087015190
[63]:  517fc9fc7bcd0000000000000000000000000000000000000000000000000000
[64]:  0000815273ffffffffffffffffffffffffffffffffffffffff87811660048301
[65]:  5263ffffffff9094166024820152604481019290925267ffffffffffffffff16
[66]:  606482015283926201000090049091169063c9fc7bcd90608401602060405180
[67]:  830381865afa15801561085a573d6000803e3d6000fd5b505050506040513d60
[68]:  1f19601f8201168201806040525081019061087e919061165f565b9050801580
[69]:  1561095a5750600054845160208601516040517f5b17bb700000000000000000
[70]:  0000000000000000000000000000000000000000815273ffffffffffffffffff
[71]:  ffffffffffffffffffffff878116600483015263ffffffff9093166024820152
[72]:  6044810191909152620100009092041690635b17bb7090606401602060405180
[73]:  830381865afa15801561091a573d6000803e3d6000fd5b505050506040513d60
[74]:  1f19601f8201168201806040525081019061093e9190611678565b67ffffffff
[75]:  ffffffff16846040015167ffffffffffffffff1611155b156109695760039150
[76]:  50610ab8565b7fffffffffffffffffffffffffffffffffffffffffffffffffff
[77]:  ffffffffffffff8114801590610a655750600054845160208601516040517fa0
[78]:  dd43fc0000000000000000000000000000000000000000000000000000000081
[79]:  5273ffffffffffffffffffffffffffffffffffffffff878116600483015263ff
[80]:  ffffff9093166024820152604481019190915262010000909204169063a0dd43
[81]:  fc90606401602060405180830381865afa158015610a25573d6000803e3d6000
[82]:  fd5b505050506040513d601f19601f82011682018060405250810190610a4991
[83]:  90611678565b67ffffffffffffffff16846040015167ffffffffffffffff1611
[84]:  155b15610a74576002915050610ab8565b8015801590610aa357507fffffffff
[85]:  ffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114155b
[86]:  15610ab2576001915050610ab8565b60009150505b92915050565b6000805460
[87]:  4080517f861e1ca5000000000000000000000000000000000000000000000000
[88]:  000000008152855163ffffffff16600482015260208601516024820152908501
[89]:  5167ffffffffffffffff16604482015273ffffffffffffffffffffffffffffff
[90]:  ffffffffff8481166064830152620100009092049091169063861e1ca5906084
[91]:  01602060405180830381865afa925050508015610b9b575060408051601f3d90
[92]:  81017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
[93]:  ffffe0168201909252610b9891810190611620565b60015b610ba75750600061
[94]:  0ab8565b9050610ab8565b6000805485516040517f9d7f977500000000000000
[95]:  000000000000000000000000000000000000000000815273ffffffffffffffff
[96]:  ffffffffffffffffffffffff878116600483015263ffffffff90921660248201
[97]:  528582166044820152620100009092041690639d7f9775906064016020604051
[98]:  80830381865afa158015610c3b573d6000803e3d6000fd5b505050506040513d
[99]:  601f19601f82011682018060405250810190610c5f9190611620565b610c6b57
[100]:  506000610d4e565b600054604080517fc9a54a99000000000000000000000000
[101]:  000000000000000000000000000000008152875163ffffffff16600482015260
[102]:  2088015160248201529087015167ffffffffffffffff16604482015273ffffff
[103]:  ffffffffffffffffffffffffffffffffff868116606483015262010000909204
[104]:  9091169063c9a54a9990608401602060405180830381865afa158015610d0d57
[105]:  3d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052
[106]:  50810190610d319190611620565b610d3d57506000610d4e565b81610d4a5750
[107]:  6000610d4e565b5060015b949350505050565b6000610480610d658484610f83
[108]:  565b90565b6000610d78600d60098486611695565b610d81916116bf565b60e0
[109]:  1c9392505050565b6000610d9b602d600d8486611695565b6104809161170756
[110]:  5b6000610db4600960018486611695565b610dbd91611743565b60c01c939250
[111]:  5050565b603254600090610df1908590859073ffffffffffffffffffffffffff
[112]:  ffffffffffffff1685610bae565b610dfd57506000610480565b600054845160
[113]:  2086015160408088015190517fc9fc7bcd000000000000000000000000000000
[114]:  00000000000000000000000000815273ffffffffffffffffffffffffffffffff
[115]:  ffffffff888116600483015263ffffffff909416602482015260448101929092
[116]:  5267ffffffffffffffff16606482015284926201000090049091169063c9fc7b
[117]:  cd90608401602060405180830381865afa158015610ea5573d6000803e3d6000
[118]:  fd5b505050506040513d601f19601f82011682018060405250810190610ec991
[119]:  9061165f565b03610ed657506000610480565b5060019392505050565b600054
[120]:  610100900460ff16610f77576040517f08c379a0000000000000000000000000
[121]:  00000000000000000000000000000000815260206004820152602b6024820152
[122]:  7f496e697469616c697a61626c653a20636f6e7472616374206973206e6f7420
[123]:  6960448201527f6e697469616c697a696e670000000000000000000000000000
[124]:  0000000000000060648201526084016105ee565b610f8081610f93565b50565b
[125]:  6000610d9b605160318486611695565b600054610100900460ff1661102a5760
[126]:  40517f08c379a000000000000000000000000000000000000000000000000000
[127]:  000000815260206004820152602b60248201527f496e697469616c697a61626c
[128]:  653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c
[129]:  697a696e67000000000000000000000000000000000000000000606482015260
[130]:  84016105ee565b6000805473ffffffffffffffffffffffffffffffffffffffff
[131]:  90921662010000027fffffffffffffffffffff00000000000000000000000000
[132]:  00000000000000ffff909216919091179055565b600080600060408486031215
[133]:  61108c57600080fd5b833567ffffffffffffffff808211156110a457600080fd
[134]:  5b818601915086601f8301126110b857600080fd5b8135818111156110c75760
[135]:  0080fd5b8760208285010111156110d957600080fd5b60209283019890975095
[136]:  90910135949350505050565b60048110610f80577f4e487b7100000000000000
[137]:  0000000000000000000000000000000000000000006000526021600452602460
[138]:  00fd5b60208101611133836110ef565b91905290565b73ffffffffffffffffff
[139]:  ffffffffffffffffffffff81168114610f8057600080fd5b6000806040838503
[140]:  121561116e57600080fd5b823561117981611139565b91506020830135611189
[141]:  81611139565b809150509250929050565b7f4e487b7100000000000000000000
[142]:  000000000000000000000000000000000000600052604160045260246000fd5b
[143]:  60405160c0810167ffffffffffffffff811182821017156111e6576111e66111
[144]:  94565b60405290565b63ffffffff81168114610f8057600080fd5b67ffffffff
[145]:  ffffffff81168114610f8057600080fd5b600060608284031215611226576000
[146]:  80fd5b6040516060810181811067ffffffffffffffff82111715611249576112
[147]:  49611194565b604052905080823561125a816111ec565b815260208381013590
[148]:  8201526040830135611274816111fe565b6040919091015292915050565b6000
[149]:  806080838503121561129457600080fd5b61129e8484611214565b9150606083
[150]:  013561118981611139565b60008060008060c085870312156112c457600080fd
[151]:  5b6112ce8686611214565b935060608501356112de81611139565b9250608085
[152]:  01356112ee81611139565b9396929550929360a00135925050565b6040815282
[153]:  604082015282846060830137600060608483010152600060607fffffffffffff
[154]:  ffffffffffffffffffffffffffffffffffffffffffffffffffe0601f86011683
[155]:  0101905063ffffffff83166020830152949350505050565b8051611366816111
[156]:  fe565b919050565b805160ff8116811461136657600080fd5b600082601f8301
[157]:  1261138d57600080fd5b8151602067ffffffffffffffff808311156113aa5761
[158]:  13aa611194565b8260051b6040517fffffffffffffffffffffffffffffffffff
[159]:  ffffffffffffffffffffffffffffe0603f830116810181811084821117156113
[160]:  ed576113ed611194565b60405293845260208187018101949081019250878511
[161]:  1561140d57600080fd5b6020870191505b848210156114365781516114278161
[162]:  1139565b83529183019190830190611414565b979650505050505050565b6000
[163]:  6020828403121561145357600080fd5b815167ffffffffffffffff8082111561
[164]:  146b57600080fd5b9083019060c0828603121561147f57600080fd5b61148761
[165]:  11c3565b6114908361135b565b815261149e6020840161136b565b6020820152
[166]:  6114af6040840161136b565b60408201526114c06060840161136b565b606082
[167]:  01526080830151828111156114d757600080fd5b6114e38782860161137c565b
[168]:  60808301525060a0830151828111156114fb57600080fd5b6115078782860161
[169]:  137c565b60a08301525095945050505050565b81838237600091019081529190
[170]:  50565b60008151808452602080850194506020840160005b8381101561156d57
[171]:  815173ffffffffffffffffffffffffffffffffffffffff168752958201959082
[172]:  019060010161153b565b509495945050505050565b6060815267ffffffffffff
[173]:  ffff845116606082015260ff602085015116608082015260ff60408501511660
[174]:  a082015260ff60608501511660c08201526000608085015160c060e084015261
[175]:  15d0610120840182611526565b905060a08601517fffffffffffffffffffffff
[176]:  ffffffffffffffffffffffffffffffffffffffffa08483030161010085015261
[177]:  160c8282611526565b602085019690965250505060400152919050565b600060
[178]:  20828403121561163257600080fd5b8151801515811461048057600080fd5b60
[179]:  006020828403121561165457600080fd5b8151610480816111ec565b60006020
[180]:  828403121561167157600080fd5b5051919050565b6000602082840312156116
[181]:  8a57600080fd5b8151610480816111fe565b600080858511156116a557600080
[182]:  fd5b838611156116b257600080fd5b5050820193919092039150565b7fffffff
[183]:  ff00000000000000000000000000000000000000000000000000000000813581
[184]:  81169160048510156116ff5780818660040360031b1b83161692505b50509291
[185]:  5050565b80356020831015610ab8577fffffffffffffffffffffffffffffffff
[186]:  ffffffffffffffffffffffffffffffff602084900360031b1b1692915050565b
[187]:  7fffffffffffffffff0000000000000000000000000000000000000000000000
[188]:  0081358181169160088510156116ff5760089490940360031b84901b16909216
[189]:  9291505056fea2646970667358221220d0d473c77807b487fecb423cc3083954
[190]:  c038668ead93f8f8e0586ef91987c93364736f6c634300081600330000000000