019b477e-c867-72d3-8d45-adfc668d31e0
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 |
|---|---|---|---|---|
| 26133 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26134 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112951 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112952 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112953 | detector.run | complete | 1 / 3 | 1 week ago |
| 112954 | validation.fork | complete | 1 / 3 | 1 week 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 0x01d1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8b83209b 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe0e31639 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe0e31639 0000003a: EQ 0000003b: PUSH2 0x05d5 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe33b7de3 00000045: EQ 00000046: PUSH2 0x05e8 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe6a72acf 00000050: EQ 00000051: PUSH2 0x05fd 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x061d 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xce7c2ac2 0000006b: EQ 0000006c: PUSH2 0x053f 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd5f52098 00000076: EQ 00000077: PUSH2 0x0575 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd79779b2 00000081: EQ 00000082: PUSH2 0x058a 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xde8801e5 0000008c: EQ 0000008d: PUSH2 0x05c0 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xab0bcc41 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xab0bcc41 000000a7: EQ 000000a8: PUSH2 0x0495 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xb3a891c9 000000b2: EQ 000000b3: PUSH2 0x04c9 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb87d1a8b 000000bd: EQ 000000be: PUSH2 0x04e9 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc7029964 000000c8: EQ 000000c9: PUSH2 0x051b 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x8b83209b 000000d8: EQ 000000d9: PUSH2 0x0404 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8da5cb5b 000000e3: EQ 000000e4: PUSH2 0x043c 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x9852595c 000000ee: EQ 000000ef: PUSH2 0x045f 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x420401e9 000000fe: GT 000000ff: PUSH2 0x016f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x7cb64759 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x7cb64759 00000114: EQ 00000115: PUSH2 0x03a7 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x8456cb59 0000011f: EQ 00000120: PUSH2 0x03c7 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x8559dff3 0000012a: EQ 0000012b: PUSH2 0x03dc 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x877a294a 00000135: EQ 00000136: PUSH2 0x03f1 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x420401e9 00000145: EQ 00000146: PUSH2 0x032e 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x48b75044 00000150: EQ 00000151: PUSH2 0x034e 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x5c975abb 0000015b: EQ 0000015c: PUSH2 0x036e 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x715018a6 00000166: EQ 00000167: PUSH2 0x0392 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: DUP1 00000171: PUSH4 0x3a98ef39 00000176: GT 00000177: PUSH2 0x01ab 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x3a98ef39 00000181: EQ 00000182: PUSH2 0x0281 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x3cf924a0 0000018c: EQ 0000018d: PUSH2 0x02a5 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x3f4ba83a 00000197: EQ 00000198: PUSH2 0x02d3 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x406072a9 000001a2: EQ 000001a3: PUSH2 0x02e8 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: DUP1 000001ad: PUSH4 0x19165587 000001b2: EQ 000001b3: PUSH2 0x021f 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x222cb901 000001bd: EQ 000001be: PUSH2 0x0241 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x26a4e8d2 000001c8: EQ 000001c9: PUSH2 0x0261 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: CALLDATASIZE 000001d3: PUSH2 0x021a 000001d6: JUMPI 000001d7: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000001f8: CALLER 000001f9: PUSH1 0x40 000001fb: DUP1 000001fc: MLOAD 000001fd: PUSH1 0x01 000001ff: PUSH1 0x01 00000201: PUSH1 0xa0 00000203: SHL 00000204: SUB 00000205: SWAP1 00000206: SWAP3 00000207: AND 00000208: DUP3 00000209: MSTORE 0000020a: CALLVALUE 0000020b: PUSH1 0x20 0000020d: DUP4 0000020e: ADD 0000020f: MSTORE 00000210: ADD 00000211: PUSH1 0x40 00000213: MLOAD 00000214: DUP1 00000215: SWAP2 00000216: SUB 00000217: SWAP1 00000218: LOG1 00000219: STOP 0000021a: JUMPDEST 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: CALLVALUE 00000221: DUP1 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: PUSH2 0x023f 00000230: PUSH2 0x023a 00000233: CALLDATASIZE 00000234: PUSH1 0x04 00000236: PUSH2 0x1827 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH2 0x063d 0000023e: JUMP 0000023f: JUMPDEST 00000240: STOP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x023f 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x1844 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH2 0x07f3 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x023f 00000272: PUSH2 0x027c 00000275: CALLDATASIZE 00000276: PUSH1 0x04 00000278: PUSH2 0x1827 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH2 0x0868 00000280: JUMP 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH1 0x01 00000291: SLOAD 00000292: JUMPDEST 00000293: PUSH1 0x40 00000295: MLOAD 00000296: SWAP1 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: ADD 0000029c: JUMPDEST 0000029d: PUSH1 0x40 0000029f: MLOAD 000002a0: DUP1 000002a1: SWAP2 000002a2: SUB 000002a3: SWAP1 000002a4: RETURN 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH1 0x09 000002b5: SLOAD 000002b6: PUSH1 0x01 000002b8: PUSH1 0x40 000002ba: SHL 000002bb: SWAP1 000002bc: DIV 000002bd: PUSH2 0xffff 000002c0: AND 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: PUSH2 0xffff 000002c7: SWAP1 000002c8: SWAP2 000002c9: AND 000002ca: DUP2 000002cb: MSTORE 000002cc: PUSH1 0x20 000002ce: ADD 000002cf: PUSH2 0x029c 000002d2: JUMP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: POP 000002e1: PUSH2 0x023f 000002e4: PUSH2 0x08e5 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x0292 000002f9: PUSH2 0x0303 000002fc: CALLDATASIZE 000002fd: PUSH1 0x04 000002ff: PUSH2 0x1868 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x01 00000306: PUSH1 0x01 00000308: PUSH1 0xa0 0000030a: SHL 0000030b: SUB 0000030c: SWAP2 0000030d: DUP3 0000030e: AND 0000030f: PUSH1 0x00 00000311: SWAP1 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x07 00000316: PUSH1 0x20 00000318: SWAP1 00000319: DUP2 0000031a: MSTORE 0000031b: PUSH1 0x40 0000031d: DUP1 0000031e: DUP4 0000031f: KECCAK256 00000320: SWAP4 00000321: SWAP1 00000322: SWAP5 00000323: AND 00000324: DUP3 00000325: MSTORE 00000326: SWAP2 00000327: SWAP1 00000328: SWAP2 00000329: MSTORE 0000032a: KECCAK256 0000032b: SLOAD 0000032c: SWAP1 0000032d: JUMP 0000032e: JUMPDEST 0000032f: CALLVALUE 00000330: DUP1 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: PUSH2 0x023f 0000033f: PUSH2 0x0349 00000342: CALLDATASIZE 00000343: PUSH1 0x04 00000345: PUSH2 0x18a1 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH2 0x093d 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x023f 0000035f: PUSH2 0x0369 00000362: CALLDATASIZE 00000363: PUSH1 0x04 00000365: PUSH2 0x1868 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH2 0x0990 0000036d: JUMP 0000036e: JUMPDEST 0000036f: CALLVALUE 00000370: DUP1 00000371: ISZERO 00000372: PUSH2 0x037a 00000375: JUMPI 00000376: PUSH1 0x00 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: POP 0000037c: PUSH1 0x00 0000037e: SLOAD 0000037f: PUSH1 0xff 00000381: AND 00000382: JUMPDEST 00000383: PUSH1 0x40 00000385: MLOAD 00000386: SWAP1 00000387: ISZERO 00000388: ISZERO 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: PUSH2 0x029c 00000391: JUMP 00000392: JUMPDEST 00000393: CALLVALUE 00000394: DUP1 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: POP 000003a0: PUSH2 0x023f 000003a3: PUSH2 0x0bfb 000003a6: JUMP 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: POP 000003b5: PUSH2 0x023f 000003b8: PUSH2 0x03c2 000003bb: CALLDATASIZE 000003bc: PUSH1 0x04 000003be: PUSH2 0x18a1 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH2 0x0c53 000003c6: JUMP 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x023f 000003d8: PUSH2 0x0ca6 000003db: JUMP 000003dc: JUMPDEST 000003dd: CALLVALUE 000003de: DUP1 000003df: ISZERO 000003e0: PUSH2 0x03e8 000003e3: JUMPI 000003e4: PUSH1 0x00 000003e6: DUP1 000003e7: REVERT 000003e8: JUMPDEST 000003e9: POP 000003ea: PUSH1 0x08 000003ec: SLOAD 000003ed: PUSH2 0x0292 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH2 0x023f 000003f5: PUSH2 0x03ff 000003f8: CALLDATASIZE 000003f9: PUSH1 0x04 000003fb: PUSH2 0x18d0 000003fe: JUMP 000003ff: JUMPDEST 00000400: PUSH2 0x0cfc 00000403: JUMP 00000404: JUMPDEST 00000405: CALLVALUE 00000406: DUP1 00000407: ISZERO 00000408: PUSH2 0x0410 0000040b: JUMPI 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: REVERT 00000410: JUMPDEST 00000411: POP 00000412: PUSH2 0x0424 00000415: PUSH2 0x041f 00000418: CALLDATASIZE 00000419: PUSH1 0x04 0000041b: PUSH2 0x18a1 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x0ea0 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH1 0x40 00000427: MLOAD 00000428: PUSH1 0x01 0000042a: PUSH1 0x01 0000042c: PUSH1 0xa0 0000042e: SHL 0000042f: SUB 00000430: SWAP1 00000431: SWAP2 00000432: AND 00000433: DUP2 00000434: MSTORE 00000435: PUSH1 0x20 00000437: ADD 00000438: PUSH2 0x029c 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0448 00000443: JUMPI 00000444: PUSH1 0x00 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: POP 0000044a: PUSH1 0x00 0000044c: SLOAD 0000044d: PUSH2 0x0100 00000450: SWAP1 00000451: DIV 00000452: PUSH1 0x01 00000454: PUSH1 0x01 00000456: PUSH1 0xa0 00000458: SHL 00000459: SUB 0000045a: AND 0000045b: PUSH2 0x0424 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0292 00000470: PUSH2 0x047a 00000473: CALLDATASIZE 00000474: PUSH1 0x04 00000476: PUSH2 0x1827 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x01 0000047d: PUSH1 0x01 0000047f: PUSH1 0xa0 00000481: SHL 00000482: SUB 00000483: AND 00000484: PUSH1 0x00 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x04 0000048b: PUSH1 0x20 0000048d: MSTORE 0000048e: PUSH1 0x40 00000490: SWAP1 00000491: KECCAK256 00000492: SLOAD 00000493: SWAP1 00000494: JUMP 00000495: JUMPDEST 00000496: CALLVALUE 00000497: DUP1 00000498: ISZERO 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: POP 000004a3: PUSH1 0x09 000004a5: SLOAD 000004a6: PUSH8 0xffffffffffffffff 000004af: AND 000004b0: JUMPDEST 000004b1: PUSH1 0x40 000004b3: MLOAD 000004b4: PUSH8 0xffffffffffffffff 000004bd: SWAP1 000004be: SWAP2 000004bf: AND 000004c0: DUP2 000004c1: MSTORE 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: PUSH2 0x029c 000004c8: JUMP 000004c9: JUMPDEST 000004ca: CALLVALUE 000004cb: DUP1 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: POP 000004d7: PUSH2 0x023f 000004da: PUSH2 0x04e4 000004dd: CALLDATASIZE 000004de: PUSH1 0x04 000004e0: PUSH2 0x18eb 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH2 0x0ed0 000004e8: JUMP 000004e9: JUMPDEST 000004ea: CALLVALUE 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH2 0x0509 000004fa: PUSH2 0x0504 000004fd: CALLDATASIZE 000004fe: PUSH1 0x04 00000500: PUSH2 0x18d0 00000503: JUMP 00000504: JUMPDEST 00000505: PUSH2 0x0f42 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: PUSH1 0xff 0000050f: SWAP1 00000510: SWAP2 00000511: AND 00000512: DUP2 00000513: MSTORE 00000514: PUSH1 0x20 00000516: ADD 00000517: PUSH2 0x029c 0000051a: JUMP 0000051b: JUMPDEST 0000051c: CALLVALUE 0000051d: DUP1 0000051e: ISZERO 0000051f: PUSH2 0x0527 00000522: JUMPI 00000523: PUSH1 0x00 00000525: DUP1 00000526: REVERT 00000527: JUMPDEST 00000528: POP 00000529: PUSH1 0x09 0000052b: SLOAD 0000052c: TIMESTAMP 0000052d: PUSH8 0xffffffffffffffff 00000536: SWAP1 00000537: SWAP2 00000538: AND 00000539: GT 0000053a: ISZERO 0000053b: PUSH2 0x0382 0000053e: JUMP 0000053f: JUMPDEST 00000540: CALLVALUE 00000541: DUP1 00000542: ISZERO 00000543: PUSH2 0x054b 00000546: JUMPI 00000547: PUSH1 0x00 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH2 0x0292 00000550: PUSH2 0x055a 00000553: CALLDATASIZE 00000554: PUSH1 0x04 00000556: PUSH2 0x1827 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH1 0x01 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: SHL 00000562: SUB 00000563: AND 00000564: PUSH1 0x00 00000566: SWAP1 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x03 0000056b: PUSH1 0x20 0000056d: MSTORE 0000056e: PUSH1 0x40 00000570: SWAP1 00000571: KECCAK256 00000572: SLOAD 00000573: SWAP1 00000574: JUMP 00000575: JUMPDEST 00000576: CALLVALUE 00000577: DUP1 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: POP 00000583: PUSH2 0x0382 00000586: PUSH2 0x0f5f 00000589: JUMP 0000058a: JUMPDEST 0000058b: CALLVALUE 0000058c: DUP1 0000058d: ISZERO 0000058e: PUSH2 0x0596 00000591: JUMPI 00000592: PUSH1 0x00 00000594: DUP1 00000595: REVERT 00000596: JUMPDEST 00000597: POP 00000598: PUSH2 0x0292 0000059b: PUSH2 0x05a5 0000059e: CALLDATASIZE 0000059f: PUSH1 0x04 000005a1: PUSH2 0x1827 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH1 0x01 000005a8: PUSH1 0x01 000005aa: PUSH1 0xa0 000005ac: SHL 000005ad: SUB 000005ae: AND 000005af: PUSH1 0x00 000005b1: SWAP1 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x06 000005b6: PUSH1 0x20 000005b8: MSTORE 000005b9: PUSH1 0x40 000005bb: SWAP1 000005bc: KECCAK256 000005bd: SLOAD 000005be: SWAP1 000005bf: JUMP 000005c0: JUMPDEST 000005c1: CALLVALUE 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: POP 000005ce: PUSH2 0x04b0 000005d1: PUSH2 0x0f7b 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH2 0x023f 000005d9: PUSH2 0x05e3 000005dc: CALLDATASIZE 000005dd: PUSH1 0x04 000005df: PUSH2 0x1915 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH2 0x0f9d 000005e7: JUMP 000005e8: JUMPDEST 000005e9: CALLVALUE 000005ea: DUP1 000005eb: ISZERO 000005ec: PUSH2 0x05f4 000005ef: JUMPI 000005f0: PUSH1 0x00 000005f2: DUP1 000005f3: REVERT 000005f4: JUMPDEST 000005f5: POP 000005f6: PUSH1 0x02 000005f8: SLOAD 000005f9: PUSH2 0x0292 000005fc: JUMP 000005fd: JUMPDEST 000005fe: CALLVALUE 000005ff: DUP1 00000600: ISZERO 00000601: PUSH2 0x0609 00000604: JUMPI 00000605: PUSH1 0x00 00000607: DUP1 00000608: REVERT 00000609: JUMPDEST 0000060a: POP 0000060b: PUSH2 0x0292 0000060e: PUSH2 0x0618 00000611: CALLDATASIZE 00000612: PUSH1 0x04 00000614: PUSH2 0x18a1 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH2 0x1189 0000061c: JUMP 0000061d: JUMPDEST 0000061e: CALLVALUE 0000061f: DUP1 00000620: ISZERO 00000621: PUSH2 0x0629 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP1 00000628: REVERT 00000629: JUMPDEST 0000062a: POP 0000062b: PUSH2 0x023f 0000062e: PUSH2 0x0638 00000631: CALLDATASIZE 00000632: PUSH1 0x04 00000634: PUSH2 0x1827 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH2 0x1199 0000063c: JUMP 0000063d: JUMPDEST 0000063e: PUSH1 0x01 00000640: PUSH1 0x01 00000642: PUSH1 0xa0 00000644: SHL 00000645: SUB 00000646: DUP2 00000647: AND 00000648: PUSH1 0x00 0000064a: SWAP1 0000064b: DUP2 0000064c: MSTORE 0000064d: PUSH1 0x03 0000064f: PUSH1 0x20 00000651: MSTORE 00000652: PUSH1 0x40 00000654: SWAP1 00000655: KECCAK256 00000656: SLOAD 00000657: PUSH2 0x06b6 0000065a: JUMPI 0000065b: PUSH1 0x40 0000065d: MLOAD 0000065e: PUSH3 0x461bcd 00000662: PUSH1 0xe5 00000664: SHL 00000665: DUP2 00000666: MSTORE 00000667: PUSH1 0x20 00000669: PUSH1 0x04 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH1 0x26 00000670: PUSH1 0x24 00000672: DUP3 00000673: ADD 00000674: MSTORE 00000675: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000696: PUSH1 0x44 00000698: DUP3 00000699: ADD 0000069a: MSTORE 0000069b: PUSH6 0x736861726573 000006a2: PUSH1 0xd0 000006a4: SHL 000006a5: PUSH1 0x64 000006a7: DUP3 000006a8: ADD 000006a9: MSTORE 000006aa: PUSH1 0x84 000006ac: ADD 000006ad: JUMPDEST 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: DUP1 000006b2: SWAP2 000006b3: SUB 000006b4: SWAP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: PUSH2 0x06c1 000006bc: PUSH1 0x02 000006be: SLOAD 000006bf: SWAP1 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH2 0x06cb 000006c5: SWAP1 000006c6: SELFBALANCE 000006c7: PUSH2 0x19b1 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP1 000006cd: POP 000006ce: PUSH1 0x00 000006d0: PUSH2 0x06f8 000006d3: DUP4 000006d4: DUP4 000006d5: PUSH2 0x06f3 000006d8: DUP7 000006d9: PUSH1 0x01 000006db: PUSH1 0x01 000006dd: PUSH1 0xa0 000006df: SHL 000006e0: SUB 000006e1: AND 000006e2: PUSH1 0x00 000006e4: SWAP1 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x04 000006e9: PUSH1 0x20 000006eb: MSTORE 000006ec: PUSH1 0x40 000006ee: SWAP1 000006ef: KECCAK256 000006f0: SLOAD 000006f1: SWAP1 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH2 0x1258 000006f7: JUMP 000006f8: JUMPDEST 000006f9: SWAP1 000006fa: POP 000006fb: DUP1 000006fc: PUSH2 0x075b 000006ff: JUMPI 00000700: PUSH1 0x40 00000702: MLOAD 00000703: PUSH3 0x461bcd 00000707: PUSH1 0xe5 00000709: SHL 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: PUSH1 0x04 00000710: DUP3 00000711: ADD 00000712: MSTORE 00000713: PUSH1 0x2b 00000715: PUSH1 0x24 00000717: DUP3 00000718: ADD 00000719: MSTORE 0000071a: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 0000073b: PUSH1 0x44 0000073d: DUP3 0000073e: ADD 0000073f: MSTORE 00000740: PUSH11 0x191d59481c185e5b595b9d 0000074c: PUSH1 0xaa 0000074e: SHL 0000074f: PUSH1 0x64 00000751: DUP3 00000752: ADD 00000753: MSTORE 00000754: PUSH1 0x84 00000756: ADD 00000757: PUSH2 0x06ad 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x01 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: SHL 00000763: SUB 00000764: DUP4 00000765: AND 00000766: PUSH1 0x00 00000768: SWAP1 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x04 0000076d: PUSH1 0x20 0000076f: MSTORE 00000770: PUSH1 0x40 00000772: DUP2 00000773: KECCAK256 00000774: DUP1 00000775: SLOAD 00000776: DUP4 00000777: SWAP3 00000778: SWAP1 00000779: PUSH2 0x0783 0000077c: SWAP1 0000077d: DUP5 0000077e: SWAP1 0000077f: PUSH2 0x19b1 00000782: JUMP 00000783: JUMPDEST 00000784: SWAP3 00000785: POP 00000786: POP 00000787: DUP2 00000788: SWAP1 00000789: SSTORE 0000078a: POP 0000078b: DUP1 0000078c: PUSH1 0x02 0000078e: PUSH1 0x00 00000790: DUP3 00000791: DUP3 00000792: SLOAD 00000793: PUSH2 0x079c 00000796: SWAP2 00000797: SWAP1 00000798: PUSH2 0x19b1 0000079b: JUMP 0000079c: JUMPDEST 0000079d: SWAP1 0000079e: SWAP2 0000079f: SSTORE 000007a0: POP 000007a1: PUSH2 0x07ac 000007a4: SWAP1 000007a5: POP 000007a6: DUP4 000007a7: DUP3 000007a8: PUSH2 0x12a0 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH1 0x40 000007af: DUP1 000007b0: MLOAD 000007b1: PUSH1 0x01 000007b3: PUSH1 0x01 000007b5: PUSH1 0xa0 000007b7: SHL 000007b8: SUB 000007b9: DUP6 000007ba: AND 000007bb: DUP2 000007bc: MSTORE 000007bd: PUSH1 0x20 000007bf: DUP2 000007c0: ADD 000007c1: DUP4 000007c2: SWAP1 000007c3: MSTORE 000007c4: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 000007e5: SWAP2 000007e6: ADD 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: DUP1 000007eb: SWAP2 000007ec: SUB 000007ed: SWAP1 000007ee: LOG1 000007ef: POP 000007f0: POP 000007f1: POP 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x00 000007f6: SLOAD 000007f7: PUSH1 0x01 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: SHL 000007fe: SUB 000007ff: PUSH2 0x0100 00000802: SWAP1 00000803: SWAP2 00000804: DIV 00000805: AND 00000806: CALLER 00000807: EQ 00000808: PUSH2 0x0841 0000080b: JUMPI 0000080c: PUSH1 0x40 0000080e: MLOAD 0000080f: PUSH3 0x461bcd 00000813: PUSH1 0xe5 00000815: SHL 00000816: DUP2 00000817: MSTORE 00000818: PUSH1 0x20 0000081a: PUSH1 0x04 0000081c: DUP3 0000081d: ADD 0000081e: DUP2 0000081f: SWAP1 00000820: MSTORE 00000821: PUSH1 0x24 00000823: DUP3 00000824: ADD 00000825: MSTORE 00000826: PUSH1 0x00 00000828: DUP1 00000829: MLOAD 0000082a: PUSH1 0x20 0000082c: PUSH2 0x1b85 0000082f: DUP4 00000830: CODECOPY 00000831: DUP2 00000832: MLOAD 00000833: SWAP2 00000834: MSTORE 00000835: PUSH1 0x44 00000837: DUP3 00000838: ADD 00000839: MSTORE 0000083a: PUSH1 0x64 0000083c: ADD 0000083d: PUSH2 0x06ad 00000840: JUMP 00000841: JUMPDEST 00000842: PUSH1 0x09 00000844: DUP1 00000845: SLOAD 00000846: PUSH2 0xffff 00000849: SWAP1 0000084a: SWAP3 0000084b: AND 0000084c: PUSH1 0x01 0000084e: PUSH1 0x40 00000850: SHL 00000851: MUL 00000852: PUSH10 0xffff0000000000000000 0000085d: NOT 0000085e: SWAP1 0000085f: SWAP3 00000860: AND 00000861: SWAP2 00000862: SWAP1 00000863: SWAP2 00000864: OR 00000865: SWAP1 00000866: SSTORE 00000867: JUMP 00000868: JUMPDEST 00000869: PUSH1 0x00 0000086b: SLOAD 0000086c: PUSH1 0x01 0000086e: PUSH1 0x01 00000870: PUSH1 0xa0 00000872: SHL 00000873: SUB 00000874: PUSH2 0x0100 00000877: SWAP1 00000878: SWAP2 00000879: DIV 0000087a: AND 0000087b: CALLER 0000087c: EQ 0000087d: PUSH2 0x08b6 00000880: JUMPI 00000881: PUSH1 0x40 00000883: MLOAD 00000884: PUSH3 0x461bcd 00000888: PUSH1 0xe5 0000088a: SHL 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x20 0000088f: PUSH1 0x04 00000891: DUP3 00000892: ADD 00000893: DUP2 00000894: SWAP1 00000895: MSTORE 00000896: PUSH1 0x24 00000898: DUP3 00000899: ADD 0000089a: MSTORE 0000089b: PUSH1 0x00 0000089d: DUP1 0000089e: MLOAD 0000089f: PUSH1 0x20 000008a1: PUSH2 0x1b85 000008a4: DUP4 000008a5: CODECOPY 000008a6: DUP2 000008a7: MLOAD 000008a8: SWAP2 000008a9: MSTORE 000008aa: PUSH1 0x44 000008ac: DUP3 000008ad: ADD 000008ae: MSTORE 000008af: PUSH1 0x64 000008b1: ADD 000008b2: PUSH2 0x06ad 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH1 0x0c 000008b9: DUP1 000008ba: SLOAD 000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d0: NOT 000008d1: AND 000008d2: PUSH1 0x01 000008d4: PUSH1 0x01 000008d6: PUSH1 0xa0 000008d8: SHL 000008d9: SUB 000008da: SWAP3 000008db: SWAP1 000008dc: SWAP3 000008dd: AND 000008de: SWAP2 000008df: SWAP1 000008e0: SWAP2 000008e1: OR 000008e2: SWAP1 000008e3: SSTORE 000008e4: JUMP 000008e5: JUMPDEST 000008e6: PUSH1 0x00 000008e8: SLOAD 000008e9: PUSH1 0x01 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: SHL 000008f0: SUB 000008f1: PUSH2 0x0100 000008f4: SWAP1 000008f5: SWAP2 000008f6: DIV 000008f7: AND 000008f8: CALLER 000008f9: EQ 000008fa: PUSH2 0x0933 000008fd: JUMPI 000008fe: PUSH1 0x40 00000900: MLOAD 00000901: PUSH3 0x461bcd 00000905: PUSH1 0xe5 00000907: SHL 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x20 0000090c: PUSH1 0x04 0000090e: DUP3 0000090f: ADD 00000910: DUP2 00000911: SWAP1 00000912: MSTORE 00000913: PUSH1 0x24 00000915: DUP3 00000916: ADD 00000917: MSTORE 00000918: PUSH1 0x00 0000091a: DUP1 0000091b: MLOAD 0000091c: PUSH1 0x20 0000091e: PUSH2 0x1b85 00000921: DUP4 00000922: CODECOPY 00000923: DUP2 00000924: MLOAD 00000925: SWAP2 00000926: MSTORE 00000927: PUSH1 0x44 00000929: DUP3 0000092a: ADD 0000092b: MSTORE 0000092c: PUSH1 0x64 0000092e: ADD 0000092f: PUSH2 0x06ad 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH2 0x093b 00000937: PUSH2 0x13be 0000093a: JUMP 0000093b: JUMPDEST 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x00 00000940: SLOAD 00000941: PUSH1 0x01 00000943: PUSH1 0x01 00000945: PUSH1 0xa0 00000947: SHL 00000948: SUB 00000949: PUSH2 0x0100 0000094c: SWAP1 0000094d: SWAP2 0000094e: DIV 0000094f: AND 00000950: CALLER 00000951: EQ 00000952: PUSH2 0x098b 00000955: JUMPI 00000956: PUSH1 0x40 00000958: MLOAD 00000959: PUSH3 0x461bcd 0000095d: PUSH1 0xe5 0000095f: SHL 00000960: DUP2 00000961: MSTORE 00000962: PUSH1 0x20 00000964: PUSH1 0x04 00000966: DUP3 00000967: ADD 00000968: DUP2 00000969: SWAP1 0000096a: MSTORE 0000096b: PUSH1 0x24 0000096d: DUP3 0000096e: ADD 0000096f: MSTORE 00000970: PUSH1 0x00 00000972: DUP1 00000973: MLOAD 00000974: PUSH1 0x20 00000976: PUSH2 0x1b85 00000979: DUP4 0000097a: CODECOPY 0000097b: DUP2 0000097c: MLOAD 0000097d: SWAP2 0000097e: MSTORE 0000097f: PUSH1 0x44 00000981: DUP3 00000982: ADD 00000983: MSTORE 00000984: PUSH1 0x64 00000986: ADD 00000987: PUSH2 0x06ad 0000098a: JUMP 0000098b: JUMPDEST 0000098c: PUSH1 0x08 0000098e: SSTORE 0000098f: JUMP 00000990: JUMPDEST 00000991: PUSH1 0x01 00000993: PUSH1 0x01 00000995: PUSH1 0xa0 00000997: SHL 00000998: SUB 00000999: DUP2 0000099a: AND 0000099b: PUSH1 0x00 0000099d: SWAP1 0000099e: DUP2 0000099f: MSTORE 000009a0: PUSH1 0x03 000009a2: PUSH1 0x20 000009a4: MSTORE 000009a5: PUSH1 0x40 000009a7: SWAP1 000009a8: KECCAK256 000009a9: SLOAD 000009aa: PUSH2 0x0a04 000009ad: JUMPI 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: PUSH3 0x461bcd 000009b5: PUSH1 0xe5 000009b7: SHL 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: PUSH1 0x04 000009be: DUP3 000009bf: ADD 000009c0: MSTORE 000009c1: PUSH1 0x26 000009c3: PUSH1 0x24 000009c5: DUP3 000009c6: ADD 000009c7: MSTORE 000009c8: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 000009e9: PUSH1 0x44 000009eb: DUP3 000009ec: ADD 000009ed: MSTORE 000009ee: PUSH6 0x736861726573 000009f5: PUSH1 0xd0 000009f7: SHL 000009f8: PUSH1 0x64 000009fa: DUP3 000009fb: ADD 000009fc: MSTORE 000009fd: PUSH1 0x84 000009ff: ADD 00000a00: PUSH2 0x06ad 00000a03: JUMP 00000a04: JUMPDEST 00000a05: PUSH1 0x01 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: SHL 00000a0c: SUB 00000a0d: DUP3 00000a0e: AND 00000a0f: PUSH1 0x00 00000a11: SWAP1 00000a12: DUP2 00000a13: MSTORE 00000a14: PUSH1 0x06 00000a16: PUSH1 0x20 00000a18: MSTORE 00000a19: PUSH1 0x40 00000a1b: DUP2 00000a1c: KECCAK256 00000a1d: SLOAD 00000a1e: PUSH1 0x40 00000a20: MLOAD 00000a21: PUSH4 0x70a08231 00000a26: PUSH1 0xe0 00000a28: SHL 00000a29: DUP2 00000a2a: MSTORE 00000a2b: ADDRESS 00000a2c: PUSH1 0x04 00000a2e: DUP3 00000a2f: ADD 00000a30: MSTORE 00000a31: PUSH1 0x01 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: SHL 00000a38: SUB 00000a39: DUP6 00000a3a: AND 00000a3b: SWAP1 00000a3c: PUSH4 0x70a08231 00000a41: SWAP1 00000a42: PUSH1 0x24 00000a44: ADD 00000a45: PUSH1 0x20 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: DUP1 00000a4b: DUP4 00000a4c: SUB 00000a4d: DUP2 00000a4e: DUP7 00000a4f: DUP1 00000a50: EXTCODESIZE 00000a51: ISZERO 00000a52: DUP1 00000a53: ISZERO 00000a54: PUSH2 0x0a5c 00000a57: JUMPI 00000a58: PUSH1 0x00 00000a5a: DUP1 00000a5b: REVERT 00000a5c: JUMPDEST 00000a5d: POP 00000a5e: GAS 00000a5f: STATICCALL 00000a60: ISZERO 00000a61: DUP1 00000a62: ISZERO 00000a63: PUSH2 0x0a70 00000a66: JUMPI 00000a67: RETURNDATASIZE 00000a68: PUSH1 0x00 00000a6a: DUP1 00000a6b: RETURNDATACOPY 00000a6c: RETURNDATASIZE 00000a6d: PUSH1 0x00 00000a6f: REVERT 00000a70: JUMPDEST 00000a71: POP 00000a72: POP 00000a73: POP 00000a74: POP 00000a75: PUSH1 0x40 00000a77: MLOAD 00000a78: RETURNDATASIZE 00000a79: PUSH1 0x1f 00000a7b: NOT 00000a7c: PUSH1 0x1f 00000a7e: DUP3 00000a7f: ADD 00000a80: AND 00000a81: DUP3 00000a82: ADD 00000a83: DUP1 00000a84: PUSH1 0x40 00000a86: MSTORE 00000a87: POP 00000a88: DUP2 00000a89: ADD 00000a8a: SWAP1 00000a8b: PUSH2 0x0a94 00000a8e: SWAP2 00000a8f: SWAP1 00000a90: PUSH2 0x19c9 00000a93: JUMP 00000a94: JUMPDEST 00000a95: PUSH2 0x0a9e 00000a98: SWAP2 00000a99: SWAP1 00000a9a: PUSH2 0x19b1 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: SWAP1 00000aa0: POP 00000aa1: PUSH1 0x00 00000aa3: PUSH2 0x0ad7 00000aa6: DUP4 00000aa7: DUP4 00000aa8: PUSH2 0x06f3 00000aab: DUP8 00000aac: DUP8 00000aad: PUSH1 0x01 00000aaf: PUSH1 0x01 00000ab1: PUSH1 0xa0 00000ab3: SHL 00000ab4: SUB 00000ab5: SWAP2 00000ab6: DUP3 00000ab7: AND 00000ab8: PUSH1 0x00 00000aba: SWAP1 00000abb: DUP2 00000abc: MSTORE 00000abd: PUSH1 0x07 00000abf: PUSH1 0x20 00000ac1: SWAP1 00000ac2: DUP2 00000ac3: MSTORE 00000ac4: PUSH1 0x40 00000ac6: DUP1 00000ac7: DUP4 00000ac8: KECCAK256 00000ac9: SWAP4 00000aca: SWAP1 00000acb: SWAP5 00000acc: AND 00000acd: DUP3 00000ace: MSTORE 00000acf: SWAP2 00000ad0: SWAP1 00000ad1: SWAP2 00000ad2: MSTORE 00000ad3: KECCAK256 00000ad4: SLOAD 00000ad5: SWAP1 00000ad6: JUMP 00000ad7: JUMPDEST 00000ad8: SWAP1 00000ad9: POP 00000ada: DUP1 00000adb: PUSH2 0x0b3a 00000ade: JUMPI 00000adf: PUSH1 0x40 00000ae1: MLOAD 00000ae2: PUSH3 0x461bcd 00000ae6: PUSH1 0xe5 00000ae8: SHL 00000ae9: DUP2 00000aea: MSTORE 00000aeb: PUSH1 0x20 00000aed: PUSH1 0x04 00000aef: DUP3 00000af0: ADD 00000af1: MSTORE 00000af2: PUSH1 0x2b 00000af4: PUSH1 0x24 00000af6: DUP3 00000af7: ADD 00000af8: MSTORE 00000af9: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000b1a: PUSH1 0x44 00000b1c: DUP3 00000b1d: ADD 00000b1e: MSTORE 00000b1f: PUSH11 0x191d59481c185e5b595b9d 00000b2b: PUSH1 0xaa 00000b2d: SHL 00000b2e: PUSH1 0x64 00000b30: DUP3 00000b31: ADD 00000b32: MSTORE 00000b33: PUSH1 0x84 00000b35: ADD 00000b36: PUSH2 0x06ad 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x01 00000b3d: PUSH1 0x01 00000b3f: PUSH1 0xa0 00000b41: SHL 00000b42: SUB 00000b43: DUP1 00000b44: DUP6 00000b45: AND 00000b46: PUSH1 0x00 00000b48: SWAP1 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x07 00000b4d: PUSH1 0x20 00000b4f: SWAP1 00000b50: DUP2 00000b51: MSTORE 00000b52: PUSH1 0x40 00000b54: DUP1 00000b55: DUP4 00000b56: KECCAK256 00000b57: SWAP4 00000b58: DUP8 00000b59: AND 00000b5a: DUP4 00000b5b: MSTORE 00000b5c: SWAP3 00000b5d: SWAP1 00000b5e: MSTORE 00000b5f: SWAP1 00000b60: DUP2 00000b61: KECCAK256 00000b62: DUP1 00000b63: SLOAD 00000b64: DUP4 00000b65: SWAP3 00000b66: SWAP1 00000b67: PUSH2 0x0b71 00000b6a: SWAP1 00000b6b: DUP5 00000b6c: SWAP1 00000b6d: PUSH2 0x19b1 00000b70: JUMP 00000b71: JUMPDEST 00000b72: SWAP1 00000b73: SWAP2 00000b74: SSTORE 00000b75: POP 00000b76: POP 00000b77: PUSH1 0x01 00000b79: PUSH1 0x01 00000b7b: PUSH1 0xa0 00000b7d: SHL 00000b7e: SUB 00000b7f: DUP5 00000b80: AND 00000b81: PUSH1 0x00 00000b83: SWAP1 00000b84: DUP2 00000b85: MSTORE 00000b86: PUSH1 0x06 00000b88: PUSH1 0x20 00000b8a: MSTORE 00000b8b: PUSH1 0x40 00000b8d: DUP2 00000b8e: KECCAK256 00000b8f: DUP1 00000b90: SLOAD 00000b91: DUP4 00000b92: SWAP3 00000b93: SWAP1 00000b94: PUSH2 0x0b9e 00000b97: SWAP1 00000b98: DUP5 00000b99: SWAP1 00000b9a: PUSH2 0x19b1 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: SWAP1 00000ba0: SWAP2 00000ba1: SSTORE 00000ba2: POP 00000ba3: PUSH2 0x0baf 00000ba6: SWAP1 00000ba7: POP 00000ba8: DUP5 00000ba9: DUP5 00000baa: DUP4 00000bab: PUSH2 0x145a 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH1 0x40 00000bb2: DUP1 00000bb3: MLOAD 00000bb4: PUSH1 0x01 00000bb6: PUSH1 0x01 00000bb8: PUSH1 0xa0 00000bba: SHL 00000bbb: SUB 00000bbc: DUP6 00000bbd: DUP2 00000bbe: AND 00000bbf: DUP3 00000bc0: MSTORE 00000bc1: PUSH1 0x20 00000bc3: DUP3 00000bc4: ADD 00000bc5: DUP5 00000bc6: SWAP1 00000bc7: MSTORE 00000bc8: DUP7 00000bc9: AND 00000bca: SWAP2 00000bcb: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 00000bec: SWAP2 00000bed: ADD 00000bee: PUSH1 0x40 00000bf0: MLOAD 00000bf1: DUP1 00000bf2: SWAP2 00000bf3: SUB 00000bf4: SWAP1 00000bf5: LOG2 00000bf6: POP 00000bf7: POP 00000bf8: POP 00000bf9: POP 00000bfa: JUMP 00000bfb: JUMPDEST 00000bfc: PUSH1 0x00 00000bfe: SLOAD 00000bff: PUSH1 0x01 00000c01: PUSH1 0x01 00000c03: PUSH1 0xa0 00000c05: SHL 00000c06: SUB 00000c07: PUSH2 0x0100 00000c0a: SWAP1 00000c0b: SWAP2 00000c0c: DIV 00000c0d: AND 00000c0e: CALLER 00000c0f: EQ 00000c10: PUSH2 0x0c49 00000c13: JUMPI 00000c14: PUSH1 0x40 00000c16: MLOAD 00000c17: PUSH3 0x461bcd 00000c1b: PUSH1 0xe5 00000c1d: SHL 00000c1e: DUP2 00000c1f: MSTORE 00000c20: PUSH1 0x20 00000c22: PUSH1 0x04 00000c24: DUP3 00000c25: ADD 00000c26: DUP2 00000c27: SWAP1 00000c28: MSTORE 00000c29: PUSH1 0x24 00000c2b: DUP3 00000c2c: ADD 00000c2d: MSTORE 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: MLOAD 00000c32: PUSH1 0x20 00000c34: PUSH2 0x1b85 00000c37: DUP4 00000c38: CODECOPY 00000c39: DUP2 00000c3a: MLOAD 00000c3b: SWAP2 00000c3c: MSTORE 00000c3d: PUSH1 0x44 00000c3f: DUP3 00000c40: ADD 00000c41: MSTORE 00000c42: PUSH1 0x64 00000c44: ADD 00000c45: PUSH2 0x06ad 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH2 0x093b 00000c4d: PUSH1 0x00 00000c4f: PUSH2 0x14c1 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH1 0x00 00000c56: SLOAD 00000c57: PUSH1 0x01 00000c59: PUSH1 0x01 00000c5b: PUSH1 0xa0 00000c5d: SHL 00000c5e: SUB 00000c5f: PUSH2 0x0100 00000c62: SWAP1 00000c63: SWAP2 00000c64: DIV 00000c65: AND 00000c66: CALLER 00000c67: EQ 00000c68: PUSH2 0x0ca1 00000c6b: JUMPI 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: PUSH3 0x461bcd 00000c73: PUSH1 0xe5 00000c75: SHL 00000c76: DUP2 00000c77: MSTORE 00000c78: PUSH1 0x20 00000c7a: PUSH1 0x04 00000c7c: DUP3 00000c7d: ADD 00000c7e: DUP2 00000c7f: SWAP1 00000c80: MSTORE 00000c81: PUSH1 0x24 00000c83: DUP3 00000c84: ADD 00000c85: MSTORE 00000c86: PUSH1 0x00 00000c88: DUP1 00000c89: MLOAD 00000c8a: PUSH1 0x20 00000c8c: PUSH2 0x1b85 00000c8f: DUP4 00000c90: CODECOPY 00000c91: DUP2 00000c92: MLOAD 00000c93: SWAP2 00000c94: MSTORE 00000c95: PUSH1 0x44 00000c97: DUP3 00000c98: ADD 00000c99: MSTORE 00000c9a: PUSH1 0x64 00000c9c: ADD 00000c9d: PUSH2 0x06ad 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH1 0x0b 00000ca4: SSTORE 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: PUSH1 0x00 00000ca9: SLOAD 00000caa: PUSH1 0x01 00000cac: PUSH1 0x01 00000cae: PUSH1 0xa0 00000cb0: SHL 00000cb1: SUB 00000cb2: PUSH2 0x0100 00000cb5: SWAP1 00000cb6: SWAP2 00000cb7: DIV 00000cb8: AND 00000cb9: CALLER 00000cba: EQ 00000cbb: PUSH2 0x0cf4 00000cbe: JUMPI 00000cbf: PUSH1 0x40 00000cc1: MLOAD 00000cc2: PUSH3 0x461bcd 00000cc6: PUSH1 0xe5 00000cc8: SHL 00000cc9: DUP2 00000cca: MSTORE 00000ccb: PUSH1 0x20 00000ccd: PUSH1 0x04 00000ccf: DUP3 00000cd0: ADD 00000cd1: DUP2 00000cd2: SWAP1 00000cd3: MSTORE 00000cd4: PUSH1 0x24 00000cd6: DUP3 00000cd7: ADD 00000cd8: MSTORE 00000cd9: PUSH1 0x00 00000cdb: DUP1 00000cdc: MLOAD 00000cdd: PUSH1 0x20 00000cdf: PUSH2 0x1b85 00000ce2: DUP4 00000ce3: CODECOPY 00000ce4: DUP2 00000ce5: MLOAD 00000ce6: SWAP2 00000ce7: MSTORE 00000ce8: PUSH1 0x44 00000cea: DUP3 00000ceb: ADD 00000cec: MSTORE 00000ced: PUSH1 0x64 00000cef: ADD 00000cf0: PUSH2 0x06ad 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH2 0x093b 00000cf8: PUSH2 0x1527 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH1 0x00 00000cff: SLOAD 00000d00: PUSH1 0xff 00000d02: AND 00000d03: ISZERO 00000d04: PUSH2 0x0d42 00000d07: JUMPI 00000d08: PUSH1 0x40 00000d0a: MLOAD 00000d0b: PUSH3 0x461bcd 00000d0f: PUSH1 0xe5 00000d11: SHL 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x20 00000d16: PUSH1 0x04 00000d18: DUP3 00000d19: ADD 00000d1a: MSTORE 00000d1b: PUSH1 0x10 00000d1d: PUSH1 0x24 00000d1f: DUP3 00000d20: ADD 00000d21: MSTORE 00000d22: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000d33: PUSH1 0x82 00000d35: SHL 00000d36: PUSH1 0x44 00000d38: DUP3 00000d39: ADD 00000d3a: MSTORE 00000d3b: PUSH1 0x64 00000d3d: ADD 00000d3e: PUSH2 0x06ad 00000d41: JUMP 00000d42: JUMPDEST 00000d43: PUSH1 0x09 00000d45: SLOAD 00000d46: DUP2 00000d47: SWAP1 00000d48: PUSH1 0x01 00000d4a: PUSH1 0x40 00000d4c: SHL 00000d4d: SWAP1 00000d4e: DIV 00000d4f: PUSH2 0xffff 00000d52: AND 00000d53: PUSH1 0xff 00000d55: DUP3 00000d56: AND 00000d57: GT 00000d58: ISZERO 00000d59: PUSH2 0x0d8d 00000d5c: JUMPI 00000d5d: PUSH1 0x09 00000d5f: SLOAD 00000d60: PUSH1 0x40 00000d62: MLOAD 00000d63: PUSH3 0x02d103 00000d67: PUSH1 0xe9 00000d69: SHL 00000d6a: DUP2 00000d6b: MSTORE 00000d6c: PUSH1 0xff 00000d6e: DUP4 00000d6f: AND 00000d70: PUSH1 0x04 00000d72: DUP3 00000d73: ADD 00000d74: MSTORE 00000d75: PUSH1 0x01 00000d77: PUSH1 0x40 00000d79: SHL 00000d7a: SWAP1 00000d7b: SWAP2 00000d7c: DIV 00000d7d: PUSH2 0xffff 00000d80: AND 00000d81: PUSH1 0x24 00000d83: DUP3 00000d84: ADD 00000d85: MSTORE 00000d86: PUSH1 0x44 00000d88: ADD 00000d89: PUSH2 0x06ad 00000d8c: JUMP 00000d8d: JUMPDEST 00000d8e: DUP2 00000d8f: PUSH2 0x0d9a 00000d92: DUP2 00000d93: PUSH1 0xff 00000d95: AND 00000d96: PUSH2 0x1189 00000d99: JUMP 00000d9a: JUMPDEST 00000d9b: CALLVALUE 00000d9c: LT 00000d9d: ISZERO 00000d9e: PUSH2 0x0dd0 00000da1: JUMPI 00000da2: CALLVALUE 00000da3: PUSH2 0x0dae 00000da6: DUP3 00000da7: PUSH1 0xff 00000da9: AND 00000daa: PUSH2 0x1189 00000dad: JUMP 00000dae: JUMPDEST 00000daf: PUSH1 0x40 00000db1: MLOAD 00000db2: PUSH4 0xb99e2ab7 00000db7: PUSH1 0xe0 00000db9: SHL 00000dba: DUP2 00000dbb: MSTORE 00000dbc: PUSH1 0x04 00000dbe: DUP2 00000dbf: ADD 00000dc0: SWAP3 00000dc1: SWAP1 00000dc2: SWAP3 00000dc3: MSTORE 00000dc4: PUSH1 0x24 00000dc6: DUP3 00000dc7: ADD 00000dc8: MSTORE 00000dc9: PUSH1 0x44 00000dcb: ADD 00000dcc: PUSH2 0x06ad 00000dcf: JUMP 00000dd0: JUMPDEST 00000dd1: CALLER 00000dd2: ORIGIN 00000dd3: EQ 00000dd4: PUSH2 0x0df0 00000dd7: JUMPI 00000dd8: PUSH1 0x40 00000dda: MLOAD 00000ddb: PUSH4 0x057e8cb9 00000de0: PUSH1 0xe1 00000de2: SHL 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x04 00000de7: ADD 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: DUP1 00000dec: SWAP2 00000ded: SUB 00000dee: SWAP1 00000def: REVERT 00000df0: JUMPDEST 00000df1: PUSH1 0x09 00000df3: SLOAD 00000df4: TIMESTAMP 00000df5: PUSH8 0xffffffffffffffff 00000dfe: SWAP1 00000dff: SWAP2 00000e00: AND 00000e01: GT 00000e02: ISZERO 00000e03: PUSH2 0x0e1f 00000e06: JUMPI 00000e07: PUSH1 0x40 00000e09: MLOAD 00000e0a: PUSH4 0x16851a37 00000e0f: PUSH1 0xe1 00000e11: SHL 00000e12: DUP2 00000e13: MSTORE 00000e14: PUSH1 0x04 00000e16: ADD 00000e17: PUSH1 0x40 00000e19: MLOAD 00000e1a: DUP1 00000e1b: SWAP2 00000e1c: SUB 00000e1d: SWAP1 00000e1e: REVERT 00000e1f: JUMPDEST 00000e20: PUSH1 0x0c 00000e22: SLOAD 00000e23: PUSH1 0x01 00000e25: PUSH1 0x01 00000e27: PUSH1 0xa0 00000e29: SHL 00000e2a: SUB 00000e2b: AND 00000e2c: PUSH4 0x1bc09925 00000e31: PUSH2 0x0e39 00000e34: DUP6 00000e35: PUSH2 0x0f42 00000e38: JUMP 00000e39: JUMPDEST 00000e3a: CALLER 00000e3b: PUSH1 0x40 00000e3d: MLOAD 00000e3e: PUSH1 0x01 00000e40: PUSH1 0x01 00000e42: PUSH1 0xe0 00000e44: SHL 00000e45: SUB 00000e46: NOT 00000e47: PUSH1 0xe0 00000e49: DUP6 00000e4a: SWAP1 00000e4b: SHL 00000e4c: AND 00000e4d: DUP2 00000e4e: MSTORE 00000e4f: PUSH1 0xff 00000e51: SWAP1 00000e52: SWAP3 00000e53: AND 00000e54: PUSH1 0x04 00000e56: DUP4 00000e57: ADD 00000e58: MSTORE 00000e59: PUSH1 0x01 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0xa0 00000e5f: SHL 00000e60: SUB 00000e61: AND 00000e62: PUSH1 0x24 00000e64: DUP3 00000e65: ADD 00000e66: MSTORE 00000e67: PUSH1 0x44 00000e69: ADD 00000e6a: PUSH1 0x00 00000e6c: PUSH1 0x40 00000e6e: MLOAD 00000e6f: DUP1 00000e70: DUP4 00000e71: SUB 00000e72: DUP2 00000e73: PUSH1 0x00 00000e75: DUP8 00000e76: DUP1 00000e77: EXTCODESIZE 00000e78: ISZERO 00000e79: DUP1 00000e7a: ISZERO 00000e7b: PUSH2 0x0e83 00000e7e: JUMPI 00000e7f: PUSH1 0x00 00000e81: DUP1 00000e82: REVERT 00000e83: JUMPDEST 00000e84: POP 00000e85: GAS 00000e86: CALL 00000e87: ISZERO 00000e88: DUP1 00000e89: ISZERO 00000e8a: PUSH2 0x0e97 00000e8d: JUMPI 00000e8e: RETURNDATASIZE 00000e8f: PUSH1 0x00 00000e91: DUP1 00000e92: RETURNDATACOPY 00000e93: RETURNDATASIZE 00000e94: PUSH1 0x00 00000e96: REVERT 00000e97: JUMPDEST 00000e98: POP 00000e99: POP 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: PUSH1 0x00 00000ea3: PUSH1 0x05 00000ea5: DUP3 00000ea6: DUP2 00000ea7: SLOAD 00000ea8: DUP2 00000ea9: LT 00000eaa: PUSH2 0x0eb5 00000ead: JUMPI 00000eae: PUSH2 0x0eb5 00000eb1: PUSH2 0x19e2 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH1 0x00 00000eb8: SWAP2 00000eb9: DUP3 00000eba: MSTORE 00000ebb: PUSH1 0x20 00000ebd: SWAP1 00000ebe: SWAP2 00000ebf: KECCAK256 00000ec0: ADD 00000ec1: SLOAD 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0x01 00000ec6: PUSH1 0xa0 00000ec8: SHL 00000ec9: SUB 00000eca: AND 00000ecb: SWAP3 00000ecc: SWAP2 00000ecd: POP 00000ece: POP 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: PUSH1 0x00 00000ed3: SLOAD 00000ed4: PUSH1 0x01 00000ed6: PUSH1 0x01 00000ed8: PUSH1 0xa0 00000eda: SHL 00000edb: SUB 00000edc: PUSH2 0x0100 00000edf: SWAP1 00000ee0: SWAP2 00000ee1: DIV 00000ee2: AND 00000ee3: CALLER 00000ee4: EQ 00000ee5: PUSH2 0x0f1e 00000ee8: JUMPI 00000ee9: PUSH1 0x40 00000eeb: MLOAD 00000eec: PUSH3 0x461bcd 00000ef0: PUSH1 0xe5 00000ef2: SHL 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x20 00000ef7: PUSH1 0x04 00000ef9: DUP3 00000efa: ADD 00000efb: DUP2 00000efc: SWAP1 00000efd: MSTORE 00000efe: PUSH1 0x24 00000f00: DUP3 00000f01: ADD 00000f02: MSTORE 00000f03: PUSH1 0x00 00000f05: DUP1 00000f06: MLOAD 00000f07: PUSH1 0x20 00000f09: PUSH2 0x1b85 00000f0c: DUP4 00000f0d: CODECOPY 00000f0e: DUP2 00000f0f: MLOAD 00000f10: SWAP2 00000f11: MSTORE 00000f12: PUSH1 0x44 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: PUSH1 0x64 00000f19: ADD 00000f1a: PUSH2 0x06ad 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x09 00000f21: DUP1 00000f22: SLOAD 00000f23: PUSH8 0xffffffffffffffff 00000f2c: NOT 00000f2d: AND 00000f2e: PUSH8 0xffffffffffffffff 00000f37: SWAP3 00000f38: SWAP1 00000f39: SWAP3 00000f3a: AND 00000f3b: SWAP2 00000f3c: SWAP1 00000f3d: SWAP2 00000f3e: OR 00000f3f: SWAP1 00000f40: SSTORE 00000f41: JUMP 00000f42: JUMPDEST 00000f43: PUSH1 0x00 00000f45: PUSH2 0x0f4f 00000f48: PUSH1 0x05 00000f4a: DUP4 00000f4b: PUSH2 0x1a0e 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH2 0x0f59 00000f53: SWAP1 00000f54: DUP4 00000f55: PUSH2 0x1a30 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: SWAP3 00000f5b: SWAP2 00000f5c: POP 00000f5d: POP 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: PUSH1 0x00 00000f62: TIMESTAMP 00000f63: PUSH2 0x0f6a 00000f66: PUSH2 0x0f7b 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH8 0xffffffffffffffff 00000f74: AND 00000f75: GT 00000f76: ISZERO 00000f77: SWAP1 00000f78: POP 00000f79: SWAP1 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH1 0x09 00000f7e: SLOAD 00000f7f: PUSH1 0x00 00000f81: SWAP1 00000f82: PUSH2 0x0f98 00000f85: SWAP1 00000f86: PUSH2 0x1c20 00000f89: SWAP1 00000f8a: PUSH8 0xffffffffffffffff 00000f93: AND 00000f94: PUSH2 0x1a55 00000f97: JUMP 00000f98: JUMPDEST 00000f99: SWAP1 00000f9a: POP 00000f9b: SWAP1 00000f9c: JUMP 00000f9d: JUMPDEST 00000f9e: PUSH1 0x00 00000fa0: SLOAD 00000fa1: PUSH1 0xff 00000fa3: AND 00000fa4: ISZERO 00000fa5: PUSH2 0x0fe3 00000fa8: JUMPI 00000fa9: PUSH1 0x40 00000fab: MLOAD 00000fac: PUSH3 0x461bcd 00000fb0: PUSH1 0xe5 00000fb2: SHL 00000fb3: DUP2 00000fb4: MSTORE 00000fb5: PUSH1 0x20 00000fb7: PUSH1 0x04 00000fb9: DUP3 00000fba: ADD 00000fbb: MSTORE 00000fbc: PUSH1 0x10 00000fbe: PUSH1 0x24 00000fc0: DUP3 00000fc1: ADD 00000fc2: MSTORE 00000fc3: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000fd4: PUSH1 0x82 00000fd6: SHL 00000fd7: PUSH1 0x44 00000fd9: DUP3 00000fda: ADD 00000fdb: MSTORE 00000fdc: PUSH1 0x64 00000fde: ADD 00000fdf: PUSH2 0x06ad 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: PUSH1 0x09 00000fe6: SLOAD 00000fe7: DUP4 00000fe8: SWAP1 00000fe9: PUSH1 0x01 00000feb: PUSH1 0x40 00000fed: SHL 00000fee: SWAP1 00000fef: DIV 00000ff0: PUSH2 0xffff 00000ff3: AND 00000ff4: PUSH1 0xff 00000ff6: DUP3 00000ff7: AND 00000ff8: GT 00000ff9: ISZERO 00000ffa: PUSH2 0x102e 00000ffd: JUMPI 00000ffe: PUSH1 0x09 00001000: SLOAD 00001001: PUSH1 0x40 00001003: MLOAD 00001004: PUSH3 0x02d103 00001008: PUSH1 0xe9 0000100a: SHL 0000100b: DUP2 0000100c: MSTORE 0000100d: PUSH1 0xff 0000100f: DUP4 00001010: AND 00001011: PUSH1 0x04 00001013: DUP3 00001014: ADD 00001015: MSTORE 00001016: PUSH1 0x01 00001018: PUSH1 0x40 0000101a: SHL 0000101b: SWAP1 0000101c: SWAP2 0000101d: DIV 0000101e: PUSH2 0xffff 00001021: AND 00001022: PUSH1 0x24 00001024: DUP3 00001025: ADD 00001026: MSTORE 00001027: PUSH1 0x44 00001029: ADD 0000102a: PUSH2 0x06ad 0000102d: JUMP 0000102e: JUMPDEST 0000102f: DUP4 00001030: PUSH2 0x103b 00001033: DUP2 00001034: PUSH1 0xff 00001036: AND 00001037: PUSH2 0x1189 0000103a: JUMP 0000103b: JUMPDEST 0000103c: CALLVALUE 0000103d: LT 0000103e: ISZERO 0000103f: PUSH2 0x104f 00001042: JUMPI 00001043: CALLVALUE 00001044: PUSH2 0x0dae 00001047: DUP3 00001048: PUSH1 0xff 0000104a: AND 0000104b: PUSH2 0x1189 0000104e: JUMP 0000104f: JUMPDEST 00001050: PUSH2 0x1057 00001053: PUSH2 0x0f5f 00001056: JUMP 00001057: JUMPDEST 00001058: PUSH2 0x1074 0000105b: JUMPI 0000105c: PUSH1 0x40 0000105e: MLOAD 0000105f: PUSH4 0x13858657 00001064: PUSH1 0xe2 00001066: SHL 00001067: DUP2 00001068: MSTORE 00001069: PUSH1 0x04 0000106b: ADD 0000106c: PUSH1 0x40 0000106e: MLOAD 0000106f: DUP1 00001070: SWAP2 00001071: SUB 00001072: SWAP1 00001073: REVERT 00001074: JUMPDEST 00001075: PUSH2 0x10e9 00001078: DUP5 00001079: DUP5 0000107a: DUP1 0000107b: DUP1 0000107c: PUSH1 0x20 0000107e: MUL 0000107f: PUSH1 0x20 00001081: ADD 00001082: PUSH1 0x40 00001084: MLOAD 00001085: SWAP1 00001086: DUP2 00001087: ADD 00001088: PUSH1 0x40 0000108a: MSTORE 0000108b: DUP1 0000108c: SWAP4 0000108d: SWAP3 0000108e: SWAP2 0000108f: SWAP1 00001090: DUP2 00001091: DUP2 00001092: MSTORE 00001093: PUSH1 0x20 00001095: ADD 00001096: DUP4 00001097: DUP4 00001098: PUSH1 0x20 0000109a: MUL 0000109b: DUP1 0000109c: DUP3 0000109d: DUP5 0000109e: CALLDATACOPY 0000109f: PUSH1 0x00 000010a1: SWAP3 000010a2: ADD 000010a3: SWAP2 000010a4: SWAP1 000010a5: SWAP2 000010a6: MSTORE 000010a7: POP 000010a8: POP 000010a9: PUSH1 0x0b 000010ab: SLOAD 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: PUSH12 0xffffffffffffffffffffffff 000010bc: NOT 000010bd: CALLER 000010be: PUSH1 0x60 000010c0: SHL 000010c1: AND 000010c2: PUSH1 0x20 000010c4: DUP3 000010c5: ADD 000010c6: MSTORE 000010c7: SWAP1 000010c8: SWAP3 000010c9: POP 000010ca: PUSH1 0x34 000010cc: ADD 000010cd: SWAP1 000010ce: POP 000010cf: PUSH1 0x40 000010d1: MLOAD 000010d2: PUSH1 0x20 000010d4: DUP2 000010d5: DUP4 000010d6: SUB 000010d7: SUB 000010d8: DUP2 000010d9: MSTORE 000010da: SWAP1 000010db: PUSH1 0x40 000010dd: MSTORE 000010de: DUP1 000010df: MLOAD 000010e0: SWAP1 000010e1: PUSH1 0x20 000010e3: ADD 000010e4: KECCAK256 000010e5: PUSH2 0x15a2 000010e8: JUMP 000010e9: JUMPDEST 000010ea: PUSH2 0x1106 000010ed: JUMPI 000010ee: PUSH1 0x40 000010f0: MLOAD 000010f1: PUSH4 0x582f497d 000010f6: PUSH1 0xe1 000010f8: SHL 000010f9: DUP2 000010fa: MSTORE 000010fb: PUSH1 0x04 000010fd: ADD 000010fe: PUSH1 0x40 00001100: MLOAD 00001101: DUP1 00001102: SWAP2 00001103: SUB 00001104: SWAP1 00001105: REVERT 00001106: JUMPDEST 00001107: PUSH1 0x0c 00001109: SLOAD 0000110a: PUSH1 0x01 0000110c: PUSH1 0x01 0000110e: PUSH1 0xa0 00001110: SHL 00001111: SUB 00001112: AND 00001113: PUSH4 0x1bc09925 00001118: PUSH2 0x1120 0000111b: DUP8 0000111c: PUSH2 0x0f42 0000111f: JUMP 00001120: JUMPDEST 00001121: CALLER 00001122: PUSH1 0x40 00001124: MLOAD 00001125: PUSH1 0x01 00001127: PUSH1 0x01 00001129: PUSH1 0xe0 0000112b: SHL 0000112c: SUB 0000112d: NOT 0000112e: PUSH1 0xe0 00001130: DUP6 00001131: SWAP1 00001132: SHL 00001133: AND 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0xff 00001138: SWAP1 00001139: SWAP3 0000113a: AND 0000113b: PUSH1 0x04 0000113d: DUP4 0000113e: ADD 0000113f: MSTORE 00001140: PUSH1 0x01 00001142: PUSH1 0x01 00001144: PUSH1 0xa0 00001146: SHL 00001147: SUB 00001148: AND 00001149: PUSH1 0x24 0000114b: DUP3 0000114c: ADD 0000114d: MSTORE 0000114e: PUSH1 0x44 00001150: ADD 00001151: PUSH1 0x00 00001153: PUSH1 0x40 00001155: MLOAD 00001156: DUP1 00001157: DUP4 00001158: SUB 00001159: DUP2 0000115a: PUSH1 0x00 0000115c: DUP8 0000115d: DUP1 0000115e: EXTCODESIZE 0000115f: ISZERO 00001160: DUP1 00001161: ISZERO 00001162: PUSH2 0x116a 00001165: JUMPI 00001166: PUSH1 0x00 00001168: DUP1 00001169: REVERT 0000116a: JUMPDEST 0000116b: POP 0000116c: GAS 0000116d: CALL 0000116e: ISZERO 0000116f: DUP1 00001170: ISZERO 00001171: PUSH2 0x117e 00001174: JUMPI 00001175: RETURNDATASIZE 00001176: PUSH1 0x00 00001178: DUP1 00001179: RETURNDATACOPY 0000117a: RETURNDATASIZE 0000117b: PUSH1 0x00 0000117d: REVERT 0000117e: JUMPDEST 0000117f: POP 00001180: POP 00001181: POP 00001182: POP 00001183: POP 00001184: POP 00001185: POP 00001186: POP 00001187: POP 00001188: JUMP 00001189: JUMPDEST 0000118a: PUSH1 0x00 0000118c: DUP2 0000118d: PUSH1 0x08 0000118f: SLOAD 00001190: PUSH2 0x0f59 00001193: SWAP2 00001194: SWAP1 00001195: PUSH2 0x1a7e 00001198: JUMP 00001199: JUMPDEST 0000119a: PUSH1 0x00 0000119c: SLOAD 0000119d: PUSH1 0x01 0000119f: PUSH1 0x01 000011a1: PUSH1 0xa0 000011a3: SHL 000011a4: SUB 000011a5: PUSH2 0x0100 000011a8: SWAP1 000011a9: SWAP2 000011aa: DIV 000011ab: AND 000011ac: CALLER 000011ad: EQ 000011ae: PUSH2 0x11e7 000011b1: JUMPI 000011b2: PUSH1 0x40 000011b4: MLOAD 000011b5: PUSH3 0x461bcd 000011b9: PUSH1 0xe5 000011bb: SHL 000011bc: DUP2 000011bd: MSTORE 000011be: PUSH1 0x20 000011c0: PUSH1 0x04 000011c2: DUP3 000011c3: ADD 000011c4: DUP2 000011c5: SWAP1 000011c6: MSTORE 000011c7: PUSH1 0x24 000011c9: DUP3 000011ca: ADD 000011cb: MSTORE 000011cc: PUSH1 0x00 000011ce: DUP1 000011cf: MLOAD 000011d0: PUSH1 0x20 000011d2: PUSH2 0x1b85 000011d5: DUP4 000011d6: CODECOPY 000011d7: DUP2 000011d8: MLOAD 000011d9: SWAP2 000011da: MSTORE 000011db: PUSH1 0x44 000011dd: DUP3 000011de: ADD 000011df: MSTORE 000011e0: PUSH1 0x64 000011e2: ADD 000011e3: PUSH2 0x06ad 000011e6: JUMP 000011e7: JUMPDEST 000011e8: PUSH1 0x01 000011ea: PUSH1 0x01 000011ec: PUSH1 0xa0 000011ee: SHL 000011ef: SUB 000011f0: DUP2 000011f1: AND 000011f2: PUSH2 0x124c 000011f5: JUMPI 000011f6: PUSH1 0x40 000011f8: MLOAD 000011f9: PUSH3 0x461bcd 000011fd: PUSH1 0xe5 000011ff: SHL 00001200: DUP2 00001201: MSTORE 00001202: PUSH1 0x20 00001204: PUSH1 0x04 00001206: DUP3 00001207: ADD 00001208: MSTORE 00001209: PUSH1 0x26 0000120b: PUSH1 0x24 0000120d: DUP3 0000120e: ADD 0000120f: MSTORE 00001210: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001231: PUSH1 0x44 00001233: DUP3 00001234: ADD 00001235: MSTORE 00001236: PUSH6 0x646472657373 0000123d: PUSH1 0xd0 0000123f: SHL 00001240: PUSH1 0x64 00001242: DUP3 00001243: ADD 00001244: MSTORE 00001245: PUSH1 0x84 00001247: ADD 00001248: PUSH2 0x06ad 0000124b: JUMP 0000124c: JUMPDEST 0000124d: PUSH2 0x1255 00001250: DUP2 00001251: PUSH2 0x14c1 00001254: JUMP 00001255: JUMPDEST 00001256: POP 00001257: JUMP 00001258: JUMPDEST 00001259: PUSH1 0x01 0000125b: SLOAD 0000125c: PUSH1 0x01 0000125e: PUSH1 0x01 00001260: PUSH1 0xa0 00001262: SHL 00001263: SUB 00001264: DUP5 00001265: AND 00001266: PUSH1 0x00 00001268: SWAP1 00001269: DUP2 0000126a: MSTORE 0000126b: PUSH1 0x03 0000126d: PUSH1 0x20 0000126f: MSTORE 00001270: PUSH1 0x40 00001272: DUP2 00001273: KECCAK256 00001274: SLOAD 00001275: SWAP1 00001276: SWAP2 00001277: DUP4 00001278: SWAP2 00001279: PUSH2 0x1282 0000127c: SWAP1 0000127d: DUP7 0000127e: PUSH2 0x1a7e 00001281: JUMP 00001282: JUMPDEST 00001283: PUSH2 0x128c 00001286: SWAP2 00001287: SWAP1 00001288: PUSH2 0x1a9d 0000128b: JUMP 0000128c: JUMPDEST 0000128d: PUSH2 0x1296 00001290: SWAP2 00001291: SWAP1 00001292: PUSH2 0x1ab1 00001295: JUMP 00001296: JUMPDEST 00001297: SWAP1 00001298: POP 00001299: JUMPDEST 0000129a: SWAP4 0000129b: SWAP3 0000129c: POP 0000129d: POP 0000129e: POP 0000129f: JUMP 000012a0: JUMPDEST 000012a1: DUP1 000012a2: SELFBALANCE 000012a3: LT 000012a4: ISZERO 000012a5: PUSH2 0x12f0 000012a8: JUMPI 000012a9: PUSH1 0x40 000012ab: MLOAD 000012ac: PUSH3 0x461bcd 000012b0: PUSH1 0xe5 000012b2: SHL 000012b3: DUP2 000012b4: MSTORE 000012b5: PUSH1 0x20 000012b7: PUSH1 0x04 000012b9: DUP3 000012ba: ADD 000012bb: MSTORE 000012bc: PUSH1 0x1d 000012be: PUSH1 0x24 000012c0: DUP3 000012c1: ADD 000012c2: MSTORE 000012c3: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000012e4: PUSH1 0x44 000012e6: DUP3 000012e7: ADD 000012e8: MSTORE 000012e9: PUSH1 0x64 000012eb: ADD 000012ec: PUSH2 0x06ad 000012ef: JUMP 000012f0: JUMPDEST 000012f1: PUSH1 0x00 000012f3: DUP3 000012f4: PUSH1 0x01 000012f6: PUSH1 0x01 000012f8: PUSH1 0xa0 000012fa: SHL 000012fb: SUB 000012fc: AND 000012fd: DUP3 000012fe: PUSH1 0x40 00001300: MLOAD 00001301: PUSH1 0x00 00001303: PUSH1 0x40 00001305: MLOAD 00001306: DUP1 00001307: DUP4 00001308: SUB 00001309: DUP2 0000130a: DUP6 0000130b: DUP8 0000130c: GAS 0000130d: CALL 0000130e: SWAP3 0000130f: POP 00001310: POP 00001311: POP 00001312: RETURNDATASIZE 00001313: DUP1 00001314: PUSH1 0x00 00001316: DUP2 00001317: EQ 00001318: PUSH2 0x133d 0000131b: JUMPI 0000131c: PUSH1 0x40 0000131e: MLOAD 0000131f: SWAP2 00001320: POP 00001321: PUSH1 0x1f 00001323: NOT 00001324: PUSH1 0x3f 00001326: RETURNDATASIZE 00001327: ADD 00001328: AND 00001329: DUP3 0000132a: ADD 0000132b: PUSH1 0x40 0000132d: MSTORE 0000132e: RETURNDATASIZE 0000132f: DUP3 00001330: MSTORE 00001331: RETURNDATASIZE 00001332: PUSH1 0x00 00001334: PUSH1 0x20 00001336: DUP5 00001337: ADD 00001338: RETURNDATACOPY 00001339: PUSH2 0x1342 0000133c: JUMP 0000133d: JUMPDEST 0000133e: PUSH1 0x60 00001340: SWAP2 00001341: POP 00001342: JUMPDEST 00001343: POP 00001344: POP 00001345: SWAP1 00001346: POP 00001347: DUP1 00001348: PUSH2 0x13b9 0000134b: JUMPI 0000134c: PUSH1 0x40 0000134e: MLOAD 0000134f: PUSH3 0x461bcd 00001353: PUSH1 0xe5 00001355: SHL 00001356: DUP2 00001357: MSTORE 00001358: PUSH1 0x20 0000135a: PUSH1 0x04 0000135c: DUP3 0000135d: ADD 0000135e: MSTORE 0000135f: PUSH1 0x3a 00001361: PUSH1 0x24 00001363: DUP3 00001364: ADD 00001365: MSTORE 00001366: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00001387: PUSH1 0x44 00001389: DUP3 0000138a: ADD 0000138b: MSTORE 0000138c: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000013ad: PUSH1 0x64 000013af: DUP3 000013b0: ADD 000013b1: MSTORE 000013b2: PUSH1 0x84 000013b4: ADD 000013b5: PUSH2 0x06ad 000013b8: JUMP 000013b9: JUMPDEST 000013ba: POP 000013bb: POP 000013bc: POP 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH1 0x00 000013c1: SLOAD 000013c2: PUSH1 0xff 000013c4: AND 000013c5: PUSH2 0x1410 000013c8: JUMPI 000013c9: PUSH1 0x40 000013cb: MLOAD 000013cc: PUSH3 0x461bcd 000013d0: PUSH1 0xe5 000013d2: SHL 000013d3: DUP2 000013d4: MSTORE 000013d5: PUSH1 0x20 000013d7: PUSH1 0x04 000013d9: DUP3 000013da: ADD 000013db: MSTORE 000013dc: PUSH1 0x14 000013de: PUSH1 0x24 000013e0: DUP3 000013e1: ADD 000013e2: MSTORE 000013e3: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 00001404: PUSH1 0x44 00001406: DUP3 00001407: ADD 00001408: MSTORE 00001409: PUSH1 0x64 0000140b: ADD 0000140c: PUSH2 0x06ad 0000140f: JUMP 00001410: JUMPDEST 00001411: PUSH1 0x00 00001413: DUP1 00001414: SLOAD 00001415: PUSH1 0xff 00001417: NOT 00001418: AND 00001419: SWAP1 0000141a: SSTORE 0000141b: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000143c: CALLER 0000143d: JUMPDEST 0000143e: PUSH1 0x40 00001440: MLOAD 00001441: PUSH1 0x01 00001443: PUSH1 0x01 00001445: PUSH1 0xa0 00001447: SHL 00001448: SUB 00001449: SWAP1 0000144a: SWAP2 0000144b: AND 0000144c: DUP2 0000144d: MSTORE 0000144e: PUSH1 0x20 00001450: ADD 00001451: PUSH1 0x40 00001453: MLOAD 00001454: DUP1 00001455: SWAP2 00001456: SUB 00001457: SWAP1 00001458: LOG1 00001459: JUMP 0000145a: JUMPDEST 0000145b: PUSH1 0x40 0000145d: DUP1 0000145e: MLOAD 0000145f: PUSH1 0x01 00001461: PUSH1 0x01 00001463: PUSH1 0xa0 00001465: SHL 00001466: SUB 00001467: DUP5 00001468: AND 00001469: PUSH1 0x24 0000146b: DUP3 0000146c: ADD 0000146d: MSTORE 0000146e: PUSH1 0x44 00001470: DUP1 00001471: DUP3 00001472: ADD 00001473: DUP5 00001474: SWAP1 00001475: MSTORE 00001476: DUP3 00001477: MLOAD 00001478: DUP1 00001479: DUP4 0000147a: SUB 0000147b: SWAP1 0000147c: SWAP2 0000147d: ADD 0000147e: DUP2 0000147f: MSTORE 00001480: PUSH1 0x64 00001482: SWAP1 00001483: SWAP2 00001484: ADD 00001485: SWAP1 00001486: SWAP2 00001487: MSTORE 00001488: PUSH1 0x20 0000148a: DUP2 0000148b: ADD 0000148c: DUP1 0000148d: MLOAD 0000148e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014ab: AND 000014ac: PUSH4 0xa9059cbb 000014b1: PUSH1 0xe0 000014b3: SHL 000014b4: OR 000014b5: SWAP1 000014b6: MSTORE 000014b7: PUSH2 0x13b9 000014ba: SWAP1 000014bb: DUP5 000014bc: SWAP1 000014bd: PUSH2 0x15b8 000014c0: JUMP 000014c1: JUMPDEST 000014c2: PUSH1 0x00 000014c4: DUP1 000014c5: SLOAD 000014c6: PUSH1 0x01 000014c8: PUSH1 0x01 000014ca: PUSH1 0xa0 000014cc: SHL 000014cd: SUB 000014ce: DUP4 000014cf: DUP2 000014d0: AND 000014d1: PUSH2 0x0100 000014d4: DUP2 000014d5: DUP2 000014d6: MUL 000014d7: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00 000014ed: NOT 000014ee: DUP6 000014ef: AND 000014f0: OR 000014f1: DUP6 000014f2: SSTORE 000014f3: PUSH1 0x40 000014f5: MLOAD 000014f6: SWAP4 000014f7: DIV 000014f8: SWAP2 000014f9: SWAP1 000014fa: SWAP2 000014fb: AND 000014fc: SWAP3 000014fd: SWAP1 000014fe: SWAP2 000014ff: DUP4 00001500: SWAP2 00001501: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001522: SWAP2 00001523: LOG3 00001524: POP 00001525: POP 00001526: JUMP 00001527: JUMPDEST 00001528: PUSH1 0x00 0000152a: SLOAD 0000152b: PUSH1 0xff 0000152d: AND 0000152e: ISZERO 0000152f: PUSH2 0x156d 00001532: JUMPI 00001533: PUSH1 0x40 00001535: MLOAD 00001536: PUSH3 0x461bcd 0000153a: PUSH1 0xe5 0000153c: SHL 0000153d: DUP2 0000153e: MSTORE 0000153f: PUSH1 0x20 00001541: PUSH1 0x04 00001543: DUP3 00001544: ADD 00001545: MSTORE 00001546: PUSH1 0x10 00001548: PUSH1 0x24 0000154a: DUP3 0000154b: ADD 0000154c: MSTORE 0000154d: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000155e: PUSH1 0x82 00001560: SHL 00001561: PUSH1 0x44 00001563: DUP3 00001564: ADD 00001565: MSTORE 00001566: PUSH1 0x64 00001568: ADD 00001569: PUSH2 0x06ad 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH1 0x00 00001570: DUP1 00001571: SLOAD 00001572: PUSH1 0xff 00001574: NOT 00001575: AND 00001576: PUSH1 0x01 00001578: OR 00001579: SWAP1 0000157a: SSTORE 0000157b: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 0000159c: PUSH2 0x143d 0000159f: CALLER 000015a0: SWAP1 000015a1: JUMP 000015a2: JUMPDEST 000015a3: PUSH1 0x00 000015a5: DUP3 000015a6: PUSH2 0x15af 000015a9: DUP6 000015aa: DUP5 000015ab: PUSH2 0x168a 000015ae: JUMP 000015af: JUMPDEST 000015b0: EQ 000015b1: SWAP5 000015b2: SWAP4 000015b3: POP 000015b4: POP 000015b5: POP 000015b6: POP 000015b7: JUMP 000015b8: JUMPDEST 000015b9: PUSH1 0x00 000015bb: PUSH2 0x160d 000015be: DUP3 000015bf: PUSH1 0x40 000015c1: MLOAD 000015c2: DUP1 000015c3: PUSH1 0x40 000015c5: ADD 000015c6: PUSH1 0x40 000015c8: MSTORE 000015c9: DUP1 000015ca: PUSH1 0x20 000015cc: DUP2 000015cd: MSTORE 000015ce: PUSH1 0x20 000015d0: ADD 000015d1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000015f2: DUP2 000015f3: MSTORE 000015f4: POP 000015f5: DUP6 000015f6: PUSH1 0x01 000015f8: PUSH1 0x01 000015fa: PUSH1 0xa0 000015fc: SHL 000015fd: SUB 000015fe: AND 000015ff: PUSH2 0x16fe 00001602: SWAP1 00001603: SWAP3 00001604: SWAP2 00001605: SWAP1 00001606: PUSH4 0xffffffff 0000160b: AND 0000160c: JUMP 0000160d: JUMPDEST 0000160e: DUP1 0000160f: MLOAD 00001610: SWAP1 00001611: SWAP2 00001612: POP 00001613: ISZERO 00001614: PUSH2 0x13b9 00001617: JUMPI 00001618: DUP1 00001619: DUP1 0000161a: PUSH1 0x20 0000161c: ADD 0000161d: SWAP1 0000161e: MLOAD 0000161f: DUP2 00001620: ADD 00001621: SWAP1 00001622: PUSH2 0x162b 00001625: SWAP2 00001626: SWAP1 00001627: PUSH2 0x1ac8 0000162a: JUMP 0000162b: JUMPDEST 0000162c: PUSH2 0x13b9 0000162f: JUMPI 00001630: PUSH1 0x40 00001632: MLOAD 00001633: PUSH3 0x461bcd 00001637: PUSH1 0xe5 00001639: SHL 0000163a: DUP2 0000163b: MSTORE 0000163c: PUSH1 0x20 0000163e: PUSH1 0x04 00001640: DUP3 00001641: ADD 00001642: MSTORE 00001643: PUSH1 0x2a 00001645: PUSH1 0x24 00001647: DUP3 00001648: ADD 00001649: MSTORE 0000164a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 0000166b: PUSH1 0x44 0000166d: DUP3 0000166e: ADD 0000166f: MSTORE 00001670: PUSH10 0x1bdd081cdd58d8d95959 0000167b: PUSH1 0xb2 0000167d: SHL 0000167e: PUSH1 0x64 00001680: DUP3 00001681: ADD 00001682: MSTORE 00001683: PUSH1 0x84 00001685: ADD 00001686: PUSH2 0x06ad 00001689: JUMP 0000168a: JUMPDEST 0000168b: PUSH1 0x00 0000168d: DUP2 0000168e: DUP2 0000168f: JUMPDEST 00001690: DUP5 00001691: MLOAD 00001692: DUP2 00001693: LT 00001694: ISZERO 00001695: PUSH2 0x16f6 00001698: JUMPI 00001699: PUSH1 0x00 0000169b: DUP6 0000169c: DUP3 0000169d: DUP2 0000169e: MLOAD 0000169f: DUP2 000016a0: LT 000016a1: PUSH2 0x16ac 000016a4: JUMPI 000016a5: PUSH2 0x16ac 000016a8: PUSH2 0x19e2 000016ab: JUMP 000016ac: JUMPDEST 000016ad: PUSH1 0x20 000016af: MUL 000016b0: PUSH1 0x20 000016b2: ADD 000016b3: ADD 000016b4: MLOAD 000016b5: SWAP1 000016b6: POP 000016b7: DUP1 000016b8: DUP4 000016b9: GT 000016ba: PUSH2 0x16d2 000016bd: JUMPI 000016be: PUSH1 0x00 000016c0: DUP4 000016c1: DUP2 000016c2: MSTORE 000016c3: PUSH1 0x20 000016c5: DUP3 000016c6: SWAP1 000016c7: MSTORE 000016c8: PUSH1 0x40 000016ca: SWAP1 000016cb: KECCAK256 000016cc: SWAP3 000016cd: POP 000016ce: PUSH2 0x16e3 000016d1: JUMP 000016d2: JUMPDEST 000016d3: PUSH1 0x00 000016d5: DUP2 000016d6: DUP2 000016d7: MSTORE 000016d8: PUSH1 0x20 000016da: DUP5 000016db: SWAP1 000016dc: MSTORE 000016dd: PUSH1 0x40 000016df: SWAP1 000016e0: KECCAK256 000016e1: SWAP3 000016e2: POP 000016e3: JUMPDEST 000016e4: POP 000016e5: DUP1 000016e6: PUSH2 0x16ee 000016e9: DUP2 000016ea: PUSH2 0x1aea 000016ed: JUMP 000016ee: JUMPDEST 000016ef: SWAP2 000016f0: POP 000016f1: POP 000016f2: PUSH2 0x168f 000016f5: JUMP 000016f6: JUMPDEST 000016f7: POP 000016f8: SWAP4 000016f9: SWAP3 000016fa: POP 000016fb: POP 000016fc: POP 000016fd: JUMP 000016fe: JUMPDEST 000016ff: PUSH1 0x60 00001701: PUSH2 0x1296 00001704: DUP5 00001705: DUP5 00001706: PUSH1 0x00 00001708: DUP6 00001709: DUP6 0000170a: PUSH1 0x01 0000170c: PUSH1 0x01 0000170e: PUSH1 0xa0 00001710: SHL 00001711: SUB 00001712: DUP6 00001713: AND 00001714: EXTCODESIZE 00001715: PUSH2 0x1760 00001718: JUMPI 00001719: PUSH1 0x40 0000171b: MLOAD 0000171c: PUSH3 0x461bcd 00001720: PUSH1 0xe5 00001722: SHL 00001723: DUP2 00001724: MSTORE 00001725: PUSH1 0x20 00001727: PUSH1 0x04 00001729: DUP3 0000172a: ADD 0000172b: MSTORE 0000172c: PUSH1 0x1d 0000172e: PUSH1 0x24 00001730: DUP3 00001731: ADD 00001732: MSTORE 00001733: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001754: PUSH1 0x44 00001756: DUP3 00001757: ADD 00001758: MSTORE 00001759: PUSH1 0x64 0000175b: ADD 0000175c: PUSH2 0x06ad 0000175f: JUMP 00001760: JUMPDEST 00001761: PUSH1 0x00 00001763: DUP1 00001764: DUP7 00001765: PUSH1 0x01 00001767: PUSH1 0x01 00001769: PUSH1 0xa0 0000176b: SHL 0000176c: SUB 0000176d: AND 0000176e: DUP6 0000176f: DUP8 00001770: PUSH1 0x40 00001772: MLOAD 00001773: PUSH2 0x177c 00001776: SWAP2 00001777: SWAP1 00001778: PUSH2 0x1b35 0000177b: JUMP 0000177c: JUMPDEST 0000177d: PUSH1 0x00 0000177f: PUSH1 0x40 00001781: MLOAD 00001782: DUP1 00001783: DUP4 00001784: SUB 00001785: DUP2 00001786: DUP6 00001787: DUP8 00001788: GAS 00001789: CALL 0000178a: SWAP3 0000178b: POP 0000178c: POP 0000178d: POP 0000178e: RETURNDATASIZE 0000178f: DUP1 00001790: PUSH1 0x00 00001792: DUP2 00001793: EQ 00001794: PUSH2 0x17b9 00001797: JUMPI 00001798: PUSH1 0x40 0000179a: MLOAD 0000179b: SWAP2 0000179c: POP 0000179d: PUSH1 0x1f 0000179f: NOT 000017a0: PUSH1 0x3f 000017a2: RETURNDATASIZE 000017a3: ADD 000017a4: AND 000017a5: DUP3 000017a6: ADD 000017a7: PUSH1 0x40 000017a9: MSTORE 000017aa: RETURNDATASIZE 000017ab: DUP3 000017ac: MSTORE 000017ad: RETURNDATASIZE 000017ae: PUSH1 0x00 000017b0: PUSH1 0x20 000017b2: DUP5 000017b3: ADD 000017b4: RETURNDATACOPY 000017b5: PUSH2 0x17be 000017b8: JUMP 000017b9: JUMPDEST 000017ba: PUSH1 0x60 000017bc: SWAP2 000017bd: POP 000017be: JUMPDEST 000017bf: POP 000017c0: SWAP2 000017c1: POP 000017c2: SWAP2 000017c3: POP 000017c4: PUSH2 0x17ce 000017c7: DUP3 000017c8: DUP3 000017c9: DUP7 000017ca: PUSH2 0x17d9 000017cd: JUMP 000017ce: JUMPDEST 000017cf: SWAP8 000017d0: SWAP7 000017d1: POP 000017d2: POP 000017d3: POP 000017d4: POP 000017d5: POP 000017d6: POP 000017d7: POP 000017d8: JUMP 000017d9: JUMPDEST 000017da: PUSH1 0x60 000017dc: DUP4 000017dd: ISZERO 000017de: PUSH2 0x17e8 000017e1: JUMPI 000017e2: POP 000017e3: DUP2 000017e4: PUSH2 0x1299 000017e7: JUMP 000017e8: JUMPDEST 000017e9: DUP3 000017ea: MLOAD 000017eb: ISZERO 000017ec: PUSH2 0x17f8 000017ef: JUMPI 000017f0: DUP3 000017f1: MLOAD 000017f2: DUP1 000017f3: DUP5 000017f4: PUSH1 0x20 000017f6: ADD 000017f7: REVERT 000017f8: JUMPDEST 000017f9: DUP2 000017fa: PUSH1 0x40 000017fc: MLOAD 000017fd: PUSH3 0x461bcd 00001801: PUSH1 0xe5 00001803: SHL 00001804: DUP2 00001805: MSTORE 00001806: PUSH1 0x04 00001808: ADD 00001809: PUSH2 0x06ad 0000180c: SWAP2 0000180d: SWAP1 0000180e: PUSH2 0x1b51 00001811: JUMP 00001812: JUMPDEST 00001813: PUSH1 0x01 00001815: PUSH1 0x01 00001817: PUSH1 0xa0 00001819: SHL 0000181a: SUB 0000181b: DUP2 0000181c: AND 0000181d: DUP2 0000181e: EQ 0000181f: PUSH2 0x1255 00001822: JUMPI 00001823: PUSH1 0x00 00001825: DUP1 00001826: REVERT 00001827: JUMPDEST 00001828: PUSH1 0x00 0000182a: PUSH1 0x20 0000182c: DUP3 0000182d: DUP5 0000182e: SUB 0000182f: SLT 00001830: ISZERO 00001831: PUSH2 0x1839 00001834: JUMPI 00001835: PUSH1 0x00 00001837: DUP1 00001838: REVERT 00001839: JUMPDEST 0000183a: DUP2 0000183b: CALLDATALOAD 0000183c: PUSH2 0x1299 0000183f: DUP2 00001840: PUSH2 0x1812 00001843: JUMP 00001844: JUMPDEST 00001845: PUSH1 0x00 00001847: PUSH1 0x20 00001849: DUP3 0000184a: DUP5 0000184b: SUB 0000184c: SLT 0000184d: ISZERO 0000184e: PUSH2 0x1856 00001851: JUMPI 00001852: PUSH1 0x00 00001854: DUP1 00001855: REVERT 00001856: JUMPDEST 00001857: DUP2 00001858: CALLDATALOAD 00001859: PUSH2 0xffff 0000185c: DUP2 0000185d: AND 0000185e: DUP2 0000185f: EQ 00001860: PUSH2 0x1299 00001863: JUMPI 00001864: PUSH1 0x00 00001866: DUP1 00001867: REVERT 00001868: JUMPDEST 00001869: PUSH1 0x00 0000186b: DUP1 0000186c: PUSH1 0x40 0000186e: DUP4 0000186f: DUP6 00001870: SUB 00001871: SLT 00001872: ISZERO 00001873: PUSH2 0x187b 00001876: JUMPI 00001877: PUSH1 0x00 00001879: DUP1 0000187a: REVERT 0000187b: JUMPDEST 0000187c: DUP3 0000187d: CALLDATALOAD 0000187e: PUSH2 0x1886 00001881: DUP2 00001882: PUSH2 0x1812 00001885: JUMP 00001886: JUMPDEST 00001887: SWAP2 00001888: POP 00001889: PUSH1 0x20 0000188b: DUP4 0000188c: ADD 0000188d: CALLDATALOAD 0000188e: PUSH2 0x1896 00001891: DUP2 00001892: PUSH2 0x1812 00001895: JUMP 00001896: JUMPDEST 00001897: DUP1 00001898: SWAP2 00001899: POP 0000189a: POP 0000189b: SWAP3 0000189c: POP 0000189d: SWAP3 0000189e: SWAP1 0000189f: POP 000018a0: JUMP 000018a1: JUMPDEST 000018a2: PUSH1 0x00 000018a4: PUSH1 0x20 000018a6: DUP3 000018a7: DUP5 000018a8: SUB 000018a9: SLT 000018aa: ISZERO 000018ab: PUSH2 0x18b3 000018ae: JUMPI 000018af: PUSH1 0x00 000018b1: DUP1 000018b2: REVERT 000018b3: JUMPDEST 000018b4: POP 000018b5: CALLDATALOAD 000018b6: SWAP2 000018b7: SWAP1 000018b8: POP 000018b9: JUMP 000018ba: JUMPDEST 000018bb: DUP1 000018bc: CALLDATALOAD 000018bd: PUSH1 0xff 000018bf: DUP2 000018c0: AND 000018c1: DUP2 000018c2: EQ 000018c3: PUSH2 0x18cb 000018c6: JUMPI 000018c7: PUSH1 0x00 000018c9: DUP1 000018ca: REVERT 000018cb: JUMPDEST 000018cc: SWAP2 000018cd: SWAP1 000018ce: POP 000018cf: JUMP 000018d0: JUMPDEST 000018d1: PUSH1 0x00 000018d3: PUSH1 0x20 000018d5: DUP3 000018d6: DUP5 000018d7: SUB 000018d8: SLT 000018d9: ISZERO 000018da: PUSH2 0x18e2 000018dd: JUMPI 000018de: PUSH1 0x00 000018e0: DUP1 000018e1: REVERT 000018e2: JUMPDEST 000018e3: PUSH2 0x1299 000018e6: DUP3 000018e7: PUSH2 0x18ba 000018ea: JUMP 000018eb: JUMPDEST 000018ec: PUSH1 0x00 000018ee: PUSH1 0x20 000018f0: DUP3 000018f1: DUP5 000018f2: SUB 000018f3: SLT 000018f4: ISZERO 000018f5: PUSH2 0x18fd 000018f8: JUMPI 000018f9: PUSH1 0x00 000018fb: DUP1 000018fc: REVERT 000018fd: JUMPDEST 000018fe: DUP2 000018ff: CALLDATALOAD 00001900: PUSH8 0xffffffffffffffff 00001909: DUP2 0000190a: AND 0000190b: DUP2 0000190c: EQ 0000190d: PUSH2 0x1299 00001910: JUMPI 00001911: PUSH1 0x00 00001913: DUP1 00001914: REVERT 00001915: JUMPDEST 00001916: PUSH1 0x00 00001918: DUP1 00001919: PUSH1 0x00 0000191b: PUSH1 0x40 0000191d: DUP5 0000191e: DUP7 0000191f: SUB 00001920: SLT 00001921: ISZERO 00001922: PUSH2 0x192a 00001925: JUMPI 00001926: PUSH1 0x00 00001928: DUP1 00001929: REVERT 0000192a: JUMPDEST 0000192b: PUSH2 0x1933 0000192e: DUP5 0000192f: PUSH2 0x18ba 00001932: JUMP 00001933: JUMPDEST 00001934: SWAP3 00001935: POP 00001936: PUSH1 0x20 00001938: DUP5 00001939: ADD 0000193a: CALLDATALOAD 0000193b: PUSH8 0xffffffffffffffff 00001944: DUP1 00001945: DUP3 00001946: GT 00001947: ISZERO 00001948: PUSH2 0x1950 0000194b: JUMPI 0000194c: PUSH1 0x00 0000194e: DUP1 0000194f: REVERT 00001950: JUMPDEST 00001951: DUP2 00001952: DUP7 00001953: ADD 00001954: SWAP2 00001955: POP 00001956: DUP7 00001957: PUSH1 0x1f 00001959: DUP4 0000195a: ADD 0000195b: SLT 0000195c: PUSH2 0x1964 0000195f: JUMPI 00001960: PUSH1 0x00 00001962: DUP1 00001963: REVERT 00001964: JUMPDEST 00001965: DUP2 00001966: CALLDATALOAD 00001967: DUP2 00001968: DUP2 00001969: GT 0000196a: ISZERO 0000196b: PUSH2 0x1973 0000196e: JUMPI 0000196f: PUSH1 0x00 00001971: DUP1 00001972: REVERT 00001973: JUMPDEST 00001974: DUP8 00001975: PUSH1 0x20 00001977: DUP3 00001978: PUSH1 0x05 0000197a: SHL 0000197b: DUP6 0000197c: ADD 0000197d: ADD 0000197e: GT 0000197f: ISZERO 00001980: PUSH2 0x1988 00001983: JUMPI 00001984: PUSH1 0x00 00001986: DUP1 00001987: REVERT 00001988: JUMPDEST 00001989: PUSH1 0x20 0000198b: DUP4 0000198c: ADD 0000198d: SWAP5 0000198e: POP 0000198f: DUP1 00001990: SWAP4 00001991: POP 00001992: POP 00001993: POP 00001994: POP 00001995: SWAP3 00001996: POP 00001997: SWAP3 00001998: POP 00001999: SWAP3 0000199a: JUMP 0000199b: JUMPDEST 0000199c: PUSH4 0x4e487b71 000019a1: PUSH1 0xe0 000019a3: SHL 000019a4: PUSH1 0x00 000019a6: MSTORE 000019a7: PUSH1 0x11 000019a9: PUSH1 0x04 000019ab: MSTORE 000019ac: PUSH1 0x24 000019ae: PUSH1 0x00 000019b0: REVERT 000019b1: JUMPDEST 000019b2: PUSH1 0x00 000019b4: DUP3 000019b5: NOT 000019b6: DUP3 000019b7: GT 000019b8: ISZERO 000019b9: PUSH2 0x19c4 000019bc: JUMPI 000019bd: PUSH2 0x19c4 000019c0: PUSH2 0x199b 000019c3: JUMP 000019c4: JUMPDEST 000019c5: POP 000019c6: ADD 000019c7: SWAP1 000019c8: JUMP 000019c9: JUMPDEST 000019ca: PUSH1 0x00 000019cc: PUSH1 0x20 000019ce: DUP3 000019cf: DUP5 000019d0: SUB 000019d1: SLT 000019d2: ISZERO 000019d3: PUSH2 0x19db 000019d6: JUMPI 000019d7: PUSH1 0x00 000019d9: DUP1 000019da: REVERT 000019db: JUMPDEST 000019dc: POP 000019dd: MLOAD 000019de: SWAP2 000019df: SWAP1 000019e0: POP 000019e1: JUMP 000019e2: JUMPDEST 000019e3: PUSH4 0x4e487b71 000019e8: PUSH1 0xe0 000019ea: SHL 000019eb: PUSH1 0x00 000019ed: MSTORE 000019ee: PUSH1 0x32 000019f0: PUSH1 0x04 000019f2: MSTORE 000019f3: PUSH1 0x24 000019f5: PUSH1 0x00 000019f7: REVERT 000019f8: JUMPDEST 000019f9: PUSH4 0x4e487b71 000019fe: PUSH1 0xe0 00001a00: SHL 00001a01: PUSH1 0x00 00001a03: MSTORE 00001a04: PUSH1 0x12 00001a06: PUSH1 0x04 00001a08: MSTORE 00001a09: PUSH1 0x24 00001a0b: PUSH1 0x00 00001a0d: REVERT 00001a0e: JUMPDEST 00001a0f: PUSH1 0x00 00001a11: PUSH1 0xff 00001a13: DUP4 00001a14: AND 00001a15: DUP1 00001a16: PUSH2 0x1a21 00001a19: JUMPI 00001a1a: PUSH2 0x1a21 00001a1d: PUSH2 0x19f8 00001a20: JUMP 00001a21: JUMPDEST 00001a22: DUP1 00001a23: PUSH1 0xff 00001a25: DUP5 00001a26: AND 00001a27: DIV 00001a28: SWAP2 00001a29: POP 00001a2a: POP 00001a2b: SWAP3 00001a2c: SWAP2 00001a2d: POP 00001a2e: POP 00001a2f: JUMP 00001a30: JUMPDEST 00001a31: PUSH1 0x00 00001a33: PUSH1 0xff 00001a35: DUP3 00001a36: AND 00001a37: PUSH1 0xff 00001a39: DUP5 00001a3a: AND 00001a3b: DUP1 00001a3c: PUSH1 0xff 00001a3e: SUB 00001a3f: DUP3 00001a40: GT 00001a41: ISZERO 00001a42: PUSH2 0x1a4d 00001a45: JUMPI 00001a46: PUSH2 0x1a4d 00001a49: PUSH2 0x199b 00001a4c: JUMP 00001a4d: JUMPDEST 00001a4e: ADD 00001a4f: SWAP4 00001a50: SWAP3 00001a51: POP 00001a52: POP 00001a53: POP 00001a54: JUMP 00001a55: JUMPDEST 00001a56: PUSH1 0x00 00001a58: PUSH8 0xffffffffffffffff 00001a61: DUP4 00001a62: DUP2 00001a63: AND 00001a64: SWAP1 00001a65: DUP4 00001a66: AND 00001a67: DUP2 00001a68: DUP2 00001a69: LT 00001a6a: ISZERO 00001a6b: PUSH2 0x1a76 00001a6e: JUMPI 00001a6f: PUSH2 0x1a76 00001a72: PUSH2 0x199b 00001a75: JUMP 00001a76: JUMPDEST 00001a77: SUB 00001a78: SWAP4 00001a79: SWAP3 00001a7a: POP 00001a7b: POP 00001a7c: POP 00001a7d: JUMP 00001a7e: JUMPDEST 00001a7f: PUSH1 0x00 00001a81: DUP2 00001a82: PUSH1 0x00 00001a84: NOT 00001a85: DIV 00001a86: DUP4 00001a87: GT 00001a88: DUP3 00001a89: ISZERO 00001a8a: ISZERO 00001a8b: AND 00001a8c: ISZERO 00001a8d: PUSH2 0x1a98 00001a90: JUMPI 00001a91: PUSH2 0x1a98 00001a94: PUSH2 0x199b 00001a97: JUMP 00001a98: JUMPDEST 00001a99: POP 00001a9a: MUL 00001a9b: SWAP1 00001a9c: JUMP 00001a9d: JUMPDEST 00001a9e: PUSH1 0x00 00001aa0: DUP3 00001aa1: PUSH2 0x1aac 00001aa4: JUMPI 00001aa5: PUSH2 0x1aac 00001aa8: PUSH2 0x19f8 00001aab: JUMP 00001aac: JUMPDEST 00001aad: POP 00001aae: DIV 00001aaf: SWAP1 00001ab0: JUMP 00001ab1: JUMPDEST 00001ab2: PUSH1 0x00 00001ab4: DUP3 00001ab5: DUP3 00001ab6: LT 00001ab7: ISZERO 00001ab8: PUSH2 0x1ac3 00001abb: JUMPI 00001abc: PUSH2 0x1ac3 00001abf: PUSH2 0x199b 00001ac2: JUMP 00001ac3: JUMPDEST 00001ac4: POP 00001ac5: SUB 00001ac6: SWAP1 00001ac7: JUMP 00001ac8: JUMPDEST 00001ac9: PUSH1 0x00 00001acb: PUSH1 0x20 00001acd: DUP3 00001ace: DUP5 00001acf: SUB 00001ad0: SLT 00001ad1: ISZERO 00001ad2: PUSH2 0x1ada 00001ad5: JUMPI 00001ad6: PUSH1 0x00 00001ad8: DUP1 00001ad9: REVERT 00001ada: JUMPDEST 00001adb: DUP2 00001adc: MLOAD 00001add: DUP1 00001ade: ISZERO 00001adf: ISZERO 00001ae0: DUP2 00001ae1: EQ 00001ae2: PUSH2 0x1299 00001ae5: JUMPI 00001ae6: PUSH1 0x00 00001ae8: DUP1 00001ae9: REVERT 00001aea: JUMPDEST 00001aeb: PUSH1 0x00 00001aed: PUSH1 0x00 00001aef: NOT 00001af0: DUP3 00001af1: EQ 00001af2: ISZERO 00001af3: PUSH2 0x1afe 00001af6: JUMPI 00001af7: PUSH2 0x1afe 00001afa: PUSH2 0x199b 00001afd: JUMP 00001afe: JUMPDEST 00001aff: POP 00001b00: PUSH1 0x01 00001b02: ADD 00001b03: SWAP1 00001b04: JUMP 00001b05: JUMPDEST 00001b06: PUSH1 0x00 00001b08: JUMPDEST 00001b09: DUP4 00001b0a: DUP2 00001b0b: LT 00001b0c: ISZERO 00001b0d: PUSH2 0x1b20 00001b10: JUMPI 00001b11: DUP2 00001b12: DUP2 00001b13: ADD 00001b14: MLOAD 00001b15: DUP4 00001b16: DUP3 00001b17: ADD 00001b18: MSTORE 00001b19: PUSH1 0x20 00001b1b: ADD 00001b1c: PUSH2 0x1b08 00001b1f: JUMP 00001b20: JUMPDEST 00001b21: DUP4 00001b22: DUP2 00001b23: GT 00001b24: ISZERO 00001b25: PUSH2 0x1b2f 00001b28: JUMPI 00001b29: PUSH1 0x00 00001b2b: DUP5 00001b2c: DUP5 00001b2d: ADD 00001b2e: MSTORE 00001b2f: JUMPDEST 00001b30: POP 00001b31: POP 00001b32: POP 00001b33: POP 00001b34: JUMP 00001b35: JUMPDEST 00001b36: PUSH1 0x00 00001b38: DUP3 00001b39: MLOAD 00001b3a: PUSH2 0x1b47 00001b3d: DUP2 00001b3e: DUP5 00001b3f: PUSH1 0x20 00001b41: DUP8 00001b42: ADD 00001b43: PUSH2 0x1b05 00001b46: JUMP 00001b47: JUMPDEST 00001b48: SWAP2 00001b49: SWAP1 00001b4a: SWAP2 00001b4b: ADD 00001b4c: SWAP3 00001b4d: SWAP2 00001b4e: POP 00001b4f: POP 00001b50: JUMP 00001b51: JUMPDEST 00001b52: PUSH1 0x20 00001b54: DUP2 00001b55: MSTORE 00001b56: PUSH1 0x00 00001b58: DUP3 00001b59: MLOAD 00001b5a: DUP1 00001b5b: PUSH1 0x20 00001b5d: DUP5 00001b5e: ADD 00001b5f: MSTORE 00001b60: PUSH2 0x1b70 00001b63: DUP2 00001b64: PUSH1 0x40 00001b66: DUP6 00001b67: ADD 00001b68: PUSH1 0x20 00001b6a: DUP8 00001b6b: ADD 00001b6c: PUSH2 0x1b05 00001b6f: JUMP 00001b70: JUMPDEST 00001b71: PUSH1 0x1f 00001b73: ADD 00001b74: PUSH1 0x1f 00001b76: NOT 00001b77: AND 00001b78: SWAP2 00001b79: SWAP1 00001b7a: SWAP2 00001b7b: ADD 00001b7c: PUSH1 0x40 00001b7e: ADD 00001b7f: SWAP3 00001b80: SWAP2 00001b81: POP 00001b82: POP 00001b83: JUMP 00001b84: INVALID 00001b85: UNKNOWN(0x4F) 00001b86: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865 00001b9f: KECCAK256 00001ba0: PUSH16 0x776e6572a264697066735822122038c5 00001bb1: SWAP7 00001bb2: PUSH7 0xc144ae8ef32305 00001bba: UNKNOWN(0x28) 00001bbb: LT 00001bbc: NOT 00001bbd: UNKNOWN(0x4B) 00001bbe: SMOD 00001bbf: UNKNOWN(0xFB) 00001bc0: UNKNOWN(0xD7) 00001bc1: SDIV 00001bc2: SHL 00001bc3: DUP11 00001bc4: DUP3 00001bc5: UNKNOWN(0x24) 00001bc6: UNKNOWN(0xE2) 00001bc7: PUSH2 0x7db8 00001bca: DUP11 00001bcb: UNKNOWN(0x2C) 00001bcc: UNKNOWN(0xCD) 00001bcd: UNKNOWN(0xEC) 00001bce: STOP 00001bcf: PUSH5 0x736f6c6343 00001bd5: STOP 00001bd6: ADDMOD 00001bd7: MULMOD 00001bd8: STOP 00001bd9: 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": "0xe0e31639",
"selector": "0xe0e31639",
"calldata_variants": [
"0xe0e31639",
"0xe0e316390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6a72acf",
"selector": "0xe6a72acf",
"calldata_variants": [
"0xe6a72acf",
"0xe6a72acf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5f52098",
"selector": "0xd5f52098",
"calldata_variants": [
"0xd5f52098",
"0xd5f520980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde8801e5",
"selector": "0xde8801e5",
"calldata_variants": [
"0xde8801e5",
"0xde8801e50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3539,
"type": "tx_origin_used"
},
{
"pc": 3538,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e
call_targets:
0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e"
],
"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": "0xe0e31639",
"selector": "0xe0e31639",
"calldata_variants": [
"0xe0e31639",
"0xe0e316390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6a72acf",
"selector": "0xe6a72acf",
"calldata_variants": [
"0xe6a72acf",
"0xe6a72acf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5f52098",
"selector": "0xd5f52098",
"calldata_variants": [
"0xd5f52098",
"0xd5f520980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde8801e5",
"selector": "0xde8801e5",
"calldata_variants": [
"0xde8801e5",
"0xde8801e50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4461,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4877,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 3539,
"type": "tx_origin_used"
},
{
"pc": 3538,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e
call_targets:
0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e"
],
"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": "0xe0e31639",
"selector": "0xe0e31639",
"calldata_variants": [
"0xe0e31639",
"0xe0e316390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6a72acf",
"selector": "0xe6a72acf",
"calldata_variants": [
"0xe6a72acf",
"0xe6a72acf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5f52098",
"selector": "0xd5f52098",
"calldata_variants": [
"0xd5f52098",
"0xd5f520980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde8801e5",
"selector": "0xde8801e5",
"calldata_variants": [
"0xde8801e5",
"0xde8801e50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4461,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4877,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 3539,
"type": "tx_origin_used"
},
{
"pc": 3538,
"type": "tx_origin_used"
}
]
}
|