019b3844-9eae-71b0-ba12-5f8f96a19b23
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 |
|---|---|---|---|---|
| 14971 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14972 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 58033 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 58034 | capability.graph | complete | 1 / 3 | 1 week ago |
| 58035 | detector.run | complete | 1 / 3 | 1 week ago |
| 58036 | 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 0x01dc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x584b153e 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb1c5f427 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd547741f 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd547741f 0000003a: EQ 0000003b: PUSH2 0x0685 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe38335e5 00000045: EQ 00000046: PUSH2 0x06a5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf23a6e61 00000050: EQ 00000051: PUSH2 0x06b8 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf27a0c92 0000005b: EQ 0000005c: PUSH2 0x06fe 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xb1c5f427 0000006b: EQ 0000006c: PUSH2 0x05d0 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xbc197c81 00000076: EQ 00000077: PUSH2 0x05f0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc4d252f5 00000081: EQ 00000082: PUSH2 0x0638 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd45c4435 0000008c: EQ 0000008d: PUSH2 0x0658 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8f2a0bb0 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8f2a0bb0 000000a7: EQ 000000a8: PUSH2 0x0516 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8f61f4f5 000000b2: EQ 000000b3: PUSH2 0x0536 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x91d14854 000000bd: EQ 000000be: PUSH2 0x056a 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa217fddf 000000c8: EQ 000000c9: PUSH2 0x05bb 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x584b153e 000000d8: EQ 000000d9: PUSH2 0x0482 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x64d62353 000000e3: EQ 000000e4: PUSH2 0x04a2 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8065657f 000000ee: EQ 000000ef: PUSH2 0x04c2 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x875d1239 000000f9: EQ 000000fa: PUSH2 0x04e2 000000fd: JUMPI 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x150b7a02 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x2d446ac6 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x2d446ac6 0000011f: EQ 00000120: PUSH2 0x0408 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x2f2ff15d 0000012a: EQ 0000012b: PUSH2 0x0422 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x31d50750 00000135: EQ 00000136: PUSH2 0x0442 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x36568abe 00000140: EQ 00000141: PUSH2 0x0462 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x150b7a02 00000150: EQ 00000151: PUSH2 0x02fd 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x248a9ca3 0000015b: EQ 0000015c: PUSH2 0x0373 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x24ea54f4 00000166: EQ 00000167: PUSH2 0x03a3 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x2ab0f529 00000171: EQ 00000172: PUSH2 0x03d7 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x0d3cf6fc 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x0d3cf6fc 0000018c: EQ 0000018d: PUSH2 0x0281 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x134008d3 00000197: EQ 00000198: PUSH2 0x02b5 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x13bc9f20 000001a2: EQ 000001a3: PUSH2 0x02c8 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x14a709b9 000001ad: EQ 000001ae: PUSH2 0x02e8 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH4 0x01d5062a 000001bd: EQ 000001be: PUSH2 0x01e8 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x01ffc9a7 000001c8: EQ 000001c9: PUSH2 0x020a 000001cc: JUMPI 000001cd: DUP1 000001ce: PUSH4 0x07bd0265 000001d3: EQ 000001d4: PUSH2 0x023f 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: CALLDATASIZE 000001de: PUSH2 0x01e3 000001e1: JUMPI 000001e2: STOP 000001e3: JUMPDEST 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x0208 000001f9: PUSH2 0x0203 000001fc: CALLDATASIZE 000001fd: PUSH1 0x04 000001ff: PUSH2 0x1cca 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH2 0x0713 00000207: JUMP 00000208: JUMPDEST 00000209: STOP 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x022a 0000021b: PUSH2 0x0225 0000021e: CALLDATASIZE 0000021f: PUSH1 0x04 00000221: PUSH2 0x1d3f 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x07a9 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: SWAP1 0000022f: ISZERO 00000230: ISZERO 00000231: DUP2 00000232: MSTORE 00000233: PUSH1 0x20 00000235: ADD 00000236: JUMPDEST 00000237: PUSH1 0x40 00000239: MLOAD 0000023a: DUP1 0000023b: SWAP2 0000023c: SUB 0000023d: SWAP1 0000023e: RETURN 0000023f: JUMPDEST 00000240: CALLVALUE 00000241: DUP1 00000242: ISZERO 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: POP 0000024d: PUSH2 0x0273 00000250: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63 00000271: DUP2 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: SWAP1 00000278: DUP2 00000279: MSTORE 0000027a: PUSH1 0x20 0000027c: ADD 0000027d: PUSH2 0x0236 00000280: JUMP 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH2 0x0273 00000292: PUSH32 0x5f58e3a2316349923ce3780f8d587db2d72378aed66a8261c916544fa6846ca5 000002b3: DUP2 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH2 0x0208 000002b9: PUSH2 0x02c3 000002bc: CALLDATASIZE 000002bd: PUSH1 0x04 000002bf: PUSH2 0x1d81 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH2 0x0842 000002c7: JUMP 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: PUSH2 0x022a 000002d9: PUSH2 0x02e3 000002dc: CALLDATASIZE 000002dd: PUSH1 0x04 000002df: PUSH2 0x1ded 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH2 0x08fd 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x0208 000002f9: PUSH2 0x0923 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH2 0x0342 0000030e: PUSH2 0x0318 00000311: CALLDATASIZE 00000312: PUSH1 0x04 00000314: PUSH2 0x1e06 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 0000033a: SWAP6 0000033b: SWAP5 0000033c: POP 0000033d: POP 0000033e: POP 0000033f: POP 00000340: POP 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x40 00000345: MLOAD 00000346: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000367: SWAP1 00000368: SWAP2 00000369: AND 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: PUSH2 0x0236 00000372: JUMP 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x0273 00000384: PUSH2 0x038e 00000387: CALLDATASIZE 00000388: PUSH1 0x04 0000038a: PUSH2 0x1ded 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x00 00000391: SWAP1 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: DUP2 00000397: SWAP1 00000398: MSTORE 00000399: PUSH1 0x40 0000039b: SWAP1 0000039c: KECCAK256 0000039d: PUSH1 0x01 0000039f: ADD 000003a0: SLOAD 000003a1: SWAP1 000003a2: JUMP 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x0273 000003b4: PUSH32 0x55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a5041 000003d5: DUP2 000003d6: JUMP 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: DUP1 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: POP 000003e5: PUSH2 0x022a 000003e8: PUSH2 0x03f2 000003eb: CALLDATASIZE 000003ec: PUSH1 0x04 000003ee: PUSH2 0x1ded 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH1 0x00 000003f5: SWAP1 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x01 000003fa: PUSH1 0x20 000003fc: DUP2 000003fd: SWAP1 000003fe: MSTORE 000003ff: PUSH1 0x40 00000401: SWAP1 00000402: SWAP2 00000403: KECCAK256 00000404: SLOAD 00000405: EQ 00000406: SWAP1 00000407: JUMP 00000408: JUMPDEST 00000409: CALLVALUE 0000040a: DUP1 0000040b: ISZERO 0000040c: PUSH2 0x0414 0000040f: JUMPI 00000410: PUSH1 0x00 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: POP 00000416: PUSH1 0x03 00000418: SLOAD 00000419: PUSH2 0x022a 0000041c: SWAP1 0000041d: PUSH1 0xff 0000041f: AND 00000420: DUP2 00000421: JUMP 00000422: JUMPDEST 00000423: CALLVALUE 00000424: DUP1 00000425: ISZERO 00000426: PUSH2 0x042e 00000429: JUMPI 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: POP 00000430: PUSH2 0x0208 00000433: PUSH2 0x043d 00000436: CALLDATASIZE 00000437: PUSH1 0x04 00000439: PUSH2 0x1e75 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH2 0x0a5a 00000441: JUMP 00000442: JUMPDEST 00000443: CALLVALUE 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: PUSH2 0x022a 00000453: PUSH2 0x045d 00000456: CALLDATASIZE 00000457: PUSH1 0x04 00000459: PUSH2 0x1ded 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH2 0x0a85 00000461: JUMP 00000462: JUMPDEST 00000463: CALLVALUE 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x046e 00000469: JUMPI 0000046a: PUSH1 0x00 0000046c: DUP1 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: PUSH2 0x0208 00000473: PUSH2 0x047d 00000476: CALLDATASIZE 00000477: PUSH1 0x04 00000479: PUSH2 0x1e75 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH2 0x0a9e 00000481: JUMP 00000482: JUMPDEST 00000483: CALLVALUE 00000484: DUP1 00000485: ISZERO 00000486: PUSH2 0x048e 00000489: JUMPI 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: REVERT 0000048e: JUMPDEST 0000048f: POP 00000490: PUSH2 0x022a 00000493: PUSH2 0x049d 00000496: CALLDATASIZE 00000497: PUSH1 0x04 00000499: PUSH2 0x1ded 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x0b1e 000004a1: JUMP 000004a2: JUMPDEST 000004a3: CALLVALUE 000004a4: DUP1 000004a5: ISZERO 000004a6: PUSH2 0x04ae 000004a9: JUMPI 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: REVERT 000004ae: JUMPDEST 000004af: POP 000004b0: PUSH2 0x0208 000004b3: PUSH2 0x04bd 000004b6: CALLDATASIZE 000004b7: PUSH1 0x04 000004b9: PUSH2 0x1ded 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH2 0x0b34 000004c1: JUMP 000004c2: JUMPDEST 000004c3: CALLVALUE 000004c4: DUP1 000004c5: ISZERO 000004c6: PUSH2 0x04ce 000004c9: JUMPI 000004ca: PUSH1 0x00 000004cc: DUP1 000004cd: REVERT 000004ce: JUMPDEST 000004cf: POP 000004d0: PUSH2 0x0273 000004d3: PUSH2 0x04dd 000004d6: CALLDATASIZE 000004d7: PUSH1 0x04 000004d9: PUSH2 0x1d81 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH2 0x0c04 000004e1: JUMP 000004e2: JUMPDEST 000004e3: CALLVALUE 000004e4: DUP1 000004e5: ISZERO 000004e6: PUSH2 0x04ee 000004e9: JUMPI 000004ea: PUSH1 0x00 000004ec: DUP1 000004ed: REVERT 000004ee: JUMPDEST 000004ef: POP 000004f0: PUSH2 0x0273 000004f3: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46 00000514: DUP2 00000515: JUMP 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH2 0x0208 00000527: PUSH2 0x0531 0000052a: CALLDATASIZE 0000052b: PUSH1 0x04 0000052d: PUSH2 0x1ee6 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH2 0x0c43 00000535: JUMP 00000536: JUMPDEST 00000537: CALLVALUE 00000538: DUP1 00000539: ISZERO 0000053a: PUSH2 0x0542 0000053d: JUMPI 0000053e: PUSH1 0x00 00000540: DUP1 00000541: REVERT 00000542: JUMPDEST 00000543: POP 00000544: PUSH2 0x0273 00000547: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1 00000568: DUP2 00000569: JUMP 0000056a: JUMPDEST 0000056b: CALLVALUE 0000056c: DUP1 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: POP 00000578: PUSH2 0x022a 0000057b: PUSH2 0x0585 0000057e: CALLDATASIZE 0000057f: PUSH1 0x04 00000581: PUSH2 0x1e75 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x00 00000588: SWAP2 00000589: DUP3 0000058a: MSTORE 0000058b: PUSH1 0x20 0000058d: DUP3 0000058e: DUP2 0000058f: MSTORE 00000590: PUSH1 0x40 00000592: DUP1 00000593: DUP5 00000594: KECCAK256 00000595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005aa: SWAP4 000005ab: SWAP1 000005ac: SWAP4 000005ad: AND 000005ae: DUP5 000005af: MSTORE 000005b0: SWAP2 000005b1: SWAP1 000005b2: MSTORE 000005b3: SWAP1 000005b4: KECCAK256 000005b5: SLOAD 000005b6: PUSH1 0xff 000005b8: AND 000005b9: SWAP1 000005ba: JUMP 000005bb: JUMPDEST 000005bc: CALLVALUE 000005bd: DUP1 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: POP 000005c9: PUSH2 0x0273 000005cc: PUSH1 0x00 000005ce: DUP2 000005cf: JUMP 000005d0: JUMPDEST 000005d1: CALLVALUE 000005d2: DUP1 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: PUSH2 0x0273 000005e1: PUSH2 0x05eb 000005e4: CALLDATASIZE 000005e5: PUSH1 0x04 000005e7: PUSH2 0x1f98 000005ea: JUMP 000005eb: JUMPDEST 000005ec: PUSH2 0x0e76 000005ef: JUMP 000005f0: JUMPDEST 000005f1: CALLVALUE 000005f2: DUP1 000005f3: ISZERO 000005f4: PUSH2 0x05fc 000005f7: JUMPI 000005f8: PUSH1 0x00 000005fa: DUP1 000005fb: REVERT 000005fc: JUMPDEST 000005fd: POP 000005fe: PUSH2 0x0342 00000601: PUSH2 0x060b 00000604: CALLDATASIZE 00000605: PUSH1 0x04 00000607: PUSH2 0x2041 0000060a: JUMP 0000060b: JUMPDEST 0000060c: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000 0000062d: SWAP9 0000062e: SWAP8 0000062f: POP 00000630: POP 00000631: POP 00000632: POP 00000633: POP 00000634: POP 00000635: POP 00000636: POP 00000637: JUMP 00000638: JUMPDEST 00000639: CALLVALUE 0000063a: DUP1 0000063b: ISZERO 0000063c: PUSH2 0x0644 0000063f: JUMPI 00000640: PUSH1 0x00 00000642: DUP1 00000643: REVERT 00000644: JUMPDEST 00000645: POP 00000646: PUSH2 0x0208 00000649: PUSH2 0x0653 0000064c: CALLDATASIZE 0000064d: PUSH1 0x04 0000064f: PUSH2 0x1ded 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH2 0x0ebb 00000657: JUMP 00000658: JUMPDEST 00000659: CALLVALUE 0000065a: DUP1 0000065b: ISZERO 0000065c: PUSH2 0x0664 0000065f: JUMPI 00000660: PUSH1 0x00 00000662: DUP1 00000663: REVERT 00000664: JUMPDEST 00000665: POP 00000666: PUSH2 0x0273 00000669: PUSH2 0x0673 0000066c: CALLDATASIZE 0000066d: PUSH1 0x04 0000066f: PUSH2 0x1ded 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH1 0x00 00000676: SWAP1 00000677: DUP2 00000678: MSTORE 00000679: PUSH1 0x01 0000067b: PUSH1 0x20 0000067d: MSTORE 0000067e: PUSH1 0x40 00000680: SWAP1 00000681: KECCAK256 00000682: SLOAD 00000683: SWAP1 00000684: JUMP 00000685: JUMPDEST 00000686: CALLVALUE 00000687: DUP1 00000688: ISZERO 00000689: PUSH2 0x0691 0000068c: JUMPI 0000068d: PUSH1 0x00 0000068f: DUP1 00000690: REVERT 00000691: JUMPDEST 00000692: POP 00000693: PUSH2 0x0208 00000696: PUSH2 0x06a0 00000699: CALLDATASIZE 0000069a: PUSH1 0x04 0000069c: PUSH2 0x1e75 0000069f: JUMP 000006a0: JUMPDEST 000006a1: PUSH2 0x0fb7 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH2 0x0208 000006a9: PUSH2 0x06b3 000006ac: CALLDATASIZE 000006ad: PUSH1 0x04 000006af: PUSH2 0x1f98 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH2 0x0fdd 000006b7: JUMP 000006b8: JUMPDEST 000006b9: CALLVALUE 000006ba: DUP1 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: POP 000006c6: PUSH2 0x0342 000006c9: PUSH2 0x06d3 000006cc: CALLDATASIZE 000006cd: PUSH1 0x04 000006cf: PUSH2 0x20fc 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH32 0xf23a6e6100000000000000000000000000000000000000000000000000000000 000006f5: SWAP7 000006f6: SWAP6 000006f7: POP 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: POP 000006fc: POP 000006fd: JUMP 000006fe: JUMPDEST 000006ff: CALLVALUE 00000700: DUP1 00000701: ISZERO 00000702: PUSH2 0x070a 00000705: JUMPI 00000706: PUSH1 0x00 00000708: DUP1 00000709: REVERT 0000070a: JUMPDEST 0000070b: POP 0000070c: PUSH1 0x02 0000070e: SLOAD 0000070f: PUSH2 0x0273 00000712: JUMP 00000713: JUMPDEST 00000714: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1 00000735: PUSH2 0x073e 00000738: DUP2 00000739: CALLER 0000073a: PUSH2 0x1235 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH1 0x00 00000741: PUSH2 0x074e 00000744: DUP10 00000745: DUP10 00000746: DUP10 00000747: DUP10 00000748: DUP10 00000749: DUP10 0000074a: PUSH2 0x0c04 0000074d: JUMP 0000074e: JUMPDEST 0000074f: SWAP1 00000750: POP 00000751: PUSH2 0x075a 00000754: DUP2 00000755: DUP5 00000756: PUSH2 0x1305 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH1 0x00 0000075d: DUP2 0000075e: PUSH32 0x4cf4410cc57040e44862ef0f45f3dd5a5e02db8eb8add648d4b0e236f1d07dca 0000077f: DUP12 00000780: DUP12 00000781: DUP12 00000782: DUP12 00000783: DUP12 00000784: DUP11 00000785: PUSH1 0x40 00000787: MLOAD 00000788: PUSH2 0x0796 0000078b: SWAP7 0000078c: SWAP6 0000078d: SWAP5 0000078e: SWAP4 0000078f: SWAP3 00000790: SWAP2 00000791: SWAP1 00000792: PUSH2 0x21bd 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: DUP1 0000079b: SWAP2 0000079c: SUB 0000079d: SWAP1 0000079e: LOG3 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: POP 000007a7: POP 000007a8: JUMP 000007a9: JUMPDEST 000007aa: PUSH1 0x00 000007ac: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000007cd: DUP3 000007ce: AND 000007cf: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 000007f0: EQ 000007f1: DUP1 000007f2: PUSH2 0x083c 000007f5: JUMPI 000007f6: POP 000007f7: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00000818: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000839: DUP4 0000083a: AND 0000083b: EQ 0000083c: JUMPDEST 0000083d: SWAP3 0000083e: SWAP2 0000083f: POP 00000840: POP 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x00 00000845: DUP1 00000846: MSTORE 00000847: PUSH32 0xdae2aa361dfd1ca020a396615627d436107c35eff9fe7738a3512819782d7069 00000868: PUSH1 0x20 0000086a: MSTORE 0000086b: PUSH32 0x5ba6852781629bcdcd4bdaa6de76d786f1c64b16acdac474e55bebc0ea157951 0000088c: SLOAD 0000088d: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63 000008ae: SWAP1 000008af: PUSH1 0xff 000008b1: AND 000008b2: PUSH2 0x08bf 000008b5: JUMPI 000008b6: PUSH2 0x08bf 000008b9: DUP2 000008ba: CALLER 000008bb: PUSH2 0x1235 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH1 0x00 000008c2: PUSH2 0x08cf 000008c5: DUP9 000008c6: DUP9 000008c7: DUP9 000008c8: DUP9 000008c9: DUP9 000008ca: DUP9 000008cb: PUSH2 0x0c04 000008ce: JUMP 000008cf: JUMPDEST 000008d0: SWAP1 000008d1: POP 000008d2: PUSH2 0x08db 000008d5: DUP2 000008d6: DUP6 000008d7: PUSH2 0x144d 000008da: JUMP 000008db: JUMPDEST 000008dc: PUSH2 0x08ea 000008df: DUP2 000008e0: PUSH1 0x00 000008e2: DUP11 000008e3: DUP11 000008e4: DUP11 000008e5: DUP11 000008e6: PUSH2 0x158a 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH2 0x08f3 000008ee: DUP2 000008ef: PUSH2 0x16cf 000008f2: JUMP 000008f3: JUMPDEST 000008f4: POP 000008f5: POP 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: POP 000008fb: POP 000008fc: JUMP 000008fd: JUMPDEST 000008fe: PUSH1 0x00 00000900: DUP2 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x01 00000905: PUSH1 0x20 00000907: MSTORE 00000908: PUSH1 0x40 0000090a: DUP2 0000090b: KECCAK256 0000090c: SLOAD 0000090d: PUSH1 0x01 0000090f: DUP2 00000910: GT 00000911: DUP1 00000912: ISZERO 00000913: PUSH2 0x091c 00000916: JUMPI 00000917: POP 00000918: TIMESTAMP 00000919: DUP2 0000091a: GT 0000091b: ISZERO 0000091c: JUMPDEST 0000091d: SWAP4 0000091e: SWAP3 0000091f: POP 00000920: POP 00000921: POP 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH32 0x55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a5041 00000945: PUSH2 0x094e 00000948: DUP2 00000949: CALLER 0000094a: PUSH2 0x1235 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH2 0x0998 00000952: PUSH32 0x5f58e3a2316349923ce3780f8d587db2d72378aed66a8261c916544fa6846ca5 00000973: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46 00000994: PUSH2 0x1778 00000997: JUMP 00000998: JUMPDEST 00000999: PUSH2 0x09e2 0000099c: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1 000009bd: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46 000009de: PUSH2 0x1778 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH2 0x0a2c 000009e6: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63 00000a07: PUSH32 0xb74efb1331f2ac159f6a86c8c3fad56a75c3c91bdefeba4af6441cd313e03d46 00000a28: PUSH2 0x1778 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: POP 00000a2e: PUSH1 0x03 00000a30: DUP1 00000a31: SLOAD 00000a32: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000a53: AND 00000a54: PUSH1 0x01 00000a56: OR 00000a57: SWAP1 00000a58: SSTORE 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH1 0x00 00000a5d: DUP3 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x20 00000a62: DUP2 00000a63: SWAP1 00000a64: MSTORE 00000a65: PUSH1 0x40 00000a67: SWAP1 00000a68: KECCAK256 00000a69: PUSH1 0x01 00000a6b: ADD 00000a6c: SLOAD 00000a6d: PUSH2 0x0a76 00000a70: DUP2 00000a71: CALLER 00000a72: PUSH2 0x1235 00000a75: JUMP 00000a76: JUMPDEST 00000a77: PUSH2 0x0a80 00000a7a: DUP4 00000a7b: DUP4 00000a7c: PUSH2 0x17c3 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: POP 00000a82: POP 00000a83: POP 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH1 0x00 00000a88: DUP2 00000a89: DUP2 00000a8a: MSTORE 00000a8b: PUSH1 0x01 00000a8d: PUSH1 0x20 00000a8f: MSTORE 00000a90: PUSH1 0x40 00000a92: DUP2 00000a93: KECCAK256 00000a94: SLOAD 00000a95: DUP2 00000a96: SWAP1 00000a97: JUMPDEST 00000a98: GT 00000a99: SWAP3 00000a9a: SWAP2 00000a9b: POP 00000a9c: POP 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH1 0x03 00000aa1: SLOAD 00000aa2: PUSH1 0xff 00000aa4: AND 00000aa5: ISZERO 00000aa6: PUSH2 0x0b10 00000aa9: JUMPI 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x20 00000ad2: PUSH1 0x04 00000ad4: DUP3 00000ad5: ADD 00000ad6: MSTORE 00000ad7: PUSH1 0x1a 00000ad9: PUSH1 0x24 00000adb: DUP3 00000adc: ADD 00000add: MSTORE 00000ade: PUSH32 0x476f7665726e616e636520697320696d6d6f7274616c697a6564000000000000 00000aff: PUSH1 0x44 00000b01: DUP3 00000b02: ADD 00000b03: MSTORE 00000b04: PUSH1 0x64 00000b06: ADD 00000b07: JUMPDEST 00000b08: PUSH1 0x40 00000b0a: MLOAD 00000b0b: DUP1 00000b0c: SWAP2 00000b0d: SUB 00000b0e: SWAP1 00000b0f: REVERT 00000b10: JUMPDEST 00000b11: PUSH2 0x0b1a 00000b14: DUP3 00000b15: DUP3 00000b16: PUSH2 0x18b3 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: POP 00000b1c: POP 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: PUSH1 0x00 00000b21: DUP2 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x01 00000b26: PUSH1 0x20 00000b28: DUP2 00000b29: SWAP1 00000b2a: MSTORE 00000b2b: PUSH1 0x40 00000b2d: DUP3 00000b2e: KECCAK256 00000b2f: SLOAD 00000b30: PUSH2 0x0a97 00000b33: JUMP 00000b34: JUMPDEST 00000b35: CALLER 00000b36: ADDRESS 00000b37: EQ 00000b38: PUSH2 0x0bc3 00000b3b: JUMPI 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b60: DUP2 00000b61: MSTORE 00000b62: PUSH1 0x20 00000b64: PUSH1 0x04 00000b66: DUP3 00000b67: ADD 00000b68: MSTORE 00000b69: PUSH1 0x2b 00000b6b: PUSH1 0x24 00000b6d: DUP3 00000b6e: ADD 00000b6f: MSTORE 00000b70: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a2063616c6c6572206d75737420 00000b91: PUSH1 0x44 00000b93: DUP3 00000b94: ADD 00000b95: MSTORE 00000b96: PUSH32 0x62652074696d656c6f636b000000000000000000000000000000000000000000 00000bb7: PUSH1 0x64 00000bb9: DUP3 00000bba: ADD 00000bbb: MSTORE 00000bbc: PUSH1 0x84 00000bbe: ADD 00000bbf: PUSH2 0x0b07 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x02 00000bc6: SLOAD 00000bc7: PUSH1 0x40 00000bc9: DUP1 00000bca: MLOAD 00000bcb: SWAP2 00000bcc: DUP3 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: DUP3 00000bd1: ADD 00000bd2: DUP4 00000bd3: SWAP1 00000bd4: MSTORE 00000bd5: PUSH32 0x11c24f4ead16507c69ac467fbd5e4eed5fb5c699626d2cc6d66421df253886d5 00000bf6: SWAP2 00000bf7: ADD 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: DUP1 00000bfc: SWAP2 00000bfd: SUB 00000bfe: SWAP1 00000bff: LOG1 00000c00: PUSH1 0x02 00000c02: SSTORE 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH1 0x00 00000c07: DUP7 00000c08: DUP7 00000c09: DUP7 00000c0a: DUP7 00000c0b: DUP7 00000c0c: DUP7 00000c0d: PUSH1 0x40 00000c0f: MLOAD 00000c10: PUSH1 0x20 00000c12: ADD 00000c13: PUSH2 0x0c21 00000c16: SWAP7 00000c17: SWAP6 00000c18: SWAP5 00000c19: SWAP4 00000c1a: SWAP3 00000c1b: SWAP2 00000c1c: SWAP1 00000c1d: PUSH2 0x21bd 00000c20: JUMP 00000c21: JUMPDEST 00000c22: PUSH1 0x40 00000c24: MLOAD 00000c25: PUSH1 0x20 00000c27: DUP2 00000c28: DUP4 00000c29: SUB 00000c2a: SUB 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: SWAP1 00000c2e: PUSH1 0x40 00000c30: MSTORE 00000c31: DUP1 00000c32: MLOAD 00000c33: SWAP1 00000c34: PUSH1 0x20 00000c36: ADD 00000c37: KECCAK256 00000c38: SWAP1 00000c39: POP 00000c3a: SWAP7 00000c3b: SWAP6 00000c3c: POP 00000c3d: POP 00000c3e: POP 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1 00000c65: PUSH2 0x0c6e 00000c68: DUP2 00000c69: CALLER 00000c6a: PUSH2 0x1235 00000c6d: JUMP 00000c6e: JUMPDEST 00000c6f: DUP9 00000c70: DUP8 00000c71: EQ 00000c72: PUSH2 0x0cfd 00000c75: JUMPI 00000c76: PUSH1 0x40 00000c78: MLOAD 00000c79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c9a: DUP2 00000c9b: MSTORE 00000c9c: PUSH1 0x20 00000c9e: PUSH1 0x04 00000ca0: DUP3 00000ca1: ADD 00000ca2: MSTORE 00000ca3: PUSH1 0x23 00000ca5: PUSH1 0x24 00000ca7: DUP3 00000ca8: ADD 00000ca9: MSTORE 00000caa: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61 00000ccb: PUSH1 0x44 00000ccd: DUP3 00000cce: ADD 00000ccf: MSTORE 00000cd0: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000 00000cf1: PUSH1 0x64 00000cf3: DUP3 00000cf4: ADD 00000cf5: MSTORE 00000cf6: PUSH1 0x84 00000cf8: ADD 00000cf9: PUSH2 0x0b07 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: DUP9 00000cff: DUP6 00000d00: EQ 00000d01: PUSH2 0x0d8c 00000d04: JUMPI 00000d05: PUSH1 0x40 00000d07: MLOAD 00000d08: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x20 00000d2d: PUSH1 0x04 00000d2f: DUP3 00000d30: ADD 00000d31: MSTORE 00000d32: PUSH1 0x23 00000d34: PUSH1 0x24 00000d36: DUP3 00000d37: ADD 00000d38: MSTORE 00000d39: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61 00000d5a: PUSH1 0x44 00000d5c: DUP3 00000d5d: ADD 00000d5e: MSTORE 00000d5f: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000 00000d80: PUSH1 0x64 00000d82: DUP3 00000d83: ADD 00000d84: MSTORE 00000d85: PUSH1 0x84 00000d87: ADD 00000d88: PUSH2 0x0b07 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: PUSH1 0x00 00000d8f: PUSH2 0x0d9e 00000d92: DUP12 00000d93: DUP12 00000d94: DUP12 00000d95: DUP12 00000d96: DUP12 00000d97: DUP12 00000d98: DUP12 00000d99: DUP12 00000d9a: PUSH2 0x0e76 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: SWAP1 00000da0: POP 00000da1: PUSH2 0x0daa 00000da4: DUP2 00000da5: DUP5 00000da6: PUSH2 0x1305 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH1 0x00 00000dad: JUMPDEST 00000dae: DUP11 00000daf: DUP2 00000db0: LT 00000db1: ISZERO 00000db2: PUSH2 0x0e68 00000db5: JUMPI 00000db6: DUP1 00000db7: DUP3 00000db8: PUSH32 0x4cf4410cc57040e44862ef0f45f3dd5a5e02db8eb8add648d4b0e236f1d07dca 00000dd9: DUP15 00000dda: DUP15 00000ddb: DUP6 00000ddc: DUP2 00000ddd: DUP2 00000dde: LT 00000ddf: PUSH2 0x0dea 00000de2: JUMPI 00000de3: PUSH2 0x0dea 00000de6: PUSH2 0x2208 00000de9: JUMP 00000dea: JUMPDEST 00000deb: SWAP1 00000dec: POP 00000ded: PUSH1 0x20 00000def: MUL 00000df0: ADD 00000df1: PUSH1 0x20 00000df3: DUP2 00000df4: ADD 00000df5: SWAP1 00000df6: PUSH2 0x0dff 00000df9: SWAP2 00000dfa: SWAP1 00000dfb: PUSH2 0x2237 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: DUP14 00000e01: DUP14 00000e02: DUP7 00000e03: DUP2 00000e04: DUP2 00000e05: LT 00000e06: PUSH2 0x0e11 00000e09: JUMPI 00000e0a: PUSH2 0x0e11 00000e0d: PUSH2 0x2208 00000e10: JUMP 00000e11: JUMPDEST 00000e12: SWAP1 00000e13: POP 00000e14: PUSH1 0x20 00000e16: MUL 00000e17: ADD 00000e18: CALLDATALOAD 00000e19: DUP13 00000e1a: DUP13 00000e1b: DUP8 00000e1c: DUP2 00000e1d: DUP2 00000e1e: LT 00000e1f: PUSH2 0x0e2a 00000e22: JUMPI 00000e23: PUSH2 0x0e2a 00000e26: PUSH2 0x2208 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: SWAP1 00000e2c: POP 00000e2d: PUSH1 0x20 00000e2f: MUL 00000e30: DUP2 00000e31: ADD 00000e32: SWAP1 00000e33: PUSH2 0x0e3c 00000e36: SWAP2 00000e37: SWAP1 00000e38: PUSH2 0x2252 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: DUP13 00000e3e: DUP12 00000e3f: PUSH1 0x40 00000e41: MLOAD 00000e42: PUSH2 0x0e50 00000e45: SWAP7 00000e46: SWAP6 00000e47: SWAP5 00000e48: SWAP4 00000e49: SWAP3 00000e4a: SWAP2 00000e4b: SWAP1 00000e4c: PUSH2 0x21bd 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH1 0x40 00000e53: MLOAD 00000e54: DUP1 00000e55: SWAP2 00000e56: SUB 00000e57: SWAP1 00000e58: LOG3 00000e59: PUSH2 0x0e61 00000e5c: DUP2 00000e5d: PUSH2 0x22e6 00000e60: JUMP 00000e61: JUMPDEST 00000e62: SWAP1 00000e63: POP 00000e64: PUSH2 0x0dad 00000e67: JUMP 00000e68: JUMPDEST 00000e69: POP 00000e6a: POP 00000e6b: POP 00000e6c: POP 00000e6d: POP 00000e6e: POP 00000e6f: POP 00000e70: POP 00000e71: POP 00000e72: POP 00000e73: POP 00000e74: POP 00000e75: JUMP 00000e76: JUMPDEST 00000e77: PUSH1 0x00 00000e79: DUP9 00000e7a: DUP9 00000e7b: DUP9 00000e7c: DUP9 00000e7d: DUP9 00000e7e: DUP9 00000e7f: DUP9 00000e80: DUP9 00000e81: PUSH1 0x40 00000e83: MLOAD 00000e84: PUSH1 0x20 00000e86: ADD 00000e87: PUSH2 0x0e97 00000e8a: SWAP9 00000e8b: SWAP8 00000e8c: SWAP7 00000e8d: SWAP6 00000e8e: SWAP5 00000e8f: SWAP4 00000e90: SWAP3 00000e91: SWAP2 00000e92: SWAP1 00000e93: PUSH2 0x23ce 00000e96: JUMP 00000e97: JUMPDEST 00000e98: PUSH1 0x40 00000e9a: MLOAD 00000e9b: PUSH1 0x20 00000e9d: DUP2 00000e9e: DUP4 00000e9f: SUB 00000ea0: SUB 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: SWAP1 00000ea4: PUSH1 0x40 00000ea6: MSTORE 00000ea7: DUP1 00000ea8: MLOAD 00000ea9: SWAP1 00000eaa: PUSH1 0x20 00000eac: ADD 00000ead: KECCAK256 00000eae: SWAP1 00000eaf: POP 00000eb0: SWAP9 00000eb1: SWAP8 00000eb2: POP 00000eb3: POP 00000eb4: POP 00000eb5: POP 00000eb6: POP 00000eb7: POP 00000eb8: POP 00000eb9: POP 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH32 0xb09aa5aeb3702cfd50b6b62bc4532604938f21248a27a1d5ca736082b6819cc1 00000edd: PUSH2 0x0ee6 00000ee0: DUP2 00000ee1: CALLER 00000ee2: PUSH2 0x1235 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: PUSH2 0x0eef 00000eea: DUP3 00000eeb: PUSH2 0x0b1e 00000eee: JUMP 00000eef: JUMPDEST 00000ef0: PUSH2 0x0f7b 00000ef3: JUMPI 00000ef4: PUSH1 0x40 00000ef6: MLOAD 00000ef7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f18: DUP2 00000f19: MSTORE 00000f1a: PUSH1 0x20 00000f1c: PUSH1 0x04 00000f1e: DUP3 00000f1f: ADD 00000f20: MSTORE 00000f21: PUSH1 0x31 00000f23: PUSH1 0x24 00000f25: DUP3 00000f26: ADD 00000f27: MSTORE 00000f28: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e206361 00000f49: PUSH1 0x44 00000f4b: DUP3 00000f4c: ADD 00000f4d: MSTORE 00000f4e: PUSH32 0x6e6e6f742062652063616e63656c6c6564000000000000000000000000000000 00000f6f: PUSH1 0x64 00000f71: DUP3 00000f72: ADD 00000f73: MSTORE 00000f74: PUSH1 0x84 00000f76: ADD 00000f77: PUSH2 0x0b07 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH1 0x00 00000f7e: DUP3 00000f7f: DUP2 00000f80: MSTORE 00000f81: PUSH1 0x01 00000f83: PUSH1 0x20 00000f85: MSTORE 00000f86: PUSH1 0x40 00000f88: DUP1 00000f89: DUP3 00000f8a: KECCAK256 00000f8b: DUP3 00000f8c: SWAP1 00000f8d: SSTORE 00000f8e: MLOAD 00000f8f: DUP4 00000f90: SWAP2 00000f91: PUSH32 0xbaa1eb22f2a492ba1a5fea61b8df4d27c6c8b5f3971e63bb58fa14ff72eedb70 00000fb2: SWAP2 00000fb3: LOG2 00000fb4: POP 00000fb5: POP 00000fb6: JUMP 00000fb7: JUMPDEST 00000fb8: PUSH1 0x00 00000fba: DUP3 00000fbb: DUP2 00000fbc: MSTORE 00000fbd: PUSH1 0x20 00000fbf: DUP2 00000fc0: SWAP1 00000fc1: MSTORE 00000fc2: PUSH1 0x40 00000fc4: SWAP1 00000fc5: KECCAK256 00000fc6: PUSH1 0x01 00000fc8: ADD 00000fc9: SLOAD 00000fca: PUSH2 0x0fd3 00000fcd: DUP2 00000fce: CALLER 00000fcf: PUSH2 0x1235 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: PUSH2 0x0a80 00000fd7: DUP4 00000fd8: DUP4 00000fd9: PUSH2 0x195e 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: PUSH1 0x00 00000fe0: DUP1 00000fe1: MSTORE 00000fe2: PUSH32 0xdae2aa361dfd1ca020a396615627d436107c35eff9fe7738a3512819782d7069 00001003: PUSH1 0x20 00001005: MSTORE 00001006: PUSH32 0x5ba6852781629bcdcd4bdaa6de76d786f1c64b16acdac474e55bebc0ea157951 00001027: SLOAD 00001028: PUSH32 0xd8aa0f3194971a2a116679f7c2090f6939c8d4e01a2a8d7e41d55e5351469e63 00001049: SWAP1 0000104a: PUSH1 0xff 0000104c: AND 0000104d: PUSH2 0x105a 00001050: JUMPI 00001051: PUSH2 0x105a 00001054: DUP2 00001055: CALLER 00001056: PUSH2 0x1235 00001059: JUMP 0000105a: JUMPDEST 0000105b: DUP8 0000105c: DUP7 0000105d: EQ 0000105e: PUSH2 0x10e9 00001061: JUMPI 00001062: PUSH1 0x40 00001064: MLOAD 00001065: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x20 0000108a: PUSH1 0x04 0000108c: DUP3 0000108d: ADD 0000108e: MSTORE 0000108f: PUSH1 0x23 00001091: PUSH1 0x24 00001093: DUP3 00001094: ADD 00001095: MSTORE 00001096: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61 000010b7: PUSH1 0x44 000010b9: DUP3 000010ba: ADD 000010bb: MSTORE 000010bc: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000 000010dd: PUSH1 0x64 000010df: DUP3 000010e0: ADD 000010e1: MSTORE 000010e2: PUSH1 0x84 000010e4: ADD 000010e5: PUSH2 0x0b07 000010e8: JUMP 000010e9: JUMPDEST 000010ea: DUP8 000010eb: DUP5 000010ec: EQ 000010ed: PUSH2 0x1178 000010f0: JUMPI 000010f1: PUSH1 0x40 000010f3: MLOAD 000010f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001115: DUP2 00001116: MSTORE 00001117: PUSH1 0x20 00001119: PUSH1 0x04 0000111b: DUP3 0000111c: ADD 0000111d: MSTORE 0000111e: PUSH1 0x23 00001120: PUSH1 0x24 00001122: DUP3 00001123: ADD 00001124: MSTORE 00001125: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206c656e677468206d69736d61 00001146: PUSH1 0x44 00001148: DUP3 00001149: ADD 0000114a: MSTORE 0000114b: PUSH32 0x7463680000000000000000000000000000000000000000000000000000000000 0000116c: PUSH1 0x64 0000116e: DUP3 0000116f: ADD 00001170: MSTORE 00001171: PUSH1 0x84 00001173: ADD 00001174: PUSH2 0x0b07 00001177: JUMP 00001178: JUMPDEST 00001179: PUSH1 0x00 0000117b: PUSH2 0x118a 0000117e: DUP11 0000117f: DUP11 00001180: DUP11 00001181: DUP11 00001182: DUP11 00001183: DUP11 00001184: DUP11 00001185: DUP11 00001186: PUSH2 0x0e76 00001189: JUMP 0000118a: JUMPDEST 0000118b: SWAP1 0000118c: POP 0000118d: PUSH2 0x1196 00001190: DUP2 00001191: DUP6 00001192: PUSH2 0x144d 00001195: JUMP 00001196: JUMPDEST 00001197: PUSH1 0x00 00001199: JUMPDEST 0000119a: DUP10 0000119b: DUP2 0000119c: LT 0000119d: ISZERO 0000119e: PUSH2 0x121f 000011a1: JUMPI 000011a2: PUSH2 0x120f 000011a5: DUP3 000011a6: DUP3 000011a7: DUP14 000011a8: DUP14 000011a9: DUP6 000011aa: DUP2 000011ab: DUP2 000011ac: LT 000011ad: PUSH2 0x11b8 000011b0: JUMPI 000011b1: PUSH2 0x11b8 000011b4: PUSH2 0x2208 000011b7: JUMP 000011b8: JUMPDEST 000011b9: SWAP1 000011ba: POP 000011bb: PUSH1 0x20 000011bd: MUL 000011be: ADD 000011bf: PUSH1 0x20 000011c1: DUP2 000011c2: ADD 000011c3: SWAP1 000011c4: PUSH2 0x11cd 000011c7: SWAP2 000011c8: SWAP1 000011c9: PUSH2 0x2237 000011cc: JUMP 000011cd: JUMPDEST 000011ce: DUP13 000011cf: DUP13 000011d0: DUP7 000011d1: DUP2 000011d2: DUP2 000011d3: LT 000011d4: PUSH2 0x11df 000011d7: JUMPI 000011d8: PUSH2 0x11df 000011db: PUSH2 0x2208 000011de: JUMP 000011df: JUMPDEST 000011e0: SWAP1 000011e1: POP 000011e2: PUSH1 0x20 000011e4: MUL 000011e5: ADD 000011e6: CALLDATALOAD 000011e7: DUP12 000011e8: DUP12 000011e9: DUP8 000011ea: DUP2 000011eb: DUP2 000011ec: LT 000011ed: PUSH2 0x11f8 000011f0: JUMPI 000011f1: PUSH2 0x11f8 000011f4: PUSH2 0x2208 000011f7: JUMP 000011f8: JUMPDEST 000011f9: SWAP1 000011fa: POP 000011fb: PUSH1 0x20 000011fd: MUL 000011fe: DUP2 000011ff: ADD 00001200: SWAP1 00001201: PUSH2 0x120a 00001204: SWAP2 00001205: SWAP1 00001206: PUSH2 0x2252 00001209: JUMP 0000120a: JUMPDEST 0000120b: PUSH2 0x158a 0000120e: JUMP 0000120f: JUMPDEST 00001210: PUSH2 0x1218 00001213: DUP2 00001214: PUSH2 0x22e6 00001217: JUMP 00001218: JUMPDEST 00001219: SWAP1 0000121a: POP 0000121b: PUSH2 0x1199 0000121e: JUMP 0000121f: JUMPDEST 00001220: POP 00001221: PUSH2 0x1229 00001224: DUP2 00001225: PUSH2 0x16cf 00001228: JUMP 00001229: JUMPDEST 0000122a: POP 0000122b: POP 0000122c: POP 0000122d: POP 0000122e: POP 0000122f: POP 00001230: POP 00001231: POP 00001232: POP 00001233: POP 00001234: JUMP 00001235: JUMPDEST 00001236: PUSH1 0x00 00001238: DUP3 00001239: DUP2 0000123a: MSTORE 0000123b: PUSH1 0x20 0000123d: DUP2 0000123e: DUP2 0000123f: MSTORE 00001240: PUSH1 0x40 00001242: DUP1 00001243: DUP4 00001244: KECCAK256 00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125a: DUP6 0000125b: AND 0000125c: DUP5 0000125d: MSTORE 0000125e: SWAP1 0000125f: SWAP2 00001260: MSTORE 00001261: SWAP1 00001262: KECCAK256 00001263: SLOAD 00001264: PUSH1 0xff 00001266: AND 00001267: PUSH2 0x0b1a 0000126a: JUMPI 0000126b: PUSH2 0x128b 0000126e: DUP2 0000126f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001284: AND 00001285: PUSH1 0x14 00001287: PUSH2 0x1a15 0000128a: JUMP 0000128b: JUMPDEST 0000128c: PUSH2 0x1296 0000128f: DUP4 00001290: PUSH1 0x20 00001292: PUSH2 0x1a15 00001295: JUMP 00001296: JUMPDEST 00001297: PUSH1 0x40 00001299: MLOAD 0000129a: PUSH1 0x20 0000129c: ADD 0000129d: PUSH2 0x12a7 000012a0: SWAP3 000012a1: SWAP2 000012a2: SWAP1 000012a3: PUSH2 0x24cf 000012a6: JUMP 000012a7: JUMPDEST 000012a8: PUSH1 0x40 000012aa: DUP1 000012ab: MLOAD 000012ac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000012cd: DUP2 000012ce: DUP5 000012cf: SUB 000012d0: ADD 000012d1: DUP2 000012d2: MSTORE 000012d3: SWAP1 000012d4: DUP3 000012d5: SWAP1 000012d6: MSTORE 000012d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012f8: DUP3 000012f9: MSTORE 000012fa: PUSH2 0x0b07 000012fd: SWAP2 000012fe: PUSH1 0x04 00001300: ADD 00001301: PUSH2 0x2550 00001304: JUMP 00001305: JUMPDEST 00001306: PUSH2 0x130e 00001309: DUP3 0000130a: PUSH2 0x0a85 0000130d: JUMP 0000130e: JUMPDEST 0000130f: ISZERO 00001310: PUSH2 0x139b 00001313: JUMPI 00001314: PUSH1 0x40 00001316: MLOAD 00001317: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001338: DUP2 00001339: MSTORE 0000133a: PUSH1 0x20 0000133c: PUSH1 0x04 0000133e: DUP3 0000133f: ADD 00001340: MSTORE 00001341: PUSH1 0x2f 00001343: PUSH1 0x24 00001345: DUP3 00001346: ADD 00001347: MSTORE 00001348: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e20616c 00001369: PUSH1 0x44 0000136b: DUP3 0000136c: ADD 0000136d: MSTORE 0000136e: PUSH32 0x7265616479207363686564756c65640000000000000000000000000000000000 0000138f: PUSH1 0x64 00001391: DUP3 00001392: ADD 00001393: MSTORE 00001394: PUSH1 0x84 00001396: ADD 00001397: PUSH2 0x0b07 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH1 0x02 0000139e: SLOAD 0000139f: DUP2 000013a0: LT 000013a1: ISZERO 000013a2: PUSH2 0x142d 000013a5: JUMPI 000013a6: PUSH1 0x40 000013a8: MLOAD 000013a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013ca: DUP2 000013cb: MSTORE 000013cc: PUSH1 0x20 000013ce: PUSH1 0x04 000013d0: DUP3 000013d1: ADD 000013d2: MSTORE 000013d3: PUSH1 0x26 000013d5: PUSH1 0x24 000013d7: DUP3 000013d8: ADD 000013d9: MSTORE 000013da: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a20696e73756666696369656e74 000013fb: PUSH1 0x44 000013fd: DUP3 000013fe: ADD 000013ff: MSTORE 00001400: PUSH32 0x2064656c61790000000000000000000000000000000000000000000000000000 00001421: PUSH1 0x64 00001423: DUP3 00001424: ADD 00001425: MSTORE 00001426: PUSH1 0x84 00001428: ADD 00001429: PUSH2 0x0b07 0000142c: JUMP 0000142d: JUMPDEST 0000142e: PUSH2 0x1437 00001431: DUP2 00001432: TIMESTAMP 00001433: PUSH2 0x25a1 00001436: JUMP 00001437: JUMPDEST 00001438: PUSH1 0x00 0000143a: SWAP3 0000143b: DUP4 0000143c: MSTORE 0000143d: PUSH1 0x01 0000143f: PUSH1 0x20 00001441: MSTORE 00001442: PUSH1 0x40 00001444: SWAP1 00001445: SWAP3 00001446: KECCAK256 00001447: SWAP2 00001448: SWAP1 00001449: SWAP2 0000144a: SSTORE 0000144b: POP 0000144c: JUMP 0000144d: JUMPDEST 0000144e: PUSH2 0x1456 00001451: DUP3 00001452: PUSH2 0x08fd 00001455: JUMP 00001456: JUMPDEST 00001457: PUSH2 0x14e2 0000145a: JUMPI 0000145b: PUSH1 0x40 0000145d: MLOAD 0000145e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000147f: DUP2 00001480: MSTORE 00001481: PUSH1 0x20 00001483: PUSH1 0x04 00001485: DUP3 00001486: ADD 00001487: MSTORE 00001488: PUSH1 0x2a 0000148a: PUSH1 0x24 0000148c: DUP3 0000148d: ADD 0000148e: MSTORE 0000148f: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e206973 000014b0: PUSH1 0x44 000014b2: DUP3 000014b3: ADD 000014b4: MSTORE 000014b5: PUSH32 0x206e6f7420726561647900000000000000000000000000000000000000000000 000014d6: PUSH1 0x64 000014d8: DUP3 000014d9: ADD 000014da: MSTORE 000014db: PUSH1 0x84 000014dd: ADD 000014de: PUSH2 0x0b07 000014e1: JUMP 000014e2: JUMPDEST 000014e3: DUP1 000014e4: ISZERO 000014e5: DUP1 000014e6: PUSH2 0x14fe 000014e9: JUMPI 000014ea: POP 000014eb: PUSH1 0x00 000014ed: DUP2 000014ee: DUP2 000014ef: MSTORE 000014f0: PUSH1 0x01 000014f2: PUSH1 0x20 000014f4: DUP2 000014f5: SWAP1 000014f6: MSTORE 000014f7: PUSH1 0x40 000014f9: SWAP1 000014fa: SWAP2 000014fb: KECCAK256 000014fc: SLOAD 000014fd: EQ 000014fe: JUMPDEST 000014ff: PUSH2 0x0b1a 00001502: JUMPI 00001503: PUSH1 0x40 00001505: MLOAD 00001506: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001527: DUP2 00001528: MSTORE 00001529: PUSH1 0x20 0000152b: PUSH1 0x04 0000152d: DUP3 0000152e: ADD 0000152f: MSTORE 00001530: PUSH1 0x26 00001532: PUSH1 0x24 00001534: DUP3 00001535: ADD 00001536: MSTORE 00001537: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206d697373696e672064657065 00001558: PUSH1 0x44 0000155a: DUP3 0000155b: ADD 0000155c: MSTORE 0000155d: PUSH32 0x6e64656e63790000000000000000000000000000000000000000000000000000 0000157e: PUSH1 0x64 00001580: DUP3 00001581: ADD 00001582: MSTORE 00001583: PUSH1 0x84 00001585: ADD 00001586: PUSH2 0x0b07 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x00 0000158d: DUP5 0000158e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a3: AND 000015a4: DUP5 000015a5: DUP5 000015a6: DUP5 000015a7: PUSH1 0x40 000015a9: MLOAD 000015aa: PUSH2 0x15b4 000015ad: SWAP3 000015ae: SWAP2 000015af: SWAP1 000015b0: PUSH2 0x25b9 000015b3: JUMP 000015b4: JUMPDEST 000015b5: PUSH1 0x00 000015b7: PUSH1 0x40 000015b9: MLOAD 000015ba: DUP1 000015bb: DUP4 000015bc: SUB 000015bd: DUP2 000015be: DUP6 000015bf: DUP8 000015c0: GAS 000015c1: CALL 000015c2: SWAP3 000015c3: POP 000015c4: POP 000015c5: POP 000015c6: RETURNDATASIZE 000015c7: DUP1 000015c8: PUSH1 0x00 000015ca: DUP2 000015cb: EQ 000015cc: PUSH2 0x15f1 000015cf: JUMPI 000015d0: PUSH1 0x40 000015d2: MLOAD 000015d3: SWAP2 000015d4: POP 000015d5: PUSH1 0x1f 000015d7: NOT 000015d8: PUSH1 0x3f 000015da: RETURNDATASIZE 000015db: ADD 000015dc: AND 000015dd: DUP3 000015de: ADD 000015df: PUSH1 0x40 000015e1: MSTORE 000015e2: RETURNDATASIZE 000015e3: DUP3 000015e4: MSTORE 000015e5: RETURNDATASIZE 000015e6: PUSH1 0x00 000015e8: PUSH1 0x20 000015ea: DUP5 000015eb: ADD 000015ec: RETURNDATACOPY 000015ed: PUSH2 0x15f6 000015f0: JUMP 000015f1: JUMPDEST 000015f2: PUSH1 0x60 000015f4: SWAP2 000015f5: POP 000015f6: JUMPDEST 000015f7: POP 000015f8: POP 000015f9: SWAP1 000015fa: POP 000015fb: DUP1 000015fc: PUSH2 0x1687 000015ff: JUMPI 00001600: PUSH1 0x40 00001602: MLOAD 00001603: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001624: DUP2 00001625: MSTORE 00001626: PUSH1 0x20 00001628: PUSH1 0x04 0000162a: DUP3 0000162b: ADD 0000162c: MSTORE 0000162d: PUSH1 0x33 0000162f: PUSH1 0x24 00001631: DUP3 00001632: ADD 00001633: MSTORE 00001634: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a20756e6465726c79696e672074 00001655: PUSH1 0x44 00001657: DUP3 00001658: ADD 00001659: MSTORE 0000165a: PUSH32 0x72616e73616374696f6e20726576657274656400000000000000000000000000 0000167b: PUSH1 0x64 0000167d: DUP3 0000167e: ADD 0000167f: MSTORE 00001680: PUSH1 0x84 00001682: ADD 00001683: PUSH2 0x0b07 00001686: JUMP 00001687: JUMPDEST 00001688: DUP6 00001689: DUP8 0000168a: PUSH32 0xc2617efa69bab66782fa219543714338489c4e9e178271560a91b82c3f612b58 000016ab: DUP8 000016ac: DUP8 000016ad: DUP8 000016ae: DUP8 000016af: PUSH1 0x40 000016b1: MLOAD 000016b2: PUSH2 0x16be 000016b5: SWAP5 000016b6: SWAP4 000016b7: SWAP3 000016b8: SWAP2 000016b9: SWAP1 000016ba: PUSH2 0x25c9 000016bd: JUMP 000016be: JUMPDEST 000016bf: PUSH1 0x40 000016c1: MLOAD 000016c2: DUP1 000016c3: SWAP2 000016c4: SUB 000016c5: SWAP1 000016c6: LOG3 000016c7: POP 000016c8: POP 000016c9: POP 000016ca: POP 000016cb: POP 000016cc: POP 000016cd: POP 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH2 0x16d8 000016d3: DUP2 000016d4: PUSH2 0x08fd 000016d7: JUMP 000016d8: JUMPDEST 000016d9: PUSH2 0x1764 000016dc: JUMPI 000016dd: PUSH1 0x40 000016df: MLOAD 000016e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001701: DUP2 00001702: MSTORE 00001703: PUSH1 0x20 00001705: PUSH1 0x04 00001707: DUP3 00001708: ADD 00001709: MSTORE 0000170a: PUSH1 0x2a 0000170c: PUSH1 0x24 0000170e: DUP3 0000170f: ADD 00001710: MSTORE 00001711: PUSH32 0x54696d656c6f636b436f6e74726f6c6c65723a206f7065726174696f6e206973 00001732: PUSH1 0x44 00001734: DUP3 00001735: ADD 00001736: MSTORE 00001737: PUSH32 0x206e6f7420726561647900000000000000000000000000000000000000000000 00001758: PUSH1 0x64 0000175a: DUP3 0000175b: ADD 0000175c: MSTORE 0000175d: PUSH1 0x84 0000175f: ADD 00001760: PUSH2 0x0b07 00001763: JUMP 00001764: JUMPDEST 00001765: PUSH1 0x00 00001767: SWAP1 00001768: DUP2 00001769: MSTORE 0000176a: PUSH1 0x01 0000176c: PUSH1 0x20 0000176e: DUP2 0000176f: SWAP1 00001770: MSTORE 00001771: PUSH1 0x40 00001773: SWAP1 00001774: SWAP2 00001775: KECCAK256 00001776: SSTORE 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH1 0x00 0000177b: DUP3 0000177c: DUP2 0000177d: MSTORE 0000177e: PUSH1 0x20 00001780: DUP2 00001781: SWAP1 00001782: MSTORE 00001783: PUSH1 0x40 00001785: DUP1 00001786: DUP3 00001787: KECCAK256 00001788: PUSH1 0x01 0000178a: ADD 0000178b: DUP1 0000178c: SLOAD 0000178d: SWAP1 0000178e: DUP5 0000178f: SWAP1 00001790: SSTORE 00001791: SWAP1 00001792: MLOAD 00001793: SWAP1 00001794: SWAP2 00001795: DUP4 00001796: SWAP2 00001797: DUP4 00001798: SWAP2 00001799: DUP7 0000179a: SWAP2 0000179b: PUSH32 0xbd79b86ffe0ab8e8776151514217cd7cacd52c909f66475c3af44e129f0b00ff 000017bc: SWAP2 000017bd: SWAP1 000017be: LOG4 000017bf: POP 000017c0: POP 000017c1: POP 000017c2: JUMP 000017c3: JUMPDEST 000017c4: PUSH1 0x00 000017c6: DUP3 000017c7: DUP2 000017c8: MSTORE 000017c9: PUSH1 0x20 000017cb: DUP2 000017cc: DUP2 000017cd: MSTORE 000017ce: PUSH1 0x40 000017d0: DUP1 000017d1: DUP4 000017d2: KECCAK256 000017d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e8: DUP6 000017e9: AND 000017ea: DUP5 000017eb: MSTORE 000017ec: SWAP1 000017ed: SWAP2 000017ee: MSTORE 000017ef: SWAP1 000017f0: KECCAK256 000017f1: SLOAD 000017f2: PUSH1 0xff 000017f4: AND 000017f5: PUSH2 0x0b1a 000017f8: JUMPI 000017f9: PUSH1 0x00 000017fb: DUP3 000017fc: DUP2 000017fd: MSTORE 000017fe: PUSH1 0x20 00001800: DUP2 00001801: DUP2 00001802: MSTORE 00001803: PUSH1 0x40 00001805: DUP1 00001806: DUP4 00001807: KECCAK256 00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181d: DUP6 0000181e: AND 0000181f: DUP5 00001820: MSTORE 00001821: SWAP1 00001822: SWAP2 00001823: MSTORE 00001824: SWAP1 00001825: KECCAK256 00001826: DUP1 00001827: SLOAD 00001828: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001849: AND 0000184a: PUSH1 0x01 0000184c: OR 0000184d: SWAP1 0000184e: SSTORE 0000184f: PUSH2 0x1855 00001852: CALLER 00001853: SWAP1 00001854: JUMP 00001855: JUMPDEST 00001856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186b: AND 0000186c: DUP2 0000186d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001882: AND 00001883: DUP4 00001884: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 000018a5: PUSH1 0x40 000018a7: MLOAD 000018a8: PUSH1 0x40 000018aa: MLOAD 000018ab: DUP1 000018ac: SWAP2 000018ad: SUB 000018ae: SWAP1 000018af: LOG4 000018b0: POP 000018b1: POP 000018b2: JUMP 000018b3: JUMPDEST 000018b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c9: DUP2 000018ca: AND 000018cb: CALLER 000018cc: EQ 000018cd: PUSH2 0x1958 000018d0: JUMPI 000018d1: PUSH1 0x40 000018d3: MLOAD 000018d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018f5: DUP2 000018f6: MSTORE 000018f7: PUSH1 0x20 000018f9: PUSH1 0x04 000018fb: DUP3 000018fc: ADD 000018fd: MSTORE 000018fe: PUSH1 0x2f 00001900: PUSH1 0x24 00001902: DUP3 00001903: ADD 00001904: MSTORE 00001905: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00001926: PUSH1 0x44 00001928: DUP3 00001929: ADD 0000192a: MSTORE 0000192b: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000 0000194c: PUSH1 0x64 0000194e: DUP3 0000194f: ADD 00001950: MSTORE 00001951: PUSH1 0x84 00001953: ADD 00001954: PUSH2 0x0b07 00001957: JUMP 00001958: JUMPDEST 00001959: PUSH2 0x0b1a 0000195c: DUP3 0000195d: DUP3 0000195e: JUMPDEST 0000195f: PUSH1 0x00 00001961: DUP3 00001962: DUP2 00001963: MSTORE 00001964: PUSH1 0x20 00001966: DUP2 00001967: DUP2 00001968: MSTORE 00001969: PUSH1 0x40 0000196b: DUP1 0000196c: DUP4 0000196d: KECCAK256 0000196e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001983: DUP6 00001984: AND 00001985: DUP5 00001986: MSTORE 00001987: SWAP1 00001988: SWAP2 00001989: MSTORE 0000198a: SWAP1 0000198b: KECCAK256 0000198c: SLOAD 0000198d: PUSH1 0xff 0000198f: AND 00001990: ISZERO 00001991: PUSH2 0x0b1a 00001994: JUMPI 00001995: PUSH1 0x00 00001997: DUP3 00001998: DUP2 00001999: MSTORE 0000199a: PUSH1 0x20 0000199c: DUP2 0000199d: DUP2 0000199e: MSTORE 0000199f: PUSH1 0x40 000019a1: DUP1 000019a2: DUP4 000019a3: KECCAK256 000019a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b9: DUP6 000019ba: AND 000019bb: DUP1 000019bc: DUP6 000019bd: MSTORE 000019be: SWAP3 000019bf: MSTORE 000019c0: DUP1 000019c1: DUP4 000019c2: KECCAK256 000019c3: DUP1 000019c4: SLOAD 000019c5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000019e6: AND 000019e7: SWAP1 000019e8: SSTORE 000019e9: MLOAD 000019ea: CALLER 000019eb: SWAP3 000019ec: DUP6 000019ed: SWAP2 000019ee: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00001a0f: SWAP2 00001a10: SWAP1 00001a11: LOG4 00001a12: POP 00001a13: POP 00001a14: JUMP 00001a15: JUMPDEST 00001a16: PUSH1 0x60 00001a18: PUSH1 0x00 00001a1a: PUSH2 0x1a24 00001a1d: DUP4 00001a1e: PUSH1 0x02 00001a20: PUSH2 0x2609 00001a23: JUMP 00001a24: JUMPDEST 00001a25: PUSH2 0x1a2f 00001a28: SWAP1 00001a29: PUSH1 0x02 00001a2b: PUSH2 0x25a1 00001a2e: JUMP 00001a2f: JUMPDEST 00001a30: PUSH8 0xffffffffffffffff 00001a39: DUP2 00001a3a: GT 00001a3b: ISZERO 00001a3c: PUSH2 0x1a47 00001a3f: JUMPI 00001a40: PUSH2 0x1a47 00001a43: PUSH2 0x2646 00001a46: JUMP 00001a47: JUMPDEST 00001a48: PUSH1 0x40 00001a4a: MLOAD 00001a4b: SWAP1 00001a4c: DUP1 00001a4d: DUP3 00001a4e: MSTORE 00001a4f: DUP1 00001a50: PUSH1 0x1f 00001a52: ADD 00001a53: PUSH1 0x1f 00001a55: NOT 00001a56: AND 00001a57: PUSH1 0x20 00001a59: ADD 00001a5a: DUP3 00001a5b: ADD 00001a5c: PUSH1 0x40 00001a5e: MSTORE 00001a5f: DUP1 00001a60: ISZERO 00001a61: PUSH2 0x1a71 00001a64: JUMPI 00001a65: PUSH1 0x20 00001a67: DUP3 00001a68: ADD 00001a69: DUP2 00001a6a: DUP1 00001a6b: CALLDATASIZE 00001a6c: DUP4 00001a6d: CALLDATACOPY 00001a6e: ADD 00001a6f: SWAP1 00001a70: POP 00001a71: JUMPDEST 00001a72: POP 00001a73: SWAP1 00001a74: POP 00001a75: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00001a96: DUP2 00001a97: PUSH1 0x00 00001a99: DUP2 00001a9a: MLOAD 00001a9b: DUP2 00001a9c: LT 00001a9d: PUSH2 0x1aa8 00001aa0: JUMPI 00001aa1: PUSH2 0x1aa8 00001aa4: PUSH2 0x2208 00001aa7: JUMP 00001aa8: JUMPDEST 00001aa9: PUSH1 0x20 00001aab: ADD 00001aac: ADD 00001aad: SWAP1 00001aae: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001ace: NOT 00001acf: AND 00001ad0: SWAP1 00001ad1: DUP2 00001ad2: PUSH1 0x00 00001ad4: BYTE 00001ad5: SWAP1 00001ad6: MSTORE8 00001ad7: POP 00001ad8: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000 00001af9: DUP2 00001afa: PUSH1 0x01 00001afc: DUP2 00001afd: MLOAD 00001afe: DUP2 00001aff: LT 00001b00: PUSH2 0x1b0b 00001b03: JUMPI 00001b04: PUSH2 0x1b0b 00001b07: PUSH2 0x2208 00001b0a: JUMP 00001b0b: JUMPDEST 00001b0c: PUSH1 0x20 00001b0e: ADD 00001b0f: ADD 00001b10: SWAP1 00001b11: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001b31: NOT 00001b32: AND 00001b33: SWAP1 00001b34: DUP2 00001b35: PUSH1 0x00 00001b37: BYTE 00001b38: SWAP1 00001b39: MSTORE8 00001b3a: POP 00001b3b: PUSH1 0x00 00001b3d: PUSH2 0x1b47 00001b40: DUP5 00001b41: PUSH1 0x02 00001b43: PUSH2 0x2609 00001b46: JUMP 00001b47: JUMPDEST 00001b48: PUSH2 0x1b52 00001b4b: SWAP1 00001b4c: PUSH1 0x01 00001b4e: PUSH2 0x25a1 00001b51: JUMP 00001b52: JUMPDEST 00001b53: SWAP1 00001b54: POP 00001b55: JUMPDEST 00001b56: PUSH1 0x01 00001b58: DUP2 00001b59: GT 00001b5a: ISZERO 00001b5b: PUSH2 0x1bef 00001b5e: JUMPI 00001b5f: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000 00001b80: DUP6 00001b81: PUSH1 0x0f 00001b83: AND 00001b84: PUSH1 0x10 00001b86: DUP2 00001b87: LT 00001b88: PUSH2 0x1b93 00001b8b: JUMPI 00001b8c: PUSH2 0x1b93 00001b8f: PUSH2 0x2208 00001b92: JUMP 00001b93: JUMPDEST 00001b94: BYTE 00001b95: PUSH1 0xf8 00001b97: SHL 00001b98: DUP3 00001b99: DUP3 00001b9a: DUP2 00001b9b: MLOAD 00001b9c: DUP2 00001b9d: LT 00001b9e: PUSH2 0x1ba9 00001ba1: JUMPI 00001ba2: PUSH2 0x1ba9 00001ba5: PUSH2 0x2208 00001ba8: JUMP 00001ba9: JUMPDEST 00001baa: PUSH1 0x20 00001bac: ADD 00001bad: ADD 00001bae: SWAP1 00001baf: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001bcf: NOT 00001bd0: AND 00001bd1: SWAP1 00001bd2: DUP2 00001bd3: PUSH1 0x00 00001bd5: BYTE 00001bd6: SWAP1 00001bd7: MSTORE8 00001bd8: POP 00001bd9: PUSH1 0x04 00001bdb: SWAP5 00001bdc: SWAP1 00001bdd: SWAP5 00001bde: SHR 00001bdf: SWAP4 00001be0: PUSH2 0x1be8 00001be3: DUP2 00001be4: PUSH2 0x2675 00001be7: JUMP 00001be8: JUMPDEST 00001be9: SWAP1 00001bea: POP 00001beb: PUSH2 0x1b55 00001bee: JUMP 00001bef: JUMPDEST 00001bf0: POP 00001bf1: DUP4 00001bf2: ISZERO 00001bf3: PUSH2 0x091c 00001bf6: JUMPI 00001bf7: PUSH1 0x40 00001bf9: MLOAD 00001bfa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c1b: DUP2 00001c1c: MSTORE 00001c1d: PUSH1 0x20 00001c1f: PUSH1 0x04 00001c21: DUP3 00001c22: ADD 00001c23: DUP2 00001c24: SWAP1 00001c25: MSTORE 00001c26: PUSH1 0x24 00001c28: DUP3 00001c29: ADD 00001c2a: MSTORE 00001c2b: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00001c4c: PUSH1 0x44 00001c4e: DUP3 00001c4f: ADD 00001c50: MSTORE 00001c51: PUSH1 0x64 00001c53: ADD 00001c54: PUSH2 0x0b07 00001c57: JUMP 00001c58: JUMPDEST 00001c59: DUP1 00001c5a: CALLDATALOAD 00001c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c70: DUP2 00001c71: AND 00001c72: DUP2 00001c73: EQ 00001c74: PUSH2 0x1c7c 00001c77: JUMPI 00001c78: PUSH1 0x00 00001c7a: DUP1 00001c7b: REVERT 00001c7c: JUMPDEST 00001c7d: SWAP2 00001c7e: SWAP1 00001c7f: POP 00001c80: JUMP 00001c81: JUMPDEST 00001c82: PUSH1 0x00 00001c84: DUP1 00001c85: DUP4 00001c86: PUSH1 0x1f 00001c88: DUP5 00001c89: ADD 00001c8a: SLT 00001c8b: PUSH2 0x1c93 00001c8e: JUMPI 00001c8f: PUSH1 0x00 00001c91: DUP1 00001c92: REVERT 00001c93: JUMPDEST 00001c94: POP 00001c95: DUP2 00001c96: CALLDATALOAD 00001c97: PUSH8 0xffffffffffffffff 00001ca0: DUP2 00001ca1: GT 00001ca2: ISZERO 00001ca3: PUSH2 0x1cab 00001ca6: JUMPI 00001ca7: PUSH1 0x00 00001ca9: DUP1 00001caa: REVERT 00001cab: JUMPDEST 00001cac: PUSH1 0x20 00001cae: DUP4 00001caf: ADD 00001cb0: SWAP2 00001cb1: POP 00001cb2: DUP4 00001cb3: PUSH1 0x20 00001cb5: DUP3 00001cb6: DUP6 00001cb7: ADD 00001cb8: ADD 00001cb9: GT 00001cba: ISZERO 00001cbb: PUSH2 0x1cc3 00001cbe: JUMPI 00001cbf: PUSH1 0x00 00001cc1: DUP1 00001cc2: REVERT 00001cc3: JUMPDEST 00001cc4: SWAP3 00001cc5: POP 00001cc6: SWAP3 00001cc7: SWAP1 00001cc8: POP 00001cc9: JUMP 00001cca: JUMPDEST 00001ccb: PUSH1 0x00 00001ccd: DUP1 00001cce: PUSH1 0x00 00001cd0: DUP1 00001cd1: PUSH1 0x00 00001cd3: DUP1 00001cd4: PUSH1 0x00 00001cd6: PUSH1 0xc0 00001cd8: DUP9 00001cd9: DUP11 00001cda: SUB 00001cdb: SLT 00001cdc: ISZERO 00001cdd: PUSH2 0x1ce5 00001ce0: JUMPI 00001ce1: PUSH1 0x00 00001ce3: DUP1 00001ce4: REVERT 00001ce5: JUMPDEST 00001ce6: PUSH2 0x1cee 00001ce9: DUP9 00001cea: PUSH2 0x1c58 00001ced: JUMP 00001cee: JUMPDEST 00001cef: SWAP7 00001cf0: POP 00001cf1: PUSH1 0x20 00001cf3: DUP9 00001cf4: ADD 00001cf5: CALLDATALOAD 00001cf6: SWAP6 00001cf7: POP 00001cf8: PUSH1 0x40 00001cfa: DUP9 00001cfb: ADD 00001cfc: CALLDATALOAD 00001cfd: PUSH8 0xffffffffffffffff 00001d06: DUP2 00001d07: GT 00001d08: ISZERO 00001d09: PUSH2 0x1d11 00001d0c: JUMPI 00001d0d: PUSH1 0x00 00001d0f: DUP1 00001d10: REVERT 00001d11: JUMPDEST 00001d12: PUSH2 0x1d1d 00001d15: DUP11 00001d16: DUP3 00001d17: DUP12 00001d18: ADD 00001d19: PUSH2 0x1c81 00001d1c: JUMP 00001d1d: JUMPDEST 00001d1e: SWAP9 00001d1f: SWAP12 00001d20: SWAP8 00001d21: SWAP11 00001d22: POP 00001d23: SWAP9 00001d24: PUSH1 0x60 00001d26: DUP2 00001d27: ADD 00001d28: CALLDATALOAD 00001d29: SWAP8 00001d2a: PUSH1 0x80 00001d2c: DUP3 00001d2d: ADD 00001d2e: CALLDATALOAD 00001d2f: SWAP8 00001d30: POP 00001d31: PUSH1 0xa0 00001d33: SWAP1 00001d34: SWAP2 00001d35: ADD 00001d36: CALLDATALOAD 00001d37: SWAP6 00001d38: POP 00001d39: SWAP4 00001d3a: POP 00001d3b: POP 00001d3c: POP 00001d3d: POP 00001d3e: JUMP 00001d3f: JUMPDEST 00001d40: PUSH1 0x00 00001d42: PUSH1 0x20 00001d44: DUP3 00001d45: DUP5 00001d46: SUB 00001d47: SLT 00001d48: ISZERO 00001d49: PUSH2 0x1d51 00001d4c: JUMPI 00001d4d: PUSH1 0x00 00001d4f: DUP1 00001d50: REVERT 00001d51: JUMPDEST 00001d52: DUP2 00001d53: CALLDATALOAD 00001d54: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001d75: DUP2 00001d76: AND 00001d77: DUP2 00001d78: EQ 00001d79: PUSH2 0x091c 00001d7c: JUMPI 00001d7d: PUSH1 0x00 00001d7f: DUP1 00001d80: REVERT 00001d81: JUMPDEST 00001d82: PUSH1 0x00 00001d84: DUP1 00001d85: PUSH1 0x00 00001d87: DUP1 00001d88: PUSH1 0x00 00001d8a: DUP1 00001d8b: PUSH1 0xa0 00001d8d: DUP8 00001d8e: DUP10 00001d8f: SUB 00001d90: SLT 00001d91: ISZERO 00001d92: PUSH2 0x1d9a 00001d95: JUMPI 00001d96: PUSH1 0x00 00001d98: DUP1 00001d99: REVERT 00001d9a: JUMPDEST 00001d9b: PUSH2 0x1da3 00001d9e: DUP8 00001d9f: PUSH2 0x1c58 00001da2: JUMP 00001da3: JUMPDEST 00001da4: SWAP6 00001da5: POP 00001da6: PUSH1 0x20 00001da8: DUP8 00001da9: ADD 00001daa: CALLDATALOAD 00001dab: SWAP5 00001dac: POP 00001dad: PUSH1 0x40 00001daf: DUP8 00001db0: ADD 00001db1: CALLDATALOAD 00001db2: PUSH8 0xffffffffffffffff 00001dbb: DUP2 00001dbc: GT 00001dbd: ISZERO 00001dbe: PUSH2 0x1dc6 00001dc1: JUMPI 00001dc2: PUSH1 0x00 00001dc4: DUP1 00001dc5: REVERT 00001dc6: JUMPDEST 00001dc7: PUSH2 0x1dd2 00001dca: DUP10 00001dcb: DUP3 00001dcc: DUP11 00001dcd: ADD 00001dce: PUSH2 0x1c81 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: SWAP8 00001dd4: SWAP11 00001dd5: SWAP7 00001dd6: SWAP10 00001dd7: POP 00001dd8: SWAP8 00001dd9: PUSH1 0x60 00001ddb: DUP2 00001ddc: ADD 00001ddd: CALLDATALOAD 00001dde: SWAP7 00001ddf: PUSH1 0x80 00001de1: SWAP1 00001de2: SWAP2 00001de3: ADD 00001de4: CALLDATALOAD 00001de5: SWAP6 00001de6: POP 00001de7: SWAP4 00001de8: POP 00001de9: POP 00001dea: POP 00001deb: POP 00001dec: JUMP 00001ded: JUMPDEST 00001dee: PUSH1 0x00 00001df0: PUSH1 0x20 00001df2: DUP3 00001df3: DUP5 00001df4: SUB 00001df5: SLT 00001df6: ISZERO 00001df7: PUSH2 0x1dff 00001dfa: JUMPI 00001dfb: PUSH1 0x00 00001dfd: DUP1 00001dfe: REVERT 00001dff: JUMPDEST 00001e00: POP 00001e01: CALLDATALOAD 00001e02: SWAP2 00001e03: SWAP1 00001e04: POP 00001e05: JUMP 00001e06: JUMPDEST 00001e07: PUSH1 0x00 00001e09: DUP1 00001e0a: PUSH1 0x00 00001e0c: DUP1 00001e0d: PUSH1 0x00 00001e0f: PUSH1 0x80 00001e11: DUP7 00001e12: DUP9 00001e13: SUB 00001e14: SLT 00001e15: ISZERO 00001e16: PUSH2 0x1e1e 00001e19: JUMPI 00001e1a: PUSH1 0x00 00001e1c: DUP1 00001e1d: REVERT 00001e1e: JUMPDEST 00001e1f: PUSH2 0x1e27 00001e22: DUP7 00001e23: PUSH2 0x1c58 00001e26: JUMP 00001e27: JUMPDEST 00001e28: SWAP5 00001e29: POP 00001e2a: PUSH2 0x1e35 00001e2d: PUSH1 0x20 00001e2f: DUP8 00001e30: ADD 00001e31: PUSH2 0x1c58 00001e34: JUMP 00001e35: JUMPDEST 00001e36: SWAP4 00001e37: POP 00001e38: PUSH1 0x40 00001e3a: DUP7 00001e3b: ADD 00001e3c: CALLDATALOAD 00001e3d: SWAP3 00001e3e: POP 00001e3f: PUSH1 0x60 00001e41: DUP7 00001e42: ADD 00001e43: CALLDATALOAD 00001e44: PUSH8 0xffffffffffffffff 00001e4d: DUP2 00001e4e: GT 00001e4f: ISZERO 00001e50: PUSH2 0x1e58 00001e53: JUMPI 00001e54: PUSH1 0x00 00001e56: DUP1 00001e57: REVERT 00001e58: JUMPDEST 00001e59: PUSH2 0x1e64 00001e5c: DUP9 00001e5d: DUP3 00001e5e: DUP10 00001e5f: ADD 00001e60: PUSH2 0x1c81 00001e63: JUMP 00001e64: JUMPDEST 00001e65: SWAP7 00001e66: SWAP10 00001e67: SWAP6 00001e68: SWAP9 00001e69: POP 00001e6a: SWAP4 00001e6b: SWAP7 00001e6c: POP 00001e6d: SWAP3 00001e6e: SWAP5 00001e6f: SWAP4 00001e70: SWAP3 00001e71: POP 00001e72: POP 00001e73: POP 00001e74: JUMP 00001e75: JUMPDEST 00001e76: PUSH1 0x00 00001e78: DUP1 00001e79: PUSH1 0x40 00001e7b: DUP4 00001e7c: DUP6 00001e7d: SUB 00001e7e: SLT 00001e7f: ISZERO 00001e80: PUSH2 0x1e88 00001e83: JUMPI 00001e84: PUSH1 0x00 00001e86: DUP1 00001e87: REVERT 00001e88: JUMPDEST 00001e89: DUP3 00001e8a: CALLDATALOAD 00001e8b: SWAP2 00001e8c: POP 00001e8d: PUSH2 0x1e98 00001e90: PUSH1 0x20 00001e92: DUP5 00001e93: ADD 00001e94: PUSH2 0x1c58 00001e97: JUMP 00001e98: JUMPDEST 00001e99: SWAP1 00001e9a: POP 00001e9b: SWAP3 00001e9c: POP 00001e9d: SWAP3 00001e9e: SWAP1 00001e9f: POP 00001ea0: JUMP 00001ea1: JUMPDEST 00001ea2: PUSH1 0x00 00001ea4: DUP1 00001ea5: DUP4 00001ea6: PUSH1 0x1f 00001ea8: DUP5 00001ea9: ADD 00001eaa: SLT 00001eab: PUSH2 0x1eb3 00001eae: JUMPI 00001eaf: PUSH1 0x00 00001eb1: DUP1 00001eb2: REVERT 00001eb3: JUMPDEST 00001eb4: POP 00001eb5: DUP2 00001eb6: CALLDATALOAD 00001eb7: PUSH8 0xffffffffffffffff 00001ec0: DUP2 00001ec1: GT 00001ec2: ISZERO 00001ec3: PUSH2 0x1ecb 00001ec6: JUMPI 00001ec7: PUSH1 0x00 00001ec9: DUP1 00001eca: REVERT 00001ecb: JUMPDEST 00001ecc: PUSH1 0x20 00001ece: DUP4 00001ecf: ADD 00001ed0: SWAP2 00001ed1: POP 00001ed2: DUP4 00001ed3: PUSH1 0x20 00001ed5: DUP3 00001ed6: PUSH1 0x05 00001ed8: SHL 00001ed9: DUP6 00001eda: ADD 00001edb: ADD 00001edc: GT 00001edd: ISZERO 00001ede: PUSH2 0x1cc3 00001ee1: JUMPI 00001ee2: PUSH1 0x00 00001ee4: DUP1 00001ee5: REVERT 00001ee6: JUMPDEST 00001ee7: PUSH1 0x00 00001ee9: DUP1 00001eea: PUSH1 0x00 00001eec: DUP1 00001eed: PUSH1 0x00 00001eef: DUP1 00001ef0: PUSH1 0x00 00001ef2: DUP1 00001ef3: PUSH1 0x00 00001ef5: PUSH1 0xc0 00001ef7: DUP11 00001ef8: DUP13 00001ef9: SUB 00001efa: SLT 00001efb: ISZERO 00001efc: PUSH2 0x1f04 00001eff: JUMPI 00001f00: PUSH1 0x00 00001f02: DUP1 00001f03: REVERT 00001f04: JUMPDEST 00001f05: DUP10 00001f06: CALLDATALOAD 00001f07: PUSH8 0xffffffffffffffff 00001f10: DUP1 00001f11: DUP3 00001f12: GT 00001f13: ISZERO 00001f14: PUSH2 0x1f1c 00001f17: JUMPI 00001f18: PUSH1 0x00 00001f1a: DUP1 00001f1b: REVERT 00001f1c: JUMPDEST 00001f1d: PUSH2 0x1f28 00001f20: DUP14 00001f21: DUP4 00001f22: DUP15 00001f23: ADD 00001f24: PUSH2 0x1ea1 00001f27: JUMP 00001f28: JUMPDEST 00001f29: SWAP1 00001f2a: SWAP12 00001f2b: POP 00001f2c: SWAP10 00001f2d: POP 00001f2e: PUSH1 0x20 00001f30: DUP13 00001f31: ADD 00001f32: CALLDATALOAD 00001f33: SWAP2 00001f34: POP 00001f35: DUP1 00001f36: DUP3 00001f37: GT 00001f38: ISZERO 00001f39: PUSH2 0x1f41 00001f3c: JUMPI 00001f3d: PUSH1 0x00 00001f3f: DUP1 00001f40: REVERT 00001f41: JUMPDEST 00001f42: PUSH2 0x1f4d 00001f45: DUP14 00001f46: DUP4 00001f47: DUP15 00001f48: ADD 00001f49: PUSH2 0x1ea1 00001f4c: JUMP 00001f4d: JUMPDEST 00001f4e: SWAP1 00001f4f: SWAP10 00001f50: POP 00001f51: SWAP8 00001f52: POP 00001f53: PUSH1 0x40 00001f55: DUP13 00001f56: ADD 00001f57: CALLDATALOAD 00001f58: SWAP2 00001f59: POP 00001f5a: DUP1 00001f5b: DUP3 00001f5c: GT 00001f5d: ISZERO 00001f5e: PUSH2 0x1f66 00001f61: JUMPI 00001f62: PUSH1 0x00 00001f64: DUP1 00001f65: REVERT 00001f66: JUMPDEST 00001f67: POP 00001f68: PUSH2 0x1f73 00001f6b: DUP13 00001f6c: DUP3 00001f6d: DUP14 00001f6e: ADD 00001f6f: PUSH2 0x1ea1 00001f72: JUMP 00001f73: JUMPDEST 00001f74: SWAP11 00001f75: SWAP14 00001f76: SWAP10 00001f77: SWAP13 00001f78: POP 00001f79: SWAP8 00001f7a: SWAP11 00001f7b: SWAP7 00001f7c: SWAP10 00001f7d: SWAP8 00001f7e: SWAP9 00001f7f: PUSH1 0x60 00001f81: DUP9 00001f82: ADD 00001f83: CALLDATALOAD 00001f84: SWAP8 00001f85: PUSH1 0x80 00001f87: DUP2 00001f88: ADD 00001f89: CALLDATALOAD 00001f8a: SWAP8 00001f8b: POP 00001f8c: PUSH1 0xa0 00001f8e: ADD 00001f8f: CALLDATALOAD 00001f90: SWAP6 00001f91: POP 00001f92: SWAP4 00001f93: POP 00001f94: POP 00001f95: POP 00001f96: POP 00001f97: JUMP 00001f98: JUMPDEST 00001f99: PUSH1 0x00 00001f9b: DUP1 00001f9c: PUSH1 0x00 00001f9e: DUP1 00001f9f: PUSH1 0x00 00001fa1: DUP1 00001fa2: PUSH1 0x00 00001fa4: DUP1 00001fa5: PUSH1 0xa0 00001fa7: DUP10 00001fa8: DUP12 00001fa9: SUB 00001faa: SLT 00001fab: ISZERO 00001fac: PUSH2 0x1fb4 00001faf: JUMPI 00001fb0: PUSH1 0x00 00001fb2: DUP1 00001fb3: REVERT 00001fb4: JUMPDEST 00001fb5: DUP9 00001fb6: CALLDATALOAD 00001fb7: PUSH8 0xffffffffffffffff 00001fc0: DUP1 00001fc1: DUP3 00001fc2: GT 00001fc3: ISZERO 00001fc4: PUSH2 0x1fcc 00001fc7: JUMPI 00001fc8: PUSH1 0x00 00001fca: DUP1 00001fcb: REVERT 00001fcc: JUMPDEST 00001fcd: PUSH2 0x1fd8 00001fd0: DUP13 00001fd1: DUP4 00001fd2: DUP14 00001fd3: ADD 00001fd4: PUSH2 0x1ea1 00001fd7: JUMP 00001fd8: JUMPDEST 00001fd9: SWAP1 00001fda: SWAP11 00001fdb: POP 00001fdc: SWAP9 00001fdd: POP 00001fde: PUSH1 0x20 00001fe0: DUP12 00001fe1: ADD 00001fe2: CALLDATALOAD 00001fe3: SWAP2 00001fe4: POP 00001fe5: DUP1 00001fe6: DUP3 00001fe7: GT 00001fe8: ISZERO 00001fe9: PUSH2 0x1ff1 00001fec: JUMPI 00001fed: PUSH1 0x00 00001fef: DUP1 00001ff0: REVERT 00001ff1: JUMPDEST 00001ff2: PUSH2 0x1ffd 00001ff5: DUP13 00001ff6: DUP4 00001ff7: DUP14 00001ff8: ADD 00001ff9: PUSH2 0x1ea1 00001ffc: JUMP 00001ffd: JUMPDEST 00001ffe: SWAP1 00001fff: SWAP9 00002000: POP 00002001: SWAP7 00002002: POP 00002003: PUSH1 0x40 00002005: DUP12 00002006: ADD 00002007: CALLDATALOAD 00002008: SWAP2 00002009: POP 0000200a: DUP1 0000200b: DUP3 0000200c: GT 0000200d: ISZERO 0000200e: PUSH2 0x2016 00002011: JUMPI 00002012: PUSH1 0x00 00002014: DUP1 00002015: REVERT 00002016: JUMPDEST 00002017: POP 00002018: PUSH2 0x2023 0000201b: DUP12 0000201c: DUP3 0000201d: DUP13 0000201e: ADD 0000201f: PUSH2 0x1ea1 00002022: JUMP 00002023: JUMPDEST 00002024: SWAP10 00002025: SWAP13 00002026: SWAP9 00002027: SWAP12 00002028: POP 00002029: SWAP7 0000202a: SWAP10 0000202b: SWAP6 0000202c: SWAP9 0000202d: SWAP7 0000202e: SWAP8 0000202f: PUSH1 0x60 00002031: DUP8 00002032: ADD 00002033: CALLDATALOAD 00002034: SWAP7 00002035: PUSH1 0x80 00002037: ADD 00002038: CALLDATALOAD 00002039: SWAP6 0000203a: POP 0000203b: SWAP4 0000203c: POP 0000203d: POP 0000203e: POP 0000203f: POP 00002040: JUMP 00002041: JUMPDEST 00002042: PUSH1 0x00 00002044: DUP1 00002045: PUSH1 0x00 00002047: DUP1 00002048: PUSH1 0x00 0000204a: DUP1 0000204b: PUSH1 0x00 0000204d: DUP1 0000204e: PUSH1 0xa0 00002050: DUP10 00002051: DUP12 00002052: SUB 00002053: SLT 00002054: ISZERO 00002055: PUSH2 0x205d 00002058: JUMPI 00002059: PUSH1 0x00 0000205b: DUP1 0000205c: REVERT 0000205d: JUMPDEST 0000205e: PUSH2 0x2066 00002061: DUP10 00002062: PUSH2 0x1c58 00002065: JUMP 00002066: JUMPDEST 00002067: SWAP8 00002068: POP 00002069: PUSH2 0x2074 0000206c: PUSH1 0x20 0000206e: DUP11 0000206f: ADD 00002070: PUSH2 0x1c58 00002073: JUMP 00002074: JUMPDEST 00002075: SWAP7 00002076: POP 00002077: PUSH1 0x40 00002079: DUP10 0000207a: ADD 0000207b: CALLDATALOAD 0000207c: PUSH8 0xffffffffffffffff 00002085: DUP1 00002086: DUP3 00002087: GT 00002088: ISZERO 00002089: PUSH2 0x2091 0000208c: JUMPI 0000208d: PUSH1 0x00 0000208f: DUP1 00002090: REVERT 00002091: JUMPDEST 00002092: PUSH2 0x209d 00002095: DUP13 00002096: DUP4 00002097: DUP14 00002098: ADD 00002099: PUSH2 0x1ea1 0000209c: JUMP 0000209d: JUMPDEST 0000209e: SWAP1 0000209f: SWAP9 000020a0: POP 000020a1: SWAP7 000020a2: POP 000020a3: PUSH1 0x60 000020a5: DUP12 000020a6: ADD 000020a7: CALLDATALOAD 000020a8: SWAP2 000020a9: POP 000020aa: DUP1 000020ab: DUP3 000020ac: GT 000020ad: ISZERO 000020ae: PUSH2 0x20b6 000020b1: JUMPI 000020b2: PUSH1 0x00 000020b4: DUP1 000020b5: REVERT 000020b6: JUMPDEST 000020b7: PUSH2 0x20c2 000020ba: DUP13 000020bb: DUP4 000020bc: DUP14 000020bd: ADD 000020be: PUSH2 0x1ea1 000020c1: JUMP 000020c2: JUMPDEST 000020c3: SWAP1 000020c4: SWAP7 000020c5: POP 000020c6: SWAP5 000020c7: POP 000020c8: PUSH1 0x80 000020ca: DUP12 000020cb: ADD 000020cc: CALLDATALOAD 000020cd: SWAP2 000020ce: POP 000020cf: DUP1 000020d0: DUP3 000020d1: GT 000020d2: ISZERO 000020d3: PUSH2 0x20db 000020d6: JUMPI 000020d7: PUSH1 0x00 000020d9: DUP1 000020da: REVERT 000020db: JUMPDEST 000020dc: POP 000020dd: PUSH2 0x20e8 000020e0: DUP12 000020e1: DUP3 000020e2: DUP13 000020e3: ADD 000020e4: PUSH2 0x1c81 000020e7: JUMP 000020e8: JUMPDEST 000020e9: SWAP10 000020ea: SWAP13 000020eb: SWAP9 000020ec: SWAP12 000020ed: POP 000020ee: SWAP7 000020ef: SWAP10 000020f0: POP 000020f1: SWAP5 000020f2: SWAP8 000020f3: SWAP4 000020f4: SWAP7 000020f5: SWAP3 000020f6: SWAP6 000020f7: SWAP5 000020f8: POP 000020f9: POP 000020fa: POP 000020fb: JUMP 000020fc: JUMPDEST 000020fd: PUSH1 0x00 000020ff: DUP1 00002100: PUSH1 0x00 00002102: DUP1 00002103: PUSH1 0x00 00002105: DUP1 00002106: PUSH1 0xa0 00002108: DUP8 00002109: DUP10 0000210a: SUB 0000210b: SLT 0000210c: ISZERO 0000210d: PUSH2 0x2115 00002110: JUMPI 00002111: PUSH1 0x00 00002113: DUP1 00002114: REVERT 00002115: JUMPDEST 00002116: PUSH2 0x211e 00002119: DUP8 0000211a: PUSH2 0x1c58 0000211d: JUMP 0000211e: JUMPDEST 0000211f: SWAP6 00002120: POP 00002121: PUSH2 0x212c 00002124: PUSH1 0x20 00002126: DUP9 00002127: ADD 00002128: PUSH2 0x1c58 0000212b: JUMP 0000212c: JUMPDEST 0000212d: SWAP5 0000212e: POP 0000212f: PUSH1 0x40 00002131: DUP8 00002132: ADD 00002133: CALLDATALOAD 00002134: SWAP4 00002135: POP 00002136: PUSH1 0x60 00002138: DUP8 00002139: ADD 0000213a: CALLDATALOAD 0000213b: SWAP3 0000213c: POP 0000213d: PUSH1 0x80 0000213f: DUP8 00002140: ADD 00002141: CALLDATALOAD 00002142: PUSH8 0xffffffffffffffff 0000214b: DUP2 0000214c: GT 0000214d: ISZERO 0000214e: PUSH2 0x2156 00002151: JUMPI 00002152: PUSH1 0x00 00002154: DUP1 00002155: REVERT 00002156: JUMPDEST 00002157: PUSH2 0x2162 0000215a: DUP10 0000215b: DUP3 0000215c: DUP11 0000215d: ADD 0000215e: PUSH2 0x1c81 00002161: JUMP 00002162: JUMPDEST 00002163: SWAP8 00002164: SWAP11 00002165: SWAP7 00002166: SWAP10 00002167: POP 00002168: SWAP5 00002169: SWAP8 0000216a: POP 0000216b: SWAP3 0000216c: SWAP6 0000216d: SWAP4 0000216e: SWAP5 0000216f: SWAP3 00002170: POP 00002171: POP 00002172: POP 00002173: JUMP 00002174: JUMPDEST 00002175: DUP2 00002176: DUP4 00002177: MSTORE 00002178: DUP2 00002179: DUP2 0000217a: PUSH1 0x20 0000217c: DUP6 0000217d: ADD 0000217e: CALLDATACOPY 0000217f: POP 00002180: PUSH1 0x00 00002182: PUSH1 0x20 00002184: DUP3 00002185: DUP5 00002186: ADD 00002187: ADD 00002188: MSTORE 00002189: PUSH1 0x00 0000218b: PUSH1 0x20 0000218d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000021ae: PUSH1 0x1f 000021b0: DUP5 000021b1: ADD 000021b2: AND 000021b3: DUP5 000021b4: ADD 000021b5: ADD 000021b6: SWAP1 000021b7: POP 000021b8: SWAP3 000021b9: SWAP2 000021ba: POP 000021bb: POP 000021bc: JUMP 000021bd: JUMPDEST 000021be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021d3: DUP8 000021d4: AND 000021d5: DUP2 000021d6: MSTORE 000021d7: DUP6 000021d8: PUSH1 0x20 000021da: DUP3 000021db: ADD 000021dc: MSTORE 000021dd: PUSH1 0xa0 000021df: PUSH1 0x40 000021e1: DUP3 000021e2: ADD 000021e3: MSTORE 000021e4: PUSH1 0x00 000021e6: PUSH2 0x21f3 000021e9: PUSH1 0xa0 000021eb: DUP4 000021ec: ADD 000021ed: DUP7 000021ee: DUP9 000021ef: PUSH2 0x2174 000021f2: JUMP 000021f3: JUMPDEST 000021f4: PUSH1 0x60 000021f6: DUP4 000021f7: ADD 000021f8: SWAP5 000021f9: SWAP1 000021fa: SWAP5 000021fb: MSTORE 000021fc: POP 000021fd: PUSH1 0x80 000021ff: ADD 00002200: MSTORE 00002201: SWAP5 00002202: SWAP4 00002203: POP 00002204: POP 00002205: POP 00002206: POP 00002207: JUMP 00002208: JUMPDEST 00002209: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000222a: PUSH1 0x00 0000222c: MSTORE 0000222d: PUSH1 0x32 0000222f: PUSH1 0x04 00002231: MSTORE 00002232: PUSH1 0x24 00002234: PUSH1 0x00 00002236: REVERT 00002237: JUMPDEST 00002238: PUSH1 0x00 0000223a: PUSH1 0x20 0000223c: DUP3 0000223d: DUP5 0000223e: SUB 0000223f: SLT 00002240: ISZERO 00002241: PUSH2 0x2249 00002244: JUMPI 00002245: PUSH1 0x00 00002247: DUP1 00002248: REVERT 00002249: JUMPDEST 0000224a: PUSH2 0x091c 0000224d: DUP3 0000224e: PUSH2 0x1c58 00002251: JUMP 00002252: JUMPDEST 00002253: PUSH1 0x00 00002255: DUP1 00002256: DUP4 00002257: CALLDATALOAD 00002258: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 00002279: DUP5 0000227a: CALLDATASIZE 0000227b: SUB 0000227c: ADD 0000227d: DUP2 0000227e: SLT 0000227f: PUSH2 0x2287 00002282: JUMPI 00002283: PUSH1 0x00 00002285: DUP1 00002286: REVERT 00002287: JUMPDEST 00002288: DUP4 00002289: ADD 0000228a: DUP1 0000228b: CALLDATALOAD 0000228c: SWAP2 0000228d: POP 0000228e: PUSH8 0xffffffffffffffff 00002297: DUP3 00002298: GT 00002299: ISZERO 0000229a: PUSH2 0x22a2 0000229d: JUMPI 0000229e: PUSH1 0x00 000022a0: DUP1 000022a1: REVERT 000022a2: JUMPDEST 000022a3: PUSH1 0x20 000022a5: ADD 000022a6: SWAP2 000022a7: POP 000022a8: CALLDATASIZE 000022a9: DUP2 000022aa: SWAP1 000022ab: SUB 000022ac: DUP3 000022ad: SGT 000022ae: ISZERO 000022af: PUSH2 0x1cc3 000022b2: JUMPI 000022b3: PUSH1 0x00 000022b5: DUP1 000022b6: REVERT 000022b7: JUMPDEST 000022b8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000022d9: PUSH1 0x00 000022db: MSTORE 000022dc: PUSH1 0x11 000022de: PUSH1 0x04 000022e0: MSTORE 000022e1: PUSH1 0x24 000022e3: PUSH1 0x00 000022e5: REVERT 000022e6: JUMPDEST 000022e7: PUSH1 0x00 000022e9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000230a: DUP3 0000230b: EQ 0000230c: ISZERO 0000230d: PUSH2 0x2318 00002310: JUMPI 00002311: PUSH2 0x2318 00002314: PUSH2 0x22b7 00002317: JUMP 00002318: JUMPDEST 00002319: POP 0000231a: PUSH1 0x01 0000231c: ADD 0000231d: SWAP1 0000231e: JUMP 0000231f: JUMPDEST 00002320: DUP2 00002321: DUP4 00002322: MSTORE 00002323: PUSH1 0x00 00002325: PUSH1 0x20 00002327: DUP1 00002328: DUP6 00002329: ADD 0000232a: DUP1 0000232b: DUP2 0000232c: SWAP7 0000232d: POP 0000232e: DUP6 0000232f: PUSH1 0x05 00002331: SHL 00002332: DUP2 00002333: ADD 00002334: SWAP2 00002335: POP 00002336: DUP5 00002337: PUSH1 0x00 00002339: JUMPDEST 0000233a: DUP8 0000233b: DUP2 0000233c: LT 0000233d: ISZERO 0000233e: PUSH2 0x23c1 00002341: JUMPI 00002342: DUP3 00002343: DUP5 00002344: SUB 00002345: DUP10 00002346: MSTORE 00002347: DUP2 00002348: CALLDATALOAD 00002349: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 0000236a: DUP9 0000236b: CALLDATASIZE 0000236c: SUB 0000236d: ADD 0000236e: DUP2 0000236f: SLT 00002370: PUSH2 0x2378 00002373: JUMPI 00002374: PUSH1 0x00 00002376: DUP1 00002377: REVERT 00002378: JUMPDEST 00002379: DUP8 0000237a: ADD 0000237b: DUP1 0000237c: CALLDATALOAD 0000237d: PUSH8 0xffffffffffffffff 00002386: DUP2 00002387: GT 00002388: ISZERO 00002389: PUSH2 0x2391 0000238c: JUMPI 0000238d: PUSH1 0x00 0000238f: DUP1 00002390: REVERT 00002391: JUMPDEST 00002392: DUP1 00002393: CALLDATASIZE 00002394: SUB 00002395: DUP10 00002396: SGT 00002397: ISZERO 00002398: PUSH2 0x23a0 0000239b: JUMPI 0000239c: PUSH1 0x00 0000239e: DUP1 0000239f: REVERT 000023a0: JUMPDEST 000023a1: PUSH2 0x23ad 000023a4: DUP7 000023a5: DUP3 000023a6: DUP10 000023a7: DUP6 000023a8: ADD 000023a9: PUSH2 0x2174 000023ac: JUMP 000023ad: JUMPDEST 000023ae: SWAP11 000023af: DUP8 000023b0: ADD 000023b1: SWAP11 000023b2: SWAP6 000023b3: POP 000023b4: POP 000023b5: POP 000023b6: SWAP1 000023b7: DUP5 000023b8: ADD 000023b9: SWAP1 000023ba: PUSH1 0x01 000023bc: ADD 000023bd: PUSH2 0x2339 000023c0: JUMP 000023c1: JUMPDEST 000023c2: POP 000023c3: SWAP2 000023c4: SWAP8 000023c5: SWAP7 000023c6: POP 000023c7: POP 000023c8: POP 000023c9: POP 000023ca: POP 000023cb: POP 000023cc: POP 000023cd: JUMP 000023ce: JUMPDEST 000023cf: PUSH1 0xa0 000023d1: DUP1 000023d2: DUP3 000023d3: MSTORE 000023d4: DUP2 000023d5: ADD 000023d6: DUP9 000023d7: SWAP1 000023d8: MSTORE 000023d9: PUSH1 0x00 000023db: DUP10 000023dc: PUSH1 0xc0 000023de: DUP4 000023df: ADD 000023e0: DUP3 000023e1: JUMPDEST 000023e2: DUP12 000023e3: DUP2 000023e4: LT 000023e5: ISZERO 000023e6: PUSH2 0x241c 000023e9: JUMPI 000023ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023ff: PUSH2 0x2407 00002402: DUP5 00002403: PUSH2 0x1c58 00002406: JUMP 00002407: JUMPDEST 00002408: AND 00002409: DUP3 0000240a: MSTORE 0000240b: PUSH1 0x20 0000240d: SWAP3 0000240e: DUP4 0000240f: ADD 00002410: SWAP3 00002411: SWAP1 00002412: SWAP2 00002413: ADD 00002414: SWAP1 00002415: PUSH1 0x01 00002417: ADD 00002418: PUSH2 0x23e1 0000241b: JUMP 0000241c: JUMPDEST 0000241d: POP 0000241e: DUP4 0000241f: DUP2 00002420: SUB 00002421: PUSH1 0x20 00002423: DUP6 00002424: ADD 00002425: MSTORE 00002426: DUP9 00002427: DUP2 00002428: MSTORE 00002429: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000244a: DUP10 0000244b: GT 0000244c: ISZERO 0000244d: PUSH2 0x2455 00002450: JUMPI 00002451: PUSH1 0x00 00002453: DUP1 00002454: REVERT 00002455: JUMPDEST 00002456: DUP9 00002457: PUSH1 0x05 00002459: SHL 0000245a: SWAP2 0000245b: POP 0000245c: DUP2 0000245d: DUP11 0000245e: PUSH1 0x20 00002460: DUP4 00002461: ADD 00002462: CALLDATACOPY 00002463: DUP2 00002464: DUP2 00002465: ADD 00002466: SWAP2 00002467: POP 00002468: POP 00002469: PUSH1 0x20 0000246b: DUP2 0000246c: ADD 0000246d: PUSH1 0x00 0000246f: DUP2 00002470: MSTORE 00002471: PUSH1 0x20 00002473: DUP5 00002474: DUP4 00002475: SUB 00002476: ADD 00002477: PUSH1 0x40 00002479: DUP6 0000247a: ADD 0000247b: MSTORE 0000247c: PUSH2 0x2486 0000247f: DUP2 00002480: DUP9 00002481: DUP11 00002482: PUSH2 0x231f 00002485: JUMP 00002486: JUMPDEST 00002487: PUSH1 0x60 00002489: DUP6 0000248a: ADD 0000248b: SWAP7 0000248c: SWAP1 0000248d: SWAP7 0000248e: MSTORE 0000248f: POP 00002490: POP 00002491: POP 00002492: PUSH1 0x80 00002494: ADD 00002495: MSTORE 00002496: SWAP7 00002497: SWAP6 00002498: POP 00002499: POP 0000249a: POP 0000249b: POP 0000249c: POP 0000249d: POP 0000249e: JUMP 0000249f: JUMPDEST 000024a0: PUSH1 0x00 000024a2: JUMPDEST 000024a3: DUP4 000024a4: DUP2 000024a5: LT 000024a6: ISZERO 000024a7: PUSH2 0x24ba 000024aa: JUMPI 000024ab: DUP2 000024ac: DUP2 000024ad: ADD 000024ae: MLOAD 000024af: DUP4 000024b0: DUP3 000024b1: ADD 000024b2: MSTORE 000024b3: PUSH1 0x20 000024b5: ADD 000024b6: PUSH2 0x24a2 000024b9: JUMP 000024ba: JUMPDEST 000024bb: DUP4 000024bc: DUP2 000024bd: GT 000024be: ISZERO 000024bf: PUSH2 0x24c9 000024c2: JUMPI 000024c3: PUSH1 0x00 000024c5: DUP5 000024c6: DUP5 000024c7: ADD 000024c8: MSTORE 000024c9: JUMPDEST 000024ca: POP 000024cb: POP 000024cc: POP 000024cd: POP 000024ce: JUMP 000024cf: JUMPDEST 000024d0: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 000024f1: DUP2 000024f2: MSTORE 000024f3: PUSH1 0x00 000024f5: DUP4 000024f6: MLOAD 000024f7: PUSH2 0x2507 000024fa: DUP2 000024fb: PUSH1 0x17 000024fd: DUP6 000024fe: ADD 000024ff: PUSH1 0x20 00002501: DUP9 00002502: ADD 00002503: PUSH2 0x249f 00002506: JUMP 00002507: JUMPDEST 00002508: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000 00002529: PUSH1 0x17 0000252b: SWAP2 0000252c: DUP5 0000252d: ADD 0000252e: SWAP2 0000252f: DUP3 00002530: ADD 00002531: MSTORE 00002532: DUP4 00002533: MLOAD 00002534: PUSH2 0x2544 00002537: DUP2 00002538: PUSH1 0x28 0000253a: DUP5 0000253b: ADD 0000253c: PUSH1 0x20 0000253e: DUP9 0000253f: ADD 00002540: PUSH2 0x249f 00002543: JUMP 00002544: JUMPDEST 00002545: ADD 00002546: PUSH1 0x28 00002548: ADD 00002549: SWAP5 0000254a: SWAP4 0000254b: POP 0000254c: POP 0000254d: POP 0000254e: POP 0000254f: JUMP 00002550: JUMPDEST 00002551: PUSH1 0x20 00002553: DUP2 00002554: MSTORE 00002555: PUSH1 0x00 00002557: DUP3 00002558: MLOAD 00002559: DUP1 0000255a: PUSH1 0x20 0000255c: DUP5 0000255d: ADD 0000255e: MSTORE 0000255f: PUSH2 0x256f 00002562: DUP2 00002563: PUSH1 0x40 00002565: DUP6 00002566: ADD 00002567: PUSH1 0x20 00002569: DUP8 0000256a: ADD 0000256b: PUSH2 0x249f 0000256e: JUMP 0000256f: JUMPDEST 00002570: PUSH1 0x1f 00002572: ADD 00002573: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002594: AND 00002595: SWAP2 00002596: SWAP1 00002597: SWAP2 00002598: ADD 00002599: PUSH1 0x40 0000259b: ADD 0000259c: SWAP3 0000259d: SWAP2 0000259e: POP 0000259f: POP 000025a0: JUMP 000025a1: JUMPDEST 000025a2: PUSH1 0x00 000025a4: DUP3 000025a5: NOT 000025a6: DUP3 000025a7: GT 000025a8: ISZERO 000025a9: PUSH2 0x25b4 000025ac: JUMPI 000025ad: PUSH2 0x25b4 000025b0: PUSH2 0x22b7 000025b3: JUMP 000025b4: JUMPDEST 000025b5: POP 000025b6: ADD 000025b7: SWAP1 000025b8: JUMP 000025b9: JUMPDEST 000025ba: DUP2 000025bb: DUP4 000025bc: DUP3 000025bd: CALLDATACOPY 000025be: PUSH1 0x00 000025c0: SWAP2 000025c1: ADD 000025c2: SWAP1 000025c3: DUP2 000025c4: MSTORE 000025c5: SWAP2 000025c6: SWAP1 000025c7: POP 000025c8: JUMP 000025c9: JUMPDEST 000025ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025df: DUP6 000025e0: AND 000025e1: DUP2 000025e2: MSTORE 000025e3: DUP4 000025e4: PUSH1 0x20 000025e6: DUP3 000025e7: ADD 000025e8: MSTORE 000025e9: PUSH1 0x60 000025eb: PUSH1 0x40 000025ed: DUP3 000025ee: ADD 000025ef: MSTORE 000025f0: PUSH1 0x00 000025f2: PUSH2 0x25ff 000025f5: PUSH1 0x60 000025f7: DUP4 000025f8: ADD 000025f9: DUP5 000025fa: DUP7 000025fb: PUSH2 0x2174 000025fe: JUMP 000025ff: JUMPDEST 00002600: SWAP7 00002601: SWAP6 00002602: POP 00002603: POP 00002604: POP 00002605: POP 00002606: POP 00002607: POP 00002608: JUMP 00002609: JUMPDEST 0000260a: PUSH1 0x00 0000260c: DUP2 0000260d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000262e: DIV 0000262f: DUP4 00002630: GT 00002631: DUP3 00002632: ISZERO 00002633: ISZERO 00002634: AND 00002635: ISZERO 00002636: PUSH2 0x2641 00002639: JUMPI 0000263a: PUSH2 0x2641 0000263d: PUSH2 0x22b7 00002640: JUMP 00002641: JUMPDEST 00002642: POP 00002643: MUL 00002644: SWAP1 00002645: JUMP 00002646: JUMPDEST 00002647: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002668: PUSH1 0x00 0000266a: MSTORE 0000266b: PUSH1 0x41 0000266d: PUSH1 0x04 0000266f: MSTORE 00002670: PUSH1 0x24 00002672: PUSH1 0x00 00002674: REVERT 00002675: JUMPDEST 00002676: PUSH1 0x00 00002678: DUP2 00002679: PUSH2 0x2684 0000267c: JUMPI 0000267d: PUSH2 0x2684 00002680: PUSH2 0x22b7 00002683: JUMP 00002684: JUMPDEST 00002685: POP 00002686: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000026a7: ADD 000026a8: SWAP1 000026a9: JUMP 000026aa: INVALID 000026ab: LOG2 000026ac: PUSH5 0x6970667358 000026b2: UNKNOWN(0x22) 000026b3: SLT 000026b4: KECCAK256 000026b5: UNKNOWN(0xE1) 000026b6: UNKNOWN(0xEE) 000026b7: CODESIZE 000026b8: UNKNOWN(0xBC) 000026b9: PUSH25 0x4ed044b3178fc412e9abf22e5fdbd3566d3d7fb8dce21f9fa3 000026d3: UNKNOWN(0xD5) 000026d4: CLZ 000026d5: PUSH5 0x736f6c6343 000026db: STOP 000026dc: ADDMOD 000026dd: MULMOD 000026de: STOP 000026df: CALLER
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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113
call_targets:
0xf850ceb782707df66a49b861ff74436be271611e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf850ceb782707df66a49b861ff74436be271611e"
],
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe38335e5",
"selector": "0xe38335e5",
"calldata_variants": [
"0xe38335e5",
"0xe38335e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf27a0c92",
"selector": "0xf27a0c92",
"calldata_variants": [
"0xf27a0c92",
"0xf27a0c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1c5f427",
"selector": "0xb1c5f427",
"calldata_variants": [
"0xb1c5f427",
"0xb1c5f4270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d252f5",
"selector": "0xc4d252f5",
"calldata_variants": [
"0xc4d252f5",
"0xc4d252f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd45c4435",
"selector": "0xd45c4435",
"calldata_variants": [
"0xd45c4435",
"0xd45c44350000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5569,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113
call_targets:
0xf850ceb782707df66a49b861ff74436be271611e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa484d16e653a4d3ee45deaeb9a55a614a88e6dad5c9190c9c315052d1b7d2113",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf850ceb782707df66a49b861ff74436be271611e"
],
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe38335e5",
"selector": "0xe38335e5",
"calldata_variants": [
"0xe38335e5",
"0xe38335e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf27a0c92",
"selector": "0xf27a0c92",
"calldata_variants": [
"0xf27a0c92",
"0xf27a0c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1c5f427",
"selector": "0xb1c5f427",
"calldata_variants": [
"0xb1c5f427",
"0xb1c5f4270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d252f5",
"selector": "0xc4d252f5",
"calldata_variants": [
"0xc4d252f5",
"0xc4d252f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd45c4435",
"selector": "0xd45c4435",
"calldata_variants": [
"0xd45c4435",
"0xd45c44350000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5569,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|