019b477e-b0b7-73d5-a8dc-d770e514cd45
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 |
|---|---|---|---|---|
| 22025 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22026 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89089 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89090 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89091 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89092 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01b6 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x01bb 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x0245 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x027d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x1d979a97 0000005c: EQ 0000005d: PUSH2 0x02a4 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x20b44644 00000067: EQ 00000068: PUSH2 0x02c8 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x23b872dd 00000072: EQ 00000073: PUSH2 0x02ef 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x26767f90 0000007d: EQ 0000007e: PUSH2 0x0319 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x2bb7fc6c 00000088: EQ 00000089: PUSH2 0x0341 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x2d86380a 00000093: EQ 00000094: PUSH2 0x0359 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x313ce567 0000009e: EQ 0000009f: PUSH2 0x037a 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x3a04c9fb 000000a9: EQ 000000aa: PUSH2 0x03a5 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x42966c68 000000b4: EQ 000000b5: PUSH2 0x03c9 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x49407a44 000000bf: EQ 000000c0: PUSH2 0x03e1 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x5312ea8e 000000ca: EQ 000000cb: PUSH2 0x03f9 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x56fa6a61 000000d5: EQ 000000d6: PUSH2 0x0411 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x66188463 000000e0: EQ 000000e1: PUSH2 0x0429 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x70a08231 000000eb: EQ 000000ec: PUSH2 0x044d 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x719c1dc4 000000f6: EQ 000000f7: PUSH2 0x046e 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x7adbf973 00000101: EQ 00000102: PUSH2 0x048f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x8894dd2b 0000010c: EQ 0000010d: PUSH2 0x04b0 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x8a19c8bc 00000117: EQ 00000118: PUSH2 0x04b8 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x8f76a1f7 00000122: EQ 00000123: PUSH2 0x04cd 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x95d89b41 0000012d: EQ 0000012e: PUSH2 0x04ee 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xa80b92e9 00000138: EQ 00000139: PUSH2 0x0503 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xa9059cbb 00000143: EQ 00000144: PUSH2 0x0527 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xad30fdde 0000014e: EQ 0000014f: PUSH2 0x054b 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xc16601d8 00000159: EQ 0000015a: PUSH2 0x0560 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xc5b1d9aa 00000164: EQ 00000165: PUSH2 0x0584 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xc79ca61b 0000016f: EQ 00000170: PUSH2 0x0599 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xd73dd623 0000017a: EQ 0000017b: PUSH2 0x05ba 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xdd62ed3e 00000185: EQ 00000186: PUSH2 0x05de 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0xe5af2c10 00000190: EQ 00000191: PUSH2 0x0605 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0xeafe8caf 0000019b: EQ 0000019c: PUSH2 0x061d 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0xf3ae2415 000001a6: EQ 000001a7: PUSH2 0x0625 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0xf3b2cfa6 000001b1: EQ 000001b2: PUSH2 0x0646 000001b5: JUMPI 000001b6: JUMPDEST 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: CALLVALUE 000001bd: DUP1 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: POP 000001c9: PUSH2 0x01d0 000001cc: PUSH2 0x065e 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH1 0x40 000001d3: DUP1 000001d4: MLOAD 000001d5: PUSH1 0x20 000001d7: DUP1 000001d8: DUP3 000001d9: MSTORE 000001da: DUP4 000001db: MLOAD 000001dc: DUP2 000001dd: DUP4 000001de: ADD 000001df: MSTORE 000001e0: DUP4 000001e1: MLOAD 000001e2: SWAP2 000001e3: SWAP3 000001e4: DUP4 000001e5: SWAP3 000001e6: SWAP1 000001e7: DUP4 000001e8: ADD 000001e9: SWAP2 000001ea: DUP6 000001eb: ADD 000001ec: SWAP1 000001ed: DUP1 000001ee: DUP4 000001ef: DUP4 000001f0: PUSH1 0x00 000001f2: JUMPDEST 000001f3: DUP4 000001f4: DUP2 000001f5: LT 000001f6: ISZERO 000001f7: PUSH2 0x020a 000001fa: JUMPI 000001fb: DUP2 000001fc: DUP2 000001fd: ADD 000001fe: MLOAD 000001ff: DUP4 00000200: DUP3 00000201: ADD 00000202: MSTORE 00000203: PUSH1 0x20 00000205: ADD 00000206: PUSH2 0x01f2 00000209: JUMP 0000020a: JUMPDEST 0000020b: POP 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: SWAP1 00000210: POP 00000211: SWAP1 00000212: DUP2 00000213: ADD 00000214: SWAP1 00000215: PUSH1 0x1f 00000217: AND 00000218: DUP1 00000219: ISZERO 0000021a: PUSH2 0x0237 0000021d: JUMPI 0000021e: DUP1 0000021f: DUP3 00000220: SUB 00000221: DUP1 00000222: MLOAD 00000223: PUSH1 0x01 00000225: DUP4 00000226: PUSH1 0x20 00000228: SUB 00000229: PUSH2 0x0100 0000022c: EXP 0000022d: SUB 0000022e: NOT 0000022f: AND 00000230: DUP2 00000231: MSTORE 00000232: PUSH1 0x20 00000234: ADD 00000235: SWAP2 00000236: POP 00000237: JUMPDEST 00000238: POP 00000239: SWAP3 0000023a: POP 0000023b: POP 0000023c: POP 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: SWAP2 00000242: SUB 00000243: SWAP1 00000244: RETURN 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x0269 00000256: PUSH1 0x01 00000258: PUSH1 0xa0 0000025a: PUSH1 0x02 0000025c: EXP 0000025d: SUB 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: AND 00000262: PUSH1 0x24 00000264: CALLDATALOAD 00000265: PUSH2 0x06ec 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH1 0x40 0000026c: DUP1 0000026d: MLOAD 0000026e: SWAP2 0000026f: ISZERO 00000270: ISZERO 00000271: DUP3 00000272: MSTORE 00000273: MLOAD 00000274: SWAP1 00000275: DUP2 00000276: SWAP1 00000277: SUB 00000278: PUSH1 0x20 0000027a: ADD 0000027b: SWAP1 0000027c: RETURN 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x0292 0000028e: PUSH2 0x0752 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x40 00000295: DUP1 00000296: MLOAD 00000297: SWAP2 00000298: DUP3 00000299: MSTORE 0000029a: MLOAD 0000029b: SWAP1 0000029c: DUP2 0000029d: SWAP1 0000029e: SUB 0000029f: PUSH1 0x20 000002a1: ADD 000002a2: SWAP1 000002a3: RETURN 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x0292 000002b5: PUSH1 0x04 000002b7: CALLDATALOAD 000002b8: PUSH1 0x01 000002ba: PUSH1 0xa0 000002bc: PUSH1 0x02 000002be: EXP 000002bf: SUB 000002c0: PUSH1 0x24 000002c2: CALLDATALOAD 000002c3: AND 000002c4: PUSH2 0x0758 000002c7: JUMP 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: PUSH2 0x0292 000002d9: PUSH1 0x01 000002db: PUSH1 0xa0 000002dd: PUSH1 0x02 000002df: EXP 000002e0: SUB 000002e1: PUSH1 0x04 000002e3: CALLDATALOAD 000002e4: AND 000002e5: PUSH1 0x24 000002e7: CALLDATALOAD 000002e8: PUSH1 0x44 000002ea: CALLDATALOAD 000002eb: PUSH2 0x0775 000002ee: JUMP 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x0269 00000300: PUSH1 0x01 00000302: PUSH1 0xa0 00000304: PUSH1 0x02 00000306: EXP 00000307: SUB 00000308: PUSH1 0x04 0000030a: CALLDATALOAD 0000030b: DUP2 0000030c: AND 0000030d: SWAP1 0000030e: PUSH1 0x24 00000310: CALLDATALOAD 00000311: AND 00000312: PUSH1 0x44 00000314: CALLDATALOAD 00000315: PUSH2 0x07ae 00000318: JUMP 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x033f 0000032a: PUSH1 0x01 0000032c: PUSH1 0xa0 0000032e: PUSH1 0x02 00000330: EXP 00000331: SUB 00000332: PUSH1 0x04 00000334: CALLDATALOAD 00000335: AND 00000336: PUSH1 0x24 00000338: CALLDATALOAD 00000339: ISZERO 0000033a: ISZERO 0000033b: PUSH2 0x0920 0000033e: JUMP 0000033f: JUMPDEST 00000340: STOP 00000341: JUMPDEST 00000342: CALLVALUE 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x034d 00000348: JUMPI 00000349: PUSH1 0x00 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x033f 00000352: PUSH1 0x04 00000354: CALLDATALOAD 00000355: PUSH2 0x0962 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x0292 0000036a: PUSH1 0x01 0000036c: PUSH1 0xa0 0000036e: PUSH1 0x02 00000370: EXP 00000371: SUB 00000372: PUSH1 0x04 00000374: CALLDATALOAD 00000375: AND 00000376: PUSH2 0x0979 00000379: JUMP 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 0x09b7 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH1 0x40 00000392: DUP1 00000393: MLOAD 00000394: PUSH1 0xff 00000396: SWAP1 00000397: SWAP3 00000398: AND 00000399: DUP3 0000039a: MSTORE 0000039b: MLOAD 0000039c: SWAP1 0000039d: DUP2 0000039e: SWAP1 0000039f: SUB 000003a0: PUSH1 0x20 000003a2: ADD 000003a3: SWAP1 000003a4: RETURN 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x033f 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: PUSH1 0x02 000003bc: EXP 000003bd: SUB 000003be: PUSH1 0x04 000003c0: CALLDATALOAD 000003c1: AND 000003c2: PUSH1 0x24 000003c4: CALLDATALOAD 000003c5: PUSH2 0x09c0 000003c8: JUMP 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH2 0x033f 000003da: PUSH1 0x04 000003dc: CALLDATALOAD 000003dd: PUSH2 0x0a16 000003e0: JUMP 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: DUP1 000003e4: ISZERO 000003e5: PUSH2 0x03ed 000003e8: JUMPI 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: REVERT 000003ed: JUMPDEST 000003ee: POP 000003ef: PUSH2 0x033f 000003f2: PUSH1 0x04 000003f4: CALLDATALOAD 000003f5: PUSH2 0x0a20 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x033f 0000040a: PUSH1 0x04 0000040c: CALLDATALOAD 0000040d: PUSH2 0x0acc 00000410: JUMP 00000411: JUMPDEST 00000412: CALLVALUE 00000413: DUP1 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: PUSH2 0x0292 00000422: PUSH1 0x04 00000424: CALLDATALOAD 00000425: PUSH2 0x0b1c 00000428: JUMP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: POP 00000437: PUSH2 0x0269 0000043a: PUSH1 0x01 0000043c: PUSH1 0xa0 0000043e: PUSH1 0x02 00000440: EXP 00000441: SUB 00000442: PUSH1 0x04 00000444: CALLDATALOAD 00000445: AND 00000446: PUSH1 0x24 00000448: CALLDATALOAD 00000449: PUSH2 0x0b2e 0000044c: JUMP 0000044d: JUMPDEST 0000044e: CALLVALUE 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x0459 00000454: JUMPI 00000455: PUSH1 0x00 00000457: DUP1 00000458: REVERT 00000459: JUMPDEST 0000045a: POP 0000045b: PUSH2 0x0292 0000045e: PUSH1 0x01 00000460: PUSH1 0xa0 00000462: PUSH1 0x02 00000464: EXP 00000465: SUB 00000466: PUSH1 0x04 00000468: CALLDATALOAD 00000469: AND 0000046a: PUSH2 0x0c1e 0000046d: JUMP 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x0292 0000047f: PUSH1 0x01 00000481: PUSH1 0xa0 00000483: PUSH1 0x02 00000485: EXP 00000486: SUB 00000487: PUSH1 0x04 00000489: CALLDATALOAD 0000048a: AND 0000048b: PUSH2 0x0c39 0000048e: JUMP 0000048f: JUMPDEST 00000490: CALLVALUE 00000491: DUP1 00000492: ISZERO 00000493: PUSH2 0x049b 00000496: JUMPI 00000497: PUSH1 0x00 00000499: DUP1 0000049a: REVERT 0000049b: JUMPDEST 0000049c: POP 0000049d: PUSH2 0x033f 000004a0: PUSH1 0x01 000004a2: PUSH1 0xa0 000004a4: PUSH1 0x02 000004a6: EXP 000004a7: SUB 000004a8: PUSH1 0x04 000004aa: CALLDATALOAD 000004ab: AND 000004ac: PUSH2 0x0c4b 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH2 0x033f 000004b4: PUSH2 0x0c91 000004b7: JUMP 000004b8: JUMPDEST 000004b9: CALLVALUE 000004ba: DUP1 000004bb: ISZERO 000004bc: PUSH2 0x04c4 000004bf: JUMPI 000004c0: PUSH1 0x00 000004c2: DUP1 000004c3: REVERT 000004c4: JUMPDEST 000004c5: POP 000004c6: PUSH2 0x0292 000004c9: PUSH2 0x0cf1 000004cc: JUMP 000004cd: JUMPDEST 000004ce: CALLVALUE 000004cf: DUP1 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: POP 000004db: PUSH2 0x0292 000004de: PUSH1 0x01 000004e0: PUSH1 0xa0 000004e2: PUSH1 0x02 000004e4: EXP 000004e5: SUB 000004e6: PUSH1 0x04 000004e8: CALLDATALOAD 000004e9: AND 000004ea: PUSH2 0x0cf7 000004ed: JUMP 000004ee: JUMPDEST 000004ef: CALLVALUE 000004f0: DUP1 000004f1: ISZERO 000004f2: PUSH2 0x04fa 000004f5: JUMPI 000004f6: PUSH1 0x00 000004f8: DUP1 000004f9: REVERT 000004fa: JUMPDEST 000004fb: POP 000004fc: PUSH2 0x01d0 000004ff: PUSH2 0x0d09 00000502: JUMP 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 0x033f 00000514: PUSH1 0x01 00000516: PUSH1 0xa0 00000518: PUSH1 0x02 0000051a: EXP 0000051b: SUB 0000051c: PUSH1 0x04 0000051e: CALLDATALOAD 0000051f: AND 00000520: PUSH1 0x24 00000522: CALLDATALOAD 00000523: PUSH2 0x0d64 00000526: JUMP 00000527: JUMPDEST 00000528: CALLVALUE 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0533 0000052e: JUMPI 0000052f: PUSH1 0x00 00000531: DUP1 00000532: REVERT 00000533: JUMPDEST 00000534: POP 00000535: PUSH2 0x0269 00000538: PUSH1 0x01 0000053a: PUSH1 0xa0 0000053c: PUSH1 0x02 0000053e: EXP 0000053f: SUB 00000540: PUSH1 0x04 00000542: CALLDATALOAD 00000543: AND 00000544: PUSH1 0x24 00000546: CALLDATALOAD 00000547: PUSH2 0x0e4c 0000054a: JUMP 0000054b: JUMPDEST 0000054c: CALLVALUE 0000054d: DUP1 0000054e: ISZERO 0000054f: PUSH2 0x0557 00000552: JUMPI 00000553: PUSH1 0x00 00000555: DUP1 00000556: REVERT 00000557: JUMPDEST 00000558: POP 00000559: PUSH2 0x0292 0000055c: PUSH2 0x0f2b 0000055f: JUMP 00000560: JUMPDEST 00000561: CALLVALUE 00000562: DUP1 00000563: ISZERO 00000564: PUSH2 0x056c 00000567: JUMPI 00000568: PUSH1 0x00 0000056a: DUP1 0000056b: REVERT 0000056c: JUMPDEST 0000056d: POP 0000056e: PUSH2 0x0292 00000571: PUSH1 0x01 00000573: PUSH1 0xa0 00000575: PUSH1 0x02 00000577: EXP 00000578: SUB 00000579: PUSH1 0x04 0000057b: CALLDATALOAD 0000057c: AND 0000057d: PUSH1 0x24 0000057f: CALLDATALOAD 00000580: PUSH2 0x0f31 00000583: JUMP 00000584: JUMPDEST 00000585: CALLVALUE 00000586: DUP1 00000587: ISZERO 00000588: PUSH2 0x0590 0000058b: JUMPI 0000058c: PUSH1 0x00 0000058e: DUP1 0000058f: REVERT 00000590: JUMPDEST 00000591: POP 00000592: PUSH2 0x033f 00000595: PUSH2 0x0fca 00000598: JUMP 00000599: JUMPDEST 0000059a: CALLVALUE 0000059b: DUP1 0000059c: ISZERO 0000059d: PUSH2 0x05a5 000005a0: JUMPI 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: REVERT 000005a5: JUMPDEST 000005a6: POP 000005a7: PUSH2 0x0292 000005aa: PUSH1 0x01 000005ac: PUSH1 0xa0 000005ae: PUSH1 0x02 000005b0: EXP 000005b1: SUB 000005b2: PUSH1 0x04 000005b4: CALLDATALOAD 000005b5: AND 000005b6: PUSH2 0x108b 000005b9: JUMP 000005ba: JUMPDEST 000005bb: CALLVALUE 000005bc: DUP1 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: POP 000005c8: PUSH2 0x0269 000005cb: PUSH1 0x01 000005cd: PUSH1 0xa0 000005cf: PUSH1 0x02 000005d1: EXP 000005d2: SUB 000005d3: PUSH1 0x04 000005d5: CALLDATALOAD 000005d6: AND 000005d7: PUSH1 0x24 000005d9: CALLDATALOAD 000005da: PUSH2 0x10cd 000005dd: JUMP 000005de: JUMPDEST 000005df: CALLVALUE 000005e0: DUP1 000005e1: ISZERO 000005e2: PUSH2 0x05ea 000005e5: JUMPI 000005e6: PUSH1 0x00 000005e8: DUP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: POP 000005ec: PUSH2 0x0292 000005ef: PUSH1 0x01 000005f1: PUSH1 0xa0 000005f3: PUSH1 0x02 000005f5: EXP 000005f6: SUB 000005f7: PUSH1 0x04 000005f9: CALLDATALOAD 000005fa: DUP2 000005fb: AND 000005fc: SWAP1 000005fd: PUSH1 0x24 000005ff: CALLDATALOAD 00000600: AND 00000601: PUSH2 0x1166 00000604: JUMP 00000605: JUMPDEST 00000606: CALLVALUE 00000607: DUP1 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: POP 00000613: PUSH2 0x0292 00000616: PUSH1 0x04 00000618: CALLDATALOAD 00000619: PUSH2 0x1191 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH2 0x033f 00000621: PUSH2 0x11a3 00000624: JUMP 00000625: JUMPDEST 00000626: CALLVALUE 00000627: DUP1 00000628: ISZERO 00000629: PUSH2 0x0631 0000062c: JUMPI 0000062d: PUSH1 0x00 0000062f: DUP1 00000630: REVERT 00000631: JUMPDEST 00000632: POP 00000633: PUSH2 0x0269 00000636: PUSH1 0x01 00000638: PUSH1 0xa0 0000063a: PUSH1 0x02 0000063c: EXP 0000063d: SUB 0000063e: PUSH1 0x04 00000640: CALLDATALOAD 00000641: AND 00000642: PUSH2 0x11bc 00000645: JUMP 00000646: JUMPDEST 00000647: CALLVALUE 00000648: DUP1 00000649: ISZERO 0000064a: PUSH2 0x0652 0000064d: JUMPI 0000064e: PUSH1 0x00 00000650: DUP1 00000651: REVERT 00000652: JUMPDEST 00000653: POP 00000654: PUSH2 0x0292 00000657: PUSH1 0x04 00000659: CALLDATALOAD 0000065a: PUSH2 0x11d1 0000065d: JUMP 0000065e: JUMPDEST 0000065f: PUSH1 0x06 00000661: DUP1 00000662: SLOAD 00000663: PUSH1 0x40 00000665: DUP1 00000666: MLOAD 00000667: PUSH1 0x20 00000669: PUSH1 0x02 0000066b: PUSH1 0x01 0000066d: DUP6 0000066e: AND 0000066f: ISZERO 00000670: PUSH2 0x0100 00000673: MUL 00000674: PUSH1 0x00 00000676: NOT 00000677: ADD 00000678: SWAP1 00000679: SWAP5 0000067a: AND 0000067b: SWAP4 0000067c: SWAP1 0000067d: SWAP4 0000067e: DIV 0000067f: PUSH1 0x1f 00000681: DUP2 00000682: ADD 00000683: DUP5 00000684: SWAP1 00000685: DIV 00000686: DUP5 00000687: MUL 00000688: DUP3 00000689: ADD 0000068a: DUP5 0000068b: ADD 0000068c: SWAP1 0000068d: SWAP3 0000068e: MSTORE 0000068f: DUP2 00000690: DUP2 00000691: MSTORE 00000692: SWAP3 00000693: SWAP2 00000694: DUP4 00000695: ADD 00000696: DUP3 00000697: DUP3 00000698: DUP1 00000699: ISZERO 0000069a: PUSH2 0x06e4 0000069d: JUMPI 0000069e: DUP1 0000069f: PUSH1 0x1f 000006a1: LT 000006a2: PUSH2 0x06b9 000006a5: JUMPI 000006a6: PUSH2 0x0100 000006a9: DUP1 000006aa: DUP4 000006ab: SLOAD 000006ac: DIV 000006ad: MUL 000006ae: DUP4 000006af: MSTORE 000006b0: SWAP2 000006b1: PUSH1 0x20 000006b3: ADD 000006b4: SWAP2 000006b5: PUSH2 0x06e4 000006b8: JUMP 000006b9: JUMPDEST 000006ba: DUP3 000006bb: ADD 000006bc: SWAP2 000006bd: SWAP1 000006be: PUSH1 0x00 000006c0: MSTORE 000006c1: PUSH1 0x20 000006c3: PUSH1 0x00 000006c5: KECCAK256 000006c6: SWAP1 000006c7: JUMPDEST 000006c8: DUP2 000006c9: SLOAD 000006ca: DUP2 000006cb: MSTORE 000006cc: SWAP1 000006cd: PUSH1 0x01 000006cf: ADD 000006d0: SWAP1 000006d1: PUSH1 0x20 000006d3: ADD 000006d4: DUP1 000006d5: DUP4 000006d6: GT 000006d7: PUSH2 0x06c7 000006da: JUMPI 000006db: DUP3 000006dc: SWAP1 000006dd: SUB 000006de: PUSH1 0x1f 000006e0: AND 000006e1: DUP3 000006e2: ADD 000006e3: SWAP2 000006e4: JUMPDEST 000006e5: POP 000006e6: POP 000006e7: POP 000006e8: POP 000006e9: POP 000006ea: DUP2 000006eb: JUMP 000006ec: JUMPDEST 000006ed: CALLER 000006ee: PUSH1 0x00 000006f0: DUP2 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x05 000006f5: PUSH1 0x20 000006f7: SWAP1 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x40 000006fc: DUP1 000006fd: DUP4 000006fe: KECCAK256 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: PUSH1 0x02 00000705: EXP 00000706: SUB 00000707: DUP8 00000708: AND 00000709: DUP1 0000070a: DUP6 0000070b: MSTORE 0000070c: SWAP1 0000070d: DUP4 0000070e: MSTORE 0000070f: DUP2 00000710: DUP5 00000711: KECCAK256 00000712: DUP7 00000713: SWAP1 00000714: SSTORE 00000715: DUP2 00000716: MLOAD 00000717: DUP7 00000718: DUP2 00000719: MSTORE 0000071a: SWAP2 0000071b: MLOAD 0000071c: SWAP4 0000071d: SWAP5 0000071e: SWAP1 0000071f: SWAP4 00000720: SWAP1 00000721: SWAP3 00000722: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000743: SWAP3 00000744: DUP3 00000745: SWAP1 00000746: SUB 00000747: ADD 00000748: SWAP1 00000749: LOG3 0000074a: POP 0000074b: PUSH1 0x01 0000074d: SWAP3 0000074e: SWAP2 0000074f: POP 00000750: POP 00000751: JUMP 00000752: JUMPDEST 00000753: PUSH1 0x04 00000755: SLOAD 00000756: SWAP1 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x0c 0000075b: PUSH1 0x20 0000075d: SWAP1 0000075e: DUP2 0000075f: MSTORE 00000760: PUSH1 0x00 00000762: SWAP3 00000763: DUP4 00000764: MSTORE 00000765: PUSH1 0x40 00000767: DUP1 00000768: DUP5 00000769: KECCAK256 0000076a: SWAP1 0000076b: SWAP2 0000076c: MSTORE 0000076d: SWAP1 0000076e: DUP3 0000076f: MSTORE 00000770: SWAP1 00000771: KECCAK256 00000772: SLOAD 00000773: DUP2 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x00 00000778: DUP1 00000779: DUP4 0000077a: JUMPDEST 0000077b: DUP4 0000077c: DUP2 0000077d: GT 0000077e: PUSH2 0x07a5 00000781: JUMPI 00000782: PUSH2 0x079b 00000785: PUSH2 0x078e 00000788: DUP8 00000789: DUP4 0000078a: PUSH2 0x0f31 0000078d: JUMP 0000078e: JUMPDEST 0000078f: DUP4 00000790: SWAP1 00000791: PUSH4 0xffffffff 00000796: PUSH2 0x11e3 00000799: AND 0000079a: JUMP 0000079b: JUMPDEST 0000079c: SWAP2 0000079d: POP 0000079e: PUSH1 0x01 000007a0: ADD 000007a1: PUSH2 0x077a 000007a4: JUMP 000007a5: JUMPDEST 000007a6: POP 000007a7: SWAP5 000007a8: SWAP4 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: POP 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH1 0x00 000007b1: PUSH1 0x01 000007b3: PUSH1 0xa0 000007b5: PUSH1 0x02 000007b7: EXP 000007b8: SUB 000007b9: DUP4 000007ba: AND 000007bb: ISZERO 000007bc: ISZERO 000007bd: PUSH2 0x07c5 000007c0: JUMPI 000007c1: PUSH1 0x00 000007c3: DUP1 000007c4: REVERT 000007c5: JUMPDEST 000007c6: PUSH1 0x01 000007c8: PUSH1 0xa0 000007ca: PUSH1 0x02 000007cc: EXP 000007cd: SUB 000007ce: DUP5 000007cf: AND 000007d0: PUSH1 0x00 000007d2: SWAP1 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x03 000007d7: PUSH1 0x20 000007d9: MSTORE 000007da: PUSH1 0x40 000007dc: SWAP1 000007dd: KECCAK256 000007de: SLOAD 000007df: DUP3 000007e0: GT 000007e1: ISZERO 000007e2: PUSH2 0x07ea 000007e5: JUMPI 000007e6: PUSH1 0x00 000007e8: DUP1 000007e9: REVERT 000007ea: JUMPDEST 000007eb: PUSH1 0x01 000007ed: PUSH1 0xa0 000007ef: PUSH1 0x02 000007f1: EXP 000007f2: SUB 000007f3: DUP5 000007f4: AND 000007f5: PUSH1 0x00 000007f7: SWAP1 000007f8: DUP2 000007f9: MSTORE 000007fa: PUSH1 0x05 000007fc: PUSH1 0x20 000007fe: SWAP1 000007ff: DUP2 00000800: MSTORE 00000801: PUSH1 0x40 00000803: DUP1 00000804: DUP4 00000805: KECCAK256 00000806: CALLER 00000807: DUP5 00000808: MSTORE 00000809: SWAP1 0000080a: SWAP2 0000080b: MSTORE 0000080c: SWAP1 0000080d: KECCAK256 0000080e: SLOAD 0000080f: DUP3 00000810: GT 00000811: ISZERO 00000812: PUSH2 0x081a 00000815: JUMPI 00000816: PUSH1 0x00 00000818: DUP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: PUSH1 0x01 0000081d: PUSH1 0xa0 0000081f: PUSH1 0x02 00000821: EXP 00000822: SUB 00000823: DUP5 00000824: AND 00000825: PUSH1 0x00 00000827: SWAP1 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x03 0000082c: PUSH1 0x20 0000082e: MSTORE 0000082f: PUSH1 0x40 00000831: SWAP1 00000832: KECCAK256 00000833: SLOAD 00000834: PUSH2 0x0843 00000837: SWAP1 00000838: DUP4 00000839: PUSH4 0xffffffff 0000083e: PUSH2 0x11f9 00000841: AND 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x01 00000846: PUSH1 0xa0 00000848: PUSH1 0x02 0000084a: EXP 0000084b: SUB 0000084c: DUP1 0000084d: DUP7 0000084e: AND 0000084f: PUSH1 0x00 00000851: SWAP1 00000852: DUP2 00000853: MSTORE 00000854: PUSH1 0x03 00000856: PUSH1 0x20 00000858: MSTORE 00000859: PUSH1 0x40 0000085b: DUP1 0000085c: DUP3 0000085d: KECCAK256 0000085e: SWAP4 0000085f: SWAP1 00000860: SWAP4 00000861: SSTORE 00000862: SWAP1 00000863: DUP6 00000864: AND 00000865: DUP2 00000866: MSTORE 00000867: KECCAK256 00000868: SLOAD 00000869: PUSH2 0x0878 0000086c: SWAP1 0000086d: DUP4 0000086e: PUSH4 0xffffffff 00000873: PUSH2 0x11e3 00000876: AND 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x01 0000087b: PUSH1 0xa0 0000087d: PUSH1 0x02 0000087f: EXP 00000880: SUB 00000881: DUP1 00000882: DUP6 00000883: AND 00000884: PUSH1 0x00 00000886: SWAP1 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x03 0000088b: PUSH1 0x20 0000088d: SWAP1 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x40 00000892: DUP1 00000893: DUP4 00000894: KECCAK256 00000895: SWAP5 00000896: SWAP1 00000897: SWAP5 00000898: SSTORE 00000899: SWAP2 0000089a: DUP8 0000089b: AND 0000089c: DUP2 0000089d: MSTORE 0000089e: PUSH1 0x05 000008a0: DUP3 000008a1: MSTORE 000008a2: DUP3 000008a3: DUP2 000008a4: KECCAK256 000008a5: CALLER 000008a6: DUP3 000008a7: MSTORE 000008a8: SWAP1 000008a9: SWAP2 000008aa: MSTORE 000008ab: KECCAK256 000008ac: SLOAD 000008ad: PUSH2 0x08bc 000008b0: SWAP1 000008b1: DUP4 000008b2: PUSH4 0xffffffff 000008b7: PUSH2 0x11f9 000008ba: AND 000008bb: JUMP 000008bc: JUMPDEST 000008bd: PUSH1 0x01 000008bf: PUSH1 0xa0 000008c1: PUSH1 0x02 000008c3: EXP 000008c4: SUB 000008c5: DUP1 000008c6: DUP7 000008c7: AND 000008c8: PUSH1 0x00 000008ca: DUP2 000008cb: DUP2 000008cc: MSTORE 000008cd: PUSH1 0x05 000008cf: PUSH1 0x20 000008d1: SWAP1 000008d2: DUP2 000008d3: MSTORE 000008d4: PUSH1 0x40 000008d6: DUP1 000008d7: DUP4 000008d8: KECCAK256 000008d9: CALLER 000008da: DUP5 000008db: MSTORE 000008dc: DUP3 000008dd: MSTORE 000008de: SWAP2 000008df: DUP3 000008e0: SWAP1 000008e1: KECCAK256 000008e2: SWAP5 000008e3: SWAP1 000008e4: SWAP5 000008e5: SSTORE 000008e6: DUP1 000008e7: MLOAD 000008e8: DUP7 000008e9: DUP2 000008ea: MSTORE 000008eb: SWAP1 000008ec: MLOAD 000008ed: SWAP3 000008ee: DUP8 000008ef: AND 000008f0: SWAP4 000008f1: SWAP2 000008f2: SWAP3 000008f3: PUSH1 0x00 000008f5: DUP1 000008f6: MLOAD 000008f7: PUSH1 0x20 000008f9: PUSH2 0x13a2 000008fc: DUP4 000008fd: CODECOPY 000008fe: DUP2 000008ff: MLOAD 00000900: SWAP2 00000901: MSTORE 00000902: SWAP3 00000903: SWAP2 00000904: DUP2 00000905: SWAP1 00000906: SUB 00000907: SWAP1 00000908: SWAP2 00000909: ADD 0000090a: SWAP1 0000090b: LOG3 0000090c: PUSH2 0x0916 0000090f: DUP5 00000910: DUP5 00000911: DUP5 00000912: PUSH2 0x120b 00000915: JUMP 00000916: JUMPDEST 00000917: POP 00000918: PUSH1 0x01 0000091a: SWAP4 0000091b: SWAP3 0000091c: POP 0000091d: POP 0000091e: POP 0000091f: JUMP 00000920: JUMPDEST 00000921: PUSH1 0x00 00000923: SLOAD 00000924: PUSH1 0x01 00000926: PUSH1 0xa0 00000928: PUSH1 0x02 0000092a: EXP 0000092b: SUB 0000092c: AND 0000092d: CALLER 0000092e: EQ 0000092f: PUSH2 0x0937 00000932: JUMPI 00000933: PUSH1 0x00 00000935: DUP1 00000936: REVERT 00000937: JUMPDEST 00000938: PUSH1 0x01 0000093a: PUSH1 0xa0 0000093c: PUSH1 0x02 0000093e: EXP 0000093f: SUB 00000940: SWAP2 00000941: SWAP1 00000942: SWAP2 00000943: AND 00000944: PUSH1 0x00 00000946: SWAP1 00000947: DUP2 00000948: MSTORE 00000949: PUSH1 0x01 0000094b: PUSH1 0x20 0000094d: MSTORE 0000094e: PUSH1 0x40 00000950: SWAP1 00000951: KECCAK256 00000952: DUP1 00000953: SLOAD 00000954: PUSH1 0xff 00000956: NOT 00000957: AND 00000958: SWAP2 00000959: ISZERO 0000095a: ISZERO 0000095b: SWAP2 0000095c: SWAP1 0000095d: SWAP2 0000095e: OR 0000095f: SWAP1 00000960: SSTORE 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH2 0x096c 00000966: CALLER 00000967: DUP3 00000968: PUSH2 0x1235 0000096b: JUMP 0000096c: JUMPDEST 0000096d: PUSH2 0x0976 00000970: CALLER 00000971: DUP3 00000972: PUSH2 0x12e5 00000975: JUMP 00000976: JUMPDEST 00000977: POP 00000978: JUMP 00000979: JUMPDEST 0000097a: PUSH1 0x00 0000097c: DUP1 0000097d: PUSH1 0x00 0000097f: PUSH2 0x0987 00000982: DUP5 00000983: PUSH2 0x108b 00000986: JUMP 00000987: JUMPDEST 00000988: SWAP2 00000989: POP 0000098a: PUSH1 0x01 0000098c: PUSH1 0x10 0000098e: SLOAD 0000098f: SUB 00000990: SWAP1 00000991: POP 00000992: DUP1 00000993: DUP3 00000994: GT 00000995: ISZERO 00000996: PUSH2 0x09a2 00000999: JUMPI 0000099a: PUSH1 0x00 0000099c: SWAP3 0000099d: POP 0000099e: PUSH2 0x09b0 000009a1: JUMP 000009a2: JUMPDEST 000009a3: PUSH2 0x09ad 000009a6: DUP5 000009a7: DUP4 000009a8: DUP4 000009a9: PUSH2 0x0775 000009ac: JUMP 000009ad: JUMPDEST 000009ae: SWAP3 000009af: POP 000009b0: JUMPDEST 000009b1: POP 000009b2: POP 000009b3: SWAP2 000009b4: SWAP1 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x08 000009ba: SLOAD 000009bb: PUSH1 0xff 000009bd: AND 000009be: DUP2 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x02 000009c3: SLOAD 000009c4: PUSH1 0x01 000009c6: PUSH1 0xa0 000009c8: PUSH1 0x02 000009ca: EXP 000009cb: SUB 000009cc: AND 000009cd: CALLER 000009ce: EQ 000009cf: DUP1 000009d0: PUSH2 0x09e3 000009d3: JUMPI 000009d4: POP 000009d5: PUSH1 0x00 000009d7: SLOAD 000009d8: PUSH1 0x01 000009da: PUSH1 0xa0 000009dc: PUSH1 0x02 000009de: EXP 000009df: SUB 000009e0: AND 000009e1: CALLER 000009e2: EQ 000009e3: JUMPDEST 000009e4: DUP1 000009e5: PUSH2 0x09fd 000009e8: JUMPI 000009e9: POP 000009ea: CALLER 000009eb: PUSH1 0x00 000009ed: SWAP1 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x01 000009f2: PUSH1 0x20 000009f4: MSTORE 000009f5: PUSH1 0x40 000009f7: SWAP1 000009f8: KECCAK256 000009f9: SLOAD 000009fa: PUSH1 0xff 000009fc: AND 000009fd: JUMPDEST 000009fe: ISZERO 000009ff: ISZERO 00000a00: PUSH2 0x0a08 00000a03: JUMPI 00000a04: PUSH1 0x00 00000a06: DUP1 00000a07: REVERT 00000a08: JUMPDEST 00000a09: PUSH2 0x0a12 00000a0c: DUP3 00000a0d: DUP3 00000a0e: PUSH2 0x1235 00000a11: JUMP 00000a12: JUMPDEST 00000a13: POP 00000a14: POP 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH2 0x0976 00000a1a: CALLER 00000a1b: DUP3 00000a1c: PUSH2 0x1235 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: CALLER 00000a22: PUSH1 0x00 00000a24: DUP2 00000a25: DUP2 00000a26: MSTORE 00000a27: PUSH1 0x0e 00000a29: PUSH1 0x20 00000a2b: MSTORE 00000a2c: PUSH1 0x40 00000a2e: DUP2 00000a2f: KECCAK256 00000a30: SLOAD 00000a31: SWAP2 00000a32: DUP2 00000a33: SWAP1 00000a34: DUP2 00000a35: SWAP1 00000a36: PUSH2 0x0a3e 00000a39: SWAP1 00000a3a: PUSH2 0x108b 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: PUSH1 0x10 00000a41: SLOAD 00000a42: SWAP1 00000a43: SWAP4 00000a44: POP 00000a45: DUP6 00000a46: LT 00000a47: PUSH2 0x0a4f 00000a4a: JUMPI 00000a4b: PUSH1 0x00 00000a4d: DUP1 00000a4e: REVERT 00000a4f: JUMPDEST 00000a50: DUP4 00000a51: DUP6 00000a52: GT 00000a53: PUSH2 0x0a5b 00000a56: JUMPI 00000a57: PUSH1 0x00 00000a59: DUP1 00000a5a: REVERT 00000a5b: JUMPDEST 00000a5c: DUP3 00000a5d: DUP6 00000a5e: LT 00000a5f: ISZERO 00000a60: PUSH2 0x0a68 00000a63: JUMPI 00000a64: PUSH1 0x00 00000a66: DUP1 00000a67: REVERT 00000a68: JUMPDEST 00000a69: DUP3 00000a6a: SWAP2 00000a6b: POP 00000a6c: JUMPDEST 00000a6d: DUP5 00000a6e: DUP3 00000a6f: GT 00000a70: PUSH2 0x0a89 00000a73: JUMPI 00000a74: PUSH2 0x0a7d 00000a77: CALLER 00000a78: DUP4 00000a79: PUSH2 0x0f31 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH1 0x01 00000a80: SWAP1 00000a81: SWAP3 00000a82: ADD 00000a83: SWAP2 00000a84: ADD 00000a85: PUSH2 0x0a6c 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: CALLER 00000a8b: PUSH1 0x00 00000a8d: DUP2 00000a8e: DUP2 00000a8f: MSTORE 00000a90: PUSH1 0x0e 00000a92: PUSH1 0x20 00000a94: MSTORE 00000a95: PUSH1 0x40 00000a97: DUP1 00000a98: DUP3 00000a99: KECCAK256 00000a9a: DUP9 00000a9b: SWAP1 00000a9c: SSTORE 00000a9d: MLOAD 00000a9e: DUP4 00000a9f: ISZERO 00000aa0: PUSH2 0x08fc 00000aa3: MUL 00000aa4: SWAP2 00000aa5: DUP5 00000aa6: SWAP2 00000aa7: SWAP1 00000aa8: DUP2 00000aa9: DUP2 00000aaa: DUP2 00000aab: DUP6 00000aac: DUP9 00000aad: DUP9 00000aae: CALL 00000aaf: SWAP4 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: ISZERO 00000ab5: DUP1 00000ab6: ISZERO 00000ab7: PUSH2 0x0ac4 00000aba: JUMPI 00000abb: RETURNDATASIZE 00000abc: PUSH1 0x00 00000abe: DUP1 00000abf: RETURNDATACOPY 00000ac0: RETURNDATASIZE 00000ac1: PUSH1 0x00 00000ac3: REVERT 00000ac4: JUMPDEST 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: JUMP 00000acc: JUMPDEST 00000acd: PUSH1 0x00 00000acf: SLOAD 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0xa0 00000ad4: PUSH1 0x02 00000ad6: EXP 00000ad7: SUB 00000ad8: AND 00000ad9: CALLER 00000ada: EQ 00000adb: PUSH2 0x0ae3 00000ade: JUMPI 00000adf: PUSH1 0x00 00000ae1: DUP1 00000ae2: REVERT 00000ae3: JUMPDEST 00000ae4: PUSH1 0x00 00000ae6: DUP1 00000ae7: SLOAD 00000ae8: PUSH1 0x40 00000aea: MLOAD 00000aeb: PUSH1 0x01 00000aed: PUSH1 0xa0 00000aef: PUSH1 0x02 00000af1: EXP 00000af2: SUB 00000af3: SWAP1 00000af4: SWAP2 00000af5: AND 00000af6: SWAP2 00000af7: DUP4 00000af8: ISZERO 00000af9: PUSH2 0x08fc 00000afc: MUL 00000afd: SWAP2 00000afe: DUP5 00000aff: SWAP2 00000b00: DUP2 00000b01: DUP2 00000b02: DUP2 00000b03: DUP6 00000b04: DUP9 00000b05: DUP9 00000b06: CALL 00000b07: SWAP4 00000b08: POP 00000b09: POP 00000b0a: POP 00000b0b: POP 00000b0c: ISZERO 00000b0d: DUP1 00000b0e: ISZERO 00000b0f: PUSH2 0x0a12 00000b12: JUMPI 00000b13: RETURNDATASIZE 00000b14: PUSH1 0x00 00000b16: DUP1 00000b17: RETURNDATACOPY 00000b18: RETURNDATASIZE 00000b19: PUSH1 0x00 00000b1b: REVERT 00000b1c: JUMPDEST 00000b1d: PUSH1 0x0b 00000b1f: PUSH1 0x20 00000b21: MSTORE 00000b22: PUSH1 0x00 00000b24: SWAP1 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x40 00000b29: SWAP1 00000b2a: KECCAK256 00000b2b: SLOAD 00000b2c: DUP2 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: CALLER 00000b30: PUSH1 0x00 00000b32: SWAP1 00000b33: DUP2 00000b34: MSTORE 00000b35: PUSH1 0x05 00000b37: PUSH1 0x20 00000b39: SWAP1 00000b3a: DUP2 00000b3b: MSTORE 00000b3c: PUSH1 0x40 00000b3e: DUP1 00000b3f: DUP4 00000b40: KECCAK256 00000b41: PUSH1 0x01 00000b43: PUSH1 0xa0 00000b45: PUSH1 0x02 00000b47: EXP 00000b48: SUB 00000b49: DUP7 00000b4a: AND 00000b4b: DUP5 00000b4c: MSTORE 00000b4d: SWAP1 00000b4e: SWAP2 00000b4f: MSTORE 00000b50: DUP2 00000b51: KECCAK256 00000b52: SLOAD 00000b53: DUP1 00000b54: DUP4 00000b55: GT 00000b56: ISZERO 00000b57: PUSH2 0x0b83 00000b5a: JUMPI 00000b5b: CALLER 00000b5c: PUSH1 0x00 00000b5e: SWAP1 00000b5f: DUP2 00000b60: MSTORE 00000b61: PUSH1 0x05 00000b63: PUSH1 0x20 00000b65: SWAP1 00000b66: DUP2 00000b67: MSTORE 00000b68: PUSH1 0x40 00000b6a: DUP1 00000b6b: DUP4 00000b6c: KECCAK256 00000b6d: PUSH1 0x01 00000b6f: PUSH1 0xa0 00000b71: PUSH1 0x02 00000b73: EXP 00000b74: SUB 00000b75: DUP9 00000b76: AND 00000b77: DUP5 00000b78: MSTORE 00000b79: SWAP1 00000b7a: SWAP2 00000b7b: MSTORE 00000b7c: DUP2 00000b7d: KECCAK256 00000b7e: SSTORE 00000b7f: PUSH2 0x0bb8 00000b82: JUMP 00000b83: JUMPDEST 00000b84: PUSH2 0x0b93 00000b87: DUP2 00000b88: DUP5 00000b89: PUSH4 0xffffffff 00000b8e: PUSH2 0x11f9 00000b91: AND 00000b92: JUMP 00000b93: JUMPDEST 00000b94: CALLER 00000b95: PUSH1 0x00 00000b97: SWAP1 00000b98: DUP2 00000b99: MSTORE 00000b9a: PUSH1 0x05 00000b9c: PUSH1 0x20 00000b9e: SWAP1 00000b9f: DUP2 00000ba0: MSTORE 00000ba1: PUSH1 0x40 00000ba3: DUP1 00000ba4: DUP4 00000ba5: KECCAK256 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0xa0 00000baa: PUSH1 0x02 00000bac: EXP 00000bad: SUB 00000bae: DUP10 00000baf: AND 00000bb0: DUP5 00000bb1: MSTORE 00000bb2: SWAP1 00000bb3: SWAP2 00000bb4: MSTORE 00000bb5: SWAP1 00000bb6: KECCAK256 00000bb7: SSTORE 00000bb8: JUMPDEST 00000bb9: CALLER 00000bba: PUSH1 0x00 00000bbc: DUP2 00000bbd: DUP2 00000bbe: MSTORE 00000bbf: PUSH1 0x05 00000bc1: PUSH1 0x20 00000bc3: SWAP1 00000bc4: DUP2 00000bc5: MSTORE 00000bc6: PUSH1 0x40 00000bc8: DUP1 00000bc9: DUP4 00000bca: KECCAK256 00000bcb: PUSH1 0x01 00000bcd: PUSH1 0xa0 00000bcf: PUSH1 0x02 00000bd1: EXP 00000bd2: SUB 00000bd3: DUP10 00000bd4: AND 00000bd5: DUP1 00000bd6: DUP6 00000bd7: MSTORE 00000bd8: SWAP1 00000bd9: DUP4 00000bda: MSTORE 00000bdb: SWAP3 00000bdc: DUP2 00000bdd: SWAP1 00000bde: KECCAK256 00000bdf: SLOAD 00000be0: DUP2 00000be1: MLOAD 00000be2: SWAP1 00000be3: DUP2 00000be4: MSTORE 00000be5: SWAP1 00000be6: MLOAD 00000be7: SWAP3 00000be8: SWAP4 00000be9: SWAP3 00000bea: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c0b: SWAP3 00000c0c: SWAP2 00000c0d: DUP2 00000c0e: SWAP1 00000c0f: SUB 00000c10: SWAP1 00000c11: SWAP2 00000c12: ADD 00000c13: SWAP1 00000c14: LOG3 00000c15: POP 00000c16: PUSH1 0x01 00000c18: SWAP4 00000c19: SWAP3 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH1 0x01 00000c21: PUSH1 0xa0 00000c23: PUSH1 0x02 00000c25: EXP 00000c26: SUB 00000c27: AND 00000c28: PUSH1 0x00 00000c2a: SWAP1 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: PUSH1 0x03 00000c2f: PUSH1 0x20 00000c31: MSTORE 00000c32: PUSH1 0x40 00000c34: SWAP1 00000c35: KECCAK256 00000c36: SLOAD 00000c37: SWAP1 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: PUSH1 0x0f 00000c3c: PUSH1 0x20 00000c3e: MSTORE 00000c3f: PUSH1 0x00 00000c41: SWAP1 00000c42: DUP2 00000c43: MSTORE 00000c44: PUSH1 0x40 00000c46: SWAP1 00000c47: KECCAK256 00000c48: SLOAD 00000c49: DUP2 00000c4a: JUMP 00000c4b: JUMPDEST 00000c4c: PUSH1 0x00 00000c4e: SLOAD 00000c4f: PUSH1 0x01 00000c51: PUSH1 0xa0 00000c53: PUSH1 0x02 00000c55: EXP 00000c56: SUB 00000c57: AND 00000c58: CALLER 00000c59: EQ 00000c5a: PUSH2 0x0c62 00000c5d: JUMPI 00000c5e: PUSH1 0x00 00000c60: DUP1 00000c61: REVERT 00000c62: JUMPDEST 00000c63: PUSH1 0x02 00000c65: DUP1 00000c66: SLOAD 00000c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7c: NOT 00000c7d: AND 00000c7e: PUSH1 0x01 00000c80: PUSH1 0xa0 00000c82: PUSH1 0x02 00000c84: EXP 00000c85: SUB 00000c86: SWAP3 00000c87: SWAP1 00000c88: SWAP3 00000c89: AND 00000c8a: SWAP2 00000c8b: SWAP1 00000c8c: SWAP2 00000c8d: OR 00000c8e: SWAP1 00000c8f: SSTORE 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH1 0x02 00000c94: SLOAD 00000c95: PUSH1 0x01 00000c97: PUSH1 0xa0 00000c99: PUSH1 0x02 00000c9b: EXP 00000c9c: SUB 00000c9d: AND 00000c9e: CALLER 00000c9f: EQ 00000ca0: DUP1 00000ca1: PUSH2 0x0cb4 00000ca4: JUMPI 00000ca5: POP 00000ca6: PUSH1 0x00 00000ca8: SLOAD 00000ca9: PUSH1 0x01 00000cab: PUSH1 0xa0 00000cad: PUSH1 0x02 00000caf: EXP 00000cb0: SUB 00000cb1: AND 00000cb2: CALLER 00000cb3: EQ 00000cb4: JUMPDEST 00000cb5: DUP1 00000cb6: PUSH2 0x0cce 00000cb9: JUMPI 00000cba: POP 00000cbb: CALLER 00000cbc: PUSH1 0x00 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0x20 00000cc5: MSTORE 00000cc6: PUSH1 0x40 00000cc8: SWAP1 00000cc9: KECCAK256 00000cca: SLOAD 00000ccb: PUSH1 0xff 00000ccd: AND 00000cce: JUMPDEST 00000ccf: ISZERO 00000cd0: ISZERO 00000cd1: PUSH2 0x0cd9 00000cd4: JUMPI 00000cd5: PUSH1 0x00 00000cd7: DUP1 00000cd8: REVERT 00000cd9: JUMPDEST 00000cda: PUSH1 0x09 00000cdc: SLOAD 00000cdd: PUSH2 0x0cec 00000ce0: SWAP1 00000ce1: CALLVALUE 00000ce2: PUSH4 0xffffffff 00000ce7: PUSH2 0x11e3 00000cea: AND 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: PUSH1 0x09 00000cef: SSTORE 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x10 00000cf4: SLOAD 00000cf5: DUP2 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH1 0x0e 00000cfa: PUSH1 0x20 00000cfc: MSTORE 00000cfd: PUSH1 0x00 00000cff: SWAP1 00000d00: DUP2 00000d01: MSTORE 00000d02: PUSH1 0x40 00000d04: SWAP1 00000d05: KECCAK256 00000d06: SLOAD 00000d07: DUP2 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x07 00000d0c: DUP1 00000d0d: SLOAD 00000d0e: PUSH1 0x40 00000d10: DUP1 00000d11: MLOAD 00000d12: PUSH1 0x20 00000d14: PUSH1 0x02 00000d16: PUSH1 0x01 00000d18: DUP6 00000d19: AND 00000d1a: ISZERO 00000d1b: PUSH2 0x0100 00000d1e: MUL 00000d1f: PUSH1 0x00 00000d21: NOT 00000d22: ADD 00000d23: SWAP1 00000d24: SWAP5 00000d25: AND 00000d26: SWAP4 00000d27: SWAP1 00000d28: SWAP4 00000d29: DIV 00000d2a: PUSH1 0x1f 00000d2c: DUP2 00000d2d: ADD 00000d2e: DUP5 00000d2f: SWAP1 00000d30: DIV 00000d31: DUP5 00000d32: MUL 00000d33: DUP3 00000d34: ADD 00000d35: DUP5 00000d36: ADD 00000d37: SWAP1 00000d38: SWAP3 00000d39: MSTORE 00000d3a: DUP2 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: SWAP3 00000d3e: SWAP2 00000d3f: DUP4 00000d40: ADD 00000d41: DUP3 00000d42: DUP3 00000d43: DUP1 00000d44: ISZERO 00000d45: PUSH2 0x06e4 00000d48: JUMPI 00000d49: DUP1 00000d4a: PUSH1 0x1f 00000d4c: LT 00000d4d: PUSH2 0x06b9 00000d50: JUMPI 00000d51: PUSH2 0x0100 00000d54: DUP1 00000d55: DUP4 00000d56: SLOAD 00000d57: DIV 00000d58: MUL 00000d59: DUP4 00000d5a: MSTORE 00000d5b: SWAP2 00000d5c: PUSH1 0x20 00000d5e: ADD 00000d5f: SWAP2 00000d60: PUSH2 0x06e4 00000d63: JUMP 00000d64: JUMPDEST 00000d65: PUSH1 0x02 00000d67: SLOAD 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: PUSH1 0x02 00000d6e: EXP 00000d6f: SUB 00000d70: AND 00000d71: CALLER 00000d72: EQ 00000d73: DUP1 00000d74: PUSH2 0x0d87 00000d77: JUMPI 00000d78: POP 00000d79: PUSH1 0x00 00000d7b: SLOAD 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0xa0 00000d80: PUSH1 0x02 00000d82: EXP 00000d83: SUB 00000d84: AND 00000d85: CALLER 00000d86: EQ 00000d87: JUMPDEST 00000d88: DUP1 00000d89: PUSH2 0x0da1 00000d8c: JUMPI 00000d8d: POP 00000d8e: CALLER 00000d8f: PUSH1 0x00 00000d91: SWAP1 00000d92: DUP2 00000d93: MSTORE 00000d94: PUSH1 0x01 00000d96: PUSH1 0x20 00000d98: MSTORE 00000d99: PUSH1 0x40 00000d9b: SWAP1 00000d9c: KECCAK256 00000d9d: SLOAD 00000d9e: PUSH1 0xff 00000da0: AND 00000da1: JUMPDEST 00000da2: ISZERO 00000da3: ISZERO 00000da4: PUSH2 0x0dac 00000da7: JUMPI 00000da8: PUSH1 0x00 00000daa: DUP1 00000dab: REVERT 00000dac: JUMPDEST 00000dad: PUSH1 0x01 00000daf: PUSH1 0xa0 00000db1: PUSH1 0x02 00000db3: EXP 00000db4: SUB 00000db5: DUP3 00000db6: AND 00000db7: ISZERO 00000db8: ISZERO 00000db9: PUSH2 0x0dc1 00000dbc: JUMPI 00000dbd: PUSH1 0x00 00000dbf: DUP1 00000dc0: REVERT 00000dc1: JUMPDEST 00000dc2: PUSH1 0x01 00000dc4: PUSH1 0xa0 00000dc6: PUSH1 0x02 00000dc8: EXP 00000dc9: SUB 00000dca: DUP3 00000dcb: AND 00000dcc: PUSH1 0x00 00000dce: SWAP1 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: PUSH1 0x03 00000dd3: PUSH1 0x20 00000dd5: MSTORE 00000dd6: PUSH1 0x40 00000dd8: SWAP1 00000dd9: KECCAK256 00000dda: SLOAD 00000ddb: PUSH2 0x0dea 00000dde: SWAP1 00000ddf: DUP3 00000de0: PUSH4 0xffffffff 00000de5: PUSH2 0x11e3 00000de8: AND 00000de9: JUMP 00000dea: JUMPDEST 00000deb: PUSH1 0x01 00000ded: PUSH1 0xa0 00000def: PUSH1 0x02 00000df1: EXP 00000df2: SUB 00000df3: DUP4 00000df4: AND 00000df5: PUSH1 0x00 00000df7: SWAP1 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x03 00000dfc: PUSH1 0x20 00000dfe: MSTORE 00000dff: PUSH1 0x40 00000e01: SWAP1 00000e02: KECCAK256 00000e03: SSTORE 00000e04: PUSH1 0x04 00000e06: SLOAD 00000e07: PUSH2 0x0e16 00000e0a: SWAP1 00000e0b: DUP3 00000e0c: PUSH4 0xffffffff 00000e11: PUSH2 0x11e3 00000e14: AND 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH1 0x04 00000e19: SSTORE 00000e1a: PUSH1 0x40 00000e1c: DUP1 00000e1d: MLOAD 00000e1e: DUP3 00000e1f: DUP2 00000e20: MSTORE 00000e21: SWAP1 00000e22: MLOAD 00000e23: PUSH1 0x01 00000e25: PUSH1 0xa0 00000e27: PUSH1 0x02 00000e29: EXP 00000e2a: SUB 00000e2b: DUP5 00000e2c: AND 00000e2d: SWAP2 00000e2e: PUSH1 0x00 00000e30: SWAP2 00000e31: PUSH1 0x00 00000e33: DUP1 00000e34: MLOAD 00000e35: PUSH1 0x20 00000e37: PUSH2 0x13a2 00000e3a: DUP4 00000e3b: CODECOPY 00000e3c: DUP2 00000e3d: MLOAD 00000e3e: SWAP2 00000e3f: MSTORE 00000e40: SWAP2 00000e41: DUP2 00000e42: SWAP1 00000e43: SUB 00000e44: PUSH1 0x20 00000e46: ADD 00000e47: SWAP1 00000e48: LOG3 00000e49: POP 00000e4a: POP 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH1 0x00 00000e4f: PUSH1 0x40 00000e51: CALLDATASIZE 00000e52: PUSH1 0x44 00000e54: EQ 00000e55: PUSH2 0x0e5a 00000e58: JUMPI 00000e59: INVALID 00000e5a: JUMPDEST 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0xa0 00000e5f: PUSH1 0x02 00000e61: EXP 00000e62: SUB 00000e63: DUP5 00000e64: AND 00000e65: ISZERO 00000e66: ISZERO 00000e67: PUSH2 0x0e6f 00000e6a: JUMPI 00000e6b: PUSH1 0x00 00000e6d: DUP1 00000e6e: REVERT 00000e6f: JUMPDEST 00000e70: CALLER 00000e71: PUSH1 0x00 00000e73: SWAP1 00000e74: DUP2 00000e75: MSTORE 00000e76: PUSH1 0x03 00000e78: PUSH1 0x20 00000e7a: MSTORE 00000e7b: PUSH1 0x40 00000e7d: SWAP1 00000e7e: KECCAK256 00000e7f: SLOAD 00000e80: DUP4 00000e81: GT 00000e82: ISZERO 00000e83: PUSH2 0x0e8b 00000e86: JUMPI 00000e87: PUSH1 0x00 00000e89: DUP1 00000e8a: REVERT 00000e8b: JUMPDEST 00000e8c: CALLER 00000e8d: PUSH1 0x00 00000e8f: SWAP1 00000e90: DUP2 00000e91: MSTORE 00000e92: PUSH1 0x03 00000e94: PUSH1 0x20 00000e96: MSTORE 00000e97: PUSH1 0x40 00000e99: SWAP1 00000e9a: KECCAK256 00000e9b: SLOAD 00000e9c: PUSH2 0x0eab 00000e9f: SWAP1 00000ea0: DUP5 00000ea1: PUSH4 0xffffffff 00000ea6: PUSH2 0x11f9 00000ea9: AND 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: CALLER 00000ead: PUSH1 0x00 00000eaf: SWAP1 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: PUSH1 0x03 00000eb4: PUSH1 0x20 00000eb6: MSTORE 00000eb7: PUSH1 0x40 00000eb9: DUP1 00000eba: DUP3 00000ebb: KECCAK256 00000ebc: SWAP3 00000ebd: SWAP1 00000ebe: SWAP3 00000ebf: SSTORE 00000ec0: PUSH1 0x01 00000ec2: PUSH1 0xa0 00000ec4: PUSH1 0x02 00000ec6: EXP 00000ec7: SUB 00000ec8: DUP7 00000ec9: AND 00000eca: DUP2 00000ecb: MSTORE 00000ecc: KECCAK256 00000ecd: SLOAD 00000ece: PUSH2 0x0edd 00000ed1: SWAP1 00000ed2: DUP5 00000ed3: PUSH4 0xffffffff 00000ed8: PUSH2 0x11e3 00000edb: AND 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH1 0x01 00000ee0: PUSH1 0xa0 00000ee2: PUSH1 0x02 00000ee4: EXP 00000ee5: SUB 00000ee6: DUP6 00000ee7: AND 00000ee8: PUSH1 0x00 00000eea: DUP2 00000eeb: DUP2 00000eec: MSTORE 00000eed: PUSH1 0x03 00000eef: PUSH1 0x20 00000ef1: SWAP1 00000ef2: DUP2 00000ef3: MSTORE 00000ef4: PUSH1 0x40 00000ef6: SWAP2 00000ef7: DUP3 00000ef8: SWAP1 00000ef9: KECCAK256 00000efa: SWAP4 00000efb: SWAP1 00000efc: SWAP4 00000efd: SSTORE 00000efe: DUP1 00000eff: MLOAD 00000f00: DUP7 00000f01: DUP2 00000f02: MSTORE 00000f03: SWAP1 00000f04: MLOAD 00000f05: SWAP2 00000f06: SWAP3 00000f07: CALLER 00000f08: SWAP3 00000f09: PUSH1 0x00 00000f0b: DUP1 00000f0c: MLOAD 00000f0d: PUSH1 0x20 00000f0f: PUSH2 0x13a2 00000f12: DUP4 00000f13: CODECOPY 00000f14: DUP2 00000f15: MLOAD 00000f16: SWAP2 00000f17: MSTORE 00000f18: SWAP3 00000f19: DUP2 00000f1a: SWAP1 00000f1b: SUB 00000f1c: SWAP1 00000f1d: SWAP2 00000f1e: ADD 00000f1f: SWAP1 00000f20: LOG3 00000f21: PUSH2 0x0916 00000f24: CALLER 00000f25: DUP6 00000f26: DUP6 00000f27: PUSH2 0x120b 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH1 0x09 00000f2e: SLOAD 00000f2f: DUP2 00000f30: JUMP 00000f31: JUMPDEST 00000f32: PUSH1 0x00 00000f34: DUP2 00000f35: DUP2 00000f36: MSTORE 00000f37: PUSH1 0x0c 00000f39: PUSH1 0x20 00000f3b: SWAP1 00000f3c: DUP2 00000f3d: MSTORE 00000f3e: PUSH1 0x40 00000f40: DUP1 00000f41: DUP4 00000f42: KECCAK256 00000f43: PUSH1 0x01 00000f45: PUSH1 0xa0 00000f47: PUSH1 0x02 00000f49: EXP 00000f4a: SUB 00000f4b: DUP7 00000f4c: AND 00000f4d: DUP5 00000f4e: MSTORE 00000f4f: SWAP1 00000f50: SWAP2 00000f51: MSTORE 00000f52: DUP2 00000f53: KECCAK256 00000f54: SLOAD 00000f55: DUP2 00000f56: DUP1 00000f57: DUP3 00000f58: ISZERO 00000f59: ISZERO 00000f5a: PUSH2 0x0f66 00000f5d: JUMPI 00000f5e: PUSH1 0x00 00000f60: SWAP4 00000f61: POP 00000f62: PUSH2 0x0fc1 00000f65: JUMP 00000f66: JUMPDEST 00000f67: PUSH1 0x00 00000f69: DUP6 00000f6a: DUP2 00000f6b: MSTORE 00000f6c: PUSH1 0x0b 00000f6e: PUSH1 0x20 00000f70: MSTORE 00000f71: PUSH1 0x40 00000f73: SWAP1 00000f74: KECCAK256 00000f75: SLOAD 00000f76: PUSH1 0x10 00000f78: SLOAD 00000f79: SWAP1 00000f7a: SWAP3 00000f7b: POP 00000f7c: DUP6 00000f7d: EQ 00000f7e: ISZERO 00000f7f: PUSH2 0x0f8f 00000f82: JUMPI 00000f83: POP 00000f84: PUSH1 0x09 00000f86: SLOAD 00000f87: PUSH1 0x0a 00000f89: SWAP1 00000f8a: DIV 00000f8b: PUSH2 0x0fa0 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: POP 00000f91: PUSH1 0x00 00000f93: DUP5 00000f94: DUP2 00000f95: MSTORE 00000f96: PUSH1 0x0a 00000f98: PUSH1 0x20 00000f9a: MSTORE 00000f9b: PUSH1 0x40 00000f9d: SWAP1 00000f9e: KECCAK256 00000f9f: SLOAD 00000fa0: JUMPDEST 00000fa1: DUP2 00000fa2: ISZERO 00000fa3: ISZERO 00000fa4: PUSH2 0x0fb0 00000fa7: JUMPI 00000fa8: PUSH1 0x00 00000faa: SWAP4 00000fab: POP 00000fac: PUSH2 0x0fc1 00000faf: JUMP 00000fb0: JUMPDEST 00000fb1: DUP2 00000fb2: DUP4 00000fb3: DUP3 00000fb4: MUL 00000fb5: DUP2 00000fb6: ISZERO 00000fb7: ISZERO 00000fb8: PUSH2 0x0fbd 00000fbb: JUMPI 00000fbc: INVALID 00000fbd: JUMPDEST 00000fbe: DIV 00000fbf: SWAP4 00000fc0: POP 00000fc1: JUMPDEST 00000fc2: POP 00000fc3: POP 00000fc4: POP 00000fc5: SWAP3 00000fc6: SWAP2 00000fc7: POP 00000fc8: POP 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: PUSH1 0x02 00000fcd: SLOAD 00000fce: PUSH1 0x00 00000fd0: SWAP1 00000fd1: PUSH1 0x01 00000fd3: PUSH1 0xa0 00000fd5: PUSH1 0x02 00000fd7: EXP 00000fd8: SUB 00000fd9: AND 00000fda: CALLER 00000fdb: EQ 00000fdc: DUP1 00000fdd: PUSH2 0x0ff0 00000fe0: JUMPI 00000fe1: POP 00000fe2: PUSH1 0x00 00000fe4: SLOAD 00000fe5: PUSH1 0x01 00000fe7: PUSH1 0xa0 00000fe9: PUSH1 0x02 00000feb: EXP 00000fec: SUB 00000fed: AND 00000fee: CALLER 00000fef: EQ 00000ff0: JUMPDEST 00000ff1: DUP1 00000ff2: PUSH2 0x100a 00000ff5: JUMPI 00000ff6: POP 00000ff7: CALLER 00000ff8: PUSH1 0x00 00000ffa: SWAP1 00000ffb: DUP2 00000ffc: MSTORE 00000ffd: PUSH1 0x01 00000fff: PUSH1 0x20 00001001: MSTORE 00001002: PUSH1 0x40 00001004: SWAP1 00001005: KECCAK256 00001006: SLOAD 00001007: PUSH1 0xff 00001009: AND 0000100a: JUMPDEST 0000100b: ISZERO 0000100c: ISZERO 0000100d: PUSH2 0x1015 00001010: JUMPI 00001011: PUSH1 0x00 00001013: DUP1 00001014: REVERT 00001015: JUMPDEST 00001016: PUSH1 0x00 00001018: PUSH1 0x09 0000101a: SLOAD 0000101b: GT 0000101c: DUP1 0000101d: ISZERO 0000101e: PUSH2 0x1037 00001021: JUMPI 00001022: POP 00001023: PUSH1 0x10 00001025: SLOAD 00001026: PUSH1 0x00 00001028: SWAP1 00001029: DUP2 0000102a: MSTORE 0000102b: PUSH1 0x0b 0000102d: PUSH1 0x20 0000102f: MSTORE 00001030: PUSH1 0x40 00001032: SWAP1 00001033: KECCAK256 00001034: SLOAD 00001035: ISZERO 00001036: ISZERO 00001037: JUMPDEST 00001038: ISZERO 00001039: PUSH2 0x0976 0000103c: JUMPI 0000103d: POP 0000103e: PUSH1 0x10 00001040: SLOAD 00001041: PUSH1 0x00 00001043: SWAP1 00001044: DUP2 00001045: MSTORE 00001046: PUSH1 0x0d 00001048: PUSH1 0x20 0000104a: MSTORE 0000104b: PUSH1 0x40 0000104d: SWAP1 0000104e: KECCAK256 0000104f: TIMESTAMP 00001050: SWAP1 00001051: SSTORE 00001052: PUSH1 0x09 00001054: SLOAD 00001055: PUSH1 0x0a 00001057: DUP2 00001058: DIV 00001059: SWAP1 0000105a: PUSH2 0x1069 0000105d: SWAP1 0000105e: DUP3 0000105f: PUSH4 0xffffffff 00001064: PUSH2 0x11f9 00001067: AND 00001068: JUMP 00001069: JUMPDEST 0000106a: PUSH1 0x09 0000106c: SSTORE 0000106d: PUSH1 0x10 0000106f: DUP1 00001070: SLOAD 00001071: PUSH1 0x00 00001073: SWAP1 00001074: DUP2 00001075: MSTORE 00001076: PUSH1 0x0a 00001078: PUSH1 0x20 0000107a: MSTORE 0000107b: PUSH1 0x40 0000107d: SWAP1 0000107e: KECCAK256 0000107f: DUP3 00001080: SWAP1 00001081: SSTORE 00001082: DUP1 00001083: SLOAD 00001084: PUSH1 0x01 00001086: ADD 00001087: SWAP1 00001088: SSTORE 00001089: POP 0000108a: JUMP 0000108b: JUMPDEST 0000108c: PUSH1 0x01 0000108e: PUSH1 0xa0 00001090: PUSH1 0x02 00001092: EXP 00001093: SUB 00001094: DUP2 00001095: AND 00001096: PUSH1 0x00 00001098: SWAP1 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x0e 0000109d: PUSH1 0x20 0000109f: SWAP1 000010a0: DUP2 000010a1: MSTORE 000010a2: PUSH1 0x40 000010a4: DUP1 000010a5: DUP4 000010a6: KECCAK256 000010a7: SLOAD 000010a8: PUSH1 0x0f 000010aa: SWAP1 000010ab: SWAP3 000010ac: MSTORE 000010ad: DUP3 000010ae: KECCAK256 000010af: SLOAD 000010b0: PUSH1 0x01 000010b2: DUP3 000010b3: ADD 000010b4: DUP2 000010b5: GT 000010b6: ISZERO 000010b7: PUSH2 0x10c2 000010ba: JUMPI 000010bb: DUP1 000010bc: SWAP3 000010bd: POP 000010be: PUSH2 0x09b0 000010c1: JUMP 000010c2: JUMPDEST 000010c3: DUP2 000010c4: PUSH1 0x01 000010c6: ADD 000010c7: SWAP3 000010c8: POP 000010c9: PUSH2 0x09b0 000010cc: JUMP 000010cd: JUMPDEST 000010ce: CALLER 000010cf: PUSH1 0x00 000010d1: SWAP1 000010d2: DUP2 000010d3: MSTORE 000010d4: PUSH1 0x05 000010d6: PUSH1 0x20 000010d8: SWAP1 000010d9: DUP2 000010da: MSTORE 000010db: PUSH1 0x40 000010dd: DUP1 000010de: DUP4 000010df: KECCAK256 000010e0: PUSH1 0x01 000010e2: PUSH1 0xa0 000010e4: PUSH1 0x02 000010e6: EXP 000010e7: SUB 000010e8: DUP7 000010e9: AND 000010ea: DUP5 000010eb: MSTORE 000010ec: SWAP1 000010ed: SWAP2 000010ee: MSTORE 000010ef: DUP2 000010f0: KECCAK256 000010f1: SLOAD 000010f2: PUSH2 0x1101 000010f5: SWAP1 000010f6: DUP4 000010f7: PUSH4 0xffffffff 000010fc: PUSH2 0x11e3 000010ff: AND 00001100: JUMP 00001101: JUMPDEST 00001102: CALLER 00001103: PUSH1 0x00 00001105: DUP2 00001106: DUP2 00001107: MSTORE 00001108: PUSH1 0x05 0000110a: PUSH1 0x20 0000110c: SWAP1 0000110d: DUP2 0000110e: MSTORE 0000110f: PUSH1 0x40 00001111: DUP1 00001112: DUP4 00001113: KECCAK256 00001114: PUSH1 0x01 00001116: PUSH1 0xa0 00001118: PUSH1 0x02 0000111a: EXP 0000111b: SUB 0000111c: DUP10 0000111d: AND 0000111e: DUP1 0000111f: DUP6 00001120: MSTORE 00001121: SWAP1 00001122: DUP4 00001123: MSTORE 00001124: SWAP3 00001125: DUP2 00001126: SWAP1 00001127: KECCAK256 00001128: DUP6 00001129: SWAP1 0000112a: SSTORE 0000112b: DUP1 0000112c: MLOAD 0000112d: SWAP5 0000112e: DUP6 0000112f: MSTORE 00001130: MLOAD 00001131: SWAP2 00001132: SWAP4 00001133: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001154: SWAP3 00001155: SWAP1 00001156: DUP2 00001157: SWAP1 00001158: SUB 00001159: SWAP1 0000115a: SWAP2 0000115b: ADD 0000115c: SWAP1 0000115d: LOG3 0000115e: POP 0000115f: PUSH1 0x01 00001161: SWAP3 00001162: SWAP2 00001163: POP 00001164: POP 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH1 0x01 00001169: PUSH1 0xa0 0000116b: PUSH1 0x02 0000116d: EXP 0000116e: SUB 0000116f: SWAP2 00001170: DUP3 00001171: AND 00001172: PUSH1 0x00 00001174: SWAP1 00001175: DUP2 00001176: MSTORE 00001177: PUSH1 0x05 00001179: PUSH1 0x20 0000117b: SWAP1 0000117c: DUP2 0000117d: MSTORE 0000117e: PUSH1 0x40 00001180: DUP1 00001181: DUP4 00001182: KECCAK256 00001183: SWAP4 00001184: SWAP1 00001185: SWAP5 00001186: AND 00001187: DUP3 00001188: MSTORE 00001189: SWAP2 0000118a: SWAP1 0000118b: SWAP2 0000118c: MSTORE 0000118d: KECCAK256 0000118e: SLOAD 0000118f: SWAP1 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x0a 00001194: PUSH1 0x20 00001196: MSTORE 00001197: PUSH1 0x00 00001199: SWAP1 0000119a: DUP2 0000119b: MSTORE 0000119c: PUSH1 0x40 0000119e: SWAP1 0000119f: KECCAK256 000011a0: SLOAD 000011a1: DUP2 000011a2: JUMP 000011a3: JUMPDEST 000011a4: PUSH1 0x00 000011a6: SLOAD 000011a7: PUSH1 0x01 000011a9: PUSH1 0xa0 000011ab: PUSH1 0x02 000011ad: EXP 000011ae: SUB 000011af: AND 000011b0: CALLER 000011b1: EQ 000011b2: PUSH2 0x11ba 000011b5: JUMPI 000011b6: PUSH1 0x00 000011b8: DUP1 000011b9: REVERT 000011ba: JUMPDEST 000011bb: JUMP 000011bc: JUMPDEST 000011bd: PUSH1 0x01 000011bf: PUSH1 0x20 000011c1: MSTORE 000011c2: PUSH1 0x00 000011c4: SWAP1 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x40 000011c9: SWAP1 000011ca: KECCAK256 000011cb: SLOAD 000011cc: PUSH1 0xff 000011ce: AND 000011cf: DUP2 000011d0: JUMP 000011d1: JUMPDEST 000011d2: PUSH1 0x0d 000011d4: PUSH1 0x20 000011d6: MSTORE 000011d7: PUSH1 0x00 000011d9: SWAP1 000011da: DUP2 000011db: MSTORE 000011dc: PUSH1 0x40 000011de: SWAP1 000011df: KECCAK256 000011e0: SLOAD 000011e1: DUP2 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH1 0x00 000011e6: DUP3 000011e7: DUP3 000011e8: ADD 000011e9: DUP4 000011ea: DUP2 000011eb: LT 000011ec: ISZERO 000011ed: PUSH2 0x11f2 000011f0: JUMPI 000011f1: INVALID 000011f2: JUMPDEST 000011f3: SWAP4 000011f4: SWAP3 000011f5: POP 000011f6: POP 000011f7: POP 000011f8: JUMP 000011f9: JUMPDEST 000011fa: PUSH1 0x00 000011fc: DUP3 000011fd: DUP3 000011fe: GT 000011ff: ISZERO 00001200: PUSH2 0x1205 00001203: JUMPI 00001204: INVALID 00001205: JUMPDEST 00001206: POP 00001207: SWAP1 00001208: SUB 00001209: SWAP1 0000120a: JUMP 0000120b: JUMPDEST 0000120c: PUSH1 0x01 0000120e: PUSH1 0xa0 00001210: PUSH1 0x02 00001212: EXP 00001213: SUB 00001214: DUP3 00001215: AND 00001216: ADDRESS 00001217: EQ 00001218: ISZERO 00001219: PUSH2 0x1230 0000121c: JUMPI 0000121d: PUSH2 0x1226 00001220: ADDRESS 00001221: DUP3 00001222: PUSH2 0x1235 00001225: JUMP 00001226: JUMPDEST 00001227: PUSH2 0x1230 0000122a: DUP4 0000122b: DUP3 0000122c: PUSH2 0x12e5 0000122f: JUMP 00001230: JUMPDEST 00001231: POP 00001232: POP 00001233: POP 00001234: JUMP 00001235: JUMPDEST 00001236: PUSH1 0x01 00001238: PUSH1 0xa0 0000123a: PUSH1 0x02 0000123c: EXP 0000123d: SUB 0000123e: DUP3 0000123f: AND 00001240: PUSH1 0x00 00001242: SWAP1 00001243: DUP2 00001244: MSTORE 00001245: PUSH1 0x03 00001247: PUSH1 0x20 00001249: MSTORE 0000124a: PUSH1 0x40 0000124c: SWAP1 0000124d: KECCAK256 0000124e: SLOAD 0000124f: DUP2 00001250: GT 00001251: ISZERO 00001252: PUSH2 0x125a 00001255: JUMPI 00001256: PUSH1 0x00 00001258: DUP1 00001259: REVERT 0000125a: JUMPDEST 0000125b: PUSH1 0x01 0000125d: PUSH1 0xa0 0000125f: PUSH1 0x02 00001261: EXP 00001262: SUB 00001263: DUP3 00001264: AND 00001265: PUSH1 0x00 00001267: SWAP1 00001268: DUP2 00001269: MSTORE 0000126a: PUSH1 0x03 0000126c: PUSH1 0x20 0000126e: MSTORE 0000126f: PUSH1 0x40 00001271: SWAP1 00001272: KECCAK256 00001273: SLOAD 00001274: PUSH2 0x1283 00001277: SWAP1 00001278: DUP3 00001279: PUSH4 0xffffffff 0000127e: PUSH2 0x11f9 00001281: AND 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH1 0x01 00001286: PUSH1 0xa0 00001288: PUSH1 0x02 0000128a: EXP 0000128b: SUB 0000128c: DUP4 0000128d: AND 0000128e: PUSH1 0x00 00001290: SWAP1 00001291: DUP2 00001292: MSTORE 00001293: PUSH1 0x03 00001295: PUSH1 0x20 00001297: MSTORE 00001298: PUSH1 0x40 0000129a: SWAP1 0000129b: KECCAK256 0000129c: SSTORE 0000129d: PUSH1 0x04 0000129f: SLOAD 000012a0: PUSH2 0x12af 000012a3: SWAP1 000012a4: DUP3 000012a5: PUSH4 0xffffffff 000012aa: PUSH2 0x11f9 000012ad: AND 000012ae: JUMP 000012af: JUMPDEST 000012b0: PUSH1 0x04 000012b2: SSTORE 000012b3: PUSH1 0x40 000012b5: DUP1 000012b6: MLOAD 000012b7: DUP3 000012b8: DUP2 000012b9: MSTORE 000012ba: SWAP1 000012bb: MLOAD 000012bc: PUSH1 0x00 000012be: SWAP2 000012bf: PUSH1 0x01 000012c1: PUSH1 0xa0 000012c3: PUSH1 0x02 000012c5: EXP 000012c6: SUB 000012c7: DUP6 000012c8: AND 000012c9: SWAP2 000012ca: PUSH1 0x00 000012cc: DUP1 000012cd: MLOAD 000012ce: PUSH1 0x20 000012d0: PUSH2 0x13a2 000012d3: DUP4 000012d4: CODECOPY 000012d5: DUP2 000012d6: MLOAD 000012d7: SWAP2 000012d8: MSTORE 000012d9: SWAP2 000012da: DUP2 000012db: SWAP1 000012dc: SUB 000012dd: PUSH1 0x20 000012df: ADD 000012e0: SWAP1 000012e1: LOG3 000012e2: POP 000012e3: POP 000012e4: JUMP 000012e5: JUMPDEST 000012e6: PUSH1 0x10 000012e8: SLOAD 000012e9: PUSH1 0x00 000012eb: SWAP1 000012ec: DUP2 000012ed: MSTORE 000012ee: PUSH1 0x0b 000012f0: PUSH1 0x20 000012f2: MSTORE 000012f3: PUSH1 0x40 000012f5: SWAP1 000012f6: KECCAK256 000012f7: SLOAD 000012f8: PUSH2 0x1307 000012fb: SWAP1 000012fc: DUP3 000012fd: PUSH4 0xffffffff 00001302: PUSH2 0x11e3 00001305: AND 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH1 0x10 0000130a: DUP1 0000130b: SLOAD 0000130c: PUSH1 0x00 0000130e: SWAP1 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x0b 00001313: PUSH1 0x20 00001315: SWAP1 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x40 0000131a: DUP1 0000131b: DUP4 0000131c: KECCAK256 0000131d: SWAP5 0000131e: SWAP1 0000131f: SWAP5 00001320: SSTORE 00001321: SWAP2 00001322: SLOAD 00001323: DUP2 00001324: MSTORE 00001325: PUSH1 0x0c 00001327: DUP3 00001328: MSTORE 00001329: DUP3 0000132a: DUP2 0000132b: KECCAK256 0000132c: PUSH1 0x01 0000132e: PUSH1 0xa0 00001330: PUSH1 0x02 00001332: EXP 00001333: SUB 00001334: DUP7 00001335: AND 00001336: DUP3 00001337: MSTORE 00001338: SWAP1 00001339: SWAP2 0000133a: MSTORE 0000133b: KECCAK256 0000133c: SLOAD 0000133d: PUSH2 0x134c 00001340: SWAP1 00001341: DUP3 00001342: PUSH4 0xffffffff 00001347: PUSH2 0x11e3 0000134a: AND 0000134b: JUMP 0000134c: JUMPDEST 0000134d: PUSH1 0x10 0000134f: SLOAD 00001350: PUSH1 0x00 00001352: SWAP1 00001353: DUP2 00001354: MSTORE 00001355: PUSH1 0x0c 00001357: PUSH1 0x20 00001359: SWAP1 0000135a: DUP2 0000135b: MSTORE 0000135c: PUSH1 0x40 0000135e: DUP1 0000135f: DUP4 00001360: KECCAK256 00001361: PUSH1 0x01 00001363: PUSH1 0xa0 00001365: PUSH1 0x02 00001367: EXP 00001368: SUB 00001369: DUP8 0000136a: AND 0000136b: DUP5 0000136c: MSTORE 0000136d: DUP3 0000136e: MSTORE 0000136f: DUP1 00001370: DUP4 00001371: KECCAK256 00001372: SWAP4 00001373: SWAP1 00001374: SWAP4 00001375: SSTORE 00001376: PUSH1 0x0f 00001378: SWAP1 00001379: MSTORE 0000137a: KECCAK256 0000137b: SLOAD 0000137c: ISZERO 0000137d: ISZERO 0000137e: PUSH2 0x0a12 00001381: JUMPI 00001382: PUSH1 0x10 00001384: SLOAD 00001385: PUSH1 0x01 00001387: PUSH1 0xa0 00001389: PUSH1 0x02 0000138b: EXP 0000138c: SUB 0000138d: DUP4 0000138e: AND 0000138f: PUSH1 0x00 00001391: SWAP1 00001392: DUP2 00001393: MSTORE 00001394: PUSH1 0x0f 00001396: PUSH1 0x20 00001398: MSTORE 00001399: PUSH1 0x40 0000139b: SWAP1 0000139c: KECCAK256 0000139d: SSTORE 0000139e: POP 0000139f: POP 000013a0: JUMP 000013a1: STOP 000013a2: UNKNOWN(0xDD) 000013a3: CALLCODE 000013a4: MSTORE 000013a5: UNKNOWN(0xAD) 000013a6: SHL 000013a7: UNKNOWN(0xE2) 000013a8: UNKNOWN(0xC8) 000013a9: SWAP12 000013aa: PUSH10 0xc2b068fc378daa952ba7 000013b5: CALL 000013b6: PUSH4 0xc4a11628 000013bb: CREATE2 000013bc: GAS 000013bd: UNKNOWN(0x4D) 000013be: CREATE2 000013bf: UNKNOWN(0x23) 000013c0: UNKNOWN(0xB3) 000013c1: UNKNOWN(0xEF) 000013c2: LOG1 000013c3: PUSH6 0x627a7a723058 000013ca: KECCAK256 000013cb: UNKNOWN(0xDF) 000013cc: UNKNOWN(0xC3) 000013cd: UNKNOWN(0x0F) 000013ce: UNKNOWN(0xA7) 000013cf: UNKNOWN(0x4B) 000013d0: SWAP10 000013d1: SDIV 000013d2: LOG4 000013d3: UNKNOWN(0xAE) 000013d4: PUSH16 0xc344497a49f57b80ecf0ff7c8e0fae53 000013e5: DUP3 000013e6: MUL 000013e7: PUSH23
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5f91442045a598a0895f7ddcb1163ae6bedbd832a955f33ed7bf81a3e4b4fa19
call_targets:
0xb2ed45ac861371e35202c483b2f17524b3cce554
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5f91442045a598a0895f7ddcb1163ae6bedbd832a955f33ed7bf81a3e4b4fa19",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb2ed45ac861371e35202c483b2f17524b3cce554"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d979a97",
"selector": "0x1d979a97",
"calldata_variants": [
"0x1d979a97",
"0x1d979a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20b44644",
"selector": "0x20b44644",
"calldata_variants": [
"0x20b44644",
"0x20b446440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26767f90",
"selector": "0x26767f90",
"calldata_variants": [
"0x26767f90",
"0x26767f900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bb7fc6c",
"selector": "0x2bb7fc6c",
"calldata_variants": [
"0x2bb7fc6c",
"0x2bb7fc6c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2734,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2822,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5027,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5f91442045a598a0895f7ddcb1163ae6bedbd832a955f33ed7bf81a3e4b4fa19
call_targets:
0xb2ed45ac861371e35202c483b2f17524b3cce554
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5f91442045a598a0895f7ddcb1163ae6bedbd832a955f33ed7bf81a3e4b4fa19",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb2ed45ac861371e35202c483b2f17524b3cce554"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d979a97",
"selector": "0x1d979a97",
"calldata_variants": [
"0x1d979a97",
"0x1d979a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20b44644",
"selector": "0x20b44644",
"calldata_variants": [
"0x20b44644",
"0x20b446440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26767f90",
"selector": "0x26767f90",
"calldata_variants": [
"0x26767f90",
"0x26767f900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bb7fc6c",
"selector": "0x2bb7fc6c",
"calldata_variants": [
"0x2bb7fc6c",
"0x2bb7fc6c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2734,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2822,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5027,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x7f08590f9ddbdbf192ed9937a06e84d401ec202237d4695e3eff5dbf5395cb7d
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x7f08590f9ddbdbf192ed9937a06e84d401ec202237d4695e3eff5dbf5395cb7d",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d979a97",
"selector": "0x1d979a97",
"calldata_variants": [
"0x1d979a97",
"0x1d979a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20b44644",
"selector": "0x20b44644",
"calldata_variants": [
"0x20b44644",
"0x20b446440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26767f90",
"selector": "0x26767f90",
"calldata_variants": [
"0x26767f90",
"0x26767f900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bb7fc6c",
"selector": "0x2bb7fc6c",
"calldata_variants": [
"0x2bb7fc6c",
"0x2bb7fc6c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|