019b3836-4f01-70e7-ab84-0cc90436d219
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 |
|---|---|---|---|---|
| 7467 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 7468 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109374 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109375 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109376 | detector.run | complete | 1 / 3 | 1 week ago |
| 109377 | validation.fork | complete | 1 / 3 | 1 week 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 0x0106 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x082636b4 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0113 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x13dce938 00000025: EQ 00000026: PUSH2 0x01b2 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x14f47de4 00000030: EQ 00000031: PUSH2 0x01c0 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x1d8f310a 0000003b: EQ 0000003c: PUSH2 0x01ce 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x29dcb0cf 00000046: EQ 00000047: PUSH2 0x01df 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x3ccfd60b 00000051: EQ 00000052: PUSH2 0x01e8 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x3e76aa06 0000005c: EQ 0000005d: PUSH2 0x02cd 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x43cce08e 00000067: EQ 00000068: PUSH2 0x0309 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4e69d560 00000072: EQ 00000073: PUSH2 0x031d 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5c76ca2d 0000007d: EQ 0000007e: PUSH2 0x032c 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x63bd1d4a 00000088: EQ 00000089: PUSH2 0x0338 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x7cbbcca6 00000093: EQ 00000094: PUSH2 0x034b 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x7fb4cbd3 0000009e: EQ 0000009f: PUSH2 0x049d 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8261192e 000000a9: EQ 000000aa: PUSH2 0x053f 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x9ac99635 000000b4: EQ 000000b5: PUSH2 0x0551 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x9f47c36c 000000bf: EQ 000000c0: PUSH2 0x0565 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xbb2f7847 000000ca: EQ 000000cb: PUSH2 0x056e 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xc6aef98a 000000d5: EQ 000000d6: PUSH2 0x0585 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xd356ead2 000000e0: EQ 000000e1: PUSH2 0x0598 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xefcceaa5 000000eb: EQ 000000ec: PUSH2 0x05dc 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf040630c 000000f6: EQ 000000f7: PUSH2 0x05f0 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf57f4aaa 00000101: EQ 00000102: PUSH2 0x05f9 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x0676 0000010a: PUSH1 0x00 0000010c: PUSH2 0x0678 0000010f: PUSH2 0x0572 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x06c6 00000117: PUSH1 0x04 00000119: CALLDATALOAD 0000011a: PUSH1 0x00 0000011c: PUSH1 0x00 0000011e: PUSH1 0x00 00000120: PUSH1 0x17 00000122: PUSH1 0x00 00000124: POP 00000125: SLOAD 00000126: DUP5 00000127: LT 00000128: ISZERO 00000129: PUSH2 0x0538 0000012c: JUMPI 0000012d: PUSH1 0x1d 0000012f: DUP1 00000130: SLOAD 00000131: DUP6 00000132: SWAP1 00000133: DUP2 00000134: LT 00000135: ISZERO 00000136: PUSH2 0x0002 00000139: JUMPI 0000013a: POP 0000013b: DUP1 0000013c: SLOAD 0000013d: DUP2 0000013e: DUP4 0000013f: MSTORE 00000140: PUSH1 0x03 00000142: DUP7 00000143: MUL 00000144: PUSH1 0x00 00000146: DUP1 00000147: MLOAD 00000148: PUSH1 0x20 0000014a: PUSH2 0x124a 0000014d: DUP4 0000014e: CODECOPY 0000014f: DUP2 00000150: MLOAD 00000151: SWAP2 00000152: MSTORE 00000153: ADD 00000154: SLOAD 00000155: PUSH1 0x01 00000157: PUSH1 0xa0 00000159: PUSH1 0x02 0000015b: EXP 0000015c: SUB 0000015d: AND 0000015e: SWAP2 0000015f: SWAP1 00000160: DUP7 00000161: SWAP1 00000162: DUP2 00000163: LT 00000164: ISZERO 00000165: PUSH2 0x0002 00000168: JUMPI 00000169: SWAP1 0000016a: PUSH1 0x00 0000016c: MSTORE 0000016d: PUSH1 0x20 0000016f: PUSH1 0x00 00000171: KECCAK256 00000172: SWAP1 00000173: PUSH1 0x03 00000175: MUL 00000176: ADD 00000177: PUSH1 0x00 00000179: POP 0000017a: PUSH1 0x01 0000017c: ADD 0000017d: PUSH1 0x00 0000017f: POP 00000180: SLOAD 00000181: PUSH1 0x1d 00000183: PUSH1 0x00 00000185: POP 00000186: DUP7 00000187: DUP2 00000188: SLOAD 00000189: DUP2 0000018a: LT 0000018b: ISZERO 0000018c: PUSH2 0x0002 0000018f: JUMPI 00000190: POP 00000191: POP 00000192: PUSH1 0x03 00000194: DUP7 00000195: MUL 00000196: PUSH1 0x00 00000198: DUP1 00000199: MLOAD 0000019a: PUSH1 0x20 0000019c: PUSH2 0x120a 0000019f: DUP4 000001a0: CODECOPY 000001a1: DUP2 000001a2: MLOAD 000001a3: SWAP2 000001a4: MSTORE 000001a5: ADD 000001a6: SLOAD 000001a7: SWAP2 000001a8: SWAP5 000001a9: POP 000001aa: SWAP3 000001ab: POP 000001ac: SWAP1 000001ad: POP 000001ae: PUSH2 0x0538 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH2 0x0676 000001b6: PUSH1 0x06 000001b8: DUP1 000001b9: SLOAD 000001ba: CALLVALUE 000001bb: ADD 000001bc: SWAP1 000001bd: SSTORE 000001be: JUMPDEST 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH2 0x06ee 000001c4: PUSH1 0x1a 000001c6: SLOAD 000001c7: PUSH1 0x19 000001c9: SLOAD 000001ca: JUMPDEST 000001cb: SWAP1 000001cc: SWAP2 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH2 0x0707 000001d2: PUSH1 0x07 000001d4: SLOAD 000001d5: PUSH2 0x0100 000001d8: SWAP1 000001d9: DIV 000001da: PUSH1 0xff 000001dc: AND 000001dd: DUP2 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH2 0x0707 000001e3: PUSH1 0x04 000001e5: SLOAD 000001e6: DUP2 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH2 0x0676 000001ec: PUSH1 0x01 000001ee: PUSH1 0xa0 000001f0: PUSH1 0x02 000001f2: EXP 000001f3: SUB 000001f4: CALLER 000001f5: AND 000001f6: PUSH1 0x00 000001f8: DUP2 000001f9: DUP2 000001fa: MSTORE 000001fb: PUSH1 0x08 000001fd: PUSH1 0x20 000001ff: MSTORE 00000200: PUSH1 0x40 00000202: DUP1 00000203: DUP3 00000204: KECCAK256 00000205: DUP1 00000206: SLOAD 00000207: SWAP1 00000208: DUP4 00000209: SWAP1 0000020a: SSTORE 0000020b: SWAP1 0000020c: MLOAD 0000020d: SWAP1 0000020e: SWAP3 0000020f: SWAP2 00000210: SWAP1 00000211: DUP4 00000212: SWAP1 00000213: DUP3 00000214: DUP2 00000215: DUP2 00000216: DUP2 00000217: DUP6 00000218: DUP9 00000219: DUP4 0000021a: CALL 0000021b: SWAP4 0000021c: POP 0000021d: POP 0000021e: POP 0000021f: POP 00000220: ISZERO 00000221: ISZERO 00000222: PUSH2 0x02ca 00000225: JUMPI 00000226: CALLER 00000227: PUSH1 0x01 00000229: PUSH1 0xa0 0000022b: PUSH1 0x02 0000022d: EXP 0000022e: SUB 0000022f: AND 00000230: PUSH32 0xfd73bd70d9e6a8bde14637188a03b988d799f901901f27e4271612240d8d22c9 00000251: DUP3 00000252: PUSH1 0x40 00000254: MLOAD 00000255: DUP1 00000256: DUP3 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x20 0000025b: ADD 0000025c: DUP1 0000025d: PUSH1 0x20 0000025f: ADD 00000260: DUP3 00000261: DUP2 00000262: SUB 00000263: DUP3 00000264: MSTORE 00000265: PUSH1 0x12 00000267: DUP2 00000268: MSTORE 00000269: PUSH1 0x20 0000026b: ADD 0000026c: DUP1 0000026d: PUSH32 0x5769746864726177616c204661696c7572650000000000000000000000000000 0000028e: DUP2 0000028f: MSTORE 00000290: PUSH1 0x20 00000292: ADD 00000293: POP 00000294: PUSH1 0x20 00000296: ADD 00000297: SWAP3 00000298: POP 00000299: POP 0000029a: POP 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: DUP1 0000029f: SWAP2 000002a0: SUB 000002a1: SWAP1 000002a2: LOG2 000002a3: DUP1 000002a4: PUSH1 0x08 000002a6: PUSH1 0x00 000002a8: POP 000002a9: PUSH1 0x00 000002ab: CALLER 000002ac: PUSH1 0x01 000002ae: PUSH1 0xa0 000002b0: PUSH1 0x02 000002b2: EXP 000002b3: SUB 000002b4: AND 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: SWAP1 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: PUSH1 0x00 000002c2: KECCAK256 000002c3: PUSH1 0x00 000002c5: POP 000002c6: DUP2 000002c7: SWAP1 000002c8: SSTORE 000002c9: POP 000002ca: JUMPDEST 000002cb: POP 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH2 0x0707 000002d1: PUSH1 0x04 000002d3: CALLDATALOAD 000002d4: PUSH1 0x24 000002d6: CALLDATALOAD 000002d7: JUMPDEST 000002d8: PUSH1 0x1a 000002da: SLOAD 000002db: PUSH1 0x19 000002dd: SLOAD 000002de: PUSH1 0x00 000002e0: SWAP2 000002e1: DUP5 000002e2: ADD 000002e3: SWAP1 000002e4: DUP4 000002e5: ADD 000002e6: DUP2 000002e7: DUP4 000002e8: EQ 000002e9: DUP1 000002ea: ISZERO 000002eb: PUSH2 0x02f4 000002ee: JUMPI 000002ef: POP 000002f0: DUP1 000002f1: PUSH1 0x00 000002f3: EQ 000002f4: JUMPDEST 000002f5: ISZERO 000002f6: PUSH2 0x0820 000002f9: JUMPI 000002fa: PUSH8 0x06f05b59d3b20000 00000303: SWAP3 00000304: POP 00000305: PUSH2 0x0832 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH2 0x0707 0000030d: PUSH1 0x01 0000030f: SLOAD 00000310: PUSH1 0x01 00000312: PUSH1 0xa0 00000314: PUSH1 0x02 00000316: EXP 00000317: SUB 00000318: AND 00000319: BALANCE 0000031a: JUMPDEST 0000031b: SWAP1 0000031c: JUMP 0000031d: JUMPDEST 0000031e: PUSH2 0x06ee 00000321: PUSH1 0x18 00000323: SLOAD 00000324: PUSH1 0x17 00000326: SLOAD 00000327: SWAP1 00000328: PUSH2 0x01ca 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x0707 00000330: PUSH1 0x07 00000332: SLOAD 00000333: PUSH1 0xff 00000335: AND 00000336: DUP2 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x0676 0000033c: JUMPDEST 0000033d: PUSH1 0x04 0000033f: SLOAD 00000340: TIMESTAMP 00000341: LT 00000342: ISZERO 00000343: PUSH2 0x083a 00000346: JUMPI 00000347: PUSH2 0x0002 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x0676 0000034f: PUSH1 0x60 00000351: PUSH1 0x40 00000353: MLOAD 00000354: SWAP1 00000355: DUP2 00000356: ADD 00000357: PUSH1 0x40 00000359: MSTORE 0000035a: DUP1 0000035b: PUSH1 0x03 0000035d: SWAP1 0000035e: JUMPDEST 0000035f: PUSH1 0x00 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x20 00000365: ADD 00000366: SWAP1 00000367: PUSH1 0x01 00000369: SWAP1 0000036a: SUB 0000036b: SWAP1 0000036c: DUP2 0000036d: PUSH2 0x035e 00000370: JUMPI 00000371: POP 00000372: POP 00000373: PUSH1 0x40 00000375: DUP1 00000376: MLOAD 00000377: PUSH1 0x60 00000379: DUP2 0000037a: ADD 0000037b: SWAP1 0000037c: SWAP2 0000037d: MSTORE 0000037e: PUSH1 0x03 00000380: DUP2 00000381: JUMPDEST 00000382: PUSH1 0x00 00000384: DUP2 00000385: MSTORE 00000386: PUSH1 0x20 00000388: ADD 00000389: SWAP1 0000038a: PUSH1 0x01 0000038c: SWAP1 0000038d: SUB 0000038e: SWAP1 0000038f: DUP2 00000390: PUSH2 0x0381 00000393: JUMPI 00000394: POP 00000395: POP 00000396: PUSH1 0x40 00000398: DUP1 00000399: MLOAD 0000039a: PUSH1 0x60 0000039c: DUP2 0000039d: DUP2 0000039e: ADD 0000039f: DUP4 000003a0: MSTORE 000003a1: PUSH2 0x09c4 000003a4: DUP3 000003a5: MSTORE 000003a6: PUSH2 0x0c80 000003a9: PUSH1 0x20 000003ab: DUP4 000003ac: DUP2 000003ad: ADD 000003ae: SWAP2 000003af: SWAP1 000003b0: SWAP2 000003b1: MSTORE 000003b2: PUSH2 0x10cc 000003b5: DUP4 000003b6: DUP6 000003b7: ADD 000003b8: MSTORE 000003b9: DUP4 000003ba: MLOAD 000003bb: SWAP2 000003bc: DUP3 000003bd: ADD 000003be: DUP5 000003bf: MSTORE 000003c0: PUSH20 0xa1b5f95be71ffa2f86adefcaa0028c46fe825161 000003d5: DUP3 000003d6: MSTORE 000003d7: PUSH20 0x536f9dca5e5b89ccbd024c20429e7c8a0fdd5380 000003ec: SWAP1 000003ed: DUP3 000003ee: ADD 000003ef: MSTORE 000003f0: PUSH20 0x175c6e202a020b63313db8ca0caadbd97091fbf3 00000405: SWAP3 00000406: DUP2 00000407: ADD 00000408: SWAP3 00000409: SWAP1 0000040a: SWAP3 0000040b: MSTORE 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: SLOAD 00000410: SWAP2 00000411: SWAP5 00000412: POP 00000413: SWAP2 00000414: SWAP3 00000415: POP 00000416: DUP2 00000417: SWAP1 00000418: DUP2 00000419: SWAP1 0000041a: PUSH1 0x01 0000041c: PUSH1 0xa0 0000041e: PUSH1 0x02 00000420: EXP 00000421: SUB 00000422: SWAP1 00000423: DUP2 00000424: AND 00000425: CALLER 00000426: SWAP2 00000427: SWAP1 00000428: SWAP2 00000429: AND 0000042a: EQ 0000042b: DUP1 0000042c: PUSH2 0x0451 0000042f: JUMPI 00000430: POP 00000431: PUSH20 0xa1b5f95be71ffa2f86adefcaa0028c46fe825161 00000446: PUSH1 0x01 00000448: PUSH1 0xa0 0000044a: PUSH1 0x02 0000044c: EXP 0000044d: SUB 0000044e: CALLER 0000044f: AND 00000450: EQ 00000451: JUMPDEST 00000452: DUP1 00000453: PUSH2 0x0476 00000456: JUMPI 00000457: POP 00000458: DUP4 00000459: PUSH1 0x01 0000045b: SWAP1 0000045c: SWAP1 0000045d: PUSH1 0x20 0000045f: MUL 00000460: ADD 00000461: MLOAD 00000462: PUSH1 0x01 00000464: PUSH1 0xa0 00000466: PUSH1 0x02 00000468: EXP 00000469: SUB 0000046a: AND 0000046b: CALLER 0000046c: PUSH1 0x01 0000046e: PUSH1 0xa0 00000470: PUSH1 0x02 00000472: EXP 00000473: SUB 00000474: AND 00000475: EQ 00000476: JUMPDEST 00000477: DUP1 00000478: PUSH2 0x0490 0000047b: JUMPI 0000047c: POP 0000047d: PUSH1 0x40 0000047f: DUP5 00000480: ADD 00000481: MLOAD 00000482: PUSH1 0x01 00000484: PUSH1 0xa0 00000486: PUSH1 0x02 00000488: EXP 00000489: SUB 0000048a: CALLER 0000048b: DUP2 0000048c: AND 0000048d: SWAP2 0000048e: AND 0000048f: EQ 00000490: JUMPDEST 00000491: ISZERO 00000492: PUSH2 0x09e4 00000495: JUMPI 00000496: PUSH2 0x08fa 00000499: PUSH2 0x033c 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x06c6 000004a1: PUSH1 0x04 000004a3: CALLDATALOAD 000004a4: PUSH1 0x00 000004a6: PUSH1 0x00 000004a8: PUSH1 0x00 000004aa: PUSH1 0x18 000004ac: PUSH1 0x00 000004ae: POP 000004af: SLOAD 000004b0: DUP5 000004b1: LT 000004b2: ISZERO 000004b3: PUSH2 0x0538 000004b6: JUMPI 000004b7: PUSH1 0x1e 000004b9: DUP1 000004ba: SLOAD 000004bb: DUP6 000004bc: SWAP1 000004bd: DUP2 000004be: LT 000004bf: ISZERO 000004c0: PUSH2 0x0002 000004c3: JUMPI 000004c4: POP 000004c5: DUP1 000004c6: SLOAD 000004c7: DUP2 000004c8: DUP4 000004c9: MSTORE 000004ca: PUSH1 0x03 000004cc: DUP7 000004cd: MUL 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: MLOAD 000004d2: PUSH1 0x20 000004d4: PUSH2 0x126a 000004d7: DUP4 000004d8: CODECOPY 000004d9: DUP2 000004da: MLOAD 000004db: SWAP2 000004dc: MSTORE 000004dd: ADD 000004de: SLOAD 000004df: PUSH1 0x01 000004e1: PUSH1 0xa0 000004e3: PUSH1 0x02 000004e5: EXP 000004e6: SUB 000004e7: AND 000004e8: SWAP2 000004e9: SWAP1 000004ea: DUP7 000004eb: SWAP1 000004ec: DUP2 000004ed: LT 000004ee: ISZERO 000004ef: PUSH2 0x0002 000004f2: JUMPI 000004f3: SWAP1 000004f4: PUSH1 0x00 000004f6: MSTORE 000004f7: PUSH1 0x20 000004f9: PUSH1 0x00 000004fb: KECCAK256 000004fc: SWAP1 000004fd: PUSH1 0x03 000004ff: MUL 00000500: ADD 00000501: PUSH1 0x00 00000503: POP 00000504: PUSH1 0x01 00000506: ADD 00000507: PUSH1 0x00 00000509: POP 0000050a: SLOAD 0000050b: PUSH1 0x1e 0000050d: PUSH1 0x00 0000050f: POP 00000510: DUP7 00000511: DUP2 00000512: SLOAD 00000513: DUP2 00000514: LT 00000515: ISZERO 00000516: PUSH2 0x0002 00000519: JUMPI 0000051a: POP 0000051b: POP 0000051c: PUSH1 0x03 0000051e: DUP7 0000051f: MUL 00000520: PUSH1 0x00 00000522: DUP1 00000523: MLOAD 00000524: PUSH1 0x20 00000526: PUSH2 0x122a 00000529: DUP4 0000052a: CODECOPY 0000052b: DUP2 0000052c: MLOAD 0000052d: SWAP2 0000052e: MSTORE 0000052f: ADD 00000530: SLOAD 00000531: SWAP2 00000532: SWAP5 00000533: POP 00000534: SWAP3 00000535: POP 00000536: SWAP1 00000537: POP 00000538: JUMPDEST 00000539: SWAP2 0000053a: SWAP4 0000053b: SWAP1 0000053c: SWAP3 0000053d: POP 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH2 0x0676 00000543: PUSH1 0x04 00000545: CALLDATALOAD 00000546: PUSH1 0x24 00000548: CALLDATALOAD 00000549: JUMPDEST 0000054a: PUSH2 0x09eb 0000054d: PUSH2 0x0572 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH2 0x0707 00000555: PUSH1 0x04 00000557: CALLDATALOAD 00000558: JUMPDEST 00000559: PUSH1 0x00 0000055b: PUSH2 0x07ea 0000055e: PUSH1 0x00 00000560: DUP4 00000561: PUSH2 0x02d7 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH2 0x0707 00000569: PUSH1 0x03 0000056b: SLOAD 0000056c: DUP2 0000056d: JUMP 0000056e: JUMPDEST 0000056f: PUSH2 0x0707 00000572: JUMPDEST 00000573: PUSH1 0x07 00000575: SLOAD 00000576: PUSH1 0x00 00000578: SWAP1 00000579: PUSH1 0xff 0000057b: AND 0000057c: ISZERO 0000057d: PUSH2 0x0a24 00000580: JUMPI 00000581: PUSH2 0x031a 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH2 0x06ee 00000589: PUSH1 0x04 0000058b: CALLDATALOAD 0000058c: PUSH1 0x00 0000058e: PUSH1 0x00 00000590: PUSH2 0x080e 00000593: DUP4 00000594: PUSH2 0x0558 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH2 0x06ee 0000059c: JUMPDEST 0000059d: PUSH1 0x00 0000059f: DUP1 000005a0: DUP1 000005a1: DUP1 000005a2: DUP1 000005a3: JUMPDEST 000005a4: PUSH1 0x0e 000005a6: PUSH1 0xff 000005a8: DUP3 000005a9: AND 000005aa: LT 000005ab: ISZERO 000005ac: PUSH2 0x0887 000005af: JUMPI 000005b0: PUSH1 0x09 000005b2: PUSH1 0xff 000005b4: DUP3 000005b5: AND 000005b6: PUSH1 0x0e 000005b8: DUP2 000005b9: LT 000005ba: ISZERO 000005bb: PUSH2 0x0002 000005be: JUMPI 000005bf: ADD 000005c0: PUSH1 0x00 000005c2: POP 000005c3: SLOAD 000005c4: PUSH2 0x0891 000005c7: PUSH1 0x09 000005c9: PUSH1 0xff 000005cb: DUP5 000005cc: AND 000005cd: PUSH1 0x0e 000005cf: DUP2 000005d0: LT 000005d1: ISZERO 000005d2: PUSH2 0x0002 000005d5: JUMPI 000005d6: ADD 000005d7: SLOAD 000005d8: PUSH2 0x05e3 000005db: JUMP 000005dc: JUMPDEST 000005dd: PUSH2 0x0707 000005e0: PUSH1 0x04 000005e2: CALLDATALOAD 000005e3: JUMPDEST 000005e4: PUSH1 0x00 000005e6: PUSH2 0x07d2 000005e9: DUP3 000005ea: PUSH1 0x00 000005ec: PUSH2 0x02d7 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH2 0x0707 000005f4: PUSH1 0x05 000005f6: SLOAD 000005f7: DUP2 000005f8: JUMP 000005f9: JUMPDEST 000005fa: PUSH2 0x0719 000005fd: PUSH1 0x40 000005ff: DUP1 00000600: MLOAD 00000601: PUSH1 0x20 00000603: DUP2 00000604: DUP2 00000605: ADD 00000606: DUP4 00000607: MSTORE 00000608: PUSH1 0x00 0000060a: DUP1 0000060b: DUP4 0000060c: MSTORE 0000060d: PUSH1 0x01 0000060f: DUP1 00000610: SLOAD 00000611: PUSH1 0x1c 00000613: DUP1 00000614: SLOAD 00000615: DUP8 00000616: MLOAD 00000617: PUSH1 0x02 00000619: SWAP5 0000061a: DUP3 0000061b: AND 0000061c: ISZERO 0000061d: PUSH2 0x0100 00000620: MUL 00000621: PUSH1 0x00 00000623: NOT 00000624: ADD 00000625: SWAP1 00000626: SWAP2 00000627: AND 00000628: SWAP4 00000629: SWAP1 0000062a: SWAP4 0000062b: DIV 0000062c: PUSH1 0x1f 0000062e: DUP2 0000062f: ADD 00000630: DUP7 00000631: SWAP1 00000632: DIV 00000633: DUP7 00000634: MUL 00000635: DUP5 00000636: ADD 00000637: DUP7 00000638: ADD 00000639: SWAP1 0000063a: SWAP8 0000063b: MSTORE 0000063c: DUP7 0000063d: DUP4 0000063e: MSTORE 0000063f: SWAP3 00000640: SWAP6 00000641: PUSH1 0x01 00000643: PUSH1 0xa0 00000645: PUSH1 0x02 00000647: EXP 00000648: SUB 00000649: SWAP2 0000064a: SWAP1 0000064b: SWAP2 0000064c: AND 0000064d: SWAP4 0000064e: DUP4 0000064f: SWAP2 00000650: SWAP1 00000651: DUP4 00000652: ADD 00000653: DUP3 00000654: DUP3 00000655: DUP1 00000656: ISZERO 00000657: PUSH2 0x07c2 0000065a: JUMPI 0000065b: DUP1 0000065c: PUSH1 0x1f 0000065e: LT 0000065f: PUSH2 0x0797 00000662: JUMPI 00000663: PUSH2 0x0100 00000666: DUP1 00000667: DUP4 00000668: SLOAD 00000669: DIV 0000066a: MUL 0000066b: DUP4 0000066c: MSTORE 0000066d: SWAP2 0000066e: PUSH1 0x20 00000670: ADD 00000671: SWAP2 00000672: PUSH2 0x07c2 00000675: JUMP 00000676: JUMPDEST 00000677: STOP 00000678: JUMPDEST 00000679: ISZERO 0000067a: ISZERO 0000067b: PUSH2 0x0683 0000067e: JUMPI 0000067f: PUSH2 0x0002 00000682: JUMP 00000683: JUMPDEST 00000684: POP 00000685: PUSH1 0x00 00000687: PUSH2 0x068f 0000068a: CALLVALUE 0000068b: PUSH2 0x0558 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH2 0x0698 00000693: CALLVALUE 00000694: PUSH2 0x05e3 00000697: JUMP 00000698: JUMPDEST 00000699: GT 0000069a: ISZERO 0000069b: PUSH2 0x06a6 0000069e: JUMPI 0000069f: POP 000006a0: PUSH1 0x01 000006a2: PUSH2 0x06aa 000006a5: JUMP 000006a6: JUMPDEST 000006a7: POP 000006a8: PUSH1 0x00 000006aa: JUMPDEST 000006ab: DUP1 000006ac: ISZERO 000006ad: PUSH2 0x06bb 000006b0: JUMPI 000006b1: PUSH2 0x02ca 000006b4: CALLER 000006b5: PUSH1 0x01 000006b7: PUSH2 0x0549 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH2 0x02ca 000006bf: CALLER 000006c0: PUSH1 0x00 000006c2: PUSH2 0x0549 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x40 000006c9: DUP1 000006ca: MLOAD 000006cb: PUSH1 0x01 000006cd: PUSH1 0xa0 000006cf: PUSH1 0x02 000006d1: EXP 000006d2: SUB 000006d3: SWAP1 000006d4: SWAP5 000006d5: AND 000006d6: DUP5 000006d7: MSTORE 000006d8: PUSH1 0x20 000006da: DUP5 000006db: ADD 000006dc: SWAP3 000006dd: SWAP1 000006de: SWAP3 000006df: MSTORE 000006e0: DUP3 000006e1: DUP3 000006e2: ADD 000006e3: MSTORE 000006e4: MLOAD 000006e5: SWAP1 000006e6: DUP2 000006e7: SWAP1 000006e8: SUB 000006e9: PUSH1 0x60 000006eb: ADD 000006ec: SWAP1 000006ed: RETURN 000006ee: JUMPDEST 000006ef: PUSH1 0x40 000006f1: DUP1 000006f2: MLOAD 000006f3: SWAP3 000006f4: DUP4 000006f5: MSTORE 000006f6: PUSH1 0x20 000006f8: DUP4 000006f9: ADD 000006fa: SWAP2 000006fb: SWAP1 000006fc: SWAP2 000006fd: MSTORE 000006fe: DUP1 000006ff: MLOAD 00000700: SWAP2 00000701: DUP3 00000702: SWAP1 00000703: SUB 00000704: ADD 00000705: SWAP1 00000706: RETURN 00000707: JUMPDEST 00000708: PUSH1 0x40 0000070a: DUP1 0000070b: MLOAD 0000070c: SWAP2 0000070d: DUP3 0000070e: MSTORE 0000070f: MLOAD 00000710: SWAP1 00000711: DUP2 00000712: SWAP1 00000713: SUB 00000714: PUSH1 0x20 00000716: ADD 00000717: SWAP1 00000718: RETURN 00000719: JUMPDEST 0000071a: PUSH1 0x40 0000071c: MLOAD 0000071d: DUP1 0000071e: DUP4 0000071f: PUSH1 0x01 00000721: PUSH1 0xa0 00000723: PUSH1 0x02 00000725: EXP 00000726: SUB 00000727: AND 00000728: DUP2 00000729: MSTORE 0000072a: PUSH1 0x20 0000072c: ADD 0000072d: DUP1 0000072e: PUSH1 0x20 00000730: ADD 00000731: DUP3 00000732: DUP2 00000733: SUB 00000734: DUP3 00000735: MSTORE 00000736: DUP4 00000737: DUP2 00000738: DUP2 00000739: MLOAD 0000073a: DUP2 0000073b: MSTORE 0000073c: PUSH1 0x20 0000073e: ADD 0000073f: SWAP2 00000740: POP 00000741: DUP1 00000742: MLOAD 00000743: SWAP1 00000744: PUSH1 0x20 00000746: ADD 00000747: SWAP1 00000748: DUP1 00000749: DUP4 0000074a: DUP4 0000074b: DUP3 0000074c: SWAP1 0000074d: PUSH1 0x00 0000074f: PUSH1 0x04 00000751: PUSH1 0x20 00000753: DUP5 00000754: PUSH1 0x1f 00000756: ADD 00000757: DIV 00000758: PUSH1 0x0f 0000075a: MUL 0000075b: PUSH1 0x03 0000075d: ADD 0000075e: CALL 0000075f: POP 00000760: SWAP1 00000761: POP 00000762: SWAP1 00000763: DUP2 00000764: ADD 00000765: SWAP1 00000766: PUSH1 0x1f 00000768: AND 00000769: DUP1 0000076a: ISZERO 0000076b: PUSH2 0x0788 0000076e: JUMPI 0000076f: DUP1 00000770: DUP3 00000771: SUB 00000772: DUP1 00000773: MLOAD 00000774: PUSH1 0x01 00000776: DUP4 00000777: PUSH1 0x20 00000779: SUB 0000077a: PUSH2 0x0100 0000077d: EXP 0000077e: SUB 0000077f: NOT 00000780: AND 00000781: DUP2 00000782: MSTORE 00000783: PUSH1 0x20 00000785: ADD 00000786: SWAP2 00000787: POP 00000788: JUMPDEST 00000789: POP 0000078a: SWAP4 0000078b: POP 0000078c: POP 0000078d: POP 0000078e: POP 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: SWAP2 00000794: SUB 00000795: SWAP1 00000796: RETURN 00000797: JUMPDEST 00000798: DUP3 00000799: ADD 0000079a: SWAP2 0000079b: SWAP1 0000079c: PUSH1 0x00 0000079e: MSTORE 0000079f: PUSH1 0x20 000007a1: PUSH1 0x00 000007a3: KECCAK256 000007a4: SWAP1 000007a5: JUMPDEST 000007a6: DUP2 000007a7: SLOAD 000007a8: DUP2 000007a9: MSTORE 000007aa: SWAP1 000007ab: PUSH1 0x01 000007ad: ADD 000007ae: SWAP1 000007af: PUSH1 0x20 000007b1: ADD 000007b2: DUP1 000007b3: DUP4 000007b4: GT 000007b5: PUSH2 0x07a5 000007b8: JUMPI 000007b9: DUP3 000007ba: SWAP1 000007bb: SUB 000007bc: PUSH1 0x1f 000007be: AND 000007bf: DUP3 000007c0: ADD 000007c1: SWAP2 000007c2: JUMPDEST 000007c3: POP 000007c4: POP 000007c5: POP 000007c6: POP 000007c7: POP 000007c8: SWAP1 000007c9: POP 000007ca: SWAP2 000007cb: POP 000007cc: SWAP2 000007cd: POP 000007ce: PUSH2 0x01ca 000007d1: JUMP 000007d2: JUMPDEST 000007d3: PUSH1 0x02 000007d5: SLOAD 000007d6: PUSH8 0x0de0b6b3a7640000 000007df: SUB 000007e0: DUP4 000007e1: MUL 000007e2: DIV 000007e3: SWAP1 000007e4: POP 000007e5: JUMPDEST 000007e6: SWAP2 000007e7: SWAP1 000007e8: POP 000007e9: JUMP 000007ea: JUMPDEST 000007eb: PUSH8 0x0de0b6b3a7640000 000007f4: SUB 000007f5: DUP3 000007f6: PUSH1 0x02 000007f8: PUSH1 0x00 000007fa: POP 000007fb: SLOAD 000007fc: PUSH8 0x0de0b6b3a7640000 00000805: SUB 00000806: MUL 00000807: DIV 00000808: SWAP1 00000809: POP 0000080a: PUSH2 0x07e5 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH2 0x0817 00000812: DUP5 00000813: PUSH2 0x05e3 00000816: JUMP 00000817: JUMPDEST 00000818: SWAP2 00000819: POP 0000081a: SWAP2 0000081b: POP 0000081c: SWAP2 0000081d: POP 0000081e: SWAP2 0000081f: JUMP 00000820: JUMPDEST 00000821: DUP1 00000822: DUP3 00000823: ADD 00000824: DUP3 00000825: PUSH8 0x0de0b6b3a7640000 0000082e: MUL 0000082f: DIV 00000830: SWAP3 00000831: POP 00000832: JUMPDEST 00000833: POP 00000834: POP 00000835: SWAP3 00000836: SWAP2 00000837: POP 00000838: POP 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x05 0000083d: SLOAD 0000083e: PUSH1 0x01 00000840: SLOAD 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: PUSH1 0x02 00000847: EXP 00000848: SUB 00000849: AND 0000084a: BALANCE 0000084b: GT 0000084c: ISZERO 0000084d: PUSH2 0x0869 00000850: JUMPI 00000851: PUSH2 0x0882 00000854: PUSH1 0x07 00000856: SLOAD 00000857: PUSH1 0x00 00000859: SWAP1 0000085a: PUSH1 0xff 0000085c: AND 0000085d: PUSH1 0x01 0000085f: EQ 00000860: ISZERO 00000861: PUSH2 0x0e78 00000864: JUMPI 00000865: PUSH2 0x02ca 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH2 0x01be 0000086d: PUSH1 0x07 0000086f: SLOAD 00000870: PUSH1 0x00 00000872: SWAP1 00000873: PUSH1 0xff 00000875: AND 00000876: PUSH1 0x01 00000878: EQ 00000879: ISZERO 0000087a: PUSH2 0x1053 0000087d: JUMPI 0000087e: PUSH2 0x02ca 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH2 0x01be 00000886: JUMP 00000887: JUMPDEST 00000888: POP 00000889: SWAP1 0000088a: SWAP4 0000088b: SWAP1 0000088c: SWAP3 0000088d: POP 0000088e: SWAP1 0000088f: POP 00000890: JUMP 00000891: JUMPDEST 00000892: GT 00000893: ISZERO 00000894: PUSH2 0x08ab 00000897: JUMPI 00000898: PUSH1 0x09 0000089a: PUSH1 0xff 0000089c: DUP3 0000089d: AND 0000089e: PUSH1 0x0e 000008a0: DUP2 000008a1: LT 000008a2: ISZERO 000008a3: PUSH2 0x0002 000008a6: JUMPI 000008a7: ADD 000008a8: SLOAD 000008a9: SWAP3 000008aa: POP 000008ab: JUMPDEST 000008ac: PUSH1 0x09 000008ae: PUSH1 0xff 000008b0: DUP3 000008b1: AND 000008b2: PUSH1 0x0e 000008b4: DUP2 000008b5: LT 000008b6: ISZERO 000008b7: PUSH2 0x0002 000008ba: JUMPI 000008bb: ADD 000008bc: PUSH1 0x00 000008be: POP 000008bf: SLOAD 000008c0: PUSH2 0x08d8 000008c3: PUSH1 0x09 000008c5: PUSH1 0xff 000008c7: DUP5 000008c8: AND 000008c9: PUSH1 0x0e 000008cb: DUP2 000008cc: LT 000008cd: ISZERO 000008ce: PUSH2 0x0002 000008d1: JUMPI 000008d2: ADD 000008d3: SLOAD 000008d4: PUSH2 0x0558 000008d7: JUMP 000008d8: JUMPDEST 000008d9: GT 000008da: ISZERO 000008db: PUSH2 0x08f2 000008de: JUMPI 000008df: PUSH1 0x09 000008e1: PUSH1 0xff 000008e3: DUP3 000008e4: AND 000008e5: PUSH1 0x0e 000008e7: DUP2 000008e8: LT 000008e9: ISZERO 000008ea: PUSH2 0x0002 000008ed: JUMPI 000008ee: ADD 000008ef: SLOAD 000008f0: SWAP2 000008f1: POP 000008f2: JUMPDEST 000008f3: PUSH1 0x01 000008f5: ADD 000008f6: PUSH2 0x05a3 000008f9: JUMP 000008fa: JUMPDEST 000008fb: PUSH1 0x00 000008fd: SWAP3 000008fe: POP 000008ff: PUSH1 0x00 00000901: SWAP2 00000902: POP 00000903: JUMPDEST 00000904: PUSH1 0x1f 00000906: SLOAD 00000907: DUP3 00000908: LT 00000909: ISZERO 0000090a: PUSH2 0x096c 0000090d: JUMPI 0000090e: PUSH1 0x1f 00000910: DUP1 00000911: SLOAD 00000912: PUSH1 0x08 00000914: SWAP2 00000915: PUSH1 0x00 00000917: SWAP2 00000918: DUP6 00000919: SWAP1 0000091a: DUP2 0000091b: LT 0000091c: ISZERO 0000091d: PUSH2 0x0002 00000920: JUMPI 00000921: POP 00000922: POP 00000923: PUSH32 0xa03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807 00000944: DUP5 00000945: ADD 00000946: SLOAD 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: PUSH1 0x02 0000094d: EXP 0000094e: SUB 0000094f: AND 00000950: DUP2 00000951: MSTORE 00000952: PUSH1 0x20 00000954: SWAP2 00000955: SWAP1 00000956: SWAP2 00000957: MSTORE 00000958: PUSH1 0x40 0000095a: SWAP1 0000095b: KECCAK256 0000095c: SLOAD 0000095d: SWAP1 0000095e: SWAP3 0000095f: ADD 00000960: SWAP2 00000961: PUSH1 0x01 00000963: SWAP2 00000964: SWAP1 00000965: SWAP2 00000966: ADD 00000967: SWAP1 00000968: PUSH2 0x0903 0000096b: JUMP 0000096c: JUMPDEST 0000096d: POP 0000096e: PUSH1 0x00 00000970: SWAP1 00000971: POP 00000972: ADDRESS 00000973: PUSH1 0x01 00000975: PUSH1 0xa0 00000977: PUSH1 0x02 00000979: EXP 0000097a: SUB 0000097b: AND 0000097c: BALANCE 0000097d: DUP3 0000097e: SWAP1 0000097f: SUB 00000980: JUMPDEST 00000981: PUSH1 0x03 00000983: DUP3 00000984: LT 00000985: ISZERO 00000986: PUSH2 0x09e4 00000989: JUMPI 0000098a: DUP4 0000098b: DUP3 0000098c: PUSH1 0x03 0000098e: DUP2 0000098f: LT 00000990: ISZERO 00000991: PUSH2 0x0002 00000994: JUMPI 00000995: PUSH1 0x20 00000997: MUL 00000998: ADD 00000999: MLOAD 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: PUSH1 0x02 000009a0: EXP 000009a1: SUB 000009a2: AND 000009a3: PUSH1 0x00 000009a5: PUSH2 0x2710 000009a8: DUP8 000009a9: DUP6 000009aa: PUSH1 0x03 000009ac: DUP2 000009ad: LT 000009ae: ISZERO 000009af: PUSH2 0x0002 000009b2: JUMPI 000009b3: SWAP1 000009b4: SWAP1 000009b5: PUSH1 0x20 000009b7: MUL 000009b8: ADD 000009b9: MLOAD 000009ba: PUSH2 0xffff 000009bd: AND 000009be: DUP5 000009bf: MUL 000009c0: DIV 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: DUP1 000009c5: SWAP1 000009c6: POP 000009c7: PUSH1 0x00 000009c9: PUSH1 0x40 000009cb: MLOAD 000009cc: DUP1 000009cd: DUP4 000009ce: SUB 000009cf: DUP2 000009d0: DUP6 000009d1: DUP9 000009d2: DUP9 000009d3: CALL 000009d4: POP 000009d5: POP 000009d6: POP 000009d7: POP 000009d8: POP 000009d9: PUSH1 0x01 000009db: SWAP2 000009dc: SWAP1 000009dd: SWAP2 000009de: ADD 000009df: SWAP1 000009e0: PUSH2 0x0980 000009e3: JUMP 000009e4: JUMPDEST 000009e5: POP 000009e6: POP 000009e7: POP 000009e8: POP 000009e9: POP 000009ea: JUMP 000009eb: JUMPDEST 000009ec: ISZERO 000009ed: ISZERO 000009ee: PUSH2 0x09f6 000009f1: JUMPI 000009f2: PUSH2 0x0002 000009f5: JUMP 000009f6: JUMPDEST 000009f7: DUP1 000009f8: ISZERO 000009f9: PUSH2 0x0a0e 000009fc: JUMPI 000009fd: PUSH2 0x0a20 00000a00: DUP3 00000a01: PUSH1 0x00 00000a03: PUSH1 0x00 00000a05: PUSH1 0x00 00000a07: PUSH2 0x0a55 00000a0a: PUSH2 0x059c 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH2 0x0a20 00000a12: DUP3 00000a13: PUSH1 0x00 00000a15: PUSH1 0x00 00000a17: PUSH1 0x00 00000a19: PUSH2 0x0c8f 00000a1c: PUSH2 0x059c 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: POP 00000a22: POP 00000a23: JUMP 00000a24: JUMPDEST 00000a25: PUSH1 0x03 00000a27: SLOAD 00000a28: TIMESTAMP 00000a29: GT 00000a2a: ISZERO 00000a2b: PUSH2 0x0a36 00000a2e: JUMPI 00000a2f: POP 00000a30: PUSH1 0x00 00000a32: PUSH2 0x031a 00000a35: JUMP 00000a36: JUMPDEST 00000a37: PUSH7 0x2386f26fc10000 00000a3f: CALLVALUE 00000a40: LT 00000a41: ISZERO 00000a42: PUSH2 0x0a4d 00000a45: JUMPI 00000a46: POP 00000a47: PUSH1 0x00 00000a49: PUSH2 0x031a 00000a4c: JUMP 00000a4d: JUMPDEST 00000a4e: POP 00000a4f: PUSH1 0x01 00000a51: PUSH2 0x031a 00000a54: JUMP 00000a55: JUMPDEST 00000a56: POP 00000a57: SWAP3 00000a58: POP 00000a59: CALLVALUE 00000a5a: SWAP2 00000a5b: POP 00000a5c: DUP3 00000a5d: CALLVALUE 00000a5e: GT 00000a5f: ISZERO 00000a60: PUSH2 0x0b29 00000a63: JUMPI 00000a64: PUSH1 0x40 00000a66: MLOAD 00000a67: DUP4 00000a68: SWAP3 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: PUSH1 0x02 00000a6f: EXP 00000a70: SUB 00000a71: DUP7 00000a72: AND 00000a73: SWAP2 00000a74: PUSH1 0x00 00000a76: SWAP2 00000a77: DUP6 00000a78: SWAP1 00000a79: SUB 00000a7a: SWAP1 00000a7b: DUP3 00000a7c: DUP2 00000a7d: DUP2 00000a7e: DUP2 00000a7f: DUP6 00000a80: DUP9 00000a81: DUP4 00000a82: CALL 00000a83: SWAP4 00000a84: POP 00000a85: POP 00000a86: POP 00000a87: POP 00000a88: ISZERO 00000a89: ISZERO 00000a8a: PUSH2 0x0b29 00000a8d: JUMPI 00000a8e: PUSH1 0x40 00000a90: DUP1 00000a91: MLOAD 00000a92: CALLVALUE 00000a93: DUP5 00000a94: SWAP1 00000a95: SUB 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x20 00000a9a: DUP2 00000a9b: ADD 00000a9c: DUP3 00000a9d: SWAP1 00000a9e: MSTORE 00000a9f: PUSH1 0x3a 00000aa1: DUP2 00000aa2: DUP4 00000aa3: ADD 00000aa4: MSTORE 00000aa5: PUSH32 0x436f756c646e277420726566756e642e20576861743f205765276c6c204a7573 00000ac6: PUSH1 0x60 00000ac8: DUP3 00000ac9: ADD 00000aca: MSTORE 00000acb: PUSH32 0x7420486f6c64206f6e20546f20746861742c207468616e6b732e000000000000 00000aec: PUSH1 0x80 00000aee: DUP3 00000aef: ADD 00000af0: MSTORE 00000af1: SWAP1 00000af2: MLOAD 00000af3: PUSH1 0x01 00000af5: PUSH1 0xa0 00000af7: PUSH1 0x02 00000af9: EXP 00000afa: SUB 00000afb: DUP7 00000afc: AND 00000afd: SWAP2 00000afe: PUSH32 0xfd73bd70d9e6a8bde14637188a03b988d799f901901f27e4271612240d8d22c9 00000b1f: SWAP2 00000b20: SWAP1 00000b21: DUP2 00000b22: SWAP1 00000b23: SUB 00000b24: PUSH1 0xa0 00000b26: ADD 00000b27: SWAP1 00000b28: LOG2 00000b29: JUMPDEST 00000b2a: PUSH2 0x0b32 00000b2d: DUP3 00000b2e: PUSH2 0x05e3 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x1d 00000b35: DUP1 00000b36: SLOAD 00000b37: PUSH1 0x01 00000b39: DUP2 00000b3a: ADD 00000b3b: DUP1 00000b3c: DUP4 00000b3d: SSTORE 00000b3e: SWAP3 00000b3f: SWAP4 00000b40: POP 00000b41: DUP3 00000b42: SWAP1 00000b43: DUP1 00000b44: ISZERO 00000b45: DUP3 00000b46: SWAP1 00000b47: GT 00000b48: PUSH2 0x0b91 00000b4b: JUMPI 00000b4c: PUSH1 0x03 00000b4e: MUL 00000b4f: DUP2 00000b50: PUSH1 0x03 00000b52: MUL 00000b53: DUP4 00000b54: PUSH1 0x00 00000b56: MSTORE 00000b57: PUSH1 0x20 00000b59: PUSH1 0x00 00000b5b: KECCAK256 00000b5c: SWAP2 00000b5d: DUP3 00000b5e: ADD 00000b5f: SWAP2 00000b60: ADD 00000b61: PUSH2 0x0b91 00000b64: SWAP2 00000b65: SWAP1 00000b66: JUMPDEST 00000b67: DUP1 00000b68: DUP3 00000b69: GT 00000b6a: ISZERO 00000b6b: PUSH2 0x0c8b 00000b6e: JUMPI 00000b6f: DUP1 00000b70: SLOAD 00000b71: PUSH1 0x01 00000b73: PUSH1 0xa0 00000b75: PUSH1 0x02 00000b77: EXP 00000b78: SUB 00000b79: NOT 00000b7a: AND 00000b7b: DUP2 00000b7c: SSTORE 00000b7d: PUSH1 0x00 00000b7f: PUSH1 0x01 00000b81: DUP3 00000b82: ADD 00000b83: DUP2 00000b84: DUP2 00000b85: SSTORE 00000b86: PUSH1 0x02 00000b88: SWAP3 00000b89: SWAP1 00000b8a: SWAP3 00000b8b: ADD 00000b8c: SSTORE 00000b8d: PUSH2 0x0b66 00000b90: JUMP 00000b91: JUMPDEST 00000b92: POP 00000b93: POP 00000b94: PUSH1 0x17 00000b96: SLOAD 00000b97: PUSH1 0x1d 00000b99: DUP1 00000b9a: SLOAD 00000b9b: DUP9 00000b9c: SWAP5 00000b9d: POP 00000b9e: SWAP1 00000b9f: SWAP3 00000ba0: POP 00000ba1: DUP2 00000ba2: LT 00000ba3: ISZERO 00000ba4: PUSH2 0x0002 00000ba7: JUMPI 00000ba8: PUSH1 0x00 00000baa: DUP3 00000bab: SWAP1 00000bac: MSTORE 00000bad: PUSH1 0x03 00000baf: MUL 00000bb0: PUSH1 0x00 00000bb2: DUP1 00000bb3: MLOAD 00000bb4: PUSH1 0x20 00000bb6: PUSH2 0x124a 00000bb9: DUP4 00000bba: CODECOPY 00000bbb: DUP2 00000bbc: MLOAD 00000bbd: SWAP2 00000bbe: MSTORE 00000bbf: ADD 00000bc0: DUP1 00000bc1: SLOAD 00000bc2: PUSH1 0x01 00000bc4: PUSH1 0xa0 00000bc6: PUSH1 0x02 00000bc8: EXP 00000bc9: SUB 00000bca: NOT 00000bcb: AND 00000bcc: SWAP1 00000bcd: SWAP3 00000bce: OR 00000bcf: SWAP1 00000bd0: SWAP2 00000bd1: SSTORE 00000bd2: PUSH1 0x17 00000bd4: SLOAD 00000bd5: DUP2 00000bd6: SLOAD 00000bd7: DUP5 00000bd8: SWAP3 00000bd9: SWAP2 00000bda: SWAP1 00000bdb: DUP2 00000bdc: LT 00000bdd: ISZERO 00000bde: PUSH2 0x0002 00000be1: JUMPI 00000be2: PUSH1 0x03 00000be4: MUL 00000be5: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc1461350 00000c06: ADD 00000c07: SWAP2 00000c08: SWAP1 00000c09: SWAP2 00000c0a: SSTORE 00000c0b: DUP1 00000c0c: SLOAD 00000c0d: PUSH1 0x17 00000c0f: SLOAD 00000c10: DUP4 00000c11: SWAP3 00000c12: SWAP2 00000c13: DUP2 00000c14: LT 00000c15: ISZERO 00000c16: PUSH2 0x0002 00000c19: JUMPI 00000c1a: PUSH1 0x03 00000c1c: MUL 00000c1d: PUSH1 0x00 00000c1f: DUP1 00000c20: MLOAD 00000c21: PUSH1 0x20 00000c23: PUSH2 0x120a 00000c26: DUP4 00000c27: CODECOPY 00000c28: DUP2 00000c29: MLOAD 00000c2a: SWAP2 00000c2b: MSTORE 00000c2c: ADD 00000c2d: SWAP2 00000c2e: SWAP1 00000c2f: SWAP2 00000c30: SSTORE 00000c31: POP 00000c32: PUSH1 0x17 00000c34: DUP1 00000c35: SLOAD 00000c36: PUSH1 0x01 00000c38: ADD 00000c39: SWAP1 00000c3a: SSTORE 00000c3b: PUSH1 0x1a 00000c3d: DUP1 00000c3e: SLOAD 00000c3f: DUP3 00000c40: ADD 00000c41: SWAP1 00000c42: SSTORE 00000c43: PUSH1 0x40 00000c45: DUP1 00000c46: MLOAD 00000c47: DUP4 00000c48: DUP2 00000c49: MSTORE 00000c4a: PUSH1 0x20 00000c4c: DUP2 00000c4d: ADD 00000c4e: DUP4 00000c4f: SWAP1 00000c50: MSTORE 00000c51: DUP2 00000c52: MLOAD 00000c53: PUSH1 0x01 00000c55: PUSH1 0xa0 00000c57: PUSH1 0x02 00000c59: EXP 00000c5a: SUB 00000c5b: DUP8 00000c5c: AND 00000c5d: SWAP3 00000c5e: PUSH32 0x4961aa333cb734a0b65925022360b310c9710a2ee34169a17c7d45a08a2f8e0a 00000c7f: SWAP3 00000c80: DUP3 00000c81: SWAP1 00000c82: SUB 00000c83: ADD 00000c84: SWAP1 00000c85: LOG2 00000c86: POP 00000c87: POP 00000c88: POP 00000c89: POP 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: POP 00000c8d: SWAP1 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: SWAP4 00000c91: POP 00000c92: POP 00000c93: CALLVALUE 00000c94: SWAP2 00000c95: POP 00000c96: DUP3 00000c97: CALLVALUE 00000c98: GT 00000c99: ISZERO 00000c9a: PUSH2 0x0d3d 00000c9d: JUMPI 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: DUP4 00000ca2: SWAP3 00000ca3: PUSH1 0x01 00000ca5: PUSH1 0xa0 00000ca7: PUSH1 0x02 00000ca9: EXP 00000caa: SUB 00000cab: DUP7 00000cac: AND 00000cad: SWAP2 00000cae: PUSH1 0x00 00000cb0: SWAP2 00000cb1: DUP6 00000cb2: SWAP1 00000cb3: SUB 00000cb4: SWAP1 00000cb5: DUP3 00000cb6: DUP2 00000cb7: DUP2 00000cb8: DUP2 00000cb9: DUP6 00000cba: DUP9 00000cbb: DUP4 00000cbc: CALL 00000cbd: SWAP4 00000cbe: POP 00000cbf: POP 00000cc0: POP 00000cc1: POP 00000cc2: ISZERO 00000cc3: ISZERO 00000cc4: PUSH2 0x0d3d 00000cc7: JUMPI 00000cc8: PUSH1 0x40 00000cca: DUP1 00000ccb: MLOAD 00000ccc: CALLVALUE 00000ccd: DUP5 00000cce: SWAP1 00000ccf: SUB 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x20 00000cd4: DUP2 00000cd5: ADD 00000cd6: DUP3 00000cd7: SWAP1 00000cd8: MSTORE 00000cd9: PUSH1 0x16 00000cdb: DUP2 00000cdc: DUP4 00000cdd: ADD 00000cde: MSTORE 00000cdf: PUSH32 0x436f756c646e277420726566756e642e20576861743f00000000000000000000 00000d00: PUSH1 0x60 00000d02: DUP3 00000d03: ADD 00000d04: MSTORE 00000d05: SWAP1 00000d06: MLOAD 00000d07: PUSH1 0x01 00000d09: PUSH1 0xa0 00000d0b: PUSH1 0x02 00000d0d: EXP 00000d0e: SUB 00000d0f: DUP7 00000d10: AND 00000d11: SWAP2 00000d12: PUSH32 0xfd73bd70d9e6a8bde14637188a03b988d799f901901f27e4271612240d8d22c9 00000d33: SWAP2 00000d34: SWAP1 00000d35: DUP2 00000d36: SWAP1 00000d37: SUB 00000d38: PUSH1 0x80 00000d3a: ADD 00000d3b: SWAP1 00000d3c: LOG2 00000d3d: JUMPDEST 00000d3e: PUSH2 0x0d46 00000d41: DUP3 00000d42: PUSH2 0x0558 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x1e 00000d49: DUP1 00000d4a: SLOAD 00000d4b: PUSH1 0x01 00000d4d: DUP2 00000d4e: ADD 00000d4f: DUP1 00000d50: DUP4 00000d51: SSTORE 00000d52: SWAP3 00000d53: SWAP4 00000d54: POP 00000d55: DUP3 00000d56: SWAP1 00000d57: DUP1 00000d58: ISZERO 00000d59: DUP3 00000d5a: SWAP1 00000d5b: GT 00000d5c: PUSH2 0x0d7e 00000d5f: JUMPI 00000d60: PUSH1 0x03 00000d62: MUL 00000d63: DUP2 00000d64: PUSH1 0x03 00000d66: MUL 00000d67: DUP4 00000d68: PUSH1 0x00 00000d6a: MSTORE 00000d6b: PUSH1 0x20 00000d6d: PUSH1 0x00 00000d6f: KECCAK256 00000d70: SWAP2 00000d71: DUP3 00000d72: ADD 00000d73: SWAP2 00000d74: ADD 00000d75: PUSH2 0x0d7e 00000d78: SWAP2 00000d79: SWAP1 00000d7a: PUSH2 0x0b66 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: POP 00000d80: POP 00000d81: PUSH1 0x18 00000d83: SLOAD 00000d84: PUSH1 0x1e 00000d86: DUP1 00000d87: SLOAD 00000d88: DUP9 00000d89: SWAP5 00000d8a: POP 00000d8b: SWAP1 00000d8c: SWAP3 00000d8d: POP 00000d8e: DUP2 00000d8f: LT 00000d90: ISZERO 00000d91: PUSH2 0x0002 00000d94: JUMPI 00000d95: PUSH1 0x00 00000d97: DUP3 00000d98: SWAP1 00000d99: MSTORE 00000d9a: PUSH1 0x03 00000d9c: MUL 00000d9d: PUSH1 0x00 00000d9f: DUP1 00000da0: MLOAD 00000da1: PUSH1 0x20 00000da3: PUSH2 0x126a 00000da6: DUP4 00000da7: CODECOPY 00000da8: DUP2 00000da9: MLOAD 00000daa: SWAP2 00000dab: MSTORE 00000dac: ADD 00000dad: DUP1 00000dae: SLOAD 00000daf: PUSH1 0x01 00000db1: PUSH1 0xa0 00000db3: PUSH1 0x02 00000db5: EXP 00000db6: SUB 00000db7: NOT 00000db8: AND 00000db9: SWAP1 00000dba: SWAP3 00000dbb: OR 00000dbc: SWAP1 00000dbd: SWAP2 00000dbe: SSTORE 00000dbf: PUSH1 0x18 00000dc1: SLOAD 00000dc2: DUP2 00000dc3: SLOAD 00000dc4: DUP5 00000dc5: SWAP3 00000dc6: SWAP2 00000dc7: SWAP1 00000dc8: DUP2 00000dc9: LT 00000dca: ISZERO 00000dcb: PUSH2 0x0002 00000dce: JUMPI 00000dcf: PUSH1 0x03 00000dd1: MUL 00000dd2: PUSH32 0x50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e351 00000df3: ADD 00000df4: SWAP2 00000df5: SWAP1 00000df6: SWAP2 00000df7: SSTORE 00000df8: DUP1 00000df9: SLOAD 00000dfa: PUSH1 0x18 00000dfc: SLOAD 00000dfd: DUP4 00000dfe: SWAP3 00000dff: SWAP2 00000e00: DUP2 00000e01: LT 00000e02: ISZERO 00000e03: PUSH2 0x0002 00000e06: JUMPI 00000e07: PUSH1 0x03 00000e09: MUL 00000e0a: PUSH1 0x00 00000e0c: DUP1 00000e0d: MLOAD 00000e0e: PUSH1 0x20 00000e10: PUSH2 0x122a 00000e13: DUP4 00000e14: CODECOPY 00000e15: DUP2 00000e16: MLOAD 00000e17: SWAP2 00000e18: MSTORE 00000e19: ADD 00000e1a: SWAP2 00000e1b: SWAP1 00000e1c: SWAP2 00000e1d: SSTORE 00000e1e: POP 00000e1f: PUSH1 0x18 00000e21: DUP1 00000e22: SLOAD 00000e23: PUSH1 0x01 00000e25: ADD 00000e26: SWAP1 00000e27: SSTORE 00000e28: PUSH1 0x19 00000e2a: DUP1 00000e2b: SLOAD 00000e2c: DUP3 00000e2d: ADD 00000e2e: SWAP1 00000e2f: SSTORE 00000e30: PUSH1 0x40 00000e32: DUP1 00000e33: MLOAD 00000e34: DUP4 00000e35: DUP2 00000e36: MSTORE 00000e37: PUSH1 0x20 00000e39: DUP2 00000e3a: ADD 00000e3b: DUP4 00000e3c: SWAP1 00000e3d: MSTORE 00000e3e: DUP2 00000e3f: MLOAD 00000e40: PUSH1 0x01 00000e42: PUSH1 0xa0 00000e44: PUSH1 0x02 00000e46: EXP 00000e47: SUB 00000e48: DUP8 00000e49: AND 00000e4a: SWAP3 00000e4b: PUSH32 0x7413e917afa73ba9e12ebb59a362b647cd70a5935ef431b9f5a5e076ccdcb700 00000e6c: SWAP3 00000e6d: DUP3 00000e6e: SWAP1 00000e6f: SUB 00000e70: ADD 00000e71: SWAP1 00000e72: LOG2 00000e73: POP 00000e74: POP 00000e75: POP 00000e76: POP 00000e77: JUMP 00000e78: JUMPDEST 00000e79: POP 00000e7a: PUSH1 0x00 00000e7c: JUMPDEST 00000e7d: PUSH1 0x17 00000e7f: SLOAD 00000e80: DUP2 00000e81: LT 00000e82: ISZERO 00000e83: PUSH2 0x0f58 00000e86: JUMPI 00000e87: PUSH1 0x00 00000e89: PUSH1 0x1d 00000e8b: PUSH1 0x00 00000e8d: POP 00000e8e: DUP3 00000e8f: DUP2 00000e90: SLOAD 00000e91: DUP2 00000e92: LT 00000e93: ISZERO 00000e94: PUSH2 0x0002 00000e97: JUMPI 00000e98: SWAP1 00000e99: DUP3 00000e9a: MSTORE 00000e9b: PUSH1 0x00 00000e9d: DUP1 00000e9e: MLOAD 00000e9f: PUSH1 0x20 00000ea1: PUSH2 0x120a 00000ea4: DUP4 00000ea5: CODECOPY 00000ea6: DUP2 00000ea7: MLOAD 00000ea8: SWAP2 00000ea9: MSTORE 00000eaa: PUSH1 0x03 00000eac: SWAP1 00000ead: SWAP2 00000eae: MUL 00000eaf: ADD 00000eb0: SLOAD 00000eb1: GT 00000eb2: ISZERO 00000eb3: PUSH2 0x104b 00000eb6: JUMPI 00000eb7: PUSH1 0x1d 00000eb9: DUP1 00000eba: SLOAD 00000ebb: PUSH1 0x08 00000ebd: SWAP2 00000ebe: PUSH1 0x00 00000ec0: SWAP2 00000ec1: DUP5 00000ec2: SWAP1 00000ec3: DUP2 00000ec4: LT 00000ec5: ISZERO 00000ec6: PUSH2 0x0002 00000ec9: JUMPI 00000eca: PUSH1 0x00 00000ecc: DUP1 00000ecd: MLOAD 00000ece: PUSH1 0x20 00000ed0: PUSH2 0x124a 00000ed3: DUP4 00000ed4: CODECOPY 00000ed5: DUP2 00000ed6: MLOAD 00000ed7: SWAP2 00000ed8: MSTORE 00000ed9: PUSH1 0x03 00000edb: SWAP1 00000edc: SWAP2 00000edd: MUL 00000ede: ADD 00000edf: SLOAD 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0xa0 00000ee4: PUSH1 0x02 00000ee6: EXP 00000ee7: SUB 00000ee8: AND 00000ee9: DUP3 00000eea: MSTORE 00000eeb: POP 00000eec: PUSH1 0x20 00000eee: SWAP2 00000eef: SWAP1 00000ef0: SWAP2 00000ef1: MSTORE 00000ef2: PUSH1 0x40 00000ef4: DUP2 00000ef5: KECCAK256 00000ef6: SLOAD 00000ef7: EQ 00000ef8: ISZERO 00000ef9: PUSH2 0x0fbb 00000efc: JUMPI 00000efd: PUSH1 0x1f 00000eff: DUP1 00000f00: SLOAD 00000f01: PUSH1 0x01 00000f03: DUP2 00000f04: ADD 00000f05: DUP1 00000f06: DUP4 00000f07: SSTORE 00000f08: DUP3 00000f09: DUP2 00000f0a: DUP4 00000f0b: DUP1 00000f0c: ISZERO 00000f0d: DUP3 00000f0e: SWAP1 00000f0f: GT 00000f10: PUSH2 0x0f68 00000f13: JUMPI 00000f14: PUSH1 0x00 00000f16: DUP4 00000f17: SWAP1 00000f18: MSTORE 00000f19: PUSH2 0x0f68 00000f1c: SWAP1 00000f1d: PUSH32 0xa03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807 00000f3e: SWAP1 00000f3f: DUP2 00000f40: ADD 00000f41: SWAP1 00000f42: DUP4 00000f43: ADD 00000f44: JUMPDEST 00000f45: DUP1 00000f46: DUP3 00000f47: GT 00000f48: ISZERO 00000f49: PUSH2 0x0c8b 00000f4c: JUMPI 00000f4d: PUSH1 0x00 00000f4f: DUP2 00000f50: SSTORE 00000f51: PUSH1 0x01 00000f53: ADD 00000f54: PUSH2 0x0f44 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH1 0x07 00000f5b: DUP1 00000f5c: SLOAD 00000f5d: PUSH1 0xff 00000f5f: NOT 00000f60: AND 00000f61: PUSH1 0x01 00000f63: OR 00000f64: SWAP1 00000f65: SSTORE 00000f66: POP 00000f67: JUMP 00000f68: JUMPDEST 00000f69: POP 00000f6a: POP 00000f6b: POP 00000f6c: SWAP2 00000f6d: SWAP1 00000f6e: SWAP1 00000f6f: PUSH1 0x00 00000f71: MSTORE 00000f72: PUSH1 0x20 00000f74: PUSH1 0x00 00000f76: KECCAK256 00000f77: SWAP1 00000f78: ADD 00000f79: PUSH1 0x00 00000f7b: PUSH1 0x1d 00000f7d: DUP1 00000f7e: SLOAD 00000f7f: DUP6 00000f80: SWAP1 00000f81: DUP2 00000f82: LT 00000f83: ISZERO 00000f84: PUSH2 0x0002 00000f87: JUMPI 00000f88: POP 00000f89: SWAP1 00000f8a: MSTORE 00000f8b: DUP1 00000f8c: SLOAD 00000f8d: PUSH1 0x00 00000f8f: DUP1 00000f90: MLOAD 00000f91: PUSH1 0x20 00000f93: PUSH2 0x124a 00000f96: DUP4 00000f97: CODECOPY 00000f98: DUP2 00000f99: MLOAD 00000f9a: SWAP2 00000f9b: MSTORE 00000f9c: PUSH1 0x03 00000f9e: DUP6 00000f9f: MUL 00000fa0: ADD 00000fa1: SLOAD 00000fa2: PUSH1 0x01 00000fa4: PUSH1 0xa0 00000fa6: PUSH1 0x02 00000fa8: EXP 00000fa9: SUB 00000faa: AND 00000fab: PUSH1 0x01 00000fad: PUSH1 0xa0 00000faf: PUSH1 0x02 00000fb1: EXP 00000fb2: SUB 00000fb3: NOT 00000fb4: SWAP1 00000fb5: SWAP2 00000fb6: AND 00000fb7: OR 00000fb8: SWAP1 00000fb9: SSTORE 00000fba: POP 00000fbb: JUMPDEST 00000fbc: PUSH1 0x1d 00000fbe: DUP1 00000fbf: SLOAD 00000fc0: DUP3 00000fc1: SWAP1 00000fc2: DUP2 00000fc3: LT 00000fc4: ISZERO 00000fc5: PUSH2 0x0002 00000fc8: JUMPI 00000fc9: POP 00000fca: PUSH1 0x00 00000fcc: DUP2 00000fcd: DUP2 00000fce: MSTORE 00000fcf: PUSH1 0x00 00000fd1: DUP1 00000fd2: MLOAD 00000fd3: PUSH1 0x20 00000fd5: PUSH2 0x120a 00000fd8: DUP4 00000fd9: CODECOPY 00000fda: DUP2 00000fdb: MLOAD 00000fdc: SWAP2 00000fdd: MSTORE 00000fde: PUSH1 0x03 00000fe0: DUP5 00000fe1: MUL 00000fe2: ADD 00000fe3: SLOAD 00000fe4: DUP3 00000fe5: SLOAD 00000fe6: SWAP1 00000fe7: SWAP3 00000fe8: PUSH1 0x08 00000fea: SWAP3 00000feb: SWAP2 00000fec: DUP6 00000fed: SWAP1 00000fee: DUP2 00000fef: LT 00000ff0: ISZERO 00000ff1: PUSH2 0x0002 00000ff4: JUMPI 00000ff5: POP 00000ff6: PUSH1 0x00 00000ff8: DUP1 00000ff9: MLOAD 00000ffa: PUSH1 0x20 00000ffc: PUSH2 0x124a 00000fff: DUP4 00001000: CODECOPY 00001001: DUP2 00001002: MLOAD 00001003: SWAP2 00001004: MSTORE 00001005: PUSH1 0x03 00001007: DUP7 00001008: MUL 00001009: ADD 0000100a: SLOAD 0000100b: PUSH1 0x01 0000100d: PUSH1 0xa0 0000100f: PUSH1 0x02 00001011: EXP 00001012: SUB 00001013: AND 00001014: DUP3 00001015: MSTORE 00001016: PUSH1 0x20 00001018: SWAP3 00001019: SWAP1 0000101a: SWAP3 0000101b: MSTORE 0000101c: PUSH1 0x40 0000101e: DUP2 0000101f: KECCAK256 00001020: DUP1 00001021: SLOAD 00001022: SWAP1 00001023: SWAP4 00001024: ADD 00001025: SWAP1 00001026: SWAP3 00001027: SSTORE 00001028: DUP1 00001029: SLOAD 0000102a: DUP4 0000102b: SWAP1 0000102c: DUP2 0000102d: LT 0000102e: ISZERO 0000102f: PUSH2 0x0002 00001032: JUMPI 00001033: POP 00001034: DUP2 00001035: MSTORE 00001036: PUSH1 0x00 00001038: DUP1 00001039: MLOAD 0000103a: PUSH1 0x20 0000103c: PUSH2 0x120a 0000103f: DUP4 00001040: CODECOPY 00001041: DUP2 00001042: MLOAD 00001043: SWAP2 00001044: MSTORE 00001045: PUSH1 0x03 00001047: DUP4 00001048: MUL 00001049: ADD 0000104a: SSTORE 0000104b: JUMPDEST 0000104c: PUSH1 0x01 0000104e: ADD 0000104f: PUSH2 0x0e7c 00001052: JUMP 00001053: JUMPDEST 00001054: POP 00001055: PUSH1 0x00 00001057: JUMPDEST 00001058: PUSH1 0x18 0000105a: SLOAD 0000105b: DUP2 0000105c: LT 0000105d: ISZERO 0000105e: PUSH2 0x0f58 00001061: JUMPI 00001062: PUSH1 0x00 00001064: PUSH1 0x1e 00001066: PUSH1 0x00 00001068: POP 00001069: DUP3 0000106a: DUP2 0000106b: SLOAD 0000106c: DUP2 0000106d: LT 0000106e: ISZERO 0000106f: PUSH2 0x0002 00001072: JUMPI 00001073: SWAP1 00001074: DUP3 00001075: MSTORE 00001076: PUSH1 0x03 00001078: MUL 00001079: PUSH1 0x00 0000107b: DUP1 0000107c: MLOAD 0000107d: PUSH1 0x20 0000107f: PUSH2 0x122a 00001082: DUP4 00001083: CODECOPY 00001084: DUP2 00001085: MLOAD 00001086: SWAP2 00001087: MSTORE 00001088: ADD 00001089: SLOAD 0000108a: GT 0000108b: ISZERO 0000108c: PUSH2 0x1202 0000108f: JUMPI 00001090: PUSH1 0x1e 00001092: DUP1 00001093: SLOAD 00001094: PUSH1 0x08 00001096: SWAP2 00001097: PUSH1 0x00 00001099: SWAP2 0000109a: DUP5 0000109b: SWAP1 0000109c: DUP2 0000109d: LT 0000109e: ISZERO 0000109f: PUSH2 0x0002 000010a2: JUMPI 000010a3: PUSH1 0x03 000010a5: MUL 000010a6: PUSH1 0x00 000010a8: DUP1 000010a9: MLOAD 000010aa: PUSH1 0x20 000010ac: PUSH2 0x126a 000010af: DUP4 000010b0: CODECOPY 000010b1: DUP2 000010b2: MLOAD 000010b3: SWAP2 000010b4: MSTORE 000010b5: ADD 000010b6: SLOAD 000010b7: PUSH1 0x01 000010b9: PUSH1 0xa0 000010bb: PUSH1 0x02 000010bd: EXP 000010be: SUB 000010bf: AND 000010c0: DUP3 000010c1: MSTORE 000010c2: POP 000010c3: PUSH1 0x20 000010c5: SWAP2 000010c6: SWAP1 000010c7: SWAP2 000010c8: MSTORE 000010c9: PUSH1 0x40 000010cb: DUP2 000010cc: KECCAK256 000010cd: SLOAD 000010ce: EQ 000010cf: ISZERO 000010d0: PUSH2 0x1172 000010d3: JUMPI 000010d4: PUSH1 0x1f 000010d6: DUP1 000010d7: SLOAD 000010d8: PUSH1 0x01 000010da: DUP2 000010db: ADD 000010dc: DUP1 000010dd: DUP4 000010de: SSTORE 000010df: DUP3 000010e0: DUP2 000010e1: DUP4 000010e2: DUP1 000010e3: ISZERO 000010e4: DUP3 000010e5: SWAP1 000010e6: GT 000010e7: PUSH2 0x111f 000010ea: JUMPI 000010eb: PUSH1 0x00 000010ed: DUP4 000010ee: SWAP1 000010ef: MSTORE 000010f0: PUSH2 0x111f 000010f3: SWAP1 000010f4: PUSH32 0xa03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807 00001115: SWAP1 00001116: DUP2 00001117: ADD 00001118: SWAP1 00001119: DUP4 0000111a: ADD 0000111b: PUSH2 0x0f44 0000111e: JUMP 0000111f: JUMPDEST 00001120: POP 00001121: POP 00001122: POP 00001123: SWAP2 00001124: SWAP1 00001125: SWAP1 00001126: PUSH1 0x00 00001128: MSTORE 00001129: PUSH1 0x20 0000112b: PUSH1 0x00 0000112d: KECCAK256 0000112e: SWAP1 0000112f: ADD 00001130: PUSH1 0x00 00001132: PUSH1 0x1e 00001134: DUP1 00001135: SLOAD 00001136: DUP6 00001137: SWAP1 00001138: DUP2 00001139: LT 0000113a: ISZERO 0000113b: PUSH2 0x0002 0000113e: JUMPI 0000113f: POP 00001140: SWAP1 00001141: MSTORE 00001142: PUSH1 0x00 00001144: DUP1 00001145: MLOAD 00001146: PUSH1 0x20 00001148: PUSH2 0x126a 0000114b: DUP4 0000114c: CODECOPY 0000114d: DUP2 0000114e: MLOAD 0000114f: SWAP2 00001150: MSTORE 00001151: PUSH1 0x03 00001153: DUP5 00001154: MUL 00001155: ADD 00001156: SLOAD 00001157: DUP2 00001158: SLOAD 00001159: PUSH1 0x01 0000115b: PUSH1 0xa0 0000115d: PUSH1 0x02 0000115f: EXP 00001160: SUB 00001161: NOT 00001162: AND 00001163: PUSH1 0x01 00001165: PUSH1 0xa0 00001167: PUSH1 0x02 00001169: EXP 0000116a: SUB 0000116b: SWAP1 0000116c: SWAP2 0000116d: AND 0000116e: OR 0000116f: SWAP1 00001170: SSTORE 00001171: POP 00001172: JUMPDEST 00001173: PUSH1 0x1e 00001175: DUP1 00001176: SLOAD 00001177: DUP3 00001178: SWAP1 00001179: DUP2 0000117a: LT 0000117b: ISZERO 0000117c: PUSH2 0x0002 0000117f: JUMPI 00001180: POP 00001181: PUSH1 0x00 00001183: DUP2 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x00 00001188: DUP1 00001189: MLOAD 0000118a: PUSH1 0x20 0000118c: PUSH2 0x122a 0000118f: DUP4 00001190: CODECOPY 00001191: DUP2 00001192: MLOAD 00001193: SWAP2 00001194: MSTORE 00001195: PUSH1 0x03 00001197: DUP5 00001198: MUL 00001199: ADD 0000119a: SLOAD 0000119b: DUP3 0000119c: SLOAD 0000119d: SWAP1 0000119e: SWAP3 0000119f: PUSH1 0x08 000011a1: SWAP3 000011a2: SWAP2 000011a3: DUP6 000011a4: SWAP1 000011a5: DUP2 000011a6: LT 000011a7: ISZERO 000011a8: PUSH2 0x0002 000011ab: JUMPI 000011ac: POP 000011ad: PUSH1 0x00 000011af: DUP1 000011b0: MLOAD 000011b1: PUSH1 0x20 000011b3: PUSH2 0x126a 000011b6: DUP4 000011b7: CODECOPY 000011b8: DUP2 000011b9: MLOAD 000011ba: SWAP2 000011bb: MSTORE 000011bc: PUSH1 0x03 000011be: DUP7 000011bf: MUL 000011c0: ADD 000011c1: SLOAD 000011c2: PUSH1 0x01 000011c4: PUSH1 0xa0 000011c6: PUSH1 0x02 000011c8: EXP 000011c9: SUB 000011ca: AND 000011cb: DUP3 000011cc: MSTORE 000011cd: PUSH1 0x20 000011cf: SWAP3 000011d0: SWAP1 000011d1: SWAP3 000011d2: MSTORE 000011d3: PUSH1 0x40 000011d5: DUP2 000011d6: KECCAK256 000011d7: DUP1 000011d8: SLOAD 000011d9: SWAP1 000011da: SWAP4 000011db: ADD 000011dc: SWAP1 000011dd: SWAP3 000011de: SSTORE 000011df: DUP1 000011e0: SLOAD 000011e1: DUP4 000011e2: SWAP1 000011e3: DUP2 000011e4: LT 000011e5: ISZERO 000011e6: PUSH2 0x0002 000011e9: JUMPI 000011ea: POP 000011eb: DUP2 000011ec: MSTORE 000011ed: PUSH1 0x00 000011ef: DUP1 000011f0: MLOAD 000011f1: PUSH1 0x20 000011f3: PUSH2 0x122a 000011f6: DUP4 000011f7: CODECOPY 000011f8: DUP2 000011f9: MLOAD 000011fa: SWAP2 000011fb: MSTORE 000011fc: PUSH1 0x03 000011fe: DUP4 000011ff: MUL 00001200: ADD 00001201: SSTORE 00001202: JUMPDEST 00001203: PUSH1 0x01 00001205: ADD 00001206: PUSH2 0x1057 00001209: JUMP 0000120a: PUSH14 0x4407e7be21f808e6509aa9fa9143 00001219: CALLDATASIZE 0000121a: SWAP6 0000121b: PUSH26 0xdd7d760fe20a2c09680fc146135150bb669a95c7b50b7e8a6f09 00001236: GASLIMIT 00001237: BLOCKHASH 00001238: CALLVALUE 00001239: UNKNOWN(0xB2) 0000123a: UNKNOWN(0xB1) 0000123b: UNKNOWN(0x4C) 0000123c: CALLCODE 0000123d: UNKNOWN(0xB8) 0000123e: TLOAD 0000123f: PUSH20 0x0dca9a539ca82cb6e3526d4407e7be21f808e650 00001254: SWAP11 00001255: UNKNOWN(0xA9) 00001256: STATICCALL 00001257: SWAP2 00001258: NUMBER 00001259: CALLDATASIZE 0000125a: SWAP6 0000125b: PUSH26 0xdd7d760fe20a2c09680fc146134f50bb669a95c7b50b7e8a6f09 00001276: GASLIMIT 00001277: BLOCKHASH 00001278: CALLVALUE 00001279: UNKNOWN(0xB2) 0000127a: UNKNOWN(0xB1) 0000127b: UNKNOWN(0x4C) 0000127c: CALLCODE 0000127d: UNKNOWN(0xB8) 0000127e: TLOAD 0000127f: PUSH20
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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd841697fc39c8cc8a0cd143b11218c980491039d3482c3f1ed85bcf6b3e4728a
call_targets:
0xce56a7884751b86ecd31ba9ff505839701f7eec6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd841697fc39c8cc8a0cd143b11218c980491039d3482c3f1ed85bcf6b3e4728a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xce56a7884751b86ecd31ba9ff505839701f7eec6"
],
"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": "0x082636b4",
"selector": "0x082636b4",
"calldata_variants": [
"0x082636b4",
"0x082636b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13dce938",
"selector": "0x13dce938",
"calldata_variants": [
"0x13dce938",
"0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14f47de4",
"selector": "0x14f47de4",
"calldata_variants": [
"0x14f47de4",
"0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d8f310a",
"selector": "0x1d8f310a",
"calldata_variants": [
"0x1d8f310a",
"0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e76aa06",
"selector": "0x3e76aa06",
"calldata_variants": [
"0x3e76aa06",
"0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43cce08e",
"selector": "0x43cce08e",
"calldata_variants": [
"0x43cce08e",
"0x43cce08e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1886,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2515,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd841697fc39c8cc8a0cd143b11218c980491039d3482c3f1ed85bcf6b3e4728a
call_targets:
0xce56a7884751b86ecd31ba9ff505839701f7eec6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd841697fc39c8cc8a0cd143b11218c980491039d3482c3f1ed85bcf6b3e4728a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xce56a7884751b86ecd31ba9ff505839701f7eec6"
],
"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": "0x082636b4",
"selector": "0x082636b4",
"calldata_variants": [
"0x082636b4",
"0x082636b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13dce938",
"selector": "0x13dce938",
"calldata_variants": [
"0x13dce938",
"0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14f47de4",
"selector": "0x14f47de4",
"calldata_variants": [
"0x14f47de4",
"0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d8f310a",
"selector": "0x1d8f310a",
"calldata_variants": [
"0x1d8f310a",
"0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e76aa06",
"selector": "0x3e76aa06",
"calldata_variants": [
"0x3e76aa06",
"0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43cce08e",
"selector": "0x43cce08e",
"calldata_variants": [
"0x43cce08e",
"0x43cce08e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1886,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2515,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|