019ba90a-9135-70aa-b790-8160ea4dcc52
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 |
|---|---|---|---|---|
| 34365 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34366 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34367 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34368 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34369 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34370 | detector.run | complete | 1 / 3 | 3 months ago |
| 34371 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01f5 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x04b2bf99 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x02c9 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x05d2035b 0000002d: EQ 0000002e: PUSH2 0x02f8 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x06fdde03 00000038: EQ 00000039: PUSH2 0x031f 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x083c6323 00000043: EQ 00000044: PUSH2 0x03a9 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x095ea7b3 0000004e: EQ 0000004f: PUSH2 0x03ce 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x09f3ad26 00000059: EQ 0000005a: PUSH2 0x03f0 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x18160ddd 00000064: EQ 00000065: PUSH2 0x0406 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x2344acdf 0000006f: EQ 00000070: PUSH2 0x0419 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x23b872dd 0000007a: EQ 0000007b: PUSH2 0x042c 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x28250d43 00000085: EQ 00000086: PUSH2 0x0454 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x2ab4d052 00000090: EQ 00000091: PUSH2 0x0467 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x313ce567 0000009b: EQ 0000009c: PUSH2 0x047a 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x32b3c323 000000a6: EQ 000000a7: PUSH2 0x04a3 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x34bb3ee1 000000b1: EQ 000000b2: PUSH2 0x04b8 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x35a063b4 000000bc: EQ 000000bd: PUSH2 0x04d1 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x41f1d4dd 000000c7: EQ 000000c8: PUSH2 0x04e4 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x4707d000 000000d2: EQ 000000d3: PUSH2 0x04f7 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x47f8b863 000000dd: EQ 000000de: PUSH2 0x051c 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x4f248409 000000e8: EQ 000000e9: PUSH2 0x052f 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x59927044 000000f3: EQ 000000f4: PUSH2 0x0542 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x5ed9ebfc 000000fe: EQ 000000ff: PUSH2 0x0555 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x66188463 00000109: EQ 0000010a: PUSH2 0x0568 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6aa9c82b 00000114: EQ 00000115: PUSH2 0x058a 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x70a08231 0000011f: EQ 00000120: PUSH2 0x059d 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x75172a8b 0000012a: EQ 0000012b: PUSH2 0x05bc 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x7d363720 00000135: EQ 00000136: PUSH2 0x05cf 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x7fa8c158 00000140: EQ 00000141: PUSH2 0x05e2 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x8456cb59 0000014b: EQ 0000014c: PUSH2 0x05f5 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x8f97e3a0 00000156: EQ 00000157: PUSH2 0x0608 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x95d89b41 00000161: EQ 00000162: PUSH2 0x061e 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x9b19251a 0000016c: EQ 0000016d: PUSH2 0x0631 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x9cbd7da5 00000177: EQ 00000178: PUSH2 0x0650 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0xa9059cbb 00000182: EQ 00000183: PUSH2 0x0663 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0xb21ed44e 0000018d: EQ 0000018e: PUSH2 0x0685 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0xc19d93fb 00000198: EQ 00000199: PUSH2 0x0698 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0xc4bebd69 000001a3: EQ 000001a4: PUSH2 0x06cf 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0xc8c2ed54 000001ae: EQ 000001af: PUSH2 0x06e2 000001b2: JUMPI 000001b3: DUP1 000001b4: PUSH4 0xcc577f38 000001b9: EQ 000001ba: PUSH2 0x06f5 000001bd: JUMPI 000001be: DUP1 000001bf: PUSH4 0xd5cef133 000001c4: EQ 000001c5: PUSH2 0x0717 000001c8: JUMPI 000001c9: DUP1 000001ca: PUSH4 0xd73dd623 000001cf: EQ 000001d0: PUSH2 0x072a 000001d3: JUMPI 000001d4: DUP1 000001d5: PUSH4 0xdd62ed3e 000001da: EQ 000001db: PUSH2 0x074c 000001de: JUMPI 000001df: DUP1 000001e0: PUSH4 0xe43252d7 000001e5: EQ 000001e6: PUSH2 0x0771 000001e9: JUMPI 000001ea: DUP1 000001eb: PUSH4 0xf8b1fb12 000001f0: EQ 000001f1: PUSH2 0x0790 000001f4: JUMPI 000001f5: JUMPDEST 000001f6: PUSH1 0x00 000001f8: PUSH1 0x02 000001fa: DUP1 000001fb: PUSH1 0x0b 000001fd: SLOAD 000001fe: PUSH1 0xa0 00000200: PUSH1 0x02 00000202: EXP 00000203: SWAP1 00000204: DIV 00000205: PUSH1 0xff 00000207: AND 00000208: PUSH1 0x05 0000020a: DUP2 0000020b: GT 0000020c: ISZERO 0000020d: PUSH2 0x0212 00000210: JUMPI 00000211: INVALID 00000212: JUMPDEST 00000213: EQ 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: PUSH1 0x01 0000021f: PUSH1 0xa0 00000221: PUSH1 0x02 00000223: EXP 00000224: SUB 00000225: CALLER 00000226: AND 00000227: PUSH1 0x00 00000229: SWAP1 0000022a: DUP2 0000022b: MSTORE 0000022c: PUSH1 0x05 0000022e: PUSH1 0x20 00000230: MSTORE 00000231: PUSH1 0x40 00000233: SWAP1 00000234: KECCAK256 00000235: SLOAD 00000236: PUSH1 0xff 00000238: AND 00000239: ISZERO 0000023a: ISZERO 0000023b: PUSH1 0x01 0000023d: EQ 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: PUSH1 0x00 00000249: CALLVALUE 0000024a: GT 0000024b: PUSH2 0x0253 0000024e: JUMPI 0000024f: PUSH1 0x00 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: PUSH1 0x04 00000256: CALLDATASIZE 00000257: LT 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: PUSH1 0x0c 00000263: SLOAD 00000264: NUMBER 00000265: LT 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: PUSH2 0x0277 00000272: CALLVALUE 00000273: PUSH2 0x07af 00000276: JUMP 00000277: JUMPDEST 00000278: SWAP2 00000279: POP 0000027a: PUSH2 0x0283 0000027d: CALLER 0000027e: DUP4 0000027f: PUSH2 0x0801 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH1 0x01 00000286: PUSH1 0xa0 00000288: PUSH1 0x02 0000028a: EXP 0000028b: SUB 0000028c: CALLER 0000028d: AND 0000028e: PUSH1 0x00 00000290: SWAP1 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x03 00000295: PUSH1 0x20 00000297: MSTORE 00000298: PUSH1 0x40 0000029a: SWAP1 0000029b: KECCAK256 0000029c: SLOAD 0000029d: PUSH2 0x02ac 000002a0: SWAP1 000002a1: CALLVALUE 000002a2: PUSH4 0xffffffff 000002a7: PUSH2 0x08ff 000002aa: AND 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH1 0x01 000002af: PUSH1 0xa0 000002b1: PUSH1 0x02 000002b3: EXP 000002b4: SUB 000002b5: CALLER 000002b6: AND 000002b7: PUSH1 0x00 000002b9: SWAP1 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x03 000002be: PUSH1 0x20 000002c0: MSTORE 000002c1: PUSH1 0x40 000002c3: SWAP1 000002c4: KECCAK256 000002c5: SSTORE 000002c6: POP 000002c7: POP 000002c8: STOP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: PUSH2 0x02dc 000002d8: PUSH2 0x0915 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: PUSH1 0x01 000002e2: PUSH1 0xa0 000002e4: PUSH1 0x02 000002e6: EXP 000002e7: SUB 000002e8: SWAP1 000002e9: SWAP2 000002ea: AND 000002eb: DUP2 000002ec: MSTORE 000002ed: PUSH1 0x20 000002ef: ADD 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: DUP1 000002f4: SWAP2 000002f5: SUB 000002f6: SWAP1 000002f7: RETURN 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: ISZERO 000002fb: PUSH2 0x0303 000002fe: JUMPI 000002ff: PUSH1 0x00 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: PUSH2 0x030b 00000307: PUSH2 0x0924 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: SWAP1 00000310: ISZERO 00000311: ISZERO 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: SWAP2 0000031c: SUB 0000031d: SWAP1 0000031e: RETURN 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: PUSH2 0x0332 0000032e: PUSH2 0x092d 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x40 00000335: MLOAD 00000336: PUSH1 0x20 00000338: DUP1 00000339: DUP3 0000033a: MSTORE 0000033b: DUP2 0000033c: SWAP1 0000033d: DUP2 0000033e: ADD 0000033f: DUP4 00000340: DUP2 00000341: DUP2 00000342: MLOAD 00000343: DUP2 00000344: MSTORE 00000345: PUSH1 0x20 00000347: ADD 00000348: SWAP2 00000349: POP 0000034a: DUP1 0000034b: MLOAD 0000034c: SWAP1 0000034d: PUSH1 0x20 0000034f: ADD 00000350: SWAP1 00000351: DUP1 00000352: DUP4 00000353: DUP4 00000354: PUSH1 0x00 00000356: JUMPDEST 00000357: DUP4 00000358: DUP2 00000359: LT 0000035a: ISZERO 0000035b: PUSH2 0x036e 0000035e: JUMPI 0000035f: DUP1 00000360: DUP3 00000361: ADD 00000362: MLOAD 00000363: DUP4 00000364: DUP3 00000365: ADD 00000366: MSTORE 00000367: PUSH1 0x20 00000369: ADD 0000036a: PUSH2 0x0356 0000036d: JUMP 0000036e: JUMPDEST 0000036f: POP 00000370: POP 00000371: POP 00000372: POP 00000373: SWAP1 00000374: POP 00000375: SWAP1 00000376: DUP2 00000377: ADD 00000378: SWAP1 00000379: PUSH1 0x1f 0000037b: AND 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x039b 00000381: JUMPI 00000382: DUP1 00000383: DUP3 00000384: SUB 00000385: DUP1 00000386: MLOAD 00000387: PUSH1 0x01 00000389: DUP4 0000038a: PUSH1 0x20 0000038c: SUB 0000038d: PUSH2 0x0100 00000390: EXP 00000391: SUB 00000392: NOT 00000393: AND 00000394: DUP2 00000395: MSTORE 00000396: PUSH1 0x20 00000398: ADD 00000399: SWAP2 0000039a: POP 0000039b: JUMPDEST 0000039c: POP 0000039d: SWAP3 0000039e: POP 0000039f: POP 000003a0: POP 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: DUP1 000003a5: SWAP2 000003a6: SUB 000003a7: SWAP1 000003a8: RETURN 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: ISZERO 000003ac: PUSH2 0x03b4 000003af: JUMPI 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: PUSH2 0x03bc 000003b8: PUSH2 0x0964 000003bb: JUMP 000003bc: JUMPDEST 000003bd: PUSH1 0x40 000003bf: MLOAD 000003c0: SWAP1 000003c1: DUP2 000003c2: MSTORE 000003c3: PUSH1 0x20 000003c5: ADD 000003c6: PUSH1 0x40 000003c8: MLOAD 000003c9: DUP1 000003ca: SWAP2 000003cb: SUB 000003cc: SWAP1 000003cd: RETURN 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: PUSH2 0x030b 000003dd: PUSH1 0x01 000003df: PUSH1 0xa0 000003e1: PUSH1 0x02 000003e3: EXP 000003e4: SUB 000003e5: PUSH1 0x04 000003e7: CALLDATALOAD 000003e8: AND 000003e9: PUSH1 0x24 000003eb: CALLDATALOAD 000003ec: PUSH2 0x096a 000003ef: JUMP 000003f0: JUMPDEST 000003f1: CALLVALUE 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: PUSH2 0x03bc 000003ff: PUSH1 0x04 00000401: CALLDATALOAD 00000402: PUSH2 0x07af 00000405: JUMP 00000406: JUMPDEST 00000407: CALLVALUE 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: PUSH2 0x03bc 00000415: PUSH2 0x09d6 00000418: JUMP 00000419: JUMPDEST 0000041a: CALLVALUE 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: PUSH2 0x03bc 00000428: PUSH2 0x09dc 0000042b: JUMP 0000042c: JUMPDEST 0000042d: CALLVALUE 0000042e: ISZERO 0000042f: PUSH2 0x0437 00000432: JUMPI 00000433: PUSH1 0x00 00000435: DUP1 00000436: REVERT 00000437: JUMPDEST 00000438: PUSH2 0x030b 0000043b: PUSH1 0x01 0000043d: PUSH1 0xa0 0000043f: PUSH1 0x02 00000441: EXP 00000442: SUB 00000443: PUSH1 0x04 00000445: CALLDATALOAD 00000446: DUP2 00000447: AND 00000448: SWAP1 00000449: PUSH1 0x24 0000044b: CALLDATALOAD 0000044c: AND 0000044d: PUSH1 0x44 0000044f: CALLDATALOAD 00000450: PUSH2 0x09e2 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: ISZERO 00000457: PUSH2 0x045f 0000045a: JUMPI 0000045b: PUSH1 0x00 0000045d: DUP1 0000045e: REVERT 0000045f: JUMPDEST 00000460: PUSH2 0x03bc 00000463: PUSH2 0x0a1d 00000466: JUMP 00000467: JUMPDEST 00000468: CALLVALUE 00000469: ISZERO 0000046a: PUSH2 0x0472 0000046d: JUMPI 0000046e: PUSH1 0x00 00000470: DUP1 00000471: REVERT 00000472: JUMPDEST 00000473: PUSH2 0x03bc 00000476: PUSH2 0x0a23 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: PUSH2 0x048d 00000489: PUSH2 0x0a33 0000048c: JUMP 0000048d: JUMPDEST 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: PUSH1 0xff 00000493: SWAP1 00000494: SWAP2 00000495: AND 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x20 0000049a: ADD 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: DUP1 0000049f: SWAP2 000004a0: SUB 000004a1: SWAP1 000004a2: RETURN 000004a3: JUMPDEST 000004a4: CALLVALUE 000004a5: ISZERO 000004a6: PUSH2 0x04ae 000004a9: JUMPI 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: REVERT 000004ae: JUMPDEST 000004af: PUSH2 0x04b6 000004b2: PUSH2 0x0a38 000004b5: JUMP 000004b6: JUMPDEST 000004b7: STOP 000004b8: JUMPDEST 000004b9: CALLVALUE 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: PUSH2 0x04b6 000004c7: PUSH1 0x04 000004c9: CALLDATALOAD 000004ca: PUSH1 0x24 000004cc: CALLDATALOAD 000004cd: PUSH2 0x0a80 000004d0: JUMP 000004d1: JUMPDEST 000004d2: CALLVALUE 000004d3: ISZERO 000004d4: PUSH2 0x04dc 000004d7: JUMPI 000004d8: PUSH1 0x00 000004da: DUP1 000004db: REVERT 000004dc: JUMPDEST 000004dd: PUSH2 0x04b6 000004e0: PUSH2 0x0b15 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: ISZERO 000004e7: PUSH2 0x04ef 000004ea: JUMPI 000004eb: PUSH1 0x00 000004ed: DUP1 000004ee: REVERT 000004ef: JUMPDEST 000004f0: PUSH2 0x02dc 000004f3: PUSH2 0x0b5f 000004f6: JUMP 000004f7: JUMPDEST 000004f8: CALLVALUE 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: PUSH1 0x00 00000500: DUP1 00000501: REVERT 00000502: JUMPDEST 00000503: PUSH2 0x04b6 00000506: PUSH1 0x01 00000508: PUSH1 0xa0 0000050a: PUSH1 0x02 0000050c: EXP 0000050d: SUB 0000050e: PUSH1 0x04 00000510: CALLDATALOAD 00000511: DUP2 00000512: AND 00000513: SWAP1 00000514: PUSH1 0x24 00000516: CALLDATALOAD 00000517: AND 00000518: PUSH2 0x0b6e 0000051b: JUMP 0000051c: JUMPDEST 0000051d: CALLVALUE 0000051e: ISZERO 0000051f: PUSH2 0x0527 00000522: JUMPI 00000523: PUSH1 0x00 00000525: DUP1 00000526: REVERT 00000527: JUMPDEST 00000528: PUSH2 0x03bc 0000052b: PUSH2 0x0c6d 0000052e: JUMP 0000052f: JUMPDEST 00000530: CALLVALUE 00000531: ISZERO 00000532: PUSH2 0x053a 00000535: JUMPI 00000536: PUSH1 0x00 00000538: DUP1 00000539: REVERT 0000053a: JUMPDEST 0000053b: PUSH2 0x04b6 0000053e: PUSH2 0x0c84 00000541: JUMP 00000542: JUMPDEST 00000543: CALLVALUE 00000544: ISZERO 00000545: PUSH2 0x054d 00000548: JUMPI 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: REVERT 0000054d: JUMPDEST 0000054e: PUSH2 0x02dc 00000551: PUSH2 0x0cc4 00000554: JUMP 00000555: JUMPDEST 00000556: CALLVALUE 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: PUSH2 0x03bc 00000564: PUSH2 0x0cd3 00000567: JUMP 00000568: JUMPDEST 00000569: CALLVALUE 0000056a: ISZERO 0000056b: PUSH2 0x0573 0000056e: JUMPI 0000056f: PUSH1 0x00 00000571: DUP1 00000572: REVERT 00000573: JUMPDEST 00000574: PUSH2 0x030b 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: PUSH1 0x02 0000057d: EXP 0000057e: SUB 0000057f: PUSH1 0x04 00000581: CALLDATALOAD 00000582: AND 00000583: PUSH1 0x24 00000585: CALLDATALOAD 00000586: PUSH2 0x0cd9 00000589: JUMP 0000058a: JUMPDEST 0000058b: CALLVALUE 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x00 00000593: DUP1 00000594: REVERT 00000595: JUMPDEST 00000596: PUSH2 0x02dc 00000599: PUSH2 0x0dd3 0000059c: JUMP 0000059d: JUMPDEST 0000059e: CALLVALUE 0000059f: ISZERO 000005a0: PUSH2 0x05a8 000005a3: JUMPI 000005a4: PUSH1 0x00 000005a6: DUP1 000005a7: REVERT 000005a8: JUMPDEST 000005a9: PUSH2 0x03bc 000005ac: PUSH1 0x01 000005ae: PUSH1 0xa0 000005b0: PUSH1 0x02 000005b2: EXP 000005b3: SUB 000005b4: PUSH1 0x04 000005b6: CALLDATALOAD 000005b7: AND 000005b8: PUSH2 0x0de2 000005bb: JUMP 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: PUSH2 0x02dc 000005cb: PUSH2 0x0e01 000005ce: JUMP 000005cf: JUMPDEST 000005d0: CALLVALUE 000005d1: ISZERO 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: PUSH2 0x03bc 000005de: PUSH2 0x0e10 000005e1: JUMP 000005e2: JUMPDEST 000005e3: CALLVALUE 000005e4: ISZERO 000005e5: PUSH2 0x05ed 000005e8: JUMPI 000005e9: PUSH1 0x00 000005eb: DUP1 000005ec: REVERT 000005ed: JUMPDEST 000005ee: PUSH2 0x04b6 000005f1: PUSH2 0x0e21 000005f4: JUMP 000005f5: JUMPDEST 000005f6: CALLVALUE 000005f7: ISZERO 000005f8: PUSH2 0x0600 000005fb: JUMPI 000005fc: PUSH1 0x00 000005fe: DUP1 000005ff: REVERT 00000600: JUMPDEST 00000601: PUSH2 0x04b6 00000604: PUSH2 0x0e79 00000607: JUMP 00000608: JUMPDEST 00000609: CALLVALUE 0000060a: ISZERO 0000060b: PUSH2 0x0613 0000060e: JUMPI 0000060f: PUSH1 0x00 00000611: DUP1 00000612: REVERT 00000613: JUMPDEST 00000614: PUSH2 0x04b6 00000617: PUSH1 0x04 00000619: CALLDATALOAD 0000061a: PUSH2 0x0eca 0000061d: JUMP 0000061e: JUMPDEST 0000061f: CALLVALUE 00000620: ISZERO 00000621: PUSH2 0x0629 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP1 00000628: REVERT 00000629: JUMPDEST 0000062a: PUSH2 0x0332 0000062d: PUSH2 0x0f3b 00000630: JUMP 00000631: JUMPDEST 00000632: CALLVALUE 00000633: ISZERO 00000634: PUSH2 0x063c 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: DUP1 0000063b: REVERT 0000063c: JUMPDEST 0000063d: PUSH2 0x030b 00000640: PUSH1 0x01 00000642: PUSH1 0xa0 00000644: PUSH1 0x02 00000646: EXP 00000647: SUB 00000648: PUSH1 0x04 0000064a: CALLDATALOAD 0000064b: AND 0000064c: PUSH2 0x0f72 0000064f: JUMP 00000650: JUMPDEST 00000651: CALLVALUE 00000652: ISZERO 00000653: PUSH2 0x065b 00000656: JUMPI 00000657: PUSH1 0x00 00000659: DUP1 0000065a: REVERT 0000065b: JUMPDEST 0000065c: PUSH2 0x04b6 0000065f: PUSH2 0x0f87 00000662: JUMP 00000663: JUMPDEST 00000664: CALLVALUE 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: REVERT 0000066e: JUMPDEST 0000066f: PUSH2 0x030b 00000672: PUSH1 0x01 00000674: PUSH1 0xa0 00000676: PUSH1 0x02 00000678: EXP 00000679: SUB 0000067a: PUSH1 0x04 0000067c: CALLDATALOAD 0000067d: AND 0000067e: PUSH1 0x24 00000680: CALLDATALOAD 00000681: PUSH2 0x0fe3 00000684: JUMP 00000685: JUMPDEST 00000686: CALLVALUE 00000687: ISZERO 00000688: PUSH2 0x0690 0000068b: JUMPI 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: REVERT 00000690: JUMPDEST 00000691: PUSH2 0x03bc 00000694: PUSH2 0x1014 00000697: JUMP 00000698: JUMPDEST 00000699: CALLVALUE 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: PUSH2 0x06ab 000006a7: PUSH2 0x1019 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH1 0x40 000006ae: MLOAD 000006af: DUP1 000006b0: DUP3 000006b1: PUSH1 0x05 000006b3: DUP2 000006b4: GT 000006b5: ISZERO 000006b6: PUSH2 0x06bb 000006b9: JUMPI 000006ba: INVALID 000006bb: JUMPDEST 000006bc: PUSH1 0xff 000006be: AND 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x20 000006c3: ADD 000006c4: SWAP2 000006c5: POP 000006c6: POP 000006c7: PUSH1 0x40 000006c9: MLOAD 000006ca: DUP1 000006cb: SWAP2 000006cc: SUB 000006cd: SWAP1 000006ce: RETURN 000006cf: JUMPDEST 000006d0: CALLVALUE 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: PUSH2 0x03bc 000006de: PUSH2 0x1029 000006e1: JUMP 000006e2: JUMPDEST 000006e3: CALLVALUE 000006e4: ISZERO 000006e5: PUSH2 0x06ed 000006e8: JUMPI 000006e9: PUSH1 0x00 000006eb: DUP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: PUSH2 0x02dc 000006f1: PUSH2 0x102f 000006f4: JUMP 000006f5: JUMPDEST 000006f6: CALLVALUE 000006f7: ISZERO 000006f8: PUSH2 0x0700 000006fb: JUMPI 000006fc: PUSH1 0x00 000006fe: DUP1 000006ff: REVERT 00000700: JUMPDEST 00000701: PUSH2 0x04b6 00000704: PUSH1 0x01 00000706: PUSH1 0xa0 00000708: PUSH1 0x02 0000070a: EXP 0000070b: SUB 0000070c: PUSH1 0x04 0000070e: CALLDATALOAD 0000070f: AND 00000710: PUSH1 0x24 00000712: CALLDATALOAD 00000713: PUSH2 0x103e 00000716: JUMP 00000717: JUMPDEST 00000718: CALLVALUE 00000719: ISZERO 0000071a: PUSH2 0x0722 0000071d: JUMPI 0000071e: PUSH1 0x00 00000720: DUP1 00000721: REVERT 00000722: JUMPDEST 00000723: PUSH2 0x04b6 00000726: PUSH2 0x10ab 00000729: JUMP 0000072a: JUMPDEST 0000072b: CALLVALUE 0000072c: ISZERO 0000072d: PUSH2 0x0735 00000730: JUMPI 00000731: PUSH1 0x00 00000733: DUP1 00000734: REVERT 00000735: JUMPDEST 00000736: PUSH2 0x030b 00000739: PUSH1 0x01 0000073b: PUSH1 0xa0 0000073d: PUSH1 0x02 0000073f: EXP 00000740: SUB 00000741: PUSH1 0x04 00000743: CALLDATALOAD 00000744: AND 00000745: PUSH1 0x24 00000747: CALLDATALOAD 00000748: PUSH2 0x113d 0000074b: JUMP 0000074c: JUMPDEST 0000074d: CALLVALUE 0000074e: ISZERO 0000074f: PUSH2 0x0757 00000752: JUMPI 00000753: PUSH1 0x00 00000755: DUP1 00000756: REVERT 00000757: JUMPDEST 00000758: PUSH2 0x03bc 0000075b: PUSH1 0x01 0000075d: PUSH1 0xa0 0000075f: PUSH1 0x02 00000761: EXP 00000762: SUB 00000763: PUSH1 0x04 00000765: CALLDATALOAD 00000766: DUP2 00000767: AND 00000768: SWAP1 00000769: PUSH1 0x24 0000076b: CALLDATALOAD 0000076c: AND 0000076d: PUSH2 0x11e1 00000770: JUMP 00000771: JUMPDEST 00000772: CALLVALUE 00000773: ISZERO 00000774: PUSH2 0x077c 00000777: JUMPI 00000778: PUSH1 0x00 0000077a: DUP1 0000077b: REVERT 0000077c: JUMPDEST 0000077d: PUSH2 0x04b6 00000780: PUSH1 0x01 00000782: PUSH1 0xa0 00000784: PUSH1 0x02 00000786: EXP 00000787: SUB 00000788: PUSH1 0x04 0000078a: CALLDATALOAD 0000078b: AND 0000078c: PUSH2 0x120c 0000078f: JUMP 00000790: JUMPDEST 00000791: CALLVALUE 00000792: ISZERO 00000793: PUSH2 0x079b 00000796: JUMPI 00000797: PUSH1 0x00 00000799: DUP1 0000079a: REVERT 0000079b: JUMPDEST 0000079c: PUSH2 0x03bc 0000079f: PUSH1 0x01 000007a1: PUSH1 0xa0 000007a3: PUSH1 0x02 000007a5: EXP 000007a6: SUB 000007a7: PUSH1 0x04 000007a9: CALLDATALOAD 000007aa: AND 000007ab: PUSH2 0x128c 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x00 000007b2: DUP1 000007b3: PUSH1 0x00 000007b5: PUSH2 0x07c9 000007b8: PUSH1 0x0d 000007ba: SLOAD 000007bb: DUP6 000007bc: PUSH2 0x129e 000007bf: SWAP1 000007c0: SWAP2 000007c1: SWAP1 000007c2: PUSH4 0xffffffff 000007c7: AND 000007c8: JUMP 000007c9: JUMPDEST 000007ca: SWAP2 000007cb: POP 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x0e10 000007d2: JUMP 000007d3: JUMPDEST 000007d4: SWAP1 000007d5: POP 000007d6: PUSH2 0x07f9 000007d9: PUSH2 0x03e8 000007dc: PUSH2 0x07ed 000007df: DUP5 000007e0: DUP3 000007e1: DUP6 000007e2: ADD 000007e3: PUSH4 0xffffffff 000007e8: PUSH2 0x129e 000007eb: AND 000007ec: JUMP 000007ed: JUMPDEST 000007ee: SWAP1 000007ef: PUSH4 0xffffffff 000007f4: PUSH2 0x12c2 000007f7: AND 000007f8: JUMP 000007f9: JUMPDEST 000007fa: SWAP5 000007fb: SWAP4 000007fc: POP 000007fd: POP 000007fe: POP 000007ff: POP 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x04 00000804: SLOAD 00000805: PUSH1 0x00 00000807: SWAP1 00000808: PUSH2 0x0817 0000080b: SWAP1 0000080c: DUP4 0000080d: PUSH4 0xffffffff 00000812: PUSH2 0x08ff 00000815: AND 00000816: JUMP 00000817: JUMPDEST 00000818: SWAP1 00000819: POP 0000081a: PUSH2 0x083b 0000081d: PUSH1 0x64 0000081f: PUSH2 0x07ed 00000822: PUSH12 0x033b2e3c9fd0803ce8000000 0000082f: PUSH1 0x32 00000831: PUSH4 0xffffffff 00000836: PUSH2 0x129e 00000839: AND 0000083a: JUMP 0000083b: JUMPDEST 0000083c: DUP2 0000083d: GT 0000083e: ISZERO 0000083f: PUSH2 0x0847 00000842: JUMPI 00000843: PUSH1 0x00 00000845: DUP1 00000846: REVERT 00000847: JUMPDEST 00000848: PUSH1 0x01 0000084a: PUSH1 0xa0 0000084c: PUSH1 0x02 0000084e: EXP 0000084f: SUB 00000850: DUP4 00000851: AND 00000852: PUSH1 0x00 00000854: SWAP1 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x01 00000859: PUSH1 0x20 0000085b: MSTORE 0000085c: PUSH1 0x40 0000085e: SWAP1 0000085f: KECCAK256 00000860: SLOAD 00000861: PUSH2 0x0870 00000864: SWAP1 00000865: DUP4 00000866: PUSH4 0xffffffff 0000086b: PUSH2 0x08ff 0000086e: AND 0000086f: JUMP 00000870: JUMPDEST 00000871: PUSH1 0x01 00000873: PUSH1 0xa0 00000875: PUSH1 0x02 00000877: EXP 00000878: SUB 00000879: DUP1 0000087a: DUP6 0000087b: AND 0000087c: PUSH1 0x00 0000087e: SWAP1 0000087f: DUP2 00000880: MSTORE 00000881: PUSH1 0x01 00000883: PUSH1 0x20 00000885: MSTORE 00000886: PUSH1 0x40 00000888: DUP1 00000889: DUP3 0000088a: KECCAK256 0000088b: SWAP4 0000088c: SWAP1 0000088d: SWAP4 0000088e: SSTORE 0000088f: PUSH1 0x0b 00000891: SLOAD 00000892: SWAP1 00000893: SWAP2 00000894: AND 00000895: DUP2 00000896: MSTORE 00000897: KECCAK256 00000898: SLOAD 00000899: PUSH2 0x08a8 0000089c: SWAP1 0000089d: DUP4 0000089e: PUSH4 0xffffffff 000008a3: PUSH2 0x12d9 000008a6: AND 000008a7: JUMP 000008a8: JUMPDEST 000008a9: PUSH1 0x0b 000008ab: DUP1 000008ac: SLOAD 000008ad: PUSH1 0x01 000008af: PUSH1 0xa0 000008b1: PUSH1 0x02 000008b3: EXP 000008b4: SUB 000008b5: SWAP1 000008b6: DUP2 000008b7: AND 000008b8: PUSH1 0x00 000008ba: SWAP1 000008bb: DUP2 000008bc: MSTORE 000008bd: PUSH1 0x01 000008bf: PUSH1 0x20 000008c1: MSTORE 000008c2: PUSH1 0x40 000008c4: SWAP1 000008c5: DUP2 000008c6: SWAP1 000008c7: KECCAK256 000008c8: SWAP4 000008c9: SWAP1 000008ca: SWAP4 000008cb: SSTORE 000008cc: PUSH1 0x04 000008ce: DUP5 000008cf: SWAP1 000008d0: SSTORE 000008d1: SWAP1 000008d2: SLOAD 000008d3: DUP6 000008d4: DUP3 000008d5: AND 000008d6: SWAP3 000008d7: SWAP2 000008d8: AND 000008d9: SWAP1 000008da: PUSH1 0x00 000008dc: DUP1 000008dd: MLOAD 000008de: PUSH1 0x20 000008e0: PUSH2 0x1a84 000008e3: DUP4 000008e4: CODECOPY 000008e5: DUP2 000008e6: MLOAD 000008e7: SWAP2 000008e8: MSTORE 000008e9: SWAP1 000008ea: DUP6 000008eb: SWAP1 000008ec: MLOAD 000008ed: SWAP1 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x20 000008f2: ADD 000008f3: PUSH1 0x40 000008f5: MLOAD 000008f6: DUP1 000008f7: SWAP2 000008f8: SUB 000008f9: SWAP1 000008fa: LOG3 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: JUMP 000008ff: JUMPDEST 00000900: PUSH1 0x00 00000902: DUP3 00000903: DUP3 00000904: ADD 00000905: DUP4 00000906: DUP2 00000907: LT 00000908: ISZERO 00000909: PUSH2 0x090e 0000090c: JUMPI 0000090d: INVALID 0000090e: JUMPDEST 0000090f: SWAP4 00000910: SWAP3 00000911: POP 00000912: POP 00000913: POP 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH1 0x06 00000918: SLOAD 00000919: PUSH1 0x01 0000091b: PUSH1 0xa0 0000091d: PUSH1 0x02 0000091f: EXP 00000920: SUB 00000921: AND 00000922: DUP2 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH1 0x1b 00000927: SLOAD 00000928: PUSH1 0xff 0000092a: AND 0000092b: DUP2 0000092c: JUMP 0000092d: JUMPDEST 0000092e: PUSH1 0x40 00000930: DUP1 00000931: MLOAD 00000932: SWAP1 00000933: DUP2 00000934: ADD 00000935: PUSH1 0x40 00000937: MSTORE 00000938: PUSH1 0x12 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH32 0x5172617669747920436f696e20546f6b656e0000000000000000000000000000 0000095d: PUSH1 0x20 0000095f: DUP3 00000960: ADD 00000961: MSTORE 00000962: DUP2 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x0c 00000967: SLOAD 00000968: DUP2 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x01 0000096d: PUSH1 0xa0 0000096f: PUSH1 0x02 00000971: EXP 00000972: SUB 00000973: CALLER 00000974: DUP2 00000975: AND 00000976: PUSH1 0x00 00000978: DUP2 00000979: DUP2 0000097a: MSTORE 0000097b: PUSH1 0x02 0000097d: PUSH1 0x20 0000097f: SWAP1 00000980: DUP2 00000981: MSTORE 00000982: PUSH1 0x40 00000984: DUP1 00000985: DUP4 00000986: KECCAK256 00000987: SWAP5 00000988: DUP8 00000989: AND 0000098a: DUP1 0000098b: DUP5 0000098c: MSTORE 0000098d: SWAP5 0000098e: SWAP1 0000098f: SWAP2 00000990: MSTORE 00000991: DUP1 00000992: DUP3 00000993: KECCAK256 00000994: DUP6 00000995: SWAP1 00000996: SSTORE 00000997: SWAP1 00000998: SWAP3 00000999: SWAP2 0000099a: SWAP1 0000099b: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000009bc: SWAP1 000009bd: DUP6 000009be: SWAP1 000009bf: MLOAD 000009c0: SWAP1 000009c1: DUP2 000009c2: MSTORE 000009c3: PUSH1 0x20 000009c5: ADD 000009c6: PUSH1 0x40 000009c8: MLOAD 000009c9: DUP1 000009ca: SWAP2 000009cb: SUB 000009cc: SWAP1 000009cd: LOG3 000009ce: POP 000009cf: PUSH1 0x01 000009d1: SWAP3 000009d2: SWAP2 000009d3: POP 000009d4: POP 000009d5: JUMP 000009d6: JUMPDEST 000009d7: PUSH1 0x00 000009d9: SLOAD 000009da: DUP2 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH1 0x1c 000009df: SLOAD 000009e0: DUP2 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH1 0x00 000009e5: PUSH1 0x04 000009e7: DUP1 000009e8: PUSH1 0x0b 000009ea: SLOAD 000009eb: PUSH1 0xa0 000009ed: PUSH1 0x02 000009ef: EXP 000009f0: SWAP1 000009f1: DIV 000009f2: PUSH1 0xff 000009f4: AND 000009f5: PUSH1 0x05 000009f7: DUP2 000009f8: GT 000009f9: ISZERO 000009fa: PUSH2 0x09ff 000009fd: JUMPI 000009fe: INVALID 000009ff: JUMPDEST 00000a00: EQ 00000a01: PUSH2 0x0a09 00000a04: JUMPI 00000a05: PUSH1 0x00 00000a07: DUP1 00000a08: REVERT 00000a09: JUMPDEST 00000a0a: PUSH2 0x0a14 00000a0d: DUP6 00000a0e: DUP6 00000a0f: DUP6 00000a10: PUSH2 0x12eb 00000a13: JUMP 00000a14: JUMPDEST 00000a15: SWAP6 00000a16: SWAP5 00000a17: POP 00000a18: POP 00000a19: POP 00000a1a: POP 00000a1b: POP 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x0d 00000a20: SLOAD 00000a21: DUP2 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH12 0x033b2e3c9fd0803ce8000000 00000a31: DUP2 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH1 0x12 00000a36: DUP2 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x02 00000a3b: DUP1 00000a3c: PUSH1 0x0b 00000a3e: SLOAD 00000a3f: PUSH1 0xa0 00000a41: PUSH1 0x02 00000a43: EXP 00000a44: SWAP1 00000a45: DIV 00000a46: PUSH1 0xff 00000a48: AND 00000a49: PUSH1 0x05 00000a4b: DUP2 00000a4c: GT 00000a4d: ISZERO 00000a4e: PUSH2 0x0a53 00000a51: JUMPI 00000a52: INVALID 00000a53: JUMPDEST 00000a54: EQ 00000a55: PUSH2 0x0a5d 00000a58: JUMPI 00000a59: PUSH1 0x00 00000a5b: DUP1 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: PUSH1 0x0c 00000a60: SLOAD 00000a61: NUMBER 00000a62: GT 00000a63: PUSH2 0x0a6b 00000a66: JUMPI 00000a67: PUSH1 0x00 00000a69: DUP1 00000a6a: REVERT 00000a6b: JUMPDEST 00000a6c: PUSH2 0x0a73 00000a6f: PUSH2 0x1403 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH2 0x0a7d 00000a77: PUSH1 0x04 00000a79: PUSH2 0x1568 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: POP 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x06 00000a83: SLOAD 00000a84: CALLER 00000a85: PUSH1 0x01 00000a87: PUSH1 0xa0 00000a89: PUSH1 0x02 00000a8b: EXP 00000a8c: SUB 00000a8d: SWAP1 00000a8e: DUP2 00000a8f: AND 00000a90: SWAP2 00000a91: AND 00000a92: EQ 00000a93: PUSH2 0x0a9b 00000a96: JUMPI 00000a97: PUSH1 0x00 00000a99: DUP1 00000a9a: REVERT 00000a9b: JUMPDEST 00000a9c: PUSH1 0x00 00000a9e: PUSH1 0x0b 00000aa0: SLOAD 00000aa1: PUSH1 0xa0 00000aa3: PUSH1 0x02 00000aa5: EXP 00000aa6: SWAP1 00000aa7: DIV 00000aa8: PUSH1 0xff 00000aaa: AND 00000aab: PUSH1 0x05 00000aad: DUP2 00000aae: GT 00000aaf: ISZERO 00000ab0: PUSH2 0x0ab5 00000ab3: JUMPI 00000ab4: INVALID 00000ab5: JUMPDEST 00000ab6: EQ 00000ab7: DUP1 00000ab8: PUSH2 0x0ad8 00000abb: JUMPI 00000abc: POP 00000abd: PUSH1 0x01 00000abf: PUSH1 0x0b 00000ac1: SLOAD 00000ac2: PUSH1 0xa0 00000ac4: PUSH1 0x02 00000ac6: EXP 00000ac7: SWAP1 00000ac8: DIV 00000ac9: PUSH1 0xff 00000acb: AND 00000acc: PUSH1 0x05 00000ace: DUP2 00000acf: GT 00000ad0: ISZERO 00000ad1: PUSH2 0x0ad6 00000ad4: JUMPI 00000ad5: INVALID 00000ad6: JUMPDEST 00000ad7: EQ 00000ad8: JUMPDEST 00000ad9: ISZERO 00000ada: ISZERO 00000adb: PUSH2 0x0ae3 00000ade: JUMPI 00000adf: PUSH1 0x00 00000ae1: DUP1 00000ae2: REVERT 00000ae3: JUMPDEST 00000ae4: PUSH1 0x00 00000ae6: DUP3 00000ae7: GT 00000ae8: PUSH2 0x0af0 00000aeb: JUMPI 00000aec: PUSH1 0x00 00000aee: DUP1 00000aef: REVERT 00000af0: JUMPDEST 00000af1: NUMBER 00000af2: DUP2 00000af3: SWAP1 00000af4: LT 00000af5: PUSH2 0x0afd 00000af8: JUMPI 00000af9: PUSH1 0x00 00000afb: DUP1 00000afc: REVERT 00000afd: JUMPDEST 00000afe: PUSH1 0x0c 00000b00: DUP2 00000b01: SWAP1 00000b02: SSTORE 00000b03: PUSH1 0x0d 00000b05: DUP3 00000b06: SWAP1 00000b07: SSTORE 00000b08: PUSH2 0x0b11 00000b0b: PUSH1 0x01 00000b0d: PUSH2 0x1568 00000b10: JUMP 00000b11: JUMPDEST 00000b12: POP 00000b13: POP 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH1 0x06 00000b18: SLOAD 00000b19: CALLER 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0xa0 00000b1e: PUSH1 0x02 00000b20: EXP 00000b21: SUB 00000b22: SWAP1 00000b23: DUP2 00000b24: AND 00000b25: SWAP2 00000b26: AND 00000b27: EQ 00000b28: PUSH2 0x0b30 00000b2b: JUMPI 00000b2c: PUSH1 0x00 00000b2e: DUP1 00000b2f: REVERT 00000b30: JUMPDEST 00000b31: PUSH1 0x05 00000b33: DUP1 00000b34: PUSH1 0x0b 00000b36: SLOAD 00000b37: PUSH1 0xa0 00000b39: PUSH1 0x02 00000b3b: EXP 00000b3c: SWAP1 00000b3d: DIV 00000b3e: PUSH1 0xff 00000b40: AND 00000b41: PUSH1 0x05 00000b43: DUP2 00000b44: GT 00000b45: ISZERO 00000b46: PUSH2 0x0b4b 00000b49: JUMPI 00000b4a: INVALID 00000b4b: JUMPDEST 00000b4c: EQ 00000b4d: PUSH2 0x0b55 00000b50: JUMPI 00000b51: PUSH1 0x00 00000b53: DUP1 00000b54: REVERT 00000b55: JUMPDEST 00000b56: PUSH2 0x0a7d 00000b59: PUSH1 0x03 00000b5b: PUSH2 0x1568 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH1 0x07 00000b62: SLOAD 00000b63: PUSH1 0x01 00000b65: PUSH1 0xa0 00000b67: PUSH1 0x02 00000b69: EXP 00000b6a: SUB 00000b6b: AND 00000b6c: DUP2 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: PUSH1 0x09 00000b71: SLOAD 00000b72: CALLER 00000b73: PUSH1 0x01 00000b75: PUSH1 0xa0 00000b77: PUSH1 0x02 00000b79: EXP 00000b7a: SUB 00000b7b: SWAP1 00000b7c: DUP2 00000b7d: AND 00000b7e: SWAP2 00000b7f: AND 00000b80: EQ 00000b81: PUSH2 0x0b89 00000b84: JUMPI 00000b85: PUSH1 0x00 00000b87: DUP1 00000b88: REVERT 00000b89: JUMPDEST 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0xa0 00000b8e: PUSH1 0x02 00000b90: EXP 00000b91: SUB 00000b92: DUP3 00000b93: AND 00000b94: PUSH4 0xa9059cbb 00000b99: DUP3 00000b9a: DUP3 00000b9b: PUSH4 0x70a08231 00000ba0: ADDRESS 00000ba1: PUSH1 0x00 00000ba3: PUSH1 0x40 00000ba5: MLOAD 00000ba6: PUSH1 0x20 00000ba8: ADD 00000ba9: MSTORE 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: PUSH1 0xe0 00000baf: PUSH1 0x02 00000bb1: EXP 00000bb2: PUSH4 0xffffffff 00000bb7: DUP5 00000bb8: AND 00000bb9: MUL 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x01 00000bbe: PUSH1 0xa0 00000bc0: PUSH1 0x02 00000bc2: EXP 00000bc3: SUB 00000bc4: SWAP1 00000bc5: SWAP2 00000bc6: AND 00000bc7: PUSH1 0x04 00000bc9: DUP3 00000bca: ADD 00000bcb: MSTORE 00000bcc: PUSH1 0x24 00000bce: ADD 00000bcf: PUSH1 0x20 00000bd1: PUSH1 0x40 00000bd3: MLOAD 00000bd4: DUP1 00000bd5: DUP4 00000bd6: SUB 00000bd7: DUP2 00000bd8: PUSH1 0x00 00000bda: DUP8 00000bdb: DUP1 00000bdc: EXTCODESIZE 00000bdd: ISZERO 00000bde: ISZERO 00000bdf: PUSH2 0x0be7 00000be2: JUMPI 00000be3: PUSH1 0x00 00000be5: DUP1 00000be6: REVERT 00000be7: JUMPDEST 00000be8: PUSH2 0x02c6 00000beb: GAS 00000bec: SUB 00000bed: CALL 00000bee: ISZERO 00000bef: ISZERO 00000bf0: PUSH2 0x0bf8 00000bf3: JUMPI 00000bf4: PUSH1 0x00 00000bf6: DUP1 00000bf7: REVERT 00000bf8: JUMPDEST 00000bf9: POP 00000bfa: POP 00000bfb: POP 00000bfc: PUSH1 0x40 00000bfe: MLOAD 00000bff: DUP1 00000c00: MLOAD 00000c01: SWAP1 00000c02: POP 00000c03: PUSH1 0x00 00000c05: PUSH1 0x40 00000c07: MLOAD 00000c08: PUSH1 0x20 00000c0a: ADD 00000c0b: MSTORE 00000c0c: PUSH1 0x40 00000c0e: MLOAD 00000c0f: PUSH1 0xe0 00000c11: PUSH1 0x02 00000c13: EXP 00000c14: PUSH4 0xffffffff 00000c19: DUP6 00000c1a: AND 00000c1b: MUL 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: PUSH1 0x01 00000c20: PUSH1 0xa0 00000c22: PUSH1 0x02 00000c24: EXP 00000c25: SUB 00000c26: SWAP1 00000c27: SWAP3 00000c28: AND 00000c29: PUSH1 0x04 00000c2b: DUP4 00000c2c: ADD 00000c2d: MSTORE 00000c2e: PUSH1 0x24 00000c30: DUP3 00000c31: ADD 00000c32: MSTORE 00000c33: PUSH1 0x44 00000c35: ADD 00000c36: PUSH1 0x20 00000c38: PUSH1 0x40 00000c3a: MLOAD 00000c3b: DUP1 00000c3c: DUP4 00000c3d: SUB 00000c3e: DUP2 00000c3f: PUSH1 0x00 00000c41: DUP8 00000c42: DUP1 00000c43: EXTCODESIZE 00000c44: ISZERO 00000c45: ISZERO 00000c46: PUSH2 0x0c4e 00000c49: JUMPI 00000c4a: PUSH1 0x00 00000c4c: DUP1 00000c4d: REVERT 00000c4e: JUMPDEST 00000c4f: PUSH2 0x02c6 00000c52: GAS 00000c53: SUB 00000c54: CALL 00000c55: ISZERO 00000c56: ISZERO 00000c57: PUSH2 0x0c5f 00000c5a: JUMPI 00000c5b: PUSH1 0x00 00000c5d: DUP1 00000c5e: REVERT 00000c5f: JUMPDEST 00000c60: POP 00000c61: POP 00000c62: POP 00000c63: PUSH1 0x40 00000c65: MLOAD 00000c66: DUP1 00000c67: MLOAD 00000c68: POP 00000c69: POP 00000c6a: POP 00000c6b: POP 00000c6c: JUMP 00000c6d: JUMPDEST 00000c6e: PUSH1 0x00 00000c70: PUSH2 0x0c7e 00000c73: PUSH1 0x1c 00000c75: SLOAD 00000c76: TIMESTAMP 00000c77: SUB 00000c78: PUSH1 0x0e 00000c7a: PUSH2 0x1608 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: SWAP1 00000c80: POP 00000c81: JUMPDEST 00000c82: SWAP1 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x06 00000c87: SLOAD 00000c88: CALLER 00000c89: PUSH1 0x01 00000c8b: PUSH1 0xa0 00000c8d: PUSH1 0x02 00000c8f: EXP 00000c90: SUB 00000c91: SWAP1 00000c92: DUP2 00000c93: AND 00000c94: SWAP2 00000c95: AND 00000c96: EQ 00000c97: PUSH2 0x0c9f 00000c9a: JUMPI 00000c9b: PUSH1 0x00 00000c9d: DUP1 00000c9e: REVERT 00000c9f: JUMPDEST 00000ca0: PUSH1 0x02 00000ca2: DUP1 00000ca3: PUSH1 0x0b 00000ca5: SLOAD 00000ca6: PUSH1 0xa0 00000ca8: PUSH1 0x02 00000caa: EXP 00000cab: SWAP1 00000cac: DIV 00000cad: PUSH1 0xff 00000caf: AND 00000cb0: PUSH1 0x05 00000cb2: DUP2 00000cb3: GT 00000cb4: ISZERO 00000cb5: PUSH2 0x0cba 00000cb8: JUMPI 00000cb9: INVALID 00000cba: JUMPDEST 00000cbb: EQ 00000cbc: PUSH2 0x0a6b 00000cbf: JUMPI 00000cc0: PUSH1 0x00 00000cc2: DUP1 00000cc3: REVERT 00000cc4: JUMPDEST 00000cc5: PUSH1 0x0a 00000cc7: SLOAD 00000cc8: PUSH1 0x01 00000cca: PUSH1 0xa0 00000ccc: PUSH1 0x02 00000cce: EXP 00000ccf: SUB 00000cd0: AND 00000cd1: DUP2 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: PUSH1 0x04 00000cd6: SLOAD 00000cd7: DUP2 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: PUSH1 0x02 00000ce0: EXP 00000ce1: SUB 00000ce2: CALLER 00000ce3: DUP2 00000ce4: AND 00000ce5: PUSH1 0x00 00000ce7: SWAP1 00000ce8: DUP2 00000ce9: MSTORE 00000cea: PUSH1 0x02 00000cec: PUSH1 0x20 00000cee: SWAP1 00000cef: DUP2 00000cf0: MSTORE 00000cf1: PUSH1 0x40 00000cf3: DUP1 00000cf4: DUP4 00000cf5: KECCAK256 00000cf6: SWAP4 00000cf7: DUP7 00000cf8: AND 00000cf9: DUP4 00000cfa: MSTORE 00000cfb: SWAP3 00000cfc: SWAP1 00000cfd: MSTORE 00000cfe: SWAP1 00000cff: DUP2 00000d00: KECCAK256 00000d01: SLOAD 00000d02: DUP1 00000d03: DUP4 00000d04: GT 00000d05: ISZERO 00000d06: PUSH2 0x0d36 00000d09: JUMPI 00000d0a: PUSH1 0x01 00000d0c: PUSH1 0xa0 00000d0e: PUSH1 0x02 00000d10: EXP 00000d11: SUB 00000d12: CALLER 00000d13: DUP2 00000d14: AND 00000d15: PUSH1 0x00 00000d17: SWAP1 00000d18: DUP2 00000d19: MSTORE 00000d1a: PUSH1 0x02 00000d1c: PUSH1 0x20 00000d1e: SWAP1 00000d1f: DUP2 00000d20: MSTORE 00000d21: PUSH1 0x40 00000d23: DUP1 00000d24: DUP4 00000d25: KECCAK256 00000d26: SWAP4 00000d27: DUP9 00000d28: AND 00000d29: DUP4 00000d2a: MSTORE 00000d2b: SWAP3 00000d2c: SWAP1 00000d2d: MSTORE 00000d2e: SWAP1 00000d2f: DUP2 00000d30: KECCAK256 00000d31: SSTORE 00000d32: PUSH2 0x0d6d 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH2 0x0d46 00000d3a: DUP2 00000d3b: DUP5 00000d3c: PUSH4 0xffffffff 00000d41: PUSH2 0x12d9 00000d44: AND 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x01 00000d49: PUSH1 0xa0 00000d4b: PUSH1 0x02 00000d4d: EXP 00000d4e: SUB 00000d4f: CALLER 00000d50: DUP2 00000d51: AND 00000d52: PUSH1 0x00 00000d54: SWAP1 00000d55: DUP2 00000d56: MSTORE 00000d57: PUSH1 0x02 00000d59: PUSH1 0x20 00000d5b: SWAP1 00000d5c: DUP2 00000d5d: MSTORE 00000d5e: PUSH1 0x40 00000d60: DUP1 00000d61: DUP4 00000d62: KECCAK256 00000d63: SWAP4 00000d64: DUP10 00000d65: AND 00000d66: DUP4 00000d67: MSTORE 00000d68: SWAP3 00000d69: SWAP1 00000d6a: MSTORE 00000d6b: KECCAK256 00000d6c: SSTORE 00000d6d: JUMPDEST 00000d6e: PUSH1 0x01 00000d70: PUSH1 0xa0 00000d72: PUSH1 0x02 00000d74: EXP 00000d75: SUB 00000d76: CALLER 00000d77: DUP2 00000d78: AND 00000d79: PUSH1 0x00 00000d7b: DUP2 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: PUSH1 0x02 00000d80: PUSH1 0x20 00000d82: SWAP1 00000d83: DUP2 00000d84: MSTORE 00000d85: PUSH1 0x40 00000d87: DUP1 00000d88: DUP4 00000d89: KECCAK256 00000d8a: SWAP5 00000d8b: DUP10 00000d8c: AND 00000d8d: DUP1 00000d8e: DUP5 00000d8f: MSTORE 00000d90: SWAP5 00000d91: SWAP1 00000d92: SWAP2 00000d93: MSTORE 00000d94: SWAP1 00000d95: DUP2 00000d96: SWAP1 00000d97: KECCAK256 00000d98: SLOAD 00000d99: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000dba: SWAP2 00000dbb: MLOAD 00000dbc: SWAP1 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: PUSH1 0x20 00000dc1: ADD 00000dc2: PUSH1 0x40 00000dc4: MLOAD 00000dc5: DUP1 00000dc6: SWAP2 00000dc7: SUB 00000dc8: SWAP1 00000dc9: LOG3 00000dca: POP 00000dcb: PUSH1 0x01 00000dcd: SWAP4 00000dce: SWAP3 00000dcf: POP 00000dd0: POP 00000dd1: POP 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: PUSH1 0x08 00000dd6: SLOAD 00000dd7: PUSH1 0x01 00000dd9: PUSH1 0xa0 00000ddb: PUSH1 0x02 00000ddd: EXP 00000dde: SUB 00000ddf: AND 00000de0: DUP2 00000de1: JUMP 00000de2: JUMPDEST 00000de3: PUSH1 0x01 00000de5: PUSH1 0xa0 00000de7: PUSH1 0x02 00000de9: EXP 00000dea: SUB 00000deb: DUP2 00000dec: AND 00000ded: PUSH1 0x00 00000def: SWAP1 00000df0: DUP2 00000df1: MSTORE 00000df2: PUSH1 0x01 00000df4: PUSH1 0x20 00000df6: MSTORE 00000df7: PUSH1 0x40 00000df9: SWAP1 00000dfa: KECCAK256 00000dfb: SLOAD 00000dfc: JUMPDEST 00000dfd: SWAP2 00000dfe: SWAP1 00000dff: POP 00000e00: JUMP 00000e01: JUMPDEST 00000e02: PUSH1 0x0b 00000e04: SLOAD 00000e05: PUSH1 0x01 00000e07: PUSH1 0xa0 00000e09: PUSH1 0x02 00000e0b: EXP 00000e0c: SUB 00000e0d: AND 00000e0e: DUP2 00000e0f: JUMP 00000e10: JUMPDEST 00000e11: PUSH1 0x00 00000e13: PUSH2 0x0c7e 00000e16: PUSH1 0x1c 00000e18: SLOAD 00000e19: TIMESTAMP 00000e1a: SUB 00000e1b: PUSH1 0x0e 00000e1d: PUSH2 0x1656 00000e20: JUMP 00000e21: JUMPDEST 00000e22: PUSH1 0x06 00000e24: SLOAD 00000e25: CALLER 00000e26: PUSH1 0x01 00000e28: PUSH1 0xa0 00000e2a: PUSH1 0x02 00000e2c: EXP 00000e2d: SUB 00000e2e: SWAP1 00000e2f: DUP2 00000e30: AND 00000e31: SWAP2 00000e32: AND 00000e33: EQ 00000e34: PUSH2 0x0e3c 00000e37: JUMPI 00000e38: PUSH1 0x00 00000e3a: DUP1 00000e3b: REVERT 00000e3c: JUMPDEST 00000e3d: PUSH1 0x01 00000e3f: DUP1 00000e40: PUSH1 0x0b 00000e42: SLOAD 00000e43: PUSH1 0xa0 00000e45: PUSH1 0x02 00000e47: EXP 00000e48: SWAP1 00000e49: DIV 00000e4a: PUSH1 0xff 00000e4c: AND 00000e4d: PUSH1 0x05 00000e4f: DUP2 00000e50: GT 00000e51: ISZERO 00000e52: PUSH2 0x0e57 00000e55: JUMPI 00000e56: INVALID 00000e57: JUMPDEST 00000e58: EQ 00000e59: PUSH2 0x0e61 00000e5c: JUMPI 00000e5d: PUSH1 0x00 00000e5f: DUP1 00000e60: REVERT 00000e61: JUMPDEST 00000e62: PUSH1 0x0c 00000e64: SLOAD 00000e65: NUMBER 00000e66: LT 00000e67: PUSH2 0x0e6f 00000e6a: JUMPI 00000e6b: PUSH1 0x00 00000e6d: DUP1 00000e6e: REVERT 00000e6f: JUMPDEST 00000e70: PUSH2 0x0a7d 00000e73: PUSH1 0x02 00000e75: PUSH2 0x1568 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH1 0x06 00000e7c: SLOAD 00000e7d: CALLER 00000e7e: PUSH1 0x01 00000e80: PUSH1 0xa0 00000e82: PUSH1 0x02 00000e84: EXP 00000e85: SUB 00000e86: SWAP1 00000e87: DUP2 00000e88: AND 00000e89: SWAP2 00000e8a: AND 00000e8b: EQ 00000e8c: PUSH2 0x0e94 00000e8f: JUMPI 00000e90: PUSH1 0x00 00000e92: DUP1 00000e93: REVERT 00000e94: JUMPDEST 00000e95: PUSH1 0x02 00000e97: DUP1 00000e98: PUSH1 0x0b 00000e9a: SLOAD 00000e9b: PUSH1 0xa0 00000e9d: PUSH1 0x02 00000e9f: EXP 00000ea0: SWAP1 00000ea1: DIV 00000ea2: PUSH1 0xff 00000ea4: AND 00000ea5: PUSH1 0x05 00000ea7: DUP2 00000ea8: GT 00000ea9: ISZERO 00000eaa: PUSH2 0x0eaf 00000ead: JUMPI 00000eae: INVALID 00000eaf: JUMPDEST 00000eb0: EQ 00000eb1: PUSH2 0x0eb9 00000eb4: JUMPI 00000eb5: PUSH1 0x00 00000eb7: DUP1 00000eb8: REVERT 00000eb9: JUMPDEST 00000eba: PUSH2 0x0ec3 00000ebd: PUSH1 0x05 00000ebf: PUSH2 0x1568 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: POP 00000ec5: TIMESTAMP 00000ec6: PUSH1 0x1d 00000ec8: SSTORE 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: PUSH1 0x08 00000ecd: SLOAD 00000ece: CALLER 00000ecf: PUSH1 0x01 00000ed1: PUSH1 0xa0 00000ed3: PUSH1 0x02 00000ed5: EXP 00000ed6: SUB 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: AND 00000eda: SWAP2 00000edb: AND 00000edc: EQ 00000edd: PUSH2 0x0ee5 00000ee0: JUMPI 00000ee1: PUSH1 0x00 00000ee3: DUP1 00000ee4: REVERT 00000ee5: JUMPDEST 00000ee6: PUSH1 0x04 00000ee8: DUP1 00000ee9: PUSH1 0x0b 00000eeb: SLOAD 00000eec: PUSH1 0xa0 00000eee: PUSH1 0x02 00000ef0: EXP 00000ef1: SWAP1 00000ef2: DIV 00000ef3: PUSH1 0xff 00000ef5: AND 00000ef6: PUSH1 0x05 00000ef8: DUP2 00000ef9: GT 00000efa: ISZERO 00000efb: PUSH2 0x0f00 00000efe: JUMPI 00000eff: INVALID 00000f00: JUMPDEST 00000f01: EQ 00000f02: PUSH2 0x0f0a 00000f05: JUMPI 00000f06: PUSH1 0x00 00000f08: DUP1 00000f09: REVERT 00000f0a: JUMPDEST 00000f0b: PUSH1 0x01 00000f0d: PUSH1 0xa0 00000f0f: PUSH1 0x02 00000f11: EXP 00000f12: SUB 00000f13: CALLER 00000f14: AND 00000f15: DUP3 00000f16: ISZERO 00000f17: PUSH2 0x08fc 00000f1a: MUL 00000f1b: DUP4 00000f1c: PUSH1 0x40 00000f1e: MLOAD 00000f1f: PUSH1 0x00 00000f21: PUSH1 0x40 00000f23: MLOAD 00000f24: DUP1 00000f25: DUP4 00000f26: SUB 00000f27: DUP2 00000f28: DUP6 00000f29: DUP9 00000f2a: DUP9 00000f2b: CALL 00000f2c: SWAP4 00000f2d: POP 00000f2e: POP 00000f2f: POP 00000f30: POP 00000f31: ISZERO 00000f32: ISZERO 00000f33: PUSH2 0x0b11 00000f36: JUMPI 00000f37: PUSH1 0x00 00000f39: DUP1 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: PUSH1 0x40 00000f3e: DUP1 00000f3f: MLOAD 00000f40: SWAP1 00000f41: DUP2 00000f42: ADD 00000f43: PUSH1 0x40 00000f45: MSTORE 00000f46: PUSH1 0x03 00000f48: DUP2 00000f49: MSTORE 00000f4a: PUSH32 0x51434f0000000000000000000000000000000000000000000000000000000000 00000f6b: PUSH1 0x20 00000f6d: DUP3 00000f6e: ADD 00000f6f: MSTORE 00000f70: DUP2 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH1 0x05 00000f75: PUSH1 0x20 00000f77: MSTORE 00000f78: PUSH1 0x00 00000f7a: SWAP1 00000f7b: DUP2 00000f7c: MSTORE 00000f7d: PUSH1 0x40 00000f7f: SWAP1 00000f80: KECCAK256 00000f81: SLOAD 00000f82: PUSH1 0xff 00000f84: AND 00000f85: DUP2 00000f86: JUMP 00000f87: JUMPDEST 00000f88: PUSH1 0x06 00000f8a: SLOAD 00000f8b: CALLER 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0xa0 00000f90: PUSH1 0x02 00000f92: EXP 00000f93: SUB 00000f94: SWAP1 00000f95: DUP2 00000f96: AND 00000f97: SWAP2 00000f98: AND 00000f99: EQ 00000f9a: PUSH2 0x0fa2 00000f9d: JUMPI 00000f9e: PUSH1 0x00 00000fa0: DUP1 00000fa1: REVERT 00000fa2: JUMPDEST 00000fa3: PUSH1 0x05 00000fa5: DUP1 00000fa6: PUSH1 0x0b 00000fa8: SLOAD 00000fa9: PUSH1 0xa0 00000fab: PUSH1 0x02 00000fad: EXP 00000fae: SWAP1 00000faf: DIV 00000fb0: PUSH1 0xff 00000fb2: AND 00000fb3: PUSH1 0x05 00000fb5: DUP2 00000fb6: GT 00000fb7: ISZERO 00000fb8: PUSH2 0x0fbd 00000fbb: JUMPI 00000fbc: INVALID 00000fbd: JUMPDEST 00000fbe: EQ 00000fbf: PUSH2 0x0fc7 00000fc2: JUMPI 00000fc3: PUSH1 0x00 00000fc5: DUP1 00000fc6: REVERT 00000fc7: JUMPDEST 00000fc8: PUSH2 0x0fd1 00000fcb: PUSH1 0x02 00000fcd: PUSH2 0x1568 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x1d 00000fd4: SLOAD 00000fd5: TIMESTAMP 00000fd6: SUB 00000fd7: PUSH1 0x1c 00000fd9: SLOAD 00000fda: ADD 00000fdb: PUSH1 0x1c 00000fdd: DUP2 00000fde: SWAP1 00000fdf: SSTORE 00000fe0: POP 00000fe1: POP 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: PUSH1 0x00 00000fe6: PUSH1 0x04 00000fe8: DUP1 00000fe9: PUSH1 0x0b 00000feb: SLOAD 00000fec: PUSH1 0xa0 00000fee: PUSH1 0x02 00000ff0: EXP 00000ff1: SWAP1 00000ff2: DIV 00000ff3: PUSH1 0xff 00000ff5: AND 00000ff6: PUSH1 0x05 00000ff8: DUP2 00000ff9: GT 00000ffa: ISZERO 00000ffb: PUSH2 0x1000 00000ffe: JUMPI 00000fff: INVALID 00001000: JUMPDEST 00001001: EQ 00001002: PUSH2 0x100a 00001005: JUMPI 00001006: PUSH1 0x00 00001008: DUP1 00001009: REVERT 0000100a: JUMPDEST 0000100b: PUSH2 0x07f9 0000100e: DUP5 0000100f: DUP5 00001010: PUSH2 0x16a5 00001013: JUMP 00001014: JUMPDEST 00001015: PUSH1 0x32 00001017: DUP2 00001018: JUMP 00001019: JUMPDEST 0000101a: PUSH1 0x0b 0000101c: SLOAD 0000101d: PUSH1 0xa0 0000101f: PUSH1 0x02 00001021: EXP 00001022: SWAP1 00001023: DIV 00001024: PUSH1 0xff 00001026: AND 00001027: DUP2 00001028: JUMP 00001029: JUMPDEST 0000102a: PUSH1 0x1d 0000102c: SLOAD 0000102d: DUP2 0000102e: JUMP 0000102f: JUMPDEST 00001030: PUSH1 0x09 00001032: SLOAD 00001033: PUSH1 0x01 00001035: PUSH1 0xa0 00001037: PUSH1 0x02 00001039: EXP 0000103a: SUB 0000103b: AND 0000103c: DUP2 0000103d: JUMP 0000103e: JUMPDEST 0000103f: PUSH1 0x09 00001041: SLOAD 00001042: CALLER 00001043: PUSH1 0x01 00001045: PUSH1 0xa0 00001047: PUSH1 0x02 00001049: EXP 0000104a: SUB 0000104b: SWAP1 0000104c: DUP2 0000104d: AND 0000104e: SWAP2 0000104f: AND 00001050: EQ 00001051: PUSH2 0x1059 00001054: JUMPI 00001055: PUSH1 0x00 00001057: DUP1 00001058: REVERT 00001059: JUMPDEST 0000105a: PUSH1 0x01 0000105c: PUSH1 0x0b 0000105e: SLOAD 0000105f: PUSH1 0xa0 00001061: PUSH1 0x02 00001063: EXP 00001064: SWAP1 00001065: DIV 00001066: PUSH1 0xff 00001068: AND 00001069: PUSH1 0x05 0000106b: DUP2 0000106c: GT 0000106d: ISZERO 0000106e: PUSH2 0x1073 00001071: JUMPI 00001072: INVALID 00001073: JUMPDEST 00001074: EQ 00001075: DUP1 00001076: PUSH2 0x1096 00001079: JUMPI 0000107a: POP 0000107b: PUSH1 0x02 0000107d: PUSH1 0x0b 0000107f: SLOAD 00001080: PUSH1 0xa0 00001082: PUSH1 0x02 00001084: EXP 00001085: SWAP1 00001086: DIV 00001087: PUSH1 0xff 00001089: AND 0000108a: PUSH1 0x05 0000108c: DUP2 0000108d: GT 0000108e: ISZERO 0000108f: PUSH2 0x1094 00001092: JUMPI 00001093: INVALID 00001094: JUMPDEST 00001095: EQ 00001096: JUMPDEST 00001097: ISZERO 00001098: ISZERO 00001099: PUSH2 0x10a1 0000109c: JUMPI 0000109d: PUSH1 0x00 0000109f: DUP1 000010a0: REVERT 000010a1: JUMPDEST 000010a2: PUSH2 0x0b11 000010a5: DUP3 000010a6: DUP3 000010a7: PUSH2 0x0801 000010aa: JUMP 000010ab: JUMPDEST 000010ac: PUSH1 0x00 000010ae: PUSH1 0x03 000010b0: DUP1 000010b1: PUSH1 0x0b 000010b3: SLOAD 000010b4: PUSH1 0xa0 000010b6: PUSH1 0x02 000010b8: EXP 000010b9: SWAP1 000010ba: DIV 000010bb: PUSH1 0xff 000010bd: AND 000010be: PUSH1 0x05 000010c0: DUP2 000010c1: GT 000010c2: ISZERO 000010c3: PUSH2 0x10c8 000010c6: JUMPI 000010c7: INVALID 000010c8: JUMPDEST 000010c9: EQ 000010ca: PUSH2 0x10d2 000010cd: JUMPI 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: REVERT 000010d2: JUMPDEST 000010d3: PUSH1 0x01 000010d5: PUSH1 0xa0 000010d7: PUSH1 0x02 000010d9: EXP 000010da: SUB 000010db: CALLER 000010dc: AND 000010dd: PUSH1 0x00 000010df: SWAP1 000010e0: DUP2 000010e1: MSTORE 000010e2: PUSH1 0x03 000010e4: PUSH1 0x20 000010e6: MSTORE 000010e7: PUSH1 0x40 000010e9: DUP2 000010ea: KECCAK256 000010eb: SLOAD 000010ec: GT 000010ed: PUSH2 0x10f5 000010f0: JUMPI 000010f1: PUSH1 0x00 000010f3: DUP1 000010f4: REVERT 000010f5: JUMPDEST 000010f6: PUSH1 0x01 000010f8: PUSH1 0xa0 000010fa: PUSH1 0x02 000010fc: EXP 000010fd: SUB 000010fe: CALLER 000010ff: AND 00001100: PUSH1 0x00 00001102: DUP2 00001103: DUP2 00001104: MSTORE 00001105: PUSH1 0x03 00001107: PUSH1 0x20 00001109: MSTORE 0000110a: PUSH1 0x40 0000110c: DUP1 0000110d: DUP3 0000110e: KECCAK256 0000110f: DUP1 00001110: SLOAD 00001111: SWAP3 00001112: SWAP1 00001113: SSTORE 00001114: SWAP1 00001115: SWAP4 00001116: POP 00001117: DUP4 00001118: ISZERO 00001119: PUSH2 0x08fc 0000111c: MUL 0000111d: SWAP1 0000111e: DUP5 0000111f: SWAP1 00001120: MLOAD 00001121: PUSH1 0x00 00001123: PUSH1 0x40 00001125: MLOAD 00001126: DUP1 00001127: DUP4 00001128: SUB 00001129: DUP2 0000112a: DUP6 0000112b: DUP9 0000112c: DUP9 0000112d: CALL 0000112e: SWAP4 0000112f: POP 00001130: POP 00001131: POP 00001132: POP 00001133: ISZERO 00001134: ISZERO 00001135: PUSH2 0x0b11 00001138: JUMPI 00001139: PUSH1 0x00 0000113b: DUP1 0000113c: REVERT 0000113d: JUMPDEST 0000113e: PUSH1 0x01 00001140: PUSH1 0xa0 00001142: PUSH1 0x02 00001144: EXP 00001145: SUB 00001146: CALLER 00001147: DUP2 00001148: AND 00001149: PUSH1 0x00 0000114b: SWAP1 0000114c: DUP2 0000114d: MSTORE 0000114e: PUSH1 0x02 00001150: PUSH1 0x20 00001152: SWAP1 00001153: DUP2 00001154: MSTORE 00001155: PUSH1 0x40 00001157: DUP1 00001158: DUP4 00001159: KECCAK256 0000115a: SWAP4 0000115b: DUP7 0000115c: AND 0000115d: DUP4 0000115e: MSTORE 0000115f: SWAP3 00001160: SWAP1 00001161: MSTORE 00001162: SWAP1 00001163: DUP2 00001164: KECCAK256 00001165: SLOAD 00001166: PUSH2 0x1175 00001169: SWAP1 0000116a: DUP4 0000116b: PUSH4 0xffffffff 00001170: PUSH2 0x08ff 00001173: AND 00001174: JUMP 00001175: JUMPDEST 00001176: PUSH1 0x01 00001178: PUSH1 0xa0 0000117a: PUSH1 0x02 0000117c: EXP 0000117d: SUB 0000117e: CALLER 0000117f: DUP2 00001180: AND 00001181: PUSH1 0x00 00001183: DUP2 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x02 00001188: PUSH1 0x20 0000118a: SWAP1 0000118b: DUP2 0000118c: MSTORE 0000118d: PUSH1 0x40 0000118f: DUP1 00001190: DUP4 00001191: KECCAK256 00001192: SWAP5 00001193: DUP10 00001194: AND 00001195: DUP1 00001196: DUP5 00001197: MSTORE 00001198: SWAP5 00001199: SWAP1 0000119a: SWAP2 0000119b: MSTORE 0000119c: SWAP1 0000119d: DUP2 0000119e: SWAP1 0000119f: KECCAK256 000011a0: DUP5 000011a1: SWAP1 000011a2: SSTORE 000011a3: SWAP2 000011a4: SWAP3 000011a5: SWAP1 000011a6: SWAP2 000011a7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000011c8: SWAP2 000011c9: SWAP1 000011ca: MLOAD 000011cb: SWAP1 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x20 000011d0: ADD 000011d1: PUSH1 0x40 000011d3: MLOAD 000011d4: DUP1 000011d5: SWAP2 000011d6: SUB 000011d7: SWAP1 000011d8: LOG3 000011d9: POP 000011da: PUSH1 0x01 000011dc: SWAP3 000011dd: SWAP2 000011de: POP 000011df: POP 000011e0: JUMP 000011e1: JUMPDEST 000011e2: PUSH1 0x01 000011e4: PUSH1 0xa0 000011e6: PUSH1 0x02 000011e8: EXP 000011e9: SUB 000011ea: SWAP2 000011eb: DUP3 000011ec: AND 000011ed: PUSH1 0x00 000011ef: SWAP1 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x02 000011f4: PUSH1 0x20 000011f6: SWAP1 000011f7: DUP2 000011f8: MSTORE 000011f9: PUSH1 0x40 000011fb: DUP1 000011fc: DUP4 000011fd: KECCAK256 000011fe: SWAP4 000011ff: SWAP1 00001200: SWAP5 00001201: AND 00001202: DUP3 00001203: MSTORE 00001204: SWAP2 00001205: SWAP1 00001206: SWAP2 00001207: MSTORE 00001208: KECCAK256 00001209: SLOAD 0000120a: SWAP1 0000120b: JUMP 0000120c: JUMPDEST 0000120d: PUSH1 0x07 0000120f: SLOAD 00001210: CALLER 00001211: PUSH1 0x01 00001213: PUSH1 0xa0 00001215: PUSH1 0x02 00001217: EXP 00001218: SUB 00001219: SWAP1 0000121a: DUP2 0000121b: AND 0000121c: SWAP2 0000121d: AND 0000121e: EQ 0000121f: PUSH2 0x1227 00001222: JUMPI 00001223: PUSH1 0x00 00001225: DUP1 00001226: REVERT 00001227: JUMPDEST 00001228: PUSH1 0x01 0000122a: PUSH1 0xa0 0000122c: PUSH1 0x02 0000122e: EXP 0000122f: SUB 00001230: DUP2 00001231: AND 00001232: PUSH1 0x00 00001234: SWAP1 00001235: DUP2 00001236: MSTORE 00001237: PUSH1 0x05 00001239: PUSH1 0x20 0000123b: MSTORE 0000123c: PUSH1 0x40 0000123e: SWAP1 0000123f: DUP2 00001240: SWAP1 00001241: KECCAK256 00001242: DUP1 00001243: SLOAD 00001244: PUSH1 0xff 00001246: NOT 00001247: AND 00001248: PUSH1 0x01 0000124a: OR 0000124b: SWAP1 0000124c: SSTORE 0000124d: PUSH32 0xaab7954e9d246b167ef88aeddad35209ca2489d95a8aeb59e288d9b19fae5a54 0000126e: SWAP1 0000126f: DUP3 00001270: SWAP1 00001271: MLOAD 00001272: PUSH1 0x01 00001274: PUSH1 0xa0 00001276: PUSH1 0x02 00001278: EXP 00001279: SUB 0000127a: SWAP1 0000127b: SWAP2 0000127c: AND 0000127d: DUP2 0000127e: MSTORE 0000127f: PUSH1 0x20 00001281: ADD 00001282: PUSH1 0x40 00001284: MLOAD 00001285: DUP1 00001286: SWAP2 00001287: SUB 00001288: SWAP1 00001289: LOG1 0000128a: POP 0000128b: JUMP 0000128c: JUMPDEST 0000128d: PUSH1 0x03 0000128f: PUSH1 0x20 00001291: MSTORE 00001292: PUSH1 0x00 00001294: SWAP1 00001295: DUP2 00001296: MSTORE 00001297: PUSH1 0x40 00001299: SWAP1 0000129a: KECCAK256 0000129b: SLOAD 0000129c: DUP2 0000129d: JUMP 0000129e: JUMPDEST 0000129f: PUSH1 0x00 000012a1: DUP3 000012a2: DUP3 000012a3: MUL 000012a4: DUP4 000012a5: ISZERO 000012a6: DUP1 000012a7: PUSH2 0x12ba 000012aa: JUMPI 000012ab: POP 000012ac: DUP3 000012ad: DUP5 000012ae: DUP3 000012af: DUP2 000012b0: ISZERO 000012b1: ISZERO 000012b2: PUSH2 0x12b7 000012b5: JUMPI 000012b6: INVALID 000012b7: JUMPDEST 000012b8: DIV 000012b9: EQ 000012ba: JUMPDEST 000012bb: ISZERO 000012bc: ISZERO 000012bd: PUSH2 0x090e 000012c0: JUMPI 000012c1: INVALID 000012c2: JUMPDEST 000012c3: PUSH1 0x00 000012c5: DUP1 000012c6: DUP3 000012c7: DUP5 000012c8: DUP2 000012c9: ISZERO 000012ca: ISZERO 000012cb: PUSH2 0x12d0 000012ce: JUMPI 000012cf: INVALID 000012d0: JUMPDEST 000012d1: DIV 000012d2: SWAP5 000012d3: SWAP4 000012d4: POP 000012d5: POP 000012d6: POP 000012d7: POP 000012d8: JUMP 000012d9: JUMPDEST 000012da: PUSH1 0x00 000012dc: DUP3 000012dd: DUP3 000012de: GT 000012df: ISZERO 000012e0: PUSH2 0x12e5 000012e3: JUMPI 000012e4: INVALID 000012e5: JUMPDEST 000012e6: POP 000012e7: SWAP1 000012e8: SUB 000012e9: SWAP1 000012ea: JUMP 000012eb: JUMPDEST 000012ec: PUSH1 0x00 000012ee: DUP1 000012ef: PUSH1 0x01 000012f1: PUSH1 0xa0 000012f3: PUSH1 0x02 000012f5: EXP 000012f6: SUB 000012f7: DUP5 000012f8: AND 000012f9: ISZERO 000012fa: ISZERO 000012fb: PUSH2 0x1303 000012fe: JUMPI 000012ff: PUSH1 0x00 00001301: DUP1 00001302: REVERT 00001303: JUMPDEST 00001304: POP 00001305: PUSH1 0x01 00001307: PUSH1 0xa0 00001309: PUSH1 0x02 0000130b: EXP 0000130c: SUB 0000130d: DUP1 0000130e: DUP6 0000130f: AND 00001310: PUSH1 0x00 00001312: DUP2 00001313: DUP2 00001314: MSTORE 00001315: PUSH1 0x02 00001317: PUSH1 0x20 00001319: SWAP1 0000131a: DUP2 0000131b: MSTORE 0000131c: PUSH1 0x40 0000131e: DUP1 0000131f: DUP4 00001320: KECCAK256 00001321: CALLER 00001322: SWAP1 00001323: SWAP6 00001324: AND 00001325: DUP4 00001326: MSTORE 00001327: SWAP4 00001328: DUP2 00001329: MSTORE 0000132a: DUP4 0000132b: DUP3 0000132c: KECCAK256 0000132d: SLOAD 0000132e: SWAP3 0000132f: DUP3 00001330: MSTORE 00001331: PUSH1 0x01 00001333: SWAP1 00001334: MSTORE 00001335: SWAP2 00001336: SWAP1 00001337: SWAP2 00001338: KECCAK256 00001339: SLOAD 0000133a: PUSH2 0x1349 0000133d: SWAP1 0000133e: DUP5 0000133f: PUSH4 0xffffffff 00001344: PUSH2 0x12d9 00001347: AND 00001348: JUMP 00001349: JUMPDEST 0000134a: PUSH1 0x01 0000134c: PUSH1 0xa0 0000134e: PUSH1 0x02 00001350: EXP 00001351: SUB 00001352: DUP1 00001353: DUP8 00001354: AND 00001355: PUSH1 0x00 00001357: SWAP1 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x01 0000135c: PUSH1 0x20 0000135e: MSTORE 0000135f: PUSH1 0x40 00001361: DUP1 00001362: DUP3 00001363: KECCAK256 00001364: SWAP4 00001365: SWAP1 00001366: SWAP4 00001367: SSTORE 00001368: SWAP1 00001369: DUP7 0000136a: AND 0000136b: DUP2 0000136c: MSTORE 0000136d: KECCAK256 0000136e: SLOAD 0000136f: PUSH2 0x137e 00001372: SWAP1 00001373: DUP5 00001374: PUSH4 0xffffffff 00001379: PUSH2 0x08ff 0000137c: AND 0000137d: JUMP 0000137e: JUMPDEST 0000137f: PUSH1 0x01 00001381: PUSH1 0xa0 00001383: PUSH1 0x02 00001385: EXP 00001386: SUB 00001387: DUP6 00001388: AND 00001389: PUSH1 0x00 0000138b: SWAP1 0000138c: DUP2 0000138d: MSTORE 0000138e: PUSH1 0x01 00001390: PUSH1 0x20 00001392: MSTORE 00001393: PUSH1 0x40 00001395: SWAP1 00001396: KECCAK256 00001397: SSTORE 00001398: PUSH2 0x13a7 0000139b: DUP2 0000139c: DUP5 0000139d: PUSH4 0xffffffff 000013a2: PUSH2 0x12d9 000013a5: AND 000013a6: JUMP 000013a7: JUMPDEST 000013a8: PUSH1 0x01 000013aa: PUSH1 0xa0 000013ac: PUSH1 0x02 000013ae: EXP 000013af: SUB 000013b0: DUP1 000013b1: DUP8 000013b2: AND 000013b3: PUSH1 0x00 000013b5: DUP2 000013b6: DUP2 000013b7: MSTORE 000013b8: PUSH1 0x02 000013ba: PUSH1 0x20 000013bc: SWAP1 000013bd: DUP2 000013be: MSTORE 000013bf: PUSH1 0x40 000013c1: DUP1 000013c2: DUP4 000013c3: KECCAK256 000013c4: CALLER 000013c5: DUP7 000013c6: AND 000013c7: DUP5 000013c8: MSTORE 000013c9: SWAP1 000013ca: SWAP2 000013cb: MSTORE 000013cc: SWAP1 000013cd: DUP2 000013ce: SWAP1 000013cf: KECCAK256 000013d0: SWAP4 000013d1: SWAP1 000013d2: SWAP4 000013d3: SSTORE 000013d4: SWAP1 000013d5: DUP7 000013d6: AND 000013d7: SWAP2 000013d8: PUSH1 0x00 000013da: DUP1 000013db: MLOAD 000013dc: PUSH1 0x20 000013de: PUSH2 0x1a84 000013e1: DUP4 000013e2: CODECOPY 000013e3: DUP2 000013e4: MLOAD 000013e5: SWAP2 000013e6: MSTORE 000013e7: SWAP1 000013e8: DUP7 000013e9: SWAP1 000013ea: MLOAD 000013eb: SWAP1 000013ec: DUP2 000013ed: MSTORE 000013ee: PUSH1 0x20 000013f0: ADD 000013f1: PUSH1 0x40 000013f3: MLOAD 000013f4: DUP1 000013f5: SWAP2 000013f6: SUB 000013f7: SWAP1 000013f8: LOG3 000013f9: POP 000013fa: PUSH1 0x01 000013fc: SWAP5 000013fd: SWAP4 000013fe: POP 000013ff: POP 00001400: POP 00001401: POP 00001402: JUMP 00001403: JUMPDEST 00001404: PUSH1 0x00 00001406: DUP1 00001407: PUSH2 0x1421 0000140a: PUSH1 0x32 0000140c: PUSH2 0x07ed 0000140f: PUSH1 0x64 00001411: PUSH1 0x04 00001413: SLOAD 00001414: PUSH2 0x129e 00001417: SWAP1 00001418: SWAP2 00001419: SWAP1 0000141a: PUSH4 0xffffffff 0000141f: AND 00001420: JUMP 00001421: JUMPDEST 00001422: PUSH1 0x00 00001424: DUP2 00001425: SWAP1 00001426: SSTORE 00001427: PUSH2 0x143e 0000142a: SWAP1 0000142b: PUSH1 0x64 0000142d: SWAP1 0000142e: PUSH2 0x07ed 00001431: SWAP1 00001432: PUSH1 0x16 00001434: PUSH4 0xffffffff 00001439: PUSH2 0x129e 0000143c: AND 0000143d: JUMP 0000143e: JUMPDEST 0000143f: PUSH1 0x0a 00001441: DUP1 00001442: SLOAD 00001443: PUSH1 0x01 00001445: PUSH1 0xa0 00001447: PUSH1 0x02 00001449: EXP 0000144a: SUB 0000144b: SWAP1 0000144c: DUP2 0000144d: AND 0000144e: PUSH1 0x00 00001450: SWAP1 00001451: DUP2 00001452: MSTORE 00001453: PUSH1 0x01 00001455: PUSH1 0x20 00001457: MSTORE 00001458: PUSH1 0x40 0000145a: SWAP1 0000145b: DUP2 0000145c: SWAP1 0000145d: KECCAK256 0000145e: DUP5 0000145f: SWAP1 00001460: SSTORE 00001461: SWAP2 00001462: SLOAD 00001463: PUSH1 0x0b 00001465: SLOAD 00001466: SWAP4 00001467: SWAP6 00001468: POP 00001469: DUP2 0000146a: AND 0000146b: SWAP3 0000146c: AND 0000146d: SWAP1 0000146e: PUSH1 0x00 00001470: DUP1 00001471: MLOAD 00001472: PUSH1 0x20 00001474: PUSH2 0x1a84 00001477: DUP4 00001478: CODECOPY 00001479: DUP2 0000147a: MLOAD 0000147b: SWAP2 0000147c: MSTORE 0000147d: SWAP1 0000147e: DUP6 0000147f: SWAP1 00001480: MLOAD 00001481: SWAP1 00001482: DUP2 00001483: MSTORE 00001484: PUSH1 0x20 00001486: ADD 00001487: PUSH1 0x40 00001489: MLOAD 0000148a: DUP1 0000148b: SWAP2 0000148c: SUB 0000148d: SWAP1 0000148e: LOG3 0000148f: PUSH2 0x14b5 00001492: DUP3 00001493: PUSH2 0x14a9 00001496: PUSH1 0x04 00001498: SLOAD 00001499: PUSH1 0x00 0000149b: SLOAD 0000149c: PUSH2 0x12d9 0000149f: SWAP1 000014a0: SWAP2 000014a1: SWAP1 000014a2: PUSH4 0xffffffff 000014a7: AND 000014a8: JUMP 000014a9: JUMPDEST 000014aa: SWAP1 000014ab: PUSH4 0xffffffff 000014b0: PUSH2 0x12d9 000014b3: AND 000014b4: JUMP 000014b5: JUMPDEST 000014b6: PUSH1 0x0b 000014b8: SLOAD 000014b9: PUSH1 0x01 000014bb: PUSH1 0xa0 000014bd: PUSH1 0x02 000014bf: EXP 000014c0: SUB 000014c1: AND 000014c2: PUSH1 0x00 000014c4: DUP2 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x01 000014c9: PUSH1 0x20 000014cb: MSTORE 000014cc: PUSH1 0x40 000014ce: DUP2 000014cf: KECCAK256 000014d0: SLOAD 000014d1: SWAP3 000014d2: SWAP4 000014d3: POP 000014d4: SWAP2 000014d5: PUSH1 0x00 000014d7: DUP1 000014d8: MLOAD 000014d9: PUSH1 0x20 000014db: PUSH2 0x1a84 000014de: DUP4 000014df: CODECOPY 000014e0: DUP2 000014e1: MLOAD 000014e2: SWAP2 000014e3: MSTORE 000014e4: SWAP1 000014e5: PUSH2 0x14fa 000014e8: SWAP1 000014e9: DUP7 000014ea: SWAP1 000014eb: PUSH2 0x14a9 000014ee: SWAP1 000014ef: DUP8 000014f0: PUSH4 0xffffffff 000014f5: PUSH2 0x12d9 000014f8: AND 000014f9: JUMP 000014fa: JUMPDEST 000014fb: PUSH1 0x40 000014fd: MLOAD 000014fe: SWAP1 000014ff: DUP2 00001500: MSTORE 00001501: PUSH1 0x20 00001503: ADD 00001504: PUSH1 0x40 00001506: MLOAD 00001507: DUP1 00001508: SWAP2 00001509: SUB 0000150a: SWAP1 0000150b: LOG3 0000150c: PUSH1 0x0b 0000150e: SLOAD 0000150f: PUSH1 0x01 00001511: PUSH1 0xa0 00001513: PUSH1 0x02 00001515: EXP 00001516: SUB 00001517: AND 00001518: PUSH1 0x00 0000151a: SWAP1 0000151b: DUP2 0000151c: MSTORE 0000151d: PUSH1 0x01 0000151f: PUSH1 0x20 00001521: DUP2 00001522: SWAP1 00001523: MSTORE 00001524: PUSH1 0x40 00001526: SWAP2 00001527: DUP3 00001528: SWAP1 00001529: KECCAK256 0000152a: DUP4 0000152b: SWAP1 0000152c: SSTORE 0000152d: PUSH1 0x1b 0000152f: DUP1 00001530: SLOAD 00001531: PUSH1 0xff 00001533: NOT 00001534: AND 00001535: SWAP1 00001536: SWAP2 00001537: OR 00001538: SWAP1 00001539: SSTORE 0000153a: PUSH32 0xae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa08 0000155b: SWAP1 0000155c: MLOAD 0000155d: PUSH1 0x40 0000155f: MLOAD 00001560: DUP1 00001561: SWAP2 00001562: SUB 00001563: SWAP1 00001564: LOG1 00001565: POP 00001566: POP 00001567: JUMP 00001568: JUMPDEST 00001569: PUSH1 0x0b 0000156b: SLOAD 0000156c: PUSH32 0x3a779de46631dd65116ae538600f1bc3c338200c6aef638429b5de43301c28f7 0000158d: SWAP1 0000158e: PUSH1 0xa0 00001590: PUSH1 0x02 00001592: EXP 00001593: SWAP1 00001594: DIV 00001595: PUSH1 0xff 00001597: AND 00001598: DUP3 00001599: PUSH1 0x40 0000159b: MLOAD 0000159c: DUP1 0000159d: DUP4 0000159e: PUSH1 0x05 000015a0: DUP2 000015a1: GT 000015a2: ISZERO 000015a3: PUSH2 0x15a8 000015a6: JUMPI 000015a7: INVALID 000015a8: JUMPDEST 000015a9: PUSH1 0xff 000015ab: AND 000015ac: DUP2 000015ad: MSTORE 000015ae: PUSH1 0x20 000015b0: ADD 000015b1: DUP3 000015b2: PUSH1 0x05 000015b4: DUP2 000015b5: GT 000015b6: ISZERO 000015b7: PUSH2 0x15bc 000015ba: JUMPI 000015bb: INVALID 000015bc: JUMPDEST 000015bd: PUSH1 0xff 000015bf: AND 000015c0: DUP2 000015c1: MSTORE 000015c2: PUSH1 0x20 000015c4: ADD 000015c5: SWAP3 000015c6: POP 000015c7: POP 000015c8: POP 000015c9: PUSH1 0x40 000015cb: MLOAD 000015cc: DUP1 000015cd: SWAP2 000015ce: SUB 000015cf: SWAP1 000015d0: LOG1 000015d1: PUSH1 0x0b 000015d3: DUP1 000015d4: SLOAD 000015d5: DUP3 000015d6: SWAP2 000015d7: SWAP1 000015d8: PUSH21 0xff0000000000000000000000000000000000000000 000015ee: NOT 000015ef: AND 000015f0: PUSH1 0xa0 000015f2: PUSH1 0x02 000015f4: EXP 000015f5: DUP4 000015f6: PUSH1 0x05 000015f8: DUP2 000015f9: GT 000015fa: ISZERO 000015fb: PUSH2 0x1600 000015fe: JUMPI 000015ff: INVALID 00001600: JUMPDEST 00001601: MUL 00001602: OR 00001603: SWAP1 00001604: SSTORE 00001605: POP 00001606: POP 00001607: JUMP 00001608: JUMPDEST 00001609: PUSH1 0x00 0000160b: PUSH1 0x06 0000160d: DUP2 0000160e: JUMPDEST 0000160f: DUP2 00001610: DUP2 00001611: LT 00001612: ISZERO 00001613: PUSH2 0x164e 00001616: JUMPI 00001617: PUSH1 0x07 00001619: DUP5 0000161a: ADD 0000161b: DUP2 0000161c: PUSH1 0x06 0000161e: DUP2 0000161f: LT 00001620: PUSH2 0x1625 00001623: JUMPI 00001624: INVALID 00001625: JUMPDEST 00001626: ADD 00001627: SLOAD 00001628: DUP6 00001629: LT 0000162a: ISZERO 0000162b: PUSH2 0x1646 0000162e: JUMPI 0000162f: PUSH1 0x07 00001631: DUP5 00001632: ADD 00001633: DUP2 00001634: PUSH1 0x06 00001636: DUP2 00001637: LT 00001638: PUSH2 0x163d 0000163b: JUMPI 0000163c: INVALID 0000163d: JUMPDEST 0000163e: ADD 0000163f: SLOAD 00001640: SWAP3 00001641: POP 00001642: PUSH2 0x164e 00001645: JUMP 00001646: JUMPDEST 00001647: PUSH1 0x01 00001649: ADD 0000164a: PUSH2 0x160e 0000164d: JUMP 0000164e: JUMPDEST 0000164f: POP 00001650: POP 00001651: SWAP3 00001652: SWAP2 00001653: POP 00001654: POP 00001655: JUMP 00001656: JUMPDEST 00001657: PUSH1 0x00 00001659: PUSH1 0x06 0000165b: DUP1 0000165c: DUP3 0000165d: JUMPDEST 0000165e: DUP3 0000165f: DUP2 00001660: LT 00001661: ISZERO 00001662: PUSH2 0x168d 00001665: JUMPI 00001666: PUSH1 0x07 00001668: DUP6 00001669: ADD 0000166a: DUP2 0000166b: PUSH1 0x06 0000166d: DUP2 0000166e: LT 0000166f: PUSH2 0x1674 00001672: JUMPI 00001673: INVALID 00001674: JUMPDEST 00001675: ADD 00001676: SLOAD 00001677: DUP7 00001678: LT 00001679: ISZERO 0000167a: PUSH2 0x1685 0000167d: JUMPI 0000167e: DUP1 0000167f: SWAP2 00001680: POP 00001681: PUSH2 0x168d 00001684: JUMP 00001685: JUMPDEST 00001686: PUSH1 0x01 00001688: ADD 00001689: PUSH2 0x165d 0000168c: JUMP 0000168d: JUMPDEST 0000168e: DUP5 0000168f: DUP3 00001690: PUSH1 0x07 00001692: DUP2 00001693: LT 00001694: PUSH2 0x1699 00001697: JUMPI 00001698: INVALID 00001699: JUMPDEST 0000169a: ADD 0000169b: SLOAD 0000169c: SWAP7 0000169d: SWAP6 0000169e: POP 0000169f: POP 000016a0: POP 000016a1: POP 000016a2: POP 000016a3: POP 000016a4: JUMP 000016a5: JUMPDEST 000016a6: PUSH1 0x00 000016a8: PUSH1 0x01 000016aa: PUSH1 0xa0 000016ac: PUSH1 0x02 000016ae: EXP 000016af: SUB 000016b0: DUP4 000016b1: AND 000016b2: ISZERO 000016b3: ISZERO 000016b4: PUSH2 0x16bc 000016b7: JUMPI 000016b8: PUSH1 0x00 000016ba: DUP1 000016bb: REVERT 000016bc: JUMPDEST 000016bd: PUSH1 0x01 000016bf: PUSH1 0xa0 000016c1: PUSH1 0x02 000016c3: EXP 000016c4: SUB 000016c5: CALLER 000016c6: AND 000016c7: PUSH1 0x00 000016c9: SWAP1 000016ca: DUP2 000016cb: MSTORE 000016cc: PUSH1 0x01 000016ce: PUSH1 0x20 000016d0: MSTORE 000016d1: PUSH1 0x40 000016d3: SWAP1 000016d4: KECCAK256 000016d5: SLOAD 000016d6: PUSH2 0x16e5 000016d9: SWAP1 000016da: DUP4 000016db: PUSH4 0xffffffff 000016e0: PUSH2 0x12d9 000016e3: AND 000016e4: JUMP 000016e5: JUMPDEST 000016e6: PUSH1 0x01 000016e8: PUSH1 0xa0 000016ea: PUSH1 0x02 000016ec: EXP 000016ed: SUB 000016ee: CALLER 000016ef: DUP2 000016f0: AND 000016f1: PUSH1 0x00 000016f3: SWAP1 000016f4: DUP2 000016f5: MSTORE 000016f6: PUSH1 0x01 000016f8: PUSH1 0x20 000016fa: MSTORE 000016fb: PUSH1 0x40 000016fd: DUP1 000016fe: DUP3 000016ff: KECCAK256 00001700: SWAP4 00001701: SWAP1 00001702: SWAP4 00001703: SSTORE 00001704: SWAP1 00001705: DUP6 00001706: AND 00001707: DUP2 00001708: MSTORE 00001709: KECCAK256 0000170a: SLOAD 0000170b: PUSH2 0x171a 0000170e: SWAP1 0000170f: DUP4 00001710: PUSH4 0xffffffff 00001715: PUSH2 0x08ff 00001718: AND 00001719: JUMP 0000171a: JUMPDEST 0000171b: PUSH1 0x01 0000171d: PUSH1 0xa0 0000171f: PUSH1 0x02 00001721: EXP 00001722: SUB 00001723: DUP1 00001724: DUP6 00001725: AND 00001726: PUSH1 0x00 00001728: DUP2 00001729: DUP2 0000172a: MSTORE 0000172b: PUSH1 0x01 0000172d: PUSH1 0x20 0000172f: MSTORE 00001730: PUSH1 0x40 00001732: SWAP1 00001733: DUP2 00001734: SWAP1 00001735: KECCAK256 00001736: SWAP4 00001737: SWAP1 00001738: SWAP4 00001739: SSTORE 0000173a: SWAP2 0000173b: CALLER 0000173c: SWAP1 0000173d: SWAP2 0000173e: AND 0000173f: SWAP1 00001740: PUSH1 0x00 00001742: DUP1 00001743: MLOAD 00001744: PUSH1 0x20 00001746: PUSH2 0x1a84 00001749: DUP4 0000174a: CODECOPY 0000174b: DUP2 0000174c: MLOAD 0000174d: SWAP2 0000174e: MSTORE 0000174f: SWAP1 00001750: DUP6 00001751: SWAP1 00001752: MLOAD 00001753: SWAP1 00001754: DUP2 00001755: MSTORE 00001756: PUSH1 0x20 00001758: ADD 00001759: PUSH1 0x40 0000175b: MLOAD 0000175c: DUP1 0000175d: SWAP2 0000175e: SUB 0000175f: SWAP1 00001760: LOG3 00001761: POP 00001762: PUSH1 0x01 00001764: SWAP3 00001765: SWAP2 00001766: POP 00001767: POP 00001768: JUMP 00001769: JUMPDEST 0000176a: PUSH1 0xe0 0000176c: PUSH1 0x40 0000176e: MLOAD 0000176f: SWAP1 00001770: DUP2 00001771: ADD 00001772: PUSH1 0x40 00001774: SWAP1 00001775: DUP2 00001776: MSTORE 00001777: PUSH2 0x012c 0000177a: DUP3 0000177b: MSTORE 0000177c: PUSH1 0xfa 0000177e: PUSH1 0x20 00001780: DUP4 00001781: ADD 00001782: MSTORE 00001783: PUSH1 0xc8 00001785: SWAP1 00001786: DUP3 00001787: ADD 00001788: MSTORE 00001789: PUSH1 0x96 0000178b: PUSH1 0x60 0000178d: DUP3 0000178e: ADD 0000178f: MSTORE 00001790: PUSH1 0x64 00001792: PUSH1 0x80 00001794: DUP3 00001795: ADD 00001796: MSTORE 00001797: PUSH1 0x32 00001799: PUSH1 0xa0 0000179b: DUP3 0000179c: ADD 0000179d: MSTORE 0000179e: PUSH1 0x00 000017a0: PUSH1 0xc0 000017a2: DUP3 000017a3: ADD 000017a4: MSTORE 000017a5: PUSH2 0x17b1 000017a8: SWAP1 000017a9: DUP3 000017aa: SWAP1 000017ab: PUSH1 0x07 000017ad: PUSH2 0x19d5 000017b0: JUMP 000017b1: JUMPDEST 000017b2: POP 000017b3: PUSH1 0xc0 000017b5: PUSH1 0x40 000017b7: MLOAD 000017b8: SWAP1 000017b9: DUP2 000017ba: ADD 000017bb: PUSH1 0x40 000017bd: MSTORE 000017be: DUP1 000017bf: PUSH2 0x17cd 000017c2: PUSH2 0x07e2 000017c5: PUSH1 0x09 000017c7: PUSH1 0x01 000017c9: PUSH2 0x1843 000017cc: JUMP 000017cd: JUMPDEST 000017ce: DUP2 000017cf: MSTORE 000017d0: PUSH1 0x20 000017d2: ADD 000017d3: PUSH2 0x17e1 000017d6: PUSH2 0x07e2 000017d9: PUSH1 0x09 000017db: PUSH1 0x08 000017dd: PUSH2 0x1843 000017e0: JUMP 000017e1: JUMPDEST 000017e2: DUP2 000017e3: MSTORE 000017e4: PUSH1 0x20 000017e6: ADD 000017e7: PUSH2 0x17f5 000017ea: PUSH2 0x07e2 000017ed: PUSH1 0x09 000017ef: PUSH1 0x0f 000017f1: PUSH2 0x1843 000017f4: JUMP 000017f5: JUMPDEST 000017f6: DUP2 000017f7: MSTORE 000017f8: PUSH1 0x20 000017fa: ADD 000017fb: PUSH2 0x1809 000017fe: PUSH2 0x07e2 00001801: PUSH1 0x09 00001803: PUSH1 0x16 00001805: PUSH2 0x1843 00001808: JUMP 00001809: JUMPDEST 0000180a: DUP2 0000180b: MSTORE 0000180c: PUSH1 0x20 0000180e: ADD 0000180f: PUSH2 0x181d 00001812: PUSH2 0x07e2 00001815: PUSH1 0x09 00001817: PUSH1 0x1d 00001819: PUSH2 0x1843 0000181c: JUMP 0000181d: JUMPDEST 0000181e: DUP2 0000181f: MSTORE 00001820: PUSH1 0x20 00001822: ADD 00001823: PUSH2 0x1831 00001826: PUSH2 0x07e2 00001829: PUSH1 0x0a 0000182b: PUSH1 0x08 0000182d: PUSH2 0x1843 00001830: JUMP 00001831: JUMPDEST 00001832: SWAP1 00001833: MSTORE 00001834: PUSH2 0x0b11 00001837: SWAP1 00001838: PUSH1 0x07 0000183a: DUP4 0000183b: ADD 0000183c: SWAP1 0000183d: PUSH1 0x06 0000183f: PUSH2 0x1a13 00001842: JUMP 00001843: JUMPDEST 00001844: PUSH1 0x00 00001846: DUP1 00001847: PUSH2 0x184e 0000184a: PUSH2 0x1a40 0000184d: JUMP 0000184e: JUMPDEST 0000184f: PUSH4 0xffffffff 00001854: PUSH4 0x01e13380 00001859: PUSH2 0xffff 0000185c: PUSH2 0x07b1 0000185f: NOT 00001860: DUP10 00001861: ADD 00001862: AND 00001863: MUL 00001864: AND 00001865: SWAP3 00001866: SWAP1 00001867: SWAP3 00001868: ADD 00001869: SWAP2 0000186a: PUSH2 0x1874 0000186d: PUSH2 0x07b2 00001870: PUSH2 0x1964 00001873: JUMP 00001874: JUMPDEST 00001875: PUSH2 0x1881 00001878: DUP8 00001879: PUSH2 0xffff 0000187c: AND 0000187d: PUSH2 0x1964 00001880: JUMP 00001881: JUMPDEST 00001882: PUSH1 0x1f 00001884: DUP4 00001885: MSTORE 00001886: SUB 00001887: PUSH3 0x015180 0000188b: MUL 0000188c: SWAP3 0000188d: SWAP1 0000188e: SWAP3 0000188f: ADD 00001890: SWAP2 00001891: PUSH2 0x1899 00001894: DUP7 00001895: PUSH2 0x197f 00001898: JUMP 00001899: JUMPDEST 0000189a: ISZERO 0000189b: PUSH2 0x18aa 0000189e: JUMPI 0000189f: PUSH1 0x1d 000018a1: PUSH1 0x20 000018a3: DUP3 000018a4: ADD 000018a5: MSTORE 000018a6: PUSH2 0x18b2 000018a9: JUMP 000018aa: JUMPDEST 000018ab: PUSH1 0x1c 000018ad: PUSH1 0x20 000018af: DUP3 000018b0: ADD 000018b1: MSTORE 000018b2: JUMPDEST 000018b3: PUSH1 0x1f 000018b5: PUSH1 0x40 000018b7: DUP3 000018b8: ADD 000018b9: DUP2 000018ba: SWAP1 000018bb: MSTORE 000018bc: PUSH1 0x1e 000018be: PUSH1 0x60 000018c0: DUP4 000018c1: ADD 000018c2: DUP2 000018c3: SWAP1 000018c4: MSTORE 000018c5: PUSH1 0x80 000018c7: DUP4 000018c8: ADD 000018c9: DUP3 000018ca: SWAP1 000018cb: MSTORE 000018cc: PUSH1 0xa0 000018ce: DUP4 000018cf: ADD 000018d0: DUP2 000018d1: SWAP1 000018d2: MSTORE 000018d3: PUSH1 0xc0 000018d5: DUP4 000018d6: ADD 000018d7: DUP3 000018d8: SWAP1 000018d9: MSTORE 000018da: PUSH1 0xe0 000018dc: DUP4 000018dd: ADD 000018de: DUP3 000018df: SWAP1 000018e0: MSTORE 000018e1: PUSH2 0x0100 000018e4: DUP4 000018e5: ADD 000018e6: DUP2 000018e7: SWAP1 000018e8: MSTORE 000018e9: PUSH2 0x0120 000018ec: DUP4 000018ed: ADD 000018ee: DUP3 000018ef: SWAP1 000018f0: MSTORE 000018f1: PUSH2 0x0140 000018f4: DUP4 000018f5: ADD 000018f6: MSTORE 000018f7: PUSH2 0x0160 000018fa: DUP3 000018fb: ADD 000018fc: MSTORE 000018fd: PUSH1 0x01 000018ff: SWAP2 00001900: POP 00001901: JUMPDEST 00001902: DUP5 00001903: PUSH1 0xff 00001905: AND 00001906: DUP3 00001907: PUSH2 0xffff 0000190a: AND 0000190b: LT 0000190c: ISZERO 0000190d: PUSH2 0x1947 00001910: JUMPI 00001911: DUP1 00001912: PUSH2 0xffff 00001915: PUSH1 0x00 00001917: NOT 00001918: DUP5 00001919: ADD 0000191a: AND 0000191b: PUSH1 0x0c 0000191d: DUP2 0000191e: LT 0000191f: PUSH2 0x1924 00001922: JUMPI 00001923: INVALID 00001924: JUMPDEST 00001925: PUSH1 0x20 00001927: MUL 00001928: ADD 00001929: MLOAD 0000192a: PUSH1 0xff 0000192c: AND 0000192d: PUSH3 0x015180 00001931: MUL 00001932: PUSH3 0xffffff 00001936: AND 00001937: DUP4 00001938: ADD 00001939: SWAP3 0000193a: POP 0000193b: DUP2 0000193c: DUP1 0000193d: PUSH1 0x01 0000193f: ADD 00001940: SWAP3 00001941: POP 00001942: POP 00001943: PUSH2 0x1901 00001946: JUMP 00001947: JUMPDEST 00001948: POP 00001949: POP 0000194a: PUSH1 0x00 0000194c: NOT 0000194d: SWAP2 0000194e: SWAP1 0000194f: SWAP2 00001950: ADD 00001951: PUSH1 0xff 00001953: AND 00001954: PUSH3 0x015180 00001958: MUL 00001959: PUSH3 0xffffff 0000195d: AND 0000195e: ADD 0000195f: SWAP3 00001960: SWAP2 00001961: POP 00001962: POP 00001963: JUMP 00001964: JUMPDEST 00001965: PUSH1 0x00 00001967: NOT 00001968: ADD 00001969: PUSH1 0x00 0000196b: PUSH2 0x0190 0000196e: DUP3 0000196f: DIV 00001970: PUSH1 0x64 00001972: DUP4 00001973: DIV 00001974: PUSH1 0x04 00001976: DUP5 00001977: DIV 00001978: SUB 00001979: ADD 0000197a: SWAP3 0000197b: SWAP2 0000197c: POP 0000197d: POP 0000197e: JUMP 0000197f: JUMPDEST 00001980: PUSH1 0x00 00001982: PUSH1 0x04 00001984: PUSH2 0xffff 00001987: DUP4 00001988: AND 00001989: MOD 0000198a: PUSH2 0xffff 0000198d: AND 0000198e: ISZERO 0000198f: PUSH2 0x199a 00001992: JUMPI 00001993: POP 00001994: PUSH1 0x00 00001996: PUSH2 0x0dfc 00001999: JUMP 0000199a: JUMPDEST 0000199b: PUSH1 0x64 0000199d: PUSH2 0xffff 000019a0: DUP4 000019a1: AND 000019a2: MOD 000019a3: PUSH2 0xffff 000019a6: AND 000019a7: ISZERO 000019a8: PUSH2 0x19b3 000019ab: JUMPI 000019ac: POP 000019ad: PUSH1 0x01 000019af: PUSH2 0x0dfc 000019b2: JUMP 000019b3: JUMPDEST 000019b4: PUSH2 0x0190 000019b7: PUSH2 0xffff 000019ba: DUP4 000019bb: AND 000019bc: MOD 000019bd: PUSH2 0xffff 000019c0: AND 000019c1: ISZERO 000019c2: PUSH2 0x19cd 000019c5: JUMPI 000019c6: POP 000019c7: PUSH1 0x00 000019c9: PUSH2 0x0dfc 000019cc: JUMP 000019cd: JUMPDEST 000019ce: POP 000019cf: PUSH1 0x01 000019d1: SWAP2 000019d2: SWAP1 000019d3: POP 000019d4: JUMP 000019d5: JUMPDEST 000019d6: DUP3 000019d7: PUSH1 0x07 000019d9: DUP2 000019da: ADD 000019db: SWAP3 000019dc: DUP3 000019dd: ISZERO 000019de: PUSH2 0x1a03 000019e1: JUMPI 000019e2: SWAP2 000019e3: PUSH1 0x20 000019e5: MUL 000019e6: DUP3 000019e7: ADD 000019e8: JUMPDEST 000019e9: DUP3 000019ea: DUP2 000019eb: GT 000019ec: ISZERO 000019ed: PUSH2 0x1a03 000019f0: JUMPI 000019f1: DUP3 000019f2: MLOAD 000019f3: DUP3 000019f4: SSTORE 000019f5: SWAP2 000019f6: PUSH1 0x20 000019f8: ADD 000019f9: SWAP2 000019fa: SWAP1 000019fb: PUSH1 0x01 000019fd: ADD 000019fe: SWAP1 000019ff: PUSH2 0x19e8 00001a02: JUMP 00001a03: JUMPDEST 00001a04: POP 00001a05: PUSH2 0x1a0f 00001a08: SWAP3 00001a09: SWAP2 00001a0a: POP 00001a0b: PUSH2 0x1a69 00001a0e: JUMP 00001a0f: JUMPDEST 00001a10: POP 00001a11: SWAP1 00001a12: JUMP 00001a13: JUMPDEST 00001a14: DUP3 00001a15: PUSH1 0x06 00001a17: DUP2 00001a18: ADD 00001a19: SWAP3 00001a1a: DUP3 00001a1b: ISZERO 00001a1c: PUSH2 0x1a03 00001a1f: JUMPI 00001a20: SWAP2 00001a21: PUSH1 0x20 00001a23: MUL 00001a24: DUP3 00001a25: ADD 00001a26: DUP3 00001a27: DUP2 00001a28: GT 00001a29: ISZERO 00001a2a: PUSH2 0x1a03 00001a2d: JUMPI 00001a2e: DUP3 00001a2f: MLOAD 00001a30: DUP3 00001a31: SSTORE 00001a32: SWAP2 00001a33: PUSH1 0x20 00001a35: ADD 00001a36: SWAP2 00001a37: SWAP1 00001a38: PUSH1 0x01 00001a3a: ADD 00001a3b: SWAP1 00001a3c: PUSH2 0x19e8 00001a3f: JUMP 00001a40: JUMPDEST 00001a41: PUSH2 0x0180 00001a44: PUSH1 0x40 00001a46: MLOAD 00001a47: SWAP1 00001a48: DUP2 00001a49: ADD 00001a4a: PUSH1 0x40 00001a4c: MSTORE 00001a4d: PUSH1 0x0c 00001a4f: DUP2 00001a50: JUMPDEST 00001a51: PUSH1 0x00 00001a53: DUP2 00001a54: MSTORE 00001a55: PUSH1 0x00 00001a57: NOT 00001a58: SWAP1 00001a59: SWAP2 00001a5a: ADD 00001a5b: SWAP1 00001a5c: PUSH1 0x20 00001a5e: ADD 00001a5f: DUP2 00001a60: PUSH2 0x1a50 00001a63: JUMPI 00001a64: SWAP1 00001a65: POP 00001a66: POP 00001a67: SWAP1 00001a68: JUMP 00001a69: JUMPDEST 00001a6a: PUSH2 0x0c81 00001a6d: SWAP2 00001a6e: SWAP1 00001a6f: JUMPDEST 00001a70: DUP1 00001a71: DUP3 00001a72: GT 00001a73: ISZERO 00001a74: PUSH2 0x1a0f 00001a77: JUMPI 00001a78: PUSH1 0x00 00001a7a: DUP2 00001a7b: SSTORE 00001a7c: PUSH1 0x01 00001a7e: ADD 00001a7f: PUSH2 0x1a6f 00001a82: JUMP 00001a83: STOP 00001a84: UNKNOWN(0xDD) 00001a85: CALLCODE 00001a86: MSTORE 00001a87: UNKNOWN(0xAD) 00001a88: SHL 00001a89: UNKNOWN(0xE2) 00001a8a: UNKNOWN(0xC8) 00001a8b: SWAP12 00001a8c: PUSH10 0xc2b068fc378daa952ba7 00001a97: CALL 00001a98: PUSH4 0xc4a11628 00001a9d: CREATE2 00001a9e: GAS 00001a9f: UNKNOWN(0x4D) 00001aa0: CREATE2 00001aa1: UNKNOWN(0x23) 00001aa2: UNKNOWN(0xB3) 00001aa3: UNKNOWN(0xEF) 00001aa4: LOG1 00001aa5: PUSH6 0x627a7a723058 00001aac: KECCAK256 00001aad: UNKNOWN(0xD1) 00001aae: UNKNOWN(0x1F) 00001aaf: UNKNOWN(0xF8) 00001ab0: UNKNOWN(0xB5) 00001ab1: UNKNOWN(0x22) 00001ab2: UNKNOWN(0xB1) 00001ab3: BLOCKHASH 00001ab4: DUP8 00001ab5: UNKNOWN(0x4D) 00001ab6: ADD 00001ab7: LOG0 00001ab8: UNKNOWN(0xB0) 00001ab9: TIMESTAMP 00001aba: UNKNOWN(0x26) 00001abb: UNKNOWN(0xC1) 00001abc: SWAP6 00001abd: SWAP16 00001abe: SWAP9 00001abf: SWAP4 00001ac0: NOT 00001ac1: SWAP5 00001ac2: UNKNOWN(0xE0) 00001ac3: SWAP14 00001ac4: JUMPDEST 00001ac5: PUSH12
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33
call_targets:
0x3a8a97123bccd826228e5eb4144b48cce169517b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3a8a97123bccd826228e5eb4144b48cce169517b"
],
"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": "0x04b2bf99",
"selector": "0x04b2bf99",
"calldata_variants": [
"0x04b2bf99",
"0x04b2bf990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083c6323",
"selector": "0x083c6323",
"calldata_variants": [
"0x083c6323",
"0x083c63230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09f3ad26",
"selector": "0x09f3ad26",
"calldata_variants": [
"0x09f3ad26",
"0x09f3ad260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2344acdf",
"selector": "0x2344acdf",
"calldata_variants": [
"0x2344acdf",
"0x2344acdf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3053,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3156,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3883,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33
call_targets:
0x3a8a97123bccd826228e5eb4144b48cce169517b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3a8a97123bccd826228e5eb4144b48cce169517b"
],
"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": "0x04b2bf99",
"selector": "0x04b2bf99",
"calldata_variants": [
"0x04b2bf99",
"0x04b2bf990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083c6323",
"selector": "0x083c6323",
"calldata_variants": [
"0x083c6323",
"0x083c63230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09f3ad26",
"selector": "0x09f3ad26",
"calldata_variants": [
"0x09f3ad26",
"0x09f3ad260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2344acdf",
"selector": "0x2344acdf",
"calldata_variants": [
"0x2344acdf",
"0x2344acdf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3053,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3156,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3883,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xfd7b6664a841e172dcf71bb4dab3520987f16c90c809a1d41443846cc2a59753
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xfd7b6664a841e172dcf71bb4dab3520987f16c90c809a1d41443846cc2a59753",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x04b2bf99",
"selector": "0x04b2bf99",
"calldata_variants": [
"0x04b2bf99",
"0x04b2bf990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x083c6323",
"selector": "0x083c6323",
"calldata_variants": [
"0x083c6323",
"0x083c63230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09f3ad26",
"selector": "0x09f3ad26",
"calldata_variants": [
"0x09f3ad26",
"0x09f3ad260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2344acdf",
"selector": "0x2344acdf",
"calldata_variants": [
"0x2344acdf",
"0x2344acdf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 2
}
|