019b477e-cfe7-7097-b2ce-3ba5133cb2cf
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 |
|---|---|---|---|---|
| 27469 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27470 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92117 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92118 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92119 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92120 | 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 0x01d0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7d1db4a5 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa2a957bb 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc492f046 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc492f046 0000003a: EQ 0000003b: PUSH2 0x0522 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdd62ed3e 00000045: EQ 00000046: PUSH2 0x0542 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xea1644d5 00000050: EQ 00000051: PUSH2 0x0588 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x05a8 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa2a957bb 0000006b: EQ 0000006c: PUSH2 0x049d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa9059cbb 00000076: EQ 00000077: PUSH2 0x04bd 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbfd79284 00000081: EQ 00000082: PUSH2 0x04dd 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc3c8cd80 0000008c: EQ 0000008d: PUSH2 0x050d 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8f70ccf7 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8f70ccf7 000000a7: EQ 000000a8: PUSH2 0x0447 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8f9a55c0 000000b2: EQ 000000b3: PUSH2 0x0467 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x95d89b41 000000bd: EQ 000000be: PUSH2 0x01fe 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x98a5c315 000000c8: EQ 000000c9: PUSH2 0x047d 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x7d1db4a5 000000d8: EQ 000000d9: PUSH2 0x03e6 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x7f2feddc 000000e3: EQ 000000e4: PUSH2 0x03fc 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8da5cb5b 000000ee: EQ 000000ef: PUSH2 0x0429 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x313ce567 000000fe: GT 000000ff: PUSH2 0x016f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x6fc3eaec 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6fc3eaec 00000114: EQ 00000115: PUSH2 0x037c 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x70a08231 0000011f: EQ 00000120: PUSH2 0x0391 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x715018a6 0000012a: EQ 0000012b: PUSH2 0x03b1 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x74010ece 00000135: EQ 00000136: PUSH2 0x03c6 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x313ce567 00000145: EQ 00000146: PUSH2 0x0300 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x49bd5a5e 00000150: EQ 00000151: PUSH2 0x031c 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x6b999053 0000015b: EQ 0000015c: PUSH2 0x033c 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x6d8aa8f8 00000166: EQ 00000167: PUSH2 0x035c 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: DUP1 00000171: PUSH4 0x1694505e 00000176: GT 00000177: PUSH2 0x01ab 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x1694505e 00000181: EQ 00000182: PUSH2 0x026c 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x18160ddd 0000018c: EQ 0000018d: PUSH2 0x02a4 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x23b872dd 00000197: EQ 00000198: PUSH2 0x02ca 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x2fd689e3 000001a2: EQ 000001a3: PUSH2 0x02ea 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: DUP1 000001ad: PUSH3 0xb8cf2a 000001b1: EQ 000001b2: PUSH2 0x01dc 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0x06fdde03 000001bc: EQ 000001bd: PUSH2 0x01fe 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x095ea7b3 000001c7: EQ 000001c8: PUSH2 0x023c 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: CALLDATASIZE 000001d2: PUSH2 0x01d7 000001d5: JUMPI 000001d6: STOP 000001d7: JUMPDEST 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e8 000001e3: JUMPI 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: POP 000001ea: PUSH2 0x01fc 000001ed: PUSH2 0x01f7 000001f0: CALLDATASIZE 000001f1: PUSH1 0x04 000001f3: PUSH2 0x1922 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x05c8 000001fb: JUMP 000001fc: JUMPDEST 000001fd: STOP 000001fe: JUMPDEST 000001ff: CALLVALUE 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: POP 0000020c: PUSH1 0x40 0000020e: DUP1 0000020f: MLOAD 00000210: DUP1 00000211: DUP3 00000212: ADD 00000213: DUP3 00000214: MSTORE 00000215: PUSH1 0x06 00000217: DUP2 00000218: MSTORE 00000219: PUSH6 0x544545484545 00000220: PUSH1 0xd0 00000222: SHL 00000223: PUSH1 0x20 00000225: DUP3 00000226: ADD 00000227: MSTORE 00000228: SWAP1 00000229: MLOAD 0000022a: PUSH2 0x0233 0000022d: SWAP2 0000022e: SWAP1 0000022f: PUSH2 0x19e7 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: SWAP2 00000239: SUB 0000023a: SWAP1 0000023b: RETURN 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x025c 0000024d: PUSH2 0x0257 00000250: CALLDATASIZE 00000251: PUSH1 0x04 00000253: PUSH2 0x1a35 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH2 0x0667 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x40 0000025f: MLOAD 00000260: SWAP1 00000261: ISZERO 00000262: ISZERO 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: ADD 00000268: PUSH2 0x0233 0000026b: JUMP 0000026c: JUMPDEST 0000026d: CALLVALUE 0000026e: DUP1 0000026f: ISZERO 00000270: PUSH2 0x0278 00000273: JUMPI 00000274: PUSH1 0x00 00000276: DUP1 00000277: REVERT 00000278: JUMPDEST 00000279: POP 0000027a: PUSH1 0x14 0000027c: SLOAD 0000027d: PUSH2 0x028c 00000280: SWAP1 00000281: PUSH1 0x01 00000283: PUSH1 0x01 00000285: PUSH1 0xa0 00000287: SHL 00000288: SUB 00000289: AND 0000028a: DUP2 0000028b: JUMP 0000028c: JUMPDEST 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: PUSH1 0x01 00000292: PUSH1 0x01 00000294: PUSH1 0xa0 00000296: SHL 00000297: SUB 00000298: SWAP1 00000299: SWAP2 0000029a: AND 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: PUSH2 0x0233 000002a3: JUMP 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH9 0x2567ac70392b880000 000002bc: JUMPDEST 000002bd: PUSH1 0x40 000002bf: MLOAD 000002c0: SWAP1 000002c1: DUP2 000002c2: MSTORE 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: PUSH2 0x0233 000002c9: JUMP 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x025c 000002db: PUSH2 0x02e5 000002de: CALLDATASIZE 000002df: PUSH1 0x04 000002e1: PUSH2 0x1a61 000002e4: JUMP 000002e5: JUMPDEST 000002e6: PUSH2 0x067e 000002e9: JUMP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x02bc 000002fb: PUSH1 0x18 000002fd: SLOAD 000002fe: DUP2 000002ff: JUMP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: PUSH1 0x09 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x20 00000317: ADD 00000318: PUSH2 0x0233 0000031b: JUMP 0000031c: JUMPDEST 0000031d: CALLVALUE 0000031e: DUP1 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: PUSH1 0x15 0000032c: SLOAD 0000032d: PUSH2 0x028c 00000330: SWAP1 00000331: PUSH1 0x01 00000333: PUSH1 0x01 00000335: PUSH1 0xa0 00000337: SHL 00000338: SUB 00000339: AND 0000033a: DUP2 0000033b: JUMP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0348 00000343: JUMPI 00000344: PUSH1 0x00 00000346: DUP1 00000347: REVERT 00000348: JUMPDEST 00000349: POP 0000034a: PUSH2 0x01fc 0000034d: PUSH2 0x0357 00000350: CALLDATASIZE 00000351: PUSH1 0x04 00000353: PUSH2 0x1aa2 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH2 0x06e7 0000035b: JUMP 0000035c: JUMPDEST 0000035d: CALLVALUE 0000035e: DUP1 0000035f: ISZERO 00000360: PUSH2 0x0368 00000363: JUMPI 00000364: PUSH1 0x00 00000366: DUP1 00000367: REVERT 00000368: JUMPDEST 00000369: POP 0000036a: PUSH2 0x01fc 0000036d: PUSH2 0x0377 00000370: CALLDATASIZE 00000371: PUSH1 0x04 00000373: PUSH2 0x1acf 00000376: JUMP 00000377: JUMPDEST 00000378: PUSH2 0x0732 0000037b: JUMP 0000037c: JUMPDEST 0000037d: CALLVALUE 0000037e: DUP1 0000037f: ISZERO 00000380: PUSH2 0x0388 00000383: JUMPI 00000384: PUSH1 0x00 00000386: DUP1 00000387: REVERT 00000388: JUMPDEST 00000389: POP 0000038a: PUSH2 0x01fc 0000038d: PUSH2 0x077a 00000390: JUMP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x02bc 000003a2: PUSH2 0x03ac 000003a5: CALLDATASIZE 000003a6: PUSH1 0x04 000003a8: PUSH2 0x1aa2 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH2 0x07c5 000003b0: JUMP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x01fc 000003c2: PUSH2 0x07e7 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x01fc 000003d7: PUSH2 0x03e1 000003da: CALLDATASIZE 000003db: PUSH1 0x04 000003dd: PUSH2 0x1aea 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH2 0x085b 000003e5: JUMP 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: POP 000003f4: PUSH2 0x02bc 000003f7: PUSH1 0x16 000003f9: SLOAD 000003fa: DUP2 000003fb: JUMP 000003fc: JUMPDEST 000003fd: CALLVALUE 000003fe: DUP1 000003ff: ISZERO 00000400: PUSH2 0x0408 00000403: JUMPI 00000404: PUSH1 0x00 00000406: DUP1 00000407: REVERT 00000408: JUMPDEST 00000409: POP 0000040a: PUSH2 0x02bc 0000040d: PUSH2 0x0417 00000410: CALLDATASIZE 00000411: PUSH1 0x04 00000413: PUSH2 0x1aa2 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x11 0000041a: PUSH1 0x20 0000041c: MSTORE 0000041d: PUSH1 0x00 0000041f: SWAP1 00000420: DUP2 00000421: MSTORE 00000422: PUSH1 0x40 00000424: SWAP1 00000425: KECCAK256 00000426: SLOAD 00000427: DUP2 00000428: JUMP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: POP 00000437: PUSH1 0x00 00000439: SLOAD 0000043a: PUSH1 0x01 0000043c: PUSH1 0x01 0000043e: PUSH1 0xa0 00000440: SHL 00000441: SUB 00000442: AND 00000443: PUSH2 0x028c 00000446: JUMP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x01fc 00000458: PUSH2 0x0462 0000045b: CALLDATASIZE 0000045c: PUSH1 0x04 0000045e: PUSH2 0x1acf 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH2 0x088a 00000466: JUMP 00000467: JUMPDEST 00000468: CALLVALUE 00000469: DUP1 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: POP 00000475: PUSH2 0x02bc 00000478: PUSH1 0x17 0000047a: SLOAD 0000047b: DUP2 0000047c: JUMP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: DUP1 00000480: ISZERO 00000481: PUSH2 0x0489 00000484: JUMPI 00000485: PUSH1 0x00 00000487: DUP1 00000488: REVERT 00000489: JUMPDEST 0000048a: POP 0000048b: PUSH2 0x01fc 0000048e: PUSH2 0x0498 00000491: CALLDATASIZE 00000492: PUSH1 0x04 00000494: PUSH2 0x1aea 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x08d2 0000049c: JUMP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x01fc 000004ae: PUSH2 0x04b8 000004b1: CALLDATASIZE 000004b2: PUSH1 0x04 000004b4: PUSH2 0x1b03 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH2 0x0901 000004bc: JUMP 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: DUP1 000004c0: ISZERO 000004c1: PUSH2 0x04c9 000004c4: JUMPI 000004c5: PUSH1 0x00 000004c7: DUP1 000004c8: REVERT 000004c9: JUMPDEST 000004ca: POP 000004cb: PUSH2 0x025c 000004ce: PUSH2 0x04d8 000004d1: CALLDATASIZE 000004d2: PUSH1 0x04 000004d4: PUSH2 0x1a35 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH2 0x093f 000004dc: JUMP 000004dd: JUMPDEST 000004de: CALLVALUE 000004df: DUP1 000004e0: ISZERO 000004e1: PUSH2 0x04e9 000004e4: JUMPI 000004e5: PUSH1 0x00 000004e7: DUP1 000004e8: REVERT 000004e9: JUMPDEST 000004ea: POP 000004eb: PUSH2 0x025c 000004ee: PUSH2 0x04f8 000004f1: CALLDATASIZE 000004f2: PUSH1 0x04 000004f4: PUSH2 0x1aa2 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH1 0x10 000004fb: PUSH1 0x20 000004fd: MSTORE 000004fe: PUSH1 0x00 00000500: SWAP1 00000501: DUP2 00000502: MSTORE 00000503: PUSH1 0x40 00000505: SWAP1 00000506: KECCAK256 00000507: SLOAD 00000508: PUSH1 0xff 0000050a: AND 0000050b: DUP2 0000050c: JUMP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x0519 00000514: JUMPI 00000515: PUSH1 0x00 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: POP 0000051b: PUSH2 0x01fc 0000051e: PUSH2 0x094c 00000521: JUMP 00000522: JUMPDEST 00000523: CALLVALUE 00000524: DUP1 00000525: ISZERO 00000526: PUSH2 0x052e 00000529: JUMPI 0000052a: PUSH1 0x00 0000052c: DUP1 0000052d: REVERT 0000052e: JUMPDEST 0000052f: POP 00000530: PUSH2 0x01fc 00000533: PUSH2 0x053d 00000536: CALLDATASIZE 00000537: PUSH1 0x04 00000539: PUSH2 0x1b35 0000053c: JUMP 0000053d: JUMPDEST 0000053e: PUSH2 0x09a0 00000541: JUMP 00000542: JUMPDEST 00000543: CALLVALUE 00000544: DUP1 00000545: ISZERO 00000546: PUSH2 0x054e 00000549: JUMPI 0000054a: PUSH1 0x00 0000054c: DUP1 0000054d: REVERT 0000054e: JUMPDEST 0000054f: POP 00000550: PUSH2 0x02bc 00000553: PUSH2 0x055d 00000556: CALLDATASIZE 00000557: PUSH1 0x04 00000559: PUSH2 0x1bb9 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x01 00000560: PUSH1 0x01 00000562: PUSH1 0xa0 00000564: SHL 00000565: SUB 00000566: SWAP2 00000567: DUP3 00000568: AND 00000569: PUSH1 0x00 0000056b: SWAP1 0000056c: DUP2 0000056d: MSTORE 0000056e: PUSH1 0x04 00000570: PUSH1 0x20 00000572: SWAP1 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x40 00000577: DUP1 00000578: DUP4 00000579: KECCAK256 0000057a: SWAP4 0000057b: SWAP1 0000057c: SWAP5 0000057d: AND 0000057e: DUP3 0000057f: MSTORE 00000580: SWAP2 00000581: SWAP1 00000582: SWAP2 00000583: MSTORE 00000584: KECCAK256 00000585: SLOAD 00000586: SWAP1 00000587: JUMP 00000588: JUMPDEST 00000589: CALLVALUE 0000058a: DUP1 0000058b: ISZERO 0000058c: PUSH2 0x0594 0000058f: JUMPI 00000590: PUSH1 0x00 00000592: DUP1 00000593: REVERT 00000594: JUMPDEST 00000595: POP 00000596: PUSH2 0x01fc 00000599: PUSH2 0x05a3 0000059c: CALLDATASIZE 0000059d: PUSH1 0x04 0000059f: PUSH2 0x1aea 000005a2: JUMP 000005a3: JUMPDEST 000005a4: PUSH2 0x0a41 000005a7: JUMP 000005a8: JUMPDEST 000005a9: CALLVALUE 000005aa: DUP1 000005ab: ISZERO 000005ac: PUSH2 0x05b4 000005af: JUMPI 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: REVERT 000005b4: JUMPDEST 000005b5: POP 000005b6: PUSH2 0x01fc 000005b9: PUSH2 0x05c3 000005bc: CALLDATASIZE 000005bd: PUSH1 0x04 000005bf: PUSH2 0x1aa2 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x0a70 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x00 000005cb: SLOAD 000005cc: PUSH1 0x01 000005ce: PUSH1 0x01 000005d0: PUSH1 0xa0 000005d2: SHL 000005d3: SUB 000005d4: AND 000005d5: CALLER 000005d6: EQ 000005d7: PUSH2 0x05fb 000005da: JUMPI 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH3 0x461bcd 000005e2: PUSH1 0xe5 000005e4: SHL 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x04 000005e9: ADD 000005ea: PUSH2 0x05f2 000005ed: SWAP1 000005ee: PUSH2 0x1bf2 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x40 000005f5: MLOAD 000005f6: DUP1 000005f7: SWAP2 000005f8: SUB 000005f9: SWAP1 000005fa: REVERT 000005fb: JUMPDEST 000005fc: PUSH1 0x00 000005fe: JUMPDEST 000005ff: DUP2 00000600: MLOAD 00000601: DUP2 00000602: LT 00000603: ISZERO 00000604: PUSH2 0x0663 00000607: JUMPI 00000608: PUSH1 0x01 0000060a: PUSH1 0x10 0000060c: PUSH1 0x00 0000060e: DUP5 0000060f: DUP5 00000610: DUP2 00000611: MLOAD 00000612: DUP2 00000613: LT 00000614: PUSH2 0x061f 00000617: JUMPI 00000618: PUSH2 0x061f 0000061b: PUSH2 0x1c27 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x20 00000622: SWAP1 00000623: DUP2 00000624: MUL 00000625: SWAP2 00000626: SWAP1 00000627: SWAP2 00000628: ADD 00000629: DUP2 0000062a: ADD 0000062b: MLOAD 0000062c: PUSH1 0x01 0000062e: PUSH1 0x01 00000630: PUSH1 0xa0 00000632: SHL 00000633: SUB 00000634: AND 00000635: DUP3 00000636: MSTORE 00000637: DUP2 00000638: ADD 00000639: SWAP2 0000063a: SWAP1 0000063b: SWAP2 0000063c: MSTORE 0000063d: PUSH1 0x40 0000063f: ADD 00000640: PUSH1 0x00 00000642: KECCAK256 00000643: DUP1 00000644: SLOAD 00000645: PUSH1 0xff 00000647: NOT 00000648: AND 00000649: SWAP2 0000064a: ISZERO 0000064b: ISZERO 0000064c: SWAP2 0000064d: SWAP1 0000064e: SWAP2 0000064f: OR 00000650: SWAP1 00000651: SSTORE 00000652: DUP1 00000653: PUSH2 0x065b 00000656: DUP2 00000657: PUSH2 0x1c53 0000065a: JUMP 0000065b: JUMPDEST 0000065c: SWAP2 0000065d: POP 0000065e: POP 0000065f: PUSH2 0x05fe 00000662: JUMP 00000663: JUMPDEST 00000664: POP 00000665: POP 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x00 0000066a: PUSH2 0x0674 0000066d: CALLER 0000066e: DUP5 0000066f: DUP5 00000670: PUSH2 0x0b5a 00000673: JUMP 00000674: JUMPDEST 00000675: POP 00000676: PUSH1 0x01 00000678: JUMPDEST 00000679: SWAP3 0000067a: SWAP2 0000067b: POP 0000067c: POP 0000067d: JUMP 0000067e: JUMPDEST 0000067f: PUSH1 0x00 00000681: PUSH2 0x068b 00000684: DUP5 00000685: DUP5 00000686: DUP5 00000687: PUSH2 0x0c7e 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH2 0x06dd 0000068f: DUP5 00000690: CALLER 00000691: PUSH2 0x06d8 00000694: DUP6 00000695: PUSH1 0x40 00000697: MLOAD 00000698: DUP1 00000699: PUSH1 0x60 0000069b: ADD 0000069c: PUSH1 0x40 0000069e: MSTORE 0000069f: DUP1 000006a0: PUSH1 0x28 000006a2: DUP2 000006a3: MSTORE 000006a4: PUSH1 0x20 000006a6: ADD 000006a7: PUSH2 0x1d5a 000006aa: PUSH1 0x28 000006ac: SWAP2 000006ad: CODECOPY 000006ae: PUSH1 0x01 000006b0: PUSH1 0x01 000006b2: PUSH1 0xa0 000006b4: SHL 000006b5: SUB 000006b6: DUP11 000006b7: AND 000006b8: PUSH1 0x00 000006ba: SWAP1 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x04 000006bf: PUSH1 0x20 000006c1: SWAP1 000006c2: DUP2 000006c3: MSTORE 000006c4: PUSH1 0x40 000006c6: DUP1 000006c7: DUP4 000006c8: KECCAK256 000006c9: CALLER 000006ca: DUP5 000006cb: MSTORE 000006cc: SWAP1 000006cd: SWAP2 000006ce: MSTORE 000006cf: SWAP1 000006d0: KECCAK256 000006d1: SLOAD 000006d2: SWAP2 000006d3: SWAP1 000006d4: PUSH2 0x11ba 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH2 0x0b5a 000006dc: JUMP 000006dd: JUMPDEST 000006de: POP 000006df: PUSH1 0x01 000006e1: SWAP4 000006e2: SWAP3 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x00 000006ea: SLOAD 000006eb: PUSH1 0x01 000006ed: PUSH1 0x01 000006ef: PUSH1 0xa0 000006f1: SHL 000006f2: SUB 000006f3: AND 000006f4: CALLER 000006f5: EQ 000006f6: PUSH2 0x0711 000006f9: JUMPI 000006fa: PUSH1 0x40 000006fc: MLOAD 000006fd: PUSH3 0x461bcd 00000701: PUSH1 0xe5 00000703: SHL 00000704: DUP2 00000705: MSTORE 00000706: PUSH1 0x04 00000708: ADD 00000709: PUSH2 0x05f2 0000070c: SWAP1 0000070d: PUSH2 0x1bf2 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x01 00000714: PUSH1 0x01 00000716: PUSH1 0xa0 00000718: SHL 00000719: SUB 0000071a: AND 0000071b: PUSH1 0x00 0000071d: SWAP1 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x10 00000722: PUSH1 0x20 00000724: MSTORE 00000725: PUSH1 0x40 00000727: SWAP1 00000728: KECCAK256 00000729: DUP1 0000072a: SLOAD 0000072b: PUSH1 0xff 0000072d: NOT 0000072e: AND 0000072f: SWAP1 00000730: SSTORE 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x00 00000735: SLOAD 00000736: PUSH1 0x01 00000738: PUSH1 0x01 0000073a: PUSH1 0xa0 0000073c: SHL 0000073d: SUB 0000073e: AND 0000073f: CALLER 00000740: EQ 00000741: PUSH2 0x075c 00000744: JUMPI 00000745: PUSH1 0x40 00000747: MLOAD 00000748: PUSH3 0x461bcd 0000074c: PUSH1 0xe5 0000074e: SHL 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x04 00000753: ADD 00000754: PUSH2 0x05f2 00000757: SWAP1 00000758: PUSH2 0x1bf2 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x15 0000075f: DUP1 00000760: SLOAD 00000761: SWAP2 00000762: ISZERO 00000763: ISZERO 00000764: PUSH1 0x01 00000766: PUSH1 0xb0 00000768: SHL 00000769: MUL 0000076a: PUSH1 0xff 0000076c: PUSH1 0xb0 0000076e: SHL 0000076f: NOT 00000770: SWAP1 00000771: SWAP3 00000772: AND 00000773: SWAP2 00000774: SWAP1 00000775: SWAP2 00000776: OR 00000777: SWAP1 00000778: SSTORE 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH1 0x12 0000077d: SLOAD 0000077e: PUSH1 0x01 00000780: PUSH1 0x01 00000782: PUSH1 0xa0 00000784: SHL 00000785: SUB 00000786: AND 00000787: CALLER 00000788: PUSH1 0x01 0000078a: PUSH1 0x01 0000078c: PUSH1 0xa0 0000078e: SHL 0000078f: SUB 00000790: AND 00000791: EQ 00000792: DUP1 00000793: PUSH2 0x07af 00000796: JUMPI 00000797: POP 00000798: PUSH1 0x13 0000079a: SLOAD 0000079b: PUSH1 0x01 0000079d: PUSH1 0x01 0000079f: PUSH1 0xa0 000007a1: SHL 000007a2: SUB 000007a3: AND 000007a4: CALLER 000007a5: PUSH1 0x01 000007a7: PUSH1 0x01 000007a9: PUSH1 0xa0 000007ab: SHL 000007ac: SUB 000007ad: AND 000007ae: EQ 000007af: JUMPDEST 000007b0: PUSH2 0x07b8 000007b3: JUMPI 000007b4: PUSH1 0x00 000007b6: DUP1 000007b7: REVERT 000007b8: JUMPDEST 000007b9: SELFBALANCE 000007ba: PUSH2 0x07c2 000007bd: DUP2 000007be: PUSH2 0x11f4 000007c1: JUMP 000007c2: JUMPDEST 000007c3: POP 000007c4: JUMP 000007c5: JUMPDEST 000007c6: PUSH1 0x01 000007c8: PUSH1 0x01 000007ca: PUSH1 0xa0 000007cc: SHL 000007cd: SUB 000007ce: DUP2 000007cf: AND 000007d0: PUSH1 0x00 000007d2: SWAP1 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x02 000007d7: PUSH1 0x20 000007d9: MSTORE 000007da: PUSH1 0x40 000007dc: DUP2 000007dd: KECCAK256 000007de: SLOAD 000007df: PUSH2 0x0678 000007e2: SWAP1 000007e3: PUSH2 0x122e 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x00 000007ea: SLOAD 000007eb: PUSH1 0x01 000007ed: PUSH1 0x01 000007ef: PUSH1 0xa0 000007f1: SHL 000007f2: SUB 000007f3: AND 000007f4: CALLER 000007f5: EQ 000007f6: PUSH2 0x0811 000007f9: JUMPI 000007fa: PUSH1 0x40 000007fc: MLOAD 000007fd: PUSH3 0x461bcd 00000801: PUSH1 0xe5 00000803: SHL 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x04 00000808: ADD 00000809: PUSH2 0x05f2 0000080c: SWAP1 0000080d: PUSH2 0x1bf2 00000810: JUMP 00000811: JUMPDEST 00000812: PUSH1 0x00 00000814: DUP1 00000815: SLOAD 00000816: PUSH1 0x40 00000818: MLOAD 00000819: PUSH1 0x01 0000081b: PUSH1 0x01 0000081d: PUSH1 0xa0 0000081f: SHL 00000820: SUB 00000821: SWAP1 00000822: SWAP2 00000823: AND 00000824: SWAP1 00000825: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000846: SWAP1 00000847: DUP4 00000848: SWAP1 00000849: LOG3 0000084a: PUSH1 0x00 0000084c: DUP1 0000084d: SLOAD 0000084e: PUSH1 0x01 00000850: PUSH1 0x01 00000852: PUSH1 0xa0 00000854: SHL 00000855: SUB 00000856: NOT 00000857: AND 00000858: SWAP1 00000859: SSTORE 0000085a: JUMP 0000085b: JUMPDEST 0000085c: PUSH1 0x00 0000085e: SLOAD 0000085f: PUSH1 0x01 00000861: PUSH1 0x01 00000863: PUSH1 0xa0 00000865: SHL 00000866: SUB 00000867: AND 00000868: CALLER 00000869: EQ 0000086a: PUSH2 0x0885 0000086d: JUMPI 0000086e: PUSH1 0x40 00000870: MLOAD 00000871: PUSH3 0x461bcd 00000875: PUSH1 0xe5 00000877: SHL 00000878: DUP2 00000879: MSTORE 0000087a: PUSH1 0x04 0000087c: ADD 0000087d: PUSH2 0x05f2 00000880: SWAP1 00000881: PUSH2 0x1bf2 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x16 00000888: SSTORE 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x00 0000088d: SLOAD 0000088e: PUSH1 0x01 00000890: PUSH1 0x01 00000892: PUSH1 0xa0 00000894: SHL 00000895: SUB 00000896: AND 00000897: CALLER 00000898: EQ 00000899: PUSH2 0x08b4 0000089c: JUMPI 0000089d: PUSH1 0x40 0000089f: MLOAD 000008a0: PUSH3 0x461bcd 000008a4: PUSH1 0xe5 000008a6: SHL 000008a7: DUP2 000008a8: MSTORE 000008a9: PUSH1 0x04 000008ab: ADD 000008ac: PUSH2 0x05f2 000008af: SWAP1 000008b0: PUSH2 0x1bf2 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH1 0x15 000008b7: DUP1 000008b8: SLOAD 000008b9: SWAP2 000008ba: ISZERO 000008bb: ISZERO 000008bc: PUSH1 0x01 000008be: PUSH1 0xa0 000008c0: SHL 000008c1: MUL 000008c2: PUSH1 0xff 000008c4: PUSH1 0xa0 000008c6: SHL 000008c7: NOT 000008c8: SWAP1 000008c9: SWAP3 000008ca: AND 000008cb: SWAP2 000008cc: SWAP1 000008cd: SWAP2 000008ce: OR 000008cf: SWAP1 000008d0: SSTORE 000008d1: JUMP 000008d2: JUMPDEST 000008d3: PUSH1 0x00 000008d5: SLOAD 000008d6: PUSH1 0x01 000008d8: PUSH1 0x01 000008da: PUSH1 0xa0 000008dc: SHL 000008dd: SUB 000008de: AND 000008df: CALLER 000008e0: EQ 000008e1: PUSH2 0x08fc 000008e4: JUMPI 000008e5: PUSH1 0x40 000008e7: MLOAD 000008e8: PUSH3 0x461bcd 000008ec: PUSH1 0xe5 000008ee: SHL 000008ef: DUP2 000008f0: MSTORE 000008f1: PUSH1 0x04 000008f3: ADD 000008f4: PUSH2 0x05f2 000008f7: SWAP1 000008f8: PUSH2 0x1bf2 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH1 0x18 000008ff: SSTORE 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x00 00000904: SLOAD 00000905: PUSH1 0x01 00000907: PUSH1 0x01 00000909: PUSH1 0xa0 0000090b: SHL 0000090c: SUB 0000090d: AND 0000090e: CALLER 0000090f: EQ 00000910: PUSH2 0x092b 00000913: JUMPI 00000914: PUSH1 0x40 00000916: MLOAD 00000917: PUSH3 0x461bcd 0000091b: PUSH1 0xe5 0000091d: SHL 0000091e: DUP2 0000091f: MSTORE 00000920: PUSH1 0x04 00000922: ADD 00000923: PUSH2 0x05f2 00000926: SWAP1 00000927: PUSH2 0x1bf2 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x08 0000092e: SWAP4 0000092f: SWAP1 00000930: SWAP4 00000931: SSTORE 00000932: PUSH1 0x0a 00000934: SWAP2 00000935: SWAP1 00000936: SWAP2 00000937: SSTORE 00000938: PUSH1 0x09 0000093a: SSTORE 0000093b: PUSH1 0x0b 0000093d: SSTORE 0000093e: JUMP 0000093f: JUMPDEST 00000940: PUSH1 0x00 00000942: PUSH2 0x0674 00000945: CALLER 00000946: DUP5 00000947: DUP5 00000948: PUSH2 0x0c7e 0000094b: JUMP 0000094c: JUMPDEST 0000094d: PUSH1 0x12 0000094f: SLOAD 00000950: PUSH1 0x01 00000952: PUSH1 0x01 00000954: PUSH1 0xa0 00000956: SHL 00000957: SUB 00000958: AND 00000959: CALLER 0000095a: PUSH1 0x01 0000095c: PUSH1 0x01 0000095e: PUSH1 0xa0 00000960: SHL 00000961: SUB 00000962: AND 00000963: EQ 00000964: DUP1 00000965: PUSH2 0x0981 00000968: JUMPI 00000969: POP 0000096a: PUSH1 0x13 0000096c: SLOAD 0000096d: PUSH1 0x01 0000096f: PUSH1 0x01 00000971: PUSH1 0xa0 00000973: SHL 00000974: SUB 00000975: AND 00000976: CALLER 00000977: PUSH1 0x01 00000979: PUSH1 0x01 0000097b: PUSH1 0xa0 0000097d: SHL 0000097e: SUB 0000097f: AND 00000980: EQ 00000981: JUMPDEST 00000982: PUSH2 0x098a 00000985: JUMPI 00000986: PUSH1 0x00 00000988: DUP1 00000989: REVERT 0000098a: JUMPDEST 0000098b: PUSH1 0x00 0000098d: PUSH2 0x0995 00000990: ADDRESS 00000991: PUSH2 0x07c5 00000994: JUMP 00000995: JUMPDEST 00000996: SWAP1 00000997: POP 00000998: PUSH2 0x07c2 0000099b: DUP2 0000099c: PUSH2 0x12b2 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x00 000009a3: SLOAD 000009a4: PUSH1 0x01 000009a6: PUSH1 0x01 000009a8: PUSH1 0xa0 000009aa: SHL 000009ab: SUB 000009ac: AND 000009ad: CALLER 000009ae: EQ 000009af: PUSH2 0x09ca 000009b2: JUMPI 000009b3: PUSH1 0x40 000009b5: MLOAD 000009b6: PUSH3 0x461bcd 000009ba: PUSH1 0xe5 000009bc: SHL 000009bd: DUP2 000009be: MSTORE 000009bf: PUSH1 0x04 000009c1: ADD 000009c2: PUSH2 0x05f2 000009c5: SWAP1 000009c6: PUSH2 0x1bf2 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH1 0x00 000009cd: JUMPDEST 000009ce: DUP3 000009cf: DUP2 000009d0: LT 000009d1: ISZERO 000009d2: PUSH2 0x0a3b 000009d5: JUMPI 000009d6: DUP2 000009d7: PUSH1 0x05 000009d9: PUSH1 0x00 000009db: DUP7 000009dc: DUP7 000009dd: DUP6 000009de: DUP2 000009df: DUP2 000009e0: LT 000009e1: PUSH2 0x09ec 000009e4: JUMPI 000009e5: PUSH2 0x09ec 000009e8: PUSH2 0x1c27 000009eb: JUMP 000009ec: JUMPDEST 000009ed: SWAP1 000009ee: POP 000009ef: PUSH1 0x20 000009f1: MUL 000009f2: ADD 000009f3: PUSH1 0x20 000009f5: DUP2 000009f6: ADD 000009f7: SWAP1 000009f8: PUSH2 0x0a01 000009fb: SWAP2 000009fc: SWAP1 000009fd: PUSH2 0x1aa2 00000a00: JUMP 00000a01: JUMPDEST 00000a02: PUSH1 0x01 00000a04: PUSH1 0x01 00000a06: PUSH1 0xa0 00000a08: SHL 00000a09: SUB 00000a0a: AND 00000a0b: DUP2 00000a0c: MSTORE 00000a0d: PUSH1 0x20 00000a0f: DUP2 00000a10: ADD 00000a11: SWAP2 00000a12: SWAP1 00000a13: SWAP2 00000a14: MSTORE 00000a15: PUSH1 0x40 00000a17: ADD 00000a18: PUSH1 0x00 00000a1a: KECCAK256 00000a1b: DUP1 00000a1c: SLOAD 00000a1d: PUSH1 0xff 00000a1f: NOT 00000a20: AND 00000a21: SWAP2 00000a22: ISZERO 00000a23: ISZERO 00000a24: SWAP2 00000a25: SWAP1 00000a26: SWAP2 00000a27: OR 00000a28: SWAP1 00000a29: SSTORE 00000a2a: DUP1 00000a2b: PUSH2 0x0a33 00000a2e: DUP2 00000a2f: PUSH2 0x1c53 00000a32: JUMP 00000a33: JUMPDEST 00000a34: SWAP2 00000a35: POP 00000a36: POP 00000a37: PUSH2 0x09cd 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: POP 00000a3d: POP 00000a3e: POP 00000a3f: POP 00000a40: JUMP 00000a41: JUMPDEST 00000a42: PUSH1 0x00 00000a44: SLOAD 00000a45: PUSH1 0x01 00000a47: PUSH1 0x01 00000a49: PUSH1 0xa0 00000a4b: SHL 00000a4c: SUB 00000a4d: AND 00000a4e: CALLER 00000a4f: EQ 00000a50: PUSH2 0x0a6b 00000a53: JUMPI 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: PUSH3 0x461bcd 00000a5b: PUSH1 0xe5 00000a5d: SHL 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x04 00000a62: ADD 00000a63: PUSH2 0x05f2 00000a66: SWAP1 00000a67: PUSH2 0x1bf2 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: PUSH1 0x17 00000a6e: SSTORE 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: PUSH1 0x00 00000a73: SLOAD 00000a74: PUSH1 0x01 00000a76: PUSH1 0x01 00000a78: PUSH1 0xa0 00000a7a: SHL 00000a7b: SUB 00000a7c: AND 00000a7d: CALLER 00000a7e: EQ 00000a7f: PUSH2 0x0a9a 00000a82: JUMPI 00000a83: PUSH1 0x40 00000a85: MLOAD 00000a86: PUSH3 0x461bcd 00000a8a: PUSH1 0xe5 00000a8c: SHL 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x04 00000a91: ADD 00000a92: PUSH2 0x05f2 00000a95: SWAP1 00000a96: PUSH2 0x1bf2 00000a99: JUMP 00000a9a: JUMPDEST 00000a9b: PUSH1 0x01 00000a9d: PUSH1 0x01 00000a9f: PUSH1 0xa0 00000aa1: SHL 00000aa2: SUB 00000aa3: DUP2 00000aa4: AND 00000aa5: PUSH2 0x0aff 00000aa8: JUMPI 00000aa9: PUSH1 0x40 00000aab: MLOAD 00000aac: PUSH3 0x461bcd 00000ab0: PUSH1 0xe5 00000ab2: SHL 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: PUSH1 0x04 00000ab9: DUP3 00000aba: ADD 00000abb: MSTORE 00000abc: PUSH1 0x26 00000abe: PUSH1 0x24 00000ac0: DUP3 00000ac1: ADD 00000ac2: MSTORE 00000ac3: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ae4: PUSH1 0x44 00000ae6: DUP3 00000ae7: ADD 00000ae8: MSTORE 00000ae9: PUSH6 0x646472657373 00000af0: PUSH1 0xd0 00000af2: SHL 00000af3: PUSH1 0x64 00000af5: DUP3 00000af6: ADD 00000af7: MSTORE 00000af8: PUSH1 0x84 00000afa: ADD 00000afb: PUSH2 0x05f2 00000afe: JUMP 00000aff: JUMPDEST 00000b00: PUSH1 0x00 00000b02: DUP1 00000b03: SLOAD 00000b04: PUSH1 0x40 00000b06: MLOAD 00000b07: PUSH1 0x01 00000b09: PUSH1 0x01 00000b0b: PUSH1 0xa0 00000b0d: SHL 00000b0e: SUB 00000b0f: DUP1 00000b10: DUP6 00000b11: AND 00000b12: SWAP4 00000b13: SWAP3 00000b14: AND 00000b15: SWAP2 00000b16: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b37: SWAP2 00000b38: LOG3 00000b39: PUSH1 0x00 00000b3b: DUP1 00000b3c: SLOAD 00000b3d: PUSH1 0x01 00000b3f: PUSH1 0x01 00000b41: PUSH1 0xa0 00000b43: SHL 00000b44: SUB 00000b45: NOT 00000b46: AND 00000b47: PUSH1 0x01 00000b49: PUSH1 0x01 00000b4b: PUSH1 0xa0 00000b4d: SHL 00000b4e: SUB 00000b4f: SWAP3 00000b50: SWAP1 00000b51: SWAP3 00000b52: AND 00000b53: SWAP2 00000b54: SWAP1 00000b55: SWAP2 00000b56: OR 00000b57: SWAP1 00000b58: SSTORE 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0x01 00000b5f: PUSH1 0xa0 00000b61: SHL 00000b62: SUB 00000b63: DUP4 00000b64: AND 00000b65: PUSH2 0x0bbc 00000b68: JUMPI 00000b69: PUSH1 0x40 00000b6b: MLOAD 00000b6c: PUSH3 0x461bcd 00000b70: PUSH1 0xe5 00000b72: SHL 00000b73: DUP2 00000b74: MSTORE 00000b75: PUSH1 0x20 00000b77: PUSH1 0x04 00000b79: DUP3 00000b7a: ADD 00000b7b: MSTORE 00000b7c: PUSH1 0x24 00000b7e: DUP1 00000b7f: DUP3 00000b80: ADD 00000b81: MSTORE 00000b82: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000ba3: PUSH1 0x44 00000ba5: DUP3 00000ba6: ADD 00000ba7: MSTORE 00000ba8: PUSH4 0x72657373 00000bad: PUSH1 0xe0 00000baf: SHL 00000bb0: PUSH1 0x64 00000bb2: DUP3 00000bb3: ADD 00000bb4: MSTORE 00000bb5: PUSH1 0x84 00000bb7: ADD 00000bb8: PUSH2 0x05f2 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0xa0 00000bc3: SHL 00000bc4: SUB 00000bc5: DUP3 00000bc6: AND 00000bc7: PUSH2 0x0c1d 00000bca: JUMPI 00000bcb: PUSH1 0x40 00000bcd: MLOAD 00000bce: PUSH3 0x461bcd 00000bd2: PUSH1 0xe5 00000bd4: SHL 00000bd5: DUP2 00000bd6: MSTORE 00000bd7: PUSH1 0x20 00000bd9: PUSH1 0x04 00000bdb: DUP3 00000bdc: ADD 00000bdd: MSTORE 00000bde: PUSH1 0x22 00000be0: PUSH1 0x24 00000be2: DUP3 00000be3: ADD 00000be4: MSTORE 00000be5: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000c06: PUSH1 0x44 00000c08: DUP3 00000c09: ADD 00000c0a: MSTORE 00000c0b: PUSH2 0x7373 00000c0e: PUSH1 0xf0 00000c10: SHL 00000c11: PUSH1 0x64 00000c13: DUP3 00000c14: ADD 00000c15: MSTORE 00000c16: PUSH1 0x84 00000c18: ADD 00000c19: PUSH2 0x05f2 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH1 0x01 00000c20: PUSH1 0x01 00000c22: PUSH1 0xa0 00000c24: SHL 00000c25: SUB 00000c26: DUP4 00000c27: DUP2 00000c28: AND 00000c29: PUSH1 0x00 00000c2b: DUP2 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x04 00000c30: PUSH1 0x20 00000c32: SWAP1 00000c33: DUP2 00000c34: MSTORE 00000c35: PUSH1 0x40 00000c37: DUP1 00000c38: DUP4 00000c39: KECCAK256 00000c3a: SWAP5 00000c3b: DUP8 00000c3c: AND 00000c3d: DUP1 00000c3e: DUP5 00000c3f: MSTORE 00000c40: SWAP5 00000c41: DUP3 00000c42: MSTORE 00000c43: SWAP2 00000c44: DUP3 00000c45: SWAP1 00000c46: KECCAK256 00000c47: DUP6 00000c48: SWAP1 00000c49: SSTORE 00000c4a: SWAP1 00000c4b: MLOAD 00000c4c: DUP5 00000c4d: DUP2 00000c4e: MSTORE 00000c4f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c70: SWAP2 00000c71: ADD 00000c72: PUSH1 0x40 00000c74: MLOAD 00000c75: DUP1 00000c76: SWAP2 00000c77: SUB 00000c78: SWAP1 00000c79: LOG3 00000c7a: POP 00000c7b: POP 00000c7c: POP 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x01 00000c81: PUSH1 0x01 00000c83: PUSH1 0xa0 00000c85: SHL 00000c86: SUB 00000c87: DUP4 00000c88: AND 00000c89: PUSH2 0x0ce2 00000c8c: JUMPI 00000c8d: PUSH1 0x40 00000c8f: MLOAD 00000c90: PUSH3 0x461bcd 00000c94: PUSH1 0xe5 00000c96: SHL 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: PUSH1 0x04 00000c9d: DUP3 00000c9e: ADD 00000c9f: MSTORE 00000ca0: PUSH1 0x25 00000ca2: PUSH1 0x24 00000ca4: DUP3 00000ca5: ADD 00000ca6: MSTORE 00000ca7: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000cc8: PUSH1 0x44 00000cca: DUP3 00000ccb: ADD 00000ccc: MSTORE 00000ccd: PUSH5 0x6472657373 00000cd3: PUSH1 0xd8 00000cd5: SHL 00000cd6: PUSH1 0x64 00000cd8: DUP3 00000cd9: ADD 00000cda: MSTORE 00000cdb: PUSH1 0x84 00000cdd: ADD 00000cde: PUSH2 0x05f2 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: PUSH1 0x01 00000ce5: PUSH1 0x01 00000ce7: PUSH1 0xa0 00000ce9: SHL 00000cea: SUB 00000ceb: DUP3 00000cec: AND 00000ced: PUSH2 0x0d44 00000cf0: JUMPI 00000cf1: PUSH1 0x40 00000cf3: MLOAD 00000cf4: PUSH3 0x461bcd 00000cf8: PUSH1 0xe5 00000cfa: SHL 00000cfb: DUP2 00000cfc: MSTORE 00000cfd: PUSH1 0x20 00000cff: PUSH1 0x04 00000d01: DUP3 00000d02: ADD 00000d03: MSTORE 00000d04: PUSH1 0x23 00000d06: PUSH1 0x24 00000d08: DUP3 00000d09: ADD 00000d0a: MSTORE 00000d0b: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000d2c: PUSH1 0x44 00000d2e: DUP3 00000d2f: ADD 00000d30: MSTORE 00000d31: PUSH3 0x657373 00000d35: PUSH1 0xe8 00000d37: SHL 00000d38: PUSH1 0x64 00000d3a: DUP3 00000d3b: ADD 00000d3c: MSTORE 00000d3d: PUSH1 0x84 00000d3f: ADD 00000d40: PUSH2 0x05f2 00000d43: JUMP 00000d44: JUMPDEST 00000d45: PUSH1 0x00 00000d47: DUP2 00000d48: GT 00000d49: PUSH2 0x0da6 00000d4c: JUMPI 00000d4d: PUSH1 0x40 00000d4f: MLOAD 00000d50: PUSH3 0x461bcd 00000d54: PUSH1 0xe5 00000d56: SHL 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x20 00000d5b: PUSH1 0x04 00000d5d: DUP3 00000d5e: ADD 00000d5f: MSTORE 00000d60: PUSH1 0x29 00000d62: PUSH1 0x24 00000d64: DUP3 00000d65: ADD 00000d66: MSTORE 00000d67: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000d88: PUSH1 0x44 00000d8a: DUP3 00000d8b: ADD 00000d8c: MSTORE 00000d8d: PUSH9 0x7468616e207a65726f 00000d97: PUSH1 0xb8 00000d99: SHL 00000d9a: PUSH1 0x64 00000d9c: DUP3 00000d9d: ADD 00000d9e: MSTORE 00000d9f: PUSH1 0x84 00000da1: ADD 00000da2: PUSH2 0x05f2 00000da5: JUMP 00000da6: JUMPDEST 00000da7: PUSH1 0x00 00000da9: SLOAD 00000daa: PUSH1 0x01 00000dac: PUSH1 0x01 00000dae: PUSH1 0xa0 00000db0: SHL 00000db1: SUB 00000db2: DUP5 00000db3: DUP2 00000db4: AND 00000db5: SWAP2 00000db6: AND 00000db7: EQ 00000db8: DUP1 00000db9: ISZERO 00000dba: SWAP1 00000dbb: PUSH2 0x0dd2 00000dbe: JUMPI 00000dbf: POP 00000dc0: PUSH1 0x00 00000dc2: SLOAD 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0x01 00000dc7: PUSH1 0xa0 00000dc9: SHL 00000dca: SUB 00000dcb: DUP4 00000dcc: DUP2 00000dcd: AND 00000dce: SWAP2 00000dcf: AND 00000dd0: EQ 00000dd1: ISZERO 00000dd2: JUMPDEST 00000dd3: ISZERO 00000dd4: PUSH2 0x10b3 00000dd7: JUMPI 00000dd8: PUSH1 0x15 00000dda: SLOAD 00000ddb: PUSH1 0x01 00000ddd: PUSH1 0xa0 00000ddf: SHL 00000de0: SWAP1 00000de1: DIV 00000de2: PUSH1 0xff 00000de4: AND 00000de5: PUSH2 0x0e6b 00000de8: JUMPI 00000de9: PUSH1 0x00 00000deb: SLOAD 00000dec: PUSH1 0x01 00000dee: PUSH1 0x01 00000df0: PUSH1 0xa0 00000df2: SHL 00000df3: SUB 00000df4: DUP5 00000df5: DUP2 00000df6: AND 00000df7: SWAP2 00000df8: AND 00000df9: EQ 00000dfa: PUSH2 0x0e6b 00000dfd: JUMPI 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: PUSH3 0x461bcd 00000e05: PUSH1 0xe5 00000e07: SHL 00000e08: DUP2 00000e09: MSTORE 00000e0a: PUSH1 0x20 00000e0c: PUSH1 0x04 00000e0e: DUP3 00000e0f: ADD 00000e10: MSTORE 00000e11: PUSH1 0x3f 00000e13: PUSH1 0x24 00000e15: DUP3 00000e16: ADD 00000e17: MSTORE 00000e18: PUSH32 0x544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e6420 00000e39: PUSH1 0x44 00000e3b: DUP3 00000e3c: ADD 00000e3d: MSTORE 00000e3e: PUSH32 0x746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400 00000e5f: PUSH1 0x64 00000e61: DUP3 00000e62: ADD 00000e63: MSTORE 00000e64: PUSH1 0x84 00000e66: ADD 00000e67: PUSH2 0x05f2 00000e6a: JUMP 00000e6b: JUMPDEST 00000e6c: PUSH1 0x16 00000e6e: SLOAD 00000e6f: DUP2 00000e70: GT 00000e71: ISZERO 00000e72: PUSH2 0x0ebd 00000e75: JUMPI 00000e76: PUSH1 0x40 00000e78: MLOAD 00000e79: PUSH3 0x461bcd 00000e7d: PUSH1 0xe5 00000e7f: SHL 00000e80: DUP2 00000e81: MSTORE 00000e82: PUSH1 0x20 00000e84: PUSH1 0x04 00000e86: DUP3 00000e87: ADD 00000e88: MSTORE 00000e89: PUSH1 0x1c 00000e8b: PUSH1 0x24 00000e8d: DUP3 00000e8e: ADD 00000e8f: MSTORE 00000e90: PUSH32 0x544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000 00000eb1: PUSH1 0x44 00000eb3: DUP3 00000eb4: ADD 00000eb5: MSTORE 00000eb6: PUSH1 0x64 00000eb8: ADD 00000eb9: PUSH2 0x05f2 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0x01 00000ec2: PUSH1 0xa0 00000ec4: SHL 00000ec5: SUB 00000ec6: DUP4 00000ec7: AND 00000ec8: PUSH1 0x00 00000eca: SWAP1 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x10 00000ecf: PUSH1 0x20 00000ed1: MSTORE 00000ed2: PUSH1 0x40 00000ed4: SWAP1 00000ed5: KECCAK256 00000ed6: SLOAD 00000ed7: PUSH1 0xff 00000ed9: AND 00000eda: ISZERO 00000edb: DUP1 00000edc: ISZERO 00000edd: PUSH2 0x0eff 00000ee0: JUMPI 00000ee1: POP 00000ee2: PUSH1 0x01 00000ee4: PUSH1 0x01 00000ee6: PUSH1 0xa0 00000ee8: SHL 00000ee9: SUB 00000eea: DUP3 00000eeb: AND 00000eec: PUSH1 0x00 00000eee: SWAP1 00000eef: DUP2 00000ef0: MSTORE 00000ef1: PUSH1 0x10 00000ef3: PUSH1 0x20 00000ef5: MSTORE 00000ef6: PUSH1 0x40 00000ef8: SWAP1 00000ef9: KECCAK256 00000efa: SLOAD 00000efb: PUSH1 0xff 00000efd: AND 00000efe: ISZERO 00000eff: JUMPDEST 00000f00: PUSH2 0x0f57 00000f03: JUMPI 00000f04: PUSH1 0x40 00000f06: MLOAD 00000f07: PUSH3 0x461bcd 00000f0b: PUSH1 0xe5 00000f0d: SHL 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: PUSH1 0x23 00000f19: PUSH1 0x24 00000f1b: DUP3 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH32 0x544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c697374 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: PUSH3 0x656421 00000f48: PUSH1 0xe8 00000f4a: SHL 00000f4b: PUSH1 0x64 00000f4d: DUP3 00000f4e: ADD 00000f4f: MSTORE 00000f50: PUSH1 0x84 00000f52: ADD 00000f53: PUSH2 0x05f2 00000f56: JUMP 00000f57: JUMPDEST 00000f58: PUSH1 0x15 00000f5a: SLOAD 00000f5b: PUSH1 0x01 00000f5d: PUSH1 0x01 00000f5f: PUSH1 0xa0 00000f61: SHL 00000f62: SUB 00000f63: DUP4 00000f64: DUP2 00000f65: AND 00000f66: SWAP2 00000f67: AND 00000f68: EQ 00000f69: PUSH2 0x0fdc 00000f6c: JUMPI 00000f6d: PUSH1 0x17 00000f6f: SLOAD 00000f70: DUP2 00000f71: PUSH2 0x0f79 00000f74: DUP5 00000f75: PUSH2 0x07c5 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH2 0x0f83 00000f7d: SWAP2 00000f7e: SWAP1 00000f7f: PUSH2 0x1c6c 00000f82: JUMP 00000f83: JUMPDEST 00000f84: LT 00000f85: PUSH2 0x0fdc 00000f88: JUMPI 00000f89: PUSH1 0x40 00000f8b: MLOAD 00000f8c: PUSH3 0x461bcd 00000f90: PUSH1 0xe5 00000f92: SHL 00000f93: DUP2 00000f94: MSTORE 00000f95: PUSH1 0x20 00000f97: PUSH1 0x04 00000f99: DUP3 00000f9a: ADD 00000f9b: MSTORE 00000f9c: PUSH1 0x23 00000f9e: PUSH1 0x24 00000fa0: DUP3 00000fa1: ADD 00000fa2: MSTORE 00000fa3: PUSH32 0x544f4b454e3a2042616c616e636520657863656564732077616c6c6574207369 00000fc4: PUSH1 0x44 00000fc6: DUP3 00000fc7: ADD 00000fc8: MSTORE 00000fc9: PUSH3 0x7a6521 00000fcd: PUSH1 0xe8 00000fcf: SHL 00000fd0: PUSH1 0x64 00000fd2: DUP3 00000fd3: ADD 00000fd4: MSTORE 00000fd5: PUSH1 0x84 00000fd7: ADD 00000fd8: PUSH2 0x05f2 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH1 0x00 00000fdf: PUSH2 0x0fe7 00000fe2: ADDRESS 00000fe3: PUSH2 0x07c5 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: PUSH1 0x18 00000fea: SLOAD 00000feb: PUSH1 0x16 00000fed: SLOAD 00000fee: SWAP2 00000fef: SWAP3 00000ff0: POP 00000ff1: DUP3 00000ff2: LT 00000ff3: ISZERO 00000ff4: SWAP1 00000ff5: DUP3 00000ff6: LT 00000ff7: PUSH2 0x1000 00000ffa: JUMPI 00000ffb: PUSH1 0x16 00000ffd: SLOAD 00000ffe: SWAP2 00000fff: POP 00001000: JUMPDEST 00001001: DUP1 00001002: DUP1 00001003: ISZERO 00001004: PUSH2 0x1017 00001007: JUMPI 00001008: POP 00001009: PUSH1 0x15 0000100b: SLOAD 0000100c: PUSH1 0x01 0000100e: PUSH1 0xa8 00001010: SHL 00001011: SWAP1 00001012: DIV 00001013: PUSH1 0xff 00001015: AND 00001016: ISZERO 00001017: JUMPDEST 00001018: DUP1 00001019: ISZERO 0000101a: PUSH2 0x1031 0000101d: JUMPI 0000101e: POP 0000101f: PUSH1 0x15 00001021: SLOAD 00001022: PUSH1 0x01 00001024: PUSH1 0x01 00001026: PUSH1 0xa0 00001028: SHL 00001029: SUB 0000102a: DUP7 0000102b: DUP2 0000102c: AND 0000102d: SWAP2 0000102e: AND 0000102f: EQ 00001030: ISZERO 00001031: JUMPDEST 00001032: DUP1 00001033: ISZERO 00001034: PUSH2 0x1046 00001037: JUMPI 00001038: POP 00001039: PUSH1 0x15 0000103b: SLOAD 0000103c: PUSH1 0x01 0000103e: PUSH1 0xb0 00001040: SHL 00001041: SWAP1 00001042: DIV 00001043: PUSH1 0xff 00001045: AND 00001046: JUMPDEST 00001047: DUP1 00001048: ISZERO 00001049: PUSH2 0x106b 0000104c: JUMPI 0000104d: POP 0000104e: PUSH1 0x01 00001050: PUSH1 0x01 00001052: PUSH1 0xa0 00001054: SHL 00001055: SUB 00001056: DUP6 00001057: AND 00001058: PUSH1 0x00 0000105a: SWAP1 0000105b: DUP2 0000105c: MSTORE 0000105d: PUSH1 0x05 0000105f: PUSH1 0x20 00001061: MSTORE 00001062: PUSH1 0x40 00001064: SWAP1 00001065: KECCAK256 00001066: SLOAD 00001067: PUSH1 0xff 00001069: AND 0000106a: ISZERO 0000106b: JUMPDEST 0000106c: DUP1 0000106d: ISZERO 0000106e: PUSH2 0x1090 00001071: JUMPI 00001072: POP 00001073: PUSH1 0x01 00001075: PUSH1 0x01 00001077: PUSH1 0xa0 00001079: SHL 0000107a: SUB 0000107b: DUP5 0000107c: AND 0000107d: PUSH1 0x00 0000107f: SWAP1 00001080: DUP2 00001081: MSTORE 00001082: PUSH1 0x05 00001084: PUSH1 0x20 00001086: MSTORE 00001087: PUSH1 0x40 00001089: SWAP1 0000108a: KECCAK256 0000108b: SLOAD 0000108c: PUSH1 0xff 0000108e: AND 0000108f: ISZERO 00001090: JUMPDEST 00001091: ISZERO 00001092: PUSH2 0x10b0 00001095: JUMPI 00001096: PUSH2 0x109e 00001099: DUP3 0000109a: PUSH2 0x12b2 0000109d: JUMP 0000109e: JUMPDEST 0000109f: SELFBALANCE 000010a0: DUP1 000010a1: ISZERO 000010a2: PUSH2 0x10ae 000010a5: JUMPI 000010a6: PUSH2 0x10ae 000010a9: SELFBALANCE 000010aa: PUSH2 0x11f4 000010ad: JUMP 000010ae: JUMPDEST 000010af: POP 000010b0: JUMPDEST 000010b1: POP 000010b2: POP 000010b3: JUMPDEST 000010b4: PUSH1 0x01 000010b6: PUSH1 0x01 000010b8: PUSH1 0xa0 000010ba: SHL 000010bb: SUB 000010bc: DUP4 000010bd: AND 000010be: PUSH1 0x00 000010c0: SWAP1 000010c1: DUP2 000010c2: MSTORE 000010c3: PUSH1 0x05 000010c5: PUSH1 0x20 000010c7: MSTORE 000010c8: PUSH1 0x40 000010ca: SWAP1 000010cb: KECCAK256 000010cc: SLOAD 000010cd: PUSH1 0x01 000010cf: SWAP1 000010d0: PUSH1 0xff 000010d2: AND 000010d3: DUP1 000010d4: PUSH2 0x10f5 000010d7: JUMPI 000010d8: POP 000010d9: PUSH1 0x01 000010db: PUSH1 0x01 000010dd: PUSH1 0xa0 000010df: SHL 000010e0: SUB 000010e1: DUP4 000010e2: AND 000010e3: PUSH1 0x00 000010e5: SWAP1 000010e6: DUP2 000010e7: MSTORE 000010e8: PUSH1 0x05 000010ea: PUSH1 0x20 000010ec: MSTORE 000010ed: PUSH1 0x40 000010ef: SWAP1 000010f0: KECCAK256 000010f1: SLOAD 000010f2: PUSH1 0xff 000010f4: AND 000010f5: JUMPDEST 000010f6: DUP1 000010f7: PUSH2 0x1127 000010fa: JUMPI 000010fb: POP 000010fc: PUSH1 0x15 000010fe: SLOAD 000010ff: PUSH1 0x01 00001101: PUSH1 0x01 00001103: PUSH1 0xa0 00001105: SHL 00001106: SUB 00001107: DUP6 00001108: DUP2 00001109: AND 0000110a: SWAP2 0000110b: AND 0000110c: EQ 0000110d: DUP1 0000110e: ISZERO 0000110f: SWAP1 00001110: PUSH2 0x1127 00001113: JUMPI 00001114: POP 00001115: PUSH1 0x15 00001117: SLOAD 00001118: PUSH1 0x01 0000111a: PUSH1 0x01 0000111c: PUSH1 0xa0 0000111e: SHL 0000111f: SUB 00001120: DUP5 00001121: DUP2 00001122: AND 00001123: SWAP2 00001124: AND 00001125: EQ 00001126: ISZERO 00001127: JUMPDEST 00001128: ISZERO 00001129: PUSH2 0x1134 0000112c: JUMPI 0000112d: POP 0000112e: PUSH1 0x00 00001130: PUSH2 0x11ae 00001133: JUMP 00001134: JUMPDEST 00001135: PUSH1 0x15 00001137: SLOAD 00001138: PUSH1 0x01 0000113a: PUSH1 0x01 0000113c: PUSH1 0xa0 0000113e: SHL 0000113f: SUB 00001140: DUP6 00001141: DUP2 00001142: AND 00001143: SWAP2 00001144: AND 00001145: EQ 00001146: DUP1 00001147: ISZERO 00001148: PUSH2 0x115f 0000114b: JUMPI 0000114c: POP 0000114d: PUSH1 0x14 0000114f: SLOAD 00001150: PUSH1 0x01 00001152: PUSH1 0x01 00001154: PUSH1 0xa0 00001156: SHL 00001157: SUB 00001158: DUP5 00001159: DUP2 0000115a: AND 0000115b: SWAP2 0000115c: AND 0000115d: EQ 0000115e: ISZERO 0000115f: JUMPDEST 00001160: ISZERO 00001161: PUSH2 0x1171 00001164: JUMPI 00001165: PUSH1 0x08 00001167: SLOAD 00001168: PUSH1 0x0c 0000116a: SSTORE 0000116b: PUSH1 0x09 0000116d: SLOAD 0000116e: PUSH1 0x0d 00001170: SSTORE 00001171: JUMPDEST 00001172: PUSH1 0x15 00001174: SLOAD 00001175: PUSH1 0x01 00001177: PUSH1 0x01 00001179: PUSH1 0xa0 0000117b: SHL 0000117c: SUB 0000117d: DUP5 0000117e: DUP2 0000117f: AND 00001180: SWAP2 00001181: AND 00001182: EQ 00001183: DUP1 00001184: ISZERO 00001185: PUSH2 0x119c 00001188: JUMPI 00001189: POP 0000118a: PUSH1 0x14 0000118c: SLOAD 0000118d: PUSH1 0x01 0000118f: PUSH1 0x01 00001191: PUSH1 0xa0 00001193: SHL 00001194: SUB 00001195: DUP6 00001196: DUP2 00001197: AND 00001198: SWAP2 00001199: AND 0000119a: EQ 0000119b: ISZERO 0000119c: JUMPDEST 0000119d: ISZERO 0000119e: PUSH2 0x11ae 000011a1: JUMPI 000011a2: PUSH1 0x0a 000011a4: SLOAD 000011a5: PUSH1 0x0c 000011a7: SSTORE 000011a8: PUSH1 0x0b 000011aa: SLOAD 000011ab: PUSH1 0x0d 000011ad: SSTORE 000011ae: JUMPDEST 000011af: PUSH2 0x0a3b 000011b2: DUP5 000011b3: DUP5 000011b4: DUP5 000011b5: DUP5 000011b6: PUSH2 0x142c 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x00 000011bd: DUP2 000011be: DUP5 000011bf: DUP5 000011c0: GT 000011c1: ISZERO 000011c2: PUSH2 0x11de 000011c5: JUMPI 000011c6: PUSH1 0x40 000011c8: MLOAD 000011c9: PUSH3 0x461bcd 000011cd: PUSH1 0xe5 000011cf: SHL 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x04 000011d4: ADD 000011d5: PUSH2 0x05f2 000011d8: SWAP2 000011d9: SWAP1 000011da: PUSH2 0x19e7 000011dd: JUMP 000011de: JUMPDEST 000011df: POP 000011e0: PUSH1 0x00 000011e2: PUSH2 0x11eb 000011e5: DUP5 000011e6: DUP7 000011e7: PUSH2 0x1c7f 000011ea: JUMP 000011eb: JUMPDEST 000011ec: SWAP6 000011ed: SWAP5 000011ee: POP 000011ef: POP 000011f0: POP 000011f1: POP 000011f2: POP 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH1 0x13 000011f7: SLOAD 000011f8: PUSH1 0x40 000011fa: MLOAD 000011fb: PUSH1 0x01 000011fd: PUSH1 0x01 000011ff: PUSH1 0xa0 00001201: SHL 00001202: SUB 00001203: SWAP1 00001204: SWAP2 00001205: AND 00001206: SWAP1 00001207: DUP3 00001208: ISZERO 00001209: PUSH2 0x08fc 0000120c: MUL 0000120d: SWAP1 0000120e: DUP4 0000120f: SWAP1 00001210: PUSH1 0x00 00001212: DUP2 00001213: DUP2 00001214: DUP2 00001215: DUP6 00001216: DUP9 00001217: DUP9 00001218: CALL 00001219: SWAP4 0000121a: POP 0000121b: POP 0000121c: POP 0000121d: POP 0000121e: ISZERO 0000121f: DUP1 00001220: ISZERO 00001221: PUSH2 0x0663 00001224: JUMPI 00001225: RETURNDATASIZE 00001226: PUSH1 0x00 00001228: DUP1 00001229: RETURNDATACOPY 0000122a: RETURNDATASIZE 0000122b: PUSH1 0x00 0000122d: REVERT 0000122e: JUMPDEST 0000122f: PUSH1 0x00 00001231: PUSH1 0x06 00001233: SLOAD 00001234: DUP3 00001235: GT 00001236: ISZERO 00001237: PUSH2 0x1295 0000123a: JUMPI 0000123b: PUSH1 0x40 0000123d: MLOAD 0000123e: PUSH3 0x461bcd 00001242: PUSH1 0xe5 00001244: SHL 00001245: DUP2 00001246: MSTORE 00001247: PUSH1 0x20 00001249: PUSH1 0x04 0000124b: DUP3 0000124c: ADD 0000124d: MSTORE 0000124e: PUSH1 0x2a 00001250: PUSH1 0x24 00001252: DUP3 00001253: ADD 00001254: MSTORE 00001255: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072 00001276: PUSH1 0x44 00001278: DUP3 00001279: ADD 0000127a: MSTORE 0000127b: PUSH10 0x65666c656374696f6e73 00001286: PUSH1 0xb0 00001288: SHL 00001289: PUSH1 0x64 0000128b: DUP3 0000128c: ADD 0000128d: MSTORE 0000128e: PUSH1 0x84 00001290: ADD 00001291: PUSH2 0x05f2 00001294: JUMP 00001295: JUMPDEST 00001296: PUSH1 0x00 00001298: PUSH2 0x129f 0000129b: PUSH2 0x145a 0000129e: JUMP 0000129f: JUMPDEST 000012a0: SWAP1 000012a1: POP 000012a2: PUSH2 0x12ab 000012a5: DUP4 000012a6: DUP3 000012a7: PUSH2 0x147d 000012aa: JUMP 000012ab: JUMPDEST 000012ac: SWAP4 000012ad: SWAP3 000012ae: POP 000012af: POP 000012b0: POP 000012b1: JUMP 000012b2: JUMPDEST 000012b3: PUSH1 0x15 000012b5: DUP1 000012b6: SLOAD 000012b7: PUSH1 0xff 000012b9: PUSH1 0xa8 000012bb: SHL 000012bc: NOT 000012bd: AND 000012be: PUSH1 0x01 000012c0: PUSH1 0xa8 000012c2: SHL 000012c3: OR 000012c4: SWAP1 000012c5: SSTORE 000012c6: PUSH1 0x40 000012c8: DUP1 000012c9: MLOAD 000012ca: PUSH1 0x02 000012cc: DUP1 000012cd: DUP3 000012ce: MSTORE 000012cf: PUSH1 0x60 000012d1: DUP3 000012d2: ADD 000012d3: DUP4 000012d4: MSTORE 000012d5: PUSH1 0x00 000012d7: SWAP3 000012d8: PUSH1 0x20 000012da: DUP4 000012db: ADD 000012dc: SWAP1 000012dd: DUP1 000012de: CALLDATASIZE 000012df: DUP4 000012e0: CALLDATACOPY 000012e1: ADD 000012e2: SWAP1 000012e3: POP 000012e4: POP 000012e5: SWAP1 000012e6: POP 000012e7: ADDRESS 000012e8: DUP2 000012e9: PUSH1 0x00 000012eb: DUP2 000012ec: MLOAD 000012ed: DUP2 000012ee: LT 000012ef: PUSH2 0x12fa 000012f2: JUMPI 000012f3: PUSH2 0x12fa 000012f6: PUSH2 0x1c27 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x01 000012fd: PUSH1 0x01 000012ff: PUSH1 0xa0 00001301: SHL 00001302: SUB 00001303: SWAP3 00001304: DUP4 00001305: AND 00001306: PUSH1 0x20 00001308: SWAP2 00001309: DUP3 0000130a: MUL 0000130b: SWAP3 0000130c: SWAP1 0000130d: SWAP3 0000130e: ADD 0000130f: DUP2 00001310: ADD 00001311: SWAP2 00001312: SWAP1 00001313: SWAP2 00001314: MSTORE 00001315: PUSH1 0x14 00001317: SLOAD 00001318: PUSH1 0x40 0000131a: DUP1 0000131b: MLOAD 0000131c: PUSH4 0x15ab88c9 00001321: PUSH1 0xe3 00001323: SHL 00001324: DUP2 00001325: MSTORE 00001326: SWAP1 00001327: MLOAD 00001328: SWAP2 00001329: SWAP1 0000132a: SWAP4 0000132b: AND 0000132c: SWAP3 0000132d: PUSH4 0xad5c4648 00001332: SWAP3 00001333: PUSH1 0x04 00001335: DUP1 00001336: DUP4 00001337: ADD 00001338: SWAP4 00001339: SWAP2 0000133a: SWAP3 0000133b: DUP3 0000133c: SWAP1 0000133d: SUB 0000133e: ADD 0000133f: DUP2 00001340: DUP7 00001341: GAS 00001342: STATICCALL 00001343: ISZERO 00001344: DUP1 00001345: ISZERO 00001346: PUSH2 0x1353 00001349: JUMPI 0000134a: RETURNDATASIZE 0000134b: PUSH1 0x00 0000134d: DUP1 0000134e: RETURNDATACOPY 0000134f: RETURNDATASIZE 00001350: PUSH1 0x00 00001352: REVERT 00001353: JUMPDEST 00001354: POP 00001355: POP 00001356: POP 00001357: POP 00001358: PUSH1 0x40 0000135a: MLOAD 0000135b: RETURNDATASIZE 0000135c: PUSH1 0x1f 0000135e: NOT 0000135f: PUSH1 0x1f 00001361: DUP3 00001362: ADD 00001363: AND 00001364: DUP3 00001365: ADD 00001366: DUP1 00001367: PUSH1 0x40 00001369: MSTORE 0000136a: POP 0000136b: DUP2 0000136c: ADD 0000136d: SWAP1 0000136e: PUSH2 0x1377 00001371: SWAP2 00001372: SWAP1 00001373: PUSH2 0x1c92 00001376: JUMP 00001377: JUMPDEST 00001378: DUP2 00001379: PUSH1 0x01 0000137b: DUP2 0000137c: MLOAD 0000137d: DUP2 0000137e: LT 0000137f: PUSH2 0x138a 00001382: JUMPI 00001383: PUSH2 0x138a 00001386: PUSH2 0x1c27 00001389: JUMP 0000138a: JUMPDEST 0000138b: PUSH1 0x01 0000138d: PUSH1 0x01 0000138f: PUSH1 0xa0 00001391: SHL 00001392: SUB 00001393: SWAP3 00001394: DUP4 00001395: AND 00001396: PUSH1 0x20 00001398: SWAP2 00001399: DUP3 0000139a: MUL 0000139b: SWAP3 0000139c: SWAP1 0000139d: SWAP3 0000139e: ADD 0000139f: ADD 000013a0: MSTORE 000013a1: PUSH1 0x14 000013a3: SLOAD 000013a4: PUSH2 0x13b0 000013a7: SWAP2 000013a8: ADDRESS 000013a9: SWAP2 000013aa: AND 000013ab: DUP5 000013ac: PUSH2 0x0b5a 000013af: JUMP 000013b0: JUMPDEST 000013b1: PUSH1 0x14 000013b3: SLOAD 000013b4: PUSH1 0x40 000013b6: MLOAD 000013b7: PUSH4 0x791ac947 000013bc: PUSH1 0xe0 000013be: SHL 000013bf: DUP2 000013c0: MSTORE 000013c1: PUSH1 0x01 000013c3: PUSH1 0x01 000013c5: PUSH1 0xa0 000013c7: SHL 000013c8: SUB 000013c9: SWAP1 000013ca: SWAP2 000013cb: AND 000013cc: SWAP1 000013cd: PUSH4 0x791ac947 000013d2: SWAP1 000013d3: PUSH2 0x13e9 000013d6: SWAP1 000013d7: DUP6 000013d8: SWAP1 000013d9: PUSH1 0x00 000013db: SWAP1 000013dc: DUP7 000013dd: SWAP1 000013de: ADDRESS 000013df: SWAP1 000013e0: TIMESTAMP 000013e1: SWAP1 000013e2: PUSH1 0x04 000013e4: ADD 000013e5: PUSH2 0x1caf 000013e8: JUMP 000013e9: JUMPDEST 000013ea: PUSH1 0x00 000013ec: PUSH1 0x40 000013ee: MLOAD 000013ef: DUP1 000013f0: DUP4 000013f1: SUB 000013f2: DUP2 000013f3: PUSH1 0x00 000013f5: DUP8 000013f6: DUP1 000013f7: EXTCODESIZE 000013f8: ISZERO 000013f9: DUP1 000013fa: ISZERO 000013fb: PUSH2 0x1403 000013fe: JUMPI 000013ff: PUSH1 0x00 00001401: DUP1 00001402: REVERT 00001403: JUMPDEST 00001404: POP 00001405: GAS 00001406: CALL 00001407: ISZERO 00001408: DUP1 00001409: ISZERO 0000140a: PUSH2 0x1417 0000140d: JUMPI 0000140e: RETURNDATASIZE 0000140f: PUSH1 0x00 00001411: DUP1 00001412: RETURNDATACOPY 00001413: RETURNDATASIZE 00001414: PUSH1 0x00 00001416: REVERT 00001417: JUMPDEST 00001418: POP 00001419: POP 0000141a: PUSH1 0x15 0000141c: DUP1 0000141d: SLOAD 0000141e: PUSH1 0xff 00001420: PUSH1 0xa8 00001422: SHL 00001423: NOT 00001424: AND 00001425: SWAP1 00001426: SSTORE 00001427: POP 00001428: POP 00001429: POP 0000142a: POP 0000142b: JUMP 0000142c: JUMPDEST 0000142d: DUP1 0000142e: PUSH2 0x1439 00001431: JUMPI 00001432: PUSH2 0x1439 00001435: PUSH2 0x14bf 00001438: JUMP 00001439: JUMPDEST 0000143a: PUSH2 0x1444 0000143d: DUP5 0000143e: DUP5 0000143f: DUP5 00001440: PUSH2 0x14ed 00001443: JUMP 00001444: JUMPDEST 00001445: DUP1 00001446: PUSH2 0x0a3b 00001449: JUMPI 0000144a: PUSH2 0x0a3b 0000144d: PUSH1 0x0e 0000144f: SLOAD 00001450: PUSH1 0x0c 00001452: SSTORE 00001453: PUSH1 0x0f 00001455: SLOAD 00001456: PUSH1 0x0d 00001458: SSTORE 00001459: JUMP 0000145a: JUMPDEST 0000145b: PUSH1 0x00 0000145d: DUP1 0000145e: PUSH1 0x00 00001460: PUSH2 0x1467 00001463: PUSH2 0x15e4 00001466: JUMP 00001467: JUMPDEST 00001468: SWAP1 00001469: SWAP3 0000146a: POP 0000146b: SWAP1 0000146c: POP 0000146d: PUSH2 0x1476 00001470: DUP3 00001471: DUP3 00001472: PUSH2 0x147d 00001475: JUMP 00001476: JUMPDEST 00001477: SWAP3 00001478: POP 00001479: POP 0000147a: POP 0000147b: SWAP1 0000147c: JUMP 0000147d: JUMPDEST 0000147e: PUSH1 0x00 00001480: PUSH2 0x12ab 00001483: DUP4 00001484: DUP4 00001485: PUSH1 0x40 00001487: MLOAD 00001488: DUP1 00001489: PUSH1 0x40 0000148b: ADD 0000148c: PUSH1 0x40 0000148e: MSTORE 0000148f: DUP1 00001490: PUSH1 0x1a 00001492: DUP2 00001493: MSTORE 00001494: PUSH1 0x20 00001496: ADD 00001497: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000014b8: DUP2 000014b9: MSTORE 000014ba: POP 000014bb: PUSH2 0x1626 000014be: JUMP 000014bf: JUMPDEST 000014c0: PUSH1 0x0c 000014c2: SLOAD 000014c3: ISZERO 000014c4: DUP1 000014c5: ISZERO 000014c6: PUSH2 0x14cf 000014c9: JUMPI 000014ca: POP 000014cb: PUSH1 0x0d 000014cd: SLOAD 000014ce: ISZERO 000014cf: JUMPDEST 000014d0: ISZERO 000014d1: PUSH2 0x14d6 000014d4: JUMPI 000014d5: JUMP 000014d6: JUMPDEST 000014d7: PUSH1 0x0c 000014d9: DUP1 000014da: SLOAD 000014db: PUSH1 0x0e 000014dd: SSTORE 000014de: PUSH1 0x0d 000014e0: DUP1 000014e1: SLOAD 000014e2: PUSH1 0x0f 000014e4: SSTORE 000014e5: PUSH1 0x00 000014e7: SWAP2 000014e8: DUP3 000014e9: SWAP1 000014ea: SSTORE 000014eb: SSTORE 000014ec: JUMP 000014ed: JUMPDEST 000014ee: PUSH1 0x00 000014f0: DUP1 000014f1: PUSH1 0x00 000014f3: DUP1 000014f4: PUSH1 0x00 000014f6: DUP1 000014f7: PUSH2 0x14ff 000014fa: DUP8 000014fb: PUSH2 0x1654 000014fe: JUMP 000014ff: JUMPDEST 00001500: PUSH1 0x01 00001502: PUSH1 0x01 00001504: PUSH1 0xa0 00001506: SHL 00001507: SUB 00001508: DUP16 00001509: AND 0000150a: PUSH1 0x00 0000150c: SWAP1 0000150d: DUP2 0000150e: MSTORE 0000150f: PUSH1 0x02 00001511: PUSH1 0x20 00001513: MSTORE 00001514: PUSH1 0x40 00001516: SWAP1 00001517: KECCAK256 00001518: SLOAD 00001519: SWAP6 0000151a: SWAP12 0000151b: POP 0000151c: SWAP4 0000151d: SWAP10 0000151e: POP 0000151f: SWAP2 00001520: SWAP8 00001521: POP 00001522: SWAP6 00001523: POP 00001524: SWAP4 00001525: POP 00001526: SWAP2 00001527: POP 00001528: PUSH2 0x1531 0000152b: SWAP1 0000152c: DUP8 0000152d: PUSH2 0x16b1 00001530: JUMP 00001531: JUMPDEST 00001532: PUSH1 0x01 00001534: PUSH1 0x01 00001536: PUSH1 0xa0 00001538: SHL 00001539: SUB 0000153a: DUP1 0000153b: DUP12 0000153c: AND 0000153d: PUSH1 0x00 0000153f: SWAP1 00001540: DUP2 00001541: MSTORE 00001542: PUSH1 0x02 00001544: PUSH1 0x20 00001546: MSTORE 00001547: PUSH1 0x40 00001549: DUP1 0000154a: DUP3 0000154b: KECCAK256 0000154c: SWAP4 0000154d: SWAP1 0000154e: SWAP4 0000154f: SSTORE 00001550: SWAP1 00001551: DUP11 00001552: AND 00001553: DUP2 00001554: MSTORE 00001555: KECCAK256 00001556: SLOAD 00001557: PUSH2 0x1560 0000155a: SWAP1 0000155b: DUP7 0000155c: PUSH2 0x16f3 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x01 00001563: PUSH1 0x01 00001565: PUSH1 0xa0 00001567: SHL 00001568: SUB 00001569: DUP10 0000156a: AND 0000156b: PUSH1 0x00 0000156d: SWAP1 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x02 00001572: PUSH1 0x20 00001574: MSTORE 00001575: PUSH1 0x40 00001577: SWAP1 00001578: KECCAK256 00001579: SSTORE 0000157a: PUSH2 0x1582 0000157d: DUP2 0000157e: PUSH2 0x1752 00001581: JUMP 00001582: JUMPDEST 00001583: PUSH2 0x158c 00001586: DUP5 00001587: DUP4 00001588: PUSH2 0x179c 0000158b: JUMP 0000158c: JUMPDEST 0000158d: DUP8 0000158e: PUSH1 0x01 00001590: PUSH1 0x01 00001592: PUSH1 0xa0 00001594: SHL 00001595: SUB 00001596: AND 00001597: DUP10 00001598: PUSH1 0x01 0000159a: PUSH1 0x01 0000159c: PUSH1 0xa0 0000159e: SHL 0000159f: SUB 000015a0: AND 000015a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000015c2: DUP6 000015c3: PUSH1 0x40 000015c5: MLOAD 000015c6: PUSH2 0x15d1 000015c9: SWAP2 000015ca: DUP2 000015cb: MSTORE 000015cc: PUSH1 0x20 000015ce: ADD 000015cf: SWAP1 000015d0: JUMP 000015d1: JUMPDEST 000015d2: PUSH1 0x40 000015d4: MLOAD 000015d5: DUP1 000015d6: SWAP2 000015d7: SUB 000015d8: SWAP1 000015d9: LOG3 000015da: POP 000015db: POP 000015dc: POP 000015dd: POP 000015de: POP 000015df: POP 000015e0: POP 000015e1: POP 000015e2: POP 000015e3: JUMP 000015e4: JUMPDEST 000015e5: PUSH1 0x06 000015e7: SLOAD 000015e8: PUSH1 0x00 000015ea: SWAP1 000015eb: DUP2 000015ec: SWAP1 000015ed: PUSH9 0x2567ac70392b880000 000015f7: PUSH2 0x1600 000015fa: DUP3 000015fb: DUP3 000015fc: PUSH2 0x147d 000015ff: JUMP 00001600: JUMPDEST 00001601: DUP3 00001602: LT 00001603: ISZERO 00001604: PUSH2 0x161d 00001607: JUMPI 00001608: POP 00001609: POP 0000160a: PUSH1 0x06 0000160c: SLOAD 0000160d: SWAP3 0000160e: PUSH9 0x2567ac70392b880000 00001618: SWAP3 00001619: POP 0000161a: SWAP1 0000161b: POP 0000161c: JUMP 0000161d: JUMPDEST 0000161e: SWAP1 0000161f: SWAP4 00001620: SWAP1 00001621: SWAP3 00001622: POP 00001623: SWAP1 00001624: POP 00001625: JUMP 00001626: JUMPDEST 00001627: PUSH1 0x00 00001629: DUP2 0000162a: DUP4 0000162b: PUSH2 0x1647 0000162e: JUMPI 0000162f: PUSH1 0x40 00001631: MLOAD 00001632: PUSH3 0x461bcd 00001636: PUSH1 0xe5 00001638: SHL 00001639: DUP2 0000163a: MSTORE 0000163b: PUSH1 0x04 0000163d: ADD 0000163e: PUSH2 0x05f2 00001641: SWAP2 00001642: SWAP1 00001643: PUSH2 0x19e7 00001646: JUMP 00001647: JUMPDEST 00001648: POP 00001649: PUSH1 0x00 0000164b: PUSH2 0x11eb 0000164e: DUP5 0000164f: DUP7 00001650: PUSH2 0x1d20 00001653: JUMP 00001654: JUMPDEST 00001655: PUSH1 0x00 00001657: DUP1 00001658: PUSH1 0x00 0000165a: DUP1 0000165b: PUSH1 0x00 0000165d: DUP1 0000165e: PUSH1 0x00 00001660: DUP1 00001661: PUSH1 0x00 00001663: PUSH2 0x1671 00001666: DUP11 00001667: PUSH1 0x0c 00001669: SLOAD 0000166a: PUSH1 0x0d 0000166c: SLOAD 0000166d: PUSH2 0x17c0 00001670: JUMP 00001671: JUMPDEST 00001672: SWAP3 00001673: POP 00001674: SWAP3 00001675: POP 00001676: SWAP3 00001677: POP 00001678: PUSH1 0x00 0000167a: PUSH2 0x1681 0000167d: PUSH2 0x145a 00001680: JUMP 00001681: JUMPDEST 00001682: SWAP1 00001683: POP 00001684: PUSH1 0x00 00001686: DUP1 00001687: PUSH1 0x00 00001689: PUSH2 0x1694 0000168c: DUP15 0000168d: DUP8 0000168e: DUP8 0000168f: DUP8 00001690: PUSH2 0x1815 00001693: JUMP 00001694: JUMPDEST 00001695: SWAP2 00001696: SWAP15 00001697: POP 00001698: SWAP13 00001699: POP 0000169a: SWAP11 0000169b: POP 0000169c: SWAP6 0000169d: SWAP9 0000169e: POP 0000169f: SWAP4 000016a0: SWAP7 000016a1: POP 000016a2: SWAP2 000016a3: SWAP5 000016a4: POP 000016a5: POP 000016a6: POP 000016a7: POP 000016a8: POP 000016a9: SWAP2 000016aa: SWAP4 000016ab: SWAP6 000016ac: POP 000016ad: SWAP2 000016ae: SWAP4 000016af: SWAP6 000016b0: JUMP 000016b1: JUMPDEST 000016b2: PUSH1 0x00 000016b4: PUSH2 0x12ab 000016b7: DUP4 000016b8: DUP4 000016b9: PUSH1 0x40 000016bb: MLOAD 000016bc: DUP1 000016bd: PUSH1 0x40 000016bf: ADD 000016c0: PUSH1 0x40 000016c2: MSTORE 000016c3: DUP1 000016c4: PUSH1 0x1e 000016c6: DUP2 000016c7: MSTORE 000016c8: PUSH1 0x20 000016ca: ADD 000016cb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000016ec: DUP2 000016ed: MSTORE 000016ee: POP 000016ef: PUSH2 0x11ba 000016f2: JUMP 000016f3: JUMPDEST 000016f4: PUSH1 0x00 000016f6: DUP1 000016f7: PUSH2 0x1700 000016fa: DUP4 000016fb: DUP6 000016fc: PUSH2 0x1c6c 000016ff: JUMP 00001700: JUMPDEST 00001701: SWAP1 00001702: POP 00001703: DUP4 00001704: DUP2 00001705: LT 00001706: ISZERO 00001707: PUSH2 0x12ab 0000170a: JUMPI 0000170b: PUSH1 0x40 0000170d: MLOAD 0000170e: PUSH3 0x461bcd 00001712: PUSH1 0xe5 00001714: SHL 00001715: DUP2 00001716: MSTORE 00001717: PUSH1 0x20 00001719: PUSH1 0x04 0000171b: DUP3 0000171c: ADD 0000171d: MSTORE 0000171e: PUSH1 0x1b 00001720: PUSH1 0x24 00001722: DUP3 00001723: ADD 00001724: MSTORE 00001725: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001746: PUSH1 0x44 00001748: DUP3 00001749: ADD 0000174a: MSTORE 0000174b: PUSH1 0x64 0000174d: ADD 0000174e: PUSH2 0x05f2 00001751: JUMP 00001752: JUMPDEST 00001753: PUSH1 0x00 00001755: PUSH2 0x175c 00001758: PUSH2 0x145a 0000175b: JUMP 0000175c: JUMPDEST 0000175d: SWAP1 0000175e: POP 0000175f: PUSH1 0x00 00001761: PUSH2 0x176a 00001764: DUP4 00001765: DUP4 00001766: PUSH2 0x1865 00001769: JUMP 0000176a: JUMPDEST 0000176b: ADDRESS 0000176c: PUSH1 0x00 0000176e: SWAP1 0000176f: DUP2 00001770: MSTORE 00001771: PUSH1 0x02 00001773: PUSH1 0x20 00001775: MSTORE 00001776: PUSH1 0x40 00001778: SWAP1 00001779: KECCAK256 0000177a: SLOAD 0000177b: SWAP1 0000177c: SWAP2 0000177d: POP 0000177e: PUSH2 0x1787 00001781: SWAP1 00001782: DUP3 00001783: PUSH2 0x16f3 00001786: JUMP 00001787: JUMPDEST 00001788: ADDRESS 00001789: PUSH1 0x00 0000178b: SWAP1 0000178c: DUP2 0000178d: MSTORE 0000178e: PUSH1 0x02 00001790: PUSH1 0x20 00001792: MSTORE 00001793: PUSH1 0x40 00001795: SWAP1 00001796: KECCAK256 00001797: SSTORE 00001798: POP 00001799: POP 0000179a: POP 0000179b: JUMP 0000179c: JUMPDEST 0000179d: PUSH1 0x06 0000179f: SLOAD 000017a0: PUSH2 0x17a9 000017a3: SWAP1 000017a4: DUP4 000017a5: PUSH2 0x16b1 000017a8: JUMP 000017a9: JUMPDEST 000017aa: PUSH1 0x06 000017ac: SSTORE 000017ad: PUSH1 0x07 000017af: SLOAD 000017b0: PUSH2 0x17b9 000017b3: SWAP1 000017b4: DUP3 000017b5: PUSH2 0x16f3 000017b8: JUMP 000017b9: JUMPDEST 000017ba: PUSH1 0x07 000017bc: SSTORE 000017bd: POP 000017be: POP 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH1 0x00 000017c3: DUP1 000017c4: DUP1 000017c5: DUP1 000017c6: PUSH2 0x17da 000017c9: PUSH1 0x64 000017cb: PUSH2 0x17d4 000017ce: DUP10 000017cf: DUP10 000017d0: PUSH2 0x1865 000017d3: JUMP 000017d4: JUMPDEST 000017d5: SWAP1 000017d6: PUSH2 0x147d 000017d9: JUMP 000017da: JUMPDEST 000017db: SWAP1 000017dc: POP 000017dd: PUSH1 0x00 000017df: PUSH2 0x17ed 000017e2: PUSH1 0x64 000017e4: PUSH2 0x17d4 000017e7: DUP11 000017e8: DUP10 000017e9: PUSH2 0x1865 000017ec: JUMP 000017ed: JUMPDEST 000017ee: SWAP1 000017ef: POP 000017f0: PUSH1 0x00 000017f2: PUSH2 0x1805 000017f5: DUP3 000017f6: PUSH2 0x17ff 000017f9: DUP12 000017fa: DUP7 000017fb: PUSH2 0x16b1 000017fe: JUMP 000017ff: JUMPDEST 00001800: SWAP1 00001801: PUSH2 0x16b1 00001804: JUMP 00001805: JUMPDEST 00001806: SWAP10 00001807: SWAP3 00001808: SWAP9 00001809: POP 0000180a: SWAP1 0000180b: SWAP7 0000180c: POP 0000180d: SWAP1 0000180e: SWAP5 0000180f: POP 00001810: POP 00001811: POP 00001812: POP 00001813: POP 00001814: JUMP 00001815: JUMPDEST 00001816: PUSH1 0x00 00001818: DUP1 00001819: DUP1 0000181a: DUP1 0000181b: PUSH2 0x1824 0000181e: DUP9 0000181f: DUP7 00001820: PUSH2 0x1865 00001823: JUMP 00001824: JUMPDEST 00001825: SWAP1 00001826: POP 00001827: PUSH1 0x00 00001829: PUSH2 0x1832 0000182c: DUP9 0000182d: DUP8 0000182e: PUSH2 0x1865 00001831: JUMP 00001832: JUMPDEST 00001833: SWAP1 00001834: POP 00001835: PUSH1 0x00 00001837: PUSH2 0x1840 0000183a: DUP9 0000183b: DUP9 0000183c: PUSH2 0x1865 0000183f: JUMP 00001840: JUMPDEST 00001841: SWAP1 00001842: POP 00001843: PUSH1 0x00 00001845: PUSH2 0x1852 00001848: DUP3 00001849: PUSH2 0x17ff 0000184c: DUP7 0000184d: DUP7 0000184e: PUSH2 0x16b1 00001851: JUMP 00001852: JUMPDEST 00001853: SWAP4 00001854: SWAP12 00001855: SWAP4 00001856: SWAP11 00001857: POP 00001858: SWAP2 00001859: SWAP9 0000185a: POP 0000185b: SWAP2 0000185c: SWAP7 0000185d: POP 0000185e: POP 0000185f: POP 00001860: POP 00001861: POP 00001862: POP 00001863: POP 00001864: JUMP 00001865: JUMPDEST 00001866: PUSH1 0x00 00001868: DUP3 00001869: PUSH1 0x00 0000186b: SUB 0000186c: PUSH2 0x1877 0000186f: JUMPI 00001870: POP 00001871: PUSH1 0x00 00001873: PUSH2 0x0678 00001876: JUMP 00001877: JUMPDEST 00001878: PUSH1 0x00 0000187a: PUSH2 0x1883 0000187d: DUP4 0000187e: DUP6 0000187f: PUSH2 0x1d42 00001882: JUMP 00001883: JUMPDEST 00001884: SWAP1 00001885: POP 00001886: DUP3 00001887: PUSH2 0x1890 0000188a: DUP6 0000188b: DUP4 0000188c: PUSH2 0x1d20 0000188f: JUMP 00001890: JUMPDEST 00001891: EQ 00001892: PUSH2 0x12ab 00001895: JUMPI 00001896: PUSH1 0x40 00001898: MLOAD 00001899: PUSH3 0x461bcd 0000189d: PUSH1 0xe5 0000189f: SHL 000018a0: DUP2 000018a1: MSTORE 000018a2: PUSH1 0x20 000018a4: PUSH1 0x04 000018a6: DUP3 000018a7: ADD 000018a8: MSTORE 000018a9: PUSH1 0x21 000018ab: PUSH1 0x24 000018ad: DUP3 000018ae: ADD 000018af: MSTORE 000018b0: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 000018d1: PUSH1 0x44 000018d3: DUP3 000018d4: ADD 000018d5: MSTORE 000018d6: PUSH1 0x77 000018d8: PUSH1 0xf8 000018da: SHL 000018db: PUSH1 0x64 000018dd: DUP3 000018de: ADD 000018df: MSTORE 000018e0: PUSH1 0x84 000018e2: ADD 000018e3: PUSH2 0x05f2 000018e6: JUMP 000018e7: JUMPDEST 000018e8: PUSH4 0x4e487b71 000018ed: PUSH1 0xe0 000018ef: SHL 000018f0: PUSH1 0x00 000018f2: MSTORE 000018f3: PUSH1 0x41 000018f5: PUSH1 0x04 000018f7: MSTORE 000018f8: PUSH1 0x24 000018fa: PUSH1 0x00 000018fc: REVERT 000018fd: JUMPDEST 000018fe: PUSH1 0x01 00001900: PUSH1 0x01 00001902: PUSH1 0xa0 00001904: SHL 00001905: SUB 00001906: DUP2 00001907: AND 00001908: DUP2 00001909: EQ 0000190a: PUSH2 0x07c2 0000190d: JUMPI 0000190e: PUSH1 0x00 00001910: DUP1 00001911: REVERT 00001912: JUMPDEST 00001913: DUP1 00001914: CALLDATALOAD 00001915: PUSH2 0x191d 00001918: DUP2 00001919: PUSH2 0x18fd 0000191c: JUMP 0000191d: JUMPDEST 0000191e: SWAP2 0000191f: SWAP1 00001920: POP 00001921: JUMP 00001922: JUMPDEST 00001923: PUSH1 0x00 00001925: PUSH1 0x20 00001927: DUP1 00001928: DUP4 00001929: DUP6 0000192a: SUB 0000192b: SLT 0000192c: ISZERO 0000192d: PUSH2 0x1935 00001930: JUMPI 00001931: PUSH1 0x00 00001933: DUP1 00001934: REVERT 00001935: JUMPDEST 00001936: DUP3 00001937: CALLDATALOAD 00001938: PUSH8 0xffffffffffffffff 00001941: DUP1 00001942: DUP3 00001943: GT 00001944: ISZERO 00001945: PUSH2 0x194d 00001948: JUMPI 00001949: PUSH1 0x00 0000194b: DUP1 0000194c: REVERT 0000194d: JUMPDEST 0000194e: DUP2 0000194f: DUP6 00001950: ADD 00001951: SWAP2 00001952: POP 00001953: DUP6 00001954: PUSH1 0x1f 00001956: DUP4 00001957: ADD 00001958: SLT 00001959: PUSH2 0x1961 0000195c: JUMPI 0000195d: PUSH1 0x00 0000195f: DUP1 00001960: REVERT 00001961: JUMPDEST 00001962: DUP2 00001963: CALLDATALOAD 00001964: DUP2 00001965: DUP2 00001966: GT 00001967: ISZERO 00001968: PUSH2 0x1973 0000196b: JUMPI 0000196c: PUSH2 0x1973 0000196f: PUSH2 0x18e7 00001972: JUMP 00001973: JUMPDEST 00001974: DUP1 00001975: PUSH1 0x05 00001977: SHL 00001978: PUSH1 0x40 0000197a: MLOAD 0000197b: PUSH1 0x1f 0000197d: NOT 0000197e: PUSH1 0x3f 00001980: DUP4 00001981: ADD 00001982: AND 00001983: DUP2 00001984: ADD 00001985: DUP2 00001986: DUP2 00001987: LT 00001988: DUP6 00001989: DUP3 0000198a: GT 0000198b: OR 0000198c: ISZERO 0000198d: PUSH2 0x1998 00001990: JUMPI 00001991: PUSH2 0x1998 00001994: PUSH2 0x18e7 00001997: JUMP 00001998: JUMPDEST 00001999: PUSH1 0x40 0000199b: MSTORE 0000199c: SWAP2 0000199d: DUP3 0000199e: MSTORE 0000199f: DUP5 000019a0: DUP3 000019a1: ADD 000019a2: SWAP3 000019a3: POP 000019a4: DUP4 000019a5: DUP2 000019a6: ADD 000019a7: DUP6 000019a8: ADD 000019a9: SWAP2 000019aa: DUP9 000019ab: DUP4 000019ac: GT 000019ad: ISZERO 000019ae: PUSH2 0x19b6 000019b1: JUMPI 000019b2: PUSH1 0x00 000019b4: DUP1 000019b5: REVERT 000019b6: JUMPDEST 000019b7: SWAP4 000019b8: DUP6 000019b9: ADD 000019ba: SWAP4 000019bb: JUMPDEST 000019bc: DUP3 000019bd: DUP6 000019be: LT 000019bf: ISZERO 000019c0: PUSH2 0x19db 000019c3: JUMPI 000019c4: PUSH2 0x19cc 000019c7: DUP6 000019c8: PUSH2 0x1912 000019cb: JUMP 000019cc: JUMPDEST 000019cd: DUP5 000019ce: MSTORE 000019cf: SWAP4 000019d0: DUP6 000019d1: ADD 000019d2: SWAP4 000019d3: SWAP3 000019d4: DUP6 000019d5: ADD 000019d6: SWAP3 000019d7: PUSH2 0x19bb 000019da: JUMP 000019db: JUMPDEST 000019dc: SWAP9 000019dd: SWAP8 000019de: POP 000019df: POP 000019e0: POP 000019e1: POP 000019e2: POP 000019e3: POP 000019e4: POP 000019e5: POP 000019e6: JUMP 000019e7: JUMPDEST 000019e8: PUSH1 0x00 000019ea: PUSH1 0x20 000019ec: DUP1 000019ed: DUP4 000019ee: MSTORE 000019ef: DUP4 000019f0: MLOAD 000019f1: DUP1 000019f2: DUP3 000019f3: DUP6 000019f4: ADD 000019f5: MSTORE 000019f6: PUSH1 0x00 000019f8: JUMPDEST 000019f9: DUP2 000019fa: DUP2 000019fb: LT 000019fc: ISZERO 000019fd: PUSH2 0x1a14 00001a00: JUMPI 00001a01: DUP6 00001a02: DUP2 00001a03: ADD 00001a04: DUP4 00001a05: ADD 00001a06: MLOAD 00001a07: DUP6 00001a08: DUP3 00001a09: ADD 00001a0a: PUSH1 0x40 00001a0c: ADD 00001a0d: MSTORE 00001a0e: DUP3 00001a0f: ADD 00001a10: PUSH2 0x19f8 00001a13: JUMP 00001a14: JUMPDEST 00001a15: POP 00001a16: PUSH1 0x00 00001a18: PUSH1 0x40 00001a1a: DUP3 00001a1b: DUP7 00001a1c: ADD 00001a1d: ADD 00001a1e: MSTORE 00001a1f: PUSH1 0x40 00001a21: PUSH1 0x1f 00001a23: NOT 00001a24: PUSH1 0x1f 00001a26: DUP4 00001a27: ADD 00001a28: AND 00001a29: DUP6 00001a2a: ADD 00001a2b: ADD 00001a2c: SWAP3 00001a2d: POP 00001a2e: POP 00001a2f: POP 00001a30: SWAP3 00001a31: SWAP2 00001a32: POP 00001a33: POP 00001a34: JUMP 00001a35: JUMPDEST 00001a36: PUSH1 0x00 00001a38: DUP1 00001a39: PUSH1 0x40 00001a3b: DUP4 00001a3c: DUP6 00001a3d: SUB 00001a3e: SLT 00001a3f: ISZERO 00001a40: PUSH2 0x1a48 00001a43: JUMPI 00001a44: PUSH1 0x00 00001a46: DUP1 00001a47: REVERT 00001a48: JUMPDEST 00001a49: DUP3 00001a4a: CALLDATALOAD 00001a4b: PUSH2 0x1a53 00001a4e: DUP2 00001a4f: PUSH2 0x18fd 00001a52: JUMP 00001a53: JUMPDEST 00001a54: SWAP5 00001a55: PUSH1 0x20 00001a57: SWAP4 00001a58: SWAP1 00001a59: SWAP4 00001a5a: ADD 00001a5b: CALLDATALOAD 00001a5c: SWAP4 00001a5d: POP 00001a5e: POP 00001a5f: POP 00001a60: JUMP 00001a61: JUMPDEST 00001a62: PUSH1 0x00 00001a64: DUP1 00001a65: PUSH1 0x00 00001a67: PUSH1 0x60 00001a69: DUP5 00001a6a: DUP7 00001a6b: SUB 00001a6c: SLT 00001a6d: ISZERO 00001a6e: PUSH2 0x1a76 00001a71: JUMPI 00001a72: PUSH1 0x00 00001a74: DUP1 00001a75: REVERT 00001a76: JUMPDEST 00001a77: DUP4 00001a78: CALLDATALOAD 00001a79: PUSH2 0x1a81 00001a7c: DUP2 00001a7d: PUSH2 0x18fd 00001a80: JUMP 00001a81: JUMPDEST 00001a82: SWAP3 00001a83: POP 00001a84: PUSH1 0x20 00001a86: DUP5 00001a87: ADD 00001a88: CALLDATALOAD 00001a89: PUSH2 0x1a91 00001a8c: DUP2 00001a8d: PUSH2 0x18fd 00001a90: JUMP 00001a91: JUMPDEST 00001a92: SWAP3 00001a93: SWAP6 00001a94: SWAP3 00001a95: SWAP5 00001a96: POP 00001a97: POP 00001a98: POP 00001a99: PUSH1 0x40 00001a9b: SWAP2 00001a9c: SWAP1 00001a9d: SWAP2 00001a9e: ADD 00001a9f: CALLDATALOAD 00001aa0: SWAP1 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: PUSH1 0x00 00001aa5: PUSH1 0x20 00001aa7: DUP3 00001aa8: DUP5 00001aa9: SUB 00001aaa: SLT 00001aab: ISZERO 00001aac: PUSH2 0x1ab4 00001aaf: JUMPI 00001ab0: PUSH1 0x00 00001ab2: DUP1 00001ab3: REVERT 00001ab4: JUMPDEST 00001ab5: DUP2 00001ab6: CALLDATALOAD 00001ab7: PUSH2 0x12ab 00001aba: DUP2 00001abb: PUSH2 0x18fd 00001abe: JUMP 00001abf: JUMPDEST 00001ac0: DUP1 00001ac1: CALLDATALOAD 00001ac2: DUP1 00001ac3: ISZERO 00001ac4: ISZERO 00001ac5: DUP2 00001ac6: EQ 00001ac7: PUSH2 0x191d 00001aca: JUMPI 00001acb: PUSH1 0x00 00001acd: DUP1 00001ace: REVERT 00001acf: JUMPDEST 00001ad0: PUSH1 0x00 00001ad2: PUSH1 0x20 00001ad4: DUP3 00001ad5: DUP5 00001ad6: SUB 00001ad7: SLT 00001ad8: ISZERO 00001ad9: PUSH2 0x1ae1 00001adc: JUMPI 00001add: PUSH1 0x00 00001adf: DUP1 00001ae0: REVERT 00001ae1: JUMPDEST 00001ae2: PUSH2 0x12ab 00001ae5: DUP3 00001ae6: PUSH2 0x1abf 00001ae9: JUMP 00001aea: JUMPDEST 00001aeb: PUSH1 0x00 00001aed: PUSH1 0x20 00001aef: DUP3 00001af0: DUP5 00001af1: SUB 00001af2: SLT 00001af3: ISZERO 00001af4: PUSH2 0x1afc 00001af7: JUMPI 00001af8: PUSH1 0x00 00001afa: DUP1 00001afb: REVERT 00001afc: JUMPDEST 00001afd: POP 00001afe: CALLDATALOAD 00001aff: SWAP2 00001b00: SWAP1 00001b01: POP 00001b02: JUMP 00001b03: JUMPDEST 00001b04: PUSH1 0x00 00001b06: DUP1 00001b07: PUSH1 0x00 00001b09: DUP1 00001b0a: PUSH1 0x80 00001b0c: DUP6 00001b0d: DUP8 00001b0e: SUB 00001b0f: SLT 00001b10: ISZERO 00001b11: PUSH2 0x1b19 00001b14: JUMPI 00001b15: PUSH1 0x00 00001b17: DUP1 00001b18: REVERT 00001b19: JUMPDEST 00001b1a: POP 00001b1b: POP 00001b1c: DUP3 00001b1d: CALLDATALOAD 00001b1e: SWAP5 00001b1f: PUSH1 0x20 00001b21: DUP5 00001b22: ADD 00001b23: CALLDATALOAD 00001b24: SWAP5 00001b25: POP 00001b26: PUSH1 0x40 00001b28: DUP5 00001b29: ADD 00001b2a: CALLDATALOAD 00001b2b: SWAP4 00001b2c: PUSH1 0x60 00001b2e: ADD 00001b2f: CALLDATALOAD 00001b30: SWAP3 00001b31: POP 00001b32: SWAP1 00001b33: POP 00001b34: JUMP 00001b35: JUMPDEST 00001b36: PUSH1 0x00 00001b38: DUP1 00001b39: PUSH1 0x00 00001b3b: PUSH1 0x40 00001b3d: DUP5 00001b3e: DUP7 00001b3f: SUB 00001b40: SLT 00001b41: ISZERO 00001b42: PUSH2 0x1b4a 00001b45: JUMPI 00001b46: PUSH1 0x00 00001b48: DUP1 00001b49: REVERT 00001b4a: JUMPDEST 00001b4b: DUP4 00001b4c: CALLDATALOAD 00001b4d: PUSH8 0xffffffffffffffff 00001b56: DUP1 00001b57: DUP3 00001b58: GT 00001b59: ISZERO 00001b5a: PUSH2 0x1b62 00001b5d: JUMPI 00001b5e: PUSH1 0x00 00001b60: DUP1 00001b61: REVERT 00001b62: JUMPDEST 00001b63: DUP2 00001b64: DUP7 00001b65: ADD 00001b66: SWAP2 00001b67: POP 00001b68: DUP7 00001b69: PUSH1 0x1f 00001b6b: DUP4 00001b6c: ADD 00001b6d: SLT 00001b6e: PUSH2 0x1b76 00001b71: JUMPI 00001b72: PUSH1 0x00 00001b74: DUP1 00001b75: REVERT 00001b76: JUMPDEST 00001b77: DUP2 00001b78: CALLDATALOAD 00001b79: DUP2 00001b7a: DUP2 00001b7b: GT 00001b7c: ISZERO 00001b7d: PUSH2 0x1b85 00001b80: JUMPI 00001b81: PUSH1 0x00 00001b83: DUP1 00001b84: REVERT 00001b85: JUMPDEST 00001b86: DUP8 00001b87: PUSH1 0x20 00001b89: DUP3 00001b8a: PUSH1 0x05 00001b8c: SHL 00001b8d: DUP6 00001b8e: ADD 00001b8f: ADD 00001b90: GT 00001b91: ISZERO 00001b92: PUSH2 0x1b9a 00001b95: JUMPI 00001b96: PUSH1 0x00 00001b98: DUP1 00001b99: REVERT 00001b9a: JUMPDEST 00001b9b: PUSH1 0x20 00001b9d: SWAP3 00001b9e: DUP4 00001b9f: ADD 00001ba0: SWAP6 00001ba1: POP 00001ba2: SWAP4 00001ba3: POP 00001ba4: PUSH2 0x1bb0 00001ba7: SWAP2 00001ba8: DUP7 00001ba9: ADD 00001baa: SWAP1 00001bab: POP 00001bac: PUSH2 0x1abf 00001baf: JUMP 00001bb0: JUMPDEST 00001bb1: SWAP1 00001bb2: POP 00001bb3: SWAP3 00001bb4: POP 00001bb5: SWAP3 00001bb6: POP 00001bb7: SWAP3 00001bb8: JUMP 00001bb9: JUMPDEST 00001bba: PUSH1 0x00 00001bbc: DUP1 00001bbd: PUSH1 0x40 00001bbf: DUP4 00001bc0: DUP6 00001bc1: SUB 00001bc2: SLT 00001bc3: ISZERO 00001bc4: PUSH2 0x1bcc 00001bc7: JUMPI 00001bc8: PUSH1 0x00 00001bca: DUP1 00001bcb: REVERT 00001bcc: JUMPDEST 00001bcd: DUP3 00001bce: CALLDATALOAD 00001bcf: PUSH2 0x1bd7 00001bd2: DUP2 00001bd3: PUSH2 0x18fd 00001bd6: JUMP 00001bd7: JUMPDEST 00001bd8: SWAP2 00001bd9: POP 00001bda: PUSH1 0x20 00001bdc: DUP4 00001bdd: ADD 00001bde: CALLDATALOAD 00001bdf: PUSH2 0x1be7 00001be2: DUP2 00001be3: PUSH2 0x18fd 00001be6: JUMP 00001be7: JUMPDEST 00001be8: DUP1 00001be9: SWAP2 00001bea: POP 00001beb: POP 00001bec: SWAP3 00001bed: POP 00001bee: SWAP3 00001bef: SWAP1 00001bf0: POP 00001bf1: JUMP 00001bf2: JUMPDEST 00001bf3: PUSH1 0x20 00001bf5: DUP1 00001bf6: DUP3 00001bf7: MSTORE 00001bf8: DUP2 00001bf9: DUP2 00001bfa: ADD 00001bfb: MSTORE 00001bfc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001c1d: PUSH1 0x40 00001c1f: DUP3 00001c20: ADD 00001c21: MSTORE 00001c22: PUSH1 0x60 00001c24: ADD 00001c25: SWAP1 00001c26: JUMP 00001c27: JUMPDEST 00001c28: PUSH4 0x4e487b71 00001c2d: PUSH1 0xe0 00001c2f: SHL 00001c30: PUSH1 0x00 00001c32: MSTORE 00001c33: PUSH1 0x32 00001c35: PUSH1 0x04 00001c37: MSTORE 00001c38: PUSH1 0x24 00001c3a: PUSH1 0x00 00001c3c: REVERT 00001c3d: JUMPDEST 00001c3e: PUSH4 0x4e487b71 00001c43: PUSH1 0xe0 00001c45: SHL 00001c46: PUSH1 0x00 00001c48: MSTORE 00001c49: PUSH1 0x11 00001c4b: PUSH1 0x04 00001c4d: MSTORE 00001c4e: PUSH1 0x24 00001c50: PUSH1 0x00 00001c52: REVERT 00001c53: JUMPDEST 00001c54: PUSH1 0x00 00001c56: PUSH1 0x01 00001c58: DUP3 00001c59: ADD 00001c5a: PUSH2 0x1c65 00001c5d: JUMPI 00001c5e: PUSH2 0x1c65 00001c61: PUSH2 0x1c3d 00001c64: JUMP 00001c65: JUMPDEST 00001c66: POP 00001c67: PUSH1 0x01 00001c69: ADD 00001c6a: SWAP1 00001c6b: JUMP 00001c6c: JUMPDEST 00001c6d: DUP1 00001c6e: DUP3 00001c6f: ADD 00001c70: DUP1 00001c71: DUP3 00001c72: GT 00001c73: ISZERO 00001c74: PUSH2 0x0678 00001c77: JUMPI 00001c78: PUSH2 0x0678 00001c7b: PUSH2 0x1c3d 00001c7e: JUMP 00001c7f: JUMPDEST 00001c80: DUP2 00001c81: DUP2 00001c82: SUB 00001c83: DUP2 00001c84: DUP2 00001c85: GT 00001c86: ISZERO 00001c87: PUSH2 0x0678 00001c8a: JUMPI 00001c8b: PUSH2 0x0678 00001c8e: PUSH2 0x1c3d 00001c91: JUMP 00001c92: JUMPDEST 00001c93: PUSH1 0x00 00001c95: PUSH1 0x20 00001c97: DUP3 00001c98: DUP5 00001c99: SUB 00001c9a: SLT 00001c9b: ISZERO 00001c9c: PUSH2 0x1ca4 00001c9f: JUMPI 00001ca0: PUSH1 0x00 00001ca2: DUP1 00001ca3: REVERT 00001ca4: JUMPDEST 00001ca5: DUP2 00001ca6: MLOAD 00001ca7: PUSH2 0x12ab 00001caa: DUP2 00001cab: PUSH2 0x18fd 00001cae: JUMP 00001caf: JUMPDEST 00001cb0: PUSH1 0x00 00001cb2: PUSH1 0xa0 00001cb4: DUP3 00001cb5: ADD 00001cb6: DUP8 00001cb7: DUP4 00001cb8: MSTORE 00001cb9: PUSH1 0x20 00001cbb: DUP8 00001cbc: DUP2 00001cbd: DUP6 00001cbe: ADD 00001cbf: MSTORE 00001cc0: PUSH1 0xa0 00001cc2: PUSH1 0x40 00001cc4: DUP6 00001cc5: ADD 00001cc6: MSTORE 00001cc7: DUP2 00001cc8: DUP8 00001cc9: MLOAD 00001cca: DUP1 00001ccb: DUP5 00001ccc: MSTORE 00001ccd: PUSH1 0xc0 00001ccf: DUP7 00001cd0: ADD 00001cd1: SWAP2 00001cd2: POP 00001cd3: DUP3 00001cd4: DUP10 00001cd5: ADD 00001cd6: SWAP4 00001cd7: POP 00001cd8: PUSH1 0x00 00001cda: JUMPDEST 00001cdb: DUP2 00001cdc: DUP2 00001cdd: LT 00001cde: ISZERO 00001cdf: PUSH2 0x1cff 00001ce2: JUMPI 00001ce3: DUP5 00001ce4: MLOAD 00001ce5: PUSH1 0x01 00001ce7: PUSH1 0x01 00001ce9: PUSH1 0xa0 00001ceb: SHL 00001cec: SUB 00001ced: AND 00001cee: DUP4 00001cef: MSTORE 00001cf0: SWAP4 00001cf1: DUP4 00001cf2: ADD 00001cf3: SWAP4 00001cf4: SWAP2 00001cf5: DUP4 00001cf6: ADD 00001cf7: SWAP2 00001cf8: PUSH1 0x01 00001cfa: ADD 00001cfb: PUSH2 0x1cda 00001cfe: JUMP 00001cff: JUMPDEST 00001d00: POP 00001d01: POP 00001d02: PUSH1 0x01 00001d04: PUSH1 0x01 00001d06: PUSH1 0xa0 00001d08: SHL 00001d09: SUB 00001d0a: SWAP7 00001d0b: SWAP1 00001d0c: SWAP7 00001d0d: AND 00001d0e: PUSH1 0x60 00001d10: DUP6 00001d11: ADD 00001d12: MSTORE 00001d13: POP 00001d14: POP 00001d15: POP 00001d16: PUSH1 0x80 00001d18: ADD 00001d19: MSTORE 00001d1a: SWAP4 00001d1b: SWAP3 00001d1c: POP 00001d1d: POP 00001d1e: POP 00001d1f: JUMP 00001d20: JUMPDEST 00001d21: PUSH1 0x00 00001d23: DUP3 00001d24: PUSH2 0x1d3d 00001d27: JUMPI 00001d28: PUSH4 0x4e487b71 00001d2d: PUSH1 0xe0 00001d2f: SHL 00001d30: PUSH1 0x00 00001d32: MSTORE 00001d33: PUSH1 0x12 00001d35: PUSH1 0x04 00001d37: MSTORE 00001d38: PUSH1 0x24 00001d3a: PUSH1 0x00 00001d3c: REVERT 00001d3d: JUMPDEST 00001d3e: POP 00001d3f: DIV 00001d40: SWAP1 00001d41: JUMP 00001d42: JUMPDEST 00001d43: DUP1 00001d44: DUP3 00001d45: MUL 00001d46: DUP2 00001d47: ISZERO 00001d48: DUP3 00001d49: DUP3 00001d4a: DIV 00001d4b: DUP5 00001d4c: EQ 00001d4d: OR 00001d4e: PUSH2 0x0678 00001d51: JUMPI 00001d52: PUSH2 0x0678 00001d55: PUSH2 0x1c3d 00001d58: JUMP 00001d59: INVALID 00001d5a: GASLIMIT 00001d5b: MSTORE 00001d5c: NUMBER 00001d5d: ORIGIN 00001d5e: ADDRESS 00001d5f: GASPRICE 00001d60: KECCAK256 00001d61: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001d77: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001d8c: SWAP8 00001d8d: CODECOPY 00001d8e: UNKNOWN(0xCD) 00001d8f: UNKNOWN(0xBB) 00001d90: PUSH11 0x82f49ce1e4bbdda60feafe 00001d9c: PUSH10 0xd566d663ff1ee35811ba 00001da7: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xc492f046",
"selector": "0xc492f046",
"calldata_variants": [
"0xc492f046",
"0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd79284",
"selector": "0xbfd79284",
"calldata_variants": [
"0xbfd79284",
"0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 7517,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb
call_targets:
0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df"
],
"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": "0xc492f046",
"selector": "0xc492f046",
"calldata_variants": [
"0xc492f046",
"0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd79284",
"selector": "0xbfd79284",
"calldata_variants": [
"0xbfd79284",
"0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4632,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5126,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 7517,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb
call_targets:
0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df"
],
"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": "0xc492f046",
"selector": "0xc492f046",
"calldata_variants": [
"0xc492f046",
"0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea1644d5",
"selector": "0xea1644d5",
"calldata_variants": [
"0xea1644d5",
"0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2a957bb",
"selector": "0xa2a957bb",
"calldata_variants": [
"0xa2a957bb",
"0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd79284",
"selector": "0xbfd79284",
"calldata_variants": [
"0xbfd79284",
"0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4632,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5126,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 7517,
"type": "tx_origin_used"
}
]
}
|