Function: _SIMONdotBLACK_

MethodID: 0x60806040
[0]:  5234801561001057600080fd5b50611f29806100206000396000f3fe60806040
[1]:  52600436106100f35760003560e01c8063861e1ca51161008a578063d73d37c6
[2]:  11610059578063d73d37c61461033f578063dcfdeb601461035f578063e1e3a7
[3]:  df14610372578063f2fde38b1461039257600080fd5b8063861e1ca5146102af
[4]:  5780638da5cb5b146102df578063c0c53b8b1461030a578063cb5026b9146103
[5]:  2a57600080fd5b80636f178835116100c65780636f178835146101e057806371
[6]:  5018a6146102235780637260753714610238578063843c7b0e14610282576000
[7]:  80fd5b806307b18bde146100f85780632baf0be71461011a5780634b4b2efb14
[8]:  6101615780635e280f111461018e575b600080fd5b34801561010457600080fd
[9]:  5b506101186101133660046118ed565b6103b2565b005b348015610126576000
[10]:  80fd5b5061014e7fffffffffffffffffffffffffffffffffffffffffffffffff
[11]:  ffffffffffffffff81565b6040519081526020015b60405180910390f35b3480
[12]:  1561016d57600080fd5b5061018161017c3660046119d3565b610418565b6040
[13]:  516101589190611a36565b34801561019a57600080fd5b506065546101bb9073
[14]:  ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffff
[15]:  ffffffffffffffffffffffffffffffff9091168152602001610158565b348015
[16]:  6101ec57600080fd5b506101bb6101fb366004611a77565b6098602052600090
[17]:  8152604090205473ffffffffffffffffffffffffffffffffffffffff1681565b
[18]:  34801561022f57600080fd5b50610118610713565b34801561024457600080fd
[19]:  5b5060975461026d907401000000000000000000000000000000000000000090
[20]:  0463ffffffff1681565b60405163ffffffff9091168152602001610158565b34
[21]:  801561028e57600080fd5b506097546101bb9073ffffffffffffffffffffffff
[22]:  ffffffffffffffff1681565b3480156102bb57600080fd5b506102cf6102ca36
[23]:  60046119d3565b610727565b6040519015158152602001610158565b34801561
[24]:  02eb57600080fd5b5060335473ffffffffffffffffffffffffffffffffffffff
[25]:  ff166101bb565b34801561031657600080fd5b50610118610325366004611a99
[26]:  565b610810565b34801561033657600080fd5b5061014e600081565b34801561
[27]:  034b57600080fd5b5061011861035a366004611adc565b610bbf565b61011861
[28]:  036d366004611b06565b610c50565b34801561037e57600080fd5b506102cf61
[29]:  038d366004611bb4565b6111ae565b34801561039e57600080fd5b5061011861
[30]:  03ad366004611a77565b61134d565b6103ba611404565b6103c4828261148556
[31]:  5b6040805173ffffffffffffffffffffffffffffffffffffffff841681526020
[32]:  81018390527fc303ca808382409472acbbf899c316cf439f409f6584aae22df8
[33]:  6dfa3c9ed50491015b60405180910390a15050565b6065548251602084015160
[34]:  408086015190517fc9fc7bcd0000000000000000000000000000000000000000
[35]:  0000000000000000815273ffffffffffffffffffffffffffffffffffffffff86
[36]:  8116600483015263ffffffff9094166024820152604481019290925267ffffff
[37]:  ffffffffff1660648201526000928392169063c9fc7bcd906084016020604051
[38]:  80830381865afa1580156104bb573d6000803e3d6000fd5b505050506040513d
[39]:  601f19601f820116820180604052508101906104df9190611c00565b90508015
[40]:  80156105b55750606554845160208601516040517f5b17bb7000000000000000
[41]:  000000000000000000000000000000000000000000815273ffffffffffffffff
[42]:  ffffffffffffffffffffffff878116600483015263ffffffff90931660248201
[43]:  526044810191909152911690635b17bb7090606401602060405180830381865a
[44]:  fa158015610575573d6000803e3d6000fd5b505050506040513d601f19601f82
[45]:  0116820180604052508101906105999190611c19565b67ffffffffffffffff16
[46]:  846040015167ffffffffffffffff1611155b156105c457600391505061070d56
[47]:  5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
[48]:  ffff81148015906106ba5750606554845160208601516040517fa0dd43fc0000
[49]:  0000000000000000000000000000000000000000000000000000815273ffffff
[50]:  ffffffffffffffffffffffffffffffffff878116600483015263ffffffff9093
[51]:  166024820152604481019190915291169063a0dd43fc90606401602060405180
[52]:  830381865afa15801561067a573d6000803e3d6000fd5b505050506040513d60
[53]:  1f19601f8201168201806040525081019061069e9190611c19565b67ffffffff
[54]:  ffffffff16846040015167ffffffffffffffff1611155b156106c95760029150
[55]:  5061070d565b80158015906106f857507fffffffffffffffffffffffffffffff
[56]:  ffffffffffffffffffffffffffffffffff8114155b1561070757600191505061
[57]:  070d565b60009150505b92915050565b61071b611404565b6107256000611590
[58]:  565b565b606554604080517f861e1ca500000000000000000000000000000000
[59]:  0000000000000000000000008152845163ffffffff1660048201526020850151
[60]:  60248201529084015167ffffffffffffffff16604482015273ffffffffffffff
[61]:  ffffffffffffffffffffffffff8381166064830152600092169063861e1ca590
[62]:  608401602060405180830381865afa9250505080156107fd575060408051601f
[63]:  3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffff
[64]:  ffffffffe01682019092526107fa91810190611c36565b60015b610809575060
[65]:  0061070d565b905061070d565b600061083a7fb53127684a568b3173ae13b9f8
[66]:  a6016e243e63b6e8ee1178d6a717850b5d61035490565b905073ffffffffffff
[67]:  ffffffffffffffffffffffffffff81166108935773ffffffffffffffffffffff
[68]:  ffffffffffffffffff7fb53127684a568b3173ae13b9f8a6016e243e63b6e8ee
[69]:  1178d6a717850b5d6103556108b5565b3373ffffffffffffffffffffffffffff
[70]:  ffffffffffff8216146108b557600080fd5b600054610100900460ff16158080
[71]:  156108d55750600054600160ff909116105b806108ef5750303b1580156108ef
[72]:  575060005460ff166001145b610980576040517f08c379a00000000000000000
[73]:  0000000000000000000000000000000000000000815260206004820152602e60
[74]:  248201527f496e697469616c697a61626c653a20636f6e747261637420697320
[75]:  616c72656160448201527f647920696e697469616c697a656400000000000000
[76]:  000000000000000000000060648201526084015b60405180910390fd5b600080
[77]:  547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
[78]:  ff0016600117905580156109de57600080547fffffffffffffffffffffffffff
[79]:  ffffffffffffffffffffffffffffffffff00ff166101001790555b6109e66116
[80]:  07565b6109ef836116a6565b609780547fffffffffffffffffffffffff000000
[81]:  00000000000000000000000000000000001673ffffffffffffffffffffffffff
[82]:  ffffffffffffff87811691909117909155606554604080517f416ecebf000000
[83]:  0000000000000000000000000000000000000000000000000081529051919092
[84]:  169163416ecebf9160048083019260209291908290030181865afa158015610a
[85]:  8f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060
[86]:  405250810190610ab39190611c58565b609780547fffffffffffffffff000000
[87]:  00ffffffffffffffffffffffffffffffffffffffff1674010000000000000000
[88]:  00000000000000000000000063ffffffff939093169290920291909117905573
[89]:  ffffffffffffffffffffffffffffffffffffffff858116600090815260986020
[90]:  526040902080547fffffffffffffffffffffffff000000000000000000000000
[91]:  0000000000000000169186169190911790558015610bb857600080547fffffff
[92]:  ffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff169055
[93]:  604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da959214
[94]:  60cefb38474024989060200160405180910390a15b5050505050565b610bc761
[95]:  1404565b73ffffffffffffffffffffffffffffffffffffffff82811660008181
[96]:  526098602090815260409182902080547fffffffffffffffffffffffff000000
[97]:  0000000000000000000000000000000000169486169485179055815192835282
[98]:  01929092527f142c46535a86ac791981f3f16bdfd58291f3f03fc3fd111646f3
[99]:  f0e4eb326b63910161040c565b6000610c74610c6436869003860186611c7556
[100]:  5b61017c6080870160608801611a77565b90506003816003811115610c8a5761
[101]:  0c8a611a07565b03610cc1576040517f3fd387de000000000000000000000000
[102]:  00000000000000000000000000000000815260040160405180910390fd5b6002
[103]:  816003811115610cd557610cd5611a07565b146110ac5760975460009073ffff
[104]:  ffffffffffffffffffffffffffffffffffff1615610d195760975473ffffffff
[105]:  ffffffffffffffffffffffffffffffff16610d1b565b855b905060006001610d
[106]:  316060880160408901611c91565b610d3e6020890189611cae565b6097546020
[107]:  8a01359074010000000000000000000000000000000000000000900463ffffff
[108]:  ff16610d7560808c0160608d01611a77565b60405160f89690961b7fff000000
[109]:  0000000000000000000000000000000000000000000000000000000016602087
[110]:  015260c09490941b7fffffffffffffffff000000000000000000000000000000
[111]:  00000000000000000016602186015260e092831b7fffffffff00000000000000
[112]:  0000000000000000000000000000000000000000009081166029870152602d86
[113]:  019290925290911b16604d83015273ffffffffffffffffffffffffffffffffff
[114]:  ffffff166051820152607101604080517fffffffffffffffffffffffffffffff
[115]:  ffffffffffffffffffffffffffffffffe0818403018152919052905060006080
[116]:  870135610e7360a0890189611ccb565b604051602001610e8593929190611d37
[117]:  565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffff
[118]:  ffffffffffffe0818403018152918152815160209283012073ffffffffffffff
[119]:  ffffffffffffffffffffffffff80871660009081526098909452919092205491
[120]:  92501680610f1d576040517f1bbb68a800000000000000000000000000000000
[121]:  000000000000000000000000815260040160405180910390fd5b6040517f27d1
[122]:  2cd9000000000000000000000000000000000000000000000000000000008152
[123]:  60009073ffffffffffffffffffffffffffffffffffffffff8316906327d12cd9
[124]:  90610f749087908790600401611d51565b602060405180830381865afa158015
[125]:  610f91573d6000803e3d6000fd5b505050506040513d601f19601f8201168201
[126]:  8060405250810190610fb59190611dc4565b90506001816003811115610fcb57
[127]:  610fcb611a07565b0361105b576040517f0894edf10000000000000000000000
[128]:  0000000000000000000000000000000000815273ffffffffffffffffffffffff
[129]:  ffffffffffffffff861690630894edf1906110249087908790600401611d5156
[130]:  5b600060405180830381600087803b15801561103e57600080fd5b505af11580
[131]:  15611052573d6000803e3d6000fd5b505050506110a6565b6000816003811115
[132]:  61106f5761106f611a07565b036110a6576040517f0dea846600000000000000
[133]:  0000000000000000000000000000000000000000008152600401604051809103
[134]:  90fd5b50505050505b60005b828110156110f857368484838181106110ca5761
[135]:  10ca611de5565b6040029190910191506110ef90506110e56020830183611a77
[136]:  565b8260200135611485565b506001016110af565b5060655473ffffffffffff
[137]:  ffffffffffffffffffffffffffff16630c0c389e60e086013561010087013587
[138]:  6111336080820160608301611a77565b60808a013561114560a08c018c611ccb
[139]:  565b61115260c08e018e611ccb565b6040518a63ffffffff1660e01b81526004
[140]:  016111749796959493929190611e5d565b6000604051808303818589803b1580
[141]:  1561118d57600080fd5b5088f11580156111a1573d6000803e3d6000fd5b5050
[142]:  505050505050505050565b60655484516040517f9d7f97750000000000000000
[143]:  0000000000000000000000000000000000000000815273ffffffffffffffffff
[144]:  ffffffffffffffffffffff868116600483015263ffffffff9092166024820152
[145]:  84821660448201526000929190911690639d7f97759060640160206040518083
[146]:  0381865afa158015611239573d6000803e3d6000fd5b505050506040513d601f
[147]:  19601f8201168201806040525081019061125d9190611c36565b611269575060
[148]:  00611345565b606554604080517fc9a54a990000000000000000000000000000
[149]:  00000000000000000000000000008152875163ffffffff166004820152602088
[150]:  015160248201529087015167ffffffffffffffff16604482015273ffffffffff
[151]:  ffffffffffffffffffffffffffffff86811660648301529091169063c9a54a99
[152]:  90608401602060405180830381865afa158015611304573d6000803e3d6000fd
[153]:  5b505050506040513d601f19601f820116820180604052508101906113289190
[154]:  611c36565b61133457506000611345565b8161134157506000611345565b5060
[155]:  015b949350505050565b611355611404565b73ffffffffffffffffffffffffff
[156]:  ffffffffffffff81166113f8576040517f08c379a00000000000000000000000
[157]:  0000000000000000000000000000000000815260206004820152602660248201
[158]:  527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f
[159]:  206160448201527f646472657373000000000000000000000000000000000000
[160]:  00000000000000006064820152608401610977565b61140181611590565b5056
[161]:  5b60335473ffffffffffffffffffffffffffffffffffffffff16331461072557
[162]:  6040517f08c379a0000000000000000000000000000000000000000000000000
[163]:  00000000815260206004820181905260248201527f4f776e61626c653a206361
[164]:  6c6c6572206973206e6f7420746865206f776e65726044820152606401610977
[165]:  565b73ffffffffffffffffffffffffffffffffffffffff82166114d257604051
[166]:  7f6b7a9310000000000000000000000000000000000000000000000000000000
[167]:  00815260040160405180910390fd5b60008273ffffffffffffffffffffffffff
[168]:  ffffffffffffff168260405160006040518083038185875af1925050503d8060
[169]:  00811461152c576040519150601f19603f3d011682016040523d82523d600060
[170]:  2084013e611531565b606091505b505090508061158b576040517f465bc83400
[171]:  000000000000000000000000000000000000000000000000000000815273ffff
[172]:  ffffffffffffffffffffffffffffffffffff8416600482015260248101839052
[173]:  604401610977565b505050565b6033805473ffffffffffffffffffffffffffff
[174]:  ffffffffffff8381167fffffffffffffffffffffffff00000000000000000000
[175]:  00000000000000000000831681179093556040519116919082907f8be0079c53
[176]:  1659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3
[177]:  5050565b600054610100900460ff1661169e576040517f08c379a00000000000
[178]:  0000000000000000000000000000000000000000000000815260206004820152
[179]:  602b60248201527f496e697469616c697a61626c653a20636f6e747261637420
[180]:  6973206e6f74206960448201527f6e697469616c697a696e6700000000000000
[181]:  00000000000000000000000000006064820152608401610977565b6107256117
[182]:  46565b600054610100900460ff1661173d576040517f08c379a0000000000000
[183]:  0000000000000000000000000000000000000000000081526020600482015260
[184]:  2b60248201527f496e697469616c697a61626c653a20636f6e74726163742069
[185]:  73206e6f74206960448201527f6e697469616c697a696e670000000000000000
[186]:  000000000000000000000000006064820152608401610977565b611401816117
[187]:  e6565b600054610100900460ff166117dd576040517f08c379a0000000000000
[188]:  0000000000000000000000000000000000000000000081526020600482015260
[189]:  2b60248201527f496e697469616c697a61626c653a20636f6e74726163742069
[190]:  73206e6f74206960448201527f6e697469616c697a696e670000000000000000
[191]:  000000000000000000000000006064820152608401610977565b610725336115
[192]:  90565b600054610100900460ff1661187d576040517f08c379a0000000000000
[193]:  0000000000000000000000000000000000000000000081526020600482015260
[194]:  2b60248201527f496e697469616c697a61626c653a20636f6e74726163742069
[195]:  73206e6f74206960448201527f6e697469616c697a696e670000000000000000
[196]:  000000000000000000000000006064820152608401610977565b606580547fff
[197]:  ffffffffffffffffffffff000000000000000000000000000000000000000016
[198]:  73ffffffffffffffffffffffffffffffffffffffff9290921691909117905556
[199]:  5b803573ffffffffffffffffffffffffffffffffffffffff811681146118e857
[200]:  600080fd5b919050565b6000806040838503121561190057600080fd5b611909
[201]:  836118c4565b946020939093013593505050565b63ffffffff81168114611401
[202]:  57600080fd5b67ffffffffffffffff8116811461140157600080fd5b60006060
[203]:  828403121561195157600080fd5b6040516060810181811067ffffffffffffff
[204]:  ff8211171561199b577f4e487b71000000000000000000000000000000000000
[205]:  00000000000000000000600052604160045260246000fd5b6040529050808235
[206]:  6119ac81611917565b81526020838101359082015260408301356119c6816119
[207]:  29565b6040919091015292915050565b600080608083850312156119e6576000
[208]:  80fd5b6119f0848461193f565b91506119fe606084016118c4565b9050925092
[209]:  9050565b7f4e487b710000000000000000000000000000000000000000000000
[210]:  0000000000600052602160045260246000fd5b6020810160048310611a71577f
[211]:  4e487b7100000000000000000000000000000000000000000000000000000000
[212]:  600052602160045260246000fd5b91905290565b600060208284031215611a89
[213]:  57600080fd5b611a92826118c4565b9392505050565b60008060006060848603
[214]:  1215611aae57600080fd5b611ab7846118c4565b9250611ac5602085016118c4
[215]:  565b9150611ad3604085016118c4565b90509250925092565b60008060408385
[216]:  031215611aef57600080fd5b611af8836118c4565b91506119fe602084016118
[217]:  c4565b60008060008060608587031215611b1c57600080fd5b611b25856118c4
[218]:  565b9350602085013567ffffffffffffffff80821115611b4257600080fd5b90
[219]:  8601906101208289031215611b5757600080fd5b909350604086013590808211
[220]:  15611b6d57600080fd5b818701915087601f830112611b8157600080fd5b8135
[221]:  81811115611b9057600080fd5b8860208260061b8501011115611ba557600080
[222]:  fd5b95989497505060200194505050565b60008060008060c08587031215611b
[223]:  ca57600080fd5b611bd4868661193f565b9350611be2606086016118c4565b92
[224]:  50611bf0608086016118c4565b9396929550929360a00135925050565b600060
[225]:  208284031215611c1257600080fd5b5051919050565b60006020828403121561
[226]:  1c2b57600080fd5b8151611a9281611929565b600060208284031215611c4857
[227]:  600080fd5b81518015158114611a9257600080fd5b600060208284031215611c
[228]:  6a57600080fd5b8151611a9281611917565b600060608284031215611c875760
[229]:  0080fd5b611a92838361193f565b600060208284031215611ca357600080fd5b
[230]:  8135611a9281611929565b600060208284031215611cc057600080fd5b813561
[231]:  1a9281611917565b60008083357fffffffffffffffffffffffffffffffffffff
[232]:  ffffffffffffffffffffffffffe1843603018112611d0057600080fd5b830180
[233]:  35915067ffffffffffffffff821115611d1b57600080fd5b6020019150368190
[234]:  03821315611d3057600080fd5b9250929050565b838152818360208301376000
[235]:  910160200190815292915050565b604081526000835180604084015260005b81
[236]:  811015611d7f5760208187018101516060868401015201611d62565b50600060
[237]:  60828501015260607fffffffffffffffffffffffffffffffffffffffffffffff
[238]:  ffffffffffffffffe0601f830116840101915050826020830152939250505056
[239]:  5b600060208284031215611dd657600080fd5b815160048110611a9257600080
[240]:  fd5b7f4e487b7100000000000000000000000000000000000000000000000000
[241]:  000000600052603260045260246000fd5b818352818160208501375060006020
[242]:  8284010152600060207fffffffffffffffffffffffffffffffffffffffffffff
[243]:  ffffffffffffffffffe0601f840116840101905092915050565b60008835611e
[244]:  6a81611917565b63ffffffff168252602089810135908301526040890135611e
[245]:  8a81611929565b67ffffffffffffffff811660408401525073ffffffffffffff
[246]:  ffffffffffffffffffffffffff8816606083015286608083015260e060a08301
[247]:  52611ed260e083018688611e14565b82810360c0840152611ee5818587611e14
[248]:  565b9a995050505050505050505056fea2646970667358221220d4dc21622cd2
[249]:  09072937535e93f175af6275d7c6daba87d120fca111727ed06364736f6c6343
[250]:  0008160033000000000000000000000000000000000000000000000000000000