019b477e-b8b7-71f1-9d1b-1d046ff6f59d
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 |
|---|---|---|---|---|
| 23483 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23484 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107781 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107782 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107783 | detector.run | complete | 1 / 3 | 1 week ago |
| 107784 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01b5 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x01d5 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x0208 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x0f34dc16 00000050: EQ 00000051: PUSH2 0x0292 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x10d0ffdd 0000005b: EQ 0000005c: PUSH2 0x02c7 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x18160ddd 00000066: EQ 00000067: PUSH2 0x02df 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x22609373 00000071: EQ 00000072: PUSH2 0x02f4 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x27defa1f 0000007c: EQ 0000007d: PUSH2 0x030c 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x294205b4 00000087: EQ 00000088: PUSH2 0x0321 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x313ce567 00000092: EQ 00000093: PUSH2 0x0349 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x3ccfd60b 0000009d: EQ 0000009e: PUSH2 0x0374 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x4000aea0 000000a8: EQ 000000a9: PUSH2 0x0389 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x4b750334 000000b3: EQ 000000b4: PUSH2 0x03ba 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x56d399e8 000000be: EQ 000000bf: PUSH2 0x03cf 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x5e079aa5 000000c9: EQ 000000ca: PUSH2 0x03e4 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x66042e7a 000000d4: EQ 000000d5: PUSH2 0x0415 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x688abbf7 000000df: EQ 000000e0: PUSH2 0x042a 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x6b2f4632 000000ea: EQ 000000eb: PUSH2 0x0444 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x70a08231 000000f5: EQ 000000f6: PUSH2 0x0459 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x76be1585 00000100: EQ 00000101: PUSH2 0x047a 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x7ff276bd 0000010b: EQ 0000010c: PUSH2 0x049b 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x8328b610 00000116: EQ 00000117: PUSH2 0x04b0 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x8620410b 00000121: EQ 00000122: PUSH2 0x04c8 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x87c95058 0000012c: EQ 0000012d: PUSH2 0x04dd 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x8974372d 00000137: EQ 00000138: PUSH2 0x0503 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x949e8acd 00000142: EQ 00000143: PUSH2 0x050b 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x95d89b41 0000014d: EQ 0000014e: PUSH2 0x0520 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xa4d55686 00000158: EQ 00000159: PUSH2 0x0535 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xa8e04f34 00000163: EQ 00000164: PUSH2 0x054a 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0xa9059cbb 0000016e: EQ 0000016f: PUSH2 0x055f 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0xb84c8246 00000179: EQ 0000017a: PUSH2 0x0583 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0xc47f0027 00000184: EQ 00000185: PUSH2 0x05dc 00000188: JUMPI 00000189: DUP1 0000018a: PUSH4 0xe4849b32 0000018f: EQ 00000190: PUSH2 0x0635 00000193: JUMPI 00000194: DUP1 00000195: PUSH4 0xe9fad8ee 0000019a: EQ 0000019b: PUSH2 0x064d 0000019e: JUMPI 0000019f: DUP1 000001a0: PUSH4 0xf088d547 000001a5: EQ 000001a6: PUSH2 0x0662 000001a9: JUMPI 000001aa: DUP1 000001ab: PUSH4 0xfdb5a03e 000001b0: EQ 000001b1: PUSH2 0x0676 000001b4: JUMPI 000001b5: JUMPDEST 000001b6: PUSH5 0x174876e800 000001bc: GASPRICE 000001bd: GT 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: PUSH2 0x01d2 000001cb: CALLVALUE 000001cc: PUSH1 0x00 000001ce: PUSH2 0x068b 000001d1: JUMP 000001d2: JUMPDEST 000001d3: POP 000001d4: STOP 000001d5: JUMPDEST 000001d6: CALLVALUE 000001d7: DUP1 000001d8: ISZERO 000001d9: PUSH2 0x01e1 000001dc: JUMPI 000001dd: PUSH1 0x00 000001df: DUP1 000001e0: REVERT 000001e1: JUMPDEST 000001e2: POP 000001e3: PUSH2 0x01f6 000001e6: PUSH1 0x01 000001e8: PUSH1 0xa0 000001ea: PUSH1 0x02 000001ec: EXP 000001ed: SUB 000001ee: PUSH1 0x04 000001f0: CALLDATALOAD 000001f1: AND 000001f2: PUSH2 0x0c9b 000001f5: JUMP 000001f6: JUMPDEST 000001f7: PUSH1 0x40 000001f9: DUP1 000001fa: MLOAD 000001fb: SWAP2 000001fc: DUP3 000001fd: MSTORE 000001fe: MLOAD 000001ff: SWAP1 00000200: DUP2 00000201: SWAP1 00000202: SUB 00000203: PUSH1 0x20 00000205: ADD 00000206: SWAP1 00000207: RETURN 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x021d 00000219: PUSH2 0x0cd6 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH1 0x40 00000220: DUP1 00000221: MLOAD 00000222: PUSH1 0x20 00000224: DUP1 00000225: DUP3 00000226: MSTORE 00000227: DUP4 00000228: MLOAD 00000229: DUP2 0000022a: DUP4 0000022b: ADD 0000022c: MSTORE 0000022d: DUP4 0000022e: MLOAD 0000022f: SWAP2 00000230: SWAP3 00000231: DUP4 00000232: SWAP3 00000233: SWAP1 00000234: DUP4 00000235: ADD 00000236: SWAP2 00000237: DUP6 00000238: ADD 00000239: SWAP1 0000023a: DUP1 0000023b: DUP4 0000023c: DUP4 0000023d: PUSH1 0x00 0000023f: JUMPDEST 00000240: DUP4 00000241: DUP2 00000242: LT 00000243: ISZERO 00000244: PUSH2 0x0257 00000247: JUMPI 00000248: DUP2 00000249: DUP2 0000024a: ADD 0000024b: MLOAD 0000024c: DUP4 0000024d: DUP3 0000024e: ADD 0000024f: MSTORE 00000250: PUSH1 0x20 00000252: ADD 00000253: PUSH2 0x023f 00000256: JUMP 00000257: JUMPDEST 00000258: POP 00000259: POP 0000025a: POP 0000025b: POP 0000025c: SWAP1 0000025d: POP 0000025e: SWAP1 0000025f: DUP2 00000260: ADD 00000261: SWAP1 00000262: PUSH1 0x1f 00000264: AND 00000265: DUP1 00000266: ISZERO 00000267: PUSH2 0x0284 0000026a: JUMPI 0000026b: DUP1 0000026c: DUP3 0000026d: SUB 0000026e: DUP1 0000026f: MLOAD 00000270: PUSH1 0x01 00000272: DUP4 00000273: PUSH1 0x20 00000275: SUB 00000276: PUSH2 0x0100 00000279: EXP 0000027a: SUB 0000027b: NOT 0000027c: AND 0000027d: DUP2 0000027e: MSTORE 0000027f: PUSH1 0x20 00000281: ADD 00000282: SWAP2 00000283: POP 00000284: JUMPDEST 00000285: POP 00000286: SWAP3 00000287: POP 00000288: POP 00000289: POP 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: SWAP2 0000028f: SUB 00000290: SWAP1 00000291: RETURN 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x02b3 000002a3: PUSH1 0x01 000002a5: PUSH1 0xa0 000002a7: PUSH1 0x02 000002a9: EXP 000002aa: SUB 000002ab: PUSH1 0x04 000002ad: CALLDATALOAD 000002ae: AND 000002af: PUSH2 0x0d63 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x40 000002b6: DUP1 000002b7: MLOAD 000002b8: SWAP2 000002b9: ISZERO 000002ba: ISZERO 000002bb: DUP3 000002bc: MSTORE 000002bd: MLOAD 000002be: SWAP1 000002bf: DUP2 000002c0: SWAP1 000002c1: SUB 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP1 000002c6: RETURN 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: POP 000002d5: PUSH2 0x01f6 000002d8: PUSH1 0x04 000002da: CALLDATALOAD 000002db: PUSH2 0x0d78 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x01f6 000002f0: PUSH2 0x0dc6 000002f3: JUMP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x01f6 00000305: PUSH1 0x04 00000307: CALLDATALOAD 00000308: PUSH2 0x0dcd 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH2 0x02b3 0000031d: PUSH2 0x0e24 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x0347 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: PUSH1 0x02 00000338: EXP 00000339: SUB 0000033a: PUSH1 0x04 0000033c: CALLDATALOAD 0000033d: AND 0000033e: PUSH1 0x24 00000340: CALLDATALOAD 00000341: ISZERO 00000342: ISZERO 00000343: PUSH2 0x0e2d 00000346: JUMP 00000347: JUMPDEST 00000348: STOP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x035e 0000035a: PUSH2 0x0e77 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH1 0x40 00000361: DUP1 00000362: MLOAD 00000363: PUSH1 0xff 00000365: SWAP1 00000366: SWAP3 00000367: AND 00000368: DUP3 00000369: MSTORE 0000036a: MLOAD 0000036b: SWAP1 0000036c: DUP2 0000036d: SWAP1 0000036e: SUB 0000036f: PUSH1 0x20 00000371: ADD 00000372: SWAP1 00000373: RETURN 00000374: JUMPDEST 00000375: CALLVALUE 00000376: DUP1 00000377: ISZERO 00000378: PUSH2 0x0380 0000037b: JUMPI 0000037c: PUSH1 0x00 0000037e: DUP1 0000037f: REVERT 00000380: JUMPDEST 00000381: POP 00000382: PUSH2 0x0347 00000385: PUSH2 0x0e7c 00000388: JUMP 00000389: JUMPDEST 0000038a: CALLVALUE 0000038b: DUP1 0000038c: ISZERO 0000038d: PUSH2 0x0395 00000390: JUMPI 00000391: PUSH1 0x00 00000393: DUP1 00000394: REVERT 00000395: JUMPDEST 00000396: POP 00000397: PUSH2 0x02b3 0000039a: PUSH1 0x04 0000039c: DUP1 0000039d: CALLDATALOAD 0000039e: PUSH1 0x01 000003a0: PUSH1 0xa0 000003a2: PUSH1 0x02 000003a4: EXP 000003a5: SUB 000003a6: AND 000003a7: SWAP1 000003a8: PUSH1 0x24 000003aa: DUP1 000003ab: CALLDATALOAD 000003ac: SWAP2 000003ad: PUSH1 0x44 000003af: CALLDATALOAD 000003b0: SWAP2 000003b1: DUP3 000003b2: ADD 000003b3: SWAP2 000003b4: ADD 000003b5: CALLDATALOAD 000003b6: PUSH2 0x0f4f 000003b9: JUMP 000003ba: JUMPDEST 000003bb: CALLVALUE 000003bc: DUP1 000003bd: ISZERO 000003be: PUSH2 0x03c6 000003c1: JUMPI 000003c2: PUSH1 0x00 000003c4: DUP1 000003c5: REVERT 000003c6: JUMPDEST 000003c7: POP 000003c8: PUSH2 0x01f6 000003cb: PUSH2 0x1089 000003ce: JUMP 000003cf: JUMPDEST 000003d0: CALLVALUE 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: POP 000003dd: PUSH2 0x01f6 000003e0: PUSH2 0x10f6 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x03f9 000003f5: PUSH2 0x10fc 000003f8: JUMP 000003f9: JUMPDEST 000003fa: PUSH1 0x40 000003fc: DUP1 000003fd: MLOAD 000003fe: PUSH1 0x01 00000400: PUSH1 0xa0 00000402: PUSH1 0x02 00000404: EXP 00000405: SUB 00000406: SWAP1 00000407: SWAP3 00000408: AND 00000409: DUP3 0000040a: MSTORE 0000040b: MLOAD 0000040c: SWAP1 0000040d: DUP2 0000040e: SWAP1 0000040f: SUB 00000410: PUSH1 0x20 00000412: ADD 00000413: SWAP1 00000414: RETURN 00000415: JUMPDEST 00000416: CALLVALUE 00000417: DUP1 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: POP 00000423: PUSH2 0x01f6 00000426: PUSH2 0x1114 00000429: JUMP 0000042a: JUMPDEST 0000042b: CALLVALUE 0000042c: DUP1 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH2 0x01f6 0000043b: PUSH1 0x04 0000043d: CALLDATALOAD 0000043e: ISZERO 0000043f: ISZERO 00000440: PUSH2 0x1129 00000443: JUMP 00000444: JUMPDEST 00000445: CALLVALUE 00000446: DUP1 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: PUSH2 0x01f6 00000455: PUSH2 0x116c 00000458: JUMP 00000459: JUMPDEST 0000045a: CALLVALUE 0000045b: DUP1 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: PUSH2 0x01f6 0000046a: PUSH1 0x01 0000046c: PUSH1 0xa0 0000046e: PUSH1 0x02 00000470: EXP 00000471: SUB 00000472: PUSH1 0x04 00000474: CALLDATALOAD 00000475: AND 00000476: PUSH2 0x1171 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: DUP1 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: PUSH2 0x02b3 0000048b: PUSH1 0x01 0000048d: PUSH1 0xa0 0000048f: PUSH1 0x02 00000491: EXP 00000492: SUB 00000493: PUSH1 0x04 00000495: CALLDATALOAD 00000496: AND 00000497: PUSH2 0x118c 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x01f6 000004ac: PUSH2 0x11a1 000004af: JUMP 000004b0: JUMPDEST 000004b1: CALLVALUE 000004b2: DUP1 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: POP 000004be: PUSH2 0x0347 000004c1: PUSH1 0x04 000004c3: CALLDATALOAD 000004c4: PUSH2 0x11a7 000004c7: JUMP 000004c8: JUMPDEST 000004c9: CALLVALUE 000004ca: DUP1 000004cb: ISZERO 000004cc: PUSH2 0x04d4 000004cf: JUMPI 000004d0: PUSH1 0x00 000004d2: DUP1 000004d3: REVERT 000004d4: JUMPDEST 000004d5: POP 000004d6: PUSH2 0x01f6 000004d9: PUSH2 0x11cb 000004dc: JUMP 000004dd: JUMPDEST 000004de: CALLVALUE 000004df: DUP1 000004e0: ISZERO 000004e1: PUSH2 0x04e9 000004e4: JUMPI 000004e5: PUSH1 0x00 000004e7: DUP1 000004e8: REVERT 000004e9: JUMPDEST 000004ea: POP 000004eb: PUSH2 0x0347 000004ee: PUSH1 0x01 000004f0: PUSH1 0xa0 000004f2: PUSH1 0x02 000004f4: EXP 000004f5: SUB 000004f6: PUSH1 0x04 000004f8: CALLDATALOAD 000004f9: AND 000004fa: PUSH1 0x24 000004fc: CALLDATALOAD 000004fd: ISZERO 000004fe: ISZERO 000004ff: PUSH2 0x1231 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x0347 00000507: PUSH2 0x127b 0000050a: JUMP 0000050b: JUMPDEST 0000050c: CALLVALUE 0000050d: DUP1 0000050e: ISZERO 0000050f: PUSH2 0x0517 00000512: JUMPI 00000513: PUSH1 0x00 00000515: DUP1 00000516: REVERT 00000517: JUMPDEST 00000518: POP 00000519: PUSH2 0x01f6 0000051c: PUSH2 0x12f0 0000051f: JUMP 00000520: JUMPDEST 00000521: CALLVALUE 00000522: DUP1 00000523: ISZERO 00000524: PUSH2 0x052c 00000527: JUMPI 00000528: PUSH1 0x00 0000052a: DUP1 0000052b: REVERT 0000052c: JUMPDEST 0000052d: POP 0000052e: PUSH2 0x021d 00000531: PUSH2 0x1303 00000534: JUMP 00000535: JUMPDEST 00000536: CALLVALUE 00000537: DUP1 00000538: ISZERO 00000539: PUSH2 0x0541 0000053c: JUMPI 0000053d: PUSH1 0x00 0000053f: DUP1 00000540: REVERT 00000541: JUMPDEST 00000542: POP 00000543: PUSH2 0x01f6 00000546: PUSH2 0x135b 00000549: JUMP 0000054a: JUMPDEST 0000054b: CALLVALUE 0000054c: DUP1 0000054d: ISZERO 0000054e: PUSH2 0x0556 00000551: JUMPI 00000552: PUSH1 0x00 00000554: DUP1 00000555: REVERT 00000556: JUMPDEST 00000557: POP 00000558: PUSH2 0x0347 0000055b: PUSH2 0x1361 0000055e: JUMP 0000055f: JUMPDEST 00000560: CALLVALUE 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x056b 00000566: JUMPI 00000567: PUSH1 0x00 00000569: DUP1 0000056a: REVERT 0000056b: JUMPDEST 0000056c: POP 0000056d: PUSH2 0x02b3 00000570: PUSH1 0x01 00000572: PUSH1 0xa0 00000574: PUSH1 0x02 00000576: EXP 00000577: SUB 00000578: PUSH1 0x04 0000057a: CALLDATALOAD 0000057b: AND 0000057c: PUSH1 0x24 0000057e: CALLDATALOAD 0000057f: PUSH2 0x138c 00000582: JUMP 00000583: JUMPDEST 00000584: CALLVALUE 00000585: DUP1 00000586: ISZERO 00000587: PUSH2 0x058f 0000058a: JUMPI 0000058b: PUSH1 0x00 0000058d: DUP1 0000058e: REVERT 0000058f: JUMPDEST 00000590: POP 00000591: PUSH1 0x40 00000593: DUP1 00000594: MLOAD 00000595: PUSH1 0x20 00000597: PUSH1 0x04 00000599: DUP1 0000059a: CALLDATALOAD 0000059b: DUP1 0000059c: DUP3 0000059d: ADD 0000059e: CALLDATALOAD 0000059f: PUSH1 0x1f 000005a1: DUP2 000005a2: ADD 000005a3: DUP5 000005a4: SWAP1 000005a5: DIV 000005a6: DUP5 000005a7: MUL 000005a8: DUP6 000005a9: ADD 000005aa: DUP5 000005ab: ADD 000005ac: SWAP1 000005ad: SWAP6 000005ae: MSTORE 000005af: DUP5 000005b0: DUP5 000005b1: MSTORE 000005b2: PUSH2 0x0347 000005b5: SWAP5 000005b6: CALLDATASIZE 000005b7: SWAP5 000005b8: SWAP3 000005b9: SWAP4 000005ba: PUSH1 0x24 000005bc: SWAP4 000005bd: SWAP3 000005be: DUP5 000005bf: ADD 000005c0: SWAP2 000005c1: SWAP1 000005c2: DUP2 000005c3: SWAP1 000005c4: DUP5 000005c5: ADD 000005c6: DUP4 000005c7: DUP3 000005c8: DUP1 000005c9: DUP3 000005ca: DUP5 000005cb: CALLDATACOPY 000005cc: POP 000005cd: SWAP5 000005ce: SWAP8 000005cf: POP 000005d0: PUSH2 0x14bb 000005d3: SWAP7 000005d4: POP 000005d5: POP 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: POP 000005da: POP 000005db: JUMP 000005dc: JUMPDEST 000005dd: CALLVALUE 000005de: DUP1 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: POP 000005ea: PUSH1 0x40 000005ec: DUP1 000005ed: MLOAD 000005ee: PUSH1 0x20 000005f0: PUSH1 0x04 000005f2: DUP1 000005f3: CALLDATALOAD 000005f4: DUP1 000005f5: DUP3 000005f6: ADD 000005f7: CALLDATALOAD 000005f8: PUSH1 0x1f 000005fa: DUP2 000005fb: ADD 000005fc: DUP5 000005fd: SWAP1 000005fe: DIV 000005ff: DUP5 00000600: MUL 00000601: DUP6 00000602: ADD 00000603: DUP5 00000604: ADD 00000605: SWAP1 00000606: SWAP6 00000607: MSTORE 00000608: DUP5 00000609: DUP5 0000060a: MSTORE 0000060b: PUSH2 0x0347 0000060e: SWAP5 0000060f: CALLDATASIZE 00000610: SWAP5 00000611: SWAP3 00000612: SWAP4 00000613: PUSH1 0x24 00000615: SWAP4 00000616: SWAP3 00000617: DUP5 00000618: ADD 00000619: SWAP2 0000061a: SWAP1 0000061b: DUP2 0000061c: SWAP1 0000061d: DUP5 0000061e: ADD 0000061f: DUP4 00000620: DUP3 00000621: DUP1 00000622: DUP3 00000623: DUP5 00000624: CALLDATACOPY 00000625: POP 00000626: SWAP5 00000627: SWAP8 00000628: POP 00000629: PUSH2 0x14f1 0000062c: SWAP7 0000062d: POP 0000062e: POP 0000062f: POP 00000630: POP 00000631: POP 00000632: POP 00000633: POP 00000634: JUMP 00000635: JUMPDEST 00000636: CALLVALUE 00000637: DUP1 00000638: ISZERO 00000639: PUSH2 0x0641 0000063c: JUMPI 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: REVERT 00000641: JUMPDEST 00000642: POP 00000643: PUSH2 0x0347 00000646: PUSH1 0x04 00000648: CALLDATALOAD 00000649: PUSH2 0x1522 0000064c: JUMP 0000064d: JUMPDEST 0000064e: CALLVALUE 0000064f: DUP1 00000650: ISZERO 00000651: PUSH2 0x0659 00000654: JUMPI 00000655: PUSH1 0x00 00000657: DUP1 00000658: REVERT 00000659: JUMPDEST 0000065a: POP 0000065b: PUSH2 0x0347 0000065e: PUSH2 0x16a1 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH2 0x01f6 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: PUSH1 0x02 0000066c: EXP 0000066d: SUB 0000066e: PUSH1 0x04 00000670: CALLDATALOAD 00000671: AND 00000672: PUSH2 0x16ce 00000675: JUMP 00000676: JUMPDEST 00000677: CALLVALUE 00000678: DUP1 00000679: ISZERO 0000067a: PUSH2 0x0682 0000067d: JUMPI 0000067e: PUSH1 0x00 00000680: DUP1 00000681: REVERT 00000682: JUMPDEST 00000683: POP 00000684: PUSH2 0x0347 00000687: PUSH2 0x16ec 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: PUSH1 0x00 00000691: DUP1 00000692: PUSH1 0x00 00000694: DUP1 00000695: PUSH1 0x00 00000697: DUP1 00000698: PUSH1 0x00 0000069a: DUP11 0000069b: PUSH1 0x00 0000069d: CALLER 0000069e: SWAP1 0000069f: POP 000006a0: PUSH1 0x00 000006a2: SLOAD 000006a3: TIMESTAMP 000006a4: LT 000006a5: ISZERO 000006a6: ISZERO 000006a7: PUSH2 0x06b5 000006aa: JUMPI 000006ab: PUSH1 0x0e 000006ad: DUP1 000006ae: SLOAD 000006af: PUSH1 0xff 000006b1: NOT 000006b2: AND 000006b3: SWAP1 000006b4: SSTORE 000006b5: JUMPDEST 000006b6: PUSH1 0x0e 000006b8: SLOAD 000006b9: PUSH1 0xff 000006bb: AND 000006bc: DUP1 000006bd: ISZERO 000006be: PUSH2 0x06d9 000006c1: JUMPI 000006c2: POP 000006c3: PUSH9 0x0ad78ebc5ac6200000 000006cd: DUP3 000006ce: PUSH2 0x06d5 000006d1: PUSH2 0x116c 000006d4: JUMP 000006d5: JUMPDEST 000006d6: SUB 000006d7: GT 000006d8: ISZERO 000006d9: JUMPDEST 000006da: ISZERO 000006db: PUSH2 0x0a04 000006de: JUMPI 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: PUSH1 0x02 000006e5: EXP 000006e6: SUB 000006e7: DUP2 000006e8: AND 000006e9: PUSH1 0x00 000006eb: SWAP1 000006ec: DUP2 000006ed: MSTORE 000006ee: PUSH1 0x06 000006f0: PUSH1 0x20 000006f2: MSTORE 000006f3: PUSH1 0x40 000006f5: SWAP1 000006f6: KECCAK256 000006f7: SLOAD 000006f8: PUSH1 0xff 000006fa: AND 000006fb: ISZERO 000006fc: ISZERO 000006fd: PUSH1 0x01 000006ff: EQ 00000700: DUP1 00000701: ISZERO 00000702: PUSH2 0x072f 00000705: JUMPI 00000706: POP 00000707: PUSH1 0x01 00000709: PUSH1 0xa0 0000070b: PUSH1 0x02 0000070d: EXP 0000070e: SUB 0000070f: DUP2 00000710: AND 00000711: PUSH1 0x00 00000713: SWAP1 00000714: DUP2 00000715: MSTORE 00000716: PUSH1 0x0a 00000718: PUSH1 0x20 0000071a: MSTORE 0000071b: PUSH1 0x40 0000071d: SWAP1 0000071e: KECCAK256 0000071f: SLOAD 00000720: PUSH9 0x1043561a8829300000 0000072a: SWAP1 0000072b: DUP4 0000072c: ADD 0000072d: GT 0000072e: ISZERO 0000072f: JUMPDEST 00000730: ISZERO 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: PUSH1 0x02 00000741: EXP 00000742: SUB 00000743: DUP2 00000744: AND 00000745: PUSH1 0x00 00000747: SWAP1 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x0a 0000074c: PUSH1 0x20 0000074e: MSTORE 0000074f: PUSH1 0x40 00000751: SWAP1 00000752: KECCAK256 00000753: SLOAD 00000754: PUSH2 0x075d 00000757: SWAP1 00000758: DUP4 00000759: PUSH2 0x17a2 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: PUSH1 0x02 00000764: EXP 00000765: SUB 00000766: DUP3 00000767: AND 00000768: PUSH1 0x00 0000076a: SWAP1 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x0a 0000076f: PUSH1 0x20 00000771: MSTORE 00000772: PUSH1 0x40 00000774: SWAP1 00000775: KECCAK256 00000776: SSTORE 00000777: PUSH2 0x078b 0000077a: PUSH2 0x0784 0000077d: DUP15 0000077e: PUSH1 0x14 00000780: PUSH2 0x17b8 00000783: JUMP 00000784: JUMPDEST 00000785: PUSH1 0x64 00000787: PUSH2 0x17e3 0000078a: JUMP 0000078b: JUMPDEST 0000078c: SWAP10 0000078d: POP 0000078e: PUSH2 0x0798 00000791: DUP11 00000792: PUSH1 0x03 00000794: PUSH2 0x17e3 00000797: JUMP 00000798: JUMPDEST 00000799: SWAP9 0000079a: POP 0000079b: PUSH2 0x07a8 0000079e: PUSH2 0x0784 000007a1: DUP15 000007a2: PUSH1 0x05 000007a4: PUSH2 0x17b8 000007a7: JUMP 000007a8: JUMPDEST 000007a9: SWAP8 000007aa: POP 000007ab: PUSH2 0x07b4 000007ae: DUP11 000007af: DUP11 000007b0: PUSH2 0x17fa 000007b3: JUMP 000007b4: JUMPDEST 000007b5: SWAP7 000007b6: POP 000007b7: PUSH2 0x07c9 000007ba: PUSH2 0x07c3 000007bd: DUP15 000007be: DUP13 000007bf: PUSH2 0x17fa 000007c2: JUMP 000007c3: JUMPDEST 000007c4: DUP10 000007c5: PUSH2 0x17fa 000007c8: JUMP 000007c9: JUMPDEST 000007ca: SWAP6 000007cb: POP 000007cc: PUSH2 0x07d7 000007cf: PUSH1 0x04 000007d1: SLOAD 000007d2: DUP10 000007d3: PUSH2 0x17a2 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH1 0x04 000007da: SSTORE 000007db: PUSH2 0x07e3 000007de: DUP7 000007df: PUSH2 0x180c 000007e2: JUMP 000007e3: JUMPDEST 000007e4: SWAP5 000007e5: POP 000007e6: PUSH9 0x010000000000000000 000007f0: DUP8 000007f1: MUL 000007f2: SWAP4 000007f3: POP 000007f4: PUSH1 0x00 000007f6: DUP6 000007f7: GT 000007f8: DUP1 000007f9: ISZERO 000007fa: PUSH2 0x080d 000007fd: JUMPI 000007fe: POP 000007ff: PUSH1 0x0b 00000801: SLOAD 00000802: PUSH2 0x080b 00000805: DUP7 00000806: DUP3 00000807: PUSH2 0x17a2 0000080a: JUMP 0000080b: JUMPDEST 0000080c: GT 0000080d: JUMPDEST 0000080e: ISZERO 0000080f: ISZERO 00000810: PUSH2 0x0818 00000813: JUMPI 00000814: PUSH1 0x00 00000816: DUP1 00000817: REVERT 00000818: JUMPDEST 00000819: PUSH1 0x01 0000081b: PUSH1 0xa0 0000081d: PUSH1 0x02 0000081f: EXP 00000820: SUB 00000821: DUP13 00000822: AND 00000823: ISZERO 00000824: DUP1 00000825: ISZERO 00000826: SWAP1 00000827: PUSH2 0x0839 0000082a: JUMPI 0000082b: POP 0000082c: PUSH1 0x01 0000082e: PUSH1 0xa0 00000830: PUSH1 0x02 00000832: EXP 00000833: SUB 00000834: DUP13 00000835: AND 00000836: CALLER 00000837: EQ 00000838: ISZERO 00000839: JUMPDEST 0000083a: DUP1 0000083b: ISZERO 0000083c: PUSH2 0x085f 0000083f: JUMPI 00000840: POP 00000841: PUSH1 0x05 00000843: SLOAD 00000844: PUSH1 0x01 00000846: PUSH1 0xa0 00000848: PUSH1 0x02 0000084a: EXP 0000084b: SUB 0000084c: DUP14 0000084d: AND 0000084e: PUSH1 0x00 00000850: SWAP1 00000851: DUP2 00000852: MSTORE 00000853: PUSH1 0x07 00000855: PUSH1 0x20 00000857: MSTORE 00000858: PUSH1 0x40 0000085a: SWAP1 0000085b: KECCAK256 0000085c: SLOAD 0000085d: LT 0000085e: ISZERO 0000085f: JUMPDEST 00000860: ISZERO 00000861: PUSH2 0x08a5 00000864: JUMPI 00000865: PUSH1 0x01 00000867: PUSH1 0xa0 00000869: PUSH1 0x02 0000086b: EXP 0000086c: SUB 0000086d: DUP13 0000086e: AND 0000086f: PUSH1 0x00 00000871: SWAP1 00000872: DUP2 00000873: MSTORE 00000874: PUSH1 0x08 00000876: PUSH1 0x20 00000878: MSTORE 00000879: PUSH1 0x40 0000087b: SWAP1 0000087c: KECCAK256 0000087d: SLOAD 0000087e: PUSH2 0x0887 00000881: SWAP1 00000882: DUP11 00000883: PUSH2 0x17a2 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x01 0000088a: PUSH1 0xa0 0000088c: PUSH1 0x02 0000088e: EXP 0000088f: SUB 00000890: DUP14 00000891: AND 00000892: PUSH1 0x00 00000894: SWAP1 00000895: DUP2 00000896: MSTORE 00000897: PUSH1 0x08 00000899: PUSH1 0x20 0000089b: MSTORE 0000089c: PUSH1 0x40 0000089e: SWAP1 0000089f: KECCAK256 000008a0: SSTORE 000008a1: PUSH2 0x08c0 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH2 0x08af 000008a9: DUP8 000008aa: DUP11 000008ab: PUSH2 0x17a2 000008ae: JUMP 000008af: JUMPDEST 000008b0: SWAP7 000008b1: POP 000008b2: PUSH9 0x010000000000000000 000008bc: DUP8 000008bd: MUL 000008be: SWAP4 000008bf: POP 000008c0: JUMPDEST 000008c1: PUSH1 0x00 000008c3: PUSH1 0x0b 000008c5: SLOAD 000008c6: GT 000008c7: ISZERO 000008c8: PUSH2 0x0924 000008cb: JUMPI 000008cc: PUSH2 0x08d7 000008cf: PUSH1 0x0b 000008d1: SLOAD 000008d2: DUP7 000008d3: PUSH2 0x17a2 000008d6: JUMP 000008d7: JUMPDEST 000008d8: PUSH1 0x0b 000008da: DUP2 000008db: SWAP1 000008dc: SSTORE 000008dd: PUSH9 0x010000000000000000 000008e7: DUP9 000008e8: MUL 000008e9: DUP2 000008ea: ISZERO 000008eb: ISZERO 000008ec: PUSH2 0x08f1 000008ef: JUMPI 000008f0: INVALID 000008f1: JUMPDEST 000008f2: PUSH1 0x0c 000008f4: DUP1 000008f5: SLOAD 000008f6: SWAP3 000008f7: SWAP1 000008f8: SWAP2 000008f9: DIV 000008fa: SWAP1 000008fb: SWAP2 000008fc: ADD 000008fd: SWAP1 000008fe: SSTORE 000008ff: PUSH1 0x0b 00000901: SLOAD 00000902: PUSH9 0x010000000000000000 0000090c: DUP9 0000090d: MUL 0000090e: DUP2 0000090f: ISZERO 00000910: ISZERO 00000911: PUSH2 0x0916 00000914: JUMPI 00000915: INVALID 00000916: JUMPDEST 00000917: DIV 00000918: DUP6 00000919: MUL 0000091a: DUP5 0000091b: SUB 0000091c: DUP5 0000091d: SUB 0000091e: SWAP4 0000091f: POP 00000920: PUSH2 0x092a 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH1 0x0b 00000927: DUP6 00000928: SWAP1 00000929: SSTORE 0000092a: JUMPDEST 0000092b: CALLER 0000092c: PUSH1 0x00 0000092e: SWAP1 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x07 00000933: PUSH1 0x20 00000935: MSTORE 00000936: PUSH1 0x40 00000938: SWAP1 00000939: KECCAK256 0000093a: SLOAD 0000093b: PUSH2 0x0944 0000093e: SWAP1 0000093f: DUP7 00000940: PUSH2 0x17a2 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x07 00000947: PUSH1 0x00 00000949: CALLER 0000094a: PUSH1 0x01 0000094c: PUSH1 0xa0 0000094e: PUSH1 0x02 00000950: EXP 00000951: SUB 00000952: AND 00000953: PUSH1 0x01 00000955: PUSH1 0xa0 00000957: PUSH1 0x02 00000959: EXP 0000095a: SUB 0000095b: AND 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x20 00000960: ADD 00000961: SWAP1 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x20 00000966: ADD 00000967: PUSH1 0x00 00000969: KECCAK256 0000096a: DUP2 0000096b: SWAP1 0000096c: SSTORE 0000096d: POP 0000096e: DUP4 0000096f: DUP6 00000970: PUSH1 0x0c 00000972: SLOAD 00000973: MUL 00000974: SUB 00000975: SWAP3 00000976: POP 00000977: DUP3 00000978: PUSH1 0x09 0000097a: PUSH1 0x00 0000097c: CALLER 0000097d: PUSH1 0x01 0000097f: PUSH1 0xa0 00000981: PUSH1 0x02 00000983: EXP 00000984: SUB 00000985: AND 00000986: PUSH1 0x01 00000988: PUSH1 0xa0 0000098a: PUSH1 0x02 0000098c: EXP 0000098d: SUB 0000098e: AND 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x20 00000993: ADD 00000994: SWAP1 00000995: DUP2 00000996: MSTORE 00000997: PUSH1 0x20 00000999: ADD 0000099a: PUSH1 0x00 0000099c: KECCAK256 0000099d: PUSH1 0x00 0000099f: DUP3 000009a0: DUP3 000009a1: SLOAD 000009a2: ADD 000009a3: SWAP3 000009a4: POP 000009a5: POP 000009a6: DUP2 000009a7: SWAP1 000009a8: SSTORE 000009a9: POP 000009aa: DUP12 000009ab: PUSH1 0x01 000009ad: PUSH1 0xa0 000009af: PUSH1 0x02 000009b1: EXP 000009b2: SUB 000009b3: AND 000009b4: CALLER 000009b5: PUSH1 0x01 000009b7: PUSH1 0xa0 000009b9: PUSH1 0x02 000009bb: EXP 000009bc: SUB 000009bd: AND 000009be: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000009df: DUP16 000009e0: DUP9 000009e1: PUSH1 0x40 000009e3: MLOAD 000009e4: DUP1 000009e5: DUP4 000009e6: DUP2 000009e7: MSTORE 000009e8: PUSH1 0x20 000009ea: ADD 000009eb: DUP3 000009ec: DUP2 000009ed: MSTORE 000009ee: PUSH1 0x20 000009f0: ADD 000009f1: SWAP3 000009f2: POP 000009f3: POP 000009f4: POP 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: DUP1 000009f9: SWAP2 000009fa: SUB 000009fb: SWAP1 000009fc: LOG3 000009fd: DUP5 000009fe: SWAP11 000009ff: POP 00000a00: PUSH2 0x0c8b 00000a03: JUMP 00000a04: JUMPDEST 00000a05: PUSH1 0x0e 00000a07: DUP1 00000a08: SLOAD 00000a09: PUSH1 0xff 00000a0b: NOT 00000a0c: AND 00000a0d: SWAP1 00000a0e: SSTORE 00000a0f: PUSH2 0x0a1c 00000a12: PUSH2 0x0784 00000a15: DUP15 00000a16: PUSH1 0x14 00000a18: PUSH2 0x17b8 00000a1b: JUMP 00000a1c: JUMPDEST 00000a1d: SWAP10 00000a1e: POP 00000a1f: PUSH2 0x0a29 00000a22: DUP11 00000a23: PUSH1 0x03 00000a25: PUSH2 0x17e3 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: SWAP9 00000a2b: POP 00000a2c: PUSH2 0x0a39 00000a2f: PUSH2 0x0784 00000a32: DUP15 00000a33: PUSH1 0x05 00000a35: PUSH2 0x17b8 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: SWAP8 00000a3b: POP 00000a3c: PUSH2 0x0a45 00000a3f: DUP11 00000a40: DUP11 00000a41: PUSH2 0x17fa 00000a44: JUMP 00000a45: JUMPDEST 00000a46: SWAP7 00000a47: POP 00000a48: PUSH2 0x0a54 00000a4b: PUSH2 0x07c3 00000a4e: DUP15 00000a4f: DUP13 00000a50: PUSH2 0x17fa 00000a53: JUMP 00000a54: JUMPDEST 00000a55: SWAP6 00000a56: POP 00000a57: PUSH2 0x0a62 00000a5a: PUSH1 0x04 00000a5c: SLOAD 00000a5d: DUP10 00000a5e: PUSH2 0x17a2 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH1 0x04 00000a65: SSTORE 00000a66: PUSH2 0x0a6e 00000a69: DUP7 00000a6a: PUSH2 0x180c 00000a6d: JUMP 00000a6e: JUMPDEST 00000a6f: SWAP5 00000a70: POP 00000a71: PUSH9 0x010000000000000000 00000a7b: DUP8 00000a7c: MUL 00000a7d: SWAP4 00000a7e: POP 00000a7f: PUSH1 0x00 00000a81: DUP6 00000a82: GT 00000a83: DUP1 00000a84: ISZERO 00000a85: PUSH2 0x0a98 00000a88: JUMPI 00000a89: POP 00000a8a: PUSH1 0x0b 00000a8c: SLOAD 00000a8d: PUSH2 0x0a96 00000a90: DUP7 00000a91: DUP3 00000a92: PUSH2 0x17a2 00000a95: JUMP 00000a96: JUMPDEST 00000a97: GT 00000a98: JUMPDEST 00000a99: ISZERO 00000a9a: ISZERO 00000a9b: PUSH2 0x0aa3 00000a9e: JUMPI 00000a9f: PUSH1 0x00 00000aa1: DUP1 00000aa2: REVERT 00000aa3: JUMPDEST 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xa0 00000aa8: PUSH1 0x02 00000aaa: EXP 00000aab: SUB 00000aac: DUP13 00000aad: AND 00000aae: ISZERO 00000aaf: DUP1 00000ab0: ISZERO 00000ab1: SWAP1 00000ab2: PUSH2 0x0ac4 00000ab5: JUMPI 00000ab6: POP 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0xa0 00000abb: PUSH1 0x02 00000abd: EXP 00000abe: SUB 00000abf: DUP13 00000ac0: AND 00000ac1: CALLER 00000ac2: EQ 00000ac3: ISZERO 00000ac4: JUMPDEST 00000ac5: DUP1 00000ac6: ISZERO 00000ac7: PUSH2 0x0aea 00000aca: JUMPI 00000acb: POP 00000acc: PUSH1 0x05 00000ace: SLOAD 00000acf: PUSH1 0x01 00000ad1: PUSH1 0xa0 00000ad3: PUSH1 0x02 00000ad5: EXP 00000ad6: SUB 00000ad7: DUP14 00000ad8: AND 00000ad9: PUSH1 0x00 00000adb: SWAP1 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x07 00000ae0: PUSH1 0x20 00000ae2: MSTORE 00000ae3: PUSH1 0x40 00000ae5: SWAP1 00000ae6: KECCAK256 00000ae7: SLOAD 00000ae8: LT 00000ae9: ISZERO 00000aea: JUMPDEST 00000aeb: ISZERO 00000aec: PUSH2 0x0b30 00000aef: JUMPI 00000af0: PUSH1 0x01 00000af2: PUSH1 0xa0 00000af4: PUSH1 0x02 00000af6: EXP 00000af7: SUB 00000af8: DUP13 00000af9: AND 00000afa: PUSH1 0x00 00000afc: SWAP1 00000afd: DUP2 00000afe: MSTORE 00000aff: PUSH1 0x08 00000b01: PUSH1 0x20 00000b03: MSTORE 00000b04: PUSH1 0x40 00000b06: SWAP1 00000b07: KECCAK256 00000b08: SLOAD 00000b09: PUSH2 0x0b12 00000b0c: SWAP1 00000b0d: DUP11 00000b0e: PUSH2 0x17a2 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x01 00000b15: PUSH1 0xa0 00000b17: PUSH1 0x02 00000b19: EXP 00000b1a: SUB 00000b1b: DUP14 00000b1c: AND 00000b1d: PUSH1 0x00 00000b1f: SWAP1 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x08 00000b24: PUSH1 0x20 00000b26: MSTORE 00000b27: PUSH1 0x40 00000b29: SWAP1 00000b2a: KECCAK256 00000b2b: SSTORE 00000b2c: PUSH2 0x0b4b 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH2 0x0b3a 00000b34: DUP8 00000b35: DUP11 00000b36: PUSH2 0x17a2 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: SWAP7 00000b3c: POP 00000b3d: PUSH9 0x010000000000000000 00000b47: DUP8 00000b48: MUL 00000b49: SWAP4 00000b4a: POP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x00 00000b4e: PUSH1 0x0b 00000b50: SLOAD 00000b51: GT 00000b52: ISZERO 00000b53: PUSH2 0x0baf 00000b56: JUMPI 00000b57: PUSH2 0x0b62 00000b5a: PUSH1 0x0b 00000b5c: SLOAD 00000b5d: DUP7 00000b5e: PUSH2 0x17a2 00000b61: JUMP 00000b62: JUMPDEST 00000b63: PUSH1 0x0b 00000b65: DUP2 00000b66: SWAP1 00000b67: SSTORE 00000b68: PUSH9 0x010000000000000000 00000b72: DUP9 00000b73: MUL 00000b74: DUP2 00000b75: ISZERO 00000b76: ISZERO 00000b77: PUSH2 0x0b7c 00000b7a: JUMPI 00000b7b: INVALID 00000b7c: JUMPDEST 00000b7d: PUSH1 0x0c 00000b7f: DUP1 00000b80: SLOAD 00000b81: SWAP3 00000b82: SWAP1 00000b83: SWAP2 00000b84: DIV 00000b85: SWAP1 00000b86: SWAP2 00000b87: ADD 00000b88: SWAP1 00000b89: SSTORE 00000b8a: PUSH1 0x0b 00000b8c: SLOAD 00000b8d: PUSH9 0x010000000000000000 00000b97: DUP9 00000b98: MUL 00000b99: DUP2 00000b9a: ISZERO 00000b9b: ISZERO 00000b9c: PUSH2 0x0ba1 00000b9f: JUMPI 00000ba0: INVALID 00000ba1: JUMPDEST 00000ba2: DIV 00000ba3: DUP6 00000ba4: MUL 00000ba5: DUP5 00000ba6: SUB 00000ba7: DUP5 00000ba8: SUB 00000ba9: SWAP4 00000baa: POP 00000bab: PUSH2 0x0bb5 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH1 0x0b 00000bb2: DUP6 00000bb3: SWAP1 00000bb4: SSTORE 00000bb5: JUMPDEST 00000bb6: CALLER 00000bb7: PUSH1 0x00 00000bb9: SWAP1 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x07 00000bbe: PUSH1 0x20 00000bc0: MSTORE 00000bc1: PUSH1 0x40 00000bc3: SWAP1 00000bc4: KECCAK256 00000bc5: SLOAD 00000bc6: PUSH2 0x0bcf 00000bc9: SWAP1 00000bca: DUP7 00000bcb: PUSH2 0x17a2 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: PUSH1 0x07 00000bd2: PUSH1 0x00 00000bd4: CALLER 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: PUSH1 0x02 00000bdb: EXP 00000bdc: SUB 00000bdd: AND 00000bde: PUSH1 0x01 00000be0: PUSH1 0xa0 00000be2: PUSH1 0x02 00000be4: EXP 00000be5: SUB 00000be6: AND 00000be7: DUP2 00000be8: MSTORE 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: SWAP1 00000bed: DUP2 00000bee: MSTORE 00000bef: PUSH1 0x20 00000bf1: ADD 00000bf2: PUSH1 0x00 00000bf4: KECCAK256 00000bf5: DUP2 00000bf6: SWAP1 00000bf7: SSTORE 00000bf8: POP 00000bf9: DUP4 00000bfa: DUP6 00000bfb: PUSH1 0x0c 00000bfd: SLOAD 00000bfe: MUL 00000bff: SUB 00000c00: SWAP3 00000c01: POP 00000c02: DUP3 00000c03: PUSH1 0x09 00000c05: PUSH1 0x00 00000c07: CALLER 00000c08: PUSH1 0x01 00000c0a: PUSH1 0xa0 00000c0c: PUSH1 0x02 00000c0e: EXP 00000c0f: SUB 00000c10: AND 00000c11: PUSH1 0x01 00000c13: PUSH1 0xa0 00000c15: PUSH1 0x02 00000c17: EXP 00000c18: SUB 00000c19: AND 00000c1a: DUP2 00000c1b: MSTORE 00000c1c: PUSH1 0x20 00000c1e: ADD 00000c1f: SWAP1 00000c20: DUP2 00000c21: MSTORE 00000c22: PUSH1 0x20 00000c24: ADD 00000c25: PUSH1 0x00 00000c27: KECCAK256 00000c28: PUSH1 0x00 00000c2a: DUP3 00000c2b: DUP3 00000c2c: SLOAD 00000c2d: ADD 00000c2e: SWAP3 00000c2f: POP 00000c30: POP 00000c31: DUP2 00000c32: SWAP1 00000c33: SSTORE 00000c34: POP 00000c35: DUP12 00000c36: PUSH1 0x01 00000c38: PUSH1 0xa0 00000c3a: PUSH1 0x02 00000c3c: EXP 00000c3d: SUB 00000c3e: AND 00000c3f: CALLER 00000c40: PUSH1 0x01 00000c42: PUSH1 0xa0 00000c44: PUSH1 0x02 00000c46: EXP 00000c47: SUB 00000c48: AND 00000c49: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000c6a: DUP16 00000c6b: DUP9 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: DUP1 00000c70: DUP4 00000c71: DUP2 00000c72: MSTORE 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: DUP3 00000c77: DUP2 00000c78: MSTORE 00000c79: PUSH1 0x20 00000c7b: ADD 00000c7c: SWAP3 00000c7d: POP 00000c7e: POP 00000c7f: POP 00000c80: PUSH1 0x40 00000c82: MLOAD 00000c83: DUP1 00000c84: SWAP2 00000c85: SUB 00000c86: SWAP1 00000c87: LOG3 00000c88: DUP5 00000c89: SWAP11 00000c8a: POP 00000c8b: JUMPDEST 00000c8c: POP 00000c8d: POP 00000c8e: POP 00000c8f: POP 00000c90: POP 00000c91: POP 00000c92: POP 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: SWAP3 00000c97: SWAP2 00000c98: POP 00000c99: POP 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH1 0x01 00000c9e: PUSH1 0xa0 00000ca0: PUSH1 0x02 00000ca2: EXP 00000ca3: SUB 00000ca4: AND 00000ca5: PUSH1 0x00 00000ca7: SWAP1 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x09 00000cac: PUSH1 0x20 00000cae: SWAP1 00000caf: DUP2 00000cb0: MSTORE 00000cb1: PUSH1 0x40 00000cb3: DUP1 00000cb4: DUP4 00000cb5: KECCAK256 00000cb6: SLOAD 00000cb7: PUSH1 0x07 00000cb9: SWAP1 00000cba: SWAP3 00000cbb: MSTORE 00000cbc: SWAP1 00000cbd: SWAP2 00000cbe: KECCAK256 00000cbf: SLOAD 00000cc0: PUSH1 0x0c 00000cc2: SLOAD 00000cc3: PUSH9 0x010000000000000000 00000ccd: SWAP2 00000cce: MUL 00000ccf: SWAP2 00000cd0: SWAP1 00000cd1: SWAP2 00000cd2: SUB 00000cd3: DIV 00000cd4: SWAP1 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x01 00000cd9: DUP1 00000cda: SLOAD 00000cdb: PUSH1 0x40 00000cdd: DUP1 00000cde: MLOAD 00000cdf: PUSH1 0x20 00000ce1: PUSH1 0x02 00000ce3: DUP5 00000ce4: DUP7 00000ce5: AND 00000ce6: ISZERO 00000ce7: PUSH2 0x0100 00000cea: MUL 00000ceb: PUSH1 0x00 00000ced: NOT 00000cee: ADD 00000cef: SWAP1 00000cf0: SWAP5 00000cf1: AND 00000cf2: SWAP4 00000cf3: SWAP1 00000cf4: SWAP4 00000cf5: DIV 00000cf6: PUSH1 0x1f 00000cf8: DUP2 00000cf9: ADD 00000cfa: DUP5 00000cfb: SWAP1 00000cfc: DIV 00000cfd: DUP5 00000cfe: MUL 00000cff: DUP3 00000d00: ADD 00000d01: DUP5 00000d02: ADD 00000d03: SWAP1 00000d04: SWAP3 00000d05: MSTORE 00000d06: DUP2 00000d07: DUP2 00000d08: MSTORE 00000d09: SWAP3 00000d0a: SWAP2 00000d0b: DUP4 00000d0c: ADD 00000d0d: DUP3 00000d0e: DUP3 00000d0f: DUP1 00000d10: ISZERO 00000d11: PUSH2 0x0d5b 00000d14: JUMPI 00000d15: DUP1 00000d16: PUSH1 0x1f 00000d18: LT 00000d19: PUSH2 0x0d30 00000d1c: JUMPI 00000d1d: PUSH2 0x0100 00000d20: DUP1 00000d21: DUP4 00000d22: SLOAD 00000d23: DIV 00000d24: MUL 00000d25: DUP4 00000d26: MSTORE 00000d27: SWAP2 00000d28: PUSH1 0x20 00000d2a: ADD 00000d2b: SWAP2 00000d2c: PUSH2 0x0d5b 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: DUP3 00000d32: ADD 00000d33: SWAP2 00000d34: SWAP1 00000d35: PUSH1 0x00 00000d37: MSTORE 00000d38: PUSH1 0x20 00000d3a: PUSH1 0x00 00000d3c: KECCAK256 00000d3d: SWAP1 00000d3e: JUMPDEST 00000d3f: DUP2 00000d40: SLOAD 00000d41: DUP2 00000d42: MSTORE 00000d43: SWAP1 00000d44: PUSH1 0x01 00000d46: ADD 00000d47: SWAP1 00000d48: PUSH1 0x20 00000d4a: ADD 00000d4b: DUP1 00000d4c: DUP4 00000d4d: GT 00000d4e: PUSH2 0x0d3e 00000d51: JUMPI 00000d52: DUP3 00000d53: SWAP1 00000d54: SUB 00000d55: PUSH1 0x1f 00000d57: AND 00000d58: DUP3 00000d59: ADD 00000d5a: SWAP2 00000d5b: JUMPDEST 00000d5c: POP 00000d5d: POP 00000d5e: POP 00000d5f: POP 00000d60: POP 00000d61: DUP2 00000d62: JUMP 00000d63: JUMPDEST 00000d64: PUSH1 0x0f 00000d66: PUSH1 0x20 00000d68: MSTORE 00000d69: PUSH1 0x00 00000d6b: SWAP1 00000d6c: DUP2 00000d6d: MSTORE 00000d6e: PUSH1 0x40 00000d70: SWAP1 00000d71: KECCAK256 00000d72: SLOAD 00000d73: PUSH1 0xff 00000d75: AND 00000d76: DUP2 00000d77: JUMP 00000d78: JUMPDEST 00000d79: PUSH1 0x00 00000d7b: DUP1 00000d7c: DUP1 00000d7d: DUP1 00000d7e: DUP1 00000d7f: PUSH2 0x0d8c 00000d82: PUSH2 0x0784 00000d85: DUP8 00000d86: PUSH1 0x14 00000d88: PUSH2 0x17b8 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: SWAP4 00000d8e: POP 00000d8f: PUSH2 0x0d9c 00000d92: PUSH2 0x0784 00000d95: DUP8 00000d96: PUSH1 0x05 00000d98: PUSH2 0x17b8 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: SWAP3 00000d9e: POP 00000d9f: PUSH2 0x0db1 00000da2: PUSH2 0x0dab 00000da5: DUP8 00000da6: DUP7 00000da7: PUSH2 0x17fa 00000daa: JUMP 00000dab: JUMPDEST 00000dac: DUP5 00000dad: PUSH2 0x17fa 00000db0: JUMP 00000db1: JUMPDEST 00000db2: SWAP2 00000db3: POP 00000db4: PUSH2 0x0dbc 00000db7: DUP3 00000db8: PUSH2 0x180c 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: SWAP7 00000dbe: SWAP6 00000dbf: POP 00000dc0: POP 00000dc1: POP 00000dc2: POP 00000dc3: POP 00000dc4: POP 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: PUSH1 0x0b 00000dc9: SLOAD 00000dca: JUMPDEST 00000dcb: SWAP1 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: PUSH1 0x00 00000dd0: DUP1 00000dd1: PUSH1 0x00 00000dd3: DUP1 00000dd4: PUSH1 0x00 00000dd6: PUSH1 0x0b 00000dd8: SLOAD 00000dd9: DUP7 00000dda: GT 00000ddb: ISZERO 00000ddc: ISZERO 00000ddd: ISZERO 00000dde: PUSH2 0x0de6 00000de1: JUMPI 00000de2: PUSH1 0x00 00000de4: DUP1 00000de5: REVERT 00000de6: JUMPDEST 00000de7: PUSH2 0x0def 00000dea: DUP7 00000deb: PUSH2 0x189e 00000dee: JUMP 00000def: JUMPDEST 00000df0: SWAP4 00000df1: POP 00000df2: PUSH2 0x0dff 00000df5: PUSH2 0x0784 00000df8: DUP6 00000df9: PUSH1 0x14 00000dfb: PUSH2 0x17b8 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: SWAP3 00000e01: POP 00000e02: PUSH2 0x0e0f 00000e05: PUSH2 0x0784 00000e08: DUP6 00000e09: PUSH1 0x05 00000e0b: PUSH2 0x17b8 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: SWAP2 00000e11: POP 00000e12: PUSH2 0x0dbc 00000e15: PUSH2 0x0e1e 00000e18: DUP6 00000e19: DUP6 00000e1a: PUSH2 0x17fa 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: DUP4 00000e20: PUSH2 0x17fa 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x0e 00000e27: SLOAD 00000e28: PUSH1 0xff 00000e2a: AND 00000e2b: DUP2 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: CALLER 00000e2f: PUSH1 0x00 00000e31: DUP2 00000e32: DUP2 00000e33: MSTORE 00000e34: PUSH1 0x0d 00000e36: PUSH1 0x20 00000e38: MSTORE 00000e39: PUSH1 0x40 00000e3b: SWAP1 00000e3c: KECCAK256 00000e3d: SLOAD 00000e3e: PUSH1 0xff 00000e40: AND 00000e41: ISZERO 00000e42: ISZERO 00000e43: PUSH2 0x0e4b 00000e46: JUMPI 00000e47: PUSH1 0x00 00000e49: DUP1 00000e4a: REVERT 00000e4b: JUMPDEST 00000e4c: POP 00000e4d: PUSH1 0x01 00000e4f: PUSH1 0xa0 00000e51: PUSH1 0x02 00000e53: EXP 00000e54: SUB 00000e55: SWAP2 00000e56: SWAP1 00000e57: SWAP2 00000e58: AND 00000e59: PUSH1 0x00 00000e5b: SWAP1 00000e5c: DUP2 00000e5d: MSTORE 00000e5e: PUSH1 0x0f 00000e60: PUSH1 0x20 00000e62: MSTORE 00000e63: PUSH1 0x40 00000e65: SWAP1 00000e66: KECCAK256 00000e67: DUP1 00000e68: SLOAD 00000e69: PUSH1 0xff 00000e6b: NOT 00000e6c: AND 00000e6d: SWAP2 00000e6e: ISZERO 00000e6f: ISZERO 00000e70: SWAP2 00000e71: SWAP1 00000e72: SWAP2 00000e73: OR 00000e74: SWAP1 00000e75: SSTORE 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH1 0x12 00000e7a: DUP2 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: PUSH1 0x00 00000e7f: DUP1 00000e80: PUSH1 0x00 00000e82: PUSH2 0x0e8b 00000e85: PUSH1 0x01 00000e87: PUSH2 0x1129 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: GT 00000e8d: PUSH2 0x0e95 00000e90: JUMPI 00000e91: PUSH1 0x00 00000e93: DUP1 00000e94: REVERT 00000e95: JUMPDEST 00000e96: CALLER 00000e97: SWAP2 00000e98: POP 00000e99: PUSH2 0x0ea2 00000e9c: PUSH1 0x00 00000e9e: PUSH2 0x1129 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: PUSH1 0x01 00000ea5: PUSH1 0xa0 00000ea7: PUSH1 0x02 00000ea9: EXP 00000eaa: SUB 00000eab: DUP4 00000eac: AND 00000ead: PUSH1 0x00 00000eaf: DUP2 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: PUSH1 0x09 00000eb4: PUSH1 0x20 00000eb6: SWAP1 00000eb7: DUP2 00000eb8: MSTORE 00000eb9: PUSH1 0x40 00000ebb: DUP1 00000ebc: DUP4 00000ebd: KECCAK256 00000ebe: DUP1 00000ebf: SLOAD 00000ec0: PUSH9 0x010000000000000000 00000eca: DUP8 00000ecb: MUL 00000ecc: ADD 00000ecd: SWAP1 00000ece: SSTORE 00000ecf: PUSH1 0x08 00000ed1: SWAP1 00000ed2: SWAP2 00000ed3: MSTORE 00000ed4: DUP1 00000ed5: DUP3 00000ed6: KECCAK256 00000ed7: DUP1 00000ed8: SLOAD 00000ed9: SWAP1 00000eda: DUP4 00000edb: SWAP1 00000edc: SSTORE 00000edd: SWAP1 00000ede: MLOAD 00000edf: SWAP4 00000ee0: ADD 00000ee1: SWAP4 00000ee2: POP 00000ee3: SWAP1 00000ee4: SWAP2 00000ee5: DUP4 00000ee6: ISZERO 00000ee7: PUSH2 0x08fc 00000eea: MUL 00000eeb: SWAP2 00000eec: DUP5 00000eed: SWAP2 00000eee: SWAP1 00000eef: DUP2 00000ef0: DUP2 00000ef1: DUP2 00000ef2: DUP6 00000ef3: DUP9 00000ef4: DUP9 00000ef5: CALL 00000ef6: SWAP4 00000ef7: POP 00000ef8: POP 00000ef9: POP 00000efa: POP 00000efb: ISZERO 00000efc: DUP1 00000efd: ISZERO 00000efe: PUSH2 0x0f0b 00000f01: JUMPI 00000f02: RETURNDATASIZE 00000f03: PUSH1 0x00 00000f05: DUP1 00000f06: RETURNDATACOPY 00000f07: RETURNDATASIZE 00000f08: PUSH1 0x00 00000f0a: REVERT 00000f0b: JUMPDEST 00000f0c: POP 00000f0d: PUSH1 0x40 00000f0f: DUP1 00000f10: MLOAD 00000f11: DUP3 00000f12: DUP2 00000f13: MSTORE 00000f14: SWAP1 00000f15: MLOAD 00000f16: PUSH1 0x01 00000f18: PUSH1 0xa0 00000f1a: PUSH1 0x02 00000f1c: EXP 00000f1d: SUB 00000f1e: DUP5 00000f1f: AND 00000f20: SWAP2 00000f21: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000f42: SWAP2 00000f43: SWAP1 00000f44: DUP2 00000f45: SWAP1 00000f46: SUB 00000f47: PUSH1 0x20 00000f49: ADD 00000f4a: SWAP1 00000f4b: LOG2 00000f4c: POP 00000f4d: POP 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH1 0x00 00000f52: DUP1 00000f53: PUSH1 0x01 00000f55: PUSH1 0xa0 00000f57: PUSH1 0x02 00000f59: EXP 00000f5a: SUB 00000f5b: DUP7 00000f5c: AND 00000f5d: ISZERO 00000f5e: ISZERO 00000f5f: PUSH2 0x0f67 00000f62: JUMPI 00000f63: PUSH1 0x00 00000f65: DUP1 00000f66: REVERT 00000f67: JUMPDEST 00000f68: PUSH1 0x01 00000f6a: PUSH1 0xa0 00000f6c: PUSH1 0x02 00000f6e: EXP 00000f6f: SUB 00000f70: DUP7 00000f71: AND 00000f72: PUSH1 0x00 00000f74: SWAP1 00000f75: DUP2 00000f76: MSTORE 00000f77: PUSH1 0x0f 00000f79: PUSH1 0x20 00000f7b: MSTORE 00000f7c: PUSH1 0x40 00000f7e: SWAP1 00000f7f: KECCAK256 00000f80: SLOAD 00000f81: PUSH1 0xff 00000f83: AND 00000f84: ISZERO 00000f85: ISZERO 00000f86: PUSH1 0x01 00000f88: EQ 00000f89: PUSH2 0x0f91 00000f8c: JUMPI 00000f8d: PUSH1 0x00 00000f8f: DUP1 00000f90: REVERT 00000f91: JUMPDEST 00000f92: PUSH2 0x0f9b 00000f95: DUP7 00000f96: DUP7 00000f97: PUSH2 0x138c 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: ISZERO 00000f9d: ISZERO 00000f9e: PUSH2 0x0fa6 00000fa1: JUMPI 00000fa2: PUSH1 0x00 00000fa4: DUP1 00000fa5: REVERT 00000fa6: JUMPDEST 00000fa7: PUSH2 0x0faf 00000faa: DUP7 00000fab: PUSH2 0x1908 00000fae: JUMP 00000faf: JUMPDEST 00000fb0: ISZERO 00000fb1: PUSH2 0x107d 00000fb4: JUMPI 00000fb5: POP 00000fb6: PUSH1 0x40 00000fb8: MLOAD 00000fb9: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000 00000fda: DUP2 00000fdb: MSTORE 00000fdc: CALLER 00000fdd: PUSH1 0x04 00000fdf: DUP3 00000fe0: ADD 00000fe1: DUP2 00000fe2: DUP2 00000fe3: MSTORE 00000fe4: PUSH1 0x24 00000fe6: DUP4 00000fe7: ADD 00000fe8: DUP8 00000fe9: SWAP1 00000fea: MSTORE 00000feb: PUSH1 0x60 00000fed: PUSH1 0x44 00000fef: DUP5 00000ff0: ADD 00000ff1: SWAP1 00000ff2: DUP2 00000ff3: MSTORE 00000ff4: PUSH1 0x64 00000ff6: DUP5 00000ff7: ADD 00000ff8: DUP7 00000ff9: SWAP1 00000ffa: MSTORE 00000ffb: DUP9 00000ffc: SWAP4 00000ffd: PUSH1 0x01 00000fff: PUSH1 0xa0 00001001: PUSH1 0x02 00001003: EXP 00001004: SUB 00001005: DUP6 00001006: AND 00001007: SWAP4 00001008: PUSH4 0xc0ee0b8a 0000100d: SWAP4 0000100e: SWAP1 0000100f: SWAP3 00001010: DUP11 00001011: SWAP3 00001012: DUP11 00001013: SWAP3 00001014: DUP11 00001015: SWAP3 00001016: SWAP1 00001017: SWAP2 00001018: PUSH1 0x84 0000101a: ADD 0000101b: DUP5 0000101c: DUP5 0000101d: DUP1 0000101e: DUP3 0000101f: DUP5 00001020: CALLDATACOPY 00001021: DUP3 00001022: ADD 00001023: SWAP2 00001024: POP 00001025: POP 00001026: SWAP6 00001027: POP 00001028: POP 00001029: POP 0000102a: POP 0000102b: POP 0000102c: POP 0000102d: PUSH1 0x20 0000102f: PUSH1 0x40 00001031: MLOAD 00001032: DUP1 00001033: DUP4 00001034: SUB 00001035: DUP2 00001036: PUSH1 0x00 00001038: DUP8 00001039: DUP1 0000103a: EXTCODESIZE 0000103b: ISZERO 0000103c: DUP1 0000103d: ISZERO 0000103e: PUSH2 0x1046 00001041: JUMPI 00001042: PUSH1 0x00 00001044: DUP1 00001045: REVERT 00001046: JUMPDEST 00001047: POP 00001048: GAS 00001049: CALL 0000104a: ISZERO 0000104b: DUP1 0000104c: ISZERO 0000104d: PUSH2 0x105a 00001050: JUMPI 00001051: RETURNDATASIZE 00001052: PUSH1 0x00 00001054: DUP1 00001055: RETURNDATACOPY 00001056: RETURNDATASIZE 00001057: PUSH1 0x00 00001059: REVERT 0000105a: JUMPDEST 0000105b: POP 0000105c: POP 0000105d: POP 0000105e: POP 0000105f: PUSH1 0x40 00001061: MLOAD 00001062: RETURNDATASIZE 00001063: PUSH1 0x20 00001065: DUP2 00001066: LT 00001067: ISZERO 00001068: PUSH2 0x1070 0000106b: JUMPI 0000106c: PUSH1 0x00 0000106e: DUP1 0000106f: REVERT 00001070: JUMPDEST 00001071: POP 00001072: MLOAD 00001073: ISZERO 00001074: ISZERO 00001075: PUSH2 0x107d 00001078: JUMPI 00001079: PUSH1 0x00 0000107b: DUP1 0000107c: REVERT 0000107d: JUMPDEST 0000107e: POP 0000107f: PUSH1 0x01 00001081: SWAP6 00001082: SWAP5 00001083: POP 00001084: POP 00001085: POP 00001086: POP 00001087: POP 00001088: JUMP 00001089: JUMPDEST 0000108a: PUSH1 0x00 0000108c: DUP1 0000108d: PUSH1 0x00 0000108f: DUP1 00001090: PUSH1 0x00 00001092: PUSH1 0x0b 00001094: SLOAD 00001095: PUSH1 0x00 00001097: EQ 00001098: ISZERO 00001099: PUSH2 0x10a9 0000109c: JUMPI 0000109d: PUSH5 0x0218711a00 000010a3: SWAP5 000010a4: POP 000010a5: PUSH2 0x10ef 000010a8: JUMP 000010a9: JUMPDEST 000010aa: PUSH2 0x10ba 000010ad: PUSH8 0x0de0b6b3a7640000 000010b6: PUSH2 0x189e 000010b9: JUMP 000010ba: JUMPDEST 000010bb: SWAP4 000010bc: POP 000010bd: PUSH2 0x10ca 000010c0: PUSH2 0x0784 000010c3: DUP6 000010c4: PUSH1 0x14 000010c6: PUSH2 0x17b8 000010c9: JUMP 000010ca: JUMPDEST 000010cb: SWAP3 000010cc: POP 000010cd: PUSH2 0x10da 000010d0: PUSH2 0x0784 000010d3: DUP6 000010d4: PUSH1 0x05 000010d6: PUSH2 0x17b8 000010d9: JUMP 000010da: JUMPDEST 000010db: SWAP2 000010dc: POP 000010dd: PUSH2 0x10e9 000010e0: PUSH2 0x0e1e 000010e3: DUP6 000010e4: DUP6 000010e5: PUSH2 0x17fa 000010e8: JUMP 000010e9: JUMPDEST 000010ea: SWAP1 000010eb: POP 000010ec: DUP1 000010ed: SWAP5 000010ee: POP 000010ef: JUMPDEST 000010f0: POP 000010f1: POP 000010f2: POP 000010f3: POP 000010f4: SWAP1 000010f5: JUMP 000010f6: JUMPDEST 000010f7: PUSH1 0x05 000010f9: SLOAD 000010fa: DUP2 000010fb: JUMP 000010fc: JUMPDEST 000010fd: PUSH20 0x05161a2131d90be85d4d026a2776e51cd5898da9 00001112: DUP2 00001113: JUMP 00001114: JUMPDEST 00001115: PUSH1 0x00 00001117: PUSH2 0x1124 0000111a: PUSH1 0x04 0000111c: SLOAD 0000111d: PUSH1 0x03 0000111f: SLOAD 00001120: PUSH2 0x17fa 00001123: JUMP 00001124: JUMPDEST 00001125: SWAP1 00001126: POP 00001127: SWAP1 00001128: JUMP 00001129: JUMPDEST 0000112a: PUSH1 0x00 0000112c: CALLER 0000112d: DUP3 0000112e: PUSH2 0x113f 00001131: JUMPI 00001132: PUSH2 0x113a 00001135: DUP2 00001136: PUSH2 0x0c9b 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH2 0x1163 0000113e: JUMP 0000113f: JUMPDEST 00001140: PUSH1 0x01 00001142: PUSH1 0xa0 00001144: PUSH1 0x02 00001146: EXP 00001147: SUB 00001148: DUP2 00001149: AND 0000114a: PUSH1 0x00 0000114c: SWAP1 0000114d: DUP2 0000114e: MSTORE 0000114f: PUSH1 0x08 00001151: PUSH1 0x20 00001153: MSTORE 00001154: PUSH1 0x40 00001156: SWAP1 00001157: KECCAK256 00001158: SLOAD 00001159: PUSH2 0x1161 0000115c: DUP3 0000115d: PUSH2 0x0c9b 00001160: JUMP 00001161: JUMPDEST 00001162: ADD 00001163: JUMPDEST 00001164: SWAP2 00001165: POP 00001166: JUMPDEST 00001167: POP 00001168: SWAP2 00001169: SWAP1 0000116a: POP 0000116b: JUMP 0000116c: JUMPDEST 0000116d: ADDRESS 0000116e: BALANCE 0000116f: SWAP1 00001170: JUMP 00001171: JUMPDEST 00001172: PUSH1 0x01 00001174: PUSH1 0xa0 00001176: PUSH1 0x02 00001178: EXP 00001179: SUB 0000117a: AND 0000117b: PUSH1 0x00 0000117d: SWAP1 0000117e: DUP2 0000117f: MSTORE 00001180: PUSH1 0x07 00001182: PUSH1 0x20 00001184: MSTORE 00001185: PUSH1 0x40 00001187: SWAP1 00001188: KECCAK256 00001189: SLOAD 0000118a: SWAP1 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH1 0x0d 0000118f: PUSH1 0x20 00001191: MSTORE 00001192: PUSH1 0x00 00001194: SWAP1 00001195: DUP2 00001196: MSTORE 00001197: PUSH1 0x40 00001199: SWAP1 0000119a: KECCAK256 0000119b: SLOAD 0000119c: PUSH1 0xff 0000119e: AND 0000119f: DUP2 000011a0: JUMP 000011a1: JUMPDEST 000011a2: PUSH1 0x04 000011a4: SLOAD 000011a5: DUP2 000011a6: JUMP 000011a7: JUMPDEST 000011a8: CALLER 000011a9: PUSH1 0x00 000011ab: DUP2 000011ac: DUP2 000011ad: MSTORE 000011ae: PUSH1 0x0d 000011b0: PUSH1 0x20 000011b2: MSTORE 000011b3: PUSH1 0x40 000011b5: SWAP1 000011b6: KECCAK256 000011b7: SLOAD 000011b8: PUSH1 0xff 000011ba: AND 000011bb: ISZERO 000011bc: ISZERO 000011bd: PUSH2 0x11c5 000011c0: JUMPI 000011c1: PUSH1 0x00 000011c3: DUP1 000011c4: REVERT 000011c5: JUMPDEST 000011c6: POP 000011c7: PUSH1 0x05 000011c9: SSTORE 000011ca: JUMP 000011cb: JUMPDEST 000011cc: PUSH1 0x00 000011ce: DUP1 000011cf: PUSH1 0x00 000011d1: DUP1 000011d2: PUSH1 0x00 000011d4: PUSH1 0x0b 000011d6: SLOAD 000011d7: PUSH1 0x00 000011d9: EQ 000011da: ISZERO 000011db: PUSH2 0x11eb 000011de: JUMPI 000011df: PUSH5 0x028fa6ae00 000011e5: SWAP5 000011e6: POP 000011e7: PUSH2 0x10ef 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH2 0x11fc 000011ef: PUSH8 0x0de0b6b3a7640000 000011f8: PUSH2 0x189e 000011fb: JUMP 000011fc: JUMPDEST 000011fd: SWAP4 000011fe: POP 000011ff: PUSH2 0x120c 00001202: PUSH2 0x0784 00001205: DUP6 00001206: PUSH1 0x14 00001208: PUSH2 0x17b8 0000120b: JUMP 0000120c: JUMPDEST 0000120d: SWAP3 0000120e: POP 0000120f: PUSH2 0x121c 00001212: PUSH2 0x0784 00001215: DUP6 00001216: PUSH1 0x05 00001218: PUSH2 0x17b8 0000121b: JUMP 0000121c: JUMPDEST 0000121d: SWAP2 0000121e: POP 0000121f: PUSH2 0x10e9 00001222: PUSH2 0x122b 00001225: DUP6 00001226: DUP6 00001227: PUSH2 0x17a2 0000122a: JUMP 0000122b: JUMPDEST 0000122c: DUP4 0000122d: PUSH2 0x17a2 00001230: JUMP 00001231: JUMPDEST 00001232: CALLER 00001233: PUSH1 0x00 00001235: DUP2 00001236: DUP2 00001237: MSTORE 00001238: PUSH1 0x0d 0000123a: PUSH1 0x20 0000123c: MSTORE 0000123d: PUSH1 0x40 0000123f: SWAP1 00001240: KECCAK256 00001241: SLOAD 00001242: PUSH1 0xff 00001244: AND 00001245: ISZERO 00001246: ISZERO 00001247: PUSH2 0x124f 0000124a: JUMPI 0000124b: PUSH1 0x00 0000124d: DUP1 0000124e: REVERT 0000124f: JUMPDEST 00001250: POP 00001251: PUSH1 0x01 00001253: PUSH1 0xa0 00001255: PUSH1 0x02 00001257: EXP 00001258: SUB 00001259: SWAP2 0000125a: SWAP1 0000125b: SWAP2 0000125c: AND 0000125d: PUSH1 0x00 0000125f: SWAP1 00001260: DUP2 00001261: MSTORE 00001262: PUSH1 0x0d 00001264: PUSH1 0x20 00001266: MSTORE 00001267: PUSH1 0x40 00001269: SWAP1 0000126a: KECCAK256 0000126b: DUP1 0000126c: SLOAD 0000126d: PUSH1 0xff 0000126f: NOT 00001270: AND 00001271: SWAP2 00001272: ISZERO 00001273: ISZERO 00001274: SWAP2 00001275: SWAP1 00001276: SWAP2 00001277: OR 00001278: SWAP1 00001279: SSTORE 0000127a: JUMP 0000127b: JUMPDEST 0000127c: PUSH1 0x00 0000127e: PUSH2 0x128b 00001281: PUSH1 0x04 00001283: SLOAD 00001284: PUSH1 0x03 00001286: SLOAD 00001287: PUSH2 0x17fa 0000128a: JUMP 0000128b: JUMPDEST 0000128c: SWAP1 0000128d: POP 0000128e: PUSH1 0x01 00001290: DUP2 00001291: GT 00001292: PUSH2 0x129a 00001295: JUMPI 00001296: PUSH1 0x00 00001298: DUP1 00001299: REVERT 0000129a: JUMPDEST 0000129b: PUSH2 0x12a6 0000129e: PUSH1 0x03 000012a0: SLOAD 000012a1: DUP3 000012a2: PUSH2 0x17a2 000012a5: JUMP 000012a6: JUMPDEST 000012a7: PUSH1 0x03 000012a9: SSTORE 000012aa: PUSH1 0x40 000012ac: MLOAD 000012ad: PUSH20 0x05161a2131d90be85d4d026a2776e51cd5898da9 000012c2: SWAP1 000012c3: PUSH3 0x061a80 000012c7: SWAP1 000012c8: DUP4 000012c9: SWAP1 000012ca: PUSH1 0x00 000012cc: DUP2 000012cd: DUP2 000012ce: DUP2 000012cf: DUP6 000012d0: DUP9 000012d1: DUP9 000012d2: CALL 000012d3: SWAP4 000012d4: POP 000012d5: POP 000012d6: POP 000012d7: POP 000012d8: ISZERO 000012d9: ISZERO 000012da: PUSH2 0x12ed 000012dd: JUMPI 000012de: PUSH2 0x12e9 000012e1: PUSH1 0x03 000012e3: SLOAD 000012e4: DUP3 000012e5: PUSH2 0x17fa 000012e8: JUMP 000012e9: JUMPDEST 000012ea: PUSH1 0x03 000012ec: SSTORE 000012ed: JUMPDEST 000012ee: POP 000012ef: JUMP 000012f0: JUMPDEST 000012f1: PUSH1 0x00 000012f3: CALLER 000012f4: PUSH2 0x12fc 000012f7: DUP2 000012f8: PUSH2 0x1171 000012fb: JUMP 000012fc: JUMPDEST 000012fd: SWAP2 000012fe: POP 000012ff: JUMPDEST 00001300: POP 00001301: SWAP1 00001302: JUMP 00001303: JUMPDEST 00001304: PUSH1 0x02 00001306: DUP1 00001307: SLOAD 00001308: PUSH1 0x40 0000130a: DUP1 0000130b: MLOAD 0000130c: PUSH1 0x20 0000130e: PUSH1 0x01 00001310: DUP5 00001311: AND 00001312: ISZERO 00001313: PUSH2 0x0100 00001316: MUL 00001317: PUSH1 0x00 00001319: NOT 0000131a: ADD 0000131b: SWAP1 0000131c: SWAP4 0000131d: AND 0000131e: DUP5 0000131f: SWAP1 00001320: DIV 00001321: PUSH1 0x1f 00001323: DUP2 00001324: ADD 00001325: DUP5 00001326: SWAP1 00001327: DIV 00001328: DUP5 00001329: MUL 0000132a: DUP3 0000132b: ADD 0000132c: DUP5 0000132d: ADD 0000132e: SWAP1 0000132f: SWAP3 00001330: MSTORE 00001331: DUP2 00001332: DUP2 00001333: MSTORE 00001334: SWAP3 00001335: SWAP2 00001336: DUP4 00001337: ADD 00001338: DUP3 00001339: DUP3 0000133a: DUP1 0000133b: ISZERO 0000133c: PUSH2 0x0d5b 0000133f: JUMPI 00001340: DUP1 00001341: PUSH1 0x1f 00001343: LT 00001344: PUSH2 0x0d30 00001347: JUMPI 00001348: PUSH2 0x0100 0000134b: DUP1 0000134c: DUP4 0000134d: SLOAD 0000134e: DIV 0000134f: MUL 00001350: DUP4 00001351: MSTORE 00001352: SWAP2 00001353: PUSH1 0x20 00001355: ADD 00001356: SWAP2 00001357: PUSH2 0x0d5b 0000135a: JUMP 0000135b: JUMPDEST 0000135c: PUSH1 0x03 0000135e: SLOAD 0000135f: DUP2 00001360: JUMP 00001361: JUMPDEST 00001362: CALLER 00001363: PUSH1 0x00 00001365: DUP2 00001366: DUP2 00001367: MSTORE 00001368: PUSH1 0x0d 0000136a: PUSH1 0x20 0000136c: MSTORE 0000136d: PUSH1 0x40 0000136f: SWAP1 00001370: KECCAK256 00001371: SLOAD 00001372: PUSH1 0xff 00001374: AND 00001375: ISZERO 00001376: ISZERO 00001377: PUSH2 0x137f 0000137a: JUMPI 0000137b: PUSH1 0x00 0000137d: DUP1 0000137e: REVERT 0000137f: JUMPDEST 00001380: POP 00001381: PUSH1 0x0e 00001383: DUP1 00001384: SLOAD 00001385: PUSH1 0xff 00001387: NOT 00001388: AND 00001389: SWAP1 0000138a: SSTORE 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH1 0x00 0000138f: DUP1 00001390: PUSH1 0x00 00001392: PUSH2 0x1399 00001395: PUSH2 0x12f0 00001398: JUMP 00001399: JUMPDEST 0000139a: GT 0000139b: PUSH2 0x13a3 0000139e: JUMPI 0000139f: PUSH1 0x00 000013a1: DUP1 000013a2: REVERT 000013a3: JUMPDEST 000013a4: POP 000013a5: CALLER 000013a6: PUSH1 0x00 000013a8: DUP2 000013a9: DUP2 000013aa: MSTORE 000013ab: PUSH1 0x07 000013ad: PUSH1 0x20 000013af: MSTORE 000013b0: PUSH1 0x40 000013b2: SWAP1 000013b3: KECCAK256 000013b4: SLOAD 000013b5: DUP4 000013b6: GT 000013b7: ISZERO 000013b8: PUSH2 0x13c0 000013bb: JUMPI 000013bc: PUSH1 0x00 000013be: DUP1 000013bf: REVERT 000013c0: JUMPDEST 000013c1: PUSH1 0x00 000013c3: PUSH2 0x13cc 000013c6: PUSH1 0x01 000013c8: PUSH2 0x1129 000013cb: JUMP 000013cc: JUMPDEST 000013cd: GT 000013ce: ISZERO 000013cf: PUSH2 0x13da 000013d2: JUMPI 000013d3: PUSH2 0x13da 000013d6: PUSH2 0x0e7c 000013d9: JUMP 000013da: JUMPDEST 000013db: PUSH1 0x01 000013dd: PUSH1 0xa0 000013df: PUSH1 0x02 000013e1: EXP 000013e2: SUB 000013e3: DUP2 000013e4: AND 000013e5: PUSH1 0x00 000013e7: SWAP1 000013e8: DUP2 000013e9: MSTORE 000013ea: PUSH1 0x07 000013ec: PUSH1 0x20 000013ee: MSTORE 000013ef: PUSH1 0x40 000013f1: SWAP1 000013f2: KECCAK256 000013f3: SLOAD 000013f4: PUSH2 0x13fd 000013f7: SWAP1 000013f8: DUP5 000013f9: PUSH2 0x17fa 000013fc: JUMP 000013fd: JUMPDEST 000013fe: PUSH1 0x01 00001400: PUSH1 0xa0 00001402: PUSH1 0x02 00001404: EXP 00001405: SUB 00001406: DUP1 00001407: DUP4 00001408: AND 00001409: PUSH1 0x00 0000140b: SWAP1 0000140c: DUP2 0000140d: MSTORE 0000140e: PUSH1 0x07 00001410: PUSH1 0x20 00001412: MSTORE 00001413: PUSH1 0x40 00001415: DUP1 00001416: DUP3 00001417: KECCAK256 00001418: SWAP4 00001419: SWAP1 0000141a: SWAP4 0000141b: SSTORE 0000141c: SWAP1 0000141d: DUP7 0000141e: AND 0000141f: DUP2 00001420: MSTORE 00001421: KECCAK256 00001422: SLOAD 00001423: PUSH2 0x142c 00001426: SWAP1 00001427: DUP5 00001428: PUSH2 0x17a2 0000142b: JUMP 0000142c: JUMPDEST 0000142d: PUSH1 0x01 0000142f: PUSH1 0xa0 00001431: PUSH1 0x02 00001433: EXP 00001434: SUB 00001435: DUP6 00001436: DUP2 00001437: AND 00001438: PUSH1 0x00 0000143a: DUP2 0000143b: DUP2 0000143c: MSTORE 0000143d: PUSH1 0x07 0000143f: PUSH1 0x20 00001441: SWAP1 00001442: DUP2 00001443: MSTORE 00001444: PUSH1 0x40 00001446: DUP1 00001447: DUP4 00001448: KECCAK256 00001449: SWAP6 0000144a: SWAP1 0000144b: SWAP6 0000144c: SSTORE 0000144d: PUSH1 0x0c 0000144f: DUP1 00001450: SLOAD 00001451: SWAP5 00001452: DUP8 00001453: AND 00001454: DUP1 00001455: DUP5 00001456: MSTORE 00001457: PUSH1 0x09 00001459: DUP4 0000145a: MSTORE 0000145b: DUP7 0000145c: DUP5 0000145d: KECCAK256 0000145e: DUP1 0000145f: SLOAD 00001460: SWAP7 00001461: DUP12 00001462: MUL 00001463: SWAP1 00001464: SWAP7 00001465: SUB 00001466: SWAP1 00001467: SWAP6 00001468: SSTORE 00001469: SLOAD 0000146a: DUP4 0000146b: DUP4 0000146c: MSTORE 0000146d: SWAP2 0000146e: DUP6 0000146f: SWAP1 00001470: KECCAK256 00001471: DUP1 00001472: SLOAD 00001473: SWAP3 00001474: DUP10 00001475: MUL 00001476: SWAP1 00001477: SWAP3 00001478: ADD 00001479: SWAP1 0000147a: SWAP2 0000147b: SSTORE 0000147c: DUP4 0000147d: MLOAD 0000147e: DUP8 0000147f: DUP2 00001480: MSTORE 00001481: SWAP4 00001482: MLOAD 00001483: SWAP2 00001484: SWAP4 00001485: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000014a6: SWAP3 000014a7: SWAP1 000014a8: DUP2 000014a9: SWAP1 000014aa: SUB 000014ab: SWAP1 000014ac: SWAP2 000014ad: ADD 000014ae: SWAP1 000014af: LOG3 000014b0: PUSH1 0x01 000014b2: SWAP2 000014b3: POP 000014b4: JUMPDEST 000014b5: POP 000014b6: SWAP3 000014b7: SWAP2 000014b8: POP 000014b9: POP 000014ba: JUMP 000014bb: JUMPDEST 000014bc: CALLER 000014bd: PUSH1 0x00 000014bf: DUP2 000014c0: DUP2 000014c1: MSTORE 000014c2: PUSH1 0x0d 000014c4: PUSH1 0x20 000014c6: MSTORE 000014c7: PUSH1 0x40 000014c9: SWAP1 000014ca: KECCAK256 000014cb: SLOAD 000014cc: PUSH1 0xff 000014ce: AND 000014cf: ISZERO 000014d0: ISZERO 000014d1: PUSH2 0x14d9 000014d4: JUMPI 000014d5: PUSH1 0x00 000014d7: DUP1 000014d8: REVERT 000014d9: JUMPDEST 000014da: DUP2 000014db: MLOAD 000014dc: PUSH2 0x14ec 000014df: SWAP1 000014e0: PUSH1 0x02 000014e2: SWAP1 000014e3: PUSH1 0x20 000014e5: DUP6 000014e6: ADD 000014e7: SWAP1 000014e8: PUSH2 0x1945 000014eb: JUMP 000014ec: JUMPDEST 000014ed: POP 000014ee: POP 000014ef: POP 000014f0: JUMP 000014f1: JUMPDEST 000014f2: CALLER 000014f3: PUSH1 0x00 000014f5: DUP2 000014f6: DUP2 000014f7: MSTORE 000014f8: PUSH1 0x0d 000014fa: PUSH1 0x20 000014fc: MSTORE 000014fd: PUSH1 0x40 000014ff: SWAP1 00001500: KECCAK256 00001501: SLOAD 00001502: PUSH1 0xff 00001504: AND 00001505: ISZERO 00001506: ISZERO 00001507: PUSH2 0x150f 0000150a: JUMPI 0000150b: PUSH1 0x00 0000150d: DUP1 0000150e: REVERT 0000150f: JUMPDEST 00001510: DUP2 00001511: MLOAD 00001512: PUSH2 0x14ec 00001515: SWAP1 00001516: PUSH1 0x01 00001518: SWAP1 00001519: PUSH1 0x20 0000151b: DUP6 0000151c: ADD 0000151d: SWAP1 0000151e: PUSH2 0x1945 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH1 0x00 00001525: DUP1 00001526: PUSH1 0x00 00001528: DUP1 00001529: PUSH1 0x00 0000152b: DUP1 0000152c: PUSH1 0x00 0000152e: DUP1 0000152f: PUSH2 0x1536 00001532: PUSH2 0x12f0 00001535: JUMP 00001536: JUMPDEST 00001537: GT 00001538: PUSH2 0x1540 0000153b: JUMPI 0000153c: PUSH1 0x00 0000153e: DUP1 0000153f: REVERT 00001540: JUMPDEST 00001541: CALLER 00001542: PUSH1 0x00 00001544: DUP2 00001545: DUP2 00001546: MSTORE 00001547: PUSH1 0x07 00001549: PUSH1 0x20 0000154b: MSTORE 0000154c: PUSH1 0x40 0000154e: SWAP1 0000154f: KECCAK256 00001550: SLOAD 00001551: SWAP1 00001552: SWAP8 00001553: POP 00001554: DUP9 00001555: GT 00001556: ISZERO 00001557: PUSH2 0x155f 0000155a: JUMPI 0000155b: PUSH1 0x00 0000155d: DUP1 0000155e: REVERT 0000155f: JUMPDEST 00001560: DUP8 00001561: SWAP6 00001562: POP 00001563: PUSH2 0x156b 00001566: DUP7 00001567: PUSH2 0x189e 0000156a: JUMP 0000156b: JUMPDEST 0000156c: SWAP5 0000156d: POP 0000156e: PUSH2 0x157b 00001571: PUSH2 0x0784 00001574: DUP7 00001575: PUSH1 0x14 00001577: PUSH2 0x17b8 0000157a: JUMP 0000157b: JUMPDEST 0000157c: SWAP4 0000157d: POP 0000157e: PUSH2 0x158b 00001581: PUSH2 0x0784 00001584: DUP7 00001585: PUSH1 0x05 00001587: PUSH2 0x17b8 0000158a: JUMP 0000158b: JUMPDEST 0000158c: SWAP3 0000158d: POP 0000158e: PUSH2 0x159a 00001591: PUSH2 0x0dab 00001594: DUP7 00001595: DUP7 00001596: PUSH2 0x17fa 00001599: JUMP 0000159a: JUMPDEST 0000159b: SWAP2 0000159c: POP 0000159d: PUSH2 0x15a8 000015a0: PUSH1 0x04 000015a2: SLOAD 000015a3: DUP5 000015a4: PUSH2 0x17a2 000015a7: JUMP 000015a8: JUMPDEST 000015a9: PUSH1 0x04 000015ab: SSTORE 000015ac: PUSH1 0x0b 000015ae: SLOAD 000015af: PUSH2 0x15b8 000015b2: SWAP1 000015b3: DUP8 000015b4: PUSH2 0x17fa 000015b7: JUMP 000015b8: JUMPDEST 000015b9: PUSH1 0x0b 000015bb: SSTORE 000015bc: PUSH1 0x01 000015be: PUSH1 0xa0 000015c0: PUSH1 0x02 000015c2: EXP 000015c3: SUB 000015c4: DUP8 000015c5: AND 000015c6: PUSH1 0x00 000015c8: SWAP1 000015c9: DUP2 000015ca: MSTORE 000015cb: PUSH1 0x07 000015cd: PUSH1 0x20 000015cf: MSTORE 000015d0: PUSH1 0x40 000015d2: SWAP1 000015d3: KECCAK256 000015d4: SLOAD 000015d5: PUSH2 0x15de 000015d8: SWAP1 000015d9: DUP8 000015da: PUSH2 0x17fa 000015dd: JUMP 000015de: JUMPDEST 000015df: PUSH1 0x01 000015e1: PUSH1 0xa0 000015e3: PUSH1 0x02 000015e5: EXP 000015e6: SUB 000015e7: DUP9 000015e8: AND 000015e9: PUSH1 0x00 000015eb: SWAP1 000015ec: DUP2 000015ed: MSTORE 000015ee: PUSH1 0x07 000015f0: PUSH1 0x20 000015f2: SWAP1 000015f3: DUP2 000015f4: MSTORE 000015f5: PUSH1 0x40 000015f7: DUP1 000015f8: DUP4 000015f9: KECCAK256 000015fa: SWAP4 000015fb: SWAP1 000015fc: SWAP4 000015fd: SSTORE 000015fe: PUSH1 0x0c 00001600: SLOAD 00001601: PUSH1 0x09 00001603: SWAP1 00001604: SWAP2 00001605: MSTORE 00001606: SWAP2 00001607: DUP2 00001608: KECCAK256 00001609: DUP1 0000160a: SLOAD 0000160b: SWAP3 0000160c: DUP10 0000160d: MUL 0000160e: PUSH9 0x010000000000000000 00001618: DUP7 00001619: MUL 0000161a: ADD 0000161b: SWAP3 0000161c: DUP4 0000161d: SWAP1 0000161e: SUB 0000161f: SWAP1 00001620: SSTORE 00001621: PUSH1 0x0b 00001623: SLOAD 00001624: SWAP2 00001625: SWAP3 00001626: POP 00001627: LT 00001628: ISZERO 00001629: PUSH2 0x1654 0000162c: JUMPI 0000162d: PUSH2 0x1650 00001630: PUSH1 0x0c 00001632: SLOAD 00001633: PUSH1 0x0b 00001635: SLOAD 00001636: PUSH9 0x010000000000000000 00001640: DUP8 00001641: MUL 00001642: DUP2 00001643: ISZERO 00001644: ISZERO 00001645: PUSH2 0x164a 00001648: JUMPI 00001649: INVALID 0000164a: JUMPDEST 0000164b: DIV 0000164c: PUSH2 0x17a2 0000164f: JUMP 00001650: JUMPDEST 00001651: PUSH1 0x0c 00001653: SSTORE 00001654: JUMPDEST 00001655: PUSH1 0x40 00001657: DUP1 00001658: MLOAD 00001659: DUP8 0000165a: DUP2 0000165b: MSTORE 0000165c: PUSH1 0x20 0000165e: DUP2 0000165f: ADD 00001660: DUP5 00001661: SWAP1 00001662: MSTORE 00001663: DUP2 00001664: MLOAD 00001665: PUSH1 0x01 00001667: PUSH1 0xa0 00001669: PUSH1 0x02 0000166b: EXP 0000166c: SUB 0000166d: DUP11 0000166e: AND 0000166f: SWAP3 00001670: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001691: SWAP3 00001692: DUP3 00001693: SWAP1 00001694: SUB 00001695: ADD 00001696: SWAP1 00001697: LOG2 00001698: POP 00001699: POP 0000169a: POP 0000169b: POP 0000169c: POP 0000169d: POP 0000169e: POP 0000169f: POP 000016a0: JUMP 000016a1: JUMPDEST 000016a2: CALLER 000016a3: PUSH1 0x00 000016a5: DUP2 000016a6: DUP2 000016a7: MSTORE 000016a8: PUSH1 0x07 000016aa: PUSH1 0x20 000016ac: MSTORE 000016ad: PUSH1 0x40 000016af: DUP2 000016b0: KECCAK256 000016b1: SLOAD 000016b2: SWAP1 000016b3: DUP2 000016b4: GT 000016b5: ISZERO 000016b6: PUSH2 0x16c2 000016b9: JUMPI 000016ba: PUSH2 0x16c2 000016bd: DUP2 000016be: PUSH2 0x1522 000016c1: JUMP 000016c2: JUMPDEST 000016c3: PUSH2 0x16ca 000016c6: PUSH2 0x0e7c 000016c9: JUMP 000016ca: JUMPDEST 000016cb: POP 000016cc: POP 000016cd: JUMP 000016ce: JUMPDEST 000016cf: PUSH1 0x00 000016d1: PUSH5 0x174876e800 000016d7: GASPRICE 000016d8: GT 000016d9: ISZERO 000016da: PUSH2 0x16e2 000016dd: JUMPI 000016de: PUSH1 0x00 000016e0: DUP1 000016e1: REVERT 000016e2: JUMPDEST 000016e3: PUSH2 0x1166 000016e6: CALLVALUE 000016e7: DUP4 000016e8: PUSH2 0x068b 000016eb: JUMP 000016ec: JUMPDEST 000016ed: PUSH1 0x00 000016ef: DUP1 000016f0: PUSH1 0x00 000016f2: DUP1 000016f3: PUSH2 0x16fc 000016f6: PUSH1 0x01 000016f8: PUSH2 0x1129 000016fb: JUMP 000016fc: JUMPDEST 000016fd: GT 000016fe: PUSH2 0x1706 00001701: JUMPI 00001702: PUSH1 0x00 00001704: DUP1 00001705: REVERT 00001706: JUMPDEST 00001707: PUSH2 0x1710 0000170a: PUSH1 0x00 0000170c: PUSH2 0x1129 0000170f: JUMP 00001710: JUMPDEST 00001711: CALLER 00001712: PUSH1 0x00 00001714: DUP2 00001715: DUP2 00001716: MSTORE 00001717: PUSH1 0x09 00001719: PUSH1 0x20 0000171b: SWAP1 0000171c: DUP2 0000171d: MSTORE 0000171e: PUSH1 0x40 00001720: DUP1 00001721: DUP4 00001722: KECCAK256 00001723: DUP1 00001724: SLOAD 00001725: PUSH9 0x010000000000000000 0000172f: DUP8 00001730: MUL 00001731: ADD 00001732: SWAP1 00001733: SSTORE 00001734: PUSH1 0x08 00001736: SWAP1 00001737: SWAP2 00001738: MSTORE 00001739: DUP2 0000173a: KECCAK256 0000173b: DUP1 0000173c: SLOAD 0000173d: SWAP1 0000173e: DUP3 0000173f: SWAP1 00001740: SSTORE 00001741: SWAP1 00001742: SWAP3 00001743: ADD 00001744: SWAP5 00001745: POP 00001746: SWAP3 00001747: POP 00001748: PUSH2 0x1752 0000174b: SWAP1 0000174c: DUP5 0000174d: SWAP1 0000174e: PUSH2 0x068b 00001751: JUMP 00001752: JUMPDEST 00001753: SWAP1 00001754: POP 00001755: DUP2 00001756: PUSH1 0x01 00001758: PUSH1 0xa0 0000175a: PUSH1 0x02 0000175c: EXP 0000175d: SUB 0000175e: AND 0000175f: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001780: DUP5 00001781: DUP4 00001782: PUSH1 0x40 00001784: MLOAD 00001785: DUP1 00001786: DUP4 00001787: DUP2 00001788: MSTORE 00001789: PUSH1 0x20 0000178b: ADD 0000178c: DUP3 0000178d: DUP2 0000178e: MSTORE 0000178f: PUSH1 0x20 00001791: ADD 00001792: SWAP3 00001793: POP 00001794: POP 00001795: POP 00001796: PUSH1 0x40 00001798: MLOAD 00001799: DUP1 0000179a: SWAP2 0000179b: SUB 0000179c: SWAP1 0000179d: LOG2 0000179e: POP 0000179f: POP 000017a0: POP 000017a1: JUMP 000017a2: JUMPDEST 000017a3: PUSH1 0x00 000017a5: DUP3 000017a6: DUP3 000017a7: ADD 000017a8: DUP4 000017a9: DUP2 000017aa: LT 000017ab: ISZERO 000017ac: PUSH2 0x17b1 000017af: JUMPI 000017b0: INVALID 000017b1: JUMPDEST 000017b2: SWAP4 000017b3: SWAP3 000017b4: POP 000017b5: POP 000017b6: POP 000017b7: JUMP 000017b8: JUMPDEST 000017b9: PUSH1 0x00 000017bb: DUP1 000017bc: DUP4 000017bd: ISZERO 000017be: ISZERO 000017bf: PUSH2 0x17cb 000017c2: JUMPI 000017c3: PUSH1 0x00 000017c5: SWAP2 000017c6: POP 000017c7: PUSH2 0x14b4 000017ca: JUMP 000017cb: JUMPDEST 000017cc: POP 000017cd: DUP3 000017ce: DUP3 000017cf: MUL 000017d0: DUP3 000017d1: DUP5 000017d2: DUP3 000017d3: DUP2 000017d4: ISZERO 000017d5: ISZERO 000017d6: PUSH2 0x17db 000017d9: JUMPI 000017da: INVALID 000017db: JUMPDEST 000017dc: DIV 000017dd: EQ 000017de: PUSH2 0x17b1 000017e1: JUMPI 000017e2: INVALID 000017e3: JUMPDEST 000017e4: PUSH1 0x00 000017e6: DUP1 000017e7: DUP3 000017e8: DUP5 000017e9: DUP2 000017ea: ISZERO 000017eb: ISZERO 000017ec: PUSH2 0x17f1 000017ef: JUMPI 000017f0: INVALID 000017f1: JUMPDEST 000017f2: DIV 000017f3: SWAP5 000017f4: SWAP4 000017f5: POP 000017f6: POP 000017f7: POP 000017f8: POP 000017f9: JUMP 000017fa: JUMPDEST 000017fb: PUSH1 0x00 000017fd: DUP3 000017fe: DUP3 000017ff: GT 00001800: ISZERO 00001801: PUSH2 0x1806 00001804: JUMPI 00001805: INVALID 00001806: JUMPDEST 00001807: POP 00001808: SWAP1 00001809: SUB 0000180a: SWAP1 0000180b: JUMP 0000180c: JUMPDEST 0000180d: PUSH1 0x0b 0000180f: SLOAD 00001810: PUSH1 0x00 00001812: SWAP1 00001813: PUSH12 0x204fce5e3e25026110000000 00001820: SWAP1 00001821: DUP3 00001822: SWAP1 00001823: PUSH4 0x3b9aca00 00001828: PUSH2 0x188b 0000182b: PUSH2 0x1885 0000182e: PUSH19 0x59aedfc10d7279c5eed1401645400000000000 00001842: DUP9 00001843: MUL 00001844: PUSH1 0x02 00001846: DUP6 00001847: EXP 00001848: PUSH8 0x0de0b6b3a7640000 00001851: MUL 00001852: ADD 00001853: PUSH16 0x0f0bdc21abb48db201e86d4000000000 00001864: DUP6 00001865: MUL 00001866: ADD 00001867: PUSH24 0x04140c78940f6a24fdffc78873d4490d2100000000000000 00001880: ADD 00001881: PUSH2 0x1910 00001884: JUMP 00001885: JUMPDEST 00001886: DUP6 00001887: PUSH2 0x17fa 0000188a: JUMP 0000188b: JUMPDEST 0000188c: DUP2 0000188d: ISZERO 0000188e: ISZERO 0000188f: PUSH2 0x1894 00001892: JUMPI 00001893: INVALID 00001894: JUMPDEST 00001895: DIV 00001896: SUB 00001897: SWAP5 00001898: SWAP4 00001899: POP 0000189a: POP 0000189b: POP 0000189c: POP 0000189d: JUMP 0000189e: JUMPDEST 0000189f: PUSH1 0x0b 000018a1: SLOAD 000018a2: PUSH1 0x00 000018a4: SWAP1 000018a5: PUSH8 0x0de0b6b3a7640000 000018ae: DUP4 000018af: DUP2 000018b0: ADD 000018b1: SWAP2 000018b2: DUP2 000018b3: ADD 000018b4: SWAP1 000018b5: DUP4 000018b6: SWAP1 000018b7: PUSH2 0x18f5 000018ba: PUSH5 0x0218711a00 000018c0: DUP3 000018c1: DUP6 000018c2: DIV 000018c3: PUSH4 0x3b9aca00 000018c8: MUL 000018c9: ADD 000018ca: DUP8 000018cb: MUL 000018cc: PUSH1 0x02 000018ce: DUP4 000018cf: PUSH8 0x0de0b6b3a763ffff 000018d8: NOT 000018d9: DUP3 000018da: DUP10 000018db: EXP 000018dc: DUP12 000018dd: SWAP1 000018de: SUB 000018df: ADD 000018e0: DIV 000018e1: PUSH4 0x3b9aca00 000018e6: MUL 000018e7: DUP2 000018e8: ISZERO 000018e9: ISZERO 000018ea: PUSH2 0x18ef 000018ed: JUMPI 000018ee: INVALID 000018ef: JUMPDEST 000018f0: DIV 000018f1: PUSH2 0x17fa 000018f4: JUMP 000018f5: JUMPDEST 000018f6: DUP2 000018f7: ISZERO 000018f8: ISZERO 000018f9: PUSH2 0x18fe 000018fc: JUMPI 000018fd: INVALID 000018fe: JUMPDEST 000018ff: DIV 00001900: SWAP6 00001901: SWAP5 00001902: POP 00001903: POP 00001904: POP 00001905: POP 00001906: POP 00001907: JUMP 00001908: JUMPDEST 00001909: PUSH1 0x00 0000190b: SWAP1 0000190c: EXTCODESIZE 0000190d: GT 0000190e: SWAP1 0000190f: JUMP 00001910: JUMPDEST 00001911: DUP1 00001912: PUSH1 0x02 00001914: PUSH1 0x01 00001916: DUP3 00001917: ADD 00001918: DIV 00001919: JUMPDEST 0000191a: DUP2 0000191b: DUP2 0000191c: LT 0000191d: ISZERO 0000191e: PUSH2 0x1166 00001921: JUMPI 00001922: DUP1 00001923: SWAP2 00001924: POP 00001925: PUSH1 0x02 00001927: DUP2 00001928: DUP3 00001929: DUP6 0000192a: DUP2 0000192b: ISZERO 0000192c: ISZERO 0000192d: PUSH2 0x1932 00001930: JUMPI 00001931: INVALID 00001932: JUMPDEST 00001933: DIV 00001934: ADD 00001935: DUP2 00001936: ISZERO 00001937: ISZERO 00001938: PUSH2 0x193d 0000193b: JUMPI 0000193c: INVALID 0000193d: JUMPDEST 0000193e: DIV 0000193f: SWAP1 00001940: POP 00001941: PUSH2 0x1919 00001944: JUMP 00001945: JUMPDEST 00001946: DUP3 00001947: DUP1 00001948: SLOAD 00001949: PUSH1 0x01 0000194b: DUP2 0000194c: PUSH1 0x01 0000194e: AND 0000194f: ISZERO 00001950: PUSH2 0x0100 00001953: MUL 00001954: SUB 00001955: AND 00001956: PUSH1 0x02 00001958: SWAP1 00001959: DIV 0000195a: SWAP1 0000195b: PUSH1 0x00 0000195d: MSTORE 0000195e: PUSH1 0x20 00001960: PUSH1 0x00 00001962: KECCAK256 00001963: SWAP1 00001964: PUSH1 0x1f 00001966: ADD 00001967: PUSH1 0x20 00001969: SWAP1 0000196a: DIV 0000196b: DUP2 0000196c: ADD 0000196d: SWAP3 0000196e: DUP3 0000196f: PUSH1 0x1f 00001971: LT 00001972: PUSH2 0x1986 00001975: JUMPI 00001976: DUP1 00001977: MLOAD 00001978: PUSH1 0xff 0000197a: NOT 0000197b: AND 0000197c: DUP4 0000197d: DUP1 0000197e: ADD 0000197f: OR 00001980: DUP6 00001981: SSTORE 00001982: PUSH2 0x19b3 00001985: JUMP 00001986: JUMPDEST 00001987: DUP3 00001988: DUP1 00001989: ADD 0000198a: PUSH1 0x01 0000198c: ADD 0000198d: DUP6 0000198e: SSTORE 0000198f: DUP3 00001990: ISZERO 00001991: PUSH2 0x19b3 00001994: JUMPI 00001995: SWAP2 00001996: DUP3 00001997: ADD 00001998: JUMPDEST 00001999: DUP3 0000199a: DUP2 0000199b: GT 0000199c: ISZERO 0000199d: PUSH2 0x19b3 000019a0: JUMPI 000019a1: DUP3 000019a2: MLOAD 000019a3: DUP3 000019a4: SSTORE 000019a5: SWAP2 000019a6: PUSH1 0x20 000019a8: ADD 000019a9: SWAP2 000019aa: SWAP1 000019ab: PUSH1 0x01 000019ad: ADD 000019ae: SWAP1 000019af: PUSH2 0x1998 000019b2: JUMP 000019b3: JUMPDEST 000019b4: POP 000019b5: PUSH2 0x12ff 000019b8: SWAP3 000019b9: PUSH2 0x0dca 000019bc: SWAP3 000019bd: POP 000019be: SWAP1 000019bf: JUMPDEST 000019c0: DUP1 000019c1: DUP3 000019c2: GT 000019c3: ISZERO 000019c4: PUSH2 0x12ff 000019c7: JUMPI 000019c8: PUSH1 0x00 000019ca: DUP2 000019cb: SSTORE 000019cc: PUSH1 0x01 000019ce: ADD 000019cf: PUSH2 0x19bf 000019d2: JUMP 000019d3: STOP 000019d4: LOG1 000019d5: PUSH6 0x627a7a723058 000019dc: KECCAK256 000019dd: GAS 000019de: UNKNOWN(0x4B) 000019df: COINBASE 000019e0: EXTCODECOPY 000019e1: GT 000019e2: RETURNDATASIZE 000019e3: PC 000019e4: UNKNOWN(0x28) 000019e5: NOT 000019e6: DUP16 000019e7: UNKNOWN(0xFB) 000019e8: DELEGATECALL 000019e9: REVERT 000019ea: UNKNOWN(0xD6) 000019eb: UNKNOWN(0xDF) 000019ec: UNKNOWN(0xDD) 000019ed: UNKNOWN(0xB8) 000019ee: DUP14 000019ef: PUSH18
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x1c3e89223fca17cc060b66d256d0b79a213dca395b0ae9e263134bdd14ff0e98
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x1c3e89223fca17cc060b66d256d0b79a213dca395b0ae9e263134bdd14ff0e98",
"confirmed": false,
"trace_mode": "callTracer",
"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": "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": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6632,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xbaf8069cd9f71d6f54fff97d81e963ba520c019a59fa6af3a48e2288d0222a7c
call_targets:
0x26e6c899b5a5dc1d4874d828fda515a7eb7baf00
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbaf8069cd9f71d6f54fff97d81e963ba520c019a59fa6af3a48e2288d0222a7c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x26e6c899b5a5dc1d4874d828fda515a7eb7baf00"
],
"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": "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": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3829,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4169,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4818,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xbaf8069cd9f71d6f54fff97d81e963ba520c019a59fa6af3a48e2288d0222a7c
call_targets:
0x26e6c899b5a5dc1d4874d828fda515a7eb7baf00
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbaf8069cd9f71d6f54fff97d81e963ba520c019a59fa6af3a48e2288d0222a7c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x26e6c899b5a5dc1d4874d828fda515a7eb7baf00"
],
"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": "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": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3829,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4169,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4818,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|