019b477e-dd84-73d4-92c5-5cdc0660ee80
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 |
|---|---|---|---|---|
| 29979 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29980 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108793 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108794 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108795 | detector.run | complete | 1 / 3 | 1 week ago |
| 108796 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x02b9 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x7165485d 00000018: GT 00000019: PUSH2 0x0170 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xb3d7f6b9 00000023: GT 00000024: PUSH2 0x00d1 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xd505accf 0000002e: GT 0000002f: PUSH2 0x0087 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xf04e283e 00000039: GT 0000003a: PUSH2 0x0062 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xf04e283e 00000044: EQ 00000045: PUSH2 0x0881 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf2fde38b 0000004f: EQ 00000050: PUSH2 0x0894 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xfee81cf4 0000005a: EQ 0000005b: PUSH2 0x08a7 0000005e: JUMPI 0000005f: PUSH0 00000060: PUSH0 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0xd505accf 00000069: EQ 0000006a: PUSH2 0x0824 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0xdd62ed3e 00000074: EQ 00000075: PUSH2 0x0843 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0xe521cb92 0000007f: EQ 00000080: PUSH2 0x0862 00000083: JUMPI 00000084: PUSH0 00000085: PUSH0 00000086: REVERT 00000087: JUMPDEST 00000088: DUP1 00000089: PUSH4 0xca5c7b91 0000008e: GT 0000008f: PUSH2 0x00b7 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xca5c7b91 00000099: EQ 0000009a: PUSH2 0x07cc 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0xcd3293de 000000a4: EQ 000000a5: PUSH2 0x07f1 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0xcf7ce1bb 000000af: EQ 000000b0: PUSH2 0x0805 000000b3: JUMPI 000000b4: PUSH0 000000b5: PUSH0 000000b6: REVERT 000000b7: JUMPDEST 000000b8: DUP1 000000b9: PUSH4 0xb3d7f6b9 000000be: EQ 000000bf: PUSH2 0x0798 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xbe378228 000000c9: EQ 000000ca: PUSH2 0x07b7 000000cd: JUMPI 000000ce: PUSH0 000000cf: PUSH0 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x94bf804d 000000d8: GT 000000d9: PUSH2 0x0126 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x9f40a7b3 000000e3: GT 000000e4: PUSH2 0x010c 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x9f40a7b3 000000ee: EQ 000000ef: PUSH2 0x0747 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0xa8c62e76 000000f9: EQ 000000fa: PUSH2 0x075a 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0xa9059cbb 00000104: EQ 00000105: PUSH2 0x0779 00000108: JUMPI 00000109: PUSH0 0000010a: PUSH0 0000010b: REVERT 0000010c: JUMPDEST 0000010d: DUP1 0000010e: PUSH4 0x94bf804d 00000113: EQ 00000114: PUSH2 0x06ef 00000117: JUMPI 00000118: DUP1 00000119: PUSH4 0x95d89b41 0000011e: EQ 0000011f: PUSH2 0x0702 00000122: JUMPI 00000123: PUSH0 00000124: PUSH0 00000125: REVERT 00000126: JUMPDEST 00000127: DUP1 00000128: PUSH4 0x8456cb59 0000012d: GT 0000012e: PUSH2 0x0156 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0x8456cb59 00000138: EQ 00000139: PUSH2 0x06af 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0x8da5cb5b 00000143: EQ 00000144: PUSH2 0x06c3 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0x8fc47093 0000014e: EQ 0000014f: PUSH2 0x06db 00000152: JUMPI 00000153: PUSH0 00000154: PUSH0 00000155: REVERT 00000156: JUMPDEST 00000157: DUP1 00000158: PUSH4 0x7165485d 0000015d: EQ 0000015e: PUSH2 0x05fd 00000161: JUMPI 00000162: DUP1 00000163: PUSH4 0x7ecebe00 00000168: EQ 00000169: PUSH2 0x067e 0000016c: JUMPI 0000016d: PUSH0 0000016e: PUSH0 0000016f: REVERT 00000170: JUMPDEST 00000171: DUP1 00000172: PUSH4 0x3644e515 00000177: GT 00000178: PUSH2 0x021a 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x5c975abb 00000182: GT 00000183: PUSH2 0x01d0 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x66dfbfb4 0000018d: GT 0000018e: PUSH2 0x01b6 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x66dfbfb4 00000198: EQ 00000199: PUSH2 0x05a5 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0x70a08231 000001a3: EQ 000001a4: PUSH2 0x05c4 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0x715018a6 000001ae: EQ 000001af: PUSH2 0x05f5 000001b2: JUMPI 000001b3: PUSH0 000001b4: PUSH0 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH4 0x5c975abb 000001bd: EQ 000001be: PUSH2 0x056e 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x64df049e 000001c8: EQ 000001c9: PUSH2 0x0586 000001cc: JUMPI 000001cd: PUSH0 000001ce: PUSH0 000001cf: REVERT 000001d0: JUMPDEST 000001d1: DUP1 000001d2: PUSH4 0x4cdad506 000001d7: GT 000001d8: PUSH2 0x0200 000001db: JUMPI 000001dc: DUP1 000001dd: PUSH4 0x4cdad506 000001e2: EQ 000001e3: PUSH2 0x051a 000001e6: JUMPI 000001e7: DUP1 000001e8: PUSH4 0x4e6fd6c4 000001ed: EQ 000001ee: PUSH2 0x0539 000001f1: JUMPI 000001f2: DUP1 000001f3: PUSH4 0x54d1f13d 000001f8: EQ 000001f9: PUSH2 0x0566 000001fc: JUMPI 000001fd: PUSH0 000001fe: PUSH0 000001ff: REVERT 00000200: JUMPDEST 00000201: DUP1 00000202: PUSH4 0x3644e515 00000207: EQ 00000208: PUSH2 0x043c 0000020b: JUMPI 0000020c: DUP1 0000020d: PUSH4 0x3f4ba83a 00000212: EQ 00000213: PUSH2 0x0506 00000216: JUMPI 00000217: PUSH0 00000218: PUSH0 00000219: REVERT 0000021a: JUMPDEST 0000021b: DUP1 0000021c: PUSH4 0x25692962 00000221: GT 00000222: PUSH2 0x026f 00000225: JUMPI 00000226: DUP1 00000227: PUSH4 0x313ce567 0000022c: GT 0000022d: PUSH2 0x0255 00000230: JUMPI 00000231: DUP1 00000232: PUSH4 0x313ce567 00000237: EQ 00000238: PUSH2 0x03e4 0000023b: JUMPI 0000023c: DUP1 0000023d: PUSH4 0x32cb6b0c 00000242: EQ 00000243: PUSH2 0x03ff 00000246: JUMPI 00000247: DUP1 00000248: PUSH4 0x33a100ca 0000024d: EQ 0000024e: PUSH2 0x041d 00000251: JUMPI 00000252: PUSH0 00000253: PUSH0 00000254: REVERT 00000255: JUMPDEST 00000256: DUP1 00000257: PUSH4 0x25692962 0000025c: EQ 0000025d: PUSH2 0x03a7 00000260: JUMPI 00000261: DUP1 00000262: PUSH4 0x2d11c58a 00000267: EQ 00000268: PUSH2 0x03b1 0000026b: JUMPI 0000026c: PUSH0 0000026d: PUSH0 0000026e: REVERT 0000026f: JUMPDEST 00000270: DUP1 00000271: PUSH4 0x13888565 00000276: GT 00000277: PUSH2 0x029f 0000027a: JUMPI 0000027b: DUP1 0000027c: PUSH4 0x13888565 00000281: EQ 00000282: PUSH2 0x034a 00000285: JUMPI 00000286: DUP1 00000287: PUSH4 0x18160ddd 0000028c: EQ 0000028d: PUSH2 0x036c 00000290: JUMPI 00000291: DUP1 00000292: PUSH4 0x23b872dd 00000297: EQ 00000298: PUSH2 0x0388 0000029b: JUMPI 0000029c: PUSH0 0000029d: PUSH0 0000029e: REVERT 0000029f: JUMPDEST 000002a0: DUP1 000002a1: PUSH4 0x06fdde03 000002a6: EQ 000002a7: PUSH2 0x02c4 000002aa: JUMPI 000002ab: DUP1 000002ac: PUSH4 0x095ea7b3 000002b1: EQ 000002b2: PUSH2 0x031b 000002b5: JUMPI 000002b6: PUSH0 000002b7: PUSH0 000002b8: REVERT 000002b9: JUMPDEST 000002ba: CALLDATASIZE 000002bb: PUSH2 0x02c0 000002be: JUMPI 000002bf: STOP 000002c0: JUMPDEST 000002c1: PUSH0 000002c2: PUSH0 000002c3: REVERT 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02cf 000002cb: JUMPI 000002cc: PUSH0 000002cd: PUSH0 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH1 0x40 000002d3: DUP1 000002d4: MLOAD 000002d5: DUP1 000002d6: DUP3 000002d7: ADD 000002d8: SWAP1 000002d9: SWAP2 000002da: MSTORE 000002db: PUSH1 0x1b 000002dd: DUP2 000002de: MSTORE 000002df: PUSH32 0x50756e6b2041756374696f6e20537472617465677920546f6b656e0000000000 00000300: PUSH1 0x20 00000302: DUP3 00000303: ADD 00000304: MSTORE 00000305: JUMPDEST 00000306: PUSH1 0x40 00000308: MLOAD 00000309: PUSH2 0x0312 0000030c: SWAP2 0000030d: SWAP1 0000030e: PUSH2 0x1b5a 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: MLOAD 00000316: DUP1 00000317: SWAP2 00000318: SUB 00000319: SWAP1 0000031a: RETURN 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0326 00000322: JUMPI 00000323: PUSH0 00000324: PUSH0 00000325: REVERT 00000326: JUMPDEST 00000327: POP 00000328: PUSH2 0x033a 0000032b: PUSH2 0x0335 0000032e: CALLDATASIZE 0000032f: PUSH1 0x04 00000331: PUSH2 0x1baa 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH2 0x08d8 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: SWAP1 0000033f: ISZERO 00000340: ISZERO 00000341: DUP2 00000342: MSTORE 00000343: PUSH1 0x20 00000345: ADD 00000346: PUSH2 0x0312 00000349: JUMP 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0355 00000351: JUMPI 00000352: PUSH0 00000353: PUSH0 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x035e 0000035a: PUSH2 0x0958 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH1 0x40 00000361: MLOAD 00000362: SWAP1 00000363: DUP2 00000364: MSTORE 00000365: PUSH1 0x20 00000367: ADD 00000368: PUSH2 0x0312 0000036b: JUMP 0000036c: JUMPDEST 0000036d: CALLVALUE 0000036e: DUP1 0000036f: ISZERO 00000370: PUSH2 0x0377 00000373: JUMPI 00000374: PUSH0 00000375: PUSH0 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: PUSH9 0x05345cdf77eb68f44c 00000383: SLOAD 00000384: PUSH2 0x035e 00000387: JUMP 00000388: JUMPDEST 00000389: CALLVALUE 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0393 0000038f: JUMPI 00000390: PUSH0 00000391: PUSH0 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x033a 00000398: PUSH2 0x03a2 0000039b: CALLDATASIZE 0000039c: PUSH1 0x04 0000039e: PUSH2 0x1bd2 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH2 0x0a0e 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH2 0x03af 000003ab: PUSH2 0x0add 000003ae: JUMP 000003af: JUMPDEST 000003b0: STOP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bc 000003b8: JUMPI 000003b9: PUSH0 000003ba: PUSH0 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH2 0x03cc 000003c1: PUSH8 0x016345785d8a0000 000003ca: DUP2 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: PUSH1 0x01 000003d2: PUSH1 0x01 000003d4: PUSH1 0x80 000003d6: SHL 000003d7: SUB 000003d8: SWAP1 000003d9: SWAP2 000003da: AND 000003db: DUP2 000003dc: MSTORE 000003dd: PUSH1 0x20 000003df: ADD 000003e0: PUSH2 0x0312 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03ef 000003eb: JUMPI 000003ec: PUSH0 000003ed: PUSH0 000003ee: REVERT 000003ef: JUMPDEST 000003f0: POP 000003f1: PUSH1 0x40 000003f3: MLOAD 000003f4: PUSH1 0x12 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x20 000003fa: ADD 000003fb: PUSH2 0x0312 000003fe: JUMP 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040a 00000406: JUMPI 00000407: PUSH0 00000408: PUSH0 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x035e 0000040f: PUSH11 0x115eec47f6cf7e35000000 0000041b: DUP2 0000041c: JUMP 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: DUP1 00000420: ISZERO 00000421: PUSH2 0x0428 00000424: JUMPI 00000425: PUSH0 00000426: PUSH0 00000427: REVERT 00000428: JUMPDEST 00000429: POP 0000042a: PUSH2 0x03af 0000042d: PUSH2 0x0437 00000430: CALLDATASIZE 00000431: PUSH1 0x04 00000433: PUSH2 0x1c0c 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH2 0x0b2a 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0447 00000443: JUMPI 00000444: PUSH0 00000445: PUSH0 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: PUSH1 0x40 0000044b: DUP1 0000044c: MLOAD 0000044d: DUP1 0000044e: DUP3 0000044f: ADD 00000450: DUP3 00000451: MSTORE 00000452: PUSH1 0x1b 00000454: DUP2 00000455: MSTORE 00000456: PUSH32 0x50756e6b2041756374696f6e20537472617465677920546f6b656e0000000000 00000477: PUSH1 0x20 00000479: SWAP2 0000047a: DUP3 0000047b: ADD 0000047c: MSTORE 0000047d: DUP2 0000047e: MLOAD 0000047f: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH32 0x8d0cc87bd19c6bbd9646ec05ff02d054dd9ec26b29b96228f6d79ff07ac8339b 000004c3: SWAP2 000004c4: DUP2 000004c5: ADD 000004c6: SWAP2 000004c7: SWAP1 000004c8: SWAP2 000004c9: MSTORE 000004ca: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 000004eb: SWAP2 000004ec: DUP2 000004ed: ADD 000004ee: SWAP2 000004ef: SWAP1 000004f0: SWAP2 000004f1: MSTORE 000004f2: CHAINID 000004f3: PUSH1 0x60 000004f5: DUP3 000004f6: ADD 000004f7: MSTORE 000004f8: ADDRESS 000004f9: PUSH1 0x80 000004fb: DUP3 000004fc: ADD 000004fd: MSTORE 000004fe: PUSH1 0xa0 00000500: SWAP1 00000501: KECCAK256 00000502: PUSH2 0x035e 00000505: JUMP 00000506: JUMPDEST 00000507: CALLVALUE 00000508: DUP1 00000509: ISZERO 0000050a: PUSH2 0x0511 0000050d: JUMPI 0000050e: PUSH0 0000050f: PUSH0 00000510: REVERT 00000511: JUMPDEST 00000512: POP 00000513: PUSH2 0x03af 00000516: PUSH2 0x0b88 00000519: JUMP 0000051a: JUMPDEST 0000051b: CALLVALUE 0000051c: DUP1 0000051d: ISZERO 0000051e: PUSH2 0x0525 00000521: JUMPI 00000522: PUSH0 00000523: PUSH0 00000524: REVERT 00000525: JUMPDEST 00000526: POP 00000527: PUSH2 0x035e 0000052a: PUSH2 0x0534 0000052d: CALLDATASIZE 0000052e: PUSH1 0x04 00000530: PUSH2 0x1c25 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH2 0x0bcf 00000538: JUMP 00000539: JUMPDEST 0000053a: CALLVALUE 0000053b: DUP1 0000053c: ISZERO 0000053d: PUSH2 0x0544 00000540: JUMPI 00000541: PUSH0 00000542: PUSH0 00000543: REVERT 00000544: JUMPDEST 00000545: POP 00000546: PUSH2 0x054e 00000549: PUSH2 0xdead 0000054c: DUP2 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x40 00000551: MLOAD 00000552: PUSH1 0x01 00000554: PUSH1 0x01 00000556: PUSH1 0xa0 00000558: SHL 00000559: SUB 0000055a: SWAP1 0000055b: SWAP2 0000055c: AND 0000055d: DUP2 0000055e: MSTORE 0000055f: PUSH1 0x20 00000561: ADD 00000562: PUSH2 0x0312 00000565: JUMP 00000566: JUMPDEST 00000567: PUSH2 0x03af 0000056a: PUSH2 0x0bea 0000056d: JUMP 0000056e: JUMPDEST 0000056f: CALLVALUE 00000570: DUP1 00000571: ISZERO 00000572: PUSH2 0x0579 00000575: JUMPI 00000576: PUSH0 00000577: PUSH0 00000578: REVERT 00000579: JUMPDEST 0000057a: POP 0000057b: PUSH0 0000057c: SLOAD 0000057d: PUSH2 0x033a 00000580: SWAP1 00000581: PUSH1 0xff 00000583: AND 00000584: DUP2 00000585: JUMP 00000586: JUMPDEST 00000587: CALLVALUE 00000588: DUP1 00000589: ISZERO 0000058a: PUSH2 0x0591 0000058d: JUMPI 0000058e: PUSH0 0000058f: PUSH0 00000590: REVERT 00000591: JUMPDEST 00000592: POP 00000593: PUSH1 0x03 00000595: SLOAD 00000596: PUSH2 0x054e 00000599: SWAP1 0000059a: PUSH1 0x01 0000059c: PUSH1 0x01 0000059e: PUSH1 0xa0 000005a0: SHL 000005a1: SUB 000005a2: AND 000005a3: DUP2 000005a4: JUMP 000005a5: JUMPDEST 000005a6: CALLVALUE 000005a7: DUP1 000005a8: ISZERO 000005a9: PUSH2 0x05b0 000005ac: JUMPI 000005ad: PUSH0 000005ae: PUSH0 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: PUSH2 0x03af 000005b5: PUSH2 0x05bf 000005b8: CALLDATASIZE 000005b9: PUSH1 0x04 000005bb: PUSH2 0x1c3c 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH2 0x0c23 000005c3: JUMP 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05cf 000005cb: JUMPI 000005cc: PUSH0 000005cd: PUSH0 000005ce: REVERT 000005cf: JUMPDEST 000005d0: POP 000005d1: PUSH2 0x035e 000005d4: PUSH2 0x05de 000005d7: CALLDATASIZE 000005d8: PUSH1 0x04 000005da: PUSH2 0x1c0c 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH4 0x87a211a2 000005e4: PUSH1 0x0c 000005e6: SWAP1 000005e7: DUP2 000005e8: MSTORE 000005e9: PUSH0 000005ea: SWAP2 000005eb: SWAP1 000005ec: SWAP2 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: SWAP1 000005f1: KECCAK256 000005f2: SLOAD 000005f3: SWAP1 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH2 0x03af 000005f9: PUSH2 0x0cd8 000005fc: JUMP 000005fd: JUMPDEST 000005fe: CALLVALUE 000005ff: DUP1 00000600: ISZERO 00000601: PUSH2 0x0608 00000604: JUMPI 00000605: PUSH0 00000606: PUSH0 00000607: REVERT 00000608: JUMPDEST 00000609: POP 0000060a: PUSH1 0x40 0000060c: DUP1 0000060d: MLOAD 0000060e: DUP1 0000060f: DUP3 00000610: ADD 00000611: SWAP1 00000612: SWAP2 00000613: MSTORE 00000614: PUSH1 0x01 00000616: SLOAD 00000617: PUSH1 0x01 00000619: PUSH1 0x01 0000061b: PUSH1 0x80 0000061d: SHL 0000061e: SUB 0000061f: DUP1 00000620: DUP3 00000621: AND 00000622: DUP4 00000623: MSTORE 00000624: PUSH1 0x01 00000626: PUSH1 0x80 00000628: SHL 00000629: SWAP2 0000062a: DUP3 0000062b: SWAP1 0000062c: DIV 0000062d: DUP2 0000062e: AND 0000062f: PUSH1 0x20 00000631: DUP5 00000632: ADD 00000633: MSTORE 00000634: PUSH1 0x02 00000636: SLOAD 00000637: PUSH2 0x0645 0000063a: SWAP4 0000063b: SWAP3 0000063c: DUP2 0000063d: DUP4 0000063e: AND 0000063f: SWAP3 00000640: SWAP2 00000641: DIV 00000642: AND 00000643: DUP4 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x40 00000648: DUP1 00000649: MLOAD 0000064a: DUP5 0000064b: MLOAD 0000064c: PUSH1 0x01 0000064e: PUSH1 0x01 00000650: PUSH1 0x80 00000652: SHL 00000653: SUB 00000654: SWAP1 00000655: DUP2 00000656: AND 00000657: DUP3 00000658: MSTORE 00000659: PUSH1 0x20 0000065b: SWAP6 0000065c: DUP7 0000065d: ADD 0000065e: MLOAD 0000065f: DUP2 00000660: AND 00000661: SWAP6 00000662: DUP3 00000663: ADD 00000664: SWAP6 00000665: SWAP1 00000666: SWAP6 00000667: MSTORE 00000668: SWAP3 00000669: DUP5 0000066a: AND 0000066b: SWAP1 0000066c: DUP4 0000066d: ADD 0000066e: MSTORE 0000066f: SWAP1 00000670: SWAP2 00000671: AND 00000672: PUSH1 0x60 00000674: DUP3 00000675: ADD 00000676: MSTORE 00000677: PUSH1 0x80 00000679: ADD 0000067a: PUSH2 0x0312 0000067d: JUMP 0000067e: JUMPDEST 0000067f: CALLVALUE 00000680: DUP1 00000681: ISZERO 00000682: PUSH2 0x0689 00000685: JUMPI 00000686: PUSH0 00000687: PUSH0 00000688: REVERT 00000689: JUMPDEST 0000068a: POP 0000068b: PUSH2 0x035e 0000068e: PUSH2 0x0698 00000691: CALLDATASIZE 00000692: PUSH1 0x04 00000694: PUSH2 0x1c0c 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH4 0x38377508 0000069e: PUSH1 0x0c 000006a0: SWAP1 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH0 000006a4: SWAP2 000006a5: SWAP1 000006a6: SWAP2 000006a7: MSTORE 000006a8: PUSH1 0x20 000006aa: SWAP1 000006ab: KECCAK256 000006ac: SLOAD 000006ad: SWAP1 000006ae: JUMP 000006af: JUMPDEST 000006b0: CALLVALUE 000006b1: DUP1 000006b2: ISZERO 000006b3: PUSH2 0x06ba 000006b6: JUMPI 000006b7: PUSH0 000006b8: PUSH0 000006b9: REVERT 000006ba: JUMPDEST 000006bb: POP 000006bc: PUSH2 0x03af 000006bf: PUSH2 0x0ceb 000006c2: JUMP 000006c3: JUMPDEST 000006c4: CALLVALUE 000006c5: DUP1 000006c6: ISZERO 000006c7: PUSH2 0x06ce 000006ca: JUMPI 000006cb: PUSH0 000006cc: PUSH0 000006cd: REVERT 000006ce: JUMPDEST 000006cf: POP 000006d0: PUSH4 0x8b78c6d8 000006d5: NOT 000006d6: SLOAD 000006d7: PUSH2 0x054e 000006da: JUMP 000006db: JUMPDEST 000006dc: CALLVALUE 000006dd: DUP1 000006de: ISZERO 000006df: PUSH2 0x06e6 000006e2: JUMPI 000006e3: PUSH0 000006e4: PUSH0 000006e5: REVERT 000006e6: JUMPDEST 000006e7: POP 000006e8: PUSH2 0x035e 000006eb: PUSH2 0x0d36 000006ee: JUMP 000006ef: JUMPDEST 000006f0: PUSH2 0x03af 000006f3: PUSH2 0x06fd 000006f6: CALLDATASIZE 000006f7: PUSH1 0x04 000006f9: PUSH2 0x1c3c 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH2 0x0d6b 00000701: JUMP 00000702: JUMPDEST 00000703: CALLVALUE 00000704: DUP1 00000705: ISZERO 00000706: PUSH2 0x070d 00000709: JUMPI 0000070a: PUSH0 0000070b: PUSH0 0000070c: REVERT 0000070d: JUMPDEST 0000070e: POP 0000070f: PUSH1 0x40 00000711: DUP1 00000712: MLOAD 00000713: DUP1 00000714: DUP3 00000715: ADD 00000716: SWAP1 00000717: SWAP2 00000718: MSTORE 00000719: PUSH1 0x04 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH32 0x5041535400000000000000000000000000000000000000000000000000000000 0000073e: PUSH1 0x20 00000740: DUP3 00000741: ADD 00000742: MSTORE 00000743: PUSH2 0x0305 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH2 0x03af 0000074b: PUSH2 0x0755 0000074e: CALLDATASIZE 0000074f: PUSH1 0x04 00000751: PUSH2 0x1c66 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH2 0x0f0c 00000759: JUMP 0000075a: JUMPDEST 0000075b: CALLVALUE 0000075c: DUP1 0000075d: ISZERO 0000075e: PUSH2 0x0765 00000761: JUMPI 00000762: PUSH0 00000763: PUSH0 00000764: REVERT 00000765: JUMPDEST 00000766: POP 00000767: PUSH1 0x04 00000769: SLOAD 0000076a: PUSH2 0x054e 0000076d: SWAP1 0000076e: PUSH1 0x01 00000770: PUSH1 0x01 00000772: PUSH1 0xa0 00000774: SHL 00000775: SUB 00000776: AND 00000777: DUP2 00000778: JUMP 00000779: JUMPDEST 0000077a: CALLVALUE 0000077b: DUP1 0000077c: ISZERO 0000077d: PUSH2 0x0784 00000780: JUMPI 00000781: PUSH0 00000782: PUSH0 00000783: REVERT 00000784: JUMPDEST 00000785: POP 00000786: PUSH2 0x033a 00000789: PUSH2 0x0793 0000078c: CALLDATASIZE 0000078d: PUSH1 0x04 0000078f: PUSH2 0x1baa 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH2 0x1043 00000797: JUMP 00000798: JUMPDEST 00000799: CALLVALUE 0000079a: DUP1 0000079b: ISZERO 0000079c: PUSH2 0x07a3 0000079f: JUMPI 000007a0: PUSH0 000007a1: PUSH0 000007a2: REVERT 000007a3: JUMPDEST 000007a4: POP 000007a5: PUSH2 0x035e 000007a8: PUSH2 0x07b2 000007ab: CALLDATASIZE 000007ac: PUSH1 0x04 000007ae: PUSH2 0x1c25 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH2 0x10ba 000007b6: JUMP 000007b7: JUMPDEST 000007b8: CALLVALUE 000007b9: DUP1 000007ba: ISZERO 000007bb: PUSH2 0x07c2 000007be: JUMPI 000007bf: PUSH0 000007c0: PUSH0 000007c1: REVERT 000007c2: JUMPDEST 000007c3: POP 000007c4: PUSH2 0x035e 000007c7: PUSH2 0x07d0 000007ca: DUP2 000007cb: JUMP 000007cc: JUMPDEST 000007cd: CALLVALUE 000007ce: DUP1 000007cf: ISZERO 000007d0: PUSH2 0x07d7 000007d3: JUMPI 000007d4: PUSH0 000007d5: PUSH0 000007d6: REVERT 000007d7: JUMPDEST 000007d8: POP 000007d9: PUSH4 0x87a211a2 000007de: PUSH1 0x0c 000007e0: SWAP1 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH2 0xdead 000007e6: PUSH0 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: SWAP1 000007eb: KECCAK256 000007ec: SLOAD 000007ed: PUSH2 0x035e 000007f0: JUMP 000007f1: JUMPDEST 000007f2: CALLVALUE 000007f3: DUP1 000007f4: ISZERO 000007f5: PUSH2 0x07fc 000007f8: JUMPI 000007f9: PUSH0 000007fa: PUSH0 000007fb: REVERT 000007fc: JUMPDEST 000007fd: POP 000007fe: PUSH2 0x035e 00000801: PUSH2 0x10d5 00000804: JUMP 00000805: JUMPDEST 00000806: CALLVALUE 00000807: DUP1 00000808: ISZERO 00000809: PUSH2 0x0810 0000080c: JUMPI 0000080d: PUSH0 0000080e: PUSH0 0000080f: REVERT 00000810: JUMPDEST 00000811: POP 00000812: PUSH2 0x03af 00000815: PUSH2 0x081f 00000818: CALLDATASIZE 00000819: PUSH1 0x04 0000081b: PUSH2 0x1c25 0000081e: JUMP 0000081f: JUMPDEST 00000820: PUSH2 0x10f7 00000823: JUMP 00000824: JUMPDEST 00000825: CALLVALUE 00000826: DUP1 00000827: ISZERO 00000828: PUSH2 0x082f 0000082b: JUMPI 0000082c: PUSH0 0000082d: PUSH0 0000082e: REVERT 0000082f: JUMPDEST 00000830: POP 00000831: PUSH2 0x03af 00000834: PUSH2 0x083e 00000837: CALLDATASIZE 00000838: PUSH1 0x04 0000083a: PUSH2 0x1ca7 0000083d: JUMP 0000083e: JUMPDEST 0000083f: PUSH2 0x1203 00000842: JUMP 00000843: JUMPDEST 00000844: CALLVALUE 00000845: DUP1 00000846: ISZERO 00000847: PUSH2 0x084e 0000084a: JUMPI 0000084b: PUSH0 0000084c: PUSH0 0000084d: REVERT 0000084e: JUMPDEST 0000084f: POP 00000850: PUSH2 0x035e 00000853: PUSH2 0x085d 00000856: CALLDATASIZE 00000857: PUSH1 0x04 00000859: PUSH2 0x1d14 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH2 0x140c 00000861: JUMP 00000862: JUMPDEST 00000863: CALLVALUE 00000864: DUP1 00000865: ISZERO 00000866: PUSH2 0x086d 00000869: JUMPI 0000086a: PUSH0 0000086b: PUSH0 0000086c: REVERT 0000086d: JUMPDEST 0000086e: POP 0000086f: PUSH2 0x03af 00000872: PUSH2 0x087c 00000875: CALLDATASIZE 00000876: PUSH1 0x04 00000878: PUSH2 0x1c0c 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH2 0x1450 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH2 0x03af 00000885: PUSH2 0x088f 00000888: CALLDATASIZE 00000889: PUSH1 0x04 0000088b: PUSH2 0x1c0c 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH2 0x1487 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH2 0x03af 00000898: PUSH2 0x08a2 0000089b: CALLDATASIZE 0000089c: PUSH1 0x04 0000089e: PUSH2 0x1c0c 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH2 0x14c4 000008a6: JUMP 000008a7: JUMPDEST 000008a8: CALLVALUE 000008a9: DUP1 000008aa: ISZERO 000008ab: PUSH2 0x08b2 000008ae: JUMPI 000008af: PUSH0 000008b0: PUSH0 000008b1: REVERT 000008b2: JUMPDEST 000008b3: POP 000008b4: PUSH2 0x035e 000008b7: PUSH2 0x08c1 000008ba: CALLDATASIZE 000008bb: PUSH1 0x04 000008bd: PUSH2 0x1c0c 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH4 0x389a75e1 000008c7: PUSH1 0x0c 000008c9: SWAP1 000008ca: DUP2 000008cb: MSTORE 000008cc: PUSH0 000008cd: SWAP2 000008ce: SWAP1 000008cf: SWAP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: SWAP1 000008d4: KECCAK256 000008d5: SLOAD 000008d6: SWAP1 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH0 000008da: PUSH1 0x01 000008dc: PUSH1 0x01 000008de: PUSH1 0xa0 000008e0: SHL 000008e1: SUB 000008e2: DUP4 000008e3: AND 000008e4: PUSH15 0x22d473030f116ddee9f6b43ac78ba3 000008f4: XOR 000008f5: DUP3 000008f6: NOT 000008f7: ISZERO 000008f8: OR 000008f9: PUSH2 0x0909 000008fc: JUMPI 000008fd: PUSH4 0x3f68539a 00000902: PUSH0 00000903: MSTORE 00000904: PUSH1 0x04 00000906: PUSH1 0x1c 00000908: REVERT 00000909: JUMPDEST 0000090a: DUP3 0000090b: PUSH1 0x20 0000090d: MSTORE 0000090e: PUSH4 0x7f5e9f20 00000913: PUSH1 0x0c 00000915: MSTORE 00000916: CALLER 00000917: PUSH0 00000918: MSTORE 00000919: DUP2 0000091a: PUSH1 0x34 0000091c: PUSH1 0x0c 0000091e: KECCAK256 0000091f: SSTORE 00000920: DUP2 00000921: PUSH0 00000922: MSTORE 00000923: PUSH1 0x2c 00000925: MLOAD 00000926: PUSH1 0x60 00000928: SHR 00000929: CALLER 0000092a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 0000094b: PUSH1 0x20 0000094d: PUSH0 0000094e: LOG3 0000094f: POP 00000950: PUSH1 0x01 00000952: JUMPDEST 00000953: SWAP3 00000954: SWAP2 00000955: POP 00000956: POP 00000957: JUMP 00000958: JUMPDEST 00000959: PUSH0 0000095a: SELFBALANCE 0000095b: DUP2 0000095c: PUSH2 0x096c 0000095f: PUSH9 0x05345cdf77eb68f44c 00000969: SLOAD 0000096a: SWAP1 0000096b: JUMP 0000096c: JUMPDEST 0000096d: SWAP1 0000096e: POP 0000096f: PUSH0 00000970: PUSH2 0x0977 00000973: PUSH2 0x0d36 00000976: JUMP 00000977: JUMPDEST 00000978: SWAP1 00000979: POP 0000097a: PUSH0 0000097b: PUSH2 0x0984 0000097e: DUP4 0000097f: DUP4 00000980: PUSH2 0x14ea 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH1 0x40 00000987: DUP1 00000988: MLOAD 00000989: DUP1 0000098a: DUP3 0000098b: ADD 0000098c: SWAP1 0000098d: SWAP2 0000098e: MSTORE 0000098f: PUSH1 0x01 00000991: SLOAD 00000992: PUSH1 0x01 00000994: PUSH1 0x01 00000996: PUSH1 0x80 00000998: SHL 00000999: SUB 0000099a: DUP1 0000099b: DUP3 0000099c: AND 0000099d: DUP4 0000099e: MSTORE 0000099f: PUSH1 0x01 000009a1: PUSH1 0x80 000009a3: SHL 000009a4: SWAP1 000009a5: SWAP2 000009a6: DIV 000009a7: AND 000009a8: PUSH1 0x20 000009aa: DUP3 000009ab: ADD 000009ac: MSTORE 000009ad: SWAP1 000009ae: SWAP2 000009af: POP 000009b0: PUSH0 000009b1: SWAP1 000009b2: PUSH2 0x09bc 000009b5: SWAP1 000009b6: DUP6 000009b7: DUP6 000009b8: PUSH2 0x1595 000009bb: JUMP 000009bc: JUMPDEST 000009bd: SWAP1 000009be: POP 000009bf: PUSH0 000009c0: PUSH2 0x2710 000009c3: PUSH2 0x09ce 000009c6: PUSH2 0x07d0 000009c9: DUP3 000009ca: PUSH2 0x1d50 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH2 0x09d8 000009d2: DUP6 000009d3: DUP6 000009d4: PUSH2 0x1d50 000009d7: JUMP 000009d8: JUMPDEST 000009d9: PUSH2 0x09e2 000009dc: SWAP2 000009dd: SWAP1 000009de: PUSH2 0x1d63 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH2 0x09ec 000009e6: SWAP2 000009e7: SWAP1 000009e8: PUSH2 0x1d7a 000009eb: JUMP 000009ec: JUMPDEST 000009ed: SWAP1 000009ee: POP 000009ef: DUP1 000009f0: PUSH2 0x09f9 000009f3: DUP5 000009f4: DUP9 000009f5: PUSH2 0x1d50 000009f8: JUMP 000009f9: JUMPDEST 000009fa: PUSH2 0x0a03 000009fd: SWAP2 000009fe: SWAP1 000009ff: PUSH2 0x1d50 00000a02: JUMP 00000a03: JUMPDEST 00000a04: SWAP7 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: POP 00000a0a: POP 00000a0b: POP 00000a0c: SWAP1 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH0 00000a10: DUP4 00000a11: PUSH1 0x60 00000a13: SHL 00000a14: PUSH15 0x22d473030f116ddee9f6b43ac78ba3 00000a24: CALLER 00000a25: EQ 00000a26: PUSH2 0x0a63 00000a29: JUMPI 00000a2a: CALLER 00000a2b: PUSH1 0x20 00000a2d: MSTORE 00000a2e: PUSH4 0x7f5e9f20 00000a33: DUP2 00000a34: OR 00000a35: PUSH1 0x0c 00000a37: MSTORE 00000a38: PUSH1 0x34 00000a3a: PUSH1 0x0c 00000a3c: KECCAK256 00000a3d: DUP1 00000a3e: SLOAD 00000a3f: DUP1 00000a40: NOT 00000a41: ISZERO 00000a42: PUSH2 0x0a60 00000a45: JUMPI 00000a46: DUP1 00000a47: DUP6 00000a48: GT 00000a49: ISZERO 00000a4a: PUSH2 0x0a5a 00000a4d: JUMPI 00000a4e: PUSH4 0x13be252b 00000a53: PUSH0 00000a54: MSTORE 00000a55: PUSH1 0x04 00000a57: PUSH1 0x1c 00000a59: REVERT 00000a5a: JUMPDEST 00000a5b: DUP5 00000a5c: DUP2 00000a5d: SUB 00000a5e: DUP3 00000a5f: SSTORE 00000a60: JUMPDEST 00000a61: POP 00000a62: POP 00000a63: JUMPDEST 00000a64: PUSH4 0x87a211a2 00000a69: DUP2 00000a6a: OR 00000a6b: PUSH1 0x0c 00000a6d: MSTORE 00000a6e: PUSH1 0x20 00000a70: PUSH1 0x0c 00000a72: KECCAK256 00000a73: DUP1 00000a74: SLOAD 00000a75: DUP1 00000a76: DUP6 00000a77: GT 00000a78: ISZERO 00000a79: PUSH2 0x0a89 00000a7c: JUMPI 00000a7d: PUSH4 0xf4d678b8 00000a82: PUSH0 00000a83: MSTORE 00000a84: PUSH1 0x04 00000a86: PUSH1 0x1c 00000a88: REVERT 00000a89: JUMPDEST 00000a8a: DUP5 00000a8b: DUP2 00000a8c: SUB 00000a8d: DUP3 00000a8e: SSTORE 00000a8f: POP 00000a90: POP 00000a91: DUP4 00000a92: PUSH0 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: PUSH1 0x0c 00000a98: KECCAK256 00000a99: DUP4 00000a9a: DUP2 00000a9b: SLOAD 00000a9c: ADD 00000a9d: DUP2 00000a9e: SSTORE 00000a9f: POP 00000aa0: DUP3 00000aa1: PUSH1 0x20 00000aa3: MSTORE 00000aa4: PUSH1 0x0c 00000aa6: MLOAD 00000aa7: PUSH1 0x60 00000aa9: SHR 00000aaa: DUP2 00000aab: PUSH1 0x60 00000aad: SHR 00000aae: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000acf: PUSH1 0x20 00000ad1: DUP1 00000ad2: LOG3 00000ad3: POP 00000ad4: POP 00000ad5: PUSH1 0x01 00000ad7: SWAP4 00000ad8: SWAP3 00000ad9: POP 00000ada: POP 00000adb: POP 00000adc: JUMP 00000add: JUMPDEST 00000ade: PUSH0 00000adf: PUSH3 0x02a300 00000ae3: PUSH8 0xffffffffffffffff 00000aec: AND 00000aed: TIMESTAMP 00000aee: ADD 00000aef: SWAP1 00000af0: POP 00000af1: PUSH4 0x389a75e1 00000af6: PUSH1 0x0c 00000af8: MSTORE 00000af9: CALLER 00000afa: PUSH0 00000afb: MSTORE 00000afc: DUP1 00000afd: PUSH1 0x20 00000aff: PUSH1 0x0c 00000b01: KECCAK256 00000b02: SSTORE 00000b03: CALLER 00000b04: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d 00000b25: PUSH0 00000b26: PUSH0 00000b27: LOG2 00000b28: POP 00000b29: JUMP 00000b2a: JUMPDEST 00000b2b: PUSH2 0x0b32 00000b2e: PUSH2 0x1676 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x04 00000b35: DUP1 00000b36: SLOAD 00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4c: NOT 00000b4d: AND 00000b4e: PUSH1 0x01 00000b50: PUSH1 0x01 00000b52: PUSH1 0xa0 00000b54: SHL 00000b55: SUB 00000b56: DUP4 00000b57: AND 00000b58: SWAP1 00000b59: DUP2 00000b5a: OR 00000b5b: SWAP1 00000b5c: SWAP2 00000b5d: SSTORE 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: PUSH32 0x4da9c22c924692646a21cf1f423781ae3285198dc22e8a6912835d3272b90b3c 00000b82: SWAP1 00000b83: PUSH0 00000b84: SWAP1 00000b85: LOG2 00000b86: POP 00000b87: JUMP 00000b88: JUMPDEST 00000b89: PUSH2 0x0b90 00000b8c: PUSH2 0x1676 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH0 00000b92: SLOAD 00000b93: PUSH1 0xff 00000b95: AND 00000b96: PUSH2 0x0b9d 00000b99: JUMPI 00000b9a: PUSH0 00000b9b: PUSH0 00000b9c: REVERT 00000b9d: JUMPDEST 00000b9e: PUSH0 00000b9f: DUP1 00000ba0: SLOAD 00000ba1: PUSH1 0xff 00000ba3: NOT 00000ba4: AND 00000ba5: DUP2 00000ba6: SSTORE 00000ba7: PUSH1 0x40 00000ba9: MLOAD 00000baa: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000bcb: SWAP2 00000bcc: SWAP1 00000bcd: LOG1 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: PUSH0 00000bd1: PUSH2 0x0952 00000bd4: PUSH2 0x0be4 00000bd7: PUSH9 0x05345cdf77eb68f44c 00000be1: SLOAD 00000be2: SWAP1 00000be3: JUMP 00000be4: JUMPDEST 00000be5: DUP4 00000be6: PUSH2 0x14ea 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH4 0x389a75e1 00000bf0: PUSH1 0x0c 00000bf2: MSTORE 00000bf3: CALLER 00000bf4: PUSH0 00000bf5: MSTORE 00000bf6: PUSH0 00000bf7: PUSH1 0x20 00000bf9: PUSH1 0x0c 00000bfb: KECCAK256 00000bfc: SSTORE 00000bfd: CALLER 00000bfe: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92 00000c1f: PUSH0 00000c20: PUSH0 00000c21: LOG2 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH0 00000c25: DUP3 00000c26: GT 00000c27: PUSH2 0x0c6c 00000c2a: JUMPI 00000c2b: PUSH1 0x40 00000c2d: MLOAD 00000c2e: PUSH3 0x461bcd 00000c32: PUSH1 0xe5 00000c34: SHL 00000c35: DUP2 00000c36: MSTORE 00000c37: PUSH1 0x20 00000c39: PUSH1 0x04 00000c3b: DUP3 00000c3c: ADD 00000c3d: MSTORE 00000c3e: PUSH1 0x12 00000c40: PUSH1 0x24 00000c42: DUP3 00000c43: ADD 00000c44: MSTORE 00000c45: PUSH18 0x0416d6f756e74206d757374206265203e203 00000c58: PUSH1 0x74 00000c5a: SHL 00000c5b: PUSH1 0x44 00000c5d: DUP3 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH1 0x64 00000c62: ADD 00000c63: JUMPDEST 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: DUP1 00000c68: SWAP2 00000c69: SUB 00000c6a: SWAP1 00000c6b: REVERT 00000c6c: JUMPDEST 00000c6d: CALLER 00000c6e: PUSH1 0x01 00000c70: PUSH1 0x01 00000c72: PUSH1 0xa0 00000c74: SHL 00000c75: SUB 00000c76: DUP3 00000c77: AND 00000c78: EQ 00000c79: PUSH2 0x0c87 00000c7c: JUMPI 00000c7d: PUSH2 0x0c87 00000c80: DUP2 00000c81: CALLER 00000c82: DUP5 00000c83: PUSH2 0x1690 00000c86: JUMP 00000c87: JUMPDEST 00000c88: PUSH2 0x0c94 00000c8b: DUP2 00000c8c: PUSH2 0xdead 00000c8f: DUP5 00000c90: PUSH2 0x16f1 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH1 0x40 00000c97: MLOAD 00000c98: DUP3 00000c99: DUP2 00000c9a: MSTORE 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0x01 00000c9f: PUSH1 0xa0 00000ca1: SHL 00000ca2: SUB 00000ca3: DUP3 00000ca4: AND 00000ca5: SWAP1 00000ca6: CALLER 00000ca7: SWAP1 00000ca8: PUSH32 0xec36c0364d931187a76cf66d7eee08fad0ec2e8b7458a8d8b26b36769d4d13f3 00000cc9: SWAP1 00000cca: PUSH1 0x20 00000ccc: ADD 00000ccd: PUSH1 0x40 00000ccf: MLOAD 00000cd0: DUP1 00000cd1: SWAP2 00000cd2: SUB 00000cd3: SWAP1 00000cd4: LOG3 00000cd5: POP 00000cd6: POP 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH2 0x0ce0 00000cdc: PUSH2 0x1676 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH2 0x0ce9 00000ce4: PUSH0 00000ce5: PUSH2 0x176a 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH2 0x0cf3 00000cef: PUSH2 0x1676 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: PUSH0 00000cf5: SLOAD 00000cf6: PUSH1 0xff 00000cf8: AND 00000cf9: ISZERO 00000cfa: PUSH2 0x0d01 00000cfd: JUMPI 00000cfe: PUSH0 00000cff: PUSH0 00000d00: REVERT 00000d01: JUMPDEST 00000d02: PUSH0 00000d03: DUP1 00000d04: SLOAD 00000d05: PUSH1 0xff 00000d07: NOT 00000d08: AND 00000d09: PUSH1 0x01 00000d0b: OR 00000d0c: DUP2 00000d0d: SSTORE 00000d0e: PUSH1 0x40 00000d10: MLOAD 00000d11: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000d32: SWAP2 00000d33: SWAP1 00000d34: LOG1 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH0 00000d38: PUSH2 0x0d51 00000d3b: PUSH4 0x87a211a2 00000d40: PUSH1 0x0c 00000d42: SWAP1 00000d43: DUP2 00000d44: MSTORE 00000d45: PUSH2 0xdead 00000d48: PUSH0 00000d49: MSTORE 00000d4a: PUSH1 0x20 00000d4c: SWAP1 00000d4d: KECCAK256 00000d4e: SLOAD 00000d4f: SWAP1 00000d50: JUMP 00000d51: JUMPDEST 00000d52: PUSH9 0x05345cdf77eb68f44c 00000d5c: SLOAD 00000d5d: PUSH2 0x0d66 00000d60: SWAP2 00000d61: SWAP1 00000d62: PUSH2 0x1d50 00000d65: JUMP 00000d66: JUMPDEST 00000d67: SWAP1 00000d68: POP 00000d69: SWAP1 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: PUSH0 00000d6d: SLOAD 00000d6e: PUSH1 0xff 00000d70: AND 00000d71: ISZERO 00000d72: PUSH2 0x0d79 00000d75: JUMPI 00000d76: PUSH0 00000d77: PUSH0 00000d78: REVERT 00000d79: JUMPDEST 00000d7a: PUSH0 00000d7b: DUP3 00000d7c: GT 00000d7d: PUSH2 0x0dbd 00000d80: JUMPI 00000d81: PUSH1 0x40 00000d83: MLOAD 00000d84: PUSH3 0x461bcd 00000d88: PUSH1 0xe5 00000d8a: SHL 00000d8b: DUP2 00000d8c: MSTORE 00000d8d: PUSH1 0x20 00000d8f: PUSH1 0x04 00000d91: DUP3 00000d92: ADD 00000d93: MSTORE 00000d94: PUSH1 0x12 00000d96: PUSH1 0x24 00000d98: DUP3 00000d99: ADD 00000d9a: MSTORE 00000d9b: PUSH18 0x0416d6f756e74206d757374206265203e203 00000dae: PUSH1 0x74 00000db0: SHL 00000db1: PUSH1 0x44 00000db3: DUP3 00000db4: ADD 00000db5: MSTORE 00000db6: PUSH1 0x64 00000db8: ADD 00000db9: PUSH2 0x0c63 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: PUSH0 00000dbf: PUSH2 0x0dcf 00000dc2: PUSH9 0x05345cdf77eb68f44c 00000dcc: SLOAD 00000dcd: SWAP1 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: SWAP1 00000dd1: POP 00000dd2: PUSH11 0x115eec47f6cf7e35000000 00000dde: PUSH2 0x0de7 00000de1: DUP5 00000de2: DUP4 00000de3: PUSH2 0x1d99 00000de6: JUMP 00000de7: JUMPDEST 00000de8: GT 00000de9: ISZERO 00000dea: PUSH2 0x0e35 00000ded: JUMPI 00000dee: PUSH1 0x40 00000df0: MLOAD 00000df1: PUSH3 0x461bcd 00000df5: PUSH1 0xe5 00000df7: SHL 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x20 00000dfc: PUSH1 0x04 00000dfe: DUP3 00000dff: ADD 00000e00: MSTORE 00000e01: PUSH1 0x12 00000e03: PUSH1 0x24 00000e05: DUP3 00000e06: ADD 00000e07: MSTORE 00000e08: PUSH32 0x4d617820737570706c7920726561636865640000000000000000000000000000 00000e29: PUSH1 0x44 00000e2b: DUP3 00000e2c: ADD 00000e2d: MSTORE 00000e2e: PUSH1 0x64 00000e30: ADD 00000e31: PUSH2 0x0c63 00000e34: JUMP 00000e35: JUMPDEST 00000e36: PUSH0 00000e37: PUSH2 0x0e40 00000e3a: DUP3 00000e3b: DUP6 00000e3c: PUSH2 0x17a7 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: SWAP1 00000e42: POP 00000e43: DUP1 00000e44: CALLVALUE 00000e45: LT 00000e46: ISZERO 00000e47: PUSH2 0x0e92 00000e4a: JUMPI 00000e4b: PUSH1 0x40 00000e4d: MLOAD 00000e4e: PUSH3 0x461bcd 00000e52: PUSH1 0xe5 00000e54: SHL 00000e55: DUP2 00000e56: MSTORE 00000e57: PUSH1 0x20 00000e59: PUSH1 0x04 00000e5b: DUP3 00000e5c: ADD 00000e5d: MSTORE 00000e5e: PUSH1 0x10 00000e60: PUSH1 0x24 00000e62: DUP3 00000e63: ADD 00000e64: MSTORE 00000e65: PUSH32 0x496e73756666696369656e742045544800000000000000000000000000000000 00000e86: PUSH1 0x44 00000e88: DUP3 00000e89: ADD 00000e8a: MSTORE 00000e8b: PUSH1 0x64 00000e8d: ADD 00000e8e: PUSH2 0x0c63 00000e91: JUMP 00000e92: JUMPDEST 00000e93: PUSH0 00000e94: PUSH2 0x0e9d 00000e97: DUP4 00000e98: DUP7 00000e99: PUSH2 0x185f 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: SWAP1 00000e9f: POP 00000ea0: PUSH2 0x0ea9 00000ea3: DUP5 00000ea4: DUP7 00000ea5: PUSH2 0x18b0 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH1 0x40 00000eac: DUP1 00000ead: MLOAD 00000eae: DUP4 00000eaf: DUP2 00000eb0: MSTORE 00000eb1: PUSH1 0x20 00000eb3: DUP2 00000eb4: ADD 00000eb5: DUP8 00000eb6: SWAP1 00000eb7: MSTORE 00000eb8: PUSH1 0x01 00000eba: PUSH1 0x01 00000ebc: PUSH1 0xa0 00000ebe: SHL 00000ebf: SUB 00000ec0: DUP7 00000ec1: AND 00000ec2: SWAP2 00000ec3: CALLER 00000ec4: SWAP2 00000ec5: PUSH32 0x2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee 00000ee6: SWAP2 00000ee7: ADD 00000ee8: PUSH1 0x40 00000eea: MLOAD 00000eeb: DUP1 00000eec: SWAP2 00000eed: SUB 00000eee: SWAP1 00000eef: LOG3 00000ef0: PUSH1 0x03 00000ef2: SLOAD 00000ef3: PUSH2 0x0f05 00000ef6: SWAP1 00000ef7: PUSH1 0x01 00000ef9: PUSH1 0x01 00000efb: PUSH1 0xa0 00000efd: SHL 00000efe: SUB 00000eff: AND 00000f00: DUP3 00000f01: PUSH2 0x192d 00000f04: JUMP 00000f05: JUMPDEST 00000f06: POP 00000f07: POP 00000f08: POP 00000f09: POP 00000f0a: POP 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: PUSH0 00000f0e: DUP5 00000f0f: GT 00000f10: PUSH2 0x0f50 00000f13: JUMPI 00000f14: PUSH1 0x40 00000f16: MLOAD 00000f17: PUSH3 0x461bcd 00000f1b: PUSH1 0xe5 00000f1d: SHL 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: PUSH1 0x04 00000f24: DUP3 00000f25: ADD 00000f26: MSTORE 00000f27: PUSH1 0x12 00000f29: PUSH1 0x24 00000f2b: DUP3 00000f2c: ADD 00000f2d: MSTORE 00000f2e: PUSH18 0x0416d6f756e74206d757374206265203e203 00000f41: PUSH1 0x74 00000f43: SHL 00000f44: PUSH1 0x44 00000f46: DUP3 00000f47: ADD 00000f48: MSTORE 00000f49: PUSH1 0x64 00000f4b: ADD 00000f4c: PUSH2 0x0c63 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH0 00000f52: PUSH2 0x0f62 00000f55: PUSH9 0x05345cdf77eb68f44c 00000f5f: SLOAD 00000f60: SWAP1 00000f61: JUMP 00000f62: JUMPDEST 00000f63: SWAP1 00000f64: POP 00000f65: PUSH0 00000f66: PUSH2 0x0f6f 00000f69: DUP3 00000f6a: DUP8 00000f6b: PUSH2 0x14ea 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: SWAP1 00000f71: POP 00000f72: DUP3 00000f73: DUP2 00000f74: LT 00000f75: ISZERO 00000f76: PUSH2 0x0fc1 00000f79: JUMPI 00000f7a: PUSH1 0x40 00000f7c: MLOAD 00000f7d: PUSH3 0x461bcd 00000f81: PUSH1 0xe5 00000f83: SHL 00000f84: DUP2 00000f85: MSTORE 00000f86: PUSH1 0x20 00000f88: PUSH1 0x04 00000f8a: DUP3 00000f8b: ADD 00000f8c: MSTORE 00000f8d: PUSH1 0x1a 00000f8f: PUSH1 0x24 00000f91: DUP3 00000f92: ADD 00000f93: MSTORE 00000f94: PUSH32 0x496e73756666696369656e74206f757470757420616d6f756e74000000000000 00000fb5: PUSH1 0x44 00000fb7: DUP3 00000fb8: ADD 00000fb9: MSTORE 00000fba: PUSH1 0x64 00000fbc: ADD 00000fbd: PUSH2 0x0c63 00000fc0: JUMP 00000fc1: JUMPDEST 00000fc2: CALLER 00000fc3: PUSH1 0x01 00000fc5: PUSH1 0x01 00000fc7: PUSH1 0xa0 00000fc9: SHL 00000fca: SUB 00000fcb: DUP7 00000fcc: AND 00000fcd: EQ 00000fce: PUSH2 0x0fdc 00000fd1: JUMPI 00000fd2: PUSH2 0x0fdc 00000fd5: DUP6 00000fd6: CALLER 00000fd7: DUP9 00000fd8: PUSH2 0x1690 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH2 0x0fe6 00000fe0: DUP6 00000fe1: DUP8 00000fe2: PUSH2 0x1946 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: PUSH1 0x40 00000fe9: DUP1 00000fea: MLOAD 00000feb: DUP3 00000fec: DUP2 00000fed: MSTORE 00000fee: PUSH1 0x20 00000ff0: DUP2 00000ff1: ADD 00000ff2: DUP9 00000ff3: SWAP1 00000ff4: MSTORE 00000ff5: PUSH1 0x01 00000ff7: PUSH1 0x01 00000ff9: PUSH1 0xa0 00000ffb: SHL 00000ffc: SUB 00000ffd: DUP1 00000ffe: DUP8 00000fff: AND 00001000: SWAP3 00001001: SWAP1 00001002: DUP9 00001003: AND 00001004: SWAP2 00001005: CALLER 00001006: SWAP2 00001007: PUSH32 0xaee47cdf925cf525fdae94f9777ee5a06cac37e1c41220d0a8a89ed154f62d1c 00001028: SWAP2 00001029: ADD 0000102a: PUSH1 0x40 0000102c: MLOAD 0000102d: DUP1 0000102e: SWAP2 0000102f: SUB 00001030: SWAP1 00001031: LOG4 00001032: PUSH2 0x103b 00001035: DUP5 00001036: DUP3 00001037: PUSH2 0x192d 0000103a: JUMP 0000103b: JUMPDEST 0000103c: POP 0000103d: POP 0000103e: POP 0000103f: POP 00001040: POP 00001041: POP 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH0 00001045: PUSH4 0x87a211a2 0000104a: PUSH1 0x0c 0000104c: MSTORE 0000104d: CALLER 0000104e: PUSH0 0000104f: MSTORE 00001050: PUSH1 0x20 00001052: PUSH1 0x0c 00001054: KECCAK256 00001055: DUP1 00001056: SLOAD 00001057: DUP1 00001058: DUP5 00001059: GT 0000105a: ISZERO 0000105b: PUSH2 0x106b 0000105e: JUMPI 0000105f: PUSH4 0xf4d678b8 00001064: PUSH0 00001065: MSTORE 00001066: PUSH1 0x04 00001068: PUSH1 0x1c 0000106a: REVERT 0000106b: JUMPDEST 0000106c: DUP4 0000106d: DUP2 0000106e: SUB 0000106f: DUP3 00001070: SSTORE 00001071: POP 00001072: POP 00001073: DUP3 00001074: PUSH0 00001075: MSTORE 00001076: PUSH1 0x20 00001078: PUSH1 0x0c 0000107a: KECCAK256 0000107b: DUP3 0000107c: DUP2 0000107d: SLOAD 0000107e: ADD 0000107f: DUP2 00001080: SSTORE 00001081: POP 00001082: DUP2 00001083: PUSH1 0x20 00001085: MSTORE 00001086: PUSH1 0x0c 00001088: MLOAD 00001089: PUSH1 0x60 0000108b: SHR 0000108c: CALLER 0000108d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010ae: PUSH1 0x20 000010b0: DUP1 000010b1: LOG3 000010b2: POP 000010b3: PUSH1 0x01 000010b5: SWAP3 000010b6: SWAP2 000010b7: POP 000010b8: POP 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH0 000010bc: PUSH2 0x0952 000010bf: PUSH2 0x10cf 000010c2: PUSH9 0x05345cdf77eb68f44c 000010cc: SLOAD 000010cd: SWAP1 000010ce: JUMP 000010cf: JUMPDEST 000010d0: DUP4 000010d1: PUSH2 0x17a7 000010d4: JUMP 000010d5: JUMPDEST 000010d6: PUSH0 000010d7: PUSH2 0x0d66 000010da: PUSH2 0x10ea 000010dd: PUSH9 0x05345cdf77eb68f44c 000010e7: SLOAD 000010e8: SWAP1 000010e9: JUMP 000010ea: JUMPDEST 000010eb: PUSH2 0x10f2 000010ee: PUSH2 0x0d36 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH2 0x14ea 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH1 0x04 000010fa: SLOAD 000010fb: PUSH1 0x01 000010fd: PUSH1 0x01 000010ff: PUSH1 0xa0 00001101: SHL 00001102: SUB 00001103: AND 00001104: CALLER 00001105: EQ 00001106: PUSH2 0x1151 00001109: JUMPI 0000110a: PUSH1 0x40 0000110c: MLOAD 0000110d: PUSH3 0x461bcd 00001111: PUSH1 0xe5 00001113: SHL 00001114: DUP2 00001115: MSTORE 00001116: PUSH1 0x20 00001118: PUSH1 0x04 0000111a: DUP3 0000111b: ADD 0000111c: MSTORE 0000111d: PUSH1 0x0d 0000111f: PUSH1 0x24 00001121: DUP3 00001122: ADD 00001123: MSTORE 00001124: PUSH32 0x4f6e6c7920737472617465677900000000000000000000000000000000000000 00001145: PUSH1 0x44 00001147: DUP3 00001148: ADD 00001149: MSTORE 0000114a: PUSH1 0x64 0000114c: ADD 0000114d: PUSH2 0x0c63 00001150: JUMP 00001151: JUMPDEST 00001152: PUSH2 0x1159 00001155: PUSH2 0x0958 00001158: JUMP 00001159: JUMPDEST 0000115a: DUP2 0000115b: GT 0000115c: ISZERO 0000115d: PUSH2 0x11a8 00001160: JUMPI 00001161: PUSH1 0x40 00001163: MLOAD 00001164: PUSH3 0x461bcd 00001168: PUSH1 0xe5 0000116a: SHL 0000116b: DUP2 0000116c: MSTORE 0000116d: PUSH1 0x20 0000116f: PUSH1 0x04 00001171: DUP3 00001172: ADD 00001173: MSTORE 00001174: PUSH1 0x14 00001176: PUSH1 0x24 00001178: DUP3 00001179: ADD 0000117a: MSTORE 0000117b: PUSH32 0x496e73756666696369656e7420737572706c7573000000000000000000000000 0000119c: PUSH1 0x44 0000119e: DUP3 0000119f: ADD 000011a0: MSTORE 000011a1: PUSH1 0x64 000011a3: ADD 000011a4: PUSH2 0x0c63 000011a7: JUMP 000011a8: JUMPDEST 000011a9: PUSH1 0x04 000011ab: SLOAD 000011ac: PUSH2 0x11be 000011af: SWAP1 000011b0: PUSH1 0x01 000011b2: PUSH1 0x01 000011b4: PUSH1 0xa0 000011b6: SHL 000011b7: SUB 000011b8: AND 000011b9: DUP3 000011ba: PUSH2 0x192d 000011bd: JUMP 000011be: JUMPDEST 000011bf: PUSH1 0x04 000011c1: SLOAD 000011c2: PUSH1 0x40 000011c4: MLOAD 000011c5: DUP3 000011c6: DUP2 000011c7: MSTORE 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: SWAP1 000011d1: SWAP2 000011d2: AND 000011d3: SWAP1 000011d4: PUSH32 0x3f3a89ae16464aa5ded41c6a7f375c82002761229c09b70556346c606708eb65 000011f5: SWAP1 000011f6: PUSH1 0x20 000011f8: ADD 000011f9: PUSH1 0x40 000011fb: MLOAD 000011fc: DUP1 000011fd: SWAP2 000011fe: SUB 000011ff: SWAP1 00001200: LOG2 00001201: POP 00001202: JUMP 00001203: JUMPDEST 00001204: PUSH1 0x01 00001206: PUSH1 0x01 00001208: PUSH1 0xa0 0000120a: SHL 0000120b: SUB 0000120c: DUP7 0000120d: AND 0000120e: PUSH15 0x22d473030f116ddee9f6b43ac78ba3 0000121e: XOR 0000121f: DUP6 00001220: NOT 00001221: ISZERO 00001222: OR 00001223: PUSH2 0x1233 00001226: JUMPI 00001227: PUSH4 0x3f68539a 0000122c: PUSH0 0000122d: MSTORE 0000122e: PUSH1 0x04 00001230: PUSH1 0x1c 00001232: REVERT 00001233: JUMPDEST 00001234: PUSH1 0x40 00001236: DUP1 00001237: MLOAD 00001238: DUP1 00001239: DUP3 0000123a: ADD 0000123b: SWAP1 0000123c: SWAP2 0000123d: MSTORE 0000123e: PUSH1 0x1b 00001240: DUP2 00001241: MSTORE 00001242: PUSH32 0x50756e6b2041756374696f6e20537472617465677920546f6b656e0000000000 00001263: PUSH1 0x20 00001265: SWAP1 00001266: SWAP2 00001267: ADD 00001268: MSTORE 00001269: PUSH32 0x8d0cc87bd19c6bbd9646ec05ff02d054dd9ec26b29b96228f6d79ff07ac8339b 0000128a: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 000012ab: TIMESTAMP 000012ac: DUP7 000012ad: LT 000012ae: ISZERO 000012af: PUSH2 0x12bf 000012b2: JUMPI 000012b3: PUSH4 0x1a15a3cc 000012b8: PUSH0 000012b9: MSTORE 000012ba: PUSH1 0x04 000012bc: PUSH1 0x1c 000012be: REVERT 000012bf: JUMPDEST 000012c0: PUSH1 0x40 000012c2: MLOAD 000012c3: DUP10 000012c4: PUSH1 0x60 000012c6: SHL 000012c7: PUSH1 0x60 000012c9: SHR 000012ca: SWAP10 000012cb: POP 000012cc: DUP9 000012cd: PUSH1 0x60 000012cf: SHL 000012d0: PUSH1 0x60 000012d2: SHR 000012d3: SWAP9 000012d4: POP 000012d5: PUSH6 0x383775081901 000012dc: PUSH1 0x0e 000012de: MSTORE 000012df: DUP10 000012e0: PUSH0 000012e1: MSTORE 000012e2: PUSH1 0x20 000012e4: PUSH1 0x0c 000012e6: KECCAK256 000012e7: DUP1 000012e8: SLOAD 000012e9: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 0000130a: DUP4 0000130b: MSTORE 0000130c: DUP5 0000130d: PUSH1 0x20 0000130f: DUP5 00001310: ADD 00001311: MSTORE 00001312: DUP4 00001313: PUSH1 0x40 00001315: DUP5 00001316: ADD 00001317: MSTORE 00001318: CHAINID 00001319: PUSH1 0x60 0000131b: DUP5 0000131c: ADD 0000131d: MSTORE 0000131e: ADDRESS 0000131f: PUSH1 0x80 00001321: DUP5 00001322: ADD 00001323: MSTORE 00001324: PUSH1 0xa0 00001326: DUP4 00001327: KECCAK256 00001328: PUSH1 0x2e 0000132a: MSTORE 0000132b: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 0000134c: DUP4 0000134d: MSTORE 0000134e: DUP12 0000134f: PUSH1 0x20 00001351: DUP5 00001352: ADD 00001353: MSTORE 00001354: DUP11 00001355: PUSH1 0x40 00001357: DUP5 00001358: ADD 00001359: MSTORE 0000135a: DUP10 0000135b: PUSH1 0x60 0000135d: DUP5 0000135e: ADD 0000135f: MSTORE 00001360: DUP1 00001361: PUSH1 0x80 00001363: DUP5 00001364: ADD 00001365: MSTORE 00001366: DUP9 00001367: PUSH1 0xa0 00001369: DUP5 0000136a: ADD 0000136b: MSTORE 0000136c: PUSH1 0xc0 0000136e: DUP4 0000136f: KECCAK256 00001370: PUSH1 0x4e 00001372: MSTORE 00001373: PUSH1 0x42 00001375: PUSH1 0x2c 00001377: KECCAK256 00001378: PUSH0 00001379: MSTORE 0000137a: DUP8 0000137b: PUSH1 0xff 0000137d: AND 0000137e: PUSH1 0x20 00001380: MSTORE 00001381: DUP7 00001382: PUSH1 0x40 00001384: MSTORE 00001385: DUP6 00001386: PUSH1 0x60 00001388: MSTORE 00001389: PUSH1 0x20 0000138b: DUP1 0000138c: PUSH1 0x80 0000138e: PUSH0 0000138f: PUSH1 0x01 00001391: GAS 00001392: STATICCALL 00001393: DUP13 00001394: RETURNDATASIZE 00001395: MLOAD 00001396: EQ 00001397: PUSH2 0x13a7 0000139a: JUMPI 0000139b: PUSH4 0xddafbaef 000013a0: PUSH0 000013a1: MSTORE 000013a2: PUSH1 0x04 000013a4: PUSH1 0x1c 000013a6: REVERT 000013a7: JUMPDEST 000013a8: ADD 000013a9: SWAP1 000013aa: SSTORE 000013ab: PUSH24 0x7f5e9f200000000000000000000000000000000000000000 000013c4: DUP10 000013c5: OR 000013c6: PUSH1 0x40 000013c8: MSTORE 000013c9: PUSH1 0x34 000013cb: PUSH1 0x2c 000013cd: KECCAK256 000013ce: DUP9 000013cf: SWAP1 000013d0: SSTORE 000013d1: DUP9 000013d2: DUP11 000013d3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000013f4: PUSH1 0x20 000013f6: PUSH1 0x60 000013f8: DUP6 000013f9: ADD 000013fa: LOG3 000013fb: PUSH1 0x40 000013fd: MSTORE 000013fe: POP 000013ff: POP 00001400: PUSH0 00001401: PUSH1 0x60 00001403: MSTORE 00001404: POP 00001405: POP 00001406: POP 00001407: POP 00001408: POP 00001409: POP 0000140a: POP 0000140b: JUMP 0000140c: JUMPDEST 0000140d: PUSH0 0000140e: PUSH15 0x22d473030f116ddee9f6b43ac78ba2 0000141e: NOT 0000141f: PUSH1 0x01 00001421: PUSH1 0x01 00001423: PUSH1 0xa0 00001425: SHL 00001426: SUB 00001427: DUP4 00001428: AND 00001429: ADD 0000142a: PUSH2 0x1435 0000142d: JUMPI 0000142e: POP 0000142f: PUSH0 00001430: NOT 00001431: PUSH2 0x0952 00001434: JUMP 00001435: JUMPDEST 00001436: POP 00001437: PUSH1 0x20 00001439: MSTORE 0000143a: PUSH4 0x7f5e9f20 0000143f: PUSH1 0x0c 00001441: SWAP1 00001442: DUP2 00001443: MSTORE 00001444: PUSH0 00001445: SWAP2 00001446: SWAP1 00001447: SWAP2 00001448: MSTORE 00001449: PUSH1 0x34 0000144b: SWAP1 0000144c: KECCAK256 0000144d: SLOAD 0000144e: SWAP1 0000144f: JUMP 00001450: JUMPDEST 00001451: PUSH2 0x1458 00001454: PUSH2 0x1676 00001457: JUMP 00001458: JUMPDEST 00001459: PUSH1 0x03 0000145b: DUP1 0000145c: SLOAD 0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001472: NOT 00001473: AND 00001474: PUSH1 0x01 00001476: PUSH1 0x01 00001478: PUSH1 0xa0 0000147a: SHL 0000147b: SUB 0000147c: SWAP3 0000147d: SWAP1 0000147e: SWAP3 0000147f: AND 00001480: SWAP2 00001481: SWAP1 00001482: SWAP2 00001483: OR 00001484: SWAP1 00001485: SSTORE 00001486: JUMP 00001487: JUMPDEST 00001488: PUSH2 0x148f 0000148b: PUSH2 0x1676 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH4 0x389a75e1 00001495: PUSH1 0x0c 00001497: MSTORE 00001498: DUP1 00001499: PUSH0 0000149a: MSTORE 0000149b: PUSH1 0x20 0000149d: PUSH1 0x0c 0000149f: KECCAK256 000014a0: DUP1 000014a1: SLOAD 000014a2: TIMESTAMP 000014a3: GT 000014a4: ISZERO 000014a5: PUSH2 0x14b5 000014a8: JUMPI 000014a9: PUSH4 0x6f5e8818 000014ae: PUSH0 000014af: MSTORE 000014b0: PUSH1 0x04 000014b2: PUSH1 0x1c 000014b4: REVERT 000014b5: JUMPDEST 000014b6: PUSH0 000014b7: SWAP1 000014b8: SSTORE 000014b9: PUSH2 0x14c1 000014bc: DUP2 000014bd: PUSH2 0x176a 000014c0: JUMP 000014c1: JUMPDEST 000014c2: POP 000014c3: JUMP 000014c4: JUMPDEST 000014c5: PUSH2 0x14cc 000014c8: PUSH2 0x1676 000014cb: JUMP 000014cc: JUMPDEST 000014cd: DUP1 000014ce: PUSH1 0x60 000014d0: SHL 000014d1: PUSH2 0x14e1 000014d4: JUMPI 000014d5: PUSH4 0x7448fbae 000014da: PUSH0 000014db: MSTORE 000014dc: PUSH1 0x04 000014de: PUSH1 0x1c 000014e0: REVERT 000014e1: JUMPDEST 000014e2: PUSH2 0x14c1 000014e5: DUP2 000014e6: PUSH2 0x176a 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH0 000014ec: DUP2 000014ed: DUP4 000014ee: LT 000014ef: ISZERO 000014f0: PUSH2 0x153b 000014f3: JUMPI 000014f4: PUSH1 0x40 000014f6: MLOAD 000014f7: PUSH3 0x461bcd 000014fb: PUSH1 0xe5 000014fd: SHL 000014fe: DUP2 000014ff: MSTORE 00001500: PUSH1 0x20 00001502: PUSH1 0x04 00001504: DUP3 00001505: ADD 00001506: MSTORE 00001507: PUSH1 0x13 00001509: PUSH1 0x24 0000150b: DUP3 0000150c: ADD 0000150d: MSTORE 0000150e: PUSH32 0x496e73756666696369656e7420737570706c7900000000000000000000000000 0000152f: PUSH1 0x44 00001531: DUP3 00001532: ADD 00001533: MSTORE 00001534: PUSH1 0x64 00001536: ADD 00001537: PUSH2 0x0c63 0000153a: JUMP 0000153b: JUMPDEST 0000153c: PUSH1 0x40 0000153e: DUP1 0000153f: MLOAD 00001540: PUSH1 0xa0 00001542: DUP2 00001543: ADD 00001544: DUP3 00001545: MSTORE 00001546: PUSH1 0x01 00001548: SLOAD 00001549: PUSH1 0x01 0000154b: PUSH1 0x01 0000154d: PUSH1 0x80 0000154f: SHL 00001550: SUB 00001551: DUP1 00001552: DUP3 00001553: AND 00001554: PUSH1 0x60 00001556: DUP5 00001557: ADD 00001558: SWAP1 00001559: DUP2 0000155a: MSTORE 0000155b: PUSH1 0x01 0000155d: PUSH1 0x80 0000155f: SHL 00001560: SWAP3 00001561: DUP4 00001562: SWAP1 00001563: DIV 00001564: DUP3 00001565: AND 00001566: PUSH1 0x80 00001568: DUP6 00001569: ADD 0000156a: MSTORE 0000156b: DUP4 0000156c: MSTORE 0000156d: PUSH1 0x02 0000156f: SLOAD 00001570: DUP1 00001571: DUP3 00001572: AND 00001573: PUSH1 0x20 00001575: DUP6 00001576: ADD 00001577: MSTORE 00001578: SWAP2 00001579: SWAP1 0000157a: SWAP2 0000157b: DIV 0000157c: AND 0000157d: SWAP2 0000157e: DUP2 0000157f: ADD 00001580: SWAP2 00001581: SWAP1 00001582: SWAP2 00001583: MSTORE 00001584: PUSH2 0x158e 00001587: SWAP1 00001588: DUP5 00001589: DUP5 0000158a: PUSH2 0x19ba 0000158d: JUMP 0000158e: JUMPDEST 0000158f: SWAP4 00001590: SWAP3 00001591: POP 00001592: POP 00001593: POP 00001594: JUMP 00001595: JUMPDEST 00001596: DUP3 00001597: MLOAD 00001598: PUSH0 00001599: SWAP1 0000159a: DUP2 0000159b: SWAP1 0000159c: PUSH2 0x15af 0000159f: SWAP1 000015a0: DUP5 000015a1: SWAP1 000015a2: PUSH1 0x01 000015a4: PUSH1 0x01 000015a6: PUSH1 0x80 000015a8: SHL 000015a9: SUB 000015aa: AND 000015ab: PUSH2 0x19f4 000015ae: JUMP 000015af: JUMPDEST 000015b0: SWAP1 000015b1: POP 000015b2: PUSH0 000015b3: PUSH2 0x15bc 000015b6: DUP6 000015b7: DUP1 000015b8: PUSH2 0x19f4 000015bb: JUMP 000015bc: JUMPDEST 000015bd: SWAP1 000015be: POP 000015bf: PUSH0 000015c0: PUSH2 0x15c9 000015c3: DUP3 000015c4: DUP7 000015c5: PUSH2 0x19f4 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP1 000015cb: POP 000015cc: PUSH0 000015cd: PUSH2 0x15d6 000015d0: DUP7 000015d1: DUP1 000015d2: PUSH2 0x19f4 000015d5: JUMP 000015d6: JUMPDEST 000015d7: SWAP1 000015d8: POP 000015d9: PUSH0 000015da: PUSH2 0x15e3 000015dd: DUP9 000015de: DUP4 000015df: PUSH2 0x19f4 000015e2: JUMP 000015e3: JUMPDEST 000015e4: SWAP1 000015e5: POP 000015e6: PUSH0 000015e7: PUSH2 0x15fa 000015ea: DUP9 000015eb: PUSH2 0x15f4 000015ee: DUP2 000015ef: DUP1 000015f0: PUSH2 0x19f4 000015f3: JUMP 000015f4: JUMPDEST 000015f5: SWAP1 000015f6: PUSH2 0x19f4 000015f9: JUMP 000015fa: JUMPDEST 000015fb: SWAP1 000015fc: POP 000015fd: PUSH0 000015fe: PUSH2 0x1610 00001601: PUSH1 0x03 00001603: PUSH8 0x0de0b6b3a7640000 0000160c: PUSH2 0x1d7a 0000160f: JUMP 00001610: JUMPDEST 00001611: SWAP1 00001612: POP 00001613: PUSH0 00001614: PUSH2 0x161d 00001617: DUP4 00001618: DUP4 00001619: PUSH2 0x19f4 0000161c: JUMP 0000161d: JUMPDEST 0000161e: SWAP1 0000161f: POP 00001620: PUSH0 00001621: DUP2 00001622: PUSH2 0x162b 00001625: DUP7 00001626: DUP10 00001627: PUSH2 0x1d50 0000162a: JUMP 0000162b: JUMPDEST 0000162c: PUSH2 0x1635 0000162f: SWAP2 00001630: SWAP1 00001631: PUSH2 0x1d99 00001634: JUMP 00001635: JUMPDEST 00001636: SWAP1 00001637: POP 00001638: PUSH0 00001639: PUSH2 0x1658 0000163c: DUP15 0000163d: PUSH1 0x20 0000163f: ADD 00001640: MLOAD 00001641: PUSH1 0x01 00001643: PUSH1 0x01 00001645: PUSH1 0x80 00001647: SHL 00001648: SUB 00001649: AND 0000164a: DUP4 0000164b: PUSH2 0x19f4 0000164e: SWAP1 0000164f: SWAP2 00001650: SWAP1 00001651: PUSH4 0xffffffff 00001656: AND 00001657: JUMP 00001658: JUMPDEST 00001659: SWAP1 0000165a: POP 0000165b: PUSH2 0x1664 0000165e: DUP2 0000165f: DUP12 00001660: PUSH2 0x1d99 00001663: JUMP 00001664: JUMPDEST 00001665: SWAP15 00001666: SWAP14 00001667: POP 00001668: POP 00001669: POP 0000166a: POP 0000166b: POP 0000166c: POP 0000166d: POP 0000166e: POP 0000166f: POP 00001670: POP 00001671: POP 00001672: POP 00001673: POP 00001674: POP 00001675: JUMP 00001676: JUMPDEST 00001677: PUSH4 0x8b78c6d8 0000167c: NOT 0000167d: SLOAD 0000167e: CALLER 0000167f: EQ 00001680: PUSH2 0x0ce9 00001683: JUMPI 00001684: PUSH4 0x82b42900 00001689: PUSH0 0000168a: MSTORE 0000168b: PUSH1 0x04 0000168d: PUSH1 0x1c 0000168f: REVERT 00001690: JUMPDEST 00001691: PUSH15 0x22d473030f116ddee9f6b43ac78ba2 000016a1: NOT 000016a2: PUSH1 0x01 000016a4: PUSH1 0x01 000016a6: PUSH1 0xa0 000016a8: SHL 000016a9: SUB 000016aa: DUP4 000016ab: AND 000016ac: ADD 000016ad: PUSH2 0x16b5 000016b0: JUMPI 000016b1: POP 000016b2: POP 000016b3: POP 000016b4: JUMP 000016b5: JUMPDEST 000016b6: DUP2 000016b7: PUSH1 0x20 000016b9: MSTORE 000016ba: PUSH4 0x7f5e9f20 000016bf: PUSH1 0x0c 000016c1: MSTORE 000016c2: DUP3 000016c3: PUSH0 000016c4: MSTORE 000016c5: PUSH1 0x34 000016c7: PUSH1 0x0c 000016c9: KECCAK256 000016ca: DUP1 000016cb: SLOAD 000016cc: DUP1 000016cd: NOT 000016ce: ISZERO 000016cf: PUSH2 0x0f05 000016d2: JUMPI 000016d3: DUP1 000016d4: DUP4 000016d5: GT 000016d6: ISZERO 000016d7: PUSH2 0x16e7 000016da: JUMPI 000016db: PUSH4 0x13be252b 000016e0: PUSH0 000016e1: MSTORE 000016e2: PUSH1 0x04 000016e4: PUSH1 0x1c 000016e6: REVERT 000016e7: JUMPDEST 000016e8: SWAP2 000016e9: SWAP1 000016ea: SWAP2 000016eb: SUB 000016ec: SWAP1 000016ed: SSTORE 000016ee: POP 000016ef: POP 000016f0: JUMP 000016f1: JUMPDEST 000016f2: DUP3 000016f3: PUSH1 0x60 000016f5: SHL 000016f6: PUSH4 0x87a211a2 000016fb: DUP2 000016fc: OR 000016fd: PUSH1 0x0c 000016ff: MSTORE 00001700: PUSH1 0x20 00001702: PUSH1 0x0c 00001704: KECCAK256 00001705: DUP1 00001706: SLOAD 00001707: DUP1 00001708: DUP5 00001709: GT 0000170a: ISZERO 0000170b: PUSH2 0x171b 0000170e: JUMPI 0000170f: PUSH4 0xf4d678b8 00001714: PUSH0 00001715: MSTORE 00001716: PUSH1 0x04 00001718: PUSH1 0x1c 0000171a: REVERT 0000171b: JUMPDEST 0000171c: DUP4 0000171d: DUP2 0000171e: SUB 0000171f: DUP3 00001720: SSTORE 00001721: POP 00001722: POP 00001723: DUP3 00001724: PUSH0 00001725: MSTORE 00001726: PUSH1 0x20 00001728: PUSH1 0x0c 0000172a: KECCAK256 0000172b: DUP3 0000172c: DUP2 0000172d: SLOAD 0000172e: ADD 0000172f: DUP2 00001730: SSTORE 00001731: POP 00001732: DUP2 00001733: PUSH1 0x20 00001735: MSTORE 00001736: PUSH1 0x0c 00001738: MLOAD 00001739: PUSH1 0x60 0000173b: SHR 0000173c: DUP2 0000173d: PUSH1 0x60 0000173f: SHR 00001740: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001761: PUSH1 0x20 00001763: DUP1 00001764: LOG3 00001765: POP 00001766: POP 00001767: POP 00001768: POP 00001769: JUMP 0000176a: JUMPDEST 0000176b: PUSH4 0x8b78c6d8 00001770: NOT 00001771: DUP1 00001772: SLOAD 00001773: PUSH1 0x01 00001775: PUSH1 0x01 00001777: PUSH1 0xa0 00001779: SHL 0000177a: SUB 0000177b: SWAP1 0000177c: SWAP3 0000177d: AND 0000177e: SWAP2 0000177f: DUP3 00001780: SWAP1 00001781: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000017a2: PUSH0 000017a3: DUP1 000017a4: LOG3 000017a5: SSTORE 000017a6: JUMP 000017a7: JUMPDEST 000017a8: PUSH0 000017a9: PUSH11 0x115eec47f6cf7e35000000 000017b5: PUSH2 0x17be 000017b8: DUP4 000017b9: DUP6 000017ba: PUSH2 0x1d99 000017bd: JUMP 000017be: JUMPDEST 000017bf: GT 000017c0: ISZERO 000017c1: PUSH2 0x180c 000017c4: JUMPI 000017c5: PUSH1 0x40 000017c7: MLOAD 000017c8: PUSH3 0x461bcd 000017cc: PUSH1 0xe5 000017ce: SHL 000017cf: DUP2 000017d0: MSTORE 000017d1: PUSH1 0x20 000017d3: PUSH1 0x04 000017d5: DUP3 000017d6: ADD 000017d7: MSTORE 000017d8: PUSH1 0x12 000017da: PUSH1 0x24 000017dc: DUP3 000017dd: ADD 000017de: MSTORE 000017df: PUSH32 0x4d617820737570706c7920726561636865640000000000000000000000000000 00001800: PUSH1 0x44 00001802: DUP3 00001803: ADD 00001804: MSTORE 00001805: PUSH1 0x64 00001807: ADD 00001808: PUSH2 0x0c63 0000180b: JUMP 0000180c: JUMPDEST 0000180d: PUSH1 0x40 0000180f: DUP1 00001810: MLOAD 00001811: PUSH1 0xa0 00001813: DUP2 00001814: ADD 00001815: DUP3 00001816: MSTORE 00001817: PUSH1 0x01 00001819: SLOAD 0000181a: PUSH1 0x01 0000181c: PUSH1 0x01 0000181e: PUSH1 0x80 00001820: SHL 00001821: SUB 00001822: DUP1 00001823: DUP3 00001824: AND 00001825: PUSH1 0x60 00001827: DUP5 00001828: ADD 00001829: SWAP1 0000182a: DUP2 0000182b: MSTORE 0000182c: PUSH1 0x01 0000182e: PUSH1 0x80 00001830: SHL 00001831: SWAP3 00001832: DUP4 00001833: SWAP1 00001834: DIV 00001835: DUP3 00001836: AND 00001837: PUSH1 0x80 00001839: DUP6 0000183a: ADD 0000183b: MSTORE 0000183c: DUP4 0000183d: MSTORE 0000183e: PUSH1 0x02 00001840: SLOAD 00001841: DUP1 00001842: DUP3 00001843: AND 00001844: PUSH1 0x20 00001846: DUP6 00001847: ADD 00001848: MSTORE 00001849: SWAP2 0000184a: SWAP1 0000184b: SWAP2 0000184c: DIV 0000184d: AND 0000184e: SWAP2 0000184f: DUP2 00001850: ADD 00001851: SWAP2 00001852: SWAP1 00001853: SWAP2 00001854: MSTORE 00001855: PUSH2 0x158e 00001858: SWAP1 00001859: DUP5 0000185a: DUP5 0000185b: PUSH2 0x1a23 0000185e: JUMP 0000185f: JUMPDEST 00001860: PUSH0 00001861: PUSH0 00001862: PUSH2 0x186b 00001865: DUP5 00001866: DUP5 00001867: PUSH2 0x17a7 0000186a: JUMP 0000186b: JUMPDEST 0000186c: SWAP1 0000186d: POP 0000186e: PUSH0 0000186f: PUSH2 0x1881 00001872: PUSH2 0x187b 00001875: DUP6 00001876: DUP8 00001877: PUSH2 0x1d99 0000187a: JUMP 0000187b: JUMPDEST 0000187c: DUP6 0000187d: PUSH2 0x14ea 00001880: JUMP 00001881: JUMPDEST 00001882: SWAP1 00001883: POP 00001884: PUSH2 0x2710 00001887: PUSH2 0x07d0 0000188a: PUSH2 0x1893 0000188d: DUP4 0000188e: DUP6 0000188f: PUSH2 0x1d50 00001892: JUMP 00001893: JUMPDEST 00001894: PUSH2 0x189d 00001897: SWAP2 00001898: SWAP1 00001899: PUSH2 0x1d63 0000189c: JUMP 0000189d: JUMPDEST 0000189e: PUSH2 0x18a7 000018a1: SWAP2 000018a2: SWAP1 000018a3: PUSH2 0x1d7a 000018a6: JUMP 000018a7: JUMPDEST 000018a8: SWAP6 000018a9: SWAP5 000018aa: POP 000018ab: POP 000018ac: POP 000018ad: POP 000018ae: POP 000018af: JUMP 000018b0: JUMPDEST 000018b1: PUSH9 0x05345cdf77eb68f44c 000018bb: SLOAD 000018bc: DUP2 000018bd: DUP2 000018be: ADD 000018bf: DUP2 000018c0: DUP2 000018c1: LT 000018c2: ISZERO 000018c3: PUSH2 0x18d3 000018c6: JUMPI 000018c7: PUSH4 0xe5cfe957 000018cc: PUSH0 000018cd: MSTORE 000018ce: PUSH1 0x04 000018d0: PUSH1 0x1c 000018d2: REVERT 000018d3: JUMPDEST 000018d4: DUP1 000018d5: PUSH9 0x05345cdf77eb68f44c 000018df: SSTORE 000018e0: POP 000018e1: POP 000018e2: PUSH4 0x87a211a2 000018e7: PUSH1 0x0c 000018e9: MSTORE 000018ea: DUP2 000018eb: PUSH0 000018ec: MSTORE 000018ed: PUSH1 0x20 000018ef: PUSH1 0x0c 000018f1: KECCAK256 000018f2: DUP2 000018f3: DUP2 000018f4: SLOAD 000018f5: ADD 000018f6: DUP2 000018f7: SSTORE 000018f8: POP 000018f9: DUP1 000018fa: PUSH1 0x20 000018fc: MSTORE 000018fd: PUSH1 0x0c 000018ff: MLOAD 00001900: PUSH1 0x60 00001902: SHR 00001903: PUSH0 00001904: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001925: PUSH1 0x20 00001927: DUP1 00001928: LOG3 00001929: JUMPDEST 0000192a: POP 0000192b: POP 0000192c: JUMP 0000192d: JUMPDEST 0000192e: PUSH0 0000192f: CODESIZE 00001930: PUSH0 00001931: CODESIZE 00001932: DUP5 00001933: DUP7 00001934: GAS 00001935: CALL 00001936: PUSH2 0x1929 00001939: JUMPI 0000193a: PUSH4 0xb12d13eb 0000193f: PUSH0 00001940: MSTORE 00001941: PUSH1 0x04 00001943: PUSH1 0x1c 00001945: REVERT 00001946: JUMPDEST 00001947: PUSH4 0x87a211a2 0000194c: PUSH1 0x0c 0000194e: MSTORE 0000194f: DUP2 00001950: PUSH0 00001951: MSTORE 00001952: PUSH1 0x20 00001954: PUSH1 0x0c 00001956: KECCAK256 00001957: DUP1 00001958: SLOAD 00001959: DUP1 0000195a: DUP4 0000195b: GT 0000195c: ISZERO 0000195d: PUSH2 0x196d 00001960: JUMPI 00001961: PUSH4 0xf4d678b8 00001966: PUSH0 00001967: MSTORE 00001968: PUSH1 0x04 0000196a: PUSH1 0x1c 0000196c: REVERT 0000196d: JUMPDEST 0000196e: DUP3 0000196f: SWAP1 00001970: SUB 00001971: SWAP1 00001972: SSTORE 00001973: PUSH9 0x05345cdf77eb68f44c 0000197d: DUP1 0000197e: SLOAD 0000197f: DUP3 00001980: SWAP1 00001981: SUB 00001982: SWAP1 00001983: SSTORE 00001984: PUSH0 00001985: DUP2 00001986: DUP2 00001987: MSTORE 00001988: PUSH1 0x01 0000198a: PUSH1 0x01 0000198c: PUSH1 0xa0 0000198e: SHL 0000198f: SUB 00001990: DUP4 00001991: AND 00001992: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000019b3: PUSH1 0x20 000019b5: DUP4 000019b6: LOG3 000019b7: POP 000019b8: POP 000019b9: JUMP 000019ba: JUMPDEST 000019bb: DUP3 000019bc: MLOAD 000019bd: PUSH0 000019be: SWAP1 000019bf: DUP2 000019c0: SWAP1 000019c1: PUSH2 0x19cb 000019c4: SWAP1 000019c5: DUP6 000019c6: DUP6 000019c7: PUSH2 0x1595 000019ca: JUMP 000019cb: JUMPDEST 000019cc: SWAP1 000019cd: POP 000019ce: PUSH2 0x18a7 000019d1: DUP6 000019d2: PUSH1 0x40 000019d4: ADD 000019d5: MLOAD 000019d6: PUSH1 0x01 000019d8: PUSH1 0x01 000019da: PUSH1 0x80 000019dc: SHL 000019dd: SUB 000019de: AND 000019df: PUSH8 0x0de0b6b3a7640000 000019e8: PUSH2 0x19f1 000019eb: SWAP2 000019ec: SWAP1 000019ed: PUSH2 0x1d50 000019f0: JUMP 000019f1: JUMPDEST 000019f2: DUP3 000019f3: SWAP1 000019f4: JUMPDEST 000019f5: PUSH0 000019f6: DUP2 000019f7: PUSH0 000019f8: NOT 000019f9: DIV 000019fa: DUP4 000019fb: GT 000019fc: ISZERO 000019fd: PUSH2 0x1a13 00001a00: JUMPI 00001a01: DUP2 00001a02: ISZERO 00001a03: PUSH2 0x1a13 00001a06: JUMPI 00001a07: PUSH4 0xbac65e5b 00001a0c: PUSH0 00001a0d: MSTORE 00001a0e: PUSH1 0x04 00001a10: PUSH1 0x1c 00001a12: REVERT 00001a13: JUMPDEST 00001a14: POP 00001a15: PUSH8 0x0de0b6b3a7640000 00001a1e: SWAP2 00001a1f: MUL 00001a20: DIV 00001a21: SWAP1 00001a22: JUMP 00001a23: JUMPDEST 00001a24: DUP3 00001a25: MLOAD 00001a26: PUSH0 00001a27: SWAP1 00001a28: DUP2 00001a29: SWAP1 00001a2a: PUSH2 0x1a34 00001a2d: SWAP1 00001a2e: DUP6 00001a2f: DUP6 00001a30: PUSH2 0x1a61 00001a33: JUMP 00001a34: JUMPDEST 00001a35: SWAP1 00001a36: POP 00001a37: PUSH2 0x18a7 00001a3a: DUP6 00001a3b: PUSH1 0x20 00001a3d: ADD 00001a3e: MLOAD 00001a3f: PUSH1 0x01 00001a41: PUSH1 0x01 00001a43: PUSH1 0x80 00001a45: SHL 00001a46: SUB 00001a47: AND 00001a48: PUSH8 0x0de0b6b3a7640000 00001a51: PUSH2 0x1a5a 00001a54: SWAP2 00001a55: SWAP1 00001a56: PUSH2 0x1d99 00001a59: JUMP 00001a5a: JUMPDEST 00001a5b: DUP3 00001a5c: SWAP1 00001a5d: PUSH2 0x1b24 00001a60: JUMP 00001a61: JUMPDEST 00001a62: DUP3 00001a63: MLOAD 00001a64: PUSH0 00001a65: SWAP1 00001a66: DUP2 00001a67: SWAP1 00001a68: PUSH2 0x1a7b 00001a6b: SWAP1 00001a6c: DUP5 00001a6d: SWAP1 00001a6e: PUSH1 0x01 00001a70: PUSH1 0x01 00001a72: PUSH1 0x80 00001a74: SHL 00001a75: SUB 00001a76: AND 00001a77: PUSH2 0x1b24 00001a7a: JUMP 00001a7b: JUMPDEST 00001a7c: SWAP1 00001a7d: POP 00001a7e: PUSH0 00001a7f: PUSH2 0x1a88 00001a82: DUP6 00001a83: DUP1 00001a84: PUSH2 0x1b24 00001a87: JUMP 00001a88: JUMPDEST 00001a89: SWAP1 00001a8a: POP 00001a8b: PUSH0 00001a8c: PUSH2 0x1a95 00001a8f: DUP3 00001a90: DUP7 00001a91: PUSH2 0x1b24 00001a94: JUMP 00001a95: JUMPDEST 00001a96: SWAP1 00001a97: POP 00001a98: PUSH0 00001a99: PUSH2 0x1aa2 00001a9c: DUP7 00001a9d: DUP1 00001a9e: PUSH2 0x1b24 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: SWAP1 00001aa4: POP 00001aa5: PUSH0 00001aa6: PUSH2 0x1aaf 00001aa9: DUP9 00001aaa: DUP4 00001aab: PUSH2 0x1b24 00001aae: JUMP 00001aaf: JUMPDEST 00001ab0: SWAP1 00001ab1: POP 00001ab2: PUSH0 00001ab3: PUSH2 0x1ac6 00001ab6: DUP9 00001ab7: PUSH2 0x1ac0 00001aba: DUP2 00001abb: DUP1 00001abc: PUSH2 0x1b24 00001abf: JUMP 00001ac0: JUMPDEST 00001ac1: SWAP1 00001ac2: PUSH2 0x1b24 00001ac5: JUMP 00001ac6: JUMPDEST 00001ac7: SWAP1 00001ac8: POP 00001ac9: PUSH0 00001aca: PUSH2 0x1adc 00001acd: PUSH1 0x03 00001acf: PUSH8 0x0de0b6b3a7640000 00001ad8: PUSH2 0x1d7a 00001adb: JUMP 00001adc: JUMPDEST 00001add: SWAP1 00001ade: POP 00001adf: PUSH0 00001ae0: PUSH2 0x1ae9 00001ae3: DUP4 00001ae4: DUP4 00001ae5: PUSH2 0x1b24 00001ae8: JUMP 00001ae9: JUMPDEST 00001aea: SWAP1 00001aeb: POP 00001aec: PUSH0 00001aed: DUP2 00001aee: PUSH2 0x1af7 00001af1: DUP7 00001af2: DUP10 00001af3: PUSH2 0x1d99 00001af6: JUMP 00001af7: JUMPDEST 00001af8: PUSH2 0x1b01 00001afb: SWAP2 00001afc: SWAP1 00001afd: PUSH2 0x1d99 00001b00: JUMP 00001b01: JUMPDEST 00001b02: SWAP1 00001b03: POP 00001b04: PUSH0 00001b05: PUSH2 0x1658 00001b08: DUP15 00001b09: PUSH1 0x20 00001b0b: ADD 00001b0c: MLOAD 00001b0d: PUSH1 0x01 00001b0f: PUSH1 0x01 00001b11: PUSH1 0x80 00001b13: SHL 00001b14: SUB 00001b15: AND 00001b16: DUP4 00001b17: PUSH2 0x1b24 00001b1a: SWAP1 00001b1b: SWAP2 00001b1c: SWAP1 00001b1d: PUSH4 0xffffffff 00001b22: AND 00001b23: JUMP 00001b24: JUMPDEST 00001b25: DUP2 00001b26: DUP2 00001b27: MUL 00001b28: DUP2 00001b29: DUP2 00001b2a: DIV 00001b2b: DUP4 00001b2c: EQ 00001b2d: PUSH2 0x1b43 00001b30: JUMPI 00001b31: DUP2 00001b32: ISZERO 00001b33: PUSH2 0x1b43 00001b36: JUMPI 00001b37: PUSH4 0xbac65e5b 00001b3c: PUSH0 00001b3d: MSTORE 00001b3e: PUSH1 0x04 00001b40: PUSH1 0x1c 00001b42: REVERT 00001b43: JUMPDEST 00001b44: PUSH8 0x0de0b6b3a7640000 00001b4d: DUP1 00001b4e: DUP3 00001b4f: MOD 00001b50: ISZERO 00001b51: ISZERO 00001b52: SWAP2 00001b53: DIV 00001b54: ADD 00001b55: SWAP3 00001b56: SWAP2 00001b57: POP 00001b58: POP 00001b59: JUMP 00001b5a: JUMPDEST 00001b5b: PUSH1 0x20 00001b5d: DUP2 00001b5e: MSTORE 00001b5f: PUSH0 00001b60: DUP3 00001b61: MLOAD 00001b62: DUP1 00001b63: PUSH1 0x20 00001b65: DUP5 00001b66: ADD 00001b67: MSTORE 00001b68: DUP1 00001b69: PUSH1 0x20 00001b6b: DUP6 00001b6c: ADD 00001b6d: PUSH1 0x40 00001b6f: DUP6 00001b70: ADD 00001b71: MCOPY 00001b72: PUSH0 00001b73: PUSH1 0x40 00001b75: DUP3 00001b76: DUP6 00001b77: ADD 00001b78: ADD 00001b79: MSTORE 00001b7a: PUSH1 0x40 00001b7c: PUSH1 0x1f 00001b7e: NOT 00001b7f: PUSH1 0x1f 00001b81: DUP4 00001b82: ADD 00001b83: AND 00001b84: DUP5 00001b85: ADD 00001b86: ADD 00001b87: SWAP2 00001b88: POP 00001b89: POP 00001b8a: SWAP3 00001b8b: SWAP2 00001b8c: POP 00001b8d: POP 00001b8e: JUMP 00001b8f: JUMPDEST 00001b90: DUP1 00001b91: CALLDATALOAD 00001b92: PUSH1 0x01 00001b94: PUSH1 0x01 00001b96: PUSH1 0xa0 00001b98: SHL 00001b99: SUB 00001b9a: DUP2 00001b9b: AND 00001b9c: DUP2 00001b9d: EQ 00001b9e: PUSH2 0x1ba5 00001ba1: JUMPI 00001ba2: PUSH0 00001ba3: PUSH0 00001ba4: REVERT 00001ba5: JUMPDEST 00001ba6: SWAP2 00001ba7: SWAP1 00001ba8: POP 00001ba9: JUMP 00001baa: JUMPDEST 00001bab: PUSH0 00001bac: PUSH0 00001bad: PUSH1 0x40 00001baf: DUP4 00001bb0: DUP6 00001bb1: SUB 00001bb2: SLT 00001bb3: ISZERO 00001bb4: PUSH2 0x1bbb 00001bb7: JUMPI 00001bb8: PUSH0 00001bb9: PUSH0 00001bba: REVERT 00001bbb: JUMPDEST 00001bbc: PUSH2 0x1bc4 00001bbf: DUP4 00001bc0: PUSH2 0x1b8f 00001bc3: JUMP 00001bc4: JUMPDEST 00001bc5: SWAP5 00001bc6: PUSH1 0x20 00001bc8: SWAP4 00001bc9: SWAP1 00001bca: SWAP4 00001bcb: ADD 00001bcc: CALLDATALOAD 00001bcd: SWAP4 00001bce: POP 00001bcf: POP 00001bd0: POP 00001bd1: JUMP 00001bd2: JUMPDEST 00001bd3: PUSH0 00001bd4: PUSH0 00001bd5: PUSH0 00001bd6: PUSH1 0x60 00001bd8: DUP5 00001bd9: DUP7 00001bda: SUB 00001bdb: SLT 00001bdc: ISZERO 00001bdd: PUSH2 0x1be4 00001be0: JUMPI 00001be1: PUSH0 00001be2: PUSH0 00001be3: REVERT 00001be4: JUMPDEST 00001be5: PUSH2 0x1bed 00001be8: DUP5 00001be9: PUSH2 0x1b8f 00001bec: JUMP 00001bed: JUMPDEST 00001bee: SWAP3 00001bef: POP 00001bf0: PUSH2 0x1bfb 00001bf3: PUSH1 0x20 00001bf5: DUP6 00001bf6: ADD 00001bf7: PUSH2 0x1b8f 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: SWAP3 00001bfd: SWAP6 00001bfe: SWAP3 00001bff: SWAP5 00001c00: POP 00001c01: POP 00001c02: POP 00001c03: PUSH1 0x40 00001c05: SWAP2 00001c06: SWAP1 00001c07: SWAP2 00001c08: ADD 00001c09: CALLDATALOAD 00001c0a: SWAP1 00001c0b: JUMP 00001c0c: JUMPDEST 00001c0d: PUSH0 00001c0e: PUSH1 0x20 00001c10: DUP3 00001c11: DUP5 00001c12: SUB 00001c13: SLT 00001c14: ISZERO 00001c15: PUSH2 0x1c1c 00001c18: JUMPI 00001c19: PUSH0 00001c1a: PUSH0 00001c1b: REVERT 00001c1c: JUMPDEST 00001c1d: PUSH2 0x158e 00001c20: DUP3 00001c21: PUSH2 0x1b8f 00001c24: JUMP 00001c25: JUMPDEST 00001c26: PUSH0 00001c27: PUSH1 0x20 00001c29: DUP3 00001c2a: DUP5 00001c2b: SUB 00001c2c: SLT 00001c2d: ISZERO 00001c2e: PUSH2 0x1c35 00001c31: JUMPI 00001c32: PUSH0 00001c33: PUSH0 00001c34: REVERT 00001c35: JUMPDEST 00001c36: POP 00001c37: CALLDATALOAD 00001c38: SWAP2 00001c39: SWAP1 00001c3a: POP 00001c3b: JUMP 00001c3c: JUMPDEST 00001c3d: PUSH0 00001c3e: PUSH0 00001c3f: PUSH1 0x40 00001c41: DUP4 00001c42: DUP6 00001c43: SUB 00001c44: SLT 00001c45: ISZERO 00001c46: PUSH2 0x1c4d 00001c49: JUMPI 00001c4a: PUSH0 00001c4b: PUSH0 00001c4c: REVERT 00001c4d: JUMPDEST 00001c4e: DUP3 00001c4f: CALLDATALOAD 00001c50: SWAP2 00001c51: POP 00001c52: PUSH2 0x1c5d 00001c55: PUSH1 0x20 00001c57: DUP5 00001c58: ADD 00001c59: PUSH2 0x1b8f 00001c5c: JUMP 00001c5d: JUMPDEST 00001c5e: SWAP1 00001c5f: POP 00001c60: SWAP3 00001c61: POP 00001c62: SWAP3 00001c63: SWAP1 00001c64: POP 00001c65: JUMP 00001c66: JUMPDEST 00001c67: PUSH0 00001c68: PUSH0 00001c69: PUSH0 00001c6a: PUSH0 00001c6b: PUSH1 0x80 00001c6d: DUP6 00001c6e: DUP8 00001c6f: SUB 00001c70: SLT 00001c71: ISZERO 00001c72: PUSH2 0x1c79 00001c75: JUMPI 00001c76: PUSH0 00001c77: PUSH0 00001c78: REVERT 00001c79: JUMPDEST 00001c7a: DUP5 00001c7b: CALLDATALOAD 00001c7c: SWAP4 00001c7d: POP 00001c7e: PUSH2 0x1c89 00001c81: PUSH1 0x20 00001c83: DUP7 00001c84: ADD 00001c85: PUSH2 0x1b8f 00001c88: JUMP 00001c89: JUMPDEST 00001c8a: SWAP3 00001c8b: POP 00001c8c: PUSH2 0x1c97 00001c8f: PUSH1 0x40 00001c91: DUP7 00001c92: ADD 00001c93: PUSH2 0x1b8f 00001c96: JUMP 00001c97: JUMPDEST 00001c98: SWAP4 00001c99: SWAP7 00001c9a: SWAP3 00001c9b: SWAP6 00001c9c: POP 00001c9d: SWAP3 00001c9e: SWAP4 00001c9f: PUSH1 0x60 00001ca1: ADD 00001ca2: CALLDATALOAD 00001ca3: SWAP3 00001ca4: POP 00001ca5: POP 00001ca6: JUMP 00001ca7: JUMPDEST 00001ca8: PUSH0 00001ca9: PUSH0 00001caa: PUSH0 00001cab: PUSH0 00001cac: PUSH0 00001cad: PUSH0 00001cae: PUSH0 00001caf: PUSH1 0xe0 00001cb1: DUP9 00001cb2: DUP11 00001cb3: SUB 00001cb4: SLT 00001cb5: ISZERO 00001cb6: PUSH2 0x1cbd 00001cb9: JUMPI 00001cba: PUSH0 00001cbb: PUSH0 00001cbc: REVERT 00001cbd: JUMPDEST 00001cbe: PUSH2 0x1cc6 00001cc1: DUP9 00001cc2: PUSH2 0x1b8f 00001cc5: JUMP 00001cc6: JUMPDEST 00001cc7: SWAP7 00001cc8: POP 00001cc9: PUSH2 0x1cd4 00001ccc: PUSH1 0x20 00001cce: DUP10 00001ccf: ADD 00001cd0: PUSH2 0x1b8f 00001cd3: JUMP 00001cd4: JUMPDEST 00001cd5: SWAP6 00001cd6: POP 00001cd7: PUSH1 0x40 00001cd9: DUP9 00001cda: ADD 00001cdb: CALLDATALOAD 00001cdc: SWAP5 00001cdd: POP 00001cde: PUSH1 0x60 00001ce0: DUP9 00001ce1: ADD 00001ce2: CALLDATALOAD 00001ce3: SWAP4 00001ce4: POP 00001ce5: PUSH1 0x80 00001ce7: DUP9 00001ce8: ADD 00001ce9: CALLDATALOAD 00001cea: PUSH1 0xff 00001cec: DUP2 00001ced: AND 00001cee: DUP2 00001cef: EQ 00001cf0: PUSH2 0x1cf7 00001cf3: JUMPI 00001cf4: PUSH0 00001cf5: PUSH0 00001cf6: REVERT 00001cf7: JUMPDEST 00001cf8: SWAP7 00001cf9: SWAP10 00001cfa: SWAP6 00001cfb: SWAP9 00001cfc: POP 00001cfd: SWAP4 00001cfe: SWAP7 00001cff: SWAP3 00001d00: SWAP6 00001d01: SWAP5 00001d02: PUSH1 0xa0 00001d04: DUP5 00001d05: ADD 00001d06: CALLDATALOAD 00001d07: SWAP5 00001d08: POP 00001d09: PUSH1 0xc0 00001d0b: SWAP1 00001d0c: SWAP4 00001d0d: ADD 00001d0e: CALLDATALOAD 00001d0f: SWAP3 00001d10: SWAP2 00001d11: POP 00001d12: POP 00001d13: JUMP 00001d14: JUMPDEST 00001d15: PUSH0 00001d16: PUSH0 00001d17: PUSH1 0x40 00001d19: DUP4 00001d1a: DUP6 00001d1b: SUB 00001d1c: SLT 00001d1d: ISZERO 00001d1e: PUSH2 0x1d25 00001d21: JUMPI 00001d22: PUSH0 00001d23: PUSH0 00001d24: REVERT 00001d25: JUMPDEST 00001d26: PUSH2 0x1d2e 00001d29: DUP4 00001d2a: PUSH2 0x1b8f 00001d2d: JUMP 00001d2e: JUMPDEST 00001d2f: SWAP2 00001d30: POP 00001d31: PUSH2 0x1c5d 00001d34: PUSH1 0x20 00001d36: DUP5 00001d37: ADD 00001d38: PUSH2 0x1b8f 00001d3b: JUMP 00001d3c: JUMPDEST 00001d3d: PUSH4 0x4e487b71 00001d42: PUSH1 0xe0 00001d44: SHL 00001d45: PUSH0 00001d46: MSTORE 00001d47: PUSH1 0x11 00001d49: PUSH1 0x04 00001d4b: MSTORE 00001d4c: PUSH1 0x24 00001d4e: PUSH0 00001d4f: REVERT 00001d50: JUMPDEST 00001d51: DUP2 00001d52: DUP2 00001d53: SUB 00001d54: DUP2 00001d55: DUP2 00001d56: GT 00001d57: ISZERO 00001d58: PUSH2 0x0952 00001d5b: JUMPI 00001d5c: PUSH2 0x0952 00001d5f: PUSH2 0x1d3c 00001d62: JUMP 00001d63: JUMPDEST 00001d64: DUP1 00001d65: DUP3 00001d66: MUL 00001d67: DUP2 00001d68: ISZERO 00001d69: DUP3 00001d6a: DUP3 00001d6b: DIV 00001d6c: DUP5 00001d6d: EQ 00001d6e: OR 00001d6f: PUSH2 0x0952 00001d72: JUMPI 00001d73: PUSH2 0x0952 00001d76: PUSH2 0x1d3c 00001d79: JUMP 00001d7a: JUMPDEST 00001d7b: PUSH0 00001d7c: DUP3 00001d7d: PUSH2 0x1d94 00001d80: JUMPI 00001d81: PUSH4 0x4e487b71 00001d86: PUSH1 0xe0 00001d88: SHL 00001d89: PUSH0 00001d8a: MSTORE 00001d8b: PUSH1 0x12 00001d8d: PUSH1 0x04 00001d8f: MSTORE 00001d90: PUSH1 0x24 00001d92: PUSH0 00001d93: REVERT 00001d94: JUMPDEST 00001d95: POP 00001d96: DIV 00001d97: SWAP1 00001d98: JUMP 00001d99: JUMPDEST 00001d9a: DUP1 00001d9b: DUP3 00001d9c: ADD 00001d9d: DUP1 00001d9e: DUP3 00001d9f: GT 00001da0: ISZERO 00001da1: PUSH2 0x0952 00001da4: JUMPI 00001da5: PUSH2 0x0952 00001da8: PUSH2 0x1d3c 00001dab: JUMP 00001dac: INVALID 00001dad: LOG2 00001dae: PUSH5 0x6970667358 00001db4: UNKNOWN(0x22) 00001db5: SLT 00001db6: KECCAK256 00001db7: UNKNOWN(0xBD) 00001db8: JUMPDEST 00001db9: UNKNOWN(0xC0) 00001dba: CALLDATACOPY 00001dbb: COINBASE 00001dbc: UNKNOWN(0xD5) 00001dbd: SHR 00001dbe: UNKNOWN(0xB1) 00001dbf: UNKNOWN(0x0E) 00001dc0: UNKNOWN(0x25) 00001dc1: UNKNOWN(0xB2) 00001dc2: UNKNOWN(0xE0) 00001dc3: SWAP6 00001dc4: UNKNOWN(0xA9) 00001dc5: SWAP5 00001dc6: SWAP13 00001dc7: INVALID 00001dc8: LOG2 00001dc9: DUP10 00001dca: UNKNOWN(0xC3) 00001dcb: UNKNOWN(0xAD) 00001dcc: UNKNOWN(0xA9) 00001dcd: UNKNOWN(0xD9) 00001dce: LOG4 00001dcf: UNKNOWN(0xD3) 00001dd0: NUMBER 00001dd1: PUSH11 0x86598dc35c64736f6c6343 00001ddd: STOP 00001dde: ADDMOD 00001ddf: CLZ 00001de0: STOP 00001de1: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x674ad3a5ff4041d59e2079ca842ab9e52cb47c135b4f4edc2059737da2c0f1e1
call_targets:
0x38778e6d4d0dbe9becef3ae8b938570209efa48b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x674ad3a5ff4041d59e2079ca842ab9e52cb47c135b4f4edc2059737da2c0f1e1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x38778e6d4d0dbe9becef3ae8b938570209efa48b"
],
"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": "0xf04e283e",
"selector": "0xf04e283e",
"calldata_variants": [
"0xf04e283e",
"0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfee81cf4",
"selector": "0xfee81cf4",
"calldata_variants": [
"0xfee81cf4",
"0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe521cb92",
"selector": "0xe521cb92",
"calldata_variants": [
"0xe521cb92",
"0xe521cb920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca5c7b91",
"selector": "0xca5c7b91",
"calldata_variants": [
"0xca5c7b91",
"0xca5c7b910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3293de",
"selector": "0xcd3293de",
"calldata_variants": [
"0xcd3293de",
"0xcd3293de0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2597,
"type": "msg_sender_eq_const",
"value": 1.8084707621151866e+35
},
{
"pc": 5759,
"type": "msg_sender_eq_storage"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x674ad3a5ff4041d59e2079ca842ab9e52cb47c135b4f4edc2059737da2c0f1e1
call_targets:
0x38778e6d4d0dbe9becef3ae8b938570209efa48b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x674ad3a5ff4041d59e2079ca842ab9e52cb47c135b4f4edc2059737da2c0f1e1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x38778e6d4d0dbe9becef3ae8b938570209efa48b"
],
"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": "0xf04e283e",
"selector": "0xf04e283e",
"calldata_variants": [
"0xf04e283e",
"0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfee81cf4",
"selector": "0xfee81cf4",
"calldata_variants": [
"0xfee81cf4",
"0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe521cb92",
"selector": "0xe521cb92",
"calldata_variants": [
"0xe521cb92",
"0xe521cb920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca5c7b91",
"selector": "0xca5c7b91",
"calldata_variants": [
"0xca5c7b91",
"0xca5c7b910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3293de",
"selector": "0xcd3293de",
"calldata_variants": [
"0xcd3293de",
"0xcd3293de0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2597,
"type": "msg_sender_eq_const",
"value": 1.8084707621151866e+35
},
{
"pc": 5759,
"type": "msg_sender_eq_storage"
}
]
}
|