019b477e-b747-738d-8ab5-9204f5d4c677
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 |
|---|---|---|---|---|
| 23243 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23244 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66378 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66379 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66380 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66381 | 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 0x019e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x87730309 00000036: GT 00000037: PUSH2 0x00ee 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0xbc3fde4e 00000041: GT 00000042: PUSH2 0x00a7 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0xd87a328a 0000004c: GT 0000004d: PUSH2 0x0081 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0xd87a328a 00000057: EQ 00000058: PUSH2 0x0890 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0xdb1a6eaa 00000062: EQ 00000063: PUSH2 0x08bb 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xfc741c7c 0000006d: EQ 0000006e: PUSH2 0x08e6 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xffa1ad74 00000078: EQ 00000079: PUSH2 0x0911 0000007c: JUMPI 0000007d: PUSH2 0x019e 00000080: JUMP 00000081: JUMPDEST 00000082: DUP1 00000083: PUSH4 0xbc3fde4e 00000088: EQ 00000089: PUSH2 0x07e3 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xc407670f 00000093: EQ 00000094: PUSH2 0x080e 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xce606ee0 0000009e: EQ 0000009f: PUSH2 0x0839 000000a2: JUMPI 000000a3: PUSH2 0x019e 000000a6: JUMP 000000a7: JUMPDEST 000000a8: DUP1 000000a9: PUSH4 0x87730309 000000ae: EQ 000000af: PUSH2 0x069e 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x95623641 000000b9: EQ 000000ba: PUSH2 0x06c9 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0xa6a205c0 000000c4: EQ 000000c5: PUSH2 0x0720 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0xb06a5c52 000000cf: EQ 000000d0: PUSH2 0x075a 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0xb77309d6 000000da: EQ 000000db: PUSH2 0x0785 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0xba7fd2fb 000000e5: EQ 000000e6: PUSH2 0x07b4 000000e9: JUMPI 000000ea: PUSH2 0x019e 000000ed: JUMP 000000ee: JUMPDEST 000000ef: DUP1 000000f0: PUSH4 0x53240f64 000000f5: GT 000000f6: PUSH2 0x015b 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x6cc6cde1 00000100: GT 00000101: PUSH2 0x0135 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x6cc6cde1 0000010b: EQ 0000010c: PUSH2 0x0552 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x70a08231 00000116: EQ 00000117: PUSH2 0x05a9 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x70dea79a 00000121: EQ 00000122: PUSH2 0x060e 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x7b8c8de1 0000012c: EQ 0000012d: PUSH2 0x0639 00000130: JUMPI 00000131: PUSH2 0x019e 00000134: JUMP 00000135: JUMPDEST 00000136: DUP1 00000137: PUSH4 0x53240f64 0000013c: EQ 0000013d: PUSH2 0x0451 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0x5ead3d4b 00000147: EQ 00000148: PUSH2 0x0482 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x5f95eb4d 00000152: EQ 00000153: PUSH2 0x04ed 00000156: JUMPI 00000157: PUSH2 0x019e 0000015a: JUMP 0000015b: JUMPDEST 0000015c: DUP1 0000015d: PUSH4 0x07171d7f 00000162: EQ 00000163: PUSH2 0x02d2 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0x0ed7e499 0000016d: EQ 0000016e: PUSH2 0x02e9 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x306a7ce0 00000178: EQ 00000179: PUSH2 0x0364 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x3fad9ae0 00000183: EQ 00000184: PUSH2 0x0393 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x4bb278f3 0000018e: EQ 0000018f: PUSH2 0x0423 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x4e71d92d 00000199: EQ 0000019a: PUSH2 0x043a 0000019d: JUMPI 0000019e: JUMPDEST 0000019f: PUSH1 0x0a 000001a1: SLOAD 000001a2: TIMESTAMP 000001a3: GT 000001a4: ISZERO 000001a5: ISZERO 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: PUSH1 0x00 000001b2: CALLVALUE 000001b3: GT 000001b4: ISZERO 000001b5: ISZERO 000001b6: PUSH2 0x01be 000001b9: JUMPI 000001ba: PUSH1 0x00 000001bc: DUP1 000001bd: REVERT 000001be: JUMPDEST 000001bf: PUSH1 0x00 000001c1: PUSH1 0x0f 000001c3: PUSH1 0x00 000001c5: CALLER 000001c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001db: AND 000001dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f1: AND 000001f2: DUP2 000001f3: MSTORE 000001f4: PUSH1 0x20 000001f6: ADD 000001f7: SWAP1 000001f8: DUP2 000001f9: MSTORE 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: PUSH1 0x00 000001ff: KECCAK256 00000200: SLOAD 00000201: EQ 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020d 00000207: JUMPI 00000208: POP 00000209: PUSH1 0x00 0000020b: CALLVALUE 0000020c: GT 0000020d: JUMPDEST 0000020e: ISZERO 0000020f: PUSH2 0x0225 00000212: JUMPI 00000213: PUSH1 0x10 00000215: PUSH1 0x00 00000217: DUP2 00000218: SLOAD 00000219: DUP1 0000021a: SWAP3 0000021b: SWAP2 0000021c: SWAP1 0000021d: PUSH1 0x01 0000021f: ADD 00000220: SWAP2 00000221: SWAP1 00000222: POP 00000223: SSTORE 00000224: POP 00000225: JUMPDEST 00000226: CALLVALUE 00000227: PUSH1 0x0f 00000229: PUSH1 0x00 0000022b: CALLER 0000022c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000241: AND 00000242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000257: AND 00000258: DUP2 00000259: MSTORE 0000025a: PUSH1 0x20 0000025c: ADD 0000025d: SWAP1 0000025e: DUP2 0000025f: MSTORE 00000260: PUSH1 0x20 00000262: ADD 00000263: PUSH1 0x00 00000265: KECCAK256 00000266: PUSH1 0x00 00000268: DUP3 00000269: DUP3 0000026a: SLOAD 0000026b: ADD 0000026c: SWAP3 0000026d: POP 0000026e: POP 0000026f: DUP2 00000270: SWAP1 00000271: SSTORE 00000272: POP 00000273: CALLVALUE 00000274: PUSH1 0x11 00000276: PUSH1 0x00 00000278: DUP3 00000279: DUP3 0000027a: SLOAD 0000027b: ADD 0000027c: SWAP3 0000027d: POP 0000027e: POP 0000027f: DUP2 00000280: SWAP1 00000281: SSTORE 00000282: POP 00000283: CALLER 00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000299: AND 0000029a: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 000002bb: CALLVALUE 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: DUP1 000002c0: DUP3 000002c1: DUP2 000002c2: MSTORE 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: SWAP2 000002c7: POP 000002c8: POP 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: SWAP2 000002ce: SUB 000002cf: SWAP1 000002d0: LOG2 000002d1: STOP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x02e7 000002e3: PUSH2 0x09a1 000002e6: JUMP 000002e7: JUMPDEST 000002e8: STOP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x0322 000002fa: PUSH1 0x04 000002fc: DUP1 000002fd: CALLDATASIZE 000002fe: SUB 000002ff: PUSH1 0x20 00000301: DUP2 00000302: LT 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: DUP2 0000030e: ADD 0000030f: SWAP1 00000310: DUP1 00000311: DUP1 00000312: CALLDATALOAD 00000313: SWAP1 00000314: PUSH1 0x20 00000316: ADD 00000317: SWAP1 00000318: SWAP3 00000319: SWAP2 0000031a: SWAP1 0000031b: POP 0000031c: POP 0000031d: POP 0000031e: PUSH2 0x0b34 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH1 0x40 00000325: MLOAD 00000326: DUP1 00000327: DUP3 00000328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033d: AND 0000033e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000353: AND 00000354: DUP2 00000355: MSTORE 00000356: PUSH1 0x20 00000358: ADD 00000359: SWAP2 0000035a: POP 0000035b: POP 0000035c: PUSH1 0x40 0000035e: MLOAD 0000035f: DUP1 00000360: SWAP2 00000361: SUB 00000362: SWAP1 00000363: RETURN 00000364: JUMPDEST 00000365: CALLVALUE 00000366: DUP1 00000367: ISZERO 00000368: PUSH2 0x0370 0000036b: JUMPI 0000036c: PUSH1 0x00 0000036e: DUP1 0000036f: REVERT 00000370: JUMPDEST 00000371: POP 00000372: PUSH2 0x0379 00000375: PUSH2 0x0b72 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH1 0x40 0000037c: MLOAD 0000037d: DUP1 0000037e: DUP3 0000037f: ISZERO 00000380: ISZERO 00000381: ISZERO 00000382: ISZERO 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: ADD 00000388: SWAP2 00000389: POP 0000038a: POP 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: DUP1 0000038f: SWAP2 00000390: SUB 00000391: SWAP1 00000392: RETURN 00000393: JUMPDEST 00000394: CALLVALUE 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: POP 000003a1: PUSH2 0x03a8 000003a4: PUSH2 0x0b85 000003a7: JUMP 000003a8: JUMPDEST 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: DUP1 000003ad: DUP1 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: DUP3 000003b2: DUP2 000003b3: SUB 000003b4: DUP3 000003b5: MSTORE 000003b6: DUP4 000003b7: DUP2 000003b8: DUP2 000003b9: MLOAD 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x20 000003be: ADD 000003bf: SWAP2 000003c0: POP 000003c1: DUP1 000003c2: MLOAD 000003c3: SWAP1 000003c4: PUSH1 0x20 000003c6: ADD 000003c7: SWAP1 000003c8: DUP1 000003c9: DUP4 000003ca: DUP4 000003cb: PUSH1 0x00 000003cd: JUMPDEST 000003ce: DUP4 000003cf: DUP2 000003d0: LT 000003d1: ISZERO 000003d2: PUSH2 0x03e8 000003d5: JUMPI 000003d6: DUP1 000003d7: DUP3 000003d8: ADD 000003d9: MLOAD 000003da: DUP2 000003db: DUP5 000003dc: ADD 000003dd: MSTORE 000003de: PUSH1 0x20 000003e0: DUP2 000003e1: ADD 000003e2: SWAP1 000003e3: POP 000003e4: PUSH2 0x03cd 000003e7: JUMP 000003e8: JUMPDEST 000003e9: POP 000003ea: POP 000003eb: POP 000003ec: POP 000003ed: SWAP1 000003ee: POP 000003ef: SWAP1 000003f0: DUP2 000003f1: ADD 000003f2: SWAP1 000003f3: PUSH1 0x1f 000003f5: AND 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0415 000003fb: JUMPI 000003fc: DUP1 000003fd: DUP3 000003fe: SUB 000003ff: DUP1 00000400: MLOAD 00000401: PUSH1 0x01 00000403: DUP4 00000404: PUSH1 0x20 00000406: SUB 00000407: PUSH2 0x0100 0000040a: EXP 0000040b: SUB 0000040c: NOT 0000040d: AND 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x20 00000412: ADD 00000413: SWAP2 00000414: POP 00000415: JUMPDEST 00000416: POP 00000417: SWAP3 00000418: POP 00000419: POP 0000041a: POP 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: DUP1 0000041f: SWAP2 00000420: SUB 00000421: SWAP1 00000422: RETURN 00000423: JUMPDEST 00000424: CALLVALUE 00000425: DUP1 00000426: ISZERO 00000427: PUSH2 0x042f 0000042a: JUMPI 0000042b: PUSH1 0x00 0000042d: DUP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: POP 00000431: PUSH2 0x0438 00000434: PUSH2 0x0c23 00000437: JUMP 00000438: JUMPDEST 00000439: STOP 0000043a: JUMPDEST 0000043b: CALLVALUE 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: POP 00000448: PUSH2 0x044f 0000044b: PUSH2 0x0cbc 0000044e: JUMP 0000044f: JUMPDEST 00000450: STOP 00000451: JUMPDEST 00000452: CALLVALUE 00000453: DUP1 00000454: ISZERO 00000455: PUSH2 0x045d 00000458: JUMPI 00000459: PUSH1 0x00 0000045b: DUP1 0000045c: REVERT 0000045d: JUMPDEST 0000045e: POP 0000045f: PUSH2 0x0466 00000462: PUSH2 0x0e6e 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH1 0x40 00000469: MLOAD 0000046a: DUP1 0000046b: DUP3 0000046c: PUSH1 0xff 0000046e: AND 0000046f: PUSH1 0xff 00000471: AND 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x20 00000476: ADD 00000477: SWAP2 00000478: POP 00000479: POP 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: DUP1 0000047e: SWAP2 0000047f: SUB 00000480: SWAP1 00000481: RETURN 00000482: JUMPDEST 00000483: CALLVALUE 00000484: DUP1 00000485: ISZERO 00000486: PUSH2 0x048e 00000489: JUMPI 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: REVERT 0000048e: JUMPDEST 0000048f: POP 00000490: PUSH2 0x04d1 00000493: PUSH1 0x04 00000495: DUP1 00000496: CALLDATASIZE 00000497: SUB 00000498: PUSH1 0x20 0000049a: DUP2 0000049b: LT 0000049c: ISZERO 0000049d: PUSH2 0x04a5 000004a0: JUMPI 000004a1: PUSH1 0x00 000004a3: DUP1 000004a4: REVERT 000004a5: JUMPDEST 000004a6: DUP2 000004a7: ADD 000004a8: SWAP1 000004a9: DUP1 000004aa: DUP1 000004ab: CALLDATALOAD 000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c1: AND 000004c2: SWAP1 000004c3: PUSH1 0x20 000004c5: ADD 000004c6: SWAP1 000004c7: SWAP3 000004c8: SWAP2 000004c9: SWAP1 000004ca: POP 000004cb: POP 000004cc: POP 000004cd: PUSH2 0x0e81 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: DUP1 000004d6: DUP3 000004d7: PUSH1 0xff 000004d9: AND 000004da: PUSH1 0xff 000004dc: AND 000004dd: DUP2 000004de: MSTORE 000004df: PUSH1 0x20 000004e1: ADD 000004e2: SWAP2 000004e3: POP 000004e4: POP 000004e5: PUSH1 0x40 000004e7: MLOAD 000004e8: DUP1 000004e9: SWAP2 000004ea: SUB 000004eb: SWAP1 000004ec: RETURN 000004ed: JUMPDEST 000004ee: CALLVALUE 000004ef: DUP1 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: POP 000004fb: PUSH2 0x053c 000004fe: PUSH1 0x04 00000500: DUP1 00000501: CALLDATASIZE 00000502: SUB 00000503: PUSH1 0x20 00000505: DUP2 00000506: LT 00000507: ISZERO 00000508: PUSH2 0x0510 0000050b: JUMPI 0000050c: PUSH1 0x00 0000050e: DUP1 0000050f: REVERT 00000510: JUMPDEST 00000511: DUP2 00000512: ADD 00000513: SWAP1 00000514: DUP1 00000515: DUP1 00000516: CALLDATALOAD 00000517: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052c: AND 0000052d: SWAP1 0000052e: PUSH1 0x20 00000530: ADD 00000531: SWAP1 00000532: SWAP3 00000533: SWAP2 00000534: SWAP1 00000535: POP 00000536: POP 00000537: POP 00000538: PUSH2 0x0ea1 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: DUP1 00000541: DUP3 00000542: DUP2 00000543: MSTORE 00000544: PUSH1 0x20 00000546: ADD 00000547: SWAP2 00000548: POP 00000549: POP 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: SWAP2 0000054f: SUB 00000550: SWAP1 00000551: RETURN 00000552: JUMPDEST 00000553: CALLVALUE 00000554: DUP1 00000555: ISZERO 00000556: PUSH2 0x055e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP1 0000055d: REVERT 0000055e: JUMPDEST 0000055f: POP 00000560: PUSH2 0x0567 00000563: PUSH2 0x1001 00000566: JUMP 00000567: JUMPDEST 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: DUP1 0000056c: DUP3 0000056d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000582: AND 00000583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000598: AND 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: SWAP2 0000059f: POP 000005a0: POP 000005a1: PUSH1 0x40 000005a3: MLOAD 000005a4: DUP1 000005a5: SWAP2 000005a6: SUB 000005a7: SWAP1 000005a8: RETURN 000005a9: JUMPDEST 000005aa: CALLVALUE 000005ab: DUP1 000005ac: ISZERO 000005ad: PUSH2 0x05b5 000005b0: JUMPI 000005b1: PUSH1 0x00 000005b3: DUP1 000005b4: REVERT 000005b5: JUMPDEST 000005b6: POP 000005b7: PUSH2 0x05f8 000005ba: PUSH1 0x04 000005bc: DUP1 000005bd: CALLDATASIZE 000005be: SUB 000005bf: PUSH1 0x20 000005c1: DUP2 000005c2: LT 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: DUP2 000005ce: ADD 000005cf: SWAP1 000005d0: DUP1 000005d1: DUP1 000005d2: CALLDATALOAD 000005d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e8: AND 000005e9: SWAP1 000005ea: PUSH1 0x20 000005ec: ADD 000005ed: SWAP1 000005ee: SWAP3 000005ef: SWAP2 000005f0: SWAP1 000005f1: POP 000005f2: POP 000005f3: POP 000005f4: PUSH2 0x1027 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH1 0x40 000005fb: MLOAD 000005fc: DUP1 000005fd: DUP3 000005fe: DUP2 000005ff: MSTORE 00000600: PUSH1 0x20 00000602: ADD 00000603: SWAP2 00000604: POP 00000605: POP 00000606: PUSH1 0x40 00000608: MLOAD 00000609: DUP1 0000060a: SWAP2 0000060b: SUB 0000060c: SWAP1 0000060d: RETURN 0000060e: JUMPDEST 0000060f: CALLVALUE 00000610: DUP1 00000611: ISZERO 00000612: PUSH2 0x061a 00000615: JUMPI 00000616: PUSH1 0x00 00000618: DUP1 00000619: REVERT 0000061a: JUMPDEST 0000061b: POP 0000061c: PUSH2 0x0623 0000061f: PUSH2 0x108f 00000622: JUMP 00000623: JUMPDEST 00000624: PUSH1 0x40 00000626: MLOAD 00000627: DUP1 00000628: DUP3 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: SWAP2 0000062f: POP 00000630: POP 00000631: PUSH1 0x40 00000633: MLOAD 00000634: DUP1 00000635: SWAP2 00000636: SUB 00000637: SWAP1 00000638: RETURN 00000639: JUMPDEST 0000063a: CALLVALUE 0000063b: DUP1 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: POP 00000647: PUSH2 0x0688 0000064a: PUSH1 0x04 0000064c: DUP1 0000064d: CALLDATASIZE 0000064e: SUB 0000064f: PUSH1 0x20 00000651: DUP2 00000652: LT 00000653: ISZERO 00000654: PUSH2 0x065c 00000657: JUMPI 00000658: PUSH1 0x00 0000065a: DUP1 0000065b: REVERT 0000065c: JUMPDEST 0000065d: DUP2 0000065e: ADD 0000065f: SWAP1 00000660: DUP1 00000661: DUP1 00000662: CALLDATALOAD 00000663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000678: AND 00000679: SWAP1 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: SWAP1 0000067e: SWAP3 0000067f: SWAP2 00000680: SWAP1 00000681: POP 00000682: POP 00000683: POP 00000684: PUSH2 0x1095 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: DUP1 0000068d: DUP3 0000068e: DUP2 0000068f: MSTORE 00000690: PUSH1 0x20 00000692: ADD 00000693: SWAP2 00000694: POP 00000695: POP 00000696: PUSH1 0x40 00000698: MLOAD 00000699: DUP1 0000069a: SWAP2 0000069b: SUB 0000069c: SWAP1 0000069d: RETURN 0000069e: JUMPDEST 0000069f: CALLVALUE 000006a0: DUP1 000006a1: ISZERO 000006a2: PUSH2 0x06aa 000006a5: JUMPI 000006a6: PUSH1 0x00 000006a8: DUP1 000006a9: REVERT 000006aa: JUMPDEST 000006ab: POP 000006ac: PUSH2 0x06b3 000006af: PUSH2 0x10ad 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: DUP1 000006b8: DUP3 000006b9: DUP2 000006ba: MSTORE 000006bb: PUSH1 0x20 000006bd: ADD 000006be: SWAP2 000006bf: POP 000006c0: POP 000006c1: PUSH1 0x40 000006c3: MLOAD 000006c4: DUP1 000006c5: SWAP2 000006c6: SUB 000006c7: SWAP1 000006c8: RETURN 000006c9: JUMPDEST 000006ca: CALLVALUE 000006cb: DUP1 000006cc: ISZERO 000006cd: PUSH2 0x06d5 000006d0: JUMPI 000006d1: PUSH1 0x00 000006d3: DUP1 000006d4: REVERT 000006d5: JUMPDEST 000006d6: POP 000006d7: PUSH2 0x06de 000006da: PUSH2 0x10b3 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: DUP1 000006e3: DUP3 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: AND 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: SWAP2 00000716: POP 00000717: POP 00000718: PUSH1 0x40 0000071a: MLOAD 0000071b: DUP1 0000071c: SWAP2 0000071d: SUB 0000071e: SWAP1 0000071f: RETURN 00000720: JUMPDEST 00000721: CALLVALUE 00000722: DUP1 00000723: ISZERO 00000724: PUSH2 0x072c 00000727: JUMPI 00000728: PUSH1 0x00 0000072a: DUP1 0000072b: REVERT 0000072c: JUMPDEST 0000072d: POP 0000072e: PUSH2 0x0735 00000731: PUSH2 0x10d9 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH1 0x40 00000738: MLOAD 00000739: DUP1 0000073a: DUP4 0000073b: ISZERO 0000073c: ISZERO 0000073d: ISZERO 0000073e: ISZERO 0000073f: DUP2 00000740: MSTORE 00000741: PUSH1 0x20 00000743: ADD 00000744: DUP3 00000745: ISZERO 00000746: ISZERO 00000747: ISZERO 00000748: ISZERO 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: SWAP3 0000074f: POP 00000750: POP 00000751: POP 00000752: PUSH1 0x40 00000754: MLOAD 00000755: DUP1 00000756: SWAP2 00000757: SUB 00000758: SWAP1 00000759: RETURN 0000075a: JUMPDEST 0000075b: CALLVALUE 0000075c: DUP1 0000075d: ISZERO 0000075e: PUSH2 0x0766 00000761: JUMPI 00000762: PUSH1 0x00 00000764: DUP1 00000765: REVERT 00000766: JUMPDEST 00000767: POP 00000768: PUSH2 0x076f 0000076b: PUSH2 0x12fc 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH1 0x40 00000772: MLOAD 00000773: DUP1 00000774: DUP3 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x20 00000779: ADD 0000077a: SWAP2 0000077b: POP 0000077c: POP 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: DUP1 00000781: SWAP2 00000782: SUB 00000783: SWAP1 00000784: RETURN 00000785: JUMPDEST 00000786: CALLVALUE 00000787: DUP1 00000788: ISZERO 00000789: PUSH2 0x0791 0000078c: JUMPI 0000078d: PUSH1 0x00 0000078f: DUP1 00000790: REVERT 00000791: JUMPDEST 00000792: POP 00000793: PUSH2 0x079a 00000796: PUSH2 0x1302 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: DUP1 0000079f: DUP3 000007a0: ISZERO 000007a1: ISZERO 000007a2: ISZERO 000007a3: ISZERO 000007a4: DUP2 000007a5: MSTORE 000007a6: PUSH1 0x20 000007a8: ADD 000007a9: SWAP2 000007aa: POP 000007ab: POP 000007ac: PUSH1 0x40 000007ae: MLOAD 000007af: DUP1 000007b0: SWAP2 000007b1: SUB 000007b2: SWAP1 000007b3: RETURN 000007b4: JUMPDEST 000007b5: CALLVALUE 000007b6: DUP1 000007b7: ISZERO 000007b8: PUSH2 0x07c0 000007bb: JUMPI 000007bc: PUSH1 0x00 000007be: DUP1 000007bf: REVERT 000007c0: JUMPDEST 000007c1: POP 000007c2: PUSH2 0x07c9 000007c5: PUSH2 0x1315 000007c8: JUMP 000007c9: JUMPDEST 000007ca: PUSH1 0x40 000007cc: MLOAD 000007cd: DUP1 000007ce: DUP3 000007cf: ISZERO 000007d0: ISZERO 000007d1: ISZERO 000007d2: ISZERO 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x20 000007d7: ADD 000007d8: SWAP2 000007d9: POP 000007da: POP 000007db: PUSH1 0x40 000007dd: MLOAD 000007de: DUP1 000007df: SWAP2 000007e0: SUB 000007e1: SWAP1 000007e2: RETURN 000007e3: JUMPDEST 000007e4: CALLVALUE 000007e5: DUP1 000007e6: ISZERO 000007e7: PUSH2 0x07ef 000007ea: JUMPI 000007eb: PUSH1 0x00 000007ed: DUP1 000007ee: REVERT 000007ef: JUMPDEST 000007f0: POP 000007f1: PUSH2 0x07f8 000007f4: PUSH2 0x1328 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x40 000007fb: MLOAD 000007fc: DUP1 000007fd: DUP3 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH1 0x20 00000802: ADD 00000803: SWAP2 00000804: POP 00000805: POP 00000806: PUSH1 0x40 00000808: MLOAD 00000809: DUP1 0000080a: SWAP2 0000080b: SUB 0000080c: SWAP1 0000080d: RETURN 0000080e: JUMPDEST 0000080f: CALLVALUE 00000810: DUP1 00000811: ISZERO 00000812: PUSH2 0x081a 00000815: JUMPI 00000816: PUSH1 0x00 00000818: DUP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: POP 0000081c: PUSH2 0x0823 0000081f: PUSH2 0x132e 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH1 0x40 00000826: MLOAD 00000827: DUP1 00000828: DUP3 00000829: DUP2 0000082a: MSTORE 0000082b: PUSH1 0x20 0000082d: ADD 0000082e: SWAP2 0000082f: POP 00000830: POP 00000831: PUSH1 0x40 00000833: MLOAD 00000834: DUP1 00000835: SWAP2 00000836: SUB 00000837: SWAP1 00000838: RETURN 00000839: JUMPDEST 0000083a: CALLVALUE 0000083b: DUP1 0000083c: ISZERO 0000083d: PUSH2 0x0845 00000840: JUMPI 00000841: PUSH1 0x00 00000843: DUP1 00000844: REVERT 00000845: JUMPDEST 00000846: POP 00000847: PUSH2 0x084e 0000084a: PUSH2 0x1334 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH1 0x40 00000851: MLOAD 00000852: DUP1 00000853: DUP3 00000854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000869: AND 0000086a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087f: AND 00000880: DUP2 00000881: MSTORE 00000882: PUSH1 0x20 00000884: ADD 00000885: SWAP2 00000886: POP 00000887: POP 00000888: PUSH1 0x40 0000088a: MLOAD 0000088b: DUP1 0000088c: SWAP2 0000088d: SUB 0000088e: SWAP1 0000088f: RETURN 00000890: JUMPDEST 00000891: CALLVALUE 00000892: DUP1 00000893: ISZERO 00000894: PUSH2 0x089c 00000897: JUMPI 00000898: PUSH1 0x00 0000089a: DUP1 0000089b: REVERT 0000089c: JUMPDEST 0000089d: POP 0000089e: PUSH2 0x08a5 000008a1: PUSH2 0x1359 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: DUP1 000008aa: DUP3 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x20 000008af: ADD 000008b0: SWAP2 000008b1: POP 000008b2: POP 000008b3: PUSH1 0x40 000008b5: MLOAD 000008b6: DUP1 000008b7: SWAP2 000008b8: SUB 000008b9: SWAP1 000008ba: RETURN 000008bb: JUMPDEST 000008bc: CALLVALUE 000008bd: DUP1 000008be: ISZERO 000008bf: PUSH2 0x08c7 000008c2: JUMPI 000008c3: PUSH1 0x00 000008c5: DUP1 000008c6: REVERT 000008c7: JUMPDEST 000008c8: POP 000008c9: PUSH2 0x08d0 000008cc: PUSH2 0x135f 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH1 0x40 000008d3: MLOAD 000008d4: DUP1 000008d5: DUP3 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: ADD 000008db: SWAP2 000008dc: POP 000008dd: POP 000008de: PUSH1 0x40 000008e0: MLOAD 000008e1: DUP1 000008e2: SWAP2 000008e3: SUB 000008e4: SWAP1 000008e5: RETURN 000008e6: JUMPDEST 000008e7: CALLVALUE 000008e8: DUP1 000008e9: ISZERO 000008ea: PUSH2 0x08f2 000008ed: JUMPI 000008ee: PUSH1 0x00 000008f0: DUP1 000008f1: REVERT 000008f2: JUMPDEST 000008f3: POP 000008f4: PUSH2 0x08fb 000008f7: PUSH2 0x1365 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x40 000008fe: MLOAD 000008ff: DUP1 00000900: DUP3 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x20 00000905: ADD 00000906: SWAP2 00000907: POP 00000908: POP 00000909: PUSH1 0x40 0000090b: MLOAD 0000090c: DUP1 0000090d: SWAP2 0000090e: SUB 0000090f: SWAP1 00000910: RETURN 00000911: JUMPDEST 00000912: CALLVALUE 00000913: DUP1 00000914: ISZERO 00000915: PUSH2 0x091d 00000918: JUMPI 00000919: PUSH1 0x00 0000091b: DUP1 0000091c: REVERT 0000091d: JUMPDEST 0000091e: POP 0000091f: PUSH2 0x0926 00000922: PUSH2 0x136b 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: DUP1 0000092b: DUP1 0000092c: PUSH1 0x20 0000092e: ADD 0000092f: DUP3 00000930: DUP2 00000931: SUB 00000932: DUP3 00000933: MSTORE 00000934: DUP4 00000935: DUP2 00000936: DUP2 00000937: MLOAD 00000938: DUP2 00000939: MSTORE 0000093a: PUSH1 0x20 0000093c: ADD 0000093d: SWAP2 0000093e: POP 0000093f: DUP1 00000940: MLOAD 00000941: SWAP1 00000942: PUSH1 0x20 00000944: ADD 00000945: SWAP1 00000946: DUP1 00000947: DUP4 00000948: DUP4 00000949: PUSH1 0x00 0000094b: JUMPDEST 0000094c: DUP4 0000094d: DUP2 0000094e: LT 0000094f: ISZERO 00000950: PUSH2 0x0966 00000953: JUMPI 00000954: DUP1 00000955: DUP3 00000956: ADD 00000957: MLOAD 00000958: DUP2 00000959: DUP5 0000095a: ADD 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: DUP2 0000095f: ADD 00000960: SWAP1 00000961: POP 00000962: PUSH2 0x094b 00000965: JUMP 00000966: JUMPDEST 00000967: POP 00000968: POP 00000969: POP 0000096a: POP 0000096b: SWAP1 0000096c: POP 0000096d: SWAP1 0000096e: DUP2 0000096f: ADD 00000970: SWAP1 00000971: PUSH1 0x1f 00000973: AND 00000974: DUP1 00000975: ISZERO 00000976: PUSH2 0x0993 00000979: JUMPI 0000097a: DUP1 0000097b: DUP3 0000097c: SUB 0000097d: DUP1 0000097e: MLOAD 0000097f: PUSH1 0x01 00000981: DUP4 00000982: PUSH1 0x20 00000984: SUB 00000985: PUSH2 0x0100 00000988: EXP 00000989: SUB 0000098a: NOT 0000098b: AND 0000098c: DUP2 0000098d: MSTORE 0000098e: PUSH1 0x20 00000990: ADD 00000991: SWAP2 00000992: POP 00000993: JUMPDEST 00000994: POP 00000995: SWAP3 00000996: POP 00000997: POP 00000998: POP 00000999: PUSH1 0x40 0000099b: MLOAD 0000099c: DUP1 0000099d: SWAP2 0000099e: SUB 0000099f: SWAP1 000009a0: RETURN 000009a1: JUMPDEST 000009a2: PUSH1 0x0d 000009a4: SLOAD 000009a5: TIMESTAMP 000009a6: GT 000009a7: ISZERO 000009a8: ISZERO 000009a9: PUSH2 0x09b1 000009ac: JUMPI 000009ad: PUSH1 0x00 000009af: DUP1 000009b0: REVERT 000009b1: JUMPDEST 000009b2: PUSH1 0x00 000009b4: DUP1 000009b5: SWAP1 000009b6: SLOAD 000009b7: SWAP1 000009b8: PUSH2 0x0100 000009bb: EXP 000009bc: SWAP1 000009bd: DIV 000009be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d3: AND 000009d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e9: AND 000009ea: CALLER 000009eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a00: AND 00000a01: EQ 00000a02: ISZERO 00000a03: ISZERO 00000a04: PUSH2 0x0a0c 00000a07: JUMPI 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: REVERT 00000a0c: JUMPDEST 00000a0d: PUSH1 0x00 00000a0f: ADDRESS 00000a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a25: AND 00000a26: BALANCE 00000a27: SWAP1 00000a28: POP 00000a29: PUSH1 0x01 00000a2b: PUSH1 0x0e 00000a2d: PUSH1 0x02 00000a2f: PUSH2 0x0100 00000a32: EXP 00000a33: DUP2 00000a34: SLOAD 00000a35: DUP2 00000a36: PUSH1 0xff 00000a38: MUL 00000a39: NOT 00000a3a: AND 00000a3b: SWAP1 00000a3c: DUP4 00000a3d: ISZERO 00000a3e: ISZERO 00000a3f: MUL 00000a40: OR 00000a41: SWAP1 00000a42: SSTORE 00000a43: POP 00000a44: PUSH1 0x00 00000a46: DUP1 00000a47: SWAP1 00000a48: SLOAD 00000a49: SWAP1 00000a4a: PUSH2 0x0100 00000a4d: EXP 00000a4e: SWAP1 00000a4f: DIV 00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a65: AND 00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7b: AND 00000a7c: PUSH2 0x08fc 00000a7f: ADDRESS 00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a95: AND 00000a96: BALANCE 00000a97: SWAP1 00000a98: DUP2 00000a99: ISZERO 00000a9a: MUL 00000a9b: SWAP1 00000a9c: PUSH1 0x40 00000a9e: MLOAD 00000a9f: PUSH1 0x00 00000aa1: PUSH1 0x40 00000aa3: MLOAD 00000aa4: DUP1 00000aa5: DUP4 00000aa6: SUB 00000aa7: DUP2 00000aa8: DUP6 00000aa9: DUP9 00000aaa: DUP9 00000aab: CALL 00000aac: SWAP4 00000aad: POP 00000aae: POP 00000aaf: POP 00000ab0: POP 00000ab1: ISZERO 00000ab2: DUP1 00000ab3: ISZERO 00000ab4: PUSH2 0x0ac1 00000ab7: JUMPI 00000ab8: RETURNDATASIZE 00000ab9: PUSH1 0x00 00000abb: DUP1 00000abc: RETURNDATACOPY 00000abd: RETURNDATASIZE 00000abe: PUSH1 0x00 00000ac0: REVERT 00000ac1: JUMPDEST 00000ac2: POP 00000ac3: PUSH1 0x00 00000ac5: DUP1 00000ac6: SWAP1 00000ac7: SLOAD 00000ac8: SWAP1 00000ac9: PUSH2 0x0100 00000acc: EXP 00000acd: SWAP1 00000ace: DIV 00000acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae4: AND 00000ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afa: AND 00000afb: PUSH32 0x1ac1e39f5a410afcc9fd213aab1b92287e00cf00e216f3776f352ab328d124f9 00000b1c: DUP3 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: DUP1 00000b21: DUP3 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x20 00000b26: ADD 00000b27: SWAP2 00000b28: POP 00000b29: POP 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: DUP1 00000b2e: SWAP2 00000b2f: SUB 00000b30: SWAP1 00000b31: LOG2 00000b32: POP 00000b33: JUMP 00000b34: JUMPDEST 00000b35: PUSH1 0x03 00000b37: DUP2 00000b38: DUP2 00000b39: SLOAD 00000b3a: DUP2 00000b3b: LT 00000b3c: ISZERO 00000b3d: ISZERO 00000b3e: PUSH2 0x0b43 00000b41: JUMPI 00000b42: INVALID 00000b43: JUMPDEST 00000b44: SWAP1 00000b45: PUSH1 0x00 00000b47: MSTORE 00000b48: PUSH1 0x20 00000b4a: PUSH1 0x00 00000b4c: KECCAK256 00000b4d: ADD 00000b4e: PUSH1 0x00 00000b50: SWAP2 00000b51: POP 00000b52: SLOAD 00000b53: SWAP1 00000b54: PUSH2 0x0100 00000b57: EXP 00000b58: SWAP1 00000b59: DIV 00000b5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6f: AND 00000b70: DUP2 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH1 0x0e 00000b75: PUSH1 0x01 00000b77: SWAP1 00000b78: SLOAD 00000b79: SWAP1 00000b7a: PUSH2 0x0100 00000b7d: EXP 00000b7e: SWAP1 00000b7f: DIV 00000b80: PUSH1 0xff 00000b82: AND 00000b83: DUP2 00000b84: JUMP 00000b85: JUMPDEST 00000b86: PUSH1 0x06 00000b88: DUP1 00000b89: SLOAD 00000b8a: PUSH1 0x01 00000b8c: DUP2 00000b8d: PUSH1 0x01 00000b8f: AND 00000b90: ISZERO 00000b91: PUSH2 0x0100 00000b94: MUL 00000b95: SUB 00000b96: AND 00000b97: PUSH1 0x02 00000b99: SWAP1 00000b9a: DIV 00000b9b: DUP1 00000b9c: PUSH1 0x1f 00000b9e: ADD 00000b9f: PUSH1 0x20 00000ba1: DUP1 00000ba2: SWAP2 00000ba3: DIV 00000ba4: MUL 00000ba5: PUSH1 0x20 00000ba7: ADD 00000ba8: PUSH1 0x40 00000baa: MLOAD 00000bab: SWAP1 00000bac: DUP2 00000bad: ADD 00000bae: PUSH1 0x40 00000bb0: MSTORE 00000bb1: DUP1 00000bb2: SWAP3 00000bb3: SWAP2 00000bb4: SWAP1 00000bb5: DUP2 00000bb6: DUP2 00000bb7: MSTORE 00000bb8: PUSH1 0x20 00000bba: ADD 00000bbb: DUP3 00000bbc: DUP1 00000bbd: SLOAD 00000bbe: PUSH1 0x01 00000bc0: DUP2 00000bc1: PUSH1 0x01 00000bc3: AND 00000bc4: ISZERO 00000bc5: PUSH2 0x0100 00000bc8: MUL 00000bc9: SUB 00000bca: AND 00000bcb: PUSH1 0x02 00000bcd: SWAP1 00000bce: DIV 00000bcf: DUP1 00000bd0: ISZERO 00000bd1: PUSH2 0x0c1b 00000bd4: JUMPI 00000bd5: DUP1 00000bd6: PUSH1 0x1f 00000bd8: LT 00000bd9: PUSH2 0x0bf0 00000bdc: JUMPI 00000bdd: PUSH2 0x0100 00000be0: DUP1 00000be1: DUP4 00000be2: SLOAD 00000be3: DIV 00000be4: MUL 00000be5: DUP4 00000be6: MSTORE 00000be7: SWAP2 00000be8: PUSH1 0x20 00000bea: ADD 00000beb: SWAP2 00000bec: PUSH2 0x0c1b 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: DUP3 00000bf2: ADD 00000bf3: SWAP2 00000bf4: SWAP1 00000bf5: PUSH1 0x00 00000bf7: MSTORE 00000bf8: PUSH1 0x20 00000bfa: PUSH1 0x00 00000bfc: KECCAK256 00000bfd: SWAP1 00000bfe: JUMPDEST 00000bff: DUP2 00000c00: SLOAD 00000c01: DUP2 00000c02: MSTORE 00000c03: SWAP1 00000c04: PUSH1 0x01 00000c06: ADD 00000c07: SWAP1 00000c08: PUSH1 0x20 00000c0a: ADD 00000c0b: DUP1 00000c0c: DUP4 00000c0d: GT 00000c0e: PUSH2 0x0bfe 00000c11: JUMPI 00000c12: DUP3 00000c13: SWAP1 00000c14: SUB 00000c15: PUSH1 0x1f 00000c17: AND 00000c18: DUP3 00000c19: ADD 00000c1a: SWAP2 00000c1b: JUMPDEST 00000c1c: POP 00000c1d: POP 00000c1e: POP 00000c1f: POP 00000c20: POP 00000c21: DUP2 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH1 0x12 00000c26: PUSH1 0x00 00000c28: SWAP1 00000c29: SLOAD 00000c2a: SWAP1 00000c2b: PUSH2 0x0100 00000c2e: EXP 00000c2f: SWAP1 00000c30: DIV 00000c31: PUSH1 0xff 00000c33: AND 00000c34: ISZERO 00000c35: ISZERO 00000c36: ISZERO 00000c37: PUSH2 0x0c3f 00000c3a: JUMPI 00000c3b: PUSH1 0x00 00000c3d: DUP1 00000c3e: REVERT 00000c3f: JUMPDEST 00000c40: PUSH1 0x01 00000c42: PUSH1 0x12 00000c44: PUSH1 0x00 00000c46: PUSH2 0x0100 00000c49: EXP 00000c4a: DUP2 00000c4b: SLOAD 00000c4c: DUP2 00000c4d: PUSH1 0xff 00000c4f: MUL 00000c50: NOT 00000c51: AND 00000c52: SWAP1 00000c53: DUP4 00000c54: ISZERO 00000c55: ISZERO 00000c56: MUL 00000c57: OR 00000c58: SWAP1 00000c59: SSTORE 00000c5a: POP 00000c5b: PUSH1 0x0a 00000c5d: SLOAD 00000c5e: TIMESTAMP 00000c5f: GT 00000c60: ISZERO 00000c61: ISZERO 00000c62: PUSH2 0x0c6a 00000c65: JUMPI 00000c66: PUSH1 0x00 00000c68: DUP1 00000c69: REVERT 00000c6a: JUMPDEST 00000c6b: PUSH1 0x0c 00000c6d: SLOAD 00000c6e: TIMESTAMP 00000c6f: GT 00000c70: ISZERO 00000c71: ISZERO 00000c72: ISZERO 00000c73: PUSH2 0x0c7b 00000c76: JUMPI 00000c77: PUSH1 0x00 00000c79: DUP1 00000c7a: REVERT 00000c7b: JUMPDEST 00000c7c: PUSH1 0x0e 00000c7e: PUSH1 0x00 00000c80: SWAP1 00000c81: SLOAD 00000c82: SWAP1 00000c83: PUSH2 0x0100 00000c86: EXP 00000c87: SWAP1 00000c88: DIV 00000c89: PUSH1 0xff 00000c8b: AND 00000c8c: ISZERO 00000c8d: ISZERO 00000c8e: ISZERO 00000c8f: PUSH2 0x0c97 00000c92: JUMPI 00000c93: PUSH1 0x00 00000c95: DUP1 00000c96: REVERT 00000c97: JUMPDEST 00000c98: PUSH2 0x0c9f 00000c9b: PUSH2 0x13a4 00000c9e: JUMP 00000c9f: JUMPDEST 00000ca0: PUSH1 0x00 00000ca2: PUSH1 0x12 00000ca4: PUSH1 0x00 00000ca6: PUSH2 0x0100 00000ca9: EXP 00000caa: DUP2 00000cab: SLOAD 00000cac: DUP2 00000cad: PUSH1 0xff 00000caf: MUL 00000cb0: NOT 00000cb1: AND 00000cb2: SWAP1 00000cb3: DUP4 00000cb4: ISZERO 00000cb5: ISZERO 00000cb6: MUL 00000cb7: OR 00000cb8: SWAP1 00000cb9: SSTORE 00000cba: POP 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH1 0x12 00000cbf: PUSH1 0x00 00000cc1: SWAP1 00000cc2: SLOAD 00000cc3: SWAP1 00000cc4: PUSH2 0x0100 00000cc7: EXP 00000cc8: SWAP1 00000cc9: DIV 00000cca: PUSH1 0xff 00000ccc: AND 00000ccd: ISZERO 00000cce: ISZERO 00000ccf: ISZERO 00000cd0: PUSH2 0x0cd8 00000cd3: JUMPI 00000cd4: PUSH1 0x00 00000cd6: DUP1 00000cd7: REVERT 00000cd8: JUMPDEST 00000cd9: PUSH1 0x01 00000cdb: PUSH1 0x12 00000cdd: PUSH1 0x00 00000cdf: PUSH2 0x0100 00000ce2: EXP 00000ce3: DUP2 00000ce4: SLOAD 00000ce5: DUP2 00000ce6: PUSH1 0xff 00000ce8: MUL 00000ce9: NOT 00000cea: AND 00000ceb: SWAP1 00000cec: DUP4 00000ced: ISZERO 00000cee: ISZERO 00000cef: MUL 00000cf0: OR 00000cf1: SWAP1 00000cf2: SSTORE 00000cf3: POP 00000cf4: PUSH1 0x0a 00000cf6: SLOAD 00000cf7: TIMESTAMP 00000cf8: GT 00000cf9: ISZERO 00000cfa: ISZERO 00000cfb: PUSH2 0x0d03 00000cfe: JUMPI 00000cff: PUSH1 0x00 00000d01: DUP1 00000d02: REVERT 00000d03: JUMPDEST 00000d04: PUSH1 0x0e 00000d06: PUSH1 0x00 00000d08: SWAP1 00000d09: SLOAD 00000d0a: SWAP1 00000d0b: PUSH2 0x0100 00000d0e: EXP 00000d0f: SWAP1 00000d10: DIV 00000d11: PUSH1 0xff 00000d13: AND 00000d14: DUP1 00000d15: PUSH2 0x0d1f 00000d18: JUMPI 00000d19: POP 00000d1a: PUSH1 0x0c 00000d1c: SLOAD 00000d1d: TIMESTAMP 00000d1e: GT 00000d1f: JUMPDEST 00000d20: ISZERO 00000d21: ISZERO 00000d22: PUSH2 0x0d2a 00000d25: JUMPI 00000d26: PUSH1 0x00 00000d28: DUP1 00000d29: REVERT 00000d2a: JUMPDEST 00000d2b: PUSH1 0x0e 00000d2d: PUSH1 0x01 00000d2f: SWAP1 00000d30: SLOAD 00000d31: SWAP1 00000d32: PUSH2 0x0100 00000d35: EXP 00000d36: SWAP1 00000d37: DIV 00000d38: PUSH1 0xff 00000d3a: AND 00000d3b: ISZERO 00000d3c: DUP1 00000d3d: PUSH2 0x0d47 00000d40: JUMPI 00000d41: POP 00000d42: PUSH1 0x0c 00000d44: SLOAD 00000d45: TIMESTAMP 00000d46: GT 00000d47: JUMPDEST 00000d48: ISZERO 00000d49: ISZERO 00000d4a: PUSH2 0x0d52 00000d4d: JUMPI 00000d4e: PUSH1 0x00 00000d50: DUP1 00000d51: REVERT 00000d52: JUMPDEST 00000d53: PUSH1 0x00 00000d55: PUSH2 0x0d5d 00000d58: CALLER 00000d59: PUSH2 0x1027 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: GT 00000d5f: ISZERO 00000d60: ISZERO 00000d61: PUSH2 0x0d69 00000d64: JUMPI 00000d65: PUSH1 0x00 00000d67: DUP1 00000d68: REVERT 00000d69: JUMPDEST 00000d6a: PUSH1 0x00 00000d6c: PUSH2 0x0d74 00000d6f: CALLER 00000d70: PUSH2 0x1027 00000d73: JUMP 00000d74: JUMPDEST 00000d75: SWAP1 00000d76: POP 00000d77: PUSH1 0x00 00000d79: PUSH1 0x0f 00000d7b: PUSH1 0x00 00000d7d: CALLER 00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d93: AND 00000d94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da9: AND 00000daa: DUP2 00000dab: MSTORE 00000dac: PUSH1 0x20 00000dae: ADD 00000daf: SWAP1 00000db0: DUP2 00000db1: MSTORE 00000db2: PUSH1 0x20 00000db4: ADD 00000db5: PUSH1 0x00 00000db7: KECCAK256 00000db8: DUP2 00000db9: SWAP1 00000dba: SSTORE 00000dbb: POP 00000dbc: CALLER 00000dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd2: AND 00000dd3: PUSH2 0x08fc 00000dd6: DUP3 00000dd7: SWAP1 00000dd8: DUP2 00000dd9: ISZERO 00000dda: MUL 00000ddb: SWAP1 00000ddc: PUSH1 0x40 00000dde: MLOAD 00000ddf: PUSH1 0x00 00000de1: PUSH1 0x40 00000de3: MLOAD 00000de4: DUP1 00000de5: DUP4 00000de6: SUB 00000de7: DUP2 00000de8: DUP6 00000de9: DUP9 00000dea: DUP9 00000deb: CALL 00000dec: SWAP4 00000ded: POP 00000dee: POP 00000def: POP 00000df0: POP 00000df1: ISZERO 00000df2: DUP1 00000df3: ISZERO 00000df4: PUSH2 0x0e01 00000df7: JUMPI 00000df8: RETURNDATASIZE 00000df9: PUSH1 0x00 00000dfb: DUP1 00000dfc: RETURNDATACOPY 00000dfd: RETURNDATASIZE 00000dfe: PUSH1 0x00 00000e00: REVERT 00000e01: JUMPDEST 00000e02: POP 00000e03: CALLER 00000e04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e19: AND 00000e1a: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 00000e3b: DUP3 00000e3c: PUSH1 0x40 00000e3e: MLOAD 00000e3f: DUP1 00000e40: DUP3 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x20 00000e45: ADD 00000e46: SWAP2 00000e47: POP 00000e48: POP 00000e49: PUSH1 0x40 00000e4b: MLOAD 00000e4c: DUP1 00000e4d: SWAP2 00000e4e: SUB 00000e4f: SWAP1 00000e50: LOG2 00000e51: POP 00000e52: PUSH1 0x00 00000e54: PUSH1 0x12 00000e56: PUSH1 0x00 00000e58: PUSH2 0x0100 00000e5b: EXP 00000e5c: DUP2 00000e5d: SLOAD 00000e5e: DUP2 00000e5f: PUSH1 0xff 00000e61: MUL 00000e62: NOT 00000e63: AND 00000e64: SWAP1 00000e65: DUP4 00000e66: ISZERO 00000e67: ISZERO 00000e68: MUL 00000e69: OR 00000e6a: SWAP1 00000e6b: SSTORE 00000e6c: POP 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: PUSH1 0x04 00000e71: PUSH1 0x00 00000e73: SWAP1 00000e74: SLOAD 00000e75: SWAP1 00000e76: PUSH2 0x0100 00000e79: EXP 00000e7a: SWAP1 00000e7b: DIV 00000e7c: PUSH1 0xff 00000e7e: AND 00000e7f: DUP2 00000e80: JUMP 00000e81: JUMPDEST 00000e82: PUSH1 0x01 00000e84: PUSH1 0x20 00000e86: MSTORE 00000e87: DUP1 00000e88: PUSH1 0x00 00000e8a: MSTORE 00000e8b: PUSH1 0x40 00000e8d: PUSH1 0x00 00000e8f: KECCAK256 00000e90: PUSH1 0x00 00000e92: SWAP2 00000e93: POP 00000e94: SLOAD 00000e95: SWAP1 00000e96: PUSH2 0x0100 00000e99: EXP 00000e9a: SWAP1 00000e9b: DIV 00000e9c: PUSH1 0xff 00000e9e: AND 00000e9f: DUP2 00000ea0: JUMP 00000ea1: JUMPDEST 00000ea2: PUSH1 0x00 00000ea4: DUP1 00000ea5: PUSH1 0x01 00000ea7: PUSH1 0x00 00000ea9: DUP5 00000eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebf: AND 00000ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed5: AND 00000ed6: DUP2 00000ed7: MSTORE 00000ed8: PUSH1 0x20 00000eda: ADD 00000edb: SWAP1 00000edc: DUP2 00000edd: MSTORE 00000ede: PUSH1 0x20 00000ee0: ADD 00000ee1: PUSH1 0x00 00000ee3: KECCAK256 00000ee4: PUSH1 0x00 00000ee6: SWAP1 00000ee7: SLOAD 00000ee8: SWAP1 00000ee9: PUSH2 0x0100 00000eec: EXP 00000eed: SWAP1 00000eee: DIV 00000eef: PUSH1 0xff 00000ef1: AND 00000ef2: PUSH1 0xff 00000ef4: AND 00000ef5: GT 00000ef6: ISZERO 00000ef7: ISZERO 00000ef8: PUSH2 0x0f00 00000efb: JUMPI 00000efc: PUSH1 0x00 00000efe: DUP1 00000eff: REVERT 00000f00: JUMPDEST 00000f01: PUSH1 0x00 00000f03: PUSH2 0x0f6b 00000f06: PUSH2 0x0f45 00000f09: PUSH2 0x2710 00000f0c: PUSH2 0x0f37 00000f0f: PUSH1 0x0b 00000f11: SLOAD 00000f12: ADDRESS 00000f13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f28: AND 00000f29: BALANCE 00000f2a: PUSH2 0x17fe 00000f2d: SWAP1 00000f2e: SWAP2 00000f2f: SWAP1 00000f30: PUSH4 0xffffffff 00000f35: AND 00000f36: JUMP 00000f37: JUMPDEST 00000f38: PUSH2 0x1888 00000f3b: SWAP1 00000f3c: SWAP2 00000f3d: SWAP1 00000f3e: PUSH4 0xffffffff 00000f43: AND 00000f44: JUMP 00000f45: JUMPDEST 00000f46: ADDRESS 00000f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5c: AND 00000f5d: BALANCE 00000f5e: PUSH2 0x191b 00000f61: SWAP1 00000f62: SWAP2 00000f63: SWAP1 00000f64: PUSH4 0xffffffff 00000f69: AND 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: SWAP1 00000f6d: POP 00000f6e: PUSH1 0x00 00000f70: PUSH1 0x01 00000f72: PUSH1 0x00 00000f74: DUP6 00000f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8a: AND 00000f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa0: AND 00000fa1: DUP2 00000fa2: MSTORE 00000fa3: PUSH1 0x20 00000fa5: ADD 00000fa6: SWAP1 00000fa7: DUP2 00000fa8: MSTORE 00000fa9: PUSH1 0x20 00000fab: ADD 00000fac: PUSH1 0x00 00000fae: KECCAK256 00000faf: PUSH1 0x00 00000fb1: SWAP1 00000fb2: SLOAD 00000fb3: SWAP1 00000fb4: PUSH2 0x0100 00000fb7: EXP 00000fb8: SWAP1 00000fb9: DIV 00000fba: PUSH1 0xff 00000fbc: AND 00000fbd: SWAP1 00000fbe: POP 00000fbf: PUSH2 0x0ff8 00000fc2: PUSH1 0x02 00000fc4: PUSH1 0x00 00000fc6: SWAP1 00000fc7: SLOAD 00000fc8: SWAP1 00000fc9: PUSH2 0x0100 00000fcc: EXP 00000fcd: SWAP1 00000fce: DIV 00000fcf: PUSH1 0xff 00000fd1: AND 00000fd2: PUSH1 0xff 00000fd4: AND 00000fd5: PUSH2 0x0fea 00000fd8: DUP4 00000fd9: PUSH1 0xff 00000fdb: AND 00000fdc: DUP6 00000fdd: PUSH2 0x17fe 00000fe0: SWAP1 00000fe1: SWAP2 00000fe2: SWAP1 00000fe3: PUSH4 0xffffffff 00000fe8: AND 00000fe9: JUMP 00000fea: JUMPDEST 00000feb: PUSH2 0x1888 00000fee: SWAP1 00000fef: SWAP2 00000ff0: SWAP1 00000ff1: PUSH4 0xffffffff 00000ff6: AND 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: SWAP3 00000ffa: POP 00000ffb: POP 00000ffc: POP 00000ffd: SWAP2 00000ffe: SWAP1 00000fff: POP 00001000: JUMP 00001001: JUMPDEST 00001002: PUSH1 0x07 00001004: PUSH1 0x00 00001006: SWAP1 00001007: SLOAD 00001008: SWAP1 00001009: PUSH2 0x0100 0000100c: EXP 0000100d: SWAP1 0000100e: DIV 0000100f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001024: AND 00001025: DUP2 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x00 0000102a: PUSH1 0x0e 0000102c: PUSH1 0x02 0000102e: SWAP1 0000102f: SLOAD 00001030: SWAP1 00001031: PUSH2 0x0100 00001034: EXP 00001035: SWAP1 00001036: DIV 00001037: PUSH1 0xff 00001039: AND 0000103a: ISZERO 0000103b: PUSH2 0x1047 0000103e: JUMPI 0000103f: PUSH1 0x00 00001041: SWAP1 00001042: POP 00001043: PUSH2 0x108a 00001046: JUMP 00001047: JUMPDEST 00001048: PUSH1 0x0f 0000104a: PUSH1 0x00 0000104c: DUP4 0000104d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001062: AND 00001063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001078: AND 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: ADD 0000107e: SWAP1 0000107f: DUP2 00001080: MSTORE 00001081: PUSH1 0x20 00001083: ADD 00001084: PUSH1 0x00 00001086: KECCAK256 00001087: SLOAD 00001088: SWAP1 00001089: POP 0000108a: JUMPDEST 0000108b: SWAP2 0000108c: SWAP1 0000108d: POP 0000108e: JUMP 0000108f: JUMPDEST 00001090: PUSH1 0x08 00001092: SLOAD 00001093: DUP2 00001094: JUMP 00001095: JUMPDEST 00001096: PUSH1 0x0f 00001098: PUSH1 0x20 0000109a: MSTORE 0000109b: DUP1 0000109c: PUSH1 0x00 0000109e: MSTORE 0000109f: PUSH1 0x40 000010a1: PUSH1 0x00 000010a3: KECCAK256 000010a4: PUSH1 0x00 000010a6: SWAP2 000010a7: POP 000010a8: SWAP1 000010a9: POP 000010aa: SLOAD 000010ab: DUP2 000010ac: JUMP 000010ad: JUMPDEST 000010ae: PUSH1 0x0c 000010b0: SLOAD 000010b1: DUP2 000010b2: JUMP 000010b3: JUMPDEST 000010b4: PUSH1 0x04 000010b6: PUSH1 0x01 000010b8: SWAP1 000010b9: SLOAD 000010ba: SWAP1 000010bb: PUSH2 0x0100 000010be: EXP 000010bf: SWAP1 000010c0: DIV 000010c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d6: AND 000010d7: DUP2 000010d8: JUMP 000010d9: JUMPDEST 000010da: PUSH1 0x00 000010dc: DUP1 000010dd: PUSH1 0x05 000010df: PUSH1 0x00 000010e1: SWAP1 000010e2: SLOAD 000010e3: SWAP1 000010e4: PUSH2 0x0100 000010e7: EXP 000010e8: SWAP1 000010e9: DIV 000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ff: AND 00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001115: AND 00001116: PUSH4 0x7f8d429e 0000111b: PUSH1 0x09 0000111d: SLOAD 0000111e: PUSH1 0x40 00001120: MLOAD 00001121: DUP3 00001122: PUSH4 0xffffffff 00001127: AND 00001128: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001146: MUL 00001147: DUP2 00001148: MSTORE 00001149: PUSH1 0x04 0000114b: ADD 0000114c: DUP1 0000114d: DUP3 0000114e: DUP2 0000114f: MSTORE 00001150: PUSH1 0x20 00001152: ADD 00001153: SWAP2 00001154: POP 00001155: POP 00001156: PUSH1 0x20 00001158: PUSH1 0x40 0000115a: MLOAD 0000115b: DUP1 0000115c: DUP4 0000115d: SUB 0000115e: DUP2 0000115f: DUP7 00001160: DUP1 00001161: EXTCODESIZE 00001162: ISZERO 00001163: DUP1 00001164: ISZERO 00001165: PUSH2 0x116d 00001168: JUMPI 00001169: PUSH1 0x00 0000116b: DUP1 0000116c: REVERT 0000116d: JUMPDEST 0000116e: POP 0000116f: GAS 00001170: STATICCALL 00001171: ISZERO 00001172: DUP1 00001173: ISZERO 00001174: PUSH2 0x1181 00001177: JUMPI 00001178: RETURNDATASIZE 00001179: PUSH1 0x00 0000117b: DUP1 0000117c: RETURNDATACOPY 0000117d: RETURNDATASIZE 0000117e: PUSH1 0x00 00001180: REVERT 00001181: JUMPDEST 00001182: POP 00001183: POP 00001184: POP 00001185: POP 00001186: PUSH1 0x40 00001188: MLOAD 00001189: RETURNDATASIZE 0000118a: PUSH1 0x20 0000118c: DUP2 0000118d: LT 0000118e: ISZERO 0000118f: PUSH2 0x1197 00001192: JUMPI 00001193: PUSH1 0x00 00001195: DUP1 00001196: REVERT 00001197: JUMPDEST 00001198: DUP2 00001199: ADD 0000119a: SWAP1 0000119b: DUP1 0000119c: DUP1 0000119d: MLOAD 0000119e: SWAP1 0000119f: PUSH1 0x20 000011a1: ADD 000011a2: SWAP1 000011a3: SWAP3 000011a4: SWAP2 000011a5: SWAP1 000011a6: POP 000011a7: POP 000011a8: POP 000011a9: ISZERO 000011aa: PUSH2 0x12ef 000011ad: JUMPI 000011ae: PUSH1 0x00 000011b0: PUSH1 0x05 000011b2: PUSH1 0x00 000011b4: SWAP1 000011b5: SLOAD 000011b6: SWAP1 000011b7: PUSH2 0x0100 000011ba: EXP 000011bb: SWAP1 000011bc: DIV 000011bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d2: AND 000011d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e8: AND 000011e9: PUSH4 0xa462fb7b 000011ee: PUSH1 0x09 000011f0: SLOAD 000011f1: PUSH1 0x40 000011f3: MLOAD 000011f4: DUP3 000011f5: PUSH4 0xffffffff 000011fa: AND 000011fb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001219: MUL 0000121a: DUP2 0000121b: MSTORE 0000121c: PUSH1 0x04 0000121e: ADD 0000121f: DUP1 00001220: DUP3 00001221: DUP2 00001222: MSTORE 00001223: PUSH1 0x20 00001225: ADD 00001226: SWAP2 00001227: POP 00001228: POP 00001229: PUSH1 0x20 0000122b: PUSH1 0x40 0000122d: MLOAD 0000122e: DUP1 0000122f: DUP4 00001230: SUB 00001231: DUP2 00001232: DUP7 00001233: DUP1 00001234: EXTCODESIZE 00001235: ISZERO 00001236: DUP1 00001237: ISZERO 00001238: PUSH2 0x1240 0000123b: JUMPI 0000123c: PUSH1 0x00 0000123e: DUP1 0000123f: REVERT 00001240: JUMPDEST 00001241: POP 00001242: GAS 00001243: STATICCALL 00001244: ISZERO 00001245: DUP1 00001246: ISZERO 00001247: PUSH2 0x1254 0000124a: JUMPI 0000124b: RETURNDATASIZE 0000124c: PUSH1 0x00 0000124e: DUP1 0000124f: RETURNDATACOPY 00001250: RETURNDATASIZE 00001251: PUSH1 0x00 00001253: REVERT 00001254: JUMPDEST 00001255: POP 00001256: POP 00001257: POP 00001258: POP 00001259: PUSH1 0x40 0000125b: MLOAD 0000125c: RETURNDATASIZE 0000125d: PUSH1 0x20 0000125f: DUP2 00001260: LT 00001261: ISZERO 00001262: PUSH2 0x126a 00001265: JUMPI 00001266: PUSH1 0x00 00001268: DUP1 00001269: REVERT 0000126a: JUMPDEST 0000126b: DUP2 0000126c: ADD 0000126d: SWAP1 0000126e: DUP1 0000126f: DUP1 00001270: MLOAD 00001271: SWAP1 00001272: PUSH1 0x20 00001274: ADD 00001275: SWAP1 00001276: SWAP3 00001277: SWAP2 00001278: SWAP1 00001279: POP 0000127a: POP 0000127b: POP 0000127c: SWAP1 0000127d: POP 0000127e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000129f: PUSH1 0x01 000012a1: MUL 000012a2: DUP2 000012a3: EQ 000012a4: ISZERO 000012a5: PUSH2 0x12b5 000012a8: JUMPI 000012a9: PUSH1 0x00 000012ab: DUP1 000012ac: SWAP3 000012ad: POP 000012ae: SWAP3 000012af: POP 000012b0: POP 000012b1: PUSH2 0x12f8 000012b4: JUMP 000012b5: JUMPDEST 000012b6: PUSH1 0x04 000012b8: PUSH1 0x15 000012ba: SWAP1 000012bb: SLOAD 000012bc: SWAP1 000012bd: PUSH2 0x0100 000012c0: EXP 000012c1: SWAP1 000012c2: DIV 000012c3: PUSH1 0xff 000012c5: AND 000012c6: ISZERO 000012c7: PUSH2 0x12dd 000012ca: JUMPI 000012cb: PUSH1 0x00 000012cd: PUSH1 0x01 000012cf: MUL 000012d0: DUP2 000012d1: EQ 000012d2: PUSH1 0x00 000012d4: SWAP3 000012d5: POP 000012d6: SWAP3 000012d7: POP 000012d8: POP 000012d9: PUSH2 0x12f8 000012dc: JUMP 000012dd: JUMPDEST 000012de: PUSH1 0x01 000012e0: DUP1 000012e1: MUL 000012e2: DUP2 000012e3: EQ 000012e4: PUSH1 0x00 000012e6: SWAP3 000012e7: POP 000012e8: SWAP3 000012e9: POP 000012ea: POP 000012eb: PUSH2 0x12f8 000012ee: JUMP 000012ef: JUMPDEST 000012f0: PUSH1 0x00 000012f2: PUSH1 0x01 000012f4: SWAP2 000012f5: POP 000012f6: SWAP2 000012f7: POP 000012f8: JUMPDEST 000012f9: SWAP1 000012fa: SWAP2 000012fb: JUMP 000012fc: JUMPDEST 000012fd: PUSH1 0x09 000012ff: SLOAD 00001300: DUP2 00001301: JUMP 00001302: JUMPDEST 00001303: PUSH1 0x0e 00001305: PUSH1 0x00 00001307: SWAP1 00001308: SLOAD 00001309: SWAP1 0000130a: PUSH2 0x0100 0000130d: EXP 0000130e: SWAP1 0000130f: DIV 00001310: PUSH1 0xff 00001312: AND 00001313: DUP2 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x04 00001318: PUSH1 0x15 0000131a: SWAP1 0000131b: SLOAD 0000131c: SWAP1 0000131d: PUSH2 0x0100 00001320: EXP 00001321: SWAP1 00001322: DIV 00001323: PUSH1 0xff 00001325: AND 00001326: DUP2 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH1 0x0a 0000132b: SLOAD 0000132c: DUP2 0000132d: JUMP 0000132e: JUMPDEST 0000132f: PUSH1 0x10 00001331: SLOAD 00001332: DUP2 00001333: JUMP 00001334: JUMPDEST 00001335: PUSH1 0x00 00001337: DUP1 00001338: SWAP1 00001339: SLOAD 0000133a: SWAP1 0000133b: PUSH2 0x0100 0000133e: EXP 0000133f: SWAP1 00001340: DIV 00001341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001356: AND 00001357: DUP2 00001358: JUMP 00001359: JUMPDEST 0000135a: PUSH1 0x0d 0000135c: SLOAD 0000135d: DUP2 0000135e: JUMP 0000135f: JUMPDEST 00001360: PUSH1 0x11 00001362: SLOAD 00001363: DUP2 00001364: JUMP 00001365: JUMPDEST 00001366: PUSH1 0x0b 00001368: SLOAD 00001369: DUP2 0000136a: JUMP 0000136b: JUMPDEST 0000136c: PUSH1 0x40 0000136e: DUP1 0000136f: MLOAD 00001370: SWAP1 00001371: DUP2 00001372: ADD 00001373: PUSH1 0x40 00001375: MSTORE 00001376: DUP1 00001377: PUSH1 0x05 00001379: DUP2 0000137a: MSTORE 0000137b: PUSH1 0x20 0000137d: ADD 0000137e: PUSH32 0x302e342e31000000000000000000000000000000000000000000000000000000 0000139f: DUP2 000013a0: MSTORE 000013a1: POP 000013a2: DUP2 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x00 000013a7: PUSH2 0x13ae 000013aa: PUSH2 0x10d9 000013ad: JUMP 000013ae: JUMPDEST 000013af: PUSH1 0x0e 000013b1: PUSH1 0x01 000013b3: DUP3 000013b4: SWAP5 000013b5: POP 000013b6: DUP4 000013b7: SWAP2 000013b8: SWAP1 000013b9: PUSH2 0x0100 000013bc: EXP 000013bd: DUP2 000013be: SLOAD 000013bf: DUP2 000013c0: PUSH1 0xff 000013c2: MUL 000013c3: NOT 000013c4: AND 000013c5: SWAP1 000013c6: DUP4 000013c7: ISZERO 000013c8: ISZERO 000013c9: MUL 000013ca: OR 000013cb: SWAP1 000013cc: SSTORE 000013cd: POP 000013ce: POP 000013cf: POP 000013d0: DUP1 000013d1: ISZERO 000013d2: ISZERO 000013d3: PUSH2 0x17fb 000013d6: JUMPI 000013d7: PUSH1 0x01 000013d9: PUSH1 0x0e 000013db: PUSH1 0x00 000013dd: PUSH2 0x0100 000013e0: EXP 000013e1: DUP2 000013e2: SLOAD 000013e3: DUP2 000013e4: PUSH1 0xff 000013e6: MUL 000013e7: NOT 000013e8: AND 000013e9: SWAP1 000013ea: DUP4 000013eb: ISZERO 000013ec: ISZERO 000013ed: MUL 000013ee: OR 000013ef: SWAP1 000013f0: SSTORE 000013f1: POP 000013f2: PUSH1 0x0e 000013f4: PUSH1 0x01 000013f6: SWAP1 000013f7: SLOAD 000013f8: SWAP1 000013f9: PUSH2 0x0100 000013fc: EXP 000013fd: SWAP1 000013fe: DIV 000013ff: PUSH1 0xff 00001401: AND 00001402: ISZERO 00001403: PUSH2 0x17cd 00001406: JUMPI 00001407: PUSH1 0x00 00001409: PUSH1 0x03 0000140b: DUP1 0000140c: SLOAD 0000140d: SWAP1 0000140e: POP 0000140f: SWAP1 00001410: POP 00001411: PUSH1 0x00 00001413: PUSH1 0x0b 00001415: SLOAD 00001416: GT 00001417: ISZERO 00001418: PUSH2 0x1538 0000141b: JUMPI 0000141c: PUSH1 0x00 0000141e: PUSH2 0x145d 00001421: PUSH2 0x2710 00001424: PUSH2 0x144f 00001427: PUSH1 0x0b 00001429: SLOAD 0000142a: ADDRESS 0000142b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001440: AND 00001441: BALANCE 00001442: PUSH2 0x17fe 00001445: SWAP1 00001446: SWAP2 00001447: SWAP1 00001448: PUSH4 0xffffffff 0000144d: AND 0000144e: JUMP 0000144f: JUMPDEST 00001450: PUSH2 0x1888 00001453: SWAP1 00001454: SWAP2 00001455: SWAP1 00001456: PUSH4 0xffffffff 0000145b: AND 0000145c: JUMP 0000145d: JUMPDEST 0000145e: SWAP1 0000145f: POP 00001460: PUSH1 0x00 00001462: DUP1 00001463: SWAP1 00001464: SLOAD 00001465: SWAP1 00001466: PUSH2 0x0100 00001469: EXP 0000146a: SWAP1 0000146b: DIV 0000146c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001481: AND 00001482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001497: AND 00001498: PUSH2 0x08fc 0000149b: DUP3 0000149c: SWAP1 0000149d: DUP2 0000149e: ISZERO 0000149f: MUL 000014a0: SWAP1 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: PUSH1 0x00 000014a6: PUSH1 0x40 000014a8: MLOAD 000014a9: DUP1 000014aa: DUP4 000014ab: SUB 000014ac: DUP2 000014ad: DUP6 000014ae: DUP9 000014af: DUP9 000014b0: CALL 000014b1: SWAP4 000014b2: POP 000014b3: POP 000014b4: POP 000014b5: POP 000014b6: ISZERO 000014b7: DUP1 000014b8: ISZERO 000014b9: PUSH2 0x14c6 000014bc: JUMPI 000014bd: RETURNDATASIZE 000014be: PUSH1 0x00 000014c0: DUP1 000014c1: RETURNDATACOPY 000014c2: RETURNDATASIZE 000014c3: PUSH1 0x00 000014c5: REVERT 000014c6: JUMPDEST 000014c7: POP 000014c8: PUSH1 0x00 000014ca: DUP1 000014cb: SWAP1 000014cc: SLOAD 000014cd: SWAP1 000014ce: PUSH2 0x0100 000014d1: EXP 000014d2: SWAP1 000014d3: DIV 000014d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e9: AND 000014ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ff: AND 00001500: PUSH32 0x7bd3aa7d673767f759ebf216e7f6c12844986c661ae6e0f1d988cf7eb7394d1d 00001521: DUP3 00001522: PUSH1 0x40 00001524: MLOAD 00001525: DUP1 00001526: DUP3 00001527: DUP2 00001528: MSTORE 00001529: PUSH1 0x20 0000152b: ADD 0000152c: SWAP2 0000152d: POP 0000152e: POP 0000152f: PUSH1 0x40 00001531: MLOAD 00001532: DUP1 00001533: SWAP2 00001534: SUB 00001535: SWAP1 00001536: LOG2 00001537: POP 00001538: JUMPDEST 00001539: PUSH1 0x00 0000153b: DUP1 0000153c: SWAP1 0000153d: POP 0000153e: JUMPDEST 0000153f: PUSH1 0x01 00001541: DUP3 00001542: SUB 00001543: DUP2 00001544: LT 00001545: ISZERO 00001546: PUSH2 0x16d2 00001549: JUMPI 0000154a: PUSH1 0x00 0000154c: PUSH1 0x03 0000154e: DUP3 0000154f: DUP2 00001550: SLOAD 00001551: DUP2 00001552: LT 00001553: ISZERO 00001554: ISZERO 00001555: PUSH2 0x155a 00001558: JUMPI 00001559: INVALID 0000155a: JUMPDEST 0000155b: SWAP1 0000155c: PUSH1 0x00 0000155e: MSTORE 0000155f: PUSH1 0x20 00001561: PUSH1 0x00 00001563: KECCAK256 00001564: ADD 00001565: PUSH1 0x00 00001567: SWAP1 00001568: SLOAD 00001569: SWAP1 0000156a: PUSH2 0x0100 0000156d: EXP 0000156e: SWAP1 0000156f: DIV 00001570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001585: AND 00001586: SWAP1 00001587: POP 00001588: PUSH1 0x00 0000158a: PUSH1 0x01 0000158c: PUSH1 0x00 0000158e: DUP4 0000158f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a4: AND 000015a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ba: AND 000015bb: DUP2 000015bc: MSTORE 000015bd: PUSH1 0x20 000015bf: ADD 000015c0: SWAP1 000015c1: DUP2 000015c2: MSTORE 000015c3: PUSH1 0x20 000015c5: ADD 000015c6: PUSH1 0x00 000015c8: KECCAK256 000015c9: PUSH1 0x00 000015cb: SWAP1 000015cc: SLOAD 000015cd: SWAP1 000015ce: PUSH2 0x0100 000015d1: EXP 000015d2: SWAP1 000015d3: DIV 000015d4: PUSH1 0xff 000015d6: AND 000015d7: SWAP1 000015d8: POP 000015d9: PUSH1 0x00 000015db: PUSH2 0x162b 000015de: PUSH1 0x02 000015e0: PUSH1 0x00 000015e2: SWAP1 000015e3: SLOAD 000015e4: SWAP1 000015e5: PUSH2 0x0100 000015e8: EXP 000015e9: SWAP1 000015ea: DIV 000015eb: PUSH1 0xff 000015ed: AND 000015ee: PUSH1 0xff 000015f0: AND 000015f1: PUSH2 0x161d 000015f4: DUP5 000015f5: PUSH1 0xff 000015f7: AND 000015f8: ADDRESS 000015f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000160e: AND 0000160f: BALANCE 00001610: PUSH2 0x17fe 00001613: SWAP1 00001614: SWAP2 00001615: SWAP1 00001616: PUSH4 0xffffffff 0000161b: AND 0000161c: JUMP 0000161d: JUMPDEST 0000161e: PUSH2 0x1888 00001621: SWAP1 00001622: SWAP2 00001623: SWAP1 00001624: PUSH4 0xffffffff 00001629: AND 0000162a: JUMP 0000162b: JUMPDEST 0000162c: SWAP1 0000162d: POP 0000162e: DUP3 0000162f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001644: AND 00001645: PUSH2 0x08fc 00001648: DUP3 00001649: SWAP1 0000164a: DUP2 0000164b: ISZERO 0000164c: MUL 0000164d: SWAP1 0000164e: PUSH1 0x40 00001650: MLOAD 00001651: PUSH1 0x00 00001653: PUSH1 0x40 00001655: MLOAD 00001656: DUP1 00001657: DUP4 00001658: SUB 00001659: DUP2 0000165a: DUP6 0000165b: DUP9 0000165c: DUP9 0000165d: CALL 0000165e: SWAP4 0000165f: POP 00001660: POP 00001661: POP 00001662: POP 00001663: ISZERO 00001664: DUP1 00001665: ISZERO 00001666: PUSH2 0x1673 00001669: JUMPI 0000166a: RETURNDATASIZE 0000166b: PUSH1 0x00 0000166d: DUP1 0000166e: RETURNDATACOPY 0000166f: RETURNDATASIZE 00001670: PUSH1 0x00 00001672: REVERT 00001673: JUMPDEST 00001674: POP 00001675: DUP3 00001676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000168b: AND 0000168c: PUSH32 0x2a01595cddf097c90216094025db714da3f4e5bd8877b56ba86a24ecead8e543 000016ad: DUP3 000016ae: PUSH1 0x40 000016b0: MLOAD 000016b1: DUP1 000016b2: DUP3 000016b3: DUP2 000016b4: MSTORE 000016b5: PUSH1 0x20 000016b7: ADD 000016b8: SWAP2 000016b9: POP 000016ba: POP 000016bb: PUSH1 0x40 000016bd: MLOAD 000016be: DUP1 000016bf: SWAP2 000016c0: SUB 000016c1: SWAP1 000016c2: LOG2 000016c3: POP 000016c4: POP 000016c5: POP 000016c6: DUP1 000016c7: DUP1 000016c8: PUSH1 0x01 000016ca: ADD 000016cb: SWAP2 000016cc: POP 000016cd: POP 000016ce: PUSH2 0x153e 000016d1: JUMP 000016d2: JUMPDEST 000016d3: POP 000016d4: PUSH1 0x00 000016d6: ADDRESS 000016d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ec: AND 000016ed: BALANCE 000016ee: SWAP1 000016ef: POP 000016f0: PUSH1 0x00 000016f2: PUSH1 0x03 000016f4: PUSH1 0x01 000016f6: DUP5 000016f7: SUB 000016f8: DUP2 000016f9: SLOAD 000016fa: DUP2 000016fb: LT 000016fc: ISZERO 000016fd: ISZERO 000016fe: PUSH2 0x1703 00001701: JUMPI 00001702: INVALID 00001703: JUMPDEST 00001704: SWAP1 00001705: PUSH1 0x00 00001707: MSTORE 00001708: PUSH1 0x20 0000170a: PUSH1 0x00 0000170c: KECCAK256 0000170d: ADD 0000170e: PUSH1 0x00 00001710: SWAP1 00001711: SLOAD 00001712: SWAP1 00001713: PUSH2 0x0100 00001716: EXP 00001717: SWAP1 00001718: DIV 00001719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172e: AND 0000172f: SWAP1 00001730: POP 00001731: DUP1 00001732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001747: AND 00001748: PUSH2 0x08fc 0000174b: DUP4 0000174c: SWAP1 0000174d: DUP2 0000174e: ISZERO 0000174f: MUL 00001750: SWAP1 00001751: PUSH1 0x40 00001753: MLOAD 00001754: PUSH1 0x00 00001756: PUSH1 0x40 00001758: MLOAD 00001759: DUP1 0000175a: DUP4 0000175b: SUB 0000175c: DUP2 0000175d: DUP6 0000175e: DUP9 0000175f: DUP9 00001760: CALL 00001761: SWAP4 00001762: POP 00001763: POP 00001764: POP 00001765: POP 00001766: ISZERO 00001767: DUP1 00001768: ISZERO 00001769: PUSH2 0x1776 0000176c: JUMPI 0000176d: RETURNDATASIZE 0000176e: PUSH1 0x00 00001770: DUP1 00001771: RETURNDATACOPY 00001772: RETURNDATASIZE 00001773: PUSH1 0x00 00001775: REVERT 00001776: JUMPDEST 00001777: POP 00001778: DUP1 00001779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178e: AND 0000178f: PUSH32 0x2a01595cddf097c90216094025db714da3f4e5bd8877b56ba86a24ecead8e543 000017b0: DUP4 000017b1: PUSH1 0x40 000017b3: MLOAD 000017b4: DUP1 000017b5: DUP3 000017b6: DUP2 000017b7: MSTORE 000017b8: PUSH1 0x20 000017ba: ADD 000017bb: SWAP2 000017bc: POP 000017bd: POP 000017be: PUSH1 0x40 000017c0: MLOAD 000017c1: DUP1 000017c2: SWAP2 000017c3: SUB 000017c4: SWAP1 000017c5: LOG2 000017c6: POP 000017c7: POP 000017c8: POP 000017c9: PUSH2 0x17fa 000017cc: JUMP 000017cd: JUMPDEST 000017ce: PUSH32 0x625a40e68d9554793bf647bf32e4885e7f15bd1bfac262906cc7d26f376f20a2 000017ef: PUSH1 0x40 000017f1: MLOAD 000017f2: PUSH1 0x40 000017f4: MLOAD 000017f5: DUP1 000017f6: SWAP2 000017f7: SUB 000017f8: SWAP1 000017f9: LOG1 000017fa: JUMPDEST 000017fb: JUMPDEST 000017fc: POP 000017fd: JUMP 000017fe: JUMPDEST 000017ff: PUSH1 0x00 00001801: DUP1 00001802: DUP4 00001803: EQ 00001804: ISZERO 00001805: PUSH2 0x1811 00001808: JUMPI 00001809: PUSH1 0x00 0000180b: SWAP1 0000180c: POP 0000180d: PUSH2 0x1882 00001810: JUMP 00001811: JUMPDEST 00001812: PUSH1 0x00 00001814: DUP3 00001815: DUP5 00001816: MUL 00001817: SWAP1 00001818: POP 00001819: DUP3 0000181a: DUP5 0000181b: DUP3 0000181c: DUP2 0000181d: ISZERO 0000181e: ISZERO 0000181f: PUSH2 0x1824 00001822: JUMPI 00001823: INVALID 00001824: JUMPDEST 00001825: DIV 00001826: EQ 00001827: ISZERO 00001828: ISZERO 00001829: PUSH2 0x187d 0000182c: JUMPI 0000182d: PUSH1 0x40 0000182f: MLOAD 00001830: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001851: DUP2 00001852: MSTORE 00001853: PUSH1 0x04 00001855: ADD 00001856: DUP1 00001857: DUP1 00001858: PUSH1 0x20 0000185a: ADD 0000185b: DUP3 0000185c: DUP2 0000185d: SUB 0000185e: DUP3 0000185f: MSTORE 00001860: PUSH1 0x21 00001862: DUP2 00001863: MSTORE 00001864: PUSH1 0x20 00001866: ADD 00001867: DUP1 00001868: PUSH2 0x19a7 0000186b: PUSH1 0x21 0000186d: SWAP2 0000186e: CODECOPY 0000186f: PUSH1 0x40 00001871: ADD 00001872: SWAP2 00001873: POP 00001874: POP 00001875: PUSH1 0x40 00001877: MLOAD 00001878: DUP1 00001879: SWAP2 0000187a: SUB 0000187b: SWAP1 0000187c: REVERT 0000187d: JUMPDEST 0000187e: DUP1 0000187f: SWAP2 00001880: POP 00001881: POP 00001882: JUMPDEST 00001883: SWAP3 00001884: SWAP2 00001885: POP 00001886: POP 00001887: JUMP 00001888: JUMPDEST 00001889: PUSH1 0x00 0000188b: DUP1 0000188c: DUP3 0000188d: GT 0000188e: ISZERO 0000188f: ISZERO 00001890: PUSH2 0x1901 00001893: JUMPI 00001894: PUSH1 0x40 00001896: MLOAD 00001897: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018b8: DUP2 000018b9: MSTORE 000018ba: PUSH1 0x04 000018bc: ADD 000018bd: DUP1 000018be: DUP1 000018bf: PUSH1 0x20 000018c1: ADD 000018c2: DUP3 000018c3: DUP2 000018c4: SUB 000018c5: DUP3 000018c6: MSTORE 000018c7: PUSH1 0x1a 000018c9: DUP2 000018ca: MSTORE 000018cb: PUSH1 0x20 000018cd: ADD 000018ce: DUP1 000018cf: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000018f0: DUP2 000018f1: MSTORE 000018f2: POP 000018f3: PUSH1 0x20 000018f5: ADD 000018f6: SWAP2 000018f7: POP 000018f8: POP 000018f9: PUSH1 0x40 000018fb: MLOAD 000018fc: DUP1 000018fd: SWAP2 000018fe: SUB 000018ff: SWAP1 00001900: REVERT 00001901: JUMPDEST 00001902: PUSH1 0x00 00001904: DUP3 00001905: DUP5 00001906: DUP2 00001907: ISZERO 00001908: ISZERO 00001909: PUSH2 0x190e 0000190c: JUMPI 0000190d: INVALID 0000190e: JUMPDEST 0000190f: DIV 00001910: SWAP1 00001911: POP 00001912: DUP1 00001913: SWAP2 00001914: POP 00001915: POP 00001916: SWAP3 00001917: SWAP2 00001918: POP 00001919: POP 0000191a: JUMP 0000191b: JUMPDEST 0000191c: PUSH1 0x00 0000191e: DUP3 0000191f: DUP3 00001920: GT 00001921: ISZERO 00001922: ISZERO 00001923: ISZERO 00001924: PUSH2 0x1995 00001927: JUMPI 00001928: PUSH1 0x40 0000192a: MLOAD 0000192b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000194c: DUP2 0000194d: MSTORE 0000194e: PUSH1 0x04 00001950: ADD 00001951: DUP1 00001952: DUP1 00001953: PUSH1 0x20 00001955: ADD 00001956: DUP3 00001957: DUP2 00001958: SUB 00001959: DUP3 0000195a: MSTORE 0000195b: PUSH1 0x1e 0000195d: DUP2 0000195e: MSTORE 0000195f: PUSH1 0x20 00001961: ADD 00001962: DUP1 00001963: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001984: DUP2 00001985: MSTORE 00001986: POP 00001987: PUSH1 0x20 00001989: ADD 0000198a: SWAP2 0000198b: POP 0000198c: POP 0000198d: PUSH1 0x40 0000198f: MLOAD 00001990: DUP1 00001991: SWAP2 00001992: SUB 00001993: SWAP1 00001994: REVERT 00001995: JUMPDEST 00001996: PUSH1 0x00 00001998: DUP3 00001999: DUP5 0000199a: SUB 0000199b: SWAP1 0000199c: POP 0000199d: DUP1 0000199e: SWAP2 0000199f: POP 000019a0: POP 000019a1: SWAP3 000019a2: SWAP2 000019a3: POP 000019a4: POP 000019a5: JUMP 000019a6: INVALID 000019a7: MSTORE8 000019a8: PUSH2 0x6665 000019ab: UNKNOWN(0x4D) 000019ac: PUSH2 0x7468 000019af: GASPRICE 000019b0: KECCAK256 000019b1: PUSH14 0x756c7469706c69636174696f6e20 000019c0: PUSH16 0x766572666c6f77a165627a7a72305820 000019d1: UNKNOWN(0x0F) 000019d2: CREATE2 000019d3: UNKNOWN(0xC6) 000019d4: UNKNOWN(0x28) 000019d5: BLOCKHASH 000019d6: SUB 000019d7: DUP14 000019d8: UNKNOWN(0x25) 000019d9: PUSH20 0x53c0f8fda36e5736f35493e4b42caaa4b683ad56 000019ee: DELEGATECALL 000019ef: STATICCALL 000019f0: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xd07df4e8939820c18756564ba6e6e90d7817bd890e1e089e3e54e07438ab4de7
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xd07df4e8939820c18756564ba6e6e90d7817bd890e1e089e3e54e07438ab4de7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd87a328a",
"selector": "0xd87a328a",
"calldata_variants": [
"0xd87a328a",
"0xd87a328a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb1a6eaa",
"selector": "0xdb1a6eaa",
"calldata_variants": [
"0xdb1a6eaa",
"0xdb1a6eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc741c7c",
"selector": "0xfc741c7c",
"calldata_variants": [
"0xfc741c7c",
"0xfc741c7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3fde4e",
"selector": "0xbc3fde4e",
"calldata_variants": [
"0xbc3fde4e",
"0xbc3fde4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc407670f",
"selector": "0xc407670f",
"calldata_variants": [
"0xc407670f",
"0xc407670f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce606ee0",
"selector": "0xce606ee0",
"calldata_variants": [
"0xce606ee0",
"0xce606ee00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87730309",
"selector": "0x87730309",
"calldata_variants": [
"0x87730309",
"0x877303090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6638,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 2538,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1e75e2a93ea4453bc88273089e5ab79ac4ea4c3597df9c6341c1e51f37f5954a
call_targets:
0xbf8ee01f2b0e05b99d9f2a39d1b669c2098b0ae1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e75e2a93ea4453bc88273089e5ab79ac4ea4c3597df9c6341c1e51f37f5954a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbf8ee01f2b0e05b99d9f2a39d1b669c2098b0ae1"
],
"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": "0xd87a328a",
"selector": "0xd87a328a",
"calldata_variants": [
"0xd87a328a",
"0xd87a328a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb1a6eaa",
"selector": "0xdb1a6eaa",
"calldata_variants": [
"0xdb1a6eaa",
"0xdb1a6eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc741c7c",
"selector": "0xfc741c7c",
"calldata_variants": [
"0xfc741c7c",
"0xfc741c7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3fde4e",
"selector": "0xbc3fde4e",
"calldata_variants": [
"0xbc3fde4e",
"0xbc3fde4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc407670f",
"selector": "0xc407670f",
"calldata_variants": [
"0xc407670f",
"0xc407670f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce606ee0",
"selector": "0xce606ee0",
"calldata_variants": [
"0xce606ee0",
"0xce606ee00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87730309",
"selector": "0x87730309",
"calldata_variants": [
"0x87730309",
"0x877303090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2731,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3563,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5296,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 2538,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1e75e2a93ea4453bc88273089e5ab79ac4ea4c3597df9c6341c1e51f37f5954a
call_targets:
0xbf8ee01f2b0e05b99d9f2a39d1b669c2098b0ae1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e75e2a93ea4453bc88273089e5ab79ac4ea4c3597df9c6341c1e51f37f5954a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbf8ee01f2b0e05b99d9f2a39d1b669c2098b0ae1"
],
"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": "0xd87a328a",
"selector": "0xd87a328a",
"calldata_variants": [
"0xd87a328a",
"0xd87a328a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb1a6eaa",
"selector": "0xdb1a6eaa",
"calldata_variants": [
"0xdb1a6eaa",
"0xdb1a6eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc741c7c",
"selector": "0xfc741c7c",
"calldata_variants": [
"0xfc741c7c",
"0xfc741c7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3fde4e",
"selector": "0xbc3fde4e",
"calldata_variants": [
"0xbc3fde4e",
"0xbc3fde4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc407670f",
"selector": "0xc407670f",
"calldata_variants": [
"0xc407670f",
"0xc407670f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce606ee0",
"selector": "0xce606ee0",
"calldata_variants": [
"0xce606ee0",
"0xce606ee00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87730309",
"selector": "0x87730309",
"calldata_variants": [
"0x87730309",
"0x877303090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2731,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3563,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5296,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 2538,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x4162ea12aff686fdb48517410227161f08ffbf682bea4bb3235ff5ec6e5f214b
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x4162ea12aff686fdb48517410227161f08ffbf682bea4bb3235ff5ec6e5f214b",
"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": "0xd87a328a",
"selector": "0xd87a328a",
"calldata_variants": [
"0xd87a328a",
"0xd87a328a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb1a6eaa",
"selector": "0xdb1a6eaa",
"calldata_variants": [
"0xdb1a6eaa",
"0xdb1a6eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc741c7c",
"selector": "0xfc741c7c",
"calldata_variants": [
"0xfc741c7c",
"0xfc741c7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffa1ad74",
"selector": "0xffa1ad74",
"calldata_variants": [
"0xffa1ad74",
"0xffa1ad740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3fde4e",
"selector": "0xbc3fde4e",
"calldata_variants": [
"0xbc3fde4e",
"0xbc3fde4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc407670f",
"selector": "0xc407670f",
"calldata_variants": [
"0xc407670f",
"0xc407670f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce606ee0",
"selector": "0xce606ee0",
"calldata_variants": [
"0xce606ee0",
"0xce606ee00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87730309",
"selector": "0x87730309",
"calldata_variants": [
"0x87730309",
"0x877303090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|