019b477e-ab73-712f-a994-b18182a0c991
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 |
|---|---|---|---|---|
| 21021 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21022 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64002 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64003 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64004 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64005 | 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 0x0163 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH3 0x8c8920 0000001e: DUP2 0000001f: EQ 00000020: PUSH2 0x024a 00000023: JUMPI 00000024: DUP1 00000025: PUSH4 0x0b54cbfb 0000002a: EQ 0000002b: PUSH2 0x0281 0000002e: JUMPI 0000002f: DUP1 00000030: PUSH4 0x0d1118ce 00000035: EQ 00000036: PUSH2 0x029c 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x16450092 00000040: EQ 00000041: PUSH2 0x02c0 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x1d9bd2b9 0000004b: EQ 0000004c: PUSH2 0x02e5 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x27e7c023 00000056: EQ 00000057: PUSH2 0x030a 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x2c3599a5 00000061: EQ 00000062: PUSH2 0x031f 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x4077aaf8 0000006c: EQ 0000006d: PUSH2 0x034e 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x485cc955 00000077: EQ 00000078: PUSH2 0x0373 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x4d853ee5 00000082: EQ 00000083: PUSH2 0x039a 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x547173da 0000008d: EQ 0000008e: PUSH2 0x03c9 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x5bf5d54c 00000098: EQ 00000099: PUSH2 0x03ee 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x63d5502f 000000a3: EQ 000000a4: PUSH2 0x0425 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x64994978 000000ae: EQ 000000af: PUSH2 0x044a 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x6a0d3450 000000b9: EQ 000000ba: PUSH2 0x0471 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x6a502578 000000c4: EQ 000000c5: PUSH2 0x0498 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x6c4bf16b 000000cf: EQ 000000d0: PUSH2 0x04bd 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x6dbe21b8 000000da: EQ 000000db: PUSH2 0x04ec 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x7d61de37 000000e5: EQ 000000e6: PUSH2 0x0513 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x8d859f3e 000000f0: EQ 000000f1: PUSH2 0x0538 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x8f571461 000000fb: EQ 000000fc: PUSH2 0x055d 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x958b12b9 00000106: EQ 00000107: PUSH2 0x0582 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x9db069d8 00000111: EQ 00000112: PUSH2 0x05a7 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x9f637851 0000011c: EQ 0000011d: PUSH2 0x05d6 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0xae6e22f1 00000127: EQ 00000128: PUSH2 0x05fb 0000012b: JUMPI 0000012c: DUP1 0000012d: PUSH4 0xb8d4b642 00000132: EQ 00000133: PUSH2 0x0620 00000136: JUMPI 00000137: DUP1 00000138: PUSH4 0xcab0198f 0000013d: EQ 0000013e: PUSH2 0x0645 00000141: JUMPI 00000142: DUP1 00000143: PUSH4 0xce3cd997 00000148: EQ 00000149: PUSH2 0x066c 0000014c: JUMPI 0000014d: DUP1 0000014e: PUSH4 0xe08a5f9e 00000153: EQ 00000154: PUSH2 0x0687 00000157: JUMPI 00000158: DUP1 00000159: PUSH4 0xf5a1f5b4 0000015e: EQ 0000015f: PUSH2 0x06ac 00000162: JUMPI 00000163: JUMPDEST 00000164: PUSH2 0x0248 00000167: JUMPDEST 00000168: PUSH1 0x02 0000016a: JUMPDEST 0000016b: PUSH1 0x00 0000016d: SLOAD 0000016e: PUSH1 0xa0 00000170: PUSH1 0x02 00000172: EXP 00000173: SWAP1 00000174: DIV 00000175: PUSH1 0xff 00000177: AND 00000178: PUSH1 0x03 0000017a: DUP2 0000017b: GT 0000017c: ISZERO 0000017d: PUSH2 0x0182 00000180: JUMPI 00000181: INVALID 00000182: JUMPDEST 00000183: EQ 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: PUSH1 0x01 0000018f: JUMPDEST 00000190: PUSH1 0x00 00000192: SLOAD 00000193: PUSH1 0xa8 00000195: PUSH1 0x02 00000197: EXP 00000198: SWAP1 00000199: DIV 0000019a: PUSH1 0xff 0000019c: AND 0000019d: PUSH1 0x01 0000019f: DUP2 000001a0: GT 000001a1: ISZERO 000001a2: PUSH2 0x01a7 000001a5: JUMPI 000001a6: INVALID 000001a7: JUMPDEST 000001a8: EQ 000001a9: DUP1 000001aa: PUSH2 0x01cb 000001ad: JUMPI 000001ae: POP 000001af: PUSH1 0x00 000001b1: JUMPDEST 000001b2: PUSH1 0x00 000001b4: SLOAD 000001b5: PUSH1 0xa8 000001b7: PUSH1 0x02 000001b9: EXP 000001ba: SWAP1 000001bb: DIV 000001bc: PUSH1 0xff 000001be: AND 000001bf: PUSH1 0x01 000001c1: DUP2 000001c2: GT 000001c3: ISZERO 000001c4: PUSH2 0x01c9 000001c7: JUMPI 000001c8: INVALID 000001c9: JUMPDEST 000001ca: EQ 000001cb: JUMPDEST 000001cc: ISZERO 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: PUSH1 0x00 000001d9: JUMPDEST 000001da: PUSH1 0x00 000001dc: SLOAD 000001dd: PUSH1 0xa8 000001df: PUSH1 0x02 000001e1: EXP 000001e2: SWAP1 000001e3: DIV 000001e4: PUSH1 0xff 000001e6: AND 000001e7: PUSH1 0x01 000001e9: DUP2 000001ea: GT 000001eb: ISZERO 000001ec: PUSH2 0x01f1 000001ef: JUMPI 000001f0: INVALID 000001f1: JUMPDEST 000001f2: EQ 000001f3: ISZERO 000001f4: PUSH2 0x0219 000001f7: JUMPI 000001f8: TIMESTAMP 000001f9: PUSH1 0x01 000001fb: SLOAD 000001fc: LT 000001fd: DUP1 000001fe: ISZERO 000001ff: PUSH2 0x0209 00000202: JUMPI 00000203: POP 00000204: PUSH1 0x02 00000206: SLOAD 00000207: TIMESTAMP 00000208: LT 00000209: JUMPDEST 0000020a: ISZERO 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: PUSH2 0x0236 00000218: JUMP 00000219: JUMPDEST 0000021a: TIMESTAMP 0000021b: PUSH1 0x03 0000021d: SLOAD 0000021e: LT 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x022b 00000224: JUMPI 00000225: POP 00000226: PUSH1 0x04 00000228: SLOAD 00000229: TIMESTAMP 0000022a: LT 0000022b: JUMPDEST 0000022c: ISZERO 0000022d: ISZERO 0000022e: PUSH2 0x0236 00000231: JUMPI 00000232: PUSH1 0x00 00000234: DUP1 00000235: REVERT 00000236: JUMPDEST 00000237: JUMPDEST 00000238: PUSH2 0x0242 0000023b: CALLER 0000023c: TIMESTAMP 0000023d: CALLVALUE 0000023e: PUSH2 0x06cd 00000241: JUMP 00000242: JUMPDEST 00000243: JUMPDEST 00000244: JUMPDEST 00000245: JUMPDEST 00000246: JUMPDEST 00000247: JUMP 00000248: JUMPDEST 00000249: STOP 0000024a: JUMPDEST 0000024b: CALLVALUE 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: PUSH2 0x025d 00000259: PUSH2 0x0884 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x40 00000260: MLOAD 00000261: DUP1 00000262: DUP3 00000263: PUSH1 0x01 00000265: DUP2 00000266: GT 00000267: ISZERO 00000268: PUSH2 0x026d 0000026b: JUMPI 0000026c: INVALID 0000026d: JUMPDEST 0000026e: PUSH1 0xff 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP2 00000277: POP 00000278: POP 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: RETURN 00000281: JUMPDEST 00000282: CALLVALUE 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: PUSH2 0x0248 00000290: PUSH1 0xff 00000292: PUSH1 0x04 00000294: CALLDATALOAD 00000295: AND 00000296: PUSH2 0x0894 00000299: JUMP 0000029a: JUMPDEST 0000029b: STOP 0000029c: JUMPDEST 0000029d: CALLVALUE 0000029e: ISZERO 0000029f: PUSH2 0x02a7 000002a2: JUMPI 000002a3: PUSH1 0x00 000002a5: DUP1 000002a6: REVERT 000002a7: JUMPDEST 000002a8: PUSH2 0x0248 000002ab: PUSH1 0x01 000002ad: PUSH1 0xa0 000002af: PUSH1 0x02 000002b1: EXP 000002b2: SUB 000002b3: PUSH1 0x04 000002b5: CALLDATALOAD 000002b6: AND 000002b7: PUSH1 0x24 000002b9: CALLDATALOAD 000002ba: PUSH2 0x0910 000002bd: JUMP 000002be: JUMPDEST 000002bf: STOP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: PUSH2 0x02d3 000002cf: PUSH2 0x099b 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: SWAP1 000002d8: DUP2 000002d9: MSTORE 000002da: PUSH1 0x20 000002dc: ADD 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: DUP1 000002e1: SWAP2 000002e2: SUB 000002e3: SWAP1 000002e4: RETURN 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: PUSH2 0x02d3 000002f4: PUSH2 0x09ab 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH1 0x40 000002fb: MLOAD 000002fc: SWAP1 000002fd: DUP2 000002fe: MSTORE 000002ff: PUSH1 0x20 00000301: ADD 00000302: PUSH1 0x40 00000304: MLOAD 00000305: DUP1 00000306: SWAP2 00000307: SUB 00000308: SWAP1 00000309: RETURN 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH2 0x0248 00000319: PUSH2 0x09b1 0000031c: JUMP 0000031d: JUMPDEST 0000031e: STOP 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: PUSH2 0x0332 0000032e: PUSH2 0x0b14 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x40 00000335: MLOAD 00000336: PUSH1 0x01 00000338: PUSH1 0xa0 0000033a: PUSH1 0x02 0000033c: EXP 0000033d: SUB 0000033e: SWAP1 0000033f: SWAP2 00000340: AND 00000341: DUP2 00000342: MSTORE 00000343: PUSH1 0x20 00000345: ADD 00000346: PUSH1 0x40 00000348: MLOAD 00000349: DUP1 0000034a: SWAP2 0000034b: SUB 0000034c: SWAP1 0000034d: RETURN 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: PUSH2 0x02d3 0000035d: PUSH2 0x0b23 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: MLOAD 00000365: SWAP1 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: ADD 0000036b: PUSH1 0x40 0000036d: MLOAD 0000036e: DUP1 0000036f: SWAP2 00000370: SUB 00000371: SWAP1 00000372: RETURN 00000373: JUMPDEST 00000374: CALLVALUE 00000375: ISZERO 00000376: PUSH2 0x037e 00000379: JUMPI 0000037a: PUSH1 0x00 0000037c: DUP1 0000037d: REVERT 0000037e: JUMPDEST 0000037f: PUSH2 0x0248 00000382: PUSH1 0x01 00000384: PUSH1 0xa0 00000386: PUSH1 0x02 00000388: EXP 00000389: SUB 0000038a: PUSH1 0x04 0000038c: CALLDATALOAD 0000038d: DUP2 0000038e: AND 0000038f: SWAP1 00000390: PUSH1 0x24 00000392: CALLDATALOAD 00000393: AND 00000394: PUSH2 0x0b32 00000397: JUMP 00000398: JUMPDEST 00000399: STOP 0000039a: JUMPDEST 0000039b: CALLVALUE 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: PUSH2 0x0332 000003a9: PUSH2 0x0cb5 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: PUSH1 0x01 000003b3: PUSH1 0xa0 000003b5: PUSH1 0x02 000003b7: EXP 000003b8: SUB 000003b9: SWAP1 000003ba: SWAP2 000003bb: AND 000003bc: DUP2 000003bd: MSTORE 000003be: PUSH1 0x20 000003c0: ADD 000003c1: PUSH1 0x40 000003c3: MLOAD 000003c4: DUP1 000003c5: SWAP2 000003c6: SUB 000003c7: SWAP1 000003c8: RETURN 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: ISZERO 000003cc: PUSH2 0x03d4 000003cf: JUMPI 000003d0: PUSH1 0x00 000003d2: DUP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: PUSH2 0x02d3 000003d8: PUSH2 0x0cc4 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH1 0x40 000003df: MLOAD 000003e0: SWAP1 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: DUP1 000003ea: SWAP2 000003eb: SUB 000003ec: SWAP1 000003ed: RETURN 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: PUSH2 0x0401 000003fd: PUSH2 0x0cca 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: DUP3 00000407: PUSH1 0x03 00000409: DUP2 0000040a: GT 0000040b: ISZERO 0000040c: PUSH2 0x026d 0000040f: JUMPI 00000410: INVALID 00000411: JUMPDEST 00000412: PUSH1 0xff 00000414: AND 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x20 00000419: ADD 0000041a: SWAP2 0000041b: POP 0000041c: POP 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: DUP1 00000421: SWAP2 00000422: SUB 00000423: SWAP1 00000424: RETURN 00000425: JUMPDEST 00000426: CALLVALUE 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: PUSH2 0x02d3 00000434: PUSH2 0x0cda 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: SWAP1 0000043d: DUP2 0000043e: MSTORE 0000043f: PUSH1 0x20 00000441: ADD 00000442: PUSH1 0x40 00000444: MLOAD 00000445: DUP1 00000446: SWAP2 00000447: SUB 00000448: SWAP1 00000449: RETURN 0000044a: JUMPDEST 0000044b: CALLVALUE 0000044c: ISZERO 0000044d: PUSH2 0x0455 00000450: JUMPI 00000451: PUSH1 0x00 00000453: DUP1 00000454: REVERT 00000455: JUMPDEST 00000456: PUSH2 0x045d 00000459: PUSH2 0x0ce9 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: SWAP1 00000462: ISZERO 00000463: ISZERO 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: ADD 00000469: PUSH1 0x40 0000046b: MLOAD 0000046c: DUP1 0000046d: SWAP2 0000046e: SUB 0000046f: SWAP1 00000470: RETURN 00000471: JUMPDEST 00000472: CALLVALUE 00000473: ISZERO 00000474: PUSH2 0x047c 00000477: JUMPI 00000478: PUSH1 0x00 0000047a: DUP1 0000047b: REVERT 0000047c: JUMPDEST 0000047d: PUSH2 0x045d 00000480: PUSH2 0x0cf7 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH1 0x40 00000487: MLOAD 00000488: SWAP1 00000489: ISZERO 0000048a: ISZERO 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x20 0000048f: ADD 00000490: PUSH1 0x40 00000492: MLOAD 00000493: DUP1 00000494: SWAP2 00000495: SUB 00000496: SWAP1 00000497: RETURN 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: PUSH2 0x02d3 000004a7: PUSH2 0x0d00 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x40 000004ae: MLOAD 000004af: SWAP1 000004b0: DUP2 000004b1: MSTORE 000004b2: PUSH1 0x20 000004b4: ADD 000004b5: PUSH1 0x40 000004b7: MLOAD 000004b8: DUP1 000004b9: SWAP2 000004ba: SUB 000004bb: SWAP1 000004bc: RETURN 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: PUSH2 0x0332 000004cc: PUSH2 0x0d06 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH1 0x40 000004d3: MLOAD 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: PUSH1 0x02 000004da: EXP 000004db: SUB 000004dc: SWAP1 000004dd: SWAP2 000004de: AND 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: SWAP2 000004e9: SUB 000004ea: SWAP1 000004eb: RETURN 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: PUSH2 0x045d 000004fb: PUSH2 0x0d15 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x40 00000502: MLOAD 00000503: SWAP1 00000504: ISZERO 00000505: ISZERO 00000506: DUP2 00000507: MSTORE 00000508: PUSH1 0x20 0000050a: ADD 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: DUP1 0000050f: SWAP2 00000510: SUB 00000511: SWAP1 00000512: RETURN 00000513: JUMPDEST 00000514: CALLVALUE 00000515: ISZERO 00000516: PUSH2 0x051e 00000519: JUMPI 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: REVERT 0000051e: JUMPDEST 0000051f: PUSH2 0x02d3 00000522: PUSH2 0x0d24 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: SWAP1 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x20 0000052f: ADD 00000530: PUSH1 0x40 00000532: MLOAD 00000533: DUP1 00000534: SWAP2 00000535: SUB 00000536: SWAP1 00000537: RETURN 00000538: JUMPDEST 00000539: CALLVALUE 0000053a: ISZERO 0000053b: PUSH2 0x0543 0000053e: JUMPI 0000053f: PUSH1 0x00 00000541: DUP1 00000542: REVERT 00000543: JUMPDEST 00000544: PUSH2 0x02d3 00000547: PUSH2 0x0d2a 0000054a: JUMP 0000054b: JUMPDEST 0000054c: PUSH1 0x40 0000054e: MLOAD 0000054f: SWAP1 00000550: DUP2 00000551: MSTORE 00000552: PUSH1 0x20 00000554: ADD 00000555: PUSH1 0x40 00000557: MLOAD 00000558: DUP1 00000559: SWAP2 0000055a: SUB 0000055b: SWAP1 0000055c: RETURN 0000055d: JUMPDEST 0000055e: CALLVALUE 0000055f: ISZERO 00000560: PUSH2 0x0568 00000563: JUMPI 00000564: PUSH1 0x00 00000566: DUP1 00000567: REVERT 00000568: JUMPDEST 00000569: PUSH2 0x02d3 0000056c: PUSH2 0x0d30 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH1 0x40 00000573: MLOAD 00000574: SWAP1 00000575: DUP2 00000576: MSTORE 00000577: PUSH1 0x20 00000579: ADD 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: SWAP2 0000057f: SUB 00000580: SWAP1 00000581: RETURN 00000582: JUMPDEST 00000583: CALLVALUE 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: PUSH2 0x02d3 00000591: PUSH2 0x0d36 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x40 00000598: MLOAD 00000599: SWAP1 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: ADD 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: DUP1 000005a3: SWAP2 000005a4: SUB 000005a5: SWAP1 000005a6: RETURN 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: PUSH2 0x0332 000005b6: PUSH2 0x0d46 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: PUSH1 0x01 000005c0: PUSH1 0xa0 000005c2: PUSH1 0x02 000005c4: EXP 000005c5: SUB 000005c6: SWAP1 000005c7: SWAP2 000005c8: AND 000005c9: DUP2 000005ca: MSTORE 000005cb: PUSH1 0x20 000005cd: ADD 000005ce: PUSH1 0x40 000005d0: MLOAD 000005d1: DUP1 000005d2: SWAP2 000005d3: SUB 000005d4: SWAP1 000005d5: RETURN 000005d6: JUMPDEST 000005d7: CALLVALUE 000005d8: ISZERO 000005d9: PUSH2 0x05e1 000005dc: JUMPI 000005dd: PUSH1 0x00 000005df: DUP1 000005e0: REVERT 000005e1: JUMPDEST 000005e2: PUSH2 0x02d3 000005e5: PUSH2 0x0d55 000005e8: JUMP 000005e9: JUMPDEST 000005ea: PUSH1 0x40 000005ec: MLOAD 000005ed: SWAP1 000005ee: DUP2 000005ef: MSTORE 000005f0: PUSH1 0x20 000005f2: ADD 000005f3: PUSH1 0x40 000005f5: MLOAD 000005f6: DUP1 000005f7: SWAP2 000005f8: SUB 000005f9: SWAP1 000005fa: RETURN 000005fb: JUMPDEST 000005fc: CALLVALUE 000005fd: ISZERO 000005fe: PUSH2 0x0606 00000601: JUMPI 00000602: PUSH1 0x00 00000604: DUP1 00000605: REVERT 00000606: JUMPDEST 00000607: PUSH2 0x02d3 0000060a: PUSH2 0x0d5b 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x40 00000611: MLOAD 00000612: SWAP1 00000613: DUP2 00000614: MSTORE 00000615: PUSH1 0x20 00000617: ADD 00000618: PUSH1 0x40 0000061a: MLOAD 0000061b: DUP1 0000061c: SWAP2 0000061d: SUB 0000061e: SWAP1 0000061f: RETURN 00000620: JUMPDEST 00000621: CALLVALUE 00000622: ISZERO 00000623: PUSH2 0x062b 00000626: JUMPI 00000627: PUSH1 0x00 00000629: DUP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: PUSH2 0x02d3 0000062f: PUSH2 0x0d61 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0x40 00000636: MLOAD 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x20 0000063c: ADD 0000063d: PUSH1 0x40 0000063f: MLOAD 00000640: DUP1 00000641: SWAP2 00000642: SUB 00000643: SWAP1 00000644: RETURN 00000645: JUMPDEST 00000646: CALLVALUE 00000647: ISZERO 00000648: PUSH2 0x0650 0000064b: JUMPI 0000064c: PUSH1 0x00 0000064e: DUP1 0000064f: REVERT 00000650: JUMPDEST 00000651: PUSH2 0x0248 00000654: PUSH1 0x01 00000656: PUSH1 0xa0 00000658: PUSH1 0x02 0000065a: EXP 0000065b: SUB 0000065c: PUSH1 0x04 0000065e: CALLDATALOAD 0000065f: AND 00000660: PUSH1 0x24 00000662: CALLDATALOAD 00000663: PUSH1 0x44 00000665: CALLDATALOAD 00000666: PUSH2 0x0d67 00000669: JUMP 0000066a: JUMPDEST 0000066b: STOP 0000066c: JUMPDEST 0000066d: CALLVALUE 0000066e: ISZERO 0000066f: PUSH2 0x0677 00000672: JUMPI 00000673: PUSH1 0x00 00000675: DUP1 00000676: REVERT 00000677: JUMPDEST 00000678: PUSH2 0x0248 0000067b: PUSH1 0xff 0000067d: PUSH1 0x04 0000067f: CALLDATALOAD 00000680: AND 00000681: PUSH2 0x0dfb 00000684: JUMP 00000685: JUMPDEST 00000686: STOP 00000687: JUMPDEST 00000688: CALLVALUE 00000689: ISZERO 0000068a: PUSH2 0x0692 0000068d: JUMPI 0000068e: PUSH1 0x00 00000690: DUP1 00000691: REVERT 00000692: JUMPDEST 00000693: PUSH2 0x02d3 00000696: PUSH2 0x0e50 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: SWAP1 0000069f: DUP2 000006a0: MSTORE 000006a1: PUSH1 0x20 000006a3: ADD 000006a4: PUSH1 0x40 000006a6: MLOAD 000006a7: DUP1 000006a8: SWAP2 000006a9: SUB 000006aa: SWAP1 000006ab: RETURN 000006ac: JUMPDEST 000006ad: CALLVALUE 000006ae: ISZERO 000006af: PUSH2 0x06b7 000006b2: JUMPI 000006b3: PUSH1 0x00 000006b5: DUP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: PUSH2 0x0248 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: PUSH1 0x04 000006c5: CALLDATALOAD 000006c6: AND 000006c7: PUSH2 0x0e56 000006ca: JUMP 000006cb: JUMPDEST 000006cc: STOP 000006cd: JUMPDEST 000006ce: PUSH1 0x00 000006d0: DUP1 000006d1: DUP1 000006d2: DUP1 000006d3: PUSH1 0x01 000006d5: PUSH1 0xa0 000006d7: PUSH1 0x02 000006d9: EXP 000006da: SUB 000006db: DUP8 000006dc: AND 000006dd: ISZERO 000006de: ISZERO 000006df: PUSH2 0x06e4 000006e2: JUMPI 000006e3: INVALID 000006e4: JUMPDEST 000006e5: PUSH1 0x00 000006e7: DUP6 000006e8: GT 000006e9: PUSH2 0x06f1 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: REVERT 000006f1: JUMPDEST 000006f2: PUSH1 0x00 000006f4: SWAP4 000006f5: POP 000006f6: DUP4 000006f7: SWAP3 000006f8: POP 000006f9: DUP3 000006fa: JUMPDEST 000006fb: PUSH1 0x00 000006fd: SLOAD 000006fe: PUSH1 0xa8 00000700: PUSH1 0x02 00000702: EXP 00000703: SWAP1 00000704: DIV 00000705: PUSH1 0xff 00000707: AND 00000708: PUSH1 0x01 0000070a: DUP2 0000070b: GT 0000070c: ISZERO 0000070d: PUSH2 0x0712 00000710: JUMPI 00000711: INVALID 00000712: JUMPDEST 00000713: EQ 00000714: ISZERO 00000715: PUSH2 0x0734 00000718: JUMPI 00000719: PUSH2 0x0bb8 0000071c: DUP6 0000071d: MUL 0000071e: SWAP3 0000071f: POP 00000720: PUSH2 0x072d 00000723: PUSH1 0x01 00000725: SLOAD 00000726: PUSH1 0x01 00000728: DUP9 00000729: PUSH2 0x0eb0 0000072c: JUMP 0000072d: JUMPDEST 0000072e: SWAP4 0000072f: POP 00000730: PUSH2 0x074c 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH2 0x05dc 00000738: DUP6 00000739: MUL 0000073a: SWAP3 0000073b: POP 0000073c: PUSH2 0x0749 0000073f: PUSH1 0x03 00000741: SLOAD 00000742: PUSH1 0x02 00000744: DUP9 00000745: PUSH2 0x0eb0 00000748: JUMP 00000749: JUMPDEST 0000074a: SWAP4 0000074b: POP 0000074c: JUMPDEST 0000074d: PUSH2 0x0755 00000750: DUP6 00000751: PUSH2 0x1289 00000754: JUMP 00000755: JUMPDEST 00000756: SWAP2 00000757: POP 00000758: POP 00000759: DUP3 0000075a: DUP2 0000075b: ADD 0000075c: PUSH1 0x00 0000075e: DUP2 0000075f: GT 00000760: ISZERO 00000761: PUSH2 0x0775 00000764: JUMPI 00000765: PUSH2 0x0770 00000768: DUP4 00000769: DUP3 0000076a: PUSH1 0x64 0000076c: PUSH2 0x139b 0000076f: JUMP 00000770: JUMPDEST 00000771: DUP4 00000772: ADD 00000773: SWAP3 00000774: POP 00000775: JUMPDEST 00000776: PUSH1 0x00 00000778: JUMPDEST 00000779: PUSH1 0x00 0000077b: SLOAD 0000077c: PUSH1 0xa8 0000077e: PUSH1 0x02 00000780: EXP 00000781: SWAP1 00000782: DIV 00000783: PUSH1 0xff 00000785: AND 00000786: PUSH1 0x01 00000788: DUP2 00000789: GT 0000078a: ISZERO 0000078b: PUSH2 0x0790 0000078e: JUMPI 0000078f: INVALID 00000790: JUMPDEST 00000791: EQ 00000792: ISZERO 00000793: PUSH2 0x07cd 00000796: JUMPI 00000797: PUSH11 0x17e575c1aaef8679e00000 000007a3: PUSH2 0x07ae 000007a6: PUSH1 0x0a 000007a8: SLOAD 000007a9: DUP6 000007aa: PUSH2 0x13ba 000007ad: JUMP 000007ae: JUMPDEST 000007af: GT 000007b0: ISZERO 000007b1: PUSH2 0x07b9 000007b4: JUMPI 000007b5: PUSH1 0x00 000007b7: DUP1 000007b8: REVERT 000007b9: JUMPDEST 000007ba: PUSH2 0x07c5 000007bd: PUSH1 0x0a 000007bf: SLOAD 000007c0: DUP5 000007c1: PUSH2 0x13ba 000007c4: JUMP 000007c5: JUMPDEST 000007c6: PUSH1 0x0a 000007c8: SSTORE 000007c9: PUSH2 0x0801 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH12 0x01ba15035ce5ba7244f00000 000007db: PUSH2 0x07e6 000007de: PUSH1 0x09 000007e0: SLOAD 000007e1: DUP6 000007e2: PUSH2 0x13ba 000007e5: JUMP 000007e6: JUMPDEST 000007e7: GT 000007e8: ISZERO 000007e9: PUSH2 0x07f1 000007ec: JUMPI 000007ed: PUSH1 0x00 000007ef: DUP1 000007f0: REVERT 000007f1: JUMPDEST 000007f2: PUSH2 0x07fd 000007f5: PUSH1 0x09 000007f7: SLOAD 000007f8: DUP5 000007f9: PUSH2 0x13ba 000007fc: JUMP 000007fd: JUMPDEST 000007fe: PUSH1 0x09 00000800: SSTORE 00000801: JUMPDEST 00000802: PUSH1 0x00 00000804: SLOAD 00000805: PUSH1 0x01 00000807: PUSH1 0xa0 00000809: PUSH1 0x02 0000080b: EXP 0000080c: SUB 0000080d: AND 0000080e: PUSH4 0xf11b9fc8 00000813: DUP9 00000814: DUP6 00000815: PUSH1 0x40 00000817: MLOAD 00000818: PUSH1 0xe0 0000081a: PUSH1 0x02 0000081c: EXP 0000081d: PUSH4 0xffffffff 00000822: DUP6 00000823: AND 00000824: MUL 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x01 00000829: PUSH1 0xa0 0000082b: PUSH1 0x02 0000082d: EXP 0000082e: SUB 0000082f: SWAP1 00000830: SWAP3 00000831: AND 00000832: PUSH1 0x04 00000834: DUP4 00000835: ADD 00000836: MSTORE 00000837: PUSH1 0x24 00000839: DUP3 0000083a: ADD 0000083b: MSTORE 0000083c: PUSH1 0x44 0000083e: ADD 0000083f: PUSH1 0x00 00000841: PUSH1 0x40 00000843: MLOAD 00000844: DUP1 00000845: DUP4 00000846: SUB 00000847: DUP2 00000848: PUSH1 0x00 0000084a: DUP8 0000084b: DUP1 0000084c: EXTCODESIZE 0000084d: ISZERO 0000084e: ISZERO 0000084f: PUSH2 0x0857 00000852: JUMPI 00000853: PUSH1 0x00 00000855: DUP1 00000856: REVERT 00000857: JUMPDEST 00000858: PUSH2 0x02c6 0000085b: GAS 0000085c: SUB 0000085d: CALL 0000085e: ISZERO 0000085f: ISZERO 00000860: PUSH2 0x0868 00000863: JUMPI 00000864: PUSH1 0x00 00000866: DUP1 00000867: REVERT 00000868: JUMPDEST 00000869: POP 0000086a: POP 0000086b: POP 0000086c: PUSH2 0x0877 0000086f: PUSH1 0x0c 00000871: SLOAD 00000872: DUP7 00000873: PUSH2 0x13ba 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH1 0x0c 0000087a: SSTORE 0000087b: JUMPDEST 0000087c: POP 0000087d: POP 0000087e: POP 0000087f: POP 00000880: POP 00000881: POP 00000882: POP 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x00 00000887: SLOAD 00000888: PUSH1 0xa8 0000088a: PUSH1 0x02 0000088c: EXP 0000088d: SWAP1 0000088e: DIV 0000088f: PUSH1 0xff 00000891: AND 00000892: DUP2 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x05 00000897: SLOAD 00000898: CALLER 00000899: PUSH1 0x01 0000089b: PUSH1 0xa0 0000089d: PUSH1 0x02 0000089f: EXP 000008a0: SUB 000008a1: SWAP1 000008a2: DUP2 000008a3: AND 000008a4: SWAP2 000008a5: AND 000008a6: EQ 000008a7: PUSH2 0x08af 000008aa: JUMPI 000008ab: PUSH1 0x00 000008ad: DUP1 000008ae: REVERT 000008af: JUMPDEST 000008b0: PUSH1 0x03 000008b2: JUMPDEST 000008b3: PUSH1 0x00 000008b5: SLOAD 000008b6: PUSH1 0xa0 000008b8: PUSH1 0x02 000008ba: EXP 000008bb: SWAP1 000008bc: DIV 000008bd: PUSH1 0xff 000008bf: AND 000008c0: PUSH1 0x03 000008c2: DUP2 000008c3: GT 000008c4: ISZERO 000008c5: PUSH2 0x08ca 000008c8: JUMPI 000008c9: INVALID 000008ca: JUMPDEST 000008cb: EQ 000008cc: PUSH2 0x08d4 000008cf: JUMPI 000008d0: PUSH1 0x00 000008d2: DUP1 000008d3: REVERT 000008d4: JUMPDEST 000008d5: PUSH1 0x00 000008d7: DUP1 000008d8: SLOAD 000008d9: DUP3 000008da: SWAP2 000008db: SWAP1 000008dc: PUSH22 0xff000000000000000000000000000000000000000000 000008f3: NOT 000008f4: AND 000008f5: PUSH1 0xa8 000008f7: PUSH1 0x02 000008f9: EXP 000008fa: DUP4 000008fb: PUSH1 0x01 000008fd: DUP2 000008fe: GT 000008ff: ISZERO 00000900: PUSH2 0x0905 00000903: JUMPI 00000904: INVALID 00000905: JUMPDEST 00000906: MUL 00000907: OR 00000908: SWAP1 00000909: SSTORE 0000090a: POP 0000090b: JUMPDEST 0000090c: JUMPDEST 0000090d: JUMPDEST 0000090e: POP 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH1 0x05 00000913: SLOAD 00000914: CALLER 00000915: PUSH1 0x01 00000917: PUSH1 0xa0 00000919: PUSH1 0x02 0000091b: EXP 0000091c: SUB 0000091d: SWAP1 0000091e: DUP2 0000091f: AND 00000920: SWAP2 00000921: AND 00000922: EQ 00000923: PUSH2 0x092b 00000926: JUMPI 00000927: PUSH1 0x00 00000929: DUP1 0000092a: REVERT 0000092b: JUMPDEST 0000092c: PUSH1 0x00 0000092e: SLOAD 0000092f: PUSH1 0x01 00000931: PUSH1 0xa0 00000933: PUSH1 0x02 00000935: EXP 00000936: SUB 00000937: AND 00000938: PUSH4 0x0d1118ce 0000093d: DUP4 0000093e: DUP4 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: PUSH1 0xe0 00000944: PUSH1 0x02 00000946: EXP 00000947: PUSH4 0xffffffff 0000094c: DUP6 0000094d: AND 0000094e: MUL 0000094f: DUP2 00000950: MSTORE 00000951: PUSH1 0x01 00000953: PUSH1 0xa0 00000955: PUSH1 0x02 00000957: EXP 00000958: SUB 00000959: SWAP1 0000095a: SWAP3 0000095b: AND 0000095c: PUSH1 0x04 0000095e: DUP4 0000095f: ADD 00000960: MSTORE 00000961: PUSH1 0x24 00000963: DUP3 00000964: ADD 00000965: MSTORE 00000966: PUSH1 0x44 00000968: ADD 00000969: PUSH1 0x00 0000096b: PUSH1 0x40 0000096d: MLOAD 0000096e: DUP1 0000096f: DUP4 00000970: SUB 00000971: DUP2 00000972: PUSH1 0x00 00000974: DUP8 00000975: DUP1 00000976: EXTCODESIZE 00000977: ISZERO 00000978: ISZERO 00000979: PUSH2 0x0981 0000097c: JUMPI 0000097d: PUSH1 0x00 0000097f: DUP1 00000980: REVERT 00000981: JUMPDEST 00000982: PUSH2 0x02c6 00000985: GAS 00000986: SUB 00000987: CALL 00000988: ISZERO 00000989: ISZERO 0000098a: PUSH2 0x0992 0000098d: JUMPI 0000098e: PUSH1 0x00 00000990: DUP1 00000991: REVERT 00000992: JUMPDEST 00000993: POP 00000994: POP 00000995: POP 00000996: JUMPDEST 00000997: JUMPDEST 00000998: POP 00000999: POP 0000099a: JUMP 0000099b: JUMPDEST 0000099c: PUSH12 0x02df458b2c635dcf55e00000 000009a9: DUP2 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH1 0x09 000009ae: SLOAD 000009af: DUP2 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x05 000009b4: SLOAD 000009b5: PUSH1 0x00 000009b7: SWAP1 000009b8: DUP2 000009b9: SWAP1 000009ba: DUP2 000009bb: SWAP1 000009bc: DUP2 000009bd: SWAP1 000009be: DUP2 000009bf: SWAP1 000009c0: CALLER 000009c1: PUSH1 0x01 000009c3: PUSH1 0xa0 000009c5: PUSH1 0x02 000009c7: EXP 000009c8: SUB 000009c9: SWAP1 000009ca: DUP2 000009cb: AND 000009cc: SWAP2 000009cd: AND 000009ce: EQ 000009cf: PUSH2 0x09d7 000009d2: JUMPI 000009d3: PUSH1 0x00 000009d5: DUP1 000009d6: REVERT 000009d7: JUMPDEST 000009d8: PUSH1 0x01 000009da: JUMPDEST 000009db: PUSH1 0x00 000009dd: SLOAD 000009de: PUSH1 0xa0 000009e0: PUSH1 0x02 000009e2: EXP 000009e3: SWAP1 000009e4: DIV 000009e5: PUSH1 0xff 000009e7: AND 000009e8: PUSH1 0x03 000009ea: DUP2 000009eb: GT 000009ec: ISZERO 000009ed: PUSH2 0x09f2 000009f0: JUMPI 000009f1: INVALID 000009f2: JUMPDEST 000009f3: LT 000009f4: ISZERO 000009f5: PUSH2 0x09fd 000009f8: JUMPI 000009f9: PUSH1 0x00 000009fb: DUP1 000009fc: REVERT 000009fd: JUMPDEST 000009fe: PUSH1 0x0b 00000a00: SLOAD 00000a01: PUSH1 0xff 00000a03: AND 00000a04: ISZERO 00000a05: DUP1 00000a06: ISZERO 00000a07: PUSH2 0x0a12 00000a0a: JUMPI 00000a0b: POP 00000a0c: PUSH1 0x08 00000a0e: SLOAD 00000a0f: TIMESTAMP 00000a10: LT 00000a11: ISZERO 00000a12: JUMPDEST 00000a13: ISZERO 00000a14: ISZERO 00000a15: PUSH2 0x0a1d 00000a18: JUMPI 00000a19: PUSH1 0x00 00000a1b: DUP1 00000a1c: REVERT 00000a1d: JUMPDEST 00000a1e: PUSH2 0x0a2b 00000a21: PUSH1 0x09 00000a23: SLOAD 00000a24: PUSH1 0x0a 00000a26: SLOAD 00000a27: PUSH2 0x13ba 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: SWAP5 00000a2d: POP 00000a2e: PUSH2 0x0a4e 00000a31: PUSH12 0x01ba15035ce5ba7244f00000 00000a3e: PUSH11 0x17e575c1aaef8679e00000 00000a4a: PUSH2 0x13ba 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: SWAP4 00000a50: POP 00000a51: PUSH2 0x0a70 00000a54: PUSH2 0x0a69 00000a57: DUP7 00000a58: PUSH12 0x02df458b2c635dcf55e00000 00000a65: PUSH2 0x13d4 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x23 00000a6c: PUSH2 0x13d4 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: SWAP3 00000a72: POP 00000a73: PUSH2 0x0a7d 00000a76: PUSH1 0x64 00000a78: DUP6 00000a79: PUSH2 0x13d4 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: SWAP2 00000a7f: POP 00000a80: PUSH2 0x0a89 00000a83: DUP4 00000a84: DUP4 00000a85: PUSH2 0x1403 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH1 0x00 00000a8c: SLOAD 00000a8d: PUSH1 0x06 00000a8f: SLOAD 00000a90: SWAP2 00000a91: SWAP3 00000a92: POP 00000a93: PUSH1 0x01 00000a95: PUSH1 0xa0 00000a97: PUSH1 0x02 00000a99: EXP 00000a9a: SUB 00000a9b: SWAP1 00000a9c: DUP2 00000a9d: AND 00000a9e: SWAP2 00000a9f: PUSH4 0xf11b9fc8 00000aa4: SWAP2 00000aa5: AND 00000aa6: DUP4 00000aa7: PUSH1 0x40 00000aa9: MLOAD 00000aaa: PUSH1 0xe0 00000aac: PUSH1 0x02 00000aae: EXP 00000aaf: PUSH4 0xffffffff 00000ab4: DUP6 00000ab5: AND 00000ab6: MUL 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x01 00000abb: PUSH1 0xa0 00000abd: PUSH1 0x02 00000abf: EXP 00000ac0: SUB 00000ac1: SWAP1 00000ac2: SWAP3 00000ac3: AND 00000ac4: PUSH1 0x04 00000ac6: DUP4 00000ac7: ADD 00000ac8: MSTORE 00000ac9: PUSH1 0x24 00000acb: DUP3 00000acc: ADD 00000acd: MSTORE 00000ace: PUSH1 0x44 00000ad0: ADD 00000ad1: PUSH1 0x00 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: DUP1 00000ad7: DUP4 00000ad8: SUB 00000ad9: DUP2 00000ada: PUSH1 0x00 00000adc: DUP8 00000add: DUP1 00000ade: EXTCODESIZE 00000adf: ISZERO 00000ae0: ISZERO 00000ae1: PUSH2 0x0ae9 00000ae4: JUMPI 00000ae5: PUSH1 0x00 00000ae7: DUP1 00000ae8: REVERT 00000ae9: JUMPDEST 00000aea: PUSH2 0x02c6 00000aed: GAS 00000aee: SUB 00000aef: CALL 00000af0: ISZERO 00000af1: ISZERO 00000af2: PUSH2 0x0afa 00000af5: JUMPI 00000af6: PUSH1 0x00 00000af8: DUP1 00000af9: REVERT 00000afa: JUMPDEST 00000afb: POP 00000afc: POP 00000afd: PUSH1 0x0b 00000aff: DUP1 00000b00: SLOAD 00000b01: PUSH1 0xff 00000b03: NOT 00000b04: AND 00000b05: PUSH1 0x01 00000b07: OR 00000b08: SWAP1 00000b09: SSTORE 00000b0a: POP 00000b0b: JUMPDEST 00000b0c: JUMPDEST 00000b0d: JUMPDEST 00000b0e: POP 00000b0f: POP 00000b10: POP 00000b11: POP 00000b12: POP 00000b13: JUMP 00000b14: JUMPDEST 00000b15: PUSH1 0x00 00000b17: SLOAD 00000b18: PUSH1 0x01 00000b1a: PUSH1 0xa0 00000b1c: PUSH1 0x02 00000b1e: EXP 00000b1f: SUB 00000b20: AND 00000b21: DUP2 00000b22: JUMP 00000b23: JUMPDEST 00000b24: PUSH11 0x0bf2bae0d577c33cf00000 00000b30: DUP2 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x05 00000b35: SLOAD 00000b36: CALLER 00000b37: PUSH1 0x01 00000b39: PUSH1 0xa0 00000b3b: PUSH1 0x02 00000b3d: EXP 00000b3e: SUB 00000b3f: SWAP1 00000b40: DUP2 00000b41: AND 00000b42: SWAP2 00000b43: AND 00000b44: EQ 00000b45: PUSH2 0x0b4d 00000b48: JUMPI 00000b49: PUSH1 0x00 00000b4b: DUP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: PUSH1 0x01 00000b50: JUMPDEST 00000b51: PUSH1 0x00 00000b53: SLOAD 00000b54: PUSH1 0xa0 00000b56: PUSH1 0x02 00000b58: EXP 00000b59: SWAP1 00000b5a: DIV 00000b5b: PUSH1 0xff 00000b5d: AND 00000b5e: PUSH1 0x03 00000b60: DUP2 00000b61: GT 00000b62: ISZERO 00000b63: PUSH2 0x0b68 00000b66: JUMPI 00000b67: INVALID 00000b68: JUMPDEST 00000b69: EQ 00000b6a: ISZERO 00000b6b: PUSH2 0x0b70 00000b6e: JUMPI 00000b6f: INVALID 00000b70: JUMPDEST 00000b71: PUSH1 0x01 00000b73: PUSH1 0xa0 00000b75: PUSH1 0x02 00000b77: EXP 00000b78: SUB 00000b79: DUP3 00000b7a: AND 00000b7b: ISZERO 00000b7c: ISZERO 00000b7d: PUSH2 0x0b82 00000b80: JUMPI 00000b81: INVALID 00000b82: JUMPDEST 00000b83: PUSH1 0x01 00000b85: PUSH1 0xa0 00000b87: PUSH1 0x02 00000b89: EXP 00000b8a: SUB 00000b8b: DUP2 00000b8c: AND 00000b8d: ISZERO 00000b8e: ISZERO 00000b8f: PUSH2 0x0b94 00000b92: JUMPI 00000b93: INVALID 00000b94: JUMPDEST 00000b95: PUSH1 0x0b 00000b97: SLOAD 00000b98: PUSH2 0x0100 00000b9b: SWAP1 00000b9c: DIV 00000b9d: PUSH1 0xff 00000b9f: AND 00000ba0: ISZERO 00000ba1: PUSH2 0x0ba9 00000ba4: JUMPI 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: REVERT 00000ba9: JUMPDEST 00000baa: PUSH1 0x0b 00000bac: SLOAD 00000bad: PUSH3 0x010000 00000bb1: SWAP1 00000bb2: DIV 00000bb3: PUSH1 0xff 00000bb5: AND 00000bb6: ISZERO 00000bb7: PUSH2 0x0bbf 00000bba: JUMPI 00000bbb: PUSH1 0x00 00000bbd: DUP1 00000bbe: REVERT 00000bbf: JUMPDEST 00000bc0: PUSH1 0x06 00000bc2: DUP1 00000bc3: SLOAD 00000bc4: PUSH1 0x01 00000bc6: PUSH1 0xa0 00000bc8: PUSH1 0x02 00000bca: EXP 00000bcb: SUB 00000bcc: DUP1 00000bcd: DUP6 00000bce: AND 00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be4: NOT 00000be5: SWAP3 00000be6: DUP4 00000be7: AND 00000be8: OR 00000be9: SWAP1 00000bea: SWAP3 00000beb: SSTORE 00000bec: PUSH1 0x07 00000bee: DUP1 00000bef: SLOAD 00000bf0: DUP5 00000bf1: DUP5 00000bf2: AND 00000bf3: SWAP3 00000bf4: AND 00000bf5: SWAP2 00000bf6: SWAP1 00000bf7: SWAP2 00000bf8: OR 00000bf9: SWAP1 00000bfa: SSTORE 00000bfb: PUSH1 0x00 00000bfd: SLOAD 00000bfe: AND 00000bff: PUSH4 0xf11b9fc8 00000c04: DUP3 00000c05: PUSH11 0x0bf2bae0d577c33cf00000 00000c11: PUSH1 0x40 00000c13: MLOAD 00000c14: PUSH1 0xe0 00000c16: PUSH1 0x02 00000c18: EXP 00000c19: PUSH4 0xffffffff 00000c1e: DUP6 00000c1f: AND 00000c20: MUL 00000c21: DUP2 00000c22: MSTORE 00000c23: PUSH1 0x01 00000c25: PUSH1 0xa0 00000c27: PUSH1 0x02 00000c29: EXP 00000c2a: SUB 00000c2b: SWAP1 00000c2c: SWAP3 00000c2d: AND 00000c2e: PUSH1 0x04 00000c30: DUP4 00000c31: ADD 00000c32: MSTORE 00000c33: PUSH1 0x24 00000c35: DUP3 00000c36: ADD 00000c37: MSTORE 00000c38: PUSH1 0x44 00000c3a: ADD 00000c3b: PUSH1 0x00 00000c3d: PUSH1 0x40 00000c3f: MLOAD 00000c40: DUP1 00000c41: DUP4 00000c42: SUB 00000c43: DUP2 00000c44: PUSH1 0x00 00000c46: DUP8 00000c47: DUP1 00000c48: EXTCODESIZE 00000c49: ISZERO 00000c4a: ISZERO 00000c4b: PUSH2 0x0c53 00000c4e: JUMPI 00000c4f: PUSH1 0x00 00000c51: DUP1 00000c52: REVERT 00000c53: JUMPDEST 00000c54: PUSH2 0x02c6 00000c57: GAS 00000c58: SUB 00000c59: CALL 00000c5a: ISZERO 00000c5b: ISZERO 00000c5c: PUSH2 0x0c64 00000c5f: JUMPI 00000c60: PUSH1 0x00 00000c62: DUP1 00000c63: REVERT 00000c64: JUMPDEST 00000c65: POP 00000c66: POP 00000c67: PUSH1 0x0b 00000c69: DUP1 00000c6a: SLOAD 00000c6b: PUSH3 0xff0000 00000c6f: NOT 00000c70: PUSH2 0xff00 00000c73: NOT 00000c74: SWAP1 00000c75: SWAP2 00000c76: AND 00000c77: PUSH2 0x0100 00000c7a: OR 00000c7b: AND 00000c7c: PUSH3 0x010000 00000c80: OR 00000c81: SWAP1 00000c82: SSTORE 00000c83: POP 00000c84: PUSH1 0x00 00000c86: DUP1 00000c87: SLOAD 00000c88: PUSH1 0x01 00000c8a: SWAP2 00000c8b: SWAP1 00000c8c: PUSH21 0xff0000000000000000000000000000000000000000 00000ca2: NOT 00000ca3: AND 00000ca4: PUSH1 0xa0 00000ca6: PUSH1 0x02 00000ca8: EXP 00000ca9: DUP4 00000caa: JUMPDEST 00000cab: MUL 00000cac: OR 00000cad: SWAP1 00000cae: SSTORE 00000caf: POP 00000cb0: JUMPDEST 00000cb1: JUMPDEST 00000cb2: POP 00000cb3: POP 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: PUSH1 0x06 00000cb8: SLOAD 00000cb9: PUSH1 0x01 00000cbb: PUSH1 0xa0 00000cbd: PUSH1 0x02 00000cbf: EXP 00000cc0: SUB 00000cc1: AND 00000cc2: DUP2 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: PUSH1 0x02 00000cc7: SLOAD 00000cc8: DUP2 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH1 0x00 00000ccd: SLOAD 00000cce: PUSH1 0xa0 00000cd0: PUSH1 0x02 00000cd2: EXP 00000cd3: SWAP1 00000cd4: DIV 00000cd5: PUSH1 0xff 00000cd7: AND 00000cd8: DUP2 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: PUSH11 0x17e575c1aaef8679e00000 00000ce7: DUP2 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: PUSH1 0x0b 00000cec: SLOAD 00000ced: PUSH2 0x0100 00000cf0: SWAP1 00000cf1: DIV 00000cf2: PUSH1 0xff 00000cf4: AND 00000cf5: DUP2 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH1 0x0b 00000cfa: SLOAD 00000cfb: PUSH1 0xff 00000cfd: AND 00000cfe: DUP2 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x0a 00000d03: SLOAD 00000d04: DUP2 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x05 00000d09: SLOAD 00000d0a: PUSH1 0x01 00000d0c: PUSH1 0xa0 00000d0e: PUSH1 0x02 00000d10: EXP 00000d11: SUB 00000d12: AND 00000d13: DUP2 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x0b 00000d18: SLOAD 00000d19: PUSH3 0x010000 00000d1d: SWAP1 00000d1e: DIV 00000d1f: PUSH1 0xff 00000d21: AND 00000d22: DUP2 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH1 0x08 00000d27: SLOAD 00000d28: DUP2 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH2 0x0bb8 00000d2e: DUP2 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: PUSH2 0x05dc 00000d34: DUP2 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH12 0x01ba15035ce5ba7244f00000 00000d44: DUP2 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x07 00000d49: SLOAD 00000d4a: PUSH1 0x01 00000d4c: PUSH1 0xa0 00000d4e: PUSH1 0x02 00000d50: EXP 00000d51: SUB 00000d52: AND 00000d53: DUP2 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x04 00000d58: SLOAD 00000d59: DUP2 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: PUSH1 0x0c 00000d5e: SLOAD 00000d5f: DUP2 00000d60: JUMP 00000d61: JUMPDEST 00000d62: PUSH1 0x03 00000d64: SLOAD 00000d65: DUP2 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x05 00000d6a: SLOAD 00000d6b: CALLER 00000d6c: PUSH1 0x01 00000d6e: PUSH1 0xa0 00000d70: PUSH1 0x02 00000d72: EXP 00000d73: SUB 00000d74: SWAP1 00000d75: DUP2 00000d76: AND 00000d77: SWAP2 00000d78: AND 00000d79: EQ 00000d7a: PUSH2 0x0d82 00000d7d: JUMPI 00000d7e: PUSH1 0x00 00000d80: DUP1 00000d81: REVERT 00000d82: JUMPDEST 00000d83: PUSH1 0x01 00000d85: JUMPDEST 00000d86: PUSH1 0x00 00000d88: SLOAD 00000d89: PUSH1 0xa8 00000d8b: PUSH1 0x02 00000d8d: EXP 00000d8e: SWAP1 00000d8f: DIV 00000d90: PUSH1 0xff 00000d92: AND 00000d93: PUSH1 0x01 00000d95: DUP2 00000d96: GT 00000d97: ISZERO 00000d98: PUSH2 0x0d9d 00000d9b: JUMPI 00000d9c: INVALID 00000d9d: JUMPDEST 00000d9e: EQ 00000d9f: DUP1 00000da0: PUSH2 0x0dc1 00000da3: JUMPI 00000da4: POP 00000da5: PUSH1 0x00 00000da7: JUMPDEST 00000da8: PUSH1 0x00 00000daa: SLOAD 00000dab: PUSH1 0xa8 00000dad: PUSH1 0x02 00000daf: EXP 00000db0: SWAP1 00000db1: DIV 00000db2: PUSH1 0xff 00000db4: AND 00000db5: PUSH1 0x01 00000db7: DUP2 00000db8: GT 00000db9: ISZERO 00000dba: PUSH2 0x0dbf 00000dbd: JUMPI 00000dbe: INVALID 00000dbf: JUMPDEST 00000dc0: EQ 00000dc1: JUMPDEST 00000dc2: ISZERO 00000dc3: ISZERO 00000dc4: PUSH2 0x0dcc 00000dc7: JUMPI 00000dc8: PUSH1 0x00 00000dca: DUP1 00000dcb: REVERT 00000dcc: JUMPDEST 00000dcd: PUSH1 0x01 00000dcf: PUSH1 0xa0 00000dd1: PUSH1 0x02 00000dd3: EXP 00000dd4: SUB 00000dd5: DUP4 00000dd6: AND 00000dd7: ISZERO 00000dd8: ISZERO 00000dd9: PUSH2 0x0dde 00000ddc: JUMPI 00000ddd: INVALID 00000dde: JUMPDEST 00000ddf: PUSH2 0x0df3 00000de2: DUP4 00000de3: DUP4 00000de4: DUP4 00000de5: PUSH8 0x0de0b6b3a7640000 00000dee: MUL 00000def: PUSH2 0x06cd 00000df2: JUMP 00000df3: JUMPDEST 00000df4: JUMPDEST 00000df5: JUMPDEST 00000df6: JUMPDEST 00000df7: POP 00000df8: POP 00000df9: POP 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: PUSH1 0x05 00000dfe: SLOAD 00000dff: CALLER 00000e00: PUSH1 0x01 00000e02: PUSH1 0xa0 00000e04: PUSH1 0x02 00000e06: EXP 00000e07: SUB 00000e08: SWAP1 00000e09: DUP2 00000e0a: AND 00000e0b: SWAP2 00000e0c: AND 00000e0d: EQ 00000e0e: PUSH2 0x0e16 00000e11: JUMPI 00000e12: PUSH1 0x00 00000e14: DUP1 00000e15: REVERT 00000e16: JUMPDEST 00000e17: PUSH1 0x00 00000e19: DUP1 00000e1a: SLOAD 00000e1b: DUP3 00000e1c: SWAP2 00000e1d: SWAP1 00000e1e: PUSH21 0xff0000000000000000000000000000000000000000 00000e34: NOT 00000e35: AND 00000e36: PUSH1 0xa0 00000e38: PUSH1 0x02 00000e3a: EXP 00000e3b: DUP4 00000e3c: PUSH1 0x03 00000e3e: DUP2 00000e3f: GT 00000e40: ISZERO 00000e41: PUSH2 0x0905 00000e44: JUMPI 00000e45: INVALID 00000e46: JUMPDEST 00000e47: MUL 00000e48: OR 00000e49: SWAP1 00000e4a: SSTORE 00000e4b: POP 00000e4c: JUMPDEST 00000e4d: JUMPDEST 00000e4e: POP 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH1 0x01 00000e53: SLOAD 00000e54: DUP2 00000e55: JUMP 00000e56: JUMPDEST 00000e57: PUSH1 0x05 00000e59: SLOAD 00000e5a: CALLER 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0xa0 00000e5f: PUSH1 0x02 00000e61: EXP 00000e62: SUB 00000e63: SWAP1 00000e64: DUP2 00000e65: AND 00000e66: SWAP2 00000e67: AND 00000e68: EQ 00000e69: PUSH2 0x0e71 00000e6c: JUMPI 00000e6d: PUSH1 0x00 00000e6f: DUP1 00000e70: REVERT 00000e71: JUMPDEST 00000e72: PUSH1 0x01 00000e74: PUSH1 0xa0 00000e76: PUSH1 0x02 00000e78: EXP 00000e79: SUB 00000e7a: DUP2 00000e7b: AND 00000e7c: ISZERO 00000e7d: ISZERO 00000e7e: PUSH2 0x0e83 00000e81: JUMPI 00000e82: INVALID 00000e83: JUMPDEST 00000e84: PUSH1 0x05 00000e86: DUP1 00000e87: SLOAD 00000e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9d: NOT 00000e9e: AND 00000e9f: PUSH1 0x01 00000ea1: PUSH1 0xa0 00000ea3: PUSH1 0x02 00000ea5: EXP 00000ea6: SUB 00000ea7: DUP4 00000ea8: AND 00000ea9: OR 00000eaa: SWAP1 00000eab: SSTORE 00000eac: JUMPDEST 00000ead: JUMPDEST 00000eae: POP 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH1 0x00 00000eb3: DUP1 00000eb4: PUSH1 0x00 00000eb6: DUP5 00000eb7: PUSH1 0x02 00000eb9: EQ 00000eba: ISZERO 00000ebb: PUSH2 0x110c 00000ebe: JUMPI 00000ebf: PUSH3 0x015180 00000ec3: DUP7 00000ec4: DUP6 00000ec5: SUB 00000ec6: JUMPDEST 00000ec7: DIV 00000ec8: PUSH1 0x01 00000eca: ADD 00000ecb: SWAP2 00000ecc: POP 00000ecd: DUP2 00000ece: PUSH1 0x01 00000ed0: EQ 00000ed1: ISZERO 00000ed2: PUSH2 0x0ede 00000ed5: JUMPI 00000ed6: PUSH1 0x1e 00000ed8: SWAP3 00000ed9: POP 00000eda: PUSH2 0x1280 00000edd: JUMP 00000ede: JUMPDEST 00000edf: DUP2 00000ee0: PUSH1 0x02 00000ee2: EQ 00000ee3: ISZERO 00000ee4: PUSH2 0x0ef0 00000ee7: JUMPI 00000ee8: PUSH1 0x1d 00000eea: SWAP3 00000eeb: POP 00000eec: PUSH2 0x1280 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: DUP2 00000ef2: PUSH1 0x03 00000ef4: EQ 00000ef5: ISZERO 00000ef6: PUSH2 0x0f02 00000ef9: JUMPI 00000efa: PUSH1 0x1c 00000efc: SWAP3 00000efd: POP 00000efe: PUSH2 0x1280 00000f01: JUMP 00000f02: JUMPDEST 00000f03: DUP2 00000f04: PUSH1 0x04 00000f06: EQ 00000f07: ISZERO 00000f08: PUSH2 0x0f14 00000f0b: JUMPI 00000f0c: PUSH1 0x1b 00000f0e: SWAP3 00000f0f: POP 00000f10: PUSH2 0x1280 00000f13: JUMP 00000f14: JUMPDEST 00000f15: DUP2 00000f16: PUSH1 0x05 00000f18: EQ 00000f19: ISZERO 00000f1a: PUSH2 0x0f26 00000f1d: JUMPI 00000f1e: PUSH1 0x1a 00000f20: SWAP3 00000f21: POP 00000f22: PUSH2 0x1280 00000f25: JUMP 00000f26: JUMPDEST 00000f27: DUP2 00000f28: PUSH1 0x06 00000f2a: EQ 00000f2b: ISZERO 00000f2c: PUSH2 0x0f38 00000f2f: JUMPI 00000f30: PUSH1 0x19 00000f32: SWAP3 00000f33: POP 00000f34: PUSH2 0x1280 00000f37: JUMP 00000f38: JUMPDEST 00000f39: DUP2 00000f3a: PUSH1 0x07 00000f3c: EQ 00000f3d: ISZERO 00000f3e: PUSH2 0x0f4a 00000f41: JUMPI 00000f42: PUSH1 0x18 00000f44: SWAP3 00000f45: POP 00000f46: PUSH2 0x1280 00000f49: JUMP 00000f4a: JUMPDEST 00000f4b: DUP2 00000f4c: PUSH1 0x08 00000f4e: EQ 00000f4f: ISZERO 00000f50: PUSH2 0x0f5c 00000f53: JUMPI 00000f54: PUSH1 0x17 00000f56: SWAP3 00000f57: POP 00000f58: PUSH2 0x1280 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: DUP2 00000f5e: PUSH1 0x09 00000f60: EQ 00000f61: ISZERO 00000f62: PUSH2 0x0f6e 00000f65: JUMPI 00000f66: PUSH1 0x16 00000f68: SWAP3 00000f69: POP 00000f6a: PUSH2 0x1280 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: DUP2 00000f70: PUSH1 0x0a 00000f72: EQ 00000f73: ISZERO 00000f74: PUSH2 0x0f80 00000f77: JUMPI 00000f78: PUSH1 0x15 00000f7a: SWAP3 00000f7b: POP 00000f7c: PUSH2 0x1280 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: DUP2 00000f82: PUSH1 0x0b 00000f84: EQ 00000f85: ISZERO 00000f86: PUSH2 0x0f92 00000f89: JUMPI 00000f8a: PUSH1 0x14 00000f8c: SWAP3 00000f8d: POP 00000f8e: PUSH2 0x1280 00000f91: JUMP 00000f92: JUMPDEST 00000f93: DUP2 00000f94: PUSH1 0x0c 00000f96: EQ 00000f97: ISZERO 00000f98: PUSH2 0x0fa4 00000f9b: JUMPI 00000f9c: PUSH1 0x13 00000f9e: SWAP3 00000f9f: POP 00000fa0: PUSH2 0x1280 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: DUP2 00000fa6: PUSH1 0x0d 00000fa8: EQ 00000fa9: ISZERO 00000faa: PUSH2 0x0fb6 00000fad: JUMPI 00000fae: PUSH1 0x12 00000fb0: SWAP3 00000fb1: POP 00000fb2: PUSH2 0x1280 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: DUP2 00000fb8: PUSH1 0x0e 00000fba: EQ 00000fbb: ISZERO 00000fbc: PUSH2 0x0fc8 00000fbf: JUMPI 00000fc0: PUSH1 0x11 00000fc2: SWAP3 00000fc3: POP 00000fc4: PUSH2 0x1280 00000fc7: JUMP 00000fc8: JUMPDEST 00000fc9: DUP2 00000fca: PUSH1 0x0f 00000fcc: EQ 00000fcd: ISZERO 00000fce: PUSH2 0x0fda 00000fd1: JUMPI 00000fd2: PUSH1 0x10 00000fd4: SWAP3 00000fd5: POP 00000fd6: PUSH2 0x1280 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: DUP2 00000fdc: PUSH1 0x10 00000fde: EQ 00000fdf: ISZERO 00000fe0: PUSH2 0x0fec 00000fe3: JUMPI 00000fe4: PUSH1 0x0f 00000fe6: SWAP3 00000fe7: POP 00000fe8: PUSH2 0x1280 00000feb: JUMP 00000fec: JUMPDEST 00000fed: DUP2 00000fee: PUSH1 0x11 00000ff0: EQ 00000ff1: ISZERO 00000ff2: PUSH2 0x0ffe 00000ff5: JUMPI 00000ff6: PUSH1 0x0e 00000ff8: SWAP3 00000ff9: POP 00000ffa: PUSH2 0x1280 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: DUP2 00001000: PUSH1 0x12 00001002: EQ 00001003: ISZERO 00001004: PUSH2 0x1010 00001007: JUMPI 00001008: PUSH1 0x0d 0000100a: SWAP3 0000100b: POP 0000100c: PUSH2 0x1280 0000100f: JUMP 00001010: JUMPDEST 00001011: DUP2 00001012: PUSH1 0x13 00001014: EQ 00001015: ISZERO 00001016: PUSH2 0x1022 00001019: JUMPI 0000101a: PUSH1 0x0c 0000101c: SWAP3 0000101d: POP 0000101e: PUSH2 0x1280 00001021: JUMP 00001022: JUMPDEST 00001023: DUP2 00001024: PUSH1 0x14 00001026: EQ 00001027: ISZERO 00001028: PUSH2 0x1034 0000102b: JUMPI 0000102c: PUSH1 0x0b 0000102e: SWAP3 0000102f: POP 00001030: PUSH2 0x1280 00001033: JUMP 00001034: JUMPDEST 00001035: DUP2 00001036: PUSH1 0x15 00001038: EQ 00001039: ISZERO 0000103a: PUSH2 0x1046 0000103d: JUMPI 0000103e: PUSH1 0x0a 00001040: SWAP3 00001041: POP 00001042: PUSH2 0x1280 00001045: JUMP 00001046: JUMPDEST 00001047: DUP2 00001048: PUSH1 0x16 0000104a: EQ 0000104b: ISZERO 0000104c: PUSH2 0x1058 0000104f: JUMPI 00001050: PUSH1 0x09 00001052: SWAP3 00001053: POP 00001054: PUSH2 0x1280 00001057: JUMP 00001058: JUMPDEST 00001059: DUP2 0000105a: PUSH1 0x17 0000105c: EQ 0000105d: ISZERO 0000105e: PUSH2 0x106a 00001061: JUMPI 00001062: PUSH1 0x08 00001064: SWAP3 00001065: POP 00001066: PUSH2 0x1280 00001069: JUMP 0000106a: JUMPDEST 0000106b: DUP2 0000106c: PUSH1 0x18 0000106e: EQ 0000106f: ISZERO 00001070: PUSH2 0x107c 00001073: JUMPI 00001074: PUSH1 0x07 00001076: SWAP3 00001077: POP 00001078: PUSH2 0x1280 0000107b: JUMP 0000107c: JUMPDEST 0000107d: DUP2 0000107e: PUSH1 0x19 00001080: EQ 00001081: ISZERO 00001082: PUSH2 0x108e 00001085: JUMPI 00001086: PUSH1 0x06 00001088: SWAP3 00001089: POP 0000108a: PUSH2 0x1280 0000108d: JUMP 0000108e: JUMPDEST 0000108f: DUP2 00001090: PUSH1 0x1a 00001092: EQ 00001093: ISZERO 00001094: PUSH2 0x10a0 00001097: JUMPI 00001098: PUSH1 0x05 0000109a: SWAP3 0000109b: POP 0000109c: PUSH2 0x1280 0000109f: JUMP 000010a0: JUMPDEST 000010a1: DUP2 000010a2: PUSH1 0x1b 000010a4: EQ 000010a5: ISZERO 000010a6: PUSH2 0x10b2 000010a9: JUMPI 000010aa: PUSH1 0x04 000010ac: SWAP3 000010ad: POP 000010ae: PUSH2 0x1280 000010b1: JUMP 000010b2: JUMPDEST 000010b3: DUP2 000010b4: PUSH1 0x1c 000010b6: EQ 000010b7: ISZERO 000010b8: PUSH2 0x10c4 000010bb: JUMPI 000010bc: PUSH1 0x03 000010be: SWAP3 000010bf: POP 000010c0: PUSH2 0x1280 000010c3: JUMP 000010c4: JUMPDEST 000010c5: DUP2 000010c6: PUSH1 0x1d 000010c8: EQ 000010c9: ISZERO 000010ca: PUSH2 0x10d6 000010cd: JUMPI 000010ce: PUSH1 0x02 000010d0: SWAP3 000010d1: POP 000010d2: PUSH2 0x1280 000010d5: JUMP 000010d6: JUMPDEST 000010d7: DUP2 000010d8: PUSH1 0x1e 000010da: EQ 000010db: ISZERO 000010dc: PUSH2 0x10e8 000010df: JUMPI 000010e0: PUSH1 0x01 000010e2: SWAP3 000010e3: POP 000010e4: PUSH2 0x1280 000010e7: JUMP 000010e8: JUMPDEST 000010e9: DUP2 000010ea: PUSH1 0x1f 000010ec: EQ 000010ed: ISZERO 000010ee: PUSH2 0x10fa 000010f1: JUMPI 000010f2: PUSH1 0x01 000010f4: SWAP3 000010f5: POP 000010f6: PUSH2 0x1280 000010f9: JUMP 000010fa: JUMPDEST 000010fb: DUP2 000010fc: PUSH1 0x20 000010fe: EQ 000010ff: ISZERO 00001100: PUSH2 0x110c 00001103: JUMPI 00001104: PUSH1 0x01 00001106: SWAP3 00001107: POP 00001108: PUSH2 0x1280 0000110b: JUMP 0000110c: JUMPDEST 0000110d: JUMPDEST 0000110e: DUP5 0000110f: PUSH1 0x01 00001111: EQ 00001112: ISZERO 00001113: PUSH2 0x127a 00001116: JUMPI 00001117: PUSH3 0x015180 0000111b: DUP7 0000111c: DUP6 0000111d: SUB 0000111e: JUMPDEST 0000111f: DIV 00001120: PUSH1 0x01 00001122: ADD 00001123: SWAP1 00001124: POP 00001125: DUP1 00001126: PUSH1 0x01 00001128: EQ 00001129: ISZERO 0000112a: PUSH2 0x1136 0000112d: JUMPI 0000112e: PUSH1 0x36 00001130: SWAP3 00001131: POP 00001132: PUSH2 0x1280 00001135: JUMP 00001136: JUMPDEST 00001137: DUP1 00001138: PUSH1 0x02 0000113a: EQ 0000113b: ISZERO 0000113c: PUSH2 0x1148 0000113f: JUMPI 00001140: PUSH1 0x33 00001142: SWAP3 00001143: POP 00001144: PUSH2 0x1280 00001147: JUMP 00001148: JUMPDEST 00001149: DUP1 0000114a: PUSH1 0x03 0000114c: EQ 0000114d: ISZERO 0000114e: PUSH2 0x115a 00001151: JUMPI 00001152: PUSH1 0x30 00001154: SWAP3 00001155: POP 00001156: PUSH2 0x1280 00001159: JUMP 0000115a: JUMPDEST 0000115b: DUP1 0000115c: PUSH1 0x04 0000115e: EQ 0000115f: ISZERO 00001160: PUSH2 0x116c 00001163: JUMPI 00001164: PUSH1 0x2d 00001166: SWAP3 00001167: POP 00001168: PUSH2 0x1280 0000116b: JUMP 0000116c: JUMPDEST 0000116d: DUP1 0000116e: PUSH1 0x05 00001170: EQ 00001171: ISZERO 00001172: PUSH2 0x117e 00001175: JUMPI 00001176: PUSH1 0x2a 00001178: SWAP3 00001179: POP 0000117a: PUSH2 0x1280 0000117d: JUMP 0000117e: JUMPDEST 0000117f: DUP1 00001180: PUSH1 0x06 00001182: EQ 00001183: ISZERO 00001184: PUSH2 0x1190 00001187: JUMPI 00001188: PUSH1 0x27 0000118a: SWAP3 0000118b: POP 0000118c: PUSH2 0x1280 0000118f: JUMP 00001190: JUMPDEST 00001191: DUP1 00001192: PUSH1 0x07 00001194: EQ 00001195: ISZERO 00001196: PUSH2 0x11a2 00001199: JUMPI 0000119a: PUSH1 0x24 0000119c: SWAP3 0000119d: POP 0000119e: PUSH2 0x1280 000011a1: JUMP 000011a2: JUMPDEST 000011a3: DUP1 000011a4: PUSH1 0x08 000011a6: EQ 000011a7: ISZERO 000011a8: PUSH2 0x11b4 000011ab: JUMPI 000011ac: PUSH1 0x21 000011ae: SWAP3 000011af: POP 000011b0: PUSH2 0x1280 000011b3: JUMP 000011b4: JUMPDEST 000011b5: DUP1 000011b6: PUSH1 0x09 000011b8: EQ 000011b9: ISZERO 000011ba: PUSH2 0x11c6 000011bd: JUMPI 000011be: PUSH1 0x1e 000011c0: SWAP3 000011c1: POP 000011c2: PUSH2 0x1280 000011c5: JUMP 000011c6: JUMPDEST 000011c7: DUP1 000011c8: PUSH1 0x0a 000011ca: EQ 000011cb: ISZERO 000011cc: PUSH2 0x11d8 000011cf: JUMPI 000011d0: PUSH1 0x1b 000011d2: SWAP3 000011d3: POP 000011d4: PUSH2 0x1280 000011d7: JUMP 000011d8: JUMPDEST 000011d9: DUP1 000011da: PUSH1 0x0b 000011dc: EQ 000011dd: ISZERO 000011de: PUSH2 0x11ea 000011e1: JUMPI 000011e2: PUSH1 0x18 000011e4: SWAP3 000011e5: POP 000011e6: PUSH2 0x1280 000011e9: JUMP 000011ea: JUMPDEST 000011eb: DUP1 000011ec: PUSH1 0x0c 000011ee: EQ 000011ef: ISZERO 000011f0: PUSH2 0x11fc 000011f3: JUMPI 000011f4: PUSH1 0x15 000011f6: SWAP3 000011f7: POP 000011f8: PUSH2 0x1280 000011fb: JUMP 000011fc: JUMPDEST 000011fd: DUP1 000011fe: PUSH1 0x0d 00001200: EQ 00001201: ISZERO 00001202: PUSH2 0x120e 00001205: JUMPI 00001206: PUSH1 0x12 00001208: SWAP3 00001209: POP 0000120a: PUSH2 0x1280 0000120d: JUMP 0000120e: JUMPDEST 0000120f: DUP1 00001210: PUSH1 0x0e 00001212: EQ 00001213: ISZERO 00001214: PUSH2 0x1220 00001217: JUMPI 00001218: PUSH1 0x0f 0000121a: SWAP3 0000121b: POP 0000121c: PUSH2 0x1280 0000121f: JUMP 00001220: JUMPDEST 00001221: DUP1 00001222: PUSH1 0x0f 00001224: EQ 00001225: ISZERO 00001226: PUSH2 0x1232 00001229: JUMPI 0000122a: PUSH1 0x0c 0000122c: SWAP3 0000122d: POP 0000122e: PUSH2 0x1280 00001231: JUMP 00001232: JUMPDEST 00001233: DUP1 00001234: PUSH1 0x10 00001236: EQ 00001237: ISZERO 00001238: PUSH2 0x1244 0000123b: JUMPI 0000123c: PUSH1 0x09 0000123e: SWAP3 0000123f: POP 00001240: PUSH2 0x1280 00001243: JUMP 00001244: JUMPDEST 00001245: DUP1 00001246: PUSH1 0x11 00001248: EQ 00001249: ISZERO 0000124a: PUSH2 0x1256 0000124d: JUMPI 0000124e: PUSH1 0x06 00001250: SWAP3 00001251: POP 00001252: PUSH2 0x1280 00001255: JUMP 00001256: JUMPDEST 00001257: DUP1 00001258: PUSH1 0x12 0000125a: EQ 0000125b: ISZERO 0000125c: PUSH2 0x1268 0000125f: JUMPI 00001260: PUSH1 0x04 00001262: SWAP3 00001263: POP 00001264: PUSH2 0x1280 00001267: JUMP 00001268: JUMPDEST 00001269: DUP1 0000126a: PUSH1 0x13 0000126c: EQ 0000126d: ISZERO 0000126e: PUSH2 0x127a 00001271: JUMPI 00001272: PUSH1 0x00 00001274: SWAP3 00001275: POP 00001276: PUSH2 0x1280 00001279: JUMP 0000127a: JUMPDEST 0000127b: JUMPDEST 0000127c: PUSH1 0x00 0000127e: SWAP3 0000127f: POP 00001280: JUMPDEST 00001281: POP 00001282: POP 00001283: SWAP4 00001284: SWAP3 00001285: POP 00001286: POP 00001287: POP 00001288: JUMP 00001289: JUMPDEST 0000128a: PUSH1 0x00 0000128c: PUSH10 0x021e19e0c9bab2400000 00001297: DUP3 00001298: LT 00001299: PUSH2 0x12a4 0000129c: JUMPI 0000129d: POP 0000129e: PUSH1 0x37 000012a0: PUSH2 0x1396 000012a3: JUMP 000012a4: JUMPDEST 000012a5: PUSH10 0x010f0cf064dd59200000 000012b0: DUP3 000012b1: LT 000012b2: PUSH2 0x12bd 000012b5: JUMPI 000012b6: POP 000012b7: PUSH1 0x32 000012b9: PUSH2 0x1396 000012bc: JUMP 000012bd: JUMPDEST 000012be: PUSH9 0x3635c9adc5dea00000 000012c8: DUP3 000012c9: LT 000012ca: PUSH2 0x12d5 000012cd: JUMPI 000012ce: POP 000012cf: PUSH1 0x2d 000012d1: PUSH2 0x1396 000012d4: JUMP 000012d5: JUMPDEST 000012d6: PUSH9 0x0ad78ebc5ac6200000 000012e0: DUP3 000012e1: LT 000012e2: PUSH2 0x12ed 000012e5: JUMPI 000012e6: POP 000012e7: PUSH1 0x28 000012e9: PUSH2 0x1396 000012ec: JUMP 000012ed: JUMPDEST 000012ee: PUSH9 0x056bc75e2d63100000 000012f8: DUP3 000012f9: LT 000012fa: PUSH2 0x1305 000012fd: JUMPI 000012fe: POP 000012ff: PUSH1 0x23 00001301: PUSH2 0x1396 00001304: JUMP 00001305: JUMPDEST 00001306: PUSH9 0x02b5e3af16b1880000 00001310: DUP3 00001311: LT 00001312: PUSH2 0x131d 00001315: JUMPI 00001316: POP 00001317: PUSH1 0x1e 00001319: PUSH2 0x1396 0000131c: JUMP 0000131d: JUMPDEST 0000131e: PUSH9 0x01a055690d9db80000 00001328: DUP3 00001329: LT 0000132a: PUSH2 0x1335 0000132d: JUMPI 0000132e: POP 0000132f: PUSH1 0x19 00001331: PUSH2 0x1396 00001334: JUMP 00001335: JUMPDEST 00001336: PUSH9 0x01158e460913d00000 00001340: DUP3 00001341: LT 00001342: PUSH2 0x134d 00001345: JUMPI 00001346: POP 00001347: PUSH1 0x14 00001349: PUSH2 0x1396 0000134c: JUMP 0000134d: JUMPDEST 0000134e: PUSH8 0x8ac7230489e80000 00001357: DUP3 00001358: LT 00001359: PUSH2 0x1364 0000135c: JUMPI 0000135d: POP 0000135e: PUSH1 0x0f 00001360: PUSH2 0x1396 00001363: JUMP 00001364: JUMPDEST 00001365: PUSH8 0x4563918244f40000 0000136e: DUP3 0000136f: LT 00001370: PUSH2 0x137b 00001373: JUMPI 00001374: POP 00001375: PUSH1 0x0a 00001377: PUSH2 0x1396 0000137a: JUMP 0000137b: JUMPDEST 0000137c: PUSH8 0x0de0b6b3a7640000 00001385: DUP3 00001386: LT 00001387: PUSH2 0x1392 0000138a: JUMPI 0000138b: POP 0000138c: PUSH1 0x05 0000138e: PUSH2 0x1396 00001391: JUMP 00001392: JUMPDEST 00001393: POP 00001394: PUSH1 0x00 00001396: JUMPDEST 00001397: SWAP2 00001398: SWAP1 00001399: POP 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH1 0x00 0000139e: PUSH2 0x13b0 000013a1: PUSH2 0x13aa 000013a4: DUP6 000013a5: DUP6 000013a6: PUSH2 0x13d4 000013a9: JUMP 000013aa: JUMPDEST 000013ab: DUP4 000013ac: PUSH2 0x1403 000013af: JUMP 000013b0: JUMPDEST 000013b1: SWAP1 000013b2: POP 000013b3: JUMPDEST 000013b4: SWAP4 000013b5: SWAP3 000013b6: POP 000013b7: POP 000013b8: POP 000013b9: JUMP 000013ba: JUMPDEST 000013bb: PUSH1 0x00 000013bd: DUP3 000013be: DUP3 000013bf: ADD 000013c0: DUP4 000013c1: DUP2 000013c2: LT 000013c3: ISZERO 000013c4: PUSH2 0x13c9 000013c7: JUMPI 000013c8: INVALID 000013c9: JUMPDEST 000013ca: DUP1 000013cb: SWAP2 000013cc: POP 000013cd: JUMPDEST 000013ce: POP 000013cf: SWAP3 000013d0: SWAP2 000013d1: POP 000013d2: POP 000013d3: JUMP 000013d4: JUMPDEST 000013d5: PUSH1 0x00 000013d7: DUP3 000013d8: DUP3 000013d9: MUL 000013da: DUP4 000013db: ISZERO 000013dc: DUP1 000013dd: PUSH2 0x13f0 000013e0: JUMPI 000013e1: POP 000013e2: DUP3 000013e3: DUP5 000013e4: DUP3 000013e5: DUP2 000013e6: ISZERO 000013e7: ISZERO 000013e8: PUSH2 0x13ed 000013eb: JUMPI 000013ec: INVALID 000013ed: JUMPDEST 000013ee: DIV 000013ef: EQ 000013f0: JUMPDEST 000013f1: ISZERO 000013f2: ISZERO 000013f3: PUSH2 0x13c9 000013f6: JUMPI 000013f7: INVALID 000013f8: JUMPDEST 000013f9: DUP1 000013fa: SWAP2 000013fb: POP 000013fc: JUMPDEST 000013fd: POP 000013fe: SWAP3 000013ff: SWAP2 00001400: POP 00001401: POP 00001402: JUMP 00001403: JUMPDEST 00001404: PUSH1 0x00 00001406: DUP1 00001407: DUP3 00001408: ISZERO 00001409: ISZERO 0000140a: PUSH2 0x140f 0000140d: JUMPI 0000140e: INVALID 0000140f: JUMPDEST 00001410: DUP3 00001411: DUP5 00001412: DUP2 00001413: ISZERO 00001414: ISZERO 00001415: PUSH2 0x141a 00001418: JUMPI 00001419: INVALID 0000141a: JUMPDEST 0000141b: DIV 0000141c: SWAP1 0000141d: POP 0000141e: DUP3 0000141f: DUP5 00001420: DUP2 00001421: ISZERO 00001422: ISZERO 00001423: PUSH2 0x1428 00001426: JUMPI 00001427: INVALID 00001428: JUMPDEST 00001429: MOD 0000142a: DUP2 0000142b: DUP5 0000142c: MUL 0000142d: ADD 0000142e: DUP5 0000142f: EQ 00001430: ISZERO 00001431: ISZERO 00001432: PUSH2 0x13c9 00001435: JUMPI 00001436: INVALID 00001437: JUMPDEST 00001438: DUP1 00001439: SWAP2 0000143a: POP 0000143b: JUMPDEST 0000143c: POP 0000143d: SWAP3 0000143e: SWAP2 0000143f: POP 00001440: POP 00001441: JUMP 00001442: STOP 00001443: LOG1 00001444: PUSH6 0x627a7a723058 0000144b: KECCAK256 0000144c: UNKNOWN(0xE2) 0000144d: BLOCKHASH 0000144e: PUSH14 0x9999c854abb812afb841bdc83bcb 0000145d: UNKNOWN(0xFC) 0000145e: UNKNOWN(0x0F) 0000145f: PUSH6 0x1f16275d356e 00001466: CALLDATALOAD 00001467: CALLDATALOAD 00001468: UNKNOWN(0x2A) 00001469: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa611c6e966b454a77ecc1d5f058502f7259d236133fd697021cb7466e0cb8b7b
call_targets:
0x341f9c6c60c07fd11ef0bbc93586a2b9d68bfcf0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa611c6e966b454a77ecc1d5f058502f7259d236133fd697021cb7466e0cb8b7b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x341f9c6c60c07fd11ef0bbc93586a2b9d68bfcf0"
],
"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": "0x0b54cbfb",
"selector": "0x0b54cbfb",
"calldata_variants": [
"0x0b54cbfb",
"0x0b54cbfb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1118ce",
"selector": "0x0d1118ce",
"calldata_variants": [
"0x0d1118ce",
"0x0d1118ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16450092",
"selector": "0x16450092",
"calldata_variants": [
"0x16450092",
"0x164500920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d9bd2b9",
"selector": "0x1d9bd2b9",
"calldata_variants": [
"0x1d9bd2b9",
"0x1d9bd2b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e7c023",
"selector": "0x27e7c023",
"calldata_variants": [
"0x27e7c023",
"0x27e7c0230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c3599a5",
"selector": "0x2c3599a5",
"calldata_variants": [
"0x2c3599a5",
"0x2c3599a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4077aaf8",
"selector": "0x4077aaf8",
"calldata_variants": [
"0x4077aaf8",
"0x4077aaf80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x485cc955",
"selector": "0x485cc955",
"calldata_variants": [
"0x485cc955",
"0x485cc9550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2141,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2439,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2799,
"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: 0xa611c6e966b454a77ecc1d5f058502f7259d236133fd697021cb7466e0cb8b7b
call_targets:
0x341f9c6c60c07fd11ef0bbc93586a2b9d68bfcf0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa611c6e966b454a77ecc1d5f058502f7259d236133fd697021cb7466e0cb8b7b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x341f9c6c60c07fd11ef0bbc93586a2b9d68bfcf0"
],
"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": "0x0b54cbfb",
"selector": "0x0b54cbfb",
"calldata_variants": [
"0x0b54cbfb",
"0x0b54cbfb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1118ce",
"selector": "0x0d1118ce",
"calldata_variants": [
"0x0d1118ce",
"0x0d1118ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16450092",
"selector": "0x16450092",
"calldata_variants": [
"0x16450092",
"0x164500920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d9bd2b9",
"selector": "0x1d9bd2b9",
"calldata_variants": [
"0x1d9bd2b9",
"0x1d9bd2b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e7c023",
"selector": "0x27e7c023",
"calldata_variants": [
"0x27e7c023",
"0x27e7c0230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c3599a5",
"selector": "0x2c3599a5",
"calldata_variants": [
"0x2c3599a5",
"0x2c3599a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4077aaf8",
"selector": "0x4077aaf8",
"calldata_variants": [
"0x4077aaf8",
"0x4077aaf80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x485cc955",
"selector": "0x485cc955",
"calldata_variants": [
"0x485cc955",
"0x485cc9550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2141,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2439,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2799,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|