019b477e-ceea-73ba-9fd1-385c0c37acaa
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 |
|---|---|---|---|---|
| 27287 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27288 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70682 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70683 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70684 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70685 | 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 0x01a0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x91b89fba 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc0f306ef 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe98030c7 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe98030c7 0000003a: EQ 0000003b: PUSH2 0x04e8 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0508 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfbcbc0f1 00000050: EQ 00000051: PUSH2 0x0528 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xffb2c479 0000005b: EQ 0000005c: PUSH2 0x0548 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc0f306ef 0000006b: EQ 0000006c: PUSH2 0x0493 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe30443bc 00000076: EQ 00000077: PUSH2 0x04b3 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe7841ec0 00000081: EQ 00000082: PUSH2 0x04d3 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0xab6ddfa8 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xab6ddfa8 0000009c: EQ 0000009d: PUSH2 0x03fc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xad7a672f 000000a7: EQ 000000a8: PUSH2 0x0429 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xbc4c4b37 000000b2: EQ 000000b3: PUSH2 0x043f 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xbe10b614 000000bd: EQ 000000be: PUSH2 0x045f 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x91b89fba 000000cd: EQ 000000ce: PUSH2 0x0386 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xa8b9d240 000000d8: EQ 000000d9: PUSH2 0x03a6 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xaafd847a 000000e3: EQ 000000e4: PUSH2 0x03c6 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x4e7b827f 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x6f2789ec 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x6f2789ec 00000109: EQ 0000010a: PUSH2 0x031d 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x715018a6 00000114: EQ 00000115: PUSH2 0x0333 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x85a6b3ae 0000011f: EQ 00000120: PUSH2 0x0348 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x8da5cb5b 0000012a: EQ 0000012b: PUSH2 0x035e 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x4e7b827f 0000013a: EQ 0000013b: PUSH2 0x0263 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x5183d6fd 00000145: EQ 00000146: PUSH2 0x02a3 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x6a474002 00000150: EQ 00000151: PUSH2 0x0308 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x03c83302 00000160: EQ 00000161: PUSH2 0x01b4 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x09bbedde 0000016b: EQ 0000016c: PUSH2 0x01bc 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x226cfa3d 00000176: EQ 00000177: PUSH2 0x01e0 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x27ce0147 00000181: EQ 00000182: PUSH2 0x020d 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x3009a609 0000018c: EQ 0000018d: PUSH2 0x022d 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x31e79db0 00000197: EQ 00000198: PUSH2 0x0243 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: CALLDATASIZE 000001a2: PUSH2 0x01af 000001a5: JUMPI 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x0583 000001ac: JUMP 000001ad: JUMPDEST 000001ae: STOP 000001af: JUMPDEST 000001b0: PUSH1 0x00 000001b2: DUP1 000001b3: REVERT 000001b4: JUMPDEST 000001b5: PUSH2 0x01ad 000001b8: PUSH2 0x0583 000001bb: JUMP 000001bc: JUMPDEST 000001bd: CALLVALUE 000001be: DUP1 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: PUSH1 0x07 000001cc: SLOAD 000001cd: JUMPDEST 000001ce: PUSH1 0x40 000001d0: MLOAD 000001d1: SWAP1 000001d2: DUP2 000001d3: MSTORE 000001d4: PUSH1 0x20 000001d6: ADD 000001d7: JUMPDEST 000001d8: PUSH1 0x40 000001da: MLOAD 000001db: DUP1 000001dc: SWAP2 000001dd: SUB 000001de: SWAP1 000001df: RETURN 000001e0: JUMPDEST 000001e1: CALLVALUE 000001e2: DUP1 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: PUSH2 0x01cd 000001f1: PUSH2 0x01fb 000001f4: CALLDATASIZE 000001f5: PUSH1 0x04 000001f7: PUSH2 0x1599 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x0d 000001fe: PUSH1 0x20 00000200: MSTORE 00000201: PUSH1 0x00 00000203: SWAP1 00000204: DUP2 00000205: MSTORE 00000206: PUSH1 0x40 00000208: SWAP1 00000209: KECCAK256 0000020a: SLOAD 0000020b: DUP2 0000020c: JUMP 0000020d: JUMPDEST 0000020e: CALLVALUE 0000020f: DUP1 00000210: ISZERO 00000211: PUSH2 0x0219 00000214: JUMPI 00000215: PUSH1 0x00 00000217: DUP1 00000218: REVERT 00000219: JUMPDEST 0000021a: POP 0000021b: PUSH2 0x01cd 0000021e: PUSH2 0x0228 00000221: CALLDATASIZE 00000222: PUSH1 0x04 00000224: PUSH2 0x1599 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x060d 0000022c: JUMP 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: DUP1 00000230: ISZERO 00000231: PUSH2 0x0239 00000234: JUMPI 00000235: PUSH1 0x00 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x01cd 0000023e: PUSH1 0x0b 00000240: SLOAD 00000241: DUP2 00000242: JUMP 00000243: JUMPDEST 00000244: CALLVALUE 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x01ad 00000254: PUSH2 0x025e 00000257: CALLDATASIZE 00000258: PUSH1 0x04 0000025a: PUSH2 0x1599 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH2 0x0670 00000262: JUMP 00000263: JUMPDEST 00000264: CALLVALUE 00000265: DUP1 00000266: ISZERO 00000267: PUSH2 0x026f 0000026a: JUMPI 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: POP 00000271: PUSH2 0x0293 00000274: PUSH2 0x027e 00000277: CALLDATASIZE 00000278: PUSH1 0x04 0000027a: PUSH2 0x1599 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH1 0x0c 00000281: PUSH1 0x20 00000283: MSTORE 00000284: PUSH1 0x00 00000286: SWAP1 00000287: DUP2 00000288: MSTORE 00000289: PUSH1 0x40 0000028b: SWAP1 0000028c: KECCAK256 0000028d: SLOAD 0000028e: PUSH1 0xff 00000290: AND 00000291: DUP2 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH1 0x40 00000296: MLOAD 00000297: SWAP1 00000298: ISZERO 00000299: ISZERO 0000029a: DUP2 0000029b: MSTORE 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: PUSH2 0x01d7 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: DUP1 000002a6: ISZERO 000002a7: PUSH2 0x02af 000002aa: JUMPI 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: POP 000002b1: PUSH2 0x02c3 000002b4: PUSH2 0x02be 000002b7: CALLDATASIZE 000002b8: PUSH1 0x04 000002ba: PUSH2 0x15b6 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x0711 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x40 000002c6: DUP1 000002c7: MLOAD 000002c8: PUSH1 0x01 000002ca: PUSH1 0x01 000002cc: PUSH1 0xa0 000002ce: SHL 000002cf: SUB 000002d0: SWAP1 000002d1: SWAP10 000002d2: AND 000002d3: DUP10 000002d4: MSTORE 000002d5: PUSH1 0x20 000002d7: DUP10 000002d8: ADD 000002d9: SWAP8 000002da: SWAP1 000002db: SWAP8 000002dc: MSTORE 000002dd: SWAP6 000002de: DUP8 000002df: ADD 000002e0: SWAP5 000002e1: SWAP1 000002e2: SWAP5 000002e3: MSTORE 000002e4: PUSH1 0x60 000002e6: DUP7 000002e7: ADD 000002e8: SWAP3 000002e9: SWAP1 000002ea: SWAP3 000002eb: MSTORE 000002ec: PUSH1 0x80 000002ee: DUP6 000002ef: ADD 000002f0: MSTORE 000002f1: PUSH1 0xa0 000002f3: DUP5 000002f4: ADD 000002f5: MSTORE 000002f6: PUSH1 0xc0 000002f8: DUP4 000002f9: ADD 000002fa: MSTORE 000002fb: PUSH1 0xe0 000002fd: DUP3 000002fe: ADD 000002ff: MSTORE 00000300: PUSH2 0x0100 00000303: ADD 00000304: PUSH2 0x01d7 00000307: JUMP 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x01ad 00000319: PUSH2 0x077e 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x01cd 0000032e: PUSH1 0x0e 00000330: SLOAD 00000331: DUP2 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x01ad 00000344: PUSH2 0x078a 00000347: JUMP 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH2 0x01cd 00000359: PUSH1 0x06 0000035b: SLOAD 0000035c: DUP2 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH1 0x00 0000036e: SLOAD 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: PUSH1 0x01 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: SHL 00000379: SUB 0000037a: SWAP1 0000037b: SWAP2 0000037c: AND 0000037d: DUP2 0000037e: MSTORE 0000037f: PUSH1 0x20 00000381: ADD 00000382: PUSH2 0x01d7 00000385: JUMP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: PUSH2 0x01cd 00000397: PUSH2 0x03a1 0000039a: CALLDATASIZE 0000039b: PUSH1 0x04 0000039d: PUSH2 0x1599 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH2 0x07fe 000003a5: JUMP 000003a6: JUMPDEST 000003a7: CALLVALUE 000003a8: DUP1 000003a9: ISZERO 000003aa: PUSH2 0x03b2 000003ad: JUMPI 000003ae: PUSH1 0x00 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: POP 000003b4: PUSH2 0x01cd 000003b7: PUSH2 0x03c1 000003ba: CALLDATASIZE 000003bb: PUSH1 0x04 000003bd: PUSH2 0x1599 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x0805 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x01cd 000003d7: PUSH2 0x03e1 000003da: CALLDATASIZE 000003db: PUSH1 0x04 000003dd: PUSH2 0x1599 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x01 000003e4: PUSH1 0x01 000003e6: PUSH1 0xa0 000003e8: SHL 000003e9: SUB 000003ea: AND 000003eb: PUSH1 0x00 000003ed: SWAP1 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x03 000003f2: PUSH1 0x20 000003f4: MSTORE 000003f5: PUSH1 0x40 000003f7: SWAP1 000003f8: KECCAK256 000003f9: SLOAD 000003fa: SWAP1 000003fb: JUMP 000003fc: JUMPDEST 000003fd: CALLVALUE 000003fe: DUP1 000003ff: ISZERO 00000400: PUSH2 0x0408 00000403: JUMPI 00000404: PUSH1 0x00 00000406: DUP1 00000407: REVERT 00000408: JUMPDEST 00000409: POP 0000040a: PUSH2 0x01cd 0000040d: PUSH2 0x0417 00000410: CALLDATASIZE 00000411: PUSH1 0x04 00000413: PUSH2 0x1599 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x04 0000041a: PUSH1 0x20 0000041c: MSTORE 0000041d: PUSH1 0x00 0000041f: SWAP1 00000420: DUP2 00000421: MSTORE 00000422: PUSH1 0x40 00000424: SWAP1 00000425: KECCAK256 00000426: SLOAD 00000427: DUP2 00000428: JUMP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: POP 00000437: PUSH2 0x01cd 0000043a: PUSH1 0x05 0000043c: SLOAD 0000043d: DUP2 0000043e: JUMP 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: DUP1 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: POP 0000044d: PUSH2 0x0293 00000450: PUSH2 0x045a 00000453: CALLDATASIZE 00000454: PUSH1 0x04 00000456: PUSH2 0x15cf 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH2 0x0831 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x01cd 00000470: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000491: DUP2 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: DUP1 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: PUSH2 0x01ad 000004a4: PUSH2 0x04ae 000004a7: CALLDATASIZE 000004a8: PUSH1 0x04 000004aa: PUSH2 0x1599 000004ad: JUMP 000004ae: JUMPDEST 000004af: PUSH2 0x08dd 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x01ad 000004c4: PUSH2 0x04ce 000004c7: CALLDATASIZE 000004c8: PUSH1 0x04 000004ca: PUSH2 0x160d 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH2 0x0975 000004d2: JUMP 000004d3: JUMPDEST 000004d4: CALLVALUE 000004d5: DUP1 000004d6: ISZERO 000004d7: PUSH2 0x04df 000004da: JUMPI 000004db: PUSH1 0x00 000004dd: DUP1 000004de: REVERT 000004df: JUMPDEST 000004e0: POP 000004e1: PUSH1 0x0b 000004e3: SLOAD 000004e4: PUSH2 0x01cd 000004e7: JUMP 000004e8: JUMPDEST 000004e9: CALLVALUE 000004ea: DUP1 000004eb: ISZERO 000004ec: PUSH2 0x04f4 000004ef: JUMPI 000004f0: PUSH1 0x00 000004f2: DUP1 000004f3: REVERT 000004f4: JUMPDEST 000004f5: POP 000004f6: PUSH2 0x01ad 000004f9: PUSH2 0x0503 000004fc: CALLDATASIZE 000004fd: PUSH1 0x04 000004ff: PUSH2 0x15b6 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x0a24 00000507: JUMP 00000508: JUMPDEST 00000509: CALLVALUE 0000050a: DUP1 0000050b: ISZERO 0000050c: PUSH2 0x0514 0000050f: JUMPI 00000510: PUSH1 0x00 00000512: DUP1 00000513: REVERT 00000514: JUMPDEST 00000515: POP 00000516: PUSH2 0x01ad 00000519: PUSH2 0x0523 0000051c: CALLDATASIZE 0000051d: PUSH1 0x04 0000051f: PUSH2 0x1599 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH2 0x0b8d 00000527: JUMP 00000528: JUMPDEST 00000529: CALLVALUE 0000052a: DUP1 0000052b: ISZERO 0000052c: PUSH2 0x0534 0000052f: JUMPI 00000530: PUSH1 0x00 00000532: DUP1 00000533: REVERT 00000534: JUMPDEST 00000535: POP 00000536: PUSH2 0x02c3 00000539: PUSH2 0x0543 0000053c: CALLDATASIZE 0000053d: PUSH1 0x04 0000053f: PUSH2 0x1599 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH2 0x0bc0 00000547: JUMP 00000548: JUMPDEST 00000549: CALLVALUE 0000054a: DUP1 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH1 0x00 00000552: DUP1 00000553: REVERT 00000554: JUMPDEST 00000555: POP 00000556: PUSH2 0x0568 00000559: PUSH2 0x0563 0000055c: CALLDATASIZE 0000055d: PUSH1 0x04 0000055f: PUSH2 0x15b6 00000562: JUMP 00000563: JUMPDEST 00000564: PUSH2 0x0ca7 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x40 0000056b: DUP1 0000056c: MLOAD 0000056d: SWAP4 0000056e: DUP5 0000056f: MSTORE 00000570: PUSH1 0x20 00000572: DUP5 00000573: ADD 00000574: SWAP3 00000575: SWAP1 00000576: SWAP3 00000577: MSTORE 00000578: SWAP1 00000579: DUP3 0000057a: ADD 0000057b: MSTORE 0000057c: PUSH1 0x60 0000057e: ADD 0000057f: PUSH2 0x01d7 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x00 00000586: PUSH1 0x05 00000588: SLOAD 00000589: GT 0000058a: DUP1 0000058b: ISZERO 0000058c: PUSH2 0x0595 0000058f: JUMPI 00000590: POP 00000591: PUSH1 0x00 00000593: CALLVALUE 00000594: GT 00000595: JUMPDEST 00000596: ISZERO 00000597: PUSH2 0x060b 0000059a: JUMPI 0000059b: PUSH1 0x05 0000059d: SLOAD 0000059e: PUSH2 0x05c2 000005a1: SWAP1 000005a2: PUSH2 0x05af 000005a5: CALLVALUE 000005a6: PUSH1 0x01 000005a8: PUSH1 0x80 000005aa: SHL 000005ab: PUSH2 0x0dc4 000005ae: JUMP 000005af: JUMPDEST 000005b0: PUSH2 0x05b9 000005b3: SWAP2 000005b4: SWAP1 000005b5: PUSH2 0x164f 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x01 000005bc: SLOAD 000005bd: SWAP1 000005be: PUSH2 0x0e4d 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x01 000005c5: SSTORE 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: CALLVALUE 000005ca: DUP2 000005cb: MSTORE 000005cc: CALLER 000005cd: SWAP1 000005ce: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511 000005ef: SWAP1 000005f0: PUSH1 0x20 000005f2: ADD 000005f3: PUSH1 0x40 000005f5: MLOAD 000005f6: DUP1 000005f7: SWAP2 000005f8: SUB 000005f9: SWAP1 000005fa: LOG2 000005fb: PUSH1 0x06 000005fd: SLOAD 000005fe: PUSH2 0x0607 00000601: SWAP1 00000602: CALLVALUE 00000603: PUSH2 0x0e4d 00000606: JUMP 00000607: JUMPDEST 00000608: PUSH1 0x06 0000060a: SSTORE 0000060b: JUMPDEST 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH1 0x01 00000610: PUSH1 0x01 00000612: PUSH1 0xa0 00000614: SHL 00000615: SUB 00000616: DUP2 00000617: AND 00000618: PUSH1 0x00 0000061a: SWAP1 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x02 0000061f: PUSH1 0x20 00000621: SWAP1 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x40 00000626: DUP1 00000627: DUP4 00000628: KECCAK256 00000629: SLOAD 0000062a: PUSH1 0x04 0000062c: SWAP1 0000062d: SWAP3 0000062e: MSTORE 0000062f: DUP3 00000630: KECCAK256 00000631: SLOAD 00000632: PUSH1 0x01 00000634: SLOAD 00000635: PUSH1 0x01 00000637: PUSH1 0x80 00000639: SHL 0000063a: SWAP3 0000063b: PUSH2 0x0660 0000063e: SWAP3 0000063f: PUSH2 0x065b 00000642: SWAP3 00000643: PUSH2 0x0655 00000646: SWAP2 00000647: PUSH2 0x0650 0000064a: SWAP2 0000064b: SWAP1 0000064c: PUSH2 0x0dc4 0000064f: JUMP 00000650: JUMPDEST 00000651: PUSH2 0x0eac 00000654: JUMP 00000655: JUMPDEST 00000656: SWAP1 00000657: PUSH2 0x0ebc 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH2 0x0efa 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH2 0x066a 00000664: SWAP2 00000665: SWAP1 00000666: PUSH2 0x164f 00000669: JUMP 0000066a: JUMPDEST 0000066b: SWAP3 0000066c: SWAP2 0000066d: POP 0000066e: POP 0000066f: JUMP 00000670: JUMPDEST 00000671: PUSH1 0x00 00000673: SLOAD 00000674: PUSH1 0x01 00000676: PUSH1 0x01 00000678: PUSH1 0xa0 0000067a: SHL 0000067b: SUB 0000067c: AND 0000067d: CALLER 0000067e: EQ 0000067f: PUSH2 0x06a3 00000682: JUMPI 00000683: PUSH1 0x40 00000685: MLOAD 00000686: PUSH3 0x461bcd 0000068a: PUSH1 0xe5 0000068c: SHL 0000068d: DUP2 0000068e: MSTORE 0000068f: PUSH1 0x04 00000691: ADD 00000692: PUSH2 0x069a 00000695: SWAP1 00000696: PUSH2 0x1671 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: DUP1 0000069f: SWAP2 000006a0: SUB 000006a1: SWAP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: PUSH1 0x01 000006a6: PUSH1 0x01 000006a8: PUSH1 0xa0 000006aa: SHL 000006ab: SUB 000006ac: DUP2 000006ad: AND 000006ae: PUSH1 0x00 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x0c 000006b5: PUSH1 0x20 000006b7: MSTORE 000006b8: PUSH1 0x40 000006ba: DUP2 000006bb: KECCAK256 000006bc: DUP1 000006bd: SLOAD 000006be: PUSH1 0xff 000006c0: NOT 000006c1: AND 000006c2: PUSH1 0x01 000006c4: OR 000006c5: SWAP1 000006c6: SSTORE 000006c7: PUSH2 0x06d1 000006ca: SWAP1 000006cb: DUP3 000006cc: SWAP1 000006cd: PUSH2 0x0f0d 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH2 0x06da 000006d5: DUP2 000006d6: PUSH2 0x0fa6 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH1 0x40 000006dd: MLOAD 000006de: PUSH1 0x01 000006e0: PUSH1 0x01 000006e2: PUSH1 0xa0 000006e4: SHL 000006e5: SUB 000006e6: DUP3 000006e7: AND 000006e8: SWAP1 000006e9: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25 0000070a: SWAP1 0000070b: PUSH1 0x00 0000070d: SWAP1 0000070e: LOG2 0000070f: POP 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: DUP1 00000715: PUSH1 0x00 00000717: DUP1 00000718: PUSH1 0x00 0000071a: DUP1 0000071b: PUSH1 0x00 0000071d: DUP1 0000071e: PUSH2 0x0726 00000721: PUSH1 0x07 00000723: SLOAD 00000724: SWAP1 00000725: JUMP 00000726: JUMPDEST 00000727: DUP10 00000728: LT 00000729: PUSH2 0x074b 0000072c: JUMPI 0000072d: POP 0000072e: PUSH1 0x00 00000730: SWAP7 00000731: POP 00000732: PUSH1 0x00 00000734: NOT 00000735: SWAP6 00000736: POP 00000737: DUP6 00000738: SWAP5 00000739: POP 0000073a: DUP7 0000073b: SWAP4 0000073c: POP 0000073d: DUP4 0000073e: SWAP3 0000073f: POP 00000740: DUP3 00000741: SWAP2 00000742: POP 00000743: DUP2 00000744: SWAP1 00000745: POP 00000746: DUP1 00000747: PUSH2 0x0773 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x00 0000074e: PUSH2 0x0756 00000751: DUP11 00000752: PUSH2 0x10d9 00000755: JUMP 00000756: JUMPDEST 00000757: SWAP1 00000758: POP 00000759: PUSH2 0x0761 0000075c: DUP2 0000075d: PUSH2 0x0bc0 00000760: JUMP 00000761: JUMPDEST 00000762: SWAP9 00000763: POP 00000764: SWAP9 00000765: POP 00000766: SWAP9 00000767: POP 00000768: SWAP9 00000769: POP 0000076a: SWAP9 0000076b: POP 0000076c: SWAP9 0000076d: POP 0000076e: SWAP9 0000076f: POP 00000770: SWAP9 00000771: POP 00000772: POP 00000773: JUMPDEST 00000774: SWAP2 00000775: SWAP4 00000776: SWAP6 00000777: SWAP8 00000778: POP 00000779: SWAP2 0000077a: SWAP4 0000077b: SWAP6 0000077c: SWAP8 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH2 0x0787 00000782: CALLER 00000783: PUSH2 0x110c 00000786: JUMP 00000787: JUMPDEST 00000788: POP 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x00 0000078d: SLOAD 0000078e: PUSH1 0x01 00000790: PUSH1 0x01 00000792: PUSH1 0xa0 00000794: SHL 00000795: SUB 00000796: AND 00000797: CALLER 00000798: EQ 00000799: PUSH2 0x07b4 0000079c: JUMPI 0000079d: PUSH1 0x40 0000079f: MLOAD 000007a0: PUSH3 0x461bcd 000007a4: PUSH1 0xe5 000007a6: SHL 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x04 000007ab: ADD 000007ac: PUSH2 0x069a 000007af: SWAP1 000007b0: PUSH2 0x1671 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH1 0x00 000007b7: DUP1 000007b8: SLOAD 000007b9: PUSH1 0x40 000007bb: MLOAD 000007bc: PUSH1 0x01 000007be: PUSH1 0x01 000007c0: PUSH1 0xa0 000007c2: SHL 000007c3: SUB 000007c4: SWAP1 000007c5: SWAP2 000007c6: AND 000007c7: SWAP1 000007c8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007e9: SWAP1 000007ea: DUP4 000007eb: SWAP1 000007ec: LOG3 000007ed: PUSH1 0x00 000007ef: DUP1 000007f0: SLOAD 000007f1: PUSH1 0x01 000007f3: PUSH1 0x01 000007f5: PUSH1 0xa0 000007f7: SHL 000007f8: SUB 000007f9: NOT 000007fa: AND 000007fb: SWAP1 000007fc: SSTORE 000007fd: JUMP 000007fe: JUMPDEST 000007ff: PUSH1 0x00 00000801: PUSH2 0x066a 00000804: DUP3 00000805: JUMPDEST 00000806: PUSH1 0x01 00000808: PUSH1 0x01 0000080a: PUSH1 0xa0 0000080c: SHL 0000080d: SUB 0000080e: DUP2 0000080f: AND 00000810: PUSH1 0x00 00000812: SWAP1 00000813: DUP2 00000814: MSTORE 00000815: PUSH1 0x03 00000817: PUSH1 0x20 00000819: MSTORE 0000081a: PUSH1 0x40 0000081c: DUP2 0000081d: KECCAK256 0000081e: SLOAD 0000081f: PUSH2 0x066a 00000822: SWAP1 00000823: PUSH2 0x082b 00000826: DUP5 00000827: PUSH2 0x060d 0000082a: JUMP 0000082b: JUMPDEST 0000082c: SWAP1 0000082d: PUSH2 0x124d 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH1 0x00 00000834: DUP1 00000835: SLOAD 00000836: PUSH1 0x01 00000838: PUSH1 0x01 0000083a: PUSH1 0xa0 0000083c: SHL 0000083d: SUB 0000083e: AND 0000083f: CALLER 00000840: EQ 00000841: PUSH2 0x085c 00000844: JUMPI 00000845: PUSH1 0x40 00000847: MLOAD 00000848: PUSH3 0x461bcd 0000084c: PUSH1 0xe5 0000084e: SHL 0000084f: DUP2 00000850: MSTORE 00000851: PUSH1 0x04 00000853: ADD 00000854: PUSH2 0x069a 00000857: SWAP1 00000858: PUSH2 0x1671 0000085b: JUMP 0000085c: JUMPDEST 0000085d: PUSH1 0x00 0000085f: PUSH2 0x0867 00000862: DUP5 00000863: PUSH2 0x110c 00000866: JUMP 00000867: JUMPDEST 00000868: SWAP1 00000869: POP 0000086a: DUP1 0000086b: ISZERO 0000086c: PUSH2 0x08d3 0000086f: JUMPI 00000870: PUSH1 0x01 00000872: PUSH1 0x01 00000874: PUSH1 0xa0 00000876: SHL 00000877: SUB 00000878: DUP5 00000879: AND 0000087a: PUSH1 0x00 0000087c: DUP2 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x0d 00000881: PUSH1 0x20 00000883: MSTORE 00000884: PUSH1 0x40 00000886: SWAP1 00000887: DUP2 00000888: SWAP1 00000889: KECCAK256 0000088a: TIMESTAMP 0000088b: SWAP1 0000088c: SSTORE 0000088d: MLOAD 0000088e: DUP5 0000088f: ISZERO 00000890: ISZERO 00000891: SWAP2 00000892: SWAP1 00000893: PUSH32 0xa2c38e2d2fb7e3e1912d937fd1ca11ed6d51864dee4cfa7a7bf02becd7acf092 000008b4: SWAP1 000008b5: PUSH2 0x08c1 000008b8: SWAP1 000008b9: DUP6 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: SWAP1 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH1 0x40 000008c4: MLOAD 000008c5: DUP1 000008c6: SWAP2 000008c7: SUB 000008c8: SWAP1 000008c9: LOG3 000008ca: PUSH1 0x01 000008cc: SWAP2 000008cd: POP 000008ce: POP 000008cf: PUSH2 0x066a 000008d2: JUMP 000008d3: JUMPDEST 000008d4: POP 000008d5: PUSH1 0x00 000008d7: SWAP4 000008d8: SWAP3 000008d9: POP 000008da: POP 000008db: POP 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x00 000008e0: SLOAD 000008e1: PUSH1 0x01 000008e3: PUSH1 0x01 000008e5: PUSH1 0xa0 000008e7: SHL 000008e8: SUB 000008e9: AND 000008ea: CALLER 000008eb: EQ 000008ec: PUSH2 0x0907 000008ef: JUMPI 000008f0: PUSH1 0x40 000008f2: MLOAD 000008f3: PUSH3 0x461bcd 000008f7: PUSH1 0xe5 000008f9: SHL 000008fa: DUP2 000008fb: MSTORE 000008fc: PUSH1 0x04 000008fe: ADD 000008ff: PUSH2 0x069a 00000902: SWAP1 00000903: PUSH2 0x1671 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x01 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: SHL 0000090f: SUB 00000910: DUP2 00000911: AND 00000912: PUSH1 0x00 00000914: SWAP1 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x0c 00000919: PUSH1 0x20 0000091b: MSTORE 0000091c: PUSH1 0x40 0000091e: SWAP1 0000091f: KECCAK256 00000920: SLOAD 00000921: PUSH1 0xff 00000923: AND 00000924: PUSH2 0x092c 00000927: JUMPI 00000928: PUSH1 0x00 0000092a: DUP1 0000092b: REVERT 0000092c: JUMPDEST 0000092d: PUSH1 0x01 0000092f: PUSH1 0x01 00000931: PUSH1 0xa0 00000933: SHL 00000934: SUB 00000935: DUP2 00000936: AND 00000937: PUSH1 0x00 00000939: DUP2 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH1 0x0c 0000093e: PUSH1 0x20 00000940: MSTORE 00000941: PUSH1 0x40 00000943: DUP1 00000944: DUP3 00000945: KECCAK256 00000946: DUP1 00000947: SLOAD 00000948: PUSH1 0xff 0000094a: NOT 0000094b: AND 0000094c: SWAP1 0000094d: SSTORE 0000094e: MLOAD 0000094f: PUSH32 0x40a78dcf8526b72f2eaf598af1c7e49c8d5fc577f6c8f1bed887f3e4dfa28932 00000970: SWAP2 00000971: SWAP1 00000972: LOG2 00000973: POP 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x00 00000978: SLOAD 00000979: PUSH1 0x01 0000097b: PUSH1 0x01 0000097d: PUSH1 0xa0 0000097f: SHL 00000980: SUB 00000981: AND 00000982: CALLER 00000983: EQ 00000984: PUSH2 0x099f 00000987: JUMPI 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: PUSH3 0x461bcd 0000098f: PUSH1 0xe5 00000991: SHL 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x04 00000996: ADD 00000997: PUSH2 0x069a 0000099a: SWAP1 0000099b: PUSH2 0x1671 0000099e: JUMP 0000099f: JUMPDEST 000009a0: PUSH1 0x01 000009a2: PUSH1 0x01 000009a4: PUSH1 0xa0 000009a6: SHL 000009a7: SUB 000009a8: DUP3 000009a9: AND 000009aa: PUSH1 0x00 000009ac: SWAP1 000009ad: DUP2 000009ae: MSTORE 000009af: PUSH1 0x0c 000009b1: PUSH1 0x20 000009b3: MSTORE 000009b4: PUSH1 0x40 000009b6: SWAP1 000009b7: KECCAK256 000009b8: SLOAD 000009b9: PUSH1 0xff 000009bb: AND 000009bc: PUSH2 0x0a20 000009bf: JUMPI 000009c0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 000009e1: DUP2 000009e2: LT 000009e3: PUSH2 0x09ff 000009e6: JUMPI 000009e7: PUSH2 0x09f0 000009ea: DUP3 000009eb: DUP3 000009ec: PUSH2 0x0f0d 000009ef: JUMP 000009f0: JUMPDEST 000009f1: PUSH2 0x09fa 000009f4: DUP3 000009f5: DUP3 000009f6: PUSH2 0x128f 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH2 0x0a13 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH2 0x0a0a 00000a03: DUP3 00000a04: PUSH1 0x00 00000a06: PUSH2 0x0f0d 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH2 0x0a13 00000a0e: DUP3 00000a0f: PUSH2 0x0fa6 00000a12: JUMP 00000a13: JUMPDEST 00000a14: PUSH2 0x0a1e 00000a17: DUP3 00000a18: PUSH1 0x01 00000a1a: PUSH2 0x0831 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: POP 00000a20: JUMPDEST 00000a21: POP 00000a22: POP 00000a23: JUMP 00000a24: JUMPDEST 00000a25: PUSH1 0x00 00000a27: SLOAD 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: SHL 00000a2f: SUB 00000a30: AND 00000a31: CALLER 00000a32: EQ 00000a33: PUSH2 0x0a4e 00000a36: JUMPI 00000a37: PUSH1 0x40 00000a39: MLOAD 00000a3a: PUSH3 0x461bcd 00000a3e: PUSH1 0xe5 00000a40: SHL 00000a41: DUP2 00000a42: MSTORE 00000a43: PUSH1 0x04 00000a45: ADD 00000a46: PUSH2 0x069a 00000a49: SWAP1 00000a4a: PUSH2 0x1671 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH2 0x04b0 00000a52: DUP2 00000a53: LT 00000a54: ISZERO 00000a55: DUP1 00000a56: ISZERO 00000a57: PUSH2 0x0a63 00000a5a: JUMPI 00000a5b: POP 00000a5c: PUSH3 0x015180 00000a60: DUP2 00000a61: GT 00000a62: ISZERO 00000a63: JUMPDEST 00000a64: PUSH2 0x0ae3 00000a67: JUMPI 00000a68: PUSH1 0x40 00000a6a: MLOAD 00000a6b: PUSH3 0x461bcd 00000a6f: PUSH1 0xe5 00000a71: SHL 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x20 00000a76: PUSH1 0x04 00000a78: DUP3 00000a79: ADD 00000a7a: MSTORE 00000a7b: PUSH1 0x45 00000a7d: PUSH1 0x24 00000a7f: DUP3 00000a80: ADD 00000a81: MSTORE 00000a82: PUSH32 0x4469766964656e645f547261636b65723a20636c61696d57616974206d757374 00000aa3: PUSH1 0x44 00000aa5: DUP3 00000aa6: ADD 00000aa7: MSTORE 00000aa8: PUSH32 0x206265207570646174656420746f206265747765656e203120616e6420323420 00000ac9: PUSH1 0x64 00000acb: DUP3 00000acc: ADD 00000acd: MSTORE 00000ace: PUSH5 0x686f757273 00000ad4: PUSH1 0xd8 00000ad6: SHL 00000ad7: PUSH1 0x84 00000ad9: DUP3 00000ada: ADD 00000adb: MSTORE 00000adc: PUSH1 0xa4 00000ade: ADD 00000adf: PUSH2 0x069a 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH1 0x0e 00000ae6: SLOAD 00000ae7: DUP2 00000ae8: SUB 00000ae9: PUSH2 0x0b5a 00000aec: JUMPI 00000aed: PUSH1 0x40 00000aef: MLOAD 00000af0: PUSH3 0x461bcd 00000af4: PUSH1 0xe5 00000af6: SHL 00000af7: DUP2 00000af8: MSTORE 00000af9: PUSH1 0x20 00000afb: PUSH1 0x04 00000afd: DUP3 00000afe: ADD 00000aff: MSTORE 00000b00: PUSH1 0x37 00000b02: PUSH1 0x24 00000b04: DUP3 00000b05: ADD 00000b06: MSTORE 00000b07: PUSH32 0x4469766964656e645f547261636b65723a2043616e6e6f742075706461746520 00000b28: PUSH1 0x44 00000b2a: DUP3 00000b2b: ADD 00000b2c: MSTORE 00000b2d: PUSH32 0x636c61696d5761697420746f2073616d652076616c7565000000000000000000 00000b4e: PUSH1 0x64 00000b50: DUP3 00000b51: ADD 00000b52: MSTORE 00000b53: PUSH1 0x84 00000b55: ADD 00000b56: PUSH2 0x069a 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH1 0x0e 00000b5d: SLOAD 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: DUP3 00000b62: SWAP1 00000b63: PUSH32 0x474ea64804364a1e29a4487ddb63c3342a2dd826ccd8acf48825e680a0e6f20f 00000b84: SWAP1 00000b85: PUSH1 0x00 00000b87: SWAP1 00000b88: LOG3 00000b89: PUSH1 0x0e 00000b8b: SSTORE 00000b8c: JUMP 00000b8d: JUMPDEST 00000b8e: PUSH1 0x00 00000b90: SLOAD 00000b91: PUSH1 0x01 00000b93: PUSH1 0x01 00000b95: PUSH1 0xa0 00000b97: SHL 00000b98: SUB 00000b99: AND 00000b9a: CALLER 00000b9b: EQ 00000b9c: PUSH2 0x0bb7 00000b9f: JUMPI 00000ba0: PUSH1 0x40 00000ba2: MLOAD 00000ba3: PUSH3 0x461bcd 00000ba7: PUSH1 0xe5 00000ba9: SHL 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x04 00000bae: ADD 00000baf: PUSH2 0x069a 00000bb2: SWAP1 00000bb3: PUSH2 0x1671 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH2 0x0787 00000bbb: DUP2 00000bbc: PUSH2 0x134d 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: DUP1 00000bc2: PUSH1 0x00 00000bc4: DUP1 00000bc5: DUP1 00000bc6: DUP1 00000bc7: DUP1 00000bc8: DUP1 00000bc9: DUP1 00000bca: PUSH2 0x0bd2 00000bcd: DUP9 00000bce: PUSH2 0x140d 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: SWAP7 00000bd4: POP 00000bd5: PUSH1 0x00 00000bd7: NOT 00000bd8: SWAP6 00000bd9: POP 00000bda: PUSH1 0x00 00000bdc: DUP8 00000bdd: SLT 00000bde: PUSH2 0x0c34 00000be1: JUMPI 00000be2: PUSH1 0x0b 00000be4: SLOAD 00000be5: DUP8 00000be6: GT 00000be7: ISZERO 00000be8: PUSH2 0x0c00 00000beb: JUMPI 00000bec: PUSH1 0x0b 00000bee: SLOAD 00000bef: PUSH2 0x0bf9 00000bf2: SWAP1 00000bf3: DUP9 00000bf4: SWAP1 00000bf5: PUSH2 0x1452 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: SWAP6 00000bfb: POP 00000bfc: PUSH2 0x0c34 00000bff: JUMP 00000c00: JUMPDEST 00000c01: PUSH1 0x0b 00000c03: SLOAD 00000c04: PUSH1 0x07 00000c06: SLOAD 00000c07: PUSH1 0x00 00000c09: SWAP2 00000c0a: LT 00000c0b: PUSH2 0x0c15 00000c0e: JUMPI 00000c0f: PUSH1 0x00 00000c11: PUSH2 0x0c24 00000c14: JUMP 00000c15: JUMPDEST 00000c16: PUSH1 0x0b 00000c18: SLOAD 00000c19: PUSH1 0x07 00000c1b: SLOAD 00000c1c: PUSH2 0x0c24 00000c1f: SWAP2 00000c20: PUSH2 0x124d 00000c23: JUMP 00000c24: JUMPDEST 00000c25: SWAP1 00000c26: POP 00000c27: PUSH2 0x0c30 00000c2a: DUP9 00000c2b: DUP3 00000c2c: PUSH2 0x0ebc 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: SWAP7 00000c32: POP 00000c33: POP 00000c34: JUMPDEST 00000c35: PUSH2 0x0c3d 00000c38: DUP9 00000c39: PUSH2 0x0805 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: SWAP5 00000c3f: POP 00000c40: PUSH2 0x0c48 00000c43: DUP9 00000c44: PUSH2 0x060d 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH1 0x01 00000c4b: PUSH1 0x01 00000c4d: PUSH1 0xa0 00000c4f: SHL 00000c50: SUB 00000c51: DUP10 00000c52: AND 00000c53: PUSH1 0x00 00000c55: SWAP1 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x0d 00000c5a: PUSH1 0x20 00000c5c: MSTORE 00000c5d: PUSH1 0x40 00000c5f: SWAP1 00000c60: KECCAK256 00000c61: SLOAD 00000c62: SWAP1 00000c63: SWAP5 00000c64: POP 00000c65: SWAP3 00000c66: POP 00000c67: DUP3 00000c68: PUSH2 0x0c72 00000c6b: JUMPI 00000c6c: PUSH1 0x00 00000c6e: PUSH2 0x0c80 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH1 0x0e 00000c75: SLOAD 00000c76: PUSH2 0x0c80 00000c79: SWAP1 00000c7a: DUP5 00000c7b: SWAP1 00000c7c: PUSH2 0x0e4d 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: SWAP2 00000c82: POP 00000c83: TIMESTAMP 00000c84: DUP3 00000c85: GT 00000c86: PUSH2 0x0c90 00000c89: JUMPI 00000c8a: PUSH1 0x00 00000c8c: PUSH2 0x0c9a 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: PUSH2 0x0c9a 00000c94: DUP3 00000c95: TIMESTAMP 00000c96: PUSH2 0x124d 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: SWAP1 00000c9c: POP 00000c9d: SWAP2 00000c9e: SWAP4 00000c9f: SWAP6 00000ca0: SWAP8 00000ca1: POP 00000ca2: SWAP2 00000ca3: SWAP4 00000ca4: SWAP6 00000ca5: SWAP8 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: PUSH1 0x07 00000caa: SLOAD 00000cab: PUSH1 0x00 00000cad: SWAP1 00000cae: DUP2 00000caf: SWAP1 00000cb0: DUP2 00000cb1: SWAP1 00000cb2: DUP1 00000cb3: DUP3 00000cb4: SUB 00000cb5: PUSH2 0x0cc9 00000cb8: JUMPI 00000cb9: POP 00000cba: POP 00000cbb: PUSH1 0x0b 00000cbd: SLOAD 00000cbe: PUSH1 0x00 00000cc0: SWAP3 00000cc1: POP 00000cc2: DUP3 00000cc3: SWAP2 00000cc4: POP 00000cc5: PUSH2 0x0dbd 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH1 0x0b 00000ccc: SLOAD 00000ccd: PUSH1 0x00 00000ccf: DUP1 00000cd0: GAS 00000cd1: SWAP1 00000cd2: POP 00000cd3: PUSH1 0x00 00000cd5: DUP1 00000cd6: JUMPDEST 00000cd7: DUP10 00000cd8: DUP5 00000cd9: LT 00000cda: DUP1 00000cdb: ISZERO 00000cdc: PUSH2 0x0ce4 00000cdf: JUMPI 00000ce0: POP 00000ce1: DUP6 00000ce2: DUP3 00000ce3: LT 00000ce4: JUMPDEST 00000ce5: ISZERO 00000ce6: PUSH2 0x0dac 00000ce9: JUMPI 00000cea: DUP5 00000ceb: PUSH2 0x0cf3 00000cee: DUP2 00000cef: PUSH2 0x16a6 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: PUSH1 0x07 00000cf6: SLOAD 00000cf7: SWAP1 00000cf8: SWAP7 00000cf9: POP 00000cfa: DUP7 00000cfb: LT 00000cfc: SWAP1 00000cfd: POP 00000cfe: PUSH2 0x0d06 00000d01: JUMPI 00000d02: PUSH1 0x00 00000d04: SWAP5 00000d05: POP 00000d06: JUMPDEST 00000d07: PUSH1 0x00 00000d09: PUSH1 0x07 00000d0b: PUSH1 0x00 00000d0d: ADD 00000d0e: DUP7 00000d0f: DUP2 00000d10: SLOAD 00000d11: DUP2 00000d12: LT 00000d13: PUSH2 0x0d1e 00000d16: JUMPI 00000d17: PUSH2 0x0d1e 00000d1a: PUSH2 0x16bf 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH1 0x00 00000d21: SWAP2 00000d22: DUP3 00000d23: MSTORE 00000d24: PUSH1 0x20 00000d26: DUP1 00000d27: DUP4 00000d28: KECCAK256 00000d29: SWAP1 00000d2a: SWAP2 00000d2b: ADD 00000d2c: SLOAD 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0x01 00000d31: PUSH1 0xa0 00000d33: SHL 00000d34: SUB 00000d35: AND 00000d36: DUP1 00000d37: DUP4 00000d38: MSTORE 00000d39: PUSH1 0x0d 00000d3b: SWAP1 00000d3c: SWAP2 00000d3d: MSTORE 00000d3e: PUSH1 0x40 00000d40: SWAP1 00000d41: SWAP2 00000d42: KECCAK256 00000d43: SLOAD 00000d44: SWAP1 00000d45: SWAP2 00000d46: POP 00000d47: PUSH2 0x0d4f 00000d4a: SWAP1 00000d4b: PUSH2 0x148f 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: ISZERO 00000d51: PUSH2 0x0d72 00000d54: JUMPI 00000d55: PUSH2 0x0d5f 00000d58: DUP2 00000d59: PUSH1 0x01 00000d5b: PUSH2 0x0831 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: ISZERO 00000d61: PUSH2 0x0d72 00000d64: JUMPI 00000d65: DUP2 00000d66: PUSH2 0x0d6e 00000d69: DUP2 00000d6a: PUSH2 0x16a6 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: SWAP3 00000d70: POP 00000d71: POP 00000d72: JUMPDEST 00000d73: DUP3 00000d74: PUSH2 0x0d7c 00000d77: DUP2 00000d78: PUSH2 0x16a6 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: SWAP4 00000d7e: POP 00000d7f: POP 00000d80: PUSH1 0x00 00000d82: GAS 00000d83: SWAP1 00000d84: POP 00000d85: DUP1 00000d86: DUP6 00000d87: GT 00000d88: ISZERO 00000d89: PUSH2 0x0da3 00000d8c: JUMPI 00000d8d: PUSH2 0x0da0 00000d90: PUSH2 0x0d99 00000d93: DUP7 00000d94: DUP4 00000d95: PUSH2 0x124d 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: DUP8 00000d9b: SWAP1 00000d9c: PUSH2 0x0e4d 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: SWAP6 00000da2: POP 00000da3: JUMPDEST 00000da4: SWAP4 00000da5: POP 00000da6: PUSH2 0x0cd6 00000da9: SWAP1 00000daa: POP 00000dab: JUMP 00000dac: JUMPDEST 00000dad: PUSH1 0x0b 00000daf: DUP6 00000db0: SWAP1 00000db1: SSTORE 00000db2: SWAP1 00000db3: SWAP8 00000db4: POP 00000db5: SWAP6 00000db6: POP 00000db7: SWAP2 00000db8: SWAP4 00000db9: POP 00000dba: POP 00000dbb: POP 00000dbc: POP 00000dbd: JUMPDEST 00000dbe: SWAP2 00000dbf: SWAP4 00000dc0: SWAP1 00000dc1: SWAP3 00000dc2: POP 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: PUSH1 0x00 00000dc7: DUP3 00000dc8: PUSH1 0x00 00000dca: SUB 00000dcb: PUSH2 0x0dd6 00000dce: JUMPI 00000dcf: POP 00000dd0: PUSH1 0x00 00000dd2: PUSH2 0x066a 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: PUSH1 0x00 00000dd9: PUSH2 0x0de2 00000ddc: DUP4 00000ddd: DUP6 00000dde: PUSH2 0x16d5 00000de1: JUMP 00000de2: JUMPDEST 00000de3: SWAP1 00000de4: POP 00000de5: DUP3 00000de6: PUSH2 0x0def 00000de9: DUP6 00000dea: DUP4 00000deb: PUSH2 0x164f 00000dee: JUMP 00000def: JUMPDEST 00000df0: EQ 00000df1: PUSH2 0x0e46 00000df4: JUMPI 00000df5: PUSH1 0x40 00000df7: MLOAD 00000df8: PUSH3 0x461bcd 00000dfc: PUSH1 0xe5 00000dfe: SHL 00000dff: DUP2 00000e00: MSTORE 00000e01: PUSH1 0x20 00000e03: PUSH1 0x04 00000e05: DUP3 00000e06: ADD 00000e07: MSTORE 00000e08: PUSH1 0x21 00000e0a: PUSH1 0x24 00000e0c: DUP3 00000e0d: ADD 00000e0e: MSTORE 00000e0f: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00000e30: PUSH1 0x44 00000e32: DUP3 00000e33: ADD 00000e34: MSTORE 00000e35: PUSH1 0x77 00000e37: PUSH1 0xf8 00000e39: SHL 00000e3a: PUSH1 0x64 00000e3c: DUP3 00000e3d: ADD 00000e3e: MSTORE 00000e3f: PUSH1 0x84 00000e41: ADD 00000e42: PUSH2 0x069a 00000e45: JUMP 00000e46: JUMPDEST 00000e47: SWAP4 00000e48: SWAP3 00000e49: POP 00000e4a: POP 00000e4b: POP 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: PUSH1 0x00 00000e50: DUP1 00000e51: PUSH2 0x0e5a 00000e54: DUP4 00000e55: DUP6 00000e56: PUSH2 0x16ec 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: SWAP1 00000e5c: POP 00000e5d: DUP4 00000e5e: DUP2 00000e5f: LT 00000e60: ISZERO 00000e61: PUSH2 0x0e46 00000e64: JUMPI 00000e65: PUSH1 0x40 00000e67: MLOAD 00000e68: PUSH3 0x461bcd 00000e6c: PUSH1 0xe5 00000e6e: SHL 00000e6f: DUP2 00000e70: MSTORE 00000e71: PUSH1 0x20 00000e73: PUSH1 0x04 00000e75: DUP3 00000e76: ADD 00000e77: MSTORE 00000e78: PUSH1 0x1b 00000e7a: PUSH1 0x24 00000e7c: DUP3 00000e7d: ADD 00000e7e: MSTORE 00000e7f: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000ea0: PUSH1 0x44 00000ea2: DUP3 00000ea3: ADD 00000ea4: MSTORE 00000ea5: PUSH1 0x64 00000ea7: ADD 00000ea8: PUSH2 0x069a 00000eab: JUMP 00000eac: JUMPDEST 00000ead: PUSH1 0x00 00000eaf: DUP2 00000eb0: DUP2 00000eb1: DUP2 00000eb2: SLT 00000eb3: ISZERO 00000eb4: PUSH2 0x066a 00000eb7: JUMPI 00000eb8: PUSH1 0x00 00000eba: DUP1 00000ebb: REVERT 00000ebc: JUMPDEST 00000ebd: PUSH1 0x00 00000ebf: DUP1 00000ec0: PUSH2 0x0ec9 00000ec3: DUP4 00000ec4: DUP6 00000ec5: PUSH2 0x16ff 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: SWAP1 00000ecb: POP 00000ecc: PUSH1 0x00 00000ece: DUP4 00000ecf: SLT 00000ed0: ISZERO 00000ed1: DUP1 00000ed2: ISZERO 00000ed3: PUSH2 0x0edc 00000ed6: JUMPI 00000ed7: POP 00000ed8: DUP4 00000ed9: DUP2 00000eda: SLT 00000edb: ISZERO 00000edc: JUMPDEST 00000edd: DUP1 00000ede: PUSH2 0x0ef1 00000ee1: JUMPI 00000ee2: POP 00000ee3: PUSH1 0x00 00000ee5: DUP4 00000ee6: SLT 00000ee7: DUP1 00000ee8: ISZERO 00000ee9: PUSH2 0x0ef1 00000eec: JUMPI 00000eed: POP 00000eee: DUP4 00000eef: DUP2 00000ef0: SLT 00000ef1: JUMPDEST 00000ef2: PUSH2 0x0e46 00000ef5: JUMPI 00000ef6: PUSH1 0x00 00000ef8: DUP1 00000ef9: REVERT 00000efa: JUMPDEST 00000efb: PUSH1 0x00 00000efd: DUP1 00000efe: DUP3 00000eff: SLT 00000f00: ISZERO 00000f01: PUSH2 0x0f09 00000f04: JUMPI 00000f05: PUSH1 0x00 00000f07: DUP1 00000f08: REVERT 00000f09: JUMPDEST 00000f0a: POP 00000f0b: SWAP1 00000f0c: JUMP 00000f0d: JUMPDEST 00000f0e: PUSH1 0x01 00000f10: PUSH1 0x01 00000f12: PUSH1 0xa0 00000f14: SHL 00000f15: SUB 00000f16: DUP3 00000f17: AND 00000f18: PUSH1 0x00 00000f1a: SWAP1 00000f1b: DUP2 00000f1c: MSTORE 00000f1d: PUSH1 0x04 00000f1f: PUSH1 0x20 00000f21: MSTORE 00000f22: PUSH1 0x40 00000f24: SWAP1 00000f25: KECCAK256 00000f26: DUP1 00000f27: SLOAD 00000f28: SWAP1 00000f29: DUP3 00000f2a: SWAP1 00000f2b: SSTORE 00000f2c: DUP1 00000f2d: DUP3 00000f2e: GT 00000f2f: ISZERO 00000f30: PUSH2 0x0f69 00000f33: JUMPI 00000f34: PUSH1 0x00 00000f36: PUSH2 0x0f3f 00000f39: DUP4 00000f3a: DUP4 00000f3b: PUSH2 0x124d 00000f3e: JUMP 00000f3f: JUMPDEST 00000f40: SWAP1 00000f41: POP 00000f42: PUSH2 0x0f4b 00000f45: DUP5 00000f46: DUP3 00000f47: PUSH2 0x14b6 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: DUP1 00000f4d: PUSH1 0x05 00000f4f: PUSH1 0x00 00000f51: DUP3 00000f52: DUP3 00000f53: SLOAD 00000f54: PUSH2 0x0f5d 00000f57: SWAP2 00000f58: SWAP1 00000f59: PUSH2 0x16ec 00000f5c: JUMP 00000f5d: JUMPDEST 00000f5e: SWAP1 00000f5f: SWAP2 00000f60: SSTORE 00000f61: POP 00000f62: PUSH2 0x0a1e 00000f65: SWAP2 00000f66: POP 00000f67: POP 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: DUP1 00000f6b: DUP3 00000f6c: LT 00000f6d: ISZERO 00000f6e: PUSH2 0x0a1e 00000f71: JUMPI 00000f72: PUSH1 0x00 00000f74: PUSH2 0x0f7d 00000f77: DUP3 00000f78: DUP5 00000f79: PUSH2 0x124d 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: SWAP1 00000f7f: POP 00000f80: PUSH2 0x0f89 00000f83: DUP5 00000f84: DUP3 00000f85: PUSH2 0x1510 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: DUP1 00000f8b: PUSH1 0x05 00000f8d: PUSH1 0x00 00000f8f: DUP3 00000f90: DUP3 00000f91: SLOAD 00000f92: PUSH2 0x0f9b 00000f95: SWAP2 00000f96: SWAP1 00000f97: PUSH2 0x1727 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: SWAP1 00000f9d: SWAP2 00000f9e: SSTORE 00000f9f: POP 00000fa0: POP 00000fa1: POP 00000fa2: POP 00000fa3: POP 00000fa4: POP 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: PUSH1 0x01 00000fa9: PUSH1 0x01 00000fab: PUSH1 0xa0 00000fad: SHL 00000fae: SUB 00000faf: DUP2 00000fb0: AND 00000fb1: PUSH1 0x00 00000fb3: SWAP1 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x0a 00000fb8: PUSH1 0x20 00000fba: MSTORE 00000fbb: PUSH1 0x40 00000fbd: SWAP1 00000fbe: KECCAK256 00000fbf: SLOAD 00000fc0: PUSH1 0xff 00000fc2: AND 00000fc3: PUSH2 0x0fc9 00000fc6: JUMPI 00000fc7: POP 00000fc8: JUMP 00000fc9: JUMPDEST 00000fca: PUSH1 0x01 00000fcc: PUSH1 0x01 00000fce: PUSH1 0xa0 00000fd0: SHL 00000fd1: SUB 00000fd2: DUP2 00000fd3: AND 00000fd4: PUSH1 0x00 00000fd6: SWAP1 00000fd7: DUP2 00000fd8: MSTORE 00000fd9: PUSH1 0x0a 00000fdb: PUSH1 0x20 00000fdd: SWAP1 00000fde: DUP2 00000fdf: MSTORE 00000fe0: PUSH1 0x40 00000fe2: DUP1 00000fe3: DUP4 00000fe4: KECCAK256 00000fe5: DUP1 00000fe6: SLOAD 00000fe7: PUSH1 0xff 00000fe9: NOT 00000fea: AND 00000feb: SWAP1 00000fec: SSTORE 00000fed: PUSH1 0x08 00000fef: DUP3 00000ff0: MSTORE 00000ff1: DUP1 00000ff2: DUP4 00000ff3: KECCAK256 00000ff4: DUP4 00000ff5: SWAP1 00000ff6: SSTORE 00000ff7: PUSH1 0x09 00000ff9: SWAP1 00000ffa: SWAP2 00000ffb: MSTORE 00000ffc: DUP2 00000ffd: KECCAK256 00000ffe: SLOAD 00000fff: PUSH1 0x07 00001001: SLOAD 00001002: SWAP1 00001003: SWAP2 00001004: SWAP1 00001005: PUSH2 0x1010 00001008: SWAP1 00001009: PUSH1 0x01 0000100b: SWAP1 0000100c: PUSH2 0x1727 0000100f: JUMP 00001010: JUMPDEST 00001011: SWAP1 00001012: POP 00001013: PUSH1 0x00 00001015: PUSH1 0x07 00001017: PUSH1 0x00 00001019: ADD 0000101a: DUP3 0000101b: DUP2 0000101c: SLOAD 0000101d: DUP2 0000101e: LT 0000101f: PUSH2 0x102a 00001022: JUMPI 00001023: PUSH2 0x102a 00001026: PUSH2 0x16bf 00001029: JUMP 0000102a: JUMPDEST 0000102b: PUSH1 0x00 0000102d: SWAP2 0000102e: DUP3 0000102f: MSTORE 00001030: PUSH1 0x20 00001032: DUP1 00001033: DUP4 00001034: KECCAK256 00001035: SWAP1 00001036: SWAP2 00001037: ADD 00001038: SLOAD 00001039: PUSH1 0x01 0000103b: PUSH1 0x01 0000103d: PUSH1 0xa0 0000103f: SHL 00001040: SUB 00001041: SWAP1 00001042: DUP2 00001043: AND 00001044: DUP1 00001045: DUP5 00001046: MSTORE 00001047: PUSH1 0x09 00001049: SWAP1 0000104a: SWAP3 0000104b: MSTORE 0000104c: PUSH1 0x40 0000104e: DUP1 0000104f: DUP5 00001050: KECCAK256 00001051: DUP8 00001052: SWAP1 00001053: SSTORE 00001054: SWAP1 00001055: DUP8 00001056: AND 00001057: DUP4 00001058: MSTORE 00001059: DUP3 0000105a: KECCAK256 0000105b: SWAP2 0000105c: SWAP1 0000105d: SWAP2 0000105e: SSTORE 0000105f: PUSH1 0x07 00001061: DUP1 00001062: SLOAD 00001063: SWAP2 00001064: SWAP3 00001065: POP 00001066: DUP3 00001067: SWAP2 00001068: DUP6 00001069: SWAP1 0000106a: DUP2 0000106b: LT 0000106c: PUSH2 0x1077 0000106f: JUMPI 00001070: PUSH2 0x1077 00001073: PUSH2 0x16bf 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH1 0x00 0000107a: SWAP2 0000107b: DUP3 0000107c: MSTORE 0000107d: PUSH1 0x20 0000107f: SWAP1 00001080: SWAP2 00001081: KECCAK256 00001082: ADD 00001083: DUP1 00001084: SLOAD 00001085: PUSH1 0x01 00001087: PUSH1 0x01 00001089: PUSH1 0xa0 0000108b: SHL 0000108c: SUB 0000108d: NOT 0000108e: AND 0000108f: PUSH1 0x01 00001091: PUSH1 0x01 00001093: PUSH1 0xa0 00001095: SHL 00001096: SUB 00001097: SWAP3 00001098: SWAP1 00001099: SWAP3 0000109a: AND 0000109b: SWAP2 0000109c: SWAP1 0000109d: SWAP2 0000109e: OR 0000109f: SWAP1 000010a0: SSTORE 000010a1: PUSH1 0x07 000010a3: DUP1 000010a4: SLOAD 000010a5: DUP1 000010a6: PUSH2 0x10b1 000010a9: JUMPI 000010aa: PUSH2 0x10b1 000010ad: PUSH2 0x173a 000010b0: JUMP 000010b1: JUMPDEST 000010b2: PUSH1 0x00 000010b4: DUP3 000010b5: DUP2 000010b6: MSTORE 000010b7: PUSH1 0x20 000010b9: SWAP1 000010ba: KECCAK256 000010bb: DUP2 000010bc: ADD 000010bd: PUSH1 0x00 000010bf: NOT 000010c0: SWAP1 000010c1: DUP2 000010c2: ADD 000010c3: DUP1 000010c4: SLOAD 000010c5: PUSH1 0x01 000010c7: PUSH1 0x01 000010c9: PUSH1 0xa0 000010cb: SHL 000010cc: SUB 000010cd: NOT 000010ce: AND 000010cf: SWAP1 000010d0: SSTORE 000010d1: ADD 000010d2: SWAP1 000010d3: SSTORE 000010d4: POP 000010d5: POP 000010d6: POP 000010d7: POP 000010d8: JUMP 000010d9: JUMPDEST 000010da: PUSH1 0x00 000010dc: PUSH1 0x07 000010de: PUSH1 0x00 000010e0: ADD 000010e1: DUP3 000010e2: DUP2 000010e3: SLOAD 000010e4: DUP2 000010e5: LT 000010e6: PUSH2 0x10f1 000010e9: JUMPI 000010ea: PUSH2 0x10f1 000010ed: PUSH2 0x16bf 000010f0: JUMP 000010f1: JUMPDEST 000010f2: PUSH1 0x00 000010f4: SWAP2 000010f5: DUP3 000010f6: MSTORE 000010f7: PUSH1 0x20 000010f9: SWAP1 000010fa: SWAP2 000010fb: KECCAK256 000010fc: ADD 000010fd: SLOAD 000010fe: PUSH1 0x01 00001100: PUSH1 0x01 00001102: PUSH1 0xa0 00001104: SHL 00001105: SUB 00001106: AND 00001107: SWAP3 00001108: SWAP2 00001109: POP 0000110a: POP 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH1 0x00 0000110f: DUP1 00001110: PUSH2 0x1118 00001113: DUP4 00001114: PUSH2 0x0805 00001117: JUMP 00001118: JUMPDEST 00001119: SWAP1 0000111a: POP 0000111b: DUP1 0000111c: ISZERO 0000111d: PUSH2 0x1244 00001120: JUMPI 00001121: PUSH1 0x01 00001123: PUSH1 0x01 00001125: PUSH1 0xa0 00001127: SHL 00001128: SUB 00001129: DUP4 0000112a: AND 0000112b: PUSH1 0x00 0000112d: SWAP1 0000112e: DUP2 0000112f: MSTORE 00001130: PUSH1 0x03 00001132: PUSH1 0x20 00001134: MSTORE 00001135: PUSH1 0x40 00001137: SWAP1 00001138: KECCAK256 00001139: SLOAD 0000113a: PUSH2 0x1143 0000113d: SWAP1 0000113e: DUP3 0000113f: PUSH2 0x0e4d 00001142: JUMP 00001143: JUMPDEST 00001144: PUSH1 0x01 00001146: PUSH1 0x01 00001148: PUSH1 0xa0 0000114a: SHL 0000114b: SUB 0000114c: DUP5 0000114d: AND 0000114e: PUSH1 0x00 00001150: DUP2 00001151: DUP2 00001152: MSTORE 00001153: PUSH1 0x03 00001155: PUSH1 0x20 00001157: MSTORE 00001158: PUSH1 0x40 0000115a: SWAP1 0000115b: DUP2 0000115c: SWAP1 0000115d: KECCAK256 0000115e: SWAP3 0000115f: SWAP1 00001160: SWAP3 00001161: SSTORE 00001162: SWAP1 00001163: MLOAD 00001164: PUSH32 0xee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d 00001185: SWAP1 00001186: PUSH2 0x1192 00001189: SWAP1 0000118a: DUP5 0000118b: DUP2 0000118c: MSTORE 0000118d: PUSH1 0x20 0000118f: ADD 00001190: SWAP1 00001191: JUMP 00001192: JUMPDEST 00001193: PUSH1 0x40 00001195: MLOAD 00001196: DUP1 00001197: SWAP2 00001198: SUB 00001199: SWAP1 0000119a: LOG2 0000119b: PUSH1 0x00 0000119d: DUP4 0000119e: PUSH1 0x01 000011a0: PUSH1 0x01 000011a2: PUSH1 0xa0 000011a4: SHL 000011a5: SUB 000011a6: AND 000011a7: DUP3 000011a8: PUSH1 0x40 000011aa: MLOAD 000011ab: PUSH1 0x00 000011ad: PUSH1 0x40 000011af: MLOAD 000011b0: DUP1 000011b1: DUP4 000011b2: SUB 000011b3: DUP2 000011b4: DUP6 000011b5: DUP8 000011b6: GAS 000011b7: CALL 000011b8: SWAP3 000011b9: POP 000011ba: POP 000011bb: POP 000011bc: RETURNDATASIZE 000011bd: DUP1 000011be: PUSH1 0x00 000011c0: DUP2 000011c1: EQ 000011c2: PUSH2 0x11e7 000011c5: JUMPI 000011c6: PUSH1 0x40 000011c8: MLOAD 000011c9: SWAP2 000011ca: POP 000011cb: PUSH1 0x1f 000011cd: NOT 000011ce: PUSH1 0x3f 000011d0: RETURNDATASIZE 000011d1: ADD 000011d2: AND 000011d3: DUP3 000011d4: ADD 000011d5: PUSH1 0x40 000011d7: MSTORE 000011d8: RETURNDATASIZE 000011d9: DUP3 000011da: MSTORE 000011db: RETURNDATASIZE 000011dc: PUSH1 0x00 000011de: PUSH1 0x20 000011e0: DUP5 000011e1: ADD 000011e2: RETURNDATACOPY 000011e3: PUSH2 0x11ec 000011e6: JUMP 000011e7: JUMPDEST 000011e8: PUSH1 0x60 000011ea: SWAP2 000011eb: POP 000011ec: JUMPDEST 000011ed: POP 000011ee: POP 000011ef: SWAP1 000011f0: POP 000011f1: DUP1 000011f2: PUSH2 0x123d 000011f5: JUMPI 000011f6: PUSH1 0x01 000011f8: PUSH1 0x01 000011fa: PUSH1 0xa0 000011fc: SHL 000011fd: SUB 000011fe: DUP5 000011ff: AND 00001200: PUSH1 0x00 00001202: SWAP1 00001203: DUP2 00001204: MSTORE 00001205: PUSH1 0x03 00001207: PUSH1 0x20 00001209: MSTORE 0000120a: PUSH1 0x40 0000120c: SWAP1 0000120d: KECCAK256 0000120e: SLOAD 0000120f: PUSH2 0x1218 00001212: SWAP1 00001213: DUP4 00001214: PUSH2 0x124d 00001217: JUMP 00001218: JUMPDEST 00001219: PUSH1 0x01 0000121b: PUSH1 0x01 0000121d: PUSH1 0xa0 0000121f: SHL 00001220: SUB 00001221: SWAP1 00001222: SWAP5 00001223: AND 00001224: PUSH1 0x00 00001226: SWAP1 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x03 0000122b: PUSH1 0x20 0000122d: MSTORE 0000122e: PUSH1 0x40 00001230: DUP2 00001231: KECCAK256 00001232: SWAP5 00001233: SWAP1 00001234: SWAP5 00001235: SSTORE 00001236: POP 00001237: SWAP2 00001238: SWAP3 00001239: SWAP2 0000123a: POP 0000123b: POP 0000123c: JUMP 0000123d: JUMPDEST 0000123e: POP 0000123f: SWAP3 00001240: SWAP2 00001241: POP 00001242: POP 00001243: JUMP 00001244: JUMPDEST 00001245: POP 00001246: PUSH1 0x00 00001248: SWAP3 00001249: SWAP2 0000124a: POP 0000124b: POP 0000124c: JUMP 0000124d: JUMPDEST 0000124e: PUSH1 0x00 00001250: PUSH2 0x0e46 00001253: DUP4 00001254: DUP4 00001255: PUSH1 0x40 00001257: MLOAD 00001258: DUP1 00001259: PUSH1 0x40 0000125b: ADD 0000125c: PUSH1 0x40 0000125e: MSTORE 0000125f: DUP1 00001260: PUSH1 0x1e 00001262: DUP2 00001263: MSTORE 00001264: PUSH1 0x20 00001266: ADD 00001267: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001288: DUP2 00001289: MSTORE 0000128a: POP 0000128b: PUSH2 0x154a 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH1 0x01 00001292: PUSH1 0x01 00001294: PUSH1 0xa0 00001296: SHL 00001297: SUB 00001298: DUP3 00001299: AND 0000129a: PUSH1 0x00 0000129c: SWAP1 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0x0a 000012a1: PUSH1 0x20 000012a3: MSTORE 000012a4: PUSH1 0x40 000012a6: SWAP1 000012a7: KECCAK256 000012a8: SLOAD 000012a9: PUSH1 0xff 000012ab: AND 000012ac: ISZERO 000012ad: PUSH2 0x12cd 000012b0: JUMPI 000012b1: PUSH1 0x01 000012b3: PUSH1 0x01 000012b5: PUSH1 0xa0 000012b7: SHL 000012b8: SUB 000012b9: SWAP2 000012ba: SWAP1 000012bb: SWAP2 000012bc: AND 000012bd: PUSH1 0x00 000012bf: SWAP1 000012c0: DUP2 000012c1: MSTORE 000012c2: PUSH1 0x08 000012c4: PUSH1 0x20 000012c6: MSTORE 000012c7: PUSH1 0x40 000012c9: SWAP1 000012ca: KECCAK256 000012cb: SSTORE 000012cc: JUMP 000012cd: JUMPDEST 000012ce: PUSH1 0x01 000012d0: PUSH1 0x01 000012d2: PUSH1 0xa0 000012d4: SHL 000012d5: SUB 000012d6: DUP3 000012d7: AND 000012d8: PUSH1 0x00 000012da: DUP2 000012db: DUP2 000012dc: MSTORE 000012dd: PUSH1 0x0a 000012df: PUSH1 0x20 000012e1: SWAP1 000012e2: DUP2 000012e3: MSTORE 000012e4: PUSH1 0x40 000012e6: DUP1 000012e7: DUP4 000012e8: KECCAK256 000012e9: DUP1 000012ea: SLOAD 000012eb: PUSH1 0xff 000012ed: NOT 000012ee: AND 000012ef: PUSH1 0x01 000012f1: SWAP1 000012f2: DUP2 000012f3: OR 000012f4: SWAP1 000012f5: SWAP2 000012f6: SSTORE 000012f7: PUSH1 0x08 000012f9: DUP4 000012fa: MSTORE 000012fb: DUP2 000012fc: DUP5 000012fd: KECCAK256 000012fe: DUP7 000012ff: SWAP1 00001300: SSTORE 00001301: PUSH1 0x07 00001303: DUP1 00001304: SLOAD 00001305: PUSH1 0x09 00001307: SWAP1 00001308: SWAP5 00001309: MSTORE 0000130a: SWAP2 0000130b: DUP5 0000130c: KECCAK256 0000130d: DUP4 0000130e: SWAP1 0000130f: SSTORE 00001310: DUP3 00001311: ADD 00001312: DUP2 00001313: SSTORE 00001314: SWAP1 00001315: SWAP2 00001316: MSTORE 00001317: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688 00001338: ADD 00001339: DUP1 0000133a: SLOAD 0000133b: PUSH1 0x01 0000133d: PUSH1 0x01 0000133f: PUSH1 0xa0 00001341: SHL 00001342: SUB 00001343: NOT 00001344: AND 00001345: SWAP1 00001346: SWAP2 00001347: OR 00001348: SWAP1 00001349: SSTORE 0000134a: POP 0000134b: POP 0000134c: JUMP 0000134d: JUMPDEST 0000134e: PUSH1 0x01 00001350: PUSH1 0x01 00001352: PUSH1 0xa0 00001354: SHL 00001355: SUB 00001356: DUP2 00001357: AND 00001358: PUSH2 0x13b2 0000135b: JUMPI 0000135c: PUSH1 0x40 0000135e: MLOAD 0000135f: PUSH3 0x461bcd 00001363: PUSH1 0xe5 00001365: SHL 00001366: DUP2 00001367: MSTORE 00001368: PUSH1 0x20 0000136a: PUSH1 0x04 0000136c: DUP3 0000136d: ADD 0000136e: MSTORE 0000136f: PUSH1 0x26 00001371: PUSH1 0x24 00001373: DUP3 00001374: ADD 00001375: MSTORE 00001376: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001397: PUSH1 0x44 00001399: DUP3 0000139a: ADD 0000139b: MSTORE 0000139c: PUSH6 0x646472657373 000013a3: PUSH1 0xd0 000013a5: SHL 000013a6: PUSH1 0x64 000013a8: DUP3 000013a9: ADD 000013aa: MSTORE 000013ab: PUSH1 0x84 000013ad: ADD 000013ae: PUSH2 0x069a 000013b1: JUMP 000013b2: JUMPDEST 000013b3: PUSH1 0x00 000013b5: DUP1 000013b6: SLOAD 000013b7: PUSH1 0x40 000013b9: MLOAD 000013ba: PUSH1 0x01 000013bc: PUSH1 0x01 000013be: PUSH1 0xa0 000013c0: SHL 000013c1: SUB 000013c2: DUP1 000013c3: DUP6 000013c4: AND 000013c5: SWAP4 000013c6: SWAP3 000013c7: AND 000013c8: SWAP2 000013c9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000013ea: SWAP2 000013eb: LOG3 000013ec: PUSH1 0x00 000013ee: DUP1 000013ef: SLOAD 000013f0: PUSH1 0x01 000013f2: PUSH1 0x01 000013f4: PUSH1 0xa0 000013f6: SHL 000013f7: SUB 000013f8: NOT 000013f9: AND 000013fa: PUSH1 0x01 000013fc: PUSH1 0x01 000013fe: PUSH1 0xa0 00001400: SHL 00001401: SUB 00001402: SWAP3 00001403: SWAP1 00001404: SWAP3 00001405: AND 00001406: SWAP2 00001407: SWAP1 00001408: SWAP2 00001409: OR 0000140a: SWAP1 0000140b: SSTORE 0000140c: JUMP 0000140d: JUMPDEST 0000140e: PUSH1 0x01 00001410: PUSH1 0x01 00001412: PUSH1 0xa0 00001414: SHL 00001415: SUB 00001416: DUP2 00001417: AND 00001418: PUSH1 0x00 0000141a: SWAP1 0000141b: DUP2 0000141c: MSTORE 0000141d: PUSH1 0x0a 0000141f: PUSH1 0x20 00001421: MSTORE 00001422: PUSH1 0x40 00001424: DUP2 00001425: KECCAK256 00001426: SLOAD 00001427: PUSH1 0xff 00001429: AND 0000142a: PUSH2 0x1436 0000142d: JUMPI 0000142e: POP 0000142f: PUSH1 0x00 00001431: NOT 00001432: SWAP2 00001433: SWAP1 00001434: POP 00001435: JUMP 00001436: JUMPDEST 00001437: POP 00001438: PUSH1 0x01 0000143a: PUSH1 0x01 0000143c: PUSH1 0xa0 0000143e: SHL 0000143f: SUB 00001440: AND 00001441: PUSH1 0x00 00001443: SWAP1 00001444: DUP2 00001445: MSTORE 00001446: PUSH1 0x09 00001448: PUSH1 0x20 0000144a: MSTORE 0000144b: PUSH1 0x40 0000144d: SWAP1 0000144e: KECCAK256 0000144f: SLOAD 00001450: SWAP1 00001451: JUMP 00001452: JUMPDEST 00001453: PUSH1 0x00 00001455: DUP1 00001456: PUSH2 0x145f 00001459: DUP4 0000145a: DUP6 0000145b: PUSH2 0x1750 0000145e: JUMP 0000145f: JUMPDEST 00001460: SWAP1 00001461: POP 00001462: PUSH1 0x00 00001464: DUP4 00001465: SLT 00001466: ISZERO 00001467: DUP1 00001468: ISZERO 00001469: PUSH2 0x1472 0000146c: JUMPI 0000146d: POP 0000146e: DUP4 0000146f: DUP2 00001470: SGT 00001471: ISZERO 00001472: JUMPDEST 00001473: DUP1 00001474: PUSH2 0x0ef1 00001477: JUMPI 00001478: POP 00001479: PUSH1 0x00 0000147b: DUP4 0000147c: SLT 0000147d: DUP1 0000147e: ISZERO 0000147f: PUSH2 0x0ef1 00001482: JUMPI 00001483: POP 00001484: DUP4 00001485: DUP2 00001486: SGT 00001487: PUSH2 0x0e46 0000148a: JUMPI 0000148b: PUSH1 0x00 0000148d: DUP1 0000148e: REVERT 0000148f: JUMPDEST 00001490: PUSH1 0x00 00001492: TIMESTAMP 00001493: DUP3 00001494: GT 00001495: ISZERO 00001496: PUSH2 0x14a1 00001499: JUMPI 0000149a: POP 0000149b: PUSH1 0x00 0000149d: SWAP2 0000149e: SWAP1 0000149f: POP 000014a0: JUMP 000014a1: JUMPDEST 000014a2: PUSH1 0x0e 000014a4: SLOAD 000014a5: PUSH2 0x14ae 000014a8: TIMESTAMP 000014a9: DUP5 000014aa: PUSH2 0x124d 000014ad: JUMP 000014ae: JUMPDEST 000014af: LT 000014b0: ISZERO 000014b1: SWAP3 000014b2: SWAP2 000014b3: POP 000014b4: POP 000014b5: JUMP 000014b6: JUMPDEST 000014b7: PUSH2 0x14f0 000014ba: PUSH2 0x14d1 000014bd: PUSH2 0x0650 000014c0: DUP4 000014c1: PUSH1 0x01 000014c3: SLOAD 000014c4: PUSH2 0x0dc4 000014c7: SWAP1 000014c8: SWAP2 000014c9: SWAP1 000014ca: PUSH4 0xffffffff 000014cf: AND 000014d0: JUMP 000014d1: JUMPDEST 000014d2: PUSH1 0x01 000014d4: PUSH1 0x01 000014d6: PUSH1 0xa0 000014d8: SHL 000014d9: SUB 000014da: DUP5 000014db: AND 000014dc: PUSH1 0x00 000014de: SWAP1 000014df: DUP2 000014e0: MSTORE 000014e1: PUSH1 0x02 000014e3: PUSH1 0x20 000014e5: MSTORE 000014e6: PUSH1 0x40 000014e8: SWAP1 000014e9: KECCAK256 000014ea: SLOAD 000014eb: SWAP1 000014ec: PUSH2 0x1452 000014ef: JUMP 000014f0: JUMPDEST 000014f1: PUSH1 0x01 000014f3: PUSH1 0x01 000014f5: PUSH1 0xa0 000014f7: SHL 000014f8: SUB 000014f9: SWAP1 000014fa: SWAP3 000014fb: AND 000014fc: PUSH1 0x00 000014fe: SWAP1 000014ff: DUP2 00001500: MSTORE 00001501: PUSH1 0x02 00001503: PUSH1 0x20 00001505: MSTORE 00001506: PUSH1 0x40 00001508: SWAP1 00001509: KECCAK256 0000150a: SWAP2 0000150b: SWAP1 0000150c: SWAP2 0000150d: SSTORE 0000150e: POP 0000150f: JUMP 00001510: JUMPDEST 00001511: PUSH2 0x14f0 00001514: PUSH2 0x152b 00001517: PUSH2 0x0650 0000151a: DUP4 0000151b: PUSH1 0x01 0000151d: SLOAD 0000151e: PUSH2 0x0dc4 00001521: SWAP1 00001522: SWAP2 00001523: SWAP1 00001524: PUSH4 0xffffffff 00001529: AND 0000152a: JUMP 0000152b: JUMPDEST 0000152c: PUSH1 0x01 0000152e: PUSH1 0x01 00001530: PUSH1 0xa0 00001532: SHL 00001533: SUB 00001534: DUP5 00001535: AND 00001536: PUSH1 0x00 00001538: SWAP1 00001539: DUP2 0000153a: MSTORE 0000153b: PUSH1 0x02 0000153d: PUSH1 0x20 0000153f: MSTORE 00001540: PUSH1 0x40 00001542: SWAP1 00001543: KECCAK256 00001544: SLOAD 00001545: SWAP1 00001546: PUSH2 0x0ebc 00001549: JUMP 0000154a: JUMPDEST 0000154b: PUSH1 0x00 0000154d: DUP2 0000154e: DUP5 0000154f: DUP5 00001550: GT 00001551: ISZERO 00001552: PUSH2 0x156e 00001555: JUMPI 00001556: PUSH1 0x40 00001558: MLOAD 00001559: PUSH3 0x461bcd 0000155d: PUSH1 0xe5 0000155f: SHL 00001560: DUP2 00001561: MSTORE 00001562: PUSH1 0x04 00001564: ADD 00001565: PUSH2 0x069a 00001568: SWAP2 00001569: SWAP1 0000156a: PUSH2 0x1770 0000156d: JUMP 0000156e: JUMPDEST 0000156f: POP 00001570: PUSH1 0x00 00001572: PUSH2 0x157b 00001575: DUP5 00001576: DUP7 00001577: PUSH2 0x1727 0000157a: JUMP 0000157b: JUMPDEST 0000157c: SWAP6 0000157d: SWAP5 0000157e: POP 0000157f: POP 00001580: POP 00001581: POP 00001582: POP 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH1 0x01 00001587: PUSH1 0x01 00001589: PUSH1 0xa0 0000158b: SHL 0000158c: SUB 0000158d: DUP2 0000158e: AND 0000158f: DUP2 00001590: EQ 00001591: PUSH2 0x0787 00001594: JUMPI 00001595: PUSH1 0x00 00001597: DUP1 00001598: REVERT 00001599: JUMPDEST 0000159a: PUSH1 0x00 0000159c: PUSH1 0x20 0000159e: DUP3 0000159f: DUP5 000015a0: SUB 000015a1: SLT 000015a2: ISZERO 000015a3: PUSH2 0x15ab 000015a6: JUMPI 000015a7: PUSH1 0x00 000015a9: DUP1 000015aa: REVERT 000015ab: JUMPDEST 000015ac: DUP2 000015ad: CALLDATALOAD 000015ae: PUSH2 0x0e46 000015b1: DUP2 000015b2: PUSH2 0x1584 000015b5: JUMP 000015b6: JUMPDEST 000015b7: PUSH1 0x00 000015b9: PUSH1 0x20 000015bb: DUP3 000015bc: DUP5 000015bd: SUB 000015be: SLT 000015bf: ISZERO 000015c0: PUSH2 0x15c8 000015c3: JUMPI 000015c4: PUSH1 0x00 000015c6: DUP1 000015c7: REVERT 000015c8: JUMPDEST 000015c9: POP 000015ca: CALLDATALOAD 000015cb: SWAP2 000015cc: SWAP1 000015cd: POP 000015ce: JUMP 000015cf: JUMPDEST 000015d0: PUSH1 0x00 000015d2: DUP1 000015d3: PUSH1 0x40 000015d5: DUP4 000015d6: DUP6 000015d7: SUB 000015d8: SLT 000015d9: ISZERO 000015da: PUSH2 0x15e2 000015dd: JUMPI 000015de: PUSH1 0x00 000015e0: DUP1 000015e1: REVERT 000015e2: JUMPDEST 000015e3: DUP3 000015e4: CALLDATALOAD 000015e5: PUSH2 0x15ed 000015e8: DUP2 000015e9: PUSH2 0x1584 000015ec: JUMP 000015ed: JUMPDEST 000015ee: SWAP2 000015ef: POP 000015f0: PUSH1 0x20 000015f2: DUP4 000015f3: ADD 000015f4: CALLDATALOAD 000015f5: DUP1 000015f6: ISZERO 000015f7: ISZERO 000015f8: DUP2 000015f9: EQ 000015fa: PUSH2 0x1602 000015fd: JUMPI 000015fe: PUSH1 0x00 00001600: DUP1 00001601: REVERT 00001602: JUMPDEST 00001603: DUP1 00001604: SWAP2 00001605: POP 00001606: POP 00001607: SWAP3 00001608: POP 00001609: SWAP3 0000160a: SWAP1 0000160b: POP 0000160c: JUMP 0000160d: JUMPDEST 0000160e: PUSH1 0x00 00001610: DUP1 00001611: PUSH1 0x40 00001613: DUP4 00001614: DUP6 00001615: SUB 00001616: SLT 00001617: ISZERO 00001618: PUSH2 0x1620 0000161b: JUMPI 0000161c: PUSH1 0x00 0000161e: DUP1 0000161f: REVERT 00001620: JUMPDEST 00001621: DUP3 00001622: CALLDATALOAD 00001623: PUSH2 0x162b 00001626: DUP2 00001627: PUSH2 0x1584 0000162a: JUMP 0000162b: JUMPDEST 0000162c: SWAP5 0000162d: PUSH1 0x20 0000162f: SWAP4 00001630: SWAP1 00001631: SWAP4 00001632: ADD 00001633: CALLDATALOAD 00001634: SWAP4 00001635: POP 00001636: POP 00001637: POP 00001638: JUMP 00001639: JUMPDEST 0000163a: PUSH4 0x4e487b71 0000163f: PUSH1 0xe0 00001641: SHL 00001642: PUSH1 0x00 00001644: MSTORE 00001645: PUSH1 0x11 00001647: PUSH1 0x04 00001649: MSTORE 0000164a: PUSH1 0x24 0000164c: PUSH1 0x00 0000164e: REVERT 0000164f: JUMPDEST 00001650: PUSH1 0x00 00001652: DUP3 00001653: PUSH2 0x166c 00001656: JUMPI 00001657: PUSH4 0x4e487b71 0000165c: PUSH1 0xe0 0000165e: SHL 0000165f: PUSH1 0x00 00001661: MSTORE 00001662: PUSH1 0x12 00001664: PUSH1 0x04 00001666: MSTORE 00001667: PUSH1 0x24 00001669: PUSH1 0x00 0000166b: REVERT 0000166c: JUMPDEST 0000166d: POP 0000166e: DIV 0000166f: SWAP1 00001670: JUMP 00001671: JUMPDEST 00001672: PUSH1 0x20 00001674: DUP1 00001675: DUP3 00001676: MSTORE 00001677: DUP2 00001678: DUP2 00001679: ADD 0000167a: MSTORE 0000167b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000169c: PUSH1 0x40 0000169e: DUP3 0000169f: ADD 000016a0: MSTORE 000016a1: PUSH1 0x60 000016a3: ADD 000016a4: SWAP1 000016a5: JUMP 000016a6: JUMPDEST 000016a7: PUSH1 0x00 000016a9: PUSH1 0x01 000016ab: DUP3 000016ac: ADD 000016ad: PUSH2 0x16b8 000016b0: JUMPI 000016b1: PUSH2 0x16b8 000016b4: PUSH2 0x1639 000016b7: JUMP 000016b8: JUMPDEST 000016b9: POP 000016ba: PUSH1 0x01 000016bc: ADD 000016bd: SWAP1 000016be: JUMP 000016bf: JUMPDEST 000016c0: PUSH4 0x4e487b71 000016c5: PUSH1 0xe0 000016c7: SHL 000016c8: PUSH1 0x00 000016ca: MSTORE 000016cb: PUSH1 0x32 000016cd: PUSH1 0x04 000016cf: MSTORE 000016d0: PUSH1 0x24 000016d2: PUSH1 0x00 000016d4: REVERT 000016d5: JUMPDEST 000016d6: DUP1 000016d7: DUP3 000016d8: MUL 000016d9: DUP2 000016da: ISZERO 000016db: DUP3 000016dc: DUP3 000016dd: DIV 000016de: DUP5 000016df: EQ 000016e0: OR 000016e1: PUSH2 0x066a 000016e4: JUMPI 000016e5: PUSH2 0x066a 000016e8: PUSH2 0x1639 000016eb: JUMP 000016ec: JUMPDEST 000016ed: DUP1 000016ee: DUP3 000016ef: ADD 000016f0: DUP1 000016f1: DUP3 000016f2: GT 000016f3: ISZERO 000016f4: PUSH2 0x066a 000016f7: JUMPI 000016f8: PUSH2 0x066a 000016fb: PUSH2 0x1639 000016fe: JUMP 000016ff: JUMPDEST 00001700: DUP1 00001701: DUP3 00001702: ADD 00001703: DUP3 00001704: DUP2 00001705: SLT 00001706: PUSH1 0x00 00001708: DUP4 00001709: SLT 0000170a: DUP1 0000170b: ISZERO 0000170c: DUP3 0000170d: AND 0000170e: DUP3 0000170f: ISZERO 00001710: DUP3 00001711: AND 00001712: OR 00001713: ISZERO 00001714: PUSH2 0x171f 00001717: JUMPI 00001718: PUSH2 0x171f 0000171b: PUSH2 0x1639 0000171e: JUMP 0000171f: JUMPDEST 00001720: POP 00001721: POP 00001722: SWAP3 00001723: SWAP2 00001724: POP 00001725: POP 00001726: JUMP 00001727: JUMPDEST 00001728: DUP2 00001729: DUP2 0000172a: SUB 0000172b: DUP2 0000172c: DUP2 0000172d: GT 0000172e: ISZERO 0000172f: PUSH2 0x066a 00001732: JUMPI 00001733: PUSH2 0x066a 00001736: PUSH2 0x1639 00001739: JUMP 0000173a: JUMPDEST 0000173b: PUSH4 0x4e487b71 00001740: PUSH1 0xe0 00001742: SHL 00001743: PUSH1 0x00 00001745: MSTORE 00001746: PUSH1 0x31 00001748: PUSH1 0x04 0000174a: MSTORE 0000174b: PUSH1 0x24 0000174d: PUSH1 0x00 0000174f: REVERT 00001750: JUMPDEST 00001751: DUP2 00001752: DUP2 00001753: SUB 00001754: PUSH1 0x00 00001756: DUP4 00001757: SLT 00001758: DUP1 00001759: ISZERO 0000175a: DUP4 0000175b: DUP4 0000175c: SGT 0000175d: AND 0000175e: DUP4 0000175f: DUP4 00001760: SLT 00001761: DUP3 00001762: AND 00001763: OR 00001764: ISZERO 00001765: PUSH2 0x123d 00001768: JUMPI 00001769: PUSH2 0x123d 0000176c: PUSH2 0x1639 0000176f: JUMP 00001770: JUMPDEST 00001771: PUSH1 0x00 00001773: PUSH1 0x20 00001775: DUP1 00001776: DUP4 00001777: MSTORE 00001778: DUP4 00001779: MLOAD 0000177a: DUP1 0000177b: DUP3 0000177c: DUP6 0000177d: ADD 0000177e: MSTORE 0000177f: PUSH1 0x00 00001781: JUMPDEST 00001782: DUP2 00001783: DUP2 00001784: LT 00001785: ISZERO 00001786: PUSH2 0x179d 00001789: JUMPI 0000178a: DUP6 0000178b: DUP2 0000178c: ADD 0000178d: DUP4 0000178e: ADD 0000178f: MLOAD 00001790: DUP6 00001791: DUP3 00001792: ADD 00001793: PUSH1 0x40 00001795: ADD 00001796: MSTORE 00001797: DUP3 00001798: ADD 00001799: PUSH2 0x1781 0000179c: JUMP 0000179d: JUMPDEST 0000179e: POP 0000179f: PUSH1 0x00 000017a1: PUSH1 0x40 000017a3: DUP3 000017a4: DUP7 000017a5: ADD 000017a6: ADD 000017a7: MSTORE 000017a8: PUSH1 0x40 000017aa: PUSH1 0x1f 000017ac: NOT 000017ad: PUSH1 0x1f 000017af: DUP4 000017b0: ADD 000017b1: AND 000017b2: DUP6 000017b3: ADD 000017b4: ADD 000017b5: SWAP3 000017b6: POP 000017b7: POP 000017b8: POP 000017b9: SWAP3 000017ba: SWAP2 000017bb: POP 000017bc: POP 000017bd: JUMP 000017be: INVALID 000017bf: LOG2 000017c0: PUSH5 0x6970667358 000017c6: UNKNOWN(0x22) 000017c7: SLT 000017c8: KECCAK256 000017c9: UNKNOWN(0xED) 000017ca: DUP15 000017cb: PUSH10 0xca5dfc2c34714fd76d41 000017d6: CLZ 000017d7: DUP7 000017d8: PUSH26 0x9eae1ed4f50014a822d96484396555af64736f6c634300081100 000017f3: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe43bb1277f7e2d79c712fb0f17cf5b210281ac28c23f2056bbbe313baa080bae
call_targets:
0xc67b5602e820405776980cee045ea5e4bc5151b3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe43bb1277f7e2d79c712fb0f17cf5b210281ac28c23f2056bbbe313baa080bae",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc67b5602e820405776980cee045ea5e4bc5151b3"
],
"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": "0xe98030c7",
"selector": "0xe98030c7",
"calldata_variants": [
"0xe98030c7",
"0xe98030c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0f306ef",
"selector": "0xc0f306ef",
"calldata_variants": [
"0xc0f306ef",
"0xc0f306ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7841ec0",
"selector": "0xe7841ec0",
"calldata_variants": [
"0xe7841ec0",
"0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab6ddfa8",
"selector": "0xab6ddfa8",
"calldata_variants": [
"0xab6ddfa8",
"0xab6ddfa80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4535,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe43bb1277f7e2d79c712fb0f17cf5b210281ac28c23f2056bbbe313baa080bae
call_targets:
0xc67b5602e820405776980cee045ea5e4bc5151b3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe43bb1277f7e2d79c712fb0f17cf5b210281ac28c23f2056bbbe313baa080bae",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc67b5602e820405776980cee045ea5e4bc5151b3"
],
"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": "0xe98030c7",
"selector": "0xe98030c7",
"calldata_variants": [
"0xe98030c7",
"0xe98030c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0f306ef",
"selector": "0xc0f306ef",
"calldata_variants": [
"0xc0f306ef",
"0xc0f306ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7841ec0",
"selector": "0xe7841ec0",
"calldata_variants": [
"0xe7841ec0",
"0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab6ddfa8",
"selector": "0xab6ddfa8",
"calldata_variants": [
"0xab6ddfa8",
"0xab6ddfa80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4535,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|