019b477e-afee-706f-9151-fb42a52e89d7
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 |
|---|---|---|---|---|
| 21879 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21880 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89377 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89378 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89379 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89380 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00e5 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x0d2cbe13 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00e7 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x41c0e1b5 00000046: EQ 00000047: PUSH2 0x0102 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4d61537f 00000051: EQ 00000052: PUSH2 0x0117 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x57246d23 0000005c: EQ 0000005d: PUSH2 0x0148 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x5e83b463 00000067: EQ 00000068: PUSH2 0x0179 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8da5cb5b 00000072: EQ 00000073: PUSH2 0x0193 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb539cd55 0000007d: EQ 0000007e: PUSH2 0x01a8 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xc1075329 00000088: EQ 00000089: PUSH2 0x01cf 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xd06c54fb 00000093: EQ 00000094: PUSH2 0x01f3 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xd579fd44 0000009e: EQ 0000009f: PUSH2 0x0208 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xd6d30a51 000000a9: EQ 000000aa: PUSH2 0x0229 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd702087f 000000b4: EQ 000000b5: PUSH2 0x0241 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xdf88126f 000000bf: EQ 000000c0: PUSH2 0x0262 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xe1fdb4b4 000000ca: EQ 000000cb: PUSH2 0x0277 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xef115542 000000d5: EQ 000000d6: PUSH2 0x028f 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xfbd668a9 000000e0: EQ 000000e1: PUSH2 0x02af 000000e4: JUMPI 000000e5: JUMPDEST 000000e6: STOP 000000e7: JUMPDEST 000000e8: CALLVALUE 000000e9: DUP1 000000ea: ISZERO 000000eb: PUSH2 0x00f3 000000ee: JUMPI 000000ef: PUSH1 0x00 000000f1: DUP1 000000f2: REVERT 000000f3: JUMPDEST 000000f4: POP 000000f5: PUSH2 0x00e5 000000f8: PUSH1 0x04 000000fa: CALLDATALOAD 000000fb: PUSH1 0x24 000000fd: CALLDATALOAD 000000fe: PUSH2 0x02c7 00000101: JUMP 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x00e5 00000113: PUSH2 0x0765 00000116: JUMP 00000117: JUMPDEST 00000118: CALLVALUE 00000119: DUP1 0000011a: ISZERO 0000011b: PUSH2 0x0123 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: POP 00000125: PUSH2 0x012c 00000128: PUSH2 0x0889 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x40 0000012f: DUP1 00000130: MLOAD 00000131: PUSH1 0x01 00000133: PUSH1 0xa0 00000135: PUSH1 0x02 00000137: EXP 00000138: SUB 00000139: SWAP1 0000013a: SWAP3 0000013b: AND 0000013c: DUP3 0000013d: MSTORE 0000013e: MLOAD 0000013f: SWAP1 00000140: DUP2 00000141: SWAP1 00000142: SUB 00000143: PUSH1 0x20 00000145: ADD 00000146: SWAP1 00000147: RETURN 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x015d 00000159: PUSH2 0x0898 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: DUP1 00000161: MLOAD 00000162: PUSH1 0x01 00000164: PUSH1 0x80 00000166: PUSH1 0x02 00000168: EXP 00000169: SUB 0000016a: SWAP1 0000016b: SWAP3 0000016c: AND 0000016d: DUP3 0000016e: MSTORE 0000016f: MLOAD 00000170: SWAP1 00000171: DUP2 00000172: SWAP1 00000173: SUB 00000174: PUSH1 0x20 00000176: ADD 00000177: SWAP1 00000178: RETURN 00000179: JUMPDEST 0000017a: PUSH2 0x00e5 0000017d: PUSH1 0x04 0000017f: CALLDATALOAD 00000180: PUSH1 0x24 00000182: CALLDATALOAD 00000183: PUSH1 0x44 00000185: CALLDATALOAD 00000186: PUSH1 0x64 00000188: CALLDATALOAD 00000189: PUSH1 0x84 0000018b: CALLDATALOAD 0000018c: PUSH1 0xa4 0000018e: CALLDATALOAD 0000018f: PUSH2 0x08a7 00000192: JUMP 00000193: JUMPDEST 00000194: CALLVALUE 00000195: DUP1 00000196: ISZERO 00000197: PUSH2 0x019f 0000019a: JUMPI 0000019b: PUSH1 0x00 0000019d: DUP1 0000019e: REVERT 0000019f: JUMPDEST 000001a0: POP 000001a1: PUSH2 0x012c 000001a4: PUSH2 0x0f23 000001a7: JUMP 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: DUP1 000001ab: ISZERO 000001ac: PUSH2 0x01b4 000001af: JUMPI 000001b0: PUSH1 0x00 000001b2: DUP1 000001b3: REVERT 000001b4: JUMPDEST 000001b5: POP 000001b6: PUSH2 0x01bd 000001b9: PUSH2 0x0f32 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: DUP1 000001c1: MLOAD 000001c2: SWAP2 000001c3: DUP3 000001c4: MSTORE 000001c5: MLOAD 000001c6: SWAP1 000001c7: DUP2 000001c8: SWAP1 000001c9: SUB 000001ca: PUSH1 0x20 000001cc: ADD 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x00e5 000001e0: PUSH1 0x01 000001e2: PUSH1 0xa0 000001e4: PUSH1 0x02 000001e6: EXP 000001e7: SUB 000001e8: PUSH1 0x04 000001ea: CALLDATALOAD 000001eb: AND 000001ec: PUSH1 0x24 000001ee: CALLDATALOAD 000001ef: PUSH2 0x0f38 000001f2: JUMP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x00e5 00000204: PUSH2 0x10a0 00000207: JUMP 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x00e5 00000219: PUSH1 0x01 0000021b: PUSH1 0xa0 0000021d: PUSH1 0x02 0000021f: EXP 00000220: SUB 00000221: PUSH1 0x04 00000223: CALLDATALOAD 00000224: AND 00000225: PUSH2 0x1145 00000228: JUMP 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x00e5 0000023a: PUSH1 0x04 0000023c: CALLDATALOAD 0000023d: PUSH2 0x123c 00000240: JUMP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x00e5 00000252: PUSH1 0x01 00000254: PUSH1 0xa0 00000256: PUSH1 0x02 00000258: EXP 00000259: SUB 0000025a: PUSH1 0x04 0000025c: CALLDATALOAD 0000025d: AND 0000025e: PUSH2 0x13c5 00000261: JUMP 00000262: JUMPDEST 00000263: CALLVALUE 00000264: DUP1 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: PUSH2 0x015d 00000273: PUSH2 0x1456 00000276: JUMP 00000277: JUMPDEST 00000278: CALLVALUE 00000279: DUP1 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: PUSH2 0x00e5 00000288: PUSH1 0x04 0000028a: CALLDATALOAD 0000028b: PUSH2 0x146c 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x00e5 000002a0: PUSH1 0x04 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: PUSH1 0x24 000002a6: DUP2 000002a7: ADD 000002a8: SWAP2 000002a9: ADD 000002aa: CALLDATALOAD 000002ab: PUSH2 0x1629 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x00e5 000002c0: PUSH1 0x04 000002c2: CALLDATALOAD 000002c3: PUSH2 0x165e 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: PUSH1 0x00 000002d0: DUP1 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: DUP16 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: PUSH1 0x20 000002e3: ADD 000002e4: DUP1 000002e5: DUP3 000002e6: DUP2 000002e7: MSTORE 000002e8: PUSH1 0x20 000002ea: ADD 000002eb: SWAP2 000002ec: POP 000002ed: POP 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: PUSH1 0x20 000002f3: DUP2 000002f4: DUP4 000002f5: SUB 000002f6: SUB 000002f7: DUP2 000002f8: MSTORE 000002f9: SWAP1 000002fa: PUSH1 0x40 000002fc: MSTORE 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: DUP1 00000301: DUP3 00000302: DUP1 00000303: MLOAD 00000304: SWAP1 00000305: PUSH1 0x20 00000307: ADD 00000308: SWAP1 00000309: DUP1 0000030a: DUP4 0000030b: DUP4 0000030c: JUMPDEST 0000030d: PUSH1 0x20 0000030f: DUP4 00000310: LT 00000311: PUSH2 0x032b 00000314: JUMPI 00000315: DUP1 00000316: MLOAD 00000317: DUP3 00000318: MSTORE 00000319: PUSH1 0x1f 0000031b: NOT 0000031c: SWAP1 0000031d: SWAP3 0000031e: ADD 0000031f: SWAP2 00000320: PUSH1 0x20 00000322: SWAP2 00000323: DUP3 00000324: ADD 00000325: SWAP2 00000326: ADD 00000327: PUSH2 0x030c 0000032a: JUMP 0000032b: JUMPDEST 0000032c: PUSH1 0x01 0000032e: DUP4 0000032f: PUSH1 0x20 00000331: SUB 00000332: PUSH2 0x0100 00000335: EXP 00000336: SUB 00000337: DUP1 00000338: NOT 00000339: DUP3 0000033a: MLOAD 0000033b: AND 0000033c: DUP2 0000033d: DUP5 0000033e: MLOAD 0000033f: AND 00000340: DUP1 00000341: DUP3 00000342: OR 00000343: DUP6 00000344: MSTORE 00000345: POP 00000346: POP 00000347: POP 00000348: POP 00000349: POP 0000034a: POP 0000034b: SWAP1 0000034c: POP 0000034d: ADD 0000034e: SWAP2 0000034f: POP 00000350: POP 00000351: PUSH1 0x40 00000353: MLOAD 00000354: DUP1 00000355: SWAP2 00000356: SUB 00000357: SWAP1 00000358: KECCAK256 00000359: PUSH1 0x01 0000035b: SWAP1 0000035c: DIV 0000035d: SWAP14 0000035e: POP 0000035f: PUSH1 0x05 00000361: PUSH1 0x00 00000363: DUP16 00000364: DUP2 00000365: MSTORE 00000366: PUSH1 0x20 00000368: ADD 00000369: SWAP1 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: PUSH1 0x00 00000371: KECCAK256 00000372: SWAP13 00000373: POP 00000374: DUP13 00000375: PUSH1 0x00 00000377: ADD 00000378: SLOAD 00000379: SWAP12 0000037a: POP 0000037b: DUP13 0000037c: PUSH1 0x01 0000037e: ADD 0000037f: PUSH1 0x00 00000381: SWAP1 00000382: SLOAD 00000383: SWAP1 00000384: PUSH2 0x0100 00000387: EXP 00000388: SWAP1 00000389: DIV 0000038a: PUSH1 0xff 0000038c: AND 0000038d: PUSH1 0xff 0000038f: AND 00000390: SWAP11 00000391: POP 00000392: DUP13 00000393: PUSH1 0x01 00000395: ADD 00000396: PUSH1 0x01 00000398: SWAP1 00000399: SLOAD 0000039a: SWAP1 0000039b: PUSH2 0x0100 0000039e: EXP 0000039f: SWAP1 000003a0: DIV 000003a1: PUSH1 0xff 000003a3: AND 000003a4: PUSH1 0xff 000003a6: AND 000003a7: SWAP10 000003a8: POP 000003a9: DUP13 000003aa: PUSH1 0x01 000003ac: ADD 000003ad: PUSH1 0x02 000003af: SWAP1 000003b0: SLOAD 000003b1: SWAP1 000003b2: PUSH2 0x0100 000003b5: EXP 000003b6: SWAP1 000003b7: DIV 000003b8: PUSH5 0xffffffffff 000003be: AND 000003bf: PUSH5 0xffffffffff 000003c5: AND 000003c6: SWAP9 000003c7: POP 000003c8: DUP13 000003c9: PUSH1 0x01 000003cb: ADD 000003cc: PUSH1 0x0c 000003ce: SWAP1 000003cf: SLOAD 000003d0: SWAP1 000003d1: PUSH2 0x0100 000003d4: EXP 000003d5: SWAP1 000003d6: DIV 000003d7: PUSH1 0x01 000003d9: PUSH1 0xa0 000003db: PUSH1 0x02 000003dd: EXP 000003de: SUB 000003df: AND 000003e0: SWAP8 000003e1: POP 000003e2: DUP12 000003e3: PUSH1 0x00 000003e5: EQ 000003e6: ISZERO 000003e7: ISZERO 000003e8: ISZERO 000003e9: PUSH2 0x0462 000003ec: JUMPI 000003ed: PUSH1 0x40 000003ef: DUP1 000003f0: MLOAD 000003f1: PUSH1 0xe5 000003f3: PUSH1 0x02 000003f5: EXP 000003f6: PUSH3 0x461bcd 000003fa: MUL 000003fb: DUP2 000003fc: MSTORE 000003fd: PUSH1 0x20 000003ff: PUSH1 0x04 00000401: DUP3 00000402: ADD 00000403: MSTORE 00000404: PUSH1 0x22 00000406: PUSH1 0x24 00000408: DUP3 00000409: ADD 0000040a: MSTORE 0000040b: PUSH32 0x4265742073686f756c6420626520696e20616e20276163746976652720737461 0000042c: PUSH1 0x44 0000042e: DUP3 0000042f: ADD 00000430: MSTORE 00000431: PUSH32 0x7465000000000000000000000000000000000000000000000000000000000000 00000452: PUSH1 0x64 00000454: DUP3 00000455: ADD 00000456: MSTORE 00000457: SWAP1 00000458: MLOAD 00000459: SWAP1 0000045a: DUP2 0000045b: SWAP1 0000045c: SUB 0000045d: PUSH1 0x84 0000045f: ADD 00000460: SWAP1 00000461: REVERT 00000462: JUMPDEST 00000463: NUMBER 00000464: DUP10 00000465: LT 00000466: PUSH2 0x04df 00000469: JUMPI 0000046a: PUSH1 0x40 0000046c: DUP1 0000046d: MLOAD 0000046e: PUSH1 0xe5 00000470: PUSH1 0x02 00000472: EXP 00000473: PUSH3 0x461bcd 00000477: MUL 00000478: DUP2 00000479: MSTORE 0000047a: PUSH1 0x20 0000047c: PUSH1 0x04 0000047e: DUP3 0000047f: ADD 00000480: MSTORE 00000481: PUSH1 0x33 00000483: PUSH1 0x24 00000485: DUP3 00000486: ADD 00000487: MSTORE 00000488: PUSH32 0x736574746c6542657420696e207468652073616d6520626c6f636b2061732070 000004a9: PUSH1 0x44 000004ab: DUP3 000004ac: ADD 000004ad: MSTORE 000004ae: PUSH32 0x6c6163654265742c206f72206265666f72652e00000000000000000000000000 000004cf: PUSH1 0x64 000004d1: DUP3 000004d2: ADD 000004d3: MSTORE 000004d4: SWAP1 000004d5: MLOAD 000004d6: SWAP1 000004d7: DUP2 000004d8: SWAP1 000004d9: SUB 000004da: PUSH1 0x84 000004dc: ADD 000004dd: SWAP1 000004de: REVERT 000004df: JUMPDEST 000004e0: PUSH1 0xfa 000004e2: DUP10 000004e3: ADD 000004e4: NUMBER 000004e5: GT 000004e6: ISZERO 000004e7: PUSH2 0x0560 000004ea: JUMPI 000004eb: PUSH1 0x40 000004ed: DUP1 000004ee: MLOAD 000004ef: PUSH1 0xe5 000004f1: PUSH1 0x02 000004f3: EXP 000004f4: PUSH3 0x461bcd 000004f8: MUL 000004f9: DUP2 000004fa: MSTORE 000004fb: PUSH1 0x20 000004fd: PUSH1 0x04 000004ff: DUP3 00000500: ADD 00000501: MSTORE 00000502: PUSH1 0x22 00000504: PUSH1 0x24 00000506: DUP3 00000507: ADD 00000508: MSTORE 00000509: PUSH32 0x426c6f636b686173682063616e27742062652071756572696564206279204556 0000052a: PUSH1 0x44 0000052c: DUP3 0000052d: ADD 0000052e: MSTORE 0000052f: PUSH32 0x4d2e000000000000000000000000000000000000000000000000000000000000 00000550: PUSH1 0x64 00000552: DUP3 00000553: ADD 00000554: MSTORE 00000555: SWAP1 00000556: MLOAD 00000557: SWAP1 00000558: DUP2 00000559: SWAP1 0000055a: SUB 0000055b: PUSH1 0x84 0000055d: ADD 0000055e: SWAP1 0000055f: REVERT 00000560: JUMPDEST 00000561: PUSH1 0x00 00000563: DUP14 00000564: PUSH1 0x00 00000566: ADD 00000567: DUP2 00000568: SWAP1 00000569: SSTORE 0000056a: POP 0000056b: DUP16 0000056c: DUP10 0000056d: BLOCKHASH 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: PUSH1 0x20 00000573: ADD 00000574: DUP1 00000575: DUP4 00000576: DUP2 00000577: MSTORE 00000578: PUSH1 0x20 0000057a: ADD 0000057b: DUP3 0000057c: PUSH1 0x00 0000057e: NOT 0000057f: AND 00000580: PUSH1 0x00 00000582: NOT 00000583: AND 00000584: DUP2 00000585: MSTORE 00000586: PUSH1 0x20 00000588: ADD 00000589: SWAP3 0000058a: POP 0000058b: POP 0000058c: POP 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: PUSH1 0x20 00000592: DUP2 00000593: DUP4 00000594: SUB 00000595: SUB 00000596: DUP2 00000597: MSTORE 00000598: SWAP1 00000599: PUSH1 0x40 0000059b: MSTORE 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: DUP1 000005a0: DUP3 000005a1: DUP1 000005a2: MLOAD 000005a3: SWAP1 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: SWAP1 000005a8: DUP1 000005a9: DUP4 000005aa: DUP4 000005ab: JUMPDEST 000005ac: PUSH1 0x20 000005ae: DUP4 000005af: LT 000005b0: PUSH2 0x05ca 000005b3: JUMPI 000005b4: DUP1 000005b5: MLOAD 000005b6: DUP3 000005b7: MSTORE 000005b8: PUSH1 0x1f 000005ba: NOT 000005bb: SWAP1 000005bc: SWAP3 000005bd: ADD 000005be: SWAP2 000005bf: PUSH1 0x20 000005c1: SWAP2 000005c2: DUP3 000005c3: ADD 000005c4: SWAP2 000005c5: ADD 000005c6: PUSH2 0x05ab 000005c9: JUMP 000005ca: JUMPDEST 000005cb: MLOAD 000005cc: DUP2 000005cd: MLOAD 000005ce: PUSH1 0x20 000005d0: SWAP4 000005d1: SWAP1 000005d2: SWAP4 000005d3: SUB 000005d4: PUSH2 0x0100 000005d7: EXP 000005d8: PUSH1 0x00 000005da: NOT 000005db: ADD 000005dc: DUP1 000005dd: NOT 000005de: SWAP1 000005df: SWAP2 000005e0: AND 000005e1: SWAP3 000005e2: AND 000005e3: SWAP2 000005e4: SWAP1 000005e5: SWAP2 000005e6: OR 000005e7: SWAP1 000005e8: MSTORE 000005e9: PUSH1 0x40 000005eb: MLOAD 000005ec: SWAP3 000005ed: ADD 000005ee: DUP3 000005ef: SWAP1 000005f0: SUB 000005f1: SWAP1 000005f2: SWAP2 000005f3: KECCAK256 000005f4: SWAP10 000005f5: POP 000005f6: DUP14 000005f7: SWAP3 000005f8: POP 000005f9: DUP10 000005fa: SWAP2 000005fb: POP 000005fc: POP 000005fd: DUP2 000005fe: ISZERO 000005ff: ISZERO 00000600: PUSH2 0x0605 00000603: JUMPI 00000604: INVALID 00000605: JUMPDEST 00000606: MOD 00000607: SWAP6 00000608: POP 00000609: PUSH2 0x0613 0000060c: DUP13 0000060d: DUP13 0000060e: DUP13 0000060f: PUSH2 0x174c 00000612: JUMP 00000613: JUMPDEST 00000614: SWAP1 00000615: SWAP6 00000616: POP 00000617: SWAP4 00000618: POP 00000619: PUSH1 0x00 0000061b: SWAP3 0000061c: POP 0000061d: DUP3 0000061e: SWAP2 0000061f: POP 00000620: PUSH1 0x28 00000622: DUP12 00000623: GT 00000624: PUSH2 0x0653 00000627: JUMPI 00000628: PUSH1 0x01 0000062a: DUP14 0000062b: ADD 0000062c: SLOAD 0000062d: PUSH1 0x02 0000062f: DUP8 00000630: SWAP1 00000631: EXP 00000632: PUSH8 0x0100000000000000 0000063b: SWAP1 0000063c: SWAP2 0000063d: DIV 0000063e: AND 0000063f: PUSH5 0xffffffffff 00000645: AND 00000646: ISZERO 00000647: PUSH2 0x064e 0000064a: JUMPI 0000064b: DUP5 0000064c: SWAP3 0000064d: POP 0000064e: JUMPDEST 0000064f: PUSH2 0x065f 00000652: JUMP 00000653: JUMPDEST 00000654: DUP10 00000655: DUP7 00000656: LT 00000657: ISZERO 00000658: PUSH2 0x065f 0000065b: JUMPI 0000065c: DUP5 0000065d: SWAP3 0000065e: POP 0000065f: JUMPDEST 00000660: PUSH1 0x04 00000662: DUP1 00000663: SLOAD 00000664: PUSH1 0x01 00000666: PUSH1 0x80 00000668: PUSH1 0x02 0000066a: EXP 0000066b: SUB 0000066c: PUSH1 0x80 0000066e: PUSH1 0x02 00000670: EXP 00000671: DUP1 00000672: DUP4 00000673: DIV 00000674: DUP3 00000675: AND 00000676: DUP10 00000677: SWAP1 00000678: SUB 00000679: DUP3 0000067a: AND 0000067b: MUL 0000067c: SWAP2 0000067d: AND 0000067e: OR 0000067f: SWAP1 00000680: SSTORE 00000681: PUSH8 0x016345785d8a0000 0000068a: DUP13 0000068b: LT 0000068c: PUSH2 0x06d8 0000068f: JUMPI 00000690: PUSH2 0x03e8 00000693: DUP12 00000694: DUP9 00000695: DUP2 00000696: ISZERO 00000697: ISZERO 00000698: PUSH2 0x069d 0000069b: JUMPI 0000069c: INVALID 0000069d: JUMPDEST 0000069e: DIV 0000069f: DUP2 000006a0: ISZERO 000006a1: ISZERO 000006a2: PUSH2 0x06a7 000006a5: JUMPI 000006a6: INVALID 000006a7: JUMPDEST 000006a8: MOD 000006a9: SWAP1 000006aa: POP 000006ab: DUP1 000006ac: ISZERO 000006ad: ISZERO 000006ae: PUSH2 0x06d8 000006b1: JUMPI 000006b2: PUSH1 0x04 000006b4: DUP1 000006b5: SLOAD 000006b6: PUSH16 0xffffffffffffffffffffffffffffffff 000006c7: NOT 000006c8: DUP2 000006c9: AND 000006ca: SWAP1 000006cb: SWAP2 000006cc: SSTORE 000006cd: PUSH1 0x01 000006cf: PUSH1 0x80 000006d1: PUSH1 0x02 000006d3: EXP 000006d4: SUB 000006d5: AND 000006d6: SWAP2 000006d7: POP 000006d8: JUMPDEST 000006d9: PUSH1 0x00 000006db: DUP3 000006dc: GT 000006dd: ISZERO 000006de: PUSH2 0x0721 000006e1: JUMPI 000006e2: PUSH1 0x40 000006e4: DUP1 000006e5: MLOAD 000006e6: DUP4 000006e7: DUP2 000006e8: MSTORE 000006e9: SWAP1 000006ea: MLOAD 000006eb: PUSH1 0x01 000006ed: PUSH1 0xa0 000006ef: PUSH1 0x02 000006f1: EXP 000006f2: SUB 000006f3: DUP11 000006f4: AND 000006f5: SWAP2 000006f6: PUSH32 0xc388db0e8aa560a59633c094a0d0aa21322cd6234836fd5bac00fc5ae63b5783 00000717: SWAP2 00000718: SWAP1 00000719: DUP2 0000071a: SWAP1 0000071b: SUB 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: SWAP1 00000720: LOG2 00000721: JUMPDEST 00000722: PUSH2 0x073e 00000725: DUP9 00000726: DUP5 00000727: DUP5 00000728: ADD 00000729: ISZERO 0000072a: PUSH2 0x0735 0000072d: JUMPI 0000072e: DUP4 0000072f: DUP6 00000730: ADD 00000731: PUSH2 0x0738 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH1 0x01 00000738: JUMPDEST 00000739: DUP6 0000073a: PUSH2 0x1894 0000073d: JUMP 0000073e: JUMPDEST 0000073f: DUP15 00000740: ISZERO 00000741: ISZERO 00000742: PUSH2 0x074a 00000745: JUMPI 00000746: PUSH2 0x0753 00000749: JUMP 0000074a: JUMPDEST 0000074b: PUSH2 0x0753 0000074e: DUP16 0000074f: PUSH2 0x1947 00000752: JUMP 00000753: JUMPDEST 00000754: POP 00000755: POP 00000756: POP 00000757: POP 00000758: POP 00000759: POP 0000075a: POP 0000075b: POP 0000075c: POP 0000075d: POP 0000075e: POP 0000075f: POP 00000760: POP 00000761: POP 00000762: POP 00000763: POP 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x00 00000768: SLOAD 00000769: PUSH1 0x01 0000076b: PUSH1 0xa0 0000076d: PUSH1 0x02 0000076f: EXP 00000770: SUB 00000771: AND 00000772: CALLER 00000773: EQ 00000774: PUSH2 0x07c7 00000777: JUMPI 00000778: PUSH1 0x40 0000077a: DUP1 0000077b: MLOAD 0000077c: PUSH1 0xe5 0000077e: PUSH1 0x02 00000780: EXP 00000781: PUSH3 0x461bcd 00000785: MUL 00000786: DUP2 00000787: MSTORE 00000788: PUSH1 0x20 0000078a: PUSH1 0x04 0000078c: DUP3 0000078d: ADD 0000078e: MSTORE 0000078f: PUSH1 0x26 00000791: PUSH1 0x24 00000793: DUP3 00000794: ADD 00000795: MSTORE 00000796: PUSH1 0x00 00000798: DUP1 00000799: MLOAD 0000079a: PUSH1 0x20 0000079c: PUSH2 0x198f 0000079f: DUP4 000007a0: CODECOPY 000007a1: DUP2 000007a2: MLOAD 000007a3: SWAP2 000007a4: MSTORE 000007a5: PUSH1 0x44 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: PUSH1 0xd1 000007ac: PUSH1 0x02 000007ae: EXP 000007af: PUSH6 0x37bbb732b917 000007b6: MUL 000007b7: PUSH1 0x64 000007b9: DUP3 000007ba: ADD 000007bb: MSTORE 000007bc: SWAP1 000007bd: MLOAD 000007be: SWAP1 000007bf: DUP2 000007c0: SWAP1 000007c1: SUB 000007c2: PUSH1 0x84 000007c4: ADD 000007c5: SWAP1 000007c6: REVERT 000007c7: JUMPDEST 000007c8: PUSH1 0x04 000007ca: SLOAD 000007cb: PUSH1 0x80 000007cd: PUSH1 0x02 000007cf: EXP 000007d0: SWAP1 000007d1: DIV 000007d2: PUSH1 0x01 000007d4: PUSH1 0x80 000007d6: PUSH1 0x02 000007d8: EXP 000007d9: SUB 000007da: AND 000007db: ISZERO 000007dc: PUSH2 0x087b 000007df: JUMPI 000007e0: PUSH1 0x40 000007e2: DUP1 000007e3: MLOAD 000007e4: PUSH1 0xe5 000007e6: PUSH1 0x02 000007e8: EXP 000007e9: PUSH3 0x461bcd 000007ed: MUL 000007ee: DUP2 000007ef: MSTORE 000007f0: PUSH1 0x20 000007f2: PUSH1 0x04 000007f4: DUP3 000007f5: ADD 000007f6: MSTORE 000007f7: PUSH1 0x48 000007f9: PUSH1 0x24 000007fb: DUP3 000007fc: ADD 000007fd: MSTORE 000007fe: PUSH32 0x416c6c20626574732073686f756c642062652070726f63657373656420287365 0000081f: PUSH1 0x44 00000821: DUP3 00000822: ADD 00000823: MSTORE 00000824: PUSH32 0x74746c6564206f7220726566756e64656429206265666f72652073656c662d64 00000845: PUSH1 0x64 00000847: DUP3 00000848: ADD 00000849: MSTORE 0000084a: PUSH32 0x657374727563742e000000000000000000000000000000000000000000000000 0000086b: PUSH1 0x84 0000086d: DUP3 0000086e: ADD 0000086f: MSTORE 00000870: SWAP1 00000871: MLOAD 00000872: SWAP1 00000873: DUP2 00000874: SWAP1 00000875: SUB 00000876: PUSH1 0xa4 00000878: ADD 00000879: SWAP1 0000087a: REVERT 0000087b: JUMPDEST 0000087c: PUSH1 0x00 0000087e: SLOAD 0000087f: PUSH1 0x01 00000881: PUSH1 0xa0 00000883: PUSH1 0x02 00000885: EXP 00000886: SUB 00000887: AND 00000888: SELFDESTRUCT 00000889: JUMPDEST 0000088a: PUSH1 0x03 0000088c: SLOAD 0000088d: PUSH1 0x01 0000088f: PUSH1 0xa0 00000891: PUSH1 0x02 00000893: EXP 00000894: SUB 00000895: AND 00000896: DUP2 00000897: JUMP 00000898: JUMPDEST 00000899: PUSH1 0x04 0000089b: SLOAD 0000089c: PUSH1 0x01 0000089e: PUSH1 0x80 000008a0: PUSH1 0x02 000008a2: EXP 000008a3: SUB 000008a4: AND 000008a5: DUP2 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH1 0x00 000008aa: DUP4 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x05 000008af: PUSH1 0x20 000008b1: MSTORE 000008b2: PUSH1 0x40 000008b4: DUP2 000008b5: KECCAK256 000008b6: PUSH1 0x01 000008b8: DUP2 000008b9: ADD 000008ba: SLOAD 000008bb: SWAP1 000008bc: SWAP2 000008bd: SWAP1 000008be: DUP2 000008bf: SWAP1 000008c0: DUP2 000008c1: SWAP1 000008c2: DUP2 000008c3: SWAP1 000008c4: DUP2 000008c5: SWAP1 000008c6: DUP2 000008c7: SWAP1 000008c8: PUSH13 0x01000000000000000000000000 000008d6: SWAP1 000008d7: DIV 000008d8: PUSH1 0x01 000008da: PUSH1 0xa0 000008dc: PUSH1 0x02 000008de: EXP 000008df: SUB 000008e0: AND 000008e1: ISZERO 000008e2: PUSH2 0x095b 000008e5: JUMPI 000008e6: PUSH1 0x40 000008e8: DUP1 000008e9: MLOAD 000008ea: PUSH1 0xe5 000008ec: PUSH1 0x02 000008ee: EXP 000008ef: PUSH3 0x461bcd 000008f3: MUL 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: PUSH1 0x04 000008fa: DUP3 000008fb: ADD 000008fc: MSTORE 000008fd: PUSH1 0x21 000008ff: PUSH1 0x24 00000901: DUP3 00000902: ADD 00000903: MSTORE 00000904: PUSH32 0x4265742073686f756c6420626520696e20612027636c65616e27207374617465 00000925: PUSH1 0x44 00000927: DUP3 00000928: ADD 00000929: MSTORE 0000092a: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 0000094b: PUSH1 0x64 0000094d: DUP3 0000094e: ADD 0000094f: MSTORE 00000950: SWAP1 00000951: MLOAD 00000952: SWAP1 00000953: DUP2 00000954: SWAP1 00000955: SUB 00000956: PUSH1 0x84 00000958: ADD 00000959: SWAP1 0000095a: REVERT 0000095b: JUMPDEST 0000095c: CALLVALUE 0000095d: SWAP6 0000095e: POP 0000095f: PUSH1 0x01 00000961: DUP13 00000962: GT 00000963: DUP1 00000964: ISZERO 00000965: PUSH2 0x096f 00000968: JUMPI 00000969: POP 0000096a: PUSH1 0x64 0000096c: DUP13 0000096d: GT 0000096e: ISZERO 0000096f: JUMPDEST 00000970: ISZERO 00000971: ISZERO 00000972: PUSH2 0x09c5 00000975: JUMPI 00000976: PUSH1 0x40 00000978: DUP1 00000979: MLOAD 0000097a: PUSH1 0xe5 0000097c: PUSH1 0x02 0000097e: EXP 0000097f: PUSH3 0x461bcd 00000983: MUL 00000984: DUP2 00000985: MSTORE 00000986: PUSH1 0x20 00000988: PUSH1 0x04 0000098a: DUP3 0000098b: ADD 0000098c: MSTORE 0000098d: PUSH1 0x1e 0000098f: PUSH1 0x24 00000991: DUP3 00000992: ADD 00000993: MSTORE 00000994: PUSH32 0x4d6f64756c6f2073686f756c642062652077697468696e2072616e67652e0000 000009b5: PUSH1 0x44 000009b7: DUP3 000009b8: ADD 000009b9: MSTORE 000009ba: SWAP1 000009bb: MLOAD 000009bc: SWAP1 000009bd: DUP2 000009be: SWAP1 000009bf: SUB 000009c0: PUSH1 0x64 000009c2: ADD 000009c3: SWAP1 000009c4: REVERT 000009c5: JUMPDEST 000009c6: PUSH7 0x2386f26fc10000 000009ce: DUP7 000009cf: LT 000009d0: ISZERO 000009d1: DUP1 000009d2: ISZERO 000009d3: PUSH2 0x09e6 000009d6: JUMPI 000009d7: POP 000009d8: PUSH10 0x3f870857a3e0e3800000 000009e3: DUP7 000009e4: GT 000009e5: ISZERO 000009e6: JUMPDEST 000009e7: ISZERO 000009e8: ISZERO 000009e9: PUSH2 0x0a3c 000009ec: JUMPI 000009ed: PUSH1 0x40 000009ef: DUP1 000009f0: MLOAD 000009f1: PUSH1 0xe5 000009f3: PUSH1 0x02 000009f5: EXP 000009f6: PUSH3 0x461bcd 000009fa: MUL 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x20 000009ff: PUSH1 0x04 00000a01: DUP3 00000a02: ADD 00000a03: MSTORE 00000a04: PUSH1 0x1e 00000a06: PUSH1 0x24 00000a08: DUP3 00000a09: ADD 00000a0a: MSTORE 00000a0b: PUSH32 0x416d6f756e742073686f756c642062652077697468696e2072616e67652e0000 00000a2c: PUSH1 0x44 00000a2e: DUP3 00000a2f: ADD 00000a30: MSTORE 00000a31: SWAP1 00000a32: MLOAD 00000a33: SWAP1 00000a34: DUP2 00000a35: SWAP1 00000a36: SUB 00000a37: PUSH1 0x64 00000a39: ADD 00000a3a: SWAP1 00000a3b: REVERT 00000a3c: JUMPDEST 00000a3d: PUSH1 0x00 00000a3f: DUP14 00000a40: GT 00000a41: DUP1 00000a42: ISZERO 00000a43: PUSH2 0x0a51 00000a46: JUMPI 00000a47: POP 00000a48: PUSH6 0x010000000000 00000a4f: DUP14 00000a50: LT 00000a51: JUMPDEST 00000a52: ISZERO 00000a53: ISZERO 00000a54: PUSH2 0x0aa7 00000a57: JUMPI 00000a58: PUSH1 0x40 00000a5a: DUP1 00000a5b: MLOAD 00000a5c: PUSH1 0xe5 00000a5e: PUSH1 0x02 00000a60: EXP 00000a61: PUSH3 0x461bcd 00000a65: MUL 00000a66: DUP2 00000a67: MSTORE 00000a68: PUSH1 0x20 00000a6a: PUSH1 0x04 00000a6c: DUP3 00000a6d: ADD 00000a6e: MSTORE 00000a6f: PUSH1 0x1c 00000a71: PUSH1 0x24 00000a73: DUP3 00000a74: ADD 00000a75: MSTORE 00000a76: PUSH32 0x4d61736b2073686f756c642062652077697468696e2072616e67652e00000000 00000a97: PUSH1 0x44 00000a99: DUP3 00000a9a: ADD 00000a9b: MSTORE 00000a9c: SWAP1 00000a9d: MLOAD 00000a9e: SWAP1 00000a9f: DUP2 00000aa0: SWAP1 00000aa1: SUB 00000aa2: PUSH1 0x64 00000aa4: ADD 00000aa5: SWAP1 00000aa6: REVERT 00000aa7: JUMPDEST 00000aa8: NUMBER 00000aa9: DUP12 00000aaa: LT 00000aab: ISZERO 00000aac: PUSH2 0x0aff 00000aaf: JUMPI 00000ab0: PUSH1 0x40 00000ab2: DUP1 00000ab3: MLOAD 00000ab4: PUSH1 0xe5 00000ab6: PUSH1 0x02 00000ab8: EXP 00000ab9: PUSH3 0x461bcd 00000abd: MUL 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x20 00000ac2: PUSH1 0x04 00000ac4: DUP3 00000ac5: ADD 00000ac6: MSTORE 00000ac7: PUSH1 0x13 00000ac9: PUSH1 0x24 00000acb: DUP3 00000acc: ADD 00000acd: MSTORE 00000ace: PUSH32 0x436f6d6d69742068617320657870697265642e00000000000000000000000000 00000aef: PUSH1 0x44 00000af1: DUP3 00000af2: ADD 00000af3: MSTORE 00000af4: SWAP1 00000af5: MLOAD 00000af6: SWAP1 00000af7: DUP2 00000af8: SWAP1 00000af9: SUB 00000afa: PUSH1 0x64 00000afc: ADD 00000afd: SWAP1 00000afe: REVERT 00000aff: JUMPDEST 00000b00: DUP11 00000b01: DUP11 00000b02: PUSH1 0x40 00000b04: MLOAD 00000b05: PUSH1 0x20 00000b07: ADD 00000b08: DUP1 00000b09: DUP4 00000b0a: PUSH5 0xffffffffff 00000b10: AND 00000b11: PUSH5 0xffffffffff 00000b17: AND 00000b18: PUSH28 0x01000000000000000000000000000000000000000000000000000000 00000b35: MUL 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x05 00000b3a: ADD 00000b3b: DUP3 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: ADD 00000b41: SWAP3 00000b42: POP 00000b43: POP 00000b44: POP 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: PUSH1 0x20 00000b4a: DUP2 00000b4b: DUP4 00000b4c: SUB 00000b4d: SUB 00000b4e: DUP2 00000b4f: MSTORE 00000b50: SWAP1 00000b51: PUSH1 0x40 00000b53: MSTORE 00000b54: PUSH1 0x40 00000b56: MLOAD 00000b57: DUP1 00000b58: DUP3 00000b59: DUP1 00000b5a: MLOAD 00000b5b: SWAP1 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: SWAP1 00000b60: DUP1 00000b61: DUP4 00000b62: DUP4 00000b63: JUMPDEST 00000b64: PUSH1 0x20 00000b66: DUP4 00000b67: LT 00000b68: PUSH2 0x0b82 00000b6b: JUMPI 00000b6c: DUP1 00000b6d: MLOAD 00000b6e: DUP3 00000b6f: MSTORE 00000b70: PUSH1 0x1f 00000b72: NOT 00000b73: SWAP1 00000b74: SWAP3 00000b75: ADD 00000b76: SWAP2 00000b77: PUSH1 0x20 00000b79: SWAP2 00000b7a: DUP3 00000b7b: ADD 00000b7c: SWAP2 00000b7d: ADD 00000b7e: PUSH2 0x0b63 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x01 00000b85: DUP4 00000b86: PUSH1 0x20 00000b88: SUB 00000b89: PUSH2 0x0100 00000b8c: EXP 00000b8d: SUB 00000b8e: DUP1 00000b8f: NOT 00000b90: DUP3 00000b91: MLOAD 00000b92: AND 00000b93: DUP2 00000b94: DUP5 00000b95: MLOAD 00000b96: AND 00000b97: DUP1 00000b98: DUP3 00000b99: OR 00000b9a: DUP6 00000b9b: MSTORE 00000b9c: POP 00000b9d: POP 00000b9e: POP 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: SWAP1 00000ba3: POP 00000ba4: ADD 00000ba5: SWAP2 00000ba6: POP 00000ba7: POP 00000ba8: PUSH1 0x40 00000baa: MLOAD 00000bab: DUP1 00000bac: SWAP2 00000bad: SUB 00000bae: SWAP1 00000baf: KECCAK256 00000bb0: SWAP5 00000bb1: POP 00000bb2: PUSH1 0x01 00000bb4: DUP6 00000bb5: PUSH1 0x1b 00000bb7: DUP12 00000bb8: DUP12 00000bb9: PUSH1 0x40 00000bbb: MLOAD 00000bbc: PUSH1 0x00 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: PUSH1 0x40 00000bc5: MSTORE 00000bc6: PUSH1 0x40 00000bc8: MLOAD 00000bc9: DUP1 00000bca: DUP6 00000bcb: PUSH1 0x00 00000bcd: NOT 00000bce: AND 00000bcf: PUSH1 0x00 00000bd1: NOT 00000bd2: AND 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x20 00000bd7: ADD 00000bd8: DUP5 00000bd9: PUSH1 0xff 00000bdb: AND 00000bdc: DUP2 00000bdd: MSTORE 00000bde: PUSH1 0x20 00000be0: ADD 00000be1: DUP4 00000be2: PUSH1 0x00 00000be4: NOT 00000be5: AND 00000be6: PUSH1 0x00 00000be8: NOT 00000be9: AND 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: ADD 00000bef: DUP3 00000bf0: PUSH1 0x00 00000bf2: NOT 00000bf3: AND 00000bf4: PUSH1 0x00 00000bf6: NOT 00000bf7: AND 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x20 00000bfc: ADD 00000bfd: SWAP5 00000bfe: POP 00000bff: POP 00000c00: POP 00000c01: POP 00000c02: POP 00000c03: PUSH1 0x20 00000c05: PUSH1 0x40 00000c07: MLOAD 00000c08: PUSH1 0x20 00000c0a: DUP2 00000c0b: SUB 00000c0c: SWAP1 00000c0d: DUP1 00000c0e: DUP5 00000c0f: SUB 00000c10: SWAP1 00000c11: PUSH1 0x00 00000c13: DUP7 00000c14: GAS 00000c15: CALL 00000c16: ISZERO 00000c17: DUP1 00000c18: ISZERO 00000c19: PUSH2 0x0c26 00000c1c: JUMPI 00000c1d: RETURNDATASIZE 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: RETURNDATACOPY 00000c22: RETURNDATASIZE 00000c23: PUSH1 0x00 00000c25: REVERT 00000c26: JUMPDEST 00000c27: POP 00000c28: POP 00000c29: PUSH1 0x40 00000c2b: MLOAD 00000c2c: PUSH1 0x1f 00000c2e: NOT 00000c2f: ADD 00000c30: MLOAD 00000c31: PUSH1 0x03 00000c33: SLOAD 00000c34: PUSH1 0x01 00000c36: PUSH1 0xa0 00000c38: PUSH1 0x02 00000c3a: EXP 00000c3b: SUB 00000c3c: SWAP1 00000c3d: DUP2 00000c3e: AND 00000c3f: SWAP2 00000c40: AND 00000c41: EQ 00000c42: SWAP1 00000c43: POP 00000c44: PUSH2 0x0c97 00000c47: JUMPI 00000c48: PUSH1 0x40 00000c4a: DUP1 00000c4b: MLOAD 00000c4c: PUSH1 0xe5 00000c4e: PUSH1 0x02 00000c50: EXP 00000c51: PUSH3 0x461bcd 00000c55: MUL 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x20 00000c5a: PUSH1 0x04 00000c5c: DUP3 00000c5d: ADD 00000c5e: MSTORE 00000c5f: PUSH1 0x1d 00000c61: PUSH1 0x24 00000c63: DUP3 00000c64: ADD 00000c65: MSTORE 00000c66: PUSH32 0x4543445341207369676e6174757265206973206e6f742076616c69642e000000 00000c87: PUSH1 0x44 00000c89: DUP3 00000c8a: ADD 00000c8b: MSTORE 00000c8c: SWAP1 00000c8d: MLOAD 00000c8e: SWAP1 00000c8f: DUP2 00000c90: SWAP1 00000c91: SUB 00000c92: PUSH1 0x64 00000c94: ADD 00000c95: SWAP1 00000c96: REVERT 00000c97: JUMPDEST 00000c98: PUSH1 0x28 00000c9a: DUP13 00000c9b: GT 00000c9c: PUSH2 0x0cea 00000c9f: JUMPI 00000ca0: PUSH1 0x3f 00000ca2: PUSH26 0x2000000000100000000008000000000400000000020000000001 00000cbd: DUP15 00000cbe: MUL 00000cbf: PUSH31 0x01041041041041041041041041041041041041041041041041041041041041 00000cdf: AND 00000ce0: MOD 00000ce1: SWAP4 00000ce2: POP 00000ce3: DUP13 00000ce4: SWAP3 00000ce5: POP 00000ce6: PUSH2 0x0d7a 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: DUP14 00000cee: GT 00000cef: DUP1 00000cf0: ISZERO 00000cf1: PUSH2 0x0cfa 00000cf4: JUMPI 00000cf5: POP 00000cf6: DUP12 00000cf7: DUP14 00000cf8: GT 00000cf9: ISZERO 00000cfa: JUMPDEST 00000cfb: ISZERO 00000cfc: ISZERO 00000cfd: PUSH2 0x0d76 00000d00: JUMPI 00000d01: PUSH1 0x40 00000d03: DUP1 00000d04: MLOAD 00000d05: PUSH1 0xe5 00000d07: PUSH1 0x02 00000d09: EXP 00000d0a: PUSH3 0x461bcd 00000d0e: MUL 00000d0f: DUP2 00000d10: MSTORE 00000d11: PUSH1 0x20 00000d13: PUSH1 0x04 00000d15: DUP3 00000d16: ADD 00000d17: MSTORE 00000d18: PUSH1 0x2e 00000d1a: PUSH1 0x24 00000d1c: DUP3 00000d1d: ADD 00000d1e: MSTORE 00000d1f: PUSH32 0x48696768206d6f64756c6f2072616e67652c206265744d61736b206c61726765 00000d40: PUSH1 0x44 00000d42: DUP3 00000d43: ADD 00000d44: MSTORE 00000d45: PUSH32 0x72207468616e206d6f64756c6f2e000000000000000000000000000000000000 00000d66: PUSH1 0x64 00000d68: DUP3 00000d69: ADD 00000d6a: MSTORE 00000d6b: SWAP1 00000d6c: MLOAD 00000d6d: SWAP1 00000d6e: DUP2 00000d6f: SWAP1 00000d70: SUB 00000d71: PUSH1 0x84 00000d73: ADD 00000d74: SWAP1 00000d75: REVERT 00000d76: JUMPDEST 00000d77: DUP13 00000d78: SWAP4 00000d79: POP 00000d7a: JUMPDEST 00000d7b: PUSH2 0x0d85 00000d7e: DUP7 00000d7f: DUP14 00000d80: DUP7 00000d81: PUSH2 0x174c 00000d84: JUMP 00000d85: JUMPDEST 00000d86: PUSH1 0x02 00000d88: SLOAD 00000d89: SWAP2 00000d8a: SWAP4 00000d8b: POP 00000d8c: SWAP2 00000d8d: POP 00000d8e: DUP7 00000d8f: ADD 00000d90: DUP3 00000d91: GT 00000d92: ISZERO 00000d93: PUSH2 0x0de6 00000d96: JUMPI 00000d97: PUSH1 0x40 00000d99: DUP1 00000d9a: MLOAD 00000d9b: PUSH1 0xe5 00000d9d: PUSH1 0x02 00000d9f: EXP 00000da0: PUSH3 0x461bcd 00000da4: MUL 00000da5: DUP2 00000da6: MSTORE 00000da7: PUSH1 0x20 00000da9: PUSH1 0x04 00000dab: DUP3 00000dac: ADD 00000dad: MSTORE 00000dae: PUSH1 0x1a 00000db0: PUSH1 0x24 00000db2: DUP3 00000db3: ADD 00000db4: MSTORE 00000db5: PUSH32 0x6d617850726f666974206c696d69742076696f6c6174696f6e2e000000000000 00000dd6: PUSH1 0x44 00000dd8: DUP3 00000dd9: ADD 00000dda: MSTORE 00000ddb: SWAP1 00000ddc: MLOAD 00000ddd: SWAP1 00000dde: DUP2 00000ddf: SWAP1 00000de0: SUB 00000de1: PUSH1 0x64 00000de3: ADD 00000de4: SWAP1 00000de5: REVERT 00000de6: JUMPDEST 00000de7: PUSH1 0x04 00000de9: DUP1 00000dea: SLOAD 00000deb: PUSH1 0x01 00000ded: PUSH1 0x80 00000def: PUSH1 0x02 00000df1: EXP 00000df2: SUB 00000df3: PUSH1 0x80 00000df5: PUSH1 0x02 00000df7: EXP 00000df8: DUP1 00000df9: DUP4 00000dfa: DIV 00000dfb: DUP3 00000dfc: AND 00000dfd: DUP7 00000dfe: ADD 00000dff: DUP3 00000e00: AND 00000e01: DUP2 00000e02: MUL 00000e03: SWAP3 00000e04: DUP3 00000e05: AND 00000e06: SWAP3 00000e07: SWAP1 00000e08: SWAP3 00000e09: OR 00000e0a: DUP1 00000e0b: DUP3 00000e0c: AND 00000e0d: DUP6 00000e0e: ADD 00000e0f: DUP3 00000e10: AND 00000e11: PUSH16 0xffffffffffffffffffffffffffffffff 00000e22: NOT 00000e23: SWAP2 00000e24: SWAP1 00000e25: SWAP2 00000e26: AND 00000e27: OR 00000e28: SWAP3 00000e29: DUP4 00000e2a: SWAP1 00000e2b: SSTORE 00000e2c: ADDRESS 00000e2d: BALANCE 00000e2e: DUP4 00000e2f: DUP3 00000e30: AND 00000e31: SWAP3 00000e32: SWAP1 00000e33: SWAP4 00000e34: DIV 00000e35: DUP2 00000e36: AND 00000e37: SWAP2 00000e38: SWAP1 00000e39: SWAP2 00000e3a: ADD 00000e3b: AND 00000e3c: GT 00000e3d: ISZERO 00000e3e: PUSH2 0x0e91 00000e41: JUMPI 00000e42: PUSH1 0x40 00000e44: DUP1 00000e45: MLOAD 00000e46: PUSH1 0xe5 00000e48: PUSH1 0x02 00000e4a: EXP 00000e4b: PUSH3 0x461bcd 00000e4f: MUL 00000e50: DUP2 00000e51: MSTORE 00000e52: PUSH1 0x20 00000e54: PUSH1 0x04 00000e56: DUP3 00000e57: ADD 00000e58: MSTORE 00000e59: PUSH1 0x1f 00000e5b: PUSH1 0x24 00000e5d: DUP3 00000e5e: ADD 00000e5f: MSTORE 00000e60: PUSH32 0x43616e6e6f74206166666f726420746f206c6f73652074686973206265742e00 00000e81: PUSH1 0x44 00000e83: DUP3 00000e84: ADD 00000e85: MSTORE 00000e86: SWAP1 00000e87: MLOAD 00000e88: SWAP1 00000e89: DUP2 00000e8a: SWAP1 00000e8b: SUB 00000e8c: PUSH1 0x64 00000e8e: ADD 00000e8f: SWAP1 00000e90: REVERT 00000e91: JUMPDEST 00000e92: POP 00000e93: POP 00000e94: SWAP3 00000e95: DUP5 00000e96: SSTORE 00000e97: PUSH1 0x01 00000e99: SWAP1 00000e9a: SWAP4 00000e9b: ADD 00000e9c: DUP1 00000e9d: SLOAD 00000e9e: PUSH1 0xff 00000ea0: NOT 00000ea1: AND 00000ea2: PUSH1 0xff 00000ea4: SWAP10 00000ea5: DUP11 00000ea6: AND 00000ea7: OR 00000ea8: PUSH2 0xff00 00000eab: NOT 00000eac: AND 00000ead: PUSH2 0x0100 00000eb0: SWAP10 00000eb1: SWAP1 00000eb2: SWAP5 00000eb3: AND 00000eb4: SWAP9 00000eb5: SWAP1 00000eb6: SWAP9 00000eb7: MUL 00000eb8: SWAP3 00000eb9: SWAP1 00000eba: SWAP3 00000ebb: OR 00000ebc: PUSH7 0xffffffffff0000 00000ec4: NOT 00000ec5: AND 00000ec6: PUSH3 0x010000 00000eca: NUMBER 00000ecb: PUSH5 0xffffffffff 00000ed1: SWAP1 00000ed2: DUP2 00000ed3: AND 00000ed4: SWAP2 00000ed5: SWAP1 00000ed6: SWAP2 00000ed7: MUL 00000ed8: SWAP2 00000ed9: SWAP1 00000eda: SWAP2 00000edb: OR 00000edc: PUSH12 0xffffffffff00000000000000 00000ee9: NOT 00000eea: AND 00000eeb: PUSH8 0x0100000000000000 00000ef4: SWAP2 00000ef5: SWAP1 00000ef6: SWAP3 00000ef7: AND 00000ef8: MUL 00000ef9: OR 00000efa: PUSH12 0xffffffffffffffffffffffff 00000f07: AND 00000f08: CALLER 00000f09: PUSH13 0x01000000000000000000000000 00000f17: MUL 00000f18: OR 00000f19: SWAP1 00000f1a: SWAP6 00000f1b: SSTORE 00000f1c: POP 00000f1d: POP 00000f1e: POP 00000f1f: POP 00000f20: POP 00000f21: POP 00000f22: JUMP 00000f23: JUMPDEST 00000f24: PUSH1 0x00 00000f26: SLOAD 00000f27: PUSH1 0x01 00000f29: PUSH1 0xa0 00000f2b: PUSH1 0x02 00000f2d: EXP 00000f2e: SUB 00000f2f: AND 00000f30: DUP2 00000f31: JUMP 00000f32: JUMPDEST 00000f33: PUSH1 0x02 00000f35: SLOAD 00000f36: DUP2 00000f37: JUMP 00000f38: JUMPDEST 00000f39: PUSH1 0x00 00000f3b: SLOAD 00000f3c: PUSH1 0x01 00000f3e: PUSH1 0xa0 00000f40: PUSH1 0x02 00000f42: EXP 00000f43: SUB 00000f44: AND 00000f45: CALLER 00000f46: EQ 00000f47: PUSH2 0x0f9a 00000f4a: JUMPI 00000f4b: PUSH1 0x40 00000f4d: DUP1 00000f4e: MLOAD 00000f4f: PUSH1 0xe5 00000f51: PUSH1 0x02 00000f53: EXP 00000f54: PUSH3 0x461bcd 00000f58: MUL 00000f59: DUP2 00000f5a: MSTORE 00000f5b: PUSH1 0x20 00000f5d: PUSH1 0x04 00000f5f: DUP3 00000f60: ADD 00000f61: MSTORE 00000f62: PUSH1 0x26 00000f64: PUSH1 0x24 00000f66: DUP3 00000f67: ADD 00000f68: MSTORE 00000f69: PUSH1 0x00 00000f6b: DUP1 00000f6c: MLOAD 00000f6d: PUSH1 0x20 00000f6f: PUSH2 0x198f 00000f72: DUP4 00000f73: CODECOPY 00000f74: DUP2 00000f75: MLOAD 00000f76: SWAP2 00000f77: MSTORE 00000f78: PUSH1 0x44 00000f7a: DUP3 00000f7b: ADD 00000f7c: MSTORE 00000f7d: PUSH1 0xd1 00000f7f: PUSH1 0x02 00000f81: EXP 00000f82: PUSH6 0x37bbb732b917 00000f89: MUL 00000f8a: PUSH1 0x64 00000f8c: DUP3 00000f8d: ADD 00000f8e: MSTORE 00000f8f: SWAP1 00000f90: MLOAD 00000f91: SWAP1 00000f92: DUP2 00000f93: SWAP1 00000f94: SUB 00000f95: PUSH1 0x84 00000f97: ADD 00000f98: SWAP1 00000f99: REVERT 00000f9a: JUMPDEST 00000f9b: ADDRESS 00000f9c: BALANCE 00000f9d: DUP2 00000f9e: GT 00000f9f: ISZERO 00000fa0: PUSH2 0x1018 00000fa3: JUMPI 00000fa4: PUSH1 0x40 00000fa6: DUP1 00000fa7: MLOAD 00000fa8: PUSH1 0xe5 00000faa: PUSH1 0x02 00000fac: EXP 00000fad: PUSH3 0x461bcd 00000fb1: MUL 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: PUSH1 0x20 00000fb6: PUSH1 0x04 00000fb8: DUP3 00000fb9: ADD 00000fba: MSTORE 00000fbb: PUSH1 0x24 00000fbd: DUP1 00000fbe: DUP3 00000fbf: ADD 00000fc0: MSTORE 00000fc1: PUSH32 0x496e63726561736520616d6f756e74206c6172676572207468616e2062616c61 00000fe2: PUSH1 0x44 00000fe4: DUP3 00000fe5: ADD 00000fe6: MSTORE 00000fe7: PUSH32 0x6e63652e00000000000000000000000000000000000000000000000000000000 00001008: PUSH1 0x64 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: SWAP1 0000100e: MLOAD 0000100f: SWAP1 00001010: DUP2 00001011: SWAP1 00001012: SUB 00001013: PUSH1 0x84 00001015: ADD 00001016: SWAP1 00001017: REVERT 00001018: JUMPDEST 00001019: PUSH1 0x04 0000101b: SLOAD 0000101c: ADDRESS 0000101d: BALANCE 0000101e: PUSH1 0x01 00001020: PUSH1 0x80 00001022: PUSH1 0x02 00001024: EXP 00001025: SUB 00001026: DUP1 00001027: DUP4 00001028: AND 00001029: PUSH1 0x80 0000102b: PUSH1 0x02 0000102d: EXP 0000102e: SWAP1 0000102f: SWAP4 00001030: DIV 00001031: DUP2 00001032: AND 00001033: SWAP3 00001034: SWAP1 00001035: SWAP3 00001036: ADD 00001037: SWAP1 00001038: SWAP2 00001039: AND 0000103a: DUP3 0000103b: ADD 0000103c: GT 0000103d: ISZERO 0000103e: PUSH2 0x1091 00001041: JUMPI 00001042: PUSH1 0x40 00001044: DUP1 00001045: MLOAD 00001046: PUSH1 0xe5 00001048: PUSH1 0x02 0000104a: EXP 0000104b: PUSH3 0x461bcd 0000104f: MUL 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x20 00001054: PUSH1 0x04 00001056: DUP3 00001057: ADD 00001058: MSTORE 00001059: PUSH1 0x11 0000105b: PUSH1 0x24 0000105d: DUP3 0000105e: ADD 0000105f: MSTORE 00001060: PUSH32 0x4e6f7420656e6f7567682066756e64732e000000000000000000000000000000 00001081: PUSH1 0x44 00001083: DUP3 00001084: ADD 00001085: MSTORE 00001086: SWAP1 00001087: MLOAD 00001088: SWAP1 00001089: DUP2 0000108a: SWAP1 0000108b: SUB 0000108c: PUSH1 0x64 0000108e: ADD 0000108f: SWAP1 00001090: REVERT 00001091: JUMPDEST 00001092: PUSH2 0x109c 00001095: DUP3 00001096: DUP3 00001097: DUP4 00001098: PUSH2 0x1894 0000109b: JUMP 0000109c: JUMPDEST 0000109d: POP 0000109e: POP 0000109f: JUMP 000010a0: JUMPDEST 000010a1: PUSH1 0x01 000010a3: SLOAD 000010a4: PUSH1 0x01 000010a6: PUSH1 0xa0 000010a8: PUSH1 0x02 000010aa: EXP 000010ab: SUB 000010ac: AND 000010ad: CALLER 000010ae: EQ 000010af: PUSH2 0x1114 000010b2: JUMPI 000010b3: PUSH1 0x40 000010b5: DUP1 000010b6: MLOAD 000010b7: PUSH1 0xe5 000010b9: PUSH1 0x02 000010bb: EXP 000010bc: PUSH3 0x461bcd 000010c0: MUL 000010c1: DUP2 000010c2: MSTORE 000010c3: PUSH1 0x20 000010c5: PUSH1 0x04 000010c7: DUP3 000010c8: ADD 000010c9: MSTORE 000010ca: PUSH1 0x26 000010cc: PUSH1 0x24 000010ce: DUP3 000010cf: ADD 000010d0: MSTORE 000010d1: PUSH32 0x43616e206f6e6c792061636365707420707265617070726f766564206e657720 000010f2: PUSH1 0x44 000010f4: DUP3 000010f5: ADD 000010f6: MSTORE 000010f7: PUSH1 0xd1 000010f9: PUSH1 0x02 000010fb: EXP 000010fc: PUSH6 0x37bbb732b917 00001103: MUL 00001104: PUSH1 0x64 00001106: DUP3 00001107: ADD 00001108: MSTORE 00001109: SWAP1 0000110a: MLOAD 0000110b: SWAP1 0000110c: DUP2 0000110d: SWAP1 0000110e: SUB 0000110f: PUSH1 0x84 00001111: ADD 00001112: SWAP1 00001113: REVERT 00001114: JUMPDEST 00001115: PUSH1 0x01 00001117: SLOAD 00001118: PUSH1 0x00 0000111a: DUP1 0000111b: SLOAD 0000111c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001131: NOT 00001132: AND 00001133: PUSH1 0x01 00001135: PUSH1 0xa0 00001137: PUSH1 0x02 00001139: EXP 0000113a: SUB 0000113b: SWAP1 0000113c: SWAP3 0000113d: AND 0000113e: SWAP2 0000113f: SWAP1 00001140: SWAP2 00001141: OR 00001142: SWAP1 00001143: SSTORE 00001144: JUMP 00001145: JUMPDEST 00001146: PUSH1 0x00 00001148: SLOAD 00001149: PUSH1 0x01 0000114b: PUSH1 0xa0 0000114d: PUSH1 0x02 0000114f: EXP 00001150: SUB 00001151: AND 00001152: CALLER 00001153: EQ 00001154: PUSH2 0x11a7 00001157: JUMPI 00001158: PUSH1 0x40 0000115a: DUP1 0000115b: MLOAD 0000115c: PUSH1 0xe5 0000115e: PUSH1 0x02 00001160: EXP 00001161: PUSH3 0x461bcd 00001165: MUL 00001166: DUP2 00001167: MSTORE 00001168: PUSH1 0x20 0000116a: PUSH1 0x04 0000116c: DUP3 0000116d: ADD 0000116e: MSTORE 0000116f: PUSH1 0x26 00001171: PUSH1 0x24 00001173: DUP3 00001174: ADD 00001175: MSTORE 00001176: PUSH1 0x00 00001178: DUP1 00001179: MLOAD 0000117a: PUSH1 0x20 0000117c: PUSH2 0x198f 0000117f: DUP4 00001180: CODECOPY 00001181: DUP2 00001182: MLOAD 00001183: SWAP2 00001184: MSTORE 00001185: PUSH1 0x44 00001187: DUP3 00001188: ADD 00001189: MSTORE 0000118a: PUSH1 0xd1 0000118c: PUSH1 0x02 0000118e: EXP 0000118f: PUSH6 0x37bbb732b917 00001196: MUL 00001197: PUSH1 0x64 00001199: DUP3 0000119a: ADD 0000119b: MSTORE 0000119c: SWAP1 0000119d: MLOAD 0000119e: SWAP1 0000119f: DUP2 000011a0: SWAP1 000011a1: SUB 000011a2: PUSH1 0x84 000011a4: ADD 000011a5: SWAP1 000011a6: REVERT 000011a7: JUMPDEST 000011a8: PUSH1 0x00 000011aa: SLOAD 000011ab: PUSH1 0x01 000011ad: PUSH1 0xa0 000011af: PUSH1 0x02 000011b1: EXP 000011b2: SUB 000011b3: DUP3 000011b4: DUP2 000011b5: AND 000011b6: SWAP2 000011b7: AND 000011b8: EQ 000011b9: ISZERO 000011ba: PUSH2 0x120d 000011bd: JUMPI 000011be: PUSH1 0x40 000011c0: DUP1 000011c1: MLOAD 000011c2: PUSH1 0xe5 000011c4: PUSH1 0x02 000011c6: EXP 000011c7: PUSH3 0x461bcd 000011cb: MUL 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x20 000011d0: PUSH1 0x04 000011d2: DUP3 000011d3: ADD 000011d4: MSTORE 000011d5: PUSH1 0x1d 000011d7: PUSH1 0x24 000011d9: DUP3 000011da: ADD 000011db: MSTORE 000011dc: PUSH32 0x43616e6e6f7420617070726f76652063757272656e74206f776e65722e000000 000011fd: PUSH1 0x44 000011ff: DUP3 00001200: ADD 00001201: MSTORE 00001202: SWAP1 00001203: MLOAD 00001204: SWAP1 00001205: DUP2 00001206: SWAP1 00001207: SUB 00001208: PUSH1 0x64 0000120a: ADD 0000120b: SWAP1 0000120c: REVERT 0000120d: JUMPDEST 0000120e: PUSH1 0x01 00001210: DUP1 00001211: SLOAD 00001212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001227: NOT 00001228: AND 00001229: PUSH1 0x01 0000122b: PUSH1 0xa0 0000122d: PUSH1 0x02 0000122f: EXP 00001230: SUB 00001231: SWAP3 00001232: SWAP1 00001233: SWAP3 00001234: AND 00001235: SWAP2 00001236: SWAP1 00001237: SWAP2 00001238: OR 00001239: SWAP1 0000123a: SSTORE 0000123b: JUMP 0000123c: JUMPDEST 0000123d: PUSH1 0x00 0000123f: SLOAD 00001240: PUSH1 0x01 00001242: PUSH1 0xa0 00001244: PUSH1 0x02 00001246: EXP 00001247: SUB 00001248: AND 00001249: CALLER 0000124a: EQ 0000124b: PUSH2 0x129e 0000124e: JUMPI 0000124f: PUSH1 0x40 00001251: DUP1 00001252: MLOAD 00001253: PUSH1 0xe5 00001255: PUSH1 0x02 00001257: EXP 00001258: PUSH3 0x461bcd 0000125c: MUL 0000125d: DUP2 0000125e: MSTORE 0000125f: PUSH1 0x20 00001261: PUSH1 0x04 00001263: DUP3 00001264: ADD 00001265: MSTORE 00001266: PUSH1 0x26 00001268: PUSH1 0x24 0000126a: DUP3 0000126b: ADD 0000126c: MSTORE 0000126d: PUSH1 0x00 0000126f: DUP1 00001270: MLOAD 00001271: PUSH1 0x20 00001273: PUSH2 0x198f 00001276: DUP4 00001277: CODECOPY 00001278: DUP2 00001279: MLOAD 0000127a: SWAP2 0000127b: MSTORE 0000127c: PUSH1 0x44 0000127e: DUP3 0000127f: ADD 00001280: MSTORE 00001281: PUSH1 0xd1 00001283: PUSH1 0x02 00001285: EXP 00001286: PUSH6 0x37bbb732b917 0000128d: MUL 0000128e: PUSH1 0x64 00001290: DUP3 00001291: ADD 00001292: MSTORE 00001293: SWAP1 00001294: MLOAD 00001295: SWAP1 00001296: DUP2 00001297: SWAP1 00001298: SUB 00001299: PUSH1 0x84 0000129b: ADD 0000129c: SWAP1 0000129d: REVERT 0000129e: JUMPDEST 0000129f: ADDRESS 000012a0: BALANCE 000012a1: DUP2 000012a2: GT 000012a3: ISZERO 000012a4: PUSH2 0x131c 000012a7: JUMPI 000012a8: PUSH1 0x40 000012aa: DUP1 000012ab: MLOAD 000012ac: PUSH1 0xe5 000012ae: PUSH1 0x02 000012b0: EXP 000012b1: PUSH3 0x461bcd 000012b5: MUL 000012b6: DUP2 000012b7: MSTORE 000012b8: PUSH1 0x20 000012ba: PUSH1 0x04 000012bc: DUP3 000012bd: ADD 000012be: MSTORE 000012bf: PUSH1 0x24 000012c1: DUP1 000012c2: DUP3 000012c3: ADD 000012c4: MSTORE 000012c5: PUSH32 0x496e63726561736520616d6f756e74206c6172676572207468616e2062616c61 000012e6: PUSH1 0x44 000012e8: DUP3 000012e9: ADD 000012ea: MSTORE 000012eb: PUSH32 0x6e63652e00000000000000000000000000000000000000000000000000000000 0000130c: PUSH1 0x64 0000130e: DUP3 0000130f: ADD 00001310: MSTORE 00001311: SWAP1 00001312: MLOAD 00001313: SWAP1 00001314: DUP2 00001315: SWAP1 00001316: SUB 00001317: PUSH1 0x84 00001319: ADD 0000131a: SWAP1 0000131b: REVERT 0000131c: JUMPDEST 0000131d: PUSH1 0x04 0000131f: SLOAD 00001320: ADDRESS 00001321: BALANCE 00001322: PUSH1 0x01 00001324: PUSH1 0x80 00001326: PUSH1 0x02 00001328: EXP 00001329: SUB 0000132a: DUP1 0000132b: DUP4 0000132c: AND 0000132d: PUSH1 0x80 0000132f: PUSH1 0x02 00001331: EXP 00001332: SWAP1 00001333: SWAP4 00001334: DIV 00001335: DUP2 00001336: AND 00001337: SWAP3 00001338: SWAP1 00001339: SWAP3 0000133a: ADD 0000133b: SWAP1 0000133c: SWAP2 0000133d: AND 0000133e: DUP3 0000133f: ADD 00001340: GT 00001341: ISZERO 00001342: PUSH2 0x1395 00001345: JUMPI 00001346: PUSH1 0x40 00001348: DUP1 00001349: MLOAD 0000134a: PUSH1 0xe5 0000134c: PUSH1 0x02 0000134e: EXP 0000134f: PUSH3 0x461bcd 00001353: MUL 00001354: DUP2 00001355: MSTORE 00001356: PUSH1 0x20 00001358: PUSH1 0x04 0000135a: DUP3 0000135b: ADD 0000135c: MSTORE 0000135d: PUSH1 0x11 0000135f: PUSH1 0x24 00001361: DUP3 00001362: ADD 00001363: MSTORE 00001364: PUSH32 0x4e6f7420656e6f7567682066756e64732e000000000000000000000000000000 00001385: PUSH1 0x44 00001387: DUP3 00001388: ADD 00001389: MSTORE 0000138a: SWAP1 0000138b: MLOAD 0000138c: SWAP1 0000138d: DUP2 0000138e: SWAP1 0000138f: SUB 00001390: PUSH1 0x64 00001392: ADD 00001393: SWAP1 00001394: REVERT 00001395: JUMPDEST 00001396: PUSH1 0x04 00001398: DUP1 00001399: SLOAD 0000139a: PUSH16 0xffffffffffffffffffffffffffffffff 000013ab: NOT 000013ac: DUP2 000013ad: AND 000013ae: PUSH1 0x01 000013b0: PUSH1 0x80 000013b2: PUSH1 0x02 000013b4: EXP 000013b5: SUB 000013b6: SWAP2 000013b7: DUP3 000013b8: AND 000013b9: SWAP4 000013ba: SWAP1 000013bb: SWAP4 000013bc: ADD 000013bd: AND 000013be: SWAP2 000013bf: SWAP1 000013c0: SWAP2 000013c1: OR 000013c2: SWAP1 000013c3: SSTORE 000013c4: JUMP 000013c5: JUMPDEST 000013c6: PUSH1 0x00 000013c8: SLOAD 000013c9: PUSH1 0x01 000013cb: PUSH1 0xa0 000013cd: PUSH1 0x02 000013cf: EXP 000013d0: SUB 000013d1: AND 000013d2: CALLER 000013d3: EQ 000013d4: PUSH2 0x1427 000013d7: JUMPI 000013d8: PUSH1 0x40 000013da: DUP1 000013db: MLOAD 000013dc: PUSH1 0xe5 000013de: PUSH1 0x02 000013e0: EXP 000013e1: PUSH3 0x461bcd 000013e5: MUL 000013e6: DUP2 000013e7: MSTORE 000013e8: PUSH1 0x20 000013ea: PUSH1 0x04 000013ec: DUP3 000013ed: ADD 000013ee: MSTORE 000013ef: PUSH1 0x26 000013f1: PUSH1 0x24 000013f3: DUP3 000013f4: ADD 000013f5: MSTORE 000013f6: PUSH1 0x00 000013f8: DUP1 000013f9: MLOAD 000013fa: PUSH1 0x20 000013fc: PUSH2 0x198f 000013ff: DUP4 00001400: CODECOPY 00001401: DUP2 00001402: MLOAD 00001403: SWAP2 00001404: MSTORE 00001405: PUSH1 0x44 00001407: DUP3 00001408: ADD 00001409: MSTORE 0000140a: PUSH1 0xd1 0000140c: PUSH1 0x02 0000140e: EXP 0000140f: PUSH6 0x37bbb732b917 00001416: MUL 00001417: PUSH1 0x64 00001419: DUP3 0000141a: ADD 0000141b: MSTORE 0000141c: SWAP1 0000141d: MLOAD 0000141e: SWAP1 0000141f: DUP2 00001420: SWAP1 00001421: SUB 00001422: PUSH1 0x84 00001424: ADD 00001425: SWAP1 00001426: REVERT 00001427: JUMPDEST 00001428: PUSH1 0x03 0000142a: DUP1 0000142b: SLOAD 0000142c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001441: NOT 00001442: AND 00001443: PUSH1 0x01 00001445: PUSH1 0xa0 00001447: PUSH1 0x02 00001449: EXP 0000144a: SUB 0000144b: SWAP3 0000144c: SWAP1 0000144d: SWAP3 0000144e: AND 0000144f: SWAP2 00001450: SWAP1 00001451: SWAP2 00001452: OR 00001453: SWAP1 00001454: SSTORE 00001455: JUMP 00001456: JUMPDEST 00001457: PUSH1 0x04 00001459: SLOAD 0000145a: PUSH1 0x80 0000145c: PUSH1 0x02 0000145e: EXP 0000145f: SWAP1 00001460: DIV 00001461: PUSH1 0x01 00001463: PUSH1 0x80 00001465: PUSH1 0x02 00001467: EXP 00001468: SUB 00001469: AND 0000146a: DUP2 0000146b: JUMP 0000146c: JUMPDEST 0000146d: PUSH1 0x00 0000146f: DUP2 00001470: DUP2 00001471: MSTORE 00001472: PUSH1 0x05 00001474: PUSH1 0x20 00001476: MSTORE 00001477: PUSH1 0x40 00001479: DUP2 0000147a: KECCAK256 0000147b: DUP1 0000147c: SLOAD 0000147d: SWAP1 0000147e: SWAP2 0000147f: DUP1 00001480: DUP3 00001481: ISZERO 00001482: ISZERO 00001483: PUSH2 0x14fc 00001486: JUMPI 00001487: PUSH1 0x40 00001489: DUP1 0000148a: MLOAD 0000148b: PUSH1 0xe5 0000148d: PUSH1 0x02 0000148f: EXP 00001490: PUSH3 0x461bcd 00001494: MUL 00001495: DUP2 00001496: MSTORE 00001497: PUSH1 0x20 00001499: PUSH1 0x04 0000149b: DUP3 0000149c: ADD 0000149d: MSTORE 0000149e: PUSH1 0x22 000014a0: PUSH1 0x24 000014a2: DUP3 000014a3: ADD 000014a4: MSTORE 000014a5: PUSH32 0x4265742073686f756c6420626520696e20616e20276163746976652720737461 000014c6: PUSH1 0x44 000014c8: DUP3 000014c9: ADD 000014ca: MSTORE 000014cb: PUSH32 0x7465000000000000000000000000000000000000000000000000000000000000 000014ec: PUSH1 0x64 000014ee: DUP3 000014ef: ADD 000014f0: MSTORE 000014f1: SWAP1 000014f2: MLOAD 000014f3: SWAP1 000014f4: DUP2 000014f5: SWAP1 000014f6: SUB 000014f7: PUSH1 0x84 000014f9: ADD 000014fa: SWAP1 000014fb: REVERT 000014fc: JUMPDEST 000014fd: PUSH1 0x01 000014ff: DUP5 00001500: ADD 00001501: SLOAD 00001502: PUSH5 0xffffffffff 00001508: PUSH3 0x010000 0000150c: SWAP1 0000150d: SWAP2 0000150e: DIV 0000150f: AND 00001510: PUSH1 0xfa 00001512: ADD 00001513: NUMBER 00001514: GT 00001515: PUSH2 0x158e 00001518: JUMPI 00001519: PUSH1 0x40 0000151b: DUP1 0000151c: MLOAD 0000151d: PUSH1 0xe5 0000151f: PUSH1 0x02 00001521: EXP 00001522: PUSH3 0x461bcd 00001526: MUL 00001527: DUP2 00001528: MSTORE 00001529: PUSH1 0x20 0000152b: PUSH1 0x04 0000152d: DUP3 0000152e: ADD 0000152f: MSTORE 00001530: PUSH1 0x22 00001532: PUSH1 0x24 00001534: DUP3 00001535: ADD 00001536: MSTORE 00001537: PUSH32 0x426c6f636b686173682063616e27742062652071756572696564206279204556 00001558: PUSH1 0x44 0000155a: DUP3 0000155b: ADD 0000155c: MSTORE 0000155d: PUSH32 0x4d2e000000000000000000000000000000000000000000000000000000000000 0000157e: PUSH1 0x64 00001580: DUP3 00001581: ADD 00001582: MSTORE 00001583: SWAP1 00001584: MLOAD 00001585: SWAP1 00001586: DUP2 00001587: SWAP1 00001588: SUB 00001589: PUSH1 0x84 0000158b: ADD 0000158c: SWAP1 0000158d: REVERT 0000158e: JUMPDEST 0000158f: PUSH1 0x00 00001591: DUP5 00001592: SSTORE 00001593: PUSH1 0x01 00001595: DUP5 00001596: ADD 00001597: SLOAD 00001598: PUSH2 0x15ae 0000159b: SWAP1 0000159c: DUP5 0000159d: SWAP1 0000159e: PUSH1 0xff 000015a0: DUP1 000015a1: DUP3 000015a2: AND 000015a3: SWAP2 000015a4: PUSH2 0x0100 000015a7: SWAP1 000015a8: DIV 000015a9: AND 000015aa: PUSH2 0x174c 000015ad: JUMP 000015ae: JUMPDEST 000015af: PUSH1 0x04 000015b1: DUP1 000015b2: SLOAD 000015b3: PUSH1 0x01 000015b5: PUSH1 0x80 000015b7: PUSH1 0x02 000015b9: EXP 000015ba: SUB 000015bb: PUSH1 0x80 000015bd: PUSH1 0x02 000015bf: EXP 000015c0: DUP1 000015c1: DUP4 000015c2: DIV 000015c3: DUP3 000015c4: AND 000015c5: DUP7 000015c6: SWAP1 000015c7: SUB 000015c8: DUP3 000015c9: AND 000015ca: MUL 000015cb: SWAP2 000015cc: DUP2 000015cd: AND 000015ce: SWAP2 000015cf: SWAP1 000015d0: SWAP2 000015d1: OR 000015d2: DUP1 000015d3: DUP3 000015d4: AND 000015d5: DUP5 000015d6: SWAP1 000015d7: SUB 000015d8: SWAP1 000015d9: SWAP2 000015da: AND 000015db: PUSH16 0xffffffffffffffffffffffffffffffff 000015ec: NOT 000015ed: SWAP2 000015ee: SWAP1 000015ef: SWAP2 000015f0: AND 000015f1: OR 000015f2: SWAP1 000015f3: SSTORE 000015f4: PUSH1 0x01 000015f6: DUP7 000015f7: ADD 000015f8: SLOAD 000015f9: SWAP2 000015fa: SWAP4 000015fb: POP 000015fc: SWAP2 000015fd: POP 000015fe: PUSH2 0x1622 00001601: SWAP1 00001602: PUSH1 0x01 00001604: PUSH1 0xa0 00001606: PUSH1 0x02 00001608: EXP 00001609: SUB 0000160a: PUSH13 0x01000000000000000000000000 00001618: SWAP1 00001619: SWAP2 0000161a: DIV 0000161b: AND 0000161c: DUP5 0000161d: DUP1 0000161e: PUSH2 0x1894 00001621: JUMP 00001622: JUMPDEST 00001623: POP 00001624: POP 00001625: POP 00001626: POP 00001627: POP 00001628: JUMP 00001629: JUMPDEST 0000162a: DUP1 0000162b: PUSH1 0x00 0000162d: JUMPDEST 0000162e: DUP2 0000162f: DUP2 00001630: LT 00001631: ISZERO 00001632: PUSH2 0x1658 00001635: JUMPI 00001636: PUSH2 0x1650 00001639: DUP5 0000163a: DUP5 0000163b: DUP4 0000163c: DUP2 0000163d: DUP2 0000163e: LT 0000163f: PUSH2 0x1644 00001642: JUMPI 00001643: INVALID 00001644: JUMPDEST 00001645: SWAP1 00001646: POP 00001647: PUSH1 0x20 00001649: MUL 0000164a: ADD 0000164b: CALLDATALOAD 0000164c: PUSH2 0x1947 0000164f: JUMP 00001650: JUMPDEST 00001651: PUSH1 0x01 00001653: ADD 00001654: PUSH2 0x162d 00001657: JUMP 00001658: JUMPDEST 00001659: POP 0000165a: POP 0000165b: POP 0000165c: POP 0000165d: JUMP 0000165e: JUMPDEST 0000165f: PUSH1 0x00 00001661: SLOAD 00001662: PUSH1 0x01 00001664: PUSH1 0xa0 00001666: PUSH1 0x02 00001668: EXP 00001669: SUB 0000166a: AND 0000166b: CALLER 0000166c: EQ 0000166d: PUSH2 0x16c0 00001670: JUMPI 00001671: PUSH1 0x40 00001673: DUP1 00001674: MLOAD 00001675: PUSH1 0xe5 00001677: PUSH1 0x02 00001679: EXP 0000167a: PUSH3 0x461bcd 0000167e: MUL 0000167f: DUP2 00001680: MSTORE 00001681: PUSH1 0x20 00001683: PUSH1 0x04 00001685: DUP3 00001686: ADD 00001687: MSTORE 00001688: PUSH1 0x26 0000168a: PUSH1 0x24 0000168c: DUP3 0000168d: ADD 0000168e: MSTORE 0000168f: PUSH1 0x00 00001691: DUP1 00001692: MLOAD 00001693: PUSH1 0x20 00001695: PUSH2 0x198f 00001698: DUP4 00001699: CODECOPY 0000169a: DUP2 0000169b: MLOAD 0000169c: SWAP2 0000169d: MSTORE 0000169e: PUSH1 0x44 000016a0: DUP3 000016a1: ADD 000016a2: MSTORE 000016a3: PUSH1 0xd1 000016a5: PUSH1 0x02 000016a7: EXP 000016a8: PUSH6 0x37bbb732b917 000016af: MUL 000016b0: PUSH1 0x64 000016b2: DUP3 000016b3: ADD 000016b4: MSTORE 000016b5: SWAP1 000016b6: MLOAD 000016b7: SWAP1 000016b8: DUP2 000016b9: SWAP1 000016ba: SUB 000016bb: PUSH1 0x84 000016bd: ADD 000016be: SWAP1 000016bf: REVERT 000016c0: JUMPDEST 000016c1: PUSH10 0x3f870857a3e0e3800000 000016cc: DUP2 000016cd: LT 000016ce: PUSH2 0x1747 000016d1: JUMPI 000016d2: PUSH1 0x40 000016d4: DUP1 000016d5: MLOAD 000016d6: PUSH1 0xe5 000016d8: PUSH1 0x02 000016da: EXP 000016db: PUSH3 0x461bcd 000016df: MUL 000016e0: DUP2 000016e1: MSTORE 000016e2: PUSH1 0x20 000016e4: PUSH1 0x04 000016e6: DUP3 000016e7: ADD 000016e8: MSTORE 000016e9: PUSH1 0x22 000016eb: PUSH1 0x24 000016ed: DUP3 000016ee: ADD 000016ef: MSTORE 000016f0: PUSH32 0x6d617850726f6669742073686f756c6420626520612073616e65206e756d6265 00001711: PUSH1 0x44 00001713: DUP3 00001714: ADD 00001715: MSTORE 00001716: PUSH32 0x722e000000000000000000000000000000000000000000000000000000000000 00001737: PUSH1 0x64 00001739: DUP3 0000173a: ADD 0000173b: MSTORE 0000173c: SWAP1 0000173d: MLOAD 0000173e: SWAP1 0000173f: DUP2 00001740: SWAP1 00001741: SUB 00001742: PUSH1 0x84 00001744: ADD 00001745: SWAP1 00001746: REVERT 00001747: JUMPDEST 00001748: PUSH1 0x02 0000174a: SSTORE 0000174b: JUMP 0000174c: JUMPDEST 0000174d: PUSH1 0x00 0000174f: DUP1 00001750: PUSH1 0x00 00001752: DUP4 00001753: PUSH1 0x00 00001755: LT 00001756: DUP1 00001757: ISZERO 00001758: PUSH2 0x1761 0000175b: JUMPI 0000175c: POP 0000175d: DUP5 0000175e: DUP5 0000175f: GT 00001760: ISZERO 00001761: JUMPDEST 00001762: ISZERO 00001763: ISZERO 00001764: PUSH2 0x17b7 00001767: JUMPI 00001768: PUSH1 0x40 0000176a: DUP1 0000176b: MLOAD 0000176c: PUSH1 0xe5 0000176e: PUSH1 0x02 00001770: EXP 00001771: PUSH3 0x461bcd 00001775: MUL 00001776: DUP2 00001777: MSTORE 00001778: PUSH1 0x20 0000177a: PUSH1 0x04 0000177c: DUP3 0000177d: ADD 0000177e: MSTORE 0000177f: PUSH1 0x1d 00001781: PUSH1 0x24 00001783: DUP3 00001784: ADD 00001785: MSTORE 00001786: PUSH32 0x57696e2070726f626162696c697479206f7574206f662072616e67652e000000 000017a7: PUSH1 0x44 000017a9: DUP3 000017aa: ADD 000017ab: MSTORE 000017ac: SWAP1 000017ad: MLOAD 000017ae: SWAP1 000017af: DUP2 000017b0: SWAP1 000017b1: SUB 000017b2: PUSH1 0x64 000017b4: ADD 000017b5: SWAP1 000017b6: REVERT 000017b7: JUMPDEST 000017b8: PUSH8 0x016345785d8a0000 000017c1: DUP7 000017c2: LT 000017c3: ISZERO 000017c4: PUSH2 0x17ce 000017c7: JUMPI 000017c8: PUSH1 0x00 000017ca: PUSH2 0x17d7 000017cd: JUMP 000017ce: JUMPDEST 000017cf: PUSH7 0x038d7ea4c68000 000017d7: JUMPDEST 000017d8: SWAP2 000017d9: POP 000017da: POP 000017db: PUSH1 0x64 000017dd: DUP6 000017de: DIV 000017df: PUSH7 0x0110d9316ec000 000017e7: DUP2 000017e8: LT 000017e9: ISZERO 000017ea: PUSH2 0x17f7 000017ed: JUMPI 000017ee: POP 000017ef: PUSH7 0x0110d9316ec000 000017f7: JUMPDEST 000017f8: DUP1 000017f9: DUP3 000017fa: ADD 000017fb: DUP7 000017fc: LT 000017fd: ISZERO 000017fe: PUSH2 0x1877 00001801: JUMPI 00001802: PUSH1 0x40 00001804: DUP1 00001805: MLOAD 00001806: PUSH1 0xe5 00001808: PUSH1 0x02 0000180a: EXP 0000180b: PUSH3 0x461bcd 0000180f: MUL 00001810: DUP2 00001811: MSTORE 00001812: PUSH1 0x20 00001814: PUSH1 0x04 00001816: DUP3 00001817: ADD 00001818: MSTORE 00001819: PUSH1 0x22 0000181b: PUSH1 0x24 0000181d: DUP3 0000181e: ADD 0000181f: MSTORE 00001820: PUSH32 0x42657420646f65736e2774206576656e20636f76657220686f75736520656467 00001841: PUSH1 0x44 00001843: DUP3 00001844: ADD 00001845: MSTORE 00001846: PUSH32 0x652e000000000000000000000000000000000000000000000000000000000000 00001867: PUSH1 0x64 00001869: DUP3 0000186a: ADD 0000186b: MSTORE 0000186c: SWAP1 0000186d: MLOAD 0000186e: SWAP1 0000186f: DUP2 00001870: SWAP1 00001871: SUB 00001872: PUSH1 0x84 00001874: ADD 00001875: SWAP1 00001876: REVERT 00001877: JUMPDEST 00001878: DUP4 00001879: DUP6 0000187a: DUP4 0000187b: DUP4 0000187c: DUP10 0000187d: SUB 0000187e: SUB 0000187f: MUL 00001880: DUP2 00001881: ISZERO 00001882: ISZERO 00001883: PUSH2 0x1888 00001886: JUMPI 00001887: INVALID 00001888: JUMPDEST 00001889: DIV 0000188a: SWAP3 0000188b: POP 0000188c: POP 0000188d: SWAP4 0000188e: POP 0000188f: SWAP4 00001890: SWAP2 00001891: POP 00001892: POP 00001893: JUMP 00001894: JUMPDEST 00001895: PUSH1 0x40 00001897: MLOAD 00001898: PUSH1 0x01 0000189a: PUSH1 0xa0 0000189c: PUSH1 0x02 0000189e: EXP 0000189f: SUB 000018a0: DUP5 000018a1: AND 000018a2: SWAP1 000018a3: DUP4 000018a4: ISZERO 000018a5: PUSH2 0x08fc 000018a8: MUL 000018a9: SWAP1 000018aa: DUP5 000018ab: SWAP1 000018ac: PUSH1 0x00 000018ae: DUP2 000018af: DUP2 000018b0: DUP2 000018b1: DUP6 000018b2: DUP9 000018b3: DUP9 000018b4: CALL 000018b5: SWAP4 000018b6: POP 000018b7: POP 000018b8: POP 000018b9: POP 000018ba: ISZERO 000018bb: PUSH2 0x1902 000018be: JUMPI 000018bf: PUSH1 0x40 000018c1: DUP1 000018c2: MLOAD 000018c3: DUP3 000018c4: DUP2 000018c5: MSTORE 000018c6: SWAP1 000018c7: MLOAD 000018c8: PUSH1 0x01 000018ca: PUSH1 0xa0 000018cc: PUSH1 0x02 000018ce: EXP 000018cf: SUB 000018d0: DUP6 000018d1: AND 000018d2: SWAP2 000018d3: PUSH32 0xd4f43975feb89f48dd30cabbb32011045be187d1e11c8ea9faa43efc35282519 000018f4: SWAP2 000018f5: SWAP1 000018f6: DUP2 000018f7: SWAP1 000018f8: SUB 000018f9: PUSH1 0x20 000018fb: ADD 000018fc: SWAP1 000018fd: LOG2 000018fe: PUSH2 0x1942 00001901: JUMP 00001902: JUMPDEST 00001903: PUSH1 0x40 00001905: DUP1 00001906: MLOAD 00001907: DUP4 00001908: DUP2 00001909: MSTORE 0000190a: SWAP1 0000190b: MLOAD 0000190c: PUSH1 0x01 0000190e: PUSH1 0xa0 00001910: PUSH1 0x02 00001912: EXP 00001913: SUB 00001914: DUP6 00001915: AND 00001916: SWAP2 00001917: PUSH32 0xac464fe4d3a86b9121261ac0a01dd981bfe0777c7c9d9c8f4473d31a9c0f9d2d 00001938: SWAP2 00001939: SWAP1 0000193a: DUP2 0000193b: SWAP1 0000193c: SUB 0000193d: PUSH1 0x20 0000193f: ADD 00001940: SWAP1 00001941: LOG2 00001942: JUMPDEST 00001943: POP 00001944: POP 00001945: POP 00001946: JUMP 00001947: JUMPDEST 00001948: PUSH1 0x00 0000194a: DUP2 0000194b: DUP2 0000194c: MSTORE 0000194d: PUSH1 0x05 0000194f: PUSH1 0x20 00001951: MSTORE 00001952: PUSH1 0x40 00001954: SWAP1 00001955: KECCAK256 00001956: DUP1 00001957: SLOAD 00001958: ISZERO 00001959: ISZERO 0000195a: DUP1 0000195b: PUSH2 0x1979 0000195e: JUMPI 0000195f: POP 00001960: PUSH1 0x01 00001962: DUP2 00001963: ADD 00001964: SLOAD 00001965: PUSH5 0xffffffffff 0000196b: PUSH3 0x010000 0000196f: SWAP1 00001970: SWAP2 00001971: DIV 00001972: AND 00001973: PUSH1 0xfa 00001975: ADD 00001976: NUMBER 00001977: GT 00001978: ISZERO 00001979: JUMPDEST 0000197a: ISZERO 0000197b: PUSH2 0x1983 0000197e: JUMPI 0000197f: PUSH2 0x109c 00001982: JUMP 00001983: JUMPDEST 00001984: PUSH1 0x00 00001986: PUSH1 0x01 00001988: DUP3 00001989: ADD 0000198a: SSTORE 0000198b: POP 0000198c: POP 0000198d: JUMP 0000198e: STOP 0000198f: UNKNOWN(0x4F) 00001990: PUSH15 0x6c794f776e6572206d6574686f6473 000019a0: KECCAK256 000019a1: PUSH4 0x616c6c65 000019a6: PUSH5 0x206279206e 000019ac: PUSH16 0x6e2da165627a7a723058201464f74d7c 000019bd: CALLDATASIZE 000019be: SDIV 000019bf: UNKNOWN(0xA5) 000019c0: UNKNOWN(0xE8) 000019c1: UNKNOWN(0xB2) 000019c2: SWAP4 000019c3: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x509a6d7749af82998c3b925135641e5033b4de8356124d6e94fde98e6d4a928e
call_targets:
0xd1ceeeefa68a6af0a5f6046132d986066c7f9426
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x509a6d7749af82998c3b925135641e5033b4de8356124d6e94fde98e6d4a928e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd1ceeeefa68a6af0a5f6046132d986066c7f9426"
],
"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": "0x0d2cbe13",
"selector": "0x0d2cbe13",
"calldata_variants": [
"0x0d2cbe13",
"0x0d2cbe130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d61537f",
"selector": "0x4d61537f",
"calldata_variants": [
"0x4d61537f",
"0x4d61537f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57246d23",
"selector": "0x57246d23",
"calldata_variants": [
"0x57246d23",
"0x57246d230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e83b463",
"selector": "0x5e83b463",
"calldata_variants": [
"0x5e83b463",
"0x5e83b4630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb539cd55",
"selector": "0xb539cd55",
"calldata_variants": [
"0xb539cd55",
"0xb539cd550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1075329",
"selector": "0xc1075329",
"calldata_variants": [
"0xc1075329",
"0xc10753290000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3093,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6324,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x509a6d7749af82998c3b925135641e5033b4de8356124d6e94fde98e6d4a928e
call_targets:
0xd1ceeeefa68a6af0a5f6046132d986066c7f9426
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x509a6d7749af82998c3b925135641e5033b4de8356124d6e94fde98e6d4a928e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd1ceeeefa68a6af0a5f6046132d986066c7f9426"
],
"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": "0x0d2cbe13",
"selector": "0x0d2cbe13",
"calldata_variants": [
"0x0d2cbe13",
"0x0d2cbe130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d61537f",
"selector": "0x4d61537f",
"calldata_variants": [
"0x4d61537f",
"0x4d61537f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57246d23",
"selector": "0x57246d23",
"calldata_variants": [
"0x57246d23",
"0x57246d230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e83b463",
"selector": "0x5e83b463",
"calldata_variants": [
"0x5e83b463",
"0x5e83b4630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb539cd55",
"selector": "0xb539cd55",
"calldata_variants": [
"0xb539cd55",
"0xb539cd550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1075329",
"selector": "0xc1075329",
"calldata_variants": [
"0xc1075329",
"0xc10753290000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3093,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6324,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x1627e37e05ecde07699804d13d11e10bce7dff330d8db5f7c736c875f600bc2e
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x1627e37e05ecde07699804d13d11e10bce7dff330d8db5f7c736c875f600bc2e",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0d2cbe13",
"selector": "0x0d2cbe13",
"calldata_variants": [
"0x0d2cbe13",
"0x0d2cbe130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d61537f",
"selector": "0x4d61537f",
"calldata_variants": [
"0x4d61537f",
"0x4d61537f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57246d23",
"selector": "0x57246d23",
"calldata_variants": [
"0x57246d23",
"0x57246d230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e83b463",
"selector": "0x5e83b463",
"calldata_variants": [
"0x5e83b463",
"0x5e83b4630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb539cd55",
"selector": "0xb539cd55",
"calldata_variants": [
"0xb539cd55",
"0xb539cd550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1075329",
"selector": "0xc1075329",
"calldata_variants": [
"0xc1075329",
"0xc10753290000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|