019b477e-ad0c-7281-ab1d-ba075641d250
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 |
|---|---|---|---|---|
| 21345 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21346 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101363 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101364 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101365 | detector.run | complete | 1 / 3 | 1 week ago |
| 101366 | validation.fork | complete | 1 / 3 | 1 week ago |
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 0x01c9 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x02ce8ac9 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x01ce 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x04f7a69d 0000002d: EQ 0000002e: PUSH2 0x01e6 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x05d258dd 00000038: EQ 00000039: PUSH2 0x020b 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x14ca6e01 00000043: EQ 00000044: PUSH2 0x0224 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x1e52f7b5 0000004e: EQ 0000004f: PUSH2 0x023a 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x2038e80a 00000059: EQ 0000005a: PUSH2 0x0259 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x2104fa0b 00000064: EQ 00000065: PUSH2 0x0288 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x278fcffa 0000006f: EQ 00000070: PUSH2 0x029e 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x287efb57 0000007a: EQ 0000007b: PUSH2 0x02bd 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x2c9ea1b7 00000085: EQ 00000086: PUSH2 0x02dc 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x363dd19e 00000090: EQ 00000091: PUSH2 0x02ef 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x36f7992b 0000009b: EQ 0000009c: PUSH2 0x02f7 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x3a21ec8d 000000a6: EQ 000000a7: PUSH2 0x0310 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x3ef5f368 000000b1: EQ 000000b2: PUSH2 0x0323 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x3f4ba83a 000000bc: EQ 000000bd: PUSH2 0x0339 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x56f91399 000000c7: EQ 000000c8: PUSH2 0x034c 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x5b548ab4 000000d2: EQ 000000d3: PUSH2 0x037b 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x5c975abb 000000dd: EQ 000000de: PUSH2 0x0389 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x6885edcd 000000e8: EQ 000000e9: PUSH2 0x03b0 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x6c779d57 000000f3: EQ 000000f4: PUSH2 0x03c6 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x733efe16 000000fe: EQ 000000ff: PUSH2 0x03dc 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x7b04b1f8 00000109: EQ 0000010a: PUSH2 0x03fb 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x7b6e7603 00000114: EQ 00000115: PUSH2 0x040e 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x8456cb59 0000011f: EQ 00000120: PUSH2 0x0421 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x87934ec8 0000012a: EQ 0000012b: PUSH2 0x0434 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x8da5cb5b 00000135: EQ 00000136: PUSH2 0x0447 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x959b3fa0 00000140: EQ 00000141: PUSH2 0x045a 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x97b3116e 0000014b: EQ 0000014c: PUSH2 0x047c 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x98e4f581 00000156: EQ 00000157: PUSH2 0x0492 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0xa02a34cd 00000161: EQ 00000162: PUSH2 0x04e0 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0xab5706ee 0000016c: EQ 0000016d: PUSH2 0x0502 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0xb4bb58fb 00000177: EQ 00000178: PUSH2 0x0518 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0xcf39bff5 00000182: EQ 00000183: PUSH2 0x0531 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0xd46aa610 0000018d: EQ 0000018e: PUSH2 0x0550 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0xdd50e9d4 00000198: EQ 00000199: PUSH2 0x055b 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0xe086e5ec 000001a3: EQ 000001a4: PUSH2 0x056e 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0xede02b71 000001ae: EQ 000001af: PUSH2 0x0581 000001b2: JUMPI 000001b3: DUP1 000001b4: PUSH4 0xf0f2805f 000001b9: EQ 000001ba: PUSH2 0x059b 000001bd: JUMPI 000001be: DUP1 000001bf: PUSH4 0xf2fde38b 000001c4: EQ 000001c5: PUSH2 0x05b1 000001c8: JUMPI 000001c9: JUMPDEST 000001ca: PUSH1 0x00 000001cc: DUP1 000001cd: REVERT 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: PUSH2 0x01e4 000001dd: PUSH1 0x04 000001df: CALLDATALOAD 000001e0: PUSH2 0x05d0 000001e3: JUMP 000001e4: JUMPDEST 000001e5: STOP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: PUSH2 0x01f9 000001f5: PUSH2 0x069b 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: SWAP1 000001fe: DUP2 000001ff: MSTORE 00000200: PUSH1 0x20 00000202: ADD 00000203: PUSH1 0x40 00000205: MLOAD 00000206: DUP1 00000207: SWAP2 00000208: SUB 00000209: SWAP1 0000020a: RETURN 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: PUSH2 0x01e4 0000021a: PUSH1 0x04 0000021c: CALLDATALOAD 0000021d: PUSH1 0x24 0000021f: CALLDATALOAD 00000220: PUSH2 0x06a1 00000223: JUMP 00000224: JUMPDEST 00000225: CALLVALUE 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: PUSH2 0x01e4 00000233: PUSH1 0x04 00000235: CALLDATALOAD 00000236: PUSH2 0x09d1 00000239: JUMP 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: PUSH2 0x01f9 00000249: PUSH1 0x01 0000024b: PUSH1 0xa0 0000024d: PUSH1 0x02 0000024f: EXP 00000250: SUB 00000251: PUSH1 0x04 00000253: CALLDATALOAD 00000254: AND 00000255: PUSH2 0x09f1 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: PUSH2 0x026c 00000268: PUSH2 0x0a03 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: PUSH1 0x01 00000272: PUSH1 0xa0 00000274: PUSH1 0x02 00000276: EXP 00000277: SUB 00000278: SWAP1 00000279: SWAP2 0000027a: AND 0000027b: DUP2 0000027c: MSTORE 0000027d: PUSH1 0x20 0000027f: ADD 00000280: PUSH1 0x40 00000282: MLOAD 00000283: DUP1 00000284: SWAP2 00000285: SUB 00000286: SWAP1 00000287: RETURN 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: PUSH2 0x026c 00000297: PUSH1 0x04 00000299: CALLDATALOAD 0000029a: PUSH2 0x0a12 0000029d: JUMP 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: PUSH2 0x01f9 000002ad: PUSH1 0x01 000002af: PUSH1 0xa0 000002b1: PUSH1 0x02 000002b3: EXP 000002b4: SUB 000002b5: PUSH1 0x04 000002b7: CALLDATALOAD 000002b8: AND 000002b9: PUSH2 0x0a2d 000002bc: JUMP 000002bd: JUMPDEST 000002be: CALLVALUE 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: PUSH2 0x01e4 000002cc: PUSH1 0x01 000002ce: PUSH1 0xa0 000002d0: PUSH1 0x02 000002d2: EXP 000002d3: SUB 000002d4: PUSH1 0x04 000002d6: CALLDATALOAD 000002d7: AND 000002d8: PUSH2 0x0a3f 000002db: JUMP 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: ISZERO 000002df: PUSH2 0x02e7 000002e2: JUMPI 000002e3: PUSH1 0x00 000002e5: DUP1 000002e6: REVERT 000002e7: JUMPDEST 000002e8: PUSH2 0x01f9 000002eb: PUSH2 0x0a7c 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH2 0x01e4 000002f3: PUSH2 0x0a82 000002f6: JUMP 000002f7: JUMPDEST 000002f8: CALLVALUE 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: PUSH2 0x01e4 00000306: PUSH1 0x04 00000308: CALLDATALOAD 00000309: PUSH1 0x24 0000030b: CALLDATALOAD 0000030c: PUSH2 0x0ded 0000030f: JUMP 00000310: JUMPDEST 00000311: CALLVALUE 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: PUSH2 0x01f9 0000031f: PUSH2 0x0eef 00000322: JUMP 00000323: JUMPDEST 00000324: CALLVALUE 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: PUSH2 0x01f9 00000332: PUSH1 0x04 00000334: CALLDATALOAD 00000335: PUSH2 0x0ef5 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: ISZERO 0000033c: PUSH2 0x0344 0000033f: JUMPI 00000340: PUSH1 0x00 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: PUSH2 0x01e4 00000348: PUSH2 0x0f09 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: PUSH2 0x035f 0000035b: PUSH2 0x0f88 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH1 0x40 00000362: MLOAD 00000363: PUSH1 0x01 00000365: PUSH1 0x80 00000367: PUSH1 0x02 00000369: EXP 0000036a: SUB 0000036b: SWAP1 0000036c: SWAP2 0000036d: AND 0000036e: DUP2 0000036f: MSTORE 00000370: PUSH1 0x20 00000372: ADD 00000373: PUSH1 0x40 00000375: MLOAD 00000376: DUP1 00000377: SWAP2 00000378: SUB 00000379: SWAP1 0000037a: RETURN 0000037b: JUMPDEST 0000037c: PUSH2 0x01e4 0000037f: PUSH1 0x04 00000381: CALLDATALOAD 00000382: PUSH1 0x24 00000384: CALLDATALOAD 00000385: PUSH2 0x0f97 00000388: JUMP 00000389: JUMPDEST 0000038a: CALLVALUE 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: PUSH2 0x039c 00000398: PUSH2 0x105d 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x40 0000039f: MLOAD 000003a0: SWAP1 000003a1: ISZERO 000003a2: ISZERO 000003a3: DUP2 000003a4: MSTORE 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: PUSH1 0x40 000003aa: MLOAD 000003ab: DUP1 000003ac: SWAP2 000003ad: SUB 000003ae: SWAP1 000003af: RETURN 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: PUSH2 0x01f9 000003bf: PUSH1 0x04 000003c1: CALLDATALOAD 000003c2: PUSH2 0x106d 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: ISZERO 000003c9: PUSH2 0x03d1 000003cc: JUMPI 000003cd: PUSH1 0x00 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: PUSH2 0x01f9 000003d5: PUSH1 0x04 000003d7: CALLDATALOAD 000003d8: PUSH2 0x107f 000003db: JUMP 000003dc: JUMPDEST 000003dd: CALLVALUE 000003de: ISZERO 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: PUSH2 0x01f9 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: PUSH1 0x02 000003f1: EXP 000003f2: SUB 000003f3: PUSH1 0x04 000003f5: CALLDATALOAD 000003f6: AND 000003f7: PUSH2 0x108c 000003fa: JUMP 000003fb: JUMPDEST 000003fc: CALLVALUE 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: PUSH2 0x01f9 0000040a: PUSH2 0x109e 0000040d: JUMP 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: ISZERO 00000411: PUSH2 0x0419 00000414: JUMPI 00000415: PUSH1 0x00 00000417: DUP1 00000418: REVERT 00000419: JUMPDEST 0000041a: PUSH2 0x01f9 0000041d: PUSH2 0x10a4 00000420: JUMP 00000421: JUMPDEST 00000422: CALLVALUE 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: PUSH2 0x01e4 00000430: PUSH2 0x10aa 00000433: JUMP 00000434: JUMPDEST 00000435: CALLVALUE 00000436: ISZERO 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: PUSH2 0x01f9 00000443: PUSH2 0x112e 00000446: JUMP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: PUSH2 0x026c 00000456: PUSH2 0x1134 00000459: JUMP 0000045a: JUMPDEST 0000045b: CALLVALUE 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: PUSH2 0x01e4 00000469: PUSH1 0x01 0000046b: PUSH1 0x80 0000046d: PUSH1 0x02 0000046f: EXP 00000470: SUB 00000471: PUSH1 0x04 00000473: CALLDATALOAD 00000474: AND 00000475: PUSH1 0x24 00000477: CALLDATALOAD 00000478: PUSH2 0x1143 0000047b: JUMP 0000047c: JUMPDEST 0000047d: CALLVALUE 0000047e: ISZERO 0000047f: PUSH2 0x0487 00000482: JUMPI 00000483: PUSH1 0x00 00000485: DUP1 00000486: REVERT 00000487: JUMPDEST 00000488: PUSH2 0x01e4 0000048b: PUSH1 0x04 0000048d: CALLDATALOAD 0000048e: PUSH2 0x1349 00000491: JUMP 00000492: JUMPDEST 00000493: CALLVALUE 00000494: ISZERO 00000495: PUSH2 0x049d 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: PUSH2 0x04a8 000004a1: PUSH1 0x04 000004a3: CALLDATALOAD 000004a4: PUSH2 0x1369 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: PUSH1 0x01 000004ae: PUSH1 0x80 000004b0: PUSH1 0x02 000004b2: EXP 000004b3: SUB 000004b4: SWAP1 000004b5: SWAP4 000004b6: AND 000004b7: DUP4 000004b8: MSTORE 000004b9: PUSH8 0xffffffffffffffff 000004c2: SWAP2 000004c3: DUP3 000004c4: AND 000004c5: PUSH1 0x20 000004c7: DUP5 000004c8: ADD 000004c9: MSTORE 000004ca: AND 000004cb: PUSH1 0x40 000004cd: DUP1 000004ce: DUP4 000004cf: ADD 000004d0: SWAP2 000004d1: SWAP1 000004d2: SWAP2 000004d3: MSTORE 000004d4: PUSH1 0x60 000004d6: SWAP1 000004d7: SWAP2 000004d8: ADD 000004d9: SWAP1 000004da: MLOAD 000004db: DUP1 000004dc: SWAP2 000004dd: SUB 000004de: SWAP1 000004df: RETURN 000004e0: JUMPDEST 000004e1: CALLVALUE 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: PUSH2 0x01f9 000004ef: PUSH1 0x01 000004f1: PUSH1 0xa0 000004f3: PUSH1 0x02 000004f5: EXP 000004f6: SUB 000004f7: PUSH1 0x04 000004f9: CALLDATALOAD 000004fa: AND 000004fb: PUSH1 0x24 000004fd: CALLDATALOAD 000004fe: PUSH2 0x13c4 00000501: JUMP 00000502: JUMPDEST 00000503: CALLVALUE 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: PUSH2 0x01e4 00000511: PUSH1 0x04 00000513: CALLDATALOAD 00000514: PUSH2 0x1450 00000517: JUMP 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: PUSH2 0x01e4 00000527: PUSH1 0x04 00000529: CALLDATALOAD 0000052a: PUSH1 0x24 0000052c: CALLDATALOAD 0000052d: PUSH2 0x1470 00000530: JUMP 00000531: JUMPDEST 00000532: CALLVALUE 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: PUSH2 0x01f9 00000540: PUSH1 0x01 00000542: PUSH1 0xa0 00000544: PUSH1 0x02 00000546: EXP 00000547: SUB 00000548: PUSH1 0x04 0000054a: CALLDATALOAD 0000054b: AND 0000054c: PUSH2 0x15b1 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH2 0x01e4 00000554: PUSH1 0x04 00000556: CALLDATALOAD 00000557: PUSH2 0x15c3 0000055a: JUMP 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: ISZERO 0000055e: PUSH2 0x0566 00000561: JUMPI 00000562: PUSH1 0x00 00000564: DUP1 00000565: REVERT 00000566: JUMPDEST 00000567: PUSH2 0x01e4 0000056a: PUSH2 0x1740 0000056d: JUMP 0000056e: JUMPDEST 0000056f: CALLVALUE 00000570: ISZERO 00000571: PUSH2 0x0579 00000574: JUMPI 00000575: PUSH1 0x00 00000577: DUP1 00000578: REVERT 00000579: JUMPDEST 0000057a: PUSH2 0x01e4 0000057d: PUSH2 0x1777 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH2 0x01e4 00000585: PUSH1 0x01 00000587: PUSH1 0x80 00000589: PUSH1 0x02 0000058b: EXP 0000058c: SUB 0000058d: PUSH1 0x04 0000058f: CALLDATALOAD 00000590: DUP2 00000591: AND 00000592: SWAP1 00000593: PUSH1 0x24 00000595: CALLDATALOAD 00000596: AND 00000597: PUSH2 0x17cd 0000059a: JUMP 0000059b: JUMPDEST 0000059c: CALLVALUE 0000059d: ISZERO 0000059e: PUSH2 0x05a6 000005a1: JUMPI 000005a2: PUSH1 0x00 000005a4: DUP1 000005a5: REVERT 000005a6: JUMPDEST 000005a7: PUSH2 0x039c 000005aa: PUSH1 0x04 000005ac: CALLDATALOAD 000005ad: PUSH2 0x197f 000005b0: JUMP 000005b1: JUMPDEST 000005b2: CALLVALUE 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: PUSH2 0x01e4 000005c0: PUSH1 0x01 000005c2: PUSH1 0xa0 000005c4: PUSH1 0x02 000005c6: EXP 000005c7: SUB 000005c8: PUSH1 0x04 000005ca: CALLDATALOAD 000005cb: AND 000005cc: PUSH2 0x1994 000005cf: JUMP 000005d0: JUMPDEST 000005d1: PUSH1 0x00 000005d3: SLOAD 000005d4: PUSH1 0xa0 000005d6: PUSH1 0x02 000005d8: EXP 000005d9: SWAP1 000005da: DIV 000005db: PUSH1 0xff 000005dd: AND 000005de: ISZERO 000005df: PUSH2 0x05e7 000005e2: JUMPI 000005e3: PUSH1 0x00 000005e5: DUP1 000005e6: REVERT 000005e7: JUMPDEST 000005e8: PUSH1 0x00 000005ea: DUP2 000005eb: DUP2 000005ec: MSTORE 000005ed: PUSH1 0x03 000005ef: PUSH1 0x20 000005f1: MSTORE 000005f2: PUSH1 0x40 000005f4: SWAP1 000005f5: KECCAK256 000005f6: SLOAD 000005f7: PUSH1 0xff 000005f9: AND 000005fa: ISZERO 000005fb: ISZERO 000005fc: PUSH1 0x01 000005fe: EQ 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: PUSH1 0x00 0000060a: DUP2 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x02 0000060f: PUSH1 0x20 00000611: MSTORE 00000612: PUSH1 0x40 00000614: SWAP1 00000615: KECCAK256 00000616: SLOAD 00000617: CALLER 00000618: PUSH1 0x01 0000061a: PUSH1 0xa0 0000061c: PUSH1 0x02 0000061e: EXP 0000061f: SUB 00000620: SWAP1 00000621: DUP2 00000622: AND 00000623: SWAP2 00000624: AND 00000625: EQ 00000626: PUSH2 0x062e 00000629: JUMPI 0000062a: PUSH1 0x00 0000062c: DUP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH1 0x00 00000631: DUP2 00000632: DUP2 00000633: MSTORE 00000634: PUSH1 0x03 00000636: PUSH1 0x20 00000638: SWAP1 00000639: DUP2 0000063a: MSTORE 0000063b: PUSH1 0x40 0000063d: DUP1 0000063e: DUP4 0000063f: KECCAK256 00000640: DUP1 00000641: SLOAD 00000642: PUSH1 0xff 00000644: NOT 00000645: AND 00000646: SWAP1 00000647: SSTORE 00000648: PUSH1 0x09 0000064a: SWAP1 0000064b: SWAP2 0000064c: MSTORE 0000064d: DUP1 0000064e: DUP3 0000064f: KECCAK256 00000650: SWAP2 00000651: SWAP1 00000652: SWAP2 00000653: SSTORE 00000654: PUSH32 0x0d0e55f4e2a77f6d27f3ecdbe59fb9f5b4f4de61c10b3243e99905d4763baab6 00000675: SWAP1 00000676: CALLER 00000677: SWAP1 00000678: DUP4 00000679: SWAP1 0000067a: MLOAD 0000067b: PUSH1 0x01 0000067d: PUSH1 0xa0 0000067f: PUSH1 0x02 00000681: EXP 00000682: SUB 00000683: SWAP1 00000684: SWAP3 00000685: AND 00000686: DUP3 00000687: MSTORE 00000688: PUSH1 0x20 0000068a: DUP3 0000068b: ADD 0000068c: MSTORE 0000068d: PUSH1 0x40 0000068f: SWAP1 00000690: DUP2 00000691: ADD 00000692: SWAP1 00000693: MLOAD 00000694: DUP1 00000695: SWAP2 00000696: SUB 00000697: SWAP1 00000698: LOG1 00000699: POP 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH1 0x0f 0000069e: SLOAD 0000069f: DUP2 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: PUSH2 0x06af 000006ab: PUSH2 0x1be8 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH1 0x00 000006b2: SLOAD 000006b3: PUSH1 0xa0 000006b5: PUSH1 0x02 000006b7: EXP 000006b8: SWAP1 000006b9: DIV 000006ba: PUSH1 0xff 000006bc: AND 000006bd: ISZERO 000006be: PUSH2 0x06c6 000006c1: JUMPI 000006c2: PUSH1 0x00 000006c4: DUP1 000006c5: REVERT 000006c6: JUMPDEST 000006c7: PUSH1 0x00 000006c9: DUP8 000006ca: DUP2 000006cb: MSTORE 000006cc: PUSH1 0x02 000006ce: PUSH1 0x20 000006d0: MSTORE 000006d1: PUSH1 0x40 000006d3: DUP1 000006d4: DUP3 000006d5: KECCAK256 000006d6: SLOAD 000006d7: DUP9 000006d8: DUP4 000006d9: MSTORE 000006da: SWAP2 000006db: KECCAK256 000006dc: SLOAD 000006dd: PUSH1 0x01 000006df: PUSH1 0xa0 000006e1: PUSH1 0x02 000006e3: EXP 000006e4: SUB 000006e5: SWAP2 000006e6: DUP3 000006e7: AND 000006e8: SWAP7 000006e9: POP 000006ea: AND 000006eb: DUP6 000006ec: EQ 000006ed: PUSH2 0x06f5 000006f0: JUMPI 000006f1: PUSH1 0x00 000006f3: DUP1 000006f4: REVERT 000006f5: JUMPDEST 000006f6: PUSH1 0x00 000006f8: DUP8 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x01 000006fd: PUSH1 0x20 000006ff: MSTORE 00000700: PUSH1 0x40 00000702: DUP1 00000703: DUP3 00000704: KECCAK256 00000705: DUP9 00000706: DUP4 00000707: MSTORE 00000708: SWAP2 00000709: KECCAK256 0000070a: DUP2 0000070b: SLOAD 0000070c: SWAP2 0000070d: SWAP6 0000070e: POP 0000070f: SWAP4 00000710: POP 00000711: PUSH8 0xffffffffffffffff 0000071a: DUP1 0000071b: DUP9 0000071c: AND 0000071d: PUSH1 0xc0 0000071f: PUSH1 0x02 00000721: EXP 00000722: SWAP1 00000723: SWAP3 00000724: DIV 00000725: AND 00000726: EQ 00000727: PUSH2 0x072f 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: REVERT 0000072f: JUMPDEST 00000730: DUP3 00000731: SLOAD 00000732: PUSH8 0xffffffffffffffff 0000073b: DUP9 0000073c: DUP2 0000073d: AND 0000073e: PUSH1 0xc0 00000740: PUSH1 0x02 00000742: EXP 00000743: SWAP1 00000744: SWAP3 00000745: DIV 00000746: AND 00000747: EQ 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: PUSH2 0x075a 00000754: DUP8 00000755: DUP8 00000756: PUSH2 0x1a22 00000759: JUMP 0000075a: JUMPDEST 0000075b: ISZERO 0000075c: ISZERO 0000075d: PUSH2 0x0765 00000760: JUMPI 00000761: PUSH1 0x00 00000763: DUP1 00000764: REVERT 00000765: JUMPDEST 00000766: PUSH1 0x06 00000768: SLOAD 00000769: DUP5 0000076a: SLOAD 0000076b: DUP5 0000076c: SLOAD 0000076d: PUSH1 0x01 0000076f: PUSH1 0xa0 00000771: PUSH1 0x02 00000773: EXP 00000774: SUB 00000775: SWAP1 00000776: SWAP3 00000777: AND 00000778: SWAP2 00000779: PUSH4 0xa1c1519a 0000077e: SWAP2 0000077f: PUSH1 0x01 00000781: PUSH1 0x80 00000783: PUSH1 0x02 00000785: EXP 00000786: SUB 00000787: SWAP1 00000788: DUP2 00000789: AND 0000078a: SWAP2 0000078b: AND 0000078c: PUSH1 0x00 0000078e: PUSH1 0x40 00000790: MLOAD 00000791: PUSH1 0x20 00000793: ADD 00000794: MSTORE 00000795: PUSH1 0x40 00000797: MLOAD 00000798: PUSH1 0xe0 0000079a: PUSH1 0x02 0000079c: EXP 0000079d: PUSH4 0xffffffff 000007a2: DUP6 000007a3: AND 000007a4: MUL 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x01 000007a9: PUSH1 0x80 000007ab: PUSH1 0x02 000007ad: EXP 000007ae: SUB 000007af: SWAP3 000007b0: DUP4 000007b1: AND 000007b2: PUSH1 0x04 000007b4: DUP3 000007b5: ADD 000007b6: MSTORE 000007b7: SWAP2 000007b8: AND 000007b9: PUSH1 0x24 000007bb: DUP3 000007bc: ADD 000007bd: MSTORE 000007be: PUSH1 0x44 000007c0: ADD 000007c1: PUSH1 0x20 000007c3: PUSH1 0x40 000007c5: MLOAD 000007c6: DUP1 000007c7: DUP4 000007c8: SUB 000007c9: DUP2 000007ca: PUSH1 0x00 000007cc: DUP8 000007cd: DUP1 000007ce: EXTCODESIZE 000007cf: ISZERO 000007d0: ISZERO 000007d1: PUSH2 0x07d9 000007d4: JUMPI 000007d5: PUSH1 0x00 000007d7: DUP1 000007d8: REVERT 000007d9: JUMPDEST 000007da: PUSH2 0x02c6 000007dd: GAS 000007de: SUB 000007df: CALL 000007e0: ISZERO 000007e1: ISZERO 000007e2: PUSH2 0x07ea 000007e5: JUMPI 000007e6: PUSH1 0x00 000007e8: DUP1 000007e9: REVERT 000007ea: JUMPDEST 000007eb: POP 000007ec: POP 000007ed: POP 000007ee: PUSH1 0x40 000007f0: MLOAD 000007f1: DUP1 000007f2: MLOAD 000007f3: SWAP1 000007f4: POP 000007f5: SWAP2 000007f6: POP 000007f7: PUSH1 0x60 000007f9: PUSH1 0x40 000007fb: MLOAD 000007fc: SWAP1 000007fd: DUP2 000007fe: ADD 000007ff: PUSH1 0x40 00000801: SWAP1 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x01 00000806: PUSH1 0x80 00000808: PUSH1 0x02 0000080a: EXP 0000080b: SUB 0000080c: DUP5 0000080d: AND 0000080e: DUP3 0000080f: MSTORE 00000810: PUSH8 0xffffffffffffffff 00000819: TIMESTAMP 0000081a: AND 0000081b: PUSH1 0x20 0000081d: DUP1 0000081e: DUP5 0000081f: ADD 00000820: SWAP2 00000821: SWAP1 00000822: SWAP2 00000823: MSTORE 00000824: PUSH1 0x00 00000826: DUP3 00000827: DUP5 00000828: ADD 00000829: DUP2 0000082a: SWAP1 0000082b: MSTORE 0000082c: PUSH1 0x04 0000082e: SLOAD 0000082f: DUP2 00000830: MSTORE 00000831: PUSH1 0x01 00000833: SWAP1 00000834: SWAP2 00000835: MSTORE 00000836: KECCAK256 00000837: SWAP1 00000838: SWAP2 00000839: POP 0000083a: DUP2 0000083b: SWAP1 0000083c: DUP2 0000083d: MLOAD 0000083e: DUP2 0000083f: SLOAD 00000840: PUSH16 0xffffffffffffffffffffffffffffffff 00000851: NOT 00000852: AND 00000853: PUSH1 0x01 00000855: PUSH1 0x80 00000857: PUSH1 0x02 00000859: EXP 0000085a: SUB 0000085b: SWAP2 0000085c: SWAP1 0000085d: SWAP2 0000085e: AND 0000085f: OR 00000860: DUP2 00000861: SSTORE 00000862: PUSH1 0x20 00000864: DUP3 00000865: ADD 00000866: MLOAD 00000867: DUP2 00000868: SLOAD 00000869: PUSH8 0xffffffffffffffff 00000872: SWAP2 00000873: SWAP1 00000874: SWAP2 00000875: AND 00000876: PUSH1 0x80 00000878: PUSH1 0x02 0000087a: EXP 0000087b: MUL 0000087c: PUSH24 0xffffffffffffffff00000000000000000000000000000000 00000895: NOT 00000896: SWAP1 00000897: SWAP2 00000898: AND 00000899: OR 0000089a: DUP2 0000089b: SSTORE 0000089c: PUSH1 0x40 0000089e: DUP3 0000089f: ADD 000008a0: MLOAD 000008a1: DUP2 000008a2: SLOAD 000008a3: PUSH8 0xffffffffffffffff 000008ac: SWAP2 000008ad: SWAP1 000008ae: SWAP2 000008af: AND 000008b0: PUSH1 0xc0 000008b2: PUSH1 0x02 000008b4: EXP 000008b5: MUL 000008b6: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 000008cf: SWAP2 000008d0: DUP3 000008d1: AND 000008d2: OR 000008d3: SWAP1 000008d4: SWAP2 000008d5: SSTORE 000008d6: PUSH1 0x04 000008d8: DUP1 000008d9: SLOAD 000008da: PUSH1 0x00 000008dc: SWAP1 000008dd: DUP2 000008de: MSTORE 000008df: PUSH1 0x02 000008e1: PUSH1 0x20 000008e3: DUP2 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x40 000008e8: DUP1 000008e9: DUP5 000008ea: KECCAK256 000008eb: DUP1 000008ec: SLOAD 000008ed: PUSH1 0x01 000008ef: PUSH1 0xa0 000008f1: PUSH1 0x02 000008f3: EXP 000008f4: SUB 000008f5: DUP15 000008f6: AND 000008f7: PUSH1 0x01 000008f9: PUSH1 0xa0 000008fb: PUSH1 0x02 000008fd: EXP 000008fe: SUB 000008ff: NOT 00000900: SWAP2 00000901: DUP3 00000902: AND 00000903: DUP2 00000904: OR 00000905: SWAP1 00000906: SWAP3 00000907: SSTORE 00000908: DUP7 00000909: SLOAD 0000090a: DUP7 0000090b: MSTORE 0000090c: PUSH1 0x03 0000090e: DUP5 0000090f: MSTORE 00000910: DUP3 00000911: DUP7 00000912: KECCAK256 00000913: DUP1 00000914: SLOAD 00000915: PUSH1 0xff 00000917: NOT 00000918: AND 00000919: SWAP1 0000091a: SSTORE 0000091b: DUP7 0000091c: SLOAD 0000091d: PUSH1 0x01 0000091f: ADD 00000920: DUP8 00000921: SSTORE 00000922: DUP13 00000923: SLOAD 00000924: DUP9 00000925: AND 00000926: DUP14 00000927: SSTORE 00000928: DUP12 00000929: SLOAD 0000092a: SWAP1 0000092b: SWAP8 0000092c: AND 0000092d: DUP12 0000092e: SSTORE 0000092f: DUP15 00000930: DUP6 00000931: MSTORE 00000932: SWAP3 00000933: DUP3 00000934: MSTORE 00000935: DUP1 00000936: DUP5 00000937: KECCAK256 00000938: DUP1 00000939: SLOAD 0000093a: DUP8 0000093b: AND 0000093c: SWAP1 0000093d: SSTORE 0000093e: DUP13 0000093f: DUP5 00000940: MSTORE 00000941: DUP1 00000942: DUP5 00000943: KECCAK256 00000944: DUP1 00000945: SLOAD 00000946: SWAP1 00000947: SWAP7 00000948: AND 00000949: SWAP1 0000094a: SWAP6 0000094b: SSTORE 0000094c: SWAP1 0000094d: DUP3 0000094e: MSTORE 0000094f: PUSH1 0x05 00000951: SWAP1 00000952: MSTORE 00000953: DUP3 00000954: SWAP1 00000955: KECCAK256 00000956: DUP1 00000957: SLOAD 00000958: PUSH1 0x00 0000095a: NOT 0000095b: SWAP1 0000095c: DUP2 0000095d: ADD 0000095e: SWAP1 0000095f: SWAP2 00000960: SSTORE 00000961: SWAP1 00000962: SLOAD 00000963: PUSH32 0xac81ba101131fd51da2d33fa7ef506549a1f53c29fad06382d86b257fc5888d9 00000984: SWAP4 00000985: POP 00000986: DUP9 00000987: SWAP3 00000988: SWAP2 00000989: ADD 0000098a: SWAP1 0000098b: DUP11 0000098c: SWAP1 0000098d: DUP11 0000098e: SWAP1 0000098f: MLOAD 00000990: DUP1 00000991: DUP6 00000992: PUSH1 0x01 00000994: PUSH1 0xa0 00000996: PUSH1 0x02 00000998: EXP 00000999: SUB 0000099a: AND 0000099b: PUSH1 0x01 0000099d: PUSH1 0xa0 0000099f: PUSH1 0x02 000009a1: EXP 000009a2: SUB 000009a3: AND 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x20 000009a8: ADD 000009a9: DUP5 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x20 000009ae: ADD 000009af: DUP4 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: DUP3 000009b6: DUP2 000009b7: MSTORE 000009b8: PUSH1 0x20 000009ba: ADD 000009bb: SWAP5 000009bc: POP 000009bd: POP 000009be: POP 000009bf: POP 000009c0: POP 000009c1: PUSH1 0x40 000009c3: MLOAD 000009c4: DUP1 000009c5: SWAP2 000009c6: SUB 000009c7: SWAP1 000009c8: LOG1 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: POP 000009cf: POP 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH1 0x00 000009d4: SLOAD 000009d5: CALLER 000009d6: PUSH1 0x01 000009d8: PUSH1 0xa0 000009da: PUSH1 0x02 000009dc: EXP 000009dd: SUB 000009de: SWAP1 000009df: DUP2 000009e0: AND 000009e1: SWAP2 000009e2: AND 000009e3: EQ 000009e4: PUSH2 0x09ec 000009e7: JUMPI 000009e8: PUSH1 0x00 000009ea: DUP1 000009eb: REVERT 000009ec: JUMPDEST 000009ed: PUSH1 0x10 000009ef: SSTORE 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH1 0x0c 000009f4: PUSH1 0x20 000009f6: MSTORE 000009f7: PUSH1 0x00 000009f9: SWAP1 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x40 000009fe: SWAP1 000009ff: KECCAK256 00000a00: SLOAD 00000a01: DUP2 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH1 0x06 00000a06: SLOAD 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: PUSH1 0x02 00000a0d: EXP 00000a0e: SUB 00000a0f: AND 00000a10: DUP2 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH1 0x02 00000a15: PUSH1 0x20 00000a17: MSTORE 00000a18: PUSH1 0x00 00000a1a: SWAP1 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x40 00000a1f: SWAP1 00000a20: KECCAK256 00000a21: SLOAD 00000a22: PUSH1 0x01 00000a24: PUSH1 0xa0 00000a26: PUSH1 0x02 00000a28: EXP 00000a29: SUB 00000a2a: AND 00000a2b: DUP2 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH1 0x0d 00000a30: PUSH1 0x20 00000a32: MSTORE 00000a33: PUSH1 0x00 00000a35: SWAP1 00000a36: DUP2 00000a37: MSTORE 00000a38: PUSH1 0x40 00000a3a: SWAP1 00000a3b: KECCAK256 00000a3c: SLOAD 00000a3d: DUP2 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x00 00000a42: SLOAD 00000a43: CALLER 00000a44: PUSH1 0x01 00000a46: PUSH1 0xa0 00000a48: PUSH1 0x02 00000a4a: EXP 00000a4b: SUB 00000a4c: SWAP1 00000a4d: DUP2 00000a4e: AND 00000a4f: SWAP2 00000a50: AND 00000a51: EQ 00000a52: PUSH2 0x0a5a 00000a55: JUMPI 00000a56: PUSH1 0x00 00000a58: DUP1 00000a59: REVERT 00000a5a: JUMPDEST 00000a5b: PUSH1 0x06 00000a5d: DUP1 00000a5e: SLOAD 00000a5f: PUSH1 0x01 00000a61: PUSH1 0xa0 00000a63: PUSH1 0x02 00000a65: EXP 00000a66: SUB 00000a67: NOT 00000a68: AND 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: PUSH1 0x02 00000a6f: EXP 00000a70: SUB 00000a71: SWAP3 00000a72: SWAP1 00000a73: SWAP3 00000a74: AND 00000a75: SWAP2 00000a76: SWAP1 00000a77: SWAP2 00000a78: OR 00000a79: SWAP1 00000a7a: SSTORE 00000a7b: JUMP 00000a7c: JUMPDEST 00000a7d: PUSH1 0x04 00000a7f: SLOAD 00000a80: DUP2 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: PUSH1 0x00 00000a88: PUSH2 0x0a8f 00000a8b: PUSH2 0x1be8 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x00 00000a92: SLOAD 00000a93: PUSH1 0xa0 00000a95: PUSH1 0x02 00000a97: EXP 00000a98: SWAP1 00000a99: DIV 00000a9a: PUSH1 0xff 00000a9c: AND 00000a9d: ISZERO 00000a9e: PUSH2 0x0aa6 00000aa1: JUMPI 00000aa2: PUSH1 0x00 00000aa4: DUP1 00000aa5: REVERT 00000aa6: JUMPDEST 00000aa7: PUSH1 0x01 00000aa9: PUSH1 0xa0 00000aab: PUSH1 0x02 00000aad: EXP 00000aae: SUB 00000aaf: CALLER 00000ab0: AND 00000ab1: PUSH1 0x00 00000ab3: SWAP1 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x0d 00000ab8: PUSH1 0x20 00000aba: MSTORE 00000abb: PUSH1 0x40 00000abd: SWAP1 00000abe: KECCAK256 00000abf: SLOAD 00000ac0: ISZERO 00000ac1: ISZERO 00000ac2: PUSH2 0x0ae5 00000ac5: JUMPI 00000ac6: PUSH1 0x01 00000ac8: PUSH1 0xa0 00000aca: PUSH1 0x02 00000acc: EXP 00000acd: SUB 00000ace: CALLER 00000acf: AND 00000ad0: PUSH1 0x00 00000ad2: SWAP1 00000ad3: DUP2 00000ad4: MSTORE 00000ad5: PUSH1 0x0d 00000ad7: PUSH1 0x20 00000ad9: MSTORE 00000ada: PUSH1 0x40 00000adc: SWAP1 00000add: KECCAK256 00000ade: TIMESTAMP 00000adf: SWAP1 00000ae0: SSTORE 00000ae1: PUSH2 0x0b47 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x0e 00000ae8: SLOAD 00000ae9: PUSH1 0x01 00000aeb: PUSH1 0xa0 00000aed: PUSH1 0x02 00000aef: EXP 00000af0: SUB 00000af1: CALLER 00000af2: AND 00000af3: PUSH1 0x00 00000af5: SWAP1 00000af6: DUP2 00000af7: MSTORE 00000af8: PUSH1 0x0d 00000afa: PUSH1 0x20 00000afc: MSTORE 00000afd: PUSH1 0x40 00000aff: SWAP1 00000b00: KECCAK256 00000b01: SLOAD 00000b02: LT 00000b03: DUP1 00000b04: ISZERO 00000b05: PUSH2 0x0b0f 00000b08: JUMPI 00000b09: POP 00000b0a: PUSH1 0x0e 00000b0c: SLOAD 00000b0d: TIMESTAMP 00000b0e: GT 00000b0f: JUMPDEST 00000b10: ISZERO 00000b11: PUSH2 0x0b47 00000b14: JUMPI 00000b15: PUSH1 0x01 00000b17: PUSH1 0xa0 00000b19: PUSH1 0x02 00000b1b: EXP 00000b1c: SUB 00000b1d: CALLER 00000b1e: AND 00000b1f: PUSH1 0x00 00000b21: SWAP1 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x0b 00000b26: PUSH1 0x20 00000b28: SWAP1 00000b29: DUP2 00000b2a: MSTORE 00000b2b: PUSH1 0x40 00000b2d: DUP1 00000b2e: DUP4 00000b2f: KECCAK256 00000b30: DUP4 00000b31: SWAP1 00000b32: SSTORE 00000b33: PUSH1 0x0c 00000b35: DUP3 00000b36: MSTORE 00000b37: DUP1 00000b38: DUP4 00000b39: KECCAK256 00000b3a: DUP4 00000b3b: SWAP1 00000b3c: SSTORE 00000b3d: PUSH1 0x0d 00000b3f: SWAP1 00000b40: SWAP2 00000b41: MSTORE 00000b42: SWAP1 00000b43: KECCAK256 00000b44: TIMESTAMP 00000b45: SWAP1 00000b46: SSTORE 00000b47: JUMPDEST 00000b48: PUSH1 0x01 00000b4a: PUSH1 0xa0 00000b4c: PUSH1 0x02 00000b4e: EXP 00000b4f: SUB 00000b50: CALLER 00000b51: AND 00000b52: PUSH1 0x00 00000b54: SWAP1 00000b55: DUP2 00000b56: MSTORE 00000b57: PUSH1 0x0c 00000b59: PUSH1 0x20 00000b5b: MSTORE 00000b5c: PUSH1 0x40 00000b5e: SWAP1 00000b5f: KECCAK256 00000b60: SLOAD 00000b61: PUSH1 0x0f 00000b63: SLOAD 00000b64: SWAP1 00000b65: SWAP5 00000b66: POP 00000b67: PUSH1 0x16 00000b69: DUP6 00000b6a: PUSH1 0x06 00000b6c: DUP2 00000b6d: LT 00000b6e: PUSH2 0x0b73 00000b71: JUMPI 00000b72: INVALID 00000b73: JUMPDEST 00000b74: ADD 00000b75: SLOAD 00000b76: MUL 00000b77: SWAP3 00000b78: POP 00000b79: CALLVALUE 00000b7a: DUP4 00000b7b: SWAP1 00000b7c: LT 00000b7d: ISZERO 00000b7e: PUSH2 0x0b86 00000b81: JUMPI 00000b82: PUSH1 0x00 00000b84: DUP1 00000b85: REVERT 00000b86: JUMPDEST 00000b87: PUSH1 0x06 00000b89: SLOAD 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0xa0 00000b8e: PUSH1 0x02 00000b90: EXP 00000b91: SUB 00000b92: AND 00000b93: PUSH4 0x21614f62 00000b98: PUSH1 0x00 00000b9a: PUSH1 0x40 00000b9c: MLOAD 00000b9d: PUSH1 0x20 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH1 0x40 00000ba3: MLOAD 00000ba4: DUP2 00000ba5: PUSH4 0xffffffff 00000baa: AND 00000bab: PUSH1 0xe0 00000bad: PUSH1 0x02 00000baf: EXP 00000bb0: MUL 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x04 00000bb5: ADD 00000bb6: PUSH1 0x20 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: DUP1 00000bbc: DUP4 00000bbd: SUB 00000bbe: DUP2 00000bbf: PUSH1 0x00 00000bc1: DUP8 00000bc2: DUP1 00000bc3: EXTCODESIZE 00000bc4: ISZERO 00000bc5: ISZERO 00000bc6: PUSH2 0x0bce 00000bc9: JUMPI 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: REVERT 00000bce: JUMPDEST 00000bcf: PUSH2 0x02c6 00000bd2: GAS 00000bd3: SUB 00000bd4: CALL 00000bd5: ISZERO 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdf 00000bda: JUMPI 00000bdb: PUSH1 0x00 00000bdd: DUP1 00000bde: REVERT 00000bdf: JUMPDEST 00000be0: POP 00000be1: POP 00000be2: POP 00000be3: PUSH1 0x40 00000be5: MLOAD 00000be6: DUP1 00000be7: MLOAD 00000be8: SWAP1 00000be9: POP 00000bea: SWAP2 00000beb: POP 00000bec: PUSH1 0x60 00000bee: PUSH1 0x40 00000bf0: MLOAD 00000bf1: SWAP1 00000bf2: DUP2 00000bf3: ADD 00000bf4: PUSH1 0x40 00000bf6: SWAP1 00000bf7: DUP2 00000bf8: MSTORE 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x80 00000bfd: PUSH1 0x02 00000bff: EXP 00000c00: SUB 00000c01: DUP5 00000c02: AND 00000c03: DUP3 00000c04: MSTORE 00000c05: PUSH8 0xffffffffffffffff 00000c0e: TIMESTAMP 00000c0f: AND 00000c10: PUSH1 0x20 00000c12: DUP1 00000c13: DUP5 00000c14: ADD 00000c15: SWAP2 00000c16: SWAP1 00000c17: SWAP2 00000c18: MSTORE 00000c19: PUSH1 0x00 00000c1b: DUP3 00000c1c: DUP5 00000c1d: ADD 00000c1e: DUP2 00000c1f: SWAP1 00000c20: MSTORE 00000c21: PUSH1 0x04 00000c23: SLOAD 00000c24: DUP2 00000c25: MSTORE 00000c26: PUSH1 0x01 00000c28: SWAP1 00000c29: SWAP2 00000c2a: MSTORE 00000c2b: KECCAK256 00000c2c: SWAP1 00000c2d: SWAP2 00000c2e: POP 00000c2f: DUP2 00000c30: SWAP1 00000c31: DUP2 00000c32: MLOAD 00000c33: DUP2 00000c34: SLOAD 00000c35: PUSH16 0xffffffffffffffffffffffffffffffff 00000c46: NOT 00000c47: AND 00000c48: PUSH1 0x01 00000c4a: PUSH1 0x80 00000c4c: PUSH1 0x02 00000c4e: EXP 00000c4f: SUB 00000c50: SWAP2 00000c51: SWAP1 00000c52: SWAP2 00000c53: AND 00000c54: OR 00000c55: DUP2 00000c56: SSTORE 00000c57: PUSH1 0x20 00000c59: DUP3 00000c5a: ADD 00000c5b: MLOAD 00000c5c: DUP2 00000c5d: SLOAD 00000c5e: PUSH8 0xffffffffffffffff 00000c67: SWAP2 00000c68: SWAP1 00000c69: SWAP2 00000c6a: AND 00000c6b: PUSH1 0x80 00000c6d: PUSH1 0x02 00000c6f: EXP 00000c70: MUL 00000c71: PUSH24 0xffffffffffffffff00000000000000000000000000000000 00000c8a: NOT 00000c8b: SWAP1 00000c8c: SWAP2 00000c8d: AND 00000c8e: OR 00000c8f: DUP2 00000c90: SSTORE 00000c91: PUSH1 0x40 00000c93: DUP3 00000c94: ADD 00000c95: MLOAD 00000c96: DUP2 00000c97: SLOAD 00000c98: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 00000cb1: AND 00000cb2: PUSH1 0xc0 00000cb4: PUSH1 0x02 00000cb6: EXP 00000cb7: PUSH8 0xffffffffffffffff 00000cc0: SWAP3 00000cc1: SWAP1 00000cc2: SWAP3 00000cc3: AND 00000cc4: SWAP2 00000cc5: SWAP1 00000cc6: SWAP2 00000cc7: MUL 00000cc8: OR 00000cc9: SWAP1 00000cca: SSTORE 00000ccb: POP 00000ccc: PUSH1 0x04 00000cce: DUP1 00000ccf: SLOAD 00000cd0: PUSH1 0x00 00000cd2: SWAP1 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x02 00000cd7: PUSH1 0x20 00000cd9: SWAP1 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x40 00000cde: DUP1 00000cdf: DUP4 00000ce0: KECCAK256 00000ce1: DUP1 00000ce2: SLOAD 00000ce3: PUSH1 0x01 00000ce5: PUSH1 0xa0 00000ce7: PUSH1 0x02 00000ce9: EXP 00000cea: SUB 00000ceb: NOT 00000cec: AND 00000ced: CALLER 00000cee: PUSH1 0x01 00000cf0: PUSH1 0xa0 00000cf2: PUSH1 0x02 00000cf4: EXP 00000cf5: SUB 00000cf6: DUP2 00000cf7: AND 00000cf8: SWAP2 00000cf9: SWAP1 00000cfa: SWAP2 00000cfb: OR 00000cfc: SWAP1 00000cfd: SWAP2 00000cfe: SSTORE 00000cff: DUP5 00000d00: SLOAD 00000d01: DUP5 00000d02: MSTORE 00000d03: PUSH1 0x03 00000d05: SWAP1 00000d06: SWAP3 00000d07: MSTORE 00000d08: SWAP2 00000d09: DUP3 00000d0a: SWAP1 00000d0b: KECCAK256 00000d0c: DUP1 00000d0d: SLOAD 00000d0e: PUSH1 0xff 00000d10: NOT 00000d11: AND 00000d12: SWAP1 00000d13: SSTORE 00000d14: SWAP2 00000d15: SLOAD 00000d16: PUSH32 0xe02fda003a77c2554ac72a53bbeacf3440a1e22212fd46e961fc2b123294dd4e 00000d37: SWAP3 00000d38: SWAP1 00000d39: SWAP2 00000d3a: MLOAD 00000d3b: SWAP2 00000d3c: DUP3 00000d3d: MSTORE 00000d3e: PUSH1 0x01 00000d40: PUSH1 0xa0 00000d42: PUSH1 0x02 00000d44: EXP 00000d45: SUB 00000d46: AND 00000d47: PUSH1 0x20 00000d49: DUP3 00000d4a: ADD 00000d4b: MSTORE 00000d4c: PUSH1 0x40 00000d4e: SWAP1 00000d4f: DUP2 00000d50: ADD 00000d51: SWAP1 00000d52: MLOAD 00000d53: DUP1 00000d54: SWAP2 00000d55: SUB 00000d56: SWAP1 00000d57: LOG1 00000d58: PUSH1 0x04 00000d5a: DUP1 00000d5b: SLOAD 00000d5c: PUSH1 0x01 00000d5e: SWAP1 00000d5f: DUP2 00000d60: ADD 00000d61: SWAP1 00000d62: SWAP2 00000d63: SSTORE 00000d64: PUSH1 0x01 00000d66: PUSH1 0xa0 00000d68: PUSH1 0x02 00000d6a: EXP 00000d6b: SUB 00000d6c: CALLER 00000d6d: AND 00000d6e: PUSH1 0x00 00000d70: SWAP1 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x05 00000d75: PUSH1 0x20 00000d77: DUP2 00000d78: DUP2 00000d79: MSTORE 00000d7a: PUSH1 0x40 00000d7c: DUP1 00000d7d: DUP5 00000d7e: KECCAK256 00000d7f: DUP1 00000d80: SLOAD 00000d81: DUP7 00000d82: ADD 00000d83: SWAP1 00000d84: SSTORE 00000d85: PUSH1 0x0b 00000d87: SWAP1 00000d88: SWAP2 00000d89: MSTORE 00000d8a: SWAP1 00000d8b: SWAP2 00000d8c: KECCAK256 00000d8d: DUP1 00000d8e: SLOAD 00000d8f: SWAP1 00000d90: SWAP3 00000d91: ADD 00000d92: SWAP1 00000d93: SWAP2 00000d94: SSTORE 00000d95: DUP5 00000d96: LT 00000d97: ISZERO 00000d98: PUSH2 0x0de7 00000d9b: JUMPI 00000d9c: PUSH1 0x11 00000d9e: DUP5 00000d9f: PUSH1 0x05 00000da1: DUP2 00000da2: LT 00000da3: PUSH2 0x0da8 00000da6: JUMPI 00000da7: INVALID 00000da8: JUMPDEST 00000da9: ADD 00000daa: SLOAD 00000dab: PUSH1 0x01 00000dad: PUSH1 0xa0 00000daf: PUSH1 0x02 00000db1: EXP 00000db2: SUB 00000db3: CALLER 00000db4: AND 00000db5: PUSH1 0x00 00000db7: SWAP1 00000db8: DUP2 00000db9: MSTORE 00000dba: PUSH1 0x0b 00000dbc: PUSH1 0x20 00000dbe: MSTORE 00000dbf: PUSH1 0x40 00000dc1: SWAP1 00000dc2: KECCAK256 00000dc3: SLOAD 00000dc4: LT 00000dc5: PUSH2 0x0de7 00000dc8: JUMPI 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: PUSH1 0x02 00000dcf: EXP 00000dd0: SUB 00000dd1: CALLER 00000dd2: AND 00000dd3: PUSH1 0x00 00000dd5: SWAP1 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: PUSH1 0x0c 00000dda: PUSH1 0x20 00000ddc: MSTORE 00000ddd: PUSH1 0x40 00000ddf: SWAP1 00000de0: KECCAK256 00000de1: PUSH1 0x01 00000de3: DUP6 00000de4: ADD 00000de5: SWAP1 00000de6: SSTORE 00000de7: JUMPDEST 00000de8: POP 00000de9: POP 00000dea: POP 00000deb: POP 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH1 0x00 00000df0: SLOAD 00000df1: PUSH1 0xa0 00000df3: PUSH1 0x02 00000df5: EXP 00000df6: SWAP1 00000df7: DIV 00000df8: PUSH1 0xff 00000dfa: AND 00000dfb: ISZERO 00000dfc: PUSH2 0x0e04 00000dff: JUMPI 00000e00: PUSH1 0x00 00000e02: DUP1 00000e03: REVERT 00000e04: JUMPDEST 00000e05: PUSH1 0x00 00000e07: DUP3 00000e08: DUP2 00000e09: MSTORE 00000e0a: PUSH1 0x02 00000e0c: PUSH1 0x20 00000e0e: MSTORE 00000e0f: PUSH1 0x40 00000e11: SWAP1 00000e12: KECCAK256 00000e13: SLOAD 00000e14: CALLER 00000e15: PUSH1 0x01 00000e17: PUSH1 0xa0 00000e19: PUSH1 0x02 00000e1b: EXP 00000e1c: SUB 00000e1d: SWAP1 00000e1e: DUP2 00000e1f: AND 00000e20: SWAP2 00000e21: AND 00000e22: EQ 00000e23: PUSH2 0x0e2b 00000e26: JUMPI 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: REVERT 00000e2b: JUMPDEST 00000e2c: PUSH1 0x00 00000e2e: DUP3 00000e2f: DUP2 00000e30: MSTORE 00000e31: PUSH1 0x01 00000e33: PUSH1 0x20 00000e35: MSTORE 00000e36: PUSH1 0x40 00000e38: SWAP1 00000e39: KECCAK256 00000e3a: SLOAD 00000e3b: PUSH1 0xc0 00000e3d: PUSH1 0x02 00000e3f: EXP 00000e40: SWAP1 00000e41: DIV 00000e42: PUSH8 0xffffffffffffffff 00000e4b: AND 00000e4c: ISZERO 00000e4d: PUSH2 0x0e55 00000e50: JUMPI 00000e51: PUSH1 0x00 00000e53: DUP1 00000e54: REVERT 00000e55: JUMPDEST 00000e56: PUSH1 0x00 00000e58: DUP3 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x03 00000e5d: PUSH1 0x20 00000e5f: MSTORE 00000e60: PUSH1 0x40 00000e62: SWAP1 00000e63: KECCAK256 00000e64: SLOAD 00000e65: PUSH1 0xff 00000e67: AND 00000e68: ISZERO 00000e69: PUSH2 0x0e71 00000e6c: JUMPI 00000e6d: PUSH1 0x00 00000e6f: DUP1 00000e70: REVERT 00000e71: JUMPDEST 00000e72: PUSH1 0x00 00000e74: DUP2 00000e75: GT 00000e76: PUSH2 0x0e7e 00000e79: JUMPI 00000e7a: PUSH1 0x00 00000e7c: DUP1 00000e7d: REVERT 00000e7e: JUMPDEST 00000e7f: PUSH1 0x00 00000e81: DUP3 00000e82: DUP2 00000e83: MSTORE 00000e84: PUSH1 0x09 00000e86: PUSH1 0x20 00000e88: SWAP1 00000e89: DUP2 00000e8a: MSTORE 00000e8b: PUSH1 0x40 00000e8d: DUP1 00000e8e: DUP4 00000e8f: KECCAK256 00000e90: DUP5 00000e91: SWAP1 00000e92: SSTORE 00000e93: PUSH1 0x03 00000e95: SWAP1 00000e96: SWAP2 00000e97: MSTORE 00000e98: SWAP1 00000e99: DUP2 00000e9a: SWAP1 00000e9b: KECCAK256 00000e9c: DUP1 00000e9d: SLOAD 00000e9e: PUSH1 0xff 00000ea0: NOT 00000ea1: AND 00000ea2: PUSH1 0x01 00000ea4: OR 00000ea5: SWAP1 00000ea6: SSTORE 00000ea7: PUSH32 0x490fad3155d80ff0da3b5e2676a2b0121544ec602724a25f5f41157862ad582a 00000ec8: SWAP1 00000ec9: CALLER 00000eca: SWAP1 00000ecb: DUP5 00000ecc: SWAP1 00000ecd: MLOAD 00000ece: PUSH1 0x01 00000ed0: PUSH1 0xa0 00000ed2: PUSH1 0x02 00000ed4: EXP 00000ed5: SUB 00000ed6: SWAP1 00000ed7: SWAP3 00000ed8: AND 00000ed9: DUP3 00000eda: MSTORE 00000edb: PUSH1 0x20 00000edd: DUP3 00000ede: ADD 00000edf: MSTORE 00000ee0: PUSH1 0x40 00000ee2: SWAP1 00000ee3: DUP2 00000ee4: ADD 00000ee5: SWAP1 00000ee6: MLOAD 00000ee7: DUP1 00000ee8: SWAP2 00000ee9: SUB 00000eea: SWAP1 00000eeb: LOG1 00000eec: POP 00000eed: POP 00000eee: JUMP 00000eef: JUMPDEST 00000ef0: PUSH1 0x10 00000ef2: SLOAD 00000ef3: DUP2 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH1 0x16 00000ef8: DUP2 00000ef9: PUSH1 0x06 00000efb: DUP2 00000efc: LT 00000efd: PUSH2 0x0f02 00000f00: JUMPI 00000f01: INVALID 00000f02: JUMPDEST 00000f03: ADD 00000f04: SLOAD 00000f05: SWAP1 00000f06: POP 00000f07: DUP2 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: PUSH1 0x00 00000f0c: SLOAD 00000f0d: CALLER 00000f0e: PUSH1 0x01 00000f10: PUSH1 0xa0 00000f12: PUSH1 0x02 00000f14: EXP 00000f15: SUB 00000f16: SWAP1 00000f17: DUP2 00000f18: AND 00000f19: SWAP2 00000f1a: AND 00000f1b: EQ 00000f1c: PUSH2 0x0f24 00000f1f: JUMPI 00000f20: PUSH1 0x00 00000f22: DUP1 00000f23: REVERT 00000f24: JUMPDEST 00000f25: PUSH1 0x00 00000f27: SLOAD 00000f28: PUSH1 0xa0 00000f2a: PUSH1 0x02 00000f2c: EXP 00000f2d: SWAP1 00000f2e: DIV 00000f2f: PUSH1 0xff 00000f31: AND 00000f32: ISZERO 00000f33: ISZERO 00000f34: PUSH2 0x0f3c 00000f37: JUMPI 00000f38: PUSH1 0x00 00000f3a: DUP1 00000f3b: REVERT 00000f3c: JUMPDEST 00000f3d: PUSH1 0x00 00000f3f: DUP1 00000f40: SLOAD 00000f41: PUSH21 0xff0000000000000000000000000000000000000000 00000f57: NOT 00000f58: AND 00000f59: SWAP1 00000f5a: SSTORE 00000f5b: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000f7c: PUSH1 0x40 00000f7e: MLOAD 00000f7f: PUSH1 0x40 00000f81: MLOAD 00000f82: DUP1 00000f83: SWAP2 00000f84: SUB 00000f85: SWAP1 00000f86: LOG1 00000f87: JUMP 00000f88: JUMPDEST 00000f89: PUSH1 0x08 00000f8b: SLOAD 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0x80 00000f90: PUSH1 0x02 00000f92: EXP 00000f93: SUB 00000f94: AND 00000f95: DUP2 00000f96: JUMP 00000f97: JUMPDEST 00000f98: PUSH1 0x00 00000f9a: DUP1 00000f9b: SLOAD 00000f9c: PUSH1 0xa0 00000f9e: PUSH1 0x02 00000fa0: EXP 00000fa1: SWAP1 00000fa2: DIV 00000fa3: PUSH1 0xff 00000fa5: AND 00000fa6: ISZERO 00000fa7: PUSH2 0x0faf 00000faa: JUMPI 00000fab: PUSH1 0x00 00000fad: DUP1 00000fae: REVERT 00000faf: JUMPDEST 00000fb0: PUSH1 0x07 00000fb2: SLOAD 00000fb3: CALLVALUE 00000fb4: LT 00000fb5: ISZERO 00000fb6: PUSH2 0x0fbe 00000fb9: JUMPI 00000fba: PUSH1 0x00 00000fbc: DUP1 00000fbd: REVERT 00000fbe: JUMPDEST 00000fbf: PUSH2 0x0fc8 00000fc2: DUP4 00000fc3: DUP4 00000fc4: PUSH2 0x1470 00000fc7: JUMP 00000fc8: JUMPDEST 00000fc9: PUSH1 0x01 00000fcb: PUSH1 0x00 00000fcd: DUP5 00000fce: DUP2 00000fcf: MSTORE 00000fd0: PUSH1 0x20 00000fd2: ADD 00000fd3: SWAP1 00000fd4: DUP2 00000fd5: MSTORE 00000fd6: PUSH1 0x20 00000fd8: ADD 00000fd9: PUSH1 0x00 00000fdb: KECCAK256 00000fdc: SWAP1 00000fdd: POP 00000fde: PUSH32 0xa0b8773c576b204aa8e6df0ff342f9b00297636e99dce8a2103e8d966e767f84 00000fff: CALLER 00001000: DUP5 00001001: DUP5 00001002: DUP5 00001003: PUSH1 0x00 00001005: ADD 00001006: PUSH1 0x10 00001008: SWAP1 00001009: SLOAD 0000100a: SWAP1 0000100b: PUSH2 0x0100 0000100e: EXP 0000100f: SWAP1 00001010: DIV 00001011: PUSH8 0xffffffffffffffff 0000101a: AND 0000101b: PUSH1 0x40 0000101d: MLOAD 0000101e: PUSH1 0x01 00001020: PUSH1 0xa0 00001022: PUSH1 0x02 00001024: EXP 00001025: SUB 00001026: SWAP1 00001027: SWAP5 00001028: AND 00001029: DUP5 0000102a: MSTORE 0000102b: PUSH1 0x20 0000102d: DUP5 0000102e: ADD 0000102f: SWAP3 00001030: SWAP1 00001031: SWAP3 00001032: MSTORE 00001033: PUSH1 0x40 00001035: DUP1 00001036: DUP5 00001037: ADD 00001038: SWAP2 00001039: SWAP1 0000103a: SWAP2 0000103b: MSTORE 0000103c: PUSH8 0xffffffffffffffff 00001045: SWAP1 00001046: SWAP2 00001047: AND 00001048: PUSH1 0x60 0000104a: DUP4 0000104b: ADD 0000104c: MSTORE 0000104d: PUSH1 0x80 0000104f: SWAP1 00001050: SWAP2 00001051: ADD 00001052: SWAP1 00001053: MLOAD 00001054: DUP1 00001055: SWAP2 00001056: SUB 00001057: SWAP1 00001058: LOG1 00001059: POP 0000105a: POP 0000105b: POP 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: SLOAD 00001061: PUSH1 0xa0 00001063: PUSH1 0x02 00001065: EXP 00001066: SWAP1 00001067: DIV 00001068: PUSH1 0xff 0000106a: AND 0000106b: DUP2 0000106c: JUMP 0000106d: JUMPDEST 0000106e: PUSH1 0x09 00001070: PUSH1 0x20 00001072: MSTORE 00001073: PUSH1 0x00 00001075: SWAP1 00001076: DUP2 00001077: MSTORE 00001078: PUSH1 0x40 0000107a: SWAP1 0000107b: KECCAK256 0000107c: SLOAD 0000107d: DUP2 0000107e: JUMP 0000107f: JUMPDEST 00001080: PUSH1 0x11 00001082: DUP2 00001083: PUSH1 0x05 00001085: DUP2 00001086: LT 00001087: PUSH2 0x0f02 0000108a: JUMPI 0000108b: INVALID 0000108c: JUMPDEST 0000108d: PUSH1 0x05 0000108f: PUSH1 0x20 00001091: MSTORE 00001092: PUSH1 0x00 00001094: SWAP1 00001095: DUP2 00001096: MSTORE 00001097: PUSH1 0x40 00001099: SWAP1 0000109a: KECCAK256 0000109b: SLOAD 0000109c: DUP2 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x07 000010a1: SLOAD 000010a2: DUP2 000010a3: JUMP 000010a4: JUMPDEST 000010a5: PUSH1 0x0e 000010a7: SLOAD 000010a8: DUP2 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x00 000010ad: SLOAD 000010ae: CALLER 000010af: PUSH1 0x01 000010b1: PUSH1 0xa0 000010b3: PUSH1 0x02 000010b5: EXP 000010b6: SUB 000010b7: SWAP1 000010b8: DUP2 000010b9: AND 000010ba: SWAP2 000010bb: AND 000010bc: EQ 000010bd: PUSH2 0x10c5 000010c0: JUMPI 000010c1: PUSH1 0x00 000010c3: DUP1 000010c4: REVERT 000010c5: JUMPDEST 000010c6: PUSH1 0x00 000010c8: SLOAD 000010c9: PUSH1 0xa0 000010cb: PUSH1 0x02 000010cd: EXP 000010ce: SWAP1 000010cf: DIV 000010d0: PUSH1 0xff 000010d2: AND 000010d3: ISZERO 000010d4: PUSH2 0x10dc 000010d7: JUMPI 000010d8: PUSH1 0x00 000010da: DUP1 000010db: REVERT 000010dc: JUMPDEST 000010dd: PUSH1 0x00 000010df: DUP1 000010e0: SLOAD 000010e1: PUSH21 0xff0000000000000000000000000000000000000000 000010f7: NOT 000010f8: AND 000010f9: PUSH1 0xa0 000010fb: PUSH1 0x02 000010fd: EXP 000010fe: OR 000010ff: SWAP1 00001100: SSTORE 00001101: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00001122: PUSH1 0x40 00001124: MLOAD 00001125: PUSH1 0x40 00001127: MLOAD 00001128: DUP1 00001129: SWAP2 0000112a: SUB 0000112b: SWAP1 0000112c: LOG1 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH1 0x0a 00001131: SLOAD 00001132: DUP2 00001133: JUMP 00001134: JUMPDEST 00001135: PUSH1 0x00 00001137: SLOAD 00001138: PUSH1 0x01 0000113a: PUSH1 0xa0 0000113c: PUSH1 0x02 0000113e: EXP 0000113f: SUB 00001140: AND 00001141: DUP2 00001142: JUMP 00001143: JUMPDEST 00001144: PUSH2 0x114b 00001147: PUSH2 0x1be8 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH1 0x00 0000114e: SLOAD 0000114f: CALLER 00001150: PUSH1 0x01 00001152: PUSH1 0xa0 00001154: PUSH1 0x02 00001156: EXP 00001157: SUB 00001158: SWAP1 00001159: DUP2 0000115a: AND 0000115b: SWAP2 0000115c: AND 0000115d: EQ 0000115e: PUSH2 0x1166 00001161: JUMPI 00001162: PUSH1 0x00 00001164: DUP1 00001165: REVERT 00001166: JUMPDEST 00001167: PUSH1 0x00 00001169: SLOAD 0000116a: PUSH1 0xa0 0000116c: PUSH1 0x02 0000116e: EXP 0000116f: SWAP1 00001170: DIV 00001171: PUSH1 0xff 00001173: AND 00001174: ISZERO 00001175: PUSH2 0x117d 00001178: JUMPI 00001179: PUSH1 0x00 0000117b: DUP1 0000117c: REVERT 0000117d: JUMPDEST 0000117e: PUSH1 0x0a 00001180: SLOAD 00001181: PUSH1 0x00 00001183: DUP1 00001184: SLOAD 00001185: PUSH1 0x01 00001187: PUSH1 0xa0 00001189: PUSH1 0x02 0000118b: EXP 0000118c: SUB 0000118d: AND 0000118e: DUP2 0000118f: MSTORE 00001190: PUSH1 0x05 00001192: PUSH1 0x20 00001194: MSTORE 00001195: PUSH1 0x40 00001197: SWAP1 00001198: KECCAK256 00001199: SLOAD 0000119a: LT 0000119b: PUSH2 0x11a3 0000119e: JUMPI 0000119f: PUSH1 0x00 000011a1: DUP1 000011a2: REVERT 000011a3: JUMPDEST 000011a4: PUSH1 0x60 000011a6: PUSH1 0x40 000011a8: MLOAD 000011a9: SWAP1 000011aa: DUP2 000011ab: ADD 000011ac: PUSH1 0x40 000011ae: SWAP1 000011af: DUP2 000011b0: MSTORE 000011b1: PUSH1 0x01 000011b3: PUSH1 0x80 000011b5: PUSH1 0x02 000011b7: EXP 000011b8: SUB 000011b9: DUP6 000011ba: AND 000011bb: DUP3 000011bc: MSTORE 000011bd: PUSH8 0xffffffffffffffff 000011c6: TIMESTAMP 000011c7: AND 000011c8: PUSH1 0x20 000011ca: DUP1 000011cb: DUP5 000011cc: ADD 000011cd: SWAP2 000011ce: SWAP1 000011cf: SWAP2 000011d0: MSTORE 000011d1: PUSH1 0x00 000011d3: DUP3 000011d4: DUP5 000011d5: ADD 000011d6: DUP2 000011d7: SWAP1 000011d8: MSTORE 000011d9: PUSH1 0x04 000011db: SLOAD 000011dc: DUP2 000011dd: MSTORE 000011de: PUSH1 0x01 000011e0: SWAP1 000011e1: SWAP2 000011e2: MSTORE 000011e3: KECCAK256 000011e4: SWAP1 000011e5: SWAP2 000011e6: POP 000011e7: DUP2 000011e8: SWAP1 000011e9: DUP2 000011ea: MLOAD 000011eb: DUP2 000011ec: SLOAD 000011ed: PUSH16 0xffffffffffffffffffffffffffffffff 000011fe: NOT 000011ff: AND 00001200: PUSH1 0x01 00001202: PUSH1 0x80 00001204: PUSH1 0x02 00001206: EXP 00001207: SUB 00001208: SWAP2 00001209: SWAP1 0000120a: SWAP2 0000120b: AND 0000120c: OR 0000120d: DUP2 0000120e: SSTORE 0000120f: PUSH1 0x20 00001211: DUP3 00001212: ADD 00001213: MLOAD 00001214: DUP2 00001215: SLOAD 00001216: PUSH8 0xffffffffffffffff 0000121f: SWAP2 00001220: SWAP1 00001221: SWAP2 00001222: AND 00001223: PUSH1 0x80 00001225: PUSH1 0x02 00001227: EXP 00001228: MUL 00001229: PUSH24 0xffffffffffffffff00000000000000000000000000000000 00001242: NOT 00001243: SWAP1 00001244: SWAP2 00001245: AND 00001246: OR 00001247: DUP2 00001248: SSTORE 00001249: PUSH1 0x40 0000124b: DUP3 0000124c: ADD 0000124d: MLOAD 0000124e: DUP2 0000124f: SLOAD 00001250: PUSH8 0xffffffffffffffff 00001259: SWAP2 0000125a: SWAP1 0000125b: SWAP2 0000125c: AND 0000125d: PUSH1 0xc0 0000125f: PUSH1 0x02 00001261: EXP 00001262: MUL 00001263: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 0000127c: SWAP1 0000127d: SWAP2 0000127e: AND 0000127f: OR 00001280: SWAP1 00001281: SSTORE 00001282: POP 00001283: PUSH1 0x00 00001285: DUP1 00001286: SLOAD 00001287: PUSH1 0x04 00001289: DUP1 0000128a: SLOAD 0000128b: DUP4 0000128c: MSTORE 0000128d: PUSH1 0x02 0000128f: PUSH1 0x20 00001291: SWAP1 00001292: DUP2 00001293: MSTORE 00001294: PUSH1 0x40 00001296: DUP1 00001297: DUP6 00001298: KECCAK256 00001299: DUP1 0000129a: SLOAD 0000129b: PUSH1 0x01 0000129d: PUSH1 0xa0 0000129f: PUSH1 0x02 000012a1: EXP 000012a2: SUB 000012a3: NOT 000012a4: AND 000012a5: PUSH1 0x01 000012a7: PUSH1 0xa0 000012a9: PUSH1 0x02 000012ab: EXP 000012ac: SUB 000012ad: SWAP6 000012ae: DUP7 000012af: AND 000012b0: OR 000012b1: SWAP1 000012b2: SSTORE 000012b3: DUP3 000012b4: SLOAD 000012b5: DUP6 000012b6: MSTORE 000012b7: PUSH1 0x03 000012b9: SWAP1 000012ba: SWAP2 000012bb: MSTORE 000012bc: DUP1 000012bd: DUP5 000012be: KECCAK256 000012bf: DUP1 000012c0: SLOAD 000012c1: PUSH1 0xff 000012c3: NOT 000012c4: AND 000012c5: SWAP1 000012c6: SSTORE 000012c7: SWAP1 000012c8: SLOAD 000012c9: SWAP3 000012ca: SLOAD 000012cb: PUSH32 0xe02fda003a77c2554ac72a53bbeacf3440a1e22212fd46e961fc2b123294dd4e 000012ec: SWAP4 000012ed: SWAP3 000012ee: AND 000012ef: SWAP1 000012f0: MLOAD 000012f1: SWAP2 000012f2: DUP3 000012f3: MSTORE 000012f4: PUSH1 0x01 000012f6: PUSH1 0xa0 000012f8: PUSH1 0x02 000012fa: EXP 000012fb: SUB 000012fc: AND 000012fd: PUSH1 0x20 000012ff: DUP3 00001300: ADD 00001301: MSTORE 00001302: PUSH1 0x40 00001304: SWAP1 00001305: DUP2 00001306: ADD 00001307: SWAP1 00001308: MLOAD 00001309: DUP1 0000130a: SWAP2 0000130b: SUB 0000130c: SWAP1 0000130d: LOG1 0000130e: PUSH2 0x1319 00001311: PUSH1 0x04 00001313: SLOAD 00001314: DUP4 00001315: PUSH2 0x0ded 00001318: JUMP 00001319: JUMPDEST 0000131a: POP 0000131b: POP 0000131c: PUSH1 0x04 0000131e: DUP1 0000131f: SLOAD 00001320: PUSH1 0x01 00001322: SWAP1 00001323: DUP2 00001324: ADD 00001325: SWAP1 00001326: SWAP2 00001327: SSTORE 00001328: PUSH1 0x00 0000132a: DUP1 0000132b: SLOAD 0000132c: PUSH1 0x01 0000132e: PUSH1 0xa0 00001330: PUSH1 0x02 00001332: EXP 00001333: SUB 00001334: AND 00001335: DUP2 00001336: MSTORE 00001337: PUSH1 0x05 00001339: PUSH1 0x20 0000133b: MSTORE 0000133c: PUSH1 0x40 0000133e: SWAP1 0000133f: KECCAK256 00001340: DUP1 00001341: SLOAD 00001342: SWAP1 00001343: SWAP2 00001344: ADD 00001345: SWAP1 00001346: SSTORE 00001347: POP 00001348: JUMP 00001349: JUMPDEST 0000134a: PUSH1 0x00 0000134c: SLOAD 0000134d: CALLER 0000134e: PUSH1 0x01 00001350: PUSH1 0xa0 00001352: PUSH1 0x02 00001354: EXP 00001355: SUB 00001356: SWAP1 00001357: DUP2 00001358: AND 00001359: SWAP2 0000135a: AND 0000135b: EQ 0000135c: PUSH2 0x1364 0000135f: JUMPI 00001360: PUSH1 0x00 00001362: DUP1 00001363: REVERT 00001364: JUMPDEST 00001365: PUSH1 0x07 00001367: SSTORE 00001368: JUMP 00001369: JUMPDEST 0000136a: PUSH1 0x00 0000136c: DUP1 0000136d: DUP1 0000136e: DUP1 0000136f: DUP1 00001370: DUP6 00001371: GT 00001372: PUSH2 0x137a 00001375: JUMPI 00001376: PUSH1 0x00 00001378: DUP1 00001379: REVERT 0000137a: JUMPDEST 0000137b: PUSH1 0x04 0000137d: SLOAD 0000137e: DUP6 0000137f: LT 00001380: PUSH2 0x1388 00001383: JUMPI 00001384: PUSH1 0x00 00001386: DUP1 00001387: REVERT 00001388: JUMPDEST 00001389: POP 0000138a: POP 0000138b: POP 0000138c: PUSH1 0x00 0000138e: SWAP2 0000138f: DUP3 00001390: MSTORE 00001391: POP 00001392: PUSH1 0x01 00001394: PUSH1 0x20 00001396: MSTORE 00001397: PUSH1 0x40 00001399: SWAP1 0000139a: KECCAK256 0000139b: SLOAD 0000139c: PUSH1 0x01 0000139e: PUSH1 0x80 000013a0: PUSH1 0x02 000013a2: EXP 000013a3: SUB 000013a4: DUP2 000013a5: AND 000013a6: SWAP2 000013a7: PUSH8 0xffffffffffffffff 000013b0: PUSH1 0x80 000013b2: PUSH1 0x02 000013b4: EXP 000013b5: DUP4 000013b6: DIV 000013b7: DUP2 000013b8: AND 000013b9: SWAP3 000013ba: PUSH1 0xc0 000013bc: PUSH1 0x02 000013be: EXP 000013bf: SWAP1 000013c0: DIV 000013c1: AND 000013c2: SWAP1 000013c3: JUMP 000013c4: JUMPDEST 000013c5: PUSH1 0x01 000013c7: PUSH1 0xa0 000013c9: PUSH1 0x02 000013cb: EXP 000013cc: SUB 000013cd: DUP3 000013ce: AND 000013cf: PUSH1 0x00 000013d1: SWAP1 000013d2: DUP2 000013d3: MSTORE 000013d4: PUSH1 0x05 000013d6: PUSH1 0x20 000013d8: MSTORE 000013d9: PUSH1 0x40 000013db: DUP2 000013dc: KECCAK256 000013dd: SLOAD 000013de: DUP2 000013df: SWAP1 000013e0: DUP2 000013e1: DUP1 000013e2: DUP3 000013e3: GT 000013e4: PUSH2 0x13ec 000013e7: JUMPI 000013e8: PUSH1 0x00 000013ea: DUP1 000013eb: REVERT 000013ec: JUMPDEST 000013ed: DUP2 000013ee: DUP6 000013ef: LT 000013f0: PUSH2 0x13f8 000013f3: JUMPI 000013f4: PUSH1 0x00 000013f6: DUP1 000013f7: REVERT 000013f8: JUMPDEST 000013f9: POP 000013fa: PUSH1 0x01 000013fc: JUMPDEST 000013fd: PUSH1 0x04 000013ff: SLOAD 00001400: DUP2 00001401: LT 00001402: ISZERO 00001403: PUSH2 0x01c9 00001406: JUMPI 00001407: PUSH1 0x00 00001409: DUP2 0000140a: DUP2 0000140b: MSTORE 0000140c: PUSH1 0x02 0000140e: PUSH1 0x20 00001410: MSTORE 00001411: PUSH1 0x40 00001413: SWAP1 00001414: KECCAK256 00001415: SLOAD 00001416: PUSH1 0x01 00001418: PUSH1 0xa0 0000141a: PUSH1 0x02 0000141c: EXP 0000141d: SUB 0000141e: DUP8 0000141f: DUP2 00001420: AND 00001421: SWAP2 00001422: AND 00001423: EQ 00001424: ISZERO 00001425: PUSH2 0x143f 00001428: JUMPI 00001429: DUP5 0000142a: DUP4 0000142b: EQ 0000142c: ISZERO 0000142d: PUSH2 0x1438 00001430: JUMPI 00001431: DUP1 00001432: SWAP4 00001433: POP 00001434: PUSH2 0x1447 00001437: JUMP 00001438: JUMPDEST 00001439: PUSH1 0x01 0000143b: SWAP1 0000143c: SWAP3 0000143d: ADD 0000143e: SWAP2 0000143f: JUMPDEST 00001440: PUSH1 0x01 00001442: ADD 00001443: PUSH2 0x13fc 00001446: JUMP 00001447: JUMPDEST 00001448: POP 00001449: POP 0000144a: POP 0000144b: SWAP3 0000144c: SWAP2 0000144d: POP 0000144e: POP 0000144f: JUMP 00001450: JUMPDEST 00001451: PUSH1 0x00 00001453: SLOAD 00001454: CALLER 00001455: PUSH1 0x01 00001457: PUSH1 0xa0 00001459: PUSH1 0x02 0000145b: EXP 0000145c: SUB 0000145d: SWAP1 0000145e: DUP2 0000145f: AND 00001460: SWAP2 00001461: AND 00001462: EQ 00001463: PUSH2 0x146b 00001466: JUMPI 00001467: PUSH1 0x00 00001469: DUP1 0000146a: REVERT 0000146b: JUMPDEST 0000146c: PUSH1 0x0f 0000146e: SSTORE 0000146f: JUMP 00001470: JUMPDEST 00001471: PUSH1 0x00 00001473: SLOAD 00001474: PUSH1 0xa0 00001476: PUSH1 0x02 00001478: EXP 00001479: SWAP1 0000147a: DIV 0000147b: PUSH1 0xff 0000147d: AND 0000147e: ISZERO 0000147f: PUSH2 0x1487 00001482: JUMPI 00001483: PUSH1 0x00 00001485: DUP1 00001486: REVERT 00001487: JUMPDEST 00001488: PUSH2 0x1492 0000148b: CALLER 0000148c: DUP4 0000148d: DUP4 0000148e: PUSH2 0x1a7d 00001491: JUMP 00001492: JUMPDEST 00001493: ISZERO 00001494: ISZERO 00001495: PUSH2 0x149d 00001498: JUMPI 00001499: PUSH1 0x00 0000149b: DUP1 0000149c: REVERT 0000149d: JUMPDEST 0000149e: PUSH2 0x14a6 000014a1: DUP3 000014a2: PUSH2 0x1b11 000014a5: JUMP 000014a6: JUMPDEST 000014a7: DUP1 000014a8: ISZERO 000014a9: PUSH2 0x14b6 000014ac: JUMPI 000014ad: POP 000014ae: PUSH2 0x14b6 000014b1: DUP2 000014b2: PUSH2 0x1b11 000014b5: JUMP 000014b6: JUMPDEST 000014b7: ISZERO 000014b8: ISZERO 000014b9: PUSH2 0x14c1 000014bc: JUMPI 000014bd: PUSH1 0x00 000014bf: DUP1 000014c0: REVERT 000014c1: JUMPDEST 000014c2: PUSH2 0x14cb 000014c5: DUP3 000014c6: DUP3 000014c7: PUSH2 0x1a22 000014ca: JUMP 000014cb: JUMPDEST 000014cc: ISZERO 000014cd: ISZERO 000014ce: PUSH2 0x14d6 000014d1: JUMPI 000014d2: PUSH1 0x00 000014d4: DUP1 000014d5: REVERT 000014d6: JUMPDEST 000014d7: PUSH2 0x14e0 000014da: DUP3 000014db: DUP3 000014dc: PUSH2 0x1b27 000014df: JUMP 000014e0: JUMPDEST 000014e1: ISZERO 000014e2: ISZERO 000014e3: PUSH2 0x14eb 000014e6: JUMPI 000014e7: PUSH1 0x00 000014e9: DUP1 000014ea: REVERT 000014eb: JUMPDEST 000014ec: PUSH2 0x14f5 000014ef: DUP3 000014f0: DUP3 000014f1: PUSH2 0x1b76 000014f4: JUMP 000014f5: JUMPDEST 000014f6: PUSH1 0x00 000014f8: DUP3 000014f9: DUP2 000014fa: MSTORE 000014fb: PUSH1 0x01 000014fd: PUSH1 0x20 000014ff: MSTORE 00001500: PUSH1 0x40 00001502: DUP1 00001503: DUP3 00001504: KECCAK256 00001505: DUP1 00001506: SLOAD 00001507: PUSH8 0xffffffffffffffff 00001510: DUP1 00001511: DUP7 00001512: AND 00001513: PUSH1 0xc0 00001515: PUSH1 0x02 00001517: EXP 00001518: SWAP1 00001519: DUP2 0000151a: MUL 0000151b: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 00001534: SWAP4 00001535: DUP5 00001536: AND 00001537: OR 00001538: SWAP1 00001539: SWAP4 0000153a: SSTORE 0000153b: DUP6 0000153c: DUP6 0000153d: MSTORE 0000153e: SWAP4 0000153f: DUP4 00001540: SWAP1 00001541: KECCAK256 00001542: DUP1 00001543: SLOAD 00001544: SWAP5 00001545: DUP8 00001546: AND 00001547: SWAP1 00001548: SWAP3 00001549: MUL 0000154a: SWAP4 0000154b: AND 0000154c: SWAP3 0000154d: SWAP1 0000154e: SWAP3 0000154f: OR 00001550: SWAP1 00001551: SWAP2 00001552: SSTORE 00001553: PUSH32 0x4e1f80806ba228e25ed6f726450eaef48a5ae8e2604ca9156f554699acdd883f 00001574: SWAP1 00001575: CALLER 00001576: SWAP1 00001577: DUP5 00001578: SWAP1 00001579: DUP5 0000157a: SWAP1 0000157b: MLOAD 0000157c: DUP1 0000157d: DUP5 0000157e: PUSH1 0x01 00001580: PUSH1 0xa0 00001582: PUSH1 0x02 00001584: EXP 00001585: SUB 00001586: AND 00001587: PUSH1 0x01 00001589: PUSH1 0xa0 0000158b: PUSH1 0x02 0000158d: EXP 0000158e: SUB 0000158f: AND 00001590: DUP2 00001591: MSTORE 00001592: PUSH1 0x20 00001594: ADD 00001595: DUP4 00001596: DUP2 00001597: MSTORE 00001598: PUSH1 0x20 0000159a: ADD 0000159b: DUP3 0000159c: DUP2 0000159d: MSTORE 0000159e: PUSH1 0x20 000015a0: ADD 000015a1: SWAP4 000015a2: POP 000015a3: POP 000015a4: POP 000015a5: POP 000015a6: PUSH1 0x40 000015a8: MLOAD 000015a9: DUP1 000015aa: SWAP2 000015ab: SUB 000015ac: SWAP1 000015ad: LOG1 000015ae: POP 000015af: POP 000015b0: JUMP 000015b1: JUMPDEST 000015b2: PUSH1 0x0b 000015b4: PUSH1 0x20 000015b6: MSTORE 000015b7: PUSH1 0x00 000015b9: SWAP1 000015ba: DUP2 000015bb: MSTORE 000015bc: PUSH1 0x40 000015be: SWAP1 000015bf: KECCAK256 000015c0: SLOAD 000015c1: DUP2 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH1 0x00 000015c6: DUP1 000015c7: SLOAD 000015c8: DUP2 000015c9: SWAP1 000015ca: DUP2 000015cb: SWAP1 000015cc: PUSH1 0xa0 000015ce: PUSH1 0x02 000015d0: EXP 000015d1: SWAP1 000015d2: DIV 000015d3: PUSH1 0xff 000015d5: AND 000015d6: ISZERO 000015d7: PUSH2 0x15df 000015da: JUMPI 000015db: PUSH1 0x00 000015dd: DUP1 000015de: REVERT 000015df: JUMPDEST 000015e0: PUSH1 0x00 000015e2: DUP5 000015e3: DUP2 000015e4: MSTORE 000015e5: PUSH1 0x03 000015e7: PUSH1 0x20 000015e9: MSTORE 000015ea: PUSH1 0x40 000015ec: SWAP1 000015ed: KECCAK256 000015ee: SLOAD 000015ef: PUSH1 0xff 000015f1: AND 000015f2: ISZERO 000015f3: ISZERO 000015f4: PUSH1 0x01 000015f6: EQ 000015f7: PUSH2 0x15ff 000015fa: JUMPI 000015fb: PUSH1 0x00 000015fd: DUP1 000015fe: REVERT 000015ff: JUMPDEST 00001600: PUSH1 0x00 00001602: DUP5 00001603: DUP2 00001604: MSTORE 00001605: PUSH1 0x02 00001607: PUSH1 0x20 00001609: MSTORE 0000160a: PUSH1 0x40 0000160c: SWAP1 0000160d: KECCAK256 0000160e: SLOAD 0000160f: PUSH1 0x01 00001611: PUSH1 0xa0 00001613: PUSH1 0x02 00001615: EXP 00001616: SUB 00001617: SWAP1 00001618: DUP2 00001619: AND 0000161a: SWAP4 0000161b: POP 0000161c: CALLER 0000161d: AND 0000161e: DUP4 0000161f: EQ 00001620: ISZERO 00001621: PUSH2 0x1629 00001624: JUMPI 00001625: PUSH1 0x00 00001627: DUP1 00001628: REVERT 00001629: JUMPDEST 0000162a: PUSH1 0x00 0000162c: DUP5 0000162d: DUP2 0000162e: MSTORE 0000162f: PUSH1 0x09 00001631: PUSH1 0x20 00001633: MSTORE 00001634: PUSH1 0x40 00001636: SWAP1 00001637: KECCAK256 00001638: SLOAD 00001639: SWAP2 0000163a: POP 0000163b: CALLVALUE 0000163c: DUP3 0000163d: SWAP1 0000163e: LT 0000163f: ISZERO 00001640: PUSH2 0x1648 00001643: JUMPI 00001644: PUSH1 0x00 00001646: DUP1 00001647: REVERT 00001648: JUMPDEST 00001649: PUSH2 0x1651 0000164c: DUP3 0000164d: PUSH2 0x1bcf 00001650: JUMP 00001651: JUMPDEST 00001652: DUP3 00001653: SUB 00001654: SWAP1 00001655: POP 00001656: PUSH1 0x01 00001658: PUSH1 0xa0 0000165a: PUSH1 0x02 0000165c: EXP 0000165d: SUB 0000165e: DUP4 0000165f: AND 00001660: DUP2 00001661: ISZERO 00001662: PUSH2 0x08fc 00001665: MUL 00001666: DUP3 00001667: PUSH1 0x40 00001669: MLOAD 0000166a: PUSH1 0x00 0000166c: PUSH1 0x40 0000166e: MLOAD 0000166f: DUP1 00001670: DUP4 00001671: SUB 00001672: DUP2 00001673: DUP6 00001674: DUP9 00001675: DUP9 00001676: CALL 00001677: SWAP4 00001678: POP 00001679: POP 0000167a: POP 0000167b: POP 0000167c: ISZERO 0000167d: ISZERO 0000167e: PUSH2 0x1686 00001681: JUMPI 00001682: PUSH1 0x00 00001684: DUP1 00001685: REVERT 00001686: JUMPDEST 00001687: PUSH1 0x01 00001689: PUSH1 0xa0 0000168b: PUSH1 0x02 0000168d: EXP 0000168e: SUB 0000168f: DUP4 00001690: DUP2 00001691: AND 00001692: PUSH1 0x00 00001694: SWAP1 00001695: DUP2 00001696: MSTORE 00001697: PUSH1 0x05 00001699: PUSH1 0x20 0000169b: DUP2 0000169c: DUP2 0000169d: MSTORE 0000169e: PUSH1 0x40 000016a0: DUP1 000016a1: DUP5 000016a2: KECCAK256 000016a3: DUP1 000016a4: SLOAD 000016a5: PUSH1 0x00 000016a7: NOT 000016a8: ADD 000016a9: SWAP1 000016aa: SSTORE 000016ab: DUP9 000016ac: DUP5 000016ad: MSTORE 000016ae: PUSH1 0x02 000016b0: DUP3 000016b1: MSTORE 000016b2: DUP1 000016b3: DUP5 000016b4: KECCAK256 000016b5: DUP1 000016b6: SLOAD 000016b7: PUSH1 0x01 000016b9: PUSH1 0xa0 000016bb: PUSH1 0x02 000016bd: EXP 000016be: SUB 000016bf: NOT 000016c0: AND 000016c1: CALLER 000016c2: SWAP7 000016c3: DUP8 000016c4: AND 000016c5: SWAP1 000016c6: DUP2 000016c7: OR 000016c8: SWAP1 000016c9: SWAP2 000016ca: SSTORE 000016cb: DUP5 000016cc: MSTORE 000016cd: SWAP2 000016ce: DUP2 000016cf: MSTORE 000016d0: DUP2 000016d1: DUP4 000016d2: KECCAK256 000016d3: DUP1 000016d4: SLOAD 000016d5: PUSH1 0x01 000016d7: ADD 000016d8: SWAP1 000016d9: SSTORE 000016da: DUP8 000016db: DUP4 000016dc: MSTORE 000016dd: PUSH1 0x03 000016df: DUP2 000016e0: MSTORE 000016e1: DUP2 000016e2: DUP4 000016e3: KECCAK256 000016e4: DUP1 000016e5: SLOAD 000016e6: PUSH1 0xff 000016e8: NOT 000016e9: AND 000016ea: SWAP1 000016eb: SSTORE 000016ec: PUSH1 0x09 000016ee: SWAP1 000016ef: MSTORE 000016f0: DUP1 000016f1: DUP3 000016f2: KECCAK256 000016f3: SWAP2 000016f4: SWAP1 000016f5: SWAP2 000016f6: SSTORE 000016f7: PUSH32 0xf6de23dfab6e1deb1628f4b40e812dcd594adc18c2738b3606e6525e8b63d4ca 00001718: SWAP2 00001719: SWAP1 0000171a: DUP7 0000171b: SWAP1 0000171c: MLOAD 0000171d: PUSH1 0x01 0000171f: PUSH1 0xa0 00001721: PUSH1 0x02 00001723: EXP 00001724: SUB 00001725: SWAP1 00001726: SWAP3 00001727: AND 00001728: DUP3 00001729: MSTORE 0000172a: PUSH1 0x20 0000172c: DUP3 0000172d: ADD 0000172e: MSTORE 0000172f: PUSH1 0x40 00001731: SWAP1 00001732: DUP2 00001733: ADD 00001734: SWAP1 00001735: MLOAD 00001736: DUP1 00001737: SWAP2 00001738: SUB 00001739: SWAP1 0000173a: LOG1 0000173b: POP 0000173c: POP 0000173d: POP 0000173e: POP 0000173f: JUMP 00001740: JUMPDEST 00001741: PUSH1 0x00 00001743: DUP1 00001744: SLOAD 00001745: CALLER 00001746: PUSH1 0x01 00001748: PUSH1 0xa0 0000174a: PUSH1 0x02 0000174c: EXP 0000174d: SUB 0000174e: SWAP1 0000174f: DUP2 00001750: AND 00001751: SWAP2 00001752: AND 00001753: EQ 00001754: PUSH2 0x175c 00001757: JUMPI 00001758: PUSH1 0x00 0000175a: DUP1 0000175b: REVERT 0000175c: JUMPDEST 0000175d: PUSH1 0x0e 0000175f: SLOAD 00001760: PUSH3 0x015180 00001764: ADD 00001765: SWAP1 00001766: POP 00001767: DUP1 00001768: TIMESTAMP 00001769: GT 0000176a: ISZERO 0000176b: PUSH2 0x1774 0000176e: JUMPI 0000176f: PUSH1 0x0e 00001771: DUP2 00001772: SWAP1 00001773: SSTORE 00001774: JUMPDEST 00001775: POP 00001776: JUMP 00001777: JUMPDEST 00001778: PUSH1 0x00 0000177a: SLOAD 0000177b: CALLER 0000177c: PUSH1 0x01 0000177e: PUSH1 0xa0 00001780: PUSH1 0x02 00001782: EXP 00001783: SUB 00001784: SWAP1 00001785: DUP2 00001786: AND 00001787: SWAP2 00001788: AND 00001789: EQ 0000178a: PUSH2 0x1792 0000178d: JUMPI 0000178e: PUSH1 0x00 00001790: DUP1 00001791: REVERT 00001792: JUMPDEST 00001793: PUSH1 0x00 00001795: SLOAD 00001796: PUSH1 0x01 00001798: PUSH1 0xa0 0000179a: PUSH1 0x02 0000179c: EXP 0000179d: SUB 0000179e: SWAP1 0000179f: DUP2 000017a0: AND 000017a1: SWAP1 000017a2: ADDRESS 000017a3: AND 000017a4: BALANCE 000017a5: DUP1 000017a6: ISZERO 000017a7: PUSH2 0x08fc 000017aa: MUL 000017ab: SWAP1 000017ac: PUSH1 0x40 000017ae: MLOAD 000017af: PUSH1 0x00 000017b1: PUSH1 0x40 000017b3: MLOAD 000017b4: DUP1 000017b5: DUP4 000017b6: SUB 000017b7: DUP2 000017b8: DUP6 000017b9: DUP9 000017ba: DUP9 000017bb: CALL 000017bc: SWAP4 000017bd: POP 000017be: POP 000017bf: POP 000017c0: POP 000017c1: ISZERO 000017c2: ISZERO 000017c3: PUSH2 0x17cb 000017c6: JUMPI 000017c7: PUSH1 0x00 000017c9: DUP1 000017ca: REVERT 000017cb: JUMPDEST 000017cc: JUMP 000017cd: JUMPDEST 000017ce: PUSH1 0x00 000017d0: DUP1 000017d1: SLOAD 000017d2: DUP2 000017d3: SWAP1 000017d4: PUSH1 0xa0 000017d6: PUSH1 0x02 000017d8: EXP 000017d9: SWAP1 000017da: DIV 000017db: PUSH1 0xff 000017dd: AND 000017de: ISZERO 000017df: PUSH2 0x17e7 000017e2: JUMPI 000017e3: PUSH1 0x00 000017e5: DUP1 000017e6: REVERT 000017e7: JUMPDEST 000017e8: PUSH1 0x01 000017ea: PUSH1 0x80 000017ec: PUSH1 0x02 000017ee: EXP 000017ef: SUB 000017f0: DUP5 000017f1: AND 000017f2: PUSH1 0x00 000017f4: SWAP1 000017f5: DUP2 000017f6: MSTORE 000017f7: PUSH1 0x02 000017f9: PUSH1 0x20 000017fb: MSTORE 000017fc: PUSH1 0x40 000017fe: SWAP1 000017ff: KECCAK256 00001800: SLOAD 00001801: CALLER 00001802: PUSH1 0x01 00001804: PUSH1 0xa0 00001806: PUSH1 0x02 00001808: EXP 00001809: SUB 0000180a: SWAP1 0000180b: DUP2 0000180c: AND 0000180d: SWAP2 0000180e: AND 0000180f: EQ 00001810: PUSH2 0x1818 00001813: JUMPI 00001814: PUSH1 0x00 00001816: DUP1 00001817: REVERT 00001818: JUMPDEST 00001819: PUSH1 0x01 0000181b: PUSH1 0x80 0000181d: PUSH1 0x02 0000181f: EXP 00001820: SUB 00001821: DUP5 00001822: AND 00001823: PUSH1 0x00 00001825: SWAP1 00001826: DUP2 00001827: MSTORE 00001828: PUSH1 0x03 0000182a: PUSH1 0x20 0000182c: MSTORE 0000182d: PUSH1 0x40 0000182f: SWAP1 00001830: KECCAK256 00001831: SLOAD 00001832: PUSH1 0xff 00001834: AND 00001835: ISZERO 00001836: PUSH2 0x183e 00001839: JUMPI 0000183a: PUSH1 0x00 0000183c: DUP1 0000183d: REVERT 0000183e: JUMPDEST 0000183f: PUSH1 0x10 00001841: SLOAD 00001842: CALLVALUE 00001843: LT 00001844: ISZERO 00001845: PUSH2 0x184d 00001848: JUMPI 00001849: PUSH1 0x00 0000184b: DUP1 0000184c: REVERT 0000184d: JUMPDEST 0000184e: PUSH1 0x01 00001850: PUSH1 0x80 00001852: PUSH1 0x02 00001854: EXP 00001855: SUB 00001856: DUP5 00001857: AND 00001858: PUSH1 0x00 0000185a: SWAP1 0000185b: DUP2 0000185c: MSTORE 0000185d: PUSH1 0x01 0000185f: PUSH1 0x20 00001861: MSTORE 00001862: PUSH1 0x40 00001864: SWAP1 00001865: KECCAK256 00001866: DUP1 00001867: SLOAD 00001868: SWAP1 00001869: SWAP3 0000186a: POP 0000186b: PUSH1 0xc0 0000186d: PUSH1 0x02 0000186f: EXP 00001870: SWAP1 00001871: DIV 00001872: PUSH8 0xffffffffffffffff 0000187b: AND 0000187c: ISZERO 0000187d: PUSH2 0x1885 00001880: JUMPI 00001881: PUSH1 0x00 00001883: DUP1 00001884: REVERT 00001885: JUMPDEST 00001886: PUSH1 0x06 00001888: SLOAD 00001889: DUP3 0000188a: SLOAD 0000188b: PUSH1 0x01 0000188d: PUSH1 0xa0 0000188f: PUSH1 0x02 00001891: EXP 00001892: SUB 00001893: SWAP1 00001894: SWAP2 00001895: AND 00001896: SWAP1 00001897: PUSH4 0x250312ce 0000189c: SWAP1 0000189d: PUSH1 0x01 0000189f: PUSH1 0x80 000018a1: PUSH1 0x02 000018a3: EXP 000018a4: SUB 000018a5: AND 000018a6: DUP6 000018a7: PUSH1 0x00 000018a9: PUSH1 0x40 000018ab: MLOAD 000018ac: PUSH1 0x20 000018ae: ADD 000018af: MSTORE 000018b0: PUSH1 0x40 000018b2: MLOAD 000018b3: PUSH1 0xe0 000018b5: PUSH1 0x02 000018b7: EXP 000018b8: PUSH4 0xffffffff 000018bd: DUP6 000018be: AND 000018bf: MUL 000018c0: DUP2 000018c1: MSTORE 000018c2: PUSH1 0x01 000018c4: PUSH1 0x80 000018c6: PUSH1 0x02 000018c8: EXP 000018c9: SUB 000018ca: SWAP3 000018cb: DUP4 000018cc: AND 000018cd: PUSH1 0x04 000018cf: DUP3 000018d0: ADD 000018d1: MSTORE 000018d2: SWAP2 000018d3: AND 000018d4: PUSH1 0x24 000018d6: DUP3 000018d7: ADD 000018d8: MSTORE 000018d9: PUSH1 0x44 000018db: ADD 000018dc: PUSH1 0x20 000018de: PUSH1 0x40 000018e0: MLOAD 000018e1: DUP1 000018e2: DUP4 000018e3: SUB 000018e4: DUP2 000018e5: PUSH1 0x00 000018e7: DUP8 000018e8: DUP1 000018e9: EXTCODESIZE 000018ea: ISZERO 000018eb: ISZERO 000018ec: PUSH2 0x18f4 000018ef: JUMPI 000018f0: PUSH1 0x00 000018f2: DUP1 000018f3: REVERT 000018f4: JUMPDEST 000018f5: PUSH2 0x02c6 000018f8: GAS 000018f9: SUB 000018fa: CALL 000018fb: ISZERO 000018fc: ISZERO 000018fd: PUSH2 0x1905 00001900: JUMPI 00001901: PUSH1 0x00 00001903: DUP1 00001904: REVERT 00001905: JUMPDEST 00001906: POP 00001907: POP 00001908: POP 00001909: PUSH1 0x40 0000190b: MLOAD 0000190c: DUP1 0000190d: MLOAD 0000190e: DUP4 0000190f: SLOAD 00001910: PUSH16 0xffffffffffffffffffffffffffffffff 00001921: NOT 00001922: AND 00001923: PUSH1 0x01 00001925: PUSH1 0x80 00001927: PUSH1 0x02 00001929: EXP 0000192a: SUB 0000192b: DUP3 0000192c: AND 0000192d: OR 0000192e: DUP5 0000192f: SSTORE 00001930: SWAP2 00001931: POP 00001932: PUSH32 0xb1682fb0e70bb59dd5b0108ba10dad2a8cfa888b95b829260d566317d5d70fcb 00001953: SWAP1 00001954: POP 00001955: DUP5 00001956: DUP3 00001957: PUSH1 0x40 00001959: MLOAD 0000195a: PUSH1 0x01 0000195c: PUSH1 0x80 0000195e: PUSH1 0x02 00001960: EXP 00001961: SUB 00001962: SWAP3 00001963: DUP4 00001964: AND 00001965: DUP2 00001966: MSTORE 00001967: SWAP2 00001968: AND 00001969: PUSH1 0x20 0000196b: DUP3 0000196c: ADD 0000196d: MSTORE 0000196e: PUSH1 0x40 00001970: SWAP1 00001971: DUP2 00001972: ADD 00001973: SWAP1 00001974: MLOAD 00001975: DUP1 00001976: SWAP2 00001977: SUB 00001978: SWAP1 00001979: LOG1 0000197a: POP 0000197b: POP 0000197c: POP 0000197d: POP 0000197e: JUMP 0000197f: JUMPDEST 00001980: PUSH1 0x03 00001982: PUSH1 0x20 00001984: MSTORE 00001985: PUSH1 0x00 00001987: SWAP1 00001988: DUP2 00001989: MSTORE 0000198a: PUSH1 0x40 0000198c: SWAP1 0000198d: KECCAK256 0000198e: SLOAD 0000198f: PUSH1 0xff 00001991: AND 00001992: DUP2 00001993: JUMP 00001994: JUMPDEST 00001995: PUSH1 0x00 00001997: SLOAD 00001998: CALLER 00001999: PUSH1 0x01 0000199b: PUSH1 0xa0 0000199d: PUSH1 0x02 0000199f: EXP 000019a0: SUB 000019a1: SWAP1 000019a2: DUP2 000019a3: AND 000019a4: SWAP2 000019a5: AND 000019a6: EQ 000019a7: PUSH2 0x19af 000019aa: JUMPI 000019ab: PUSH1 0x00 000019ad: DUP1 000019ae: REVERT 000019af: JUMPDEST 000019b0: PUSH1 0x01 000019b2: PUSH1 0xa0 000019b4: PUSH1 0x02 000019b6: EXP 000019b7: SUB 000019b8: DUP2 000019b9: AND 000019ba: ISZERO 000019bb: ISZERO 000019bc: PUSH2 0x19c4 000019bf: JUMPI 000019c0: PUSH1 0x00 000019c2: DUP1 000019c3: REVERT 000019c4: JUMPDEST 000019c5: PUSH1 0x00 000019c7: SLOAD 000019c8: PUSH1 0x01 000019ca: PUSH1 0xa0 000019cc: PUSH1 0x02 000019ce: EXP 000019cf: SUB 000019d0: DUP1 000019d1: DUP4 000019d2: AND 000019d3: SWAP2 000019d4: AND 000019d5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000019f6: PUSH1 0x40 000019f8: MLOAD 000019f9: PUSH1 0x40 000019fb: MLOAD 000019fc: DUP1 000019fd: SWAP2 000019fe: SUB 000019ff: SWAP1 00001a00: LOG3 00001a01: PUSH1 0x00 00001a03: DUP1 00001a04: SLOAD 00001a05: PUSH1 0x01 00001a07: PUSH1 0xa0 00001a09: PUSH1 0x02 00001a0b: EXP 00001a0c: SUB 00001a0d: NOT 00001a0e: AND 00001a0f: PUSH1 0x01 00001a11: PUSH1 0xa0 00001a13: PUSH1 0x02 00001a15: EXP 00001a16: SUB 00001a17: SWAP3 00001a18: SWAP1 00001a19: SWAP3 00001a1a: AND 00001a1b: SWAP2 00001a1c: SWAP1 00001a1d: SWAP2 00001a1e: OR 00001a1f: SWAP1 00001a20: SSTORE 00001a21: JUMP 00001a22: JUMPDEST 00001a23: PUSH1 0x00 00001a25: DUP3 00001a26: DUP2 00001a27: MSTORE 00001a28: PUSH1 0x01 00001a2a: PUSH1 0x20 00001a2c: MSTORE 00001a2d: PUSH1 0x40 00001a2f: DUP2 00001a30: KECCAK256 00001a31: SLOAD 00001a32: PUSH8 0xffffffffffffffff 00001a3b: TIMESTAMP 00001a3c: DUP2 00001a3d: AND 00001a3e: PUSH1 0x80 00001a40: PUSH1 0x02 00001a42: EXP 00001a43: SWAP1 00001a44: SWAP3 00001a45: DIV 00001a46: AND 00001a47: GT 00001a48: DUP1 00001a49: ISZERO 00001a4a: SWAP1 00001a4b: PUSH2 0x1a76 00001a4e: JUMPI 00001a4f: POP 00001a50: PUSH1 0x00 00001a52: DUP3 00001a53: DUP2 00001a54: MSTORE 00001a55: PUSH1 0x01 00001a57: PUSH1 0x20 00001a59: MSTORE 00001a5a: PUSH1 0x40 00001a5c: SWAP1 00001a5d: KECCAK256 00001a5e: SLOAD 00001a5f: PUSH8 0xffffffffffffffff 00001a68: TIMESTAMP 00001a69: DUP2 00001a6a: AND 00001a6b: PUSH1 0x80 00001a6d: PUSH1 0x02 00001a6f: EXP 00001a70: SWAP1 00001a71: SWAP3 00001a72: DIV 00001a73: AND 00001a74: GT 00001a75: ISZERO 00001a76: JUMPDEST 00001a77: SWAP4 00001a78: SWAP3 00001a79: POP 00001a7a: POP 00001a7b: POP 00001a7c: JUMP 00001a7d: JUMPDEST 00001a7e: PUSH1 0x00 00001a80: DUP2 00001a81: DUP4 00001a82: EQ 00001a83: ISZERO 00001a84: PUSH2 0x1a8f 00001a87: JUMPI 00001a88: POP 00001a89: PUSH1 0x00 00001a8b: PUSH2 0x1a76 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: DUP3 00001a91: ISZERO 00001a92: DUP1 00001a93: PUSH2 0x1a9a 00001a96: JUMPI 00001a97: POP 00001a98: DUP2 00001a99: ISZERO 00001a9a: JUMPDEST 00001a9b: ISZERO 00001a9c: PUSH2 0x1aa7 00001a9f: JUMPI 00001aa0: POP 00001aa1: PUSH1 0x00 00001aa3: PUSH2 0x1a76 00001aa6: JUMP 00001aa7: JUMPDEST 00001aa8: PUSH1 0x04 00001aaa: SLOAD 00001aab: DUP4 00001aac: LT 00001aad: ISZERO 00001aae: DUP1 00001aaf: PUSH2 0x1aba 00001ab2: JUMPI 00001ab3: POP 00001ab4: PUSH1 0x04 00001ab6: SLOAD 00001ab7: DUP3 00001ab8: LT 00001ab9: ISZERO 00001aba: JUMPDEST 00001abb: ISZERO 00001abc: PUSH2 0x1ac7 00001abf: JUMPI 00001ac0: POP 00001ac1: PUSH1 0x00 00001ac3: PUSH2 0x1a76 00001ac6: JUMP 00001ac7: JUMPDEST 00001ac8: PUSH1 0x00 00001aca: DUP4 00001acb: DUP2 00001acc: MSTORE 00001acd: PUSH1 0x02 00001acf: PUSH1 0x20 00001ad1: MSTORE 00001ad2: PUSH1 0x40 00001ad4: SWAP1 00001ad5: KECCAK256 00001ad6: SLOAD 00001ad7: PUSH1 0x01 00001ad9: PUSH1 0xa0 00001adb: PUSH1 0x02 00001add: EXP 00001ade: SUB 00001adf: DUP6 00001ae0: DUP2 00001ae1: AND 00001ae2: SWAP2 00001ae3: AND 00001ae4: EQ 00001ae5: DUP1 00001ae6: ISZERO 00001ae7: PUSH2 0x1b09 00001aea: JUMPI 00001aeb: POP 00001aec: PUSH1 0x00 00001aee: DUP3 00001aef: DUP2 00001af0: MSTORE 00001af1: PUSH1 0x02 00001af3: PUSH1 0x20 00001af5: MSTORE 00001af6: PUSH1 0x40 00001af8: SWAP1 00001af9: KECCAK256 00001afa: SLOAD 00001afb: PUSH1 0x01 00001afd: PUSH1 0xa0 00001aff: PUSH1 0x02 00001b01: EXP 00001b02: SUB 00001b03: DUP6 00001b04: DUP2 00001b05: AND 00001b06: SWAP2 00001b07: AND 00001b08: EQ 00001b09: JUMPDEST 00001b0a: SWAP5 00001b0b: SWAP4 00001b0c: POP 00001b0d: POP 00001b0e: POP 00001b0f: POP 00001b10: JUMP 00001b11: JUMPDEST 00001b12: PUSH1 0x00 00001b14: SWAP1 00001b15: DUP2 00001b16: MSTORE 00001b17: PUSH1 0x03 00001b19: PUSH1 0x20 00001b1b: MSTORE 00001b1c: PUSH1 0x40 00001b1e: SWAP1 00001b1f: KECCAK256 00001b20: SLOAD 00001b21: PUSH1 0xff 00001b23: AND 00001b24: ISZERO 00001b25: SWAP1 00001b26: JUMP 00001b27: JUMPDEST 00001b28: PUSH1 0x00 00001b2a: DUP3 00001b2b: DUP2 00001b2c: MSTORE 00001b2d: PUSH1 0x01 00001b2f: PUSH1 0x20 00001b31: MSTORE 00001b32: PUSH1 0x40 00001b34: DUP2 00001b35: KECCAK256 00001b36: SLOAD 00001b37: PUSH1 0xc0 00001b39: PUSH1 0x02 00001b3b: EXP 00001b3c: SWAP1 00001b3d: DIV 00001b3e: PUSH8 0xffffffffffffffff 00001b47: AND 00001b48: ISZERO 00001b49: DUP1 00001b4a: ISZERO 00001b4b: PUSH2 0x1a76 00001b4e: JUMPI 00001b4f: POP 00001b50: POP 00001b51: PUSH1 0x00 00001b53: SWAP1 00001b54: DUP2 00001b55: MSTORE 00001b56: PUSH1 0x01 00001b58: PUSH1 0x20 00001b5a: MSTORE 00001b5b: PUSH1 0x40 00001b5d: SWAP1 00001b5e: KECCAK256 00001b5f: SLOAD 00001b60: PUSH1 0xc0 00001b62: PUSH1 0x02 00001b64: EXP 00001b65: SWAP1 00001b66: DIV 00001b67: PUSH8 0xffffffffffffffff 00001b70: AND 00001b71: ISZERO 00001b72: SWAP2 00001b73: SWAP1 00001b74: POP 00001b75: JUMP 00001b76: JUMPDEST 00001b77: PUSH1 0x00 00001b79: SWAP2 00001b7a: DUP3 00001b7b: MSTORE 00001b7c: PUSH1 0x01 00001b7e: PUSH1 0x20 00001b80: MSTORE 00001b81: PUSH1 0x40 00001b83: DUP1 00001b84: DUP4 00001b85: KECCAK256 00001b86: DUP1 00001b87: SLOAD 00001b88: PUSH8 0xffffffffffffffff 00001b91: PUSH2 0x012c 00001b94: TIMESTAMP 00001b95: ADD 00001b96: AND 00001b97: PUSH1 0x80 00001b99: PUSH1 0x02 00001b9b: EXP 00001b9c: MUL 00001b9d: PUSH24 0xffffffffffffffff00000000000000000000000000000000 00001bb6: NOT 00001bb7: SWAP2 00001bb8: DUP3 00001bb9: AND 00001bba: DUP2 00001bbb: OR 00001bbc: SWAP1 00001bbd: SWAP3 00001bbe: SSTORE 00001bbf: SWAP3 00001bc0: DUP5 00001bc1: MSTORE 00001bc2: SWAP3 00001bc3: KECCAK256 00001bc4: DUP1 00001bc5: SLOAD 00001bc6: SWAP1 00001bc7: SWAP2 00001bc8: AND 00001bc9: SWAP1 00001bca: SWAP2 00001bcb: OR 00001bcc: SWAP1 00001bcd: SSTORE 00001bce: JUMP 00001bcf: JUMPDEST 00001bd0: PUSH1 0x08 00001bd2: SLOAD 00001bd3: PUSH2 0x2710 00001bd6: PUSH1 0x01 00001bd8: PUSH1 0x80 00001bda: PUSH1 0x02 00001bdc: EXP 00001bdd: SUB 00001bde: SWAP1 00001bdf: SWAP2 00001be0: AND 00001be1: SWAP2 00001be2: SWAP1 00001be3: SWAP2 00001be4: MUL 00001be5: DIV 00001be6: SWAP1 00001be7: JUMP 00001be8: JUMPDEST 00001be9: PUSH1 0x60 00001beb: PUSH1 0x40 00001bed: MLOAD 00001bee: SWAP1 00001bef: DUP2 00001bf0: ADD 00001bf1: PUSH1 0x40 00001bf3: SWAP1 00001bf4: DUP2 00001bf5: MSTORE 00001bf6: PUSH1 0x00 00001bf8: DUP1 00001bf9: DUP4 00001bfa: MSTORE 00001bfb: PUSH1 0x20 00001bfd: DUP4 00001bfe: ADD 00001bff: DUP2 00001c00: SWAP1 00001c01: MSTORE 00001c02: SWAP1 00001c03: DUP3 00001c04: ADD 00001c05: MSTORE 00001c06: SWAP1 00001c07: JUMP 00001c08: STOP 00001c09: LOG1 00001c0a: PUSH6 0x627a7a723058 00001c11: KECCAK256 00001c12: PUSH2 0xd958 00001c15: DUP8 00001c16: CALLDATASIZE 00001c17: UNKNOWN(0x23) 00001c18: STATICCALL 00001c19: SLT 00001c1a: SWAP8 00001c1b: MLOAD 00001c1c: DUP10 00001c1d: UNKNOWN(0xAC) 00001c1e: DUP7 00001c1f: UNKNOWN(0xBE) 00001c20: UNKNOWN(0x0C) 00001c21: UNKNOWN(0xEC) 00001c22: DUP7 00001c23: NOT 00001c24: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4710f89939232ec402be94a30d0d64623f77eb3cc08a343367cb8739c35aa455
call_targets:
0x8e48f1fd56abd20d86bfb995f4b7ef1eb4f32d1c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4710f89939232ec402be94a30d0d64623f77eb3cc08a343367cb8739c35aa455",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8e48f1fd56abd20d86bfb995f4b7ef1eb4f32d1c"
],
"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": "0x02ce8ac9",
"selector": "0x02ce8ac9",
"calldata_variants": [
"0x02ce8ac9",
"0x02ce8ac90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x04f7a69d",
"selector": "0x04f7a69d",
"calldata_variants": [
"0x04f7a69d",
"0x04f7a69d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d258dd",
"selector": "0x05d258dd",
"calldata_variants": [
"0x05d258dd",
"0x05d258dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ca6e01",
"selector": "0x14ca6e01",
"calldata_variants": [
"0x14ca6e01",
"0x14ca6e010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e52f7b5",
"selector": "0x1e52f7b5",
"calldata_variants": [
"0x1e52f7b5",
"0x1e52f7b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2038e80a",
"selector": "0x2038e80a",
"calldata_variants": [
"0x2038e80a",
"0x2038e80a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2104fa0b",
"selector": "0x2104fa0b",
"calldata_variants": [
"0x2104fa0b",
"0x2104fa0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x278fcffa",
"selector": "0x278fcffa",
"calldata_variants": [
"0x278fcffa",
"0x278fcffa0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2015,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3028,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5750,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4710f89939232ec402be94a30d0d64623f77eb3cc08a343367cb8739c35aa455
call_targets:
0x8e48f1fd56abd20d86bfb995f4b7ef1eb4f32d1c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4710f89939232ec402be94a30d0d64623f77eb3cc08a343367cb8739c35aa455",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8e48f1fd56abd20d86bfb995f4b7ef1eb4f32d1c"
],
"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": "0x02ce8ac9",
"selector": "0x02ce8ac9",
"calldata_variants": [
"0x02ce8ac9",
"0x02ce8ac90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x04f7a69d",
"selector": "0x04f7a69d",
"calldata_variants": [
"0x04f7a69d",
"0x04f7a69d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d258dd",
"selector": "0x05d258dd",
"calldata_variants": [
"0x05d258dd",
"0x05d258dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ca6e01",
"selector": "0x14ca6e01",
"calldata_variants": [
"0x14ca6e01",
"0x14ca6e010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e52f7b5",
"selector": "0x1e52f7b5",
"calldata_variants": [
"0x1e52f7b5",
"0x1e52f7b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2038e80a",
"selector": "0x2038e80a",
"calldata_variants": [
"0x2038e80a",
"0x2038e80a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2104fa0b",
"selector": "0x2104fa0b",
"calldata_variants": [
"0x2104fa0b",
"0x2104fa0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x278fcffa",
"selector": "0x278fcffa",
"calldata_variants": [
"0x278fcffa",
"0x278fcffa0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2015,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3028,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5750,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|