019b3836-22d4-709f-908a-3f793f6389f0
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 361 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 362 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43359 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 43360 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 43361 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 43362 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0166 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x025e7c27 00000034: EQ 00000035: PUSH2 0x0168 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x0790e880 0000003f: EQ 00000040: PUSH2 0x01ac 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x0cbe1eb8 0000004a: EQ 0000004b: PUSH2 0x01d3 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x11851b5e 00000055: EQ 00000056: PUSH2 0x01f4 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x1e9be6a1 00000060: EQ 00000061: PUSH2 0x022b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x3c540687 0000006b: EQ 0000006c: PUSH2 0x024c 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x3d6a3664 00000076: EQ 00000077: PUSH2 0x026d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x436da5fe 00000081: EQ 00000082: PUSH2 0x0294 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x44fddeb7 0000008c: EQ 0000008d: PUSH2 0x02df 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x52aaead8 00000097: EQ 00000098: PUSH2 0x0316 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x6695b592 000000a2: EQ 000000a3: PUSH2 0x0337 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x7ba38916 000000ad: EQ 000000ae: PUSH2 0x0358 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0x7dc0d1d0 000000b8: EQ 000000b9: PUSH2 0x037f 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0x7fa28d75 000000c3: EQ 000000c4: PUSH2 0x03b6 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0x83db0680 000000ce: EQ 000000cf: PUSH2 0x03cf 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0x8eec99c8 000000d9: EQ 000000da: PUSH2 0x03f0 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0x91b7f5ed 000000e4: EQ 000000e5: PUSH2 0x0417 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0x977eda79 000000ef: EQ 000000f0: PUSH2 0x043e 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xb9488546 000000fa: EQ 000000fb: PUSH2 0x0497 000000fe: JUMPI 000000ff: DUP1 00000100: PUSH4 0xcc445611 00000105: EQ 00000106: PUSH2 0x04b8 00000109: JUMPI 0000010a: DUP1 0000010b: PUSH4 0xda60d7e8 00000110: EQ 00000111: PUSH2 0x04df 00000114: JUMPI 00000115: DUP1 00000116: PUSH4 0xe347a773 0000011b: EQ 0000011c: PUSH2 0x0516 0000011f: JUMPI 00000120: DUP1 00000121: PUSH4 0xe3d33fc9 00000126: EQ 00000127: PUSH2 0x0543 0000012a: JUMPI 0000012b: DUP1 0000012c: PUSH4 0xe80d47dd 00000131: EQ 00000132: PUSH2 0x0564 00000135: JUMPI 00000136: DUP1 00000137: PUSH4 0xeba36dbd 0000013c: EQ 0000013d: PUSH2 0x0585 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0xf267035f 00000147: EQ 00000148: PUSH2 0x05b2 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0xf7701b47 00000152: EQ 00000153: PUSH2 0x05e9 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0xf851a440 0000015d: EQ 0000015e: PUSH2 0x060a 00000161: JUMPI 00000162: PUSH2 0x0166 00000165: JUMP 00000166: JUMPDEST 00000167: STOP 00000168: JUMPDEST 00000169: PUSH2 0x0179 0000016c: PUSH1 0x04 0000016e: DUP1 0000016f: CALLDATALOAD 00000170: SWAP1 00000171: PUSH1 0x20 00000173: ADD 00000174: POP 00000175: PUSH2 0x0fa7 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH1 0x40 0000017c: MLOAD 0000017d: DUP1 0000017e: DUP4 0000017f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000194: AND 00000195: DUP2 00000196: MSTORE 00000197: PUSH1 0x20 00000199: ADD 0000019a: DUP3 0000019b: DUP2 0000019c: MSTORE 0000019d: PUSH1 0x20 0000019f: ADD 000001a0: SWAP3 000001a1: POP 000001a2: POP 000001a3: POP 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: DUP1 000001a8: SWAP2 000001a9: SUB 000001aa: SWAP1 000001ab: RETURN 000001ac: JUMPDEST 000001ad: PUSH2 0x01bd 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: CALLDATALOAD 000001b4: SWAP1 000001b5: PUSH1 0x20 000001b7: ADD 000001b8: POP 000001b9: PUSH2 0x0da0 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: DUP1 000001c2: DUP3 000001c3: DUP2 000001c4: MSTORE 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: SWAP2 000001c9: POP 000001ca: POP 000001cb: PUSH1 0x40 000001cd: MLOAD 000001ce: DUP1 000001cf: SWAP2 000001d0: SUB 000001d1: SWAP1 000001d2: RETURN 000001d3: JUMPDEST 000001d4: PUSH2 0x01de 000001d7: PUSH1 0x04 000001d9: POP 000001da: PUSH2 0x0a93 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: DUP3 000001e4: DUP2 000001e5: MSTORE 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP2 000001ea: POP 000001eb: POP 000001ec: PUSH1 0x40 000001ee: MLOAD 000001ef: DUP1 000001f0: SWAP2 000001f1: SUB 000001f2: SWAP1 000001f3: RETURN 000001f4: JUMPDEST 000001f5: PUSH2 0x01ff 000001f8: PUSH1 0x04 000001fa: POP 000001fb: PUSH2 0x0a6d 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH1 0x40 00000202: MLOAD 00000203: DUP1 00000204: DUP3 00000205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021a: AND 0000021b: DUP2 0000021c: MSTORE 0000021d: PUSH1 0x20 0000021f: ADD 00000220: SWAP2 00000221: POP 00000222: POP 00000223: PUSH1 0x40 00000225: MLOAD 00000226: DUP1 00000227: SWAP2 00000228: SUB 00000229: SWAP1 0000022a: RETURN 0000022b: JUMPDEST 0000022c: PUSH2 0x0236 0000022f: PUSH1 0x04 00000231: POP 00000232: PUSH2 0x1077 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH1 0x40 00000239: MLOAD 0000023a: DUP1 0000023b: DUP3 0000023c: DUP2 0000023d: MSTORE 0000023e: PUSH1 0x20 00000240: ADD 00000241: SWAP2 00000242: POP 00000243: POP 00000244: PUSH1 0x40 00000246: MLOAD 00000247: DUP1 00000248: SWAP2 00000249: SUB 0000024a: SWAP1 0000024b: RETURN 0000024c: JUMPDEST 0000024d: PUSH2 0x0257 00000250: PUSH1 0x04 00000252: POP 00000253: PUSH2 0x0aed 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x40 0000025a: MLOAD 0000025b: DUP1 0000025c: DUP3 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP2 00000263: POP 00000264: POP 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: RETURN 0000026d: JUMPDEST 0000026e: PUSH2 0x027e 00000271: PUSH1 0x04 00000273: DUP1 00000274: CALLDATALOAD 00000275: SWAP1 00000276: PUSH1 0x20 00000278: ADD 00000279: POP 0000027a: PUSH2 0x0ec0 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: DUP3 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP2 0000028a: POP 0000028b: POP 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: DUP1 00000290: SWAP2 00000291: SUB 00000292: SWAP1 00000293: RETURN 00000294: JUMPDEST 00000295: PUSH2 0x02a5 00000298: PUSH1 0x04 0000029a: DUP1 0000029b: CALLDATALOAD 0000029c: SWAP1 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: POP 000002a1: PUSH2 0x0af6 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH1 0x40 000002a8: MLOAD 000002a9: DUP1 000002aa: DUP5 000002ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c0: AND 000002c1: DUP2 000002c2: MSTORE 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: DUP4 000002c7: DUP2 000002c8: MSTORE 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: DUP3 000002cd: DUP2 000002ce: MSTORE 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: SWAP4 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: POP 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: DUP1 000002db: SWAP2 000002dc: SUB 000002dd: SWAP1 000002de: RETURN 000002df: JUMPDEST 000002e0: PUSH2 0x02ea 000002e3: PUSH1 0x04 000002e5: POP 000002e6: PUSH2 0x0abe 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: DUP1 000002ef: DUP3 000002f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000305: AND 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x20 0000030a: ADD 0000030b: SWAP2 0000030c: POP 0000030d: POP 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: DUP1 00000312: SWAP2 00000313: SUB 00000314: SWAP1 00000315: RETURN 00000316: JUMPDEST 00000317: PUSH2 0x0321 0000031a: PUSH1 0x04 0000031c: POP 0000031d: PUSH2 0x0cde 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: MLOAD 00000325: DUP1 00000326: DUP3 00000327: DUP2 00000328: MSTORE 00000329: PUSH1 0x20 0000032b: ADD 0000032c: SWAP2 0000032d: POP 0000032e: POP 0000032f: PUSH1 0x40 00000331: MLOAD 00000332: DUP1 00000333: SWAP2 00000334: SUB 00000335: SWAP1 00000336: RETURN 00000337: JUMPDEST 00000338: PUSH2 0x0342 0000033b: PUSH1 0x04 0000033d: POP 0000033e: PUSH2 0x0cd5 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x40 00000345: MLOAD 00000346: DUP1 00000347: DUP3 00000348: DUP2 00000349: MSTORE 0000034a: PUSH1 0x20 0000034c: ADD 0000034d: SWAP2 0000034e: POP 0000034f: POP 00000350: PUSH1 0x40 00000352: MLOAD 00000353: DUP1 00000354: SWAP2 00000355: SUB 00000356: SWAP1 00000357: RETURN 00000358: JUMPDEST 00000359: PUSH2 0x0369 0000035c: PUSH1 0x04 0000035e: DUP1 0000035f: CALLDATALOAD 00000360: SWAP1 00000361: PUSH1 0x20 00000363: ADD 00000364: POP 00000365: PUSH2 0x06dc 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: DUP3 0000036f: DUP2 00000370: MSTORE 00000371: PUSH1 0x20 00000373: ADD 00000374: SWAP2 00000375: POP 00000376: POP 00000377: PUSH1 0x40 00000379: MLOAD 0000037a: DUP1 0000037b: SWAP2 0000037c: SUB 0000037d: SWAP1 0000037e: RETURN 0000037f: JUMPDEST 00000380: PUSH2 0x038a 00000383: PUSH1 0x04 00000385: POP 00000386: PUSH2 0x0c49 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: DUP1 0000038f: DUP3 00000390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a5: AND 000003a6: DUP2 000003a7: MSTORE 000003a8: PUSH1 0x20 000003aa: ADD 000003ab: SWAP2 000003ac: POP 000003ad: POP 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: SWAP2 000003b3: SUB 000003b4: SWAP1 000003b5: RETURN 000003b6: JUMPDEST 000003b7: PUSH2 0x03cd 000003ba: PUSH1 0x04 000003bc: DUP1 000003bd: CALLDATALOAD 000003be: SWAP1 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: DUP1 000003c3: CALLDATALOAD 000003c4: SWAP1 000003c5: PUSH1 0x20 000003c7: ADD 000003c8: POP 000003c9: PUSH2 0x0c6f 000003cc: JUMP 000003cd: JUMPDEST 000003ce: STOP 000003cf: JUMPDEST 000003d0: PUSH2 0x03da 000003d3: PUSH1 0x04 000003d5: POP 000003d6: PUSH2 0x0ce7 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP1 000003df: DUP3 000003e0: DUP2 000003e1: MSTORE 000003e2: PUSH1 0x20 000003e4: ADD 000003e5: SWAP2 000003e6: POP 000003e7: POP 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: DUP1 000003ec: SWAP2 000003ed: SUB 000003ee: SWAP1 000003ef: RETURN 000003f0: JUMPDEST 000003f1: PUSH2 0x0401 000003f4: PUSH1 0x04 000003f6: DUP1 000003f7: CALLDATALOAD 000003f8: SWAP1 000003f9: PUSH1 0x20 000003fb: ADD 000003fc: POP 000003fd: PUSH2 0x0e30 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: DUP3 00000407: DUP2 00000408: MSTORE 00000409: PUSH1 0x20 0000040b: ADD 0000040c: SWAP2 0000040d: POP 0000040e: POP 0000040f: PUSH1 0x40 00000411: MLOAD 00000412: DUP1 00000413: SWAP2 00000414: SUB 00000415: SWAP1 00000416: RETURN 00000417: JUMPDEST 00000418: PUSH2 0x0428 0000041b: PUSH1 0x04 0000041d: DUP1 0000041e: CALLDATALOAD 0000041f: SWAP1 00000420: PUSH1 0x20 00000422: ADD 00000423: POP 00000424: PUSH2 0x0641 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: DUP3 0000042e: DUP2 0000042f: MSTORE 00000430: PUSH1 0x20 00000432: ADD 00000433: SWAP2 00000434: POP 00000435: POP 00000436: PUSH1 0x40 00000438: MLOAD 00000439: DUP1 0000043a: SWAP2 0000043b: SUB 0000043c: SWAP1 0000043d: RETURN 0000043e: JUMPDEST 0000043f: PUSH2 0x044f 00000442: PUSH1 0x04 00000444: DUP1 00000445: CALLDATALOAD 00000446: SWAP1 00000447: PUSH1 0x20 00000449: ADD 0000044a: POP 0000044b: PUSH2 0x1006 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x40 00000452: MLOAD 00000453: DUP1 00000454: DUP7 00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046a: AND 0000046b: DUP2 0000046c: MSTORE 0000046d: PUSH1 0x20 0000046f: ADD 00000470: DUP6 00000471: DUP2 00000472: MSTORE 00000473: PUSH1 0x20 00000475: ADD 00000476: DUP5 00000477: DUP2 00000478: MSTORE 00000479: PUSH1 0x20 0000047b: ADD 0000047c: DUP4 0000047d: DUP2 0000047e: MSTORE 0000047f: PUSH1 0x20 00000481: ADD 00000482: DUP3 00000483: DUP2 00000484: MSTORE 00000485: PUSH1 0x20 00000487: ADD 00000488: SWAP6 00000489: POP 0000048a: POP 0000048b: POP 0000048c: POP 0000048d: POP 0000048e: POP 0000048f: PUSH1 0x40 00000491: MLOAD 00000492: DUP1 00000493: SWAP2 00000494: SUB 00000495: SWAP1 00000496: RETURN 00000497: JUMPDEST 00000498: PUSH2 0x04a2 0000049b: PUSH1 0x04 0000049d: POP 0000049e: PUSH2 0x0ffd 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: DUP1 000004a7: DUP3 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: SWAP2 000004ae: POP 000004af: POP 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: DUP1 000004b4: SWAP2 000004b5: SUB 000004b6: SWAP1 000004b7: RETURN 000004b8: JUMPDEST 000004b9: PUSH2 0x04c9 000004bc: PUSH1 0x04 000004be: DUP1 000004bf: CALLDATALOAD 000004c0: SWAP1 000004c1: PUSH1 0x20 000004c3: ADD 000004c4: POP 000004c5: PUSH2 0x0b7b 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: DUP1 000004ce: DUP3 000004cf: DUP2 000004d0: MSTORE 000004d1: PUSH1 0x20 000004d3: ADD 000004d4: SWAP2 000004d5: POP 000004d6: POP 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: DUP1 000004db: SWAP2 000004dc: SUB 000004dd: SWAP1 000004de: RETURN 000004df: JUMPDEST 000004e0: PUSH2 0x04ea 000004e3: PUSH1 0x04 000004e5: POP 000004e6: PUSH2 0x0f56 000004e9: JUMP 000004ea: JUMPDEST 000004eb: PUSH1 0x40 000004ed: MLOAD 000004ee: DUP1 000004ef: DUP3 000004f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000505: AND 00000506: DUP2 00000507: MSTORE 00000508: PUSH1 0x20 0000050a: ADD 0000050b: SWAP2 0000050c: POP 0000050d: POP 0000050e: PUSH1 0x40 00000510: MLOAD 00000511: DUP1 00000512: SWAP2 00000513: SUB 00000514: SWAP1 00000515: RETURN 00000516: JUMPDEST 00000517: PUSH2 0x052d 0000051a: PUSH1 0x04 0000051c: DUP1 0000051d: CALLDATALOAD 0000051e: SWAP1 0000051f: PUSH1 0x20 00000521: ADD 00000522: DUP1 00000523: CALLDATALOAD 00000524: SWAP1 00000525: PUSH1 0x20 00000527: ADD 00000528: POP 00000529: PUSH2 0x0f7c 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: DUP1 00000532: DUP3 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0x20 00000537: ADD 00000538: SWAP2 00000539: POP 0000053a: POP 0000053b: PUSH1 0x40 0000053d: MLOAD 0000053e: DUP1 0000053f: SWAP2 00000540: SUB 00000541: SWAP1 00000542: RETURN 00000543: JUMPDEST 00000544: PUSH2 0x054e 00000547: PUSH1 0x04 00000549: POP 0000054a: PUSH2 0x0ae4 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x40 00000551: MLOAD 00000552: DUP1 00000553: DUP3 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x20 00000558: ADD 00000559: SWAP2 0000055a: POP 0000055b: POP 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: DUP1 00000560: SWAP2 00000561: SUB 00000562: SWAP1 00000563: RETURN 00000564: JUMPDEST 00000565: PUSH2 0x056f 00000568: PUSH1 0x04 0000056a: POP 0000056b: PUSH2 0x0f50 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x40 00000572: MLOAD 00000573: DUP1 00000574: DUP3 00000575: DUP2 00000576: MSTORE 00000577: PUSH1 0x20 00000579: ADD 0000057a: SWAP2 0000057b: POP 0000057c: POP 0000057d: PUSH1 0x40 0000057f: MLOAD 00000580: DUP1 00000581: SWAP2 00000582: SUB 00000583: SWAP1 00000584: RETURN 00000585: JUMPDEST 00000586: PUSH2 0x059c 00000589: PUSH1 0x04 0000058b: DUP1 0000058c: CALLDATALOAD 0000058d: SWAP1 0000058e: PUSH1 0x20 00000590: ADD 00000591: DUP1 00000592: CALLDATALOAD 00000593: SWAP1 00000594: PUSH1 0x20 00000596: ADD 00000597: POP 00000598: PUSH2 0x0cee 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: DUP1 000005a1: DUP3 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: SWAP2 000005a8: POP 000005a9: POP 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: DUP1 000005ae: SWAP2 000005af: SUB 000005b0: SWAP1 000005b1: RETURN 000005b2: JUMPDEST 000005b3: PUSH2 0x05bd 000005b6: PUSH1 0x04 000005b8: POP 000005b9: PUSH2 0x0a98 000005bc: JUMP 000005bd: JUMPDEST 000005be: PUSH1 0x40 000005c0: MLOAD 000005c1: DUP1 000005c2: DUP3 000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d8: AND 000005d9: DUP2 000005da: MSTORE 000005db: PUSH1 0x20 000005dd: ADD 000005de: SWAP2 000005df: POP 000005e0: POP 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: DUP1 000005e5: SWAP2 000005e6: SUB 000005e7: SWAP1 000005e8: RETURN 000005e9: JUMPDEST 000005ea: PUSH2 0x05f4 000005ed: PUSH1 0x04 000005ef: POP 000005f0: PUSH2 0x1080 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: DUP1 000005f9: DUP3 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x20 000005fe: ADD 000005ff: SWAP2 00000600: POP 00000601: POP 00000602: PUSH1 0x40 00000604: MLOAD 00000605: DUP1 00000606: SWAP2 00000607: SUB 00000608: SWAP1 00000609: RETURN 0000060a: JUMPDEST 0000060b: PUSH2 0x0615 0000060e: PUSH1 0x04 00000610: POP 00000611: PUSH2 0x0b55 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH1 0x40 00000618: MLOAD 00000619: DUP1 0000061a: DUP3 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: AND 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x20 00000635: ADD 00000636: SWAP2 00000637: POP 00000638: POP 00000639: PUSH1 0x40 0000063b: MLOAD 0000063c: DUP1 0000063d: SWAP2 0000063e: SUB 0000063f: SWAP1 00000640: RETURN 00000641: JUMPDEST 00000642: PUSH1 0x00 00000644: PUSH1 0x02 00000646: PUSH1 0x00 00000648: SWAP1 00000649: SLOAD 0000064a: SWAP1 0000064b: PUSH2 0x0100 0000064e: EXP 0000064f: SWAP1 00000650: DIV 00000651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000666: AND 00000667: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067c: AND 0000067d: CALLER 0000067e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000693: AND 00000694: EQ 00000695: ISZERO 00000696: PUSH2 0x06d6 00000699: JUMPI 0000069a: DUP2 0000069b: PUSH1 0x08 0000069d: PUSH1 0x00 0000069f: POP 000006a0: DUP2 000006a1: SWAP1 000006a2: SSTORE 000006a3: POP 000006a4: PUSH2 0x06ab 000006a7: PUSH2 0x1089 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH1 0x09 000006ae: PUSH1 0x00 000006b0: POP 000006b1: DUP2 000006b2: SWAP1 000006b3: SSTORE 000006b4: POP 000006b5: PUSH2 0x06bc 000006b8: PUSH2 0x10a8 000006bb: JUMP 000006bc: JUMPDEST 000006bd: PUSH1 0x0a 000006bf: PUSH1 0x00 000006c1: POP 000006c2: DUP2 000006c3: SWAP1 000006c4: SSTORE 000006c5: POP 000006c6: TIMESTAMP 000006c7: PUSH1 0x0b 000006c9: PUSH1 0x00 000006cb: POP 000006cc: DUP2 000006cd: SWAP1 000006ce: SSTORE 000006cf: POP 000006d0: PUSH1 0x01 000006d2: SWAP1 000006d3: POP 000006d4: DUP1 000006d5: POP 000006d6: JUMPDEST 000006d7: JUMPDEST 000006d8: SWAP2 000006d9: SWAP1 000006da: POP 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x00 000006df: PUSH1 0x04 000006e1: PUSH1 0x00 000006e3: SWAP1 000006e4: SLOAD 000006e5: SWAP1 000006e6: PUSH2 0x0100 000006e9: EXP 000006ea: SWAP1 000006eb: DIV 000006ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000701: AND 00000702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000717: AND 00000718: CALLER 00000719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072e: AND 0000072f: EQ 00000730: DUP1 00000731: PUSH2 0x0787 00000734: JUMPI 00000735: POP 00000736: PUSH1 0x05 00000738: PUSH1 0x00 0000073a: SWAP1 0000073b: SLOAD 0000073c: SWAP1 0000073d: PUSH2 0x0100 00000740: EXP 00000741: SWAP1 00000742: DIV 00000743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000758: AND 00000759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076e: AND 0000076f: CALLER 00000770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000785: AND 00000786: EQ 00000787: JUMPDEST 00000788: DUP1 00000789: PUSH2 0x07df 0000078c: JUMPI 0000078d: POP 0000078e: PUSH1 0x06 00000790: PUSH1 0x00 00000792: SWAP1 00000793: SLOAD 00000794: SWAP1 00000795: PUSH2 0x0100 00000798: EXP 00000799: SWAP1 0000079a: DIV 0000079b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b0: AND 000007b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c6: AND 000007c7: CALLER 000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dd: AND 000007de: EQ 000007df: JUMPDEST 000007e0: ISZERO 000007e1: PUSH2 0x083a 000007e4: JUMPI 000007e5: DUP2 000007e6: PUSH1 0x07 000007e8: PUSH1 0x00 000007ea: POP 000007eb: PUSH1 0x00 000007ed: CALLER 000007ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000803: AND 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x20 00000808: ADD 00000809: SWAP1 0000080a: DUP2 0000080b: MSTORE 0000080c: PUSH1 0x20 0000080e: ADD 0000080f: PUSH1 0x00 00000811: KECCAK256 00000812: PUSH1 0x00 00000814: PUSH2 0x0100 00000817: EXP 00000818: DUP2 00000819: SLOAD 0000081a: DUP2 0000081b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000830: MUL 00000831: NOT 00000832: AND 00000833: SWAP1 00000834: DUP4 00000835: MUL 00000836: OR 00000837: SWAP1 00000838: SSTORE 00000839: POP 0000083a: JUMPDEST 0000083b: DUP2 0000083c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000851: AND 00000852: PUSH1 0x07 00000854: PUSH1 0x00 00000856: POP 00000857: PUSH1 0x00 00000859: PUSH1 0x04 0000085b: PUSH1 0x00 0000085d: SWAP1 0000085e: SLOAD 0000085f: SWAP1 00000860: PUSH2 0x0100 00000863: EXP 00000864: SWAP1 00000865: DIV 00000866: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087b: AND 0000087c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000891: AND 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: SWAP1 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: PUSH1 0x00 0000089f: KECCAK256 000008a0: PUSH1 0x00 000008a2: SWAP1 000008a3: SLOAD 000008a4: SWAP1 000008a5: PUSH2 0x0100 000008a8: EXP 000008a9: SWAP1 000008aa: DIV 000008ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c0: AND 000008c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d6: AND 000008d7: EQ 000008d8: DUP1 000008d9: ISZERO 000008da: PUSH2 0x097c 000008dd: JUMPI 000008de: POP 000008df: DUP2 000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f5: AND 000008f6: PUSH1 0x07 000008f8: PUSH1 0x00 000008fa: POP 000008fb: PUSH1 0x00 000008fd: PUSH1 0x05 000008ff: PUSH1 0x00 00000901: SWAP1 00000902: SLOAD 00000903: SWAP1 00000904: PUSH2 0x0100 00000907: EXP 00000908: SWAP1 00000909: DIV 0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091f: AND 00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000935: AND 00000936: DUP2 00000937: MSTORE 00000938: PUSH1 0x20 0000093a: ADD 0000093b: SWAP1 0000093c: DUP2 0000093d: MSTORE 0000093e: PUSH1 0x20 00000940: ADD 00000941: PUSH1 0x00 00000943: KECCAK256 00000944: PUSH1 0x00 00000946: SWAP1 00000947: SLOAD 00000948: SWAP1 00000949: PUSH2 0x0100 0000094c: EXP 0000094d: SWAP1 0000094e: DIV 0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000964: AND 00000965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097a: AND 0000097b: EQ 0000097c: JUMPDEST 0000097d: DUP1 0000097e: ISZERO 0000097f: PUSH2 0x0a21 00000982: JUMPI 00000983: POP 00000984: DUP2 00000985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099a: AND 0000099b: PUSH1 0x07 0000099d: PUSH1 0x00 0000099f: POP 000009a0: PUSH1 0x00 000009a2: PUSH1 0x06 000009a4: PUSH1 0x00 000009a6: SWAP1 000009a7: SLOAD 000009a8: SWAP1 000009a9: PUSH2 0x0100 000009ac: EXP 000009ad: SWAP1 000009ae: DIV 000009af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c4: AND 000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009da: AND 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH1 0x20 000009df: ADD 000009e0: SWAP1 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x20 000009e5: ADD 000009e6: PUSH1 0x00 000009e8: KECCAK256 000009e9: PUSH1 0x00 000009eb: SWAP1 000009ec: SLOAD 000009ed: SWAP1 000009ee: PUSH2 0x0100 000009f1: EXP 000009f2: SWAP1 000009f3: DIV 000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a09: AND 00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1f: AND 00000a20: EQ 00000a21: JUMPDEST 00000a22: ISZERO 00000a23: PUSH2 0x0a5e 00000a26: JUMPI 00000a27: DUP2 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x00 00000a2c: PUSH2 0x0100 00000a2f: EXP 00000a30: DUP2 00000a31: SLOAD 00000a32: DUP2 00000a33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a48: MUL 00000a49: NOT 00000a4a: AND 00000a4b: SWAP1 00000a4c: DUP4 00000a4d: MUL 00000a4e: OR 00000a4f: SWAP1 00000a50: SSTORE 00000a51: POP 00000a52: PUSH1 0x01 00000a54: SWAP1 00000a55: POP 00000a56: PUSH2 0x0a68 00000a59: JUMP 00000a5a: PUSH2 0x0a67 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x00 00000a61: SWAP1 00000a62: POP 00000a63: PUSH2 0x0a68 00000a66: JUMP 00000a67: JUMPDEST 00000a68: JUMPDEST 00000a69: SWAP2 00000a6a: SWAP1 00000a6b: POP 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x06 00000a70: PUSH1 0x00 00000a72: SWAP1 00000a73: SLOAD 00000a74: SWAP1 00000a75: PUSH2 0x0100 00000a78: EXP 00000a79: SWAP1 00000a7a: DIV 00000a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a90: AND 00000a91: DUP2 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH1 0x3c 00000a96: DUP2 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH1 0x04 00000a9b: PUSH1 0x00 00000a9d: SWAP1 00000a9e: SLOAD 00000a9f: SWAP1 00000aa0: PUSH2 0x0100 00000aa3: EXP 00000aa4: SWAP1 00000aa5: DIV 00000aa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abb: AND 00000abc: DUP2 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x03 00000ac1: PUSH1 0x00 00000ac3: SWAP1 00000ac4: SLOAD 00000ac5: SWAP1 00000ac6: PUSH2 0x0100 00000ac9: EXP 00000aca: SWAP1 00000acb: DIV 00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae1: AND 00000ae2: DUP2 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH1 0x11 00000ae7: PUSH1 0x00 00000ae9: POP 00000aea: SLOAD 00000aeb: DUP2 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH1 0x0f 00000af0: PUSH1 0x00 00000af2: POP 00000af3: SLOAD 00000af4: DUP2 00000af5: JUMP 00000af6: JUMPDEST 00000af7: PUSH1 0x10 00000af9: PUSH1 0x00 00000afb: POP 00000afc: DUP2 00000afd: DUP2 00000afe: SLOAD 00000aff: DUP2 00000b00: LT 00000b01: ISZERO 00000b02: PUSH2 0x0002 00000b05: JUMPI 00000b06: SWAP1 00000b07: PUSH1 0x00 00000b09: MSTORE 00000b0a: PUSH1 0x20 00000b0c: PUSH1 0x00 00000b0e: KECCAK256 00000b0f: SWAP1 00000b10: PUSH1 0x03 00000b12: MUL 00000b13: ADD 00000b14: PUSH1 0x00 00000b16: SWAP2 00000b17: POP 00000b18: SWAP1 00000b19: POP 00000b1a: DUP1 00000b1b: PUSH1 0x00 00000b1d: ADD 00000b1e: PUSH1 0x00 00000b20: SWAP1 00000b21: SLOAD 00000b22: SWAP1 00000b23: PUSH2 0x0100 00000b26: EXP 00000b27: SWAP1 00000b28: DIV 00000b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3e: AND 00000b3f: SWAP1 00000b40: DUP1 00000b41: PUSH1 0x01 00000b43: ADD 00000b44: PUSH1 0x00 00000b46: POP 00000b47: SLOAD 00000b48: SWAP1 00000b49: DUP1 00000b4a: PUSH1 0x02 00000b4c: ADD 00000b4d: PUSH1 0x00 00000b4f: POP 00000b50: SLOAD 00000b51: SWAP1 00000b52: POP 00000b53: DUP4 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0x01 00000b58: PUSH1 0x00 00000b5a: SWAP1 00000b5b: SLOAD 00000b5c: SWAP1 00000b5d: PUSH2 0x0100 00000b60: EXP 00000b61: SWAP1 00000b62: DIV 00000b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b78: AND 00000b79: DUP2 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: PUSH32 0x444f574e4c4f4144000000000000000000000000000000000000000000000000 00000b9f: DUP3 00000ba0: EQ 00000ba1: DUP1 00000ba2: ISZERO 00000ba3: PUSH2 0x0bb1 00000ba6: JUMPI 00000ba7: POP 00000ba8: PUSH1 0x09 00000baa: PUSH1 0x00 00000bac: POP 00000bad: SLOAD 00000bae: CALLVALUE 00000baf: LT 00000bb0: ISZERO 00000bb1: JUMPDEST 00000bb2: DUP1 00000bb3: PUSH2 0x0bec 00000bb6: JUMPI 00000bb7: POP 00000bb8: PUSH32 0x5354454d00000000000000000000000000000000000000000000000000000000 00000bd9: DUP3 00000bda: EQ 00000bdb: DUP1 00000bdc: ISZERO 00000bdd: PUSH2 0x0beb 00000be0: JUMPI 00000be1: POP 00000be2: PUSH1 0x0a 00000be4: PUSH1 0x00 00000be6: POP 00000be7: SLOAD 00000be8: CALLVALUE 00000be9: LT 00000bea: ISZERO 00000beb: JUMPDEST 00000bec: JUMPDEST 00000bed: ISZERO 00000bee: PUSH2 0x0c07 00000bf1: JUMPI 00000bf2: PUSH2 0x0bfa 00000bf5: DUP3 00000bf6: PUSH2 0x10c8 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: PUSH1 0x01 00000bfd: SWAP1 00000bfe: POP 00000bff: PUSH2 0x0c44 00000c02: JUMP 00000c03: PUSH2 0x0c43 00000c06: JUMP 00000c07: JUMPDEST 00000c08: CALLER 00000c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1e: AND 00000c1f: PUSH1 0x00 00000c21: CALLVALUE 00000c22: PUSH1 0x40 00000c24: MLOAD 00000c25: DUP1 00000c26: SWAP1 00000c27: POP 00000c28: PUSH1 0x00 00000c2a: PUSH1 0x40 00000c2c: MLOAD 00000c2d: DUP1 00000c2e: DUP4 00000c2f: SUB 00000c30: DUP2 00000c31: DUP6 00000c32: DUP9 00000c33: DUP9 00000c34: CALL 00000c35: SWAP4 00000c36: POP 00000c37: POP 00000c38: POP 00000c39: POP 00000c3a: POP 00000c3b: PUSH1 0x00 00000c3d: SWAP1 00000c3e: POP 00000c3f: PUSH2 0x0c44 00000c42: JUMP 00000c43: JUMPDEST 00000c44: JUMPDEST 00000c45: SWAP2 00000c46: SWAP1 00000c47: POP 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH1 0x02 00000c4c: PUSH1 0x00 00000c4e: SWAP1 00000c4f: SLOAD 00000c50: SWAP1 00000c51: PUSH2 0x0100 00000c54: EXP 00000c55: SWAP1 00000c56: DIV 00000c57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6c: AND 00000c6d: DUP2 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: PUSH1 0x03 00000c72: PUSH1 0x00 00000c74: SWAP1 00000c75: SLOAD 00000c76: SWAP1 00000c77: PUSH2 0x0100 00000c7a: EXP 00000c7b: SWAP1 00000c7c: DIV 00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c92: AND 00000c93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca8: AND 00000ca9: CALLER 00000caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbf: AND 00000cc0: EQ 00000cc1: ISZERO 00000cc2: PUSH2 0x0cd0 00000cc5: JUMPI 00000cc6: PUSH2 0x0ccf 00000cc9: DUP3 00000cca: DUP3 00000ccb: PUSH2 0x1455 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: JUMPDEST 00000cd1: JUMPDEST 00000cd2: POP 00000cd3: POP 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH1 0x0a 00000cd8: PUSH1 0x00 00000cda: POP 00000cdb: SLOAD 00000cdc: DUP2 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x0b 00000ce1: PUSH1 0x00 00000ce3: POP 00000ce4: SLOAD 00000ce5: DUP2 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH3 0x0f4240 00000cec: DUP2 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x00 00000cf1: PUSH1 0x01 00000cf3: PUSH1 0x00 00000cf5: SWAP1 00000cf6: SLOAD 00000cf7: SWAP1 00000cf8: PUSH2 0x0100 00000cfb: EXP 00000cfc: SWAP1 00000cfd: DIV 00000cfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d13: AND 00000d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d29: AND 00000d2a: CALLER 00000d2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d40: AND 00000d41: EQ 00000d42: ISZERO 00000d43: PUSH2 0x0d99 00000d46: JUMPI 00000d47: DUP2 00000d48: PUSH1 0x0c 00000d4a: PUSH1 0x00 00000d4c: POP 00000d4d: DUP5 00000d4e: DUP2 00000d4f: SLOAD 00000d50: DUP2 00000d51: LT 00000d52: ISZERO 00000d53: PUSH2 0x0002 00000d56: JUMPI 00000d57: SWAP1 00000d58: PUSH1 0x00 00000d5a: MSTORE 00000d5b: PUSH1 0x20 00000d5d: PUSH1 0x00 00000d5f: KECCAK256 00000d60: SWAP1 00000d61: PUSH1 0x02 00000d63: MUL 00000d64: ADD 00000d65: PUSH1 0x00 00000d67: POP 00000d68: PUSH1 0x00 00000d6a: ADD 00000d6b: PUSH1 0x00 00000d6d: PUSH2 0x0100 00000d70: EXP 00000d71: DUP2 00000d72: SLOAD 00000d73: DUP2 00000d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d89: MUL 00000d8a: NOT 00000d8b: AND 00000d8c: SWAP1 00000d8d: DUP4 00000d8e: MUL 00000d8f: OR 00000d90: SWAP1 00000d91: SSTORE 00000d92: POP 00000d93: PUSH1 0x01 00000d95: SWAP1 00000d96: POP 00000d97: DUP1 00000d98: POP 00000d99: JUMPDEST 00000d9a: JUMPDEST 00000d9b: SWAP3 00000d9c: SWAP2 00000d9d: POP 00000d9e: POP 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x00 00000da3: PUSH1 0x01 00000da5: PUSH1 0x00 00000da7: SWAP1 00000da8: SLOAD 00000da9: SWAP1 00000daa: PUSH2 0x0100 00000dad: EXP 00000dae: SWAP1 00000daf: DIV 00000db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc5: AND 00000dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddb: AND 00000ddc: CALLER 00000ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df2: AND 00000df3: EQ 00000df4: ISZERO 00000df5: PUSH2 0x0e2a 00000df8: JUMPI 00000df9: DUP2 00000dfa: PUSH1 0x03 00000dfc: PUSH1 0x00 00000dfe: PUSH2 0x0100 00000e01: EXP 00000e02: DUP2 00000e03: SLOAD 00000e04: DUP2 00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1a: MUL 00000e1b: NOT 00000e1c: AND 00000e1d: SWAP1 00000e1e: DUP4 00000e1f: MUL 00000e20: OR 00000e21: SWAP1 00000e22: SSTORE 00000e23: POP 00000e24: PUSH1 0x01 00000e26: SWAP1 00000e27: POP 00000e28: DUP1 00000e29: POP 00000e2a: JUMPDEST 00000e2b: JUMPDEST 00000e2c: SWAP2 00000e2d: SWAP1 00000e2e: POP 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x00 00000e33: PUSH1 0x01 00000e35: PUSH1 0x00 00000e37: SWAP1 00000e38: SLOAD 00000e39: SWAP1 00000e3a: PUSH2 0x0100 00000e3d: EXP 00000e3e: SWAP1 00000e3f: DIV 00000e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e55: AND 00000e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6b: AND 00000e6c: CALLER 00000e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e82: AND 00000e83: EQ 00000e84: ISZERO 00000e85: PUSH2 0x0eba 00000e88: JUMPI 00000e89: DUP2 00000e8a: PUSH1 0x01 00000e8c: PUSH1 0x00 00000e8e: PUSH2 0x0100 00000e91: EXP 00000e92: DUP2 00000e93: SLOAD 00000e94: DUP2 00000e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eaa: MUL 00000eab: NOT 00000eac: AND 00000ead: SWAP1 00000eae: DUP4 00000eaf: MUL 00000eb0: OR 00000eb1: SWAP1 00000eb2: SSTORE 00000eb3: POP 00000eb4: PUSH1 0x01 00000eb6: SWAP1 00000eb7: POP 00000eb8: DUP1 00000eb9: POP 00000eba: JUMPDEST 00000ebb: JUMPDEST 00000ebc: SWAP2 00000ebd: SWAP1 00000ebe: POP 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x00 00000ec3: PUSH1 0x01 00000ec5: PUSH1 0x00 00000ec7: SWAP1 00000ec8: SLOAD 00000ec9: SWAP1 00000eca: PUSH2 0x0100 00000ecd: EXP 00000ece: SWAP1 00000ecf: DIV 00000ed0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee5: AND 00000ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efb: AND 00000efc: CALLER 00000efd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f12: AND 00000f13: EQ 00000f14: ISZERO 00000f15: PUSH2 0x0f4a 00000f18: JUMPI 00000f19: DUP2 00000f1a: PUSH1 0x02 00000f1c: PUSH1 0x00 00000f1e: PUSH2 0x0100 00000f21: EXP 00000f22: DUP2 00000f23: SLOAD 00000f24: DUP2 00000f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3a: MUL 00000f3b: NOT 00000f3c: AND 00000f3d: SWAP1 00000f3e: DUP4 00000f3f: MUL 00000f40: OR 00000f41: SWAP1 00000f42: SSTORE 00000f43: POP 00000f44: PUSH1 0x01 00000f46: SWAP1 00000f47: POP 00000f48: DUP1 00000f49: POP 00000f4a: JUMPDEST 00000f4b: JUMPDEST 00000f4c: SWAP2 00000f4d: SWAP1 00000f4e: POP 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH2 0x1194 00000f54: DUP2 00000f55: JUMP 00000f56: JUMPDEST 00000f57: PUSH1 0x05 00000f59: PUSH1 0x00 00000f5b: SWAP1 00000f5c: SLOAD 00000f5d: SWAP1 00000f5e: PUSH2 0x0100 00000f61: EXP 00000f62: SWAP1 00000f63: DIV 00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f79: AND 00000f7a: DUP2 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x00 00000f7f: PUSH1 0x00 00000f81: POP 00000f82: PUSH1 0x20 00000f84: MSTORE 00000f85: DUP2 00000f86: PUSH1 0x00 00000f88: MSTORE 00000f89: PUSH1 0x40 00000f8b: PUSH1 0x00 00000f8d: KECCAK256 00000f8e: PUSH1 0x00 00000f90: POP 00000f91: PUSH1 0x20 00000f93: MSTORE 00000f94: DUP1 00000f95: PUSH1 0x00 00000f97: MSTORE 00000f98: PUSH1 0x40 00000f9a: PUSH1 0x00 00000f9c: KECCAK256 00000f9d: PUSH1 0x00 00000f9f: SWAP2 00000fa0: POP 00000fa1: SWAP2 00000fa2: POP 00000fa3: POP 00000fa4: SLOAD 00000fa5: DUP2 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x0c 00000faa: PUSH1 0x00 00000fac: POP 00000fad: DUP2 00000fae: DUP2 00000faf: SLOAD 00000fb0: DUP2 00000fb1: LT 00000fb2: ISZERO 00000fb3: PUSH2 0x0002 00000fb6: JUMPI 00000fb7: SWAP1 00000fb8: PUSH1 0x00 00000fba: MSTORE 00000fbb: PUSH1 0x20 00000fbd: PUSH1 0x00 00000fbf: KECCAK256 00000fc0: SWAP1 00000fc1: PUSH1 0x02 00000fc3: MUL 00000fc4: ADD 00000fc5: PUSH1 0x00 00000fc7: SWAP2 00000fc8: POP 00000fc9: SWAP1 00000fca: POP 00000fcb: DUP1 00000fcc: PUSH1 0x00 00000fce: ADD 00000fcf: PUSH1 0x00 00000fd1: SWAP1 00000fd2: SLOAD 00000fd3: SWAP1 00000fd4: PUSH2 0x0100 00000fd7: EXP 00000fd8: SWAP1 00000fd9: DIV 00000fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fef: AND 00000ff0: SWAP1 00000ff1: DUP1 00000ff2: PUSH1 0x01 00000ff4: ADD 00000ff5: PUSH1 0x00 00000ff7: POP 00000ff8: SLOAD 00000ff9: SWAP1 00000ffa: POP 00000ffb: DUP3 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: PUSH1 0x0d 00001000: PUSH1 0x00 00001002: POP 00001003: SLOAD 00001004: DUP2 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH1 0x0e 00001009: PUSH1 0x00 0000100b: POP 0000100c: DUP2 0000100d: DUP2 0000100e: SLOAD 0000100f: DUP2 00001010: LT 00001011: ISZERO 00001012: PUSH2 0x0002 00001015: JUMPI 00001016: SWAP1 00001017: PUSH1 0x00 00001019: MSTORE 0000101a: PUSH1 0x20 0000101c: PUSH1 0x00 0000101e: KECCAK256 0000101f: SWAP1 00001020: PUSH1 0x05 00001022: MUL 00001023: ADD 00001024: PUSH1 0x00 00001026: SWAP2 00001027: POP 00001028: SWAP1 00001029: POP 0000102a: DUP1 0000102b: PUSH1 0x00 0000102d: ADD 0000102e: PUSH1 0x00 00001030: SWAP1 00001031: SLOAD 00001032: SWAP1 00001033: PUSH2 0x0100 00001036: EXP 00001037: SWAP1 00001038: DIV 00001039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000104e: AND 0000104f: SWAP1 00001050: DUP1 00001051: PUSH1 0x01 00001053: ADD 00001054: PUSH1 0x00 00001056: POP 00001057: SLOAD 00001058: SWAP1 00001059: DUP1 0000105a: PUSH1 0x02 0000105c: ADD 0000105d: PUSH1 0x00 0000105f: POP 00001060: SLOAD 00001061: SWAP1 00001062: DUP1 00001063: PUSH1 0x03 00001065: ADD 00001066: PUSH1 0x00 00001068: POP 00001069: SLOAD 0000106a: SWAP1 0000106b: DUP1 0000106c: PUSH1 0x04 0000106e: ADD 0000106f: PUSH1 0x00 00001071: POP 00001072: SLOAD 00001073: SWAP1 00001074: POP 00001075: DUP6 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH1 0x08 0000107a: PUSH1 0x00 0000107c: POP 0000107d: SLOAD 0000107e: DUP2 0000107f: JUMP 00001080: JUMPDEST 00001081: PUSH1 0x09 00001083: PUSH1 0x00 00001085: POP 00001086: SLOAD 00001087: DUP2 00001088: JUMP 00001089: JUMPDEST 0000108a: PUSH1 0x00 0000108c: PUSH1 0x08 0000108e: PUSH1 0x00 00001090: POP 00001091: SLOAD 00001092: PUSH8 0x0de0b6b3a7640000 0000109b: PUSH1 0x3c 0000109d: MUL 0000109e: DIV 0000109f: SWAP1 000010a0: POP 000010a1: PUSH2 0x10a5 000010a4: JUMP 000010a5: JUMPDEST 000010a6: SWAP1 000010a7: JUMP 000010a8: JUMPDEST 000010a9: PUSH1 0x00 000010ab: PUSH1 0x08 000010ad: PUSH1 0x00 000010af: POP 000010b0: SLOAD 000010b1: PUSH8 0x0de0b6b3a7640000 000010ba: PUSH2 0x1194 000010bd: MUL 000010be: DIV 000010bf: SWAP1 000010c0: POP 000010c1: PUSH2 0x10c5 000010c4: JUMP 000010c5: JUMPDEST 000010c6: SWAP1 000010c7: JUMP 000010c8: JUMPDEST 000010c9: PUSH1 0xa0 000010cb: PUSH1 0x40 000010cd: MLOAD 000010ce: SWAP1 000010cf: DUP2 000010d0: ADD 000010d1: PUSH1 0x40 000010d3: MSTORE 000010d4: DUP1 000010d5: PUSH1 0x00 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x20 000010db: ADD 000010dc: PUSH1 0x00 000010de: DUP2 000010df: MSTORE 000010e0: PUSH1 0x20 000010e2: ADD 000010e3: PUSH1 0x00 000010e5: DUP2 000010e6: MSTORE 000010e7: PUSH1 0x20 000010e9: ADD 000010ea: PUSH1 0x00 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x20 000010f0: ADD 000010f1: PUSH1 0x00 000010f3: DUP2 000010f4: MSTORE 000010f5: PUSH1 0x20 000010f7: ADD 000010f8: POP 000010f9: PUSH1 0x00 000010fb: CALLER 000010fc: DUP3 000010fd: PUSH1 0x00 000010ff: ADD 00001100: SWAP1 00001101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001116: AND 00001117: SWAP1 00001118: DUP2 00001119: DUP2 0000111a: MSTORE 0000111b: PUSH1 0x20 0000111d: ADD 0000111e: POP 0000111f: POP 00001120: DUP3 00001121: DUP3 00001122: PUSH1 0x20 00001124: ADD 00001125: SWAP1 00001126: SWAP1 00001127: DUP2 00001128: DUP2 00001129: MSTORE 0000112a: PUSH1 0x20 0000112c: ADD 0000112d: POP 0000112e: POP 0000112f: NUMBER 00001130: DUP3 00001131: PUSH1 0x40 00001133: ADD 00001134: SWAP1 00001135: SWAP1 00001136: DUP2 00001137: DUP2 00001138: MSTORE 00001139: PUSH1 0x20 0000113b: ADD 0000113c: POP 0000113d: POP 0000113e: CALLVALUE 0000113f: DUP3 00001140: PUSH1 0x60 00001142: ADD 00001143: SWAP1 00001144: SWAP1 00001145: DUP2 00001146: DUP2 00001147: MSTORE 00001148: PUSH1 0x20 0000114a: ADD 0000114b: POP 0000114c: POP 0000114d: PUSH1 0x08 0000114f: PUSH1 0x00 00001151: POP 00001152: SLOAD 00001153: DUP3 00001154: PUSH1 0x80 00001156: ADD 00001157: SWAP1 00001158: SWAP1 00001159: DUP2 0000115a: DUP2 0000115b: MSTORE 0000115c: PUSH1 0x20 0000115e: ADD 0000115f: POP 00001160: POP 00001161: PUSH1 0x01 00001163: PUSH1 0x0f 00001165: PUSH1 0x00 00001167: POP 00001168: SLOAD 00001169: ADD 0000116a: PUSH1 0x0e 0000116c: PUSH1 0x00 0000116e: POP 0000116f: DUP2 00001170: DUP2 00001171: SLOAD 00001172: DUP2 00001173: DUP4 00001174: SSTORE 00001175: DUP2 00001176: DUP2 00001177: ISZERO 00001178: GT 00001179: PUSH2 0x1206 0000117c: JUMPI 0000117d: PUSH1 0x05 0000117f: MUL 00001180: DUP2 00001181: PUSH1 0x05 00001183: MUL 00001184: DUP4 00001185: PUSH1 0x00 00001187: MSTORE 00001188: PUSH1 0x20 0000118a: PUSH1 0x00 0000118c: KECCAK256 0000118d: SWAP2 0000118e: DUP3 0000118f: ADD 00001190: SWAP2 00001191: ADD 00001192: PUSH2 0x1205 00001195: SWAP2 00001196: SWAP1 00001197: PUSH2 0x119b 0000119a: JUMP 0000119b: JUMPDEST 0000119c: DUP1 0000119d: DUP3 0000119e: GT 0000119f: ISZERO 000011a0: PUSH2 0x1201 000011a3: JUMPI 000011a4: PUSH1 0x00 000011a6: PUSH1 0x00 000011a8: DUP3 000011a9: ADD 000011aa: PUSH1 0x00 000011ac: PUSH2 0x0100 000011af: EXP 000011b0: DUP2 000011b1: SLOAD 000011b2: SWAP1 000011b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c8: MUL 000011c9: NOT 000011ca: AND 000011cb: SWAP1 000011cc: SSTORE 000011cd: PUSH1 0x01 000011cf: DUP3 000011d0: ADD 000011d1: PUSH1 0x00 000011d3: POP 000011d4: PUSH1 0x00 000011d6: SWAP1 000011d7: SSTORE 000011d8: PUSH1 0x02 000011da: DUP3 000011db: ADD 000011dc: PUSH1 0x00 000011de: POP 000011df: PUSH1 0x00 000011e1: SWAP1 000011e2: SSTORE 000011e3: PUSH1 0x03 000011e5: DUP3 000011e6: ADD 000011e7: PUSH1 0x00 000011e9: POP 000011ea: PUSH1 0x00 000011ec: SWAP1 000011ed: SSTORE 000011ee: PUSH1 0x04 000011f0: DUP3 000011f1: ADD 000011f2: PUSH1 0x00 000011f4: POP 000011f5: PUSH1 0x00 000011f7: SWAP1 000011f8: SSTORE 000011f9: POP 000011fa: PUSH1 0x01 000011fc: ADD 000011fd: PUSH2 0x119b 00001200: JUMP 00001201: JUMPDEST 00001202: POP 00001203: SWAP1 00001204: JUMP 00001205: JUMPDEST 00001206: JUMPDEST 00001207: POP 00001208: POP 00001209: POP 0000120a: POP 0000120b: DUP2 0000120c: PUSH1 0x0e 0000120e: PUSH1 0x00 00001210: POP 00001211: PUSH1 0x0f 00001213: PUSH1 0x00 00001215: POP 00001216: SLOAD 00001217: DUP2 00001218: SLOAD 00001219: DUP2 0000121a: LT 0000121b: ISZERO 0000121c: PUSH2 0x0002 0000121f: JUMPI 00001220: SWAP1 00001221: PUSH1 0x00 00001223: MSTORE 00001224: PUSH1 0x20 00001226: PUSH1 0x00 00001228: KECCAK256 00001229: SWAP1 0000122a: PUSH1 0x05 0000122c: MUL 0000122d: ADD 0000122e: PUSH1 0x00 00001230: POP 00001231: PUSH1 0x00 00001233: DUP3 00001234: ADD 00001235: MLOAD 00001236: DUP2 00001237: PUSH1 0x00 00001239: ADD 0000123a: PUSH1 0x00 0000123c: PUSH2 0x0100 0000123f: EXP 00001240: DUP2 00001241: SLOAD 00001242: DUP2 00001243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001258: MUL 00001259: NOT 0000125a: AND 0000125b: SWAP1 0000125c: DUP4 0000125d: MUL 0000125e: OR 0000125f: SWAP1 00001260: SSTORE 00001261: POP 00001262: PUSH1 0x20 00001264: DUP3 00001265: ADD 00001266: MLOAD 00001267: DUP2 00001268: PUSH1 0x01 0000126a: ADD 0000126b: PUSH1 0x00 0000126d: POP 0000126e: SSTORE 0000126f: PUSH1 0x40 00001271: DUP3 00001272: ADD 00001273: MLOAD 00001274: DUP2 00001275: PUSH1 0x02 00001277: ADD 00001278: PUSH1 0x00 0000127a: POP 0000127b: SSTORE 0000127c: PUSH1 0x60 0000127e: DUP3 0000127f: ADD 00001280: MLOAD 00001281: DUP2 00001282: PUSH1 0x03 00001284: ADD 00001285: PUSH1 0x00 00001287: POP 00001288: SSTORE 00001289: PUSH1 0x80 0000128b: DUP3 0000128c: ADD 0000128d: MLOAD 0000128e: DUP2 0000128f: PUSH1 0x04 00001291: ADD 00001292: PUSH1 0x00 00001294: POP 00001295: SSTORE 00001296: SWAP1 00001297: POP 00001298: POP 00001299: PUSH1 0x01 0000129b: PUSH1 0x0f 0000129d: PUSH1 0x00 0000129f: POP 000012a0: SLOAD 000012a1: ADD 000012a2: PUSH1 0x0f 000012a4: PUSH1 0x00 000012a6: POP 000012a7: DUP2 000012a8: SWAP1 000012a9: SSTORE 000012aa: POP 000012ab: PUSH1 0x00 000012ad: SWAP1 000012ae: POP 000012af: JUMPDEST 000012b0: PUSH1 0x0d 000012b2: PUSH1 0x00 000012b4: POP 000012b5: SLOAD 000012b6: DUP2 000012b7: LT 000012b8: ISZERO 000012b9: PUSH2 0x13f7 000012bc: JUMPI 000012bd: PUSH1 0x00 000012bf: PUSH1 0x00 000012c1: PUSH1 0x00 000012c3: POP 000012c4: PUSH1 0x00 000012c6: PUSH1 0x0c 000012c8: PUSH1 0x00 000012ca: POP 000012cb: DUP5 000012cc: DUP2 000012cd: SLOAD 000012ce: DUP2 000012cf: LT 000012d0: ISZERO 000012d1: PUSH2 0x0002 000012d4: JUMPI 000012d5: SWAP1 000012d6: PUSH1 0x00 000012d8: MSTORE 000012d9: PUSH1 0x20 000012db: PUSH1 0x00 000012dd: KECCAK256 000012de: SWAP1 000012df: PUSH1 0x02 000012e1: MUL 000012e2: ADD 000012e3: PUSH1 0x00 000012e5: POP 000012e6: PUSH1 0x01 000012e8: ADD 000012e9: PUSH1 0x00 000012eb: POP 000012ec: SLOAD 000012ed: DUP2 000012ee: MSTORE 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: SWAP1 000012f3: DUP2 000012f4: MSTORE 000012f5: PUSH1 0x20 000012f7: ADD 000012f8: PUSH1 0x00 000012fa: KECCAK256 000012fb: PUSH1 0x00 000012fd: POP 000012fe: PUSH1 0x00 00001300: DUP6 00001301: DUP2 00001302: MSTORE 00001303: PUSH1 0x20 00001305: ADD 00001306: SWAP1 00001307: DUP2 00001308: MSTORE 00001309: PUSH1 0x20 0000130b: ADD 0000130c: PUSH1 0x00 0000130e: KECCAK256 0000130f: PUSH1 0x00 00001311: POP 00001312: SLOAD 00001313: GT 00001314: ISZERO 00001315: PUSH2 0x13e9 00001318: JUMPI 00001319: PUSH1 0x0c 0000131b: PUSH1 0x00 0000131d: POP 0000131e: DUP2 0000131f: DUP2 00001320: SLOAD 00001321: DUP2 00001322: LT 00001323: ISZERO 00001324: PUSH2 0x0002 00001327: JUMPI 00001328: SWAP1 00001329: PUSH1 0x00 0000132b: MSTORE 0000132c: PUSH1 0x20 0000132e: PUSH1 0x00 00001330: KECCAK256 00001331: SWAP1 00001332: PUSH1 0x02 00001334: MUL 00001335: ADD 00001336: PUSH1 0x00 00001338: POP 00001339: PUSH1 0x00 0000133b: ADD 0000133c: PUSH1 0x00 0000133e: SWAP1 0000133f: SLOAD 00001340: SWAP1 00001341: PUSH2 0x0100 00001344: EXP 00001345: SWAP1 00001346: DIV 00001347: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000135c: AND 0000135d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001372: AND 00001373: PUSH1 0x00 00001375: PUSH3 0x0f4240 00001379: PUSH1 0x00 0000137b: PUSH1 0x00 0000137d: POP 0000137e: PUSH1 0x00 00001380: PUSH1 0x0c 00001382: PUSH1 0x00 00001384: POP 00001385: DUP7 00001386: DUP2 00001387: SLOAD 00001388: DUP2 00001389: LT 0000138a: ISZERO 0000138b: PUSH2 0x0002 0000138e: JUMPI 0000138f: SWAP1 00001390: PUSH1 0x00 00001392: MSTORE 00001393: PUSH1 0x20 00001395: PUSH1 0x00 00001397: KECCAK256 00001398: SWAP1 00001399: PUSH1 0x02 0000139b: MUL 0000139c: ADD 0000139d: PUSH1 0x00 0000139f: POP 000013a0: PUSH1 0x01 000013a2: ADD 000013a3: PUSH1 0x00 000013a5: POP 000013a6: SLOAD 000013a7: DUP2 000013a8: MSTORE 000013a9: PUSH1 0x20 000013ab: ADD 000013ac: SWAP1 000013ad: DUP2 000013ae: MSTORE 000013af: PUSH1 0x20 000013b1: ADD 000013b2: PUSH1 0x00 000013b4: KECCAK256 000013b5: PUSH1 0x00 000013b7: POP 000013b8: PUSH1 0x00 000013ba: DUP8 000013bb: DUP2 000013bc: MSTORE 000013bd: PUSH1 0x20 000013bf: ADD 000013c0: SWAP1 000013c1: DUP2 000013c2: MSTORE 000013c3: PUSH1 0x20 000013c5: ADD 000013c6: PUSH1 0x00 000013c8: KECCAK256 000013c9: PUSH1 0x00 000013cb: POP 000013cc: SLOAD 000013cd: CALLVALUE 000013ce: MUL 000013cf: DIV 000013d0: PUSH1 0x40 000013d2: MLOAD 000013d3: DUP1 000013d4: SWAP1 000013d5: POP 000013d6: PUSH1 0x00 000013d8: PUSH1 0x40 000013da: MLOAD 000013db: DUP1 000013dc: DUP4 000013dd: SUB 000013de: DUP2 000013df: DUP6 000013e0: DUP9 000013e1: DUP9 000013e2: CALL 000013e3: SWAP4 000013e4: POP 000013e5: POP 000013e6: POP 000013e7: POP 000013e8: POP 000013e9: JUMPDEST 000013ea: JUMPDEST 000013eb: PUSH1 0x01 000013ed: DUP2 000013ee: ADD 000013ef: SWAP1 000013f0: POP 000013f1: DUP1 000013f2: POP 000013f3: PUSH2 0x12af 000013f6: JUMP 000013f7: JUMPDEST 000013f8: CALLER 000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140e: AND 0000140f: PUSH32 0x39d732521214059f57de4c0f92879304394ef7c5e530a8708b7113a42f9f0878 00001430: DUP5 00001431: PUSH1 0x40 00001433: MLOAD 00001434: DUP1 00001435: DUP3 00001436: DUP2 00001437: MSTORE 00001438: PUSH1 0x20 0000143a: ADD 0000143b: SWAP2 0000143c: POP 0000143d: POP 0000143e: PUSH1 0x40 00001440: MLOAD 00001441: DUP1 00001442: SWAP2 00001443: SUB 00001444: SWAP1 00001445: LOG2 00001446: PUSH2 0x144f 00001449: CALLER 0000144a: DUP5 0000144b: PUSH2 0x1455 0000144e: JUMP 0000144f: JUMPDEST 00001450: JUMPDEST 00001451: POP 00001452: POP 00001453: POP 00001454: JUMP 00001455: JUMPDEST 00001456: PUSH1 0x60 00001458: PUSH1 0x40 0000145a: MLOAD 0000145b: SWAP1 0000145c: DUP2 0000145d: ADD 0000145e: PUSH1 0x40 00001460: MSTORE 00001461: DUP1 00001462: PUSH1 0x00 00001464: DUP2 00001465: MSTORE 00001466: PUSH1 0x20 00001468: ADD 00001469: PUSH1 0x00 0000146b: DUP2 0000146c: MSTORE 0000146d: PUSH1 0x20 0000146f: ADD 00001470: PUSH1 0x00 00001472: DUP2 00001473: MSTORE 00001474: PUSH1 0x20 00001476: ADD 00001477: POP 00001478: DUP3 00001479: DUP2 0000147a: PUSH1 0x00 0000147c: ADD 0000147d: SWAP1 0000147e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001493: AND 00001494: SWAP1 00001495: DUP2 00001496: DUP2 00001497: MSTORE 00001498: PUSH1 0x20 0000149a: ADD 0000149b: POP 0000149c: POP 0000149d: DUP2 0000149e: DUP2 0000149f: PUSH1 0x20 000014a1: ADD 000014a2: SWAP1 000014a3: SWAP1 000014a4: DUP2 000014a5: DUP2 000014a6: MSTORE 000014a7: PUSH1 0x20 000014a9: ADD 000014aa: POP 000014ab: POP 000014ac: NUMBER 000014ad: DUP2 000014ae: PUSH1 0x40 000014b0: ADD 000014b1: SWAP1 000014b2: SWAP1 000014b3: DUP2 000014b4: DUP2 000014b5: MSTORE 000014b6: PUSH1 0x20 000014b8: ADD 000014b9: POP 000014ba: POP 000014bb: PUSH1 0x01 000014bd: PUSH1 0x11 000014bf: PUSH1 0x00 000014c1: POP 000014c2: SLOAD 000014c3: ADD 000014c4: PUSH1 0x10 000014c6: PUSH1 0x00 000014c8: POP 000014c9: DUP2 000014ca: DUP2 000014cb: SLOAD 000014cc: DUP2 000014cd: DUP4 000014ce: SSTORE 000014cf: DUP2 000014d0: DUP2 000014d1: ISZERO 000014d2: GT 000014d3: PUSH2 0x154a 000014d6: JUMPI 000014d7: PUSH1 0x03 000014d9: MUL 000014da: DUP2 000014db: PUSH1 0x03 000014dd: MUL 000014de: DUP4 000014df: PUSH1 0x00 000014e1: MSTORE 000014e2: PUSH1 0x20 000014e4: PUSH1 0x00 000014e6: KECCAK256 000014e7: SWAP2 000014e8: DUP3 000014e9: ADD 000014ea: SWAP2 000014eb: ADD 000014ec: PUSH2 0x1549 000014ef: SWAP2 000014f0: SWAP1 000014f1: PUSH2 0x14f5 000014f4: JUMP 000014f5: JUMPDEST 000014f6: DUP1 000014f7: DUP3 000014f8: GT 000014f9: ISZERO 000014fa: PUSH2 0x1545 000014fd: JUMPI 000014fe: PUSH1 0x00 00001500: PUSH1 0x00 00001502: DUP3 00001503: ADD 00001504: PUSH1 0x00 00001506: PUSH2 0x0100 00001509: EXP 0000150a: DUP2 0000150b: SLOAD 0000150c: SWAP1 0000150d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001522: MUL 00001523: NOT 00001524: AND 00001525: SWAP1 00001526: SSTORE 00001527: PUSH1 0x01 00001529: DUP3 0000152a: ADD 0000152b: PUSH1 0x00 0000152d: POP 0000152e: PUSH1 0x00 00001530: SWAP1 00001531: SSTORE 00001532: PUSH1 0x02 00001534: DUP3 00001535: ADD 00001536: PUSH1 0x00 00001538: POP 00001539: PUSH1 0x00 0000153b: SWAP1 0000153c: SSTORE 0000153d: POP 0000153e: PUSH1 0x01 00001540: ADD 00001541: PUSH2 0x14f5 00001544: JUMP 00001545: JUMPDEST 00001546: POP 00001547: SWAP1 00001548: JUMP 00001549: JUMPDEST 0000154a: JUMPDEST 0000154b: POP 0000154c: POP 0000154d: POP 0000154e: POP 0000154f: DUP1 00001550: PUSH1 0x10 00001552: PUSH1 0x00 00001554: POP 00001555: PUSH1 0x11 00001557: PUSH1 0x00 00001559: POP 0000155a: SLOAD 0000155b: DUP2 0000155c: SLOAD 0000155d: DUP2 0000155e: LT 0000155f: ISZERO 00001560: PUSH2 0x0002 00001563: JUMPI 00001564: SWAP1 00001565: PUSH1 0x00 00001567: MSTORE 00001568: PUSH1 0x20 0000156a: PUSH1 0x00 0000156c: KECCAK256 0000156d: SWAP1 0000156e: PUSH1 0x03 00001570: MUL 00001571: ADD 00001572: PUSH1 0x00 00001574: POP 00001575: PUSH1 0x00 00001577: DUP3 00001578: ADD 00001579: MLOAD 0000157a: DUP2 0000157b: PUSH1 0x00 0000157d: ADD 0000157e: PUSH1 0x00 00001580: PUSH2 0x0100 00001583: EXP 00001584: DUP2 00001585: SLOAD 00001586: DUP2 00001587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159c: MUL 0000159d: NOT 0000159e: AND 0000159f: SWAP1 000015a0: DUP4 000015a1: MUL 000015a2: OR 000015a3: SWAP1 000015a4: SSTORE 000015a5: POP 000015a6: PUSH1 0x20 000015a8: DUP3 000015a9: ADD 000015aa: MLOAD 000015ab: DUP2 000015ac: PUSH1 0x01 000015ae: ADD 000015af: PUSH1 0x00 000015b1: POP 000015b2: SSTORE 000015b3: PUSH1 0x40 000015b5: DUP3 000015b6: ADD 000015b7: MLOAD 000015b8: DUP2 000015b9: PUSH1 0x02 000015bb: ADD 000015bc: PUSH1 0x00 000015be: POP 000015bf: SSTORE 000015c0: SWAP1 000015c1: POP 000015c2: POP 000015c3: PUSH1 0x01 000015c5: PUSH1 0x11 000015c7: PUSH1 0x00 000015c9: DUP3 000015ca: DUP3 000015cb: DUP3 000015cc: POP 000015cd: SLOAD 000015ce: ADD 000015cf: SWAP3 000015d0: POP 000015d1: POP 000015d2: DUP2 000015d3: SWAP1 000015d4: SSTORE 000015d5: POP 000015d6: DUP3 000015d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ec: AND 000015ed: PUSH32 0x44bbf497379e88194e67c38a8b2e628ef3803579306f3fd2177ce81afb3d743f 0000160e: DUP4 0000160f: PUSH1 0x40 00001611: MLOAD 00001612: DUP1 00001613: DUP3 00001614: DUP2 00001615: MSTORE 00001616: PUSH1 0x20 00001618: ADD 00001619: SWAP2 0000161a: POP 0000161b: POP 0000161c: PUSH1 0x40 0000161e: MLOAD 0000161f: DUP1 00001620: SWAP2 00001621: SUB 00001622: SWAP1 00001623: LOG2 00001624: JUMPDEST 00001625: POP 00001626: POP 00001627: POP 00001628: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6b3c79824d781419fdf416d9c4b5e472e9c128d162d7a27444d6cf5d8cae9b02
call_targets:
0xc7696b27830dd8aa4823a1cba8440c27c36adec4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6b3c79824d781419fdf416d9c4b5e472e9c128d162d7a27444d6cf5d8cae9b02",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc7696b27830dd8aa4823a1cba8440c27c36adec4"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0790e880",
"selector": "0x0790e880",
"calldata_variants": [
"0x0790e880",
"0x0790e8800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbe1eb8",
"selector": "0x0cbe1eb8",
"calldata_variants": [
"0x0cbe1eb8",
"0x0cbe1eb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11851b5e",
"selector": "0x11851b5e",
"calldata_variants": [
"0x11851b5e",
"0x11851b5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e9be6a1",
"selector": "0x1e9be6a1",
"calldata_variants": [
"0x1e9be6a1",
"0x1e9be6a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c540687",
"selector": "0x3c540687",
"calldata_variants": [
"0x3c540687",
"0x3c5406870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d6a3664",
"selector": "0x3d6a3664",
"calldata_variants": [
"0x3d6a3664",
"0x3d6a36640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x436da5fe",
"selector": "0x436da5fe",
"calldata_variants": [
"0x436da5fe",
"0x436da5fe0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3124,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5090,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 1661,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1816,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1903,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1991,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3370,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3692,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3836,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6b3c79824d781419fdf416d9c4b5e472e9c128d162d7a27444d6cf5d8cae9b02
call_targets:
0xc7696b27830dd8aa4823a1cba8440c27c36adec4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6b3c79824d781419fdf416d9c4b5e472e9c128d162d7a27444d6cf5d8cae9b02",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc7696b27830dd8aa4823a1cba8440c27c36adec4"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0790e880",
"selector": "0x0790e880",
"calldata_variants": [
"0x0790e880",
"0x0790e8800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbe1eb8",
"selector": "0x0cbe1eb8",
"calldata_variants": [
"0x0cbe1eb8",
"0x0cbe1eb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11851b5e",
"selector": "0x11851b5e",
"calldata_variants": [
"0x11851b5e",
"0x11851b5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e9be6a1",
"selector": "0x1e9be6a1",
"calldata_variants": [
"0x1e9be6a1",
"0x1e9be6a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c540687",
"selector": "0x3c540687",
"calldata_variants": [
"0x3c540687",
"0x3c5406870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d6a3664",
"selector": "0x3d6a3664",
"calldata_variants": [
"0x3d6a3664",
"0x3d6a36640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x436da5fe",
"selector": "0x436da5fe",
"calldata_variants": [
"0x436da5fe",
"0x436da5fe0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3124,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5090,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 1661,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1816,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1903,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1991,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3370,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3692,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3836,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|