019b477e-b0a5-708a-85b6-d71557b6b89a
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 |
|---|---|---|---|---|
| 22013 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22014 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89105 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89106 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89107 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89108 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0126 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x033a14 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0180 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x2330f247 00000045: EQ 00000046: PUSH2 0x01b9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x26defa73 00000050: EQ 00000051: PUSH2 0x01e6 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x3295feb3 0000005b: EQ 0000005c: PUSH2 0x0206 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x494503d4 00000066: EQ 00000067: PUSH2 0x0228 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x59ed55e1 00000071: EQ 00000072: PUSH2 0x0255 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x5c52c2f5 0000007c: EQ 0000007d: PUSH2 0x0275 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x67eeba0c 00000087: EQ 00000088: PUSH2 0x028a 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x6b0c932d 00000092: EQ 00000093: PUSH2 0x029f 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x797af627 0000009d: EQ 0000009e: PUSH2 0x02b4 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x8f56015f 000000a8: EQ 000000a9: PUSH2 0x02d4 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x93ba3f15 000000b3: EQ 000000b4: PUSH2 0x02f4 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x97db9a95 000000be: EQ 000000bf: PUSH2 0x0314 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x9ef0ce12 000000c9: EQ 000000ca: PUSH2 0x0334 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xb20d30a9 000000d4: EQ 000000d5: PUSH2 0x0354 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xb39c2944 000000df: EQ 000000e0: PUSH2 0x0374 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xb75c7dc6 000000ea: EQ 000000eb: PUSH2 0x0389 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xc2cf7326 000000f5: EQ 000000f6: PUSH2 0x03a9 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xd544e010 00000100: EQ 00000101: PUSH2 0x03c9 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xf059cf2b 0000010b: EQ 0000010c: PUSH2 0x03e9 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xf257bf3b 00000116: EQ 00000117: PUSH2 0x03fe 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xffae2c5b 00000121: EQ 00000122: PUSH2 0x041e 00000125: JUMPI 00000126: JUMPDEST 00000127: PUSH1 0x00 00000129: CALLVALUE 0000012a: GT 0000012b: ISZERO 0000012c: PUSH2 0x017e 0000012f: JUMPI 00000130: CALLER 00000131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000146: AND 00000147: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000168: CALLVALUE 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: PUSH2 0x0175 0000016f: SWAP2 00000170: SWAP1 00000171: PUSH2 0x1958 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH1 0x40 00000178: MLOAD 00000179: DUP1 0000017a: SWAP2 0000017b: SUB 0000017c: SWAP1 0000017d: LOG2 0000017e: JUMPDEST 0000017f: STOP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: DUP1 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: PUSH2 0x01a0 00000191: PUSH2 0x019b 00000194: CALLDATASIZE 00000195: PUSH1 0x04 00000197: PUSH2 0x17c4 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH2 0x043e 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: PUSH2 0x01b0 000001a7: SWAP5 000001a8: SWAP4 000001a9: SWAP3 000001aa: SWAP2 000001ab: SWAP1 000001ac: PUSH2 0x1966 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: RETURN 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: DUP1 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x01d9 000001ca: PUSH2 0x01d4 000001cd: CALLDATASIZE 000001ce: PUSH1 0x04 000001d0: PUSH2 0x16ff 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x0546 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH1 0x40 000001dc: MLOAD 000001dd: PUSH2 0x01b0 000001e0: SWAP2 000001e1: SWAP1 000001e2: PUSH2 0x194a 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: DUP1 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x017e 000001f7: PUSH2 0x0201 000001fa: CALLDATASIZE 000001fb: PUSH1 0x04 000001fd: PUSH2 0x16ff 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH2 0x0574 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x021b 00000217: PUSH2 0x0688 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: PUSH2 0x01b0 00000222: SWAP2 00000223: SWAP1 00000224: PUSH2 0x1958 00000227: JUMP 00000228: JUMPDEST 00000229: CALLVALUE 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0234 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: REVERT 00000234: JUMPDEST 00000235: POP 00000236: PUSH2 0x0248 00000239: PUSH2 0x0243 0000023c: CALLDATASIZE 0000023d: PUSH1 0x04 0000023f: PUSH2 0x17c4 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH2 0x068e 00000247: JUMP 00000248: JUMPDEST 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: PUSH2 0x01b0 0000024f: SWAP2 00000250: SWAP1 00000251: PUSH2 0x193c 00000254: JUMP 00000255: JUMPDEST 00000256: CALLVALUE 00000257: DUP1 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: POP 00000263: PUSH2 0x021b 00000266: PUSH2 0x0270 00000269: CALLDATASIZE 0000026a: PUSH1 0x04 0000026c: PUSH2 0x17c4 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH2 0x06b9 00000274: JUMP 00000275: JUMPDEST 00000276: CALLVALUE 00000277: DUP1 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: PUSH2 0x017e 00000286: PUSH2 0x06d9 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x0296 00000291: JUMPI 00000292: PUSH1 0x00 00000294: DUP1 00000295: REVERT 00000296: JUMPDEST 00000297: POP 00000298: PUSH2 0x021b 0000029b: PUSH2 0x074f 0000029e: JUMP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x021b 000002b0: PUSH2 0x0755 000002b3: JUMP 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: POP 000002c2: PUSH2 0x01d9 000002c5: PUSH2 0x02cf 000002c8: CALLDATASIZE 000002c9: PUSH1 0x04 000002cb: PUSH2 0x17c4 000002ce: JUMP 000002cf: JUMPDEST 000002d0: PUSH2 0x075b 000002d3: JUMP 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: DUP1 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: POP 000002e2: PUSH2 0x017e 000002e5: PUSH2 0x02ef 000002e8: CALLDATASIZE 000002e9: PUSH1 0x04 000002eb: PUSH2 0x17c4 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH2 0x0959 000002f3: JUMP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x021b 00000305: PUSH2 0x030f 00000308: CALLDATASIZE 00000309: PUSH1 0x04 0000030b: PUSH2 0x175f 0000030e: JUMP 0000030f: JUMPDEST 00000310: PUSH2 0x09d2 00000313: JUMP 00000314: JUMPDEST 00000315: CALLVALUE 00000316: DUP1 00000317: ISZERO 00000318: PUSH2 0x0320 0000031b: JUMPI 0000031c: PUSH1 0x00 0000031e: DUP1 0000031f: REVERT 00000320: JUMPDEST 00000321: POP 00000322: PUSH2 0x017e 00000325: PUSH2 0x032f 00000328: CALLDATASIZE 00000329: PUSH1 0x04 0000032b: PUSH2 0x1725 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH2 0x0ca1 00000333: JUMP 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x021b 00000345: PUSH2 0x034f 00000348: CALLDATASIZE 00000349: PUSH1 0x04 0000034b: PUSH2 0x16ff 0000034e: JUMP 0000034f: JUMPDEST 00000350: PUSH2 0x0dc3 00000353: JUMP 00000354: JUMPDEST 00000355: CALLVALUE 00000356: DUP1 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: PUSH2 0x017e 00000365: PUSH2 0x036f 00000368: CALLDATASIZE 00000369: PUSH1 0x04 0000036b: PUSH2 0x17c4 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH2 0x0dd6 00000373: JUMP 00000374: JUMPDEST 00000375: CALLVALUE 00000376: DUP1 00000377: ISZERO 00000378: PUSH2 0x0380 0000037b: JUMPI 0000037c: PUSH1 0x00 0000037e: DUP1 0000037f: REVERT 00000380: JUMPDEST 00000381: POP 00000382: PUSH2 0x021b 00000385: PUSH2 0x0e3e 00000388: JUMP 00000389: JUMPDEST 0000038a: CALLVALUE 0000038b: DUP1 0000038c: ISZERO 0000038d: PUSH2 0x0395 00000390: JUMPI 00000391: PUSH1 0x00 00000393: DUP1 00000394: REVERT 00000395: JUMPDEST 00000396: POP 00000397: PUSH2 0x017e 0000039a: PUSH2 0x03a4 0000039d: CALLDATASIZE 0000039e: PUSH1 0x04 000003a0: PUSH2 0x17c4 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH2 0x0e44 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x01d9 000003ba: PUSH2 0x03c4 000003bd: CALLDATASIZE 000003be: PUSH1 0x04 000003c0: PUSH2 0x17e2 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH2 0x0ec0 000003c8: JUMP 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH2 0x017e 000003da: PUSH2 0x03e4 000003dd: CALLDATASIZE 000003de: PUSH1 0x04 000003e0: PUSH2 0x16ff 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH2 0x0ef0 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x021b 000003fa: PUSH2 0x0fe0 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x021b 0000040f: PUSH2 0x0419 00000412: CALLDATASIZE 00000413: PUSH1 0x04 00000415: PUSH2 0x16ff 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH2 0x0fe6 0000041d: JUMP 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH2 0x0248 0000042f: PUSH2 0x0439 00000432: CALLDATASIZE 00000433: PUSH1 0x04 00000435: PUSH2 0x17c4 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH2 0x1019 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH2 0x0106 00000442: PUSH1 0x20 00000444: SWAP1 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x00 00000449: SWAP2 0000044a: DUP3 0000044b: MSTORE 0000044c: PUSH1 0x40 0000044e: SWAP2 0000044f: DUP3 00000450: SWAP1 00000451: KECCAK256 00000452: DUP3 00000453: MLOAD 00000454: PUSH1 0x60 00000456: DUP2 00000457: ADD 00000458: DUP5 00000459: MSTORE 0000045a: DUP2 0000045b: SLOAD 0000045c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000471: AND 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x01 00000476: DUP1 00000477: DUP4 00000478: ADD 00000479: SLOAD 0000047a: DUP3 0000047b: DUP6 0000047c: ADD 0000047d: MSTORE 0000047e: PUSH1 0x02 00000480: DUP1 00000481: DUP5 00000482: ADD 00000483: DUP1 00000484: SLOAD 00000485: DUP8 00000486: MLOAD 00000487: PUSH2 0x0100 0000048a: SWAP5 0000048b: DUP3 0000048c: AND 0000048d: ISZERO 0000048e: SWAP5 0000048f: SWAP1 00000490: SWAP5 00000491: MUL 00000492: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000004b3: ADD 000004b4: AND 000004b5: SWAP2 000004b6: SWAP1 000004b7: SWAP2 000004b8: DIV 000004b9: PUSH1 0x1f 000004bb: DUP2 000004bc: ADD 000004bd: DUP7 000004be: SWAP1 000004bf: DIV 000004c0: DUP7 000004c1: MUL 000004c2: DUP4 000004c3: ADD 000004c4: DUP7 000004c5: ADD 000004c6: DUP8 000004c7: MSTORE 000004c8: DUP1 000004c9: DUP4 000004ca: MSTORE 000004cb: SWAP4 000004cc: SWAP6 000004cd: SWAP3 000004ce: SWAP5 000004cf: DUP7 000004d0: SWAP5 000004d1: SWAP4 000004d2: DUP7 000004d3: ADD 000004d4: SWAP4 000004d5: SWAP1 000004d6: DUP4 000004d7: ADD 000004d8: DUP3 000004d9: DUP3 000004da: DUP1 000004db: ISZERO 000004dc: PUSH2 0x0526 000004df: JUMPI 000004e0: DUP1 000004e1: PUSH1 0x1f 000004e3: LT 000004e4: PUSH2 0x04fb 000004e7: JUMPI 000004e8: PUSH2 0x0100 000004eb: DUP1 000004ec: DUP4 000004ed: SLOAD 000004ee: DIV 000004ef: MUL 000004f0: DUP4 000004f1: MSTORE 000004f2: SWAP2 000004f3: PUSH1 0x20 000004f5: ADD 000004f6: SWAP2 000004f7: PUSH2 0x0526 000004fa: JUMP 000004fb: JUMPDEST 000004fc: DUP3 000004fd: ADD 000004fe: SWAP2 000004ff: SWAP1 00000500: PUSH1 0x00 00000502: MSTORE 00000503: PUSH1 0x20 00000505: PUSH1 0x00 00000507: KECCAK256 00000508: SWAP1 00000509: JUMPDEST 0000050a: DUP2 0000050b: SLOAD 0000050c: DUP2 0000050d: MSTORE 0000050e: SWAP1 0000050f: PUSH1 0x01 00000511: ADD 00000512: SWAP1 00000513: PUSH1 0x20 00000515: ADD 00000516: DUP1 00000517: DUP4 00000518: GT 00000519: PUSH2 0x0509 0000051c: JUMPI 0000051d: DUP3 0000051e: SWAP1 0000051f: SUB 00000520: PUSH1 0x1f 00000522: AND 00000523: DUP3 00000524: ADD 00000525: SWAP2 00000526: JUMPDEST 00000527: POP 00000528: POP 00000529: POP 0000052a: POP 0000052b: POP 0000052c: DUP2 0000052d: MSTORE 0000052e: POP 0000052f: POP 00000530: SWAP1 00000531: DUP1 00000532: PUSH1 0x03 00000534: ADD 00000535: SLOAD 00000536: SWAP1 00000537: DUP1 00000538: PUSH1 0x04 0000053a: ADD 0000053b: SLOAD 0000053c: SWAP1 0000053d: DUP1 0000053e: PUSH1 0x05 00000540: ADD 00000541: SLOAD 00000542: SWAP1 00000543: POP 00000544: DUP5 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055c: DUP2 0000055d: AND 0000055e: PUSH1 0x00 00000560: SWAP1 00000561: DUP2 00000562: MSTORE 00000563: PUSH2 0x0105 00000566: PUSH1 0x20 00000568: MSTORE 00000569: PUSH1 0x40 0000056b: DUP2 0000056c: KECCAK256 0000056d: SLOAD 0000056e: GT 0000056f: JUMPDEST 00000570: SWAP2 00000571: SWAP1 00000572: POP 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: CALLDATASIZE 00000578: PUSH1 0x40 0000057a: MLOAD 0000057b: DUP1 0000057c: DUP4 0000057d: DUP4 0000057e: DUP1 0000057f: DUP3 00000580: DUP5 00000581: CALLDATACOPY 00000582: DUP3 00000583: ADD 00000584: SWAP2 00000585: POP 00000586: POP 00000587: SWAP3 00000588: POP 00000589: POP 0000058a: POP 0000058b: PUSH1 0x40 0000058d: MLOAD 0000058e: DUP1 0000058f: SWAP2 00000590: SUB 00000591: SWAP1 00000592: KECCAK256 00000593: PUSH2 0x059b 00000596: DUP2 00000597: PUSH2 0x104a 0000059a: JUMP 0000059b: JUMPDEST 0000059c: ISZERO 0000059d: PUSH2 0x0684 000005a0: JUMPI 000005a1: PUSH2 0x05a9 000005a4: DUP3 000005a5: PUSH2 0x0546 000005a8: JUMP 000005a9: JUMPDEST 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: PUSH1 0x01 000005b6: SLOAD 000005b7: PUSH1 0xfa 000005b9: GT 000005ba: PUSH2 0x05c5 000005bd: JUMPI 000005be: PUSH2 0x05c5 000005c1: PUSH2 0x117f 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x01 000005c8: SLOAD 000005c9: PUSH1 0xfa 000005cb: GT 000005cc: PUSH2 0x05d4 000005cf: JUMPI 000005d0: PUSH1 0x00 000005d2: DUP1 000005d3: REVERT 000005d4: JUMPDEST 000005d5: PUSH1 0x01 000005d7: DUP1 000005d8: SLOAD 000005d9: DUP2 000005da: ADD 000005db: SWAP1 000005dc: DUP2 000005dd: SWAP1 000005de: SSTORE 000005df: DUP3 000005e0: SWAP1 000005e1: PUSH1 0x05 000005e3: SWAP1 000005e4: PUSH2 0x0100 000005e7: DUP2 000005e8: LT 000005e9: PUSH2 0x05ee 000005ec: JUMPI 000005ed: INVALID 000005ee: JUMPDEST 000005ef: ADD 000005f0: DUP1 000005f1: SLOAD 000005f2: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000613: AND 00000614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000629: SWAP3 0000062a: DUP4 0000062b: AND 0000062c: OR 0000062d: SWAP1 0000062e: SSTORE 0000062f: PUSH1 0x01 00000631: SLOAD 00000632: SWAP1 00000633: DUP4 00000634: AND 00000635: PUSH1 0x00 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH2 0x0105 0000063d: PUSH1 0x20 0000063f: MSTORE 00000640: PUSH1 0x40 00000642: SWAP1 00000643: KECCAK256 00000644: SSTORE 00000645: PUSH2 0x064c 00000648: PUSH2 0x139a 0000064b: JUMP 0000064c: JUMPDEST 0000064d: PUSH32 0x550a8ae64ec9d6640b6f168a26d3e6364b90defe8110c92135aa775b279e54ea 0000066e: DUP3 0000066f: PUSH1 0x40 00000671: MLOAD 00000672: PUSH2 0x067b 00000675: SWAP2 00000676: SWAP1 00000677: PUSH2 0x193c 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH1 0x40 0000067e: MLOAD 0000067f: DUP1 00000680: SWAP2 00000681: SUB 00000682: SWAP1 00000683: LOG1 00000684: JUMPDEST 00000685: POP 00000686: POP 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x01 0000068b: SLOAD 0000068c: DUP2 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH1 0x05 00000691: DUP2 00000692: PUSH2 0x0100 00000695: DUP2 00000696: LT 00000697: PUSH2 0x069c 0000069a: JUMPI 0000069b: INVALID 0000069c: JUMPDEST 0000069d: ADD 0000069e: SLOAD 0000069f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b4: AND 000006b5: SWAP1 000006b6: POP 000006b7: DUP2 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH2 0x0107 000006bd: DUP1 000006be: SLOAD 000006bf: DUP3 000006c0: SWAP1 000006c1: DUP2 000006c2: LT 000006c3: PUSH2 0x06c8 000006c6: JUMPI 000006c7: INVALID 000006c8: JUMPDEST 000006c9: PUSH1 0x00 000006cb: SWAP2 000006cc: DUP3 000006cd: MSTORE 000006ce: PUSH1 0x20 000006d0: SWAP1 000006d1: SWAP2 000006d2: KECCAK256 000006d3: ADD 000006d4: SLOAD 000006d5: SWAP1 000006d6: POP 000006d7: DUP2 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH1 0x00 000006dc: CALLDATASIZE 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: DUP4 000006e2: DUP4 000006e3: DUP1 000006e4: DUP3 000006e5: DUP5 000006e6: CALLDATACOPY 000006e7: DUP3 000006e8: ADD 000006e9: SWAP2 000006ea: POP 000006eb: POP 000006ec: SWAP3 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: DUP1 000006f4: SWAP2 000006f5: SUB 000006f6: SWAP1 000006f7: KECCAK256 000006f8: PUSH2 0x0700 000006fb: DUP2 000006fc: PUSH2 0x104a 000006ff: JUMP 00000700: JUMPDEST 00000701: ISZERO 00000702: PUSH2 0x074c 00000705: JUMPI 00000706: PUSH2 0x070d 00000709: PUSH2 0x139a 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH32 0x8c5b9565815ec5a5e089fa8c584c603d2cf75501c8054b228fd16d2b37e5da9d 0000072f: PUSH1 0x03 00000731: SLOAD 00000732: PUSH1 0x40 00000734: MLOAD 00000735: PUSH2 0x073e 00000738: SWAP2 00000739: SWAP1 0000073a: PUSH2 0x1958 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH1 0x40 00000741: MLOAD 00000742: DUP1 00000743: SWAP2 00000744: SUB 00000745: SWAP1 00000746: LOG1 00000747: PUSH1 0x00 00000749: PUSH1 0x03 0000074b: SSTORE 0000074c: JUMPDEST 0000074d: POP 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x02 00000752: SLOAD 00000753: DUP2 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH1 0x04 00000758: SLOAD 00000759: DUP2 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x00 0000075e: DUP1 0000075f: DUP3 00000760: PUSH2 0x0768 00000763: DUP2 00000764: PUSH2 0x104a 00000767: JUMP 00000768: JUMPDEST 00000769: ISZERO 0000076a: PUSH2 0x0952 0000076d: JUMPI 0000076e: PUSH1 0x00 00000770: DUP5 00000771: DUP2 00000772: MSTORE 00000773: PUSH2 0x0106 00000776: PUSH1 0x20 00000778: MSTORE 00000779: PUSH1 0x40 0000077b: SWAP1 0000077c: KECCAK256 0000077d: DUP1 0000077e: SLOAD 0000077f: SWAP1 00000780: SWAP3 00000781: POP 00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000797: AND 00000798: ISZERO 00000799: ISZERO 0000079a: DUP1 0000079b: PUSH2 0x07a7 0000079e: JUMPI 0000079f: POP 000007a0: PUSH1 0x01 000007a2: DUP3 000007a3: ADD 000007a4: SLOAD 000007a5: ISZERO 000007a6: ISZERO 000007a7: JUMPDEST 000007a8: DUP1 000007a9: PUSH2 0x07e3 000007ac: JUMPI 000007ad: POP 000007ae: PUSH1 0x02 000007b0: DUP1 000007b1: DUP4 000007b2: ADD 000007b3: SLOAD 000007b4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007d5: PUSH2 0x0100 000007d8: PUSH1 0x01 000007da: DUP4 000007db: AND 000007dc: ISZERO 000007dd: MUL 000007de: ADD 000007df: AND 000007e0: DIV 000007e1: ISZERO 000007e2: ISZERO 000007e3: JUMPDEST 000007e4: ISZERO 000007e5: PUSH2 0x0952 000007e8: JUMPI 000007e9: DUP2 000007ea: SLOAD 000007eb: PUSH1 0x01 000007ed: DUP1 000007ee: DUP5 000007ef: ADD 000007f0: SLOAD 000007f1: PUSH1 0x02 000007f3: DUP1 000007f4: DUP7 000007f5: ADD 000007f6: DUP1 000007f7: SLOAD 000007f8: PUSH1 0x40 000007fa: DUP1 000007fb: MLOAD 000007fc: PUSH1 0x20 000007fe: PUSH1 0x1f 00000800: SWAP8 00000801: DUP5 00000802: AND 00000803: ISZERO 00000804: PUSH2 0x0100 00000807: MUL 00000808: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000829: ADD 0000082a: SWAP1 0000082b: SWAP4 0000082c: AND 0000082d: SWAP5 0000082e: SWAP1 0000082f: SWAP5 00000830: DIV 00000831: SWAP6 00000832: DUP7 00000833: ADD 00000834: DUP3 00000835: SWAP1 00000836: DIV 00000837: DUP3 00000838: MUL 00000839: DUP5 0000083a: ADD 0000083b: DUP3 0000083c: ADD 0000083d: SWAP1 0000083e: MSTORE 0000083f: DUP5 00000840: DUP4 00000841: MSTORE 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: SWAP1 00000858: SWAP6 00000859: AND 0000085a: SWAP5 0000085b: DUP10 0000085c: SWAP5 0000085d: CALLER 0000085e: SWAP5 0000085f: PUSH32 0x84e1a43ea00f8f27f55c9ff6104a82757b92ce3e8355f9d766291e9b3b257a98 00000880: SWAP5 00000881: SWAP1 00000882: SWAP4 00000883: SWAP3 00000884: PUSH2 0x08ea 00000887: SWAP3 00000888: DUP10 00000889: SWAP3 0000088a: DUP7 0000088b: SWAP3 0000088c: SWAP1 0000088d: SWAP2 0000088e: DUP7 0000088f: SWAP2 00000890: DUP4 00000891: ADD 00000892: DUP3 00000893: DUP3 00000894: DUP1 00000895: ISZERO 00000896: PUSH2 0x08e0 00000899: JUMPI 0000089a: DUP1 0000089b: PUSH1 0x1f 0000089d: LT 0000089e: PUSH2 0x08b5 000008a1: JUMPI 000008a2: PUSH2 0x0100 000008a5: DUP1 000008a6: DUP4 000008a7: SLOAD 000008a8: DIV 000008a9: MUL 000008aa: DUP4 000008ab: MSTORE 000008ac: SWAP2 000008ad: PUSH1 0x20 000008af: ADD 000008b0: SWAP2 000008b1: PUSH2 0x08e0 000008b4: JUMP 000008b5: JUMPDEST 000008b6: DUP3 000008b7: ADD 000008b8: SWAP2 000008b9: SWAP1 000008ba: PUSH1 0x00 000008bc: MSTORE 000008bd: PUSH1 0x20 000008bf: PUSH1 0x00 000008c1: KECCAK256 000008c2: SWAP1 000008c3: JUMPDEST 000008c4: DUP2 000008c5: SLOAD 000008c6: DUP2 000008c7: MSTORE 000008c8: SWAP1 000008c9: PUSH1 0x01 000008cb: ADD 000008cc: SWAP1 000008cd: PUSH1 0x20 000008cf: ADD 000008d0: DUP1 000008d1: DUP4 000008d2: GT 000008d3: PUSH2 0x08c3 000008d6: JUMPI 000008d7: DUP3 000008d8: SWAP1 000008d9: SUB 000008da: PUSH1 0x1f 000008dc: AND 000008dd: DUP3 000008de: ADD 000008df: SWAP2 000008e0: JUMPDEST 000008e1: POP 000008e2: POP 000008e3: POP 000008e4: POP 000008e5: POP 000008e6: PUSH2 0x1446 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x40 000008ed: MLOAD 000008ee: PUSH2 0x08f9 000008f1: SWAP4 000008f2: SWAP3 000008f3: SWAP2 000008f4: SWAP1 000008f5: PUSH2 0x19ef 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH1 0x40 000008fc: MLOAD 000008fd: DUP1 000008fe: SWAP2 000008ff: SUB 00000900: SWAP1 00000901: LOG4 00000902: PUSH1 0x00 00000904: DUP5 00000905: DUP2 00000906: MSTORE 00000907: PUSH2 0x0106 0000090a: PUSH1 0x20 0000090c: MSTORE 0000090d: PUSH1 0x40 0000090f: DUP2 00000910: KECCAK256 00000911: DUP1 00000912: SLOAD 00000913: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000934: AND 00000935: DUP2 00000936: SSTORE 00000937: PUSH1 0x01 00000939: DUP2 0000093a: ADD 0000093b: DUP3 0000093c: SWAP1 0000093d: SSTORE 0000093e: SWAP1 0000093f: PUSH2 0x094b 00000942: PUSH1 0x02 00000944: DUP4 00000945: ADD 00000946: DUP3 00000947: PUSH2 0x159d 0000094a: JUMP 0000094b: JUMPDEST 0000094c: POP 0000094d: POP 0000094e: PUSH1 0x01 00000950: SWAP3 00000951: POP 00000952: JUMPDEST 00000953: POP 00000954: POP 00000955: SWAP2 00000956: SWAP1 00000957: POP 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH1 0x00 0000095c: CALLDATASIZE 0000095d: PUSH1 0x40 0000095f: MLOAD 00000960: DUP1 00000961: DUP4 00000962: DUP4 00000963: DUP1 00000964: DUP3 00000965: DUP5 00000966: CALLDATACOPY 00000967: DUP3 00000968: ADD 00000969: SWAP2 0000096a: POP 0000096b: POP 0000096c: SWAP3 0000096d: POP 0000096e: POP 0000096f: POP 00000970: PUSH1 0x40 00000972: MLOAD 00000973: DUP1 00000974: SWAP2 00000975: SUB 00000976: SWAP1 00000977: KECCAK256 00000978: PUSH2 0x0980 0000097b: DUP2 0000097c: PUSH2 0x104a 0000097f: JUMP 00000980: JUMPDEST 00000981: ISZERO 00000982: PUSH2 0x0684 00000985: JUMPI 00000986: PUSH1 0x00 00000988: SLOAD 00000989: PUSH1 0x01 0000098b: SLOAD 0000098c: LT 0000098d: ISZERO 0000098e: PUSH2 0x0996 00000991: JUMPI 00000992: PUSH1 0x00 00000994: DUP1 00000995: REVERT 00000996: JUMPDEST 00000997: PUSH2 0x099e 0000099a: PUSH2 0x139a 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 000009c0: DUP3 000009c1: PUSH1 0x00 000009c3: DUP2 000009c4: SWAP1 000009c5: SSTORE 000009c6: PUSH1 0x40 000009c8: MLOAD 000009c9: PUSH2 0x067b 000009cc: SWAP2 000009cd: SWAP1 000009ce: PUSH2 0x1958 000009d1: JUMP 000009d2: JUMPDEST 000009d3: PUSH1 0x00 000009d5: DUP1 000009d6: PUSH2 0x09de 000009d9: CALLER 000009da: PUSH2 0x0546 000009dd: JUMP 000009de: JUMPDEST 000009df: ISZERO 000009e0: ISZERO 000009e1: PUSH2 0x09e9 000009e4: JUMPI 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: REVERT 000009e9: JUMPDEST 000009ea: DUP3 000009eb: MLOAD 000009ec: ISZERO 000009ed: DUP1 000009ee: ISZERO 000009ef: PUSH2 0x09fc 000009f2: JUMPI 000009f3: POP 000009f4: PUSH2 0x09fc 000009f7: DUP5 000009f8: PUSH2 0x150d 000009fb: JUMP 000009fc: JUMPDEST 000009fd: DUP1 000009fe: PUSH2 0x0a09 00000a01: JUMPI 00000a02: POP 00000a03: PUSH1 0x00 00000a05: SLOAD 00000a06: PUSH1 0x01 00000a08: EQ 00000a09: JUMPDEST 00000a0a: ISZERO 00000a0b: PUSH2 0x0a70 00000a0e: JUMPI 00000a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a24: DUP6 00000a25: AND 00000a26: CALLER 00000a27: PUSH32 0xe29ff7f5df4c2cda15eeda171b5f5be7165ab9338482450aaff790fdeeffaae0 00000a48: DUP7 00000a49: DUP7 00000a4a: PUSH2 0x0a54 00000a4d: DUP11 00000a4e: DUP4 00000a4f: DUP4 00000a50: PUSH2 0x1446 00000a53: JUMP 00000a54: JUMPDEST 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: PUSH2 0x0a63 00000a5b: SWAP4 00000a5c: SWAP3 00000a5d: SWAP2 00000a5e: SWAP1 00000a5f: PUSH2 0x19c0 00000a62: JUMP 00000a63: JUMPDEST 00000a64: PUSH1 0x40 00000a66: MLOAD 00000a67: DUP1 00000a68: SWAP2 00000a69: SUB 00000a6a: SWAP1 00000a6b: LOG3 00000a6c: PUSH2 0x0c99 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: PUSH2 0x0107 00000a74: SLOAD 00000a75: PUSH1 0x40 00000a77: MLOAD 00000a78: PUSH1 0x00 00000a7a: SWAP2 00000a7b: CALLDATASIZE 00000a7c: SWAP2 00000a7d: PUSH1 0x20 00000a7f: ADD 00000a80: DUP1 00000a81: DUP5 00000a82: DUP5 00000a83: DUP1 00000a84: DUP3 00000a85: DUP5 00000a86: CALLDATACOPY 00000a87: DUP3 00000a88: ADD 00000a89: SWAP2 00000a8a: POP 00000a8b: POP 00000a8c: DUP3 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: SWAP4 00000a93: POP 00000a94: POP 00000a95: POP 00000a96: POP 00000a97: PUSH1 0x40 00000a99: MLOAD 00000a9a: PUSH1 0x20 00000a9c: DUP2 00000a9d: DUP4 00000a9e: SUB 00000a9f: SUB 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: SWAP1 00000aa3: PUSH1 0x40 00000aa5: MSTORE 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: DUP1 00000aaa: DUP3 00000aab: DUP1 00000aac: MLOAD 00000aad: SWAP1 00000aae: PUSH1 0x20 00000ab0: ADD 00000ab1: SWAP1 00000ab2: DUP1 00000ab3: DUP4 00000ab4: DUP4 00000ab5: JUMPDEST 00000ab6: PUSH1 0x20 00000ab8: DUP4 00000ab9: LT 00000aba: PUSH2 0x0af2 00000abd: JUMPI 00000abe: DUP1 00000abf: MLOAD 00000ac0: DUP3 00000ac1: MSTORE 00000ac2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000ae3: SWAP1 00000ae4: SWAP3 00000ae5: ADD 00000ae6: SWAP2 00000ae7: PUSH1 0x20 00000ae9: SWAP2 00000aea: DUP3 00000aeb: ADD 00000aec: SWAP2 00000aed: ADD 00000aee: PUSH2 0x0ab5 00000af1: JUMP 00000af2: JUMPDEST 00000af3: MLOAD 00000af4: DUP2 00000af5: MLOAD 00000af6: PUSH1 0x20 00000af8: SWAP4 00000af9: DUP5 00000afa: SUB 00000afb: PUSH2 0x0100 00000afe: EXP 00000aff: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000b20: ADD 00000b21: DUP1 00000b22: NOT 00000b23: SWAP1 00000b24: SWAP3 00000b25: AND 00000b26: SWAP2 00000b27: AND 00000b28: OR 00000b29: SWAP1 00000b2a: MSTORE 00000b2b: PUSH1 0x40 00000b2d: DUP1 00000b2e: MLOAD 00000b2f: SWAP3 00000b30: SWAP1 00000b31: SWAP5 00000b32: ADD 00000b33: DUP3 00000b34: SWAP1 00000b35: SUB 00000b36: SWAP1 00000b37: SWAP2 00000b38: KECCAK256 00000b39: PUSH1 0x00 00000b3b: DUP2 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH2 0x0106 00000b41: SWAP1 00000b42: SWAP3 00000b43: MSTORE 00000b44: SWAP3 00000b45: SWAP1 00000b46: KECCAK256 00000b47: DUP1 00000b48: SLOAD 00000b49: SWAP3 00000b4a: SWAP7 00000b4b: POP 00000b4c: SWAP5 00000b4d: POP 00000b4e: POP 00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b64: AND 00000b65: ISZERO 00000b66: SWAP2 00000b67: POP 00000b68: POP 00000b69: DUP1 00000b6a: ISZERO 00000b6b: PUSH2 0x0b76 00000b6e: JUMPI 00000b6f: POP 00000b70: PUSH1 0x01 00000b72: DUP2 00000b73: ADD 00000b74: SLOAD 00000b75: ISZERO 00000b76: JUMPDEST 00000b77: DUP1 00000b78: ISZERO 00000b79: PUSH2 0x0bb2 00000b7c: JUMPI 00000b7d: POP 00000b7e: PUSH1 0x02 00000b80: DUP1 00000b81: DUP3 00000b82: ADD 00000b83: SLOAD 00000b84: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000ba5: PUSH2 0x0100 00000ba8: PUSH1 0x01 00000baa: DUP4 00000bab: AND 00000bac: ISZERO 00000bad: MUL 00000bae: ADD 00000baf: AND 00000bb0: DIV 00000bb1: ISZERO 00000bb2: JUMPDEST 00000bb3: ISZERO 00000bb4: PUSH2 0x0c33 00000bb7: JUMPI 00000bb8: PUSH1 0x40 00000bba: DUP1 00000bbb: MLOAD 00000bbc: PUSH1 0x60 00000bbe: DUP2 00000bbf: ADD 00000bc0: DUP3 00000bc1: MSTORE 00000bc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd7: DUP8 00000bd8: AND 00000bd9: DUP1 00000bda: DUP3 00000bdb: MSTORE 00000bdc: PUSH1 0x20 00000bde: DUP1 00000bdf: DUP4 00000be0: ADD 00000be1: DUP9 00000be2: SWAP1 00000be3: MSTORE 00000be4: SWAP3 00000be5: DUP3 00000be6: ADD 00000be7: DUP7 00000be8: SWAP1 00000be9: MSTORE 00000bea: DUP4 00000beb: SLOAD 00000bec: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000c0d: AND 00000c0e: OR 00000c0f: DUP4 00000c10: SSTORE 00000c11: PUSH1 0x01 00000c13: DUP4 00000c14: ADD 00000c15: DUP7 00000c16: SWAP1 00000c17: SSTORE 00000c18: DUP5 00000c19: MLOAD 00000c1a: SWAP1 00000c1b: SWAP2 00000c1c: DUP4 00000c1d: SWAP2 00000c1e: PUSH2 0x0c2f 00000c21: SWAP2 00000c22: PUSH1 0x02 00000c24: DUP5 00000c25: ADD 00000c26: SWAP2 00000c27: SWAP1 00000c28: DUP9 00000c29: ADD 00000c2a: SWAP1 00000c2b: PUSH2 0x15e1 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: POP 00000c31: POP 00000c32: POP 00000c33: JUMPDEST 00000c34: PUSH2 0x0c3c 00000c37: DUP3 00000c38: PUSH2 0x075b 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: ISZERO 00000c3e: ISZERO 00000c3f: PUSH2 0x0c99 00000c42: JUMPI 00000c43: PUSH1 0x40 00000c45: MLOAD 00000c46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5b: DUP7 00000c5c: AND 00000c5d: SWAP1 00000c5e: DUP4 00000c5f: SWAP1 00000c60: CALLER 00000c61: SWAP1 00000c62: PUSH32 0xf2c2e5d8bc7a0cb09c4b887a02749bd70772b58131354b79ad678e740be48d66 00000c83: SWAP1 00000c84: PUSH2 0x0c90 00000c87: SWAP1 00000c88: DUP10 00000c89: SWAP1 00000c8a: DUP10 00000c8b: SWAP1 00000c8c: PUSH2 0x19a0 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: PUSH1 0x40 00000c93: MLOAD 00000c94: DUP1 00000c95: SWAP2 00000c96: SUB 00000c97: SWAP1 00000c98: LOG4 00000c99: JUMPDEST 00000c9a: POP 00000c9b: SWAP4 00000c9c: SWAP3 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH1 0x00 00000ca4: DUP1 00000ca5: CALLDATASIZE 00000ca6: PUSH1 0x40 00000ca8: MLOAD 00000ca9: DUP1 00000caa: DUP4 00000cab: DUP4 00000cac: DUP1 00000cad: DUP3 00000cae: DUP5 00000caf: CALLDATACOPY 00000cb0: DUP3 00000cb1: ADD 00000cb2: SWAP2 00000cb3: POP 00000cb4: POP 00000cb5: SWAP3 00000cb6: POP 00000cb7: POP 00000cb8: POP 00000cb9: PUSH1 0x40 00000cbb: MLOAD 00000cbc: DUP1 00000cbd: SWAP2 00000cbe: SUB 00000cbf: SWAP1 00000cc0: KECCAK256 00000cc1: PUSH2 0x0cc9 00000cc4: DUP2 00000cc5: PUSH2 0x104a 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: ISZERO 00000ccb: PUSH2 0x0dbd 00000cce: JUMPI 00000ccf: PUSH2 0x0cd7 00000cd2: DUP4 00000cd3: PUSH2 0x0546 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: ISZERO 00000cd9: PUSH2 0x0ce1 00000cdc: JUMPI 00000cdd: PUSH1 0x00 00000cdf: DUP1 00000ce0: REVERT 00000ce1: JUMPDEST 00000ce2: PUSH2 0x0cea 00000ce5: DUP5 00000ce6: PUSH2 0x0fe6 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: SWAP2 00000cec: POP 00000ced: DUP3 00000cee: PUSH1 0x05 00000cf0: DUP4 00000cf1: PUSH2 0x0100 00000cf4: DUP2 00000cf5: LT 00000cf6: PUSH2 0x0cfb 00000cf9: JUMPI 00000cfa: INVALID 00000cfb: JUMPDEST 00000cfc: ADD 00000cfd: DUP1 00000cfe: SLOAD 00000cff: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000d20: AND 00000d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d36: SWAP3 00000d37: DUP4 00000d38: AND 00000d39: OR 00000d3a: SWAP1 00000d3b: SSTORE 00000d3c: DUP4 00000d3d: DUP2 00000d3e: AND 00000d3f: PUSH1 0x00 00000d41: SWAP1 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH2 0x0105 00000d47: PUSH1 0x20 00000d49: MSTORE 00000d4a: PUSH1 0x40 00000d4c: DUP1 00000d4d: DUP3 00000d4e: KECCAK256 00000d4f: DUP6 00000d50: SWAP1 00000d51: SSTORE 00000d52: SWAP2 00000d53: DUP7 00000d54: AND 00000d55: DUP2 00000d56: MSTORE 00000d57: SWAP1 00000d58: DUP2 00000d59: KECCAK256 00000d5a: SSTORE 00000d5b: PUSH2 0x0d62 00000d5e: PUSH2 0x139a 00000d61: JUMP 00000d62: JUMPDEST 00000d63: DUP3 00000d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d79: AND 00000d7a: DUP5 00000d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d90: AND 00000d91: PUSH32 0x275720694d99bebae3e30a093350471a8a15db9c771974d841c724b07a55f392 00000db2: PUSH1 0x40 00000db4: MLOAD 00000db5: PUSH1 0x40 00000db7: MLOAD 00000db8: DUP1 00000db9: SWAP2 00000dba: SUB 00000dbb: SWAP1 00000dbc: LOG3 00000dbd: JUMPDEST 00000dbe: POP 00000dbf: POP 00000dc0: POP 00000dc1: POP 00000dc2: JUMP 00000dc3: JUMPDEST 00000dc4: PUSH2 0x0105 00000dc7: PUSH1 0x20 00000dc9: MSTORE 00000dca: PUSH1 0x00 00000dcc: SWAP1 00000dcd: DUP2 00000dce: MSTORE 00000dcf: PUSH1 0x40 00000dd1: SWAP1 00000dd2: KECCAK256 00000dd3: SLOAD 00000dd4: DUP2 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: PUSH1 0x00 00000dd9: CALLDATASIZE 00000dda: PUSH1 0x40 00000ddc: MLOAD 00000ddd: DUP1 00000dde: DUP4 00000ddf: DUP4 00000de0: DUP1 00000de1: DUP3 00000de2: DUP5 00000de3: CALLDATACOPY 00000de4: DUP3 00000de5: ADD 00000de6: SWAP2 00000de7: POP 00000de8: POP 00000de9: SWAP3 00000dea: POP 00000deb: POP 00000dec: POP 00000ded: PUSH1 0x40 00000def: MLOAD 00000df0: DUP1 00000df1: SWAP2 00000df2: SUB 00000df3: SWAP1 00000df4: KECCAK256 00000df5: PUSH2 0x0dfd 00000df8: DUP2 00000df9: PUSH2 0x104a 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: ISZERO 00000dff: PUSH2 0x0684 00000e02: JUMPI 00000e03: PUSH2 0x0e0a 00000e06: PUSH2 0x139a 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH32 0x31adeea0047ecd038070d2a2c068a63369e5da2093913417dad947c722e66c9f 00000e2c: DUP3 00000e2d: PUSH1 0x02 00000e2f: DUP2 00000e30: SWAP1 00000e31: SSTORE 00000e32: PUSH1 0x40 00000e34: MLOAD 00000e35: PUSH2 0x067b 00000e38: SWAP2 00000e39: SWAP1 00000e3a: PUSH2 0x1958 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: PUSH1 0x00 00000e41: SLOAD 00000e42: DUP2 00000e43: JUMP 00000e44: JUMPDEST 00000e45: PUSH1 0x00 00000e47: DUP1 00000e48: PUSH2 0x0e50 00000e4b: CALLER 00000e4c: PUSH2 0x0fe6 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH1 0x00 00000e53: DUP5 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH2 0x0106 00000e59: PUSH1 0x20 00000e5b: MSTORE 00000e5c: PUSH1 0x40 00000e5e: DUP2 00000e5f: KECCAK256 00000e60: PUSH1 0x04 00000e62: DUP2 00000e63: ADD 00000e64: SLOAD 00000e65: PUSH1 0x02 00000e67: SWAP4 00000e68: SWAP1 00000e69: SWAP4 00000e6a: EXP 00000e6b: SWAP5 00000e6c: POP 00000e6d: SWAP3 00000e6e: POP 00000e6f: SWAP1 00000e70: DUP4 00000e71: AND 00000e72: GT 00000e73: ISZERO 00000e74: PUSH2 0x0ebb 00000e77: JUMPI 00000e78: PUSH1 0x03 00000e7a: DUP2 00000e7b: ADD 00000e7c: DUP1 00000e7d: SLOAD 00000e7e: PUSH1 0x01 00000e80: ADD 00000e81: SWAP1 00000e82: SSTORE 00000e83: PUSH1 0x04 00000e85: DUP2 00000e86: ADD 00000e87: DUP1 00000e88: SLOAD 00000e89: DUP4 00000e8a: NOT 00000e8b: AND 00000e8c: SWAP1 00000e8d: SSTORE 00000e8e: PUSH1 0x40 00000e90: MLOAD 00000e91: DUP4 00000e92: SWAP1 00000e93: CALLER 00000e94: SWAP1 00000e95: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 00000eb6: SWAP1 00000eb7: PUSH1 0x00 00000eb9: SWAP1 00000eba: LOG3 00000ebb: JUMPDEST 00000ebc: POP 00000ebd: POP 00000ebe: POP 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x00 00000ec3: PUSH2 0x0ecb 00000ec6: DUP3 00000ec7: PUSH2 0x0fe6 00000eca: JUMP 00000ecb: JUMPDEST 00000ecc: PUSH1 0x00 00000ece: DUP5 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH2 0x0106 00000ed4: PUSH1 0x20 00000ed6: MSTORE 00000ed7: PUSH1 0x40 00000ed9: SWAP1 00000eda: KECCAK256 00000edb: PUSH1 0x04 00000edd: ADD 00000ede: SLOAD 00000edf: PUSH1 0x02 00000ee1: SWAP2 00000ee2: SWAP1 00000ee3: SWAP2 00000ee4: EXP 00000ee5: AND 00000ee6: ISZERO 00000ee7: ISZERO 00000ee8: SWAP1 00000ee9: POP 00000eea: JUMPDEST 00000eeb: SWAP3 00000eec: SWAP2 00000eed: POP 00000eee: POP 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: PUSH1 0x00 00000ef3: DUP1 00000ef4: CALLDATASIZE 00000ef5: PUSH1 0x40 00000ef7: MLOAD 00000ef8: DUP1 00000ef9: DUP4 00000efa: DUP4 00000efb: DUP1 00000efc: DUP3 00000efd: DUP5 00000efe: CALLDATACOPY 00000eff: DUP3 00000f00: ADD 00000f01: SWAP2 00000f02: POP 00000f03: POP 00000f04: SWAP3 00000f05: POP 00000f06: POP 00000f07: POP 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: DUP1 00000f0c: SWAP2 00000f0d: SUB 00000f0e: SWAP1 00000f0f: KECCAK256 00000f10: PUSH2 0x0f18 00000f13: DUP2 00000f14: PUSH2 0x104a 00000f17: JUMP 00000f18: JUMPDEST 00000f19: ISZERO 00000f1a: PUSH2 0x0ebb 00000f1d: JUMPI 00000f1e: PUSH1 0x00 00000f20: SLOAD 00000f21: PUSH1 0x01 00000f23: SLOAD 00000f24: GT 00000f25: PUSH2 0x0f2d 00000f28: JUMPI 00000f29: PUSH1 0x00 00000f2b: DUP1 00000f2c: REVERT 00000f2d: JUMPDEST 00000f2e: PUSH2 0x0f36 00000f31: DUP4 00000f32: PUSH2 0x0fe6 00000f35: JUMP 00000f36: JUMPDEST 00000f37: SWAP2 00000f38: POP 00000f39: PUSH1 0x05 00000f3b: DUP3 00000f3c: PUSH2 0x0100 00000f3f: DUP2 00000f40: LT 00000f41: PUSH2 0x0f46 00000f44: JUMPI 00000f45: INVALID 00000f46: JUMPDEST 00000f47: ADD 00000f48: DUP1 00000f49: SLOAD 00000f4a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000f6b: AND 00000f6c: SWAP1 00000f6d: SSTORE 00000f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f83: DUP4 00000f84: AND 00000f85: PUSH1 0x00 00000f87: SWAP1 00000f88: DUP2 00000f89: MSTORE 00000f8a: PUSH2 0x0105 00000f8d: PUSH1 0x20 00000f8f: MSTORE 00000f90: PUSH1 0x40 00000f92: DUP2 00000f93: KECCAK256 00000f94: SSTORE 00000f95: PUSH2 0x0f9c 00000f98: PUSH2 0x139a 00000f9b: JUMP 00000f9c: JUMPDEST 00000f9d: PUSH2 0x0fa4 00000fa0: PUSH2 0x117f 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH32 0x272215cde179041f7a3e8da6f8aabc7c8fc1336ccd73aba698cb825a80d3be48 00000fc6: DUP4 00000fc7: PUSH1 0x40 00000fc9: MLOAD 00000fca: PUSH2 0x0fd3 00000fcd: SWAP2 00000fce: SWAP1 00000fcf: PUSH2 0x193c 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: PUSH1 0x40 00000fd6: MLOAD 00000fd7: DUP1 00000fd8: SWAP2 00000fd9: SUB 00000fda: SWAP1 00000fdb: LOG1 00000fdc: POP 00000fdd: POP 00000fde: POP 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x03 00000fe3: SLOAD 00000fe4: DUP2 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffc: DUP2 00000ffd: AND 00000ffe: PUSH1 0x00 00001000: SWAP1 00001001: DUP2 00001002: MSTORE 00001003: PUSH2 0x0105 00001006: PUSH1 0x20 00001008: MSTORE 00001009: PUSH1 0x40 0000100b: DUP2 0000100c: KECCAK256 0000100d: SLOAD 0000100e: SWAP1 0000100f: DUP2 00001010: GT 00001011: PUSH2 0x056f 00001014: JUMPI 00001015: PUSH1 0x00 00001017: DUP1 00001018: REVERT 00001019: JUMPDEST 0000101a: PUSH1 0x00 0000101c: PUSH1 0x05 0000101e: PUSH1 0x01 00001020: DUP4 00001021: ADD 00001022: PUSH2 0x0100 00001025: DUP2 00001026: LT 00001027: PUSH2 0x102c 0000102a: JUMPI 0000102b: INVALID 0000102c: JUMPDEST 0000102d: ADD 0000102e: SLOAD 0000102f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001044: AND 00001045: SWAP3 00001046: SWAP2 00001047: POP 00001048: POP 00001049: JUMP 0000104a: JUMPDEST 0000104b: PUSH1 0x00 0000104d: DUP2 0000104e: DUP2 0000104f: MSTORE 00001050: PUSH2 0x0106 00001053: PUSH1 0x20 00001055: MSTORE 00001056: PUSH1 0x40 00001058: DUP2 00001059: KECCAK256 0000105a: PUSH1 0x03 0000105c: DUP2 0000105d: ADD 0000105e: SLOAD 0000105f: DUP3 00001060: SWAP1 00001061: ISZERO 00001062: ISZERO 00001063: PUSH2 0x10b0 00001066: JUMPI 00001067: PUSH1 0x00 00001069: DUP1 0000106a: SLOAD 0000106b: PUSH1 0x03 0000106d: DUP5 0000106e: ADD 0000106f: SSTORE 00001070: PUSH1 0x04 00001072: DUP4 00001073: ADD 00001074: DUP2 00001075: SWAP1 00001076: SSTORE 00001077: PUSH2 0x0107 0000107a: DUP1 0000107b: SLOAD 0000107c: PUSH1 0x05 0000107e: DUP6 0000107f: ADD 00001080: DUP2 00001081: SWAP1 00001082: SSTORE 00001083: PUSH1 0x01 00001085: DUP2 00001086: ADD 00001087: DUP3 00001088: SSTORE 00001089: SWAP2 0000108a: MSTORE 0000108b: PUSH32 0x47c4908e245f386bfc1825973249847f4053a761ddb4880ad63c323a7b5a2a25 000010ac: ADD 000010ad: DUP5 000010ae: SWAP1 000010af: SSTORE 000010b0: JUMPDEST 000010b1: PUSH2 0x10b9 000010b4: CALLER 000010b5: PUSH2 0x0fe6 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH1 0x04 000010bc: DUP4 000010bd: ADD 000010be: SLOAD 000010bf: PUSH1 0x02 000010c1: SWAP2 000010c2: SWAP1 000010c3: SWAP2 000010c4: EXP 000010c5: SWAP2 000010c6: POP 000010c7: DUP2 000010c8: AND 000010c9: ISZERO 000010ca: ISZERO 000010cb: PUSH2 0x0952 000010ce: JUMPI 000010cf: PUSH1 0x40 000010d1: MLOAD 000010d2: DUP5 000010d3: SWAP1 000010d4: CALLER 000010d5: SWAP1 000010d6: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 000010f7: SWAP1 000010f8: PUSH1 0x00 000010fa: SWAP1 000010fb: LOG3 000010fc: PUSH1 0x03 000010fe: DUP3 000010ff: ADD 00001100: SLOAD 00001101: PUSH1 0x01 00001103: LT 00001104: PUSH2 0x1144 00001107: JUMPI 00001108: PUSH2 0x0107 0000110b: DUP3 0000110c: PUSH1 0x05 0000110e: ADD 0000110f: SLOAD 00001110: DUP2 00001111: SLOAD 00001112: DUP2 00001113: LT 00001114: ISZERO 00001115: ISZERO 00001116: PUSH2 0x111b 00001119: JUMPI 0000111a: INVALID 0000111b: JUMPDEST 0000111c: PUSH1 0x00 0000111e: SWAP2 0000111f: DUP3 00001120: MSTORE 00001121: PUSH1 0x20 00001123: DUP3 00001124: KECCAK256 00001125: ADD 00001126: DUP2 00001127: SWAP1 00001128: SSTORE 00001129: PUSH1 0x03 0000112b: DUP4 0000112c: ADD 0000112d: DUP2 0000112e: SWAP1 0000112f: SSTORE 00001130: PUSH1 0x04 00001132: DUP4 00001133: ADD 00001134: DUP2 00001135: SWAP1 00001136: SSTORE 00001137: PUSH1 0x05 00001139: DUP4 0000113a: ADD 0000113b: SSTORE 0000113c: PUSH1 0x01 0000113e: SWAP3 0000113f: POP 00001140: PUSH2 0x0952 00001143: JUMP 00001144: JUMPDEST 00001145: PUSH1 0x03 00001147: DUP3 00001148: ADD 00001149: DUP1 0000114a: SLOAD 0000114b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000116c: ADD 0000116d: SWAP1 0000116e: SSTORE 0000116f: PUSH1 0x04 00001171: DUP3 00001172: ADD 00001173: DUP1 00001174: SLOAD 00001175: DUP3 00001176: OR 00001177: SWAP1 00001178: SSTORE 00001179: POP 0000117a: POP 0000117b: SWAP2 0000117c: SWAP1 0000117d: POP 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x01 00001182: JUMPDEST 00001183: PUSH1 0x01 00001185: SLOAD 00001186: DUP2 00001187: LT 00001188: ISZERO 00001189: PUSH2 0x074c 0000118c: JUMPI 0000118d: JUMPDEST 0000118e: PUSH1 0x01 00001190: SLOAD 00001191: DUP2 00001192: LT 00001193: DUP1 00001194: ISZERO 00001195: PUSH2 0x11c2 00001198: JUMPI 00001199: POP 0000119a: PUSH1 0x05 0000119c: DUP2 0000119d: PUSH2 0x0100 000011a0: DUP2 000011a1: LT 000011a2: PUSH2 0x11a7 000011a5: JUMPI 000011a6: INVALID 000011a7: JUMPDEST 000011a8: ADD 000011a9: SLOAD 000011aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bf: AND 000011c0: ISZERO 000011c1: ISZERO 000011c2: JUMPDEST 000011c3: ISZERO 000011c4: PUSH2 0x11cf 000011c7: JUMPI 000011c8: PUSH1 0x01 000011ca: ADD 000011cb: PUSH2 0x118d 000011ce: JUMP 000011cf: JUMPDEST 000011d0: PUSH1 0x01 000011d2: DUP1 000011d3: SLOAD 000011d4: GT 000011d5: DUP1 000011d6: ISZERO 000011d7: PUSH2 0x1206 000011da: JUMPI 000011db: POP 000011dc: PUSH1 0x01 000011de: SLOAD 000011df: PUSH1 0x05 000011e1: SWAP1 000011e2: PUSH2 0x0100 000011e5: DUP2 000011e6: LT 000011e7: PUSH2 0x11ec 000011ea: JUMPI 000011eb: INVALID 000011ec: JUMPDEST 000011ed: ADD 000011ee: SLOAD 000011ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001204: AND 00001205: ISZERO 00001206: JUMPDEST 00001207: ISZERO 00001208: PUSH2 0x1238 0000120b: JUMPI 0000120c: PUSH1 0x01 0000120e: DUP1 0000120f: SLOAD 00001210: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001231: ADD 00001232: SWAP1 00001233: SSTORE 00001234: PUSH2 0x11cf 00001237: JUMP 00001238: JUMPDEST 00001239: PUSH1 0x01 0000123b: SLOAD 0000123c: DUP2 0000123d: LT 0000123e: DUP1 0000123f: ISZERO 00001240: PUSH2 0x1270 00001243: JUMPI 00001244: POP 00001245: PUSH1 0x01 00001247: SLOAD 00001248: PUSH1 0x05 0000124a: SWAP1 0000124b: PUSH2 0x0100 0000124e: DUP2 0000124f: LT 00001250: PUSH2 0x1255 00001253: JUMPI 00001254: INVALID 00001255: JUMPDEST 00001256: ADD 00001257: SLOAD 00001258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126d: AND 0000126e: ISZERO 0000126f: ISZERO 00001270: JUMPDEST 00001271: DUP1 00001272: ISZERO 00001273: PUSH2 0x129f 00001276: JUMPI 00001277: POP 00001278: PUSH1 0x05 0000127a: DUP2 0000127b: PUSH2 0x0100 0000127e: DUP2 0000127f: LT 00001280: PUSH2 0x1285 00001283: JUMPI 00001284: INVALID 00001285: JUMPDEST 00001286: ADD 00001287: SLOAD 00001288: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129d: AND 0000129e: ISZERO 0000129f: JUMPDEST 000012a0: ISZERO 000012a1: PUSH2 0x1395 000012a4: JUMPI 000012a5: PUSH1 0x01 000012a7: SLOAD 000012a8: PUSH1 0x05 000012aa: SWAP1 000012ab: PUSH2 0x0100 000012ae: DUP2 000012af: LT 000012b0: PUSH2 0x12b5 000012b3: JUMPI 000012b4: INVALID 000012b5: JUMPDEST 000012b6: ADD 000012b7: SLOAD 000012b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012cd: AND 000012ce: PUSH1 0x05 000012d0: DUP3 000012d1: PUSH2 0x0100 000012d4: DUP2 000012d5: LT 000012d6: PUSH2 0x12db 000012d9: JUMPI 000012da: INVALID 000012db: JUMPDEST 000012dc: ADD 000012dd: DUP1 000012de: SLOAD 000012df: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001300: AND 00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001316: SWAP3 00001317: SWAP1 00001318: SWAP3 00001319: AND 0000131a: SWAP2 0000131b: SWAP1 0000131c: SWAP2 0000131d: OR 0000131e: SWAP1 0000131f: SSTORE 00001320: DUP1 00001321: PUSH2 0x0105 00001324: PUSH1 0x00 00001326: PUSH1 0x05 00001328: DUP4 00001329: PUSH2 0x0100 0000132c: DUP2 0000132d: LT 0000132e: PUSH2 0x1333 00001331: JUMPI 00001332: INVALID 00001333: JUMPDEST 00001334: ADD 00001335: SLOAD 00001336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134b: AND 0000134c: DUP2 0000134d: MSTORE 0000134e: PUSH1 0x20 00001350: DUP2 00001351: ADD 00001352: SWAP2 00001353: SWAP1 00001354: SWAP2 00001355: MSTORE 00001356: PUSH1 0x40 00001358: ADD 00001359: PUSH1 0x00 0000135b: KECCAK256 0000135c: SSTORE 0000135d: PUSH1 0x01 0000135f: SLOAD 00001360: PUSH1 0x05 00001362: SWAP1 00001363: PUSH2 0x0100 00001366: DUP2 00001367: LT 00001368: PUSH2 0x136d 0000136b: JUMPI 0000136c: INVALID 0000136d: JUMPDEST 0000136e: ADD 0000136f: DUP1 00001370: SLOAD 00001371: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001392: AND 00001393: SWAP1 00001394: SSTORE 00001395: JUMPDEST 00001396: PUSH2 0x1182 00001399: JUMP 0000139a: JUMPDEST 0000139b: PUSH1 0x00 0000139d: JUMPDEST 0000139e: PUSH2 0x0107 000013a1: SLOAD 000013a2: DUP2 000013a3: LT 000013a4: ISZERO 000013a5: PUSH2 0x1439 000013a8: JUMPI 000013a9: PUSH2 0x0106 000013ac: PUSH1 0x00 000013ae: PUSH2 0x0107 000013b1: DUP4 000013b2: DUP2 000013b3: SLOAD 000013b4: DUP2 000013b5: LT 000013b6: ISZERO 000013b7: ISZERO 000013b8: PUSH2 0x13bd 000013bb: JUMPI 000013bc: INVALID 000013bd: JUMPDEST 000013be: PUSH1 0x00 000013c0: SWAP2 000013c1: DUP3 000013c2: MSTORE 000013c3: PUSH1 0x20 000013c5: DUP1 000013c6: DUP4 000013c7: KECCAK256 000013c8: SWAP1 000013c9: SWAP2 000013ca: ADD 000013cb: SLOAD 000013cc: DUP4 000013cd: MSTORE 000013ce: DUP3 000013cf: ADD 000013d0: SWAP3 000013d1: SWAP1 000013d2: SWAP3 000013d3: MSTORE 000013d4: PUSH1 0x40 000013d6: ADD 000013d7: DUP2 000013d8: KECCAK256 000013d9: DUP1 000013da: SLOAD 000013db: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000013fc: AND 000013fd: DUP2 000013fe: SSTORE 000013ff: PUSH1 0x01 00001401: DUP2 00001402: ADD 00001403: DUP3 00001404: SWAP1 00001405: SSTORE 00001406: SWAP1 00001407: DUP2 00001408: DUP2 00001409: PUSH2 0x1415 0000140c: PUSH1 0x02 0000140e: DUP4 0000140f: ADD 00001410: DUP3 00001411: PUSH2 0x159d 00001414: JUMP 00001415: JUMPDEST 00001416: POP 00001417: POP 00001418: PUSH1 0x00 0000141a: PUSH1 0x03 0000141c: DUP4 0000141d: ADD 0000141e: DUP2 0000141f: SWAP1 00001420: SSTORE 00001421: PUSH1 0x04 00001423: DUP4 00001424: ADD 00001425: DUP2 00001426: SWAP1 00001427: SSTORE 00001428: PUSH1 0x05 0000142a: SWAP1 0000142b: SWAP3 0000142c: ADD 0000142d: SWAP2 0000142e: SWAP1 0000142f: SWAP2 00001430: SSTORE 00001431: POP 00001432: PUSH1 0x01 00001434: ADD 00001435: PUSH2 0x139d 00001438: JUMP 00001439: JUMPDEST 0000143a: PUSH2 0x074c 0000143d: PUSH2 0x0107 00001440: PUSH1 0x00 00001442: PUSH2 0x165f 00001445: JUMP 00001446: JUMPDEST 00001447: PUSH1 0x00 00001449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145e: DUP5 0000145f: AND 00001460: ISZERO 00001461: ISZERO 00001462: PUSH2 0x1476 00001465: JUMPI 00001466: PUSH2 0x146f 00001469: DUP4 0000146a: DUP4 0000146b: PUSH2 0x156a 0000146e: JUMP 0000146f: JUMPDEST 00001470: SWAP1 00001471: POP 00001472: PUSH2 0x1506 00001475: JUMP 00001476: JUMPDEST 00001477: DUP4 00001478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148d: AND 0000148e: DUP4 0000148f: DUP4 00001490: PUSH1 0x40 00001492: MLOAD 00001493: DUP1 00001494: DUP3 00001495: DUP1 00001496: MLOAD 00001497: SWAP1 00001498: PUSH1 0x20 0000149a: ADD 0000149b: SWAP1 0000149c: DUP1 0000149d: DUP4 0000149e: DUP4 0000149f: PUSH1 0x00 000014a1: JUMPDEST 000014a2: DUP4 000014a3: DUP2 000014a4: LT 000014a5: ISZERO 000014a6: PUSH2 0x14b9 000014a9: JUMPI 000014aa: DUP2 000014ab: DUP2 000014ac: ADD 000014ad: MLOAD 000014ae: DUP4 000014af: DUP3 000014b0: ADD 000014b1: MSTORE 000014b2: PUSH1 0x20 000014b4: ADD 000014b5: PUSH2 0x14a1 000014b8: JUMP 000014b9: JUMPDEST 000014ba: POP 000014bb: POP 000014bc: POP 000014bd: POP 000014be: SWAP1 000014bf: POP 000014c0: SWAP1 000014c1: DUP2 000014c2: ADD 000014c3: SWAP1 000014c4: PUSH1 0x1f 000014c6: AND 000014c7: DUP1 000014c8: ISZERO 000014c9: PUSH2 0x14e6 000014cc: JUMPI 000014cd: DUP1 000014ce: DUP3 000014cf: SUB 000014d0: DUP1 000014d1: MLOAD 000014d2: PUSH1 0x01 000014d4: DUP4 000014d5: PUSH1 0x20 000014d7: SUB 000014d8: PUSH2 0x0100 000014db: EXP 000014dc: SUB 000014dd: NOT 000014de: AND 000014df: DUP2 000014e0: MSTORE 000014e1: PUSH1 0x20 000014e3: ADD 000014e4: SWAP2 000014e5: POP 000014e6: JUMPDEST 000014e7: POP 000014e8: SWAP2 000014e9: POP 000014ea: POP 000014eb: PUSH1 0x00 000014ed: PUSH1 0x40 000014ef: MLOAD 000014f0: DUP1 000014f1: DUP4 000014f2: SUB 000014f3: DUP2 000014f4: DUP6 000014f5: DUP8 000014f6: GAS 000014f7: CALL 000014f8: SWAP3 000014f9: POP 000014fa: POP 000014fb: POP 000014fc: ISZERO 000014fd: ISZERO 000014fe: PUSH2 0x1506 00001501: JUMPI 00001502: PUSH1 0x00 00001504: DUP1 00001505: REVERT 00001506: JUMPDEST 00001507: SWAP4 00001508: SWAP3 00001509: POP 0000150a: POP 0000150b: POP 0000150c: JUMP 0000150d: JUMPDEST 0000150e: PUSH1 0x00 00001510: DUP1 00001511: PUSH1 0x04 00001513: SLOAD 00001514: PUSH2 0x151b 00001517: PUSH2 0x1583 0000151a: JUMP 0000151b: JUMPDEST 0000151c: GT 0000151d: ISZERO 0000151e: PUSH2 0x1532 00001521: JUMPI 00001522: PUSH1 0x00 00001524: PUSH1 0x03 00001526: SSTORE 00001527: PUSH2 0x152e 0000152a: PUSH2 0x1583 0000152d: JUMP 0000152e: JUMPDEST 0000152f: PUSH1 0x04 00001531: SSTORE 00001532: JUMPDEST 00001533: PUSH1 0x03 00001535: SLOAD 00001536: PUSH2 0x1545 00001539: SWAP1 0000153a: DUP5 0000153b: PUSH4 0xffffffff 00001540: PUSH2 0x158d 00001543: AND 00001544: JUMP 00001545: JUMPDEST 00001546: PUSH1 0x02 00001548: SLOAD 00001549: SWAP1 0000154a: SWAP2 0000154b: POP 0000154c: DUP2 0000154d: GT 0000154e: PUSH2 0x155f 00001551: JUMPI 00001552: PUSH1 0x03 00001554: DUP2 00001555: SWAP1 00001556: SSTORE 00001557: PUSH1 0x01 00001559: SWAP2 0000155a: POP 0000155b: PUSH2 0x1564 0000155e: JUMP 0000155f: JUMPDEST 00001560: PUSH1 0x00 00001562: SWAP2 00001563: POP 00001564: JUMPDEST 00001565: POP 00001566: SWAP2 00001567: SWAP1 00001568: POP 00001569: JUMP 0000156a: JUMPDEST 0000156b: PUSH1 0x00 0000156d: DUP2 0000156e: MLOAD 0000156f: PUSH1 0x20 00001571: DUP4 00001572: ADD 00001573: DUP5 00001574: CREATE 00001575: SWAP1 00001576: POP 00001577: DUP1 00001578: EXTCODESIZE 00001579: ISZERO 0000157a: ISZERO 0000157b: PUSH2 0x0eea 0000157e: JUMPI 0000157f: PUSH1 0x00 00001581: DUP1 00001582: REVERT 00001583: JUMPDEST 00001584: PUSH3 0x015180 00001588: TIMESTAMP 00001589: DIV 0000158a: JUMPDEST 0000158b: SWAP1 0000158c: JUMP 0000158d: JUMPDEST 0000158e: DUP1 0000158f: DUP3 00001590: ADD 00001591: DUP3 00001592: DUP2 00001593: LT 00001594: ISZERO 00001595: PUSH2 0x0eea 00001598: JUMPI 00001599: PUSH1 0x00 0000159b: DUP1 0000159c: REVERT 0000159d: JUMPDEST 0000159e: POP 0000159f: DUP1 000015a0: SLOAD 000015a1: PUSH1 0x01 000015a3: DUP2 000015a4: PUSH1 0x01 000015a6: AND 000015a7: ISZERO 000015a8: PUSH2 0x0100 000015ab: MUL 000015ac: SUB 000015ad: AND 000015ae: PUSH1 0x02 000015b0: SWAP1 000015b1: DIV 000015b2: PUSH1 0x00 000015b4: DUP3 000015b5: SSTORE 000015b6: DUP1 000015b7: PUSH1 0x1f 000015b9: LT 000015ba: PUSH2 0x15c3 000015bd: JUMPI 000015be: POP 000015bf: PUSH2 0x074c 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH1 0x1f 000015c6: ADD 000015c7: PUSH1 0x20 000015c9: SWAP1 000015ca: DIV 000015cb: SWAP1 000015cc: PUSH1 0x00 000015ce: MSTORE 000015cf: PUSH1 0x20 000015d1: PUSH1 0x00 000015d3: KECCAK256 000015d4: SWAP1 000015d5: DUP2 000015d6: ADD 000015d7: SWAP1 000015d8: PUSH2 0x074c 000015db: SWAP2 000015dc: SWAP1 000015dd: PUSH2 0x1679 000015e0: JUMP 000015e1: JUMPDEST 000015e2: DUP3 000015e3: DUP1 000015e4: SLOAD 000015e5: PUSH1 0x01 000015e7: DUP2 000015e8: PUSH1 0x01 000015ea: AND 000015eb: ISZERO 000015ec: PUSH2 0x0100 000015ef: MUL 000015f0: SUB 000015f1: AND 000015f2: PUSH1 0x02 000015f4: SWAP1 000015f5: DIV 000015f6: SWAP1 000015f7: PUSH1 0x00 000015f9: MSTORE 000015fa: PUSH1 0x20 000015fc: PUSH1 0x00 000015fe: KECCAK256 000015ff: SWAP1 00001600: PUSH1 0x1f 00001602: ADD 00001603: PUSH1 0x20 00001605: SWAP1 00001606: DIV 00001607: DUP2 00001608: ADD 00001609: SWAP3 0000160a: DUP3 0000160b: PUSH1 0x1f 0000160d: LT 0000160e: PUSH2 0x1622 00001611: JUMPI 00001612: DUP1 00001613: MLOAD 00001614: PUSH1 0xff 00001616: NOT 00001617: AND 00001618: DUP4 00001619: DUP1 0000161a: ADD 0000161b: OR 0000161c: DUP6 0000161d: SSTORE 0000161e: PUSH2 0x164f 00001621: JUMP 00001622: JUMPDEST 00001623: DUP3 00001624: DUP1 00001625: ADD 00001626: PUSH1 0x01 00001628: ADD 00001629: DUP6 0000162a: SSTORE 0000162b: DUP3 0000162c: ISZERO 0000162d: PUSH2 0x164f 00001630: JUMPI 00001631: SWAP2 00001632: DUP3 00001633: ADD 00001634: JUMPDEST 00001635: DUP3 00001636: DUP2 00001637: GT 00001638: ISZERO 00001639: PUSH2 0x164f 0000163c: JUMPI 0000163d: DUP3 0000163e: MLOAD 0000163f: DUP3 00001640: SSTORE 00001641: SWAP2 00001642: PUSH1 0x20 00001644: ADD 00001645: SWAP2 00001646: SWAP1 00001647: PUSH1 0x01 00001649: ADD 0000164a: SWAP1 0000164b: PUSH2 0x1634 0000164e: JUMP 0000164f: JUMPDEST 00001650: POP 00001651: PUSH2 0x165b 00001654: SWAP3 00001655: SWAP2 00001656: POP 00001657: PUSH2 0x1679 0000165a: JUMP 0000165b: JUMPDEST 0000165c: POP 0000165d: SWAP1 0000165e: JUMP 0000165f: JUMPDEST 00001660: POP 00001661: DUP1 00001662: SLOAD 00001663: PUSH1 0x00 00001665: DUP3 00001666: SSTORE 00001667: SWAP1 00001668: PUSH1 0x00 0000166a: MSTORE 0000166b: PUSH1 0x20 0000166d: PUSH1 0x00 0000166f: KECCAK256 00001670: SWAP1 00001671: DUP2 00001672: ADD 00001673: SWAP1 00001674: PUSH2 0x074c 00001677: SWAP2 00001678: SWAP1 00001679: JUMPDEST 0000167a: PUSH2 0x158a 0000167d: SWAP2 0000167e: SWAP1 0000167f: JUMPDEST 00001680: DUP1 00001681: DUP3 00001682: GT 00001683: ISZERO 00001684: PUSH2 0x165b 00001687: JUMPI 00001688: PUSH1 0x00 0000168a: DUP2 0000168b: SSTORE 0000168c: PUSH1 0x01 0000168e: ADD 0000168f: PUSH2 0x167f 00001692: JUMP 00001693: JUMPDEST 00001694: PUSH1 0x00 00001696: PUSH2 0x1506 00001699: DUP3 0000169a: CALLDATALOAD 0000169b: PUSH2 0x1a8c 0000169e: JUMP 0000169f: JUMPDEST 000016a0: PUSH1 0x00 000016a2: PUSH2 0x1506 000016a5: DUP3 000016a6: CALLDATALOAD 000016a7: PUSH2 0x158a 000016aa: JUMP 000016ab: JUMPDEST 000016ac: PUSH1 0x00 000016ae: PUSH1 0x1f 000016b0: DUP3 000016b1: ADD 000016b2: DUP4 000016b3: SGT 000016b4: PUSH2 0x16bc 000016b7: JUMPI 000016b8: PUSH1 0x00 000016ba: DUP1 000016bb: REVERT 000016bc: JUMPDEST 000016bd: DUP2 000016be: CALLDATALOAD 000016bf: PUSH2 0x16cf 000016c2: PUSH2 0x16ca 000016c5: DUP3 000016c6: PUSH2 0x1a36 000016c9: JUMP 000016ca: JUMPDEST 000016cb: PUSH2 0x1a0f 000016ce: JUMP 000016cf: JUMPDEST 000016d0: SWAP2 000016d1: POP 000016d2: DUP1 000016d3: DUP3 000016d4: MSTORE 000016d5: PUSH1 0x20 000016d7: DUP4 000016d8: ADD 000016d9: PUSH1 0x20 000016db: DUP4 000016dc: ADD 000016dd: DUP6 000016de: DUP4 000016df: DUP4 000016e0: ADD 000016e1: GT 000016e2: ISZERO 000016e3: PUSH2 0x16eb 000016e6: JUMPI 000016e7: PUSH1 0x00 000016e9: DUP1 000016ea: REVERT 000016eb: JUMPDEST 000016ec: PUSH2 0x16f6 000016ef: DUP4 000016f0: DUP3 000016f1: DUP5 000016f2: PUSH2 0x1aaa 000016f5: JUMP 000016f6: JUMPDEST 000016f7: POP 000016f8: POP 000016f9: POP 000016fa: SWAP3 000016fb: SWAP2 000016fc: POP 000016fd: POP 000016fe: JUMP 000016ff: JUMPDEST 00001700: PUSH1 0x00 00001702: PUSH1 0x20 00001704: DUP3 00001705: DUP5 00001706: SUB 00001707: SLT 00001708: ISZERO 00001709: PUSH2 0x1711 0000170c: JUMPI 0000170d: PUSH1 0x00 0000170f: DUP1 00001710: REVERT 00001711: JUMPDEST 00001712: PUSH1 0x00 00001714: PUSH2 0x171d 00001717: DUP5 00001718: DUP5 00001719: PUSH2 0x1693 0000171c: JUMP 0000171d: JUMPDEST 0000171e: SWAP5 0000171f: SWAP4 00001720: POP 00001721: POP 00001722: POP 00001723: POP 00001724: JUMP 00001725: JUMPDEST 00001726: PUSH1 0x00 00001728: DUP1 00001729: PUSH1 0x40 0000172b: DUP4 0000172c: DUP6 0000172d: SUB 0000172e: SLT 0000172f: ISZERO 00001730: PUSH2 0x1738 00001733: JUMPI 00001734: PUSH1 0x00 00001736: DUP1 00001737: REVERT 00001738: JUMPDEST 00001739: PUSH1 0x00 0000173b: PUSH2 0x1744 0000173e: DUP6 0000173f: DUP6 00001740: PUSH2 0x1693 00001743: JUMP 00001744: JUMPDEST 00001745: SWAP3 00001746: POP 00001747: POP 00001748: PUSH1 0x20 0000174a: PUSH2 0x1755 0000174d: DUP6 0000174e: DUP3 0000174f: DUP7 00001750: ADD 00001751: PUSH2 0x1693 00001754: JUMP 00001755: JUMPDEST 00001756: SWAP2 00001757: POP 00001758: POP 00001759: SWAP3 0000175a: POP 0000175b: SWAP3 0000175c: SWAP1 0000175d: POP 0000175e: JUMP 0000175f: JUMPDEST 00001760: PUSH1 0x00 00001762: DUP1 00001763: PUSH1 0x00 00001765: PUSH1 0x60 00001767: DUP5 00001768: DUP7 00001769: SUB 0000176a: SLT 0000176b: ISZERO 0000176c: PUSH2 0x1774 0000176f: JUMPI 00001770: PUSH1 0x00 00001772: DUP1 00001773: REVERT 00001774: JUMPDEST 00001775: PUSH1 0x00 00001777: PUSH2 0x1780 0000177a: DUP7 0000177b: DUP7 0000177c: PUSH2 0x1693 0000177f: JUMP 00001780: JUMPDEST 00001781: SWAP4 00001782: POP 00001783: POP 00001784: PUSH1 0x20 00001786: PUSH2 0x1791 00001789: DUP7 0000178a: DUP3 0000178b: DUP8 0000178c: ADD 0000178d: PUSH2 0x169f 00001790: JUMP 00001791: JUMPDEST 00001792: SWAP3 00001793: POP 00001794: POP 00001795: PUSH1 0x40 00001797: DUP5 00001798: ADD 00001799: CALLDATALOAD 0000179a: PUSH8 0xffffffffffffffff 000017a3: DUP2 000017a4: GT 000017a5: ISZERO 000017a6: PUSH2 0x17ae 000017a9: JUMPI 000017aa: PUSH1 0x00 000017ac: DUP1 000017ad: REVERT 000017ae: JUMPDEST 000017af: PUSH2 0x17ba 000017b2: DUP7 000017b3: DUP3 000017b4: DUP8 000017b5: ADD 000017b6: PUSH2 0x16ab 000017b9: JUMP 000017ba: JUMPDEST 000017bb: SWAP2 000017bc: POP 000017bd: POP 000017be: SWAP3 000017bf: POP 000017c0: SWAP3 000017c1: POP 000017c2: SWAP3 000017c3: JUMP 000017c4: JUMPDEST 000017c5: PUSH1 0x00 000017c7: PUSH1 0x20 000017c9: DUP3 000017ca: DUP5 000017cb: SUB 000017cc: SLT 000017cd: ISZERO 000017ce: PUSH2 0x17d6 000017d1: JUMPI 000017d2: PUSH1 0x00 000017d4: DUP1 000017d5: REVERT 000017d6: JUMPDEST 000017d7: PUSH1 0x00 000017d9: PUSH2 0x171d 000017dc: DUP5 000017dd: DUP5 000017de: PUSH2 0x169f 000017e1: JUMP 000017e2: JUMPDEST 000017e3: PUSH1 0x00 000017e5: DUP1 000017e6: PUSH1 0x40 000017e8: DUP4 000017e9: DUP6 000017ea: SUB 000017eb: SLT 000017ec: ISZERO 000017ed: PUSH2 0x17f5 000017f0: JUMPI 000017f1: PUSH1 0x00 000017f3: DUP1 000017f4: REVERT 000017f5: JUMPDEST 000017f6: PUSH1 0x00 000017f8: PUSH2 0x1744 000017fb: DUP6 000017fc: DUP6 000017fd: PUSH2 0x169f 00001800: JUMP 00001801: JUMPDEST 00001802: PUSH2 0x180a 00001805: DUP2 00001806: PUSH2 0x1a8c 00001809: JUMP 0000180a: JUMPDEST 0000180b: DUP3 0000180c: MSTORE 0000180d: POP 0000180e: POP 0000180f: JUMP 00001810: JUMPDEST 00001811: PUSH2 0x180a 00001814: DUP2 00001815: PUSH2 0x1aa5 00001818: JUMP 00001819: JUMPDEST 0000181a: PUSH2 0x180a 0000181d: DUP2 0000181e: PUSH2 0x158a 00001821: JUMP 00001822: JUMPDEST 00001823: PUSH1 0x00 00001825: PUSH2 0x182d 00001828: DUP3 00001829: PUSH2 0x1a88 0000182c: JUMP 0000182d: JUMPDEST 0000182e: DUP1 0000182f: DUP5 00001830: MSTORE 00001831: PUSH2 0x1841 00001834: DUP2 00001835: PUSH1 0x20 00001837: DUP7 00001838: ADD 00001839: PUSH1 0x20 0000183b: DUP7 0000183c: ADD 0000183d: PUSH2 0x1ab6 00001840: JUMP 00001841: JUMPDEST 00001842: PUSH2 0x184a 00001845: DUP2 00001846: PUSH2 0x1ae2 00001849: JUMP 0000184a: JUMPDEST 0000184b: SWAP1 0000184c: SWAP4 0000184d: ADD 0000184e: PUSH1 0x20 00001850: ADD 00001851: SWAP4 00001852: SWAP3 00001853: POP 00001854: POP 00001855: POP 00001856: JUMP 00001857: JUMPDEST 00001858: PUSH1 0x00 0000185a: DUP2 0000185b: SLOAD 0000185c: PUSH1 0x01 0000185e: DUP2 0000185f: AND 00001860: PUSH1 0x00 00001862: DUP2 00001863: EQ 00001864: PUSH2 0x1874 00001867: JUMPI 00001868: PUSH1 0x01 0000186a: DUP2 0000186b: EQ 0000186c: PUSH2 0x18b0 0000186f: JUMPI 00001870: PUSH2 0x18ec 00001873: JUMP 00001874: JUMPDEST 00001875: PUSH1 0x02 00001877: DUP3 00001878: DIV 00001879: PUSH1 0x7f 0000187b: AND 0000187c: DUP6 0000187d: MSTORE 0000187e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000189f: DUP3 000018a0: AND 000018a1: PUSH1 0x20 000018a3: DUP7 000018a4: ADD 000018a5: MSTORE 000018a6: PUSH1 0x40 000018a8: DUP6 000018a9: ADD 000018aa: SWAP3 000018ab: POP 000018ac: PUSH2 0x18ec 000018af: JUMP 000018b0: JUMPDEST 000018b1: PUSH1 0x02 000018b3: DUP3 000018b4: DIV 000018b5: DUP1 000018b6: DUP7 000018b7: MSTORE 000018b8: PUSH1 0x20 000018ba: DUP7 000018bb: ADD 000018bc: SWAP6 000018bd: POP 000018be: PUSH2 0x18c6 000018c1: DUP6 000018c2: PUSH2 0x1a7c 000018c5: JUMP 000018c6: JUMPDEST 000018c7: PUSH1 0x00 000018c9: JUMPDEST 000018ca: DUP3 000018cb: DUP2 000018cc: LT 000018cd: ISZERO 000018ce: PUSH2 0x18e5 000018d1: JUMPI 000018d2: DUP2 000018d3: SLOAD 000018d4: DUP9 000018d5: DUP3 000018d6: ADD 000018d7: MSTORE 000018d8: PUSH1 0x01 000018da: SWAP1 000018db: SWAP2 000018dc: ADD 000018dd: SWAP1 000018de: PUSH1 0x20 000018e0: ADD 000018e1: PUSH2 0x18c9 000018e4: JUMP 000018e5: JUMPDEST 000018e6: DUP8 000018e7: ADD 000018e8: SWAP5 000018e9: POP 000018ea: POP 000018eb: POP 000018ec: JUMPDEST 000018ed: POP 000018ee: POP 000018ef: SWAP3 000018f0: SWAP2 000018f1: POP 000018f2: POP 000018f3: JUMP 000018f4: JUMPDEST 000018f5: DUP1 000018f6: MLOAD 000018f7: PUSH1 0x00 000018f9: SWAP1 000018fa: PUSH1 0x60 000018fc: DUP5 000018fd: ADD 000018fe: SWAP1 000018ff: PUSH2 0x1908 00001902: DUP6 00001903: DUP3 00001904: PUSH2 0x1801 00001907: JUMP 00001908: JUMPDEST 00001909: POP 0000190a: PUSH1 0x20 0000190c: DUP4 0000190d: ADD 0000190e: MLOAD 0000190f: PUSH2 0x191b 00001912: PUSH1 0x20 00001914: DUP7 00001915: ADD 00001916: DUP3 00001917: PUSH2 0x1819 0000191a: JUMP 0000191b: JUMPDEST 0000191c: POP 0000191d: PUSH1 0x40 0000191f: DUP4 00001920: ADD 00001921: MLOAD 00001922: DUP5 00001923: DUP3 00001924: SUB 00001925: PUSH1 0x40 00001927: DUP7 00001928: ADD 00001929: MSTORE 0000192a: PUSH2 0x1933 0000192d: DUP3 0000192e: DUP3 0000192f: PUSH2 0x1822 00001932: JUMP 00001933: JUMPDEST 00001934: SWAP6 00001935: SWAP5 00001936: POP 00001937: POP 00001938: POP 00001939: POP 0000193a: POP 0000193b: JUMP 0000193c: JUMPDEST 0000193d: PUSH1 0x20 0000193f: DUP2 00001940: ADD 00001941: PUSH2 0x0eea 00001944: DUP3 00001945: DUP5 00001946: PUSH2 0x1801 00001949: JUMP 0000194a: JUMPDEST 0000194b: PUSH1 0x20 0000194d: DUP2 0000194e: ADD 0000194f: PUSH2 0x0eea 00001952: DUP3 00001953: DUP5 00001954: PUSH2 0x1810 00001957: JUMP 00001958: JUMPDEST 00001959: PUSH1 0x20 0000195b: DUP2 0000195c: ADD 0000195d: PUSH2 0x0eea 00001960: DUP3 00001961: DUP5 00001962: PUSH2 0x1819 00001965: JUMP 00001966: JUMPDEST 00001967: PUSH1 0x80 00001969: DUP1 0000196a: DUP3 0000196b: MSTORE 0000196c: DUP2 0000196d: ADD 0000196e: PUSH2 0x1977 00001971: DUP2 00001972: DUP8 00001973: PUSH2 0x18f4 00001976: JUMP 00001977: JUMPDEST 00001978: SWAP1 00001979: POP 0000197a: PUSH2 0x1986 0000197d: PUSH1 0x20 0000197f: DUP4 00001980: ADD 00001981: DUP7 00001982: PUSH2 0x1819 00001985: JUMP 00001986: JUMPDEST 00001987: PUSH2 0x1993 0000198a: PUSH1 0x40 0000198c: DUP4 0000198d: ADD 0000198e: DUP6 0000198f: PUSH2 0x1819 00001992: JUMP 00001993: JUMPDEST 00001994: PUSH2 0x1933 00001997: PUSH1 0x60 00001999: DUP4 0000199a: ADD 0000199b: DUP5 0000199c: PUSH2 0x1819 0000199f: JUMP 000019a0: JUMPDEST 000019a1: PUSH1 0x40 000019a3: DUP2 000019a4: ADD 000019a5: PUSH2 0x19ae 000019a8: DUP3 000019a9: DUP6 000019aa: PUSH2 0x1819 000019ad: JUMP 000019ae: JUMPDEST 000019af: DUP2 000019b0: DUP2 000019b1: SUB 000019b2: PUSH1 0x20 000019b4: DUP4 000019b5: ADD 000019b6: MSTORE 000019b7: PUSH2 0x171d 000019ba: DUP2 000019bb: DUP5 000019bc: PUSH2 0x1822 000019bf: JUMP 000019c0: JUMPDEST 000019c1: PUSH1 0x60 000019c3: DUP2 000019c4: ADD 000019c5: PUSH2 0x19ce 000019c8: DUP3 000019c9: DUP7 000019ca: PUSH2 0x1819 000019cd: JUMP 000019ce: JUMPDEST 000019cf: DUP2 000019d0: DUP2 000019d1: SUB 000019d2: PUSH1 0x20 000019d4: DUP4 000019d5: ADD 000019d6: MSTORE 000019d7: PUSH2 0x19e0 000019da: DUP2 000019db: DUP6 000019dc: PUSH2 0x1822 000019df: JUMP 000019e0: JUMPDEST 000019e1: SWAP1 000019e2: POP 000019e3: PUSH2 0x171d 000019e6: PUSH1 0x40 000019e8: DUP4 000019e9: ADD 000019ea: DUP5 000019eb: PUSH2 0x1801 000019ee: JUMP 000019ef: JUMPDEST 000019f0: PUSH1 0x60 000019f2: DUP2 000019f3: ADD 000019f4: PUSH2 0x19fd 000019f7: DUP3 000019f8: DUP7 000019f9: PUSH2 0x1819 000019fc: JUMP 000019fd: JUMPDEST 000019fe: DUP2 000019ff: DUP2 00001a00: SUB 00001a01: PUSH1 0x20 00001a03: DUP4 00001a04: ADD 00001a05: MSTORE 00001a06: PUSH2 0x19e0 00001a09: DUP2 00001a0a: DUP6 00001a0b: PUSH2 0x1857 00001a0e: JUMP 00001a0f: JUMPDEST 00001a10: PUSH1 0x40 00001a12: MLOAD 00001a13: DUP2 00001a14: DUP2 00001a15: ADD 00001a16: PUSH8 0xffffffffffffffff 00001a1f: DUP2 00001a20: GT 00001a21: DUP3 00001a22: DUP3 00001a23: LT 00001a24: OR 00001a25: ISZERO 00001a26: PUSH2 0x1a2e 00001a29: JUMPI 00001a2a: PUSH1 0x00 00001a2c: DUP1 00001a2d: REVERT 00001a2e: JUMPDEST 00001a2f: PUSH1 0x40 00001a31: MSTORE 00001a32: SWAP2 00001a33: SWAP1 00001a34: POP 00001a35: JUMP 00001a36: JUMPDEST 00001a37: PUSH1 0x00 00001a39: PUSH8 0xffffffffffffffff 00001a42: DUP3 00001a43: GT 00001a44: ISZERO 00001a45: PUSH2 0x1a4d 00001a48: JUMPI 00001a49: PUSH1 0x00 00001a4b: DUP1 00001a4c: REVERT 00001a4d: JUMPDEST 00001a4e: POP 00001a4f: PUSH1 0x20 00001a51: PUSH1 0x1f 00001a53: SWAP2 00001a54: SWAP1 00001a55: SWAP2 00001a56: ADD 00001a57: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001a78: AND 00001a79: ADD 00001a7a: SWAP1 00001a7b: JUMP 00001a7c: JUMPDEST 00001a7d: PUSH1 0x00 00001a7f: SWAP1 00001a80: DUP2 00001a81: MSTORE 00001a82: PUSH1 0x20 00001a84: SWAP1 00001a85: KECCAK256 00001a86: SWAP1 00001a87: JUMP 00001a88: JUMPDEST 00001a89: MLOAD 00001a8a: SWAP1 00001a8b: JUMP 00001a8c: JUMPDEST 00001a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aa2: AND 00001aa3: SWAP1 00001aa4: JUMP 00001aa5: JUMPDEST 00001aa6: ISZERO 00001aa7: ISZERO 00001aa8: SWAP1 00001aa9: JUMP 00001aaa: JUMPDEST 00001aab: DUP3 00001aac: DUP2 00001aad: DUP4 00001aae: CALLDATACOPY 00001aaf: POP 00001ab0: PUSH1 0x00 00001ab2: SWAP2 00001ab3: ADD 00001ab4: MSTORE 00001ab5: JUMP 00001ab6: JUMPDEST 00001ab7: PUSH1 0x00 00001ab9: JUMPDEST 00001aba: DUP4 00001abb: DUP2 00001abc: LT 00001abd: ISZERO 00001abe: PUSH2 0x1ad1 00001ac1: JUMPI 00001ac2: DUP2 00001ac3: DUP2 00001ac4: ADD 00001ac5: MLOAD 00001ac6: DUP4 00001ac7: DUP3 00001ac8: ADD 00001ac9: MSTORE 00001aca: PUSH1 0x20 00001acc: ADD 00001acd: PUSH2 0x1ab9 00001ad0: JUMP 00001ad1: JUMPDEST 00001ad2: DUP4 00001ad3: DUP2 00001ad4: GT 00001ad5: ISZERO 00001ad6: PUSH2 0x0dbd 00001ad9: JUMPI 00001ada: POP 00001adb: POP 00001adc: PUSH1 0x00 00001ade: SWAP2 00001adf: ADD 00001ae0: MSTORE 00001ae1: JUMP 00001ae2: JUMPDEST 00001ae3: PUSH1 0x1f 00001ae5: ADD 00001ae6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001b07: AND 00001b08: SWAP1 00001b09: JUMP 00001b0a: STOP 00001b0b: LOG2 00001b0c: PUSH6 0x627a7a723058 00001b13: KECCAK256 00001b14: SUB 00001b15: SWAP7 00001b16: PUSH6 0xe053fb80c394 00001b1d: UNKNOWN(0x4D) 00001b1e: UNKNOWN(0xF9) 00001b1f: PUSH23 0xdfc5becbf988ebba8e1c2734776f8f3032944a036c6578 00001b37: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7b1b4f1bd18a3130402723fa6979b2491d57bfa10af54374281323f3163ded46
call_targets:
0x684564950fdafedad73a79c9074aed1b85428feb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7b1b4f1bd18a3130402723fa6979b2491d57bfa10af54374281323f3163ded46",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x684564950fdafedad73a79c9074aed1b85428feb"
],
"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": "0x2330f247",
"selector": "0x2330f247",
"calldata_variants": [
"0x2330f247",
"0x2330f2470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26defa73",
"selector": "0x26defa73",
"calldata_variants": [
"0x26defa73",
"0x26defa730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3295feb3",
"selector": "0x3295feb3",
"calldata_variants": [
"0x3295feb3",
"0x3295feb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x494503d4",
"selector": "0x494503d4",
"calldata_variants": [
"0x494503d4",
"0x494503d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59ed55e1",
"selector": "0x59ed55e1",
"calldata_variants": [
"0x59ed55e1",
"0x59ed55e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b0c932d",
"selector": "0x6b0c932d",
"calldata_variants": [
"0x6b0c932d",
"0x6b0c932d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5367,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7b1b4f1bd18a3130402723fa6979b2491d57bfa10af54374281323f3163ded46
call_targets:
0x684564950fdafedad73a79c9074aed1b85428feb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7b1b4f1bd18a3130402723fa6979b2491d57bfa10af54374281323f3163ded46",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x684564950fdafedad73a79c9074aed1b85428feb"
],
"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": "0x2330f247",
"selector": "0x2330f247",
"calldata_variants": [
"0x2330f247",
"0x2330f2470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26defa73",
"selector": "0x26defa73",
"calldata_variants": [
"0x26defa73",
"0x26defa730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3295feb3",
"selector": "0x3295feb3",
"calldata_variants": [
"0x3295feb3",
"0x3295feb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x494503d4",
"selector": "0x494503d4",
"calldata_variants": [
"0x494503d4",
"0x494503d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59ed55e1",
"selector": "0x59ed55e1",
"calldata_variants": [
"0x59ed55e1",
"0x59ed55e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b0c932d",
"selector": "0x6b0c932d",
"calldata_variants": [
"0x6b0c932d",
"0x6b0c932d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5367,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x7fe88da100cbdb8cfe7b71e9993a6cebc7a46504ada050836e876295202e643a
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x7fe88da100cbdb8cfe7b71e9993a6cebc7a46504ada050836e876295202e643a",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x2330f247",
"selector": "0x2330f247",
"calldata_variants": [
"0x2330f247",
"0x2330f2470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26defa73",
"selector": "0x26defa73",
"calldata_variants": [
"0x26defa73",
"0x26defa730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3295feb3",
"selector": "0x3295feb3",
"calldata_variants": [
"0x3295feb3",
"0x3295feb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x494503d4",
"selector": "0x494503d4",
"calldata_variants": [
"0x494503d4",
"0x494503d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59ed55e1",
"selector": "0x59ed55e1",
"calldata_variants": [
"0x59ed55e1",
"0x59ed55e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b0c932d",
"selector": "0x6b0c932d",
"calldata_variants": [
"0x6b0c932d",
"0x6b0c932d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|