019b477e-c56a-71da-961d-737a8532cf80
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 |
|---|---|---|---|---|
| 25577 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25578 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68770 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68771 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68772 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68773 | 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 0x00e8 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd0f44e8c 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd0f44e8c 0000002f: EQ 00000030: PUSH2 0x03c3 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe8ef7d0d 0000003a: EQ 0000003b: PUSH2 0x03ea 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x041d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf63e05ff 00000050: EQ 00000051: PUSH2 0x043d 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x030d 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x983d95ce 0000006b: EQ 0000006c: PUSH2 0x0342 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc087cc4b 00000076: EQ 00000077: PUSH2 0x0362 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xcb0fc56d 00000081: EQ 00000082: PUSH2 0x0382 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x3aa44b0f 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x3aa44b0f 0000009c: EQ 0000009d: PUSH2 0x0135 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x6fa36c8f 000000a7: EQ 000000a8: PUSH2 0x018a 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x01aa 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x78bd7935 000000bd: EQ 000000be: PUSH2 0x01bf 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x07265c12 000000cd: EQ 000000ce: PUSH2 0x00ed 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x0fc55fd1 000000d8: EQ 000000d9: PUSH2 0x0102 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x2e5b445d 000000e3: EQ 000000e4: PUSH2 0x0115 000000e7: JUMPI 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: PUSH2 0x0100 000000f1: PUSH2 0x00fb 000000f4: CALLDATASIZE 000000f5: PUSH1 0x04 000000f7: PUSH2 0x216a 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH2 0x045d 000000ff: JUMP 00000100: JUMPDEST 00000101: STOP 00000102: JUMPDEST 00000103: PUSH2 0x0100 00000106: PUSH2 0x0110 00000109: CALLDATASIZE 0000010a: PUSH1 0x04 0000010c: PUSH2 0x21e8 0000010f: JUMP 00000110: JUMPDEST 00000111: PUSH2 0x0902 00000114: JUMP 00000115: JUMPDEST 00000116: CALLVALUE 00000117: DUP1 00000118: ISZERO 00000119: PUSH2 0x0121 0000011c: JUMPI 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: REVERT 00000121: JUMPDEST 00000122: POP 00000123: PUSH2 0x0100 00000126: PUSH2 0x0130 00000129: CALLDATASIZE 0000012a: PUSH1 0x04 0000012c: PUSH2 0x222f 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH2 0x0cea 00000134: JUMP 00000135: JUMPDEST 00000136: CALLVALUE 00000137: DUP1 00000138: ISZERO 00000139: PUSH2 0x0141 0000013c: JUMPI 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: REVERT 00000141: JUMPDEST 00000142: POP 00000143: PUSH1 0x04 00000145: SLOAD 00000146: PUSH25 0x01000000000000000000000000000000000000000000000000 00000160: SWAP1 00000161: DIV 00000162: PUSH8 0xffffffffffffffff 0000016b: AND 0000016c: JUMPDEST 0000016d: PUSH1 0x40 0000016f: MLOAD 00000170: PUSH8 0xffffffffffffffff 00000179: SWAP1 0000017a: SWAP2 0000017b: AND 0000017c: DUP2 0000017d: MSTORE 0000017e: PUSH1 0x20 00000180: ADD 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: DUP1 00000186: SWAP2 00000187: SUB 00000188: SWAP1 00000189: RETURN 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH2 0x0100 0000019b: PUSH2 0x01a5 0000019e: CALLDATASIZE 0000019f: PUSH1 0x04 000001a1: PUSH2 0x224a 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH2 0x0da0 000001a9: JUMP 000001aa: JUMPDEST 000001ab: CALLVALUE 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: PUSH2 0x0100 000001bb: PUSH2 0x124f 000001be: JUMP 000001bf: JUMPDEST 000001c0: CALLVALUE 000001c1: DUP1 000001c2: ISZERO 000001c3: PUSH2 0x01cb 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: POP 000001cd: PUSH2 0x02ac 000001d0: PUSH2 0x01da 000001d3: CALLDATASIZE 000001d4: PUSH1 0x04 000001d6: PUSH2 0x2286 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH1 0x00 000001dd: DUP2 000001de: DUP2 000001df: MSTORE 000001e0: PUSH1 0x05 000001e2: PUSH1 0x20 000001e4: SWAP1 000001e5: DUP2 000001e6: MSTORE 000001e7: PUSH1 0x40 000001e9: SWAP2 000001ea: DUP3 000001eb: SWAP1 000001ec: KECCAK256 000001ed: DUP3 000001ee: MLOAD 000001ef: PUSH1 0xa0 000001f1: DUP2 000001f2: ADD 000001f3: DUP5 000001f4: MSTORE 000001f5: DUP2 000001f6: SLOAD 000001f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020c: AND 0000020d: DUP1 0000020e: DUP3 0000020f: MSTORE 00000210: PUSH1 0x01 00000212: SWAP1 00000213: SWAP3 00000214: ADD 00000215: SLOAD 00000216: PUSH16 0xffffffffffffffffffffffffffffffff 00000227: DUP2 00000228: AND 00000229: SWAP4 0000022a: DUP3 0000022b: ADD 0000022c: DUP5 0000022d: SWAP1 0000022e: MSTORE 0000022f: PUSH8 0xffffffffffffffff 00000238: PUSH17 0x0100000000000000000000000000000000 0000024a: DUP3 0000024b: DIV 0000024c: AND 0000024d: SWAP5 0000024e: DUP3 0000024f: ADD 00000250: DUP6 00000251: SWAP1 00000252: MSTORE 00000253: PUSH1 0xff 00000255: PUSH25 0x01000000000000000000000000000000000000000000000000 0000026f: DUP3 00000270: DIV 00000271: DUP2 00000272: AND 00000273: ISZERO 00000274: ISZERO 00000275: PUSH1 0x60 00000277: DUP5 00000278: ADD 00000279: DUP2 0000027a: SWAP1 0000027b: MSTORE 0000027c: PUSH26 0x0100000000000000000000000000000000000000000000000000 00000297: SWAP1 00000298: SWAP3 00000299: DIV 0000029a: AND 0000029b: ISZERO 0000029c: ISZERO 0000029d: PUSH1 0x80 0000029f: SWAP1 000002a0: SWAP3 000002a1: ADD 000002a2: DUP3 000002a3: SWAP1 000002a4: MSTORE 000002a5: SWAP2 000002a6: SWAP6 000002a7: SWAP1 000002a8: SWAP3 000002a9: SWAP5 000002aa: POP 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH1 0x40 000002af: DUP1 000002b0: MLOAD 000002b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c6: SWAP1 000002c7: SWAP7 000002c8: AND 000002c9: DUP7 000002ca: MSTORE 000002cb: PUSH16 0xffffffffffffffffffffffffffffffff 000002dc: SWAP1 000002dd: SWAP5 000002de: AND 000002df: PUSH1 0x20 000002e1: DUP7 000002e2: ADD 000002e3: MSTORE 000002e4: PUSH8 0xffffffffffffffff 000002ed: SWAP1 000002ee: SWAP3 000002ef: AND 000002f0: SWAP3 000002f1: DUP5 000002f2: ADD 000002f3: SWAP3 000002f4: SWAP1 000002f5: SWAP3 000002f6: MSTORE 000002f7: SWAP1 000002f8: ISZERO 000002f9: ISZERO 000002fa: PUSH1 0x60 000002fc: DUP4 000002fd: ADD 000002fe: MSTORE 000002ff: ISZERO 00000300: ISZERO 00000301: PUSH1 0x80 00000303: DUP3 00000304: ADD 00000305: MSTORE 00000306: PUSH1 0xa0 00000308: ADD 00000309: PUSH2 0x0181 0000030c: JUMP 0000030d: JUMPDEST 0000030e: CALLVALUE 0000030f: DUP1 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: POP 0000031b: PUSH1 0x00 0000031d: SLOAD 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000336: SWAP1 00000337: SWAP2 00000338: AND 00000339: DUP2 0000033a: MSTORE 0000033b: PUSH1 0x20 0000033d: ADD 0000033e: PUSH2 0x0181 00000341: JUMP 00000342: JUMPDEST 00000343: CALLVALUE 00000344: DUP1 00000345: ISZERO 00000346: PUSH2 0x034e 00000349: JUMPI 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: POP 00000350: PUSH2 0x0100 00000353: PUSH2 0x035d 00000356: CALLDATASIZE 00000357: PUSH1 0x04 00000359: PUSH2 0x229f 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH2 0x12c2 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x0100 00000373: PUSH2 0x037d 00000376: CALLDATASIZE 00000377: PUSH1 0x04 00000379: PUSH2 0x222f 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x168b 00000381: JUMP 00000382: JUMPDEST 00000383: CALLVALUE 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x038e 00000389: JUMPI 0000038a: PUSH1 0x00 0000038c: DUP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: POP 00000390: PUSH2 0x03a2 00000393: PUSH2 0x039d 00000396: CALLDATASIZE 00000397: PUSH1 0x04 00000399: PUSH2 0x2286 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH2 0x1741 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: PUSH16 0xffffffffffffffffffffffffffffffff 000003b7: SWAP1 000003b8: SWAP2 000003b9: AND 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x20 000003be: ADD 000003bf: PUSH2 0x0181 000003c2: JUMP 000003c3: JUMPDEST 000003c4: CALLVALUE 000003c5: DUP1 000003c6: ISZERO 000003c7: PUSH2 0x03cf 000003ca: JUMPI 000003cb: PUSH1 0x00 000003cd: DUP1 000003ce: REVERT 000003cf: JUMPDEST 000003d0: POP 000003d1: PUSH1 0x04 000003d3: SLOAD 000003d4: PUSH16 0xffffffffffffffffffffffffffffffff 000003e5: AND 000003e6: PUSH2 0x03a2 000003e9: JUMP 000003ea: JUMPDEST 000003eb: CALLVALUE 000003ec: DUP1 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: PUSH1 0x04 000003fa: SLOAD 000003fb: PUSH17 0x0100000000000000000000000000000000 0000040d: SWAP1 0000040e: DIV 0000040f: PUSH8 0xffffffffffffffff 00000418: AND 00000419: PUSH2 0x016c 0000041c: JUMP 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: DUP1 00000420: ISZERO 00000421: PUSH2 0x0429 00000424: JUMPI 00000425: PUSH1 0x00 00000427: DUP1 00000428: REVERT 00000429: JUMPDEST 0000042a: POP 0000042b: PUSH2 0x0100 0000042e: PUSH2 0x0438 00000431: CALLDATASIZE 00000432: PUSH1 0x04 00000434: PUSH2 0x2367 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH2 0x1817 0000043c: JUMP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: DUP1 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: POP 0000044b: PUSH2 0x0100 0000044e: PUSH2 0x0458 00000451: CALLDATASIZE 00000452: PUSH1 0x04 00000454: PUSH2 0x2384 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH2 0x1913 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x00 00000460: DUP5 00000461: DUP2 00000462: MSTORE 00000463: PUSH1 0x05 00000465: PUSH1 0x20 00000467: MSTORE 00000468: PUSH1 0x40 0000046a: SWAP1 0000046b: KECCAK256 0000046c: PUSH1 0x01 0000046e: ADD 0000046f: SLOAD 00000470: PUSH17 0x0100000000000000000000000000000000 00000482: SWAP1 00000483: DIV 00000484: PUSH8 0xffffffffffffffff 0000048d: AND 0000048e: ISZERO 0000048f: PUSH2 0x04df 00000492: JUMPI 00000493: PUSH1 0x40 00000495: MLOAD 00000496: PUSH3 0x461bcd 0000049a: PUSH1 0xe5 0000049c: SHL 0000049d: DUP2 0000049e: MSTORE 0000049f: PUSH1 0x20 000004a1: PUSH1 0x04 000004a3: DUP3 000004a4: ADD 000004a5: MSTORE 000004a6: PUSH1 0x1c 000004a8: PUSH1 0x24 000004aa: DUP3 000004ab: ADD 000004ac: MSTORE 000004ad: PUSH32 0x41756374696f6e2068617320616c726561647920737461727465642e00000000 000004ce: PUSH1 0x44 000004d0: DUP3 000004d1: ADD 000004d2: MSTORE 000004d3: PUSH1 0x64 000004d5: ADD 000004d6: JUMPDEST 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: DUP1 000004db: SWAP2 000004dc: SUB 000004dd: SWAP1 000004de: REVERT 000004df: JUMPDEST 000004e0: PUSH1 0x04 000004e2: SLOAD 000004e3: PUSH16 0xffffffffffffffffffffffffffffffff 000004f4: AND 000004f5: CALLVALUE 000004f6: LT 000004f7: ISZERO 000004f8: PUSH2 0x0543 000004fb: JUMPI 000004fc: PUSH1 0x40 000004fe: MLOAD 000004ff: PUSH3 0x461bcd 00000503: PUSH1 0xe5 00000505: SHL 00000506: DUP2 00000507: MSTORE 00000508: PUSH1 0x20 0000050a: PUSH1 0x04 0000050c: DUP3 0000050d: ADD 0000050e: MSTORE 0000050f: PUSH1 0x1f 00000511: PUSH1 0x24 00000513: DUP3 00000514: ADD 00000515: MSTORE 00000516: PUSH32 0x41756374696f6e207374617274696e67207072696365206e6f74206d65742e00 00000537: PUSH1 0x44 00000539: DUP3 0000053a: ADD 0000053b: MSTORE 0000053c: PUSH1 0x64 0000053e: ADD 0000053f: PUSH2 0x04d6 00000542: JUMP 00000543: JUMPDEST 00000544: TIMESTAMP 00000545: PUSH8 0xffffffffffffffff 0000054e: AND 0000054f: DUP4 00000550: PUSH8 0xffffffffffffffff 00000559: AND 0000055a: LT 0000055b: ISZERO 0000055c: PUSH2 0x05a7 0000055f: JUMPI 00000560: PUSH1 0x40 00000562: MLOAD 00000563: PUSH3 0x461bcd 00000567: PUSH1 0xe5 00000569: SHL 0000056a: DUP2 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: PUSH1 0x04 00000570: DUP3 00000571: ADD 00000572: MSTORE 00000573: PUSH1 0x12 00000575: PUSH1 0x24 00000577: DUP3 00000578: ADD 00000579: MSTORE 0000057a: PUSH32 0x41756374696f6e2068617320656e6465642e0000000000000000000000000000 0000059b: PUSH1 0x44 0000059d: DUP3 0000059e: ADD 0000059f: MSTORE 000005a0: PUSH1 0x64 000005a2: ADD 000005a3: PUSH2 0x04d6 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x00 000005aa: PUSH2 0x066b 000005ad: DUP6 000005ae: DUP6 000005af: PUSH1 0x40 000005b1: MLOAD 000005b2: PUSH1 0x20 000005b4: ADD 000005b5: PUSH2 0x05ed 000005b8: SWAP3 000005b9: SWAP2 000005ba: SWAP1 000005bb: SWAP2 000005bc: DUP3 000005bd: MSTORE 000005be: PUSH1 0xc0 000005c0: SHL 000005c1: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000 000005e2: AND 000005e3: PUSH1 0x20 000005e5: DUP3 000005e6: ADD 000005e7: MSTORE 000005e8: PUSH1 0x28 000005ea: ADD 000005eb: SWAP1 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x40 000005f0: DUP1 000005f1: MLOAD 000005f2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000613: DUP2 00000614: DUP5 00000615: SUB 00000616: ADD 00000617: DUP2 00000618: MSTORE 00000619: DUP3 0000061a: DUP3 0000061b: MSTORE 0000061c: DUP1 0000061d: MLOAD 0000061e: PUSH1 0x20 00000620: SWAP2 00000621: DUP3 00000622: ADD 00000623: KECCAK256 00000624: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000645: DUP5 00000646: DUP4 00000647: ADD 00000648: MSTORE 00000649: PUSH1 0x3c 0000064b: DUP1 0000064c: DUP6 0000064d: ADD 0000064e: SWAP2 0000064f: SWAP1 00000650: SWAP2 00000651: MSTORE 00000652: DUP3 00000653: MLOAD 00000654: DUP1 00000655: DUP6 00000656: SUB 00000657: SWAP1 00000658: SWAP2 00000659: ADD 0000065a: DUP2 0000065b: MSTORE 0000065c: PUSH1 0x5c 0000065e: SWAP1 0000065f: SWAP4 00000660: ADD 00000661: SWAP1 00000662: SWAP2 00000663: MSTORE 00000664: DUP2 00000665: MLOAD 00000666: SWAP2 00000667: ADD 00000668: KECCAK256 00000669: SWAP1 0000066a: JUMP 0000066b: JUMPDEST 0000066c: SWAP1 0000066d: POP 0000066e: PUSH2 0x068c 00000671: PUSH1 0x00 00000673: SLOAD 00000674: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000689: AND 0000068a: SWAP1 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a2: AND 000006a3: PUSH2 0x06ac 000006a6: DUP3 000006a7: DUP6 000006a8: PUSH2 0x19bd 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c2: AND 000006c3: EQ 000006c4: PUSH2 0x070f 000006c7: JUMPI 000006c8: PUSH1 0x40 000006ca: MLOAD 000006cb: PUSH3 0x461bcd 000006cf: PUSH1 0xe5 000006d1: SHL 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: PUSH1 0x04 000006d8: DUP3 000006d9: ADD 000006da: MSTORE 000006db: PUSH1 0x18 000006dd: PUSH1 0x24 000006df: DUP3 000006e0: ADD 000006e1: MSTORE 000006e2: PUSH32 0x41756374696f6e2064617461206e6f74207369676e65642e0000000000000000 00000703: PUSH1 0x44 00000705: DUP3 00000706: ADD 00000707: MSTORE 00000708: PUSH1 0x64 0000070a: ADD 0000070b: PUSH2 0x04d6 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x40 00000712: MLOAD 00000713: DUP1 00000714: PUSH1 0xa0 00000716: ADD 00000717: PUSH1 0x40 00000719: MSTORE 0000071a: DUP1 0000071b: PUSH2 0x0721 0000071e: CALLER 0000071f: SWAP1 00000720: JUMP 00000721: JUMPDEST 00000722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000737: SWAP1 00000738: DUP2 00000739: AND 0000073a: DUP3 0000073b: MSTORE 0000073c: PUSH16 0xffffffffffffffffffffffffffffffff 0000074d: CALLVALUE 0000074e: DUP2 0000074f: AND 00000750: PUSH1 0x20 00000752: DUP1 00000753: DUP6 00000754: ADD 00000755: SWAP2 00000756: SWAP1 00000757: SWAP2 00000758: MSTORE 00000759: PUSH8 0xffffffffffffffff 00000762: DUP1 00000763: DUP11 00000764: AND 00000765: PUSH1 0x40 00000767: DUP1 00000768: DUP8 00000769: ADD 0000076a: SWAP2 0000076b: SWAP1 0000076c: SWAP2 0000076d: MSTORE 0000076e: PUSH1 0x00 00000770: PUSH1 0x60 00000772: DUP1 00000773: DUP9 00000774: ADD 00000775: DUP3 00000776: SWAP1 00000777: MSTORE 00000778: PUSH1 0x80 0000077a: SWAP8 0000077b: DUP9 0000077c: ADD 0000077d: DUP3 0000077e: SWAP1 0000077f: MSTORE 00000780: DUP14 00000781: DUP3 00000782: MSTORE 00000783: PUSH1 0x05 00000785: DUP6 00000786: MSTORE 00000787: SWAP1 00000788: DUP3 00000789: SWAP1 0000078a: KECCAK256 0000078b: DUP9 0000078c: MLOAD 0000078d: DUP2 0000078e: SLOAD 0000078f: SWAP8 00000790: AND 00000791: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000007b2: SWAP1 000007b3: SWAP8 000007b4: AND 000007b5: SWAP7 000007b6: SWAP1 000007b7: SWAP7 000007b8: OR 000007b9: DUP7 000007ba: SSTORE 000007bb: SWAP3 000007bc: DUP8 000007bd: ADD 000007be: MLOAD 000007bf: PUSH1 0x01 000007c1: DUP7 000007c2: ADD 000007c3: DUP1 000007c4: SLOAD 000007c5: SWAP3 000007c6: DUP10 000007c7: ADD 000007c8: MLOAD 000007c9: SWAP5 000007ca: DUP10 000007cb: ADD 000007cc: MLOAD 000007cd: SWAP9 000007ce: SWAP1 000007cf: SWAP8 000007d0: ADD 000007d1: MLOAD 000007d2: ISZERO 000007d3: ISZERO 000007d4: PUSH26 0x0100000000000000000000000000000000000000000000000000 000007ef: MUL 000007f0: PUSH32 0xffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffff 00000811: SWAP9 00000812: ISZERO 00000813: ISZERO 00000814: PUSH25 0x01000000000000000000000000000000000000000000000000 0000082e: MUL 0000082f: SWAP9 00000830: SWAP1 00000831: SWAP9 00000832: AND 00000833: PUSH32 0xffffffffffff0000ffffffffffffffffffffffffffffffffffffffffffffffff 00000854: SWAP5 00000855: SWAP1 00000856: SWAP4 00000857: AND 00000858: PUSH17 0x0100000000000000000000000000000000 0000086a: MUL 0000086b: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000 0000088c: SWAP1 0000088d: SWAP3 0000088e: AND 0000088f: SWAP5 00000890: AND 00000891: SWAP4 00000892: SWAP1 00000893: SWAP4 00000894: OR 00000895: SWAP3 00000896: SWAP1 00000897: SWAP3 00000898: OR 00000899: AND 0000089a: OR 0000089b: SWAP3 0000089c: SWAP1 0000089d: SWAP3 0000089e: OR 0000089f: SWAP1 000008a0: SSTORE 000008a1: PUSH2 0x08ab 000008a4: SWAP1 000008a5: DUP7 000008a6: SWAP1 000008a7: PUSH2 0x19e1 000008aa: JUMP 000008ab: JUMPDEST 000008ac: CALLER 000008ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c2: AND 000008c3: CALLVALUE 000008c4: DUP7 000008c5: PUSH32 0x0f57cf15df3698066a25c564ab43c76d2554bda422d0fec9c3354d62b95e3f5e 000008e6: DUP6 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: PUSH2 0x08f3 000008ed: SWAP2 000008ee: SWAP1 000008ef: PUSH2 0x242c 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0x40 000008f6: MLOAD 000008f7: DUP1 000008f8: SWAP2 000008f9: SUB 000008fa: SWAP1 000008fb: LOG4 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: POP 00000900: POP 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH1 0x02 00000905: PUSH1 0x01 00000907: SLOAD 00000908: EQ 00000909: ISZERO 0000090a: PUSH2 0x0955 0000090d: JUMPI 0000090e: PUSH1 0x40 00000910: MLOAD 00000911: PUSH3 0x461bcd 00000915: PUSH1 0xe5 00000917: SHL 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x20 0000091c: PUSH1 0x04 0000091e: DUP3 0000091f: ADD 00000920: MSTORE 00000921: PUSH1 0x1f 00000923: PUSH1 0x24 00000925: DUP3 00000926: ADD 00000927: MSTORE 00000928: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000949: PUSH1 0x44 0000094b: DUP3 0000094c: ADD 0000094d: MSTORE 0000094e: PUSH1 0x64 00000950: ADD 00000951: PUSH2 0x04d6 00000954: JUMP 00000955: JUMPDEST 00000956: PUSH1 0x02 00000958: PUSH1 0x01 0000095a: SWAP1 0000095b: DUP2 0000095c: SSTORE 0000095d: PUSH1 0x00 0000095f: DUP4 00000960: DUP2 00000961: MSTORE 00000962: PUSH1 0x05 00000964: PUSH1 0x20 00000966: SWAP1 00000967: DUP2 00000968: MSTORE 00000969: PUSH1 0x40 0000096b: SWAP2 0000096c: DUP3 0000096d: SWAP1 0000096e: KECCAK256 0000096f: DUP3 00000970: MLOAD 00000971: PUSH1 0xa0 00000973: DUP2 00000974: ADD 00000975: DUP5 00000976: MSTORE 00000977: DUP2 00000978: SLOAD 00000979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098e: AND 0000098f: DUP2 00000990: MSTORE 00000991: SWAP4 00000992: DUP2 00000993: ADD 00000994: SLOAD 00000995: PUSH16 0xffffffffffffffffffffffffffffffff 000009a6: DUP2 000009a7: AND 000009a8: SWAP3 000009a9: DUP6 000009aa: ADD 000009ab: SWAP3 000009ac: SWAP1 000009ad: SWAP3 000009ae: MSTORE 000009af: PUSH8 0xffffffffffffffff 000009b8: PUSH17 0x0100000000000000000000000000000000 000009ca: DUP4 000009cb: DIV 000009cc: AND 000009cd: SWAP3 000009ce: DUP5 000009cf: ADD 000009d0: SWAP3 000009d1: SWAP1 000009d2: SWAP3 000009d3: MSTORE 000009d4: PUSH1 0xff 000009d6: PUSH25 0x01000000000000000000000000000000000000000000000000 000009f0: DUP3 000009f1: DIV 000009f2: DUP2 000009f3: AND 000009f4: ISZERO 000009f5: ISZERO 000009f6: PUSH1 0x60 000009f8: DUP6 000009f9: ADD 000009fa: MSTORE 000009fb: PUSH26 0x0100000000000000000000000000000000000000000000000000 00000a16: SWAP1 00000a17: SWAP2 00000a18: DIV 00000a19: AND 00000a1a: ISZERO 00000a1b: ISZERO 00000a1c: PUSH1 0x80 00000a1e: DUP4 00000a1f: ADD 00000a20: MSTORE 00000a21: SWAP1 00000a22: CALLVALUE 00000a23: SWAP1 00000a24: CALLER 00000a25: SWAP1 00000a26: PUSH2 0x0a2e 00000a29: SWAP1 00000a2a: PUSH2 0x1b07 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH16 0xffffffffffffffffffffffffffffffff 00000a40: AND 00000a41: DUP3 00000a42: LT 00000a43: ISZERO 00000a44: PUSH2 0x0a8f 00000a47: JUMPI 00000a48: PUSH1 0x40 00000a4a: MLOAD 00000a4b: PUSH3 0x461bcd 00000a4f: PUSH1 0xe5 00000a51: SHL 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x20 00000a56: PUSH1 0x04 00000a58: DUP3 00000a59: ADD 00000a5a: MSTORE 00000a5b: PUSH1 0x1a 00000a5d: PUSH1 0x24 00000a5f: DUP3 00000a60: ADD 00000a61: MSTORE 00000a62: PUSH32 0x4d696e696d756d206269642076616c7565206e6f74206d65742e000000000000 00000a83: PUSH1 0x44 00000a85: DUP3 00000a86: ADD 00000a87: MSTORE 00000a88: PUSH1 0x64 00000a8a: ADD 00000a8b: PUSH2 0x04d6 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x01 00000a92: DUP4 00000a93: ADD 00000a94: SLOAD 00000a95: PUSH17 0x0100000000000000000000000000000000 00000aa7: SWAP1 00000aa8: DIV 00000aa9: PUSH8 0xffffffffffffffff 00000ab2: AND 00000ab3: TIMESTAMP 00000ab4: GT 00000ab5: ISZERO 00000ab6: PUSH2 0x0b01 00000ab9: JUMPI 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: PUSH3 0x461bcd 00000ac1: PUSH1 0xe5 00000ac3: SHL 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: PUSH1 0x04 00000aca: DUP3 00000acb: ADD 00000acc: MSTORE 00000acd: PUSH1 0x16 00000acf: PUSH1 0x24 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH32 0x41756374696f6e206973206e6f74206163746976652e00000000000000000000 00000af5: PUSH1 0x44 00000af7: DUP3 00000af8: ADD 00000af9: MSTORE 00000afa: PUSH1 0x64 00000afc: ADD 00000afd: PUSH2 0x04d6 00000b00: JUMP 00000b01: JUMPDEST 00000b02: PUSH1 0x40 00000b04: DUP1 00000b05: MLOAD 00000b06: PUSH1 0xa0 00000b08: DUP2 00000b09: ADD 00000b0a: DUP3 00000b0b: MSTORE 00000b0c: DUP5 00000b0d: SLOAD 00000b0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b23: AND 00000b24: DUP2 00000b25: MSTORE 00000b26: PUSH1 0x01 00000b28: DUP6 00000b29: ADD 00000b2a: SLOAD 00000b2b: PUSH16 0xffffffffffffffffffffffffffffffff 00000b3c: DUP2 00000b3d: AND 00000b3e: PUSH1 0x20 00000b40: DUP4 00000b41: ADD 00000b42: DUP2 00000b43: SWAP1 00000b44: MSTORE 00000b45: PUSH8 0xffffffffffffffff 00000b4e: PUSH17 0x0100000000000000000000000000000000 00000b60: DUP4 00000b61: DIV 00000b62: AND 00000b63: SWAP4 00000b64: DUP4 00000b65: ADD 00000b66: SWAP4 00000b67: SWAP1 00000b68: SWAP4 00000b69: MSTORE 00000b6a: PUSH1 0xff 00000b6c: PUSH25 0x01000000000000000000000000000000000000000000000000 00000b86: DUP3 00000b87: DIV 00000b88: DUP2 00000b89: AND 00000b8a: ISZERO 00000b8b: ISZERO 00000b8c: PUSH1 0x60 00000b8e: DUP5 00000b8f: ADD 00000b90: MSTORE 00000b91: PUSH26 0x0100000000000000000000000000000000000000000000000000 00000bac: SWAP1 00000bad: SWAP2 00000bae: DIV 00000baf: AND 00000bb0: ISZERO 00000bb1: ISZERO 00000bb2: PUSH1 0x80 00000bb4: SWAP1 00000bb5: SWAP2 00000bb6: ADD 00000bb7: MSTORE 00000bb8: ISZERO 00000bb9: PUSH2 0x0c1b 00000bbc: JUMPI 00000bbd: DUP3 00000bbe: SLOAD 00000bbf: PUSH1 0x01 00000bc1: DUP5 00000bc2: ADD 00000bc3: SLOAD 00000bc4: PUSH1 0x40 00000bc6: MLOAD 00000bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdc: SWAP1 00000bdd: SWAP3 00000bde: AND 00000bdf: SWAP2 00000be0: PUSH16 0xffffffffffffffffffffffffffffffff 00000bf1: SWAP1 00000bf2: SWAP2 00000bf3: AND 00000bf4: DUP1 00000bf5: ISZERO 00000bf6: PUSH2 0x08fc 00000bf9: MUL 00000bfa: SWAP2 00000bfb: PUSH1 0x00 00000bfd: DUP2 00000bfe: DUP2 00000bff: DUP2 00000c00: DUP6 00000c01: DUP9 00000c02: DUP9 00000c03: CALL 00000c04: SWAP4 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: POP 00000c09: ISZERO 00000c0a: DUP1 00000c0b: ISZERO 00000c0c: PUSH2 0x0c19 00000c0f: JUMPI 00000c10: RETURNDATASIZE 00000c11: PUSH1 0x00 00000c13: DUP1 00000c14: RETURNDATACOPY 00000c15: RETURNDATASIZE 00000c16: PUSH1 0x00 00000c18: REVERT 00000c19: JUMPDEST 00000c1a: POP 00000c1b: JUMPDEST 00000c1c: PUSH2 0x0c25 00000c1f: DUP6 00000c20: DUP5 00000c21: PUSH2 0x19e1 00000c24: JUMP 00000c25: JUMPDEST 00000c26: PUSH1 0x01 00000c28: DUP4 00000c29: ADD 00000c2a: DUP1 00000c2b: SLOAD 00000c2c: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 00000c4d: AND 00000c4e: PUSH16 0xffffffffffffffffffffffffffffffff 00000c5f: DUP5 00000c60: AND 00000c61: OR 00000c62: SWAP1 00000c63: SSTORE 00000c64: DUP3 00000c65: SLOAD 00000c66: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000c87: AND 00000c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9d: DUP3 00000c9e: AND 00000c9f: SWAP1 00000ca0: DUP2 00000ca1: OR 00000ca2: DUP5 00000ca3: SSTORE 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: DUP4 00000ca8: SWAP1 00000ca9: DUP8 00000caa: SWAP1 00000cab: PUSH32 0x0f57cf15df3698066a25c564ab43c76d2554bda422d0fec9c3354d62b95e3f5e 00000ccc: SWAP1 00000ccd: PUSH2 0x0cd7 00000cd0: SWAP1 00000cd1: DUP10 00000cd2: SWAP1 00000cd3: PUSH2 0x242c 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: PUSH1 0x40 00000cda: MLOAD 00000cdb: DUP1 00000cdc: SWAP2 00000cdd: SUB 00000cde: SWAP1 00000cdf: LOG4 00000ce0: POP 00000ce1: POP 00000ce2: PUSH1 0x01 00000ce4: DUP1 00000ce5: SSTORE 00000ce6: POP 00000ce7: POP 00000ce8: POP 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: SLOAD 00000cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d03: AND 00000d04: CALLER 00000d05: EQ 00000d06: PUSH2 0x0d51 00000d09: JUMPI 00000d0a: PUSH1 0x40 00000d0c: MLOAD 00000d0d: PUSH3 0x461bcd 00000d11: PUSH1 0xe5 00000d13: SHL 00000d14: DUP2 00000d15: MSTORE 00000d16: PUSH1 0x20 00000d18: PUSH1 0x04 00000d1a: DUP3 00000d1b: ADD 00000d1c: DUP2 00000d1d: SWAP1 00000d1e: MSTORE 00000d1f: PUSH1 0x24 00000d21: DUP3 00000d22: ADD 00000d23: MSTORE 00000d24: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d45: PUSH1 0x44 00000d47: DUP3 00000d48: ADD 00000d49: MSTORE 00000d4a: PUSH1 0x64 00000d4c: ADD 00000d4d: PUSH2 0x04d6 00000d50: JUMP 00000d51: JUMPDEST 00000d52: PUSH1 0x04 00000d54: DUP1 00000d55: SLOAD 00000d56: PUSH8 0xffffffffffffffff 00000d5f: SWAP1 00000d60: SWAP3 00000d61: AND 00000d62: PUSH25 0x01000000000000000000000000000000000000000000000000 00000d7c: MUL 00000d7d: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 00000d96: SWAP1 00000d97: SWAP3 00000d98: AND 00000d99: SWAP2 00000d9a: SWAP1 00000d9b: SWAP2 00000d9c: OR 00000d9d: SWAP1 00000d9e: SSTORE 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x00 00000da3: DUP5 00000da4: DUP2 00000da5: MSTORE 00000da6: PUSH1 0x05 00000da8: PUSH1 0x20 00000daa: MSTORE 00000dab: PUSH1 0x40 00000dad: SWAP1 00000dae: KECCAK256 00000daf: PUSH1 0x01 00000db1: DUP2 00000db2: ADD 00000db3: SLOAD 00000db4: PUSH26 0x0100000000000000000000000000000000000000000000000000 00000dcf: SWAP1 00000dd0: DIV 00000dd1: PUSH1 0xff 00000dd3: AND 00000dd4: ISZERO 00000dd5: PUSH2 0x0e20 00000dd8: JUMPI 00000dd9: PUSH1 0x40 00000ddb: MLOAD 00000ddc: PUSH3 0x461bcd 00000de0: PUSH1 0xe5 00000de2: SHL 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x20 00000de7: PUSH1 0x04 00000de9: DUP3 00000dea: ADD 00000deb: MSTORE 00000dec: PUSH1 0x17 00000dee: PUSH1 0x24 00000df0: DUP3 00000df1: ADD 00000df2: MSTORE 00000df3: PUSH32 0x41756374696f6e20616c726561647920736574746c6564000000000000000000 00000e14: PUSH1 0x44 00000e16: DUP3 00000e17: ADD 00000e18: MSTORE 00000e19: PUSH1 0x64 00000e1b: ADD 00000e1c: PUSH2 0x04d6 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x00 00000e23: PUSH2 0x0e3a 00000e26: DUP7 00000e27: DUP7 00000e28: DUP7 00000e29: PUSH1 0x40 00000e2b: MLOAD 00000e2c: PUSH1 0x20 00000e2e: ADD 00000e2f: PUSH2 0x05ed 00000e32: SWAP4 00000e33: SWAP3 00000e34: SWAP2 00000e35: SWAP1 00000e36: PUSH2 0x243f 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: SWAP1 00000e3c: POP 00000e3d: PUSH2 0x0e5b 00000e40: PUSH1 0x00 00000e42: SLOAD 00000e43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e58: AND 00000e59: SWAP1 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e71: AND 00000e72: PUSH2 0x0e7b 00000e75: DUP3 00000e76: DUP6 00000e77: PUSH2 0x19bd 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e91: AND 00000e92: EQ 00000e93: PUSH2 0x0ede 00000e96: JUMPI 00000e97: PUSH1 0x40 00000e99: MLOAD 00000e9a: PUSH3 0x461bcd 00000e9e: PUSH1 0xe5 00000ea0: SHL 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: PUSH1 0x20 00000ea5: PUSH1 0x04 00000ea7: DUP3 00000ea8: ADD 00000ea9: MSTORE 00000eaa: PUSH1 0x16 00000eac: PUSH1 0x24 00000eae: DUP3 00000eaf: ADD 00000eb0: MSTORE 00000eb1: PUSH32 0x436c61696d2064617461206e6f74207369676e65642e00000000000000000000 00000ed2: PUSH1 0x44 00000ed4: DUP3 00000ed5: ADD 00000ed6: MSTORE 00000ed7: PUSH1 0x64 00000ed9: ADD 00000eda: PUSH2 0x04d6 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH1 0x40 00000ee1: DUP1 00000ee2: MLOAD 00000ee3: PUSH1 0xa0 00000ee5: DUP2 00000ee6: ADD 00000ee7: DUP3 00000ee8: MSTORE 00000ee9: DUP4 00000eea: SLOAD 00000eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f00: AND 00000f01: DUP2 00000f02: MSTORE 00000f03: PUSH1 0x01 00000f05: DUP5 00000f06: ADD 00000f07: SLOAD 00000f08: PUSH16 0xffffffffffffffffffffffffffffffff 00000f19: DUP2 00000f1a: AND 00000f1b: PUSH1 0x20 00000f1d: DUP4 00000f1e: ADD 00000f1f: DUP2 00000f20: SWAP1 00000f21: MSTORE 00000f22: PUSH8 0xffffffffffffffff 00000f2b: PUSH17 0x0100000000000000000000000000000000 00000f3d: DUP4 00000f3e: DIV 00000f3f: AND 00000f40: SWAP4 00000f41: DUP4 00000f42: ADD 00000f43: SWAP4 00000f44: SWAP1 00000f45: SWAP4 00000f46: MSTORE 00000f47: PUSH1 0xff 00000f49: PUSH25 0x01000000000000000000000000000000000000000000000000 00000f63: DUP3 00000f64: DIV 00000f65: DUP2 00000f66: AND 00000f67: ISZERO 00000f68: ISZERO 00000f69: PUSH1 0x60 00000f6b: DUP5 00000f6c: ADD 00000f6d: MSTORE 00000f6e: PUSH26 0x0100000000000000000000000000000000000000000000000000 00000f89: SWAP1 00000f8a: SWAP2 00000f8b: DIV 00000f8c: AND 00000f8d: ISZERO 00000f8e: ISZERO 00000f8f: PUSH1 0x80 00000f91: SWAP1 00000f92: SWAP2 00000f93: ADD 00000f94: MSTORE 00000f95: PUSH1 0x00 00000f97: SWAP1 00000f98: PUSH2 0x1033 00000f9b: JUMPI 00000f9c: PUSH1 0x02 00000f9e: SLOAD 00000f9f: PUSH1 0x40 00000fa1: MLOAD 00000fa2: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x04 00000fc7: DUP2 00000fc8: ADD 00000fc9: DUP10 00000fca: SWAP1 00000fcb: MSTORE 00000fcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe1: SWAP1 00000fe2: SWAP2 00000fe3: AND 00000fe4: SWAP1 00000fe5: PUSH4 0x6352211e 00000fea: SWAP1 00000feb: PUSH1 0x24 00000fed: ADD 00000fee: PUSH1 0x20 00000ff0: PUSH1 0x40 00000ff2: MLOAD 00000ff3: DUP1 00000ff4: DUP4 00000ff5: SUB 00000ff6: DUP2 00000ff7: DUP7 00000ff8: GAS 00000ff9: STATICCALL 00000ffa: ISZERO 00000ffb: DUP1 00000ffc: ISZERO 00000ffd: PUSH2 0x100a 00001000: JUMPI 00001001: RETURNDATASIZE 00001002: PUSH1 0x00 00001004: DUP1 00001005: RETURNDATACOPY 00001006: RETURNDATASIZE 00001007: PUSH1 0x00 00001009: REVERT 0000100a: JUMPDEST 0000100b: POP 0000100c: POP 0000100d: POP 0000100e: POP 0000100f: PUSH1 0x40 00001011: MLOAD 00001012: RETURNDATASIZE 00001013: PUSH1 0x1f 00001015: NOT 00001016: PUSH1 0x1f 00001018: DUP3 00001019: ADD 0000101a: AND 0000101b: DUP3 0000101c: ADD 0000101d: DUP1 0000101e: PUSH1 0x40 00001020: MSTORE 00001021: POP 00001022: DUP2 00001023: ADD 00001024: SWAP1 00001025: PUSH2 0x102e 00001028: SWAP2 00001029: SWAP1 0000102a: PUSH2 0x246c 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH2 0x104c 00001032: JUMP 00001033: JUMPDEST 00001034: DUP3 00001035: SLOAD 00001036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000104b: AND 0000104c: JUMPDEST 0000104d: SWAP1 0000104e: POP 0000104f: CALLER 00001050: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001065: DUP3 00001066: AND 00001067: EQ 00001068: PUSH2 0x10b3 0000106b: JUMPI 0000106c: PUSH1 0x40 0000106e: MLOAD 0000106f: PUSH3 0x461bcd 00001073: PUSH1 0xe5 00001075: SHL 00001076: DUP2 00001077: MSTORE 00001078: PUSH1 0x20 0000107a: PUSH1 0x04 0000107c: DUP3 0000107d: ADD 0000107e: MSTORE 0000107f: PUSH1 0x15 00001081: PUSH1 0x24 00001083: DUP3 00001084: ADD 00001085: MSTORE 00001086: PUSH32 0x4e6f7420616c6c6f77656420746f20636c61696d2e0000000000000000000000 000010a7: PUSH1 0x44 000010a9: DUP3 000010aa: ADD 000010ab: MSTORE 000010ac: PUSH1 0x64 000010ae: ADD 000010af: PUSH2 0x04d6 000010b2: JUMP 000010b3: JUMPDEST 000010b4: PUSH1 0x03 000010b6: SLOAD 000010b7: PUSH1 0x40 000010b9: MLOAD 000010ba: PUSH32 0xd3fc986400000000000000000000000000000000000000000000000000000000 000010db: DUP2 000010dc: MSTORE 000010dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f2: SWAP1 000010f3: SWAP2 000010f4: AND 000010f5: SWAP1 000010f6: PUSH4 0xd3fc9864 000010fb: SWAP1 000010fc: PUSH2 0x110d 000010ff: SWAP1 00001100: DUP5 00001101: SWAP1 00001102: DUP11 00001103: SWAP1 00001104: DUP11 00001105: SWAP1 00001106: PUSH1 0x04 00001108: ADD 00001109: PUSH2 0x2489 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH1 0x00 00001110: PUSH1 0x40 00001112: MLOAD 00001113: DUP1 00001114: DUP4 00001115: SUB 00001116: DUP2 00001117: PUSH1 0x00 00001119: DUP8 0000111a: DUP1 0000111b: EXTCODESIZE 0000111c: ISZERO 0000111d: DUP1 0000111e: ISZERO 0000111f: PUSH2 0x1127 00001122: JUMPI 00001123: PUSH1 0x00 00001125: DUP1 00001126: REVERT 00001127: JUMPDEST 00001128: POP 00001129: GAS 0000112a: CALL 0000112b: ISZERO 0000112c: DUP1 0000112d: ISZERO 0000112e: PUSH2 0x113b 00001131: JUMPI 00001132: RETURNDATASIZE 00001133: PUSH1 0x00 00001135: DUP1 00001136: RETURNDATACOPY 00001137: RETURNDATASIZE 00001138: PUSH1 0x00 0000113a: REVERT 0000113b: JUMPDEST 0000113c: POP 0000113d: POP 0000113e: POP 0000113f: PUSH1 0x01 00001141: DUP5 00001142: ADD 00001143: SLOAD 00001144: PUSH1 0x00 00001146: SWAP2 00001147: POP 00001148: PUSH2 0x1165 0000114b: SWAP1 0000114c: PUSH1 0x02 0000114e: SWAP1 0000114f: PUSH16 0xffffffffffffffffffffffffffffffff 00001160: AND 00001161: PUSH2 0x24f6 00001164: JUMP 00001165: JUMPDEST 00001166: PUSH16 0xffffffffffffffffffffffffffffffff 00001177: AND 00001178: SWAP1 00001179: POP 0000117a: PUSH2 0x1198 0000117d: PUSH1 0x00 0000117f: SLOAD 00001180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001195: AND 00001196: SWAP1 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH1 0x01 0000119b: DUP6 0000119c: ADD 0000119d: SLOAD 0000119e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b3: SWAP2 000011b4: SWAP1 000011b5: SWAP2 000011b6: AND 000011b7: SWAP1 000011b8: PUSH2 0x08fc 000011bb: SWAP1 000011bc: PUSH2 0x11d8 000011bf: SWAP1 000011c0: DUP5 000011c1: SWAP1 000011c2: PUSH16 0xffffffffffffffffffffffffffffffff 000011d3: AND 000011d4: PUSH2 0x254c 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x40 000011db: MLOAD 000011dc: DUP2 000011dd: ISZERO 000011de: SWAP1 000011df: SWAP3 000011e0: MUL 000011e1: SWAP2 000011e2: PUSH1 0x00 000011e4: DUP2 000011e5: DUP2 000011e6: DUP2 000011e7: DUP6 000011e8: DUP9 000011e9: DUP9 000011ea: CALL 000011eb: SWAP4 000011ec: POP 000011ed: POP 000011ee: POP 000011ef: POP 000011f0: ISZERO 000011f1: DUP1 000011f2: ISZERO 000011f3: PUSH2 0x1200 000011f6: JUMPI 000011f7: RETURNDATASIZE 000011f8: PUSH1 0x00 000011fa: DUP1 000011fb: RETURNDATACOPY 000011fc: RETURNDATASIZE 000011fd: PUSH1 0x00 000011ff: REVERT 00001200: JUMPDEST 00001201: POP 00001202: POP 00001203: POP 00001204: POP 00001205: PUSH1 0x01 00001207: ADD 00001208: DUP1 00001209: SLOAD 0000120a: PUSH32 0xffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffff 0000122b: AND 0000122c: PUSH26 0x0100000000000000000000000000000000000000000000000000 00001247: OR 00001248: SWAP1 00001249: SSTORE 0000124a: POP 0000124b: POP 0000124c: POP 0000124d: POP 0000124e: JUMP 0000124f: JUMPDEST 00001250: PUSH1 0x00 00001252: SLOAD 00001253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001268: AND 00001269: CALLER 0000126a: EQ 0000126b: PUSH2 0x12b6 0000126e: JUMPI 0000126f: PUSH1 0x40 00001271: MLOAD 00001272: PUSH3 0x461bcd 00001276: PUSH1 0xe5 00001278: SHL 00001279: DUP2 0000127a: MSTORE 0000127b: PUSH1 0x20 0000127d: PUSH1 0x04 0000127f: DUP3 00001280: ADD 00001281: DUP2 00001282: SWAP1 00001283: MSTORE 00001284: PUSH1 0x24 00001286: DUP3 00001287: ADD 00001288: MSTORE 00001289: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000012aa: PUSH1 0x44 000012ac: DUP3 000012ad: ADD 000012ae: MSTORE 000012af: PUSH1 0x64 000012b1: ADD 000012b2: PUSH2 0x04d6 000012b5: JUMP 000012b6: JUMPDEST 000012b7: PUSH2 0x12c0 000012ba: PUSH1 0x00 000012bc: PUSH2 0x1c0b 000012bf: JUMP 000012c0: JUMPDEST 000012c1: JUMP 000012c2: JUMPDEST 000012c3: PUSH1 0x00 000012c5: DUP1 000012c6: JUMPDEST 000012c7: DUP3 000012c8: MLOAD 000012c9: DUP2 000012ca: LT 000012cb: ISZERO 000012cc: PUSH2 0x1647 000012cf: JUMPI 000012d0: PUSH1 0x00 000012d2: DUP4 000012d3: DUP3 000012d4: DUP2 000012d5: MLOAD 000012d6: DUP2 000012d7: LT 000012d8: PUSH2 0x12e3 000012db: JUMPI 000012dc: PUSH2 0x12e3 000012df: PUSH2 0x2563 000012e2: JUMP 000012e3: JUMPDEST 000012e4: PUSH1 0x20 000012e6: SWAP1 000012e7: DUP2 000012e8: MUL 000012e9: SWAP2 000012ea: SWAP1 000012eb: SWAP2 000012ec: ADD 000012ed: DUP2 000012ee: ADD 000012ef: MLOAD 000012f0: PUSH1 0x00 000012f2: DUP2 000012f3: DUP2 000012f4: MSTORE 000012f5: PUSH1 0x05 000012f7: SWAP1 000012f8: SWAP3 000012f9: MSTORE 000012fa: PUSH1 0x40 000012fc: SWAP1 000012fd: SWAP2 000012fe: KECCAK256 000012ff: PUSH1 0x01 00001301: DUP2 00001302: ADD 00001303: SLOAD 00001304: SWAP2 00001305: SWAP3 00001306: POP 00001307: SWAP1 00001308: PUSH25 0x01000000000000000000000000000000000000000000000000 00001322: SWAP1 00001323: DIV 00001324: PUSH1 0xff 00001326: AND 00001327: ISZERO 00001328: PUSH2 0x1373 0000132b: JUMPI 0000132c: PUSH1 0x40 0000132e: MLOAD 0000132f: PUSH3 0x461bcd 00001333: PUSH1 0xe5 00001335: SHL 00001336: DUP2 00001337: MSTORE 00001338: PUSH1 0x20 0000133a: PUSH1 0x04 0000133c: DUP3 0000133d: ADD 0000133e: MSTORE 0000133f: PUSH1 0x1f 00001341: PUSH1 0x24 00001343: DUP3 00001344: ADD 00001345: MSTORE 00001346: PUSH32 0x41756374696f6e207265776172647320616c726561647920636c61696d656400 00001367: PUSH1 0x44 00001369: DUP3 0000136a: ADD 0000136b: MSTORE 0000136c: PUSH1 0x64 0000136e: ADD 0000136f: PUSH2 0x04d6 00001372: JUMP 00001373: JUMPDEST 00001374: PUSH1 0x01 00001376: DUP2 00001377: ADD 00001378: SLOAD 00001379: TIMESTAMP 0000137a: PUSH17 0x0100000000000000000000000000000000 0000138c: SWAP1 0000138d: SWAP2 0000138e: DIV 0000138f: PUSH8 0xffffffffffffffff 00001398: AND 00001399: LT 0000139a: DUP1 0000139b: ISZERO 0000139c: PUSH2 0x13c6 0000139f: JUMPI 000013a0: POP 000013a1: PUSH1 0x01 000013a3: DUP2 000013a4: ADD 000013a5: SLOAD 000013a6: PUSH17 0x0100000000000000000000000000000000 000013b8: SWAP1 000013b9: DIV 000013ba: PUSH8 0xffffffffffffffff 000013c3: AND 000013c4: ISZERO 000013c5: ISZERO 000013c6: JUMPDEST 000013c7: PUSH2 0x1412 000013ca: JUMPI 000013cb: PUSH1 0x40 000013cd: MLOAD 000013ce: PUSH3 0x461bcd 000013d2: PUSH1 0xe5 000013d4: SHL 000013d5: DUP2 000013d6: MSTORE 000013d7: PUSH1 0x20 000013d9: PUSH1 0x04 000013db: DUP3 000013dc: ADD 000013dd: MSTORE 000013de: PUSH1 0x14 000013e0: PUSH1 0x24 000013e2: DUP3 000013e3: ADD 000013e4: MSTORE 000013e5: PUSH32 0x41756374696f6e206e6f7420636f6d706c657465000000000000000000000000 00001406: PUSH1 0x44 00001408: DUP3 00001409: ADD 0000140a: MSTORE 0000140b: PUSH1 0x64 0000140d: ADD 0000140e: PUSH2 0x04d6 00001411: JUMP 00001412: JUMPDEST 00001413: PUSH1 0x01 00001415: DUP2 00001416: ADD 00001417: SLOAD 00001418: PUSH4 0x01e13380 0000141d: SWAP1 0000141e: TIMESTAMP 0000141f: SWAP1 00001420: PUSH2 0x1448 00001423: SWAP1 00001424: DUP4 00001425: SWAP1 00001426: PUSH17 0x0100000000000000000000000000000000 00001438: SWAP1 00001439: DIV 0000143a: PUSH8 0xffffffffffffffff 00001443: AND 00001444: PUSH2 0x2592 00001447: JUMP 00001448: JUMPDEST 00001449: PUSH8 0xffffffffffffffff 00001452: AND 00001453: GT 00001454: ISZERO 00001455: PUSH2 0x1559 00001458: JUMPI 00001459: PUSH1 0x02 0000145b: SLOAD 0000145c: PUSH1 0x40 0000145e: MLOAD 0000145f: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 00001480: DUP2 00001481: MSTORE 00001482: PUSH1 0x04 00001484: DUP2 00001485: ADD 00001486: DUP6 00001487: SWAP1 00001488: MSTORE 00001489: PUSH1 0x00 0000148b: SWAP2 0000148c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a1: AND 000014a2: SWAP1 000014a3: PUSH4 0x6352211e 000014a8: SWAP1 000014a9: PUSH1 0x24 000014ab: ADD 000014ac: PUSH1 0x20 000014ae: PUSH1 0x40 000014b0: MLOAD 000014b1: DUP1 000014b2: DUP4 000014b3: SUB 000014b4: DUP2 000014b5: DUP7 000014b6: GAS 000014b7: STATICCALL 000014b8: ISZERO 000014b9: DUP1 000014ba: ISZERO 000014bb: PUSH2 0x14c8 000014be: JUMPI 000014bf: RETURNDATASIZE 000014c0: PUSH1 0x00 000014c2: DUP1 000014c3: RETURNDATACOPY 000014c4: RETURNDATASIZE 000014c5: PUSH1 0x00 000014c7: REVERT 000014c8: JUMPDEST 000014c9: POP 000014ca: POP 000014cb: POP 000014cc: POP 000014cd: PUSH1 0x40 000014cf: MLOAD 000014d0: RETURNDATASIZE 000014d1: PUSH1 0x1f 000014d3: NOT 000014d4: PUSH1 0x1f 000014d6: DUP3 000014d7: ADD 000014d8: AND 000014d9: DUP3 000014da: ADD 000014db: DUP1 000014dc: PUSH1 0x40 000014de: MSTORE 000014df: POP 000014e0: DUP2 000014e1: ADD 000014e2: SWAP1 000014e3: PUSH2 0x14ec 000014e6: SWAP2 000014e7: SWAP1 000014e8: PUSH2 0x246c 000014eb: JUMP 000014ec: JUMPDEST 000014ed: SWAP1 000014ee: POP 000014ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001504: DUP2 00001505: AND 00001506: CALLER 00001507: EQ 00001508: PUSH2 0x1553 0000150b: JUMPI 0000150c: PUSH1 0x40 0000150e: MLOAD 0000150f: PUSH3 0x461bcd 00001513: PUSH1 0xe5 00001515: SHL 00001516: DUP2 00001517: MSTORE 00001518: PUSH1 0x20 0000151a: PUSH1 0x04 0000151c: DUP3 0000151d: ADD 0000151e: MSTORE 0000151f: PUSH1 0x17 00001521: PUSH1 0x24 00001523: DUP3 00001524: ADD 00001525: MSTORE 00001526: PUSH32 0x4e6f7420656c696769626c6520666f7220726577617264000000000000000000 00001547: PUSH1 0x44 00001549: DUP3 0000154a: ADD 0000154b: MSTORE 0000154c: PUSH1 0x64 0000154e: ADD 0000154f: PUSH2 0x04d6 00001552: JUMP 00001553: JUMPDEST 00001554: POP 00001555: PUSH2 0x15c0 00001558: JUMP 00001559: JUMPDEST 0000155a: PUSH1 0x00 0000155c: SLOAD 0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001572: AND 00001573: CALLER 00001574: EQ 00001575: PUSH2 0x15c0 00001578: JUMPI 00001579: PUSH1 0x40 0000157b: MLOAD 0000157c: PUSH3 0x461bcd 00001580: PUSH1 0xe5 00001582: SHL 00001583: DUP2 00001584: MSTORE 00001585: PUSH1 0x20 00001587: PUSH1 0x04 00001589: DUP3 0000158a: ADD 0000158b: MSTORE 0000158c: PUSH1 0x17 0000158e: PUSH1 0x24 00001590: DUP3 00001591: ADD 00001592: MSTORE 00001593: PUSH32 0x4e6f7420656c696769626c6520666f7220726577617264000000000000000000 000015b4: PUSH1 0x44 000015b6: DUP3 000015b7: ADD 000015b8: MSTORE 000015b9: PUSH1 0x64 000015bb: ADD 000015bc: PUSH2 0x04d6 000015bf: JUMP 000015c0: JUMPDEST 000015c1: PUSH1 0x01 000015c3: DUP3 000015c4: ADD 000015c5: DUP1 000015c6: SLOAD 000015c7: PUSH32 0xffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffffff 000015e8: DUP2 000015e9: AND 000015ea: PUSH25 0x01000000000000000000000000000000000000000000000000 00001604: OR 00001605: SWAP1 00001606: SWAP2 00001607: SSTORE 00001608: PUSH2 0x1625 0000160b: SWAP1 0000160c: PUSH1 0x02 0000160e: SWAP1 0000160f: PUSH16 0xffffffffffffffffffffffffffffffff 00001620: AND 00001621: PUSH2 0x24f6 00001624: JUMP 00001625: JUMPDEST 00001626: PUSH2 0x162f 00001629: SWAP1 0000162a: DUP7 0000162b: PUSH2 0x25be 0000162e: JUMP 0000162f: JUMPDEST 00001630: SWAP5 00001631: POP 00001632: POP 00001633: POP 00001634: POP 00001635: DUP1 00001636: DUP1 00001637: PUSH2 0x163f 0000163a: SWAP1 0000163b: PUSH2 0x25e9 0000163e: JUMP 0000163f: JUMPDEST 00001640: SWAP2 00001641: POP 00001642: POP 00001643: PUSH2 0x12c6 00001646: JUMP 00001647: JUMPDEST 00001648: POP 00001649: PUSH1 0x40 0000164b: MLOAD 0000164c: CALLER 0000164d: SWAP1 0000164e: PUSH16 0xffffffffffffffffffffffffffffffff 0000165f: DUP4 00001660: AND 00001661: DUP1 00001662: ISZERO 00001663: PUSH2 0x08fc 00001666: MUL 00001667: SWAP2 00001668: PUSH1 0x00 0000166a: DUP2 0000166b: DUP2 0000166c: DUP2 0000166d: DUP6 0000166e: DUP9 0000166f: DUP9 00001670: CALL 00001671: SWAP4 00001672: POP 00001673: POP 00001674: POP 00001675: POP 00001676: ISZERO 00001677: DUP1 00001678: ISZERO 00001679: PUSH2 0x1686 0000167c: JUMPI 0000167d: RETURNDATASIZE 0000167e: PUSH1 0x00 00001680: DUP1 00001681: RETURNDATACOPY 00001682: RETURNDATASIZE 00001683: PUSH1 0x00 00001685: REVERT 00001686: JUMPDEST 00001687: POP 00001688: POP 00001689: POP 0000168a: JUMP 0000168b: JUMPDEST 0000168c: PUSH1 0x00 0000168e: SLOAD 0000168f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a4: AND 000016a5: CALLER 000016a6: EQ 000016a7: PUSH2 0x16f2 000016aa: JUMPI 000016ab: PUSH1 0x40 000016ad: MLOAD 000016ae: PUSH3 0x461bcd 000016b2: PUSH1 0xe5 000016b4: SHL 000016b5: DUP2 000016b6: MSTORE 000016b7: PUSH1 0x20 000016b9: PUSH1 0x04 000016bb: DUP3 000016bc: ADD 000016bd: DUP2 000016be: SWAP1 000016bf: MSTORE 000016c0: PUSH1 0x24 000016c2: DUP3 000016c3: ADD 000016c4: MSTORE 000016c5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000016e6: PUSH1 0x44 000016e8: DUP3 000016e9: ADD 000016ea: MSTORE 000016eb: PUSH1 0x64 000016ed: ADD 000016ee: PUSH2 0x04d6 000016f1: JUMP 000016f2: JUMPDEST 000016f3: PUSH1 0x04 000016f5: DUP1 000016f6: SLOAD 000016f7: PUSH8 0xffffffffffffffff 00001700: SWAP1 00001701: SWAP3 00001702: AND 00001703: PUSH17 0x0100000000000000000000000000000000 00001715: MUL 00001716: PUSH32 0xffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff 00001737: SWAP1 00001738: SWAP3 00001739: AND 0000173a: SWAP2 0000173b: SWAP1 0000173c: SWAP2 0000173d: OR 0000173e: SWAP1 0000173f: SSTORE 00001740: JUMP 00001741: JUMPDEST 00001742: PUSH1 0x00 00001744: DUP2 00001745: DUP2 00001746: MSTORE 00001747: PUSH1 0x05 00001749: PUSH1 0x20 0000174b: SWAP1 0000174c: DUP2 0000174d: MSTORE 0000174e: PUSH1 0x40 00001750: DUP1 00001751: DUP4 00001752: KECCAK256 00001753: DUP2 00001754: MLOAD 00001755: PUSH1 0xa0 00001757: DUP2 00001758: ADD 00001759: DUP4 0000175a: MSTORE 0000175b: DUP2 0000175c: SLOAD 0000175d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001772: AND 00001773: DUP2 00001774: MSTORE 00001775: PUSH1 0x01 00001777: SWAP1 00001778: SWAP2 00001779: ADD 0000177a: SLOAD 0000177b: PUSH16 0xffffffffffffffffffffffffffffffff 0000178c: DUP2 0000178d: AND 0000178e: SWAP4 0000178f: DUP3 00001790: ADD 00001791: SWAP4 00001792: SWAP1 00001793: SWAP4 00001794: MSTORE 00001795: PUSH8 0xffffffffffffffff 0000179e: PUSH17 0x0100000000000000000000000000000000 000017b0: DUP5 000017b1: DIV 000017b2: AND 000017b3: SWAP2 000017b4: DUP2 000017b5: ADD 000017b6: SWAP2 000017b7: SWAP1 000017b8: SWAP2 000017b9: MSTORE 000017ba: PUSH1 0xff 000017bc: PUSH25 0x01000000000000000000000000000000000000000000000000 000017d6: DUP4 000017d7: DIV 000017d8: DUP2 000017d9: AND 000017da: ISZERO 000017db: ISZERO 000017dc: PUSH1 0x60 000017de: DUP4 000017df: ADD 000017e0: MSTORE 000017e1: PUSH26 0x0100000000000000000000000000000000000000000000000000 000017fc: SWAP1 000017fd: SWAP3 000017fe: DIV 000017ff: SWAP1 00001800: SWAP2 00001801: AND 00001802: ISZERO 00001803: ISZERO 00001804: PUSH1 0x80 00001806: DUP3 00001807: ADD 00001808: MSTORE 00001809: PUSH2 0x1811 0000180c: SWAP1 0000180d: PUSH2 0x1b07 00001810: JUMP 00001811: JUMPDEST 00001812: SWAP3 00001813: SWAP2 00001814: POP 00001815: POP 00001816: JUMP 00001817: JUMPDEST 00001818: PUSH1 0x00 0000181a: SLOAD 0000181b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001830: AND 00001831: CALLER 00001832: EQ 00001833: PUSH2 0x187e 00001836: JUMPI 00001837: PUSH1 0x40 00001839: MLOAD 0000183a: PUSH3 0x461bcd 0000183e: PUSH1 0xe5 00001840: SHL 00001841: DUP2 00001842: MSTORE 00001843: PUSH1 0x20 00001845: PUSH1 0x04 00001847: DUP3 00001848: ADD 00001849: DUP2 0000184a: SWAP1 0000184b: MSTORE 0000184c: PUSH1 0x24 0000184e: DUP3 0000184f: ADD 00001850: MSTORE 00001851: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001872: PUSH1 0x44 00001874: DUP3 00001875: ADD 00001876: MSTORE 00001877: PUSH1 0x64 00001879: ADD 0000187a: PUSH2 0x04d6 0000187d: JUMP 0000187e: JUMPDEST 0000187f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001894: DUP2 00001895: AND 00001896: PUSH2 0x1907 00001899: JUMPI 0000189a: PUSH1 0x40 0000189c: MLOAD 0000189d: PUSH3 0x461bcd 000018a1: PUSH1 0xe5 000018a3: SHL 000018a4: DUP2 000018a5: MSTORE 000018a6: PUSH1 0x20 000018a8: PUSH1 0x04 000018aa: DUP3 000018ab: ADD 000018ac: MSTORE 000018ad: PUSH1 0x26 000018af: PUSH1 0x24 000018b1: DUP3 000018b2: ADD 000018b3: MSTORE 000018b4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000018d5: PUSH1 0x44 000018d7: DUP3 000018d8: ADD 000018d9: MSTORE 000018da: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000018fb: PUSH1 0x64 000018fd: DUP3 000018fe: ADD 000018ff: MSTORE 00001900: PUSH1 0x84 00001902: ADD 00001903: PUSH2 0x04d6 00001906: JUMP 00001907: JUMPDEST 00001908: PUSH2 0x1910 0000190b: DUP2 0000190c: PUSH2 0x1c0b 0000190f: JUMP 00001910: JUMPDEST 00001911: POP 00001912: JUMP 00001913: JUMPDEST 00001914: PUSH1 0x00 00001916: SLOAD 00001917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192c: AND 0000192d: CALLER 0000192e: EQ 0000192f: PUSH2 0x197a 00001932: JUMPI 00001933: PUSH1 0x40 00001935: MLOAD 00001936: PUSH3 0x461bcd 0000193a: PUSH1 0xe5 0000193c: SHL 0000193d: DUP2 0000193e: MSTORE 0000193f: PUSH1 0x20 00001941: PUSH1 0x04 00001943: DUP3 00001944: ADD 00001945: DUP2 00001946: SWAP1 00001947: MSTORE 00001948: PUSH1 0x24 0000194a: DUP3 0000194b: ADD 0000194c: MSTORE 0000194d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000196e: PUSH1 0x44 00001970: DUP3 00001971: ADD 00001972: MSTORE 00001973: PUSH1 0x64 00001975: ADD 00001976: PUSH2 0x04d6 00001979: JUMP 0000197a: JUMPDEST 0000197b: PUSH1 0x04 0000197d: DUP1 0000197e: SLOAD 0000197f: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 000019a0: AND 000019a1: PUSH16 0xffffffffffffffffffffffffffffffff 000019b2: SWAP3 000019b3: SWAP1 000019b4: SWAP3 000019b5: AND 000019b6: SWAP2 000019b7: SWAP1 000019b8: SWAP2 000019b9: OR 000019ba: SWAP1 000019bb: SSTORE 000019bc: JUMP 000019bd: JUMPDEST 000019be: PUSH1 0x00 000019c0: DUP1 000019c1: PUSH1 0x00 000019c3: PUSH2 0x19cc 000019c6: DUP6 000019c7: DUP6 000019c8: PUSH2 0x1c80 000019cb: JUMP 000019cc: JUMPDEST 000019cd: SWAP2 000019ce: POP 000019cf: SWAP2 000019d0: POP 000019d1: PUSH2 0x19d9 000019d4: DUP2 000019d5: PUSH2 0x1cf0 000019d8: JUMP 000019d9: JUMPDEST 000019da: POP 000019db: SWAP4 000019dc: SWAP3 000019dd: POP 000019de: POP 000019df: POP 000019e0: JUMP 000019e1: JUMPDEST 000019e2: PUSH1 0x04 000019e4: SLOAD 000019e5: PUSH1 0x01 000019e7: DUP3 000019e8: ADD 000019e9: SLOAD 000019ea: PUSH1 0x00 000019ec: SWAP2 000019ed: PUSH2 0x1a34 000019f0: SWAP2 000019f1: PUSH8 0xffffffffffffffff 000019fa: PUSH25 0x01000000000000000000000000000000000000000000000000 00001a14: SWAP1 00001a15: SWAP3 00001a16: DIV 00001a17: DUP3 00001a18: AND 00001a19: SWAP2 00001a1a: PUSH17 0x0100000000000000000000000000000000 00001a2c: SWAP1 00001a2d: SWAP2 00001a2e: DIV 00001a2f: AND 00001a30: PUSH2 0x2622 00001a33: JUMP 00001a34: JUMPDEST 00001a35: SWAP1 00001a36: POP 00001a37: TIMESTAMP 00001a38: PUSH8 0xffffffffffffffff 00001a41: DUP1 00001a42: DUP4 00001a43: AND 00001a44: SWAP1 00001a45: DUP3 00001a46: AND 00001a47: GT 00001a48: ISZERO 00001a49: PUSH2 0x1b01 00001a4c: JUMPI 00001a4d: PUSH1 0x04 00001a4f: SLOAD 00001a50: PUSH2 0x1a7f 00001a53: SWAP1 00001a54: PUSH25 0x01000000000000000000000000000000000000000000000000 00001a6e: SWAP1 00001a6f: DIV 00001a70: PUSH8 0xffffffffffffffff 00001a79: AND 00001a7a: DUP3 00001a7b: PUSH2 0x2592 00001a7e: JUMP 00001a7f: JUMPDEST 00001a80: PUSH1 0x01 00001a82: DUP5 00001a83: ADD 00001a84: DUP1 00001a85: SLOAD 00001a86: PUSH32 0xffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff 00001aa7: AND 00001aa8: PUSH17 0x0100000000000000000000000000000000 00001aba: PUSH8 0xffffffffffffffff 00001ac3: SWAP4 00001ac4: DUP5 00001ac5: AND 00001ac6: DUP2 00001ac7: MUL 00001ac8: SWAP2 00001ac9: SWAP1 00001aca: SWAP2 00001acb: OR 00001acc: SWAP2 00001acd: DUP3 00001ace: SWAP1 00001acf: SSTORE 00001ad0: PUSH1 0x40 00001ad2: MLOAD 00001ad3: SWAP2 00001ad4: DIV 00001ad5: SWAP1 00001ad6: SWAP2 00001ad7: AND 00001ad8: SWAP1 00001ad9: DUP6 00001ada: SWAP1 00001adb: PUSH32 0x6e912a3a9105bdd2af817ba5adc14e6c127c1035b5b648faa29ca0d58ab8ff4e 00001afc: SWAP1 00001afd: PUSH1 0x00 00001aff: SWAP1 00001b00: LOG3 00001b01: JUMPDEST 00001b02: POP 00001b03: POP 00001b04: POP 00001b05: POP 00001b06: JUMP 00001b07: JUMPDEST 00001b08: PUSH1 0x00 00001b0a: PUSH2 0x1b28 00001b0d: DUP3 00001b0e: PUSH1 0x20 00001b10: ADD 00001b11: MLOAD 00001b12: PUSH16 0xffffffffffffffffffffffffffffffff 00001b23: AND 00001b24: ISZERO 00001b25: ISZERO 00001b26: SWAP1 00001b27: JUMP 00001b28: JUMPDEST 00001b29: PUSH2 0x1b46 00001b2c: JUMPI 00001b2d: POP 00001b2e: POP 00001b2f: PUSH1 0x04 00001b31: SLOAD 00001b32: PUSH16 0xffffffffffffffffffffffffffffffff 00001b43: AND 00001b44: SWAP1 00001b45: JUMP 00001b46: JUMPDEST 00001b47: PUSH1 0x04 00001b49: SLOAD 00001b4a: PUSH1 0x00 00001b4c: SWAP1 00001b4d: PUSH2 0x2710 00001b50: SWAP1 00001b51: PUSH2 0x1b78 00001b54: SWAP1 00001b55: PUSH17 0x0100000000000000000000000000000000 00001b67: SWAP1 00001b68: DIV 00001b69: PUSH8 0xffffffffffffffff 00001b72: AND 00001b73: DUP3 00001b74: PUSH2 0x2592 00001b77: JUMP 00001b78: JUMPDEST 00001b79: PUSH8 0xffffffffffffffff 00001b82: AND 00001b83: DUP5 00001b84: PUSH1 0x20 00001b86: ADD 00001b87: MLOAD 00001b88: PUSH2 0x1b91 00001b8b: SWAP2 00001b8c: SWAP1 00001b8d: PUSH2 0x264b 00001b90: JUMP 00001b91: JUMPDEST 00001b92: PUSH2 0x1b9b 00001b95: SWAP2 00001b96: SWAP1 00001b97: PUSH2 0x24f6 00001b9a: JUMP 00001b9b: JUMPDEST 00001b9c: PUSH1 0x04 00001b9e: SLOAD 00001b9f: PUSH1 0x20 00001ba1: DUP6 00001ba2: ADD 00001ba3: MLOAD 00001ba4: SWAP2 00001ba5: SWAP3 00001ba6: POP 00001ba7: PUSH16 0xffffffffffffffffffffffffffffffff 00001bb8: AND 00001bb9: SWAP1 00001bba: PUSH2 0x1bc3 00001bbd: SWAP1 00001bbe: DUP4 00001bbf: PUSH2 0x2683 00001bc2: JUMP 00001bc3: JUMPDEST 00001bc4: PUSH16 0xffffffffffffffffffffffffffffffff 00001bd5: AND 00001bd6: LT 00001bd7: PUSH2 0x1be0 00001bda: JUMPI 00001bdb: DUP1 00001bdc: PUSH2 0x1c04 00001bdf: JUMP 00001be0: JUMPDEST 00001be1: PUSH1 0x04 00001be3: SLOAD 00001be4: PUSH1 0x20 00001be6: DUP5 00001be7: ADD 00001be8: MLOAD 00001be9: PUSH2 0x1c04 00001bec: SWAP2 00001bed: PUSH16 0xffffffffffffffffffffffffffffffff 00001bfe: AND 00001bff: SWAP1 00001c00: PUSH2 0x25be 00001c03: JUMP 00001c04: JUMPDEST 00001c05: SWAP4 00001c06: SWAP3 00001c07: POP 00001c08: POP 00001c09: POP 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: PUSH1 0x00 00001c0e: DUP1 00001c0f: SLOAD 00001c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c25: DUP4 00001c26: DUP2 00001c27: AND 00001c28: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001c49: DUP4 00001c4a: AND 00001c4b: DUP2 00001c4c: OR 00001c4d: DUP5 00001c4e: SSTORE 00001c4f: PUSH1 0x40 00001c51: MLOAD 00001c52: SWAP2 00001c53: SWAP1 00001c54: SWAP3 00001c55: AND 00001c56: SWAP3 00001c57: DUP4 00001c58: SWAP2 00001c59: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001c7a: SWAP2 00001c7b: SWAP1 00001c7c: LOG3 00001c7d: POP 00001c7e: POP 00001c7f: JUMP 00001c80: JUMPDEST 00001c81: PUSH1 0x00 00001c83: DUP1 00001c84: DUP3 00001c85: MLOAD 00001c86: PUSH1 0x41 00001c88: EQ 00001c89: ISZERO 00001c8a: PUSH2 0x1cb7 00001c8d: JUMPI 00001c8e: PUSH1 0x20 00001c90: DUP4 00001c91: ADD 00001c92: MLOAD 00001c93: PUSH1 0x40 00001c95: DUP5 00001c96: ADD 00001c97: MLOAD 00001c98: PUSH1 0x60 00001c9a: DUP6 00001c9b: ADD 00001c9c: MLOAD 00001c9d: PUSH1 0x00 00001c9f: BYTE 00001ca0: PUSH2 0x1cab 00001ca3: DUP8 00001ca4: DUP3 00001ca5: DUP6 00001ca6: DUP6 00001ca7: PUSH2 0x1ee1 00001caa: JUMP 00001cab: JUMPDEST 00001cac: SWAP5 00001cad: POP 00001cae: SWAP5 00001caf: POP 00001cb0: POP 00001cb1: POP 00001cb2: POP 00001cb3: PUSH2 0x1ce9 00001cb6: JUMP 00001cb7: JUMPDEST 00001cb8: DUP3 00001cb9: MLOAD 00001cba: PUSH1 0x40 00001cbc: EQ 00001cbd: ISZERO 00001cbe: PUSH2 0x1ce1 00001cc1: JUMPI 00001cc2: PUSH1 0x20 00001cc4: DUP4 00001cc5: ADD 00001cc6: MLOAD 00001cc7: PUSH1 0x40 00001cc9: DUP5 00001cca: ADD 00001ccb: MLOAD 00001ccc: PUSH2 0x1cd6 00001ccf: DUP7 00001cd0: DUP4 00001cd1: DUP4 00001cd2: PUSH2 0x1ff9 00001cd5: JUMP 00001cd6: JUMPDEST 00001cd7: SWAP4 00001cd8: POP 00001cd9: SWAP4 00001cda: POP 00001cdb: POP 00001cdc: POP 00001cdd: PUSH2 0x1ce9 00001ce0: JUMP 00001ce1: JUMPDEST 00001ce2: POP 00001ce3: PUSH1 0x00 00001ce5: SWAP1 00001ce6: POP 00001ce7: PUSH1 0x02 00001ce9: JUMPDEST 00001cea: SWAP3 00001ceb: POP 00001cec: SWAP3 00001ced: SWAP1 00001cee: POP 00001cef: JUMP 00001cf0: JUMPDEST 00001cf1: PUSH1 0x00 00001cf3: DUP2 00001cf4: PUSH1 0x04 00001cf6: DUP2 00001cf7: GT 00001cf8: ISZERO 00001cf9: PUSH2 0x1d04 00001cfc: JUMPI 00001cfd: PUSH2 0x1d04 00001d00: PUSH2 0x26ac 00001d03: JUMP 00001d04: JUMPDEST 00001d05: EQ 00001d06: ISZERO 00001d07: PUSH2 0x1d0d 00001d0a: JUMPI 00001d0b: POP 00001d0c: JUMP 00001d0d: JUMPDEST 00001d0e: PUSH1 0x01 00001d10: DUP2 00001d11: PUSH1 0x04 00001d13: DUP2 00001d14: GT 00001d15: ISZERO 00001d16: PUSH2 0x1d21 00001d19: JUMPI 00001d1a: PUSH2 0x1d21 00001d1d: PUSH2 0x26ac 00001d20: JUMP 00001d21: JUMPDEST 00001d22: EQ 00001d23: ISZERO 00001d24: PUSH2 0x1d6f 00001d27: JUMPI 00001d28: PUSH1 0x40 00001d2a: MLOAD 00001d2b: PUSH3 0x461bcd 00001d2f: PUSH1 0xe5 00001d31: SHL 00001d32: DUP2 00001d33: MSTORE 00001d34: PUSH1 0x20 00001d36: PUSH1 0x04 00001d38: DUP3 00001d39: ADD 00001d3a: MSTORE 00001d3b: PUSH1 0x18 00001d3d: PUSH1 0x24 00001d3f: DUP3 00001d40: ADD 00001d41: MSTORE 00001d42: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00001d63: PUSH1 0x44 00001d65: DUP3 00001d66: ADD 00001d67: MSTORE 00001d68: PUSH1 0x64 00001d6a: ADD 00001d6b: PUSH2 0x04d6 00001d6e: JUMP 00001d6f: JUMPDEST 00001d70: PUSH1 0x02 00001d72: DUP2 00001d73: PUSH1 0x04 00001d75: DUP2 00001d76: GT 00001d77: ISZERO 00001d78: PUSH2 0x1d83 00001d7b: JUMPI 00001d7c: PUSH2 0x1d83 00001d7f: PUSH2 0x26ac 00001d82: JUMP 00001d83: JUMPDEST 00001d84: EQ 00001d85: ISZERO 00001d86: PUSH2 0x1dd1 00001d89: JUMPI 00001d8a: PUSH1 0x40 00001d8c: MLOAD 00001d8d: PUSH3 0x461bcd 00001d91: PUSH1 0xe5 00001d93: SHL 00001d94: DUP2 00001d95: MSTORE 00001d96: PUSH1 0x20 00001d98: PUSH1 0x04 00001d9a: DUP3 00001d9b: ADD 00001d9c: MSTORE 00001d9d: PUSH1 0x1f 00001d9f: PUSH1 0x24 00001da1: DUP3 00001da2: ADD 00001da3: MSTORE 00001da4: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00001dc5: PUSH1 0x44 00001dc7: DUP3 00001dc8: ADD 00001dc9: MSTORE 00001dca: PUSH1 0x64 00001dcc: ADD 00001dcd: PUSH2 0x04d6 00001dd0: JUMP 00001dd1: JUMPDEST 00001dd2: PUSH1 0x03 00001dd4: DUP2 00001dd5: PUSH1 0x04 00001dd7: DUP2 00001dd8: GT 00001dd9: ISZERO 00001dda: PUSH2 0x1de5 00001ddd: JUMPI 00001dde: PUSH2 0x1de5 00001de1: PUSH2 0x26ac 00001de4: JUMP 00001de5: JUMPDEST 00001de6: EQ 00001de7: ISZERO 00001de8: PUSH2 0x1e59 00001deb: JUMPI 00001dec: PUSH1 0x40 00001dee: MLOAD 00001def: PUSH3 0x461bcd 00001df3: PUSH1 0xe5 00001df5: SHL 00001df6: DUP2 00001df7: MSTORE 00001df8: PUSH1 0x20 00001dfa: PUSH1 0x04 00001dfc: DUP3 00001dfd: ADD 00001dfe: MSTORE 00001dff: PUSH1 0x22 00001e01: PUSH1 0x24 00001e03: DUP3 00001e04: ADD 00001e05: MSTORE 00001e06: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 00001e27: PUSH1 0x44 00001e29: DUP3 00001e2a: ADD 00001e2b: MSTORE 00001e2c: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00001e4d: PUSH1 0x64 00001e4f: DUP3 00001e50: ADD 00001e51: MSTORE 00001e52: PUSH1 0x84 00001e54: ADD 00001e55: PUSH2 0x04d6 00001e58: JUMP 00001e59: JUMPDEST 00001e5a: PUSH1 0x04 00001e5c: DUP2 00001e5d: PUSH1 0x04 00001e5f: DUP2 00001e60: GT 00001e61: ISZERO 00001e62: PUSH2 0x1e6d 00001e65: JUMPI 00001e66: PUSH2 0x1e6d 00001e69: PUSH2 0x26ac 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: EQ 00001e6f: ISZERO 00001e70: PUSH2 0x1910 00001e73: JUMPI 00001e74: PUSH1 0x40 00001e76: MLOAD 00001e77: PUSH3 0x461bcd 00001e7b: PUSH1 0xe5 00001e7d: SHL 00001e7e: DUP2 00001e7f: MSTORE 00001e80: PUSH1 0x20 00001e82: PUSH1 0x04 00001e84: DUP3 00001e85: ADD 00001e86: MSTORE 00001e87: PUSH1 0x22 00001e89: PUSH1 0x24 00001e8b: DUP3 00001e8c: ADD 00001e8d: MSTORE 00001e8e: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c 00001eaf: PUSH1 0x44 00001eb1: DUP3 00001eb2: ADD 00001eb3: MSTORE 00001eb4: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00001ed5: PUSH1 0x64 00001ed7: DUP3 00001ed8: ADD 00001ed9: MSTORE 00001eda: PUSH1 0x84 00001edc: ADD 00001edd: PUSH2 0x04d6 00001ee0: JUMP 00001ee1: JUMPDEST 00001ee2: PUSH1 0x00 00001ee4: DUP1 00001ee5: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00001f06: DUP4 00001f07: GT 00001f08: ISZERO 00001f09: PUSH2 0x1f18 00001f0c: JUMPI 00001f0d: POP 00001f0e: PUSH1 0x00 00001f10: SWAP1 00001f11: POP 00001f12: PUSH1 0x03 00001f14: PUSH2 0x1ff0 00001f17: JUMP 00001f18: JUMPDEST 00001f19: DUP5 00001f1a: PUSH1 0xff 00001f1c: AND 00001f1d: PUSH1 0x1b 00001f1f: EQ 00001f20: ISZERO 00001f21: DUP1 00001f22: ISZERO 00001f23: PUSH2 0x1f30 00001f26: JUMPI 00001f27: POP 00001f28: DUP5 00001f29: PUSH1 0xff 00001f2b: AND 00001f2c: PUSH1 0x1c 00001f2e: EQ 00001f2f: ISZERO 00001f30: JUMPDEST 00001f31: ISZERO 00001f32: PUSH2 0x1f41 00001f35: JUMPI 00001f36: POP 00001f37: PUSH1 0x00 00001f39: SWAP1 00001f3a: POP 00001f3b: PUSH1 0x04 00001f3d: PUSH2 0x1ff0 00001f40: JUMP 00001f41: JUMPDEST 00001f42: PUSH1 0x40 00001f44: DUP1 00001f45: MLOAD 00001f46: PUSH1 0x00 00001f48: DUP1 00001f49: DUP3 00001f4a: MSTORE 00001f4b: PUSH1 0x20 00001f4d: DUP3 00001f4e: ADD 00001f4f: DUP1 00001f50: DUP5 00001f51: MSTORE 00001f52: DUP10 00001f53: SWAP1 00001f54: MSTORE 00001f55: PUSH1 0xff 00001f57: DUP9 00001f58: AND 00001f59: SWAP3 00001f5a: DUP3 00001f5b: ADD 00001f5c: SWAP3 00001f5d: SWAP1 00001f5e: SWAP3 00001f5f: MSTORE 00001f60: PUSH1 0x60 00001f62: DUP2 00001f63: ADD 00001f64: DUP7 00001f65: SWAP1 00001f66: MSTORE 00001f67: PUSH1 0x80 00001f69: DUP2 00001f6a: ADD 00001f6b: DUP6 00001f6c: SWAP1 00001f6d: MSTORE 00001f6e: PUSH1 0x01 00001f70: SWAP1 00001f71: PUSH1 0xa0 00001f73: ADD 00001f74: PUSH1 0x20 00001f76: PUSH1 0x40 00001f78: MLOAD 00001f79: PUSH1 0x20 00001f7b: DUP2 00001f7c: SUB 00001f7d: SWAP1 00001f7e: DUP1 00001f7f: DUP5 00001f80: SUB 00001f81: SWAP1 00001f82: DUP6 00001f83: GAS 00001f84: STATICCALL 00001f85: ISZERO 00001f86: DUP1 00001f87: ISZERO 00001f88: PUSH2 0x1f95 00001f8b: JUMPI 00001f8c: RETURNDATASIZE 00001f8d: PUSH1 0x00 00001f8f: DUP1 00001f90: RETURNDATACOPY 00001f91: RETURNDATASIZE 00001f92: PUSH1 0x00 00001f94: REVERT 00001f95: JUMPDEST 00001f96: POP 00001f97: POP 00001f98: PUSH1 0x40 00001f9a: MLOAD 00001f9b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001fbc: ADD 00001fbd: MLOAD 00001fbe: SWAP2 00001fbf: POP 00001fc0: POP 00001fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd6: DUP2 00001fd7: AND 00001fd8: PUSH2 0x1fe9 00001fdb: JUMPI 00001fdc: PUSH1 0x00 00001fde: PUSH1 0x01 00001fe0: SWAP3 00001fe1: POP 00001fe2: SWAP3 00001fe3: POP 00001fe4: POP 00001fe5: PUSH2 0x1ff0 00001fe8: JUMP 00001fe9: JUMPDEST 00001fea: SWAP2 00001feb: POP 00001fec: PUSH1 0x00 00001fee: SWAP1 00001fef: POP 00001ff0: JUMPDEST 00001ff1: SWAP5 00001ff2: POP 00001ff3: SWAP5 00001ff4: SWAP3 00001ff5: POP 00001ff6: POP 00001ff7: POP 00001ff8: JUMP 00001ff9: JUMPDEST 00001ffa: PUSH1 0x00 00001ffc: DUP1 00001ffd: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000201e: DUP4 0000201f: AND 00002020: PUSH1 0xff 00002022: DUP5 00002023: SWAP1 00002024: SHR 00002025: PUSH1 0x1b 00002027: ADD 00002028: PUSH2 0x2033 0000202b: DUP8 0000202c: DUP3 0000202d: DUP9 0000202e: DUP6 0000202f: PUSH2 0x1ee1 00002032: JUMP 00002033: JUMPDEST 00002034: SWAP4 00002035: POP 00002036: SWAP4 00002037: POP 00002038: POP 00002039: POP 0000203a: SWAP4 0000203b: POP 0000203c: SWAP4 0000203d: SWAP2 0000203e: POP 0000203f: POP 00002040: JUMP 00002041: JUMPDEST 00002042: DUP1 00002043: CALLDATALOAD 00002044: PUSH8 0xffffffffffffffff 0000204d: DUP2 0000204e: AND 0000204f: DUP2 00002050: EQ 00002051: PUSH2 0x2059 00002054: JUMPI 00002055: PUSH1 0x00 00002057: DUP1 00002058: REVERT 00002059: JUMPDEST 0000205a: SWAP2 0000205b: SWAP1 0000205c: POP 0000205d: JUMP 0000205e: JUMPDEST 0000205f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002080: PUSH1 0x00 00002082: MSTORE 00002083: PUSH1 0x41 00002085: PUSH1 0x04 00002087: MSTORE 00002088: PUSH1 0x24 0000208a: PUSH1 0x00 0000208c: REVERT 0000208d: JUMPDEST 0000208e: PUSH1 0x40 00002090: MLOAD 00002091: PUSH1 0x1f 00002093: DUP3 00002094: ADD 00002095: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000020b6: AND 000020b7: DUP2 000020b8: ADD 000020b9: PUSH8 0xffffffffffffffff 000020c2: DUP2 000020c3: GT 000020c4: DUP3 000020c5: DUP3 000020c6: LT 000020c7: OR 000020c8: ISZERO 000020c9: PUSH2 0x20d4 000020cc: JUMPI 000020cd: PUSH2 0x20d4 000020d0: PUSH2 0x205e 000020d3: JUMP 000020d4: JUMPDEST 000020d5: PUSH1 0x40 000020d7: MSTORE 000020d8: SWAP2 000020d9: SWAP1 000020da: POP 000020db: JUMP 000020dc: JUMPDEST 000020dd: PUSH1 0x00 000020df: DUP3 000020e0: PUSH1 0x1f 000020e2: DUP4 000020e3: ADD 000020e4: SLT 000020e5: PUSH2 0x20ed 000020e8: JUMPI 000020e9: PUSH1 0x00 000020eb: DUP1 000020ec: REVERT 000020ed: JUMPDEST 000020ee: DUP2 000020ef: CALLDATALOAD 000020f0: PUSH8 0xffffffffffffffff 000020f9: DUP2 000020fa: GT 000020fb: ISZERO 000020fc: PUSH2 0x2107 000020ff: JUMPI 00002100: PUSH2 0x2107 00002103: PUSH2 0x205e 00002106: JUMP 00002107: JUMPDEST 00002108: PUSH2 0x2138 0000210b: PUSH1 0x20 0000210d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000212e: PUSH1 0x1f 00002130: DUP5 00002131: ADD 00002132: AND 00002133: ADD 00002134: PUSH2 0x208d 00002137: JUMP 00002138: JUMPDEST 00002139: DUP2 0000213a: DUP2 0000213b: MSTORE 0000213c: DUP5 0000213d: PUSH1 0x20 0000213f: DUP4 00002140: DUP7 00002141: ADD 00002142: ADD 00002143: GT 00002144: ISZERO 00002145: PUSH2 0x214d 00002148: JUMPI 00002149: PUSH1 0x00 0000214b: DUP1 0000214c: REVERT 0000214d: JUMPDEST 0000214e: DUP2 0000214f: PUSH1 0x20 00002151: DUP6 00002152: ADD 00002153: PUSH1 0x20 00002155: DUP4 00002156: ADD 00002157: CALLDATACOPY 00002158: PUSH1 0x00 0000215a: SWAP2 0000215b: DUP2 0000215c: ADD 0000215d: PUSH1 0x20 0000215f: ADD 00002160: SWAP2 00002161: SWAP1 00002162: SWAP2 00002163: MSTORE 00002164: SWAP4 00002165: SWAP3 00002166: POP 00002167: POP 00002168: POP 00002169: JUMP 0000216a: JUMPDEST 0000216b: PUSH1 0x00 0000216d: DUP1 0000216e: PUSH1 0x00 00002170: DUP1 00002171: PUSH1 0x80 00002173: DUP6 00002174: DUP8 00002175: SUB 00002176: SLT 00002177: ISZERO 00002178: PUSH2 0x2180 0000217b: JUMPI 0000217c: PUSH1 0x00 0000217e: DUP1 0000217f: REVERT 00002180: JUMPDEST 00002181: DUP5 00002182: CALLDATALOAD 00002183: SWAP4 00002184: POP 00002185: PUSH2 0x2190 00002188: PUSH1 0x20 0000218a: DUP7 0000218b: ADD 0000218c: PUSH2 0x2041 0000218f: JUMP 00002190: JUMPDEST 00002191: SWAP3 00002192: POP 00002193: PUSH1 0x40 00002195: DUP6 00002196: ADD 00002197: CALLDATALOAD 00002198: PUSH8 0xffffffffffffffff 000021a1: DUP1 000021a2: DUP3 000021a3: GT 000021a4: ISZERO 000021a5: PUSH2 0x21ad 000021a8: JUMPI 000021a9: PUSH1 0x00 000021ab: DUP1 000021ac: REVERT 000021ad: JUMPDEST 000021ae: PUSH2 0x21b9 000021b1: DUP9 000021b2: DUP4 000021b3: DUP10 000021b4: ADD 000021b5: PUSH2 0x20dc 000021b8: JUMP 000021b9: JUMPDEST 000021ba: SWAP4 000021bb: POP 000021bc: PUSH1 0x60 000021be: DUP8 000021bf: ADD 000021c0: CALLDATALOAD 000021c1: SWAP2 000021c2: POP 000021c3: DUP1 000021c4: DUP3 000021c5: GT 000021c6: ISZERO 000021c7: PUSH2 0x21cf 000021ca: JUMPI 000021cb: PUSH1 0x00 000021cd: DUP1 000021ce: REVERT 000021cf: JUMPDEST 000021d0: POP 000021d1: PUSH2 0x21dc 000021d4: DUP8 000021d5: DUP3 000021d6: DUP9 000021d7: ADD 000021d8: PUSH2 0x20dc 000021db: JUMP 000021dc: JUMPDEST 000021dd: SWAP2 000021de: POP 000021df: POP 000021e0: SWAP3 000021e1: SWAP6 000021e2: SWAP2 000021e3: SWAP5 000021e4: POP 000021e5: SWAP3 000021e6: POP 000021e7: JUMP 000021e8: JUMPDEST 000021e9: PUSH1 0x00 000021eb: DUP1 000021ec: PUSH1 0x40 000021ee: DUP4 000021ef: DUP6 000021f0: SUB 000021f1: SLT 000021f2: ISZERO 000021f3: PUSH2 0x21fb 000021f6: JUMPI 000021f7: PUSH1 0x00 000021f9: DUP1 000021fa: REVERT 000021fb: JUMPDEST 000021fc: DUP3 000021fd: CALLDATALOAD 000021fe: SWAP2 000021ff: POP 00002200: PUSH1 0x20 00002202: DUP4 00002203: ADD 00002204: CALLDATALOAD 00002205: PUSH8 0xffffffffffffffff 0000220e: DUP2 0000220f: GT 00002210: ISZERO 00002211: PUSH2 0x2219 00002214: JUMPI 00002215: PUSH1 0x00 00002217: DUP1 00002218: REVERT 00002219: JUMPDEST 0000221a: PUSH2 0x2225 0000221d: DUP6 0000221e: DUP3 0000221f: DUP7 00002220: ADD 00002221: PUSH2 0x20dc 00002224: JUMP 00002225: JUMPDEST 00002226: SWAP2 00002227: POP 00002228: POP 00002229: SWAP3 0000222a: POP 0000222b: SWAP3 0000222c: SWAP1 0000222d: POP 0000222e: JUMP 0000222f: JUMPDEST 00002230: PUSH1 0x00 00002232: PUSH1 0x20 00002234: DUP3 00002235: DUP5 00002236: SUB 00002237: SLT 00002238: ISZERO 00002239: PUSH2 0x2241 0000223c: JUMPI 0000223d: PUSH1 0x00 0000223f: DUP1 00002240: REVERT 00002241: JUMPDEST 00002242: PUSH2 0x1c04 00002245: DUP3 00002246: PUSH2 0x2041 00002249: JUMP 0000224a: JUMPDEST 0000224b: PUSH1 0x00 0000224d: DUP1 0000224e: PUSH1 0x00 00002250: DUP1 00002251: PUSH1 0x80 00002253: DUP6 00002254: DUP8 00002255: SUB 00002256: SLT 00002257: ISZERO 00002258: PUSH2 0x2260 0000225b: JUMPI 0000225c: PUSH1 0x00 0000225e: DUP1 0000225f: REVERT 00002260: JUMPDEST 00002261: DUP5 00002262: CALLDATALOAD 00002263: SWAP4 00002264: POP 00002265: PUSH1 0x20 00002267: DUP6 00002268: ADD 00002269: CALLDATALOAD 0000226a: SWAP3 0000226b: POP 0000226c: PUSH1 0x40 0000226e: DUP6 0000226f: ADD 00002270: CALLDATALOAD 00002271: PUSH8 0xffffffffffffffff 0000227a: DUP1 0000227b: DUP3 0000227c: GT 0000227d: ISZERO 0000227e: PUSH2 0x21ad 00002281: JUMPI 00002282: PUSH1 0x00 00002284: DUP1 00002285: REVERT 00002286: JUMPDEST 00002287: PUSH1 0x00 00002289: PUSH1 0x20 0000228b: DUP3 0000228c: DUP5 0000228d: SUB 0000228e: SLT 0000228f: ISZERO 00002290: PUSH2 0x2298 00002293: JUMPI 00002294: PUSH1 0x00 00002296: DUP1 00002297: REVERT 00002298: JUMPDEST 00002299: POP 0000229a: CALLDATALOAD 0000229b: SWAP2 0000229c: SWAP1 0000229d: POP 0000229e: JUMP 0000229f: JUMPDEST 000022a0: PUSH1 0x00 000022a2: PUSH1 0x20 000022a4: DUP1 000022a5: DUP4 000022a6: DUP6 000022a7: SUB 000022a8: SLT 000022a9: ISZERO 000022aa: PUSH2 0x22b2 000022ad: JUMPI 000022ae: PUSH1 0x00 000022b0: DUP1 000022b1: REVERT 000022b2: JUMPDEST 000022b3: DUP3 000022b4: CALLDATALOAD 000022b5: PUSH8 0xffffffffffffffff 000022be: DUP1 000022bf: DUP3 000022c0: GT 000022c1: ISZERO 000022c2: PUSH2 0x22ca 000022c5: JUMPI 000022c6: PUSH1 0x00 000022c8: DUP1 000022c9: REVERT 000022ca: JUMPDEST 000022cb: DUP2 000022cc: DUP6 000022cd: ADD 000022ce: SWAP2 000022cf: POP 000022d0: DUP6 000022d1: PUSH1 0x1f 000022d3: DUP4 000022d4: ADD 000022d5: SLT 000022d6: PUSH2 0x22de 000022d9: JUMPI 000022da: PUSH1 0x00 000022dc: DUP1 000022dd: REVERT 000022de: JUMPDEST 000022df: DUP2 000022e0: CALLDATALOAD 000022e1: DUP2 000022e2: DUP2 000022e3: GT 000022e4: ISZERO 000022e5: PUSH2 0x22f0 000022e8: JUMPI 000022e9: PUSH2 0x22f0 000022ec: PUSH2 0x205e 000022ef: JUMP 000022f0: JUMPDEST 000022f1: DUP1 000022f2: PUSH1 0x05 000022f4: SHL 000022f5: SWAP2 000022f6: POP 000022f7: PUSH2 0x2301 000022fa: DUP5 000022fb: DUP4 000022fc: ADD 000022fd: PUSH2 0x208d 00002300: JUMP 00002301: JUMPDEST 00002302: DUP2 00002303: DUP2 00002304: MSTORE 00002305: SWAP2 00002306: DUP4 00002307: ADD 00002308: DUP5 00002309: ADD 0000230a: SWAP2 0000230b: DUP5 0000230c: DUP2 0000230d: ADD 0000230e: SWAP1 0000230f: DUP9 00002310: DUP5 00002311: GT 00002312: ISZERO 00002313: PUSH2 0x231b 00002316: JUMPI 00002317: PUSH1 0x00 00002319: DUP1 0000231a: REVERT 0000231b: JUMPDEST 0000231c: SWAP4 0000231d: DUP6 0000231e: ADD 0000231f: SWAP4 00002320: JUMPDEST 00002321: DUP4 00002322: DUP6 00002323: LT 00002324: ISZERO 00002325: PUSH2 0x2339 00002328: JUMPI 00002329: DUP5 0000232a: CALLDATALOAD 0000232b: DUP3 0000232c: MSTORE 0000232d: SWAP4 0000232e: DUP6 0000232f: ADD 00002330: SWAP4 00002331: SWAP1 00002332: DUP6 00002333: ADD 00002334: SWAP1 00002335: PUSH2 0x2320 00002338: JUMP 00002339: JUMPDEST 0000233a: SWAP9 0000233b: SWAP8 0000233c: POP 0000233d: POP 0000233e: POP 0000233f: POP 00002340: POP 00002341: POP 00002342: POP 00002343: POP 00002344: JUMP 00002345: JUMPDEST 00002346: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000235b: DUP2 0000235c: AND 0000235d: DUP2 0000235e: EQ 0000235f: PUSH2 0x1910 00002362: JUMPI 00002363: PUSH1 0x00 00002365: DUP1 00002366: REVERT 00002367: JUMPDEST 00002368: PUSH1 0x00 0000236a: PUSH1 0x20 0000236c: DUP3 0000236d: DUP5 0000236e: SUB 0000236f: SLT 00002370: ISZERO 00002371: PUSH2 0x2379 00002374: JUMPI 00002375: PUSH1 0x00 00002377: DUP1 00002378: REVERT 00002379: JUMPDEST 0000237a: DUP2 0000237b: CALLDATALOAD 0000237c: PUSH2 0x1c04 0000237f: DUP2 00002380: PUSH2 0x2345 00002383: JUMP 00002384: JUMPDEST 00002385: PUSH1 0x00 00002387: PUSH1 0x20 00002389: DUP3 0000238a: DUP5 0000238b: SUB 0000238c: SLT 0000238d: ISZERO 0000238e: PUSH2 0x2396 00002391: JUMPI 00002392: PUSH1 0x00 00002394: DUP1 00002395: REVERT 00002396: JUMPDEST 00002397: DUP2 00002398: CALLDATALOAD 00002399: PUSH16 0xffffffffffffffffffffffffffffffff 000023aa: DUP2 000023ab: AND 000023ac: DUP2 000023ad: EQ 000023ae: PUSH2 0x1c04 000023b1: JUMPI 000023b2: PUSH1 0x00 000023b4: DUP1 000023b5: REVERT 000023b6: JUMPDEST 000023b7: PUSH1 0x00 000023b9: JUMPDEST 000023ba: DUP4 000023bb: DUP2 000023bc: LT 000023bd: ISZERO 000023be: PUSH2 0x23d1 000023c1: JUMPI 000023c2: DUP2 000023c3: DUP2 000023c4: ADD 000023c5: MLOAD 000023c6: DUP4 000023c7: DUP3 000023c8: ADD 000023c9: MSTORE 000023ca: PUSH1 0x20 000023cc: ADD 000023cd: PUSH2 0x23b9 000023d0: JUMP 000023d1: JUMPDEST 000023d2: DUP4 000023d3: DUP2 000023d4: GT 000023d5: ISZERO 000023d6: PUSH2 0x1b01 000023d9: JUMPI 000023da: POP 000023db: POP 000023dc: PUSH1 0x00 000023de: SWAP2 000023df: ADD 000023e0: MSTORE 000023e1: JUMP 000023e2: JUMPDEST 000023e3: PUSH1 0x00 000023e5: DUP2 000023e6: MLOAD 000023e7: DUP1 000023e8: DUP5 000023e9: MSTORE 000023ea: PUSH2 0x23fa 000023ed: DUP2 000023ee: PUSH1 0x20 000023f0: DUP7 000023f1: ADD 000023f2: PUSH1 0x20 000023f4: DUP7 000023f5: ADD 000023f6: PUSH2 0x23b6 000023f9: JUMP 000023fa: JUMPDEST 000023fb: PUSH1 0x1f 000023fd: ADD 000023fe: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000241f: AND 00002420: SWAP3 00002421: SWAP1 00002422: SWAP3 00002423: ADD 00002424: PUSH1 0x20 00002426: ADD 00002427: SWAP3 00002428: SWAP2 00002429: POP 0000242a: POP 0000242b: JUMP 0000242c: JUMPDEST 0000242d: PUSH1 0x20 0000242f: DUP2 00002430: MSTORE 00002431: PUSH1 0x00 00002433: PUSH2 0x1c04 00002436: PUSH1 0x20 00002438: DUP4 00002439: ADD 0000243a: DUP5 0000243b: PUSH2 0x23e2 0000243e: JUMP 0000243f: JUMPDEST 00002440: DUP4 00002441: DUP2 00002442: MSTORE 00002443: DUP3 00002444: PUSH1 0x20 00002446: DUP3 00002447: ADD 00002448: MSTORE 00002449: PUSH1 0x00 0000244b: DUP3 0000244c: MLOAD 0000244d: PUSH2 0x245d 00002450: DUP2 00002451: PUSH1 0x40 00002453: DUP6 00002454: ADD 00002455: PUSH1 0x20 00002457: DUP8 00002458: ADD 00002459: PUSH2 0x23b6 0000245c: JUMP 0000245d: JUMPDEST 0000245e: SWAP2 0000245f: SWAP1 00002460: SWAP2 00002461: ADD 00002462: PUSH1 0x40 00002464: ADD 00002465: SWAP5 00002466: SWAP4 00002467: POP 00002468: POP 00002469: POP 0000246a: POP 0000246b: JUMP 0000246c: JUMPDEST 0000246d: PUSH1 0x00 0000246f: PUSH1 0x20 00002471: DUP3 00002472: DUP5 00002473: SUB 00002474: SLT 00002475: ISZERO 00002476: PUSH2 0x247e 00002479: JUMPI 0000247a: PUSH1 0x00 0000247c: DUP1 0000247d: REVERT 0000247e: JUMPDEST 0000247f: DUP2 00002480: MLOAD 00002481: PUSH2 0x1c04 00002484: DUP2 00002485: PUSH2 0x2345 00002488: JUMP 00002489: JUMPDEST 0000248a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000249f: DUP5 000024a0: AND 000024a1: DUP2 000024a2: MSTORE 000024a3: DUP3 000024a4: PUSH1 0x20 000024a6: DUP3 000024a7: ADD 000024a8: MSTORE 000024a9: PUSH1 0x60 000024ab: PUSH1 0x40 000024ad: DUP3 000024ae: ADD 000024af: MSTORE 000024b0: PUSH1 0x00 000024b2: PUSH2 0x24be 000024b5: PUSH1 0x60 000024b7: DUP4 000024b8: ADD 000024b9: DUP5 000024ba: PUSH2 0x23e2 000024bd: JUMP 000024be: JUMPDEST 000024bf: SWAP6 000024c0: SWAP5 000024c1: POP 000024c2: POP 000024c3: POP 000024c4: POP 000024c5: POP 000024c6: JUMP 000024c7: JUMPDEST 000024c8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000024e9: PUSH1 0x00 000024eb: MSTORE 000024ec: PUSH1 0x11 000024ee: PUSH1 0x04 000024f0: MSTORE 000024f1: PUSH1 0x24 000024f3: PUSH1 0x00 000024f5: REVERT 000024f6: JUMPDEST 000024f7: PUSH1 0x00 000024f9: PUSH16 0xffffffffffffffffffffffffffffffff 0000250a: DUP1 0000250b: DUP5 0000250c: AND 0000250d: DUP1 0000250e: PUSH2 0x2540 00002511: JUMPI 00002512: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002533: PUSH1 0x00 00002535: MSTORE 00002536: PUSH1 0x12 00002538: PUSH1 0x04 0000253a: MSTORE 0000253b: PUSH1 0x24 0000253d: PUSH1 0x00 0000253f: REVERT 00002540: JUMPDEST 00002541: SWAP3 00002542: AND 00002543: SWAP2 00002544: SWAP1 00002545: SWAP2 00002546: DIV 00002547: SWAP3 00002548: SWAP2 00002549: POP 0000254a: POP 0000254b: JUMP 0000254c: JUMPDEST 0000254d: PUSH1 0x00 0000254f: DUP3 00002550: DUP3 00002551: LT 00002552: ISZERO 00002553: PUSH2 0x255e 00002556: JUMPI 00002557: PUSH2 0x255e 0000255a: PUSH2 0x24c7 0000255d: JUMP 0000255e: JUMPDEST 0000255f: POP 00002560: SUB 00002561: SWAP1 00002562: JUMP 00002563: JUMPDEST 00002564: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002585: PUSH1 0x00 00002587: MSTORE 00002588: PUSH1 0x32 0000258a: PUSH1 0x04 0000258c: MSTORE 0000258d: PUSH1 0x24 0000258f: PUSH1 0x00 00002591: REVERT 00002592: JUMPDEST 00002593: PUSH1 0x00 00002595: PUSH8 0xffffffffffffffff 0000259e: DUP1 0000259f: DUP4 000025a0: AND 000025a1: DUP2 000025a2: DUP6 000025a3: AND 000025a4: DUP1 000025a5: DUP4 000025a6: SUB 000025a7: DUP3 000025a8: GT 000025a9: ISZERO 000025aa: PUSH2 0x25b5 000025ad: JUMPI 000025ae: PUSH2 0x25b5 000025b1: PUSH2 0x24c7 000025b4: JUMP 000025b5: JUMPDEST 000025b6: ADD 000025b7: SWAP5 000025b8: SWAP4 000025b9: POP 000025ba: POP 000025bb: POP 000025bc: POP 000025bd: JUMP 000025be: JUMPDEST 000025bf: PUSH1 0x00 000025c1: PUSH16 0xffffffffffffffffffffffffffffffff 000025d2: DUP1 000025d3: DUP4 000025d4: AND 000025d5: DUP2 000025d6: DUP6 000025d7: AND 000025d8: DUP1 000025d9: DUP4 000025da: SUB 000025db: DUP3 000025dc: GT 000025dd: ISZERO 000025de: PUSH2 0x25b5 000025e1: JUMPI 000025e2: PUSH2 0x25b5 000025e5: PUSH2 0x24c7 000025e8: JUMP 000025e9: JUMPDEST 000025ea: PUSH1 0x00 000025ec: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000260d: DUP3 0000260e: EQ 0000260f: ISZERO 00002610: PUSH2 0x261b 00002613: JUMPI 00002614: PUSH2 0x261b 00002617: PUSH2 0x24c7 0000261a: JUMP 0000261b: JUMPDEST 0000261c: POP 0000261d: PUSH1 0x01 0000261f: ADD 00002620: SWAP1 00002621: JUMP 00002622: JUMPDEST 00002623: PUSH1 0x00 00002625: PUSH8 0xffffffffffffffff 0000262e: DUP4 0000262f: DUP2 00002630: AND 00002631: SWAP1 00002632: DUP4 00002633: AND 00002634: DUP2 00002635: DUP2 00002636: LT 00002637: ISZERO 00002638: PUSH2 0x2643 0000263b: JUMPI 0000263c: PUSH2 0x2643 0000263f: PUSH2 0x24c7 00002642: JUMP 00002643: JUMPDEST 00002644: SUB 00002645: SWAP4 00002646: SWAP3 00002647: POP 00002648: POP 00002649: POP 0000264a: JUMP 0000264b: JUMPDEST 0000264c: PUSH1 0x00 0000264e: PUSH16 0xffffffffffffffffffffffffffffffff 0000265f: DUP1 00002660: DUP4 00002661: AND 00002662: DUP2 00002663: DUP6 00002664: AND 00002665: DUP2 00002666: DUP4 00002667: DIV 00002668: DUP2 00002669: GT 0000266a: DUP3 0000266b: ISZERO 0000266c: ISZERO 0000266d: AND 0000266e: ISZERO 0000266f: PUSH2 0x267a 00002672: JUMPI 00002673: PUSH2 0x267a 00002676: PUSH2 0x24c7 00002679: JUMP 0000267a: JUMPDEST 0000267b: MUL 0000267c: SWAP5 0000267d: SWAP4 0000267e: POP 0000267f: POP 00002680: POP 00002681: POP 00002682: JUMP 00002683: JUMPDEST 00002684: PUSH1 0x00 00002686: PUSH16 0xffffffffffffffffffffffffffffffff 00002697: DUP4 00002698: DUP2 00002699: AND 0000269a: SWAP1 0000269b: DUP4 0000269c: AND 0000269d: DUP2 0000269e: DUP2 0000269f: LT 000026a0: ISZERO 000026a1: PUSH2 0x2643 000026a4: JUMPI 000026a5: PUSH2 0x2643 000026a8: PUSH2 0x24c7 000026ab: JUMP 000026ac: JUMPDEST 000026ad: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000026ce: PUSH1 0x00 000026d0: MSTORE 000026d1: PUSH1 0x21 000026d3: PUSH1 0x04 000026d5: MSTORE 000026d6: PUSH1 0x24 000026d8: PUSH1 0x00 000026da: REVERT 000026db: INVALID 000026dc: LOG2 000026dd: PUSH5 0x6970667358 000026e3: UNKNOWN(0x22) 000026e4: SLT 000026e5: KECCAK256 000026e6: PUSH19 0x348202a8182478b6a4d10658b6ae7fda645e37 000026fa: UNKNOWN(0xB9) 000026fb: UNKNOWN(0xF8) 000026fc: UNKNOWN(0xB2) 000026fd: CALLCODE 000026fe: UNKNOWN(0xE6) 000026ff: UNKNOWN(0xD1) 00002700: UNKNOWN(0xBE) 00002701: GASPRICE 00002702: SHL 00002703: CALLVALUE 00002704: KECCAK256 00002705: SWAP15 00002706: PUSH5 0x736f6c6343 0000270c: STOP 0000270d: ADDMOD 0000270e: SIGNEXTEND 0000270f: STOP 00002710: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xe33cb1f5c969ad972720a32b9fc94e04caaa1eb7b24800a5a17e2aab9deb6919
call_targets:
0x6f051b2b1765edb6a892be7736c04aab0468af27
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe33cb1f5c969ad972720a32b9fc94e04caaa1eb7b24800a5a17e2aab9deb6919",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6f051b2b1765edb6a892be7736c04aab0468af27"
],
"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": "0xd0f44e8c",
"selector": "0xd0f44e8c",
"calldata_variants": [
"0xd0f44e8c",
"0xd0f44e8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8ef7d0d",
"selector": "0xe8ef7d0d",
"calldata_variants": [
"0xe8ef7d0d",
"0xe8ef7d0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf63e05ff",
"selector": "0xf63e05ff",
"calldata_variants": [
"0xf63e05ff",
"0xf63e05ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x983d95ce",
"selector": "0x983d95ce",
"calldata_variants": [
"0x983d95ce",
"0x983d95ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc087cc4b",
"selector": "0xc087cc4b",
"calldata_variants": [
"0xc087cc4b",
"0xc087cc4b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb0fc56d",
"selector": "0xcb0fc56d",
"calldata_variants": [
"0xcb0fc56d",
"0xcb0fc56d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3075,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4586,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 4175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xe33cb1f5c969ad972720a32b9fc94e04caaa1eb7b24800a5a17e2aab9deb6919
call_targets:
0x6f051b2b1765edb6a892be7736c04aab0468af27
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe33cb1f5c969ad972720a32b9fc94e04caaa1eb7b24800a5a17e2aab9deb6919",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6f051b2b1765edb6a892be7736c04aab0468af27"
],
"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": "0xd0f44e8c",
"selector": "0xd0f44e8c",
"calldata_variants": [
"0xd0f44e8c",
"0xd0f44e8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8ef7d0d",
"selector": "0xe8ef7d0d",
"calldata_variants": [
"0xe8ef7d0d",
"0xe8ef7d0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf63e05ff",
"selector": "0xf63e05ff",
"calldata_variants": [
"0xf63e05ff",
"0xf63e05ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x983d95ce",
"selector": "0x983d95ce",
"calldata_variants": [
"0x983d95ce",
"0x983d95ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc087cc4b",
"selector": "0xc087cc4b",
"calldata_variants": [
"0xc087cc4b",
"0xc087cc4b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb0fc56d",
"selector": "0xcb0fc56d",
"calldata_variants": [
"0xcb0fc56d",
"0xcb0fc56d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3075,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4586,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 4175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|