019b477e-ab0e-7375-8dfb-bef27b430f11
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 |
|---|---|---|---|---|
| 20945 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20946 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64130 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64131 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64132 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64133 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x01a9 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x01e8b608 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x01ae 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x04deaeb5 00000044: EQ 00000045: PUSH2 0x01d3 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x06a8f8a2 0000004f: EQ 00000050: PUSH2 0x01f7 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x06fdde03 0000005a: EQ 0000005b: PUSH2 0x0226 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x095ea7b3 00000065: EQ 00000066: PUSH2 0x02b0 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x106f6a3d 00000070: EQ 00000071: PUSH2 0x02e6 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x115976c4 0000007b: EQ 0000007c: PUSH2 0x02f9 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x16821349 00000086: EQ 00000087: PUSH2 0x030c 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x18160ddd 00000091: EQ 00000092: PUSH2 0x031f 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x23b872dd 0000009c: EQ 0000009d: PUSH2 0x0332 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x249f7aa0 000000a7: EQ 000000a8: PUSH2 0x035a 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x2a33fec6 000000b2: EQ 000000b3: PUSH2 0x036d 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x313ce567 000000bd: EQ 000000be: PUSH2 0x0380 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x3b9ec3ff 000000c8: EQ 000000c9: PUSH2 0x0393 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x4ef39b75 000000d3: EQ 000000d4: PUSH2 0x03a6 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x54fd4d50 000000de: EQ 000000df: PUSH2 0x03c5 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x590e1ae3 000000e9: EQ 000000ea: PUSH2 0x03d8 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x70a08231 000000f4: EQ 000000f5: PUSH2 0x03eb 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x7801fc3e 000000ff: EQ 00000100: PUSH2 0x040a 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0x7b05d785 0000010a: EQ 0000010b: PUSH2 0x041d 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0x8456cb59 00000115: EQ 00000116: PUSH2 0x043b 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0x91b43d13 00000120: EQ 00000121: PUSH2 0x044e 00000124: JUMPI 00000125: DUP1 00000126: PUSH4 0x95d89b41 0000012b: EQ 0000012c: PUSH2 0x0461 0000012f: JUMPI 00000130: DUP1 00000131: PUSH4 0x9b96eece 00000136: EQ 00000137: PUSH2 0x0474 0000013a: JUMPI 0000013b: DUP1 0000013c: PUSH4 0xa9059cbb 00000141: EQ 00000142: PUSH2 0x0493 00000145: JUMPI 00000146: DUP1 00000147: PUSH4 0xb4427263 0000014c: EQ 0000014d: PUSH2 0x04b5 00000150: JUMPI 00000151: DUP1 00000152: PUSH4 0xbd649dc8 00000157: EQ 00000158: PUSH2 0x04bd 0000015b: JUMPI 0000015c: DUP1 0000015d: PUSH4 0xc19d93fb 00000162: EQ 00000163: PUSH2 0x056b 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0xd648a647 0000016d: EQ 0000016e: PUSH2 0x05a2 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0xd8e30740 00000178: EQ 00000179: PUSH2 0x05b5 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0xdaf8f438 00000183: EQ 00000184: PUSH2 0x05c8 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0xdd62ed3e 0000018e: EQ 0000018f: PUSH2 0x05db 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0xe74799b4 00000199: EQ 0000019a: PUSH2 0x0600 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0xf9fae4f7 000001a4: EQ 000001a5: PUSH2 0x0613 000001a8: JUMPI 000001a9: JUMPDEST 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: CALLVALUE 000001b0: ISZERO 000001b1: PUSH2 0x01b9 000001b4: JUMPI 000001b5: PUSH1 0x00 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: PUSH2 0x01c1 000001bd: PUSH2 0x0626 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH1 0x40 000001c4: MLOAD 000001c5: SWAP1 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: PUSH1 0x40 000001cd: MLOAD 000001ce: DUP1 000001cf: SWAP2 000001d0: SUB 000001d1: SWAP1 000001d2: RETURN 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: PUSH2 0x01f5 000001e2: PUSH1 0x04 000001e4: CALLDATALOAD 000001e5: PUSH1 0x01 000001e7: PUSH1 0xa0 000001e9: PUSH1 0x02 000001eb: EXP 000001ec: SUB 000001ed: PUSH1 0x24 000001ef: CALLDATALOAD 000001f0: AND 000001f1: PUSH2 0x062b 000001f4: JUMP 000001f5: JUMPDEST 000001f6: STOP 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: PUSH2 0x020a 00000206: PUSH2 0x0764 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: PUSH1 0x01 00000210: PUSH1 0xa0 00000212: PUSH1 0x02 00000214: EXP 00000215: SUB 00000216: SWAP1 00000217: SWAP2 00000218: AND 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: DUP1 00000222: SWAP2 00000223: SUB 00000224: SWAP1 00000225: RETURN 00000226: JUMPDEST 00000227: CALLVALUE 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: PUSH2 0x0239 00000235: PUSH2 0x0773 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: PUSH1 0x20 0000023f: DUP1 00000240: DUP3 00000241: MSTORE 00000242: DUP2 00000243: SWAP1 00000244: DUP2 00000245: ADD 00000246: DUP4 00000247: DUP2 00000248: DUP2 00000249: MLOAD 0000024a: DUP2 0000024b: MSTORE 0000024c: PUSH1 0x20 0000024e: ADD 0000024f: SWAP2 00000250: POP 00000251: DUP1 00000252: MLOAD 00000253: SWAP1 00000254: PUSH1 0x20 00000256: ADD 00000257: SWAP1 00000258: DUP1 00000259: DUP4 0000025a: DUP4 0000025b: PUSH1 0x00 0000025d: JUMPDEST 0000025e: DUP4 0000025f: DUP2 00000260: LT 00000261: ISZERO 00000262: PUSH2 0x0275 00000265: JUMPI 00000266: DUP1 00000267: DUP3 00000268: ADD 00000269: MLOAD 0000026a: DUP4 0000026b: DUP3 0000026c: ADD 0000026d: MSTORE 0000026e: PUSH1 0x20 00000270: ADD 00000271: PUSH2 0x025d 00000274: JUMP 00000275: JUMPDEST 00000276: POP 00000277: POP 00000278: POP 00000279: POP 0000027a: SWAP1 0000027b: POP 0000027c: SWAP1 0000027d: DUP2 0000027e: ADD 0000027f: SWAP1 00000280: PUSH1 0x1f 00000282: AND 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x02a2 00000288: JUMPI 00000289: DUP1 0000028a: DUP3 0000028b: SUB 0000028c: DUP1 0000028d: MLOAD 0000028e: PUSH1 0x01 00000290: DUP4 00000291: PUSH1 0x20 00000293: SUB 00000294: PUSH2 0x0100 00000297: EXP 00000298: SUB 00000299: NOT 0000029a: AND 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: SWAP2 000002a1: POP 000002a2: JUMPDEST 000002a3: POP 000002a4: SWAP3 000002a5: POP 000002a6: POP 000002a7: POP 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: SWAP2 000002ad: SUB 000002ae: SWAP1 000002af: RETURN 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: PUSH2 0x02d2 000002bf: PUSH1 0x01 000002c1: PUSH1 0xa0 000002c3: PUSH1 0x02 000002c5: EXP 000002c6: SUB 000002c7: PUSH1 0x04 000002c9: CALLDATALOAD 000002ca: AND 000002cb: PUSH1 0x24 000002cd: CALLDATALOAD 000002ce: PUSH2 0x07aa 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH1 0x40 000002d5: MLOAD 000002d6: SWAP1 000002d7: ISZERO 000002d8: ISZERO 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x20 000002dd: ADD 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: DUP1 000002e2: SWAP2 000002e3: SUB 000002e4: SWAP1 000002e5: RETURN 000002e6: JUMPDEST 000002e7: CALLVALUE 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: PUSH2 0x01c1 000002f5: PUSH2 0x0822 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: PUSH2 0x020a 00000308: PUSH2 0x0827 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: PUSH2 0x01c1 0000031b: PUSH2 0x0836 0000031e: JUMP 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: PUSH2 0x01c1 0000032e: PUSH2 0x0844 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: PUSH2 0x02d2 00000341: PUSH1 0x01 00000343: PUSH1 0xa0 00000345: PUSH1 0x02 00000347: EXP 00000348: SUB 00000349: PUSH1 0x04 0000034b: CALLDATALOAD 0000034c: DUP2 0000034d: AND 0000034e: SWAP1 0000034f: PUSH1 0x24 00000351: CALLDATALOAD 00000352: AND 00000353: PUSH1 0x44 00000355: CALLDATALOAD 00000356: PUSH2 0x084a 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: PUSH2 0x01c1 00000369: PUSH2 0x0889 0000036c: JUMP 0000036d: JUMPDEST 0000036e: CALLVALUE 0000036f: ISZERO 00000370: PUSH2 0x0378 00000373: JUMPI 00000374: PUSH1 0x00 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: PUSH2 0x01f5 0000037c: PUSH2 0x088f 0000037f: JUMP 00000380: JUMPDEST 00000381: CALLVALUE 00000382: ISZERO 00000383: PUSH2 0x038b 00000386: JUMPI 00000387: PUSH1 0x00 00000389: DUP1 0000038a: REVERT 0000038b: JUMPDEST 0000038c: PUSH2 0x01c1 0000038f: PUSH2 0x0991 00000392: JUMP 00000393: JUMPDEST 00000394: CALLVALUE 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: PUSH2 0x01c1 000003a2: PUSH2 0x0996 000003a5: JUMP 000003a6: JUMPDEST 000003a7: CALLVALUE 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: PUSH2 0x01f5 000003b5: PUSH1 0x01 000003b7: PUSH1 0xa0 000003b9: PUSH1 0x02 000003bb: EXP 000003bc: SUB 000003bd: PUSH1 0x04 000003bf: CALLDATALOAD 000003c0: AND 000003c1: PUSH2 0x099c 000003c4: JUMP 000003c5: JUMPDEST 000003c6: CALLVALUE 000003c7: ISZERO 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: PUSH2 0x0239 000003d4: PUSH2 0x0b3b 000003d7: JUMP 000003d8: JUMPDEST 000003d9: CALLVALUE 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: PUSH2 0x01f5 000003e7: PUSH2 0x0b72 000003ea: JUMP 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: PUSH2 0x01c1 000003fa: PUSH1 0x01 000003fc: PUSH1 0xa0 000003fe: PUSH1 0x02 00000400: EXP 00000401: SUB 00000402: PUSH1 0x04 00000404: CALLDATALOAD 00000405: AND 00000406: PUSH2 0x0ce5 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: PUSH2 0x01c1 00000419: PUSH2 0x0d00 0000041c: JUMP 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: ISZERO 00000420: PUSH2 0x0428 00000423: JUMPI 00000424: PUSH1 0x00 00000426: DUP1 00000427: REVERT 00000428: JUMPDEST 00000429: PUSH2 0x01f5 0000042c: PUSH1 0x04 0000042e: DUP1 0000042f: CALLDATALOAD 00000430: PUSH1 0x24 00000432: DUP2 00000433: ADD 00000434: SWAP2 00000435: ADD 00000436: CALLDATALOAD 00000437: PUSH2 0x0d06 0000043a: JUMP 0000043b: JUMPDEST 0000043c: CALLVALUE 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: PUSH2 0x01f5 0000044a: PUSH2 0x0eca 0000044d: JUMP 0000044e: JUMPDEST 0000044f: CALLVALUE 00000450: ISZERO 00000451: PUSH2 0x0459 00000454: JUMPI 00000455: PUSH1 0x00 00000457: DUP1 00000458: REVERT 00000459: JUMPDEST 0000045a: PUSH2 0x01c1 0000045d: PUSH2 0x0fb0 00000460: JUMP 00000461: JUMPDEST 00000462: CALLVALUE 00000463: ISZERO 00000464: PUSH2 0x046c 00000467: JUMPI 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: PUSH2 0x0239 00000470: PUSH2 0x0fb6 00000473: JUMP 00000474: JUMPDEST 00000475: CALLVALUE 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: PUSH2 0x01c1 00000483: PUSH1 0x01 00000485: PUSH1 0xa0 00000487: PUSH1 0x02 00000489: EXP 0000048a: SUB 0000048b: PUSH1 0x04 0000048d: CALLDATALOAD 0000048e: AND 0000048f: PUSH2 0x0fed 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: ISZERO 00000496: PUSH2 0x049e 00000499: JUMPI 0000049a: PUSH1 0x00 0000049c: DUP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: PUSH2 0x02d2 000004a2: PUSH1 0x01 000004a4: PUSH1 0xa0 000004a6: PUSH1 0x02 000004a8: EXP 000004a9: SUB 000004aa: PUSH1 0x04 000004ac: CALLDATALOAD 000004ad: AND 000004ae: PUSH1 0x24 000004b0: CALLDATALOAD 000004b1: PUSH2 0x0ffe 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH2 0x01f5 000004b9: PUSH2 0x103b 000004bc: JUMP 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: PUSH2 0x04d3 000004cc: PUSH1 0x04 000004ce: CALLDATALOAD 000004cf: PUSH2 0x1189 000004d2: JUMP 000004d3: JUMPDEST 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: PUSH1 0x01 000004d9: PUSH1 0xa0 000004db: PUSH1 0x02 000004dd: EXP 000004de: SUB 000004df: DUP4 000004e0: AND 000004e1: DUP2 000004e2: MSTORE 000004e3: PUSH1 0x40 000004e5: PUSH1 0x20 000004e7: DUP3 000004e8: ADD 000004e9: DUP2 000004ea: DUP2 000004eb: MSTORE 000004ec: DUP4 000004ed: SLOAD 000004ee: PUSH1 0x02 000004f0: PUSH1 0x00 000004f2: NOT 000004f3: PUSH2 0x0100 000004f6: PUSH1 0x01 000004f8: DUP5 000004f9: AND 000004fa: ISZERO 000004fb: MUL 000004fc: ADD 000004fd: SWAP1 000004fe: SWAP2 000004ff: AND 00000500: DIV 00000501: SWAP2 00000502: DUP4 00000503: ADD 00000504: DUP3 00000505: SWAP1 00000506: MSTORE 00000507: SWAP1 00000508: PUSH1 0x60 0000050a: DUP4 0000050b: ADD 0000050c: SWAP1 0000050d: DUP5 0000050e: SWAP1 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x055b 00000514: JUMPI 00000515: DUP1 00000516: PUSH1 0x1f 00000518: LT 00000519: PUSH2 0x0530 0000051c: JUMPI 0000051d: PUSH2 0x0100 00000520: DUP1 00000521: DUP4 00000522: SLOAD 00000523: DIV 00000524: MUL 00000525: DUP4 00000526: MSTORE 00000527: SWAP2 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP2 0000052c: PUSH2 0x055b 0000052f: JUMP 00000530: JUMPDEST 00000531: DUP3 00000532: ADD 00000533: SWAP2 00000534: SWAP1 00000535: PUSH1 0x00 00000537: MSTORE 00000538: PUSH1 0x20 0000053a: PUSH1 0x00 0000053c: KECCAK256 0000053d: SWAP1 0000053e: JUMPDEST 0000053f: DUP2 00000540: SLOAD 00000541: DUP2 00000542: MSTORE 00000543: SWAP1 00000544: PUSH1 0x01 00000546: ADD 00000547: SWAP1 00000548: PUSH1 0x20 0000054a: ADD 0000054b: DUP1 0000054c: DUP4 0000054d: GT 0000054e: PUSH2 0x053e 00000551: JUMPI 00000552: DUP3 00000553: SWAP1 00000554: SUB 00000555: PUSH1 0x1f 00000557: AND 00000558: DUP3 00000559: ADD 0000055a: SWAP2 0000055b: JUMPDEST 0000055c: POP 0000055d: POP 0000055e: SWAP4 0000055f: POP 00000560: POP 00000561: POP 00000562: POP 00000563: PUSH1 0x40 00000565: MLOAD 00000566: DUP1 00000567: SWAP2 00000568: SUB 00000569: SWAP1 0000056a: RETURN 0000056b: JUMPDEST 0000056c: CALLVALUE 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: PUSH2 0x057e 0000057a: PUSH2 0x11a9 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH1 0x40 00000581: MLOAD 00000582: DUP1 00000583: DUP3 00000584: PUSH1 0x03 00000586: DUP2 00000587: GT 00000588: ISZERO 00000589: PUSH2 0x058e 0000058c: JUMPI 0000058d: INVALID 0000058e: JUMPDEST 0000058f: PUSH1 0xff 00000591: AND 00000592: DUP2 00000593: MSTORE 00000594: PUSH1 0x20 00000596: ADD 00000597: SWAP2 00000598: POP 00000599: POP 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP1 0000059e: SWAP2 0000059f: SUB 000005a0: SWAP1 000005a1: RETURN 000005a2: JUMPDEST 000005a3: CALLVALUE 000005a4: ISZERO 000005a5: PUSH2 0x05ad 000005a8: JUMPI 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: PUSH2 0x01c1 000005b1: PUSH2 0x11b2 000005b4: JUMP 000005b5: JUMPDEST 000005b6: CALLVALUE 000005b7: ISZERO 000005b8: PUSH2 0x05c0 000005bb: JUMPI 000005bc: PUSH1 0x00 000005be: DUP1 000005bf: REVERT 000005c0: JUMPDEST 000005c1: PUSH2 0x01c1 000005c4: PUSH2 0x11b8 000005c7: JUMP 000005c8: JUMPDEST 000005c9: CALLVALUE 000005ca: ISZERO 000005cb: PUSH2 0x05d3 000005ce: JUMPI 000005cf: PUSH1 0x00 000005d1: DUP1 000005d2: REVERT 000005d3: JUMPDEST 000005d4: PUSH2 0x01f5 000005d7: PUSH2 0x11c6 000005da: JUMP 000005db: JUMPDEST 000005dc: CALLVALUE 000005dd: ISZERO 000005de: PUSH2 0x05e6 000005e1: JUMPI 000005e2: PUSH1 0x00 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: PUSH2 0x01c1 000005ea: PUSH1 0x01 000005ec: PUSH1 0xa0 000005ee: PUSH1 0x02 000005f0: EXP 000005f1: SUB 000005f2: PUSH1 0x04 000005f4: CALLDATALOAD 000005f5: DUP2 000005f6: AND 000005f7: SWAP1 000005f8: PUSH1 0x24 000005fa: CALLDATALOAD 000005fb: AND 000005fc: PUSH2 0x1295 000005ff: JUMP 00000600: JUMPDEST 00000601: CALLVALUE 00000602: ISZERO 00000603: PUSH2 0x060b 00000606: JUMPI 00000607: PUSH1 0x00 00000609: DUP1 0000060a: REVERT 0000060b: JUMPDEST 0000060c: PUSH2 0x01c1 0000060f: PUSH2 0x12d0 00000612: JUMP 00000613: JUMPDEST 00000614: CALLVALUE 00000615: ISZERO 00000616: PUSH2 0x061e 00000619: JUMPI 0000061a: PUSH1 0x00 0000061c: DUP1 0000061d: REVERT 0000061e: JUMPDEST 0000061f: PUSH2 0x01c1 00000622: PUSH2 0x12dc 00000625: JUMP 00000626: JUMPDEST 00000627: PUSH1 0xaf 00000629: DUP2 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH1 0x0b 0000062e: SLOAD 0000062f: PUSH10 0x021e19e0c9bab2400000 0000063a: SWAP1 0000063b: LT 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: PUSH1 0x09 00000648: SLOAD 00000649: CALLER 0000064a: PUSH1 0x01 0000064c: PUSH1 0xa0 0000064e: PUSH1 0x02 00000650: EXP 00000651: SUB 00000652: SWAP1 00000653: DUP2 00000654: AND 00000655: SWAP2 00000656: AND 00000657: EQ 00000658: DUP1 00000659: PUSH2 0x0670 0000065c: JUMPI 0000065d: POP 0000065e: PUSH1 0x0a 00000660: SLOAD 00000661: CALLER 00000662: PUSH1 0x01 00000664: PUSH1 0xa0 00000666: PUSH1 0x02 00000668: EXP 00000669: SUB 0000066a: SWAP1 0000066b: DUP2 0000066c: AND 0000066d: SWAP2 0000066e: AND 0000066f: EQ 00000670: JUMPDEST 00000671: ISZERO 00000672: ISZERO 00000673: PUSH2 0x067b 00000676: JUMPI 00000677: PUSH1 0x00 00000679: DUP1 0000067a: REVERT 0000067b: JUMPDEST 0000067c: PUSH1 0x00 0000067e: CALLDATASIZE 0000067f: PUSH1 0x40 00000681: MLOAD 00000682: DUP1 00000683: DUP4 00000684: DUP4 00000685: DUP1 00000686: DUP3 00000687: DUP5 00000688: CALLDATACOPY 00000689: DUP3 0000068a: ADD 0000068b: SWAP2 0000068c: POP 0000068d: POP 0000068e: SWAP3 0000068f: POP 00000690: POP 00000691: POP 00000692: PUSH1 0x40 00000694: MLOAD 00000695: SWAP1 00000696: DUP2 00000697: SWAP1 00000698: SUB 00000699: SWAP1 0000069a: KECCAK256 0000069b: PUSH1 0x01 0000069d: PUSH1 0xa0 0000069f: PUSH1 0x02 000006a1: EXP 000006a2: SUB 000006a3: CALLER 000006a4: DUP2 000006a5: AND 000006a6: PUSH1 0x00 000006a8: SWAP1 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH1 0x0d 000006ad: PUSH1 0x20 000006af: MSTORE 000006b0: PUSH1 0x40 000006b2: DUP1 000006b3: DUP3 000006b4: KECCAK256 000006b5: SWAP4 000006b6: SWAP1 000006b7: SWAP4 000006b8: SSTORE 000006b9: PUSH1 0x0a 000006bb: SLOAD 000006bc: DUP3 000006bd: AND 000006be: DUP2 000006bf: MSTORE 000006c0: DUP3 000006c1: DUP2 000006c2: KECCAK256 000006c3: SLOAD 000006c4: PUSH1 0x09 000006c6: SLOAD 000006c7: SWAP1 000006c8: SWAP3 000006c9: AND 000006ca: DUP2 000006cb: MSTORE 000006cc: SWAP2 000006cd: SWAP1 000006ce: SWAP2 000006cf: KECCAK256 000006d0: SLOAD 000006d1: EQ 000006d2: ISZERO 000006d3: PUSH2 0x0760 000006d6: JUMPI 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: PUSH1 0x02 000006dd: EXP 000006de: SUB 000006df: ADDRESS 000006e0: AND 000006e1: BALANCE 000006e2: DUP3 000006e3: GT 000006e4: ISZERO 000006e5: PUSH2 0x06ed 000006e8: JUMPI 000006e9: PUSH1 0x00 000006eb: DUP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: PUSH1 0x01 000006f0: PUSH1 0xa0 000006f2: PUSH1 0x02 000006f4: EXP 000006f5: SUB 000006f6: DUP2 000006f7: AND 000006f8: ISZERO 000006f9: ISZERO 000006fa: PUSH2 0x0702 000006fd: JUMPI 000006fe: PUSH1 0x00 00000700: DUP1 00000701: REVERT 00000702: JUMPDEST 00000703: PUSH1 0x01 00000705: PUSH1 0xa0 00000707: PUSH1 0x02 00000709: EXP 0000070a: SUB 0000070b: DUP2 0000070c: AND 0000070d: DUP3 0000070e: ISZERO 0000070f: PUSH2 0x08fc 00000712: MUL 00000713: DUP4 00000714: PUSH1 0x40 00000716: MLOAD 00000717: PUSH1 0x00 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: DUP4 0000071e: SUB 0000071f: DUP2 00000720: DUP6 00000721: DUP9 00000722: DUP9 00000723: CALL 00000724: SWAP4 00000725: POP 00000726: POP 00000727: POP 00000728: POP 00000729: ISZERO 0000072a: ISZERO 0000072b: PUSH2 0x0733 0000072e: JUMPI 0000072f: PUSH1 0x00 00000731: DUP1 00000732: REVERT 00000733: JUMPDEST 00000734: PUSH1 0x09 00000736: SLOAD 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: PUSH1 0x02 0000073d: EXP 0000073e: SUB 0000073f: SWAP1 00000740: DUP2 00000741: AND 00000742: PUSH1 0x00 00000744: SWAP1 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x0d 00000749: PUSH1 0x20 0000074b: MSTORE 0000074c: PUSH1 0x40 0000074e: DUP1 0000074f: DUP3 00000750: KECCAK256 00000751: DUP3 00000752: SWAP1 00000753: SSTORE 00000754: PUSH1 0x0a 00000756: SLOAD 00000757: SWAP1 00000758: SWAP3 00000759: AND 0000075a: DUP2 0000075b: MSTORE 0000075c: SWAP1 0000075d: DUP2 0000075e: KECCAK256 0000075f: SSTORE 00000760: JUMPDEST 00000761: POP 00000762: POP 00000763: JUMP 00000764: JUMPDEST 00000765: PUSH1 0x0a 00000767: SLOAD 00000768: PUSH1 0x01 0000076a: PUSH1 0xa0 0000076c: PUSH1 0x02 0000076e: EXP 0000076f: SUB 00000770: AND 00000771: DUP2 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x40 00000776: DUP1 00000777: MLOAD 00000778: SWAP1 00000779: DUP2 0000077a: ADD 0000077b: PUSH1 0x40 0000077d: MSTORE 0000077e: PUSH1 0x0d 00000780: DUP2 00000781: MSTORE 00000782: PUSH32 0x5072652d4c656f20546f6b656e00000000000000000000000000000000000000 000007a3: PUSH1 0x20 000007a5: DUP3 000007a6: ADD 000007a7: MSTORE 000007a8: DUP2 000007a9: JUMP 000007aa: JUMPDEST 000007ab: PUSH1 0x00 000007ad: PUSH1 0x02 000007af: CALLDATASIZE 000007b0: PUSH1 0x44 000007b2: EQ 000007b3: PUSH2 0x07b8 000007b6: JUMPI 000007b7: INVALID 000007b8: JUMPDEST 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: PUSH1 0x02 000007bf: EXP 000007c0: SUB 000007c1: CALLER 000007c2: DUP2 000007c3: AND 000007c4: PUSH1 0x00 000007c6: DUP2 000007c7: DUP2 000007c8: MSTORE 000007c9: PUSH1 0x02 000007cb: PUSH1 0x20 000007cd: SWAP1 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x40 000007d2: DUP1 000007d3: DUP4 000007d4: KECCAK256 000007d5: SWAP5 000007d6: DUP10 000007d7: AND 000007d8: DUP1 000007d9: DUP5 000007da: MSTORE 000007db: SWAP5 000007dc: SWAP1 000007dd: SWAP2 000007de: MSTORE 000007df: SWAP1 000007e0: DUP2 000007e1: SWAP1 000007e2: KECCAK256 000007e3: DUP7 000007e4: SWAP1 000007e5: SSTORE 000007e6: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000807: SWAP1 00000808: DUP7 00000809: SWAP1 0000080a: MLOAD 0000080b: SWAP1 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x20 00000810: ADD 00000811: PUSH1 0x40 00000813: MLOAD 00000814: DUP1 00000815: SWAP2 00000816: SUB 00000817: SWAP1 00000818: LOG3 00000819: POP 0000081a: PUSH1 0x01 0000081c: SWAP4 0000081d: SWAP3 0000081e: POP 0000081f: POP 00000820: POP 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH1 0xc8 00000825: DUP2 00000826: JUMP 00000827: JUMPDEST 00000828: PUSH1 0x09 0000082a: SLOAD 0000082b: PUSH1 0x01 0000082d: PUSH1 0xa0 0000082f: PUSH1 0x02 00000831: EXP 00000832: SUB 00000833: AND 00000834: DUP2 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH10 0x021e19e0c9bab2400000 00000842: DUP2 00000843: JUMP 00000844: JUMPDEST 00000845: PUSH1 0x00 00000847: SLOAD 00000848: DUP2 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x00 0000084d: PUSH1 0x01 0000084f: PUSH1 0x04 00000851: SLOAD 00000852: PUSH1 0xff 00000854: AND 00000855: PUSH1 0x03 00000857: DUP2 00000858: GT 00000859: ISZERO 0000085a: PUSH2 0x085f 0000085d: JUMPI 0000085e: INVALID 0000085f: JUMPDEST 00000860: EQ 00000861: PUSH2 0x0869 00000864: JUMPI 00000865: PUSH1 0x00 00000867: DUP1 00000868: REVERT 00000869: JUMPDEST 0000086a: PUSH1 0x03 0000086c: CALLDATASIZE 0000086d: PUSH1 0x64 0000086f: EQ 00000870: PUSH2 0x0875 00000873: JUMPI 00000874: INVALID 00000875: JUMPDEST 00000876: PUSH2 0x0880 00000879: DUP6 0000087a: DUP6 0000087b: DUP6 0000087c: PUSH2 0x12eb 0000087f: JUMP 00000880: JUMPDEST 00000881: SWAP6 00000882: SWAP5 00000883: POP 00000884: POP 00000885: POP 00000886: POP 00000887: POP 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH1 0x07 0000088c: SLOAD 0000088d: DUP2 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH1 0x03 00000892: PUSH1 0x04 00000894: SLOAD 00000895: PUSH1 0xff 00000897: AND 00000898: PUSH1 0x03 0000089a: DUP2 0000089b: GT 0000089c: ISZERO 0000089d: PUSH2 0x08a2 000008a0: JUMPI 000008a1: INVALID 000008a2: JUMPDEST 000008a3: EQ 000008a4: PUSH2 0x08ac 000008a7: JUMPI 000008a8: PUSH1 0x00 000008aa: DUP1 000008ab: REVERT 000008ac: JUMPDEST 000008ad: PUSH1 0x09 000008af: SLOAD 000008b0: CALLER 000008b1: PUSH1 0x01 000008b3: PUSH1 0xa0 000008b5: PUSH1 0x02 000008b7: EXP 000008b8: SUB 000008b9: SWAP1 000008ba: DUP2 000008bb: AND 000008bc: SWAP2 000008bd: AND 000008be: EQ 000008bf: DUP1 000008c0: PUSH2 0x08d7 000008c3: JUMPI 000008c4: POP 000008c5: PUSH1 0x0a 000008c7: SLOAD 000008c8: CALLER 000008c9: PUSH1 0x01 000008cb: PUSH1 0xa0 000008cd: PUSH1 0x02 000008cf: EXP 000008d0: SUB 000008d1: SWAP1 000008d2: DUP2 000008d3: AND 000008d4: SWAP2 000008d5: AND 000008d6: EQ 000008d7: JUMPDEST 000008d8: ISZERO 000008d9: ISZERO 000008da: PUSH2 0x08e2 000008dd: JUMPI 000008de: PUSH1 0x00 000008e0: DUP1 000008e1: REVERT 000008e2: JUMPDEST 000008e3: PUSH1 0x00 000008e5: CALLDATASIZE 000008e6: PUSH1 0x40 000008e8: MLOAD 000008e9: DUP1 000008ea: DUP4 000008eb: DUP4 000008ec: DUP1 000008ed: DUP3 000008ee: DUP5 000008ef: CALLDATACOPY 000008f0: DUP3 000008f1: ADD 000008f2: SWAP2 000008f3: POP 000008f4: POP 000008f5: SWAP3 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: PUSH1 0x40 000008fb: MLOAD 000008fc: SWAP1 000008fd: DUP2 000008fe: SWAP1 000008ff: SUB 00000900: SWAP1 00000901: KECCAK256 00000902: PUSH1 0x01 00000904: PUSH1 0xa0 00000906: PUSH1 0x02 00000908: EXP 00000909: SUB 0000090a: CALLER 0000090b: DUP2 0000090c: AND 0000090d: PUSH1 0x00 0000090f: SWAP1 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x0d 00000914: PUSH1 0x20 00000916: MSTORE 00000917: PUSH1 0x40 00000919: DUP1 0000091a: DUP3 0000091b: KECCAK256 0000091c: SWAP4 0000091d: SWAP1 0000091e: SWAP4 0000091f: SSTORE 00000920: PUSH1 0x0a 00000922: SLOAD 00000923: DUP3 00000924: AND 00000925: DUP2 00000926: MSTORE 00000927: DUP3 00000928: DUP2 00000929: KECCAK256 0000092a: SLOAD 0000092b: PUSH1 0x09 0000092d: SLOAD 0000092e: SWAP1 0000092f: SWAP3 00000930: AND 00000931: DUP2 00000932: MSTORE 00000933: SWAP2 00000934: SWAP1 00000935: SWAP2 00000936: KECCAK256 00000937: SLOAD 00000938: EQ 00000939: ISZERO 0000093a: PUSH2 0x098f 0000093d: JUMPI 0000093e: PUSH1 0x04 00000940: DUP1 00000941: SLOAD 00000942: PUSH1 0xff 00000944: PUSH2 0x0100 00000947: DUP3 00000948: DIV 00000949: AND 0000094a: SWAP2 0000094b: SWAP1 0000094c: PUSH1 0xff 0000094e: NOT 0000094f: AND 00000950: PUSH1 0x01 00000952: DUP4 00000953: PUSH1 0x03 00000955: DUP2 00000956: GT 00000957: ISZERO 00000958: PUSH2 0x095d 0000095b: JUMPI 0000095c: INVALID 0000095d: JUMPDEST 0000095e: MUL 0000095f: OR 00000960: SWAP1 00000961: SSTORE 00000962: POP 00000963: PUSH1 0x09 00000965: SLOAD 00000966: PUSH1 0x01 00000968: PUSH1 0xa0 0000096a: PUSH1 0x02 0000096c: EXP 0000096d: SUB 0000096e: SWAP1 0000096f: DUP2 00000970: AND 00000971: PUSH1 0x00 00000973: SWAP1 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x0d 00000978: PUSH1 0x20 0000097a: MSTORE 0000097b: PUSH1 0x40 0000097d: DUP1 0000097e: DUP3 0000097f: KECCAK256 00000980: DUP3 00000981: SWAP1 00000982: SSTORE 00000983: PUSH1 0x0a 00000985: SLOAD 00000986: SWAP1 00000987: SWAP3 00000988: AND 00000989: DUP2 0000098a: MSTORE 0000098b: SWAP1 0000098c: DUP2 0000098d: KECCAK256 0000098e: SSTORE 0000098f: JUMPDEST 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x12 00000994: DUP2 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x08 00000999: SLOAD 0000099a: DUP2 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH1 0x00 0000099f: PUSH1 0x04 000009a1: SLOAD 000009a2: PUSH1 0xff 000009a4: AND 000009a5: PUSH1 0x03 000009a7: DUP2 000009a8: GT 000009a9: ISZERO 000009aa: PUSH2 0x09af 000009ad: JUMPI 000009ae: INVALID 000009af: JUMPDEST 000009b0: EQ 000009b1: PUSH2 0x09b9 000009b4: JUMPI 000009b5: PUSH1 0x00 000009b7: DUP1 000009b8: REVERT 000009b9: JUMPDEST 000009ba: PUSH1 0x0b 000009bc: SLOAD 000009bd: PUSH10 0x021e19e0c9bab2400000 000009c8: SWAP1 000009c9: LT 000009ca: ISZERO 000009cb: PUSH2 0x09d3 000009ce: JUMPI 000009cf: PUSH1 0x00 000009d1: DUP1 000009d2: REVERT 000009d3: JUMPDEST 000009d4: PUSH1 0x09 000009d6: SLOAD 000009d7: CALLER 000009d8: PUSH1 0x01 000009da: PUSH1 0xa0 000009dc: PUSH1 0x02 000009de: EXP 000009df: SUB 000009e0: SWAP1 000009e1: DUP2 000009e2: AND 000009e3: SWAP2 000009e4: AND 000009e5: EQ 000009e6: DUP1 000009e7: PUSH2 0x09fe 000009ea: JUMPI 000009eb: POP 000009ec: PUSH1 0x0a 000009ee: SLOAD 000009ef: CALLER 000009f0: PUSH1 0x01 000009f2: PUSH1 0xa0 000009f4: PUSH1 0x02 000009f6: EXP 000009f7: SUB 000009f8: SWAP1 000009f9: DUP2 000009fa: AND 000009fb: SWAP2 000009fc: AND 000009fd: EQ 000009fe: JUMPDEST 000009ff: ISZERO 00000a00: ISZERO 00000a01: PUSH2 0x0a09 00000a04: JUMPI 00000a05: PUSH1 0x00 00000a07: DUP1 00000a08: REVERT 00000a09: JUMPDEST 00000a0a: PUSH1 0x00 00000a0c: CALLDATASIZE 00000a0d: PUSH1 0x40 00000a0f: MLOAD 00000a10: DUP1 00000a11: DUP4 00000a12: DUP4 00000a13: DUP1 00000a14: DUP3 00000a15: DUP5 00000a16: CALLDATACOPY 00000a17: DUP3 00000a18: ADD 00000a19: SWAP2 00000a1a: POP 00000a1b: POP 00000a1c: SWAP3 00000a1d: POP 00000a1e: POP 00000a1f: POP 00000a20: PUSH1 0x40 00000a22: MLOAD 00000a23: SWAP1 00000a24: DUP2 00000a25: SWAP1 00000a26: SUB 00000a27: SWAP1 00000a28: KECCAK256 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: PUSH1 0x02 00000a2f: EXP 00000a30: SUB 00000a31: CALLER 00000a32: DUP2 00000a33: AND 00000a34: PUSH1 0x00 00000a36: SWAP1 00000a37: DUP2 00000a38: MSTORE 00000a39: PUSH1 0x0d 00000a3b: PUSH1 0x20 00000a3d: MSTORE 00000a3e: PUSH1 0x40 00000a40: DUP1 00000a41: DUP3 00000a42: KECCAK256 00000a43: SWAP4 00000a44: SWAP1 00000a45: SWAP4 00000a46: SSTORE 00000a47: PUSH1 0x0a 00000a49: SLOAD 00000a4a: DUP3 00000a4b: AND 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: DUP3 00000a4f: DUP2 00000a50: KECCAK256 00000a51: SLOAD 00000a52: PUSH1 0x09 00000a54: SLOAD 00000a55: SWAP1 00000a56: SWAP3 00000a57: AND 00000a58: DUP2 00000a59: MSTORE 00000a5a: SWAP2 00000a5b: SWAP1 00000a5c: SWAP2 00000a5d: KECCAK256 00000a5e: SLOAD 00000a5f: EQ 00000a60: ISZERO 00000a61: PUSH2 0x0b38 00000a64: JUMPI 00000a65: PUSH1 0x06 00000a67: SLOAD 00000a68: NUMBER 00000a69: GT 00000a6a: DUP1 00000a6b: PUSH2 0x0a82 00000a6e: JUMPI 00000a6f: POP 00000a70: PUSH1 0x00 00000a72: SLOAD 00000a73: PUSH11 0x084595161401484a000000 00000a7f: SWAP1 00000a80: LT 00000a81: ISZERO 00000a82: JUMPDEST 00000a83: DUP1 00000a84: PUSH2 0x0a9a 00000a87: JUMPI 00000a88: POP 00000a89: PUSH1 0x0b 00000a8b: SLOAD 00000a8c: PUSH10 0x0a968163f0a57b400000 00000a97: SWAP1 00000a98: LT 00000a99: ISZERO 00000a9a: JUMPDEST 00000a9b: ISZERO 00000a9c: ISZERO 00000a9d: PUSH2 0x0aa5 00000aa0: JUMPI 00000aa1: PUSH1 0x00 00000aa3: DUP1 00000aa4: REVERT 00000aa5: JUMPDEST 00000aa6: PUSH1 0x01 00000aa8: PUSH1 0xa0 00000aaa: PUSH1 0x02 00000aac: EXP 00000aad: SUB 00000aae: DUP2 00000aaf: AND 00000ab0: ISZERO 00000ab1: ISZERO 00000ab2: PUSH2 0x0aba 00000ab5: JUMPI 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: PUSH1 0x04 00000abd: DUP1 00000abe: SLOAD 00000abf: PUSH2 0x0100 00000ac2: PUSH2 0xff00 00000ac5: NOT 00000ac6: PUSH1 0xff 00000ac8: NOT 00000ac9: SWAP1 00000aca: SWAP3 00000acb: AND 00000acc: PUSH1 0x01 00000ace: OR 00000acf: SWAP2 00000ad0: SWAP1 00000ad1: SWAP2 00000ad2: AND 00000ad3: OR 00000ad4: SWAP1 00000ad5: SSTORE 00000ad6: PUSH1 0x01 00000ad8: PUSH1 0xa0 00000ada: PUSH1 0x02 00000adc: EXP 00000add: SUB 00000ade: DUP1 00000adf: DUP3 00000ae0: AND 00000ae1: SWAP1 00000ae2: ADDRESS 00000ae3: AND 00000ae4: BALANCE 00000ae5: DUP1 00000ae6: ISZERO 00000ae7: PUSH2 0x08fc 00000aea: MUL 00000aeb: SWAP1 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: PUSH1 0x00 00000af1: PUSH1 0x40 00000af3: MLOAD 00000af4: DUP1 00000af5: DUP4 00000af6: SUB 00000af7: DUP2 00000af8: DUP6 00000af9: DUP9 00000afa: DUP9 00000afb: CALL 00000afc: SWAP4 00000afd: POP 00000afe: POP 00000aff: POP 00000b00: POP 00000b01: ISZERO 00000b02: ISZERO 00000b03: PUSH2 0x0b0b 00000b06: JUMPI 00000b07: PUSH1 0x00 00000b09: DUP1 00000b0a: REVERT 00000b0b: JUMPDEST 00000b0c: PUSH1 0x09 00000b0e: SLOAD 00000b0f: PUSH1 0x01 00000b11: PUSH1 0xa0 00000b13: PUSH1 0x02 00000b15: EXP 00000b16: SUB 00000b17: SWAP1 00000b18: DUP2 00000b19: AND 00000b1a: PUSH1 0x00 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x0d 00000b21: PUSH1 0x20 00000b23: MSTORE 00000b24: PUSH1 0x40 00000b26: DUP1 00000b27: DUP3 00000b28: KECCAK256 00000b29: DUP3 00000b2a: SWAP1 00000b2b: SSTORE 00000b2c: PUSH1 0x0a 00000b2e: SLOAD 00000b2f: SWAP1 00000b30: SWAP3 00000b31: AND 00000b32: DUP2 00000b33: MSTORE 00000b34: SWAP1 00000b35: DUP2 00000b36: KECCAK256 00000b37: SSTORE 00000b38: JUMPDEST 00000b39: POP 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x40 00000b3e: DUP1 00000b3f: MLOAD 00000b40: SWAP1 00000b41: DUP2 00000b42: ADD 00000b43: PUSH1 0x40 00000b45: MSTORE 00000b46: PUSH1 0x03 00000b48: DUP2 00000b49: MSTORE 00000b4a: PUSH32 0x302e390000000000000000000000000000000000000000000000000000000000 00000b6b: PUSH1 0x20 00000b6d: DUP3 00000b6e: ADD 00000b6f: MSTORE 00000b70: DUP2 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH1 0x00 00000b75: DUP1 00000b76: DUP1 00000b77: PUSH1 0x04 00000b79: SLOAD 00000b7a: PUSH1 0xff 00000b7c: AND 00000b7d: PUSH1 0x03 00000b7f: DUP2 00000b80: GT 00000b81: ISZERO 00000b82: PUSH2 0x0b87 00000b85: JUMPI 00000b86: INVALID 00000b87: JUMPDEST 00000b88: EQ 00000b89: DUP1 00000b8a: PUSH2 0x0bc3 00000b8d: JUMPI 00000b8e: POP 00000b8f: PUSH1 0x03 00000b91: PUSH1 0x04 00000b93: SLOAD 00000b94: PUSH1 0xff 00000b96: AND 00000b97: PUSH1 0x03 00000b99: DUP2 00000b9a: GT 00000b9b: ISZERO 00000b9c: PUSH2 0x0ba1 00000b9f: JUMPI 00000ba0: INVALID 00000ba1: JUMPDEST 00000ba2: EQ 00000ba3: DUP1 00000ba4: ISZERO 00000ba5: PUSH2 0x0bc3 00000ba8: JUMPI 00000ba9: POP 00000baa: PUSH1 0x00 00000bac: PUSH1 0x04 00000bae: SLOAD 00000baf: PUSH2 0x0100 00000bb2: SWAP1 00000bb3: DIV 00000bb4: PUSH1 0xff 00000bb6: AND 00000bb7: PUSH1 0x03 00000bb9: DUP2 00000bba: GT 00000bbb: ISZERO 00000bbc: PUSH2 0x0bc1 00000bbf: JUMPI 00000bc0: INVALID 00000bc1: JUMPDEST 00000bc2: EQ 00000bc3: JUMPDEST 00000bc4: ISZERO 00000bc5: ISZERO 00000bc6: PUSH2 0x0bce 00000bc9: JUMPI 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: REVERT 00000bce: JUMPDEST 00000bcf: PUSH1 0x06 00000bd1: SLOAD 00000bd2: NUMBER 00000bd3: GT 00000bd4: PUSH2 0x0bdc 00000bd7: JUMPI 00000bd8: PUSH1 0x00 00000bda: DUP1 00000bdb: REVERT 00000bdc: JUMPDEST 00000bdd: PUSH1 0x0b 00000bdf: SLOAD 00000be0: PUSH10 0x021e19e0c9bab2400000 00000beb: SWAP1 00000bec: LT 00000bed: PUSH2 0x0bf5 00000bf0: JUMPI 00000bf1: PUSH1 0x00 00000bf3: DUP1 00000bf4: REVERT 00000bf5: JUMPDEST 00000bf6: PUSH1 0x01 00000bf8: PUSH1 0xa0 00000bfa: PUSH1 0x02 00000bfc: EXP 00000bfd: SUB 00000bfe: CALLER 00000bff: AND 00000c00: PUSH1 0x00 00000c02: SWAP1 00000c03: DUP2 00000c04: MSTORE 00000c05: PUSH1 0x01 00000c07: PUSH1 0x20 00000c09: MSTORE 00000c0a: PUSH1 0x40 00000c0c: DUP2 00000c0d: KECCAK256 00000c0e: SLOAD 00000c0f: SWAP3 00000c10: POP 00000c11: DUP3 00000c12: GT 00000c13: PUSH2 0x0c1b 00000c16: JUMPI 00000c17: PUSH1 0x00 00000c19: DUP1 00000c1a: REVERT 00000c1b: JUMPDEST 00000c1c: POP 00000c1d: PUSH1 0x01 00000c1f: PUSH1 0xa0 00000c21: PUSH1 0x02 00000c23: EXP 00000c24: SUB 00000c25: CALLER 00000c26: AND 00000c27: PUSH1 0x00 00000c29: SWAP1 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x0c 00000c2e: PUSH1 0x20 00000c30: MSTORE 00000c31: PUSH1 0x40 00000c33: DUP2 00000c34: KECCAK256 00000c35: SLOAD 00000c36: SWAP1 00000c37: DUP2 00000c38: GT 00000c39: PUSH2 0x0c41 00000c3c: JUMPI 00000c3d: PUSH1 0x00 00000c3f: DUP1 00000c40: REVERT 00000c41: JUMPDEST 00000c42: PUSH1 0x01 00000c44: PUSH1 0xa0 00000c46: PUSH1 0x02 00000c48: EXP 00000c49: SUB 00000c4a: CALLER 00000c4b: AND 00000c4c: PUSH1 0x00 00000c4e: SWAP1 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x01 00000c53: PUSH1 0x20 00000c55: SWAP1 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x40 00000c5a: DUP1 00000c5b: DUP4 00000c5c: KECCAK256 00000c5d: DUP4 00000c5e: SWAP1 00000c5f: SSTORE 00000c60: PUSH1 0x0c 00000c62: SWAP1 00000c63: SWAP2 00000c64: MSTORE 00000c65: DUP2 00000c66: KECCAK256 00000c67: DUP2 00000c68: SWAP1 00000c69: SSTORE 00000c6a: SLOAD 00000c6b: PUSH2 0x0c74 00000c6e: SWAP1 00000c6f: DUP4 00000c70: PUSH2 0x1476 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH1 0x00 00000c77: SSTORE 00000c78: PUSH1 0x01 00000c7a: PUSH1 0xa0 00000c7c: PUSH1 0x02 00000c7e: EXP 00000c7f: SUB 00000c80: CALLER 00000c81: AND 00000c82: PUSH32 0xb6c0eca8138e097d71e2dd31e19a1266487f0553f170b7260ffe68bcbe9ff8a7 00000ca3: DUP3 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: SWAP1 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: ADD 00000cad: PUSH1 0x40 00000caf: MLOAD 00000cb0: DUP1 00000cb1: SWAP2 00000cb2: SUB 00000cb3: SWAP1 00000cb4: LOG2 00000cb5: PUSH1 0x01 00000cb7: PUSH1 0xa0 00000cb9: PUSH1 0x02 00000cbb: EXP 00000cbc: SUB 00000cbd: CALLER 00000cbe: AND 00000cbf: DUP2 00000cc0: ISZERO 00000cc1: PUSH2 0x08fc 00000cc4: MUL 00000cc5: DUP3 00000cc6: PUSH1 0x40 00000cc8: MLOAD 00000cc9: PUSH1 0x00 00000ccb: PUSH1 0x40 00000ccd: MLOAD 00000cce: DUP1 00000ccf: DUP4 00000cd0: SUB 00000cd1: DUP2 00000cd2: DUP6 00000cd3: DUP9 00000cd4: DUP9 00000cd5: CALL 00000cd6: SWAP4 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: POP 00000cdb: ISZERO 00000cdc: ISZERO 00000cdd: PUSH2 0x0760 00000ce0: JUMPI 00000ce1: PUSH1 0x00 00000ce3: DUP1 00000ce4: REVERT 00000ce5: JUMPDEST 00000ce6: PUSH1 0x01 00000ce8: PUSH1 0xa0 00000cea: PUSH1 0x02 00000cec: EXP 00000ced: SUB 00000cee: AND 00000cef: PUSH1 0x00 00000cf1: SWAP1 00000cf2: DUP2 00000cf3: MSTORE 00000cf4: PUSH1 0x01 00000cf6: PUSH1 0x20 00000cf8: MSTORE 00000cf9: PUSH1 0x40 00000cfb: SWAP1 00000cfc: KECCAK256 00000cfd: SLOAD 00000cfe: SWAP1 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x0b 00000d03: SLOAD 00000d04: DUP2 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x00 00000d09: PUSH2 0x0d10 00000d0c: PUSH2 0x15f1 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH1 0x02 00000d13: PUSH1 0x04 00000d15: SLOAD 00000d16: PUSH1 0xff 00000d18: AND 00000d19: PUSH1 0x03 00000d1b: DUP2 00000d1c: GT 00000d1d: ISZERO 00000d1e: PUSH2 0x0d23 00000d21: JUMPI 00000d22: INVALID 00000d23: JUMPDEST 00000d24: EQ 00000d25: PUSH2 0x0d2d 00000d28: JUMPI 00000d29: PUSH1 0x00 00000d2b: DUP1 00000d2c: REVERT 00000d2d: JUMPDEST 00000d2e: PUSH1 0x01 00000d30: PUSH1 0xa0 00000d32: PUSH1 0x02 00000d34: EXP 00000d35: SUB 00000d36: CALLER 00000d37: AND 00000d38: PUSH1 0x00 00000d3a: SWAP1 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x01 00000d3f: PUSH1 0x20 00000d41: MSTORE 00000d42: PUSH1 0x40 00000d44: SWAP1 00000d45: KECCAK256 00000d46: SLOAD 00000d47: SWAP2 00000d48: POP 00000d49: PUSH8 0x0de0b6b3a7640000 00000d52: DUP3 00000d53: LT 00000d54: ISZERO 00000d55: PUSH2 0x0d5d 00000d58: JUMPI 00000d59: PUSH1 0x00 00000d5b: DUP1 00000d5c: REVERT 00000d5d: JUMPDEST 00000d5e: DUP4 00000d5f: DUP4 00000d60: DUP1 00000d61: DUP1 00000d62: PUSH1 0x1f 00000d64: ADD 00000d65: PUSH1 0x20 00000d67: DUP1 00000d68: SWAP2 00000d69: DIV 00000d6a: MUL 00000d6b: PUSH1 0x20 00000d6d: ADD 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: SWAP1 00000d72: DUP2 00000d73: ADD 00000d74: PUSH1 0x40 00000d76: MSTORE 00000d77: DUP2 00000d78: DUP2 00000d79: MSTORE 00000d7a: SWAP3 00000d7b: SWAP2 00000d7c: SWAP1 00000d7d: PUSH1 0x20 00000d7f: DUP5 00000d80: ADD 00000d81: DUP4 00000d82: DUP4 00000d83: DUP1 00000d84: DUP3 00000d85: DUP5 00000d86: CALLDATACOPY 00000d87: DUP3 00000d88: ADD 00000d89: SWAP2 00000d8a: POP 00000d8b: POP 00000d8c: POP 00000d8d: POP 00000d8e: POP 00000d8f: POP 00000d90: SWAP1 00000d91: POP 00000d92: PUSH1 0x00 00000d94: DUP2 00000d95: MLOAD 00000d96: GT 00000d97: PUSH2 0x0d9f 00000d9a: JUMPI 00000d9b: PUSH1 0x00 00000d9d: DUP1 00000d9e: REVERT 00000d9f: JUMPDEST 00000da0: PUSH1 0x40 00000da2: DUP1 00000da3: MLOAD 00000da4: SWAP1 00000da5: DUP2 00000da6: ADD 00000da7: PUSH1 0x40 00000da9: MSTORE 00000daa: DUP1 00000dab: CALLER 00000dac: PUSH1 0x01 00000dae: PUSH1 0xa0 00000db0: PUSH1 0x02 00000db2: EXP 00000db3: SUB 00000db4: AND 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x20 00000db9: ADD 00000dba: DUP6 00000dbb: DUP6 00000dbc: DUP1 00000dbd: DUP1 00000dbe: PUSH1 0x1f 00000dc0: ADD 00000dc1: PUSH1 0x20 00000dc3: DUP1 00000dc4: SWAP2 00000dc5: DIV 00000dc6: MUL 00000dc7: PUSH1 0x20 00000dc9: ADD 00000dca: PUSH1 0x40 00000dcc: MLOAD 00000dcd: SWAP1 00000dce: DUP2 00000dcf: ADD 00000dd0: PUSH1 0x40 00000dd2: MSTORE 00000dd3: DUP2 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: SWAP3 00000dd7: SWAP2 00000dd8: SWAP1 00000dd9: PUSH1 0x20 00000ddb: DUP5 00000ddc: ADD 00000ddd: DUP4 00000dde: DUP4 00000ddf: DUP1 00000de0: DUP3 00000de1: DUP5 00000de2: CALLDATACOPY 00000de3: POP 00000de4: POP 00000de5: POP 00000de6: SWAP3 00000de7: SWAP1 00000de8: SWAP4 00000de9: MSTORE 00000dea: POP 00000deb: POP 00000dec: PUSH1 0x08 00000dee: SLOAD 00000def: PUSH1 0x00 00000df1: SWAP1 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x03 00000df6: PUSH1 0x20 00000df8: MSTORE 00000df9: PUSH1 0x40 00000dfb: SWAP1 00000dfc: KECCAK256 00000dfd: SWAP1 00000dfe: POP 00000dff: DUP2 00000e00: MLOAD 00000e01: DUP2 00000e02: SLOAD 00000e03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e18: NOT 00000e19: AND 00000e1a: PUSH1 0x01 00000e1c: PUSH1 0xa0 00000e1e: PUSH1 0x02 00000e20: EXP 00000e21: SUB 00000e22: SWAP2 00000e23: SWAP1 00000e24: SWAP2 00000e25: AND 00000e26: OR 00000e27: DUP2 00000e28: SSTORE 00000e29: PUSH1 0x20 00000e2b: DUP3 00000e2c: ADD 00000e2d: MLOAD 00000e2e: DUP2 00000e2f: PUSH1 0x01 00000e31: ADD 00000e32: SWAP1 00000e33: DUP1 00000e34: MLOAD 00000e35: PUSH2 0x0e42 00000e38: SWAP3 00000e39: SWAP2 00000e3a: PUSH1 0x20 00000e3c: ADD 00000e3d: SWAP1 00000e3e: PUSH2 0x1603 00000e41: JUMP 00000e42: JUMPDEST 00000e43: POP 00000e44: POP 00000e45: PUSH1 0x08 00000e47: DUP1 00000e48: SLOAD 00000e49: PUSH1 0x01 00000e4b: ADD 00000e4c: SWAP1 00000e4d: SSTORE 00000e4e: POP 00000e4f: PUSH2 0x0e59 00000e52: PUSH1 0x00 00000e54: DUP4 00000e55: PUSH2 0x148a 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: ISZERO 00000e5b: ISZERO 00000e5c: PUSH2 0x0e64 00000e5f: JUMPI 00000e60: PUSH1 0x00 00000e62: DUP1 00000e63: REVERT 00000e64: JUMPDEST 00000e65: CALLER 00000e66: PUSH1 0x01 00000e68: PUSH1 0xa0 00000e6a: PUSH1 0x02 00000e6c: EXP 00000e6d: SUB 00000e6e: AND 00000e6f: PUSH32 0x7ef757ab6020f25266f3d996d68be651bc4e059cfa25f2a09c3878260ee0b2f9 00000e90: DUP4 00000e91: DUP7 00000e92: DUP7 00000e93: PUSH1 0x40 00000e95: MLOAD 00000e96: DUP4 00000e97: DUP2 00000e98: MSTORE 00000e99: PUSH1 0x40 00000e9b: PUSH1 0x20 00000e9d: DUP3 00000e9e: ADD 00000e9f: DUP2 00000ea0: DUP2 00000ea1: MSTORE 00000ea2: SWAP1 00000ea3: DUP3 00000ea4: ADD 00000ea5: DUP4 00000ea6: SWAP1 00000ea7: MSTORE 00000ea8: PUSH1 0x60 00000eaa: DUP3 00000eab: ADD 00000eac: DUP5 00000ead: DUP5 00000eae: DUP1 00000eaf: DUP3 00000eb0: DUP5 00000eb1: CALLDATACOPY 00000eb2: DUP3 00000eb3: ADD 00000eb4: SWAP2 00000eb5: POP 00000eb6: POP 00000eb7: SWAP5 00000eb8: POP 00000eb9: POP 00000eba: POP 00000ebb: POP 00000ebc: POP 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: DUP1 00000ec1: SWAP2 00000ec2: SUB 00000ec3: SWAP1 00000ec4: LOG2 00000ec5: POP 00000ec6: POP 00000ec7: POP 00000ec8: POP 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: PUSH1 0x03 00000ecd: PUSH1 0x04 00000ecf: SLOAD 00000ed0: PUSH1 0xff 00000ed2: AND 00000ed3: PUSH1 0x03 00000ed5: DUP2 00000ed6: GT 00000ed7: ISZERO 00000ed8: PUSH2 0x0edd 00000edb: JUMPI 00000edc: INVALID 00000edd: JUMPDEST 00000ede: EQ 00000edf: ISZERO 00000ee0: PUSH2 0x0ee8 00000ee3: JUMPI 00000ee4: PUSH1 0x00 00000ee6: DUP1 00000ee7: REVERT 00000ee8: JUMPDEST 00000ee9: PUSH1 0x09 00000eeb: SLOAD 00000eec: CALLER 00000eed: PUSH1 0x01 00000eef: PUSH1 0xa0 00000ef1: PUSH1 0x02 00000ef3: EXP 00000ef4: SUB 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: AND 00000ef8: SWAP2 00000ef9: AND 00000efa: EQ 00000efb: DUP1 00000efc: PUSH2 0x0f13 00000eff: JUMPI 00000f00: POP 00000f01: PUSH1 0x0a 00000f03: SLOAD 00000f04: CALLER 00000f05: PUSH1 0x01 00000f07: PUSH1 0xa0 00000f09: PUSH1 0x02 00000f0b: EXP 00000f0c: SUB 00000f0d: SWAP1 00000f0e: DUP2 00000f0f: AND 00000f10: SWAP2 00000f11: AND 00000f12: EQ 00000f13: JUMPDEST 00000f14: ISZERO 00000f15: ISZERO 00000f16: PUSH2 0x0f1e 00000f19: JUMPI 00000f1a: PUSH1 0x00 00000f1c: DUP1 00000f1d: REVERT 00000f1e: JUMPDEST 00000f1f: PUSH1 0x00 00000f21: CALLDATASIZE 00000f22: PUSH1 0x40 00000f24: MLOAD 00000f25: DUP1 00000f26: DUP4 00000f27: DUP4 00000f28: DUP1 00000f29: DUP3 00000f2a: DUP5 00000f2b: CALLDATACOPY 00000f2c: DUP3 00000f2d: ADD 00000f2e: SWAP2 00000f2f: POP 00000f30: POP 00000f31: SWAP3 00000f32: POP 00000f33: POP 00000f34: POP 00000f35: PUSH1 0x40 00000f37: MLOAD 00000f38: SWAP1 00000f39: DUP2 00000f3a: SWAP1 00000f3b: SUB 00000f3c: SWAP1 00000f3d: KECCAK256 00000f3e: PUSH1 0x01 00000f40: PUSH1 0xa0 00000f42: PUSH1 0x02 00000f44: EXP 00000f45: SUB 00000f46: CALLER 00000f47: DUP2 00000f48: AND 00000f49: PUSH1 0x00 00000f4b: SWAP1 00000f4c: DUP2 00000f4d: MSTORE 00000f4e: PUSH1 0x0d 00000f50: PUSH1 0x20 00000f52: MSTORE 00000f53: PUSH1 0x40 00000f55: DUP1 00000f56: DUP3 00000f57: KECCAK256 00000f58: SWAP4 00000f59: SWAP1 00000f5a: SWAP4 00000f5b: SSTORE 00000f5c: PUSH1 0x0a 00000f5e: SLOAD 00000f5f: DUP3 00000f60: AND 00000f61: DUP2 00000f62: MSTORE 00000f63: DUP3 00000f64: DUP2 00000f65: KECCAK256 00000f66: SLOAD 00000f67: PUSH1 0x09 00000f69: SLOAD 00000f6a: SWAP1 00000f6b: SWAP3 00000f6c: AND 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: SWAP2 00000f70: SWAP1 00000f71: SWAP2 00000f72: KECCAK256 00000f73: SLOAD 00000f74: EQ 00000f75: ISZERO 00000f76: PUSH2 0x098f 00000f79: JUMPI 00000f7a: PUSH1 0x04 00000f7c: DUP1 00000f7d: SLOAD 00000f7e: PUSH1 0xff 00000f80: DUP2 00000f81: AND 00000f82: SWAP2 00000f83: SWAP1 00000f84: PUSH2 0xff00 00000f87: NOT 00000f88: AND 00000f89: PUSH2 0x0100 00000f8c: DUP4 00000f8d: PUSH1 0x03 00000f8f: DUP2 00000f90: GT 00000f91: ISZERO 00000f92: PUSH2 0x0f97 00000f95: JUMPI 00000f96: INVALID 00000f97: JUMPDEST 00000f98: MUL 00000f99: OR 00000f9a: SWAP1 00000f9b: SSTORE 00000f9c: POP 00000f9d: PUSH1 0x04 00000f9f: DUP1 00000fa0: SLOAD 00000fa1: PUSH1 0x03 00000fa3: SWAP2 00000fa4: SWAP1 00000fa5: PUSH1 0xff 00000fa7: NOT 00000fa8: AND 00000fa9: PUSH1 0x01 00000fab: DUP4 00000fac: PUSH2 0x095d 00000faf: JUMP 00000fb0: JUMPDEST 00000fb1: PUSH1 0x06 00000fb3: SLOAD 00000fb4: DUP2 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: PUSH1 0x40 00000fb9: DUP1 00000fba: MLOAD 00000fbb: SWAP1 00000fbc: DUP2 00000fbd: ADD 00000fbe: PUSH1 0x40 00000fc0: MSTORE 00000fc1: PUSH1 0x04 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH32 0x50584c5400000000000000000000000000000000000000000000000000000000 00000fe6: PUSH1 0x20 00000fe8: DUP3 00000fe9: ADD 00000fea: MSTORE 00000feb: DUP2 00000fec: JUMP 00000fed: JUMPDEST 00000fee: PUSH1 0x00 00000ff0: PUSH2 0x0ff8 00000ff3: DUP3 00000ff4: PUSH2 0x0ce5 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: SWAP3 00000ffa: SWAP2 00000ffb: POP 00000ffc: POP 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH1 0x00 00001001: PUSH1 0x01 00001003: PUSH1 0x04 00001005: SLOAD 00001006: PUSH1 0xff 00001008: AND 00001009: PUSH1 0x03 0000100b: DUP2 0000100c: GT 0000100d: ISZERO 0000100e: PUSH2 0x1013 00001011: JUMPI 00001012: INVALID 00001013: JUMPDEST 00001014: EQ 00001015: PUSH2 0x101d 00001018: JUMPI 00001019: PUSH1 0x00 0000101b: DUP1 0000101c: REVERT 0000101d: JUMPDEST 0000101e: PUSH1 0x02 00001020: CALLDATASIZE 00001021: PUSH1 0x44 00001023: EQ 00001024: PUSH2 0x1029 00001027: JUMPI 00001028: INVALID 00001029: JUMPDEST 0000102a: PUSH2 0x1033 0000102d: DUP5 0000102e: DUP5 0000102f: PUSH2 0x148a 00001032: JUMP 00001033: JUMPDEST 00001034: SWAP5 00001035: SWAP4 00001036: POP 00001037: POP 00001038: POP 00001039: POP 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH1 0x00 0000103e: DUP1 0000103f: DUP1 00001040: DUP1 00001041: PUSH1 0x04 00001043: SLOAD 00001044: PUSH1 0xff 00001046: AND 00001047: PUSH1 0x03 00001049: DUP2 0000104a: GT 0000104b: ISZERO 0000104c: PUSH2 0x1051 0000104f: JUMPI 00001050: INVALID 00001051: JUMPDEST 00001052: EQ 00001053: PUSH2 0x105b 00001056: JUMPI 00001057: PUSH1 0x00 00001059: DUP1 0000105a: REVERT 0000105b: JUMPDEST 0000105c: PUSH1 0x05 0000105e: SLOAD 0000105f: NUMBER 00001060: LT 00001061: ISZERO 00001062: PUSH2 0x106a 00001065: JUMPI 00001066: PUSH1 0x00 00001068: DUP1 00001069: REVERT 0000106a: JUMPDEST 0000106b: PUSH1 0x06 0000106d: SLOAD 0000106e: NUMBER 0000106f: GT 00001070: ISZERO 00001071: PUSH2 0x1079 00001074: JUMPI 00001075: PUSH1 0x00 00001077: DUP1 00001078: REVERT 00001079: JUMPDEST 0000107a: PUSH1 0x00 0000107c: CALLVALUE 0000107d: GT 0000107e: PUSH2 0x1086 00001081: JUMPI 00001082: PUSH1 0x00 00001084: DUP1 00001085: REVERT 00001086: JUMPDEST 00001087: PUSH2 0x1092 0000108a: PUSH1 0x0b 0000108c: SLOAD 0000108d: CALLVALUE 0000108e: PUSH2 0x1598 00001091: JUMP 00001092: JUMPDEST 00001093: SWAP3 00001094: POP 00001095: PUSH10 0x0a968163f0a57b400000 000010a0: DUP4 000010a1: GT 000010a2: ISZERO 000010a3: PUSH2 0x10ab 000010a6: JUMPI 000010a7: PUSH1 0x00 000010a9: DUP1 000010aa: REVERT 000010ab: JUMPDEST 000010ac: PUSH2 0x10bc 000010af: CALLVALUE 000010b0: PUSH2 0x10b7 000010b3: PUSH2 0x15b5 000010b6: JUMP 000010b7: JUMPDEST 000010b8: PUSH2 0x15d0 000010bb: JUMP 000010bc: JUMPDEST 000010bd: SWAP2 000010be: POP 000010bf: PUSH8 0x0de0b6b3a7640000 000010c8: DUP3 000010c9: LT 000010ca: ISZERO 000010cb: PUSH2 0x10d3 000010ce: JUMPI 000010cf: PUSH1 0x00 000010d1: DUP1 000010d2: REVERT 000010d3: JUMPDEST 000010d4: PUSH2 0x10df 000010d7: PUSH1 0x00 000010d9: SLOAD 000010da: DUP4 000010db: PUSH2 0x1598 000010de: JUMP 000010df: JUMPDEST 000010e0: SWAP1 000010e1: POP 000010e2: PUSH11 0x084595161401484a000000 000010ee: DUP2 000010ef: GT 000010f0: ISZERO 000010f1: PUSH2 0x10f9 000010f4: JUMPI 000010f5: PUSH1 0x00 000010f7: DUP1 000010f8: REVERT 000010f9: JUMPDEST 000010fa: PUSH1 0x01 000010fc: PUSH1 0xa0 000010fe: PUSH1 0x02 00001100: EXP 00001101: SUB 00001102: CALLER 00001103: AND 00001104: PUSH1 0x00 00001106: SWAP1 00001107: DUP2 00001108: MSTORE 00001109: PUSH1 0x0c 0000110b: PUSH1 0x20 0000110d: MSTORE 0000110e: PUSH1 0x40 00001110: SWAP1 00001111: KECCAK256 00001112: SLOAD 00001113: PUSH2 0x111c 00001116: SWAP1 00001117: CALLVALUE 00001118: PUSH2 0x1598 0000111b: JUMP 0000111c: JUMPDEST 0000111d: PUSH1 0x01 0000111f: PUSH1 0xa0 00001121: PUSH1 0x02 00001123: EXP 00001124: SUB 00001125: CALLER 00001126: AND 00001127: PUSH1 0x00 00001129: DUP2 0000112a: DUP2 0000112b: MSTORE 0000112c: PUSH1 0x0c 0000112e: PUSH1 0x20 00001130: SWAP1 00001131: DUP2 00001132: MSTORE 00001133: PUSH1 0x40 00001135: DUP1 00001136: DUP4 00001137: KECCAK256 00001138: SWAP5 00001139: SWAP1 0000113a: SWAP5 0000113b: SSTORE 0000113c: PUSH1 0x0b 0000113e: DUP8 0000113f: SWAP1 00001140: SSTORE 00001141: DUP5 00001142: DUP3 00001143: SSTORE 00001144: PUSH1 0x01 00001146: SWAP1 00001147: MSTORE 00001148: DUP3 00001149: SWAP1 0000114a: KECCAK256 0000114b: DUP1 0000114c: SLOAD 0000114d: DUP6 0000114e: ADD 0000114f: SWAP1 00001150: SSTORE 00001151: SWAP1 00001152: PUSH32 0x7227cd886458704db49f5e14a82da6b5a64718ebd4522f12d5b013b798eb3b50 00001173: SWAP1 00001174: DUP5 00001175: SWAP1 00001176: MLOAD 00001177: SWAP1 00001178: DUP2 00001179: MSTORE 0000117a: PUSH1 0x20 0000117c: ADD 0000117d: PUSH1 0x40 0000117f: MLOAD 00001180: DUP1 00001181: SWAP2 00001182: SUB 00001183: SWAP1 00001184: LOG2 00001185: POP 00001186: POP 00001187: POP 00001188: JUMP 00001189: JUMPDEST 0000118a: PUSH1 0x03 0000118c: PUSH1 0x20 0000118e: MSTORE 0000118f: PUSH1 0x00 00001191: SWAP1 00001192: DUP2 00001193: MSTORE 00001194: PUSH1 0x40 00001196: SWAP1 00001197: KECCAK256 00001198: DUP1 00001199: SLOAD 0000119a: PUSH1 0x01 0000119c: PUSH1 0xa0 0000119e: PUSH1 0x02 000011a0: EXP 000011a1: SUB 000011a2: AND 000011a3: SWAP1 000011a4: PUSH1 0x01 000011a6: ADD 000011a7: DUP3 000011a8: JUMP 000011a9: JUMPDEST 000011aa: PUSH1 0x04 000011ac: SLOAD 000011ad: PUSH1 0xff 000011af: AND 000011b0: DUP2 000011b1: JUMP 000011b2: JUMPDEST 000011b3: PUSH1 0x05 000011b5: SLOAD 000011b6: DUP2 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH10 0x0a968163f0a57b400000 000011c4: DUP2 000011c5: JUMP 000011c6: JUMPDEST 000011c7: PUSH1 0x01 000011c9: PUSH1 0x04 000011cb: SLOAD 000011cc: PUSH1 0xff 000011ce: AND 000011cf: PUSH1 0x03 000011d1: DUP2 000011d2: GT 000011d3: ISZERO 000011d4: PUSH2 0x11d9 000011d7: JUMPI 000011d8: INVALID 000011d9: JUMPDEST 000011da: EQ 000011db: PUSH2 0x11e3 000011de: JUMPI 000011df: PUSH1 0x00 000011e1: DUP1 000011e2: REVERT 000011e3: JUMPDEST 000011e4: PUSH1 0x09 000011e6: SLOAD 000011e7: CALLER 000011e8: PUSH1 0x01 000011ea: PUSH1 0xa0 000011ec: PUSH1 0x02 000011ee: EXP 000011ef: SUB 000011f0: SWAP1 000011f1: DUP2 000011f2: AND 000011f3: SWAP2 000011f4: AND 000011f5: EQ 000011f6: DUP1 000011f7: PUSH2 0x120e 000011fa: JUMPI 000011fb: POP 000011fc: PUSH1 0x0a 000011fe: SLOAD 000011ff: CALLER 00001200: PUSH1 0x01 00001202: PUSH1 0xa0 00001204: PUSH1 0x02 00001206: EXP 00001207: SUB 00001208: SWAP1 00001209: DUP2 0000120a: AND 0000120b: SWAP2 0000120c: AND 0000120d: EQ 0000120e: JUMPDEST 0000120f: ISZERO 00001210: ISZERO 00001211: PUSH2 0x1219 00001214: JUMPI 00001215: PUSH1 0x00 00001217: DUP1 00001218: REVERT 00001219: JUMPDEST 0000121a: PUSH1 0x00 0000121c: CALLDATASIZE 0000121d: PUSH1 0x40 0000121f: MLOAD 00001220: DUP1 00001221: DUP4 00001222: DUP4 00001223: DUP1 00001224: DUP3 00001225: DUP5 00001226: CALLDATACOPY 00001227: DUP3 00001228: ADD 00001229: SWAP2 0000122a: POP 0000122b: POP 0000122c: SWAP3 0000122d: POP 0000122e: POP 0000122f: POP 00001230: PUSH1 0x40 00001232: MLOAD 00001233: SWAP1 00001234: DUP2 00001235: SWAP1 00001236: SUB 00001237: SWAP1 00001238: KECCAK256 00001239: PUSH1 0x01 0000123b: PUSH1 0xa0 0000123d: PUSH1 0x02 0000123f: EXP 00001240: SUB 00001241: CALLER 00001242: DUP2 00001243: AND 00001244: PUSH1 0x00 00001246: SWAP1 00001247: DUP2 00001248: MSTORE 00001249: PUSH1 0x0d 0000124b: PUSH1 0x20 0000124d: MSTORE 0000124e: PUSH1 0x40 00001250: DUP1 00001251: DUP3 00001252: KECCAK256 00001253: SWAP4 00001254: SWAP1 00001255: SWAP4 00001256: SSTORE 00001257: PUSH1 0x0a 00001259: SLOAD 0000125a: DUP3 0000125b: AND 0000125c: DUP2 0000125d: MSTORE 0000125e: DUP3 0000125f: DUP2 00001260: KECCAK256 00001261: SLOAD 00001262: PUSH1 0x09 00001264: SLOAD 00001265: SWAP1 00001266: SWAP3 00001267: AND 00001268: DUP2 00001269: MSTORE 0000126a: SWAP2 0000126b: SWAP1 0000126c: SWAP2 0000126d: KECCAK256 0000126e: SLOAD 0000126f: EQ 00001270: ISZERO 00001271: PUSH2 0x098f 00001274: JUMPI 00001275: PUSH1 0x04 00001277: DUP1 00001278: SLOAD 00001279: PUSH1 0xff 0000127b: NOT 0000127c: AND 0000127d: PUSH1 0x02 0000127f: SWAP1 00001280: DUP2 00001281: OR 00001282: DUP1 00001283: DUP4 00001284: SSTORE 00001285: SWAP1 00001286: SWAP2 00001287: SWAP1 00001288: PUSH2 0xff00 0000128b: NOT 0000128c: AND 0000128d: PUSH2 0x0100 00001290: DUP4 00001291: PUSH2 0x095d 00001294: JUMP 00001295: JUMPDEST 00001296: PUSH1 0x00 00001298: PUSH1 0x02 0000129a: CALLDATASIZE 0000129b: PUSH1 0x44 0000129d: EQ 0000129e: PUSH2 0x12a3 000012a1: JUMPI 000012a2: INVALID 000012a3: JUMPDEST 000012a4: POP 000012a5: POP 000012a6: PUSH1 0x01 000012a8: PUSH1 0xa0 000012aa: PUSH1 0x02 000012ac: EXP 000012ad: SUB 000012ae: SWAP2 000012af: DUP3 000012b0: AND 000012b1: PUSH1 0x00 000012b3: SWAP1 000012b4: DUP2 000012b5: MSTORE 000012b6: PUSH1 0x02 000012b8: PUSH1 0x20 000012ba: SWAP1 000012bb: DUP2 000012bc: MSTORE 000012bd: PUSH1 0x40 000012bf: DUP1 000012c0: DUP4 000012c1: KECCAK256 000012c2: SWAP4 000012c3: SWAP1 000012c4: SWAP5 000012c5: AND 000012c6: DUP3 000012c7: MSTORE 000012c8: SWAP2 000012c9: SWAP1 000012ca: SWAP2 000012cb: MSTORE 000012cc: KECCAK256 000012cd: SLOAD 000012ce: SWAP1 000012cf: JUMP 000012d0: JUMPDEST 000012d1: PUSH8 0x0de0b6b3a7640000 000012da: DUP2 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH11 0x084595161401484a000000 000012e9: DUP2 000012ea: JUMP 000012eb: JUMPDEST 000012ec: PUSH1 0x01 000012ee: PUSH1 0xa0 000012f0: PUSH1 0x02 000012f2: EXP 000012f3: SUB 000012f4: DUP4 000012f5: AND 000012f6: PUSH1 0x00 000012f8: SWAP1 000012f9: DUP2 000012fa: MSTORE 000012fb: PUSH1 0x01 000012fd: PUSH1 0x20 000012ff: MSTORE 00001300: PUSH1 0x40 00001302: DUP2 00001303: KECCAK256 00001304: SLOAD 00001305: DUP3 00001306: SWAP1 00001307: LT 00001308: DUP1 00001309: ISZERO 0000130a: SWAP1 0000130b: PUSH2 0x133b 0000130e: JUMPI 0000130f: POP 00001310: PUSH1 0x01 00001312: PUSH1 0xa0 00001314: PUSH1 0x02 00001316: EXP 00001317: SUB 00001318: DUP1 00001319: DUP6 0000131a: AND 0000131b: PUSH1 0x00 0000131d: SWAP1 0000131e: DUP2 0000131f: MSTORE 00001320: PUSH1 0x02 00001322: PUSH1 0x20 00001324: SWAP1 00001325: DUP2 00001326: MSTORE 00001327: PUSH1 0x40 00001329: DUP1 0000132a: DUP4 0000132b: KECCAK256 0000132c: CALLER 0000132d: SWAP1 0000132e: SWAP5 0000132f: AND 00001330: DUP4 00001331: MSTORE 00001332: SWAP3 00001333: SWAP1 00001334: MSTORE 00001335: KECCAK256 00001336: SLOAD 00001337: DUP3 00001338: SWAP1 00001339: LT 0000133a: ISZERO 0000133b: JUMPDEST 0000133c: DUP1 0000133d: ISZERO 0000133e: PUSH2 0x1347 00001341: JUMPI 00001342: POP 00001343: PUSH1 0x00 00001345: DUP3 00001346: GT 00001347: JUMPDEST 00001348: DUP1 00001349: ISZERO 0000134a: PUSH2 0x136c 0000134d: JUMPI 0000134e: POP 0000134f: PUSH1 0x01 00001351: PUSH1 0xa0 00001353: PUSH1 0x02 00001355: EXP 00001356: SUB 00001357: DUP4 00001358: AND 00001359: PUSH1 0x00 0000135b: SWAP1 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x01 00001360: PUSH1 0x20 00001362: MSTORE 00001363: PUSH1 0x40 00001365: SWAP1 00001366: KECCAK256 00001367: SLOAD 00001368: DUP3 00001369: DUP2 0000136a: ADD 0000136b: GT 0000136c: JUMPDEST 0000136d: ISZERO 0000136e: PUSH2 0x146b 00001371: JUMPI 00001372: PUSH1 0x01 00001374: PUSH1 0xa0 00001376: PUSH1 0x02 00001378: EXP 00001379: SUB 0000137a: DUP4 0000137b: AND 0000137c: PUSH1 0x00 0000137e: SWAP1 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x01 00001383: PUSH1 0x20 00001385: MSTORE 00001386: PUSH1 0x40 00001388: SWAP1 00001389: KECCAK256 0000138a: SLOAD 0000138b: PUSH2 0x1394 0000138e: SWAP1 0000138f: DUP4 00001390: PUSH2 0x1598 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH1 0x01 00001397: PUSH1 0xa0 00001399: PUSH1 0x02 0000139b: EXP 0000139c: SUB 0000139d: DUP1 0000139e: DUP6 0000139f: AND 000013a0: PUSH1 0x00 000013a2: SWAP1 000013a3: DUP2 000013a4: MSTORE 000013a5: PUSH1 0x01 000013a7: PUSH1 0x20 000013a9: MSTORE 000013aa: PUSH1 0x40 000013ac: DUP1 000013ad: DUP3 000013ae: KECCAK256 000013af: SWAP4 000013b0: SWAP1 000013b1: SWAP4 000013b2: SSTORE 000013b3: SWAP1 000013b4: DUP7 000013b5: AND 000013b6: DUP2 000013b7: MSTORE 000013b8: KECCAK256 000013b9: SLOAD 000013ba: PUSH2 0x13c3 000013bd: SWAP1 000013be: DUP4 000013bf: PUSH2 0x1476 000013c2: JUMP 000013c3: JUMPDEST 000013c4: PUSH1 0x01 000013c6: PUSH1 0xa0 000013c8: PUSH1 0x02 000013ca: EXP 000013cb: SUB 000013cc: DUP1 000013cd: DUP7 000013ce: AND 000013cf: PUSH1 0x00 000013d1: SWAP1 000013d2: DUP2 000013d3: MSTORE 000013d4: PUSH1 0x01 000013d6: PUSH1 0x20 000013d8: SWAP1 000013d9: DUP2 000013da: MSTORE 000013db: PUSH1 0x40 000013dd: DUP1 000013de: DUP4 000013df: KECCAK256 000013e0: SWAP5 000013e1: SWAP1 000013e2: SWAP5 000013e3: SSTORE 000013e4: PUSH1 0x02 000013e6: DUP2 000013e7: MSTORE 000013e8: DUP4 000013e9: DUP3 000013ea: KECCAK256 000013eb: CALLER 000013ec: SWAP1 000013ed: SWAP4 000013ee: AND 000013ef: DUP3 000013f0: MSTORE 000013f1: SWAP2 000013f2: SWAP1 000013f3: SWAP2 000013f4: MSTORE 000013f5: KECCAK256 000013f6: SLOAD 000013f7: PUSH2 0x1400 000013fa: SWAP1 000013fb: DUP4 000013fc: PUSH2 0x1476 000013ff: JUMP 00001400: JUMPDEST 00001401: PUSH1 0x01 00001403: PUSH1 0xa0 00001405: PUSH1 0x02 00001407: EXP 00001408: SUB 00001409: DUP1 0000140a: DUP7 0000140b: AND 0000140c: PUSH1 0x00 0000140e: DUP2 0000140f: DUP2 00001410: MSTORE 00001411: PUSH1 0x02 00001413: PUSH1 0x20 00001415: SWAP1 00001416: DUP2 00001417: MSTORE 00001418: PUSH1 0x40 0000141a: DUP1 0000141b: DUP4 0000141c: KECCAK256 0000141d: CALLER 0000141e: DUP7 0000141f: AND 00001420: DUP5 00001421: MSTORE 00001422: SWAP1 00001423: SWAP2 00001424: MSTORE 00001425: SWAP1 00001426: DUP2 00001427: SWAP1 00001428: KECCAK256 00001429: SWAP4 0000142a: SWAP1 0000142b: SWAP4 0000142c: SSTORE 0000142d: SWAP1 0000142e: DUP6 0000142f: AND 00001430: SWAP2 00001431: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001452: SWAP1 00001453: DUP6 00001454: SWAP1 00001455: MLOAD 00001456: SWAP1 00001457: DUP2 00001458: MSTORE 00001459: PUSH1 0x20 0000145b: ADD 0000145c: PUSH1 0x40 0000145e: MLOAD 0000145f: DUP1 00001460: SWAP2 00001461: SUB 00001462: SWAP1 00001463: LOG3 00001464: POP 00001465: PUSH1 0x01 00001467: PUSH2 0x146f 0000146a: JUMP 0000146b: JUMPDEST 0000146c: POP 0000146d: PUSH1 0x00 0000146f: JUMPDEST 00001470: SWAP4 00001471: SWAP3 00001472: POP 00001473: POP 00001474: POP 00001475: JUMP 00001476: JUMPDEST 00001477: PUSH1 0x00 00001479: DUP1 0000147a: DUP3 0000147b: DUP5 0000147c: LT 0000147d: ISZERO 0000147e: PUSH2 0x1483 00001481: JUMPI 00001482: INVALID 00001483: JUMPDEST 00001484: POP 00001485: POP 00001486: SWAP1 00001487: SUB 00001488: SWAP1 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x01 0000148d: PUSH1 0xa0 0000148f: PUSH1 0x02 00001491: EXP 00001492: SUB 00001493: CALLER 00001494: AND 00001495: PUSH1 0x00 00001497: SWAP1 00001498: DUP2 00001499: MSTORE 0000149a: PUSH1 0x01 0000149c: PUSH1 0x20 0000149e: MSTORE 0000149f: PUSH1 0x40 000014a1: DUP2 000014a2: KECCAK256 000014a3: SLOAD 000014a4: DUP3 000014a5: SWAP1 000014a6: LT 000014a7: DUP1 000014a8: ISZERO 000014a9: SWAP1 000014aa: PUSH2 0x14b3 000014ad: JUMPI 000014ae: POP 000014af: PUSH1 0x00 000014b1: DUP3 000014b2: GT 000014b3: JUMPDEST 000014b4: DUP1 000014b5: ISZERO 000014b6: PUSH2 0x14d8 000014b9: JUMPI 000014ba: POP 000014bb: PUSH1 0x01 000014bd: PUSH1 0xa0 000014bf: PUSH1 0x02 000014c1: EXP 000014c2: SUB 000014c3: DUP4 000014c4: AND 000014c5: PUSH1 0x00 000014c7: SWAP1 000014c8: DUP2 000014c9: MSTORE 000014ca: PUSH1 0x01 000014cc: PUSH1 0x20 000014ce: MSTORE 000014cf: PUSH1 0x40 000014d1: SWAP1 000014d2: KECCAK256 000014d3: SLOAD 000014d4: DUP3 000014d5: DUP2 000014d6: ADD 000014d7: GT 000014d8: JUMPDEST 000014d9: ISZERO 000014da: PUSH2 0x158f 000014dd: JUMPI 000014de: PUSH1 0x01 000014e0: PUSH1 0xa0 000014e2: PUSH1 0x02 000014e4: EXP 000014e5: SUB 000014e6: CALLER 000014e7: AND 000014e8: PUSH1 0x00 000014ea: SWAP1 000014eb: DUP2 000014ec: MSTORE 000014ed: PUSH1 0x01 000014ef: PUSH1 0x20 000014f1: MSTORE 000014f2: PUSH1 0x40 000014f4: SWAP1 000014f5: KECCAK256 000014f6: SLOAD 000014f7: PUSH2 0x1500 000014fa: SWAP1 000014fb: DUP4 000014fc: PUSH2 0x1476 000014ff: JUMP 00001500: JUMPDEST 00001501: PUSH1 0x01 00001503: PUSH1 0xa0 00001505: PUSH1 0x02 00001507: EXP 00001508: SUB 00001509: CALLER 0000150a: DUP2 0000150b: AND 0000150c: PUSH1 0x00 0000150e: SWAP1 0000150f: DUP2 00001510: MSTORE 00001511: PUSH1 0x01 00001513: PUSH1 0x20 00001515: MSTORE 00001516: PUSH1 0x40 00001518: DUP1 00001519: DUP3 0000151a: KECCAK256 0000151b: SWAP4 0000151c: SWAP1 0000151d: SWAP4 0000151e: SSTORE 0000151f: SWAP1 00001520: DUP6 00001521: AND 00001522: DUP2 00001523: MSTORE 00001524: KECCAK256 00001525: SLOAD 00001526: PUSH2 0x152f 00001529: SWAP1 0000152a: DUP4 0000152b: PUSH2 0x1598 0000152e: JUMP 0000152f: JUMPDEST 00001530: PUSH1 0x01 00001532: PUSH1 0xa0 00001534: PUSH1 0x02 00001536: EXP 00001537: SUB 00001538: DUP1 00001539: DUP6 0000153a: AND 0000153b: PUSH1 0x00 0000153d: DUP2 0000153e: DUP2 0000153f: MSTORE 00001540: PUSH1 0x01 00001542: PUSH1 0x20 00001544: MSTORE 00001545: PUSH1 0x40 00001547: SWAP1 00001548: DUP2 00001549: SWAP1 0000154a: KECCAK256 0000154b: SWAP4 0000154c: SWAP1 0000154d: SWAP4 0000154e: SSTORE 0000154f: SWAP2 00001550: CALLER 00001551: SWAP1 00001552: SWAP2 00001553: AND 00001554: SWAP1 00001555: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001576: SWAP1 00001577: DUP6 00001578: SWAP1 00001579: MLOAD 0000157a: SWAP1 0000157b: DUP2 0000157c: MSTORE 0000157d: PUSH1 0x20 0000157f: ADD 00001580: PUSH1 0x40 00001582: MLOAD 00001583: DUP1 00001584: SWAP2 00001585: SUB 00001586: SWAP1 00001587: LOG3 00001588: POP 00001589: PUSH1 0x01 0000158b: PUSH2 0x0ff8 0000158e: JUMP 0000158f: JUMPDEST 00001590: POP 00001591: PUSH1 0x00 00001593: SWAP3 00001594: SWAP2 00001595: POP 00001596: POP 00001597: JUMP 00001598: JUMPDEST 00001599: PUSH1 0x00 0000159b: DUP3 0000159c: DUP3 0000159d: ADD 0000159e: DUP4 0000159f: DUP2 000015a0: LT 000015a1: DUP1 000015a2: ISZERO 000015a3: SWAP1 000015a4: PUSH2 0x15ad 000015a7: JUMPI 000015a8: POP 000015a9: DUP3 000015aa: DUP2 000015ab: LT 000015ac: ISZERO 000015ad: JUMPDEST 000015ae: ISZERO 000015af: ISZERO 000015b0: PUSH2 0x146f 000015b3: JUMPI 000015b4: INVALID 000015b5: JUMPDEST 000015b6: PUSH1 0x00 000015b8: PUSH1 0x07 000015ba: SLOAD 000015bb: NUMBER 000015bc: LT 000015bd: ISZERO 000015be: PUSH2 0x15c9 000015c1: JUMPI 000015c2: POP 000015c3: PUSH1 0xc8 000015c5: PUSH2 0x15cd 000015c8: JUMP 000015c9: JUMPDEST 000015ca: POP 000015cb: PUSH1 0xaf 000015cd: JUMPDEST 000015ce: SWAP1 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH1 0x00 000015d3: DUP3 000015d4: DUP3 000015d5: MUL 000015d6: DUP4 000015d7: ISZERO 000015d8: DUP1 000015d9: PUSH2 0x15ad 000015dc: JUMPI 000015dd: POP 000015de: DUP3 000015df: DUP5 000015e0: DUP3 000015e1: DUP2 000015e2: ISZERO 000015e3: ISZERO 000015e4: PUSH2 0x15e9 000015e7: JUMPI 000015e8: INVALID 000015e9: JUMPDEST 000015ea: DIV 000015eb: EQ 000015ec: PUSH2 0x146f 000015ef: JUMPI 000015f0: INVALID 000015f1: JUMPDEST 000015f2: PUSH1 0x20 000015f4: PUSH1 0x40 000015f6: MLOAD 000015f7: SWAP1 000015f8: DUP2 000015f9: ADD 000015fa: PUSH1 0x40 000015fc: MSTORE 000015fd: PUSH1 0x00 000015ff: DUP2 00001600: MSTORE 00001601: SWAP1 00001602: JUMP 00001603: JUMPDEST 00001604: DUP3 00001605: DUP1 00001606: SLOAD 00001607: PUSH1 0x01 00001609: DUP2 0000160a: PUSH1 0x01 0000160c: AND 0000160d: ISZERO 0000160e: PUSH2 0x0100 00001611: MUL 00001612: SUB 00001613: AND 00001614: PUSH1 0x02 00001616: SWAP1 00001617: DIV 00001618: SWAP1 00001619: PUSH1 0x00 0000161b: MSTORE 0000161c: PUSH1 0x20 0000161e: PUSH1 0x00 00001620: KECCAK256 00001621: SWAP1 00001622: PUSH1 0x1f 00001624: ADD 00001625: PUSH1 0x20 00001627: SWAP1 00001628: DIV 00001629: DUP2 0000162a: ADD 0000162b: SWAP3 0000162c: DUP3 0000162d: PUSH1 0x1f 0000162f: LT 00001630: PUSH2 0x1644 00001633: JUMPI 00001634: DUP1 00001635: MLOAD 00001636: PUSH1 0xff 00001638: NOT 00001639: AND 0000163a: DUP4 0000163b: DUP1 0000163c: ADD 0000163d: OR 0000163e: DUP6 0000163f: SSTORE 00001640: PUSH2 0x1671 00001643: JUMP 00001644: JUMPDEST 00001645: DUP3 00001646: DUP1 00001647: ADD 00001648: PUSH1 0x01 0000164a: ADD 0000164b: DUP6 0000164c: SSTORE 0000164d: DUP3 0000164e: ISZERO 0000164f: PUSH2 0x1671 00001652: JUMPI 00001653: SWAP2 00001654: DUP3 00001655: ADD 00001656: JUMPDEST 00001657: DUP3 00001658: DUP2 00001659: GT 0000165a: ISZERO 0000165b: PUSH2 0x1671 0000165e: JUMPI 0000165f: DUP3 00001660: MLOAD 00001661: DUP3 00001662: SSTORE 00001663: SWAP2 00001664: PUSH1 0x20 00001666: ADD 00001667: SWAP2 00001668: SWAP1 00001669: PUSH1 0x01 0000166b: ADD 0000166c: SWAP1 0000166d: PUSH2 0x1656 00001670: JUMP 00001671: JUMPDEST 00001672: POP 00001673: PUSH2 0x167d 00001676: SWAP3 00001677: SWAP2 00001678: POP 00001679: PUSH2 0x1681 0000167c: JUMP 0000167d: JUMPDEST 0000167e: POP 0000167f: SWAP1 00001680: JUMP 00001681: JUMPDEST 00001682: PUSH2 0x15cd 00001685: SWAP2 00001686: SWAP1 00001687: JUMPDEST 00001688: DUP1 00001689: DUP3 0000168a: GT 0000168b: ISZERO 0000168c: PUSH2 0x167d 0000168f: JUMPI 00001690: PUSH1 0x00 00001692: DUP2 00001693: SSTORE 00001694: PUSH1 0x01 00001696: ADD 00001697: PUSH2 0x1687 0000169a: JUMP 0000169b: STOP 0000169c: LOG1 0000169d: PUSH6 0x627a7a723058 000016a4: KECCAK256 000016a5: PUSH16 0x5d4cecb2c728361fbb31b9d28a7e3452 000016b6: UNKNOWN(0xB2) 000016b7: UNKNOWN(0x26) 000016b8: NUMBER 000016b9: SWAP9 000016ba: UNKNOWN(0xCD) 000016bb: MOD 000016bc: INVALID 000016bd: SLT 000016be: RETURN 000016bf: CALLCODE 000016c0: UNKNOWN(0xF7) 000016c1: SWAP3 000016c2: UNKNOWN(0xC4) 000016c3: UNKNOWN(0xAA) 000016c4: UNKNOWN(0xDC) 000016c5: STOP 000016c6: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x75d0b9b13521926565840be0431e8522285166779ba34d79fcc98a6f0258cbff
call_targets:
0xc138c004f23e0246da3ab1a2c945659036b95495
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x75d0b9b13521926565840be0431e8522285166779ba34d79fcc98a6f0258cbff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc138c004f23e0246da3ab1a2c945659036b95495"
],
"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": "0x01e8b608",
"selector": "0x01e8b608",
"calldata_variants": [
"0x01e8b608",
"0x01e8b6080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x04deaeb5",
"selector": "0x04deaeb5",
"calldata_variants": [
"0x04deaeb5",
"0x04deaeb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06a8f8a2",
"selector": "0x06a8f8a2",
"calldata_variants": [
"0x06a8f8a2",
"0x06a8f8a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x106f6a3d",
"selector": "0x106f6a3d",
"calldata_variants": [
"0x106f6a3d",
"0x106f6a3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x115976c4",
"selector": "0x115976c4",
"calldata_variants": [
"0x115976c4",
"0x115976c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16821349",
"selector": "0x16821349",
"calldata_variants": [
"0x16821349",
"0x168213490000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1827,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2811,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x75d0b9b13521926565840be0431e8522285166779ba34d79fcc98a6f0258cbff
call_targets:
0xc138c004f23e0246da3ab1a2c945659036b95495
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x75d0b9b13521926565840be0431e8522285166779ba34d79fcc98a6f0258cbff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc138c004f23e0246da3ab1a2c945659036b95495"
],
"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": "0x01e8b608",
"selector": "0x01e8b608",
"calldata_variants": [
"0x01e8b608",
"0x01e8b6080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x04deaeb5",
"selector": "0x04deaeb5",
"calldata_variants": [
"0x04deaeb5",
"0x04deaeb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06a8f8a2",
"selector": "0x06a8f8a2",
"calldata_variants": [
"0x06a8f8a2",
"0x06a8f8a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x106f6a3d",
"selector": "0x106f6a3d",
"calldata_variants": [
"0x106f6a3d",
"0x106f6a3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x115976c4",
"selector": "0x115976c4",
"calldata_variants": [
"0x115976c4",
"0x115976c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16821349",
"selector": "0x16821349",
"calldata_variants": [
"0x16821349",
"0x168213490000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1827,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2811,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|