019b3844-9bf9-73b2-a7cd-c32c06939cab
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 |
|---|---|---|---|---|
| 14517 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14518 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 99891 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 99892 | capability.graph | complete | 1 / 3 | 1 week ago |
| 99893 | detector.run | complete | 1 / 3 | 1 week ago |
| 99894 | 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 0x0253 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7146bd08 00000019: GT 0000001a: PUSH2 0x0138 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa4d66daf 00000024: GT 00000025: PUSH2 0x00b0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd5556544 0000002f: GT 00000030: PUSH2 0x007f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe72f9843 0000003a: GT 0000003b: PUSH2 0x0064 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe72f9843 00000045: EQ 00000046: PUSH2 0x066d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe985e9c5 00000050: EQ 00000051: PUSH2 0x068d 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x06e3 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xd5556544 0000006b: EQ 0000006c: PUSH2 0x0641 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd5abeb01 00000076: EQ 00000077: PUSH2 0x0657 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xa4d66daf 00000086: EQ 00000087: PUSH2 0x05d5 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xab0bcc41 00000091: EQ 00000092: PUSH2 0x05eb 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xb88d4fde 0000009c: EQ 0000009d: PUSH2 0x0601 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xc87b56dd 000000a7: EQ 000000a8: PUSH2 0x0621 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x94985ddd 000000b7: GT 000000b8: PUSH2 0x0107 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0xa0712d68 000000c2: GT 000000c3: PUSH2 0x00ec 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0xa0712d68 000000cd: EQ 000000ce: PUSH2 0x058d 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xa22cb465 000000d8: EQ 000000d9: PUSH2 0x05a0 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xa475b5dd 000000e3: EQ 000000e4: PUSH2 0x05c0 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x94985ddd 000000f3: EQ 000000f4: PUSH2 0x0558 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x95d89b41 000000fe: EQ 000000ff: PUSH2 0x0578 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: DUP1 00000109: PUSH4 0x7146bd08 0000010e: EQ 0000010f: PUSH2 0x04e8 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x715018a6 00000119: EQ 0000011a: PUSH2 0x04fd 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x8d859f3e 00000124: EQ 00000125: PUSH2 0x0512 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x8da5cb5b 0000012f: EQ 00000130: PUSH2 0x052d 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: DUP1 0000013a: PUSH4 0x3ccfd60b 0000013f: GT 00000140: PUSH2 0x01cb 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x55f804b3 0000014a: GT 0000014b: PUSH2 0x019a 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x6352211e 00000155: GT 00000156: PUSH2 0x017f 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x6352211e 00000160: EQ 00000161: PUSH2 0x0493 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x6373a6b1 0000016b: EQ 0000016c: PUSH2 0x04b3 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x70a08231 00000176: EQ 00000177: PUSH2 0x04c8 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: DUP1 00000181: PUSH4 0x55f804b3 00000186: EQ 00000187: PUSH2 0x045d 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x6080a826 00000191: EQ 00000192: PUSH2 0x047d 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: DUP1 0000019c: PUSH4 0x3ccfd60b 000001a1: EQ 000001a2: PUSH2 0x03e8 000001a5: JUMPI 000001a6: DUP1 000001a7: PUSH4 0x42842e0e 000001ac: EQ 000001ad: PUSH2 0x03fd 000001b0: JUMPI 000001b1: DUP1 000001b2: PUSH4 0x42966c68 000001b7: EQ 000001b8: PUSH2 0x041d 000001bb: JUMPI 000001bc: DUP1 000001bd: PUSH4 0x4f6ccce7 000001c2: EQ 000001c3: PUSH2 0x043d 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: DUP1 000001cd: PUSH4 0x18160ddd 000001d2: GT 000001d3: PUSH2 0x0222 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0x27ea6f2b 000001dd: GT 000001de: PUSH2 0x0207 000001e1: JUMPI 000001e2: DUP1 000001e3: PUSH4 0x27ea6f2b 000001e8: EQ 000001e9: PUSH2 0x035c 000001ec: JUMPI 000001ed: DUP1 000001ee: PUSH4 0x2a55205a 000001f3: EQ 000001f4: PUSH2 0x037c 000001f7: JUMPI 000001f8: DUP1 000001f9: PUSH4 0x2f745c59 000001fe: EQ 000001ff: PUSH2 0x03c8 00000202: JUMPI 00000203: PUSH1 0x00 00000205: DUP1 00000206: REVERT 00000207: JUMPDEST 00000208: DUP1 00000209: PUSH4 0x18160ddd 0000020e: EQ 0000020f: PUSH2 0x031d 00000212: JUMPI 00000213: DUP1 00000214: PUSH4 0x23b872dd 00000219: EQ 0000021a: PUSH2 0x033c 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: DUP1 00000224: PUSH4 0x01ffc9a7 00000229: EQ 0000022a: PUSH2 0x025f 0000022d: JUMPI 0000022e: DUP1 0000022f: PUSH4 0x06fdde03 00000234: EQ 00000235: PUSH2 0x0294 00000238: JUMPI 00000239: DUP1 0000023a: PUSH4 0x081812fc 0000023f: EQ 00000240: PUSH2 0x02b6 00000243: JUMPI 00000244: DUP1 00000245: PUSH4 0x095ea7b3 0000024a: EQ 0000024b: PUSH2 0x02fb 0000024e: JUMPI 0000024f: PUSH1 0x00 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: CALLDATASIZE 00000255: PUSH2 0x025a 00000258: JUMPI 00000259: STOP 0000025a: JUMPDEST 0000025b: PUSH1 0x00 0000025d: DUP1 0000025e: REVERT 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: PUSH2 0x027f 00000270: PUSH2 0x027a 00000273: CALLDATASIZE 00000274: PUSH1 0x04 00000276: PUSH2 0x32c4 00000279: JUMP 0000027a: JUMPDEST 0000027b: PUSH2 0x0703 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH1 0x40 00000282: MLOAD 00000283: SWAP1 00000284: ISZERO 00000285: ISZERO 00000286: DUP2 00000287: MSTORE 00000288: PUSH1 0x20 0000028a: ADD 0000028b: JUMPDEST 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: DUP1 00000290: SWAP2 00000291: SUB 00000292: SWAP1 00000293: RETURN 00000294: JUMPDEST 00000295: CALLVALUE 00000296: DUP1 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: POP 000002a2: PUSH2 0x02a9 000002a5: PUSH2 0x075f 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: PUSH2 0x028b 000002b0: SWAP2 000002b1: SWAP1 000002b2: PUSH2 0x3488 000002b5: JUMP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: POP 000002c4: PUSH2 0x02d6 000002c7: PUSH2 0x02d1 000002ca: CALLDATASIZE 000002cb: PUSH1 0x04 000002cd: PUSH2 0x3347 000002d0: JUMP 000002d1: JUMPDEST 000002d2: PUSH2 0x07f1 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ef: SWAP1 000002f0: SWAP2 000002f1: AND 000002f2: DUP2 000002f3: MSTORE 000002f4: PUSH1 0x20 000002f6: ADD 000002f7: PUSH2 0x028b 000002fa: JUMP 000002fb: JUMPDEST 000002fc: CALLVALUE 000002fd: DUP1 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: POP 00000309: PUSH2 0x031b 0000030c: PUSH2 0x0316 0000030f: CALLDATASIZE 00000310: PUSH1 0x04 00000312: PUSH2 0x325b 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH2 0x08d0 0000031a: JUMP 0000031b: JUMPDEST 0000031c: STOP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH1 0x09 0000032d: SLOAD 0000032e: JUMPDEST 0000032f: PUSH1 0x40 00000331: MLOAD 00000332: SWAP1 00000333: DUP2 00000334: MSTORE 00000335: PUSH1 0x20 00000337: ADD 00000338: PUSH2 0x028b 0000033b: JUMP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0348 00000343: JUMPI 00000344: PUSH1 0x00 00000346: DUP1 00000347: REVERT 00000348: JUMPDEST 00000349: POP 0000034a: PUSH2 0x031b 0000034d: PUSH2 0x0357 00000350: CALLDATASIZE 00000351: PUSH1 0x04 00000353: PUSH2 0x316c 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH2 0x0a5d 0000035b: JUMP 0000035c: JUMPDEST 0000035d: CALLVALUE 0000035e: DUP1 0000035f: ISZERO 00000360: PUSH2 0x0368 00000363: JUMPI 00000364: PUSH1 0x00 00000366: DUP1 00000367: REVERT 00000368: JUMPDEST 00000369: POP 0000036a: PUSH2 0x031b 0000036d: PUSH2 0x0377 00000370: CALLDATASIZE 00000371: PUSH1 0x04 00000373: PUSH2 0x3347 00000376: JUMP 00000377: JUMPDEST 00000378: PUSH2 0x0aff 0000037b: JUMP 0000037c: JUMPDEST 0000037d: CALLVALUE 0000037e: DUP1 0000037f: ISZERO 00000380: PUSH2 0x0388 00000383: JUMPI 00000384: PUSH1 0x00 00000386: DUP1 00000387: REVERT 00000388: JUMPDEST 00000389: POP 0000038a: PUSH2 0x039c 0000038d: PUSH2 0x0397 00000390: CALLDATASIZE 00000391: PUSH1 0x04 00000393: PUSH2 0x32a2 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH2 0x0b85 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x40 0000039f: DUP1 000003a0: MLOAD 000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b6: SWAP1 000003b7: SWAP4 000003b8: AND 000003b9: DUP4 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: DUP4 000003be: ADD 000003bf: SWAP2 000003c0: SWAP1 000003c1: SWAP2 000003c2: MSTORE 000003c3: ADD 000003c4: PUSH2 0x028b 000003c7: JUMP 000003c8: JUMPDEST 000003c9: CALLVALUE 000003ca: DUP1 000003cb: ISZERO 000003cc: PUSH2 0x03d4 000003cf: JUMPI 000003d0: PUSH1 0x00 000003d2: DUP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: POP 000003d6: PUSH2 0x032e 000003d9: PUSH2 0x03e3 000003dc: CALLDATASIZE 000003dd: PUSH1 0x04 000003df: PUSH2 0x325b 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH2 0x0bb6 000003e7: JUMP 000003e8: JUMPDEST 000003e9: CALLVALUE 000003ea: DUP1 000003eb: ISZERO 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: POP 000003f6: PUSH2 0x031b 000003f9: PUSH2 0x0c85 000003fc: JUMP 000003fd: JUMPDEST 000003fe: CALLVALUE 000003ff: DUP1 00000400: ISZERO 00000401: PUSH2 0x0409 00000404: JUMPI 00000405: PUSH1 0x00 00000407: DUP1 00000408: REVERT 00000409: JUMPDEST 0000040a: POP 0000040b: PUSH2 0x031b 0000040e: PUSH2 0x0418 00000411: CALLDATASIZE 00000412: PUSH1 0x04 00000414: PUSH2 0x316c 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH2 0x0dc2 0000041c: JUMP 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: DUP1 00000420: ISZERO 00000421: PUSH2 0x0429 00000424: JUMPI 00000425: PUSH1 0x00 00000427: DUP1 00000428: REVERT 00000429: JUMPDEST 0000042a: POP 0000042b: PUSH2 0x031b 0000042e: PUSH2 0x0438 00000431: CALLDATASIZE 00000432: PUSH1 0x04 00000434: PUSH2 0x3347 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH2 0x0ddd 0000043c: JUMP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: DUP1 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: POP 0000044b: PUSH2 0x032e 0000044e: PUSH2 0x0458 00000451: CALLDATASIZE 00000452: PUSH1 0x04 00000454: PUSH2 0x3347 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH2 0x0e7b 0000045c: JUMP 0000045d: JUMPDEST 0000045e: CALLVALUE 0000045f: DUP1 00000460: ISZERO 00000461: PUSH2 0x0469 00000464: JUMPI 00000465: PUSH1 0x00 00000467: DUP1 00000468: REVERT 00000469: JUMPDEST 0000046a: POP 0000046b: PUSH2 0x031b 0000046e: PUSH2 0x0478 00000471: CALLDATASIZE 00000472: PUSH1 0x04 00000474: PUSH2 0x32fe 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH2 0x0f39 0000047c: JUMP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: DUP1 00000480: ISZERO 00000481: PUSH2 0x0489 00000484: JUMPI 00000485: PUSH1 0x00 00000487: DUP1 00000488: REVERT 00000489: JUMPDEST 0000048a: POP 0000048b: PUSH2 0x032e 0000048e: PUSH1 0x0f 00000490: SLOAD 00000491: DUP2 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: DUP1 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: PUSH2 0x02d6 000004a4: PUSH2 0x04ae 000004a7: CALLDATASIZE 000004a8: PUSH1 0x04 000004aa: PUSH2 0x3347 000004ad: JUMP 000004ae: JUMPDEST 000004af: PUSH2 0x1047 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x02a9 000004c4: PUSH2 0x10f9 000004c7: JUMP 000004c8: JUMPDEST 000004c9: CALLVALUE 000004ca: DUP1 000004cb: ISZERO 000004cc: PUSH2 0x04d4 000004cf: JUMPI 000004d0: PUSH1 0x00 000004d2: DUP1 000004d3: REVERT 000004d4: JUMPDEST 000004d5: POP 000004d6: PUSH2 0x032e 000004d9: PUSH2 0x04e3 000004dc: CALLDATASIZE 000004dd: PUSH1 0x04 000004df: PUSH2 0x3117 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH2 0x1115 000004e7: JUMP 000004e8: JUMPDEST 000004e9: CALLVALUE 000004ea: DUP1 000004eb: ISZERO 000004ec: PUSH2 0x04f4 000004ef: JUMPI 000004f0: PUSH1 0x00 000004f2: DUP1 000004f3: REVERT 000004f4: JUMPDEST 000004f5: POP 000004f6: PUSH2 0x032e 000004f9: PUSH1 0x0a 000004fb: DUP2 000004fc: JUMP 000004fd: JUMPDEST 000004fe: CALLVALUE 000004ff: DUP1 00000500: ISZERO 00000501: PUSH2 0x0509 00000504: JUMPI 00000505: PUSH1 0x00 00000507: DUP1 00000508: REVERT 00000509: JUMPDEST 0000050a: POP 0000050b: PUSH2 0x031b 0000050e: PUSH2 0x11e3 00000511: JUMP 00000512: JUMPDEST 00000513: CALLVALUE 00000514: DUP1 00000515: ISZERO 00000516: PUSH2 0x051e 00000519: JUMPI 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: REVERT 0000051e: JUMPDEST 0000051f: POP 00000520: PUSH2 0x032e 00000523: PUSH7 0xf8b0a10e470000 0000052b: DUP2 0000052c: JUMP 0000052d: JUMPDEST 0000052e: CALLVALUE 0000052f: DUP1 00000530: ISZERO 00000531: PUSH2 0x0539 00000534: JUMPI 00000535: PUSH1 0x00 00000537: DUP1 00000538: REVERT 00000539: JUMPDEST 0000053a: POP 0000053b: PUSH1 0x00 0000053d: SLOAD 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: PUSH2 0x02d6 00000557: JUMP 00000558: JUMPDEST 00000559: CALLVALUE 0000055a: DUP1 0000055b: ISZERO 0000055c: PUSH2 0x0564 0000055f: JUMPI 00000560: PUSH1 0x00 00000562: DUP1 00000563: REVERT 00000564: JUMPDEST 00000565: POP 00000566: PUSH2 0x031b 00000569: PUSH2 0x0573 0000056c: CALLDATASIZE 0000056d: PUSH1 0x04 0000056f: PUSH2 0x32a2 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH2 0x1270 00000577: JUMP 00000578: JUMPDEST 00000579: CALLVALUE 0000057a: DUP1 0000057b: ISZERO 0000057c: PUSH2 0x0584 0000057f: JUMPI 00000580: PUSH1 0x00 00000582: DUP1 00000583: REVERT 00000584: JUMPDEST 00000585: POP 00000586: PUSH2 0x02a9 00000589: PUSH2 0x1319 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH2 0x031b 00000591: PUSH2 0x059b 00000594: CALLDATASIZE 00000595: PUSH1 0x04 00000597: PUSH2 0x3347 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH2 0x1328 0000059f: JUMP 000005a0: JUMPDEST 000005a1: CALLVALUE 000005a2: DUP1 000005a3: ISZERO 000005a4: PUSH2 0x05ac 000005a7: JUMPI 000005a8: PUSH1 0x00 000005aa: DUP1 000005ab: REVERT 000005ac: JUMPDEST 000005ad: POP 000005ae: PUSH2 0x031b 000005b1: PUSH2 0x05bb 000005b4: CALLDATASIZE 000005b5: PUSH1 0x04 000005b7: PUSH2 0x3224 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH2 0x169d 000005bf: JUMP 000005c0: JUMPDEST 000005c1: CALLVALUE 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: POP 000005ce: PUSH2 0x031b 000005d1: PUSH2 0x17b4 000005d4: JUMP 000005d5: JUMPDEST 000005d6: CALLVALUE 000005d7: DUP1 000005d8: ISZERO 000005d9: PUSH2 0x05e1 000005dc: JUMPI 000005dd: PUSH1 0x00 000005df: DUP1 000005e0: REVERT 000005e1: JUMPDEST 000005e2: POP 000005e3: PUSH2 0x032e 000005e6: PUSH1 0x13 000005e8: SLOAD 000005e9: DUP2 000005ea: JUMP 000005eb: JUMPDEST 000005ec: CALLVALUE 000005ed: DUP1 000005ee: ISZERO 000005ef: PUSH2 0x05f7 000005f2: JUMPI 000005f3: PUSH1 0x00 000005f5: DUP1 000005f6: REVERT 000005f7: JUMPDEST 000005f8: POP 000005f9: PUSH2 0x032e 000005fc: PUSH1 0x11 000005fe: SLOAD 000005ff: DUP2 00000600: JUMP 00000601: JUMPDEST 00000602: CALLVALUE 00000603: DUP1 00000604: ISZERO 00000605: PUSH2 0x060d 00000608: JUMPI 00000609: PUSH1 0x00 0000060b: DUP1 0000060c: REVERT 0000060d: JUMPDEST 0000060e: POP 0000060f: PUSH2 0x031b 00000612: PUSH2 0x061c 00000615: CALLDATASIZE 00000616: PUSH1 0x04 00000618: PUSH2 0x31a8 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH2 0x19bd 00000620: JUMP 00000621: JUMPDEST 00000622: CALLVALUE 00000623: DUP1 00000624: ISZERO 00000625: PUSH2 0x062d 00000628: JUMPI 00000629: PUSH1 0x00 0000062b: DUP1 0000062c: REVERT 0000062d: JUMPDEST 0000062e: POP 0000062f: PUSH2 0x02a9 00000632: PUSH2 0x063c 00000635: CALLDATASIZE 00000636: PUSH1 0x04 00000638: PUSH2 0x3347 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH2 0x1a65 00000640: JUMP 00000641: JUMPDEST 00000642: CALLVALUE 00000643: DUP1 00000644: ISZERO 00000645: PUSH2 0x064d 00000648: JUMPI 00000649: PUSH1 0x00 0000064b: DUP1 0000064c: REVERT 0000064d: JUMPDEST 0000064e: POP 0000064f: PUSH2 0x032e 00000652: PUSH1 0x12 00000654: SLOAD 00000655: DUP2 00000656: JUMP 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH2 0x032e 00000668: PUSH1 0x10 0000066a: SLOAD 0000066b: DUP2 0000066c: JUMP 0000066d: JUMPDEST 0000066e: CALLVALUE 0000066f: DUP1 00000670: ISZERO 00000671: PUSH2 0x0679 00000674: JUMPI 00000675: PUSH1 0x00 00000677: DUP1 00000678: REVERT 00000679: JUMPDEST 0000067a: POP 0000067b: PUSH2 0x031b 0000067e: PUSH2 0x0688 00000681: CALLDATASIZE 00000682: PUSH1 0x04 00000684: PUSH2 0x3347 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH2 0x1b20 0000068c: JUMP 0000068d: JUMPDEST 0000068e: CALLVALUE 0000068f: DUP1 00000690: ISZERO 00000691: PUSH2 0x0699 00000694: JUMPI 00000695: PUSH1 0x00 00000697: DUP1 00000698: REVERT 00000699: JUMPDEST 0000069a: POP 0000069b: PUSH2 0x027f 0000069e: PUSH2 0x06a8 000006a1: CALLDATASIZE 000006a2: PUSH1 0x04 000006a4: PUSH2 0x3139 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006be: SWAP2 000006bf: DUP3 000006c0: AND 000006c1: PUSH1 0x00 000006c3: SWAP1 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x06 000006c8: PUSH1 0x20 000006ca: SWAP1 000006cb: DUP2 000006cc: MSTORE 000006cd: PUSH1 0x40 000006cf: DUP1 000006d0: DUP4 000006d1: KECCAK256 000006d2: SWAP4 000006d3: SWAP1 000006d4: SWAP5 000006d5: AND 000006d6: DUP3 000006d7: MSTORE 000006d8: SWAP2 000006d9: SWAP1 000006da: SWAP2 000006db: MSTORE 000006dc: KECCAK256 000006dd: SLOAD 000006de: PUSH1 0xff 000006e0: AND 000006e1: SWAP1 000006e2: JUMP 000006e3: JUMPDEST 000006e4: CALLVALUE 000006e5: DUP1 000006e6: ISZERO 000006e7: PUSH2 0x06ef 000006ea: JUMPI 000006eb: PUSH1 0x00 000006ed: DUP1 000006ee: REVERT 000006ef: JUMPDEST 000006f0: POP 000006f1: PUSH2 0x031b 000006f4: PUSH2 0x06fe 000006f7: CALLDATASIZE 000006f8: PUSH1 0x04 000006fa: PUSH2 0x3117 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH2 0x1bba 00000702: JUMP 00000703: JUMPDEST 00000704: PUSH1 0x00 00000706: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000727: DUP3 00000728: AND 00000729: PUSH32 0x2a55205a00000000000000000000000000000000000000000000000000000000 0000074a: EQ 0000074b: DUP1 0000074c: PUSH2 0x0759 0000074f: JUMPI 00000750: POP 00000751: PUSH2 0x0759 00000754: DUP3 00000755: PUSH2 0x1df3 00000758: JUMP 00000759: JUMPDEST 0000075a: SWAP3 0000075b: SWAP2 0000075c: POP 0000075d: POP 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x60 00000762: PUSH1 0x01 00000764: DUP1 00000765: SLOAD 00000766: PUSH2 0x076e 00000769: SWAP1 0000076a: PUSH2 0x3547 0000076d: JUMP 0000076e: JUMPDEST 0000076f: DUP1 00000770: PUSH1 0x1f 00000772: ADD 00000773: PUSH1 0x20 00000775: DUP1 00000776: SWAP2 00000777: DIV 00000778: MUL 00000779: PUSH1 0x20 0000077b: ADD 0000077c: PUSH1 0x40 0000077e: MLOAD 0000077f: SWAP1 00000780: DUP2 00000781: ADD 00000782: PUSH1 0x40 00000784: MSTORE 00000785: DUP1 00000786: SWAP3 00000787: SWAP2 00000788: SWAP1 00000789: DUP2 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x20 0000078e: ADD 0000078f: DUP3 00000790: DUP1 00000791: SLOAD 00000792: PUSH2 0x079a 00000795: SWAP1 00000796: PUSH2 0x3547 00000799: JUMP 0000079a: JUMPDEST 0000079b: DUP1 0000079c: ISZERO 0000079d: PUSH2 0x07e7 000007a0: JUMPI 000007a1: DUP1 000007a2: PUSH1 0x1f 000007a4: LT 000007a5: PUSH2 0x07bc 000007a8: JUMPI 000007a9: PUSH2 0x0100 000007ac: DUP1 000007ad: DUP4 000007ae: SLOAD 000007af: DIV 000007b0: MUL 000007b1: DUP4 000007b2: MSTORE 000007b3: SWAP2 000007b4: PUSH1 0x20 000007b6: ADD 000007b7: SWAP2 000007b8: PUSH2 0x07e7 000007bb: JUMP 000007bc: JUMPDEST 000007bd: DUP3 000007be: ADD 000007bf: SWAP2 000007c0: SWAP1 000007c1: PUSH1 0x00 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: PUSH1 0x00 000007c8: KECCAK256 000007c9: SWAP1 000007ca: JUMPDEST 000007cb: DUP2 000007cc: SLOAD 000007cd: DUP2 000007ce: MSTORE 000007cf: SWAP1 000007d0: PUSH1 0x01 000007d2: ADD 000007d3: SWAP1 000007d4: PUSH1 0x20 000007d6: ADD 000007d7: DUP1 000007d8: DUP4 000007d9: GT 000007da: PUSH2 0x07ca 000007dd: JUMPI 000007de: DUP3 000007df: SWAP1 000007e0: SUB 000007e1: PUSH1 0x1f 000007e3: AND 000007e4: DUP3 000007e5: ADD 000007e6: SWAP2 000007e7: JUMPDEST 000007e8: POP 000007e9: POP 000007ea: POP 000007eb: POP 000007ec: POP 000007ed: SWAP1 000007ee: POP 000007ef: SWAP1 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH1 0x00 000007f4: DUP2 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x03 000007f9: PUSH1 0x20 000007fb: MSTORE 000007fc: PUSH1 0x40 000007fe: DUP2 000007ff: KECCAK256 00000800: SLOAD 00000801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000816: AND 00000817: PUSH2 0x08a7 0000081a: JUMPI 0000081b: PUSH1 0x40 0000081d: MLOAD 0000081e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x20 00000843: PUSH1 0x04 00000845: DUP3 00000846: ADD 00000847: MSTORE 00000848: PUSH1 0x2c 0000084a: PUSH1 0x24 0000084c: DUP3 0000084d: ADD 0000084e: MSTORE 0000084f: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578 00000870: PUSH1 0x44 00000872: DUP3 00000873: ADD 00000874: MSTORE 00000875: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000 00000896: PUSH1 0x64 00000898: DUP3 00000899: ADD 0000089a: MSTORE 0000089b: PUSH1 0x84 0000089d: ADD 0000089e: JUMPDEST 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: DUP1 000008a3: SWAP2 000008a4: SUB 000008a5: SWAP1 000008a6: REVERT 000008a7: JUMPDEST 000008a8: POP 000008a9: PUSH1 0x00 000008ab: SWAP1 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x05 000008b0: PUSH1 0x20 000008b2: MSTORE 000008b3: PUSH1 0x40 000008b5: SWAP1 000008b6: KECCAK256 000008b7: SLOAD 000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cd: AND 000008ce: SWAP1 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH1 0x00 000008d3: PUSH2 0x08db 000008d6: DUP3 000008d7: PUSH2 0x1047 000008da: JUMP 000008db: JUMPDEST 000008dc: SWAP1 000008dd: POP 000008de: DUP1 000008df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f4: AND 000008f5: DUP4 000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090b: AND 0000090c: EQ 0000090d: ISZERO 0000090e: PUSH2 0x0999 00000911: JUMPI 00000912: PUSH1 0x40 00000914: MLOAD 00000915: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000936: DUP2 00000937: MSTORE 00000938: PUSH1 0x20 0000093a: PUSH1 0x04 0000093c: DUP3 0000093d: ADD 0000093e: MSTORE 0000093f: PUSH1 0x21 00000941: PUSH1 0x24 00000943: DUP3 00000944: ADD 00000945: MSTORE 00000946: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 00000967: PUSH1 0x44 00000969: DUP3 0000096a: ADD 0000096b: MSTORE 0000096c: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000 0000098d: PUSH1 0x64 0000098f: DUP3 00000990: ADD 00000991: MSTORE 00000992: PUSH1 0x84 00000994: ADD 00000995: PUSH2 0x089e 00000998: JUMP 00000999: JUMPDEST 0000099a: CALLER 0000099b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b0: DUP3 000009b1: AND 000009b2: EQ 000009b3: DUP1 000009b4: PUSH2 0x09c2 000009b7: JUMPI 000009b8: POP 000009b9: PUSH2 0x09c2 000009bc: DUP2 000009bd: CALLER 000009be: PUSH2 0x06a8 000009c1: JUMP 000009c2: JUMPDEST 000009c3: PUSH2 0x0a4e 000009c6: JUMPI 000009c7: PUSH1 0x40 000009c9: MLOAD 000009ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x20 000009ef: PUSH1 0x04 000009f1: DUP3 000009f2: ADD 000009f3: MSTORE 000009f4: PUSH1 0x38 000009f6: PUSH1 0x24 000009f8: DUP3 000009f9: ADD 000009fa: MSTORE 000009fb: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77 00000a1c: PUSH1 0x44 00000a1e: DUP3 00000a1f: ADD 00000a20: MSTORE 00000a21: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000 00000a42: PUSH1 0x64 00000a44: DUP3 00000a45: ADD 00000a46: MSTORE 00000a47: PUSH1 0x84 00000a49: ADD 00000a4a: PUSH2 0x089e 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH2 0x0a58 00000a52: DUP4 00000a53: DUP4 00000a54: PUSH2 0x1e49 00000a57: JUMP 00000a58: JUMPDEST 00000a59: POP 00000a5a: POP 00000a5b: POP 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH2 0x0a68 00000a61: CALLER 00000a62: JUMPDEST 00000a63: DUP3 00000a64: PUSH2 0x1ee9 00000a67: JUMP 00000a68: JUMPDEST 00000a69: PUSH2 0x0af4 00000a6c: JUMPI 00000a6d: PUSH1 0x40 00000a6f: MLOAD 00000a70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x20 00000a95: PUSH1 0x04 00000a97: DUP3 00000a98: ADD 00000a99: MSTORE 00000a9a: PUSH1 0x31 00000a9c: PUSH1 0x24 00000a9e: DUP3 00000a9f: ADD 00000aa0: MSTORE 00000aa1: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 00000ac2: PUSH1 0x44 00000ac4: DUP3 00000ac5: ADD 00000ac6: MSTORE 00000ac7: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000 00000ae8: PUSH1 0x64 00000aea: DUP3 00000aeb: ADD 00000aec: MSTORE 00000aed: PUSH1 0x84 00000aef: ADD 00000af0: PUSH2 0x089e 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH2 0x0a58 00000af8: DUP4 00000af9: DUP4 00000afa: DUP4 00000afb: PUSH2 0x2059 00000afe: JUMP 00000aff: JUMPDEST 00000b00: PUSH1 0x00 00000b02: SLOAD 00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b18: AND 00000b19: CALLER 00000b1a: EQ 00000b1b: PUSH2 0x0b80 00000b1e: JUMPI 00000b1f: PUSH1 0x40 00000b21: MLOAD 00000b22: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b43: DUP2 00000b44: MSTORE 00000b45: PUSH1 0x20 00000b47: PUSH1 0x04 00000b49: DUP3 00000b4a: ADD 00000b4b: DUP2 00000b4c: SWAP1 00000b4d: MSTORE 00000b4e: PUSH1 0x24 00000b50: DUP3 00000b51: ADD 00000b52: MSTORE 00000b53: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b74: PUSH1 0x44 00000b76: DUP3 00000b77: ADD 00000b78: MSTORE 00000b79: PUSH1 0x64 00000b7b: ADD 00000b7c: PUSH2 0x089e 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH1 0x13 00000b83: SSTORE 00000b84: JUMP 00000b85: JUMPDEST 00000b86: PUSH1 0x00 00000b88: DUP1 00000b89: PUSH2 0x0b93 00000b8c: PUSH1 0x0a 00000b8e: DUP5 00000b8f: PUSH2 0x34b3 00000b92: JUMP 00000b93: JUMPDEST 00000b94: PUSH1 0x0e 00000b96: SLOAD 00000b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bac: AND 00000bad: SWAP6 00000bae: SWAP1 00000baf: SWAP5 00000bb0: POP 00000bb1: SWAP3 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH1 0x00 00000bb9: PUSH2 0x0bc1 00000bbc: DUP4 00000bbd: PUSH2 0x1115 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: DUP3 00000bc3: LT 00000bc4: PUSH2 0x0c4f 00000bc7: JUMPI 00000bc8: PUSH1 0x40 00000bca: MLOAD 00000bcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bec: DUP2 00000bed: MSTORE 00000bee: PUSH1 0x20 00000bf0: PUSH1 0x04 00000bf2: DUP3 00000bf3: ADD 00000bf4: MSTORE 00000bf5: PUSH1 0x2b 00000bf7: PUSH1 0x24 00000bf9: DUP3 00000bfa: ADD 00000bfb: MSTORE 00000bfc: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 00000c1d: PUSH1 0x44 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000 00000c43: PUSH1 0x64 00000c45: DUP3 00000c46: ADD 00000c47: MSTORE 00000c48: PUSH1 0x84 00000c4a: ADD 00000c4b: PUSH2 0x089e 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: POP 00000c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c66: SWAP2 00000c67: SWAP1 00000c68: SWAP2 00000c69: AND 00000c6a: PUSH1 0x00 00000c6c: SWAP1 00000c6d: DUP2 00000c6e: MSTORE 00000c6f: PUSH1 0x07 00000c71: PUSH1 0x20 00000c73: SWAP1 00000c74: DUP2 00000c75: MSTORE 00000c76: PUSH1 0x40 00000c78: DUP1 00000c79: DUP4 00000c7a: KECCAK256 00000c7b: SWAP4 00000c7c: DUP4 00000c7d: MSTORE 00000c7e: SWAP3 00000c7f: SWAP1 00000c80: MSTORE 00000c81: KECCAK256 00000c82: SLOAD 00000c83: SWAP1 00000c84: JUMP 00000c85: JUMPDEST 00000c86: PUSH1 0x00 00000c88: SELFBALANCE 00000c89: GT 00000c8a: PUSH2 0x0cef 00000c8d: JUMPI 00000c8e: PUSH1 0x40 00000c90: MLOAD 00000c91: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cb2: DUP2 00000cb3: MSTORE 00000cb4: PUSH1 0x20 00000cb6: PUSH1 0x04 00000cb8: DUP3 00000cb9: ADD 00000cba: MSTORE 00000cbb: PUSH1 0x0a 00000cbd: PUSH1 0x24 00000cbf: DUP3 00000cc0: ADD 00000cc1: MSTORE 00000cc2: PUSH32 0x4e6f2062616c616e636500000000000000000000000000000000000000000000 00000ce3: PUSH1 0x44 00000ce5: DUP3 00000ce6: ADD 00000ce7: MSTORE 00000ce8: PUSH1 0x64 00000cea: ADD 00000ceb: PUSH2 0x089e 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: PUSH1 0x0e 00000cf2: SLOAD 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: PUSH1 0x00 00000cf8: SWAP2 00000cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0e: AND 00000d0f: SWAP1 00000d10: PUSH3 0x01f84c 00000d14: SWAP1 00000d15: SELFBALANCE 00000d16: SWAP1 00000d17: DUP5 00000d18: DUP2 00000d19: DUP2 00000d1a: DUP2 00000d1b: DUP6 00000d1c: DUP9 00000d1d: DUP9 00000d1e: CALL 00000d1f: SWAP4 00000d20: POP 00000d21: POP 00000d22: POP 00000d23: POP 00000d24: RETURNDATASIZE 00000d25: DUP1 00000d26: PUSH1 0x00 00000d28: DUP2 00000d29: EQ 00000d2a: PUSH2 0x0d4f 00000d2d: JUMPI 00000d2e: PUSH1 0x40 00000d30: MLOAD 00000d31: SWAP2 00000d32: POP 00000d33: PUSH1 0x1f 00000d35: NOT 00000d36: PUSH1 0x3f 00000d38: RETURNDATASIZE 00000d39: ADD 00000d3a: AND 00000d3b: DUP3 00000d3c: ADD 00000d3d: PUSH1 0x40 00000d3f: MSTORE 00000d40: RETURNDATASIZE 00000d41: DUP3 00000d42: MSTORE 00000d43: RETURNDATASIZE 00000d44: PUSH1 0x00 00000d46: PUSH1 0x20 00000d48: DUP5 00000d49: ADD 00000d4a: RETURNDATACOPY 00000d4b: PUSH2 0x0d54 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x60 00000d52: SWAP2 00000d53: POP 00000d54: JUMPDEST 00000d55: POP 00000d56: POP 00000d57: SWAP1 00000d58: POP 00000d59: DUP1 00000d5a: PUSH2 0x0dbf 00000d5d: JUMPI 00000d5e: PUSH1 0x40 00000d60: MLOAD 00000d61: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: PUSH1 0x04 00000d88: DUP3 00000d89: ADD 00000d8a: MSTORE 00000d8b: PUSH1 0x12 00000d8d: PUSH1 0x24 00000d8f: DUP3 00000d90: ADD 00000d91: MSTORE 00000d92: PUSH32 0x4661696c656420746f2077697468647261770000000000000000000000000000 00000db3: PUSH1 0x44 00000db5: DUP3 00000db6: ADD 00000db7: MSTORE 00000db8: PUSH1 0x64 00000dba: ADD 00000dbb: PUSH2 0x089e 00000dbe: JUMP 00000dbf: JUMPDEST 00000dc0: POP 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: PUSH2 0x0a58 00000dc6: DUP4 00000dc7: DUP4 00000dc8: DUP4 00000dc9: PUSH1 0x40 00000dcb: MLOAD 00000dcc: DUP1 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: PUSH1 0x40 00000dd2: MSTORE 00000dd3: DUP1 00000dd4: PUSH1 0x00 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: POP 00000dd9: PUSH2 0x19bd 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH2 0x0de6 00000de1: CALLER 00000de2: PUSH2 0x0a62 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH2 0x0e72 00000dea: JUMPI 00000deb: PUSH1 0x40 00000ded: MLOAD 00000dee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e0f: DUP2 00000e10: MSTORE 00000e11: PUSH1 0x20 00000e13: PUSH1 0x04 00000e15: DUP3 00000e16: ADD 00000e17: MSTORE 00000e18: PUSH1 0x30 00000e1a: PUSH1 0x24 00000e1c: DUP3 00000e1d: ADD 00000e1e: MSTORE 00000e1f: PUSH32 0x4552433732314275726e61626c653a2063616c6c6572206973206e6f74206f77 00000e40: PUSH1 0x44 00000e42: DUP3 00000e43: ADD 00000e44: MSTORE 00000e45: PUSH32 0x6e6572206e6f7220617070726f76656400000000000000000000000000000000 00000e66: PUSH1 0x64 00000e68: DUP3 00000e69: ADD 00000e6a: MSTORE 00000e6b: PUSH1 0x84 00000e6d: ADD 00000e6e: PUSH2 0x089e 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH2 0x0dbf 00000e76: DUP2 00000e77: PUSH2 0x22cb 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH1 0x00 00000e7e: PUSH2 0x0e86 00000e81: PUSH1 0x09 00000e83: SLOAD 00000e84: SWAP1 00000e85: JUMP 00000e86: JUMPDEST 00000e87: DUP3 00000e88: LT 00000e89: PUSH2 0x0f14 00000e8c: JUMPI 00000e8d: PUSH1 0x40 00000e8f: MLOAD 00000e90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb1: DUP2 00000eb2: MSTORE 00000eb3: PUSH1 0x20 00000eb5: PUSH1 0x04 00000eb7: DUP3 00000eb8: ADD 00000eb9: MSTORE 00000eba: PUSH1 0x2c 00000ebc: PUSH1 0x24 00000ebe: DUP3 00000ebf: ADD 00000ec0: MSTORE 00000ec1: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 00000ee2: PUSH1 0x44 00000ee4: DUP3 00000ee5: ADD 00000ee6: MSTORE 00000ee7: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000 00000f08: PUSH1 0x64 00000f0a: DUP3 00000f0b: ADD 00000f0c: MSTORE 00000f0d: PUSH1 0x84 00000f0f: ADD 00000f10: PUSH2 0x089e 00000f13: JUMP 00000f14: JUMPDEST 00000f15: PUSH1 0x09 00000f17: DUP3 00000f18: DUP2 00000f19: SLOAD 00000f1a: DUP2 00000f1b: LT 00000f1c: PUSH2 0x0f27 00000f1f: JUMPI 00000f20: PUSH2 0x0f27 00000f23: PUSH2 0x366f 00000f26: JUMP 00000f27: JUMPDEST 00000f28: SWAP1 00000f29: PUSH1 0x00 00000f2b: MSTORE 00000f2c: PUSH1 0x20 00000f2e: PUSH1 0x00 00000f30: KECCAK256 00000f31: ADD 00000f32: SLOAD 00000f33: SWAP1 00000f34: POP 00000f35: SWAP2 00000f36: SWAP1 00000f37: POP 00000f38: JUMP 00000f39: JUMPDEST 00000f3a: PUSH1 0x00 00000f3c: SLOAD 00000f3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f52: AND 00000f53: CALLER 00000f54: EQ 00000f55: PUSH2 0x0fba 00000f58: JUMPI 00000f59: PUSH1 0x40 00000f5b: MLOAD 00000f5c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f7d: DUP2 00000f7e: MSTORE 00000f7f: PUSH1 0x20 00000f81: PUSH1 0x04 00000f83: DUP3 00000f84: ADD 00000f85: DUP2 00000f86: SWAP1 00000f87: MSTORE 00000f88: PUSH1 0x24 00000f8a: DUP3 00000f8b: ADD 00000f8c: MSTORE 00000f8d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000fae: PUSH1 0x44 00000fb0: DUP3 00000fb1: ADD 00000fb2: MSTORE 00000fb3: PUSH1 0x64 00000fb5: ADD 00000fb6: PUSH2 0x089e 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: PUSH1 0x0c 00000fbd: DUP1 00000fbe: SLOAD 00000fbf: PUSH2 0x0fc7 00000fc2: SWAP1 00000fc3: PUSH2 0x3547 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: ISZERO 00000fc9: SWAP1 00000fca: POP 00000fcb: PUSH2 0x1030 00000fce: JUMPI 00000fcf: PUSH1 0x40 00000fd1: MLOAD 00000fd2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ff3: DUP2 00000ff4: MSTORE 00000ff5: PUSH1 0x20 00000ff7: PUSH1 0x04 00000ff9: DUP3 00000ffa: ADD 00000ffb: MSTORE 00000ffc: PUSH1 0x13 00000ffe: PUSH1 0x24 00001000: DUP3 00001001: ADD 00001002: MSTORE 00001003: PUSH32 0x6261736555524920616c72656164792073657400000000000000000000000000 00001024: PUSH1 0x44 00001026: DUP3 00001027: ADD 00001028: MSTORE 00001029: PUSH1 0x64 0000102b: ADD 0000102c: PUSH2 0x089e 0000102f: JUMP 00001030: JUMPDEST 00001031: DUP1 00001032: MLOAD 00001033: PUSH2 0x1043 00001036: SWAP1 00001037: PUSH1 0x0c 00001039: SWAP1 0000103a: PUSH1 0x20 0000103c: DUP5 0000103d: ADD 0000103e: SWAP1 0000103f: PUSH2 0x2fc1 00001042: JUMP 00001043: JUMPDEST 00001044: POP 00001045: POP 00001046: JUMP 00001047: JUMPDEST 00001048: PUSH1 0x00 0000104a: DUP2 0000104b: DUP2 0000104c: MSTORE 0000104d: PUSH1 0x03 0000104f: PUSH1 0x20 00001051: MSTORE 00001052: PUSH1 0x40 00001054: DUP2 00001055: KECCAK256 00001056: SLOAD 00001057: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106c: AND 0000106d: DUP1 0000106e: PUSH2 0x0759 00001071: JUMPI 00001072: PUSH1 0x40 00001074: MLOAD 00001075: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001096: DUP2 00001097: MSTORE 00001098: PUSH1 0x20 0000109a: PUSH1 0x04 0000109c: DUP3 0000109d: ADD 0000109e: MSTORE 0000109f: PUSH1 0x29 000010a1: PUSH1 0x24 000010a3: DUP3 000010a4: ADD 000010a5: MSTORE 000010a6: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374 000010c7: PUSH1 0x44 000010c9: DUP3 000010ca: ADD 000010cb: MSTORE 000010cc: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000 000010ed: PUSH1 0x64 000010ef: DUP3 000010f0: ADD 000010f1: MSTORE 000010f2: PUSH1 0x84 000010f4: ADD 000010f5: PUSH2 0x089e 000010f8: JUMP 000010f9: JUMPDEST 000010fa: PUSH1 0x40 000010fc: MLOAD 000010fd: DUP1 000010fe: PUSH1 0x60 00001100: ADD 00001101: PUSH1 0x40 00001103: MSTORE 00001104: DUP1 00001105: PUSH1 0x40 00001107: DUP2 00001108: MSTORE 00001109: PUSH1 0x20 0000110b: ADD 0000110c: PUSH2 0x370a 0000110f: PUSH1 0x40 00001111: SWAP2 00001112: CODECOPY 00001113: DUP2 00001114: JUMP 00001115: JUMPDEST 00001116: PUSH1 0x00 00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112d: DUP3 0000112e: AND 0000112f: PUSH2 0x11ba 00001132: JUMPI 00001133: PUSH1 0x40 00001135: MLOAD 00001136: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001157: DUP2 00001158: MSTORE 00001159: PUSH1 0x20 0000115b: PUSH1 0x04 0000115d: DUP3 0000115e: ADD 0000115f: MSTORE 00001160: PUSH1 0x2a 00001162: PUSH1 0x24 00001164: DUP3 00001165: ADD 00001166: MSTORE 00001167: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65 00001188: PUSH1 0x44 0000118a: DUP3 0000118b: ADD 0000118c: MSTORE 0000118d: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000 000011ae: PUSH1 0x64 000011b0: DUP3 000011b1: ADD 000011b2: MSTORE 000011b3: PUSH1 0x84 000011b5: ADD 000011b6: PUSH2 0x089e 000011b9: JUMP 000011ba: JUMPDEST 000011bb: POP 000011bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d1: AND 000011d2: PUSH1 0x00 000011d4: SWAP1 000011d5: DUP2 000011d6: MSTORE 000011d7: PUSH1 0x04 000011d9: PUSH1 0x20 000011db: MSTORE 000011dc: PUSH1 0x40 000011de: SWAP1 000011df: KECCAK256 000011e0: SLOAD 000011e1: SWAP1 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH1 0x00 000011e6: SLOAD 000011e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fc: AND 000011fd: CALLER 000011fe: EQ 000011ff: PUSH2 0x1264 00001202: JUMPI 00001203: PUSH1 0x40 00001205: MLOAD 00001206: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: PUSH1 0x04 0000122d: DUP3 0000122e: ADD 0000122f: DUP2 00001230: SWAP1 00001231: MSTORE 00001232: PUSH1 0x24 00001234: DUP3 00001235: ADD 00001236: MSTORE 00001237: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001258: PUSH1 0x44 0000125a: DUP3 0000125b: ADD 0000125c: MSTORE 0000125d: PUSH1 0x64 0000125f: ADD 00001260: PUSH2 0x089e 00001263: JUMP 00001264: JUMPDEST 00001265: PUSH2 0x126e 00001268: PUSH1 0x00 0000126a: PUSH2 0x23a4 0000126d: JUMP 0000126e: JUMPDEST 0000126f: JUMP 00001270: JUMPDEST 00001271: CALLER 00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001287: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 000012a8: AND 000012a9: EQ 000012aa: PUSH2 0x130f 000012ad: JUMPI 000012ae: PUSH1 0x40 000012b0: MLOAD 000012b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012d2: DUP2 000012d3: MSTORE 000012d4: PUSH1 0x20 000012d6: PUSH1 0x04 000012d8: DUP3 000012d9: ADD 000012da: MSTORE 000012db: PUSH1 0x1f 000012dd: PUSH1 0x24 000012df: DUP3 000012e0: ADD 000012e1: MSTORE 000012e2: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00 00001303: PUSH1 0x44 00001305: DUP3 00001306: ADD 00001307: MSTORE 00001308: PUSH1 0x64 0000130a: ADD 0000130b: PUSH2 0x089e 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH2 0x1043 00001313: DUP3 00001314: DUP3 00001315: PUSH2 0x2419 00001318: JUMP 00001319: JUMPDEST 0000131a: PUSH1 0x60 0000131c: PUSH1 0x02 0000131e: DUP1 0000131f: SLOAD 00001320: PUSH2 0x076e 00001323: SWAP1 00001324: PUSH2 0x3547 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH1 0x11 0000132b: SLOAD 0000132c: PUSH2 0x1391 0000132f: JUMPI 00001330: PUSH1 0x40 00001332: MLOAD 00001333: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001354: DUP2 00001355: MSTORE 00001356: PUSH1 0x20 00001358: PUSH1 0x04 0000135a: DUP3 0000135b: ADD 0000135c: MSTORE 0000135d: PUSH1 0x14 0000135f: PUSH1 0x24 00001361: DUP3 00001362: ADD 00001363: MSTORE 00001364: PUSH32 0x53616c65206e6f74207965742073746172746564000000000000000000000000 00001385: PUSH1 0x44 00001387: DUP3 00001388: ADD 00001389: MSTORE 0000138a: PUSH1 0x64 0000138c: ADD 0000138d: PUSH2 0x089e 00001390: JUMP 00001391: JUMPDEST 00001392: PUSH1 0x00 00001394: DUP2 00001395: GT 00001396: PUSH2 0x13fb 00001399: JUMPI 0000139a: PUSH1 0x40 0000139c: MLOAD 0000139d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013be: DUP2 000013bf: MSTORE 000013c0: PUSH1 0x20 000013c2: PUSH1 0x04 000013c4: DUP3 000013c5: ADD 000013c6: MSTORE 000013c7: PUSH1 0x10 000013c9: PUSH1 0x24 000013cb: DUP3 000013cc: ADD 000013cd: MSTORE 000013ce: PUSH32 0x43616e6e6f74206d696e74207a65726f00000000000000000000000000000000 000013ef: PUSH1 0x44 000013f1: DUP3 000013f2: ADD 000013f3: MSTORE 000013f4: PUSH1 0x64 000013f6: ADD 000013f7: PUSH2 0x089e 000013fa: JUMP 000013fb: JUMPDEST 000013fc: PUSH1 0x13 000013fe: SLOAD 000013ff: ISZERO 00001400: DUP1 00001401: PUSH2 0x141f 00001404: JUMPI 00001405: POP 00001406: PUSH1 0x13 00001408: SLOAD 00001409: DUP2 0000140a: PUSH2 0x1412 0000140d: CALLER 0000140e: PUSH2 0x1115 00001411: JUMP 00001412: JUMPDEST 00001413: PUSH2 0x141c 00001416: SWAP2 00001417: SWAP1 00001418: PUSH2 0x349b 0000141b: JUMP 0000141c: JUMPDEST 0000141d: GT 0000141e: ISZERO 0000141f: JUMPDEST 00001420: PUSH2 0x1485 00001423: JUMPI 00001424: PUSH1 0x40 00001426: MLOAD 00001427: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001448: DUP2 00001449: MSTORE 0000144a: PUSH1 0x20 0000144c: PUSH1 0x04 0000144e: DUP3 0000144f: ADD 00001450: MSTORE 00001451: PUSH1 0x0a 00001453: PUSH1 0x24 00001455: DUP3 00001456: ADD 00001457: MSTORE 00001458: PUSH32 0x4f766572206c696d697400000000000000000000000000000000000000000000 00001479: PUSH1 0x44 0000147b: DUP3 0000147c: ADD 0000147d: MSTORE 0000147e: PUSH1 0x64 00001480: ADD 00001481: PUSH2 0x089e 00001484: JUMP 00001485: JUMPDEST 00001486: PUSH1 0x00 00001488: PUSH2 0x1490 0000148b: PUSH1 0x09 0000148d: SLOAD 0000148e: SWAP1 0000148f: JUMP 00001490: JUMPDEST 00001491: SWAP1 00001492: POP 00001493: PUSH1 0x10 00001495: SLOAD 00001496: DUP2 00001497: LT 00001498: PUSH2 0x14fd 0000149b: JUMPI 0000149c: PUSH1 0x40 0000149e: MLOAD 0000149f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014c0: DUP2 000014c1: MSTORE 000014c2: PUSH1 0x20 000014c4: PUSH1 0x04 000014c6: DUP3 000014c7: ADD 000014c8: MSTORE 000014c9: PUSH1 0x08 000014cb: PUSH1 0x24 000014cd: DUP3 000014ce: ADD 000014cf: MSTORE 000014d0: PUSH32 0x536f6c64206f7574000000000000000000000000000000000000000000000000 000014f1: PUSH1 0x44 000014f3: DUP3 000014f4: ADD 000014f5: MSTORE 000014f6: PUSH1 0x64 000014f8: ADD 000014f9: PUSH2 0x089e 000014fc: JUMP 000014fd: JUMPDEST 000014fe: PUSH1 0x0a 00001500: DUP3 00001501: GT 00001502: ISZERO 00001503: DUP1 00001504: ISZERO 00001505: PUSH2 0x1519 00001508: JUMPI 00001509: POP 0000150a: PUSH1 0x10 0000150c: SLOAD 0000150d: PUSH2 0x1516 00001510: DUP4 00001511: DUP4 00001512: PUSH2 0x349b 00001515: JUMP 00001516: JUMPDEST 00001517: GT 00001518: ISZERO 00001519: JUMPDEST 0000151a: PUSH2 0x157f 0000151d: JUMPI 0000151e: PUSH1 0x40 00001520: MLOAD 00001521: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001542: DUP2 00001543: MSTORE 00001544: PUSH1 0x20 00001546: PUSH1 0x04 00001548: DUP3 00001549: ADD 0000154a: MSTORE 0000154b: PUSH1 0x14 0000154d: PUSH1 0x24 0000154f: DUP3 00001550: ADD 00001551: MSTORE 00001552: PUSH32 0x4d696e7420616d6f756e7420746f6f2068696768000000000000000000000000 00001573: PUSH1 0x44 00001575: DUP3 00001576: ADD 00001577: MSTORE 00001578: PUSH1 0x64 0000157a: ADD 0000157b: PUSH2 0x089e 0000157e: JUMP 0000157f: JUMPDEST 00001580: PUSH2 0x1590 00001583: DUP3 00001584: PUSH7 0xf8b0a10e470000 0000158c: PUSH2 0x34c7 0000158f: JUMP 00001590: JUMPDEST 00001591: CALLVALUE 00001592: LT 00001593: ISZERO 00001594: PUSH2 0x15f9 00001597: JUMPI 00001598: PUSH1 0x40 0000159a: MLOAD 0000159b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015bc: DUP2 000015bd: MSTORE 000015be: PUSH1 0x20 000015c0: PUSH1 0x04 000015c2: DUP3 000015c3: ADD 000015c4: MSTORE 000015c5: PUSH1 0x1a 000015c7: PUSH1 0x24 000015c9: DUP3 000015ca: ADD 000015cb: MSTORE 000015cc: PUSH32 0x4e6f7420656e6f7567682045544820666f72206d696e74696e67000000000000 000015ed: PUSH1 0x44 000015ef: DUP3 000015f0: ADD 000015f1: MSTORE 000015f2: PUSH1 0x64 000015f4: ADD 000015f5: PUSH2 0x089e 000015f8: JUMP 000015f9: JUMPDEST 000015fa: DUP1 000015fb: JUMPDEST 000015fc: PUSH2 0x1605 000015ff: DUP4 00001600: DUP4 00001601: PUSH2 0x349b 00001604: JUMP 00001605: JUMPDEST 00001606: DUP2 00001607: LT 00001608: ISZERO 00001609: PUSH2 0x1628 0000160c: JUMPI 0000160d: PUSH2 0x1616 00001610: CALLER 00001611: DUP3 00001612: PUSH2 0x2519 00001615: JUMP 00001616: JUMPDEST 00001617: DUP1 00001618: PUSH2 0x1620 0000161b: DUP2 0000161c: PUSH2 0x3595 0000161f: JUMP 00001620: JUMPDEST 00001621: SWAP2 00001622: POP 00001623: POP 00001624: PUSH2 0x15fb 00001627: JUMP 00001628: JUMPDEST 00001629: POP 0000162a: PUSH1 0x0f 0000162c: SLOAD 0000162d: PUSH2 0x1636 00001630: DUP4 00001631: DUP4 00001632: PUSH2 0x349b 00001635: JUMP 00001636: JUMPDEST 00001637: LT 00001638: ISZERO 00001639: DUP1 0000163a: PUSH2 0x1653 0000163d: JUMPI 0000163e: POP 0000163f: PUSH3 0x02a300 00001643: PUSH1 0x11 00001645: SLOAD 00001646: TIMESTAMP 00001647: PUSH2 0x1650 0000164a: SWAP2 0000164b: SWAP1 0000164c: PUSH2 0x3504 0000164f: JUMP 00001650: JUMPDEST 00001651: LT 00001652: ISZERO 00001653: JUMPDEST 00001654: DUP1 00001655: ISZERO 00001656: PUSH2 0x165f 00001659: JUMPI 0000165a: POP 0000165b: PUSH1 0x0d 0000165d: SLOAD 0000165e: ISZERO 0000165f: JUMPDEST 00001660: ISZERO 00001661: PUSH2 0x1043 00001664: JUMPI 00001665: PUSH2 0x1696 00001668: PUSH32 0xaa77729d3466ca35ae8d28b3bbac7cc36a5031efdc430821c02bc31a238af445 00001689: PUSH8 0x1bc16d674ec80000 00001692: PUSH2 0x2533 00001695: JUMP 00001696: JUMPDEST 00001697: PUSH1 0x0d 00001699: SSTORE 0000169a: POP 0000169b: POP 0000169c: JUMP 0000169d: JUMPDEST 0000169e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b3: DUP3 000016b4: AND 000016b5: CALLER 000016b6: EQ 000016b7: ISZERO 000016b8: PUSH2 0x171d 000016bb: JUMPI 000016bc: PUSH1 0x40 000016be: MLOAD 000016bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016e0: DUP2 000016e1: MSTORE 000016e2: PUSH1 0x20 000016e4: PUSH1 0x04 000016e6: DUP3 000016e7: ADD 000016e8: MSTORE 000016e9: PUSH1 0x19 000016eb: PUSH1 0x24 000016ed: DUP3 000016ee: ADD 000016ef: MSTORE 000016f0: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 00001711: PUSH1 0x44 00001713: DUP3 00001714: ADD 00001715: MSTORE 00001716: PUSH1 0x64 00001718: ADD 00001719: PUSH2 0x089e 0000171c: JUMP 0000171d: JUMPDEST 0000171e: CALLER 0000171f: PUSH1 0x00 00001721: DUP2 00001722: DUP2 00001723: MSTORE 00001724: PUSH1 0x06 00001726: PUSH1 0x20 00001728: SWAP1 00001729: DUP2 0000172a: MSTORE 0000172b: PUSH1 0x40 0000172d: DUP1 0000172e: DUP4 0000172f: KECCAK256 00001730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001745: DUP8 00001746: AND 00001747: DUP1 00001748: DUP6 00001749: MSTORE 0000174a: SWAP1 0000174b: DUP4 0000174c: MSTORE 0000174d: SWAP3 0000174e: DUP2 0000174f: SWAP1 00001750: KECCAK256 00001751: DUP1 00001752: SLOAD 00001753: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001774: AND 00001775: DUP7 00001776: ISZERO 00001777: ISZERO 00001778: SWAP1 00001779: DUP2 0000177a: OR 0000177b: SWAP1 0000177c: SWAP2 0000177d: SSTORE 0000177e: SWAP1 0000177f: MLOAD 00001780: SWAP1 00001781: DUP2 00001782: MSTORE 00001783: SWAP2 00001784: SWAP3 00001785: SWAP2 00001786: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 000017a7: SWAP2 000017a8: ADD 000017a9: PUSH1 0x40 000017ab: MLOAD 000017ac: DUP1 000017ad: SWAP2 000017ae: SUB 000017af: SWAP1 000017b0: LOG3 000017b1: POP 000017b2: POP 000017b3: JUMP 000017b4: JUMPDEST 000017b5: PUSH1 0x12 000017b7: SLOAD 000017b8: ISZERO 000017b9: PUSH2 0x181e 000017bc: JUMPI 000017bd: PUSH1 0x40 000017bf: MLOAD 000017c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017e1: DUP2 000017e2: MSTORE 000017e3: PUSH1 0x20 000017e5: PUSH1 0x04 000017e7: DUP3 000017e8: ADD 000017e9: MSTORE 000017ea: PUSH1 0x10 000017ec: PUSH1 0x24 000017ee: DUP3 000017ef: ADD 000017f0: MSTORE 000017f1: PUSH32 0x416c72656164792072657665616c656400000000000000000000000000000000 00001812: PUSH1 0x44 00001814: DUP3 00001815: ADD 00001816: MSTORE 00001817: PUSH1 0x64 00001819: ADD 0000181a: PUSH2 0x089e 0000181d: JUMP 0000181e: JUMPDEST 0000181f: PUSH1 0x11 00001821: SLOAD 00001822: PUSH2 0x1887 00001825: JUMPI 00001826: PUSH1 0x40 00001828: MLOAD 00001829: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000184a: DUP2 0000184b: MSTORE 0000184c: PUSH1 0x20 0000184e: PUSH1 0x04 00001850: DUP3 00001851: ADD 00001852: MSTORE 00001853: PUSH1 0x14 00001855: PUSH1 0x24 00001857: DUP3 00001858: ADD 00001859: MSTORE 0000185a: PUSH32 0x53616c65206e6f74207965742073746172746564000000000000000000000000 0000187b: PUSH1 0x44 0000187d: DUP3 0000187e: ADD 0000187f: MSTORE 00001880: PUSH1 0x64 00001882: ADD 00001883: PUSH2 0x089e 00001886: JUMP 00001887: JUMPDEST 00001888: PUSH1 0x0d 0000188a: SLOAD 0000188b: ISZERO 0000188c: PUSH2 0x18f1 0000188f: JUMPI 00001890: PUSH1 0x40 00001892: MLOAD 00001893: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018b4: DUP2 000018b5: MSTORE 000018b6: PUSH1 0x20 000018b8: PUSH1 0x04 000018ba: DUP3 000018bb: ADD 000018bc: MSTORE 000018bd: PUSH1 0x18 000018bf: PUSH1 0x24 000018c1: DUP3 000018c2: ADD 000018c3: MSTORE 000018c4: PUSH32 0x52657665616c20616c7265616479207265717565737465640000000000000000 000018e5: PUSH1 0x44 000018e7: DUP3 000018e8: ADD 000018e9: MSTORE 000018ea: PUSH1 0x64 000018ec: ADD 000018ed: PUSH2 0x089e 000018f0: JUMP 000018f1: JUMPDEST 000018f2: PUSH1 0x0a 000018f4: PUSH1 0x0f 000018f6: SLOAD 000018f7: PUSH2 0x1900 000018fa: SWAP2 000018fb: SWAP1 000018fc: PUSH2 0x3504 000018ff: JUMP 00001900: JUMPDEST 00001901: PUSH1 0x09 00001903: SLOAD 00001904: LT 00001905: ISZERO 00001906: DUP1 00001907: PUSH2 0x1920 0000190a: JUMPI 0000190b: POP 0000190c: PUSH3 0x02a300 00001910: PUSH1 0x11 00001912: SLOAD 00001913: TIMESTAMP 00001914: PUSH2 0x191d 00001917: SWAP2 00001918: SWAP1 00001919: PUSH2 0x3504 0000191c: JUMP 0000191d: JUMPDEST 0000191e: LT 0000191f: ISZERO 00001920: JUMPDEST 00001921: PUSH2 0x1986 00001924: JUMPI 00001925: PUSH1 0x40 00001927: MLOAD 00001928: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001949: DUP2 0000194a: MSTORE 0000194b: PUSH1 0x20 0000194d: PUSH1 0x04 0000194f: DUP3 00001950: ADD 00001951: MSTORE 00001952: PUSH1 0x0d 00001954: PUSH1 0x24 00001956: DUP3 00001957: ADD 00001958: MSTORE 00001959: PUSH32 0x53616c65206e6f74206f76657200000000000000000000000000000000000000 0000197a: PUSH1 0x44 0000197c: DUP3 0000197d: ADD 0000197e: MSTORE 0000197f: PUSH1 0x64 00001981: ADD 00001982: PUSH2 0x089e 00001985: JUMP 00001986: JUMPDEST 00001987: PUSH2 0x19b8 0000198a: PUSH32 0xaa77729d3466ca35ae8d28b3bbac7cc36a5031efdc430821c02bc31a238af445 000019ab: PUSH8 0x1bc16d674ec80000 000019b4: PUSH2 0x2533 000019b7: JUMP 000019b8: JUMPDEST 000019b9: PUSH1 0x0d 000019bb: SSTORE 000019bc: JUMP 000019bd: JUMPDEST 000019be: PUSH2 0x19c7 000019c1: CALLER 000019c2: DUP4 000019c3: PUSH2 0x1ee9 000019c6: JUMP 000019c7: JUMPDEST 000019c8: PUSH2 0x1a53 000019cb: JUMPI 000019cc: PUSH1 0x40 000019ce: MLOAD 000019cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019f0: DUP2 000019f1: MSTORE 000019f2: PUSH1 0x20 000019f4: PUSH1 0x04 000019f6: DUP3 000019f7: ADD 000019f8: MSTORE 000019f9: PUSH1 0x31 000019fb: PUSH1 0x24 000019fd: DUP3 000019fe: ADD 000019ff: MSTORE 00001a00: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 00001a21: PUSH1 0x44 00001a23: DUP3 00001a24: ADD 00001a25: MSTORE 00001a26: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000 00001a47: PUSH1 0x64 00001a49: DUP3 00001a4a: ADD 00001a4b: MSTORE 00001a4c: PUSH1 0x84 00001a4e: ADD 00001a4f: PUSH2 0x089e 00001a52: JUMP 00001a53: JUMPDEST 00001a54: PUSH2 0x1a5f 00001a57: DUP5 00001a58: DUP5 00001a59: DUP5 00001a5a: DUP5 00001a5b: PUSH2 0x26cb 00001a5e: JUMP 00001a5f: JUMPDEST 00001a60: POP 00001a61: POP 00001a62: POP 00001a63: POP 00001a64: JUMP 00001a65: JUMPDEST 00001a66: PUSH1 0x60 00001a68: PUSH1 0x00 00001a6a: PUSH2 0x1a71 00001a6d: PUSH2 0x276e 00001a70: JUMP 00001a71: JUMPDEST 00001a72: SWAP1 00001a73: POP 00001a74: PUSH1 0x12 00001a76: SLOAD 00001a77: PUSH1 0x00 00001a79: EQ 00001a7a: DUP1 00001a7b: PUSH2 0x1a83 00001a7e: JUMPI 00001a7f: POP 00001a80: DUP1 00001a81: MLOAD 00001a82: ISZERO 00001a83: JUMPDEST 00001a84: ISZERO 00001a85: PUSH2 0x1aa8 00001a88: JUMPI 00001a89: PUSH1 0x40 00001a8b: MLOAD 00001a8c: DUP1 00001a8d: PUSH1 0x60 00001a8f: ADD 00001a90: PUSH1 0x40 00001a92: MSTORE 00001a93: DUP1 00001a94: PUSH1 0x35 00001a96: DUP2 00001a97: MSTORE 00001a98: PUSH1 0x20 00001a9a: ADD 00001a9b: PUSH2 0x374a 00001a9e: PUSH1 0x35 00001aa0: SWAP2 00001aa1: CODECOPY 00001aa2: SWAP4 00001aa3: SWAP3 00001aa4: POP 00001aa5: POP 00001aa6: POP 00001aa7: JUMP 00001aa8: JUMPDEST 00001aa9: PUSH1 0x00 00001aab: PUSH1 0x01 00001aad: PUSH1 0x10 00001aaf: SLOAD 00001ab0: PUSH2 0x1ab9 00001ab3: SWAP2 00001ab4: SWAP1 00001ab5: PUSH2 0x3504 00001ab8: JUMP 00001ab9: JUMPDEST 00001aba: SWAP1 00001abb: POP 00001abc: PUSH1 0x00 00001abe: DUP2 00001abf: DUP6 00001ac0: EQ 00001ac1: PUSH2 0x1ae2 00001ac4: JUMPI 00001ac5: DUP2 00001ac6: PUSH1 0x12 00001ac8: SLOAD 00001ac9: DUP7 00001aca: PUSH2 0x1ad3 00001acd: SWAP2 00001ace: SWAP1 00001acf: PUSH2 0x349b 00001ad2: JUMP 00001ad3: JUMPDEST 00001ad4: PUSH2 0x1add 00001ad7: SWAP2 00001ad8: SWAP1 00001ad9: PUSH2 0x35ce 00001adc: JUMP 00001add: JUMPDEST 00001ade: PUSH2 0x1ae4 00001ae1: JUMP 00001ae2: JUMPDEST 00001ae3: DUP5 00001ae4: JUMPDEST 00001ae5: SWAP1 00001ae6: POP 00001ae7: DUP3 00001ae8: PUSH2 0x1af0 00001aeb: DUP3 00001aec: PUSH2 0x277d 00001aef: JUMP 00001af0: JUMPDEST 00001af1: PUSH1 0x40 00001af3: MLOAD 00001af4: PUSH1 0x20 00001af6: ADD 00001af7: PUSH2 0x1b01 00001afa: SWAP3 00001afb: SWAP2 00001afc: SWAP1 00001afd: PUSH2 0x33aa 00001b00: JUMP 00001b01: JUMPDEST 00001b02: PUSH1 0x40 00001b04: MLOAD 00001b05: PUSH1 0x20 00001b07: DUP2 00001b08: DUP4 00001b09: SUB 00001b0a: SUB 00001b0b: DUP2 00001b0c: MSTORE 00001b0d: SWAP1 00001b0e: PUSH1 0x40 00001b10: MSTORE 00001b11: SWAP4 00001b12: POP 00001b13: POP 00001b14: POP 00001b15: POP 00001b16: SWAP2 00001b17: SWAP1 00001b18: POP 00001b19: JUMP 00001b1a: JUMPDEST 00001b1b: POP 00001b1c: SWAP2 00001b1d: SWAP1 00001b1e: POP 00001b1f: JUMP 00001b20: JUMPDEST 00001b21: PUSH1 0x00 00001b23: SLOAD 00001b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b39: AND 00001b3a: CALLER 00001b3b: EQ 00001b3c: PUSH2 0x1ba1 00001b3f: JUMPI 00001b40: PUSH1 0x40 00001b42: MLOAD 00001b43: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b64: DUP2 00001b65: MSTORE 00001b66: PUSH1 0x20 00001b68: PUSH1 0x04 00001b6a: DUP3 00001b6b: ADD 00001b6c: DUP2 00001b6d: SWAP1 00001b6e: MSTORE 00001b6f: PUSH1 0x24 00001b71: DUP3 00001b72: ADD 00001b73: MSTORE 00001b74: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001b95: PUSH1 0x44 00001b97: DUP3 00001b98: ADD 00001b99: MSTORE 00001b9a: PUSH1 0x64 00001b9c: ADD 00001b9d: PUSH2 0x089e 00001ba0: JUMP 00001ba1: JUMPDEST 00001ba2: PUSH1 0x11 00001ba4: SLOAD 00001ba5: ISZERO 00001ba6: PUSH2 0x1bb0 00001ba9: JUMPI 00001baa: PUSH1 0x00 00001bac: PUSH2 0x1bb2 00001baf: JUMP 00001bb0: JUMPDEST 00001bb1: TIMESTAMP 00001bb2: JUMPDEST 00001bb3: PUSH1 0x11 00001bb5: SSTORE 00001bb6: PUSH1 0x13 00001bb8: SSTORE 00001bb9: JUMP 00001bba: JUMPDEST 00001bbb: PUSH1 0x00 00001bbd: SLOAD 00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd3: AND 00001bd4: CALLER 00001bd5: EQ 00001bd6: PUSH2 0x1c3b 00001bd9: JUMPI 00001bda: PUSH1 0x40 00001bdc: MLOAD 00001bdd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bfe: DUP2 00001bff: MSTORE 00001c00: PUSH1 0x20 00001c02: PUSH1 0x04 00001c04: DUP3 00001c05: ADD 00001c06: DUP2 00001c07: SWAP1 00001c08: MSTORE 00001c09: PUSH1 0x24 00001c0b: DUP3 00001c0c: ADD 00001c0d: MSTORE 00001c0e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001c2f: PUSH1 0x44 00001c31: DUP3 00001c32: ADD 00001c33: MSTORE 00001c34: PUSH1 0x64 00001c36: ADD 00001c37: PUSH2 0x089e 00001c3a: JUMP 00001c3b: JUMPDEST 00001c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c51: DUP2 00001c52: AND 00001c53: PUSH2 0x1cde 00001c56: JUMPI 00001c57: PUSH1 0x40 00001c59: MLOAD 00001c5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c7b: DUP2 00001c7c: MSTORE 00001c7d: PUSH1 0x20 00001c7f: PUSH1 0x04 00001c81: DUP3 00001c82: ADD 00001c83: MSTORE 00001c84: PUSH1 0x26 00001c86: PUSH1 0x24 00001c88: DUP3 00001c89: ADD 00001c8a: MSTORE 00001c8b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001cac: PUSH1 0x44 00001cae: DUP3 00001caf: ADD 00001cb0: MSTORE 00001cb1: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001cd2: PUSH1 0x64 00001cd4: DUP3 00001cd5: ADD 00001cd6: MSTORE 00001cd7: PUSH1 0x84 00001cd9: ADD 00001cda: PUSH2 0x089e 00001cdd: JUMP 00001cde: JUMPDEST 00001cdf: PUSH2 0x0dbf 00001ce2: DUP2 00001ce3: PUSH2 0x23a4 00001ce6: JUMP 00001ce7: JUMPDEST 00001ce8: EXTCODESIZE 00001ce9: ISZERO 00001cea: ISZERO 00001ceb: SWAP1 00001cec: JUMP 00001ced: JUMPDEST 00001cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d03: DUP4 00001d04: AND 00001d05: PUSH2 0x1d55 00001d08: JUMPI 00001d09: PUSH2 0x1d50 00001d0c: DUP2 00001d0d: PUSH1 0x09 00001d0f: DUP1 00001d10: SLOAD 00001d11: PUSH1 0x00 00001d13: DUP4 00001d14: DUP2 00001d15: MSTORE 00001d16: PUSH1 0x0a 00001d18: PUSH1 0x20 00001d1a: MSTORE 00001d1b: PUSH1 0x40 00001d1d: DUP2 00001d1e: KECCAK256 00001d1f: DUP3 00001d20: SWAP1 00001d21: SSTORE 00001d22: PUSH1 0x01 00001d24: DUP3 00001d25: ADD 00001d26: DUP4 00001d27: SSTORE 00001d28: SWAP2 00001d29: SWAP1 00001d2a: SWAP2 00001d2b: MSTORE 00001d2c: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 00001d4d: ADD 00001d4e: SSTORE 00001d4f: JUMP 00001d50: JUMPDEST 00001d51: PUSH2 0x1d92 00001d54: JUMP 00001d55: JUMPDEST 00001d56: DUP2 00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d6c: AND 00001d6d: DUP4 00001d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d83: AND 00001d84: EQ 00001d85: PUSH2 0x1d92 00001d88: JUMPI 00001d89: PUSH2 0x1d92 00001d8c: DUP4 00001d8d: DUP3 00001d8e: PUSH2 0x28af 00001d91: JUMP 00001d92: JUMPDEST 00001d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001da8: DUP3 00001da9: AND 00001daa: PUSH2 0x1db6 00001dad: JUMPI 00001dae: PUSH2 0x0a58 00001db1: DUP2 00001db2: PUSH2 0x2966 00001db5: JUMP 00001db6: JUMPDEST 00001db7: DUP3 00001db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dcd: AND 00001dce: DUP3 00001dcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de4: AND 00001de5: EQ 00001de6: PUSH2 0x0a58 00001de9: JUMPI 00001dea: PUSH2 0x0a58 00001ded: DUP3 00001dee: DUP3 00001def: PUSH2 0x2a15 00001df2: JUMP 00001df3: JUMPDEST 00001df4: PUSH1 0x00 00001df6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001e17: DUP3 00001e18: AND 00001e19: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000 00001e3a: EQ 00001e3b: DUP1 00001e3c: PUSH2 0x0759 00001e3f: JUMPI 00001e40: POP 00001e41: PUSH2 0x0759 00001e44: DUP3 00001e45: PUSH2 0x2a66 00001e48: JUMP 00001e49: JUMPDEST 00001e4a: PUSH1 0x00 00001e4c: DUP2 00001e4d: DUP2 00001e4e: MSTORE 00001e4f: PUSH1 0x05 00001e51: PUSH1 0x20 00001e53: MSTORE 00001e54: PUSH1 0x40 00001e56: SWAP1 00001e57: KECCAK256 00001e58: DUP1 00001e59: SLOAD 00001e5a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001e7b: AND 00001e7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e91: DUP5 00001e92: AND 00001e93: SWAP1 00001e94: DUP2 00001e95: OR 00001e96: SWAP1 00001e97: SWAP2 00001e98: SSTORE 00001e99: DUP2 00001e9a: SWAP1 00001e9b: PUSH2 0x1ea3 00001e9e: DUP3 00001e9f: PUSH2 0x1047 00001ea2: JUMP 00001ea3: JUMPDEST 00001ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb9: AND 00001eba: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001edb: PUSH1 0x40 00001edd: MLOAD 00001ede: PUSH1 0x40 00001ee0: MLOAD 00001ee1: DUP1 00001ee2: SWAP2 00001ee3: SUB 00001ee4: SWAP1 00001ee5: LOG4 00001ee6: POP 00001ee7: POP 00001ee8: JUMP 00001ee9: JUMPDEST 00001eea: PUSH1 0x00 00001eec: DUP2 00001eed: DUP2 00001eee: MSTORE 00001eef: PUSH1 0x03 00001ef1: PUSH1 0x20 00001ef3: MSTORE 00001ef4: PUSH1 0x40 00001ef6: DUP2 00001ef7: KECCAK256 00001ef8: SLOAD 00001ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f0e: AND 00001f0f: PUSH2 0x1f9a 00001f12: JUMPI 00001f13: PUSH1 0x40 00001f15: MLOAD 00001f16: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f37: DUP2 00001f38: MSTORE 00001f39: PUSH1 0x20 00001f3b: PUSH1 0x04 00001f3d: DUP3 00001f3e: ADD 00001f3f: MSTORE 00001f40: PUSH1 0x2c 00001f42: PUSH1 0x24 00001f44: DUP3 00001f45: ADD 00001f46: MSTORE 00001f47: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578 00001f68: PUSH1 0x44 00001f6a: DUP3 00001f6b: ADD 00001f6c: MSTORE 00001f6d: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000 00001f8e: PUSH1 0x64 00001f90: DUP3 00001f91: ADD 00001f92: MSTORE 00001f93: PUSH1 0x84 00001f95: ADD 00001f96: PUSH2 0x089e 00001f99: JUMP 00001f9a: JUMPDEST 00001f9b: PUSH1 0x00 00001f9d: PUSH2 0x1fa5 00001fa0: DUP4 00001fa1: PUSH2 0x1047 00001fa4: JUMP 00001fa5: JUMPDEST 00001fa6: SWAP1 00001fa7: POP 00001fa8: DUP1 00001fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fbe: AND 00001fbf: DUP5 00001fc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd5: AND 00001fd6: EQ 00001fd7: DUP1 00001fd8: PUSH2 0x2014 00001fdb: JUMPI 00001fdc: POP 00001fdd: DUP4 00001fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ff3: AND 00001ff4: PUSH2 0x1ffc 00001ff7: DUP5 00001ff8: PUSH2 0x07f1 00001ffb: JUMP 00001ffc: JUMPDEST 00001ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002012: AND 00002013: EQ 00002014: JUMPDEST 00002015: DUP1 00002016: PUSH2 0x2051 00002019: JUMPI 0000201a: POP 0000201b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002030: DUP1 00002031: DUP3 00002032: AND 00002033: PUSH1 0x00 00002035: SWAP1 00002036: DUP2 00002037: MSTORE 00002038: PUSH1 0x06 0000203a: PUSH1 0x20 0000203c: SWAP1 0000203d: DUP2 0000203e: MSTORE 0000203f: PUSH1 0x40 00002041: DUP1 00002042: DUP4 00002043: KECCAK256 00002044: SWAP4 00002045: DUP9 00002046: AND 00002047: DUP4 00002048: MSTORE 00002049: SWAP3 0000204a: SWAP1 0000204b: MSTORE 0000204c: KECCAK256 0000204d: SLOAD 0000204e: PUSH1 0xff 00002050: AND 00002051: JUMPDEST 00002052: SWAP5 00002053: SWAP4 00002054: POP 00002055: POP 00002056: POP 00002057: POP 00002058: JUMP 00002059: JUMPDEST 0000205a: DUP3 0000205b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002070: AND 00002071: PUSH2 0x2079 00002074: DUP3 00002075: PUSH2 0x1047 00002078: JUMP 00002079: JUMPDEST 0000207a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208f: AND 00002090: EQ 00002091: PUSH2 0x211c 00002094: JUMPI 00002095: PUSH1 0x40 00002097: MLOAD 00002098: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020b9: DUP2 000020ba: MSTORE 000020bb: PUSH1 0x20 000020bd: PUSH1 0x04 000020bf: DUP3 000020c0: ADD 000020c1: MSTORE 000020c2: PUSH1 0x29 000020c4: PUSH1 0x24 000020c6: DUP3 000020c7: ADD 000020c8: MSTORE 000020c9: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069 000020ea: PUSH1 0x44 000020ec: DUP3 000020ed: ADD 000020ee: MSTORE 000020ef: PUSH32 0x73206e6f74206f776e0000000000000000000000000000000000000000000000 00002110: PUSH1 0x64 00002112: DUP3 00002113: ADD 00002114: MSTORE 00002115: PUSH1 0x84 00002117: ADD 00002118: PUSH2 0x089e 0000211b: JUMP 0000211c: JUMPDEST 0000211d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002132: DUP3 00002133: AND 00002134: PUSH2 0x21be 00002137: JUMPI 00002138: PUSH1 0x40 0000213a: MLOAD 0000213b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000215c: DUP2 0000215d: MSTORE 0000215e: PUSH1 0x20 00002160: PUSH1 0x04 00002162: DUP3 00002163: ADD 00002164: MSTORE 00002165: PUSH1 0x24 00002167: DUP1 00002168: DUP3 00002169: ADD 0000216a: MSTORE 0000216b: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 0000218c: PUSH1 0x44 0000218e: DUP3 0000218f: ADD 00002190: MSTORE 00002191: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 000021b2: PUSH1 0x64 000021b4: DUP3 000021b5: ADD 000021b6: MSTORE 000021b7: PUSH1 0x84 000021b9: ADD 000021ba: PUSH2 0x089e 000021bd: JUMP 000021be: JUMPDEST 000021bf: PUSH2 0x21c9 000021c2: DUP4 000021c3: DUP4 000021c4: DUP4 000021c5: PUSH2 0x2b49 000021c8: JUMP 000021c9: JUMPDEST 000021ca: PUSH2 0x21d4 000021cd: PUSH1 0x00 000021cf: DUP3 000021d0: PUSH2 0x1e49 000021d3: JUMP 000021d4: JUMPDEST 000021d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ea: DUP4 000021eb: AND 000021ec: PUSH1 0x00 000021ee: SWAP1 000021ef: DUP2 000021f0: MSTORE 000021f1: PUSH1 0x04 000021f3: PUSH1 0x20 000021f5: MSTORE 000021f6: PUSH1 0x40 000021f8: DUP2 000021f9: KECCAK256 000021fa: DUP1 000021fb: SLOAD 000021fc: PUSH1 0x01 000021fe: SWAP3 000021ff: SWAP1 00002200: PUSH2 0x220a 00002203: SWAP1 00002204: DUP5 00002205: SWAP1 00002206: PUSH2 0x3504 00002209: JUMP 0000220a: JUMPDEST 0000220b: SWAP1 0000220c: SWAP2 0000220d: SSTORE 0000220e: POP 0000220f: POP 00002210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002225: DUP3 00002226: AND 00002227: PUSH1 0x00 00002229: SWAP1 0000222a: DUP2 0000222b: MSTORE 0000222c: PUSH1 0x04 0000222e: PUSH1 0x20 00002230: MSTORE 00002231: PUSH1 0x40 00002233: DUP2 00002234: KECCAK256 00002235: DUP1 00002236: SLOAD 00002237: PUSH1 0x01 00002239: SWAP3 0000223a: SWAP1 0000223b: PUSH2 0x2245 0000223e: SWAP1 0000223f: DUP5 00002240: SWAP1 00002241: PUSH2 0x349b 00002244: JUMP 00002245: JUMPDEST 00002246: SWAP1 00002247: SWAP2 00002248: SSTORE 00002249: POP 0000224a: POP 0000224b: PUSH1 0x00 0000224d: DUP2 0000224e: DUP2 0000224f: MSTORE 00002250: PUSH1 0x03 00002252: PUSH1 0x20 00002254: MSTORE 00002255: PUSH1 0x40 00002257: DUP1 00002258: DUP3 00002259: KECCAK256 0000225a: DUP1 0000225b: SLOAD 0000225c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000227d: AND 0000227e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002293: DUP7 00002294: DUP2 00002295: AND 00002296: SWAP2 00002297: DUP3 00002298: OR 00002299: SWAP1 0000229a: SWAP3 0000229b: SSTORE 0000229c: SWAP2 0000229d: MLOAD 0000229e: DUP5 0000229f: SWAP4 000022a0: SWAP2 000022a1: DUP8 000022a2: AND 000022a3: SWAP2 000022a4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000022c5: SWAP2 000022c6: LOG4 000022c7: POP 000022c8: POP 000022c9: POP 000022ca: JUMP 000022cb: JUMPDEST 000022cc: PUSH1 0x00 000022ce: PUSH2 0x22d6 000022d1: DUP3 000022d2: PUSH2 0x1047 000022d5: JUMP 000022d6: JUMPDEST 000022d7: SWAP1 000022d8: POP 000022d9: PUSH2 0x22e4 000022dc: DUP2 000022dd: PUSH1 0x00 000022df: DUP5 000022e0: PUSH2 0x2b49 000022e3: JUMP 000022e4: JUMPDEST 000022e5: PUSH2 0x22ef 000022e8: PUSH1 0x00 000022ea: DUP4 000022eb: PUSH2 0x1e49 000022ee: JUMP 000022ef: JUMPDEST 000022f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002305: DUP2 00002306: AND 00002307: PUSH1 0x00 00002309: SWAP1 0000230a: DUP2 0000230b: MSTORE 0000230c: PUSH1 0x04 0000230e: PUSH1 0x20 00002310: MSTORE 00002311: PUSH1 0x40 00002313: DUP2 00002314: KECCAK256 00002315: DUP1 00002316: SLOAD 00002317: PUSH1 0x01 00002319: SWAP3 0000231a: SWAP1 0000231b: PUSH2 0x2325 0000231e: SWAP1 0000231f: DUP5 00002320: SWAP1 00002321: PUSH2 0x3504 00002324: JUMP 00002325: JUMPDEST 00002326: SWAP1 00002327: SWAP2 00002328: SSTORE 00002329: POP 0000232a: POP 0000232b: PUSH1 0x00 0000232d: DUP3 0000232e: DUP2 0000232f: MSTORE 00002330: PUSH1 0x03 00002332: PUSH1 0x20 00002334: MSTORE 00002335: PUSH1 0x40 00002337: DUP1 00002338: DUP3 00002339: KECCAK256 0000233a: DUP1 0000233b: SLOAD 0000233c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000235d: AND 0000235e: SWAP1 0000235f: SSTORE 00002360: MLOAD 00002361: DUP4 00002362: SWAP2 00002363: SWAP1 00002364: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002379: DUP5 0000237a: AND 0000237b: SWAP1 0000237c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000239d: SWAP1 0000239e: DUP4 0000239f: SWAP1 000023a0: LOG4 000023a1: POP 000023a2: POP 000023a3: JUMP 000023a4: JUMPDEST 000023a5: PUSH1 0x00 000023a7: DUP1 000023a8: SLOAD 000023a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023be: DUP4 000023bf: DUP2 000023c0: AND 000023c1: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000023e2: DUP4 000023e3: AND 000023e4: DUP2 000023e5: OR 000023e6: DUP5 000023e7: SSTORE 000023e8: PUSH1 0x40 000023ea: MLOAD 000023eb: SWAP2 000023ec: SWAP1 000023ed: SWAP3 000023ee: AND 000023ef: SWAP3 000023f0: DUP4 000023f1: SWAP2 000023f2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002413: SWAP2 00002414: SWAP1 00002415: LOG3 00002416: POP 00002417: POP 00002418: JUMP 00002419: JUMPDEST 0000241a: DUP2 0000241b: PUSH1 0x0d 0000241d: SLOAD 0000241e: EQ 0000241f: PUSH2 0x2484 00002422: JUMPI 00002423: PUSH1 0x40 00002425: MLOAD 00002426: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002447: DUP2 00002448: MSTORE 00002449: PUSH1 0x20 0000244b: PUSH1 0x04 0000244d: DUP3 0000244e: ADD 0000244f: MSTORE 00002450: PUSH1 0x0d 00002452: PUSH1 0x24 00002454: DUP3 00002455: ADD 00002456: MSTORE 00002457: PUSH32 0x57726f6e67207265717565737400000000000000000000000000000000000000 00002478: PUSH1 0x44 0000247a: DUP3 0000247b: ADD 0000247c: MSTORE 0000247d: PUSH1 0x64 0000247f: ADD 00002480: PUSH2 0x089e 00002483: JUMP 00002484: JUMPDEST 00002485: PUSH1 0x12 00002487: SLOAD 00002488: ISZERO 00002489: PUSH2 0x24ee 0000248c: JUMPI 0000248d: PUSH1 0x40 0000248f: MLOAD 00002490: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000024b1: DUP2 000024b2: MSTORE 000024b3: PUSH1 0x20 000024b5: PUSH1 0x04 000024b7: DUP3 000024b8: ADD 000024b9: MSTORE 000024ba: PUSH1 0x10 000024bc: PUSH1 0x24 000024be: DUP3 000024bf: ADD 000024c0: MSTORE 000024c1: PUSH32 0x416c72656164792072657665616c656400000000000000000000000000000000 000024e2: PUSH1 0x44 000024e4: DUP3 000024e5: ADD 000024e6: MSTORE 000024e7: PUSH1 0x64 000024e9: ADD 000024ea: PUSH2 0x089e 000024ed: JUMP 000024ee: JUMPDEST 000024ef: PUSH1 0x01 000024f1: PUSH1 0x10 000024f3: SLOAD 000024f4: PUSH2 0x24fd 000024f7: SWAP2 000024f8: SWAP1 000024f9: PUSH2 0x3504 000024fc: JUMP 000024fd: JUMPDEST 000024fe: PUSH2 0x2507 00002501: SWAP1 00002502: DUP3 00002503: PUSH2 0x35ce 00002506: JUMP 00002507: JUMPDEST 00002508: PUSH2 0x2512 0000250b: SWAP1 0000250c: PUSH1 0x01 0000250e: PUSH2 0x349b 00002511: JUMP 00002512: JUMPDEST 00002513: PUSH1 0x12 00002515: SSTORE 00002516: POP 00002517: POP 00002518: JUMP 00002519: JUMPDEST 0000251a: PUSH2 0x1043 0000251d: DUP3 0000251e: DUP3 0000251f: PUSH1 0x40 00002521: MLOAD 00002522: DUP1 00002523: PUSH1 0x20 00002525: ADD 00002526: PUSH1 0x40 00002528: MSTORE 00002529: DUP1 0000252a: PUSH1 0x00 0000252c: DUP2 0000252d: MSTORE 0000252e: POP 0000252f: PUSH2 0x2b54 00002532: JUMP 00002533: JUMPDEST 00002534: PUSH1 0x00 00002536: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 00002557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000256c: AND 0000256d: PUSH4 0x4000aea0 00002572: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 00002593: DUP5 00002594: DUP7 00002595: PUSH1 0x00 00002597: PUSH1 0x40 00002599: MLOAD 0000259a: PUSH1 0x20 0000259c: ADD 0000259d: PUSH2 0x25b0 000025a0: SWAP3 000025a1: SWAP2 000025a2: SWAP1 000025a3: SWAP2 000025a4: DUP3 000025a5: MSTORE 000025a6: PUSH1 0x20 000025a8: DUP3 000025a9: ADD 000025aa: MSTORE 000025ab: PUSH1 0x40 000025ad: ADD 000025ae: SWAP1 000025af: JUMP 000025b0: JUMPDEST 000025b1: PUSH1 0x40 000025b3: MLOAD 000025b4: PUSH1 0x20 000025b6: DUP2 000025b7: DUP4 000025b8: SUB 000025b9: SUB 000025ba: DUP2 000025bb: MSTORE 000025bc: SWAP1 000025bd: PUSH1 0x40 000025bf: MSTORE 000025c0: PUSH1 0x40 000025c2: MLOAD 000025c3: DUP5 000025c4: PUSH4 0xffffffff 000025c9: AND 000025ca: PUSH1 0xe0 000025cc: SHL 000025cd: DUP2 000025ce: MSTORE 000025cf: PUSH1 0x04 000025d1: ADD 000025d2: PUSH2 0x25dd 000025d5: SWAP4 000025d6: SWAP3 000025d7: SWAP2 000025d8: SWAP1 000025d9: PUSH2 0x344a 000025dc: JUMP 000025dd: JUMPDEST 000025de: PUSH1 0x20 000025e0: PUSH1 0x40 000025e2: MLOAD 000025e3: DUP1 000025e4: DUP4 000025e5: SUB 000025e6: DUP2 000025e7: PUSH1 0x00 000025e9: DUP8 000025ea: DUP1 000025eb: EXTCODESIZE 000025ec: ISZERO 000025ed: DUP1 000025ee: ISZERO 000025ef: PUSH2 0x25f7 000025f2: JUMPI 000025f3: PUSH1 0x00 000025f5: DUP1 000025f6: REVERT 000025f7: JUMPDEST 000025f8: POP 000025f9: GAS 000025fa: CALL 000025fb: ISZERO 000025fc: DUP1 000025fd: ISZERO 000025fe: PUSH2 0x260b 00002601: JUMPI 00002602: RETURNDATASIZE 00002603: PUSH1 0x00 00002605: DUP1 00002606: RETURNDATACOPY 00002607: RETURNDATASIZE 00002608: PUSH1 0x00 0000260a: REVERT 0000260b: JUMPDEST 0000260c: POP 0000260d: POP 0000260e: POP 0000260f: POP 00002610: PUSH1 0x40 00002612: MLOAD 00002613: RETURNDATASIZE 00002614: PUSH1 0x1f 00002616: NOT 00002617: PUSH1 0x1f 00002619: DUP3 0000261a: ADD 0000261b: AND 0000261c: DUP3 0000261d: ADD 0000261e: DUP1 0000261f: PUSH1 0x40 00002621: MSTORE 00002622: POP 00002623: DUP2 00002624: ADD 00002625: SWAP1 00002626: PUSH2 0x262f 00002629: SWAP2 0000262a: SWAP1 0000262b: PUSH2 0x3285 0000262e: JUMP 0000262f: JUMPDEST 00002630: POP 00002631: PUSH1 0x00 00002633: DUP4 00002634: DUP2 00002635: MSTORE 00002636: PUSH1 0x0b 00002638: PUSH1 0x20 0000263a: DUP2 0000263b: DUP2 0000263c: MSTORE 0000263d: PUSH1 0x40 0000263f: DUP1 00002640: DUP5 00002641: KECCAK256 00002642: SLOAD 00002643: DUP2 00002644: MLOAD 00002645: DUP1 00002646: DUP5 00002647: ADD 00002648: DUP10 00002649: SWAP1 0000264a: MSTORE 0000264b: DUP1 0000264c: DUP4 0000264d: ADD 0000264e: DUP7 0000264f: SWAP1 00002650: MSTORE 00002651: ADDRESS 00002652: PUSH1 0x60 00002654: DUP3 00002655: ADD 00002656: MSTORE 00002657: PUSH1 0x80 00002659: DUP1 0000265a: DUP3 0000265b: ADD 0000265c: DUP4 0000265d: SWAP1 0000265e: MSTORE 0000265f: DUP4 00002660: MLOAD 00002661: DUP1 00002662: DUP4 00002663: SUB 00002664: SWAP1 00002665: SWAP2 00002666: ADD 00002667: DUP2 00002668: MSTORE 00002669: PUSH1 0xa0 0000266b: SWAP1 0000266c: SWAP2 0000266d: ADD 0000266e: SWAP1 0000266f: SWAP3 00002670: MSTORE 00002671: DUP2 00002672: MLOAD 00002673: SWAP2 00002674: DUP4 00002675: ADD 00002676: SWAP2 00002677: SWAP1 00002678: SWAP2 00002679: KECCAK256 0000267a: SWAP4 0000267b: DUP8 0000267c: SWAP1 0000267d: MSTORE 0000267e: SWAP2 0000267f: SWAP1 00002680: MSTORE 00002681: PUSH2 0x268b 00002684: SWAP1 00002685: PUSH1 0x01 00002687: PUSH2 0x349b 0000268a: JUMP 0000268b: JUMPDEST 0000268c: PUSH1 0x00 0000268e: DUP6 0000268f: DUP2 00002690: MSTORE 00002691: PUSH1 0x0b 00002693: PUSH1 0x20 00002695: MSTORE 00002696: PUSH1 0x40 00002698: SWAP1 00002699: KECCAK256 0000269a: SSTORE 0000269b: PUSH2 0x2051 0000269e: DUP5 0000269f: DUP3 000026a0: PUSH1 0x40 000026a2: DUP1 000026a3: MLOAD 000026a4: PUSH1 0x20 000026a6: DUP1 000026a7: DUP3 000026a8: ADD 000026a9: SWAP5 000026aa: SWAP1 000026ab: SWAP5 000026ac: MSTORE 000026ad: DUP1 000026ae: DUP3 000026af: ADD 000026b0: SWAP3 000026b1: SWAP1 000026b2: SWAP3 000026b3: MSTORE 000026b4: DUP1 000026b5: MLOAD 000026b6: DUP1 000026b7: DUP4 000026b8: SUB 000026b9: DUP3 000026ba: ADD 000026bb: DUP2 000026bc: MSTORE 000026bd: PUSH1 0x60 000026bf: SWAP1 000026c0: SWAP3 000026c1: ADD 000026c2: SWAP1 000026c3: MSTORE 000026c4: DUP1 000026c5: MLOAD 000026c6: SWAP2 000026c7: ADD 000026c8: KECCAK256 000026c9: SWAP1 000026ca: JUMP 000026cb: JUMPDEST 000026cc: PUSH2 0x26d6 000026cf: DUP5 000026d0: DUP5 000026d1: DUP5 000026d2: PUSH2 0x2059 000026d5: JUMP 000026d6: JUMPDEST 000026d7: PUSH2 0x26e2 000026da: DUP5 000026db: DUP5 000026dc: DUP5 000026dd: DUP5 000026de: PUSH2 0x2bf7 000026e1: JUMP 000026e2: JUMPDEST 000026e3: PUSH2 0x1a5f 000026e6: JUMPI 000026e7: PUSH1 0x40 000026e9: MLOAD 000026ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000270b: DUP2 0000270c: MSTORE 0000270d: PUSH1 0x20 0000270f: PUSH1 0x04 00002711: DUP3 00002712: ADD 00002713: MSTORE 00002714: PUSH1 0x32 00002716: PUSH1 0x24 00002718: DUP3 00002719: ADD 0000271a: MSTORE 0000271b: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 0000273c: PUSH1 0x44 0000273e: DUP3 0000273f: ADD 00002740: MSTORE 00002741: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00002762: PUSH1 0x64 00002764: DUP3 00002765: ADD 00002766: MSTORE 00002767: PUSH1 0x84 00002769: ADD 0000276a: PUSH2 0x089e 0000276d: JUMP 0000276e: JUMPDEST 0000276f: PUSH1 0x60 00002771: PUSH1 0x0c 00002773: DUP1 00002774: SLOAD 00002775: PUSH2 0x076e 00002778: SWAP1 00002779: PUSH2 0x3547 0000277c: JUMP 0000277d: JUMPDEST 0000277e: PUSH1 0x60 00002780: DUP2 00002781: PUSH2 0x27bd 00002784: JUMPI 00002785: POP 00002786: POP 00002787: PUSH1 0x40 00002789: DUP1 0000278a: MLOAD 0000278b: DUP1 0000278c: DUP3 0000278d: ADD 0000278e: SWAP1 0000278f: SWAP2 00002790: MSTORE 00002791: PUSH1 0x01 00002793: DUP2 00002794: MSTORE 00002795: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 000027b6: PUSH1 0x20 000027b8: DUP3 000027b9: ADD 000027ba: MSTORE 000027bb: SWAP1 000027bc: JUMP 000027bd: JUMPDEST 000027be: DUP2 000027bf: PUSH1 0x00 000027c1: JUMPDEST 000027c2: DUP2 000027c3: ISZERO 000027c4: PUSH2 0x27e7 000027c7: JUMPI 000027c8: DUP1 000027c9: PUSH2 0x27d1 000027cc: DUP2 000027cd: PUSH2 0x3595 000027d0: JUMP 000027d1: JUMPDEST 000027d2: SWAP2 000027d3: POP 000027d4: PUSH2 0x27e0 000027d7: SWAP1 000027d8: POP 000027d9: PUSH1 0x0a 000027db: DUP4 000027dc: PUSH2 0x34b3 000027df: JUMP 000027e0: JUMPDEST 000027e1: SWAP2 000027e2: POP 000027e3: PUSH2 0x27c1 000027e6: JUMP 000027e7: JUMPDEST 000027e8: PUSH1 0x00 000027ea: DUP2 000027eb: PUSH8 0xffffffffffffffff 000027f4: DUP2 000027f5: GT 000027f6: ISZERO 000027f7: PUSH2 0x2802 000027fa: JUMPI 000027fb: PUSH2 0x2802 000027fe: PUSH2 0x369e 00002801: JUMP 00002802: JUMPDEST 00002803: PUSH1 0x40 00002805: MLOAD 00002806: SWAP1 00002807: DUP1 00002808: DUP3 00002809: MSTORE 0000280a: DUP1 0000280b: PUSH1 0x1f 0000280d: ADD 0000280e: PUSH1 0x1f 00002810: NOT 00002811: AND 00002812: PUSH1 0x20 00002814: ADD 00002815: DUP3 00002816: ADD 00002817: PUSH1 0x40 00002819: MSTORE 0000281a: DUP1 0000281b: ISZERO 0000281c: PUSH2 0x282c 0000281f: JUMPI 00002820: PUSH1 0x20 00002822: DUP3 00002823: ADD 00002824: DUP2 00002825: DUP1 00002826: CALLDATASIZE 00002827: DUP4 00002828: CALLDATACOPY 00002829: ADD 0000282a: SWAP1 0000282b: POP 0000282c: JUMPDEST 0000282d: POP 0000282e: SWAP1 0000282f: POP 00002830: JUMPDEST 00002831: DUP5 00002832: ISZERO 00002833: PUSH2 0x2051 00002836: JUMPI 00002837: PUSH2 0x2841 0000283a: PUSH1 0x01 0000283c: DUP4 0000283d: PUSH2 0x3504 00002840: JUMP 00002841: JUMPDEST 00002842: SWAP2 00002843: POP 00002844: PUSH2 0x284e 00002847: PUSH1 0x0a 00002849: DUP7 0000284a: PUSH2 0x35ce 0000284d: JUMP 0000284e: JUMPDEST 0000284f: PUSH2 0x2859 00002852: SWAP1 00002853: PUSH1 0x30 00002855: PUSH2 0x349b 00002858: JUMP 00002859: JUMPDEST 0000285a: PUSH1 0xf8 0000285c: SHL 0000285d: DUP2 0000285e: DUP4 0000285f: DUP2 00002860: MLOAD 00002861: DUP2 00002862: LT 00002863: PUSH2 0x286e 00002866: JUMPI 00002867: PUSH2 0x286e 0000286a: PUSH2 0x366f 0000286d: JUMP 0000286e: JUMPDEST 0000286f: PUSH1 0x20 00002871: ADD 00002872: ADD 00002873: SWAP1 00002874: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002894: NOT 00002895: AND 00002896: SWAP1 00002897: DUP2 00002898: PUSH1 0x00 0000289a: BYTE 0000289b: SWAP1 0000289c: MSTORE8 0000289d: POP 0000289e: PUSH2 0x28a8 000028a1: PUSH1 0x0a 000028a3: DUP7 000028a4: PUSH2 0x34b3 000028a7: JUMP 000028a8: JUMPDEST 000028a9: SWAP5 000028aa: POP 000028ab: PUSH2 0x2830 000028ae: JUMP 000028af: JUMPDEST 000028b0: PUSH1 0x00 000028b2: PUSH1 0x01 000028b4: PUSH2 0x28bc 000028b7: DUP5 000028b8: PUSH2 0x1115 000028bb: JUMP 000028bc: JUMPDEST 000028bd: PUSH2 0x28c6 000028c0: SWAP2 000028c1: SWAP1 000028c2: PUSH2 0x3504 000028c5: JUMP 000028c6: JUMPDEST 000028c7: PUSH1 0x00 000028c9: DUP4 000028ca: DUP2 000028cb: MSTORE 000028cc: PUSH1 0x08 000028ce: PUSH1 0x20 000028d0: MSTORE 000028d1: PUSH1 0x40 000028d3: SWAP1 000028d4: KECCAK256 000028d5: SLOAD 000028d6: SWAP1 000028d7: SWAP2 000028d8: POP 000028d9: DUP1 000028da: DUP3 000028db: EQ 000028dc: PUSH2 0x2926 000028df: JUMPI 000028e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028f5: DUP5 000028f6: AND 000028f7: PUSH1 0x00 000028f9: SWAP1 000028fa: DUP2 000028fb: MSTORE 000028fc: PUSH1 0x07 000028fe: PUSH1 0x20 00002900: SWAP1 00002901: DUP2 00002902: MSTORE 00002903: PUSH1 0x40 00002905: DUP1 00002906: DUP4 00002907: KECCAK256 00002908: DUP6 00002909: DUP5 0000290a: MSTORE 0000290b: DUP3 0000290c: MSTORE 0000290d: DUP1 0000290e: DUP4 0000290f: KECCAK256 00002910: SLOAD 00002911: DUP5 00002912: DUP5 00002913: MSTORE 00002914: DUP2 00002915: DUP5 00002916: KECCAK256 00002917: DUP2 00002918: SWAP1 00002919: SSTORE 0000291a: DUP4 0000291b: MSTORE 0000291c: PUSH1 0x08 0000291e: SWAP1 0000291f: SWAP2 00002920: MSTORE 00002921: SWAP1 00002922: KECCAK256 00002923: DUP2 00002924: SWAP1 00002925: SSTORE 00002926: JUMPDEST 00002927: POP 00002928: PUSH1 0x00 0000292a: SWAP2 0000292b: DUP3 0000292c: MSTORE 0000292d: PUSH1 0x08 0000292f: PUSH1 0x20 00002931: SWAP1 00002932: DUP2 00002933: MSTORE 00002934: PUSH1 0x40 00002936: DUP1 00002937: DUP5 00002938: KECCAK256 00002939: DUP5 0000293a: SWAP1 0000293b: SSTORE 0000293c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002951: SWAP1 00002952: SWAP5 00002953: AND 00002954: DUP4 00002955: MSTORE 00002956: PUSH1 0x07 00002958: DUP2 00002959: MSTORE 0000295a: DUP4 0000295b: DUP4 0000295c: KECCAK256 0000295d: SWAP2 0000295e: DUP4 0000295f: MSTORE 00002960: MSTORE 00002961: SWAP1 00002962: DUP2 00002963: KECCAK256 00002964: SSTORE 00002965: JUMP 00002966: JUMPDEST 00002967: PUSH1 0x09 00002969: SLOAD 0000296a: PUSH1 0x00 0000296c: SWAP1 0000296d: PUSH2 0x2978 00002970: SWAP1 00002971: PUSH1 0x01 00002973: SWAP1 00002974: PUSH2 0x3504 00002977: JUMP 00002978: JUMPDEST 00002979: PUSH1 0x00 0000297b: DUP4 0000297c: DUP2 0000297d: MSTORE 0000297e: PUSH1 0x0a 00002980: PUSH1 0x20 00002982: MSTORE 00002983: PUSH1 0x40 00002985: DUP2 00002986: KECCAK256 00002987: SLOAD 00002988: PUSH1 0x09 0000298a: DUP1 0000298b: SLOAD 0000298c: SWAP4 0000298d: SWAP5 0000298e: POP 0000298f: SWAP1 00002990: SWAP3 00002991: DUP5 00002992: SWAP1 00002993: DUP2 00002994: LT 00002995: PUSH2 0x29a0 00002998: JUMPI 00002999: PUSH2 0x29a0 0000299c: PUSH2 0x366f 0000299f: JUMP 000029a0: JUMPDEST 000029a1: SWAP1 000029a2: PUSH1 0x00 000029a4: MSTORE 000029a5: PUSH1 0x20 000029a7: PUSH1 0x00 000029a9: KECCAK256 000029aa: ADD 000029ab: SLOAD 000029ac: SWAP1 000029ad: POP 000029ae: DUP1 000029af: PUSH1 0x09 000029b1: DUP4 000029b2: DUP2 000029b3: SLOAD 000029b4: DUP2 000029b5: LT 000029b6: PUSH2 0x29c1 000029b9: JUMPI 000029ba: PUSH2 0x29c1 000029bd: PUSH2 0x366f 000029c0: JUMP 000029c1: JUMPDEST 000029c2: PUSH1 0x00 000029c4: SWAP2 000029c5: DUP3 000029c6: MSTORE 000029c7: PUSH1 0x20 000029c9: DUP1 000029ca: DUP4 000029cb: KECCAK256 000029cc: SWAP1 000029cd: SWAP2 000029ce: ADD 000029cf: SWAP3 000029d0: SWAP1 000029d1: SWAP3 000029d2: SSTORE 000029d3: DUP3 000029d4: DUP2 000029d5: MSTORE 000029d6: PUSH1 0x0a 000029d8: SWAP1 000029d9: SWAP2 000029da: MSTORE 000029db: PUSH1 0x40 000029dd: DUP1 000029de: DUP3 000029df: KECCAK256 000029e0: DUP5 000029e1: SWAP1 000029e2: SSTORE 000029e3: DUP6 000029e4: DUP3 000029e5: MSTORE 000029e6: DUP2 000029e7: KECCAK256 000029e8: SSTORE 000029e9: PUSH1 0x09 000029eb: DUP1 000029ec: SLOAD 000029ed: DUP1 000029ee: PUSH2 0x29f9 000029f1: JUMPI 000029f2: PUSH2 0x29f9 000029f5: PUSH2 0x3640 000029f8: JUMP 000029f9: JUMPDEST 000029fa: PUSH1 0x01 000029fc: SWAP1 000029fd: SUB 000029fe: DUP2 000029ff: DUP2 00002a00: SWAP1 00002a01: PUSH1 0x00 00002a03: MSTORE 00002a04: PUSH1 0x20 00002a06: PUSH1 0x00 00002a08: KECCAK256 00002a09: ADD 00002a0a: PUSH1 0x00 00002a0c: SWAP1 00002a0d: SSTORE 00002a0e: SWAP1 00002a0f: SSTORE 00002a10: POP 00002a11: POP 00002a12: POP 00002a13: POP 00002a14: JUMP 00002a15: JUMPDEST 00002a16: PUSH1 0x00 00002a18: PUSH2 0x2a20 00002a1b: DUP4 00002a1c: PUSH2 0x1115 00002a1f: JUMP 00002a20: JUMPDEST 00002a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a36: SWAP1 00002a37: SWAP4 00002a38: AND 00002a39: PUSH1 0x00 00002a3b: SWAP1 00002a3c: DUP2 00002a3d: MSTORE 00002a3e: PUSH1 0x07 00002a40: PUSH1 0x20 00002a42: SWAP1 00002a43: DUP2 00002a44: MSTORE 00002a45: PUSH1 0x40 00002a47: DUP1 00002a48: DUP4 00002a49: KECCAK256 00002a4a: DUP7 00002a4b: DUP5 00002a4c: MSTORE 00002a4d: DUP3 00002a4e: MSTORE 00002a4f: DUP1 00002a50: DUP4 00002a51: KECCAK256 00002a52: DUP6 00002a53: SWAP1 00002a54: SSTORE 00002a55: SWAP4 00002a56: DUP3 00002a57: MSTORE 00002a58: PUSH1 0x08 00002a5a: SWAP1 00002a5b: MSTORE 00002a5c: SWAP2 00002a5d: SWAP1 00002a5e: SWAP2 00002a5f: KECCAK256 00002a60: SWAP2 00002a61: SWAP1 00002a62: SWAP2 00002a63: SSTORE 00002a64: POP 00002a65: JUMP 00002a66: JUMPDEST 00002a67: PUSH1 0x00 00002a69: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002a8a: DUP3 00002a8b: AND 00002a8c: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 00002aad: EQ 00002aae: DUP1 00002aaf: PUSH2 0x2af9 00002ab2: JUMPI 00002ab3: POP 00002ab4: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002ad5: DUP3 00002ad6: AND 00002ad7: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 00002af8: EQ 00002af9: JUMPDEST 00002afa: DUP1 00002afb: PUSH2 0x0759 00002afe: JUMPI 00002aff: POP 00002b00: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00002b21: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002b42: DUP4 00002b43: AND 00002b44: EQ 00002b45: PUSH2 0x0759 00002b48: JUMP 00002b49: JUMPDEST 00002b4a: PUSH2 0x0a58 00002b4d: DUP4 00002b4e: DUP4 00002b4f: DUP4 00002b50: PUSH2 0x1ced 00002b53: JUMP 00002b54: JUMPDEST 00002b55: PUSH2 0x2b5e 00002b58: DUP4 00002b59: DUP4 00002b5a: PUSH2 0x2df3 00002b5d: JUMP 00002b5e: JUMPDEST 00002b5f: PUSH2 0x2b6b 00002b62: PUSH1 0x00 00002b64: DUP5 00002b65: DUP5 00002b66: DUP5 00002b67: PUSH2 0x2bf7 00002b6a: JUMP 00002b6b: JUMPDEST 00002b6c: PUSH2 0x0a58 00002b6f: JUMPI 00002b70: PUSH1 0x40 00002b72: MLOAD 00002b73: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002b94: DUP2 00002b95: MSTORE 00002b96: PUSH1 0x20 00002b98: PUSH1 0x04 00002b9a: DUP3 00002b9b: ADD 00002b9c: MSTORE 00002b9d: PUSH1 0x32 00002b9f: PUSH1 0x24 00002ba1: DUP3 00002ba2: ADD 00002ba3: MSTORE 00002ba4: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00002bc5: PUSH1 0x44 00002bc7: DUP3 00002bc8: ADD 00002bc9: MSTORE 00002bca: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00002beb: PUSH1 0x64 00002bed: DUP3 00002bee: ADD 00002bef: MSTORE 00002bf0: PUSH1 0x84 00002bf2: ADD 00002bf3: PUSH2 0x089e 00002bf6: JUMP 00002bf7: JUMPDEST 00002bf8: PUSH1 0x00 00002bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c0f: DUP5 00002c10: AND 00002c11: EXTCODESIZE 00002c12: ISZERO 00002c13: PUSH2 0x2deb 00002c16: JUMPI 00002c17: PUSH1 0x40 00002c19: MLOAD 00002c1a: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 00002c3b: DUP2 00002c3c: MSTORE 00002c3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c52: DUP6 00002c53: AND 00002c54: SWAP1 00002c55: PUSH4 0x150b7a02 00002c5a: SWAP1 00002c5b: PUSH2 0x2c6e 00002c5e: SWAP1 00002c5f: CALLER 00002c60: SWAP1 00002c61: DUP10 00002c62: SWAP1 00002c63: DUP9 00002c64: SWAP1 00002c65: DUP9 00002c66: SWAP1 00002c67: PUSH1 0x04 00002c69: ADD 00002c6a: PUSH2 0x3401 00002c6d: JUMP 00002c6e: JUMPDEST 00002c6f: PUSH1 0x20 00002c71: PUSH1 0x40 00002c73: MLOAD 00002c74: DUP1 00002c75: DUP4 00002c76: SUB 00002c77: DUP2 00002c78: PUSH1 0x00 00002c7a: DUP8 00002c7b: DUP1 00002c7c: EXTCODESIZE 00002c7d: ISZERO 00002c7e: DUP1 00002c7f: ISZERO 00002c80: PUSH2 0x2c88 00002c83: JUMPI 00002c84: PUSH1 0x00 00002c86: DUP1 00002c87: REVERT 00002c88: JUMPDEST 00002c89: POP 00002c8a: GAS 00002c8b: CALL 00002c8c: SWAP3 00002c8d: POP 00002c8e: POP 00002c8f: POP 00002c90: DUP1 00002c91: ISZERO 00002c92: PUSH2 0x2cd6 00002c95: JUMPI 00002c96: POP 00002c97: PUSH1 0x40 00002c99: DUP1 00002c9a: MLOAD 00002c9b: PUSH1 0x1f 00002c9d: RETURNDATASIZE 00002c9e: SWAP1 00002c9f: DUP2 00002ca0: ADD 00002ca1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002cc2: AND 00002cc3: DUP3 00002cc4: ADD 00002cc5: SWAP1 00002cc6: SWAP3 00002cc7: MSTORE 00002cc8: PUSH2 0x2cd3 00002ccb: SWAP2 00002ccc: DUP2 00002ccd: ADD 00002cce: SWAP1 00002ccf: PUSH2 0x32e1 00002cd2: JUMP 00002cd3: JUMPDEST 00002cd4: PUSH1 0x01 00002cd6: JUMPDEST 00002cd7: PUSH2 0x2da0 00002cda: JUMPI 00002cdb: RETURNDATASIZE 00002cdc: DUP1 00002cdd: DUP1 00002cde: ISZERO 00002cdf: PUSH2 0x2d04 00002ce2: JUMPI 00002ce3: PUSH1 0x40 00002ce5: MLOAD 00002ce6: SWAP2 00002ce7: POP 00002ce8: PUSH1 0x1f 00002cea: NOT 00002ceb: PUSH1 0x3f 00002ced: RETURNDATASIZE 00002cee: ADD 00002cef: AND 00002cf0: DUP3 00002cf1: ADD 00002cf2: PUSH1 0x40 00002cf4: MSTORE 00002cf5: RETURNDATASIZE 00002cf6: DUP3 00002cf7: MSTORE 00002cf8: RETURNDATASIZE 00002cf9: PUSH1 0x00 00002cfb: PUSH1 0x20 00002cfd: DUP5 00002cfe: ADD 00002cff: RETURNDATACOPY 00002d00: PUSH2 0x2d09 00002d03: JUMP 00002d04: JUMPDEST 00002d05: PUSH1 0x60 00002d07: SWAP2 00002d08: POP 00002d09: JUMPDEST 00002d0a: POP 00002d0b: DUP1 00002d0c: MLOAD 00002d0d: PUSH2 0x2d98 00002d10: JUMPI 00002d11: PUSH1 0x40 00002d13: MLOAD 00002d14: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002d35: DUP2 00002d36: MSTORE 00002d37: PUSH1 0x20 00002d39: PUSH1 0x04 00002d3b: DUP3 00002d3c: ADD 00002d3d: MSTORE 00002d3e: PUSH1 0x32 00002d40: PUSH1 0x24 00002d42: DUP3 00002d43: ADD 00002d44: MSTORE 00002d45: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00002d66: PUSH1 0x44 00002d68: DUP3 00002d69: ADD 00002d6a: MSTORE 00002d6b: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00002d8c: PUSH1 0x64 00002d8e: DUP3 00002d8f: ADD 00002d90: MSTORE 00002d91: PUSH1 0x84 00002d93: ADD 00002d94: PUSH2 0x089e 00002d97: JUMP 00002d98: JUMPDEST 00002d99: DUP1 00002d9a: MLOAD 00002d9b: DUP2 00002d9c: PUSH1 0x20 00002d9e: ADD 00002d9f: REVERT 00002da0: JUMPDEST 00002da1: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002dc2: AND 00002dc3: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 00002de4: EQ 00002de5: SWAP1 00002de6: POP 00002de7: PUSH2 0x2051 00002dea: JUMP 00002deb: JUMPDEST 00002dec: POP 00002ded: PUSH1 0x01 00002def: PUSH2 0x2051 00002df2: JUMP 00002df3: JUMPDEST 00002df4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e09: DUP3 00002e0a: AND 00002e0b: PUSH2 0x2e70 00002e0e: JUMPI 00002e0f: PUSH1 0x40 00002e11: MLOAD 00002e12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002e33: DUP2 00002e34: MSTORE 00002e35: PUSH1 0x20 00002e37: PUSH1 0x04 00002e39: DUP3 00002e3a: ADD 00002e3b: DUP2 00002e3c: SWAP1 00002e3d: MSTORE 00002e3e: PUSH1 0x24 00002e40: DUP3 00002e41: ADD 00002e42: MSTORE 00002e43: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00002e64: PUSH1 0x44 00002e66: DUP3 00002e67: ADD 00002e68: MSTORE 00002e69: PUSH1 0x64 00002e6b: ADD 00002e6c: PUSH2 0x089e 00002e6f: JUMP 00002e70: JUMPDEST 00002e71: PUSH1 0x00 00002e73: DUP2 00002e74: DUP2 00002e75: MSTORE 00002e76: PUSH1 0x03 00002e78: PUSH1 0x20 00002e7a: MSTORE 00002e7b: PUSH1 0x40 00002e7d: SWAP1 00002e7e: KECCAK256 00002e7f: SLOAD 00002e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e95: AND 00002e96: ISZERO 00002e97: PUSH2 0x2efc 00002e9a: JUMPI 00002e9b: PUSH1 0x40 00002e9d: MLOAD 00002e9e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002ebf: DUP2 00002ec0: MSTORE 00002ec1: PUSH1 0x20 00002ec3: PUSH1 0x04 00002ec5: DUP3 00002ec6: ADD 00002ec7: MSTORE 00002ec8: PUSH1 0x1c 00002eca: PUSH1 0x24 00002ecc: DUP3 00002ecd: ADD 00002ece: MSTORE 00002ecf: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 00002ef0: PUSH1 0x44 00002ef2: DUP3 00002ef3: ADD 00002ef4: MSTORE 00002ef5: PUSH1 0x64 00002ef7: ADD 00002ef8: PUSH2 0x089e 00002efb: JUMP 00002efc: JUMPDEST 00002efd: PUSH2 0x2f08 00002f00: PUSH1 0x00 00002f02: DUP4 00002f03: DUP4 00002f04: PUSH2 0x2b49 00002f07: JUMP 00002f08: JUMPDEST 00002f09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f1e: DUP3 00002f1f: AND 00002f20: PUSH1 0x00 00002f22: SWAP1 00002f23: DUP2 00002f24: MSTORE 00002f25: PUSH1 0x04 00002f27: PUSH1 0x20 00002f29: MSTORE 00002f2a: PUSH1 0x40 00002f2c: DUP2 00002f2d: KECCAK256 00002f2e: DUP1 00002f2f: SLOAD 00002f30: PUSH1 0x01 00002f32: SWAP3 00002f33: SWAP1 00002f34: PUSH2 0x2f3e 00002f37: SWAP1 00002f38: DUP5 00002f39: SWAP1 00002f3a: PUSH2 0x349b 00002f3d: JUMP 00002f3e: JUMPDEST 00002f3f: SWAP1 00002f40: SWAP2 00002f41: SSTORE 00002f42: POP 00002f43: POP 00002f44: PUSH1 0x00 00002f46: DUP2 00002f47: DUP2 00002f48: MSTORE 00002f49: PUSH1 0x03 00002f4b: PUSH1 0x20 00002f4d: MSTORE 00002f4e: PUSH1 0x40 00002f50: DUP1 00002f51: DUP3 00002f52: KECCAK256 00002f53: DUP1 00002f54: SLOAD 00002f55: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00002f76: AND 00002f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f8c: DUP7 00002f8d: AND 00002f8e: SWAP1 00002f8f: DUP2 00002f90: OR 00002f91: SWAP1 00002f92: SWAP2 00002f93: SSTORE 00002f94: SWAP1 00002f95: MLOAD 00002f96: DUP4 00002f97: SWAP3 00002f98: SWAP1 00002f99: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002fba: SWAP1 00002fbb: DUP3 00002fbc: SWAP1 00002fbd: LOG4 00002fbe: POP 00002fbf: POP 00002fc0: JUMP 00002fc1: JUMPDEST 00002fc2: DUP3 00002fc3: DUP1 00002fc4: SLOAD 00002fc5: PUSH2 0x2fcd 00002fc8: SWAP1 00002fc9: PUSH2 0x3547 00002fcc: JUMP 00002fcd: JUMPDEST 00002fce: SWAP1 00002fcf: PUSH1 0x00 00002fd1: MSTORE 00002fd2: PUSH1 0x20 00002fd4: PUSH1 0x00 00002fd6: KECCAK256 00002fd7: SWAP1 00002fd8: PUSH1 0x1f 00002fda: ADD 00002fdb: PUSH1 0x20 00002fdd: SWAP1 00002fde: DIV 00002fdf: DUP2 00002fe0: ADD 00002fe1: SWAP3 00002fe2: DUP3 00002fe3: PUSH2 0x2fef 00002fe6: JUMPI 00002fe7: PUSH1 0x00 00002fe9: DUP6 00002fea: SSTORE 00002feb: PUSH2 0x3035 00002fee: JUMP 00002fef: JUMPDEST 00002ff0: DUP3 00002ff1: PUSH1 0x1f 00002ff3: LT 00002ff4: PUSH2 0x3008 00002ff7: JUMPI 00002ff8: DUP1 00002ff9: MLOAD 00002ffa: PUSH1 0xff 00002ffc: NOT 00002ffd: AND 00002ffe: DUP4 00002fff: DUP1 00003000: ADD 00003001: OR 00003002: DUP6 00003003: SSTORE 00003004: PUSH2 0x3035 00003007: JUMP 00003008: JUMPDEST 00003009: DUP3 0000300a: DUP1 0000300b: ADD 0000300c: PUSH1 0x01 0000300e: ADD 0000300f: DUP6 00003010: SSTORE 00003011: DUP3 00003012: ISZERO 00003013: PUSH2 0x3035 00003016: JUMPI 00003017: SWAP2 00003018: DUP3 00003019: ADD 0000301a: JUMPDEST 0000301b: DUP3 0000301c: DUP2 0000301d: GT 0000301e: ISZERO 0000301f: PUSH2 0x3035 00003022: JUMPI 00003023: DUP3 00003024: MLOAD 00003025: DUP3 00003026: SSTORE 00003027: SWAP2 00003028: PUSH1 0x20 0000302a: ADD 0000302b: SWAP2 0000302c: SWAP1 0000302d: PUSH1 0x01 0000302f: ADD 00003030: SWAP1 00003031: PUSH2 0x301a 00003034: JUMP 00003035: JUMPDEST 00003036: POP 00003037: PUSH2 0x3041 0000303a: SWAP3 0000303b: SWAP2 0000303c: POP 0000303d: PUSH2 0x3045 00003040: JUMP 00003041: JUMPDEST 00003042: POP 00003043: SWAP1 00003044: JUMP 00003045: JUMPDEST 00003046: JUMPDEST 00003047: DUP1 00003048: DUP3 00003049: GT 0000304a: ISZERO 0000304b: PUSH2 0x3041 0000304e: JUMPI 0000304f: PUSH1 0x00 00003051: DUP2 00003052: SSTORE 00003053: PUSH1 0x01 00003055: ADD 00003056: PUSH2 0x3046 00003059: JUMP 0000305a: JUMPDEST 0000305b: PUSH1 0x00 0000305d: PUSH8 0xffffffffffffffff 00003066: DUP1 00003067: DUP5 00003068: GT 00003069: ISZERO 0000306a: PUSH2 0x3075 0000306d: JUMPI 0000306e: PUSH2 0x3075 00003071: PUSH2 0x369e 00003074: JUMP 00003075: JUMPDEST 00003076: PUSH1 0x40 00003078: MLOAD 00003079: PUSH1 0x1f 0000307b: DUP6 0000307c: ADD 0000307d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000309e: SWAP1 0000309f: DUP2 000030a0: AND 000030a1: PUSH1 0x3f 000030a3: ADD 000030a4: AND 000030a5: DUP2 000030a6: ADD 000030a7: SWAP1 000030a8: DUP3 000030a9: DUP3 000030aa: GT 000030ab: DUP2 000030ac: DUP4 000030ad: LT 000030ae: OR 000030af: ISZERO 000030b0: PUSH2 0x30bb 000030b3: JUMPI 000030b4: PUSH2 0x30bb 000030b7: PUSH2 0x369e 000030ba: JUMP 000030bb: JUMPDEST 000030bc: DUP2 000030bd: PUSH1 0x40 000030bf: MSTORE 000030c0: DUP1 000030c1: SWAP4 000030c2: POP 000030c3: DUP6 000030c4: DUP2 000030c5: MSTORE 000030c6: DUP7 000030c7: DUP7 000030c8: DUP7 000030c9: ADD 000030ca: GT 000030cb: ISZERO 000030cc: PUSH2 0x30d4 000030cf: JUMPI 000030d0: PUSH1 0x00 000030d2: DUP1 000030d3: REVERT 000030d4: JUMPDEST 000030d5: DUP6 000030d6: DUP6 000030d7: PUSH1 0x20 000030d9: DUP4 000030da: ADD 000030db: CALLDATACOPY 000030dc: PUSH1 0x00 000030de: PUSH1 0x20 000030e0: DUP8 000030e1: DUP4 000030e2: ADD 000030e3: ADD 000030e4: MSTORE 000030e5: POP 000030e6: POP 000030e7: POP 000030e8: SWAP4 000030e9: SWAP3 000030ea: POP 000030eb: POP 000030ec: POP 000030ed: JUMP 000030ee: JUMPDEST 000030ef: DUP1 000030f0: CALLDATALOAD 000030f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003106: DUP2 00003107: AND 00003108: DUP2 00003109: EQ 0000310a: PUSH2 0x3112 0000310d: JUMPI 0000310e: PUSH1 0x00 00003110: DUP1 00003111: REVERT 00003112: JUMPDEST 00003113: SWAP2 00003114: SWAP1 00003115: POP 00003116: JUMP 00003117: JUMPDEST 00003118: PUSH1 0x00 0000311a: PUSH1 0x20 0000311c: DUP3 0000311d: DUP5 0000311e: SUB 0000311f: SLT 00003120: ISZERO 00003121: PUSH2 0x3129 00003124: JUMPI 00003125: PUSH1 0x00 00003127: DUP1 00003128: REVERT 00003129: JUMPDEST 0000312a: PUSH2 0x3132 0000312d: DUP3 0000312e: PUSH2 0x30ee 00003131: JUMP 00003132: JUMPDEST 00003133: SWAP4 00003134: SWAP3 00003135: POP 00003136: POP 00003137: POP 00003138: JUMP 00003139: JUMPDEST 0000313a: PUSH1 0x00 0000313c: DUP1 0000313d: PUSH1 0x40 0000313f: DUP4 00003140: DUP6 00003141: SUB 00003142: SLT 00003143: ISZERO 00003144: PUSH2 0x314c 00003147: JUMPI 00003148: PUSH1 0x00 0000314a: DUP1 0000314b: REVERT 0000314c: JUMPDEST 0000314d: PUSH2 0x3155 00003150: DUP4 00003151: PUSH2 0x30ee 00003154: JUMP 00003155: JUMPDEST 00003156: SWAP2 00003157: POP 00003158: PUSH2 0x3163 0000315b: PUSH1 0x20 0000315d: DUP5 0000315e: ADD 0000315f: PUSH2 0x30ee 00003162: JUMP 00003163: JUMPDEST 00003164: SWAP1 00003165: POP 00003166: SWAP3 00003167: POP 00003168: SWAP3 00003169: SWAP1 0000316a: POP 0000316b: JUMP 0000316c: JUMPDEST 0000316d: PUSH1 0x00 0000316f: DUP1 00003170: PUSH1 0x00 00003172: PUSH1 0x60 00003174: DUP5 00003175: DUP7 00003176: SUB 00003177: SLT 00003178: ISZERO 00003179: PUSH2 0x3181 0000317c: JUMPI 0000317d: PUSH1 0x00 0000317f: DUP1 00003180: REVERT 00003181: JUMPDEST 00003182: PUSH2 0x318a 00003185: DUP5 00003186: PUSH2 0x30ee 00003189: JUMP 0000318a: JUMPDEST 0000318b: SWAP3 0000318c: POP 0000318d: PUSH2 0x3198 00003190: PUSH1 0x20 00003192: DUP6 00003193: ADD 00003194: PUSH2 0x30ee 00003197: JUMP 00003198: JUMPDEST 00003199: SWAP2 0000319a: POP 0000319b: PUSH1 0x40 0000319d: DUP5 0000319e: ADD 0000319f: CALLDATALOAD 000031a0: SWAP1 000031a1: POP 000031a2: SWAP3 000031a3: POP 000031a4: SWAP3 000031a5: POP 000031a6: SWAP3 000031a7: JUMP 000031a8: JUMPDEST 000031a9: PUSH1 0x00 000031ab: DUP1 000031ac: PUSH1 0x00 000031ae: DUP1 000031af: PUSH1 0x80 000031b1: DUP6 000031b2: DUP8 000031b3: SUB 000031b4: SLT 000031b5: ISZERO 000031b6: PUSH2 0x31be 000031b9: JUMPI 000031ba: PUSH1 0x00 000031bc: DUP1 000031bd: REVERT 000031be: JUMPDEST 000031bf: PUSH2 0x31c7 000031c2: DUP6 000031c3: PUSH2 0x30ee 000031c6: JUMP 000031c7: JUMPDEST 000031c8: SWAP4 000031c9: POP 000031ca: PUSH2 0x31d5 000031cd: PUSH1 0x20 000031cf: DUP7 000031d0: ADD 000031d1: PUSH2 0x30ee 000031d4: JUMP 000031d5: JUMPDEST 000031d6: SWAP3 000031d7: POP 000031d8: PUSH1 0x40 000031da: DUP6 000031db: ADD 000031dc: CALLDATALOAD 000031dd: SWAP2 000031de: POP 000031df: PUSH1 0x60 000031e1: DUP6 000031e2: ADD 000031e3: CALLDATALOAD 000031e4: PUSH8 0xffffffffffffffff 000031ed: DUP2 000031ee: GT 000031ef: ISZERO 000031f0: PUSH2 0x31f8 000031f3: JUMPI 000031f4: PUSH1 0x00 000031f6: DUP1 000031f7: REVERT 000031f8: JUMPDEST 000031f9: DUP6 000031fa: ADD 000031fb: PUSH1 0x1f 000031fd: DUP2 000031fe: ADD 000031ff: DUP8 00003200: SGT 00003201: PUSH2 0x3209 00003204: JUMPI 00003205: PUSH1 0x00 00003207: DUP1 00003208: REVERT 00003209: JUMPDEST 0000320a: PUSH2 0x3218 0000320d: DUP8 0000320e: DUP3 0000320f: CALLDATALOAD 00003210: PUSH1 0x20 00003212: DUP5 00003213: ADD 00003214: PUSH2 0x305a 00003217: JUMP 00003218: JUMPDEST 00003219: SWAP2 0000321a: POP 0000321b: POP 0000321c: SWAP3 0000321d: SWAP6 0000321e: SWAP2 0000321f: SWAP5 00003220: POP 00003221: SWAP3 00003222: POP 00003223: JUMP 00003224: JUMPDEST 00003225: PUSH1 0x00 00003227: DUP1 00003228: PUSH1 0x40 0000322a: DUP4 0000322b: DUP6 0000322c: SUB 0000322d: SLT 0000322e: ISZERO 0000322f: PUSH2 0x3237 00003232: JUMPI 00003233: PUSH1 0x00 00003235: DUP1 00003236: REVERT 00003237: JUMPDEST 00003238: PUSH2 0x3240 0000323b: DUP4 0000323c: PUSH2 0x30ee 0000323f: JUMP 00003240: JUMPDEST 00003241: SWAP2 00003242: POP 00003243: PUSH1 0x20 00003245: DUP4 00003246: ADD 00003247: CALLDATALOAD 00003248: PUSH2 0x3250 0000324b: DUP2 0000324c: PUSH2 0x36cd 0000324f: JUMP 00003250: JUMPDEST 00003251: DUP1 00003252: SWAP2 00003253: POP 00003254: POP 00003255: SWAP3 00003256: POP 00003257: SWAP3 00003258: SWAP1 00003259: POP 0000325a: JUMP 0000325b: JUMPDEST 0000325c: PUSH1 0x00 0000325e: DUP1 0000325f: PUSH1 0x40 00003261: DUP4 00003262: DUP6 00003263: SUB 00003264: SLT 00003265: ISZERO 00003266: PUSH2 0x326e 00003269: JUMPI 0000326a: PUSH1 0x00 0000326c: DUP1 0000326d: REVERT 0000326e: JUMPDEST 0000326f: PUSH2 0x3277 00003272: DUP4 00003273: PUSH2 0x30ee 00003276: JUMP 00003277: JUMPDEST 00003278: SWAP5 00003279: PUSH1 0x20 0000327b: SWAP4 0000327c: SWAP1 0000327d: SWAP4 0000327e: ADD 0000327f: CALLDATALOAD 00003280: SWAP4 00003281: POP 00003282: POP 00003283: POP 00003284: JUMP 00003285: JUMPDEST 00003286: PUSH1 0x00 00003288: PUSH1 0x20 0000328a: DUP3 0000328b: DUP5 0000328c: SUB 0000328d: SLT 0000328e: ISZERO 0000328f: PUSH2 0x3297 00003292: JUMPI 00003293: PUSH1 0x00 00003295: DUP1 00003296: REVERT 00003297: JUMPDEST 00003298: DUP2 00003299: MLOAD 0000329a: PUSH2 0x3132 0000329d: DUP2 0000329e: PUSH2 0x36cd 000032a1: JUMP 000032a2: JUMPDEST 000032a3: PUSH1 0x00 000032a5: DUP1 000032a6: PUSH1 0x40 000032a8: DUP4 000032a9: DUP6 000032aa: SUB 000032ab: SLT 000032ac: ISZERO 000032ad: PUSH2 0x32b5 000032b0: JUMPI 000032b1: PUSH1 0x00 000032b3: DUP1 000032b4: REVERT 000032b5: JUMPDEST 000032b6: POP 000032b7: POP 000032b8: DUP1 000032b9: CALLDATALOAD 000032ba: SWAP3 000032bb: PUSH1 0x20 000032bd: SWAP1 000032be: SWAP2 000032bf: ADD 000032c0: CALLDATALOAD 000032c1: SWAP2 000032c2: POP 000032c3: JUMP 000032c4: JUMPDEST 000032c5: PUSH1 0x00 000032c7: PUSH1 0x20 000032c9: DUP3 000032ca: DUP5 000032cb: SUB 000032cc: SLT 000032cd: ISZERO 000032ce: PUSH2 0x32d6 000032d1: JUMPI 000032d2: PUSH1 0x00 000032d4: DUP1 000032d5: REVERT 000032d6: JUMPDEST 000032d7: DUP2 000032d8: CALLDATALOAD 000032d9: PUSH2 0x3132 000032dc: DUP2 000032dd: PUSH2 0x36db 000032e0: JUMP 000032e1: JUMPDEST 000032e2: PUSH1 0x00 000032e4: PUSH1 0x20 000032e6: DUP3 000032e7: DUP5 000032e8: SUB 000032e9: SLT 000032ea: ISZERO 000032eb: PUSH2 0x32f3 000032ee: JUMPI 000032ef: PUSH1 0x00 000032f1: DUP1 000032f2: REVERT 000032f3: JUMPDEST 000032f4: DUP2 000032f5: MLOAD 000032f6: PUSH2 0x3132 000032f9: DUP2 000032fa: PUSH2 0x36db 000032fd: JUMP 000032fe: JUMPDEST 000032ff: PUSH1 0x00 00003301: PUSH1 0x20 00003303: DUP3 00003304: DUP5 00003305: SUB 00003306: SLT 00003307: ISZERO 00003308: PUSH2 0x3310 0000330b: JUMPI 0000330c: PUSH1 0x00 0000330e: DUP1 0000330f: REVERT 00003310: JUMPDEST 00003311: DUP2 00003312: CALLDATALOAD 00003313: PUSH8 0xffffffffffffffff 0000331c: DUP2 0000331d: GT 0000331e: ISZERO 0000331f: PUSH2 0x3327 00003322: JUMPI 00003323: PUSH1 0x00 00003325: DUP1 00003326: REVERT 00003327: JUMPDEST 00003328: DUP3 00003329: ADD 0000332a: PUSH1 0x1f 0000332c: DUP2 0000332d: ADD 0000332e: DUP5 0000332f: SGT 00003330: PUSH2 0x3338 00003333: JUMPI 00003334: PUSH1 0x00 00003336: DUP1 00003337: REVERT 00003338: JUMPDEST 00003339: PUSH2 0x2051 0000333c: DUP5 0000333d: DUP3 0000333e: CALLDATALOAD 0000333f: PUSH1 0x20 00003341: DUP5 00003342: ADD 00003343: PUSH2 0x305a 00003346: JUMP 00003347: JUMPDEST 00003348: PUSH1 0x00 0000334a: PUSH1 0x20 0000334c: DUP3 0000334d: DUP5 0000334e: SUB 0000334f: SLT 00003350: ISZERO 00003351: PUSH2 0x3359 00003354: JUMPI 00003355: PUSH1 0x00 00003357: DUP1 00003358: REVERT 00003359: JUMPDEST 0000335a: POP 0000335b: CALLDATALOAD 0000335c: SWAP2 0000335d: SWAP1 0000335e: POP 0000335f: JUMP 00003360: JUMPDEST 00003361: PUSH1 0x00 00003363: DUP2 00003364: MLOAD 00003365: DUP1 00003366: DUP5 00003367: MSTORE 00003368: PUSH2 0x3378 0000336b: DUP2 0000336c: PUSH1 0x20 0000336e: DUP7 0000336f: ADD 00003370: PUSH1 0x20 00003372: DUP7 00003373: ADD 00003374: PUSH2 0x351b 00003377: JUMP 00003378: JUMPDEST 00003379: PUSH1 0x1f 0000337b: ADD 0000337c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000339d: AND 0000339e: SWAP3 0000339f: SWAP1 000033a0: SWAP3 000033a1: ADD 000033a2: PUSH1 0x20 000033a4: ADD 000033a5: SWAP3 000033a6: SWAP2 000033a7: POP 000033a8: POP 000033a9: JUMP 000033aa: JUMPDEST 000033ab: PUSH1 0x00 000033ad: DUP4 000033ae: MLOAD 000033af: PUSH2 0x33bc 000033b2: DUP2 000033b3: DUP5 000033b4: PUSH1 0x20 000033b6: DUP9 000033b7: ADD 000033b8: PUSH2 0x351b 000033bb: JUMP 000033bc: JUMPDEST 000033bd: DUP4 000033be: MLOAD 000033bf: SWAP1 000033c0: DUP4 000033c1: ADD 000033c2: SWAP1 000033c3: PUSH2 0x33d0 000033c6: DUP2 000033c7: DUP4 000033c8: PUSH1 0x20 000033ca: DUP9 000033cb: ADD 000033cc: PUSH2 0x351b 000033cf: JUMP 000033d0: JUMPDEST 000033d1: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000 000033f2: SWAP2 000033f3: ADD 000033f4: SWAP1 000033f5: DUP2 000033f6: MSTORE 000033f7: PUSH1 0x05 000033f9: ADD 000033fa: SWAP5 000033fb: SWAP4 000033fc: POP 000033fd: POP 000033fe: POP 000033ff: POP 00003400: JUMP 00003401: JUMPDEST 00003402: PUSH1 0x00 00003404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003419: DUP1 0000341a: DUP8 0000341b: AND 0000341c: DUP4 0000341d: MSTORE 0000341e: DUP1 0000341f: DUP7 00003420: AND 00003421: PUSH1 0x20 00003423: DUP5 00003424: ADD 00003425: MSTORE 00003426: POP 00003427: DUP4 00003428: PUSH1 0x40 0000342a: DUP4 0000342b: ADD 0000342c: MSTORE 0000342d: PUSH1 0x80 0000342f: PUSH1 0x60 00003431: DUP4 00003432: ADD 00003433: MSTORE 00003434: PUSH2 0x3440 00003437: PUSH1 0x80 00003439: DUP4 0000343a: ADD 0000343b: DUP5 0000343c: PUSH2 0x3360 0000343f: JUMP 00003440: JUMPDEST 00003441: SWAP7 00003442: SWAP6 00003443: POP 00003444: POP 00003445: POP 00003446: POP 00003447: POP 00003448: POP 00003449: JUMP 0000344a: JUMPDEST 0000344b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003460: DUP5 00003461: AND 00003462: DUP2 00003463: MSTORE 00003464: DUP3 00003465: PUSH1 0x20 00003467: DUP3 00003468: ADD 00003469: MSTORE 0000346a: PUSH1 0x60 0000346c: PUSH1 0x40 0000346e: DUP3 0000346f: ADD 00003470: MSTORE 00003471: PUSH1 0x00 00003473: PUSH2 0x347f 00003476: PUSH1 0x60 00003478: DUP4 00003479: ADD 0000347a: DUP5 0000347b: PUSH2 0x3360 0000347e: JUMP 0000347f: JUMPDEST 00003480: SWAP6 00003481: SWAP5 00003482: POP 00003483: POP 00003484: POP 00003485: POP 00003486: POP 00003487: JUMP 00003488: JUMPDEST 00003489: PUSH1 0x20 0000348b: DUP2 0000348c: MSTORE 0000348d: PUSH1 0x00 0000348f: PUSH2 0x3132 00003492: PUSH1 0x20 00003494: DUP4 00003495: ADD 00003496: DUP5 00003497: PUSH2 0x3360 0000349a: JUMP 0000349b: JUMPDEST 0000349c: PUSH1 0x00 0000349e: DUP3 0000349f: NOT 000034a0: DUP3 000034a1: GT 000034a2: ISZERO 000034a3: PUSH2 0x34ae 000034a6: JUMPI 000034a7: PUSH2 0x34ae 000034aa: PUSH2 0x35e2 000034ad: JUMP 000034ae: JUMPDEST 000034af: POP 000034b0: ADD 000034b1: SWAP1 000034b2: JUMP 000034b3: JUMPDEST 000034b4: PUSH1 0x00 000034b6: DUP3 000034b7: PUSH2 0x34c2 000034ba: JUMPI 000034bb: PUSH2 0x34c2 000034be: PUSH2 0x3611 000034c1: JUMP 000034c2: JUMPDEST 000034c3: POP 000034c4: DIV 000034c5: SWAP1 000034c6: JUMP 000034c7: JUMPDEST 000034c8: PUSH1 0x00 000034ca: DUP2 000034cb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000034ec: DIV 000034ed: DUP4 000034ee: GT 000034ef: DUP3 000034f0: ISZERO 000034f1: ISZERO 000034f2: AND 000034f3: ISZERO 000034f4: PUSH2 0x34ff 000034f7: JUMPI 000034f8: PUSH2 0x34ff 000034fb: PUSH2 0x35e2 000034fe: JUMP 000034ff: JUMPDEST 00003500: POP 00003501: MUL 00003502: SWAP1 00003503: JUMP 00003504: JUMPDEST 00003505: PUSH1 0x00 00003507: DUP3 00003508: DUP3 00003509: LT 0000350a: ISZERO 0000350b: PUSH2 0x3516 0000350e: JUMPI 0000350f: PUSH2 0x3516 00003512: PUSH2 0x35e2 00003515: JUMP 00003516: JUMPDEST 00003517: POP 00003518: SUB 00003519: SWAP1 0000351a: JUMP 0000351b: JUMPDEST 0000351c: PUSH1 0x00 0000351e: JUMPDEST 0000351f: DUP4 00003520: DUP2 00003521: LT 00003522: ISZERO 00003523: PUSH2 0x3536 00003526: JUMPI 00003527: DUP2 00003528: DUP2 00003529: ADD 0000352a: MLOAD 0000352b: DUP4 0000352c: DUP3 0000352d: ADD 0000352e: MSTORE 0000352f: PUSH1 0x20 00003531: ADD 00003532: PUSH2 0x351e 00003535: JUMP 00003536: JUMPDEST 00003537: DUP4 00003538: DUP2 00003539: GT 0000353a: ISZERO 0000353b: PUSH2 0x1a5f 0000353e: JUMPI 0000353f: POP 00003540: POP 00003541: PUSH1 0x00 00003543: SWAP2 00003544: ADD 00003545: MSTORE 00003546: JUMP 00003547: JUMPDEST 00003548: PUSH1 0x01 0000354a: DUP2 0000354b: DUP2 0000354c: SHR 0000354d: SWAP1 0000354e: DUP3 0000354f: AND 00003550: DUP1 00003551: PUSH2 0x355b 00003554: JUMPI 00003555: PUSH1 0x7f 00003557: DUP3 00003558: AND 00003559: SWAP2 0000355a: POP 0000355b: JUMPDEST 0000355c: PUSH1 0x20 0000355e: DUP3 0000355f: LT 00003560: DUP2 00003561: EQ 00003562: ISZERO 00003563: PUSH2 0x1b1a 00003566: JUMPI 00003567: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003588: PUSH1 0x00 0000358a: MSTORE 0000358b: PUSH1 0x22 0000358d: PUSH1 0x04 0000358f: MSTORE 00003590: PUSH1 0x24 00003592: PUSH1 0x00 00003594: REVERT 00003595: JUMPDEST 00003596: PUSH1 0x00 00003598: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000035b9: DUP3 000035ba: EQ 000035bb: ISZERO 000035bc: PUSH2 0x35c7 000035bf: JUMPI 000035c0: PUSH2 0x35c7 000035c3: PUSH2 0x35e2 000035c6: JUMP 000035c7: JUMPDEST 000035c8: POP 000035c9: PUSH1 0x01 000035cb: ADD 000035cc: SWAP1 000035cd: JUMP 000035ce: JUMPDEST 000035cf: PUSH1 0x00 000035d1: DUP3 000035d2: PUSH2 0x35dd 000035d5: JUMPI 000035d6: PUSH2 0x35dd 000035d9: PUSH2 0x3611 000035dc: JUMP 000035dd: JUMPDEST 000035de: POP 000035df: MOD 000035e0: SWAP1 000035e1: JUMP 000035e2: JUMPDEST 000035e3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003604: PUSH1 0x00 00003606: MSTORE 00003607: PUSH1 0x11 00003609: PUSH1 0x04 0000360b: MSTORE 0000360c: PUSH1 0x24 0000360e: PUSH1 0x00 00003610: REVERT 00003611: JUMPDEST 00003612: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003633: PUSH1 0x00 00003635: MSTORE 00003636: PUSH1 0x12 00003638: PUSH1 0x04 0000363a: MSTORE 0000363b: PUSH1 0x24 0000363d: PUSH1 0x00 0000363f: REVERT 00003640: JUMPDEST 00003641: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003662: PUSH1 0x00 00003664: MSTORE 00003665: PUSH1 0x31 00003667: PUSH1 0x04 00003669: MSTORE 0000366a: PUSH1 0x24 0000366c: PUSH1 0x00 0000366e: REVERT 0000366f: JUMPDEST 00003670: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003691: PUSH1 0x00 00003693: MSTORE 00003694: PUSH1 0x32 00003696: PUSH1 0x04 00003698: MSTORE 00003699: PUSH1 0x24 0000369b: PUSH1 0x00 0000369d: REVERT 0000369e: JUMPDEST 0000369f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000036c0: PUSH1 0x00 000036c2: MSTORE 000036c3: PUSH1 0x41 000036c5: PUSH1 0x04 000036c7: MSTORE 000036c8: PUSH1 0x24 000036ca: PUSH1 0x00 000036cc: REVERT 000036cd: JUMPDEST 000036ce: DUP1 000036cf: ISZERO 000036d0: ISZERO 000036d1: DUP2 000036d2: EQ 000036d3: PUSH2 0x0dbf 000036d6: JUMPI 000036d7: PUSH1 0x00 000036d9: DUP1 000036da: REVERT 000036db: JUMPDEST 000036dc: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000036fd: DUP2 000036fe: AND 000036ff: DUP2 00003700: EQ 00003701: PUSH2 0x0dbf 00003704: JUMPI 00003705: PUSH1 0x00 00003707: DUP1 00003708: REVERT 00003709: INVALID 0000370a: ORIGIN 0000370b: CODECOPY 0000370c: CALLDATACOPY 0000370d: CALLVALUE 0000370e: PUSH7 0x36303362623130 00003716: CALLDATACOPY 00003717: BALANCE 00003718: CODESIZE 00003719: CODECOPY 0000371a: PUSH2 0x3331 0000371d: ORIGIN 0000371e: CALLDATASIZE 0000371f: CODECOPY 00003720: CALLVALUE 00003721: PUSH3 0x393263 00003725: CODECOPY 00003726: CODESIZE 00003727: CODESIZE 00003728: ADDRESS 00003729: PUSH5 0x3430636339 0000372f: ORIGIN 00003730: PUSH7 0x33633837393664 00003738: CALLDATASIZE 00003739: CALLDATACOPY 0000373a: CALLVALUE 0000373b: CALLVALUE 0000373c: CALLER 0000373d: PUSH5 0x6531376231 00003743: PUSH4 0x66333036 00003748: CODESIZE 00003749: PUSH7 0x697066733a2f2f 00003751: MLOAD 00003752: PUSH14 0x5076424a62787a486d5a38666a72 00003761: PUSH7 0x613154344d6575 00003769: SLOAD 0000376a: PUSH27 0x6d663965376e6552445656784673366270634159a164736f6c6343 00003786: STOP 00003787: ADDMOD 00003788: SMOD 00003789: STOP 0000378a: EXP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe72f9843",
"selector": "0xe72f9843",
"calldata_variants": [
"0xe72f9843",
"0xe72f98430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5556544",
"selector": "0xd5556544",
"calldata_variants": [
"0xd5556544",
"0xd55565440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab0bcc41",
"selector": "0xab0bcc41",
"calldata_variants": [
"0xab0bcc41",
"0xab0bcc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2458,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4721,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 14090,
"type": "tx_origin_used"
},
{
"pc": 14109,
"type": "tx_origin_used"
},
{
"pc": 14127,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a
call_targets:
0x44d26d3ba60df9e9737399a6ecb9781d7122a752
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x44d26d3ba60df9e9737399a6ecb9781d7122a752"
],
"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": "0xe72f9843",
"selector": "0xe72f9843",
"calldata_variants": [
"0xe72f9843",
"0xe72f98430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5556544",
"selector": "0xd5556544",
"calldata_variants": [
"0xd5556544",
"0xd55565440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab0bcc41",
"selector": "0xab0bcc41",
"calldata_variants": [
"0xab0bcc41",
"0xab0bcc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3358,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9722,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2458,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4721,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 14090,
"type": "tx_origin_used"
},
{
"pc": 14109,
"type": "tx_origin_used"
},
{
"pc": 14127,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a
call_targets:
0x44d26d3ba60df9e9737399a6ecb9781d7122a752
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfa7c19c900d0e2c0ba253b515d69d6d0662babdf8a8f46fe66267a07c4b86f4a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x44d26d3ba60df9e9737399a6ecb9781d7122a752"
],
"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": "0xe72f9843",
"selector": "0xe72f9843",
"calldata_variants": [
"0xe72f9843",
"0xe72f98430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5556544",
"selector": "0xd5556544",
"calldata_variants": [
"0xd5556544",
"0xd55565440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab0bcc41",
"selector": "0xab0bcc41",
"calldata_variants": [
"0xab0bcc41",
"0xab0bcc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3358,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9722,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2458,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4721,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 14090,
"type": "tx_origin_used"
},
{
"pc": 14109,
"type": "tx_origin_used"
},
{
"pc": 14127,
"type": "tx_origin_used"
}
]
}
|