019b477e-b45e-7063-a554-d6e7f02074af
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 |
|---|---|---|---|---|
| 22717 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22718 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65798 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65799 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65800 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65801 | 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 0x0169 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 0x0177 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x01ce 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0f34dc16 00000051: EQ 00000052: PUSH2 0x025e 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x10d0ffdd 0000005c: EQ 0000005d: PUSH2 0x02b9 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x18160ddd 00000067: EQ 00000068: PUSH2 0x02fa 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x22609373 00000072: EQ 00000073: PUSH2 0x0325 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x0366 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3b545d2f 00000088: EQ 00000089: PUSH2 0x0397 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x3ccfd60b 00000093: EQ 00000094: PUSH2 0x03c2 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4000aea0 0000009e: EQ 0000009f: PUSH2 0x03d9 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x4071f89b 000000a9: EQ 000000aa: PUSH2 0x0456 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x4b750334 000000b4: EQ 000000b5: PUSH2 0x0460 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x56d399e8 000000bf: EQ 000000c0: PUSH2 0x048b 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x688abbf7 000000ca: EQ 000000cb: PUSH2 0x04b6 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x6b2f4632 000000d5: EQ 000000d6: PUSH2 0x04f9 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x70a08231 000000e0: EQ 000000e1: PUSH2 0x0524 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x76be1585 000000eb: EQ 000000ec: PUSH2 0x057b 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x8620410b 000000f6: EQ 000000f7: PUSH2 0x05d6 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x91a266ac 00000101: EQ 00000102: PUSH2 0x0601 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x949e8acd 0000010c: EQ 0000010d: PUSH2 0x062c 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x95d89b41 00000117: EQ 00000118: PUSH2 0x0657 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xa9059cbb 00000122: EQ 00000123: PUSH2 0x06e7 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xb743f7b6 0000012d: EQ 0000012e: PUSH2 0x074c 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xcbe0a1aa 00000138: EQ 00000139: PUSH2 0x07a3 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe4849b32 00000143: EQ 00000144: PUSH2 0x07ce 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xe9fad8ee 0000014e: EQ 0000014f: PUSH2 0x07fb 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xf088d547 00000159: EQ 0000015a: PUSH2 0x0812 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xfdb5a03e 00000164: EQ 00000165: PUSH2 0x085c 00000168: JUMPI 00000169: JUMPDEST 0000016a: PUSH2 0x0174 0000016d: CALLVALUE 0000016e: PUSH1 0x00 00000170: PUSH2 0x0873 00000173: JUMP 00000174: JUMPDEST 00000175: POP 00000176: STOP 00000177: JUMPDEST 00000178: CALLVALUE 00000179: DUP1 0000017a: ISZERO 0000017b: PUSH2 0x0183 0000017e: JUMPI 0000017f: PUSH1 0x00 00000181: DUP1 00000182: REVERT 00000183: JUMPDEST 00000184: POP 00000185: PUSH2 0x01b8 00000188: PUSH1 0x04 0000018a: DUP1 0000018b: CALLDATASIZE 0000018c: SUB 0000018d: DUP2 0000018e: ADD 0000018f: SWAP1 00000190: DUP1 00000191: DUP1 00000192: CALLDATALOAD 00000193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a8: AND 000001a9: SWAP1 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP1 000001ae: SWAP3 000001af: SWAP2 000001b0: SWAP1 000001b1: POP 000001b2: POP 000001b3: POP 000001b4: PUSH2 0x0974 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: DUP1 000001bd: DUP3 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: SWAP2 000001c4: POP 000001c5: POP 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: DUP1 000001ca: SWAP2 000001cb: SUB 000001cc: SWAP1 000001cd: RETURN 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: POP 000001dc: PUSH2 0x01e3 000001df: PUSH2 0x0a1d 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH1 0x40 000001e6: MLOAD 000001e7: DUP1 000001e8: DUP1 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: DUP3 000001ed: DUP2 000001ee: SUB 000001ef: DUP3 000001f0: MSTORE 000001f1: DUP4 000001f2: DUP2 000001f3: DUP2 000001f4: MLOAD 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x20 000001f9: ADD 000001fa: SWAP2 000001fb: POP 000001fc: DUP1 000001fd: MLOAD 000001fe: SWAP1 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP1 00000203: DUP1 00000204: DUP4 00000205: DUP4 00000206: PUSH1 0x00 00000208: JUMPDEST 00000209: DUP4 0000020a: DUP2 0000020b: LT 0000020c: ISZERO 0000020d: PUSH2 0x0223 00000210: JUMPI 00000211: DUP1 00000212: DUP3 00000213: ADD 00000214: MLOAD 00000215: DUP2 00000216: DUP5 00000217: ADD 00000218: MSTORE 00000219: PUSH1 0x20 0000021b: DUP2 0000021c: ADD 0000021d: SWAP1 0000021e: POP 0000021f: PUSH2 0x0208 00000222: JUMP 00000223: JUMPDEST 00000224: POP 00000225: POP 00000226: POP 00000227: POP 00000228: SWAP1 00000229: POP 0000022a: SWAP1 0000022b: DUP2 0000022c: ADD 0000022d: SWAP1 0000022e: PUSH1 0x1f 00000230: AND 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x0250 00000236: JUMPI 00000237: DUP1 00000238: DUP3 00000239: SUB 0000023a: DUP1 0000023b: MLOAD 0000023c: PUSH1 0x01 0000023e: DUP4 0000023f: PUSH1 0x20 00000241: SUB 00000242: PUSH2 0x0100 00000245: EXP 00000246: SUB 00000247: NOT 00000248: AND 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: SWAP2 0000024f: POP 00000250: JUMPDEST 00000251: POP 00000252: SWAP3 00000253: POP 00000254: POP 00000255: POP 00000256: PUSH1 0x40 00000258: MLOAD 00000259: DUP1 0000025a: SWAP2 0000025b: SUB 0000025c: SWAP1 0000025d: RETURN 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x029f 0000026f: PUSH1 0x04 00000271: DUP1 00000272: CALLDATASIZE 00000273: SUB 00000274: DUP2 00000275: ADD 00000276: SWAP1 00000277: DUP1 00000278: DUP1 00000279: CALLDATALOAD 0000027a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028f: AND 00000290: SWAP1 00000291: PUSH1 0x20 00000293: ADD 00000294: SWAP1 00000295: SWAP3 00000296: SWAP2 00000297: SWAP1 00000298: POP 00000299: POP 0000029a: POP 0000029b: PUSH2 0x0abb 0000029e: JUMP 0000029f: JUMPDEST 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: DUP1 000002a4: DUP3 000002a5: ISZERO 000002a6: ISZERO 000002a7: ISZERO 000002a8: ISZERO 000002a9: DUP2 000002aa: MSTORE 000002ab: PUSH1 0x20 000002ad: ADD 000002ae: SWAP2 000002af: POP 000002b0: POP 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: DUP1 000002b5: SWAP2 000002b6: SUB 000002b7: SWAP1 000002b8: RETURN 000002b9: JUMPDEST 000002ba: CALLVALUE 000002bb: DUP1 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: POP 000002c7: PUSH2 0x02e4 000002ca: PUSH1 0x04 000002cc: DUP1 000002cd: CALLDATASIZE 000002ce: SUB 000002cf: DUP2 000002d0: ADD 000002d1: SWAP1 000002d2: DUP1 000002d3: DUP1 000002d4: CALLDATALOAD 000002d5: SWAP1 000002d6: PUSH1 0x20 000002d8: ADD 000002d9: SWAP1 000002da: SWAP3 000002db: SWAP2 000002dc: SWAP1 000002dd: POP 000002de: POP 000002df: POP 000002e0: PUSH2 0x0adb 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: DUP1 000002e9: DUP3 000002ea: DUP2 000002eb: MSTORE 000002ec: PUSH1 0x20 000002ee: ADD 000002ef: SWAP2 000002f0: POP 000002f1: POP 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP1 000002f6: SWAP2 000002f7: SUB 000002f8: SWAP1 000002f9: RETURN 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x030f 0000030b: PUSH2 0x0b43 0000030e: JUMP 0000030f: JUMPDEST 00000310: PUSH1 0x40 00000312: MLOAD 00000313: DUP1 00000314: DUP3 00000315: DUP2 00000316: MSTORE 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP2 0000031b: POP 0000031c: POP 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: DUP1 00000321: SWAP2 00000322: SUB 00000323: SWAP1 00000324: RETURN 00000325: JUMPDEST 00000326: CALLVALUE 00000327: DUP1 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: POP 00000333: PUSH2 0x0350 00000336: PUSH1 0x04 00000338: DUP1 00000339: CALLDATASIZE 0000033a: SUB 0000033b: DUP2 0000033c: ADD 0000033d: SWAP1 0000033e: DUP1 0000033f: DUP1 00000340: CALLDATALOAD 00000341: SWAP1 00000342: PUSH1 0x20 00000344: ADD 00000345: SWAP1 00000346: SWAP3 00000347: SWAP2 00000348: SWAP1 00000349: POP 0000034a: POP 0000034b: POP 0000034c: PUSH2 0x0b4d 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH1 0x40 00000353: MLOAD 00000354: DUP1 00000355: DUP3 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP2 0000035c: POP 0000035d: POP 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: DUP1 00000362: SWAP2 00000363: SUB 00000364: SWAP1 00000365: RETURN 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH2 0x037b 00000377: PUSH2 0x0bc6 0000037a: JUMP 0000037b: JUMPDEST 0000037c: PUSH1 0x40 0000037e: MLOAD 0000037f: DUP1 00000380: DUP3 00000381: PUSH1 0xff 00000383: AND 00000384: PUSH1 0xff 00000386: AND 00000387: DUP2 00000388: MSTORE 00000389: PUSH1 0x20 0000038b: ADD 0000038c: SWAP2 0000038d: POP 0000038e: POP 0000038f: PUSH1 0x40 00000391: MLOAD 00000392: DUP1 00000393: SWAP2 00000394: SUB 00000395: SWAP1 00000396: RETURN 00000397: JUMPDEST 00000398: CALLVALUE 00000399: DUP1 0000039a: ISZERO 0000039b: PUSH2 0x03a3 0000039e: JUMPI 0000039f: PUSH1 0x00 000003a1: DUP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: POP 000003a5: PUSH2 0x03ac 000003a8: PUSH2 0x0bcb 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: DUP3 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: SWAP2 000003b8: POP 000003b9: POP 000003ba: PUSH1 0x40 000003bc: MLOAD 000003bd: DUP1 000003be: SWAP2 000003bf: SUB 000003c0: SWAP1 000003c1: RETURN 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH2 0x03d7 000003d3: PUSH2 0x0be0 000003d6: JUMP 000003d7: JUMPDEST 000003d8: STOP 000003d9: JUMPDEST 000003da: CALLVALUE 000003db: DUP1 000003dc: ISZERO 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: PUSH2 0x043c 000003ea: PUSH1 0x04 000003ec: DUP1 000003ed: CALLDATASIZE 000003ee: SUB 000003ef: DUP2 000003f0: ADD 000003f1: SWAP1 000003f2: DUP1 000003f3: DUP1 000003f4: CALLDATALOAD 000003f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040a: AND 0000040b: SWAP1 0000040c: PUSH1 0x20 0000040e: ADD 0000040f: SWAP1 00000410: SWAP3 00000411: SWAP2 00000412: SWAP1 00000413: DUP1 00000414: CALLDATALOAD 00000415: SWAP1 00000416: PUSH1 0x20 00000418: ADD 00000419: SWAP1 0000041a: SWAP3 0000041b: SWAP2 0000041c: SWAP1 0000041d: DUP1 0000041e: CALLDATALOAD 0000041f: SWAP1 00000420: PUSH1 0x20 00000422: ADD 00000423: SWAP1 00000424: DUP3 00000425: ADD 00000426: DUP1 00000427: CALLDATALOAD 00000428: SWAP1 00000429: PUSH1 0x20 0000042b: ADD 0000042c: SWAP2 0000042d: SWAP1 0000042e: SWAP2 0000042f: SWAP3 00000430: SWAP4 00000431: SWAP2 00000432: SWAP3 00000433: SWAP4 00000434: SWAP1 00000435: POP 00000436: POP 00000437: POP 00000438: PUSH2 0x0d84 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH1 0x40 0000043f: MLOAD 00000440: DUP1 00000441: DUP3 00000442: ISZERO 00000443: ISZERO 00000444: ISZERO 00000445: ISZERO 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x20 0000044a: ADD 0000044b: SWAP2 0000044c: POP 0000044d: POP 0000044e: PUSH1 0x40 00000450: MLOAD 00000451: DUP1 00000452: SWAP2 00000453: SUB 00000454: SWAP1 00000455: RETURN 00000456: JUMPDEST 00000457: PUSH2 0x045e 0000045a: PUSH2 0x0f61 0000045d: JUMP 0000045e: JUMPDEST 0000045f: STOP 00000460: JUMPDEST 00000461: CALLVALUE 00000462: DUP1 00000463: ISZERO 00000464: PUSH2 0x046c 00000467: JUMPI 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: PUSH2 0x0475 00000471: PUSH2 0x0ff6 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x40 00000478: MLOAD 00000479: DUP1 0000047a: DUP3 0000047b: DUP2 0000047c: MSTORE 0000047d: PUSH1 0x20 0000047f: ADD 00000480: SWAP2 00000481: POP 00000482: POP 00000483: PUSH1 0x40 00000485: MLOAD 00000486: DUP1 00000487: SWAP2 00000488: SUB 00000489: SWAP1 0000048a: RETURN 0000048b: JUMPDEST 0000048c: CALLVALUE 0000048d: DUP1 0000048e: ISZERO 0000048f: PUSH2 0x0497 00000492: JUMPI 00000493: PUSH1 0x00 00000495: DUP1 00000496: REVERT 00000497: JUMPDEST 00000498: POP 00000499: PUSH2 0x04a0 0000049c: PUSH2 0x1082 0000049f: JUMP 000004a0: JUMPDEST 000004a1: PUSH1 0x40 000004a3: MLOAD 000004a4: DUP1 000004a5: DUP3 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: SWAP2 000004ac: POP 000004ad: POP 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: DUP1 000004b2: SWAP2 000004b3: SUB 000004b4: SWAP1 000004b5: RETURN 000004b6: JUMPDEST 000004b7: CALLVALUE 000004b8: DUP1 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH2 0x04e3 000004c7: PUSH1 0x04 000004c9: DUP1 000004ca: CALLDATASIZE 000004cb: SUB 000004cc: DUP2 000004cd: ADD 000004ce: SWAP1 000004cf: DUP1 000004d0: DUP1 000004d1: CALLDATALOAD 000004d2: ISZERO 000004d3: ISZERO 000004d4: SWAP1 000004d5: PUSH1 0x20 000004d7: ADD 000004d8: SWAP1 000004d9: SWAP3 000004da: SWAP2 000004db: SWAP1 000004dc: POP 000004dd: POP 000004de: POP 000004df: PUSH2 0x1088 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: DUP3 000004e9: DUP2 000004ea: MSTORE 000004eb: PUSH1 0x20 000004ed: ADD 000004ee: SWAP2 000004ef: POP 000004f0: POP 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: DUP1 000004f5: SWAP2 000004f6: SUB 000004f7: SWAP1 000004f8: RETURN 000004f9: JUMPDEST 000004fa: CALLVALUE 000004fb: DUP1 000004fc: ISZERO 000004fd: PUSH2 0x0505 00000500: JUMPI 00000501: PUSH1 0x00 00000503: DUP1 00000504: REVERT 00000505: JUMPDEST 00000506: POP 00000507: PUSH2 0x050e 0000050a: PUSH2 0x10f4 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: DUP1 00000513: DUP3 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x20 00000518: ADD 00000519: SWAP2 0000051a: POP 0000051b: POP 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: DUP1 00000520: SWAP2 00000521: SUB 00000522: SWAP1 00000523: RETURN 00000524: JUMPDEST 00000525: CALLVALUE 00000526: DUP1 00000527: ISZERO 00000528: PUSH2 0x0530 0000052b: JUMPI 0000052c: PUSH1 0x00 0000052e: DUP1 0000052f: REVERT 00000530: JUMPDEST 00000531: POP 00000532: PUSH2 0x0565 00000535: PUSH1 0x04 00000537: DUP1 00000538: CALLDATASIZE 00000539: SUB 0000053a: DUP2 0000053b: ADD 0000053c: SWAP1 0000053d: DUP1 0000053e: DUP1 0000053f: CALLDATALOAD 00000540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000555: AND 00000556: SWAP1 00000557: PUSH1 0x20 00000559: ADD 0000055a: SWAP1 0000055b: SWAP3 0000055c: SWAP2 0000055d: SWAP1 0000055e: POP 0000055f: POP 00000560: POP 00000561: PUSH2 0x1113 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x40 00000568: MLOAD 00000569: DUP1 0000056a: DUP3 0000056b: DUP2 0000056c: MSTORE 0000056d: PUSH1 0x20 0000056f: ADD 00000570: SWAP2 00000571: POP 00000572: POP 00000573: PUSH1 0x40 00000575: MLOAD 00000576: DUP1 00000577: SWAP2 00000578: SUB 00000579: SWAP1 0000057a: RETURN 0000057b: JUMPDEST 0000057c: CALLVALUE 0000057d: DUP1 0000057e: ISZERO 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: POP 00000589: PUSH2 0x05bc 0000058c: PUSH1 0x04 0000058e: DUP1 0000058f: CALLDATASIZE 00000590: SUB 00000591: DUP2 00000592: ADD 00000593: SWAP1 00000594: DUP1 00000595: DUP1 00000596: CALLDATALOAD 00000597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ac: AND 000005ad: SWAP1 000005ae: PUSH1 0x20 000005b0: ADD 000005b1: SWAP1 000005b2: SWAP3 000005b3: SWAP2 000005b4: SWAP1 000005b5: POP 000005b6: POP 000005b7: POP 000005b8: PUSH2 0x115c 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: DUP1 000005c1: DUP3 000005c2: ISZERO 000005c3: ISZERO 000005c4: ISZERO 000005c5: ISZERO 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: ADD 000005cb: SWAP2 000005cc: POP 000005cd: POP 000005ce: PUSH1 0x40 000005d0: MLOAD 000005d1: DUP1 000005d2: SWAP2 000005d3: SUB 000005d4: SWAP1 000005d5: RETURN 000005d6: JUMPDEST 000005d7: CALLVALUE 000005d8: DUP1 000005d9: ISZERO 000005da: PUSH2 0x05e2 000005dd: JUMPI 000005de: PUSH1 0x00 000005e0: DUP1 000005e1: REVERT 000005e2: JUMPDEST 000005e3: POP 000005e4: PUSH2 0x05eb 000005e7: PUSH2 0x117c 000005ea: JUMP 000005eb: JUMPDEST 000005ec: PUSH1 0x40 000005ee: MLOAD 000005ef: DUP1 000005f0: DUP3 000005f1: DUP2 000005f2: MSTORE 000005f3: PUSH1 0x20 000005f5: ADD 000005f6: SWAP2 000005f7: POP 000005f8: POP 000005f9: PUSH1 0x40 000005fb: MLOAD 000005fc: DUP1 000005fd: SWAP2 000005fe: SUB 000005ff: SWAP1 00000600: RETURN 00000601: JUMPDEST 00000602: CALLVALUE 00000603: DUP1 00000604: ISZERO 00000605: PUSH2 0x060d 00000608: JUMPI 00000609: PUSH1 0x00 0000060b: DUP1 0000060c: REVERT 0000060d: JUMPDEST 0000060e: POP 0000060f: PUSH2 0x0616 00000612: PUSH2 0x1208 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH1 0x40 00000619: MLOAD 0000061a: DUP1 0000061b: DUP3 0000061c: DUP2 0000061d: MSTORE 0000061e: PUSH1 0x20 00000620: ADD 00000621: SWAP2 00000622: POP 00000623: POP 00000624: PUSH1 0x40 00000626: MLOAD 00000627: DUP1 00000628: SWAP2 00000629: SUB 0000062a: SWAP1 0000062b: RETURN 0000062c: JUMPDEST 0000062d: CALLVALUE 0000062e: DUP1 0000062f: ISZERO 00000630: PUSH2 0x0638 00000633: JUMPI 00000634: PUSH1 0x00 00000636: DUP1 00000637: REVERT 00000638: JUMPDEST 00000639: POP 0000063a: PUSH2 0x0641 0000063d: PUSH2 0x120e 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: DUP1 00000646: DUP3 00000647: DUP2 00000648: MSTORE 00000649: PUSH1 0x20 0000064b: ADD 0000064c: SWAP2 0000064d: POP 0000064e: POP 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: DUP1 00000653: SWAP2 00000654: SUB 00000655: SWAP1 00000656: RETURN 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH2 0x066c 00000668: PUSH2 0x1223 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH1 0x40 0000066f: MLOAD 00000670: DUP1 00000671: DUP1 00000672: PUSH1 0x20 00000674: ADD 00000675: DUP3 00000676: DUP2 00000677: SUB 00000678: DUP3 00000679: MSTORE 0000067a: DUP4 0000067b: DUP2 0000067c: DUP2 0000067d: MLOAD 0000067e: DUP2 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: ADD 00000683: SWAP2 00000684: POP 00000685: DUP1 00000686: MLOAD 00000687: SWAP1 00000688: PUSH1 0x20 0000068a: ADD 0000068b: SWAP1 0000068c: DUP1 0000068d: DUP4 0000068e: DUP4 0000068f: PUSH1 0x00 00000691: JUMPDEST 00000692: DUP4 00000693: DUP2 00000694: LT 00000695: ISZERO 00000696: PUSH2 0x06ac 00000699: JUMPI 0000069a: DUP1 0000069b: DUP3 0000069c: ADD 0000069d: MLOAD 0000069e: DUP2 0000069f: DUP5 000006a0: ADD 000006a1: MSTORE 000006a2: PUSH1 0x20 000006a4: DUP2 000006a5: ADD 000006a6: SWAP1 000006a7: POP 000006a8: PUSH2 0x0691 000006ab: JUMP 000006ac: JUMPDEST 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: SWAP1 000006b2: POP 000006b3: SWAP1 000006b4: DUP2 000006b5: ADD 000006b6: SWAP1 000006b7: PUSH1 0x1f 000006b9: AND 000006ba: DUP1 000006bb: ISZERO 000006bc: PUSH2 0x06d9 000006bf: JUMPI 000006c0: DUP1 000006c1: DUP3 000006c2: SUB 000006c3: DUP1 000006c4: MLOAD 000006c5: PUSH1 0x01 000006c7: DUP4 000006c8: PUSH1 0x20 000006ca: SUB 000006cb: PUSH2 0x0100 000006ce: EXP 000006cf: SUB 000006d0: NOT 000006d1: AND 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: SWAP2 000006d8: POP 000006d9: JUMPDEST 000006da: POP 000006db: SWAP3 000006dc: POP 000006dd: POP 000006de: POP 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: DUP1 000006e3: SWAP2 000006e4: SUB 000006e5: SWAP1 000006e6: RETURN 000006e7: JUMPDEST 000006e8: CALLVALUE 000006e9: DUP1 000006ea: ISZERO 000006eb: PUSH2 0x06f3 000006ee: JUMPI 000006ef: PUSH1 0x00 000006f1: DUP1 000006f2: REVERT 000006f3: JUMPDEST 000006f4: POP 000006f5: PUSH2 0x0732 000006f8: PUSH1 0x04 000006fa: DUP1 000006fb: CALLDATASIZE 000006fc: SUB 000006fd: DUP2 000006fe: ADD 000006ff: SWAP1 00000700: DUP1 00000701: DUP1 00000702: CALLDATALOAD 00000703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000718: AND 00000719: SWAP1 0000071a: PUSH1 0x20 0000071c: ADD 0000071d: SWAP1 0000071e: SWAP3 0000071f: SWAP2 00000720: SWAP1 00000721: DUP1 00000722: CALLDATALOAD 00000723: SWAP1 00000724: PUSH1 0x20 00000726: ADD 00000727: SWAP1 00000728: SWAP3 00000729: SWAP2 0000072a: SWAP1 0000072b: POP 0000072c: POP 0000072d: POP 0000072e: PUSH2 0x12c1 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x40 00000735: MLOAD 00000736: DUP1 00000737: DUP3 00000738: ISZERO 00000739: ISZERO 0000073a: ISZERO 0000073b: ISZERO 0000073c: DUP2 0000073d: MSTORE 0000073e: PUSH1 0x20 00000740: ADD 00000741: SWAP2 00000742: POP 00000743: POP 00000744: PUSH1 0x40 00000746: MLOAD 00000747: DUP1 00000748: SWAP2 00000749: SUB 0000074a: SWAP1 0000074b: RETURN 0000074c: JUMPDEST 0000074d: CALLVALUE 0000074e: DUP1 0000074f: ISZERO 00000750: PUSH2 0x0758 00000753: JUMPI 00000754: PUSH1 0x00 00000756: DUP1 00000757: REVERT 00000758: JUMPDEST 00000759: POP 0000075a: PUSH2 0x0761 0000075d: PUSH2 0x1570 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x40 00000764: MLOAD 00000765: DUP1 00000766: DUP3 00000767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077c: AND 0000077d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000792: AND 00000793: DUP2 00000794: MSTORE 00000795: PUSH1 0x20 00000797: ADD 00000798: SWAP2 00000799: POP 0000079a: POP 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: DUP1 0000079f: SWAP2 000007a0: SUB 000007a1: SWAP1 000007a2: RETURN 000007a3: JUMPDEST 000007a4: CALLVALUE 000007a5: DUP1 000007a6: ISZERO 000007a7: PUSH2 0x07af 000007aa: JUMPI 000007ab: PUSH1 0x00 000007ad: DUP1 000007ae: REVERT 000007af: JUMPDEST 000007b0: POP 000007b1: PUSH2 0x07b8 000007b4: PUSH2 0x1588 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH1 0x40 000007bb: MLOAD 000007bc: DUP1 000007bd: DUP3 000007be: DUP2 000007bf: MSTORE 000007c0: PUSH1 0x20 000007c2: ADD 000007c3: SWAP2 000007c4: POP 000007c5: POP 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: DUP1 000007ca: SWAP2 000007cb: SUB 000007cc: SWAP1 000007cd: RETURN 000007ce: JUMPDEST 000007cf: CALLVALUE 000007d0: DUP1 000007d1: ISZERO 000007d2: PUSH2 0x07da 000007d5: JUMPI 000007d6: PUSH1 0x00 000007d8: DUP1 000007d9: REVERT 000007da: JUMPDEST 000007db: POP 000007dc: PUSH2 0x07f9 000007df: PUSH1 0x04 000007e1: DUP1 000007e2: CALLDATASIZE 000007e3: SUB 000007e4: DUP2 000007e5: ADD 000007e6: SWAP1 000007e7: DUP1 000007e8: DUP1 000007e9: CALLDATALOAD 000007ea: SWAP1 000007eb: PUSH1 0x20 000007ed: ADD 000007ee: SWAP1 000007ef: SWAP3 000007f0: SWAP2 000007f1: SWAP1 000007f2: POP 000007f3: POP 000007f4: POP 000007f5: PUSH2 0x158e 000007f8: JUMP 000007f9: JUMPDEST 000007fa: STOP 000007fb: JUMPDEST 000007fc: CALLVALUE 000007fd: DUP1 000007fe: ISZERO 000007ff: PUSH2 0x0807 00000802: JUMPI 00000803: PUSH1 0x00 00000805: DUP1 00000806: REVERT 00000807: JUMPDEST 00000808: POP 00000809: PUSH2 0x0810 0000080c: PUSH2 0x17fd 0000080f: JUMP 00000810: JUMPDEST 00000811: STOP 00000812: JUMPDEST 00000813: PUSH2 0x0846 00000816: PUSH1 0x04 00000818: DUP1 00000819: CALLDATASIZE 0000081a: SUB 0000081b: DUP2 0000081c: ADD 0000081d: SWAP1 0000081e: DUP1 0000081f: DUP1 00000820: CALLDATALOAD 00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000836: AND 00000837: SWAP1 00000838: PUSH1 0x20 0000083a: ADD 0000083b: SWAP1 0000083c: SWAP3 0000083d: SWAP2 0000083e: SWAP1 0000083f: POP 00000840: POP 00000841: POP 00000842: PUSH2 0x1864 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x40 00000849: MLOAD 0000084a: DUP1 0000084b: DUP3 0000084c: DUP2 0000084d: MSTORE 0000084e: PUSH1 0x20 00000850: ADD 00000851: SWAP2 00000852: POP 00000853: POP 00000854: PUSH1 0x40 00000856: MLOAD 00000857: DUP1 00000858: SWAP2 00000859: SUB 0000085a: SWAP1 0000085b: RETURN 0000085c: JUMPDEST 0000085d: CALLVALUE 0000085e: DUP1 0000085f: ISZERO 00000860: PUSH2 0x0868 00000863: JUMPI 00000864: PUSH1 0x00 00000866: DUP1 00000867: REVERT 00000868: JUMPDEST 00000869: POP 0000086a: PUSH2 0x0871 0000086d: PUSH2 0x1876 00000870: JUMP 00000871: JUMPDEST 00000872: STOP 00000873: JUMPDEST 00000874: PUSH1 0x00 00000876: DUP1 00000877: PUSH1 0x00 00000879: ORIGIN 0000087a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088f: AND 00000890: CALLER 00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a6: AND 000008a7: EQ 000008a8: ISZERO 000008a9: ISZERO 000008aa: PUSH2 0x08b2 000008ad: JUMPI 000008ae: PUSH1 0x00 000008b0: DUP1 000008b1: REVERT 000008b2: JUMPDEST 000008b3: DUP5 000008b4: SWAP2 000008b5: POP 000008b6: PUSH8 0x4563918244f40000 000008bf: DUP3 000008c0: GT 000008c1: ISZERO 000008c2: PUSH2 0x0910 000008c5: JUMPI 000008c6: PUSH9 0x056bc75e2d63100000 000008d0: PUSH2 0x08f0 000008d3: ADDRESS 000008d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e9: AND 000008ea: BALANCE 000008eb: DUP5 000008ec: PUSH2 0x19ea 000008ef: JUMP 000008f0: JUMPDEST 000008f1: GT 000008f2: ISZERO 000008f3: ISZERO 000008f4: PUSH2 0x090f 000008f7: JUMPI 000008f8: PUSH8 0x4563918244f40000 00000901: SWAP2 00000902: POP 00000903: PUSH2 0x090c 00000906: DUP6 00000907: DUP4 00000908: PUSH2 0x19ea 0000090b: JUMP 0000090c: JUMPDEST 0000090d: SWAP1 0000090e: POP 0000090f: JUMPDEST 00000910: JUMPDEST 00000911: PUSH2 0x091a 00000914: DUP3 00000915: DUP6 00000916: PUSH2 0x1a03 00000919: JUMP 0000091a: JUMPDEST 0000091b: POP 0000091c: PUSH1 0x00 0000091e: DUP2 0000091f: GT 00000920: ISZERO 00000921: PUSH2 0x096c 00000924: JUMPI 00000925: CALLER 00000926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093b: AND 0000093c: PUSH2 0x08fc 0000093f: DUP3 00000940: SWAP1 00000941: DUP2 00000942: ISZERO 00000943: MUL 00000944: SWAP1 00000945: PUSH1 0x40 00000947: MLOAD 00000948: PUSH1 0x00 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: DUP1 0000094e: DUP4 0000094f: SUB 00000950: DUP2 00000951: DUP6 00000952: DUP9 00000953: DUP9 00000954: CALL 00000955: SWAP4 00000956: POP 00000957: POP 00000958: POP 00000959: POP 0000095a: ISZERO 0000095b: DUP1 0000095c: ISZERO 0000095d: PUSH2 0x096a 00000960: JUMPI 00000961: RETURNDATASIZE 00000962: PUSH1 0x00 00000964: DUP1 00000965: RETURNDATACOPY 00000966: RETURNDATASIZE 00000967: PUSH1 0x00 00000969: REVERT 0000096a: JUMPDEST 0000096b: POP 0000096c: JUMPDEST 0000096d: POP 0000096e: POP 0000096f: SWAP3 00000970: SWAP2 00000971: POP 00000972: POP 00000973: JUMP 00000974: JUMPDEST 00000975: PUSH1 0x00 00000977: PUSH9 0x010000000000000000 00000981: PUSH1 0x07 00000983: PUSH1 0x00 00000985: DUP5 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: AND 0000099c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b1: AND 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: ADD 000009b7: SWAP1 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: PUSH1 0x00 000009bf: KECCAK256 000009c0: SLOAD 000009c1: PUSH2 0x0a0b 000009c4: PUSH1 0x09 000009c6: SLOAD 000009c7: PUSH1 0x05 000009c9: PUSH1 0x00 000009cb: DUP8 000009cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e1: AND 000009e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f7: AND 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x20 000009fc: ADD 000009fd: SWAP1 000009fe: DUP2 000009ff: MSTORE 00000a00: PUSH1 0x20 00000a02: ADD 00000a03: PUSH1 0x00 00000a05: KECCAK256 00000a06: SLOAD 00000a07: PUSH2 0x1dff 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: SUB 00000a0d: DUP2 00000a0e: ISZERO 00000a0f: ISZERO 00000a10: PUSH2 0x0a15 00000a13: JUMPI 00000a14: INVALID 00000a15: JUMPDEST 00000a16: DIV 00000a17: SWAP1 00000a18: POP 00000a19: SWAP2 00000a1a: SWAP1 00000a1b: POP 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x00 00000a20: DUP1 00000a21: SLOAD 00000a22: PUSH1 0x01 00000a24: DUP2 00000a25: PUSH1 0x01 00000a27: AND 00000a28: ISZERO 00000a29: PUSH2 0x0100 00000a2c: MUL 00000a2d: SUB 00000a2e: AND 00000a2f: PUSH1 0x02 00000a31: SWAP1 00000a32: DIV 00000a33: DUP1 00000a34: PUSH1 0x1f 00000a36: ADD 00000a37: PUSH1 0x20 00000a39: DUP1 00000a3a: SWAP2 00000a3b: DIV 00000a3c: MUL 00000a3d: PUSH1 0x20 00000a3f: ADD 00000a40: PUSH1 0x40 00000a42: MLOAD 00000a43: SWAP1 00000a44: DUP2 00000a45: ADD 00000a46: PUSH1 0x40 00000a48: MSTORE 00000a49: DUP1 00000a4a: SWAP3 00000a4b: SWAP2 00000a4c: SWAP1 00000a4d: DUP2 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x20 00000a52: ADD 00000a53: DUP3 00000a54: DUP1 00000a55: SLOAD 00000a56: PUSH1 0x01 00000a58: DUP2 00000a59: PUSH1 0x01 00000a5b: AND 00000a5c: ISZERO 00000a5d: PUSH2 0x0100 00000a60: MUL 00000a61: SUB 00000a62: AND 00000a63: PUSH1 0x02 00000a65: SWAP1 00000a66: DIV 00000a67: DUP1 00000a68: ISZERO 00000a69: PUSH2 0x0ab3 00000a6c: JUMPI 00000a6d: DUP1 00000a6e: PUSH1 0x1f 00000a70: LT 00000a71: PUSH2 0x0a88 00000a74: JUMPI 00000a75: PUSH2 0x0100 00000a78: DUP1 00000a79: DUP4 00000a7a: SLOAD 00000a7b: DIV 00000a7c: MUL 00000a7d: DUP4 00000a7e: MSTORE 00000a7f: SWAP2 00000a80: PUSH1 0x20 00000a82: ADD 00000a83: SWAP2 00000a84: PUSH2 0x0ab3 00000a87: JUMP 00000a88: JUMPDEST 00000a89: DUP3 00000a8a: ADD 00000a8b: SWAP2 00000a8c: SWAP1 00000a8d: PUSH1 0x00 00000a8f: MSTORE 00000a90: PUSH1 0x20 00000a92: PUSH1 0x00 00000a94: KECCAK256 00000a95: SWAP1 00000a96: JUMPDEST 00000a97: DUP2 00000a98: SLOAD 00000a99: DUP2 00000a9a: MSTORE 00000a9b: SWAP1 00000a9c: PUSH1 0x01 00000a9e: ADD 00000a9f: SWAP1 00000aa0: PUSH1 0x20 00000aa2: ADD 00000aa3: DUP1 00000aa4: DUP4 00000aa5: GT 00000aa6: PUSH2 0x0a96 00000aa9: JUMPI 00000aaa: DUP3 00000aab: SWAP1 00000aac: SUB 00000aad: PUSH1 0x1f 00000aaf: AND 00000ab0: DUP3 00000ab1: ADD 00000ab2: SWAP2 00000ab3: JUMPDEST 00000ab4: POP 00000ab5: POP 00000ab6: POP 00000ab7: POP 00000ab8: POP 00000ab9: DUP2 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH1 0x0b 00000abe: PUSH1 0x20 00000ac0: MSTORE 00000ac1: DUP1 00000ac2: PUSH1 0x00 00000ac4: MSTORE 00000ac5: PUSH1 0x40 00000ac7: PUSH1 0x00 00000ac9: KECCAK256 00000aca: PUSH1 0x00 00000acc: SWAP2 00000acd: POP 00000ace: SLOAD 00000acf: SWAP1 00000ad0: PUSH2 0x0100 00000ad3: EXP 00000ad4: SWAP1 00000ad5: DIV 00000ad6: PUSH1 0xff 00000ad8: AND 00000ad9: DUP2 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH1 0x00 00000ade: DUP1 00000adf: PUSH1 0x00 00000ae1: DUP1 00000ae2: PUSH1 0x00 00000ae4: PUSH2 0x0afb 00000ae7: PUSH2 0x0af4 00000aea: DUP8 00000aeb: PUSH1 0x15 00000aed: PUSH1 0xff 00000aef: AND 00000af0: PUSH2 0x1dff 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH1 0x64 00000af7: PUSH2 0x1e3a 00000afa: JUMP 00000afb: JUMPDEST 00000afc: SWAP4 00000afd: POP 00000afe: PUSH2 0x0b15 00000b01: PUSH2 0x0b0e 00000b04: DUP8 00000b05: PUSH1 0x04 00000b07: PUSH1 0xff 00000b09: AND 00000b0a: PUSH2 0x1dff 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x64 00000b11: PUSH2 0x1e3a 00000b14: JUMP 00000b15: JUMPDEST 00000b16: SWAP3 00000b17: POP 00000b18: PUSH2 0x0b2a 00000b1b: PUSH2 0x0b24 00000b1e: DUP8 00000b1f: DUP7 00000b20: PUSH2 0x19ea 00000b23: JUMP 00000b24: JUMPDEST 00000b25: DUP5 00000b26: PUSH2 0x19ea 00000b29: JUMP 00000b2a: JUMPDEST 00000b2b: SWAP2 00000b2c: POP 00000b2d: PUSH2 0x0b35 00000b30: DUP3 00000b31: PUSH2 0x1e55 00000b34: JUMP 00000b35: JUMPDEST 00000b36: SWAP1 00000b37: POP 00000b38: DUP1 00000b39: SWAP5 00000b3a: POP 00000b3b: POP 00000b3c: POP 00000b3d: POP 00000b3e: POP 00000b3f: SWAP2 00000b40: SWAP1 00000b41: POP 00000b42: JUMP 00000b43: JUMPDEST 00000b44: PUSH1 0x00 00000b46: PUSH1 0x08 00000b48: SLOAD 00000b49: SWAP1 00000b4a: POP 00000b4b: SWAP1 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH1 0x00 00000b50: DUP1 00000b51: PUSH1 0x00 00000b53: DUP1 00000b54: PUSH1 0x00 00000b56: PUSH1 0x08 00000b58: SLOAD 00000b59: DUP7 00000b5a: GT 00000b5b: ISZERO 00000b5c: ISZERO 00000b5d: ISZERO 00000b5e: PUSH2 0x0b66 00000b61: JUMPI 00000b62: PUSH1 0x00 00000b64: DUP1 00000b65: REVERT 00000b66: JUMPDEST 00000b67: PUSH2 0x0b6f 00000b6a: DUP7 00000b6b: PUSH2 0x1ede 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: SWAP4 00000b71: POP 00000b72: PUSH2 0x0b89 00000b75: PUSH2 0x0b82 00000b78: DUP6 00000b79: PUSH1 0x15 00000b7b: PUSH1 0xff 00000b7d: AND 00000b7e: PUSH2 0x1dff 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x64 00000b85: PUSH2 0x1e3a 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: SWAP3 00000b8b: POP 00000b8c: PUSH2 0x0ba3 00000b8f: PUSH2 0x0b9c 00000b92: DUP6 00000b93: PUSH1 0x04 00000b95: PUSH1 0xff 00000b97: AND 00000b98: PUSH2 0x1dff 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: PUSH1 0x64 00000b9f: PUSH2 0x1e3a 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: SWAP2 00000ba5: POP 00000ba6: PUSH2 0x0bb8 00000ba9: PUSH2 0x0bb2 00000bac: DUP6 00000bad: DUP6 00000bae: PUSH2 0x19ea 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: DUP4 00000bb4: PUSH2 0x19ea 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: SWAP1 00000bba: POP 00000bbb: DUP1 00000bbc: SWAP5 00000bbd: POP 00000bbe: POP 00000bbf: POP 00000bc0: POP 00000bc1: POP 00000bc2: SWAP2 00000bc3: SWAP1 00000bc4: POP 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: PUSH1 0x12 00000bc9: DUP2 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: PUSH1 0x00 00000bce: PUSH2 0x0bdb 00000bd1: PUSH1 0x03 00000bd3: SLOAD 00000bd4: PUSH1 0x02 00000bd6: SLOAD 00000bd7: PUSH2 0x19ea 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: SWAP1 00000bdd: POP 00000bde: SWAP1 00000bdf: JUMP 00000be0: JUMPDEST 00000be1: PUSH1 0x00 00000be3: DUP1 00000be4: PUSH1 0x00 00000be6: PUSH2 0x0bef 00000be9: PUSH1 0x01 00000beb: PUSH2 0x1088 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: GT 00000bf1: ISZERO 00000bf2: ISZERO 00000bf3: PUSH2 0x0bfb 00000bf6: JUMPI 00000bf7: PUSH1 0x00 00000bf9: DUP1 00000bfa: REVERT 00000bfb: JUMPDEST 00000bfc: CALLER 00000bfd: SWAP2 00000bfe: POP 00000bff: PUSH2 0x0c08 00000c02: PUSH1 0x00 00000c04: PUSH2 0x1088 00000c07: JUMP 00000c08: JUMPDEST 00000c09: SWAP1 00000c0a: POP 00000c0b: PUSH9 0x010000000000000000 00000c15: DUP2 00000c16: MUL 00000c17: PUSH1 0x07 00000c19: PUSH1 0x00 00000c1b: DUP5 00000c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c31: AND 00000c32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c47: AND 00000c48: DUP2 00000c49: MSTORE 00000c4a: PUSH1 0x20 00000c4c: ADD 00000c4d: SWAP1 00000c4e: DUP2 00000c4f: MSTORE 00000c50: PUSH1 0x20 00000c52: ADD 00000c53: PUSH1 0x00 00000c55: KECCAK256 00000c56: PUSH1 0x00 00000c58: DUP3 00000c59: DUP3 00000c5a: SLOAD 00000c5b: ADD 00000c5c: SWAP3 00000c5d: POP 00000c5e: POP 00000c5f: DUP2 00000c60: SWAP1 00000c61: SSTORE 00000c62: POP 00000c63: PUSH1 0x06 00000c65: PUSH1 0x00 00000c67: DUP4 00000c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7d: AND 00000c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c93: AND 00000c94: DUP2 00000c95: MSTORE 00000c96: PUSH1 0x20 00000c98: ADD 00000c99: SWAP1 00000c9a: DUP2 00000c9b: MSTORE 00000c9c: PUSH1 0x20 00000c9e: ADD 00000c9f: PUSH1 0x00 00000ca1: KECCAK256 00000ca2: SLOAD 00000ca3: DUP2 00000ca4: ADD 00000ca5: SWAP1 00000ca6: POP 00000ca7: PUSH1 0x00 00000ca9: PUSH1 0x06 00000cab: PUSH1 0x00 00000cad: DUP5 00000cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc3: AND 00000cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd9: AND 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x20 00000cde: ADD 00000cdf: SWAP1 00000ce0: DUP2 00000ce1: MSTORE 00000ce2: PUSH1 0x20 00000ce4: ADD 00000ce5: PUSH1 0x00 00000ce7: KECCAK256 00000ce8: DUP2 00000ce9: SWAP1 00000cea: SSTORE 00000ceb: POP 00000cec: DUP2 00000ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d02: AND 00000d03: PUSH2 0x08fc 00000d06: DUP3 00000d07: SWAP1 00000d08: DUP2 00000d09: ISZERO 00000d0a: MUL 00000d0b: SWAP1 00000d0c: PUSH1 0x40 00000d0e: MLOAD 00000d0f: PUSH1 0x00 00000d11: PUSH1 0x40 00000d13: MLOAD 00000d14: DUP1 00000d15: DUP4 00000d16: SUB 00000d17: DUP2 00000d18: DUP6 00000d19: DUP9 00000d1a: DUP9 00000d1b: CALL 00000d1c: SWAP4 00000d1d: POP 00000d1e: POP 00000d1f: POP 00000d20: POP 00000d21: ISZERO 00000d22: DUP1 00000d23: ISZERO 00000d24: PUSH2 0x0d31 00000d27: JUMPI 00000d28: RETURNDATASIZE 00000d29: PUSH1 0x00 00000d2b: DUP1 00000d2c: RETURNDATACOPY 00000d2d: RETURNDATASIZE 00000d2e: PUSH1 0x00 00000d30: REVERT 00000d31: JUMPDEST 00000d32: POP 00000d33: DUP2 00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d49: AND 00000d4a: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000d6b: DUP3 00000d6c: PUSH1 0x40 00000d6e: MLOAD 00000d6f: DUP1 00000d70: DUP3 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x20 00000d75: ADD 00000d76: SWAP2 00000d77: POP 00000d78: POP 00000d79: PUSH1 0x40 00000d7b: MLOAD 00000d7c: DUP1 00000d7d: SWAP2 00000d7e: SUB 00000d7f: SWAP1 00000d80: LOG2 00000d81: POP 00000d82: POP 00000d83: JUMP 00000d84: JUMPDEST 00000d85: PUSH1 0x00 00000d87: DUP1 00000d88: PUSH1 0x00 00000d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9f: AND 00000da0: DUP7 00000da1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db6: AND 00000db7: EQ 00000db8: ISZERO 00000db9: ISZERO 00000dba: ISZERO 00000dbb: PUSH2 0x0dc3 00000dbe: JUMPI 00000dbf: PUSH1 0x00 00000dc1: DUP1 00000dc2: REVERT 00000dc3: JUMPDEST 00000dc4: PUSH1 0x01 00000dc6: ISZERO 00000dc7: ISZERO 00000dc8: PUSH1 0x0b 00000dca: PUSH1 0x00 00000dcc: DUP9 00000dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de2: AND 00000de3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df8: AND 00000df9: DUP2 00000dfa: MSTORE 00000dfb: PUSH1 0x20 00000dfd: ADD 00000dfe: SWAP1 00000dff: DUP2 00000e00: MSTORE 00000e01: PUSH1 0x20 00000e03: ADD 00000e04: PUSH1 0x00 00000e06: KECCAK256 00000e07: PUSH1 0x00 00000e09: SWAP1 00000e0a: SLOAD 00000e0b: SWAP1 00000e0c: PUSH2 0x0100 00000e0f: EXP 00000e10: SWAP1 00000e11: DIV 00000e12: PUSH1 0xff 00000e14: AND 00000e15: ISZERO 00000e16: ISZERO 00000e17: EQ 00000e18: ISZERO 00000e19: ISZERO 00000e1a: PUSH2 0x0e22 00000e1d: JUMPI 00000e1e: PUSH1 0x00 00000e20: DUP1 00000e21: REVERT 00000e22: JUMPDEST 00000e23: PUSH2 0x0e2c 00000e26: DUP7 00000e27: DUP7 00000e28: PUSH2 0x12c1 00000e2b: JUMP 00000e2c: JUMPDEST 00000e2d: ISZERO 00000e2e: ISZERO 00000e2f: PUSH2 0x0e37 00000e32: JUMPI 00000e33: PUSH1 0x00 00000e35: DUP1 00000e36: REVERT 00000e37: JUMPDEST 00000e38: PUSH2 0x0e40 00000e3b: DUP7 00000e3c: PUSH2 0x1f86 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: ISZERO 00000e42: PUSH2 0x0f54 00000e45: JUMPI 00000e46: DUP6 00000e47: SWAP1 00000e48: POP 00000e49: DUP1 00000e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5f: AND 00000e60: PUSH4 0xc0ee0b8a 00000e65: CALLER 00000e66: DUP8 00000e67: DUP8 00000e68: DUP8 00000e69: PUSH1 0x40 00000e6b: MLOAD 00000e6c: DUP6 00000e6d: PUSH4 0xffffffff 00000e72: AND 00000e73: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000e91: MUL 00000e92: DUP2 00000e93: MSTORE 00000e94: PUSH1 0x04 00000e96: ADD 00000e97: DUP1 00000e98: DUP6 00000e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eae: AND 00000eaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec4: AND 00000ec5: DUP2 00000ec6: MSTORE 00000ec7: PUSH1 0x20 00000ec9: ADD 00000eca: DUP5 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: DUP1 00000ed1: PUSH1 0x20 00000ed3: ADD 00000ed4: DUP3 00000ed5: DUP2 00000ed6: SUB 00000ed7: DUP3 00000ed8: MSTORE 00000ed9: DUP5 00000eda: DUP5 00000edb: DUP3 00000edc: DUP2 00000edd: DUP2 00000ede: MSTORE 00000edf: PUSH1 0x20 00000ee1: ADD 00000ee2: SWAP3 00000ee3: POP 00000ee4: DUP1 00000ee5: DUP3 00000ee6: DUP5 00000ee7: CALLDATACOPY 00000ee8: DUP3 00000ee9: ADD 00000eea: SWAP2 00000eeb: POP 00000eec: POP 00000eed: SWAP6 00000eee: POP 00000eef: POP 00000ef0: POP 00000ef1: POP 00000ef2: POP 00000ef3: POP 00000ef4: PUSH1 0x20 00000ef6: PUSH1 0x40 00000ef8: MLOAD 00000ef9: DUP1 00000efa: DUP4 00000efb: SUB 00000efc: DUP2 00000efd: PUSH1 0x00 00000eff: DUP8 00000f00: DUP1 00000f01: EXTCODESIZE 00000f02: ISZERO 00000f03: DUP1 00000f04: ISZERO 00000f05: PUSH2 0x0f0d 00000f08: JUMPI 00000f09: PUSH1 0x00 00000f0b: DUP1 00000f0c: REVERT 00000f0d: JUMPDEST 00000f0e: POP 00000f0f: GAS 00000f10: CALL 00000f11: ISZERO 00000f12: DUP1 00000f13: ISZERO 00000f14: PUSH2 0x0f21 00000f17: JUMPI 00000f18: RETURNDATASIZE 00000f19: PUSH1 0x00 00000f1b: DUP1 00000f1c: RETURNDATACOPY 00000f1d: RETURNDATASIZE 00000f1e: PUSH1 0x00 00000f20: REVERT 00000f21: JUMPDEST 00000f22: POP 00000f23: POP 00000f24: POP 00000f25: POP 00000f26: PUSH1 0x40 00000f28: MLOAD 00000f29: RETURNDATASIZE 00000f2a: PUSH1 0x20 00000f2c: DUP2 00000f2d: LT 00000f2e: ISZERO 00000f2f: PUSH2 0x0f37 00000f32: JUMPI 00000f33: PUSH1 0x00 00000f35: DUP1 00000f36: REVERT 00000f37: JUMPDEST 00000f38: DUP2 00000f39: ADD 00000f3a: SWAP1 00000f3b: DUP1 00000f3c: DUP1 00000f3d: MLOAD 00000f3e: SWAP1 00000f3f: PUSH1 0x20 00000f41: ADD 00000f42: SWAP1 00000f43: SWAP3 00000f44: SWAP2 00000f45: SWAP1 00000f46: POP 00000f47: POP 00000f48: POP 00000f49: ISZERO 00000f4a: ISZERO 00000f4b: PUSH2 0x0f53 00000f4e: JUMPI 00000f4f: PUSH1 0x00 00000f51: DUP1 00000f52: REVERT 00000f53: JUMPDEST 00000f54: JUMPDEST 00000f55: PUSH1 0x01 00000f57: SWAP2 00000f58: POP 00000f59: POP 00000f5a: SWAP5 00000f5b: SWAP4 00000f5c: POP 00000f5d: POP 00000f5e: POP 00000f5f: POP 00000f60: JUMP 00000f61: JUMPDEST 00000f62: PUSH1 0x00 00000f64: PUSH2 0x0f71 00000f67: PUSH1 0x03 00000f69: SLOAD 00000f6a: PUSH1 0x02 00000f6c: SLOAD 00000f6d: PUSH2 0x19ea 00000f70: JUMP 00000f71: JUMPDEST 00000f72: SWAP1 00000f73: POP 00000f74: PUSH1 0x01 00000f76: DUP2 00000f77: GT 00000f78: ISZERO 00000f79: ISZERO 00000f7a: PUSH2 0x0f82 00000f7d: JUMPI 00000f7e: PUSH1 0x00 00000f80: DUP1 00000f81: REVERT 00000f82: JUMPDEST 00000f83: PUSH2 0x0f8e 00000f86: PUSH1 0x02 00000f88: SLOAD 00000f89: DUP3 00000f8a: PUSH2 0x1f99 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH1 0x02 00000f91: DUP2 00000f92: SWAP1 00000f93: SSTORE 00000f94: POP 00000f95: PUSH20 0x9f8162583f7da0a35a5c00e90bb15f22dcde41ed 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: AND 00000fc0: DUP2 00000fc1: PUSH3 0x061a80 00000fc5: SWAP1 00000fc6: PUSH1 0x40 00000fc8: MLOAD 00000fc9: PUSH1 0x00 00000fcb: PUSH1 0x40 00000fcd: MLOAD 00000fce: DUP1 00000fcf: DUP4 00000fd0: SUB 00000fd1: DUP2 00000fd2: DUP6 00000fd3: DUP9 00000fd4: DUP9 00000fd5: CALL 00000fd6: SWAP4 00000fd7: POP 00000fd8: POP 00000fd9: POP 00000fda: POP 00000fdb: ISZERO 00000fdc: ISZERO 00000fdd: PUSH2 0x0ff3 00000fe0: JUMPI 00000fe1: PUSH2 0x0fec 00000fe4: PUSH1 0x02 00000fe6: SLOAD 00000fe7: DUP3 00000fe8: PUSH2 0x19ea 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x02 00000fef: DUP2 00000ff0: SWAP1 00000ff1: SSTORE 00000ff2: POP 00000ff3: JUMPDEST 00000ff4: POP 00000ff5: JUMP 00000ff6: JUMPDEST 00000ff7: PUSH1 0x00 00000ff9: DUP1 00000ffa: PUSH1 0x00 00000ffc: DUP1 00000ffd: PUSH1 0x00 00000fff: DUP1 00001000: PUSH1 0x08 00001002: SLOAD 00001003: EQ 00001004: ISZERO 00001005: PUSH2 0x101b 00001008: JUMPI 00001009: PUSH4 0x3b9aca00 0000100e: PUSH5 0x02540be400 00001014: SUB 00001015: SWAP5 00001016: POP 00001017: PUSH2 0x107b 0000101a: JUMP 0000101b: JUMPDEST 0000101c: PUSH2 0x102c 0000101f: PUSH8 0x0de0b6b3a7640000 00001028: PUSH2 0x1ede 0000102b: JUMP 0000102c: JUMPDEST 0000102d: SWAP4 0000102e: POP 0000102f: PUSH2 0x1046 00001032: PUSH2 0x103f 00001035: DUP6 00001036: PUSH1 0x15 00001038: PUSH1 0xff 0000103a: AND 0000103b: PUSH2 0x1dff 0000103e: JUMP 0000103f: JUMPDEST 00001040: PUSH1 0x64 00001042: PUSH2 0x1e3a 00001045: JUMP 00001046: JUMPDEST 00001047: SWAP3 00001048: POP 00001049: PUSH2 0x1060 0000104c: PUSH2 0x1059 0000104f: DUP6 00001050: PUSH1 0x04 00001052: PUSH1 0xff 00001054: AND 00001055: PUSH2 0x1dff 00001058: JUMP 00001059: JUMPDEST 0000105a: PUSH1 0x64 0000105c: PUSH2 0x1e3a 0000105f: JUMP 00001060: JUMPDEST 00001061: SWAP2 00001062: POP 00001063: PUSH2 0x1075 00001066: PUSH2 0x106f 00001069: DUP6 0000106a: DUP6 0000106b: PUSH2 0x19ea 0000106e: JUMP 0000106f: JUMPDEST 00001070: DUP4 00001071: PUSH2 0x19ea 00001074: JUMP 00001075: JUMPDEST 00001076: SWAP1 00001077: POP 00001078: DUP1 00001079: SWAP5 0000107a: POP 0000107b: JUMPDEST 0000107c: POP 0000107d: POP 0000107e: POP 0000107f: POP 00001080: SWAP1 00001081: JUMP 00001082: JUMPDEST 00001083: PUSH1 0x04 00001085: SLOAD 00001086: DUP2 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH1 0x00 0000108b: DUP1 0000108c: CALLER 0000108d: SWAP1 0000108e: POP 0000108f: DUP3 00001090: PUSH2 0x10a1 00001093: JUMPI 00001094: PUSH2 0x109c 00001097: DUP2 00001098: PUSH2 0x0974 0000109b: JUMP 0000109c: JUMPDEST 0000109d: PUSH2 0x10ec 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH1 0x06 000010a4: PUSH1 0x00 000010a6: DUP3 000010a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bc: AND 000010bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d2: AND 000010d3: DUP2 000010d4: MSTORE 000010d5: PUSH1 0x20 000010d7: ADD 000010d8: SWAP1 000010d9: DUP2 000010da: MSTORE 000010db: PUSH1 0x20 000010dd: ADD 000010de: PUSH1 0x00 000010e0: KECCAK256 000010e1: SLOAD 000010e2: PUSH2 0x10ea 000010e5: DUP3 000010e6: PUSH2 0x0974 000010e9: JUMP 000010ea: JUMPDEST 000010eb: ADD 000010ec: JUMPDEST 000010ed: SWAP2 000010ee: POP 000010ef: POP 000010f0: SWAP2 000010f1: SWAP1 000010f2: POP 000010f3: JUMP 000010f4: JUMPDEST 000010f5: PUSH1 0x00 000010f7: ADDRESS 000010f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110d: AND 0000110e: BALANCE 0000110f: SWAP1 00001110: POP 00001111: SWAP1 00001112: JUMP 00001113: JUMPDEST 00001114: PUSH1 0x00 00001116: PUSH1 0x05 00001118: PUSH1 0x00 0000111a: DUP4 0000111b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001130: AND 00001131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001146: AND 00001147: DUP2 00001148: MSTORE 00001149: PUSH1 0x20 0000114b: ADD 0000114c: SWAP1 0000114d: DUP2 0000114e: MSTORE 0000114f: PUSH1 0x20 00001151: ADD 00001152: PUSH1 0x00 00001154: KECCAK256 00001155: SLOAD 00001156: SWAP1 00001157: POP 00001158: SWAP2 00001159: SWAP1 0000115a: POP 0000115b: JUMP 0000115c: JUMPDEST 0000115d: PUSH1 0x0a 0000115f: PUSH1 0x20 00001161: MSTORE 00001162: DUP1 00001163: PUSH1 0x00 00001165: MSTORE 00001166: PUSH1 0x40 00001168: PUSH1 0x00 0000116a: KECCAK256 0000116b: PUSH1 0x00 0000116d: SWAP2 0000116e: POP 0000116f: SLOAD 00001170: SWAP1 00001171: PUSH2 0x0100 00001174: EXP 00001175: SWAP1 00001176: DIV 00001177: PUSH1 0xff 00001179: AND 0000117a: DUP2 0000117b: JUMP 0000117c: JUMPDEST 0000117d: PUSH1 0x00 0000117f: DUP1 00001180: PUSH1 0x00 00001182: DUP1 00001183: PUSH1 0x00 00001185: DUP1 00001186: PUSH1 0x08 00001188: SLOAD 00001189: EQ 0000118a: ISZERO 0000118b: PUSH2 0x11a1 0000118e: JUMPI 0000118f: PUSH4 0x3b9aca00 00001194: PUSH5 0x02540be400 0000119a: ADD 0000119b: SWAP5 0000119c: POP 0000119d: PUSH2 0x1201 000011a0: JUMP 000011a1: JUMPDEST 000011a2: PUSH2 0x11b2 000011a5: PUSH8 0x0de0b6b3a7640000 000011ae: PUSH2 0x1ede 000011b1: JUMP 000011b2: JUMPDEST 000011b3: SWAP4 000011b4: POP 000011b5: PUSH2 0x11cc 000011b8: PUSH2 0x11c5 000011bb: DUP6 000011bc: PUSH1 0x15 000011be: PUSH1 0xff 000011c0: AND 000011c1: PUSH2 0x1dff 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH1 0x64 000011c8: PUSH2 0x1e3a 000011cb: JUMP 000011cc: JUMPDEST 000011cd: SWAP3 000011ce: POP 000011cf: PUSH2 0x11e6 000011d2: PUSH2 0x11df 000011d5: DUP6 000011d6: PUSH1 0x04 000011d8: PUSH1 0xff 000011da: AND 000011db: PUSH2 0x1dff 000011de: JUMP 000011df: JUMPDEST 000011e0: PUSH1 0x64 000011e2: PUSH2 0x1e3a 000011e5: JUMP 000011e6: JUMPDEST 000011e7: SWAP2 000011e8: POP 000011e9: PUSH2 0x11fb 000011ec: PUSH2 0x11f5 000011ef: DUP6 000011f0: DUP6 000011f1: PUSH2 0x1f99 000011f4: JUMP 000011f5: JUMPDEST 000011f6: DUP4 000011f7: PUSH2 0x1f99 000011fa: JUMP 000011fb: JUMPDEST 000011fc: SWAP1 000011fd: POP 000011fe: DUP1 000011ff: SWAP5 00001200: POP 00001201: JUMPDEST 00001202: POP 00001203: POP 00001204: POP 00001205: POP 00001206: SWAP1 00001207: JUMP 00001208: JUMPDEST 00001209: PUSH1 0x02 0000120b: SLOAD 0000120c: DUP2 0000120d: JUMP 0000120e: JUMPDEST 0000120f: PUSH1 0x00 00001211: DUP1 00001212: CALLER 00001213: SWAP1 00001214: POP 00001215: PUSH2 0x121d 00001218: DUP2 00001219: PUSH2 0x1113 0000121c: JUMP 0000121d: JUMPDEST 0000121e: SWAP2 0000121f: POP 00001220: POP 00001221: SWAP1 00001222: JUMP 00001223: JUMPDEST 00001224: PUSH1 0x01 00001226: DUP1 00001227: SLOAD 00001228: PUSH1 0x01 0000122a: DUP2 0000122b: PUSH1 0x01 0000122d: AND 0000122e: ISZERO 0000122f: PUSH2 0x0100 00001232: MUL 00001233: SUB 00001234: AND 00001235: PUSH1 0x02 00001237: SWAP1 00001238: DIV 00001239: DUP1 0000123a: PUSH1 0x1f 0000123c: ADD 0000123d: PUSH1 0x20 0000123f: DUP1 00001240: SWAP2 00001241: DIV 00001242: MUL 00001243: PUSH1 0x20 00001245: ADD 00001246: PUSH1 0x40 00001248: MLOAD 00001249: SWAP1 0000124a: DUP2 0000124b: ADD 0000124c: PUSH1 0x40 0000124e: MSTORE 0000124f: DUP1 00001250: SWAP3 00001251: SWAP2 00001252: SWAP1 00001253: DUP2 00001254: DUP2 00001255: MSTORE 00001256: PUSH1 0x20 00001258: ADD 00001259: DUP3 0000125a: DUP1 0000125b: SLOAD 0000125c: PUSH1 0x01 0000125e: DUP2 0000125f: PUSH1 0x01 00001261: AND 00001262: ISZERO 00001263: PUSH2 0x0100 00001266: MUL 00001267: SUB 00001268: AND 00001269: PUSH1 0x02 0000126b: SWAP1 0000126c: DIV 0000126d: DUP1 0000126e: ISZERO 0000126f: PUSH2 0x12b9 00001272: JUMPI 00001273: DUP1 00001274: PUSH1 0x1f 00001276: LT 00001277: PUSH2 0x128e 0000127a: JUMPI 0000127b: PUSH2 0x0100 0000127e: DUP1 0000127f: DUP4 00001280: SLOAD 00001281: DIV 00001282: MUL 00001283: DUP4 00001284: MSTORE 00001285: SWAP2 00001286: PUSH1 0x20 00001288: ADD 00001289: SWAP2 0000128a: PUSH2 0x12b9 0000128d: JUMP 0000128e: JUMPDEST 0000128f: DUP3 00001290: ADD 00001291: SWAP2 00001292: SWAP1 00001293: PUSH1 0x00 00001295: MSTORE 00001296: PUSH1 0x20 00001298: PUSH1 0x00 0000129a: KECCAK256 0000129b: SWAP1 0000129c: JUMPDEST 0000129d: DUP2 0000129e: SLOAD 0000129f: DUP2 000012a0: MSTORE 000012a1: SWAP1 000012a2: PUSH1 0x01 000012a4: ADD 000012a5: SWAP1 000012a6: PUSH1 0x20 000012a8: ADD 000012a9: DUP1 000012aa: DUP4 000012ab: GT 000012ac: PUSH2 0x129c 000012af: JUMPI 000012b0: DUP3 000012b1: SWAP1 000012b2: SUB 000012b3: PUSH1 0x1f 000012b5: AND 000012b6: DUP3 000012b7: ADD 000012b8: SWAP2 000012b9: JUMPDEST 000012ba: POP 000012bb: POP 000012bc: POP 000012bd: POP 000012be: POP 000012bf: DUP2 000012c0: JUMP 000012c1: JUMPDEST 000012c2: PUSH1 0x00 000012c4: DUP1 000012c5: PUSH1 0x00 000012c7: PUSH2 0x12ce 000012ca: PUSH2 0x120e 000012cd: JUMP 000012ce: JUMPDEST 000012cf: GT 000012d0: ISZERO 000012d1: ISZERO 000012d2: PUSH2 0x12da 000012d5: JUMPI 000012d6: PUSH1 0x00 000012d8: DUP1 000012d9: REVERT 000012da: JUMPDEST 000012db: CALLER 000012dc: SWAP1 000012dd: POP 000012de: PUSH1 0x05 000012e0: PUSH1 0x00 000012e2: DUP3 000012e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f8: AND 000012f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000130e: AND 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x20 00001313: ADD 00001314: SWAP1 00001315: DUP2 00001316: MSTORE 00001317: PUSH1 0x20 00001319: ADD 0000131a: PUSH1 0x00 0000131c: KECCAK256 0000131d: SLOAD 0000131e: DUP4 0000131f: GT 00001320: ISZERO 00001321: ISZERO 00001322: ISZERO 00001323: PUSH2 0x132b 00001326: JUMPI 00001327: PUSH1 0x00 00001329: DUP1 0000132a: REVERT 0000132b: JUMPDEST 0000132c: PUSH1 0x00 0000132e: PUSH2 0x1337 00001331: PUSH1 0x01 00001333: PUSH2 0x1088 00001336: JUMP 00001337: JUMPDEST 00001338: GT 00001339: ISZERO 0000133a: PUSH2 0x1346 0000133d: JUMPI 0000133e: PUSH2 0x1345 00001341: PUSH2 0x0be0 00001344: JUMP 00001345: JUMPDEST 00001346: JUMPDEST 00001347: PUSH2 0x138f 0000134a: PUSH1 0x05 0000134c: PUSH1 0x00 0000134e: DUP4 0000134f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001364: AND 00001365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137a: AND 0000137b: DUP2 0000137c: MSTORE 0000137d: PUSH1 0x20 0000137f: ADD 00001380: SWAP1 00001381: DUP2 00001382: MSTORE 00001383: PUSH1 0x20 00001385: ADD 00001386: PUSH1 0x00 00001388: KECCAK256 00001389: SLOAD 0000138a: DUP5 0000138b: PUSH2 0x19ea 0000138e: JUMP 0000138f: JUMPDEST 00001390: PUSH1 0x05 00001392: PUSH1 0x00 00001394: DUP4 00001395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013aa: AND 000013ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c0: AND 000013c1: DUP2 000013c2: MSTORE 000013c3: PUSH1 0x20 000013c5: ADD 000013c6: SWAP1 000013c7: DUP2 000013c8: MSTORE 000013c9: PUSH1 0x20 000013cb: ADD 000013cc: PUSH1 0x00 000013ce: KECCAK256 000013cf: DUP2 000013d0: SWAP1 000013d1: SSTORE 000013d2: POP 000013d3: PUSH2 0x141b 000013d6: PUSH1 0x05 000013d8: PUSH1 0x00 000013da: DUP7 000013db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f0: AND 000013f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001406: AND 00001407: DUP2 00001408: MSTORE 00001409: PUSH1 0x20 0000140b: ADD 0000140c: SWAP1 0000140d: DUP2 0000140e: MSTORE 0000140f: PUSH1 0x20 00001411: ADD 00001412: PUSH1 0x00 00001414: KECCAK256 00001415: SLOAD 00001416: DUP5 00001417: PUSH2 0x1f99 0000141a: JUMP 0000141b: JUMPDEST 0000141c: PUSH1 0x05 0000141e: PUSH1 0x00 00001420: DUP7 00001421: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001436: AND 00001437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144c: AND 0000144d: DUP2 0000144e: MSTORE 0000144f: PUSH1 0x20 00001451: ADD 00001452: SWAP1 00001453: DUP2 00001454: MSTORE 00001455: PUSH1 0x20 00001457: ADD 00001458: PUSH1 0x00 0000145a: KECCAK256 0000145b: DUP2 0000145c: SWAP1 0000145d: SSTORE 0000145e: POP 0000145f: DUP3 00001460: PUSH1 0x09 00001462: SLOAD 00001463: MUL 00001464: PUSH1 0x07 00001466: PUSH1 0x00 00001468: DUP4 00001469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000147e: AND 0000147f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001494: AND 00001495: DUP2 00001496: MSTORE 00001497: PUSH1 0x20 00001499: ADD 0000149a: SWAP1 0000149b: DUP2 0000149c: MSTORE 0000149d: PUSH1 0x20 0000149f: ADD 000014a0: PUSH1 0x00 000014a2: KECCAK256 000014a3: PUSH1 0x00 000014a5: DUP3 000014a6: DUP3 000014a7: SLOAD 000014a8: SUB 000014a9: SWAP3 000014aa: POP 000014ab: POP 000014ac: DUP2 000014ad: SWAP1 000014ae: SSTORE 000014af: POP 000014b0: DUP3 000014b1: PUSH1 0x09 000014b3: SLOAD 000014b4: MUL 000014b5: PUSH1 0x07 000014b7: PUSH1 0x00 000014b9: DUP7 000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014cf: AND 000014d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e5: AND 000014e6: DUP2 000014e7: MSTORE 000014e8: PUSH1 0x20 000014ea: ADD 000014eb: SWAP1 000014ec: DUP2 000014ed: MSTORE 000014ee: PUSH1 0x20 000014f0: ADD 000014f1: PUSH1 0x00 000014f3: KECCAK256 000014f4: PUSH1 0x00 000014f6: DUP3 000014f7: DUP3 000014f8: SLOAD 000014f9: ADD 000014fa: SWAP3 000014fb: POP 000014fc: POP 000014fd: DUP2 000014fe: SWAP1 000014ff: SSTORE 00001500: POP 00001501: DUP4 00001502: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001517: AND 00001518: DUP2 00001519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152e: AND 0000152f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001550: DUP6 00001551: PUSH1 0x40 00001553: MLOAD 00001554: DUP1 00001555: DUP3 00001556: DUP2 00001557: MSTORE 00001558: PUSH1 0x20 0000155a: ADD 0000155b: SWAP2 0000155c: POP 0000155d: POP 0000155e: PUSH1 0x40 00001560: MLOAD 00001561: DUP1 00001562: SWAP2 00001563: SUB 00001564: SWAP1 00001565: LOG3 00001566: PUSH1 0x01 00001568: SWAP2 00001569: POP 0000156a: POP 0000156b: SWAP3 0000156c: SWAP2 0000156d: POP 0000156e: POP 0000156f: JUMP 00001570: JUMPDEST 00001571: PUSH20 0x9f8162583f7da0a35a5c00e90bb15f22dcde41ed 00001586: DUP2 00001587: JUMP 00001588: JUMPDEST 00001589: PUSH1 0x03 0000158b: SLOAD 0000158c: DUP2 0000158d: JUMP 0000158e: JUMPDEST 0000158f: PUSH1 0x00 00001591: DUP1 00001592: PUSH1 0x00 00001594: DUP1 00001595: PUSH1 0x00 00001597: DUP1 00001598: PUSH1 0x00 0000159a: DUP1 0000159b: PUSH2 0x15a2 0000159e: PUSH2 0x120e 000015a1: JUMP 000015a2: JUMPDEST 000015a3: GT 000015a4: ISZERO 000015a5: ISZERO 000015a6: PUSH2 0x15ae 000015a9: JUMPI 000015aa: PUSH1 0x00 000015ac: DUP1 000015ad: REVERT 000015ae: JUMPDEST 000015af: CALLER 000015b0: SWAP7 000015b1: POP 000015b2: PUSH1 0x05 000015b4: PUSH1 0x00 000015b6: DUP9 000015b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cc: AND 000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e2: AND 000015e3: DUP2 000015e4: MSTORE 000015e5: PUSH1 0x20 000015e7: ADD 000015e8: SWAP1 000015e9: DUP2 000015ea: MSTORE 000015eb: PUSH1 0x20 000015ed: ADD 000015ee: PUSH1 0x00 000015f0: KECCAK256 000015f1: SLOAD 000015f2: DUP9 000015f3: GT 000015f4: ISZERO 000015f5: ISZERO 000015f6: ISZERO 000015f7: PUSH2 0x15ff 000015fa: JUMPI 000015fb: PUSH1 0x00 000015fd: DUP1 000015fe: REVERT 000015ff: JUMPDEST 00001600: DUP8 00001601: SWAP6 00001602: POP 00001603: PUSH2 0x160b 00001606: DUP7 00001607: PUSH2 0x1ede 0000160a: JUMP 0000160b: JUMPDEST 0000160c: SWAP5 0000160d: POP 0000160e: PUSH2 0x1625 00001611: PUSH2 0x161e 00001614: DUP7 00001615: PUSH1 0x15 00001617: PUSH1 0xff 00001619: AND 0000161a: PUSH2 0x1dff 0000161d: JUMP 0000161e: JUMPDEST 0000161f: PUSH1 0x64 00001621: PUSH2 0x1e3a 00001624: JUMP 00001625: JUMPDEST 00001626: SWAP4 00001627: POP 00001628: PUSH2 0x163f 0000162b: PUSH2 0x1638 0000162e: DUP7 0000162f: PUSH1 0x04 00001631: PUSH1 0xff 00001633: AND 00001634: PUSH2 0x1dff 00001637: JUMP 00001638: JUMPDEST 00001639: PUSH1 0x64 0000163b: PUSH2 0x1e3a 0000163e: JUMP 0000163f: JUMPDEST 00001640: SWAP3 00001641: POP 00001642: PUSH2 0x1654 00001645: PUSH2 0x164e 00001648: DUP7 00001649: DUP7 0000164a: PUSH2 0x19ea 0000164d: JUMP 0000164e: JUMPDEST 0000164f: DUP5 00001650: PUSH2 0x19ea 00001653: JUMP 00001654: JUMPDEST 00001655: SWAP2 00001656: POP 00001657: PUSH2 0x1662 0000165a: PUSH1 0x03 0000165c: SLOAD 0000165d: DUP5 0000165e: PUSH2 0x1f99 00001661: JUMP 00001662: JUMPDEST 00001663: PUSH1 0x03 00001665: DUP2 00001666: SWAP1 00001667: SSTORE 00001668: POP 00001669: PUSH2 0x1674 0000166c: PUSH1 0x08 0000166e: SLOAD 0000166f: DUP8 00001670: PUSH2 0x19ea 00001673: JUMP 00001674: JUMPDEST 00001675: PUSH1 0x08 00001677: DUP2 00001678: SWAP1 00001679: SSTORE 0000167a: POP 0000167b: PUSH2 0x16c3 0000167e: PUSH1 0x05 00001680: PUSH1 0x00 00001682: DUP10 00001683: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001698: AND 00001699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ae: AND 000016af: DUP2 000016b0: MSTORE 000016b1: PUSH1 0x20 000016b3: ADD 000016b4: SWAP1 000016b5: DUP2 000016b6: MSTORE 000016b7: PUSH1 0x20 000016b9: ADD 000016ba: PUSH1 0x00 000016bc: KECCAK256 000016bd: SLOAD 000016be: DUP8 000016bf: PUSH2 0x19ea 000016c2: JUMP 000016c3: JUMPDEST 000016c4: PUSH1 0x05 000016c6: PUSH1 0x00 000016c8: DUP10 000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016de: AND 000016df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f4: AND 000016f5: DUP2 000016f6: MSTORE 000016f7: PUSH1 0x20 000016f9: ADD 000016fa: SWAP1 000016fb: DUP2 000016fc: MSTORE 000016fd: PUSH1 0x20 000016ff: ADD 00001700: PUSH1 0x00 00001702: KECCAK256 00001703: DUP2 00001704: SWAP1 00001705: SSTORE 00001706: POP 00001707: PUSH9 0x010000000000000000 00001711: DUP3 00001712: MUL 00001713: DUP7 00001714: PUSH1 0x09 00001716: SLOAD 00001717: MUL 00001718: ADD 00001719: SWAP1 0000171a: POP 0000171b: DUP1 0000171c: PUSH1 0x07 0000171e: PUSH1 0x00 00001720: DUP10 00001721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001736: AND 00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000174c: AND 0000174d: DUP2 0000174e: MSTORE 0000174f: PUSH1 0x20 00001751: ADD 00001752: SWAP1 00001753: DUP2 00001754: MSTORE 00001755: PUSH1 0x20 00001757: ADD 00001758: PUSH1 0x00 0000175a: KECCAK256 0000175b: PUSH1 0x00 0000175d: DUP3 0000175e: DUP3 0000175f: SLOAD 00001760: SUB 00001761: SWAP3 00001762: POP 00001763: POP 00001764: DUP2 00001765: SWAP1 00001766: SSTORE 00001767: POP 00001768: PUSH1 0x00 0000176a: PUSH1 0x08 0000176c: SLOAD 0000176d: GT 0000176e: ISZERO 0000176f: PUSH2 0x179d 00001772: JUMPI 00001773: PUSH2 0x1796 00001776: PUSH1 0x09 00001778: SLOAD 00001779: PUSH1 0x08 0000177b: SLOAD 0000177c: PUSH9 0x010000000000000000 00001786: DUP8 00001787: MUL 00001788: DUP2 00001789: ISZERO 0000178a: ISZERO 0000178b: PUSH2 0x1790 0000178e: JUMPI 0000178f: INVALID 00001790: JUMPDEST 00001791: DIV 00001792: PUSH2 0x1f99 00001795: JUMP 00001796: JUMPDEST 00001797: PUSH1 0x09 00001799: DUP2 0000179a: SWAP1 0000179b: SSTORE 0000179c: POP 0000179d: JUMPDEST 0000179e: DUP7 0000179f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b4: AND 000017b5: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 000017d6: DUP8 000017d7: DUP5 000017d8: PUSH1 0x40 000017da: MLOAD 000017db: DUP1 000017dc: DUP4 000017dd: DUP2 000017de: MSTORE 000017df: PUSH1 0x20 000017e1: ADD 000017e2: DUP3 000017e3: DUP2 000017e4: MSTORE 000017e5: PUSH1 0x20 000017e7: ADD 000017e8: SWAP3 000017e9: POP 000017ea: POP 000017eb: POP 000017ec: PUSH1 0x40 000017ee: MLOAD 000017ef: DUP1 000017f0: SWAP2 000017f1: SUB 000017f2: SWAP1 000017f3: LOG2 000017f4: POP 000017f5: POP 000017f6: POP 000017f7: POP 000017f8: POP 000017f9: POP 000017fa: POP 000017fb: POP 000017fc: JUMP 000017fd: JUMPDEST 000017fe: PUSH1 0x00 00001800: DUP1 00001801: CALLER 00001802: SWAP2 00001803: POP 00001804: PUSH1 0x05 00001806: PUSH1 0x00 00001808: DUP4 00001809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181e: AND 0000181f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001834: AND 00001835: DUP2 00001836: MSTORE 00001837: PUSH1 0x20 00001839: ADD 0000183a: SWAP1 0000183b: DUP2 0000183c: MSTORE 0000183d: PUSH1 0x20 0000183f: ADD 00001840: PUSH1 0x00 00001842: KECCAK256 00001843: SLOAD 00001844: SWAP1 00001845: POP 00001846: PUSH1 0x00 00001848: DUP2 00001849: GT 0000184a: ISZERO 0000184b: PUSH2 0x1858 0000184e: JUMPI 0000184f: PUSH2 0x1857 00001852: DUP2 00001853: PUSH2 0x158e 00001856: JUMP 00001857: JUMPDEST 00001858: JUMPDEST 00001859: PUSH2 0x1860 0000185c: PUSH2 0x0be0 0000185f: JUMP 00001860: JUMPDEST 00001861: POP 00001862: POP 00001863: JUMP 00001864: JUMPDEST 00001865: PUSH1 0x00 00001867: PUSH2 0x1870 0000186a: CALLVALUE 0000186b: DUP4 0000186c: PUSH2 0x0873 0000186f: JUMP 00001870: JUMPDEST 00001871: POP 00001872: SWAP2 00001873: SWAP1 00001874: POP 00001875: JUMP 00001876: JUMPDEST 00001877: PUSH1 0x00 00001879: DUP1 0000187a: PUSH1 0x00 0000187c: DUP1 0000187d: PUSH2 0x1886 00001880: PUSH1 0x01 00001882: PUSH2 0x1088 00001885: JUMP 00001886: JUMPDEST 00001887: GT 00001888: ISZERO 00001889: ISZERO 0000188a: PUSH2 0x1892 0000188d: JUMPI 0000188e: PUSH1 0x00 00001890: DUP1 00001891: REVERT 00001892: JUMPDEST 00001893: PUSH2 0x189c 00001896: PUSH1 0x00 00001898: PUSH2 0x1088 0000189b: JUMP 0000189c: JUMPDEST 0000189d: SWAP3 0000189e: POP 0000189f: CALLER 000018a0: SWAP2 000018a1: POP 000018a2: PUSH9 0x010000000000000000 000018ac: DUP4 000018ad: MUL 000018ae: PUSH1 0x07 000018b0: PUSH1 0x00 000018b2: DUP5 000018b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c8: AND 000018c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018de: AND 000018df: DUP2 000018e0: MSTORE 000018e1: PUSH1 0x20 000018e3: ADD 000018e4: SWAP1 000018e5: DUP2 000018e6: MSTORE 000018e7: PUSH1 0x20 000018e9: ADD 000018ea: PUSH1 0x00 000018ec: KECCAK256 000018ed: PUSH1 0x00 000018ef: DUP3 000018f0: DUP3 000018f1: SLOAD 000018f2: ADD 000018f3: SWAP3 000018f4: POP 000018f5: POP 000018f6: DUP2 000018f7: SWAP1 000018f8: SSTORE 000018f9: POP 000018fa: PUSH1 0x06 000018fc: PUSH1 0x00 000018fe: DUP4 000018ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001914: AND 00001915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192a: AND 0000192b: DUP2 0000192c: MSTORE 0000192d: PUSH1 0x20 0000192f: ADD 00001930: SWAP1 00001931: DUP2 00001932: MSTORE 00001933: PUSH1 0x20 00001935: ADD 00001936: PUSH1 0x00 00001938: KECCAK256 00001939: SLOAD 0000193a: DUP4 0000193b: ADD 0000193c: SWAP3 0000193d: POP 0000193e: PUSH1 0x00 00001940: PUSH1 0x06 00001942: PUSH1 0x00 00001944: DUP5 00001945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000195a: AND 0000195b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001970: AND 00001971: DUP2 00001972: MSTORE 00001973: PUSH1 0x20 00001975: ADD 00001976: SWAP1 00001977: DUP2 00001978: MSTORE 00001979: PUSH1 0x20 0000197b: ADD 0000197c: PUSH1 0x00 0000197e: KECCAK256 0000197f: DUP2 00001980: SWAP1 00001981: SSTORE 00001982: POP 00001983: PUSH2 0x198d 00001986: DUP4 00001987: PUSH1 0x00 00001989: PUSH2 0x1a03 0000198c: JUMP 0000198d: JUMPDEST 0000198e: SWAP1 0000198f: POP 00001990: DUP2 00001991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a6: AND 000019a7: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000019c8: DUP5 000019c9: DUP4 000019ca: PUSH1 0x40 000019cc: MLOAD 000019cd: DUP1 000019ce: DUP4 000019cf: DUP2 000019d0: MSTORE 000019d1: PUSH1 0x20 000019d3: ADD 000019d4: DUP3 000019d5: DUP2 000019d6: MSTORE 000019d7: PUSH1 0x20 000019d9: ADD 000019da: SWAP3 000019db: POP 000019dc: POP 000019dd: POP 000019de: PUSH1 0x40 000019e0: MLOAD 000019e1: DUP1 000019e2: SWAP2 000019e3: SUB 000019e4: SWAP1 000019e5: LOG2 000019e6: POP 000019e7: POP 000019e8: POP 000019e9: JUMP 000019ea: JUMPDEST 000019eb: PUSH1 0x00 000019ed: DUP3 000019ee: DUP3 000019ef: GT 000019f0: ISZERO 000019f1: ISZERO 000019f2: ISZERO 000019f3: PUSH2 0x19f8 000019f6: JUMPI 000019f7: INVALID 000019f8: JUMPDEST 000019f9: DUP2 000019fa: DUP4 000019fb: SUB 000019fc: SWAP1 000019fd: POP 000019fe: SWAP3 000019ff: SWAP2 00001a00: POP 00001a01: POP 00001a02: JUMP 00001a03: JUMPDEST 00001a04: PUSH1 0x00 00001a06: DUP1 00001a07: PUSH1 0x00 00001a09: DUP1 00001a0a: PUSH1 0x00 00001a0c: DUP1 00001a0d: PUSH1 0x00 00001a0f: DUP1 00001a10: PUSH1 0x00 00001a12: PUSH2 0x1a29 00001a15: PUSH2 0x1a22 00001a18: DUP13 00001a19: PUSH1 0x15 00001a1b: PUSH1 0xff 00001a1d: AND 00001a1e: PUSH2 0x1dff 00001a21: JUMP 00001a22: JUMPDEST 00001a23: PUSH1 0x64 00001a25: PUSH2 0x1e3a 00001a28: JUMP 00001a29: JUMPDEST 00001a2a: SWAP8 00001a2b: POP 00001a2c: PUSH2 0x1a36 00001a2f: DUP9 00001a30: PUSH1 0x03 00001a32: PUSH2 0x1e3a 00001a35: JUMP 00001a36: JUMPDEST 00001a37: SWAP7 00001a38: POP 00001a39: PUSH2 0x1a50 00001a3c: PUSH2 0x1a49 00001a3f: DUP13 00001a40: PUSH1 0x04 00001a42: PUSH1 0xff 00001a44: AND 00001a45: PUSH2 0x1dff 00001a48: JUMP 00001a49: JUMPDEST 00001a4a: PUSH1 0x64 00001a4c: PUSH2 0x1e3a 00001a4f: JUMP 00001a50: JUMPDEST 00001a51: SWAP6 00001a52: POP 00001a53: PUSH2 0x1a5c 00001a56: DUP9 00001a57: DUP9 00001a58: PUSH2 0x19ea 00001a5b: JUMP 00001a5c: JUMPDEST 00001a5d: SWAP5 00001a5e: POP 00001a5f: PUSH2 0x1a71 00001a62: PUSH2 0x1a6b 00001a65: DUP13 00001a66: DUP11 00001a67: PUSH2 0x19ea 00001a6a: JUMP 00001a6b: JUMPDEST 00001a6c: DUP8 00001a6d: PUSH2 0x19ea 00001a70: JUMP 00001a71: JUMPDEST 00001a72: SWAP4 00001a73: POP 00001a74: PUSH2 0x1a7f 00001a77: PUSH1 0x03 00001a79: SLOAD 00001a7a: DUP8 00001a7b: PUSH2 0x1f99 00001a7e: JUMP 00001a7f: JUMPDEST 00001a80: PUSH1 0x03 00001a82: DUP2 00001a83: SWAP1 00001a84: SSTORE 00001a85: POP 00001a86: PUSH2 0x1a8e 00001a89: DUP5 00001a8a: PUSH2 0x1e55 00001a8d: JUMP 00001a8e: JUMPDEST 00001a8f: SWAP3 00001a90: POP 00001a91: PUSH9 0x010000000000000000 00001a9b: DUP6 00001a9c: MUL 00001a9d: SWAP2 00001a9e: POP 00001a9f: PUSH1 0x00 00001aa1: DUP4 00001aa2: GT 00001aa3: DUP1 00001aa4: ISZERO 00001aa5: PUSH2 0x1aba 00001aa8: JUMPI 00001aa9: POP 00001aaa: PUSH1 0x08 00001aac: SLOAD 00001aad: PUSH2 0x1ab8 00001ab0: DUP5 00001ab1: PUSH1 0x08 00001ab3: SLOAD 00001ab4: PUSH2 0x1f99 00001ab7: JUMP 00001ab8: JUMPDEST 00001ab9: GT 00001aba: JUMPDEST 00001abb: ISZERO 00001abc: ISZERO 00001abd: PUSH2 0x1ac5 00001ac0: JUMPI 00001ac1: PUSH1 0x00 00001ac3: DUP1 00001ac4: REVERT 00001ac5: JUMPDEST 00001ac6: PUSH1 0x00 00001ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001add: AND 00001ade: DUP11 00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af4: AND 00001af5: EQ 00001af6: ISZERO 00001af7: DUP1 00001af8: ISZERO 00001af9: PUSH2 0x1b2e 00001afc: JUMPI 00001afd: POP 00001afe: CALLER 00001aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b14: AND 00001b15: DUP11 00001b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b2b: AND 00001b2c: EQ 00001b2d: ISZERO 00001b2e: JUMPDEST 00001b2f: DUP1 00001b30: ISZERO 00001b31: PUSH2 0x1b7b 00001b34: JUMPI 00001b35: POP 00001b36: PUSH1 0x04 00001b38: SLOAD 00001b39: PUSH1 0x05 00001b3b: PUSH1 0x00 00001b3d: DUP13 00001b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b53: AND 00001b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b69: AND 00001b6a: DUP2 00001b6b: MSTORE 00001b6c: PUSH1 0x20 00001b6e: ADD 00001b6f: SWAP1 00001b70: DUP2 00001b71: MSTORE 00001b72: PUSH1 0x20 00001b74: ADD 00001b75: PUSH1 0x00 00001b77: KECCAK256 00001b78: SLOAD 00001b79: LT 00001b7a: ISZERO 00001b7b: JUMPDEST 00001b7c: ISZERO 00001b7d: PUSH2 0x1c11 00001b80: JUMPI 00001b81: PUSH2 0x1bc9 00001b84: PUSH1 0x06 00001b86: PUSH1 0x00 00001b88: DUP13 00001b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9e: AND 00001b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb4: AND 00001bb5: DUP2 00001bb6: MSTORE 00001bb7: PUSH1 0x20 00001bb9: ADD 00001bba: SWAP1 00001bbb: DUP2 00001bbc: MSTORE 00001bbd: PUSH1 0x20 00001bbf: ADD 00001bc0: PUSH1 0x00 00001bc2: KECCAK256 00001bc3: SLOAD 00001bc4: DUP9 00001bc5: PUSH2 0x1f99 00001bc8: JUMP 00001bc9: JUMPDEST 00001bca: PUSH1 0x06 00001bcc: PUSH1 0x00 00001bce: DUP13 00001bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001be4: AND 00001be5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfa: AND 00001bfb: DUP2 00001bfc: MSTORE 00001bfd: PUSH1 0x20 00001bff: ADD 00001c00: SWAP1 00001c01: DUP2 00001c02: MSTORE 00001c03: PUSH1 0x20 00001c05: ADD 00001c06: PUSH1 0x00 00001c08: KECCAK256 00001c09: DUP2 00001c0a: SWAP1 00001c0b: SSTORE 00001c0c: POP 00001c0d: PUSH2 0x1c2c 00001c10: JUMP 00001c11: JUMPDEST 00001c12: PUSH2 0x1c1b 00001c15: DUP6 00001c16: DUP9 00001c17: PUSH2 0x1f99 00001c1a: JUMP 00001c1b: JUMPDEST 00001c1c: SWAP5 00001c1d: POP 00001c1e: PUSH9 0x010000000000000000 00001c28: DUP6 00001c29: MUL 00001c2a: SWAP2 00001c2b: POP 00001c2c: JUMPDEST 00001c2d: PUSH1 0x00 00001c2f: PUSH1 0x08 00001c31: SLOAD 00001c32: GT 00001c33: ISZERO 00001c34: PUSH2 0x1c97 00001c37: JUMPI 00001c38: PUSH2 0x1c43 00001c3b: PUSH1 0x08 00001c3d: SLOAD 00001c3e: DUP5 00001c3f: PUSH2 0x1f99 00001c42: JUMP 00001c43: JUMPDEST 00001c44: PUSH1 0x08 00001c46: DUP2 00001c47: SWAP1 00001c48: SSTORE 00001c49: POP 00001c4a: PUSH1 0x08 00001c4c: SLOAD 00001c4d: PUSH9 0x010000000000000000 00001c57: DUP7 00001c58: MUL 00001c59: DUP2 00001c5a: ISZERO 00001c5b: ISZERO 00001c5c: PUSH2 0x1c61 00001c5f: JUMPI 00001c60: INVALID 00001c61: JUMPDEST 00001c62: DIV 00001c63: PUSH1 0x09 00001c65: PUSH1 0x00 00001c67: DUP3 00001c68: DUP3 00001c69: SLOAD 00001c6a: ADD 00001c6b: SWAP3 00001c6c: POP 00001c6d: POP 00001c6e: DUP2 00001c6f: SWAP1 00001c70: SSTORE 00001c71: POP 00001c72: PUSH1 0x08 00001c74: SLOAD 00001c75: PUSH9 0x010000000000000000 00001c7f: DUP7 00001c80: MUL 00001c81: DUP2 00001c82: ISZERO 00001c83: ISZERO 00001c84: PUSH2 0x1c89 00001c87: JUMPI 00001c88: INVALID 00001c89: JUMPDEST 00001c8a: DIV 00001c8b: DUP4 00001c8c: MUL 00001c8d: DUP3 00001c8e: SUB 00001c8f: DUP3 00001c90: SUB 00001c91: SWAP2 00001c92: POP 00001c93: PUSH2 0x1c9f 00001c96: JUMP 00001c97: JUMPDEST 00001c98: DUP3 00001c99: PUSH1 0x08 00001c9b: DUP2 00001c9c: SWAP1 00001c9d: SSTORE 00001c9e: POP 00001c9f: JUMPDEST 00001ca0: PUSH2 0x1ce8 00001ca3: PUSH1 0x05 00001ca5: PUSH1 0x00 00001ca7: CALLER 00001ca8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cbd: AND 00001cbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd3: AND 00001cd4: DUP2 00001cd5: MSTORE 00001cd6: PUSH1 0x20 00001cd8: ADD 00001cd9: SWAP1 00001cda: DUP2 00001cdb: MSTORE 00001cdc: PUSH1 0x20 00001cde: ADD 00001cdf: PUSH1 0x00 00001ce1: KECCAK256 00001ce2: SLOAD 00001ce3: DUP5 00001ce4: PUSH2 0x1f99 00001ce7: JUMP 00001ce8: JUMPDEST 00001ce9: PUSH1 0x05 00001ceb: PUSH1 0x00 00001ced: CALLER 00001cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d03: AND 00001d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d19: AND 00001d1a: DUP2 00001d1b: MSTORE 00001d1c: PUSH1 0x20 00001d1e: ADD 00001d1f: SWAP1 00001d20: DUP2 00001d21: MSTORE 00001d22: PUSH1 0x20 00001d24: ADD 00001d25: PUSH1 0x00 00001d27: KECCAK256 00001d28: DUP2 00001d29: SWAP1 00001d2a: SSTORE 00001d2b: POP 00001d2c: DUP2 00001d2d: DUP4 00001d2e: PUSH1 0x09 00001d30: SLOAD 00001d31: MUL 00001d32: SUB 00001d33: SWAP1 00001d34: POP 00001d35: DUP1 00001d36: PUSH1 0x07 00001d38: PUSH1 0x00 00001d3a: CALLER 00001d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d50: AND 00001d51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d66: AND 00001d67: DUP2 00001d68: MSTORE 00001d69: PUSH1 0x20 00001d6b: ADD 00001d6c: SWAP1 00001d6d: DUP2 00001d6e: MSTORE 00001d6f: PUSH1 0x20 00001d71: ADD 00001d72: PUSH1 0x00 00001d74: KECCAK256 00001d75: PUSH1 0x00 00001d77: DUP3 00001d78: DUP3 00001d79: SLOAD 00001d7a: ADD 00001d7b: SWAP3 00001d7c: POP 00001d7d: POP 00001d7e: DUP2 00001d7f: SWAP1 00001d80: SSTORE 00001d81: POP 00001d82: DUP10 00001d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d98: AND 00001d99: CALLER 00001d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001daf: AND 00001db0: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00001dd1: DUP14 00001dd2: DUP7 00001dd3: PUSH1 0x40 00001dd5: MLOAD 00001dd6: DUP1 00001dd7: DUP4 00001dd8: DUP2 00001dd9: MSTORE 00001dda: PUSH1 0x20 00001ddc: ADD 00001ddd: DUP3 00001dde: DUP2 00001ddf: MSTORE 00001de0: PUSH1 0x20 00001de2: ADD 00001de3: SWAP3 00001de4: POP 00001de5: POP 00001de6: POP 00001de7: PUSH1 0x40 00001de9: MLOAD 00001dea: DUP1 00001deb: SWAP2 00001dec: SUB 00001ded: SWAP1 00001dee: LOG3 00001def: DUP3 00001df0: SWAP9 00001df1: POP 00001df2: POP 00001df3: POP 00001df4: POP 00001df5: POP 00001df6: POP 00001df7: POP 00001df8: POP 00001df9: POP 00001dfa: SWAP3 00001dfb: SWAP2 00001dfc: POP 00001dfd: POP 00001dfe: JUMP 00001dff: JUMPDEST 00001e00: PUSH1 0x00 00001e02: DUP1 00001e03: PUSH1 0x00 00001e05: DUP5 00001e06: EQ 00001e07: ISZERO 00001e08: PUSH2 0x1e14 00001e0b: JUMPI 00001e0c: PUSH1 0x00 00001e0e: SWAP2 00001e0f: POP 00001e10: PUSH2 0x1e33 00001e13: JUMP 00001e14: JUMPDEST 00001e15: DUP3 00001e16: DUP5 00001e17: MUL 00001e18: SWAP1 00001e19: POP 00001e1a: DUP3 00001e1b: DUP5 00001e1c: DUP3 00001e1d: DUP2 00001e1e: ISZERO 00001e1f: ISZERO 00001e20: PUSH2 0x1e25 00001e23: JUMPI 00001e24: INVALID 00001e25: JUMPDEST 00001e26: DIV 00001e27: EQ 00001e28: ISZERO 00001e29: ISZERO 00001e2a: PUSH2 0x1e2f 00001e2d: JUMPI 00001e2e: INVALID 00001e2f: JUMPDEST 00001e30: DUP1 00001e31: SWAP2 00001e32: POP 00001e33: JUMPDEST 00001e34: POP 00001e35: SWAP3 00001e36: SWAP2 00001e37: POP 00001e38: POP 00001e39: JUMP 00001e3a: JUMPDEST 00001e3b: PUSH1 0x00 00001e3d: DUP1 00001e3e: DUP3 00001e3f: DUP5 00001e40: DUP2 00001e41: ISZERO 00001e42: ISZERO 00001e43: PUSH2 0x1e48 00001e46: JUMPI 00001e47: INVALID 00001e48: JUMPDEST 00001e49: DIV 00001e4a: SWAP1 00001e4b: POP 00001e4c: DUP1 00001e4d: SWAP2 00001e4e: POP 00001e4f: POP 00001e50: SWAP3 00001e51: SWAP2 00001e52: POP 00001e53: POP 00001e54: JUMP 00001e55: JUMPDEST 00001e56: PUSH1 0x00 00001e58: DUP1 00001e59: PUSH1 0x00 00001e5b: PUSH8 0x0de0b6b3a7640000 00001e64: PUSH5 0x02540be400 00001e6a: MUL 00001e6b: SWAP2 00001e6c: POP 00001e6d: PUSH1 0x08 00001e6f: SLOAD 00001e70: PUSH4 0x3b9aca00 00001e75: PUSH2 0x1ec7 00001e78: PUSH2 0x1ec1 00001e7b: PUSH1 0x08 00001e7d: SLOAD 00001e7e: DUP7 00001e7f: PUSH4 0x3b9aca00 00001e84: PUSH1 0x02 00001e86: MUL 00001e87: MUL 00001e88: MUL 00001e89: PUSH1 0x02 00001e8b: PUSH1 0x08 00001e8d: SLOAD 00001e8e: EXP 00001e8f: PUSH1 0x02 00001e91: PUSH4 0x3b9aca00 00001e96: EXP 00001e97: MUL 00001e98: PUSH8 0x0de0b6b3a7640000 00001ea1: DUP11 00001ea2: MUL 00001ea3: PUSH8 0x0de0b6b3a7640000 00001eac: PUSH4 0x3b9aca00 00001eb1: MUL 00001eb2: PUSH1 0x02 00001eb4: MUL 00001eb5: MUL 00001eb6: PUSH1 0x02 00001eb8: DUP10 00001eb9: EXP 00001eba: ADD 00001ebb: ADD 00001ebc: ADD 00001ebd: PUSH2 0x1fb7 00001ec0: JUMP 00001ec1: JUMPDEST 00001ec2: DUP6 00001ec3: PUSH2 0x19ea 00001ec6: JUMP 00001ec7: JUMPDEST 00001ec8: DUP2 00001ec9: ISZERO 00001eca: ISZERO 00001ecb: PUSH2 0x1ed0 00001ece: JUMPI 00001ecf: INVALID 00001ed0: JUMPDEST 00001ed1: DIV 00001ed2: SUB 00001ed3: SWAP1 00001ed4: POP 00001ed5: DUP1 00001ed6: SWAP3 00001ed7: POP 00001ed8: POP 00001ed9: POP 00001eda: SWAP2 00001edb: SWAP1 00001edc: POP 00001edd: JUMP 00001ede: JUMPDEST 00001edf: PUSH1 0x00 00001ee1: DUP1 00001ee2: PUSH1 0x00 00001ee4: DUP1 00001ee5: PUSH8 0x0de0b6b3a7640000 00001eee: DUP6 00001eef: ADD 00001ef0: SWAP3 00001ef1: POP 00001ef2: PUSH8 0x0de0b6b3a7640000 00001efb: PUSH1 0x08 00001efd: SLOAD 00001efe: ADD 00001eff: SWAP2 00001f00: POP 00001f01: PUSH8 0x0de0b6b3a7640000 00001f0a: PUSH2 0x1f6f 00001f0d: PUSH8 0x0de0b6b3a7640000 00001f16: DUP6 00001f17: SUB 00001f18: PUSH4 0x3b9aca00 00001f1d: PUSH8 0x0de0b6b3a7640000 00001f26: DUP7 00001f27: DUP2 00001f28: ISZERO 00001f29: ISZERO 00001f2a: PUSH2 0x1f2f 00001f2d: JUMPI 00001f2e: INVALID 00001f2f: JUMPDEST 00001f30: DIV 00001f31: PUSH4 0x3b9aca00 00001f36: MUL 00001f37: PUSH5 0x02540be400 00001f3d: ADD 00001f3e: SUB 00001f3f: MUL 00001f40: PUSH1 0x02 00001f42: PUSH8 0x0de0b6b3a7640000 00001f4b: DUP8 00001f4c: PUSH1 0x02 00001f4e: DUP10 00001f4f: EXP 00001f50: SUB 00001f51: DUP2 00001f52: ISZERO 00001f53: ISZERO 00001f54: PUSH2 0x1f59 00001f57: JUMPI 00001f58: INVALID 00001f59: JUMPDEST 00001f5a: DIV 00001f5b: PUSH4 0x3b9aca00 00001f60: MUL 00001f61: DUP2 00001f62: ISZERO 00001f63: ISZERO 00001f64: PUSH2 0x1f69 00001f67: JUMPI 00001f68: INVALID 00001f69: JUMPDEST 00001f6a: DIV 00001f6b: PUSH2 0x19ea 00001f6e: JUMP 00001f6f: JUMPDEST 00001f70: DUP2 00001f71: ISZERO 00001f72: ISZERO 00001f73: PUSH2 0x1f78 00001f76: JUMPI 00001f77: INVALID 00001f78: JUMPDEST 00001f79: DIV 00001f7a: SWAP1 00001f7b: POP 00001f7c: DUP1 00001f7d: SWAP4 00001f7e: POP 00001f7f: POP 00001f80: POP 00001f81: POP 00001f82: SWAP2 00001f83: SWAP1 00001f84: POP 00001f85: JUMP 00001f86: JUMPDEST 00001f87: PUSH1 0x00 00001f89: DUP1 00001f8a: DUP3 00001f8b: EXTCODESIZE 00001f8c: SWAP1 00001f8d: POP 00001f8e: PUSH1 0x00 00001f90: DUP2 00001f91: GT 00001f92: SWAP2 00001f93: POP 00001f94: POP 00001f95: SWAP2 00001f96: SWAP1 00001f97: POP 00001f98: JUMP 00001f99: JUMPDEST 00001f9a: PUSH1 0x00 00001f9c: DUP1 00001f9d: DUP3 00001f9e: DUP5 00001f9f: ADD 00001fa0: SWAP1 00001fa1: POP 00001fa2: DUP4 00001fa3: DUP2 00001fa4: LT 00001fa5: ISZERO 00001fa6: ISZERO 00001fa7: ISZERO 00001fa8: PUSH2 0x1fad 00001fab: JUMPI 00001fac: INVALID 00001fad: JUMPDEST 00001fae: DUP1 00001faf: SWAP2 00001fb0: POP 00001fb1: POP 00001fb2: SWAP3 00001fb3: SWAP2 00001fb4: POP 00001fb5: POP 00001fb6: JUMP 00001fb7: JUMPDEST 00001fb8: PUSH1 0x00 00001fba: DUP1 00001fbb: PUSH1 0x02 00001fbd: PUSH1 0x01 00001fbf: DUP5 00001fc0: ADD 00001fc1: DUP2 00001fc2: ISZERO 00001fc3: ISZERO 00001fc4: PUSH2 0x1fc9 00001fc7: JUMPI 00001fc8: INVALID 00001fc9: JUMPDEST 00001fca: DIV 00001fcb: SWAP1 00001fcc: POP 00001fcd: DUP3 00001fce: SWAP2 00001fcf: POP 00001fd0: JUMPDEST 00001fd1: DUP2 00001fd2: DUP2 00001fd3: LT 00001fd4: ISZERO 00001fd5: PUSH2 0x1ffc 00001fd8: JUMPI 00001fd9: DUP1 00001fda: SWAP2 00001fdb: POP 00001fdc: PUSH1 0x02 00001fde: DUP2 00001fdf: DUP3 00001fe0: DUP6 00001fe1: DUP2 00001fe2: ISZERO 00001fe3: ISZERO 00001fe4: PUSH2 0x1fe9 00001fe7: JUMPI 00001fe8: INVALID 00001fe9: JUMPDEST 00001fea: DIV 00001feb: ADD 00001fec: DUP2 00001fed: ISZERO 00001fee: ISZERO 00001fef: PUSH2 0x1ff4 00001ff2: JUMPI 00001ff3: INVALID 00001ff4: JUMPDEST 00001ff5: DIV 00001ff6: SWAP1 00001ff7: POP 00001ff8: PUSH2 0x1fd0 00001ffb: JUMP 00001ffc: JUMPDEST 00001ffd: POP 00001ffe: SWAP2 00001fff: SWAP1 00002000: POP 00002001: JUMP 00002002: STOP 00002003: LOG1 00002004: PUSH6 0x627a7a723058 0000200b: KECCAK256 0000200c: UNKNOWN(0xB0) 0000200d: SWAP12 0000200e: GASLIMIT 0000200f: UNKNOWN(0xC8) 00002010: UNKNOWN(0xA9) 00002011: SSTORE 00002012: PUSH25 0x73567cc7ac231a47d04180cb56c37a5e5543dba11255700251 0000202c: STOP 0000202d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
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": "0x0f34dc16",
"selector": "0x0f34dc16",
"calldata_variants": [
"0x0f34dc16",
"0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x3b545d2f",
"selector": "0x3b545d2f",
"calldata_variants": [
"0x3b545d2f",
"0x3b545d2f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2169,
"type": "tx_origin_used"
},
{
"pc": 2192,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x090ef4a98560883a39edd683842605c272bbc07710d931b4a2e08e784dd2905f
call_targets:
0xc3ad35d351b33783f27777e2ee1a4b6f96e4ee34
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x090ef4a98560883a39edd683842605c272bbc07710d931b4a2e08e784dd2905f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3ad35d351b33783f27777e2ee1a4b6f96e4ee34"
],
"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": "0x0f34dc16",
"selector": "0x0f34dc16",
"calldata_variants": [
"0x0f34dc16",
"0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x3b545d2f",
"selector": "0x3b545d2f",
"calldata_variants": [
"0x3b545d2f",
"0x3b545d2f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2388,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3355,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3856,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2169,
"type": "tx_origin_used"
},
{
"pc": 2192,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x090ef4a98560883a39edd683842605c272bbc07710d931b4a2e08e784dd2905f
call_targets:
0xc3ad35d351b33783f27777e2ee1a4b6f96e4ee34
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x090ef4a98560883a39edd683842605c272bbc07710d931b4a2e08e784dd2905f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3ad35d351b33783f27777e2ee1a4b6f96e4ee34"
],
"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": "0x0f34dc16",
"selector": "0x0f34dc16",
"calldata_variants": [
"0x0f34dc16",
"0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x3b545d2f",
"selector": "0x3b545d2f",
"calldata_variants": [
"0x3b545d2f",
"0x3b545d2f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2388,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3355,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3856,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2169,
"type": "tx_origin_used"
},
{
"pc": 2192,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|