019b477e-c7c5-7367-8b6d-d70d9d79ccf2
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 |
|---|---|---|---|---|
| 26023 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26024 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112603 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112604 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112605 | detector.run | complete | 1 / 3 | 1 week ago |
| 112606 | 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 0x0181 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xcc69c4e8 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdbac26e9 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdbac26e9 0000003a: EQ 0000003b: PUSH2 0x0518 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe086e5ec 00000045: EQ 00000046: PUSH2 0x0555 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x056c 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf59c3708 0000005b: EQ 0000005c: PUSH2 0x0595 0000005f: JUMPI 00000060: PUSH2 0x0181 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xcc69c4e8 0000006b: EQ 0000006c: PUSH2 0x0485 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd56d229d 00000076: EQ 00000077: PUSH2 0x04b0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd936547e 00000081: EQ 00000082: PUSH2 0x04db 00000085: JUMPI 00000086: PUSH2 0x0181 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x8da5cb5b 00000091: EQ 00000092: PUSH2 0x0396 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x91b7f5ed 0000009c: EQ 0000009d: PUSH2 0x03c1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x9c6c4d23 000000a7: EQ 000000a8: PUSH2 0x03ea 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa035b1fe 000000b2: EQ 000000b3: PUSH2 0x0415 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xacd4d575 000000bd: EQ 000000be: PUSH2 0x0440 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc8434fd0 000000c8: EQ 000000c9: PUSH2 0x0469 000000cc: JUMPI 000000cd: PUSH2 0x0181 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x3574a2dd 000000d8: GT 000000d9: PUSH2 0x013e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x4b0bddd2 000000e3: GT 000000e4: PUSH2 0x0118 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x4b0bddd2 000000ee: EQ 000000ef: PUSH2 0x0321 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x64edfbf0 000000f9: EQ 000000fa: PUSH2 0x034a 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x715018a6 00000104: EQ 00000105: PUSH2 0x0354 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x7313cba9 0000010f: EQ 00000110: PUSH2 0x036b 00000113: JUMPI 00000114: PUSH2 0x0181 00000117: JUMP 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x3574a2dd 0000011f: EQ 00000120: PUSH2 0x02a6 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x404e5129 0000012a: EQ 0000012b: PUSH2 0x02cf 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x47c6b45e 00000135: EQ 00000136: PUSH2 0x02f8 00000139: JUMPI 0000013a: PUSH2 0x0181 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x052d9e7e 00000145: EQ 00000146: PUSH2 0x0186 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x13a6c196 00000150: EQ 00000151: PUSH2 0x01af 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x180bb7bc 0000015b: EQ 0000015c: PUSH2 0x01ec 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x18886657 00000166: EQ 00000167: PUSH2 0x0215 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x24d7806c 00000171: EQ 00000172: PUSH2 0x0240 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x3020a18e 0000017c: EQ 0000017d: PUSH2 0x027d 00000180: JUMPI 00000181: JUMPDEST 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x01ad 00000197: PUSH1 0x04 00000199: DUP1 0000019a: CALLDATASIZE 0000019b: SUB 0000019c: DUP2 0000019d: ADD 0000019e: SWAP1 0000019f: PUSH2 0x01a8 000001a2: SWAP2 000001a3: SWAP1 000001a4: PUSH2 0x229b 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH2 0x05be 000001ac: JUMP 000001ad: JUMPDEST 000001ae: STOP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: DUP1 000001b2: ISZERO 000001b3: PUSH2 0x01bb 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: POP 000001bd: PUSH2 0x01d6 000001c0: PUSH1 0x04 000001c2: DUP1 000001c3: CALLDATASIZE 000001c4: SUB 000001c5: DUP2 000001c6: ADD 000001c7: SWAP1 000001c8: PUSH2 0x01d1 000001cb: SWAP2 000001cc: SWAP1 000001cd: PUSH2 0x217b 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH2 0x06ff 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: PUSH2 0x01e3 000001dd: SWAP2 000001de: SWAP1 000001df: PUSH2 0x27dc 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH1 0x40 000001e6: MLOAD 000001e7: DUP1 000001e8: SWAP2 000001e9: SUB 000001ea: SWAP1 000001eb: RETURN 000001ec: JUMPDEST 000001ed: CALLVALUE 000001ee: DUP1 000001ef: ISZERO 000001f0: PUSH2 0x01f8 000001f3: JUMPI 000001f4: PUSH1 0x00 000001f6: DUP1 000001f7: REVERT 000001f8: JUMPDEST 000001f9: POP 000001fa: PUSH2 0x0213 000001fd: PUSH1 0x04 000001ff: DUP1 00000200: CALLDATASIZE 00000201: SUB 00000202: DUP2 00000203: ADD 00000204: SWAP1 00000205: PUSH2 0x020e 00000208: SWAP2 00000209: SWAP1 0000020a: PUSH2 0x222f 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH2 0x071d 00000212: JUMP 00000213: JUMPDEST 00000214: STOP 00000215: JUMPDEST 00000216: CALLVALUE 00000217: DUP1 00000218: ISZERO 00000219: PUSH2 0x0221 0000021c: JUMPI 0000021d: PUSH1 0x00 0000021f: DUP1 00000220: REVERT 00000221: JUMPDEST 00000222: POP 00000223: PUSH2 0x022a 00000226: PUSH2 0x089c 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: PUSH2 0x0237 00000231: SWAP2 00000232: SWAP1 00000233: PUSH2 0x27dc 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: DUP1 0000023c: SWAP2 0000023d: SUB 0000023e: SWAP1 0000023f: RETURN 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH2 0x0267 00000251: PUSH1 0x04 00000253: DUP1 00000254: CALLDATASIZE 00000255: SUB 00000256: DUP2 00000257: ADD 00000258: SWAP1 00000259: PUSH2 0x0262 0000025c: SWAP2 0000025d: SWAP1 0000025e: PUSH2 0x217b 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH2 0x08a2 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH1 0x40 0000026a: MLOAD 0000026b: PUSH2 0x0274 0000026e: SWAP2 0000026f: SWAP1 00000270: PUSH2 0x26c4 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH1 0x40 00000277: MLOAD 00000278: DUP1 00000279: SWAP2 0000027a: SUB 0000027b: SWAP1 0000027c: RETURN 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x02a4 0000028e: PUSH1 0x04 00000290: DUP1 00000291: CALLDATASIZE 00000292: SUB 00000293: DUP2 00000294: ADD 00000295: SWAP1 00000296: PUSH2 0x029f 00000299: SWAP2 0000029a: SWAP1 0000029b: PUSH2 0x229b 0000029e: JUMP 0000029f: JUMPDEST 000002a0: PUSH2 0x08f8 000002a3: JUMP 000002a4: JUMPDEST 000002a5: STOP 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: DUP1 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: PUSH2 0x02cd 000002b7: PUSH1 0x04 000002b9: DUP1 000002ba: CALLDATASIZE 000002bb: SUB 000002bc: DUP2 000002bd: ADD 000002be: SWAP1 000002bf: PUSH2 0x02c8 000002c2: SWAP2 000002c3: SWAP1 000002c4: PUSH2 0x22ed 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH2 0x0a0a 000002cc: JUMP 000002cd: JUMPDEST 000002ce: STOP 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x02f6 000002e0: PUSH1 0x04 000002e2: DUP1 000002e3: CALLDATASIZE 000002e4: SUB 000002e5: DUP2 000002e6: ADD 000002e7: SWAP1 000002e8: PUSH2 0x02f1 000002eb: SWAP2 000002ec: SWAP1 000002ed: PUSH2 0x21a4 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH2 0x0b11 000002f5: JUMP 000002f6: JUMPDEST 000002f7: STOP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x031f 00000309: PUSH1 0x04 0000030b: DUP1 0000030c: CALLDATASIZE 0000030d: SUB 0000030e: DUP2 0000030f: ADD 00000310: SWAP1 00000311: PUSH2 0x031a 00000314: SWAP2 00000315: SWAP1 00000316: PUSH2 0x21e0 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH2 0x0c0c 0000031e: JUMP 0000031f: JUMPDEST 00000320: STOP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x0348 00000332: PUSH1 0x04 00000334: DUP1 00000335: CALLDATASIZE 00000336: SUB 00000337: DUP2 00000338: ADD 00000339: SWAP1 0000033a: PUSH2 0x0343 0000033d: SWAP2 0000033e: SWAP1 0000033f: PUSH2 0x21a4 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH2 0x0d4e 00000347: JUMP 00000348: JUMPDEST 00000349: STOP 0000034a: JUMPDEST 0000034b: PUSH2 0x0352 0000034e: PUSH2 0x0eaf 00000351: JUMP 00000352: JUMPDEST 00000353: STOP 00000354: JUMPDEST 00000355: CALLVALUE 00000356: DUP1 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: PUSH2 0x0369 00000365: PUSH2 0x1090 00000368: JUMP 00000369: JUMPDEST 0000036a: STOP 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: DUP1 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: PUSH2 0x0380 0000037c: PUSH2 0x11fd 0000037f: JUMP 00000380: JUMPDEST 00000381: PUSH1 0x40 00000383: MLOAD 00000384: PUSH2 0x038d 00000387: SWAP2 00000388: SWAP1 00000389: PUSH2 0x26fa 0000038c: JUMP 0000038d: JUMPDEST 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: DUP1 00000392: SWAP2 00000393: SUB 00000394: SWAP1 00000395: RETURN 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x03ab 000003a7: PUSH2 0x129b 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: PUSH2 0x03b8 000003b2: SWAP2 000003b3: SWAP1 000003b4: PUSH2 0x2650 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: DUP1 000003bd: SWAP2 000003be: SUB 000003bf: SWAP1 000003c0: RETURN 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x03e8 000003d2: PUSH1 0x04 000003d4: DUP1 000003d5: CALLDATASIZE 000003d6: SUB 000003d7: DUP2 000003d8: ADD 000003d9: SWAP1 000003da: PUSH2 0x03e3 000003dd: SWAP2 000003de: SWAP1 000003df: PUSH2 0x232e 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH2 0x12c4 000003e7: JUMP 000003e8: JUMPDEST 000003e9: STOP 000003ea: JUMPDEST 000003eb: CALLVALUE 000003ec: DUP1 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: PUSH2 0x03ff 000003fb: PUSH2 0x137d 000003fe: JUMP 000003ff: JUMPDEST 00000400: PUSH1 0x40 00000402: MLOAD 00000403: PUSH2 0x040c 00000406: SWAP2 00000407: SWAP1 00000408: PUSH2 0x26c4 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: DUP1 00000411: SWAP2 00000412: SUB 00000413: SWAP1 00000414: RETURN 00000415: JUMPDEST 00000416: CALLVALUE 00000417: DUP1 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: POP 00000423: PUSH2 0x042a 00000426: PUSH2 0x1390 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH1 0x40 0000042d: MLOAD 0000042e: PUSH2 0x0437 00000431: SWAP2 00000432: SWAP1 00000433: PUSH2 0x27dc 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x40 0000043a: MLOAD 0000043b: DUP1 0000043c: SWAP2 0000043d: SUB 0000043e: SWAP1 0000043f: RETURN 00000440: JUMPDEST 00000441: CALLVALUE 00000442: DUP1 00000443: ISZERO 00000444: PUSH2 0x044c 00000447: JUMPI 00000448: PUSH1 0x00 0000044a: DUP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: POP 0000044e: PUSH2 0x0467 00000451: PUSH1 0x04 00000453: DUP1 00000454: CALLDATASIZE 00000455: SUB 00000456: DUP2 00000457: ADD 00000458: SWAP1 00000459: PUSH2 0x0462 0000045c: SWAP2 0000045d: SWAP1 0000045e: PUSH2 0x222f 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH2 0x1396 00000466: JUMP 00000467: JUMPDEST 00000468: STOP 00000469: JUMPDEST 0000046a: PUSH2 0x0483 0000046d: PUSH1 0x04 0000046f: DUP1 00000470: CALLDATASIZE 00000471: SUB 00000472: DUP2 00000473: ADD 00000474: SWAP1 00000475: PUSH2 0x047e 00000478: SWAP2 00000479: SWAP1 0000047a: PUSH2 0x232e 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH2 0x1515 00000482: JUMP 00000483: JUMPDEST 00000484: STOP 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x049a 00000496: PUSH2 0x1712 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: PUSH2 0x04a7 000004a1: SWAP2 000004a2: SWAP1 000004a3: PUSH2 0x26c4 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: DUP1 000004ac: SWAP2 000004ad: SUB 000004ae: SWAP1 000004af: RETURN 000004b0: JUMPDEST 000004b1: CALLVALUE 000004b2: DUP1 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: POP 000004be: PUSH2 0x04c5 000004c1: PUSH2 0x1725 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: PUSH2 0x04d2 000004cc: SWAP2 000004cd: SWAP1 000004ce: PUSH2 0x26df 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH1 0x40 000004d5: MLOAD 000004d6: DUP1 000004d7: SWAP2 000004d8: SUB 000004d9: SWAP1 000004da: RETURN 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x0502 000004ec: PUSH1 0x04 000004ee: DUP1 000004ef: CALLDATASIZE 000004f0: SUB 000004f1: DUP2 000004f2: ADD 000004f3: SWAP1 000004f4: PUSH2 0x04fd 000004f7: SWAP2 000004f8: SWAP1 000004f9: PUSH2 0x217b 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH2 0x174b 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH1 0x40 00000505: MLOAD 00000506: PUSH2 0x050f 00000509: SWAP2 0000050a: SWAP1 0000050b: PUSH2 0x26c4 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH1 0x40 00000512: MLOAD 00000513: DUP1 00000514: SWAP2 00000515: SUB 00000516: SWAP1 00000517: RETURN 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: DUP1 0000051b: ISZERO 0000051c: PUSH2 0x0524 0000051f: JUMPI 00000520: PUSH1 0x00 00000522: DUP1 00000523: REVERT 00000524: JUMPDEST 00000525: POP 00000526: PUSH2 0x053f 00000529: PUSH1 0x04 0000052b: DUP1 0000052c: CALLDATASIZE 0000052d: SUB 0000052e: DUP2 0000052f: ADD 00000530: SWAP1 00000531: PUSH2 0x053a 00000534: SWAP2 00000535: SWAP1 00000536: PUSH2 0x217b 00000539: JUMP 0000053a: JUMPDEST 0000053b: PUSH2 0x176b 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH1 0x40 00000542: MLOAD 00000543: PUSH2 0x054c 00000546: SWAP2 00000547: SWAP1 00000548: PUSH2 0x26c4 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x40 0000054f: MLOAD 00000550: DUP1 00000551: SWAP2 00000552: SUB 00000553: SWAP1 00000554: RETURN 00000555: JUMPDEST 00000556: CALLVALUE 00000557: DUP1 00000558: ISZERO 00000559: PUSH2 0x0561 0000055c: JUMPI 0000055d: PUSH1 0x00 0000055f: DUP1 00000560: REVERT 00000561: JUMPDEST 00000562: POP 00000563: PUSH2 0x056a 00000566: PUSH2 0x178b 00000569: JUMP 0000056a: JUMPDEST 0000056b: STOP 0000056c: JUMPDEST 0000056d: CALLVALUE 0000056e: DUP1 0000056f: ISZERO 00000570: PUSH2 0x0578 00000573: JUMPI 00000574: PUSH1 0x00 00000576: DUP1 00000577: REVERT 00000578: JUMPDEST 00000579: POP 0000057a: PUSH2 0x0593 0000057d: PUSH1 0x04 0000057f: DUP1 00000580: CALLDATASIZE 00000581: SUB 00000582: DUP2 00000583: ADD 00000584: SWAP1 00000585: PUSH2 0x058e 00000588: SWAP2 00000589: SWAP1 0000058a: PUSH2 0x217b 0000058d: JUMP 0000058e: JUMPDEST 0000058f: PUSH2 0x1883 00000592: JUMP 00000593: JUMPDEST 00000594: STOP 00000595: JUMPDEST 00000596: CALLVALUE 00000597: DUP1 00000598: ISZERO 00000599: PUSH2 0x05a1 0000059c: JUMPI 0000059d: PUSH1 0x00 0000059f: DUP1 000005a0: REVERT 000005a1: JUMPDEST 000005a2: POP 000005a3: PUSH2 0x05bc 000005a6: PUSH1 0x04 000005a8: DUP1 000005a9: CALLDATASIZE 000005aa: SUB 000005ab: DUP2 000005ac: ADD 000005ad: SWAP1 000005ae: PUSH2 0x05b7 000005b1: SWAP2 000005b2: SWAP1 000005b3: PUSH2 0x21a4 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x1a75 000005bb: JUMP 000005bc: JUMPDEST 000005bd: STOP 000005be: JUMPDEST 000005bf: PUSH1 0x01 000005c1: PUSH1 0x00 000005c3: PUSH2 0x05ca 000005c6: PUSH2 0x1b83 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e0: AND 000005e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f6: AND 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x20 000005fb: ADD 000005fc: SWAP1 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x20 00000601: ADD 00000602: PUSH1 0x00 00000604: KECCAK256 00000605: PUSH1 0x00 00000607: SWAP1 00000608: SLOAD 00000609: SWAP1 0000060a: PUSH2 0x0100 0000060d: EXP 0000060e: SWAP1 0000060f: DIV 00000610: PUSH1 0xff 00000612: AND 00000613: DUP1 00000614: PUSH2 0x0656 00000617: JUMPI 00000618: POP 00000619: PUSH2 0x0620 0000061c: PUSH2 0x129b 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000636: AND 00000637: PUSH2 0x063e 0000063a: PUSH2 0x1b83 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000654: AND 00000655: EQ 00000656: JUMPDEST 00000657: PUSH2 0x06ab 0000065a: JUMPI 0000065b: PUSH1 0x40 0000065d: MLOAD 0000065e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x04 00000683: ADD 00000684: DUP1 00000685: DUP1 00000686: PUSH1 0x20 00000688: ADD 00000689: DUP3 0000068a: DUP2 0000068b: SUB 0000068c: DUP3 0000068d: MSTORE 0000068e: PUSH1 0x21 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x20 00000694: ADD 00000695: DUP1 00000696: PUSH2 0x2a45 00000699: PUSH1 0x21 0000069b: SWAP2 0000069c: CODECOPY 0000069d: PUSH1 0x40 0000069f: ADD 000006a0: SWAP2 000006a1: POP 000006a2: POP 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: DUP1 000006a7: SWAP2 000006a8: SUB 000006a9: SWAP1 000006aa: REVERT 000006ab: JUMPDEST 000006ac: DUP1 000006ad: PUSH1 0x04 000006af: PUSH1 0x00 000006b1: PUSH2 0x0100 000006b4: EXP 000006b5: DUP2 000006b6: SLOAD 000006b7: DUP2 000006b8: PUSH1 0xff 000006ba: MUL 000006bb: NOT 000006bc: AND 000006bd: SWAP1 000006be: DUP4 000006bf: ISZERO 000006c0: ISZERO 000006c1: MUL 000006c2: OR 000006c3: SWAP1 000006c4: SSTORE 000006c5: POP 000006c6: PUSH32 0x9d1749bd4eb18cf13b7c30dd998926aaf378a23b0574aded3464483c126a53de 000006e7: DUP2 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: PUSH2 0x06f4 000006ee: SWAP2 000006ef: SWAP1 000006f0: PUSH2 0x26c4 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x40 000006f7: MLOAD 000006f8: DUP1 000006f9: SWAP2 000006fa: SUB 000006fb: SWAP1 000006fc: LOG1 000006fd: POP 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x07 00000702: PUSH1 0x20 00000704: MSTORE 00000705: DUP1 00000706: PUSH1 0x00 00000708: MSTORE 00000709: PUSH1 0x40 0000070b: PUSH1 0x00 0000070d: KECCAK256 0000070e: PUSH1 0x00 00000710: SWAP2 00000711: POP 00000712: SWAP1 00000713: POP 00000714: DUP1 00000715: PUSH1 0x00 00000717: ADD 00000718: SLOAD 00000719: SWAP1 0000071a: POP 0000071b: DUP2 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH1 0x01 00000720: PUSH1 0x00 00000722: PUSH2 0x0729 00000725: PUSH2 0x1b83 00000728: JUMP 00000729: JUMPDEST 0000072a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073f: AND 00000740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000755: AND 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x20 0000075a: ADD 0000075b: SWAP1 0000075c: DUP2 0000075d: MSTORE 0000075e: PUSH1 0x20 00000760: ADD 00000761: PUSH1 0x00 00000763: KECCAK256 00000764: PUSH1 0x00 00000766: SWAP1 00000767: SLOAD 00000768: SWAP1 00000769: PUSH2 0x0100 0000076c: EXP 0000076d: SWAP1 0000076e: DIV 0000076f: PUSH1 0xff 00000771: AND 00000772: DUP1 00000773: PUSH2 0x07b5 00000776: JUMPI 00000777: POP 00000778: PUSH2 0x077f 0000077b: PUSH2 0x129b 0000077e: JUMP 0000077f: JUMPDEST 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: PUSH2 0x079d 00000799: PUSH2 0x1b83 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b3: AND 000007b4: EQ 000007b5: JUMPDEST 000007b6: PUSH2 0x080a 000007b9: JUMPI 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007de: DUP2 000007df: MSTORE 000007e0: PUSH1 0x04 000007e2: ADD 000007e3: DUP1 000007e4: DUP1 000007e5: PUSH1 0x20 000007e7: ADD 000007e8: DUP3 000007e9: DUP2 000007ea: SUB 000007eb: DUP3 000007ec: MSTORE 000007ed: PUSH1 0x21 000007ef: DUP2 000007f0: MSTORE 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: DUP1 000007f5: PUSH2 0x2a45 000007f8: PUSH1 0x21 000007fa: SWAP2 000007fb: CODECOPY 000007fc: PUSH1 0x40 000007fe: ADD 000007ff: SWAP2 00000800: POP 00000801: POP 00000802: PUSH1 0x40 00000804: MLOAD 00000805: DUP1 00000806: SWAP2 00000807: SUB 00000808: SWAP1 00000809: REVERT 0000080a: JUMPDEST 0000080b: DUP1 0000080c: MLOAD 0000080d: DUP3 0000080e: MLOAD 0000080f: EQ 00000810: PUSH2 0x084e 00000813: JUMPI 00000814: PUSH1 0x40 00000816: MLOAD 00000817: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000838: DUP2 00000839: MSTORE 0000083a: PUSH1 0x04 0000083c: ADD 0000083d: PUSH2 0x0845 00000840: SWAP1 00000841: PUSH2 0x27bc 00000844: JUMP 00000845: JUMPDEST 00000846: PUSH1 0x40 00000848: MLOAD 00000849: DUP1 0000084a: SWAP2 0000084b: SUB 0000084c: SWAP1 0000084d: REVERT 0000084e: JUMPDEST 0000084f: PUSH1 0x00 00000851: JUMPDEST 00000852: DUP3 00000853: MLOAD 00000854: DUP2 00000855: LT 00000856: ISZERO 00000857: PUSH2 0x0897 0000085a: JUMPI 0000085b: PUSH2 0x088a 0000085e: DUP4 0000085f: DUP3 00000860: DUP2 00000861: MLOAD 00000862: DUP2 00000863: LT 00000864: PUSH2 0x0869 00000867: JUMPI 00000868: INVALID 00000869: JUMPDEST 0000086a: PUSH1 0x20 0000086c: MUL 0000086d: PUSH1 0x20 0000086f: ADD 00000870: ADD 00000871: MLOAD 00000872: DUP4 00000873: DUP4 00000874: DUP2 00000875: MLOAD 00000876: DUP2 00000877: LT 00000878: PUSH2 0x087d 0000087b: JUMPI 0000087c: INVALID 0000087d: JUMPDEST 0000087e: PUSH1 0x20 00000880: MUL 00000881: PUSH1 0x20 00000883: ADD 00000884: ADD 00000885: MLOAD 00000886: PUSH2 0x1b8b 00000889: JUMP 0000088a: JUMPDEST 0000088b: DUP1 0000088c: DUP1 0000088d: PUSH1 0x01 0000088f: ADD 00000890: SWAP2 00000891: POP 00000892: POP 00000893: PUSH2 0x0851 00000896: JUMP 00000897: JUMPDEST 00000898: POP 00000899: POP 0000089a: POP 0000089b: JUMP 0000089c: JUMPDEST 0000089d: PUSH1 0x08 0000089f: SLOAD 000008a0: DUP2 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH1 0x00 000008a5: PUSH1 0x01 000008a7: PUSH1 0x00 000008a9: DUP4 000008aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bf: AND 000008c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d5: AND 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: ADD 000008db: SWAP1 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x20 000008e0: ADD 000008e1: PUSH1 0x00 000008e3: KECCAK256 000008e4: PUSH1 0x00 000008e6: SWAP1 000008e7: SLOAD 000008e8: SWAP1 000008e9: PUSH2 0x0100 000008ec: EXP 000008ed: SWAP1 000008ee: DIV 000008ef: PUSH1 0xff 000008f1: AND 000008f2: SWAP1 000008f3: POP 000008f4: SWAP2 000008f5: SWAP1 000008f6: POP 000008f7: JUMP 000008f8: JUMPDEST 000008f9: PUSH2 0x0900 000008fc: PUSH2 0x1b83 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000916: AND 00000917: PUSH2 0x091e 0000091a: PUSH2 0x129b 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000934: AND 00000935: EQ 00000936: PUSH2 0x09a7 00000939: JUMPI 0000093a: PUSH1 0x40 0000093c: MLOAD 0000093d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x04 00000962: ADD 00000963: DUP1 00000964: DUP1 00000965: PUSH1 0x20 00000967: ADD 00000968: DUP3 00000969: DUP2 0000096a: SUB 0000096b: DUP3 0000096c: MSTORE 0000096d: PUSH1 0x20 0000096f: DUP2 00000970: MSTORE 00000971: PUSH1 0x20 00000973: ADD 00000974: DUP1 00000975: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000996: DUP2 00000997: MSTORE 00000998: POP 00000999: PUSH1 0x20 0000099b: ADD 0000099c: SWAP2 0000099d: POP 0000099e: POP 0000099f: PUSH1 0x40 000009a1: MLOAD 000009a2: DUP1 000009a3: SWAP2 000009a4: SUB 000009a5: SWAP1 000009a6: REVERT 000009a7: JUMPDEST 000009a8: DUP1 000009a9: PUSH1 0x09 000009ab: PUSH1 0x00 000009ad: PUSH2 0x0100 000009b0: EXP 000009b1: DUP2 000009b2: SLOAD 000009b3: DUP2 000009b4: PUSH1 0xff 000009b6: MUL 000009b7: NOT 000009b8: AND 000009b9: SWAP1 000009ba: DUP4 000009bb: ISZERO 000009bc: ISZERO 000009bd: MUL 000009be: OR 000009bf: SWAP1 000009c0: SSTORE 000009c1: POP 000009c2: PUSH32 0x066619ea1f868757831218cae336ca0366cb2d5715727794ce23a857ae56dfde 000009e3: PUSH1 0x09 000009e5: PUSH1 0x00 000009e7: SWAP1 000009e8: SLOAD 000009e9: SWAP1 000009ea: PUSH2 0x0100 000009ed: EXP 000009ee: SWAP1 000009ef: DIV 000009f0: PUSH1 0xff 000009f2: AND 000009f3: PUSH1 0x40 000009f5: MLOAD 000009f6: PUSH2 0x09ff 000009f9: SWAP2 000009fa: SWAP1 000009fb: PUSH2 0x26c4 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH1 0x40 00000a02: MLOAD 00000a03: DUP1 00000a04: SWAP2 00000a05: SUB 00000a06: SWAP1 00000a07: LOG1 00000a08: POP 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH1 0x01 00000a0d: PUSH1 0x00 00000a0f: PUSH2 0x0a16 00000a12: PUSH2 0x1b83 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2c: AND 00000a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a42: AND 00000a43: DUP2 00000a44: MSTORE 00000a45: PUSH1 0x20 00000a47: ADD 00000a48: SWAP1 00000a49: DUP2 00000a4a: MSTORE 00000a4b: PUSH1 0x20 00000a4d: ADD 00000a4e: PUSH1 0x00 00000a50: KECCAK256 00000a51: PUSH1 0x00 00000a53: SWAP1 00000a54: SLOAD 00000a55: SWAP1 00000a56: PUSH2 0x0100 00000a59: EXP 00000a5a: SWAP1 00000a5b: DIV 00000a5c: PUSH1 0xff 00000a5e: AND 00000a5f: DUP1 00000a60: PUSH2 0x0aa2 00000a63: JUMPI 00000a64: POP 00000a65: PUSH2 0x0a6c 00000a68: PUSH2 0x129b 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a82: AND 00000a83: PUSH2 0x0a8a 00000a86: PUSH2 0x1b83 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa0: AND 00000aa1: EQ 00000aa2: JUMPDEST 00000aa3: PUSH2 0x0af7 00000aa6: JUMPI 00000aa7: PUSH1 0x40 00000aa9: MLOAD 00000aaa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000acb: DUP2 00000acc: MSTORE 00000acd: PUSH1 0x04 00000acf: ADD 00000ad0: DUP1 00000ad1: DUP1 00000ad2: PUSH1 0x20 00000ad4: ADD 00000ad5: DUP3 00000ad6: DUP2 00000ad7: SUB 00000ad8: DUP3 00000ad9: MSTORE 00000ada: PUSH1 0x21 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: DUP1 00000ae2: PUSH2 0x2a45 00000ae5: PUSH1 0x21 00000ae7: SWAP2 00000ae8: CODECOPY 00000ae9: PUSH1 0x40 00000aeb: ADD 00000aec: SWAP2 00000aed: POP 00000aee: POP 00000aef: PUSH1 0x40 00000af1: MLOAD 00000af2: DUP1 00000af3: SWAP2 00000af4: SUB 00000af5: SWAP1 00000af6: REVERT 00000af7: JUMPDEST 00000af8: DUP1 00000af9: PUSH1 0x0b 00000afb: SWAP1 00000afc: DUP1 00000afd: MLOAD 00000afe: SWAP1 00000aff: PUSH1 0x20 00000b01: ADD 00000b02: SWAP1 00000b03: PUSH2 0x0b0d 00000b06: SWAP3 00000b07: SWAP2 00000b08: SWAP1 00000b09: PUSH2 0x1ed3 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: POP 00000b0f: POP 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH1 0x01 00000b14: PUSH1 0x00 00000b16: PUSH2 0x0b1d 00000b19: PUSH2 0x1b83 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b33: AND 00000b34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b49: AND 00000b4a: DUP2 00000b4b: MSTORE 00000b4c: PUSH1 0x20 00000b4e: ADD 00000b4f: SWAP1 00000b50: DUP2 00000b51: MSTORE 00000b52: PUSH1 0x20 00000b54: ADD 00000b55: PUSH1 0x00 00000b57: KECCAK256 00000b58: PUSH1 0x00 00000b5a: SWAP1 00000b5b: SLOAD 00000b5c: SWAP1 00000b5d: PUSH2 0x0100 00000b60: EXP 00000b61: SWAP1 00000b62: DIV 00000b63: PUSH1 0xff 00000b65: AND 00000b66: DUP1 00000b67: PUSH2 0x0ba9 00000b6a: JUMPI 00000b6b: POP 00000b6c: PUSH2 0x0b73 00000b6f: PUSH2 0x129b 00000b72: JUMP 00000b73: JUMPDEST 00000b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b89: AND 00000b8a: PUSH2 0x0b91 00000b8d: PUSH2 0x1b83 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba7: AND 00000ba8: EQ 00000ba9: JUMPDEST 00000baa: PUSH2 0x0bfe 00000bad: JUMPI 00000bae: PUSH1 0x40 00000bb0: MLOAD 00000bb1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x04 00000bd6: ADD 00000bd7: DUP1 00000bd8: DUP1 00000bd9: PUSH1 0x20 00000bdb: ADD 00000bdc: DUP3 00000bdd: DUP2 00000bde: SUB 00000bdf: DUP3 00000be0: MSTORE 00000be1: PUSH1 0x21 00000be3: DUP2 00000be4: MSTORE 00000be5: PUSH1 0x20 00000be7: ADD 00000be8: DUP1 00000be9: PUSH2 0x2a45 00000bec: PUSH1 0x21 00000bee: SWAP2 00000bef: CODECOPY 00000bf0: PUSH1 0x40 00000bf2: ADD 00000bf3: SWAP2 00000bf4: POP 00000bf5: POP 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: DUP1 00000bfa: SWAP2 00000bfb: SUB 00000bfc: SWAP1 00000bfd: REVERT 00000bfe: JUMPDEST 00000bff: PUSH2 0x0c08 00000c02: DUP3 00000c03: DUP3 00000c04: PUSH2 0x1b8b 00000c07: JUMP 00000c08: JUMPDEST 00000c09: POP 00000c0a: POP 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: PUSH2 0x0c14 00000c10: PUSH2 0x1b83 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2a: AND 00000c2b: PUSH2 0x0c32 00000c2e: PUSH2 0x129b 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c48: AND 00000c49: EQ 00000c4a: PUSH2 0x0cbb 00000c4d: JUMPI 00000c4e: PUSH1 0x40 00000c50: MLOAD 00000c51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c72: DUP2 00000c73: MSTORE 00000c74: PUSH1 0x04 00000c76: ADD 00000c77: DUP1 00000c78: DUP1 00000c79: PUSH1 0x20 00000c7b: ADD 00000c7c: DUP3 00000c7d: DUP2 00000c7e: SUB 00000c7f: DUP3 00000c80: MSTORE 00000c81: PUSH1 0x20 00000c83: DUP2 00000c84: MSTORE 00000c85: PUSH1 0x20 00000c87: ADD 00000c88: DUP1 00000c89: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000caa: DUP2 00000cab: MSTORE 00000cac: POP 00000cad: PUSH1 0x20 00000caf: ADD 00000cb0: SWAP2 00000cb1: POP 00000cb2: POP 00000cb3: PUSH1 0x40 00000cb5: MLOAD 00000cb6: DUP1 00000cb7: SWAP2 00000cb8: SUB 00000cb9: SWAP1 00000cba: REVERT 00000cbb: JUMPDEST 00000cbc: DUP3 00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd2: AND 00000cd3: PUSH4 0xa9059cbb 00000cd8: DUP3 00000cd9: DUP5 00000cda: PUSH1 0x40 00000cdc: MLOAD 00000cdd: DUP4 00000cde: PUSH4 0xffffffff 00000ce3: AND 00000ce4: PUSH1 0xe0 00000ce6: SHL 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x04 00000ceb: ADD 00000cec: PUSH2 0x0cf6 00000cef: SWAP3 00000cf0: SWAP2 00000cf1: SWAP1 00000cf2: PUSH2 0x269b 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: PUSH1 0x20 00000cf9: PUSH1 0x40 00000cfb: MLOAD 00000cfc: DUP1 00000cfd: DUP4 00000cfe: SUB 00000cff: DUP2 00000d00: PUSH1 0x00 00000d02: DUP8 00000d03: DUP1 00000d04: EXTCODESIZE 00000d05: ISZERO 00000d06: DUP1 00000d07: ISZERO 00000d08: PUSH2 0x0d10 00000d0b: JUMPI 00000d0c: PUSH1 0x00 00000d0e: DUP1 00000d0f: REVERT 00000d10: JUMPDEST 00000d11: POP 00000d12: GAS 00000d13: CALL 00000d14: ISZERO 00000d15: DUP1 00000d16: ISZERO 00000d17: PUSH2 0x0d24 00000d1a: JUMPI 00000d1b: RETURNDATASIZE 00000d1c: PUSH1 0x00 00000d1e: DUP1 00000d1f: RETURNDATACOPY 00000d20: RETURNDATASIZE 00000d21: PUSH1 0x00 00000d23: REVERT 00000d24: JUMPDEST 00000d25: POP 00000d26: POP 00000d27: POP 00000d28: POP 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: RETURNDATASIZE 00000d2d: PUSH1 0x1f 00000d2f: NOT 00000d30: PUSH1 0x1f 00000d32: DUP3 00000d33: ADD 00000d34: AND 00000d35: DUP3 00000d36: ADD 00000d37: DUP1 00000d38: PUSH1 0x40 00000d3a: MSTORE 00000d3b: POP 00000d3c: DUP2 00000d3d: ADD 00000d3e: SWAP1 00000d3f: PUSH2 0x0d48 00000d42: SWAP2 00000d43: SWAP1 00000d44: PUSH2 0x22c4 00000d47: JUMP 00000d48: JUMPDEST 00000d49: POP 00000d4a: POP 00000d4b: POP 00000d4c: POP 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH2 0x0d56 00000d52: PUSH2 0x1b83 00000d55: JUMP 00000d56: JUMPDEST 00000d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6c: AND 00000d6d: PUSH2 0x0d74 00000d70: PUSH2 0x129b 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8a: AND 00000d8b: EQ 00000d8c: PUSH2 0x0dfd 00000d8f: JUMPI 00000d90: PUSH1 0x40 00000d92: MLOAD 00000d93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000db4: DUP2 00000db5: MSTORE 00000db6: PUSH1 0x04 00000db8: ADD 00000db9: DUP1 00000dba: DUP1 00000dbb: PUSH1 0x20 00000dbd: ADD 00000dbe: DUP3 00000dbf: DUP2 00000dc0: SUB 00000dc1: DUP3 00000dc2: MSTORE 00000dc3: PUSH1 0x20 00000dc5: DUP2 00000dc6: MSTORE 00000dc7: PUSH1 0x20 00000dc9: ADD 00000dca: DUP1 00000dcb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000dec: DUP2 00000ded: MSTORE 00000dee: POP 00000def: PUSH1 0x20 00000df1: ADD 00000df2: SWAP2 00000df3: POP 00000df4: POP 00000df5: PUSH1 0x40 00000df7: MLOAD 00000df8: DUP1 00000df9: SWAP2 00000dfa: SUB 00000dfb: SWAP1 00000dfc: REVERT 00000dfd: JUMPDEST 00000dfe: DUP1 00000dff: PUSH1 0x01 00000e01: PUSH1 0x00 00000e03: DUP5 00000e04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e19: AND 00000e1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2f: AND 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x20 00000e34: ADD 00000e35: SWAP1 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x20 00000e3a: ADD 00000e3b: PUSH1 0x00 00000e3d: KECCAK256 00000e3e: PUSH1 0x00 00000e40: PUSH2 0x0100 00000e43: EXP 00000e44: DUP2 00000e45: SLOAD 00000e46: DUP2 00000e47: PUSH1 0xff 00000e49: MUL 00000e4a: NOT 00000e4b: AND 00000e4c: SWAP1 00000e4d: DUP4 00000e4e: ISZERO 00000e4f: ISZERO 00000e50: MUL 00000e51: OR 00000e52: SWAP1 00000e53: SSTORE 00000e54: POP 00000e55: PUSH32 0xe529461c8529abc0e0fe7c5ee361f74fe22e0b7574df1fc0b7558a282091fb78 00000e76: DUP3 00000e77: DUP3 00000e78: PUSH1 0x40 00000e7a: MLOAD 00000e7b: DUP1 00000e7c: DUP4 00000e7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e92: AND 00000e93: DUP2 00000e94: MSTORE 00000e95: PUSH1 0x20 00000e97: ADD 00000e98: DUP3 00000e99: ISZERO 00000e9a: ISZERO 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: ADD 00000ea0: SWAP3 00000ea1: POP 00000ea2: POP 00000ea3: POP 00000ea4: PUSH1 0x40 00000ea6: MLOAD 00000ea7: DUP1 00000ea8: SWAP2 00000ea9: SUB 00000eaa: SWAP1 00000eab: LOG1 00000eac: POP 00000ead: POP 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: PUSH1 0x09 00000eb2: PUSH1 0x00 00000eb4: SWAP1 00000eb5: SLOAD 00000eb6: SWAP1 00000eb7: PUSH2 0x0100 00000eba: EXP 00000ebb: SWAP1 00000ebc: DIV 00000ebd: PUSH1 0xff 00000ebf: AND 00000ec0: PUSH2 0x0efe 00000ec3: JUMPI 00000ec4: PUSH1 0x40 00000ec6: MLOAD 00000ec7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ee8: DUP2 00000ee9: MSTORE 00000eea: PUSH1 0x04 00000eec: ADD 00000eed: PUSH2 0x0ef5 00000ef0: SWAP1 00000ef1: PUSH2 0x279c 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH1 0x40 00000ef8: MLOAD 00000ef9: DUP1 00000efa: SWAP2 00000efb: SUB 00000efc: SWAP1 00000efd: REVERT 00000efe: JUMPDEST 00000eff: PUSH1 0x00 00000f01: ISZERO 00000f02: ISZERO 00000f03: PUSH1 0x04 00000f05: PUSH1 0x00 00000f07: SWAP1 00000f08: SLOAD 00000f09: SWAP1 00000f0a: PUSH2 0x0100 00000f0d: EXP 00000f0e: SWAP1 00000f0f: DIV 00000f10: PUSH1 0xff 00000f12: AND 00000f13: ISZERO 00000f14: ISZERO 00000f15: EQ 00000f16: DUP1 00000f17: PUSH2 0x0f70 00000f1a: JUMPI 00000f1b: POP 00000f1c: PUSH1 0x01 00000f1e: ISZERO 00000f1f: ISZERO 00000f20: PUSH1 0x02 00000f22: PUSH1 0x00 00000f24: CALLER 00000f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3a: AND 00000f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f50: AND 00000f51: DUP2 00000f52: MSTORE 00000f53: PUSH1 0x20 00000f55: ADD 00000f56: SWAP1 00000f57: DUP2 00000f58: MSTORE 00000f59: PUSH1 0x20 00000f5b: ADD 00000f5c: PUSH1 0x00 00000f5e: KECCAK256 00000f5f: PUSH1 0x00 00000f61: SWAP1 00000f62: SLOAD 00000f63: SWAP1 00000f64: PUSH2 0x0100 00000f67: EXP 00000f68: SWAP1 00000f69: DIV 00000f6a: PUSH1 0xff 00000f6c: AND 00000f6d: ISZERO 00000f6e: ISZERO 00000f6f: EQ 00000f70: JUMPDEST 00000f71: PUSH2 0x0faf 00000f74: JUMPI 00000f75: PUSH1 0x40 00000f77: MLOAD 00000f78: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f99: DUP2 00000f9a: MSTORE 00000f9b: PUSH1 0x04 00000f9d: ADD 00000f9e: PUSH2 0x0fa6 00000fa1: SWAP1 00000fa2: PUSH2 0x275c 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: PUSH1 0x40 00000fa9: MLOAD 00000faa: DUP1 00000fab: SWAP2 00000fac: SUB 00000fad: SWAP1 00000fae: REVERT 00000faf: JUMPDEST 00000fb0: PUSH1 0x00 00000fb2: ISZERO 00000fb3: ISZERO 00000fb4: PUSH1 0x03 00000fb6: PUSH1 0x00 00000fb8: CALLER 00000fb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fce: AND 00000fcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe4: AND 00000fe5: DUP2 00000fe6: MSTORE 00000fe7: PUSH1 0x20 00000fe9: ADD 00000fea: SWAP1 00000feb: DUP2 00000fec: MSTORE 00000fed: PUSH1 0x20 00000fef: ADD 00000ff0: PUSH1 0x00 00000ff2: KECCAK256 00000ff3: PUSH1 0x00 00000ff5: SWAP1 00000ff6: SLOAD 00000ff7: SWAP1 00000ff8: PUSH2 0x0100 00000ffb: EXP 00000ffc: SWAP1 00000ffd: DIV 00000ffe: PUSH1 0xff 00001000: AND 00001001: ISZERO 00001002: ISZERO 00001003: EQ 00001004: PUSH2 0x1042 00001007: JUMPI 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x04 00001030: ADD 00001031: PUSH2 0x1039 00001034: SWAP1 00001035: PUSH2 0x277c 00001038: JUMP 00001039: JUMPDEST 0000103a: PUSH1 0x40 0000103c: MLOAD 0000103d: DUP1 0000103e: SWAP2 0000103f: SUB 00001040: SWAP1 00001041: REVERT 00001042: JUMPDEST 00001043: PUSH1 0x0a 00001045: SLOAD 00001046: CALLVALUE 00001047: EQ 00001048: PUSH2 0x1086 0000104b: JUMPI 0000104c: PUSH1 0x40 0000104e: MLOAD 0000104f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001070: DUP2 00001071: MSTORE 00001072: PUSH1 0x04 00001074: ADD 00001075: PUSH2 0x107d 00001078: SWAP1 00001079: PUSH2 0x273c 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH1 0x40 00001080: MLOAD 00001081: DUP1 00001082: SWAP2 00001083: SUB 00001084: SWAP1 00001085: REVERT 00001086: JUMPDEST 00001087: PUSH2 0x108e 0000108a: PUSH2 0x1c34 0000108d: JUMP 0000108e: JUMPDEST 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH2 0x1098 00001094: PUSH2 0x1b83 00001097: JUMP 00001098: JUMPDEST 00001099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ae: AND 000010af: PUSH2 0x10b6 000010b2: PUSH2 0x129b 000010b5: JUMP 000010b6: JUMPDEST 000010b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010cc: AND 000010cd: EQ 000010ce: PUSH2 0x113f 000010d1: JUMPI 000010d2: PUSH1 0x40 000010d4: MLOAD 000010d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010f6: DUP2 000010f7: MSTORE 000010f8: PUSH1 0x04 000010fa: ADD 000010fb: DUP1 000010fc: DUP1 000010fd: PUSH1 0x20 000010ff: ADD 00001100: DUP3 00001101: DUP2 00001102: SUB 00001103: DUP3 00001104: MSTORE 00001105: PUSH1 0x20 00001107: DUP2 00001108: MSTORE 00001109: PUSH1 0x20 0000110b: ADD 0000110c: DUP1 0000110d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000112e: DUP2 0000112f: MSTORE 00001130: POP 00001131: PUSH1 0x20 00001133: ADD 00001134: SWAP2 00001135: POP 00001136: POP 00001137: PUSH1 0x40 00001139: MLOAD 0000113a: DUP1 0000113b: SWAP2 0000113c: SUB 0000113d: SWAP1 0000113e: REVERT 0000113f: JUMPDEST 00001140: PUSH1 0x00 00001142: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001157: AND 00001158: PUSH1 0x00 0000115a: DUP1 0000115b: SLOAD 0000115c: SWAP1 0000115d: PUSH2 0x0100 00001160: EXP 00001161: SWAP1 00001162: DIV 00001163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001178: AND 00001179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118e: AND 0000118f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000011b0: PUSH1 0x40 000011b2: MLOAD 000011b3: PUSH1 0x40 000011b5: MLOAD 000011b6: DUP1 000011b7: SWAP2 000011b8: SUB 000011b9: SWAP1 000011ba: LOG3 000011bb: PUSH1 0x00 000011bd: DUP1 000011be: PUSH1 0x00 000011c0: PUSH2 0x0100 000011c3: EXP 000011c4: DUP2 000011c5: SLOAD 000011c6: DUP2 000011c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011dc: MUL 000011dd: NOT 000011de: AND 000011df: SWAP1 000011e0: DUP4 000011e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f6: AND 000011f7: MUL 000011f8: OR 000011f9: SWAP1 000011fa: SSTORE 000011fb: POP 000011fc: JUMP 000011fd: JUMPDEST 000011fe: PUSH1 0x0b 00001200: DUP1 00001201: SLOAD 00001202: PUSH1 0x01 00001204: DUP2 00001205: PUSH1 0x01 00001207: AND 00001208: ISZERO 00001209: PUSH2 0x0100 0000120c: MUL 0000120d: SUB 0000120e: AND 0000120f: PUSH1 0x02 00001211: SWAP1 00001212: DIV 00001213: DUP1 00001214: PUSH1 0x1f 00001216: ADD 00001217: PUSH1 0x20 00001219: DUP1 0000121a: SWAP2 0000121b: DIV 0000121c: MUL 0000121d: PUSH1 0x20 0000121f: ADD 00001220: PUSH1 0x40 00001222: MLOAD 00001223: SWAP1 00001224: DUP2 00001225: ADD 00001226: PUSH1 0x40 00001228: MSTORE 00001229: DUP1 0000122a: SWAP3 0000122b: SWAP2 0000122c: SWAP1 0000122d: DUP2 0000122e: DUP2 0000122f: MSTORE 00001230: PUSH1 0x20 00001232: ADD 00001233: DUP3 00001234: DUP1 00001235: SLOAD 00001236: PUSH1 0x01 00001238: DUP2 00001239: PUSH1 0x01 0000123b: AND 0000123c: ISZERO 0000123d: PUSH2 0x0100 00001240: MUL 00001241: SUB 00001242: AND 00001243: PUSH1 0x02 00001245: SWAP1 00001246: DIV 00001247: DUP1 00001248: ISZERO 00001249: PUSH2 0x1293 0000124c: JUMPI 0000124d: DUP1 0000124e: PUSH1 0x1f 00001250: LT 00001251: PUSH2 0x1268 00001254: JUMPI 00001255: PUSH2 0x0100 00001258: DUP1 00001259: DUP4 0000125a: SLOAD 0000125b: DIV 0000125c: MUL 0000125d: DUP4 0000125e: MSTORE 0000125f: SWAP2 00001260: PUSH1 0x20 00001262: ADD 00001263: SWAP2 00001264: PUSH2 0x1293 00001267: JUMP 00001268: JUMPDEST 00001269: DUP3 0000126a: ADD 0000126b: SWAP2 0000126c: SWAP1 0000126d: PUSH1 0x00 0000126f: MSTORE 00001270: PUSH1 0x20 00001272: PUSH1 0x00 00001274: KECCAK256 00001275: SWAP1 00001276: JUMPDEST 00001277: DUP2 00001278: SLOAD 00001279: DUP2 0000127a: MSTORE 0000127b: SWAP1 0000127c: PUSH1 0x01 0000127e: ADD 0000127f: SWAP1 00001280: PUSH1 0x20 00001282: ADD 00001283: DUP1 00001284: DUP4 00001285: GT 00001286: PUSH2 0x1276 00001289: JUMPI 0000128a: DUP3 0000128b: SWAP1 0000128c: SUB 0000128d: PUSH1 0x1f 0000128f: AND 00001290: DUP3 00001291: ADD 00001292: SWAP2 00001293: JUMPDEST 00001294: POP 00001295: POP 00001296: POP 00001297: POP 00001298: POP 00001299: DUP2 0000129a: JUMP 0000129b: JUMPDEST 0000129c: PUSH1 0x00 0000129e: DUP1 0000129f: PUSH1 0x00 000012a1: SWAP1 000012a2: SLOAD 000012a3: SWAP1 000012a4: PUSH2 0x0100 000012a7: EXP 000012a8: SWAP1 000012a9: DIV 000012aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012bf: AND 000012c0: SWAP1 000012c1: POP 000012c2: SWAP1 000012c3: JUMP 000012c4: JUMPDEST 000012c5: PUSH2 0x12cc 000012c8: PUSH2 0x1b83 000012cb: JUMP 000012cc: JUMPDEST 000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e2: AND 000012e3: PUSH2 0x12ea 000012e6: PUSH2 0x129b 000012e9: JUMP 000012ea: JUMPDEST 000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001300: AND 00001301: EQ 00001302: PUSH2 0x1373 00001305: JUMPI 00001306: PUSH1 0x40 00001308: MLOAD 00001309: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000132a: DUP2 0000132b: MSTORE 0000132c: PUSH1 0x04 0000132e: ADD 0000132f: DUP1 00001330: DUP1 00001331: PUSH1 0x20 00001333: ADD 00001334: DUP3 00001335: DUP2 00001336: SUB 00001337: DUP3 00001338: MSTORE 00001339: PUSH1 0x20 0000133b: DUP2 0000133c: MSTORE 0000133d: PUSH1 0x20 0000133f: ADD 00001340: DUP1 00001341: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001362: DUP2 00001363: MSTORE 00001364: POP 00001365: PUSH1 0x20 00001367: ADD 00001368: SWAP2 00001369: POP 0000136a: POP 0000136b: PUSH1 0x40 0000136d: MLOAD 0000136e: DUP1 0000136f: SWAP2 00001370: SUB 00001371: SWAP1 00001372: REVERT 00001373: JUMPDEST 00001374: DUP1 00001375: PUSH1 0x0a 00001377: DUP2 00001378: SWAP1 00001379: SSTORE 0000137a: POP 0000137b: POP 0000137c: JUMP 0000137d: JUMPDEST 0000137e: PUSH1 0x04 00001380: PUSH1 0x00 00001382: SWAP1 00001383: SLOAD 00001384: SWAP1 00001385: PUSH2 0x0100 00001388: EXP 00001389: SWAP1 0000138a: DIV 0000138b: PUSH1 0xff 0000138d: AND 0000138e: DUP2 0000138f: JUMP 00001390: JUMPDEST 00001391: PUSH1 0x0a 00001393: SLOAD 00001394: DUP2 00001395: JUMP 00001396: JUMPDEST 00001397: PUSH1 0x01 00001399: PUSH1 0x00 0000139b: PUSH2 0x13a2 0000139e: PUSH2 0x1b83 000013a1: JUMP 000013a2: JUMPDEST 000013a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b8: AND 000013b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ce: AND 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH1 0x20 000013d3: ADD 000013d4: SWAP1 000013d5: DUP2 000013d6: MSTORE 000013d7: PUSH1 0x20 000013d9: ADD 000013da: PUSH1 0x00 000013dc: KECCAK256 000013dd: PUSH1 0x00 000013df: SWAP1 000013e0: SLOAD 000013e1: SWAP1 000013e2: PUSH2 0x0100 000013e5: EXP 000013e6: SWAP1 000013e7: DIV 000013e8: PUSH1 0xff 000013ea: AND 000013eb: DUP1 000013ec: PUSH2 0x142e 000013ef: JUMPI 000013f0: POP 000013f1: PUSH2 0x13f8 000013f4: PUSH2 0x129b 000013f7: JUMP 000013f8: JUMPDEST 000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140e: AND 0000140f: PUSH2 0x1416 00001412: PUSH2 0x1b83 00001415: JUMP 00001416: JUMPDEST 00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142c: AND 0000142d: EQ 0000142e: JUMPDEST 0000142f: PUSH2 0x1483 00001432: JUMPI 00001433: PUSH1 0x40 00001435: MLOAD 00001436: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001457: DUP2 00001458: MSTORE 00001459: PUSH1 0x04 0000145b: ADD 0000145c: DUP1 0000145d: DUP1 0000145e: PUSH1 0x20 00001460: ADD 00001461: DUP3 00001462: DUP2 00001463: SUB 00001464: DUP3 00001465: MSTORE 00001466: PUSH1 0x21 00001468: DUP2 00001469: MSTORE 0000146a: PUSH1 0x20 0000146c: ADD 0000146d: DUP1 0000146e: PUSH2 0x2a45 00001471: PUSH1 0x21 00001473: SWAP2 00001474: CODECOPY 00001475: PUSH1 0x40 00001477: ADD 00001478: SWAP2 00001479: POP 0000147a: POP 0000147b: PUSH1 0x40 0000147d: MLOAD 0000147e: DUP1 0000147f: SWAP2 00001480: SUB 00001481: SWAP1 00001482: REVERT 00001483: JUMPDEST 00001484: DUP1 00001485: MLOAD 00001486: DUP3 00001487: MLOAD 00001488: EQ 00001489: PUSH2 0x14c7 0000148c: JUMPI 0000148d: PUSH1 0x40 0000148f: MLOAD 00001490: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014b1: DUP2 000014b2: MSTORE 000014b3: PUSH1 0x04 000014b5: ADD 000014b6: PUSH2 0x14be 000014b9: SWAP1 000014ba: PUSH2 0x27bc 000014bd: JUMP 000014be: JUMPDEST 000014bf: PUSH1 0x40 000014c1: MLOAD 000014c2: DUP1 000014c3: SWAP2 000014c4: SUB 000014c5: SWAP1 000014c6: REVERT 000014c7: JUMPDEST 000014c8: PUSH1 0x00 000014ca: JUMPDEST 000014cb: DUP3 000014cc: MLOAD 000014cd: DUP2 000014ce: LT 000014cf: ISZERO 000014d0: PUSH2 0x1510 000014d3: JUMPI 000014d4: PUSH2 0x1503 000014d7: DUP4 000014d8: DUP3 000014d9: DUP2 000014da: MLOAD 000014db: DUP2 000014dc: LT 000014dd: PUSH2 0x14e2 000014e0: JUMPI 000014e1: INVALID 000014e2: JUMPDEST 000014e3: PUSH1 0x20 000014e5: MUL 000014e6: PUSH1 0x20 000014e8: ADD 000014e9: ADD 000014ea: MLOAD 000014eb: DUP4 000014ec: DUP4 000014ed: DUP2 000014ee: MLOAD 000014ef: DUP2 000014f0: LT 000014f1: PUSH2 0x14f6 000014f4: JUMPI 000014f5: INVALID 000014f6: JUMPDEST 000014f7: PUSH1 0x20 000014f9: MUL 000014fa: PUSH1 0x20 000014fc: ADD 000014fd: ADD 000014fe: MLOAD 000014ff: PUSH2 0x1e06 00001502: JUMP 00001503: JUMPDEST 00001504: DUP1 00001505: DUP1 00001506: PUSH1 0x01 00001508: ADD 00001509: SWAP2 0000150a: POP 0000150b: POP 0000150c: PUSH2 0x14ca 0000150f: JUMP 00001510: JUMPDEST 00001511: POP 00001512: POP 00001513: POP 00001514: JUMP 00001515: JUMPDEST 00001516: PUSH1 0x09 00001518: PUSH1 0x00 0000151a: SWAP1 0000151b: SLOAD 0000151c: SWAP1 0000151d: PUSH2 0x0100 00001520: EXP 00001521: SWAP1 00001522: DIV 00001523: PUSH1 0xff 00001525: AND 00001526: PUSH2 0x1564 00001529: JUMPI 0000152a: PUSH1 0x40 0000152c: MLOAD 0000152d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000154e: DUP2 0000154f: MSTORE 00001550: PUSH1 0x04 00001552: ADD 00001553: PUSH2 0x155b 00001556: SWAP1 00001557: PUSH2 0x279c 0000155a: JUMP 0000155b: JUMPDEST 0000155c: PUSH1 0x40 0000155e: MLOAD 0000155f: DUP1 00001560: SWAP2 00001561: SUB 00001562: SWAP1 00001563: REVERT 00001564: JUMPDEST 00001565: PUSH1 0x00 00001567: ISZERO 00001568: ISZERO 00001569: PUSH1 0x04 0000156b: PUSH1 0x00 0000156d: SWAP1 0000156e: SLOAD 0000156f: SWAP1 00001570: PUSH2 0x0100 00001573: EXP 00001574: SWAP1 00001575: DIV 00001576: PUSH1 0xff 00001578: AND 00001579: ISZERO 0000157a: ISZERO 0000157b: EQ 0000157c: DUP1 0000157d: PUSH2 0x15d6 00001580: JUMPI 00001581: POP 00001582: PUSH1 0x01 00001584: ISZERO 00001585: ISZERO 00001586: PUSH1 0x02 00001588: PUSH1 0x00 0000158a: CALLER 0000158b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a0: AND 000015a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b6: AND 000015b7: DUP2 000015b8: MSTORE 000015b9: PUSH1 0x20 000015bb: ADD 000015bc: SWAP1 000015bd: DUP2 000015be: MSTORE 000015bf: PUSH1 0x20 000015c1: ADD 000015c2: PUSH1 0x00 000015c4: KECCAK256 000015c5: PUSH1 0x00 000015c7: SWAP1 000015c8: SLOAD 000015c9: SWAP1 000015ca: PUSH2 0x0100 000015cd: EXP 000015ce: SWAP1 000015cf: DIV 000015d0: PUSH1 0xff 000015d2: AND 000015d3: ISZERO 000015d4: ISZERO 000015d5: EQ 000015d6: JUMPDEST 000015d7: PUSH2 0x1615 000015da: JUMPI 000015db: PUSH1 0x40 000015dd: MLOAD 000015de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015ff: DUP2 00001600: MSTORE 00001601: PUSH1 0x04 00001603: ADD 00001604: PUSH2 0x160c 00001607: SWAP1 00001608: PUSH2 0x275c 0000160b: JUMP 0000160c: JUMPDEST 0000160d: PUSH1 0x40 0000160f: MLOAD 00001610: DUP1 00001611: SWAP2 00001612: SUB 00001613: SWAP1 00001614: REVERT 00001615: JUMPDEST 00001616: PUSH1 0x00 00001618: ISZERO 00001619: ISZERO 0000161a: PUSH1 0x03 0000161c: PUSH1 0x00 0000161e: CALLER 0000161f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001634: AND 00001635: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164a: AND 0000164b: DUP2 0000164c: MSTORE 0000164d: PUSH1 0x20 0000164f: ADD 00001650: SWAP1 00001651: DUP2 00001652: MSTORE 00001653: PUSH1 0x20 00001655: ADD 00001656: PUSH1 0x00 00001658: KECCAK256 00001659: PUSH1 0x00 0000165b: SWAP1 0000165c: SLOAD 0000165d: SWAP1 0000165e: PUSH2 0x0100 00001661: EXP 00001662: SWAP1 00001663: DIV 00001664: PUSH1 0xff 00001666: AND 00001667: ISZERO 00001668: ISZERO 00001669: EQ 0000166a: PUSH2 0x16a8 0000166d: JUMPI 0000166e: PUSH1 0x40 00001670: MLOAD 00001671: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001692: DUP2 00001693: MSTORE 00001694: PUSH1 0x04 00001696: ADD 00001697: PUSH2 0x169f 0000169a: SWAP1 0000169b: PUSH2 0x277c 0000169e: JUMP 0000169f: JUMPDEST 000016a0: PUSH1 0x40 000016a2: MLOAD 000016a3: DUP1 000016a4: SWAP2 000016a5: SUB 000016a6: SWAP1 000016a7: REVERT 000016a8: JUMPDEST 000016a9: DUP1 000016aa: PUSH1 0x0a 000016ac: SLOAD 000016ad: MUL 000016ae: CALLVALUE 000016af: EQ 000016b0: PUSH2 0x16ee 000016b3: JUMPI 000016b4: PUSH1 0x40 000016b6: MLOAD 000016b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016d8: DUP2 000016d9: MSTORE 000016da: PUSH1 0x04 000016dc: ADD 000016dd: PUSH2 0x16e5 000016e0: SWAP1 000016e1: PUSH2 0x273c 000016e4: JUMP 000016e5: JUMPDEST 000016e6: PUSH1 0x40 000016e8: MLOAD 000016e9: DUP1 000016ea: SWAP2 000016eb: SUB 000016ec: SWAP1 000016ed: REVERT 000016ee: JUMPDEST 000016ef: PUSH1 0x00 000016f1: JUMPDEST 000016f2: DUP2 000016f3: DUP2 000016f4: LT 000016f5: ISZERO 000016f6: PUSH2 0x170e 000016f9: JUMPI 000016fa: PUSH2 0x1701 000016fd: PUSH2 0x1c34 00001700: JUMP 00001701: JUMPDEST 00001702: DUP1 00001703: DUP1 00001704: PUSH1 0x01 00001706: ADD 00001707: SWAP2 00001708: POP 00001709: POP 0000170a: PUSH2 0x16f1 0000170d: JUMP 0000170e: JUMPDEST 0000170f: POP 00001710: POP 00001711: JUMP 00001712: JUMPDEST 00001713: PUSH1 0x09 00001715: PUSH1 0x00 00001717: SWAP1 00001718: SLOAD 00001719: SWAP1 0000171a: PUSH2 0x0100 0000171d: EXP 0000171e: SWAP1 0000171f: DIV 00001720: PUSH1 0xff 00001722: AND 00001723: DUP2 00001724: JUMP 00001725: JUMPDEST 00001726: PUSH1 0x06 00001728: PUSH1 0x00 0000172a: SWAP1 0000172b: SLOAD 0000172c: SWAP1 0000172d: PUSH2 0x0100 00001730: EXP 00001731: SWAP1 00001732: DIV 00001733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001748: AND 00001749: DUP2 0000174a: JUMP 0000174b: JUMPDEST 0000174c: PUSH1 0x02 0000174e: PUSH1 0x20 00001750: MSTORE 00001751: DUP1 00001752: PUSH1 0x00 00001754: MSTORE 00001755: PUSH1 0x40 00001757: PUSH1 0x00 00001759: KECCAK256 0000175a: PUSH1 0x00 0000175c: SWAP2 0000175d: POP 0000175e: SLOAD 0000175f: SWAP1 00001760: PUSH2 0x0100 00001763: EXP 00001764: SWAP1 00001765: DIV 00001766: PUSH1 0xff 00001768: AND 00001769: DUP2 0000176a: JUMP 0000176b: JUMPDEST 0000176c: PUSH1 0x03 0000176e: PUSH1 0x20 00001770: MSTORE 00001771: DUP1 00001772: PUSH1 0x00 00001774: MSTORE 00001775: PUSH1 0x40 00001777: PUSH1 0x00 00001779: KECCAK256 0000177a: PUSH1 0x00 0000177c: SWAP2 0000177d: POP 0000177e: SLOAD 0000177f: SWAP1 00001780: PUSH2 0x0100 00001783: EXP 00001784: SWAP1 00001785: DIV 00001786: PUSH1 0xff 00001788: AND 00001789: DUP2 0000178a: JUMP 0000178b: JUMPDEST 0000178c: PUSH2 0x1793 0000178f: PUSH2 0x1b83 00001792: JUMP 00001793: JUMPDEST 00001794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a9: AND 000017aa: PUSH2 0x17b1 000017ad: PUSH2 0x129b 000017b0: JUMP 000017b1: JUMPDEST 000017b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c7: AND 000017c8: EQ 000017c9: PUSH2 0x183a 000017cc: JUMPI 000017cd: PUSH1 0x40 000017cf: MLOAD 000017d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017f1: DUP2 000017f2: MSTORE 000017f3: PUSH1 0x04 000017f5: ADD 000017f6: DUP1 000017f7: DUP1 000017f8: PUSH1 0x20 000017fa: ADD 000017fb: DUP3 000017fc: DUP2 000017fd: SUB 000017fe: DUP3 000017ff: MSTORE 00001800: PUSH1 0x20 00001802: DUP2 00001803: MSTORE 00001804: PUSH1 0x20 00001806: ADD 00001807: DUP1 00001808: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001829: DUP2 0000182a: MSTORE 0000182b: POP 0000182c: PUSH1 0x20 0000182e: ADD 0000182f: SWAP2 00001830: POP 00001831: POP 00001832: PUSH1 0x40 00001834: MLOAD 00001835: DUP1 00001836: SWAP2 00001837: SUB 00001838: SWAP1 00001839: REVERT 0000183a: JUMPDEST 0000183b: CALLER 0000183c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001851: AND 00001852: PUSH2 0x08fc 00001855: SELFBALANCE 00001856: SWAP1 00001857: DUP2 00001858: ISZERO 00001859: MUL 0000185a: SWAP1 0000185b: PUSH1 0x40 0000185d: MLOAD 0000185e: PUSH1 0x00 00001860: PUSH1 0x40 00001862: MLOAD 00001863: DUP1 00001864: DUP4 00001865: SUB 00001866: DUP2 00001867: DUP6 00001868: DUP9 00001869: DUP9 0000186a: CALL 0000186b: SWAP4 0000186c: POP 0000186d: POP 0000186e: POP 0000186f: POP 00001870: ISZERO 00001871: DUP1 00001872: ISZERO 00001873: PUSH2 0x1880 00001876: JUMPI 00001877: RETURNDATASIZE 00001878: PUSH1 0x00 0000187a: DUP1 0000187b: RETURNDATACOPY 0000187c: RETURNDATASIZE 0000187d: PUSH1 0x00 0000187f: REVERT 00001880: JUMPDEST 00001881: POP 00001882: JUMP 00001883: JUMPDEST 00001884: PUSH2 0x188b 00001887: PUSH2 0x1b83 0000188a: JUMP 0000188b: JUMPDEST 0000188c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a1: AND 000018a2: PUSH2 0x18a9 000018a5: PUSH2 0x129b 000018a8: JUMP 000018a9: JUMPDEST 000018aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018bf: AND 000018c0: EQ 000018c1: PUSH2 0x1932 000018c4: JUMPI 000018c5: PUSH1 0x40 000018c7: MLOAD 000018c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018e9: DUP2 000018ea: MSTORE 000018eb: PUSH1 0x04 000018ed: ADD 000018ee: DUP1 000018ef: DUP1 000018f0: PUSH1 0x20 000018f2: ADD 000018f3: DUP3 000018f4: DUP2 000018f5: SUB 000018f6: DUP3 000018f7: MSTORE 000018f8: PUSH1 0x20 000018fa: DUP2 000018fb: MSTORE 000018fc: PUSH1 0x20 000018fe: ADD 000018ff: DUP1 00001900: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001921: DUP2 00001922: MSTORE 00001923: POP 00001924: PUSH1 0x20 00001926: ADD 00001927: SWAP2 00001928: POP 00001929: POP 0000192a: PUSH1 0x40 0000192c: MLOAD 0000192d: DUP1 0000192e: SWAP2 0000192f: SUB 00001930: SWAP1 00001931: REVERT 00001932: JUMPDEST 00001933: PUSH1 0x00 00001935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194a: AND 0000194b: DUP2 0000194c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001961: AND 00001962: EQ 00001963: ISZERO 00001964: PUSH2 0x19b8 00001967: JUMPI 00001968: PUSH1 0x40 0000196a: MLOAD 0000196b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000198c: DUP2 0000198d: MSTORE 0000198e: PUSH1 0x04 00001990: ADD 00001991: DUP1 00001992: DUP1 00001993: PUSH1 0x20 00001995: ADD 00001996: DUP3 00001997: DUP2 00001998: SUB 00001999: DUP3 0000199a: MSTORE 0000199b: PUSH1 0x26 0000199d: DUP2 0000199e: MSTORE 0000199f: PUSH1 0x20 000019a1: ADD 000019a2: DUP1 000019a3: PUSH2 0x2a1f 000019a6: PUSH1 0x26 000019a8: SWAP2 000019a9: CODECOPY 000019aa: PUSH1 0x40 000019ac: ADD 000019ad: SWAP2 000019ae: POP 000019af: POP 000019b0: PUSH1 0x40 000019b2: MLOAD 000019b3: DUP1 000019b4: SWAP2 000019b5: SUB 000019b6: SWAP1 000019b7: REVERT 000019b8: JUMPDEST 000019b9: DUP1 000019ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cf: AND 000019d0: PUSH1 0x00 000019d2: DUP1 000019d3: SLOAD 000019d4: SWAP1 000019d5: PUSH2 0x0100 000019d8: EXP 000019d9: SWAP1 000019da: DIV 000019db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f0: AND 000019f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a06: AND 00001a07: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001a28: PUSH1 0x40 00001a2a: MLOAD 00001a2b: PUSH1 0x40 00001a2d: MLOAD 00001a2e: DUP1 00001a2f: SWAP2 00001a30: SUB 00001a31: SWAP1 00001a32: LOG3 00001a33: DUP1 00001a34: PUSH1 0x00 00001a36: DUP1 00001a37: PUSH2 0x0100 00001a3a: EXP 00001a3b: DUP2 00001a3c: SLOAD 00001a3d: DUP2 00001a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a53: MUL 00001a54: NOT 00001a55: AND 00001a56: SWAP1 00001a57: DUP4 00001a58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a6d: AND 00001a6e: MUL 00001a6f: OR 00001a70: SWAP1 00001a71: SSTORE 00001a72: POP 00001a73: POP 00001a74: JUMP 00001a75: JUMPDEST 00001a76: PUSH1 0x01 00001a78: PUSH1 0x00 00001a7a: PUSH2 0x1a81 00001a7d: PUSH2 0x1b83 00001a80: JUMP 00001a81: JUMPDEST 00001a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a97: AND 00001a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aad: AND 00001aae: DUP2 00001aaf: MSTORE 00001ab0: PUSH1 0x20 00001ab2: ADD 00001ab3: SWAP1 00001ab4: DUP2 00001ab5: MSTORE 00001ab6: PUSH1 0x20 00001ab8: ADD 00001ab9: PUSH1 0x00 00001abb: KECCAK256 00001abc: PUSH1 0x00 00001abe: SWAP1 00001abf: SLOAD 00001ac0: SWAP1 00001ac1: PUSH2 0x0100 00001ac4: EXP 00001ac5: SWAP1 00001ac6: DIV 00001ac7: PUSH1 0xff 00001ac9: AND 00001aca: DUP1 00001acb: PUSH2 0x1b0d 00001ace: JUMPI 00001acf: POP 00001ad0: PUSH2 0x1ad7 00001ad3: PUSH2 0x129b 00001ad6: JUMP 00001ad7: JUMPDEST 00001ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aed: AND 00001aee: PUSH2 0x1af5 00001af1: PUSH2 0x1b83 00001af4: JUMP 00001af5: JUMPDEST 00001af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b0b: AND 00001b0c: EQ 00001b0d: JUMPDEST 00001b0e: PUSH2 0x1b62 00001b11: JUMPI 00001b12: PUSH1 0x40 00001b14: MLOAD 00001b15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b36: DUP2 00001b37: MSTORE 00001b38: PUSH1 0x04 00001b3a: ADD 00001b3b: DUP1 00001b3c: DUP1 00001b3d: PUSH1 0x20 00001b3f: ADD 00001b40: DUP3 00001b41: DUP2 00001b42: SUB 00001b43: DUP3 00001b44: MSTORE 00001b45: PUSH1 0x21 00001b47: DUP2 00001b48: MSTORE 00001b49: PUSH1 0x20 00001b4b: ADD 00001b4c: DUP1 00001b4d: PUSH2 0x2a45 00001b50: PUSH1 0x21 00001b52: SWAP2 00001b53: CODECOPY 00001b54: PUSH1 0x40 00001b56: ADD 00001b57: SWAP2 00001b58: POP 00001b59: POP 00001b5a: PUSH1 0x40 00001b5c: MLOAD 00001b5d: DUP1 00001b5e: SWAP2 00001b5f: SUB 00001b60: SWAP1 00001b61: REVERT 00001b62: JUMPDEST 00001b63: PUSH2 0x1b6c 00001b66: DUP3 00001b67: DUP3 00001b68: PUSH2 0x1e06 00001b6b: JUMP 00001b6c: JUMPDEST 00001b6d: POP 00001b6e: POP 00001b6f: JUMP 00001b70: JUMPDEST 00001b71: PUSH1 0x00 00001b73: DUP1 00001b74: DUP3 00001b75: EXTCODESIZE 00001b76: SWAP1 00001b77: POP 00001b78: PUSH1 0x00 00001b7a: DUP2 00001b7b: GT 00001b7c: SWAP2 00001b7d: POP 00001b7e: POP 00001b7f: SWAP2 00001b80: SWAP1 00001b81: POP 00001b82: JUMP 00001b83: JUMPDEST 00001b84: PUSH1 0x00 00001b86: CALLER 00001b87: SWAP1 00001b88: POP 00001b89: SWAP1 00001b8a: JUMP 00001b8b: JUMPDEST 00001b8c: DUP1 00001b8d: PUSH1 0x03 00001b8f: PUSH1 0x00 00001b91: DUP5 00001b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ba7: AND 00001ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bbd: AND 00001bbe: DUP2 00001bbf: MSTORE 00001bc0: PUSH1 0x20 00001bc2: ADD 00001bc3: SWAP1 00001bc4: DUP2 00001bc5: MSTORE 00001bc6: PUSH1 0x20 00001bc8: ADD 00001bc9: PUSH1 0x00 00001bcb: KECCAK256 00001bcc: PUSH1 0x00 00001bce: PUSH2 0x0100 00001bd1: EXP 00001bd2: DUP2 00001bd3: SLOAD 00001bd4: DUP2 00001bd5: PUSH1 0xff 00001bd7: MUL 00001bd8: NOT 00001bd9: AND 00001bda: SWAP1 00001bdb: DUP4 00001bdc: ISZERO 00001bdd: ISZERO 00001bde: MUL 00001bdf: OR 00001be0: SWAP1 00001be1: SSTORE 00001be2: POP 00001be3: DUP2 00001be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf9: AND 00001bfa: PUSH32 0xcf3473b85df1594d47b6958f29a32bea0abff9dd68296f7bf33443646793cfd8 00001c1b: DUP3 00001c1c: PUSH1 0x40 00001c1e: MLOAD 00001c1f: PUSH2 0x1c28 00001c22: SWAP2 00001c23: SWAP1 00001c24: PUSH2 0x26c4 00001c27: JUMP 00001c28: JUMPDEST 00001c29: PUSH1 0x40 00001c2b: MLOAD 00001c2c: DUP1 00001c2d: SWAP2 00001c2e: SUB 00001c2f: SWAP1 00001c30: LOG2 00001c31: POP 00001c32: POP 00001c33: JUMP 00001c34: JUMPDEST 00001c35: PUSH1 0x00 00001c37: PUSH2 0x1c3e 00001c3a: PUSH2 0x1b83 00001c3d: JUMP 00001c3e: JUMPDEST 00001c3f: SWAP1 00001c40: POP 00001c41: PUSH1 0x08 00001c43: SLOAD 00001c44: PUSH2 0x1c8a 00001c47: PUSH1 0x07 00001c49: PUSH1 0x00 00001c4b: DUP5 00001c4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c61: AND 00001c62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c77: AND 00001c78: DUP2 00001c79: MSTORE 00001c7a: PUSH1 0x20 00001c7c: ADD 00001c7d: SWAP1 00001c7e: DUP2 00001c7f: MSTORE 00001c80: PUSH1 0x20 00001c82: ADD 00001c83: PUSH1 0x00 00001c85: KECCAK256 00001c86: PUSH2 0x1eaf 00001c89: JUMP 00001c8a: JUMPDEST 00001c8b: LT 00001c8c: PUSH2 0x1cca 00001c8f: JUMPI 00001c90: PUSH1 0x40 00001c92: MLOAD 00001c93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001cb4: DUP2 00001cb5: MSTORE 00001cb6: PUSH1 0x04 00001cb8: ADD 00001cb9: PUSH2 0x1cc1 00001cbc: SWAP1 00001cbd: PUSH2 0x271c 00001cc0: JUMP 00001cc1: JUMPDEST 00001cc2: PUSH1 0x40 00001cc4: MLOAD 00001cc5: DUP1 00001cc6: SWAP2 00001cc7: SUB 00001cc8: SWAP1 00001cc9: REVERT 00001cca: JUMPDEST 00001ccb: PUSH1 0x00 00001ccd: PUSH1 0x06 00001ccf: PUSH1 0x00 00001cd1: SWAP1 00001cd2: SLOAD 00001cd3: SWAP1 00001cd4: PUSH2 0x0100 00001cd7: EXP 00001cd8: SWAP1 00001cd9: DIV 00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cef: AND 00001cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d05: AND 00001d06: PUSH4 0xd0def521 00001d0b: DUP4 00001d0c: PUSH1 0x0b 00001d0e: PUSH1 0x40 00001d10: MLOAD 00001d11: DUP4 00001d12: PUSH4 0xffffffff 00001d17: AND 00001d18: PUSH1 0xe0 00001d1a: SHL 00001d1b: DUP2 00001d1c: MSTORE 00001d1d: PUSH1 0x04 00001d1f: ADD 00001d20: PUSH2 0x1d2a 00001d23: SWAP3 00001d24: SWAP2 00001d25: SWAP1 00001d26: PUSH2 0x266b 00001d29: JUMP 00001d2a: JUMPDEST 00001d2b: PUSH1 0x20 00001d2d: PUSH1 0x40 00001d2f: MLOAD 00001d30: DUP1 00001d31: DUP4 00001d32: SUB 00001d33: DUP2 00001d34: PUSH1 0x00 00001d36: DUP8 00001d37: DUP1 00001d38: EXTCODESIZE 00001d39: ISZERO 00001d3a: DUP1 00001d3b: ISZERO 00001d3c: PUSH2 0x1d44 00001d3f: JUMPI 00001d40: PUSH1 0x00 00001d42: DUP1 00001d43: REVERT 00001d44: JUMPDEST 00001d45: POP 00001d46: GAS 00001d47: CALL 00001d48: ISZERO 00001d49: DUP1 00001d4a: ISZERO 00001d4b: PUSH2 0x1d58 00001d4e: JUMPI 00001d4f: RETURNDATASIZE 00001d50: PUSH1 0x00 00001d52: DUP1 00001d53: RETURNDATACOPY 00001d54: RETURNDATASIZE 00001d55: PUSH1 0x00 00001d57: REVERT 00001d58: JUMPDEST 00001d59: POP 00001d5a: POP 00001d5b: POP 00001d5c: POP 00001d5d: PUSH1 0x40 00001d5f: MLOAD 00001d60: RETURNDATASIZE 00001d61: PUSH1 0x1f 00001d63: NOT 00001d64: PUSH1 0x1f 00001d66: DUP3 00001d67: ADD 00001d68: AND 00001d69: DUP3 00001d6a: ADD 00001d6b: DUP1 00001d6c: PUSH1 0x40 00001d6e: MSTORE 00001d6f: POP 00001d70: DUP2 00001d71: ADD 00001d72: SWAP1 00001d73: PUSH2 0x1d7c 00001d76: SWAP2 00001d77: SWAP1 00001d78: PUSH2 0x2357 00001d7b: JUMP 00001d7c: JUMPDEST 00001d7d: SWAP1 00001d7e: POP 00001d7f: PUSH2 0x1dc5 00001d82: PUSH1 0x07 00001d84: PUSH1 0x00 00001d86: DUP5 00001d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d9c: AND 00001d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db2: AND 00001db3: DUP2 00001db4: MSTORE 00001db5: PUSH1 0x20 00001db7: ADD 00001db8: SWAP1 00001db9: DUP2 00001dba: MSTORE 00001dbb: PUSH1 0x20 00001dbd: ADD 00001dbe: PUSH1 0x00 00001dc0: KECCAK256 00001dc1: PUSH2 0x1ebd 00001dc4: JUMP 00001dc5: JUMPDEST 00001dc6: PUSH32 0x66f5cd880edf48cdde6c966e5da0784fcc4c5e85572b8b3b62c4357798d447d7 00001de7: DUP2 00001de8: DUP4 00001de9: PUSH1 0x0a 00001deb: SLOAD 00001dec: PUSH1 0x40 00001dee: MLOAD 00001def: PUSH2 0x1dfa 00001df2: SWAP4 00001df3: SWAP3 00001df4: SWAP2 00001df5: SWAP1 00001df6: PUSH2 0x27f7 00001df9: JUMP 00001dfa: JUMPDEST 00001dfb: PUSH1 0x40 00001dfd: MLOAD 00001dfe: DUP1 00001dff: SWAP2 00001e00: SUB 00001e01: SWAP1 00001e02: LOG1 00001e03: POP 00001e04: POP 00001e05: JUMP 00001e06: JUMPDEST 00001e07: DUP1 00001e08: PUSH1 0x02 00001e0a: PUSH1 0x00 00001e0c: DUP5 00001e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e22: AND 00001e23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e38: AND 00001e39: DUP2 00001e3a: MSTORE 00001e3b: PUSH1 0x20 00001e3d: ADD 00001e3e: SWAP1 00001e3f: DUP2 00001e40: MSTORE 00001e41: PUSH1 0x20 00001e43: ADD 00001e44: PUSH1 0x00 00001e46: KECCAK256 00001e47: PUSH1 0x00 00001e49: PUSH2 0x0100 00001e4c: EXP 00001e4d: DUP2 00001e4e: SLOAD 00001e4f: DUP2 00001e50: PUSH1 0xff 00001e52: MUL 00001e53: NOT 00001e54: AND 00001e55: SWAP1 00001e56: DUP4 00001e57: ISZERO 00001e58: ISZERO 00001e59: MUL 00001e5a: OR 00001e5b: SWAP1 00001e5c: SSTORE 00001e5d: POP 00001e5e: DUP2 00001e5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e74: AND 00001e75: PUSH32 0xa54714518c5d275fdcd3d2a461e4858e4e8cb04fb93cd0bca9d6d34115f26440 00001e96: DUP3 00001e97: PUSH1 0x40 00001e99: MLOAD 00001e9a: PUSH2 0x1ea3 00001e9d: SWAP2 00001e9e: SWAP1 00001e9f: PUSH2 0x26c4 00001ea2: JUMP 00001ea3: JUMPDEST 00001ea4: PUSH1 0x40 00001ea6: MLOAD 00001ea7: DUP1 00001ea8: SWAP2 00001ea9: SUB 00001eaa: SWAP1 00001eab: LOG2 00001eac: POP 00001ead: POP 00001eae: JUMP 00001eaf: JUMPDEST 00001eb0: PUSH1 0x00 00001eb2: DUP2 00001eb3: PUSH1 0x00 00001eb5: ADD 00001eb6: SLOAD 00001eb7: SWAP1 00001eb8: POP 00001eb9: SWAP2 00001eba: SWAP1 00001ebb: POP 00001ebc: JUMP 00001ebd: JUMPDEST 00001ebe: PUSH1 0x01 00001ec0: DUP2 00001ec1: PUSH1 0x00 00001ec3: ADD 00001ec4: PUSH1 0x00 00001ec6: DUP3 00001ec7: DUP3 00001ec8: SLOAD 00001ec9: ADD 00001eca: SWAP3 00001ecb: POP 00001ecc: POP 00001ecd: DUP2 00001ece: SWAP1 00001ecf: SSTORE 00001ed0: POP 00001ed1: POP 00001ed2: JUMP 00001ed3: JUMPDEST 00001ed4: DUP3 00001ed5: DUP1 00001ed6: SLOAD 00001ed7: PUSH1 0x01 00001ed9: DUP2 00001eda: PUSH1 0x01 00001edc: AND 00001edd: ISZERO 00001ede: PUSH2 0x0100 00001ee1: MUL 00001ee2: SUB 00001ee3: AND 00001ee4: PUSH1 0x02 00001ee6: SWAP1 00001ee7: DIV 00001ee8: SWAP1 00001ee9: PUSH1 0x00 00001eeb: MSTORE 00001eec: PUSH1 0x20 00001eee: PUSH1 0x00 00001ef0: KECCAK256 00001ef1: SWAP1 00001ef2: PUSH1 0x1f 00001ef4: ADD 00001ef5: PUSH1 0x20 00001ef7: SWAP1 00001ef8: DIV 00001ef9: DUP2 00001efa: ADD 00001efb: SWAP3 00001efc: DUP3 00001efd: PUSH2 0x1f09 00001f00: JUMPI 00001f01: PUSH1 0x00 00001f03: DUP6 00001f04: SSTORE 00001f05: PUSH2 0x1f50 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: DUP3 00001f0b: PUSH1 0x1f 00001f0d: LT 00001f0e: PUSH2 0x1f22 00001f11: JUMPI 00001f12: DUP1 00001f13: MLOAD 00001f14: PUSH1 0xff 00001f16: NOT 00001f17: AND 00001f18: DUP4 00001f19: DUP1 00001f1a: ADD 00001f1b: OR 00001f1c: DUP6 00001f1d: SSTORE 00001f1e: PUSH2 0x1f50 00001f21: JUMP 00001f22: JUMPDEST 00001f23: DUP3 00001f24: DUP1 00001f25: ADD 00001f26: PUSH1 0x01 00001f28: ADD 00001f29: DUP6 00001f2a: SSTORE 00001f2b: DUP3 00001f2c: ISZERO 00001f2d: PUSH2 0x1f50 00001f30: JUMPI 00001f31: SWAP2 00001f32: DUP3 00001f33: ADD 00001f34: JUMPDEST 00001f35: DUP3 00001f36: DUP2 00001f37: GT 00001f38: ISZERO 00001f39: PUSH2 0x1f4f 00001f3c: JUMPI 00001f3d: DUP3 00001f3e: MLOAD 00001f3f: DUP3 00001f40: SSTORE 00001f41: SWAP2 00001f42: PUSH1 0x20 00001f44: ADD 00001f45: SWAP2 00001f46: SWAP1 00001f47: PUSH1 0x01 00001f49: ADD 00001f4a: SWAP1 00001f4b: PUSH2 0x1f34 00001f4e: JUMP 00001f4f: JUMPDEST 00001f50: JUMPDEST 00001f51: POP 00001f52: SWAP1 00001f53: POP 00001f54: PUSH2 0x1f5d 00001f57: SWAP2 00001f58: SWAP1 00001f59: PUSH2 0x1f61 00001f5c: JUMP 00001f5d: JUMPDEST 00001f5e: POP 00001f5f: SWAP1 00001f60: JUMP 00001f61: JUMPDEST 00001f62: JUMPDEST 00001f63: DUP1 00001f64: DUP3 00001f65: GT 00001f66: ISZERO 00001f67: PUSH2 0x1f7a 00001f6a: JUMPI 00001f6b: PUSH1 0x00 00001f6d: DUP2 00001f6e: PUSH1 0x00 00001f70: SWAP1 00001f71: SSTORE 00001f72: POP 00001f73: PUSH1 0x01 00001f75: ADD 00001f76: PUSH2 0x1f62 00001f79: JUMP 00001f7a: JUMPDEST 00001f7b: POP 00001f7c: SWAP1 00001f7d: JUMP 00001f7e: JUMPDEST 00001f7f: PUSH1 0x00 00001f81: PUSH2 0x1f91 00001f84: PUSH2 0x1f8c 00001f87: DUP5 00001f88: PUSH2 0x285f 00001f8b: JUMP 00001f8c: JUMPDEST 00001f8d: PUSH2 0x282e 00001f90: JUMP 00001f91: JUMPDEST 00001f92: SWAP1 00001f93: POP 00001f94: DUP1 00001f95: DUP4 00001f96: DUP3 00001f97: MSTORE 00001f98: PUSH1 0x20 00001f9a: DUP3 00001f9b: ADD 00001f9c: SWAP1 00001f9d: POP 00001f9e: DUP3 00001f9f: DUP6 00001fa0: PUSH1 0x20 00001fa2: DUP7 00001fa3: MUL 00001fa4: DUP3 00001fa5: ADD 00001fa6: GT 00001fa7: ISZERO 00001fa8: PUSH2 0x1fb0 00001fab: JUMPI 00001fac: PUSH1 0x00 00001fae: DUP1 00001faf: REVERT 00001fb0: JUMPDEST 00001fb1: PUSH1 0x00 00001fb3: JUMPDEST 00001fb4: DUP6 00001fb5: DUP2 00001fb6: LT 00001fb7: ISZERO 00001fb8: PUSH2 0x1fe0 00001fbb: JUMPI 00001fbc: DUP2 00001fbd: PUSH2 0x1fc6 00001fc0: DUP9 00001fc1: DUP3 00001fc2: PUSH2 0x2094 00001fc5: JUMP 00001fc6: JUMPDEST 00001fc7: DUP5 00001fc8: MSTORE 00001fc9: PUSH1 0x20 00001fcb: DUP5 00001fcc: ADD 00001fcd: SWAP4 00001fce: POP 00001fcf: PUSH1 0x20 00001fd1: DUP4 00001fd2: ADD 00001fd3: SWAP3 00001fd4: POP 00001fd5: POP 00001fd6: PUSH1 0x01 00001fd8: DUP2 00001fd9: ADD 00001fda: SWAP1 00001fdb: POP 00001fdc: PUSH2 0x1fb3 00001fdf: JUMP 00001fe0: JUMPDEST 00001fe1: POP 00001fe2: POP 00001fe3: POP 00001fe4: SWAP4 00001fe5: SWAP3 00001fe6: POP 00001fe7: POP 00001fe8: POP 00001fe9: JUMP 00001fea: JUMPDEST 00001feb: PUSH1 0x00 00001fed: PUSH2 0x1ffd 00001ff0: PUSH2 0x1ff8 00001ff3: DUP5 00001ff4: PUSH2 0x288b 00001ff7: JUMP 00001ff8: JUMPDEST 00001ff9: PUSH2 0x282e 00001ffc: JUMP 00001ffd: JUMPDEST 00001ffe: SWAP1 00001fff: POP 00002000: DUP1 00002001: DUP4 00002002: DUP3 00002003: MSTORE 00002004: PUSH1 0x20 00002006: DUP3 00002007: ADD 00002008: SWAP1 00002009: POP 0000200a: DUP3 0000200b: DUP6 0000200c: PUSH1 0x20 0000200e: DUP7 0000200f: MUL 00002010: DUP3 00002011: ADD 00002012: GT 00002013: ISZERO 00002014: PUSH2 0x201c 00002017: JUMPI 00002018: PUSH1 0x00 0000201a: DUP1 0000201b: REVERT 0000201c: JUMPDEST 0000201d: PUSH1 0x00 0000201f: JUMPDEST 00002020: DUP6 00002021: DUP2 00002022: LT 00002023: ISZERO 00002024: PUSH2 0x204c 00002027: JUMPI 00002028: DUP2 00002029: PUSH2 0x2032 0000202c: DUP9 0000202d: DUP3 0000202e: PUSH2 0x20fd 00002031: JUMP 00002032: JUMPDEST 00002033: DUP5 00002034: MSTORE 00002035: PUSH1 0x20 00002037: DUP5 00002038: ADD 00002039: SWAP4 0000203a: POP 0000203b: PUSH1 0x20 0000203d: DUP4 0000203e: ADD 0000203f: SWAP3 00002040: POP 00002041: POP 00002042: PUSH1 0x01 00002044: DUP2 00002045: ADD 00002046: SWAP1 00002047: POP 00002048: PUSH2 0x201f 0000204b: JUMP 0000204c: JUMPDEST 0000204d: POP 0000204e: POP 0000204f: POP 00002050: SWAP4 00002051: SWAP3 00002052: POP 00002053: POP 00002054: POP 00002055: JUMP 00002056: JUMPDEST 00002057: PUSH1 0x00 00002059: PUSH2 0x2069 0000205c: PUSH2 0x2064 0000205f: DUP5 00002060: PUSH2 0x28b7 00002063: JUMP 00002064: JUMPDEST 00002065: PUSH2 0x282e 00002068: JUMP 00002069: JUMPDEST 0000206a: SWAP1 0000206b: POP 0000206c: DUP3 0000206d: DUP2 0000206e: MSTORE 0000206f: PUSH1 0x20 00002071: DUP2 00002072: ADD 00002073: DUP5 00002074: DUP5 00002075: DUP5 00002076: ADD 00002077: GT 00002078: ISZERO 00002079: PUSH2 0x2081 0000207c: JUMPI 0000207d: PUSH1 0x00 0000207f: DUP1 00002080: REVERT 00002081: JUMPDEST 00002082: PUSH2 0x208c 00002085: DUP5 00002086: DUP3 00002087: DUP6 00002088: PUSH2 0x2984 0000208b: JUMP 0000208c: JUMPDEST 0000208d: POP 0000208e: SWAP4 0000208f: SWAP3 00002090: POP 00002091: POP 00002092: POP 00002093: JUMP 00002094: JUMPDEST 00002095: PUSH1 0x00 00002097: DUP2 00002098: CALLDATALOAD 00002099: SWAP1 0000209a: POP 0000209b: PUSH2 0x20a3 0000209e: DUP2 0000209f: PUSH2 0x29d9 000020a2: JUMP 000020a3: JUMPDEST 000020a4: SWAP3 000020a5: SWAP2 000020a6: POP 000020a7: POP 000020a8: JUMP 000020a9: JUMPDEST 000020aa: PUSH1 0x00 000020ac: DUP3 000020ad: PUSH1 0x1f 000020af: DUP4 000020b0: ADD 000020b1: SLT 000020b2: PUSH2 0x20ba 000020b5: JUMPI 000020b6: PUSH1 0x00 000020b8: DUP1 000020b9: REVERT 000020ba: JUMPDEST 000020bb: DUP2 000020bc: CALLDATALOAD 000020bd: PUSH2 0x20ca 000020c0: DUP5 000020c1: DUP3 000020c2: PUSH1 0x20 000020c4: DUP7 000020c5: ADD 000020c6: PUSH2 0x1f7e 000020c9: JUMP 000020ca: JUMPDEST 000020cb: SWAP2 000020cc: POP 000020cd: POP 000020ce: SWAP3 000020cf: SWAP2 000020d0: POP 000020d1: POP 000020d2: JUMP 000020d3: JUMPDEST 000020d4: PUSH1 0x00 000020d6: DUP3 000020d7: PUSH1 0x1f 000020d9: DUP4 000020da: ADD 000020db: SLT 000020dc: PUSH2 0x20e4 000020df: JUMPI 000020e0: PUSH1 0x00 000020e2: DUP1 000020e3: REVERT 000020e4: JUMPDEST 000020e5: DUP2 000020e6: CALLDATALOAD 000020e7: PUSH2 0x20f4 000020ea: DUP5 000020eb: DUP3 000020ec: PUSH1 0x20 000020ee: DUP7 000020ef: ADD 000020f0: PUSH2 0x1fea 000020f3: JUMP 000020f4: JUMPDEST 000020f5: SWAP2 000020f6: POP 000020f7: POP 000020f8: SWAP3 000020f9: SWAP2 000020fa: POP 000020fb: POP 000020fc: JUMP 000020fd: JUMPDEST 000020fe: PUSH1 0x00 00002100: DUP2 00002101: CALLDATALOAD 00002102: SWAP1 00002103: POP 00002104: PUSH2 0x210c 00002107: DUP2 00002108: PUSH2 0x29f0 0000210b: JUMP 0000210c: JUMPDEST 0000210d: SWAP3 0000210e: SWAP2 0000210f: POP 00002110: POP 00002111: JUMP 00002112: JUMPDEST 00002113: PUSH1 0x00 00002115: DUP2 00002116: MLOAD 00002117: SWAP1 00002118: POP 00002119: PUSH2 0x2121 0000211c: DUP2 0000211d: PUSH2 0x29f0 00002120: JUMP 00002121: JUMPDEST 00002122: SWAP3 00002123: SWAP2 00002124: POP 00002125: POP 00002126: JUMP 00002127: JUMPDEST 00002128: PUSH1 0x00 0000212a: DUP3 0000212b: PUSH1 0x1f 0000212d: DUP4 0000212e: ADD 0000212f: SLT 00002130: PUSH2 0x2138 00002133: JUMPI 00002134: PUSH1 0x00 00002136: DUP1 00002137: REVERT 00002138: JUMPDEST 00002139: DUP2 0000213a: CALLDATALOAD 0000213b: PUSH2 0x2148 0000213e: DUP5 0000213f: DUP3 00002140: PUSH1 0x20 00002142: DUP7 00002143: ADD 00002144: PUSH2 0x2056 00002147: JUMP 00002148: JUMPDEST 00002149: SWAP2 0000214a: POP 0000214b: POP 0000214c: SWAP3 0000214d: SWAP2 0000214e: POP 0000214f: POP 00002150: JUMP 00002151: JUMPDEST 00002152: PUSH1 0x00 00002154: DUP2 00002155: CALLDATALOAD 00002156: SWAP1 00002157: POP 00002158: PUSH2 0x2160 0000215b: DUP2 0000215c: PUSH2 0x2a07 0000215f: JUMP 00002160: JUMPDEST 00002161: SWAP3 00002162: SWAP2 00002163: POP 00002164: POP 00002165: JUMP 00002166: JUMPDEST 00002167: PUSH1 0x00 00002169: DUP2 0000216a: MLOAD 0000216b: SWAP1 0000216c: POP 0000216d: PUSH2 0x2175 00002170: DUP2 00002171: PUSH2 0x2a07 00002174: JUMP 00002175: JUMPDEST 00002176: SWAP3 00002177: SWAP2 00002178: POP 00002179: POP 0000217a: JUMP 0000217b: JUMPDEST 0000217c: PUSH1 0x00 0000217e: PUSH1 0x20 00002180: DUP3 00002181: DUP5 00002182: SUB 00002183: SLT 00002184: ISZERO 00002185: PUSH2 0x218d 00002188: JUMPI 00002189: PUSH1 0x00 0000218b: DUP1 0000218c: REVERT 0000218d: JUMPDEST 0000218e: PUSH1 0x00 00002190: PUSH2 0x219b 00002193: DUP5 00002194: DUP3 00002195: DUP6 00002196: ADD 00002197: PUSH2 0x2094 0000219a: JUMP 0000219b: JUMPDEST 0000219c: SWAP2 0000219d: POP 0000219e: POP 0000219f: SWAP3 000021a0: SWAP2 000021a1: POP 000021a2: POP 000021a3: JUMP 000021a4: JUMPDEST 000021a5: PUSH1 0x00 000021a7: DUP1 000021a8: PUSH1 0x40 000021aa: DUP4 000021ab: DUP6 000021ac: SUB 000021ad: SLT 000021ae: ISZERO 000021af: PUSH2 0x21b7 000021b2: JUMPI 000021b3: PUSH1 0x00 000021b5: DUP1 000021b6: REVERT 000021b7: JUMPDEST 000021b8: PUSH1 0x00 000021ba: PUSH2 0x21c5 000021bd: DUP6 000021be: DUP3 000021bf: DUP7 000021c0: ADD 000021c1: PUSH2 0x2094 000021c4: JUMP 000021c5: JUMPDEST 000021c6: SWAP3 000021c7: POP 000021c8: POP 000021c9: PUSH1 0x20 000021cb: PUSH2 0x21d6 000021ce: DUP6 000021cf: DUP3 000021d0: DUP7 000021d1: ADD 000021d2: PUSH2 0x20fd 000021d5: JUMP 000021d6: JUMPDEST 000021d7: SWAP2 000021d8: POP 000021d9: POP 000021da: SWAP3 000021db: POP 000021dc: SWAP3 000021dd: SWAP1 000021de: POP 000021df: JUMP 000021e0: JUMPDEST 000021e1: PUSH1 0x00 000021e3: DUP1 000021e4: PUSH1 0x00 000021e6: PUSH1 0x60 000021e8: DUP5 000021e9: DUP7 000021ea: SUB 000021eb: SLT 000021ec: ISZERO 000021ed: PUSH2 0x21f5 000021f0: JUMPI 000021f1: PUSH1 0x00 000021f3: DUP1 000021f4: REVERT 000021f5: JUMPDEST 000021f6: PUSH1 0x00 000021f8: PUSH2 0x2203 000021fb: DUP7 000021fc: DUP3 000021fd: DUP8 000021fe: ADD 000021ff: PUSH2 0x2094 00002202: JUMP 00002203: JUMPDEST 00002204: SWAP4 00002205: POP 00002206: POP 00002207: PUSH1 0x20 00002209: PUSH2 0x2214 0000220c: DUP7 0000220d: DUP3 0000220e: DUP8 0000220f: ADD 00002210: PUSH2 0x2151 00002213: JUMP 00002214: JUMPDEST 00002215: SWAP3 00002216: POP 00002217: POP 00002218: PUSH1 0x40 0000221a: PUSH2 0x2225 0000221d: DUP7 0000221e: DUP3 0000221f: DUP8 00002220: ADD 00002221: PUSH2 0x2094 00002224: JUMP 00002225: JUMPDEST 00002226: SWAP2 00002227: POP 00002228: POP 00002229: SWAP3 0000222a: POP 0000222b: SWAP3 0000222c: POP 0000222d: SWAP3 0000222e: JUMP 0000222f: JUMPDEST 00002230: PUSH1 0x00 00002232: DUP1 00002233: PUSH1 0x40 00002235: DUP4 00002236: DUP6 00002237: SUB 00002238: SLT 00002239: ISZERO 0000223a: PUSH2 0x2242 0000223d: JUMPI 0000223e: PUSH1 0x00 00002240: DUP1 00002241: REVERT 00002242: JUMPDEST 00002243: PUSH1 0x00 00002245: DUP4 00002246: ADD 00002247: CALLDATALOAD 00002248: PUSH8 0xffffffffffffffff 00002251: DUP2 00002252: GT 00002253: ISZERO 00002254: PUSH2 0x225c 00002257: JUMPI 00002258: PUSH1 0x00 0000225a: DUP1 0000225b: REVERT 0000225c: JUMPDEST 0000225d: PUSH2 0x2268 00002260: DUP6 00002261: DUP3 00002262: DUP7 00002263: ADD 00002264: PUSH2 0x20a9 00002267: JUMP 00002268: JUMPDEST 00002269: SWAP3 0000226a: POP 0000226b: POP 0000226c: PUSH1 0x20 0000226e: DUP4 0000226f: ADD 00002270: CALLDATALOAD 00002271: PUSH8 0xffffffffffffffff 0000227a: DUP2 0000227b: GT 0000227c: ISZERO 0000227d: PUSH2 0x2285 00002280: JUMPI 00002281: PUSH1 0x00 00002283: DUP1 00002284: REVERT 00002285: JUMPDEST 00002286: PUSH2 0x2291 00002289: DUP6 0000228a: DUP3 0000228b: DUP7 0000228c: ADD 0000228d: PUSH2 0x20d3 00002290: JUMP 00002291: JUMPDEST 00002292: SWAP2 00002293: POP 00002294: POP 00002295: SWAP3 00002296: POP 00002297: SWAP3 00002298: SWAP1 00002299: POP 0000229a: JUMP 0000229b: JUMPDEST 0000229c: PUSH1 0x00 0000229e: PUSH1 0x20 000022a0: DUP3 000022a1: DUP5 000022a2: SUB 000022a3: SLT 000022a4: ISZERO 000022a5: PUSH2 0x22ad 000022a8: JUMPI 000022a9: PUSH1 0x00 000022ab: DUP1 000022ac: REVERT 000022ad: JUMPDEST 000022ae: PUSH1 0x00 000022b0: PUSH2 0x22bb 000022b3: DUP5 000022b4: DUP3 000022b5: DUP6 000022b6: ADD 000022b7: PUSH2 0x20fd 000022ba: JUMP 000022bb: JUMPDEST 000022bc: SWAP2 000022bd: POP 000022be: POP 000022bf: SWAP3 000022c0: SWAP2 000022c1: POP 000022c2: POP 000022c3: JUMP 000022c4: JUMPDEST 000022c5: PUSH1 0x00 000022c7: PUSH1 0x20 000022c9: DUP3 000022ca: DUP5 000022cb: SUB 000022cc: SLT 000022cd: ISZERO 000022ce: PUSH2 0x22d6 000022d1: JUMPI 000022d2: PUSH1 0x00 000022d4: DUP1 000022d5: REVERT 000022d6: JUMPDEST 000022d7: PUSH1 0x00 000022d9: PUSH2 0x22e4 000022dc: DUP5 000022dd: DUP3 000022de: DUP6 000022df: ADD 000022e0: PUSH2 0x2112 000022e3: JUMP 000022e4: JUMPDEST 000022e5: SWAP2 000022e6: POP 000022e7: POP 000022e8: SWAP3 000022e9: SWAP2 000022ea: POP 000022eb: POP 000022ec: JUMP 000022ed: JUMPDEST 000022ee: PUSH1 0x00 000022f0: PUSH1 0x20 000022f2: DUP3 000022f3: DUP5 000022f4: SUB 000022f5: SLT 000022f6: ISZERO 000022f7: PUSH2 0x22ff 000022fa: JUMPI 000022fb: PUSH1 0x00 000022fd: DUP1 000022fe: REVERT 000022ff: JUMPDEST 00002300: PUSH1 0x00 00002302: DUP3 00002303: ADD 00002304: CALLDATALOAD 00002305: PUSH8 0xffffffffffffffff 0000230e: DUP2 0000230f: GT 00002310: ISZERO 00002311: PUSH2 0x2319 00002314: JUMPI 00002315: PUSH1 0x00 00002317: DUP1 00002318: REVERT 00002319: JUMPDEST 0000231a: PUSH2 0x2325 0000231d: DUP5 0000231e: DUP3 0000231f: DUP6 00002320: ADD 00002321: PUSH2 0x2127 00002324: JUMP 00002325: JUMPDEST 00002326: SWAP2 00002327: POP 00002328: POP 00002329: SWAP3 0000232a: SWAP2 0000232b: POP 0000232c: POP 0000232d: JUMP 0000232e: JUMPDEST 0000232f: PUSH1 0x00 00002331: PUSH1 0x20 00002333: DUP3 00002334: DUP5 00002335: SUB 00002336: SLT 00002337: ISZERO 00002338: PUSH2 0x2340 0000233b: JUMPI 0000233c: PUSH1 0x00 0000233e: DUP1 0000233f: REVERT 00002340: JUMPDEST 00002341: PUSH1 0x00 00002343: PUSH2 0x234e 00002346: DUP5 00002347: DUP3 00002348: DUP6 00002349: ADD 0000234a: PUSH2 0x2151 0000234d: JUMP 0000234e: JUMPDEST 0000234f: SWAP2 00002350: POP 00002351: POP 00002352: SWAP3 00002353: SWAP2 00002354: POP 00002355: POP 00002356: JUMP 00002357: JUMPDEST 00002358: PUSH1 0x00 0000235a: PUSH1 0x20 0000235c: DUP3 0000235d: DUP5 0000235e: SUB 0000235f: SLT 00002360: ISZERO 00002361: PUSH2 0x2369 00002364: JUMPI 00002365: PUSH1 0x00 00002367: DUP1 00002368: REVERT 00002369: JUMPDEST 0000236a: PUSH1 0x00 0000236c: PUSH2 0x2377 0000236f: DUP5 00002370: DUP3 00002371: DUP6 00002372: ADD 00002373: PUSH2 0x2166 00002376: JUMP 00002377: JUMPDEST 00002378: SWAP2 00002379: POP 0000237a: POP 0000237b: SWAP3 0000237c: SWAP2 0000237d: POP 0000237e: POP 0000237f: JUMP 00002380: JUMPDEST 00002381: PUSH2 0x2389 00002384: DUP2 00002385: PUSH2 0x2918 00002388: JUMP 00002389: JUMPDEST 0000238a: DUP3 0000238b: MSTORE 0000238c: POP 0000238d: POP 0000238e: JUMP 0000238f: JUMPDEST 00002390: PUSH2 0x2398 00002393: DUP2 00002394: PUSH2 0x292a 00002397: JUMP 00002398: JUMPDEST 00002399: DUP3 0000239a: MSTORE 0000239b: POP 0000239c: POP 0000239d: JUMP 0000239e: JUMPDEST 0000239f: PUSH2 0x23a7 000023a2: DUP2 000023a3: PUSH2 0x2960 000023a6: JUMP 000023a7: JUMPDEST 000023a8: DUP3 000023a9: MSTORE 000023aa: POP 000023ab: POP 000023ac: JUMP 000023ad: JUMPDEST 000023ae: PUSH1 0x00 000023b0: PUSH2 0x23b8 000023b3: DUP3 000023b4: PUSH2 0x28fc 000023b7: JUMP 000023b8: JUMPDEST 000023b9: PUSH2 0x23c2 000023bc: DUP2 000023bd: DUP6 000023be: PUSH2 0x2907 000023c1: JUMP 000023c2: JUMPDEST 000023c3: SWAP4 000023c4: POP 000023c5: PUSH2 0x23d2 000023c8: DUP2 000023c9: DUP6 000023ca: PUSH1 0x20 000023cc: DUP7 000023cd: ADD 000023ce: PUSH2 0x2993 000023d1: JUMP 000023d2: JUMPDEST 000023d3: PUSH2 0x23db 000023d6: DUP2 000023d7: PUSH2 0x29c8 000023da: JUMP 000023db: JUMPDEST 000023dc: DUP5 000023dd: ADD 000023de: SWAP2 000023df: POP 000023e0: POP 000023e1: SWAP3 000023e2: SWAP2 000023e3: POP 000023e4: POP 000023e5: JUMP 000023e6: JUMPDEST 000023e7: PUSH1 0x00 000023e9: DUP2 000023ea: SLOAD 000023eb: PUSH1 0x01 000023ed: DUP2 000023ee: AND 000023ef: PUSH1 0x00 000023f1: DUP2 000023f2: EQ 000023f3: PUSH2 0x2403 000023f6: JUMPI 000023f7: PUSH1 0x01 000023f9: DUP2 000023fa: EQ 000023fb: PUSH2 0x2429 000023fe: JUMPI 000023ff: PUSH2 0x246d 00002402: JUMP 00002403: JUMPDEST 00002404: PUSH1 0x7f 00002406: PUSH1 0x02 00002408: DUP4 00002409: DIV 0000240a: AND 0000240b: PUSH2 0x2414 0000240e: DUP2 0000240f: DUP8 00002410: PUSH2 0x2907 00002413: JUMP 00002414: JUMPDEST 00002415: SWAP6 00002416: POP 00002417: PUSH1 0xff 00002419: NOT 0000241a: DUP4 0000241b: AND 0000241c: DUP7 0000241d: MSTORE 0000241e: PUSH1 0x20 00002420: DUP7 00002421: ADD 00002422: SWAP4 00002423: POP 00002424: POP 00002425: PUSH2 0x246d 00002428: JUMP 00002429: JUMPDEST 0000242a: PUSH1 0x02 0000242c: DUP3 0000242d: DIV 0000242e: PUSH2 0x2437 00002431: DUP2 00002432: DUP8 00002433: PUSH2 0x2907 00002436: JUMP 00002437: JUMPDEST 00002438: SWAP6 00002439: POP 0000243a: PUSH2 0x2442 0000243d: DUP6 0000243e: PUSH2 0x28e7 00002441: JUMP 00002442: JUMPDEST 00002443: PUSH1 0x00 00002445: JUMPDEST 00002446: DUP3 00002447: DUP2 00002448: LT 00002449: ISZERO 0000244a: PUSH2 0x2464 0000244d: JUMPI 0000244e: DUP2 0000244f: SLOAD 00002450: DUP2 00002451: DUP10 00002452: ADD 00002453: MSTORE 00002454: PUSH1 0x01 00002456: DUP3 00002457: ADD 00002458: SWAP2 00002459: POP 0000245a: PUSH1 0x20 0000245c: DUP2 0000245d: ADD 0000245e: SWAP1 0000245f: POP 00002460: PUSH2 0x2445 00002463: JUMP 00002464: JUMPDEST 00002465: DUP1 00002466: DUP9 00002467: ADD 00002468: SWAP6 00002469: POP 0000246a: POP 0000246b: POP 0000246c: POP 0000246d: JUMPDEST 0000246e: POP 0000246f: POP 00002470: SWAP3 00002471: SWAP2 00002472: POP 00002473: POP 00002474: JUMP 00002475: JUMPDEST 00002476: PUSH1 0x00 00002478: PUSH2 0x2482 0000247b: PUSH1 0x2c 0000247d: DUP4 0000247e: PUSH2 0x2907 00002481: JUMP 00002482: JUMPDEST 00002483: SWAP2 00002484: POP 00002485: PUSH32 0x507572636861736520616d6f756e74206578636565647320746865206c696d69 000024a6: PUSH1 0x00 000024a8: DUP4 000024a9: ADD 000024aa: MSTORE 000024ab: PUSH32 0x74207065722077616c6c65740000000000000000000000000000000000000000 000024cc: PUSH1 0x20 000024ce: DUP4 000024cf: ADD 000024d0: MSTORE 000024d1: PUSH1 0x40 000024d3: DUP3 000024d4: ADD 000024d5: SWAP1 000024d6: POP 000024d7: SWAP2 000024d8: SWAP1 000024d9: POP 000024da: JUMP 000024db: JUMPDEST 000024dc: PUSH1 0x00 000024de: PUSH2 0x24e8 000024e1: PUSH1 0x1c 000024e3: DUP4 000024e4: PUSH2 0x2907 000024e7: JUMP 000024e8: JUMPDEST 000024e9: SWAP2 000024ea: POP 000024eb: PUSH32 0x496e73756666696369656e74206f72206578636573732066756e647300000000 0000250c: PUSH1 0x00 0000250e: DUP4 0000250f: ADD 00002510: MSTORE 00002511: PUSH1 0x20 00002513: DUP3 00002514: ADD 00002515: SWAP1 00002516: POP 00002517: SWAP2 00002518: SWAP1 00002519: POP 0000251a: JUMP 0000251b: JUMPDEST 0000251c: PUSH1 0x00 0000251e: PUSH2 0x2528 00002521: PUSH1 0x17 00002523: DUP4 00002524: PUSH2 0x2907 00002527: JUMP 00002528: JUMPDEST 00002529: SWAP2 0000252a: POP 0000252b: PUSH32 0x55736572206973206e6f742077686974656c6973746564000000000000000000 0000254c: PUSH1 0x00 0000254e: DUP4 0000254f: ADD 00002550: MSTORE 00002551: PUSH1 0x20 00002553: DUP3 00002554: ADD 00002555: SWAP1 00002556: POP 00002557: SWAP2 00002558: SWAP1 00002559: POP 0000255a: JUMP 0000255b: JUMPDEST 0000255c: PUSH1 0x00 0000255e: PUSH2 0x2568 00002561: PUSH1 0x13 00002563: DUP4 00002564: PUSH2 0x2907 00002567: JUMP 00002568: JUMPDEST 00002569: SWAP2 0000256a: POP 0000256b: PUSH32 0x5573657220697320626c61636b6c697374656400000000000000000000000000 0000258c: PUSH1 0x00 0000258e: DUP4 0000258f: ADD 00002590: MSTORE 00002591: PUSH1 0x20 00002593: DUP3 00002594: ADD 00002595: SWAP1 00002596: POP 00002597: SWAP2 00002598: SWAP1 00002599: POP 0000259a: JUMP 0000259b: JUMPDEST 0000259c: PUSH1 0x00 0000259e: PUSH2 0x25a8 000025a1: PUSH1 0x13 000025a3: DUP4 000025a4: PUSH2 0x2907 000025a7: JUMP 000025a8: JUMPDEST 000025a9: SWAP2 000025aa: POP 000025ab: PUSH32 0x53616c65206973206e6f7420656e61626c656400000000000000000000000000 000025cc: PUSH1 0x00 000025ce: DUP4 000025cf: ADD 000025d0: MSTORE 000025d1: PUSH1 0x20 000025d3: DUP3 000025d4: ADD 000025d5: SWAP1 000025d6: POP 000025d7: SWAP2 000025d8: SWAP1 000025d9: POP 000025da: JUMP 000025db: JUMPDEST 000025dc: PUSH1 0x00 000025de: PUSH2 0x25e8 000025e1: PUSH1 0x26 000025e3: DUP4 000025e4: PUSH2 0x2907 000025e7: JUMP 000025e8: JUMPDEST 000025e9: SWAP2 000025ea: POP 000025eb: PUSH32 0x4c656e677468206f6620757365727320616e6420656e61626c6564206d757374 0000260c: PUSH1 0x00 0000260e: DUP4 0000260f: ADD 00002610: MSTORE 00002611: PUSH32 0x206d617463680000000000000000000000000000000000000000000000000000 00002632: PUSH1 0x20 00002634: DUP4 00002635: ADD 00002636: MSTORE 00002637: PUSH1 0x40 00002639: DUP3 0000263a: ADD 0000263b: SWAP1 0000263c: POP 0000263d: SWAP2 0000263e: SWAP1 0000263f: POP 00002640: JUMP 00002641: JUMPDEST 00002642: PUSH2 0x264a 00002645: DUP2 00002646: PUSH2 0x2956 00002649: JUMP 0000264a: JUMPDEST 0000264b: DUP3 0000264c: MSTORE 0000264d: POP 0000264e: POP 0000264f: JUMP 00002650: JUMPDEST 00002651: PUSH1 0x00 00002653: PUSH1 0x20 00002655: DUP3 00002656: ADD 00002657: SWAP1 00002658: POP 00002659: PUSH2 0x2665 0000265c: PUSH1 0x00 0000265e: DUP4 0000265f: ADD 00002660: DUP5 00002661: PUSH2 0x2380 00002664: JUMP 00002665: JUMPDEST 00002666: SWAP3 00002667: SWAP2 00002668: POP 00002669: POP 0000266a: JUMP 0000266b: JUMPDEST 0000266c: PUSH1 0x00 0000266e: PUSH1 0x40 00002670: DUP3 00002671: ADD 00002672: SWAP1 00002673: POP 00002674: PUSH2 0x2680 00002677: PUSH1 0x00 00002679: DUP4 0000267a: ADD 0000267b: DUP6 0000267c: PUSH2 0x2380 0000267f: JUMP 00002680: JUMPDEST 00002681: DUP2 00002682: DUP2 00002683: SUB 00002684: PUSH1 0x20 00002686: DUP4 00002687: ADD 00002688: MSTORE 00002689: PUSH2 0x2692 0000268c: DUP2 0000268d: DUP5 0000268e: PUSH2 0x23e6 00002691: JUMP 00002692: JUMPDEST 00002693: SWAP1 00002694: POP 00002695: SWAP4 00002696: SWAP3 00002697: POP 00002698: POP 00002699: POP 0000269a: JUMP 0000269b: JUMPDEST 0000269c: PUSH1 0x00 0000269e: PUSH1 0x40 000026a0: DUP3 000026a1: ADD 000026a2: SWAP1 000026a3: POP 000026a4: PUSH2 0x26b0 000026a7: PUSH1 0x00 000026a9: DUP4 000026aa: ADD 000026ab: DUP6 000026ac: PUSH2 0x2380 000026af: JUMP 000026b0: JUMPDEST 000026b1: PUSH2 0x26bd 000026b4: PUSH1 0x20 000026b6: DUP4 000026b7: ADD 000026b8: DUP5 000026b9: PUSH2 0x2641 000026bc: JUMP 000026bd: JUMPDEST 000026be: SWAP4 000026bf: SWAP3 000026c0: POP 000026c1: POP 000026c2: POP 000026c3: JUMP 000026c4: JUMPDEST 000026c5: PUSH1 0x00 000026c7: PUSH1 0x20 000026c9: DUP3 000026ca: ADD 000026cb: SWAP1 000026cc: POP 000026cd: PUSH2 0x26d9 000026d0: PUSH1 0x00 000026d2: DUP4 000026d3: ADD 000026d4: DUP5 000026d5: PUSH2 0x238f 000026d8: JUMP 000026d9: JUMPDEST 000026da: SWAP3 000026db: SWAP2 000026dc: POP 000026dd: POP 000026de: JUMP 000026df: JUMPDEST 000026e0: PUSH1 0x00 000026e2: PUSH1 0x20 000026e4: DUP3 000026e5: ADD 000026e6: SWAP1 000026e7: POP 000026e8: PUSH2 0x26f4 000026eb: PUSH1 0x00 000026ed: DUP4 000026ee: ADD 000026ef: DUP5 000026f0: PUSH2 0x239e 000026f3: JUMP 000026f4: JUMPDEST 000026f5: SWAP3 000026f6: SWAP2 000026f7: POP 000026f8: POP 000026f9: JUMP 000026fa: JUMPDEST 000026fb: PUSH1 0x00 000026fd: PUSH1 0x20 000026ff: DUP3 00002700: ADD 00002701: SWAP1 00002702: POP 00002703: DUP2 00002704: DUP2 00002705: SUB 00002706: PUSH1 0x00 00002708: DUP4 00002709: ADD 0000270a: MSTORE 0000270b: PUSH2 0x2714 0000270e: DUP2 0000270f: DUP5 00002710: PUSH2 0x23ad 00002713: JUMP 00002714: JUMPDEST 00002715: SWAP1 00002716: POP 00002717: SWAP3 00002718: SWAP2 00002719: POP 0000271a: POP 0000271b: JUMP 0000271c: JUMPDEST 0000271d: PUSH1 0x00 0000271f: PUSH1 0x20 00002721: DUP3 00002722: ADD 00002723: SWAP1 00002724: POP 00002725: DUP2 00002726: DUP2 00002727: SUB 00002728: PUSH1 0x00 0000272a: DUP4 0000272b: ADD 0000272c: MSTORE 0000272d: PUSH2 0x2735 00002730: DUP2 00002731: PUSH2 0x2475 00002734: JUMP 00002735: JUMPDEST 00002736: SWAP1 00002737: POP 00002738: SWAP2 00002739: SWAP1 0000273a: POP 0000273b: JUMP 0000273c: JUMPDEST 0000273d: PUSH1 0x00 0000273f: PUSH1 0x20 00002741: DUP3 00002742: ADD 00002743: SWAP1 00002744: POP 00002745: DUP2 00002746: DUP2 00002747: SUB 00002748: PUSH1 0x00 0000274a: DUP4 0000274b: ADD 0000274c: MSTORE 0000274d: PUSH2 0x2755 00002750: DUP2 00002751: PUSH2 0x24db 00002754: JUMP 00002755: JUMPDEST 00002756: SWAP1 00002757: POP 00002758: SWAP2 00002759: SWAP1 0000275a: POP 0000275b: JUMP 0000275c: JUMPDEST 0000275d: PUSH1 0x00 0000275f: PUSH1 0x20 00002761: DUP3 00002762: ADD 00002763: SWAP1 00002764: POP 00002765: DUP2 00002766: DUP2 00002767: SUB 00002768: PUSH1 0x00 0000276a: DUP4 0000276b: ADD 0000276c: MSTORE 0000276d: PUSH2 0x2775 00002770: DUP2 00002771: PUSH2 0x251b 00002774: JUMP 00002775: JUMPDEST 00002776: SWAP1 00002777: POP 00002778: SWAP2 00002779: SWAP1 0000277a: POP 0000277b: JUMP 0000277c: JUMPDEST 0000277d: PUSH1 0x00 0000277f: PUSH1 0x20 00002781: DUP3 00002782: ADD 00002783: SWAP1 00002784: POP 00002785: DUP2 00002786: DUP2 00002787: SUB 00002788: PUSH1 0x00 0000278a: DUP4 0000278b: ADD 0000278c: MSTORE 0000278d: PUSH2 0x2795 00002790: DUP2 00002791: PUSH2 0x255b 00002794: JUMP 00002795: JUMPDEST 00002796: SWAP1 00002797: POP 00002798: SWAP2 00002799: SWAP1 0000279a: POP 0000279b: JUMP 0000279c: JUMPDEST 0000279d: PUSH1 0x00 0000279f: PUSH1 0x20 000027a1: DUP3 000027a2: ADD 000027a3: SWAP1 000027a4: POP 000027a5: DUP2 000027a6: DUP2 000027a7: SUB 000027a8: PUSH1 0x00 000027aa: DUP4 000027ab: ADD 000027ac: MSTORE 000027ad: PUSH2 0x27b5 000027b0: DUP2 000027b1: PUSH2 0x259b 000027b4: JUMP 000027b5: JUMPDEST 000027b6: SWAP1 000027b7: POP 000027b8: SWAP2 000027b9: SWAP1 000027ba: POP 000027bb: JUMP 000027bc: JUMPDEST 000027bd: PUSH1 0x00 000027bf: PUSH1 0x20 000027c1: DUP3 000027c2: ADD 000027c3: SWAP1 000027c4: POP 000027c5: DUP2 000027c6: DUP2 000027c7: SUB 000027c8: PUSH1 0x00 000027ca: DUP4 000027cb: ADD 000027cc: MSTORE 000027cd: PUSH2 0x27d5 000027d0: DUP2 000027d1: PUSH2 0x25db 000027d4: JUMP 000027d5: JUMPDEST 000027d6: SWAP1 000027d7: POP 000027d8: SWAP2 000027d9: SWAP1 000027da: POP 000027db: JUMP 000027dc: JUMPDEST 000027dd: PUSH1 0x00 000027df: PUSH1 0x20 000027e1: DUP3 000027e2: ADD 000027e3: SWAP1 000027e4: POP 000027e5: PUSH2 0x27f1 000027e8: PUSH1 0x00 000027ea: DUP4 000027eb: ADD 000027ec: DUP5 000027ed: PUSH2 0x2641 000027f0: JUMP 000027f1: JUMPDEST 000027f2: SWAP3 000027f3: SWAP2 000027f4: POP 000027f5: POP 000027f6: JUMP 000027f7: JUMPDEST 000027f8: PUSH1 0x00 000027fa: PUSH1 0x60 000027fc: DUP3 000027fd: ADD 000027fe: SWAP1 000027ff: POP 00002800: PUSH2 0x280c 00002803: PUSH1 0x00 00002805: DUP4 00002806: ADD 00002807: DUP7 00002808: PUSH2 0x2641 0000280b: JUMP 0000280c: JUMPDEST 0000280d: PUSH2 0x2819 00002810: PUSH1 0x20 00002812: DUP4 00002813: ADD 00002814: DUP6 00002815: PUSH2 0x2380 00002818: JUMP 00002819: JUMPDEST 0000281a: PUSH2 0x2826 0000281d: PUSH1 0x40 0000281f: DUP4 00002820: ADD 00002821: DUP5 00002822: PUSH2 0x2641 00002825: JUMP 00002826: JUMPDEST 00002827: SWAP5 00002828: SWAP4 00002829: POP 0000282a: POP 0000282b: POP 0000282c: POP 0000282d: JUMP 0000282e: JUMPDEST 0000282f: PUSH1 0x00 00002831: PUSH1 0x40 00002833: MLOAD 00002834: SWAP1 00002835: POP 00002836: DUP2 00002837: DUP2 00002838: ADD 00002839: DUP2 0000283a: DUP2 0000283b: LT 0000283c: PUSH8 0xffffffffffffffff 00002845: DUP3 00002846: GT 00002847: OR 00002848: ISZERO 00002849: PUSH2 0x2855 0000284c: JUMPI 0000284d: PUSH2 0x2854 00002850: PUSH2 0x29c6 00002853: JUMP 00002854: JUMPDEST 00002855: JUMPDEST 00002856: DUP1 00002857: PUSH1 0x40 00002859: MSTORE 0000285a: POP 0000285b: SWAP2 0000285c: SWAP1 0000285d: POP 0000285e: JUMP 0000285f: JUMPDEST 00002860: PUSH1 0x00 00002862: PUSH8 0xffffffffffffffff 0000286b: DUP3 0000286c: GT 0000286d: ISZERO 0000286e: PUSH2 0x287a 00002871: JUMPI 00002872: PUSH2 0x2879 00002875: PUSH2 0x29c6 00002878: JUMP 00002879: JUMPDEST 0000287a: JUMPDEST 0000287b: PUSH1 0x20 0000287d: DUP3 0000287e: MUL 0000287f: SWAP1 00002880: POP 00002881: PUSH1 0x20 00002883: DUP2 00002884: ADD 00002885: SWAP1 00002886: POP 00002887: SWAP2 00002888: SWAP1 00002889: POP 0000288a: JUMP 0000288b: JUMPDEST 0000288c: PUSH1 0x00 0000288e: PUSH8 0xffffffffffffffff 00002897: DUP3 00002898: GT 00002899: ISZERO 0000289a: PUSH2 0x28a6 0000289d: JUMPI 0000289e: PUSH2 0x28a5 000028a1: PUSH2 0x29c6 000028a4: JUMP 000028a5: JUMPDEST 000028a6: JUMPDEST 000028a7: PUSH1 0x20 000028a9: DUP3 000028aa: MUL 000028ab: SWAP1 000028ac: POP 000028ad: PUSH1 0x20 000028af: DUP2 000028b0: ADD 000028b1: SWAP1 000028b2: POP 000028b3: SWAP2 000028b4: SWAP1 000028b5: POP 000028b6: JUMP 000028b7: JUMPDEST 000028b8: PUSH1 0x00 000028ba: PUSH8 0xffffffffffffffff 000028c3: DUP3 000028c4: GT 000028c5: ISZERO 000028c6: PUSH2 0x28d2 000028c9: JUMPI 000028ca: PUSH2 0x28d1 000028cd: PUSH2 0x29c6 000028d0: JUMP 000028d1: JUMPDEST 000028d2: JUMPDEST 000028d3: PUSH1 0x1f 000028d5: NOT 000028d6: PUSH1 0x1f 000028d8: DUP4 000028d9: ADD 000028da: AND 000028db: SWAP1 000028dc: POP 000028dd: PUSH1 0x20 000028df: DUP2 000028e0: ADD 000028e1: SWAP1 000028e2: POP 000028e3: SWAP2 000028e4: SWAP1 000028e5: POP 000028e6: JUMP 000028e7: JUMPDEST 000028e8: PUSH1 0x00 000028ea: DUP2 000028eb: SWAP1 000028ec: POP 000028ed: DUP2 000028ee: PUSH1 0x00 000028f0: MSTORE 000028f1: PUSH1 0x20 000028f3: PUSH1 0x00 000028f5: KECCAK256 000028f6: SWAP1 000028f7: POP 000028f8: SWAP2 000028f9: SWAP1 000028fa: POP 000028fb: JUMP 000028fc: JUMPDEST 000028fd: PUSH1 0x00 000028ff: DUP2 00002900: MLOAD 00002901: SWAP1 00002902: POP 00002903: SWAP2 00002904: SWAP1 00002905: POP 00002906: JUMP 00002907: JUMPDEST 00002908: PUSH1 0x00 0000290a: DUP3 0000290b: DUP3 0000290c: MSTORE 0000290d: PUSH1 0x20 0000290f: DUP3 00002910: ADD 00002911: SWAP1 00002912: POP 00002913: SWAP3 00002914: SWAP2 00002915: POP 00002916: POP 00002917: JUMP 00002918: JUMPDEST 00002919: PUSH1 0x00 0000291b: PUSH2 0x2923 0000291e: DUP3 0000291f: PUSH2 0x2936 00002922: JUMP 00002923: JUMPDEST 00002924: SWAP1 00002925: POP 00002926: SWAP2 00002927: SWAP1 00002928: POP 00002929: JUMP 0000292a: JUMPDEST 0000292b: PUSH1 0x00 0000292d: DUP2 0000292e: ISZERO 0000292f: ISZERO 00002930: SWAP1 00002931: POP 00002932: SWAP2 00002933: SWAP1 00002934: POP 00002935: JUMP 00002936: JUMPDEST 00002937: PUSH1 0x00 00002939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000294e: DUP3 0000294f: AND 00002950: SWAP1 00002951: POP 00002952: SWAP2 00002953: SWAP1 00002954: POP 00002955: JUMP 00002956: JUMPDEST 00002957: PUSH1 0x00 00002959: DUP2 0000295a: SWAP1 0000295b: POP 0000295c: SWAP2 0000295d: SWAP1 0000295e: POP 0000295f: JUMP 00002960: JUMPDEST 00002961: PUSH1 0x00 00002963: PUSH2 0x296b 00002966: DUP3 00002967: PUSH2 0x2972 0000296a: JUMP 0000296b: JUMPDEST 0000296c: SWAP1 0000296d: POP 0000296e: SWAP2 0000296f: SWAP1 00002970: POP 00002971: JUMP 00002972: JUMPDEST 00002973: PUSH1 0x00 00002975: PUSH2 0x297d 00002978: DUP3 00002979: PUSH2 0x2936 0000297c: JUMP 0000297d: JUMPDEST 0000297e: SWAP1 0000297f: POP 00002980: SWAP2 00002981: SWAP1 00002982: POP 00002983: JUMP 00002984: JUMPDEST 00002985: DUP3 00002986: DUP2 00002987: DUP4 00002988: CALLDATACOPY 00002989: PUSH1 0x00 0000298b: DUP4 0000298c: DUP4 0000298d: ADD 0000298e: MSTORE 0000298f: POP 00002990: POP 00002991: POP 00002992: JUMP 00002993: JUMPDEST 00002994: PUSH1 0x00 00002996: JUMPDEST 00002997: DUP4 00002998: DUP2 00002999: LT 0000299a: ISZERO 0000299b: PUSH2 0x29b1 0000299e: JUMPI 0000299f: DUP1 000029a0: DUP3 000029a1: ADD 000029a2: MLOAD 000029a3: DUP2 000029a4: DUP5 000029a5: ADD 000029a6: MSTORE 000029a7: PUSH1 0x20 000029a9: DUP2 000029aa: ADD 000029ab: SWAP1 000029ac: POP 000029ad: PUSH2 0x2996 000029b0: JUMP 000029b1: JUMPDEST 000029b2: DUP4 000029b3: DUP2 000029b4: GT 000029b5: ISZERO 000029b6: PUSH2 0x29c0 000029b9: JUMPI 000029ba: PUSH1 0x00 000029bc: DUP5 000029bd: DUP5 000029be: ADD 000029bf: MSTORE 000029c0: JUMPDEST 000029c1: POP 000029c2: POP 000029c3: POP 000029c4: POP 000029c5: JUMP 000029c6: JUMPDEST 000029c7: INVALID 000029c8: JUMPDEST 000029c9: PUSH1 0x00 000029cb: PUSH1 0x1f 000029cd: NOT 000029ce: PUSH1 0x1f 000029d0: DUP4 000029d1: ADD 000029d2: AND 000029d3: SWAP1 000029d4: POP 000029d5: SWAP2 000029d6: SWAP1 000029d7: POP 000029d8: JUMP 000029d9: JUMPDEST 000029da: PUSH2 0x29e2 000029dd: DUP2 000029de: PUSH2 0x2918 000029e1: JUMP 000029e2: JUMPDEST 000029e3: DUP2 000029e4: EQ 000029e5: PUSH2 0x29ed 000029e8: JUMPI 000029e9: PUSH1 0x00 000029eb: DUP1 000029ec: REVERT 000029ed: JUMPDEST 000029ee: POP 000029ef: JUMP 000029f0: JUMPDEST 000029f1: PUSH2 0x29f9 000029f4: DUP2 000029f5: PUSH2 0x292a 000029f8: JUMP 000029f9: JUMPDEST 000029fa: DUP2 000029fb: EQ 000029fc: PUSH2 0x2a04 000029ff: JUMPI 00002a00: PUSH1 0x00 00002a02: DUP1 00002a03: REVERT 00002a04: JUMPDEST 00002a05: POP 00002a06: JUMP 00002a07: JUMPDEST 00002a08: PUSH2 0x2a10 00002a0b: DUP2 00002a0c: PUSH2 0x2956 00002a0f: JUMP 00002a10: JUMPDEST 00002a11: DUP2 00002a12: EQ 00002a13: PUSH2 0x2a1b 00002a16: JUMPI 00002a17: PUSH1 0x00 00002a19: DUP1 00002a1a: REVERT 00002a1b: JUMPDEST 00002a1c: POP 00002a1d: JUMP 00002a1e: INVALID 00002a1f: UNKNOWN(0x4F) 00002a20: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00002a39: PUSH27 0x65726f206164647265737343616c6c657220646f6573206e6f7420 00002a55: PUSH9 0x6176652041646d696e 00002a5f: KECCAK256 00002a60: COINBASE 00002a61: PUSH4 0x63657373 00002a66: LOG2 00002a67: PUSH5 0x6970667358 00002a6d: UNKNOWN(0x22) 00002a6e: SLT 00002a6f: KECCAK256 00002a70: CREATE 00002a71: EXTCODEHASH 00002a72: PUSH21 0x86ba847e77c2d023abdcd1ff26d0a36178c4e81d06 00002a88: UNKNOWN(0xF6) 00002a89: UNKNOWN(0xC7) 00002a8a: CALLVALUE 00002a8b: UNKNOWN(0xCB) 00002a8c: UNKNOWN(0xDA) 00002a8d: DUP3 00002a8e: UNKNOWN(0xC1) 00002a8f: UNKNOWN(0x21) 00002a90: PUSH5 0x736f6c6343 00002a96: STOP 00002a97: SMOD 00002a98: MOD 00002a99: STOP 00002a9a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xea877c6503d141e2e7987517c6c3465e1fc31909b131a8f4e0c850ec94886993
call_targets:
0xda4cdd3c6acfe07a98c4a7dac9f179fc733f5e0f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xea877c6503d141e2e7987517c6c3465e1fc31909b131a8f4e0c850ec94886993",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xda4cdd3c6acfe07a98c4a7dac9f179fc733f5e0f"
],
"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": "0xdbac26e9",
"selector": "0xdbac26e9",
"calldata_variants": [
"0xdbac26e9",
"0xdbac26e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf59c3708",
"selector": "0xf59c3708",
"calldata_variants": [
"0xf59c3708",
"0xf59c37080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc69c4e8",
"selector": "0xcc69c4e8",
"calldata_variants": [
"0xcc69c4e8",
"0xcc69c4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd936547e",
"selector": "0xd936547e",
"calldata_variants": [
"0xd936547e",
"0xd936547e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6250,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7495,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xea877c6503d141e2e7987517c6c3465e1fc31909b131a8f4e0c850ec94886993
call_targets:
0xda4cdd3c6acfe07a98c4a7dac9f179fc733f5e0f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xea877c6503d141e2e7987517c6c3465e1fc31909b131a8f4e0c850ec94886993",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xda4cdd3c6acfe07a98c4a7dac9f179fc733f5e0f"
],
"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": "0xdbac26e9",
"selector": "0xdbac26e9",
"calldata_variants": [
"0xdbac26e9",
"0xdbac26e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf59c3708",
"selector": "0xf59c3708",
"calldata_variants": [
"0xf59c3708",
"0xf59c37080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc69c4e8",
"selector": "0xcc69c4e8",
"calldata_variants": [
"0xcc69c4e8",
"0xcc69c4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd936547e",
"selector": "0xd936547e",
"calldata_variants": [
"0xd936547e",
"0xd936547e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6250,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7495,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x5cae7aabb9937e49eec8000ccac0385ac6ef2bd9e27751b0d34f8a42f1495793
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x5cae7aabb9937e49eec8000ccac0385ac6ef2bd9e27751b0d34f8a42f1495793",
"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": "0xdbac26e9",
"selector": "0xdbac26e9",
"calldata_variants": [
"0xdbac26e9",
"0xdbac26e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf59c3708",
"selector": "0xf59c3708",
"calldata_variants": [
"0xf59c3708",
"0xf59c37080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc69c4e8",
"selector": "0xcc69c4e8",
"calldata_variants": [
"0xcc69c4e8",
"0xcc69c4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd936547e",
"selector": "0xd936547e",
"calldata_variants": [
"0xd936547e",
"0xd936547e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|