019b477e-c64e-71f9-ba5b-68d9616b86ff
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 |
|---|---|---|---|---|
| 25751 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25752 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69102 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69103 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69104 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69105 | 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 0x01b7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6352211e 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9f181b5e 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb88d4fde 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb88d4fde 0000003a: EQ 0000003b: PUSH2 0x04fc 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc87b56dd 00000045: EQ 00000046: PUSH2 0x051c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd1bdb1d1 00000050: EQ 00000051: PUSH2 0x053c 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe985e9c5 0000005b: EQ 0000005c: PUSH2 0x0551 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x9f181b5e 0000006b: EQ 0000006c: PUSH2 0x049b 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa22cb465 00000076: EQ 00000077: PUSH2 0x04c7 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xb42ccdfd 00000081: EQ 00000082: PUSH2 0x04e7 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x70a08231 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x70a08231 0000009c: EQ 0000009d: PUSH2 0x0421 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x785bb03e 000000a7: EQ 000000a8: PUSH2 0x044e 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x0461 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x95d89b41 000000bd: EQ 000000be: PUSH2 0x0486 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x6352211e 000000cd: EQ 000000ce: PUSH2 0x03b8 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x6900a3ae 000000d8: EQ 000000d9: PUSH2 0x03ee 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x6a627842 000000e3: EQ 000000e4: PUSH2 0x040e 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x23b872dd 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x40d097c3 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x40d097c3 00000109: EQ 0000010a: PUSH2 0x0352 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x42842e0e 00000114: EQ 00000115: PUSH2 0x0365 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x49df728c 0000011f: EQ 00000120: PUSH2 0x0385 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x58e8ca0a 0000012a: EQ 0000012b: PUSH2 0x03a5 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x23b872dd 0000013a: EQ 0000013b: PUSH2 0x02fd 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x28cad13d 00000145: EQ 00000146: PUSH2 0x031d 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x3ccfd60b 00000150: EQ 00000151: PUSH2 0x033d 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x081812fc 00000160: GT 00000161: PUSH2 0x0195 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x081812fc 0000016b: EQ 0000016c: PUSH2 0x023c 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x095ea7b3 00000176: EQ 00000177: PUSH2 0x028a 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x1e7269c5 00000181: EQ 00000182: PUSH2 0x02ac 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x1e84c413 0000018c: EQ 0000018d: PUSH2 0x02dc 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: DUP1 00000197: PUSH4 0x01ffc9a7 0000019c: EQ 0000019d: PUSH2 0x01bc 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x06fdde03 000001a7: EQ 000001a8: PUSH2 0x01f1 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x07e89ec0 000001b2: EQ 000001b3: PUSH2 0x0213 000001b6: JUMPI 000001b7: JUMPDEST 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: CALLVALUE 000001be: DUP1 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: PUSH2 0x01dc 000001cd: PUSH2 0x01d7 000001d0: CALLDATASIZE 000001d1: PUSH1 0x04 000001d3: PUSH2 0x184e 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH2 0x058c 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: MLOAD 000001e0: SWAP1 000001e1: ISZERO 000001e2: ISZERO 000001e3: DUP2 000001e4: MSTORE 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: JUMPDEST 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: DUP1 000001ed: SWAP2 000001ee: SUB 000001ef: SWAP1 000001f0: RETURN 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x0206 00000202: PUSH2 0x0629 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH1 0x40 00000209: MLOAD 0000020a: PUSH2 0x01e8 0000020d: SWAP2 0000020e: SWAP1 0000020f: PUSH2 0x18ca 00000212: JUMP 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x022e 00000224: PUSH7 0xb1a2bc2ec50000 0000022c: DUP2 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x40 00000231: MLOAD 00000232: SWAP1 00000233: DUP2 00000234: MSTORE 00000235: PUSH1 0x20 00000237: ADD 00000238: PUSH2 0x01e8 0000023b: JUMP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x0272 0000024d: PUSH2 0x0257 00000250: CALLDATASIZE 00000251: PUSH1 0x04 00000253: PUSH2 0x18dd 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x04 0000025a: PUSH1 0x20 0000025c: MSTORE 0000025d: PUSH1 0x00 0000025f: SWAP1 00000260: DUP2 00000261: MSTORE 00000262: PUSH1 0x40 00000264: SWAP1 00000265: KECCAK256 00000266: SLOAD 00000267: PUSH1 0x01 00000269: PUSH1 0x01 0000026b: PUSH1 0xa0 0000026d: SHL 0000026e: SUB 0000026f: AND 00000270: DUP2 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: MLOAD 00000276: PUSH1 0x01 00000278: PUSH1 0x01 0000027a: PUSH1 0xa0 0000027c: SHL 0000027d: SUB 0000027e: SWAP1 0000027f: SWAP2 00000280: AND 00000281: DUP2 00000282: MSTORE 00000283: PUSH1 0x20 00000285: ADD 00000286: PUSH2 0x01e8 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x0296 00000291: JUMPI 00000292: PUSH1 0x00 00000294: DUP1 00000295: REVERT 00000296: JUMPDEST 00000297: POP 00000298: PUSH2 0x02aa 0000029b: PUSH2 0x02a5 0000029e: CALLDATASIZE 0000029f: PUSH1 0x04 000002a1: PUSH2 0x190b 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x06b7 000002a9: JUMP 000002aa: JUMPDEST 000002ab: STOP 000002ac: JUMPDEST 000002ad: CALLVALUE 000002ae: DUP1 000002af: ISZERO 000002b0: PUSH2 0x02b8 000002b3: JUMPI 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: REVERT 000002b8: JUMPDEST 000002b9: POP 000002ba: PUSH2 0x01dc 000002bd: PUSH2 0x02c7 000002c0: CALLDATASIZE 000002c1: PUSH1 0x04 000002c3: PUSH2 0x1937 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x07 000002ca: PUSH1 0x20 000002cc: MSTORE 000002cd: PUSH1 0x00 000002cf: SWAP1 000002d0: DUP2 000002d1: MSTORE 000002d2: PUSH1 0x40 000002d4: SWAP1 000002d5: KECCAK256 000002d6: SLOAD 000002d7: PUSH1 0xff 000002d9: AND 000002da: DUP2 000002db: JUMP 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: DUP1 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: PUSH1 0x06 000002ec: SLOAD 000002ed: PUSH2 0x01dc 000002f0: SWAP1 000002f1: PUSH1 0x01 000002f3: PUSH1 0xa8 000002f5: SHL 000002f6: SWAP1 000002f7: DIV 000002f8: PUSH1 0xff 000002fa: AND 000002fb: DUP2 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH2 0x02aa 0000030e: PUSH2 0x0318 00000311: CALLDATASIZE 00000312: PUSH1 0x04 00000314: PUSH2 0x1954 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH2 0x07ba 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x02aa 0000032e: PUSH2 0x0338 00000331: CALLDATASIZE 00000332: PUSH1 0x04 00000334: PUSH2 0x19a3 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x09bc 0000033c: JUMP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH2 0x02aa 0000034e: PUSH2 0x0a24 00000351: JUMP 00000352: JUMPDEST 00000353: PUSH2 0x02aa 00000356: PUSH2 0x0360 00000359: CALLDATASIZE 0000035a: PUSH1 0x04 0000035c: PUSH2 0x1937 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH2 0x0af1 00000364: JUMP 00000365: JUMPDEST 00000366: CALLVALUE 00000367: DUP1 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: PUSH2 0x02aa 00000376: PUSH2 0x0380 00000379: CALLDATASIZE 0000037a: PUSH1 0x04 0000037c: PUSH2 0x1954 0000037f: JUMP 00000380: JUMPDEST 00000381: PUSH2 0x0c0e 00000384: JUMP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: DUP1 00000388: ISZERO 00000389: PUSH2 0x0391 0000038c: JUMPI 0000038d: PUSH1 0x00 0000038f: DUP1 00000390: REVERT 00000391: JUMPDEST 00000392: POP 00000393: PUSH2 0x02aa 00000396: PUSH2 0x03a0 00000399: CALLDATASIZE 0000039a: PUSH1 0x04 0000039c: PUSH2 0x1937 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH2 0x0d07 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH2 0x02aa 000003a9: PUSH2 0x03b3 000003ac: CALLDATASIZE 000003ad: PUSH1 0x04 000003af: PUSH2 0x1937 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH2 0x0e47 000003b7: JUMP 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: DUP1 000003bb: ISZERO 000003bc: PUSH2 0x03c4 000003bf: JUMPI 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: PUSH2 0x0272 000003c9: PUSH2 0x03d3 000003cc: CALLDATASIZE 000003cd: PUSH1 0x04 000003cf: PUSH2 0x18dd 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH1 0x03 000003d6: PUSH1 0x20 000003d8: MSTORE 000003d9: PUSH1 0x00 000003db: SWAP1 000003dc: DUP2 000003dd: MSTORE 000003de: PUSH1 0x40 000003e0: SWAP1 000003e1: KECCAK256 000003e2: SLOAD 000003e3: PUSH1 0x01 000003e5: PUSH1 0x01 000003e7: PUSH1 0xa0 000003e9: SHL 000003ea: SUB 000003eb: AND 000003ec: DUP2 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH2 0x0206 000003ff: PUSH2 0x0409 00000402: CALLDATASIZE 00000403: PUSH1 0x04 00000405: PUSH2 0x18dd 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH2 0x0e9a 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH2 0x02aa 00000412: PUSH2 0x041c 00000415: CALLDATASIZE 00000416: PUSH1 0x04 00000418: PUSH2 0x1937 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x0fd4 00000420: JUMP 00000421: JUMPDEST 00000422: CALLVALUE 00000423: DUP1 00000424: ISZERO 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: PUSH2 0x022e 00000432: PUSH2 0x043c 00000435: CALLDATASIZE 00000436: PUSH1 0x04 00000438: PUSH2 0x1937 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH1 0x02 0000043f: PUSH1 0x20 00000441: MSTORE 00000442: PUSH1 0x00 00000444: SWAP1 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x40 00000449: SWAP1 0000044a: KECCAK256 0000044b: SLOAD 0000044c: DUP2 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH2 0x02aa 00000452: PUSH2 0x045c 00000455: CALLDATASIZE 00000456: PUSH1 0x04 00000458: PUSH2 0x1a63 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH2 0x10f1 00000460: JUMP 00000461: JUMPDEST 00000462: CALLVALUE 00000463: DUP1 00000464: ISZERO 00000465: PUSH2 0x046d 00000468: JUMPI 00000469: PUSH1 0x00 0000046b: DUP1 0000046c: REVERT 0000046d: JUMPDEST 0000046e: POP 0000046f: PUSH1 0x06 00000471: SLOAD 00000472: PUSH2 0x0272 00000475: SWAP1 00000476: PUSH2 0x0100 00000479: SWAP1 0000047a: DIV 0000047b: PUSH1 0x01 0000047d: PUSH1 0x01 0000047f: PUSH1 0xa0 00000481: SHL 00000482: SUB 00000483: AND 00000484: DUP2 00000485: JUMP 00000486: JUMPDEST 00000487: CALLVALUE 00000488: DUP1 00000489: ISZERO 0000048a: PUSH2 0x0492 0000048d: JUMPI 0000048e: PUSH1 0x00 00000490: DUP1 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: PUSH2 0x0206 00000497: PUSH2 0x120f 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH1 0x06 000004ab: SLOAD 000004ac: PUSH2 0x04b5 000004af: SWAP1 000004b0: PUSH1 0xff 000004b2: AND 000004b3: DUP2 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x40 000004b8: MLOAD 000004b9: PUSH1 0xff 000004bb: SWAP1 000004bc: SWAP2 000004bd: AND 000004be: DUP2 000004bf: MSTORE 000004c0: PUSH1 0x20 000004c2: ADD 000004c3: PUSH2 0x01e8 000004c6: JUMP 000004c7: JUMPDEST 000004c8: CALLVALUE 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d3 000004ce: JUMPI 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: REVERT 000004d3: JUMPDEST 000004d4: POP 000004d5: PUSH2 0x02aa 000004d8: PUSH2 0x04e2 000004db: CALLDATASIZE 000004dc: PUSH1 0x04 000004de: PUSH2 0x1ab3 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH2 0x121c 000004e6: JUMP 000004e7: JUMPDEST 000004e8: CALLVALUE 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: PUSH2 0x022e 000004f8: PUSH1 0x64 000004fa: DUP2 000004fb: JUMP 000004fc: JUMPDEST 000004fd: CALLVALUE 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: PUSH2 0x02aa 0000050d: PUSH2 0x0517 00000510: CALLDATASIZE 00000511: PUSH1 0x04 00000513: PUSH2 0x1aec 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH2 0x1288 0000051b: JUMP 0000051c: JUMPDEST 0000051d: CALLVALUE 0000051e: DUP1 0000051f: ISZERO 00000520: PUSH2 0x0528 00000523: JUMPI 00000524: PUSH1 0x00 00000526: DUP1 00000527: REVERT 00000528: JUMPDEST 00000529: POP 0000052a: PUSH2 0x0206 0000052d: PUSH2 0x0537 00000530: CALLDATASIZE 00000531: PUSH1 0x04 00000533: PUSH2 0x18dd 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH2 0x136d 0000053b: JUMP 0000053c: JUMPDEST 0000053d: CALLVALUE 0000053e: DUP1 0000053f: ISZERO 00000540: PUSH2 0x0548 00000543: JUMPI 00000544: PUSH1 0x00 00000546: DUP1 00000547: REVERT 00000548: JUMPDEST 00000549: POP 0000054a: PUSH2 0x022e 0000054d: PUSH1 0x01 0000054f: DUP2 00000550: JUMP 00000551: JUMPDEST 00000552: CALLVALUE 00000553: DUP1 00000554: ISZERO 00000555: PUSH2 0x055d 00000558: JUMPI 00000559: PUSH1 0x00 0000055b: DUP1 0000055c: REVERT 0000055d: JUMPDEST 0000055e: POP 0000055f: PUSH2 0x01dc 00000562: PUSH2 0x056c 00000565: CALLDATASIZE 00000566: PUSH1 0x04 00000568: PUSH2 0x1b58 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH1 0x05 0000056f: PUSH1 0x20 00000571: SWAP1 00000572: DUP2 00000573: MSTORE 00000574: PUSH1 0x00 00000576: SWAP3 00000577: DUP4 00000578: MSTORE 00000579: PUSH1 0x40 0000057b: DUP1 0000057c: DUP5 0000057d: KECCAK256 0000057e: SWAP1 0000057f: SWAP2 00000580: MSTORE 00000581: SWAP1 00000582: DUP3 00000583: MSTORE 00000584: SWAP1 00000585: KECCAK256 00000586: SLOAD 00000587: PUSH1 0xff 00000589: AND 0000058a: DUP2 0000058b: JUMP 0000058c: JUMPDEST 0000058d: PUSH1 0x00 0000058f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000005b0: PUSH1 0x01 000005b2: PUSH1 0x01 000005b4: PUSH1 0xe0 000005b6: SHL 000005b7: SUB 000005b8: NOT 000005b9: DUP4 000005ba: AND 000005bb: EQ 000005bc: DUP1 000005bd: PUSH2 0x05ef 000005c0: JUMPI 000005c1: POP 000005c2: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 000005e3: PUSH1 0x01 000005e5: PUSH1 0x01 000005e7: PUSH1 0xe0 000005e9: SHL 000005ea: SUB 000005eb: NOT 000005ec: DUP4 000005ed: AND 000005ee: EQ 000005ef: JUMPDEST 000005f0: DUP1 000005f1: PUSH2 0x0623 000005f4: JUMPI 000005f5: POP 000005f6: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 00000617: PUSH1 0x01 00000619: PUSH1 0x01 0000061b: PUSH1 0xe0 0000061d: SHL 0000061e: SUB 0000061f: NOT 00000620: DUP4 00000621: AND 00000622: EQ 00000623: JUMPDEST 00000624: SWAP3 00000625: SWAP2 00000626: POP 00000627: POP 00000628: JUMP 00000629: JUMPDEST 0000062a: PUSH1 0x00 0000062c: DUP1 0000062d: SLOAD 0000062e: PUSH2 0x0636 00000631: SWAP1 00000632: PUSH2 0x1b86 00000635: JUMP 00000636: JUMPDEST 00000637: DUP1 00000638: PUSH1 0x1f 0000063a: ADD 0000063b: PUSH1 0x20 0000063d: DUP1 0000063e: SWAP2 0000063f: DIV 00000640: MUL 00000641: PUSH1 0x20 00000643: ADD 00000644: PUSH1 0x40 00000646: MLOAD 00000647: SWAP1 00000648: DUP2 00000649: ADD 0000064a: PUSH1 0x40 0000064c: MSTORE 0000064d: DUP1 0000064e: SWAP3 0000064f: SWAP2 00000650: SWAP1 00000651: DUP2 00000652: DUP2 00000653: MSTORE 00000654: PUSH1 0x20 00000656: ADD 00000657: DUP3 00000658: DUP1 00000659: SLOAD 0000065a: PUSH2 0x0662 0000065d: SWAP1 0000065e: PUSH2 0x1b86 00000661: JUMP 00000662: JUMPDEST 00000663: DUP1 00000664: ISZERO 00000665: PUSH2 0x06af 00000668: JUMPI 00000669: DUP1 0000066a: PUSH1 0x1f 0000066c: LT 0000066d: PUSH2 0x0684 00000670: JUMPI 00000671: PUSH2 0x0100 00000674: DUP1 00000675: DUP4 00000676: SLOAD 00000677: DIV 00000678: MUL 00000679: DUP4 0000067a: MSTORE 0000067b: SWAP2 0000067c: PUSH1 0x20 0000067e: ADD 0000067f: SWAP2 00000680: PUSH2 0x06af 00000683: JUMP 00000684: JUMPDEST 00000685: DUP3 00000686: ADD 00000687: SWAP2 00000688: SWAP1 00000689: PUSH1 0x00 0000068b: MSTORE 0000068c: PUSH1 0x20 0000068e: PUSH1 0x00 00000690: KECCAK256 00000691: SWAP1 00000692: JUMPDEST 00000693: DUP2 00000694: SLOAD 00000695: DUP2 00000696: MSTORE 00000697: SWAP1 00000698: PUSH1 0x01 0000069a: ADD 0000069b: SWAP1 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: DUP1 000006a0: DUP4 000006a1: GT 000006a2: PUSH2 0x0692 000006a5: JUMPI 000006a6: DUP3 000006a7: SWAP1 000006a8: SUB 000006a9: PUSH1 0x1f 000006ab: AND 000006ac: DUP3 000006ad: ADD 000006ae: SWAP2 000006af: JUMPDEST 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: POP 000006b4: POP 000006b5: DUP2 000006b6: JUMP 000006b7: JUMPDEST 000006b8: PUSH1 0x00 000006ba: DUP2 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x03 000006bf: PUSH1 0x20 000006c1: MSTORE 000006c2: PUSH1 0x40 000006c4: SWAP1 000006c5: KECCAK256 000006c6: SLOAD 000006c7: PUSH1 0x01 000006c9: PUSH1 0x01 000006cb: PUSH1 0xa0 000006cd: SHL 000006ce: SUB 000006cf: AND 000006d0: CALLER 000006d1: DUP2 000006d2: EQ 000006d3: DUP1 000006d4: PUSH2 0x0700 000006d7: JUMPI 000006d8: POP 000006d9: PUSH1 0x01 000006db: PUSH1 0x01 000006dd: PUSH1 0xa0 000006df: SHL 000006e0: SUB 000006e1: DUP2 000006e2: AND 000006e3: PUSH1 0x00 000006e5: SWAP1 000006e6: DUP2 000006e7: MSTORE 000006e8: PUSH1 0x05 000006ea: PUSH1 0x20 000006ec: SWAP1 000006ed: DUP2 000006ee: MSTORE 000006ef: PUSH1 0x40 000006f1: DUP1 000006f2: DUP4 000006f3: KECCAK256 000006f4: CALLER 000006f5: DUP5 000006f6: MSTORE 000006f7: SWAP1 000006f8: SWAP2 000006f9: MSTORE 000006fa: SWAP1 000006fb: KECCAK256 000006fc: SLOAD 000006fd: PUSH1 0xff 000006ff: AND 00000700: JUMPDEST 00000701: PUSH2 0x0751 00000704: JUMPI 00000705: PUSH1 0x40 00000707: MLOAD 00000708: PUSH3 0x461bcd 0000070c: PUSH1 0xe5 0000070e: SHL 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x20 00000713: PUSH1 0x04 00000715: DUP3 00000716: ADD 00000717: MSTORE 00000718: PUSH1 0x0e 0000071a: PUSH1 0x24 0000071c: DUP3 0000071d: ADD 0000071e: MSTORE 0000071f: PUSH32 0x4e4f545f415554484f52495a4544000000000000000000000000000000000000 00000740: PUSH1 0x44 00000742: DUP3 00000743: ADD 00000744: MSTORE 00000745: PUSH1 0x64 00000747: ADD 00000748: JUMPDEST 00000749: PUSH1 0x40 0000074b: MLOAD 0000074c: DUP1 0000074d: SWAP2 0000074e: SUB 0000074f: SWAP1 00000750: REVERT 00000751: JUMPDEST 00000752: PUSH1 0x00 00000754: DUP3 00000755: DUP2 00000756: MSTORE 00000757: PUSH1 0x04 00000759: PUSH1 0x20 0000075b: MSTORE 0000075c: PUSH1 0x40 0000075e: DUP1 0000075f: DUP3 00000760: KECCAK256 00000761: DUP1 00000762: SLOAD 00000763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000778: NOT 00000779: AND 0000077a: PUSH1 0x01 0000077c: PUSH1 0x01 0000077e: PUSH1 0xa0 00000780: SHL 00000781: SUB 00000782: DUP8 00000783: DUP2 00000784: AND 00000785: SWAP2 00000786: DUP3 00000787: OR 00000788: SWAP1 00000789: SWAP3 0000078a: SSTORE 0000078b: SWAP2 0000078c: MLOAD 0000078d: DUP6 0000078e: SWAP4 0000078f: SWAP2 00000790: DUP6 00000791: AND 00000792: SWAP2 00000793: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000007b4: SWAP2 000007b5: LOG4 000007b6: POP 000007b7: POP 000007b8: POP 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x00 000007bd: DUP2 000007be: DUP2 000007bf: MSTORE 000007c0: PUSH1 0x03 000007c2: PUSH1 0x20 000007c4: MSTORE 000007c5: PUSH1 0x40 000007c7: SWAP1 000007c8: KECCAK256 000007c9: SLOAD 000007ca: PUSH1 0x01 000007cc: PUSH1 0x01 000007ce: PUSH1 0xa0 000007d0: SHL 000007d1: SUB 000007d2: DUP5 000007d3: DUP2 000007d4: AND 000007d5: SWAP2 000007d6: AND 000007d7: EQ 000007d8: PUSH2 0x0823 000007db: JUMPI 000007dc: PUSH1 0x40 000007de: MLOAD 000007df: PUSH3 0x461bcd 000007e3: PUSH1 0xe5 000007e5: SHL 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: PUSH1 0x04 000007ec: DUP3 000007ed: ADD 000007ee: MSTORE 000007ef: PUSH1 0x0a 000007f1: PUSH1 0x24 000007f3: DUP3 000007f4: ADD 000007f5: MSTORE 000007f6: PUSH32 0x57524f4e475f46524f4d00000000000000000000000000000000000000000000 00000817: PUSH1 0x44 00000819: DUP3 0000081a: ADD 0000081b: MSTORE 0000081c: PUSH1 0x64 0000081e: ADD 0000081f: PUSH2 0x0748 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH1 0x01 00000826: PUSH1 0x01 00000828: PUSH1 0xa0 0000082a: SHL 0000082b: SUB 0000082c: DUP3 0000082d: AND 0000082e: PUSH2 0x0879 00000831: JUMPI 00000832: PUSH1 0x40 00000834: MLOAD 00000835: PUSH3 0x461bcd 00000839: PUSH1 0xe5 0000083b: SHL 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: PUSH1 0x04 00000842: DUP3 00000843: ADD 00000844: MSTORE 00000845: PUSH1 0x11 00000847: PUSH1 0x24 00000849: DUP3 0000084a: ADD 0000084b: MSTORE 0000084c: PUSH32 0x494e56414c49445f524543495049454e54000000000000000000000000000000 0000086d: PUSH1 0x44 0000086f: DUP3 00000870: ADD 00000871: MSTORE 00000872: PUSH1 0x64 00000874: ADD 00000875: PUSH2 0x0748 00000878: JUMP 00000879: JUMPDEST 0000087a: CALLER 0000087b: PUSH1 0x01 0000087d: PUSH1 0x01 0000087f: PUSH1 0xa0 00000881: SHL 00000882: SUB 00000883: DUP5 00000884: AND 00000885: EQ 00000886: DUP1 00000887: PUSH2 0x08a6 0000088a: JUMPI 0000088b: POP 0000088c: PUSH1 0x00 0000088e: DUP2 0000088f: DUP2 00000890: MSTORE 00000891: PUSH1 0x04 00000893: PUSH1 0x20 00000895: MSTORE 00000896: PUSH1 0x40 00000898: SWAP1 00000899: KECCAK256 0000089a: SLOAD 0000089b: PUSH1 0x01 0000089d: PUSH1 0x01 0000089f: PUSH1 0xa0 000008a1: SHL 000008a2: SUB 000008a3: AND 000008a4: CALLER 000008a5: EQ 000008a6: JUMPDEST 000008a7: DUP1 000008a8: PUSH2 0x08d4 000008ab: JUMPI 000008ac: POP 000008ad: PUSH1 0x01 000008af: PUSH1 0x01 000008b1: PUSH1 0xa0 000008b3: SHL 000008b4: SUB 000008b5: DUP4 000008b6: AND 000008b7: PUSH1 0x00 000008b9: SWAP1 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x05 000008be: PUSH1 0x20 000008c0: SWAP1 000008c1: DUP2 000008c2: MSTORE 000008c3: PUSH1 0x40 000008c5: DUP1 000008c6: DUP4 000008c7: KECCAK256 000008c8: CALLER 000008c9: DUP5 000008ca: MSTORE 000008cb: SWAP1 000008cc: SWAP2 000008cd: MSTORE 000008ce: SWAP1 000008cf: KECCAK256 000008d0: SLOAD 000008d1: PUSH1 0xff 000008d3: AND 000008d4: JUMPDEST 000008d5: PUSH2 0x0920 000008d8: JUMPI 000008d9: PUSH1 0x40 000008db: MLOAD 000008dc: PUSH3 0x461bcd 000008e0: PUSH1 0xe5 000008e2: SHL 000008e3: DUP2 000008e4: MSTORE 000008e5: PUSH1 0x20 000008e7: PUSH1 0x04 000008e9: DUP3 000008ea: ADD 000008eb: MSTORE 000008ec: PUSH1 0x0e 000008ee: PUSH1 0x24 000008f0: DUP3 000008f1: ADD 000008f2: MSTORE 000008f3: PUSH32 0x4e4f545f415554484f52495a4544000000000000000000000000000000000000 00000914: PUSH1 0x44 00000916: DUP3 00000917: ADD 00000918: MSTORE 00000919: PUSH1 0x64 0000091b: ADD 0000091c: PUSH2 0x0748 0000091f: JUMP 00000920: JUMPDEST 00000921: PUSH1 0x01 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: SHL 00000928: SUB 00000929: DUP1 0000092a: DUP5 0000092b: AND 0000092c: PUSH1 0x00 0000092e: DUP2 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x02 00000933: PUSH1 0x20 00000935: SWAP1 00000936: DUP2 00000937: MSTORE 00000938: PUSH1 0x40 0000093a: DUP1 0000093b: DUP4 0000093c: KECCAK256 0000093d: DUP1 0000093e: SLOAD 0000093f: PUSH1 0x00 00000941: NOT 00000942: ADD 00000943: SWAP1 00000944: SSTORE 00000945: SWAP4 00000946: DUP7 00000947: AND 00000948: DUP1 00000949: DUP4 0000094a: MSTORE 0000094b: DUP5 0000094c: DUP4 0000094d: KECCAK256 0000094e: DUP1 0000094f: SLOAD 00000950: PUSH1 0x01 00000952: ADD 00000953: SWAP1 00000954: SSTORE 00000955: DUP6 00000956: DUP4 00000957: MSTORE 00000958: PUSH1 0x03 0000095a: DUP3 0000095b: MSTORE 0000095c: DUP5 0000095d: DUP4 0000095e: KECCAK256 0000095f: DUP1 00000960: SLOAD 00000961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000976: NOT 00000977: SWAP1 00000978: DUP2 00000979: AND 0000097a: DUP4 0000097b: OR 0000097c: SWAP1 0000097d: SWAP2 0000097e: SSTORE 0000097f: PUSH1 0x04 00000981: SWAP1 00000982: SWAP3 00000983: MSTORE 00000984: DUP5 00000985: DUP4 00000986: KECCAK256 00000987: DUP1 00000988: SLOAD 00000989: SWAP1 0000098a: SWAP3 0000098b: AND 0000098c: SWAP1 0000098d: SWAP2 0000098e: SSTORE 0000098f: SWAP3 00000990: MLOAD 00000991: DUP5 00000992: SWAP4 00000993: SWAP3 00000994: SWAP2 00000995: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000009b6: SWAP2 000009b7: LOG4 000009b8: POP 000009b9: POP 000009ba: POP 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x06 000009bf: SLOAD 000009c0: PUSH2 0x0100 000009c3: SWAP1 000009c4: DIV 000009c5: PUSH1 0x01 000009c7: PUSH1 0x01 000009c9: PUSH1 0xa0 000009cb: SHL 000009cc: SUB 000009cd: AND 000009ce: CALLER 000009cf: EQ 000009d0: PUSH2 0x09eb 000009d3: JUMPI 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: PUSH3 0x82b429 000009db: PUSH1 0xe8 000009dd: SHL 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x04 000009e2: ADD 000009e3: PUSH1 0x40 000009e5: MLOAD 000009e6: DUP1 000009e7: SWAP2 000009e8: SUB 000009e9: SWAP1 000009ea: REVERT 000009eb: JUMPDEST 000009ec: PUSH1 0x06 000009ee: DUP1 000009ef: SLOAD 000009f0: SWAP2 000009f1: ISZERO 000009f2: ISZERO 000009f3: PUSH1 0x01 000009f5: PUSH1 0xa8 000009f7: SHL 000009f8: MUL 000009f9: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00000a1a: SWAP1 00000a1b: SWAP3 00000a1c: AND 00000a1d: SWAP2 00000a1e: SWAP1 00000a1f: SWAP2 00000a20: OR 00000a21: SWAP1 00000a22: SSTORE 00000a23: JUMP 00000a24: JUMPDEST 00000a25: PUSH1 0x06 00000a27: SLOAD 00000a28: PUSH2 0x0100 00000a2b: SWAP1 00000a2c: DIV 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0x01 00000a31: PUSH1 0xa0 00000a33: SHL 00000a34: SUB 00000a35: AND 00000a36: CALLER 00000a37: EQ 00000a38: PUSH2 0x0a53 00000a3b: JUMPI 00000a3c: PUSH1 0x40 00000a3e: MLOAD 00000a3f: PUSH3 0x82b429 00000a43: PUSH1 0xe8 00000a45: SHL 00000a46: DUP2 00000a47: MSTORE 00000a48: PUSH1 0x04 00000a4a: ADD 00000a4b: PUSH1 0x40 00000a4d: MLOAD 00000a4e: DUP1 00000a4f: SWAP2 00000a50: SUB 00000a51: SWAP1 00000a52: REVERT 00000a53: JUMPDEST 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: SELFBALANCE 00000a58: SWAP1 00000a59: PUSH1 0x00 00000a5b: SWAP1 00000a5c: CALLER 00000a5d: SWAP1 00000a5e: DUP4 00000a5f: SWAP1 00000a60: DUP4 00000a61: DUP2 00000a62: DUP2 00000a63: DUP2 00000a64: DUP6 00000a65: DUP8 00000a66: GAS 00000a67: CALL 00000a68: SWAP3 00000a69: POP 00000a6a: POP 00000a6b: POP 00000a6c: RETURNDATASIZE 00000a6d: DUP1 00000a6e: PUSH1 0x00 00000a70: DUP2 00000a71: EQ 00000a72: PUSH2 0x0a97 00000a75: JUMPI 00000a76: PUSH1 0x40 00000a78: MLOAD 00000a79: SWAP2 00000a7a: POP 00000a7b: PUSH1 0x1f 00000a7d: NOT 00000a7e: PUSH1 0x3f 00000a80: RETURNDATASIZE 00000a81: ADD 00000a82: AND 00000a83: DUP3 00000a84: ADD 00000a85: PUSH1 0x40 00000a87: MSTORE 00000a88: RETURNDATASIZE 00000a89: DUP3 00000a8a: MSTORE 00000a8b: RETURNDATASIZE 00000a8c: PUSH1 0x00 00000a8e: PUSH1 0x20 00000a90: DUP5 00000a91: ADD 00000a92: RETURNDATACOPY 00000a93: PUSH2 0x0a9c 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x60 00000a9a: SWAP2 00000a9b: POP 00000a9c: JUMPDEST 00000a9d: POP 00000a9e: POP 00000a9f: SWAP1 00000aa0: POP 00000aa1: DUP1 00000aa2: PUSH2 0x0aed 00000aa5: JUMPI 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: PUSH3 0x461bcd 00000aad: PUSH1 0xe5 00000aaf: SHL 00000ab0: DUP2 00000ab1: MSTORE 00000ab2: PUSH1 0x20 00000ab4: PUSH1 0x04 00000ab6: DUP3 00000ab7: ADD 00000ab8: MSTORE 00000ab9: PUSH1 0x14 00000abb: PUSH1 0x24 00000abd: DUP3 00000abe: ADD 00000abf: MSTORE 00000ac0: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000 00000ae1: PUSH1 0x44 00000ae3: DUP3 00000ae4: ADD 00000ae5: MSTORE 00000ae6: PUSH1 0x64 00000ae8: ADD 00000ae9: PUSH2 0x0748 00000aec: JUMP 00000aed: JUMPDEST 00000aee: POP 00000aef: POP 00000af0: JUMP 00000af1: JUMPDEST 00000af2: CALLVALUE 00000af3: PUSH7 0xb1a2bc2ec50000 00000afb: GT 00000afc: ISZERO 00000afd: PUSH2 0x0b19 00000b00: JUMPI 00000b01: PUSH1 0x40 00000b03: MLOAD 00000b04: PUSH4 0x356680b7 00000b09: PUSH1 0xe0 00000b0b: SHL 00000b0c: DUP2 00000b0d: MSTORE 00000b0e: PUSH1 0x04 00000b10: ADD 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: DUP1 00000b15: SWAP2 00000b16: SUB 00000b17: SWAP1 00000b18: REVERT 00000b19: JUMPDEST 00000b1a: PUSH1 0x06 00000b1c: SLOAD 00000b1d: PUSH1 0x64 00000b1f: PUSH1 0xff 00000b21: SWAP1 00000b22: SWAP2 00000b23: AND 00000b24: LT 00000b25: PUSH2 0x0b41 00000b28: JUMPI 00000b29: PUSH1 0x40 00000b2b: MLOAD 00000b2c: PUSH4 0x71e3b461 00000b31: PUSH1 0xe0 00000b33: SHL 00000b34: DUP2 00000b35: MSTORE 00000b36: PUSH1 0x04 00000b38: ADD 00000b39: PUSH1 0x40 00000b3b: MLOAD 00000b3c: DUP1 00000b3d: SWAP2 00000b3e: SUB 00000b3f: SWAP1 00000b40: REVERT 00000b41: JUMPDEST 00000b42: PUSH1 0x06 00000b44: SLOAD 00000b45: PUSH1 0x64 00000b47: SWAP1 00000b48: PUSH2 0x0b55 00000b4b: SWAP1 00000b4c: PUSH1 0xff 00000b4e: AND 00000b4f: PUSH1 0x01 00000b51: PUSH2 0x1bd7 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0xff 00000b58: AND 00000b59: GT 00000b5a: ISZERO 00000b5b: PUSH2 0x0b77 00000b5e: JUMPI 00000b5f: PUSH1 0x40 00000b61: MLOAD 00000b62: PUSH4 0x28a90331 00000b67: PUSH1 0xe2 00000b69: SHL 00000b6a: DUP2 00000b6b: MSTORE 00000b6c: PUSH1 0x04 00000b6e: ADD 00000b6f: PUSH1 0x40 00000b71: MLOAD 00000b72: DUP1 00000b73: SWAP2 00000b74: SUB 00000b75: SWAP1 00000b76: REVERT 00000b77: JUMPDEST 00000b78: CALLER 00000b79: PUSH1 0x00 00000b7b: SWAP1 00000b7c: DUP2 00000b7d: MSTORE 00000b7e: PUSH1 0x07 00000b80: PUSH1 0x20 00000b82: MSTORE 00000b83: PUSH1 0x40 00000b85: SWAP1 00000b86: KECCAK256 00000b87: SLOAD 00000b88: PUSH1 0xff 00000b8a: AND 00000b8b: ISZERO 00000b8c: PUSH2 0x0ba8 00000b8f: JUMPI 00000b90: PUSH1 0x40 00000b92: MLOAD 00000b93: PUSH4 0x1bbdf5c5 00000b98: PUSH1 0xe3 00000b9a: SHL 00000b9b: DUP2 00000b9c: MSTORE 00000b9d: PUSH1 0x04 00000b9f: ADD 00000ba0: PUSH1 0x40 00000ba2: MLOAD 00000ba3: DUP1 00000ba4: SWAP2 00000ba5: SUB 00000ba6: SWAP1 00000ba7: REVERT 00000ba8: JUMPDEST 00000ba9: PUSH1 0x06 00000bab: SLOAD 00000bac: PUSH1 0x01 00000bae: PUSH1 0xa8 00000bb0: SHL 00000bb1: SWAP1 00000bb2: DIV 00000bb3: PUSH1 0xff 00000bb5: AND 00000bb6: PUSH2 0x0bd2 00000bb9: JUMPI 00000bba: PUSH1 0x40 00000bbc: MLOAD 00000bbd: PUSH4 0x589ed34b 00000bc2: PUSH1 0xe0 00000bc4: SHL 00000bc5: DUP2 00000bc6: MSTORE 00000bc7: PUSH1 0x04 00000bc9: ADD 00000bca: PUSH1 0x40 00000bcc: MLOAD 00000bcd: DUP1 00000bce: SWAP2 00000bcf: SUB 00000bd0: SWAP1 00000bd1: REVERT 00000bd2: JUMPDEST 00000bd3: PUSH1 0x06 00000bd5: DUP1 00000bd6: SLOAD 00000bd7: PUSH1 0xff 00000bd9: DUP1 00000bda: DUP3 00000bdb: AND 00000bdc: PUSH1 0x01 00000bde: DUP2 00000bdf: DUP2 00000be0: ADD 00000be1: SWAP1 00000be2: SWAP3 00000be3: AND 00000be4: PUSH1 0xff 00000be6: NOT 00000be7: SWAP4 00000be8: DUP5 00000be9: AND 00000bea: OR 00000beb: SWAP1 00000bec: SWAP4 00000bed: SSTORE 00000bee: CALLER 00000bef: PUSH1 0x00 00000bf1: SWAP1 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x07 00000bf6: PUSH1 0x20 00000bf8: MSTORE 00000bf9: PUSH1 0x40 00000bfb: SWAP1 00000bfc: KECCAK256 00000bfd: DUP1 00000bfe: SLOAD 00000bff: SWAP1 00000c00: SWAP3 00000c01: AND 00000c02: OR 00000c03: SWAP1 00000c04: SSTORE 00000c05: PUSH2 0x0aed 00000c08: DUP3 00000c09: DUP3 00000c0a: PUSH2 0x1425 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH2 0x0c19 00000c12: DUP4 00000c13: DUP4 00000c14: DUP4 00000c15: PUSH2 0x07ba 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH1 0x01 00000c1c: PUSH1 0x01 00000c1e: PUSH1 0xa0 00000c20: SHL 00000c21: SUB 00000c22: DUP3 00000c23: AND 00000c24: EXTCODESIZE 00000c25: ISZERO 00000c26: DUP1 00000c27: PUSH2 0x0cc3 00000c2a: JUMPI 00000c2b: POP 00000c2c: PUSH1 0x40 00000c2e: MLOAD 00000c2f: PUSH4 0x0a85bd01 00000c34: PUSH1 0xe1 00000c36: SHL 00000c37: DUP1 00000c38: DUP3 00000c39: MSTORE 00000c3a: CALLER 00000c3b: PUSH1 0x04 00000c3d: DUP4 00000c3e: ADD 00000c3f: MSTORE 00000c40: PUSH1 0x01 00000c42: PUSH1 0x01 00000c44: PUSH1 0xa0 00000c46: SHL 00000c47: SUB 00000c48: DUP6 00000c49: DUP2 00000c4a: AND 00000c4b: PUSH1 0x24 00000c4d: DUP5 00000c4e: ADD 00000c4f: MSTORE 00000c50: PUSH1 0x44 00000c52: DUP4 00000c53: ADD 00000c54: DUP5 00000c55: SWAP1 00000c56: MSTORE 00000c57: PUSH1 0x80 00000c59: PUSH1 0x64 00000c5b: DUP5 00000c5c: ADD 00000c5d: MSTORE 00000c5e: PUSH1 0x00 00000c60: PUSH1 0x84 00000c62: DUP5 00000c63: ADD 00000c64: MSTORE 00000c65: SWAP1 00000c66: SWAP2 00000c67: SWAP1 00000c68: DUP5 00000c69: AND 00000c6a: SWAP1 00000c6b: PUSH4 0x150b7a02 00000c70: SWAP1 00000c71: PUSH1 0xa4 00000c73: ADD 00000c74: JUMPDEST 00000c75: PUSH1 0x20 00000c77: PUSH1 0x40 00000c79: MLOAD 00000c7a: DUP1 00000c7b: DUP4 00000c7c: SUB 00000c7d: DUP2 00000c7e: PUSH1 0x00 00000c80: DUP8 00000c81: GAS 00000c82: CALL 00000c83: ISZERO 00000c84: DUP1 00000c85: ISZERO 00000c86: PUSH2 0x0c93 00000c89: JUMPI 00000c8a: RETURNDATASIZE 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: RETURNDATACOPY 00000c8f: RETURNDATASIZE 00000c90: PUSH1 0x00 00000c92: REVERT 00000c93: JUMPDEST 00000c94: POP 00000c95: POP 00000c96: POP 00000c97: POP 00000c98: PUSH1 0x40 00000c9a: MLOAD 00000c9b: RETURNDATASIZE 00000c9c: PUSH1 0x1f 00000c9e: NOT 00000c9f: PUSH1 0x1f 00000ca1: DUP3 00000ca2: ADD 00000ca3: AND 00000ca4: DUP3 00000ca5: ADD 00000ca6: DUP1 00000ca7: PUSH1 0x40 00000ca9: MSTORE 00000caa: POP 00000cab: DUP2 00000cac: ADD 00000cad: SWAP1 00000cae: PUSH2 0x0cb7 00000cb1: SWAP2 00000cb2: SWAP1 00000cb3: PUSH2 0x1bfc 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: PUSH1 0x01 00000cba: PUSH1 0x01 00000cbc: PUSH1 0xe0 00000cbe: SHL 00000cbf: SUB 00000cc0: NOT 00000cc1: AND 00000cc2: EQ 00000cc3: JUMPDEST 00000cc4: PUSH2 0x0d02 00000cc7: JUMPI 00000cc8: PUSH1 0x40 00000cca: MLOAD 00000ccb: PUSH3 0x461bcd 00000ccf: PUSH1 0xe5 00000cd1: SHL 00000cd2: DUP2 00000cd3: MSTORE 00000cd4: PUSH1 0x20 00000cd6: PUSH1 0x04 00000cd8: DUP3 00000cd9: ADD 00000cda: MSTORE 00000cdb: PUSH1 0x10 00000cdd: PUSH1 0x24 00000cdf: DUP3 00000ce0: ADD 00000ce1: MSTORE 00000ce2: PUSH16 0x155394d0519157d49150d25412515395 00000cf3: PUSH1 0x82 00000cf5: SHL 00000cf6: PUSH1 0x44 00000cf8: DUP3 00000cf9: ADD 00000cfa: MSTORE 00000cfb: PUSH1 0x64 00000cfd: ADD 00000cfe: PUSH2 0x0748 00000d01: JUMP 00000d02: JUMPDEST 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: JUMP 00000d07: JUMPDEST 00000d08: PUSH1 0x06 00000d0a: SLOAD 00000d0b: PUSH2 0x0100 00000d0e: SWAP1 00000d0f: DIV 00000d10: PUSH1 0x01 00000d12: PUSH1 0x01 00000d14: PUSH1 0xa0 00000d16: SHL 00000d17: SUB 00000d18: AND 00000d19: CALLER 00000d1a: EQ 00000d1b: PUSH2 0x0d36 00000d1e: JUMPI 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: PUSH3 0x82b429 00000d26: PUSH1 0xe8 00000d28: SHL 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x04 00000d2d: ADD 00000d2e: PUSH1 0x40 00000d30: MLOAD 00000d31: DUP1 00000d32: SWAP2 00000d33: SUB 00000d34: SWAP1 00000d35: REVERT 00000d36: JUMPDEST 00000d37: PUSH1 0x40 00000d39: MLOAD 00000d3a: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: ADDRESS 00000d5e: PUSH1 0x04 00000d60: DUP3 00000d61: ADD 00000d62: MSTORE 00000d63: PUSH1 0x00 00000d65: SWAP1 00000d66: PUSH1 0x01 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: SHL 00000d6d: SUB 00000d6e: DUP4 00000d6f: AND 00000d70: SWAP1 00000d71: PUSH4 0x70a08231 00000d76: SWAP1 00000d77: PUSH1 0x24 00000d79: ADD 00000d7a: PUSH1 0x20 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: DUP1 00000d80: DUP4 00000d81: SUB 00000d82: DUP2 00000d83: DUP7 00000d84: GAS 00000d85: STATICCALL 00000d86: ISZERO 00000d87: DUP1 00000d88: ISZERO 00000d89: PUSH2 0x0d96 00000d8c: JUMPI 00000d8d: RETURNDATASIZE 00000d8e: PUSH1 0x00 00000d90: DUP1 00000d91: RETURNDATACOPY 00000d92: RETURNDATASIZE 00000d93: PUSH1 0x00 00000d95: REVERT 00000d96: JUMPDEST 00000d97: POP 00000d98: POP 00000d99: POP 00000d9a: POP 00000d9b: PUSH1 0x40 00000d9d: MLOAD 00000d9e: RETURNDATASIZE 00000d9f: PUSH1 0x1f 00000da1: NOT 00000da2: PUSH1 0x1f 00000da4: DUP3 00000da5: ADD 00000da6: AND 00000da7: DUP3 00000da8: ADD 00000da9: DUP1 00000daa: PUSH1 0x40 00000dac: MSTORE 00000dad: POP 00000dae: DUP2 00000daf: ADD 00000db0: SWAP1 00000db1: PUSH2 0x0dba 00000db4: SWAP2 00000db5: SWAP1 00000db6: PUSH2 0x1c19 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: PUSH1 0x40 00000dbd: MLOAD 00000dbe: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000ddf: DUP2 00000de0: MSTORE 00000de1: CALLER 00000de2: PUSH1 0x04 00000de4: DUP3 00000de5: ADD 00000de6: MSTORE 00000de7: PUSH1 0x24 00000de9: DUP2 00000dea: ADD 00000deb: DUP3 00000dec: SWAP1 00000ded: MSTORE 00000dee: SWAP1 00000def: SWAP2 00000df0: POP 00000df1: PUSH1 0x01 00000df3: PUSH1 0x01 00000df5: PUSH1 0xa0 00000df7: SHL 00000df8: SUB 00000df9: DUP4 00000dfa: AND 00000dfb: SWAP1 00000dfc: PUSH4 0xa9059cbb 00000e01: SWAP1 00000e02: PUSH1 0x44 00000e04: ADD 00000e05: PUSH1 0x20 00000e07: PUSH1 0x40 00000e09: MLOAD 00000e0a: DUP1 00000e0b: DUP4 00000e0c: SUB 00000e0d: DUP2 00000e0e: PUSH1 0x00 00000e10: DUP8 00000e11: GAS 00000e12: CALL 00000e13: ISZERO 00000e14: DUP1 00000e15: ISZERO 00000e16: PUSH2 0x0e23 00000e19: JUMPI 00000e1a: RETURNDATASIZE 00000e1b: PUSH1 0x00 00000e1d: DUP1 00000e1e: RETURNDATACOPY 00000e1f: RETURNDATASIZE 00000e20: PUSH1 0x00 00000e22: REVERT 00000e23: JUMPDEST 00000e24: POP 00000e25: POP 00000e26: POP 00000e27: POP 00000e28: PUSH1 0x40 00000e2a: MLOAD 00000e2b: RETURNDATASIZE 00000e2c: PUSH1 0x1f 00000e2e: NOT 00000e2f: PUSH1 0x1f 00000e31: DUP3 00000e32: ADD 00000e33: AND 00000e34: DUP3 00000e35: ADD 00000e36: DUP1 00000e37: PUSH1 0x40 00000e39: MSTORE 00000e3a: POP 00000e3b: DUP2 00000e3c: ADD 00000e3d: SWAP1 00000e3e: PUSH2 0x0d02 00000e41: SWAP2 00000e42: SWAP1 00000e43: PUSH2 0x1c32 00000e46: JUMP 00000e47: JUMPDEST 00000e48: PUSH1 0x06 00000e4a: SLOAD 00000e4b: PUSH2 0x0100 00000e4e: SWAP1 00000e4f: DIV 00000e50: PUSH1 0x01 00000e52: PUSH1 0x01 00000e54: PUSH1 0xa0 00000e56: SHL 00000e57: SUB 00000e58: AND 00000e59: CALLER 00000e5a: EQ 00000e5b: PUSH2 0x0e76 00000e5e: JUMPI 00000e5f: PUSH1 0x40 00000e61: MLOAD 00000e62: PUSH3 0x82b429 00000e66: PUSH1 0xe8 00000e68: SHL 00000e69: DUP2 00000e6a: MSTORE 00000e6b: PUSH1 0x04 00000e6d: ADD 00000e6e: PUSH1 0x40 00000e70: MLOAD 00000e71: DUP1 00000e72: SWAP2 00000e73: SUB 00000e74: SWAP1 00000e75: REVERT 00000e76: JUMPDEST 00000e77: PUSH1 0x06 00000e79: DUP1 00000e7a: SLOAD 00000e7b: PUSH1 0xff 00000e7d: NOT 00000e7e: DUP2 00000e7f: AND 00000e80: PUSH1 0x01 00000e82: PUSH1 0xff 00000e84: SWAP3 00000e85: DUP4 00000e86: AND 00000e87: SWAP1 00000e88: DUP2 00000e89: ADD 00000e8a: SWAP1 00000e8b: SWAP3 00000e8c: AND 00000e8d: OR 00000e8e: SWAP1 00000e8f: SWAP2 00000e90: SSTORE 00000e91: PUSH2 0x0aed 00000e94: DUP3 00000e95: DUP3 00000e96: PUSH2 0x1514 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: PUSH1 0x60 00000e9d: DUP2 00000e9e: PUSH2 0x0eda 00000ea1: JUMPI 00000ea2: POP 00000ea3: POP 00000ea4: PUSH1 0x40 00000ea6: DUP1 00000ea7: MLOAD 00000ea8: DUP1 00000ea9: DUP3 00000eaa: ADD 00000eab: SWAP1 00000eac: SWAP2 00000ead: MSTORE 00000eae: PUSH1 0x01 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00000ed3: PUSH1 0x20 00000ed5: DUP3 00000ed6: ADD 00000ed7: MSTORE 00000ed8: SWAP1 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: DUP2 00000edc: PUSH1 0x00 00000ede: JUMPDEST 00000edf: DUP2 00000ee0: ISZERO 00000ee1: PUSH2 0x0f04 00000ee4: JUMPI 00000ee5: DUP1 00000ee6: PUSH2 0x0eee 00000ee9: DUP2 00000eea: PUSH2 0x1c4f 00000eed: JUMP 00000eee: JUMPDEST 00000eef: SWAP2 00000ef0: POP 00000ef1: PUSH2 0x0efd 00000ef4: SWAP1 00000ef5: POP 00000ef6: PUSH1 0x0a 00000ef8: DUP4 00000ef9: PUSH2 0x1c80 00000efc: JUMP 00000efd: JUMPDEST 00000efe: SWAP2 00000eff: POP 00000f00: PUSH2 0x0ede 00000f03: JUMP 00000f04: JUMPDEST 00000f05: PUSH1 0x00 00000f07: DUP2 00000f08: PUSH8 0xffffffffffffffff 00000f11: DUP2 00000f12: GT 00000f13: ISZERO 00000f14: PUSH2 0x0f1f 00000f17: JUMPI 00000f18: PUSH2 0x0f1f 00000f1b: PUSH2 0x19c0 00000f1e: JUMP 00000f1f: JUMPDEST 00000f20: PUSH1 0x40 00000f22: MLOAD 00000f23: SWAP1 00000f24: DUP1 00000f25: DUP3 00000f26: MSTORE 00000f27: DUP1 00000f28: PUSH1 0x1f 00000f2a: ADD 00000f2b: PUSH1 0x1f 00000f2d: NOT 00000f2e: AND 00000f2f: PUSH1 0x20 00000f31: ADD 00000f32: DUP3 00000f33: ADD 00000f34: PUSH1 0x40 00000f36: MSTORE 00000f37: DUP1 00000f38: ISZERO 00000f39: PUSH2 0x0f49 00000f3c: JUMPI 00000f3d: PUSH1 0x20 00000f3f: DUP3 00000f40: ADD 00000f41: DUP2 00000f42: DUP1 00000f43: CALLDATASIZE 00000f44: DUP4 00000f45: CALLDATACOPY 00000f46: ADD 00000f47: SWAP1 00000f48: POP 00000f49: JUMPDEST 00000f4a: POP 00000f4b: SWAP1 00000f4c: POP 00000f4d: JUMPDEST 00000f4e: DUP5 00000f4f: ISZERO 00000f50: PUSH2 0x0fcc 00000f53: JUMPI 00000f54: PUSH2 0x0f5e 00000f57: PUSH1 0x01 00000f59: DUP4 00000f5a: PUSH2 0x1c94 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: SWAP2 00000f60: POP 00000f61: PUSH2 0x0f6b 00000f64: PUSH1 0x0a 00000f66: DUP7 00000f67: PUSH2 0x1cab 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: PUSH2 0x0f76 00000f6f: SWAP1 00000f70: PUSH1 0x30 00000f72: PUSH2 0x1cbf 00000f75: JUMP 00000f76: JUMPDEST 00000f77: PUSH1 0xf8 00000f79: SHL 00000f7a: DUP2 00000f7b: DUP4 00000f7c: DUP2 00000f7d: MLOAD 00000f7e: DUP2 00000f7f: LT 00000f80: PUSH2 0x0f8b 00000f83: JUMPI 00000f84: PUSH2 0x0f8b 00000f87: PUSH2 0x1cd7 00000f8a: JUMP 00000f8b: JUMPDEST 00000f8c: PUSH1 0x20 00000f8e: ADD 00000f8f: ADD 00000f90: SWAP1 00000f91: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000fb1: NOT 00000fb2: AND 00000fb3: SWAP1 00000fb4: DUP2 00000fb5: PUSH1 0x00 00000fb7: BYTE 00000fb8: SWAP1 00000fb9: MSTORE8 00000fba: POP 00000fbb: PUSH2 0x0fc5 00000fbe: PUSH1 0x0a 00000fc0: DUP7 00000fc1: PUSH2 0x1c80 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: SWAP5 00000fc7: POP 00000fc8: PUSH2 0x0f4d 00000fcb: JUMP 00000fcc: JUMPDEST 00000fcd: SWAP5 00000fce: SWAP4 00000fcf: POP 00000fd0: POP 00000fd1: POP 00000fd2: POP 00000fd3: JUMP 00000fd4: JUMPDEST 00000fd5: CALLVALUE 00000fd6: PUSH7 0xb1a2bc2ec50000 00000fde: GT 00000fdf: ISZERO 00000fe0: PUSH2 0x0ffc 00000fe3: JUMPI 00000fe4: PUSH1 0x40 00000fe6: MLOAD 00000fe7: PUSH4 0x356680b7 00000fec: PUSH1 0xe0 00000fee: SHL 00000fef: DUP2 00000ff0: MSTORE 00000ff1: PUSH1 0x04 00000ff3: ADD 00000ff4: PUSH1 0x40 00000ff6: MLOAD 00000ff7: DUP1 00000ff8: SWAP2 00000ff9: SUB 00000ffa: SWAP1 00000ffb: REVERT 00000ffc: JUMPDEST 00000ffd: PUSH1 0x06 00000fff: SLOAD 00001000: PUSH1 0x64 00001002: PUSH1 0xff 00001004: SWAP1 00001005: SWAP2 00001006: AND 00001007: LT 00001008: PUSH2 0x1024 0000100b: JUMPI 0000100c: PUSH1 0x40 0000100e: MLOAD 0000100f: PUSH4 0x71e3b461 00001014: PUSH1 0xe0 00001016: SHL 00001017: DUP2 00001018: MSTORE 00001019: PUSH1 0x04 0000101b: ADD 0000101c: PUSH1 0x40 0000101e: MLOAD 0000101f: DUP1 00001020: SWAP2 00001021: SUB 00001022: SWAP1 00001023: REVERT 00001024: JUMPDEST 00001025: PUSH1 0x06 00001027: SLOAD 00001028: PUSH1 0x64 0000102a: SWAP1 0000102b: PUSH2 0x1038 0000102e: SWAP1 0000102f: PUSH1 0xff 00001031: AND 00001032: PUSH1 0x01 00001034: PUSH2 0x1bd7 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH1 0xff 0000103b: AND 0000103c: GT 0000103d: ISZERO 0000103e: PUSH2 0x105a 00001041: JUMPI 00001042: PUSH1 0x40 00001044: MLOAD 00001045: PUSH4 0x28a90331 0000104a: PUSH1 0xe2 0000104c: SHL 0000104d: DUP2 0000104e: MSTORE 0000104f: PUSH1 0x04 00001051: ADD 00001052: PUSH1 0x40 00001054: MLOAD 00001055: DUP1 00001056: SWAP2 00001057: SUB 00001058: SWAP1 00001059: REVERT 0000105a: JUMPDEST 0000105b: CALLER 0000105c: PUSH1 0x00 0000105e: SWAP1 0000105f: DUP2 00001060: MSTORE 00001061: PUSH1 0x07 00001063: PUSH1 0x20 00001065: MSTORE 00001066: PUSH1 0x40 00001068: SWAP1 00001069: KECCAK256 0000106a: SLOAD 0000106b: PUSH1 0xff 0000106d: AND 0000106e: ISZERO 0000106f: PUSH2 0x108b 00001072: JUMPI 00001073: PUSH1 0x40 00001075: MLOAD 00001076: PUSH4 0x1bbdf5c5 0000107b: PUSH1 0xe3 0000107d: SHL 0000107e: DUP2 0000107f: MSTORE 00001080: PUSH1 0x04 00001082: ADD 00001083: PUSH1 0x40 00001085: MLOAD 00001086: DUP1 00001087: SWAP2 00001088: SUB 00001089: SWAP1 0000108a: REVERT 0000108b: JUMPDEST 0000108c: PUSH1 0x06 0000108e: SLOAD 0000108f: PUSH1 0x01 00001091: PUSH1 0xa8 00001093: SHL 00001094: SWAP1 00001095: DIV 00001096: PUSH1 0xff 00001098: AND 00001099: PUSH2 0x10b5 0000109c: JUMPI 0000109d: PUSH1 0x40 0000109f: MLOAD 000010a0: PUSH4 0x589ed34b 000010a5: PUSH1 0xe0 000010a7: SHL 000010a8: DUP2 000010a9: MSTORE 000010aa: PUSH1 0x04 000010ac: ADD 000010ad: PUSH1 0x40 000010af: MLOAD 000010b0: DUP1 000010b1: SWAP2 000010b2: SUB 000010b3: SWAP1 000010b4: REVERT 000010b5: JUMPDEST 000010b6: PUSH1 0x06 000010b8: DUP1 000010b9: SLOAD 000010ba: PUSH1 0xff 000010bc: DUP1 000010bd: DUP3 000010be: AND 000010bf: PUSH1 0x01 000010c1: DUP2 000010c2: DUP2 000010c3: ADD 000010c4: SWAP1 000010c5: SWAP3 000010c6: AND 000010c7: PUSH1 0xff 000010c9: NOT 000010ca: SWAP4 000010cb: DUP5 000010cc: AND 000010cd: OR 000010ce: SWAP1 000010cf: SWAP4 000010d0: SSTORE 000010d1: CALLER 000010d2: PUSH1 0x00 000010d4: SWAP1 000010d5: DUP2 000010d6: MSTORE 000010d7: PUSH1 0x07 000010d9: PUSH1 0x20 000010db: MSTORE 000010dc: PUSH1 0x40 000010de: SWAP1 000010df: KECCAK256 000010e0: DUP1 000010e1: SLOAD 000010e2: SWAP1 000010e3: SWAP3 000010e4: AND 000010e5: OR 000010e6: SWAP1 000010e7: SSTORE 000010e8: PUSH2 0x0aed 000010eb: DUP3 000010ec: DUP3 000010ed: PUSH2 0x1514 000010f0: JUMP 000010f1: JUMPDEST 000010f2: CALLVALUE 000010f3: PUSH7 0xb1a2bc2ec50000 000010fb: GT 000010fc: ISZERO 000010fd: PUSH2 0x1119 00001100: JUMPI 00001101: PUSH1 0x40 00001103: MLOAD 00001104: PUSH4 0x356680b7 00001109: PUSH1 0xe0 0000110b: SHL 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x04 00001110: ADD 00001111: PUSH1 0x40 00001113: MLOAD 00001114: DUP1 00001115: SWAP2 00001116: SUB 00001117: SWAP1 00001118: REVERT 00001119: JUMPDEST 0000111a: PUSH1 0x06 0000111c: SLOAD 0000111d: PUSH1 0x64 0000111f: PUSH1 0xff 00001121: SWAP1 00001122: SWAP2 00001123: AND 00001124: LT 00001125: PUSH2 0x1141 00001128: JUMPI 00001129: PUSH1 0x40 0000112b: MLOAD 0000112c: PUSH4 0x71e3b461 00001131: PUSH1 0xe0 00001133: SHL 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0x04 00001138: ADD 00001139: PUSH1 0x40 0000113b: MLOAD 0000113c: DUP1 0000113d: SWAP2 0000113e: SUB 0000113f: SWAP1 00001140: REVERT 00001141: JUMPDEST 00001142: PUSH1 0x06 00001144: SLOAD 00001145: PUSH1 0x64 00001147: SWAP1 00001148: PUSH2 0x1155 0000114b: SWAP1 0000114c: PUSH1 0xff 0000114e: AND 0000114f: PUSH1 0x01 00001151: PUSH2 0x1bd7 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH1 0xff 00001158: AND 00001159: GT 0000115a: ISZERO 0000115b: PUSH2 0x1177 0000115e: JUMPI 0000115f: PUSH1 0x40 00001161: MLOAD 00001162: PUSH4 0x28a90331 00001167: PUSH1 0xe2 00001169: SHL 0000116a: DUP2 0000116b: MSTORE 0000116c: PUSH1 0x04 0000116e: ADD 0000116f: PUSH1 0x40 00001171: MLOAD 00001172: DUP1 00001173: SWAP2 00001174: SUB 00001175: SWAP1 00001176: REVERT 00001177: JUMPDEST 00001178: CALLER 00001179: PUSH1 0x00 0000117b: SWAP1 0000117c: DUP2 0000117d: MSTORE 0000117e: PUSH1 0x07 00001180: PUSH1 0x20 00001182: MSTORE 00001183: PUSH1 0x40 00001185: SWAP1 00001186: KECCAK256 00001187: SLOAD 00001188: PUSH1 0xff 0000118a: AND 0000118b: ISZERO 0000118c: PUSH2 0x11a8 0000118f: JUMPI 00001190: PUSH1 0x40 00001192: MLOAD 00001193: PUSH4 0x1bbdf5c5 00001198: PUSH1 0xe3 0000119a: SHL 0000119b: DUP2 0000119c: MSTORE 0000119d: PUSH1 0x04 0000119f: ADD 000011a0: PUSH1 0x40 000011a2: MLOAD 000011a3: DUP1 000011a4: SWAP2 000011a5: SUB 000011a6: SWAP1 000011a7: REVERT 000011a8: JUMPDEST 000011a9: PUSH1 0x06 000011ab: SLOAD 000011ac: PUSH1 0x01 000011ae: PUSH1 0xa8 000011b0: SHL 000011b1: SWAP1 000011b2: DIV 000011b3: PUSH1 0xff 000011b5: AND 000011b6: PUSH2 0x11d2 000011b9: JUMPI 000011ba: PUSH1 0x40 000011bc: MLOAD 000011bd: PUSH4 0x589ed34b 000011c2: PUSH1 0xe0 000011c4: SHL 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x04 000011c9: ADD 000011ca: PUSH1 0x40 000011cc: MLOAD 000011cd: DUP1 000011ce: SWAP2 000011cf: SUB 000011d0: SWAP1 000011d1: REVERT 000011d2: JUMPDEST 000011d3: PUSH1 0x06 000011d5: DUP1 000011d6: SLOAD 000011d7: PUSH1 0xff 000011d9: DUP1 000011da: DUP3 000011db: AND 000011dc: PUSH1 0x01 000011de: DUP2 000011df: DUP2 000011e0: ADD 000011e1: SWAP1 000011e2: SWAP3 000011e3: AND 000011e4: PUSH1 0xff 000011e6: NOT 000011e7: SWAP4 000011e8: DUP5 000011e9: AND 000011ea: OR 000011eb: SWAP1 000011ec: SWAP4 000011ed: SSTORE 000011ee: CALLER 000011ef: PUSH1 0x00 000011f1: SWAP1 000011f2: DUP2 000011f3: MSTORE 000011f4: PUSH1 0x07 000011f6: PUSH1 0x20 000011f8: MSTORE 000011f9: PUSH1 0x40 000011fb: SWAP1 000011fc: KECCAK256 000011fd: DUP1 000011fe: SLOAD 000011ff: SWAP1 00001200: SWAP3 00001201: AND 00001202: OR 00001203: SWAP1 00001204: SSTORE 00001205: PUSH2 0x0d02 00001208: DUP4 00001209: DUP3 0000120a: DUP5 0000120b: PUSH2 0x1647 0000120e: JUMP 0000120f: JUMPDEST 00001210: PUSH1 0x01 00001212: DUP1 00001213: SLOAD 00001214: PUSH2 0x0636 00001217: SWAP1 00001218: PUSH2 0x1b86 0000121b: JUMP 0000121c: JUMPDEST 0000121d: CALLER 0000121e: PUSH1 0x00 00001220: DUP2 00001221: DUP2 00001222: MSTORE 00001223: PUSH1 0x05 00001225: PUSH1 0x20 00001227: SWAP1 00001228: DUP2 00001229: MSTORE 0000122a: PUSH1 0x40 0000122c: DUP1 0000122d: DUP4 0000122e: KECCAK256 0000122f: PUSH1 0x01 00001231: PUSH1 0x01 00001233: PUSH1 0xa0 00001235: SHL 00001236: SUB 00001237: DUP8 00001238: AND 00001239: DUP1 0000123a: DUP6 0000123b: MSTORE 0000123c: SWAP1 0000123d: DUP4 0000123e: MSTORE 0000123f: SWAP3 00001240: DUP2 00001241: SWAP1 00001242: KECCAK256 00001243: DUP1 00001244: SLOAD 00001245: PUSH1 0xff 00001247: NOT 00001248: AND 00001249: DUP7 0000124a: ISZERO 0000124b: ISZERO 0000124c: SWAP1 0000124d: DUP2 0000124e: OR 0000124f: SWAP1 00001250: SWAP2 00001251: SSTORE 00001252: SWAP1 00001253: MLOAD 00001254: SWAP1 00001255: DUP2 00001256: MSTORE 00001257: SWAP2 00001258: SWAP3 00001259: SWAP2 0000125a: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 0000127b: SWAP2 0000127c: ADD 0000127d: PUSH1 0x40 0000127f: MLOAD 00001280: DUP1 00001281: SWAP2 00001282: SUB 00001283: SWAP1 00001284: LOG3 00001285: POP 00001286: POP 00001287: JUMP 00001288: JUMPDEST 00001289: PUSH2 0x1293 0000128c: DUP5 0000128d: DUP5 0000128e: DUP5 0000128f: PUSH2 0x07ba 00001292: JUMP 00001293: JUMPDEST 00001294: PUSH1 0x01 00001296: PUSH1 0x01 00001298: PUSH1 0xa0 0000129a: SHL 0000129b: SUB 0000129c: DUP4 0000129d: AND 0000129e: EXTCODESIZE 0000129f: ISZERO 000012a0: DUP1 000012a1: PUSH2 0x1328 000012a4: JUMPI 000012a5: POP 000012a6: PUSH1 0x40 000012a8: MLOAD 000012a9: PUSH4 0x0a85bd01 000012ae: PUSH1 0xe1 000012b0: SHL 000012b1: DUP1 000012b2: DUP3 000012b3: MSTORE 000012b4: SWAP1 000012b5: PUSH1 0x01 000012b7: PUSH1 0x01 000012b9: PUSH1 0xa0 000012bb: SHL 000012bc: SUB 000012bd: DUP6 000012be: AND 000012bf: SWAP1 000012c0: PUSH4 0x150b7a02 000012c5: SWAP1 000012c6: PUSH2 0x12d9 000012c9: SWAP1 000012ca: CALLER 000012cb: SWAP1 000012cc: DUP10 000012cd: SWAP1 000012ce: DUP9 000012cf: SWAP1 000012d0: DUP9 000012d1: SWAP1 000012d2: PUSH1 0x04 000012d4: ADD 000012d5: PUSH2 0x1ced 000012d8: JUMP 000012d9: JUMPDEST 000012da: PUSH1 0x20 000012dc: PUSH1 0x40 000012de: MLOAD 000012df: DUP1 000012e0: DUP4 000012e1: SUB 000012e2: DUP2 000012e3: PUSH1 0x00 000012e5: DUP8 000012e6: GAS 000012e7: CALL 000012e8: ISZERO 000012e9: DUP1 000012ea: ISZERO 000012eb: PUSH2 0x12f8 000012ee: JUMPI 000012ef: RETURNDATASIZE 000012f0: PUSH1 0x00 000012f2: DUP1 000012f3: RETURNDATACOPY 000012f4: RETURNDATASIZE 000012f5: PUSH1 0x00 000012f7: REVERT 000012f8: JUMPDEST 000012f9: POP 000012fa: POP 000012fb: POP 000012fc: POP 000012fd: PUSH1 0x40 000012ff: MLOAD 00001300: RETURNDATASIZE 00001301: PUSH1 0x1f 00001303: NOT 00001304: PUSH1 0x1f 00001306: DUP3 00001307: ADD 00001308: AND 00001309: DUP3 0000130a: ADD 0000130b: DUP1 0000130c: PUSH1 0x40 0000130e: MSTORE 0000130f: POP 00001310: DUP2 00001311: ADD 00001312: SWAP1 00001313: PUSH2 0x131c 00001316: SWAP2 00001317: SWAP1 00001318: PUSH2 0x1bfc 0000131b: JUMP 0000131c: JUMPDEST 0000131d: PUSH1 0x01 0000131f: PUSH1 0x01 00001321: PUSH1 0xe0 00001323: SHL 00001324: SUB 00001325: NOT 00001326: AND 00001327: EQ 00001328: JUMPDEST 00001329: PUSH2 0x1367 0000132c: JUMPI 0000132d: PUSH1 0x40 0000132f: MLOAD 00001330: PUSH3 0x461bcd 00001334: PUSH1 0xe5 00001336: SHL 00001337: DUP2 00001338: MSTORE 00001339: PUSH1 0x20 0000133b: PUSH1 0x04 0000133d: DUP3 0000133e: ADD 0000133f: MSTORE 00001340: PUSH1 0x10 00001342: PUSH1 0x24 00001344: DUP3 00001345: ADD 00001346: MSTORE 00001347: PUSH16 0x155394d0519157d49150d25412515395 00001358: PUSH1 0x82 0000135a: SHL 0000135b: PUSH1 0x44 0000135d: DUP3 0000135e: ADD 0000135f: MSTORE 00001360: PUSH1 0x64 00001362: ADD 00001363: PUSH2 0x0748 00001366: JUMP 00001367: JUMPDEST 00001368: POP 00001369: POP 0000136a: POP 0000136b: POP 0000136c: JUMP 0000136d: JUMPDEST 0000136e: PUSH1 0x60 00001370: PUSH1 0x00 00001372: PUSH1 0x40 00001374: MLOAD 00001375: DUP1 00001376: PUSH2 0x0720 00001379: ADD 0000137a: PUSH1 0x40 0000137c: MSTORE 0000137d: DUP1 0000137e: PUSH2 0x06ff 00001381: DUP2 00001382: MSTORE 00001383: PUSH1 0x20 00001385: ADD 00001386: PUSH2 0x1f93 00001389: PUSH2 0x06ff 0000138c: SWAP2 0000138d: CODECOPY 0000138e: SWAP1 0000138f: POP 00001390: PUSH1 0x00 00001392: PUSH2 0x139a 00001395: DUP5 00001396: PUSH2 0x0e9a 00001399: JUMP 0000139a: JUMPDEST 0000139b: SWAP1 0000139c: POP 0000139d: PUSH1 0x00 0000139f: DUP3 000013a0: DUP3 000013a1: PUSH1 0x40 000013a3: MLOAD 000013a4: PUSH1 0x20 000013a6: ADD 000013a7: PUSH2 0x13b1 000013aa: SWAP3 000013ab: SWAP2 000013ac: SWAP1 000013ad: PUSH2 0x1d29 000013b0: JUMP 000013b1: JUMPDEST 000013b2: PUSH1 0x40 000013b4: MLOAD 000013b5: PUSH1 0x20 000013b7: DUP2 000013b8: DUP4 000013b9: SUB 000013ba: SUB 000013bb: DUP2 000013bc: MSTORE 000013bd: SWAP1 000013be: PUSH1 0x40 000013c0: MSTORE 000013c1: SWAP1 000013c2: POP 000013c3: PUSH1 0x00 000013c5: PUSH2 0x13f8 000013c8: DUP4 000013c9: DUP5 000013ca: PUSH2 0x13d2 000013cd: DUP6 000013ce: PUSH2 0x1698 000013d1: JUMP 000013d2: JUMPDEST 000013d3: PUSH1 0x40 000013d5: MLOAD 000013d6: PUSH1 0x20 000013d8: ADD 000013d9: PUSH2 0x13e4 000013dc: SWAP4 000013dd: SWAP3 000013de: SWAP2 000013df: SWAP1 000013e0: PUSH2 0x1dd2 000013e3: JUMP 000013e4: JUMPDEST 000013e5: PUSH1 0x40 000013e7: MLOAD 000013e8: PUSH1 0x20 000013ea: DUP2 000013eb: DUP4 000013ec: SUB 000013ed: SUB 000013ee: DUP2 000013ef: MSTORE 000013f0: SWAP1 000013f1: PUSH1 0x40 000013f3: MSTORE 000013f4: PUSH2 0x1698 000013f7: JUMP 000013f8: JUMPDEST 000013f9: SWAP1 000013fa: POP 000013fb: DUP1 000013fc: PUSH1 0x40 000013fe: MLOAD 000013ff: PUSH1 0x20 00001401: ADD 00001402: PUSH2 0x140b 00001405: SWAP2 00001406: SWAP1 00001407: PUSH2 0x1f2e 0000140a: JUMP 0000140b: JUMPDEST 0000140c: PUSH1 0x40 0000140e: MLOAD 0000140f: PUSH1 0x20 00001411: DUP2 00001412: DUP4 00001413: SUB 00001414: SUB 00001415: DUP2 00001416: MSTORE 00001417: SWAP1 00001418: PUSH1 0x40 0000141a: MSTORE 0000141b: SWAP5 0000141c: POP 0000141d: POP 0000141e: POP 0000141f: POP 00001420: POP 00001421: SWAP2 00001422: SWAP1 00001423: POP 00001424: JUMP 00001425: JUMPDEST 00001426: PUSH2 0x142f 00001429: DUP3 0000142a: DUP3 0000142b: PUSH2 0x1514 0000142e: JUMP 0000142f: JUMPDEST 00001430: PUSH1 0x01 00001432: PUSH1 0x01 00001434: PUSH1 0xa0 00001436: SHL 00001437: SUB 00001438: DUP3 00001439: AND 0000143a: EXTCODESIZE 0000143b: ISZERO 0000143c: DUP1 0000143d: PUSH2 0x14d5 00001440: JUMPI 00001441: POP 00001442: PUSH1 0x40 00001444: MLOAD 00001445: PUSH4 0x0a85bd01 0000144a: PUSH1 0xe1 0000144c: SHL 0000144d: DUP1 0000144e: DUP3 0000144f: MSTORE 00001450: CALLER 00001451: PUSH1 0x04 00001453: DUP4 00001454: ADD 00001455: MSTORE 00001456: PUSH1 0x00 00001458: PUSH1 0x24 0000145a: DUP4 0000145b: ADD 0000145c: DUP2 0000145d: SWAP1 0000145e: MSTORE 0000145f: PUSH1 0x44 00001461: DUP4 00001462: ADD 00001463: DUP5 00001464: SWAP1 00001465: MSTORE 00001466: PUSH1 0x80 00001468: PUSH1 0x64 0000146a: DUP5 0000146b: ADD 0000146c: MSTORE 0000146d: PUSH1 0x84 0000146f: DUP4 00001470: ADD 00001471: MSTORE 00001472: SWAP1 00001473: PUSH1 0x01 00001475: PUSH1 0x01 00001477: PUSH1 0xa0 00001479: SHL 0000147a: SUB 0000147b: DUP5 0000147c: AND 0000147d: SWAP1 0000147e: PUSH4 0x150b7a02 00001483: SWAP1 00001484: PUSH1 0xa4 00001486: ADD 00001487: PUSH1 0x20 00001489: PUSH1 0x40 0000148b: MLOAD 0000148c: DUP1 0000148d: DUP4 0000148e: SUB 0000148f: DUP2 00001490: PUSH1 0x00 00001492: DUP8 00001493: GAS 00001494: CALL 00001495: ISZERO 00001496: DUP1 00001497: ISZERO 00001498: PUSH2 0x14a5 0000149b: JUMPI 0000149c: RETURNDATASIZE 0000149d: PUSH1 0x00 0000149f: DUP1 000014a0: RETURNDATACOPY 000014a1: RETURNDATASIZE 000014a2: PUSH1 0x00 000014a4: REVERT 000014a5: JUMPDEST 000014a6: POP 000014a7: POP 000014a8: POP 000014a9: POP 000014aa: PUSH1 0x40 000014ac: MLOAD 000014ad: RETURNDATASIZE 000014ae: PUSH1 0x1f 000014b0: NOT 000014b1: PUSH1 0x1f 000014b3: DUP3 000014b4: ADD 000014b5: AND 000014b6: DUP3 000014b7: ADD 000014b8: DUP1 000014b9: PUSH1 0x40 000014bb: MSTORE 000014bc: POP 000014bd: DUP2 000014be: ADD 000014bf: SWAP1 000014c0: PUSH2 0x14c9 000014c3: SWAP2 000014c4: SWAP1 000014c5: PUSH2 0x1bfc 000014c8: JUMP 000014c9: JUMPDEST 000014ca: PUSH1 0x01 000014cc: PUSH1 0x01 000014ce: PUSH1 0xe0 000014d0: SHL 000014d1: SUB 000014d2: NOT 000014d3: AND 000014d4: EQ 000014d5: JUMPDEST 000014d6: PUSH2 0x0aed 000014d9: JUMPI 000014da: PUSH1 0x40 000014dc: MLOAD 000014dd: PUSH3 0x461bcd 000014e1: PUSH1 0xe5 000014e3: SHL 000014e4: DUP2 000014e5: MSTORE 000014e6: PUSH1 0x20 000014e8: PUSH1 0x04 000014ea: DUP3 000014eb: ADD 000014ec: MSTORE 000014ed: PUSH1 0x10 000014ef: PUSH1 0x24 000014f1: DUP3 000014f2: ADD 000014f3: MSTORE 000014f4: PUSH16 0x155394d0519157d49150d25412515395 00001505: PUSH1 0x82 00001507: SHL 00001508: PUSH1 0x44 0000150a: DUP3 0000150b: ADD 0000150c: MSTORE 0000150d: PUSH1 0x64 0000150f: ADD 00001510: PUSH2 0x0748 00001513: JUMP 00001514: JUMPDEST 00001515: PUSH1 0x01 00001517: PUSH1 0x01 00001519: PUSH1 0xa0 0000151b: SHL 0000151c: SUB 0000151d: DUP3 0000151e: AND 0000151f: PUSH2 0x156a 00001522: JUMPI 00001523: PUSH1 0x40 00001525: MLOAD 00001526: PUSH3 0x461bcd 0000152a: PUSH1 0xe5 0000152c: SHL 0000152d: DUP2 0000152e: MSTORE 0000152f: PUSH1 0x20 00001531: PUSH1 0x04 00001533: DUP3 00001534: ADD 00001535: MSTORE 00001536: PUSH1 0x11 00001538: PUSH1 0x24 0000153a: DUP3 0000153b: ADD 0000153c: MSTORE 0000153d: PUSH32 0x494e56414c49445f524543495049454e54000000000000000000000000000000 0000155e: PUSH1 0x44 00001560: DUP3 00001561: ADD 00001562: MSTORE 00001563: PUSH1 0x64 00001565: ADD 00001566: PUSH2 0x0748 00001569: JUMP 0000156a: JUMPDEST 0000156b: PUSH1 0x00 0000156d: DUP2 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x03 00001572: PUSH1 0x20 00001574: MSTORE 00001575: PUSH1 0x40 00001577: SWAP1 00001578: KECCAK256 00001579: SLOAD 0000157a: PUSH1 0x01 0000157c: PUSH1 0x01 0000157e: PUSH1 0xa0 00001580: SHL 00001581: SUB 00001582: AND 00001583: ISZERO 00001584: PUSH2 0x15cf 00001587: JUMPI 00001588: PUSH1 0x40 0000158a: MLOAD 0000158b: PUSH3 0x461bcd 0000158f: PUSH1 0xe5 00001591: SHL 00001592: DUP2 00001593: MSTORE 00001594: PUSH1 0x20 00001596: PUSH1 0x04 00001598: DUP3 00001599: ADD 0000159a: MSTORE 0000159b: PUSH1 0x0e 0000159d: PUSH1 0x24 0000159f: DUP3 000015a0: ADD 000015a1: MSTORE 000015a2: PUSH32 0x414c52454144595f4d494e544544000000000000000000000000000000000000 000015c3: PUSH1 0x44 000015c5: DUP3 000015c6: ADD 000015c7: MSTORE 000015c8: PUSH1 0x64 000015ca: ADD 000015cb: PUSH2 0x0748 000015ce: JUMP 000015cf: JUMPDEST 000015d0: PUSH1 0x01 000015d2: PUSH1 0x01 000015d4: PUSH1 0xa0 000015d6: SHL 000015d7: SUB 000015d8: DUP3 000015d9: AND 000015da: PUSH1 0x00 000015dc: DUP2 000015dd: DUP2 000015de: MSTORE 000015df: PUSH1 0x02 000015e1: PUSH1 0x20 000015e3: SWAP1 000015e4: DUP2 000015e5: MSTORE 000015e6: PUSH1 0x40 000015e8: DUP1 000015e9: DUP4 000015ea: KECCAK256 000015eb: DUP1 000015ec: SLOAD 000015ed: PUSH1 0x01 000015ef: ADD 000015f0: SWAP1 000015f1: SSTORE 000015f2: DUP5 000015f3: DUP4 000015f4: MSTORE 000015f5: PUSH1 0x03 000015f7: SWAP1 000015f8: SWAP2 000015f9: MSTORE 000015fa: DUP1 000015fb: DUP3 000015fc: KECCAK256 000015fd: DUP1 000015fe: SLOAD 000015ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001614: NOT 00001615: AND 00001616: DUP5 00001617: OR 00001618: SWAP1 00001619: SSTORE 0000161a: MLOAD 0000161b: DUP4 0000161c: SWAP3 0000161d: SWAP2 0000161e: SWAP1 0000161f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001640: SWAP1 00001641: DUP3 00001642: SWAP1 00001643: LOG4 00001644: POP 00001645: POP 00001646: JUMP 00001647: JUMPDEST 00001648: PUSH2 0x1651 0000164b: DUP4 0000164c: DUP4 0000164d: PUSH2 0x1514 00001650: JUMP 00001651: JUMPDEST 00001652: PUSH1 0x01 00001654: PUSH1 0x01 00001656: PUSH1 0xa0 00001658: SHL 00001659: SUB 0000165a: DUP4 0000165b: AND 0000165c: EXTCODESIZE 0000165d: ISZERO 0000165e: DUP1 0000165f: PUSH2 0x0cc3 00001662: JUMPI 00001663: POP 00001664: PUSH1 0x40 00001666: MLOAD 00001667: PUSH4 0x0a85bd01 0000166c: PUSH1 0xe1 0000166e: SHL 0000166f: DUP1 00001670: DUP3 00001671: MSTORE 00001672: SWAP1 00001673: PUSH1 0x01 00001675: PUSH1 0x01 00001677: PUSH1 0xa0 00001679: SHL 0000167a: SUB 0000167b: DUP6 0000167c: AND 0000167d: SWAP1 0000167e: PUSH4 0x150b7a02 00001683: SWAP1 00001684: PUSH2 0x0c74 00001687: SWAP1 00001688: CALLER 00001689: SWAP1 0000168a: PUSH1 0x00 0000168c: SWAP1 0000168d: DUP9 0000168e: SWAP1 0000168f: DUP9 00001690: SWAP1 00001691: PUSH1 0x04 00001693: ADD 00001694: PUSH2 0x1ced 00001697: JUMP 00001698: JUMPDEST 00001699: DUP1 0000169a: MLOAD 0000169b: PUSH1 0x60 0000169d: SWAP1 0000169e: DUP1 0000169f: PUSH2 0x16b8 000016a2: JUMPI 000016a3: POP 000016a4: POP 000016a5: PUSH1 0x40 000016a7: DUP1 000016a8: MLOAD 000016a9: PUSH1 0x20 000016ab: DUP2 000016ac: ADD 000016ad: SWAP1 000016ae: SWAP2 000016af: MSTORE 000016b0: PUSH1 0x00 000016b2: DUP2 000016b3: MSTORE 000016b4: SWAP2 000016b5: SWAP1 000016b6: POP 000016b7: JUMP 000016b8: JUMPDEST 000016b9: PUSH1 0x00 000016bb: PUSH1 0x03 000016bd: PUSH2 0x16c7 000016c0: DUP4 000016c1: PUSH1 0x02 000016c3: PUSH2 0x1cbf 000016c6: JUMP 000016c7: JUMPDEST 000016c8: PUSH2 0x16d1 000016cb: SWAP2 000016cc: SWAP1 000016cd: PUSH2 0x1c80 000016d0: JUMP 000016d1: JUMPDEST 000016d2: PUSH2 0x16dc 000016d5: SWAP1 000016d6: PUSH1 0x04 000016d8: PUSH2 0x1f73 000016db: JUMP 000016dc: JUMPDEST 000016dd: SWAP1 000016de: POP 000016df: PUSH1 0x00 000016e1: PUSH2 0x16eb 000016e4: DUP3 000016e5: PUSH1 0x20 000016e7: PUSH2 0x1cbf 000016ea: JUMP 000016eb: JUMPDEST 000016ec: PUSH8 0xffffffffffffffff 000016f5: DUP2 000016f6: GT 000016f7: ISZERO 000016f8: PUSH2 0x1703 000016fb: JUMPI 000016fc: PUSH2 0x1703 000016ff: PUSH2 0x19c0 00001702: JUMP 00001703: JUMPDEST 00001704: PUSH1 0x40 00001706: MLOAD 00001707: SWAP1 00001708: DUP1 00001709: DUP3 0000170a: MSTORE 0000170b: DUP1 0000170c: PUSH1 0x1f 0000170e: ADD 0000170f: PUSH1 0x1f 00001711: NOT 00001712: AND 00001713: PUSH1 0x20 00001715: ADD 00001716: DUP3 00001717: ADD 00001718: PUSH1 0x40 0000171a: MSTORE 0000171b: DUP1 0000171c: ISZERO 0000171d: PUSH2 0x172d 00001720: JUMPI 00001721: PUSH1 0x20 00001723: DUP3 00001724: ADD 00001725: DUP2 00001726: DUP1 00001727: CALLDATASIZE 00001728: DUP4 00001729: CALLDATACOPY 0000172a: ADD 0000172b: SWAP1 0000172c: POP 0000172d: JUMPDEST 0000172e: POP 0000172f: SWAP1 00001730: POP 00001731: PUSH1 0x00 00001733: PUSH1 0x40 00001735: MLOAD 00001736: DUP1 00001737: PUSH1 0x60 00001739: ADD 0000173a: PUSH1 0x40 0000173c: MSTORE 0000173d: DUP1 0000173e: PUSH1 0x40 00001740: DUP2 00001741: MSTORE 00001742: PUSH1 0x20 00001744: ADD 00001745: PUSH2 0x2692 00001748: PUSH1 0x40 0000174a: SWAP2 0000174b: CODECOPY 0000174c: SWAP1 0000174d: POP 0000174e: PUSH1 0x01 00001750: DUP2 00001751: ADD 00001752: PUSH1 0x20 00001754: DUP4 00001755: ADD 00001756: PUSH1 0x00 00001758: JUMPDEST 00001759: DUP7 0000175a: DUP2 0000175b: LT 0000175c: ISZERO 0000175d: PUSH2 0x17b9 00001760: JUMPI 00001761: PUSH1 0x03 00001763: DUP2 00001764: DUP11 00001765: ADD 00001766: DUP2 00001767: ADD 00001768: MLOAD 00001769: PUSH1 0x3f 0000176b: PUSH1 0x12 0000176d: DUP3 0000176e: SWAP1 0000176f: SHR 00001770: DUP2 00001771: AND 00001772: DUP7 00001773: ADD 00001774: MLOAD 00001775: PUSH1 0x0c 00001777: DUP4 00001778: SWAP1 00001779: SHR 0000177a: DUP3 0000177b: AND 0000177c: DUP8 0000177d: ADD 0000177e: MLOAD 0000177f: PUSH1 0x06 00001781: DUP5 00001782: SWAP1 00001783: SHR 00001784: DUP4 00001785: AND 00001786: DUP9 00001787: ADD 00001788: MLOAD 00001789: SWAP3 0000178a: SWAP1 0000178b: SWAP4 0000178c: AND 0000178d: DUP8 0000178e: ADD 0000178f: MLOAD 00001790: PUSH1 0x08 00001792: SWAP2 00001793: DUP3 00001794: SHL 00001795: PUSH1 0xff 00001797: SWAP5 00001798: DUP6 00001799: AND 0000179a: ADD 0000179b: DUP3 0000179c: SHL 0000179d: SWAP3 0000179e: DUP5 0000179f: AND 000017a0: SWAP3 000017a1: SWAP1 000017a2: SWAP3 000017a3: ADD 000017a4: SWAP1 000017a5: SHL 000017a6: SWAP2 000017a7: AND 000017a8: ADD 000017a9: PUSH1 0xe0 000017ab: SHL 000017ac: DUP4 000017ad: MSTORE 000017ae: PUSH1 0x04 000017b0: SWAP1 000017b1: SWAP3 000017b2: ADD 000017b3: SWAP2 000017b4: ADD 000017b5: PUSH2 0x1758 000017b8: JUMP 000017b9: JUMPDEST 000017ba: POP 000017bb: PUSH1 0x03 000017bd: DUP7 000017be: MOD 000017bf: PUSH1 0x01 000017c1: DUP2 000017c2: EQ 000017c3: PUSH2 0x17d3 000017c6: JUMPI 000017c7: PUSH1 0x02 000017c9: DUP2 000017ca: EQ 000017cb: PUSH2 0x17ff 000017ce: JUMPI 000017cf: PUSH2 0x1827 000017d2: JUMP 000017d3: JUMPDEST 000017d4: PUSH32 0x3d3d000000000000000000000000000000000000000000000000000000000000 000017f5: PUSH1 0x01 000017f7: NOT 000017f8: DUP4 000017f9: ADD 000017fa: MSTORE 000017fb: PUSH2 0x1827 000017fe: JUMP 000017ff: JUMPDEST 00001800: PUSH32 0x3d00000000000000000000000000000000000000000000000000000000000000 00001821: PUSH1 0x00 00001823: NOT 00001824: DUP4 00001825: ADD 00001826: MSTORE 00001827: JUMPDEST 00001828: POP 00001829: POP 0000182a: POP 0000182b: SWAP2 0000182c: DUP2 0000182d: MSTORE 0000182e: SWAP5 0000182f: SWAP4 00001830: POP 00001831: POP 00001832: POP 00001833: POP 00001834: JUMP 00001835: JUMPDEST 00001836: PUSH1 0x01 00001838: PUSH1 0x01 0000183a: PUSH1 0xe0 0000183c: SHL 0000183d: SUB 0000183e: NOT 0000183f: DUP2 00001840: AND 00001841: DUP2 00001842: EQ 00001843: PUSH2 0x184b 00001846: JUMPI 00001847: PUSH1 0x00 00001849: DUP1 0000184a: REVERT 0000184b: JUMPDEST 0000184c: POP 0000184d: JUMP 0000184e: JUMPDEST 0000184f: PUSH1 0x00 00001851: PUSH1 0x20 00001853: DUP3 00001854: DUP5 00001855: SUB 00001856: SLT 00001857: ISZERO 00001858: PUSH2 0x1860 0000185b: JUMPI 0000185c: PUSH1 0x00 0000185e: DUP1 0000185f: REVERT 00001860: JUMPDEST 00001861: DUP2 00001862: CALLDATALOAD 00001863: PUSH2 0x186b 00001866: DUP2 00001867: PUSH2 0x1835 0000186a: JUMP 0000186b: JUMPDEST 0000186c: SWAP4 0000186d: SWAP3 0000186e: POP 0000186f: POP 00001870: POP 00001871: JUMP 00001872: JUMPDEST 00001873: PUSH1 0x00 00001875: JUMPDEST 00001876: DUP4 00001877: DUP2 00001878: LT 00001879: ISZERO 0000187a: PUSH2 0x188d 0000187d: JUMPI 0000187e: DUP2 0000187f: DUP2 00001880: ADD 00001881: MLOAD 00001882: DUP4 00001883: DUP3 00001884: ADD 00001885: MSTORE 00001886: PUSH1 0x20 00001888: ADD 00001889: PUSH2 0x1875 0000188c: JUMP 0000188d: JUMPDEST 0000188e: DUP4 0000188f: DUP2 00001890: GT 00001891: ISZERO 00001892: PUSH2 0x1367 00001895: JUMPI 00001896: POP 00001897: POP 00001898: PUSH1 0x00 0000189a: SWAP2 0000189b: ADD 0000189c: MSTORE 0000189d: JUMP 0000189e: JUMPDEST 0000189f: PUSH1 0x00 000018a1: DUP2 000018a2: MLOAD 000018a3: DUP1 000018a4: DUP5 000018a5: MSTORE 000018a6: PUSH2 0x18b6 000018a9: DUP2 000018aa: PUSH1 0x20 000018ac: DUP7 000018ad: ADD 000018ae: PUSH1 0x20 000018b0: DUP7 000018b1: ADD 000018b2: PUSH2 0x1872 000018b5: JUMP 000018b6: JUMPDEST 000018b7: PUSH1 0x1f 000018b9: ADD 000018ba: PUSH1 0x1f 000018bc: NOT 000018bd: AND 000018be: SWAP3 000018bf: SWAP1 000018c0: SWAP3 000018c1: ADD 000018c2: PUSH1 0x20 000018c4: ADD 000018c5: SWAP3 000018c6: SWAP2 000018c7: POP 000018c8: POP 000018c9: JUMP 000018ca: JUMPDEST 000018cb: PUSH1 0x20 000018cd: DUP2 000018ce: MSTORE 000018cf: PUSH1 0x00 000018d1: PUSH2 0x186b 000018d4: PUSH1 0x20 000018d6: DUP4 000018d7: ADD 000018d8: DUP5 000018d9: PUSH2 0x189e 000018dc: JUMP 000018dd: JUMPDEST 000018de: PUSH1 0x00 000018e0: PUSH1 0x20 000018e2: DUP3 000018e3: DUP5 000018e4: SUB 000018e5: SLT 000018e6: ISZERO 000018e7: PUSH2 0x18ef 000018ea: JUMPI 000018eb: PUSH1 0x00 000018ed: DUP1 000018ee: REVERT 000018ef: JUMPDEST 000018f0: POP 000018f1: CALLDATALOAD 000018f2: SWAP2 000018f3: SWAP1 000018f4: POP 000018f5: JUMP 000018f6: JUMPDEST 000018f7: PUSH1 0x01 000018f9: PUSH1 0x01 000018fb: PUSH1 0xa0 000018fd: SHL 000018fe: SUB 000018ff: DUP2 00001900: AND 00001901: DUP2 00001902: EQ 00001903: PUSH2 0x184b 00001906: JUMPI 00001907: PUSH1 0x00 00001909: DUP1 0000190a: REVERT 0000190b: JUMPDEST 0000190c: PUSH1 0x00 0000190e: DUP1 0000190f: PUSH1 0x40 00001911: DUP4 00001912: DUP6 00001913: SUB 00001914: SLT 00001915: ISZERO 00001916: PUSH2 0x191e 00001919: JUMPI 0000191a: PUSH1 0x00 0000191c: DUP1 0000191d: REVERT 0000191e: JUMPDEST 0000191f: DUP3 00001920: CALLDATALOAD 00001921: PUSH2 0x1929 00001924: DUP2 00001925: PUSH2 0x18f6 00001928: JUMP 00001929: JUMPDEST 0000192a: SWAP5 0000192b: PUSH1 0x20 0000192d: SWAP4 0000192e: SWAP1 0000192f: SWAP4 00001930: ADD 00001931: CALLDATALOAD 00001932: SWAP4 00001933: POP 00001934: POP 00001935: POP 00001936: JUMP 00001937: JUMPDEST 00001938: PUSH1 0x00 0000193a: PUSH1 0x20 0000193c: DUP3 0000193d: DUP5 0000193e: SUB 0000193f: SLT 00001940: ISZERO 00001941: PUSH2 0x1949 00001944: JUMPI 00001945: PUSH1 0x00 00001947: DUP1 00001948: REVERT 00001949: JUMPDEST 0000194a: DUP2 0000194b: CALLDATALOAD 0000194c: PUSH2 0x186b 0000194f: DUP2 00001950: PUSH2 0x18f6 00001953: JUMP 00001954: JUMPDEST 00001955: PUSH1 0x00 00001957: DUP1 00001958: PUSH1 0x00 0000195a: PUSH1 0x60 0000195c: DUP5 0000195d: DUP7 0000195e: SUB 0000195f: SLT 00001960: ISZERO 00001961: PUSH2 0x1969 00001964: JUMPI 00001965: PUSH1 0x00 00001967: DUP1 00001968: REVERT 00001969: JUMPDEST 0000196a: DUP4 0000196b: CALLDATALOAD 0000196c: PUSH2 0x1974 0000196f: DUP2 00001970: PUSH2 0x18f6 00001973: JUMP 00001974: JUMPDEST 00001975: SWAP3 00001976: POP 00001977: PUSH1 0x20 00001979: DUP5 0000197a: ADD 0000197b: CALLDATALOAD 0000197c: PUSH2 0x1984 0000197f: DUP2 00001980: PUSH2 0x18f6 00001983: JUMP 00001984: JUMPDEST 00001985: SWAP3 00001986: SWAP6 00001987: SWAP3 00001988: SWAP5 00001989: POP 0000198a: POP 0000198b: POP 0000198c: PUSH1 0x40 0000198e: SWAP2 0000198f: SWAP1 00001990: SWAP2 00001991: ADD 00001992: CALLDATALOAD 00001993: SWAP1 00001994: JUMP 00001995: JUMPDEST 00001996: DUP1 00001997: ISZERO 00001998: ISZERO 00001999: DUP2 0000199a: EQ 0000199b: PUSH2 0x184b 0000199e: JUMPI 0000199f: PUSH1 0x00 000019a1: DUP1 000019a2: REVERT 000019a3: JUMPDEST 000019a4: PUSH1 0x00 000019a6: PUSH1 0x20 000019a8: DUP3 000019a9: DUP5 000019aa: SUB 000019ab: SLT 000019ac: ISZERO 000019ad: PUSH2 0x19b5 000019b0: JUMPI 000019b1: PUSH1 0x00 000019b3: DUP1 000019b4: REVERT 000019b5: JUMPDEST 000019b6: DUP2 000019b7: CALLDATALOAD 000019b8: PUSH2 0x186b 000019bb: DUP2 000019bc: PUSH2 0x1995 000019bf: JUMP 000019c0: JUMPDEST 000019c1: PUSH4 0x4e487b71 000019c6: PUSH1 0xe0 000019c8: SHL 000019c9: PUSH1 0x00 000019cb: MSTORE 000019cc: PUSH1 0x41 000019ce: PUSH1 0x04 000019d0: MSTORE 000019d1: PUSH1 0x24 000019d3: PUSH1 0x00 000019d5: REVERT 000019d6: JUMPDEST 000019d7: PUSH1 0x00 000019d9: DUP3 000019da: PUSH1 0x1f 000019dc: DUP4 000019dd: ADD 000019de: SLT 000019df: PUSH2 0x19e7 000019e2: JUMPI 000019e3: PUSH1 0x00 000019e5: DUP1 000019e6: REVERT 000019e7: JUMPDEST 000019e8: DUP2 000019e9: CALLDATALOAD 000019ea: PUSH8 0xffffffffffffffff 000019f3: DUP1 000019f4: DUP3 000019f5: GT 000019f6: ISZERO 000019f7: PUSH2 0x1a02 000019fa: JUMPI 000019fb: PUSH2 0x1a02 000019fe: PUSH2 0x19c0 00001a01: JUMP 00001a02: JUMPDEST 00001a03: PUSH1 0x40 00001a05: MLOAD 00001a06: PUSH1 0x1f 00001a08: DUP4 00001a09: ADD 00001a0a: PUSH1 0x1f 00001a0c: NOT 00001a0d: SWAP1 00001a0e: DUP2 00001a0f: AND 00001a10: PUSH1 0x3f 00001a12: ADD 00001a13: AND 00001a14: DUP2 00001a15: ADD 00001a16: SWAP1 00001a17: DUP3 00001a18: DUP3 00001a19: GT 00001a1a: DUP2 00001a1b: DUP4 00001a1c: LT 00001a1d: OR 00001a1e: ISZERO 00001a1f: PUSH2 0x1a2a 00001a22: JUMPI 00001a23: PUSH2 0x1a2a 00001a26: PUSH2 0x19c0 00001a29: JUMP 00001a2a: JUMPDEST 00001a2b: DUP2 00001a2c: PUSH1 0x40 00001a2e: MSTORE 00001a2f: DUP4 00001a30: DUP2 00001a31: MSTORE 00001a32: DUP7 00001a33: PUSH1 0x20 00001a35: DUP6 00001a36: DUP9 00001a37: ADD 00001a38: ADD 00001a39: GT 00001a3a: ISZERO 00001a3b: PUSH2 0x1a43 00001a3e: JUMPI 00001a3f: PUSH1 0x00 00001a41: DUP1 00001a42: REVERT 00001a43: JUMPDEST 00001a44: DUP4 00001a45: PUSH1 0x20 00001a47: DUP8 00001a48: ADD 00001a49: PUSH1 0x20 00001a4b: DUP4 00001a4c: ADD 00001a4d: CALLDATACOPY 00001a4e: PUSH1 0x00 00001a50: PUSH1 0x20 00001a52: DUP6 00001a53: DUP4 00001a54: ADD 00001a55: ADD 00001a56: MSTORE 00001a57: DUP1 00001a58: SWAP5 00001a59: POP 00001a5a: POP 00001a5b: POP 00001a5c: POP 00001a5d: POP 00001a5e: SWAP3 00001a5f: SWAP2 00001a60: POP 00001a61: POP 00001a62: JUMP 00001a63: JUMPDEST 00001a64: PUSH1 0x00 00001a66: DUP1 00001a67: PUSH1 0x40 00001a69: DUP4 00001a6a: DUP6 00001a6b: SUB 00001a6c: SLT 00001a6d: ISZERO 00001a6e: PUSH2 0x1a76 00001a71: JUMPI 00001a72: PUSH1 0x00 00001a74: DUP1 00001a75: REVERT 00001a76: JUMPDEST 00001a77: DUP3 00001a78: CALLDATALOAD 00001a79: PUSH2 0x1a81 00001a7c: DUP2 00001a7d: PUSH2 0x18f6 00001a80: JUMP 00001a81: JUMPDEST 00001a82: SWAP2 00001a83: POP 00001a84: PUSH1 0x20 00001a86: DUP4 00001a87: ADD 00001a88: CALLDATALOAD 00001a89: PUSH8 0xffffffffffffffff 00001a92: DUP2 00001a93: GT 00001a94: ISZERO 00001a95: PUSH2 0x1a9d 00001a98: JUMPI 00001a99: PUSH1 0x00 00001a9b: DUP1 00001a9c: REVERT 00001a9d: JUMPDEST 00001a9e: PUSH2 0x1aa9 00001aa1: DUP6 00001aa2: DUP3 00001aa3: DUP7 00001aa4: ADD 00001aa5: PUSH2 0x19d6 00001aa8: JUMP 00001aa9: JUMPDEST 00001aaa: SWAP2 00001aab: POP 00001aac: POP 00001aad: SWAP3 00001aae: POP 00001aaf: SWAP3 00001ab0: SWAP1 00001ab1: POP 00001ab2: JUMP 00001ab3: JUMPDEST 00001ab4: PUSH1 0x00 00001ab6: DUP1 00001ab7: PUSH1 0x40 00001ab9: DUP4 00001aba: DUP6 00001abb: SUB 00001abc: SLT 00001abd: ISZERO 00001abe: PUSH2 0x1ac6 00001ac1: JUMPI 00001ac2: PUSH1 0x00 00001ac4: DUP1 00001ac5: REVERT 00001ac6: JUMPDEST 00001ac7: DUP3 00001ac8: CALLDATALOAD 00001ac9: PUSH2 0x1ad1 00001acc: DUP2 00001acd: PUSH2 0x18f6 00001ad0: JUMP 00001ad1: JUMPDEST 00001ad2: SWAP2 00001ad3: POP 00001ad4: PUSH1 0x20 00001ad6: DUP4 00001ad7: ADD 00001ad8: CALLDATALOAD 00001ad9: PUSH2 0x1ae1 00001adc: DUP2 00001add: PUSH2 0x1995 00001ae0: JUMP 00001ae1: JUMPDEST 00001ae2: DUP1 00001ae3: SWAP2 00001ae4: POP 00001ae5: POP 00001ae6: SWAP3 00001ae7: POP 00001ae8: SWAP3 00001ae9: SWAP1 00001aea: POP 00001aeb: JUMP 00001aec: JUMPDEST 00001aed: PUSH1 0x00 00001aef: DUP1 00001af0: PUSH1 0x00 00001af2: DUP1 00001af3: PUSH1 0x80 00001af5: DUP6 00001af6: DUP8 00001af7: SUB 00001af8: SLT 00001af9: ISZERO 00001afa: PUSH2 0x1b02 00001afd: JUMPI 00001afe: PUSH1 0x00 00001b00: DUP1 00001b01: REVERT 00001b02: JUMPDEST 00001b03: DUP5 00001b04: CALLDATALOAD 00001b05: PUSH2 0x1b0d 00001b08: DUP2 00001b09: PUSH2 0x18f6 00001b0c: JUMP 00001b0d: JUMPDEST 00001b0e: SWAP4 00001b0f: POP 00001b10: PUSH1 0x20 00001b12: DUP6 00001b13: ADD 00001b14: CALLDATALOAD 00001b15: PUSH2 0x1b1d 00001b18: DUP2 00001b19: PUSH2 0x18f6 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: SWAP3 00001b1f: POP 00001b20: PUSH1 0x40 00001b22: DUP6 00001b23: ADD 00001b24: CALLDATALOAD 00001b25: SWAP2 00001b26: POP 00001b27: PUSH1 0x60 00001b29: DUP6 00001b2a: ADD 00001b2b: CALLDATALOAD 00001b2c: PUSH8 0xffffffffffffffff 00001b35: DUP2 00001b36: GT 00001b37: ISZERO 00001b38: PUSH2 0x1b40 00001b3b: JUMPI 00001b3c: PUSH1 0x00 00001b3e: DUP1 00001b3f: REVERT 00001b40: JUMPDEST 00001b41: PUSH2 0x1b4c 00001b44: DUP8 00001b45: DUP3 00001b46: DUP9 00001b47: ADD 00001b48: PUSH2 0x19d6 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: SWAP2 00001b4e: POP 00001b4f: POP 00001b50: SWAP3 00001b51: SWAP6 00001b52: SWAP2 00001b53: SWAP5 00001b54: POP 00001b55: SWAP3 00001b56: POP 00001b57: JUMP 00001b58: JUMPDEST 00001b59: PUSH1 0x00 00001b5b: DUP1 00001b5c: PUSH1 0x40 00001b5e: DUP4 00001b5f: DUP6 00001b60: SUB 00001b61: SLT 00001b62: ISZERO 00001b63: PUSH2 0x1b6b 00001b66: JUMPI 00001b67: PUSH1 0x00 00001b69: DUP1 00001b6a: REVERT 00001b6b: JUMPDEST 00001b6c: DUP3 00001b6d: CALLDATALOAD 00001b6e: PUSH2 0x1b76 00001b71: DUP2 00001b72: PUSH2 0x18f6 00001b75: JUMP 00001b76: JUMPDEST 00001b77: SWAP2 00001b78: POP 00001b79: PUSH1 0x20 00001b7b: DUP4 00001b7c: ADD 00001b7d: CALLDATALOAD 00001b7e: PUSH2 0x1ae1 00001b81: DUP2 00001b82: PUSH2 0x18f6 00001b85: JUMP 00001b86: JUMPDEST 00001b87: PUSH1 0x01 00001b89: DUP2 00001b8a: DUP2 00001b8b: SHR 00001b8c: SWAP1 00001b8d: DUP3 00001b8e: AND 00001b8f: DUP1 00001b90: PUSH2 0x1b9a 00001b93: JUMPI 00001b94: PUSH1 0x7f 00001b96: DUP3 00001b97: AND 00001b98: SWAP2 00001b99: POP 00001b9a: JUMPDEST 00001b9b: PUSH1 0x20 00001b9d: DUP3 00001b9e: LT 00001b9f: DUP2 00001ba0: EQ 00001ba1: ISZERO 00001ba2: PUSH2 0x1bbb 00001ba5: JUMPI 00001ba6: PUSH4 0x4e487b71 00001bab: PUSH1 0xe0 00001bad: SHL 00001bae: PUSH1 0x00 00001bb0: MSTORE 00001bb1: PUSH1 0x22 00001bb3: PUSH1 0x04 00001bb5: MSTORE 00001bb6: PUSH1 0x24 00001bb8: PUSH1 0x00 00001bba: REVERT 00001bbb: JUMPDEST 00001bbc: POP 00001bbd: SWAP2 00001bbe: SWAP1 00001bbf: POP 00001bc0: JUMP 00001bc1: JUMPDEST 00001bc2: PUSH4 0x4e487b71 00001bc7: PUSH1 0xe0 00001bc9: SHL 00001bca: PUSH1 0x00 00001bcc: MSTORE 00001bcd: PUSH1 0x11 00001bcf: PUSH1 0x04 00001bd1: MSTORE 00001bd2: PUSH1 0x24 00001bd4: PUSH1 0x00 00001bd6: REVERT 00001bd7: JUMPDEST 00001bd8: PUSH1 0x00 00001bda: PUSH1 0xff 00001bdc: DUP3 00001bdd: AND 00001bde: PUSH1 0xff 00001be0: DUP5 00001be1: AND 00001be2: DUP1 00001be3: PUSH1 0xff 00001be5: SUB 00001be6: DUP3 00001be7: GT 00001be8: ISZERO 00001be9: PUSH2 0x1bf4 00001bec: JUMPI 00001bed: PUSH2 0x1bf4 00001bf0: PUSH2 0x1bc1 00001bf3: JUMP 00001bf4: JUMPDEST 00001bf5: ADD 00001bf6: SWAP4 00001bf7: SWAP3 00001bf8: POP 00001bf9: POP 00001bfa: POP 00001bfb: JUMP 00001bfc: JUMPDEST 00001bfd: PUSH1 0x00 00001bff: PUSH1 0x20 00001c01: DUP3 00001c02: DUP5 00001c03: SUB 00001c04: SLT 00001c05: ISZERO 00001c06: PUSH2 0x1c0e 00001c09: JUMPI 00001c0a: PUSH1 0x00 00001c0c: DUP1 00001c0d: REVERT 00001c0e: JUMPDEST 00001c0f: DUP2 00001c10: MLOAD 00001c11: PUSH2 0x186b 00001c14: DUP2 00001c15: PUSH2 0x1835 00001c18: JUMP 00001c19: JUMPDEST 00001c1a: PUSH1 0x00 00001c1c: PUSH1 0x20 00001c1e: DUP3 00001c1f: DUP5 00001c20: SUB 00001c21: SLT 00001c22: ISZERO 00001c23: PUSH2 0x1c2b 00001c26: JUMPI 00001c27: PUSH1 0x00 00001c29: DUP1 00001c2a: REVERT 00001c2b: JUMPDEST 00001c2c: POP 00001c2d: MLOAD 00001c2e: SWAP2 00001c2f: SWAP1 00001c30: POP 00001c31: JUMP 00001c32: JUMPDEST 00001c33: PUSH1 0x00 00001c35: PUSH1 0x20 00001c37: DUP3 00001c38: DUP5 00001c39: SUB 00001c3a: SLT 00001c3b: ISZERO 00001c3c: PUSH2 0x1c44 00001c3f: JUMPI 00001c40: PUSH1 0x00 00001c42: DUP1 00001c43: REVERT 00001c44: JUMPDEST 00001c45: DUP2 00001c46: MLOAD 00001c47: PUSH2 0x186b 00001c4a: DUP2 00001c4b: PUSH2 0x1995 00001c4e: JUMP 00001c4f: JUMPDEST 00001c50: PUSH1 0x00 00001c52: PUSH1 0x00 00001c54: NOT 00001c55: DUP3 00001c56: EQ 00001c57: ISZERO 00001c58: PUSH2 0x1c63 00001c5b: JUMPI 00001c5c: PUSH2 0x1c63 00001c5f: PUSH2 0x1bc1 00001c62: JUMP 00001c63: JUMPDEST 00001c64: POP 00001c65: PUSH1 0x01 00001c67: ADD 00001c68: SWAP1 00001c69: JUMP 00001c6a: JUMPDEST 00001c6b: PUSH4 0x4e487b71 00001c70: PUSH1 0xe0 00001c72: SHL 00001c73: PUSH1 0x00 00001c75: MSTORE 00001c76: PUSH1 0x12 00001c78: PUSH1 0x04 00001c7a: MSTORE 00001c7b: PUSH1 0x24 00001c7d: PUSH1 0x00 00001c7f: REVERT 00001c80: JUMPDEST 00001c81: PUSH1 0x00 00001c83: DUP3 00001c84: PUSH2 0x1c8f 00001c87: JUMPI 00001c88: PUSH2 0x1c8f 00001c8b: PUSH2 0x1c6a 00001c8e: JUMP 00001c8f: JUMPDEST 00001c90: POP 00001c91: DIV 00001c92: SWAP1 00001c93: JUMP 00001c94: JUMPDEST 00001c95: PUSH1 0x00 00001c97: DUP3 00001c98: DUP3 00001c99: LT 00001c9a: ISZERO 00001c9b: PUSH2 0x1ca6 00001c9e: JUMPI 00001c9f: PUSH2 0x1ca6 00001ca2: PUSH2 0x1bc1 00001ca5: JUMP 00001ca6: JUMPDEST 00001ca7: POP 00001ca8: SUB 00001ca9: SWAP1 00001caa: JUMP 00001cab: JUMPDEST 00001cac: PUSH1 0x00 00001cae: DUP3 00001caf: PUSH2 0x1cba 00001cb2: JUMPI 00001cb3: PUSH2 0x1cba 00001cb6: PUSH2 0x1c6a 00001cb9: JUMP 00001cba: JUMPDEST 00001cbb: POP 00001cbc: MOD 00001cbd: SWAP1 00001cbe: JUMP 00001cbf: JUMPDEST 00001cc0: PUSH1 0x00 00001cc2: DUP3 00001cc3: NOT 00001cc4: DUP3 00001cc5: GT 00001cc6: ISZERO 00001cc7: PUSH2 0x1cd2 00001cca: JUMPI 00001ccb: PUSH2 0x1cd2 00001cce: PUSH2 0x1bc1 00001cd1: JUMP 00001cd2: JUMPDEST 00001cd3: POP 00001cd4: ADD 00001cd5: SWAP1 00001cd6: JUMP 00001cd7: JUMPDEST 00001cd8: PUSH4 0x4e487b71 00001cdd: PUSH1 0xe0 00001cdf: SHL 00001ce0: PUSH1 0x00 00001ce2: MSTORE 00001ce3: PUSH1 0x32 00001ce5: PUSH1 0x04 00001ce7: MSTORE 00001ce8: PUSH1 0x24 00001cea: PUSH1 0x00 00001cec: REVERT 00001ced: JUMPDEST 00001cee: PUSH1 0x00 00001cf0: PUSH1 0x01 00001cf2: PUSH1 0x01 00001cf4: PUSH1 0xa0 00001cf6: SHL 00001cf7: SUB 00001cf8: DUP1 00001cf9: DUP8 00001cfa: AND 00001cfb: DUP4 00001cfc: MSTORE 00001cfd: DUP1 00001cfe: DUP7 00001cff: AND 00001d00: PUSH1 0x20 00001d02: DUP5 00001d03: ADD 00001d04: MSTORE 00001d05: POP 00001d06: DUP4 00001d07: PUSH1 0x40 00001d09: DUP4 00001d0a: ADD 00001d0b: MSTORE 00001d0c: PUSH1 0x80 00001d0e: PUSH1 0x60 00001d10: DUP4 00001d11: ADD 00001d12: MSTORE 00001d13: PUSH2 0x1d1f 00001d16: PUSH1 0x80 00001d18: DUP4 00001d19: ADD 00001d1a: DUP5 00001d1b: PUSH2 0x189e 00001d1e: JUMP 00001d1f: JUMPDEST 00001d20: SWAP7 00001d21: SWAP6 00001d22: POP 00001d23: POP 00001d24: POP 00001d25: POP 00001d26: POP 00001d27: POP 00001d28: JUMP 00001d29: JUMPDEST 00001d2a: PUSH1 0x00 00001d2c: DUP4 00001d2d: MLOAD 00001d2e: PUSH2 0x1d3b 00001d31: DUP2 00001d32: DUP5 00001d33: PUSH1 0x20 00001d35: DUP9 00001d36: ADD 00001d37: PUSH2 0x1872 00001d3a: JUMP 00001d3b: JUMPDEST 00001d3c: DUP1 00001d3d: DUP4 00001d3e: ADD 00001d3f: SWAP1 00001d40: POP 00001d41: PUSH32 0x3c7465787420636c6173733d27746f702d7465787427206d617267696e3d2732 00001d62: DUP2 00001d63: MSTORE 00001d64: PUSH32 0x70782720783d2734252720793d273825273e0000000000000000000000000000 00001d85: PUSH1 0x20 00001d87: DUP3 00001d88: ADD 00001d89: MSTORE 00001d8a: DUP4 00001d8b: MLOAD 00001d8c: PUSH2 0x1d9c 00001d8f: DUP2 00001d90: PUSH1 0x32 00001d92: DUP5 00001d93: ADD 00001d94: PUSH1 0x20 00001d96: DUP9 00001d97: ADD 00001d98: PUSH2 0x1872 00001d9b: JUMP 00001d9c: JUMPDEST 00001d9d: PUSH32 0x3c2f746578743e3c2f7376673e00000000000000000000000000000000000000 00001dbe: PUSH1 0x32 00001dc0: SWAP3 00001dc1: SWAP1 00001dc2: SWAP2 00001dc3: ADD 00001dc4: SWAP2 00001dc5: DUP3 00001dc6: ADD 00001dc7: MSTORE 00001dc8: PUSH1 0x3f 00001dca: ADD 00001dcb: SWAP5 00001dcc: SWAP4 00001dcd: POP 00001dce: POP 00001dcf: POP 00001dd0: POP 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: PUSH32 0x7b226e616d65223a202250696f6e656572200000000000000000000000000000 00001df4: DUP2 00001df5: MSTORE 00001df6: PUSH1 0x00 00001df8: DUP5 00001df9: MLOAD 00001dfa: PUSH2 0x1e0a 00001dfd: DUP2 00001dfe: PUSH1 0x12 00001e00: DUP6 00001e01: ADD 00001e02: PUSH1 0x20 00001e04: DUP10 00001e05: ADD 00001e06: PUSH2 0x1872 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: PUSH32 0x222c20226465736372697074696f6e223a202200000000000000000000000000 00001e2c: PUSH1 0x12 00001e2e: SWAP2 00001e2f: DUP5 00001e30: ADD 00001e31: SWAP2 00001e32: DUP3 00001e33: ADD 00001e34: MSTORE 00001e35: PUSH32 0x4e756d6265722000000000000000000000000000000000000000000000000000 00001e56: PUSH1 0x25 00001e58: DUP3 00001e59: ADD 00001e5a: MSTORE 00001e5b: DUP5 00001e5c: MLOAD 00001e5d: PUSH2 0x1e6d 00001e60: DUP2 00001e61: PUSH1 0x2c 00001e63: DUP5 00001e64: ADD 00001e65: PUSH1 0x20 00001e67: DUP10 00001e68: ADD 00001e69: PUSH2 0x1872 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: PUSH32 0x206f66207468652050696f6e65657220636f6c6c656374696f6e20666f722065 00001e8f: PUSH1 0x2c 00001e91: SWAP3 00001e92: SWAP1 00001e93: SWAP2 00001e94: ADD 00001e95: SWAP2 00001e96: DUP3 00001e97: ADD 00001e98: MSTORE 00001e99: PUSH32 0x61726c7920596f626f742041646f7074657273222c2022696d616765223a2022 00001eba: PUSH1 0x4c 00001ebc: DUP3 00001ebd: ADD 00001ebe: MSTORE 00001ebf: PUSH32 0x646174613a696d6167652f7376672b786d6c3b6261736536342c000000000000 00001ee0: PUSH1 0x6c 00001ee2: DUP3 00001ee3: ADD 00001ee4: MSTORE 00001ee5: DUP4 00001ee6: MLOAD 00001ee7: PUSH2 0x1ef7 00001eea: DUP2 00001eeb: PUSH1 0x86 00001eed: DUP5 00001eee: ADD 00001eef: PUSH1 0x20 00001ef1: DUP9 00001ef2: ADD 00001ef3: PUSH2 0x1872 00001ef6: JUMP 00001ef7: JUMPDEST 00001ef8: PUSH32 0x227d000000000000000000000000000000000000000000000000000000000000 00001f19: PUSH1 0x86 00001f1b: SWAP3 00001f1c: SWAP1 00001f1d: SWAP2 00001f1e: ADD 00001f1f: SWAP2 00001f20: DUP3 00001f21: ADD 00001f22: MSTORE 00001f23: PUSH1 0x88 00001f25: ADD 00001f26: SWAP6 00001f27: SWAP5 00001f28: POP 00001f29: POP 00001f2a: POP 00001f2b: POP 00001f2c: POP 00001f2d: JUMP 00001f2e: JUMPDEST 00001f2f: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000 00001f50: DUP2 00001f51: MSTORE 00001f52: PUSH1 0x00 00001f54: DUP3 00001f55: MLOAD 00001f56: PUSH2 0x1f66 00001f59: DUP2 00001f5a: PUSH1 0x1d 00001f5c: DUP6 00001f5d: ADD 00001f5e: PUSH1 0x20 00001f60: DUP8 00001f61: ADD 00001f62: PUSH2 0x1872 00001f65: JUMP 00001f66: JUMPDEST 00001f67: SWAP2 00001f68: SWAP1 00001f69: SWAP2 00001f6a: ADD 00001f6b: PUSH1 0x1d 00001f6d: ADD 00001f6e: SWAP3 00001f6f: SWAP2 00001f70: POP 00001f71: POP 00001f72: JUMP 00001f73: JUMPDEST 00001f74: PUSH1 0x00 00001f76: DUP2 00001f77: PUSH1 0x00 00001f79: NOT 00001f7a: DIV 00001f7b: DUP4 00001f7c: GT 00001f7d: DUP3 00001f7e: ISZERO 00001f7f: ISZERO 00001f80: AND 00001f81: ISZERO 00001f82: PUSH2 0x1f8d 00001f85: JUMPI 00001f86: PUSH2 0x1f8d 00001f89: PUSH2 0x1bc1 00001f8c: JUMP 00001f8d: JUMPDEST 00001f8e: POP 00001f8f: MUL 00001f90: SWAP1 00001f91: JUMP 00001f92: INVALID 00001f93: EXTCODECOPY 00001f94: PUSH20 0x76672076696577426f783d273020302038303020 00001fa9: CODESIZE 00001faa: ADDRESS 00001fab: ADDRESS 00001fac: UNKNOWN(0x27) 00001fad: KECCAK256 00001fae: PUSH25 0x6d6c6e733d27687474703a2f2f7777772e77332e6f72672f32 00001fc8: ADDRESS 00001fc9: ADDRESS 00001fca: ADDRESS 00001fcb: UNKNOWN(0x2F) 00001fcc: PUSH20 0x76672720786d6c6e733a786c696e6b3d27687474 00001fe1: PUSH17 0x3a2f2f7777772e77332e6f72672f313939 00001ff3: CODECOPY 00001ff4: UNKNOWN(0x2F) 00001ff5: PUSH25 0x6c696e6b273e3c7374796c653e2e746578742d2d6c696e657b 0000200f: PUSH7 0x6f6e742d73697a 00002017: PUSH6 0x3a3430307078 0000201e: EXTCODESIZE 0000201f: PUSH7 0x6f6e742d776569 00002027: PUSH8 0x68743a626f6c643b 00002030: PUSH7 0x6f6e742d66616d 00002038: PUSH10 0x6c793a27417269616c27 00002043: EXTCODESIZE 00002044: PUSH30 0x2e746f702d746578747b66696c6c3a236261666534393b666f6e742d7765 00002063: PUSH10 0x6768743a20626f6c643b 0000206e: PUSH7 0x6f6e742d636f6c 00002076: PUSH16 0x723a236261666534393b666f6e742d73 00002087: PUSH10 0x7a653a343070783b666f 00002092: PUSH15 0x742d66616d696c793a27417269616c 000020a2: UNKNOWN(0x27) 000020a3: EXTCODESIZE 000020a4: PUSH30 0x2e746578742d636f70797b66696c6c3a6e6f6e653b7374726f6b653a7768 000020c3: PUSH10 0x74653b7374726f6b652d 000020ce: PUSH5 0x6173686172 000020d4: PUSH19 0x61793a323525203430253b7374726f6b652d77 000020e8: PUSH10 0x6474683a3470783b616e 000020f3: PUSH10 0x6d6174696f6e3a737472 000020fe: PUSH16 0x6b652d6f666673657420397320696e66 0000210f: PUSH10 0x6e697465206c696e6561 0000211a: PUSH19 0x3b7d2e746578742d636f70793a6e74682d6368 0000212e: PUSH10 0x6c642831297b7374726f 00002139: PUSH12 0x653a236261666534393b7374 00002146: PUSH19 0x6f6b652d646173686f66667365743a3625202a 0000215a: KECCAK256 0000215b: BALANCE 0000215c: EXTCODESIZE 0000215d: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642832297b7374726f6b65 0000217c: GASPRICE 0000217d: UNKNOWN(0x23) 0000217e: PUSH3 0x616665 00002182: CALLVALUE 00002183: CODECOPY 00002184: EXTCODESIZE 00002185: PUSH20 0x74726f6b652d646173686f66667365743a362520 0000219a: UNKNOWN(0x2A) 0000219b: KECCAK256 0000219c: ORIGIN 0000219d: EXTCODESIZE 0000219e: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642833297b7374726f6b65 000021bd: GASPRICE 000021be: UNKNOWN(0x23) 000021bf: PUSH3 0x616665 000021c3: CALLVALUE 000021c4: CODECOPY 000021c5: EXTCODESIZE 000021c6: PUSH20 0x74726f6b652d646173686f66667365743a362520 000021db: UNKNOWN(0x2A) 000021dc: KECCAK256 000021dd: CALLER 000021de: EXTCODESIZE 000021df: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642834297b7374726f6b65 000021fe: GASPRICE 000021ff: UNKNOWN(0x23) 00002200: PUSH3 0x616665 00002204: CALLVALUE 00002205: CODECOPY 00002206: EXTCODESIZE 00002207: PUSH20 0x74726f6b652d646173686f66667365743a362520 0000221c: UNKNOWN(0x2A) 0000221d: KECCAK256 0000221e: CALLVALUE 0000221f: EXTCODESIZE 00002220: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642835297b7374726f6b65 0000223f: GASPRICE 00002240: UNKNOWN(0x23) 00002241: PUSH3 0x616665 00002245: CALLVALUE 00002246: CODECOPY 00002247: EXTCODESIZE 00002248: PUSH20 0x74726f6b652d646173686f66667365743a362520 0000225d: UNKNOWN(0x2A) 0000225e: KECCAK256 0000225f: CALLDATALOAD 00002260: EXTCODESIZE 00002261: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642836297b7374726f6b65 00002280: GASPRICE 00002281: UNKNOWN(0x23) 00002282: PUSH3 0x616665 00002286: CALLVALUE 00002287: CODECOPY 00002288: EXTCODESIZE 00002289: PUSH20 0x74726f6b652d646173686f66667365743a362520 0000229e: UNKNOWN(0x2A) 0000229f: KECCAK256 000022a0: CALLDATASIZE 000022a1: EXTCODESIZE 000022a2: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642837297b7374726f6b65 000022c1: GASPRICE 000022c2: UNKNOWN(0x23) 000022c3: PUSH3 0x616665 000022c7: CALLVALUE 000022c8: CODECOPY 000022c9: EXTCODESIZE 000022ca: PUSH20 0x74726f6b652d646173686f66667365743a362520 000022df: UNKNOWN(0x2A) 000022e0: KECCAK256 000022e1: CALLDATACOPY 000022e2: EXTCODESIZE 000022e3: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642838297b7374726f6b65 00002302: GASPRICE 00002303: UNKNOWN(0x23) 00002304: PUSH3 0x616665 00002308: CALLVALUE 00002309: CODECOPY 0000230a: EXTCODESIZE 0000230b: PUSH20 0x74726f6b652d646173686f66667365743a362520 00002320: UNKNOWN(0x2A) 00002321: KECCAK256 00002322: CODESIZE 00002323: EXTCODESIZE 00002324: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642839297b7374726f6b65 00002343: GASPRICE 00002344: UNKNOWN(0x23) 00002345: PUSH3 0x616665 00002349: CALLVALUE 0000234a: CODECOPY 0000234b: EXTCODESIZE 0000234c: PUSH20 0x74726f6b652d646173686f66667365743a362520 00002361: UNKNOWN(0x2A) 00002362: KECCAK256 00002363: CODECOPY 00002364: EXTCODESIZE 00002365: PUSH30 0x2e746578742d636f70793a6e74682d6368696c64283130297b7374726f6b 00002384: PUSH6 0x3a2362616665 0000238b: CALLVALUE 0000238c: CODECOPY 0000238d: EXTCODESIZE 0000238e: PUSH20 0x74726f6b652d646173686f66667365743a362520 000023a3: UNKNOWN(0x2A) 000023a4: KECCAK256 000023a5: BALANCE 000023a6: ADDRESS 000023a7: EXTCODESIZE 000023a8: PUSH30 0x406b65796672616d6573207374726f6b652d6f66667365747b3435257b73 000023c7: PUSH21 0x726f6b652d646173686f66667365743a3430253b73 000023dd: PUSH21 0x726f6b652d6461736861727261793a323525203025 000023f3: EXTCODESIZE 000023f4: PUSH30 0x3630257b7374726f6b652d646173686f66667365743a3430253b7374726f 00002413: PUSH12 0x652d6461736861727261793a 00002420: ORIGIN 00002421: CALLDATALOAD 00002422: UNKNOWN(0x25) 00002423: KECCAK256 00002424: ADDRESS 00002425: UNKNOWN(0x25) 00002426: EXTCODESIZE 00002427: PUSH30 0x7d3c2f7374796c653e3c726563742077696474683d273130302527206865 00002446: PUSH10 0x6768743d273130302527 00002451: KECCAK256 00002452: PUSH7 0x696c6c3d27626c 0000245a: PUSH2 0x636b 0000245d: UNKNOWN(0x27) 0000245e: KECCAK256 0000245f: UNKNOWN(0x2F) 00002460: RETURNDATACOPY 00002461: EXTCODECOPY 00002462: PUSH20 0x796d626f6c2069643d27732d74657874273e3c74 00002477: PUSH6 0x787420746578 0000247e: PUSH21 0x2d616e63686f723d276d6964646c652720783d2735 00002494: ADDRESS 00002495: UNKNOWN(0x25) 00002496: UNKNOWN(0x27) 00002497: KECCAK256 00002498: PUSH26 0x3d273730252720636c6173733d27746578742d2d6c696e65273e 000024b3: MSIZE 000024b4: EXTCODECOPY 000024b5: UNKNOWN(0x2F) 000024b6: PUSH21 0x6578743e3c2f73796d626f6c3e3c6720636c617373 000024cc: RETURNDATASIZE 000024cd: UNKNOWN(0x27) 000024ce: PUSH8 0x2d616e7473273e3c 000024d7: PUSH22 0x736520687265663d2723732d746578742720636c6173 000024ee: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 00002503: PUSH22 0x736520687265663d2723732d746578742720636c6173 0000251a: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 0000252f: PUSH22 0x736520687265663d2723732d746578742720636c6173 00002546: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 0000255b: PUSH22 0x736520687265663d2723732d746578742720636c6173 00002572: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 00002587: PUSH22 0x736520687265663d2723732d746578742720636c6173 0000259e: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 000025b3: PUSH22 0x736520687265663d2723732d746578742720636c6173 000025ca: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 000025df: PUSH22 0x736520687265663d2723732d746578742720636c6173 000025f6: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 0000260b: PUSH22 0x736520687265663d2723732d746578742720636c6173 00002622: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 00002637: PUSH22 0x736520687265663d2723732d746578742720636c6173 0000264e: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 00002663: PUSH22 0x736520687265663d2723732d746578742720636c6173 0000267a: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c 0000268f: UNKNOWN(0x2F) 00002690: PUSH8 0x3e41424344454647 00002699: BASEFEE 0000269a: BLOBHASH 0000269b: BLOBBASEFEE 0000269c: UNKNOWN(0x4B) 0000269d: UNKNOWN(0x4C) 0000269e: UNKNOWN(0x4D) 0000269f: UNKNOWN(0x4E) 000026a0: UNKNOWN(0x4F) 000026a1: POP 000026a2: MLOAD 000026a3: MSTORE 000026a4: MSTORE8 000026a5: SLOAD 000026a6: SSTORE 000026a7: JUMP 000026a8: JUMPI 000026a9: PC 000026aa: MSIZE 000026ab: GAS 000026ac: PUSH2 0x6263 000026af: PUSH5 0x6566676869 000026b5: PUSH11 0x6b6c6d6e6f707172737475 000026c1: PUSH23 0x7778797a303132333435363738392b2fa2646970667358 000026d9: UNKNOWN(0x22) 000026da: SLT 000026db: KECCAK256 000026dc: DUP10 000026dd: UNKNOWN(0xE0) 000026de: DUP9 000026df: UNKNOWN(0xE8) 000026e0: MOD 000026e1: UNKNOWN(0xD9) 000026e2: UNKNOWN(0xAB) 000026e3: EXTCODEHASH 000026e4: UNKNOWN(0xF7) 000026e5: PUSH20 0x68d8829312f6baca70ea8bba01b921257a18e675 000026fa: BASEFEE 000026fb: ORIGIN 000026fc: PUSH5 0x736f6c6343 00002702: STOP 00002703: ADDMOD 00002704: UNKNOWN(0x0C) 00002705: STOP 00002706: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bdb1d1",
"selector": "0xd1bdb1d1",
"calldata_variants": [
"0xd1bdb1d1",
"0xd1bdb1d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f181b5e",
"selector": "0x9f181b5e",
"calldata_variants": [
"0x9f181b5e",
"0x9f181b5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb42ccdfd",
"selector": "0xb42ccdfd",
"calldata_variants": [
"0xb42ccdfd",
"0xb42ccdfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8604,
"type": "tx_origin_used"
},
{
"pc": 9248,
"type": "tx_origin_used"
},
{
"pc": 9979,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0
call_targets:
0x4b5904b2821a39402788910312b873b08db0566c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b5904b2821a39402788910312b873b08db0566c"
],
"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": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bdb1d1",
"selector": "0xd1bdb1d1",
"calldata_variants": [
"0xd1bdb1d1",
"0xd1bdb1d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f181b5e",
"selector": "0x9f181b5e",
"calldata_variants": [
"0x9f181b5e",
"0x9f181b5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb42ccdfd",
"selector": "0xb42ccdfd",
"calldata_variants": [
"0xb42ccdfd",
"0xb42ccdfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2663,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3202,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3602,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 8604,
"type": "tx_origin_used"
},
{
"pc": 9248,
"type": "tx_origin_used"
},
{
"pc": 9979,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0
call_targets:
0x4b5904b2821a39402788910312b873b08db0566c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b5904b2821a39402788910312b873b08db0566c"
],
"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": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bdb1d1",
"selector": "0xd1bdb1d1",
"calldata_variants": [
"0xd1bdb1d1",
"0xd1bdb1d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f181b5e",
"selector": "0x9f181b5e",
"calldata_variants": [
"0x9f181b5e",
"0x9f181b5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb42ccdfd",
"selector": "0xb42ccdfd",
"calldata_variants": [
"0xb42ccdfd",
"0xb42ccdfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2663,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3202,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3602,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 8604,
"type": "tx_origin_used"
},
{
"pc": 9248,
"type": "tx_origin_used"
},
{
"pc": 9979,
"type": "tx_origin_used"
}
]
}
|