019b3844-95ab-7093-80e6-a07e6f70873a
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 |
|---|---|---|---|---|
| 13403 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13404 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112094 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112095 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112096 | detector.run | complete | 1 / 3 | 1 week ago |
| 112097 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x009b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x78f011c1 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x78f011c1 00000024: EQ 00000025: PUSH2 0x0319 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7ab3cf93 0000002f: EQ 00000030: PUSH2 0x03a2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x972f2457 0000003a: EQ 0000003b: PUSH2 0x03fd 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc5786174 00000045: EQ 00000046: PUSH2 0x0482 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd20a62fc 00000050: EQ 00000051: PUSH2 0x04f3 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf340fa01 0000005b: EQ 0000005c: PUSH2 0x0598 0000005f: JUMPI 00000060: PUSH2 0x009b 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH3 0xf714ce 0000006a: EQ 0000006b: PUSH2 0x00a0 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x0cb0a677 00000075: EQ 00000076: PUSH2 0x00fb 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0x42bcb965 00000080: EQ 00000081: PUSH2 0x0180 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x446f0f9e 0000008b: EQ 0000008c: PUSH2 0x0225 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0x5823cfad 00000096: EQ 00000097: PUSH2 0x02b4 0000009a: JUMPI 0000009b: JUMPDEST 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: CALLVALUE 000000a2: DUP1 000000a3: ISZERO 000000a4: PUSH2 0x00ac 000000a7: JUMPI 000000a8: PUSH1 0x00 000000aa: DUP1 000000ab: REVERT 000000ac: JUMPDEST 000000ad: POP 000000ae: PUSH2 0x00f9 000000b1: PUSH1 0x04 000000b3: DUP1 000000b4: CALLDATASIZE 000000b5: SUB 000000b6: PUSH1 0x40 000000b8: DUP2 000000b9: LT 000000ba: ISZERO 000000bb: PUSH2 0x00c3 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: DUP2 000000c5: ADD 000000c6: SWAP1 000000c7: DUP1 000000c8: DUP1 000000c9: CALLDATALOAD 000000ca: SWAP1 000000cb: PUSH1 0x20 000000cd: ADD 000000ce: SWAP1 000000cf: SWAP3 000000d0: SWAP2 000000d1: SWAP1 000000d2: DUP1 000000d3: CALLDATALOAD 000000d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e9: AND 000000ea: SWAP1 000000eb: PUSH1 0x20 000000ed: ADD 000000ee: SWAP1 000000ef: SWAP3 000000f0: SWAP2 000000f1: SWAP1 000000f2: POP 000000f3: POP 000000f4: POP 000000f5: PUSH2 0x05dc 000000f8: JUMP 000000f9: JUMPDEST 000000fa: STOP 000000fb: JUMPDEST 000000fc: CALLVALUE 000000fd: DUP1 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: POP 00000109: PUSH2 0x017e 0000010c: PUSH1 0x04 0000010e: DUP1 0000010f: CALLDATASIZE 00000110: SUB 00000111: PUSH1 0x80 00000113: DUP2 00000114: LT 00000115: ISZERO 00000116: PUSH2 0x011e 00000119: JUMPI 0000011a: PUSH1 0x00 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: DUP2 00000120: ADD 00000121: SWAP1 00000122: DUP1 00000123: DUP1 00000124: CALLDATALOAD 00000125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013a: AND 0000013b: SWAP1 0000013c: PUSH1 0x20 0000013e: ADD 0000013f: SWAP1 00000140: SWAP3 00000141: SWAP2 00000142: SWAP1 00000143: DUP1 00000144: CALLDATALOAD 00000145: SWAP1 00000146: PUSH1 0x20 00000148: ADD 00000149: SWAP1 0000014a: SWAP3 0000014b: SWAP2 0000014c: SWAP1 0000014d: DUP1 0000014e: CALLDATALOAD 0000014f: SWAP1 00000150: PUSH1 0x20 00000152: ADD 00000153: SWAP1 00000154: SWAP3 00000155: SWAP2 00000156: SWAP1 00000157: DUP1 00000158: CALLDATALOAD 00000159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016e: AND 0000016f: SWAP1 00000170: PUSH1 0x20 00000172: ADD 00000173: SWAP1 00000174: SWAP3 00000175: SWAP2 00000176: SWAP1 00000177: POP 00000178: POP 00000179: POP 0000017a: PUSH2 0x0ac1 0000017d: JUMP 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 0x020f 00000191: PUSH1 0x04 00000193: DUP1 00000194: CALLDATASIZE 00000195: SUB 00000196: PUSH1 0x60 00000198: DUP2 00000199: LT 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: DUP2 000001a5: ADD 000001a6: SWAP1 000001a7: DUP1 000001a8: DUP1 000001a9: CALLDATALOAD 000001aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bf: AND 000001c0: SWAP1 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: SWAP1 000001c5: SWAP3 000001c6: SWAP2 000001c7: SWAP1 000001c8: DUP1 000001c9: CALLDATALOAD 000001ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001df: AND 000001e0: SWAP1 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: SWAP1 000001e5: SWAP3 000001e6: SWAP2 000001e7: SWAP1 000001e8: DUP1 000001e9: CALLDATALOAD 000001ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ff: AND 00000200: SWAP1 00000201: PUSH1 0x20 00000203: ADD 00000204: SWAP1 00000205: SWAP3 00000206: SWAP2 00000207: SWAP1 00000208: POP 00000209: POP 0000020a: POP 0000020b: PUSH2 0x0dc9 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: DUP3 00000215: DUP2 00000216: MSTORE 00000217: PUSH1 0x20 00000219: ADD 0000021a: SWAP2 0000021b: POP 0000021c: POP 0000021d: PUSH1 0x40 0000021f: MLOAD 00000220: DUP1 00000221: SWAP2 00000222: SUB 00000223: SWAP1 00000224: RETURN 00000225: JUMPDEST 00000226: CALLVALUE 00000227: DUP1 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: POP 00000233: PUSH2 0x029e 00000236: PUSH1 0x04 00000238: DUP1 00000239: CALLDATASIZE 0000023a: SUB 0000023b: PUSH1 0x60 0000023d: DUP2 0000023e: LT 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: DUP2 0000024a: ADD 0000024b: SWAP1 0000024c: DUP1 0000024d: DUP1 0000024e: CALLDATALOAD 0000024f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000264: AND 00000265: SWAP1 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: SWAP3 0000026b: SWAP2 0000026c: SWAP1 0000026d: DUP1 0000026e: CALLDATALOAD 0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000284: AND 00000285: SWAP1 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP1 0000028a: SWAP3 0000028b: SWAP2 0000028c: SWAP1 0000028d: DUP1 0000028e: CALLDATALOAD 0000028f: SWAP1 00000290: PUSH1 0x20 00000292: ADD 00000293: SWAP1 00000294: SWAP3 00000295: SWAP2 00000296: SWAP1 00000297: POP 00000298: POP 00000299: POP 0000029a: PUSH2 0x1024 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: DUP1 000002a3: DUP3 000002a4: DUP2 000002a5: MSTORE 000002a6: PUSH1 0x20 000002a8: ADD 000002a9: SWAP2 000002aa: POP 000002ab: POP 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: DUP1 000002b0: SWAP2 000002b1: SUB 000002b2: SWAP1 000002b3: RETURN 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 0x0303 000002c5: PUSH1 0x04 000002c7: DUP1 000002c8: CALLDATASIZE 000002c9: SUB 000002ca: PUSH1 0x20 000002cc: DUP2 000002cd: LT 000002ce: ISZERO 000002cf: PUSH2 0x02d7 000002d2: JUMPI 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: DUP2 000002d9: ADD 000002da: SWAP1 000002db: DUP1 000002dc: DUP1 000002dd: CALLDATALOAD 000002de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f3: AND 000002f4: SWAP1 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP1 000002f9: SWAP3 000002fa: SWAP2 000002fb: SWAP1 000002fc: POP 000002fd: POP 000002fe: POP 000002ff: PUSH2 0x10dc 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: DUP3 00000309: DUP2 0000030a: MSTORE 0000030b: PUSH1 0x20 0000030d: ADD 0000030e: SWAP2 0000030f: POP 00000310: POP 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: SWAP2 00000316: SUB 00000317: SWAP1 00000318: RETURN 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x0388 0000032a: PUSH1 0x04 0000032c: DUP1 0000032d: CALLDATASIZE 0000032e: SUB 0000032f: PUSH1 0x40 00000331: DUP2 00000332: LT 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: DUP2 0000033e: ADD 0000033f: SWAP1 00000340: DUP1 00000341: DUP1 00000342: CALLDATALOAD 00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000358: AND 00000359: SWAP1 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: SWAP1 0000035e: SWAP3 0000035f: SWAP2 00000360: SWAP1 00000361: DUP1 00000362: CALLDATALOAD 00000363: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000378: AND 00000379: SWAP1 0000037a: PUSH1 0x20 0000037c: ADD 0000037d: SWAP1 0000037e: SWAP3 0000037f: SWAP2 00000380: SWAP1 00000381: POP 00000382: POP 00000383: POP 00000384: PUSH2 0x10f4 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: DUP1 0000038d: DUP3 0000038e: ISZERO 0000038f: ISZERO 00000390: ISZERO 00000391: ISZERO 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP2 00000398: POP 00000399: POP 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: DUP1 0000039e: SWAP2 0000039f: SUB 000003a0: SWAP1 000003a1: RETURN 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x03fb 000003b3: PUSH1 0x04 000003b5: DUP1 000003b6: CALLDATASIZE 000003b7: SUB 000003b8: PUSH1 0x40 000003ba: DUP2 000003bb: LT 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: DUP2 000003c7: ADD 000003c8: SWAP1 000003c9: DUP1 000003ca: DUP1 000003cb: CALLDATALOAD 000003cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e1: AND 000003e2: SWAP1 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP1 000003e7: SWAP3 000003e8: SWAP2 000003e9: SWAP1 000003ea: DUP1 000003eb: CALLDATALOAD 000003ec: SWAP1 000003ed: PUSH1 0x20 000003ef: ADD 000003f0: SWAP1 000003f1: SWAP3 000003f2: SWAP2 000003f3: SWAP1 000003f4: POP 000003f5: POP 000003f6: POP 000003f7: PUSH2 0x1188 000003fa: JUMP 000003fb: JUMPDEST 000003fc: STOP 000003fd: JUMPDEST 000003fe: CALLVALUE 000003ff: DUP1 00000400: ISZERO 00000401: PUSH2 0x0409 00000404: JUMPI 00000405: PUSH1 0x00 00000407: DUP1 00000408: REVERT 00000409: JUMPDEST 0000040a: POP 0000040b: PUSH2 0x0480 0000040e: PUSH1 0x04 00000410: DUP1 00000411: CALLDATASIZE 00000412: SUB 00000413: PUSH1 0x80 00000415: DUP2 00000416: LT 00000417: ISZERO 00000418: PUSH2 0x0420 0000041b: JUMPI 0000041c: PUSH1 0x00 0000041e: DUP1 0000041f: REVERT 00000420: JUMPDEST 00000421: DUP2 00000422: ADD 00000423: SWAP1 00000424: DUP1 00000425: DUP1 00000426: CALLDATALOAD 00000427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043c: AND 0000043d: SWAP1 0000043e: PUSH1 0x20 00000440: ADD 00000441: SWAP1 00000442: SWAP3 00000443: SWAP2 00000444: SWAP1 00000445: DUP1 00000446: CALLDATALOAD 00000447: SWAP1 00000448: PUSH1 0x20 0000044a: ADD 0000044b: SWAP1 0000044c: SWAP3 0000044d: SWAP2 0000044e: SWAP1 0000044f: DUP1 00000450: CALLDATALOAD 00000451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000466: AND 00000467: SWAP1 00000468: PUSH1 0x20 0000046a: ADD 0000046b: SWAP1 0000046c: SWAP3 0000046d: SWAP2 0000046e: SWAP1 0000046f: DUP1 00000470: CALLDATALOAD 00000471: SWAP1 00000472: PUSH1 0x20 00000474: ADD 00000475: SWAP1 00000476: SWAP3 00000477: SWAP2 00000478: SWAP1 00000479: POP 0000047a: POP 0000047b: POP 0000047c: PUSH2 0x13c0 0000047f: JUMP 00000480: JUMPDEST 00000481: STOP 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 0x04f1 00000493: PUSH1 0x04 00000495: DUP1 00000496: CALLDATASIZE 00000497: SUB 00000498: PUSH1 0x40 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: DUP1 000004cb: CALLDATALOAD 000004cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e1: AND 000004e2: SWAP1 000004e3: PUSH1 0x20 000004e5: ADD 000004e6: SWAP1 000004e7: SWAP3 000004e8: SWAP2 000004e9: SWAP1 000004ea: POP 000004eb: POP 000004ec: POP 000004ed: PUSH2 0x16bc 000004f0: JUMP 000004f1: JUMPDEST 000004f2: STOP 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: DUP1 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: POP 00000501: PUSH2 0x0596 00000504: PUSH1 0x04 00000506: DUP1 00000507: CALLDATASIZE 00000508: SUB 00000509: PUSH1 0xa0 0000050b: DUP2 0000050c: LT 0000050d: ISZERO 0000050e: PUSH2 0x0516 00000511: JUMPI 00000512: PUSH1 0x00 00000514: DUP1 00000515: REVERT 00000516: JUMPDEST 00000517: DUP2 00000518: ADD 00000519: SWAP1 0000051a: DUP1 0000051b: DUP1 0000051c: CALLDATALOAD 0000051d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000532: AND 00000533: SWAP1 00000534: PUSH1 0x20 00000536: ADD 00000537: SWAP1 00000538: SWAP3 00000539: SWAP2 0000053a: SWAP1 0000053b: DUP1 0000053c: CALLDATALOAD 0000053d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000552: AND 00000553: SWAP1 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP1 00000558: SWAP3 00000559: SWAP2 0000055a: SWAP1 0000055b: DUP1 0000055c: CALLDATALOAD 0000055d: SWAP1 0000055e: PUSH1 0x20 00000560: ADD 00000561: SWAP1 00000562: SWAP3 00000563: SWAP2 00000564: SWAP1 00000565: DUP1 00000566: CALLDATALOAD 00000567: SWAP1 00000568: PUSH1 0x20 0000056a: ADD 0000056b: SWAP1 0000056c: SWAP3 0000056d: SWAP2 0000056e: SWAP1 0000056f: DUP1 00000570: CALLDATALOAD 00000571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000586: AND 00000587: SWAP1 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP1 0000058c: SWAP3 0000058d: SWAP2 0000058e: SWAP1 0000058f: POP 00000590: POP 00000591: POP 00000592: PUSH2 0x18cf 00000595: JUMP 00000596: JUMPDEST 00000597: STOP 00000598: JUMPDEST 00000599: PUSH2 0x05da 0000059c: PUSH1 0x04 0000059e: DUP1 0000059f: CALLDATASIZE 000005a0: SUB 000005a1: PUSH1 0x20 000005a3: DUP2 000005a4: LT 000005a5: ISZERO 000005a6: PUSH2 0x05ae 000005a9: JUMPI 000005aa: PUSH1 0x00 000005ac: DUP1 000005ad: REVERT 000005ae: JUMPDEST 000005af: DUP2 000005b0: ADD 000005b1: SWAP1 000005b2: DUP1 000005b3: DUP1 000005b4: CALLDATALOAD 000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ca: AND 000005cb: SWAP1 000005cc: PUSH1 0x20 000005ce: ADD 000005cf: SWAP1 000005d0: SWAP3 000005d1: SWAP2 000005d2: SWAP1 000005d3: POP 000005d4: POP 000005d5: POP 000005d6: PUSH2 0x1bb2 000005d9: JUMP 000005da: JUMPDEST 000005db: STOP 000005dc: JUMPDEST 000005dd: DUP1 000005de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f3: AND 000005f4: CALLER 000005f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060a: AND 0000060b: EQ 0000060c: DUP1 0000060d: PUSH2 0x071a 00000610: JUMPI 00000611: POP 00000612: PUSH1 0x01 00000614: PUSH1 0x00 00000616: SWAP1 00000617: SLOAD 00000618: SWAP1 00000619: PUSH2 0x0100 0000061c: EXP 0000061d: SWAP1 0000061e: DIV 0000061f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000634: AND 00000635: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064a: AND 0000064b: PUSH4 0x14afd79e 00000650: DUP3 00000651: PUSH1 0x40 00000653: MLOAD 00000654: DUP3 00000655: PUSH4 0xffffffff 0000065a: AND 0000065b: PUSH1 0xe0 0000065d: SHL 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x04 00000662: ADD 00000663: DUP1 00000664: DUP3 00000665: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067a: AND 0000067b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000690: AND 00000691: DUP2 00000692: MSTORE 00000693: PUSH1 0x20 00000695: ADD 00000696: SWAP2 00000697: POP 00000698: POP 00000699: PUSH1 0x20 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: DUP1 0000069f: DUP4 000006a0: SUB 000006a1: DUP2 000006a2: DUP7 000006a3: DUP1 000006a4: EXTCODESIZE 000006a5: ISZERO 000006a6: DUP1 000006a7: ISZERO 000006a8: PUSH2 0x06b0 000006ab: JUMPI 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: REVERT 000006b0: JUMPDEST 000006b1: POP 000006b2: GAS 000006b3: STATICCALL 000006b4: ISZERO 000006b5: DUP1 000006b6: ISZERO 000006b7: PUSH2 0x06c4 000006ba: JUMPI 000006bb: RETURNDATASIZE 000006bc: PUSH1 0x00 000006be: DUP1 000006bf: RETURNDATACOPY 000006c0: RETURNDATASIZE 000006c1: PUSH1 0x00 000006c3: REVERT 000006c4: JUMPDEST 000006c5: POP 000006c6: POP 000006c7: POP 000006c8: POP 000006c9: PUSH1 0x40 000006cb: MLOAD 000006cc: RETURNDATASIZE 000006cd: PUSH1 0x20 000006cf: DUP2 000006d0: LT 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: DUP2 000006dc: ADD 000006dd: SWAP1 000006de: DUP1 000006df: DUP1 000006e0: MLOAD 000006e1: SWAP1 000006e2: PUSH1 0x20 000006e4: ADD 000006e5: SWAP1 000006e6: SWAP3 000006e7: SWAP2 000006e8: SWAP1 000006e9: POP 000006ea: POP 000006eb: POP 000006ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000701: AND 00000702: CALLER 00000703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000718: AND 00000719: EQ 0000071a: JUMPDEST 0000071b: PUSH2 0x076f 0000071e: JUMPI 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x04 00000747: ADD 00000748: DUP1 00000749: DUP1 0000074a: PUSH1 0x20 0000074c: ADD 0000074d: DUP3 0000074e: DUP2 0000074f: SUB 00000750: DUP3 00000751: MSTORE 00000752: PUSH1 0x36 00000754: DUP2 00000755: MSTORE 00000756: PUSH1 0x20 00000758: ADD 00000759: DUP1 0000075a: PUSH2 0x1e2e 0000075d: PUSH1 0x36 0000075f: SWAP2 00000760: CODECOPY 00000761: PUSH1 0x40 00000763: ADD 00000764: SWAP2 00000765: POP 00000766: POP 00000767: PUSH1 0x40 00000769: MLOAD 0000076a: DUP1 0000076b: SWAP2 0000076c: SUB 0000076d: SWAP1 0000076e: REVERT 0000076f: JUMPDEST 00000770: DUP2 00000771: PUSH1 0x02 00000773: PUSH1 0x00 00000775: DUP4 00000776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078b: AND 0000078c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a1: AND 000007a2: DUP2 000007a3: MSTORE 000007a4: PUSH1 0x20 000007a6: ADD 000007a7: SWAP1 000007a8: DUP2 000007a9: MSTORE 000007aa: PUSH1 0x20 000007ac: ADD 000007ad: PUSH1 0x00 000007af: KECCAK256 000007b0: SLOAD 000007b1: LT 000007b2: ISZERO 000007b3: PUSH2 0x0824 000007b6: JUMPI 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x04 000007df: ADD 000007e0: DUP1 000007e1: DUP1 000007e2: PUSH1 0x20 000007e4: ADD 000007e5: DUP3 000007e6: DUP2 000007e7: SUB 000007e8: DUP3 000007e9: MSTORE 000007ea: PUSH1 0x1b 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: DUP1 000007f2: PUSH32 0x496e73756666696369656e7420756e626f6e6465642076616c75650000000000 00000813: DUP2 00000814: MSTORE 00000815: POP 00000816: PUSH1 0x20 00000818: ADD 00000819: SWAP2 0000081a: POP 0000081b: POP 0000081c: PUSH1 0x40 0000081e: MLOAD 0000081f: DUP1 00000820: SWAP2 00000821: SUB 00000822: SWAP1 00000823: REVERT 00000824: JUMPDEST 00000825: PUSH2 0x0876 00000828: DUP3 00000829: PUSH1 0x02 0000082b: PUSH1 0x00 0000082d: DUP5 0000082e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000843: AND 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x20 0000085e: ADD 0000085f: SWAP1 00000860: DUP2 00000861: MSTORE 00000862: PUSH1 0x20 00000864: ADD 00000865: PUSH1 0x00 00000867: KECCAK256 00000868: SLOAD 00000869: PUSH2 0x1c98 0000086c: SWAP1 0000086d: SWAP2 0000086e: SWAP1 0000086f: PUSH4 0xffffffff 00000874: AND 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH1 0x02 00000879: PUSH1 0x00 0000087b: DUP4 0000087c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000891: AND 00000892: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a7: AND 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x20 000008ac: ADD 000008ad: SWAP1 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x20 000008b2: ADD 000008b3: PUSH1 0x00 000008b5: KECCAK256 000008b6: DUP2 000008b7: SWAP1 000008b8: SSTORE 000008b9: POP 000008ba: PUSH1 0x00 000008bc: PUSH1 0x01 000008be: PUSH1 0x00 000008c0: SWAP1 000008c1: SLOAD 000008c2: SWAP1 000008c3: PUSH2 0x0100 000008c6: EXP 000008c7: SWAP1 000008c8: DIV 000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008de: AND 000008df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f4: AND 000008f5: PUSH4 0xba7bffd3 000008fa: DUP4 000008fb: PUSH1 0x40 000008fd: MLOAD 000008fe: DUP3 000008ff: PUSH4 0xffffffff 00000904: AND 00000905: PUSH1 0xe0 00000907: SHL 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x04 0000090c: ADD 0000090d: DUP1 0000090e: DUP3 0000090f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000924: AND 00000925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093a: AND 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x20 0000093f: ADD 00000940: SWAP2 00000941: POP 00000942: POP 00000943: PUSH1 0x20 00000945: PUSH1 0x40 00000947: MLOAD 00000948: DUP1 00000949: DUP4 0000094a: SUB 0000094b: DUP2 0000094c: DUP7 0000094d: DUP1 0000094e: EXTCODESIZE 0000094f: ISZERO 00000950: DUP1 00000951: ISZERO 00000952: PUSH2 0x095a 00000955: JUMPI 00000956: PUSH1 0x00 00000958: DUP1 00000959: REVERT 0000095a: JUMPDEST 0000095b: POP 0000095c: GAS 0000095d: STATICCALL 0000095e: ISZERO 0000095f: DUP1 00000960: ISZERO 00000961: PUSH2 0x096e 00000964: JUMPI 00000965: RETURNDATASIZE 00000966: PUSH1 0x00 00000968: DUP1 00000969: RETURNDATACOPY 0000096a: RETURNDATASIZE 0000096b: PUSH1 0x00 0000096d: REVERT 0000096e: JUMPDEST 0000096f: POP 00000970: POP 00000971: POP 00000972: POP 00000973: PUSH1 0x40 00000975: MLOAD 00000976: RETURNDATASIZE 00000977: PUSH1 0x20 00000979: DUP2 0000097a: LT 0000097b: ISZERO 0000097c: PUSH2 0x0984 0000097f: JUMPI 00000980: PUSH1 0x00 00000982: DUP1 00000983: REVERT 00000984: JUMPDEST 00000985: DUP2 00000986: ADD 00000987: SWAP1 00000988: DUP1 00000989: DUP1 0000098a: MLOAD 0000098b: SWAP1 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: SWAP1 00000990: SWAP3 00000991: SWAP2 00000992: SWAP1 00000993: POP 00000994: POP 00000995: POP 00000996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ab: AND 000009ac: DUP4 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: DUP1 000009b1: PUSH1 0x00 000009b3: ADD 000009b4: SWAP1 000009b5: POP 000009b6: PUSH1 0x00 000009b8: PUSH1 0x40 000009ba: MLOAD 000009bb: DUP1 000009bc: DUP4 000009bd: SUB 000009be: DUP2 000009bf: DUP6 000009c0: DUP8 000009c1: GAS 000009c2: CALL 000009c3: SWAP3 000009c4: POP 000009c5: POP 000009c6: POP 000009c7: RETURNDATASIZE 000009c8: DUP1 000009c9: PUSH1 0x00 000009cb: DUP2 000009cc: EQ 000009cd: PUSH2 0x09f2 000009d0: JUMPI 000009d1: PUSH1 0x40 000009d3: MLOAD 000009d4: SWAP2 000009d5: POP 000009d6: PUSH1 0x1f 000009d8: NOT 000009d9: PUSH1 0x3f 000009db: RETURNDATASIZE 000009dc: ADD 000009dd: AND 000009de: DUP3 000009df: ADD 000009e0: PUSH1 0x40 000009e2: MSTORE 000009e3: RETURNDATASIZE 000009e4: DUP3 000009e5: MSTORE 000009e6: RETURNDATASIZE 000009e7: PUSH1 0x00 000009e9: PUSH1 0x20 000009eb: DUP5 000009ec: ADD 000009ed: RETURNDATACOPY 000009ee: PUSH2 0x09f7 000009f1: JUMP 000009f2: JUMPDEST 000009f3: PUSH1 0x60 000009f5: SWAP2 000009f6: POP 000009f7: JUMPDEST 000009f8: POP 000009f9: POP 000009fa: SWAP1 000009fb: POP 000009fc: DUP1 000009fd: PUSH2 0x0a6e 00000a00: JUMPI 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a25: DUP2 00000a26: MSTORE 00000a27: PUSH1 0x04 00000a29: ADD 00000a2a: DUP1 00000a2b: DUP1 00000a2c: PUSH1 0x20 00000a2e: ADD 00000a2f: DUP3 00000a30: DUP2 00000a31: SUB 00000a32: DUP3 00000a33: MSTORE 00000a34: PUSH1 0x0f 00000a36: DUP2 00000a37: MSTORE 00000a38: PUSH1 0x20 00000a3a: ADD 00000a3b: DUP1 00000a3c: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 00000a5d: DUP2 00000a5e: MSTORE 00000a5f: POP 00000a60: PUSH1 0x20 00000a62: ADD 00000a63: SWAP2 00000a64: POP 00000a65: POP 00000a66: PUSH1 0x40 00000a68: MLOAD 00000a69: DUP1 00000a6a: SWAP2 00000a6b: SUB 00000a6c: SWAP1 00000a6d: REVERT 00000a6e: JUMPDEST 00000a6f: DUP2 00000a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a85: AND 00000a86: PUSH32 0xe1c60fe969095385a94672c6aac099e76551c7ec5e878f761c3ba800a4fc6473 00000aa7: DUP5 00000aa8: PUSH1 0x40 00000aaa: MLOAD 00000aab: DUP1 00000aac: DUP3 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x20 00000ab1: ADD 00000ab2: SWAP2 00000ab3: POP 00000ab4: POP 00000ab5: PUSH1 0x40 00000ab7: MLOAD 00000ab8: DUP1 00000ab9: SWAP2 00000aba: SUB 00000abb: SWAP1 00000abc: LOG2 00000abd: POP 00000abe: POP 00000abf: POP 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: PUSH1 0x00 00000ac4: DUP3 00000ac5: GT 00000ac6: PUSH2 0x0b1a 00000ac9: JUMPI 00000aca: PUSH1 0x40 00000acc: MLOAD 00000acd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000aee: DUP2 00000aef: MSTORE 00000af0: PUSH1 0x04 00000af2: ADD 00000af3: DUP1 00000af4: DUP1 00000af5: PUSH1 0x20 00000af7: ADD 00000af8: DUP3 00000af9: DUP2 00000afa: SUB 00000afb: DUP3 00000afc: MSTORE 00000afd: PUSH1 0x2c 00000aff: DUP2 00000b00: MSTORE 00000b01: PUSH1 0x20 00000b03: ADD 00000b04: DUP1 00000b05: PUSH2 0x1e02 00000b08: PUSH1 0x2c 00000b0a: SWAP2 00000b0b: CODECOPY 00000b0c: PUSH1 0x40 00000b0e: ADD 00000b0f: SWAP2 00000b10: POP 00000b11: POP 00000b12: PUSH1 0x40 00000b14: MLOAD 00000b15: DUP1 00000b16: SWAP2 00000b17: SUB 00000b18: SWAP1 00000b19: REVERT 00000b1a: JUMPDEST 00000b1b: PUSH1 0x00 00000b1d: CALLER 00000b1e: SWAP1 00000b1f: POP 00000b20: PUSH1 0x00 00000b22: DUP6 00000b23: DUP3 00000b24: DUP7 00000b25: PUSH1 0x40 00000b27: MLOAD 00000b28: PUSH1 0x20 00000b2a: ADD 00000b2b: DUP1 00000b2c: DUP5 00000b2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b42: AND 00000b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b58: AND 00000b59: PUSH1 0x60 00000b5b: SHL 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x14 00000b60: ADD 00000b61: DUP4 00000b62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b77: AND 00000b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8d: AND 00000b8e: PUSH1 0x60 00000b90: SHL 00000b91: DUP2 00000b92: MSTORE 00000b93: PUSH1 0x14 00000b95: ADD 00000b96: DUP3 00000b97: DUP2 00000b98: MSTORE 00000b99: PUSH1 0x20 00000b9b: ADD 00000b9c: SWAP4 00000b9d: POP 00000b9e: POP 00000b9f: POP 00000ba0: POP 00000ba1: PUSH1 0x40 00000ba3: MLOAD 00000ba4: PUSH1 0x20 00000ba6: DUP2 00000ba7: DUP4 00000ba8: SUB 00000ba9: SUB 00000baa: DUP2 00000bab: MSTORE 00000bac: SWAP1 00000bad: PUSH1 0x40 00000baf: MSTORE 00000bb0: DUP1 00000bb1: MLOAD 00000bb2: SWAP1 00000bb3: PUSH1 0x20 00000bb5: ADD 00000bb6: KECCAK256 00000bb7: SWAP1 00000bb8: POP 00000bb9: DUP4 00000bba: PUSH1 0x03 00000bbc: PUSH1 0x00 00000bbe: DUP4 00000bbf: DUP2 00000bc0: MSTORE 00000bc1: PUSH1 0x20 00000bc3: ADD 00000bc4: SWAP1 00000bc5: DUP2 00000bc6: MSTORE 00000bc7: PUSH1 0x20 00000bc9: ADD 00000bca: PUSH1 0x00 00000bcc: KECCAK256 00000bcd: SLOAD 00000bce: LT 00000bcf: ISZERO 00000bd0: PUSH2 0x0c24 00000bd3: JUMPI 00000bd4: PUSH1 0x40 00000bd6: MLOAD 00000bd7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x04 00000bfc: ADD 00000bfd: DUP1 00000bfe: DUP1 00000bff: PUSH1 0x20 00000c01: ADD 00000c02: DUP3 00000c03: DUP2 00000c04: SUB 00000c05: DUP3 00000c06: MSTORE 00000c07: PUSH1 0x29 00000c09: DUP2 00000c0a: MSTORE 00000c0b: PUSH1 0x20 00000c0d: ADD 00000c0e: DUP1 00000c0f: PUSH2 0x1dd9 00000c12: PUSH1 0x29 00000c14: SWAP2 00000c15: CODECOPY 00000c16: PUSH1 0x40 00000c18: ADD 00000c19: SWAP2 00000c1a: POP 00000c1b: POP 00000c1c: PUSH1 0x40 00000c1e: MLOAD 00000c1f: DUP1 00000c20: SWAP2 00000c21: SUB 00000c22: SWAP1 00000c23: REVERT 00000c24: JUMPDEST 00000c25: PUSH2 0x0c4a 00000c28: DUP5 00000c29: PUSH1 0x03 00000c2b: PUSH1 0x00 00000c2d: DUP5 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: SWAP1 00000c34: DUP2 00000c35: MSTORE 00000c36: PUSH1 0x20 00000c38: ADD 00000c39: PUSH1 0x00 00000c3b: KECCAK256 00000c3c: SLOAD 00000c3d: PUSH2 0x1c98 00000c40: SWAP1 00000c41: SWAP2 00000c42: SWAP1 00000c43: PUSH4 0xffffffff 00000c48: AND 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: PUSH1 0x03 00000c4d: PUSH1 0x00 00000c4f: DUP4 00000c50: DUP2 00000c51: MSTORE 00000c52: PUSH1 0x20 00000c54: ADD 00000c55: SWAP1 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x20 00000c5a: ADD 00000c5b: PUSH1 0x00 00000c5d: KECCAK256 00000c5e: DUP2 00000c5f: SWAP1 00000c60: SSTORE 00000c61: POP 00000c62: PUSH1 0x00 00000c64: DUP4 00000c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7a: AND 00000c7b: DUP6 00000c7c: PUSH1 0x40 00000c7e: MLOAD 00000c7f: DUP1 00000c80: PUSH1 0x00 00000c82: ADD 00000c83: SWAP1 00000c84: POP 00000c85: PUSH1 0x00 00000c87: PUSH1 0x40 00000c89: MLOAD 00000c8a: DUP1 00000c8b: DUP4 00000c8c: SUB 00000c8d: DUP2 00000c8e: DUP6 00000c8f: DUP8 00000c90: GAS 00000c91: CALL 00000c92: SWAP3 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: RETURNDATASIZE 00000c97: DUP1 00000c98: PUSH1 0x00 00000c9a: DUP2 00000c9b: EQ 00000c9c: PUSH2 0x0cc1 00000c9f: JUMPI 00000ca0: PUSH1 0x40 00000ca2: MLOAD 00000ca3: SWAP2 00000ca4: POP 00000ca5: PUSH1 0x1f 00000ca7: NOT 00000ca8: PUSH1 0x3f 00000caa: RETURNDATASIZE 00000cab: ADD 00000cac: AND 00000cad: DUP3 00000cae: ADD 00000caf: PUSH1 0x40 00000cb1: MSTORE 00000cb2: RETURNDATASIZE 00000cb3: DUP3 00000cb4: MSTORE 00000cb5: RETURNDATASIZE 00000cb6: PUSH1 0x00 00000cb8: PUSH1 0x20 00000cba: DUP5 00000cbb: ADD 00000cbc: RETURNDATACOPY 00000cbd: PUSH2 0x0cc6 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: PUSH1 0x60 00000cc4: SWAP2 00000cc5: POP 00000cc6: JUMPDEST 00000cc7: POP 00000cc8: POP 00000cc9: SWAP1 00000cca: POP 00000ccb: DUP1 00000ccc: PUSH2 0x0d3d 00000ccf: JUMPI 00000cd0: PUSH1 0x40 00000cd2: MLOAD 00000cd3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cf4: DUP2 00000cf5: MSTORE 00000cf6: PUSH1 0x04 00000cf8: ADD 00000cf9: DUP1 00000cfa: DUP1 00000cfb: PUSH1 0x20 00000cfd: ADD 00000cfe: DUP3 00000cff: DUP2 00000d00: SUB 00000d01: DUP3 00000d02: MSTORE 00000d03: PUSH1 0x0f 00000d05: DUP2 00000d06: MSTORE 00000d07: PUSH1 0x20 00000d09: ADD 00000d0a: DUP1 00000d0b: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 00000d2c: DUP2 00000d2d: MSTORE 00000d2e: POP 00000d2f: PUSH1 0x20 00000d31: ADD 00000d32: SWAP2 00000d33: POP 00000d34: POP 00000d35: PUSH1 0x40 00000d37: MLOAD 00000d38: DUP1 00000d39: SWAP2 00000d3a: SUB 00000d3b: SWAP1 00000d3c: REVERT 00000d3d: JUMPDEST 00000d3e: DUP6 00000d3f: DUP8 00000d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d55: AND 00000d56: PUSH32 0xf8e947b47b515d01aa96426822ddcf23a08f42d8c2dbfd65e674ba824f551382 00000d77: DUP7 00000d78: DUP9 00000d79: PUSH1 0x40 00000d7b: MLOAD 00000d7c: DUP1 00000d7d: DUP4 00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d93: AND 00000d94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da9: AND 00000daa: DUP2 00000dab: MSTORE 00000dac: PUSH1 0x20 00000dae: ADD 00000daf: DUP3 00000db0: DUP2 00000db1: MSTORE 00000db2: PUSH1 0x20 00000db4: ADD 00000db5: SWAP3 00000db6: POP 00000db7: POP 00000db8: POP 00000db9: PUSH1 0x40 00000dbb: MLOAD 00000dbc: DUP1 00000dbd: SWAP2 00000dbe: SUB 00000dbf: SWAP1 00000dc0: LOG3 00000dc1: POP 00000dc2: POP 00000dc3: POP 00000dc4: POP 00000dc5: POP 00000dc6: POP 00000dc7: POP 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: PUSH1 0x00 00000dcc: DUP1 00000dcd: PUSH1 0x00 00000dcf: SWAP1 00000dd0: SLOAD 00000dd1: SWAP1 00000dd2: PUSH2 0x0100 00000dd5: EXP 00000dd6: SWAP1 00000dd7: DIV 00000dd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ded: AND 00000dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e03: AND 00000e04: PUSH4 0x84d57689 00000e09: DUP5 00000e0a: PUSH1 0x40 00000e0c: MLOAD 00000e0d: DUP3 00000e0e: PUSH4 0xffffffff 00000e13: AND 00000e14: PUSH1 0xe0 00000e16: SHL 00000e17: DUP2 00000e18: MSTORE 00000e19: PUSH1 0x04 00000e1b: ADD 00000e1c: DUP1 00000e1d: DUP3 00000e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e33: AND 00000e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e49: AND 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: PUSH1 0x20 00000e4e: ADD 00000e4f: SWAP2 00000e50: POP 00000e51: POP 00000e52: PUSH1 0x20 00000e54: PUSH1 0x40 00000e56: MLOAD 00000e57: DUP1 00000e58: DUP4 00000e59: SUB 00000e5a: DUP2 00000e5b: DUP7 00000e5c: DUP1 00000e5d: EXTCODESIZE 00000e5e: ISZERO 00000e5f: DUP1 00000e60: ISZERO 00000e61: PUSH2 0x0e69 00000e64: JUMPI 00000e65: PUSH1 0x00 00000e67: DUP1 00000e68: REVERT 00000e69: JUMPDEST 00000e6a: POP 00000e6b: GAS 00000e6c: STATICCALL 00000e6d: ISZERO 00000e6e: DUP1 00000e6f: ISZERO 00000e70: PUSH2 0x0e7d 00000e73: JUMPI 00000e74: RETURNDATASIZE 00000e75: PUSH1 0x00 00000e77: DUP1 00000e78: RETURNDATACOPY 00000e79: RETURNDATASIZE 00000e7a: PUSH1 0x00 00000e7c: REVERT 00000e7d: JUMPDEST 00000e7e: POP 00000e7f: POP 00000e80: POP 00000e81: POP 00000e82: PUSH1 0x40 00000e84: MLOAD 00000e85: RETURNDATASIZE 00000e86: PUSH1 0x20 00000e88: DUP2 00000e89: LT 00000e8a: ISZERO 00000e8b: PUSH2 0x0e93 00000e8e: JUMPI 00000e8f: PUSH1 0x00 00000e91: DUP1 00000e92: REVERT 00000e93: JUMPDEST 00000e94: DUP2 00000e95: ADD 00000e96: SWAP1 00000e97: DUP1 00000e98: DUP1 00000e99: MLOAD 00000e9a: SWAP1 00000e9b: PUSH1 0x20 00000e9d: ADD 00000e9e: SWAP1 00000e9f: SWAP3 00000ea0: SWAP2 00000ea1: SWAP1 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: DUP1 00000ea6: ISZERO 00000ea7: PUSH2 0x0fba 00000eaa: JUMPI 00000eab: POP 00000eac: PUSH1 0x01 00000eae: PUSH1 0x00 00000eb0: SWAP1 00000eb1: SLOAD 00000eb2: SWAP1 00000eb3: PUSH2 0x0100 00000eb6: EXP 00000eb7: SWAP1 00000eb8: DIV 00000eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ece: AND 00000ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee4: AND 00000ee5: PUSH4 0xef1f9661 00000eea: DUP6 00000eeb: DUP6 00000eec: PUSH1 0x40 00000eee: MLOAD 00000eef: DUP4 00000ef0: PUSH4 0xffffffff 00000ef5: AND 00000ef6: PUSH1 0xe0 00000ef8: SHL 00000ef9: DUP2 00000efa: MSTORE 00000efb: PUSH1 0x04 00000efd: ADD 00000efe: DUP1 00000eff: DUP4 00000f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f15: AND 00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2b: AND 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x20 00000f30: ADD 00000f31: DUP3 00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f47: AND 00000f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5d: AND 00000f5e: DUP2 00000f5f: MSTORE 00000f60: PUSH1 0x20 00000f62: ADD 00000f63: SWAP3 00000f64: POP 00000f65: POP 00000f66: POP 00000f67: PUSH1 0x20 00000f69: PUSH1 0x40 00000f6b: MLOAD 00000f6c: DUP1 00000f6d: DUP4 00000f6e: SUB 00000f6f: DUP2 00000f70: DUP7 00000f71: DUP1 00000f72: EXTCODESIZE 00000f73: ISZERO 00000f74: DUP1 00000f75: ISZERO 00000f76: PUSH2 0x0f7e 00000f79: JUMPI 00000f7a: PUSH1 0x00 00000f7c: DUP1 00000f7d: REVERT 00000f7e: JUMPDEST 00000f7f: POP 00000f80: GAS 00000f81: STATICCALL 00000f82: ISZERO 00000f83: DUP1 00000f84: ISZERO 00000f85: PUSH2 0x0f92 00000f88: JUMPI 00000f89: RETURNDATASIZE 00000f8a: PUSH1 0x00 00000f8c: DUP1 00000f8d: RETURNDATACOPY 00000f8e: RETURNDATASIZE 00000f8f: PUSH1 0x00 00000f91: REVERT 00000f92: JUMPDEST 00000f93: POP 00000f94: POP 00000f95: POP 00000f96: POP 00000f97: PUSH1 0x40 00000f99: MLOAD 00000f9a: RETURNDATASIZE 00000f9b: PUSH1 0x20 00000f9d: DUP2 00000f9e: LT 00000f9f: ISZERO 00000fa0: PUSH2 0x0fa8 00000fa3: JUMPI 00000fa4: PUSH1 0x00 00000fa6: DUP1 00000fa7: REVERT 00000fa8: JUMPDEST 00000fa9: DUP2 00000faa: ADD 00000fab: SWAP1 00000fac: DUP1 00000fad: DUP1 00000fae: MLOAD 00000faf: SWAP1 00000fb0: PUSH1 0x20 00000fb2: ADD 00000fb3: SWAP1 00000fb4: SWAP3 00000fb5: SWAP2 00000fb6: SWAP1 00000fb7: POP 00000fb8: POP 00000fb9: POP 00000fba: JUMPDEST 00000fbb: DUP1 00000fbc: ISZERO 00000fbd: PUSH2 0x0fcc 00000fc0: JUMPI 00000fc1: POP 00000fc2: PUSH2 0x0fcb 00000fc5: DUP5 00000fc6: DUP4 00000fc7: PUSH2 0x10f4 00000fca: JUMP 00000fcb: JUMPDEST 00000fcc: JUMPDEST 00000fcd: ISZERO 00000fce: PUSH2 0x1018 00000fd1: JUMPI 00000fd2: PUSH1 0x02 00000fd4: PUSH1 0x00 00000fd6: DUP6 00000fd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fec: AND 00000fed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001002: AND 00001003: DUP2 00001004: MSTORE 00001005: PUSH1 0x20 00001007: ADD 00001008: SWAP1 00001009: DUP2 0000100a: MSTORE 0000100b: PUSH1 0x20 0000100d: ADD 0000100e: PUSH1 0x00 00001010: KECCAK256 00001011: SLOAD 00001012: SWAP1 00001013: POP 00001014: PUSH2 0x101d 00001017: JUMP 00001018: JUMPDEST 00001019: PUSH1 0x00 0000101b: SWAP1 0000101c: POP 0000101d: JUMPDEST 0000101e: SWAP4 0000101f: SWAP3 00001020: POP 00001021: POP 00001022: POP 00001023: JUMP 00001024: JUMPDEST 00001025: PUSH1 0x00 00001027: DUP1 00001028: DUP5 00001029: DUP5 0000102a: DUP5 0000102b: PUSH1 0x40 0000102d: MLOAD 0000102e: PUSH1 0x20 00001030: ADD 00001031: DUP1 00001032: DUP5 00001033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001048: AND 00001049: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105e: AND 0000105f: PUSH1 0x60 00001061: SHL 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x14 00001066: ADD 00001067: DUP4 00001068: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107d: AND 0000107e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001093: AND 00001094: PUSH1 0x60 00001096: SHL 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x14 0000109b: ADD 0000109c: DUP3 0000109d: DUP2 0000109e: MSTORE 0000109f: PUSH1 0x20 000010a1: ADD 000010a2: SWAP4 000010a3: POP 000010a4: POP 000010a5: POP 000010a6: POP 000010a7: PUSH1 0x40 000010a9: MLOAD 000010aa: PUSH1 0x20 000010ac: DUP2 000010ad: DUP4 000010ae: SUB 000010af: SUB 000010b0: DUP2 000010b1: MSTORE 000010b2: SWAP1 000010b3: PUSH1 0x40 000010b5: MSTORE 000010b6: DUP1 000010b7: MLOAD 000010b8: SWAP1 000010b9: PUSH1 0x20 000010bb: ADD 000010bc: KECCAK256 000010bd: SWAP1 000010be: POP 000010bf: PUSH1 0x03 000010c1: PUSH1 0x00 000010c3: DUP3 000010c4: DUP2 000010c5: MSTORE 000010c6: PUSH1 0x20 000010c8: ADD 000010c9: SWAP1 000010ca: DUP2 000010cb: MSTORE 000010cc: PUSH1 0x20 000010ce: ADD 000010cf: PUSH1 0x00 000010d1: KECCAK256 000010d2: SLOAD 000010d3: SWAP2 000010d4: POP 000010d5: POP 000010d6: SWAP4 000010d7: SWAP3 000010d8: POP 000010d9: POP 000010da: POP 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH1 0x02 000010df: PUSH1 0x20 000010e1: MSTORE 000010e2: DUP1 000010e3: PUSH1 0x00 000010e5: MSTORE 000010e6: PUSH1 0x40 000010e8: PUSH1 0x00 000010ea: KECCAK256 000010eb: PUSH1 0x00 000010ed: SWAP2 000010ee: POP 000010ef: SWAP1 000010f0: POP 000010f1: SLOAD 000010f2: DUP2 000010f3: JUMP 000010f4: JUMPDEST 000010f5: PUSH1 0x00 000010f7: PUSH1 0x04 000010f9: PUSH1 0x00 000010fb: DUP5 000010fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001111: AND 00001112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001127: AND 00001128: DUP2 00001129: MSTORE 0000112a: PUSH1 0x20 0000112c: ADD 0000112d: SWAP1 0000112e: DUP2 0000112f: MSTORE 00001130: PUSH1 0x20 00001132: ADD 00001133: PUSH1 0x00 00001135: KECCAK256 00001136: PUSH1 0x00 00001138: DUP4 00001139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000114e: AND 0000114f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001164: AND 00001165: DUP2 00001166: MSTORE 00001167: PUSH1 0x20 00001169: ADD 0000116a: SWAP1 0000116b: DUP2 0000116c: MSTORE 0000116d: PUSH1 0x20 0000116f: ADD 00001170: PUSH1 0x00 00001172: KECCAK256 00001173: PUSH1 0x00 00001175: SWAP1 00001176: SLOAD 00001177: SWAP1 00001178: PUSH2 0x0100 0000117b: EXP 0000117c: SWAP1 0000117d: DIV 0000117e: PUSH1 0xff 00001180: AND 00001181: SWAP1 00001182: POP 00001183: SWAP3 00001184: SWAP2 00001185: POP 00001186: POP 00001187: JUMP 00001188: JUMPDEST 00001189: PUSH1 0x00 0000118b: CALLER 0000118c: SWAP1 0000118d: POP 0000118e: PUSH1 0x00 00001190: DUP4 00001191: DUP3 00001192: DUP5 00001193: PUSH1 0x40 00001195: MLOAD 00001196: PUSH1 0x20 00001198: ADD 00001199: DUP1 0000119a: DUP5 0000119b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b0: AND 000011b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c6: AND 000011c7: PUSH1 0x60 000011c9: SHL 000011ca: DUP2 000011cb: MSTORE 000011cc: PUSH1 0x14 000011ce: ADD 000011cf: DUP4 000011d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e5: AND 000011e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fb: AND 000011fc: PUSH1 0x60 000011fe: SHL 000011ff: DUP2 00001200: MSTORE 00001201: PUSH1 0x14 00001203: ADD 00001204: DUP3 00001205: DUP2 00001206: MSTORE 00001207: PUSH1 0x20 00001209: ADD 0000120a: SWAP4 0000120b: POP 0000120c: POP 0000120d: POP 0000120e: POP 0000120f: PUSH1 0x40 00001211: MLOAD 00001212: PUSH1 0x20 00001214: DUP2 00001215: DUP4 00001216: SUB 00001217: SUB 00001218: DUP2 00001219: MSTORE 0000121a: SWAP1 0000121b: PUSH1 0x40 0000121d: MSTORE 0000121e: DUP1 0000121f: MLOAD 00001220: SWAP1 00001221: PUSH1 0x20 00001223: ADD 00001224: KECCAK256 00001225: SWAP1 00001226: POP 00001227: PUSH1 0x00 00001229: PUSH1 0x03 0000122b: PUSH1 0x00 0000122d: DUP4 0000122e: DUP2 0000122f: MSTORE 00001230: PUSH1 0x20 00001232: ADD 00001233: SWAP1 00001234: DUP2 00001235: MSTORE 00001236: PUSH1 0x20 00001238: ADD 00001239: PUSH1 0x00 0000123b: KECCAK256 0000123c: SLOAD 0000123d: GT 0000123e: PUSH2 0x12af 00001241: JUMPI 00001242: PUSH1 0x40 00001244: MLOAD 00001245: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001266: DUP2 00001267: MSTORE 00001268: PUSH1 0x04 0000126a: ADD 0000126b: DUP1 0000126c: DUP1 0000126d: PUSH1 0x20 0000126f: ADD 00001270: DUP3 00001271: DUP2 00001272: SUB 00001273: DUP3 00001274: MSTORE 00001275: PUSH1 0x0e 00001277: DUP2 00001278: MSTORE 00001279: PUSH1 0x20 0000127b: ADD 0000127c: DUP1 0000127d: PUSH32 0x426f6e64206e6f7420666f756e64000000000000000000000000000000000000 0000129e: DUP2 0000129f: MSTORE 000012a0: POP 000012a1: PUSH1 0x20 000012a3: ADD 000012a4: SWAP2 000012a5: POP 000012a6: POP 000012a7: PUSH1 0x40 000012a9: MLOAD 000012aa: DUP1 000012ab: SWAP2 000012ac: SUB 000012ad: SWAP1 000012ae: REVERT 000012af: JUMPDEST 000012b0: PUSH1 0x00 000012b2: PUSH1 0x03 000012b4: PUSH1 0x00 000012b6: DUP4 000012b7: DUP2 000012b8: MSTORE 000012b9: PUSH1 0x20 000012bb: ADD 000012bc: SWAP1 000012bd: DUP2 000012be: MSTORE 000012bf: PUSH1 0x20 000012c1: ADD 000012c2: PUSH1 0x00 000012c4: KECCAK256 000012c5: SLOAD 000012c6: SWAP1 000012c7: POP 000012c8: PUSH1 0x00 000012ca: PUSH1 0x03 000012cc: PUSH1 0x00 000012ce: DUP5 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: ADD 000012d4: SWAP1 000012d5: DUP2 000012d6: MSTORE 000012d7: PUSH1 0x20 000012d9: ADD 000012da: PUSH1 0x00 000012dc: KECCAK256 000012dd: DUP2 000012de: SWAP1 000012df: SSTORE 000012e0: POP 000012e1: PUSH2 0x1332 000012e4: DUP2 000012e5: PUSH1 0x02 000012e7: PUSH1 0x00 000012e9: DUP9 000012ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ff: AND 00001300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001315: AND 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x20 0000131a: ADD 0000131b: SWAP1 0000131c: DUP2 0000131d: MSTORE 0000131e: PUSH1 0x20 00001320: ADD 00001321: PUSH1 0x00 00001323: KECCAK256 00001324: SLOAD 00001325: PUSH2 0x1d21 00001328: SWAP1 00001329: SWAP2 0000132a: SWAP1 0000132b: PUSH4 0xffffffff 00001330: AND 00001331: JUMP 00001332: JUMPDEST 00001333: PUSH1 0x02 00001335: PUSH1 0x00 00001337: DUP8 00001338: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134d: AND 0000134e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001363: AND 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x20 00001368: ADD 00001369: SWAP1 0000136a: DUP2 0000136b: MSTORE 0000136c: PUSH1 0x20 0000136e: ADD 0000136f: PUSH1 0x00 00001371: KECCAK256 00001372: DUP2 00001373: SWAP1 00001374: SSTORE 00001375: POP 00001376: DUP4 00001377: DUP6 00001378: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138d: AND 0000138e: PUSH32 0x60b8ef4216791426b3d7acfb0b6d11a400872350afd70a3ce5ebf62bea7cb0d4 000013af: PUSH1 0x40 000013b1: MLOAD 000013b2: PUSH1 0x40 000013b4: MLOAD 000013b5: DUP1 000013b6: SWAP2 000013b7: SUB 000013b8: SWAP1 000013b9: LOG3 000013ba: POP 000013bb: POP 000013bc: POP 000013bd: POP 000013be: POP 000013bf: JUMP 000013c0: JUMPDEST 000013c1: PUSH1 0x00 000013c3: CALLER 000013c4: SWAP1 000013c5: POP 000013c6: PUSH1 0x00 000013c8: DUP6 000013c9: DUP3 000013ca: DUP7 000013cb: PUSH1 0x40 000013cd: MLOAD 000013ce: PUSH1 0x20 000013d0: ADD 000013d1: DUP1 000013d2: DUP5 000013d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e8: AND 000013e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fe: AND 000013ff: PUSH1 0x60 00001401: SHL 00001402: DUP2 00001403: MSTORE 00001404: PUSH1 0x14 00001406: ADD 00001407: DUP4 00001408: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141d: AND 0000141e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001433: AND 00001434: PUSH1 0x60 00001436: SHL 00001437: DUP2 00001438: MSTORE 00001439: PUSH1 0x14 0000143b: ADD 0000143c: DUP3 0000143d: DUP2 0000143e: MSTORE 0000143f: PUSH1 0x20 00001441: ADD 00001442: SWAP4 00001443: POP 00001444: POP 00001445: POP 00001446: POP 00001447: PUSH1 0x40 00001449: MLOAD 0000144a: PUSH1 0x20 0000144c: DUP2 0000144d: DUP4 0000144e: SUB 0000144f: SUB 00001450: DUP2 00001451: MSTORE 00001452: SWAP1 00001453: PUSH1 0x40 00001455: MSTORE 00001456: DUP1 00001457: MLOAD 00001458: SWAP1 00001459: PUSH1 0x20 0000145b: ADD 0000145c: KECCAK256 0000145d: SWAP1 0000145e: POP 0000145f: PUSH1 0x00 00001461: PUSH1 0x03 00001463: PUSH1 0x00 00001465: DUP4 00001466: DUP2 00001467: MSTORE 00001468: PUSH1 0x20 0000146a: ADD 0000146b: SWAP1 0000146c: DUP2 0000146d: MSTORE 0000146e: PUSH1 0x20 00001470: ADD 00001471: PUSH1 0x00 00001473: KECCAK256 00001474: SLOAD 00001475: GT 00001476: PUSH2 0x14e7 00001479: JUMPI 0000147a: PUSH1 0x40 0000147c: MLOAD 0000147d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000149e: DUP2 0000149f: MSTORE 000014a0: PUSH1 0x04 000014a2: ADD 000014a3: DUP1 000014a4: DUP1 000014a5: PUSH1 0x20 000014a7: ADD 000014a8: DUP3 000014a9: DUP2 000014aa: SUB 000014ab: DUP3 000014ac: MSTORE 000014ad: PUSH1 0x0e 000014af: DUP2 000014b0: MSTORE 000014b1: PUSH1 0x20 000014b3: ADD 000014b4: DUP1 000014b5: PUSH32 0x426f6e64206e6f7420666f756e64000000000000000000000000000000000000 000014d6: DUP2 000014d7: MSTORE 000014d8: POP 000014d9: PUSH1 0x20 000014db: ADD 000014dc: SWAP2 000014dd: POP 000014de: POP 000014df: PUSH1 0x40 000014e1: MLOAD 000014e2: DUP1 000014e3: SWAP2 000014e4: SUB 000014e5: SWAP1 000014e6: REVERT 000014e7: JUMPDEST 000014e8: PUSH1 0x00 000014ea: DUP7 000014eb: DUP6 000014ec: DUP6 000014ed: PUSH1 0x40 000014ef: MLOAD 000014f0: PUSH1 0x20 000014f2: ADD 000014f3: DUP1 000014f4: DUP5 000014f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000150a: AND 0000150b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001520: AND 00001521: PUSH1 0x60 00001523: SHL 00001524: DUP2 00001525: MSTORE 00001526: PUSH1 0x14 00001528: ADD 00001529: DUP4 0000152a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153f: AND 00001540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001555: AND 00001556: PUSH1 0x60 00001558: SHL 00001559: DUP2 0000155a: MSTORE 0000155b: PUSH1 0x14 0000155d: ADD 0000155e: DUP3 0000155f: DUP2 00001560: MSTORE 00001561: PUSH1 0x20 00001563: ADD 00001564: SWAP4 00001565: POP 00001566: POP 00001567: POP 00001568: POP 00001569: PUSH1 0x40 0000156b: MLOAD 0000156c: PUSH1 0x20 0000156e: DUP2 0000156f: DUP4 00001570: SUB 00001571: SUB 00001572: DUP2 00001573: MSTORE 00001574: SWAP1 00001575: PUSH1 0x40 00001577: MSTORE 00001578: DUP1 00001579: MLOAD 0000157a: SWAP1 0000157b: PUSH1 0x20 0000157d: ADD 0000157e: KECCAK256 0000157f: SWAP1 00001580: POP 00001581: PUSH1 0x00 00001583: PUSH1 0x03 00001585: PUSH1 0x00 00001587: DUP4 00001588: DUP2 00001589: MSTORE 0000158a: PUSH1 0x20 0000158c: ADD 0000158d: SWAP1 0000158e: DUP2 0000158f: MSTORE 00001590: PUSH1 0x20 00001592: ADD 00001593: PUSH1 0x00 00001595: KECCAK256 00001596: SLOAD 00001597: EQ 00001598: PUSH2 0x15ec 0000159b: JUMPI 0000159c: PUSH1 0x40 0000159e: MLOAD 0000159f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015c0: DUP2 000015c1: MSTORE 000015c2: PUSH1 0x04 000015c4: ADD 000015c5: DUP1 000015c6: DUP1 000015c7: PUSH1 0x20 000015c9: ADD 000015ca: DUP3 000015cb: DUP2 000015cc: SUB 000015cd: DUP3 000015ce: MSTORE 000015cf: PUSH1 0x2f 000015d1: DUP2 000015d2: MSTORE 000015d3: PUSH1 0x20 000015d5: ADD 000015d6: DUP1 000015d7: PUSH2 0x1daa 000015da: PUSH1 0x2f 000015dc: SWAP2 000015dd: CODECOPY 000015de: PUSH1 0x40 000015e0: ADD 000015e1: SWAP2 000015e2: POP 000015e3: POP 000015e4: PUSH1 0x40 000015e6: MLOAD 000015e7: DUP1 000015e8: SWAP2 000015e9: SUB 000015ea: SWAP1 000015eb: REVERT 000015ec: JUMPDEST 000015ed: PUSH1 0x03 000015ef: PUSH1 0x00 000015f1: DUP4 000015f2: DUP2 000015f3: MSTORE 000015f4: PUSH1 0x20 000015f6: ADD 000015f7: SWAP1 000015f8: DUP2 000015f9: MSTORE 000015fa: PUSH1 0x20 000015fc: ADD 000015fd: PUSH1 0x00 000015ff: KECCAK256 00001600: SLOAD 00001601: PUSH1 0x03 00001603: PUSH1 0x00 00001605: DUP4 00001606: DUP2 00001607: MSTORE 00001608: PUSH1 0x20 0000160a: ADD 0000160b: SWAP1 0000160c: DUP2 0000160d: MSTORE 0000160e: PUSH1 0x20 00001610: ADD 00001611: PUSH1 0x00 00001613: KECCAK256 00001614: DUP2 00001615: SWAP1 00001616: SSTORE 00001617: POP 00001618: PUSH1 0x00 0000161a: PUSH1 0x03 0000161c: PUSH1 0x00 0000161e: DUP5 0000161f: DUP2 00001620: MSTORE 00001621: PUSH1 0x20 00001623: ADD 00001624: SWAP1 00001625: DUP2 00001626: MSTORE 00001627: PUSH1 0x20 00001629: ADD 0000162a: PUSH1 0x00 0000162c: KECCAK256 0000162d: DUP2 0000162e: SWAP1 0000162f: SSTORE 00001630: POP 00001631: DUP6 00001632: DUP8 00001633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001648: AND 00001649: PUSH32 0xb1d917176802bfbc813f2d82e745526029a4ccf0ea98d14e7a09a08703595b1e 0000166a: DUP8 0000166b: DUP8 0000166c: PUSH1 0x40 0000166e: MLOAD 0000166f: DUP1 00001670: DUP4 00001671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001686: AND 00001687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169c: AND 0000169d: DUP2 0000169e: MSTORE 0000169f: PUSH1 0x20 000016a1: ADD 000016a2: DUP3 000016a3: DUP2 000016a4: MSTORE 000016a5: PUSH1 0x20 000016a7: ADD 000016a8: SWAP3 000016a9: POP 000016aa: POP 000016ab: POP 000016ac: PUSH1 0x40 000016ae: MLOAD 000016af: DUP1 000016b0: SWAP2 000016b1: SUB 000016b2: SWAP1 000016b3: LOG3 000016b4: POP 000016b5: POP 000016b6: POP 000016b7: POP 000016b8: POP 000016b9: POP 000016ba: POP 000016bb: JUMP 000016bc: JUMPDEST 000016bd: CALLER 000016be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d3: AND 000016d4: PUSH1 0x01 000016d6: PUSH1 0x00 000016d8: SWAP1 000016d9: SLOAD 000016da: SWAP1 000016db: PUSH2 0x0100 000016de: EXP 000016df: SWAP1 000016e0: DIV 000016e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f6: AND 000016f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000170c: AND 0000170d: PUSH4 0xfb1677b1 00001712: DUP5 00001713: PUSH1 0x40 00001715: MLOAD 00001716: DUP3 00001717: PUSH4 0xffffffff 0000171c: AND 0000171d: PUSH1 0xe0 0000171f: SHL 00001720: DUP2 00001721: MSTORE 00001722: PUSH1 0x04 00001724: ADD 00001725: DUP1 00001726: DUP3 00001727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173c: AND 0000173d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001752: AND 00001753: DUP2 00001754: MSTORE 00001755: PUSH1 0x20 00001757: ADD 00001758: SWAP2 00001759: POP 0000175a: POP 0000175b: PUSH1 0x20 0000175d: PUSH1 0x40 0000175f: MLOAD 00001760: DUP1 00001761: DUP4 00001762: SUB 00001763: DUP2 00001764: DUP7 00001765: DUP1 00001766: EXTCODESIZE 00001767: ISZERO 00001768: DUP1 00001769: ISZERO 0000176a: PUSH2 0x1772 0000176d: JUMPI 0000176e: PUSH1 0x00 00001770: DUP1 00001771: REVERT 00001772: JUMPDEST 00001773: POP 00001774: GAS 00001775: STATICCALL 00001776: ISZERO 00001777: DUP1 00001778: ISZERO 00001779: PUSH2 0x1786 0000177c: JUMPI 0000177d: RETURNDATASIZE 0000177e: PUSH1 0x00 00001780: DUP1 00001781: RETURNDATACOPY 00001782: RETURNDATASIZE 00001783: PUSH1 0x00 00001785: REVERT 00001786: JUMPDEST 00001787: POP 00001788: POP 00001789: POP 0000178a: POP 0000178b: PUSH1 0x40 0000178d: MLOAD 0000178e: RETURNDATASIZE 0000178f: PUSH1 0x20 00001791: DUP2 00001792: LT 00001793: ISZERO 00001794: PUSH2 0x179c 00001797: JUMPI 00001798: PUSH1 0x00 0000179a: DUP1 0000179b: REVERT 0000179c: JUMPDEST 0000179d: DUP2 0000179e: ADD 0000179f: SWAP1 000017a0: DUP1 000017a1: DUP1 000017a2: MLOAD 000017a3: SWAP1 000017a4: PUSH1 0x20 000017a6: ADD 000017a7: SWAP1 000017a8: SWAP3 000017a9: SWAP2 000017aa: SWAP1 000017ab: POP 000017ac: POP 000017ad: POP 000017ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c3: AND 000017c4: EQ 000017c5: PUSH2 0x1836 000017c8: JUMPI 000017c9: PUSH1 0x40 000017cb: MLOAD 000017cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017ed: DUP2 000017ee: MSTORE 000017ef: PUSH1 0x04 000017f1: ADD 000017f2: DUP1 000017f3: DUP1 000017f4: PUSH1 0x20 000017f6: ADD 000017f7: DUP3 000017f8: DUP2 000017f9: SUB 000017fa: DUP3 000017fb: MSTORE 000017fc: PUSH1 0x0e 000017fe: DUP2 000017ff: MSTORE 00001800: PUSH1 0x20 00001802: ADD 00001803: DUP1 00001804: PUSH32 0x4e6f7420617574686f72697a6564000000000000000000000000000000000000 00001825: DUP2 00001826: MSTORE 00001827: POP 00001828: PUSH1 0x20 0000182a: ADD 0000182b: SWAP2 0000182c: POP 0000182d: POP 0000182e: PUSH1 0x40 00001830: MLOAD 00001831: DUP1 00001832: SWAP2 00001833: SUB 00001834: SWAP1 00001835: REVERT 00001836: JUMPDEST 00001837: PUSH1 0x01 00001839: PUSH1 0x04 0000183b: PUSH1 0x00 0000183d: DUP5 0000183e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001853: AND 00001854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001869: AND 0000186a: DUP2 0000186b: MSTORE 0000186c: PUSH1 0x20 0000186e: ADD 0000186f: SWAP1 00001870: DUP2 00001871: MSTORE 00001872: PUSH1 0x20 00001874: ADD 00001875: PUSH1 0x00 00001877: KECCAK256 00001878: PUSH1 0x00 0000187a: DUP4 0000187b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001890: AND 00001891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a6: AND 000018a7: DUP2 000018a8: MSTORE 000018a9: PUSH1 0x20 000018ab: ADD 000018ac: SWAP1 000018ad: DUP2 000018ae: MSTORE 000018af: PUSH1 0x20 000018b1: ADD 000018b2: PUSH1 0x00 000018b4: KECCAK256 000018b5: PUSH1 0x00 000018b7: PUSH2 0x0100 000018ba: EXP 000018bb: DUP2 000018bc: SLOAD 000018bd: DUP2 000018be: PUSH1 0xff 000018c0: MUL 000018c1: NOT 000018c2: AND 000018c3: SWAP1 000018c4: DUP4 000018c5: ISZERO 000018c6: ISZERO 000018c7: MUL 000018c8: OR 000018c9: SWAP1 000018ca: SSTORE 000018cb: POP 000018cc: POP 000018cd: POP 000018ce: JUMP 000018cf: JUMPDEST 000018d0: DUP2 000018d1: PUSH2 0x18db 000018d4: DUP7 000018d5: CALLER 000018d6: DUP5 000018d7: PUSH2 0x0dc9 000018da: JUMP 000018db: JUMPDEST 000018dc: LT 000018dd: ISZERO 000018de: PUSH2 0x194f 000018e1: JUMPI 000018e2: PUSH1 0x40 000018e4: MLOAD 000018e5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001906: DUP2 00001907: MSTORE 00001908: PUSH1 0x04 0000190a: ADD 0000190b: DUP1 0000190c: DUP1 0000190d: PUSH1 0x20 0000190f: ADD 00001910: DUP3 00001911: DUP2 00001912: SUB 00001913: DUP3 00001914: MSTORE 00001915: PUSH1 0x1b 00001917: DUP2 00001918: MSTORE 00001919: PUSH1 0x20 0000191b: ADD 0000191c: DUP1 0000191d: PUSH32 0x496e73756666696369656e7420756e626f6e6465642076616c75650000000000 0000193e: DUP2 0000193f: MSTORE 00001940: POP 00001941: PUSH1 0x20 00001943: ADD 00001944: SWAP2 00001945: POP 00001946: POP 00001947: PUSH1 0x40 00001949: MLOAD 0000194a: DUP1 0000194b: SWAP2 0000194c: SUB 0000194d: SWAP1 0000194e: REVERT 0000194f: JUMPDEST 00001950: PUSH1 0x00 00001952: DUP6 00001953: DUP6 00001954: DUP6 00001955: PUSH1 0x40 00001957: MLOAD 00001958: PUSH1 0x20 0000195a: ADD 0000195b: DUP1 0000195c: DUP5 0000195d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001972: AND 00001973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001988: AND 00001989: PUSH1 0x60 0000198b: SHL 0000198c: DUP2 0000198d: MSTORE 0000198e: PUSH1 0x14 00001990: ADD 00001991: DUP4 00001992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a7: AND 000019a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019bd: AND 000019be: PUSH1 0x60 000019c0: SHL 000019c1: DUP2 000019c2: MSTORE 000019c3: PUSH1 0x14 000019c5: ADD 000019c6: DUP3 000019c7: DUP2 000019c8: MSTORE 000019c9: PUSH1 0x20 000019cb: ADD 000019cc: SWAP4 000019cd: POP 000019ce: POP 000019cf: POP 000019d0: POP 000019d1: PUSH1 0x40 000019d3: MLOAD 000019d4: PUSH1 0x20 000019d6: DUP2 000019d7: DUP4 000019d8: SUB 000019d9: SUB 000019da: DUP2 000019db: MSTORE 000019dc: SWAP1 000019dd: PUSH1 0x40 000019df: MSTORE 000019e0: DUP1 000019e1: MLOAD 000019e2: SWAP1 000019e3: PUSH1 0x20 000019e5: ADD 000019e6: KECCAK256 000019e7: SWAP1 000019e8: POP 000019e9: PUSH1 0x00 000019eb: PUSH1 0x03 000019ed: PUSH1 0x00 000019ef: DUP4 000019f0: DUP2 000019f1: MSTORE 000019f2: PUSH1 0x20 000019f4: ADD 000019f5: SWAP1 000019f6: DUP2 000019f7: MSTORE 000019f8: PUSH1 0x20 000019fa: ADD 000019fb: PUSH1 0x00 000019fd: KECCAK256 000019fe: SLOAD 000019ff: EQ 00001a00: PUSH2 0x1a54 00001a03: JUMPI 00001a04: PUSH1 0x40 00001a06: MLOAD 00001a07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a28: DUP2 00001a29: MSTORE 00001a2a: PUSH1 0x04 00001a2c: ADD 00001a2d: DUP1 00001a2e: DUP1 00001a2f: PUSH1 0x20 00001a31: ADD 00001a32: DUP3 00001a33: DUP2 00001a34: SUB 00001a35: DUP3 00001a36: MSTORE 00001a37: PUSH1 0x2f 00001a39: DUP2 00001a3a: MSTORE 00001a3b: PUSH1 0x20 00001a3d: ADD 00001a3e: DUP1 00001a3f: PUSH2 0x1daa 00001a42: PUSH1 0x2f 00001a44: SWAP2 00001a45: CODECOPY 00001a46: PUSH1 0x40 00001a48: ADD 00001a49: SWAP2 00001a4a: POP 00001a4b: POP 00001a4c: PUSH1 0x40 00001a4e: MLOAD 00001a4f: DUP1 00001a50: SWAP2 00001a51: SUB 00001a52: SWAP1 00001a53: REVERT 00001a54: JUMPDEST 00001a55: PUSH2 0x1aa6 00001a58: DUP4 00001a59: PUSH1 0x02 00001a5b: PUSH1 0x00 00001a5d: DUP10 00001a5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a73: AND 00001a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a89: AND 00001a8a: DUP2 00001a8b: MSTORE 00001a8c: PUSH1 0x20 00001a8e: ADD 00001a8f: SWAP1 00001a90: DUP2 00001a91: MSTORE 00001a92: PUSH1 0x20 00001a94: ADD 00001a95: PUSH1 0x00 00001a97: KECCAK256 00001a98: SLOAD 00001a99: PUSH2 0x1c98 00001a9c: SWAP1 00001a9d: SWAP2 00001a9e: SWAP1 00001a9f: PUSH4 0xffffffff 00001aa4: AND 00001aa5: JUMP 00001aa6: JUMPDEST 00001aa7: PUSH1 0x02 00001aa9: PUSH1 0x00 00001aab: DUP9 00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac1: AND 00001ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad7: AND 00001ad8: DUP2 00001ad9: MSTORE 00001ada: PUSH1 0x20 00001adc: ADD 00001add: SWAP1 00001ade: DUP2 00001adf: MSTORE 00001ae0: PUSH1 0x20 00001ae2: ADD 00001ae3: PUSH1 0x00 00001ae5: KECCAK256 00001ae6: DUP2 00001ae7: SWAP1 00001ae8: SSTORE 00001ae9: POP 00001aea: PUSH2 0x1b0f 00001aed: DUP4 00001aee: PUSH1 0x03 00001af0: PUSH1 0x00 00001af2: DUP5 00001af3: DUP2 00001af4: MSTORE 00001af5: PUSH1 0x20 00001af7: ADD 00001af8: SWAP1 00001af9: DUP2 00001afa: MSTORE 00001afb: PUSH1 0x20 00001afd: ADD 00001afe: PUSH1 0x00 00001b00: KECCAK256 00001b01: SLOAD 00001b02: PUSH2 0x1d21 00001b05: SWAP1 00001b06: SWAP2 00001b07: SWAP1 00001b08: PUSH4 0xffffffff 00001b0d: AND 00001b0e: JUMP 00001b0f: JUMPDEST 00001b10: PUSH1 0x03 00001b12: PUSH1 0x00 00001b14: DUP4 00001b15: DUP2 00001b16: MSTORE 00001b17: PUSH1 0x20 00001b19: ADD 00001b1a: SWAP1 00001b1b: DUP2 00001b1c: MSTORE 00001b1d: PUSH1 0x20 00001b1f: ADD 00001b20: PUSH1 0x00 00001b22: KECCAK256 00001b23: DUP2 00001b24: SWAP1 00001b25: SSTORE 00001b26: POP 00001b27: DUP2 00001b28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3d: AND 00001b3e: DUP6 00001b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b54: AND 00001b55: DUP8 00001b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6b: AND 00001b6c: PUSH32 0xa5543d8e139d9ab4342d5c4f6ec1bff5a97f9a52d71f7ffe9845b94f1449fc91 00001b8d: DUP8 00001b8e: DUP8 00001b8f: PUSH1 0x40 00001b91: MLOAD 00001b92: DUP1 00001b93: DUP4 00001b94: DUP2 00001b95: MSTORE 00001b96: PUSH1 0x20 00001b98: ADD 00001b99: DUP3 00001b9a: DUP2 00001b9b: MSTORE 00001b9c: PUSH1 0x20 00001b9e: ADD 00001b9f: SWAP3 00001ba0: POP 00001ba1: POP 00001ba2: POP 00001ba3: PUSH1 0x40 00001ba5: MLOAD 00001ba6: DUP1 00001ba7: SWAP2 00001ba8: SUB 00001ba9: SWAP1 00001baa: LOG4 00001bab: POP 00001bac: POP 00001bad: POP 00001bae: POP 00001baf: POP 00001bb0: POP 00001bb1: JUMP 00001bb2: JUMPDEST 00001bb3: PUSH2 0x1c04 00001bb6: CALLVALUE 00001bb7: PUSH1 0x02 00001bb9: PUSH1 0x00 00001bbb: DUP5 00001bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd1: AND 00001bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001be7: AND 00001be8: DUP2 00001be9: MSTORE 00001bea: PUSH1 0x20 00001bec: ADD 00001bed: SWAP1 00001bee: DUP2 00001bef: MSTORE 00001bf0: PUSH1 0x20 00001bf2: ADD 00001bf3: PUSH1 0x00 00001bf5: KECCAK256 00001bf6: SLOAD 00001bf7: PUSH2 0x1d21 00001bfa: SWAP1 00001bfb: SWAP2 00001bfc: SWAP1 00001bfd: PUSH4 0xffffffff 00001c02: AND 00001c03: JUMP 00001c04: JUMPDEST 00001c05: PUSH1 0x02 00001c07: PUSH1 0x00 00001c09: DUP4 00001c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1f: AND 00001c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c35: AND 00001c36: DUP2 00001c37: MSTORE 00001c38: PUSH1 0x20 00001c3a: ADD 00001c3b: SWAP1 00001c3c: DUP2 00001c3d: MSTORE 00001c3e: PUSH1 0x20 00001c40: ADD 00001c41: PUSH1 0x00 00001c43: KECCAK256 00001c44: DUP2 00001c45: SWAP1 00001c46: SSTORE 00001c47: POP 00001c48: DUP1 00001c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c5e: AND 00001c5f: PUSH32 0x3f2a154c5e312d6436c85eb3bcda38091a329b48efdeb8aa4a75cec1768e6635 00001c80: CALLVALUE 00001c81: PUSH1 0x40 00001c83: MLOAD 00001c84: DUP1 00001c85: DUP3 00001c86: DUP2 00001c87: MSTORE 00001c88: PUSH1 0x20 00001c8a: ADD 00001c8b: SWAP2 00001c8c: POP 00001c8d: POP 00001c8e: PUSH1 0x40 00001c90: MLOAD 00001c91: DUP1 00001c92: SWAP2 00001c93: SUB 00001c94: SWAP1 00001c95: LOG2 00001c96: POP 00001c97: JUMP 00001c98: JUMPDEST 00001c99: PUSH1 0x00 00001c9b: DUP3 00001c9c: DUP3 00001c9d: GT 00001c9e: ISZERO 00001c9f: PUSH2 0x1d10 00001ca2: JUMPI 00001ca3: PUSH1 0x40 00001ca5: MLOAD 00001ca6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001cc7: DUP2 00001cc8: MSTORE 00001cc9: PUSH1 0x04 00001ccb: ADD 00001ccc: DUP1 00001ccd: DUP1 00001cce: PUSH1 0x20 00001cd0: ADD 00001cd1: DUP3 00001cd2: DUP2 00001cd3: SUB 00001cd4: DUP3 00001cd5: MSTORE 00001cd6: PUSH1 0x1e 00001cd8: DUP2 00001cd9: MSTORE 00001cda: PUSH1 0x20 00001cdc: ADD 00001cdd: DUP1 00001cde: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001cff: DUP2 00001d00: MSTORE 00001d01: POP 00001d02: PUSH1 0x20 00001d04: ADD 00001d05: SWAP2 00001d06: POP 00001d07: POP 00001d08: PUSH1 0x40 00001d0a: MLOAD 00001d0b: DUP1 00001d0c: SWAP2 00001d0d: SUB 00001d0e: SWAP1 00001d0f: REVERT 00001d10: JUMPDEST 00001d11: PUSH1 0x00 00001d13: DUP3 00001d14: DUP5 00001d15: SUB 00001d16: SWAP1 00001d17: POP 00001d18: DUP1 00001d19: SWAP2 00001d1a: POP 00001d1b: POP 00001d1c: SWAP3 00001d1d: SWAP2 00001d1e: POP 00001d1f: POP 00001d20: JUMP 00001d21: JUMPDEST 00001d22: PUSH1 0x00 00001d24: DUP1 00001d25: DUP3 00001d26: DUP5 00001d27: ADD 00001d28: SWAP1 00001d29: POP 00001d2a: DUP4 00001d2b: DUP2 00001d2c: LT 00001d2d: ISZERO 00001d2e: PUSH2 0x1d9f 00001d31: JUMPI 00001d32: PUSH1 0x40 00001d34: MLOAD 00001d35: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d56: DUP2 00001d57: MSTORE 00001d58: PUSH1 0x04 00001d5a: ADD 00001d5b: DUP1 00001d5c: DUP1 00001d5d: PUSH1 0x20 00001d5f: ADD 00001d60: DUP3 00001d61: DUP2 00001d62: SUB 00001d63: DUP3 00001d64: MSTORE 00001d65: PUSH1 0x1b 00001d67: DUP2 00001d68: MSTORE 00001d69: PUSH1 0x20 00001d6b: ADD 00001d6c: DUP1 00001d6d: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001d8e: DUP2 00001d8f: MSTORE 00001d90: POP 00001d91: PUSH1 0x20 00001d93: ADD 00001d94: SWAP2 00001d95: POP 00001d96: POP 00001d97: PUSH1 0x40 00001d99: MLOAD 00001d9a: DUP1 00001d9b: SWAP2 00001d9c: SUB 00001d9d: SWAP1 00001d9e: REVERT 00001d9f: JUMPDEST 00001da0: DUP1 00001da1: SWAP2 00001da2: POP 00001da3: POP 00001da4: SWAP3 00001da5: SWAP2 00001da6: POP 00001da7: POP 00001da8: JUMP 00001da9: INVALID 00001daa: MSTORE 00001dab: PUSH6 0x666572656e63 00001db2: PUSH6 0x204944206e6f 00001db9: PUSH21 0x20756e6971756520666f7220686f6c64657220616e 00001dcf: PUSH5 0x206f706572 00001dd5: PUSH2 0x746f 00001dd8: PUSH19 0x52657175657374656420616d6f756e74206973 00001dec: KECCAK256 00001ded: PUSH8 0x7265617465722074 00001df6: PUSH9 0x616e2074686520626f 00001e00: PUSH15 0x6452657175657374656420616d6f75 00001e10: PUSH15 0x742073686f756c6420626520677265 00001e20: PUSH2 0x7465 00001e23: PUSH19 0x207468616e207a65726f4f6e6c79206f706572 00001e37: PUSH2 0x746f 00001e3a: PUSH19 0x206f7220746865206f776e657220697320616c 00001e4e: PUSH13 0x6f77656420746f207769746864 00001e5c: PUSH19 0x617720626f6e64a265627a7a7231582080f7c4 00001e70: DUP15 00001e71: SWAP8 00001e72: PUSH5 0x8f0c0ebe1f 00001e78: DUP3 00001e79: UNKNOWN(0x4E) 00001e7a: JUMP 00001e7b: SLT 00001e7c: UNKNOWN(0xDE) 00001e7d: REVERT 00001e7e: DUP14 00001e7f: RETURNDATASIZE 00001e80: PUSH24
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x28d5bb1dc7a5f4f12bbc8bc73f6aa8ac128b76c1aad79915b587f0f9294c92ec
call_targets:
0x7137701e90c6a80b0da36922cd83942b32a8fc95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x28d5bb1dc7a5f4f12bbc8bc73f6aa8ac128b76c1aad79915b587f0f9294c92ec",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7137701e90c6a80b0da36922cd83942b32a8fc95"
],
"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": "0x78f011c1",
"selector": "0x78f011c1",
"calldata_variants": [
"0x78f011c1",
"0x78f011c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ab3cf93",
"selector": "0x7ab3cf93",
"calldata_variants": [
"0x7ab3cf93",
"0x7ab3cf930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x972f2457",
"selector": "0x972f2457",
"calldata_variants": [
"0x972f2457",
"0x972f24570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5786174",
"selector": "0xc5786174",
"calldata_variants": [
"0xc5786174",
"0xc57861740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd20a62fc",
"selector": "0xd20a62fc",
"calldata_variants": [
"0xd20a62fc",
"0xd20a62fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cb0a677",
"selector": "0x0cb0a677",
"calldata_variants": [
"0x0cb0a677",
"0x0cb0a6770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42bcb965",
"selector": "0x42bcb965",
"calldata_variants": [
"0x42bcb965",
"0x42bcb9650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2498,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 1524,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1794,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x28d5bb1dc7a5f4f12bbc8bc73f6aa8ac128b76c1aad79915b587f0f9294c92ec
call_targets:
0x7137701e90c6a80b0da36922cd83942b32a8fc95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x28d5bb1dc7a5f4f12bbc8bc73f6aa8ac128b76c1aad79915b587f0f9294c92ec",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7137701e90c6a80b0da36922cd83942b32a8fc95"
],
"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": "0x78f011c1",
"selector": "0x78f011c1",
"calldata_variants": [
"0x78f011c1",
"0x78f011c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ab3cf93",
"selector": "0x7ab3cf93",
"calldata_variants": [
"0x7ab3cf93",
"0x7ab3cf930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x972f2457",
"selector": "0x972f2457",
"calldata_variants": [
"0x972f2457",
"0x972f24570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5786174",
"selector": "0xc5786174",
"calldata_variants": [
"0xc5786174",
"0xc57861740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd20a62fc",
"selector": "0xd20a62fc",
"calldata_variants": [
"0xd20a62fc",
"0xd20a62fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cb0a677",
"selector": "0x0cb0a677",
"calldata_variants": [
"0x0cb0a677",
"0x0cb0a6770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42bcb965",
"selector": "0x42bcb965",
"calldata_variants": [
"0x42bcb965",
"0x42bcb9650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2498,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 1524,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1794,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|