019b477e-dacc-7365-bca1-195a20d736e8
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 |
|---|---|---|---|---|
| 29529 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29530 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108589 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108590 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108591 | detector.run | complete | 1 / 3 | 1 week ago |
| 108592 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0xa0 00000002: DUP1 00000003: PUSH1 0x40 00000005: MSTORE 00000006: PUSH1 0x04 00000008: CALLDATASIZE 00000009: LT 0000000a: ISZERO 0000000b: PUSH2 0x001c 0000000e: JUMPI 0000000f: JUMPDEST 00000010: POP 00000011: CALLDATASIZE 00000012: ISZERO 00000013: PUSH2 0x001a 00000016: JUMPI 00000017: PUSH0 00000018: DUP1 00000019: REVERT 0000001a: JUMPDEST 0000001b: STOP 0000001c: JUMPDEST 0000001d: PUSH0 0000001e: CALLDATALOAD 0000001f: PUSH1 0xe0 00000021: SHR 00000022: SWAP1 00000023: DUP2 00000024: PUSH4 0x01ffc9a7 00000029: EQ 0000002a: PUSH2 0x1a93 0000002d: JUMPI 0000002e: POP 0000002f: DUP1 00000030: PUSH4 0x054a68ad 00000035: EQ 00000036: PUSH2 0x19ff 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x2194f3a2 00000040: EQ 00000041: PUSH2 0x19ae 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x248a9ca3 0000004b: EQ 0000004c: PUSH2 0x1964 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x2f2ff15d 00000056: EQ 00000057: PUSH2 0x190a 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x2fde3826 00000061: EQ 00000062: PUSH2 0x1845 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x36568abe 0000006c: EQ 0000006d: PUSH2 0x17bb 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x3f3a0311 00000077: EQ 00000078: PUSH2 0x1651 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x461c48cd 00000082: EQ 00000083: PUSH2 0x14f2 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x47437b68 0000008d: EQ 0000008e: PUSH2 0x11c4 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x5f91d406 00000098: EQ 00000099: PUSH2 0x116c 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x64f0d35e 000000a3: EQ 000000a4: PUSH2 0x111b 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x65263303 000000ae: EQ 000000af: PUSH2 0x0a7b 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x75b238fc 000000b9: EQ 000000ba: PUSH2 0x0a23 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x7d6f0d5f 000000c4: EQ 000000c5: PUSH2 0x0943 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x91d14854 000000cf: EQ 000000d0: PUSH2 0x08cf 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0xa217fddf 000000da: EQ 000000db: PUSH2 0x0897 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0xa24e1788 000000e5: EQ 000000e6: PUSH2 0x06d9 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0xaad2b723 000000f0: EQ 000000f1: PUSH2 0x05a5 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0xb0f09f9b 000000fb: EQ 000000fc: PUSH2 0x03a4 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0xcabb4549 00000106: EQ 00000107: PUSH2 0x034c 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0xd547741f 00000111: EQ 00000112: PUSH2 0x02f2 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0xfdea8e0b 0000011c: EQ 0000011d: PUSH2 0x02a1 00000120: JUMPI 00000121: PUSH4 0xff93be03 00000126: EQ 00000127: PUSH2 0x0130 0000012a: JUMPI 0000012b: PUSH0 0000012c: PUSH2 0x000f 0000012f: JUMP 00000130: JUMPDEST 00000131: CALLVALUE 00000132: PUSH2 0x029d 00000135: JUMPI 00000136: PUSH1 0x40 00000138: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000159: CALLDATASIZE 0000015a: ADD 0000015b: SLT 0000015c: PUSH2 0x029d 0000015f: JUMPI 00000160: PUSH2 0x0167 00000163: PUSH2 0x1ba8 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x24 0000016a: CALLDATALOAD 0000016b: PUSH8 0xffffffffffffffff 00000174: DUP2 00000175: GT 00000176: PUSH2 0x029d 00000179: JUMPI 0000017a: PUSH2 0x0187 0000017d: SWAP1 0000017e: CALLDATASIZE 0000017f: SWAP1 00000180: PUSH1 0x04 00000182: ADD 00000183: PUSH2 0x1bdc 00000186: JUMP 00000187: JUMPDEST 00000188: SWAP2 00000189: PUSH2 0x0190 0000018c: PUSH2 0x1fed 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH2 0x0199 00000194: DUP2 00000195: PUSH2 0x2044 00000198: JUMP 00000199: JUMPDEST 0000019a: CALLER 0000019b: PUSH0 0000019c: MSTORE 0000019d: PUSH1 0x20 0000019f: PUSH1 0x04 000001a1: PUSH1 0x20 000001a3: MSTORE 000001a4: PUSH4 0xffffffff 000001a9: PUSH1 0x40 000001ab: PUSH0 000001ac: KECCAK256 000001ad: SWAP3 000001ae: AND 000001af: SWAP2 000001b0: DUP3 000001b1: PUSH0 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: MSTORE 000001b6: PUSH1 0x40 000001b8: PUSH0 000001b9: KECCAK256 000001ba: PUSH0 000001bb: JUMPDEST 000001bc: DUP6 000001bd: DUP2 000001be: LT 000001bf: PUSH2 0x01e7 000001c2: JUMPI 000001c3: PUSH0 000001c4: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 000001e5: TSTORE 000001e6: STOP 000001e7: JUMPDEST 000001e8: DUP1 000001e9: DUP5 000001ea: PUSH2 0x01fe 000001ed: PUSH2 0x01f9 000001f0: PUSH1 0x01 000001f2: SWAP5 000001f3: DUP11 000001f4: DUP11 000001f5: PUSH2 0x1ca2 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH2 0x1cb2 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000214: DUP2 00000215: AND 00000216: PUSH0 00000217: MSTORE 00000218: DUP5 00000219: DUP7 0000021a: MSTORE 0000021b: PUSH1 0x40 0000021d: PUSH0 0000021e: KECCAK256 0000021f: DUP1 00000220: SLOAD 00000221: SWAP1 00000222: DUP2 00000223: ISZERO 00000224: PUSH2 0x0294 00000227: JUMPI 00000228: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223 00000249: SWAP2 0000024a: PUSH0 0000024b: PUSH2 0x028a 0000024e: SWAP3 0000024f: SSTORE 00000250: PUSH2 0x0259 00000253: DUP2 00000254: DUP6 00000255: PUSH2 0x2182 00000258: JUMP 00000259: JUMPDEST 0000025a: PUSH1 0x40 0000025c: MLOAD 0000025d: SWAP2 0000025e: DUP3 0000025f: SWAP2 00000260: CALLER 00000261: SWAP6 00000262: DUP4 00000263: PUSH1 0x20 00000265: SWAP1 00000266: SWAP4 00000267: SWAP3 00000268: SWAP2 00000269: SWAP4 0000026a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027f: PUSH1 0x40 00000281: DUP3 00000282: ADD 00000283: SWAP6 00000284: AND 00000285: DUP2 00000286: MSTORE 00000287: ADD 00000288: MSTORE 00000289: JUMP 0000028a: JUMPDEST 0000028b: SUB 0000028c: SWAP1 0000028d: LOG3 0000028e: JUMPDEST 0000028f: ADD 00000290: PUSH2 0x01bb 00000293: JUMP 00000294: JUMPDEST 00000295: POP 00000296: POP 00000297: POP 00000298: POP 00000299: PUSH2 0x028e 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH0 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: PUSH2 0x029d 000002a6: JUMPI 000002a7: PUSH0 000002a8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000002c9: CALLDATASIZE 000002ca: ADD 000002cb: SLT 000002cc: PUSH2 0x029d 000002cf: JUMPI 000002d0: PUSH1 0x20 000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e7: PUSH1 0x01 000002e9: SLOAD 000002ea: AND 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: SWAP1 000002ef: DUP2 000002f0: MSTORE 000002f1: RETURN 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: PUSH2 0x029d 000002f7: JUMPI 000002f8: PUSH1 0x40 000002fa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000031b: CALLDATASIZE 0000031c: ADD 0000031d: SLT 0000031e: PUSH2 0x029d 00000321: JUMPI 00000322: PUSH2 0x001a 00000325: PUSH1 0x04 00000327: CALLDATALOAD 00000328: PUSH2 0x032f 0000032b: PUSH2 0x1b72 0000032e: JUMP 0000032f: JUMPDEST 00000330: SWAP1 00000331: DUP1 00000332: PUSH0 00000333: MSTORE 00000334: PUSH0 00000335: PUSH1 0x20 00000337: MSTORE 00000338: PUSH2 0x0347 0000033b: PUSH1 0x01 0000033d: PUSH1 0x40 0000033f: PUSH0 00000340: KECCAK256 00000341: ADD 00000342: SLOAD 00000343: PUSH2 0x1e23 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH2 0x1eec 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: PUSH2 0x029d 00000351: JUMPI 00000352: PUSH0 00000353: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000374: CALLDATASIZE 00000375: ADD 00000376: SLT 00000377: PUSH2 0x029d 0000037a: JUMPI 0000037b: PUSH1 0x20 0000037d: PUSH1 0x40 0000037f: MLOAD 00000380: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c 000003a1: DUP2 000003a2: MSTORE 000003a3: RETURN 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: PUSH2 0x029d 000003a9: JUMPI 000003aa: PUSH2 0x03b2 000003ad: CALLDATASIZE 000003ae: PUSH2 0x1c0d 000003b1: JUMP 000003b2: JUMPDEST 000003b3: SWAP2 000003b4: SWAP3 000003b5: PUSH2 0x03c1 000003b8: SWAP7 000003b9: SWAP5 000003ba: SWAP6 000003bb: SWAP2 000003bc: SWAP7 000003bd: PUSH2 0x1dc8 000003c0: JUMP 000003c1: JUMPDEST 000003c2: DUP2 000003c3: ISZERO 000003c4: PUSH2 0x057b 000003c7: JUMPI 000003c8: DUP7 000003c9: DUP2 000003ca: EQ 000003cb: DUP1 000003cc: ISZERO 000003cd: SWAP1 000003ce: PUSH2 0x0571 000003d1: JUMPI 000003d2: JUMPDEST 000003d3: PUSH2 0x0547 000003d6: JUMPI 000003d7: PUSH0 000003d8: JUMPDEST 000003d9: DUP3 000003da: DUP2 000003db: LT 000003dc: PUSH2 0x03e1 000003df: JUMPI 000003e0: STOP 000003e1: JUMPDEST 000003e2: PUSH2 0x03ef 000003e5: PUSH2 0x01f9 000003e8: DUP3 000003e9: DUP6 000003ea: DUP10 000003eb: PUSH2 0x1ca2 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH2 0x03fa 000003f3: DUP3 000003f4: DUP5 000003f5: DUP11 000003f6: PUSH2 0x1f8a 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH2 0x0405 000003fe: DUP5 000003ff: DUP13 00000400: DUP11 00000401: PUSH2 0x1f8a 00000404: JUMP 00000405: JUMPDEST 00000406: SWAP4 00000407: SWAP1 00000408: SWAP2 00000409: DUP5 0000040a: DUP2 0000040b: SUB 0000040c: PUSH2 0x0547 0000040f: JUMPI 00000410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000425: DUP1 00000426: DUP4 00000427: AND 00000428: PUSH0 00000429: MSTORE 0000042a: PUSH1 0x20 0000042c: SWAP2 0000042d: PUSH1 0x04 0000042f: DUP4 00000430: MSTORE 00000431: PUSH1 0x40 00000433: PUSH0 00000434: KECCAK256 00000435: PUSH4 0xffffffff 0000043a: DUP13 0000043b: AND 0000043c: PUSH0 0000043d: MSTORE 0000043e: DUP4 0000043f: MSTORE 00000440: PUSH1 0x40 00000442: PUSH0 00000443: KECCAK256 00000444: SWAP1 00000445: PUSH0 00000446: JUMPDEST 00000447: DUP13 00000448: DUP3 00000449: DUP3 0000044a: LT 0000044b: PUSH2 0x0460 0000044e: JUMPI 0000044f: POP 00000450: POP 00000451: POP 00000452: POP 00000453: POP 00000454: POP 00000455: POP 00000456: POP 00000457: POP 00000458: POP 00000459: PUSH1 0x01 0000045b: ADD 0000045c: PUSH2 0x03d8 0000045f: JUMP 00000460: JUMPDEST 00000461: SWAP1 00000462: PUSH32 0x417f35c26082857703ae6c899579ddffbf6474393d19bdbf0fbde87267048b4e 00000483: PUSH1 0x01 00000485: SWAP3 00000486: DUP10 00000487: PUSH2 0x052a 0000048a: PUSH2 0x04a3 0000048d: DUP6 0000048e: DUP16 0000048f: DUP16 00000490: PUSH2 0x01f9 00000493: DUP4 00000494: DUP13 00000495: PUSH2 0x049d 00000498: SWAP4 00000499: PUSH2 0x1ca2 0000049c: JUMP 0000049d: JUMPDEST 0000049e: SWAP5 0000049f: PUSH2 0x1ca2 000004a2: JUMP 000004a3: JUMPDEST 000004a4: CALLDATALOAD 000004a5: SWAP3 000004a6: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000004bb: DUP11 000004bc: DUP5 000004bd: AND 000004be: DUP1 000004bf: PUSH0 000004c0: MSTORE 000004c1: DUP11 000004c2: DUP14 000004c3: MSTORE 000004c4: PUSH1 0x40 000004c6: PUSH0 000004c7: KECCAK256 000004c8: PUSH2 0x04d2 000004cb: DUP8 000004cc: DUP3 000004cd: SLOAD 000004ce: PUSH2 0x1d7e 000004d1: JUMP 000004d2: JUMPDEST 000004d3: SWAP1 000004d4: SSTORE 000004d5: SUB 000004d6: PUSH2 0x0533 000004d9: JUMPI 000004da: PUSH2 0x04e7 000004dd: DUP5 000004de: DUP12 000004df: PUSH1 0x03 000004e1: SLOAD 000004e2: AND 000004e3: PUSH2 0x222a 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH1 0x40 000004ea: DUP1 000004eb: MLOAD 000004ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000501: DUP1 00000502: DUP16 00000503: AND 00000504: DUP3 00000505: MSTORE 00000506: SWAP1 00000507: SWAP5 00000508: AND 00000509: PUSH1 0x20 0000050b: DUP6 0000050c: ADD 0000050d: MSTORE 0000050e: DUP4 0000050f: ADD 00000510: SWAP4 00000511: SWAP1 00000512: SWAP4 00000513: MSTORE 00000514: PUSH4 0xffffffff 00000519: SWAP1 0000051a: SWAP3 0000051b: AND 0000051c: PUSH1 0x60 0000051e: DUP3 0000051f: ADD 00000520: MSTORE 00000521: SWAP1 00000522: DUP2 00000523: SWAP1 00000524: PUSH1 0x80 00000526: DUP3 00000527: ADD 00000528: SWAP1 00000529: JUMP 0000052a: JUMPDEST 0000052b: SUB 0000052c: SWAP1 0000052d: LOG1 0000052e: ADD 0000052f: PUSH2 0x0446 00000532: JUMP 00000533: JUMPDEST 00000534: PUSH2 0x0542 00000537: DUP5 00000538: DUP12 00000539: PUSH1 0x03 0000053b: SLOAD 0000053c: AND 0000053d: DUP6 0000053e: PUSH2 0x21c8 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH2 0x04e7 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH1 0x04 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: PUSH32 0xa24a13a600000000000000000000000000000000000000000000000000000000 0000056e: DUP2 0000056f: MSTORE 00000570: REVERT 00000571: JUMPDEST 00000572: POP 00000573: DUP2 00000574: DUP8 00000575: EQ 00000576: ISZERO 00000577: PUSH2 0x03d2 0000057a: JUMP 0000057b: JUMPDEST 0000057c: PUSH1 0x04 0000057e: PUSH1 0x40 00000580: MLOAD 00000581: PUSH32 0x0f59b9ff00000000000000000000000000000000000000000000000000000000 000005a2: DUP2 000005a3: MSTORE 000005a4: REVERT 000005a5: JUMPDEST 000005a6: CALLVALUE 000005a7: PUSH2 0x029d 000005aa: JUMPI 000005ab: PUSH1 0x20 000005ad: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000005ce: CALLDATASIZE 000005cf: ADD 000005d0: SLT 000005d1: PUSH2 0x029d 000005d4: JUMPI 000005d5: PUSH2 0x05dc 000005d8: PUSH2 0x1b4f 000005db: JUMP 000005dc: JUMPDEST 000005dd: PUSH2 0x05e4 000005e0: PUSH2 0x1dc8 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH1 0x02 000005e7: SLOAD 000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fd: DUP1 000005fe: DUP4 000005ff: AND 00000600: SWAP3 00000601: SWAP2 00000602: SWAP1 00000603: DUP2 00000604: AND 00000605: DUP4 00000606: ISZERO 00000607: PUSH2 0x06af 0000060a: JUMPI 0000060b: DUP4 0000060c: DUP2 0000060d: EQ 0000060e: PUSH2 0x0685 00000611: JUMPI 00000612: PUSH1 0x40 00000614: DUP1 00000615: MLOAD 00000616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062b: SWAP3 0000062c: DUP4 0000062d: AND 0000062e: DUP2 0000062f: MSTORE 00000630: SWAP4 00000631: SWAP1 00000632: SWAP2 00000633: AND 00000634: PUSH1 0x20 00000636: DUP5 00000637: ADD 00000638: MSTORE 00000639: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000065a: SWAP3 0000065b: PUSH32 0x2d025324f0a785e8c12d0a0d91a9caa49df4ef20ff87e0df7213a1d4f3157beb 0000067c: SWAP2 0000067d: SWAP1 0000067e: LOG1 0000067f: AND 00000680: OR 00000681: PUSH1 0x02 00000683: SSTORE 00000684: STOP 00000685: JUMPDEST 00000686: PUSH1 0x04 00000688: PUSH1 0x40 0000068a: MLOAD 0000068b: PUSH32 0x2620eb3a00000000000000000000000000000000000000000000000000000000 000006ac: DUP2 000006ad: MSTORE 000006ae: REVERT 000006af: JUMPDEST 000006b0: PUSH1 0x04 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000 000006d6: DUP2 000006d7: MSTORE 000006d8: REVERT 000006d9: JUMPDEST 000006da: CALLVALUE 000006db: PUSH2 0x029d 000006de: JUMPI 000006df: PUSH1 0x20 000006e1: DUP1 000006e2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000703: CALLDATASIZE 00000704: ADD 00000705: SLT 00000706: PUSH2 0x029d 00000709: JUMPI 0000070a: PUSH8 0xffffffffffffffff 00000713: SWAP1 00000714: PUSH1 0x04 00000716: CALLDATALOAD 00000717: DUP3 00000718: DUP2 00000719: GT 0000071a: PUSH2 0x029d 0000071d: JUMPI 0000071e: PUSH2 0x072b 00000721: SWAP1 00000722: CALLDATASIZE 00000723: SWAP1 00000724: PUSH1 0x04 00000726: ADD 00000727: PUSH2 0x1bdc 0000072a: JUMP 0000072b: JUMPDEST 0000072c: SWAP2 0000072d: SWAP1 0000072e: PUSH2 0x0735 00000731: PUSH2 0x1dc8 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH0 00000737: JUMPDEST 00000738: DUP4 00000739: DUP2 0000073a: LT 0000073b: PUSH2 0x0740 0000073e: JUMPI 0000073f: STOP 00000740: JUMPDEST 00000741: PUSH2 0x074e 00000744: PUSH2 0x01f9 00000747: DUP3 00000748: DUP7 00000749: DUP6 0000074a: PUSH2 0x1ca2 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: SWAP1 00000765: PUSH1 0x01 00000767: DUP3 00000768: DUP2 00000769: SLOAD 0000076a: AND 0000076b: SWAP3 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: SWAP4 00000770: DUP8 00000771: DUP6 00000772: ADD 00000773: SWAP1 00000774: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000 00000795: SWAP4 00000796: DUP5 00000797: DUP4 00000798: MSTORE 00000799: PUSH1 0x24 0000079b: SWAP4 0000079c: DUP3 0000079d: DUP6 0000079e: DUP10 0000079f: ADD 000007a0: MSTORE 000007a1: DUP11 000007a2: PUSH0 000007a3: PUSH1 0x44 000007a5: SWAP6 000007a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007c7: DUP8 000007c8: DUP13 000007c9: ADD 000007ca: MSTORE 000007cb: DUP7 000007cc: DUP12 000007cd: MSTORE 000007ce: PUSH2 0x07d6 000007d1: DUP12 000007d2: PUSH2 0x1ce7 000007d5: JUMP 000007d6: JUMPDEST 000007d7: DUP11 000007d8: MLOAD 000007d9: SWAP1 000007da: DUP3 000007db: DUP12 000007dc: GAS 000007dd: CALL 000007de: SWAP2 000007df: RETURNDATASIZE 000007e0: PUSH0 000007e1: MLOAD 000007e2: SWAP1 000007e3: DUP5 000007e4: PUSH2 0x0875 000007e7: JUMPI 000007e8: JUMPDEST 000007e9: POP 000007ea: POP 000007eb: POP 000007ec: POP 000007ed: ISZERO 000007ee: PUSH2 0x0800 000007f1: JUMPI 000007f2: JUMPDEST 000007f3: POP 000007f4: POP 000007f5: POP 000007f6: POP 000007f7: POP 000007f8: POP 000007f9: PUSH1 0x01 000007fb: ADD 000007fc: PUSH2 0x0737 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x40 00000803: MLOAD 00000804: SWAP4 00000805: DUP10 00000806: DUP6 00000807: ADD 00000808: MSTORE 00000809: DUP3 0000080a: DUP5 0000080b: ADD 0000080c: MSTORE 0000080d: PUSH0 0000080e: DUP2 0000080f: DUP5 00000810: ADD 00000811: MSTORE 00000812: DUP3 00000813: MSTORE 00000814: PUSH1 0x80 00000816: DUP3 00000817: ADD 00000818: SWAP1 00000819: DUP3 0000081a: DUP3 0000081b: LT 0000081c: DUP11 0000081d: DUP4 0000081e: GT 0000081f: OR 00000820: PUSH2 0x084a 00000823: JUMPI 00000824: POP 00000825: SWAP2 00000826: PUSH2 0x083a 00000829: PUSH1 0x01 0000082b: SWAP6 0000082c: SWAP5 0000082d: SWAP3 0000082e: PUSH2 0x083f 00000831: SWAP5 00000832: PUSH1 0x40 00000834: MSTORE 00000835: DUP3 00000836: PUSH2 0x2313 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH2 0x2313 0000083e: JUMP 0000083f: JUMPDEST 00000840: SWAP1 00000841: DUP7 00000842: DUP1 00000843: DUP1 00000844: DUP1 00000845: DUP1 00000846: PUSH2 0x07f2 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000086c: PUSH0 0000086d: MSTORE 0000086e: PUSH1 0x41 00000870: PUSH1 0x04 00000872: MSTORE 00000873: PUSH0 00000874: REVERT 00000875: JUMPDEST 00000876: SWAP3 00000877: SWAP4 00000878: POP 00000879: SWAP1 0000087a: SWAP2 0000087b: PUSH2 0x088f 0000087e: JUMPI 0000087f: POP 00000880: POP 00000881: DUP6 00000882: AND 00000883: EXTCODESIZE 00000884: ISZERO 00000885: ISZERO 00000886: JUMPDEST 00000887: DUP13 00000888: DUP1 00000889: DUP1 0000088a: DUP1 0000088b: PUSH2 0x07e8 0000088e: JUMP 0000088f: JUMPDEST 00000890: EQ 00000891: SWAP1 00000892: POP 00000893: PUSH2 0x0886 00000896: JUMP 00000897: JUMPDEST 00000898: CALLVALUE 00000899: PUSH2 0x029d 0000089c: JUMPI 0000089d: PUSH0 0000089e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000008bf: CALLDATASIZE 000008c0: ADD 000008c1: SLT 000008c2: PUSH2 0x029d 000008c5: JUMPI 000008c6: PUSH1 0x20 000008c8: PUSH1 0x40 000008ca: MLOAD 000008cb: PUSH0 000008cc: DUP2 000008cd: MSTORE 000008ce: RETURN 000008cf: JUMPDEST 000008d0: CALLVALUE 000008d1: PUSH2 0x029d 000008d4: JUMPI 000008d5: PUSH1 0x40 000008d7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000008f8: CALLDATASIZE 000008f9: ADD 000008fa: SLT 000008fb: PUSH2 0x029d 000008fe: JUMPI 000008ff: PUSH2 0x0906 00000902: PUSH2 0x1b72 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x04 00000909: CALLDATALOAD 0000090a: PUSH0 0000090b: MSTORE 0000090c: PUSH0 0000090d: PUSH1 0x20 0000090f: MSTORE 00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000925: PUSH1 0x40 00000927: PUSH0 00000928: KECCAK256 00000929: SWAP2 0000092a: AND 0000092b: PUSH0 0000092c: MSTORE 0000092d: PUSH1 0x20 0000092f: MSTORE 00000930: PUSH1 0x20 00000932: PUSH1 0xff 00000934: PUSH1 0x40 00000936: PUSH0 00000937: KECCAK256 00000938: SLOAD 00000939: AND 0000093a: PUSH1 0x40 0000093c: MLOAD 0000093d: SWAP1 0000093e: ISZERO 0000093f: ISZERO 00000940: DUP2 00000941: MSTORE 00000942: RETURN 00000943: JUMPDEST 00000944: CALLVALUE 00000945: PUSH2 0x029d 00000948: JUMPI 00000949: PUSH1 0x20 0000094b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000096c: CALLDATASIZE 0000096d: ADD 0000096e: SLT 0000096f: PUSH2 0x029d 00000972: JUMPI 00000973: PUSH2 0x097a 00000976: PUSH2 0x1b4f 00000979: JUMP 0000097a: JUMPDEST 0000097b: PUSH2 0x0982 0000097e: PUSH2 0x1dc8 00000981: JUMP 00000982: JUMPDEST 00000983: PUSH1 0x03 00000985: SLOAD 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: DUP1 0000099c: DUP4 0000099d: AND 0000099e: SWAP3 0000099f: SWAP2 000009a0: SWAP1 000009a1: DUP2 000009a2: AND 000009a3: DUP4 000009a4: ISZERO 000009a5: PUSH2 0x06af 000009a8: JUMPI 000009a9: DUP4 000009aa: DUP2 000009ab: EQ 000009ac: PUSH2 0x0685 000009af: JUMPI 000009b0: PUSH1 0x40 000009b2: DUP1 000009b3: MLOAD 000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c9: SWAP3 000009ca: DUP4 000009cb: AND 000009cc: DUP2 000009cd: MSTORE 000009ce: SWAP4 000009cf: SWAP1 000009d0: SWAP2 000009d1: AND 000009d2: PUSH1 0x20 000009d4: DUP5 000009d5: ADD 000009d6: MSTORE 000009d7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000009f8: SWAP3 000009f9: PUSH32 0xe22b566ac7db56412e2e041c88a7fd3151151ad6c6647e954f9bdc054bcb780e 00000a1a: SWAP2 00000a1b: SWAP1 00000a1c: LOG1 00000a1d: AND 00000a1e: OR 00000a1f: PUSH1 0x03 00000a21: SSTORE 00000a22: STOP 00000a23: JUMPDEST 00000a24: CALLVALUE 00000a25: PUSH2 0x029d 00000a28: JUMPI 00000a29: PUSH0 00000a2a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000a4b: CALLDATASIZE 00000a4c: ADD 00000a4d: SLT 00000a4e: PUSH2 0x029d 00000a51: JUMPI 00000a52: PUSH1 0x20 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42 00000a78: DUP2 00000a79: MSTORE 00000a7a: RETURN 00000a7b: JUMPDEST 00000a7c: CALLVALUE 00000a7d: PUSH2 0x029d 00000a80: JUMPI 00000a81: PUSH2 0x0160 00000a84: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000aa5: CALLDATASIZE 00000aa6: ADD 00000aa7: SLT 00000aa8: PUSH2 0x029d 00000aab: JUMPI 00000aac: PUSH1 0x24 00000aae: CALLDATALOAD 00000aaf: PUSH8 0xffffffffffffffff 00000ab8: DUP2 00000ab9: GT 00000aba: PUSH2 0x029d 00000abd: JUMPI 00000abe: PUSH2 0x0acb 00000ac1: SWAP1 00000ac2: CALLDATASIZE 00000ac3: SWAP1 00000ac4: PUSH1 0x04 00000ac6: ADD 00000ac7: PUSH2 0x1bdc 00000aca: JUMP 00000acb: JUMPDEST 00000acc: SWAP1 00000acd: PUSH1 0x44 00000acf: CALLDATALOAD 00000ad0: PUSH8 0xffffffffffffffff 00000ad9: DUP2 00000ada: GT 00000adb: PUSH2 0x029d 00000ade: JUMPI 00000adf: PUSH2 0x0aec 00000ae2: SWAP1 00000ae3: CALLDATASIZE 00000ae4: SWAP1 00000ae5: PUSH1 0x04 00000ae7: ADD 00000ae8: PUSH2 0x1bdc 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH1 0x80 00000aef: MSTORE 00000af0: SWAP2 00000af1: PUSH1 0x64 00000af3: CALLDATALOAD 00000af4: PUSH8 0xffffffffffffffff 00000afd: DUP2 00000afe: GT 00000aff: PUSH2 0x029d 00000b02: JUMPI 00000b03: PUSH2 0x0b10 00000b06: SWAP1 00000b07: CALLDATASIZE 00000b08: SWAP1 00000b09: PUSH1 0x04 00000b0b: ADD 00000b0c: PUSH2 0x1bdc 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: SWAP3 00000b12: SWAP1 00000b13: SWAP2 00000b14: PUSH1 0x84 00000b16: CALLDATALOAD 00000b17: PUSH8 0xffffffffffffffff 00000b20: DUP2 00000b21: GT 00000b22: PUSH2 0x029d 00000b25: JUMPI 00000b26: PUSH2 0x0b33 00000b29: SWAP1 00000b2a: CALLDATASIZE 00000b2b: SWAP1 00000b2c: PUSH1 0x04 00000b2e: ADD 00000b2f: PUSH2 0x1bdc 00000b32: JUMP 00000b33: JUMPDEST 00000b34: SWAP4 00000b35: PUSH1 0xa4 00000b37: CALLDATALOAD 00000b38: PUSH8 0xffffffffffffffff 00000b41: DUP2 00000b42: GT 00000b43: PUSH2 0x029d 00000b46: JUMPI 00000b47: PUSH2 0x0b54 00000b4a: SWAP1 00000b4b: CALLDATASIZE 00000b4c: SWAP1 00000b4d: PUSH1 0x04 00000b4f: ADD 00000b50: PUSH2 0x1bdc 00000b53: JUMP 00000b54: JUMPDEST 00000b55: SWAP3 00000b56: SWAP1 00000b57: SWAP7 00000b58: PUSH4 0xffffffff 00000b5d: PUSH1 0xc4 00000b5f: CALLDATALOAD 00000b60: AND 00000b61: PUSH1 0xc4 00000b63: CALLDATALOAD 00000b64: SUB 00000b65: PUSH2 0x029d 00000b68: JUMPI 00000b69: PUSH1 0xe4 00000b6b: CALLDATALOAD 00000b6c: PUSH8 0xffffffffffffffff 00000b75: DUP2 00000b76: GT 00000b77: PUSH2 0x029d 00000b7a: JUMPI 00000b7b: PUSH2 0x0b88 00000b7e: SWAP1 00000b7f: CALLDATASIZE 00000b80: SWAP1 00000b81: PUSH1 0x04 00000b83: ADD 00000b84: PUSH2 0x1bdc 00000b87: JUMP 00000b88: JUMPDEST 00000b89: SWAP5 00000b8a: SWAP1 00000b8b: SWAP6 00000b8c: PUSH1 0xff 00000b8e: PUSH2 0x0104 00000b91: CALLDATALOAD 00000b92: AND 00000b93: PUSH2 0x0104 00000b96: CALLDATALOAD 00000b97: SUB 00000b98: PUSH2 0x029d 00000b9b: JUMPI 00000b9c: PUSH2 0x0ba3 00000b9f: PUSH2 0x1fed 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: PUSH2 0x0bae 00000ba7: PUSH1 0xc4 00000ba9: CALLDATALOAD 00000baa: PUSH2 0x2044 00000bad: JUMP 00000bae: JUMPDEST 00000baf: DUP6 00000bb0: ISZERO 00000bb1: PUSH2 0x057b 00000bb4: JUMPI 00000bb5: DUP9 00000bb6: DUP7 00000bb7: EQ 00000bb8: DUP1 00000bb9: ISZERO 00000bba: SWAP1 00000bbb: PUSH2 0x1111 00000bbe: JUMPI 00000bbf: JUMPDEST 00000bc0: DUP1 00000bc1: ISZERO 00000bc2: PUSH2 0x1107 00000bc5: JUMPI 00000bc6: JUMPDEST 00000bc7: DUP1 00000bc8: ISZERO 00000bc9: PUSH2 0x10fd 00000bcc: JUMPI 00000bcd: JUMPDEST 00000bce: PUSH2 0x0547 00000bd1: JUMPI 00000bd2: PUSH1 0x40 00000bd4: MLOAD 00000bd5: CALLER 00000bd6: PUSH1 0x60 00000bd8: SHL 00000bd9: PUSH1 0x20 00000bdb: DUP3 00000bdc: ADD 00000bdd: MSTORE 00000bde: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000bff: PUSH1 0xc4 00000c01: CALLDATALOAD 00000c02: PUSH1 0xe0 00000c04: SHL 00000c05: AND 00000c06: PUSH1 0x34 00000c08: DUP3 00000c09: ADD 00000c0a: MSTORE 00000c0b: PUSH2 0x0c18 00000c0e: PUSH1 0x38 00000c10: DUP3 00000c11: ADD 00000c12: DUP12 00000c13: DUP8 00000c14: PUSH2 0x214e 00000c17: JUMP 00000c18: JUMPDEST 00000c19: DUP9 00000c1a: SWAP1 00000c1b: PUSH0 00000c1c: JUMPDEST 00000c1d: DUP10 00000c1e: DUP2 00000c1f: LT 00000c20: PUSH2 0x10db 00000c23: JUMPI 00000c24: POP 00000c25: PUSH1 0x20 00000c27: SWAP2 00000c28: POP 00000c29: PUSH1 0x04 00000c2b: CALLDATALOAD 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: ADD 00000c2f: DUP2 00000c30: DUP13 00000c31: PUSH0 00000c32: JUMPDEST 00000c33: DUP7 00000c34: DUP2 00000c35: LT 00000c36: PUSH2 0x10a4 00000c39: JUMPI 00000c3a: POP 00000c3b: POP 00000c3c: PUSH2 0x0c49 00000c3f: PUSH2 0x0c75 00000c42: SWAP3 00000c43: DUP6 00000c44: DUP14 00000c45: PUSH2 0x214e 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: SUB 00000c4b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000c6c: DUP2 00000c6d: ADD 00000c6e: DUP4 00000c6f: MSTORE 00000c70: DUP3 00000c71: PUSH2 0x1d03 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x20 00000c78: DUP2 00000c79: MLOAD 00000c7a: SWAP2 00000c7b: ADD 00000c7c: KECCAK256 00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c92: PUSH1 0x02 00000c94: SLOAD 00000c95: AND 00000c96: SWAP1 00000c97: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000cb8: PUSH0 00000cb9: MSTORE 00000cba: PUSH1 0x1c 00000cbc: MSTORE 00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd2: PUSH2 0x0cf5 00000cd5: PUSH2 0x0cec 00000cd8: PUSH2 0x0144 00000cdb: CALLDATALOAD 00000cdc: PUSH2 0x0124 00000cdf: CALLDATALOAD 00000ce0: PUSH2 0x0104 00000ce3: CALLDATALOAD 00000ce4: PUSH1 0x3c 00000ce6: PUSH0 00000ce7: KECCAK256 00000ce8: PUSH2 0x239f 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: SWAP1 00000cee: SWAP3 00000cef: SWAP2 00000cf0: SWAP3 00000cf1: PUSH2 0x242e 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: AND 00000cf7: SUB 00000cf8: PUSH2 0x107a 00000cfb: JUMPI 00000cfc: CALLER 00000cfd: PUSH0 00000cfe: MSTORE 00000cff: PUSH1 0x04 00000d01: PUSH1 0x20 00000d03: MSTORE 00000d04: PUSH1 0x40 00000d06: PUSH0 00000d07: KECCAK256 00000d08: PUSH4 0xffffffff 00000d0d: PUSH1 0xc4 00000d0f: CALLDATALOAD 00000d10: AND 00000d11: PUSH0 00000d12: MSTORE 00000d13: PUSH1 0x20 00000d15: MSTORE 00000d16: PUSH1 0x40 00000d18: PUSH0 00000d19: KECCAK256 00000d1a: SWAP6 00000d1b: PUSH0 00000d1c: JUMPDEST 00000d1d: DUP4 00000d1e: DUP2 00000d1f: LT 00000d20: PUSH2 0x0d48 00000d23: JUMPI 00000d24: PUSH0 00000d25: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000d46: TSTORE 00000d47: STOP 00000d48: JUMPDEST 00000d49: PUSH2 0x0d56 00000d4c: PUSH2 0x01f9 00000d4f: DUP3 00000d50: DUP7 00000d51: DUP16 00000d52: PUSH2 0x1ca2 00000d55: JUMP 00000d56: JUMPDEST 00000d57: SWAP1 00000d58: PUSH2 0x0d62 00000d5b: DUP2 00000d5c: DUP6 00000d5d: DUP14 00000d5e: PUSH2 0x1ca2 00000d61: JUMP 00000d62: JUMPDEST 00000d63: CALLDATALOAD 00000d64: SWAP2 00000d65: PUSH2 0x0d6f 00000d68: DUP3 00000d69: DUP6 00000d6a: DUP14 00000d6b: PUSH2 0x1ca2 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: CALLDATALOAD 00000d71: SWAP1 00000d72: PUSH1 0xff 00000d74: DUP3 00000d75: AND 00000d76: DUP3 00000d77: SUB 00000d78: PUSH2 0x029d 00000d7b: JUMPI 00000d7c: DUP16 00000d7d: SWAP4 00000d7e: DUP15 00000d7f: SWAP3 00000d80: PUSH2 0x0d8a 00000d83: DUP6 00000d84: DUP12 00000d85: DUP15 00000d86: PUSH2 0x1ca2 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: CALLDATALOAD 00000d8c: SWAP1 00000d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da2: DUP5 00000da3: AND 00000da4: PUSH0 00000da5: MSTORE 00000da6: DUP14 00000da7: PUSH1 0x20 00000da9: MSTORE 00000daa: DUP12 00000dab: PUSH1 0x40 00000dad: PUSH0 00000dae: KECCAK256 00000daf: DUP1 00000db0: SLOAD 00000db1: SWAP1 00000db2: DUP2 00000db3: ISZERO 00000db4: PUSH2 0x1069 00000db7: JUMPI 00000db8: DUP2 00000db9: DUP7 00000dba: GT 00000dbb: PUSH2 0x1069 00000dbe: JUMPI 00000dbf: PUSH2 0x0dcb 00000dc2: SWAP2 00000dc3: PUSH0 00000dc4: DUP8 00000dc5: SWAP3 00000dc6: SSTORE 00000dc7: PUSH2 0x1d7e 00000dca: JUMP 00000dcb: JUMPDEST 00000dcc: SWAP6 00000dcd: DUP5 00000dce: PUSH2 0x0e5b 00000dd1: JUMPI 00000dd2: JUMPDEST 00000dd3: POP 00000dd4: POP 00000dd5: POP 00000dd6: POP 00000dd7: POP 00000dd8: PUSH1 0x01 00000dda: SWAP4 00000ddb: POP 00000ddc: DUP2 00000ddd: PUSH2 0x0dea 00000de0: JUMPI 00000de1: JUMPDEST 00000de2: POP 00000de3: POP 00000de4: JUMPDEST 00000de5: ADD 00000de6: PUSH2 0x0d1c 00000de9: JUMP 00000dea: JUMPDEST 00000deb: PUSH2 0x0df4 00000dee: DUP3 00000def: DUP3 00000df0: PUSH2 0x2182 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223 00000e16: PUSH1 0x40 00000e18: MLOAD 00000e19: DUP1 00000e1a: PUSH2 0x0e51 00000e1d: PUSH4 0xffffffff 00000e22: PUSH1 0xc4 00000e24: CALLDATALOAD 00000e25: AND 00000e26: SWAP6 00000e27: CALLER 00000e28: SWAP6 00000e29: DUP4 00000e2a: PUSH1 0x20 00000e2c: SWAP1 00000e2d: SWAP4 00000e2e: SWAP3 00000e2f: SWAP2 00000e30: SWAP4 00000e31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e46: PUSH1 0x40 00000e48: DUP3 00000e49: ADD 00000e4a: SWAP6 00000e4b: AND 00000e4c: DUP2 00000e4d: MSTORE 00000e4e: ADD 00000e4f: MSTORE 00000e50: JUMP 00000e51: JUMPDEST 00000e52: SUB 00000e53: SWAP1 00000e54: LOG3 00000e55: DUP15 00000e56: DUP1 00000e57: PUSH2 0x0de1 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e71: DUP7 00000e72: AND 00000e73: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000e88: SUB 00000e89: PUSH2 0x0f7a 00000e8c: JUMPI 00000e8d: POP 00000e8e: POP 00000e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea4: PUSH1 0x01 00000ea6: SLOAD 00000ea7: AND 00000ea8: SWAP1 00000ea9: DUP2 00000eaa: EXTCODESIZE 00000eab: ISZERO 00000eac: PUSH2 0x029d 00000eaf: JUMPI 00000eb0: PUSH0 00000eb1: SWAP4 00000eb2: PUSH1 0xff 00000eb4: SWAP2 00000eb5: PUSH2 0x0f2c 00000eb8: PUSH1 0x40 00000eba: MLOAD 00000ebb: SWAP11 00000ebc: DUP12 00000ebd: SWAP7 00000ebe: DUP8 00000ebf: SWAP6 00000ec0: DUP7 00000ec1: SWAP5 00000ec2: PUSH32 0xade1721e00000000000000000000000000000000000000000000000000000000 00000ee3: DUP7 00000ee4: MSTORE 00000ee5: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000efa: PUSH1 0x04 00000efc: DUP8 00000efd: ADD 00000efe: MSTORE 00000eff: DUP11 00000f00: PUSH1 0x24 00000f02: DUP8 00000f03: ADD 00000f04: MSTORE 00000f05: AND 00000f06: PUSH1 0x44 00000f08: DUP6 00000f09: ADD 00000f0a: MSTORE 00000f0b: DUP5 00000f0c: PUSH1 0x64 00000f0e: DUP6 00000f0f: ADD 00000f10: MSTORE 00000f11: PUSH1 0x84 00000f13: DUP5 00000f14: ADD 00000f15: MSTORE 00000f16: PUSH2 0x0100 00000f19: PUSH1 0xa4 00000f1b: DUP5 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH2 0x0104 00000f21: DUP4 00000f22: ADD 00000f23: SWAP1 00000f24: PUSH1 0x80 00000f26: MLOAD 00000f27: SWAP1 00000f28: PUSH2 0x1d8b 00000f2b: JUMP 00000f2c: JUMPDEST 00000f2d: CALLER 00000f2e: PUSH1 0xc4 00000f30: DUP4 00000f31: ADD 00000f32: MSTORE 00000f33: PUSH4 0xffffffff 00000f38: PUSH1 0xc4 00000f3a: CALLDATALOAD 00000f3b: AND 00000f3c: PUSH1 0xe4 00000f3e: DUP4 00000f3f: ADD 00000f40: MSTORE 00000f41: SUB 00000f42: SWAP3 00000f43: GAS 00000f44: CALL 00000f45: SWAP4 00000f46: DUP5 00000f47: ISZERO 00000f48: PUSH2 0x0f6f 00000f4b: JUMPI 00000f4c: PUSH1 0x01 00000f4e: SWAP5 00000f4f: PUSH2 0x0f60 00000f52: JUMPI 00000f53: JUMPDEST 00000f54: POP 00000f55: JUMPDEST 00000f56: DUP16 00000f57: SWAP4 00000f58: PUSH0 00000f59: DUP16 00000f5a: DUP12 00000f5b: DUP2 00000f5c: PUSH2 0x0dd2 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: PUSH2 0x0f69 00000f64: SWAP1 00000f65: PUSH2 0x1cd3 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH0 00000f6b: PUSH2 0x0f53 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH1 0x40 00000f72: MLOAD 00000f73: RETURNDATASIZE 00000f74: PUSH0 00000f75: DUP3 00000f76: RETURNDATACOPY 00000f77: RETURNDATASIZE 00000f78: SWAP1 00000f79: REVERT 00000f7a: JUMPDEST 00000f7b: DUP8 00000f7c: PUSH2 0x0fa4 00000f7f: SWAP2 00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f95: PUSH1 0x01 00000f97: SWAP12 00000f98: SWAP7 00000f99: SWAP8 00000f9a: SWAP5 00000f9b: SWAP6 00000f9c: SWAP12 00000f9d: SLOAD 00000f9e: AND 00000f9f: SWAP5 00000fa0: PUSH2 0x1ca2 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: CALLDATALOAD 00000fa6: SWAP3 00000fa7: DUP3 00000fa8: EXTCODESIZE 00000fa9: ISZERO 00000faa: PUSH2 0x029d 00000fad: JUMPI 00000fae: DUP6 00000faf: PUSH2 0x102d 00000fb2: PUSH0 00000fb3: SWAP7 00000fb4: SWAP3 00000fb5: DUP8 00000fb6: SWAP4 00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcc: SWAP6 00000fcd: PUSH1 0xff 00000fcf: PUSH1 0x40 00000fd1: MLOAD 00000fd2: SWAP15 00000fd3: DUP16 00000fd4: SWAP11 00000fd5: DUP12 00000fd6: SWAP10 00000fd7: DUP11 00000fd8: SWAP9 00000fd9: PUSH32 0xade1721e00000000000000000000000000000000000000000000000000000000 00000ffa: DUP11 00000ffb: MSTORE 00000ffc: AND 00000ffd: PUSH1 0x04 00000fff: DUP10 00001000: ADD 00001001: MSTORE 00001002: PUSH1 0x24 00001004: DUP9 00001005: ADD 00001006: MSTORE 00001007: AND 00001008: PUSH1 0x44 0000100a: DUP7 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH1 0x64 0000100f: DUP6 00001010: ADD 00001011: MSTORE 00001012: PUSH1 0x84 00001014: DUP5 00001015: ADD 00001016: MSTORE 00001017: PUSH2 0x0100 0000101a: PUSH1 0xa4 0000101c: DUP5 0000101d: ADD 0000101e: MSTORE 0000101f: PUSH2 0x0104 00001022: DUP4 00001023: ADD 00001024: SWAP1 00001025: PUSH1 0x80 00001027: MLOAD 00001028: SWAP1 00001029: PUSH2 0x1d8b 0000102c: JUMP 0000102d: JUMPDEST 0000102e: CALLER 0000102f: PUSH1 0xc4 00001031: DUP4 00001032: ADD 00001033: MSTORE 00001034: PUSH4 0xffffffff 00001039: PUSH1 0xc4 0000103b: CALLDATALOAD 0000103c: AND 0000103d: PUSH1 0xe4 0000103f: DUP4 00001040: ADD 00001041: MSTORE 00001042: SUB 00001043: SWAP3 00001044: GAS 00001045: CALL 00001046: SWAP4 00001047: DUP5 00001048: ISZERO 00001049: PUSH2 0x0f6f 0000104c: JUMPI 0000104d: PUSH1 0x01 0000104f: SWAP5 00001050: PUSH2 0x105a 00001053: JUMPI 00001054: JUMPDEST 00001055: POP 00001056: PUSH2 0x0f55 00001059: JUMP 0000105a: JUMPDEST 0000105b: PUSH2 0x1063 0000105e: SWAP1 0000105f: PUSH2 0x1cd3 00001062: JUMP 00001063: JUMPDEST 00001064: PUSH0 00001065: PUSH2 0x1054 00001068: JUMP 00001069: JUMPDEST 0000106a: POP 0000106b: POP 0000106c: POP 0000106d: POP 0000106e: POP 0000106f: POP 00001070: POP 00001071: POP 00001072: PUSH1 0x01 00001074: SWAP2 00001075: POP 00001076: PUSH2 0x0de4 00001079: JUMP 0000107a: JUMPDEST 0000107b: PUSH1 0x04 0000107d: PUSH1 0x40 0000107f: MLOAD 00001080: PUSH32 0x8baa579f00000000000000000000000000000000000000000000000000000000 000010a1: DUP2 000010a2: MSTORE 000010a3: REVERT 000010a4: JUMPDEST 000010a5: SWAP2 000010a6: POP 000010a7: SWAP2 000010a8: PUSH1 0x20 000010aa: DUP1 000010ab: PUSH1 0x01 000010ad: SWAP3 000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c3: PUSH2 0x10cb 000010c6: DUP8 000010c7: PUSH2 0x1bbb 000010ca: JUMP 000010cb: JUMPDEST 000010cc: AND 000010cd: DUP2 000010ce: MSTORE 000010cf: ADD 000010d0: SWAP4 000010d1: ADD 000010d2: SWAP2 000010d3: ADD 000010d4: SWAP1 000010d5: DUP4 000010d6: SWAP2 000010d7: PUSH2 0x0c32 000010da: JUMP 000010db: JUMPDEST 000010dc: SWAP1 000010dd: DUP3 000010de: CALLDATALOAD 000010df: SWAP1 000010e0: PUSH1 0xff 000010e2: DUP3 000010e3: AND 000010e4: DUP1 000010e5: SWAP3 000010e6: SUB 000010e7: PUSH2 0x029d 000010ea: JUMPI 000010eb: SWAP1 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x20 000010f0: SWAP3 000010f1: DUP4 000010f2: ADD 000010f3: SWAP3 000010f4: ADD 000010f5: SWAP1 000010f6: PUSH1 0x01 000010f8: ADD 000010f9: PUSH2 0x0c1c 000010fc: JUMP 000010fd: JUMPDEST 000010fe: POP 000010ff: DUP3 00001100: DUP2 00001101: EQ 00001102: ISZERO 00001103: PUSH2 0x0bcd 00001106: JUMP 00001107: JUMPDEST 00001108: POP 00001109: DUP1 0000110a: DUP3 0000110b: EQ 0000110c: ISZERO 0000110d: PUSH2 0x0bc6 00001110: JUMP 00001111: JUMPDEST 00001112: POP 00001113: DUP2 00001114: DUP10 00001115: EQ 00001116: ISZERO 00001117: PUSH2 0x0bbf 0000111a: JUMP 0000111b: JUMPDEST 0000111c: CALLVALUE 0000111d: PUSH2 0x029d 00001120: JUMPI 00001121: PUSH0 00001122: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001143: CALLDATASIZE 00001144: ADD 00001145: SLT 00001146: PUSH2 0x029d 00001149: JUMPI 0000114a: PUSH1 0x20 0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001161: PUSH1 0x02 00001163: SLOAD 00001164: AND 00001165: PUSH1 0x40 00001167: MLOAD 00001168: SWAP1 00001169: DUP2 0000116a: MSTORE 0000116b: RETURN 0000116c: JUMPDEST 0000116d: CALLVALUE 0000116e: PUSH2 0x029d 00001171: JUMPI 00001172: PUSH1 0x20 00001174: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001195: CALLDATASIZE 00001196: ADD 00001197: SLT 00001198: PUSH2 0x029d 0000119b: JUMPI 0000119c: PUSH4 0xffffffff 000011a1: PUSH2 0x11a8 000011a4: PUSH2 0x1ba8 000011a7: JUMP 000011a8: JUMPDEST 000011a9: AND 000011aa: PUSH0 000011ab: MSTORE 000011ac: PUSH1 0x05 000011ae: PUSH1 0x20 000011b0: MSTORE 000011b1: PUSH1 0x20 000011b3: PUSH1 0xff 000011b5: PUSH1 0x40 000011b7: PUSH0 000011b8: KECCAK256 000011b9: SLOAD 000011ba: AND 000011bb: PUSH1 0x40 000011bd: MLOAD 000011be: SWAP1 000011bf: ISZERO 000011c0: ISZERO 000011c1: DUP2 000011c2: MSTORE 000011c3: RETURN 000011c4: JUMPDEST 000011c5: CALLVALUE 000011c6: PUSH2 0x029d 000011c9: JUMPI 000011ca: PUSH1 0x60 000011cc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000011ed: CALLDATASIZE 000011ee: ADD 000011ef: SLT 000011f0: PUSH2 0x029d 000011f3: JUMPI 000011f4: PUSH1 0x04 000011f6: CALLDATALOAD 000011f7: PUSH8 0xffffffffffffffff 00001200: DUP2 00001201: GT 00001202: PUSH2 0x029d 00001205: JUMPI 00001206: PUSH2 0x1213 00001209: SWAP1 0000120a: CALLDATASIZE 0000120b: SWAP1 0000120c: PUSH1 0x04 0000120e: ADD 0000120f: PUSH2 0x1bdc 00001212: JUMP 00001213: JUMPDEST 00001214: SWAP1 00001215: PUSH2 0x121c 00001218: PUSH2 0x1b95 0000121b: JUMP 0000121c: JUMPDEST 0000121d: SWAP2 0000121e: PUSH8 0xffffffffffffffff 00001227: PUSH1 0x44 00001229: CALLDATALOAD 0000122a: GT 0000122b: PUSH2 0x029d 0000122e: JUMPI 0000122f: CALLDATASIZE 00001230: PUSH1 0x23 00001232: PUSH1 0x44 00001234: CALLDATALOAD 00001235: ADD 00001236: SLT 00001237: ISZERO 00001238: PUSH2 0x029d 0000123b: JUMPI 0000123c: PUSH8 0xffffffffffffffff 00001245: PUSH1 0x44 00001247: CALLDATALOAD 00001248: PUSH1 0x04 0000124a: ADD 0000124b: CALLDATALOAD 0000124c: GT 0000124d: PUSH2 0x029d 00001250: JUMPI 00001251: CALLDATASIZE 00001252: PUSH1 0x24 00001254: PUSH1 0x44 00001256: CALLDATALOAD 00001257: PUSH1 0x04 00001259: ADD 0000125a: CALLDATALOAD 0000125b: PUSH1 0x06 0000125d: SHL 0000125e: PUSH1 0x44 00001260: CALLDATALOAD 00001261: ADD 00001262: ADD 00001263: GT 00001264: PUSH2 0x029d 00001267: JUMPI 00001268: PUSH4 0xffffffff 0000126d: DUP4 0000126e: AND 0000126f: PUSH0 00001270: MSTORE 00001271: PUSH1 0x05 00001273: PUSH1 0x20 00001275: MSTORE 00001276: PUSH1 0xff 00001278: PUSH1 0x40 0000127a: PUSH0 0000127b: KECCAK256 0000127c: SLOAD 0000127d: AND 0000127e: PUSH2 0x14c8 00001281: JUMPI 00001282: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001297: PUSH1 0x01 00001299: SLOAD 0000129a: AND 0000129b: CALLER 0000129c: SUB 0000129d: PUSH2 0x149e 000012a0: JUMPI 000012a1: DUP1 000012a2: ISZERO 000012a3: PUSH2 0x1474 000012a6: JUMPI 000012a7: PUSH1 0x44 000012a9: CALLDATALOAD 000012aa: PUSH1 0x04 000012ac: ADD 000012ad: CALLDATALOAD 000012ae: DUP2 000012af: SUB 000012b0: PUSH2 0x0547 000012b3: JUMPI 000012b4: PUSH0 000012b5: JUMPDEST 000012b6: DUP2 000012b7: DUP2 000012b8: LT 000012b9: PUSH2 0x12be 000012bc: JUMPI 000012bd: STOP 000012be: JUMPDEST 000012bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d4: PUSH2 0x12e1 000012d7: PUSH2 0x01f9 000012da: DUP4 000012db: DUP6 000012dc: DUP8 000012dd: PUSH2 0x1ca2 000012e0: JUMP 000012e1: JUMPDEST 000012e2: AND 000012e3: SWAP1 000012e4: DUP2 000012e5: ISZERO 000012e6: PUSH2 0x06af 000012e9: JUMPI 000012ea: DUP2 000012eb: PUSH0 000012ec: MSTORE 000012ed: PUSH1 0x04 000012ef: PUSH1 0x20 000012f1: MSTORE 000012f2: PUSH1 0x40 000012f4: PUSH0 000012f5: KECCAK256 000012f6: PUSH4 0xffffffff 000012fb: DUP7 000012fc: AND 000012fd: PUSH0 000012fe: MSTORE 000012ff: PUSH1 0x20 00001301: MSTORE 00001302: PUSH1 0x40 00001304: PUSH0 00001305: KECCAK256 00001306: SWAP2 00001307: PUSH1 0x44 00001309: CALLDATALOAD 0000130a: PUSH1 0x04 0000130c: ADD 0000130d: CALLDATALOAD 0000130e: DUP3 0000130f: LT 00001310: ISZERO 00001311: PUSH2 0x1447 00001314: JUMPI 00001315: PUSH1 0x40 00001317: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc 00001338: DUP4 00001339: PUSH1 0x06 0000133b: SHL 0000133c: PUSH1 0x44 0000133e: CALLDATALOAD 0000133f: ADD 00001340: CALLDATASIZE 00001341: SUB 00001342: ADD 00001343: SLT 00001344: PUSH2 0x029d 00001347: JUMPI 00001348: PUSH1 0x40 0000134a: MLOAD 0000134b: SWAP1 0000134c: DUP2 0000134d: PUSH1 0x40 0000134f: DUP2 00001350: ADD 00001351: LT 00001352: PUSH8 0xffffffffffffffff 0000135b: PUSH1 0x40 0000135d: DUP5 0000135e: ADD 0000135f: GT 00001360: OR 00001361: PUSH2 0x141a 00001364: JUMPI 00001365: PUSH1 0x01 00001367: SWAP4 00001368: PUSH1 0x40 0000136a: DUP4 0000136b: ADD 0000136c: PUSH1 0x40 0000136e: MSTORE 0000136f: PUSH2 0x1381 00001372: PUSH1 0x24 00001374: DUP6 00001375: PUSH1 0x06 00001377: SHL 00001378: PUSH1 0x44 0000137a: CALLDATALOAD 0000137b: ADD 0000137c: ADD 0000137d: PUSH2 0x1bbb 00001380: JUMP 00001381: JUMPDEST 00001382: SWAP1 00001383: DUP2 00001384: DUP5 00001385: MSTORE 00001386: PUSH1 0x44 00001388: DUP6 00001389: PUSH1 0x06 0000138b: SHL 0000138c: DUP2 0000138d: CALLDATALOAD 0000138e: ADD 0000138f: ADD 00001390: CALLDATALOAD 00001391: SWAP1 00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a7: PUSH1 0x20 000013a9: DUP7 000013aa: ADD 000013ab: SWAP4 000013ac: DUP4 000013ad: DUP6 000013ae: MSTORE 000013af: AND 000013b0: PUSH0 000013b1: MSTORE 000013b2: PUSH1 0x20 000013b4: MSTORE 000013b5: PUSH2 0x13c3 000013b8: PUSH1 0x40 000013ba: PUSH0 000013bb: KECCAK256 000013bc: SWAP2 000013bd: DUP3 000013be: SLOAD 000013bf: PUSH2 0x1d44 000013c2: JUMP 000013c3: JUMPDEST 000013c4: SWAP1 000013c5: SSTORE 000013c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013db: PUSH1 0x40 000013dd: MLOAD 000013de: SWAP4 000013df: MLOAD 000013e0: AND 000013e1: DUP4 000013e2: MSTORE 000013e3: MLOAD 000013e4: PUSH1 0x20 000013e6: DUP4 000013e7: ADD 000013e8: MSTORE 000013e9: PUSH32 0xe58012850783f5239c792b9394f0264e9c95cf3882980249ae8efc411a921dee 0000140a: PUSH1 0x40 0000140c: PUSH4 0xffffffff 00001411: DUP10 00001412: AND 00001413: SWAP4 00001414: LOG3 00001415: ADD 00001416: PUSH2 0x12b5 00001419: JUMP 0000141a: JUMPDEST 0000141b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000143c: PUSH0 0000143d: MSTORE 0000143e: PUSH1 0x41 00001440: PUSH1 0x04 00001442: MSTORE 00001443: PUSH1 0x24 00001445: PUSH0 00001446: REVERT 00001447: JUMPDEST 00001448: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001469: PUSH0 0000146a: MSTORE 0000146b: PUSH1 0x32 0000146d: PUSH1 0x04 0000146f: MSTORE 00001470: PUSH1 0x24 00001472: PUSH0 00001473: REVERT 00001474: JUMPDEST 00001475: PUSH1 0x04 00001477: PUSH1 0x40 00001479: MLOAD 0000147a: PUSH32 0x5cb045db00000000000000000000000000000000000000000000000000000000 0000149b: DUP2 0000149c: MSTORE 0000149d: REVERT 0000149e: JUMPDEST 0000149f: PUSH1 0x04 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: PUSH32 0x92ed0e8100000000000000000000000000000000000000000000000000000000 000014c5: DUP2 000014c6: MSTORE 000014c7: REVERT 000014c8: JUMPDEST 000014c9: PUSH1 0x04 000014cb: PUSH1 0x40 000014cd: MLOAD 000014ce: PUSH32 0x2f51603500000000000000000000000000000000000000000000000000000000 000014ef: DUP2 000014f0: MSTORE 000014f1: REVERT 000014f2: JUMPDEST 000014f3: CALLVALUE 000014f4: PUSH2 0x029d 000014f7: JUMPI 000014f8: PUSH1 0x40 000014fa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000151b: CALLDATASIZE 0000151c: ADD 0000151d: SLT 0000151e: PUSH2 0x029d 00001521: JUMPI 00001522: PUSH2 0x1529 00001525: PUSH2 0x1ba8 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH1 0x24 0000152c: CALLDATALOAD 0000152d: SWAP1 0000152e: DUP2 0000152f: ISZERO 00001530: ISZERO 00001531: DUP1 00001532: SWAP3 00001533: SUB 00001534: PUSH2 0x029d 00001537: JUMPI 00001538: CALLER 00001539: PUSH0 0000153a: SWAP1 0000153b: DUP2 0000153c: MSTORE 0000153d: PUSH32 0x344c38c63afa63cc0790d03fd9f5e1b1e0cb81e2f69d7bd71f512be2ba8de6de 0000155e: PUSH1 0x20 00001560: MSTORE 00001561: PUSH1 0x40 00001563: SWAP1 00001564: KECCAK256 00001565: SLOAD 00001566: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c 00001587: SWAP1 00001588: PUSH1 0xff 0000158a: AND 0000158b: ISZERO 0000158c: PUSH2 0x161a 0000158f: JUMPI 00001590: POP 00001591: PUSH4 0xffffffff 00001596: AND 00001597: DUP1 00001598: PUSH0 00001599: MSTORE 0000159a: PUSH1 0x05 0000159c: PUSH1 0x20 0000159e: MSTORE 0000159f: PUSH1 0xff 000015a1: PUSH1 0x40 000015a3: PUSH0 000015a4: KECCAK256 000015a5: SLOAD 000015a6: AND 000015a7: ISZERO 000015a8: ISZERO 000015a9: DUP3 000015aa: DUP2 000015ab: EQ 000015ac: PUSH2 0x0685 000015af: JUMPI 000015b0: PUSH1 0x40 000015b2: PUSH32 0x747f56458041cea2ada41de00c95f1a8dc602dfa334765aafe548611948502d2 000015d3: SWAP2 000015d4: DUP2 000015d5: MLOAD 000015d6: SWAP1 000015d7: DUP2 000015d8: MSTORE 000015d9: DUP5 000015da: PUSH1 0x20 000015dc: DUP3 000015dd: ADD 000015de: MSTORE 000015df: LOG1 000015e0: PUSH0 000015e1: MSTORE 000015e2: PUSH1 0x05 000015e4: PUSH1 0x20 000015e6: MSTORE 000015e7: PUSH1 0x40 000015e9: PUSH0 000015ea: KECCAK256 000015eb: SWAP1 000015ec: PUSH1 0xff 000015ee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000160f: DUP4 00001610: SLOAD 00001611: AND 00001612: SWAP2 00001613: AND 00001614: OR 00001615: SWAP1 00001616: SSTORE 00001617: PUSH0 00001618: DUP1 00001619: RETURN 0000161a: JUMPDEST 0000161b: PUSH1 0x44 0000161d: SWAP1 0000161e: PUSH1 0x40 00001620: MLOAD 00001621: SWAP1 00001622: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000 00001643: DUP3 00001644: MSTORE 00001645: CALLER 00001646: PUSH1 0x04 00001648: DUP4 00001649: ADD 0000164a: MSTORE 0000164b: PUSH1 0x24 0000164d: DUP3 0000164e: ADD 0000164f: MSTORE 00001650: REVERT 00001651: JUMPDEST 00001652: CALLVALUE 00001653: PUSH2 0x029d 00001656: JUMPI 00001657: PUSH2 0x165f 0000165a: CALLDATASIZE 0000165b: PUSH2 0x1c0d 0000165e: JUMP 0000165f: JUMPDEST 00001660: SWAP2 00001661: SWAP3 00001662: PUSH2 0x166e 00001665: SWAP7 00001666: SWAP5 00001667: SWAP6 00001668: SWAP2 00001669: SWAP7 0000166a: PUSH2 0x1dc8 0000166d: JUMP 0000166e: JUMPDEST 0000166f: DUP2 00001670: ISZERO 00001671: PUSH2 0x057b 00001674: JUMPI 00001675: DUP7 00001676: DUP2 00001677: EQ 00001678: DUP1 00001679: ISZERO 0000167a: SWAP1 0000167b: PUSH2 0x17b1 0000167e: JUMPI 0000167f: JUMPDEST 00001680: PUSH2 0x0547 00001683: JUMPI 00001684: PUSH0 00001685: JUMPDEST 00001686: DUP3 00001687: DUP2 00001688: LT 00001689: PUSH2 0x168e 0000168c: JUMPI 0000168d: STOP 0000168e: JUMPDEST 0000168f: PUSH2 0x169c 00001692: PUSH2 0x01f9 00001695: DUP3 00001696: DUP6 00001697: DUP10 00001698: PUSH2 0x1ca2 0000169b: JUMP 0000169c: JUMPDEST 0000169d: PUSH2 0x16a7 000016a0: DUP3 000016a1: DUP5 000016a2: DUP11 000016a3: PUSH2 0x1f8a 000016a6: JUMP 000016a7: JUMPDEST 000016a8: PUSH2 0x16b2 000016ab: DUP5 000016ac: DUP13 000016ad: DUP11 000016ae: PUSH2 0x1f8a 000016b1: JUMP 000016b2: JUMPDEST 000016b3: SWAP4 000016b4: SWAP1 000016b5: SWAP2 000016b6: DUP5 000016b7: DUP2 000016b8: SUB 000016b9: PUSH2 0x0547 000016bc: JUMPI 000016bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d2: SWAP1 000016d3: DUP2 000016d4: DUP4 000016d5: AND 000016d6: PUSH0 000016d7: MSTORE 000016d8: PUSH1 0x20 000016da: PUSH1 0x04 000016dc: DUP2 000016dd: MSTORE 000016de: PUSH1 0x40 000016e0: PUSH0 000016e1: KECCAK256 000016e2: PUSH4 0xffffffff 000016e7: DUP13 000016e8: AND 000016e9: PUSH0 000016ea: MSTORE 000016eb: DUP2 000016ec: MSTORE 000016ed: PUSH1 0x40 000016ef: PUSH0 000016f0: KECCAK256 000016f1: SWAP2 000016f2: PUSH0 000016f3: JUMPDEST 000016f4: DUP13 000016f5: DUP3 000016f6: DUP3 000016f7: LT 000016f8: PUSH2 0x170d 000016fb: JUMPI 000016fc: POP 000016fd: POP 000016fe: POP 000016ff: POP 00001700: POP 00001701: POP 00001702: POP 00001703: POP 00001704: POP 00001705: POP 00001706: PUSH1 0x01 00001708: ADD 00001709: PUSH2 0x1685 0000170c: JUMP 0000170d: JUMPDEST 0000170e: SWAP1 0000170f: PUSH32 0x79d5c6b4e45613646dedf33b8eb7e88cd8cdea3ea09f15cbc89a4bf158c5ba97 00001730: PUSH1 0x01 00001732: SWAP3 00001733: DUP10 00001734: PUSH2 0x17a8 00001737: PUSH2 0x174a 0000173a: DUP6 0000173b: DUP16 0000173c: DUP16 0000173d: PUSH2 0x01f9 00001740: DUP4 00001741: DUP13 00001742: PUSH2 0x049d 00001745: SWAP4 00001746: PUSH2 0x1ca2 00001749: JUMP 0000174a: JUMPDEST 0000174b: CALLDATALOAD 0000174c: SWAP3 0000174d: DUP11 0000174e: DUP4 0000174f: AND 00001750: PUSH0 00001751: MSTORE 00001752: DUP10 00001753: DUP10 00001754: MSTORE 00001755: PUSH1 0x40 00001757: PUSH0 00001758: KECCAK256 00001759: PUSH2 0x1763 0000175c: DUP6 0000175d: DUP3 0000175e: SLOAD 0000175f: PUSH2 0x1d44 00001762: JUMP 00001763: JUMPDEST 00001764: SWAP1 00001765: SSTORE 00001766: PUSH1 0x40 00001768: DUP1 00001769: MLOAD 0000176a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177f: DUP1 00001780: DUP16 00001781: AND 00001782: DUP3 00001783: MSTORE 00001784: SWAP1 00001785: SWAP5 00001786: AND 00001787: PUSH1 0x20 00001789: DUP6 0000178a: ADD 0000178b: MSTORE 0000178c: DUP4 0000178d: ADD 0000178e: SWAP4 0000178f: SWAP1 00001790: SWAP4 00001791: MSTORE 00001792: PUSH4 0xffffffff 00001797: SWAP1 00001798: SWAP3 00001799: AND 0000179a: PUSH1 0x60 0000179c: DUP3 0000179d: ADD 0000179e: MSTORE 0000179f: SWAP1 000017a0: DUP2 000017a1: SWAP1 000017a2: PUSH1 0x80 000017a4: DUP3 000017a5: ADD 000017a6: SWAP1 000017a7: JUMP 000017a8: JUMPDEST 000017a9: SUB 000017aa: SWAP1 000017ab: LOG1 000017ac: ADD 000017ad: PUSH2 0x16f3 000017b0: JUMP 000017b1: JUMPDEST 000017b2: POP 000017b3: DUP2 000017b4: DUP8 000017b5: EQ 000017b6: ISZERO 000017b7: PUSH2 0x167f 000017ba: JUMP 000017bb: JUMPDEST 000017bc: CALLVALUE 000017bd: PUSH2 0x029d 000017c0: JUMPI 000017c1: PUSH1 0x40 000017c3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000017e4: CALLDATASIZE 000017e5: ADD 000017e6: SLT 000017e7: PUSH2 0x029d 000017ea: JUMPI 000017eb: PUSH2 0x17f2 000017ee: PUSH2 0x1b72 000017f1: JUMP 000017f2: JUMPDEST 000017f3: CALLER 000017f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001809: DUP3 0000180a: AND 0000180b: SUB 0000180c: PUSH2 0x181b 0000180f: JUMPI 00001810: PUSH2 0x001a 00001813: SWAP1 00001814: PUSH1 0x04 00001816: CALLDATALOAD 00001817: PUSH2 0x1eec 0000181a: JUMP 0000181b: JUMPDEST 0000181c: PUSH1 0x04 0000181e: PUSH1 0x40 00001820: MLOAD 00001821: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000 00001842: DUP2 00001843: MSTORE 00001844: REVERT 00001845: JUMPDEST 00001846: CALLVALUE 00001847: PUSH2 0x029d 0000184a: JUMPI 0000184b: PUSH1 0x20 0000184d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000186e: CALLDATASIZE 0000186f: ADD 00001870: SLT 00001871: PUSH2 0x029d 00001874: JUMPI 00001875: PUSH1 0x04 00001877: CALLDATALOAD 00001878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188d: DUP1 0000188e: DUP3 0000188f: AND 00001890: DUP1 00001891: SWAP3 00001892: SUB 00001893: PUSH2 0x029d 00001896: JUMPI 00001897: PUSH2 0x189e 0000189a: PUSH2 0x1dc8 0000189d: JUMP 0000189e: JUMPDEST 0000189f: PUSH1 0x01 000018a1: SLOAD 000018a2: SWAP1 000018a3: DUP2 000018a4: AND 000018a5: SWAP1 000018a6: DUP3 000018a7: ISZERO 000018a8: PUSH2 0x06af 000018ab: JUMPI 000018ac: DUP3 000018ad: DUP3 000018ae: EQ 000018af: PUSH2 0x0685 000018b2: JUMPI 000018b3: PUSH32 0x42e6b4d0f422db8acba71d0435d0dd4e46fadb4a2d99683b66eded85126fb285 000018d4: PUSH1 0x40 000018d6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000018f7: SWAP4 000018f8: DUP2 000018f9: MLOAD 000018fa: SWAP1 000018fb: DUP2 000018fc: MSTORE 000018fd: DUP6 000018fe: PUSH1 0x20 00001900: DUP3 00001901: ADD 00001902: MSTORE 00001903: LOG1 00001904: AND 00001905: OR 00001906: PUSH1 0x01 00001908: SSTORE 00001909: STOP 0000190a: JUMPDEST 0000190b: CALLVALUE 0000190c: PUSH2 0x029d 0000190f: JUMPI 00001910: PUSH1 0x40 00001912: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001933: CALLDATASIZE 00001934: ADD 00001935: SLT 00001936: PUSH2 0x029d 00001939: JUMPI 0000193a: PUSH2 0x001a 0000193d: PUSH1 0x04 0000193f: CALLDATALOAD 00001940: PUSH2 0x1947 00001943: PUSH2 0x1b72 00001946: JUMP 00001947: JUMPDEST 00001948: SWAP1 00001949: DUP1 0000194a: PUSH0 0000194b: MSTORE 0000194c: PUSH0 0000194d: PUSH1 0x20 0000194f: MSTORE 00001950: PUSH2 0x195f 00001953: PUSH1 0x01 00001955: PUSH1 0x40 00001957: PUSH0 00001958: KECCAK256 00001959: ADD 0000195a: SLOAD 0000195b: PUSH2 0x1e23 0000195e: JUMP 0000195f: JUMPDEST 00001960: PUSH2 0x1e44 00001963: JUMP 00001964: JUMPDEST 00001965: CALLVALUE 00001966: PUSH2 0x029d 00001969: JUMPI 0000196a: PUSH1 0x20 0000196c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000198d: CALLDATASIZE 0000198e: ADD 0000198f: SLT 00001990: PUSH2 0x029d 00001993: JUMPI 00001994: PUSH1 0x04 00001996: CALLDATALOAD 00001997: PUSH0 00001998: MSTORE 00001999: PUSH0 0000199a: PUSH1 0x20 0000199c: MSTORE 0000199d: PUSH1 0x20 0000199f: PUSH1 0x01 000019a1: PUSH1 0x40 000019a3: PUSH0 000019a4: KECCAK256 000019a5: ADD 000019a6: SLOAD 000019a7: PUSH1 0x40 000019a9: MLOAD 000019aa: SWAP1 000019ab: DUP2 000019ac: MSTORE 000019ad: RETURN 000019ae: JUMPDEST 000019af: CALLVALUE 000019b0: PUSH2 0x029d 000019b3: JUMPI 000019b4: PUSH0 000019b5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000019d6: CALLDATASIZE 000019d7: ADD 000019d8: SLT 000019d9: PUSH2 0x029d 000019dc: JUMPI 000019dd: PUSH1 0x20 000019df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f4: PUSH1 0x03 000019f6: SLOAD 000019f7: AND 000019f8: PUSH1 0x40 000019fa: MLOAD 000019fb: SWAP1 000019fc: DUP2 000019fd: MSTORE 000019fe: RETURN 000019ff: JUMPDEST 00001a00: CALLVALUE 00001a01: PUSH2 0x029d 00001a04: JUMPI 00001a05: PUSH1 0x60 00001a07: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001a28: CALLDATASIZE 00001a29: ADD 00001a2a: SLT 00001a2b: PUSH2 0x029d 00001a2e: JUMPI 00001a2f: PUSH2 0x1a36 00001a32: PUSH2 0x1b4f 00001a35: JUMP 00001a36: JUMPDEST 00001a37: PUSH2 0x1a3e 00001a3a: PUSH2 0x1b95 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: PUSH1 0x44 00001a41: CALLDATALOAD 00001a42: SWAP2 00001a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a58: SWAP1 00001a59: DUP2 00001a5a: DUP5 00001a5b: AND 00001a5c: DUP1 00001a5d: SWAP5 00001a5e: SUB 00001a5f: PUSH2 0x029d 00001a62: JUMPI 00001a63: AND 00001a64: PUSH0 00001a65: MSTORE 00001a66: PUSH1 0x04 00001a68: PUSH1 0x20 00001a6a: MSTORE 00001a6b: PUSH4 0xffffffff 00001a70: PUSH1 0x40 00001a72: PUSH0 00001a73: KECCAK256 00001a74: SWAP2 00001a75: AND 00001a76: PUSH0 00001a77: MSTORE 00001a78: PUSH1 0x20 00001a7a: MSTORE 00001a7b: PUSH1 0x40 00001a7d: PUSH0 00001a7e: KECCAK256 00001a7f: SWAP1 00001a80: PUSH0 00001a81: MSTORE 00001a82: PUSH1 0x20 00001a84: MSTORE 00001a85: PUSH1 0x20 00001a87: PUSH1 0x40 00001a89: PUSH0 00001a8a: KECCAK256 00001a8b: SLOAD 00001a8c: PUSH1 0x40 00001a8e: MLOAD 00001a8f: SWAP1 00001a90: DUP2 00001a91: MSTORE 00001a92: RETURN 00001a93: JUMPDEST 00001a94: CALLVALUE 00001a95: PUSH2 0x029d 00001a98: JUMPI 00001a99: PUSH1 0x20 00001a9b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001abc: CALLDATASIZE 00001abd: ADD 00001abe: SLT 00001abf: PUSH2 0x029d 00001ac2: JUMPI 00001ac3: PUSH1 0x04 00001ac5: CALLDATALOAD 00001ac6: SWAP1 00001ac7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001ae8: DUP3 00001ae9: AND 00001aea: DUP1 00001aeb: SWAP3 00001aec: SUB 00001aed: PUSH2 0x029d 00001af0: JUMPI 00001af1: DUP2 00001af2: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 00001b13: PUSH1 0x20 00001b15: SWAP4 00001b16: EQ 00001b17: SWAP1 00001b18: DUP2 00001b19: ISZERO 00001b1a: PUSH2 0x1b25 00001b1d: JUMPI 00001b1e: JUMPDEST 00001b1f: POP 00001b20: ISZERO 00001b21: ISZERO 00001b22: DUP2 00001b23: MSTORE 00001b24: RETURN 00001b25: JUMPDEST 00001b26: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00001b47: SWAP2 00001b48: POP 00001b49: EQ 00001b4a: DUP4 00001b4b: PUSH2 0x1b1e 00001b4e: JUMP 00001b4f: JUMPDEST 00001b50: PUSH1 0x04 00001b52: CALLDATALOAD 00001b53: SWAP1 00001b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b69: DUP3 00001b6a: AND 00001b6b: DUP3 00001b6c: SUB 00001b6d: PUSH2 0x029d 00001b70: JUMPI 00001b71: JUMP 00001b72: JUMPDEST 00001b73: PUSH1 0x24 00001b75: CALLDATALOAD 00001b76: SWAP1 00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b8c: DUP3 00001b8d: AND 00001b8e: DUP3 00001b8f: SUB 00001b90: PUSH2 0x029d 00001b93: JUMPI 00001b94: JUMP 00001b95: JUMPDEST 00001b96: PUSH1 0x24 00001b98: CALLDATALOAD 00001b99: SWAP1 00001b9a: PUSH4 0xffffffff 00001b9f: DUP3 00001ba0: AND 00001ba1: DUP3 00001ba2: SUB 00001ba3: PUSH2 0x029d 00001ba6: JUMPI 00001ba7: JUMP 00001ba8: JUMPDEST 00001ba9: PUSH1 0x04 00001bab: CALLDATALOAD 00001bac: SWAP1 00001bad: PUSH4 0xffffffff 00001bb2: DUP3 00001bb3: AND 00001bb4: DUP3 00001bb5: SUB 00001bb6: PUSH2 0x029d 00001bb9: JUMPI 00001bba: JUMP 00001bbb: JUMPDEST 00001bbc: CALLDATALOAD 00001bbd: SWAP1 00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd3: DUP3 00001bd4: AND 00001bd5: DUP3 00001bd6: SUB 00001bd7: PUSH2 0x029d 00001bda: JUMPI 00001bdb: JUMP 00001bdc: JUMPDEST 00001bdd: SWAP2 00001bde: DUP2 00001bdf: PUSH1 0x1f 00001be1: DUP5 00001be2: ADD 00001be3: SLT 00001be4: ISZERO 00001be5: PUSH2 0x029d 00001be8: JUMPI 00001be9: DUP3 00001bea: CALLDATALOAD 00001beb: SWAP2 00001bec: PUSH8 0xffffffffffffffff 00001bf5: DUP4 00001bf6: GT 00001bf7: PUSH2 0x029d 00001bfa: JUMPI 00001bfb: PUSH1 0x20 00001bfd: DUP1 00001bfe: DUP6 00001bff: ADD 00001c00: SWAP5 00001c01: DUP5 00001c02: PUSH1 0x05 00001c04: SHL 00001c05: ADD 00001c06: ADD 00001c07: GT 00001c08: PUSH2 0x029d 00001c0b: JUMPI 00001c0c: JUMP 00001c0d: JUMPDEST 00001c0e: SWAP1 00001c0f: PUSH1 0x80 00001c11: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001c32: DUP4 00001c33: ADD 00001c34: SLT 00001c35: PUSH2 0x029d 00001c38: JUMPI 00001c39: PUSH8 0xffffffffffffffff 00001c42: PUSH1 0x04 00001c44: CALLDATALOAD 00001c45: DUP2 00001c46: DUP2 00001c47: GT 00001c48: PUSH2 0x029d 00001c4b: JUMPI 00001c4c: DUP4 00001c4d: PUSH2 0x1c58 00001c50: SWAP2 00001c51: PUSH1 0x04 00001c53: ADD 00001c54: PUSH2 0x1bdc 00001c57: JUMP 00001c58: JUMPDEST 00001c59: SWAP4 00001c5a: SWAP1 00001c5b: SWAP4 00001c5c: SWAP3 00001c5d: PUSH1 0x24 00001c5f: CALLDATALOAD 00001c60: DUP4 00001c61: DUP2 00001c62: GT 00001c63: PUSH2 0x029d 00001c66: JUMPI 00001c67: DUP3 00001c68: PUSH2 0x1c73 00001c6b: SWAP2 00001c6c: PUSH1 0x04 00001c6e: ADD 00001c6f: PUSH2 0x1bdc 00001c72: JUMP 00001c73: JUMPDEST 00001c74: SWAP4 00001c75: SWAP1 00001c76: SWAP4 00001c77: SWAP3 00001c78: PUSH1 0x44 00001c7a: CALLDATALOAD 00001c7b: SWAP2 00001c7c: DUP3 00001c7d: GT 00001c7e: PUSH2 0x029d 00001c81: JUMPI 00001c82: PUSH2 0x1c8d 00001c85: SWAP2 00001c86: PUSH1 0x04 00001c88: ADD 00001c89: PUSH2 0x1bdc 00001c8c: JUMP 00001c8d: JUMPDEST 00001c8e: SWAP1 00001c8f: SWAP2 00001c90: PUSH1 0x64 00001c92: CALLDATALOAD 00001c93: PUSH4 0xffffffff 00001c98: DUP2 00001c99: AND 00001c9a: DUP2 00001c9b: SUB 00001c9c: PUSH2 0x029d 00001c9f: JUMPI 00001ca0: SWAP1 00001ca1: JUMP 00001ca2: JUMPDEST 00001ca3: SWAP2 00001ca4: SWAP1 00001ca5: DUP2 00001ca6: LT 00001ca7: ISZERO 00001ca8: PUSH2 0x1447 00001cab: JUMPI 00001cac: PUSH1 0x05 00001cae: SHL 00001caf: ADD 00001cb0: SWAP1 00001cb1: JUMP 00001cb2: JUMPDEST 00001cb3: CALLDATALOAD 00001cb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc9: DUP2 00001cca: AND 00001ccb: DUP2 00001ccc: SUB 00001ccd: PUSH2 0x029d 00001cd0: JUMPI 00001cd1: SWAP1 00001cd2: JUMP 00001cd3: JUMPDEST 00001cd4: PUSH8 0xffffffffffffffff 00001cdd: DUP2 00001cde: GT 00001cdf: PUSH2 0x141a 00001ce2: JUMPI 00001ce3: PUSH1 0x40 00001ce5: MSTORE 00001ce6: JUMP 00001ce7: JUMPDEST 00001ce8: PUSH1 0x80 00001cea: DUP2 00001ceb: ADD 00001cec: SWAP1 00001ced: DUP2 00001cee: LT 00001cef: PUSH8 0xffffffffffffffff 00001cf8: DUP3 00001cf9: GT 00001cfa: OR 00001cfb: PUSH2 0x141a 00001cfe: JUMPI 00001cff: PUSH1 0x40 00001d01: MSTORE 00001d02: JUMP 00001d03: JUMPDEST 00001d04: SWAP1 00001d05: PUSH1 0x1f 00001d07: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001d28: SWAP2 00001d29: ADD 00001d2a: AND 00001d2b: DUP2 00001d2c: ADD 00001d2d: SWAP1 00001d2e: DUP2 00001d2f: LT 00001d30: PUSH8 0xffffffffffffffff 00001d39: DUP3 00001d3a: GT 00001d3b: OR 00001d3c: PUSH2 0x141a 00001d3f: JUMPI 00001d40: PUSH1 0x40 00001d42: MSTORE 00001d43: JUMP 00001d44: JUMPDEST 00001d45: SWAP2 00001d46: SWAP1 00001d47: DUP3 00001d48: ADD 00001d49: DUP1 00001d4a: SWAP3 00001d4b: GT 00001d4c: PUSH2 0x1d51 00001d4f: JUMPI 00001d50: JUMP 00001d51: JUMPDEST 00001d52: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001d73: PUSH0 00001d74: MSTORE 00001d75: PUSH1 0x11 00001d77: PUSH1 0x04 00001d79: MSTORE 00001d7a: PUSH1 0x24 00001d7c: PUSH0 00001d7d: REVERT 00001d7e: JUMPDEST 00001d7f: SWAP2 00001d80: SWAP1 00001d81: DUP3 00001d82: SUB 00001d83: SWAP2 00001d84: DUP3 00001d85: GT 00001d86: PUSH2 0x1d51 00001d89: JUMPI 00001d8a: JUMP 00001d8b: JUMPDEST 00001d8c: SWAP1 00001d8d: SWAP2 00001d8e: DUP3 00001d8f: DUP2 00001d90: MSTORE 00001d91: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001db2: DUP4 00001db3: GT 00001db4: PUSH2 0x029d 00001db7: JUMPI 00001db8: PUSH1 0x20 00001dba: SWAP3 00001dbb: PUSH1 0x05 00001dbd: SHL 00001dbe: DUP1 00001dbf: SWAP3 00001dc0: DUP5 00001dc1: DUP4 00001dc2: ADD 00001dc3: CALLDATACOPY 00001dc4: ADD 00001dc5: ADD 00001dc6: SWAP1 00001dc7: JUMP 00001dc8: JUMPDEST 00001dc9: CALLER 00001dca: PUSH0 00001dcb: SWAP1 00001dcc: DUP2 00001dcd: MSTORE 00001dce: PUSH32 0x5cbfc8ee58ca47855df7bcf648dd304ddb6b932f9b87878bdf6318d7ec7ee5b7 00001def: PUSH1 0x20 00001df1: MSTORE 00001df2: PUSH1 0x40 00001df4: SWAP1 00001df5: KECCAK256 00001df6: SLOAD 00001df7: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42 00001e18: SWAP1 00001e19: PUSH1 0xff 00001e1b: AND 00001e1c: ISZERO 00001e1d: PUSH2 0x161a 00001e20: JUMPI 00001e21: POP 00001e22: JUMP 00001e23: JUMPDEST 00001e24: DUP1 00001e25: PUSH0 00001e26: MSTORE 00001e27: PUSH0 00001e28: PUSH1 0x20 00001e2a: MSTORE 00001e2b: PUSH1 0x40 00001e2d: PUSH0 00001e2e: KECCAK256 00001e2f: CALLER 00001e30: PUSH0 00001e31: MSTORE 00001e32: PUSH1 0x20 00001e34: MSTORE 00001e35: PUSH1 0xff 00001e37: PUSH1 0x40 00001e39: PUSH0 00001e3a: KECCAK256 00001e3b: SLOAD 00001e3c: AND 00001e3d: ISZERO 00001e3e: PUSH2 0x161a 00001e41: JUMPI 00001e42: POP 00001e43: JUMP 00001e44: JUMPDEST 00001e45: SWAP1 00001e46: DUP2 00001e47: PUSH0 00001e48: MSTORE 00001e49: PUSH0 00001e4a: PUSH1 0x20 00001e4c: MSTORE 00001e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e62: PUSH1 0x40 00001e64: PUSH0 00001e65: KECCAK256 00001e66: SWAP2 00001e67: AND 00001e68: SWAP1 00001e69: DUP2 00001e6a: PUSH0 00001e6b: MSTORE 00001e6c: PUSH1 0x20 00001e6e: MSTORE 00001e6f: PUSH1 0xff 00001e71: PUSH1 0x40 00001e73: PUSH0 00001e74: KECCAK256 00001e75: SLOAD 00001e76: AND 00001e77: ISZERO 00001e78: PUSH0 00001e79: EQ 00001e7a: PUSH2 0x1ee6 00001e7d: JUMPI 00001e7e: DUP2 00001e7f: PUSH0 00001e80: MSTORE 00001e81: PUSH0 00001e82: PUSH1 0x20 00001e84: MSTORE 00001e85: PUSH1 0x40 00001e87: PUSH0 00001e88: KECCAK256 00001e89: DUP2 00001e8a: PUSH0 00001e8b: MSTORE 00001e8c: PUSH1 0x20 00001e8e: MSTORE 00001e8f: PUSH1 0x40 00001e91: PUSH0 00001e92: KECCAK256 00001e93: PUSH1 0x01 00001e95: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001eb6: DUP3 00001eb7: SLOAD 00001eb8: AND 00001eb9: OR 00001eba: SWAP1 00001ebb: SSTORE 00001ebc: CALLER 00001ebd: SWAP2 00001ebe: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00001edf: PUSH0 00001ee0: DUP1 00001ee1: LOG4 00001ee2: PUSH1 0x01 00001ee4: SWAP1 00001ee5: JUMP 00001ee6: JUMPDEST 00001ee7: POP 00001ee8: POP 00001ee9: PUSH0 00001eea: SWAP1 00001eeb: JUMP 00001eec: JUMPDEST 00001eed: SWAP1 00001eee: DUP2 00001eef: PUSH0 00001ef0: MSTORE 00001ef1: PUSH0 00001ef2: PUSH1 0x20 00001ef4: MSTORE 00001ef5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f0a: PUSH1 0x40 00001f0c: PUSH0 00001f0d: KECCAK256 00001f0e: SWAP2 00001f0f: AND 00001f10: SWAP1 00001f11: DUP2 00001f12: PUSH0 00001f13: MSTORE 00001f14: PUSH1 0x20 00001f16: MSTORE 00001f17: PUSH1 0xff 00001f19: PUSH1 0x40 00001f1b: PUSH0 00001f1c: KECCAK256 00001f1d: SLOAD 00001f1e: AND 00001f1f: PUSH0 00001f20: EQ 00001f21: PUSH2 0x1ee6 00001f24: JUMPI 00001f25: DUP2 00001f26: PUSH0 00001f27: MSTORE 00001f28: PUSH0 00001f29: PUSH1 0x20 00001f2b: MSTORE 00001f2c: PUSH1 0x40 00001f2e: PUSH0 00001f2f: KECCAK256 00001f30: DUP2 00001f31: PUSH0 00001f32: MSTORE 00001f33: PUSH1 0x20 00001f35: MSTORE 00001f36: PUSH1 0x40 00001f38: PUSH0 00001f39: KECCAK256 00001f3a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001f5b: DUP2 00001f5c: SLOAD 00001f5d: AND 00001f5e: SWAP1 00001f5f: SSTORE 00001f60: CALLER 00001f61: SWAP2 00001f62: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00001f83: PUSH0 00001f84: DUP1 00001f85: LOG4 00001f86: PUSH1 0x01 00001f88: SWAP1 00001f89: JUMP 00001f8a: JUMPDEST 00001f8b: SWAP2 00001f8c: SWAP1 00001f8d: DUP2 00001f8e: LT 00001f8f: ISZERO 00001f90: PUSH2 0x1447 00001f93: JUMPI 00001f94: PUSH1 0x05 00001f96: SHL 00001f97: DUP2 00001f98: ADD 00001f99: CALLDATALOAD 00001f9a: SWAP1 00001f9b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 00001fbc: DUP2 00001fbd: CALLDATASIZE 00001fbe: SUB 00001fbf: ADD 00001fc0: DUP3 00001fc1: SLT 00001fc2: ISZERO 00001fc3: PUSH2 0x029d 00001fc6: JUMPI 00001fc7: ADD 00001fc8: SWAP1 00001fc9: DUP2 00001fca: CALLDATALOAD 00001fcb: SWAP2 00001fcc: PUSH8 0xffffffffffffffff 00001fd5: DUP4 00001fd6: GT 00001fd7: PUSH2 0x029d 00001fda: JUMPI 00001fdb: PUSH1 0x20 00001fdd: ADD 00001fde: DUP3 00001fdf: PUSH1 0x05 00001fe1: SHL 00001fe2: CALLDATASIZE 00001fe3: SUB 00001fe4: DUP2 00001fe5: SGT 00001fe6: PUSH2 0x029d 00001fe9: JUMPI 00001fea: SWAP2 00001feb: SWAP1 00001fec: JUMP 00001fed: JUMPDEST 00001fee: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 0000200f: DUP1 00002010: TLOAD 00002011: PUSH2 0x201a 00002014: JUMPI 00002015: PUSH1 0x01 00002017: SWAP1 00002018: TSTORE 00002019: JUMP 0000201a: JUMPDEST 0000201b: PUSH1 0x04 0000201d: PUSH1 0x40 0000201f: MLOAD 00002020: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 00002041: DUP2 00002042: MSTORE 00002043: REVERT 00002044: JUMPDEST 00002045: PUSH4 0xffffffff 0000204a: AND 0000204b: DUP1 0000204c: PUSH0 0000204d: MSTORE 0000204e: PUSH1 0x05 00002050: PUSH1 0x20 00002052: MSTORE 00002053: PUSH1 0xff 00002055: PUSH1 0x40 00002057: PUSH0 00002058: KECCAK256 00002059: SLOAD 0000205a: AND 0000205b: ISZERO 0000205c: PUSH2 0x2124 0000205f: JUMPI 00002060: PUSH1 0x60 00002062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002077: PUSH1 0x01 00002079: SLOAD 0000207a: AND 0000207b: SWAP2 0000207c: PUSH1 0x24 0000207e: PUSH1 0x40 00002080: MLOAD 00002081: DUP1 00002082: SWAP5 00002083: DUP2 00002084: SWAP4 00002085: PUSH32 0x79a6d51f00000000000000000000000000000000000000000000000000000000 000020a6: DUP4 000020a7: MSTORE 000020a8: PUSH1 0x04 000020aa: DUP4 000020ab: ADD 000020ac: MSTORE 000020ad: GAS 000020ae: STATICCALL 000020af: SWAP1 000020b0: DUP2 000020b1: ISZERO 000020b2: PUSH2 0x0f6f 000020b5: JUMPI 000020b6: PUSH0 000020b7: SWAP2 000020b8: PUSH2 0x20ef 000020bb: JUMPI 000020bc: JUMPDEST 000020bd: POP 000020be: TIMESTAMP 000020bf: LT 000020c0: PUSH2 0x20c5 000020c3: JUMPI 000020c4: JUMP 000020c5: JUMPDEST 000020c6: PUSH1 0x04 000020c8: PUSH1 0x40 000020ca: MLOAD 000020cb: PUSH32 0xc43172d200000000000000000000000000000000000000000000000000000000 000020ec: DUP2 000020ed: MSTORE 000020ee: REVERT 000020ef: JUMPDEST 000020f0: SWAP1 000020f1: POP 000020f2: PUSH1 0x60 000020f4: DUP2 000020f5: RETURNDATASIZE 000020f6: PUSH1 0x60 000020f8: GT 000020f9: PUSH2 0x211c 000020fc: JUMPI 000020fd: JUMPDEST 000020fe: DUP2 000020ff: PUSH2 0x210a 00002102: PUSH1 0x60 00002104: SWAP4 00002105: DUP4 00002106: PUSH2 0x1d03 00002109: JUMP 0000210a: JUMPDEST 0000210b: DUP2 0000210c: ADD 0000210d: SUB 0000210e: SLT 0000210f: PUSH2 0x029d 00002112: JUMPI 00002113: PUSH1 0x20 00002115: ADD 00002116: MLOAD 00002117: PUSH0 00002118: PUSH2 0x20bc 0000211b: JUMP 0000211c: JUMPDEST 0000211d: RETURNDATASIZE 0000211e: SWAP2 0000211f: POP 00002120: PUSH2 0x20fd 00002123: JUMP 00002124: JUMPDEST 00002125: PUSH1 0x04 00002127: PUSH1 0x40 00002129: MLOAD 0000212a: PUSH32 0xde69955000000000000000000000000000000000000000000000000000000000 0000214b: DUP2 0000214c: MSTORE 0000214d: REVERT 0000214e: JUMPDEST 0000214f: SWAP2 00002150: SWAP1 00002151: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002172: DUP2 00002173: GT 00002174: PUSH2 0x029d 00002177: JUMPI 00002178: PUSH1 0x05 0000217a: SHL 0000217b: DUP1 0000217c: SWAP3 0000217d: DUP3 0000217e: CALLDATACOPY 0000217f: ADD 00002180: SWAP1 00002181: JUMP 00002182: JUMPDEST 00002183: SWAP1 00002184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002199: DUP3 0000219a: AND 0000219b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000021b0: SUB 000021b1: PUSH2 0x21c1 000021b4: JUMPI 000021b5: PUSH2 0x21bf 000021b8: SWAP2 000021b9: POP 000021ba: CALLER 000021bb: PUSH2 0x222a 000021be: JUMP 000021bf: JUMPDEST 000021c0: JUMP 000021c1: JUMPDEST 000021c2: PUSH2 0x21bf 000021c5: SWAP2 000021c6: CALLER 000021c7: SWAP1 000021c8: JUMPDEST 000021c9: PUSH1 0x40 000021cb: MLOAD 000021cc: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000021ed: PUSH1 0x20 000021ef: DUP3 000021f0: ADD 000021f1: MSTORE 000021f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002207: SWAP3 00002208: SWAP1 00002209: SWAP3 0000220a: AND 0000220b: PUSH1 0x24 0000220d: DUP4 0000220e: ADD 0000220f: MSTORE 00002210: PUSH1 0x44 00002212: DUP1 00002213: DUP4 00002214: ADD 00002215: SWAP4 00002216: SWAP1 00002217: SWAP4 00002218: MSTORE 00002219: SWAP2 0000221a: DUP2 0000221b: MSTORE 0000221c: PUSH2 0x21bf 0000221f: SWAP2 00002220: PUSH2 0x083a 00002223: PUSH1 0x64 00002225: DUP4 00002226: PUSH2 0x1d03 00002229: JUMP 0000222a: JUMPDEST 0000222b: DUP2 0000222c: SELFBALANCE 0000222d: LT 0000222e: PUSH2 0x22db 00002231: JUMPI 00002232: PUSH0 00002233: DUP1 00002234: DUP1 00002235: SWAP4 00002236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000224b: DUP3 0000224c: SWAP5 0000224d: AND 0000224e: GAS 0000224f: CALL 00002250: RETURNDATASIZE 00002251: ISZERO 00002252: PUSH2 0x22d6 00002255: JUMPI 00002256: RETURNDATASIZE 00002257: PUSH8 0xffffffffffffffff 00002260: DUP2 00002261: GT 00002262: PUSH2 0x141a 00002265: JUMPI 00002266: PUSH1 0x40 00002268: MLOAD 00002269: SWAP1 0000226a: PUSH2 0x229b 0000226d: PUSH1 0x20 0000226f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002290: PUSH1 0x1f 00002292: DUP5 00002293: ADD 00002294: AND 00002295: ADD 00002296: DUP4 00002297: PUSH2 0x1d03 0000229a: JUMP 0000229b: JUMPDEST 0000229c: DUP2 0000229d: MSTORE 0000229e: PUSH0 0000229f: PUSH1 0x20 000022a1: RETURNDATASIZE 000022a2: SWAP3 000022a3: ADD 000022a4: RETURNDATACOPY 000022a5: JUMPDEST 000022a6: ISZERO 000022a7: PUSH2 0x22ac 000022aa: JUMPI 000022ab: JUMP 000022ac: JUMPDEST 000022ad: PUSH1 0x04 000022af: PUSH1 0x40 000022b1: MLOAD 000022b2: PUSH32 0xd6bda27500000000000000000000000000000000000000000000000000000000 000022d3: DUP2 000022d4: MSTORE 000022d5: REVERT 000022d6: JUMPDEST 000022d7: PUSH2 0x22a5 000022da: JUMP 000022db: JUMPDEST 000022dc: PUSH1 0x44 000022de: DUP3 000022df: SELFBALANCE 000022e0: SWAP1 000022e1: PUSH1 0x40 000022e3: MLOAD 000022e4: SWAP2 000022e5: PUSH32 0xcf47918100000000000000000000000000000000000000000000000000000000 00002306: DUP4 00002307: MSTORE 00002308: PUSH1 0x04 0000230a: DUP4 0000230b: ADD 0000230c: MSTORE 0000230d: PUSH1 0x24 0000230f: DUP3 00002310: ADD 00002311: MSTORE 00002312: REVERT 00002313: JUMPDEST 00002314: SWAP1 00002315: PUSH0 00002316: PUSH1 0x20 00002318: SWAP2 00002319: DUP3 0000231a: DUP2 0000231b: MLOAD 0000231c: SWAP2 0000231d: ADD 0000231e: DUP3 0000231f: DUP6 00002320: GAS 00002321: CALL 00002322: ISZERO 00002323: PUSH2 0x0f6f 00002326: JUMPI 00002327: PUSH0 00002328: MLOAD 00002329: RETURNDATASIZE 0000232a: PUSH2 0x2396 0000232d: JUMPI 0000232e: POP 0000232f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002344: DUP2 00002345: AND 00002346: EXTCODESIZE 00002347: ISZERO 00002348: JUMPDEST 00002349: PUSH2 0x234f 0000234c: JUMPI 0000234d: POP 0000234e: JUMP 0000234f: JUMPDEST 00002350: PUSH1 0x24 00002352: SWAP1 00002353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002368: PUSH1 0x40 0000236a: MLOAD 0000236b: SWAP2 0000236c: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 0000238d: DUP4 0000238e: MSTORE 0000238f: AND 00002390: PUSH1 0x04 00002392: DUP3 00002393: ADD 00002394: MSTORE 00002395: REVERT 00002396: JUMPDEST 00002397: PUSH1 0x01 00002399: EQ 0000239a: ISZERO 0000239b: PUSH2 0x2348 0000239e: JUMP 0000239f: JUMPDEST 000023a0: SWAP2 000023a1: SWAP1 000023a2: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 000023c3: DUP5 000023c4: GT 000023c5: PUSH2 0x2423 000023c8: JUMPI 000023c9: SWAP2 000023ca: PUSH1 0x20 000023cc: SWAP4 000023cd: PUSH1 0x80 000023cf: SWAP3 000023d0: PUSH1 0xff 000023d2: PUSH0 000023d3: SWAP6 000023d4: PUSH1 0x40 000023d6: MLOAD 000023d7: SWAP5 000023d8: DUP6 000023d9: MSTORE 000023da: AND 000023db: DUP7 000023dc: DUP5 000023dd: ADD 000023de: MSTORE 000023df: PUSH1 0x40 000023e1: DUP4 000023e2: ADD 000023e3: MSTORE 000023e4: PUSH1 0x60 000023e6: DUP3 000023e7: ADD 000023e8: MSTORE 000023e9: DUP3 000023ea: DUP1 000023eb: MSTORE 000023ec: PUSH1 0x01 000023ee: GAS 000023ef: STATICCALL 000023f0: ISZERO 000023f1: PUSH2 0x0f6f 000023f4: JUMPI 000023f5: PUSH0 000023f6: MLOAD 000023f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000240c: DUP2 0000240d: AND 0000240e: ISZERO 0000240f: PUSH2 0x2419 00002412: JUMPI 00002413: SWAP1 00002414: PUSH0 00002415: SWAP1 00002416: PUSH0 00002417: SWAP1 00002418: JUMP 00002419: JUMPDEST 0000241a: POP 0000241b: PUSH0 0000241c: SWAP1 0000241d: PUSH1 0x01 0000241f: SWAP1 00002420: PUSH0 00002421: SWAP1 00002422: JUMP 00002423: JUMPDEST 00002424: POP 00002425: POP 00002426: POP 00002427: PUSH0 00002428: SWAP2 00002429: PUSH1 0x03 0000242b: SWAP2 0000242c: SWAP1 0000242d: JUMP 0000242e: JUMPDEST 0000242f: PUSH1 0x04 00002431: DUP2 00002432: LT 00002433: ISZERO 00002434: PUSH2 0x24e6 00002437: JUMPI 00002438: DUP1 00002439: PUSH2 0x2440 0000243c: JUMPI 0000243d: POP 0000243e: POP 0000243f: JUMP 00002440: JUMPDEST 00002441: PUSH1 0x01 00002443: DUP2 00002444: SUB 00002445: PUSH2 0x2472 00002448: JUMPI 00002449: PUSH1 0x04 0000244b: PUSH1 0x40 0000244d: MLOAD 0000244e: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000 0000246f: DUP2 00002470: MSTORE 00002471: REVERT 00002472: JUMPDEST 00002473: PUSH1 0x02 00002475: DUP2 00002476: SUB 00002477: PUSH2 0x24ab 0000247a: JUMPI 0000247b: PUSH1 0x24 0000247d: DUP3 0000247e: PUSH1 0x40 00002480: MLOAD 00002481: SWAP1 00002482: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000 000024a3: DUP3 000024a4: MSTORE 000024a5: PUSH1 0x04 000024a7: DUP3 000024a8: ADD 000024a9: MSTORE 000024aa: REVERT 000024ab: JUMPDEST 000024ac: PUSH1 0x03 000024ae: EQ 000024af: PUSH2 0x24b5 000024b2: JUMPI 000024b3: POP 000024b4: JUMP 000024b5: JUMPDEST 000024b6: PUSH1 0x24 000024b8: SWAP1 000024b9: PUSH1 0x40 000024bb: MLOAD 000024bc: SWAP1 000024bd: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000 000024de: DUP3 000024df: MSTORE 000024e0: PUSH1 0x04 000024e2: DUP3 000024e3: ADD 000024e4: MSTORE 000024e5: REVERT 000024e6: JUMPDEST 000024e7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002508: PUSH0 00002509: MSTORE 0000250a: PUSH1 0x21 0000250c: PUSH1 0x04 0000250e: MSTORE 0000250f: PUSH1 0x24 00002511: PUSH0 00002512: REVERT 00002513: INVALID 00002514: LOG2 00002515: PUSH5 0x6970667358 0000251b: UNKNOWN(0x22) 0000251c: SLT 0000251d: KECCAK256 0000251e: MSTORE 0000251f: UNKNOWN(0xC2) 00002520: PUSH6 0xddccc012da5d 00002527: NOT 00002528: UNKNOWN(0xF7) 00002529: UNKNOWN(0xB6) 0000252a: UNKNOWN(0xBE) 0000252b: UNKNOWN(0xA9) 0000252c: UNKNOWN(0xD5) 0000252d: MLOAD 0000252e: ISZERO 0000252f: CALLVALUE 00002530: PUSH19 0xbe40ab91f9865ded662589dea864736f6c6343 00002544: STOP 00002545: ADDMOD 00002546: NOT 00002547: STOP 00002548: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd
call_targets:
0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x054a68ad",
"selector": "0x054a68ad",
"calldata_variants": [
"0x054a68ad",
"0x054a68ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2194f3a2",
"selector": "0x2194f3a2",
"calldata_variants": [
"0x2194f3a2",
"0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248a9ca3",
"selector": "0x248a9ca3",
"calldata_variants": [
"0x248a9ca3",
"0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f2ff15d",
"selector": "0x2f2ff15d",
"calldata_variants": [
"0x2f2ff15d",
"0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2fde3826",
"selector": "0x2fde3826",
"calldata_variants": [
"0x2fde3826",
"0x2fde38260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36568abe",
"selector": "0x36568abe",
"calldata_variants": [
"0x36568abe",
"0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f3a0311",
"selector": "0x3f3a0311",
"calldata_variants": [
"0x3f3a0311",
"0x3f3a03110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2013,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3908,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd
call_targets:
0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x054a68ad",
"selector": "0x054a68ad",
"calldata_variants": [
"0x054a68ad",
"0x054a68ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2194f3a2",
"selector": "0x2194f3a2",
"calldata_variants": [
"0x2194f3a2",
"0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248a9ca3",
"selector": "0x248a9ca3",
"calldata_variants": [
"0x248a9ca3",
"0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f2ff15d",
"selector": "0x2f2ff15d",
"calldata_variants": [
"0x2f2ff15d",
"0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2fde3826",
"selector": "0x2fde3826",
"calldata_variants": [
"0x2fde3826",
"0x2fde38260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36568abe",
"selector": "0x36568abe",
"calldata_variants": [
"0x36568abe",
"0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f3a0311",
"selector": "0x3f3a0311",
"calldata_variants": [
"0x3f3a0311",
"0x3f3a03110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2013,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3908,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|