019b477e-dab8-708f-be3f-a88b27c3e08c
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 |
|---|---|---|---|---|
| 29517 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29518 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108613 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108614 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108615 | detector.run | complete | 1 / 3 | 1 week ago |
| 108616 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0123 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x78e97925 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xac607c21 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xac607c21 0000002f: EQ 00000030: PUSH2 0x03b5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb07e54bb 0000003a: EQ 0000003b: PUSH2 0x0457 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd547741f 00000045: EQ 00000046: PUSH2 0x0477 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe248cff2 00000050: EQ 00000051: PUSH2 0x0497 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfa8675b0 0000005b: EQ 0000005c: PUSH2 0x04b7 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x78e97925 0000006b: EQ 0000006c: PUSH2 0x02ed 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8f8a6e68 00000076: EQ 00000077: PUSH2 0x0303 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x91d14854 00000081: EQ 00000082: PUSH2 0x0360 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x95601f09 0000008c: EQ 0000008d: PUSH2 0x0380 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa217fddf 00000097: EQ 00000098: PUSH2 0x03a0 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x248a9ca3 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x248a9ca3 000000b2: EQ 000000b3: PUSH2 0x0214 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x2f2ff15d 000000bd: EQ 000000be: PUSH2 0x0252 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x30f08abd 000000c8: EQ 000000c9: PUSH2 0x0272 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x318c136e 000000d3: EQ 000000d4: PUSH2 0x0299 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x36568abe 000000de: EQ 000000df: PUSH2 0x02cd 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x01ffc9a7 000000ee: EQ 000000ef: PUSH2 0x012f 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x07b7ed99 000000f9: EQ 000000fa: PUSH2 0x0164 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x0968f264 00000104: EQ 00000105: PUSH2 0x0186 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x0a6d55d8 0000010f: EQ 00000110: PUSH2 0x01a6 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x20332e06 0000011a: EQ 0000011b: PUSH2 0x01f4 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: CALLDATASIZE 00000125: PUSH2 0x012a 00000128: JUMPI 00000129: STOP 0000012a: JUMPDEST 0000012b: PUSH1 0x00 0000012d: DUP1 0000012e: REVERT 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x014f 00000140: PUSH2 0x014a 00000143: CALLDATASIZE 00000144: PUSH1 0x04 00000146: PUSH2 0x14c6 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x04d7 0000014e: JUMP 0000014f: JUMPDEST 00000150: PUSH1 0x40 00000152: MLOAD 00000153: SWAP1 00000154: ISZERO 00000155: ISZERO 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x20 0000015a: ADD 0000015b: JUMPDEST 0000015c: PUSH1 0x40 0000015e: MLOAD 0000015f: DUP1 00000160: SWAP2 00000161: SUB 00000162: SWAP1 00000163: RETURN 00000164: JUMPDEST 00000165: CALLVALUE 00000166: DUP1 00000167: ISZERO 00000168: PUSH2 0x0170 0000016b: JUMPI 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: REVERT 00000170: JUMPDEST 00000171: POP 00000172: PUSH2 0x0184 00000175: PUSH2 0x017f 00000178: CALLDATASIZE 00000179: PUSH1 0x04 0000017b: PUSH2 0x1505 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x050e 00000183: JUMP 00000184: JUMPDEST 00000185: STOP 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x0184 00000197: PUSH2 0x01a1 0000019a: CALLDATASIZE 0000019b: PUSH1 0x04 0000019d: PUSH2 0x1538 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x0522 000001a5: JUMP 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: DUP1 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: PUSH2 0x01dc 000001b7: PUSH2 0x01c1 000001ba: CALLDATASIZE 000001bb: PUSH1 0x04 000001bd: PUSH2 0x15e9 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH1 0x00 000001c4: PUSH1 0x20 000001c6: DUP2 000001c7: SWAP1 000001c8: MSTORE 000001c9: SWAP1 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH1 0x40 000001ce: SWAP1 000001cf: KECCAK256 000001d0: SLOAD 000001d1: PUSH1 0x01 000001d3: PUSH1 0x01 000001d5: PUSH1 0xa0 000001d7: SHL 000001d8: SUB 000001d9: AND 000001da: DUP2 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: MLOAD 000001e0: PUSH1 0x01 000001e2: PUSH1 0x01 000001e4: PUSH1 0xa0 000001e6: SHL 000001e7: SUB 000001e8: SWAP1 000001e9: SWAP2 000001ea: AND 000001eb: DUP2 000001ec: MSTORE 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: PUSH2 0x015b 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH2 0x0184 00000205: PUSH2 0x020f 00000208: CALLDATASIZE 00000209: PUSH1 0x04 0000020b: PUSH2 0x1610 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH2 0x05a5 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x0244 00000225: PUSH2 0x022f 00000228: CALLDATASIZE 00000229: PUSH1 0x04 0000022b: PUSH2 0x15e9 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH1 0x00 00000232: SWAP1 00000233: DUP2 00000234: MSTORE 00000235: PUSH1 0x02 00000237: PUSH1 0x20 00000239: MSTORE 0000023a: PUSH1 0x40 0000023c: SWAP1 0000023d: KECCAK256 0000023e: PUSH1 0x01 00000240: ADD 00000241: SLOAD 00000242: SWAP1 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x40 00000247: MLOAD 00000248: SWAP1 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: PUSH2 0x015b 00000251: JUMP 00000252: JUMPDEST 00000253: CALLVALUE 00000254: DUP1 00000255: ISZERO 00000256: PUSH2 0x025e 00000259: JUMPI 0000025a: PUSH1 0x00 0000025c: DUP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: POP 00000260: PUSH2 0x0184 00000263: PUSH2 0x026d 00000266: CALLDATASIZE 00000267: PUSH1 0x04 00000269: PUSH2 0x1656 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH2 0x05e1 00000271: JUMP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x0287 00000283: PUSH1 0x12 00000285: DUP2 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH1 0x40 0000028a: MLOAD 0000028b: PUSH1 0xff 0000028d: SWAP1 0000028e: SWAP2 0000028f: AND 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x20 00000294: ADD 00000295: PUSH2 0x015b 00000298: JUMP 00000299: JUMPDEST 0000029a: CALLVALUE 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02a5 000002a0: JUMPI 000002a1: PUSH1 0x00 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x01dc 000002aa: PUSH32 0x000000000000000000000000b66bbf236ce102a1de692f2a034b9db245986671 000002cb: DUP2 000002cc: JUMP 000002cd: JUMPDEST 000002ce: CALLVALUE 000002cf: DUP1 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: POP 000002db: PUSH2 0x0184 000002de: PUSH2 0x02e8 000002e1: CALLDATASIZE 000002e2: PUSH1 0x04 000002e4: PUSH2 0x1656 000002e7: JUMP 000002e8: JUMPDEST 000002e9: PUSH2 0x060c 000002ec: JUMP 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: DUP1 000002f0: ISZERO 000002f1: PUSH2 0x02f9 000002f4: JUMPI 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: PUSH2 0x0244 000002fe: PUSH1 0x03 00000300: SLOAD 00000301: DUP2 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x0343 00000314: PUSH2 0x031e 00000317: CALLDATASIZE 00000318: PUSH1 0x04 0000031a: PUSH2 0x1505 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x04 00000321: PUSH1 0x20 00000323: MSTORE 00000324: PUSH1 0x00 00000326: SWAP1 00000327: DUP2 00000328: MSTORE 00000329: PUSH1 0x40 0000032b: SWAP1 0000032c: KECCAK256 0000032d: DUP1 0000032e: SLOAD 0000032f: PUSH1 0x01 00000331: DUP3 00000332: ADD 00000333: SLOAD 00000334: PUSH1 0x02 00000336: SWAP1 00000337: SWAP3 00000338: ADD 00000339: SLOAD 0000033a: PUSH1 0xff 0000033c: SWAP1 0000033d: SWAP2 0000033e: AND 0000033f: SWAP2 00000340: SWAP1 00000341: DUP4 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH1 0x40 00000346: DUP1 00000347: MLOAD 00000348: SWAP4 00000349: ISZERO 0000034a: ISZERO 0000034b: DUP5 0000034c: MSTORE 0000034d: PUSH1 0x20 0000034f: DUP5 00000350: ADD 00000351: SWAP3 00000352: SWAP1 00000353: SWAP3 00000354: MSTORE 00000355: SWAP1 00000356: DUP3 00000357: ADD 00000358: MSTORE 00000359: PUSH1 0x60 0000035b: ADD 0000035c: PUSH2 0x015b 0000035f: JUMP 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x014f 00000371: PUSH2 0x037b 00000374: CALLDATASIZE 00000375: PUSH1 0x04 00000377: PUSH2 0x1656 0000037a: JUMP 0000037b: JUMPDEST 0000037c: PUSH2 0x068f 0000037f: JUMP 00000380: JUMPDEST 00000381: CALLVALUE 00000382: DUP1 00000383: ISZERO 00000384: PUSH2 0x038c 00000387: JUMPI 00000388: PUSH1 0x00 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: POP 0000038e: PUSH2 0x0184 00000391: PUSH2 0x039b 00000394: CALLDATASIZE 00000395: PUSH1 0x04 00000397: PUSH2 0x1686 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH2 0x06ba 0000039f: JUMP 000003a0: JUMPDEST 000003a1: CALLVALUE 000003a2: DUP1 000003a3: ISZERO 000003a4: PUSH2 0x03ac 000003a7: JUMPI 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: REVERT 000003ac: JUMPDEST 000003ad: POP 000003ae: PUSH2 0x0244 000003b1: PUSH1 0x00 000003b3: DUP2 000003b4: JUMP 000003b5: JUMPDEST 000003b6: CALLVALUE 000003b7: DUP1 000003b8: ISZERO 000003b9: PUSH2 0x03c1 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: PUSH2 0x041f 000003c6: PUSH2 0x03d0 000003c9: CALLDATASIZE 000003ca: PUSH1 0x04 000003cc: PUSH2 0x1505 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH1 0x01 000003d3: PUSH1 0x20 000003d5: DUP2 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x00 000003da: SWAP3 000003db: DUP4 000003dc: MSTORE 000003dd: PUSH1 0x40 000003df: SWAP3 000003e0: DUP4 000003e1: SWAP1 000003e2: KECCAK256 000003e3: DUP1 000003e4: SLOAD 000003e5: SWAP3 000003e6: DUP2 000003e7: ADD 000003e8: SLOAD 000003e9: DUP5 000003ea: MLOAD 000003eb: DUP1 000003ec: DUP7 000003ed: ADD 000003ee: SWAP1 000003ef: SWAP6 000003f0: MSTORE 000003f1: PUSH1 0x02 000003f3: SWAP1 000003f4: SWAP2 000003f5: ADD 000003f6: SLOAD 000003f7: PUSH1 0xff 000003f9: DUP2 000003fa: DUP2 000003fb: AND 000003fc: ISZERO 000003fd: ISZERO 000003fe: DUP7 000003ff: MSTORE 00000400: PUSH2 0x0100 00000403: SWAP2 00000404: DUP3 00000405: SWAP1 00000406: DIV 00000407: DUP2 00000408: AND 00000409: SWAP4 0000040a: DUP7 0000040b: ADD 0000040c: SWAP4 0000040d: SWAP1 0000040e: SWAP4 0000040f: MSTORE 00000410: SWAP3 00000411: SWAP4 00000412: DUP3 00000413: DUP3 00000414: AND 00000415: SWAP4 00000416: SWAP1 00000417: SWAP2 00000418: DIV 00000419: SWAP1 0000041a: SWAP2 0000041b: AND 0000041c: SWAP1 0000041d: DUP5 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x40 00000422: DUP1 00000423: MLOAD 00000424: SWAP5 00000425: DUP6 00000426: MSTORE 00000427: SWAP3 00000428: ISZERO 00000429: ISZERO 0000042a: PUSH1 0x20 0000042c: DUP1 0000042d: DUP7 0000042e: ADD 0000042f: SWAP2 00000430: SWAP1 00000431: SWAP2 00000432: MSTORE 00000433: SWAP2 00000434: ISZERO 00000435: ISZERO 00000436: SWAP3 00000437: DUP5 00000438: ADD 00000439: SWAP3 0000043a: SWAP1 0000043b: SWAP3 0000043c: MSTORE 0000043d: DUP2 0000043e: MLOAD 0000043f: ISZERO 00000440: ISZERO 00000441: PUSH1 0x60 00000443: DUP5 00000444: ADD 00000445: MSTORE 00000446: ADD 00000447: MLOAD 00000448: PUSH1 0xff 0000044a: AND 0000044b: PUSH1 0x80 0000044d: DUP3 0000044e: ADD 0000044f: MSTORE 00000450: PUSH1 0xa0 00000452: ADD 00000453: PUSH2 0x015b 00000456: JUMP 00000457: JUMPDEST 00000458: PUSH2 0x046a 0000045b: PUSH2 0x0465 0000045e: CALLDATASIZE 0000045f: PUSH1 0x04 00000461: PUSH2 0x1710 00000464: JUMP 00000465: JUMPDEST 00000466: PUSH2 0x06c7 00000469: JUMP 0000046a: JUMPDEST 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: PUSH2 0x015b 00000471: SWAP2 00000472: SWAP1 00000473: PUSH2 0x17c4 00000476: JUMP 00000477: JUMPDEST 00000478: CALLVALUE 00000479: DUP1 0000047a: ISZERO 0000047b: PUSH2 0x0483 0000047e: JUMPI 0000047f: PUSH1 0x00 00000481: DUP1 00000482: REVERT 00000483: JUMPDEST 00000484: POP 00000485: PUSH2 0x0184 00000488: PUSH2 0x0492 0000048b: CALLDATASIZE 0000048c: PUSH1 0x04 0000048e: PUSH2 0x1656 00000491: JUMP 00000492: JUMPDEST 00000493: PUSH2 0x093d 00000496: JUMP 00000497: JUMPDEST 00000498: CALLVALUE 00000499: DUP1 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x046a 000004a8: PUSH2 0x04b2 000004ab: CALLDATASIZE 000004ac: PUSH1 0x04 000004ae: PUSH2 0x17d7 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH2 0x0963 000004b6: JUMP 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x0184 000004c8: PUSH2 0x04d2 000004cb: CALLDATASIZE 000004cc: PUSH1 0x04 000004ce: PUSH2 0x1710 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH2 0x0b25 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH1 0x00 000004da: PUSH1 0x01 000004dc: PUSH1 0x01 000004de: PUSH1 0xe0 000004e0: SHL 000004e1: SUB 000004e2: NOT 000004e3: DUP3 000004e4: AND 000004e5: PUSH4 0x7965db0b 000004ea: PUSH1 0xe0 000004ec: SHL 000004ed: EQ 000004ee: DUP1 000004ef: PUSH2 0x0508 000004f2: JUMPI 000004f3: POP 000004f4: PUSH4 0x01ffc9a7 000004f9: PUSH1 0xe0 000004fb: SHL 000004fc: PUSH1 0x01 000004fe: PUSH1 0x01 00000500: PUSH1 0xe0 00000502: SHL 00000503: SUB 00000504: NOT 00000505: DUP4 00000506: AND 00000507: EQ 00000508: JUMPDEST 00000509: SWAP3 0000050a: SWAP2 0000050b: POP 0000050c: POP 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH2 0x0516 00000512: PUSH2 0x0b9c 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH2 0x051f 0000051a: DUP2 0000051b: PUSH2 0x0c16 0000051e: JUMP 0000051f: JUMPDEST 00000520: POP 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH2 0x052a 00000526: PUSH2 0x0b9c 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: PUSH1 0x00 00000530: DUP4 00000531: DUP1 00000532: PUSH1 0x20 00000534: ADD 00000535: SWAP1 00000536: MLOAD 00000537: DUP2 00000538: ADD 00000539: SWAP1 0000053a: PUSH2 0x0543 0000053d: SWAP2 0000053e: SWAP1 0000053f: PUSH2 0x1823 00000542: JUMP 00000543: JUMPDEST 00000544: SWAP2 00000545: SWAP5 00000546: POP 00000547: SWAP3 00000548: POP 00000549: SWAP1 0000054a: POP 0000054b: PUSH1 0x01 0000054d: PUSH1 0x01 0000054f: PUSH1 0xa0 00000551: SHL 00000552: SUB 00000553: DUP4 00000554: AND 00000555: PUSH2 0x0594 00000558: JUMPI 00000559: PUSH1 0x40 0000055b: MLOAD 0000055c: PUSH1 0x01 0000055e: PUSH1 0x01 00000560: PUSH1 0xa0 00000562: SHL 00000563: SUB 00000564: DUP4 00000565: AND 00000566: SWAP1 00000567: DUP3 00000568: ISZERO 00000569: PUSH2 0x08fc 0000056c: MUL 0000056d: SWAP1 0000056e: DUP4 0000056f: SWAP1 00000570: PUSH1 0x00 00000572: DUP2 00000573: DUP2 00000574: DUP2 00000575: DUP6 00000576: DUP9 00000577: DUP9 00000578: CALL 00000579: SWAP4 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: ISZERO 0000057f: DUP1 00000580: ISZERO 00000581: PUSH2 0x058e 00000584: JUMPI 00000585: RETURNDATASIZE 00000586: PUSH1 0x00 00000588: DUP1 00000589: RETURNDATACOPY 0000058a: RETURNDATASIZE 0000058b: PUSH1 0x00 0000058d: REVERT 0000058e: JUMPDEST 0000058f: POP 00000590: PUSH2 0x059f 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH2 0x059f 00000598: DUP4 00000599: DUP4 0000059a: DUP4 0000059b: PUSH2 0x0c88 0000059e: JUMP 0000059f: JUMPDEST 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH2 0x05ad 000005a9: PUSH2 0x0c94 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x01 000005b0: PUSH1 0x01 000005b2: PUSH1 0xa0 000005b4: SHL 000005b5: SUB 000005b6: SWAP4 000005b7: SWAP1 000005b8: SWAP4 000005b9: AND 000005ba: PUSH1 0x00 000005bc: SWAP1 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH1 0x04 000005c1: PUSH1 0x20 000005c3: MSTORE 000005c4: PUSH1 0x40 000005c6: SWAP1 000005c7: KECCAK256 000005c8: DUP1 000005c9: SLOAD 000005ca: PUSH1 0xff 000005cc: NOT 000005cd: AND 000005ce: SWAP3 000005cf: ISZERO 000005d0: ISZERO 000005d1: SWAP3 000005d2: SWAP1 000005d3: SWAP3 000005d4: OR 000005d5: DUP3 000005d6: SSTORE 000005d7: PUSH1 0x01 000005d9: DUP3 000005da: ADD 000005db: SSTORE 000005dc: PUSH1 0x02 000005de: ADD 000005df: SSTORE 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x00 000005e4: DUP3 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x02 000005e9: PUSH1 0x20 000005eb: MSTORE 000005ec: PUSH1 0x40 000005ee: SWAP1 000005ef: KECCAK256 000005f0: PUSH1 0x01 000005f2: ADD 000005f3: SLOAD 000005f4: PUSH2 0x05fd 000005f7: DUP2 000005f8: CALLER 000005f9: PUSH2 0x0ceb 000005fc: JUMP 000005fd: JUMPDEST 000005fe: PUSH2 0x0607 00000601: DUP4 00000602: DUP4 00000603: PUSH2 0x0d4f 00000606: JUMP 00000607: JUMPDEST 00000608: POP 00000609: POP 0000060a: POP 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH1 0x01 0000060f: PUSH1 0x01 00000611: PUSH1 0xa0 00000613: SHL 00000614: SUB 00000615: DUP2 00000616: AND 00000617: CALLER 00000618: EQ 00000619: PUSH2 0x0681 0000061c: JUMPI 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: PUSH3 0x461bcd 00000624: PUSH1 0xe5 00000626: SHL 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x20 0000062b: PUSH1 0x04 0000062d: DUP3 0000062e: ADD 0000062f: MSTORE 00000630: PUSH1 0x2f 00000632: PUSH1 0x24 00000634: DUP3 00000635: ADD 00000636: MSTORE 00000637: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00000658: PUSH1 0x44 0000065a: DUP3 0000065b: ADD 0000065c: MSTORE 0000065d: PUSH15 0x103937b632b9903337b91039b2b633 0000066d: PUSH1 0x89 0000066f: SHL 00000670: PUSH1 0x64 00000672: DUP3 00000673: ADD 00000674: MSTORE 00000675: PUSH1 0x84 00000677: ADD 00000678: JUMPDEST 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: SWAP2 0000067e: SUB 0000067f: SWAP1 00000680: REVERT 00000681: JUMPDEST 00000682: PUSH2 0x068b 00000685: DUP3 00000686: DUP3 00000687: PUSH2 0x0dd5 0000068a: JUMP 0000068b: JUMPDEST 0000068c: POP 0000068d: POP 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH1 0x00 00000692: SWAP2 00000693: DUP3 00000694: MSTORE 00000695: PUSH1 0x02 00000697: PUSH1 0x20 00000699: SWAP1 0000069a: DUP2 0000069b: MSTORE 0000069c: PUSH1 0x40 0000069e: DUP1 0000069f: DUP5 000006a0: KECCAK256 000006a1: PUSH1 0x01 000006a3: PUSH1 0x01 000006a5: PUSH1 0xa0 000006a7: SHL 000006a8: SUB 000006a9: SWAP4 000006aa: SWAP1 000006ab: SWAP4 000006ac: AND 000006ad: DUP5 000006ae: MSTORE 000006af: SWAP2 000006b0: SWAP1 000006b1: MSTORE 000006b2: SWAP1 000006b3: KECCAK256 000006b4: SLOAD 000006b5: PUSH1 0xff 000006b7: AND 000006b8: SWAP1 000006b9: JUMP 000006ba: JUMPDEST 000006bb: DUP3 000006bc: PUSH2 0x059f 000006bf: DUP2 000006c0: DUP5 000006c1: ADDRESS 000006c2: DUP6 000006c3: PUSH2 0x0e3c 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x60 000006ca: PUSH2 0x06d1 000006cd: PUSH2 0x0b9c 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH1 0x00 000006d4: PUSH2 0x06df 000006d7: DUP4 000006d8: DUP6 000006d9: ADD 000006da: DUP6 000006db: PUSH2 0x15e9 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x00 000006e2: DUP8 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x20 000006e7: DUP2 000006e8: DUP2 000006e9: MSTORE 000006ea: PUSH1 0x40 000006ec: DUP1 000006ed: DUP4 000006ee: KECCAK256 000006ef: SLOAD 000006f0: PUSH1 0x01 000006f2: PUSH1 0x01 000006f4: PUSH1 0xa0 000006f6: SHL 000006f7: SUB 000006f8: AND 000006f9: DUP1 000006fa: DUP5 000006fb: MSTORE 000006fc: PUSH1 0x01 000006fe: SWAP3 000006ff: DUP4 00000700: SWAP1 00000701: MSTORE 00000702: SWAP3 00000703: KECCAK256 00000704: ADD 00000705: SLOAD 00000706: SWAP2 00000707: SWAP3 00000708: POP 00000709: SWAP1 0000070a: PUSH1 0xff 0000070c: AND 0000070d: PUSH2 0x0734 00000710: JUMPI 00000711: PUSH1 0x40 00000713: MLOAD 00000714: PUSH4 0x25df77c5 00000719: PUSH1 0xe1 0000071b: SHL 0000071c: DUP2 0000071d: MSTORE 0000071e: PUSH1 0x01 00000720: PUSH1 0x01 00000722: PUSH1 0xa0 00000724: SHL 00000725: SUB 00000726: DUP3 00000727: AND 00000728: PUSH1 0x04 0000072a: DUP3 0000072b: ADD 0000072c: MSTORE 0000072d: PUSH1 0x24 0000072f: ADD 00000730: PUSH2 0x0678 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH1 0x01 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: SHL 0000073c: SUB 0000073d: DUP2 0000073e: AND 0000073f: PUSH1 0x00 00000741: SWAP1 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x04 00000746: PUSH1 0x20 00000748: MSTORE 00000749: PUSH1 0x40 0000074b: SWAP1 0000074c: KECCAK256 0000074d: DUP1 0000074e: SLOAD 0000074f: PUSH1 0xff 00000751: AND 00000752: ISZERO 00000753: PUSH2 0x08a7 00000756: JUMPI 00000757: DUP1 00000758: PUSH1 0x01 0000075a: ADD 0000075b: SLOAD 0000075c: DUP4 0000075d: GT 0000075e: ISZERO 0000075f: PUSH2 0x07be 00000762: JUMPI 00000763: PUSH1 0x40 00000765: MLOAD 00000766: PUSH3 0x461bcd 0000076a: PUSH1 0xe5 0000076c: SHL 0000076d: DUP2 0000076e: MSTORE 0000076f: PUSH1 0x20 00000771: PUSH1 0x04 00000773: DUP3 00000774: ADD 00000775: MSTORE 00000776: PUSH1 0x2b 00000778: PUSH1 0x24 0000077a: DUP3 0000077b: ADD 0000077c: MSTORE 0000077d: PUSH32 0x6465706f73697420616d6f756e7420657863656564732073696e676c65206465 0000079e: PUSH1 0x44 000007a0: DUP3 000007a1: ADD 000007a2: MSTORE 000007a3: PUSH11 0x1c1bdcda5d081b1a5b5a5d 000007af: PUSH1 0xaa 000007b1: SHL 000007b2: PUSH1 0x64 000007b4: DUP3 000007b5: ADD 000007b6: MSTORE 000007b7: PUSH1 0x84 000007b9: ADD 000007ba: PUSH2 0x0678 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x00 000007c1: PUSH3 0x015180 000007c5: PUSH1 0x03 000007c7: SLOAD 000007c8: TIMESTAMP 000007c9: PUSH2 0x07d2 000007cc: SWAP2 000007cd: SWAP1 000007ce: PUSH2 0x187c 000007d1: JUMP 000007d2: JUMPDEST 000007d3: PUSH2 0x07dc 000007d6: SWAP2 000007d7: SWAP1 000007d8: PUSH2 0x1893 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH1 0x00 000007df: DUP2 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x03 000007e4: DUP5 000007e5: ADD 000007e6: PUSH1 0x20 000007e8: SWAP1 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x40 000007ed: DUP1 000007ee: DUP4 000007ef: KECCAK256 000007f0: PUSH1 0x01 000007f2: PUSH1 0x01 000007f4: PUSH1 0xa0 000007f6: SHL 000007f7: SUB 000007f8: DUP14 000007f9: AND 000007fa: DUP5 000007fb: MSTORE 000007fc: SWAP1 000007fd: SWAP2 000007fe: MSTORE 000007ff: DUP2 00000800: KECCAK256 00000801: DUP1 00000802: SLOAD 00000803: SWAP3 00000804: SWAP4 00000805: POP 00000806: DUP7 00000807: SWAP3 00000808: SWAP1 00000809: SWAP2 0000080a: SWAP1 0000080b: PUSH2 0x0815 0000080e: SWAP1 0000080f: DUP5 00000810: SWAP1 00000811: PUSH2 0x18b5 00000814: JUMP 00000815: JUMPDEST 00000816: SWAP1 00000817: SWAP2 00000818: SSTORE 00000819: POP 0000081a: POP 0000081b: PUSH1 0x02 0000081d: DUP3 0000081e: ADD 0000081f: SLOAD 00000820: PUSH1 0x00 00000822: DUP3 00000823: DUP2 00000824: MSTORE 00000825: PUSH1 0x03 00000827: DUP5 00000828: ADD 00000829: PUSH1 0x20 0000082b: SWAP1 0000082c: DUP2 0000082d: MSTORE 0000082e: PUSH1 0x40 00000830: DUP1 00000831: DUP4 00000832: KECCAK256 00000833: PUSH1 0x01 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: SHL 0000083a: SUB 0000083b: DUP14 0000083c: AND 0000083d: DUP5 0000083e: MSTORE 0000083f: SWAP1 00000840: SWAP2 00000841: MSTORE 00000842: SWAP1 00000843: KECCAK256 00000844: SLOAD 00000845: GT 00000846: ISZERO 00000847: PUSH2 0x08a5 0000084a: JUMPI 0000084b: PUSH1 0x40 0000084d: MLOAD 0000084e: PUSH3 0x461bcd 00000852: PUSH1 0xe5 00000854: SHL 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x20 00000859: PUSH1 0x04 0000085b: DUP3 0000085c: ADD 0000085d: MSTORE 0000085e: PUSH1 0x2a 00000860: PUSH1 0x24 00000862: DUP3 00000863: ADD 00000864: MSTORE 00000865: PUSH32 0x6465706f73697420616d6f756e742065786365656473206461696c7920646570 00000886: PUSH1 0x44 00000888: DUP3 00000889: ADD 0000088a: MSTORE 0000088b: PUSH10 0x1bdcda5d081b1a5b5a5d 00000896: PUSH1 0xb2 00000898: SHL 00000899: PUSH1 0x64 0000089b: DUP3 0000089c: ADD 0000089d: MSTORE 0000089e: PUSH1 0x84 000008a0: ADD 000008a1: PUSH2 0x0678 000008a4: JUMP 000008a5: JUMPDEST 000008a6: POP 000008a7: JUMPDEST 000008a8: PUSH1 0x01 000008aa: PUSH1 0x01 000008ac: PUSH1 0xa0 000008ae: SHL 000008af: SUB 000008b0: DUP3 000008b1: AND 000008b2: PUSH2 0x08c6 000008b5: JUMPI 000008b6: DUP3 000008b7: CALLVALUE 000008b8: EQ 000008b9: PUSH2 0x08c1 000008bc: JUMPI 000008bd: PUSH1 0x00 000008bf: DUP1 000008c0: REVERT 000008c1: JUMPDEST 000008c2: PUSH2 0x0907 000008c5: JUMP 000008c6: JUMPDEST 000008c7: PUSH1 0x01 000008c9: PUSH1 0x01 000008cb: PUSH1 0xa0 000008cd: SHL 000008ce: SUB 000008cf: DUP3 000008d0: AND 000008d1: PUSH1 0x00 000008d3: SWAP1 000008d4: DUP2 000008d5: MSTORE 000008d6: PUSH1 0x01 000008d8: PUSH1 0x20 000008da: DUP2 000008db: SWAP1 000008dc: MSTORE 000008dd: PUSH1 0x40 000008df: SWAP1 000008e0: SWAP2 000008e1: KECCAK256 000008e2: ADD 000008e3: SLOAD 000008e4: PUSH2 0x0100 000008e7: SWAP1 000008e8: DIV 000008e9: PUSH1 0xff 000008eb: AND 000008ec: ISZERO 000008ed: PUSH2 0x08fb 000008f0: JUMPI 000008f1: PUSH2 0x08c1 000008f4: DUP3 000008f5: DUP9 000008f6: DUP6 000008f7: PUSH2 0x0ea7 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH2 0x0907 000008ff: DUP3 00000900: DUP9 00000901: ADDRESS 00000902: DUP7 00000903: PUSH2 0x0f13 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH2 0x0911 0000090b: DUP3 0000090c: DUP5 0000090d: PUSH2 0x0f20 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x40 00000914: MLOAD 00000915: PUSH1 0x20 00000917: ADD 00000918: PUSH2 0x0921 0000091b: SWAP2 0000091c: SWAP1 0000091d: PUSH2 0x18cd 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH1 0x40 00000924: MLOAD 00000925: PUSH1 0x20 00000927: DUP2 00000928: DUP4 00000929: SUB 0000092a: SUB 0000092b: DUP2 0000092c: MSTORE 0000092d: SWAP1 0000092e: PUSH1 0x40 00000930: MSTORE 00000931: SWAP4 00000932: POP 00000933: POP 00000934: POP 00000935: POP 00000936: SWAP5 00000937: SWAP4 00000938: POP 00000939: POP 0000093a: POP 0000093b: POP 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x00 00000940: DUP3 00000941: DUP2 00000942: MSTORE 00000943: PUSH1 0x02 00000945: PUSH1 0x20 00000947: MSTORE 00000948: PUSH1 0x40 0000094a: SWAP1 0000094b: KECCAK256 0000094c: PUSH1 0x01 0000094e: ADD 0000094f: SLOAD 00000950: PUSH2 0x0959 00000953: DUP2 00000954: CALLER 00000955: PUSH2 0x0ceb 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH2 0x0607 0000095d: DUP4 0000095e: DUP4 0000095f: PUSH2 0x0dd5 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x60 00000966: PUSH2 0x096d 00000969: PUSH2 0x0b9c 0000096c: JUMP 0000096d: JUMPDEST 0000096e: PUSH1 0x00 00000970: DUP1 00000971: PUSH1 0x60 00000973: PUSH2 0x097e 00000976: DUP6 00000977: DUP8 00000978: ADD 00000979: DUP8 0000097a: PUSH2 0x18e9 0000097d: JUMP 0000097e: JUMPDEST 0000097f: SWAP1 00000980: SWAP4 00000981: POP 00000982: SWAP2 00000983: POP 00000984: DUP6 00000985: PUSH1 0x40 00000987: DUP7 00000988: PUSH2 0x0991 0000098b: DUP6 0000098c: DUP4 0000098d: PUSH2 0x18b5 00000990: JUMP 00000991: JUMPDEST 00000992: SWAP3 00000993: PUSH2 0x099e 00000996: SWAP4 00000997: SWAP3 00000998: SWAP2 00000999: SWAP1 0000099a: PUSH2 0x190b 0000099d: JUMP 0000099e: JUMPDEST 0000099f: DUP1 000009a0: DUP1 000009a1: PUSH1 0x1f 000009a3: ADD 000009a4: PUSH1 0x20 000009a6: DUP1 000009a7: SWAP2 000009a8: DIV 000009a9: MUL 000009aa: PUSH1 0x20 000009ac: ADD 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: SWAP1 000009b1: DUP2 000009b2: ADD 000009b3: PUSH1 0x40 000009b5: MSTORE 000009b6: DUP1 000009b7: SWAP4 000009b8: SWAP3 000009b9: SWAP2 000009ba: SWAP1 000009bb: DUP2 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: ADD 000009c1: DUP4 000009c2: DUP4 000009c3: DUP1 000009c4: DUP3 000009c5: DUP5 000009c6: CALLDATACOPY 000009c7: PUSH1 0x00 000009c9: SWAP3 000009ca: ADD 000009cb: DUP3 000009cc: SWAP1 000009cd: MSTORE 000009ce: POP 000009cf: DUP12 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x20 000009d4: DUP2 000009d5: DUP2 000009d6: MSTORE 000009d7: PUSH1 0x40 000009d9: DUP1 000009da: DUP4 000009db: KECCAK256 000009dc: SLOAD 000009dd: DUP3 000009de: DUP9 000009df: ADD 000009e0: MLOAD 000009e1: PUSH1 0x01 000009e3: PUSH1 0x01 000009e5: PUSH1 0xa0 000009e7: SHL 000009e8: SUB 000009e9: SWAP1 000009ea: SWAP2 000009eb: AND 000009ec: DUP1 000009ed: DUP6 000009ee: MSTORE 000009ef: PUSH1 0x01 000009f1: SWAP4 000009f2: DUP5 000009f3: SWAP1 000009f4: MSTORE 000009f5: SWAP2 000009f6: SWAP1 000009f7: SWAP4 000009f8: KECCAK256 000009f9: SWAP1 000009fa: SWAP2 000009fb: ADD 000009fc: SLOAD 000009fd: SWAP6 000009fe: SWAP7 000009ff: POP 00000a00: SWAP1 00000a01: SWAP5 00000a02: SWAP1 00000a03: SWAP4 00000a04: POP 00000a05: PUSH1 0xff 00000a07: AND 00000a08: SWAP2 00000a09: POP 00000a0a: PUSH2 0x0a33 00000a0d: SWAP1 00000a0e: POP 00000a0f: JUMPI 00000a10: PUSH1 0x40 00000a12: MLOAD 00000a13: PUSH4 0x25df77c5 00000a18: PUSH1 0xe1 00000a1a: SHL 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0x01 00000a21: PUSH1 0xa0 00000a23: SHL 00000a24: SUB 00000a25: DUP3 00000a26: AND 00000a27: PUSH1 0x04 00000a29: DUP3 00000a2a: ADD 00000a2b: MSTORE 00000a2c: PUSH1 0x24 00000a2e: ADD 00000a2f: PUSH2 0x0678 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH1 0x01 00000a36: PUSH1 0x01 00000a38: PUSH1 0xa0 00000a3a: SHL 00000a3b: SUB 00000a3c: DUP2 00000a3d: AND 00000a3e: PUSH2 0x0a88 00000a41: JUMPI 00000a42: PUSH1 0x00 00000a44: PUSH2 0x0a4d 00000a47: DUP3 00000a48: DUP8 00000a49: PUSH2 0x100d 00000a4c: JUMP 00000a4d: JUMPDEST 00000a4e: PUSH1 0x40 00000a50: MLOAD 00000a51: SWAP1 00000a52: SWAP2 00000a53: POP 00000a54: PUSH1 0x60 00000a56: DUP5 00000a57: SWAP1 00000a58: SHR 00000a59: SWAP1 00000a5a: DUP3 00000a5b: ISZERO 00000a5c: PUSH2 0x08fc 00000a5f: MUL 00000a60: SWAP1 00000a61: DUP4 00000a62: SWAP1 00000a63: PUSH1 0x00 00000a65: DUP2 00000a66: DUP2 00000a67: DUP2 00000a68: DUP6 00000a69: DUP9 00000a6a: DUP9 00000a6b: CALL 00000a6c: SWAP4 00000a6d: POP 00000a6e: POP 00000a6f: POP 00000a70: POP 00000a71: ISZERO 00000a72: DUP1 00000a73: ISZERO 00000a74: PUSH2 0x0a81 00000a77: JUMPI 00000a78: RETURNDATASIZE 00000a79: PUSH1 0x00 00000a7b: DUP1 00000a7c: RETURNDATACOPY 00000a7d: RETURNDATASIZE 00000a7e: PUSH1 0x00 00000a80: REVERT 00000a81: JUMPDEST 00000a82: POP 00000a83: POP 00000a84: PUSH2 0x0ae5 00000a87: JUMP 00000a88: JUMPDEST 00000a89: PUSH1 0x01 00000a8b: PUSH1 0x01 00000a8d: PUSH1 0xa0 00000a8f: SHL 00000a90: SUB 00000a91: DUP2 00000a92: AND 00000a93: PUSH1 0x00 00000a95: SWAP1 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x01 00000a9a: PUSH1 0x20 00000a9c: DUP2 00000a9d: SWAP1 00000a9e: MSTORE 00000a9f: PUSH1 0x40 00000aa1: SWAP1 00000aa2: SWAP2 00000aa3: KECCAK256 00000aa4: ADD 00000aa5: SLOAD 00000aa6: PUSH2 0x0100 00000aa9: SWAP1 00000aaa: DIV 00000aab: PUSH1 0xff 00000aad: AND 00000aae: ISZERO 00000aaf: PUSH2 0x0ace 00000ab2: JUMPI 00000ab3: PUSH2 0x0ac9 00000ab6: DUP2 00000ab7: DUP4 00000ab8: PUSH1 0x60 00000aba: SHR 00000abb: PUSH2 0x0ac4 00000abe: DUP5 00000abf: DUP10 00000ac0: PUSH2 0x100d 00000ac3: JUMP 00000ac4: JUMPDEST 00000ac5: PUSH2 0x10bf 00000ac8: JUMP 00000ac9: JUMPDEST 00000aca: PUSH2 0x0ae5 00000acd: JUMP 00000ace: JUMPDEST 00000acf: PUSH2 0x0ae5 00000ad2: DUP2 00000ad3: DUP4 00000ad4: PUSH1 0x60 00000ad6: SHR 00000ad7: PUSH2 0x0ae0 00000ada: DUP5 00000adb: DUP10 00000adc: PUSH2 0x100d 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH2 0x0c88 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x40 00000ae8: DUP1 00000ae9: MLOAD 00000aea: PUSH1 0x01 00000aec: PUSH1 0x01 00000aee: PUSH1 0xa0 00000af0: SHL 00000af1: SUB 00000af2: SWAP3 00000af3: SWAP1 00000af4: SWAP3 00000af5: AND 00000af6: PUSH1 0x20 00000af8: DUP4 00000af9: ADD 00000afa: MSTORE 00000afb: PUSH1 0x60 00000afd: SWAP3 00000afe: DUP4 00000aff: SHR 00000b00: DUP3 00000b01: DUP3 00000b02: ADD 00000b03: MSTORE 00000b04: DUP3 00000b05: DUP3 00000b06: ADD 00000b07: SWAP6 00000b08: SWAP1 00000b09: SWAP6 00000b0a: MSTORE 00000b0b: DUP5 00000b0c: MLOAD 00000b0d: DUP1 00000b0e: DUP3 00000b0f: SUB 00000b10: SWAP1 00000b11: SWAP3 00000b12: ADD 00000b13: DUP3 00000b14: MSTORE 00000b15: PUSH1 0x80 00000b17: ADD 00000b18: SWAP1 00000b19: SWAP4 00000b1a: MSTORE 00000b1b: POP 00000b1c: SWAP1 00000b1d: SWAP6 00000b1e: SWAP5 00000b1f: POP 00000b20: POP 00000b21: POP 00000b22: POP 00000b23: POP 00000b24: JUMP 00000b25: JUMPDEST 00000b26: PUSH2 0x0b2d 00000b29: PUSH2 0x0b9c 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: PUSH1 0x00 00000b30: DUP5 00000b31: DUP2 00000b32: MSTORE 00000b33: PUSH1 0x20 00000b35: DUP2 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x40 00000b3a: DUP1 00000b3b: DUP4 00000b3c: KECCAK256 00000b3d: DUP1 00000b3e: SLOAD 00000b3f: PUSH1 0x01 00000b41: PUSH1 0x01 00000b43: PUSH1 0xa0 00000b45: SHL 00000b46: SUB 00000b47: NOT 00000b48: AND 00000b49: PUSH1 0x01 00000b4b: PUSH1 0x01 00000b4d: PUSH1 0xa0 00000b4f: SHL 00000b50: SUB 00000b51: DUP9 00000b52: AND 00000b53: SWAP1 00000b54: DUP2 00000b55: OR 00000b56: SWAP1 00000b57: SWAP2 00000b58: SSTORE 00000b59: DUP4 00000b5a: MSTORE 00000b5b: PUSH1 0x01 00000b5d: SWAP2 00000b5e: DUP3 00000b5f: SWAP1 00000b60: MSTORE 00000b61: SWAP1 00000b62: SWAP2 00000b63: KECCAK256 00000b64: DUP6 00000b65: DUP2 00000b66: SSTORE 00000b67: DUP2 00000b68: ADD 00000b69: DUP1 00000b6a: SLOAD 00000b6b: PUSH2 0xffff 00000b6e: NOT 00000b6f: AND 00000b70: SWAP1 00000b71: SWAP2 00000b72: OR 00000b73: SWAP1 00000b74: SSTORE 00000b75: DUP1 00000b76: ISZERO 00000b77: PUSH2 0x059f 00000b7a: JUMPI 00000b7b: PUSH1 0x00 00000b7d: PUSH2 0x0b86 00000b80: DUP3 00000b81: DUP5 00000b82: PUSH2 0x1935 00000b85: JUMP 00000b86: JUMPDEST 00000b87: PUSH1 0xf8 00000b89: SHR 00000b8a: SWAP1 00000b8b: POP 00000b8c: PUSH2 0x0b95 00000b8f: DUP5 00000b90: DUP3 00000b91: PUSH2 0x10f7 00000b94: JUMP 00000b95: JUMPDEST 00000b96: POP 00000b97: POP 00000b98: POP 00000b99: POP 00000b9a: POP 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: CALLER 00000b9e: PUSH1 0x01 00000ba0: PUSH1 0x01 00000ba2: PUSH1 0xa0 00000ba4: SHL 00000ba5: SUB 00000ba6: PUSH32 0x000000000000000000000000b66bbf236ce102a1de692f2a034b9db245986671 00000bc7: AND 00000bc8: EQ 00000bc9: PUSH2 0x0c14 00000bcc: JUMPI 00000bcd: PUSH1 0x40 00000bcf: MLOAD 00000bd0: PUSH3 0x461bcd 00000bd4: PUSH1 0xe5 00000bd6: SHL 00000bd7: DUP2 00000bd8: MSTORE 00000bd9: PUSH1 0x20 00000bdb: PUSH1 0x04 00000bdd: DUP3 00000bde: ADD 00000bdf: MSTORE 00000be0: PUSH1 0x1e 00000be2: PUSH1 0x24 00000be4: DUP3 00000be5: ADD 00000be6: MSTORE 00000be7: PUSH32 0x73656e646572206d7573742062652062726964676520636f6e74726163740000 00000c08: PUSH1 0x44 00000c0a: DUP3 00000c0b: ADD 00000c0c: MSTORE 00000c0d: PUSH1 0x64 00000c0f: ADD 00000c10: PUSH2 0x0678 00000c13: JUMP 00000c14: JUMPDEST 00000c15: JUMP 00000c16: JUMPDEST 00000c17: PUSH1 0x01 00000c19: PUSH1 0x01 00000c1b: PUSH1 0xa0 00000c1d: SHL 00000c1e: SUB 00000c1f: DUP2 00000c20: AND 00000c21: PUSH1 0x00 00000c23: SWAP1 00000c24: DUP2 00000c25: MSTORE 00000c26: PUSH1 0x01 00000c28: PUSH1 0x20 00000c2a: DUP2 00000c2b: SWAP1 00000c2c: MSTORE 00000c2d: PUSH1 0x40 00000c2f: SWAP1 00000c30: SWAP2 00000c31: KECCAK256 00000c32: ADD 00000c33: SLOAD 00000c34: PUSH1 0xff 00000c36: AND 00000c37: PUSH2 0x0c5e 00000c3a: JUMPI 00000c3b: PUSH1 0x40 00000c3d: MLOAD 00000c3e: PUSH4 0x25df77c5 00000c43: PUSH1 0xe1 00000c45: SHL 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x01 00000c4a: PUSH1 0x01 00000c4c: PUSH1 0xa0 00000c4e: SHL 00000c4f: SUB 00000c50: DUP3 00000c51: AND 00000c52: PUSH1 0x04 00000c54: DUP3 00000c55: ADD 00000c56: MSTORE 00000c57: PUSH1 0x24 00000c59: ADD 00000c5a: PUSH2 0x0678 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x01 00000c61: PUSH1 0x01 00000c63: PUSH1 0xa0 00000c65: SHL 00000c66: SUB 00000c67: AND 00000c68: PUSH1 0x00 00000c6a: SWAP1 00000c6b: DUP2 00000c6c: MSTORE 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0x20 00000c71: DUP2 00000c72: SWAP1 00000c73: MSTORE 00000c74: PUSH1 0x40 00000c76: SWAP1 00000c77: SWAP2 00000c78: KECCAK256 00000c79: ADD 00000c7a: DUP1 00000c7b: SLOAD 00000c7c: PUSH2 0xff00 00000c7f: NOT 00000c80: AND 00000c81: PUSH2 0x0100 00000c84: OR 00000c85: SWAP1 00000c86: SSTORE 00000c87: JUMP 00000c88: JUMPDEST 00000c89: DUP3 00000c8a: PUSH2 0x059f 00000c8d: DUP2 00000c8e: DUP5 00000c8f: DUP5 00000c90: PUSH2 0x11a1 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH2 0x0c9f 00000c98: PUSH1 0x00 00000c9a: CALLER 00000c9b: PUSH2 0x068f 00000c9e: JUMP 00000c9f: JUMPDEST 00000ca0: PUSH2 0x0c14 00000ca3: JUMPI 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: PUSH3 0x461bcd 00000cab: PUSH1 0xe5 00000cad: SHL 00000cae: DUP2 00000caf: MSTORE 00000cb0: PUSH1 0x20 00000cb2: PUSH1 0x04 00000cb4: DUP3 00000cb5: ADD 00000cb6: MSTORE 00000cb7: PUSH1 0x1e 00000cb9: PUSH1 0x24 00000cbb: DUP3 00000cbc: ADD 00000cbd: MSTORE 00000cbe: PUSH32 0x73656e64657220646f65736e277420686176652061646d696e20726f6c650000 00000cdf: PUSH1 0x44 00000ce1: DUP3 00000ce2: ADD 00000ce3: MSTORE 00000ce4: PUSH1 0x64 00000ce6: ADD 00000ce7: PUSH2 0x0678 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH2 0x0cf5 00000cef: DUP3 00000cf0: DUP3 00000cf1: PUSH2 0x068f 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: PUSH2 0x068b 00000cf9: JUMPI 00000cfa: PUSH2 0x0d0d 00000cfd: DUP2 00000cfe: PUSH1 0x01 00000d00: PUSH1 0x01 00000d02: PUSH1 0xa0 00000d04: SHL 00000d05: SUB 00000d06: AND 00000d07: PUSH1 0x14 00000d09: PUSH2 0x11d1 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: PUSH2 0x0d18 00000d11: DUP4 00000d12: PUSH1 0x20 00000d14: PUSH2 0x11d1 00000d17: JUMP 00000d18: JUMPDEST 00000d19: PUSH1 0x40 00000d1b: MLOAD 00000d1c: PUSH1 0x20 00000d1e: ADD 00000d1f: PUSH2 0x0d29 00000d22: SWAP3 00000d23: SWAP2 00000d24: SWAP1 00000d25: PUSH2 0x1965 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: PUSH1 0x40 00000d2c: DUP1 00000d2d: MLOAD 00000d2e: PUSH1 0x1f 00000d30: NOT 00000d31: DUP2 00000d32: DUP5 00000d33: SUB 00000d34: ADD 00000d35: DUP2 00000d36: MSTORE 00000d37: SWAP1 00000d38: DUP3 00000d39: SWAP1 00000d3a: MSTORE 00000d3b: PUSH3 0x461bcd 00000d3f: PUSH1 0xe5 00000d41: SHL 00000d42: DUP3 00000d43: MSTORE 00000d44: PUSH2 0x0678 00000d47: SWAP2 00000d48: PUSH1 0x04 00000d4a: ADD 00000d4b: PUSH2 0x17c4 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH2 0x0d59 00000d53: DUP3 00000d54: DUP3 00000d55: PUSH2 0x068f 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH2 0x068b 00000d5d: JUMPI 00000d5e: PUSH1 0x00 00000d60: DUP3 00000d61: DUP2 00000d62: MSTORE 00000d63: PUSH1 0x02 00000d65: PUSH1 0x20 00000d67: SWAP1 00000d68: DUP2 00000d69: MSTORE 00000d6a: PUSH1 0x40 00000d6c: DUP1 00000d6d: DUP4 00000d6e: KECCAK256 00000d6f: PUSH1 0x01 00000d71: PUSH1 0x01 00000d73: PUSH1 0xa0 00000d75: SHL 00000d76: SUB 00000d77: DUP6 00000d78: AND 00000d79: DUP5 00000d7a: MSTORE 00000d7b: SWAP1 00000d7c: SWAP2 00000d7d: MSTORE 00000d7e: SWAP1 00000d7f: KECCAK256 00000d80: DUP1 00000d81: SLOAD 00000d82: PUSH1 0xff 00000d84: NOT 00000d85: AND 00000d86: PUSH1 0x01 00000d88: OR 00000d89: SWAP1 00000d8a: SSTORE 00000d8b: PUSH2 0x0d91 00000d8e: CALLER 00000d8f: SWAP1 00000d90: JUMP 00000d91: JUMPDEST 00000d92: PUSH1 0x01 00000d94: PUSH1 0x01 00000d96: PUSH1 0xa0 00000d98: SHL 00000d99: SUB 00000d9a: AND 00000d9b: DUP2 00000d9c: PUSH1 0x01 00000d9e: PUSH1 0x01 00000da0: PUSH1 0xa0 00000da2: SHL 00000da3: SUB 00000da4: AND 00000da5: DUP4 00000da6: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000dc7: PUSH1 0x40 00000dc9: MLOAD 00000dca: PUSH1 0x40 00000dcc: MLOAD 00000dcd: DUP1 00000dce: SWAP2 00000dcf: SUB 00000dd0: SWAP1 00000dd1: LOG4 00000dd2: POP 00000dd3: POP 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: PUSH2 0x0ddf 00000dd9: DUP3 00000dda: DUP3 00000ddb: PUSH2 0x068f 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: ISZERO 00000de1: PUSH2 0x068b 00000de4: JUMPI 00000de5: PUSH1 0x00 00000de7: DUP3 00000de8: DUP2 00000de9: MSTORE 00000dea: PUSH1 0x02 00000dec: PUSH1 0x20 00000dee: SWAP1 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x40 00000df3: DUP1 00000df4: DUP4 00000df5: KECCAK256 00000df6: PUSH1 0x01 00000df8: PUSH1 0x01 00000dfa: PUSH1 0xa0 00000dfc: SHL 00000dfd: SUB 00000dfe: DUP6 00000dff: AND 00000e00: DUP1 00000e01: DUP6 00000e02: MSTORE 00000e03: SWAP3 00000e04: MSTORE 00000e05: DUP1 00000e06: DUP4 00000e07: KECCAK256 00000e08: DUP1 00000e09: SLOAD 00000e0a: PUSH1 0xff 00000e0c: NOT 00000e0d: AND 00000e0e: SWAP1 00000e0f: SSTORE 00000e10: MLOAD 00000e11: CALLER 00000e12: SWAP3 00000e13: DUP6 00000e14: SWAP2 00000e15: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00000e36: SWAP2 00000e37: SWAP1 00000e38: LOG4 00000e39: POP 00000e3a: POP 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH1 0x40 00000e3f: MLOAD 00000e40: PUSH1 0x01 00000e42: PUSH1 0x01 00000e44: PUSH1 0xa0 00000e46: SHL 00000e47: SUB 00000e48: DUP1 00000e49: DUP6 00000e4a: AND 00000e4b: PUSH1 0x24 00000e4d: DUP4 00000e4e: ADD 00000e4f: MSTORE 00000e50: DUP4 00000e51: AND 00000e52: PUSH1 0x44 00000e54: DUP3 00000e55: ADD 00000e56: MSTORE 00000e57: PUSH1 0x64 00000e59: DUP2 00000e5a: ADD 00000e5b: DUP3 00000e5c: SWAP1 00000e5d: MSTORE 00000e5e: PUSH2 0x059f 00000e61: SWAP1 00000e62: DUP6 00000e63: SWAP1 00000e64: PUSH4 0x23b872dd 00000e69: PUSH1 0xe0 00000e6b: SHL 00000e6c: SWAP1 00000e6d: PUSH1 0x84 00000e6f: ADD 00000e70: JUMPDEST 00000e71: PUSH1 0x40 00000e73: DUP1 00000e74: MLOAD 00000e75: PUSH1 0x1f 00000e77: NOT 00000e78: DUP2 00000e79: DUP5 00000e7a: SUB 00000e7b: ADD 00000e7c: DUP2 00000e7d: MSTORE 00000e7e: SWAP2 00000e7f: SWAP1 00000e80: MSTORE 00000e81: PUSH1 0x20 00000e83: DUP2 00000e84: ADD 00000e85: DUP1 00000e86: MLOAD 00000e87: PUSH1 0x01 00000e89: PUSH1 0x01 00000e8b: PUSH1 0xe0 00000e8d: SHL 00000e8e: SUB 00000e8f: AND 00000e90: PUSH1 0x01 00000e92: PUSH1 0x01 00000e94: PUSH1 0xe0 00000e96: SHL 00000e97: SUB 00000e98: NOT 00000e99: SWAP1 00000e9a: SWAP4 00000e9b: AND 00000e9c: SWAP3 00000e9d: SWAP1 00000e9e: SWAP3 00000e9f: OR 00000ea0: SWAP1 00000ea1: SWAP2 00000ea2: MSTORE 00000ea3: PUSH2 0x1374 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: PUSH1 0x40 00000eaa: MLOAD 00000eab: PUSH4 0x079cc679 00000eb0: PUSH1 0xe4 00000eb2: SHL 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x01 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0xa0 00000ebb: SHL 00000ebc: SUB 00000ebd: DUP4 00000ebe: DUP2 00000ebf: AND 00000ec0: PUSH1 0x04 00000ec2: DUP4 00000ec3: ADD 00000ec4: MSTORE 00000ec5: PUSH1 0x24 00000ec7: DUP3 00000ec8: ADD 00000ec9: DUP4 00000eca: SWAP1 00000ecb: MSTORE 00000ecc: DUP5 00000ecd: SWAP2 00000ece: SWAP1 00000ecf: DUP3 00000ed0: AND 00000ed1: SWAP1 00000ed2: PUSH4 0x79cc6790 00000ed7: SWAP1 00000ed8: PUSH1 0x44 00000eda: ADD 00000edb: JUMPDEST 00000edc: PUSH1 0x00 00000ede: PUSH1 0x40 00000ee0: MLOAD 00000ee1: DUP1 00000ee2: DUP4 00000ee3: SUB 00000ee4: DUP2 00000ee5: PUSH1 0x00 00000ee7: DUP8 00000ee8: DUP1 00000ee9: EXTCODESIZE 00000eea: ISZERO 00000eeb: DUP1 00000eec: ISZERO 00000eed: PUSH2 0x0ef5 00000ef0: JUMPI 00000ef1: PUSH1 0x00 00000ef3: DUP1 00000ef4: REVERT 00000ef5: JUMPDEST 00000ef6: POP 00000ef7: GAS 00000ef8: CALL 00000ef9: ISZERO 00000efa: DUP1 00000efb: ISZERO 00000efc: PUSH2 0x0f09 00000eff: JUMPI 00000f00: RETURNDATASIZE 00000f01: PUSH1 0x00 00000f03: DUP1 00000f04: RETURNDATACOPY 00000f05: RETURNDATASIZE 00000f06: PUSH1 0x00 00000f08: REVERT 00000f09: JUMPDEST 00000f0a: POP 00000f0b: POP 00000f0c: POP 00000f0d: POP 00000f0e: POP 00000f0f: POP 00000f10: POP 00000f11: POP 00000f12: JUMP 00000f13: JUMPDEST 00000f14: DUP4 00000f15: PUSH2 0x0b95 00000f18: DUP2 00000f19: DUP6 00000f1a: DUP6 00000f1b: DUP6 00000f1c: PUSH2 0x0e3c 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x01 00000f23: PUSH1 0x01 00000f25: PUSH1 0xa0 00000f27: SHL 00000f28: SUB 00000f29: DUP3 00000f2a: AND 00000f2b: PUSH1 0x00 00000f2d: SWAP1 00000f2e: DUP2 00000f2f: MSTORE 00000f30: PUSH1 0x01 00000f32: PUSH1 0x20 00000f34: SWAP1 00000f35: DUP2 00000f36: MSTORE 00000f37: PUSH1 0x40 00000f39: DUP1 00000f3a: DUP4 00000f3b: KECCAK256 00000f3c: DUP2 00000f3d: MLOAD 00000f3e: DUP1 00000f3f: DUP4 00000f40: ADD 00000f41: SWAP1 00000f42: SWAP3 00000f43: MSTORE 00000f44: PUSH1 0x02 00000f46: ADD 00000f47: SLOAD 00000f48: PUSH1 0xff 00000f4a: DUP1 00000f4b: DUP3 00000f4c: AND 00000f4d: ISZERO 00000f4e: ISZERO 00000f4f: DUP1 00000f50: DUP5 00000f51: MSTORE 00000f52: PUSH2 0x0100 00000f55: SWAP1 00000f56: SWAP3 00000f57: DIV 00000f58: AND 00000f59: SWAP3 00000f5a: DUP3 00000f5b: ADD 00000f5c: SWAP3 00000f5d: SWAP1 00000f5e: SWAP3 00000f5f: MSTORE 00000f60: PUSH1 0x60 00000f62: SWAP3 00000f63: SWAP1 00000f64: SWAP2 00000f65: PUSH2 0x0f81 00000f68: JUMPI 00000f69: PUSH1 0x40 00000f6b: MLOAD 00000f6c: DUP1 00000f6d: PUSH1 0x20 00000f6f: ADD 00000f70: PUSH1 0x40 00000f72: MSTORE 00000f73: DUP1 00000f74: PUSH1 0x00 00000f76: DUP2 00000f77: MSTORE 00000f78: POP 00000f79: SWAP3 00000f7a: POP 00000f7b: POP 00000f7c: POP 00000f7d: PUSH2 0x0508 00000f80: JUMP 00000f81: JUMPDEST 00000f82: PUSH1 0x12 00000f84: PUSH1 0xff 00000f86: AND 00000f87: DUP3 00000f88: PUSH1 0x20 00000f8a: ADD 00000f8b: MLOAD 00000f8c: PUSH1 0xff 00000f8e: AND 00000f8f: LT 00000f90: PUSH2 0x0fc0 00000f93: JUMPI 00000f94: PUSH1 0x12 00000f96: DUP3 00000f97: PUSH1 0x20 00000f99: ADD 00000f9a: MLOAD 00000f9b: PUSH2 0x0fa4 00000f9e: SWAP2 00000f9f: SWAP1 00000fa0: PUSH2 0x19da 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH2 0x0faf 00000fa8: SWAP1 00000fa9: PUSH1 0x0a 00000fab: PUSH2 0x1ae1 00000fae: JUMP 00000faf: JUMPDEST 00000fb0: PUSH2 0x0fb9 00000fb3: SWAP1 00000fb4: DUP6 00000fb5: PUSH2 0x1893 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: SWAP1 00000fbb: POP 00000fbc: PUSH2 0x0fe8 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x20 00000fc3: DUP3 00000fc4: ADD 00000fc5: MLOAD 00000fc6: PUSH2 0x0fd0 00000fc9: SWAP1 00000fca: PUSH1 0x12 00000fcc: PUSH2 0x19da 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: PUSH2 0x0fdb 00000fd4: SWAP1 00000fd5: PUSH1 0x0a 00000fd7: PUSH2 0x1ae1 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH2 0x0fe5 00000fdf: SWAP1 00000fe0: DUP6 00000fe1: PUSH2 0x1af0 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: SWAP1 00000fe7: POP 00000fe8: JUMPDEST 00000fe9: PUSH1 0x40 00000feb: DUP1 00000fec: MLOAD 00000fed: PUSH1 0x20 00000fef: DUP2 00000ff0: ADD 00000ff1: DUP4 00000ff2: SWAP1 00000ff3: MSTORE 00000ff4: ADD 00000ff5: PUSH1 0x40 00000ff7: MLOAD 00000ff8: PUSH1 0x20 00000ffa: DUP2 00000ffb: DUP4 00000ffc: SUB 00000ffd: SUB 00000ffe: DUP2 00000fff: MSTORE 00001000: SWAP1 00001001: PUSH1 0x40 00001003: MSTORE 00001004: SWAP3 00001005: POP 00001006: POP 00001007: POP 00001008: SWAP3 00001009: SWAP2 0000100a: POP 0000100b: POP 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH1 0x01 00001010: PUSH1 0x01 00001012: PUSH1 0xa0 00001014: SHL 00001015: SUB 00001016: DUP3 00001017: AND 00001018: PUSH1 0x00 0000101a: SWAP1 0000101b: DUP2 0000101c: MSTORE 0000101d: PUSH1 0x01 0000101f: PUSH1 0x20 00001021: SWAP1 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x40 00001026: DUP1 00001027: DUP4 00001028: KECCAK256 00001029: DUP2 0000102a: MLOAD 0000102b: DUP1 0000102c: DUP4 0000102d: ADD 0000102e: SWAP1 0000102f: SWAP3 00001030: MSTORE 00001031: PUSH1 0x02 00001033: ADD 00001034: SLOAD 00001035: PUSH1 0xff 00001037: DUP1 00001038: DUP3 00001039: AND 0000103a: ISZERO 0000103b: ISZERO 0000103c: DUP1 0000103d: DUP5 0000103e: MSTORE 0000103f: PUSH2 0x0100 00001042: SWAP1 00001043: SWAP3 00001044: DIV 00001045: AND 00001046: SWAP3 00001047: DUP3 00001048: ADD 00001049: SWAP3 0000104a: SWAP1 0000104b: SWAP3 0000104c: MSTORE 0000104d: SWAP1 0000104e: PUSH2 0x105a 00001051: JUMPI 00001052: DUP3 00001053: SWAP2 00001054: POP 00001055: POP 00001056: PUSH2 0x0508 00001059: JUMP 0000105a: JUMPDEST 0000105b: PUSH1 0x12 0000105d: PUSH1 0xff 0000105f: AND 00001060: DUP2 00001061: PUSH1 0x20 00001063: ADD 00001064: MLOAD 00001065: PUSH1 0xff 00001067: AND 00001068: LT 00001069: PUSH2 0x109a 0000106c: JUMPI 0000106d: PUSH1 0x12 0000106f: DUP2 00001070: PUSH1 0x20 00001072: ADD 00001073: MLOAD 00001074: PUSH2 0x107d 00001077: SWAP2 00001078: SWAP1 00001079: PUSH2 0x19da 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH2 0x1088 00001081: SWAP1 00001082: PUSH1 0x0a 00001084: PUSH2 0x1ae1 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH2 0x1092 0000108c: SWAP1 0000108d: DUP5 0000108e: PUSH2 0x1af0 00001091: JUMP 00001092: JUMPDEST 00001093: SWAP2 00001094: POP 00001095: POP 00001096: PUSH2 0x0508 00001099: JUMP 0000109a: JUMPDEST 0000109b: PUSH1 0x20 0000109d: DUP2 0000109e: ADD 0000109f: MLOAD 000010a0: PUSH2 0x10aa 000010a3: SWAP1 000010a4: PUSH1 0x12 000010a6: PUSH2 0x19da 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH2 0x10b5 000010ae: SWAP1 000010af: PUSH1 0x0a 000010b1: PUSH2 0x1ae1 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH2 0x1092 000010b9: SWAP1 000010ba: DUP5 000010bb: PUSH2 0x1893 000010be: JUMP 000010bf: JUMPDEST 000010c0: PUSH1 0x40 000010c2: MLOAD 000010c3: PUSH4 0x40c10f19 000010c8: PUSH1 0xe0 000010ca: SHL 000010cb: DUP2 000010cc: MSTORE 000010cd: PUSH1 0x01 000010cf: PUSH1 0x01 000010d1: PUSH1 0xa0 000010d3: SHL 000010d4: SUB 000010d5: DUP4 000010d6: DUP2 000010d7: AND 000010d8: PUSH1 0x04 000010da: DUP4 000010db: ADD 000010dc: MSTORE 000010dd: PUSH1 0x24 000010df: DUP3 000010e0: ADD 000010e1: DUP4 000010e2: SWAP1 000010e3: MSTORE 000010e4: DUP5 000010e5: SWAP2 000010e6: SWAP1 000010e7: DUP3 000010e8: AND 000010e9: SWAP1 000010ea: PUSH4 0x40c10f19 000010ef: SWAP1 000010f0: PUSH1 0x44 000010f2: ADD 000010f3: PUSH2 0x0edb 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH1 0x01 000010fa: PUSH1 0x01 000010fc: PUSH1 0xa0 000010fe: SHL 000010ff: SUB 00001100: DUP3 00001101: AND 00001102: PUSH1 0x00 00001104: SWAP1 00001105: DUP2 00001106: MSTORE 00001107: PUSH1 0x01 00001109: PUSH1 0x20 0000110b: DUP2 0000110c: SWAP1 0000110d: MSTORE 0000110e: PUSH1 0x40 00001110: SWAP1 00001111: SWAP2 00001112: KECCAK256 00001113: ADD 00001114: SLOAD 00001115: PUSH1 0xff 00001117: AND 00001118: PUSH2 0x113f 0000111b: JUMPI 0000111c: PUSH1 0x40 0000111e: MLOAD 0000111f: PUSH4 0x25df77c5 00001124: PUSH1 0xe1 00001126: SHL 00001127: DUP2 00001128: MSTORE 00001129: PUSH1 0x01 0000112b: PUSH1 0x01 0000112d: PUSH1 0xa0 0000112f: SHL 00001130: SUB 00001131: DUP4 00001132: AND 00001133: PUSH1 0x04 00001135: DUP3 00001136: ADD 00001137: MSTORE 00001138: PUSH1 0x24 0000113a: ADD 0000113b: PUSH2 0x0678 0000113e: JUMP 0000113f: JUMPDEST 00001140: PUSH1 0x40 00001142: DUP1 00001143: MLOAD 00001144: DUP1 00001145: DUP3 00001146: ADD 00001147: DUP3 00001148: MSTORE 00001149: PUSH1 0x01 0000114b: DUP1 0000114c: DUP3 0000114d: MSTORE 0000114e: PUSH1 0xff 00001150: SWAP4 00001151: DUP5 00001152: AND 00001153: PUSH1 0x20 00001155: DUP1 00001156: DUP5 00001157: ADD 00001158: SWAP2 00001159: DUP3 0000115a: MSTORE 0000115b: PUSH1 0x01 0000115d: PUSH1 0x01 0000115f: PUSH1 0xa0 00001161: SHL 00001162: SUB 00001163: SWAP7 00001164: SWAP1 00001165: SWAP7 00001166: AND 00001167: PUSH1 0x00 00001169: SWAP1 0000116a: DUP2 0000116b: MSTORE 0000116c: SWAP2 0000116d: SWAP1 0000116e: SWAP6 0000116f: MSTORE 00001170: SWAP2 00001171: SWAP1 00001172: SWAP2 00001173: KECCAK256 00001174: SWAP1 00001175: MLOAD 00001176: PUSH1 0x02 00001178: SWAP1 00001179: SWAP2 0000117a: ADD 0000117b: DUP1 0000117c: SLOAD 0000117d: SWAP4 0000117e: MLOAD 0000117f: PUSH2 0xffff 00001182: NOT 00001183: SWAP1 00001184: SWAP5 00001185: AND 00001186: SWAP2 00001187: ISZERO 00001188: ISZERO 00001189: PUSH2 0xff00 0000118c: NOT 0000118d: AND 0000118e: SWAP2 0000118f: SWAP1 00001190: SWAP2 00001191: OR 00001192: PUSH2 0x0100 00001195: SWAP4 00001196: SWAP1 00001197: SWAP3 00001198: AND 00001199: SWAP3 0000119a: SWAP1 0000119b: SWAP3 0000119c: MUL 0000119d: OR 0000119e: SWAP1 0000119f: SSTORE 000011a0: JUMP 000011a1: JUMPDEST 000011a2: PUSH1 0x40 000011a4: MLOAD 000011a5: PUSH1 0x01 000011a7: PUSH1 0x01 000011a9: PUSH1 0xa0 000011ab: SHL 000011ac: SUB 000011ad: DUP4 000011ae: AND 000011af: PUSH1 0x24 000011b1: DUP3 000011b2: ADD 000011b3: MSTORE 000011b4: PUSH1 0x44 000011b6: DUP2 000011b7: ADD 000011b8: DUP3 000011b9: SWAP1 000011ba: MSTORE 000011bb: PUSH2 0x0607 000011be: SWAP1 000011bf: DUP5 000011c0: SWAP1 000011c1: PUSH4 0xa9059cbb 000011c6: PUSH1 0xe0 000011c8: SHL 000011c9: SWAP1 000011ca: PUSH1 0x64 000011cc: ADD 000011cd: PUSH2 0x0e70 000011d0: JUMP 000011d1: JUMPDEST 000011d2: PUSH1 0x60 000011d4: PUSH1 0x00 000011d6: PUSH2 0x11e0 000011d9: DUP4 000011da: PUSH1 0x02 000011dc: PUSH2 0x1af0 000011df: JUMP 000011e0: JUMPDEST 000011e1: PUSH2 0x11eb 000011e4: SWAP1 000011e5: PUSH1 0x02 000011e7: PUSH2 0x18b5 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH8 0xffffffffffffffff 000011f5: DUP2 000011f6: GT 000011f7: ISZERO 000011f8: PUSH2 0x1203 000011fb: JUMPI 000011fc: PUSH2 0x1203 000011ff: PUSH2 0x1522 00001202: JUMP 00001203: JUMPDEST 00001204: PUSH1 0x40 00001206: MLOAD 00001207: SWAP1 00001208: DUP1 00001209: DUP3 0000120a: MSTORE 0000120b: DUP1 0000120c: PUSH1 0x1f 0000120e: ADD 0000120f: PUSH1 0x1f 00001211: NOT 00001212: AND 00001213: PUSH1 0x20 00001215: ADD 00001216: DUP3 00001217: ADD 00001218: PUSH1 0x40 0000121a: MSTORE 0000121b: DUP1 0000121c: ISZERO 0000121d: PUSH2 0x122d 00001220: JUMPI 00001221: PUSH1 0x20 00001223: DUP3 00001224: ADD 00001225: DUP2 00001226: DUP1 00001227: CALLDATASIZE 00001228: DUP4 00001229: CALLDATACOPY 0000122a: ADD 0000122b: SWAP1 0000122c: POP 0000122d: JUMPDEST 0000122e: POP 0000122f: SWAP1 00001230: POP 00001231: PUSH1 0x03 00001233: PUSH1 0xfc 00001235: SHL 00001236: DUP2 00001237: PUSH1 0x00 00001239: DUP2 0000123a: MLOAD 0000123b: DUP2 0000123c: LT 0000123d: PUSH2 0x1248 00001240: JUMPI 00001241: PUSH2 0x1248 00001244: PUSH2 0x1b0f 00001247: JUMP 00001248: JUMPDEST 00001249: PUSH1 0x20 0000124b: ADD 0000124c: ADD 0000124d: SWAP1 0000124e: PUSH1 0x01 00001250: PUSH1 0x01 00001252: PUSH1 0xf8 00001254: SHL 00001255: SUB 00001256: NOT 00001257: AND 00001258: SWAP1 00001259: DUP2 0000125a: PUSH1 0x00 0000125c: BYTE 0000125d: SWAP1 0000125e: MSTORE8 0000125f: POP 00001260: PUSH1 0x0f 00001262: PUSH1 0xfb 00001264: SHL 00001265: DUP2 00001266: PUSH1 0x01 00001268: DUP2 00001269: MLOAD 0000126a: DUP2 0000126b: LT 0000126c: PUSH2 0x1277 0000126f: JUMPI 00001270: PUSH2 0x1277 00001273: PUSH2 0x1b0f 00001276: JUMP 00001277: JUMPDEST 00001278: PUSH1 0x20 0000127a: ADD 0000127b: ADD 0000127c: SWAP1 0000127d: PUSH1 0x01 0000127f: PUSH1 0x01 00001281: PUSH1 0xf8 00001283: SHL 00001284: SUB 00001285: NOT 00001286: AND 00001287: SWAP1 00001288: DUP2 00001289: PUSH1 0x00 0000128b: BYTE 0000128c: SWAP1 0000128d: MSTORE8 0000128e: POP 0000128f: PUSH1 0x00 00001291: PUSH2 0x129b 00001294: DUP5 00001295: PUSH1 0x02 00001297: PUSH2 0x1af0 0000129a: JUMP 0000129b: JUMPDEST 0000129c: PUSH2 0x12a6 0000129f: SWAP1 000012a0: PUSH1 0x01 000012a2: PUSH2 0x18b5 000012a5: JUMP 000012a6: JUMPDEST 000012a7: SWAP1 000012a8: POP 000012a9: JUMPDEST 000012aa: PUSH1 0x01 000012ac: DUP2 000012ad: GT 000012ae: ISZERO 000012af: PUSH2 0x131e 000012b2: JUMPI 000012b3: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 000012c4: PUSH1 0x81 000012c6: SHL 000012c7: DUP6 000012c8: PUSH1 0x0f 000012ca: AND 000012cb: PUSH1 0x10 000012cd: DUP2 000012ce: LT 000012cf: PUSH2 0x12da 000012d2: JUMPI 000012d3: PUSH2 0x12da 000012d6: PUSH2 0x1b0f 000012d9: JUMP 000012da: JUMPDEST 000012db: BYTE 000012dc: PUSH1 0xf8 000012de: SHL 000012df: DUP3 000012e0: DUP3 000012e1: DUP2 000012e2: MLOAD 000012e3: DUP2 000012e4: LT 000012e5: PUSH2 0x12f0 000012e8: JUMPI 000012e9: PUSH2 0x12f0 000012ec: PUSH2 0x1b0f 000012ef: JUMP 000012f0: JUMPDEST 000012f1: PUSH1 0x20 000012f3: ADD 000012f4: ADD 000012f5: SWAP1 000012f6: PUSH1 0x01 000012f8: PUSH1 0x01 000012fa: PUSH1 0xf8 000012fc: SHL 000012fd: SUB 000012fe: NOT 000012ff: AND 00001300: SWAP1 00001301: DUP2 00001302: PUSH1 0x00 00001304: BYTE 00001305: SWAP1 00001306: MSTORE8 00001307: POP 00001308: PUSH1 0x04 0000130a: SWAP5 0000130b: SWAP1 0000130c: SWAP5 0000130d: SHR 0000130e: SWAP4 0000130f: PUSH2 0x1317 00001312: DUP2 00001313: PUSH2 0x1b25 00001316: JUMP 00001317: JUMPDEST 00001318: SWAP1 00001319: POP 0000131a: PUSH2 0x12a9 0000131d: JUMP 0000131e: JUMPDEST 0000131f: POP 00001320: DUP4 00001321: ISZERO 00001322: PUSH2 0x136d 00001325: JUMPI 00001326: PUSH1 0x40 00001328: MLOAD 00001329: PUSH3 0x461bcd 0000132d: PUSH1 0xe5 0000132f: SHL 00001330: DUP2 00001331: MSTORE 00001332: PUSH1 0x20 00001334: PUSH1 0x04 00001336: DUP3 00001337: ADD 00001338: DUP2 00001339: SWAP1 0000133a: MSTORE 0000133b: PUSH1 0x24 0000133d: DUP3 0000133e: ADD 0000133f: MSTORE 00001340: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00001361: PUSH1 0x44 00001363: DUP3 00001364: ADD 00001365: MSTORE 00001366: PUSH1 0x64 00001368: ADD 00001369: PUSH2 0x0678 0000136c: JUMP 0000136d: JUMPDEST 0000136e: SWAP4 0000136f: SWAP3 00001370: POP 00001371: POP 00001372: POP 00001373: JUMP 00001374: JUMPDEST 00001375: DUP2 00001376: EXTCODESIZE 00001377: DUP1 00001378: PUSH2 0x13bb 0000137b: JUMPI 0000137c: PUSH1 0x40 0000137e: MLOAD 0000137f: PUSH3 0x461bcd 00001383: PUSH1 0xe5 00001385: SHL 00001386: DUP2 00001387: MSTORE 00001388: PUSH1 0x20 0000138a: PUSH1 0x04 0000138c: DUP3 0000138d: ADD 0000138e: MSTORE 0000138f: PUSH1 0x15 00001391: PUSH1 0x24 00001393: DUP3 00001394: ADD 00001395: MSTORE 00001396: PUSH21 0x115490cc8c0e881b9bdd08184818dbdb9d1c9858dd 000013ac: PUSH1 0x5a 000013ae: SHL 000013af: PUSH1 0x44 000013b1: DUP3 000013b2: ADD 000013b3: MSTORE 000013b4: PUSH1 0x64 000013b6: ADD 000013b7: PUSH2 0x0678 000013ba: JUMP 000013bb: JUMPDEST 000013bc: PUSH1 0x00 000013be: DUP1 000013bf: DUP5 000013c0: PUSH1 0x01 000013c2: PUSH1 0x01 000013c4: PUSH1 0xa0 000013c6: SHL 000013c7: SUB 000013c8: AND 000013c9: DUP5 000013ca: PUSH1 0x40 000013cc: MLOAD 000013cd: PUSH2 0x13d6 000013d0: SWAP2 000013d1: SWAP1 000013d2: PUSH2 0x18cd 000013d5: JUMP 000013d6: JUMPDEST 000013d7: PUSH1 0x00 000013d9: PUSH1 0x40 000013db: MLOAD 000013dc: DUP1 000013dd: DUP4 000013de: SUB 000013df: DUP2 000013e0: PUSH1 0x00 000013e2: DUP7 000013e3: GAS 000013e4: CALL 000013e5: SWAP2 000013e6: POP 000013e7: POP 000013e8: RETURNDATASIZE 000013e9: DUP1 000013ea: PUSH1 0x00 000013ec: DUP2 000013ed: EQ 000013ee: PUSH2 0x1413 000013f1: JUMPI 000013f2: PUSH1 0x40 000013f4: MLOAD 000013f5: SWAP2 000013f6: POP 000013f7: PUSH1 0x1f 000013f9: NOT 000013fa: PUSH1 0x3f 000013fc: RETURNDATASIZE 000013fd: ADD 000013fe: AND 000013ff: DUP3 00001400: ADD 00001401: PUSH1 0x40 00001403: MSTORE 00001404: RETURNDATASIZE 00001405: DUP3 00001406: MSTORE 00001407: RETURNDATASIZE 00001408: PUSH1 0x00 0000140a: PUSH1 0x20 0000140c: DUP5 0000140d: ADD 0000140e: RETURNDATACOPY 0000140f: PUSH2 0x1418 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH1 0x60 00001416: SWAP2 00001417: POP 00001418: JUMPDEST 00001419: POP 0000141a: SWAP2 0000141b: POP 0000141c: SWAP2 0000141d: POP 0000141e: DUP2 0000141f: PUSH2 0x145f 00001422: JUMPI 00001423: PUSH1 0x40 00001425: MLOAD 00001426: PUSH3 0x461bcd 0000142a: PUSH1 0xe5 0000142c: SHL 0000142d: DUP2 0000142e: MSTORE 0000142f: PUSH1 0x20 00001431: PUSH1 0x04 00001433: DUP3 00001434: ADD 00001435: MSTORE 00001436: PUSH1 0x12 00001438: PUSH1 0x24 0000143a: DUP3 0000143b: ADD 0000143c: MSTORE 0000143d: PUSH18 0x115490cc8c0e8818d85b1b0819985a5b1959 00001450: PUSH1 0x72 00001452: SHL 00001453: PUSH1 0x44 00001455: DUP3 00001456: ADD 00001457: MSTORE 00001458: PUSH1 0x64 0000145a: ADD 0000145b: PUSH2 0x0678 0000145e: JUMP 0000145f: JUMPDEST 00001460: DUP1 00001461: MLOAD 00001462: ISZERO 00001463: PUSH2 0x0b95 00001466: JUMPI 00001467: DUP1 00001468: DUP1 00001469: PUSH1 0x20 0000146b: ADD 0000146c: SWAP1 0000146d: MLOAD 0000146e: DUP2 0000146f: ADD 00001470: SWAP1 00001471: PUSH2 0x147a 00001474: SWAP2 00001475: SWAP1 00001476: PUSH2 0x1b3c 00001479: JUMP 0000147a: JUMPDEST 0000147b: PUSH2 0x0b95 0000147e: JUMPI 0000147f: PUSH1 0x40 00001481: MLOAD 00001482: PUSH3 0x461bcd 00001486: PUSH1 0xe5 00001488: SHL 00001489: DUP2 0000148a: MSTORE 0000148b: PUSH1 0x20 0000148d: PUSH1 0x04 0000148f: DUP3 00001490: ADD 00001491: DUP2 00001492: SWAP1 00001493: MSTORE 00001494: PUSH1 0x24 00001496: DUP3 00001497: ADD 00001498: MSTORE 00001499: PUSH32 0x45524332303a206f7065726174696f6e20646964206e6f742073756363656564 000014ba: PUSH1 0x44 000014bc: DUP3 000014bd: ADD 000014be: MSTORE 000014bf: PUSH1 0x64 000014c1: ADD 000014c2: PUSH2 0x0678 000014c5: JUMP 000014c6: JUMPDEST 000014c7: PUSH1 0x00 000014c9: PUSH1 0x20 000014cb: DUP3 000014cc: DUP5 000014cd: SUB 000014ce: SLT 000014cf: ISZERO 000014d0: PUSH2 0x14d8 000014d3: JUMPI 000014d4: PUSH1 0x00 000014d6: DUP1 000014d7: REVERT 000014d8: JUMPDEST 000014d9: DUP2 000014da: CALLDATALOAD 000014db: PUSH1 0x01 000014dd: PUSH1 0x01 000014df: PUSH1 0xe0 000014e1: SHL 000014e2: SUB 000014e3: NOT 000014e4: DUP2 000014e5: AND 000014e6: DUP2 000014e7: EQ 000014e8: PUSH2 0x136d 000014eb: JUMPI 000014ec: PUSH1 0x00 000014ee: DUP1 000014ef: REVERT 000014f0: JUMPDEST 000014f1: PUSH1 0x01 000014f3: PUSH1 0x01 000014f5: PUSH1 0xa0 000014f7: SHL 000014f8: SUB 000014f9: DUP2 000014fa: AND 000014fb: DUP2 000014fc: EQ 000014fd: PUSH2 0x051f 00001500: JUMPI 00001501: PUSH1 0x00 00001503: DUP1 00001504: REVERT 00001505: JUMPDEST 00001506: PUSH1 0x00 00001508: PUSH1 0x20 0000150a: DUP3 0000150b: DUP5 0000150c: SUB 0000150d: SLT 0000150e: ISZERO 0000150f: PUSH2 0x1517 00001512: JUMPI 00001513: PUSH1 0x00 00001515: DUP1 00001516: REVERT 00001517: JUMPDEST 00001518: DUP2 00001519: CALLDATALOAD 0000151a: PUSH2 0x136d 0000151d: DUP2 0000151e: PUSH2 0x14f0 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH4 0x4e487b71 00001528: PUSH1 0xe0 0000152a: SHL 0000152b: PUSH1 0x00 0000152d: MSTORE 0000152e: PUSH1 0x41 00001530: PUSH1 0x04 00001532: MSTORE 00001533: PUSH1 0x24 00001535: PUSH1 0x00 00001537: REVERT 00001538: JUMPDEST 00001539: PUSH1 0x00 0000153b: PUSH1 0x20 0000153d: DUP3 0000153e: DUP5 0000153f: SUB 00001540: SLT 00001541: ISZERO 00001542: PUSH2 0x154a 00001545: JUMPI 00001546: PUSH1 0x00 00001548: DUP1 00001549: REVERT 0000154a: JUMPDEST 0000154b: DUP2 0000154c: CALLDATALOAD 0000154d: PUSH8 0xffffffffffffffff 00001556: DUP1 00001557: DUP3 00001558: GT 00001559: ISZERO 0000155a: PUSH2 0x1562 0000155d: JUMPI 0000155e: PUSH1 0x00 00001560: DUP1 00001561: REVERT 00001562: JUMPDEST 00001563: DUP2 00001564: DUP5 00001565: ADD 00001566: SWAP2 00001567: POP 00001568: DUP5 00001569: PUSH1 0x1f 0000156b: DUP4 0000156c: ADD 0000156d: SLT 0000156e: PUSH2 0x1576 00001571: JUMPI 00001572: PUSH1 0x00 00001574: DUP1 00001575: REVERT 00001576: JUMPDEST 00001577: DUP2 00001578: CALLDATALOAD 00001579: DUP2 0000157a: DUP2 0000157b: GT 0000157c: ISZERO 0000157d: PUSH2 0x1588 00001580: JUMPI 00001581: PUSH2 0x1588 00001584: PUSH2 0x1522 00001587: JUMP 00001588: JUMPDEST 00001589: PUSH1 0x40 0000158b: MLOAD 0000158c: PUSH1 0x1f 0000158e: DUP3 0000158f: ADD 00001590: PUSH1 0x1f 00001592: NOT 00001593: SWAP1 00001594: DUP2 00001595: AND 00001596: PUSH1 0x3f 00001598: ADD 00001599: AND 0000159a: DUP2 0000159b: ADD 0000159c: SWAP1 0000159d: DUP4 0000159e: DUP3 0000159f: GT 000015a0: DUP2 000015a1: DUP4 000015a2: LT 000015a3: OR 000015a4: ISZERO 000015a5: PUSH2 0x15b0 000015a8: JUMPI 000015a9: PUSH2 0x15b0 000015ac: PUSH2 0x1522 000015af: JUMP 000015b0: JUMPDEST 000015b1: DUP2 000015b2: PUSH1 0x40 000015b4: MSTORE 000015b5: DUP3 000015b6: DUP2 000015b7: MSTORE 000015b8: DUP8 000015b9: PUSH1 0x20 000015bb: DUP5 000015bc: DUP8 000015bd: ADD 000015be: ADD 000015bf: GT 000015c0: ISZERO 000015c1: PUSH2 0x15c9 000015c4: JUMPI 000015c5: PUSH1 0x00 000015c7: DUP1 000015c8: REVERT 000015c9: JUMPDEST 000015ca: DUP3 000015cb: PUSH1 0x20 000015cd: DUP7 000015ce: ADD 000015cf: PUSH1 0x20 000015d1: DUP4 000015d2: ADD 000015d3: CALLDATACOPY 000015d4: PUSH1 0x00 000015d6: SWAP3 000015d7: DUP2 000015d8: ADD 000015d9: PUSH1 0x20 000015db: ADD 000015dc: SWAP3 000015dd: SWAP1 000015de: SWAP3 000015df: MSTORE 000015e0: POP 000015e1: SWAP6 000015e2: SWAP5 000015e3: POP 000015e4: POP 000015e5: POP 000015e6: POP 000015e7: POP 000015e8: JUMP 000015e9: JUMPDEST 000015ea: PUSH1 0x00 000015ec: PUSH1 0x20 000015ee: DUP3 000015ef: DUP5 000015f0: SUB 000015f1: SLT 000015f2: ISZERO 000015f3: PUSH2 0x15fb 000015f6: JUMPI 000015f7: PUSH1 0x00 000015f9: DUP1 000015fa: REVERT 000015fb: JUMPDEST 000015fc: POP 000015fd: CALLDATALOAD 000015fe: SWAP2 000015ff: SWAP1 00001600: POP 00001601: JUMP 00001602: JUMPDEST 00001603: DUP1 00001604: ISZERO 00001605: ISZERO 00001606: DUP2 00001607: EQ 00001608: PUSH2 0x051f 0000160b: JUMPI 0000160c: PUSH1 0x00 0000160e: DUP1 0000160f: REVERT 00001610: JUMPDEST 00001611: PUSH1 0x00 00001613: DUP1 00001614: PUSH1 0x00 00001616: DUP1 00001617: PUSH1 0x80 00001619: DUP6 0000161a: DUP8 0000161b: SUB 0000161c: SLT 0000161d: ISZERO 0000161e: PUSH2 0x1626 00001621: JUMPI 00001622: PUSH1 0x00 00001624: DUP1 00001625: REVERT 00001626: JUMPDEST 00001627: DUP5 00001628: CALLDATALOAD 00001629: PUSH2 0x1631 0000162c: DUP2 0000162d: PUSH2 0x14f0 00001630: JUMP 00001631: JUMPDEST 00001632: SWAP4 00001633: POP 00001634: PUSH1 0x20 00001636: DUP6 00001637: ADD 00001638: CALLDATALOAD 00001639: PUSH2 0x1641 0000163c: DUP2 0000163d: PUSH2 0x1602 00001640: JUMP 00001641: JUMPDEST 00001642: SWAP4 00001643: SWAP7 00001644: SWAP4 00001645: SWAP6 00001646: POP 00001647: POP 00001648: POP 00001649: POP 0000164a: PUSH1 0x40 0000164c: DUP3 0000164d: ADD 0000164e: CALLDATALOAD 0000164f: SWAP2 00001650: PUSH1 0x60 00001652: ADD 00001653: CALLDATALOAD 00001654: SWAP1 00001655: JUMP 00001656: JUMPDEST 00001657: PUSH1 0x00 00001659: DUP1 0000165a: PUSH1 0x40 0000165c: DUP4 0000165d: DUP6 0000165e: SUB 0000165f: SLT 00001660: ISZERO 00001661: PUSH2 0x1669 00001664: JUMPI 00001665: PUSH1 0x00 00001667: DUP1 00001668: REVERT 00001669: JUMPDEST 0000166a: DUP3 0000166b: CALLDATALOAD 0000166c: SWAP2 0000166d: POP 0000166e: PUSH1 0x20 00001670: DUP4 00001671: ADD 00001672: CALLDATALOAD 00001673: PUSH2 0x167b 00001676: DUP2 00001677: PUSH2 0x14f0 0000167a: JUMP 0000167b: JUMPDEST 0000167c: DUP1 0000167d: SWAP2 0000167e: POP 0000167f: POP 00001680: SWAP3 00001681: POP 00001682: SWAP3 00001683: SWAP1 00001684: POP 00001685: JUMP 00001686: JUMPDEST 00001687: PUSH1 0x00 00001689: DUP1 0000168a: PUSH1 0x00 0000168c: PUSH1 0x60 0000168e: DUP5 0000168f: DUP7 00001690: SUB 00001691: SLT 00001692: ISZERO 00001693: PUSH2 0x169b 00001696: JUMPI 00001697: PUSH1 0x00 00001699: DUP1 0000169a: REVERT 0000169b: JUMPDEST 0000169c: DUP4 0000169d: CALLDATALOAD 0000169e: PUSH2 0x16a6 000016a1: DUP2 000016a2: PUSH2 0x14f0 000016a5: JUMP 000016a6: JUMPDEST 000016a7: SWAP3 000016a8: POP 000016a9: PUSH1 0x20 000016ab: DUP5 000016ac: ADD 000016ad: CALLDATALOAD 000016ae: PUSH2 0x16b6 000016b1: DUP2 000016b2: PUSH2 0x14f0 000016b5: JUMP 000016b6: JUMPDEST 000016b7: SWAP3 000016b8: SWAP6 000016b9: SWAP3 000016ba: SWAP5 000016bb: POP 000016bc: POP 000016bd: POP 000016be: PUSH1 0x40 000016c0: SWAP2 000016c1: SWAP1 000016c2: SWAP2 000016c3: ADD 000016c4: CALLDATALOAD 000016c5: SWAP1 000016c6: JUMP 000016c7: JUMPDEST 000016c8: PUSH1 0x00 000016ca: DUP1 000016cb: DUP4 000016cc: PUSH1 0x1f 000016ce: DUP5 000016cf: ADD 000016d0: SLT 000016d1: PUSH2 0x16d9 000016d4: JUMPI 000016d5: PUSH1 0x00 000016d7: DUP1 000016d8: REVERT 000016d9: JUMPDEST 000016da: POP 000016db: DUP2 000016dc: CALLDATALOAD 000016dd: PUSH8 0xffffffffffffffff 000016e6: DUP2 000016e7: GT 000016e8: ISZERO 000016e9: PUSH2 0x16f1 000016ec: JUMPI 000016ed: PUSH1 0x00 000016ef: DUP1 000016f0: REVERT 000016f1: JUMPDEST 000016f2: PUSH1 0x20 000016f4: DUP4 000016f5: ADD 000016f6: SWAP2 000016f7: POP 000016f8: DUP4 000016f9: PUSH1 0x20 000016fb: DUP3 000016fc: DUP6 000016fd: ADD 000016fe: ADD 000016ff: GT 00001700: ISZERO 00001701: PUSH2 0x1709 00001704: JUMPI 00001705: PUSH1 0x00 00001707: DUP1 00001708: REVERT 00001709: JUMPDEST 0000170a: SWAP3 0000170b: POP 0000170c: SWAP3 0000170d: SWAP1 0000170e: POP 0000170f: JUMP 00001710: JUMPDEST 00001711: PUSH1 0x00 00001713: DUP1 00001714: PUSH1 0x00 00001716: DUP1 00001717: PUSH1 0x60 00001719: DUP6 0000171a: DUP8 0000171b: SUB 0000171c: SLT 0000171d: ISZERO 0000171e: PUSH2 0x1726 00001721: JUMPI 00001722: PUSH1 0x00 00001724: DUP1 00001725: REVERT 00001726: JUMPDEST 00001727: DUP5 00001728: CALLDATALOAD 00001729: SWAP4 0000172a: POP 0000172b: PUSH1 0x20 0000172d: DUP6 0000172e: ADD 0000172f: CALLDATALOAD 00001730: PUSH2 0x1738 00001733: DUP2 00001734: PUSH2 0x14f0 00001737: JUMP 00001738: JUMPDEST 00001739: SWAP3 0000173a: POP 0000173b: PUSH1 0x40 0000173d: DUP6 0000173e: ADD 0000173f: CALLDATALOAD 00001740: PUSH8 0xffffffffffffffff 00001749: DUP2 0000174a: GT 0000174b: ISZERO 0000174c: PUSH2 0x1754 0000174f: JUMPI 00001750: PUSH1 0x00 00001752: DUP1 00001753: REVERT 00001754: JUMPDEST 00001755: PUSH2 0x1760 00001758: DUP8 00001759: DUP3 0000175a: DUP9 0000175b: ADD 0000175c: PUSH2 0x16c7 0000175f: JUMP 00001760: JUMPDEST 00001761: SWAP6 00001762: SWAP9 00001763: SWAP5 00001764: SWAP8 00001765: POP 00001766: SWAP6 00001767: POP 00001768: POP 00001769: POP 0000176a: POP 0000176b: JUMP 0000176c: JUMPDEST 0000176d: PUSH1 0x00 0000176f: JUMPDEST 00001770: DUP4 00001771: DUP2 00001772: LT 00001773: ISZERO 00001774: PUSH2 0x1787 00001777: JUMPI 00001778: DUP2 00001779: DUP2 0000177a: ADD 0000177b: MLOAD 0000177c: DUP4 0000177d: DUP3 0000177e: ADD 0000177f: MSTORE 00001780: PUSH1 0x20 00001782: ADD 00001783: PUSH2 0x176f 00001786: JUMP 00001787: JUMPDEST 00001788: DUP4 00001789: DUP2 0000178a: GT 0000178b: ISZERO 0000178c: PUSH2 0x059f 0000178f: JUMPI 00001790: POP 00001791: POP 00001792: PUSH1 0x00 00001794: SWAP2 00001795: ADD 00001796: MSTORE 00001797: JUMP 00001798: JUMPDEST 00001799: PUSH1 0x00 0000179b: DUP2 0000179c: MLOAD 0000179d: DUP1 0000179e: DUP5 0000179f: MSTORE 000017a0: PUSH2 0x17b0 000017a3: DUP2 000017a4: PUSH1 0x20 000017a6: DUP7 000017a7: ADD 000017a8: PUSH1 0x20 000017aa: DUP7 000017ab: ADD 000017ac: PUSH2 0x176c 000017af: JUMP 000017b0: JUMPDEST 000017b1: PUSH1 0x1f 000017b3: ADD 000017b4: PUSH1 0x1f 000017b6: NOT 000017b7: AND 000017b8: SWAP3 000017b9: SWAP1 000017ba: SWAP3 000017bb: ADD 000017bc: PUSH1 0x20 000017be: ADD 000017bf: SWAP3 000017c0: SWAP2 000017c1: POP 000017c2: POP 000017c3: JUMP 000017c4: JUMPDEST 000017c5: PUSH1 0x20 000017c7: DUP2 000017c8: MSTORE 000017c9: PUSH1 0x00 000017cb: PUSH2 0x136d 000017ce: PUSH1 0x20 000017d0: DUP4 000017d1: ADD 000017d2: DUP5 000017d3: PUSH2 0x1798 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH1 0x00 000017da: DUP1 000017db: PUSH1 0x00 000017dd: PUSH1 0x40 000017df: DUP5 000017e0: DUP7 000017e1: SUB 000017e2: SLT 000017e3: ISZERO 000017e4: PUSH2 0x17ec 000017e7: JUMPI 000017e8: PUSH1 0x00 000017ea: DUP1 000017eb: REVERT 000017ec: JUMPDEST 000017ed: DUP4 000017ee: CALLDATALOAD 000017ef: SWAP3 000017f0: POP 000017f1: PUSH1 0x20 000017f3: DUP5 000017f4: ADD 000017f5: CALLDATALOAD 000017f6: PUSH8 0xffffffffffffffff 000017ff: DUP2 00001800: GT 00001801: ISZERO 00001802: PUSH2 0x180a 00001805: JUMPI 00001806: PUSH1 0x00 00001808: DUP1 00001809: REVERT 0000180a: JUMPDEST 0000180b: PUSH2 0x1816 0000180e: DUP7 0000180f: DUP3 00001810: DUP8 00001811: ADD 00001812: PUSH2 0x16c7 00001815: JUMP 00001816: JUMPDEST 00001817: SWAP5 00001818: SWAP8 00001819: SWAP1 0000181a: SWAP7 0000181b: POP 0000181c: SWAP4 0000181d: SWAP5 0000181e: POP 0000181f: POP 00001820: POP 00001821: POP 00001822: JUMP 00001823: JUMPDEST 00001824: PUSH1 0x00 00001826: DUP1 00001827: PUSH1 0x00 00001829: PUSH1 0x60 0000182b: DUP5 0000182c: DUP7 0000182d: SUB 0000182e: SLT 0000182f: ISZERO 00001830: PUSH2 0x1838 00001833: JUMPI 00001834: PUSH1 0x00 00001836: DUP1 00001837: REVERT 00001838: JUMPDEST 00001839: DUP4 0000183a: MLOAD 0000183b: PUSH2 0x1843 0000183e: DUP2 0000183f: PUSH2 0x14f0 00001842: JUMP 00001843: JUMPDEST 00001844: PUSH1 0x20 00001846: DUP6 00001847: ADD 00001848: MLOAD 00001849: SWAP1 0000184a: SWAP4 0000184b: POP 0000184c: PUSH2 0x1854 0000184f: DUP2 00001850: PUSH2 0x14f0 00001853: JUMP 00001854: JUMPDEST 00001855: DUP1 00001856: SWAP3 00001857: POP 00001858: POP 00001859: PUSH1 0x40 0000185b: DUP5 0000185c: ADD 0000185d: MLOAD 0000185e: SWAP1 0000185f: POP 00001860: SWAP3 00001861: POP 00001862: SWAP3 00001863: POP 00001864: SWAP3 00001865: JUMP 00001866: JUMPDEST 00001867: PUSH4 0x4e487b71 0000186c: PUSH1 0xe0 0000186e: SHL 0000186f: PUSH1 0x00 00001871: MSTORE 00001872: PUSH1 0x11 00001874: PUSH1 0x04 00001876: MSTORE 00001877: PUSH1 0x24 00001879: PUSH1 0x00 0000187b: REVERT 0000187c: JUMPDEST 0000187d: PUSH1 0x00 0000187f: DUP3 00001880: DUP3 00001881: LT 00001882: ISZERO 00001883: PUSH2 0x188e 00001886: JUMPI 00001887: PUSH2 0x188e 0000188a: PUSH2 0x1866 0000188d: JUMP 0000188e: JUMPDEST 0000188f: POP 00001890: SUB 00001891: SWAP1 00001892: JUMP 00001893: JUMPDEST 00001894: PUSH1 0x00 00001896: DUP3 00001897: PUSH2 0x18b0 0000189a: JUMPI 0000189b: PUSH4 0x4e487b71 000018a0: PUSH1 0xe0 000018a2: SHL 000018a3: PUSH1 0x00 000018a5: MSTORE 000018a6: PUSH1 0x12 000018a8: PUSH1 0x04 000018aa: MSTORE 000018ab: PUSH1 0x24 000018ad: PUSH1 0x00 000018af: REVERT 000018b0: JUMPDEST 000018b1: POP 000018b2: DIV 000018b3: SWAP1 000018b4: JUMP 000018b5: JUMPDEST 000018b6: PUSH1 0x00 000018b8: DUP3 000018b9: NOT 000018ba: DUP3 000018bb: GT 000018bc: ISZERO 000018bd: PUSH2 0x18c8 000018c0: JUMPI 000018c1: PUSH2 0x18c8 000018c4: PUSH2 0x1866 000018c7: JUMP 000018c8: JUMPDEST 000018c9: POP 000018ca: ADD 000018cb: SWAP1 000018cc: JUMP 000018cd: JUMPDEST 000018ce: PUSH1 0x00 000018d0: DUP3 000018d1: MLOAD 000018d2: PUSH2 0x18df 000018d5: DUP2 000018d6: DUP5 000018d7: PUSH1 0x20 000018d9: DUP8 000018da: ADD 000018db: PUSH2 0x176c 000018de: JUMP 000018df: JUMPDEST 000018e0: SWAP2 000018e1: SWAP1 000018e2: SWAP2 000018e3: ADD 000018e4: SWAP3 000018e5: SWAP2 000018e6: POP 000018e7: POP 000018e8: JUMP 000018e9: JUMPDEST 000018ea: PUSH1 0x00 000018ec: DUP1 000018ed: PUSH1 0x40 000018ef: DUP4 000018f0: DUP6 000018f1: SUB 000018f2: SLT 000018f3: ISZERO 000018f4: PUSH2 0x18fc 000018f7: JUMPI 000018f8: PUSH1 0x00 000018fa: DUP1 000018fb: REVERT 000018fc: JUMPDEST 000018fd: POP 000018fe: POP 000018ff: DUP1 00001900: CALLDATALOAD 00001901: SWAP3 00001902: PUSH1 0x20 00001904: SWAP1 00001905: SWAP2 00001906: ADD 00001907: CALLDATALOAD 00001908: SWAP2 00001909: POP 0000190a: JUMP 0000190b: JUMPDEST 0000190c: PUSH1 0x00 0000190e: DUP1 0000190f: DUP6 00001910: DUP6 00001911: GT 00001912: ISZERO 00001913: PUSH2 0x191b 00001916: JUMPI 00001917: PUSH1 0x00 00001919: DUP1 0000191a: REVERT 0000191b: JUMPDEST 0000191c: DUP4 0000191d: DUP7 0000191e: GT 0000191f: ISZERO 00001920: PUSH2 0x1928 00001923: JUMPI 00001924: PUSH1 0x00 00001926: DUP1 00001927: REVERT 00001928: JUMPDEST 00001929: POP 0000192a: POP 0000192b: DUP3 0000192c: ADD 0000192d: SWAP4 0000192e: SWAP2 0000192f: SWAP1 00001930: SWAP3 00001931: SUB 00001932: SWAP2 00001933: POP 00001934: JUMP 00001935: JUMPDEST 00001936: PUSH1 0x01 00001938: PUSH1 0x01 0000193a: PUSH1 0xf8 0000193c: SHL 0000193d: SUB 0000193e: NOT 0000193f: DUP2 00001940: CALLDATALOAD 00001941: DUP2 00001942: DUP2 00001943: AND 00001944: SWAP2 00001945: PUSH1 0x01 00001947: DUP6 00001948: LT 00001949: ISZERO 0000194a: PUSH2 0x195d 0000194d: JUMPI 0000194e: DUP1 0000194f: DUP2 00001950: DUP7 00001951: PUSH1 0x01 00001953: SUB 00001954: PUSH1 0x03 00001956: SHL 00001957: SHL 00001958: DUP4 00001959: AND 0000195a: AND 0000195b: SWAP3 0000195c: POP 0000195d: JUMPDEST 0000195e: POP 0000195f: POP 00001960: SWAP3 00001961: SWAP2 00001962: POP 00001963: POP 00001964: JUMP 00001965: JUMPDEST 00001966: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00001987: DUP2 00001988: MSTORE 00001989: PUSH1 0x00 0000198b: DUP4 0000198c: MLOAD 0000198d: PUSH2 0x199d 00001990: DUP2 00001991: PUSH1 0x17 00001993: DUP6 00001994: ADD 00001995: PUSH1 0x20 00001997: DUP9 00001998: ADD 00001999: PUSH2 0x176c 0000199c: JUMP 0000199d: JUMPDEST 0000199e: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 000019b0: PUSH1 0x7d 000019b2: SHL 000019b3: PUSH1 0x17 000019b5: SWAP2 000019b6: DUP5 000019b7: ADD 000019b8: SWAP2 000019b9: DUP3 000019ba: ADD 000019bb: MSTORE 000019bc: DUP4 000019bd: MLOAD 000019be: PUSH2 0x19ce 000019c1: DUP2 000019c2: PUSH1 0x28 000019c4: DUP5 000019c5: ADD 000019c6: PUSH1 0x20 000019c8: DUP9 000019c9: ADD 000019ca: PUSH2 0x176c 000019cd: JUMP 000019ce: JUMPDEST 000019cf: ADD 000019d0: PUSH1 0x28 000019d2: ADD 000019d3: SWAP5 000019d4: SWAP4 000019d5: POP 000019d6: POP 000019d7: POP 000019d8: POP 000019d9: JUMP 000019da: JUMPDEST 000019db: PUSH1 0x00 000019dd: PUSH1 0xff 000019df: DUP3 000019e0: AND 000019e1: PUSH1 0xff 000019e3: DUP5 000019e4: AND 000019e5: DUP1 000019e6: DUP3 000019e7: LT 000019e8: ISZERO 000019e9: PUSH2 0x19f4 000019ec: JUMPI 000019ed: PUSH2 0x19f4 000019f0: PUSH2 0x1866 000019f3: JUMP 000019f4: JUMPDEST 000019f5: SWAP1 000019f6: SUB 000019f7: SWAP4 000019f8: SWAP3 000019f9: POP 000019fa: POP 000019fb: POP 000019fc: JUMP 000019fd: JUMPDEST 000019fe: PUSH1 0x01 00001a00: DUP2 00001a01: DUP2 00001a02: JUMPDEST 00001a03: DUP1 00001a04: DUP6 00001a05: GT 00001a06: ISZERO 00001a07: PUSH2 0x1a38 00001a0a: JUMPI 00001a0b: DUP2 00001a0c: PUSH1 0x00 00001a0e: NOT 00001a0f: DIV 00001a10: DUP3 00001a11: GT 00001a12: ISZERO 00001a13: PUSH2 0x1a1e 00001a16: JUMPI 00001a17: PUSH2 0x1a1e 00001a1a: PUSH2 0x1866 00001a1d: JUMP 00001a1e: JUMPDEST 00001a1f: DUP1 00001a20: DUP6 00001a21: AND 00001a22: ISZERO 00001a23: PUSH2 0x1a2b 00001a26: JUMPI 00001a27: SWAP2 00001a28: DUP2 00001a29: MUL 00001a2a: SWAP2 00001a2b: JUMPDEST 00001a2c: SWAP4 00001a2d: DUP5 00001a2e: SHR 00001a2f: SWAP4 00001a30: SWAP1 00001a31: DUP1 00001a32: MUL 00001a33: SWAP1 00001a34: PUSH2 0x1a02 00001a37: JUMP 00001a38: JUMPDEST 00001a39: POP 00001a3a: SWAP3 00001a3b: POP 00001a3c: SWAP3 00001a3d: SWAP1 00001a3e: POP 00001a3f: JUMP 00001a40: JUMPDEST 00001a41: PUSH1 0x00 00001a43: DUP3 00001a44: PUSH2 0x1a4f 00001a47: JUMPI 00001a48: POP 00001a49: PUSH1 0x01 00001a4b: PUSH2 0x0508 00001a4e: JUMP 00001a4f: JUMPDEST 00001a50: DUP2 00001a51: PUSH2 0x1a5c 00001a54: JUMPI 00001a55: POP 00001a56: PUSH1 0x00 00001a58: PUSH2 0x0508 00001a5b: JUMP 00001a5c: JUMPDEST 00001a5d: DUP2 00001a5e: PUSH1 0x01 00001a60: DUP2 00001a61: EQ 00001a62: PUSH2 0x1a72 00001a65: JUMPI 00001a66: PUSH1 0x02 00001a68: DUP2 00001a69: EQ 00001a6a: PUSH2 0x1a7c 00001a6d: JUMPI 00001a6e: PUSH2 0x1a98 00001a71: JUMP 00001a72: JUMPDEST 00001a73: PUSH1 0x01 00001a75: SWAP2 00001a76: POP 00001a77: POP 00001a78: PUSH2 0x0508 00001a7b: JUMP 00001a7c: JUMPDEST 00001a7d: PUSH1 0xff 00001a7f: DUP5 00001a80: GT 00001a81: ISZERO 00001a82: PUSH2 0x1a8d 00001a85: JUMPI 00001a86: PUSH2 0x1a8d 00001a89: PUSH2 0x1866 00001a8c: JUMP 00001a8d: JUMPDEST 00001a8e: POP 00001a8f: POP 00001a90: PUSH1 0x01 00001a92: DUP3 00001a93: SHL 00001a94: PUSH2 0x0508 00001a97: JUMP 00001a98: JUMPDEST 00001a99: POP 00001a9a: PUSH1 0x20 00001a9c: DUP4 00001a9d: LT 00001a9e: PUSH2 0x0133 00001aa1: DUP4 00001aa2: LT 00001aa3: AND 00001aa4: PUSH1 0x4e 00001aa6: DUP5 00001aa7: LT 00001aa8: PUSH1 0x0b 00001aaa: DUP5 00001aab: LT 00001aac: AND 00001aad: OR 00001aae: ISZERO 00001aaf: PUSH2 0x1abb 00001ab2: JUMPI 00001ab3: POP 00001ab4: DUP2 00001ab5: DUP2 00001ab6: EXP 00001ab7: PUSH2 0x0508 00001aba: JUMP 00001abb: JUMPDEST 00001abc: PUSH2 0x1ac5 00001abf: DUP4 00001ac0: DUP4 00001ac1: PUSH2 0x19fd 00001ac4: JUMP 00001ac5: JUMPDEST 00001ac6: DUP1 00001ac7: PUSH1 0x00 00001ac9: NOT 00001aca: DIV 00001acb: DUP3 00001acc: GT 00001acd: ISZERO 00001ace: PUSH2 0x1ad9 00001ad1: JUMPI 00001ad2: PUSH2 0x1ad9 00001ad5: PUSH2 0x1866 00001ad8: JUMP 00001ad9: JUMPDEST 00001ada: MUL 00001adb: SWAP4 00001adc: SWAP3 00001add: POP 00001ade: POP 00001adf: POP 00001ae0: JUMP 00001ae1: JUMPDEST 00001ae2: PUSH1 0x00 00001ae4: PUSH2 0x136d 00001ae7: PUSH1 0xff 00001ae9: DUP5 00001aea: AND 00001aeb: DUP4 00001aec: PUSH2 0x1a40 00001aef: JUMP 00001af0: JUMPDEST 00001af1: PUSH1 0x00 00001af3: DUP2 00001af4: PUSH1 0x00 00001af6: NOT 00001af7: DIV 00001af8: DUP4 00001af9: GT 00001afa: DUP3 00001afb: ISZERO 00001afc: ISZERO 00001afd: AND 00001afe: ISZERO 00001aff: PUSH2 0x1b0a 00001b02: JUMPI 00001b03: PUSH2 0x1b0a 00001b06: PUSH2 0x1866 00001b09: JUMP 00001b0a: JUMPDEST 00001b0b: POP 00001b0c: MUL 00001b0d: SWAP1 00001b0e: JUMP 00001b0f: JUMPDEST 00001b10: PUSH4 0x4e487b71 00001b15: PUSH1 0xe0 00001b17: SHL 00001b18: PUSH1 0x00 00001b1a: MSTORE 00001b1b: PUSH1 0x32 00001b1d: PUSH1 0x04 00001b1f: MSTORE 00001b20: PUSH1 0x24 00001b22: PUSH1 0x00 00001b24: REVERT 00001b25: JUMPDEST 00001b26: PUSH1 0x00 00001b28: DUP2 00001b29: PUSH2 0x1b34 00001b2c: JUMPI 00001b2d: PUSH2 0x1b34 00001b30: PUSH2 0x1866 00001b33: JUMP 00001b34: JUMPDEST 00001b35: POP 00001b36: PUSH1 0x00 00001b38: NOT 00001b39: ADD 00001b3a: SWAP1 00001b3b: JUMP 00001b3c: JUMPDEST 00001b3d: PUSH1 0x00 00001b3f: PUSH1 0x20 00001b41: DUP3 00001b42: DUP5 00001b43: SUB 00001b44: SLT 00001b45: ISZERO 00001b46: PUSH2 0x1b4e 00001b49: JUMPI 00001b4a: PUSH1 0x00 00001b4c: DUP1 00001b4d: REVERT 00001b4e: JUMPDEST 00001b4f: DUP2 00001b50: MLOAD 00001b51: PUSH2 0x136d 00001b54: DUP2 00001b55: PUSH2 0x1602 00001b58: JUMP 00001b59: INVALID 00001b5a: LOG2 00001b5b: PUSH5 0x6970667358 00001b61: UNKNOWN(0x22) 00001b62: SLT 00001b63: KECCAK256 00001b64: PUSH12 0x71e39401c10e9939d0bafd24 00001b71: DUP12 00001b72: SLOAD 00001b73: MCOPY 00001b74: PUSH19 0x7ac14b2360e9b00368b9952abaaf6b64736f6c 00001b88: PUSH4 0x4300080b 00001b8d: STOP 00001b8e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x83545726cf038ef27e3af89769475cdce1487efb1f45e096f8a86649b32d42ab
call_targets:
0xb10f60b4ea978ca02afbac57fa84907e8439766e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x83545726cf038ef27e3af89769475cdce1487efb1f45e096f8a86649b32d42ab",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb10f60b4ea978ca02afbac57fa84907e8439766e"
],
"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": "0xac607c21",
"selector": "0xac607c21",
"calldata_variants": [
"0xac607c21",
"0xac607c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb07e54bb",
"selector": "0xb07e54bb",
"calldata_variants": [
"0xb07e54bb",
"0xb07e54bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe248cff2",
"selector": "0xe248cff2",
"calldata_variants": [
"0xe248cff2",
"0xe248cff20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa8675b0",
"selector": "0xfa8675b0",
"calldata_variants": [
"0xfa8675b0",
"0xfa8675b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78e97925",
"selector": "0x78e97925",
"calldata_variants": [
"0x78e97925",
"0x78e979250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f8a6e68",
"selector": "0x8f8a6e68",
"calldata_variants": [
"0x8f8a6e68",
"0x8f8a6e680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2667,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3832,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x83545726cf038ef27e3af89769475cdce1487efb1f45e096f8a86649b32d42ab
call_targets:
0xb10f60b4ea978ca02afbac57fa84907e8439766e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x83545726cf038ef27e3af89769475cdce1487efb1f45e096f8a86649b32d42ab",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb10f60b4ea978ca02afbac57fa84907e8439766e"
],
"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": "0xac607c21",
"selector": "0xac607c21",
"calldata_variants": [
"0xac607c21",
"0xac607c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb07e54bb",
"selector": "0xb07e54bb",
"calldata_variants": [
"0xb07e54bb",
"0xb07e54bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe248cff2",
"selector": "0xe248cff2",
"calldata_variants": [
"0xe248cff2",
"0xe248cff20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa8675b0",
"selector": "0xfa8675b0",
"calldata_variants": [
"0xfa8675b0",
"0xfa8675b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78e97925",
"selector": "0x78e97925",
"calldata_variants": [
"0x78e97925",
"0x78e979250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f8a6e68",
"selector": "0x8f8a6e68",
"calldata_variants": [
"0x8f8a6e68",
"0x8f8a6e680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2667,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3832,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|