019b477e-afb6-7223-9de4-8698f426367a
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 |
|---|---|---|---|---|
| 21833 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21834 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64650 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64651 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64652 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64653 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00f1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x00f3 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x0183 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x01e8 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x23b872dd 0000005d: EQ 0000005e: PUSH2 0x0213 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x27e235e3 00000068: EQ 00000069: PUSH2 0x0298 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x02ef 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x3eaaf86b 0000007e: EQ 0000007f: PUSH2 0x0320 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x42966c68 00000089: EQ 0000008a: PUSH2 0x034b 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x59bf5d39 00000094: EQ 00000095: PUSH2 0x0390 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x5c658165 0000009f: EQ 000000a0: PUSH2 0x03bb 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x70a08231 000000aa: EQ 000000ab: PUSH2 0x0432 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x95d89b41 000000b5: EQ 000000b6: PUSH2 0x0489 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x9c7ebb30 000000c0: EQ 000000c1: PUSH2 0x0519 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xa9059cbb 000000cb: EQ 000000cc: PUSH2 0x054d 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xd81111ab 000000d6: EQ 000000d7: PUSH2 0x05b2 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xdd62ed3e 000000e1: EQ 000000e2: PUSH2 0x05d0 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xf7654176 000000ec: EQ 000000ed: PUSH2 0x0647 000000f0: JUMPI 000000f1: JUMPDEST 000000f2: STOP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x0108 00000104: PUSH2 0x0676 00000107: JUMP 00000108: JUMPDEST 00000109: PUSH1 0x40 0000010b: MLOAD 0000010c: DUP1 0000010d: DUP1 0000010e: PUSH1 0x20 00000110: ADD 00000111: DUP3 00000112: DUP2 00000113: SUB 00000114: DUP3 00000115: MSTORE 00000116: DUP4 00000117: DUP2 00000118: DUP2 00000119: MLOAD 0000011a: DUP2 0000011b: MSTORE 0000011c: PUSH1 0x20 0000011e: ADD 0000011f: SWAP2 00000120: POP 00000121: DUP1 00000122: MLOAD 00000123: SWAP1 00000124: PUSH1 0x20 00000126: ADD 00000127: SWAP1 00000128: DUP1 00000129: DUP4 0000012a: DUP4 0000012b: PUSH1 0x00 0000012d: JUMPDEST 0000012e: DUP4 0000012f: DUP2 00000130: LT 00000131: ISZERO 00000132: PUSH2 0x0148 00000135: JUMPI 00000136: DUP1 00000137: DUP3 00000138: ADD 00000139: MLOAD 0000013a: DUP2 0000013b: DUP5 0000013c: ADD 0000013d: MSTORE 0000013e: PUSH1 0x20 00000140: DUP2 00000141: ADD 00000142: SWAP1 00000143: POP 00000144: PUSH2 0x012d 00000147: JUMP 00000148: JUMPDEST 00000149: POP 0000014a: POP 0000014b: POP 0000014c: POP 0000014d: SWAP1 0000014e: POP 0000014f: SWAP1 00000150: DUP2 00000151: ADD 00000152: SWAP1 00000153: PUSH1 0x1f 00000155: AND 00000156: DUP1 00000157: ISZERO 00000158: PUSH2 0x0175 0000015b: JUMPI 0000015c: DUP1 0000015d: DUP3 0000015e: SUB 0000015f: DUP1 00000160: MLOAD 00000161: PUSH1 0x01 00000163: DUP4 00000164: PUSH1 0x20 00000166: SUB 00000167: PUSH2 0x0100 0000016a: EXP 0000016b: SUB 0000016c: NOT 0000016d: AND 0000016e: DUP2 0000016f: MSTORE 00000170: PUSH1 0x20 00000172: ADD 00000173: SWAP2 00000174: POP 00000175: JUMPDEST 00000176: POP 00000177: SWAP3 00000178: POP 00000179: POP 0000017a: POP 0000017b: PUSH1 0x40 0000017d: MLOAD 0000017e: DUP1 0000017f: SWAP2 00000180: SUB 00000181: SWAP1 00000182: RETURN 00000183: JUMPDEST 00000184: CALLVALUE 00000185: DUP1 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: PUSH2 0x01ce 00000194: PUSH1 0x04 00000196: DUP1 00000197: CALLDATASIZE 00000198: SUB 00000199: DUP2 0000019a: ADD 0000019b: SWAP1 0000019c: DUP1 0000019d: DUP1 0000019e: CALLDATALOAD 0000019f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b4: AND 000001b5: SWAP1 000001b6: PUSH1 0x20 000001b8: ADD 000001b9: SWAP1 000001ba: SWAP3 000001bb: SWAP2 000001bc: SWAP1 000001bd: DUP1 000001be: CALLDATALOAD 000001bf: SWAP1 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: SWAP1 000001c4: SWAP3 000001c5: SWAP2 000001c6: SWAP1 000001c7: POP 000001c8: POP 000001c9: POP 000001ca: PUSH2 0x0714 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: DUP1 000001d3: DUP3 000001d4: ISZERO 000001d5: ISZERO 000001d6: ISZERO 000001d7: ISZERO 000001d8: DUP2 000001d9: MSTORE 000001da: PUSH1 0x20 000001dc: ADD 000001dd: SWAP2 000001de: POP 000001df: POP 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: DUP1 000001e4: SWAP2 000001e5: SUB 000001e6: SWAP1 000001e7: RETURN 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x01fd 000001f9: PUSH2 0x089e 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: DUP1 00000202: DUP3 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: DUP1 0000020f: SWAP2 00000210: SUB 00000211: SWAP1 00000212: RETURN 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x027e 00000224: PUSH1 0x04 00000226: DUP1 00000227: CALLDATASIZE 00000228: SUB 00000229: DUP2 0000022a: ADD 0000022b: SWAP1 0000022c: DUP1 0000022d: DUP1 0000022e: CALLDATALOAD 0000022f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000244: AND 00000245: SWAP1 00000246: PUSH1 0x20 00000248: ADD 00000249: SWAP1 0000024a: SWAP3 0000024b: SWAP2 0000024c: SWAP1 0000024d: DUP1 0000024e: CALLDATALOAD 0000024f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000264: AND 00000265: SWAP1 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: SWAP3 0000026b: SWAP2 0000026c: SWAP1 0000026d: DUP1 0000026e: CALLDATALOAD 0000026f: SWAP1 00000270: PUSH1 0x20 00000272: ADD 00000273: SWAP1 00000274: SWAP3 00000275: SWAP2 00000276: SWAP1 00000277: POP 00000278: POP 00000279: POP 0000027a: PUSH2 0x08e9 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: DUP3 00000284: ISZERO 00000285: ISZERO 00000286: ISZERO 00000287: ISZERO 00000288: DUP2 00000289: MSTORE 0000028a: PUSH1 0x20 0000028c: ADD 0000028d: SWAP2 0000028e: POP 0000028f: POP 00000290: PUSH1 0x40 00000292: MLOAD 00000293: DUP1 00000294: SWAP2 00000295: SUB 00000296: SWAP1 00000297: RETURN 00000298: JUMPDEST 00000299: CALLVALUE 0000029a: DUP1 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: PUSH2 0x02d9 000002a9: PUSH1 0x04 000002ab: DUP1 000002ac: CALLDATASIZE 000002ad: SUB 000002ae: DUP2 000002af: ADD 000002b0: SWAP1 000002b1: DUP1 000002b2: DUP1 000002b3: CALLDATALOAD 000002b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c9: AND 000002ca: SWAP1 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: SWAP1 000002cf: SWAP3 000002d0: SWAP2 000002d1: SWAP1 000002d2: POP 000002d3: POP 000002d4: POP 000002d5: PUSH2 0x0e0c 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: DUP1 000002de: DUP3 000002df: DUP2 000002e0: MSTORE 000002e1: PUSH1 0x20 000002e3: ADD 000002e4: SWAP2 000002e5: POP 000002e6: POP 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: DUP1 000002eb: SWAP2 000002ec: SUB 000002ed: SWAP1 000002ee: RETURN 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x0304 00000300: PUSH2 0x0e24 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH1 0x40 00000307: MLOAD 00000308: DUP1 00000309: DUP3 0000030a: PUSH1 0xff 0000030c: AND 0000030d: PUSH1 0xff 0000030f: AND 00000310: DUP2 00000311: MSTORE 00000312: PUSH1 0x20 00000314: ADD 00000315: SWAP2 00000316: POP 00000317: POP 00000318: PUSH1 0x40 0000031a: MLOAD 0000031b: DUP1 0000031c: SWAP2 0000031d: SUB 0000031e: SWAP1 0000031f: RETURN 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x0335 00000331: PUSH2 0x0e29 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH1 0x40 00000338: MLOAD 00000339: DUP1 0000033a: DUP3 0000033b: DUP2 0000033c: MSTORE 0000033d: PUSH1 0x20 0000033f: ADD 00000340: SWAP2 00000341: POP 00000342: POP 00000343: PUSH1 0x40 00000345: MLOAD 00000346: DUP1 00000347: SWAP2 00000348: SUB 00000349: SWAP1 0000034a: RETURN 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH2 0x0376 0000035c: PUSH1 0x04 0000035e: DUP1 0000035f: CALLDATASIZE 00000360: SUB 00000361: DUP2 00000362: ADD 00000363: SWAP1 00000364: DUP1 00000365: DUP1 00000366: CALLDATALOAD 00000367: SWAP1 00000368: PUSH1 0x20 0000036a: ADD 0000036b: SWAP1 0000036c: SWAP3 0000036d: SWAP2 0000036e: SWAP1 0000036f: POP 00000370: POP 00000371: POP 00000372: PUSH2 0x0e2f 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH1 0x40 00000379: MLOAD 0000037a: DUP1 0000037b: DUP3 0000037c: ISZERO 0000037d: ISZERO 0000037e: ISZERO 0000037f: ISZERO 00000380: DUP2 00000381: MSTORE 00000382: PUSH1 0x20 00000384: ADD 00000385: SWAP2 00000386: POP 00000387: POP 00000388: PUSH1 0x40 0000038a: MLOAD 0000038b: DUP1 0000038c: SWAP2 0000038d: SUB 0000038e: SWAP1 0000038f: RETURN 00000390: JUMPDEST 00000391: CALLVALUE 00000392: DUP1 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH2 0x03a5 000003a1: PUSH2 0x1016 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x40 000003a8: MLOAD 000003a9: DUP1 000003aa: DUP3 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x20 000003af: ADD 000003b0: SWAP2 000003b1: POP 000003b2: POP 000003b3: PUSH1 0x40 000003b5: MLOAD 000003b6: DUP1 000003b7: SWAP2 000003b8: SUB 000003b9: SWAP1 000003ba: RETURN 000003bb: JUMPDEST 000003bc: CALLVALUE 000003bd: DUP1 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: POP 000003c9: PUSH2 0x041c 000003cc: PUSH1 0x04 000003ce: DUP1 000003cf: CALLDATASIZE 000003d0: SUB 000003d1: DUP2 000003d2: ADD 000003d3: SWAP1 000003d4: DUP1 000003d5: DUP1 000003d6: CALLDATALOAD 000003d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ec: AND 000003ed: SWAP1 000003ee: PUSH1 0x20 000003f0: ADD 000003f1: SWAP1 000003f2: SWAP3 000003f3: SWAP2 000003f4: SWAP1 000003f5: DUP1 000003f6: CALLDATALOAD 000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040c: AND 0000040d: SWAP1 0000040e: PUSH1 0x20 00000410: ADD 00000411: SWAP1 00000412: SWAP3 00000413: SWAP2 00000414: SWAP1 00000415: POP 00000416: POP 00000417: POP 00000418: PUSH2 0x103a 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: DUP1 00000421: DUP3 00000422: DUP2 00000423: MSTORE 00000424: PUSH1 0x20 00000426: ADD 00000427: SWAP2 00000428: POP 00000429: POP 0000042a: PUSH1 0x40 0000042c: MLOAD 0000042d: DUP1 0000042e: SWAP2 0000042f: SUB 00000430: SWAP1 00000431: RETURN 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x0473 00000443: PUSH1 0x04 00000445: DUP1 00000446: CALLDATASIZE 00000447: SUB 00000448: DUP2 00000449: ADD 0000044a: SWAP1 0000044b: DUP1 0000044c: DUP1 0000044d: CALLDATALOAD 0000044e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000463: AND 00000464: SWAP1 00000465: PUSH1 0x20 00000467: ADD 00000468: SWAP1 00000469: SWAP3 0000046a: SWAP2 0000046b: SWAP1 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: PUSH2 0x105f 00000472: JUMP 00000473: JUMPDEST 00000474: PUSH1 0x40 00000476: MLOAD 00000477: DUP1 00000478: DUP3 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP2 0000047f: POP 00000480: POP 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: SWAP2 00000486: SUB 00000487: SWAP1 00000488: RETURN 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x049e 0000049a: PUSH2 0x10a8 0000049d: JUMP 0000049e: JUMPDEST 0000049f: PUSH1 0x40 000004a1: MLOAD 000004a2: DUP1 000004a3: DUP1 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: DUP3 000004a8: DUP2 000004a9: SUB 000004aa: DUP3 000004ab: MSTORE 000004ac: DUP4 000004ad: DUP2 000004ae: DUP2 000004af: MLOAD 000004b0: DUP2 000004b1: MSTORE 000004b2: PUSH1 0x20 000004b4: ADD 000004b5: SWAP2 000004b6: POP 000004b7: DUP1 000004b8: MLOAD 000004b9: SWAP1 000004ba: PUSH1 0x20 000004bc: ADD 000004bd: SWAP1 000004be: DUP1 000004bf: DUP4 000004c0: DUP4 000004c1: PUSH1 0x00 000004c3: JUMPDEST 000004c4: DUP4 000004c5: DUP2 000004c6: LT 000004c7: ISZERO 000004c8: PUSH2 0x04de 000004cb: JUMPI 000004cc: DUP1 000004cd: DUP3 000004ce: ADD 000004cf: MLOAD 000004d0: DUP2 000004d1: DUP5 000004d2: ADD 000004d3: MSTORE 000004d4: PUSH1 0x20 000004d6: DUP2 000004d7: ADD 000004d8: SWAP1 000004d9: POP 000004da: PUSH2 0x04c3 000004dd: JUMP 000004de: JUMPDEST 000004df: POP 000004e0: POP 000004e1: POP 000004e2: POP 000004e3: SWAP1 000004e4: POP 000004e5: SWAP1 000004e6: DUP2 000004e7: ADD 000004e8: SWAP1 000004e9: PUSH1 0x1f 000004eb: AND 000004ec: DUP1 000004ed: ISZERO 000004ee: PUSH2 0x050b 000004f1: JUMPI 000004f2: DUP1 000004f3: DUP3 000004f4: SUB 000004f5: DUP1 000004f6: MLOAD 000004f7: PUSH1 0x01 000004f9: DUP4 000004fa: PUSH1 0x20 000004fc: SUB 000004fd: PUSH2 0x0100 00000500: EXP 00000501: SUB 00000502: NOT 00000503: AND 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: SWAP2 0000050a: POP 0000050b: JUMPDEST 0000050c: POP 0000050d: SWAP3 0000050e: POP 0000050f: POP 00000510: POP 00000511: PUSH1 0x40 00000513: MLOAD 00000514: DUP1 00000515: SWAP2 00000516: SUB 00000517: SWAP1 00000518: RETURN 00000519: JUMPDEST 0000051a: PUSH2 0x0537 0000051d: PUSH1 0x04 0000051f: DUP1 00000520: CALLDATASIZE 00000521: SUB 00000522: DUP2 00000523: ADD 00000524: SWAP1 00000525: DUP1 00000526: DUP1 00000527: CALLDATALOAD 00000528: SWAP1 00000529: PUSH1 0x20 0000052b: ADD 0000052c: SWAP1 0000052d: SWAP3 0000052e: SWAP2 0000052f: SWAP1 00000530: POP 00000531: POP 00000532: POP 00000533: PUSH2 0x1146 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH1 0x40 0000053a: MLOAD 0000053b: DUP1 0000053c: DUP3 0000053d: DUP2 0000053e: MSTORE 0000053f: PUSH1 0x20 00000541: ADD 00000542: SWAP2 00000543: POP 00000544: POP 00000545: PUSH1 0x40 00000547: MLOAD 00000548: DUP1 00000549: SWAP2 0000054a: SUB 0000054b: SWAP1 0000054c: RETURN 0000054d: JUMPDEST 0000054e: CALLVALUE 0000054f: DUP1 00000550: ISZERO 00000551: PUSH2 0x0559 00000554: JUMPI 00000555: PUSH1 0x00 00000557: DUP1 00000558: REVERT 00000559: JUMPDEST 0000055a: POP 0000055b: PUSH2 0x0598 0000055e: PUSH1 0x04 00000560: DUP1 00000561: CALLDATASIZE 00000562: SUB 00000563: DUP2 00000564: ADD 00000565: SWAP1 00000566: DUP1 00000567: DUP1 00000568: CALLDATALOAD 00000569: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057e: AND 0000057f: SWAP1 00000580: PUSH1 0x20 00000582: ADD 00000583: SWAP1 00000584: SWAP3 00000585: SWAP2 00000586: SWAP1 00000587: DUP1 00000588: CALLDATALOAD 00000589: SWAP1 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP1 0000058e: SWAP3 0000058f: SWAP2 00000590: SWAP1 00000591: POP 00000592: POP 00000593: POP 00000594: PUSH2 0x1460 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: DUP1 0000059d: DUP3 0000059e: ISZERO 0000059f: ISZERO 000005a0: ISZERO 000005a1: ISZERO 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: SWAP2 000005a8: POP 000005a9: POP 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: DUP1 000005ae: SWAP2 000005af: SUB 000005b0: SWAP1 000005b1: RETURN 000005b2: JUMPDEST 000005b3: PUSH2 0x05ba 000005b6: PUSH2 0x17ac 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP3 000005c0: DUP2 000005c1: MSTORE 000005c2: PUSH1 0x20 000005c4: ADD 000005c5: SWAP2 000005c6: POP 000005c7: POP 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: DUP1 000005cc: SWAP2 000005cd: SUB 000005ce: SWAP1 000005cf: RETURN 000005d0: JUMPDEST 000005d1: CALLVALUE 000005d2: DUP1 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: PUSH2 0x0631 000005e1: PUSH1 0x04 000005e3: DUP1 000005e4: CALLDATASIZE 000005e5: SUB 000005e6: DUP2 000005e7: ADD 000005e8: SWAP1 000005e9: DUP1 000005ea: DUP1 000005eb: CALLDATALOAD 000005ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000601: AND 00000602: SWAP1 00000603: PUSH1 0x20 00000605: ADD 00000606: SWAP1 00000607: SWAP3 00000608: SWAP2 00000609: SWAP1 0000060a: DUP1 0000060b: CALLDATALOAD 0000060c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000621: AND 00000622: SWAP1 00000623: PUSH1 0x20 00000625: ADD 00000626: SWAP1 00000627: SWAP3 00000628: SWAP2 00000629: SWAP1 0000062a: POP 0000062b: POP 0000062c: POP 0000062d: PUSH2 0x1ca5 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: DUP3 00000637: DUP2 00000638: MSTORE 00000639: PUSH1 0x20 0000063b: ADD 0000063c: SWAP2 0000063d: POP 0000063e: POP 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: DUP1 00000643: SWAP2 00000644: SUB 00000645: SWAP1 00000646: RETURN 00000647: JUMPDEST 00000648: CALLVALUE 00000649: DUP1 0000064a: ISZERO 0000064b: PUSH2 0x0653 0000064e: JUMPI 0000064f: PUSH1 0x00 00000651: DUP1 00000652: REVERT 00000653: JUMPDEST 00000654: POP 00000655: PUSH2 0x065c 00000658: PUSH2 0x1da3 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: DUP3 00000662: ISZERO 00000663: ISZERO 00000664: ISZERO 00000665: ISZERO 00000666: DUP2 00000667: MSTORE 00000668: PUSH1 0x20 0000066a: ADD 0000066b: SWAP2 0000066c: POP 0000066d: POP 0000066e: PUSH1 0x40 00000670: MLOAD 00000671: DUP1 00000672: SWAP2 00000673: SUB 00000674: SWAP1 00000675: RETURN 00000676: JUMPDEST 00000677: PUSH1 0x01 00000679: DUP1 0000067a: SLOAD 0000067b: PUSH1 0x01 0000067d: DUP2 0000067e: PUSH1 0x01 00000680: AND 00000681: ISZERO 00000682: PUSH2 0x0100 00000685: MUL 00000686: SUB 00000687: AND 00000688: PUSH1 0x02 0000068a: SWAP1 0000068b: DIV 0000068c: DUP1 0000068d: PUSH1 0x1f 0000068f: ADD 00000690: PUSH1 0x20 00000692: DUP1 00000693: SWAP2 00000694: DIV 00000695: MUL 00000696: PUSH1 0x20 00000698: ADD 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: SWAP1 0000069d: DUP2 0000069e: ADD 0000069f: PUSH1 0x40 000006a1: MSTORE 000006a2: DUP1 000006a3: SWAP3 000006a4: SWAP2 000006a5: SWAP1 000006a6: DUP2 000006a7: DUP2 000006a8: MSTORE 000006a9: PUSH1 0x20 000006ab: ADD 000006ac: DUP3 000006ad: DUP1 000006ae: SLOAD 000006af: PUSH1 0x01 000006b1: DUP2 000006b2: PUSH1 0x01 000006b4: AND 000006b5: ISZERO 000006b6: PUSH2 0x0100 000006b9: MUL 000006ba: SUB 000006bb: AND 000006bc: PUSH1 0x02 000006be: SWAP1 000006bf: DIV 000006c0: DUP1 000006c1: ISZERO 000006c2: PUSH2 0x070c 000006c5: JUMPI 000006c6: DUP1 000006c7: PUSH1 0x1f 000006c9: LT 000006ca: PUSH2 0x06e1 000006cd: JUMPI 000006ce: PUSH2 0x0100 000006d1: DUP1 000006d2: DUP4 000006d3: SLOAD 000006d4: DIV 000006d5: MUL 000006d6: DUP4 000006d7: MSTORE 000006d8: SWAP2 000006d9: PUSH1 0x20 000006db: ADD 000006dc: SWAP2 000006dd: PUSH2 0x070c 000006e0: JUMP 000006e1: JUMPDEST 000006e2: DUP3 000006e3: ADD 000006e4: SWAP2 000006e5: SWAP1 000006e6: PUSH1 0x00 000006e8: MSTORE 000006e9: PUSH1 0x20 000006eb: PUSH1 0x00 000006ed: KECCAK256 000006ee: SWAP1 000006ef: JUMPDEST 000006f0: DUP2 000006f1: SLOAD 000006f2: DUP2 000006f3: MSTORE 000006f4: SWAP1 000006f5: PUSH1 0x01 000006f7: ADD 000006f8: SWAP1 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: DUP1 000006fd: DUP4 000006fe: GT 000006ff: PUSH2 0x06ef 00000702: JUMPI 00000703: DUP3 00000704: SWAP1 00000705: SUB 00000706: PUSH1 0x1f 00000708: AND 00000709: DUP3 0000070a: ADD 0000070b: SWAP2 0000070c: JUMPDEST 0000070d: POP 0000070e: POP 0000070f: POP 00000710: POP 00000711: POP 00000712: DUP2 00000713: JUMP 00000714: JUMPDEST 00000715: PUSH1 0x00 00000717: DUP1 00000718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072d: AND 0000072e: DUP4 0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000744: AND 00000745: EQ 00000746: ISZERO 00000747: ISZERO 00000748: ISZERO 00000749: PUSH2 0x0751 0000074c: JUMPI 0000074d: PUSH1 0x00 0000074f: DUP1 00000750: REVERT 00000751: JUMPDEST 00000752: PUSH1 0x00 00000754: DUP3 00000755: GT 00000756: ISZERO 00000757: ISZERO 00000758: PUSH2 0x0760 0000075b: JUMPI 0000075c: PUSH1 0x00 0000075e: DUP1 0000075f: REVERT 00000760: JUMPDEST 00000761: PUSH1 0x03 00000763: PUSH1 0x00 00000765: CALLER 00000766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077b: AND 0000077c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000791: AND 00000792: DUP2 00000793: MSTORE 00000794: PUSH1 0x20 00000796: ADD 00000797: SWAP1 00000798: DUP2 00000799: MSTORE 0000079a: PUSH1 0x20 0000079c: ADD 0000079d: PUSH1 0x00 0000079f: KECCAK256 000007a0: SLOAD 000007a1: DUP3 000007a2: GT 000007a3: ISZERO 000007a4: ISZERO 000007a5: ISZERO 000007a6: PUSH2 0x07ae 000007a9: JUMPI 000007aa: PUSH1 0x00 000007ac: DUP1 000007ad: REVERT 000007ae: JUMPDEST 000007af: DUP2 000007b0: PUSH1 0x04 000007b2: PUSH1 0x00 000007b4: CALLER 000007b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ca: AND 000007cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e0: AND 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x20 000007e5: ADD 000007e6: SWAP1 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: ADD 000007ec: PUSH1 0x00 000007ee: KECCAK256 000007ef: PUSH1 0x00 000007f1: DUP6 000007f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000807: AND 00000808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081d: AND 0000081e: DUP2 0000081f: MSTORE 00000820: PUSH1 0x20 00000822: ADD 00000823: SWAP1 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x20 00000828: ADD 00000829: PUSH1 0x00 0000082b: KECCAK256 0000082c: DUP2 0000082d: SWAP1 0000082e: SSTORE 0000082f: POP 00000830: DUP3 00000831: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000846: AND 00000847: CALLER 00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085d: AND 0000085e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 0000087f: DUP5 00000880: PUSH1 0x40 00000882: MLOAD 00000883: DUP1 00000884: DUP3 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x20 00000889: ADD 0000088a: SWAP2 0000088b: POP 0000088c: POP 0000088d: PUSH1 0x40 0000088f: MLOAD 00000890: DUP1 00000891: SWAP2 00000892: SUB 00000893: SWAP1 00000894: LOG3 00000895: PUSH1 0x01 00000897: SWAP1 00000898: POP 00000899: SWAP3 0000089a: SWAP2 0000089b: POP 0000089c: POP 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH1 0x00 000008a1: PUSH1 0x03 000008a3: PUSH1 0x00 000008a5: DUP1 000008a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bb: AND 000008bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d1: AND 000008d2: DUP2 000008d3: MSTORE 000008d4: PUSH1 0x20 000008d6: ADD 000008d7: SWAP1 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x20 000008dc: ADD 000008dd: PUSH1 0x00 000008df: KECCAK256 000008e0: SLOAD 000008e1: PUSH1 0x00 000008e3: SLOAD 000008e4: SUB 000008e5: SWAP1 000008e6: POP 000008e7: SWAP1 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: DUP1 000008ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000902: AND 00000903: DUP5 00000904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000919: AND 0000091a: EQ 0000091b: ISZERO 0000091c: ISZERO 0000091d: ISZERO 0000091e: PUSH2 0x0926 00000921: JUMPI 00000922: PUSH1 0x00 00000924: DUP1 00000925: REVERT 00000926: JUMPDEST 00000927: PUSH1 0x00 00000929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093e: AND 0000093f: DUP4 00000940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000955: AND 00000956: EQ 00000957: ISZERO 00000958: ISZERO 00000959: ISZERO 0000095a: PUSH2 0x0962 0000095d: JUMPI 0000095e: PUSH1 0x00 00000960: DUP1 00000961: REVERT 00000962: JUMPDEST 00000963: PUSH1 0x00 00000965: DUP3 00000966: GT 00000967: ISZERO 00000968: ISZERO 00000969: PUSH2 0x0971 0000096c: JUMPI 0000096d: PUSH1 0x00 0000096f: DUP1 00000970: REVERT 00000971: JUMPDEST 00000972: PUSH1 0x03 00000974: PUSH1 0x00 00000976: DUP6 00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098c: AND 0000098d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a2: AND 000009a3: DUP2 000009a4: MSTORE 000009a5: PUSH1 0x20 000009a7: ADD 000009a8: SWAP1 000009a9: DUP2 000009aa: MSTORE 000009ab: PUSH1 0x20 000009ad: ADD 000009ae: PUSH1 0x00 000009b0: KECCAK256 000009b1: SLOAD 000009b2: DUP3 000009b3: GT 000009b4: ISZERO 000009b5: ISZERO 000009b6: ISZERO 000009b7: PUSH2 0x09bf 000009ba: JUMPI 000009bb: PUSH1 0x00 000009bd: DUP1 000009be: REVERT 000009bf: JUMPDEST 000009c0: PUSH1 0x04 000009c2: PUSH1 0x00 000009c4: DUP6 000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009da: AND 000009db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f0: AND 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x20 000009f5: ADD 000009f6: SWAP1 000009f7: DUP2 000009f8: MSTORE 000009f9: PUSH1 0x20 000009fb: ADD 000009fc: PUSH1 0x00 000009fe: KECCAK256 000009ff: PUSH1 0x00 00000a01: CALLER 00000a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a17: AND 00000a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2d: AND 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: ADD 00000a33: SWAP1 00000a34: DUP2 00000a35: MSTORE 00000a36: PUSH1 0x20 00000a38: ADD 00000a39: PUSH1 0x00 00000a3b: KECCAK256 00000a3c: SLOAD 00000a3d: DUP3 00000a3e: GT 00000a3f: ISZERO 00000a40: ISZERO 00000a41: ISZERO 00000a42: PUSH2 0x0a4a 00000a45: JUMPI 00000a46: PUSH1 0x00 00000a48: DUP1 00000a49: REVERT 00000a4a: JUMPDEST 00000a4b: PUSH2 0x0a9c 00000a4e: DUP3 00000a4f: PUSH1 0x03 00000a51: PUSH1 0x00 00000a53: DUP8 00000a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a69: AND 00000a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7f: AND 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x20 00000a84: ADD 00000a85: SWAP1 00000a86: DUP2 00000a87: MSTORE 00000a88: PUSH1 0x20 00000a8a: ADD 00000a8b: PUSH1 0x00 00000a8d: KECCAK256 00000a8e: SLOAD 00000a8f: PUSH2 0x1ee3 00000a92: SWAP1 00000a93: SWAP2 00000a94: SWAP1 00000a95: PUSH4 0xffffffff 00000a9a: AND 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH1 0x03 00000a9f: PUSH1 0x00 00000aa1: DUP7 00000aa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab7: AND 00000ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acd: AND 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x20 00000ad2: ADD 00000ad3: SWAP1 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: PUSH1 0x00 00000adb: KECCAK256 00000adc: DUP2 00000add: SWAP1 00000ade: SSTORE 00000adf: POP 00000ae0: PUSH2 0x0b31 00000ae3: DUP3 00000ae4: PUSH1 0x03 00000ae6: PUSH1 0x00 00000ae8: DUP7 00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afe: AND 00000aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b14: AND 00000b15: DUP2 00000b16: MSTORE 00000b17: PUSH1 0x20 00000b19: ADD 00000b1a: SWAP1 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x20 00000b1f: ADD 00000b20: PUSH1 0x00 00000b22: KECCAK256 00000b23: SLOAD 00000b24: PUSH2 0x1efc 00000b27: SWAP1 00000b28: SWAP2 00000b29: SWAP1 00000b2a: PUSH4 0xffffffff 00000b2f: AND 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH1 0x03 00000b34: PUSH1 0x00 00000b36: DUP6 00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4c: AND 00000b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b62: AND 00000b63: DUP2 00000b64: MSTORE 00000b65: PUSH1 0x20 00000b67: ADD 00000b68: SWAP1 00000b69: DUP2 00000b6a: MSTORE 00000b6b: PUSH1 0x20 00000b6d: ADD 00000b6e: PUSH1 0x00 00000b70: KECCAK256 00000b71: DUP2 00000b72: SWAP1 00000b73: SSTORE 00000b74: POP 00000b75: PUSH2 0x0c03 00000b78: DUP3 00000b79: PUSH1 0x04 00000b7b: PUSH1 0x00 00000b7d: DUP8 00000b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b93: AND 00000b94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba9: AND 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: SWAP1 00000bb0: DUP2 00000bb1: MSTORE 00000bb2: PUSH1 0x20 00000bb4: ADD 00000bb5: PUSH1 0x00 00000bb7: KECCAK256 00000bb8: PUSH1 0x00 00000bba: CALLER 00000bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd0: AND 00000bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be6: AND 00000be7: DUP2 00000be8: MSTORE 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: SWAP1 00000bed: DUP2 00000bee: MSTORE 00000bef: PUSH1 0x20 00000bf1: ADD 00000bf2: PUSH1 0x00 00000bf4: KECCAK256 00000bf5: SLOAD 00000bf6: PUSH2 0x1ee3 00000bf9: SWAP1 00000bfa: SWAP2 00000bfb: SWAP1 00000bfc: PUSH4 0xffffffff 00000c01: AND 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH1 0x04 00000c06: PUSH1 0x00 00000c08: DUP7 00000c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1e: AND 00000c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c34: AND 00000c35: DUP2 00000c36: MSTORE 00000c37: PUSH1 0x20 00000c39: ADD 00000c3a: SWAP1 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x20 00000c3f: ADD 00000c40: PUSH1 0x00 00000c42: KECCAK256 00000c43: PUSH1 0x00 00000c45: CALLER 00000c46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5b: AND 00000c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c71: AND 00000c72: DUP2 00000c73: MSTORE 00000c74: PUSH1 0x20 00000c76: ADD 00000c77: SWAP1 00000c78: DUP2 00000c79: MSTORE 00000c7a: PUSH1 0x20 00000c7c: ADD 00000c7d: PUSH1 0x00 00000c7f: KECCAK256 00000c80: DUP2 00000c81: SWAP1 00000c82: SSTORE 00000c83: POP 00000c84: PUSH1 0x01 00000c86: ISZERO 00000c87: ISZERO 00000c88: PUSH1 0x06 00000c8a: PUSH1 0x00 00000c8c: DUP6 00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca2: AND 00000ca3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb8: AND 00000cb9: DUP2 00000cba: MSTORE 00000cbb: PUSH1 0x20 00000cbd: ADD 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x20 00000cc3: ADD 00000cc4: PUSH1 0x00 00000cc6: KECCAK256 00000cc7: PUSH1 0x00 00000cc9: SWAP1 00000cca: SLOAD 00000ccb: SWAP1 00000ccc: PUSH2 0x0100 00000ccf: EXP 00000cd0: SWAP1 00000cd1: DIV 00000cd2: PUSH1 0xff 00000cd4: AND 00000cd5: ISZERO 00000cd6: ISZERO 00000cd7: EQ 00000cd8: ISZERO 00000cd9: ISZERO 00000cda: PUSH2 0x0d9c 00000cdd: JUMPI 00000cde: PUSH1 0x05 00000ce0: DUP4 00000ce1: SWAP1 00000ce2: DUP1 00000ce3: PUSH1 0x01 00000ce5: DUP2 00000ce6: SLOAD 00000ce7: ADD 00000ce8: DUP1 00000ce9: DUP3 00000cea: SSTORE 00000ceb: DUP1 00000cec: SWAP2 00000ced: POP 00000cee: POP 00000cef: SWAP1 00000cf0: PUSH1 0x01 00000cf2: DUP3 00000cf3: SUB 00000cf4: SWAP1 00000cf5: PUSH1 0x00 00000cf7: MSTORE 00000cf8: PUSH1 0x20 00000cfa: PUSH1 0x00 00000cfc: KECCAK256 00000cfd: ADD 00000cfe: PUSH1 0x00 00000d00: SWAP1 00000d01: SWAP2 00000d02: SWAP3 00000d03: SWAP1 00000d04: SWAP2 00000d05: SWAP1 00000d06: SWAP2 00000d07: PUSH2 0x0100 00000d0a: EXP 00000d0b: DUP2 00000d0c: SLOAD 00000d0d: DUP2 00000d0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d23: MUL 00000d24: NOT 00000d25: AND 00000d26: SWAP1 00000d27: DUP4 00000d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3d: AND 00000d3e: MUL 00000d3f: OR 00000d40: SWAP1 00000d41: SSTORE 00000d42: POP 00000d43: POP 00000d44: PUSH1 0x01 00000d46: PUSH1 0x06 00000d48: PUSH1 0x00 00000d4a: DUP6 00000d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d60: AND 00000d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d76: AND 00000d77: DUP2 00000d78: MSTORE 00000d79: PUSH1 0x20 00000d7b: ADD 00000d7c: SWAP1 00000d7d: DUP2 00000d7e: MSTORE 00000d7f: PUSH1 0x20 00000d81: ADD 00000d82: PUSH1 0x00 00000d84: KECCAK256 00000d85: PUSH1 0x00 00000d87: PUSH2 0x0100 00000d8a: EXP 00000d8b: DUP2 00000d8c: SLOAD 00000d8d: DUP2 00000d8e: PUSH1 0xff 00000d90: MUL 00000d91: NOT 00000d92: AND 00000d93: SWAP1 00000d94: DUP4 00000d95: ISZERO 00000d96: ISZERO 00000d97: MUL 00000d98: OR 00000d99: SWAP1 00000d9a: SSTORE 00000d9b: POP 00000d9c: JUMPDEST 00000d9d: DUP3 00000d9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db3: AND 00000db4: DUP5 00000db5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dca: AND 00000dcb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000dec: DUP5 00000ded: PUSH1 0x40 00000def: MLOAD 00000df0: DUP1 00000df1: DUP3 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x20 00000df6: ADD 00000df7: SWAP2 00000df8: POP 00000df9: POP 00000dfa: PUSH1 0x40 00000dfc: MLOAD 00000dfd: DUP1 00000dfe: SWAP2 00000dff: SUB 00000e00: SWAP1 00000e01: LOG3 00000e02: PUSH1 0x01 00000e04: SWAP1 00000e05: POP 00000e06: SWAP4 00000e07: SWAP3 00000e08: POP 00000e09: POP 00000e0a: POP 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: PUSH1 0x03 00000e0f: PUSH1 0x20 00000e11: MSTORE 00000e12: DUP1 00000e13: PUSH1 0x00 00000e15: MSTORE 00000e16: PUSH1 0x40 00000e18: PUSH1 0x00 00000e1a: KECCAK256 00000e1b: PUSH1 0x00 00000e1d: SWAP2 00000e1e: POP 00000e1f: SWAP1 00000e20: POP 00000e21: SLOAD 00000e22: DUP2 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x12 00000e27: DUP2 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: PUSH1 0x00 00000e2c: SLOAD 00000e2d: DUP2 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x00 00000e32: DUP1 00000e33: DUP3 00000e34: GT 00000e35: ISZERO 00000e36: ISZERO 00000e37: PUSH2 0x0e3f 00000e3a: JUMPI 00000e3b: PUSH1 0x00 00000e3d: DUP1 00000e3e: REVERT 00000e3f: JUMPDEST 00000e40: PUSH1 0x03 00000e42: PUSH1 0x00 00000e44: CALLER 00000e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5a: AND 00000e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e70: AND 00000e71: DUP2 00000e72: MSTORE 00000e73: PUSH1 0x20 00000e75: ADD 00000e76: SWAP1 00000e77: DUP2 00000e78: MSTORE 00000e79: PUSH1 0x20 00000e7b: ADD 00000e7c: PUSH1 0x00 00000e7e: KECCAK256 00000e7f: SLOAD 00000e80: DUP3 00000e81: GT 00000e82: ISZERO 00000e83: ISZERO 00000e84: ISZERO 00000e85: PUSH2 0x0e8d 00000e88: JUMPI 00000e89: PUSH1 0x00 00000e8b: DUP1 00000e8c: REVERT 00000e8d: JUMPDEST 00000e8e: PUSH9 0x1043561a8829300000 00000e98: DUP3 00000e99: PUSH1 0x00 00000e9b: SLOAD 00000e9c: SUB 00000e9d: LT 00000e9e: ISZERO 00000e9f: ISZERO 00000ea0: ISZERO 00000ea1: PUSH2 0x0ea9 00000ea4: JUMPI 00000ea5: PUSH1 0x00 00000ea7: DUP1 00000ea8: REVERT 00000ea9: JUMPDEST 00000eaa: PUSH2 0x0efb 00000ead: DUP3 00000eae: PUSH1 0x03 00000eb0: PUSH1 0x00 00000eb2: CALLER 00000eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec8: AND 00000ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ede: AND 00000edf: DUP2 00000ee0: MSTORE 00000ee1: PUSH1 0x20 00000ee3: ADD 00000ee4: SWAP1 00000ee5: DUP2 00000ee6: MSTORE 00000ee7: PUSH1 0x20 00000ee9: ADD 00000eea: PUSH1 0x00 00000eec: KECCAK256 00000eed: SLOAD 00000eee: PUSH2 0x1ee3 00000ef1: SWAP1 00000ef2: SWAP2 00000ef3: SWAP1 00000ef4: PUSH4 0xffffffff 00000ef9: AND 00000efa: JUMP 00000efb: JUMPDEST 00000efc: PUSH1 0x03 00000efe: PUSH1 0x00 00000f00: CALLER 00000f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f16: AND 00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2c: AND 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x20 00000f31: ADD 00000f32: SWAP1 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x20 00000f37: ADD 00000f38: PUSH1 0x00 00000f3a: KECCAK256 00000f3b: DUP2 00000f3c: SWAP1 00000f3d: SSTORE 00000f3e: POP 00000f3f: PUSH2 0x0f53 00000f42: DUP3 00000f43: PUSH1 0x00 00000f45: SLOAD 00000f46: PUSH2 0x1ee3 00000f49: SWAP1 00000f4a: SWAP2 00000f4b: SWAP1 00000f4c: PUSH4 0xffffffff 00000f51: AND 00000f52: JUMP 00000f53: JUMPDEST 00000f54: PUSH1 0x00 00000f56: DUP2 00000f57: SWAP1 00000f58: SSTORE 00000f59: POP 00000f5a: CALLER 00000f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f70: AND 00000f71: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 00000f92: DUP4 00000f93: PUSH1 0x40 00000f95: MLOAD 00000f96: DUP1 00000f97: DUP3 00000f98: DUP2 00000f99: MSTORE 00000f9a: PUSH1 0x20 00000f9c: ADD 00000f9d: SWAP2 00000f9e: POP 00000f9f: POP 00000fa0: PUSH1 0x40 00000fa2: MLOAD 00000fa3: DUP1 00000fa4: SWAP2 00000fa5: SUB 00000fa6: SWAP1 00000fa7: LOG2 00000fa8: PUSH1 0x00 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: AND 00000fc0: CALLER 00000fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd6: AND 00000fd7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000ff8: DUP5 00000ff9: PUSH1 0x40 00000ffb: MLOAD 00000ffc: DUP1 00000ffd: DUP3 00000ffe: DUP2 00000fff: MSTORE 00001000: PUSH1 0x20 00001002: ADD 00001003: SWAP2 00001004: POP 00001005: POP 00001006: PUSH1 0x40 00001008: MLOAD 00001009: DUP1 0000100a: SWAP2 0000100b: SUB 0000100c: SWAP1 0000100d: LOG3 0000100e: PUSH1 0x01 00001010: SWAP1 00001011: POP 00001012: SWAP2 00001013: SWAP1 00001014: POP 00001015: JUMP 00001016: JUMPDEST 00001017: PUSH1 0x00 00001019: DUP1 0000101a: ADDRESS 0000101b: SWAP1 0000101c: POP 0000101d: DUP1 0000101e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001033: AND 00001034: BALANCE 00001035: SWAP2 00001036: POP 00001037: POP 00001038: SWAP1 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x04 0000103d: PUSH1 0x20 0000103f: MSTORE 00001040: DUP2 00001041: PUSH1 0x00 00001043: MSTORE 00001044: PUSH1 0x40 00001046: PUSH1 0x00 00001048: KECCAK256 00001049: PUSH1 0x20 0000104b: MSTORE 0000104c: DUP1 0000104d: PUSH1 0x00 0000104f: MSTORE 00001050: PUSH1 0x40 00001052: PUSH1 0x00 00001054: KECCAK256 00001055: PUSH1 0x00 00001057: SWAP2 00001058: POP 00001059: SWAP2 0000105a: POP 0000105b: POP 0000105c: SLOAD 0000105d: DUP2 0000105e: JUMP 0000105f: JUMPDEST 00001060: PUSH1 0x00 00001062: PUSH1 0x03 00001064: PUSH1 0x00 00001066: DUP4 00001067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107c: AND 0000107d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001092: AND 00001093: DUP2 00001094: MSTORE 00001095: PUSH1 0x20 00001097: ADD 00001098: SWAP1 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x20 0000109d: ADD 0000109e: PUSH1 0x00 000010a0: KECCAK256 000010a1: SLOAD 000010a2: SWAP1 000010a3: POP 000010a4: SWAP2 000010a5: SWAP1 000010a6: POP 000010a7: JUMP 000010a8: JUMPDEST 000010a9: PUSH1 0x02 000010ab: DUP1 000010ac: SLOAD 000010ad: PUSH1 0x01 000010af: DUP2 000010b0: PUSH1 0x01 000010b2: AND 000010b3: ISZERO 000010b4: PUSH2 0x0100 000010b7: MUL 000010b8: SUB 000010b9: AND 000010ba: PUSH1 0x02 000010bc: SWAP1 000010bd: DIV 000010be: DUP1 000010bf: PUSH1 0x1f 000010c1: ADD 000010c2: PUSH1 0x20 000010c4: DUP1 000010c5: SWAP2 000010c6: DIV 000010c7: MUL 000010c8: PUSH1 0x20 000010ca: ADD 000010cb: PUSH1 0x40 000010cd: MLOAD 000010ce: SWAP1 000010cf: DUP2 000010d0: ADD 000010d1: PUSH1 0x40 000010d3: MSTORE 000010d4: DUP1 000010d5: SWAP3 000010d6: SWAP2 000010d7: SWAP1 000010d8: DUP2 000010d9: DUP2 000010da: MSTORE 000010db: PUSH1 0x20 000010dd: ADD 000010de: DUP3 000010df: DUP1 000010e0: SLOAD 000010e1: PUSH1 0x01 000010e3: DUP2 000010e4: PUSH1 0x01 000010e6: AND 000010e7: ISZERO 000010e8: PUSH2 0x0100 000010eb: MUL 000010ec: SUB 000010ed: AND 000010ee: PUSH1 0x02 000010f0: SWAP1 000010f1: DIV 000010f2: DUP1 000010f3: ISZERO 000010f4: PUSH2 0x113e 000010f7: JUMPI 000010f8: DUP1 000010f9: PUSH1 0x1f 000010fb: LT 000010fc: PUSH2 0x1113 000010ff: JUMPI 00001100: PUSH2 0x0100 00001103: DUP1 00001104: DUP4 00001105: SLOAD 00001106: DIV 00001107: MUL 00001108: DUP4 00001109: MSTORE 0000110a: SWAP2 0000110b: PUSH1 0x20 0000110d: ADD 0000110e: SWAP2 0000110f: PUSH2 0x113e 00001112: JUMP 00001113: JUMPDEST 00001114: DUP3 00001115: ADD 00001116: SWAP2 00001117: SWAP1 00001118: PUSH1 0x00 0000111a: MSTORE 0000111b: PUSH1 0x20 0000111d: PUSH1 0x00 0000111f: KECCAK256 00001120: SWAP1 00001121: JUMPDEST 00001122: DUP2 00001123: SLOAD 00001124: DUP2 00001125: MSTORE 00001126: SWAP1 00001127: PUSH1 0x01 00001129: ADD 0000112a: SWAP1 0000112b: PUSH1 0x20 0000112d: ADD 0000112e: DUP1 0000112f: DUP4 00001130: GT 00001131: PUSH2 0x1121 00001134: JUMPI 00001135: DUP3 00001136: SWAP1 00001137: SUB 00001138: PUSH1 0x1f 0000113a: AND 0000113b: DUP3 0000113c: ADD 0000113d: SWAP2 0000113e: JUMPDEST 0000113f: POP 00001140: POP 00001141: POP 00001142: POP 00001143: POP 00001144: DUP2 00001145: JUMP 00001146: JUMPDEST 00001147: PUSH1 0x00 00001149: DUP1 0000114a: PUSH1 0x00 0000114c: DUP1 0000114d: DUP3 0000114e: ISZERO 0000114f: ISZERO 00001150: ISZERO 00001151: PUSH2 0x1159 00001154: JUMPI 00001155: PUSH1 0x00 00001157: DUP1 00001158: REVERT 00001159: JUMPDEST 0000115a: PUSH1 0x01 0000115c: SWAP3 0000115d: POP 0000115e: PUSH8 0x0de0b6b3a7640000 00001167: DUP6 00001168: LT 00001169: ISZERO 0000116a: ISZERO 0000116b: ISZERO 0000116c: PUSH2 0x1174 0000116f: JUMPI 00001170: PUSH1 0x00 00001172: DUP1 00001173: REVERT 00001174: JUMPDEST 00001175: PUSH3 0x0324b0 00001179: CALLVALUE 0000117a: LT 0000117b: ISZERO 0000117c: ISZERO 0000117d: ISZERO 0000117e: PUSH2 0x1186 00001181: JUMPI 00001182: PUSH1 0x00 00001184: DUP1 00001185: REVERT 00001186: JUMPDEST 00001187: PUSH9 0x1043561a8829300000 00001191: DUP6 00001192: PUSH1 0x00 00001194: SLOAD 00001195: SUB 00001196: LT 00001197: ISZERO 00001198: ISZERO 00001199: ISZERO 0000119a: PUSH2 0x11a2 0000119d: JUMPI 0000119e: PUSH1 0x00 000011a0: DUP1 000011a1: REVERT 000011a2: JUMPDEST 000011a3: DUP5 000011a4: PUSH1 0x03 000011a6: PUSH1 0x00 000011a8: CALLER 000011a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011be: AND 000011bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d4: AND 000011d5: DUP2 000011d6: MSTORE 000011d7: PUSH1 0x20 000011d9: ADD 000011da: SWAP1 000011db: DUP2 000011dc: MSTORE 000011dd: PUSH1 0x20 000011df: ADD 000011e0: PUSH1 0x00 000011e2: KECCAK256 000011e3: SLOAD 000011e4: LT 000011e5: ISZERO 000011e6: ISZERO 000011e7: ISZERO 000011e8: PUSH2 0x11f0 000011eb: JUMPI 000011ec: PUSH1 0x00 000011ee: DUP1 000011ef: REVERT 000011f0: JUMPDEST 000011f1: ADDRESS 000011f2: SWAP2 000011f3: POP 000011f4: PUSH1 0x00 000011f6: SLOAD 000011f7: PUSH8 0x0de0b6b3a7640000 00001200: DUP7 00001201: PUSH1 0x00 00001203: SLOAD 00001204: SUB 00001205: MUL 00001206: DUP2 00001207: ISZERO 00001208: ISZERO 00001209: PUSH2 0x120e 0000120c: JUMPI 0000120d: INVALID 0000120e: JUMPDEST 0000120f: DIV 00001210: SWAP4 00001211: POP 00001212: PUSH8 0x0de0b6b3a7640000 0000121b: DUP1 0000121c: PUSH1 0x02 0000121e: DUP7 0000121f: EXP 00001220: DUP2 00001221: ISZERO 00001222: ISZERO 00001223: PUSH2 0x1228 00001226: JUMPI 00001227: INVALID 00001228: JUMPDEST 00001229: DIV 0000122a: PUSH8 0x0de0b6b3a7640000 00001233: PUSH1 0x02 00001235: DUP8 00001236: EXP 00001237: DUP2 00001238: ISZERO 00001239: ISZERO 0000123a: PUSH2 0x123f 0000123d: JUMPI 0000123e: INVALID 0000123f: JUMPDEST 00001240: DIV 00001241: MUL 00001242: DUP2 00001243: ISZERO 00001244: ISZERO 00001245: PUSH2 0x124a 00001248: JUMPI 00001249: INVALID 0000124a: JUMPDEST 0000124b: DIV 0000124c: PUSH8 0x0de0b6b3a7640000 00001255: SUB 00001256: SWAP4 00001257: POP 00001258: PUSH8 0x8ac7230489e80000 00001261: PUSH1 0x09 00001263: CALLVALUE 00001264: DUP5 00001265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127a: AND 0000127b: BALANCE 0000127c: SUB 0000127d: DUP7 0000127e: MUL 0000127f: MUL 00001280: DUP2 00001281: ISZERO 00001282: ISZERO 00001283: PUSH2 0x1288 00001286: JUMPI 00001287: INVALID 00001288: JUMPDEST 00001289: DIV 0000128a: SWAP4 0000128b: POP 0000128c: PUSH1 0x0a 0000128e: PUSH1 0x00 00001290: SLOAD 00001291: PUSH1 0x24 00001293: CALLVALUE 00001294: DUP6 00001295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012aa: AND 000012ab: BALANCE 000012ac: SUB 000012ad: DUP9 000012ae: MUL 000012af: MUL 000012b0: DUP2 000012b1: ISZERO 000012b2: ISZERO 000012b3: PUSH2 0x12b8 000012b6: JUMPI 000012b7: INVALID 000012b8: JUMPDEST 000012b9: DIV 000012ba: DUP2 000012bb: ISZERO 000012bc: ISZERO 000012bd: PUSH2 0x12c2 000012c0: JUMPI 000012c1: INVALID 000012c2: JUMPDEST 000012c3: DIV 000012c4: SWAP1 000012c5: POP 000012c6: DUP4 000012c7: DUP2 000012c8: GT 000012c9: ISZERO 000012ca: ISZERO 000012cb: PUSH2 0x12d3 000012ce: JUMPI 000012cf: PUSH1 0x00 000012d1: DUP1 000012d2: REVERT 000012d3: JUMPDEST 000012d4: CALLVALUE 000012d5: DUP3 000012d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012eb: AND 000012ec: BALANCE 000012ed: SUB 000012ee: DUP5 000012ef: LT 000012f0: ISZERO 000012f1: ISZERO 000012f2: PUSH2 0x12fa 000012f5: JUMPI 000012f6: PUSH1 0x00 000012f8: DUP1 000012f9: REVERT 000012fa: JUMPDEST 000012fb: DUP5 000012fc: PUSH1 0x03 000012fe: PUSH1 0x00 00001300: CALLER 00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001316: AND 00001317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132c: AND 0000132d: DUP2 0000132e: MSTORE 0000132f: PUSH1 0x20 00001331: ADD 00001332: SWAP1 00001333: DUP2 00001334: MSTORE 00001335: PUSH1 0x20 00001337: ADD 00001338: PUSH1 0x00 0000133a: KECCAK256 0000133b: PUSH1 0x00 0000133d: DUP3 0000133e: DUP3 0000133f: SLOAD 00001340: SUB 00001341: SWAP3 00001342: POP 00001343: POP 00001344: DUP2 00001345: SWAP1 00001346: SSTORE 00001347: POP 00001348: DUP5 00001349: PUSH1 0x00 0000134b: DUP1 0000134c: DUP3 0000134d: DUP3 0000134e: SLOAD 0000134f: SUB 00001350: SWAP3 00001351: POP 00001352: POP 00001353: DUP2 00001354: SWAP1 00001355: SSTORE 00001356: POP 00001357: CALLER 00001358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136d: AND 0000136e: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 0000138f: DUP7 00001390: PUSH1 0x40 00001392: MLOAD 00001393: DUP1 00001394: DUP3 00001395: DUP2 00001396: MSTORE 00001397: PUSH1 0x20 00001399: ADD 0000139a: SWAP2 0000139b: POP 0000139c: POP 0000139d: PUSH1 0x40 0000139f: MLOAD 000013a0: DUP1 000013a1: SWAP2 000013a2: SUB 000013a3: SWAP1 000013a4: LOG2 000013a5: PUSH1 0x00 000013a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bc: AND 000013bd: CALLER 000013be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d3: AND 000013d4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000013f5: DUP8 000013f6: PUSH1 0x40 000013f8: MLOAD 000013f9: DUP1 000013fa: DUP3 000013fb: DUP2 000013fc: MSTORE 000013fd: PUSH1 0x20 000013ff: ADD 00001400: SWAP2 00001401: POP 00001402: POP 00001403: PUSH1 0x40 00001405: MLOAD 00001406: DUP1 00001407: SWAP2 00001408: SUB 00001409: SWAP1 0000140a: LOG3 0000140b: CALLER 0000140c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001421: AND 00001422: PUSH2 0x08fc 00001425: DUP6 00001426: SWAP1 00001427: DUP2 00001428: ISZERO 00001429: MUL 0000142a: SWAP1 0000142b: PUSH1 0x40 0000142d: MLOAD 0000142e: PUSH1 0x00 00001430: PUSH1 0x40 00001432: MLOAD 00001433: DUP1 00001434: DUP4 00001435: SUB 00001436: DUP2 00001437: DUP6 00001438: DUP9 00001439: DUP9 0000143a: CALL 0000143b: SWAP4 0000143c: POP 0000143d: POP 0000143e: POP 0000143f: POP 00001440: ISZERO 00001441: DUP1 00001442: ISZERO 00001443: PUSH2 0x1450 00001446: JUMPI 00001447: RETURNDATASIZE 00001448: PUSH1 0x00 0000144a: DUP1 0000144b: RETURNDATACOPY 0000144c: RETURNDATASIZE 0000144d: PUSH1 0x00 0000144f: REVERT 00001450: JUMPDEST 00001451: POP 00001452: PUSH1 0x00 00001454: SWAP3 00001455: POP 00001456: DUP4 00001457: SWAP4 00001458: POP 00001459: POP 0000145a: POP 0000145b: POP 0000145c: SWAP2 0000145d: SWAP1 0000145e: POP 0000145f: JUMP 00001460: JUMPDEST 00001461: PUSH1 0x00 00001463: DUP1 00001464: DUP3 00001465: GT 00001466: ISZERO 00001467: ISZERO 00001468: PUSH2 0x1470 0000146b: JUMPI 0000146c: PUSH1 0x00 0000146e: DUP1 0000146f: REVERT 00001470: JUMPDEST 00001471: PUSH1 0x03 00001473: PUSH1 0x00 00001475: CALLER 00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148b: AND 0000148c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a1: AND 000014a2: DUP2 000014a3: MSTORE 000014a4: PUSH1 0x20 000014a6: ADD 000014a7: SWAP1 000014a8: DUP2 000014a9: MSTORE 000014aa: PUSH1 0x20 000014ac: ADD 000014ad: PUSH1 0x00 000014af: KECCAK256 000014b0: SLOAD 000014b1: DUP3 000014b2: GT 000014b3: ISZERO 000014b4: ISZERO 000014b5: ISZERO 000014b6: PUSH2 0x14be 000014b9: JUMPI 000014ba: PUSH1 0x00 000014bc: DUP1 000014bd: REVERT 000014be: JUMPDEST 000014bf: PUSH1 0x00 000014c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d6: AND 000014d7: DUP4 000014d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ed: AND 000014ee: EQ 000014ef: ISZERO 000014f0: ISZERO 000014f1: ISZERO 000014f2: PUSH2 0x14fa 000014f5: JUMPI 000014f6: PUSH1 0x00 000014f8: DUP1 000014f9: REVERT 000014fa: JUMPDEST 000014fb: PUSH2 0x154c 000014fe: DUP3 000014ff: PUSH1 0x03 00001501: PUSH1 0x00 00001503: CALLER 00001504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001519: AND 0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152f: AND 00001530: DUP2 00001531: MSTORE 00001532: PUSH1 0x20 00001534: ADD 00001535: SWAP1 00001536: DUP2 00001537: MSTORE 00001538: PUSH1 0x20 0000153a: ADD 0000153b: PUSH1 0x00 0000153d: KECCAK256 0000153e: SLOAD 0000153f: PUSH2 0x1ee3 00001542: SWAP1 00001543: SWAP2 00001544: SWAP1 00001545: PUSH4 0xffffffff 0000154a: AND 0000154b: JUMP 0000154c: JUMPDEST 0000154d: PUSH1 0x03 0000154f: PUSH1 0x00 00001551: CALLER 00001552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001567: AND 00001568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000157d: AND 0000157e: DUP2 0000157f: MSTORE 00001580: PUSH1 0x20 00001582: ADD 00001583: SWAP1 00001584: DUP2 00001585: MSTORE 00001586: PUSH1 0x20 00001588: ADD 00001589: PUSH1 0x00 0000158b: KECCAK256 0000158c: DUP2 0000158d: SWAP1 0000158e: SSTORE 0000158f: POP 00001590: PUSH2 0x15e1 00001593: DUP3 00001594: PUSH1 0x03 00001596: PUSH1 0x00 00001598: DUP7 00001599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ae: AND 000015af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c4: AND 000015c5: DUP2 000015c6: MSTORE 000015c7: PUSH1 0x20 000015c9: ADD 000015ca: SWAP1 000015cb: DUP2 000015cc: MSTORE 000015cd: PUSH1 0x20 000015cf: ADD 000015d0: PUSH1 0x00 000015d2: KECCAK256 000015d3: SLOAD 000015d4: PUSH2 0x1efc 000015d7: SWAP1 000015d8: SWAP2 000015d9: SWAP1 000015da: PUSH4 0xffffffff 000015df: AND 000015e0: JUMP 000015e1: JUMPDEST 000015e2: PUSH1 0x03 000015e4: PUSH1 0x00 000015e6: DUP6 000015e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015fc: AND 000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001612: AND 00001613: DUP2 00001614: MSTORE 00001615: PUSH1 0x20 00001617: ADD 00001618: SWAP1 00001619: DUP2 0000161a: MSTORE 0000161b: PUSH1 0x20 0000161d: ADD 0000161e: PUSH1 0x00 00001620: KECCAK256 00001621: DUP2 00001622: SWAP1 00001623: SSTORE 00001624: POP 00001625: PUSH1 0x01 00001627: ISZERO 00001628: ISZERO 00001629: PUSH1 0x06 0000162b: PUSH1 0x00 0000162d: DUP6 0000162e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001643: AND 00001644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001659: AND 0000165a: DUP2 0000165b: MSTORE 0000165c: PUSH1 0x20 0000165e: ADD 0000165f: SWAP1 00001660: DUP2 00001661: MSTORE 00001662: PUSH1 0x20 00001664: ADD 00001665: PUSH1 0x00 00001667: KECCAK256 00001668: PUSH1 0x00 0000166a: SWAP1 0000166b: SLOAD 0000166c: SWAP1 0000166d: PUSH2 0x0100 00001670: EXP 00001671: SWAP1 00001672: DIV 00001673: PUSH1 0xff 00001675: AND 00001676: ISZERO 00001677: ISZERO 00001678: EQ 00001679: ISZERO 0000167a: ISZERO 0000167b: PUSH2 0x173d 0000167e: JUMPI 0000167f: PUSH1 0x05 00001681: DUP4 00001682: SWAP1 00001683: DUP1 00001684: PUSH1 0x01 00001686: DUP2 00001687: SLOAD 00001688: ADD 00001689: DUP1 0000168a: DUP3 0000168b: SSTORE 0000168c: DUP1 0000168d: SWAP2 0000168e: POP 0000168f: POP 00001690: SWAP1 00001691: PUSH1 0x01 00001693: DUP3 00001694: SUB 00001695: SWAP1 00001696: PUSH1 0x00 00001698: MSTORE 00001699: PUSH1 0x20 0000169b: PUSH1 0x00 0000169d: KECCAK256 0000169e: ADD 0000169f: PUSH1 0x00 000016a1: SWAP1 000016a2: SWAP2 000016a3: SWAP3 000016a4: SWAP1 000016a5: SWAP2 000016a6: SWAP1 000016a7: SWAP2 000016a8: PUSH2 0x0100 000016ab: EXP 000016ac: DUP2 000016ad: SLOAD 000016ae: DUP2 000016af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c4: MUL 000016c5: NOT 000016c6: AND 000016c7: SWAP1 000016c8: DUP4 000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016de: AND 000016df: MUL 000016e0: OR 000016e1: SWAP1 000016e2: SSTORE 000016e3: POP 000016e4: POP 000016e5: PUSH1 0x01 000016e7: PUSH1 0x06 000016e9: PUSH1 0x00 000016eb: DUP6 000016ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001701: AND 00001702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001717: AND 00001718: DUP2 00001719: MSTORE 0000171a: PUSH1 0x20 0000171c: ADD 0000171d: SWAP1 0000171e: DUP2 0000171f: MSTORE 00001720: PUSH1 0x20 00001722: ADD 00001723: PUSH1 0x00 00001725: KECCAK256 00001726: PUSH1 0x00 00001728: PUSH2 0x0100 0000172b: EXP 0000172c: DUP2 0000172d: SLOAD 0000172e: DUP2 0000172f: PUSH1 0xff 00001731: MUL 00001732: NOT 00001733: AND 00001734: SWAP1 00001735: DUP4 00001736: ISZERO 00001737: ISZERO 00001738: MUL 00001739: OR 0000173a: SWAP1 0000173b: SSTORE 0000173c: POP 0000173d: JUMPDEST 0000173e: DUP3 0000173f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001754: AND 00001755: CALLER 00001756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176b: AND 0000176c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000178d: DUP5 0000178e: PUSH1 0x40 00001790: MLOAD 00001791: DUP1 00001792: DUP3 00001793: DUP2 00001794: MSTORE 00001795: PUSH1 0x20 00001797: ADD 00001798: SWAP2 00001799: POP 0000179a: POP 0000179b: PUSH1 0x40 0000179d: MLOAD 0000179e: DUP1 0000179f: SWAP2 000017a0: SUB 000017a1: SWAP1 000017a2: LOG3 000017a3: PUSH1 0x01 000017a5: SWAP1 000017a6: POP 000017a7: SWAP3 000017a8: SWAP2 000017a9: POP 000017aa: POP 000017ab: JUMP 000017ac: JUMPDEST 000017ad: PUSH1 0x00 000017af: DUP1 000017b0: PUSH1 0x00 000017b2: DUP1 000017b3: PUSH1 0x00 000017b5: ADDRESS 000017b6: SWAP4 000017b7: POP 000017b8: PUSH1 0x00 000017ba: SLOAD 000017bb: PUSH8 0x0de0b6b3a7640000 000017c4: PUSH1 0x02 000017c6: PUSH1 0x04 000017c8: CALLVALUE 000017c9: DUP9 000017ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017df: AND 000017e0: BALANCE 000017e1: SUB 000017e2: MUL 000017e3: MUL 000017e4: MUL 000017e5: DUP2 000017e6: ISZERO 000017e7: ISZERO 000017e8: PUSH2 0x17ed 000017eb: JUMPI 000017ec: INVALID 000017ed: JUMPDEST 000017ee: DIV 000017ef: SWAP3 000017f0: POP 000017f1: DUP3 000017f2: CALLVALUE 000017f3: LT 000017f4: ISZERO 000017f5: ISZERO 000017f6: ISZERO 000017f7: PUSH2 0x17ff 000017fa: JUMPI 000017fb: PUSH1 0x00 000017fd: DUP1 000017fe: REVERT 000017ff: JUMPDEST 00001800: CALLVALUE 00001801: DUP5 00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001817: AND 00001818: BALANCE 00001819: SUB 0000181a: PUSH8 0x0de0b6b3a7640000 00001823: PUSH3 0x0324b0 00001827: DUP7 00001828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183d: AND 0000183e: BALANCE 0000183f: SUB 00001840: MUL 00001841: DUP2 00001842: ISZERO 00001843: ISZERO 00001844: PUSH2 0x1849 00001847: JUMPI 00001848: INVALID 00001849: JUMPDEST 0000184a: DIV 0000184b: SWAP5 0000184c: POP 0000184d: PUSH1 0x02 0000184f: DUP6 00001850: PUSH8 0x0de0b6b3a7640000 00001859: ADD 0000185a: DUP2 0000185b: ISZERO 0000185c: ISZERO 0000185d: PUSH2 0x1862 00001860: JUMPI 00001861: INVALID 00001862: JUMPDEST 00001863: DIV 00001864: SWAP2 00001865: POP 00001866: PUSH1 0x02 00001868: DUP3 00001869: PUSH8 0x0de0b6b3a7640000 00001872: DUP8 00001873: MUL 00001874: DUP2 00001875: ISZERO 00001876: ISZERO 00001877: PUSH2 0x187c 0000187a: JUMPI 0000187b: INVALID 0000187c: JUMPDEST 0000187d: DIV 0000187e: DUP4 0000187f: ADD 00001880: DUP2 00001881: ISZERO 00001882: ISZERO 00001883: PUSH2 0x1888 00001886: JUMPI 00001887: INVALID 00001888: JUMPDEST 00001889: DIV 0000188a: SWAP2 0000188b: POP 0000188c: PUSH1 0x02 0000188e: DUP3 0000188f: PUSH8 0x0de0b6b3a7640000 00001898: DUP8 00001899: MUL 0000189a: DUP2 0000189b: ISZERO 0000189c: ISZERO 0000189d: PUSH2 0x18a2 000018a0: JUMPI 000018a1: INVALID 000018a2: JUMPDEST 000018a3: DIV 000018a4: DUP4 000018a5: ADD 000018a6: DUP2 000018a7: ISZERO 000018a8: ISZERO 000018a9: PUSH2 0x18ae 000018ac: JUMPI 000018ad: INVALID 000018ae: JUMPDEST 000018af: DIV 000018b0: SWAP2 000018b1: POP 000018b2: PUSH1 0x02 000018b4: DUP3 000018b5: PUSH8 0x0de0b6b3a7640000 000018be: DUP8 000018bf: MUL 000018c0: DUP2 000018c1: ISZERO 000018c2: ISZERO 000018c3: PUSH2 0x18c8 000018c6: JUMPI 000018c7: INVALID 000018c8: JUMPDEST 000018c9: DIV 000018ca: DUP4 000018cb: ADD 000018cc: DUP2 000018cd: ISZERO 000018ce: ISZERO 000018cf: PUSH2 0x18d4 000018d2: JUMPI 000018d3: INVALID 000018d4: JUMPDEST 000018d5: DIV 000018d6: SWAP2 000018d7: POP 000018d8: PUSH1 0x02 000018da: DUP3 000018db: PUSH8 0x0de0b6b3a7640000 000018e4: DUP8 000018e5: MUL 000018e6: DUP2 000018e7: ISZERO 000018e8: ISZERO 000018e9: PUSH2 0x18ee 000018ec: JUMPI 000018ed: INVALID 000018ee: JUMPDEST 000018ef: DIV 000018f0: DUP4 000018f1: ADD 000018f2: DUP2 000018f3: ISZERO 000018f4: ISZERO 000018f5: PUSH2 0x18fa 000018f8: JUMPI 000018f9: INVALID 000018fa: JUMPDEST 000018fb: DIV 000018fc: SWAP2 000018fd: POP 000018fe: PUSH1 0x02 00001900: DUP3 00001901: PUSH8 0x0de0b6b3a7640000 0000190a: DUP8 0000190b: MUL 0000190c: DUP2 0000190d: ISZERO 0000190e: ISZERO 0000190f: PUSH2 0x1914 00001912: JUMPI 00001913: INVALID 00001914: JUMPDEST 00001915: DIV 00001916: DUP4 00001917: ADD 00001918: DUP2 00001919: ISZERO 0000191a: ISZERO 0000191b: PUSH2 0x1920 0000191e: JUMPI 0000191f: INVALID 00001920: JUMPDEST 00001921: DIV 00001922: SWAP2 00001923: POP 00001924: DUP2 00001925: SWAP5 00001926: POP 00001927: PUSH1 0x02 00001929: DUP6 0000192a: PUSH8 0x0de0b6b3a7640000 00001933: ADD 00001934: DUP2 00001935: ISZERO 00001936: ISZERO 00001937: PUSH2 0x193c 0000193a: JUMPI 0000193b: INVALID 0000193c: JUMPDEST 0000193d: DIV 0000193e: SWAP2 0000193f: POP 00001940: PUSH1 0x02 00001942: DUP3 00001943: PUSH8 0x0de0b6b3a7640000 0000194c: DUP8 0000194d: MUL 0000194e: DUP2 0000194f: ISZERO 00001950: ISZERO 00001951: PUSH2 0x1956 00001954: JUMPI 00001955: INVALID 00001956: JUMPDEST 00001957: DIV 00001958: DUP4 00001959: ADD 0000195a: DUP2 0000195b: ISZERO 0000195c: ISZERO 0000195d: PUSH2 0x1962 00001960: JUMPI 00001961: INVALID 00001962: JUMPDEST 00001963: DIV 00001964: SWAP2 00001965: POP 00001966: PUSH1 0x02 00001968: DUP3 00001969: PUSH8 0x0de0b6b3a7640000 00001972: DUP8 00001973: MUL 00001974: DUP2 00001975: ISZERO 00001976: ISZERO 00001977: PUSH2 0x197c 0000197a: JUMPI 0000197b: INVALID 0000197c: JUMPDEST 0000197d: DIV 0000197e: DUP4 0000197f: ADD 00001980: DUP2 00001981: ISZERO 00001982: ISZERO 00001983: PUSH2 0x1988 00001986: JUMPI 00001987: INVALID 00001988: JUMPDEST 00001989: DIV 0000198a: SWAP2 0000198b: POP 0000198c: PUSH1 0x02 0000198e: DUP3 0000198f: PUSH8 0x0de0b6b3a7640000 00001998: DUP8 00001999: MUL 0000199a: DUP2 0000199b: ISZERO 0000199c: ISZERO 0000199d: PUSH2 0x19a2 000019a0: JUMPI 000019a1: INVALID 000019a2: JUMPDEST 000019a3: DIV 000019a4: DUP4 000019a5: ADD 000019a6: DUP2 000019a7: ISZERO 000019a8: ISZERO 000019a9: PUSH2 0x19ae 000019ac: JUMPI 000019ad: INVALID 000019ae: JUMPDEST 000019af: DIV 000019b0: SWAP2 000019b1: POP 000019b2: PUSH1 0x02 000019b4: DUP3 000019b5: PUSH8 0x0de0b6b3a7640000 000019be: DUP8 000019bf: MUL 000019c0: DUP2 000019c1: ISZERO 000019c2: ISZERO 000019c3: PUSH2 0x19c8 000019c6: JUMPI 000019c7: INVALID 000019c8: JUMPDEST 000019c9: DIV 000019ca: DUP4 000019cb: ADD 000019cc: DUP2 000019cd: ISZERO 000019ce: ISZERO 000019cf: PUSH2 0x19d4 000019d2: JUMPI 000019d3: INVALID 000019d4: JUMPDEST 000019d5: DIV 000019d6: SWAP2 000019d7: POP 000019d8: PUSH1 0x02 000019da: DUP3 000019db: PUSH8 0x0de0b6b3a7640000 000019e4: DUP8 000019e5: MUL 000019e6: DUP2 000019e7: ISZERO 000019e8: ISZERO 000019e9: PUSH2 0x19ee 000019ec: JUMPI 000019ed: INVALID 000019ee: JUMPDEST 000019ef: DIV 000019f0: DUP4 000019f1: ADD 000019f2: DUP2 000019f3: ISZERO 000019f4: ISZERO 000019f5: PUSH2 0x19fa 000019f8: JUMPI 000019f9: INVALID 000019fa: JUMPDEST 000019fb: DIV 000019fc: SWAP2 000019fd: POP 000019fe: DUP2 000019ff: SWAP5 00001a00: POP 00001a01: PUSH8 0x0de0b6b3a7640000 00001a0a: DUP6 00001a0b: SUB 00001a0c: SWAP5 00001a0d: POP 00001a0e: PUSH8 0x0de0b6b3a7640000 00001a17: PUSH1 0x00 00001a19: SLOAD 00001a1a: DUP7 00001a1b: MUL 00001a1c: DUP2 00001a1d: ISZERO 00001a1e: ISZERO 00001a1f: PUSH2 0x1a24 00001a22: JUMPI 00001a23: INVALID 00001a24: JUMPDEST 00001a25: DIV 00001a26: SWAP5 00001a27: POP 00001a28: PUSH1 0x04 00001a2a: CALLVALUE 00001a2b: DUP6 00001a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a41: AND 00001a42: BALANCE 00001a43: SUB 00001a44: PUSH1 0x00 00001a46: SLOAD 00001a47: PUSH3 0x0324b0 00001a4b: CALLVALUE 00001a4c: SUB 00001a4d: MUL 00001a4e: DUP2 00001a4f: ISZERO 00001a50: ISZERO 00001a51: PUSH2 0x1a56 00001a54: JUMPI 00001a55: INVALID 00001a56: JUMPDEST 00001a57: DIV 00001a58: DUP2 00001a59: ISZERO 00001a5a: ISZERO 00001a5b: PUSH2 0x1a60 00001a5e: JUMPI 00001a5f: INVALID 00001a60: JUMPDEST 00001a61: DIV 00001a62: SWAP1 00001a63: POP 00001a64: DUP5 00001a65: DUP2 00001a66: LT 00001a67: ISZERO 00001a68: ISZERO 00001a69: ISZERO 00001a6a: PUSH2 0x1a72 00001a6d: JUMPI 00001a6e: PUSH1 0x00 00001a70: DUP1 00001a71: REVERT 00001a72: JUMPDEST 00001a73: DUP5 00001a74: PUSH1 0x00 00001a76: DUP1 00001a77: DUP3 00001a78: DUP3 00001a79: SLOAD 00001a7a: ADD 00001a7b: SWAP3 00001a7c: POP 00001a7d: POP 00001a7e: DUP2 00001a7f: SWAP1 00001a80: SSTORE 00001a81: POP 00001a82: DUP5 00001a83: PUSH1 0x03 00001a85: PUSH1 0x00 00001a87: CALLER 00001a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9d: AND 00001a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab3: AND 00001ab4: DUP2 00001ab5: MSTORE 00001ab6: PUSH1 0x20 00001ab8: ADD 00001ab9: SWAP1 00001aba: DUP2 00001abb: MSTORE 00001abc: PUSH1 0x20 00001abe: ADD 00001abf: PUSH1 0x00 00001ac1: KECCAK256 00001ac2: PUSH1 0x00 00001ac4: DUP3 00001ac5: DUP3 00001ac6: SLOAD 00001ac7: ADD 00001ac8: SWAP3 00001ac9: POP 00001aca: POP 00001acb: DUP2 00001acc: SWAP1 00001acd: SSTORE 00001ace: POP 00001acf: PUSH1 0x01 00001ad1: ISZERO 00001ad2: ISZERO 00001ad3: PUSH1 0x06 00001ad5: PUSH1 0x00 00001ad7: CALLER 00001ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aed: AND 00001aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b03: AND 00001b04: DUP2 00001b05: MSTORE 00001b06: PUSH1 0x20 00001b08: ADD 00001b09: SWAP1 00001b0a: DUP2 00001b0b: MSTORE 00001b0c: PUSH1 0x20 00001b0e: ADD 00001b0f: PUSH1 0x00 00001b11: KECCAK256 00001b12: PUSH1 0x00 00001b14: SWAP1 00001b15: SLOAD 00001b16: SWAP1 00001b17: PUSH2 0x0100 00001b1a: EXP 00001b1b: SWAP1 00001b1c: DIV 00001b1d: PUSH1 0xff 00001b1f: AND 00001b20: ISZERO 00001b21: ISZERO 00001b22: EQ 00001b23: ISZERO 00001b24: ISZERO 00001b25: PUSH2 0x1be7 00001b28: JUMPI 00001b29: PUSH1 0x05 00001b2b: CALLER 00001b2c: SWAP1 00001b2d: DUP1 00001b2e: PUSH1 0x01 00001b30: DUP2 00001b31: SLOAD 00001b32: ADD 00001b33: DUP1 00001b34: DUP3 00001b35: SSTORE 00001b36: DUP1 00001b37: SWAP2 00001b38: POP 00001b39: POP 00001b3a: SWAP1 00001b3b: PUSH1 0x01 00001b3d: DUP3 00001b3e: SUB 00001b3f: SWAP1 00001b40: PUSH1 0x00 00001b42: MSTORE 00001b43: PUSH1 0x20 00001b45: PUSH1 0x00 00001b47: KECCAK256 00001b48: ADD 00001b49: PUSH1 0x00 00001b4b: SWAP1 00001b4c: SWAP2 00001b4d: SWAP3 00001b4e: SWAP1 00001b4f: SWAP2 00001b50: SWAP1 00001b51: SWAP2 00001b52: PUSH2 0x0100 00001b55: EXP 00001b56: DUP2 00001b57: SLOAD 00001b58: DUP2 00001b59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6e: MUL 00001b6f: NOT 00001b70: AND 00001b71: SWAP1 00001b72: DUP4 00001b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b88: AND 00001b89: MUL 00001b8a: OR 00001b8b: SWAP1 00001b8c: SSTORE 00001b8d: POP 00001b8e: POP 00001b8f: PUSH1 0x01 00001b91: PUSH1 0x06 00001b93: PUSH1 0x00 00001b95: CALLER 00001b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bab: AND 00001bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc1: AND 00001bc2: DUP2 00001bc3: MSTORE 00001bc4: PUSH1 0x20 00001bc6: ADD 00001bc7: SWAP1 00001bc8: DUP2 00001bc9: MSTORE 00001bca: PUSH1 0x20 00001bcc: ADD 00001bcd: PUSH1 0x00 00001bcf: KECCAK256 00001bd0: PUSH1 0x00 00001bd2: PUSH2 0x0100 00001bd5: EXP 00001bd6: DUP2 00001bd7: SLOAD 00001bd8: DUP2 00001bd9: PUSH1 0xff 00001bdb: MUL 00001bdc: NOT 00001bdd: AND 00001bde: SWAP1 00001bdf: DUP4 00001be0: ISZERO 00001be1: ISZERO 00001be2: MUL 00001be3: OR 00001be4: SWAP1 00001be5: SSTORE 00001be6: POP 00001be7: JUMPDEST 00001be8: CALLER 00001be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfe: AND 00001bff: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885 00001c20: DUP7 00001c21: PUSH1 0x40 00001c23: MLOAD 00001c24: DUP1 00001c25: DUP3 00001c26: DUP2 00001c27: MSTORE 00001c28: PUSH1 0x20 00001c2a: ADD 00001c2b: SWAP2 00001c2c: POP 00001c2d: POP 00001c2e: PUSH1 0x40 00001c30: MLOAD 00001c31: DUP1 00001c32: SWAP2 00001c33: SUB 00001c34: SWAP1 00001c35: LOG2 00001c36: CALLER 00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4c: AND 00001c4d: PUSH1 0x00 00001c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c64: AND 00001c65: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001c86: DUP8 00001c87: PUSH1 0x40 00001c89: MLOAD 00001c8a: DUP1 00001c8b: DUP3 00001c8c: DUP2 00001c8d: MSTORE 00001c8e: PUSH1 0x20 00001c90: ADD 00001c91: SWAP2 00001c92: POP 00001c93: POP 00001c94: PUSH1 0x40 00001c96: MLOAD 00001c97: DUP1 00001c98: SWAP2 00001c99: SUB 00001c9a: SWAP1 00001c9b: LOG3 00001c9c: DUP5 00001c9d: SWAP5 00001c9e: POP 00001c9f: POP 00001ca0: POP 00001ca1: POP 00001ca2: POP 00001ca3: SWAP1 00001ca4: JUMP 00001ca5: JUMPDEST 00001ca6: PUSH1 0x00 00001ca8: DUP1 00001ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cbe: AND 00001cbf: DUP4 00001cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd5: AND 00001cd6: EQ 00001cd7: ISZERO 00001cd8: ISZERO 00001cd9: ISZERO 00001cda: PUSH2 0x1ce2 00001cdd: JUMPI 00001cde: PUSH1 0x00 00001ce0: DUP1 00001ce1: REVERT 00001ce2: JUMPDEST 00001ce3: PUSH1 0x00 00001ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cfa: AND 00001cfb: DUP3 00001cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d11: AND 00001d12: EQ 00001d13: ISZERO 00001d14: ISZERO 00001d15: ISZERO 00001d16: PUSH2 0x1d1e 00001d19: JUMPI 00001d1a: PUSH1 0x00 00001d1c: DUP1 00001d1d: REVERT 00001d1e: JUMPDEST 00001d1f: PUSH1 0x04 00001d21: PUSH1 0x00 00001d23: DUP5 00001d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d39: AND 00001d3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4f: AND 00001d50: DUP2 00001d51: MSTORE 00001d52: PUSH1 0x20 00001d54: ADD 00001d55: SWAP1 00001d56: DUP2 00001d57: MSTORE 00001d58: PUSH1 0x20 00001d5a: ADD 00001d5b: PUSH1 0x00 00001d5d: KECCAK256 00001d5e: PUSH1 0x00 00001d60: DUP4 00001d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d76: AND 00001d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d8c: AND 00001d8d: DUP2 00001d8e: MSTORE 00001d8f: PUSH1 0x20 00001d91: ADD 00001d92: SWAP1 00001d93: DUP2 00001d94: MSTORE 00001d95: PUSH1 0x20 00001d97: ADD 00001d98: PUSH1 0x00 00001d9a: KECCAK256 00001d9b: SLOAD 00001d9c: SWAP1 00001d9d: POP 00001d9e: SWAP3 00001d9f: SWAP2 00001da0: POP 00001da1: POP 00001da2: JUMP 00001da3: JUMPDEST 00001da4: PUSH1 0x00 00001da6: DUP1 00001da7: PUSH1 0x00 00001da9: DUP1 00001daa: ADDRESS 00001dab: SWAP3 00001dac: POP 00001dad: PUSH1 0x00 00001daf: SLOAD 00001db0: PUSH1 0x0a 00001db2: PUSH1 0x04 00001db4: DUP6 00001db5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dca: AND 00001dcb: BALANCE 00001dcc: MUL 00001dcd: MUL 00001dce: DUP2 00001dcf: ISZERO 00001dd0: ISZERO 00001dd1: PUSH2 0x1dd6 00001dd4: JUMPI 00001dd5: INVALID 00001dd6: JUMPDEST 00001dd7: DIV 00001dd8: SWAP2 00001dd9: POP 00001dda: PUSH1 0x0a 00001ddc: DUP3 00001ddd: GT 00001dde: ISZERO 00001ddf: ISZERO 00001de0: PUSH2 0x1de8 00001de3: JUMPI 00001de4: PUSH1 0x00 00001de6: DUP1 00001de7: REVERT 00001de8: JUMPDEST 00001de9: PUSH1 0x0a 00001deb: DUP3 00001dec: MUL 00001ded: SWAP2 00001dee: POP 00001def: PUSH1 0x00 00001df1: SWAP1 00001df2: POP 00001df3: JUMPDEST 00001df4: PUSH1 0x05 00001df6: DUP1 00001df7: SLOAD 00001df8: SWAP1 00001df9: POP 00001dfa: DUP2 00001dfb: LT 00001dfc: ISZERO 00001dfd: PUSH2 0x1e93 00001e00: JUMPI 00001e01: DUP2 00001e02: PUSH1 0x03 00001e04: PUSH1 0x00 00001e06: PUSH1 0x05 00001e08: DUP5 00001e09: DUP2 00001e0a: SLOAD 00001e0b: DUP2 00001e0c: LT 00001e0d: ISZERO 00001e0e: ISZERO 00001e0f: PUSH2 0x1e14 00001e12: JUMPI 00001e13: INVALID 00001e14: JUMPDEST 00001e15: SWAP1 00001e16: PUSH1 0x00 00001e18: MSTORE 00001e19: PUSH1 0x20 00001e1b: PUSH1 0x00 00001e1d: KECCAK256 00001e1e: ADD 00001e1f: PUSH1 0x00 00001e21: SWAP1 00001e22: SLOAD 00001e23: SWAP1 00001e24: PUSH2 0x0100 00001e27: EXP 00001e28: SWAP1 00001e29: DIV 00001e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e3f: AND 00001e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e55: AND 00001e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e6b: AND 00001e6c: DUP2 00001e6d: MSTORE 00001e6e: PUSH1 0x20 00001e70: ADD 00001e71: SWAP1 00001e72: DUP2 00001e73: MSTORE 00001e74: PUSH1 0x20 00001e76: ADD 00001e77: PUSH1 0x00 00001e79: KECCAK256 00001e7a: PUSH1 0x00 00001e7c: DUP3 00001e7d: DUP3 00001e7e: SLOAD 00001e7f: MUL 00001e80: SWAP3 00001e81: POP 00001e82: POP 00001e83: DUP2 00001e84: SWAP1 00001e85: SSTORE 00001e86: POP 00001e87: DUP1 00001e88: DUP1 00001e89: PUSH1 0x01 00001e8b: ADD 00001e8c: SWAP2 00001e8d: POP 00001e8e: POP 00001e8f: PUSH2 0x1df3 00001e92: JUMP 00001e93: JUMPDEST 00001e94: DUP2 00001e95: PUSH1 0x00 00001e97: DUP1 00001e98: DUP3 00001e99: DUP3 00001e9a: SLOAD 00001e9b: MUL 00001e9c: SWAP3 00001e9d: POP 00001e9e: POP 00001e9f: DUP2 00001ea0: SWAP1 00001ea1: SSTORE 00001ea2: POP 00001ea3: PUSH32 0x734b7c838092bed0c73268b7a2cb67b07305321ec5c5610480c2c4c5d43d698e 00001ec4: DUP3 00001ec5: PUSH1 0x40 00001ec7: MLOAD 00001ec8: DUP1 00001ec9: DUP3 00001eca: DUP2 00001ecb: MSTORE 00001ecc: PUSH1 0x20 00001ece: ADD 00001ecf: SWAP2 00001ed0: POP 00001ed1: POP 00001ed2: PUSH1 0x40 00001ed4: MLOAD 00001ed5: DUP1 00001ed6: SWAP2 00001ed7: SUB 00001ed8: SWAP1 00001ed9: LOG1 00001eda: PUSH1 0x01 00001edc: SWAP4 00001edd: POP 00001ede: POP 00001edf: POP 00001ee0: POP 00001ee1: SWAP1 00001ee2: JUMP 00001ee3: JUMPDEST 00001ee4: PUSH1 0x00 00001ee6: DUP3 00001ee7: DUP3 00001ee8: GT 00001ee9: ISZERO 00001eea: ISZERO 00001eeb: ISZERO 00001eec: PUSH2 0x1ef1 00001eef: JUMPI 00001ef0: INVALID 00001ef1: JUMPDEST 00001ef2: DUP2 00001ef3: DUP4 00001ef4: SUB 00001ef5: SWAP1 00001ef6: POP 00001ef7: SWAP3 00001ef8: SWAP2 00001ef9: POP 00001efa: POP 00001efb: JUMP 00001efc: JUMPDEST 00001efd: PUSH1 0x00 00001eff: DUP2 00001f00: DUP4 00001f01: ADD 00001f02: SWAP1 00001f03: POP 00001f04: DUP3 00001f05: DUP2 00001f06: LT 00001f07: ISZERO 00001f08: ISZERO 00001f09: ISZERO 00001f0a: PUSH2 0x1f0f 00001f0d: JUMPI 00001f0e: INVALID 00001f0f: JUMPDEST 00001f10: DUP1 00001f11: SWAP1 00001f12: POP 00001f13: SWAP3 00001f14: SWAP2 00001f15: POP 00001f16: POP 00001f17: JUMP 00001f18: STOP 00001f19: LOG1 00001f1a: PUSH6 0x627a7a723058 00001f21: KECCAK256 00001f22: UNKNOWN(0xD4) 00001f23: UNKNOWN(0xDA) 00001f24: CALLDATACOPY 00001f25: UNKNOWN(0x0E) 00001f26: UNKNOWN(0x4C) 00001f27: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1555425e37ed894819c068c874357230a38501bb78fa1f031c8b92d1acd41e0d
call_targets:
0xf0b3ba2dd4b2ef75d727a4045d7fbcc415b77bf0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1555425e37ed894819c068c874357230a38501bb78fa1f031c8b92d1acd41e0d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf0b3ba2dd4b2ef75d727a4045d7fbcc415b77bf0"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3eaaf86b",
"selector": "0x3eaaf86b",
"calldata_variants": [
"0x3eaaf86b",
"0x3eaaf86b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5178,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1555425e37ed894819c068c874357230a38501bb78fa1f031c8b92d1acd41e0d
call_targets:
0xf0b3ba2dd4b2ef75d727a4045d7fbcc415b77bf0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1555425e37ed894819c068c874357230a38501bb78fa1f031c8b92d1acd41e0d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf0b3ba2dd4b2ef75d727a4045d7fbcc415b77bf0"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3eaaf86b",
"selector": "0x3eaaf86b",
"calldata_variants": [
"0x3eaaf86b",
"0x3eaaf86b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5178,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|