019b3844-af07-738b-a19e-faa8356df2a5
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 |
|---|---|---|---|---|
| 17889 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 17890 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 61578 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 61579 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 61580 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 61581 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x01e6 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0xaa7abb62 00000018: GT 00000019: PUSH2 0x0108 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xc77d17cd 00000023: GT 00000024: PUSH2 0x009d 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xe5c6a209 0000002e: GT 0000002f: PUSH2 0x006d 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xe5c6a209 00000039: EQ 0000003a: PUSH2 0x055f 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xeac9168b 00000044: EQ 00000045: PUSH2 0x057e 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf2fde38b 0000004f: EQ 00000050: PUSH2 0x05ac 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf33093ed 0000005a: EQ 0000005b: PUSH2 0x05cb 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xf5819f05 00000065: EQ 00000066: PUSH2 0x05ea 00000069: JUMPI 0000006a: PUSH0 0000006b: DUP1 0000006c: REVERT 0000006d: JUMPDEST 0000006e: DUP1 0000006f: PUSH4 0xc77d17cd 00000074: EQ 00000075: PUSH2 0x04e3 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0xd50b3065 0000007f: EQ 00000080: PUSH2 0x050e 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0xd9ac849b 0000008a: EQ 0000008b: PUSH2 0x052d 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xddb99ee2 00000095: EQ 00000096: PUSH2 0x0540 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0xb3f5bfad 000000a4: GT 000000a5: PUSH2 0x00d8 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0xb3f5bfad 000000af: EQ 000000b0: PUSH2 0x0465 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0xb572d6f6 000000ba: EQ 000000bb: PUSH2 0x0490 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0xc31c9c07 000000c5: EQ 000000c6: PUSH2 0x04a5 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0xc4e2c3bd 000000d0: EQ 000000d1: PUSH2 0x04c4 000000d4: JUMPI 000000d5: PUSH0 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: DUP1 000000da: PUSH4 0xaa7abb62 000000df: EQ 000000e0: PUSH2 0x0400 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xb163cc38 000000ea: EQ 000000eb: PUSH2 0x041f 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xb29a8140 000000f5: EQ 000000f6: PUSH2 0x0427 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xb3ab15fb 00000100: EQ 00000101: PUSH2 0x0446 00000104: JUMPI 00000105: PUSH0 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH4 0x570ca735 0000010f: GT 00000110: PUSH2 0x017e 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x8da5cb5b 0000011a: GT 0000011b: PUSH2 0x014e 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x8da5cb5b 00000125: EQ 00000126: PUSH2 0x036d 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x914f4598 00000130: EQ 00000131: PUSH2 0x0389 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0x9355c45d 0000013b: EQ 0000013c: PUSH2 0x03c2 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0xa635922e 00000146: EQ 00000147: PUSH2 0x03e1 0000014a: JUMPI 0000014b: PUSH0 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: DUP1 00000150: PUSH4 0x570ca735 00000155: EQ 00000156: PUSH2 0x02e4 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x715018a6 00000160: EQ 00000161: PUSH2 0x031b 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x804b4096 0000016b: EQ 0000016c: PUSH2 0x032f 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x8599d378 00000176: EQ 00000177: PUSH2 0x034e 0000017a: JUMPI 0000017b: PUSH0 0000017c: DUP1 0000017d: REVERT 0000017e: JUMPDEST 0000017f: DUP1 00000180: PUSH4 0x41273657 00000185: GT 00000186: PUSH2 0x01b9 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0x41273657 00000190: EQ 00000191: PUSH2 0x027e 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0x463271cb 0000019b: EQ 0000019c: PUSH2 0x029d 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0x4b3bfe61 000001a6: EQ 000001a7: PUSH2 0x02a5 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0x524cc658 000001b1: EQ 000001b2: PUSH2 0x02c4 000001b5: JUMPI 000001b6: PUSH0 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: DUP1 000001bb: PUSH4 0x06c5c315 000001c0: EQ 000001c1: PUSH2 0x01ea 000001c4: JUMPI 000001c5: DUP1 000001c6: PUSH4 0x071125a7 000001cb: EQ 000001cc: PUSH2 0x020b 000001cf: JUMPI 000001d0: DUP1 000001d1: PUSH4 0x24548a3c 000001d6: EQ 000001d7: PUSH2 0x022a 000001da: JUMPI 000001db: DUP1 000001dc: PUSH4 0x2912c9ed 000001e1: EQ 000001e2: PUSH2 0x025f 000001e5: JUMPI 000001e6: JUMPDEST 000001e7: PUSH0 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: CALLVALUE 000001ec: DUP1 000001ed: ISZERO 000001ee: PUSH2 0x01f5 000001f1: JUMPI 000001f2: PUSH0 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH2 0x0209 000001fa: PUSH2 0x0204 000001fd: CALLDATASIZE 000001fe: PUSH1 0x04 00000200: PUSH2 0x1571 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH2 0x0609 00000208: JUMP 00000209: JUMPDEST 0000020a: STOP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0216 00000212: JUMPI 00000213: PUSH0 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x0209 0000021b: PUSH2 0x0225 0000021e: CALLDATASIZE 0000021f: PUSH1 0x04 00000221: PUSH2 0x15a6 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x068a 00000229: JUMP 0000022a: JUMPDEST 0000022b: CALLVALUE 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x0235 00000231: JUMPI 00000232: PUSH0 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH1 0x03 00000239: SLOAD 0000023a: PUSH2 0x024a 0000023d: SWAP1 0000023e: PUSH1 0x01 00000240: PUSH1 0xa0 00000242: SHL 00000243: SWAP1 00000244: DIV 00000245: PUSH1 0xff 00000247: AND 00000248: DUP2 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH1 0x40 0000024d: MLOAD 0000024e: SWAP1 0000024f: ISZERO 00000250: ISZERO 00000251: DUP2 00000252: MSTORE 00000253: PUSH1 0x20 00000255: ADD 00000256: JUMPDEST 00000257: PUSH1 0x40 00000259: MLOAD 0000025a: DUP1 0000025b: SWAP2 0000025c: SUB 0000025d: SWAP1 0000025e: RETURN 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026a 00000266: JUMPI 00000267: PUSH0 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x0209 0000026f: PUSH2 0x0279 00000272: CALLDATASIZE 00000273: PUSH1 0x04 00000275: PUSH2 0x15ce 00000278: JUMP 00000279: JUMPDEST 0000027a: PUSH2 0x06ad 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x0289 00000285: JUMPI 00000286: PUSH0 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x0209 0000028e: PUSH2 0x0298 00000291: CALLDATASIZE 00000292: PUSH1 0x04 00000294: PUSH2 0x1607 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x095b 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH2 0x0209 000002a1: PUSH2 0x0985 000002a4: JUMP 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b0 000002ac: JUMPI 000002ad: PUSH0 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x0209 000002b5: PUSH2 0x02bf 000002b8: CALLDATASIZE 000002b9: PUSH1 0x04 000002bb: PUSH2 0x1632 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH2 0x09ba 000002c3: JUMP 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02cf 000002cb: JUMPI 000002cc: PUSH0 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH1 0x06 000002d3: SLOAD 000002d4: PUSH2 0x024a 000002d7: SWAP1 000002d8: PUSH1 0x01 000002da: PUSH1 0xa0 000002dc: SHL 000002dd: SWAP1 000002de: DIV 000002df: PUSH1 0xff 000002e1: AND 000002e2: DUP2 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02ef 000002eb: JUMPI 000002ec: PUSH0 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH1 0x06 000002f3: SLOAD 000002f4: PUSH2 0x0303 000002f7: SWAP1 000002f8: PUSH1 0x01 000002fa: PUSH1 0x01 000002fc: PUSH1 0xa0 000002fe: SHL 000002ff: SUB 00000300: AND 00000301: DUP2 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x40 00000306: MLOAD 00000307: PUSH1 0x01 00000309: PUSH1 0x01 0000030b: PUSH1 0xa0 0000030d: SHL 0000030e: SUB 0000030f: SWAP1 00000310: SWAP2 00000311: AND 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: PUSH2 0x0256 0000031a: JUMP 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0326 00000322: JUMPI 00000323: PUSH0 00000324: DUP1 00000325: REVERT 00000326: JUMPDEST 00000327: POP 00000328: PUSH2 0x0209 0000032b: PUSH2 0x0ba9 0000032e: JUMP 0000032f: JUMPDEST 00000330: CALLVALUE 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x033a 00000336: JUMPI 00000337: PUSH0 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: PUSH1 0x02 0000033e: SLOAD 0000033f: PUSH2 0x0303 00000342: SWAP1 00000343: PUSH1 0x01 00000345: PUSH1 0x01 00000347: PUSH1 0xa0 00000349: SHL 0000034a: SUB 0000034b: AND 0000034c: DUP2 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x0359 00000355: JUMPI 00000356: PUSH0 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: PUSH2 0x0209 0000035e: PUSH2 0x0368 00000361: CALLDATASIZE 00000362: PUSH1 0x04 00000364: PUSH2 0x15a6 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH2 0x0bbc 0000036c: JUMP 0000036d: JUMPDEST 0000036e: CALLVALUE 0000036f: DUP1 00000370: ISZERO 00000371: PUSH2 0x0378 00000374: JUMPI 00000375: PUSH0 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: POP 0000037a: PUSH0 0000037b: SLOAD 0000037c: PUSH1 0x01 0000037e: PUSH1 0x01 00000380: PUSH1 0xa0 00000382: SHL 00000383: SUB 00000384: AND 00000385: PUSH2 0x0303 00000388: JUMP 00000389: JUMPDEST 0000038a: CALLVALUE 0000038b: DUP1 0000038c: ISZERO 0000038d: PUSH2 0x0394 00000390: JUMPI 00000391: PUSH0 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: POP 00000396: PUSH2 0x03b4 00000399: PUSH2 0x03a3 0000039c: CALLDATASIZE 0000039d: PUSH1 0x04 0000039f: PUSH2 0x1607 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x0a 000003a6: PUSH1 0x20 000003a8: MSTORE 000003a9: PUSH0 000003aa: SWAP1 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x40 000003af: SWAP1 000003b0: KECCAK256 000003b1: SLOAD 000003b2: DUP2 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH1 0x40 000003b7: MLOAD 000003b8: SWAP1 000003b9: DUP2 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: ADD 000003be: PUSH2 0x0256 000003c1: JUMP 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03cd 000003c9: JUMPI 000003ca: PUSH0 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x0209 000003d2: PUSH2 0x03dc 000003d5: CALLDATASIZE 000003d6: PUSH1 0x04 000003d8: PUSH2 0x16a5 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x0bdf 000003e0: JUMP 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: DUP1 000003e4: ISZERO 000003e5: PUSH2 0x03ec 000003e8: JUMPI 000003e9: PUSH0 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: POP 000003ee: PUSH2 0x0209 000003f1: PUSH2 0x03fb 000003f4: CALLDATASIZE 000003f5: PUSH1 0x04 000003f7: PUSH2 0x16f8 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH2 0x0d90 000003ff: JUMP 00000400: JUMPDEST 00000401: CALLVALUE 00000402: DUP1 00000403: ISZERO 00000404: PUSH2 0x040b 00000407: JUMPI 00000408: PUSH0 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x0209 00000410: PUSH2 0x041a 00000413: CALLDATASIZE 00000414: PUSH1 0x04 00000416: PUSH2 0x15ce 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x0db6 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x0209 00000423: PUSH2 0x0dce 00000426: JUMP 00000427: JUMPDEST 00000428: CALLVALUE 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0432 0000042e: JUMPI 0000042f: PUSH0 00000430: DUP1 00000431: REVERT 00000432: JUMPDEST 00000433: POP 00000434: PUSH2 0x0209 00000437: PUSH2 0x0441 0000043a: CALLDATASIZE 0000043b: PUSH1 0x04 0000043d: PUSH2 0x15a6 00000440: JUMP 00000441: JUMPDEST 00000442: PUSH2 0x0e4b 00000445: JUMP 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0451 0000044d: JUMPI 0000044e: PUSH0 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: POP 00000453: PUSH2 0x0209 00000456: PUSH2 0x0460 00000459: CALLDATASIZE 0000045a: PUSH1 0x04 0000045c: PUSH2 0x1607 0000045f: JUMP 00000460: JUMPDEST 00000461: PUSH2 0x0e72 00000464: JUMP 00000465: JUMPDEST 00000466: CALLVALUE 00000467: DUP1 00000468: ISZERO 00000469: PUSH2 0x0470 0000046c: JUMPI 0000046d: PUSH0 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x03b4 00000475: PUSH2 0x047f 00000478: CALLDATASIZE 00000479: PUSH1 0x04 0000047b: PUSH2 0x1607 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x08 00000482: PUSH1 0x20 00000484: MSTORE 00000485: PUSH0 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x40 0000048b: SWAP1 0000048c: KECCAK256 0000048d: SLOAD 0000048e: DUP2 0000048f: JUMP 00000490: JUMPDEST 00000491: CALLVALUE 00000492: DUP1 00000493: ISZERO 00000494: PUSH2 0x049b 00000497: JUMPI 00000498: PUSH0 00000499: DUP1 0000049a: REVERT 0000049b: JUMPDEST 0000049c: POP 0000049d: PUSH2 0x03b4 000004a0: PUSH1 0x07 000004a2: SLOAD 000004a3: DUP2 000004a4: JUMP 000004a5: JUMPDEST 000004a6: CALLVALUE 000004a7: DUP1 000004a8: ISZERO 000004a9: PUSH2 0x04b0 000004ac: JUMPI 000004ad: PUSH0 000004ae: DUP1 000004af: REVERT 000004b0: JUMPDEST 000004b1: POP 000004b2: PUSH1 0x04 000004b4: SLOAD 000004b5: PUSH2 0x0303 000004b8: SWAP1 000004b9: PUSH1 0x01 000004bb: PUSH1 0x01 000004bd: PUSH1 0xa0 000004bf: SHL 000004c0: SUB 000004c1: AND 000004c2: DUP2 000004c3: JUMP 000004c4: JUMPDEST 000004c5: CALLVALUE 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x04cf 000004cb: JUMPI 000004cc: PUSH0 000004cd: DUP1 000004ce: REVERT 000004cf: JUMPDEST 000004d0: POP 000004d1: PUSH2 0x024a 000004d4: PUSH2 0x04de 000004d7: CALLDATASIZE 000004d8: PUSH1 0x04 000004da: PUSH2 0x15ce 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x0ee6 000004e2: JUMP 000004e3: JUMPDEST 000004e4: CALLVALUE 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x04ee 000004ea: JUMPI 000004eb: PUSH0 000004ec: DUP1 000004ed: REVERT 000004ee: JUMPDEST 000004ef: POP 000004f0: PUSH2 0x03b4 000004f3: PUSH2 0x04fd 000004f6: CALLDATASIZE 000004f7: PUSH1 0x04 000004f9: PUSH2 0x1607 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH1 0x09 00000500: PUSH1 0x20 00000502: MSTORE 00000503: PUSH0 00000504: SWAP1 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x40 00000509: SWAP1 0000050a: KECCAK256 0000050b: SLOAD 0000050c: DUP2 0000050d: JUMP 0000050e: JUMPDEST 0000050f: CALLVALUE 00000510: DUP1 00000511: ISZERO 00000512: PUSH2 0x0519 00000515: JUMPI 00000516: PUSH0 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: POP 0000051b: PUSH2 0x0209 0000051e: PUSH2 0x0528 00000521: CALLDATASIZE 00000522: PUSH1 0x04 00000524: PUSH2 0x15a6 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH2 0x0f9f 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH2 0x0209 00000531: PUSH2 0x053b 00000534: CALLDATASIZE 00000535: PUSH1 0x04 00000537: PUSH2 0x1713 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH2 0x1038 0000053f: JUMP 00000540: JUMPDEST 00000541: CALLVALUE 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054b 00000547: JUMPI 00000548: PUSH0 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH1 0x01 0000054f: SLOAD 00000550: PUSH2 0x0303 00000553: SWAP1 00000554: PUSH1 0x01 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: SHL 0000055b: SUB 0000055c: AND 0000055d: DUP2 0000055e: JUMP 0000055f: JUMPDEST 00000560: CALLVALUE 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x056a 00000566: JUMPI 00000567: PUSH0 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: POP 0000056c: PUSH1 0x03 0000056e: SLOAD 0000056f: PUSH2 0x0303 00000572: SWAP1 00000573: PUSH1 0x01 00000575: PUSH1 0x01 00000577: PUSH1 0xa0 00000579: SHL 0000057a: SUB 0000057b: AND 0000057c: DUP2 0000057d: JUMP 0000057e: JUMPDEST 0000057f: CALLVALUE 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x0589 00000585: JUMPI 00000586: PUSH0 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: POP 0000058b: PUSH2 0x024a 0000058e: PUSH2 0x0598 00000591: CALLDATASIZE 00000592: PUSH1 0x04 00000594: PUSH2 0x1607 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x05 0000059b: PUSH1 0x20 0000059d: MSTORE 0000059e: PUSH0 0000059f: SWAP1 000005a0: DUP2 000005a1: MSTORE 000005a2: PUSH1 0x40 000005a4: SWAP1 000005a5: KECCAK256 000005a6: SLOAD 000005a7: PUSH1 0xff 000005a9: AND 000005aa: DUP2 000005ab: JUMP 000005ac: JUMPDEST 000005ad: CALLVALUE 000005ae: DUP1 000005af: ISZERO 000005b0: PUSH2 0x05b7 000005b3: JUMPI 000005b4: PUSH0 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: POP 000005b9: PUSH2 0x0209 000005bc: PUSH2 0x05c6 000005bf: CALLDATASIZE 000005c0: PUSH1 0x04 000005c2: PUSH2 0x1607 000005c5: JUMP 000005c6: JUMPDEST 000005c7: PUSH2 0x1161 000005ca: JUMP 000005cb: JUMPDEST 000005cc: CALLVALUE 000005cd: DUP1 000005ce: ISZERO 000005cf: PUSH2 0x05d6 000005d2: JUMPI 000005d3: PUSH0 000005d4: DUP1 000005d5: REVERT 000005d6: JUMPDEST 000005d7: POP 000005d8: PUSH2 0x0209 000005db: PUSH2 0x05e5 000005de: CALLDATASIZE 000005df: PUSH1 0x04 000005e1: PUSH2 0x174c 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH2 0x119e 000005e9: JUMP 000005ea: JUMPDEST 000005eb: CALLVALUE 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x05f5 000005f1: JUMPI 000005f2: PUSH0 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: PUSH2 0x0209 000005fa: PUSH2 0x0604 000005fd: CALLDATASIZE 000005fe: PUSH1 0x04 00000600: PUSH2 0x16f8 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH2 0x11b0 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH2 0x0611 0000060d: PUSH2 0x11d6 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH1 0x01 00000614: PUSH1 0x01 00000616: PUSH1 0xa0 00000618: SHL 00000619: SUB 0000061a: DUP3 0000061b: AND 0000061c: PUSH2 0x0660 0000061f: JUMPI 00000620: PUSH1 0x40 00000622: MLOAD 00000623: PUSH3 0x461bcd 00000627: PUSH1 0xe5 00000629: SHL 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: PUSH1 0x04 00000630: DUP3 00000631: ADD 00000632: MSTORE 00000633: PUSH1 0x11 00000635: PUSH1 0x24 00000637: DUP3 00000638: ADD 00000639: MSTORE 0000063a: PUSH17 0x063616e742062652061646472657373203 0000064c: PUSH1 0x7c 0000064e: SHL 0000064f: PUSH1 0x44 00000651: DUP3 00000652: ADD 00000653: MSTORE 00000654: PUSH1 0x64 00000656: ADD 00000657: JUMPDEST 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: DUP1 0000065c: SWAP2 0000065d: SUB 0000065e: SWAP1 0000065f: REVERT 00000660: JUMPDEST 00000661: PUSH1 0x01 00000663: PUSH1 0x01 00000665: PUSH1 0xa0 00000667: SHL 00000668: SUB 00000669: SWAP2 0000066a: SWAP1 0000066b: SWAP2 0000066c: AND 0000066d: PUSH0 0000066e: SWAP1 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x05 00000673: PUSH1 0x20 00000675: MSTORE 00000676: PUSH1 0x40 00000678: SWAP1 00000679: KECCAK256 0000067a: DUP1 0000067b: SLOAD 0000067c: PUSH1 0xff 0000067e: NOT 0000067f: AND 00000680: SWAP2 00000681: ISZERO 00000682: ISZERO 00000683: SWAP2 00000684: SWAP1 00000685: SWAP2 00000686: OR 00000687: SWAP1 00000688: SSTORE 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH2 0x0692 0000068e: PUSH2 0x11d6 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH1 0x01 00000695: PUSH1 0x01 00000697: PUSH1 0xa0 00000699: SHL 0000069a: SUB 0000069b: SWAP1 0000069c: SWAP2 0000069d: AND 0000069e: PUSH0 0000069f: SWAP1 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x09 000006a4: PUSH1 0x20 000006a6: MSTORE 000006a7: PUSH1 0x40 000006a9: SWAP1 000006aa: KECCAK256 000006ab: SSTORE 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x06 000006b0: SLOAD 000006b1: PUSH1 0x01 000006b3: PUSH1 0x01 000006b5: PUSH1 0xa0 000006b7: SHL 000006b8: SUB 000006b9: AND 000006ba: CALLER 000006bb: EQ 000006bc: PUSH2 0x06ec 000006bf: JUMPI 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: PUSH3 0x461bcd 000006c7: PUSH1 0xe5 000006c9: SHL 000006ca: DUP2 000006cb: MSTORE 000006cc: PUSH1 0x20 000006ce: PUSH1 0x04 000006d0: DUP3 000006d1: ADD 000006d2: MSTORE 000006d3: PUSH1 0x02 000006d5: PUSH1 0x24 000006d7: DUP3 000006d8: ADD 000006d9: MSTORE 000006da: PUSH2 0x06f7 000006dd: PUSH1 0xf4 000006df: SHL 000006e0: PUSH1 0x44 000006e2: DUP3 000006e3: ADD 000006e4: MSTORE 000006e5: PUSH1 0x64 000006e7: ADD 000006e8: PUSH2 0x0657 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH1 0x06 000006ef: SLOAD 000006f0: PUSH1 0x01 000006f2: PUSH1 0xa0 000006f4: SHL 000006f5: SWAP1 000006f6: DIV 000006f7: PUSH1 0xff 000006f9: AND 000006fa: PUSH2 0x0733 000006fd: JUMPI 000006fe: PUSH1 0x40 00000700: MLOAD 00000701: PUSH3 0x461bcd 00000705: PUSH1 0xe5 00000707: SHL 00000708: DUP2 00000709: MSTORE 0000070a: PUSH1 0x20 0000070c: PUSH1 0x04 0000070e: DUP3 0000070f: ADD 00000710: MSTORE 00000711: PUSH1 0x0b 00000713: PUSH1 0x24 00000715: DUP3 00000716: ADD 00000717: MSTORE 00000718: PUSH11 0x1b9bdd08185b1b1bddd959 00000724: PUSH1 0xaa 00000726: SHL 00000727: PUSH1 0x44 00000729: DUP3 0000072a: ADD 0000072b: MSTORE 0000072c: PUSH1 0x64 0000072e: ADD 0000072f: PUSH2 0x0657 00000732: JUMP 00000733: JUMPDEST 00000734: DUP3 00000735: PUSH1 0x01 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: SHL 0000073c: SUB 0000073d: DUP2 0000073e: AND 0000073f: PUSH2 0x07a7 00000742: JUMPI 00000743: PUSH1 0x01 00000745: PUSH1 0x01 00000747: PUSH1 0xa0 00000749: SHL 0000074a: SUB 0000074b: DUP2 0000074c: AND 0000074d: PUSH0 0000074e: SWAP1 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x09 00000753: PUSH1 0x20 00000755: MSTORE 00000756: PUSH1 0x40 00000758: SWAP1 00000759: KECCAK256 0000075a: SLOAD 0000075b: SELFBALANCE 0000075c: GT 0000075d: PUSH2 0x07a2 00000760: JUMPI 00000761: PUSH1 0x40 00000763: MLOAD 00000764: PUSH3 0x461bcd 00000768: PUSH1 0xe5 0000076a: SHL 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x20 0000076f: PUSH1 0x04 00000771: DUP3 00000772: ADD 00000773: MSTORE 00000774: PUSH1 0x17 00000776: PUSH1 0x24 00000778: DUP3 00000779: ADD 0000077a: MSTORE 0000077b: PUSH23 0x383937ba32b1ba32b21031b7b73a30b1ba1030b236b4b7 00000793: PUSH1 0x49 00000795: SHL 00000796: PUSH1 0x44 00000798: DUP3 00000799: ADD 0000079a: MSTORE 0000079b: PUSH1 0x64 0000079d: ADD 0000079e: PUSH2 0x0657 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH2 0x0865 000007a6: JUMP 000007a7: JUMPDEST 000007a8: PUSH1 0x01 000007aa: PUSH1 0x01 000007ac: PUSH1 0xa0 000007ae: SHL 000007af: SUB 000007b0: DUP2 000007b1: AND 000007b2: PUSH0 000007b3: DUP2 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x09 000007b8: PUSH1 0x20 000007ba: MSTORE 000007bb: PUSH1 0x40 000007bd: SWAP1 000007be: DUP2 000007bf: SWAP1 000007c0: KECCAK256 000007c1: SLOAD 000007c2: SWAP1 000007c3: MLOAD 000007c4: PUSH4 0x70a08231 000007c9: PUSH1 0xe0 000007cb: SHL 000007cc: DUP2 000007cd: MSTORE 000007ce: ADDRESS 000007cf: PUSH1 0x04 000007d1: DUP3 000007d2: ADD 000007d3: MSTORE 000007d4: SWAP1 000007d5: SWAP2 000007d6: SWAP1 000007d7: PUSH4 0x70a08231 000007dc: SWAP1 000007dd: PUSH1 0x24 000007df: ADD 000007e0: PUSH1 0x20 000007e2: PUSH1 0x40 000007e4: MLOAD 000007e5: DUP1 000007e6: DUP4 000007e7: SUB 000007e8: DUP2 000007e9: DUP7 000007ea: GAS 000007eb: STATICCALL 000007ec: ISZERO 000007ed: DUP1 000007ee: ISZERO 000007ef: PUSH2 0x07fa 000007f2: JUMPI 000007f3: RETURNDATASIZE 000007f4: PUSH0 000007f5: DUP1 000007f6: RETURNDATACOPY 000007f7: RETURNDATASIZE 000007f8: PUSH0 000007f9: REVERT 000007fa: JUMPDEST 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: POP 000007ff: PUSH1 0x40 00000801: MLOAD 00000802: RETURNDATASIZE 00000803: PUSH1 0x1f 00000805: NOT 00000806: PUSH1 0x1f 00000808: DUP3 00000809: ADD 0000080a: AND 0000080b: DUP3 0000080c: ADD 0000080d: DUP1 0000080e: PUSH1 0x40 00000810: MSTORE 00000811: POP 00000812: DUP2 00000813: ADD 00000814: SWAP1 00000815: PUSH2 0x081e 00000818: SWAP2 00000819: SWAP1 0000081a: PUSH2 0x1763 0000081d: JUMP 0000081e: JUMPDEST 0000081f: GT 00000820: PUSH2 0x0865 00000823: JUMPI 00000824: PUSH1 0x40 00000826: MLOAD 00000827: PUSH3 0x461bcd 0000082b: PUSH1 0xe5 0000082d: SHL 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x20 00000832: PUSH1 0x04 00000834: DUP3 00000835: ADD 00000836: MSTORE 00000837: PUSH1 0x17 00000839: PUSH1 0x24 0000083b: DUP3 0000083c: ADD 0000083d: MSTORE 0000083e: PUSH23 0x383937ba32b1ba32b21031b7b73a30b1ba1030b236b4b7 00000856: PUSH1 0x49 00000858: SHL 00000859: PUSH1 0x44 0000085b: DUP3 0000085c: ADD 0000085d: MSTORE 0000085e: PUSH1 0x64 00000860: ADD 00000861: PUSH2 0x0657 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x07 00000868: SLOAD 00000869: PUSH1 0x01 0000086b: PUSH1 0x01 0000086d: PUSH1 0xa0 0000086f: SHL 00000870: SUB 00000871: DUP5 00000872: AND 00000873: PUSH0 00000874: SWAP1 00000875: DUP2 00000876: MSTORE 00000877: PUSH1 0x0a 00000879: PUSH1 0x20 0000087b: MSTORE 0000087c: PUSH1 0x40 0000087e: SWAP1 0000087f: KECCAK256 00000880: SLOAD 00000881: TIMESTAMP 00000882: SWAP2 00000883: PUSH2 0x088b 00000886: SWAP2 00000887: PUSH2 0x177a 0000088a: JUMP 0000088b: JUMPDEST 0000088c: LT 0000088d: PUSH2 0x08c8 00000890: JUMPI 00000891: PUSH1 0x40 00000893: MLOAD 00000894: PUSH3 0x461bcd 00000898: PUSH1 0xe5 0000089a: SHL 0000089b: DUP2 0000089c: MSTORE 0000089d: PUSH1 0x20 0000089f: PUSH1 0x04 000008a1: DUP3 000008a2: ADD 000008a3: MSTORE 000008a4: PUSH1 0x0d 000008a6: PUSH1 0x24 000008a8: DUP3 000008a9: ADD 000008aa: MSTORE 000008ab: PUSH13 0x3bb0b4ba2337b9213ab33332b9 000008b9: PUSH1 0x99 000008bb: SHL 000008bc: PUSH1 0x44 000008be: DUP3 000008bf: ADD 000008c0: MSTORE 000008c1: PUSH1 0x64 000008c3: ADD 000008c4: PUSH2 0x0657 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x01 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: SHL 000008d0: SUB 000008d1: DUP1 000008d2: DUP5 000008d3: AND 000008d4: PUSH0 000008d5: SWAP1 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x0a 000008da: PUSH1 0x20 000008dc: SWAP1 000008dd: DUP2 000008de: MSTORE 000008df: PUSH1 0x40 000008e1: DUP1 000008e2: DUP4 000008e3: KECCAK256 000008e4: TIMESTAMP 000008e5: SWAP1 000008e6: SSTORE 000008e7: SWAP3 000008e8: DUP8 000008e9: AND 000008ea: DUP3 000008eb: MSTORE 000008ec: PUSH1 0x08 000008ee: SWAP1 000008ef: MSTORE 000008f0: KECCAK256 000008f1: SLOAD 000008f2: ISZERO 000008f3: DUP1 000008f4: ISZERO 000008f5: SWAP1 000008f6: PUSH2 0x0915 000008f9: JUMPI 000008fa: POP 000008fb: PUSH1 0x01 000008fd: PUSH1 0x01 000008ff: PUSH1 0xa0 00000901: SHL 00000902: SUB 00000903: DUP5 00000904: AND 00000905: PUSH0 00000906: SWAP1 00000907: DUP2 00000908: MSTORE 00000909: PUSH1 0x08 0000090b: PUSH1 0x20 0000090d: MSTORE 0000090e: PUSH1 0x40 00000910: SWAP1 00000911: KECCAK256 00000912: SLOAD 00000913: DUP3 00000914: LT 00000915: JUMPDEST 00000916: PUSH2 0x094a 00000919: JUMPI 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: PUSH3 0x461bcd 00000921: PUSH1 0xe5 00000923: SHL 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x04 00000928: ADD 00000929: PUSH2 0x0657 0000092c: SWAP1 0000092d: PUSH1 0x20 0000092f: DUP1 00000930: DUP3 00000931: MSTORE 00000932: PUSH1 0x04 00000934: SWAP1 00000935: DUP3 00000936: ADD 00000937: MSTORE 00000938: PUSH4 0x07cdac2f 0000093d: PUSH1 0xe3 0000093f: SHL 00000940: PUSH1 0x40 00000942: DUP3 00000943: ADD 00000944: MSTORE 00000945: PUSH1 0x60 00000947: ADD 00000948: SWAP1 00000949: JUMP 0000094a: JUMPDEST 0000094b: PUSH2 0x0955 0000094e: DUP5 0000094f: DUP5 00000950: DUP5 00000951: PUSH2 0x1202 00000954: JUMP 00000955: JUMPDEST 00000956: POP 00000957: POP 00000958: POP 00000959: POP 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH2 0x0963 0000095f: PUSH2 0x11d6 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x04 00000966: DUP1 00000967: SLOAD 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xa0 0000096e: SHL 0000096f: SUB 00000970: NOT 00000971: AND 00000972: PUSH1 0x01 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: SHL 00000979: SUB 0000097a: SWAP3 0000097b: SWAP1 0000097c: SWAP3 0000097d: AND 0000097e: SWAP2 0000097f: SWAP1 00000980: SWAP2 00000981: OR 00000982: SWAP1 00000983: SSTORE 00000984: JUMP 00000985: JUMPDEST 00000986: PUSH1 0x40 00000988: MLOAD 00000989: CALLVALUE 0000098a: DUP2 0000098b: MSTORE 0000098c: PUSH32 0x8f994303aff947d2e9ae343f23cffd7561a5c9e10faf48c09c35953f384e0ebd 000009ad: SWAP1 000009ae: PUSH1 0x20 000009b0: ADD 000009b1: PUSH1 0x40 000009b3: MLOAD 000009b4: DUP1 000009b5: SWAP2 000009b6: SUB 000009b7: SWAP1 000009b8: LOG1 000009b9: JUMP 000009ba: JUMPDEST 000009bb: PUSH2 0x09cf 000009be: PUSH1 0x01 000009c0: PUSH1 0x01 000009c2: PUSH1 0xa0 000009c4: SHL 000009c5: SUB 000009c6: DUP9 000009c7: AND 000009c8: CALLER 000009c9: ADDRESS 000009ca: DUP8 000009cb: PUSH2 0x122e 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH1 0x01 000009d2: SLOAD 000009d3: PUSH1 0x01 000009d5: PUSH1 0x01 000009d7: PUSH1 0xa0 000009d9: SHL 000009da: SUB 000009db: DUP7 000009dc: DUP2 000009dd: AND 000009de: SWAP2 000009df: AND 000009e0: EQ 000009e1: DUP1 000009e2: PUSH2 0x09f8 000009e5: JUMPI 000009e6: POP 000009e7: PUSH1 0x02 000009e9: SLOAD 000009ea: PUSH1 0x01 000009ec: PUSH1 0x01 000009ee: PUSH1 0xa0 000009f0: SHL 000009f1: SUB 000009f2: DUP7 000009f3: DUP2 000009f4: AND 000009f5: SWAP2 000009f6: AND 000009f7: EQ 000009f8: JUMPDEST 000009f9: PUSH2 0x0a14 000009fc: JUMPI 000009fd: PUSH1 0x40 000009ff: MLOAD 00000a00: PUSH3 0x461bcd 00000a04: PUSH1 0xe5 00000a06: SHL 00000a07: DUP2 00000a08: MSTORE 00000a09: PUSH1 0x04 00000a0b: ADD 00000a0c: PUSH2 0x0657 00000a0f: SWAP1 00000a10: PUSH2 0x1799 00000a13: JUMP 00000a14: JUMPDEST 00000a15: PUSH1 0x04 00000a17: DUP1 00000a18: SLOAD 00000a19: PUSH1 0x40 00000a1b: MLOAD 00000a1c: PUSH4 0x095ea7b3 00000a21: PUSH1 0xe0 00000a23: SHL 00000a24: DUP2 00000a25: MSTORE 00000a26: PUSH1 0x01 00000a28: PUSH1 0x01 00000a2a: PUSH1 0xa0 00000a2c: SHL 00000a2d: SUB 00000a2e: SWAP2 00000a2f: DUP3 00000a30: AND 00000a31: SWAP3 00000a32: DUP2 00000a33: ADD 00000a34: SWAP3 00000a35: SWAP1 00000a36: SWAP3 00000a37: MSTORE 00000a38: PUSH1 0x24 00000a3a: DUP3 00000a3b: ADD 00000a3c: DUP7 00000a3d: SWAP1 00000a3e: MSTORE 00000a3f: DUP9 00000a40: AND 00000a41: SWAP1 00000a42: PUSH4 0x095ea7b3 00000a47: SWAP1 00000a48: PUSH1 0x44 00000a4a: ADD 00000a4b: PUSH1 0x20 00000a4d: PUSH1 0x40 00000a4f: MLOAD 00000a50: DUP1 00000a51: DUP4 00000a52: SUB 00000a53: DUP2 00000a54: PUSH0 00000a55: DUP8 00000a56: GAS 00000a57: CALL 00000a58: ISZERO 00000a59: DUP1 00000a5a: ISZERO 00000a5b: PUSH2 0x0a66 00000a5e: JUMPI 00000a5f: RETURNDATASIZE 00000a60: PUSH0 00000a61: DUP1 00000a62: RETURNDATACOPY 00000a63: RETURNDATASIZE 00000a64: PUSH0 00000a65: REVERT 00000a66: JUMPDEST 00000a67: POP 00000a68: POP 00000a69: POP 00000a6a: POP 00000a6b: PUSH1 0x40 00000a6d: MLOAD 00000a6e: RETURNDATASIZE 00000a6f: PUSH1 0x1f 00000a71: NOT 00000a72: PUSH1 0x1f 00000a74: DUP3 00000a75: ADD 00000a76: AND 00000a77: DUP3 00000a78: ADD 00000a79: DUP1 00000a7a: PUSH1 0x40 00000a7c: MSTORE 00000a7d: POP 00000a7e: DUP2 00000a7f: ADD 00000a80: SWAP1 00000a81: PUSH2 0x0a8a 00000a84: SWAP2 00000a85: SWAP1 00000a86: PUSH2 0x17c9 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: POP 00000a8c: PUSH1 0x40 00000a8e: DUP1 00000a8f: MLOAD 00000a90: PUSH1 0x80 00000a92: DUP2 00000a93: ADD 00000a94: DUP3 00000a95: MSTORE 00000a96: PUSH12 0xffffffffffffffffffffffff 00000aa3: NOT 00000aa4: PUSH1 0x60 00000aa6: DUP11 00000aa7: DUP2 00000aa8: SHL 00000aa9: DUP3 00000aaa: AND 00000aab: PUSH1 0xa0 00000aad: DUP5 00000aae: ADD 00000aaf: MSTORE 00000ab0: PUSH1 0x01 00000ab2: PUSH1 0x01 00000ab4: PUSH1 0xe8 00000ab6: SHL 00000ab7: SUB 00000ab8: NOT 00000ab9: PUSH1 0xe8 00000abb: DUP8 00000abc: DUP2 00000abd: SHL 00000abe: DUP3 00000abf: AND 00000ac0: PUSH1 0xb4 00000ac2: DUP7 00000ac3: ADD 00000ac4: MSTORE 00000ac5: DUP12 00000ac6: DUP4 00000ac7: SHL 00000ac8: DUP5 00000ac9: AND 00000aca: PUSH1 0xb7 00000acc: DUP7 00000acd: ADD 00000ace: MSTORE 00000acf: DUP7 00000ad0: SWAP1 00000ad1: SHL 00000ad2: AND 00000ad3: PUSH1 0xcb 00000ad5: DUP5 00000ad6: ADD 00000ad7: MSTORE 00000ad8: DUP9 00000ad9: DUP2 00000ada: SHL 00000adb: SWAP1 00000adc: SWAP2 00000add: AND 00000ade: PUSH1 0xce 00000ae0: DUP4 00000ae1: ADD 00000ae2: MSTORE 00000ae3: DUP3 00000ae4: MLOAD 00000ae5: DUP1 00000ae6: DUP4 00000ae7: SUB 00000ae8: PUSH1 0xc2 00000aea: ADD 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0xe2 00000aef: DUP4 00000af0: ADD 00000af1: DUP5 00000af2: MSTORE 00000af3: DUP3 00000af4: MSTORE 00000af5: ADDRESS 00000af6: PUSH1 0x20 00000af8: DUP4 00000af9: ADD 00000afa: MSTORE 00000afb: DUP2 00000afc: DUP4 00000afd: ADD 00000afe: DUP8 00000aff: SWAP1 00000b00: MSTORE 00000b01: DUP2 00000b02: ADD 00000b03: DUP6 00000b04: SWAP1 00000b05: MSTORE 00000b06: PUSH1 0x04 00000b08: DUP1 00000b09: SLOAD 00000b0a: SWAP3 00000b0b: MLOAD 00000b0c: PUSH4 0xb858183f 00000b11: PUSH1 0xe0 00000b13: SHL 00000b14: DUP2 00000b15: MSTORE 00000b16: SWAP2 00000b17: SWAP3 00000b18: PUSH0 00000b19: SWAP3 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0x01 00000b1e: PUSH1 0xa0 00000b20: SHL 00000b21: SUB 00000b22: SWAP1 00000b23: SWAP2 00000b24: AND 00000b25: SWAP2 00000b26: PUSH4 0xb858183f 00000b2b: SWAP2 00000b2c: PUSH2 0x0b37 00000b2f: SWAP2 00000b30: DUP7 00000b31: SWAP2 00000b32: ADD 00000b33: PUSH2 0x1806 00000b36: JUMP 00000b37: JUMPDEST 00000b38: PUSH1 0x20 00000b3a: PUSH1 0x40 00000b3c: MLOAD 00000b3d: DUP1 00000b3e: DUP4 00000b3f: SUB 00000b40: DUP2 00000b41: PUSH0 00000b42: DUP8 00000b43: GAS 00000b44: CALL 00000b45: ISZERO 00000b46: DUP1 00000b47: ISZERO 00000b48: PUSH2 0x0b53 00000b4b: JUMPI 00000b4c: RETURNDATASIZE 00000b4d: PUSH0 00000b4e: DUP1 00000b4f: RETURNDATACOPY 00000b50: RETURNDATASIZE 00000b51: PUSH0 00000b52: REVERT 00000b53: JUMPDEST 00000b54: POP 00000b55: POP 00000b56: POP 00000b57: POP 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: RETURNDATASIZE 00000b5c: PUSH1 0x1f 00000b5e: NOT 00000b5f: PUSH1 0x1f 00000b61: DUP3 00000b62: ADD 00000b63: AND 00000b64: DUP3 00000b65: ADD 00000b66: DUP1 00000b67: PUSH1 0x40 00000b69: MSTORE 00000b6a: POP 00000b6b: DUP2 00000b6c: ADD 00000b6d: SWAP1 00000b6e: PUSH2 0x0b77 00000b71: SWAP2 00000b72: SWAP1 00000b73: PUSH2 0x1763 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: SWAP1 00000b7c: SWAP2 00000b7d: POP 00000b7e: PUSH1 0x01 00000b80: PUSH1 0x01 00000b82: PUSH1 0xa0 00000b84: SHL 00000b85: SUB 00000b86: DUP9 00000b87: AND 00000b88: SWAP1 00000b89: DUP3 00000b8a: SWAP1 00000b8b: CALLER 00000b8c: SWAP1 00000b8d: PUSH0 00000b8e: DUP1 00000b8f: MLOAD 00000b90: PUSH1 0x20 00000b92: PUSH2 0x18e5 00000b95: DUP4 00000b96: CODECOPY 00000b97: DUP2 00000b98: MLOAD 00000b99: SWAP2 00000b9a: MSTORE 00000b9b: SWAP1 00000b9c: PUSH0 00000b9d: SWAP1 00000b9e: LOG4 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: POP 00000ba7: POP 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH2 0x0bb1 00000bad: PUSH2 0x11d6 00000bb0: JUMP 00000bb1: JUMPDEST 00000bb2: PUSH2 0x0bba 00000bb5: PUSH0 00000bb6: PUSH2 0x1295 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH2 0x0bc4 00000bc0: PUSH2 0x11d6 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: PUSH1 0x01 00000bc7: PUSH1 0x01 00000bc9: PUSH1 0xa0 00000bcb: SHL 00000bcc: SUB 00000bcd: SWAP1 00000bce: SWAP2 00000bcf: AND 00000bd0: PUSH0 00000bd1: SWAP1 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x08 00000bd6: PUSH1 0x20 00000bd8: MSTORE 00000bd9: PUSH1 0x40 00000bdb: SWAP1 00000bdc: KECCAK256 00000bdd: SSTORE 00000bde: JUMP 00000bdf: JUMPDEST 00000be0: PUSH2 0x0bf4 00000be3: PUSH1 0x01 00000be5: PUSH1 0x01 00000be7: PUSH1 0xa0 00000be9: SHL 00000bea: SUB 00000beb: DUP7 00000bec: AND 00000bed: CALLER 00000bee: ADDRESS 00000bef: DUP7 00000bf0: PUSH2 0x122e 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x01 00000bf7: SLOAD 00000bf8: PUSH1 0x01 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0xa0 00000bfe: SHL 00000bff: SUB 00000c00: DUP6 00000c01: DUP2 00000c02: AND 00000c03: SWAP2 00000c04: AND 00000c05: EQ 00000c06: DUP1 00000c07: PUSH2 0x0c1d 00000c0a: JUMPI 00000c0b: POP 00000c0c: PUSH1 0x02 00000c0e: SLOAD 00000c0f: PUSH1 0x01 00000c11: PUSH1 0x01 00000c13: PUSH1 0xa0 00000c15: SHL 00000c16: SUB 00000c17: DUP6 00000c18: DUP2 00000c19: AND 00000c1a: SWAP2 00000c1b: AND 00000c1c: EQ 00000c1d: JUMPDEST 00000c1e: PUSH2 0x0c39 00000c21: JUMPI 00000c22: PUSH1 0x40 00000c24: MLOAD 00000c25: PUSH3 0x461bcd 00000c29: PUSH1 0xe5 00000c2b: SHL 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x04 00000c30: ADD 00000c31: PUSH2 0x0657 00000c34: SWAP1 00000c35: PUSH2 0x1799 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: PUSH1 0x04 00000c3c: DUP1 00000c3d: SLOAD 00000c3e: PUSH1 0x40 00000c40: MLOAD 00000c41: PUSH4 0x095ea7b3 00000c46: PUSH1 0xe0 00000c48: SHL 00000c49: DUP2 00000c4a: MSTORE 00000c4b: PUSH1 0x01 00000c4d: PUSH1 0x01 00000c4f: PUSH1 0xa0 00000c51: SHL 00000c52: SUB 00000c53: SWAP2 00000c54: DUP3 00000c55: AND 00000c56: SWAP3 00000c57: DUP2 00000c58: ADD 00000c59: SWAP3 00000c5a: SWAP1 00000c5b: SWAP3 00000c5c: MSTORE 00000c5d: PUSH1 0x24 00000c5f: DUP3 00000c60: ADD 00000c61: DUP6 00000c62: SWAP1 00000c63: MSTORE 00000c64: DUP7 00000c65: AND 00000c66: SWAP1 00000c67: PUSH4 0x095ea7b3 00000c6c: SWAP1 00000c6d: PUSH1 0x44 00000c6f: ADD 00000c70: PUSH1 0x20 00000c72: PUSH1 0x40 00000c74: MLOAD 00000c75: DUP1 00000c76: DUP4 00000c77: SUB 00000c78: DUP2 00000c79: PUSH0 00000c7a: DUP8 00000c7b: GAS 00000c7c: CALL 00000c7d: ISZERO 00000c7e: DUP1 00000c7f: ISZERO 00000c80: PUSH2 0x0c8b 00000c83: JUMPI 00000c84: RETURNDATASIZE 00000c85: PUSH0 00000c86: DUP1 00000c87: RETURNDATACOPY 00000c88: RETURNDATASIZE 00000c89: PUSH0 00000c8a: REVERT 00000c8b: JUMPDEST 00000c8c: POP 00000c8d: POP 00000c8e: POP 00000c8f: POP 00000c90: PUSH1 0x40 00000c92: MLOAD 00000c93: RETURNDATASIZE 00000c94: PUSH1 0x1f 00000c96: NOT 00000c97: PUSH1 0x1f 00000c99: DUP3 00000c9a: ADD 00000c9b: AND 00000c9c: DUP3 00000c9d: ADD 00000c9e: DUP1 00000c9f: PUSH1 0x40 00000ca1: MSTORE 00000ca2: POP 00000ca3: DUP2 00000ca4: ADD 00000ca5: SWAP1 00000ca6: PUSH2 0x0caf 00000ca9: SWAP2 00000caa: SWAP1 00000cab: PUSH2 0x17c9 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: POP 00000cb1: PUSH1 0x40 00000cb3: DUP1 00000cb4: MLOAD 00000cb5: PUSH1 0xe0 00000cb7: DUP2 00000cb8: ADD 00000cb9: DUP3 00000cba: MSTORE 00000cbb: PUSH1 0x01 00000cbd: PUSH1 0x01 00000cbf: PUSH1 0xa0 00000cc1: SHL 00000cc2: SUB 00000cc3: DUP1 00000cc4: DUP9 00000cc5: AND 00000cc6: DUP3 00000cc7: MSTORE 00000cc8: DUP7 00000cc9: DUP2 00000cca: AND 00000ccb: PUSH1 0x20 00000ccd: DUP4 00000cce: ADD 00000ccf: MSTORE 00000cd0: PUSH3 0xffffff 00000cd4: DUP5 00000cd5: AND 00000cd6: DUP3 00000cd7: DUP5 00000cd8: ADD 00000cd9: MSTORE 00000cda: ADDRESS 00000cdb: PUSH1 0x60 00000cdd: DUP4 00000cde: ADD 00000cdf: MSTORE 00000ce0: PUSH1 0x80 00000ce2: DUP3 00000ce3: ADD 00000ce4: DUP7 00000ce5: SWAP1 00000ce6: MSTORE 00000ce7: PUSH1 0xa0 00000ce9: DUP3 00000cea: ADD 00000ceb: DUP6 00000cec: SWAP1 00000ced: MSTORE 00000cee: PUSH0 00000cef: PUSH1 0xc0 00000cf1: DUP4 00000cf2: ADD 00000cf3: DUP2 00000cf4: SWAP1 00000cf5: MSTORE 00000cf6: PUSH1 0x04 00000cf8: DUP1 00000cf9: SLOAD 00000cfa: SWAP5 00000cfb: MLOAD 00000cfc: PUSH4 0x04e45aaf 00000d01: PUSH1 0xe0 00000d03: SHL 00000d04: DUP2 00000d05: MSTORE 00000d06: SWAP4 00000d07: SWAP5 00000d08: SWAP2 00000d09: SWAP4 00000d0a: SWAP2 00000d0b: SWAP1 00000d0c: SWAP3 00000d0d: AND 00000d0e: SWAP2 00000d0f: PUSH4 0x04e45aaf 00000d14: SWAP2 00000d15: PUSH2 0x0d20 00000d18: SWAP2 00000d19: DUP7 00000d1a: SWAP2 00000d1b: ADD 00000d1c: PUSH2 0x186b 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x20 00000d23: PUSH1 0x40 00000d25: MLOAD 00000d26: DUP1 00000d27: DUP4 00000d28: SUB 00000d29: DUP2 00000d2a: PUSH0 00000d2b: DUP8 00000d2c: GAS 00000d2d: CALL 00000d2e: ISZERO 00000d2f: DUP1 00000d30: ISZERO 00000d31: PUSH2 0x0d3c 00000d34: JUMPI 00000d35: RETURNDATASIZE 00000d36: PUSH0 00000d37: DUP1 00000d38: RETURNDATACOPY 00000d39: RETURNDATASIZE 00000d3a: PUSH0 00000d3b: REVERT 00000d3c: JUMPDEST 00000d3d: POP 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: RETURNDATASIZE 00000d45: PUSH1 0x1f 00000d47: NOT 00000d48: PUSH1 0x1f 00000d4a: DUP3 00000d4b: ADD 00000d4c: AND 00000d4d: DUP3 00000d4e: ADD 00000d4f: DUP1 00000d50: PUSH1 0x40 00000d52: MSTORE 00000d53: POP 00000d54: DUP2 00000d55: ADD 00000d56: SWAP1 00000d57: PUSH2 0x0d60 00000d5a: SWAP2 00000d5b: SWAP1 00000d5c: PUSH2 0x1763 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x40 00000d63: MLOAD 00000d64: SWAP1 00000d65: SWAP2 00000d66: POP 00000d67: PUSH1 0x01 00000d69: PUSH1 0x01 00000d6b: PUSH1 0xa0 00000d6d: SHL 00000d6e: SUB 00000d6f: DUP8 00000d70: AND 00000d71: SWAP1 00000d72: DUP3 00000d73: SWAP1 00000d74: CALLER 00000d75: SWAP1 00000d76: PUSH0 00000d77: DUP1 00000d78: MLOAD 00000d79: PUSH1 0x20 00000d7b: PUSH2 0x18e5 00000d7e: DUP4 00000d7f: CODECOPY 00000d80: DUP2 00000d81: MLOAD 00000d82: SWAP2 00000d83: MSTORE 00000d84: SWAP1 00000d85: PUSH0 00000d86: SWAP1 00000d87: LOG4 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: POP 00000d8c: POP 00000d8d: POP 00000d8e: POP 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH2 0x0d98 00000d94: PUSH2 0x11d6 00000d97: JUMP 00000d98: JUMPDEST 00000d99: PUSH1 0x03 00000d9b: DUP1 00000d9c: SLOAD 00000d9d: SWAP2 00000d9e: ISZERO 00000d9f: ISZERO 00000da0: PUSH1 0x01 00000da2: PUSH1 0xa0 00000da4: SHL 00000da5: MUL 00000da6: PUSH1 0xff 00000da8: PUSH1 0xa0 00000daa: SHL 00000dab: NOT 00000dac: SWAP1 00000dad: SWAP3 00000dae: AND 00000daf: SWAP2 00000db0: SWAP1 00000db1: SWAP2 00000db2: OR 00000db3: SWAP1 00000db4: SSTORE 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH2 0x0dbe 00000dba: PUSH2 0x11d6 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH2 0x0dc9 00000dc2: DUP4 00000dc3: DUP4 00000dc4: DUP4 00000dc5: PUSH2 0x1202 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: JUMP 00000dce: JUMPDEST 00000dcf: PUSH1 0x03 00000dd1: SLOAD 00000dd2: PUSH1 0x01 00000dd4: PUSH1 0xa0 00000dd6: SHL 00000dd7: SWAP1 00000dd8: DIV 00000dd9: PUSH1 0xff 00000ddb: AND 00000ddc: PUSH2 0x0e1d 00000ddf: JUMPI 00000de0: PUSH1 0x40 00000de2: MLOAD 00000de3: PUSH3 0x461bcd 00000de7: PUSH1 0xe5 00000de9: SHL 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x20 00000dee: PUSH1 0x04 00000df0: DUP3 00000df1: ADD 00000df2: MSTORE 00000df3: PUSH1 0x13 00000df5: PUSH1 0x24 00000df7: DUP3 00000df8: ADD 00000df9: MSTORE 00000dfa: PUSH19 0x1b985d1a5d99481b9bdd081858d8d95c1d1959 00000e0e: PUSH1 0x6a 00000e10: SHL 00000e11: PUSH1 0x44 00000e13: DUP3 00000e14: ADD 00000e15: MSTORE 00000e16: PUSH1 0x64 00000e18: ADD 00000e19: PUSH2 0x0657 00000e1c: JUMP 00000e1d: JUMPDEST 00000e1e: PUSH1 0x40 00000e20: MLOAD 00000e21: CALLVALUE 00000e22: SWAP1 00000e23: CALLER 00000e24: SWAP1 00000e25: PUSH32 0xe96dd7a15a3974e8e7d5eb80de2cb6fd69907a1ee089170cd976cfffaedfa8ac 00000e46: SWAP1 00000e47: PUSH0 00000e48: SWAP1 00000e49: LOG3 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: PUSH2 0x0e53 00000e4f: PUSH2 0x11d6 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH2 0x0e6e 00000e57: DUP3 00000e58: PUSH2 0x0e68 00000e5b: PUSH0 00000e5c: SLOAD 00000e5d: PUSH1 0x01 00000e5f: PUSH1 0x01 00000e61: PUSH1 0xa0 00000e63: SHL 00000e64: SUB 00000e65: AND 00000e66: SWAP1 00000e67: JUMP 00000e68: JUMPDEST 00000e69: DUP4 00000e6a: PUSH2 0x1202 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: POP 00000e70: POP 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH2 0x0e7a 00000e76: PUSH2 0x11d6 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH1 0x01 00000e7d: PUSH1 0x01 00000e7f: PUSH1 0xa0 00000e81: SHL 00000e82: SUB 00000e83: DUP2 00000e84: AND 00000e85: PUSH2 0x0ec4 00000e88: JUMPI 00000e89: PUSH1 0x40 00000e8b: MLOAD 00000e8c: PUSH3 0x461bcd 00000e90: PUSH1 0xe5 00000e92: SHL 00000e93: DUP2 00000e94: MSTORE 00000e95: PUSH1 0x20 00000e97: PUSH1 0x04 00000e99: DUP3 00000e9a: ADD 00000e9b: MSTORE 00000e9c: PUSH1 0x11 00000e9e: PUSH1 0x24 00000ea0: DUP3 00000ea1: ADD 00000ea2: MSTORE 00000ea3: PUSH17 0x063616e742062652061646472657373203 00000eb5: PUSH1 0x7c 00000eb7: SHL 00000eb8: PUSH1 0x44 00000eba: DUP3 00000ebb: ADD 00000ebc: MSTORE 00000ebd: PUSH1 0x64 00000ebf: ADD 00000ec0: PUSH2 0x0657 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: PUSH1 0x06 00000ec7: DUP1 00000ec8: SLOAD 00000ec9: PUSH1 0x01 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0xa0 00000ecf: SHL 00000ed0: SUB 00000ed1: NOT 00000ed2: AND 00000ed3: PUSH1 0x01 00000ed5: PUSH1 0x01 00000ed7: PUSH1 0xa0 00000ed9: SHL 00000eda: SUB 00000edb: SWAP3 00000edc: SWAP1 00000edd: SWAP3 00000ede: AND 00000edf: SWAP2 00000ee0: SWAP1 00000ee1: SWAP2 00000ee2: OR 00000ee3: SWAP1 00000ee4: SSTORE 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: PUSH1 0x06 00000ee9: SLOAD 00000eea: PUSH0 00000eeb: SWAP1 00000eec: PUSH1 0x01 00000eee: PUSH1 0xa0 00000ef0: SHL 00000ef1: SWAP1 00000ef2: DIV 00000ef3: PUSH1 0xff 00000ef5: AND 00000ef6: PUSH2 0x0f00 00000ef9: JUMPI 00000efa: POP 00000efb: PUSH0 00000efc: PUSH2 0x0f98 00000eff: JUMP 00000f00: JUMPDEST 00000f01: PUSH1 0x06 00000f03: SLOAD 00000f04: PUSH1 0x01 00000f06: PUSH1 0x01 00000f08: PUSH1 0xa0 00000f0a: SHL 00000f0b: SUB 00000f0c: AND 00000f0d: CALLER 00000f0e: EQ 00000f0f: PUSH2 0x0f19 00000f12: JUMPI 00000f13: POP 00000f14: PUSH0 00000f15: PUSH2 0x0f98 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: PUSH1 0x07 00000f1c: SLOAD 00000f1d: PUSH1 0x01 00000f1f: PUSH1 0x01 00000f21: PUSH1 0xa0 00000f23: SHL 00000f24: SUB 00000f25: DUP5 00000f26: AND 00000f27: PUSH0 00000f28: SWAP1 00000f29: DUP2 00000f2a: MSTORE 00000f2b: PUSH1 0x0a 00000f2d: PUSH1 0x20 00000f2f: MSTORE 00000f30: PUSH1 0x40 00000f32: SWAP1 00000f33: KECCAK256 00000f34: SLOAD 00000f35: TIMESTAMP 00000f36: SWAP2 00000f37: PUSH2 0x0f3f 00000f3a: SWAP2 00000f3b: PUSH2 0x177a 00000f3e: JUMP 00000f3f: JUMPDEST 00000f40: GT 00000f41: ISZERO 00000f42: PUSH2 0x0f4c 00000f45: JUMPI 00000f46: POP 00000f47: PUSH0 00000f48: PUSH2 0x0f98 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH1 0x01 00000f4f: PUSH1 0x01 00000f51: PUSH1 0xa0 00000f53: SHL 00000f54: SUB 00000f55: DUP5 00000f56: AND 00000f57: PUSH0 00000f58: SWAP1 00000f59: DUP2 00000f5a: MSTORE 00000f5b: PUSH1 0x08 00000f5d: PUSH1 0x20 00000f5f: MSTORE 00000f60: PUSH1 0x40 00000f62: SWAP1 00000f63: KECCAK256 00000f64: SLOAD 00000f65: ISZERO 00000f66: DUP1 00000f67: ISZERO 00000f68: SWAP1 00000f69: PUSH2 0x0f88 00000f6c: JUMPI 00000f6d: POP 00000f6e: PUSH1 0x01 00000f70: PUSH1 0x01 00000f72: PUSH1 0xa0 00000f74: SHL 00000f75: SUB 00000f76: DUP5 00000f77: AND 00000f78: PUSH0 00000f79: SWAP1 00000f7a: DUP2 00000f7b: MSTORE 00000f7c: PUSH1 0x08 00000f7e: PUSH1 0x20 00000f80: MSTORE 00000f81: PUSH1 0x40 00000f83: SWAP1 00000f84: KECCAK256 00000f85: SLOAD 00000f86: DUP3 00000f87: GT 00000f88: JUMPDEST 00000f89: ISZERO 00000f8a: PUSH2 0x0f94 00000f8d: JUMPI 00000f8e: POP 00000f8f: PUSH0 00000f90: PUSH2 0x0f98 00000f93: JUMP 00000f94: JUMPDEST 00000f95: POP 00000f96: PUSH1 0x01 00000f98: JUMPDEST 00000f99: SWAP4 00000f9a: SWAP3 00000f9b: POP 00000f9c: POP 00000f9d: POP 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH1 0x01 00000fa2: PUSH1 0x01 00000fa4: PUSH1 0xa0 00000fa6: SHL 00000fa7: SUB 00000fa8: DUP3 00000fa9: AND 00000faa: PUSH0 00000fab: SWAP1 00000fac: DUP2 00000fad: MSTORE 00000fae: PUSH1 0x05 00000fb0: PUSH1 0x20 00000fb2: MSTORE 00000fb3: PUSH1 0x40 00000fb5: SWAP1 00000fb6: KECCAK256 00000fb7: SLOAD 00000fb8: PUSH1 0xff 00000fba: AND 00000fbb: PUSH2 0x0ffb 00000fbe: JUMPI 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: PUSH3 0x461bcd 00000fc6: PUSH1 0xe5 00000fc8: SHL 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: PUSH1 0x04 00000fcf: DUP3 00000fd0: ADD 00000fd1: MSTORE 00000fd2: PUSH1 0x12 00000fd4: PUSH1 0x24 00000fd6: DUP3 00000fd7: ADD 00000fd8: MSTORE 00000fd9: PUSH18 0x1d1bdad95b881b9bdd081858d8d95c1d1959 00000fec: PUSH1 0x72 00000fee: SHL 00000fef: PUSH1 0x44 00000ff1: DUP3 00000ff2: ADD 00000ff3: MSTORE 00000ff4: PUSH1 0x64 00000ff6: ADD 00000ff7: PUSH2 0x0657 00000ffa: JUMP 00000ffb: JUMPDEST 00000ffc: PUSH2 0x1010 00000fff: PUSH1 0x01 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: SHL 00001006: SUB 00001007: DUP4 00001008: AND 00001009: CALLER 0000100a: ADDRESS 0000100b: DUP5 0000100c: PUSH2 0x122e 0000100f: JUMP 00001010: JUMPDEST 00001011: PUSH1 0x40 00001013: MLOAD 00001014: PUSH1 0x01 00001016: PUSH1 0x01 00001018: PUSH1 0xa0 0000101a: SHL 0000101b: SUB 0000101c: DUP4 0000101d: AND 0000101e: SWAP1 0000101f: DUP3 00001020: SWAP1 00001021: CALLER 00001022: SWAP1 00001023: PUSH0 00001024: DUP1 00001025: MLOAD 00001026: PUSH1 0x20 00001028: PUSH2 0x18e5 0000102b: DUP4 0000102c: CODECOPY 0000102d: DUP2 0000102e: MLOAD 0000102f: SWAP2 00001030: MSTORE 00001031: SWAP1 00001032: PUSH0 00001033: SWAP1 00001034: LOG4 00001035: POP 00001036: POP 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH1 0x01 0000103b: SLOAD 0000103c: PUSH1 0x01 0000103e: PUSH1 0x01 00001040: PUSH1 0xa0 00001042: SHL 00001043: SUB 00001044: DUP5 00001045: DUP2 00001046: AND 00001047: SWAP2 00001048: AND 00001049: EQ 0000104a: DUP1 0000104b: PUSH2 0x1061 0000104e: JUMPI 0000104f: POP 00001050: PUSH1 0x02 00001052: SLOAD 00001053: PUSH1 0x01 00001055: PUSH1 0x01 00001057: PUSH1 0xa0 00001059: SHL 0000105a: SUB 0000105b: DUP5 0000105c: DUP2 0000105d: AND 0000105e: SWAP2 0000105f: AND 00001060: EQ 00001061: JUMPDEST 00001062: PUSH2 0x107d 00001065: JUMPI 00001066: PUSH1 0x40 00001068: MLOAD 00001069: PUSH3 0x461bcd 0000106d: PUSH1 0xe5 0000106f: SHL 00001070: DUP2 00001071: MSTORE 00001072: PUSH1 0x04 00001074: ADD 00001075: PUSH2 0x0657 00001078: SWAP1 00001079: PUSH2 0x1799 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH1 0x40 00001080: DUP1 00001081: MLOAD 00001082: PUSH1 0xe0 00001084: DUP2 00001085: ADD 00001086: DUP3 00001087: MSTORE 00001088: PUSH1 0x03 0000108a: SLOAD 0000108b: PUSH1 0x01 0000108d: PUSH1 0x01 0000108f: PUSH1 0xa0 00001091: SHL 00001092: SUB 00001093: SWAP1 00001094: DUP2 00001095: AND 00001096: DUP3 00001097: MSTORE 00001098: DUP6 00001099: DUP2 0000109a: AND 0000109b: PUSH1 0x20 0000109d: DUP4 0000109e: ADD 0000109f: MSTORE 000010a0: PUSH3 0xffffff 000010a4: DUP5 000010a5: AND 000010a6: DUP3 000010a7: DUP5 000010a8: ADD 000010a9: MSTORE 000010aa: ADDRESS 000010ab: PUSH1 0x60 000010ad: DUP4 000010ae: ADD 000010af: MSTORE 000010b0: CALLVALUE 000010b1: PUSH1 0x80 000010b3: DUP4 000010b4: ADD 000010b5: DUP2 000010b6: SWAP1 000010b7: MSTORE 000010b8: PUSH1 0xa0 000010ba: DUP4 000010bb: ADD 000010bc: DUP7 000010bd: SWAP1 000010be: MSTORE 000010bf: PUSH0 000010c0: PUSH1 0xc0 000010c2: DUP5 000010c3: ADD 000010c4: DUP2 000010c5: SWAP1 000010c6: MSTORE 000010c7: PUSH1 0x04 000010c9: DUP1 000010ca: SLOAD 000010cb: SWAP6 000010cc: MLOAD 000010cd: PUSH4 0x04e45aaf 000010d2: PUSH1 0xe0 000010d4: SHL 000010d5: DUP2 000010d6: MSTORE 000010d7: SWAP5 000010d8: SWAP6 000010d9: SWAP2 000010da: SWAP5 000010db: SWAP2 000010dc: SWAP1 000010dd: SWAP4 000010de: AND 000010df: SWAP3 000010e0: PUSH4 0x04e45aaf 000010e5: SWAP3 000010e6: SWAP2 000010e7: PUSH2 0x10f2 000010ea: SWAP2 000010eb: DUP8 000010ec: SWAP2 000010ed: ADD 000010ee: PUSH2 0x186b 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH1 0x20 000010f5: PUSH1 0x40 000010f7: MLOAD 000010f8: DUP1 000010f9: DUP4 000010fa: SUB 000010fb: DUP2 000010fc: DUP6 000010fd: DUP9 000010fe: GAS 000010ff: CALL 00001100: ISZERO 00001101: DUP1 00001102: ISZERO 00001103: PUSH2 0x110e 00001106: JUMPI 00001107: RETURNDATASIZE 00001108: PUSH0 00001109: DUP1 0000110a: RETURNDATACOPY 0000110b: RETURNDATASIZE 0000110c: PUSH0 0000110d: REVERT 0000110e: JUMPDEST 0000110f: POP 00001110: POP 00001111: POP 00001112: POP 00001113: POP 00001114: PUSH1 0x40 00001116: MLOAD 00001117: RETURNDATASIZE 00001118: PUSH1 0x1f 0000111a: NOT 0000111b: PUSH1 0x1f 0000111d: DUP3 0000111e: ADD 0000111f: AND 00001120: DUP3 00001121: ADD 00001122: DUP1 00001123: PUSH1 0x40 00001125: MSTORE 00001126: POP 00001127: DUP2 00001128: ADD 00001129: SWAP1 0000112a: PUSH2 0x1133 0000112d: SWAP2 0000112e: SWAP1 0000112f: PUSH2 0x1763 00001132: JUMP 00001133: JUMPDEST 00001134: PUSH1 0x40 00001136: MLOAD 00001137: SWAP1 00001138: SWAP2 00001139: POP 0000113a: PUSH1 0x01 0000113c: PUSH1 0x01 0000113e: PUSH1 0xa0 00001140: SHL 00001141: SUB 00001142: DUP7 00001143: AND 00001144: SWAP1 00001145: DUP3 00001146: SWAP1 00001147: CALLER 00001148: SWAP1 00001149: PUSH0 0000114a: DUP1 0000114b: MLOAD 0000114c: PUSH1 0x20 0000114e: PUSH2 0x18e5 00001151: DUP4 00001152: CODECOPY 00001153: DUP2 00001154: MLOAD 00001155: SWAP2 00001156: MSTORE 00001157: SWAP1 00001158: PUSH0 00001159: SWAP1 0000115a: LOG4 0000115b: POP 0000115c: POP 0000115d: POP 0000115e: POP 0000115f: POP 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH2 0x1169 00001165: PUSH2 0x11d6 00001168: JUMP 00001169: JUMPDEST 0000116a: PUSH1 0x01 0000116c: PUSH1 0x01 0000116e: PUSH1 0xa0 00001170: SHL 00001171: SUB 00001172: DUP2 00001173: AND 00001174: PUSH2 0x1192 00001177: JUMPI 00001178: PUSH1 0x40 0000117a: MLOAD 0000117b: PUSH4 0x1e4fbdf7 00001180: PUSH1 0xe0 00001182: SHL 00001183: DUP2 00001184: MSTORE 00001185: PUSH0 00001186: PUSH1 0x04 00001188: DUP3 00001189: ADD 0000118a: MSTORE 0000118b: PUSH1 0x24 0000118d: ADD 0000118e: PUSH2 0x0657 00001191: JUMP 00001192: JUMPDEST 00001193: PUSH2 0x119b 00001196: DUP2 00001197: PUSH2 0x1295 0000119a: JUMP 0000119b: JUMPDEST 0000119c: POP 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH2 0x11a6 000011a2: PUSH2 0x11d6 000011a5: JUMP 000011a6: JUMPDEST 000011a7: PUSH2 0x119b 000011aa: CALLER 000011ab: DUP3 000011ac: PUSH2 0x12e4 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH2 0x11b8 000011b4: PUSH2 0x11d6 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH1 0x06 000011bb: DUP1 000011bc: SLOAD 000011bd: SWAP2 000011be: ISZERO 000011bf: ISZERO 000011c0: PUSH1 0x01 000011c2: PUSH1 0xa0 000011c4: SHL 000011c5: MUL 000011c6: PUSH1 0xff 000011c8: PUSH1 0xa0 000011ca: SHL 000011cb: NOT 000011cc: SWAP1 000011cd: SWAP3 000011ce: AND 000011cf: SWAP2 000011d0: SWAP1 000011d1: SWAP2 000011d2: OR 000011d3: SWAP1 000011d4: SSTORE 000011d5: JUMP 000011d6: JUMPDEST 000011d7: PUSH0 000011d8: SLOAD 000011d9: PUSH1 0x01 000011db: PUSH1 0x01 000011dd: PUSH1 0xa0 000011df: SHL 000011e0: SUB 000011e1: AND 000011e2: CALLER 000011e3: EQ 000011e4: PUSH2 0x0bba 000011e7: JUMPI 000011e8: PUSH1 0x40 000011ea: MLOAD 000011eb: PUSH4 0x118cdaa7 000011f0: PUSH1 0xe0 000011f2: SHL 000011f3: DUP2 000011f4: MSTORE 000011f5: CALLER 000011f6: PUSH1 0x04 000011f8: DUP3 000011f9: ADD 000011fa: MSTORE 000011fb: PUSH1 0x24 000011fd: ADD 000011fe: PUSH2 0x0657 00001201: JUMP 00001202: JUMPDEST 00001203: PUSH1 0x01 00001205: PUSH1 0x01 00001207: PUSH1 0xa0 00001209: SHL 0000120a: SUB 0000120b: DUP4 0000120c: AND 0000120d: PUSH2 0x121a 00001210: JUMPI 00001211: PUSH2 0x0dc9 00001214: DUP3 00001215: DUP3 00001216: PUSH2 0x12e4 00001219: JUMP 0000121a: JUMPDEST 0000121b: PUSH2 0x0dc9 0000121e: PUSH1 0x01 00001220: PUSH1 0x01 00001222: PUSH1 0xa0 00001224: SHL 00001225: SUB 00001226: DUP5 00001227: AND 00001228: DUP4 00001229: DUP4 0000122a: PUSH2 0x1383 0000122d: JUMP 0000122e: JUMPDEST 0000122f: PUSH1 0x40 00001231: MLOAD 00001232: PUSH1 0x01 00001234: PUSH1 0x01 00001236: PUSH1 0xa0 00001238: SHL 00001239: SUB 0000123a: DUP5 0000123b: DUP2 0000123c: AND 0000123d: PUSH1 0x24 0000123f: DUP4 00001240: ADD 00001241: MSTORE 00001242: DUP4 00001243: DUP2 00001244: AND 00001245: PUSH1 0x44 00001247: DUP4 00001248: ADD 00001249: MSTORE 0000124a: PUSH1 0x64 0000124c: DUP3 0000124d: ADD 0000124e: DUP4 0000124f: SWAP1 00001250: MSTORE 00001251: PUSH2 0x0955 00001254: SWAP2 00001255: DUP7 00001256: SWAP2 00001257: DUP3 00001258: AND 00001259: SWAP1 0000125a: PUSH4 0x23b872dd 0000125f: SWAP1 00001260: PUSH1 0x84 00001262: ADD 00001263: JUMPDEST 00001264: PUSH1 0x40 00001266: MLOAD 00001267: PUSH1 0x20 00001269: DUP2 0000126a: DUP4 0000126b: SUB 0000126c: SUB 0000126d: DUP2 0000126e: MSTORE 0000126f: SWAP1 00001270: PUSH1 0x40 00001272: MSTORE 00001273: SWAP2 00001274: POP 00001275: PUSH1 0xe0 00001277: SHL 00001278: PUSH1 0x20 0000127a: DUP3 0000127b: ADD 0000127c: DUP1 0000127d: MLOAD 0000127e: PUSH1 0x01 00001280: PUSH1 0x01 00001282: PUSH1 0xe0 00001284: SHL 00001285: SUB 00001286: DUP4 00001287: DUP2 00001288: DUP4 00001289: AND 0000128a: OR 0000128b: DUP4 0000128c: MSTORE 0000128d: POP 0000128e: POP 0000128f: POP 00001290: POP 00001291: PUSH2 0x13b4 00001294: JUMP 00001295: JUMPDEST 00001296: PUSH0 00001297: DUP1 00001298: SLOAD 00001299: PUSH1 0x01 0000129b: PUSH1 0x01 0000129d: PUSH1 0xa0 0000129f: SHL 000012a0: SUB 000012a1: DUP4 000012a2: DUP2 000012a3: AND 000012a4: PUSH1 0x01 000012a6: PUSH1 0x01 000012a8: PUSH1 0xa0 000012aa: SHL 000012ab: SUB 000012ac: NOT 000012ad: DUP4 000012ae: AND 000012af: DUP2 000012b0: OR 000012b1: DUP5 000012b2: SSTORE 000012b3: PUSH1 0x40 000012b5: MLOAD 000012b6: SWAP2 000012b7: SWAP1 000012b8: SWAP3 000012b9: AND 000012ba: SWAP3 000012bb: DUP4 000012bc: SWAP2 000012bd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000012de: SWAP2 000012df: SWAP1 000012e0: LOG3 000012e1: POP 000012e2: POP 000012e3: JUMP 000012e4: JUMPDEST 000012e5: PUSH0 000012e6: DUP3 000012e7: PUSH1 0x01 000012e9: PUSH1 0x01 000012eb: PUSH1 0xa0 000012ed: SHL 000012ee: SUB 000012ef: AND 000012f0: DUP3 000012f1: PUSH1 0x40 000012f3: MLOAD 000012f4: PUSH0 000012f5: PUSH1 0x40 000012f7: MLOAD 000012f8: DUP1 000012f9: DUP4 000012fa: SUB 000012fb: DUP2 000012fc: DUP6 000012fd: DUP8 000012fe: GAS 000012ff: CALL 00001300: SWAP3 00001301: POP 00001302: POP 00001303: POP 00001304: RETURNDATASIZE 00001305: DUP1 00001306: PUSH0 00001307: DUP2 00001308: EQ 00001309: PUSH2 0x132d 0000130c: JUMPI 0000130d: PUSH1 0x40 0000130f: MLOAD 00001310: SWAP2 00001311: POP 00001312: PUSH1 0x1f 00001314: NOT 00001315: PUSH1 0x3f 00001317: RETURNDATASIZE 00001318: ADD 00001319: AND 0000131a: DUP3 0000131b: ADD 0000131c: PUSH1 0x40 0000131e: MSTORE 0000131f: RETURNDATASIZE 00001320: DUP3 00001321: MSTORE 00001322: RETURNDATASIZE 00001323: PUSH0 00001324: PUSH1 0x20 00001326: DUP5 00001327: ADD 00001328: RETURNDATACOPY 00001329: PUSH2 0x1332 0000132c: JUMP 0000132d: JUMPDEST 0000132e: PUSH1 0x60 00001330: SWAP2 00001331: POP 00001332: JUMPDEST 00001333: POP 00001334: POP 00001335: SWAP1 00001336: POP 00001337: DUP1 00001338: PUSH2 0x0dc9 0000133b: JUMPI 0000133c: PUSH1 0x40 0000133e: MLOAD 0000133f: PUSH3 0x461bcd 00001343: PUSH1 0xe5 00001345: SHL 00001346: DUP2 00001347: MSTORE 00001348: PUSH1 0x20 0000134a: PUSH1 0x04 0000134c: DUP3 0000134d: ADD 0000134e: MSTORE 0000134f: PUSH1 0x1f 00001351: PUSH1 0x24 00001353: DUP3 00001354: ADD 00001355: MSTORE 00001356: PUSH32 0x5472616e7366657248656c7065723a205452414e534645525f4641494c454400 00001377: PUSH1 0x44 00001379: DUP3 0000137a: ADD 0000137b: MSTORE 0000137c: PUSH1 0x64 0000137e: ADD 0000137f: PUSH2 0x0657 00001382: JUMP 00001383: JUMPDEST 00001384: PUSH1 0x40 00001386: MLOAD 00001387: PUSH1 0x01 00001389: PUSH1 0x01 0000138b: PUSH1 0xa0 0000138d: SHL 0000138e: SUB 0000138f: DUP4 00001390: DUP2 00001391: AND 00001392: PUSH1 0x24 00001394: DUP4 00001395: ADD 00001396: MSTORE 00001397: PUSH1 0x44 00001399: DUP3 0000139a: ADD 0000139b: DUP4 0000139c: SWAP1 0000139d: MSTORE 0000139e: PUSH2 0x0dc9 000013a1: SWAP2 000013a2: DUP6 000013a3: SWAP2 000013a4: DUP3 000013a5: AND 000013a6: SWAP1 000013a7: PUSH4 0xa9059cbb 000013ac: SWAP1 000013ad: PUSH1 0x64 000013af: ADD 000013b0: PUSH2 0x1263 000013b3: JUMP 000013b4: JUMPDEST 000013b5: PUSH0 000013b6: PUSH2 0x13c8 000013b9: PUSH1 0x01 000013bb: PUSH1 0x01 000013bd: PUSH1 0xa0 000013bf: SHL 000013c0: SUB 000013c1: DUP5 000013c2: AND 000013c3: DUP4 000013c4: PUSH2 0x1415 000013c7: JUMP 000013c8: JUMPDEST 000013c9: SWAP1 000013ca: POP 000013cb: DUP1 000013cc: MLOAD 000013cd: PUSH0 000013ce: EQ 000013cf: ISZERO 000013d0: DUP1 000013d1: ISZERO 000013d2: PUSH2 0x13ec 000013d5: JUMPI 000013d6: POP 000013d7: DUP1 000013d8: DUP1 000013d9: PUSH1 0x20 000013db: ADD 000013dc: SWAP1 000013dd: MLOAD 000013de: DUP2 000013df: ADD 000013e0: SWAP1 000013e1: PUSH2 0x13ea 000013e4: SWAP2 000013e5: SWAP1 000013e6: PUSH2 0x17c9 000013e9: JUMP 000013ea: JUMPDEST 000013eb: ISZERO 000013ec: JUMPDEST 000013ed: ISZERO 000013ee: PUSH2 0x0dc9 000013f1: JUMPI 000013f2: PUSH1 0x40 000013f4: MLOAD 000013f5: PUSH4 0x5274afe7 000013fa: PUSH1 0xe0 000013fc: SHL 000013fd: DUP2 000013fe: MSTORE 000013ff: PUSH1 0x01 00001401: PUSH1 0x01 00001403: PUSH1 0xa0 00001405: SHL 00001406: SUB 00001407: DUP5 00001408: AND 00001409: PUSH1 0x04 0000140b: DUP3 0000140c: ADD 0000140d: MSTORE 0000140e: PUSH1 0x24 00001410: ADD 00001411: PUSH2 0x0657 00001414: JUMP 00001415: JUMPDEST 00001416: PUSH1 0x60 00001418: PUSH2 0x1422 0000141b: DUP4 0000141c: DUP4 0000141d: PUSH0 0000141e: PUSH2 0x142b 00001421: JUMP 00001422: JUMPDEST 00001423: SWAP1 00001424: POP 00001425: JUMPDEST 00001426: SWAP3 00001427: SWAP2 00001428: POP 00001429: POP 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x60 0000142e: DUP2 0000142f: SELFBALANCE 00001430: LT 00001431: ISZERO 00001432: PUSH2 0x1450 00001435: JUMPI 00001436: PUSH1 0x40 00001438: MLOAD 00001439: PUSH4 0xcd786059 0000143e: PUSH1 0xe0 00001440: SHL 00001441: DUP2 00001442: MSTORE 00001443: ADDRESS 00001444: PUSH1 0x04 00001446: DUP3 00001447: ADD 00001448: MSTORE 00001449: PUSH1 0x24 0000144b: ADD 0000144c: PUSH2 0x0657 0000144f: JUMP 00001450: JUMPDEST 00001451: PUSH0 00001452: DUP1 00001453: DUP6 00001454: PUSH1 0x01 00001456: PUSH1 0x01 00001458: PUSH1 0xa0 0000145a: SHL 0000145b: SUB 0000145c: AND 0000145d: DUP5 0000145e: DUP7 0000145f: PUSH1 0x40 00001461: MLOAD 00001462: PUSH2 0x146b 00001465: SWAP2 00001466: SWAP1 00001467: PUSH2 0x18c9 0000146a: JUMP 0000146b: JUMPDEST 0000146c: PUSH0 0000146d: PUSH1 0x40 0000146f: MLOAD 00001470: DUP1 00001471: DUP4 00001472: SUB 00001473: DUP2 00001474: DUP6 00001475: DUP8 00001476: GAS 00001477: CALL 00001478: SWAP3 00001479: POP 0000147a: POP 0000147b: POP 0000147c: RETURNDATASIZE 0000147d: DUP1 0000147e: PUSH0 0000147f: DUP2 00001480: EQ 00001481: PUSH2 0x14a5 00001484: JUMPI 00001485: PUSH1 0x40 00001487: MLOAD 00001488: SWAP2 00001489: POP 0000148a: PUSH1 0x1f 0000148c: NOT 0000148d: PUSH1 0x3f 0000148f: RETURNDATASIZE 00001490: ADD 00001491: AND 00001492: DUP3 00001493: ADD 00001494: PUSH1 0x40 00001496: MSTORE 00001497: RETURNDATASIZE 00001498: DUP3 00001499: MSTORE 0000149a: RETURNDATASIZE 0000149b: PUSH0 0000149c: PUSH1 0x20 0000149e: DUP5 0000149f: ADD 000014a0: RETURNDATACOPY 000014a1: PUSH2 0x14aa 000014a4: JUMP 000014a5: JUMPDEST 000014a6: PUSH1 0x60 000014a8: SWAP2 000014a9: POP 000014aa: JUMPDEST 000014ab: POP 000014ac: SWAP2 000014ad: POP 000014ae: SWAP2 000014af: POP 000014b0: PUSH2 0x14ba 000014b3: DUP7 000014b4: DUP4 000014b5: DUP4 000014b6: PUSH2 0x14c4 000014b9: JUMP 000014ba: JUMPDEST 000014bb: SWAP7 000014bc: SWAP6 000014bd: POP 000014be: POP 000014bf: POP 000014c0: POP 000014c1: POP 000014c2: POP 000014c3: JUMP 000014c4: JUMPDEST 000014c5: PUSH1 0x60 000014c7: DUP3 000014c8: PUSH2 0x14d9 000014cb: JUMPI 000014cc: PUSH2 0x14d4 000014cf: DUP3 000014d0: PUSH2 0x1520 000014d3: JUMP 000014d4: JUMPDEST 000014d5: PUSH2 0x0f98 000014d8: JUMP 000014d9: JUMPDEST 000014da: DUP2 000014db: MLOAD 000014dc: ISZERO 000014dd: DUP1 000014de: ISZERO 000014df: PUSH2 0x14f0 000014e2: JUMPI 000014e3: POP 000014e4: PUSH1 0x01 000014e6: PUSH1 0x01 000014e8: PUSH1 0xa0 000014ea: SHL 000014eb: SUB 000014ec: DUP5 000014ed: AND 000014ee: EXTCODESIZE 000014ef: ISZERO 000014f0: JUMPDEST 000014f1: ISZERO 000014f2: PUSH2 0x1519 000014f5: JUMPI 000014f6: PUSH1 0x40 000014f8: MLOAD 000014f9: PUSH4 0x9996b315 000014fe: PUSH1 0xe0 00001500: SHL 00001501: DUP2 00001502: MSTORE 00001503: PUSH1 0x01 00001505: PUSH1 0x01 00001507: PUSH1 0xa0 00001509: SHL 0000150a: SUB 0000150b: DUP6 0000150c: AND 0000150d: PUSH1 0x04 0000150f: DUP3 00001510: ADD 00001511: MSTORE 00001512: PUSH1 0x24 00001514: ADD 00001515: PUSH2 0x0657 00001518: JUMP 00001519: JUMPDEST 0000151a: POP 0000151b: DUP1 0000151c: PUSH2 0x0f98 0000151f: JUMP 00001520: JUMPDEST 00001521: DUP1 00001522: MLOAD 00001523: ISZERO 00001524: PUSH2 0x1530 00001527: JUMPI 00001528: DUP1 00001529: MLOAD 0000152a: DUP1 0000152b: DUP3 0000152c: PUSH1 0x20 0000152e: ADD 0000152f: REVERT 00001530: JUMPDEST 00001531: PUSH1 0x40 00001533: MLOAD 00001534: PUSH4 0x0a12f521 00001539: PUSH1 0xe1 0000153b: SHL 0000153c: DUP2 0000153d: MSTORE 0000153e: PUSH1 0x04 00001540: ADD 00001541: PUSH1 0x40 00001543: MLOAD 00001544: DUP1 00001545: SWAP2 00001546: SUB 00001547: SWAP1 00001548: REVERT 00001549: JUMPDEST 0000154a: DUP1 0000154b: CALLDATALOAD 0000154c: PUSH1 0x01 0000154e: PUSH1 0x01 00001550: PUSH1 0xa0 00001552: SHL 00001553: SUB 00001554: DUP2 00001555: AND 00001556: DUP2 00001557: EQ 00001558: PUSH2 0x155f 0000155b: JUMPI 0000155c: PUSH0 0000155d: DUP1 0000155e: REVERT 0000155f: JUMPDEST 00001560: SWAP2 00001561: SWAP1 00001562: POP 00001563: JUMP 00001564: JUMPDEST 00001565: DUP1 00001566: ISZERO 00001567: ISZERO 00001568: DUP2 00001569: EQ 0000156a: PUSH2 0x119b 0000156d: JUMPI 0000156e: PUSH0 0000156f: DUP1 00001570: REVERT 00001571: JUMPDEST 00001572: PUSH0 00001573: DUP1 00001574: PUSH1 0x40 00001576: DUP4 00001577: DUP6 00001578: SUB 00001579: SLT 0000157a: ISZERO 0000157b: PUSH2 0x1582 0000157e: JUMPI 0000157f: PUSH0 00001580: DUP1 00001581: REVERT 00001582: JUMPDEST 00001583: PUSH2 0x158b 00001586: DUP4 00001587: PUSH2 0x1549 0000158a: JUMP 0000158b: JUMPDEST 0000158c: SWAP2 0000158d: POP 0000158e: PUSH1 0x20 00001590: DUP4 00001591: ADD 00001592: CALLDATALOAD 00001593: PUSH2 0x159b 00001596: DUP2 00001597: PUSH2 0x1564 0000159a: JUMP 0000159b: JUMPDEST 0000159c: DUP1 0000159d: SWAP2 0000159e: POP 0000159f: POP 000015a0: SWAP3 000015a1: POP 000015a2: SWAP3 000015a3: SWAP1 000015a4: POP 000015a5: JUMP 000015a6: JUMPDEST 000015a7: PUSH0 000015a8: DUP1 000015a9: PUSH1 0x40 000015ab: DUP4 000015ac: DUP6 000015ad: SUB 000015ae: SLT 000015af: ISZERO 000015b0: PUSH2 0x15b7 000015b3: JUMPI 000015b4: PUSH0 000015b5: DUP1 000015b6: REVERT 000015b7: JUMPDEST 000015b8: PUSH2 0x15c0 000015bb: DUP4 000015bc: PUSH2 0x1549 000015bf: JUMP 000015c0: JUMPDEST 000015c1: SWAP5 000015c2: PUSH1 0x20 000015c4: SWAP4 000015c5: SWAP1 000015c6: SWAP4 000015c7: ADD 000015c8: CALLDATALOAD 000015c9: SWAP4 000015ca: POP 000015cb: POP 000015cc: POP 000015cd: JUMP 000015ce: JUMPDEST 000015cf: PUSH0 000015d0: DUP1 000015d1: PUSH0 000015d2: PUSH1 0x60 000015d4: DUP5 000015d5: DUP7 000015d6: SUB 000015d7: SLT 000015d8: ISZERO 000015d9: PUSH2 0x15e0 000015dc: JUMPI 000015dd: PUSH0 000015de: DUP1 000015df: REVERT 000015e0: JUMPDEST 000015e1: PUSH2 0x15e9 000015e4: DUP5 000015e5: PUSH2 0x1549 000015e8: JUMP 000015e9: JUMPDEST 000015ea: SWAP3 000015eb: POP 000015ec: PUSH2 0x15f7 000015ef: PUSH1 0x20 000015f1: DUP6 000015f2: ADD 000015f3: PUSH2 0x1549 000015f6: JUMP 000015f7: JUMPDEST 000015f8: SWAP2 000015f9: POP 000015fa: PUSH1 0x40 000015fc: DUP5 000015fd: ADD 000015fe: CALLDATALOAD 000015ff: SWAP1 00001600: POP 00001601: SWAP3 00001602: POP 00001603: SWAP3 00001604: POP 00001605: SWAP3 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH0 00001609: PUSH1 0x20 0000160b: DUP3 0000160c: DUP5 0000160d: SUB 0000160e: SLT 0000160f: ISZERO 00001610: PUSH2 0x1617 00001613: JUMPI 00001614: PUSH0 00001615: DUP1 00001616: REVERT 00001617: JUMPDEST 00001618: PUSH2 0x1422 0000161b: DUP3 0000161c: PUSH2 0x1549 0000161f: JUMP 00001620: JUMPDEST 00001621: DUP1 00001622: CALLDATALOAD 00001623: PUSH3 0xffffff 00001627: DUP2 00001628: AND 00001629: DUP2 0000162a: EQ 0000162b: PUSH2 0x155f 0000162e: JUMPI 0000162f: PUSH0 00001630: DUP1 00001631: REVERT 00001632: JUMPDEST 00001633: PUSH0 00001634: DUP1 00001635: PUSH0 00001636: DUP1 00001637: PUSH0 00001638: DUP1 00001639: PUSH0 0000163a: PUSH1 0xe0 0000163c: DUP9 0000163d: DUP11 0000163e: SUB 0000163f: SLT 00001640: ISZERO 00001641: PUSH2 0x1648 00001644: JUMPI 00001645: PUSH0 00001646: DUP1 00001647: REVERT 00001648: JUMPDEST 00001649: PUSH2 0x1651 0000164c: DUP9 0000164d: PUSH2 0x1549 00001650: JUMP 00001651: JUMPDEST 00001652: SWAP7 00001653: POP 00001654: PUSH2 0x165f 00001657: PUSH1 0x20 00001659: DUP10 0000165a: ADD 0000165b: PUSH2 0x1549 0000165e: JUMP 0000165f: JUMPDEST 00001660: SWAP6 00001661: POP 00001662: PUSH2 0x166d 00001665: PUSH1 0x40 00001667: DUP10 00001668: ADD 00001669: PUSH2 0x1549 0000166c: JUMP 0000166d: JUMPDEST 0000166e: SWAP5 0000166f: POP 00001670: PUSH1 0x60 00001672: DUP9 00001673: ADD 00001674: CALLDATALOAD 00001675: SWAP4 00001676: POP 00001677: PUSH1 0x80 00001679: DUP9 0000167a: ADD 0000167b: CALLDATALOAD 0000167c: SWAP3 0000167d: POP 0000167e: PUSH2 0x1689 00001681: PUSH1 0xa0 00001683: DUP10 00001684: ADD 00001685: PUSH2 0x1620 00001688: JUMP 00001689: JUMPDEST 0000168a: SWAP2 0000168b: POP 0000168c: PUSH2 0x1697 0000168f: PUSH1 0xc0 00001691: DUP10 00001692: ADD 00001693: PUSH2 0x1620 00001696: JUMP 00001697: JUMPDEST 00001698: SWAP1 00001699: POP 0000169a: SWAP3 0000169b: SWAP6 0000169c: SWAP9 0000169d: SWAP2 0000169e: SWAP5 0000169f: SWAP8 000016a0: POP 000016a1: SWAP3 000016a2: SWAP6 000016a3: POP 000016a4: JUMP 000016a5: JUMPDEST 000016a6: PUSH0 000016a7: DUP1 000016a8: PUSH0 000016a9: DUP1 000016aa: PUSH0 000016ab: PUSH1 0xa0 000016ad: DUP7 000016ae: DUP9 000016af: SUB 000016b0: SLT 000016b1: ISZERO 000016b2: PUSH2 0x16b9 000016b5: JUMPI 000016b6: PUSH0 000016b7: DUP1 000016b8: REVERT 000016b9: JUMPDEST 000016ba: PUSH2 0x16c2 000016bd: DUP7 000016be: PUSH2 0x1549 000016c1: JUMP 000016c2: JUMPDEST 000016c3: SWAP5 000016c4: POP 000016c5: PUSH2 0x16d0 000016c8: PUSH1 0x20 000016ca: DUP8 000016cb: ADD 000016cc: PUSH2 0x1549 000016cf: JUMP 000016d0: JUMPDEST 000016d1: SWAP4 000016d2: POP 000016d3: PUSH1 0x40 000016d5: DUP7 000016d6: ADD 000016d7: CALLDATALOAD 000016d8: SWAP3 000016d9: POP 000016da: PUSH1 0x60 000016dc: DUP7 000016dd: ADD 000016de: CALLDATALOAD 000016df: SWAP2 000016e0: POP 000016e1: PUSH2 0x16ec 000016e4: PUSH1 0x80 000016e6: DUP8 000016e7: ADD 000016e8: PUSH2 0x1620 000016eb: JUMP 000016ec: JUMPDEST 000016ed: SWAP1 000016ee: POP 000016ef: SWAP3 000016f0: SWAP6 000016f1: POP 000016f2: SWAP3 000016f3: SWAP6 000016f4: SWAP1 000016f5: SWAP4 000016f6: POP 000016f7: JUMP 000016f8: JUMPDEST 000016f9: PUSH0 000016fa: PUSH1 0x20 000016fc: DUP3 000016fd: DUP5 000016fe: SUB 000016ff: SLT 00001700: ISZERO 00001701: PUSH2 0x1708 00001704: JUMPI 00001705: PUSH0 00001706: DUP1 00001707: REVERT 00001708: JUMPDEST 00001709: DUP2 0000170a: CALLDATALOAD 0000170b: PUSH2 0x0f98 0000170e: DUP2 0000170f: PUSH2 0x1564 00001712: JUMP 00001713: JUMPDEST 00001714: PUSH0 00001715: DUP1 00001716: PUSH0 00001717: PUSH1 0x60 00001719: DUP5 0000171a: DUP7 0000171b: SUB 0000171c: SLT 0000171d: ISZERO 0000171e: PUSH2 0x1725 00001721: JUMPI 00001722: PUSH0 00001723: DUP1 00001724: REVERT 00001725: JUMPDEST 00001726: PUSH2 0x172e 00001729: DUP5 0000172a: PUSH2 0x1549 0000172d: JUMP 0000172e: JUMPDEST 0000172f: SWAP3 00001730: POP 00001731: PUSH1 0x20 00001733: DUP5 00001734: ADD 00001735: CALLDATALOAD 00001736: SWAP2 00001737: POP 00001738: PUSH2 0x1743 0000173b: PUSH1 0x40 0000173d: DUP6 0000173e: ADD 0000173f: PUSH2 0x1620 00001742: JUMP 00001743: JUMPDEST 00001744: SWAP1 00001745: POP 00001746: SWAP3 00001747: POP 00001748: SWAP3 00001749: POP 0000174a: SWAP3 0000174b: JUMP 0000174c: JUMPDEST 0000174d: PUSH0 0000174e: PUSH1 0x20 00001750: DUP3 00001751: DUP5 00001752: SUB 00001753: SLT 00001754: ISZERO 00001755: PUSH2 0x175c 00001758: JUMPI 00001759: PUSH0 0000175a: DUP1 0000175b: REVERT 0000175c: JUMPDEST 0000175d: POP 0000175e: CALLDATALOAD 0000175f: SWAP2 00001760: SWAP1 00001761: POP 00001762: JUMP 00001763: JUMPDEST 00001764: PUSH0 00001765: PUSH1 0x20 00001767: DUP3 00001768: DUP5 00001769: SUB 0000176a: SLT 0000176b: ISZERO 0000176c: PUSH2 0x1773 0000176f: JUMPI 00001770: PUSH0 00001771: DUP1 00001772: REVERT 00001773: JUMPDEST 00001774: POP 00001775: MLOAD 00001776: SWAP2 00001777: SWAP1 00001778: POP 00001779: JUMP 0000177a: JUMPDEST 0000177b: DUP1 0000177c: DUP3 0000177d: ADD 0000177e: DUP1 0000177f: DUP3 00001780: GT 00001781: ISZERO 00001782: PUSH2 0x1425 00001785: JUMPI 00001786: PUSH4 0x4e487b71 0000178b: PUSH1 0xe0 0000178d: SHL 0000178e: PUSH0 0000178f: MSTORE 00001790: PUSH1 0x11 00001792: PUSH1 0x04 00001794: MSTORE 00001795: PUSH1 0x24 00001797: PUSH0 00001798: REVERT 00001799: JUMPDEST 0000179a: PUSH1 0x20 0000179c: DUP1 0000179d: DUP3 0000179e: MSTORE 0000179f: PUSH1 0x16 000017a1: SWAP1 000017a2: DUP3 000017a3: ADD 000017a4: MSTORE 000017a5: PUSH22 0x18d85b9d0818dbdb9d995c9d081d1bc81d185c99d95d 000017bc: PUSH1 0x52 000017be: SHL 000017bf: PUSH1 0x40 000017c1: DUP3 000017c2: ADD 000017c3: MSTORE 000017c4: PUSH1 0x60 000017c6: ADD 000017c7: SWAP1 000017c8: JUMP 000017c9: JUMPDEST 000017ca: PUSH0 000017cb: PUSH1 0x20 000017cd: DUP3 000017ce: DUP5 000017cf: SUB 000017d0: SLT 000017d1: ISZERO 000017d2: PUSH2 0x17d9 000017d5: JUMPI 000017d6: PUSH0 000017d7: DUP1 000017d8: REVERT 000017d9: JUMPDEST 000017da: DUP2 000017db: MLOAD 000017dc: PUSH2 0x0f98 000017df: DUP2 000017e0: PUSH2 0x1564 000017e3: JUMP 000017e4: JUMPDEST 000017e5: PUSH0 000017e6: JUMPDEST 000017e7: DUP4 000017e8: DUP2 000017e9: LT 000017ea: ISZERO 000017eb: PUSH2 0x17fe 000017ee: JUMPI 000017ef: DUP2 000017f0: DUP2 000017f1: ADD 000017f2: MLOAD 000017f3: DUP4 000017f4: DUP3 000017f5: ADD 000017f6: MSTORE 000017f7: PUSH1 0x20 000017f9: ADD 000017fa: PUSH2 0x17e6 000017fd: JUMP 000017fe: JUMPDEST 000017ff: POP 00001800: POP 00001801: PUSH0 00001802: SWAP2 00001803: ADD 00001804: MSTORE 00001805: JUMP 00001806: JUMPDEST 00001807: PUSH1 0x20 00001809: DUP2 0000180a: MSTORE 0000180b: PUSH0 0000180c: DUP3 0000180d: MLOAD 0000180e: PUSH1 0x80 00001810: PUSH1 0x20 00001812: DUP5 00001813: ADD 00001814: MSTORE 00001815: DUP1 00001816: MLOAD 00001817: DUP1 00001818: PUSH1 0xa0 0000181a: DUP6 0000181b: ADD 0000181c: MSTORE 0000181d: PUSH2 0x182d 00001820: DUP2 00001821: PUSH1 0xc0 00001823: DUP7 00001824: ADD 00001825: PUSH1 0x20 00001827: DUP6 00001828: ADD 00001829: PUSH2 0x17e4 0000182c: JUMP 0000182d: JUMPDEST 0000182e: PUSH1 0x20 00001830: DUP6 00001831: ADD 00001832: MLOAD 00001833: PUSH1 0x01 00001835: PUSH1 0x01 00001837: PUSH1 0xa0 00001839: SHL 0000183a: SUB 0000183b: AND 0000183c: PUSH1 0x40 0000183e: DUP6 0000183f: DUP2 00001840: ADD 00001841: SWAP2 00001842: SWAP1 00001843: SWAP2 00001844: MSTORE 00001845: DUP6 00001846: ADD 00001847: MLOAD 00001848: PUSH1 0x60 0000184a: DUP1 0000184b: DUP7 0000184c: ADD 0000184d: SWAP2 0000184e: SWAP1 0000184f: SWAP2 00001850: MSTORE 00001851: SWAP1 00001852: SWAP5 00001853: ADD 00001854: MLOAD 00001855: PUSH1 0x80 00001857: DUP5 00001858: ADD 00001859: MSTORE 0000185a: POP 0000185b: POP 0000185c: PUSH1 0xc0 0000185e: PUSH1 0x1f 00001860: SWAP1 00001861: SWAP3 00001862: ADD 00001863: PUSH1 0x1f 00001865: NOT 00001866: AND 00001867: ADD 00001868: ADD 00001869: SWAP1 0000186a: JUMP 0000186b: JUMPDEST 0000186c: DUP2 0000186d: MLOAD 0000186e: PUSH1 0x01 00001870: PUSH1 0x01 00001872: PUSH1 0xa0 00001874: SHL 00001875: SUB 00001876: SWAP1 00001877: DUP2 00001878: AND 00001879: DUP3 0000187a: MSTORE 0000187b: PUSH1 0x20 0000187d: DUP1 0000187e: DUP5 0000187f: ADD 00001880: MLOAD 00001881: DUP3 00001882: AND 00001883: SWAP1 00001884: DUP4 00001885: ADD 00001886: MSTORE 00001887: PUSH1 0x40 00001889: DUP1 0000188a: DUP5 0000188b: ADD 0000188c: MLOAD 0000188d: PUSH3 0xffffff 00001891: AND 00001892: SWAP1 00001893: DUP4 00001894: ADD 00001895: MSTORE 00001896: PUSH1 0x60 00001898: DUP1 00001899: DUP5 0000189a: ADD 0000189b: MLOAD 0000189c: DUP3 0000189d: AND 0000189e: SWAP1 0000189f: DUP4 000018a0: ADD 000018a1: MSTORE 000018a2: PUSH1 0x80 000018a4: DUP1 000018a5: DUP5 000018a6: ADD 000018a7: MLOAD 000018a8: SWAP1 000018a9: DUP4 000018aa: ADD 000018ab: MSTORE 000018ac: PUSH1 0xa0 000018ae: DUP4 000018af: DUP2 000018b0: ADD 000018b1: MLOAD 000018b2: SWAP1 000018b3: DUP4 000018b4: ADD 000018b5: MSTORE 000018b6: PUSH1 0xc0 000018b8: SWAP3 000018b9: DUP4 000018ba: ADD 000018bb: MLOAD 000018bc: AND 000018bd: SWAP2 000018be: DUP2 000018bf: ADD 000018c0: SWAP2 000018c1: SWAP1 000018c2: SWAP2 000018c3: MSTORE 000018c4: PUSH1 0xe0 000018c6: ADD 000018c7: SWAP1 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH0 000018cb: DUP3 000018cc: MLOAD 000018cd: PUSH2 0x18da 000018d0: DUP2 000018d1: DUP5 000018d2: PUSH1 0x20 000018d4: DUP8 000018d5: ADD 000018d6: PUSH2 0x17e4 000018d9: JUMP 000018da: JUMPDEST 000018db: SWAP2 000018dc: SWAP1 000018dd: SWAP2 000018de: ADD 000018df: SWAP3 000018e0: SWAP2 000018e1: POP 000018e2: POP 000018e3: JUMP 000018e4: INVALID 000018e5: CODESIZE 000018e6: SHR 000018e7: DUP8 000018e8: UNKNOWN(0xCF) 000018e9: UNKNOWN(0xAC) 000018ea: PUSH6 0xba4cdf32b3e1 000018f1: CALLER 000018f2: JUMP 000018f3: UNKNOWN(0xEB) 000018f4: PUSH23 0xa96d9909038d724288cb50a44ad73138a2646970667358 0000190c: UNKNOWN(0x22) 0000190d: SLT 0000190e: KECCAK256 0000190f: GASLIMIT 00001910: STOP 00001911: PUSH4 0x0621f823 00001916: DUP16 00001917: PUSH18 0xd4148dda53c2ff913fbcc4f47c805af8f64e 0000192a: JUMPI 0000192b: UNKNOWN(0xEC) 0000192c: UNKNOWN(0xC4) 0000192d: PUSH4 0x7d64736f 00001932: PUSH13
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: 0x33dba7f3ac4f6ea63cd57d9878b01485af3e6c629cc315626eeb637fe4e60559
call_targets:
0x792b18ec0d39093f10f8b34676e2f8669a495e9b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x33dba7f3ac4f6ea63cd57d9878b01485af3e6c629cc315626eeb637fe4e60559",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x792b18ec0d39093f10f8b34676e2f8669a495e9b"
],
"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": "0xe5c6a209",
"selector": "0xe5c6a209",
"calldata_variants": [
"0xe5c6a209",
"0xe5c6a2090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeac9168b",
"selector": "0xeac9168b",
"calldata_variants": [
"0xeac9168b",
"0xeac9168b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf33093ed",
"selector": "0xf33093ed",
"calldata_variants": [
"0xf33093ed",
"0xf33093ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5819f05",
"selector": "0xf5819f05",
"calldata_variants": [
"0xf5819f05",
"0xf5819f050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc77d17cd",
"selector": "0xc77d17cd",
"calldata_variants": [
"0xc77d17cd",
"0xc77d17cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd50b3065",
"selector": "0xd50b3065",
"calldata_variants": [
"0xd50b3065",
"0xd50b30650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9ac849b",
"selector": "0xd9ac849b",
"calldata_variants": [
"0xd9ac849b",
"0xd9ac849b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2647,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2884,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x33dba7f3ac4f6ea63cd57d9878b01485af3e6c629cc315626eeb637fe4e60559
call_targets:
0x792b18ec0d39093f10f8b34676e2f8669a495e9b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x33dba7f3ac4f6ea63cd57d9878b01485af3e6c629cc315626eeb637fe4e60559",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x792b18ec0d39093f10f8b34676e2f8669a495e9b"
],
"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": "0xe5c6a209",
"selector": "0xe5c6a209",
"calldata_variants": [
"0xe5c6a209",
"0xe5c6a2090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeac9168b",
"selector": "0xeac9168b",
"calldata_variants": [
"0xeac9168b",
"0xeac9168b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf33093ed",
"selector": "0xf33093ed",
"calldata_variants": [
"0xf33093ed",
"0xf33093ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5819f05",
"selector": "0xf5819f05",
"calldata_variants": [
"0xf5819f05",
"0xf5819f050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc77d17cd",
"selector": "0xc77d17cd",
"calldata_variants": [
"0xc77d17cd",
"0xc77d17cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd50b3065",
"selector": "0xd50b3065",
"calldata_variants": [
"0xd50b3065",
"0xd50b30650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9ac849b",
"selector": "0xd9ac849b",
"calldata_variants": [
"0xd9ac849b",
"0xd9ac849b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2647,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2884,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|