019b477e-d03a-712f-820a-3895aef76d77
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 |
|---|---|---|---|---|
| 27529 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27530 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108029 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108030 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108031 | detector.run | complete | 1 / 3 | 1 week ago |
| 108032 | 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 0x01d0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7d1db4a5 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa2a957bb 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc492f046 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc492f046 0000003a: EQ 0000003b: PUSH2 0x0521 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdd62ed3e 00000045: EQ 00000046: PUSH2 0x0541 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xea1644d5 00000050: EQ 00000051: PUSH2 0x0587 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x05a7 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa2a957bb 0000006b: EQ 0000006c: PUSH2 0x049c 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa9059cbb 00000076: EQ 00000077: PUSH2 0x04bc 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbfd79284 00000081: EQ 00000082: PUSH2 0x04dc 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc3c8cd80 0000008c: EQ 0000008d: PUSH2 0x050c 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8f70ccf7 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8f70ccf7 000000a7: EQ 000000a8: PUSH2 0x0446 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8f9a55c0 000000b2: EQ 000000b3: PUSH2 0x0466 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x95d89b41 000000bd: EQ 000000be: PUSH2 0x01fe 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x98a5c315 000000c8: EQ 000000c9: PUSH2 0x047c 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x7d1db4a5 000000d8: EQ 000000d9: PUSH2 0x03e5 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x7f2feddc 000000e3: EQ 000000e4: PUSH2 0x03fb 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8da5cb5b 000000ee: EQ 000000ef: PUSH2 0x0428 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x313ce567 000000fe: GT 000000ff: PUSH2 0x016f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x6fc3eaec 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6fc3eaec 00000114: EQ 00000115: PUSH2 0x037b 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x70a08231 0000011f: EQ 00000120: PUSH2 0x0390 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x715018a6 0000012a: EQ 0000012b: PUSH2 0x03b0 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x74010ece 00000135: EQ 00000136: PUSH2 0x03c5 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x313ce567 00000145: EQ 00000146: PUSH2 0x02ff 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x49bd5a5e 00000150: EQ 00000151: PUSH2 0x031b 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x6b999053 0000015b: EQ 0000015c: PUSH2 0x033b 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x6d8aa8f8 00000166: EQ 00000167: PUSH2 0x035b 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: DUP1 00000171: PUSH4 0x1694505e 00000176: GT 00000177: PUSH2 0x01ab 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x1694505e 00000181: EQ 00000182: PUSH2 0x026c 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x18160ddd 0000018c: EQ 0000018d: PUSH2 0x02a4 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x23b872dd 00000197: EQ 00000198: PUSH2 0x02c9 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x2fd689e3 000001a2: EQ 000001a3: PUSH2 0x02e9 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: DUP1 000001ad: PUSH3 0xb8cf2a 000001b1: EQ 000001b2: PUSH2 0x01dc 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0x06fdde03 000001bc: EQ 000001bd: PUSH2 0x01fe 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x095ea7b3 000001c7: EQ 000001c8: PUSH2 0x023c 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: CALLDATASIZE 000001d2: PUSH2 0x01d7 000001d5: JUMPI 000001d6: STOP 000001d7: JUMPDEST 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e8 000001e3: JUMPI 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: POP 000001ea: PUSH2 0x01fc 000001ed: PUSH2 0x01f7 000001f0: CALLDATASIZE 000001f1: PUSH1 0x04 000001f3: PUSH2 0x1924 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x05c7 000001fb: JUMP 000001fc: JUMPDEST 000001fd: STOP 000001fe: JUMPDEST 000001ff: CALLVALUE 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: POP 0000020c: PUSH1 0x40 0000020e: DUP1 0000020f: MLOAD 00000210: DUP1 00000211: DUP3 00000212: ADD 00000213: DUP3 00000214: MSTORE 00000215: PUSH1 0x06 00000217: DUP2 00000218: MSTORE 00000219: PUSH6 0x534c41534841 00000220: PUSH1 0xd0 00000222: SHL 00000223: PUSH1 0x20 00000225: DUP3 00000226: ADD 00000227: MSTORE 00000228: SWAP1 00000229: MLOAD 0000022a: PUSH2 0x0233 0000022d: SWAP2 0000022e: SWAP1 0000022f: PUSH2 0x19e9 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: SWAP2 00000239: SUB 0000023a: SWAP1 0000023b: RETURN 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 0x025c 0000024d: PUSH2 0x0257 00000250: CALLDATASIZE 00000251: PUSH1 0x04 00000253: PUSH2 0x1a37 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH2 0x0666 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x40 0000025f: MLOAD 00000260: SWAP1 00000261: ISZERO 00000262: ISZERO 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: ADD 00000268: PUSH2 0x0233 0000026b: JUMP 0000026c: JUMPDEST 0000026d: CALLVALUE 0000026e: DUP1 0000026f: ISZERO 00000270: PUSH2 0x0278 00000273: JUMPI 00000274: PUSH1 0x00 00000276: DUP1 00000277: REVERT 00000278: JUMPDEST 00000279: POP 0000027a: PUSH1 0x14 0000027c: SLOAD 0000027d: PUSH2 0x028c 00000280: SWAP1 00000281: PUSH1 0x01 00000283: PUSH1 0x01 00000285: PUSH1 0xa0 00000287: SHL 00000288: SUB 00000289: AND 0000028a: DUP2 0000028b: JUMP 0000028c: JUMPDEST 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: PUSH1 0x01 00000292: PUSH1 0x01 00000294: PUSH1 0xa0 00000296: SHL 00000297: SUB 00000298: SWAP1 00000299: SWAP2 0000029a: AND 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: PUSH2 0x0233 000002a3: JUMP 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH8 0x0de0b6b3a7640000 000002bb: JUMPDEST 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: SWAP1 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: PUSH2 0x0233 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x025c 000002da: PUSH2 0x02e4 000002dd: CALLDATASIZE 000002de: PUSH1 0x04 000002e0: PUSH2 0x1a63 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH2 0x067d 000002e8: JUMP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x02bb 000002fa: PUSH1 0x18 000002fc: SLOAD 000002fd: DUP2 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: DUP1 00000302: ISZERO 00000303: PUSH2 0x030b 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: POP 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: PUSH1 0x09 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: PUSH2 0x0233 0000031a: JUMP 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: PUSH1 0x15 0000032b: SLOAD 0000032c: PUSH2 0x028c 0000032f: SWAP1 00000330: PUSH1 0x01 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: SHL 00000337: SUB 00000338: AND 00000339: DUP2 0000033a: JUMP 0000033b: JUMPDEST 0000033c: CALLVALUE 0000033d: DUP1 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x01fc 0000034c: PUSH2 0x0356 0000034f: CALLDATASIZE 00000350: PUSH1 0x04 00000352: PUSH2 0x1aa4 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH2 0x06e6 0000035a: JUMP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: PUSH2 0x01fc 0000036c: PUSH2 0x0376 0000036f: CALLDATASIZE 00000370: PUSH1 0x04 00000372: PUSH2 0x1ad1 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH2 0x0731 0000037a: JUMP 0000037b: JUMPDEST 0000037c: CALLVALUE 0000037d: DUP1 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: POP 00000389: PUSH2 0x01fc 0000038c: PUSH2 0x0779 0000038f: JUMP 00000390: JUMPDEST 00000391: CALLVALUE 00000392: DUP1 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH2 0x02bb 000003a1: PUSH2 0x03ab 000003a4: CALLDATASIZE 000003a5: PUSH1 0x04 000003a7: PUSH2 0x1aa4 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH2 0x07c4 000003af: JUMP 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: DUP1 000003b3: ISZERO 000003b4: PUSH2 0x03bc 000003b7: JUMPI 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH2 0x01fc 000003c1: PUSH2 0x07e6 000003c4: JUMP 000003c5: JUMPDEST 000003c6: CALLVALUE 000003c7: DUP1 000003c8: ISZERO 000003c9: PUSH2 0x03d1 000003cc: JUMPI 000003cd: PUSH1 0x00 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: POP 000003d3: PUSH2 0x01fc 000003d6: PUSH2 0x03e0 000003d9: CALLDATASIZE 000003da: PUSH1 0x04 000003dc: PUSH2 0x1aec 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH2 0x085a 000003e4: JUMP 000003e5: JUMPDEST 000003e6: CALLVALUE 000003e7: DUP1 000003e8: ISZERO 000003e9: PUSH2 0x03f1 000003ec: JUMPI 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: REVERT 000003f1: JUMPDEST 000003f2: POP 000003f3: PUSH2 0x02bb 000003f6: PUSH1 0x16 000003f8: SLOAD 000003f9: DUP2 000003fa: JUMP 000003fb: JUMPDEST 000003fc: CALLVALUE 000003fd: DUP1 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: POP 00000409: PUSH2 0x02bb 0000040c: PUSH2 0x0416 0000040f: CALLDATASIZE 00000410: PUSH1 0x04 00000412: PUSH2 0x1aa4 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x11 00000419: PUSH1 0x20 0000041b: MSTORE 0000041c: PUSH1 0x00 0000041e: SWAP1 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x40 00000423: SWAP1 00000424: KECCAK256 00000425: SLOAD 00000426: DUP2 00000427: JUMP 00000428: JUMPDEST 00000429: CALLVALUE 0000042a: DUP1 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: POP 00000436: PUSH1 0x00 00000438: SLOAD 00000439: PUSH1 0x01 0000043b: PUSH1 0x01 0000043d: PUSH1 0xa0 0000043f: SHL 00000440: SUB 00000441: AND 00000442: PUSH2 0x028c 00000445: JUMP 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x01fc 00000457: PUSH2 0x0461 0000045a: CALLDATASIZE 0000045b: PUSH1 0x04 0000045d: PUSH2 0x1ad1 00000460: JUMP 00000461: JUMPDEST 00000462: PUSH2 0x088e 00000465: JUMP 00000466: JUMPDEST 00000467: CALLVALUE 00000468: DUP1 00000469: ISZERO 0000046a: PUSH2 0x0472 0000046d: JUMPI 0000046e: PUSH1 0x00 00000470: DUP1 00000471: REVERT 00000472: JUMPDEST 00000473: POP 00000474: PUSH2 0x02bb 00000477: PUSH1 0x17 00000479: SLOAD 0000047a: DUP2 0000047b: JUMP 0000047c: JUMPDEST 0000047d: CALLVALUE 0000047e: DUP1 0000047f: ISZERO 00000480: PUSH2 0x0488 00000483: JUMPI 00000484: PUSH1 0x00 00000486: DUP1 00000487: REVERT 00000488: JUMPDEST 00000489: POP 0000048a: PUSH2 0x01fc 0000048d: PUSH2 0x0497 00000490: CALLDATASIZE 00000491: PUSH1 0x04 00000493: PUSH2 0x1aec 00000496: JUMP 00000497: JUMPDEST 00000498: PUSH2 0x08d6 0000049b: JUMP 0000049c: JUMPDEST 0000049d: CALLVALUE 0000049e: DUP1 0000049f: ISZERO 000004a0: PUSH2 0x04a8 000004a3: JUMPI 000004a4: PUSH1 0x00 000004a6: DUP1 000004a7: REVERT 000004a8: JUMPDEST 000004a9: POP 000004aa: PUSH2 0x01fc 000004ad: PUSH2 0x04b7 000004b0: CALLDATASIZE 000004b1: PUSH1 0x04 000004b3: PUSH2 0x1b05 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH2 0x0905 000004bb: JUMP 000004bc: JUMPDEST 000004bd: CALLVALUE 000004be: DUP1 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: POP 000004ca: PUSH2 0x025c 000004cd: PUSH2 0x04d7 000004d0: CALLDATASIZE 000004d1: PUSH1 0x04 000004d3: PUSH2 0x1a37 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH2 0x0943 000004db: JUMP 000004dc: JUMPDEST 000004dd: CALLVALUE 000004de: DUP1 000004df: ISZERO 000004e0: PUSH2 0x04e8 000004e3: JUMPI 000004e4: PUSH1 0x00 000004e6: DUP1 000004e7: REVERT 000004e8: JUMPDEST 000004e9: POP 000004ea: PUSH2 0x025c 000004ed: PUSH2 0x04f7 000004f0: CALLDATASIZE 000004f1: PUSH1 0x04 000004f3: PUSH2 0x1aa4 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x10 000004fa: PUSH1 0x20 000004fc: MSTORE 000004fd: PUSH1 0x00 000004ff: SWAP1 00000500: DUP2 00000501: MSTORE 00000502: PUSH1 0x40 00000504: SWAP1 00000505: KECCAK256 00000506: SLOAD 00000507: PUSH1 0xff 00000509: AND 0000050a: DUP2 0000050b: JUMP 0000050c: JUMPDEST 0000050d: CALLVALUE 0000050e: DUP1 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: POP 0000051a: PUSH2 0x01fc 0000051d: PUSH2 0x0950 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: PUSH2 0x01fc 00000532: PUSH2 0x053c 00000535: CALLDATASIZE 00000536: PUSH1 0x04 00000538: PUSH2 0x1b37 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x09a4 00000540: JUMP 00000541: JUMPDEST 00000542: CALLVALUE 00000543: DUP1 00000544: ISZERO 00000545: PUSH2 0x054d 00000548: JUMPI 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: REVERT 0000054d: JUMPDEST 0000054e: POP 0000054f: PUSH2 0x02bb 00000552: PUSH2 0x055c 00000555: CALLDATASIZE 00000556: PUSH1 0x04 00000558: PUSH2 0x1bbb 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH1 0x01 0000055f: PUSH1 0x01 00000561: PUSH1 0xa0 00000563: SHL 00000564: SUB 00000565: SWAP2 00000566: DUP3 00000567: AND 00000568: PUSH1 0x00 0000056a: SWAP1 0000056b: DUP2 0000056c: MSTORE 0000056d: PUSH1 0x04 0000056f: PUSH1 0x20 00000571: SWAP1 00000572: DUP2 00000573: MSTORE 00000574: PUSH1 0x40 00000576: DUP1 00000577: DUP4 00000578: KECCAK256 00000579: SWAP4 0000057a: SWAP1 0000057b: SWAP5 0000057c: AND 0000057d: DUP3 0000057e: MSTORE 0000057f: SWAP2 00000580: SWAP1 00000581: SWAP2 00000582: MSTORE 00000583: KECCAK256 00000584: SLOAD 00000585: SWAP1 00000586: JUMP 00000587: JUMPDEST 00000588: CALLVALUE 00000589: DUP1 0000058a: ISZERO 0000058b: PUSH2 0x0593 0000058e: JUMPI 0000058f: PUSH1 0x00 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: POP 00000595: PUSH2 0x01fc 00000598: PUSH2 0x05a2 0000059b: CALLDATASIZE 0000059c: PUSH1 0x04 0000059e: PUSH2 0x1aec 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH2 0x0a45 000005a6: JUMP 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: PUSH2 0x01fc 000005b8: PUSH2 0x05c2 000005bb: CALLDATASIZE 000005bc: PUSH1 0x04 000005be: PUSH2 0x1aa4 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH2 0x0a74 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH1 0x00 000005ca: SLOAD 000005cb: PUSH1 0x01 000005cd: PUSH1 0x01 000005cf: PUSH1 0xa0 000005d1: SHL 000005d2: SUB 000005d3: AND 000005d4: CALLER 000005d5: EQ 000005d6: PUSH2 0x05fa 000005d9: JUMPI 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: PUSH3 0x461bcd 000005e1: PUSH1 0xe5 000005e3: SHL 000005e4: DUP2 000005e5: MSTORE 000005e6: PUSH1 0x04 000005e8: ADD 000005e9: PUSH2 0x05f1 000005ec: SWAP1 000005ed: PUSH2 0x1bf4 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: DUP1 000005f6: SWAP2 000005f7: SUB 000005f8: SWAP1 000005f9: REVERT 000005fa: JUMPDEST 000005fb: PUSH1 0x00 000005fd: JUMPDEST 000005fe: DUP2 000005ff: MLOAD 00000600: DUP2 00000601: LT 00000602: ISZERO 00000603: PUSH2 0x0662 00000606: JUMPI 00000607: PUSH1 0x01 00000609: PUSH1 0x10 0000060b: PUSH1 0x00 0000060d: DUP5 0000060e: DUP5 0000060f: DUP2 00000610: MLOAD 00000611: DUP2 00000612: LT 00000613: PUSH2 0x061e 00000616: JUMPI 00000617: PUSH2 0x061e 0000061a: PUSH2 0x1c29 0000061d: JUMP 0000061e: JUMPDEST 0000061f: PUSH1 0x20 00000621: SWAP1 00000622: DUP2 00000623: MUL 00000624: SWAP2 00000625: SWAP1 00000626: SWAP2 00000627: ADD 00000628: DUP2 00000629: ADD 0000062a: MLOAD 0000062b: PUSH1 0x01 0000062d: PUSH1 0x01 0000062f: PUSH1 0xa0 00000631: SHL 00000632: SUB 00000633: AND 00000634: DUP3 00000635: MSTORE 00000636: DUP2 00000637: ADD 00000638: SWAP2 00000639: SWAP1 0000063a: SWAP2 0000063b: MSTORE 0000063c: PUSH1 0x40 0000063e: ADD 0000063f: PUSH1 0x00 00000641: KECCAK256 00000642: DUP1 00000643: SLOAD 00000644: PUSH1 0xff 00000646: NOT 00000647: AND 00000648: SWAP2 00000649: ISZERO 0000064a: ISZERO 0000064b: SWAP2 0000064c: SWAP1 0000064d: SWAP2 0000064e: OR 0000064f: SWAP1 00000650: SSTORE 00000651: DUP1 00000652: PUSH2 0x065a 00000655: DUP2 00000656: PUSH2 0x1c55 00000659: JUMP 0000065a: JUMPDEST 0000065b: SWAP2 0000065c: POP 0000065d: POP 0000065e: PUSH2 0x05fd 00000661: JUMP 00000662: JUMPDEST 00000663: POP 00000664: POP 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH1 0x00 00000669: PUSH2 0x0673 0000066c: CALLER 0000066d: DUP5 0000066e: DUP5 0000066f: PUSH2 0x0b5e 00000672: JUMP 00000673: JUMPDEST 00000674: POP 00000675: PUSH1 0x01 00000677: JUMPDEST 00000678: SWAP3 00000679: SWAP2 0000067a: POP 0000067b: POP 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x00 00000680: PUSH2 0x068a 00000683: DUP5 00000684: DUP5 00000685: DUP5 00000686: PUSH2 0x0c82 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH2 0x06dc 0000068e: DUP5 0000068f: CALLER 00000690: PUSH2 0x06d7 00000693: DUP6 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: PUSH1 0x60 0000069a: ADD 0000069b: PUSH1 0x40 0000069d: MSTORE 0000069e: DUP1 0000069f: PUSH1 0x28 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: PUSH2 0x1d5c 000006a9: PUSH1 0x28 000006ab: SWAP2 000006ac: CODECOPY 000006ad: PUSH1 0x01 000006af: PUSH1 0x01 000006b1: PUSH1 0xa0 000006b3: SHL 000006b4: SUB 000006b5: DUP11 000006b6: AND 000006b7: PUSH1 0x00 000006b9: SWAP1 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x04 000006be: PUSH1 0x20 000006c0: SWAP1 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x40 000006c5: DUP1 000006c6: DUP4 000006c7: KECCAK256 000006c8: CALLER 000006c9: DUP5 000006ca: MSTORE 000006cb: SWAP1 000006cc: SWAP2 000006cd: MSTORE 000006ce: SWAP1 000006cf: KECCAK256 000006d0: SLOAD 000006d1: SWAP2 000006d2: SWAP1 000006d3: PUSH2 0x11be 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH2 0x0b5e 000006db: JUMP 000006dc: JUMPDEST 000006dd: POP 000006de: PUSH1 0x01 000006e0: SWAP4 000006e1: SWAP3 000006e2: POP 000006e3: POP 000006e4: POP 000006e5: JUMP 000006e6: JUMPDEST 000006e7: PUSH1 0x00 000006e9: SLOAD 000006ea: PUSH1 0x01 000006ec: PUSH1 0x01 000006ee: PUSH1 0xa0 000006f0: SHL 000006f1: SUB 000006f2: AND 000006f3: CALLER 000006f4: EQ 000006f5: PUSH2 0x0710 000006f8: JUMPI 000006f9: PUSH1 0x40 000006fb: MLOAD 000006fc: PUSH3 0x461bcd 00000700: PUSH1 0xe5 00000702: SHL 00000703: DUP2 00000704: MSTORE 00000705: PUSH1 0x04 00000707: ADD 00000708: PUSH2 0x05f1 0000070b: SWAP1 0000070c: PUSH2 0x1bf4 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x01 00000713: PUSH1 0x01 00000715: PUSH1 0xa0 00000717: SHL 00000718: SUB 00000719: AND 0000071a: PUSH1 0x00 0000071c: SWAP1 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH1 0x10 00000721: PUSH1 0x20 00000723: MSTORE 00000724: PUSH1 0x40 00000726: SWAP1 00000727: KECCAK256 00000728: DUP1 00000729: SLOAD 0000072a: PUSH1 0xff 0000072c: NOT 0000072d: AND 0000072e: SWAP1 0000072f: SSTORE 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH1 0x00 00000734: SLOAD 00000735: PUSH1 0x01 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: SHL 0000073c: SUB 0000073d: AND 0000073e: CALLER 0000073f: EQ 00000740: PUSH2 0x075b 00000743: JUMPI 00000744: PUSH1 0x40 00000746: MLOAD 00000747: PUSH3 0x461bcd 0000074b: PUSH1 0xe5 0000074d: SHL 0000074e: DUP2 0000074f: MSTORE 00000750: PUSH1 0x04 00000752: ADD 00000753: PUSH2 0x05f1 00000756: SWAP1 00000757: PUSH2 0x1bf4 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x15 0000075e: DUP1 0000075f: SLOAD 00000760: SWAP2 00000761: ISZERO 00000762: ISZERO 00000763: PUSH1 0x01 00000765: PUSH1 0xb0 00000767: SHL 00000768: MUL 00000769: PUSH1 0xff 0000076b: PUSH1 0xb0 0000076d: SHL 0000076e: NOT 0000076f: SWAP1 00000770: SWAP3 00000771: AND 00000772: SWAP2 00000773: SWAP1 00000774: SWAP2 00000775: OR 00000776: SWAP1 00000777: SSTORE 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x12 0000077c: SLOAD 0000077d: PUSH1 0x01 0000077f: PUSH1 0x01 00000781: PUSH1 0xa0 00000783: SHL 00000784: SUB 00000785: AND 00000786: CALLER 00000787: PUSH1 0x01 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: SHL 0000078e: SUB 0000078f: AND 00000790: EQ 00000791: DUP1 00000792: PUSH2 0x07ae 00000795: JUMPI 00000796: POP 00000797: PUSH1 0x13 00000799: SLOAD 0000079a: PUSH1 0x01 0000079c: PUSH1 0x01 0000079e: PUSH1 0xa0 000007a0: SHL 000007a1: SUB 000007a2: AND 000007a3: CALLER 000007a4: PUSH1 0x01 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: SHL 000007ab: SUB 000007ac: AND 000007ad: EQ 000007ae: JUMPDEST 000007af: PUSH2 0x07b7 000007b2: JUMPI 000007b3: PUSH1 0x00 000007b5: DUP1 000007b6: REVERT 000007b7: JUMPDEST 000007b8: SELFBALANCE 000007b9: PUSH2 0x07c1 000007bc: DUP2 000007bd: PUSH2 0x11f8 000007c0: JUMP 000007c1: JUMPDEST 000007c2: POP 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH1 0x01 000007c7: PUSH1 0x01 000007c9: PUSH1 0xa0 000007cb: SHL 000007cc: SUB 000007cd: DUP2 000007ce: AND 000007cf: PUSH1 0x00 000007d1: SWAP1 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x02 000007d6: PUSH1 0x20 000007d8: MSTORE 000007d9: PUSH1 0x40 000007db: DUP2 000007dc: KECCAK256 000007dd: SLOAD 000007de: PUSH2 0x0677 000007e1: SWAP1 000007e2: PUSH2 0x1232 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH1 0x00 000007e9: SLOAD 000007ea: PUSH1 0x01 000007ec: PUSH1 0x01 000007ee: PUSH1 0xa0 000007f0: SHL 000007f1: SUB 000007f2: AND 000007f3: CALLER 000007f4: EQ 000007f5: PUSH2 0x0810 000007f8: JUMPI 000007f9: PUSH1 0x40 000007fb: MLOAD 000007fc: PUSH3 0x461bcd 00000800: PUSH1 0xe5 00000802: SHL 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x04 00000807: ADD 00000808: PUSH2 0x05f1 0000080b: SWAP1 0000080c: PUSH2 0x1bf4 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH1 0x00 00000813: DUP1 00000814: SLOAD 00000815: PUSH1 0x40 00000817: MLOAD 00000818: PUSH1 0x01 0000081a: PUSH1 0x01 0000081c: PUSH1 0xa0 0000081e: SHL 0000081f: SUB 00000820: SWAP1 00000821: SWAP2 00000822: AND 00000823: SWAP1 00000824: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000845: SWAP1 00000846: DUP4 00000847: SWAP1 00000848: LOG3 00000849: PUSH1 0x00 0000084b: DUP1 0000084c: SLOAD 0000084d: PUSH1 0x01 0000084f: PUSH1 0x01 00000851: PUSH1 0xa0 00000853: SHL 00000854: SUB 00000855: NOT 00000856: AND 00000857: SWAP1 00000858: SSTORE 00000859: JUMP 0000085a: JUMPDEST 0000085b: PUSH1 0x00 0000085d: SLOAD 0000085e: PUSH1 0x01 00000860: PUSH1 0x01 00000862: PUSH1 0xa0 00000864: SHL 00000865: SUB 00000866: AND 00000867: CALLER 00000868: EQ 00000869: PUSH2 0x0884 0000086c: JUMPI 0000086d: PUSH1 0x40 0000086f: MLOAD 00000870: PUSH3 0x461bcd 00000874: PUSH1 0xe5 00000876: SHL 00000877: DUP2 00000878: MSTORE 00000879: PUSH1 0x04 0000087b: ADD 0000087c: PUSH2 0x05f1 0000087f: SWAP1 00000880: PUSH2 0x1bf4 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x16 00000887: DUP2 00000888: SWAP1 00000889: SSTORE 0000088a: PUSH1 0x17 0000088c: SSTORE 0000088d: JUMP 0000088e: JUMPDEST 0000088f: PUSH1 0x00 00000891: SLOAD 00000892: PUSH1 0x01 00000894: PUSH1 0x01 00000896: PUSH1 0xa0 00000898: SHL 00000899: SUB 0000089a: AND 0000089b: CALLER 0000089c: EQ 0000089d: PUSH2 0x08b8 000008a0: JUMPI 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: PUSH3 0x461bcd 000008a8: PUSH1 0xe5 000008aa: SHL 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x04 000008af: ADD 000008b0: PUSH2 0x05f1 000008b3: SWAP1 000008b4: PUSH2 0x1bf4 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x15 000008bb: DUP1 000008bc: SLOAD 000008bd: SWAP2 000008be: ISZERO 000008bf: ISZERO 000008c0: PUSH1 0x01 000008c2: PUSH1 0xa0 000008c4: SHL 000008c5: MUL 000008c6: PUSH1 0xff 000008c8: PUSH1 0xa0 000008ca: SHL 000008cb: NOT 000008cc: SWAP1 000008cd: SWAP3 000008ce: AND 000008cf: SWAP2 000008d0: SWAP1 000008d1: SWAP2 000008d2: OR 000008d3: SWAP1 000008d4: SSTORE 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x00 000008d9: SLOAD 000008da: PUSH1 0x01 000008dc: PUSH1 0x01 000008de: PUSH1 0xa0 000008e0: SHL 000008e1: SUB 000008e2: AND 000008e3: CALLER 000008e4: EQ 000008e5: PUSH2 0x0900 000008e8: JUMPI 000008e9: PUSH1 0x40 000008eb: MLOAD 000008ec: PUSH3 0x461bcd 000008f0: PUSH1 0xe5 000008f2: SHL 000008f3: DUP2 000008f4: MSTORE 000008f5: PUSH1 0x04 000008f7: ADD 000008f8: PUSH2 0x05f1 000008fb: SWAP1 000008fc: PUSH2 0x1bf4 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x18 00000903: SSTORE 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH1 0x00 00000908: SLOAD 00000909: PUSH1 0x01 0000090b: PUSH1 0x01 0000090d: PUSH1 0xa0 0000090f: SHL 00000910: SUB 00000911: AND 00000912: CALLER 00000913: EQ 00000914: PUSH2 0x092f 00000917: JUMPI 00000918: PUSH1 0x40 0000091a: MLOAD 0000091b: PUSH3 0x461bcd 0000091f: PUSH1 0xe5 00000921: SHL 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x04 00000926: ADD 00000927: PUSH2 0x05f1 0000092a: SWAP1 0000092b: PUSH2 0x1bf4 0000092e: JUMP 0000092f: JUMPDEST 00000930: PUSH1 0x08 00000932: SWAP4 00000933: SWAP1 00000934: SWAP4 00000935: SSTORE 00000936: PUSH1 0x0a 00000938: SWAP2 00000939: SWAP1 0000093a: SWAP2 0000093b: SSTORE 0000093c: PUSH1 0x09 0000093e: SSTORE 0000093f: PUSH1 0x0b 00000941: SSTORE 00000942: JUMP 00000943: JUMPDEST 00000944: PUSH1 0x00 00000946: PUSH2 0x0673 00000949: CALLER 0000094a: DUP5 0000094b: DUP5 0000094c: PUSH2 0x0c82 0000094f: JUMP 00000950: JUMPDEST 00000951: PUSH1 0x12 00000953: SLOAD 00000954: PUSH1 0x01 00000956: PUSH1 0x01 00000958: PUSH1 0xa0 0000095a: SHL 0000095b: SUB 0000095c: AND 0000095d: CALLER 0000095e: PUSH1 0x01 00000960: PUSH1 0x01 00000962: PUSH1 0xa0 00000964: SHL 00000965: SUB 00000966: AND 00000967: EQ 00000968: DUP1 00000969: PUSH2 0x0985 0000096c: JUMPI 0000096d: POP 0000096e: PUSH1 0x13 00000970: SLOAD 00000971: PUSH1 0x01 00000973: PUSH1 0x01 00000975: PUSH1 0xa0 00000977: SHL 00000978: SUB 00000979: AND 0000097a: CALLER 0000097b: PUSH1 0x01 0000097d: PUSH1 0x01 0000097f: PUSH1 0xa0 00000981: SHL 00000982: SUB 00000983: AND 00000984: EQ 00000985: JUMPDEST 00000986: PUSH2 0x098e 00000989: JUMPI 0000098a: PUSH1 0x00 0000098c: DUP1 0000098d: REVERT 0000098e: JUMPDEST 0000098f: PUSH1 0x00 00000991: PUSH2 0x0999 00000994: ADDRESS 00000995: PUSH2 0x07c4 00000998: JUMP 00000999: JUMPDEST 0000099a: SWAP1 0000099b: POP 0000099c: PUSH2 0x07c1 0000099f: DUP2 000009a0: PUSH2 0x12b6 000009a3: JUMP 000009a4: JUMPDEST 000009a5: PUSH1 0x00 000009a7: SLOAD 000009a8: PUSH1 0x01 000009aa: PUSH1 0x01 000009ac: PUSH1 0xa0 000009ae: SHL 000009af: SUB 000009b0: AND 000009b1: CALLER 000009b2: EQ 000009b3: PUSH2 0x09ce 000009b6: JUMPI 000009b7: PUSH1 0x40 000009b9: MLOAD 000009ba: PUSH3 0x461bcd 000009be: PUSH1 0xe5 000009c0: SHL 000009c1: DUP2 000009c2: MSTORE 000009c3: PUSH1 0x04 000009c5: ADD 000009c6: PUSH2 0x05f1 000009c9: SWAP1 000009ca: PUSH2 0x1bf4 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH1 0x00 000009d1: JUMPDEST 000009d2: DUP3 000009d3: DUP2 000009d4: LT 000009d5: ISZERO 000009d6: PUSH2 0x0a3f 000009d9: JUMPI 000009da: DUP2 000009db: PUSH1 0x05 000009dd: PUSH1 0x00 000009df: DUP7 000009e0: DUP7 000009e1: DUP6 000009e2: DUP2 000009e3: DUP2 000009e4: LT 000009e5: PUSH2 0x09f0 000009e8: JUMPI 000009e9: PUSH2 0x09f0 000009ec: PUSH2 0x1c29 000009ef: JUMP 000009f0: JUMPDEST 000009f1: SWAP1 000009f2: POP 000009f3: PUSH1 0x20 000009f5: MUL 000009f6: ADD 000009f7: PUSH1 0x20 000009f9: DUP2 000009fa: ADD 000009fb: SWAP1 000009fc: PUSH2 0x0a05 000009ff: SWAP2 00000a00: SWAP1 00000a01: PUSH2 0x1aa4 00000a04: JUMP 00000a05: JUMPDEST 00000a06: PUSH1 0x01 00000a08: PUSH1 0x01 00000a0a: PUSH1 0xa0 00000a0c: SHL 00000a0d: SUB 00000a0e: AND 00000a0f: DUP2 00000a10: MSTORE 00000a11: PUSH1 0x20 00000a13: DUP2 00000a14: ADD 00000a15: SWAP2 00000a16: SWAP1 00000a17: SWAP2 00000a18: MSTORE 00000a19: PUSH1 0x40 00000a1b: ADD 00000a1c: PUSH1 0x00 00000a1e: KECCAK256 00000a1f: DUP1 00000a20: SLOAD 00000a21: PUSH1 0xff 00000a23: NOT 00000a24: AND 00000a25: SWAP2 00000a26: ISZERO 00000a27: ISZERO 00000a28: SWAP2 00000a29: SWAP1 00000a2a: SWAP2 00000a2b: OR 00000a2c: SWAP1 00000a2d: SSTORE 00000a2e: DUP1 00000a2f: PUSH2 0x0a37 00000a32: DUP2 00000a33: PUSH2 0x1c55 00000a36: JUMP 00000a37: JUMPDEST 00000a38: SWAP2 00000a39: POP 00000a3a: POP 00000a3b: PUSH2 0x09d1 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: POP 00000a41: POP 00000a42: POP 00000a43: POP 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH1 0x00 00000a48: SLOAD 00000a49: PUSH1 0x01 00000a4b: PUSH1 0x01 00000a4d: PUSH1 0xa0 00000a4f: SHL 00000a50: SUB 00000a51: AND 00000a52: CALLER 00000a53: EQ 00000a54: PUSH2 0x0a6f 00000a57: JUMPI 00000a58: PUSH1 0x40 00000a5a: MLOAD 00000a5b: PUSH3 0x461bcd 00000a5f: PUSH1 0xe5 00000a61: SHL 00000a62: DUP2 00000a63: MSTORE 00000a64: PUSH1 0x04 00000a66: ADD 00000a67: PUSH2 0x05f1 00000a6a: SWAP1 00000a6b: PUSH2 0x1bf4 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH1 0x17 00000a72: SSTORE 00000a73: JUMP 00000a74: JUMPDEST 00000a75: PUSH1 0x00 00000a77: SLOAD 00000a78: PUSH1 0x01 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0xa0 00000a7e: SHL 00000a7f: SUB 00000a80: AND 00000a81: CALLER 00000a82: EQ 00000a83: PUSH2 0x0a9e 00000a86: JUMPI 00000a87: PUSH1 0x40 00000a89: MLOAD 00000a8a: PUSH3 0x461bcd 00000a8e: PUSH1 0xe5 00000a90: SHL 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x04 00000a95: ADD 00000a96: PUSH2 0x05f1 00000a99: SWAP1 00000a9a: PUSH2 0x1bf4 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH1 0x01 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0xa0 00000aa5: SHL 00000aa6: SUB 00000aa7: DUP2 00000aa8: AND 00000aa9: PUSH2 0x0b03 00000aac: JUMPI 00000aad: PUSH1 0x40 00000aaf: MLOAD 00000ab0: PUSH3 0x461bcd 00000ab4: PUSH1 0xe5 00000ab6: SHL 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x20 00000abb: PUSH1 0x04 00000abd: DUP3 00000abe: ADD 00000abf: MSTORE 00000ac0: PUSH1 0x26 00000ac2: PUSH1 0x24 00000ac4: DUP3 00000ac5: ADD 00000ac6: MSTORE 00000ac7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ae8: PUSH1 0x44 00000aea: DUP3 00000aeb: ADD 00000aec: MSTORE 00000aed: PUSH6 0x646472657373 00000af4: PUSH1 0xd0 00000af6: SHL 00000af7: PUSH1 0x64 00000af9: DUP3 00000afa: ADD 00000afb: MSTORE 00000afc: PUSH1 0x84 00000afe: ADD 00000aff: PUSH2 0x05f1 00000b02: JUMP 00000b03: JUMPDEST 00000b04: PUSH1 0x00 00000b06: DUP1 00000b07: SLOAD 00000b08: PUSH1 0x40 00000b0a: MLOAD 00000b0b: PUSH1 0x01 00000b0d: PUSH1 0x01 00000b0f: PUSH1 0xa0 00000b11: SHL 00000b12: SUB 00000b13: DUP1 00000b14: DUP6 00000b15: AND 00000b16: SWAP4 00000b17: SWAP3 00000b18: AND 00000b19: SWAP2 00000b1a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b3b: SWAP2 00000b3c: LOG3 00000b3d: PUSH1 0x00 00000b3f: DUP1 00000b40: SLOAD 00000b41: PUSH1 0x01 00000b43: PUSH1 0x01 00000b45: PUSH1 0xa0 00000b47: SHL 00000b48: SUB 00000b49: NOT 00000b4a: AND 00000b4b: PUSH1 0x01 00000b4d: PUSH1 0x01 00000b4f: PUSH1 0xa0 00000b51: SHL 00000b52: SUB 00000b53: SWAP3 00000b54: SWAP1 00000b55: SWAP3 00000b56: AND 00000b57: SWAP2 00000b58: SWAP1 00000b59: SWAP2 00000b5a: OR 00000b5b: SWAP1 00000b5c: SSTORE 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH1 0x01 00000b61: PUSH1 0x01 00000b63: PUSH1 0xa0 00000b65: SHL 00000b66: SUB 00000b67: DUP4 00000b68: AND 00000b69: PUSH2 0x0bc0 00000b6c: JUMPI 00000b6d: PUSH1 0x40 00000b6f: MLOAD 00000b70: PUSH3 0x461bcd 00000b74: PUSH1 0xe5 00000b76: SHL 00000b77: DUP2 00000b78: MSTORE 00000b79: PUSH1 0x20 00000b7b: PUSH1 0x04 00000b7d: DUP3 00000b7e: ADD 00000b7f: MSTORE 00000b80: PUSH1 0x24 00000b82: DUP1 00000b83: DUP3 00000b84: ADD 00000b85: MSTORE 00000b86: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000ba7: PUSH1 0x44 00000ba9: DUP3 00000baa: ADD 00000bab: MSTORE 00000bac: PUSH4 0x72657373 00000bb1: PUSH1 0xe0 00000bb3: SHL 00000bb4: PUSH1 0x64 00000bb6: DUP3 00000bb7: ADD 00000bb8: MSTORE 00000bb9: PUSH1 0x84 00000bbb: ADD 00000bbc: PUSH2 0x05f1 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH1 0x01 00000bc3: PUSH1 0x01 00000bc5: PUSH1 0xa0 00000bc7: SHL 00000bc8: SUB 00000bc9: DUP3 00000bca: AND 00000bcb: PUSH2 0x0c21 00000bce: JUMPI 00000bcf: PUSH1 0x40 00000bd1: MLOAD 00000bd2: PUSH3 0x461bcd 00000bd6: PUSH1 0xe5 00000bd8: SHL 00000bd9: DUP2 00000bda: MSTORE 00000bdb: PUSH1 0x20 00000bdd: PUSH1 0x04 00000bdf: DUP3 00000be0: ADD 00000be1: MSTORE 00000be2: PUSH1 0x22 00000be4: PUSH1 0x24 00000be6: DUP3 00000be7: ADD 00000be8: MSTORE 00000be9: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000c0a: PUSH1 0x44 00000c0c: DUP3 00000c0d: ADD 00000c0e: MSTORE 00000c0f: PUSH2 0x7373 00000c12: PUSH1 0xf0 00000c14: SHL 00000c15: PUSH1 0x64 00000c17: DUP3 00000c18: ADD 00000c19: MSTORE 00000c1a: PUSH1 0x84 00000c1c: ADD 00000c1d: PUSH2 0x05f1 00000c20: JUMP 00000c21: JUMPDEST 00000c22: PUSH1 0x01 00000c24: PUSH1 0x01 00000c26: PUSH1 0xa0 00000c28: SHL 00000c29: SUB 00000c2a: DUP4 00000c2b: DUP2 00000c2c: AND 00000c2d: PUSH1 0x00 00000c2f: DUP2 00000c30: DUP2 00000c31: MSTORE 00000c32: PUSH1 0x04 00000c34: PUSH1 0x20 00000c36: SWAP1 00000c37: DUP2 00000c38: MSTORE 00000c39: PUSH1 0x40 00000c3b: DUP1 00000c3c: DUP4 00000c3d: KECCAK256 00000c3e: SWAP5 00000c3f: DUP8 00000c40: AND 00000c41: DUP1 00000c42: DUP5 00000c43: MSTORE 00000c44: SWAP5 00000c45: DUP3 00000c46: MSTORE 00000c47: SWAP2 00000c48: DUP3 00000c49: SWAP1 00000c4a: KECCAK256 00000c4b: DUP6 00000c4c: SWAP1 00000c4d: SSTORE 00000c4e: SWAP1 00000c4f: MLOAD 00000c50: DUP5 00000c51: DUP2 00000c52: MSTORE 00000c53: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c74: SWAP2 00000c75: ADD 00000c76: PUSH1 0x40 00000c78: MLOAD 00000c79: DUP1 00000c7a: SWAP2 00000c7b: SUB 00000c7c: SWAP1 00000c7d: LOG3 00000c7e: POP 00000c7f: POP 00000c80: POP 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH1 0x01 00000c85: PUSH1 0x01 00000c87: PUSH1 0xa0 00000c89: SHL 00000c8a: SUB 00000c8b: DUP4 00000c8c: AND 00000c8d: PUSH2 0x0ce6 00000c90: JUMPI 00000c91: PUSH1 0x40 00000c93: MLOAD 00000c94: PUSH3 0x461bcd 00000c98: PUSH1 0xe5 00000c9a: SHL 00000c9b: DUP2 00000c9c: MSTORE 00000c9d: PUSH1 0x20 00000c9f: PUSH1 0x04 00000ca1: DUP3 00000ca2: ADD 00000ca3: MSTORE 00000ca4: PUSH1 0x25 00000ca6: PUSH1 0x24 00000ca8: DUP3 00000ca9: ADD 00000caa: MSTORE 00000cab: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000ccc: PUSH1 0x44 00000cce: DUP3 00000ccf: ADD 00000cd0: MSTORE 00000cd1: PUSH5 0x6472657373 00000cd7: PUSH1 0xd8 00000cd9: SHL 00000cda: PUSH1 0x64 00000cdc: DUP3 00000cdd: ADD 00000cde: MSTORE 00000cdf: PUSH1 0x84 00000ce1: ADD 00000ce2: PUSH2 0x05f1 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH1 0x01 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0xa0 00000ced: SHL 00000cee: SUB 00000cef: DUP3 00000cf0: AND 00000cf1: PUSH2 0x0d48 00000cf4: JUMPI 00000cf5: PUSH1 0x40 00000cf7: MLOAD 00000cf8: PUSH3 0x461bcd 00000cfc: PUSH1 0xe5 00000cfe: SHL 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x20 00000d03: PUSH1 0x04 00000d05: DUP3 00000d06: ADD 00000d07: MSTORE 00000d08: PUSH1 0x23 00000d0a: PUSH1 0x24 00000d0c: DUP3 00000d0d: ADD 00000d0e: MSTORE 00000d0f: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000d30: PUSH1 0x44 00000d32: DUP3 00000d33: ADD 00000d34: MSTORE 00000d35: PUSH3 0x657373 00000d39: PUSH1 0xe8 00000d3b: SHL 00000d3c: PUSH1 0x64 00000d3e: DUP3 00000d3f: ADD 00000d40: MSTORE 00000d41: PUSH1 0x84 00000d43: ADD 00000d44: PUSH2 0x05f1 00000d47: JUMP 00000d48: JUMPDEST 00000d49: PUSH1 0x00 00000d4b: DUP2 00000d4c: GT 00000d4d: PUSH2 0x0daa 00000d50: JUMPI 00000d51: PUSH1 0x40 00000d53: MLOAD 00000d54: PUSH3 0x461bcd 00000d58: PUSH1 0xe5 00000d5a: SHL 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x20 00000d5f: PUSH1 0x04 00000d61: DUP3 00000d62: ADD 00000d63: MSTORE 00000d64: PUSH1 0x29 00000d66: PUSH1 0x24 00000d68: DUP3 00000d69: ADD 00000d6a: MSTORE 00000d6b: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000d8c: PUSH1 0x44 00000d8e: DUP3 00000d8f: ADD 00000d90: MSTORE 00000d91: PUSH9 0x7468616e207a65726f 00000d9b: PUSH1 0xb8 00000d9d: SHL 00000d9e: PUSH1 0x64 00000da0: DUP3 00000da1: ADD 00000da2: MSTORE 00000da3: PUSH1 0x84 00000da5: ADD 00000da6: PUSH2 0x05f1 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH1 0x00 00000dad: SLOAD 00000dae: PUSH1 0x01 00000db0: PUSH1 0x01 00000db2: PUSH1 0xa0 00000db4: SHL 00000db5: SUB 00000db6: DUP5 00000db7: DUP2 00000db8: AND 00000db9: SWAP2 00000dba: AND 00000dbb: EQ 00000dbc: DUP1 00000dbd: ISZERO 00000dbe: SWAP1 00000dbf: PUSH2 0x0dd6 00000dc2: JUMPI 00000dc3: POP 00000dc4: PUSH1 0x00 00000dc6: SLOAD 00000dc7: PUSH1 0x01 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: SHL 00000dce: SUB 00000dcf: DUP4 00000dd0: DUP2 00000dd1: AND 00000dd2: SWAP2 00000dd3: AND 00000dd4: EQ 00000dd5: ISZERO 00000dd6: JUMPDEST 00000dd7: ISZERO 00000dd8: PUSH2 0x10b7 00000ddb: JUMPI 00000ddc: PUSH1 0x15 00000dde: SLOAD 00000ddf: PUSH1 0x01 00000de1: PUSH1 0xa0 00000de3: SHL 00000de4: SWAP1 00000de5: DIV 00000de6: PUSH1 0xff 00000de8: AND 00000de9: PUSH2 0x0e6f 00000dec: JUMPI 00000ded: PUSH1 0x00 00000def: SLOAD 00000df0: PUSH1 0x01 00000df2: PUSH1 0x01 00000df4: PUSH1 0xa0 00000df6: SHL 00000df7: SUB 00000df8: DUP5 00000df9: DUP2 00000dfa: AND 00000dfb: SWAP2 00000dfc: AND 00000dfd: EQ 00000dfe: PUSH2 0x0e6f 00000e01: JUMPI 00000e02: PUSH1 0x40 00000e04: MLOAD 00000e05: PUSH3 0x461bcd 00000e09: PUSH1 0xe5 00000e0b: SHL 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x20 00000e10: PUSH1 0x04 00000e12: DUP3 00000e13: ADD 00000e14: MSTORE 00000e15: PUSH1 0x3f 00000e17: PUSH1 0x24 00000e19: DUP3 00000e1a: ADD 00000e1b: MSTORE 00000e1c: PUSH32 0x544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e6420 00000e3d: PUSH1 0x44 00000e3f: DUP3 00000e40: ADD 00000e41: MSTORE 00000e42: PUSH32 0x746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400 00000e63: PUSH1 0x64 00000e65: DUP3 00000e66: ADD 00000e67: MSTORE 00000e68: PUSH1 0x84 00000e6a: ADD 00000e6b: PUSH2 0x05f1 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: PUSH1 0x16 00000e72: SLOAD 00000e73: DUP2 00000e74: GT 00000e75: ISZERO 00000e76: PUSH2 0x0ec1 00000e79: JUMPI 00000e7a: PUSH1 0x40 00000e7c: MLOAD 00000e7d: PUSH3 0x461bcd 00000e81: PUSH1 0xe5 00000e83: SHL 00000e84: DUP2 00000e85: MSTORE 00000e86: PUSH1 0x20 00000e88: PUSH1 0x04 00000e8a: DUP3 00000e8b: ADD 00000e8c: MSTORE 00000e8d: PUSH1 0x1c 00000e8f: PUSH1 0x24 00000e91: DUP3 00000e92: ADD 00000e93: MSTORE 00000e94: PUSH32 0x544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000 00000eb5: PUSH1 0x44 00000eb7: DUP3 00000eb8: ADD 00000eb9: MSTORE 00000eba: PUSH1 0x64 00000ebc: ADD 00000ebd: PUSH2 0x05f1 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0x01 00000ec6: PUSH1 0xa0 00000ec8: SHL 00000ec9: SUB 00000eca: DUP4 00000ecb: AND 00000ecc: PUSH1 0x00 00000ece: SWAP1 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x10 00000ed3: PUSH1 0x20 00000ed5: MSTORE 00000ed6: PUSH1 0x40 00000ed8: SWAP1 00000ed9: KECCAK256 00000eda: SLOAD 00000edb: PUSH1 0xff 00000edd: AND 00000ede: ISZERO 00000edf: DUP1 00000ee0: ISZERO 00000ee1: PUSH2 0x0f03 00000ee4: JUMPI 00000ee5: POP 00000ee6: PUSH1 0x01 00000ee8: PUSH1 0x01 00000eea: PUSH1 0xa0 00000eec: SHL 00000eed: SUB 00000eee: DUP3 00000eef: AND 00000ef0: PUSH1 0x00 00000ef2: SWAP1 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x10 00000ef7: PUSH1 0x20 00000ef9: MSTORE 00000efa: PUSH1 0x40 00000efc: SWAP1 00000efd: KECCAK256 00000efe: SLOAD 00000eff: PUSH1 0xff 00000f01: AND 00000f02: ISZERO 00000f03: JUMPDEST 00000f04: PUSH2 0x0f5b 00000f07: JUMPI 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: PUSH3 0x461bcd 00000f0f: PUSH1 0xe5 00000f11: SHL 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x20 00000f16: PUSH1 0x04 00000f18: DUP3 00000f19: ADD 00000f1a: MSTORE 00000f1b: PUSH1 0x23 00000f1d: PUSH1 0x24 00000f1f: DUP3 00000f20: ADD 00000f21: MSTORE 00000f22: PUSH32 0x544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c697374 00000f43: PUSH1 0x44 00000f45: DUP3 00000f46: ADD 00000f47: MSTORE 00000f48: PUSH3 0x656421 00000f4c: PUSH1 0xe8 00000f4e: SHL 00000f4f: PUSH1 0x64 00000f51: DUP3 00000f52: ADD 00000f53: MSTORE 00000f54: PUSH1 0x84 00000f56: ADD 00000f57: PUSH2 0x05f1 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: PUSH1 0x15 00000f5e: SLOAD 00000f5f: PUSH1 0x01 00000f61: PUSH1 0x01 00000f63: PUSH1 0xa0 00000f65: SHL 00000f66: SUB 00000f67: DUP4 00000f68: DUP2 00000f69: AND 00000f6a: SWAP2 00000f6b: AND 00000f6c: EQ 00000f6d: PUSH2 0x0fe0 00000f70: JUMPI 00000f71: PUSH1 0x17 00000f73: SLOAD 00000f74: DUP2 00000f75: PUSH2 0x0f7d 00000f78: DUP5 00000f79: PUSH2 0x07c4 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: PUSH2 0x0f87 00000f81: SWAP2 00000f82: SWAP1 00000f83: PUSH2 0x1c6e 00000f86: JUMP 00000f87: JUMPDEST 00000f88: LT 00000f89: PUSH2 0x0fe0 00000f8c: JUMPI 00000f8d: PUSH1 0x40 00000f8f: MLOAD 00000f90: PUSH3 0x461bcd 00000f94: PUSH1 0xe5 00000f96: SHL 00000f97: DUP2 00000f98: MSTORE 00000f99: PUSH1 0x20 00000f9b: PUSH1 0x04 00000f9d: DUP3 00000f9e: ADD 00000f9f: MSTORE 00000fa0: PUSH1 0x23 00000fa2: PUSH1 0x24 00000fa4: DUP3 00000fa5: ADD 00000fa6: MSTORE 00000fa7: PUSH32 0x544f4b454e3a2042616c616e636520657863656564732077616c6c6574207369 00000fc8: PUSH1 0x44 00000fca: DUP3 00000fcb: ADD 00000fcc: MSTORE 00000fcd: PUSH3 0x7a6521 00000fd1: PUSH1 0xe8 00000fd3: SHL 00000fd4: PUSH1 0x64 00000fd6: DUP3 00000fd7: ADD 00000fd8: MSTORE 00000fd9: PUSH1 0x84 00000fdb: ADD 00000fdc: PUSH2 0x05f1 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x00 00000fe3: PUSH2 0x0feb 00000fe6: ADDRESS 00000fe7: PUSH2 0x07c4 00000fea: JUMP 00000feb: JUMPDEST 00000fec: PUSH1 0x18 00000fee: SLOAD 00000fef: PUSH1 0x16 00000ff1: SLOAD 00000ff2: SWAP2 00000ff3: SWAP3 00000ff4: POP 00000ff5: DUP3 00000ff6: LT 00000ff7: ISZERO 00000ff8: SWAP1 00000ff9: DUP3 00000ffa: LT 00000ffb: PUSH2 0x1004 00000ffe: JUMPI 00000fff: PUSH1 0x16 00001001: SLOAD 00001002: SWAP2 00001003: POP 00001004: JUMPDEST 00001005: DUP1 00001006: DUP1 00001007: ISZERO 00001008: PUSH2 0x101b 0000100b: JUMPI 0000100c: POP 0000100d: PUSH1 0x15 0000100f: SLOAD 00001010: PUSH1 0x01 00001012: PUSH1 0xa8 00001014: SHL 00001015: SWAP1 00001016: DIV 00001017: PUSH1 0xff 00001019: AND 0000101a: ISZERO 0000101b: JUMPDEST 0000101c: DUP1 0000101d: ISZERO 0000101e: PUSH2 0x1035 00001021: JUMPI 00001022: POP 00001023: PUSH1 0x15 00001025: SLOAD 00001026: PUSH1 0x01 00001028: PUSH1 0x01 0000102a: PUSH1 0xa0 0000102c: SHL 0000102d: SUB 0000102e: DUP7 0000102f: DUP2 00001030: AND 00001031: SWAP2 00001032: AND 00001033: EQ 00001034: ISZERO 00001035: JUMPDEST 00001036: DUP1 00001037: ISZERO 00001038: PUSH2 0x104a 0000103b: JUMPI 0000103c: POP 0000103d: PUSH1 0x15 0000103f: SLOAD 00001040: PUSH1 0x01 00001042: PUSH1 0xb0 00001044: SHL 00001045: SWAP1 00001046: DIV 00001047: PUSH1 0xff 00001049: AND 0000104a: JUMPDEST 0000104b: DUP1 0000104c: ISZERO 0000104d: PUSH2 0x106f 00001050: JUMPI 00001051: POP 00001052: PUSH1 0x01 00001054: PUSH1 0x01 00001056: PUSH1 0xa0 00001058: SHL 00001059: SUB 0000105a: DUP6 0000105b: AND 0000105c: PUSH1 0x00 0000105e: SWAP1 0000105f: DUP2 00001060: MSTORE 00001061: PUSH1 0x05 00001063: PUSH1 0x20 00001065: MSTORE 00001066: PUSH1 0x40 00001068: SWAP1 00001069: KECCAK256 0000106a: SLOAD 0000106b: PUSH1 0xff 0000106d: AND 0000106e: ISZERO 0000106f: JUMPDEST 00001070: DUP1 00001071: ISZERO 00001072: PUSH2 0x1094 00001075: JUMPI 00001076: POP 00001077: PUSH1 0x01 00001079: PUSH1 0x01 0000107b: PUSH1 0xa0 0000107d: SHL 0000107e: SUB 0000107f: DUP5 00001080: AND 00001081: PUSH1 0x00 00001083: SWAP1 00001084: DUP2 00001085: MSTORE 00001086: PUSH1 0x05 00001088: PUSH1 0x20 0000108a: MSTORE 0000108b: PUSH1 0x40 0000108d: SWAP1 0000108e: KECCAK256 0000108f: SLOAD 00001090: PUSH1 0xff 00001092: AND 00001093: ISZERO 00001094: JUMPDEST 00001095: ISZERO 00001096: PUSH2 0x10b4 00001099: JUMPI 0000109a: PUSH2 0x10a2 0000109d: DUP3 0000109e: PUSH2 0x12b6 000010a1: JUMP 000010a2: JUMPDEST 000010a3: SELFBALANCE 000010a4: DUP1 000010a5: ISZERO 000010a6: PUSH2 0x10b2 000010a9: JUMPI 000010aa: PUSH2 0x10b2 000010ad: SELFBALANCE 000010ae: PUSH2 0x11f8 000010b1: JUMP 000010b2: JUMPDEST 000010b3: POP 000010b4: JUMPDEST 000010b5: POP 000010b6: POP 000010b7: JUMPDEST 000010b8: PUSH1 0x01 000010ba: PUSH1 0x01 000010bc: PUSH1 0xa0 000010be: SHL 000010bf: SUB 000010c0: DUP4 000010c1: AND 000010c2: PUSH1 0x00 000010c4: SWAP1 000010c5: DUP2 000010c6: MSTORE 000010c7: PUSH1 0x05 000010c9: PUSH1 0x20 000010cb: MSTORE 000010cc: PUSH1 0x40 000010ce: SWAP1 000010cf: KECCAK256 000010d0: SLOAD 000010d1: PUSH1 0x01 000010d3: SWAP1 000010d4: PUSH1 0xff 000010d6: AND 000010d7: DUP1 000010d8: PUSH2 0x10f9 000010db: JUMPI 000010dc: POP 000010dd: PUSH1 0x01 000010df: PUSH1 0x01 000010e1: PUSH1 0xa0 000010e3: SHL 000010e4: SUB 000010e5: DUP4 000010e6: AND 000010e7: PUSH1 0x00 000010e9: SWAP1 000010ea: DUP2 000010eb: MSTORE 000010ec: PUSH1 0x05 000010ee: PUSH1 0x20 000010f0: MSTORE 000010f1: PUSH1 0x40 000010f3: SWAP1 000010f4: KECCAK256 000010f5: SLOAD 000010f6: PUSH1 0xff 000010f8: AND 000010f9: JUMPDEST 000010fa: DUP1 000010fb: PUSH2 0x112b 000010fe: JUMPI 000010ff: POP 00001100: PUSH1 0x15 00001102: SLOAD 00001103: PUSH1 0x01 00001105: PUSH1 0x01 00001107: PUSH1 0xa0 00001109: SHL 0000110a: SUB 0000110b: DUP6 0000110c: DUP2 0000110d: AND 0000110e: SWAP2 0000110f: AND 00001110: EQ 00001111: DUP1 00001112: ISZERO 00001113: SWAP1 00001114: PUSH2 0x112b 00001117: JUMPI 00001118: POP 00001119: PUSH1 0x15 0000111b: SLOAD 0000111c: PUSH1 0x01 0000111e: PUSH1 0x01 00001120: PUSH1 0xa0 00001122: SHL 00001123: SUB 00001124: DUP5 00001125: DUP2 00001126: AND 00001127: SWAP2 00001128: AND 00001129: EQ 0000112a: ISZERO 0000112b: JUMPDEST 0000112c: ISZERO 0000112d: PUSH2 0x1138 00001130: JUMPI 00001131: POP 00001132: PUSH1 0x00 00001134: PUSH2 0x11b2 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH1 0x15 0000113b: SLOAD 0000113c: PUSH1 0x01 0000113e: PUSH1 0x01 00001140: PUSH1 0xa0 00001142: SHL 00001143: SUB 00001144: DUP6 00001145: DUP2 00001146: AND 00001147: SWAP2 00001148: AND 00001149: EQ 0000114a: DUP1 0000114b: ISZERO 0000114c: PUSH2 0x1163 0000114f: JUMPI 00001150: POP 00001151: PUSH1 0x14 00001153: SLOAD 00001154: PUSH1 0x01 00001156: PUSH1 0x01 00001158: PUSH1 0xa0 0000115a: SHL 0000115b: SUB 0000115c: DUP5 0000115d: DUP2 0000115e: AND 0000115f: SWAP2 00001160: AND 00001161: EQ 00001162: ISZERO 00001163: JUMPDEST 00001164: ISZERO 00001165: PUSH2 0x1175 00001168: JUMPI 00001169: PUSH1 0x08 0000116b: SLOAD 0000116c: PUSH1 0x0c 0000116e: SSTORE 0000116f: PUSH1 0x09 00001171: SLOAD 00001172: PUSH1 0x0d 00001174: SSTORE 00001175: JUMPDEST 00001176: PUSH1 0x15 00001178: SLOAD 00001179: PUSH1 0x01 0000117b: PUSH1 0x01 0000117d: PUSH1 0xa0 0000117f: SHL 00001180: SUB 00001181: DUP5 00001182: DUP2 00001183: AND 00001184: SWAP2 00001185: AND 00001186: EQ 00001187: DUP1 00001188: ISZERO 00001189: PUSH2 0x11a0 0000118c: JUMPI 0000118d: POP 0000118e: PUSH1 0x14 00001190: SLOAD 00001191: PUSH1 0x01 00001193: PUSH1 0x01 00001195: PUSH1 0xa0 00001197: SHL 00001198: SUB 00001199: DUP6 0000119a: DUP2 0000119b: AND 0000119c: SWAP2 0000119d: AND 0000119e: EQ 0000119f: ISZERO 000011a0: JUMPDEST 000011a1: ISZERO 000011a2: PUSH2 0x11b2 000011a5: JUMPI 000011a6: PUSH1 0x0a 000011a8: SLOAD 000011a9: PUSH1 0x0c 000011ab: SSTORE 000011ac: PUSH1 0x0b 000011ae: SLOAD 000011af: PUSH1 0x0d 000011b1: SSTORE 000011b2: JUMPDEST 000011b3: PUSH2 0x0a3f 000011b6: DUP5 000011b7: DUP5 000011b8: DUP5 000011b9: DUP5 000011ba: PUSH2 0x1430 000011bd: JUMP 000011be: JUMPDEST 000011bf: PUSH1 0x00 000011c1: DUP2 000011c2: DUP5 000011c3: DUP5 000011c4: GT 000011c5: ISZERO 000011c6: PUSH2 0x11e2 000011c9: JUMPI 000011ca: PUSH1 0x40 000011cc: MLOAD 000011cd: PUSH3 0x461bcd 000011d1: PUSH1 0xe5 000011d3: SHL 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x04 000011d8: ADD 000011d9: PUSH2 0x05f1 000011dc: SWAP2 000011dd: SWAP1 000011de: PUSH2 0x19e9 000011e1: JUMP 000011e2: JUMPDEST 000011e3: POP 000011e4: PUSH1 0x00 000011e6: PUSH2 0x11ef 000011e9: DUP5 000011ea: DUP7 000011eb: PUSH2 0x1c81 000011ee: JUMP 000011ef: JUMPDEST 000011f0: SWAP6 000011f1: SWAP5 000011f2: POP 000011f3: POP 000011f4: POP 000011f5: POP 000011f6: POP 000011f7: JUMP 000011f8: JUMPDEST 000011f9: PUSH1 0x13 000011fb: SLOAD 000011fc: PUSH1 0x40 000011fe: MLOAD 000011ff: PUSH1 0x01 00001201: PUSH1 0x01 00001203: PUSH1 0xa0 00001205: SHL 00001206: SUB 00001207: SWAP1 00001208: SWAP2 00001209: AND 0000120a: SWAP1 0000120b: DUP3 0000120c: ISZERO 0000120d: PUSH2 0x08fc 00001210: MUL 00001211: SWAP1 00001212: DUP4 00001213: SWAP1 00001214: PUSH1 0x00 00001216: DUP2 00001217: DUP2 00001218: DUP2 00001219: DUP6 0000121a: DUP9 0000121b: DUP9 0000121c: CALL 0000121d: SWAP4 0000121e: POP 0000121f: POP 00001220: POP 00001221: POP 00001222: ISZERO 00001223: DUP1 00001224: ISZERO 00001225: PUSH2 0x0662 00001228: JUMPI 00001229: RETURNDATASIZE 0000122a: PUSH1 0x00 0000122c: DUP1 0000122d: RETURNDATACOPY 0000122e: RETURNDATASIZE 0000122f: PUSH1 0x00 00001231: REVERT 00001232: JUMPDEST 00001233: PUSH1 0x00 00001235: PUSH1 0x06 00001237: SLOAD 00001238: DUP3 00001239: GT 0000123a: ISZERO 0000123b: PUSH2 0x1299 0000123e: JUMPI 0000123f: PUSH1 0x40 00001241: MLOAD 00001242: PUSH3 0x461bcd 00001246: PUSH1 0xe5 00001248: SHL 00001249: DUP2 0000124a: MSTORE 0000124b: PUSH1 0x20 0000124d: PUSH1 0x04 0000124f: DUP3 00001250: ADD 00001251: MSTORE 00001252: PUSH1 0x2a 00001254: PUSH1 0x24 00001256: DUP3 00001257: ADD 00001258: MSTORE 00001259: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072 0000127a: PUSH1 0x44 0000127c: DUP3 0000127d: ADD 0000127e: MSTORE 0000127f: PUSH10 0x65666c656374696f6e73 0000128a: PUSH1 0xb0 0000128c: SHL 0000128d: PUSH1 0x64 0000128f: DUP3 00001290: ADD 00001291: MSTORE 00001292: PUSH1 0x84 00001294: ADD 00001295: PUSH2 0x05f1 00001298: JUMP 00001299: JUMPDEST 0000129a: PUSH1 0x00 0000129c: PUSH2 0x12a3 0000129f: PUSH2 0x145e 000012a2: JUMP 000012a3: JUMPDEST 000012a4: SWAP1 000012a5: POP 000012a6: PUSH2 0x12af 000012a9: DUP4 000012aa: DUP3 000012ab: PUSH2 0x1481 000012ae: JUMP 000012af: JUMPDEST 000012b0: SWAP4 000012b1: SWAP3 000012b2: POP 000012b3: POP 000012b4: POP 000012b5: JUMP 000012b6: JUMPDEST 000012b7: PUSH1 0x15 000012b9: DUP1 000012ba: SLOAD 000012bb: PUSH1 0xff 000012bd: PUSH1 0xa8 000012bf: SHL 000012c0: NOT 000012c1: AND 000012c2: PUSH1 0x01 000012c4: PUSH1 0xa8 000012c6: SHL 000012c7: OR 000012c8: SWAP1 000012c9: SSTORE 000012ca: PUSH1 0x40 000012cc: DUP1 000012cd: MLOAD 000012ce: PUSH1 0x02 000012d0: DUP1 000012d1: DUP3 000012d2: MSTORE 000012d3: PUSH1 0x60 000012d5: DUP3 000012d6: ADD 000012d7: DUP4 000012d8: MSTORE 000012d9: PUSH1 0x00 000012db: SWAP3 000012dc: PUSH1 0x20 000012de: DUP4 000012df: ADD 000012e0: SWAP1 000012e1: DUP1 000012e2: CALLDATASIZE 000012e3: DUP4 000012e4: CALLDATACOPY 000012e5: ADD 000012e6: SWAP1 000012e7: POP 000012e8: POP 000012e9: SWAP1 000012ea: POP 000012eb: ADDRESS 000012ec: DUP2 000012ed: PUSH1 0x00 000012ef: DUP2 000012f0: MLOAD 000012f1: DUP2 000012f2: LT 000012f3: PUSH2 0x12fe 000012f6: JUMPI 000012f7: PUSH2 0x12fe 000012fa: PUSH2 0x1c29 000012fd: JUMP 000012fe: JUMPDEST 000012ff: PUSH1 0x01 00001301: PUSH1 0x01 00001303: PUSH1 0xa0 00001305: SHL 00001306: SUB 00001307: SWAP3 00001308: DUP4 00001309: AND 0000130a: PUSH1 0x20 0000130c: SWAP2 0000130d: DUP3 0000130e: MUL 0000130f: SWAP3 00001310: SWAP1 00001311: SWAP3 00001312: ADD 00001313: DUP2 00001314: ADD 00001315: SWAP2 00001316: SWAP1 00001317: SWAP2 00001318: MSTORE 00001319: PUSH1 0x14 0000131b: SLOAD 0000131c: PUSH1 0x40 0000131e: DUP1 0000131f: MLOAD 00001320: PUSH4 0x15ab88c9 00001325: PUSH1 0xe3 00001327: SHL 00001328: DUP2 00001329: MSTORE 0000132a: SWAP1 0000132b: MLOAD 0000132c: SWAP2 0000132d: SWAP1 0000132e: SWAP4 0000132f: AND 00001330: SWAP3 00001331: PUSH4 0xad5c4648 00001336: SWAP3 00001337: PUSH1 0x04 00001339: DUP1 0000133a: DUP4 0000133b: ADD 0000133c: SWAP4 0000133d: SWAP2 0000133e: SWAP3 0000133f: DUP3 00001340: SWAP1 00001341: SUB 00001342: ADD 00001343: DUP2 00001344: DUP7 00001345: GAS 00001346: STATICCALL 00001347: ISZERO 00001348: DUP1 00001349: ISZERO 0000134a: PUSH2 0x1357 0000134d: JUMPI 0000134e: RETURNDATASIZE 0000134f: PUSH1 0x00 00001351: DUP1 00001352: RETURNDATACOPY 00001353: RETURNDATASIZE 00001354: PUSH1 0x00 00001356: REVERT 00001357: JUMPDEST 00001358: POP 00001359: POP 0000135a: POP 0000135b: POP 0000135c: PUSH1 0x40 0000135e: MLOAD 0000135f: RETURNDATASIZE 00001360: PUSH1 0x1f 00001362: NOT 00001363: PUSH1 0x1f 00001365: DUP3 00001366: ADD 00001367: AND 00001368: DUP3 00001369: ADD 0000136a: DUP1 0000136b: PUSH1 0x40 0000136d: MSTORE 0000136e: POP 0000136f: DUP2 00001370: ADD 00001371: SWAP1 00001372: PUSH2 0x137b 00001375: SWAP2 00001376: SWAP1 00001377: PUSH2 0x1c94 0000137a: JUMP 0000137b: JUMPDEST 0000137c: DUP2 0000137d: PUSH1 0x01 0000137f: DUP2 00001380: MLOAD 00001381: DUP2 00001382: LT 00001383: PUSH2 0x138e 00001386: JUMPI 00001387: PUSH2 0x138e 0000138a: PUSH2 0x1c29 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH1 0x01 00001391: PUSH1 0x01 00001393: PUSH1 0xa0 00001395: SHL 00001396: SUB 00001397: SWAP3 00001398: DUP4 00001399: AND 0000139a: PUSH1 0x20 0000139c: SWAP2 0000139d: DUP3 0000139e: MUL 0000139f: SWAP3 000013a0: SWAP1 000013a1: SWAP3 000013a2: ADD 000013a3: ADD 000013a4: MSTORE 000013a5: PUSH1 0x14 000013a7: SLOAD 000013a8: PUSH2 0x13b4 000013ab: SWAP2 000013ac: ADDRESS 000013ad: SWAP2 000013ae: AND 000013af: DUP5 000013b0: PUSH2 0x0b5e 000013b3: JUMP 000013b4: JUMPDEST 000013b5: PUSH1 0x14 000013b7: SLOAD 000013b8: PUSH1 0x40 000013ba: MLOAD 000013bb: PUSH4 0x791ac947 000013c0: PUSH1 0xe0 000013c2: SHL 000013c3: DUP2 000013c4: MSTORE 000013c5: PUSH1 0x01 000013c7: PUSH1 0x01 000013c9: PUSH1 0xa0 000013cb: SHL 000013cc: SUB 000013cd: SWAP1 000013ce: SWAP2 000013cf: AND 000013d0: SWAP1 000013d1: PUSH4 0x791ac947 000013d6: SWAP1 000013d7: PUSH2 0x13ed 000013da: SWAP1 000013db: DUP6 000013dc: SWAP1 000013dd: PUSH1 0x00 000013df: SWAP1 000013e0: DUP7 000013e1: SWAP1 000013e2: ADDRESS 000013e3: SWAP1 000013e4: TIMESTAMP 000013e5: SWAP1 000013e6: PUSH1 0x04 000013e8: ADD 000013e9: PUSH2 0x1cb1 000013ec: JUMP 000013ed: JUMPDEST 000013ee: PUSH1 0x00 000013f0: PUSH1 0x40 000013f2: MLOAD 000013f3: DUP1 000013f4: DUP4 000013f5: SUB 000013f6: DUP2 000013f7: PUSH1 0x00 000013f9: DUP8 000013fa: DUP1 000013fb: EXTCODESIZE 000013fc: ISZERO 000013fd: DUP1 000013fe: ISZERO 000013ff: PUSH2 0x1407 00001402: JUMPI 00001403: PUSH1 0x00 00001405: DUP1 00001406: REVERT 00001407: JUMPDEST 00001408: POP 00001409: GAS 0000140a: CALL 0000140b: ISZERO 0000140c: DUP1 0000140d: ISZERO 0000140e: PUSH2 0x141b 00001411: JUMPI 00001412: RETURNDATASIZE 00001413: PUSH1 0x00 00001415: DUP1 00001416: RETURNDATACOPY 00001417: RETURNDATASIZE 00001418: PUSH1 0x00 0000141a: REVERT 0000141b: JUMPDEST 0000141c: POP 0000141d: POP 0000141e: PUSH1 0x15 00001420: DUP1 00001421: SLOAD 00001422: PUSH1 0xff 00001424: PUSH1 0xa8 00001426: SHL 00001427: NOT 00001428: AND 00001429: SWAP1 0000142a: SSTORE 0000142b: POP 0000142c: POP 0000142d: POP 0000142e: POP 0000142f: JUMP 00001430: JUMPDEST 00001431: DUP1 00001432: PUSH2 0x143d 00001435: JUMPI 00001436: PUSH2 0x143d 00001439: PUSH2 0x14c3 0000143c: JUMP 0000143d: JUMPDEST 0000143e: PUSH2 0x1448 00001441: DUP5 00001442: DUP5 00001443: DUP5 00001444: PUSH2 0x14f1 00001447: JUMP 00001448: JUMPDEST 00001449: DUP1 0000144a: PUSH2 0x0a3f 0000144d: JUMPI 0000144e: PUSH2 0x0a3f 00001451: PUSH1 0x0e 00001453: SLOAD 00001454: PUSH1 0x0c 00001456: SSTORE 00001457: PUSH1 0x0f 00001459: SLOAD 0000145a: PUSH1 0x0d 0000145c: SSTORE 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: DUP1 00001462: PUSH1 0x00 00001464: PUSH2 0x146b 00001467: PUSH2 0x15e8 0000146a: JUMP 0000146b: JUMPDEST 0000146c: SWAP1 0000146d: SWAP3 0000146e: POP 0000146f: SWAP1 00001470: POP 00001471: PUSH2 0x147a 00001474: DUP3 00001475: DUP3 00001476: PUSH2 0x1481 00001479: JUMP 0000147a: JUMPDEST 0000147b: SWAP3 0000147c: POP 0000147d: POP 0000147e: POP 0000147f: SWAP1 00001480: JUMP 00001481: JUMPDEST 00001482: PUSH1 0x00 00001484: PUSH2 0x12af 00001487: DUP4 00001488: DUP4 00001489: PUSH1 0x40 0000148b: MLOAD 0000148c: DUP1 0000148d: PUSH1 0x40 0000148f: ADD 00001490: PUSH1 0x40 00001492: MSTORE 00001493: DUP1 00001494: PUSH1 0x1a 00001496: DUP2 00001497: MSTORE 00001498: PUSH1 0x20 0000149a: ADD 0000149b: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000014bc: DUP2 000014bd: MSTORE 000014be: POP 000014bf: PUSH2 0x1628 000014c2: JUMP 000014c3: JUMPDEST 000014c4: PUSH1 0x0c 000014c6: SLOAD 000014c7: ISZERO 000014c8: DUP1 000014c9: ISZERO 000014ca: PUSH2 0x14d3 000014cd: JUMPI 000014ce: POP 000014cf: PUSH1 0x0d 000014d1: SLOAD 000014d2: ISZERO 000014d3: JUMPDEST 000014d4: ISZERO 000014d5: PUSH2 0x14da 000014d8: JUMPI 000014d9: JUMP 000014da: JUMPDEST 000014db: PUSH1 0x0c 000014dd: DUP1 000014de: SLOAD 000014df: PUSH1 0x0e 000014e1: SSTORE 000014e2: PUSH1 0x0d 000014e4: DUP1 000014e5: SLOAD 000014e6: PUSH1 0x0f 000014e8: SSTORE 000014e9: PUSH1 0x00 000014eb: SWAP2 000014ec: DUP3 000014ed: SWAP1 000014ee: SSTORE 000014ef: SSTORE 000014f0: JUMP 000014f1: JUMPDEST 000014f2: PUSH1 0x00 000014f4: DUP1 000014f5: PUSH1 0x00 000014f7: DUP1 000014f8: PUSH1 0x00 000014fa: DUP1 000014fb: PUSH2 0x1503 000014fe: DUP8 000014ff: PUSH2 0x1656 00001502: JUMP 00001503: JUMPDEST 00001504: PUSH1 0x01 00001506: PUSH1 0x01 00001508: PUSH1 0xa0 0000150a: SHL 0000150b: SUB 0000150c: DUP16 0000150d: AND 0000150e: PUSH1 0x00 00001510: SWAP1 00001511: DUP2 00001512: MSTORE 00001513: PUSH1 0x02 00001515: PUSH1 0x20 00001517: MSTORE 00001518: PUSH1 0x40 0000151a: SWAP1 0000151b: KECCAK256 0000151c: SLOAD 0000151d: SWAP6 0000151e: SWAP12 0000151f: POP 00001520: SWAP4 00001521: SWAP10 00001522: POP 00001523: SWAP2 00001524: SWAP8 00001525: POP 00001526: SWAP6 00001527: POP 00001528: SWAP4 00001529: POP 0000152a: SWAP2 0000152b: POP 0000152c: PUSH2 0x1535 0000152f: SWAP1 00001530: DUP8 00001531: PUSH2 0x16b3 00001534: JUMP 00001535: JUMPDEST 00001536: PUSH1 0x01 00001538: PUSH1 0x01 0000153a: PUSH1 0xa0 0000153c: SHL 0000153d: SUB 0000153e: DUP1 0000153f: DUP12 00001540: AND 00001541: PUSH1 0x00 00001543: SWAP1 00001544: DUP2 00001545: MSTORE 00001546: PUSH1 0x02 00001548: PUSH1 0x20 0000154a: MSTORE 0000154b: PUSH1 0x40 0000154d: DUP1 0000154e: DUP3 0000154f: KECCAK256 00001550: SWAP4 00001551: SWAP1 00001552: SWAP4 00001553: SSTORE 00001554: SWAP1 00001555: DUP11 00001556: AND 00001557: DUP2 00001558: MSTORE 00001559: KECCAK256 0000155a: SLOAD 0000155b: PUSH2 0x1564 0000155e: SWAP1 0000155f: DUP7 00001560: PUSH2 0x16f5 00001563: JUMP 00001564: JUMPDEST 00001565: PUSH1 0x01 00001567: PUSH1 0x01 00001569: PUSH1 0xa0 0000156b: SHL 0000156c: SUB 0000156d: DUP10 0000156e: AND 0000156f: PUSH1 0x00 00001571: SWAP1 00001572: DUP2 00001573: MSTORE 00001574: PUSH1 0x02 00001576: PUSH1 0x20 00001578: MSTORE 00001579: PUSH1 0x40 0000157b: SWAP1 0000157c: KECCAK256 0000157d: SSTORE 0000157e: PUSH2 0x1586 00001581: DUP2 00001582: PUSH2 0x1754 00001585: JUMP 00001586: JUMPDEST 00001587: PUSH2 0x1590 0000158a: DUP5 0000158b: DUP4 0000158c: PUSH2 0x179e 0000158f: JUMP 00001590: JUMPDEST 00001591: DUP8 00001592: PUSH1 0x01 00001594: PUSH1 0x01 00001596: PUSH1 0xa0 00001598: SHL 00001599: SUB 0000159a: AND 0000159b: DUP10 0000159c: PUSH1 0x01 0000159e: PUSH1 0x01 000015a0: PUSH1 0xa0 000015a2: SHL 000015a3: SUB 000015a4: AND 000015a5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000015c6: DUP6 000015c7: PUSH1 0x40 000015c9: MLOAD 000015ca: PUSH2 0x15d5 000015cd: SWAP2 000015ce: DUP2 000015cf: MSTORE 000015d0: PUSH1 0x20 000015d2: ADD 000015d3: SWAP1 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x40 000015d8: MLOAD 000015d9: DUP1 000015da: SWAP2 000015db: SUB 000015dc: SWAP1 000015dd: LOG3 000015de: POP 000015df: POP 000015e0: POP 000015e1: POP 000015e2: POP 000015e3: POP 000015e4: POP 000015e5: POP 000015e6: POP 000015e7: JUMP 000015e8: JUMPDEST 000015e9: PUSH1 0x06 000015eb: SLOAD 000015ec: PUSH1 0x00 000015ee: SWAP1 000015ef: DUP2 000015f0: SWAP1 000015f1: PUSH8 0x0de0b6b3a7640000 000015fa: PUSH2 0x1603 000015fd: DUP3 000015fe: DUP3 000015ff: PUSH2 0x1481 00001602: JUMP 00001603: JUMPDEST 00001604: DUP3 00001605: LT 00001606: ISZERO 00001607: PUSH2 0x161f 0000160a: JUMPI 0000160b: POP 0000160c: POP 0000160d: PUSH1 0x06 0000160f: SLOAD 00001610: SWAP3 00001611: PUSH8 0x0de0b6b3a7640000 0000161a: SWAP3 0000161b: POP 0000161c: SWAP1 0000161d: POP 0000161e: JUMP 0000161f: JUMPDEST 00001620: SWAP1 00001621: SWAP4 00001622: SWAP1 00001623: SWAP3 00001624: POP 00001625: SWAP1 00001626: POP 00001627: JUMP 00001628: JUMPDEST 00001629: PUSH1 0x00 0000162b: DUP2 0000162c: DUP4 0000162d: PUSH2 0x1649 00001630: JUMPI 00001631: PUSH1 0x40 00001633: MLOAD 00001634: PUSH3 0x461bcd 00001638: PUSH1 0xe5 0000163a: SHL 0000163b: DUP2 0000163c: MSTORE 0000163d: PUSH1 0x04 0000163f: ADD 00001640: PUSH2 0x05f1 00001643: SWAP2 00001644: SWAP1 00001645: PUSH2 0x19e9 00001648: JUMP 00001649: JUMPDEST 0000164a: POP 0000164b: PUSH1 0x00 0000164d: PUSH2 0x11ef 00001650: DUP5 00001651: DUP7 00001652: PUSH2 0x1d22 00001655: JUMP 00001656: JUMPDEST 00001657: PUSH1 0x00 00001659: DUP1 0000165a: PUSH1 0x00 0000165c: DUP1 0000165d: PUSH1 0x00 0000165f: DUP1 00001660: PUSH1 0x00 00001662: DUP1 00001663: PUSH1 0x00 00001665: PUSH2 0x1673 00001668: DUP11 00001669: PUSH1 0x0c 0000166b: SLOAD 0000166c: PUSH1 0x0d 0000166e: SLOAD 0000166f: PUSH2 0x17c2 00001672: JUMP 00001673: JUMPDEST 00001674: SWAP3 00001675: POP 00001676: SWAP3 00001677: POP 00001678: SWAP3 00001679: POP 0000167a: PUSH1 0x00 0000167c: PUSH2 0x1683 0000167f: PUSH2 0x145e 00001682: JUMP 00001683: JUMPDEST 00001684: SWAP1 00001685: POP 00001686: PUSH1 0x00 00001688: DUP1 00001689: PUSH1 0x00 0000168b: PUSH2 0x1696 0000168e: DUP15 0000168f: DUP8 00001690: DUP8 00001691: DUP8 00001692: PUSH2 0x1817 00001695: JUMP 00001696: JUMPDEST 00001697: SWAP2 00001698: SWAP15 00001699: POP 0000169a: SWAP13 0000169b: POP 0000169c: SWAP11 0000169d: POP 0000169e: SWAP6 0000169f: SWAP9 000016a0: POP 000016a1: SWAP4 000016a2: SWAP7 000016a3: POP 000016a4: SWAP2 000016a5: SWAP5 000016a6: POP 000016a7: POP 000016a8: POP 000016a9: POP 000016aa: POP 000016ab: SWAP2 000016ac: SWAP4 000016ad: SWAP6 000016ae: POP 000016af: SWAP2 000016b0: SWAP4 000016b1: SWAP6 000016b2: JUMP 000016b3: JUMPDEST 000016b4: PUSH1 0x00 000016b6: PUSH2 0x12af 000016b9: DUP4 000016ba: DUP4 000016bb: PUSH1 0x40 000016bd: MLOAD 000016be: DUP1 000016bf: PUSH1 0x40 000016c1: ADD 000016c2: PUSH1 0x40 000016c4: MSTORE 000016c5: DUP1 000016c6: PUSH1 0x1e 000016c8: DUP2 000016c9: MSTORE 000016ca: PUSH1 0x20 000016cc: ADD 000016cd: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000016ee: DUP2 000016ef: MSTORE 000016f0: POP 000016f1: PUSH2 0x11be 000016f4: JUMP 000016f5: JUMPDEST 000016f6: PUSH1 0x00 000016f8: DUP1 000016f9: PUSH2 0x1702 000016fc: DUP4 000016fd: DUP6 000016fe: PUSH2 0x1c6e 00001701: JUMP 00001702: JUMPDEST 00001703: SWAP1 00001704: POP 00001705: DUP4 00001706: DUP2 00001707: LT 00001708: ISZERO 00001709: PUSH2 0x12af 0000170c: JUMPI 0000170d: PUSH1 0x40 0000170f: MLOAD 00001710: PUSH3 0x461bcd 00001714: PUSH1 0xe5 00001716: SHL 00001717: DUP2 00001718: MSTORE 00001719: PUSH1 0x20 0000171b: PUSH1 0x04 0000171d: DUP3 0000171e: ADD 0000171f: MSTORE 00001720: PUSH1 0x1b 00001722: PUSH1 0x24 00001724: DUP3 00001725: ADD 00001726: MSTORE 00001727: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001748: PUSH1 0x44 0000174a: DUP3 0000174b: ADD 0000174c: MSTORE 0000174d: PUSH1 0x64 0000174f: ADD 00001750: PUSH2 0x05f1 00001753: JUMP 00001754: JUMPDEST 00001755: PUSH1 0x00 00001757: PUSH2 0x175e 0000175a: PUSH2 0x145e 0000175d: JUMP 0000175e: JUMPDEST 0000175f: SWAP1 00001760: POP 00001761: PUSH1 0x00 00001763: PUSH2 0x176c 00001766: DUP4 00001767: DUP4 00001768: PUSH2 0x1867 0000176b: JUMP 0000176c: JUMPDEST 0000176d: ADDRESS 0000176e: PUSH1 0x00 00001770: SWAP1 00001771: DUP2 00001772: MSTORE 00001773: PUSH1 0x02 00001775: PUSH1 0x20 00001777: MSTORE 00001778: PUSH1 0x40 0000177a: SWAP1 0000177b: KECCAK256 0000177c: SLOAD 0000177d: SWAP1 0000177e: SWAP2 0000177f: POP 00001780: PUSH2 0x1789 00001783: SWAP1 00001784: DUP3 00001785: PUSH2 0x16f5 00001788: JUMP 00001789: JUMPDEST 0000178a: ADDRESS 0000178b: PUSH1 0x00 0000178d: SWAP1 0000178e: DUP2 0000178f: MSTORE 00001790: PUSH1 0x02 00001792: PUSH1 0x20 00001794: MSTORE 00001795: PUSH1 0x40 00001797: SWAP1 00001798: KECCAK256 00001799: SSTORE 0000179a: POP 0000179b: POP 0000179c: POP 0000179d: JUMP 0000179e: JUMPDEST 0000179f: PUSH1 0x06 000017a1: SLOAD 000017a2: PUSH2 0x17ab 000017a5: SWAP1 000017a6: DUP4 000017a7: PUSH2 0x16b3 000017aa: JUMP 000017ab: JUMPDEST 000017ac: PUSH1 0x06 000017ae: SSTORE 000017af: PUSH1 0x07 000017b1: SLOAD 000017b2: PUSH2 0x17bb 000017b5: SWAP1 000017b6: DUP3 000017b7: PUSH2 0x16f5 000017ba: JUMP 000017bb: JUMPDEST 000017bc: PUSH1 0x07 000017be: SSTORE 000017bf: POP 000017c0: POP 000017c1: JUMP 000017c2: JUMPDEST 000017c3: PUSH1 0x00 000017c5: DUP1 000017c6: DUP1 000017c7: DUP1 000017c8: PUSH2 0x17dc 000017cb: PUSH1 0x64 000017cd: PUSH2 0x17d6 000017d0: DUP10 000017d1: DUP10 000017d2: PUSH2 0x1867 000017d5: JUMP 000017d6: JUMPDEST 000017d7: SWAP1 000017d8: PUSH2 0x1481 000017db: JUMP 000017dc: JUMPDEST 000017dd: SWAP1 000017de: POP 000017df: PUSH1 0x00 000017e1: PUSH2 0x17ef 000017e4: PUSH1 0x64 000017e6: PUSH2 0x17d6 000017e9: DUP11 000017ea: DUP10 000017eb: PUSH2 0x1867 000017ee: JUMP 000017ef: JUMPDEST 000017f0: SWAP1 000017f1: POP 000017f2: PUSH1 0x00 000017f4: PUSH2 0x1807 000017f7: DUP3 000017f8: PUSH2 0x1801 000017fb: DUP12 000017fc: DUP7 000017fd: PUSH2 0x16b3 00001800: JUMP 00001801: JUMPDEST 00001802: SWAP1 00001803: PUSH2 0x16b3 00001806: JUMP 00001807: JUMPDEST 00001808: SWAP10 00001809: SWAP3 0000180a: SWAP9 0000180b: POP 0000180c: SWAP1 0000180d: SWAP7 0000180e: POP 0000180f: SWAP1 00001810: SWAP5 00001811: POP 00001812: POP 00001813: POP 00001814: POP 00001815: POP 00001816: JUMP 00001817: JUMPDEST 00001818: PUSH1 0x00 0000181a: DUP1 0000181b: DUP1 0000181c: DUP1 0000181d: PUSH2 0x1826 00001820: DUP9 00001821: DUP7 00001822: PUSH2 0x1867 00001825: JUMP 00001826: JUMPDEST 00001827: SWAP1 00001828: POP 00001829: PUSH1 0x00 0000182b: PUSH2 0x1834 0000182e: DUP9 0000182f: DUP8 00001830: PUSH2 0x1867 00001833: JUMP 00001834: JUMPDEST 00001835: SWAP1 00001836: POP 00001837: PUSH1 0x00 00001839: PUSH2 0x1842 0000183c: DUP9 0000183d: DUP9 0000183e: PUSH2 0x1867 00001841: JUMP 00001842: JUMPDEST 00001843: SWAP1 00001844: POP 00001845: PUSH1 0x00 00001847: PUSH2 0x1854 0000184a: DUP3 0000184b: PUSH2 0x1801 0000184e: DUP7 0000184f: DUP7 00001850: PUSH2 0x16b3 00001853: JUMP 00001854: JUMPDEST 00001855: SWAP4 00001856: SWAP12 00001857: SWAP4 00001858: SWAP11 00001859: POP 0000185a: SWAP2 0000185b: SWAP9 0000185c: POP 0000185d: SWAP2 0000185e: SWAP7 0000185f: POP 00001860: POP 00001861: POP 00001862: POP 00001863: POP 00001864: POP 00001865: POP 00001866: JUMP 00001867: JUMPDEST 00001868: PUSH1 0x00 0000186a: DUP3 0000186b: PUSH1 0x00 0000186d: SUB 0000186e: PUSH2 0x1879 00001871: JUMPI 00001872: POP 00001873: PUSH1 0x00 00001875: PUSH2 0x0677 00001878: JUMP 00001879: JUMPDEST 0000187a: PUSH1 0x00 0000187c: PUSH2 0x1885 0000187f: DUP4 00001880: DUP6 00001881: PUSH2 0x1d44 00001884: JUMP 00001885: JUMPDEST 00001886: SWAP1 00001887: POP 00001888: DUP3 00001889: PUSH2 0x1892 0000188c: DUP6 0000188d: DUP4 0000188e: PUSH2 0x1d22 00001891: JUMP 00001892: JUMPDEST 00001893: EQ 00001894: PUSH2 0x12af 00001897: JUMPI 00001898: PUSH1 0x40 0000189a: MLOAD 0000189b: PUSH3 0x461bcd 0000189f: PUSH1 0xe5 000018a1: SHL 000018a2: DUP2 000018a3: MSTORE 000018a4: PUSH1 0x20 000018a6: PUSH1 0x04 000018a8: DUP3 000018a9: ADD 000018aa: MSTORE 000018ab: PUSH1 0x21 000018ad: PUSH1 0x24 000018af: DUP3 000018b0: ADD 000018b1: MSTORE 000018b2: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 000018d3: PUSH1 0x44 000018d5: DUP3 000018d6: ADD 000018d7: MSTORE 000018d8: PUSH1 0x77 000018da: PUSH1 0xf8 000018dc: SHL 000018dd: PUSH1 0x64 000018df: DUP3 000018e0: ADD 000018e1: MSTORE 000018e2: PUSH1 0x84 000018e4: ADD 000018e5: PUSH2 0x05f1 000018e8: JUMP 000018e9: JUMPDEST 000018ea: PUSH4 0x4e487b71 000018ef: PUSH1 0xe0 000018f1: SHL 000018f2: PUSH1 0x00 000018f4: MSTORE 000018f5: PUSH1 0x41 000018f7: PUSH1 0x04 000018f9: MSTORE 000018fa: PUSH1 0x24 000018fc: PUSH1 0x00 000018fe: REVERT 000018ff: JUMPDEST 00001900: PUSH1 0x01 00001902: PUSH1 0x01 00001904: PUSH1 0xa0 00001906: SHL 00001907: SUB 00001908: DUP2 00001909: AND 0000190a: DUP2 0000190b: EQ 0000190c: PUSH2 0x07c1 0000190f: JUMPI 00001910: PUSH1 0x00 00001912: DUP1 00001913: REVERT 00001914: JUMPDEST 00001915: DUP1 00001916: CALLDATALOAD 00001917: PUSH2 0x191f 0000191a: DUP2 0000191b: PUSH2 0x18ff 0000191e: JUMP 0000191f: JUMPDEST 00001920: SWAP2 00001921: SWAP1 00001922: POP 00001923: JUMP 00001924: JUMPDEST 00001925: PUSH1 0x00 00001927: PUSH1 0x20 00001929: DUP1 0000192a: DUP4 0000192b: DUP6 0000192c: SUB 0000192d: SLT 0000192e: ISZERO 0000192f: PUSH2 0x1937 00001932: JUMPI 00001933: PUSH1 0x00 00001935: DUP1 00001936: REVERT 00001937: JUMPDEST 00001938: DUP3 00001939: CALLDATALOAD 0000193a: PUSH8 0xffffffffffffffff 00001943: DUP1 00001944: DUP3 00001945: GT 00001946: ISZERO 00001947: PUSH2 0x194f 0000194a: JUMPI 0000194b: PUSH1 0x00 0000194d: DUP1 0000194e: REVERT 0000194f: JUMPDEST 00001950: DUP2 00001951: DUP6 00001952: ADD 00001953: SWAP2 00001954: POP 00001955: DUP6 00001956: PUSH1 0x1f 00001958: DUP4 00001959: ADD 0000195a: SLT 0000195b: PUSH2 0x1963 0000195e: JUMPI 0000195f: PUSH1 0x00 00001961: DUP1 00001962: REVERT 00001963: JUMPDEST 00001964: DUP2 00001965: CALLDATALOAD 00001966: DUP2 00001967: DUP2 00001968: GT 00001969: ISZERO 0000196a: PUSH2 0x1975 0000196d: JUMPI 0000196e: PUSH2 0x1975 00001971: PUSH2 0x18e9 00001974: JUMP 00001975: JUMPDEST 00001976: DUP1 00001977: PUSH1 0x05 00001979: SHL 0000197a: PUSH1 0x40 0000197c: MLOAD 0000197d: PUSH1 0x1f 0000197f: NOT 00001980: PUSH1 0x3f 00001982: DUP4 00001983: ADD 00001984: AND 00001985: DUP2 00001986: ADD 00001987: DUP2 00001988: DUP2 00001989: LT 0000198a: DUP6 0000198b: DUP3 0000198c: GT 0000198d: OR 0000198e: ISZERO 0000198f: PUSH2 0x199a 00001992: JUMPI 00001993: PUSH2 0x199a 00001996: PUSH2 0x18e9 00001999: JUMP 0000199a: JUMPDEST 0000199b: PUSH1 0x40 0000199d: MSTORE 0000199e: SWAP2 0000199f: DUP3 000019a0: MSTORE 000019a1: DUP5 000019a2: DUP3 000019a3: ADD 000019a4: SWAP3 000019a5: POP 000019a6: DUP4 000019a7: DUP2 000019a8: ADD 000019a9: DUP6 000019aa: ADD 000019ab: SWAP2 000019ac: DUP9 000019ad: DUP4 000019ae: GT 000019af: ISZERO 000019b0: PUSH2 0x19b8 000019b3: JUMPI 000019b4: PUSH1 0x00 000019b6: DUP1 000019b7: REVERT 000019b8: JUMPDEST 000019b9: SWAP4 000019ba: DUP6 000019bb: ADD 000019bc: SWAP4 000019bd: JUMPDEST 000019be: DUP3 000019bf: DUP6 000019c0: LT 000019c1: ISZERO 000019c2: PUSH2 0x19dd 000019c5: JUMPI 000019c6: PUSH2 0x19ce 000019c9: DUP6 000019ca: PUSH2 0x1914 000019cd: JUMP 000019ce: JUMPDEST 000019cf: DUP5 000019d0: MSTORE 000019d1: SWAP4 000019d2: DUP6 000019d3: ADD 000019d4: SWAP4 000019d5: SWAP3 000019d6: DUP6 000019d7: ADD 000019d8: SWAP3 000019d9: PUSH2 0x19bd 000019dc: JUMP 000019dd: JUMPDEST 000019de: SWAP9 000019df: SWAP8 000019e0: POP 000019e1: POP 000019e2: POP 000019e3: POP 000019e4: POP 000019e5: POP 000019e6: POP 000019e7: POP 000019e8: JUMP 000019e9: JUMPDEST 000019ea: PUSH1 0x00 000019ec: PUSH1 0x20 000019ee: DUP1 000019ef: DUP4 000019f0: MSTORE 000019f1: DUP4 000019f2: MLOAD 000019f3: DUP1 000019f4: DUP3 000019f5: DUP6 000019f6: ADD 000019f7: MSTORE 000019f8: PUSH1 0x00 000019fa: JUMPDEST 000019fb: DUP2 000019fc: DUP2 000019fd: LT 000019fe: ISZERO 000019ff: PUSH2 0x1a16 00001a02: JUMPI 00001a03: DUP6 00001a04: DUP2 00001a05: ADD 00001a06: DUP4 00001a07: ADD 00001a08: MLOAD 00001a09: DUP6 00001a0a: DUP3 00001a0b: ADD 00001a0c: PUSH1 0x40 00001a0e: ADD 00001a0f: MSTORE 00001a10: DUP3 00001a11: ADD 00001a12: PUSH2 0x19fa 00001a15: JUMP 00001a16: JUMPDEST 00001a17: POP 00001a18: PUSH1 0x00 00001a1a: PUSH1 0x40 00001a1c: DUP3 00001a1d: DUP7 00001a1e: ADD 00001a1f: ADD 00001a20: MSTORE 00001a21: PUSH1 0x40 00001a23: PUSH1 0x1f 00001a25: NOT 00001a26: PUSH1 0x1f 00001a28: DUP4 00001a29: ADD 00001a2a: AND 00001a2b: DUP6 00001a2c: ADD 00001a2d: ADD 00001a2e: SWAP3 00001a2f: POP 00001a30: POP 00001a31: POP 00001a32: SWAP3 00001a33: SWAP2 00001a34: POP 00001a35: POP 00001a36: JUMP 00001a37: JUMPDEST 00001a38: PUSH1 0x00 00001a3a: DUP1 00001a3b: PUSH1 0x40 00001a3d: DUP4 00001a3e: DUP6 00001a3f: SUB 00001a40: SLT 00001a41: ISZERO 00001a42: PUSH2 0x1a4a 00001a45: JUMPI 00001a46: PUSH1 0x00 00001a48: DUP1 00001a49: REVERT 00001a4a: JUMPDEST 00001a4b: DUP3 00001a4c: CALLDATALOAD 00001a4d: PUSH2 0x1a55 00001a50: DUP2 00001a51: PUSH2 0x18ff 00001a54: JUMP 00001a55: JUMPDEST 00001a56: SWAP5 00001a57: PUSH1 0x20 00001a59: SWAP4 00001a5a: SWAP1 00001a5b: SWAP4 00001a5c: ADD 00001a5d: CALLDATALOAD 00001a5e: SWAP4 00001a5f: POP 00001a60: POP 00001a61: POP 00001a62: JUMP 00001a63: JUMPDEST 00001a64: PUSH1 0x00 00001a66: DUP1 00001a67: PUSH1 0x00 00001a69: PUSH1 0x60 00001a6b: DUP5 00001a6c: DUP7 00001a6d: SUB 00001a6e: SLT 00001a6f: ISZERO 00001a70: PUSH2 0x1a78 00001a73: JUMPI 00001a74: PUSH1 0x00 00001a76: DUP1 00001a77: REVERT 00001a78: JUMPDEST 00001a79: DUP4 00001a7a: CALLDATALOAD 00001a7b: PUSH2 0x1a83 00001a7e: DUP2 00001a7f: PUSH2 0x18ff 00001a82: JUMP 00001a83: JUMPDEST 00001a84: SWAP3 00001a85: POP 00001a86: PUSH1 0x20 00001a88: DUP5 00001a89: ADD 00001a8a: CALLDATALOAD 00001a8b: PUSH2 0x1a93 00001a8e: DUP2 00001a8f: PUSH2 0x18ff 00001a92: JUMP 00001a93: JUMPDEST 00001a94: SWAP3 00001a95: SWAP6 00001a96: SWAP3 00001a97: SWAP5 00001a98: POP 00001a99: POP 00001a9a: POP 00001a9b: PUSH1 0x40 00001a9d: SWAP2 00001a9e: SWAP1 00001a9f: SWAP2 00001aa0: ADD 00001aa1: CALLDATALOAD 00001aa2: SWAP1 00001aa3: JUMP 00001aa4: JUMPDEST 00001aa5: PUSH1 0x00 00001aa7: PUSH1 0x20 00001aa9: DUP3 00001aaa: DUP5 00001aab: SUB 00001aac: SLT 00001aad: ISZERO 00001aae: PUSH2 0x1ab6 00001ab1: JUMPI 00001ab2: PUSH1 0x00 00001ab4: DUP1 00001ab5: REVERT 00001ab6: JUMPDEST 00001ab7: DUP2 00001ab8: CALLDATALOAD 00001ab9: PUSH2 0x12af 00001abc: DUP2 00001abd: PUSH2 0x18ff 00001ac0: JUMP 00001ac1: JUMPDEST 00001ac2: DUP1 00001ac3: CALLDATALOAD 00001ac4: DUP1 00001ac5: ISZERO 00001ac6: ISZERO 00001ac7: DUP2 00001ac8: EQ 00001ac9: PUSH2 0x191f 00001acc: JUMPI 00001acd: PUSH1 0x00 00001acf: DUP1 00001ad0: REVERT 00001ad1: JUMPDEST 00001ad2: PUSH1 0x00 00001ad4: PUSH1 0x20 00001ad6: DUP3 00001ad7: DUP5 00001ad8: SUB 00001ad9: SLT 00001ada: ISZERO 00001adb: PUSH2 0x1ae3 00001ade: JUMPI 00001adf: PUSH1 0x00 00001ae1: DUP1 00001ae2: REVERT 00001ae3: JUMPDEST 00001ae4: PUSH2 0x12af 00001ae7: DUP3 00001ae8: PUSH2 0x1ac1 00001aeb: JUMP 00001aec: JUMPDEST 00001aed: PUSH1 0x00 00001aef: PUSH1 0x20 00001af1: DUP3 00001af2: DUP5 00001af3: SUB 00001af4: SLT 00001af5: ISZERO 00001af6: PUSH2 0x1afe 00001af9: JUMPI 00001afa: PUSH1 0x00 00001afc: DUP1 00001afd: REVERT 00001afe: JUMPDEST 00001aff: POP 00001b00: CALLDATALOAD 00001b01: SWAP2 00001b02: SWAP1 00001b03: POP 00001b04: JUMP 00001b05: JUMPDEST 00001b06: PUSH1 0x00 00001b08: DUP1 00001b09: PUSH1 0x00 00001b0b: DUP1 00001b0c: PUSH1 0x80 00001b0e: DUP6 00001b0f: DUP8 00001b10: SUB 00001b11: SLT 00001b12: ISZERO 00001b13: PUSH2 0x1b1b 00001b16: JUMPI 00001b17: PUSH1 0x00 00001b19: DUP1 00001b1a: REVERT 00001b1b: JUMPDEST 00001b1c: POP 00001b1d: POP 00001b1e: DUP3 00001b1f: CALLDATALOAD 00001b20: SWAP5 00001b21: PUSH1 0x20 00001b23: DUP5 00001b24: ADD 00001b25: CALLDATALOAD 00001b26: SWAP5 00001b27: POP 00001b28: PUSH1 0x40 00001b2a: DUP5 00001b2b: ADD 00001b2c: CALLDATALOAD 00001b2d: SWAP4 00001b2e: PUSH1 0x60 00001b30: ADD 00001b31: CALLDATALOAD 00001b32: SWAP3 00001b33: POP 00001b34: SWAP1 00001b35: POP 00001b36: JUMP 00001b37: JUMPDEST 00001b38: PUSH1 0x00 00001b3a: DUP1 00001b3b: PUSH1 0x00 00001b3d: PUSH1 0x40 00001b3f: DUP5 00001b40: DUP7 00001b41: SUB 00001b42: SLT 00001b43: ISZERO 00001b44: PUSH2 0x1b4c 00001b47: JUMPI 00001b48: PUSH1 0x00 00001b4a: DUP1 00001b4b: REVERT 00001b4c: JUMPDEST 00001b4d: DUP4 00001b4e: CALLDATALOAD 00001b4f: PUSH8 0xffffffffffffffff 00001b58: DUP1 00001b59: DUP3 00001b5a: GT 00001b5b: ISZERO 00001b5c: PUSH2 0x1b64 00001b5f: JUMPI 00001b60: PUSH1 0x00 00001b62: DUP1 00001b63: REVERT 00001b64: JUMPDEST 00001b65: DUP2 00001b66: DUP7 00001b67: ADD 00001b68: SWAP2 00001b69: POP 00001b6a: DUP7 00001b6b: PUSH1 0x1f 00001b6d: DUP4 00001b6e: ADD 00001b6f: SLT 00001b70: PUSH2 0x1b78 00001b73: JUMPI 00001b74: PUSH1 0x00 00001b76: DUP1 00001b77: REVERT 00001b78: JUMPDEST 00001b79: DUP2 00001b7a: CALLDATALOAD 00001b7b: DUP2 00001b7c: DUP2 00001b7d: GT 00001b7e: ISZERO 00001b7f: PUSH2 0x1b87 00001b82: JUMPI 00001b83: PUSH1 0x00 00001b85: DUP1 00001b86: REVERT 00001b87: JUMPDEST 00001b88: DUP8 00001b89: PUSH1 0x20 00001b8b: DUP3 00001b8c: PUSH1 0x05 00001b8e: SHL 00001b8f: DUP6 00001b90: ADD 00001b91: ADD 00001b92: GT 00001b93: ISZERO 00001b94: PUSH2 0x1b9c 00001b97: JUMPI 00001b98: PUSH1 0x00 00001b9a: DUP1 00001b9b: REVERT 00001b9c: JUMPDEST 00001b9d: PUSH1 0x20 00001b9f: SWAP3 00001ba0: DUP4 00001ba1: ADD 00001ba2: SWAP6 00001ba3: POP 00001ba4: SWAP4 00001ba5: POP 00001ba6: PUSH2 0x1bb2 00001ba9: SWAP2 00001baa: DUP7 00001bab: ADD 00001bac: SWAP1 00001bad: POP 00001bae: PUSH2 0x1ac1 00001bb1: JUMP 00001bb2: JUMPDEST 00001bb3: SWAP1 00001bb4: POP 00001bb5: SWAP3 00001bb6: POP 00001bb7: SWAP3 00001bb8: POP 00001bb9: SWAP3 00001bba: JUMP 00001bbb: JUMPDEST 00001bbc: PUSH1 0x00 00001bbe: DUP1 00001bbf: PUSH1 0x40 00001bc1: DUP4 00001bc2: DUP6 00001bc3: SUB 00001bc4: SLT 00001bc5: ISZERO 00001bc6: PUSH2 0x1bce 00001bc9: JUMPI 00001bca: PUSH1 0x00 00001bcc: DUP1 00001bcd: REVERT 00001bce: JUMPDEST 00001bcf: DUP3 00001bd0: CALLDATALOAD 00001bd1: PUSH2 0x1bd9 00001bd4: DUP2 00001bd5: PUSH2 0x18ff 00001bd8: JUMP 00001bd9: JUMPDEST 00001bda: SWAP2 00001bdb: POP 00001bdc: PUSH1 0x20 00001bde: DUP4 00001bdf: ADD 00001be0: CALLDATALOAD 00001be1: PUSH2 0x1be9 00001be4: DUP2 00001be5: PUSH2 0x18ff 00001be8: JUMP 00001be9: JUMPDEST 00001bea: DUP1 00001beb: SWAP2 00001bec: POP 00001bed: POP 00001bee: SWAP3 00001bef: POP 00001bf0: SWAP3 00001bf1: SWAP1 00001bf2: POP 00001bf3: JUMP 00001bf4: JUMPDEST 00001bf5: PUSH1 0x20 00001bf7: DUP1 00001bf8: DUP3 00001bf9: MSTORE 00001bfa: DUP2 00001bfb: DUP2 00001bfc: ADD 00001bfd: MSTORE 00001bfe: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001c1f: PUSH1 0x40 00001c21: DUP3 00001c22: ADD 00001c23: MSTORE 00001c24: PUSH1 0x60 00001c26: ADD 00001c27: SWAP1 00001c28: JUMP 00001c29: JUMPDEST 00001c2a: PUSH4 0x4e487b71 00001c2f: PUSH1 0xe0 00001c31: SHL 00001c32: PUSH1 0x00 00001c34: MSTORE 00001c35: PUSH1 0x32 00001c37: PUSH1 0x04 00001c39: MSTORE 00001c3a: PUSH1 0x24 00001c3c: PUSH1 0x00 00001c3e: REVERT 00001c3f: JUMPDEST 00001c40: PUSH4 0x4e487b71 00001c45: PUSH1 0xe0 00001c47: SHL 00001c48: PUSH1 0x00 00001c4a: MSTORE 00001c4b: PUSH1 0x11 00001c4d: PUSH1 0x04 00001c4f: MSTORE 00001c50: PUSH1 0x24 00001c52: PUSH1 0x00 00001c54: REVERT 00001c55: JUMPDEST 00001c56: PUSH1 0x00 00001c58: PUSH1 0x01 00001c5a: DUP3 00001c5b: ADD 00001c5c: PUSH2 0x1c67 00001c5f: JUMPI 00001c60: PUSH2 0x1c67 00001c63: PUSH2 0x1c3f 00001c66: JUMP 00001c67: JUMPDEST 00001c68: POP 00001c69: PUSH1 0x01 00001c6b: ADD 00001c6c: SWAP1 00001c6d: JUMP 00001c6e: JUMPDEST 00001c6f: DUP1 00001c70: DUP3 00001c71: ADD 00001c72: DUP1 00001c73: DUP3 00001c74: GT 00001c75: ISZERO 00001c76: PUSH2 0x0677 00001c79: JUMPI 00001c7a: PUSH2 0x0677 00001c7d: PUSH2 0x1c3f 00001c80: JUMP 00001c81: JUMPDEST 00001c82: DUP2 00001c83: DUP2 00001c84: SUB 00001c85: DUP2 00001c86: DUP2 00001c87: GT 00001c88: ISZERO 00001c89: PUSH2 0x0677 00001c8c: JUMPI 00001c8d: PUSH2 0x0677 00001c90: PUSH2 0x1c3f 00001c93: JUMP 00001c94: JUMPDEST 00001c95: PUSH1 0x00 00001c97: PUSH1 0x20 00001c99: DUP3 00001c9a: DUP5 00001c9b: SUB 00001c9c: SLT 00001c9d: ISZERO 00001c9e: PUSH2 0x1ca6 00001ca1: JUMPI 00001ca2: PUSH1 0x00 00001ca4: DUP1 00001ca5: REVERT 00001ca6: JUMPDEST 00001ca7: DUP2 00001ca8: MLOAD 00001ca9: PUSH2 0x12af 00001cac: DUP2 00001cad: PUSH2 0x18ff 00001cb0: JUMP 00001cb1: JUMPDEST 00001cb2: PUSH1 0x00 00001cb4: PUSH1 0xa0 00001cb6: DUP3 00001cb7: ADD 00001cb8: DUP8 00001cb9: DUP4 00001cba: MSTORE 00001cbb: PUSH1 0x20 00001cbd: DUP8 00001cbe: DUP2 00001cbf: DUP6 00001cc0: ADD 00001cc1: MSTORE 00001cc2: PUSH1 0xa0 00001cc4: PUSH1 0x40 00001cc6: DUP6 00001cc7: ADD 00001cc8: MSTORE 00001cc9: DUP2 00001cca: DUP8 00001ccb: MLOAD 00001ccc: DUP1 00001ccd: DUP5 00001cce: MSTORE 00001ccf: PUSH1 0xc0 00001cd1: DUP7 00001cd2: ADD 00001cd3: SWAP2 00001cd4: POP 00001cd5: DUP3 00001cd6: DUP10 00001cd7: ADD 00001cd8: SWAP4 00001cd9: POP 00001cda: PUSH1 0x00 00001cdc: JUMPDEST 00001cdd: DUP2 00001cde: DUP2 00001cdf: LT 00001ce0: ISZERO 00001ce1: PUSH2 0x1d01 00001ce4: JUMPI 00001ce5: DUP5 00001ce6: MLOAD 00001ce7: PUSH1 0x01 00001ce9: PUSH1 0x01 00001ceb: PUSH1 0xa0 00001ced: SHL 00001cee: SUB 00001cef: AND 00001cf0: DUP4 00001cf1: MSTORE 00001cf2: SWAP4 00001cf3: DUP4 00001cf4: ADD 00001cf5: SWAP4 00001cf6: SWAP2 00001cf7: DUP4 00001cf8: ADD 00001cf9: SWAP2 00001cfa: PUSH1 0x01 00001cfc: ADD 00001cfd: PUSH2 0x1cdc 00001d00: JUMP 00001d01: JUMPDEST 00001d02: POP 00001d03: POP 00001d04: PUSH1 0x01 00001d06: PUSH1 0x01 00001d08: PUSH1 0xa0 00001d0a: SHL 00001d0b: SUB 00001d0c: SWAP7 00001d0d: SWAP1 00001d0e: SWAP7 00001d0f: AND 00001d10: PUSH1 0x60 00001d12: DUP6 00001d13: ADD 00001d14: MSTORE 00001d15: POP 00001d16: POP 00001d17: POP 00001d18: PUSH1 0x80 00001d1a: ADD 00001d1b: MSTORE 00001d1c: SWAP4 00001d1d: SWAP3 00001d1e: POP 00001d1f: POP 00001d20: POP 00001d21: JUMP 00001d22: JUMPDEST 00001d23: PUSH1 0x00 00001d25: DUP3 00001d26: PUSH2 0x1d3f 00001d29: JUMPI 00001d2a: PUSH4 0x4e487b71 00001d2f: PUSH1 0xe0 00001d31: SHL 00001d32: PUSH1 0x00 00001d34: MSTORE 00001d35: PUSH1 0x12 00001d37: PUSH1 0x04 00001d39: MSTORE 00001d3a: PUSH1 0x24 00001d3c: PUSH1 0x00 00001d3e: REVERT 00001d3f: JUMPDEST 00001d40: POP 00001d41: DIV 00001d42: SWAP1 00001d43: JUMP 00001d44: JUMPDEST 00001d45: DUP1 00001d46: DUP3 00001d47: MUL 00001d48: DUP2 00001d49: ISZERO 00001d4a: DUP3 00001d4b: DUP3 00001d4c: DIV 00001d4d: DUP5 00001d4e: EQ 00001d4f: OR 00001d50: PUSH2 0x0677 00001d53: JUMPI 00001d54: PUSH2 0x0677 00001d57: PUSH2 0x1c3f 00001d5a: JUMP 00001d5b: INVALID 00001d5c: GASLIMIT 00001d5d: MSTORE 00001d5e: NUMBER 00001d5f: ORIGIN 00001d60: ADDRESS 00001d61: GASPRICE 00001d62: KECCAK256 00001d63: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001d79: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001d8e: ORIGIN 00001d8f: SWAP4 00001d90: JUMPDEST 00001d91: SLOAD 00001d92: PUSH15 0xd744499a09e8c91abe2d9b04fa1c9c 00001da2: PUSH31
| 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": "0xc492f046",
"selector": "0xc492f046",
"calldata_variants": [
"0xc492f046",
"0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd79284",
"selector": "0xbfd79284",
"calldata_variants": [
"0xbfd79284",
"0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 7519,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf3766c83c16d86e3d75b8146af84256132809755ff83c96e78a6a1930e0c94d1
call_targets:
0x15f370f9bdb6b51ed01a21d79e9212c7a6562103
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf3766c83c16d86e3d75b8146af84256132809755ff83c96e78a6a1930e0c94d1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x15f370f9bdb6b51ed01a21d79e9212c7a6562103"
],
"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": "0xc492f046",
"selector": "0xc492f046",
"calldata_variants": [
"0xc492f046",
"0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd79284",
"selector": "0xbfd79284",
"calldata_variants": [
"0xbfd79284",
"0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4636,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5130,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 7519,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf3766c83c16d86e3d75b8146af84256132809755ff83c96e78a6a1930e0c94d1
call_targets:
0x15f370f9bdb6b51ed01a21d79e9212c7a6562103
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf3766c83c16d86e3d75b8146af84256132809755ff83c96e78a6a1930e0c94d1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x15f370f9bdb6b51ed01a21d79e9212c7a6562103"
],
"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": "0xc492f046",
"selector": "0xc492f046",
"calldata_variants": [
"0xc492f046",
"0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd79284",
"selector": "0xbfd79284",
"calldata_variants": [
"0xbfd79284",
"0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4636,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5130,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 7519,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|