019b477e-d3f9-737f-b426-67dce1e24251
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 |
|---|---|---|---|---|
| 28251 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28252 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71195 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71196 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71197 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71198 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0101 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x751039fc 00000018: GT 00000019: PUSH2 0x0094 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x95d89b41 00000023: GT 00000024: PUSH2 0x0063 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x95d89b41 0000002e: EQ 0000002f: PUSH2 0x0312 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xa9059cbb 00000039: EQ 0000003a: PUSH2 0x033c 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xbf474bed 00000044: EQ 00000045: PUSH2 0x0378 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc9567bf9 0000004f: EQ 00000050: PUSH2 0x03a2 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x03b8 0000005e: JUMPI 0000005f: PUSH2 0x0108 00000062: JUMP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0x751039fc 0000006a: EQ 0000006b: PUSH2 0x027e 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x7d1db4a5 00000075: EQ 00000076: PUSH2 0x0294 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x8da5cb5b 00000080: EQ 00000081: PUSH2 0x02be 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x8f9a55c0 0000008b: EQ 0000008c: PUSH2 0x02e8 0000008f: JUMPI 00000090: PUSH2 0x0108 00000093: JUMP 00000094: JUMPDEST 00000095: DUP1 00000096: PUSH4 0x23b872dd 0000009b: GT 0000009c: PUSH2 0x00d0 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x23b872dd 000000a6: EQ 000000a7: PUSH2 0x01c6 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x313ce567 000000b1: EQ 000000b2: PUSH2 0x0202 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x70a08231 000000bc: EQ 000000bd: PUSH2 0x022c 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x715018a6 000000c7: EQ 000000c8: PUSH2 0x0268 000000cb: JUMPI 000000cc: PUSH2 0x0108 000000cf: JUMP 000000d0: JUMPDEST 000000d1: DUP1 000000d2: PUSH4 0x06fdde03 000000d7: EQ 000000d8: PUSH2 0x010c 000000db: JUMPI 000000dc: DUP1 000000dd: PUSH4 0x095ea7b3 000000e2: EQ 000000e3: PUSH2 0x0136 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x0faee56f 000000ed: EQ 000000ee: PUSH2 0x0172 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x18160ddd 000000f8: EQ 000000f9: PUSH2 0x019c 000000fc: JUMPI 000000fd: PUSH2 0x0108 00000100: JUMP 00000101: JUMPDEST 00000102: CALLDATASIZE 00000103: PUSH2 0x0108 00000106: JUMPI 00000107: STOP 00000108: JUMPDEST 00000109: PUSH0 0000010a: DUP1 0000010b: REVERT 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0117 00000113: JUMPI 00000114: PUSH0 00000115: DUP1 00000116: REVERT 00000117: JUMPDEST 00000118: POP 00000119: PUSH2 0x0120 0000011c: PUSH2 0x03f4 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH1 0x40 00000123: MLOAD 00000124: PUSH2 0x012d 00000127: SWAP2 00000128: SWAP1 00000129: PUSH2 0x1eec 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: SWAP2 00000133: SUB 00000134: SWAP1 00000135: RETURN 00000136: JUMPDEST 00000137: CALLVALUE 00000138: DUP1 00000139: ISZERO 0000013a: PUSH2 0x0141 0000013d: JUMPI 0000013e: PUSH0 0000013f: DUP1 00000140: REVERT 00000141: JUMPDEST 00000142: POP 00000143: PUSH2 0x015c 00000146: PUSH1 0x04 00000148: DUP1 00000149: CALLDATASIZE 0000014a: SUB 0000014b: DUP2 0000014c: ADD 0000014d: SWAP1 0000014e: PUSH2 0x0157 00000151: SWAP2 00000152: SWAP1 00000153: PUSH2 0x1f9d 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH2 0x0431 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH1 0x40 0000015f: MLOAD 00000160: PUSH2 0x0169 00000163: SWAP2 00000164: SWAP1 00000165: PUSH2 0x1ff5 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH1 0x40 0000016c: MLOAD 0000016d: DUP1 0000016e: SWAP2 0000016f: SUB 00000170: SWAP1 00000171: RETURN 00000172: JUMPDEST 00000173: CALLVALUE 00000174: DUP1 00000175: ISZERO 00000176: PUSH2 0x017d 00000179: JUMPI 0000017a: PUSH0 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: PUSH2 0x0186 00000182: PUSH2 0x044e 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: PUSH2 0x0193 0000018d: SWAP2 0000018e: SWAP1 0000018f: PUSH2 0x201d 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH1 0x40 00000196: MLOAD 00000197: DUP1 00000198: SWAP2 00000199: SUB 0000019a: SWAP1 0000019b: RETURN 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: DUP1 0000019f: ISZERO 000001a0: PUSH2 0x01a7 000001a3: JUMPI 000001a4: PUSH0 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: POP 000001a9: PUSH2 0x01b0 000001ac: PUSH2 0x0454 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: PUSH2 0x01bd 000001b7: SWAP2 000001b8: SWAP1 000001b9: PUSH2 0x201d 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: DUP1 000001c2: SWAP2 000001c3: SUB 000001c4: SWAP1 000001c5: RETURN 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: DUP1 000001c9: ISZERO 000001ca: PUSH2 0x01d1 000001cd: JUMPI 000001ce: PUSH0 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: POP 000001d3: PUSH2 0x01ec 000001d6: PUSH1 0x04 000001d8: DUP1 000001d9: CALLDATASIZE 000001da: SUB 000001db: DUP2 000001dc: ADD 000001dd: SWAP1 000001de: PUSH2 0x01e7 000001e1: SWAP2 000001e2: SWAP1 000001e3: PUSH2 0x2036 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH2 0x0478 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH1 0x40 000001ef: MLOAD 000001f0: PUSH2 0x01f9 000001f3: SWAP2 000001f4: SWAP1 000001f5: PUSH2 0x1ff5 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: DUP1 000001fe: SWAP2 000001ff: SUB 00000200: SWAP1 00000201: RETURN 00000202: JUMPDEST 00000203: CALLVALUE 00000204: DUP1 00000205: ISZERO 00000206: PUSH2 0x020d 00000209: JUMPI 0000020a: PUSH0 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: PUSH2 0x0216 00000212: PUSH2 0x054c 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: PUSH2 0x0223 0000021d: SWAP2 0000021e: SWAP1 0000021f: PUSH2 0x20a1 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH1 0x40 00000226: MLOAD 00000227: DUP1 00000228: SWAP2 00000229: SUB 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: CALLVALUE 0000022e: DUP1 0000022f: ISZERO 00000230: PUSH2 0x0237 00000233: JUMPI 00000234: PUSH0 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: PUSH2 0x0252 0000023c: PUSH1 0x04 0000023e: DUP1 0000023f: CALLDATASIZE 00000240: SUB 00000241: DUP2 00000242: ADD 00000243: SWAP1 00000244: PUSH2 0x024d 00000247: SWAP2 00000248: SWAP1 00000249: PUSH2 0x20ba 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x0554 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH1 0x40 00000255: MLOAD 00000256: PUSH2 0x025f 00000259: SWAP2 0000025a: SWAP1 0000025b: PUSH2 0x201d 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH1 0x40 00000262: MLOAD 00000263: DUP1 00000264: SWAP2 00000265: SUB 00000266: SWAP1 00000267: RETURN 00000268: JUMPDEST 00000269: CALLVALUE 0000026a: DUP1 0000026b: ISZERO 0000026c: PUSH2 0x0273 0000026f: JUMPI 00000270: PUSH0 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: PUSH2 0x027c 00000278: PUSH2 0x059a 0000027b: JUMP 0000027c: JUMPDEST 0000027d: STOP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x0289 00000285: JUMPI 00000286: PUSH0 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x0292 0000028e: PUSH2 0x06e8 00000291: JUMP 00000292: JUMPDEST 00000293: STOP 00000294: JUMPDEST 00000295: CALLVALUE 00000296: DUP1 00000297: ISZERO 00000298: PUSH2 0x029f 0000029b: JUMPI 0000029c: PUSH0 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x02a8 000002a4: PUSH2 0x081a 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: PUSH2 0x02b5 000002af: SWAP2 000002b0: SWAP1 000002b1: PUSH2 0x201d 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH1 0x40 000002b8: MLOAD 000002b9: DUP1 000002ba: SWAP2 000002bb: SUB 000002bc: SWAP1 000002bd: RETURN 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: DUP1 000002c1: ISZERO 000002c2: PUSH2 0x02c9 000002c5: JUMPI 000002c6: PUSH0 000002c7: DUP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: POP 000002cb: PUSH2 0x02d2 000002ce: PUSH2 0x0820 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH1 0x40 000002d5: MLOAD 000002d6: PUSH2 0x02df 000002d9: SWAP2 000002da: SWAP1 000002db: PUSH2 0x20f4 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH1 0x40 000002e2: MLOAD 000002e3: DUP1 000002e4: SWAP2 000002e5: SUB 000002e6: SWAP1 000002e7: RETURN 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f3 000002ef: JUMPI 000002f0: PUSH0 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: POP 000002f5: PUSH2 0x02fc 000002f8: PUSH2 0x0847 000002fb: JUMP 000002fc: JUMPDEST 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: PUSH2 0x0309 00000303: SWAP2 00000304: SWAP1 00000305: PUSH2 0x201d 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: DUP1 0000030e: SWAP2 0000030f: SUB 00000310: SWAP1 00000311: RETURN 00000312: JUMPDEST 00000313: CALLVALUE 00000314: DUP1 00000315: ISZERO 00000316: PUSH2 0x031d 00000319: JUMPI 0000031a: PUSH0 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH2 0x0326 00000322: PUSH2 0x084d 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x40 00000329: MLOAD 0000032a: PUSH2 0x0333 0000032d: SWAP2 0000032e: SWAP1 0000032f: PUSH2 0x1eec 00000332: JUMP 00000333: JUMPDEST 00000334: PUSH1 0x40 00000336: MLOAD 00000337: DUP1 00000338: SWAP2 00000339: SUB 0000033a: SWAP1 0000033b: RETURN 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0347 00000343: JUMPI 00000344: PUSH0 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x0362 0000034c: PUSH1 0x04 0000034e: DUP1 0000034f: CALLDATASIZE 00000350: SUB 00000351: DUP2 00000352: ADD 00000353: SWAP1 00000354: PUSH2 0x035d 00000357: SWAP2 00000358: SWAP1 00000359: PUSH2 0x1f9d 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH2 0x088a 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: MLOAD 00000366: PUSH2 0x036f 00000369: SWAP2 0000036a: SWAP1 0000036b: PUSH2 0x1ff5 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH1 0x40 00000372: MLOAD 00000373: DUP1 00000374: SWAP2 00000375: SUB 00000376: SWAP1 00000377: RETURN 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0383 0000037f: JUMPI 00000380: PUSH0 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x038c 00000388: PUSH2 0x08a7 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: PUSH2 0x0399 00000393: SWAP2 00000394: SWAP1 00000395: PUSH2 0x201d 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: DUP1 0000039e: SWAP2 0000039f: SUB 000003a0: SWAP1 000003a1: RETURN 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ad 000003a9: JUMPI 000003aa: PUSH0 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x03b6 000003b2: PUSH2 0x08ad 000003b5: JUMP 000003b6: JUMPDEST 000003b7: STOP 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: DUP1 000003bb: ISZERO 000003bc: PUSH2 0x03c3 000003bf: JUMPI 000003c0: PUSH0 000003c1: DUP1 000003c2: REVERT 000003c3: JUMPDEST 000003c4: POP 000003c5: PUSH2 0x03de 000003c8: PUSH1 0x04 000003ca: DUP1 000003cb: CALLDATASIZE 000003cc: SUB 000003cd: DUP2 000003ce: ADD 000003cf: SWAP1 000003d0: PUSH2 0x03d9 000003d3: SWAP2 000003d4: SWAP1 000003d5: PUSH2 0x210d 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH2 0x0dd7 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: PUSH2 0x03eb 000003e5: SWAP2 000003e6: SWAP1 000003e7: PUSH2 0x201d 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x40 000003ee: MLOAD 000003ef: DUP1 000003f0: SWAP2 000003f1: SUB 000003f2: SWAP1 000003f3: RETURN 000003f4: JUMPDEST 000003f5: PUSH1 0x60 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP1 000003fb: PUSH1 0x40 000003fd: ADD 000003fe: PUSH1 0x40 00000400: MSTORE 00000401: DUP1 00000402: PUSH1 0x05 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x20 00000408: ADD 00000409: PUSH32 0x642f616363000000000000000000000000000000000000000000000000000000 0000042a: DUP2 0000042b: MSTORE 0000042c: POP 0000042d: SWAP1 0000042e: POP 0000042f: SWAP1 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH0 00000433: PUSH2 0x0444 00000436: PUSH2 0x043d 00000439: PUSH2 0x0e59 0000043c: JUMP 0000043d: JUMPDEST 0000043e: DUP5 0000043f: DUP5 00000440: PUSH2 0x0e60 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH1 0x01 00000447: SWAP1 00000448: POP 00000449: SWAP3 0000044a: SWAP2 0000044b: POP 0000044c: POP 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x11 00000451: SLOAD 00000452: DUP2 00000453: JUMP 00000454: JUMPDEST 00000455: PUSH0 00000456: PUSH1 0x09 00000458: PUSH1 0x0a 0000045a: PUSH2 0x0463 0000045d: SWAP2 0000045e: SWAP1 0000045f: PUSH2 0x22a7 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH5 0x02540be400 0000046a: PUSH2 0x0473 0000046d: SWAP2 0000046e: SWAP1 0000046f: PUSH2 0x22f1 00000472: JUMP 00000473: JUMPDEST 00000474: SWAP1 00000475: POP 00000476: SWAP1 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH0 0000047a: PUSH2 0x0484 0000047d: DUP5 0000047e: DUP5 0000047f: DUP5 00000480: PUSH2 0x1023 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH2 0x0541 00000488: DUP5 00000489: PUSH2 0x0490 0000048c: PUSH2 0x0e59 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH2 0x053c 00000494: DUP6 00000495: PUSH1 0x40 00000497: MLOAD 00000498: DUP1 00000499: PUSH1 0x60 0000049b: ADD 0000049c: PUSH1 0x40 0000049e: MSTORE 0000049f: DUP1 000004a0: PUSH1 0x28 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: PUSH2 0x2ce9 000004aa: PUSH1 0x28 000004ac: SWAP2 000004ad: CODECOPY 000004ae: PUSH1 0x02 000004b0: PUSH0 000004b1: DUP12 000004b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c7: AND 000004c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dd: AND 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: SWAP1 000004e4: DUP2 000004e5: MSTORE 000004e6: PUSH1 0x20 000004e8: ADD 000004e9: PUSH0 000004ea: KECCAK256 000004eb: PUSH0 000004ec: PUSH2 0x04f3 000004ef: PUSH2 0x0e59 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000509: AND 0000050a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051f: AND 00000520: DUP2 00000521: MSTORE 00000522: PUSH1 0x20 00000524: ADD 00000525: SWAP1 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: ADD 0000052b: PUSH0 0000052c: KECCAK256 0000052d: SLOAD 0000052e: PUSH2 0x193d 00000531: SWAP1 00000532: SWAP3 00000533: SWAP2 00000534: SWAP1 00000535: PUSH4 0xffffffff 0000053a: AND 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x0e60 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH1 0x01 00000544: SWAP1 00000545: POP 00000546: SWAP4 00000547: SWAP3 00000548: POP 00000549: POP 0000054a: POP 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH0 0000054e: PUSH1 0x09 00000550: SWAP1 00000551: POP 00000552: SWAP1 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH0 00000556: PUSH1 0x01 00000558: PUSH0 00000559: DUP4 0000055a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056f: AND 00000570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000585: AND 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP1 0000058c: DUP2 0000058d: MSTORE 0000058e: PUSH1 0x20 00000590: ADD 00000591: PUSH0 00000592: KECCAK256 00000593: SLOAD 00000594: SWAP1 00000595: POP 00000596: SWAP2 00000597: SWAP1 00000598: POP 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH2 0x05a2 0000059e: PUSH2 0x0e59 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b8: AND 000005b9: PUSH0 000005ba: DUP1 000005bb: SLOAD 000005bc: SWAP1 000005bd: PUSH2 0x0100 000005c0: EXP 000005c1: SWAP1 000005c2: DIV 000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d8: AND 000005d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ee: AND 000005ef: EQ 000005f0: PUSH2 0x062e 000005f3: JUMPI 000005f4: PUSH1 0x40 000005f6: MLOAD 000005f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000618: DUP2 00000619: MSTORE 0000061a: PUSH1 0x04 0000061c: ADD 0000061d: PUSH2 0x0625 00000620: SWAP1 00000621: PUSH2 0x237c 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: SWAP2 0000062b: SUB 0000062c: SWAP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH0 00000630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000645: AND 00000646: PUSH0 00000647: DUP1 00000648: SLOAD 00000649: SWAP1 0000064a: PUSH2 0x0100 0000064d: EXP 0000064e: SWAP1 0000064f: DIV 00000650: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000665: AND 00000666: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067b: AND 0000067c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: PUSH1 0x40 000006a2: MLOAD 000006a3: DUP1 000006a4: SWAP2 000006a5: SUB 000006a6: SWAP1 000006a7: LOG3 000006a8: PUSH0 000006a9: DUP1 000006aa: PUSH0 000006ab: PUSH2 0x0100 000006ae: EXP 000006af: DUP2 000006b0: SLOAD 000006b1: DUP2 000006b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c7: MUL 000006c8: NOT 000006c9: AND 000006ca: SWAP1 000006cb: DUP4 000006cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e1: AND 000006e2: MUL 000006e3: OR 000006e4: SWAP1 000006e5: SSTORE 000006e6: POP 000006e7: JUMP 000006e8: JUMPDEST 000006e9: PUSH2 0x06f0 000006ec: PUSH2 0x0e59 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000706: AND 00000707: PUSH0 00000708: DUP1 00000709: SLOAD 0000070a: SWAP1 0000070b: PUSH2 0x0100 0000070e: EXP 0000070f: SWAP1 00000710: DIV 00000711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000726: AND 00000727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073c: AND 0000073d: EQ 0000073e: PUSH2 0x077c 00000741: JUMPI 00000742: PUSH1 0x40 00000744: MLOAD 00000745: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000766: DUP2 00000767: MSTORE 00000768: PUSH1 0x04 0000076a: ADD 0000076b: PUSH2 0x0773 0000076e: SWAP1 0000076f: PUSH2 0x237c 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x40 00000776: MLOAD 00000777: DUP1 00000778: SWAP2 00000779: SUB 0000077a: SWAP1 0000077b: REVERT 0000077c: JUMPDEST 0000077d: PUSH1 0x09 0000077f: PUSH1 0x0a 00000781: PUSH2 0x078a 00000784: SWAP2 00000785: SWAP1 00000786: PUSH2 0x22a7 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH5 0x02540be400 00000791: PUSH2 0x079a 00000794: SWAP2 00000795: SWAP1 00000796: PUSH2 0x22f1 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x0e 0000079d: DUP2 0000079e: SWAP1 0000079f: SSTORE 000007a0: POP 000007a1: PUSH1 0x09 000007a3: PUSH1 0x0a 000007a5: PUSH2 0x07ae 000007a8: SWAP2 000007a9: SWAP1 000007aa: PUSH2 0x22a7 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH5 0x02540be400 000007b5: PUSH2 0x07be 000007b8: SWAP2 000007b9: SWAP1 000007ba: PUSH2 0x22f1 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x0f 000007c1: DUP2 000007c2: SWAP1 000007c3: SSTORE 000007c4: POP 000007c5: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 000007e6: PUSH1 0x09 000007e8: PUSH1 0x0a 000007ea: PUSH2 0x07f3 000007ed: SWAP2 000007ee: SWAP1 000007ef: PUSH2 0x22a7 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH5 0x02540be400 000007fa: PUSH2 0x0803 000007fd: SWAP2 000007fe: SWAP1 000007ff: PUSH2 0x22f1 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH1 0x40 00000806: MLOAD 00000807: PUSH2 0x0810 0000080a: SWAP2 0000080b: SWAP1 0000080c: PUSH2 0x201d 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH1 0x40 00000813: MLOAD 00000814: DUP1 00000815: SWAP2 00000816: SUB 00000817: SWAP1 00000818: LOG1 00000819: JUMP 0000081a: JUMPDEST 0000081b: PUSH1 0x0e 0000081d: SLOAD 0000081e: DUP2 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH0 00000822: DUP1 00000823: PUSH0 00000824: SWAP1 00000825: SLOAD 00000826: SWAP1 00000827: PUSH2 0x0100 0000082a: EXP 0000082b: SWAP1 0000082c: DIV 0000082d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000842: AND 00000843: SWAP1 00000844: POP 00000845: SWAP1 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x0f 0000084a: SLOAD 0000084b: DUP2 0000084c: JUMP 0000084d: JUMPDEST 0000084e: PUSH1 0x60 00000850: PUSH1 0x40 00000852: MLOAD 00000853: DUP1 00000854: PUSH1 0x40 00000856: ADD 00000857: PUSH1 0x40 00000859: MSTORE 0000085a: DUP1 0000085b: PUSH1 0x05 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: ADD 00000862: PUSH32 0x442f414343000000000000000000000000000000000000000000000000000000 00000883: DUP2 00000884: MSTORE 00000885: POP 00000886: SWAP1 00000887: POP 00000888: SWAP1 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH0 0000088c: PUSH2 0x089d 0000088f: PUSH2 0x0896 00000892: PUSH2 0x0e59 00000895: JUMP 00000896: JUMPDEST 00000897: DUP5 00000898: DUP5 00000899: PUSH2 0x1023 0000089c: JUMP 0000089d: JUMPDEST 0000089e: PUSH1 0x01 000008a0: SWAP1 000008a1: POP 000008a2: SWAP3 000008a3: SWAP2 000008a4: POP 000008a5: POP 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH1 0x10 000008aa: SLOAD 000008ab: DUP2 000008ac: JUMP 000008ad: JUMPDEST 000008ae: PUSH2 0x08b5 000008b1: PUSH2 0x0e59 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cb: AND 000008cc: PUSH0 000008cd: DUP1 000008ce: SLOAD 000008cf: SWAP1 000008d0: PUSH2 0x0100 000008d3: EXP 000008d4: SWAP1 000008d5: DIV 000008d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008eb: AND 000008ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000901: AND 00000902: EQ 00000903: PUSH2 0x0941 00000906: JUMPI 00000907: PUSH1 0x40 00000909: MLOAD 0000090a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0x04 0000092f: ADD 00000930: PUSH2 0x0938 00000933: SWAP1 00000934: PUSH2 0x237c 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH1 0x40 0000093b: MLOAD 0000093c: DUP1 0000093d: SWAP2 0000093e: SUB 0000093f: SWAP1 00000940: REVERT 00000941: JUMPDEST 00000942: PUSH1 0x13 00000944: PUSH1 0x14 00000946: SWAP1 00000947: SLOAD 00000948: SWAP1 00000949: PUSH2 0x0100 0000094c: EXP 0000094d: SWAP1 0000094e: DIV 0000094f: PUSH1 0xff 00000951: AND 00000952: ISZERO 00000953: PUSH2 0x0991 00000956: JUMPI 00000957: PUSH1 0x40 00000959: MLOAD 0000095a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000097b: DUP2 0000097c: MSTORE 0000097d: PUSH1 0x04 0000097f: ADD 00000980: PUSH2 0x0988 00000983: SWAP1 00000984: PUSH2 0x23e4 00000987: JUMP 00000988: JUMPDEST 00000989: PUSH1 0x40 0000098b: MLOAD 0000098c: DUP1 0000098d: SWAP2 0000098e: SUB 0000098f: SWAP1 00000990: REVERT 00000991: JUMPDEST 00000992: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 000009a7: PUSH1 0x12 000009a9: PUSH0 000009aa: PUSH2 0x0100 000009ad: EXP 000009ae: DUP2 000009af: SLOAD 000009b0: DUP2 000009b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c6: MUL 000009c7: NOT 000009c8: AND 000009c9: SWAP1 000009ca: DUP4 000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e0: AND 000009e1: MUL 000009e2: OR 000009e3: SWAP1 000009e4: SSTORE 000009e5: POP 000009e6: PUSH2 0x0a2e 000009e9: ADDRESS 000009ea: PUSH1 0x12 000009ec: PUSH0 000009ed: SWAP1 000009ee: SLOAD 000009ef: SWAP1 000009f0: PUSH2 0x0100 000009f3: EXP 000009f4: SWAP1 000009f5: DIV 000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0b: AND 00000a0c: PUSH1 0x09 00000a0e: PUSH1 0x0a 00000a10: PUSH2 0x0a19 00000a13: SWAP2 00000a14: SWAP1 00000a15: PUSH2 0x22a7 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: PUSH5 0x02540be400 00000a20: PUSH2 0x0a29 00000a23: SWAP2 00000a24: SWAP1 00000a25: PUSH2 0x22f1 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH2 0x0e60 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH1 0x12 00000a31: PUSH0 00000a32: SWAP1 00000a33: SLOAD 00000a34: SWAP1 00000a35: PUSH2 0x0100 00000a38: EXP 00000a39: SWAP1 00000a3a: DIV 00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a50: AND 00000a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a66: AND 00000a67: PUSH4 0xc45a0155 00000a6c: PUSH1 0x40 00000a6e: MLOAD 00000a6f: DUP2 00000a70: PUSH4 0xffffffff 00000a75: AND 00000a76: PUSH1 0xe0 00000a78: SHL 00000a79: DUP2 00000a7a: MSTORE 00000a7b: PUSH1 0x04 00000a7d: ADD 00000a7e: PUSH1 0x20 00000a80: PUSH1 0x40 00000a82: MLOAD 00000a83: DUP1 00000a84: DUP4 00000a85: SUB 00000a86: DUP2 00000a87: DUP7 00000a88: GAS 00000a89: STATICCALL 00000a8a: ISZERO 00000a8b: DUP1 00000a8c: ISZERO 00000a8d: PUSH2 0x0a98 00000a90: JUMPI 00000a91: RETURNDATASIZE 00000a92: PUSH0 00000a93: DUP1 00000a94: RETURNDATACOPY 00000a95: RETURNDATASIZE 00000a96: PUSH0 00000a97: REVERT 00000a98: JUMPDEST 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: PUSH1 0x40 00000a9f: MLOAD 00000aa0: RETURNDATASIZE 00000aa1: PUSH1 0x1f 00000aa3: NOT 00000aa4: PUSH1 0x1f 00000aa6: DUP3 00000aa7: ADD 00000aa8: AND 00000aa9: DUP3 00000aaa: ADD 00000aab: DUP1 00000aac: PUSH1 0x40 00000aae: MSTORE 00000aaf: POP 00000ab0: DUP2 00000ab1: ADD 00000ab2: SWAP1 00000ab3: PUSH2 0x0abc 00000ab6: SWAP2 00000ab7: SWAP1 00000ab8: PUSH2 0x2416 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad2: AND 00000ad3: PUSH4 0xc9c65396 00000ad8: ADDRESS 00000ad9: PUSH1 0x12 00000adb: PUSH0 00000adc: SWAP1 00000add: SLOAD 00000ade: SWAP1 00000adf: PUSH2 0x0100 00000ae2: EXP 00000ae3: SWAP1 00000ae4: DIV 00000ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afa: AND 00000afb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b10: AND 00000b11: PUSH4 0xad5c4648 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: DUP2 00000b1a: PUSH4 0xffffffff 00000b1f: AND 00000b20: PUSH1 0xe0 00000b22: SHL 00000b23: DUP2 00000b24: MSTORE 00000b25: PUSH1 0x04 00000b27: ADD 00000b28: PUSH1 0x20 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: DUP1 00000b2e: DUP4 00000b2f: SUB 00000b30: DUP2 00000b31: DUP7 00000b32: GAS 00000b33: STATICCALL 00000b34: ISZERO 00000b35: DUP1 00000b36: ISZERO 00000b37: PUSH2 0x0b42 00000b3a: JUMPI 00000b3b: RETURNDATASIZE 00000b3c: PUSH0 00000b3d: DUP1 00000b3e: RETURNDATACOPY 00000b3f: RETURNDATASIZE 00000b40: PUSH0 00000b41: REVERT 00000b42: JUMPDEST 00000b43: POP 00000b44: POP 00000b45: POP 00000b46: POP 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: RETURNDATASIZE 00000b4b: PUSH1 0x1f 00000b4d: NOT 00000b4e: PUSH1 0x1f 00000b50: DUP3 00000b51: ADD 00000b52: AND 00000b53: DUP3 00000b54: ADD 00000b55: DUP1 00000b56: PUSH1 0x40 00000b58: MSTORE 00000b59: POP 00000b5a: DUP2 00000b5b: ADD 00000b5c: SWAP1 00000b5d: PUSH2 0x0b66 00000b60: SWAP2 00000b61: SWAP1 00000b62: PUSH2 0x2416 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x40 00000b69: MLOAD 00000b6a: DUP4 00000b6b: PUSH4 0xffffffff 00000b70: AND 00000b71: PUSH1 0xe0 00000b73: SHL 00000b74: DUP2 00000b75: MSTORE 00000b76: PUSH1 0x04 00000b78: ADD 00000b79: PUSH2 0x0b83 00000b7c: SWAP3 00000b7d: SWAP2 00000b7e: SWAP1 00000b7f: PUSH2 0x2441 00000b82: JUMP 00000b83: JUMPDEST 00000b84: PUSH1 0x20 00000b86: PUSH1 0x40 00000b88: MLOAD 00000b89: DUP1 00000b8a: DUP4 00000b8b: SUB 00000b8c: DUP2 00000b8d: PUSH0 00000b8e: DUP8 00000b8f: GAS 00000b90: CALL 00000b91: ISZERO 00000b92: DUP1 00000b93: ISZERO 00000b94: PUSH2 0x0b9f 00000b97: JUMPI 00000b98: RETURNDATASIZE 00000b99: PUSH0 00000b9a: DUP1 00000b9b: RETURNDATACOPY 00000b9c: RETURNDATASIZE 00000b9d: PUSH0 00000b9e: REVERT 00000b9f: JUMPDEST 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: PUSH1 0x40 00000ba6: MLOAD 00000ba7: RETURNDATASIZE 00000ba8: PUSH1 0x1f 00000baa: NOT 00000bab: PUSH1 0x1f 00000bad: DUP3 00000bae: ADD 00000baf: AND 00000bb0: DUP3 00000bb1: ADD 00000bb2: DUP1 00000bb3: PUSH1 0x40 00000bb5: MSTORE 00000bb6: POP 00000bb7: DUP2 00000bb8: ADD 00000bb9: SWAP1 00000bba: PUSH2 0x0bc3 00000bbd: SWAP2 00000bbe: SWAP1 00000bbf: PUSH2 0x2416 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x13 00000bc6: PUSH0 00000bc7: PUSH2 0x0100 00000bca: EXP 00000bcb: DUP2 00000bcc: SLOAD 00000bcd: DUP2 00000bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be3: MUL 00000be4: NOT 00000be5: AND 00000be6: SWAP1 00000be7: DUP4 00000be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfd: AND 00000bfe: MUL 00000bff: OR 00000c00: SWAP1 00000c01: SSTORE 00000c02: POP 00000c03: PUSH1 0x12 00000c05: PUSH0 00000c06: SWAP1 00000c07: SLOAD 00000c08: SWAP1 00000c09: PUSH2 0x0100 00000c0c: EXP 00000c0d: SWAP1 00000c0e: DIV 00000c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c24: AND 00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3a: AND 00000c3b: PUSH4 0xf305d719 00000c40: SELFBALANCE 00000c41: ADDRESS 00000c42: PUSH2 0x0c4a 00000c45: ADDRESS 00000c46: PUSH2 0x0554 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: PUSH0 00000c4c: DUP1 00000c4d: PUSH2 0x0c54 00000c50: PUSH2 0x0820 00000c53: JUMP 00000c54: JUMPDEST 00000c55: TIMESTAMP 00000c56: PUSH1 0x40 00000c58: MLOAD 00000c59: DUP9 00000c5a: PUSH4 0xffffffff 00000c5f: AND 00000c60: PUSH1 0xe0 00000c62: SHL 00000c63: DUP2 00000c64: MSTORE 00000c65: PUSH1 0x04 00000c67: ADD 00000c68: PUSH2 0x0c76 00000c6b: SWAP7 00000c6c: SWAP6 00000c6d: SWAP5 00000c6e: SWAP4 00000c6f: SWAP3 00000c70: SWAP2 00000c71: SWAP1 00000c72: PUSH2 0x24aa 00000c75: JUMP 00000c76: JUMPDEST 00000c77: PUSH1 0x60 00000c79: PUSH1 0x40 00000c7b: MLOAD 00000c7c: DUP1 00000c7d: DUP4 00000c7e: SUB 00000c7f: DUP2 00000c80: DUP6 00000c81: DUP9 00000c82: GAS 00000c83: CALL 00000c84: ISZERO 00000c85: DUP1 00000c86: ISZERO 00000c87: PUSH2 0x0c92 00000c8a: JUMPI 00000c8b: RETURNDATASIZE 00000c8c: PUSH0 00000c8d: DUP1 00000c8e: RETURNDATACOPY 00000c8f: RETURNDATASIZE 00000c90: PUSH0 00000c91: REVERT 00000c92: JUMPDEST 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: POP 00000c97: POP 00000c98: PUSH1 0x40 00000c9a: MLOAD 00000c9b: RETURNDATASIZE 00000c9c: PUSH1 0x1f 00000c9e: NOT 00000c9f: PUSH1 0x1f 00000ca1: DUP3 00000ca2: ADD 00000ca3: AND 00000ca4: DUP3 00000ca5: ADD 00000ca6: DUP1 00000ca7: PUSH1 0x40 00000ca9: MSTORE 00000caa: POP 00000cab: DUP2 00000cac: ADD 00000cad: SWAP1 00000cae: PUSH2 0x0cb7 00000cb1: SWAP2 00000cb2: SWAP1 00000cb3: PUSH2 0x251d 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: POP 00000cb9: POP 00000cba: POP 00000cbb: PUSH1 0x13 00000cbd: PUSH0 00000cbe: SWAP1 00000cbf: SLOAD 00000cc0: SWAP1 00000cc1: PUSH2 0x0100 00000cc4: EXP 00000cc5: SWAP1 00000cc6: DIV 00000cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdc: AND 00000cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf2: AND 00000cf3: PUSH4 0x095ea7b3 00000cf8: PUSH1 0x12 00000cfa: PUSH0 00000cfb: SWAP1 00000cfc: SLOAD 00000cfd: SWAP1 00000cfe: PUSH2 0x0100 00000d01: EXP 00000d02: SWAP1 00000d03: DIV 00000d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d19: AND 00000d1a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000d3b: PUSH1 0x40 00000d3d: MLOAD 00000d3e: DUP4 00000d3f: PUSH4 0xffffffff 00000d44: AND 00000d45: PUSH1 0xe0 00000d47: SHL 00000d48: DUP2 00000d49: MSTORE 00000d4a: PUSH1 0x04 00000d4c: ADD 00000d4d: PUSH2 0x0d57 00000d50: SWAP3 00000d51: SWAP2 00000d52: SWAP1 00000d53: PUSH2 0x256d 00000d56: JUMP 00000d57: JUMPDEST 00000d58: PUSH1 0x20 00000d5a: PUSH1 0x40 00000d5c: MLOAD 00000d5d: DUP1 00000d5e: DUP4 00000d5f: SUB 00000d60: DUP2 00000d61: PUSH0 00000d62: DUP8 00000d63: GAS 00000d64: CALL 00000d65: ISZERO 00000d66: DUP1 00000d67: ISZERO 00000d68: PUSH2 0x0d73 00000d6b: JUMPI 00000d6c: RETURNDATASIZE 00000d6d: PUSH0 00000d6e: DUP1 00000d6f: RETURNDATACOPY 00000d70: RETURNDATASIZE 00000d71: PUSH0 00000d72: REVERT 00000d73: JUMPDEST 00000d74: POP 00000d75: POP 00000d76: POP 00000d77: POP 00000d78: PUSH1 0x40 00000d7a: MLOAD 00000d7b: RETURNDATASIZE 00000d7c: PUSH1 0x1f 00000d7e: NOT 00000d7f: PUSH1 0x1f 00000d81: DUP3 00000d82: ADD 00000d83: AND 00000d84: DUP3 00000d85: ADD 00000d86: DUP1 00000d87: PUSH1 0x40 00000d89: MSTORE 00000d8a: POP 00000d8b: DUP2 00000d8c: ADD 00000d8d: SWAP1 00000d8e: PUSH2 0x0d97 00000d91: SWAP2 00000d92: SWAP1 00000d93: PUSH2 0x25be 00000d96: JUMP 00000d97: JUMPDEST 00000d98: POP 00000d99: PUSH1 0x01 00000d9b: PUSH1 0x13 00000d9d: PUSH1 0x16 00000d9f: PUSH2 0x0100 00000da2: EXP 00000da3: DUP2 00000da4: SLOAD 00000da5: DUP2 00000da6: PUSH1 0xff 00000da8: MUL 00000da9: NOT 00000daa: AND 00000dab: SWAP1 00000dac: DUP4 00000dad: ISZERO 00000dae: ISZERO 00000daf: MUL 00000db0: OR 00000db1: SWAP1 00000db2: SSTORE 00000db3: POP 00000db4: PUSH1 0x01 00000db6: PUSH1 0x13 00000db8: PUSH1 0x14 00000dba: PUSH2 0x0100 00000dbd: EXP 00000dbe: DUP2 00000dbf: SLOAD 00000dc0: DUP2 00000dc1: PUSH1 0xff 00000dc3: MUL 00000dc4: NOT 00000dc5: AND 00000dc6: SWAP1 00000dc7: DUP4 00000dc8: ISZERO 00000dc9: ISZERO 00000dca: MUL 00000dcb: OR 00000dcc: SWAP1 00000dcd: SSTORE 00000dce: POP 00000dcf: NUMBER 00000dd0: PUSH1 0x05 00000dd2: DUP2 00000dd3: SWAP1 00000dd4: SSTORE 00000dd5: POP 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH0 00000dd9: PUSH1 0x02 00000ddb: PUSH0 00000ddc: DUP5 00000ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df2: AND 00000df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e08: AND 00000e09: DUP2 00000e0a: MSTORE 00000e0b: PUSH1 0x20 00000e0d: ADD 00000e0e: SWAP1 00000e0f: DUP2 00000e10: MSTORE 00000e11: PUSH1 0x20 00000e13: ADD 00000e14: PUSH0 00000e15: KECCAK256 00000e16: PUSH0 00000e17: DUP4 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: AND 00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e43: AND 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: ADD 00000e49: SWAP1 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: PUSH1 0x20 00000e4e: ADD 00000e4f: PUSH0 00000e50: KECCAK256 00000e51: SLOAD 00000e52: SWAP1 00000e53: POP 00000e54: SWAP3 00000e55: SWAP2 00000e56: POP 00000e57: POP 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: PUSH0 00000e5b: CALLER 00000e5c: SWAP1 00000e5d: POP 00000e5e: SWAP1 00000e5f: JUMP 00000e60: JUMPDEST 00000e61: PUSH0 00000e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e77: AND 00000e78: DUP4 00000e79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8e: AND 00000e8f: SUB 00000e90: PUSH2 0x0ece 00000e93: JUMPI 00000e94: PUSH1 0x40 00000e96: MLOAD 00000e97: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb8: DUP2 00000eb9: MSTORE 00000eba: PUSH1 0x04 00000ebc: ADD 00000ebd: PUSH2 0x0ec5 00000ec0: SWAP1 00000ec1: PUSH2 0x2659 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x40 00000ec8: MLOAD 00000ec9: DUP1 00000eca: SWAP2 00000ecb: SUB 00000ecc: SWAP1 00000ecd: REVERT 00000ece: JUMPDEST 00000ecf: PUSH0 00000ed0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee5: AND 00000ee6: DUP3 00000ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efc: AND 00000efd: SUB 00000efe: PUSH2 0x0f3c 00000f01: JUMPI 00000f02: PUSH1 0x40 00000f04: MLOAD 00000f05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x04 00000f2a: ADD 00000f2b: PUSH2 0x0f33 00000f2e: SWAP1 00000f2f: PUSH2 0x26e7 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH1 0x40 00000f36: MLOAD 00000f37: DUP1 00000f38: SWAP2 00000f39: SUB 00000f3a: SWAP1 00000f3b: REVERT 00000f3c: JUMPDEST 00000f3d: DUP1 00000f3e: PUSH1 0x02 00000f40: PUSH0 00000f41: DUP6 00000f42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f57: AND 00000f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6d: AND 00000f6e: DUP2 00000f6f: MSTORE 00000f70: PUSH1 0x20 00000f72: ADD 00000f73: SWAP1 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x20 00000f78: ADD 00000f79: PUSH0 00000f7a: KECCAK256 00000f7b: PUSH0 00000f7c: DUP5 00000f7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f92: AND 00000f93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa8: AND 00000fa9: DUP2 00000faa: MSTORE 00000fab: PUSH1 0x20 00000fad: ADD 00000fae: SWAP1 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH1 0x20 00000fb3: ADD 00000fb4: PUSH0 00000fb5: KECCAK256 00000fb6: DUP2 00000fb7: SWAP1 00000fb8: SSTORE 00000fb9: POP 00000fba: DUP2 00000fbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd0: AND 00000fd1: DUP4 00000fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe7: AND 00000fe8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001009: DUP4 0000100a: PUSH1 0x40 0000100c: MLOAD 0000100d: PUSH2 0x1016 00001010: SWAP2 00001011: SWAP1 00001012: PUSH2 0x201d 00001015: JUMP 00001016: JUMPDEST 00001017: PUSH1 0x40 00001019: MLOAD 0000101a: DUP1 0000101b: SWAP2 0000101c: SUB 0000101d: SWAP1 0000101e: LOG3 0000101f: POP 00001020: POP 00001021: POP 00001022: JUMP 00001023: JUMPDEST 00001024: PUSH0 00001025: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103a: AND 0000103b: DUP4 0000103c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001051: AND 00001052: SUB 00001053: PUSH2 0x1091 00001056: JUMPI 00001057: PUSH1 0x40 00001059: MLOAD 0000105a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH1 0x04 0000107f: ADD 00001080: PUSH2 0x1088 00001083: SWAP1 00001084: PUSH2 0x2775 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH1 0x40 0000108b: MLOAD 0000108c: DUP1 0000108d: SWAP2 0000108e: SUB 0000108f: SWAP1 00001090: REVERT 00001091: JUMPDEST 00001092: PUSH0 00001093: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a8: AND 000010a9: DUP3 000010aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bf: AND 000010c0: SUB 000010c1: PUSH2 0x10ff 000010c4: JUMPI 000010c5: PUSH1 0x40 000010c7: MLOAD 000010c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x04 000010ed: ADD 000010ee: PUSH2 0x10f6 000010f1: SWAP1 000010f2: PUSH2 0x2803 000010f5: JUMP 000010f6: JUMPDEST 000010f7: PUSH1 0x40 000010f9: MLOAD 000010fa: DUP1 000010fb: SWAP2 000010fc: SUB 000010fd: SWAP1 000010fe: REVERT 000010ff: JUMPDEST 00001100: PUSH0 00001101: DUP2 00001102: GT 00001103: PUSH2 0x1141 00001106: JUMPI 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000112b: DUP2 0000112c: MSTORE 0000112d: PUSH1 0x04 0000112f: ADD 00001130: PUSH2 0x1138 00001133: SWAP1 00001134: PUSH2 0x2891 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH1 0x40 0000113b: MLOAD 0000113c: DUP1 0000113d: SWAP2 0000113e: SUB 0000113f: SWAP1 00001140: REVERT 00001141: JUMPDEST 00001142: PUSH0 00001143: PUSH2 0x114a 00001146: PUSH2 0x0820 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001160: AND 00001161: DUP5 00001162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001177: AND 00001178: EQ 00001179: ISZERO 0000117a: DUP1 0000117b: ISZERO 0000117c: PUSH2 0x11b8 0000117f: JUMPI 00001180: POP 00001181: PUSH2 0x1188 00001184: PUSH2 0x0820 00001187: JUMP 00001188: JUMPDEST 00001189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119e: AND 0000119f: DUP4 000011a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b5: AND 000011b6: EQ 000011b7: ISZERO 000011b8: JUMPDEST 000011b9: ISZERO 000011ba: PUSH2 0x168d 000011bd: JUMPI 000011be: PUSH2 0x11f9 000011c1: PUSH1 0x64 000011c3: PUSH2 0x11eb 000011c6: PUSH1 0x0a 000011c8: SLOAD 000011c9: PUSH1 0x0d 000011cb: SLOAD 000011cc: GT 000011cd: PUSH2 0x11d8 000011d0: JUMPI 000011d1: PUSH1 0x06 000011d3: SLOAD 000011d4: PUSH2 0x11dc 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x08 000011db: SLOAD 000011dc: JUMPDEST 000011dd: DUP6 000011de: PUSH2 0x199f 000011e1: SWAP1 000011e2: SWAP2 000011e3: SWAP1 000011e4: PUSH4 0xffffffff 000011e9: AND 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH2 0x1a16 000011ef: SWAP1 000011f0: SWAP2 000011f1: SWAP1 000011f2: PUSH4 0xffffffff 000011f7: AND 000011f8: JUMP 000011f9: JUMPDEST 000011fa: SWAP1 000011fb: POP 000011fc: PUSH1 0x13 000011fe: PUSH0 000011ff: SWAP1 00001200: SLOAD 00001201: SWAP1 00001202: PUSH2 0x0100 00001205: EXP 00001206: SWAP1 00001207: DIV 00001208: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121d: AND 0000121e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001233: AND 00001234: DUP5 00001235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124a: AND 0000124b: EQ 0000124c: DUP1 0000124d: ISZERO 0000124e: PUSH2 0x12a4 00001251: JUMPI 00001252: POP 00001253: PUSH1 0x12 00001255: PUSH0 00001256: SWAP1 00001257: SLOAD 00001258: SWAP1 00001259: PUSH2 0x0100 0000125c: EXP 0000125d: SWAP1 0000125e: DIV 0000125f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001274: AND 00001275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128a: AND 0000128b: DUP4 0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a1: AND 000012a2: EQ 000012a3: ISZERO 000012a4: JUMPDEST 000012a5: DUP1 000012a6: ISZERO 000012a7: PUSH2 0x12f7 000012aa: JUMPI 000012ab: POP 000012ac: PUSH1 0x03 000012ae: PUSH0 000012af: DUP5 000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c5: AND 000012c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012db: AND 000012dc: DUP2 000012dd: MSTORE 000012de: PUSH1 0x20 000012e0: ADD 000012e1: SWAP1 000012e2: DUP2 000012e3: MSTORE 000012e4: PUSH1 0x20 000012e6: ADD 000012e7: PUSH0 000012e8: KECCAK256 000012e9: PUSH0 000012ea: SWAP1 000012eb: SLOAD 000012ec: SWAP1 000012ed: PUSH2 0x0100 000012f0: EXP 000012f1: SWAP1 000012f2: DIV 000012f3: PUSH1 0xff 000012f5: AND 000012f6: ISZERO 000012f7: JUMPDEST 000012f8: ISZERO 000012f9: PUSH2 0x13da 000012fc: JUMPI 000012fd: PUSH1 0x0e 000012ff: SLOAD 00001300: DUP3 00001301: GT 00001302: ISZERO 00001303: PUSH2 0x1341 00001306: JUMPI 00001307: PUSH1 0x40 00001309: MLOAD 0000130a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000132b: DUP2 0000132c: MSTORE 0000132d: PUSH1 0x04 0000132f: ADD 00001330: PUSH2 0x1338 00001333: SWAP1 00001334: PUSH2 0x28f9 00001337: JUMP 00001338: JUMPDEST 00001339: PUSH1 0x40 0000133b: MLOAD 0000133c: DUP1 0000133d: SWAP2 0000133e: SUB 0000133f: SWAP1 00001340: REVERT 00001341: JUMPDEST 00001342: PUSH1 0x0f 00001344: SLOAD 00001345: DUP3 00001346: PUSH2 0x134e 00001349: DUP6 0000134a: PUSH2 0x0554 0000134d: JUMP 0000134e: JUMPDEST 0000134f: PUSH2 0x1358 00001352: SWAP2 00001353: SWAP1 00001354: PUSH2 0x2917 00001357: JUMP 00001358: JUMPDEST 00001359: GT 0000135a: ISZERO 0000135b: PUSH2 0x1399 0000135e: JUMPI 0000135f: PUSH1 0x40 00001361: MLOAD 00001362: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001383: DUP2 00001384: MSTORE 00001385: PUSH1 0x04 00001387: ADD 00001388: PUSH2 0x1390 0000138b: SWAP1 0000138c: PUSH2 0x2994 0000138f: JUMP 00001390: JUMPDEST 00001391: PUSH1 0x40 00001393: MLOAD 00001394: DUP1 00001395: SWAP2 00001396: SUB 00001397: SWAP1 00001398: REVERT 00001399: JUMPDEST 0000139a: NUMBER 0000139b: PUSH1 0x03 0000139d: PUSH1 0x05 0000139f: SLOAD 000013a0: PUSH2 0x13a9 000013a3: SWAP2 000013a4: SWAP1 000013a5: PUSH2 0x2917 000013a8: JUMP 000013a9: JUMPDEST 000013aa: GT 000013ab: ISZERO 000013ac: PUSH2 0x13c2 000013af: JUMPI 000013b0: PUSH2 0x13b8 000013b3: DUP4 000013b4: PUSH2 0x1a5f 000013b7: JUMP 000013b8: JUMPDEST 000013b9: ISZERO 000013ba: PUSH2 0x13c1 000013bd: JUMPI 000013be: PUSH0 000013bf: DUP1 000013c0: REVERT 000013c1: JUMPDEST 000013c2: JUMPDEST 000013c3: PUSH1 0x0d 000013c5: PUSH0 000013c6: DUP2 000013c7: SLOAD 000013c8: DUP1 000013c9: SWAP3 000013ca: SWAP2 000013cb: SWAP1 000013cc: PUSH2 0x13d4 000013cf: SWAP1 000013d0: PUSH2 0x29b2 000013d3: JUMP 000013d4: JUMPDEST 000013d5: SWAP2 000013d6: SWAP1 000013d7: POP 000013d8: SSTORE 000013d9: POP 000013da: JUMPDEST 000013db: PUSH1 0x13 000013dd: PUSH0 000013de: SWAP1 000013df: SLOAD 000013e0: SWAP1 000013e1: PUSH2 0x0100 000013e4: EXP 000013e5: SWAP1 000013e6: DIV 000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fc: AND 000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001412: AND 00001413: DUP4 00001414: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001429: AND 0000142a: EQ 0000142b: ISZERO 0000142c: DUP1 0000142d: ISZERO 0000142e: PUSH2 0x147e 00001431: JUMPI 00001432: POP 00001433: PUSH1 0x03 00001435: PUSH0 00001436: DUP5 00001437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144c: AND 0000144d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001462: AND 00001463: DUP2 00001464: MSTORE 00001465: PUSH1 0x20 00001467: ADD 00001468: SWAP1 00001469: DUP2 0000146a: MSTORE 0000146b: PUSH1 0x20 0000146d: ADD 0000146e: PUSH0 0000146f: KECCAK256 00001470: PUSH0 00001471: SWAP1 00001472: SLOAD 00001473: SWAP1 00001474: PUSH2 0x0100 00001477: EXP 00001478: SWAP1 00001479: DIV 0000147a: PUSH1 0xff 0000147c: AND 0000147d: ISZERO 0000147e: JUMPDEST 0000147f: ISZERO 00001480: PUSH2 0x14dc 00001483: JUMPI 00001484: PUSH1 0x0f 00001486: SLOAD 00001487: DUP3 00001488: PUSH2 0x1490 0000148b: DUP6 0000148c: PUSH2 0x0554 0000148f: JUMP 00001490: JUMPDEST 00001491: PUSH2 0x149a 00001494: SWAP2 00001495: SWAP1 00001496: PUSH2 0x2917 00001499: JUMP 0000149a: JUMPDEST 0000149b: GT 0000149c: ISZERO 0000149d: PUSH2 0x14db 000014a0: JUMPI 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x04 000014c9: ADD 000014ca: PUSH2 0x14d2 000014cd: SWAP1 000014ce: PUSH2 0x2994 000014d1: JUMP 000014d2: JUMPDEST 000014d3: PUSH1 0x40 000014d5: MLOAD 000014d6: DUP1 000014d7: SWAP2 000014d8: SUB 000014d9: SWAP1 000014da: REVERT 000014db: JUMPDEST 000014dc: JUMPDEST 000014dd: PUSH1 0x13 000014df: PUSH0 000014e0: SWAP1 000014e1: SLOAD 000014e2: SWAP1 000014e3: PUSH2 0x0100 000014e6: EXP 000014e7: SWAP1 000014e8: DIV 000014e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014fe: AND 000014ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001514: AND 00001515: DUP4 00001516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152b: AND 0000152c: EQ 0000152d: DUP1 0000152e: ISZERO 0000152f: PUSH2 0x1564 00001532: JUMPI 00001533: POP 00001534: ADDRESS 00001535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154a: AND 0000154b: DUP5 0000154c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001561: AND 00001562: EQ 00001563: ISZERO 00001564: JUMPDEST 00001565: ISZERO 00001566: PUSH2 0x15a8 00001569: JUMPI 0000156a: PUSH2 0x15a5 0000156d: PUSH1 0x64 0000156f: PUSH2 0x1597 00001572: PUSH1 0x0b 00001574: SLOAD 00001575: PUSH1 0x0d 00001577: SLOAD 00001578: GT 00001579: PUSH2 0x1584 0000157c: JUMPI 0000157d: PUSH1 0x07 0000157f: SLOAD 00001580: PUSH2 0x1588 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH1 0x09 00001587: SLOAD 00001588: JUMPDEST 00001589: DUP6 0000158a: PUSH2 0x199f 0000158d: SWAP1 0000158e: SWAP2 0000158f: SWAP1 00001590: PUSH4 0xffffffff 00001595: AND 00001596: JUMP 00001597: JUMPDEST 00001598: PUSH2 0x1a16 0000159b: SWAP1 0000159c: SWAP2 0000159d: SWAP1 0000159e: PUSH4 0xffffffff 000015a3: AND 000015a4: JUMP 000015a5: JUMPDEST 000015a6: SWAP1 000015a7: POP 000015a8: JUMPDEST 000015a9: PUSH0 000015aa: PUSH2 0x15b2 000015ad: ADDRESS 000015ae: PUSH2 0x0554 000015b1: JUMP 000015b2: JUMPDEST 000015b3: SWAP1 000015b4: POP 000015b5: PUSH1 0x13 000015b7: PUSH1 0x15 000015b9: SWAP1 000015ba: SLOAD 000015bb: SWAP1 000015bc: PUSH2 0x0100 000015bf: EXP 000015c0: SWAP1 000015c1: DIV 000015c2: PUSH1 0xff 000015c4: AND 000015c5: ISZERO 000015c6: DUP1 000015c7: ISZERO 000015c8: PUSH2 0x161d 000015cb: JUMPI 000015cc: POP 000015cd: PUSH1 0x13 000015cf: PUSH0 000015d0: SWAP1 000015d1: SLOAD 000015d2: SWAP1 000015d3: PUSH2 0x0100 000015d6: EXP 000015d7: SWAP1 000015d8: DIV 000015d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ee: AND 000015ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001604: AND 00001605: DUP5 00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161b: AND 0000161c: EQ 0000161d: JUMPDEST 0000161e: DUP1 0000161f: ISZERO 00001620: PUSH2 0x1635 00001623: JUMPI 00001624: POP 00001625: PUSH1 0x13 00001627: PUSH1 0x16 00001629: SWAP1 0000162a: SLOAD 0000162b: SWAP1 0000162c: PUSH2 0x0100 0000162f: EXP 00001630: SWAP1 00001631: DIV 00001632: PUSH1 0xff 00001634: AND 00001635: JUMPDEST 00001636: DUP1 00001637: ISZERO 00001638: PUSH2 0x1642 0000163b: JUMPI 0000163c: POP 0000163d: PUSH1 0x10 0000163f: SLOAD 00001640: DUP2 00001641: GT 00001642: JUMPDEST 00001643: DUP1 00001644: ISZERO 00001645: PUSH2 0x1651 00001648: JUMPI 00001649: POP 0000164a: PUSH1 0x0c 0000164c: SLOAD 0000164d: PUSH1 0x0d 0000164f: SLOAD 00001650: GT 00001651: JUMPDEST 00001652: ISZERO 00001653: PUSH2 0x168b 00001656: JUMPI 00001657: PUSH2 0x1673 0000165a: PUSH2 0x166e 0000165d: DUP5 0000165e: PUSH2 0x1669 00001661: DUP5 00001662: PUSH1 0x11 00001664: SLOAD 00001665: PUSH2 0x1a70 00001668: JUMP 00001669: JUMPDEST 0000166a: PUSH2 0x1a70 0000166d: JUMP 0000166e: JUMPDEST 0000166f: PUSH2 0x1a88 00001672: JUMP 00001673: JUMPDEST 00001674: PUSH0 00001675: SELFBALANCE 00001676: SWAP1 00001677: POP 00001678: PUSH0 00001679: DUP2 0000167a: GT 0000167b: ISZERO 0000167c: PUSH2 0x1689 0000167f: JUMPI 00001680: PUSH2 0x1688 00001683: SELFBALANCE 00001684: PUSH2 0x1cf3 00001687: JUMP 00001688: JUMPDEST 00001689: JUMPDEST 0000168a: POP 0000168b: JUMPDEST 0000168c: POP 0000168d: JUMPDEST 0000168e: PUSH0 0000168f: DUP2 00001690: GT 00001691: ISZERO 00001692: PUSH2 0x178c 00001695: JUMPI 00001696: PUSH2 0x16e5 00001699: DUP2 0000169a: PUSH1 0x01 0000169c: PUSH0 0000169d: ADDRESS 0000169e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b3: AND 000016b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c9: AND 000016ca: DUP2 000016cb: MSTORE 000016cc: PUSH1 0x20 000016ce: ADD 000016cf: SWAP1 000016d0: DUP2 000016d1: MSTORE 000016d2: PUSH1 0x20 000016d4: ADD 000016d5: PUSH0 000016d6: KECCAK256 000016d7: SLOAD 000016d8: PUSH2 0x1d5b 000016db: SWAP1 000016dc: SWAP2 000016dd: SWAP1 000016de: PUSH4 0xffffffff 000016e3: AND 000016e4: JUMP 000016e5: JUMPDEST 000016e6: PUSH1 0x01 000016e8: PUSH0 000016e9: ADDRESS 000016ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ff: AND 00001700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001715: AND 00001716: DUP2 00001717: MSTORE 00001718: PUSH1 0x20 0000171a: ADD 0000171b: SWAP1 0000171c: DUP2 0000171d: MSTORE 0000171e: PUSH1 0x20 00001720: ADD 00001721: PUSH0 00001722: KECCAK256 00001723: DUP2 00001724: SWAP1 00001725: SSTORE 00001726: POP 00001727: ADDRESS 00001728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173d: AND 0000173e: DUP5 0000173f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001754: AND 00001755: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001776: DUP4 00001777: PUSH1 0x40 00001779: MLOAD 0000177a: PUSH2 0x1783 0000177d: SWAP2 0000177e: SWAP1 0000177f: PUSH2 0x201d 00001782: JUMP 00001783: JUMPDEST 00001784: PUSH1 0x40 00001786: MLOAD 00001787: DUP1 00001788: SWAP2 00001789: SUB 0000178a: SWAP1 0000178b: LOG3 0000178c: JUMPDEST 0000178d: PUSH2 0x17dc 00001790: DUP3 00001791: PUSH1 0x01 00001793: PUSH0 00001794: DUP8 00001795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017aa: AND 000017ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c0: AND 000017c1: DUP2 000017c2: MSTORE 000017c3: PUSH1 0x20 000017c5: ADD 000017c6: SWAP1 000017c7: DUP2 000017c8: MSTORE 000017c9: PUSH1 0x20 000017cb: ADD 000017cc: PUSH0 000017cd: KECCAK256 000017ce: SLOAD 000017cf: PUSH2 0x1db8 000017d2: SWAP1 000017d3: SWAP2 000017d4: SWAP1 000017d5: PUSH4 0xffffffff 000017da: AND 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH1 0x01 000017df: PUSH0 000017e0: DUP7 000017e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f6: AND 000017f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180c: AND 0000180d: DUP2 0000180e: MSTORE 0000180f: PUSH1 0x20 00001811: ADD 00001812: SWAP1 00001813: DUP2 00001814: MSTORE 00001815: PUSH1 0x20 00001817: ADD 00001818: PUSH0 00001819: KECCAK256 0000181a: DUP2 0000181b: SWAP1 0000181c: SSTORE 0000181d: POP 0000181e: PUSH2 0x187f 00001821: PUSH2 0x1833 00001824: DUP3 00001825: DUP5 00001826: PUSH2 0x1db8 00001829: SWAP1 0000182a: SWAP2 0000182b: SWAP1 0000182c: PUSH4 0xffffffff 00001831: AND 00001832: JUMP 00001833: JUMPDEST 00001834: PUSH1 0x01 00001836: PUSH0 00001837: DUP7 00001838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000184d: AND 0000184e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001863: AND 00001864: DUP2 00001865: MSTORE 00001866: PUSH1 0x20 00001868: ADD 00001869: SWAP1 0000186a: DUP2 0000186b: MSTORE 0000186c: PUSH1 0x20 0000186e: ADD 0000186f: PUSH0 00001870: KECCAK256 00001871: SLOAD 00001872: PUSH2 0x1d5b 00001875: SWAP1 00001876: SWAP2 00001877: SWAP1 00001878: PUSH4 0xffffffff 0000187d: AND 0000187e: JUMP 0000187f: JUMPDEST 00001880: PUSH1 0x01 00001882: PUSH0 00001883: DUP6 00001884: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001899: AND 0000189a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018af: AND 000018b0: DUP2 000018b1: MSTORE 000018b2: PUSH1 0x20 000018b4: ADD 000018b5: SWAP1 000018b6: DUP2 000018b7: MSTORE 000018b8: PUSH1 0x20 000018ba: ADD 000018bb: PUSH0 000018bc: KECCAK256 000018bd: DUP2 000018be: SWAP1 000018bf: SSTORE 000018c0: POP 000018c1: DUP3 000018c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d7: AND 000018d8: DUP5 000018d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ee: AND 000018ef: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001910: PUSH2 0x1922 00001913: DUP5 00001914: DUP7 00001915: PUSH2 0x1db8 00001918: SWAP1 00001919: SWAP2 0000191a: SWAP1 0000191b: PUSH4 0xffffffff 00001920: AND 00001921: JUMP 00001922: JUMPDEST 00001923: PUSH1 0x40 00001925: MLOAD 00001926: PUSH2 0x192f 00001929: SWAP2 0000192a: SWAP1 0000192b: PUSH2 0x201d 0000192e: JUMP 0000192f: JUMPDEST 00001930: PUSH1 0x40 00001932: MLOAD 00001933: DUP1 00001934: SWAP2 00001935: SUB 00001936: SWAP1 00001937: LOG3 00001938: POP 00001939: POP 0000193a: POP 0000193b: POP 0000193c: JUMP 0000193d: JUMPDEST 0000193e: PUSH0 0000193f: DUP4 00001940: DUP4 00001941: GT 00001942: ISZERO 00001943: DUP3 00001944: SWAP1 00001945: PUSH2 0x1984 00001948: JUMPI 00001949: PUSH1 0x40 0000194b: MLOAD 0000194c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000196d: DUP2 0000196e: MSTORE 0000196f: PUSH1 0x04 00001971: ADD 00001972: PUSH2 0x197b 00001975: SWAP2 00001976: SWAP1 00001977: PUSH2 0x1eec 0000197a: JUMP 0000197b: JUMPDEST 0000197c: PUSH1 0x40 0000197e: MLOAD 0000197f: DUP1 00001980: SWAP2 00001981: SUB 00001982: SWAP1 00001983: REVERT 00001984: JUMPDEST 00001985: POP 00001986: PUSH0 00001987: DUP4 00001988: DUP6 00001989: PUSH2 0x1992 0000198c: SWAP2 0000198d: SWAP1 0000198e: PUSH2 0x29f9 00001991: JUMP 00001992: JUMPDEST 00001993: SWAP1 00001994: POP 00001995: DUP1 00001996: SWAP2 00001997: POP 00001998: POP 00001999: SWAP4 0000199a: SWAP3 0000199b: POP 0000199c: POP 0000199d: POP 0000199e: JUMP 0000199f: JUMPDEST 000019a0: PUSH0 000019a1: DUP1 000019a2: DUP4 000019a3: SUB 000019a4: PUSH2 0x19af 000019a7: JUMPI 000019a8: PUSH0 000019a9: SWAP1 000019aa: POP 000019ab: PUSH2 0x1a10 000019ae: JUMP 000019af: JUMPDEST 000019b0: PUSH0 000019b1: DUP3 000019b2: DUP5 000019b3: PUSH2 0x19bc 000019b6: SWAP2 000019b7: SWAP1 000019b8: PUSH2 0x22f1 000019bb: JUMP 000019bc: JUMPDEST 000019bd: SWAP1 000019be: POP 000019bf: DUP3 000019c0: DUP5 000019c1: DUP3 000019c2: PUSH2 0x19cb 000019c5: SWAP2 000019c6: SWAP1 000019c7: PUSH2 0x2a59 000019ca: JUMP 000019cb: JUMPDEST 000019cc: EQ 000019cd: PUSH2 0x1a0b 000019d0: JUMPI 000019d1: PUSH1 0x40 000019d3: MLOAD 000019d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019f5: DUP2 000019f6: MSTORE 000019f7: PUSH1 0x04 000019f9: ADD 000019fa: PUSH2 0x1a02 000019fd: SWAP1 000019fe: PUSH2 0x2af9 00001a01: JUMP 00001a02: JUMPDEST 00001a03: PUSH1 0x40 00001a05: MLOAD 00001a06: DUP1 00001a07: SWAP2 00001a08: SUB 00001a09: SWAP1 00001a0a: REVERT 00001a0b: JUMPDEST 00001a0c: DUP1 00001a0d: SWAP2 00001a0e: POP 00001a0f: POP 00001a10: JUMPDEST 00001a11: SWAP3 00001a12: SWAP2 00001a13: POP 00001a14: POP 00001a15: JUMP 00001a16: JUMPDEST 00001a17: PUSH0 00001a18: PUSH2 0x1a57 00001a1b: DUP4 00001a1c: DUP4 00001a1d: PUSH1 0x40 00001a1f: MLOAD 00001a20: DUP1 00001a21: PUSH1 0x40 00001a23: ADD 00001a24: PUSH1 0x40 00001a26: MSTORE 00001a27: DUP1 00001a28: PUSH1 0x1a 00001a2a: DUP2 00001a2b: MSTORE 00001a2c: PUSH1 0x20 00001a2e: ADD 00001a2f: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001a50: DUP2 00001a51: MSTORE 00001a52: POP 00001a53: PUSH2 0x1e01 00001a56: JUMP 00001a57: JUMPDEST 00001a58: SWAP1 00001a59: POP 00001a5a: SWAP3 00001a5b: SWAP2 00001a5c: POP 00001a5d: POP 00001a5e: JUMP 00001a5f: JUMPDEST 00001a60: PUSH0 00001a61: DUP1 00001a62: DUP3 00001a63: EXTCODESIZE 00001a64: SWAP1 00001a65: POP 00001a66: PUSH0 00001a67: DUP2 00001a68: GT 00001a69: SWAP2 00001a6a: POP 00001a6b: POP 00001a6c: SWAP2 00001a6d: SWAP1 00001a6e: POP 00001a6f: JUMP 00001a70: JUMPDEST 00001a71: PUSH0 00001a72: DUP2 00001a73: DUP4 00001a74: GT 00001a75: PUSH2 0x1a7e 00001a78: JUMPI 00001a79: DUP3 00001a7a: PUSH2 0x1a80 00001a7d: JUMP 00001a7e: JUMPDEST 00001a7f: DUP2 00001a80: JUMPDEST 00001a81: SWAP1 00001a82: POP 00001a83: SWAP3 00001a84: SWAP2 00001a85: POP 00001a86: POP 00001a87: JUMP 00001a88: JUMPDEST 00001a89: PUSH1 0x01 00001a8b: PUSH1 0x13 00001a8d: PUSH1 0x15 00001a8f: PUSH2 0x0100 00001a92: EXP 00001a93: DUP2 00001a94: SLOAD 00001a95: DUP2 00001a96: PUSH1 0xff 00001a98: MUL 00001a99: NOT 00001a9a: AND 00001a9b: SWAP1 00001a9c: DUP4 00001a9d: ISZERO 00001a9e: ISZERO 00001a9f: MUL 00001aa0: OR 00001aa1: SWAP1 00001aa2: SSTORE 00001aa3: POP 00001aa4: PUSH0 00001aa5: PUSH1 0x02 00001aa7: PUSH8 0xffffffffffffffff 00001ab0: DUP2 00001ab1: GT 00001ab2: ISZERO 00001ab3: PUSH2 0x1abf 00001ab6: JUMPI 00001ab7: PUSH2 0x1abe 00001aba: PUSH2 0x2b17 00001abd: JUMP 00001abe: JUMPDEST 00001abf: JUMPDEST 00001ac0: PUSH1 0x40 00001ac2: MLOAD 00001ac3: SWAP1 00001ac4: DUP1 00001ac5: DUP3 00001ac6: MSTORE 00001ac7: DUP1 00001ac8: PUSH1 0x20 00001aca: MUL 00001acb: PUSH1 0x20 00001acd: ADD 00001ace: DUP3 00001acf: ADD 00001ad0: PUSH1 0x40 00001ad2: MSTORE 00001ad3: DUP1 00001ad4: ISZERO 00001ad5: PUSH2 0x1aed 00001ad8: JUMPI 00001ad9: DUP2 00001ada: PUSH1 0x20 00001adc: ADD 00001add: PUSH1 0x20 00001adf: DUP3 00001ae0: MUL 00001ae1: DUP1 00001ae2: CALLDATASIZE 00001ae3: DUP4 00001ae4: CALLDATACOPY 00001ae5: DUP1 00001ae6: DUP3 00001ae7: ADD 00001ae8: SWAP2 00001ae9: POP 00001aea: POP 00001aeb: SWAP1 00001aec: POP 00001aed: JUMPDEST 00001aee: POP 00001aef: SWAP1 00001af0: POP 00001af1: ADDRESS 00001af2: DUP2 00001af3: PUSH0 00001af4: DUP2 00001af5: MLOAD 00001af6: DUP2 00001af7: LT 00001af8: PUSH2 0x1b04 00001afb: JUMPI 00001afc: PUSH2 0x1b03 00001aff: PUSH2 0x2b44 00001b02: JUMP 00001b03: JUMPDEST 00001b04: JUMPDEST 00001b05: PUSH1 0x20 00001b07: MUL 00001b08: PUSH1 0x20 00001b0a: ADD 00001b0b: ADD 00001b0c: SWAP1 00001b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b22: AND 00001b23: SWAP1 00001b24: DUP2 00001b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3a: AND 00001b3b: DUP2 00001b3c: MSTORE 00001b3d: POP 00001b3e: POP 00001b3f: PUSH1 0x12 00001b41: PUSH0 00001b42: SWAP1 00001b43: SLOAD 00001b44: SWAP1 00001b45: PUSH2 0x0100 00001b48: EXP 00001b49: SWAP1 00001b4a: DIV 00001b4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b60: AND 00001b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b76: AND 00001b77: PUSH4 0xad5c4648 00001b7c: PUSH1 0x40 00001b7e: MLOAD 00001b7f: DUP2 00001b80: PUSH4 0xffffffff 00001b85: AND 00001b86: PUSH1 0xe0 00001b88: SHL 00001b89: DUP2 00001b8a: MSTORE 00001b8b: PUSH1 0x04 00001b8d: ADD 00001b8e: PUSH1 0x20 00001b90: PUSH1 0x40 00001b92: MLOAD 00001b93: DUP1 00001b94: DUP4 00001b95: SUB 00001b96: DUP2 00001b97: DUP7 00001b98: GAS 00001b99: STATICCALL 00001b9a: ISZERO 00001b9b: DUP1 00001b9c: ISZERO 00001b9d: PUSH2 0x1ba8 00001ba0: JUMPI 00001ba1: RETURNDATASIZE 00001ba2: PUSH0 00001ba3: DUP1 00001ba4: RETURNDATACOPY 00001ba5: RETURNDATASIZE 00001ba6: PUSH0 00001ba7: REVERT 00001ba8: JUMPDEST 00001ba9: POP 00001baa: POP 00001bab: POP 00001bac: POP 00001bad: PUSH1 0x40 00001baf: MLOAD 00001bb0: RETURNDATASIZE 00001bb1: PUSH1 0x1f 00001bb3: NOT 00001bb4: PUSH1 0x1f 00001bb6: DUP3 00001bb7: ADD 00001bb8: AND 00001bb9: DUP3 00001bba: ADD 00001bbb: DUP1 00001bbc: PUSH1 0x40 00001bbe: MSTORE 00001bbf: POP 00001bc0: DUP2 00001bc1: ADD 00001bc2: SWAP1 00001bc3: PUSH2 0x1bcc 00001bc6: SWAP2 00001bc7: SWAP1 00001bc8: PUSH2 0x2416 00001bcb: JUMP 00001bcc: JUMPDEST 00001bcd: DUP2 00001bce: PUSH1 0x01 00001bd0: DUP2 00001bd1: MLOAD 00001bd2: DUP2 00001bd3: LT 00001bd4: PUSH2 0x1be0 00001bd7: JUMPI 00001bd8: PUSH2 0x1bdf 00001bdb: PUSH2 0x2b44 00001bde: JUMP 00001bdf: JUMPDEST 00001be0: JUMPDEST 00001be1: PUSH1 0x20 00001be3: MUL 00001be4: PUSH1 0x20 00001be6: ADD 00001be7: ADD 00001be8: SWAP1 00001be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfe: AND 00001bff: SWAP1 00001c00: DUP2 00001c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c16: AND 00001c17: DUP2 00001c18: MSTORE 00001c19: POP 00001c1a: POP 00001c1b: PUSH2 0x1c46 00001c1e: ADDRESS 00001c1f: PUSH1 0x12 00001c21: PUSH0 00001c22: SWAP1 00001c23: SLOAD 00001c24: SWAP1 00001c25: PUSH2 0x0100 00001c28: EXP 00001c29: SWAP1 00001c2a: DIV 00001c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c40: AND 00001c41: DUP5 00001c42: PUSH2 0x0e60 00001c45: JUMP 00001c46: JUMPDEST 00001c47: PUSH1 0x12 00001c49: PUSH0 00001c4a: SWAP1 00001c4b: SLOAD 00001c4c: SWAP1 00001c4d: PUSH2 0x0100 00001c50: EXP 00001c51: SWAP1 00001c52: DIV 00001c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c68: AND 00001c69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7e: AND 00001c7f: PUSH4 0x791ac947 00001c84: DUP4 00001c85: PUSH0 00001c86: DUP5 00001c87: ADDRESS 00001c88: TIMESTAMP 00001c89: PUSH1 0x40 00001c8b: MLOAD 00001c8c: DUP7 00001c8d: PUSH4 0xffffffff 00001c92: AND 00001c93: PUSH1 0xe0 00001c95: SHL 00001c96: DUP2 00001c97: MSTORE 00001c98: PUSH1 0x04 00001c9a: ADD 00001c9b: PUSH2 0x1ca8 00001c9e: SWAP6 00001c9f: SWAP5 00001ca0: SWAP4 00001ca1: SWAP3 00001ca2: SWAP2 00001ca3: SWAP1 00001ca4: PUSH2 0x2c28 00001ca7: JUMP 00001ca8: JUMPDEST 00001ca9: PUSH0 00001caa: PUSH1 0x40 00001cac: MLOAD 00001cad: DUP1 00001cae: DUP4 00001caf: SUB 00001cb0: DUP2 00001cb1: PUSH0 00001cb2: DUP8 00001cb3: DUP1 00001cb4: EXTCODESIZE 00001cb5: ISZERO 00001cb6: DUP1 00001cb7: ISZERO 00001cb8: PUSH2 0x1cbf 00001cbb: JUMPI 00001cbc: PUSH0 00001cbd: DUP1 00001cbe: REVERT 00001cbf: JUMPDEST 00001cc0: POP 00001cc1: GAS 00001cc2: CALL 00001cc3: ISZERO 00001cc4: DUP1 00001cc5: ISZERO 00001cc6: PUSH2 0x1cd1 00001cc9: JUMPI 00001cca: RETURNDATASIZE 00001ccb: PUSH0 00001ccc: DUP1 00001ccd: RETURNDATACOPY 00001cce: RETURNDATASIZE 00001ccf: PUSH0 00001cd0: REVERT 00001cd1: JUMPDEST 00001cd2: POP 00001cd3: POP 00001cd4: POP 00001cd5: POP 00001cd6: POP 00001cd7: PUSH0 00001cd8: PUSH1 0x13 00001cda: PUSH1 0x15 00001cdc: PUSH2 0x0100 00001cdf: EXP 00001ce0: DUP2 00001ce1: SLOAD 00001ce2: DUP2 00001ce3: PUSH1 0xff 00001ce5: MUL 00001ce6: NOT 00001ce7: AND 00001ce8: SWAP1 00001ce9: DUP4 00001cea: ISZERO 00001ceb: ISZERO 00001cec: MUL 00001ced: OR 00001cee: SWAP1 00001cef: SSTORE 00001cf0: POP 00001cf1: POP 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: PUSH1 0x04 00001cf6: PUSH0 00001cf7: SWAP1 00001cf8: SLOAD 00001cf9: SWAP1 00001cfa: PUSH2 0x0100 00001cfd: EXP 00001cfe: SWAP1 00001cff: DIV 00001d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d15: AND 00001d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d2b: AND 00001d2c: PUSH2 0x08fc 00001d2f: DUP3 00001d30: SWAP1 00001d31: DUP2 00001d32: ISZERO 00001d33: MUL 00001d34: SWAP1 00001d35: PUSH1 0x40 00001d37: MLOAD 00001d38: PUSH0 00001d39: PUSH1 0x40 00001d3b: MLOAD 00001d3c: DUP1 00001d3d: DUP4 00001d3e: SUB 00001d3f: DUP2 00001d40: DUP6 00001d41: DUP9 00001d42: DUP9 00001d43: CALL 00001d44: SWAP4 00001d45: POP 00001d46: POP 00001d47: POP 00001d48: POP 00001d49: ISZERO 00001d4a: DUP1 00001d4b: ISZERO 00001d4c: PUSH2 0x1d57 00001d4f: JUMPI 00001d50: RETURNDATASIZE 00001d51: PUSH0 00001d52: DUP1 00001d53: RETURNDATACOPY 00001d54: RETURNDATASIZE 00001d55: PUSH0 00001d56: REVERT 00001d57: JUMPDEST 00001d58: POP 00001d59: POP 00001d5a: JUMP 00001d5b: JUMPDEST 00001d5c: PUSH0 00001d5d: DUP1 00001d5e: DUP3 00001d5f: DUP5 00001d60: PUSH2 0x1d69 00001d63: SWAP2 00001d64: SWAP1 00001d65: PUSH2 0x2917 00001d68: JUMP 00001d69: JUMPDEST 00001d6a: SWAP1 00001d6b: POP 00001d6c: DUP4 00001d6d: DUP2 00001d6e: LT 00001d6f: ISZERO 00001d70: PUSH2 0x1dae 00001d73: JUMPI 00001d74: PUSH1 0x40 00001d76: MLOAD 00001d77: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d98: DUP2 00001d99: MSTORE 00001d9a: PUSH1 0x04 00001d9c: ADD 00001d9d: PUSH2 0x1da5 00001da0: SWAP1 00001da1: PUSH2 0x2cca 00001da4: JUMP 00001da5: JUMPDEST 00001da6: PUSH1 0x40 00001da8: MLOAD 00001da9: DUP1 00001daa: SWAP2 00001dab: SUB 00001dac: SWAP1 00001dad: REVERT 00001dae: JUMPDEST 00001daf: DUP1 00001db0: SWAP2 00001db1: POP 00001db2: POP 00001db3: SWAP3 00001db4: SWAP2 00001db5: POP 00001db6: POP 00001db7: JUMP 00001db8: JUMPDEST 00001db9: PUSH0 00001dba: PUSH2 0x1df9 00001dbd: DUP4 00001dbe: DUP4 00001dbf: PUSH1 0x40 00001dc1: MLOAD 00001dc2: DUP1 00001dc3: PUSH1 0x40 00001dc5: ADD 00001dc6: PUSH1 0x40 00001dc8: MSTORE 00001dc9: DUP1 00001dca: PUSH1 0x1e 00001dcc: DUP2 00001dcd: MSTORE 00001dce: PUSH1 0x20 00001dd0: ADD 00001dd1: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001df2: DUP2 00001df3: MSTORE 00001df4: POP 00001df5: PUSH2 0x193d 00001df8: JUMP 00001df9: JUMPDEST 00001dfa: SWAP1 00001dfb: POP 00001dfc: SWAP3 00001dfd: SWAP2 00001dfe: POP 00001dff: POP 00001e00: JUMP 00001e01: JUMPDEST 00001e02: PUSH0 00001e03: DUP1 00001e04: DUP4 00001e05: GT 00001e06: DUP3 00001e07: SWAP1 00001e08: PUSH2 0x1e47 00001e0b: JUMPI 00001e0c: PUSH1 0x40 00001e0e: MLOAD 00001e0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e30: DUP2 00001e31: MSTORE 00001e32: PUSH1 0x04 00001e34: ADD 00001e35: PUSH2 0x1e3e 00001e38: SWAP2 00001e39: SWAP1 00001e3a: PUSH2 0x1eec 00001e3d: JUMP 00001e3e: JUMPDEST 00001e3f: PUSH1 0x40 00001e41: MLOAD 00001e42: DUP1 00001e43: SWAP2 00001e44: SUB 00001e45: SWAP1 00001e46: REVERT 00001e47: JUMPDEST 00001e48: POP 00001e49: PUSH0 00001e4a: DUP4 00001e4b: DUP6 00001e4c: PUSH2 0x1e55 00001e4f: SWAP2 00001e50: SWAP1 00001e51: PUSH2 0x2a59 00001e54: JUMP 00001e55: JUMPDEST 00001e56: SWAP1 00001e57: POP 00001e58: DUP1 00001e59: SWAP2 00001e5a: POP 00001e5b: POP 00001e5c: SWAP4 00001e5d: SWAP3 00001e5e: POP 00001e5f: POP 00001e60: POP 00001e61: JUMP 00001e62: JUMPDEST 00001e63: PUSH0 00001e64: DUP2 00001e65: MLOAD 00001e66: SWAP1 00001e67: POP 00001e68: SWAP2 00001e69: SWAP1 00001e6a: POP 00001e6b: JUMP 00001e6c: JUMPDEST 00001e6d: PUSH0 00001e6e: DUP3 00001e6f: DUP3 00001e70: MSTORE 00001e71: PUSH1 0x20 00001e73: DUP3 00001e74: ADD 00001e75: SWAP1 00001e76: POP 00001e77: SWAP3 00001e78: SWAP2 00001e79: POP 00001e7a: POP 00001e7b: JUMP 00001e7c: JUMPDEST 00001e7d: PUSH0 00001e7e: JUMPDEST 00001e7f: DUP4 00001e80: DUP2 00001e81: LT 00001e82: ISZERO 00001e83: PUSH2 0x1e99 00001e86: JUMPI 00001e87: DUP1 00001e88: DUP3 00001e89: ADD 00001e8a: MLOAD 00001e8b: DUP2 00001e8c: DUP5 00001e8d: ADD 00001e8e: MSTORE 00001e8f: PUSH1 0x20 00001e91: DUP2 00001e92: ADD 00001e93: SWAP1 00001e94: POP 00001e95: PUSH2 0x1e7e 00001e98: JUMP 00001e99: JUMPDEST 00001e9a: PUSH0 00001e9b: DUP5 00001e9c: DUP5 00001e9d: ADD 00001e9e: MSTORE 00001e9f: POP 00001ea0: POP 00001ea1: POP 00001ea2: POP 00001ea3: JUMP 00001ea4: JUMPDEST 00001ea5: PUSH0 00001ea6: PUSH1 0x1f 00001ea8: NOT 00001ea9: PUSH1 0x1f 00001eab: DUP4 00001eac: ADD 00001ead: AND 00001eae: SWAP1 00001eaf: POP 00001eb0: SWAP2 00001eb1: SWAP1 00001eb2: POP 00001eb3: JUMP 00001eb4: JUMPDEST 00001eb5: PUSH0 00001eb6: PUSH2 0x1ebe 00001eb9: DUP3 00001eba: PUSH2 0x1e62 00001ebd: JUMP 00001ebe: JUMPDEST 00001ebf: PUSH2 0x1ec8 00001ec2: DUP2 00001ec3: DUP6 00001ec4: PUSH2 0x1e6c 00001ec7: JUMP 00001ec8: JUMPDEST 00001ec9: SWAP4 00001eca: POP 00001ecb: PUSH2 0x1ed8 00001ece: DUP2 00001ecf: DUP6 00001ed0: PUSH1 0x20 00001ed2: DUP7 00001ed3: ADD 00001ed4: PUSH2 0x1e7c 00001ed7: JUMP 00001ed8: JUMPDEST 00001ed9: PUSH2 0x1ee1 00001edc: DUP2 00001edd: PUSH2 0x1ea4 00001ee0: JUMP 00001ee1: JUMPDEST 00001ee2: DUP5 00001ee3: ADD 00001ee4: SWAP2 00001ee5: POP 00001ee6: POP 00001ee7: SWAP3 00001ee8: SWAP2 00001ee9: POP 00001eea: POP 00001eeb: JUMP 00001eec: JUMPDEST 00001eed: PUSH0 00001eee: PUSH1 0x20 00001ef0: DUP3 00001ef1: ADD 00001ef2: SWAP1 00001ef3: POP 00001ef4: DUP2 00001ef5: DUP2 00001ef6: SUB 00001ef7: PUSH0 00001ef8: DUP4 00001ef9: ADD 00001efa: MSTORE 00001efb: PUSH2 0x1f04 00001efe: DUP2 00001eff: DUP5 00001f00: PUSH2 0x1eb4 00001f03: JUMP 00001f04: JUMPDEST 00001f05: SWAP1 00001f06: POP 00001f07: SWAP3 00001f08: SWAP2 00001f09: POP 00001f0a: POP 00001f0b: JUMP 00001f0c: JUMPDEST 00001f0d: PUSH0 00001f0e: DUP1 00001f0f: REVERT 00001f10: JUMPDEST 00001f11: PUSH0 00001f12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f27: DUP3 00001f28: AND 00001f29: SWAP1 00001f2a: POP 00001f2b: SWAP2 00001f2c: SWAP1 00001f2d: POP 00001f2e: JUMP 00001f2f: JUMPDEST 00001f30: PUSH0 00001f31: PUSH2 0x1f39 00001f34: DUP3 00001f35: PUSH2 0x1f10 00001f38: JUMP 00001f39: JUMPDEST 00001f3a: SWAP1 00001f3b: POP 00001f3c: SWAP2 00001f3d: SWAP1 00001f3e: POP 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: PUSH2 0x1f49 00001f44: DUP2 00001f45: PUSH2 0x1f2f 00001f48: JUMP 00001f49: JUMPDEST 00001f4a: DUP2 00001f4b: EQ 00001f4c: PUSH2 0x1f53 00001f4f: JUMPI 00001f50: PUSH0 00001f51: DUP1 00001f52: REVERT 00001f53: JUMPDEST 00001f54: POP 00001f55: JUMP 00001f56: JUMPDEST 00001f57: PUSH0 00001f58: DUP2 00001f59: CALLDATALOAD 00001f5a: SWAP1 00001f5b: POP 00001f5c: PUSH2 0x1f64 00001f5f: DUP2 00001f60: PUSH2 0x1f40 00001f63: JUMP 00001f64: JUMPDEST 00001f65: SWAP3 00001f66: SWAP2 00001f67: POP 00001f68: POP 00001f69: JUMP 00001f6a: JUMPDEST 00001f6b: PUSH0 00001f6c: DUP2 00001f6d: SWAP1 00001f6e: POP 00001f6f: SWAP2 00001f70: SWAP1 00001f71: POP 00001f72: JUMP 00001f73: JUMPDEST 00001f74: PUSH2 0x1f7c 00001f77: DUP2 00001f78: PUSH2 0x1f6a 00001f7b: JUMP 00001f7c: JUMPDEST 00001f7d: DUP2 00001f7e: EQ 00001f7f: PUSH2 0x1f86 00001f82: JUMPI 00001f83: PUSH0 00001f84: DUP1 00001f85: REVERT 00001f86: JUMPDEST 00001f87: POP 00001f88: JUMP 00001f89: JUMPDEST 00001f8a: PUSH0 00001f8b: DUP2 00001f8c: CALLDATALOAD 00001f8d: SWAP1 00001f8e: POP 00001f8f: PUSH2 0x1f97 00001f92: DUP2 00001f93: PUSH2 0x1f73 00001f96: JUMP 00001f97: JUMPDEST 00001f98: SWAP3 00001f99: SWAP2 00001f9a: POP 00001f9b: POP 00001f9c: JUMP 00001f9d: JUMPDEST 00001f9e: PUSH0 00001f9f: DUP1 00001fa0: PUSH1 0x40 00001fa2: DUP4 00001fa3: DUP6 00001fa4: SUB 00001fa5: SLT 00001fa6: ISZERO 00001fa7: PUSH2 0x1fb3 00001faa: JUMPI 00001fab: PUSH2 0x1fb2 00001fae: PUSH2 0x1f0c 00001fb1: JUMP 00001fb2: JUMPDEST 00001fb3: JUMPDEST 00001fb4: PUSH0 00001fb5: PUSH2 0x1fc0 00001fb8: DUP6 00001fb9: DUP3 00001fba: DUP7 00001fbb: ADD 00001fbc: PUSH2 0x1f56 00001fbf: JUMP 00001fc0: JUMPDEST 00001fc1: SWAP3 00001fc2: POP 00001fc3: POP 00001fc4: PUSH1 0x20 00001fc6: PUSH2 0x1fd1 00001fc9: DUP6 00001fca: DUP3 00001fcb: DUP7 00001fcc: ADD 00001fcd: PUSH2 0x1f89 00001fd0: JUMP 00001fd1: JUMPDEST 00001fd2: SWAP2 00001fd3: POP 00001fd4: POP 00001fd5: SWAP3 00001fd6: POP 00001fd7: SWAP3 00001fd8: SWAP1 00001fd9: POP 00001fda: JUMP 00001fdb: JUMPDEST 00001fdc: PUSH0 00001fdd: DUP2 00001fde: ISZERO 00001fdf: ISZERO 00001fe0: SWAP1 00001fe1: POP 00001fe2: SWAP2 00001fe3: SWAP1 00001fe4: POP 00001fe5: JUMP 00001fe6: JUMPDEST 00001fe7: PUSH2 0x1fef 00001fea: DUP2 00001feb: PUSH2 0x1fdb 00001fee: JUMP 00001fef: JUMPDEST 00001ff0: DUP3 00001ff1: MSTORE 00001ff2: POP 00001ff3: POP 00001ff4: JUMP 00001ff5: JUMPDEST 00001ff6: PUSH0 00001ff7: PUSH1 0x20 00001ff9: DUP3 00001ffa: ADD 00001ffb: SWAP1 00001ffc: POP 00001ffd: PUSH2 0x2008 00002000: PUSH0 00002001: DUP4 00002002: ADD 00002003: DUP5 00002004: PUSH2 0x1fe6 00002007: JUMP 00002008: JUMPDEST 00002009: SWAP3 0000200a: SWAP2 0000200b: POP 0000200c: POP 0000200d: JUMP 0000200e: JUMPDEST 0000200f: PUSH2 0x2017 00002012: DUP2 00002013: PUSH2 0x1f6a 00002016: JUMP 00002017: JUMPDEST 00002018: DUP3 00002019: MSTORE 0000201a: POP 0000201b: POP 0000201c: JUMP 0000201d: JUMPDEST 0000201e: PUSH0 0000201f: PUSH1 0x20 00002021: DUP3 00002022: ADD 00002023: SWAP1 00002024: POP 00002025: PUSH2 0x2030 00002028: PUSH0 00002029: DUP4 0000202a: ADD 0000202b: DUP5 0000202c: PUSH2 0x200e 0000202f: JUMP 00002030: JUMPDEST 00002031: SWAP3 00002032: SWAP2 00002033: POP 00002034: POP 00002035: JUMP 00002036: JUMPDEST 00002037: PUSH0 00002038: DUP1 00002039: PUSH0 0000203a: PUSH1 0x60 0000203c: DUP5 0000203d: DUP7 0000203e: SUB 0000203f: SLT 00002040: ISZERO 00002041: PUSH2 0x204d 00002044: JUMPI 00002045: PUSH2 0x204c 00002048: PUSH2 0x1f0c 0000204b: JUMP 0000204c: JUMPDEST 0000204d: JUMPDEST 0000204e: PUSH0 0000204f: PUSH2 0x205a 00002052: DUP7 00002053: DUP3 00002054: DUP8 00002055: ADD 00002056: PUSH2 0x1f56 00002059: JUMP 0000205a: JUMPDEST 0000205b: SWAP4 0000205c: POP 0000205d: POP 0000205e: PUSH1 0x20 00002060: PUSH2 0x206b 00002063: DUP7 00002064: DUP3 00002065: DUP8 00002066: ADD 00002067: PUSH2 0x1f56 0000206a: JUMP 0000206b: JUMPDEST 0000206c: SWAP3 0000206d: POP 0000206e: POP 0000206f: PUSH1 0x40 00002071: PUSH2 0x207c 00002074: DUP7 00002075: DUP3 00002076: DUP8 00002077: ADD 00002078: PUSH2 0x1f89 0000207b: JUMP 0000207c: JUMPDEST 0000207d: SWAP2 0000207e: POP 0000207f: POP 00002080: SWAP3 00002081: POP 00002082: SWAP3 00002083: POP 00002084: SWAP3 00002085: JUMP 00002086: JUMPDEST 00002087: PUSH0 00002088: PUSH1 0xff 0000208a: DUP3 0000208b: AND 0000208c: SWAP1 0000208d: POP 0000208e: SWAP2 0000208f: SWAP1 00002090: POP 00002091: JUMP 00002092: JUMPDEST 00002093: PUSH2 0x209b 00002096: DUP2 00002097: PUSH2 0x2086 0000209a: JUMP 0000209b: JUMPDEST 0000209c: DUP3 0000209d: MSTORE 0000209e: POP 0000209f: POP 000020a0: JUMP 000020a1: JUMPDEST 000020a2: PUSH0 000020a3: PUSH1 0x20 000020a5: DUP3 000020a6: ADD 000020a7: SWAP1 000020a8: POP 000020a9: PUSH2 0x20b4 000020ac: PUSH0 000020ad: DUP4 000020ae: ADD 000020af: DUP5 000020b0: PUSH2 0x2092 000020b3: JUMP 000020b4: JUMPDEST 000020b5: SWAP3 000020b6: SWAP2 000020b7: POP 000020b8: POP 000020b9: JUMP 000020ba: JUMPDEST 000020bb: PUSH0 000020bc: PUSH1 0x20 000020be: DUP3 000020bf: DUP5 000020c0: SUB 000020c1: SLT 000020c2: ISZERO 000020c3: PUSH2 0x20cf 000020c6: JUMPI 000020c7: PUSH2 0x20ce 000020ca: PUSH2 0x1f0c 000020cd: JUMP 000020ce: JUMPDEST 000020cf: JUMPDEST 000020d0: PUSH0 000020d1: PUSH2 0x20dc 000020d4: DUP5 000020d5: DUP3 000020d6: DUP6 000020d7: ADD 000020d8: PUSH2 0x1f56 000020db: JUMP 000020dc: JUMPDEST 000020dd: SWAP2 000020de: POP 000020df: POP 000020e0: SWAP3 000020e1: SWAP2 000020e2: POP 000020e3: POP 000020e4: JUMP 000020e5: JUMPDEST 000020e6: PUSH2 0x20ee 000020e9: DUP2 000020ea: PUSH2 0x1f2f 000020ed: JUMP 000020ee: JUMPDEST 000020ef: DUP3 000020f0: MSTORE 000020f1: POP 000020f2: POP 000020f3: JUMP 000020f4: JUMPDEST 000020f5: PUSH0 000020f6: PUSH1 0x20 000020f8: DUP3 000020f9: ADD 000020fa: SWAP1 000020fb: POP 000020fc: PUSH2 0x2107 000020ff: PUSH0 00002100: DUP4 00002101: ADD 00002102: DUP5 00002103: PUSH2 0x20e5 00002106: JUMP 00002107: JUMPDEST 00002108: SWAP3 00002109: SWAP2 0000210a: POP 0000210b: POP 0000210c: JUMP 0000210d: JUMPDEST 0000210e: PUSH0 0000210f: DUP1 00002110: PUSH1 0x40 00002112: DUP4 00002113: DUP6 00002114: SUB 00002115: SLT 00002116: ISZERO 00002117: PUSH2 0x2123 0000211a: JUMPI 0000211b: PUSH2 0x2122 0000211e: PUSH2 0x1f0c 00002121: JUMP 00002122: JUMPDEST 00002123: JUMPDEST 00002124: PUSH0 00002125: PUSH2 0x2130 00002128: DUP6 00002129: DUP3 0000212a: DUP7 0000212b: ADD 0000212c: PUSH2 0x1f56 0000212f: JUMP 00002130: JUMPDEST 00002131: SWAP3 00002132: POP 00002133: POP 00002134: PUSH1 0x20 00002136: PUSH2 0x2141 00002139: DUP6 0000213a: DUP3 0000213b: DUP7 0000213c: ADD 0000213d: PUSH2 0x1f56 00002140: JUMP 00002141: JUMPDEST 00002142: SWAP2 00002143: POP 00002144: POP 00002145: SWAP3 00002146: POP 00002147: SWAP3 00002148: SWAP1 00002149: POP 0000214a: JUMP 0000214b: JUMPDEST 0000214c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000216d: PUSH0 0000216e: MSTORE 0000216f: PUSH1 0x11 00002171: PUSH1 0x04 00002173: MSTORE 00002174: PUSH1 0x24 00002176: PUSH0 00002177: REVERT 00002178: JUMPDEST 00002179: PUSH0 0000217a: DUP2 0000217b: PUSH1 0x01 0000217d: SHR 0000217e: SWAP1 0000217f: POP 00002180: SWAP2 00002181: SWAP1 00002182: POP 00002183: JUMP 00002184: JUMPDEST 00002185: PUSH0 00002186: DUP1 00002187: DUP3 00002188: SWAP2 00002189: POP 0000218a: DUP4 0000218b: SWAP1 0000218c: POP 0000218d: JUMPDEST 0000218e: PUSH1 0x01 00002190: DUP6 00002191: GT 00002192: ISZERO 00002193: PUSH2 0x21cd 00002196: JUMPI 00002197: DUP1 00002198: DUP7 00002199: DIV 0000219a: DUP2 0000219b: GT 0000219c: ISZERO 0000219d: PUSH2 0x21a9 000021a0: JUMPI 000021a1: PUSH2 0x21a8 000021a4: PUSH2 0x214b 000021a7: JUMP 000021a8: JUMPDEST 000021a9: JUMPDEST 000021aa: PUSH1 0x01 000021ac: DUP6 000021ad: AND 000021ae: ISZERO 000021af: PUSH2 0x21b8 000021b2: JUMPI 000021b3: DUP1 000021b4: DUP3 000021b5: MUL 000021b6: SWAP2 000021b7: POP 000021b8: JUMPDEST 000021b9: DUP1 000021ba: DUP2 000021bb: MUL 000021bc: SWAP1 000021bd: POP 000021be: PUSH2 0x21c6 000021c1: DUP6 000021c2: PUSH2 0x2178 000021c5: JUMP 000021c6: JUMPDEST 000021c7: SWAP5 000021c8: POP 000021c9: PUSH2 0x218d 000021cc: JUMP 000021cd: JUMPDEST 000021ce: SWAP5 000021cf: POP 000021d0: SWAP5 000021d1: SWAP3 000021d2: POP 000021d3: POP 000021d4: POP 000021d5: JUMP 000021d6: JUMPDEST 000021d7: PUSH0 000021d8: DUP3 000021d9: PUSH2 0x21e5 000021dc: JUMPI 000021dd: PUSH1 0x01 000021df: SWAP1 000021e0: POP 000021e1: PUSH2 0x22a0 000021e4: JUMP 000021e5: JUMPDEST 000021e6: DUP2 000021e7: PUSH2 0x21f2 000021ea: JUMPI 000021eb: PUSH0 000021ec: SWAP1 000021ed: POP 000021ee: PUSH2 0x22a0 000021f1: JUMP 000021f2: JUMPDEST 000021f3: DUP2 000021f4: PUSH1 0x01 000021f6: DUP2 000021f7: EQ 000021f8: PUSH2 0x2208 000021fb: JUMPI 000021fc: PUSH1 0x02 000021fe: DUP2 000021ff: EQ 00002200: PUSH2 0x2212 00002203: JUMPI 00002204: PUSH2 0x2241 00002207: JUMP 00002208: JUMPDEST 00002209: PUSH1 0x01 0000220b: SWAP2 0000220c: POP 0000220d: POP 0000220e: PUSH2 0x22a0 00002211: JUMP 00002212: JUMPDEST 00002213: PUSH1 0xff 00002215: DUP5 00002216: GT 00002217: ISZERO 00002218: PUSH2 0x2224 0000221b: JUMPI 0000221c: PUSH2 0x2223 0000221f: PUSH2 0x214b 00002222: JUMP 00002223: JUMPDEST 00002224: JUMPDEST 00002225: DUP4 00002226: PUSH1 0x02 00002228: EXP 00002229: SWAP2 0000222a: POP 0000222b: DUP5 0000222c: DUP3 0000222d: GT 0000222e: ISZERO 0000222f: PUSH2 0x223b 00002232: JUMPI 00002233: PUSH2 0x223a 00002236: PUSH2 0x214b 00002239: JUMP 0000223a: JUMPDEST 0000223b: JUMPDEST 0000223c: POP 0000223d: PUSH2 0x22a0 00002240: JUMP 00002241: JUMPDEST 00002242: POP 00002243: PUSH1 0x20 00002245: DUP4 00002246: LT 00002247: PUSH2 0x0133 0000224a: DUP4 0000224b: LT 0000224c: AND 0000224d: PUSH1 0x4e 0000224f: DUP5 00002250: LT 00002251: PUSH1 0x0b 00002253: DUP5 00002254: LT 00002255: AND 00002256: OR 00002257: ISZERO 00002258: PUSH2 0x2276 0000225b: JUMPI 0000225c: DUP3 0000225d: DUP3 0000225e: EXP 0000225f: SWAP1 00002260: POP 00002261: DUP4 00002262: DUP2 00002263: GT 00002264: ISZERO 00002265: PUSH2 0x2271 00002268: JUMPI 00002269: PUSH2 0x2270 0000226c: PUSH2 0x214b 0000226f: JUMP 00002270: JUMPDEST 00002271: JUMPDEST 00002272: PUSH2 0x22a0 00002275: JUMP 00002276: JUMPDEST 00002277: PUSH2 0x2283 0000227a: DUP5 0000227b: DUP5 0000227c: DUP5 0000227d: PUSH1 0x01 0000227f: PUSH2 0x2184 00002282: JUMP 00002283: JUMPDEST 00002284: SWAP3 00002285: POP 00002286: SWAP1 00002287: POP 00002288: DUP2 00002289: DUP5 0000228a: DIV 0000228b: DUP2 0000228c: GT 0000228d: ISZERO 0000228e: PUSH2 0x229a 00002291: JUMPI 00002292: PUSH2 0x2299 00002295: PUSH2 0x214b 00002298: JUMP 00002299: JUMPDEST 0000229a: JUMPDEST 0000229b: DUP2 0000229c: DUP2 0000229d: MUL 0000229e: SWAP1 0000229f: POP 000022a0: JUMPDEST 000022a1: SWAP4 000022a2: SWAP3 000022a3: POP 000022a4: POP 000022a5: POP 000022a6: JUMP 000022a7: JUMPDEST 000022a8: PUSH0 000022a9: PUSH2 0x22b1 000022ac: DUP3 000022ad: PUSH2 0x1f6a 000022b0: JUMP 000022b1: JUMPDEST 000022b2: SWAP2 000022b3: POP 000022b4: PUSH2 0x22bc 000022b7: DUP4 000022b8: PUSH2 0x2086 000022bb: JUMP 000022bc: JUMPDEST 000022bd: SWAP3 000022be: POP 000022bf: PUSH2 0x22e9 000022c2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000022e3: DUP5 000022e4: DUP5 000022e5: PUSH2 0x21d6 000022e8: JUMP 000022e9: JUMPDEST 000022ea: SWAP1 000022eb: POP 000022ec: SWAP3 000022ed: SWAP2 000022ee: POP 000022ef: POP 000022f0: JUMP 000022f1: JUMPDEST 000022f2: PUSH0 000022f3: PUSH2 0x22fb 000022f6: DUP3 000022f7: PUSH2 0x1f6a 000022fa: JUMP 000022fb: JUMPDEST 000022fc: SWAP2 000022fd: POP 000022fe: PUSH2 0x2306 00002301: DUP4 00002302: PUSH2 0x1f6a 00002305: JUMP 00002306: JUMPDEST 00002307: SWAP3 00002308: POP 00002309: DUP3 0000230a: DUP3 0000230b: MUL 0000230c: PUSH2 0x2314 0000230f: DUP2 00002310: PUSH2 0x1f6a 00002313: JUMP 00002314: JUMPDEST 00002315: SWAP2 00002316: POP 00002317: DUP3 00002318: DUP3 00002319: DIV 0000231a: DUP5 0000231b: EQ 0000231c: DUP4 0000231d: ISZERO 0000231e: OR 0000231f: PUSH2 0x232b 00002322: JUMPI 00002323: PUSH2 0x232a 00002326: PUSH2 0x214b 00002329: JUMP 0000232a: JUMPDEST 0000232b: JUMPDEST 0000232c: POP 0000232d: SWAP3 0000232e: SWAP2 0000232f: POP 00002330: POP 00002331: JUMP 00002332: JUMPDEST 00002333: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00002354: PUSH0 00002355: DUP3 00002356: ADD 00002357: MSTORE 00002358: POP 00002359: JUMP 0000235a: JUMPDEST 0000235b: PUSH0 0000235c: PUSH2 0x2366 0000235f: PUSH1 0x20 00002361: DUP4 00002362: PUSH2 0x1e6c 00002365: JUMP 00002366: JUMPDEST 00002367: SWAP2 00002368: POP 00002369: PUSH2 0x2371 0000236c: DUP3 0000236d: PUSH2 0x2332 00002370: JUMP 00002371: JUMPDEST 00002372: PUSH1 0x20 00002374: DUP3 00002375: ADD 00002376: SWAP1 00002377: POP 00002378: SWAP2 00002379: SWAP1 0000237a: POP 0000237b: JUMP 0000237c: JUMPDEST 0000237d: PUSH0 0000237e: PUSH1 0x20 00002380: DUP3 00002381: ADD 00002382: SWAP1 00002383: POP 00002384: DUP2 00002385: DUP2 00002386: SUB 00002387: PUSH0 00002388: DUP4 00002389: ADD 0000238a: MSTORE 0000238b: PUSH2 0x2393 0000238e: DUP2 0000238f: PUSH2 0x235a 00002392: JUMP 00002393: JUMPDEST 00002394: SWAP1 00002395: POP 00002396: SWAP2 00002397: SWAP1 00002398: POP 00002399: JUMP 0000239a: JUMPDEST 0000239b: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 000023bc: PUSH0 000023bd: DUP3 000023be: ADD 000023bf: MSTORE 000023c0: POP 000023c1: JUMP 000023c2: JUMPDEST 000023c3: PUSH0 000023c4: PUSH2 0x23ce 000023c7: PUSH1 0x17 000023c9: DUP4 000023ca: PUSH2 0x1e6c 000023cd: JUMP 000023ce: JUMPDEST 000023cf: SWAP2 000023d0: POP 000023d1: PUSH2 0x23d9 000023d4: DUP3 000023d5: PUSH2 0x239a 000023d8: JUMP 000023d9: JUMPDEST 000023da: PUSH1 0x20 000023dc: DUP3 000023dd: ADD 000023de: SWAP1 000023df: POP 000023e0: SWAP2 000023e1: SWAP1 000023e2: POP 000023e3: JUMP 000023e4: JUMPDEST 000023e5: PUSH0 000023e6: PUSH1 0x20 000023e8: DUP3 000023e9: ADD 000023ea: SWAP1 000023eb: POP 000023ec: DUP2 000023ed: DUP2 000023ee: SUB 000023ef: PUSH0 000023f0: DUP4 000023f1: ADD 000023f2: MSTORE 000023f3: PUSH2 0x23fb 000023f6: DUP2 000023f7: PUSH2 0x23c2 000023fa: JUMP 000023fb: JUMPDEST 000023fc: SWAP1 000023fd: POP 000023fe: SWAP2 000023ff: SWAP1 00002400: POP 00002401: JUMP 00002402: JUMPDEST 00002403: PUSH0 00002404: DUP2 00002405: MLOAD 00002406: SWAP1 00002407: POP 00002408: PUSH2 0x2410 0000240b: DUP2 0000240c: PUSH2 0x1f40 0000240f: JUMP 00002410: JUMPDEST 00002411: SWAP3 00002412: SWAP2 00002413: POP 00002414: POP 00002415: JUMP 00002416: JUMPDEST 00002417: PUSH0 00002418: PUSH1 0x20 0000241a: DUP3 0000241b: DUP5 0000241c: SUB 0000241d: SLT 0000241e: ISZERO 0000241f: PUSH2 0x242b 00002422: JUMPI 00002423: PUSH2 0x242a 00002426: PUSH2 0x1f0c 00002429: JUMP 0000242a: JUMPDEST 0000242b: JUMPDEST 0000242c: PUSH0 0000242d: PUSH2 0x2438 00002430: DUP5 00002431: DUP3 00002432: DUP6 00002433: ADD 00002434: PUSH2 0x2402 00002437: JUMP 00002438: JUMPDEST 00002439: SWAP2 0000243a: POP 0000243b: POP 0000243c: SWAP3 0000243d: SWAP2 0000243e: POP 0000243f: POP 00002440: JUMP 00002441: JUMPDEST 00002442: PUSH0 00002443: PUSH1 0x40 00002445: DUP3 00002446: ADD 00002447: SWAP1 00002448: POP 00002449: PUSH2 0x2454 0000244c: PUSH0 0000244d: DUP4 0000244e: ADD 0000244f: DUP6 00002450: PUSH2 0x20e5 00002453: JUMP 00002454: JUMPDEST 00002455: PUSH2 0x2461 00002458: PUSH1 0x20 0000245a: DUP4 0000245b: ADD 0000245c: DUP5 0000245d: PUSH2 0x20e5 00002460: JUMP 00002461: JUMPDEST 00002462: SWAP4 00002463: SWAP3 00002464: POP 00002465: POP 00002466: POP 00002467: JUMP 00002468: JUMPDEST 00002469: PUSH0 0000246a: DUP2 0000246b: SWAP1 0000246c: POP 0000246d: SWAP2 0000246e: SWAP1 0000246f: POP 00002470: JUMP 00002471: JUMPDEST 00002472: PUSH0 00002473: DUP2 00002474: SWAP1 00002475: POP 00002476: SWAP2 00002477: SWAP1 00002478: POP 00002479: JUMP 0000247a: JUMPDEST 0000247b: PUSH0 0000247c: PUSH2 0x2494 0000247f: PUSH2 0x248f 00002482: PUSH2 0x248a 00002485: DUP5 00002486: PUSH2 0x2468 00002489: JUMP 0000248a: JUMPDEST 0000248b: PUSH2 0x2471 0000248e: JUMP 0000248f: JUMPDEST 00002490: PUSH2 0x1f6a 00002493: JUMP 00002494: JUMPDEST 00002495: SWAP1 00002496: POP 00002497: SWAP2 00002498: SWAP1 00002499: POP 0000249a: JUMP 0000249b: JUMPDEST 0000249c: PUSH2 0x24a4 0000249f: DUP2 000024a0: PUSH2 0x247a 000024a3: JUMP 000024a4: JUMPDEST 000024a5: DUP3 000024a6: MSTORE 000024a7: POP 000024a8: POP 000024a9: JUMP 000024aa: JUMPDEST 000024ab: PUSH0 000024ac: PUSH1 0xc0 000024ae: DUP3 000024af: ADD 000024b0: SWAP1 000024b1: POP 000024b2: PUSH2 0x24bd 000024b5: PUSH0 000024b6: DUP4 000024b7: ADD 000024b8: DUP10 000024b9: PUSH2 0x20e5 000024bc: JUMP 000024bd: JUMPDEST 000024be: PUSH2 0x24ca 000024c1: PUSH1 0x20 000024c3: DUP4 000024c4: ADD 000024c5: DUP9 000024c6: PUSH2 0x200e 000024c9: JUMP 000024ca: JUMPDEST 000024cb: PUSH2 0x24d7 000024ce: PUSH1 0x40 000024d0: DUP4 000024d1: ADD 000024d2: DUP8 000024d3: PUSH2 0x249b 000024d6: JUMP 000024d7: JUMPDEST 000024d8: PUSH2 0x24e4 000024db: PUSH1 0x60 000024dd: DUP4 000024de: ADD 000024df: DUP7 000024e0: PUSH2 0x249b 000024e3: JUMP 000024e4: JUMPDEST 000024e5: PUSH2 0x24f1 000024e8: PUSH1 0x80 000024ea: DUP4 000024eb: ADD 000024ec: DUP6 000024ed: PUSH2 0x20e5 000024f0: JUMP 000024f1: JUMPDEST 000024f2: PUSH2 0x24fe 000024f5: PUSH1 0xa0 000024f7: DUP4 000024f8: ADD 000024f9: DUP5 000024fa: PUSH2 0x200e 000024fd: JUMP 000024fe: JUMPDEST 000024ff: SWAP8 00002500: SWAP7 00002501: POP 00002502: POP 00002503: POP 00002504: POP 00002505: POP 00002506: POP 00002507: POP 00002508: JUMP 00002509: JUMPDEST 0000250a: PUSH0 0000250b: DUP2 0000250c: MLOAD 0000250d: SWAP1 0000250e: POP 0000250f: PUSH2 0x2517 00002512: DUP2 00002513: PUSH2 0x1f73 00002516: JUMP 00002517: JUMPDEST 00002518: SWAP3 00002519: SWAP2 0000251a: POP 0000251b: POP 0000251c: JUMP 0000251d: JUMPDEST 0000251e: PUSH0 0000251f: DUP1 00002520: PUSH0 00002521: PUSH1 0x60 00002523: DUP5 00002524: DUP7 00002525: SUB 00002526: SLT 00002527: ISZERO 00002528: PUSH2 0x2534 0000252b: JUMPI 0000252c: PUSH2 0x2533 0000252f: PUSH2 0x1f0c 00002532: JUMP 00002533: JUMPDEST 00002534: JUMPDEST 00002535: PUSH0 00002536: PUSH2 0x2541 00002539: DUP7 0000253a: DUP3 0000253b: DUP8 0000253c: ADD 0000253d: PUSH2 0x2509 00002540: JUMP 00002541: JUMPDEST 00002542: SWAP4 00002543: POP 00002544: POP 00002545: PUSH1 0x20 00002547: PUSH2 0x2552 0000254a: DUP7 0000254b: DUP3 0000254c: DUP8 0000254d: ADD 0000254e: PUSH2 0x2509 00002551: JUMP 00002552: JUMPDEST 00002553: SWAP3 00002554: POP 00002555: POP 00002556: PUSH1 0x40 00002558: PUSH2 0x2563 0000255b: DUP7 0000255c: DUP3 0000255d: DUP8 0000255e: ADD 0000255f: PUSH2 0x2509 00002562: JUMP 00002563: JUMPDEST 00002564: SWAP2 00002565: POP 00002566: POP 00002567: SWAP3 00002568: POP 00002569: SWAP3 0000256a: POP 0000256b: SWAP3 0000256c: JUMP 0000256d: JUMPDEST 0000256e: PUSH0 0000256f: PUSH1 0x40 00002571: DUP3 00002572: ADD 00002573: SWAP1 00002574: POP 00002575: PUSH2 0x2580 00002578: PUSH0 00002579: DUP4 0000257a: ADD 0000257b: DUP6 0000257c: PUSH2 0x20e5 0000257f: JUMP 00002580: JUMPDEST 00002581: PUSH2 0x258d 00002584: PUSH1 0x20 00002586: DUP4 00002587: ADD 00002588: DUP5 00002589: PUSH2 0x200e 0000258c: JUMP 0000258d: JUMPDEST 0000258e: SWAP4 0000258f: SWAP3 00002590: POP 00002591: POP 00002592: POP 00002593: JUMP 00002594: JUMPDEST 00002595: PUSH2 0x259d 00002598: DUP2 00002599: PUSH2 0x1fdb 0000259c: JUMP 0000259d: JUMPDEST 0000259e: DUP2 0000259f: EQ 000025a0: PUSH2 0x25a7 000025a3: JUMPI 000025a4: PUSH0 000025a5: DUP1 000025a6: REVERT 000025a7: JUMPDEST 000025a8: POP 000025a9: JUMP 000025aa: JUMPDEST 000025ab: PUSH0 000025ac: DUP2 000025ad: MLOAD 000025ae: SWAP1 000025af: POP 000025b0: PUSH2 0x25b8 000025b3: DUP2 000025b4: PUSH2 0x2594 000025b7: JUMP 000025b8: JUMPDEST 000025b9: SWAP3 000025ba: SWAP2 000025bb: POP 000025bc: POP 000025bd: JUMP 000025be: JUMPDEST 000025bf: PUSH0 000025c0: PUSH1 0x20 000025c2: DUP3 000025c3: DUP5 000025c4: SUB 000025c5: SLT 000025c6: ISZERO 000025c7: PUSH2 0x25d3 000025ca: JUMPI 000025cb: PUSH2 0x25d2 000025ce: PUSH2 0x1f0c 000025d1: JUMP 000025d2: JUMPDEST 000025d3: JUMPDEST 000025d4: PUSH0 000025d5: PUSH2 0x25e0 000025d8: DUP5 000025d9: DUP3 000025da: DUP6 000025db: ADD 000025dc: PUSH2 0x25aa 000025df: JUMP 000025e0: JUMPDEST 000025e1: SWAP2 000025e2: POP 000025e3: POP 000025e4: SWAP3 000025e5: SWAP2 000025e6: POP 000025e7: POP 000025e8: JUMP 000025e9: JUMPDEST 000025ea: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 0000260b: PUSH0 0000260c: DUP3 0000260d: ADD 0000260e: MSTORE 0000260f: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00002630: PUSH1 0x20 00002632: DUP3 00002633: ADD 00002634: MSTORE 00002635: POP 00002636: JUMP 00002637: JUMPDEST 00002638: PUSH0 00002639: PUSH2 0x2643 0000263c: PUSH1 0x24 0000263e: DUP4 0000263f: PUSH2 0x1e6c 00002642: JUMP 00002643: JUMPDEST 00002644: SWAP2 00002645: POP 00002646: PUSH2 0x264e 00002649: DUP3 0000264a: PUSH2 0x25e9 0000264d: JUMP 0000264e: JUMPDEST 0000264f: PUSH1 0x40 00002651: DUP3 00002652: ADD 00002653: SWAP1 00002654: POP 00002655: SWAP2 00002656: SWAP1 00002657: POP 00002658: JUMP 00002659: JUMPDEST 0000265a: PUSH0 0000265b: PUSH1 0x20 0000265d: DUP3 0000265e: ADD 0000265f: SWAP1 00002660: POP 00002661: DUP2 00002662: DUP2 00002663: SUB 00002664: PUSH0 00002665: DUP4 00002666: ADD 00002667: MSTORE 00002668: PUSH2 0x2670 0000266b: DUP2 0000266c: PUSH2 0x2637 0000266f: JUMP 00002670: JUMPDEST 00002671: SWAP1 00002672: POP 00002673: SWAP2 00002674: SWAP1 00002675: POP 00002676: JUMP 00002677: JUMPDEST 00002678: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00002699: PUSH0 0000269a: DUP3 0000269b: ADD 0000269c: MSTORE 0000269d: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 000026be: PUSH1 0x20 000026c0: DUP3 000026c1: ADD 000026c2: MSTORE 000026c3: POP 000026c4: JUMP 000026c5: JUMPDEST 000026c6: PUSH0 000026c7: PUSH2 0x26d1 000026ca: PUSH1 0x22 000026cc: DUP4 000026cd: PUSH2 0x1e6c 000026d0: JUMP 000026d1: JUMPDEST 000026d2: SWAP2 000026d3: POP 000026d4: PUSH2 0x26dc 000026d7: DUP3 000026d8: PUSH2 0x2677 000026db: JUMP 000026dc: JUMPDEST 000026dd: PUSH1 0x40 000026df: DUP3 000026e0: ADD 000026e1: SWAP1 000026e2: POP 000026e3: SWAP2 000026e4: SWAP1 000026e5: POP 000026e6: JUMP 000026e7: JUMPDEST 000026e8: PUSH0 000026e9: PUSH1 0x20 000026eb: DUP3 000026ec: ADD 000026ed: SWAP1 000026ee: POP 000026ef: DUP2 000026f0: DUP2 000026f1: SUB 000026f2: PUSH0 000026f3: DUP4 000026f4: ADD 000026f5: MSTORE 000026f6: PUSH2 0x26fe 000026f9: DUP2 000026fa: PUSH2 0x26c5 000026fd: JUMP 000026fe: JUMPDEST 000026ff: SWAP1 00002700: POP 00002701: SWAP2 00002702: SWAP1 00002703: POP 00002704: JUMP 00002705: JUMPDEST 00002706: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00002727: PUSH0 00002728: DUP3 00002729: ADD 0000272a: MSTORE 0000272b: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 0000274c: PUSH1 0x20 0000274e: DUP3 0000274f: ADD 00002750: MSTORE 00002751: POP 00002752: JUMP 00002753: JUMPDEST 00002754: PUSH0 00002755: PUSH2 0x275f 00002758: PUSH1 0x25 0000275a: DUP4 0000275b: PUSH2 0x1e6c 0000275e: JUMP 0000275f: JUMPDEST 00002760: SWAP2 00002761: POP 00002762: PUSH2 0x276a 00002765: DUP3 00002766: PUSH2 0x2705 00002769: JUMP 0000276a: JUMPDEST 0000276b: PUSH1 0x40 0000276d: DUP3 0000276e: ADD 0000276f: SWAP1 00002770: POP 00002771: SWAP2 00002772: SWAP1 00002773: POP 00002774: JUMP 00002775: JUMPDEST 00002776: PUSH0 00002777: PUSH1 0x20 00002779: DUP3 0000277a: ADD 0000277b: SWAP1 0000277c: POP 0000277d: DUP2 0000277e: DUP2 0000277f: SUB 00002780: PUSH0 00002781: DUP4 00002782: ADD 00002783: MSTORE 00002784: PUSH2 0x278c 00002787: DUP2 00002788: PUSH2 0x2753 0000278b: JUMP 0000278c: JUMPDEST 0000278d: SWAP1 0000278e: POP 0000278f: SWAP2 00002790: SWAP1 00002791: POP 00002792: JUMP 00002793: JUMPDEST 00002794: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 000027b5: PUSH0 000027b6: DUP3 000027b7: ADD 000027b8: MSTORE 000027b9: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000 000027da: PUSH1 0x20 000027dc: DUP3 000027dd: ADD 000027de: MSTORE 000027df: POP 000027e0: JUMP 000027e1: JUMPDEST 000027e2: PUSH0 000027e3: PUSH2 0x27ed 000027e6: PUSH1 0x23 000027e8: DUP4 000027e9: PUSH2 0x1e6c 000027ec: JUMP 000027ed: JUMPDEST 000027ee: SWAP2 000027ef: POP 000027f0: PUSH2 0x27f8 000027f3: DUP3 000027f4: PUSH2 0x2793 000027f7: JUMP 000027f8: JUMPDEST 000027f9: PUSH1 0x40 000027fb: DUP3 000027fc: ADD 000027fd: SWAP1 000027fe: POP 000027ff: SWAP2 00002800: SWAP1 00002801: POP 00002802: JUMP 00002803: JUMPDEST 00002804: PUSH0 00002805: PUSH1 0x20 00002807: DUP3 00002808: ADD 00002809: SWAP1 0000280a: POP 0000280b: DUP2 0000280c: DUP2 0000280d: SUB 0000280e: PUSH0 0000280f: DUP4 00002810: ADD 00002811: MSTORE 00002812: PUSH2 0x281a 00002815: DUP2 00002816: PUSH2 0x27e1 00002819: JUMP 0000281a: JUMPDEST 0000281b: SWAP1 0000281c: POP 0000281d: SWAP2 0000281e: SWAP1 0000281f: POP 00002820: JUMP 00002821: JUMPDEST 00002822: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00002843: PUSH0 00002844: DUP3 00002845: ADD 00002846: MSTORE 00002847: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000 00002868: PUSH1 0x20 0000286a: DUP3 0000286b: ADD 0000286c: MSTORE 0000286d: POP 0000286e: JUMP 0000286f: JUMPDEST 00002870: PUSH0 00002871: PUSH2 0x287b 00002874: PUSH1 0x29 00002876: DUP4 00002877: PUSH2 0x1e6c 0000287a: JUMP 0000287b: JUMPDEST 0000287c: SWAP2 0000287d: POP 0000287e: PUSH2 0x2886 00002881: DUP3 00002882: PUSH2 0x2821 00002885: JUMP 00002886: JUMPDEST 00002887: PUSH1 0x40 00002889: DUP3 0000288a: ADD 0000288b: SWAP1 0000288c: POP 0000288d: SWAP2 0000288e: SWAP1 0000288f: POP 00002890: JUMP 00002891: JUMPDEST 00002892: PUSH0 00002893: PUSH1 0x20 00002895: DUP3 00002896: ADD 00002897: SWAP1 00002898: POP 00002899: DUP2 0000289a: DUP2 0000289b: SUB 0000289c: PUSH0 0000289d: DUP4 0000289e: ADD 0000289f: MSTORE 000028a0: PUSH2 0x28a8 000028a3: DUP2 000028a4: PUSH2 0x286f 000028a7: JUMP 000028a8: JUMPDEST 000028a9: SWAP1 000028aa: POP 000028ab: SWAP2 000028ac: SWAP1 000028ad: POP 000028ae: JUMP 000028af: JUMPDEST 000028b0: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 000028d1: PUSH0 000028d2: DUP3 000028d3: ADD 000028d4: MSTORE 000028d5: POP 000028d6: JUMP 000028d7: JUMPDEST 000028d8: PUSH0 000028d9: PUSH2 0x28e3 000028dc: PUSH1 0x19 000028de: DUP4 000028df: PUSH2 0x1e6c 000028e2: JUMP 000028e3: JUMPDEST 000028e4: SWAP2 000028e5: POP 000028e6: PUSH2 0x28ee 000028e9: DUP3 000028ea: PUSH2 0x28af 000028ed: JUMP 000028ee: JUMPDEST 000028ef: PUSH1 0x20 000028f1: DUP3 000028f2: ADD 000028f3: SWAP1 000028f4: POP 000028f5: SWAP2 000028f6: SWAP1 000028f7: POP 000028f8: JUMP 000028f9: JUMPDEST 000028fa: PUSH0 000028fb: PUSH1 0x20 000028fd: DUP3 000028fe: ADD 000028ff: SWAP1 00002900: POP 00002901: DUP2 00002902: DUP2 00002903: SUB 00002904: PUSH0 00002905: DUP4 00002906: ADD 00002907: MSTORE 00002908: PUSH2 0x2910 0000290b: DUP2 0000290c: PUSH2 0x28d7 0000290f: JUMP 00002910: JUMPDEST 00002911: SWAP1 00002912: POP 00002913: SWAP2 00002914: SWAP1 00002915: POP 00002916: JUMP 00002917: JUMPDEST 00002918: PUSH0 00002919: PUSH2 0x2921 0000291c: DUP3 0000291d: PUSH2 0x1f6a 00002920: JUMP 00002921: JUMPDEST 00002922: SWAP2 00002923: POP 00002924: PUSH2 0x292c 00002927: DUP4 00002928: PUSH2 0x1f6a 0000292b: JUMP 0000292c: JUMPDEST 0000292d: SWAP3 0000292e: POP 0000292f: DUP3 00002930: DUP3 00002931: ADD 00002932: SWAP1 00002933: POP 00002934: DUP1 00002935: DUP3 00002936: GT 00002937: ISZERO 00002938: PUSH2 0x2944 0000293b: JUMPI 0000293c: PUSH2 0x2943 0000293f: PUSH2 0x214b 00002942: JUMP 00002943: JUMPDEST 00002944: JUMPDEST 00002945: SWAP3 00002946: SWAP2 00002947: POP 00002948: POP 00002949: JUMP 0000294a: JUMPDEST 0000294b: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 0000296c: PUSH0 0000296d: DUP3 0000296e: ADD 0000296f: MSTORE 00002970: POP 00002971: JUMP 00002972: JUMPDEST 00002973: PUSH0 00002974: PUSH2 0x297e 00002977: PUSH1 0x1a 00002979: DUP4 0000297a: PUSH2 0x1e6c 0000297d: JUMP 0000297e: JUMPDEST 0000297f: SWAP2 00002980: POP 00002981: PUSH2 0x2989 00002984: DUP3 00002985: PUSH2 0x294a 00002988: JUMP 00002989: JUMPDEST 0000298a: PUSH1 0x20 0000298c: DUP3 0000298d: ADD 0000298e: SWAP1 0000298f: POP 00002990: SWAP2 00002991: SWAP1 00002992: POP 00002993: JUMP 00002994: JUMPDEST 00002995: PUSH0 00002996: PUSH1 0x20 00002998: DUP3 00002999: ADD 0000299a: SWAP1 0000299b: POP 0000299c: DUP2 0000299d: DUP2 0000299e: SUB 0000299f: PUSH0 000029a0: DUP4 000029a1: ADD 000029a2: MSTORE 000029a3: PUSH2 0x29ab 000029a6: DUP2 000029a7: PUSH2 0x2972 000029aa: JUMP 000029ab: JUMPDEST 000029ac: SWAP1 000029ad: POP 000029ae: SWAP2 000029af: SWAP1 000029b0: POP 000029b1: JUMP 000029b2: JUMPDEST 000029b3: PUSH0 000029b4: PUSH2 0x29bc 000029b7: DUP3 000029b8: PUSH2 0x1f6a 000029bb: JUMP 000029bc: JUMPDEST 000029bd: SWAP2 000029be: POP 000029bf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000029e0: DUP3 000029e1: SUB 000029e2: PUSH2 0x29ee 000029e5: JUMPI 000029e6: PUSH2 0x29ed 000029e9: PUSH2 0x214b 000029ec: JUMP 000029ed: JUMPDEST 000029ee: JUMPDEST 000029ef: PUSH1 0x01 000029f1: DUP3 000029f2: ADD 000029f3: SWAP1 000029f4: POP 000029f5: SWAP2 000029f6: SWAP1 000029f7: POP 000029f8: JUMP 000029f9: JUMPDEST 000029fa: PUSH0 000029fb: PUSH2 0x2a03 000029fe: DUP3 000029ff: PUSH2 0x1f6a 00002a02: JUMP 00002a03: JUMPDEST 00002a04: SWAP2 00002a05: POP 00002a06: PUSH2 0x2a0e 00002a09: DUP4 00002a0a: PUSH2 0x1f6a 00002a0d: JUMP 00002a0e: JUMPDEST 00002a0f: SWAP3 00002a10: POP 00002a11: DUP3 00002a12: DUP3 00002a13: SUB 00002a14: SWAP1 00002a15: POP 00002a16: DUP2 00002a17: DUP2 00002a18: GT 00002a19: ISZERO 00002a1a: PUSH2 0x2a26 00002a1d: JUMPI 00002a1e: PUSH2 0x2a25 00002a21: PUSH2 0x214b 00002a24: JUMP 00002a25: JUMPDEST 00002a26: JUMPDEST 00002a27: SWAP3 00002a28: SWAP2 00002a29: POP 00002a2a: POP 00002a2b: JUMP 00002a2c: JUMPDEST 00002a2d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002a4e: PUSH0 00002a4f: MSTORE 00002a50: PUSH1 0x12 00002a52: PUSH1 0x04 00002a54: MSTORE 00002a55: PUSH1 0x24 00002a57: PUSH0 00002a58: REVERT 00002a59: JUMPDEST 00002a5a: PUSH0 00002a5b: PUSH2 0x2a63 00002a5e: DUP3 00002a5f: PUSH2 0x1f6a 00002a62: JUMP 00002a63: JUMPDEST 00002a64: SWAP2 00002a65: POP 00002a66: PUSH2 0x2a6e 00002a69: DUP4 00002a6a: PUSH2 0x1f6a 00002a6d: JUMP 00002a6e: JUMPDEST 00002a6f: SWAP3 00002a70: POP 00002a71: DUP3 00002a72: PUSH2 0x2a7e 00002a75: JUMPI 00002a76: PUSH2 0x2a7d 00002a79: PUSH2 0x2a2c 00002a7c: JUMP 00002a7d: JUMPDEST 00002a7e: JUMPDEST 00002a7f: DUP3 00002a80: DUP3 00002a81: DIV 00002a82: SWAP1 00002a83: POP 00002a84: SWAP3 00002a85: SWAP2 00002a86: POP 00002a87: POP 00002a88: JUMP 00002a89: JUMPDEST 00002a8a: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00002aab: PUSH0 00002aac: DUP3 00002aad: ADD 00002aae: MSTORE 00002aaf: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000 00002ad0: PUSH1 0x20 00002ad2: DUP3 00002ad3: ADD 00002ad4: MSTORE 00002ad5: POP 00002ad6: JUMP 00002ad7: JUMPDEST 00002ad8: PUSH0 00002ad9: PUSH2 0x2ae3 00002adc: PUSH1 0x21 00002ade: DUP4 00002adf: PUSH2 0x1e6c 00002ae2: JUMP 00002ae3: JUMPDEST 00002ae4: SWAP2 00002ae5: POP 00002ae6: PUSH2 0x2aee 00002ae9: DUP3 00002aea: PUSH2 0x2a89 00002aed: JUMP 00002aee: JUMPDEST 00002aef: PUSH1 0x40 00002af1: DUP3 00002af2: ADD 00002af3: SWAP1 00002af4: POP 00002af5: SWAP2 00002af6: SWAP1 00002af7: POP 00002af8: JUMP 00002af9: JUMPDEST 00002afa: PUSH0 00002afb: PUSH1 0x20 00002afd: DUP3 00002afe: ADD 00002aff: SWAP1 00002b00: POP 00002b01: DUP2 00002b02: DUP2 00002b03: SUB 00002b04: PUSH0 00002b05: DUP4 00002b06: ADD 00002b07: MSTORE 00002b08: PUSH2 0x2b10 00002b0b: DUP2 00002b0c: PUSH2 0x2ad7 00002b0f: JUMP 00002b10: JUMPDEST 00002b11: SWAP1 00002b12: POP 00002b13: SWAP2 00002b14: SWAP1 00002b15: POP 00002b16: JUMP 00002b17: JUMPDEST 00002b18: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b39: PUSH0 00002b3a: MSTORE 00002b3b: PUSH1 0x41 00002b3d: PUSH1 0x04 00002b3f: MSTORE 00002b40: PUSH1 0x24 00002b42: PUSH0 00002b43: REVERT 00002b44: JUMPDEST 00002b45: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b66: PUSH0 00002b67: MSTORE 00002b68: PUSH1 0x32 00002b6a: PUSH1 0x04 00002b6c: MSTORE 00002b6d: PUSH1 0x24 00002b6f: PUSH0 00002b70: REVERT 00002b71: JUMPDEST 00002b72: PUSH0 00002b73: DUP2 00002b74: MLOAD 00002b75: SWAP1 00002b76: POP 00002b77: SWAP2 00002b78: SWAP1 00002b79: POP 00002b7a: JUMP 00002b7b: JUMPDEST 00002b7c: PUSH0 00002b7d: DUP3 00002b7e: DUP3 00002b7f: MSTORE 00002b80: PUSH1 0x20 00002b82: DUP3 00002b83: ADD 00002b84: SWAP1 00002b85: POP 00002b86: SWAP3 00002b87: SWAP2 00002b88: POP 00002b89: POP 00002b8a: JUMP 00002b8b: JUMPDEST 00002b8c: PUSH0 00002b8d: DUP2 00002b8e: SWAP1 00002b8f: POP 00002b90: PUSH1 0x20 00002b92: DUP3 00002b93: ADD 00002b94: SWAP1 00002b95: POP 00002b96: SWAP2 00002b97: SWAP1 00002b98: POP 00002b99: JUMP 00002b9a: JUMPDEST 00002b9b: PUSH2 0x2ba3 00002b9e: DUP2 00002b9f: PUSH2 0x1f2f 00002ba2: JUMP 00002ba3: JUMPDEST 00002ba4: DUP3 00002ba5: MSTORE 00002ba6: POP 00002ba7: POP 00002ba8: JUMP 00002ba9: JUMPDEST 00002baa: PUSH0 00002bab: PUSH2 0x2bb4 00002bae: DUP4 00002baf: DUP4 00002bb0: PUSH2 0x2b9a 00002bb3: JUMP 00002bb4: JUMPDEST 00002bb5: PUSH1 0x20 00002bb7: DUP4 00002bb8: ADD 00002bb9: SWAP1 00002bba: POP 00002bbb: SWAP3 00002bbc: SWAP2 00002bbd: POP 00002bbe: POP 00002bbf: JUMP 00002bc0: JUMPDEST 00002bc1: PUSH0 00002bc2: PUSH1 0x20 00002bc4: DUP3 00002bc5: ADD 00002bc6: SWAP1 00002bc7: POP 00002bc8: SWAP2 00002bc9: SWAP1 00002bca: POP 00002bcb: JUMP 00002bcc: JUMPDEST 00002bcd: PUSH0 00002bce: PUSH2 0x2bd6 00002bd1: DUP3 00002bd2: PUSH2 0x2b71 00002bd5: JUMP 00002bd6: JUMPDEST 00002bd7: PUSH2 0x2be0 00002bda: DUP2 00002bdb: DUP6 00002bdc: PUSH2 0x2b7b 00002bdf: JUMP 00002be0: JUMPDEST 00002be1: SWAP4 00002be2: POP 00002be3: PUSH2 0x2beb 00002be6: DUP4 00002be7: PUSH2 0x2b8b 00002bea: JUMP 00002beb: JUMPDEST 00002bec: DUP1 00002bed: PUSH0 00002bee: JUMPDEST 00002bef: DUP4 00002bf0: DUP2 00002bf1: LT 00002bf2: ISZERO 00002bf3: PUSH2 0x2c1b 00002bf6: JUMPI 00002bf7: DUP2 00002bf8: MLOAD 00002bf9: PUSH2 0x2c02 00002bfc: DUP9 00002bfd: DUP3 00002bfe: PUSH2 0x2ba9 00002c01: JUMP 00002c02: JUMPDEST 00002c03: SWAP8 00002c04: POP 00002c05: PUSH2 0x2c0d 00002c08: DUP4 00002c09: PUSH2 0x2bc0 00002c0c: JUMP 00002c0d: JUMPDEST 00002c0e: SWAP3 00002c0f: POP 00002c10: POP 00002c11: PUSH1 0x01 00002c13: DUP2 00002c14: ADD 00002c15: SWAP1 00002c16: POP 00002c17: PUSH2 0x2bee 00002c1a: JUMP 00002c1b: JUMPDEST 00002c1c: POP 00002c1d: DUP6 00002c1e: SWAP4 00002c1f: POP 00002c20: POP 00002c21: POP 00002c22: POP 00002c23: SWAP3 00002c24: SWAP2 00002c25: POP 00002c26: POP 00002c27: JUMP 00002c28: JUMPDEST 00002c29: PUSH0 00002c2a: PUSH1 0xa0 00002c2c: DUP3 00002c2d: ADD 00002c2e: SWAP1 00002c2f: POP 00002c30: PUSH2 0x2c3b 00002c33: PUSH0 00002c34: DUP4 00002c35: ADD 00002c36: DUP9 00002c37: PUSH2 0x200e 00002c3a: JUMP 00002c3b: JUMPDEST 00002c3c: PUSH2 0x2c48 00002c3f: PUSH1 0x20 00002c41: DUP4 00002c42: ADD 00002c43: DUP8 00002c44: PUSH2 0x249b 00002c47: JUMP 00002c48: JUMPDEST 00002c49: DUP2 00002c4a: DUP2 00002c4b: SUB 00002c4c: PUSH1 0x40 00002c4e: DUP4 00002c4f: ADD 00002c50: MSTORE 00002c51: PUSH2 0x2c5a 00002c54: DUP2 00002c55: DUP7 00002c56: PUSH2 0x2bcc 00002c59: JUMP 00002c5a: JUMPDEST 00002c5b: SWAP1 00002c5c: POP 00002c5d: PUSH2 0x2c69 00002c60: PUSH1 0x60 00002c62: DUP4 00002c63: ADD 00002c64: DUP6 00002c65: PUSH2 0x20e5 00002c68: JUMP 00002c69: JUMPDEST 00002c6a: PUSH2 0x2c76 00002c6d: PUSH1 0x80 00002c6f: DUP4 00002c70: ADD 00002c71: DUP5 00002c72: PUSH2 0x200e 00002c75: JUMP 00002c76: JUMPDEST 00002c77: SWAP7 00002c78: SWAP6 00002c79: POP 00002c7a: POP 00002c7b: POP 00002c7c: POP 00002c7d: POP 00002c7e: POP 00002c7f: JUMP 00002c80: JUMPDEST 00002c81: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00002ca2: PUSH0 00002ca3: DUP3 00002ca4: ADD 00002ca5: MSTORE 00002ca6: POP 00002ca7: JUMP 00002ca8: JUMPDEST 00002ca9: PUSH0 00002caa: PUSH2 0x2cb4 00002cad: PUSH1 0x1b 00002caf: DUP4 00002cb0: PUSH2 0x1e6c 00002cb3: JUMP 00002cb4: JUMPDEST 00002cb5: SWAP2 00002cb6: POP 00002cb7: PUSH2 0x2cbf 00002cba: DUP3 00002cbb: PUSH2 0x2c80 00002cbe: JUMP 00002cbf: JUMPDEST 00002cc0: PUSH1 0x20 00002cc2: DUP3 00002cc3: ADD 00002cc4: SWAP1 00002cc5: POP 00002cc6: SWAP2 00002cc7: SWAP1 00002cc8: POP 00002cc9: JUMP 00002cca: JUMPDEST 00002ccb: PUSH0 00002ccc: PUSH1 0x20 00002cce: DUP3 00002ccf: ADD 00002cd0: SWAP1 00002cd1: POP 00002cd2: DUP2 00002cd3: DUP2 00002cd4: SUB 00002cd5: PUSH0 00002cd6: DUP4 00002cd7: ADD 00002cd8: MSTORE 00002cd9: PUSH2 0x2ce1 00002cdc: DUP2 00002cdd: PUSH2 0x2ca8 00002ce0: JUMP 00002ce1: JUMPDEST 00002ce2: SWAP1 00002ce3: POP 00002ce4: SWAP2 00002ce5: SWAP1 00002ce6: POP 00002ce7: JUMP 00002ce8: INVALID 00002ce9: GASLIMIT 00002cea: MSTORE 00002ceb: NUMBER 00002cec: ORIGIN 00002ced: ADDRESS 00002cee: GASPRICE 00002cef: KECCAK256 00002cf0: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00002d06: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00002d1b: UNKNOWN(0xFB) 00002d1c: SWAP14 00002d1d: CALLVALUE 00002d1e: BYTE 00002d1f: CALLER 00002d20: UNKNOWN(0xBB) 00002d21: BALANCE 00002d22: UNKNOWN(0xCD) 00002d23: TSTORE 00002d24: MSTORE 00002d25: UNKNOWN(0xEC) 00002d26: SWAP12 00002d27: TIMESTAMP 00002d28: SWAP9 00002d29: SWAP8 00002d2a: ORIGIN 00002d2b: JUMP 00002d2c: JUMPI 00002d2d: PUSH21 0x7c1ae08ac32bba7888f6ecfed764736f6c63430008 00002d43: EQ 00002d44: STOP 00002d45: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 11500,
"type": "tx_origin_used"
},
{
"pc": 11562,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x69b00f2baab1d892e9533f84692564a23381b0c69ed00c422d3a9b3957a8980e
call_targets:
0x81db1949d0e888557bc632f7c0f6698b1f8c9106
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x69b00f2baab1d892e9533f84692564a23381b0c69ed00c422d3a9b3957a8980e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x81db1949d0e888557bc632f7c0f6698b1f8c9106"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2960,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3428,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 11500,
"type": "tx_origin_used"
},
{
"pc": 11562,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x69b00f2baab1d892e9533f84692564a23381b0c69ed00c422d3a9b3957a8980e
call_targets:
0x81db1949d0e888557bc632f7c0f6698b1f8c9106
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x69b00f2baab1d892e9533f84692564a23381b0c69ed00c422d3a9b3957a8980e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x81db1949d0e888557bc632f7c0f6698b1f8c9106"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2960,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3428,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 11500,
"type": "tx_origin_used"
},
{
"pc": 11562,
"type": "tx_origin_used"
}
]
}
|