019ba90e-2a21-72f6-a70a-a845071599da
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 |
|---|---|---|---|---|
| 34631 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34632 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34633 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34634 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34635 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34636 | detector.run | complete | 1 / 3 | 3 months ago |
| 34637 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x015e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH3 0x65318b 0000003b: EQ 0000003c: PUSH2 0x016c 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x01c3 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x10d0ffdd 00000051: EQ 00000052: PUSH2 0x0253 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x0294 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x22609373 00000067: EQ 00000068: PUSH2 0x02bf 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313ce567 00000072: EQ 00000073: PUSH2 0x0300 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x392efb52 0000007d: EQ 0000007e: PUSH2 0x0331 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3ccfd60b 00000088: EQ 00000089: PUSH2 0x037a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4b750334 00000093: EQ 00000094: PUSH2 0x0391 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x523191bf 0000009e: EQ 0000009f: PUSH2 0x03bc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x56d399e8 000000a9: EQ 000000aa: PUSH2 0x0413 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x688abbf7 000000b4: EQ 000000b5: PUSH2 0x043e 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x6b2f4632 000000bf: EQ 000000c0: PUSH2 0x0481 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x70a08231 000000ca: EQ 000000cb: PUSH2 0x04ac 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8328b610 000000d5: EQ 000000d6: PUSH2 0x0503 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x8620410b 000000e0: EQ 000000e1: PUSH2 0x0530 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x89135ae9 000000eb: EQ 000000ec: PUSH2 0x055b 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x949e8acd 000000f6: EQ 000000f7: PUSH2 0x0598 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x95d89b41 00000101: EQ 00000102: PUSH2 0x05c3 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa9059cbb 0000010c: EQ 0000010d: PUSH2 0x0653 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xb84c8246 00000117: EQ 00000118: PUSH2 0x06b8 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xc47f0027 00000122: EQ 00000123: PUSH2 0x0721 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xd6b0f484 0000012d: EQ 0000012e: PUSH2 0x078a 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xe4849b32 00000138: EQ 00000139: PUSH2 0x07b9 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe9fad8ee 00000143: EQ 00000144: PUSH2 0x07e6 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf088d547 0000014e: EQ 0000014f: PUSH2 0x07fd 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xfdb5a03e 00000159: EQ 0000015a: PUSH2 0x0847 0000015d: JUMPI 0000015e: JUMPDEST 0000015f: PUSH2 0x0169 00000162: CALLVALUE 00000163: PUSH1 0x00 00000165: PUSH2 0x085e 00000168: JUMP 00000169: JUMPDEST 0000016a: POP 0000016b: STOP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x01ad 0000017d: PUSH1 0x04 0000017f: DUP1 00000180: CALLDATASIZE 00000181: SUB 00000182: DUP2 00000183: ADD 00000184: SWAP1 00000185: DUP1 00000186: DUP1 00000187: CALLDATALOAD 00000188: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019d: AND 0000019e: SWAP1 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: SWAP1 000001a3: SWAP3 000001a4: SWAP2 000001a5: SWAP1 000001a6: POP 000001a7: POP 000001a8: POP 000001a9: PUSH2 0x0af8 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x40 000001b0: MLOAD 000001b1: DUP1 000001b2: DUP3 000001b3: DUP2 000001b4: MSTORE 000001b5: PUSH1 0x20 000001b7: ADD 000001b8: SWAP2 000001b9: POP 000001ba: POP 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: DUP1 000001bf: SWAP2 000001c0: SUB 000001c1: SWAP1 000001c2: RETURN 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01d8 000001d4: PUSH2 0x0b9a 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: DUP1 000001dd: DUP1 000001de: PUSH1 0x20 000001e0: ADD 000001e1: DUP3 000001e2: DUP2 000001e3: SUB 000001e4: DUP3 000001e5: MSTORE 000001e6: DUP4 000001e7: DUP2 000001e8: DUP2 000001e9: MLOAD 000001ea: DUP2 000001eb: MSTORE 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: SWAP2 000001f0: POP 000001f1: DUP1 000001f2: MLOAD 000001f3: SWAP1 000001f4: PUSH1 0x20 000001f6: ADD 000001f7: SWAP1 000001f8: DUP1 000001f9: DUP4 000001fa: DUP4 000001fb: PUSH1 0x00 000001fd: JUMPDEST 000001fe: DUP4 000001ff: DUP2 00000200: LT 00000201: ISZERO 00000202: PUSH2 0x0218 00000205: JUMPI 00000206: DUP1 00000207: DUP3 00000208: ADD 00000209: MLOAD 0000020a: DUP2 0000020b: DUP5 0000020c: ADD 0000020d: MSTORE 0000020e: PUSH1 0x20 00000210: DUP2 00000211: ADD 00000212: SWAP1 00000213: POP 00000214: PUSH2 0x01fd 00000217: JUMP 00000218: JUMPDEST 00000219: POP 0000021a: POP 0000021b: POP 0000021c: POP 0000021d: SWAP1 0000021e: POP 0000021f: SWAP1 00000220: DUP2 00000221: ADD 00000222: SWAP1 00000223: PUSH1 0x1f 00000225: AND 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0245 0000022b: JUMPI 0000022c: DUP1 0000022d: DUP3 0000022e: SUB 0000022f: DUP1 00000230: MLOAD 00000231: PUSH1 0x01 00000233: DUP4 00000234: PUSH1 0x20 00000236: SUB 00000237: PUSH2 0x0100 0000023a: EXP 0000023b: SUB 0000023c: NOT 0000023d: AND 0000023e: DUP2 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP2 00000244: POP 00000245: JUMPDEST 00000246: POP 00000247: SWAP3 00000248: POP 00000249: POP 0000024a: POP 0000024b: PUSH1 0x40 0000024d: MLOAD 0000024e: DUP1 0000024f: SWAP2 00000250: SUB 00000251: SWAP1 00000252: RETURN 00000253: JUMPDEST 00000254: CALLVALUE 00000255: DUP1 00000256: ISZERO 00000257: PUSH2 0x025f 0000025a: JUMPI 0000025b: PUSH1 0x00 0000025d: DUP1 0000025e: REVERT 0000025f: JUMPDEST 00000260: POP 00000261: PUSH2 0x027e 00000264: PUSH1 0x04 00000266: DUP1 00000267: CALLDATASIZE 00000268: SUB 00000269: DUP2 0000026a: ADD 0000026b: SWAP1 0000026c: DUP1 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 0x0c38 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: DUP3 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP2 0000028a: POP 0000028b: POP 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: DUP1 00000290: SWAP2 00000291: SUB 00000292: SWAP1 00000293: RETURN 00000294: JUMPDEST 00000295: CALLVALUE 00000296: DUP1 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: POP 000002a2: PUSH2 0x02a9 000002a5: PUSH2 0x0c70 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: DUP3 000002af: DUP2 000002b0: MSTORE 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: SWAP2 000002b5: POP 000002b6: POP 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: DUP1 000002bb: SWAP2 000002bc: SUB 000002bd: SWAP1 000002be: RETURN 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x02ea 000002d0: PUSH1 0x04 000002d2: DUP1 000002d3: CALLDATASIZE 000002d4: SUB 000002d5: DUP2 000002d6: ADD 000002d7: SWAP1 000002d8: DUP1 000002d9: DUP1 000002da: CALLDATALOAD 000002db: SWAP1 000002dc: PUSH1 0x20 000002de: ADD 000002df: SWAP1 000002e0: SWAP3 000002e1: SWAP2 000002e2: SWAP1 000002e3: POP 000002e4: POP 000002e5: POP 000002e6: PUSH2 0x0c7e 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: DUP1 000002ef: DUP3 000002f0: DUP2 000002f1: MSTORE 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: SWAP2 000002f6: POP 000002f7: POP 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: DUP1 000002fc: SWAP2 000002fd: SUB 000002fe: SWAP1 000002ff: RETURN 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x0315 00000311: PUSH2 0x0cc7 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH1 0x40 00000318: MLOAD 00000319: DUP1 0000031a: DUP3 0000031b: PUSH1 0xff 0000031d: AND 0000031e: PUSH1 0xff 00000320: AND 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: ADD 00000326: SWAP2 00000327: POP 00000328: POP 00000329: PUSH1 0x40 0000032b: MLOAD 0000032c: DUP1 0000032d: SWAP2 0000032e: SUB 0000032f: SWAP1 00000330: RETURN 00000331: JUMPDEST 00000332: CALLVALUE 00000333: DUP1 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: POP 0000033f: PUSH2 0x0360 00000342: PUSH1 0x04 00000344: DUP1 00000345: CALLDATASIZE 00000346: SUB 00000347: DUP2 00000348: ADD 00000349: SWAP1 0000034a: DUP1 0000034b: DUP1 0000034c: CALLDATALOAD 0000034d: PUSH1 0x00 0000034f: NOT 00000350: AND 00000351: SWAP1 00000352: PUSH1 0x20 00000354: ADD 00000355: SWAP1 00000356: SWAP3 00000357: SWAP2 00000358: SWAP1 00000359: POP 0000035a: POP 0000035b: POP 0000035c: PUSH2 0x0ccc 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x40 00000363: MLOAD 00000364: DUP1 00000365: DUP3 00000366: ISZERO 00000367: ISZERO 00000368: ISZERO 00000369: ISZERO 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: SWAP2 00000370: POP 00000371: POP 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: SWAP2 00000377: SUB 00000378: SWAP1 00000379: RETURN 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: POP 00000388: PUSH2 0x038f 0000038b: PUSH2 0x0cec 0000038e: JUMP 0000038f: JUMPDEST 00000390: STOP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x03a6 000003a2: PUSH2 0x0e90 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: DUP1 000003ab: DUP3 000003ac: DUP2 000003ad: MSTORE 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP2 000003b2: POP 000003b3: POP 000003b4: PUSH1 0x40 000003b6: MLOAD 000003b7: DUP1 000003b8: SWAP2 000003b9: SUB 000003ba: SWAP1 000003bb: RETURN 000003bc: JUMPDEST 000003bd: CALLVALUE 000003be: DUP1 000003bf: ISZERO 000003c0: PUSH2 0x03c8 000003c3: JUMPI 000003c4: PUSH1 0x00 000003c6: DUP1 000003c7: REVERT 000003c8: JUMPDEST 000003c9: POP 000003ca: PUSH2 0x03fd 000003cd: PUSH1 0x04 000003cf: DUP1 000003d0: CALLDATASIZE 000003d1: SUB 000003d2: DUP2 000003d3: ADD 000003d4: SWAP1 000003d5: DUP1 000003d6: DUP1 000003d7: CALLDATALOAD 000003d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ed: AND 000003ee: SWAP1 000003ef: PUSH1 0x20 000003f1: ADD 000003f2: SWAP1 000003f3: SWAP3 000003f4: SWAP2 000003f5: SWAP1 000003f6: POP 000003f7: POP 000003f8: POP 000003f9: PUSH2 0x0ef2 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x40 00000400: MLOAD 00000401: DUP1 00000402: DUP3 00000403: DUP2 00000404: MSTORE 00000405: PUSH1 0x20 00000407: ADD 00000408: SWAP2 00000409: POP 0000040a: POP 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: DUP1 0000040f: SWAP2 00000410: SUB 00000411: SWAP1 00000412: RETURN 00000413: JUMPDEST 00000414: CALLVALUE 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: PUSH2 0x0428 00000424: PUSH2 0x0f0a 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: DUP3 0000042e: DUP2 0000042f: MSTORE 00000430: PUSH1 0x20 00000432: ADD 00000433: SWAP2 00000434: POP 00000435: POP 00000436: PUSH1 0x40 00000438: MLOAD 00000439: DUP1 0000043a: SWAP2 0000043b: SUB 0000043c: SWAP1 0000043d: RETURN 0000043e: JUMPDEST 0000043f: CALLVALUE 00000440: DUP1 00000441: ISZERO 00000442: PUSH2 0x044a 00000445: JUMPI 00000446: PUSH1 0x00 00000448: DUP1 00000449: REVERT 0000044a: JUMPDEST 0000044b: POP 0000044c: PUSH2 0x046b 0000044f: PUSH1 0x04 00000451: DUP1 00000452: CALLDATASIZE 00000453: SUB 00000454: DUP2 00000455: ADD 00000456: SWAP1 00000457: DUP1 00000458: DUP1 00000459: CALLDATALOAD 0000045a: ISZERO 0000045b: ISZERO 0000045c: SWAP1 0000045d: PUSH1 0x20 0000045f: ADD 00000460: SWAP1 00000461: SWAP3 00000462: SWAP2 00000463: SWAP1 00000464: POP 00000465: POP 00000466: POP 00000467: PUSH2 0x0f10 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: DUP1 00000470: DUP3 00000471: DUP2 00000472: MSTORE 00000473: PUSH1 0x20 00000475: ADD 00000476: SWAP2 00000477: POP 00000478: POP 00000479: PUSH1 0x40 0000047b: MLOAD 0000047c: DUP1 0000047d: SWAP2 0000047e: SUB 0000047f: SWAP1 00000480: RETURN 00000481: JUMPDEST 00000482: CALLVALUE 00000483: DUP1 00000484: ISZERO 00000485: PUSH2 0x048d 00000488: JUMPI 00000489: PUSH1 0x00 0000048b: DUP1 0000048c: REVERT 0000048d: JUMPDEST 0000048e: POP 0000048f: PUSH2 0x0496 00000492: PUSH2 0x0f7c 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH1 0x40 00000499: MLOAD 0000049a: DUP1 0000049b: DUP3 0000049c: DUP2 0000049d: MSTORE 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: SWAP2 000004a2: POP 000004a3: POP 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: DUP1 000004a8: SWAP2 000004a9: SUB 000004aa: SWAP1 000004ab: RETURN 000004ac: JUMPDEST 000004ad: CALLVALUE 000004ae: DUP1 000004af: ISZERO 000004b0: PUSH2 0x04b8 000004b3: JUMPI 000004b4: PUSH1 0x00 000004b6: DUP1 000004b7: REVERT 000004b8: JUMPDEST 000004b9: POP 000004ba: PUSH2 0x04ed 000004bd: PUSH1 0x04 000004bf: DUP1 000004c0: CALLDATASIZE 000004c1: SUB 000004c2: DUP2 000004c3: ADD 000004c4: SWAP1 000004c5: DUP1 000004c6: DUP1 000004c7: CALLDATALOAD 000004c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dd: AND 000004de: SWAP1 000004df: PUSH1 0x20 000004e1: ADD 000004e2: SWAP1 000004e3: SWAP3 000004e4: SWAP2 000004e5: SWAP1 000004e6: POP 000004e7: POP 000004e8: POP 000004e9: PUSH2 0x0f9b 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x40 000004f0: MLOAD 000004f1: DUP1 000004f2: DUP3 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x20 000004f7: ADD 000004f8: SWAP2 000004f9: POP 000004fa: POP 000004fb: PUSH1 0x40 000004fd: MLOAD 000004fe: DUP1 000004ff: SWAP2 00000500: SUB 00000501: SWAP1 00000502: RETURN 00000503: JUMPDEST 00000504: CALLVALUE 00000505: DUP1 00000506: ISZERO 00000507: PUSH2 0x050f 0000050a: JUMPI 0000050b: PUSH1 0x00 0000050d: DUP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: POP 00000511: PUSH2 0x052e 00000514: PUSH1 0x04 00000516: DUP1 00000517: CALLDATASIZE 00000518: SUB 00000519: DUP2 0000051a: ADD 0000051b: SWAP1 0000051c: DUP1 0000051d: DUP1 0000051e: CALLDATALOAD 0000051f: SWAP1 00000520: PUSH1 0x20 00000522: ADD 00000523: SWAP1 00000524: SWAP3 00000525: SWAP2 00000526: SWAP1 00000527: POP 00000528: POP 00000529: POP 0000052a: PUSH2 0x108a 0000052d: JUMP 0000052e: JUMPDEST 0000052f: STOP 00000530: JUMPDEST 00000531: CALLVALUE 00000532: DUP1 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: POP 0000053e: PUSH2 0x0545 00000541: PUSH2 0x111e 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x40 00000548: MLOAD 00000549: DUP1 0000054a: DUP3 0000054b: DUP2 0000054c: MSTORE 0000054d: PUSH1 0x20 0000054f: ADD 00000550: SWAP2 00000551: POP 00000552: POP 00000553: PUSH1 0x40 00000555: MLOAD 00000556: DUP1 00000557: SWAP2 00000558: SUB 00000559: SWAP1 0000055a: RETURN 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH2 0x0596 0000056c: PUSH1 0x04 0000056e: DUP1 0000056f: CALLDATASIZE 00000570: SUB 00000571: DUP2 00000572: ADD 00000573: SWAP1 00000574: DUP1 00000575: DUP1 00000576: CALLDATALOAD 00000577: PUSH1 0x00 00000579: NOT 0000057a: AND 0000057b: SWAP1 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: SWAP1 00000580: SWAP3 00000581: SWAP2 00000582: SWAP1 00000583: DUP1 00000584: CALLDATALOAD 00000585: ISZERO 00000586: ISZERO 00000587: SWAP1 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP1 0000058c: SWAP3 0000058d: SWAP2 0000058e: SWAP1 0000058f: POP 00000590: POP 00000591: POP 00000592: PUSH2 0x1180 00000595: JUMP 00000596: JUMPDEST 00000597: STOP 00000598: JUMPDEST 00000599: CALLVALUE 0000059a: DUP1 0000059b: ISZERO 0000059c: PUSH2 0x05a4 0000059f: JUMPI 000005a0: PUSH1 0x00 000005a2: DUP1 000005a3: REVERT 000005a4: JUMPDEST 000005a5: POP 000005a6: PUSH2 0x05ad 000005a9: PUSH2 0x1241 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: DUP1 000005b2: DUP3 000005b3: DUP2 000005b4: MSTORE 000005b5: PUSH1 0x20 000005b7: ADD 000005b8: SWAP2 000005b9: POP 000005ba: POP 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: SWAP2 000005c0: SUB 000005c1: SWAP1 000005c2: RETURN 000005c3: JUMPDEST 000005c4: CALLVALUE 000005c5: DUP1 000005c6: ISZERO 000005c7: PUSH2 0x05cf 000005ca: JUMPI 000005cb: PUSH1 0x00 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: POP 000005d1: PUSH2 0x05d8 000005d4: PUSH2 0x1256 000005d7: JUMP 000005d8: JUMPDEST 000005d9: PUSH1 0x40 000005db: MLOAD 000005dc: DUP1 000005dd: DUP1 000005de: PUSH1 0x20 000005e0: ADD 000005e1: DUP3 000005e2: DUP2 000005e3: SUB 000005e4: DUP3 000005e5: MSTORE 000005e6: DUP4 000005e7: DUP2 000005e8: DUP2 000005e9: MLOAD 000005ea: DUP2 000005eb: MSTORE 000005ec: PUSH1 0x20 000005ee: ADD 000005ef: SWAP2 000005f0: POP 000005f1: DUP1 000005f2: MLOAD 000005f3: SWAP1 000005f4: PUSH1 0x20 000005f6: ADD 000005f7: SWAP1 000005f8: DUP1 000005f9: DUP4 000005fa: DUP4 000005fb: PUSH1 0x00 000005fd: JUMPDEST 000005fe: DUP4 000005ff: DUP2 00000600: LT 00000601: ISZERO 00000602: PUSH2 0x0618 00000605: JUMPI 00000606: DUP1 00000607: DUP3 00000608: ADD 00000609: MLOAD 0000060a: DUP2 0000060b: DUP5 0000060c: ADD 0000060d: MSTORE 0000060e: PUSH1 0x20 00000610: DUP2 00000611: ADD 00000612: SWAP1 00000613: POP 00000614: PUSH2 0x05fd 00000617: JUMP 00000618: JUMPDEST 00000619: POP 0000061a: POP 0000061b: POP 0000061c: POP 0000061d: SWAP1 0000061e: POP 0000061f: SWAP1 00000620: DUP2 00000621: ADD 00000622: SWAP1 00000623: PUSH1 0x1f 00000625: AND 00000626: DUP1 00000627: ISZERO 00000628: PUSH2 0x0645 0000062b: JUMPI 0000062c: DUP1 0000062d: DUP3 0000062e: SUB 0000062f: DUP1 00000630: MLOAD 00000631: PUSH1 0x01 00000633: DUP4 00000634: PUSH1 0x20 00000636: SUB 00000637: PUSH2 0x0100 0000063a: EXP 0000063b: SUB 0000063c: NOT 0000063d: AND 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH1 0x20 00000642: ADD 00000643: SWAP2 00000644: POP 00000645: JUMPDEST 00000646: POP 00000647: SWAP3 00000648: POP 00000649: POP 0000064a: POP 0000064b: PUSH1 0x40 0000064d: MLOAD 0000064e: DUP1 0000064f: SWAP2 00000650: SUB 00000651: SWAP1 00000652: RETURN 00000653: JUMPDEST 00000654: CALLVALUE 00000655: DUP1 00000656: ISZERO 00000657: PUSH2 0x065f 0000065a: JUMPI 0000065b: PUSH1 0x00 0000065d: DUP1 0000065e: REVERT 0000065f: JUMPDEST 00000660: POP 00000661: PUSH2 0x069e 00000664: PUSH1 0x04 00000666: DUP1 00000667: CALLDATASIZE 00000668: SUB 00000669: DUP2 0000066a: ADD 0000066b: SWAP1 0000066c: DUP1 0000066d: DUP1 0000066e: CALLDATALOAD 0000066f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000684: AND 00000685: SWAP1 00000686: PUSH1 0x20 00000688: ADD 00000689: SWAP1 0000068a: SWAP3 0000068b: SWAP2 0000068c: SWAP1 0000068d: DUP1 0000068e: CALLDATALOAD 0000068f: SWAP1 00000690: PUSH1 0x20 00000692: ADD 00000693: SWAP1 00000694: SWAP3 00000695: SWAP2 00000696: SWAP1 00000697: POP 00000698: POP 00000699: POP 0000069a: PUSH2 0x12f4 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH1 0x40 000006a1: MLOAD 000006a2: DUP1 000006a3: DUP3 000006a4: ISZERO 000006a5: ISZERO 000006a6: ISZERO 000006a7: ISZERO 000006a8: DUP2 000006a9: MSTORE 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: SWAP2 000006ae: POP 000006af: POP 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: DUP1 000006b4: SWAP2 000006b5: SUB 000006b6: SWAP1 000006b7: RETURN 000006b8: JUMPDEST 000006b9: CALLVALUE 000006ba: DUP1 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: POP 000006c6: PUSH2 0x071f 000006c9: PUSH1 0x04 000006cb: DUP1 000006cc: CALLDATASIZE 000006cd: SUB 000006ce: DUP2 000006cf: ADD 000006d0: SWAP1 000006d1: DUP1 000006d2: DUP1 000006d3: CALLDATALOAD 000006d4: SWAP1 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: SWAP1 000006d9: DUP3 000006da: ADD 000006db: DUP1 000006dc: CALLDATALOAD 000006dd: SWAP1 000006de: PUSH1 0x20 000006e0: ADD 000006e1: SWAP1 000006e2: DUP1 000006e3: DUP1 000006e4: PUSH1 0x1f 000006e6: ADD 000006e7: PUSH1 0x20 000006e9: DUP1 000006ea: SWAP2 000006eb: DIV 000006ec: MUL 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: SWAP1 000006f4: DUP2 000006f5: ADD 000006f6: PUSH1 0x40 000006f8: MSTORE 000006f9: DUP1 000006fa: SWAP4 000006fb: SWAP3 000006fc: SWAP2 000006fd: SWAP1 000006fe: DUP2 000006ff: DUP2 00000700: MSTORE 00000701: PUSH1 0x20 00000703: ADD 00000704: DUP4 00000705: DUP4 00000706: DUP1 00000707: DUP3 00000708: DUP5 00000709: CALLDATACOPY 0000070a: DUP3 0000070b: ADD 0000070c: SWAP2 0000070d: POP 0000070e: POP 0000070f: POP 00000710: POP 00000711: POP 00000712: POP 00000713: SWAP2 00000714: SWAP3 00000715: SWAP2 00000716: SWAP3 00000717: SWAP1 00000718: POP 00000719: POP 0000071a: POP 0000071b: PUSH2 0x165e 0000071e: JUMP 0000071f: JUMPDEST 00000720: STOP 00000721: JUMPDEST 00000722: CALLVALUE 00000723: DUP1 00000724: ISZERO 00000725: PUSH2 0x072d 00000728: JUMPI 00000729: PUSH1 0x00 0000072b: DUP1 0000072c: REVERT 0000072d: JUMPDEST 0000072e: POP 0000072f: PUSH2 0x0788 00000732: PUSH1 0x04 00000734: DUP1 00000735: CALLDATASIZE 00000736: SUB 00000737: DUP2 00000738: ADD 00000739: SWAP1 0000073a: DUP1 0000073b: DUP1 0000073c: CALLDATALOAD 0000073d: SWAP1 0000073e: PUSH1 0x20 00000740: ADD 00000741: SWAP1 00000742: DUP3 00000743: ADD 00000744: DUP1 00000745: CALLDATALOAD 00000746: SWAP1 00000747: PUSH1 0x20 00000749: ADD 0000074a: SWAP1 0000074b: DUP1 0000074c: DUP1 0000074d: PUSH1 0x1f 0000074f: ADD 00000750: PUSH1 0x20 00000752: DUP1 00000753: SWAP2 00000754: DIV 00000755: MUL 00000756: PUSH1 0x20 00000758: ADD 00000759: PUSH1 0x40 0000075b: MLOAD 0000075c: SWAP1 0000075d: DUP2 0000075e: ADD 0000075f: PUSH1 0x40 00000761: MSTORE 00000762: DUP1 00000763: SWAP4 00000764: SWAP3 00000765: SWAP2 00000766: SWAP1 00000767: DUP2 00000768: DUP2 00000769: MSTORE 0000076a: PUSH1 0x20 0000076c: ADD 0000076d: DUP4 0000076e: DUP4 0000076f: DUP1 00000770: DUP3 00000771: DUP5 00000772: CALLDATACOPY 00000773: DUP3 00000774: ADD 00000775: SWAP2 00000776: POP 00000777: POP 00000778: POP 00000779: POP 0000077a: POP 0000077b: POP 0000077c: SWAP2 0000077d: SWAP3 0000077e: SWAP2 0000077f: SWAP3 00000780: SWAP1 00000781: POP 00000782: POP 00000783: POP 00000784: PUSH2 0x1702 00000787: JUMP 00000788: JUMPDEST 00000789: STOP 0000078a: JUMPDEST 0000078b: CALLVALUE 0000078c: DUP1 0000078d: ISZERO 0000078e: PUSH2 0x0796 00000791: JUMPI 00000792: PUSH1 0x00 00000794: DUP1 00000795: REVERT 00000796: JUMPDEST 00000797: POP 00000798: PUSH2 0x079f 0000079b: PUSH2 0x17a6 0000079e: JUMP 0000079f: JUMPDEST 000007a0: PUSH1 0x40 000007a2: MLOAD 000007a3: DUP1 000007a4: DUP3 000007a5: ISZERO 000007a6: ISZERO 000007a7: ISZERO 000007a8: ISZERO 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x20 000007ad: ADD 000007ae: SWAP2 000007af: POP 000007b0: POP 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: SWAP2 000007b6: SUB 000007b7: SWAP1 000007b8: RETURN 000007b9: JUMPDEST 000007ba: CALLVALUE 000007bb: DUP1 000007bc: ISZERO 000007bd: PUSH2 0x07c5 000007c0: JUMPI 000007c1: PUSH1 0x00 000007c3: DUP1 000007c4: REVERT 000007c5: JUMPDEST 000007c6: POP 000007c7: PUSH2 0x07e4 000007ca: PUSH1 0x04 000007cc: DUP1 000007cd: CALLDATASIZE 000007ce: SUB 000007cf: DUP2 000007d0: ADD 000007d1: SWAP1 000007d2: DUP1 000007d3: DUP1 000007d4: CALLDATALOAD 000007d5: SWAP1 000007d6: PUSH1 0x20 000007d8: ADD 000007d9: SWAP1 000007da: SWAP3 000007db: SWAP2 000007dc: SWAP1 000007dd: POP 000007de: POP 000007df: POP 000007e0: PUSH2 0x1837 000007e3: JUMP 000007e4: JUMPDEST 000007e5: STOP 000007e6: JUMPDEST 000007e7: CALLVALUE 000007e8: DUP1 000007e9: ISZERO 000007ea: PUSH2 0x07f2 000007ed: JUMPI 000007ee: PUSH1 0x00 000007f0: DUP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: POP 000007f4: PUSH2 0x07fb 000007f7: PUSH2 0x1ac4 000007fa: JUMP 000007fb: JUMPDEST 000007fc: STOP 000007fd: JUMPDEST 000007fe: PUSH2 0x0831 00000801: PUSH1 0x04 00000803: DUP1 00000804: CALLDATASIZE 00000805: SUB 00000806: DUP2 00000807: ADD 00000808: SWAP1 00000809: DUP1 0000080a: DUP1 0000080b: CALLDATALOAD 0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000821: AND 00000822: SWAP1 00000823: PUSH1 0x20 00000825: ADD 00000826: SWAP1 00000827: SWAP3 00000828: SWAP2 00000829: SWAP1 0000082a: POP 0000082b: POP 0000082c: POP 0000082d: PUSH2 0x1b2b 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH1 0x40 00000834: MLOAD 00000835: DUP1 00000836: DUP3 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: ADD 0000083c: SWAP2 0000083d: POP 0000083e: POP 0000083f: PUSH1 0x40 00000841: MLOAD 00000842: DUP1 00000843: SWAP2 00000844: SUB 00000845: SWAP1 00000846: RETURN 00000847: JUMPDEST 00000848: CALLVALUE 00000849: DUP1 0000084a: ISZERO 0000084b: PUSH2 0x0853 0000084e: JUMPI 0000084f: PUSH1 0x00 00000851: DUP1 00000852: REVERT 00000853: JUMPDEST 00000854: POP 00000855: PUSH2 0x085c 00000858: PUSH2 0x1b3d 0000085b: JUMP 0000085c: JUMPDEST 0000085d: STOP 0000085e: JUMPDEST 0000085f: PUSH1 0x00 00000861: DUP1 00000862: PUSH1 0x00 00000864: CALLER 00000865: SWAP2 00000866: POP 00000867: ADDRESS 00000868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087d: AND 0000087e: BALANCE 0000087f: CALLVALUE 00000880: LT 00000881: DUP1 00000882: ISZERO 00000883: PUSH2 0x08ad 00000886: JUMPI 00000887: POP 00000888: PUSH8 0x6124fee993bc0000 00000891: CALLVALUE 00000892: ADDRESS 00000893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a8: AND 000008a9: BALANCE 000008aa: SUB 000008ab: LT 000008ac: ISZERO 000008ad: JUMPDEST 000008ae: ISZERO 000008af: PUSH2 0x08ce 000008b2: JUMPI 000008b3: PUSH1 0x00 000008b5: PUSH1 0x0c 000008b7: PUSH1 0x00 000008b9: PUSH2 0x0100 000008bc: EXP 000008bd: DUP2 000008be: SLOAD 000008bf: DUP2 000008c0: PUSH1 0xff 000008c2: MUL 000008c3: NOT 000008c4: AND 000008c5: SWAP1 000008c6: DUP4 000008c7: ISZERO 000008c8: ISZERO 000008c9: MUL 000008ca: OR 000008cb: SWAP1 000008cc: SSTORE 000008cd: POP 000008ce: JUMPDEST 000008cf: PUSH1 0x00 000008d1: ISZERO 000008d2: ISZERO 000008d3: PUSH1 0x0b 000008d5: PUSH1 0x00 000008d7: CALLER 000008d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ed: AND 000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000903: AND 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x20 00000908: ADD 00000909: SWAP1 0000090a: DUP2 0000090b: MSTORE 0000090c: PUSH1 0x20 0000090e: ADD 0000090f: PUSH1 0x00 00000911: KECCAK256 00000912: PUSH1 0x00 00000914: SWAP1 00000915: SLOAD 00000916: SWAP1 00000917: PUSH2 0x0100 0000091a: EXP 0000091b: SWAP1 0000091c: DIV 0000091d: PUSH1 0xff 0000091f: AND 00000920: ISZERO 00000921: ISZERO 00000922: EQ 00000923: DUP1 00000924: ISZERO 00000925: PUSH2 0x0941 00000928: JUMPI 00000929: POP 0000092a: PUSH1 0x01 0000092c: ISZERO 0000092d: ISZERO 0000092e: PUSH1 0x0c 00000930: PUSH1 0x00 00000932: SWAP1 00000933: SLOAD 00000934: SWAP1 00000935: PUSH2 0x0100 00000938: EXP 00000939: SWAP1 0000093a: DIV 0000093b: PUSH1 0xff 0000093d: AND 0000093e: ISZERO 0000093f: ISZERO 00000940: EQ 00000941: JUMPDEST 00000942: ISZERO 00000943: PUSH2 0x094b 00000946: JUMPI 00000947: PUSH1 0x00 00000949: DUP1 0000094a: REVERT 0000094b: JUMPDEST 0000094c: PUSH2 0x0955 0000094f: CALLVALUE 00000950: DUP6 00000951: PUSH2 0x1d10 00000954: JUMP 00000955: JUMPDEST 00000956: SWAP1 00000957: POP 00000958: PUSH1 0x01 0000095a: ISZERO 0000095b: ISZERO 0000095c: PUSH1 0x03 0000095e: PUSH1 0x00 00000960: DUP5 00000961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000976: AND 00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098c: AND 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH1 0x20 00000991: ADD 00000992: SWAP1 00000993: DUP2 00000994: MSTORE 00000995: PUSH1 0x20 00000997: ADD 00000998: PUSH1 0x00 0000099a: KECCAK256 0000099b: PUSH1 0x00 0000099d: SWAP1 0000099e: SLOAD 0000099f: SWAP1 000009a0: PUSH2 0x0100 000009a3: EXP 000009a4: SWAP1 000009a5: DIV 000009a6: PUSH1 0xff 000009a8: AND 000009a9: ISZERO 000009aa: ISZERO 000009ab: EQ 000009ac: ISZERO 000009ad: PUSH2 0x0aed 000009b0: JUMPI 000009b1: PUSH2 0x09bc 000009b4: PUSH1 0x08 000009b6: SLOAD 000009b7: DUP3 000009b8: PUSH2 0x210e 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x08 000009bf: DUP2 000009c0: SWAP1 000009c1: SSTORE 000009c2: POP 000009c3: PUSH2 0x0a0b 000009c6: PUSH1 0x04 000009c8: PUSH1 0x00 000009ca: DUP5 000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e0: AND 000009e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f6: AND 000009f7: DUP2 000009f8: MSTORE 000009f9: PUSH1 0x20 000009fb: ADD 000009fc: SWAP1 000009fd: DUP2 000009fe: MSTORE 000009ff: PUSH1 0x20 00000a01: ADD 00000a02: PUSH1 0x00 00000a04: KECCAK256 00000a05: SLOAD 00000a06: DUP3 00000a07: PUSH2 0x210e 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: PUSH1 0x04 00000a0e: PUSH1 0x00 00000a10: DUP5 00000a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a26: AND 00000a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3c: AND 00000a3d: DUP2 00000a3e: MSTORE 00000a3f: PUSH1 0x20 00000a41: ADD 00000a42: SWAP1 00000a43: DUP2 00000a44: MSTORE 00000a45: PUSH1 0x20 00000a47: ADD 00000a48: PUSH1 0x00 00000a4a: KECCAK256 00000a4b: DUP2 00000a4c: SWAP1 00000a4d: SSTORE 00000a4e: POP 00000a4f: PUSH2 0x0a97 00000a52: PUSH1 0x05 00000a54: PUSH1 0x00 00000a56: DUP5 00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6c: AND 00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a82: AND 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x20 00000a87: ADD 00000a88: SWAP1 00000a89: DUP2 00000a8a: MSTORE 00000a8b: PUSH1 0x20 00000a8d: ADD 00000a8e: PUSH1 0x00 00000a90: KECCAK256 00000a91: SLOAD 00000a92: DUP3 00000a93: PUSH2 0x2127 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x05 00000a9a: PUSH1 0x00 00000a9c: DUP5 00000a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab2: AND 00000ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac8: AND 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x20 00000acd: ADD 00000ace: SWAP1 00000acf: DUP2 00000ad0: MSTORE 00000ad1: PUSH1 0x20 00000ad3: ADD 00000ad4: PUSH1 0x00 00000ad6: KECCAK256 00000ad7: DUP2 00000ad8: SWAP1 00000ad9: SSTORE 00000ada: POP 00000adb: PUSH2 0x0ae6 00000ade: PUSH1 0x09 00000ae0: SLOAD 00000ae1: DUP3 00000ae2: PUSH2 0x2127 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: PUSH1 0x09 00000ae9: DUP2 00000aea: SWAP1 00000aeb: SSTORE 00000aec: POP 00000aed: JUMPDEST 00000aee: DUP1 00000aef: SWAP3 00000af0: POP 00000af1: POP 00000af2: POP 00000af3: SWAP3 00000af4: SWAP2 00000af5: POP 00000af6: POP 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH1 0x00 00000afb: PUSH9 0x010000000000000000 00000b05: PUSH1 0x07 00000b07: PUSH1 0x00 00000b09: DUP5 00000b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1f: AND 00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b35: AND 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x20 00000b3a: ADD 00000b3b: SWAP1 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: ADD 00000b41: PUSH1 0x00 00000b43: KECCAK256 00000b44: SLOAD 00000b45: PUSH1 0x04 00000b47: PUSH1 0x00 00000b49: DUP6 00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5f: AND 00000b60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b75: AND 00000b76: DUP2 00000b77: MSTORE 00000b78: PUSH1 0x20 00000b7a: ADD 00000b7b: SWAP1 00000b7c: DUP2 00000b7d: MSTORE 00000b7e: PUSH1 0x20 00000b80: ADD 00000b81: PUSH1 0x00 00000b83: KECCAK256 00000b84: SLOAD 00000b85: PUSH1 0x0a 00000b87: SLOAD 00000b88: MUL 00000b89: SUB 00000b8a: DUP2 00000b8b: ISZERO 00000b8c: ISZERO 00000b8d: PUSH2 0x0b92 00000b90: JUMPI 00000b91: INVALID 00000b92: JUMPDEST 00000b93: DIV 00000b94: SWAP1 00000b95: POP 00000b96: SWAP2 00000b97: SWAP1 00000b98: POP 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH1 0x00 00000b9d: DUP1 00000b9e: SLOAD 00000b9f: PUSH1 0x01 00000ba1: DUP2 00000ba2: PUSH1 0x01 00000ba4: AND 00000ba5: ISZERO 00000ba6: PUSH2 0x0100 00000ba9: MUL 00000baa: SUB 00000bab: AND 00000bac: PUSH1 0x02 00000bae: SWAP1 00000baf: DIV 00000bb0: DUP1 00000bb1: PUSH1 0x1f 00000bb3: ADD 00000bb4: PUSH1 0x20 00000bb6: DUP1 00000bb7: SWAP2 00000bb8: DIV 00000bb9: MUL 00000bba: PUSH1 0x20 00000bbc: ADD 00000bbd: PUSH1 0x40 00000bbf: MLOAD 00000bc0: SWAP1 00000bc1: DUP2 00000bc2: ADD 00000bc3: PUSH1 0x40 00000bc5: MSTORE 00000bc6: DUP1 00000bc7: SWAP3 00000bc8: SWAP2 00000bc9: SWAP1 00000bca: DUP2 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: DUP3 00000bd1: DUP1 00000bd2: SLOAD 00000bd3: PUSH1 0x01 00000bd5: DUP2 00000bd6: PUSH1 0x01 00000bd8: AND 00000bd9: ISZERO 00000bda: PUSH2 0x0100 00000bdd: MUL 00000bde: SUB 00000bdf: AND 00000be0: PUSH1 0x02 00000be2: SWAP1 00000be3: DIV 00000be4: DUP1 00000be5: ISZERO 00000be6: PUSH2 0x0c30 00000be9: JUMPI 00000bea: DUP1 00000beb: PUSH1 0x1f 00000bed: LT 00000bee: PUSH2 0x0c05 00000bf1: JUMPI 00000bf2: PUSH2 0x0100 00000bf5: DUP1 00000bf6: DUP4 00000bf7: SLOAD 00000bf8: DIV 00000bf9: MUL 00000bfa: DUP4 00000bfb: MSTORE 00000bfc: SWAP2 00000bfd: PUSH1 0x20 00000bff: ADD 00000c00: SWAP2 00000c01: PUSH2 0x0c30 00000c04: JUMP 00000c05: JUMPDEST 00000c06: DUP3 00000c07: ADD 00000c08: SWAP2 00000c09: SWAP1 00000c0a: PUSH1 0x00 00000c0c: MSTORE 00000c0d: PUSH1 0x20 00000c0f: PUSH1 0x00 00000c11: KECCAK256 00000c12: SWAP1 00000c13: JUMPDEST 00000c14: DUP2 00000c15: SLOAD 00000c16: DUP2 00000c17: MSTORE 00000c18: SWAP1 00000c19: PUSH1 0x01 00000c1b: ADD 00000c1c: SWAP1 00000c1d: PUSH1 0x20 00000c1f: ADD 00000c20: DUP1 00000c21: DUP4 00000c22: GT 00000c23: PUSH2 0x0c13 00000c26: JUMPI 00000c27: DUP3 00000c28: SWAP1 00000c29: SUB 00000c2a: PUSH1 0x1f 00000c2c: AND 00000c2d: DUP3 00000c2e: ADD 00000c2f: SWAP2 00000c30: JUMPDEST 00000c31: POP 00000c32: POP 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: DUP2 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x00 00000c3b: DUP1 00000c3c: PUSH1 0x00 00000c3e: DUP1 00000c3f: PUSH2 0x0c4c 00000c42: DUP6 00000c43: PUSH1 0x0a 00000c45: PUSH1 0xff 00000c47: AND 00000c48: PUSH2 0x2145 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: SWAP3 00000c4e: POP 00000c4f: PUSH2 0x0c58 00000c52: DUP6 00000c53: DUP5 00000c54: PUSH2 0x210e 00000c57: JUMP 00000c58: JUMPDEST 00000c59: SWAP2 00000c5a: POP 00000c5b: PUSH2 0x0c63 00000c5e: DUP3 00000c5f: PUSH2 0x2160 00000c62: JUMP 00000c63: JUMPDEST 00000c64: SWAP1 00000c65: POP 00000c66: DUP1 00000c67: SWAP4 00000c68: POP 00000c69: POP 00000c6a: POP 00000c6b: POP 00000c6c: SWAP2 00000c6d: SWAP1 00000c6e: POP 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: PUSH1 0x00 00000c73: PUSH1 0x09 00000c75: SLOAD 00000c76: PUSH1 0x08 00000c78: SLOAD 00000c79: ADD 00000c7a: SWAP1 00000c7b: POP 00000c7c: SWAP1 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x00 00000c81: DUP1 00000c82: PUSH1 0x00 00000c84: DUP1 00000c85: PUSH1 0x08 00000c87: SLOAD 00000c88: DUP6 00000c89: GT 00000c8a: ISZERO 00000c8b: ISZERO 00000c8c: ISZERO 00000c8d: PUSH2 0x0c95 00000c90: JUMPI 00000c91: PUSH1 0x00 00000c93: DUP1 00000c94: REVERT 00000c95: JUMPDEST 00000c96: PUSH2 0x0c9e 00000c99: DUP6 00000c9a: PUSH2 0x21f2 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: SWAP3 00000ca0: POP 00000ca1: PUSH2 0x0cae 00000ca4: DUP4 00000ca5: PUSH1 0x0a 00000ca7: PUSH1 0xff 00000ca9: AND 00000caa: PUSH2 0x2145 00000cad: JUMP 00000cae: JUMPDEST 00000caf: SWAP2 00000cb0: POP 00000cb1: PUSH2 0x0cba 00000cb4: DUP4 00000cb5: DUP4 00000cb6: PUSH2 0x210e 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: SWAP1 00000cbc: POP 00000cbd: DUP1 00000cbe: SWAP4 00000cbf: POP 00000cc0: POP 00000cc1: POP 00000cc2: POP 00000cc3: SWAP2 00000cc4: SWAP1 00000cc5: POP 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH1 0x12 00000cca: DUP2 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x0d 00000ccf: PUSH1 0x20 00000cd1: MSTORE 00000cd2: DUP1 00000cd3: PUSH1 0x00 00000cd5: MSTORE 00000cd6: PUSH1 0x40 00000cd8: PUSH1 0x00 00000cda: KECCAK256 00000cdb: PUSH1 0x00 00000cdd: SWAP2 00000cde: POP 00000cdf: SLOAD 00000ce0: SWAP1 00000ce1: PUSH2 0x0100 00000ce4: EXP 00000ce5: SWAP1 00000ce6: DIV 00000ce7: PUSH1 0xff 00000ce9: AND 00000cea: DUP2 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: PUSH1 0x00 00000cef: DUP1 00000cf0: PUSH1 0x00 00000cf2: PUSH2 0x0cfb 00000cf5: PUSH1 0x01 00000cf7: PUSH2 0x0f10 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: GT 00000cfd: ISZERO 00000cfe: ISZERO 00000cff: PUSH2 0x0d07 00000d02: JUMPI 00000d03: PUSH1 0x00 00000d05: DUP1 00000d06: REVERT 00000d07: JUMPDEST 00000d08: CALLER 00000d09: SWAP2 00000d0a: POP 00000d0b: PUSH2 0x0d14 00000d0e: PUSH1 0x00 00000d10: PUSH2 0x0f10 00000d13: JUMP 00000d14: JUMPDEST 00000d15: SWAP1 00000d16: POP 00000d17: PUSH9 0x010000000000000000 00000d21: DUP2 00000d22: MUL 00000d23: PUSH1 0x07 00000d25: PUSH1 0x00 00000d27: DUP5 00000d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3d: AND 00000d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d53: AND 00000d54: DUP2 00000d55: MSTORE 00000d56: PUSH1 0x20 00000d58: ADD 00000d59: SWAP1 00000d5a: DUP2 00000d5b: MSTORE 00000d5c: PUSH1 0x20 00000d5e: ADD 00000d5f: PUSH1 0x00 00000d61: KECCAK256 00000d62: PUSH1 0x00 00000d64: DUP3 00000d65: DUP3 00000d66: SLOAD 00000d67: ADD 00000d68: SWAP3 00000d69: POP 00000d6a: POP 00000d6b: DUP2 00000d6c: SWAP1 00000d6d: SSTORE 00000d6e: POP 00000d6f: PUSH1 0x06 00000d71: PUSH1 0x00 00000d73: DUP4 00000d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d89: AND 00000d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9f: AND 00000da0: DUP2 00000da1: MSTORE 00000da2: PUSH1 0x20 00000da4: ADD 00000da5: SWAP1 00000da6: DUP2 00000da7: MSTORE 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: PUSH1 0x00 00000dad: KECCAK256 00000dae: SLOAD 00000daf: DUP2 00000db0: ADD 00000db1: SWAP1 00000db2: POP 00000db3: PUSH1 0x00 00000db5: PUSH1 0x06 00000db7: PUSH1 0x00 00000db9: DUP5 00000dba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dcf: AND 00000dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de5: AND 00000de6: DUP2 00000de7: MSTORE 00000de8: PUSH1 0x20 00000dea: ADD 00000deb: SWAP1 00000dec: DUP2 00000ded: MSTORE 00000dee: PUSH1 0x20 00000df0: ADD 00000df1: PUSH1 0x00 00000df3: KECCAK256 00000df4: DUP2 00000df5: SWAP1 00000df6: SSTORE 00000df7: POP 00000df8: DUP2 00000df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0e: AND 00000e0f: PUSH2 0x08fc 00000e12: DUP3 00000e13: SWAP1 00000e14: DUP2 00000e15: ISZERO 00000e16: MUL 00000e17: SWAP1 00000e18: PUSH1 0x40 00000e1a: MLOAD 00000e1b: PUSH1 0x00 00000e1d: PUSH1 0x40 00000e1f: MLOAD 00000e20: DUP1 00000e21: DUP4 00000e22: SUB 00000e23: DUP2 00000e24: DUP6 00000e25: DUP9 00000e26: DUP9 00000e27: CALL 00000e28: SWAP4 00000e29: POP 00000e2a: POP 00000e2b: POP 00000e2c: POP 00000e2d: ISZERO 00000e2e: DUP1 00000e2f: ISZERO 00000e30: PUSH2 0x0e3d 00000e33: JUMPI 00000e34: RETURNDATASIZE 00000e35: PUSH1 0x00 00000e37: DUP1 00000e38: RETURNDATACOPY 00000e39: RETURNDATASIZE 00000e3a: PUSH1 0x00 00000e3c: REVERT 00000e3d: JUMPDEST 00000e3e: POP 00000e3f: DUP2 00000e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e55: AND 00000e56: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000e77: DUP3 00000e78: PUSH1 0x40 00000e7a: MLOAD 00000e7b: DUP1 00000e7c: DUP3 00000e7d: DUP2 00000e7e: MSTORE 00000e7f: PUSH1 0x20 00000e81: ADD 00000e82: SWAP2 00000e83: POP 00000e84: POP 00000e85: PUSH1 0x40 00000e87: MLOAD 00000e88: DUP1 00000e89: SWAP2 00000e8a: SUB 00000e8b: SWAP1 00000e8c: LOG2 00000e8d: POP 00000e8e: POP 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH1 0x00 00000e93: DUP1 00000e94: PUSH1 0x00 00000e96: DUP1 00000e97: PUSH1 0x00 00000e99: PUSH1 0x09 00000e9b: SLOAD 00000e9c: PUSH1 0x08 00000e9e: SLOAD 00000e9f: ADD 00000ea0: EQ 00000ea1: ISZERO 00000ea2: PUSH2 0x0eb9 00000ea5: JUMPI 00000ea6: PUSH5 0x02540be400 00000eac: PUSH5 0x174876e800 00000eb2: SUB 00000eb3: SWAP4 00000eb4: POP 00000eb5: PUSH2 0x0eec 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: PUSH2 0x0eca 00000ebd: PUSH8 0x0de0b6b3a7640000 00000ec6: PUSH2 0x21f2 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: SWAP3 00000ecc: POP 00000ecd: PUSH2 0x0eda 00000ed0: DUP4 00000ed1: PUSH1 0x0a 00000ed3: PUSH1 0xff 00000ed5: AND 00000ed6: PUSH2 0x2145 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: SWAP2 00000edc: POP 00000edd: PUSH2 0x0ee6 00000ee0: DUP4 00000ee1: DUP4 00000ee2: PUSH2 0x210e 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: SWAP1 00000ee8: POP 00000ee9: DUP1 00000eea: SWAP4 00000eeb: POP 00000eec: JUMPDEST 00000eed: POP 00000eee: POP 00000eef: POP 00000ef0: SWAP1 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH1 0x05 00000ef5: PUSH1 0x20 00000ef7: MSTORE 00000ef8: DUP1 00000ef9: PUSH1 0x00 00000efb: MSTORE 00000efc: PUSH1 0x40 00000efe: PUSH1 0x00 00000f00: KECCAK256 00000f01: PUSH1 0x00 00000f03: SWAP2 00000f04: POP 00000f05: SWAP1 00000f06: POP 00000f07: SLOAD 00000f08: DUP2 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: PUSH1 0x02 00000f0d: SLOAD 00000f0e: DUP2 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: PUSH1 0x00 00000f13: DUP1 00000f14: CALLER 00000f15: SWAP1 00000f16: POP 00000f17: DUP3 00000f18: PUSH2 0x0f29 00000f1b: JUMPI 00000f1c: PUSH2 0x0f24 00000f1f: DUP2 00000f20: PUSH2 0x0af8 00000f23: JUMP 00000f24: JUMPDEST 00000f25: PUSH2 0x0f74 00000f28: JUMP 00000f29: JUMPDEST 00000f2a: PUSH1 0x06 00000f2c: PUSH1 0x00 00000f2e: DUP3 00000f2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f44: AND 00000f45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5a: AND 00000f5b: DUP2 00000f5c: MSTORE 00000f5d: PUSH1 0x20 00000f5f: ADD 00000f60: SWAP1 00000f61: DUP2 00000f62: MSTORE 00000f63: PUSH1 0x20 00000f65: ADD 00000f66: PUSH1 0x00 00000f68: KECCAK256 00000f69: SLOAD 00000f6a: PUSH2 0x0f72 00000f6d: DUP3 00000f6e: PUSH2 0x0af8 00000f71: JUMP 00000f72: JUMPDEST 00000f73: ADD 00000f74: JUMPDEST 00000f75: SWAP2 00000f76: POP 00000f77: POP 00000f78: SWAP2 00000f79: SWAP1 00000f7a: POP 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x00 00000f7f: ADDRESS 00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f95: AND 00000f96: BALANCE 00000f97: SWAP1 00000f98: POP 00000f99: SWAP1 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: PUSH1 0x00 00000f9e: DUP1 00000f9f: PUSH1 0x01 00000fa1: ISZERO 00000fa2: ISZERO 00000fa3: PUSH1 0x03 00000fa5: PUSH1 0x00 00000fa7: CALLER 00000fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbd: AND 00000fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd3: AND 00000fd4: DUP2 00000fd5: MSTORE 00000fd6: PUSH1 0x20 00000fd8: ADD 00000fd9: SWAP1 00000fda: DUP2 00000fdb: MSTORE 00000fdc: PUSH1 0x20 00000fde: ADD 00000fdf: PUSH1 0x00 00000fe1: KECCAK256 00000fe2: PUSH1 0x00 00000fe4: SWAP1 00000fe5: SLOAD 00000fe6: SWAP1 00000fe7: PUSH2 0x0100 00000fea: EXP 00000feb: SWAP1 00000fec: DIV 00000fed: PUSH1 0xff 00000fef: AND 00000ff0: ISZERO 00000ff1: ISZERO 00000ff2: EQ 00000ff3: ISZERO 00000ff4: PUSH2 0x103e 00000ff7: JUMPI 00000ff8: PUSH1 0x05 00000ffa: PUSH1 0x00 00000ffc: DUP5 00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001012: AND 00001013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001028: AND 00001029: DUP2 0000102a: MSTORE 0000102b: PUSH1 0x20 0000102d: ADD 0000102e: SWAP1 0000102f: DUP2 00001030: MSTORE 00001031: PUSH1 0x20 00001033: ADD 00001034: PUSH1 0x00 00001036: KECCAK256 00001037: SLOAD 00001038: SWAP1 00001039: POP 0000103a: PUSH2 0x1081 0000103d: JUMP 0000103e: JUMPDEST 0000103f: PUSH1 0x04 00001041: PUSH1 0x00 00001043: DUP5 00001044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001059: AND 0000105a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106f: AND 00001070: DUP2 00001071: MSTORE 00001072: PUSH1 0x20 00001074: ADD 00001075: SWAP1 00001076: DUP2 00001077: MSTORE 00001078: PUSH1 0x20 0000107a: ADD 0000107b: PUSH1 0x00 0000107d: KECCAK256 0000107e: SLOAD 0000107f: SWAP1 00001080: POP 00001081: JUMPDEST 00001082: DUP1 00001083: SWAP2 00001084: POP 00001085: POP 00001086: SWAP2 00001087: SWAP1 00001088: POP 00001089: JUMP 0000108a: JUMPDEST 0000108b: PUSH1 0x00 0000108d: CALLER 0000108e: SWAP1 0000108f: POP 00001090: PUSH1 0x0d 00001092: PUSH1 0x00 00001094: DUP3 00001095: PUSH1 0x40 00001097: MLOAD 00001098: DUP1 00001099: DUP3 0000109a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010af: AND 000010b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c5: AND 000010c6: PUSH13 0x01000000000000000000000000 000010d4: MUL 000010d5: DUP2 000010d6: MSTORE 000010d7: PUSH1 0x14 000010d9: ADD 000010da: SWAP2 000010db: POP 000010dc: POP 000010dd: PUSH1 0x40 000010df: MLOAD 000010e0: DUP1 000010e1: SWAP2 000010e2: SUB 000010e3: SWAP1 000010e4: KECCAK256 000010e5: PUSH1 0x00 000010e7: NOT 000010e8: AND 000010e9: PUSH1 0x00 000010eb: NOT 000010ec: AND 000010ed: DUP2 000010ee: MSTORE 000010ef: PUSH1 0x20 000010f1: ADD 000010f2: SWAP1 000010f3: DUP2 000010f4: MSTORE 000010f5: PUSH1 0x20 000010f7: ADD 000010f8: PUSH1 0x00 000010fa: KECCAK256 000010fb: PUSH1 0x00 000010fd: SWAP1 000010fe: SLOAD 000010ff: SWAP1 00001100: PUSH2 0x0100 00001103: EXP 00001104: SWAP1 00001105: DIV 00001106: PUSH1 0xff 00001108: AND 00001109: ISZERO 0000110a: ISZERO 0000110b: PUSH2 0x1113 0000110e: JUMPI 0000110f: PUSH1 0x00 00001111: DUP1 00001112: REVERT 00001113: JUMPDEST 00001114: DUP2 00001115: PUSH1 0x02 00001117: DUP2 00001118: SWAP1 00001119: SSTORE 0000111a: POP 0000111b: POP 0000111c: POP 0000111d: JUMP 0000111e: JUMPDEST 0000111f: PUSH1 0x00 00001121: DUP1 00001122: PUSH1 0x00 00001124: DUP1 00001125: PUSH1 0x00 00001127: PUSH1 0x09 00001129: SLOAD 0000112a: PUSH1 0x08 0000112c: SLOAD 0000112d: ADD 0000112e: EQ 0000112f: ISZERO 00001130: PUSH2 0x1147 00001133: JUMPI 00001134: PUSH5 0x02540be400 0000113a: PUSH5 0x174876e800 00001140: ADD 00001141: SWAP4 00001142: POP 00001143: PUSH2 0x117a 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH2 0x1158 0000114b: PUSH8 0x0de0b6b3a7640000 00001154: PUSH2 0x21f2 00001157: JUMP 00001158: JUMPDEST 00001159: SWAP3 0000115a: POP 0000115b: PUSH2 0x1168 0000115e: DUP4 0000115f: PUSH1 0x0a 00001161: PUSH1 0xff 00001163: AND 00001164: PUSH2 0x2145 00001167: JUMP 00001168: JUMPDEST 00001169: SWAP2 0000116a: POP 0000116b: PUSH2 0x1174 0000116e: DUP4 0000116f: DUP4 00001170: PUSH2 0x2127 00001173: JUMP 00001174: JUMPDEST 00001175: SWAP1 00001176: POP 00001177: DUP1 00001178: SWAP4 00001179: POP 0000117a: JUMPDEST 0000117b: POP 0000117c: POP 0000117d: POP 0000117e: SWAP1 0000117f: JUMP 00001180: JUMPDEST 00001181: PUSH1 0x00 00001183: CALLER 00001184: SWAP1 00001185: POP 00001186: PUSH1 0x0d 00001188: PUSH1 0x00 0000118a: DUP3 0000118b: PUSH1 0x40 0000118d: MLOAD 0000118e: DUP1 0000118f: DUP3 00001190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a5: AND 000011a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bb: AND 000011bc: PUSH13 0x01000000000000000000000000 000011ca: MUL 000011cb: DUP2 000011cc: MSTORE 000011cd: PUSH1 0x14 000011cf: ADD 000011d0: SWAP2 000011d1: POP 000011d2: POP 000011d3: PUSH1 0x40 000011d5: MLOAD 000011d6: DUP1 000011d7: SWAP2 000011d8: SUB 000011d9: SWAP1 000011da: KECCAK256 000011db: PUSH1 0x00 000011dd: NOT 000011de: AND 000011df: PUSH1 0x00 000011e1: NOT 000011e2: AND 000011e3: DUP2 000011e4: MSTORE 000011e5: PUSH1 0x20 000011e7: ADD 000011e8: SWAP1 000011e9: DUP2 000011ea: MSTORE 000011eb: PUSH1 0x20 000011ed: ADD 000011ee: PUSH1 0x00 000011f0: KECCAK256 000011f1: PUSH1 0x00 000011f3: SWAP1 000011f4: SLOAD 000011f5: SWAP1 000011f6: PUSH2 0x0100 000011f9: EXP 000011fa: SWAP1 000011fb: DIV 000011fc: PUSH1 0xff 000011fe: AND 000011ff: ISZERO 00001200: ISZERO 00001201: PUSH2 0x1209 00001204: JUMPI 00001205: PUSH1 0x00 00001207: DUP1 00001208: REVERT 00001209: JUMPDEST 0000120a: DUP2 0000120b: PUSH1 0x0d 0000120d: PUSH1 0x00 0000120f: DUP6 00001210: PUSH1 0x00 00001212: NOT 00001213: AND 00001214: PUSH1 0x00 00001216: NOT 00001217: AND 00001218: DUP2 00001219: MSTORE 0000121a: PUSH1 0x20 0000121c: ADD 0000121d: SWAP1 0000121e: DUP2 0000121f: MSTORE 00001220: PUSH1 0x20 00001222: ADD 00001223: PUSH1 0x00 00001225: KECCAK256 00001226: PUSH1 0x00 00001228: PUSH2 0x0100 0000122b: EXP 0000122c: DUP2 0000122d: SLOAD 0000122e: DUP2 0000122f: PUSH1 0xff 00001231: MUL 00001232: NOT 00001233: AND 00001234: SWAP1 00001235: DUP4 00001236: ISZERO 00001237: ISZERO 00001238: MUL 00001239: OR 0000123a: SWAP1 0000123b: SSTORE 0000123c: POP 0000123d: POP 0000123e: POP 0000123f: POP 00001240: JUMP 00001241: JUMPDEST 00001242: PUSH1 0x00 00001244: DUP1 00001245: CALLER 00001246: SWAP1 00001247: POP 00001248: PUSH2 0x1250 0000124b: DUP2 0000124c: PUSH2 0x0f9b 0000124f: JUMP 00001250: JUMPDEST 00001251: SWAP2 00001252: POP 00001253: POP 00001254: SWAP1 00001255: JUMP 00001256: JUMPDEST 00001257: PUSH1 0x01 00001259: DUP1 0000125a: SLOAD 0000125b: PUSH1 0x01 0000125d: DUP2 0000125e: PUSH1 0x01 00001260: AND 00001261: ISZERO 00001262: PUSH2 0x0100 00001265: MUL 00001266: SUB 00001267: AND 00001268: PUSH1 0x02 0000126a: SWAP1 0000126b: DIV 0000126c: DUP1 0000126d: PUSH1 0x1f 0000126f: ADD 00001270: PUSH1 0x20 00001272: DUP1 00001273: SWAP2 00001274: DIV 00001275: MUL 00001276: PUSH1 0x20 00001278: ADD 00001279: PUSH1 0x40 0000127b: MLOAD 0000127c: SWAP1 0000127d: DUP2 0000127e: ADD 0000127f: PUSH1 0x40 00001281: MSTORE 00001282: DUP1 00001283: SWAP3 00001284: SWAP2 00001285: SWAP1 00001286: DUP2 00001287: DUP2 00001288: MSTORE 00001289: PUSH1 0x20 0000128b: ADD 0000128c: DUP3 0000128d: DUP1 0000128e: SLOAD 0000128f: PUSH1 0x01 00001291: DUP2 00001292: PUSH1 0x01 00001294: AND 00001295: ISZERO 00001296: PUSH2 0x0100 00001299: MUL 0000129a: SUB 0000129b: AND 0000129c: PUSH1 0x02 0000129e: SWAP1 0000129f: DIV 000012a0: DUP1 000012a1: ISZERO 000012a2: PUSH2 0x12ec 000012a5: JUMPI 000012a6: DUP1 000012a7: PUSH1 0x1f 000012a9: LT 000012aa: PUSH2 0x12c1 000012ad: JUMPI 000012ae: PUSH2 0x0100 000012b1: DUP1 000012b2: DUP4 000012b3: SLOAD 000012b4: DIV 000012b5: MUL 000012b6: DUP4 000012b7: MSTORE 000012b8: SWAP2 000012b9: PUSH1 0x20 000012bb: ADD 000012bc: SWAP2 000012bd: PUSH2 0x12ec 000012c0: JUMP 000012c1: JUMPDEST 000012c2: DUP3 000012c3: ADD 000012c4: SWAP2 000012c5: SWAP1 000012c6: PUSH1 0x00 000012c8: MSTORE 000012c9: PUSH1 0x20 000012cb: PUSH1 0x00 000012cd: KECCAK256 000012ce: SWAP1 000012cf: JUMPDEST 000012d0: DUP2 000012d1: SLOAD 000012d2: DUP2 000012d3: MSTORE 000012d4: SWAP1 000012d5: PUSH1 0x01 000012d7: ADD 000012d8: SWAP1 000012d9: PUSH1 0x20 000012db: ADD 000012dc: DUP1 000012dd: DUP4 000012de: GT 000012df: PUSH2 0x12cf 000012e2: JUMPI 000012e3: DUP3 000012e4: SWAP1 000012e5: SUB 000012e6: PUSH1 0x1f 000012e8: AND 000012e9: DUP3 000012ea: ADD 000012eb: SWAP2 000012ec: JUMPDEST 000012ed: POP 000012ee: POP 000012ef: POP 000012f0: POP 000012f1: POP 000012f2: DUP2 000012f3: JUMP 000012f4: JUMPDEST 000012f5: PUSH1 0x00 000012f7: DUP1 000012f8: PUSH1 0x00 000012fa: PUSH2 0x1301 000012fd: PUSH2 0x1241 00001300: JUMP 00001301: JUMPDEST 00001302: GT 00001303: ISZERO 00001304: ISZERO 00001305: PUSH2 0x130d 00001308: JUMPI 00001309: PUSH1 0x00 0000130b: DUP1 0000130c: REVERT 0000130d: JUMPDEST 0000130e: CALLER 0000130f: SWAP1 00001310: POP 00001311: PUSH1 0x00 00001313: ISZERO 00001314: ISZERO 00001315: PUSH1 0x03 00001317: PUSH1 0x00 00001319: DUP4 0000131a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132f: AND 00001330: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001345: AND 00001346: DUP2 00001347: MSTORE 00001348: PUSH1 0x20 0000134a: ADD 0000134b: SWAP1 0000134c: DUP2 0000134d: MSTORE 0000134e: PUSH1 0x20 00001350: ADD 00001351: PUSH1 0x00 00001353: KECCAK256 00001354: PUSH1 0x00 00001356: SWAP1 00001357: SLOAD 00001358: SWAP1 00001359: PUSH2 0x0100 0000135c: EXP 0000135d: SWAP1 0000135e: DIV 0000135f: PUSH1 0xff 00001361: AND 00001362: ISZERO 00001363: ISZERO 00001364: EQ 00001365: DUP1 00001366: ISZERO 00001367: PUSH2 0x13c0 0000136a: JUMPI 0000136b: POP 0000136c: PUSH1 0x00 0000136e: ISZERO 0000136f: ISZERO 00001370: PUSH1 0x03 00001372: PUSH1 0x00 00001374: DUP7 00001375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138a: AND 0000138b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a0: AND 000013a1: DUP2 000013a2: MSTORE 000013a3: PUSH1 0x20 000013a5: ADD 000013a6: SWAP1 000013a7: DUP2 000013a8: MSTORE 000013a9: PUSH1 0x20 000013ab: ADD 000013ac: PUSH1 0x00 000013ae: KECCAK256 000013af: PUSH1 0x00 000013b1: SWAP1 000013b2: SLOAD 000013b3: SWAP1 000013b4: PUSH2 0x0100 000013b7: EXP 000013b8: SWAP1 000013b9: DIV 000013ba: PUSH1 0xff 000013bc: AND 000013bd: ISZERO 000013be: ISZERO 000013bf: EQ 000013c0: JUMPDEST 000013c1: ISZERO 000013c2: ISZERO 000013c3: PUSH2 0x13cb 000013c6: JUMPI 000013c7: PUSH1 0x00 000013c9: DUP1 000013ca: REVERT 000013cb: JUMPDEST 000013cc: PUSH1 0x04 000013ce: PUSH1 0x00 000013d0: DUP3 000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e6: AND 000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fc: AND 000013fd: DUP2 000013fe: MSTORE 000013ff: PUSH1 0x20 00001401: ADD 00001402: SWAP1 00001403: DUP2 00001404: MSTORE 00001405: PUSH1 0x20 00001407: ADD 00001408: PUSH1 0x00 0000140a: KECCAK256 0000140b: SLOAD 0000140c: DUP4 0000140d: GT 0000140e: ISZERO 0000140f: ISZERO 00001410: ISZERO 00001411: PUSH2 0x1419 00001414: JUMPI 00001415: PUSH1 0x00 00001417: DUP1 00001418: REVERT 00001419: JUMPDEST 0000141a: PUSH1 0x00 0000141c: PUSH2 0x1425 0000141f: PUSH1 0x01 00001421: PUSH2 0x0f10 00001424: JUMP 00001425: JUMPDEST 00001426: GT 00001427: ISZERO 00001428: PUSH2 0x1434 0000142b: JUMPI 0000142c: PUSH2 0x1433 0000142f: PUSH2 0x0cec 00001432: JUMP 00001433: JUMPDEST 00001434: JUMPDEST 00001435: PUSH2 0x147d 00001438: PUSH1 0x04 0000143a: PUSH1 0x00 0000143c: DUP4 0000143d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001452: AND 00001453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001468: AND 00001469: DUP2 0000146a: MSTORE 0000146b: PUSH1 0x20 0000146d: ADD 0000146e: SWAP1 0000146f: DUP2 00001470: MSTORE 00001471: PUSH1 0x20 00001473: ADD 00001474: PUSH1 0x00 00001476: KECCAK256 00001477: SLOAD 00001478: DUP5 00001479: PUSH2 0x210e 0000147c: JUMP 0000147d: JUMPDEST 0000147e: PUSH1 0x04 00001480: PUSH1 0x00 00001482: DUP4 00001483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001498: AND 00001499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ae: AND 000014af: DUP2 000014b0: MSTORE 000014b1: PUSH1 0x20 000014b3: ADD 000014b4: SWAP1 000014b5: DUP2 000014b6: MSTORE 000014b7: PUSH1 0x20 000014b9: ADD 000014ba: PUSH1 0x00 000014bc: KECCAK256 000014bd: DUP2 000014be: SWAP1 000014bf: SSTORE 000014c0: POP 000014c1: PUSH2 0x1509 000014c4: PUSH1 0x04 000014c6: PUSH1 0x00 000014c8: DUP7 000014c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014de: AND 000014df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f4: AND 000014f5: DUP2 000014f6: MSTORE 000014f7: PUSH1 0x20 000014f9: ADD 000014fa: SWAP1 000014fb: DUP2 000014fc: MSTORE 000014fd: PUSH1 0x20 000014ff: ADD 00001500: PUSH1 0x00 00001502: KECCAK256 00001503: SLOAD 00001504: DUP5 00001505: PUSH2 0x2127 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH1 0x04 0000150c: PUSH1 0x00 0000150e: DUP7 0000150f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001524: AND 00001525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153a: AND 0000153b: DUP2 0000153c: MSTORE 0000153d: PUSH1 0x20 0000153f: ADD 00001540: SWAP1 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x20 00001545: ADD 00001546: PUSH1 0x00 00001548: KECCAK256 00001549: DUP2 0000154a: SWAP1 0000154b: SSTORE 0000154c: POP 0000154d: DUP3 0000154e: PUSH1 0x0a 00001550: SLOAD 00001551: MUL 00001552: PUSH1 0x07 00001554: PUSH1 0x00 00001556: DUP4 00001557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156c: AND 0000156d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001582: AND 00001583: DUP2 00001584: MSTORE 00001585: PUSH1 0x20 00001587: ADD 00001588: SWAP1 00001589: DUP2 0000158a: MSTORE 0000158b: PUSH1 0x20 0000158d: ADD 0000158e: PUSH1 0x00 00001590: KECCAK256 00001591: PUSH1 0x00 00001593: DUP3 00001594: DUP3 00001595: SLOAD 00001596: SUB 00001597: SWAP3 00001598: POP 00001599: POP 0000159a: DUP2 0000159b: SWAP1 0000159c: SSTORE 0000159d: POP 0000159e: DUP3 0000159f: PUSH1 0x0a 000015a1: SLOAD 000015a2: MUL 000015a3: PUSH1 0x07 000015a5: PUSH1 0x00 000015a7: DUP7 000015a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015bd: AND 000015be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d3: AND 000015d4: DUP2 000015d5: MSTORE 000015d6: PUSH1 0x20 000015d8: ADD 000015d9: SWAP1 000015da: DUP2 000015db: MSTORE 000015dc: PUSH1 0x20 000015de: ADD 000015df: PUSH1 0x00 000015e1: KECCAK256 000015e2: PUSH1 0x00 000015e4: DUP3 000015e5: DUP3 000015e6: SLOAD 000015e7: ADD 000015e8: SWAP3 000015e9: POP 000015ea: POP 000015eb: DUP2 000015ec: SWAP1 000015ed: SSTORE 000015ee: POP 000015ef: DUP4 000015f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001605: AND 00001606: DUP2 00001607: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161c: AND 0000161d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000163e: DUP6 0000163f: PUSH1 0x40 00001641: MLOAD 00001642: DUP1 00001643: DUP3 00001644: DUP2 00001645: MSTORE 00001646: PUSH1 0x20 00001648: ADD 00001649: SWAP2 0000164a: POP 0000164b: POP 0000164c: PUSH1 0x40 0000164e: MLOAD 0000164f: DUP1 00001650: SWAP2 00001651: SUB 00001652: SWAP1 00001653: LOG3 00001654: PUSH1 0x01 00001656: SWAP2 00001657: POP 00001658: POP 00001659: SWAP3 0000165a: SWAP2 0000165b: POP 0000165c: POP 0000165d: JUMP 0000165e: JUMPDEST 0000165f: PUSH1 0x00 00001661: CALLER 00001662: SWAP1 00001663: POP 00001664: PUSH1 0x0d 00001666: PUSH1 0x00 00001668: DUP3 00001669: PUSH1 0x40 0000166b: MLOAD 0000166c: DUP1 0000166d: DUP3 0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001683: AND 00001684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001699: AND 0000169a: PUSH13 0x01000000000000000000000000 000016a8: MUL 000016a9: DUP2 000016aa: MSTORE 000016ab: PUSH1 0x14 000016ad: ADD 000016ae: SWAP2 000016af: POP 000016b0: POP 000016b1: PUSH1 0x40 000016b3: MLOAD 000016b4: DUP1 000016b5: SWAP2 000016b6: SUB 000016b7: SWAP1 000016b8: KECCAK256 000016b9: PUSH1 0x00 000016bb: NOT 000016bc: AND 000016bd: PUSH1 0x00 000016bf: NOT 000016c0: AND 000016c1: DUP2 000016c2: MSTORE 000016c3: PUSH1 0x20 000016c5: ADD 000016c6: SWAP1 000016c7: DUP2 000016c8: MSTORE 000016c9: PUSH1 0x20 000016cb: ADD 000016cc: PUSH1 0x00 000016ce: KECCAK256 000016cf: PUSH1 0x00 000016d1: SWAP1 000016d2: SLOAD 000016d3: SWAP1 000016d4: PUSH2 0x0100 000016d7: EXP 000016d8: SWAP1 000016d9: DIV 000016da: PUSH1 0xff 000016dc: AND 000016dd: ISZERO 000016de: ISZERO 000016df: PUSH2 0x16e7 000016e2: JUMPI 000016e3: PUSH1 0x00 000016e5: DUP1 000016e6: REVERT 000016e7: JUMPDEST 000016e8: DUP2 000016e9: PUSH1 0x01 000016eb: SWAP1 000016ec: DUP1 000016ed: MLOAD 000016ee: SWAP1 000016ef: PUSH1 0x20 000016f1: ADD 000016f2: SWAP1 000016f3: PUSH2 0x16fd 000016f6: SWAP3 000016f7: SWAP2 000016f8: SWAP1 000016f9: PUSH2 0x22ec 000016fc: JUMP 000016fd: JUMPDEST 000016fe: POP 000016ff: POP 00001700: POP 00001701: JUMP 00001702: JUMPDEST 00001703: PUSH1 0x00 00001705: CALLER 00001706: SWAP1 00001707: POP 00001708: PUSH1 0x0d 0000170a: PUSH1 0x00 0000170c: DUP3 0000170d: PUSH1 0x40 0000170f: MLOAD 00001710: DUP1 00001711: DUP3 00001712: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001727: AND 00001728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173d: AND 0000173e: PUSH13 0x01000000000000000000000000 0000174c: MUL 0000174d: DUP2 0000174e: MSTORE 0000174f: PUSH1 0x14 00001751: ADD 00001752: SWAP2 00001753: POP 00001754: POP 00001755: PUSH1 0x40 00001757: MLOAD 00001758: DUP1 00001759: SWAP2 0000175a: SUB 0000175b: SWAP1 0000175c: KECCAK256 0000175d: PUSH1 0x00 0000175f: NOT 00001760: AND 00001761: PUSH1 0x00 00001763: NOT 00001764: AND 00001765: DUP2 00001766: MSTORE 00001767: PUSH1 0x20 00001769: ADD 0000176a: SWAP1 0000176b: DUP2 0000176c: MSTORE 0000176d: PUSH1 0x20 0000176f: ADD 00001770: PUSH1 0x00 00001772: KECCAK256 00001773: PUSH1 0x00 00001775: SWAP1 00001776: SLOAD 00001777: SWAP1 00001778: PUSH2 0x0100 0000177b: EXP 0000177c: SWAP1 0000177d: DIV 0000177e: PUSH1 0xff 00001780: AND 00001781: ISZERO 00001782: ISZERO 00001783: PUSH2 0x178b 00001786: JUMPI 00001787: PUSH1 0x00 00001789: DUP1 0000178a: REVERT 0000178b: JUMPDEST 0000178c: DUP2 0000178d: PUSH1 0x00 0000178f: SWAP1 00001790: DUP1 00001791: MLOAD 00001792: SWAP1 00001793: PUSH1 0x20 00001795: ADD 00001796: SWAP1 00001797: PUSH2 0x17a1 0000179a: SWAP3 0000179b: SWAP2 0000179c: SWAP1 0000179d: PUSH2 0x22ec 000017a0: JUMP 000017a1: JUMPDEST 000017a2: POP 000017a3: POP 000017a4: POP 000017a5: JUMP 000017a6: JUMPDEST 000017a7: PUSH1 0x00 000017a9: PUSH1 0x01 000017ab: ISZERO 000017ac: ISZERO 000017ad: PUSH1 0x03 000017af: PUSH1 0x00 000017b1: CALLER 000017b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c7: AND 000017c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017dd: AND 000017de: DUP2 000017df: MSTORE 000017e0: PUSH1 0x20 000017e2: ADD 000017e3: SWAP1 000017e4: DUP2 000017e5: MSTORE 000017e6: PUSH1 0x20 000017e8: ADD 000017e9: PUSH1 0x00 000017eb: KECCAK256 000017ec: PUSH1 0x00 000017ee: SWAP1 000017ef: SLOAD 000017f0: SWAP1 000017f1: PUSH2 0x0100 000017f4: EXP 000017f5: SWAP1 000017f6: DIV 000017f7: PUSH1 0xff 000017f9: AND 000017fa: ISZERO 000017fb: ISZERO 000017fc: EQ 000017fd: ISZERO 000017fe: ISZERO 000017ff: PUSH2 0x1807 00001802: JUMPI 00001803: PUSH1 0x00 00001805: DUP1 00001806: REVERT 00001807: JUMPDEST 00001808: PUSH1 0x00 0000180a: PUSH1 0x0c 0000180c: PUSH1 0x00 0000180e: PUSH2 0x0100 00001811: EXP 00001812: DUP2 00001813: SLOAD 00001814: DUP2 00001815: PUSH1 0xff 00001817: MUL 00001818: NOT 00001819: AND 0000181a: SWAP1 0000181b: DUP4 0000181c: ISZERO 0000181d: ISZERO 0000181e: MUL 0000181f: OR 00001820: SWAP1 00001821: SSTORE 00001822: POP 00001823: PUSH1 0x0c 00001825: PUSH1 0x00 00001827: SWAP1 00001828: SLOAD 00001829: SWAP1 0000182a: PUSH2 0x0100 0000182d: EXP 0000182e: SWAP1 0000182f: DIV 00001830: PUSH1 0xff 00001832: AND 00001833: SWAP1 00001834: POP 00001835: SWAP1 00001836: JUMP 00001837: JUMPDEST 00001838: PUSH1 0x00 0000183a: DUP1 0000183b: PUSH1 0x00 0000183d: DUP1 0000183e: PUSH1 0x00 00001840: DUP1 00001841: PUSH1 0x00 00001843: PUSH2 0x184a 00001846: PUSH2 0x1241 00001849: JUMP 0000184a: JUMPDEST 0000184b: GT 0000184c: ISZERO 0000184d: ISZERO 0000184e: PUSH2 0x1856 00001851: JUMPI 00001852: PUSH1 0x00 00001854: DUP1 00001855: REVERT 00001856: JUMPDEST 00001857: CALLER 00001858: SWAP6 00001859: POP 0000185a: PUSH1 0x00 0000185c: ISZERO 0000185d: ISZERO 0000185e: PUSH1 0x03 00001860: PUSH1 0x00 00001862: DUP9 00001863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001878: AND 00001879: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188e: AND 0000188f: DUP2 00001890: MSTORE 00001891: PUSH1 0x20 00001893: ADD 00001894: SWAP1 00001895: DUP2 00001896: MSTORE 00001897: PUSH1 0x20 00001899: ADD 0000189a: PUSH1 0x00 0000189c: KECCAK256 0000189d: PUSH1 0x00 0000189f: SWAP1 000018a0: SLOAD 000018a1: SWAP1 000018a2: PUSH2 0x0100 000018a5: EXP 000018a6: SWAP1 000018a7: DIV 000018a8: PUSH1 0xff 000018aa: AND 000018ab: ISZERO 000018ac: ISZERO 000018ad: EQ 000018ae: ISZERO 000018af: ISZERO 000018b0: PUSH2 0x18b8 000018b3: JUMPI 000018b4: PUSH1 0x00 000018b6: DUP1 000018b7: REVERT 000018b8: JUMPDEST 000018b9: PUSH1 0x04 000018bb: PUSH1 0x00 000018bd: DUP8 000018be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d3: AND 000018d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e9: AND 000018ea: DUP2 000018eb: MSTORE 000018ec: PUSH1 0x20 000018ee: ADD 000018ef: SWAP1 000018f0: DUP2 000018f1: MSTORE 000018f2: PUSH1 0x20 000018f4: ADD 000018f5: PUSH1 0x00 000018f7: KECCAK256 000018f8: SLOAD 000018f9: DUP8 000018fa: GT 000018fb: ISZERO 000018fc: ISZERO 000018fd: ISZERO 000018fe: PUSH2 0x1906 00001901: JUMPI 00001902: PUSH1 0x00 00001904: DUP1 00001905: REVERT 00001906: JUMPDEST 00001907: DUP7 00001908: SWAP5 00001909: POP 0000190a: PUSH2 0x1912 0000190d: DUP6 0000190e: PUSH2 0x21f2 00001911: JUMP 00001912: JUMPDEST 00001913: SWAP4 00001914: POP 00001915: PUSH2 0x1922 00001918: DUP5 00001919: PUSH1 0x0a 0000191b: PUSH1 0xff 0000191d: AND 0000191e: PUSH2 0x2145 00001921: JUMP 00001922: JUMPDEST 00001923: SWAP3 00001924: POP 00001925: PUSH2 0x192e 00001928: DUP5 00001929: DUP5 0000192a: PUSH2 0x210e 0000192d: JUMP 0000192e: JUMPDEST 0000192f: SWAP2 00001930: POP 00001931: PUSH2 0x193c 00001934: PUSH1 0x08 00001936: SLOAD 00001937: DUP7 00001938: PUSH2 0x210e 0000193b: JUMP 0000193c: JUMPDEST 0000193d: PUSH1 0x08 0000193f: DUP2 00001940: SWAP1 00001941: SSTORE 00001942: POP 00001943: PUSH2 0x198b 00001946: PUSH1 0x04 00001948: PUSH1 0x00 0000194a: DUP9 0000194b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001960: AND 00001961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001976: AND 00001977: DUP2 00001978: MSTORE 00001979: PUSH1 0x20 0000197b: ADD 0000197c: SWAP1 0000197d: DUP2 0000197e: MSTORE 0000197f: PUSH1 0x20 00001981: ADD 00001982: PUSH1 0x00 00001984: KECCAK256 00001985: SLOAD 00001986: DUP7 00001987: PUSH2 0x210e 0000198a: JUMP 0000198b: JUMPDEST 0000198c: PUSH1 0x04 0000198e: PUSH1 0x00 00001990: DUP9 00001991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a6: AND 000019a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019bc: AND 000019bd: DUP2 000019be: MSTORE 000019bf: PUSH1 0x20 000019c1: ADD 000019c2: SWAP1 000019c3: DUP2 000019c4: MSTORE 000019c5: PUSH1 0x20 000019c7: ADD 000019c8: PUSH1 0x00 000019ca: KECCAK256 000019cb: DUP2 000019cc: SWAP1 000019cd: SSTORE 000019ce: POP 000019cf: PUSH9 0x010000000000000000 000019d9: DUP3 000019da: MUL 000019db: DUP6 000019dc: PUSH1 0x0a 000019de: SLOAD 000019df: MUL 000019e0: ADD 000019e1: SWAP1 000019e2: POP 000019e3: DUP1 000019e4: PUSH1 0x07 000019e6: PUSH1 0x00 000019e8: DUP9 000019e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fe: AND 000019ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a14: AND 00001a15: DUP2 00001a16: MSTORE 00001a17: PUSH1 0x20 00001a19: ADD 00001a1a: SWAP1 00001a1b: DUP2 00001a1c: MSTORE 00001a1d: PUSH1 0x20 00001a1f: ADD 00001a20: PUSH1 0x00 00001a22: KECCAK256 00001a23: PUSH1 0x00 00001a25: DUP3 00001a26: DUP3 00001a27: SLOAD 00001a28: SUB 00001a29: SWAP3 00001a2a: POP 00001a2b: POP 00001a2c: DUP2 00001a2d: SWAP1 00001a2e: SSTORE 00001a2f: POP 00001a30: PUSH1 0x00 00001a32: PUSH1 0x08 00001a34: SLOAD 00001a35: GT 00001a36: ISZERO 00001a37: PUSH2 0x1a65 00001a3a: JUMPI 00001a3b: PUSH2 0x1a5e 00001a3e: PUSH1 0x0a 00001a40: SLOAD 00001a41: PUSH1 0x08 00001a43: SLOAD 00001a44: PUSH9 0x010000000000000000 00001a4e: DUP7 00001a4f: MUL 00001a50: DUP2 00001a51: ISZERO 00001a52: ISZERO 00001a53: PUSH2 0x1a58 00001a56: JUMPI 00001a57: INVALID 00001a58: JUMPDEST 00001a59: DIV 00001a5a: PUSH2 0x2127 00001a5d: JUMP 00001a5e: JUMPDEST 00001a5f: PUSH1 0x0a 00001a61: DUP2 00001a62: SWAP1 00001a63: SSTORE 00001a64: POP 00001a65: JUMPDEST 00001a66: DUP6 00001a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7c: AND 00001a7d: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001a9e: DUP7 00001a9f: DUP5 00001aa0: PUSH1 0x40 00001aa2: MLOAD 00001aa3: DUP1 00001aa4: DUP4 00001aa5: DUP2 00001aa6: MSTORE 00001aa7: PUSH1 0x20 00001aa9: ADD 00001aaa: DUP3 00001aab: DUP2 00001aac: MSTORE 00001aad: PUSH1 0x20 00001aaf: ADD 00001ab0: SWAP3 00001ab1: POP 00001ab2: POP 00001ab3: POP 00001ab4: PUSH1 0x40 00001ab6: MLOAD 00001ab7: DUP1 00001ab8: SWAP2 00001ab9: SUB 00001aba: SWAP1 00001abb: LOG2 00001abc: POP 00001abd: POP 00001abe: POP 00001abf: POP 00001ac0: POP 00001ac1: POP 00001ac2: POP 00001ac3: JUMP 00001ac4: JUMPDEST 00001ac5: PUSH1 0x00 00001ac7: DUP1 00001ac8: CALLER 00001ac9: SWAP2 00001aca: POP 00001acb: PUSH1 0x04 00001acd: PUSH1 0x00 00001acf: DUP4 00001ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae5: AND 00001ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001afb: AND 00001afc: DUP2 00001afd: MSTORE 00001afe: PUSH1 0x20 00001b00: ADD 00001b01: SWAP1 00001b02: DUP2 00001b03: MSTORE 00001b04: PUSH1 0x20 00001b06: ADD 00001b07: PUSH1 0x00 00001b09: KECCAK256 00001b0a: SLOAD 00001b0b: SWAP1 00001b0c: POP 00001b0d: PUSH1 0x00 00001b0f: DUP2 00001b10: GT 00001b11: ISZERO 00001b12: PUSH2 0x1b1f 00001b15: JUMPI 00001b16: PUSH2 0x1b1e 00001b19: DUP2 00001b1a: PUSH2 0x1837 00001b1d: JUMP 00001b1e: JUMPDEST 00001b1f: JUMPDEST 00001b20: PUSH2 0x1b27 00001b23: PUSH2 0x0cec 00001b26: JUMP 00001b27: JUMPDEST 00001b28: POP 00001b29: POP 00001b2a: JUMP 00001b2b: JUMPDEST 00001b2c: PUSH1 0x00 00001b2e: PUSH2 0x1b37 00001b31: CALLVALUE 00001b32: DUP4 00001b33: PUSH2 0x085e 00001b36: JUMP 00001b37: JUMPDEST 00001b38: POP 00001b39: SWAP2 00001b3a: SWAP1 00001b3b: POP 00001b3c: JUMP 00001b3d: JUMPDEST 00001b3e: PUSH1 0x00 00001b40: DUP1 00001b41: PUSH1 0x00 00001b43: DUP1 00001b44: PUSH2 0x1b4d 00001b47: PUSH1 0x01 00001b49: PUSH2 0x0f10 00001b4c: JUMP 00001b4d: JUMPDEST 00001b4e: GT 00001b4f: ISZERO 00001b50: ISZERO 00001b51: PUSH2 0x1b59 00001b54: JUMPI 00001b55: PUSH1 0x00 00001b57: DUP1 00001b58: REVERT 00001b59: JUMPDEST 00001b5a: PUSH2 0x1b63 00001b5d: PUSH1 0x00 00001b5f: PUSH2 0x0f10 00001b62: JUMP 00001b63: JUMPDEST 00001b64: SWAP3 00001b65: POP 00001b66: CALLER 00001b67: SWAP2 00001b68: POP 00001b69: PUSH1 0x00 00001b6b: ISZERO 00001b6c: ISZERO 00001b6d: PUSH1 0x03 00001b6f: PUSH1 0x00 00001b71: DUP5 00001b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b87: AND 00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9d: AND 00001b9e: DUP2 00001b9f: MSTORE 00001ba0: PUSH1 0x20 00001ba2: ADD 00001ba3: SWAP1 00001ba4: DUP2 00001ba5: MSTORE 00001ba6: PUSH1 0x20 00001ba8: ADD 00001ba9: PUSH1 0x00 00001bab: KECCAK256 00001bac: PUSH1 0x00 00001bae: SWAP1 00001baf: SLOAD 00001bb0: SWAP1 00001bb1: PUSH2 0x0100 00001bb4: EXP 00001bb5: SWAP1 00001bb6: DIV 00001bb7: PUSH1 0xff 00001bb9: AND 00001bba: ISZERO 00001bbb: ISZERO 00001bbc: EQ 00001bbd: ISZERO 00001bbe: ISZERO 00001bbf: PUSH2 0x1bc7 00001bc2: JUMPI 00001bc3: PUSH1 0x00 00001bc5: DUP1 00001bc6: REVERT 00001bc7: JUMPDEST 00001bc8: PUSH9 0x010000000000000000 00001bd2: DUP4 00001bd3: MUL 00001bd4: PUSH1 0x07 00001bd6: PUSH1 0x00 00001bd8: DUP5 00001bd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bee: AND 00001bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c04: AND 00001c05: DUP2 00001c06: MSTORE 00001c07: PUSH1 0x20 00001c09: ADD 00001c0a: SWAP1 00001c0b: DUP2 00001c0c: MSTORE 00001c0d: PUSH1 0x20 00001c0f: ADD 00001c10: PUSH1 0x00 00001c12: KECCAK256 00001c13: PUSH1 0x00 00001c15: DUP3 00001c16: DUP3 00001c17: SLOAD 00001c18: ADD 00001c19: SWAP3 00001c1a: POP 00001c1b: POP 00001c1c: DUP2 00001c1d: SWAP1 00001c1e: SSTORE 00001c1f: POP 00001c20: PUSH1 0x06 00001c22: PUSH1 0x00 00001c24: DUP4 00001c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c3a: AND 00001c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c50: AND 00001c51: DUP2 00001c52: MSTORE 00001c53: PUSH1 0x20 00001c55: ADD 00001c56: SWAP1 00001c57: DUP2 00001c58: MSTORE 00001c59: PUSH1 0x20 00001c5b: ADD 00001c5c: PUSH1 0x00 00001c5e: KECCAK256 00001c5f: SLOAD 00001c60: DUP4 00001c61: ADD 00001c62: SWAP3 00001c63: POP 00001c64: PUSH1 0x00 00001c66: PUSH1 0x06 00001c68: PUSH1 0x00 00001c6a: DUP5 00001c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c80: AND 00001c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c96: AND 00001c97: DUP2 00001c98: MSTORE 00001c99: PUSH1 0x20 00001c9b: ADD 00001c9c: SWAP1 00001c9d: DUP2 00001c9e: MSTORE 00001c9f: PUSH1 0x20 00001ca1: ADD 00001ca2: PUSH1 0x00 00001ca4: KECCAK256 00001ca5: DUP2 00001ca6: SWAP1 00001ca7: SSTORE 00001ca8: POP 00001ca9: PUSH2 0x1cb3 00001cac: DUP4 00001cad: PUSH1 0x00 00001caf: PUSH2 0x1d10 00001cb2: JUMP 00001cb3: JUMPDEST 00001cb4: SWAP1 00001cb5: POP 00001cb6: DUP2 00001cb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ccc: AND 00001ccd: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001cee: DUP5 00001cef: DUP4 00001cf0: PUSH1 0x40 00001cf2: MLOAD 00001cf3: DUP1 00001cf4: DUP4 00001cf5: DUP2 00001cf6: MSTORE 00001cf7: PUSH1 0x20 00001cf9: ADD 00001cfa: DUP3 00001cfb: DUP2 00001cfc: MSTORE 00001cfd: PUSH1 0x20 00001cff: ADD 00001d00: SWAP3 00001d01: POP 00001d02: POP 00001d03: POP 00001d04: PUSH1 0x40 00001d06: MLOAD 00001d07: DUP1 00001d08: SWAP2 00001d09: SUB 00001d0a: SWAP1 00001d0b: LOG2 00001d0c: POP 00001d0d: POP 00001d0e: POP 00001d0f: JUMP 00001d10: JUMPDEST 00001d11: PUSH1 0x00 00001d13: DUP1 00001d14: PUSH1 0x00 00001d16: DUP1 00001d17: PUSH1 0x00 00001d19: DUP1 00001d1a: PUSH1 0x00 00001d1c: DUP1 00001d1d: PUSH1 0x00 00001d1f: PUSH8 0x0de0b6b3a7640000 00001d28: CALLVALUE 00001d29: GT 00001d2a: ISZERO 00001d2b: PUSH2 0x1d5c 00001d2e: JUMPI 00001d2f: PUSH8 0x8ac7230489e80000 00001d38: ADDRESS 00001d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4e: AND 00001d4f: BALANCE 00001d50: LT 00001d51: ISZERO 00001d52: ISZERO 00001d53: PUSH2 0x1d5b 00001d56: JUMPI 00001d57: PUSH1 0x00 00001d59: DUP1 00001d5a: REVERT 00001d5b: JUMPDEST 00001d5c: JUMPDEST 00001d5d: CALLER 00001d5e: SWAP8 00001d5f: POP 00001d60: PUSH2 0x1d6d 00001d63: DUP12 00001d64: PUSH1 0x0a 00001d66: PUSH1 0xff 00001d68: AND 00001d69: PUSH2 0x2145 00001d6c: JUMP 00001d6d: JUMPDEST 00001d6e: SWAP7 00001d6f: POP 00001d70: PUSH2 0x1d7a 00001d73: DUP8 00001d74: PUSH1 0x03 00001d76: PUSH2 0x2145 00001d79: JUMP 00001d7a: JUMPDEST 00001d7b: SWAP6 00001d7c: POP 00001d7d: PUSH2 0x1d86 00001d80: DUP8 00001d81: DUP8 00001d82: PUSH2 0x210e 00001d85: JUMP 00001d86: JUMPDEST 00001d87: SWAP5 00001d88: POP 00001d89: PUSH2 0x1d92 00001d8c: DUP12 00001d8d: DUP9 00001d8e: PUSH2 0x210e 00001d91: JUMP 00001d92: JUMPDEST 00001d93: SWAP4 00001d94: POP 00001d95: PUSH2 0x1d9d 00001d98: DUP5 00001d99: PUSH2 0x2160 00001d9c: JUMP 00001d9d: JUMPDEST 00001d9e: SWAP3 00001d9f: POP 00001da0: PUSH9 0x010000000000000000 00001daa: DUP6 00001dab: MUL 00001dac: SWAP2 00001dad: POP 00001dae: PUSH1 0x00 00001db0: DUP4 00001db1: GT 00001db2: DUP1 00001db3: ISZERO 00001db4: PUSH2 0x1dc9 00001db7: JUMPI 00001db8: POP 00001db9: PUSH1 0x08 00001dbb: SLOAD 00001dbc: PUSH2 0x1dc7 00001dbf: DUP5 00001dc0: PUSH1 0x08 00001dc2: SLOAD 00001dc3: PUSH2 0x2127 00001dc6: JUMP 00001dc7: JUMPDEST 00001dc8: GT 00001dc9: JUMPDEST 00001dca: ISZERO 00001dcb: ISZERO 00001dcc: PUSH2 0x1dd4 00001dcf: JUMPI 00001dd0: PUSH1 0x00 00001dd2: DUP1 00001dd3: REVERT 00001dd4: JUMPDEST 00001dd5: PUSH1 0x00 00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dec: AND 00001ded: DUP11 00001dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e03: AND 00001e04: EQ 00001e05: ISZERO 00001e06: DUP1 00001e07: ISZERO 00001e08: PUSH2 0x1e3d 00001e0b: JUMPI 00001e0c: POP 00001e0d: DUP8 00001e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e23: AND 00001e24: DUP11 00001e25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e3a: AND 00001e3b: EQ 00001e3c: ISZERO 00001e3d: JUMPDEST 00001e3e: DUP1 00001e3f: ISZERO 00001e40: PUSH2 0x1e8a 00001e43: JUMPI 00001e44: POP 00001e45: PUSH1 0x02 00001e47: SLOAD 00001e48: PUSH1 0x04 00001e4a: PUSH1 0x00 00001e4c: DUP13 00001e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e62: AND 00001e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e78: AND 00001e79: DUP2 00001e7a: MSTORE 00001e7b: PUSH1 0x20 00001e7d: ADD 00001e7e: SWAP1 00001e7f: DUP2 00001e80: MSTORE 00001e81: PUSH1 0x20 00001e83: ADD 00001e84: PUSH1 0x00 00001e86: KECCAK256 00001e87: SLOAD 00001e88: LT 00001e89: ISZERO 00001e8a: JUMPDEST 00001e8b: ISZERO 00001e8c: PUSH2 0x1f20 00001e8f: JUMPI 00001e90: PUSH2 0x1ed8 00001e93: PUSH1 0x06 00001e95: PUSH1 0x00 00001e97: DUP13 00001e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ead: AND 00001eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec3: AND 00001ec4: DUP2 00001ec5: MSTORE 00001ec6: PUSH1 0x20 00001ec8: ADD 00001ec9: SWAP1 00001eca: DUP2 00001ecb: MSTORE 00001ecc: PUSH1 0x20 00001ece: ADD 00001ecf: PUSH1 0x00 00001ed1: KECCAK256 00001ed2: SLOAD 00001ed3: DUP8 00001ed4: PUSH2 0x2127 00001ed7: JUMP 00001ed8: JUMPDEST 00001ed9: PUSH1 0x06 00001edb: PUSH1 0x00 00001edd: DUP13 00001ede: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ef3: AND 00001ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f09: AND 00001f0a: DUP2 00001f0b: MSTORE 00001f0c: PUSH1 0x20 00001f0e: ADD 00001f0f: SWAP1 00001f10: DUP2 00001f11: MSTORE 00001f12: PUSH1 0x20 00001f14: ADD 00001f15: PUSH1 0x00 00001f17: KECCAK256 00001f18: DUP2 00001f19: SWAP1 00001f1a: SSTORE 00001f1b: POP 00001f1c: PUSH2 0x1f3b 00001f1f: JUMP 00001f20: JUMPDEST 00001f21: PUSH2 0x1f2a 00001f24: DUP6 00001f25: DUP8 00001f26: PUSH2 0x2127 00001f29: JUMP 00001f2a: JUMPDEST 00001f2b: SWAP5 00001f2c: POP 00001f2d: PUSH9 0x010000000000000000 00001f37: DUP6 00001f38: MUL 00001f39: SWAP2 00001f3a: POP 00001f3b: JUMPDEST 00001f3c: PUSH1 0x00 00001f3e: PUSH1 0x08 00001f40: SLOAD 00001f41: GT 00001f42: ISZERO 00001f43: PUSH2 0x1fa6 00001f46: JUMPI 00001f47: PUSH2 0x1f52 00001f4a: PUSH1 0x08 00001f4c: SLOAD 00001f4d: DUP5 00001f4e: PUSH2 0x2127 00001f51: JUMP 00001f52: JUMPDEST 00001f53: PUSH1 0x08 00001f55: DUP2 00001f56: SWAP1 00001f57: SSTORE 00001f58: POP 00001f59: PUSH1 0x08 00001f5b: SLOAD 00001f5c: PUSH9 0x010000000000000000 00001f66: DUP7 00001f67: MUL 00001f68: DUP2 00001f69: ISZERO 00001f6a: ISZERO 00001f6b: PUSH2 0x1f70 00001f6e: JUMPI 00001f6f: INVALID 00001f70: JUMPDEST 00001f71: DIV 00001f72: PUSH1 0x0a 00001f74: PUSH1 0x00 00001f76: DUP3 00001f77: DUP3 00001f78: SLOAD 00001f79: ADD 00001f7a: SWAP3 00001f7b: POP 00001f7c: POP 00001f7d: DUP2 00001f7e: SWAP1 00001f7f: SSTORE 00001f80: POP 00001f81: PUSH1 0x08 00001f83: SLOAD 00001f84: PUSH9 0x010000000000000000 00001f8e: DUP7 00001f8f: MUL 00001f90: DUP2 00001f91: ISZERO 00001f92: ISZERO 00001f93: PUSH2 0x1f98 00001f96: JUMPI 00001f97: INVALID 00001f98: JUMPDEST 00001f99: DIV 00001f9a: DUP4 00001f9b: MUL 00001f9c: DUP3 00001f9d: SUB 00001f9e: DUP3 00001f9f: SUB 00001fa0: SWAP2 00001fa1: POP 00001fa2: PUSH2 0x1fae 00001fa5: JUMP 00001fa6: JUMPDEST 00001fa7: DUP3 00001fa8: PUSH1 0x08 00001faa: DUP2 00001fab: SWAP1 00001fac: SSTORE 00001fad: POP 00001fae: JUMPDEST 00001faf: PUSH2 0x1ff7 00001fb2: PUSH1 0x04 00001fb4: PUSH1 0x00 00001fb6: DUP11 00001fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fcc: AND 00001fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe2: AND 00001fe3: DUP2 00001fe4: MSTORE 00001fe5: PUSH1 0x20 00001fe7: ADD 00001fe8: SWAP1 00001fe9: DUP2 00001fea: MSTORE 00001feb: PUSH1 0x20 00001fed: ADD 00001fee: PUSH1 0x00 00001ff0: KECCAK256 00001ff1: SLOAD 00001ff2: DUP5 00001ff3: PUSH2 0x2127 00001ff6: JUMP 00001ff7: JUMPDEST 00001ff8: PUSH1 0x04 00001ffa: PUSH1 0x00 00001ffc: DUP11 00001ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002012: AND 00002013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002028: AND 00002029: DUP2 0000202a: MSTORE 0000202b: PUSH1 0x20 0000202d: ADD 0000202e: SWAP1 0000202f: DUP2 00002030: MSTORE 00002031: PUSH1 0x20 00002033: ADD 00002034: PUSH1 0x00 00002036: KECCAK256 00002037: DUP2 00002038: SWAP1 00002039: SSTORE 0000203a: POP 0000203b: DUP2 0000203c: DUP4 0000203d: PUSH1 0x0a 0000203f: SLOAD 00002040: MUL 00002041: SUB 00002042: SWAP1 00002043: POP 00002044: DUP1 00002045: PUSH1 0x07 00002047: PUSH1 0x00 00002049: DUP11 0000204a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205f: AND 00002060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002075: AND 00002076: DUP2 00002077: MSTORE 00002078: PUSH1 0x20 0000207a: ADD 0000207b: SWAP1 0000207c: DUP2 0000207d: MSTORE 0000207e: PUSH1 0x20 00002080: ADD 00002081: PUSH1 0x00 00002083: KECCAK256 00002084: PUSH1 0x00 00002086: DUP3 00002087: DUP3 00002088: SLOAD 00002089: ADD 0000208a: SWAP3 0000208b: POP 0000208c: POP 0000208d: DUP2 0000208e: SWAP1 0000208f: SSTORE 00002090: POP 00002091: DUP10 00002092: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a7: AND 000020a8: DUP9 000020a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020be: AND 000020bf: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000020e0: DUP14 000020e1: DUP7 000020e2: PUSH1 0x40 000020e4: MLOAD 000020e5: DUP1 000020e6: DUP4 000020e7: DUP2 000020e8: MSTORE 000020e9: PUSH1 0x20 000020eb: ADD 000020ec: DUP3 000020ed: DUP2 000020ee: MSTORE 000020ef: PUSH1 0x20 000020f1: ADD 000020f2: SWAP3 000020f3: POP 000020f4: POP 000020f5: POP 000020f6: PUSH1 0x40 000020f8: MLOAD 000020f9: DUP1 000020fa: SWAP2 000020fb: SUB 000020fc: SWAP1 000020fd: LOG3 000020fe: DUP3 000020ff: SWAP9 00002100: POP 00002101: POP 00002102: POP 00002103: POP 00002104: POP 00002105: POP 00002106: POP 00002107: POP 00002108: POP 00002109: SWAP3 0000210a: SWAP2 0000210b: POP 0000210c: POP 0000210d: JUMP 0000210e: JUMPDEST 0000210f: PUSH1 0x00 00002111: DUP3 00002112: DUP3 00002113: GT 00002114: ISZERO 00002115: ISZERO 00002116: ISZERO 00002117: PUSH2 0x211c 0000211a: JUMPI 0000211b: INVALID 0000211c: JUMPDEST 0000211d: DUP2 0000211e: DUP4 0000211f: SUB 00002120: SWAP1 00002121: POP 00002122: SWAP3 00002123: SWAP2 00002124: POP 00002125: POP 00002126: JUMP 00002127: JUMPDEST 00002128: PUSH1 0x00 0000212a: DUP1 0000212b: DUP3 0000212c: DUP5 0000212d: ADD 0000212e: SWAP1 0000212f: POP 00002130: DUP4 00002131: DUP2 00002132: LT 00002133: ISZERO 00002134: ISZERO 00002135: ISZERO 00002136: PUSH2 0x213b 00002139: JUMPI 0000213a: INVALID 0000213b: JUMPDEST 0000213c: DUP1 0000213d: SWAP2 0000213e: POP 0000213f: POP 00002140: SWAP3 00002141: SWAP2 00002142: POP 00002143: POP 00002144: JUMP 00002145: JUMPDEST 00002146: PUSH1 0x00 00002148: DUP1 00002149: DUP3 0000214a: DUP5 0000214b: DUP2 0000214c: ISZERO 0000214d: ISZERO 0000214e: PUSH2 0x2153 00002151: JUMPI 00002152: INVALID 00002153: JUMPDEST 00002154: DIV 00002155: SWAP1 00002156: POP 00002157: DUP1 00002158: SWAP2 00002159: POP 0000215a: POP 0000215b: SWAP3 0000215c: SWAP2 0000215d: POP 0000215e: POP 0000215f: JUMP 00002160: JUMPDEST 00002161: PUSH1 0x00 00002163: DUP1 00002164: PUSH1 0x00 00002166: DUP1 00002167: PUSH8 0x0de0b6b3a7640000 00002170: PUSH5 0x174876e800 00002176: MUL 00002177: SWAP3 00002178: POP 00002179: PUSH1 0x09 0000217b: SLOAD 0000217c: PUSH1 0x08 0000217e: SLOAD 0000217f: ADD 00002180: SWAP2 00002181: POP 00002182: DUP2 00002183: PUSH5 0x02540be400 00002189: PUSH2 0x21da 0000218c: PUSH2 0x21d4 0000218f: DUP6 00002190: DUP8 00002191: PUSH5 0x02540be400 00002197: PUSH1 0x02 00002199: MUL 0000219a: MUL 0000219b: MUL 0000219c: PUSH1 0x02 0000219e: DUP8 0000219f: EXP 000021a0: PUSH1 0x02 000021a2: PUSH5 0x02540be400 000021a8: EXP 000021a9: MUL 000021aa: PUSH8 0x0de0b6b3a7640000 000021b3: DUP12 000021b4: MUL 000021b5: PUSH8 0x0de0b6b3a7640000 000021be: PUSH5 0x02540be400 000021c4: MUL 000021c5: PUSH1 0x02 000021c7: MUL 000021c8: MUL 000021c9: PUSH1 0x02 000021cb: DUP11 000021cc: EXP 000021cd: ADD 000021ce: ADD 000021cf: ADD 000021d0: PUSH2 0x22a1 000021d3: JUMP 000021d4: JUMPDEST 000021d5: DUP7 000021d6: PUSH2 0x210e 000021d9: JUMP 000021da: JUMPDEST 000021db: DUP2 000021dc: ISZERO 000021dd: ISZERO 000021de: PUSH2 0x21e3 000021e1: JUMPI 000021e2: INVALID 000021e3: JUMPDEST 000021e4: DIV 000021e5: SUB 000021e6: SWAP1 000021e7: POP 000021e8: DUP1 000021e9: SWAP4 000021ea: POP 000021eb: POP 000021ec: POP 000021ed: POP 000021ee: SWAP2 000021ef: SWAP1 000021f0: POP 000021f1: JUMP 000021f2: JUMPDEST 000021f3: PUSH1 0x00 000021f5: DUP1 000021f6: PUSH1 0x00 000021f8: DUP1 000021f9: PUSH8 0x0de0b6b3a7640000 00002202: DUP6 00002203: ADD 00002204: SWAP3 00002205: POP 00002206: PUSH8 0x0de0b6b3a7640000 0000220f: PUSH1 0x09 00002211: SLOAD 00002212: PUSH1 0x08 00002214: SLOAD 00002215: ADD 00002216: ADD 00002217: SWAP2 00002218: POP 00002219: PUSH8 0x0de0b6b3a7640000 00002222: PUSH2 0x228a 00002225: PUSH8 0x0de0b6b3a7640000 0000222e: DUP6 0000222f: SUB 00002230: PUSH5 0x02540be400 00002236: PUSH8 0x0de0b6b3a7640000 0000223f: DUP7 00002240: DUP2 00002241: ISZERO 00002242: ISZERO 00002243: PUSH2 0x2248 00002246: JUMPI 00002247: INVALID 00002248: JUMPDEST 00002249: DIV 0000224a: PUSH5 0x02540be400 00002250: MUL 00002251: PUSH5 0x174876e800 00002257: ADD 00002258: SUB 00002259: MUL 0000225a: PUSH1 0x02 0000225c: PUSH8 0x0de0b6b3a7640000 00002265: DUP8 00002266: PUSH1 0x02 00002268: DUP10 00002269: EXP 0000226a: SUB 0000226b: DUP2 0000226c: ISZERO 0000226d: ISZERO 0000226e: PUSH2 0x2273 00002271: JUMPI 00002272: INVALID 00002273: JUMPDEST 00002274: DIV 00002275: PUSH5 0x02540be400 0000227b: MUL 0000227c: DUP2 0000227d: ISZERO 0000227e: ISZERO 0000227f: PUSH2 0x2284 00002282: JUMPI 00002283: INVALID 00002284: JUMPDEST 00002285: DIV 00002286: PUSH2 0x210e 00002289: JUMP 0000228a: JUMPDEST 0000228b: DUP2 0000228c: ISZERO 0000228d: ISZERO 0000228e: PUSH2 0x2293 00002291: JUMPI 00002292: INVALID 00002293: JUMPDEST 00002294: DIV 00002295: SWAP1 00002296: POP 00002297: DUP1 00002298: SWAP4 00002299: POP 0000229a: POP 0000229b: POP 0000229c: POP 0000229d: SWAP2 0000229e: SWAP1 0000229f: POP 000022a0: JUMP 000022a1: JUMPDEST 000022a2: PUSH1 0x00 000022a4: DUP1 000022a5: PUSH1 0x02 000022a7: PUSH1 0x01 000022a9: DUP5 000022aa: ADD 000022ab: DUP2 000022ac: ISZERO 000022ad: ISZERO 000022ae: PUSH2 0x22b3 000022b1: JUMPI 000022b2: INVALID 000022b3: JUMPDEST 000022b4: DIV 000022b5: SWAP1 000022b6: POP 000022b7: DUP3 000022b8: SWAP2 000022b9: POP 000022ba: JUMPDEST 000022bb: DUP2 000022bc: DUP2 000022bd: LT 000022be: ISZERO 000022bf: PUSH2 0x22e6 000022c2: JUMPI 000022c3: DUP1 000022c4: SWAP2 000022c5: POP 000022c6: PUSH1 0x02 000022c8: DUP2 000022c9: DUP3 000022ca: DUP6 000022cb: DUP2 000022cc: ISZERO 000022cd: ISZERO 000022ce: PUSH2 0x22d3 000022d1: JUMPI 000022d2: INVALID 000022d3: JUMPDEST 000022d4: DIV 000022d5: ADD 000022d6: DUP2 000022d7: ISZERO 000022d8: ISZERO 000022d9: PUSH2 0x22de 000022dc: JUMPI 000022dd: INVALID 000022de: JUMPDEST 000022df: DIV 000022e0: SWAP1 000022e1: POP 000022e2: PUSH2 0x22ba 000022e5: JUMP 000022e6: JUMPDEST 000022e7: POP 000022e8: SWAP2 000022e9: SWAP1 000022ea: POP 000022eb: JUMP 000022ec: JUMPDEST 000022ed: DUP3 000022ee: DUP1 000022ef: SLOAD 000022f0: PUSH1 0x01 000022f2: DUP2 000022f3: PUSH1 0x01 000022f5: AND 000022f6: ISZERO 000022f7: PUSH2 0x0100 000022fa: MUL 000022fb: SUB 000022fc: AND 000022fd: PUSH1 0x02 000022ff: SWAP1 00002300: DIV 00002301: SWAP1 00002302: PUSH1 0x00 00002304: MSTORE 00002305: PUSH1 0x20 00002307: PUSH1 0x00 00002309: KECCAK256 0000230a: SWAP1 0000230b: PUSH1 0x1f 0000230d: ADD 0000230e: PUSH1 0x20 00002310: SWAP1 00002311: DIV 00002312: DUP2 00002313: ADD 00002314: SWAP3 00002315: DUP3 00002316: PUSH1 0x1f 00002318: LT 00002319: PUSH2 0x232d 0000231c: JUMPI 0000231d: DUP1 0000231e: MLOAD 0000231f: PUSH1 0xff 00002321: NOT 00002322: AND 00002323: DUP4 00002324: DUP1 00002325: ADD 00002326: OR 00002327: DUP6 00002328: SSTORE 00002329: PUSH2 0x235b 0000232c: JUMP 0000232d: JUMPDEST 0000232e: DUP3 0000232f: DUP1 00002330: ADD 00002331: PUSH1 0x01 00002333: ADD 00002334: DUP6 00002335: SSTORE 00002336: DUP3 00002337: ISZERO 00002338: PUSH2 0x235b 0000233b: JUMPI 0000233c: SWAP2 0000233d: DUP3 0000233e: ADD 0000233f: JUMPDEST 00002340: DUP3 00002341: DUP2 00002342: GT 00002343: ISZERO 00002344: PUSH2 0x235a 00002347: JUMPI 00002348: DUP3 00002349: MLOAD 0000234a: DUP3 0000234b: SSTORE 0000234c: SWAP2 0000234d: PUSH1 0x20 0000234f: ADD 00002350: SWAP2 00002351: SWAP1 00002352: PUSH1 0x01 00002354: ADD 00002355: SWAP1 00002356: PUSH2 0x233f 00002359: JUMP 0000235a: JUMPDEST 0000235b: JUMPDEST 0000235c: POP 0000235d: SWAP1 0000235e: POP 0000235f: PUSH2 0x2368 00002362: SWAP2 00002363: SWAP1 00002364: PUSH2 0x236c 00002367: JUMP 00002368: JUMPDEST 00002369: POP 0000236a: SWAP1 0000236b: JUMP 0000236c: JUMPDEST 0000236d: PUSH2 0x238e 00002370: SWAP2 00002371: SWAP1 00002372: JUMPDEST 00002373: DUP1 00002374: DUP3 00002375: GT 00002376: ISZERO 00002377: PUSH2 0x238a 0000237a: JUMPI 0000237b: PUSH1 0x00 0000237d: DUP2 0000237e: PUSH1 0x00 00002380: SWAP1 00002381: SSTORE 00002382: POP 00002383: PUSH1 0x01 00002385: ADD 00002386: PUSH2 0x2372 00002389: JUMP 0000238a: JUMPDEST 0000238b: POP 0000238c: SWAP1 0000238d: JUMP 0000238e: JUMPDEST 0000238f: SWAP1 00002390: JUMP 00002391: STOP 00002392: LOG1 00002393: PUSH6 0x627a7a723058 0000239a: KECCAK256 0000239b: EQ 0000239c: UNKNOWN(0xF9) 0000239d: SWAP10 0000239e: UNKNOWN(0x24) 0000239f: UNKNOWN(0x24) 000023a0: UNKNOWN(0x4C) 000023a1: UNKNOWN(0xC7) 000023a2: UNKNOWN(0xB1) 000023a3: SHL 000023a4: DUP9 000023a5: CALLDATACOPY 000023a6: UNKNOWN(0xEF) 000023a7: UNKNOWN(0x4D) 000023a8: DUP14 000023a9: UNKNOWN(0xAB) 000023aa: UNKNOWN(0xD7) 000023ab: UNKNOWN(0xCD) 000023ac: UNKNOWN(0x22) 000023ad: UNKNOWN(0x2A) 000023ae: CALLCODE 000023af: UNKNOWN(0x26) 000023b0: SLT 000023b1: LOG2 000023b2: PUSH12
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb5ab5f841f14cac18a6f19fc2fd05608e5808825bde14d517832992e2f9c7208
call_targets:
0x05215fce25902366480696f38c3093e31dbce69a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb5ab5f841f14cac18a6f19fc2fd05608e5808825bde14d517832992e2f9c7208",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x05215fce25902366480696f38c3093e31dbce69a"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3623,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9134,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb5ab5f841f14cac18a6f19fc2fd05608e5808825bde14d517832992e2f9c7208
call_targets:
0x05215fce25902366480696f38c3093e31dbce69a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb5ab5f841f14cac18a6f19fc2fd05608e5808825bde14d517832992e2f9c7208",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x05215fce25902366480696f38c3093e31dbce69a"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3623,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9134,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|