019b477e-d210-734c-bd87-b4db11ece555
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 |
|---|---|---|---|---|
| 27877 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27878 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103361 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103362 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103363 | detector.run | complete | 1 / 3 | 1 week ago |
| 103364 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0113 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x7d1db4a5 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa9059cbb 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa9059cbb 0000002e: EQ 0000002f: PUSH2 0x02f6 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf474bed 00000039: EQ 0000003a: PUSH2 0x0315 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc876d0b9 00000044: EQ 00000045: PUSH2 0x032a 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc9567bf9 0000004f: EQ 00000050: PUSH2 0x0343 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x0357 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x7d1db4a5 00000069: EQ 0000006a: PUSH2 0x0266 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x8da5cb5b 00000074: EQ 00000075: PUSH2 0x027b 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x8f9a55c0 0000007f: EQ 00000080: PUSH2 0x02a1 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x95d89b41 0000008a: EQ 0000008b: PUSH2 0x02b6 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xa1780c18 00000095: EQ 00000096: PUSH2 0x02e2 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x23b872dd 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x23b872dd 000000af: EQ 000000b0: PUSH2 0x01ce 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: EQ 000000bb: PUSH2 0x01ed 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x70a08231 000000c5: EQ 000000c6: PUSH2 0x0208 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x715018a6 000000d0: EQ 000000d1: PUSH2 0x023c 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x751039fc 000000db: EQ 000000dc: PUSH2 0x0252 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x06fdde03 000000ea: EQ 000000eb: PUSH2 0x011e 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x095ea7b3 000000f5: EQ 000000f6: PUSH2 0x0168 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x0faee56f 00000100: EQ 00000101: PUSH2 0x0197 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x18160ddd 0000010b: EQ 0000010c: PUSH2 0x01ba 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: CALLDATASIZE 00000115: PUSH2 0x011a 00000118: JUMPI 00000119: STOP 0000011a: JUMPDEST 0000011b: PUSH0 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x0129 00000125: JUMPI 00000126: PUSH0 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH1 0x40 0000012d: DUP1 0000012e: MLOAD 0000012f: DUP1 00000130: DUP3 00000131: ADD 00000132: SWAP1 00000133: SWAP2 00000134: MSTORE 00000135: PUSH1 0x10 00000137: DUP2 00000138: MSTORE 00000139: PUSH16 0x426974636f696e20496e66696e697479 0000014a: PUSH1 0x80 0000014c: SHL 0000014d: PUSH1 0x20 0000014f: DUP3 00000150: ADD 00000151: MSTORE 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: PUSH2 0x015f 00000159: SWAP2 0000015a: SWAP1 0000015b: PUSH2 0x1465 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH1 0x40 00000162: MLOAD 00000163: DUP1 00000164: SWAP2 00000165: SUB 00000166: SWAP1 00000167: RETURN 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0173 0000016f: JUMPI 00000170: PUSH0 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x0187 00000178: PUSH2 0x0182 0000017b: CALLDATASIZE 0000017c: PUSH1 0x04 0000017e: PUSH2 0x14c7 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x039b 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: SWAP1 0000018c: ISZERO 0000018d: ISZERO 0000018e: DUP2 0000018f: MSTORE 00000190: PUSH1 0x20 00000192: ADD 00000193: PUSH2 0x015f 00000196: JUMP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a2 0000019e: JUMPI 0000019f: PUSH0 000001a0: DUP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: POP 000001a4: PUSH2 0x01ac 000001a7: PUSH1 0x14 000001a9: SLOAD 000001aa: DUP2 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: SWAP1 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: ADD 000001b6: PUSH2 0x015f 000001b9: JUMP 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: DUP1 000001bd: ISZERO 000001be: PUSH2 0x01c5 000001c1: JUMPI 000001c2: PUSH0 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x01ac 000001ca: PUSH2 0x03b1 000001cd: JUMP 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01d9 000001d5: JUMPI 000001d6: PUSH0 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x0187 000001de: PUSH2 0x01e8 000001e1: CALLDATASIZE 000001e2: PUSH1 0x04 000001e4: PUSH2 0x14f1 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH2 0x03d1 000001ec: JUMP 000001ed: JUMPDEST 000001ee: CALLVALUE 000001ef: DUP1 000001f0: ISZERO 000001f1: PUSH2 0x01f8 000001f4: JUMPI 000001f5: PUSH0 000001f6: DUP1 000001f7: REVERT 000001f8: JUMPDEST 000001f9: POP 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: PUSH1 0x09 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x20 00000203: ADD 00000204: PUSH2 0x015f 00000207: JUMP 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0213 0000020f: JUMPI 00000210: PUSH0 00000211: DUP1 00000212: REVERT 00000213: JUMPDEST 00000214: POP 00000215: PUSH2 0x01ac 00000218: PUSH2 0x0222 0000021b: CALLDATASIZE 0000021c: PUSH1 0x04 0000021e: PUSH2 0x152f 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH1 0x01 00000225: PUSH1 0x01 00000227: PUSH1 0xa0 00000229: SHL 0000022a: SUB 0000022b: AND 0000022c: PUSH0 0000022d: SWAP1 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x01 00000232: PUSH1 0x20 00000234: MSTORE 00000235: PUSH1 0x40 00000237: SWAP1 00000238: KECCAK256 00000239: SLOAD 0000023a: SWAP1 0000023b: JUMP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0247 00000243: JUMPI 00000244: PUSH0 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0250 0000024c: PUSH2 0x0438 0000024f: JUMP 00000250: JUMPDEST 00000251: STOP 00000252: JUMPDEST 00000253: CALLVALUE 00000254: DUP1 00000255: ISZERO 00000256: PUSH2 0x025d 00000259: JUMPI 0000025a: PUSH0 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH2 0x0250 00000262: PUSH2 0x04b2 00000265: JUMP 00000266: JUMPDEST 00000267: CALLVALUE 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0271 0000026d: JUMPI 0000026e: PUSH0 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x01ac 00000276: PUSH1 0x11 00000278: SLOAD 00000279: DUP2 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0286 00000282: JUMPI 00000283: PUSH0 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH0 00000289: SLOAD 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: PUSH1 0x01 0000028f: PUSH1 0x01 00000291: PUSH1 0xa0 00000293: SHL 00000294: SUB 00000295: SWAP1 00000296: SWAP2 00000297: AND 00000298: DUP2 00000299: MSTORE 0000029a: PUSH1 0x20 0000029c: ADD 0000029d: PUSH2 0x015f 000002a0: JUMP 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: DUP1 000002a4: ISZERO 000002a5: PUSH2 0x02ac 000002a8: JUMPI 000002a9: PUSH0 000002aa: DUP1 000002ab: REVERT 000002ac: JUMPDEST 000002ad: POP 000002ae: PUSH2 0x01ac 000002b1: PUSH1 0x12 000002b3: SLOAD 000002b4: DUP2 000002b5: JUMP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x02c1 000002bd: JUMPI 000002be: PUSH0 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: POP 000002c3: PUSH1 0x40 000002c5: DUP1 000002c6: MLOAD 000002c7: DUP1 000002c8: DUP3 000002c9: ADD 000002ca: SWAP1 000002cb: SWAP2 000002cc: MSTORE 000002cd: PUSH1 0x04 000002cf: DUP2 000002d0: MSTORE 000002d1: PUSH4 0x084a8867 000002d6: PUSH1 0xe3 000002d8: SHL 000002d9: PUSH1 0x20 000002db: DUP3 000002dc: ADD 000002dd: MSTORE 000002de: PUSH2 0x0152 000002e1: JUMP 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: DUP1 000002e5: ISZERO 000002e6: PUSH2 0x02ed 000002e9: JUMPI 000002ea: PUSH0 000002eb: DUP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: POP 000002ef: PUSH2 0x0250 000002f2: PUSH2 0x056d 000002f5: JUMP 000002f6: JUMPDEST 000002f7: CALLVALUE 000002f8: DUP1 000002f9: ISZERO 000002fa: PUSH2 0x0301 000002fd: JUMPI 000002fe: PUSH0 000002ff: DUP1 00000300: REVERT 00000301: JUMPDEST 00000302: POP 00000303: PUSH2 0x0187 00000306: PUSH2 0x0310 00000309: CALLDATASIZE 0000030a: PUSH1 0x04 0000030c: PUSH2 0x14c7 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH2 0x05c3 00000314: JUMP 00000315: JUMPDEST 00000316: CALLVALUE 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0320 0000031c: JUMPI 0000031d: PUSH0 0000031e: DUP1 0000031f: REVERT 00000320: JUMPDEST 00000321: POP 00000322: PUSH2 0x01ac 00000325: PUSH1 0x13 00000327: SLOAD 00000328: DUP2 00000329: JUMP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0335 00000331: JUMPI 00000332: PUSH0 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: POP 00000337: PUSH1 0x05 00000339: SLOAD 0000033a: PUSH2 0x0187 0000033d: SWAP1 0000033e: PUSH1 0xff 00000340: AND 00000341: DUP2 00000342: JUMP 00000343: JUMPDEST 00000344: CALLVALUE 00000345: DUP1 00000346: ISZERO 00000347: PUSH2 0x034e 0000034a: JUMPI 0000034b: PUSH0 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: POP 00000350: PUSH2 0x0250 00000353: PUSH2 0x05cf 00000356: JUMP 00000357: JUMPDEST 00000358: CALLVALUE 00000359: DUP1 0000035a: ISZERO 0000035b: PUSH2 0x0362 0000035e: JUMPI 0000035f: PUSH0 00000360: DUP1 00000361: REVERT 00000362: JUMPDEST 00000363: POP 00000364: PUSH2 0x01ac 00000367: PUSH2 0x0371 0000036a: CALLDATASIZE 0000036b: PUSH1 0x04 0000036d: PUSH2 0x154a 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x01 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: SHL 00000379: SUB 0000037a: SWAP2 0000037b: DUP3 0000037c: AND 0000037d: PUSH0 0000037e: SWAP1 0000037f: DUP2 00000380: MSTORE 00000381: PUSH1 0x02 00000383: PUSH1 0x20 00000385: SWAP1 00000386: DUP2 00000387: MSTORE 00000388: PUSH1 0x40 0000038a: DUP1 0000038b: DUP4 0000038c: KECCAK256 0000038d: SWAP4 0000038e: SWAP1 0000038f: SWAP5 00000390: AND 00000391: DUP3 00000392: MSTORE 00000393: SWAP2 00000394: SWAP1 00000395: SWAP2 00000396: MSTORE 00000397: KECCAK256 00000398: SLOAD 00000399: SWAP1 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH0 0000039d: PUSH2 0x03a7 000003a0: CALLER 000003a1: DUP5 000003a2: DUP5 000003a3: PUSH2 0x0978 000003a6: JUMP 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH1 0x01 000003ab: JUMPDEST 000003ac: SWAP3 000003ad: SWAP2 000003ae: POP 000003af: POP 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH0 000003b3: PUSH2 0x03be 000003b6: PUSH1 0x09 000003b8: PUSH1 0x0a 000003ba: PUSH2 0x1675 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH2 0x03cc 000003c2: SWAP1 000003c3: PUSH4 0x3b9aca00 000003c8: PUSH2 0x1683 000003cb: JUMP 000003cc: JUMPDEST 000003cd: SWAP1 000003ce: POP 000003cf: SWAP1 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH0 000003d3: PUSH2 0x03dd 000003d6: DUP5 000003d7: DUP5 000003d8: DUP5 000003d9: PUSH2 0x0a9b 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x042e 000003e1: DUP5 000003e2: CALLER 000003e3: PUSH2 0x0429 000003e6: DUP6 000003e7: PUSH1 0x40 000003e9: MLOAD 000003ea: DUP1 000003eb: PUSH1 0x60 000003ed: ADD 000003ee: PUSH1 0x40 000003f0: MSTORE 000003f1: DUP1 000003f2: PUSH1 0x28 000003f4: DUP2 000003f5: MSTORE 000003f6: PUSH1 0x20 000003f8: ADD 000003f9: PUSH2 0x1815 000003fc: PUSH1 0x28 000003fe: SWAP2 000003ff: CODECOPY 00000400: PUSH1 0x01 00000402: PUSH1 0x01 00000404: PUSH1 0xa0 00000406: SHL 00000407: SUB 00000408: DUP11 00000409: AND 0000040a: PUSH0 0000040b: SWAP1 0000040c: DUP2 0000040d: MSTORE 0000040e: PUSH1 0x02 00000410: PUSH1 0x20 00000412: SWAP1 00000413: DUP2 00000414: MSTORE 00000415: PUSH1 0x40 00000417: DUP1 00000418: DUP4 00000419: KECCAK256 0000041a: CALLER 0000041b: DUP5 0000041c: MSTORE 0000041d: SWAP1 0000041e: SWAP2 0000041f: MSTORE 00000420: SWAP1 00000421: KECCAK256 00000422: SLOAD 00000423: SWAP2 00000424: SWAP1 00000425: PUSH2 0x106a 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH2 0x0978 0000042d: JUMP 0000042e: JUMPDEST 0000042f: POP 00000430: PUSH1 0x01 00000432: SWAP4 00000433: SWAP3 00000434: POP 00000435: POP 00000436: POP 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH0 0000043a: SLOAD 0000043b: PUSH1 0x01 0000043d: PUSH1 0x01 0000043f: PUSH1 0xa0 00000441: SHL 00000442: SUB 00000443: AND 00000444: CALLER 00000445: EQ 00000446: PUSH2 0x046a 00000449: JUMPI 0000044a: PUSH1 0x40 0000044c: MLOAD 0000044d: PUSH3 0x461bcd 00000451: PUSH1 0xe5 00000453: SHL 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x04 00000458: ADD 00000459: PUSH2 0x0461 0000045c: SWAP1 0000045d: PUSH2 0x169a 00000460: JUMP 00000461: JUMPDEST 00000462: PUSH1 0x40 00000464: MLOAD 00000465: DUP1 00000466: SWAP2 00000467: SUB 00000468: SWAP1 00000469: REVERT 0000046a: JUMPDEST 0000046b: PUSH0 0000046c: DUP1 0000046d: SLOAD 0000046e: PUSH1 0x40 00000470: MLOAD 00000471: PUSH1 0x01 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: SHL 00000478: SUB 00000479: SWAP1 0000047a: SWAP2 0000047b: AND 0000047c: SWAP1 0000047d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000049e: SWAP1 0000049f: DUP4 000004a0: SWAP1 000004a1: LOG3 000004a2: PUSH0 000004a3: DUP1 000004a4: SLOAD 000004a5: PUSH1 0x01 000004a7: PUSH1 0x01 000004a9: PUSH1 0xa0 000004ab: SHL 000004ac: SUB 000004ad: NOT 000004ae: AND 000004af: SWAP1 000004b0: SSTORE 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH0 000004b4: SLOAD 000004b5: PUSH1 0x01 000004b7: PUSH1 0x01 000004b9: PUSH1 0xa0 000004bb: SHL 000004bc: SUB 000004bd: AND 000004be: CALLER 000004bf: EQ 000004c0: PUSH2 0x04db 000004c3: JUMPI 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: PUSH3 0x461bcd 000004cb: PUSH1 0xe5 000004cd: SHL 000004ce: DUP2 000004cf: MSTORE 000004d0: PUSH1 0x04 000004d2: ADD 000004d3: PUSH2 0x0461 000004d6: SWAP1 000004d7: PUSH2 0x169a 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH2 0x04e7 000004df: PUSH1 0x09 000004e1: PUSH1 0x0a 000004e3: PUSH2 0x1675 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH2 0x04f5 000004eb: SWAP1 000004ec: PUSH4 0x3b9aca00 000004f1: PUSH2 0x1683 000004f4: JUMP 000004f5: JUMPDEST 000004f6: PUSH1 0x11 000004f8: SSTORE 000004f9: PUSH2 0x0504 000004fc: PUSH1 0x09 000004fe: PUSH1 0x0a 00000500: PUSH2 0x1675 00000503: JUMP 00000504: JUMPDEST 00000505: PUSH2 0x0512 00000508: SWAP1 00000509: PUSH4 0x3b9aca00 0000050e: PUSH2 0x1683 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x12 00000515: SSTORE 00000516: PUSH1 0x05 00000518: DUP1 00000519: SLOAD 0000051a: PUSH1 0xff 0000051c: NOT 0000051d: AND 0000051e: SWAP1 0000051f: SSTORE 00000520: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 00000541: PUSH2 0x054c 00000544: PUSH1 0x09 00000546: PUSH1 0x0a 00000548: PUSH2 0x1675 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH2 0x055a 00000550: SWAP1 00000551: PUSH4 0x3b9aca00 00000556: PUSH2 0x1683 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH1 0x40 0000055d: MLOAD 0000055e: SWAP1 0000055f: DUP2 00000560: MSTORE 00000561: PUSH1 0x20 00000563: ADD 00000564: PUSH1 0x40 00000566: MLOAD 00000567: DUP1 00000568: SWAP2 00000569: SUB 0000056a: SWAP1 0000056b: LOG1 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH1 0x05 00000570: SLOAD 00000571: PUSH2 0x0100 00000574: SWAP1 00000575: DIV 00000576: PUSH1 0x01 00000578: PUSH1 0x01 0000057a: PUSH1 0xa0 0000057c: SHL 0000057d: SUB 0000057e: AND 0000057f: CALLER 00000580: PUSH1 0x01 00000582: PUSH1 0x01 00000584: PUSH1 0xa0 00000586: SHL 00000587: SUB 00000588: AND 00000589: EQ 0000058a: PUSH2 0x0591 0000058d: JUMPI 0000058e: PUSH0 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: ADDRESS 00000593: PUSH0 00000594: SWAP1 00000595: DUP2 00000596: MSTORE 00000597: PUSH1 0x01 00000599: PUSH1 0x20 0000059b: MSTORE 0000059c: PUSH1 0x40 0000059e: SWAP1 0000059f: KECCAK256 000005a0: SLOAD 000005a1: DUP1 000005a2: ISZERO 000005a3: PUSH2 0x05af 000005a6: JUMPI 000005a7: PUSH2 0x05af 000005aa: DUP2 000005ab: PUSH2 0x10a2 000005ae: JUMP 000005af: JUMPDEST 000005b0: SELFBALANCE 000005b1: DUP1 000005b2: ISZERO 000005b3: PUSH2 0x05bf 000005b6: JUMPI 000005b7: PUSH2 0x05bf 000005ba: DUP2 000005bb: PUSH2 0x1212 000005be: JUMP 000005bf: JUMPDEST 000005c0: POP 000005c1: POP 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH0 000005c5: PUSH2 0x03a7 000005c8: CALLER 000005c9: DUP5 000005ca: DUP5 000005cb: PUSH2 0x0a9b 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH0 000005d1: SLOAD 000005d2: PUSH1 0x01 000005d4: PUSH1 0x01 000005d6: PUSH1 0xa0 000005d8: SHL 000005d9: SUB 000005da: AND 000005db: CALLER 000005dc: EQ 000005dd: PUSH2 0x05f8 000005e0: JUMPI 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: PUSH3 0x461bcd 000005e8: PUSH1 0xe5 000005ea: SHL 000005eb: DUP2 000005ec: MSTORE 000005ed: PUSH1 0x04 000005ef: ADD 000005f0: PUSH2 0x0461 000005f3: SWAP1 000005f4: PUSH2 0x169a 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH1 0x16 000005fb: SLOAD 000005fc: PUSH1 0x01 000005fe: PUSH1 0xa0 00000600: SHL 00000601: SWAP1 00000602: DIV 00000603: PUSH1 0xff 00000605: AND 00000606: ISZERO 00000607: PUSH2 0x0652 0000060a: JUMPI 0000060b: PUSH1 0x40 0000060d: MLOAD 0000060e: PUSH3 0x461bcd 00000612: PUSH1 0xe5 00000614: SHL 00000615: DUP2 00000616: MSTORE 00000617: PUSH1 0x20 00000619: PUSH1 0x04 0000061b: DUP3 0000061c: ADD 0000061d: MSTORE 0000061e: PUSH1 0x17 00000620: PUSH1 0x24 00000622: DUP3 00000623: ADD 00000624: MSTORE 00000625: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 00000646: PUSH1 0x44 00000648: DUP3 00000649: ADD 0000064a: MSTORE 0000064b: PUSH1 0x64 0000064d: ADD 0000064e: PUSH2 0x0461 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x15 00000655: DUP1 00000656: SLOAD 00000657: PUSH1 0x01 00000659: PUSH1 0x01 0000065b: PUSH1 0xa0 0000065d: SHL 0000065e: SUB 0000065f: NOT 00000660: AND 00000661: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00000676: SWAP1 00000677: DUP2 00000678: OR 00000679: SWAP1 0000067a: SWAP2 0000067b: SSTORE 0000067c: PUSH2 0x069b 0000067f: SWAP1 00000680: ADDRESS 00000681: SWAP1 00000682: PUSH2 0x068d 00000685: PUSH1 0x09 00000687: PUSH1 0x0a 00000689: PUSH2 0x1675 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH2 0x0429 00000691: SWAP1 00000692: PUSH4 0x3b9aca00 00000697: PUSH2 0x1683 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH1 0x15 0000069e: PUSH0 0000069f: SWAP1 000006a0: SLOAD 000006a1: SWAP1 000006a2: PUSH2 0x0100 000006a5: EXP 000006a6: SWAP1 000006a7: DIV 000006a8: PUSH1 0x01 000006aa: PUSH1 0x01 000006ac: PUSH1 0xa0 000006ae: SHL 000006af: SUB 000006b0: AND 000006b1: PUSH1 0x01 000006b3: PUSH1 0x01 000006b5: PUSH1 0xa0 000006b7: SHL 000006b8: SUB 000006b9: AND 000006ba: PUSH4 0xc45a0155 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: DUP2 000006c3: PUSH4 0xffffffff 000006c8: AND 000006c9: PUSH1 0xe0 000006cb: SHL 000006cc: DUP2 000006cd: MSTORE 000006ce: PUSH1 0x04 000006d0: ADD 000006d1: PUSH1 0x20 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: DUP1 000006d7: DUP4 000006d8: SUB 000006d9: DUP2 000006da: DUP7 000006db: GAS 000006dc: STATICCALL 000006dd: ISZERO 000006de: DUP1 000006df: ISZERO 000006e0: PUSH2 0x06eb 000006e3: JUMPI 000006e4: RETURNDATASIZE 000006e5: PUSH0 000006e6: DUP1 000006e7: RETURNDATACOPY 000006e8: RETURNDATASIZE 000006e9: PUSH0 000006ea: REVERT 000006eb: JUMPDEST 000006ec: POP 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: RETURNDATASIZE 000006f4: PUSH1 0x1f 000006f6: NOT 000006f7: PUSH1 0x1f 000006f9: DUP3 000006fa: ADD 000006fb: AND 000006fc: DUP3 000006fd: ADD 000006fe: DUP1 000006ff: PUSH1 0x40 00000701: MSTORE 00000702: POP 00000703: DUP2 00000704: ADD 00000705: SWAP1 00000706: PUSH2 0x070f 00000709: SWAP2 0000070a: SWAP1 0000070b: PUSH2 0x16cf 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x01 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: SHL 00000717: SUB 00000718: AND 00000719: PUSH4 0xc9c65396 0000071e: ADDRESS 0000071f: PUSH1 0x15 00000721: PUSH0 00000722: SWAP1 00000723: SLOAD 00000724: SWAP1 00000725: PUSH2 0x0100 00000728: EXP 00000729: SWAP1 0000072a: DIV 0000072b: PUSH1 0x01 0000072d: PUSH1 0x01 0000072f: PUSH1 0xa0 00000731: SHL 00000732: SUB 00000733: AND 00000734: PUSH1 0x01 00000736: PUSH1 0x01 00000738: PUSH1 0xa0 0000073a: SHL 0000073b: SUB 0000073c: AND 0000073d: PUSH4 0xad5c4648 00000742: PUSH1 0x40 00000744: MLOAD 00000745: DUP2 00000746: PUSH4 0xffffffff 0000074b: AND 0000074c: PUSH1 0xe0 0000074e: SHL 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x04 00000753: ADD 00000754: PUSH1 0x20 00000756: PUSH1 0x40 00000758: MLOAD 00000759: DUP1 0000075a: DUP4 0000075b: SUB 0000075c: DUP2 0000075d: DUP7 0000075e: GAS 0000075f: STATICCALL 00000760: ISZERO 00000761: DUP1 00000762: ISZERO 00000763: PUSH2 0x076e 00000766: JUMPI 00000767: RETURNDATASIZE 00000768: PUSH0 00000769: DUP1 0000076a: RETURNDATACOPY 0000076b: RETURNDATASIZE 0000076c: PUSH0 0000076d: REVERT 0000076e: JUMPDEST 0000076f: POP 00000770: POP 00000771: POP 00000772: POP 00000773: PUSH1 0x40 00000775: MLOAD 00000776: RETURNDATASIZE 00000777: PUSH1 0x1f 00000779: NOT 0000077a: PUSH1 0x1f 0000077c: DUP3 0000077d: ADD 0000077e: AND 0000077f: DUP3 00000780: ADD 00000781: DUP1 00000782: PUSH1 0x40 00000784: MSTORE 00000785: POP 00000786: DUP2 00000787: ADD 00000788: SWAP1 00000789: PUSH2 0x0792 0000078c: SWAP2 0000078d: SWAP1 0000078e: PUSH2 0x16cf 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH1 0x40 00000795: MLOAD 00000796: PUSH1 0x01 00000798: PUSH1 0x01 0000079a: PUSH1 0xe0 0000079c: SHL 0000079d: SUB 0000079e: NOT 0000079f: PUSH1 0xe0 000007a1: DUP6 000007a2: SWAP1 000007a3: SHL 000007a4: AND 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x01 000007a9: PUSH1 0x01 000007ab: PUSH1 0xa0 000007ad: SHL 000007ae: SUB 000007af: SWAP3 000007b0: DUP4 000007b1: AND 000007b2: PUSH1 0x04 000007b4: DUP3 000007b5: ADD 000007b6: MSTORE 000007b7: SWAP2 000007b8: AND 000007b9: PUSH1 0x24 000007bb: DUP3 000007bc: ADD 000007bd: MSTORE 000007be: PUSH1 0x44 000007c0: ADD 000007c1: PUSH1 0x20 000007c3: PUSH1 0x40 000007c5: MLOAD 000007c6: DUP1 000007c7: DUP4 000007c8: SUB 000007c9: DUP2 000007ca: PUSH0 000007cb: DUP8 000007cc: GAS 000007cd: CALL 000007ce: ISZERO 000007cf: DUP1 000007d0: ISZERO 000007d1: PUSH2 0x07dc 000007d4: JUMPI 000007d5: RETURNDATASIZE 000007d6: PUSH0 000007d7: DUP1 000007d8: RETURNDATACOPY 000007d9: RETURNDATASIZE 000007da: PUSH0 000007db: REVERT 000007dc: JUMPDEST 000007dd: POP 000007de: POP 000007df: POP 000007e0: POP 000007e1: PUSH1 0x40 000007e3: MLOAD 000007e4: RETURNDATASIZE 000007e5: PUSH1 0x1f 000007e7: NOT 000007e8: PUSH1 0x1f 000007ea: DUP3 000007eb: ADD 000007ec: AND 000007ed: DUP3 000007ee: ADD 000007ef: DUP1 000007f0: PUSH1 0x40 000007f2: MSTORE 000007f3: POP 000007f4: DUP2 000007f5: ADD 000007f6: SWAP1 000007f7: PUSH2 0x0800 000007fa: SWAP2 000007fb: SWAP1 000007fc: PUSH2 0x16cf 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x16 00000803: DUP1 00000804: SLOAD 00000805: PUSH1 0x01 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: SHL 0000080c: SUB 0000080d: SWAP3 0000080e: DUP4 0000080f: AND 00000810: PUSH1 0x01 00000812: PUSH1 0x01 00000814: PUSH1 0xa0 00000816: SHL 00000817: SUB 00000818: NOT 00000819: SWAP1 0000081a: SWAP2 0000081b: AND 0000081c: OR 0000081d: SWAP1 0000081e: SSTORE 0000081f: PUSH1 0x15 00000821: SLOAD 00000822: AND 00000823: PUSH4 0xf305d719 00000828: SELFBALANCE 00000829: ADDRESS 0000082a: PUSH2 0x0847 0000082d: DUP2 0000082e: PUSH1 0x01 00000830: PUSH1 0x01 00000832: PUSH1 0xa0 00000834: SHL 00000835: SUB 00000836: AND 00000837: PUSH0 00000838: SWAP1 00000839: DUP2 0000083a: MSTORE 0000083b: PUSH1 0x01 0000083d: PUSH1 0x20 0000083f: MSTORE 00000840: PUSH1 0x40 00000842: SWAP1 00000843: KECCAK256 00000844: SLOAD 00000845: SWAP1 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH0 00000849: DUP1 0000084a: PUSH2 0x085a 0000084d: PUSH0 0000084e: SLOAD 0000084f: PUSH1 0x01 00000851: PUSH1 0x01 00000853: PUSH1 0xa0 00000855: SHL 00000856: SUB 00000857: AND 00000858: SWAP1 00000859: JUMP 0000085a: JUMPDEST 0000085b: PUSH1 0x40 0000085d: MLOAD 0000085e: PUSH1 0xe0 00000860: DUP9 00000861: SWAP1 00000862: SHL 00000863: PUSH1 0x01 00000865: PUSH1 0x01 00000867: PUSH1 0xe0 00000869: SHL 0000086a: SUB 0000086b: NOT 0000086c: AND 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x01 00000871: PUSH1 0x01 00000873: PUSH1 0xa0 00000875: SHL 00000876: SUB 00000877: SWAP6 00000878: DUP7 00000879: AND 0000087a: PUSH1 0x04 0000087c: DUP3 0000087d: ADD 0000087e: MSTORE 0000087f: PUSH1 0x24 00000881: DUP2 00000882: ADD 00000883: SWAP5 00000884: SWAP1 00000885: SWAP5 00000886: MSTORE 00000887: PUSH1 0x44 00000889: DUP5 0000088a: ADD 0000088b: SWAP3 0000088c: SWAP1 0000088d: SWAP3 0000088e: MSTORE 0000088f: PUSH1 0x64 00000891: DUP4 00000892: ADD 00000893: MSTORE 00000894: SWAP1 00000895: SWAP2 00000896: AND 00000897: PUSH1 0x84 00000899: DUP3 0000089a: ADD 0000089b: MSTORE 0000089c: TIMESTAMP 0000089d: PUSH1 0xa4 0000089f: DUP3 000008a0: ADD 000008a1: MSTORE 000008a2: PUSH1 0xc4 000008a4: ADD 000008a5: PUSH1 0x60 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: DUP1 000008ab: DUP4 000008ac: SUB 000008ad: DUP2 000008ae: DUP6 000008af: DUP9 000008b0: GAS 000008b1: CALL 000008b2: ISZERO 000008b3: DUP1 000008b4: ISZERO 000008b5: PUSH2 0x08c0 000008b8: JUMPI 000008b9: RETURNDATASIZE 000008ba: PUSH0 000008bb: DUP1 000008bc: RETURNDATACOPY 000008bd: RETURNDATASIZE 000008be: PUSH0 000008bf: REVERT 000008c0: JUMPDEST 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: PUSH1 0x40 000008c8: MLOAD 000008c9: RETURNDATASIZE 000008ca: PUSH1 0x1f 000008cc: NOT 000008cd: PUSH1 0x1f 000008cf: DUP3 000008d0: ADD 000008d1: AND 000008d2: DUP3 000008d3: ADD 000008d4: DUP1 000008d5: PUSH1 0x40 000008d7: MSTORE 000008d8: POP 000008d9: DUP2 000008da: ADD 000008db: SWAP1 000008dc: PUSH2 0x08e5 000008df: SWAP2 000008e0: SWAP1 000008e1: PUSH2 0x16ea 000008e4: JUMP 000008e5: JUMPDEST 000008e6: POP 000008e7: POP 000008e8: PUSH1 0x16 000008ea: SLOAD 000008eb: PUSH1 0x15 000008ed: SLOAD 000008ee: PUSH1 0x40 000008f0: MLOAD 000008f1: PUSH4 0x095ea7b3 000008f6: PUSH1 0xe0 000008f8: SHL 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x01 000008fd: PUSH1 0x01 000008ff: PUSH1 0xa0 00000901: SHL 00000902: SUB 00000903: SWAP2 00000904: DUP3 00000905: AND 00000906: PUSH1 0x04 00000908: DUP3 00000909: ADD 0000090a: MSTORE 0000090b: PUSH0 0000090c: NOT 0000090d: PUSH1 0x24 0000090f: DUP3 00000910: ADD 00000911: MSTORE 00000912: SWAP2 00000913: AND 00000914: SWAP2 00000915: POP 00000916: PUSH4 0x095ea7b3 0000091b: SWAP1 0000091c: PUSH1 0x44 0000091e: ADD 0000091f: PUSH1 0x20 00000921: PUSH1 0x40 00000923: MLOAD 00000924: DUP1 00000925: DUP4 00000926: SUB 00000927: DUP2 00000928: PUSH0 00000929: DUP8 0000092a: GAS 0000092b: CALL 0000092c: ISZERO 0000092d: DUP1 0000092e: ISZERO 0000092f: PUSH2 0x093a 00000932: JUMPI 00000933: RETURNDATASIZE 00000934: PUSH0 00000935: DUP1 00000936: RETURNDATACOPY 00000937: RETURNDATASIZE 00000938: PUSH0 00000939: REVERT 0000093a: JUMPDEST 0000093b: POP 0000093c: POP 0000093d: POP 0000093e: POP 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: RETURNDATASIZE 00000943: PUSH1 0x1f 00000945: NOT 00000946: PUSH1 0x1f 00000948: DUP3 00000949: ADD 0000094a: AND 0000094b: DUP3 0000094c: ADD 0000094d: DUP1 0000094e: PUSH1 0x40 00000950: MSTORE 00000951: POP 00000952: DUP2 00000953: ADD 00000954: SWAP1 00000955: PUSH2 0x095e 00000958: SWAP2 00000959: SWAP1 0000095a: PUSH2 0x1715 0000095d: JUMP 0000095e: JUMPDEST 0000095f: POP 00000960: PUSH1 0x16 00000962: DUP1 00000963: SLOAD 00000964: PUSH3 0xff00ff 00000968: PUSH1 0xa0 0000096a: SHL 0000096b: NOT 0000096c: AND 0000096d: PUSH3 0x010001 00000971: PUSH1 0xa0 00000973: SHL 00000974: OR 00000975: SWAP1 00000976: SSTORE 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH1 0x01 0000097b: PUSH1 0x01 0000097d: PUSH1 0xa0 0000097f: SHL 00000980: SUB 00000981: DUP4 00000982: AND 00000983: PUSH2 0x09da 00000986: JUMPI 00000987: PUSH1 0x40 00000989: MLOAD 0000098a: PUSH3 0x461bcd 0000098e: PUSH1 0xe5 00000990: SHL 00000991: DUP2 00000992: MSTORE 00000993: PUSH1 0x20 00000995: PUSH1 0x04 00000997: DUP3 00000998: ADD 00000999: MSTORE 0000099a: PUSH1 0x24 0000099c: DUP1 0000099d: DUP3 0000099e: ADD 0000099f: MSTORE 000009a0: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 000009c1: PUSH1 0x44 000009c3: DUP3 000009c4: ADD 000009c5: MSTORE 000009c6: PUSH4 0x72657373 000009cb: PUSH1 0xe0 000009cd: SHL 000009ce: PUSH1 0x64 000009d0: DUP3 000009d1: ADD 000009d2: MSTORE 000009d3: PUSH1 0x84 000009d5: ADD 000009d6: PUSH2 0x0461 000009d9: JUMP 000009da: JUMPDEST 000009db: PUSH1 0x01 000009dd: PUSH1 0x01 000009df: PUSH1 0xa0 000009e1: SHL 000009e2: SUB 000009e3: DUP3 000009e4: AND 000009e5: PUSH2 0x0a3b 000009e8: JUMPI 000009e9: PUSH1 0x40 000009eb: MLOAD 000009ec: PUSH3 0x461bcd 000009f0: PUSH1 0xe5 000009f2: SHL 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x20 000009f7: PUSH1 0x04 000009f9: DUP3 000009fa: ADD 000009fb: MSTORE 000009fc: PUSH1 0x22 000009fe: PUSH1 0x24 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000a24: PUSH1 0x44 00000a26: DUP3 00000a27: ADD 00000a28: MSTORE 00000a29: PUSH2 0x7373 00000a2c: PUSH1 0xf0 00000a2e: SHL 00000a2f: PUSH1 0x64 00000a31: DUP3 00000a32: ADD 00000a33: MSTORE 00000a34: PUSH1 0x84 00000a36: ADD 00000a37: PUSH2 0x0461 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: PUSH1 0x01 00000a3e: PUSH1 0x01 00000a40: PUSH1 0xa0 00000a42: SHL 00000a43: SUB 00000a44: DUP4 00000a45: DUP2 00000a46: AND 00000a47: PUSH0 00000a48: DUP2 00000a49: DUP2 00000a4a: MSTORE 00000a4b: PUSH1 0x02 00000a4d: PUSH1 0x20 00000a4f: SWAP1 00000a50: DUP2 00000a51: MSTORE 00000a52: PUSH1 0x40 00000a54: DUP1 00000a55: DUP4 00000a56: KECCAK256 00000a57: SWAP5 00000a58: DUP8 00000a59: AND 00000a5a: DUP1 00000a5b: DUP5 00000a5c: MSTORE 00000a5d: SWAP5 00000a5e: DUP3 00000a5f: MSTORE 00000a60: SWAP2 00000a61: DUP3 00000a62: SWAP1 00000a63: KECCAK256 00000a64: DUP6 00000a65: SWAP1 00000a66: SSTORE 00000a67: SWAP1 00000a68: MLOAD 00000a69: DUP5 00000a6a: DUP2 00000a6b: MSTORE 00000a6c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a8d: SWAP2 00000a8e: ADD 00000a8f: PUSH1 0x40 00000a91: MLOAD 00000a92: DUP1 00000a93: SWAP2 00000a94: SUB 00000a95: SWAP1 00000a96: LOG3 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x01 00000a9e: PUSH1 0x01 00000aa0: PUSH1 0xa0 00000aa2: SHL 00000aa3: SUB 00000aa4: DUP4 00000aa5: AND 00000aa6: PUSH2 0x0aff 00000aa9: JUMPI 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: PUSH3 0x461bcd 00000ab1: PUSH1 0xe5 00000ab3: SHL 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x20 00000ab8: PUSH1 0x04 00000aba: DUP3 00000abb: ADD 00000abc: MSTORE 00000abd: PUSH1 0x25 00000abf: PUSH1 0x24 00000ac1: DUP3 00000ac2: ADD 00000ac3: MSTORE 00000ac4: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000ae5: PUSH1 0x44 00000ae7: DUP3 00000ae8: ADD 00000ae9: MSTORE 00000aea: PUSH5 0x6472657373 00000af0: PUSH1 0xd8 00000af2: SHL 00000af3: PUSH1 0x64 00000af5: DUP3 00000af6: ADD 00000af7: MSTORE 00000af8: PUSH1 0x84 00000afa: ADD 00000afb: PUSH2 0x0461 00000afe: JUMP 00000aff: JUMPDEST 00000b00: PUSH1 0x01 00000b02: PUSH1 0x01 00000b04: PUSH1 0xa0 00000b06: SHL 00000b07: SUB 00000b08: DUP3 00000b09: AND 00000b0a: PUSH2 0x0b61 00000b0d: JUMPI 00000b0e: PUSH1 0x40 00000b10: MLOAD 00000b11: PUSH3 0x461bcd 00000b15: PUSH1 0xe5 00000b17: SHL 00000b18: DUP2 00000b19: MSTORE 00000b1a: PUSH1 0x20 00000b1c: PUSH1 0x04 00000b1e: DUP3 00000b1f: ADD 00000b20: MSTORE 00000b21: PUSH1 0x23 00000b23: PUSH1 0x24 00000b25: DUP3 00000b26: ADD 00000b27: MSTORE 00000b28: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000b49: PUSH1 0x44 00000b4b: DUP3 00000b4c: ADD 00000b4d: MSTORE 00000b4e: PUSH3 0x657373 00000b52: PUSH1 0xe8 00000b54: SHL 00000b55: PUSH1 0x64 00000b57: DUP3 00000b58: ADD 00000b59: MSTORE 00000b5a: PUSH1 0x84 00000b5c: ADD 00000b5d: PUSH2 0x0461 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH0 00000b63: DUP2 00000b64: GT 00000b65: PUSH2 0x0bc2 00000b68: JUMPI 00000b69: PUSH1 0x40 00000b6b: MLOAD 00000b6c: PUSH3 0x461bcd 00000b70: PUSH1 0xe5 00000b72: SHL 00000b73: DUP2 00000b74: MSTORE 00000b75: PUSH1 0x20 00000b77: PUSH1 0x04 00000b79: DUP3 00000b7a: ADD 00000b7b: MSTORE 00000b7c: PUSH1 0x29 00000b7e: PUSH1 0x24 00000b80: DUP3 00000b81: ADD 00000b82: MSTORE 00000b83: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000ba4: PUSH1 0x44 00000ba6: DUP3 00000ba7: ADD 00000ba8: MSTORE 00000ba9: PUSH9 0x7468616e207a65726f 00000bb3: PUSH1 0xb8 00000bb5: SHL 00000bb6: PUSH1 0x64 00000bb8: DUP3 00000bb9: ADD 00000bba: MSTORE 00000bbb: PUSH1 0x84 00000bbd: ADD 00000bbe: PUSH2 0x0461 00000bc1: JUMP 00000bc2: JUMPDEST 00000bc3: PUSH0 00000bc4: DUP1 00000bc5: SLOAD 00000bc6: PUSH1 0x01 00000bc8: PUSH1 0x01 00000bca: PUSH1 0xa0 00000bcc: SHL 00000bcd: SUB 00000bce: DUP6 00000bcf: DUP2 00000bd0: AND 00000bd1: SWAP2 00000bd2: AND 00000bd3: EQ 00000bd4: DUP1 00000bd5: ISZERO 00000bd6: SWAP1 00000bd7: PUSH2 0x0bed 00000bda: JUMPI 00000bdb: POP 00000bdc: PUSH0 00000bdd: SLOAD 00000bde: PUSH1 0x01 00000be0: PUSH1 0x01 00000be2: PUSH1 0xa0 00000be4: SHL 00000be5: SUB 00000be6: DUP5 00000be7: DUP2 00000be8: AND 00000be9: SWAP2 00000bea: AND 00000beb: EQ 00000bec: ISZERO 00000bed: JUMPDEST 00000bee: ISZERO 00000bef: PUSH2 0x0f2d 00000bf2: JUMPI 00000bf3: PUSH2 0x0c0f 00000bf6: PUSH1 0x64 00000bf8: PUSH2 0x0c09 00000bfb: PUSH2 0x0c02 00000bfe: PUSH2 0x124d 00000c01: JUMP 00000c02: JUMPDEST 00000c03: DUP6 00000c04: SWAP1 00000c05: PUSH2 0x128a 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: SWAP1 00000c0b: PUSH2 0x130f 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH1 0x05 00000c12: SLOAD 00000c13: SWAP1 00000c14: SWAP2 00000c15: POP 00000c16: PUSH1 0xff 00000c18: AND 00000c19: ISZERO 00000c1a: PUSH2 0x0cf5 00000c1d: JUMPI 00000c1e: PUSH1 0x15 00000c20: SLOAD 00000c21: PUSH1 0x01 00000c23: PUSH1 0x01 00000c25: PUSH1 0xa0 00000c27: SHL 00000c28: SUB 00000c29: DUP5 00000c2a: DUP2 00000c2b: AND 00000c2c: SWAP2 00000c2d: AND 00000c2e: EQ 00000c2f: DUP1 00000c30: ISZERO 00000c31: SWAP1 00000c32: PUSH2 0x0c49 00000c35: JUMPI 00000c36: POP 00000c37: PUSH1 0x16 00000c39: SLOAD 00000c3a: PUSH1 0x01 00000c3c: PUSH1 0x01 00000c3e: PUSH1 0xa0 00000c40: SHL 00000c41: SUB 00000c42: DUP5 00000c43: DUP2 00000c44: AND 00000c45: SWAP2 00000c46: AND 00000c47: EQ 00000c48: ISZERO 00000c49: JUMPDEST 00000c4a: ISZERO 00000c4b: PUSH2 0x0cf5 00000c4e: JUMPI 00000c4f: ORIGIN 00000c50: PUSH0 00000c51: SWAP1 00000c52: DUP2 00000c53: MSTORE 00000c54: PUSH1 0x04 00000c56: PUSH1 0x20 00000c58: MSTORE 00000c59: PUSH1 0x40 00000c5b: SWAP1 00000c5c: KECCAK256 00000c5d: SLOAD 00000c5e: NUMBER 00000c5f: GT 00000c60: PUSH2 0x0ce3 00000c63: JUMPI 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: PUSH3 0x461bcd 00000c6b: PUSH1 0xe5 00000c6d: SHL 00000c6e: DUP2 00000c6f: MSTORE 00000c70: PUSH1 0x20 00000c72: PUSH1 0x04 00000c74: DUP3 00000c75: ADD 00000c76: MSTORE 00000c77: PUSH1 0x49 00000c79: PUSH1 0x24 00000c7b: DUP3 00000c7c: ADD 00000c7d: MSTORE 00000c7e: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c 00000c9f: PUSH1 0x44 00000ca1: DUP3 00000ca2: ADD 00000ca3: MSTORE 00000ca4: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b 00000cc5: PUSH1 0x64 00000cc7: DUP3 00000cc8: ADD 00000cc9: MSTORE 00000cca: PUSH9 0x1030b63637bbb2b217 00000cd4: PUSH1 0xb9 00000cd6: SHL 00000cd7: PUSH1 0x84 00000cd9: DUP3 00000cda: ADD 00000cdb: MSTORE 00000cdc: PUSH1 0xa4 00000cde: ADD 00000cdf: PUSH2 0x0461 00000ce2: JUMP 00000ce3: JUMPDEST 00000ce4: ORIGIN 00000ce5: PUSH0 00000ce6: SWAP1 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x04 00000ceb: PUSH1 0x20 00000ced: MSTORE 00000cee: PUSH1 0x40 00000cf0: SWAP1 00000cf1: KECCAK256 00000cf2: NUMBER 00000cf3: SWAP1 00000cf4: SSTORE 00000cf5: JUMPDEST 00000cf6: PUSH1 0x16 00000cf8: SLOAD 00000cf9: PUSH1 0x01 00000cfb: PUSH1 0x01 00000cfd: PUSH1 0xa0 00000cff: SHL 00000d00: SUB 00000d01: DUP6 00000d02: DUP2 00000d03: AND 00000d04: SWAP2 00000d05: AND 00000d06: EQ 00000d07: DUP1 00000d08: ISZERO 00000d09: PUSH2 0x0d20 00000d0c: JUMPI 00000d0d: POP 00000d0e: PUSH1 0x15 00000d10: SLOAD 00000d11: PUSH1 0x01 00000d13: PUSH1 0x01 00000d15: PUSH1 0xa0 00000d17: SHL 00000d18: SUB 00000d19: DUP5 00000d1a: DUP2 00000d1b: AND 00000d1c: SWAP2 00000d1d: AND 00000d1e: EQ 00000d1f: ISZERO 00000d20: JUMPDEST 00000d21: DUP1 00000d22: ISZERO 00000d23: PUSH2 0x0d44 00000d26: JUMPI 00000d27: POP 00000d28: PUSH1 0x01 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0xa0 00000d2e: SHL 00000d2f: SUB 00000d30: DUP4 00000d31: AND 00000d32: PUSH0 00000d33: SWAP1 00000d34: DUP2 00000d35: MSTORE 00000d36: PUSH1 0x03 00000d38: PUSH1 0x20 00000d3a: MSTORE 00000d3b: PUSH1 0x40 00000d3d: SWAP1 00000d3e: KECCAK256 00000d3f: SLOAD 00000d40: PUSH1 0xff 00000d42: AND 00000d43: ISZERO 00000d44: JUMPDEST 00000d45: ISZERO 00000d46: PUSH2 0x0e40 00000d49: JUMPI 00000d4a: PUSH1 0x11 00000d4c: SLOAD 00000d4d: DUP3 00000d4e: GT 00000d4f: ISZERO 00000d50: PUSH2 0x0d9b 00000d53: JUMPI 00000d54: PUSH1 0x40 00000d56: MLOAD 00000d57: PUSH3 0x461bcd 00000d5b: PUSH1 0xe5 00000d5d: SHL 00000d5e: DUP2 00000d5f: MSTORE 00000d60: PUSH1 0x20 00000d62: PUSH1 0x04 00000d64: DUP3 00000d65: ADD 00000d66: MSTORE 00000d67: PUSH1 0x19 00000d69: PUSH1 0x24 00000d6b: DUP3 00000d6c: ADD 00000d6d: MSTORE 00000d6e: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000d8f: PUSH1 0x44 00000d91: DUP3 00000d92: ADD 00000d93: MSTORE 00000d94: PUSH1 0x64 00000d96: ADD 00000d97: PUSH2 0x0461 00000d9a: JUMP 00000d9b: JUMPDEST 00000d9c: PUSH1 0x12 00000d9e: SLOAD 00000d9f: DUP3 00000da0: PUSH2 0x0dbd 00000da3: DUP6 00000da4: PUSH1 0x01 00000da6: PUSH1 0x01 00000da8: PUSH1 0xa0 00000daa: SHL 00000dab: SUB 00000dac: AND 00000dad: PUSH0 00000dae: SWAP1 00000daf: DUP2 00000db0: MSTORE 00000db1: PUSH1 0x01 00000db3: PUSH1 0x20 00000db5: MSTORE 00000db6: PUSH1 0x40 00000db8: SWAP1 00000db9: KECCAK256 00000dba: SLOAD 00000dbb: SWAP1 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: PUSH2 0x0dc7 00000dc1: SWAP2 00000dc2: SWAP1 00000dc3: PUSH2 0x1734 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: GT 00000dc9: ISZERO 00000dca: PUSH2 0x0e15 00000dcd: JUMPI 00000dce: PUSH1 0x40 00000dd0: MLOAD 00000dd1: PUSH3 0x461bcd 00000dd5: PUSH1 0xe5 00000dd7: SHL 00000dd8: DUP2 00000dd9: MSTORE 00000dda: PUSH1 0x20 00000ddc: PUSH1 0x04 00000dde: DUP3 00000ddf: ADD 00000de0: MSTORE 00000de1: PUSH1 0x1a 00000de3: PUSH1 0x24 00000de5: DUP3 00000de6: ADD 00000de7: MSTORE 00000de8: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000e09: PUSH1 0x44 00000e0b: DUP3 00000e0c: ADD 00000e0d: MSTORE 00000e0e: PUSH1 0x64 00000e10: ADD 00000e11: PUSH2 0x0461 00000e14: JUMP 00000e15: JUMPDEST 00000e16: PUSH1 0x10 00000e18: DUP1 00000e19: SLOAD 00000e1a: SWAP1 00000e1b: PUSH0 00000e1c: PUSH2 0x0e24 00000e1f: DUP4 00000e20: PUSH2 0x1747 00000e23: JUMP 00000e24: JUMPDEST 00000e25: SWAP2 00000e26: SWAP1 00000e27: POP 00000e28: SSTORE 00000e29: POP 00000e2a: PUSH1 0x0f 00000e2c: SLOAD 00000e2d: PUSH1 0x10 00000e2f: SLOAD 00000e30: GT 00000e31: ISZERO 00000e32: PUSH2 0x0e40 00000e35: JUMPI 00000e36: PUSH1 0x05 00000e38: DUP1 00000e39: SLOAD 00000e3a: PUSH1 0xff 00000e3c: NOT 00000e3d: AND 00000e3e: SWAP1 00000e3f: SSTORE 00000e40: JUMPDEST 00000e41: PUSH1 0x16 00000e43: SLOAD 00000e44: PUSH1 0x01 00000e46: PUSH1 0x01 00000e48: PUSH1 0xa0 00000e4a: SHL 00000e4b: SUB 00000e4c: DUP5 00000e4d: DUP2 00000e4e: AND 00000e4f: SWAP2 00000e50: AND 00000e51: EQ 00000e52: DUP1 00000e53: ISZERO 00000e54: PUSH2 0x0e66 00000e57: JUMPI 00000e58: POP 00000e59: PUSH1 0x01 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0xa0 00000e5f: SHL 00000e60: SUB 00000e61: DUP5 00000e62: AND 00000e63: ADDRESS 00000e64: EQ 00000e65: ISZERO 00000e66: JUMPDEST 00000e67: ISZERO 00000e68: PUSH2 0x0e7e 00000e6b: JUMPI 00000e6c: PUSH2 0x0e7b 00000e6f: PUSH1 0x64 00000e71: PUSH2 0x0c09 00000e74: PUSH2 0x0c02 00000e77: PUSH2 0x1350 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: SWAP1 00000e7d: POP 00000e7e: JUMPDEST 00000e7f: ADDRESS 00000e80: PUSH0 00000e81: SWAP1 00000e82: DUP2 00000e83: MSTORE 00000e84: PUSH1 0x01 00000e86: PUSH1 0x20 00000e88: MSTORE 00000e89: PUSH1 0x40 00000e8b: SWAP1 00000e8c: KECCAK256 00000e8d: SLOAD 00000e8e: PUSH1 0x16 00000e90: SLOAD 00000e91: PUSH1 0x01 00000e93: PUSH1 0xa8 00000e95: SHL 00000e96: SWAP1 00000e97: DIV 00000e98: PUSH1 0xff 00000e9a: AND 00000e9b: ISZERO 00000e9c: DUP1 00000e9d: ISZERO 00000e9e: PUSH2 0x0eb4 00000ea1: JUMPI 00000ea2: POP 00000ea3: PUSH1 0x16 00000ea5: SLOAD 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0x01 00000eaa: PUSH1 0xa0 00000eac: SHL 00000ead: SUB 00000eae: DUP6 00000eaf: DUP2 00000eb0: AND 00000eb1: SWAP2 00000eb2: AND 00000eb3: EQ 00000eb4: JUMPDEST 00000eb5: DUP1 00000eb6: ISZERO 00000eb7: PUSH2 0x0ec9 00000eba: JUMPI 00000ebb: POP 00000ebc: PUSH1 0x16 00000ebe: SLOAD 00000ebf: PUSH1 0x01 00000ec1: PUSH1 0xb0 00000ec3: SHL 00000ec4: SWAP1 00000ec5: DIV 00000ec6: PUSH1 0xff 00000ec8: AND 00000ec9: JUMPDEST 00000eca: DUP1 00000ecb: ISZERO 00000ecc: PUSH2 0x0ed6 00000ecf: JUMPI 00000ed0: POP 00000ed1: PUSH1 0x13 00000ed3: SLOAD 00000ed4: DUP2 00000ed5: GT 00000ed6: JUMPDEST 00000ed7: ISZERO 00000ed8: PUSH2 0x0f2b 00000edb: JUMPI 00000edc: PUSH0 00000edd: SELFBALANCE 00000ede: SWAP1 00000edf: POP 00000ee0: PUSH2 0x0efc 00000ee3: PUSH2 0x0ef7 00000ee6: DUP6 00000ee7: PUSH2 0x0ef2 00000eea: DUP6 00000eeb: PUSH1 0x14 00000eed: SLOAD 00000eee: PUSH2 0x1386 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH2 0x1386 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: PUSH2 0x10a2 00000efb: JUMP 00000efc: JUMPDEST 00000efd: PUSH0 00000efe: PUSH2 0x0f17 00000f01: PUSH1 0x64 00000f03: PUSH2 0x0c09 00000f06: PUSH1 0x50 00000f08: PUSH2 0x0f11 00000f0b: SELFBALANCE 00000f0c: DUP8 00000f0d: PUSH2 0x139a 00000f10: JUMP 00000f11: JUMPDEST 00000f12: SWAP1 00000f13: PUSH2 0x128a 00000f16: JUMP 00000f17: JUMPDEST 00000f18: SWAP1 00000f19: POP 00000f1a: DUP1 00000f1b: ISZERO 00000f1c: PUSH2 0x0f28 00000f1f: JUMPI 00000f20: PUSH2 0x0f28 00000f23: DUP2 00000f24: PUSH2 0x1212 00000f27: JUMP 00000f28: JUMPDEST 00000f29: POP 00000f2a: POP 00000f2b: JUMPDEST 00000f2c: POP 00000f2d: JUMPDEST 00000f2e: DUP1 00000f2f: ISZERO 00000f30: PUSH2 0x0fa5 00000f33: JUMPI 00000f34: ADDRESS 00000f35: PUSH0 00000f36: SWAP1 00000f37: DUP2 00000f38: MSTORE 00000f39: PUSH1 0x01 00000f3b: PUSH1 0x20 00000f3d: MSTORE 00000f3e: PUSH1 0x40 00000f40: SWAP1 00000f41: KECCAK256 00000f42: SLOAD 00000f43: PUSH2 0x0f4c 00000f46: SWAP1 00000f47: DUP3 00000f48: PUSH2 0x13db 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: ADDRESS 00000f4e: PUSH0 00000f4f: DUP2 00000f50: DUP2 00000f51: MSTORE 00000f52: PUSH1 0x01 00000f54: PUSH1 0x20 00000f56: MSTORE 00000f57: PUSH1 0x40 00000f59: SWAP1 00000f5a: DUP2 00000f5b: SWAP1 00000f5c: KECCAK256 00000f5d: SWAP3 00000f5e: SWAP1 00000f5f: SWAP3 00000f60: SSTORE 00000f61: SWAP1 00000f62: MLOAD 00000f63: PUSH1 0x01 00000f65: PUSH1 0x01 00000f67: PUSH1 0xa0 00000f69: SHL 00000f6a: SUB 00000f6b: DUP7 00000f6c: AND 00000f6d: SWAP1 00000f6e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f8f: SWAP1 00000f90: PUSH2 0x0f9c 00000f93: SWAP1 00000f94: DUP6 00000f95: DUP2 00000f96: MSTORE 00000f97: PUSH1 0x20 00000f99: ADD 00000f9a: SWAP1 00000f9b: JUMP 00000f9c: JUMPDEST 00000f9d: PUSH1 0x40 00000f9f: MLOAD 00000fa0: DUP1 00000fa1: SWAP2 00000fa2: SUB 00000fa3: SWAP1 00000fa4: LOG3 00000fa5: JUMPDEST 00000fa6: PUSH1 0x01 00000fa8: PUSH1 0x01 00000faa: PUSH1 0xa0 00000fac: SHL 00000fad: SUB 00000fae: DUP5 00000faf: AND 00000fb0: PUSH0 00000fb1: SWAP1 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0x20 00000fb8: MSTORE 00000fb9: PUSH1 0x40 00000fbb: SWAP1 00000fbc: KECCAK256 00000fbd: SLOAD 00000fbe: PUSH2 0x0fc7 00000fc1: SWAP1 00000fc2: DUP4 00000fc3: PUSH2 0x139a 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x01 00000fca: PUSH1 0x01 00000fcc: PUSH1 0xa0 00000fce: SHL 00000fcf: SUB 00000fd0: DUP6 00000fd1: AND 00000fd2: PUSH0 00000fd3: SWAP1 00000fd4: DUP2 00000fd5: MSTORE 00000fd6: PUSH1 0x01 00000fd8: PUSH1 0x20 00000fda: MSTORE 00000fdb: PUSH1 0x40 00000fdd: SWAP1 00000fde: KECCAK256 00000fdf: SSTORE 00000fe0: PUSH2 0x100a 00000fe3: PUSH2 0x0fec 00000fe6: DUP4 00000fe7: DUP4 00000fe8: PUSH2 0x139a 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x01 00000fef: PUSH1 0x01 00000ff1: PUSH1 0xa0 00000ff3: SHL 00000ff4: SUB 00000ff5: DUP6 00000ff6: AND 00000ff7: PUSH0 00000ff8: SWAP1 00000ff9: DUP2 00000ffa: MSTORE 00000ffb: PUSH1 0x01 00000ffd: PUSH1 0x20 00000fff: MSTORE 00001000: PUSH1 0x40 00001002: SWAP1 00001003: KECCAK256 00001004: SLOAD 00001005: SWAP1 00001006: PUSH2 0x13db 00001009: JUMP 0000100a: JUMPDEST 0000100b: PUSH1 0x01 0000100d: PUSH1 0x01 0000100f: PUSH1 0xa0 00001011: SHL 00001012: SUB 00001013: DUP1 00001014: DUP6 00001015: AND 00001016: PUSH0 00001017: DUP2 00001018: DUP2 00001019: MSTORE 0000101a: PUSH1 0x01 0000101c: PUSH1 0x20 0000101e: MSTORE 0000101f: PUSH1 0x40 00001021: SWAP1 00001022: KECCAK256 00001023: SWAP3 00001024: SWAP1 00001025: SWAP3 00001026: SSTORE 00001027: DUP6 00001028: AND 00001029: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000104a: PUSH2 0x1053 0000104d: DUP6 0000104e: DUP6 0000104f: PUSH2 0x139a 00001052: JUMP 00001053: JUMPDEST 00001054: PUSH1 0x40 00001056: MLOAD 00001057: SWAP1 00001058: DUP2 00001059: MSTORE 0000105a: PUSH1 0x20 0000105c: ADD 0000105d: PUSH1 0x40 0000105f: MLOAD 00001060: DUP1 00001061: SWAP2 00001062: SUB 00001063: SWAP1 00001064: LOG3 00001065: POP 00001066: POP 00001067: POP 00001068: POP 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH0 0000106c: DUP2 0000106d: DUP5 0000106e: DUP5 0000106f: GT 00001070: ISZERO 00001071: PUSH2 0x108d 00001074: JUMPI 00001075: PUSH1 0x40 00001077: MLOAD 00001078: PUSH3 0x461bcd 0000107c: PUSH1 0xe5 0000107e: SHL 0000107f: DUP2 00001080: MSTORE 00001081: PUSH1 0x04 00001083: ADD 00001084: PUSH2 0x0461 00001087: SWAP2 00001088: SWAP1 00001089: PUSH2 0x1465 0000108c: JUMP 0000108d: JUMPDEST 0000108e: POP 0000108f: PUSH0 00001090: PUSH2 0x1099 00001093: DUP5 00001094: DUP7 00001095: PUSH2 0x175f 00001098: JUMP 00001099: JUMPDEST 0000109a: SWAP6 0000109b: SWAP5 0000109c: POP 0000109d: POP 0000109e: POP 0000109f: POP 000010a0: POP 000010a1: JUMP 000010a2: JUMPDEST 000010a3: PUSH1 0x16 000010a5: DUP1 000010a6: SLOAD 000010a7: PUSH1 0xff 000010a9: PUSH1 0xa8 000010ab: SHL 000010ac: NOT 000010ad: AND 000010ae: PUSH1 0x01 000010b0: PUSH1 0xa8 000010b2: SHL 000010b3: OR 000010b4: SWAP1 000010b5: SSTORE 000010b6: PUSH1 0x40 000010b8: DUP1 000010b9: MLOAD 000010ba: PUSH1 0x02 000010bc: DUP1 000010bd: DUP3 000010be: MSTORE 000010bf: PUSH1 0x60 000010c1: DUP3 000010c2: ADD 000010c3: DUP4 000010c4: MSTORE 000010c5: PUSH0 000010c6: SWAP3 000010c7: PUSH1 0x20 000010c9: DUP4 000010ca: ADD 000010cb: SWAP1 000010cc: DUP1 000010cd: CALLDATASIZE 000010ce: DUP4 000010cf: CALLDATACOPY 000010d0: ADD 000010d1: SWAP1 000010d2: POP 000010d3: POP 000010d4: SWAP1 000010d5: POP 000010d6: ADDRESS 000010d7: DUP2 000010d8: PUSH0 000010d9: DUP2 000010da: MLOAD 000010db: DUP2 000010dc: LT 000010dd: PUSH2 0x10e8 000010e0: JUMPI 000010e1: PUSH2 0x10e8 000010e4: PUSH2 0x1772 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH1 0x01 000010eb: PUSH1 0x01 000010ed: PUSH1 0xa0 000010ef: SHL 000010f0: SUB 000010f1: SWAP3 000010f2: DUP4 000010f3: AND 000010f4: PUSH1 0x20 000010f6: SWAP2 000010f7: DUP3 000010f8: MUL 000010f9: SWAP3 000010fa: SWAP1 000010fb: SWAP3 000010fc: ADD 000010fd: DUP2 000010fe: ADD 000010ff: SWAP2 00001100: SWAP1 00001101: SWAP2 00001102: MSTORE 00001103: PUSH1 0x15 00001105: SLOAD 00001106: PUSH1 0x40 00001108: DUP1 00001109: MLOAD 0000110a: PUSH4 0x15ab88c9 0000110f: PUSH1 0xe3 00001111: SHL 00001112: DUP2 00001113: MSTORE 00001114: SWAP1 00001115: MLOAD 00001116: SWAP2 00001117: SWAP1 00001118: SWAP4 00001119: AND 0000111a: SWAP3 0000111b: PUSH4 0xad5c4648 00001120: SWAP3 00001121: PUSH1 0x04 00001123: DUP1 00001124: DUP4 00001125: ADD 00001126: SWAP4 00001127: SWAP2 00001128: SWAP3 00001129: DUP3 0000112a: SWAP1 0000112b: SUB 0000112c: ADD 0000112d: DUP2 0000112e: DUP7 0000112f: GAS 00001130: STATICCALL 00001131: ISZERO 00001132: DUP1 00001133: ISZERO 00001134: PUSH2 0x113f 00001137: JUMPI 00001138: RETURNDATASIZE 00001139: PUSH0 0000113a: DUP1 0000113b: RETURNDATACOPY 0000113c: RETURNDATASIZE 0000113d: PUSH0 0000113e: REVERT 0000113f: JUMPDEST 00001140: POP 00001141: POP 00001142: POP 00001143: POP 00001144: PUSH1 0x40 00001146: MLOAD 00001147: RETURNDATASIZE 00001148: PUSH1 0x1f 0000114a: NOT 0000114b: PUSH1 0x1f 0000114d: DUP3 0000114e: ADD 0000114f: AND 00001150: DUP3 00001151: ADD 00001152: DUP1 00001153: PUSH1 0x40 00001155: MSTORE 00001156: POP 00001157: DUP2 00001158: ADD 00001159: SWAP1 0000115a: PUSH2 0x1163 0000115d: SWAP2 0000115e: SWAP1 0000115f: PUSH2 0x16cf 00001162: JUMP 00001163: JUMPDEST 00001164: DUP2 00001165: PUSH1 0x01 00001167: DUP2 00001168: MLOAD 00001169: DUP2 0000116a: LT 0000116b: PUSH2 0x1176 0000116e: JUMPI 0000116f: PUSH2 0x1176 00001172: PUSH2 0x1772 00001175: JUMP 00001176: JUMPDEST 00001177: PUSH1 0x01 00001179: PUSH1 0x01 0000117b: PUSH1 0xa0 0000117d: SHL 0000117e: SUB 0000117f: SWAP3 00001180: DUP4 00001181: AND 00001182: PUSH1 0x20 00001184: SWAP2 00001185: DUP3 00001186: MUL 00001187: SWAP3 00001188: SWAP1 00001189: SWAP3 0000118a: ADD 0000118b: ADD 0000118c: MSTORE 0000118d: PUSH1 0x15 0000118f: SLOAD 00001190: PUSH2 0x119c 00001193: SWAP2 00001194: ADDRESS 00001195: SWAP2 00001196: AND 00001197: DUP5 00001198: PUSH2 0x0978 0000119b: JUMP 0000119c: JUMPDEST 0000119d: PUSH1 0x15 0000119f: SLOAD 000011a0: PUSH1 0x40 000011a2: MLOAD 000011a3: PUSH4 0x791ac947 000011a8: PUSH1 0xe0 000011aa: SHL 000011ab: DUP2 000011ac: MSTORE 000011ad: PUSH1 0x01 000011af: PUSH1 0x01 000011b1: PUSH1 0xa0 000011b3: SHL 000011b4: SUB 000011b5: SWAP1 000011b6: SWAP2 000011b7: AND 000011b8: SWAP1 000011b9: PUSH4 0x791ac947 000011be: SWAP1 000011bf: PUSH2 0x11d4 000011c2: SWAP1 000011c3: DUP6 000011c4: SWAP1 000011c5: PUSH0 000011c6: SWAP1 000011c7: DUP7 000011c8: SWAP1 000011c9: ADDRESS 000011ca: SWAP1 000011cb: TIMESTAMP 000011cc: SWAP1 000011cd: PUSH1 0x04 000011cf: ADD 000011d0: PUSH2 0x1786 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH0 000011d6: PUSH1 0x40 000011d8: MLOAD 000011d9: DUP1 000011da: DUP4 000011db: SUB 000011dc: DUP2 000011dd: PUSH0 000011de: DUP8 000011df: DUP1 000011e0: EXTCODESIZE 000011e1: ISZERO 000011e2: DUP1 000011e3: ISZERO 000011e4: PUSH2 0x11eb 000011e7: JUMPI 000011e8: PUSH0 000011e9: DUP1 000011ea: REVERT 000011eb: JUMPDEST 000011ec: POP 000011ed: GAS 000011ee: CALL 000011ef: ISZERO 000011f0: DUP1 000011f1: ISZERO 000011f2: PUSH2 0x11fd 000011f5: JUMPI 000011f6: RETURNDATASIZE 000011f7: PUSH0 000011f8: DUP1 000011f9: RETURNDATACOPY 000011fa: RETURNDATASIZE 000011fb: PUSH0 000011fc: REVERT 000011fd: JUMPDEST 000011fe: POP 000011ff: POP 00001200: PUSH1 0x16 00001202: DUP1 00001203: SLOAD 00001204: PUSH1 0xff 00001206: PUSH1 0xa8 00001208: SHL 00001209: NOT 0000120a: AND 0000120b: SWAP1 0000120c: SSTORE 0000120d: POP 0000120e: POP 0000120f: POP 00001210: POP 00001211: JUMP 00001212: JUMPDEST 00001213: PUSH1 0x05 00001215: SLOAD 00001216: PUSH1 0x40 00001218: MLOAD 00001219: PUSH2 0x0100 0000121c: SWAP1 0000121d: SWAP2 0000121e: DIV 0000121f: PUSH1 0x01 00001221: PUSH1 0x01 00001223: PUSH1 0xa0 00001225: SHL 00001226: SUB 00001227: AND 00001228: SWAP1 00001229: PUSH2 0x08fc 0000122c: DUP4 0000122d: ISZERO 0000122e: MUL 0000122f: SWAP1 00001230: DUP4 00001231: SWAP1 00001232: PUSH0 00001233: DUP2 00001234: DUP2 00001235: DUP2 00001236: DUP6 00001237: DUP9 00001238: DUP9 00001239: CALL 0000123a: SWAP4 0000123b: POP 0000123c: POP 0000123d: POP 0000123e: POP 0000123f: ISZERO 00001240: DUP1 00001241: ISZERO 00001242: PUSH2 0x05bf 00001245: JUMPI 00001246: RETURNDATASIZE 00001247: PUSH0 00001248: DUP1 00001249: RETURNDATACOPY 0000124a: RETURNDATASIZE 0000124b: PUSH0 0000124c: REVERT 0000124d: JUMPDEST 0000124e: PUSH0 0000124f: PUSH1 0x08 00001251: SLOAD 00001252: PUSH1 0x10 00001254: SLOAD 00001255: GT 00001256: PUSH2 0x1260 00001259: JUMPI 0000125a: POP 0000125b: PUSH1 0x06 0000125d: SLOAD 0000125e: SWAP1 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH1 0x08 00001263: SLOAD 00001264: PUSH1 0x10 00001266: SLOAD 00001267: GT 00001268: DUP1 00001269: ISZERO 0000126a: PUSH2 0x1277 0000126d: JUMPI 0000126e: POP 0000126f: PUSH1 0x0c 00001271: SLOAD 00001272: PUSH1 0x10 00001274: SLOAD 00001275: GT 00001276: ISZERO 00001277: JUMPDEST 00001278: ISZERO 00001279: PUSH2 0x1283 0000127c: JUMPI 0000127d: POP 0000127e: PUSH1 0x0a 00001280: SLOAD 00001281: SWAP1 00001282: JUMP 00001283: JUMPDEST 00001284: POP 00001285: PUSH1 0x0d 00001287: SLOAD 00001288: SWAP1 00001289: JUMP 0000128a: JUMPDEST 0000128b: PUSH0 0000128c: DUP3 0000128d: PUSH0 0000128e: SUB 0000128f: PUSH2 0x1299 00001292: JUMPI 00001293: POP 00001294: PUSH0 00001295: PUSH2 0x03ab 00001298: JUMP 00001299: JUMPDEST 0000129a: PUSH0 0000129b: PUSH2 0x12a4 0000129e: DUP4 0000129f: DUP6 000012a0: PUSH2 0x1683 000012a3: JUMP 000012a4: JUMPDEST 000012a5: SWAP1 000012a6: POP 000012a7: DUP3 000012a8: PUSH2 0x12b1 000012ab: DUP6 000012ac: DUP4 000012ad: PUSH2 0x17f5 000012b0: JUMP 000012b1: JUMPDEST 000012b2: EQ 000012b3: PUSH2 0x1308 000012b6: JUMPI 000012b7: PUSH1 0x40 000012b9: MLOAD 000012ba: PUSH3 0x461bcd 000012be: PUSH1 0xe5 000012c0: SHL 000012c1: DUP2 000012c2: MSTORE 000012c3: PUSH1 0x20 000012c5: PUSH1 0x04 000012c7: DUP3 000012c8: ADD 000012c9: MSTORE 000012ca: PUSH1 0x21 000012cc: PUSH1 0x24 000012ce: DUP3 000012cf: ADD 000012d0: MSTORE 000012d1: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 000012f2: PUSH1 0x44 000012f4: DUP3 000012f5: ADD 000012f6: MSTORE 000012f7: PUSH1 0x77 000012f9: PUSH1 0xf8 000012fb: SHL 000012fc: PUSH1 0x64 000012fe: DUP3 000012ff: ADD 00001300: MSTORE 00001301: PUSH1 0x84 00001303: ADD 00001304: PUSH2 0x0461 00001307: JUMP 00001308: JUMPDEST 00001309: SWAP4 0000130a: SWAP3 0000130b: POP 0000130c: POP 0000130d: POP 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH0 00001311: PUSH2 0x1308 00001314: DUP4 00001315: DUP4 00001316: PUSH1 0x40 00001318: MLOAD 00001319: DUP1 0000131a: PUSH1 0x40 0000131c: ADD 0000131d: PUSH1 0x40 0000131f: MSTORE 00001320: DUP1 00001321: PUSH1 0x1a 00001323: DUP2 00001324: MSTORE 00001325: PUSH1 0x20 00001327: ADD 00001328: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001349: DUP2 0000134a: MSTORE 0000134b: POP 0000134c: PUSH2 0x1439 0000134f: JUMP 00001350: JUMPDEST 00001351: PUSH0 00001352: PUSH1 0x08 00001354: SLOAD 00001355: PUSH1 0x10 00001357: SLOAD 00001358: GT 00001359: PUSH2 0x1363 0000135c: JUMPI 0000135d: POP 0000135e: PUSH1 0x07 00001360: SLOAD 00001361: SWAP1 00001362: JUMP 00001363: JUMPDEST 00001364: PUSH1 0x09 00001366: SLOAD 00001367: PUSH1 0x10 00001369: SLOAD 0000136a: GT 0000136b: DUP1 0000136c: ISZERO 0000136d: PUSH2 0x137a 00001370: JUMPI 00001371: POP 00001372: PUSH1 0x0c 00001374: SLOAD 00001375: PUSH1 0x10 00001377: SLOAD 00001378: GT 00001379: ISZERO 0000137a: JUMPDEST 0000137b: ISZERO 0000137c: PUSH2 0x1283 0000137f: JUMPI 00001380: POP 00001381: PUSH1 0x0b 00001383: SLOAD 00001384: SWAP1 00001385: JUMP 00001386: JUMPDEST 00001387: PUSH0 00001388: DUP2 00001389: DUP4 0000138a: GT 0000138b: PUSH2 0x1394 0000138e: JUMPI 0000138f: DUP3 00001390: PUSH2 0x1308 00001393: JUMP 00001394: JUMPDEST 00001395: POP 00001396: SWAP2 00001397: SWAP1 00001398: POP 00001399: JUMP 0000139a: JUMPDEST 0000139b: PUSH0 0000139c: PUSH2 0x1308 0000139f: DUP4 000013a0: DUP4 000013a1: PUSH1 0x40 000013a3: MLOAD 000013a4: DUP1 000013a5: PUSH1 0x40 000013a7: ADD 000013a8: PUSH1 0x40 000013aa: MSTORE 000013ab: DUP1 000013ac: PUSH1 0x1e 000013ae: DUP2 000013af: MSTORE 000013b0: PUSH1 0x20 000013b2: ADD 000013b3: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000013d4: DUP2 000013d5: MSTORE 000013d6: POP 000013d7: PUSH2 0x106a 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH0 000013dd: DUP1 000013de: PUSH2 0x13e7 000013e1: DUP4 000013e2: DUP6 000013e3: PUSH2 0x1734 000013e6: JUMP 000013e7: JUMPDEST 000013e8: SWAP1 000013e9: POP 000013ea: DUP4 000013eb: DUP2 000013ec: LT 000013ed: ISZERO 000013ee: PUSH2 0x1308 000013f1: JUMPI 000013f2: PUSH1 0x40 000013f4: MLOAD 000013f5: PUSH3 0x461bcd 000013f9: PUSH1 0xe5 000013fb: SHL 000013fc: DUP2 000013fd: MSTORE 000013fe: PUSH1 0x20 00001400: PUSH1 0x04 00001402: DUP3 00001403: ADD 00001404: MSTORE 00001405: PUSH1 0x1b 00001407: PUSH1 0x24 00001409: DUP3 0000140a: ADD 0000140b: MSTORE 0000140c: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000142d: PUSH1 0x44 0000142f: DUP3 00001430: ADD 00001431: MSTORE 00001432: PUSH1 0x64 00001434: ADD 00001435: PUSH2 0x0461 00001438: JUMP 00001439: JUMPDEST 0000143a: PUSH0 0000143b: DUP2 0000143c: DUP4 0000143d: PUSH2 0x1459 00001440: JUMPI 00001441: PUSH1 0x40 00001443: MLOAD 00001444: PUSH3 0x461bcd 00001448: PUSH1 0xe5 0000144a: SHL 0000144b: DUP2 0000144c: MSTORE 0000144d: PUSH1 0x04 0000144f: ADD 00001450: PUSH2 0x0461 00001453: SWAP2 00001454: SWAP1 00001455: PUSH2 0x1465 00001458: JUMP 00001459: JUMPDEST 0000145a: POP 0000145b: PUSH0 0000145c: PUSH2 0x1099 0000145f: DUP5 00001460: DUP7 00001461: PUSH2 0x17f5 00001464: JUMP 00001465: JUMPDEST 00001466: PUSH0 00001467: PUSH1 0x20 00001469: DUP1 0000146a: DUP4 0000146b: MSTORE 0000146c: DUP4 0000146d: MLOAD 0000146e: DUP1 0000146f: DUP3 00001470: DUP6 00001471: ADD 00001472: MSTORE 00001473: PUSH0 00001474: JUMPDEST 00001475: DUP2 00001476: DUP2 00001477: LT 00001478: ISZERO 00001479: PUSH2 0x1490 0000147c: JUMPI 0000147d: DUP6 0000147e: DUP2 0000147f: ADD 00001480: DUP4 00001481: ADD 00001482: MLOAD 00001483: DUP6 00001484: DUP3 00001485: ADD 00001486: PUSH1 0x40 00001488: ADD 00001489: MSTORE 0000148a: DUP3 0000148b: ADD 0000148c: PUSH2 0x1474 0000148f: JUMP 00001490: JUMPDEST 00001491: POP 00001492: PUSH0 00001493: PUSH1 0x40 00001495: DUP3 00001496: DUP7 00001497: ADD 00001498: ADD 00001499: MSTORE 0000149a: PUSH1 0x40 0000149c: PUSH1 0x1f 0000149e: NOT 0000149f: PUSH1 0x1f 000014a1: DUP4 000014a2: ADD 000014a3: AND 000014a4: DUP6 000014a5: ADD 000014a6: ADD 000014a7: SWAP3 000014a8: POP 000014a9: POP 000014aa: POP 000014ab: SWAP3 000014ac: SWAP2 000014ad: POP 000014ae: POP 000014af: JUMP 000014b0: JUMPDEST 000014b1: PUSH1 0x01 000014b3: PUSH1 0x01 000014b5: PUSH1 0xa0 000014b7: SHL 000014b8: SUB 000014b9: DUP2 000014ba: AND 000014bb: DUP2 000014bc: EQ 000014bd: PUSH2 0x14c4 000014c0: JUMPI 000014c1: PUSH0 000014c2: DUP1 000014c3: REVERT 000014c4: JUMPDEST 000014c5: POP 000014c6: JUMP 000014c7: JUMPDEST 000014c8: PUSH0 000014c9: DUP1 000014ca: PUSH1 0x40 000014cc: DUP4 000014cd: DUP6 000014ce: SUB 000014cf: SLT 000014d0: ISZERO 000014d1: PUSH2 0x14d8 000014d4: JUMPI 000014d5: PUSH0 000014d6: DUP1 000014d7: REVERT 000014d8: JUMPDEST 000014d9: DUP3 000014da: CALLDATALOAD 000014db: PUSH2 0x14e3 000014de: DUP2 000014df: PUSH2 0x14b0 000014e2: JUMP 000014e3: JUMPDEST 000014e4: SWAP5 000014e5: PUSH1 0x20 000014e7: SWAP4 000014e8: SWAP1 000014e9: SWAP4 000014ea: ADD 000014eb: CALLDATALOAD 000014ec: SWAP4 000014ed: POP 000014ee: POP 000014ef: POP 000014f0: JUMP 000014f1: JUMPDEST 000014f2: PUSH0 000014f3: DUP1 000014f4: PUSH0 000014f5: PUSH1 0x60 000014f7: DUP5 000014f8: DUP7 000014f9: SUB 000014fa: SLT 000014fb: ISZERO 000014fc: PUSH2 0x1503 000014ff: JUMPI 00001500: PUSH0 00001501: DUP1 00001502: REVERT 00001503: JUMPDEST 00001504: DUP4 00001505: CALLDATALOAD 00001506: PUSH2 0x150e 00001509: DUP2 0000150a: PUSH2 0x14b0 0000150d: JUMP 0000150e: JUMPDEST 0000150f: SWAP3 00001510: POP 00001511: PUSH1 0x20 00001513: DUP5 00001514: ADD 00001515: CALLDATALOAD 00001516: PUSH2 0x151e 00001519: DUP2 0000151a: PUSH2 0x14b0 0000151d: JUMP 0000151e: JUMPDEST 0000151f: SWAP3 00001520: SWAP6 00001521: SWAP3 00001522: SWAP5 00001523: POP 00001524: POP 00001525: POP 00001526: PUSH1 0x40 00001528: SWAP2 00001529: SWAP1 0000152a: SWAP2 0000152b: ADD 0000152c: CALLDATALOAD 0000152d: SWAP1 0000152e: JUMP 0000152f: JUMPDEST 00001530: PUSH0 00001531: PUSH1 0x20 00001533: DUP3 00001534: DUP5 00001535: SUB 00001536: SLT 00001537: ISZERO 00001538: PUSH2 0x153f 0000153b: JUMPI 0000153c: PUSH0 0000153d: DUP1 0000153e: REVERT 0000153f: JUMPDEST 00001540: DUP2 00001541: CALLDATALOAD 00001542: PUSH2 0x1308 00001545: DUP2 00001546: PUSH2 0x14b0 00001549: JUMP 0000154a: JUMPDEST 0000154b: PUSH0 0000154c: DUP1 0000154d: PUSH1 0x40 0000154f: DUP4 00001550: DUP6 00001551: SUB 00001552: SLT 00001553: ISZERO 00001554: PUSH2 0x155b 00001557: JUMPI 00001558: PUSH0 00001559: DUP1 0000155a: REVERT 0000155b: JUMPDEST 0000155c: DUP3 0000155d: CALLDATALOAD 0000155e: PUSH2 0x1566 00001561: DUP2 00001562: PUSH2 0x14b0 00001565: JUMP 00001566: JUMPDEST 00001567: SWAP2 00001568: POP 00001569: PUSH1 0x20 0000156b: DUP4 0000156c: ADD 0000156d: CALLDATALOAD 0000156e: PUSH2 0x1576 00001571: DUP2 00001572: PUSH2 0x14b0 00001575: JUMP 00001576: JUMPDEST 00001577: DUP1 00001578: SWAP2 00001579: POP 0000157a: POP 0000157b: SWAP3 0000157c: POP 0000157d: SWAP3 0000157e: SWAP1 0000157f: POP 00001580: JUMP 00001581: JUMPDEST 00001582: PUSH4 0x4e487b71 00001587: PUSH1 0xe0 00001589: SHL 0000158a: PUSH0 0000158b: MSTORE 0000158c: PUSH1 0x11 0000158e: PUSH1 0x04 00001590: MSTORE 00001591: PUSH1 0x24 00001593: PUSH0 00001594: REVERT 00001595: JUMPDEST 00001596: PUSH1 0x01 00001598: DUP2 00001599: DUP2 0000159a: JUMPDEST 0000159b: DUP1 0000159c: DUP6 0000159d: GT 0000159e: ISZERO 0000159f: PUSH2 0x15cf 000015a2: JUMPI 000015a3: DUP2 000015a4: PUSH0 000015a5: NOT 000015a6: DIV 000015a7: DUP3 000015a8: GT 000015a9: ISZERO 000015aa: PUSH2 0x15b5 000015ad: JUMPI 000015ae: PUSH2 0x15b5 000015b1: PUSH2 0x1581 000015b4: JUMP 000015b5: JUMPDEST 000015b6: DUP1 000015b7: DUP6 000015b8: AND 000015b9: ISZERO 000015ba: PUSH2 0x15c2 000015bd: JUMPI 000015be: SWAP2 000015bf: DUP2 000015c0: MUL 000015c1: SWAP2 000015c2: JUMPDEST 000015c3: SWAP4 000015c4: DUP5 000015c5: SHR 000015c6: SWAP4 000015c7: SWAP1 000015c8: DUP1 000015c9: MUL 000015ca: SWAP1 000015cb: PUSH2 0x159a 000015ce: JUMP 000015cf: JUMPDEST 000015d0: POP 000015d1: SWAP3 000015d2: POP 000015d3: SWAP3 000015d4: SWAP1 000015d5: POP 000015d6: JUMP 000015d7: JUMPDEST 000015d8: PUSH0 000015d9: DUP3 000015da: PUSH2 0x15e5 000015dd: JUMPI 000015de: POP 000015df: PUSH1 0x01 000015e1: PUSH2 0x03ab 000015e4: JUMP 000015e5: JUMPDEST 000015e6: DUP2 000015e7: PUSH2 0x15f1 000015ea: JUMPI 000015eb: POP 000015ec: PUSH0 000015ed: PUSH2 0x03ab 000015f0: JUMP 000015f1: JUMPDEST 000015f2: DUP2 000015f3: PUSH1 0x01 000015f5: DUP2 000015f6: EQ 000015f7: PUSH2 0x1607 000015fa: JUMPI 000015fb: PUSH1 0x02 000015fd: DUP2 000015fe: EQ 000015ff: PUSH2 0x1611 00001602: JUMPI 00001603: PUSH2 0x162d 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH1 0x01 0000160a: SWAP2 0000160b: POP 0000160c: POP 0000160d: PUSH2 0x03ab 00001610: JUMP 00001611: JUMPDEST 00001612: PUSH1 0xff 00001614: DUP5 00001615: GT 00001616: ISZERO 00001617: PUSH2 0x1622 0000161a: JUMPI 0000161b: PUSH2 0x1622 0000161e: PUSH2 0x1581 00001621: JUMP 00001622: JUMPDEST 00001623: POP 00001624: POP 00001625: PUSH1 0x01 00001627: DUP3 00001628: SHL 00001629: PUSH2 0x03ab 0000162c: JUMP 0000162d: JUMPDEST 0000162e: POP 0000162f: PUSH1 0x20 00001631: DUP4 00001632: LT 00001633: PUSH2 0x0133 00001636: DUP4 00001637: LT 00001638: AND 00001639: PUSH1 0x4e 0000163b: DUP5 0000163c: LT 0000163d: PUSH1 0x0b 0000163f: DUP5 00001640: LT 00001641: AND 00001642: OR 00001643: ISZERO 00001644: PUSH2 0x1650 00001647: JUMPI 00001648: POP 00001649: DUP2 0000164a: DUP2 0000164b: EXP 0000164c: PUSH2 0x03ab 0000164f: JUMP 00001650: JUMPDEST 00001651: PUSH2 0x165a 00001654: DUP4 00001655: DUP4 00001656: PUSH2 0x1595 00001659: JUMP 0000165a: JUMPDEST 0000165b: DUP1 0000165c: PUSH0 0000165d: NOT 0000165e: DIV 0000165f: DUP3 00001660: GT 00001661: ISZERO 00001662: PUSH2 0x166d 00001665: JUMPI 00001666: PUSH2 0x166d 00001669: PUSH2 0x1581 0000166c: JUMP 0000166d: JUMPDEST 0000166e: MUL 0000166f: SWAP4 00001670: SWAP3 00001671: POP 00001672: POP 00001673: POP 00001674: JUMP 00001675: JUMPDEST 00001676: PUSH0 00001677: PUSH2 0x1308 0000167a: PUSH1 0xff 0000167c: DUP5 0000167d: AND 0000167e: DUP4 0000167f: PUSH2 0x15d7 00001682: JUMP 00001683: JUMPDEST 00001684: DUP1 00001685: DUP3 00001686: MUL 00001687: DUP2 00001688: ISZERO 00001689: DUP3 0000168a: DUP3 0000168b: DIV 0000168c: DUP5 0000168d: EQ 0000168e: OR 0000168f: PUSH2 0x03ab 00001692: JUMPI 00001693: PUSH2 0x03ab 00001696: PUSH2 0x1581 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH1 0x20 0000169d: DUP1 0000169e: DUP3 0000169f: MSTORE 000016a0: DUP2 000016a1: DUP2 000016a2: ADD 000016a3: MSTORE 000016a4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000016c5: PUSH1 0x40 000016c7: DUP3 000016c8: ADD 000016c9: MSTORE 000016ca: PUSH1 0x60 000016cc: ADD 000016cd: SWAP1 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH0 000016d1: PUSH1 0x20 000016d3: DUP3 000016d4: DUP5 000016d5: SUB 000016d6: SLT 000016d7: ISZERO 000016d8: PUSH2 0x16df 000016db: JUMPI 000016dc: PUSH0 000016dd: DUP1 000016de: REVERT 000016df: JUMPDEST 000016e0: DUP2 000016e1: MLOAD 000016e2: PUSH2 0x1308 000016e5: DUP2 000016e6: PUSH2 0x14b0 000016e9: JUMP 000016ea: JUMPDEST 000016eb: PUSH0 000016ec: DUP1 000016ed: PUSH0 000016ee: PUSH1 0x60 000016f0: DUP5 000016f1: DUP7 000016f2: SUB 000016f3: SLT 000016f4: ISZERO 000016f5: PUSH2 0x16fc 000016f8: JUMPI 000016f9: PUSH0 000016fa: DUP1 000016fb: REVERT 000016fc: JUMPDEST 000016fd: DUP4 000016fe: MLOAD 000016ff: SWAP3 00001700: POP 00001701: PUSH1 0x20 00001703: DUP5 00001704: ADD 00001705: MLOAD 00001706: SWAP2 00001707: POP 00001708: PUSH1 0x40 0000170a: DUP5 0000170b: ADD 0000170c: MLOAD 0000170d: SWAP1 0000170e: POP 0000170f: SWAP3 00001710: POP 00001711: SWAP3 00001712: POP 00001713: SWAP3 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH0 00001717: PUSH1 0x20 00001719: DUP3 0000171a: DUP5 0000171b: SUB 0000171c: SLT 0000171d: ISZERO 0000171e: PUSH2 0x1725 00001721: JUMPI 00001722: PUSH0 00001723: DUP1 00001724: REVERT 00001725: JUMPDEST 00001726: DUP2 00001727: MLOAD 00001728: DUP1 00001729: ISZERO 0000172a: ISZERO 0000172b: DUP2 0000172c: EQ 0000172d: PUSH2 0x1308 00001730: JUMPI 00001731: PUSH0 00001732: DUP1 00001733: REVERT 00001734: JUMPDEST 00001735: DUP1 00001736: DUP3 00001737: ADD 00001738: DUP1 00001739: DUP3 0000173a: GT 0000173b: ISZERO 0000173c: PUSH2 0x03ab 0000173f: JUMPI 00001740: PUSH2 0x03ab 00001743: PUSH2 0x1581 00001746: JUMP 00001747: JUMPDEST 00001748: PUSH0 00001749: PUSH1 0x01 0000174b: DUP3 0000174c: ADD 0000174d: PUSH2 0x1758 00001750: JUMPI 00001751: PUSH2 0x1758 00001754: PUSH2 0x1581 00001757: JUMP 00001758: JUMPDEST 00001759: POP 0000175a: PUSH1 0x01 0000175c: ADD 0000175d: SWAP1 0000175e: JUMP 0000175f: JUMPDEST 00001760: DUP2 00001761: DUP2 00001762: SUB 00001763: DUP2 00001764: DUP2 00001765: GT 00001766: ISZERO 00001767: PUSH2 0x03ab 0000176a: JUMPI 0000176b: PUSH2 0x03ab 0000176e: PUSH2 0x1581 00001771: JUMP 00001772: JUMPDEST 00001773: PUSH4 0x4e487b71 00001778: PUSH1 0xe0 0000177a: SHL 0000177b: PUSH0 0000177c: MSTORE 0000177d: PUSH1 0x32 0000177f: PUSH1 0x04 00001781: MSTORE 00001782: PUSH1 0x24 00001784: PUSH0 00001785: REVERT 00001786: JUMPDEST 00001787: PUSH0 00001788: PUSH1 0xa0 0000178a: DUP3 0000178b: ADD 0000178c: DUP8 0000178d: DUP4 0000178e: MSTORE 0000178f: PUSH1 0x20 00001791: DUP8 00001792: DUP2 00001793: DUP6 00001794: ADD 00001795: MSTORE 00001796: PUSH1 0xa0 00001798: PUSH1 0x40 0000179a: DUP6 0000179b: ADD 0000179c: MSTORE 0000179d: DUP2 0000179e: DUP8 0000179f: MLOAD 000017a0: DUP1 000017a1: DUP5 000017a2: MSTORE 000017a3: PUSH1 0xc0 000017a5: DUP7 000017a6: ADD 000017a7: SWAP2 000017a8: POP 000017a9: DUP3 000017aa: DUP10 000017ab: ADD 000017ac: SWAP4 000017ad: POP 000017ae: PUSH0 000017af: JUMPDEST 000017b0: DUP2 000017b1: DUP2 000017b2: LT 000017b3: ISZERO 000017b4: PUSH2 0x17d4 000017b7: JUMPI 000017b8: DUP5 000017b9: MLOAD 000017ba: PUSH1 0x01 000017bc: PUSH1 0x01 000017be: PUSH1 0xa0 000017c0: SHL 000017c1: SUB 000017c2: AND 000017c3: DUP4 000017c4: MSTORE 000017c5: SWAP4 000017c6: DUP4 000017c7: ADD 000017c8: SWAP4 000017c9: SWAP2 000017ca: DUP4 000017cb: ADD 000017cc: SWAP2 000017cd: PUSH1 0x01 000017cf: ADD 000017d0: PUSH2 0x17af 000017d3: JUMP 000017d4: JUMPDEST 000017d5: POP 000017d6: POP 000017d7: PUSH1 0x01 000017d9: PUSH1 0x01 000017db: PUSH1 0xa0 000017dd: SHL 000017de: SUB 000017df: SWAP7 000017e0: SWAP1 000017e1: SWAP7 000017e2: AND 000017e3: PUSH1 0x60 000017e5: DUP6 000017e6: ADD 000017e7: MSTORE 000017e8: POP 000017e9: POP 000017ea: POP 000017eb: PUSH1 0x80 000017ed: ADD 000017ee: MSTORE 000017ef: SWAP4 000017f0: SWAP3 000017f1: POP 000017f2: POP 000017f3: POP 000017f4: JUMP 000017f5: JUMPDEST 000017f6: PUSH0 000017f7: DUP3 000017f8: PUSH2 0x180f 000017fb: JUMPI 000017fc: PUSH4 0x4e487b71 00001801: PUSH1 0xe0 00001803: SHL 00001804: PUSH0 00001805: MSTORE 00001806: PUSH1 0x12 00001808: PUSH1 0x04 0000180a: MSTORE 0000180b: PUSH1 0x24 0000180d: PUSH0 0000180e: REVERT 0000180f: JUMPDEST 00001810: POP 00001811: DIV 00001812: SWAP1 00001813: JUMP 00001814: INVALID 00001815: GASLIMIT 00001816: MSTORE 00001817: NUMBER 00001818: ORIGIN 00001819: ADDRESS 0000181a: GASPRICE 0000181b: KECCAK256 0000181c: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001832: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001847: TLOAD 00001848: UNKNOWN(0xD6) 00001849: UNKNOWN(0x4F) 0000184a: BLOBBASEFEE 0000184b: MLOAD 0000184c: SSTORE 0000184d: PUSH21 0xa419cedd89bd3af1aa79ac6589982ae699c9becd07 00001863: UNKNOWN(0xA9) 00001864: UNKNOWN(0xCF) 00001865: UNKNOWN(0xC4) 00001866: CALLVALUE 00001867: PUSH5 0x736f6c6343 0000186d: STOP 0000186e: ADDMOD 0000186f: ISZERO 00001870: STOP 00001871: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9a55c0",
"selector": "0x8f9a55c0",
"calldata_variants": [
"0x8f9a55c0",
"0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3151,
"type": "tx_origin_used"
},
{
"pc": 3300,
"type": "tx_origin_used"
},
{
"pc": 6168,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x247726f09ae66813dc194a89f5cc74eb2a0eefa5366722fa710f9971bfa83ac4
call_targets:
0x1889df235d8a43184036e4af53d3a38828a56826
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x247726f09ae66813dc194a89f5cc74eb2a0eefa5366722fa710f9971bfa83ac4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1889df235d8a43184036e4af53d3a38828a56826"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9a55c0",
"selector": "0x8f9a55c0",
"calldata_variants": [
"0x8f9a55c0",
"0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1997,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2225,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3151,
"type": "tx_origin_used"
},
{
"pc": 3300,
"type": "tx_origin_used"
},
{
"pc": 6168,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x247726f09ae66813dc194a89f5cc74eb2a0eefa5366722fa710f9971bfa83ac4
call_targets:
0x1889df235d8a43184036e4af53d3a38828a56826
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x247726f09ae66813dc194a89f5cc74eb2a0eefa5366722fa710f9971bfa83ac4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1889df235d8a43184036e4af53d3a38828a56826"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9a55c0",
"selector": "0x8f9a55c0",
"calldata_variants": [
"0x8f9a55c0",
"0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1997,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2225,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3151,
"type": "tx_origin_used"
},
{
"pc": 3300,
"type": "tx_origin_used"
},
{
"pc": 6168,
"type": "tx_origin_used"
}
]
}
|