019b3844-a686-7287-8e15-8464915c8ec3
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 |
|---|---|---|---|---|
| 16387 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16388 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 59441 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 59442 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 59443 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 59444 | 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 0x026a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x87f65c91 00000019: GT 0000001a: PUSH2 0x0153 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb88d4fde 00000024: GT 00000025: PUSH2 0x00cb 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe985e9c5 0000002f: GT 00000030: PUSH2 0x007f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: GT 0000003b: PUSH2 0x0064 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x070b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf35dad40 00000050: EQ 00000051: PUSH2 0x072b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfca3b5aa 0000005b: EQ 0000005c: PUSH2 0x074f 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xe985e9c5 0000006b: EQ 0000006c: PUSH2 0x0695 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xef85ade7 00000076: EQ 00000077: PUSH2 0x06de 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xcc54cce3 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xcc54cce3 00000091: EQ 00000092: PUSH2 0x063e 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xdf3c3a30 0000009c: EQ 0000009d: PUSH2 0x065f 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xe0b6bb67 000000a7: EQ 000000a8: PUSH2 0x0680 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0xb88d4fde 000000b7: EQ 000000b8: PUSH2 0x05fe 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0xc87b56dd 000000c2: EQ 000000c3: PUSH2 0x061e 000000c6: JUMPI 000000c7: PUSH1 0x00 000000c9: DUP1 000000ca: REVERT 000000cb: JUMPDEST 000000cc: DUP1 000000cd: PUSH4 0xa0712d68 000000d2: GT 000000d3: PUSH2 0x0122 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xa2309ff8 000000dd: GT 000000de: PUSH2 0x0107 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xa2309ff8 000000e8: EQ 000000e9: PUSH2 0x058f 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xa44fa396 000000f3: EQ 000000f4: PUSH2 0x05a4 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xac936d4a 000000fe: EQ 000000ff: PUSH2 0x05d1 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: DUP1 00000109: PUSH4 0xa0712d68 0000010e: EQ 0000010f: PUSH2 0x055c 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0xa22cb465 00000119: EQ 0000011a: PUSH2 0x056f 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: DUP1 00000124: PUSH4 0x87f65c91 00000129: EQ 0000012a: PUSH2 0x0501 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x8da5cb5b 00000134: EQ 00000135: PUSH2 0x0516 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x9229407d 0000013f: EQ 00000140: PUSH2 0x0534 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x95d89b41 0000014a: EQ 0000014b: PUSH2 0x0547 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: DUP1 00000155: PUSH4 0x55f804b3 0000015a: GT 0000015b: PUSH2 0x01e6 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0x715018a6 00000165: GT 00000166: PUSH2 0x01b5 00000169: JUMPI 0000016a: DUP1 0000016b: PUSH4 0x76daebe1 00000170: GT 00000171: PUSH2 0x019a 00000174: JUMPI 00000175: DUP1 00000176: PUSH4 0x76daebe1 0000017b: EQ 0000017c: PUSH2 0x049f 0000017f: JUMPI 00000180: DUP1 00000181: PUSH4 0x7a1d33a6 00000186: EQ 00000187: PUSH2 0x04b4 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x8462151c 00000191: EQ 00000192: PUSH2 0x04d4 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: DUP1 0000019c: PUSH4 0x715018a6 000001a1: EQ 000001a2: PUSH2 0x0451 000001a5: JUMPI 000001a6: DUP1 000001a7: PUSH4 0x75794a3c 000001ac: EQ 000001ad: PUSH2 0x0466 000001b0: JUMPI 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: DUP1 000001b7: PUSH4 0x55f804b3 000001bc: EQ 000001bd: PUSH2 0x03d0 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x5d148e5c 000001c7: EQ 000001c8: PUSH2 0x03f0 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0x6352211e 000001d2: EQ 000001d3: PUSH2 0x0411 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0x70a08231 000001dd: EQ 000001de: PUSH2 0x0431 000001e1: JUMPI 000001e2: PUSH1 0x00 000001e4: DUP1 000001e5: REVERT 000001e6: JUMPDEST 000001e7: DUP1 000001e8: PUSH4 0x18160ddd 000001ed: GT 000001ee: PUSH2 0x023d 000001f1: JUMPI 000001f2: DUP1 000001f3: PUSH4 0x42842e0e 000001f8: GT 000001f9: PUSH2 0x0222 000001fc: JUMPI 000001fd: DUP1 000001fe: PUSH4 0x42842e0e 00000203: EQ 00000204: PUSH2 0x0363 00000207: JUMPI 00000208: DUP1 00000209: PUSH4 0x4f558e79 0000020e: EQ 0000020f: PUSH2 0x0383 00000212: JUMPI 00000213: DUP1 00000214: PUSH4 0x53df5c7c 00000219: EQ 0000021a: PUSH2 0x03bb 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: DUP1 00000224: PUSH4 0x18160ddd 00000229: EQ 0000022a: PUSH2 0x0320 0000022d: JUMPI 0000022e: DUP1 0000022f: PUSH4 0x23b872dd 00000234: EQ 00000235: PUSH2 0x0343 00000238: JUMPI 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: REVERT 0000023d: JUMPDEST 0000023e: DUP1 0000023f: PUSH4 0x01ffc9a7 00000244: EQ 00000245: PUSH2 0x026f 00000248: JUMPI 00000249: DUP1 0000024a: PUSH4 0x06fdde03 0000024f: EQ 00000250: PUSH2 0x02a4 00000253: JUMPI 00000254: DUP1 00000255: PUSH4 0x081812fc 0000025a: EQ 0000025b: PUSH2 0x02c6 0000025e: JUMPI 0000025f: DUP1 00000260: PUSH4 0x095ea7b3 00000265: EQ 00000266: PUSH2 0x02fe 00000269: JUMPI 0000026a: JUMPDEST 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: CALLVALUE 00000271: DUP1 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: PUSH2 0x028f 00000280: PUSH2 0x028a 00000283: CALLDATASIZE 00000284: PUSH1 0x04 00000286: PUSH2 0x204e 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH2 0x076f 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH1 0x40 00000292: MLOAD 00000293: SWAP1 00000294: ISZERO 00000295: ISZERO 00000296: DUP2 00000297: MSTORE 00000298: PUSH1 0x20 0000029a: ADD 0000029b: JUMPDEST 0000029c: PUSH1 0x40 0000029e: MLOAD 0000029f: DUP1 000002a0: SWAP2 000002a1: SUB 000002a2: SWAP1 000002a3: RETURN 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x02b9 000002b5: PUSH2 0x080c 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: PUSH2 0x029b 000002c0: SWAP2 000002c1: SWAP1 000002c2: PUSH2 0x20b8 000002c5: JUMP 000002c6: JUMPDEST 000002c7: CALLVALUE 000002c8: DUP1 000002c9: ISZERO 000002ca: PUSH2 0x02d2 000002cd: JUMPI 000002ce: PUSH1 0x00 000002d0: DUP1 000002d1: REVERT 000002d2: JUMPDEST 000002d3: POP 000002d4: PUSH2 0x02e6 000002d7: PUSH2 0x02e1 000002da: CALLDATASIZE 000002db: PUSH1 0x04 000002dd: PUSH2 0x20cb 000002e0: JUMP 000002e1: JUMPDEST 000002e2: PUSH2 0x089e 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: PUSH1 0x01 000002ec: PUSH1 0x01 000002ee: PUSH1 0xa0 000002f0: SHL 000002f1: SUB 000002f2: SWAP1 000002f3: SWAP2 000002f4: AND 000002f5: DUP2 000002f6: MSTORE 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: PUSH2 0x029b 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH2 0x031e 0000030f: PUSH2 0x0319 00000312: CALLDATASIZE 00000313: PUSH1 0x04 00000315: PUSH2 0x20fb 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x08c5 0000031d: JUMP 0000031e: JUMPDEST 0000031f: STOP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x0335 00000331: PUSH2 0x0a19 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH1 0x40 00000338: MLOAD 00000339: SWAP1 0000033a: DUP2 0000033b: MSTORE 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: PUSH2 0x029b 00000342: JUMP 00000343: JUMPDEST 00000344: CALLVALUE 00000345: DUP1 00000346: ISZERO 00000347: PUSH2 0x034f 0000034a: JUMPI 0000034b: PUSH1 0x00 0000034d: DUP1 0000034e: REVERT 0000034f: JUMPDEST 00000350: POP 00000351: PUSH2 0x031e 00000354: PUSH2 0x035e 00000357: CALLDATASIZE 00000358: PUSH1 0x04 0000035a: PUSH2 0x2125 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH2 0x0a51 00000362: JUMP 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x031e 00000374: PUSH2 0x037e 00000377: CALLDATASIZE 00000378: PUSH1 0x04 0000037a: PUSH2 0x2125 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH2 0x0ac8 00000382: JUMP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x028f 00000394: PUSH2 0x039e 00000397: CALLDATASIZE 00000398: PUSH1 0x04 0000039a: PUSH2 0x20cb 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH1 0x00 000003a1: SWAP1 000003a2: DUP2 000003a3: MSTORE 000003a4: PUSH1 0x02 000003a6: PUSH1 0x20 000003a8: MSTORE 000003a9: PUSH1 0x40 000003ab: SWAP1 000003ac: KECCAK256 000003ad: SLOAD 000003ae: PUSH1 0x01 000003b0: PUSH1 0x01 000003b2: PUSH1 0xa0 000003b4: SHL 000003b5: SUB 000003b6: AND 000003b7: ISZERO 000003b8: ISZERO 000003b9: SWAP1 000003ba: JUMP 000003bb: JUMPDEST 000003bc: CALLVALUE 000003bd: DUP1 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: POP 000003c9: PUSH2 0x031e 000003cc: PUSH2 0x0ae3 000003cf: JUMP 000003d0: JUMPDEST 000003d1: CALLVALUE 000003d2: DUP1 000003d3: ISZERO 000003d4: PUSH2 0x03dc 000003d7: JUMPI 000003d8: PUSH1 0x00 000003da: DUP1 000003db: REVERT 000003dc: JUMPDEST 000003dd: POP 000003de: PUSH2 0x031e 000003e1: PUSH2 0x03eb 000003e4: CALLDATASIZE 000003e5: PUSH1 0x04 000003e7: PUSH2 0x2200 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH2 0x0b1b 000003ef: JUMP 000003f0: JUMPDEST 000003f1: CALLVALUE 000003f2: DUP1 000003f3: ISZERO 000003f4: PUSH2 0x03fc 000003f7: JUMPI 000003f8: PUSH1 0x00 000003fa: DUP1 000003fb: REVERT 000003fc: JUMPDEST 000003fd: POP 000003fe: PUSH1 0x08 00000400: SLOAD 00000401: PUSH2 0x028f 00000404: SWAP1 00000405: PUSH1 0x01 00000407: PUSH1 0xf0 00000409: SHL 0000040a: SWAP1 0000040b: DIV 0000040c: PUSH1 0xff 0000040e: AND 0000040f: DUP2 00000410: JUMP 00000411: JUMPDEST 00000412: CALLVALUE 00000413: DUP1 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: PUSH2 0x02e6 00000422: PUSH2 0x042c 00000425: CALLDATASIZE 00000426: PUSH1 0x04 00000428: PUSH2 0x20cb 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH2 0x0b77 00000430: JUMP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: DUP1 00000434: ISZERO 00000435: PUSH2 0x043d 00000438: JUMPI 00000439: PUSH1 0x00 0000043b: DUP1 0000043c: REVERT 0000043d: JUMPDEST 0000043e: POP 0000043f: PUSH2 0x0335 00000442: PUSH2 0x044c 00000445: CALLDATASIZE 00000446: PUSH1 0x04 00000448: PUSH2 0x2249 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH2 0x0bdc 00000450: JUMP 00000451: JUMPDEST 00000452: CALLVALUE 00000453: DUP1 00000454: ISZERO 00000455: PUSH2 0x045d 00000458: JUMPI 00000459: PUSH1 0x00 0000045b: DUP1 0000045c: REVERT 0000045d: JUMPDEST 0000045e: POP 0000045f: PUSH2 0x031e 00000462: PUSH2 0x0c76 00000465: JUMP 00000466: JUMPDEST 00000467: CALLVALUE 00000468: DUP1 00000469: ISZERO 0000046a: PUSH2 0x0472 0000046d: JUMPI 0000046e: PUSH1 0x00 00000470: DUP1 00000471: REVERT 00000472: JUMPDEST 00000473: POP 00000474: PUSH1 0x08 00000476: SLOAD 00000477: PUSH2 0x048a 0000047a: SWAP1 0000047b: PUSH1 0x01 0000047d: PUSH1 0xa0 0000047f: SHL 00000480: SWAP1 00000481: DIV 00000482: PUSH4 0xffffffff 00000487: AND 00000488: DUP2 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH1 0x40 0000048d: MLOAD 0000048e: PUSH4 0xffffffff 00000493: SWAP1 00000494: SWAP2 00000495: AND 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x20 0000049a: ADD 0000049b: PUSH2 0x029b 0000049e: JUMP 0000049f: JUMPDEST 000004a0: CALLVALUE 000004a1: DUP1 000004a2: ISZERO 000004a3: PUSH2 0x04ab 000004a6: JUMPI 000004a7: PUSH1 0x00 000004a9: DUP1 000004aa: REVERT 000004ab: JUMPDEST 000004ac: POP 000004ad: PUSH2 0x031e 000004b0: PUSH2 0x0c8a 000004b3: JUMP 000004b4: JUMPDEST 000004b5: CALLVALUE 000004b6: DUP1 000004b7: ISZERO 000004b8: PUSH2 0x04c0 000004bb: JUMPI 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: REVERT 000004c0: JUMPDEST 000004c1: POP 000004c2: PUSH2 0x031e 000004c5: PUSH2 0x04cf 000004c8: CALLDATASIZE 000004c9: PUSH1 0x04 000004cb: PUSH2 0x20cb 000004ce: JUMP 000004cf: JUMPDEST 000004d0: PUSH2 0x0cc2 000004d3: JUMP 000004d4: JUMPDEST 000004d5: CALLVALUE 000004d6: DUP1 000004d7: ISZERO 000004d8: PUSH2 0x04e0 000004db: JUMPI 000004dc: PUSH1 0x00 000004de: DUP1 000004df: REVERT 000004e0: JUMPDEST 000004e1: POP 000004e2: PUSH2 0x04f4 000004e5: PUSH2 0x04ef 000004e8: CALLDATASIZE 000004e9: PUSH1 0x04 000004eb: PUSH2 0x2249 000004ee: JUMP 000004ef: JUMPDEST 000004f0: PUSH2 0x0df7 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH1 0x40 000004f7: MLOAD 000004f8: PUSH2 0x029b 000004fb: SWAP2 000004fc: SWAP1 000004fd: PUSH2 0x2264 00000500: JUMP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: DUP1 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: POP 0000050f: PUSH2 0x0335 00000512: PUSH1 0x01 00000514: DUP2 00000515: JUMP 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH1 0x06 00000526: SLOAD 00000527: PUSH1 0x01 00000529: PUSH1 0x01 0000052b: PUSH1 0xa0 0000052d: SHL 0000052e: SUB 0000052f: AND 00000530: PUSH2 0x02e6 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH2 0x031e 00000538: PUSH2 0x0542 0000053b: CALLDATASIZE 0000053c: PUSH1 0x04 0000053e: PUSH2 0x22a8 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH2 0x0ed9 00000546: JUMP 00000547: JUMPDEST 00000548: CALLVALUE 00000549: DUP1 0000054a: ISZERO 0000054b: PUSH2 0x0553 0000054e: JUMPI 0000054f: PUSH1 0x00 00000551: DUP1 00000552: REVERT 00000553: JUMPDEST 00000554: POP 00000555: PUSH2 0x02b9 00000558: PUSH2 0x0f4f 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH2 0x0335 00000560: PUSH2 0x056a 00000563: CALLDATASIZE 00000564: PUSH1 0x04 00000566: PUSH2 0x20cb 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH2 0x0f5e 0000056e: JUMP 0000056f: JUMPDEST 00000570: CALLVALUE 00000571: DUP1 00000572: ISZERO 00000573: PUSH2 0x057b 00000576: JUMPI 00000577: PUSH1 0x00 00000579: DUP1 0000057a: REVERT 0000057b: JUMPDEST 0000057c: POP 0000057d: PUSH2 0x031e 00000580: PUSH2 0x058a 00000583: CALLDATASIZE 00000584: PUSH1 0x04 00000586: PUSH2 0x22d4 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH2 0x1061 0000058e: JUMP 0000058f: JUMPDEST 00000590: CALLVALUE 00000591: DUP1 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x00 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: POP 0000059d: PUSH2 0x0335 000005a0: PUSH2 0x106c 000005a3: JUMP 000005a4: JUMPDEST 000005a5: CALLVALUE 000005a6: DUP1 000005a7: ISZERO 000005a8: PUSH2 0x05b0 000005ab: JUMPI 000005ac: PUSH1 0x00 000005ae: DUP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: PUSH2 0x0335 000005b5: PUSH2 0x05bf 000005b8: CALLDATASIZE 000005b9: PUSH1 0x04 000005bb: PUSH2 0x20cb 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH1 0x00 000005c2: SWAP1 000005c3: DUP2 000005c4: MSTORE 000005c5: PUSH1 0x09 000005c7: PUSH1 0x20 000005c9: MSTORE 000005ca: PUSH1 0x40 000005cc: SWAP1 000005cd: KECCAK256 000005ce: SLOAD 000005cf: SWAP1 000005d0: JUMP 000005d1: JUMPDEST 000005d2: CALLVALUE 000005d3: DUP1 000005d4: ISZERO 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: POP 000005df: PUSH2 0x05f1 000005e2: PUSH2 0x05ec 000005e5: CALLDATASIZE 000005e6: PUSH1 0x04 000005e8: PUSH2 0x2310 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH2 0x108b 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: PUSH2 0x029b 000005f8: SWAP2 000005f9: SWAP1 000005fa: PUSH2 0x23b6 000005fd: JUMP 000005fe: JUMPDEST 000005ff: CALLVALUE 00000600: DUP1 00000601: ISZERO 00000602: PUSH2 0x060a 00000605: JUMPI 00000606: PUSH1 0x00 00000608: DUP1 00000609: REVERT 0000060a: JUMPDEST 0000060b: POP 0000060c: PUSH2 0x031e 0000060f: PUSH2 0x0619 00000612: CALLDATASIZE 00000613: PUSH1 0x04 00000615: PUSH2 0x23f0 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH2 0x1167 0000061d: JUMP 0000061e: JUMPDEST 0000061f: CALLVALUE 00000620: DUP1 00000621: ISZERO 00000622: PUSH2 0x062a 00000625: JUMPI 00000626: PUSH1 0x00 00000628: DUP1 00000629: REVERT 0000062a: JUMPDEST 0000062b: POP 0000062c: PUSH2 0x02b9 0000062f: PUSH2 0x0639 00000632: CALLDATASIZE 00000633: PUSH1 0x04 00000635: PUSH2 0x20cb 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH2 0x11e5 0000063d: JUMP 0000063e: JUMPDEST 0000063f: CALLVALUE 00000640: DUP1 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: POP 0000064c: PUSH1 0x08 0000064e: SLOAD 0000064f: PUSH2 0x028f 00000652: SWAP1 00000653: PUSH1 0x01 00000655: PUSH1 0xe0 00000657: SHL 00000658: SWAP1 00000659: DIV 0000065a: PUSH1 0xff 0000065c: AND 0000065d: DUP2 0000065e: JUMP 0000065f: JUMPDEST 00000660: CALLVALUE 00000661: DUP1 00000662: ISZERO 00000663: PUSH2 0x066b 00000666: JUMPI 00000667: PUSH1 0x00 00000669: DUP1 0000066a: REVERT 0000066b: JUMPDEST 0000066c: POP 0000066d: PUSH1 0x08 0000066f: SLOAD 00000670: PUSH2 0x028f 00000673: SWAP1 00000674: PUSH1 0x01 00000676: PUSH1 0xe8 00000678: SHL 00000679: SWAP1 0000067a: DIV 0000067b: PUSH1 0xff 0000067d: AND 0000067e: DUP2 0000067f: JUMP 00000680: JUMPDEST 00000681: CALLVALUE 00000682: DUP1 00000683: ISZERO 00000684: PUSH2 0x068c 00000687: JUMPI 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: REVERT 0000068c: JUMPDEST 0000068d: POP 0000068e: PUSH2 0x031e 00000691: PUSH2 0x13df 00000694: JUMP 00000695: JUMPDEST 00000696: CALLVALUE 00000697: DUP1 00000698: ISZERO 00000699: PUSH2 0x06a1 0000069c: JUMPI 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: REVERT 000006a1: JUMPDEST 000006a2: POP 000006a3: PUSH2 0x028f 000006a6: PUSH2 0x06b0 000006a9: CALLDATASIZE 000006aa: PUSH1 0x04 000006ac: PUSH2 0x246c 000006af: JUMP 000006b0: JUMPDEST 000006b1: PUSH1 0x01 000006b3: PUSH1 0x01 000006b5: PUSH1 0xa0 000006b7: SHL 000006b8: SUB 000006b9: SWAP2 000006ba: DUP3 000006bb: AND 000006bc: PUSH1 0x00 000006be: SWAP1 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x05 000006c3: PUSH1 0x20 000006c5: SWAP1 000006c6: DUP2 000006c7: MSTORE 000006c8: PUSH1 0x40 000006ca: DUP1 000006cb: DUP4 000006cc: KECCAK256 000006cd: SWAP4 000006ce: SWAP1 000006cf: SWAP5 000006d0: AND 000006d1: DUP3 000006d2: MSTORE 000006d3: SWAP2 000006d4: SWAP1 000006d5: SWAP2 000006d6: MSTORE 000006d7: KECCAK256 000006d8: SLOAD 000006d9: PUSH1 0xff 000006db: AND 000006dc: SWAP1 000006dd: JUMP 000006de: JUMPDEST 000006df: CALLVALUE 000006e0: DUP1 000006e1: ISZERO 000006e2: PUSH2 0x06ea 000006e5: JUMPI 000006e6: PUSH1 0x00 000006e8: DUP1 000006e9: REVERT 000006ea: JUMPDEST 000006eb: POP 000006ec: PUSH2 0x0335 000006ef: PUSH2 0x06f9 000006f2: CALLDATASIZE 000006f3: PUSH1 0x04 000006f5: PUSH2 0x20cb 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x00 000006fc: SWAP1 000006fd: DUP2 000006fe: MSTORE 000006ff: PUSH1 0x0a 00000701: PUSH1 0x20 00000703: MSTORE 00000704: PUSH1 0x40 00000706: SWAP1 00000707: KECCAK256 00000708: SLOAD 00000709: SWAP1 0000070a: JUMP 0000070b: JUMPDEST 0000070c: CALLVALUE 0000070d: DUP1 0000070e: ISZERO 0000070f: PUSH2 0x0717 00000712: JUMPI 00000713: PUSH1 0x00 00000715: DUP1 00000716: REVERT 00000717: JUMPDEST 00000718: POP 00000719: PUSH2 0x031e 0000071c: PUSH2 0x0726 0000071f: CALLDATASIZE 00000720: PUSH1 0x04 00000722: PUSH2 0x2249 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH2 0x1417 0000072a: JUMP 0000072b: JUMPDEST 0000072c: CALLVALUE 0000072d: DUP1 0000072e: ISZERO 0000072f: PUSH2 0x0737 00000732: JUMPI 00000733: PUSH1 0x00 00000735: DUP1 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: PUSH1 0x08 0000073b: SLOAD 0000073c: PUSH2 0x048a 0000073f: SWAP1 00000740: PUSH1 0x01 00000742: PUSH1 0xc0 00000744: SHL 00000745: SWAP1 00000746: DIV 00000747: PUSH4 0xffffffff 0000074c: AND 0000074d: DUP2 0000074e: JUMP 0000074f: JUMPDEST 00000750: CALLVALUE 00000751: DUP1 00000752: ISZERO 00000753: PUSH2 0x075b 00000756: JUMPI 00000757: PUSH1 0x00 00000759: DUP1 0000075a: REVERT 0000075b: JUMPDEST 0000075c: POP 0000075d: PUSH2 0x031e 00000760: PUSH2 0x076a 00000763: CALLDATASIZE 00000764: PUSH1 0x04 00000766: PUSH2 0x2249 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH2 0x14a7 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH1 0x00 00000772: PUSH1 0x01 00000774: PUSH1 0x01 00000776: PUSH1 0xe0 00000778: SHL 00000779: SUB 0000077a: NOT 0000077b: DUP3 0000077c: AND 0000077d: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 0000079e: EQ 0000079f: DUP1 000007a0: PUSH2 0x07d2 000007a3: JUMPI 000007a4: POP 000007a5: PUSH1 0x01 000007a7: PUSH1 0x01 000007a9: PUSH1 0xe0 000007ab: SHL 000007ac: SUB 000007ad: NOT 000007ae: DUP3 000007af: AND 000007b0: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 000007d1: EQ 000007d2: JUMPDEST 000007d3: DUP1 000007d4: PUSH2 0x0806 000007d7: JUMPI 000007d8: POP 000007d9: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000007fa: PUSH1 0x01 000007fc: PUSH1 0x01 000007fe: PUSH1 0xe0 00000800: SHL 00000801: SUB 00000802: NOT 00000803: DUP4 00000804: AND 00000805: EQ 00000806: JUMPDEST 00000807: SWAP3 00000808: SWAP2 00000809: POP 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x60 0000080f: PUSH1 0x00 00000811: DUP1 00000812: SLOAD 00000813: PUSH2 0x081b 00000816: SWAP1 00000817: PUSH2 0x2496 0000081a: JUMP 0000081b: JUMPDEST 0000081c: DUP1 0000081d: PUSH1 0x1f 0000081f: ADD 00000820: PUSH1 0x20 00000822: DUP1 00000823: SWAP2 00000824: DIV 00000825: MUL 00000826: PUSH1 0x20 00000828: ADD 00000829: PUSH1 0x40 0000082b: MLOAD 0000082c: SWAP1 0000082d: DUP2 0000082e: ADD 0000082f: PUSH1 0x40 00000831: MSTORE 00000832: DUP1 00000833: SWAP3 00000834: SWAP2 00000835: SWAP1 00000836: DUP2 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: ADD 0000083c: DUP3 0000083d: DUP1 0000083e: SLOAD 0000083f: PUSH2 0x0847 00000842: SWAP1 00000843: PUSH2 0x2496 00000846: JUMP 00000847: JUMPDEST 00000848: DUP1 00000849: ISZERO 0000084a: PUSH2 0x0894 0000084d: JUMPI 0000084e: DUP1 0000084f: PUSH1 0x1f 00000851: LT 00000852: PUSH2 0x0869 00000855: JUMPI 00000856: PUSH2 0x0100 00000859: DUP1 0000085a: DUP4 0000085b: SLOAD 0000085c: DIV 0000085d: MUL 0000085e: DUP4 0000085f: MSTORE 00000860: SWAP2 00000861: PUSH1 0x20 00000863: ADD 00000864: SWAP2 00000865: PUSH2 0x0894 00000868: JUMP 00000869: JUMPDEST 0000086a: DUP3 0000086b: ADD 0000086c: SWAP2 0000086d: SWAP1 0000086e: PUSH1 0x00 00000870: MSTORE 00000871: PUSH1 0x20 00000873: PUSH1 0x00 00000875: KECCAK256 00000876: SWAP1 00000877: JUMPDEST 00000878: DUP2 00000879: SLOAD 0000087a: DUP2 0000087b: MSTORE 0000087c: SWAP1 0000087d: PUSH1 0x01 0000087f: ADD 00000880: SWAP1 00000881: PUSH1 0x20 00000883: ADD 00000884: DUP1 00000885: DUP4 00000886: GT 00000887: PUSH2 0x0877 0000088a: JUMPI 0000088b: DUP3 0000088c: SWAP1 0000088d: SUB 0000088e: PUSH1 0x1f 00000890: AND 00000891: DUP3 00000892: ADD 00000893: SWAP2 00000894: JUMPDEST 00000895: POP 00000896: POP 00000897: POP 00000898: POP 00000899: POP 0000089a: SWAP1 0000089b: POP 0000089c: SWAP1 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH1 0x00 000008a1: PUSH2 0x08a9 000008a4: DUP3 000008a5: PUSH2 0x1515 000008a8: JUMP 000008a9: JUMPDEST 000008aa: POP 000008ab: PUSH1 0x00 000008ad: SWAP1 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x04 000008b2: PUSH1 0x20 000008b4: MSTORE 000008b5: PUSH1 0x40 000008b7: SWAP1 000008b8: KECCAK256 000008b9: SLOAD 000008ba: PUSH1 0x01 000008bc: PUSH1 0x01 000008be: PUSH1 0xa0 000008c0: SHL 000008c1: SUB 000008c2: AND 000008c3: SWAP1 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH1 0x00 000008c8: PUSH2 0x08d0 000008cb: DUP3 000008cc: PUSH2 0x0b77 000008cf: JUMP 000008d0: JUMPDEST 000008d1: SWAP1 000008d2: POP 000008d3: DUP1 000008d4: PUSH1 0x01 000008d6: PUSH1 0x01 000008d8: PUSH1 0xa0 000008da: SHL 000008db: SUB 000008dc: AND 000008dd: DUP4 000008de: PUSH1 0x01 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: SHL 000008e5: SUB 000008e6: AND 000008e7: SUB 000008e8: PUSH2 0x095e 000008eb: JUMPI 000008ec: PUSH1 0x40 000008ee: MLOAD 000008ef: PUSH3 0x461bcd 000008f3: PUSH1 0xe5 000008f5: SHL 000008f6: DUP2 000008f7: MSTORE 000008f8: PUSH1 0x20 000008fa: PUSH1 0x04 000008fc: DUP3 000008fd: ADD 000008fe: MSTORE 000008ff: PUSH1 0x21 00000901: PUSH1 0x24 00000903: DUP3 00000904: ADD 00000905: MSTORE 00000906: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 00000927: PUSH1 0x44 00000929: DUP3 0000092a: ADD 0000092b: MSTORE 0000092c: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000 0000094d: PUSH1 0x64 0000094f: DUP3 00000950: ADD 00000951: MSTORE 00000952: PUSH1 0x84 00000954: ADD 00000955: JUMPDEST 00000956: PUSH1 0x40 00000958: MLOAD 00000959: DUP1 0000095a: SWAP2 0000095b: SUB 0000095c: SWAP1 0000095d: REVERT 0000095e: JUMPDEST 0000095f: CALLER 00000960: PUSH1 0x01 00000962: PUSH1 0x01 00000964: PUSH1 0xa0 00000966: SHL 00000967: SUB 00000968: DUP3 00000969: AND 0000096a: EQ 0000096b: DUP1 0000096c: PUSH2 0x0998 0000096f: JUMPI 00000970: POP 00000971: PUSH1 0x01 00000973: PUSH1 0x01 00000975: PUSH1 0xa0 00000977: SHL 00000978: SUB 00000979: DUP2 0000097a: AND 0000097b: PUSH1 0x00 0000097d: SWAP1 0000097e: DUP2 0000097f: MSTORE 00000980: PUSH1 0x05 00000982: PUSH1 0x20 00000984: SWAP1 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x40 00000989: DUP1 0000098a: DUP4 0000098b: KECCAK256 0000098c: CALLER 0000098d: DUP5 0000098e: MSTORE 0000098f: SWAP1 00000990: SWAP2 00000991: MSTORE 00000992: SWAP1 00000993: KECCAK256 00000994: SLOAD 00000995: PUSH1 0xff 00000997: AND 00000998: JUMPDEST 00000999: PUSH2 0x0a0a 0000099c: JUMPI 0000099d: PUSH1 0x40 0000099f: MLOAD 000009a0: PUSH3 0x461bcd 000009a4: PUSH1 0xe5 000009a6: SHL 000009a7: DUP2 000009a8: MSTORE 000009a9: PUSH1 0x20 000009ab: PUSH1 0x04 000009ad: DUP3 000009ae: ADD 000009af: MSTORE 000009b0: PUSH1 0x3d 000009b2: PUSH1 0x24 000009b4: DUP3 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f 000009d8: PUSH1 0x44 000009da: DUP3 000009db: ADD 000009dc: MSTORE 000009dd: PUSH32 0x6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000 000009fe: PUSH1 0x64 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH1 0x84 00000a05: ADD 00000a06: PUSH2 0x0955 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH2 0x0a14 00000a0e: DUP4 00000a0f: DUP4 00000a10: PUSH2 0x1579 00000a13: JUMP 00000a14: JUMPDEST 00000a15: POP 00000a16: POP 00000a17: POP 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: PUSH1 0x08 00000a1c: SLOAD 00000a1d: PUSH1 0x00 00000a1f: SWAP1 00000a20: PUSH4 0xffffffff 00000a25: PUSH1 0x01 00000a27: PUSH1 0xc0 00000a29: SHL 00000a2a: DUP3 00000a2b: DIV 00000a2c: DUP2 00000a2d: AND 00000a2e: SWAP2 00000a2f: PUSH2 0x0a42 00000a32: SWAP2 00000a33: PUSH1 0x01 00000a35: SWAP2 00000a36: PUSH1 0x01 00000a38: PUSH1 0xa0 00000a3a: SHL 00000a3b: SWAP1 00000a3c: DIV 00000a3d: AND 00000a3e: PUSH2 0x24e6 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH2 0x0a4c 00000a46: SWAP2 00000a47: SWAP1 00000a48: PUSH2 0x24e6 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: SWAP1 00000a4e: POP 00000a4f: SWAP1 00000a50: JUMP 00000a51: JUMPDEST 00000a52: PUSH2 0x0a5b 00000a55: CALLER 00000a56: DUP3 00000a57: PUSH2 0x15e7 00000a5a: JUMP 00000a5b: JUMPDEST 00000a5c: PUSH2 0x0abd 00000a5f: JUMPI 00000a60: PUSH1 0x40 00000a62: MLOAD 00000a63: PUSH3 0x461bcd 00000a67: PUSH1 0xe5 00000a69: SHL 00000a6a: DUP2 00000a6b: MSTORE 00000a6c: PUSH1 0x20 00000a6e: PUSH1 0x04 00000a70: DUP3 00000a71: ADD 00000a72: MSTORE 00000a73: PUSH1 0x2d 00000a75: PUSH1 0x24 00000a77: DUP3 00000a78: ADD 00000a79: MSTORE 00000a7a: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65 00000a9b: PUSH1 0x44 00000a9d: DUP3 00000a9e: ADD 00000a9f: MSTORE 00000aa0: PUSH13 0x1c881bdc88185c1c1c9bdd9959 00000aae: PUSH1 0x9a 00000ab0: SHL 00000ab1: PUSH1 0x64 00000ab3: DUP3 00000ab4: ADD 00000ab5: MSTORE 00000ab6: PUSH1 0x84 00000ab8: ADD 00000ab9: PUSH2 0x0955 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH2 0x0a14 00000ac1: DUP4 00000ac2: DUP4 00000ac3: DUP4 00000ac4: PUSH2 0x1666 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: PUSH2 0x0a14 00000acc: DUP4 00000acd: DUP4 00000ace: DUP4 00000acf: PUSH1 0x40 00000ad1: MLOAD 00000ad2: DUP1 00000ad3: PUSH1 0x20 00000ad5: ADD 00000ad6: PUSH1 0x40 00000ad8: MSTORE 00000ad9: DUP1 00000ada: PUSH1 0x00 00000adc: DUP2 00000add: MSTORE 00000ade: POP 00000adf: PUSH2 0x1167 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH2 0x0aeb 00000ae7: PUSH2 0x186c 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH1 0x08 00000aee: DUP1 00000aef: SLOAD 00000af0: PUSH32 0xff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000b11: AND 00000b12: PUSH1 0x01 00000b14: PUSH1 0xf0 00000b16: SHL 00000b17: OR 00000b18: SWAP1 00000b19: SSTORE 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: PUSH2 0x0b23 00000b1f: PUSH2 0x186c 00000b22: JUMP 00000b23: JUMPDEST 00000b24: PUSH1 0x08 00000b26: SLOAD 00000b27: PUSH1 0x01 00000b29: PUSH1 0xf0 00000b2b: SHL 00000b2c: SWAP1 00000b2d: DIV 00000b2e: PUSH1 0xff 00000b30: AND 00000b31: ISZERO 00000b32: PUSH2 0x0b67 00000b35: JUMPI 00000b36: PUSH1 0x40 00000b38: MLOAD 00000b39: PUSH3 0x461bcd 00000b3d: PUSH1 0xe5 00000b3f: SHL 00000b40: DUP2 00000b41: MSTORE 00000b42: PUSH1 0x20 00000b44: PUSH1 0x04 00000b46: DUP3 00000b47: ADD 00000b48: MSTORE 00000b49: PUSH1 0x07 00000b4b: PUSH1 0x24 00000b4d: DUP3 00000b4e: ADD 00000b4f: MSTORE 00000b50: PUSH7 0x2637b1b5b2b217 00000b58: PUSH1 0xc9 00000b5a: SHL 00000b5b: PUSH1 0x44 00000b5d: DUP3 00000b5e: ADD 00000b5f: MSTORE 00000b60: PUSH1 0x64 00000b62: ADD 00000b63: PUSH2 0x0955 00000b66: JUMP 00000b67: JUMPDEST 00000b68: PUSH1 0x07 00000b6a: PUSH2 0x0b73 00000b6d: DUP3 00000b6e: DUP3 00000b6f: PUSH2 0x2547 00000b72: JUMP 00000b73: JUMPDEST 00000b74: POP 00000b75: POP 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x00 00000b7a: DUP2 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x02 00000b7f: PUSH1 0x20 00000b81: MSTORE 00000b82: PUSH1 0x40 00000b84: DUP2 00000b85: KECCAK256 00000b86: SLOAD 00000b87: PUSH1 0x01 00000b89: PUSH1 0x01 00000b8b: PUSH1 0xa0 00000b8d: SHL 00000b8e: SUB 00000b8f: AND 00000b90: DUP1 00000b91: PUSH2 0x0806 00000b94: JUMPI 00000b95: PUSH1 0x40 00000b97: MLOAD 00000b98: PUSH3 0x461bcd 00000b9c: PUSH1 0xe5 00000b9e: SHL 00000b9f: DUP2 00000ba0: MSTORE 00000ba1: PUSH1 0x20 00000ba3: PUSH1 0x04 00000ba5: DUP3 00000ba6: ADD 00000ba7: MSTORE 00000ba8: PUSH1 0x18 00000baa: PUSH1 0x24 00000bac: DUP3 00000bad: ADD 00000bae: MSTORE 00000baf: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000 00000bd0: PUSH1 0x44 00000bd2: DUP3 00000bd3: ADD 00000bd4: MSTORE 00000bd5: PUSH1 0x64 00000bd7: ADD 00000bd8: PUSH2 0x0955 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: PUSH1 0x00 00000bdf: PUSH1 0x01 00000be1: PUSH1 0x01 00000be3: PUSH1 0xa0 00000be5: SHL 00000be6: SUB 00000be7: DUP3 00000be8: AND 00000be9: PUSH2 0x0c5a 00000bec: JUMPI 00000bed: PUSH1 0x40 00000bef: MLOAD 00000bf0: PUSH3 0x461bcd 00000bf4: PUSH1 0xe5 00000bf6: SHL 00000bf7: DUP2 00000bf8: MSTORE 00000bf9: PUSH1 0x20 00000bfb: PUSH1 0x04 00000bfd: DUP3 00000bfe: ADD 00000bff: MSTORE 00000c00: PUSH1 0x29 00000c02: PUSH1 0x24 00000c04: DUP3 00000c05: ADD 00000c06: MSTORE 00000c07: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661 00000c28: PUSH1 0x44 00000c2a: DUP3 00000c2b: ADD 00000c2c: MSTORE 00000c2d: PUSH32 0x6c6964206f776e65720000000000000000000000000000000000000000000000 00000c4e: PUSH1 0x64 00000c50: DUP3 00000c51: ADD 00000c52: MSTORE 00000c53: PUSH1 0x84 00000c55: ADD 00000c56: PUSH2 0x0955 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: POP 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0x01 00000c60: PUSH1 0xa0 00000c62: SHL 00000c63: SUB 00000c64: AND 00000c65: PUSH1 0x00 00000c67: SWAP1 00000c68: DUP2 00000c69: MSTORE 00000c6a: PUSH1 0x03 00000c6c: PUSH1 0x20 00000c6e: MSTORE 00000c6f: PUSH1 0x40 00000c71: SWAP1 00000c72: KECCAK256 00000c73: SLOAD 00000c74: SWAP1 00000c75: JUMP 00000c76: JUMPDEST 00000c77: PUSH2 0x0c7e 00000c7a: PUSH2 0x186c 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH2 0x0c88 00000c82: PUSH1 0x00 00000c84: PUSH2 0x18c6 00000c87: JUMP 00000c88: JUMPDEST 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH2 0x0c92 00000c8e: PUSH2 0x186c 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x08 00000c95: DUP1 00000c96: SLOAD 00000c97: PUSH32 0xffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000cb8: AND 00000cb9: PUSH1 0x01 00000cbb: PUSH1 0xe0 00000cbd: SHL 00000cbe: OR 00000cbf: SWAP1 00000cc0: SSTORE 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x08 00000cc5: DUP1 00000cc6: SLOAD 00000cc7: PUSH1 0x18 00000cc9: SWAP1 00000cca: PUSH2 0x0cdf 00000ccd: SWAP1 00000cce: PUSH1 0x01 00000cd0: PUSH1 0xc0 00000cd2: SHL 00000cd3: SWAP1 00000cd4: DIV 00000cd5: PUSH4 0xffffffff 00000cda: AND 00000cdb: PUSH2 0x2607 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: DUP3 00000ce1: SLOAD 00000ce2: PUSH4 0xffffffff 00000ce7: SWAP2 00000ce8: DUP3 00000ce9: AND 00000cea: PUSH2 0x0100 00000ced: SWAP4 00000cee: SWAP1 00000cef: SWAP4 00000cf0: EXP 00000cf1: SWAP3 00000cf2: DUP4 00000cf3: MUL 00000cf4: SWAP2 00000cf5: SWAP1 00000cf6: SWAP3 00000cf7: MUL 00000cf8: NOT 00000cf9: SWAP1 00000cfa: SWAP2 00000cfb: AND 00000cfc: OR 00000cfd: SWAP1 00000cfe: SSTORE 00000cff: PUSH1 0x00 00000d01: DUP2 00000d02: DUP2 00000d03: MSTORE 00000d04: PUSH1 0x09 00000d06: PUSH1 0x20 00000d08: MSTORE 00000d09: PUSH1 0x40 00000d0b: SWAP1 00000d0c: KECCAK256 00000d0d: SLOAD 00000d0e: CALLER 00000d0f: PUSH2 0x0d17 00000d12: DUP4 00000d13: PUSH2 0x0b77 00000d16: JUMP 00000d17: JUMPDEST 00000d18: PUSH1 0x01 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0xa0 00000d1e: SHL 00000d1f: SUB 00000d20: AND 00000d21: EQ 00000d22: PUSH2 0x0d6d 00000d25: JUMPI 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: PUSH3 0x461bcd 00000d2d: PUSH1 0xe5 00000d2f: SHL 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x20 00000d34: PUSH1 0x04 00000d36: DUP3 00000d37: ADD 00000d38: MSTORE 00000d39: PUSH1 0x1e 00000d3b: PUSH1 0x24 00000d3d: DUP3 00000d3e: ADD 00000d3f: MSTORE 00000d40: PUSH32 0x4d757374206f776e20426f6e6b6c657220746f2072656465656d2069742e0000 00000d61: PUSH1 0x44 00000d63: DUP3 00000d64: ADD 00000d65: MSTORE 00000d66: PUSH1 0x64 00000d68: ADD 00000d69: PUSH2 0x0955 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH2 0x0d76 00000d71: DUP3 00000d72: PUSH2 0x1918 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x08 00000d79: SLOAD 00000d7a: PUSH1 0x40 00000d7c: MLOAD 00000d7d: PUSH32 0xf591e6f300000000000000000000000000000000000000000000000000000000 00000d9e: DUP2 00000d9f: MSTORE 00000da0: PUSH1 0x04 00000da2: DUP2 00000da3: ADD 00000da4: DUP5 00000da5: SWAP1 00000da6: MSTORE 00000da7: PUSH1 0x01 00000da9: PUSH1 0x01 00000dab: PUSH1 0xa0 00000dad: SHL 00000dae: SUB 00000daf: SWAP1 00000db0: SWAP2 00000db1: AND 00000db2: SWAP1 00000db3: PUSH4 0xf591e6f3 00000db8: SWAP1 00000db9: PUSH1 0x24 00000dbb: ADD 00000dbc: PUSH1 0x00 00000dbe: PUSH1 0x40 00000dc0: MLOAD 00000dc1: DUP1 00000dc2: DUP4 00000dc3: SUB 00000dc4: DUP2 00000dc5: PUSH1 0x00 00000dc7: DUP8 00000dc8: DUP1 00000dc9: EXTCODESIZE 00000dca: ISZERO 00000dcb: DUP1 00000dcc: ISZERO 00000dcd: PUSH2 0x0dd5 00000dd0: JUMPI 00000dd1: PUSH1 0x00 00000dd3: DUP1 00000dd4: REVERT 00000dd5: JUMPDEST 00000dd6: POP 00000dd7: GAS 00000dd8: CALL 00000dd9: ISZERO 00000dda: DUP1 00000ddb: ISZERO 00000ddc: PUSH2 0x0de9 00000ddf: JUMPI 00000de0: RETURNDATASIZE 00000de1: PUSH1 0x00 00000de3: DUP1 00000de4: RETURNDATACOPY 00000de5: RETURNDATASIZE 00000de6: PUSH1 0x00 00000de8: REVERT 00000de9: JUMPDEST 00000dea: POP 00000deb: POP 00000dec: POP 00000ded: POP 00000dee: PUSH2 0x0b73 00000df1: CALLER 00000df2: DUP3 00000df3: PUSH2 0x19bb 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x60 00000dfa: PUSH1 0x00 00000dfc: PUSH2 0x0e04 00000dff: DUP4 00000e00: PUSH2 0x0bdc 00000e03: JUMP 00000e04: JUMPDEST 00000e05: SWAP1 00000e06: POP 00000e07: DUP1 00000e08: PUSH8 0xffffffffffffffff 00000e11: DUP2 00000e12: GT 00000e13: ISZERO 00000e14: PUSH2 0x0e1f 00000e17: JUMPI 00000e18: PUSH2 0x0e1f 00000e1b: PUSH2 0x2161 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: PUSH1 0x40 00000e22: MLOAD 00000e23: SWAP1 00000e24: DUP1 00000e25: DUP3 00000e26: MSTORE 00000e27: DUP1 00000e28: PUSH1 0x20 00000e2a: MUL 00000e2b: PUSH1 0x20 00000e2d: ADD 00000e2e: DUP3 00000e2f: ADD 00000e30: PUSH1 0x40 00000e32: MSTORE 00000e33: DUP1 00000e34: ISZERO 00000e35: PUSH2 0x0e48 00000e38: JUMPI 00000e39: DUP2 00000e3a: PUSH1 0x20 00000e3c: ADD 00000e3d: PUSH1 0x20 00000e3f: DUP3 00000e40: MUL 00000e41: DUP1 00000e42: CALLDATASIZE 00000e43: DUP4 00000e44: CALLDATACOPY 00000e45: ADD 00000e46: SWAP1 00000e47: POP 00000e48: JUMPDEST 00000e49: POP 00000e4a: PUSH1 0x08 00000e4c: SLOAD 00000e4d: SWAP1 00000e4e: SWAP3 00000e4f: POP 00000e50: PUSH1 0x01 00000e52: PUSH1 0xa0 00000e54: SHL 00000e55: SWAP1 00000e56: DIV 00000e57: PUSH4 0xffffffff 00000e5c: AND 00000e5d: PUSH1 0x00 00000e5f: PUSH1 0x01 00000e61: JUMPDEST 00000e62: DUP3 00000e63: DUP2 00000e64: LT 00000e65: DUP1 00000e66: ISZERO 00000e67: PUSH2 0x0e6f 00000e6a: JUMPI 00000e6b: POP 00000e6c: DUP4 00000e6d: DUP3 00000e6e: LT 00000e6f: JUMPDEST 00000e70: ISZERO 00000e71: PUSH2 0x0ed0 00000e74: JUMPI 00000e75: PUSH1 0x00 00000e77: DUP2 00000e78: DUP2 00000e79: MSTORE 00000e7a: PUSH1 0x02 00000e7c: PUSH1 0x20 00000e7e: MSTORE 00000e7f: PUSH1 0x40 00000e81: SWAP1 00000e82: KECCAK256 00000e83: SLOAD 00000e84: PUSH1 0x01 00000e86: PUSH1 0x01 00000e88: PUSH1 0xa0 00000e8a: SHL 00000e8b: SUB 00000e8c: DUP8 00000e8d: DUP2 00000e8e: AND 00000e8f: SWAP2 00000e90: AND 00000e91: SUB 00000e92: PUSH2 0x0ec0 00000e95: JUMPI 00000e96: DUP1 00000e97: DUP6 00000e98: DUP4 00000e99: PUSH2 0x0ea1 00000e9c: DUP2 00000e9d: PUSH2 0x262a 00000ea0: JUMP 00000ea1: JUMPDEST 00000ea2: SWAP5 00000ea3: POP 00000ea4: DUP2 00000ea5: MLOAD 00000ea6: DUP2 00000ea7: LT 00000ea8: PUSH2 0x0eb3 00000eab: JUMPI 00000eac: PUSH2 0x0eb3 00000eaf: PUSH2 0x2643 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: PUSH1 0x20 00000eb6: MUL 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: ADD 00000ebb: DUP2 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: POP 00000ebf: POP 00000ec0: JUMPDEST 00000ec1: PUSH2 0x0ec9 00000ec4: DUP2 00000ec5: PUSH2 0x262a 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: SWAP1 00000ecb: POP 00000ecc: PUSH2 0x0e61 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: POP 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: SWAP2 00000ed6: SWAP1 00000ed7: POP 00000ed8: JUMP 00000ed9: JUMPDEST 00000eda: PUSH1 0x08 00000edc: SLOAD 00000edd: PUSH1 0x01 00000edf: PUSH1 0x01 00000ee1: PUSH1 0xa0 00000ee3: SHL 00000ee4: SUB 00000ee5: AND 00000ee6: CALLER 00000ee7: EQ 00000ee8: PUSH2 0x0f33 00000eeb: JUMPI 00000eec: PUSH1 0x40 00000eee: MLOAD 00000eef: PUSH3 0x461bcd 00000ef3: PUSH1 0xe5 00000ef5: SHL 00000ef6: DUP2 00000ef7: MSTORE 00000ef8: PUSH1 0x20 00000efa: PUSH1 0x04 00000efc: DUP3 00000efd: ADD 00000efe: MSTORE 00000eff: PUSH1 0x14 00000f01: PUSH1 0x24 00000f03: DUP3 00000f04: ADD 00000f05: MSTORE 00000f06: PUSH32 0x556e617574686f72697a6564206d696e7465722e000000000000000000000000 00000f27: PUSH1 0x44 00000f29: DUP3 00000f2a: ADD 00000f2b: MSTORE 00000f2c: PUSH1 0x64 00000f2e: ADD 00000f2f: PUSH2 0x0955 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH1 0x00 00000f36: DUP3 00000f37: DUP2 00000f38: MSTORE 00000f39: PUSH1 0x09 00000f3b: PUSH1 0x20 00000f3d: MSTORE 00000f3e: PUSH1 0x40 00000f40: SWAP1 00000f41: KECCAK256 00000f42: CALLVALUE 00000f43: SWAP1 00000f44: SSTORE 00000f45: PUSH2 0x0b73 00000f48: CALLER 00000f49: DUP3 00000f4a: DUP5 00000f4b: PUSH2 0x1666 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH1 0x60 00000f52: PUSH1 0x01 00000f54: DUP1 00000f55: SLOAD 00000f56: PUSH2 0x081b 00000f59: SWAP1 00000f5a: PUSH2 0x2496 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: PUSH1 0x08 00000f61: SLOAD 00000f62: PUSH1 0x00 00000f64: SWAP1 00000f65: PUSH1 0x01 00000f67: PUSH1 0x01 00000f69: PUSH1 0xa0 00000f6b: SHL 00000f6c: SUB 00000f6d: AND 00000f6e: CALLER 00000f6f: EQ 00000f70: PUSH2 0x0fbb 00000f73: JUMPI 00000f74: PUSH1 0x40 00000f76: MLOAD 00000f77: PUSH3 0x461bcd 00000f7b: PUSH1 0xe5 00000f7d: SHL 00000f7e: DUP2 00000f7f: MSTORE 00000f80: PUSH1 0x20 00000f82: PUSH1 0x04 00000f84: DUP3 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH1 0x14 00000f89: PUSH1 0x24 00000f8b: DUP3 00000f8c: ADD 00000f8d: MSTORE 00000f8e: PUSH32 0x556e617574686f72697a6564206d696e7465722e000000000000000000000000 00000faf: PUSH1 0x44 00000fb1: DUP3 00000fb2: ADD 00000fb3: MSTORE 00000fb4: PUSH1 0x64 00000fb6: ADD 00000fb7: PUSH2 0x0955 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: PUSH1 0x08 00000fbe: SLOAD 00000fbf: PUSH1 0x01 00000fc1: PUSH1 0xe8 00000fc3: SHL 00000fc4: SWAP1 00000fc5: DIV 00000fc6: PUSH1 0xff 00000fc8: AND 00000fc9: ISZERO 00000fca: PUSH2 0x0fff 00000fcd: JUMPI 00000fce: PUSH1 0x40 00000fd0: MLOAD 00000fd1: PUSH3 0x461bcd 00000fd5: PUSH1 0xe5 00000fd7: SHL 00000fd8: DUP2 00000fd9: MSTORE 00000fda: PUSH1 0x20 00000fdc: PUSH1 0x04 00000fde: DUP3 00000fdf: ADD 00000fe0: MSTORE 00000fe1: PUSH1 0x07 00000fe3: PUSH1 0x24 00000fe5: DUP3 00000fe6: ADD 00000fe7: MSTORE 00000fe8: PUSH7 0x2637b1b5b2b217 00000ff0: PUSH1 0xc9 00000ff2: SHL 00000ff3: PUSH1 0x44 00000ff5: DUP3 00000ff6: ADD 00000ff7: MSTORE 00000ff8: PUSH1 0x64 00000ffa: ADD 00000ffb: PUSH2 0x0955 00000ffe: JUMP 00000fff: JUMPDEST 00001000: PUSH1 0x08 00001002: DUP1 00001003: SLOAD 00001004: PUSH1 0x01 00001006: PUSH1 0xa0 00001008: SHL 00001009: SWAP1 0000100a: DIV 0000100b: PUSH4 0xffffffff 00001010: AND 00001011: SWAP1 00001012: PUSH1 0x14 00001014: PUSH2 0x101c 00001017: DUP4 00001018: PUSH2 0x2607 0000101b: JUMP 0000101c: JUMPDEST 0000101d: SWAP2 0000101e: SWAP1 0000101f: PUSH2 0x0100 00001022: EXP 00001023: DUP2 00001024: SLOAD 00001025: DUP2 00001026: PUSH4 0xffffffff 0000102b: MUL 0000102c: NOT 0000102d: AND 0000102e: SWAP1 0000102f: DUP4 00001030: PUSH4 0xffffffff 00001035: AND 00001036: MUL 00001037: OR 00001038: SWAP1 00001039: SSTORE 0000103a: POP 0000103b: PUSH4 0xffffffff 00001040: AND 00001041: SWAP1 00001042: POP 00001043: PUSH2 0x104c 00001046: CALLER 00001047: DUP3 00001048: PUSH2 0x19ff 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH1 0x00 0000104f: DUP2 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x0a 00001054: PUSH1 0x20 00001056: MSTORE 00001057: PUSH1 0x40 00001059: SWAP1 0000105a: KECCAK256 0000105b: SWAP2 0000105c: SWAP1 0000105d: SWAP2 0000105e: SSTORE 0000105f: SWAP1 00001060: JUMP 00001061: JUMPDEST 00001062: PUSH2 0x0b73 00001065: CALLER 00001066: DUP4 00001067: DUP4 00001068: PUSH2 0x1b98 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x08 0000106f: SLOAD 00001070: PUSH1 0x00 00001072: SWAP1 00001073: PUSH2 0x0a4c 00001076: SWAP1 00001077: PUSH1 0x01 00001079: SWAP1 0000107a: PUSH1 0x01 0000107c: PUSH1 0xa0 0000107e: SHL 0000107f: SWAP1 00001080: DIV 00001081: PUSH4 0xffffffff 00001086: AND 00001087: PUSH2 0x24e6 0000108a: JUMP 0000108b: JUMPDEST 0000108c: DUP1 0000108d: MLOAD 0000108e: PUSH1 0x60 00001090: SWAP1 00001091: DUP1 00001092: PUSH8 0xffffffffffffffff 0000109b: DUP2 0000109c: GT 0000109d: ISZERO 0000109e: PUSH2 0x10a9 000010a1: JUMPI 000010a2: PUSH2 0x10a9 000010a5: PUSH2 0x2161 000010a8: JUMP 000010a9: JUMPDEST 000010aa: PUSH1 0x40 000010ac: MLOAD 000010ad: SWAP1 000010ae: DUP1 000010af: DUP3 000010b0: MSTORE 000010b1: DUP1 000010b2: PUSH1 0x20 000010b4: MUL 000010b5: PUSH1 0x20 000010b7: ADD 000010b8: DUP3 000010b9: ADD 000010ba: PUSH1 0x40 000010bc: MSTORE 000010bd: DUP1 000010be: ISZERO 000010bf: PUSH2 0x10d2 000010c2: JUMPI 000010c3: DUP2 000010c4: PUSH1 0x20 000010c6: ADD 000010c7: PUSH1 0x20 000010c9: DUP3 000010ca: MUL 000010cb: DUP1 000010cc: CALLDATASIZE 000010cd: DUP4 000010ce: CALLDATACOPY 000010cf: ADD 000010d0: SWAP1 000010d1: POP 000010d2: JUMPDEST 000010d3: POP 000010d4: SWAP2 000010d5: POP 000010d6: PUSH1 0x00 000010d8: JUMPDEST 000010d9: DUP2 000010da: DUP2 000010db: LT 000010dc: ISZERO 000010dd: PUSH2 0x1160 000010e0: JUMPI 000010e1: PUSH1 0x00 000010e3: PUSH1 0x01 000010e5: PUSH1 0x01 000010e7: PUSH1 0xa0 000010e9: SHL 000010ea: SUB 000010eb: AND 000010ec: PUSH2 0x1123 000010ef: DUP6 000010f0: DUP4 000010f1: DUP2 000010f2: MLOAD 000010f3: DUP2 000010f4: LT 000010f5: PUSH2 0x1100 000010f8: JUMPI 000010f9: PUSH2 0x1100 000010fc: PUSH2 0x2643 000010ff: JUMP 00001100: JUMPDEST 00001101: PUSH1 0x20 00001103: MUL 00001104: PUSH1 0x20 00001106: ADD 00001107: ADD 00001108: MLOAD 00001109: PUSH1 0x00 0000110b: SWAP1 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x02 00001110: PUSH1 0x20 00001112: MSTORE 00001113: PUSH1 0x40 00001115: SWAP1 00001116: KECCAK256 00001117: SLOAD 00001118: PUSH1 0x01 0000111a: PUSH1 0x01 0000111c: PUSH1 0xa0 0000111e: SHL 0000111f: SUB 00001120: AND 00001121: SWAP1 00001122: JUMP 00001123: JUMPDEST 00001124: PUSH1 0x01 00001126: PUSH1 0x01 00001128: PUSH1 0xa0 0000112a: SHL 0000112b: SUB 0000112c: AND 0000112d: EQ 0000112e: ISZERO 0000112f: DUP4 00001130: DUP3 00001131: DUP2 00001132: MLOAD 00001133: DUP2 00001134: LT 00001135: PUSH2 0x1140 00001138: JUMPI 00001139: PUSH2 0x1140 0000113c: PUSH2 0x2643 0000113f: JUMP 00001140: JUMPDEST 00001141: SWAP2 00001142: ISZERO 00001143: ISZERO 00001144: PUSH1 0x20 00001146: SWAP3 00001147: DUP4 00001148: MUL 00001149: SWAP2 0000114a: SWAP1 0000114b: SWAP2 0000114c: ADD 0000114d: SWAP1 0000114e: SWAP2 0000114f: ADD 00001150: MSTORE 00001151: PUSH2 0x1159 00001154: DUP2 00001155: PUSH2 0x262a 00001158: JUMP 00001159: JUMPDEST 0000115a: SWAP1 0000115b: POP 0000115c: PUSH2 0x10d8 0000115f: JUMP 00001160: JUMPDEST 00001161: POP 00001162: POP 00001163: SWAP2 00001164: SWAP1 00001165: POP 00001166: JUMP 00001167: JUMPDEST 00001168: PUSH2 0x1171 0000116b: CALLER 0000116c: DUP4 0000116d: PUSH2 0x15e7 00001170: JUMP 00001171: JUMPDEST 00001172: PUSH2 0x11d3 00001175: JUMPI 00001176: PUSH1 0x40 00001178: MLOAD 00001179: PUSH3 0x461bcd 0000117d: PUSH1 0xe5 0000117f: SHL 00001180: DUP2 00001181: MSTORE 00001182: PUSH1 0x20 00001184: PUSH1 0x04 00001186: DUP3 00001187: ADD 00001188: MSTORE 00001189: PUSH1 0x2d 0000118b: PUSH1 0x24 0000118d: DUP3 0000118e: ADD 0000118f: MSTORE 00001190: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65 000011b1: PUSH1 0x44 000011b3: DUP3 000011b4: ADD 000011b5: MSTORE 000011b6: PUSH13 0x1c881bdc88185c1c1c9bdd9959 000011c4: PUSH1 0x9a 000011c6: SHL 000011c7: PUSH1 0x64 000011c9: DUP3 000011ca: ADD 000011cb: MSTORE 000011cc: PUSH1 0x84 000011ce: ADD 000011cf: PUSH2 0x0955 000011d2: JUMP 000011d3: JUMPDEST 000011d4: PUSH2 0x11df 000011d7: DUP5 000011d8: DUP5 000011d9: DUP5 000011da: DUP5 000011db: PUSH2 0x1c66 000011de: JUMP 000011df: JUMPDEST 000011e0: POP 000011e1: POP 000011e2: POP 000011e3: POP 000011e4: JUMP 000011e5: JUMPDEST 000011e6: PUSH1 0x00 000011e8: DUP2 000011e9: DUP2 000011ea: MSTORE 000011eb: PUSH1 0x02 000011ed: PUSH1 0x20 000011ef: MSTORE 000011f0: PUSH1 0x40 000011f2: SWAP1 000011f3: KECCAK256 000011f4: SLOAD 000011f5: PUSH1 0x60 000011f7: SWAP1 000011f8: PUSH1 0x01 000011fa: PUSH1 0x01 000011fc: PUSH1 0xa0 000011fe: SHL 000011ff: SUB 00001200: AND 00001201: PUSH2 0x124c 00001204: JUMPI 00001205: PUSH1 0x40 00001207: MLOAD 00001208: PUSH3 0x461bcd 0000120c: PUSH1 0xe5 0000120e: SHL 0000120f: DUP2 00001210: MSTORE 00001211: PUSH1 0x20 00001213: PUSH1 0x04 00001215: DUP3 00001216: ADD 00001217: MSTORE 00001218: PUSH1 0x15 0000121a: PUSH1 0x24 0000121c: DUP3 0000121d: ADD 0000121e: MSTORE 0000121f: PUSH32 0x546f6b656e20646f6573206e6f742065786973742e0000000000000000000000 00001240: PUSH1 0x44 00001242: DUP3 00001243: ADD 00001244: MSTORE 00001245: PUSH1 0x64 00001247: ADD 00001248: PUSH2 0x0955 0000124b: JUMP 0000124c: JUMPDEST 0000124d: PUSH1 0x07 0000124f: DUP1 00001250: SLOAD 00001251: PUSH2 0x1259 00001254: SWAP1 00001255: PUSH2 0x2496 00001258: JUMP 00001259: JUMPDEST 0000125a: DUP1 0000125b: PUSH1 0x1f 0000125d: ADD 0000125e: PUSH1 0x20 00001260: DUP1 00001261: SWAP2 00001262: DIV 00001263: MUL 00001264: PUSH1 0x20 00001266: ADD 00001267: PUSH1 0x40 00001269: MLOAD 0000126a: SWAP1 0000126b: DUP2 0000126c: ADD 0000126d: PUSH1 0x40 0000126f: MSTORE 00001270: DUP1 00001271: SWAP3 00001272: SWAP2 00001273: SWAP1 00001274: DUP2 00001275: DUP2 00001276: MSTORE 00001277: PUSH1 0x20 00001279: ADD 0000127a: DUP3 0000127b: DUP1 0000127c: SLOAD 0000127d: PUSH2 0x1285 00001280: SWAP1 00001281: PUSH2 0x2496 00001284: JUMP 00001285: JUMPDEST 00001286: DUP1 00001287: ISZERO 00001288: PUSH2 0x12d2 0000128b: JUMPI 0000128c: DUP1 0000128d: PUSH1 0x1f 0000128f: LT 00001290: PUSH2 0x12a7 00001293: JUMPI 00001294: PUSH2 0x0100 00001297: DUP1 00001298: DUP4 00001299: SLOAD 0000129a: DIV 0000129b: MUL 0000129c: DUP4 0000129d: MSTORE 0000129e: SWAP2 0000129f: PUSH1 0x20 000012a1: ADD 000012a2: SWAP2 000012a3: PUSH2 0x12d2 000012a6: JUMP 000012a7: JUMPDEST 000012a8: DUP3 000012a9: ADD 000012aa: SWAP2 000012ab: SWAP1 000012ac: PUSH1 0x00 000012ae: MSTORE 000012af: PUSH1 0x20 000012b1: PUSH1 0x00 000012b3: KECCAK256 000012b4: SWAP1 000012b5: JUMPDEST 000012b6: DUP2 000012b7: SLOAD 000012b8: DUP2 000012b9: MSTORE 000012ba: SWAP1 000012bb: PUSH1 0x01 000012bd: ADD 000012be: SWAP1 000012bf: PUSH1 0x20 000012c1: ADD 000012c2: DUP1 000012c3: DUP4 000012c4: GT 000012c5: PUSH2 0x12b5 000012c8: JUMPI 000012c9: DUP3 000012ca: SWAP1 000012cb: SUB 000012cc: PUSH1 0x1f 000012ce: AND 000012cf: DUP3 000012d0: ADD 000012d1: SWAP2 000012d2: JUMPDEST 000012d3: POP 000012d4: POP 000012d5: POP 000012d6: POP 000012d7: POP 000012d8: SWAP1 000012d9: POP 000012da: DUP1 000012db: MLOAD 000012dc: PUSH1 0x00 000012de: EQ 000012df: PUSH2 0x13da 000012e2: JUMPI 000012e3: PUSH2 0x132c 000012e6: PUSH1 0x40 000012e8: MLOAD 000012e9: DUP1 000012ea: PUSH1 0x40 000012ec: ADD 000012ed: PUSH1 0x40 000012ef: MSTORE 000012f0: DUP1 000012f1: PUSH1 0x04 000012f3: DUP2 000012f4: MSTORE 000012f5: PUSH1 0x20 000012f7: ADD 000012f8: PUSH32 0x7b69647d00000000000000000000000000000000000000000000000000000000 00001319: DUP2 0000131a: MSTORE 0000131b: POP 0000131c: PUSH2 0x1324 0000131f: DUP5 00001320: PUSH2 0x1cef 00001323: JUMP 00001324: JUMPDEST 00001325: DUP4 00001326: SWAP2 00001327: SWAP1 00001328: PUSH2 0x1d33 0000132b: JUMP 0000132c: JUMPDEST 0000132d: SWAP1 0000132e: POP 0000132f: PUSH2 0x1383 00001332: PUSH1 0x40 00001334: MLOAD 00001335: DUP1 00001336: PUSH1 0x40 00001338: ADD 00001339: PUSH1 0x40 0000133b: MSTORE 0000133c: DUP1 0000133d: PUSH1 0x08 0000133f: DUP2 00001340: MSTORE 00001341: PUSH1 0x20 00001343: ADD 00001344: PUSH32 0x7b7368617265737d000000000000000000000000000000000000000000000000 00001365: DUP2 00001366: MSTORE 00001367: POP 00001368: PUSH2 0x1324 0000136b: PUSH1 0x09 0000136d: PUSH1 0x00 0000136f: DUP7 00001370: DUP2 00001371: MSTORE 00001372: PUSH1 0x20 00001374: ADD 00001375: SWAP1 00001376: DUP2 00001377: MSTORE 00001378: PUSH1 0x20 0000137a: ADD 0000137b: PUSH1 0x00 0000137d: KECCAK256 0000137e: SLOAD 0000137f: PUSH2 0x1cef 00001382: JUMP 00001383: JUMPDEST 00001384: SWAP1 00001385: POP 00001386: PUSH2 0x0806 00001389: PUSH1 0x40 0000138b: MLOAD 0000138c: DUP1 0000138d: PUSH1 0x40 0000138f: ADD 00001390: PUSH1 0x40 00001392: MSTORE 00001393: DUP1 00001394: PUSH1 0x06 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x20 0000139a: ADD 0000139b: PUSH32 0x7b686173687d0000000000000000000000000000000000000000000000000000 000013bc: DUP2 000013bd: MSTORE 000013be: POP 000013bf: PUSH2 0x1324 000013c2: PUSH1 0x0a 000013c4: PUSH1 0x00 000013c6: DUP7 000013c7: DUP2 000013c8: MSTORE 000013c9: PUSH1 0x20 000013cb: ADD 000013cc: SWAP1 000013cd: DUP2 000013ce: MSTORE 000013cf: PUSH1 0x20 000013d1: ADD 000013d2: PUSH1 0x00 000013d4: KECCAK256 000013d5: SLOAD 000013d6: PUSH2 0x1cef 000013d9: JUMP 000013da: JUMPDEST 000013db: SWAP2 000013dc: SWAP1 000013dd: POP 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH2 0x13e7 000013e3: PUSH2 0x186c 000013e6: JUMP 000013e7: JUMPDEST 000013e8: PUSH1 0x08 000013ea: DUP1 000013eb: SLOAD 000013ec: PUSH32 0xffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000140d: AND 0000140e: PUSH1 0x01 00001410: PUSH1 0xe8 00001412: SHL 00001413: OR 00001414: SWAP1 00001415: SSTORE 00001416: JUMP 00001417: JUMPDEST 00001418: PUSH2 0x141f 0000141b: PUSH2 0x186c 0000141e: JUMP 0000141f: JUMPDEST 00001420: PUSH1 0x01 00001422: PUSH1 0x01 00001424: PUSH1 0xa0 00001426: SHL 00001427: SUB 00001428: DUP2 00001429: AND 0000142a: PUSH2 0x149b 0000142d: JUMPI 0000142e: PUSH1 0x40 00001430: MLOAD 00001431: PUSH3 0x461bcd 00001435: PUSH1 0xe5 00001437: SHL 00001438: DUP2 00001439: MSTORE 0000143a: PUSH1 0x20 0000143c: PUSH1 0x04 0000143e: DUP3 0000143f: ADD 00001440: MSTORE 00001441: PUSH1 0x26 00001443: PUSH1 0x24 00001445: DUP3 00001446: ADD 00001447: MSTORE 00001448: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001469: PUSH1 0x44 0000146b: DUP3 0000146c: ADD 0000146d: MSTORE 0000146e: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000148f: PUSH1 0x64 00001491: DUP3 00001492: ADD 00001493: MSTORE 00001494: PUSH1 0x84 00001496: ADD 00001497: PUSH2 0x0955 0000149a: JUMP 0000149b: JUMPDEST 0000149c: PUSH2 0x14a4 0000149f: DUP2 000014a0: PUSH2 0x18c6 000014a3: JUMP 000014a4: JUMPDEST 000014a5: POP 000014a6: JUMP 000014a7: JUMPDEST 000014a8: PUSH2 0x14af 000014ab: PUSH2 0x186c 000014ae: JUMP 000014af: JUMPDEST 000014b0: PUSH1 0x08 000014b2: SLOAD 000014b3: PUSH1 0x01 000014b5: PUSH1 0xe0 000014b7: SHL 000014b8: SWAP1 000014b9: DIV 000014ba: PUSH1 0xff 000014bc: AND 000014bd: ISZERO 000014be: PUSH2 0x14f3 000014c1: JUMPI 000014c2: PUSH1 0x40 000014c4: MLOAD 000014c5: PUSH3 0x461bcd 000014c9: PUSH1 0xe5 000014cb: SHL 000014cc: DUP2 000014cd: MSTORE 000014ce: PUSH1 0x20 000014d0: PUSH1 0x04 000014d2: DUP3 000014d3: ADD 000014d4: MSTORE 000014d5: PUSH1 0x07 000014d7: PUSH1 0x24 000014d9: DUP3 000014da: ADD 000014db: MSTORE 000014dc: PUSH7 0x2637b1b5b2b217 000014e4: PUSH1 0xc9 000014e6: SHL 000014e7: PUSH1 0x44 000014e9: DUP3 000014ea: ADD 000014eb: MSTORE 000014ec: PUSH1 0x64 000014ee: ADD 000014ef: PUSH2 0x0955 000014f2: JUMP 000014f3: JUMPDEST 000014f4: PUSH1 0x08 000014f6: DUP1 000014f7: SLOAD 000014f8: PUSH1 0x01 000014fa: PUSH1 0x01 000014fc: PUSH1 0xa0 000014fe: SHL 000014ff: SUB 00001500: NOT 00001501: AND 00001502: PUSH1 0x01 00001504: PUSH1 0x01 00001506: PUSH1 0xa0 00001508: SHL 00001509: SUB 0000150a: SWAP3 0000150b: SWAP1 0000150c: SWAP3 0000150d: AND 0000150e: SWAP2 0000150f: SWAP1 00001510: SWAP2 00001511: OR 00001512: SWAP1 00001513: SSTORE 00001514: JUMP 00001515: JUMPDEST 00001516: PUSH1 0x00 00001518: DUP2 00001519: DUP2 0000151a: MSTORE 0000151b: PUSH1 0x02 0000151d: PUSH1 0x20 0000151f: MSTORE 00001520: PUSH1 0x40 00001522: SWAP1 00001523: KECCAK256 00001524: SLOAD 00001525: PUSH1 0x01 00001527: PUSH1 0x01 00001529: PUSH1 0xa0 0000152b: SHL 0000152c: SUB 0000152d: AND 0000152e: PUSH2 0x14a4 00001531: JUMPI 00001532: PUSH1 0x40 00001534: MLOAD 00001535: PUSH3 0x461bcd 00001539: PUSH1 0xe5 0000153b: SHL 0000153c: DUP2 0000153d: MSTORE 0000153e: PUSH1 0x20 00001540: PUSH1 0x04 00001542: DUP3 00001543: ADD 00001544: MSTORE 00001545: PUSH1 0x18 00001547: PUSH1 0x24 00001549: DUP3 0000154a: ADD 0000154b: MSTORE 0000154c: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000 0000156d: PUSH1 0x44 0000156f: DUP3 00001570: ADD 00001571: MSTORE 00001572: PUSH1 0x64 00001574: ADD 00001575: PUSH2 0x0955 00001578: JUMP 00001579: JUMPDEST 0000157a: PUSH1 0x00 0000157c: DUP2 0000157d: DUP2 0000157e: MSTORE 0000157f: PUSH1 0x04 00001581: PUSH1 0x20 00001583: MSTORE 00001584: PUSH1 0x40 00001586: SWAP1 00001587: KECCAK256 00001588: DUP1 00001589: SLOAD 0000158a: PUSH1 0x01 0000158c: PUSH1 0x01 0000158e: PUSH1 0xa0 00001590: SHL 00001591: SUB 00001592: NOT 00001593: AND 00001594: PUSH1 0x01 00001596: PUSH1 0x01 00001598: PUSH1 0xa0 0000159a: SHL 0000159b: SUB 0000159c: DUP5 0000159d: AND 0000159e: SWAP1 0000159f: DUP2 000015a0: OR 000015a1: SWAP1 000015a2: SWAP2 000015a3: SSTORE 000015a4: DUP2 000015a5: SWAP1 000015a6: PUSH2 0x15ae 000015a9: DUP3 000015aa: PUSH2 0x0b77 000015ad: JUMP 000015ae: JUMPDEST 000015af: PUSH1 0x01 000015b1: PUSH1 0x01 000015b3: PUSH1 0xa0 000015b5: SHL 000015b6: SUB 000015b7: AND 000015b8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000015d9: PUSH1 0x40 000015db: MLOAD 000015dc: PUSH1 0x40 000015de: MLOAD 000015df: DUP1 000015e0: SWAP2 000015e1: SUB 000015e2: SWAP1 000015e3: LOG4 000015e4: POP 000015e5: POP 000015e6: JUMP 000015e7: JUMPDEST 000015e8: PUSH1 0x00 000015ea: DUP1 000015eb: PUSH2 0x15f3 000015ee: DUP4 000015ef: PUSH2 0x0b77 000015f2: JUMP 000015f3: JUMPDEST 000015f4: SWAP1 000015f5: POP 000015f6: DUP1 000015f7: PUSH1 0x01 000015f9: PUSH1 0x01 000015fb: PUSH1 0xa0 000015fd: SHL 000015fe: SUB 000015ff: AND 00001600: DUP5 00001601: PUSH1 0x01 00001603: PUSH1 0x01 00001605: PUSH1 0xa0 00001607: SHL 00001608: SUB 00001609: AND 0000160a: EQ 0000160b: DUP1 0000160c: PUSH2 0x163a 0000160f: JUMPI 00001610: POP 00001611: PUSH1 0x01 00001613: PUSH1 0x01 00001615: PUSH1 0xa0 00001617: SHL 00001618: SUB 00001619: DUP1 0000161a: DUP3 0000161b: AND 0000161c: PUSH1 0x00 0000161e: SWAP1 0000161f: DUP2 00001620: MSTORE 00001621: PUSH1 0x05 00001623: PUSH1 0x20 00001625: SWAP1 00001626: DUP2 00001627: MSTORE 00001628: PUSH1 0x40 0000162a: DUP1 0000162b: DUP4 0000162c: KECCAK256 0000162d: SWAP4 0000162e: DUP9 0000162f: AND 00001630: DUP4 00001631: MSTORE 00001632: SWAP3 00001633: SWAP1 00001634: MSTORE 00001635: KECCAK256 00001636: SLOAD 00001637: PUSH1 0xff 00001639: AND 0000163a: JUMPDEST 0000163b: DUP1 0000163c: PUSH2 0x165e 0000163f: JUMPI 00001640: POP 00001641: DUP4 00001642: PUSH1 0x01 00001644: PUSH1 0x01 00001646: PUSH1 0xa0 00001648: SHL 00001649: SUB 0000164a: AND 0000164b: PUSH2 0x1653 0000164e: DUP5 0000164f: PUSH2 0x089e 00001652: JUMP 00001653: JUMPDEST 00001654: PUSH1 0x01 00001656: PUSH1 0x01 00001658: PUSH1 0xa0 0000165a: SHL 0000165b: SUB 0000165c: AND 0000165d: EQ 0000165e: JUMPDEST 0000165f: SWAP5 00001660: SWAP4 00001661: POP 00001662: POP 00001663: POP 00001664: POP 00001665: JUMP 00001666: JUMPDEST 00001667: DUP3 00001668: PUSH1 0x01 0000166a: PUSH1 0x01 0000166c: PUSH1 0xa0 0000166e: SHL 0000166f: SUB 00001670: AND 00001671: PUSH2 0x1679 00001674: DUP3 00001675: PUSH2 0x0b77 00001678: JUMP 00001679: JUMPDEST 0000167a: PUSH1 0x01 0000167c: PUSH1 0x01 0000167e: PUSH1 0xa0 00001680: SHL 00001681: SUB 00001682: AND 00001683: EQ 00001684: PUSH2 0x16dd 00001687: JUMPI 00001688: PUSH1 0x40 0000168a: MLOAD 0000168b: PUSH3 0x461bcd 0000168f: PUSH1 0xe5 00001691: SHL 00001692: DUP2 00001693: MSTORE 00001694: PUSH1 0x20 00001696: PUSH1 0x04 00001698: DUP3 00001699: ADD 0000169a: MSTORE 0000169b: PUSH1 0x25 0000169d: PUSH1 0x24 0000169f: DUP3 000016a0: ADD 000016a1: MSTORE 000016a2: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420 000016c3: PUSH1 0x44 000016c5: DUP3 000016c6: ADD 000016c7: MSTORE 000016c8: PUSH5 0x37bbb732b9 000016ce: PUSH1 0xd9 000016d0: SHL 000016d1: PUSH1 0x64 000016d3: DUP3 000016d4: ADD 000016d5: MSTORE 000016d6: PUSH1 0x84 000016d8: ADD 000016d9: PUSH2 0x0955 000016dc: JUMP 000016dd: JUMPDEST 000016de: PUSH1 0x01 000016e0: PUSH1 0x01 000016e2: PUSH1 0xa0 000016e4: SHL 000016e5: SUB 000016e6: DUP3 000016e7: AND 000016e8: PUSH2 0x1758 000016eb: JUMPI 000016ec: PUSH1 0x40 000016ee: MLOAD 000016ef: PUSH3 0x461bcd 000016f3: PUSH1 0xe5 000016f5: SHL 000016f6: DUP2 000016f7: MSTORE 000016f8: PUSH1 0x20 000016fa: PUSH1 0x04 000016fc: DUP3 000016fd: ADD 000016fe: MSTORE 000016ff: PUSH1 0x24 00001701: DUP1 00001702: DUP3 00001703: ADD 00001704: MSTORE 00001705: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 00001726: PUSH1 0x44 00001728: DUP3 00001729: ADD 0000172a: MSTORE 0000172b: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 0000174c: PUSH1 0x64 0000174e: DUP3 0000174f: ADD 00001750: MSTORE 00001751: PUSH1 0x84 00001753: ADD 00001754: PUSH2 0x0955 00001757: JUMP 00001758: JUMPDEST 00001759: PUSH2 0x1765 0000175c: DUP4 0000175d: DUP4 0000175e: DUP4 0000175f: PUSH1 0x01 00001761: PUSH2 0x1e59 00001764: JUMP 00001765: JUMPDEST 00001766: DUP3 00001767: PUSH1 0x01 00001769: PUSH1 0x01 0000176b: PUSH1 0xa0 0000176d: SHL 0000176e: SUB 0000176f: AND 00001770: PUSH2 0x1778 00001773: DUP3 00001774: PUSH2 0x0b77 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH1 0x01 0000177b: PUSH1 0x01 0000177d: PUSH1 0xa0 0000177f: SHL 00001780: SUB 00001781: AND 00001782: EQ 00001783: PUSH2 0x17dc 00001786: JUMPI 00001787: PUSH1 0x40 00001789: MLOAD 0000178a: PUSH3 0x461bcd 0000178e: PUSH1 0xe5 00001790: SHL 00001791: DUP2 00001792: MSTORE 00001793: PUSH1 0x20 00001795: PUSH1 0x04 00001797: DUP3 00001798: ADD 00001799: MSTORE 0000179a: PUSH1 0x25 0000179c: PUSH1 0x24 0000179e: DUP3 0000179f: ADD 000017a0: MSTORE 000017a1: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420 000017c2: PUSH1 0x44 000017c4: DUP3 000017c5: ADD 000017c6: MSTORE 000017c7: PUSH5 0x37bbb732b9 000017cd: PUSH1 0xd9 000017cf: SHL 000017d0: PUSH1 0x64 000017d2: DUP3 000017d3: ADD 000017d4: MSTORE 000017d5: PUSH1 0x84 000017d7: ADD 000017d8: PUSH2 0x0955 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH1 0x00 000017df: DUP2 000017e0: DUP2 000017e1: MSTORE 000017e2: PUSH1 0x04 000017e4: PUSH1 0x20 000017e6: SWAP1 000017e7: DUP2 000017e8: MSTORE 000017e9: PUSH1 0x40 000017eb: DUP1 000017ec: DUP4 000017ed: KECCAK256 000017ee: DUP1 000017ef: SLOAD 000017f0: PUSH1 0x01 000017f2: PUSH1 0x01 000017f4: PUSH1 0xa0 000017f6: SHL 000017f7: SUB 000017f8: NOT 000017f9: SWAP1 000017fa: DUP2 000017fb: AND 000017fc: SWAP1 000017fd: SWAP2 000017fe: SSTORE 000017ff: PUSH1 0x01 00001801: PUSH1 0x01 00001803: PUSH1 0xa0 00001805: SHL 00001806: SUB 00001807: DUP8 00001808: DUP2 00001809: AND 0000180a: DUP1 0000180b: DUP7 0000180c: MSTORE 0000180d: PUSH1 0x03 0000180f: DUP6 00001810: MSTORE 00001811: DUP4 00001812: DUP7 00001813: KECCAK256 00001814: DUP1 00001815: SLOAD 00001816: PUSH1 0x00 00001818: NOT 00001819: ADD 0000181a: SWAP1 0000181b: SSTORE 0000181c: SWAP1 0000181d: DUP8 0000181e: AND 0000181f: DUP1 00001820: DUP7 00001821: MSTORE 00001822: DUP4 00001823: DUP7 00001824: KECCAK256 00001825: DUP1 00001826: SLOAD 00001827: PUSH1 0x01 00001829: ADD 0000182a: SWAP1 0000182b: SSTORE 0000182c: DUP7 0000182d: DUP7 0000182e: MSTORE 0000182f: PUSH1 0x02 00001831: SWAP1 00001832: SWAP5 00001833: MSTORE 00001834: DUP3 00001835: DUP6 00001836: KECCAK256 00001837: DUP1 00001838: SLOAD 00001839: SWAP1 0000183a: SWAP3 0000183b: AND 0000183c: DUP5 0000183d: OR 0000183e: SWAP1 0000183f: SWAP2 00001840: SSTORE 00001841: SWAP1 00001842: MLOAD 00001843: DUP5 00001844: SWAP4 00001845: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001866: SWAP2 00001867: LOG4 00001868: POP 00001869: POP 0000186a: POP 0000186b: JUMP 0000186c: JUMPDEST 0000186d: PUSH1 0x06 0000186f: SLOAD 00001870: PUSH1 0x01 00001872: PUSH1 0x01 00001874: PUSH1 0xa0 00001876: SHL 00001877: SUB 00001878: AND 00001879: CALLER 0000187a: EQ 0000187b: PUSH2 0x0c88 0000187e: JUMPI 0000187f: PUSH1 0x40 00001881: MLOAD 00001882: PUSH3 0x461bcd 00001886: PUSH1 0xe5 00001888: SHL 00001889: DUP2 0000188a: MSTORE 0000188b: PUSH1 0x20 0000188d: PUSH1 0x04 0000188f: DUP3 00001890: ADD 00001891: DUP2 00001892: SWAP1 00001893: MSTORE 00001894: PUSH1 0x24 00001896: DUP3 00001897: ADD 00001898: MSTORE 00001899: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000018ba: PUSH1 0x44 000018bc: DUP3 000018bd: ADD 000018be: MSTORE 000018bf: PUSH1 0x64 000018c1: ADD 000018c2: PUSH2 0x0955 000018c5: JUMP 000018c6: JUMPDEST 000018c7: PUSH1 0x06 000018c9: DUP1 000018ca: SLOAD 000018cb: PUSH1 0x01 000018cd: PUSH1 0x01 000018cf: PUSH1 0xa0 000018d1: SHL 000018d2: SUB 000018d3: DUP4 000018d4: DUP2 000018d5: AND 000018d6: PUSH1 0x01 000018d8: PUSH1 0x01 000018da: PUSH1 0xa0 000018dc: SHL 000018dd: SUB 000018de: NOT 000018df: DUP4 000018e0: AND 000018e1: DUP2 000018e2: OR 000018e3: SWAP1 000018e4: SWAP4 000018e5: SSTORE 000018e6: PUSH1 0x40 000018e8: MLOAD 000018e9: SWAP2 000018ea: AND 000018eb: SWAP2 000018ec: SWAP1 000018ed: DUP3 000018ee: SWAP1 000018ef: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001910: SWAP1 00001911: PUSH1 0x00 00001913: SWAP1 00001914: LOG3 00001915: POP 00001916: POP 00001917: JUMP 00001918: JUMPDEST 00001919: PUSH1 0x00 0000191b: PUSH2 0x1923 0000191e: DUP3 0000191f: PUSH2 0x0b77 00001922: JUMP 00001923: JUMPDEST 00001924: SWAP1 00001925: POP 00001926: PUSH2 0x1933 00001929: DUP2 0000192a: PUSH1 0x00 0000192c: DUP5 0000192d: PUSH1 0x01 0000192f: PUSH2 0x1e59 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH2 0x193c 00001937: DUP3 00001938: PUSH2 0x0b77 0000193b: JUMP 0000193c: JUMPDEST 0000193d: PUSH1 0x00 0000193f: DUP4 00001940: DUP2 00001941: MSTORE 00001942: PUSH1 0x04 00001944: PUSH1 0x20 00001946: SWAP1 00001947: DUP2 00001948: MSTORE 00001949: PUSH1 0x40 0000194b: DUP1 0000194c: DUP4 0000194d: KECCAK256 0000194e: DUP1 0000194f: SLOAD 00001950: PUSH1 0x01 00001952: PUSH1 0x01 00001954: PUSH1 0xa0 00001956: SHL 00001957: SUB 00001958: NOT 00001959: SWAP1 0000195a: DUP2 0000195b: AND 0000195c: SWAP1 0000195d: SWAP2 0000195e: SSTORE 0000195f: PUSH1 0x01 00001961: PUSH1 0x01 00001963: PUSH1 0xa0 00001965: SHL 00001966: SUB 00001967: DUP6 00001968: AND 00001969: DUP1 0000196a: DUP6 0000196b: MSTORE 0000196c: PUSH1 0x03 0000196e: DUP5 0000196f: MSTORE 00001970: DUP3 00001971: DUP6 00001972: KECCAK256 00001973: DUP1 00001974: SLOAD 00001975: PUSH1 0x00 00001977: NOT 00001978: ADD 00001979: SWAP1 0000197a: SSTORE 0000197b: DUP8 0000197c: DUP6 0000197d: MSTORE 0000197e: PUSH1 0x02 00001980: SWAP1 00001981: SWAP4 00001982: MSTORE 00001983: DUP2 00001984: DUP5 00001985: KECCAK256 00001986: DUP1 00001987: SLOAD 00001988: SWAP1 00001989: SWAP2 0000198a: AND 0000198b: SWAP1 0000198c: SSTORE 0000198d: MLOAD 0000198e: SWAP3 0000198f: SWAP4 00001990: POP 00001991: DUP5 00001992: SWAP3 00001993: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000019b4: SWAP1 000019b5: DUP4 000019b6: SWAP1 000019b7: LOG4 000019b8: POP 000019b9: POP 000019ba: JUMP 000019bb: JUMPDEST 000019bc: DUP1 000019bd: SELFBALANCE 000019be: LT 000019bf: ISZERO 000019c0: PUSH2 0x19d1 000019c3: JUMPI 000019c4: PUSH4 0xb12d13eb 000019c9: PUSH1 0x00 000019cb: MSTORE 000019cc: PUSH1 0x04 000019ce: PUSH1 0x1c 000019d0: REVERT 000019d1: JUMPDEST 000019d2: PUSH1 0x00 000019d4: DUP1 000019d5: PUSH1 0x00 000019d7: DUP1 000019d8: DUP5 000019d9: DUP7 000019da: PUSH3 0x0186a0 000019de: CALL 000019df: PUSH2 0x0b73 000019e2: JUMPI 000019e3: DUP2 000019e4: PUSH1 0x00 000019e6: MSTORE 000019e7: PUSH1 0x73 000019e9: PUSH1 0x0b 000019eb: MSTORE8 000019ec: PUSH1 0xff 000019ee: PUSH1 0x20 000019f0: MSTORE8 000019f1: PUSH1 0x16 000019f3: PUSH1 0x0b 000019f5: DUP3 000019f6: CREATE 000019f7: PUSH2 0x0b73 000019fa: JUMPI 000019fb: PUSH1 0x00 000019fd: DUP1 000019fe: REVERT 000019ff: JUMPDEST 00001a00: PUSH1 0x01 00001a02: PUSH1 0x01 00001a04: PUSH1 0xa0 00001a06: SHL 00001a07: SUB 00001a08: DUP3 00001a09: AND 00001a0a: PUSH2 0x1a55 00001a0d: JUMPI 00001a0e: PUSH1 0x40 00001a10: MLOAD 00001a11: PUSH3 0x461bcd 00001a15: PUSH1 0xe5 00001a17: SHL 00001a18: DUP2 00001a19: MSTORE 00001a1a: PUSH1 0x20 00001a1c: PUSH1 0x04 00001a1e: DUP3 00001a1f: ADD 00001a20: DUP2 00001a21: SWAP1 00001a22: MSTORE 00001a23: PUSH1 0x24 00001a25: DUP3 00001a26: ADD 00001a27: MSTORE 00001a28: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00001a49: PUSH1 0x44 00001a4b: DUP3 00001a4c: ADD 00001a4d: MSTORE 00001a4e: PUSH1 0x64 00001a50: ADD 00001a51: PUSH2 0x0955 00001a54: JUMP 00001a55: JUMPDEST 00001a56: PUSH1 0x00 00001a58: DUP2 00001a59: DUP2 00001a5a: MSTORE 00001a5b: PUSH1 0x02 00001a5d: PUSH1 0x20 00001a5f: MSTORE 00001a60: PUSH1 0x40 00001a62: SWAP1 00001a63: KECCAK256 00001a64: SLOAD 00001a65: PUSH1 0x01 00001a67: PUSH1 0x01 00001a69: PUSH1 0xa0 00001a6b: SHL 00001a6c: SUB 00001a6d: AND 00001a6e: ISZERO 00001a6f: PUSH2 0x1aba 00001a72: JUMPI 00001a73: PUSH1 0x40 00001a75: MLOAD 00001a76: PUSH3 0x461bcd 00001a7a: PUSH1 0xe5 00001a7c: SHL 00001a7d: DUP2 00001a7e: MSTORE 00001a7f: PUSH1 0x20 00001a81: PUSH1 0x04 00001a83: DUP3 00001a84: ADD 00001a85: MSTORE 00001a86: PUSH1 0x1c 00001a88: PUSH1 0x24 00001a8a: DUP3 00001a8b: ADD 00001a8c: MSTORE 00001a8d: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 00001aae: PUSH1 0x44 00001ab0: DUP3 00001ab1: ADD 00001ab2: MSTORE 00001ab3: PUSH1 0x64 00001ab5: ADD 00001ab6: PUSH2 0x0955 00001ab9: JUMP 00001aba: JUMPDEST 00001abb: PUSH2 0x1ac8 00001abe: PUSH1 0x00 00001ac0: DUP4 00001ac1: DUP4 00001ac2: PUSH1 0x01 00001ac4: PUSH2 0x1e59 00001ac7: JUMP 00001ac8: JUMPDEST 00001ac9: PUSH1 0x00 00001acb: DUP2 00001acc: DUP2 00001acd: MSTORE 00001ace: PUSH1 0x02 00001ad0: PUSH1 0x20 00001ad2: MSTORE 00001ad3: PUSH1 0x40 00001ad5: SWAP1 00001ad6: KECCAK256 00001ad7: SLOAD 00001ad8: PUSH1 0x01 00001ada: PUSH1 0x01 00001adc: PUSH1 0xa0 00001ade: SHL 00001adf: SUB 00001ae0: AND 00001ae1: ISZERO 00001ae2: PUSH2 0x1b2d 00001ae5: JUMPI 00001ae6: PUSH1 0x40 00001ae8: MLOAD 00001ae9: PUSH3 0x461bcd 00001aed: PUSH1 0xe5 00001aef: SHL 00001af0: DUP2 00001af1: MSTORE 00001af2: PUSH1 0x20 00001af4: PUSH1 0x04 00001af6: DUP3 00001af7: ADD 00001af8: MSTORE 00001af9: PUSH1 0x1c 00001afb: PUSH1 0x24 00001afd: DUP3 00001afe: ADD 00001aff: MSTORE 00001b00: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 00001b21: PUSH1 0x44 00001b23: DUP3 00001b24: ADD 00001b25: MSTORE 00001b26: PUSH1 0x64 00001b28: ADD 00001b29: PUSH2 0x0955 00001b2c: JUMP 00001b2d: JUMPDEST 00001b2e: PUSH1 0x01 00001b30: PUSH1 0x01 00001b32: PUSH1 0xa0 00001b34: SHL 00001b35: SUB 00001b36: DUP3 00001b37: AND 00001b38: PUSH1 0x00 00001b3a: DUP2 00001b3b: DUP2 00001b3c: MSTORE 00001b3d: PUSH1 0x03 00001b3f: PUSH1 0x20 00001b41: SWAP1 00001b42: DUP2 00001b43: MSTORE 00001b44: PUSH1 0x40 00001b46: DUP1 00001b47: DUP4 00001b48: KECCAK256 00001b49: DUP1 00001b4a: SLOAD 00001b4b: PUSH1 0x01 00001b4d: ADD 00001b4e: SWAP1 00001b4f: SSTORE 00001b50: DUP5 00001b51: DUP4 00001b52: MSTORE 00001b53: PUSH1 0x02 00001b55: SWAP1 00001b56: SWAP2 00001b57: MSTORE 00001b58: DUP1 00001b59: DUP3 00001b5a: KECCAK256 00001b5b: DUP1 00001b5c: SLOAD 00001b5d: PUSH1 0x01 00001b5f: PUSH1 0x01 00001b61: PUSH1 0xa0 00001b63: SHL 00001b64: SUB 00001b65: NOT 00001b66: AND 00001b67: DUP5 00001b68: OR 00001b69: SWAP1 00001b6a: SSTORE 00001b6b: MLOAD 00001b6c: DUP4 00001b6d: SWAP3 00001b6e: SWAP2 00001b6f: SWAP1 00001b70: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001b91: SWAP1 00001b92: DUP3 00001b93: SWAP1 00001b94: LOG4 00001b95: POP 00001b96: POP 00001b97: JUMP 00001b98: JUMPDEST 00001b99: DUP2 00001b9a: PUSH1 0x01 00001b9c: PUSH1 0x01 00001b9e: PUSH1 0xa0 00001ba0: SHL 00001ba1: SUB 00001ba2: AND 00001ba3: DUP4 00001ba4: PUSH1 0x01 00001ba6: PUSH1 0x01 00001ba8: PUSH1 0xa0 00001baa: SHL 00001bab: SUB 00001bac: AND 00001bad: SUB 00001bae: PUSH2 0x1bf9 00001bb1: JUMPI 00001bb2: PUSH1 0x40 00001bb4: MLOAD 00001bb5: PUSH3 0x461bcd 00001bb9: PUSH1 0xe5 00001bbb: SHL 00001bbc: DUP2 00001bbd: MSTORE 00001bbe: PUSH1 0x20 00001bc0: PUSH1 0x04 00001bc2: DUP3 00001bc3: ADD 00001bc4: MSTORE 00001bc5: PUSH1 0x19 00001bc7: PUSH1 0x24 00001bc9: DUP3 00001bca: ADD 00001bcb: MSTORE 00001bcc: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 00001bed: PUSH1 0x44 00001bef: DUP3 00001bf0: ADD 00001bf1: MSTORE 00001bf2: PUSH1 0x64 00001bf4: ADD 00001bf5: PUSH2 0x0955 00001bf8: JUMP 00001bf9: JUMPDEST 00001bfa: PUSH1 0x01 00001bfc: PUSH1 0x01 00001bfe: PUSH1 0xa0 00001c00: SHL 00001c01: SUB 00001c02: DUP4 00001c03: DUP2 00001c04: AND 00001c05: PUSH1 0x00 00001c07: DUP2 00001c08: DUP2 00001c09: MSTORE 00001c0a: PUSH1 0x05 00001c0c: PUSH1 0x20 00001c0e: SWAP1 00001c0f: DUP2 00001c10: MSTORE 00001c11: PUSH1 0x40 00001c13: DUP1 00001c14: DUP4 00001c15: KECCAK256 00001c16: SWAP5 00001c17: DUP8 00001c18: AND 00001c19: DUP1 00001c1a: DUP5 00001c1b: MSTORE 00001c1c: SWAP5 00001c1d: DUP3 00001c1e: MSTORE 00001c1f: SWAP2 00001c20: DUP3 00001c21: SWAP1 00001c22: KECCAK256 00001c23: DUP1 00001c24: SLOAD 00001c25: PUSH1 0xff 00001c27: NOT 00001c28: AND 00001c29: DUP7 00001c2a: ISZERO 00001c2b: ISZERO 00001c2c: SWAP1 00001c2d: DUP2 00001c2e: OR 00001c2f: SWAP1 00001c30: SWAP2 00001c31: SSTORE 00001c32: SWAP2 00001c33: MLOAD 00001c34: SWAP2 00001c35: DUP3 00001c36: MSTORE 00001c37: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001c58: SWAP2 00001c59: ADD 00001c5a: PUSH1 0x40 00001c5c: MLOAD 00001c5d: DUP1 00001c5e: SWAP2 00001c5f: SUB 00001c60: SWAP1 00001c61: LOG3 00001c62: POP 00001c63: POP 00001c64: POP 00001c65: JUMP 00001c66: JUMPDEST 00001c67: PUSH2 0x1c71 00001c6a: DUP5 00001c6b: DUP5 00001c6c: DUP5 00001c6d: PUSH2 0x1666 00001c70: JUMP 00001c71: JUMPDEST 00001c72: PUSH2 0x1c7d 00001c75: DUP5 00001c76: DUP5 00001c77: DUP5 00001c78: DUP5 00001c79: PUSH2 0x1ee1 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH2 0x11df 00001c81: JUMPI 00001c82: PUSH1 0x40 00001c84: MLOAD 00001c85: PUSH3 0x461bcd 00001c89: PUSH1 0xe5 00001c8b: SHL 00001c8c: DUP2 00001c8d: MSTORE 00001c8e: PUSH1 0x20 00001c90: PUSH1 0x04 00001c92: DUP3 00001c93: ADD 00001c94: MSTORE 00001c95: PUSH1 0x32 00001c97: PUSH1 0x24 00001c99: DUP3 00001c9a: ADD 00001c9b: MSTORE 00001c9c: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00001cbd: PUSH1 0x44 00001cbf: DUP3 00001cc0: ADD 00001cc1: MSTORE 00001cc2: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00001ce3: PUSH1 0x64 00001ce5: DUP3 00001ce6: ADD 00001ce7: MSTORE 00001ce8: PUSH1 0x84 00001cea: ADD 00001ceb: PUSH2 0x0955 00001cee: JUMP 00001cef: JUMPDEST 00001cf0: PUSH1 0x60 00001cf2: PUSH1 0x80 00001cf4: PUSH1 0x40 00001cf6: MLOAD 00001cf7: ADD 00001cf8: SWAP1 00001cf9: POP 00001cfa: PUSH1 0x20 00001cfc: DUP2 00001cfd: ADD 00001cfe: PUSH1 0x40 00001d00: MSTORE 00001d01: PUSH1 0x00 00001d03: DUP2 00001d04: MSTORE 00001d05: DUP1 00001d06: PUSH1 0x00 00001d08: NOT 00001d09: DUP4 00001d0a: JUMPDEST 00001d0b: SWAP3 00001d0c: DUP2 00001d0d: ADD 00001d0e: SWAP3 00001d0f: PUSH1 0x30 00001d11: PUSH1 0x0a 00001d13: DUP3 00001d14: MOD 00001d15: ADD 00001d16: DUP5 00001d17: MSTORE8 00001d18: PUSH1 0x0a 00001d1a: SWAP1 00001d1b: DIV 00001d1c: DUP1 00001d1d: PUSH2 0x1d0a 00001d20: JUMPI 00001d21: POP 00001d22: POP 00001d23: DUP2 00001d24: SWAP1 00001d25: SUB 00001d26: PUSH1 0x1f 00001d28: NOT 00001d29: SWAP1 00001d2a: SWAP2 00001d2b: ADD 00001d2c: SWAP1 00001d2d: DUP2 00001d2e: MSTORE 00001d2f: SWAP2 00001d30: SWAP1 00001d31: POP 00001d32: JUMP 00001d33: JUMPDEST 00001d34: PUSH1 0x60 00001d36: DUP4 00001d37: MLOAD 00001d38: DUP4 00001d39: MLOAD 00001d3a: DUP4 00001d3b: MLOAD 00001d3c: PUSH1 0x20 00001d3e: DUP8 00001d3f: ADD 00001d40: SWAP7 00001d41: POP 00001d42: PUSH1 0x20 00001d44: DUP7 00001d45: ADD 00001d46: SWAP6 00001d47: POP 00001d48: PUSH1 0x20 00001d4a: DUP6 00001d4b: ADD 00001d4c: SWAP5 00001d4d: POP 00001d4e: PUSH1 0x20 00001d50: PUSH1 0x40 00001d52: MLOAD 00001d53: ADD 00001d54: SWAP4 00001d55: POP 00001d56: DUP3 00001d57: DUP8 00001d58: ADD 00001d59: DUP4 00001d5a: DUP4 00001d5b: GT 00001d5c: PUSH2 0x1e05 00001d5f: JUMPI 00001d60: PUSH1 0x01 00001d62: DUP4 00001d63: DUP3 00001d64: SUB 00001d65: ADD 00001d66: PUSH1 0x00 00001d68: PUSH1 0x20 00001d6a: DUP6 00001d6b: LT 00001d6c: PUSH2 0x1d74 00001d6f: JUMPI 00001d70: POP 00001d71: DUP4 00001d72: DUP9 00001d73: KECCAK256 00001d74: JUMPDEST 00001d75: PUSH1 0x1f 00001d77: DUP6 00001d78: AND 00001d79: PUSH1 0x20 00001d7b: SUB 00001d7c: PUSH1 0x03 00001d7e: SHL 00001d7f: DUP10 00001d80: MLOAD 00001d81: JUMPDEST 00001d82: DUP12 00001d83: MLOAD 00001d84: DUP2 00001d85: DUP2 00001d86: XOR 00001d87: DUP4 00001d88: SHR 00001d89: PUSH2 0x1dec 00001d8c: JUMPI 00001d8d: DUP4 00001d8e: ISZERO 00001d8f: PUSH2 0x1dbb 00001d92: JUMPI 00001d93: DUP4 00001d94: DUP9 00001d95: DUP15 00001d96: KECCAK256 00001d97: EQ 00001d98: PUSH2 0x1dbb 00001d9b: JUMPI 00001d9c: DUP1 00001d9d: DUP11 00001d9e: MSTORE 00001d9f: PUSH1 0x01 00001da1: SWAP13 00001da2: DUP14 00001da3: ADD 00001da4: SWAP13 00001da5: SWAP1 00001da6: SWAP10 00001da7: ADD 00001da8: SWAP9 00001da9: DUP5 00001daa: DUP14 00001dab: LT 00001dac: PUSH2 0x1db5 00001daf: JUMPI 00001db0: POP 00001db1: PUSH2 0x1e00 00001db4: JUMP 00001db5: JUMPDEST 00001db6: POP 00001db7: PUSH2 0x1d81 00001dba: JUMP 00001dbb: JUMPDEST 00001dbc: PUSH1 0x00 00001dbe: JUMPDEST 00001dbf: DUP12 00001dc0: DUP2 00001dc1: ADD 00001dc2: MLOAD 00001dc3: DUP12 00001dc4: DUP3 00001dc5: ADD 00001dc6: MSTORE 00001dc7: PUSH1 0x20 00001dc9: ADD 00001dca: DUP8 00001dcb: DUP2 00001dcc: LT 00001dcd: PUSH2 0x1dbe 00001dd0: JUMPI 00001dd1: POP 00001dd2: SWAP12 00001dd3: DUP8 00001dd4: ADD 00001dd5: SWAP12 00001dd6: SWAP9 00001dd7: DUP7 00001dd8: ADD 00001dd9: SWAP9 00001dda: DUP8 00001ddb: ISZERO 00001ddc: PUSH2 0x1dec 00001ddf: JUMPI 00001de0: DUP5 00001de1: DUP14 00001de2: LT 00001de3: PUSH2 0x1db5 00001de6: JUMPI 00001de7: POP 00001de8: PUSH2 0x1e00 00001deb: JUMP 00001dec: JUMPDEST 00001ded: DUP10 00001dee: MSTORE 00001def: PUSH1 0x01 00001df1: SWAP12 00001df2: DUP13 00001df3: ADD 00001df4: SWAP12 00001df5: SWAP1 00001df6: SWAP9 00001df7: ADD 00001df8: SWAP8 00001df9: DUP4 00001dfa: DUP13 00001dfb: LT 00001dfc: PUSH2 0x1d81 00001dff: JUMPI 00001e00: JUMPDEST 00001e01: POP 00001e02: POP 00001e03: POP 00001e04: POP 00001e05: JUMPDEST 00001e06: DUP5 00001e07: SWAP4 00001e08: POP 00001e09: PUSH1 0x20 00001e0b: PUSH1 0x40 00001e0d: MLOAD 00001e0e: ADD 00001e0f: SWAP5 00001e10: POP 00001e11: DUP8 00001e12: DUP2 00001e13: SUB 00001e14: DUP6 00001e15: DUP6 00001e16: SUB 00001e17: ADD 00001e18: SWAP3 00001e19: POP 00001e1a: JUMPDEST 00001e1b: DUP1 00001e1c: DUP9 00001e1d: LT 00001e1e: ISZERO 00001e1f: PUSH2 0x1e35 00001e22: JUMPI 00001e23: DUP8 00001e24: MLOAD 00001e25: DUP5 00001e26: MSTORE 00001e27: PUSH1 0x20 00001e29: SWAP8 00001e2a: DUP9 00001e2b: ADD 00001e2c: SWAP8 00001e2d: SWAP1 00001e2e: SWAP4 00001e2f: ADD 00001e30: SWAP3 00001e31: PUSH2 0x1e1a 00001e34: JUMP 00001e35: JUMPDEST 00001e36: POP 00001e37: POP 00001e38: PUSH1 0x00 00001e3a: DUP2 00001e3b: DUP5 00001e3c: ADD 00001e3d: SWAP1 00001e3e: DUP2 00001e3f: MSTORE 00001e40: PUSH1 0x1f 00001e42: ADD 00001e43: PUSH1 0x1f 00001e45: NOT 00001e46: SWAP1 00001e47: DUP2 00001e48: AND 00001e49: PUSH1 0x40 00001e4b: MSTORE 00001e4c: SWAP1 00001e4d: SWAP3 00001e4e: ADD 00001e4f: SWAP2 00001e50: DUP3 00001e51: MSTORE 00001e52: POP 00001e53: SWAP4 00001e54: SWAP3 00001e55: POP 00001e56: POP 00001e57: POP 00001e58: JUMP 00001e59: JUMPDEST 00001e5a: PUSH1 0x01 00001e5c: DUP2 00001e5d: GT 00001e5e: ISZERO 00001e5f: PUSH2 0x11df 00001e62: JUMPI 00001e63: PUSH1 0x01 00001e65: PUSH1 0x01 00001e67: PUSH1 0xa0 00001e69: SHL 00001e6a: SUB 00001e6b: DUP5 00001e6c: AND 00001e6d: ISZERO 00001e6e: PUSH2 0x1e9f 00001e71: JUMPI 00001e72: PUSH1 0x01 00001e74: PUSH1 0x01 00001e76: PUSH1 0xa0 00001e78: SHL 00001e79: SUB 00001e7a: DUP5 00001e7b: AND 00001e7c: PUSH1 0x00 00001e7e: SWAP1 00001e7f: DUP2 00001e80: MSTORE 00001e81: PUSH1 0x03 00001e83: PUSH1 0x20 00001e85: MSTORE 00001e86: PUSH1 0x40 00001e88: DUP2 00001e89: KECCAK256 00001e8a: DUP1 00001e8b: SLOAD 00001e8c: DUP4 00001e8d: SWAP3 00001e8e: SWAP1 00001e8f: PUSH2 0x1e99 00001e92: SWAP1 00001e93: DUP5 00001e94: SWAP1 00001e95: PUSH2 0x24e6 00001e98: JUMP 00001e99: JUMPDEST 00001e9a: SWAP1 00001e9b: SWAP2 00001e9c: SSTORE 00001e9d: POP 00001e9e: POP 00001e9f: JUMPDEST 00001ea0: PUSH1 0x01 00001ea2: PUSH1 0x01 00001ea4: PUSH1 0xa0 00001ea6: SHL 00001ea7: SUB 00001ea8: DUP4 00001ea9: AND 00001eaa: ISZERO 00001eab: PUSH2 0x11df 00001eae: JUMPI 00001eaf: PUSH1 0x01 00001eb1: PUSH1 0x01 00001eb3: PUSH1 0xa0 00001eb5: SHL 00001eb6: SUB 00001eb7: DUP4 00001eb8: AND 00001eb9: PUSH1 0x00 00001ebb: SWAP1 00001ebc: DUP2 00001ebd: MSTORE 00001ebe: PUSH1 0x03 00001ec0: PUSH1 0x20 00001ec2: MSTORE 00001ec3: PUSH1 0x40 00001ec5: DUP2 00001ec6: KECCAK256 00001ec7: DUP1 00001ec8: SLOAD 00001ec9: DUP4 00001eca: SWAP3 00001ecb: SWAP1 00001ecc: PUSH2 0x1ed6 00001ecf: SWAP1 00001ed0: DUP5 00001ed1: SWAP1 00001ed2: PUSH2 0x2659 00001ed5: JUMP 00001ed6: JUMPDEST 00001ed7: SWAP1 00001ed8: SWAP2 00001ed9: SSTORE 00001eda: POP 00001edb: POP 00001edc: POP 00001edd: POP 00001ede: POP 00001edf: POP 00001ee0: JUMP 00001ee1: JUMPDEST 00001ee2: PUSH1 0x00 00001ee4: PUSH1 0x01 00001ee6: PUSH1 0x01 00001ee8: PUSH1 0xa0 00001eea: SHL 00001eeb: SUB 00001eec: DUP5 00001eed: AND 00001eee: EXTCODESIZE 00001eef: ISZERO 00001ef0: PUSH2 0x202d 00001ef3: JUMPI 00001ef4: PUSH1 0x40 00001ef6: MLOAD 00001ef7: PUSH4 0x0a85bd01 00001efc: PUSH1 0xe1 00001efe: SHL 00001eff: DUP2 00001f00: MSTORE 00001f01: PUSH1 0x01 00001f03: PUSH1 0x01 00001f05: PUSH1 0xa0 00001f07: SHL 00001f08: SUB 00001f09: DUP6 00001f0a: AND 00001f0b: SWAP1 00001f0c: PUSH4 0x150b7a02 00001f11: SWAP1 00001f12: PUSH2 0x1f25 00001f15: SWAP1 00001f16: CALLER 00001f17: SWAP1 00001f18: DUP10 00001f19: SWAP1 00001f1a: DUP9 00001f1b: SWAP1 00001f1c: DUP9 00001f1d: SWAP1 00001f1e: PUSH1 0x04 00001f20: ADD 00001f21: PUSH2 0x266c 00001f24: JUMP 00001f25: JUMPDEST 00001f26: PUSH1 0x20 00001f28: PUSH1 0x40 00001f2a: MLOAD 00001f2b: DUP1 00001f2c: DUP4 00001f2d: SUB 00001f2e: DUP2 00001f2f: PUSH1 0x00 00001f31: DUP8 00001f32: GAS 00001f33: CALL 00001f34: SWAP3 00001f35: POP 00001f36: POP 00001f37: POP 00001f38: DUP1 00001f39: ISZERO 00001f3a: PUSH2 0x1f60 00001f3d: JUMPI 00001f3e: POP 00001f3f: PUSH1 0x40 00001f41: DUP1 00001f42: MLOAD 00001f43: PUSH1 0x1f 00001f45: RETURNDATASIZE 00001f46: SWAP1 00001f47: DUP2 00001f48: ADD 00001f49: PUSH1 0x1f 00001f4b: NOT 00001f4c: AND 00001f4d: DUP3 00001f4e: ADD 00001f4f: SWAP1 00001f50: SWAP3 00001f51: MSTORE 00001f52: PUSH2 0x1f5d 00001f55: SWAP2 00001f56: DUP2 00001f57: ADD 00001f58: SWAP1 00001f59: PUSH2 0x26a8 00001f5c: JUMP 00001f5d: JUMPDEST 00001f5e: PUSH1 0x01 00001f60: JUMPDEST 00001f61: PUSH2 0x2013 00001f64: JUMPI 00001f65: RETURNDATASIZE 00001f66: DUP1 00001f67: DUP1 00001f68: ISZERO 00001f69: PUSH2 0x1f8e 00001f6c: JUMPI 00001f6d: PUSH1 0x40 00001f6f: MLOAD 00001f70: SWAP2 00001f71: POP 00001f72: PUSH1 0x1f 00001f74: NOT 00001f75: PUSH1 0x3f 00001f77: RETURNDATASIZE 00001f78: ADD 00001f79: AND 00001f7a: DUP3 00001f7b: ADD 00001f7c: PUSH1 0x40 00001f7e: MSTORE 00001f7f: RETURNDATASIZE 00001f80: DUP3 00001f81: MSTORE 00001f82: RETURNDATASIZE 00001f83: PUSH1 0x00 00001f85: PUSH1 0x20 00001f87: DUP5 00001f88: ADD 00001f89: RETURNDATACOPY 00001f8a: PUSH2 0x1f93 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: PUSH1 0x60 00001f91: SWAP2 00001f92: POP 00001f93: JUMPDEST 00001f94: POP 00001f95: DUP1 00001f96: MLOAD 00001f97: PUSH1 0x00 00001f99: SUB 00001f9a: PUSH2 0x200b 00001f9d: JUMPI 00001f9e: PUSH1 0x40 00001fa0: MLOAD 00001fa1: PUSH3 0x461bcd 00001fa5: PUSH1 0xe5 00001fa7: SHL 00001fa8: DUP2 00001fa9: MSTORE 00001faa: PUSH1 0x20 00001fac: PUSH1 0x04 00001fae: DUP3 00001faf: ADD 00001fb0: MSTORE 00001fb1: PUSH1 0x32 00001fb3: PUSH1 0x24 00001fb5: DUP3 00001fb6: ADD 00001fb7: MSTORE 00001fb8: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00001fd9: PUSH1 0x44 00001fdb: DUP3 00001fdc: ADD 00001fdd: MSTORE 00001fde: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00001fff: PUSH1 0x64 00002001: DUP3 00002002: ADD 00002003: MSTORE 00002004: PUSH1 0x84 00002006: ADD 00002007: PUSH2 0x0955 0000200a: JUMP 0000200b: JUMPDEST 0000200c: DUP1 0000200d: MLOAD 0000200e: DUP2 0000200f: PUSH1 0x20 00002011: ADD 00002012: REVERT 00002013: JUMPDEST 00002014: PUSH1 0x01 00002016: PUSH1 0x01 00002018: PUSH1 0xe0 0000201a: SHL 0000201b: SUB 0000201c: NOT 0000201d: AND 0000201e: PUSH4 0x0a85bd01 00002023: PUSH1 0xe1 00002025: SHL 00002026: EQ 00002027: SWAP1 00002028: POP 00002029: PUSH2 0x165e 0000202c: JUMP 0000202d: JUMPDEST 0000202e: POP 0000202f: PUSH1 0x01 00002031: SWAP5 00002032: SWAP4 00002033: POP 00002034: POP 00002035: POP 00002036: POP 00002037: JUMP 00002038: JUMPDEST 00002039: PUSH1 0x01 0000203b: PUSH1 0x01 0000203d: PUSH1 0xe0 0000203f: SHL 00002040: SUB 00002041: NOT 00002042: DUP2 00002043: AND 00002044: DUP2 00002045: EQ 00002046: PUSH2 0x14a4 00002049: JUMPI 0000204a: PUSH1 0x00 0000204c: DUP1 0000204d: REVERT 0000204e: JUMPDEST 0000204f: PUSH1 0x00 00002051: PUSH1 0x20 00002053: DUP3 00002054: DUP5 00002055: SUB 00002056: SLT 00002057: ISZERO 00002058: PUSH2 0x2060 0000205b: JUMPI 0000205c: PUSH1 0x00 0000205e: DUP1 0000205f: REVERT 00002060: JUMPDEST 00002061: DUP2 00002062: CALLDATALOAD 00002063: PUSH2 0x206b 00002066: DUP2 00002067: PUSH2 0x2038 0000206a: JUMP 0000206b: JUMPDEST 0000206c: SWAP4 0000206d: SWAP3 0000206e: POP 0000206f: POP 00002070: POP 00002071: JUMP 00002072: JUMPDEST 00002073: PUSH1 0x00 00002075: DUP2 00002076: MLOAD 00002077: DUP1 00002078: DUP5 00002079: MSTORE 0000207a: PUSH1 0x00 0000207c: JUMPDEST 0000207d: DUP2 0000207e: DUP2 0000207f: LT 00002080: ISZERO 00002081: PUSH2 0x2098 00002084: JUMPI 00002085: PUSH1 0x20 00002087: DUP2 00002088: DUP6 00002089: ADD 0000208a: DUP2 0000208b: ADD 0000208c: MLOAD 0000208d: DUP7 0000208e: DUP4 0000208f: ADD 00002090: DUP3 00002091: ADD 00002092: MSTORE 00002093: ADD 00002094: PUSH2 0x207c 00002097: JUMP 00002098: JUMPDEST 00002099: POP 0000209a: PUSH1 0x00 0000209c: PUSH1 0x20 0000209e: DUP3 0000209f: DUP7 000020a0: ADD 000020a1: ADD 000020a2: MSTORE 000020a3: PUSH1 0x20 000020a5: PUSH1 0x1f 000020a7: NOT 000020a8: PUSH1 0x1f 000020aa: DUP4 000020ab: ADD 000020ac: AND 000020ad: DUP6 000020ae: ADD 000020af: ADD 000020b0: SWAP2 000020b1: POP 000020b2: POP 000020b3: SWAP3 000020b4: SWAP2 000020b5: POP 000020b6: POP 000020b7: JUMP 000020b8: JUMPDEST 000020b9: PUSH1 0x20 000020bb: DUP2 000020bc: MSTORE 000020bd: PUSH1 0x00 000020bf: PUSH2 0x206b 000020c2: PUSH1 0x20 000020c4: DUP4 000020c5: ADD 000020c6: DUP5 000020c7: PUSH2 0x2072 000020ca: JUMP 000020cb: JUMPDEST 000020cc: PUSH1 0x00 000020ce: PUSH1 0x20 000020d0: DUP3 000020d1: DUP5 000020d2: SUB 000020d3: SLT 000020d4: ISZERO 000020d5: PUSH2 0x20dd 000020d8: JUMPI 000020d9: PUSH1 0x00 000020db: DUP1 000020dc: REVERT 000020dd: JUMPDEST 000020de: POP 000020df: CALLDATALOAD 000020e0: SWAP2 000020e1: SWAP1 000020e2: POP 000020e3: JUMP 000020e4: JUMPDEST 000020e5: DUP1 000020e6: CALLDATALOAD 000020e7: PUSH1 0x01 000020e9: PUSH1 0x01 000020eb: PUSH1 0xa0 000020ed: SHL 000020ee: SUB 000020ef: DUP2 000020f0: AND 000020f1: DUP2 000020f2: EQ 000020f3: PUSH2 0x13da 000020f6: JUMPI 000020f7: PUSH1 0x00 000020f9: DUP1 000020fa: REVERT 000020fb: JUMPDEST 000020fc: PUSH1 0x00 000020fe: DUP1 000020ff: PUSH1 0x40 00002101: DUP4 00002102: DUP6 00002103: SUB 00002104: SLT 00002105: ISZERO 00002106: PUSH2 0x210e 00002109: JUMPI 0000210a: PUSH1 0x00 0000210c: DUP1 0000210d: REVERT 0000210e: JUMPDEST 0000210f: PUSH2 0x2117 00002112: DUP4 00002113: PUSH2 0x20e4 00002116: JUMP 00002117: JUMPDEST 00002118: SWAP5 00002119: PUSH1 0x20 0000211b: SWAP4 0000211c: SWAP1 0000211d: SWAP4 0000211e: ADD 0000211f: CALLDATALOAD 00002120: SWAP4 00002121: POP 00002122: POP 00002123: POP 00002124: JUMP 00002125: JUMPDEST 00002126: PUSH1 0x00 00002128: DUP1 00002129: PUSH1 0x00 0000212b: PUSH1 0x60 0000212d: DUP5 0000212e: DUP7 0000212f: SUB 00002130: SLT 00002131: ISZERO 00002132: PUSH2 0x213a 00002135: JUMPI 00002136: PUSH1 0x00 00002138: DUP1 00002139: REVERT 0000213a: JUMPDEST 0000213b: PUSH2 0x2143 0000213e: DUP5 0000213f: PUSH2 0x20e4 00002142: JUMP 00002143: JUMPDEST 00002144: SWAP3 00002145: POP 00002146: PUSH2 0x2151 00002149: PUSH1 0x20 0000214b: DUP6 0000214c: ADD 0000214d: PUSH2 0x20e4 00002150: JUMP 00002151: JUMPDEST 00002152: SWAP2 00002153: POP 00002154: PUSH1 0x40 00002156: DUP5 00002157: ADD 00002158: CALLDATALOAD 00002159: SWAP1 0000215a: POP 0000215b: SWAP3 0000215c: POP 0000215d: SWAP3 0000215e: POP 0000215f: SWAP3 00002160: JUMP 00002161: JUMPDEST 00002162: PUSH4 0x4e487b71 00002167: PUSH1 0xe0 00002169: SHL 0000216a: PUSH1 0x00 0000216c: MSTORE 0000216d: PUSH1 0x41 0000216f: PUSH1 0x04 00002171: MSTORE 00002172: PUSH1 0x24 00002174: PUSH1 0x00 00002176: REVERT 00002177: JUMPDEST 00002178: PUSH1 0x40 0000217a: MLOAD 0000217b: PUSH1 0x1f 0000217d: DUP3 0000217e: ADD 0000217f: PUSH1 0x1f 00002181: NOT 00002182: AND 00002183: DUP2 00002184: ADD 00002185: PUSH8 0xffffffffffffffff 0000218e: DUP2 0000218f: GT 00002190: DUP3 00002191: DUP3 00002192: LT 00002193: OR 00002194: ISZERO 00002195: PUSH2 0x21a0 00002198: JUMPI 00002199: PUSH2 0x21a0 0000219c: PUSH2 0x2161 0000219f: JUMP 000021a0: JUMPDEST 000021a1: PUSH1 0x40 000021a3: MSTORE 000021a4: SWAP2 000021a5: SWAP1 000021a6: POP 000021a7: JUMP 000021a8: JUMPDEST 000021a9: PUSH1 0x00 000021ab: PUSH8 0xffffffffffffffff 000021b4: DUP4 000021b5: GT 000021b6: ISZERO 000021b7: PUSH2 0x21c2 000021ba: JUMPI 000021bb: PUSH2 0x21c2 000021be: PUSH2 0x2161 000021c1: JUMP 000021c2: JUMPDEST 000021c3: PUSH2 0x21d5 000021c6: PUSH1 0x1f 000021c8: DUP5 000021c9: ADD 000021ca: PUSH1 0x1f 000021cc: NOT 000021cd: AND 000021ce: PUSH1 0x20 000021d0: ADD 000021d1: PUSH2 0x2177 000021d4: JUMP 000021d5: JUMPDEST 000021d6: SWAP1 000021d7: POP 000021d8: DUP3 000021d9: DUP2 000021da: MSTORE 000021db: DUP4 000021dc: DUP4 000021dd: DUP4 000021de: ADD 000021df: GT 000021e0: ISZERO 000021e1: PUSH2 0x21e9 000021e4: JUMPI 000021e5: PUSH1 0x00 000021e7: DUP1 000021e8: REVERT 000021e9: JUMPDEST 000021ea: DUP3 000021eb: DUP3 000021ec: PUSH1 0x20 000021ee: DUP4 000021ef: ADD 000021f0: CALLDATACOPY 000021f1: PUSH1 0x00 000021f3: PUSH1 0x20 000021f5: DUP5 000021f6: DUP4 000021f7: ADD 000021f8: ADD 000021f9: MSTORE 000021fa: SWAP4 000021fb: SWAP3 000021fc: POP 000021fd: POP 000021fe: POP 000021ff: JUMP 00002200: JUMPDEST 00002201: PUSH1 0x00 00002203: PUSH1 0x20 00002205: DUP3 00002206: DUP5 00002207: SUB 00002208: SLT 00002209: ISZERO 0000220a: PUSH2 0x2212 0000220d: JUMPI 0000220e: PUSH1 0x00 00002210: DUP1 00002211: REVERT 00002212: JUMPDEST 00002213: DUP2 00002214: CALLDATALOAD 00002215: PUSH8 0xffffffffffffffff 0000221e: DUP2 0000221f: GT 00002220: ISZERO 00002221: PUSH2 0x2229 00002224: JUMPI 00002225: PUSH1 0x00 00002227: DUP1 00002228: REVERT 00002229: JUMPDEST 0000222a: DUP3 0000222b: ADD 0000222c: PUSH1 0x1f 0000222e: DUP2 0000222f: ADD 00002230: DUP5 00002231: SGT 00002232: PUSH2 0x223a 00002235: JUMPI 00002236: PUSH1 0x00 00002238: DUP1 00002239: REVERT 0000223a: JUMPDEST 0000223b: PUSH2 0x165e 0000223e: DUP5 0000223f: DUP3 00002240: CALLDATALOAD 00002241: PUSH1 0x20 00002243: DUP5 00002244: ADD 00002245: PUSH2 0x21a8 00002248: JUMP 00002249: JUMPDEST 0000224a: PUSH1 0x00 0000224c: PUSH1 0x20 0000224e: DUP3 0000224f: DUP5 00002250: SUB 00002251: SLT 00002252: ISZERO 00002253: PUSH2 0x225b 00002256: JUMPI 00002257: PUSH1 0x00 00002259: DUP1 0000225a: REVERT 0000225b: JUMPDEST 0000225c: PUSH2 0x206b 0000225f: DUP3 00002260: PUSH2 0x20e4 00002263: JUMP 00002264: JUMPDEST 00002265: PUSH1 0x20 00002267: DUP1 00002268: DUP3 00002269: MSTORE 0000226a: DUP3 0000226b: MLOAD 0000226c: DUP3 0000226d: DUP3 0000226e: ADD 0000226f: DUP2 00002270: SWAP1 00002271: MSTORE 00002272: PUSH1 0x00 00002274: SWAP2 00002275: SWAP1 00002276: DUP5 00002277: DUP3 00002278: ADD 00002279: SWAP1 0000227a: PUSH1 0x40 0000227c: DUP6 0000227d: ADD 0000227e: SWAP1 0000227f: DUP5 00002280: JUMPDEST 00002281: DUP2 00002282: DUP2 00002283: LT 00002284: ISZERO 00002285: PUSH2 0x229c 00002288: JUMPI 00002289: DUP4 0000228a: MLOAD 0000228b: DUP4 0000228c: MSTORE 0000228d: SWAP3 0000228e: DUP5 0000228f: ADD 00002290: SWAP3 00002291: SWAP2 00002292: DUP5 00002293: ADD 00002294: SWAP2 00002295: PUSH1 0x01 00002297: ADD 00002298: PUSH2 0x2280 0000229b: JUMP 0000229c: JUMPDEST 0000229d: POP 0000229e: SWAP1 0000229f: SWAP7 000022a0: SWAP6 000022a1: POP 000022a2: POP 000022a3: POP 000022a4: POP 000022a5: POP 000022a6: POP 000022a7: JUMP 000022a8: JUMPDEST 000022a9: PUSH1 0x00 000022ab: DUP1 000022ac: PUSH1 0x40 000022ae: DUP4 000022af: DUP6 000022b0: SUB 000022b1: SLT 000022b2: ISZERO 000022b3: PUSH2 0x22bb 000022b6: JUMPI 000022b7: PUSH1 0x00 000022b9: DUP1 000022ba: REVERT 000022bb: JUMPDEST 000022bc: DUP3 000022bd: CALLDATALOAD 000022be: SWAP2 000022bf: POP 000022c0: PUSH2 0x22cb 000022c3: PUSH1 0x20 000022c5: DUP5 000022c6: ADD 000022c7: PUSH2 0x20e4 000022ca: JUMP 000022cb: JUMPDEST 000022cc: SWAP1 000022cd: POP 000022ce: SWAP3 000022cf: POP 000022d0: SWAP3 000022d1: SWAP1 000022d2: POP 000022d3: JUMP 000022d4: JUMPDEST 000022d5: PUSH1 0x00 000022d7: DUP1 000022d8: PUSH1 0x40 000022da: DUP4 000022db: DUP6 000022dc: SUB 000022dd: SLT 000022de: ISZERO 000022df: PUSH2 0x22e7 000022e2: JUMPI 000022e3: PUSH1 0x00 000022e5: DUP1 000022e6: REVERT 000022e7: JUMPDEST 000022e8: PUSH2 0x22f0 000022eb: DUP4 000022ec: PUSH2 0x20e4 000022ef: JUMP 000022f0: JUMPDEST 000022f1: SWAP2 000022f2: POP 000022f3: PUSH1 0x20 000022f5: DUP4 000022f6: ADD 000022f7: CALLDATALOAD 000022f8: DUP1 000022f9: ISZERO 000022fa: ISZERO 000022fb: DUP2 000022fc: EQ 000022fd: PUSH2 0x2305 00002300: JUMPI 00002301: PUSH1 0x00 00002303: DUP1 00002304: REVERT 00002305: JUMPDEST 00002306: DUP1 00002307: SWAP2 00002308: POP 00002309: POP 0000230a: SWAP3 0000230b: POP 0000230c: SWAP3 0000230d: SWAP1 0000230e: POP 0000230f: JUMP 00002310: JUMPDEST 00002311: PUSH1 0x00 00002313: PUSH1 0x20 00002315: DUP1 00002316: DUP4 00002317: DUP6 00002318: SUB 00002319: SLT 0000231a: ISZERO 0000231b: PUSH2 0x2323 0000231e: JUMPI 0000231f: PUSH1 0x00 00002321: DUP1 00002322: REVERT 00002323: JUMPDEST 00002324: DUP3 00002325: CALLDATALOAD 00002326: PUSH8 0xffffffffffffffff 0000232f: DUP1 00002330: DUP3 00002331: GT 00002332: ISZERO 00002333: PUSH2 0x233b 00002336: JUMPI 00002337: PUSH1 0x00 00002339: DUP1 0000233a: REVERT 0000233b: JUMPDEST 0000233c: DUP2 0000233d: DUP6 0000233e: ADD 0000233f: SWAP2 00002340: POP 00002341: DUP6 00002342: PUSH1 0x1f 00002344: DUP4 00002345: ADD 00002346: SLT 00002347: PUSH2 0x234f 0000234a: JUMPI 0000234b: PUSH1 0x00 0000234d: DUP1 0000234e: REVERT 0000234f: JUMPDEST 00002350: DUP2 00002351: CALLDATALOAD 00002352: DUP2 00002353: DUP2 00002354: GT 00002355: ISZERO 00002356: PUSH2 0x2361 00002359: JUMPI 0000235a: PUSH2 0x2361 0000235d: PUSH2 0x2161 00002360: JUMP 00002361: JUMPDEST 00002362: DUP1 00002363: PUSH1 0x05 00002365: SHL 00002366: SWAP2 00002367: POP 00002368: PUSH2 0x2372 0000236b: DUP5 0000236c: DUP4 0000236d: ADD 0000236e: PUSH2 0x2177 00002371: JUMP 00002372: JUMPDEST 00002373: DUP2 00002374: DUP2 00002375: MSTORE 00002376: SWAP2 00002377: DUP4 00002378: ADD 00002379: DUP5 0000237a: ADD 0000237b: SWAP2 0000237c: DUP5 0000237d: DUP2 0000237e: ADD 0000237f: SWAP1 00002380: DUP9 00002381: DUP5 00002382: GT 00002383: ISZERO 00002384: PUSH2 0x238c 00002387: JUMPI 00002388: PUSH1 0x00 0000238a: DUP1 0000238b: REVERT 0000238c: JUMPDEST 0000238d: SWAP4 0000238e: DUP6 0000238f: ADD 00002390: SWAP4 00002391: JUMPDEST 00002392: DUP4 00002393: DUP6 00002394: LT 00002395: ISZERO 00002396: PUSH2 0x23aa 00002399: JUMPI 0000239a: DUP5 0000239b: CALLDATALOAD 0000239c: DUP3 0000239d: MSTORE 0000239e: SWAP4 0000239f: DUP6 000023a0: ADD 000023a1: SWAP4 000023a2: SWAP1 000023a3: DUP6 000023a4: ADD 000023a5: SWAP1 000023a6: PUSH2 0x2391 000023a9: JUMP 000023aa: JUMPDEST 000023ab: SWAP9 000023ac: SWAP8 000023ad: POP 000023ae: POP 000023af: POP 000023b0: POP 000023b1: POP 000023b2: POP 000023b3: POP 000023b4: POP 000023b5: JUMP 000023b6: JUMPDEST 000023b7: PUSH1 0x20 000023b9: DUP1 000023ba: DUP3 000023bb: MSTORE 000023bc: DUP3 000023bd: MLOAD 000023be: DUP3 000023bf: DUP3 000023c0: ADD 000023c1: DUP2 000023c2: SWAP1 000023c3: MSTORE 000023c4: PUSH1 0x00 000023c6: SWAP2 000023c7: SWAP1 000023c8: DUP5 000023c9: DUP3 000023ca: ADD 000023cb: SWAP1 000023cc: PUSH1 0x40 000023ce: DUP6 000023cf: ADD 000023d0: SWAP1 000023d1: DUP5 000023d2: JUMPDEST 000023d3: DUP2 000023d4: DUP2 000023d5: LT 000023d6: ISZERO 000023d7: PUSH2 0x229c 000023da: JUMPI 000023db: DUP4 000023dc: MLOAD 000023dd: ISZERO 000023de: ISZERO 000023df: DUP4 000023e0: MSTORE 000023e1: SWAP3 000023e2: DUP5 000023e3: ADD 000023e4: SWAP3 000023e5: SWAP2 000023e6: DUP5 000023e7: ADD 000023e8: SWAP2 000023e9: PUSH1 0x01 000023eb: ADD 000023ec: PUSH2 0x23d2 000023ef: JUMP 000023f0: JUMPDEST 000023f1: PUSH1 0x00 000023f3: DUP1 000023f4: PUSH1 0x00 000023f6: DUP1 000023f7: PUSH1 0x80 000023f9: DUP6 000023fa: DUP8 000023fb: SUB 000023fc: SLT 000023fd: ISZERO 000023fe: PUSH2 0x2406 00002401: JUMPI 00002402: PUSH1 0x00 00002404: DUP1 00002405: REVERT 00002406: JUMPDEST 00002407: PUSH2 0x240f 0000240a: DUP6 0000240b: PUSH2 0x20e4 0000240e: JUMP 0000240f: JUMPDEST 00002410: SWAP4 00002411: POP 00002412: PUSH2 0x241d 00002415: PUSH1 0x20 00002417: DUP7 00002418: ADD 00002419: PUSH2 0x20e4 0000241c: JUMP 0000241d: JUMPDEST 0000241e: SWAP3 0000241f: POP 00002420: PUSH1 0x40 00002422: DUP6 00002423: ADD 00002424: CALLDATALOAD 00002425: SWAP2 00002426: POP 00002427: PUSH1 0x60 00002429: DUP6 0000242a: ADD 0000242b: CALLDATALOAD 0000242c: PUSH8 0xffffffffffffffff 00002435: DUP2 00002436: GT 00002437: ISZERO 00002438: PUSH2 0x2440 0000243b: JUMPI 0000243c: PUSH1 0x00 0000243e: DUP1 0000243f: REVERT 00002440: JUMPDEST 00002441: DUP6 00002442: ADD 00002443: PUSH1 0x1f 00002445: DUP2 00002446: ADD 00002447: DUP8 00002448: SGT 00002449: PUSH2 0x2451 0000244c: JUMPI 0000244d: PUSH1 0x00 0000244f: DUP1 00002450: REVERT 00002451: JUMPDEST 00002452: PUSH2 0x2460 00002455: DUP8 00002456: DUP3 00002457: CALLDATALOAD 00002458: PUSH1 0x20 0000245a: DUP5 0000245b: ADD 0000245c: PUSH2 0x21a8 0000245f: JUMP 00002460: JUMPDEST 00002461: SWAP2 00002462: POP 00002463: POP 00002464: SWAP3 00002465: SWAP6 00002466: SWAP2 00002467: SWAP5 00002468: POP 00002469: SWAP3 0000246a: POP 0000246b: JUMP 0000246c: JUMPDEST 0000246d: PUSH1 0x00 0000246f: DUP1 00002470: PUSH1 0x40 00002472: DUP4 00002473: DUP6 00002474: SUB 00002475: SLT 00002476: ISZERO 00002477: PUSH2 0x247f 0000247a: JUMPI 0000247b: PUSH1 0x00 0000247d: DUP1 0000247e: REVERT 0000247f: JUMPDEST 00002480: PUSH2 0x2488 00002483: DUP4 00002484: PUSH2 0x20e4 00002487: JUMP 00002488: JUMPDEST 00002489: SWAP2 0000248a: POP 0000248b: PUSH2 0x22cb 0000248e: PUSH1 0x20 00002490: DUP5 00002491: ADD 00002492: PUSH2 0x20e4 00002495: JUMP 00002496: JUMPDEST 00002497: PUSH1 0x01 00002499: DUP2 0000249a: DUP2 0000249b: SHR 0000249c: SWAP1 0000249d: DUP3 0000249e: AND 0000249f: DUP1 000024a0: PUSH2 0x24aa 000024a3: JUMPI 000024a4: PUSH1 0x7f 000024a6: DUP3 000024a7: AND 000024a8: SWAP2 000024a9: POP 000024aa: JUMPDEST 000024ab: PUSH1 0x20 000024ad: DUP3 000024ae: LT 000024af: DUP2 000024b0: SUB 000024b1: PUSH2 0x24ca 000024b4: JUMPI 000024b5: PUSH4 0x4e487b71 000024ba: PUSH1 0xe0 000024bc: SHL 000024bd: PUSH1 0x00 000024bf: MSTORE 000024c0: PUSH1 0x22 000024c2: PUSH1 0x04 000024c4: MSTORE 000024c5: PUSH1 0x24 000024c7: PUSH1 0x00 000024c9: REVERT 000024ca: JUMPDEST 000024cb: POP 000024cc: SWAP2 000024cd: SWAP1 000024ce: POP 000024cf: JUMP 000024d0: JUMPDEST 000024d1: PUSH4 0x4e487b71 000024d6: PUSH1 0xe0 000024d8: SHL 000024d9: PUSH1 0x00 000024db: MSTORE 000024dc: PUSH1 0x11 000024de: PUSH1 0x04 000024e0: MSTORE 000024e1: PUSH1 0x24 000024e3: PUSH1 0x00 000024e5: REVERT 000024e6: JUMPDEST 000024e7: DUP2 000024e8: DUP2 000024e9: SUB 000024ea: DUP2 000024eb: DUP2 000024ec: GT 000024ed: ISZERO 000024ee: PUSH2 0x0806 000024f1: JUMPI 000024f2: PUSH2 0x0806 000024f5: PUSH2 0x24d0 000024f8: JUMP 000024f9: JUMPDEST 000024fa: PUSH1 0x1f 000024fc: DUP3 000024fd: GT 000024fe: ISZERO 000024ff: PUSH2 0x0a14 00002502: JUMPI 00002503: PUSH1 0x00 00002505: DUP2 00002506: DUP2 00002507: MSTORE 00002508: PUSH1 0x20 0000250a: DUP2 0000250b: KECCAK256 0000250c: PUSH1 0x1f 0000250e: DUP6 0000250f: ADD 00002510: PUSH1 0x05 00002512: SHR 00002513: DUP2 00002514: ADD 00002515: PUSH1 0x20 00002517: DUP7 00002518: LT 00002519: ISZERO 0000251a: PUSH2 0x2520 0000251d: JUMPI 0000251e: POP 0000251f: DUP1 00002520: JUMPDEST 00002521: PUSH1 0x1f 00002523: DUP6 00002524: ADD 00002525: PUSH1 0x05 00002527: SHR 00002528: DUP3 00002529: ADD 0000252a: SWAP2 0000252b: POP 0000252c: JUMPDEST 0000252d: DUP2 0000252e: DUP2 0000252f: LT 00002530: ISZERO 00002531: PUSH2 0x253f 00002534: JUMPI 00002535: DUP3 00002536: DUP2 00002537: SSTORE 00002538: PUSH1 0x01 0000253a: ADD 0000253b: PUSH2 0x252c 0000253e: JUMP 0000253f: JUMPDEST 00002540: POP 00002541: POP 00002542: POP 00002543: POP 00002544: POP 00002545: POP 00002546: JUMP 00002547: JUMPDEST 00002548: DUP2 00002549: MLOAD 0000254a: PUSH8 0xffffffffffffffff 00002553: DUP2 00002554: GT 00002555: ISZERO 00002556: PUSH2 0x2561 00002559: JUMPI 0000255a: PUSH2 0x2561 0000255d: PUSH2 0x2161 00002560: JUMP 00002561: JUMPDEST 00002562: PUSH2 0x2575 00002565: DUP2 00002566: PUSH2 0x256f 00002569: DUP5 0000256a: SLOAD 0000256b: PUSH2 0x2496 0000256e: JUMP 0000256f: JUMPDEST 00002570: DUP5 00002571: PUSH2 0x24f9 00002574: JUMP 00002575: JUMPDEST 00002576: PUSH1 0x20 00002578: DUP1 00002579: PUSH1 0x1f 0000257b: DUP4 0000257c: GT 0000257d: PUSH1 0x01 0000257f: DUP2 00002580: EQ 00002581: PUSH2 0x25aa 00002584: JUMPI 00002585: PUSH1 0x00 00002587: DUP5 00002588: ISZERO 00002589: PUSH2 0x2592 0000258c: JUMPI 0000258d: POP 0000258e: DUP6 0000258f: DUP4 00002590: ADD 00002591: MLOAD 00002592: JUMPDEST 00002593: PUSH1 0x00 00002595: NOT 00002596: PUSH1 0x03 00002598: DUP7 00002599: SWAP1 0000259a: SHL 0000259b: SHR 0000259c: NOT 0000259d: AND 0000259e: PUSH1 0x01 000025a0: DUP6 000025a1: SWAP1 000025a2: SHL 000025a3: OR 000025a4: DUP6 000025a5: SSTORE 000025a6: PUSH2 0x253f 000025a9: JUMP 000025aa: JUMPDEST 000025ab: PUSH1 0x00 000025ad: DUP6 000025ae: DUP2 000025af: MSTORE 000025b0: PUSH1 0x20 000025b2: DUP2 000025b3: KECCAK256 000025b4: PUSH1 0x1f 000025b6: NOT 000025b7: DUP7 000025b8: AND 000025b9: SWAP2 000025ba: JUMPDEST 000025bb: DUP3 000025bc: DUP2 000025bd: LT 000025be: ISZERO 000025bf: PUSH2 0x25d9 000025c2: JUMPI 000025c3: DUP9 000025c4: DUP7 000025c5: ADD 000025c6: MLOAD 000025c7: DUP3 000025c8: SSTORE 000025c9: SWAP5 000025ca: DUP5 000025cb: ADD 000025cc: SWAP5 000025cd: PUSH1 0x01 000025cf: SWAP1 000025d0: SWAP2 000025d1: ADD 000025d2: SWAP1 000025d3: DUP5 000025d4: ADD 000025d5: PUSH2 0x25ba 000025d8: JUMP 000025d9: JUMPDEST 000025da: POP 000025db: DUP6 000025dc: DUP3 000025dd: LT 000025de: ISZERO 000025df: PUSH2 0x25f7 000025e2: JUMPI 000025e3: DUP8 000025e4: DUP6 000025e5: ADD 000025e6: MLOAD 000025e7: PUSH1 0x00 000025e9: NOT 000025ea: PUSH1 0x03 000025ec: DUP9 000025ed: SWAP1 000025ee: SHL 000025ef: PUSH1 0xf8 000025f1: AND 000025f2: SHR 000025f3: NOT 000025f4: AND 000025f5: DUP2 000025f6: SSTORE 000025f7: JUMPDEST 000025f8: POP 000025f9: POP 000025fa: POP 000025fb: POP 000025fc: POP 000025fd: PUSH1 0x01 000025ff: SWAP1 00002600: DUP2 00002601: SHL 00002602: ADD 00002603: SWAP1 00002604: SSTORE 00002605: POP 00002606: JUMP 00002607: JUMPDEST 00002608: PUSH1 0x00 0000260a: PUSH4 0xffffffff 0000260f: DUP1 00002610: DUP4 00002611: AND 00002612: DUP2 00002613: DUP2 00002614: SUB 00002615: PUSH2 0x2620 00002618: JUMPI 00002619: PUSH2 0x2620 0000261c: PUSH2 0x24d0 0000261f: JUMP 00002620: JUMPDEST 00002621: PUSH1 0x01 00002623: ADD 00002624: SWAP4 00002625: SWAP3 00002626: POP 00002627: POP 00002628: POP 00002629: JUMP 0000262a: JUMPDEST 0000262b: PUSH1 0x00 0000262d: PUSH1 0x01 0000262f: DUP3 00002630: ADD 00002631: PUSH2 0x263c 00002634: JUMPI 00002635: PUSH2 0x263c 00002638: PUSH2 0x24d0 0000263b: JUMP 0000263c: JUMPDEST 0000263d: POP 0000263e: PUSH1 0x01 00002640: ADD 00002641: SWAP1 00002642: JUMP 00002643: JUMPDEST 00002644: PUSH4 0x4e487b71 00002649: PUSH1 0xe0 0000264b: SHL 0000264c: PUSH1 0x00 0000264e: MSTORE 0000264f: PUSH1 0x32 00002651: PUSH1 0x04 00002653: MSTORE 00002654: PUSH1 0x24 00002656: PUSH1 0x00 00002658: REVERT 00002659: JUMPDEST 0000265a: DUP1 0000265b: DUP3 0000265c: ADD 0000265d: DUP1 0000265e: DUP3 0000265f: GT 00002660: ISZERO 00002661: PUSH2 0x0806 00002664: JUMPI 00002665: PUSH2 0x0806 00002668: PUSH2 0x24d0 0000266b: JUMP 0000266c: JUMPDEST 0000266d: PUSH1 0x00 0000266f: PUSH1 0x01 00002671: PUSH1 0x01 00002673: PUSH1 0xa0 00002675: SHL 00002676: SUB 00002677: DUP1 00002678: DUP8 00002679: AND 0000267a: DUP4 0000267b: MSTORE 0000267c: DUP1 0000267d: DUP7 0000267e: AND 0000267f: PUSH1 0x20 00002681: DUP5 00002682: ADD 00002683: MSTORE 00002684: POP 00002685: DUP4 00002686: PUSH1 0x40 00002688: DUP4 00002689: ADD 0000268a: MSTORE 0000268b: PUSH1 0x80 0000268d: PUSH1 0x60 0000268f: DUP4 00002690: ADD 00002691: MSTORE 00002692: PUSH2 0x269e 00002695: PUSH1 0x80 00002697: DUP4 00002698: ADD 00002699: DUP5 0000269a: PUSH2 0x2072 0000269d: JUMP 0000269e: JUMPDEST 0000269f: SWAP7 000026a0: SWAP6 000026a1: POP 000026a2: POP 000026a3: POP 000026a4: POP 000026a5: POP 000026a6: POP 000026a7: JUMP 000026a8: JUMPDEST 000026a9: PUSH1 0x00 000026ab: PUSH1 0x20 000026ad: DUP3 000026ae: DUP5 000026af: SUB 000026b0: SLT 000026b1: ISZERO 000026b2: PUSH2 0x26ba 000026b5: JUMPI 000026b6: PUSH1 0x00 000026b8: DUP1 000026b9: REVERT 000026ba: JUMPDEST 000026bb: DUP2 000026bc: MLOAD 000026bd: PUSH2 0x206b 000026c0: DUP2 000026c1: PUSH2 0x2038 000026c4: JUMP 000026c5: INVALID 000026c6: LOG2 000026c7: PUSH5 0x6970667358 000026cd: UNKNOWN(0x22) 000026ce: SLT 000026cf: KECCAK256 000026d0: DIFFICULTY 000026d1: UNKNOWN(0xD2) 000026d2: AND 000026d3: RETURNDATACOPY 000026d4: UNKNOWN(0xEC) 000026d5: SELFBALANCE 000026d6: CODESIZE 000026d7: EXP 000026d8: UNKNOWN(0x2B) 000026d9: CODECOPY 000026da: UNKNOWN(0xC8) 000026db: UNKNOWN(0xCA) 000026dc: UNKNOWN(0x4C) 000026dd: DUP1 000026de: DUP3 000026df: PUSH32
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7a93788f8ab48decbd870a067bbb5cf069dd44de0618d885c5bb61f853814cad
call_targets:
0xabfae8a54e6817f57f9de7796044e9a60e61ad67
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a93788f8ab48decbd870a067bbb5cf069dd44de0618d885c5bb61f853814cad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xabfae8a54e6817f57f9de7796044e9a60e61ad67"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf35dad40",
"selector": "0xf35dad40",
"calldata_variants": [
"0xf35dad40",
"0xf35dad400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfca3b5aa",
"selector": "0xfca3b5aa",
"calldata_variants": [
"0xfca3b5aa",
"0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef85ade7",
"selector": "0xef85ade7",
"calldata_variants": [
"0xef85ade7",
"0xef85ade70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc54cce3",
"selector": "0xcc54cce3",
"calldata_variants": [
"0xcc54cce3",
"0xcc54cce30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf3c3a30",
"selector": "0xdf3c3a30",
"calldata_variants": [
"0xdf3c3a30",
"0xdf3c3a300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0b6bb67",
"selector": "0xe0b6bb67",
"calldata_variants": [
"0xe0b6bb67",
"0xe0b6bb670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3544,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6622,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7987,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7a93788f8ab48decbd870a067bbb5cf069dd44de0618d885c5bb61f853814cad
call_targets:
0xabfae8a54e6817f57f9de7796044e9a60e61ad67
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a93788f8ab48decbd870a067bbb5cf069dd44de0618d885c5bb61f853814cad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xabfae8a54e6817f57f9de7796044e9a60e61ad67"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf35dad40",
"selector": "0xf35dad40",
"calldata_variants": [
"0xf35dad40",
"0xf35dad400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfca3b5aa",
"selector": "0xfca3b5aa",
"calldata_variants": [
"0xfca3b5aa",
"0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef85ade7",
"selector": "0xef85ade7",
"calldata_variants": [
"0xef85ade7",
"0xef85ade70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc54cce3",
"selector": "0xcc54cce3",
"calldata_variants": [
"0xcc54cce3",
"0xcc54cce30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf3c3a30",
"selector": "0xdf3c3a30",
"calldata_variants": [
"0xdf3c3a30",
"0xdf3c3a300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0b6bb67",
"selector": "0xe0b6bb67",
"calldata_variants": [
"0xe0b6bb67",
"0xe0b6bb670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3544,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6622,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7987,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x189de70390916769de2b82bf511273bc083eb40ffb07e8e02bcd72f734a60a59
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x189de70390916769de2b82bf511273bc083eb40ffb07e8e02bcd72f734a60a59",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf35dad40",
"selector": "0xf35dad40",
"calldata_variants": [
"0xf35dad40",
"0xf35dad400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfca3b5aa",
"selector": "0xfca3b5aa",
"calldata_variants": [
"0xfca3b5aa",
"0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef85ade7",
"selector": "0xef85ade7",
"calldata_variants": [
"0xef85ade7",
"0xef85ade70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc54cce3",
"selector": "0xcc54cce3",
"calldata_variants": [
"0xcc54cce3",
"0xcc54cce30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf3c3a30",
"selector": "0xdf3c3a30",
"calldata_variants": [
"0xdf3c3a30",
"0xdf3c3a300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0b6bb67",
"selector": "0xe0b6bb67",
"calldata_variants": [
"0xe0b6bb67",
"0xe0b6bb670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|