019b477e-c3e0-72a5-bbbf-532a3312dacf
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 |
|---|---|---|---|---|
| 25299 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25300 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68074 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68075 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68076 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68077 | 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 0x0102 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbc337182 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbc337182 0000002f: EQ 00000030: PUSH2 0x0332 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc2d0ffca 0000003a: EQ 0000003b: PUSH2 0x035b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcc653b44 00000045: EQ 00000046: PUSH2 0x0384 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdd62ed3e 00000050: EQ 00000051: PUSH2 0x03c1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe9836f7d 0000005b: EQ 0000005c: PUSH2 0x03fe 0000005f: JUMPI 00000060: PUSH2 0x0109 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x715018a6 0000006b: EQ 0000006c: PUSH2 0x0288 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x029f 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x95d89b41 00000081: EQ 00000082: PUSH2 0x02ca 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa9059cbb 0000008c: EQ 0000008d: PUSH2 0x02f5 00000090: JUMPI 00000091: PUSH2 0x0109 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x2be1dee7 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x2be1dee7 000000a7: EQ 000000a8: PUSH2 0x01de 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x313ce567 000000b2: EQ 000000b3: PUSH2 0x01f5 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4d89620d 000000bd: EQ 000000be: PUSH2 0x0220 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x70a08231 000000c8: EQ 000000c9: PUSH2 0x024b 000000cc: JUMPI 000000cd: PUSH2 0x0109 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x06fdde03 000000d8: EQ 000000d9: PUSH2 0x010e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x095ea7b3 000000e3: EQ 000000e4: PUSH2 0x0139 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x18160ddd 000000ee: EQ 000000ef: PUSH2 0x0176 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x23b872dd 000000f9: EQ 000000fa: PUSH2 0x01a1 000000fd: JUMPI 000000fe: PUSH2 0x0109 00000101: JUMP 00000102: JUMPDEST 00000103: CALLDATASIZE 00000104: PUSH2 0x0109 00000107: JUMPI 00000108: STOP 00000109: JUMPDEST 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x0123 0000011f: PUSH2 0x0415 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH1 0x40 00000126: MLOAD 00000127: PUSH2 0x0130 0000012a: SWAP2 0000012b: SWAP1 0000012c: PUSH2 0x2384 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH1 0x40 00000133: MLOAD 00000134: DUP1 00000135: SWAP2 00000136: SUB 00000137: SWAP1 00000138: RETURN 00000139: JUMPDEST 0000013a: CALLVALUE 0000013b: DUP1 0000013c: ISZERO 0000013d: PUSH2 0x0145 00000140: JUMPI 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: POP 00000147: PUSH2 0x0160 0000014a: PUSH1 0x04 0000014c: DUP1 0000014d: CALLDATASIZE 0000014e: SUB 0000014f: DUP2 00000150: ADD 00000151: SWAP1 00000152: PUSH2 0x015b 00000155: SWAP2 00000156: SWAP1 00000157: PUSH2 0x20a5 0000015a: JUMP 0000015b: JUMPDEST 0000015c: PUSH2 0x0452 0000015f: JUMP 00000160: JUMPDEST 00000161: PUSH1 0x40 00000163: MLOAD 00000164: PUSH2 0x016d 00000167: SWAP2 00000168: SWAP1 00000169: PUSH2 0x2369 0000016c: JUMP 0000016d: JUMPDEST 0000016e: PUSH1 0x40 00000170: MLOAD 00000171: DUP1 00000172: SWAP2 00000173: SUB 00000174: SWAP1 00000175: RETURN 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x018b 00000187: PUSH2 0x0470 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: PUSH2 0x0198 00000192: SWAP2 00000193: SWAP1 00000194: PUSH2 0x24c6 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: DUP1 0000019d: SWAP2 0000019e: SUB 0000019f: SWAP1 000001a0: RETURN 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH2 0x01c8 000001b2: PUSH1 0x04 000001b4: DUP1 000001b5: CALLDATASIZE 000001b6: SUB 000001b7: DUP2 000001b8: ADD 000001b9: SWAP1 000001ba: PUSH2 0x01c3 000001bd: SWAP2 000001be: SWAP1 000001bf: PUSH2 0x2056 000001c2: JUMP 000001c3: JUMPDEST 000001c4: PUSH2 0x047f 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: PUSH2 0x01d5 000001cf: SWAP2 000001d0: SWAP1 000001d1: PUSH2 0x2369 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: DUP1 000001da: SWAP2 000001db: SUB 000001dc: SWAP1 000001dd: RETURN 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x01f3 000001ef: PUSH2 0x0558 000001f2: JUMP 000001f3: JUMPDEST 000001f4: STOP 000001f5: JUMPDEST 000001f6: CALLVALUE 000001f7: DUP1 000001f8: ISZERO 000001f9: PUSH2 0x0201 000001fc: JUMPI 000001fd: PUSH1 0x00 000001ff: DUP1 00000200: REVERT 00000201: JUMPDEST 00000202: POP 00000203: PUSH2 0x020a 00000206: PUSH2 0x06b2 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: PUSH2 0x0217 00000211: SWAP2 00000212: SWAP1 00000213: PUSH2 0x253b 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH1 0x40 0000021a: MLOAD 0000021b: DUP1 0000021c: SWAP2 0000021d: SUB 0000021e: SWAP1 0000021f: RETURN 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0235 00000231: PUSH2 0x06bb 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: MLOAD 00000239: PUSH2 0x0242 0000023c: SWAP2 0000023d: SWAP1 0000023e: PUSH2 0x234e 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: SWAP2 00000248: SUB 00000249: SWAP1 0000024a: RETURN 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x0272 0000025c: PUSH1 0x04 0000025e: DUP1 0000025f: CALLDATASIZE 00000260: SUB 00000261: DUP2 00000262: ADD 00000263: SWAP1 00000264: PUSH2 0x026d 00000267: SWAP2 00000268: SWAP1 00000269: PUSH2 0x1fc8 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH2 0x06e1 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: MLOAD 00000276: PUSH2 0x027f 00000279: SWAP2 0000027a: SWAP1 0000027b: PUSH2 0x24c6 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH1 0x40 00000282: MLOAD 00000283: DUP1 00000284: SWAP2 00000285: SUB 00000286: SWAP1 00000287: RETURN 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: PUSH2 0x029d 00000299: PUSH2 0x0732 0000029c: JUMP 0000029d: JUMPDEST 0000029e: STOP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x02b4 000002b0: PUSH2 0x08e6 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: PUSH2 0x02c1 000002bb: SWAP2 000002bc: SWAP1 000002bd: PUSH2 0x234e 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: SWAP2 000002c7: SUB 000002c8: SWAP1 000002c9: RETURN 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 0x02df 000002db: PUSH2 0x090f 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH1 0x40 000002e2: MLOAD 000002e3: PUSH2 0x02ec 000002e6: SWAP2 000002e7: SWAP1 000002e8: PUSH2 0x2384 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH1 0x40 000002ef: MLOAD 000002f0: DUP1 000002f1: SWAP2 000002f2: SUB 000002f3: SWAP1 000002f4: RETURN 000002f5: JUMPDEST 000002f6: CALLVALUE 000002f7: DUP1 000002f8: ISZERO 000002f9: PUSH2 0x0301 000002fc: JUMPI 000002fd: PUSH1 0x00 000002ff: DUP1 00000300: REVERT 00000301: JUMPDEST 00000302: POP 00000303: PUSH2 0x031c 00000306: PUSH1 0x04 00000308: DUP1 00000309: CALLDATASIZE 0000030a: SUB 0000030b: DUP2 0000030c: ADD 0000030d: SWAP1 0000030e: PUSH2 0x0317 00000311: SWAP2 00000312: SWAP1 00000313: PUSH2 0x20a5 00000316: JUMP 00000317: JUMPDEST 00000318: PUSH2 0x094c 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: PUSH2 0x0329 00000323: SWAP2 00000324: SWAP1 00000325: PUSH2 0x2369 00000328: JUMP 00000329: JUMPDEST 0000032a: PUSH1 0x40 0000032c: MLOAD 0000032d: DUP1 0000032e: SWAP2 0000032f: SUB 00000330: SWAP1 00000331: RETURN 00000332: JUMPDEST 00000333: CALLVALUE 00000334: DUP1 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: POP 00000340: PUSH2 0x0359 00000343: PUSH1 0x04 00000345: DUP1 00000346: CALLDATASIZE 00000347: SUB 00000348: DUP2 00000349: ADD 0000034a: SWAP1 0000034b: PUSH2 0x0354 0000034e: SWAP2 0000034f: SWAP1 00000350: PUSH2 0x20e1 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x096a 00000358: JUMP 00000359: JUMPDEST 0000035a: STOP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: PUSH2 0x0382 0000036c: PUSH1 0x04 0000036e: DUP1 0000036f: CALLDATASIZE 00000370: SUB 00000371: DUP2 00000372: ADD 00000373: SWAP1 00000374: PUSH2 0x037d 00000377: SWAP2 00000378: SWAP1 00000379: PUSH2 0x20e1 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x0a09 00000381: JUMP 00000382: JUMPDEST 00000383: STOP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: DUP1 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: POP 00000392: PUSH2 0x03ab 00000395: PUSH1 0x04 00000397: DUP1 00000398: CALLDATASIZE 00000399: SUB 0000039a: DUP2 0000039b: ADD 0000039c: SWAP1 0000039d: PUSH2 0x03a6 000003a0: SWAP2 000003a1: SWAP1 000003a2: PUSH2 0x1fc8 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH2 0x0aa8 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: PUSH2 0x03b8 000003b2: SWAP2 000003b3: SWAP1 000003b4: PUSH2 0x24c6 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: DUP1 000003bd: SWAP2 000003be: SUB 000003bf: SWAP1 000003c0: RETURN 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x03e8 000003d2: PUSH1 0x04 000003d4: DUP1 000003d5: CALLDATASIZE 000003d6: SUB 000003d7: DUP2 000003d8: ADD 000003d9: SWAP1 000003da: PUSH2 0x03e3 000003dd: SWAP2 000003de: SWAP1 000003df: PUSH2 0x201a 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH2 0x0af1 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH1 0x40 000003eb: MLOAD 000003ec: PUSH2 0x03f5 000003ef: SWAP2 000003f0: SWAP1 000003f1: PUSH2 0x24c6 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: DUP1 000003fa: SWAP2 000003fb: SUB 000003fc: SWAP1 000003fd: RETURN 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x0413 0000040f: PUSH2 0x0b78 00000412: JUMP 00000413: JUMPDEST 00000414: STOP 00000415: JUMPDEST 00000416: PUSH1 0x60 00000418: PUSH1 0x40 0000041a: MLOAD 0000041b: DUP1 0000041c: PUSH1 0x40 0000041e: ADD 0000041f: PUSH1 0x40 00000421: MSTORE 00000422: DUP1 00000423: PUSH1 0x0d 00000425: DUP2 00000426: MSTORE 00000427: PUSH1 0x20 00000429: ADD 0000042a: PUSH32 0x492043554d20494e205045415300000000000000000000000000000000000000 0000044b: DUP2 0000044c: MSTORE 0000044d: POP 0000044e: SWAP1 0000044f: POP 00000450: SWAP1 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x00 00000455: PUSH2 0x0466 00000458: PUSH2 0x045f 0000045b: PUSH2 0x0c01 0000045e: JUMP 0000045f: JUMPDEST 00000460: DUP5 00000461: DUP5 00000462: PUSH2 0x0c09 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH1 0x01 00000469: SWAP1 0000046a: POP 0000046b: SWAP3 0000046c: SWAP2 0000046d: POP 0000046e: POP 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH1 0x00 00000473: PUSH7 0xf6a18112422800 0000047b: SWAP1 0000047c: POP 0000047d: SWAP1 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x00 00000482: PUSH2 0x048c 00000485: DUP5 00000486: DUP5 00000487: DUP5 00000488: PUSH2 0x0dd4 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH2 0x054d 00000490: DUP5 00000491: PUSH2 0x0498 00000494: PUSH2 0x0c01 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x0548 0000049c: DUP6 0000049d: PUSH1 0x40 0000049f: MLOAD 000004a0: DUP1 000004a1: PUSH1 0x60 000004a3: ADD 000004a4: PUSH1 0x40 000004a6: MSTORE 000004a7: DUP1 000004a8: PUSH1 0x28 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: ADD 000004af: PUSH2 0x2a73 000004b2: PUSH1 0x28 000004b4: SWAP2 000004b5: CODECOPY 000004b6: PUSH1 0x05 000004b8: PUSH1 0x00 000004ba: DUP12 000004bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d0: AND 000004d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e6: AND 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x20 000004eb: ADD 000004ec: SWAP1 000004ed: DUP2 000004ee: MSTORE 000004ef: PUSH1 0x20 000004f1: ADD 000004f2: PUSH1 0x00 000004f4: KECCAK256 000004f5: PUSH1 0x00 000004f7: PUSH2 0x04fe 000004fa: PUSH2 0x0c01 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000514: AND 00000515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052a: AND 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x20 0000052f: ADD 00000530: SWAP1 00000531: DUP2 00000532: MSTORE 00000533: PUSH1 0x20 00000535: ADD 00000536: PUSH1 0x00 00000538: KECCAK256 00000539: SLOAD 0000053a: PUSH2 0x13b8 0000053d: SWAP1 0000053e: SWAP3 0000053f: SWAP2 00000540: SWAP1 00000541: PUSH4 0xffffffff 00000546: AND 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH2 0x0c09 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x01 00000550: SWAP1 00000551: POP 00000552: SWAP4 00000553: SWAP3 00000554: POP 00000555: POP 00000556: POP 00000557: JUMP 00000558: JUMPDEST 00000559: CALLER 0000055a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056f: AND 00000570: PUSH1 0x01 00000572: PUSH1 0x00 00000574: SWAP1 00000575: SLOAD 00000576: SWAP1 00000577: PUSH2 0x0100 0000057a: EXP 0000057b: SWAP1 0000057c: DIV 0000057d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000592: AND 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: EQ 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: PUSH1 0x01 000005b5: PUSH1 0x00 000005b7: SWAP1 000005b8: SLOAD 000005b9: SWAP1 000005ba: PUSH2 0x0100 000005bd: EXP 000005be: SWAP1 000005bf: DIV 000005c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d5: AND 000005d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005eb: AND 000005ec: PUSH1 0x00 000005ee: DUP1 000005ef: SLOAD 000005f0: SWAP1 000005f1: PUSH2 0x0100 000005f4: EXP 000005f5: SWAP1 000005f6: DIV 000005f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060c: AND 0000060d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000622: AND 00000623: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000644: PUSH1 0x40 00000646: MLOAD 00000647: PUSH1 0x40 00000649: MLOAD 0000064a: DUP1 0000064b: SWAP2 0000064c: SUB 0000064d: SWAP1 0000064e: LOG3 0000064f: PUSH1 0x01 00000651: PUSH1 0x00 00000653: SWAP1 00000654: SLOAD 00000655: SWAP1 00000656: PUSH2 0x0100 00000659: EXP 0000065a: SWAP1 0000065b: DIV 0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000671: AND 00000672: PUSH1 0x00 00000674: DUP1 00000675: PUSH2 0x0100 00000678: EXP 00000679: DUP2 0000067a: SLOAD 0000067b: DUP2 0000067c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000691: MUL 00000692: NOT 00000693: AND 00000694: SWAP1 00000695: DUP4 00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ab: AND 000006ac: MUL 000006ad: OR 000006ae: SWAP1 000006af: SSTORE 000006b0: POP 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH1 0x00 000006b5: PUSH1 0x09 000006b7: SWAP1 000006b8: POP 000006b9: SWAP1 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH1 0x10 000006be: PUSH1 0x00 000006c0: SWAP1 000006c1: SLOAD 000006c2: SWAP1 000006c3: PUSH2 0x0100 000006c6: EXP 000006c7: SWAP1 000006c8: DIV 000006c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006de: AND 000006df: DUP2 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH1 0x00 000006e4: PUSH2 0x072b 000006e7: PUSH1 0x02 000006e9: PUSH1 0x00 000006eb: DUP5 000006ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000701: AND 00000702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000717: AND 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x20 0000071c: ADD 0000071d: SWAP1 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x20 00000722: ADD 00000723: PUSH1 0x00 00000725: KECCAK256 00000726: SLOAD 00000727: PUSH2 0x141c 0000072a: JUMP 0000072b: JUMPDEST 0000072c: SWAP1 0000072d: POP 0000072e: SWAP2 0000072f: SWAP1 00000730: POP 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH2 0x073a 00000736: PUSH2 0x0c01 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000750: AND 00000751: PUSH1 0x00 00000753: DUP1 00000754: SLOAD 00000755: SWAP1 00000756: PUSH2 0x0100 00000759: EXP 0000075a: SWAP1 0000075b: DIV 0000075c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000771: AND 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: AND 00000788: EQ 00000789: PUSH2 0x07c7 0000078c: JUMPI 0000078d: PUSH1 0x40 0000078f: MLOAD 00000790: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x04 000007b5: ADD 000007b6: PUSH2 0x07be 000007b9: SWAP1 000007ba: PUSH2 0x2446 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x40 000007c1: MLOAD 000007c2: DUP1 000007c3: SWAP2 000007c4: SUB 000007c5: SWAP1 000007c6: REVERT 000007c7: JUMPDEST 000007c8: PUSH1 0x00 000007ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007df: AND 000007e0: PUSH1 0x00 000007e2: DUP1 000007e3: SLOAD 000007e4: SWAP1 000007e5: PUSH2 0x0100 000007e8: EXP 000007e9: SWAP1 000007ea: DIV 000007eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000800: AND 00000801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000816: AND 00000817: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000838: PUSH1 0x40 0000083a: MLOAD 0000083b: PUSH1 0x40 0000083d: MLOAD 0000083e: DUP1 0000083f: SWAP2 00000840: SUB 00000841: SWAP1 00000842: LOG3 00000843: PUSH1 0x00 00000845: DUP1 00000846: SLOAD 00000847: SWAP1 00000848: PUSH2 0x0100 0000084b: EXP 0000084c: SWAP1 0000084d: DIV 0000084e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000863: AND 00000864: PUSH1 0x01 00000866: PUSH1 0x00 00000868: PUSH2 0x0100 0000086b: EXP 0000086c: DUP2 0000086d: SLOAD 0000086e: DUP2 0000086f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000884: MUL 00000885: NOT 00000886: AND 00000887: SWAP1 00000888: DUP4 00000889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089e: AND 0000089f: MUL 000008a0: OR 000008a1: SWAP1 000008a2: SSTORE 000008a3: POP 000008a4: PUSH1 0x00 000008a6: DUP1 000008a7: PUSH1 0x00 000008a9: PUSH2 0x0100 000008ac: EXP 000008ad: DUP2 000008ae: SLOAD 000008af: DUP2 000008b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c5: MUL 000008c6: NOT 000008c7: AND 000008c8: SWAP1 000008c9: DUP4 000008ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008df: AND 000008e0: MUL 000008e1: OR 000008e2: SWAP1 000008e3: SSTORE 000008e4: POP 000008e5: JUMP 000008e6: JUMPDEST 000008e7: PUSH1 0x00 000008e9: DUP1 000008ea: PUSH1 0x00 000008ec: SWAP1 000008ed: SLOAD 000008ee: SWAP1 000008ef: PUSH2 0x0100 000008f2: EXP 000008f3: SWAP1 000008f4: DIV 000008f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090a: AND 0000090b: SWAP1 0000090c: POP 0000090d: SWAP1 0000090e: JUMP 0000090f: JUMPDEST 00000910: PUSH1 0x60 00000912: PUSH1 0x40 00000914: MLOAD 00000915: DUP1 00000916: PUSH1 0x40 00000918: ADD 00000919: PUSH1 0x40 0000091b: MSTORE 0000091c: DUP1 0000091d: PUSH1 0x09 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x20 00000923: ADD 00000924: PUSH32 0x43554d494e504541530000000000000000000000000000000000000000000000 00000945: DUP2 00000946: MSTORE 00000947: POP 00000948: SWAP1 00000949: POP 0000094a: SWAP1 0000094b: JUMP 0000094c: JUMPDEST 0000094d: PUSH1 0x00 0000094f: PUSH2 0x0960 00000952: PUSH2 0x0959 00000955: PUSH2 0x0c01 00000958: JUMP 00000959: JUMPDEST 0000095a: DUP5 0000095b: DUP5 0000095c: PUSH2 0x0dd4 0000095f: JUMP 00000960: JUMPDEST 00000961: PUSH1 0x01 00000963: SWAP1 00000964: POP 00000965: SWAP3 00000966: SWAP2 00000967: POP 00000968: POP 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH2 0x0972 0000096e: PUSH2 0x0c01 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000988: AND 00000989: PUSH1 0x00 0000098b: DUP1 0000098c: SLOAD 0000098d: SWAP1 0000098e: PUSH2 0x0100 00000991: EXP 00000992: SWAP1 00000993: DIV 00000994: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a9: AND 000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bf: AND 000009c0: EQ 000009c1: PUSH2 0x09ff 000009c4: JUMPI 000009c5: PUSH1 0x40 000009c7: MLOAD 000009c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009e9: DUP2 000009ea: MSTORE 000009eb: PUSH1 0x04 000009ed: ADD 000009ee: PUSH2 0x09f6 000009f1: SWAP1 000009f2: PUSH2 0x2446 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH1 0x40 000009f9: MLOAD 000009fa: DUP1 000009fb: SWAP2 000009fc: SUB 000009fd: SWAP1 000009fe: REVERT 000009ff: JUMPDEST 00000a00: DUP1 00000a01: PUSH1 0x11 00000a03: DUP2 00000a04: SWAP1 00000a05: SSTORE 00000a06: POP 00000a07: POP 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH2 0x0a11 00000a0d: PUSH2 0x0c01 00000a10: JUMP 00000a11: JUMPDEST 00000a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a27: AND 00000a28: PUSH1 0x00 00000a2a: DUP1 00000a2b: SLOAD 00000a2c: SWAP1 00000a2d: PUSH2 0x0100 00000a30: EXP 00000a31: SWAP1 00000a32: DIV 00000a33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a48: AND 00000a49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5e: AND 00000a5f: EQ 00000a60: PUSH2 0x0a9e 00000a63: JUMPI 00000a64: PUSH1 0x40 00000a66: MLOAD 00000a67: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a88: DUP2 00000a89: MSTORE 00000a8a: PUSH1 0x04 00000a8c: ADD 00000a8d: PUSH2 0x0a95 00000a90: SWAP1 00000a91: PUSH2 0x2446 00000a94: JUMP 00000a95: JUMPDEST 00000a96: PUSH1 0x40 00000a98: MLOAD 00000a99: DUP1 00000a9a: SWAP2 00000a9b: SUB 00000a9c: SWAP1 00000a9d: REVERT 00000a9e: JUMPDEST 00000a9f: DUP1 00000aa0: PUSH1 0x11 00000aa2: DUP2 00000aa3: SWAP1 00000aa4: SSTORE 00000aa5: POP 00000aa6: POP 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x00 00000aab: PUSH1 0x04 00000aad: PUSH1 0x00 00000aaf: DUP4 00000ab0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac5: AND 00000ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000adb: AND 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: SWAP1 00000ae2: DUP2 00000ae3: MSTORE 00000ae4: PUSH1 0x20 00000ae6: ADD 00000ae7: PUSH1 0x00 00000ae9: KECCAK256 00000aea: SLOAD 00000aeb: SWAP1 00000aec: POP 00000aed: SWAP2 00000aee: SWAP1 00000aef: POP 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH1 0x00 00000af4: PUSH1 0x05 00000af6: PUSH1 0x00 00000af8: DUP5 00000af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0e: AND 00000b0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b24: AND 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x20 00000b29: ADD 00000b2a: SWAP1 00000b2b: DUP2 00000b2c: MSTORE 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: PUSH1 0x00 00000b32: KECCAK256 00000b33: PUSH1 0x00 00000b35: DUP4 00000b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4b: AND 00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b61: AND 00000b62: DUP2 00000b63: MSTORE 00000b64: PUSH1 0x20 00000b66: ADD 00000b67: SWAP1 00000b68: DUP2 00000b69: MSTORE 00000b6a: PUSH1 0x20 00000b6c: ADD 00000b6d: PUSH1 0x00 00000b6f: KECCAK256 00000b70: SLOAD 00000b71: SWAP1 00000b72: POP 00000b73: SWAP3 00000b74: SWAP2 00000b75: POP 00000b76: POP 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH1 0x0c 00000b7b: PUSH1 0x00 00000b7d: SWAP1 00000b7e: SLOAD 00000b7f: SWAP1 00000b80: PUSH2 0x0100 00000b83: EXP 00000b84: SWAP1 00000b85: DIV 00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9b: AND 00000b9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb1: AND 00000bb2: PUSH2 0x0bb9 00000bb5: PUSH2 0x0c01 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcf: AND 00000bd0: EQ 00000bd1: PUSH2 0x0bd9 00000bd4: JUMPI 00000bd5: PUSH1 0x00 00000bd7: DUP1 00000bd8: REVERT 00000bd9: JUMPDEST 00000bda: PUSH1 0x00 00000bdc: PUSH2 0x0be4 00000bdf: ADDRESS 00000be0: PUSH2 0x06e1 00000be3: JUMP 00000be4: JUMPDEST 00000be5: SWAP1 00000be6: POP 00000be7: PUSH2 0x0bef 00000bea: DUP2 00000beb: PUSH2 0x148a 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH1 0x00 00000bf2: SELFBALANCE 00000bf3: SWAP1 00000bf4: POP 00000bf5: PUSH2 0x0bfd 00000bf8: DUP2 00000bf9: PUSH2 0x1784 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: POP 00000bff: POP 00000c00: JUMP 00000c01: JUMPDEST 00000c02: PUSH1 0x00 00000c04: CALLER 00000c05: SWAP1 00000c06: POP 00000c07: SWAP1 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x00 00000c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c21: AND 00000c22: DUP4 00000c23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c38: AND 00000c39: EQ 00000c3a: ISZERO 00000c3b: PUSH2 0x0c79 00000c3e: JUMPI 00000c3f: PUSH1 0x40 00000c41: MLOAD 00000c42: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c63: DUP2 00000c64: MSTORE 00000c65: PUSH1 0x04 00000c67: ADD 00000c68: PUSH2 0x0c70 00000c6b: SWAP1 00000c6c: PUSH2 0x24a6 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: PUSH1 0x40 00000c73: MLOAD 00000c74: DUP1 00000c75: SWAP2 00000c76: SUB 00000c77: SWAP1 00000c78: REVERT 00000c79: JUMPDEST 00000c7a: PUSH1 0x00 00000c7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c91: AND 00000c92: DUP3 00000c93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca8: AND 00000ca9: EQ 00000caa: ISZERO 00000cab: PUSH2 0x0ce9 00000cae: JUMPI 00000caf: PUSH1 0x40 00000cb1: MLOAD 00000cb2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x04 00000cd7: ADD 00000cd8: PUSH2 0x0ce0 00000cdb: SWAP1 00000cdc: PUSH2 0x23e6 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH1 0x40 00000ce3: MLOAD 00000ce4: DUP1 00000ce5: SWAP2 00000ce6: SUB 00000ce7: SWAP1 00000ce8: REVERT 00000ce9: JUMPDEST 00000cea: DUP1 00000ceb: PUSH1 0x05 00000ced: PUSH1 0x00 00000cef: DUP6 00000cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d05: AND 00000d06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1b: AND 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: PUSH1 0x20 00000d20: ADD 00000d21: SWAP1 00000d22: DUP2 00000d23: MSTORE 00000d24: PUSH1 0x20 00000d26: ADD 00000d27: PUSH1 0x00 00000d29: KECCAK256 00000d2a: PUSH1 0x00 00000d2c: DUP5 00000d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d42: AND 00000d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d58: AND 00000d59: DUP2 00000d5a: MSTORE 00000d5b: PUSH1 0x20 00000d5d: ADD 00000d5e: SWAP1 00000d5f: DUP2 00000d60: MSTORE 00000d61: PUSH1 0x20 00000d63: ADD 00000d64: PUSH1 0x00 00000d66: KECCAK256 00000d67: DUP2 00000d68: SWAP1 00000d69: SSTORE 00000d6a: POP 00000d6b: DUP2 00000d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d81: AND 00000d82: DUP4 00000d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d98: AND 00000d99: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000dba: DUP4 00000dbb: PUSH1 0x40 00000dbd: MLOAD 00000dbe: PUSH2 0x0dc7 00000dc1: SWAP2 00000dc2: SWAP1 00000dc3: PUSH2 0x24c6 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x40 00000dca: MLOAD 00000dcb: DUP1 00000dcc: SWAP2 00000dcd: SUB 00000dce: SWAP1 00000dcf: LOG3 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dec: AND 00000ded: DUP4 00000dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e03: AND 00000e04: EQ 00000e05: ISZERO 00000e06: PUSH2 0x0e44 00000e09: JUMPI 00000e0a: PUSH1 0x40 00000e0c: MLOAD 00000e0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e2e: DUP2 00000e2f: MSTORE 00000e30: PUSH1 0x04 00000e32: ADD 00000e33: PUSH2 0x0e3b 00000e36: SWAP1 00000e37: PUSH2 0x2486 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: PUSH1 0x40 00000e3e: MLOAD 00000e3f: DUP1 00000e40: SWAP2 00000e41: SUB 00000e42: SWAP1 00000e43: REVERT 00000e44: JUMPDEST 00000e45: PUSH1 0x00 00000e47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5c: AND 00000e5d: DUP3 00000e5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e73: AND 00000e74: EQ 00000e75: ISZERO 00000e76: PUSH2 0x0eb4 00000e79: JUMPI 00000e7a: PUSH1 0x40 00000e7c: MLOAD 00000e7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e9e: DUP2 00000e9f: MSTORE 00000ea0: PUSH1 0x04 00000ea2: ADD 00000ea3: PUSH2 0x0eab 00000ea6: SWAP1 00000ea7: PUSH2 0x23a6 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH1 0x40 00000eae: MLOAD 00000eaf: DUP1 00000eb0: SWAP2 00000eb1: SUB 00000eb2: SWAP1 00000eb3: REVERT 00000eb4: JUMPDEST 00000eb5: PUSH1 0x00 00000eb7: DUP2 00000eb8: GT 00000eb9: PUSH2 0x0ef7 00000ebc: JUMPI 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ee1: DUP2 00000ee2: MSTORE 00000ee3: PUSH1 0x04 00000ee5: ADD 00000ee6: PUSH2 0x0eee 00000ee9: SWAP1 00000eea: PUSH2 0x2466 00000eed: JUMP 00000eee: JUMPDEST 00000eef: PUSH1 0x40 00000ef1: MLOAD 00000ef2: DUP1 00000ef3: SWAP2 00000ef4: SUB 00000ef5: SWAP1 00000ef6: REVERT 00000ef7: JUMPDEST 00000ef8: PUSH2 0x0eff 00000efb: PUSH2 0x08e6 00000efe: JUMP 00000eff: JUMPDEST 00000f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f15: AND 00000f16: DUP4 00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2c: AND 00000f2d: EQ 00000f2e: PUSH2 0x10aa 00000f31: JUMPI 00000f32: PUSH2 0x0f3a 00000f35: DUP4 00000f36: PUSH2 0x187f 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: PUSH2 0x100b 00000f3e: JUMPI 00000f3f: PUSH1 0x00 00000f41: PUSH1 0x04 00000f43: PUSH1 0x00 00000f45: DUP6 00000f46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5b: AND 00000f5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f71: AND 00000f72: DUP2 00000f73: MSTORE 00000f74: PUSH1 0x20 00000f76: ADD 00000f77: SWAP1 00000f78: DUP2 00000f79: MSTORE 00000f7a: PUSH1 0x20 00000f7c: ADD 00000f7d: PUSH1 0x00 00000f7f: KECCAK256 00000f80: SLOAD 00000f81: EQ 00000f82: ISZERO 00000f83: DUP1 00000f84: ISZERO 00000f85: PUSH2 0x0fdb 00000f88: JUMPI 00000f89: POP 00000f8a: TIMESTAMP 00000f8b: PUSH3 0x015180 00000f8f: PUSH1 0x04 00000f91: PUSH1 0x00 00000f93: DUP7 00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa9: AND 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: AND 00000fc0: DUP2 00000fc1: MSTORE 00000fc2: PUSH1 0x20 00000fc4: ADD 00000fc5: SWAP1 00000fc6: DUP2 00000fc7: MSTORE 00000fc8: PUSH1 0x20 00000fca: ADD 00000fcb: PUSH1 0x00 00000fcd: KECCAK256 00000fce: SLOAD 00000fcf: PUSH2 0x0fd8 00000fd2: SWAP2 00000fd3: SWAP1 00000fd4: PUSH2 0x25ab 00000fd7: JUMP 00000fd8: JUMPDEST 00000fd9: LT 00000fda: ISZERO 00000fdb: JUMPDEST 00000fdc: ISZERO 00000fdd: PUSH2 0x0ff5 00000fe0: JUMPI 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0x0a 00000fe5: DUP2 00000fe6: SWAP1 00000fe7: SSTORE 00000fe8: POP 00000fe9: PUSH1 0x1e 00000feb: PUSH1 0x0b 00000fed: DUP2 00000fee: SWAP1 00000fef: SSTORE 00000ff0: POP 00000ff1: PUSH2 0x1006 00000ff4: JUMP 00000ff5: JUMPDEST 00000ff6: PUSH1 0x01 00000ff8: PUSH1 0x0a 00000ffa: DUP2 00000ffb: SWAP1 00000ffc: SSTORE 00000ffd: POP 00000ffe: PUSH1 0x0a 00001000: PUSH1 0x0b 00001002: DUP2 00001003: SWAP1 00001004: SSTORE 00001005: POP 00001006: JUMPDEST 00001007: PUSH2 0x10a9 0000100a: JUMP 0000100b: JUMPDEST 0000100c: PUSH1 0x00 0000100e: PUSH1 0x04 00001010: PUSH1 0x00 00001012: DUP5 00001013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001028: AND 00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103e: AND 0000103f: DUP2 00001040: MSTORE 00001041: PUSH1 0x20 00001043: ADD 00001044: SWAP1 00001045: DUP2 00001046: MSTORE 00001047: PUSH1 0x20 00001049: ADD 0000104a: PUSH1 0x00 0000104c: KECCAK256 0000104d: SLOAD 0000104e: EQ 0000104f: ISZERO 00001050: PUSH2 0x1098 00001053: JUMPI 00001054: TIMESTAMP 00001055: PUSH1 0x04 00001057: PUSH1 0x00 00001059: DUP5 0000105a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106f: AND 00001070: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001085: AND 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x20 0000108a: ADD 0000108b: SWAP1 0000108c: DUP2 0000108d: MSTORE 0000108e: PUSH1 0x20 00001090: ADD 00001091: PUSH1 0x00 00001093: KECCAK256 00001094: DUP2 00001095: SWAP1 00001096: SSTORE 00001097: POP 00001098: JUMPDEST 00001099: PUSH1 0x01 0000109b: PUSH1 0x0a 0000109d: DUP2 0000109e: SWAP1 0000109f: SSTORE 000010a0: POP 000010a1: PUSH1 0x0a 000010a3: PUSH1 0x0b 000010a5: DUP2 000010a6: SWAP1 000010a7: SSTORE 000010a8: POP 000010a9: JUMPDEST 000010aa: JUMPDEST 000010ab: PUSH2 0x10b2 000010ae: PUSH2 0x08e6 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c8: AND 000010c9: DUP4 000010ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010df: AND 000010e0: EQ 000010e1: ISZERO 000010e2: DUP1 000010e3: ISZERO 000010e4: PUSH2 0x1120 000010e7: JUMPI 000010e8: POP 000010e9: PUSH2 0x10f0 000010ec: PUSH2 0x08e6 000010ef: JUMP 000010f0: JUMPDEST 000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001106: AND 00001107: DUP3 00001108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111d: AND 0000111e: EQ 0000111f: ISZERO 00001120: JUMPDEST 00001121: ISZERO 00001122: PUSH2 0x13a8 00001125: JUMPI 00001126: PUSH1 0x10 00001128: PUSH1 0x00 0000112a: SWAP1 0000112b: SLOAD 0000112c: SWAP1 0000112d: PUSH2 0x0100 00001130: EXP 00001131: SWAP1 00001132: DIV 00001133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001148: AND 00001149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115e: AND 0000115f: DUP4 00001160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001175: AND 00001176: EQ 00001177: DUP1 00001178: ISZERO 00001179: PUSH2 0x11d0 0000117c: JUMPI 0000117d: POP 0000117e: PUSH1 0x0e 00001180: PUSH1 0x00 00001182: SWAP1 00001183: SLOAD 00001184: SWAP1 00001185: PUSH2 0x0100 00001188: EXP 00001189: SWAP1 0000118a: DIV 0000118b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a0: AND 000011a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b6: AND 000011b7: DUP3 000011b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cd: AND 000011ce: EQ 000011cf: ISZERO 000011d0: JUMPDEST 000011d1: DUP1 000011d2: ISZERO 000011d3: PUSH2 0x1226 000011d6: JUMPI 000011d7: POP 000011d8: PUSH1 0x06 000011da: PUSH1 0x00 000011dc: DUP4 000011dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f2: AND 000011f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001208: AND 00001209: DUP2 0000120a: MSTORE 0000120b: PUSH1 0x20 0000120d: ADD 0000120e: SWAP1 0000120f: DUP2 00001210: MSTORE 00001211: PUSH1 0x20 00001213: ADD 00001214: PUSH1 0x00 00001216: KECCAK256 00001217: PUSH1 0x00 00001219: SWAP1 0000121a: SLOAD 0000121b: SWAP1 0000121c: PUSH2 0x0100 0000121f: EXP 00001220: SWAP1 00001221: DIV 00001222: PUSH1 0xff 00001224: AND 00001225: ISZERO 00001226: JUMPDEST 00001227: DUP1 00001228: ISZERO 00001229: PUSH2 0x123e 0000122c: JUMPI 0000122d: POP 0000122e: PUSH1 0x10 00001230: PUSH1 0x16 00001232: SWAP1 00001233: SLOAD 00001234: SWAP1 00001235: PUSH2 0x0100 00001238: EXP 00001239: SWAP1 0000123a: DIV 0000123b: PUSH1 0xff 0000123d: AND 0000123e: JUMPDEST 0000123f: ISZERO 00001240: PUSH2 0x12ee 00001243: JUMPI 00001244: PUSH1 0x11 00001246: SLOAD 00001247: DUP2 00001248: GT 00001249: ISZERO 0000124a: PUSH2 0x1252 0000124d: JUMPI 0000124e: PUSH1 0x00 00001250: DUP1 00001251: REVERT 00001252: JUMPDEST 00001253: TIMESTAMP 00001254: PUSH1 0x07 00001256: PUSH1 0x00 00001258: DUP5 00001259: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126e: AND 0000126f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001284: AND 00001285: DUP2 00001286: MSTORE 00001287: PUSH1 0x20 00001289: ADD 0000128a: SWAP1 0000128b: DUP2 0000128c: MSTORE 0000128d: PUSH1 0x20 0000128f: ADD 00001290: PUSH1 0x00 00001292: KECCAK256 00001293: SLOAD 00001294: LT 00001295: PUSH2 0x129d 00001298: JUMPI 00001299: PUSH1 0x00 0000129b: DUP1 0000129c: REVERT 0000129d: JUMPDEST 0000129e: PUSH1 0x0a 000012a0: TIMESTAMP 000012a1: PUSH2 0x12aa 000012a4: SWAP2 000012a5: SWAP1 000012a6: PUSH2 0x25ab 000012a9: JUMP 000012aa: JUMPDEST 000012ab: PUSH1 0x07 000012ad: PUSH1 0x00 000012af: DUP5 000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c5: AND 000012c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012db: AND 000012dc: DUP2 000012dd: MSTORE 000012de: PUSH1 0x20 000012e0: ADD 000012e1: SWAP1 000012e2: DUP2 000012e3: MSTORE 000012e4: PUSH1 0x20 000012e6: ADD 000012e7: PUSH1 0x00 000012e9: KECCAK256 000012ea: DUP2 000012eb: SWAP1 000012ec: SSTORE 000012ed: POP 000012ee: JUMPDEST 000012ef: PUSH1 0x00 000012f1: PUSH2 0x12f9 000012f4: ADDRESS 000012f5: PUSH2 0x06e1 000012f8: JUMP 000012f9: JUMPDEST 000012fa: SWAP1 000012fb: POP 000012fc: PUSH1 0x10 000012fe: PUSH1 0x14 00001300: SWAP1 00001301: SLOAD 00001302: SWAP1 00001303: PUSH2 0x0100 00001306: EXP 00001307: SWAP1 00001308: DIV 00001309: PUSH1 0xff 0000130b: AND 0000130c: ISZERO 0000130d: DUP1 0000130e: ISZERO 0000130f: PUSH2 0x1366 00001312: JUMPI 00001313: POP 00001314: PUSH1 0x10 00001316: PUSH1 0x00 00001318: SWAP1 00001319: SLOAD 0000131a: SWAP1 0000131b: PUSH2 0x0100 0000131e: EXP 0000131f: SWAP1 00001320: DIV 00001321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001336: AND 00001337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134c: AND 0000134d: DUP5 0000134e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001363: AND 00001364: EQ 00001365: ISZERO 00001366: JUMPDEST 00001367: DUP1 00001368: ISZERO 00001369: PUSH2 0x137e 0000136c: JUMPI 0000136d: POP 0000136e: PUSH1 0x10 00001370: PUSH1 0x15 00001372: SWAP1 00001373: SLOAD 00001374: SWAP1 00001375: PUSH2 0x0100 00001378: EXP 00001379: SWAP1 0000137a: DIV 0000137b: PUSH1 0xff 0000137d: AND 0000137e: JUMPDEST 0000137f: ISZERO 00001380: PUSH2 0x13a6 00001383: JUMPI 00001384: PUSH2 0x138c 00001387: DUP2 00001388: PUSH2 0x148a 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH1 0x00 0000138f: SELFBALANCE 00001390: SWAP1 00001391: POP 00001392: PUSH1 0x00 00001394: DUP2 00001395: GT 00001396: ISZERO 00001397: PUSH2 0x13a4 0000139a: JUMPI 0000139b: PUSH2 0x13a3 0000139e: SELFBALANCE 0000139f: PUSH2 0x1784 000013a2: JUMP 000013a3: JUMPDEST 000013a4: JUMPDEST 000013a5: POP 000013a6: JUMPDEST 000013a7: POP 000013a8: JUMPDEST 000013a9: PUSH2 0x13b3 000013ac: DUP4 000013ad: DUP4 000013ae: DUP4 000013af: PUSH2 0x18d9 000013b2: JUMP 000013b3: JUMPDEST 000013b4: POP 000013b5: POP 000013b6: POP 000013b7: JUMP 000013b8: JUMPDEST 000013b9: PUSH1 0x00 000013bb: DUP4 000013bc: DUP4 000013bd: GT 000013be: ISZERO 000013bf: DUP3 000013c0: SWAP1 000013c1: PUSH2 0x1400 000013c4: JUMPI 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013e9: DUP2 000013ea: MSTORE 000013eb: PUSH1 0x04 000013ed: ADD 000013ee: PUSH2 0x13f7 000013f1: SWAP2 000013f2: SWAP1 000013f3: PUSH2 0x2384 000013f6: JUMP 000013f7: JUMPDEST 000013f8: PUSH1 0x40 000013fa: MLOAD 000013fb: DUP1 000013fc: SWAP2 000013fd: SUB 000013fe: SWAP1 000013ff: REVERT 00001400: JUMPDEST 00001401: POP 00001402: PUSH1 0x00 00001404: DUP4 00001405: DUP6 00001406: PUSH2 0x140f 00001409: SWAP2 0000140a: SWAP1 0000140b: PUSH2 0x268c 0000140e: JUMP 0000140f: JUMPDEST 00001410: SWAP1 00001411: POP 00001412: DUP1 00001413: SWAP2 00001414: POP 00001415: POP 00001416: SWAP4 00001417: SWAP3 00001418: POP 00001419: POP 0000141a: POP 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH1 0x00 0000141f: PUSH1 0x08 00001421: SLOAD 00001422: DUP3 00001423: GT 00001424: ISZERO 00001425: PUSH2 0x1463 00001428: JUMPI 00001429: PUSH1 0x40 0000142b: MLOAD 0000142c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000144d: DUP2 0000144e: MSTORE 0000144f: PUSH1 0x04 00001451: ADD 00001452: PUSH2 0x145a 00001455: SWAP1 00001456: PUSH2 0x23c6 00001459: JUMP 0000145a: JUMPDEST 0000145b: PUSH1 0x40 0000145d: MLOAD 0000145e: DUP1 0000145f: SWAP2 00001460: SUB 00001461: SWAP1 00001462: REVERT 00001463: JUMPDEST 00001464: PUSH1 0x00 00001466: PUSH2 0x146d 00001469: PUSH2 0x18e9 0000146c: JUMP 0000146d: JUMPDEST 0000146e: SWAP1 0000146f: POP 00001470: PUSH2 0x1482 00001473: DUP2 00001474: DUP5 00001475: PUSH2 0x1914 00001478: SWAP1 00001479: SWAP2 0000147a: SWAP1 0000147b: PUSH4 0xffffffff 00001480: AND 00001481: JUMP 00001482: JUMPDEST 00001483: SWAP2 00001484: POP 00001485: POP 00001486: SWAP2 00001487: SWAP1 00001488: POP 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x01 0000148d: PUSH1 0x10 0000148f: PUSH1 0x14 00001491: PUSH2 0x0100 00001494: EXP 00001495: DUP2 00001496: SLOAD 00001497: DUP2 00001498: PUSH1 0xff 0000149a: MUL 0000149b: NOT 0000149c: AND 0000149d: SWAP1 0000149e: DUP4 0000149f: ISZERO 000014a0: ISZERO 000014a1: MUL 000014a2: OR 000014a3: SWAP1 000014a4: SSTORE 000014a5: POP 000014a6: PUSH1 0x00 000014a8: PUSH1 0x02 000014aa: PUSH8 0xffffffffffffffff 000014b3: DUP2 000014b4: GT 000014b5: ISZERO 000014b6: PUSH2 0x14e8 000014b9: JUMPI 000014ba: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000014db: PUSH1 0x00 000014dd: MSTORE 000014de: PUSH1 0x41 000014e0: PUSH1 0x04 000014e2: MSTORE 000014e3: PUSH1 0x24 000014e5: PUSH1 0x00 000014e7: REVERT 000014e8: JUMPDEST 000014e9: PUSH1 0x40 000014eb: MLOAD 000014ec: SWAP1 000014ed: DUP1 000014ee: DUP3 000014ef: MSTORE 000014f0: DUP1 000014f1: PUSH1 0x20 000014f3: MUL 000014f4: PUSH1 0x20 000014f6: ADD 000014f7: DUP3 000014f8: ADD 000014f9: PUSH1 0x40 000014fb: MSTORE 000014fc: DUP1 000014fd: ISZERO 000014fe: PUSH2 0x1516 00001501: JUMPI 00001502: DUP2 00001503: PUSH1 0x20 00001505: ADD 00001506: PUSH1 0x20 00001508: DUP3 00001509: MUL 0000150a: DUP1 0000150b: CALLDATASIZE 0000150c: DUP4 0000150d: CALLDATACOPY 0000150e: DUP1 0000150f: DUP3 00001510: ADD 00001511: SWAP2 00001512: POP 00001513: POP 00001514: SWAP1 00001515: POP 00001516: JUMPDEST 00001517: POP 00001518: SWAP1 00001519: POP 0000151a: ADDRESS 0000151b: DUP2 0000151c: PUSH1 0x00 0000151e: DUP2 0000151f: MLOAD 00001520: DUP2 00001521: LT 00001522: PUSH2 0x1554 00001525: JUMPI 00001526: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001547: PUSH1 0x00 00001549: MSTORE 0000154a: PUSH1 0x32 0000154c: PUSH1 0x04 0000154e: MSTORE 0000154f: PUSH1 0x24 00001551: PUSH1 0x00 00001553: REVERT 00001554: JUMPDEST 00001555: PUSH1 0x20 00001557: MUL 00001558: PUSH1 0x20 0000155a: ADD 0000155b: ADD 0000155c: SWAP1 0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001572: AND 00001573: SWAP1 00001574: DUP2 00001575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158a: AND 0000158b: DUP2 0000158c: MSTORE 0000158d: POP 0000158e: POP 0000158f: PUSH1 0x0e 00001591: PUSH1 0x00 00001593: SWAP1 00001594: SLOAD 00001595: SWAP1 00001596: PUSH2 0x0100 00001599: EXP 0000159a: SWAP1 0000159b: DIV 0000159c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b1: AND 000015b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c7: AND 000015c8: PUSH4 0xad5c4648 000015cd: PUSH1 0x40 000015cf: MLOAD 000015d0: DUP2 000015d1: PUSH4 0xffffffff 000015d6: AND 000015d7: PUSH1 0xe0 000015d9: SHL 000015da: DUP2 000015db: MSTORE 000015dc: PUSH1 0x04 000015de: ADD 000015df: PUSH1 0x20 000015e1: PUSH1 0x40 000015e3: MLOAD 000015e4: DUP1 000015e5: DUP4 000015e6: SUB 000015e7: DUP2 000015e8: DUP7 000015e9: DUP1 000015ea: EXTCODESIZE 000015eb: ISZERO 000015ec: DUP1 000015ed: ISZERO 000015ee: PUSH2 0x15f6 000015f1: JUMPI 000015f2: PUSH1 0x00 000015f4: DUP1 000015f5: REVERT 000015f6: JUMPDEST 000015f7: POP 000015f8: GAS 000015f9: STATICCALL 000015fa: ISZERO 000015fb: DUP1 000015fc: ISZERO 000015fd: PUSH2 0x160a 00001600: JUMPI 00001601: RETURNDATASIZE 00001602: PUSH1 0x00 00001604: DUP1 00001605: RETURNDATACOPY 00001606: RETURNDATASIZE 00001607: PUSH1 0x00 00001609: REVERT 0000160a: JUMPDEST 0000160b: POP 0000160c: POP 0000160d: POP 0000160e: POP 0000160f: PUSH1 0x40 00001611: MLOAD 00001612: RETURNDATASIZE 00001613: PUSH1 0x1f 00001615: NOT 00001616: PUSH1 0x1f 00001618: DUP3 00001619: ADD 0000161a: AND 0000161b: DUP3 0000161c: ADD 0000161d: DUP1 0000161e: PUSH1 0x40 00001620: MSTORE 00001621: POP 00001622: DUP2 00001623: ADD 00001624: SWAP1 00001625: PUSH2 0x162e 00001628: SWAP2 00001629: SWAP1 0000162a: PUSH2 0x1ff1 0000162d: JUMP 0000162e: JUMPDEST 0000162f: DUP2 00001630: PUSH1 0x01 00001632: DUP2 00001633: MLOAD 00001634: DUP2 00001635: LT 00001636: PUSH2 0x1668 00001639: JUMPI 0000163a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000165b: PUSH1 0x00 0000165d: MSTORE 0000165e: PUSH1 0x32 00001660: PUSH1 0x04 00001662: MSTORE 00001663: PUSH1 0x24 00001665: PUSH1 0x00 00001667: REVERT 00001668: JUMPDEST 00001669: PUSH1 0x20 0000166b: MUL 0000166c: PUSH1 0x20 0000166e: ADD 0000166f: ADD 00001670: SWAP1 00001671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001686: AND 00001687: SWAP1 00001688: DUP2 00001689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169e: AND 0000169f: DUP2 000016a0: MSTORE 000016a1: POP 000016a2: POP 000016a3: PUSH2 0x16cf 000016a6: ADDRESS 000016a7: PUSH1 0x0e 000016a9: PUSH1 0x00 000016ab: SWAP1 000016ac: SLOAD 000016ad: SWAP1 000016ae: PUSH2 0x0100 000016b1: EXP 000016b2: SWAP1 000016b3: DIV 000016b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c9: AND 000016ca: DUP5 000016cb: PUSH2 0x0c09 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH1 0x0e 000016d2: PUSH1 0x00 000016d4: SWAP1 000016d5: SLOAD 000016d6: SWAP1 000016d7: PUSH2 0x0100 000016da: EXP 000016db: SWAP1 000016dc: DIV 000016dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f2: AND 000016f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001708: AND 00001709: PUSH4 0x791ac947 0000170e: DUP4 0000170f: PUSH1 0x00 00001711: DUP5 00001712: ADDRESS 00001713: TIMESTAMP 00001714: PUSH1 0x40 00001716: MLOAD 00001717: DUP7 00001718: PUSH4 0xffffffff 0000171d: AND 0000171e: PUSH1 0xe0 00001720: SHL 00001721: DUP2 00001722: MSTORE 00001723: PUSH1 0x04 00001725: ADD 00001726: PUSH2 0x1733 00001729: SWAP6 0000172a: SWAP5 0000172b: SWAP4 0000172c: SWAP3 0000172d: SWAP2 0000172e: SWAP1 0000172f: PUSH2 0x24e1 00001732: JUMP 00001733: JUMPDEST 00001734: PUSH1 0x00 00001736: PUSH1 0x40 00001738: MLOAD 00001739: DUP1 0000173a: DUP4 0000173b: SUB 0000173c: DUP2 0000173d: PUSH1 0x00 0000173f: DUP8 00001740: DUP1 00001741: EXTCODESIZE 00001742: ISZERO 00001743: DUP1 00001744: ISZERO 00001745: PUSH2 0x174d 00001748: JUMPI 00001749: PUSH1 0x00 0000174b: DUP1 0000174c: REVERT 0000174d: JUMPDEST 0000174e: POP 0000174f: GAS 00001750: CALL 00001751: ISZERO 00001752: DUP1 00001753: ISZERO 00001754: PUSH2 0x1761 00001757: JUMPI 00001758: RETURNDATASIZE 00001759: PUSH1 0x00 0000175b: DUP1 0000175c: RETURNDATACOPY 0000175d: RETURNDATASIZE 0000175e: PUSH1 0x00 00001760: REVERT 00001761: JUMPDEST 00001762: POP 00001763: POP 00001764: POP 00001765: POP 00001766: POP 00001767: PUSH1 0x00 00001769: PUSH1 0x10 0000176b: PUSH1 0x14 0000176d: PUSH2 0x0100 00001770: EXP 00001771: DUP2 00001772: SLOAD 00001773: DUP2 00001774: PUSH1 0xff 00001776: MUL 00001777: NOT 00001778: AND 00001779: SWAP1 0000177a: DUP4 0000177b: ISZERO 0000177c: ISZERO 0000177d: MUL 0000177e: OR 0000177f: SWAP1 00001780: SSTORE 00001781: POP 00001782: POP 00001783: JUMP 00001784: JUMPDEST 00001785: PUSH1 0x0c 00001787: PUSH1 0x00 00001789: SWAP1 0000178a: SLOAD 0000178b: SWAP1 0000178c: PUSH2 0x0100 0000178f: EXP 00001790: SWAP1 00001791: DIV 00001792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a7: AND 000017a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017bd: AND 000017be: PUSH2 0x08fc 000017c1: PUSH2 0x17d4 000017c4: PUSH1 0x02 000017c6: DUP5 000017c7: PUSH2 0x1914 000017ca: SWAP1 000017cb: SWAP2 000017cc: SWAP1 000017cd: PUSH4 0xffffffff 000017d2: AND 000017d3: JUMP 000017d4: JUMPDEST 000017d5: SWAP1 000017d6: DUP2 000017d7: ISZERO 000017d8: MUL 000017d9: SWAP1 000017da: PUSH1 0x40 000017dc: MLOAD 000017dd: PUSH1 0x00 000017df: PUSH1 0x40 000017e1: MLOAD 000017e2: DUP1 000017e3: DUP4 000017e4: SUB 000017e5: DUP2 000017e6: DUP6 000017e7: DUP9 000017e8: DUP9 000017e9: CALL 000017ea: SWAP4 000017eb: POP 000017ec: POP 000017ed: POP 000017ee: POP 000017ef: ISZERO 000017f0: DUP1 000017f1: ISZERO 000017f2: PUSH2 0x17ff 000017f5: JUMPI 000017f6: RETURNDATASIZE 000017f7: PUSH1 0x00 000017f9: DUP1 000017fa: RETURNDATACOPY 000017fb: RETURNDATASIZE 000017fc: PUSH1 0x00 000017fe: REVERT 000017ff: JUMPDEST 00001800: POP 00001801: PUSH1 0x0d 00001803: PUSH1 0x00 00001805: SWAP1 00001806: SLOAD 00001807: SWAP1 00001808: PUSH2 0x0100 0000180b: EXP 0000180c: SWAP1 0000180d: DIV 0000180e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001823: AND 00001824: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001839: AND 0000183a: PUSH2 0x08fc 0000183d: PUSH2 0x1850 00001840: PUSH1 0x02 00001842: DUP5 00001843: PUSH2 0x1914 00001846: SWAP1 00001847: SWAP2 00001848: SWAP1 00001849: PUSH4 0xffffffff 0000184e: AND 0000184f: JUMP 00001850: JUMPDEST 00001851: SWAP1 00001852: DUP2 00001853: ISZERO 00001854: MUL 00001855: SWAP1 00001856: PUSH1 0x40 00001858: MLOAD 00001859: PUSH1 0x00 0000185b: PUSH1 0x40 0000185d: MLOAD 0000185e: DUP1 0000185f: DUP4 00001860: SUB 00001861: DUP2 00001862: DUP6 00001863: DUP9 00001864: DUP9 00001865: CALL 00001866: SWAP4 00001867: POP 00001868: POP 00001869: POP 0000186a: POP 0000186b: ISZERO 0000186c: DUP1 0000186d: ISZERO 0000186e: PUSH2 0x187b 00001871: JUMPI 00001872: RETURNDATASIZE 00001873: PUSH1 0x00 00001875: DUP1 00001876: RETURNDATACOPY 00001877: RETURNDATASIZE 00001878: PUSH1 0x00 0000187a: REVERT 0000187b: JUMPDEST 0000187c: POP 0000187d: POP 0000187e: JUMP 0000187f: JUMPDEST 00001880: PUSH1 0x00 00001882: PUSH1 0x10 00001884: PUSH1 0x00 00001886: SWAP1 00001887: SLOAD 00001888: SWAP1 00001889: PUSH2 0x0100 0000188c: EXP 0000188d: SWAP1 0000188e: DIV 0000188f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a4: AND 000018a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ba: AND 000018bb: DUP3 000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d1: AND 000018d2: EQ 000018d3: SWAP1 000018d4: POP 000018d5: SWAP2 000018d6: SWAP1 000018d7: POP 000018d8: JUMP 000018d9: JUMPDEST 000018da: PUSH2 0x18e4 000018dd: DUP4 000018de: DUP4 000018df: DUP4 000018e0: PUSH2 0x195e 000018e3: JUMP 000018e4: JUMPDEST 000018e5: POP 000018e6: POP 000018e7: POP 000018e8: JUMP 000018e9: JUMPDEST 000018ea: PUSH1 0x00 000018ec: DUP1 000018ed: PUSH1 0x00 000018ef: PUSH2 0x18f6 000018f2: PUSH2 0x1b29 000018f5: JUMP 000018f6: JUMPDEST 000018f7: SWAP2 000018f8: POP 000018f9: SWAP2 000018fa: POP 000018fb: PUSH2 0x190d 000018fe: DUP2 000018ff: DUP4 00001900: PUSH2 0x1914 00001903: SWAP1 00001904: SWAP2 00001905: SWAP1 00001906: PUSH4 0xffffffff 0000190b: AND 0000190c: JUMP 0000190d: JUMPDEST 0000190e: SWAP3 0000190f: POP 00001910: POP 00001911: POP 00001912: SWAP1 00001913: JUMP 00001914: JUMPDEST 00001915: PUSH1 0x00 00001917: PUSH2 0x1956 0000191a: DUP4 0000191b: DUP4 0000191c: PUSH1 0x40 0000191e: MLOAD 0000191f: DUP1 00001920: PUSH1 0x40 00001922: ADD 00001923: PUSH1 0x40 00001925: MSTORE 00001926: DUP1 00001927: PUSH1 0x1a 00001929: DUP2 0000192a: MSTORE 0000192b: PUSH1 0x20 0000192d: ADD 0000192e: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 0000194f: DUP2 00001950: MSTORE 00001951: POP 00001952: PUSH2 0x1b85 00001955: JUMP 00001956: JUMPDEST 00001957: SWAP1 00001958: POP 00001959: SWAP3 0000195a: SWAP2 0000195b: POP 0000195c: POP 0000195d: JUMP 0000195e: JUMPDEST 0000195f: PUSH1 0x00 00001961: DUP1 00001962: PUSH1 0x00 00001964: DUP1 00001965: PUSH1 0x00 00001967: DUP1 00001968: PUSH2 0x1970 0000196b: DUP8 0000196c: PUSH2 0x1be8 0000196f: JUMP 00001970: JUMPDEST 00001971: SWAP6 00001972: POP 00001973: SWAP6 00001974: POP 00001975: SWAP6 00001976: POP 00001977: SWAP6 00001978: POP 00001979: SWAP6 0000197a: POP 0000197b: SWAP6 0000197c: POP 0000197d: PUSH2 0x19ce 00001980: DUP7 00001981: PUSH1 0x02 00001983: PUSH1 0x00 00001985: DUP13 00001986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000199b: AND 0000199c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b1: AND 000019b2: DUP2 000019b3: MSTORE 000019b4: PUSH1 0x20 000019b6: ADD 000019b7: SWAP1 000019b8: DUP2 000019b9: MSTORE 000019ba: PUSH1 0x20 000019bc: ADD 000019bd: PUSH1 0x00 000019bf: KECCAK256 000019c0: SLOAD 000019c1: PUSH2 0x1c50 000019c4: SWAP1 000019c5: SWAP2 000019c6: SWAP1 000019c7: PUSH4 0xffffffff 000019cc: AND 000019cd: JUMP 000019ce: JUMPDEST 000019cf: PUSH1 0x02 000019d1: PUSH1 0x00 000019d3: DUP12 000019d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e9: AND 000019ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ff: AND 00001a00: DUP2 00001a01: MSTORE 00001a02: PUSH1 0x20 00001a04: ADD 00001a05: SWAP1 00001a06: DUP2 00001a07: MSTORE 00001a08: PUSH1 0x20 00001a0a: ADD 00001a0b: PUSH1 0x00 00001a0d: KECCAK256 00001a0e: DUP2 00001a0f: SWAP1 00001a10: SSTORE 00001a11: POP 00001a12: PUSH2 0x1a63 00001a15: DUP6 00001a16: PUSH1 0x02 00001a18: PUSH1 0x00 00001a1a: DUP12 00001a1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a30: AND 00001a31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a46: AND 00001a47: DUP2 00001a48: MSTORE 00001a49: PUSH1 0x20 00001a4b: ADD 00001a4c: SWAP1 00001a4d: DUP2 00001a4e: MSTORE 00001a4f: PUSH1 0x20 00001a51: ADD 00001a52: PUSH1 0x00 00001a54: KECCAK256 00001a55: SLOAD 00001a56: PUSH2 0x1c9a 00001a59: SWAP1 00001a5a: SWAP2 00001a5b: SWAP1 00001a5c: PUSH4 0xffffffff 00001a61: AND 00001a62: JUMP 00001a63: JUMPDEST 00001a64: PUSH1 0x02 00001a66: PUSH1 0x00 00001a68: DUP11 00001a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7e: AND 00001a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a94: AND 00001a95: DUP2 00001a96: MSTORE 00001a97: PUSH1 0x20 00001a99: ADD 00001a9a: SWAP1 00001a9b: DUP2 00001a9c: MSTORE 00001a9d: PUSH1 0x20 00001a9f: ADD 00001aa0: PUSH1 0x00 00001aa2: KECCAK256 00001aa3: DUP2 00001aa4: SWAP1 00001aa5: SSTORE 00001aa6: POP 00001aa7: PUSH2 0x1aaf 00001aaa: DUP2 00001aab: PUSH2 0x1cf8 00001aae: JUMP 00001aaf: JUMPDEST 00001ab0: PUSH2 0x1ab9 00001ab3: DUP5 00001ab4: DUP4 00001ab5: PUSH2 0x1db5 00001ab8: JUMP 00001ab9: JUMPDEST 00001aba: DUP8 00001abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad0: AND 00001ad1: DUP10 00001ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae7: AND 00001ae8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001b09: DUP6 00001b0a: PUSH1 0x40 00001b0c: MLOAD 00001b0d: PUSH2 0x1b16 00001b10: SWAP2 00001b11: SWAP1 00001b12: PUSH2 0x24c6 00001b15: JUMP 00001b16: JUMPDEST 00001b17: PUSH1 0x40 00001b19: MLOAD 00001b1a: DUP1 00001b1b: SWAP2 00001b1c: SUB 00001b1d: SWAP1 00001b1e: LOG3 00001b1f: POP 00001b20: POP 00001b21: POP 00001b22: POP 00001b23: POP 00001b24: POP 00001b25: POP 00001b26: POP 00001b27: POP 00001b28: JUMP 00001b29: JUMPDEST 00001b2a: PUSH1 0x00 00001b2c: DUP1 00001b2d: PUSH1 0x00 00001b2f: PUSH1 0x08 00001b31: SLOAD 00001b32: SWAP1 00001b33: POP 00001b34: PUSH1 0x00 00001b36: PUSH7 0xf6a18112422800 00001b3e: SWAP1 00001b3f: POP 00001b40: PUSH2 0x1b5b 00001b43: PUSH7 0xf6a18112422800 00001b4b: PUSH1 0x08 00001b4d: SLOAD 00001b4e: PUSH2 0x1914 00001b51: SWAP1 00001b52: SWAP2 00001b53: SWAP1 00001b54: PUSH4 0xffffffff 00001b59: AND 00001b5a: JUMP 00001b5b: JUMPDEST 00001b5c: DUP3 00001b5d: LT 00001b5e: ISZERO 00001b5f: PUSH2 0x1b78 00001b62: JUMPI 00001b63: PUSH1 0x08 00001b65: SLOAD 00001b66: PUSH7 0xf6a18112422800 00001b6e: SWAP4 00001b6f: POP 00001b70: SWAP4 00001b71: POP 00001b72: POP 00001b73: POP 00001b74: PUSH2 0x1b81 00001b77: JUMP 00001b78: JUMPDEST 00001b79: DUP2 00001b7a: DUP2 00001b7b: SWAP4 00001b7c: POP 00001b7d: SWAP4 00001b7e: POP 00001b7f: POP 00001b80: POP 00001b81: JUMPDEST 00001b82: SWAP1 00001b83: SWAP2 00001b84: JUMP 00001b85: JUMPDEST 00001b86: PUSH1 0x00 00001b88: DUP1 00001b89: DUP4 00001b8a: GT 00001b8b: DUP3 00001b8c: SWAP1 00001b8d: PUSH2 0x1bcc 00001b90: JUMPI 00001b91: PUSH1 0x40 00001b93: MLOAD 00001b94: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bb5: DUP2 00001bb6: MSTORE 00001bb7: PUSH1 0x04 00001bb9: ADD 00001bba: PUSH2 0x1bc3 00001bbd: SWAP2 00001bbe: SWAP1 00001bbf: PUSH2 0x2384 00001bc2: JUMP 00001bc3: JUMPDEST 00001bc4: PUSH1 0x40 00001bc6: MLOAD 00001bc7: DUP1 00001bc8: SWAP2 00001bc9: SUB 00001bca: SWAP1 00001bcb: REVERT 00001bcc: JUMPDEST 00001bcd: POP 00001bce: PUSH1 0x00 00001bd0: DUP4 00001bd1: DUP6 00001bd2: PUSH2 0x1bdb 00001bd5: SWAP2 00001bd6: SWAP1 00001bd7: PUSH2 0x2601 00001bda: JUMP 00001bdb: JUMPDEST 00001bdc: SWAP1 00001bdd: POP 00001bde: DUP1 00001bdf: SWAP2 00001be0: POP 00001be1: POP 00001be2: SWAP4 00001be3: SWAP3 00001be4: POP 00001be5: POP 00001be6: POP 00001be7: JUMP 00001be8: JUMPDEST 00001be9: PUSH1 0x00 00001beb: DUP1 00001bec: PUSH1 0x00 00001bee: DUP1 00001bef: PUSH1 0x00 00001bf1: DUP1 00001bf2: PUSH1 0x00 00001bf4: DUP1 00001bf5: PUSH1 0x00 00001bf7: PUSH2 0x1c05 00001bfa: DUP11 00001bfb: PUSH1 0x0a 00001bfd: SLOAD 00001bfe: PUSH1 0x0b 00001c00: SLOAD 00001c01: PUSH2 0x1def 00001c04: JUMP 00001c05: JUMPDEST 00001c06: SWAP3 00001c07: POP 00001c08: SWAP3 00001c09: POP 00001c0a: SWAP3 00001c0b: POP 00001c0c: PUSH1 0x00 00001c0e: PUSH2 0x1c15 00001c11: PUSH2 0x18e9 00001c14: JUMP 00001c15: JUMPDEST 00001c16: SWAP1 00001c17: POP 00001c18: PUSH1 0x00 00001c1a: DUP1 00001c1b: PUSH1 0x00 00001c1d: PUSH2 0x1c28 00001c20: DUP15 00001c21: DUP8 00001c22: DUP8 00001c23: DUP8 00001c24: PUSH2 0x1e85 00001c27: JUMP 00001c28: JUMPDEST 00001c29: SWAP3 00001c2a: POP 00001c2b: SWAP3 00001c2c: POP 00001c2d: SWAP3 00001c2e: POP 00001c2f: DUP3 00001c30: DUP3 00001c31: DUP3 00001c32: DUP10 00001c33: DUP10 00001c34: DUP10 00001c35: SWAP13 00001c36: POP 00001c37: SWAP13 00001c38: POP 00001c39: SWAP13 00001c3a: POP 00001c3b: SWAP13 00001c3c: POP 00001c3d: SWAP13 00001c3e: POP 00001c3f: SWAP13 00001c40: POP 00001c41: POP 00001c42: POP 00001c43: POP 00001c44: POP 00001c45: POP 00001c46: POP 00001c47: POP 00001c48: SWAP2 00001c49: SWAP4 00001c4a: SWAP6 00001c4b: POP 00001c4c: SWAP2 00001c4d: SWAP4 00001c4e: SWAP6 00001c4f: JUMP 00001c50: JUMPDEST 00001c51: PUSH1 0x00 00001c53: PUSH2 0x1c92 00001c56: DUP4 00001c57: DUP4 00001c58: PUSH1 0x40 00001c5a: MLOAD 00001c5b: DUP1 00001c5c: PUSH1 0x40 00001c5e: ADD 00001c5f: PUSH1 0x40 00001c61: MSTORE 00001c62: DUP1 00001c63: PUSH1 0x1e 00001c65: DUP2 00001c66: MSTORE 00001c67: PUSH1 0x20 00001c69: ADD 00001c6a: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001c8b: DUP2 00001c8c: MSTORE 00001c8d: POP 00001c8e: PUSH2 0x13b8 00001c91: JUMP 00001c92: JUMPDEST 00001c93: SWAP1 00001c94: POP 00001c95: SWAP3 00001c96: SWAP2 00001c97: POP 00001c98: POP 00001c99: JUMP 00001c9a: JUMPDEST 00001c9b: PUSH1 0x00 00001c9d: DUP1 00001c9e: DUP3 00001c9f: DUP5 00001ca0: PUSH2 0x1ca9 00001ca3: SWAP2 00001ca4: SWAP1 00001ca5: PUSH2 0x25ab 00001ca8: JUMP 00001ca9: JUMPDEST 00001caa: SWAP1 00001cab: POP 00001cac: DUP4 00001cad: DUP2 00001cae: LT 00001caf: ISZERO 00001cb0: PUSH2 0x1cee 00001cb3: JUMPI 00001cb4: PUSH1 0x40 00001cb6: MLOAD 00001cb7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001cd8: DUP2 00001cd9: MSTORE 00001cda: PUSH1 0x04 00001cdc: ADD 00001cdd: PUSH2 0x1ce5 00001ce0: SWAP1 00001ce1: PUSH2 0x2406 00001ce4: JUMP 00001ce5: JUMPDEST 00001ce6: PUSH1 0x40 00001ce8: MLOAD 00001ce9: DUP1 00001cea: SWAP2 00001ceb: SUB 00001cec: SWAP1 00001ced: REVERT 00001cee: JUMPDEST 00001cef: DUP1 00001cf0: SWAP2 00001cf1: POP 00001cf2: POP 00001cf3: SWAP3 00001cf4: SWAP2 00001cf5: POP 00001cf6: POP 00001cf7: JUMP 00001cf8: JUMPDEST 00001cf9: PUSH1 0x00 00001cfb: PUSH2 0x1d02 00001cfe: PUSH2 0x18e9 00001d01: JUMP 00001d02: JUMPDEST 00001d03: SWAP1 00001d04: POP 00001d05: PUSH1 0x00 00001d07: PUSH2 0x1d19 00001d0a: DUP3 00001d0b: DUP5 00001d0c: PUSH2 0x1f0e 00001d0f: SWAP1 00001d10: SWAP2 00001d11: SWAP1 00001d12: PUSH4 0xffffffff 00001d17: AND 00001d18: JUMP 00001d19: JUMPDEST 00001d1a: SWAP1 00001d1b: POP 00001d1c: PUSH2 0x1d6d 00001d1f: DUP2 00001d20: PUSH1 0x02 00001d22: PUSH1 0x00 00001d24: ADDRESS 00001d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3a: AND 00001d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d50: AND 00001d51: DUP2 00001d52: MSTORE 00001d53: PUSH1 0x20 00001d55: ADD 00001d56: SWAP1 00001d57: DUP2 00001d58: MSTORE 00001d59: PUSH1 0x20 00001d5b: ADD 00001d5c: PUSH1 0x00 00001d5e: KECCAK256 00001d5f: SLOAD 00001d60: PUSH2 0x1c9a 00001d63: SWAP1 00001d64: SWAP2 00001d65: SWAP1 00001d66: PUSH4 0xffffffff 00001d6b: AND 00001d6c: JUMP 00001d6d: JUMPDEST 00001d6e: PUSH1 0x02 00001d70: PUSH1 0x00 00001d72: ADDRESS 00001d73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d88: AND 00001d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d9e: AND 00001d9f: DUP2 00001da0: MSTORE 00001da1: PUSH1 0x20 00001da3: ADD 00001da4: SWAP1 00001da5: DUP2 00001da6: MSTORE 00001da7: PUSH1 0x20 00001da9: ADD 00001daa: PUSH1 0x00 00001dac: KECCAK256 00001dad: DUP2 00001dae: SWAP1 00001daf: SSTORE 00001db0: POP 00001db1: POP 00001db2: POP 00001db3: POP 00001db4: JUMP 00001db5: JUMPDEST 00001db6: PUSH2 0x1dca 00001db9: DUP3 00001dba: PUSH1 0x08 00001dbc: SLOAD 00001dbd: PUSH2 0x1c50 00001dc0: SWAP1 00001dc1: SWAP2 00001dc2: SWAP1 00001dc3: PUSH4 0xffffffff 00001dc8: AND 00001dc9: JUMP 00001dca: JUMPDEST 00001dcb: PUSH1 0x08 00001dcd: DUP2 00001dce: SWAP1 00001dcf: SSTORE 00001dd0: POP 00001dd1: PUSH2 0x1de5 00001dd4: DUP2 00001dd5: PUSH1 0x09 00001dd7: SLOAD 00001dd8: PUSH2 0x1c9a 00001ddb: SWAP1 00001ddc: SWAP2 00001ddd: SWAP1 00001dde: PUSH4 0xffffffff 00001de3: AND 00001de4: JUMP 00001de5: JUMPDEST 00001de6: PUSH1 0x09 00001de8: DUP2 00001de9: SWAP1 00001dea: SSTORE 00001deb: POP 00001dec: POP 00001ded: POP 00001dee: JUMP 00001def: JUMPDEST 00001df0: PUSH1 0x00 00001df2: DUP1 00001df3: PUSH1 0x00 00001df5: DUP1 00001df6: PUSH2 0x1e1b 00001df9: PUSH1 0x64 00001dfb: PUSH2 0x1e0d 00001dfe: DUP9 00001dff: DUP11 00001e00: PUSH2 0x1f0e 00001e03: SWAP1 00001e04: SWAP2 00001e05: SWAP1 00001e06: PUSH4 0xffffffff 00001e0b: AND 00001e0c: JUMP 00001e0d: JUMPDEST 00001e0e: PUSH2 0x1914 00001e11: SWAP1 00001e12: SWAP2 00001e13: SWAP1 00001e14: PUSH4 0xffffffff 00001e19: AND 00001e1a: JUMP 00001e1b: JUMPDEST 00001e1c: SWAP1 00001e1d: POP 00001e1e: PUSH1 0x00 00001e20: PUSH2 0x1e45 00001e23: PUSH1 0x64 00001e25: PUSH2 0x1e37 00001e28: DUP9 00001e29: DUP12 00001e2a: PUSH2 0x1f0e 00001e2d: SWAP1 00001e2e: SWAP2 00001e2f: SWAP1 00001e30: PUSH4 0xffffffff 00001e35: AND 00001e36: JUMP 00001e37: JUMPDEST 00001e38: PUSH2 0x1914 00001e3b: SWAP1 00001e3c: SWAP2 00001e3d: SWAP1 00001e3e: PUSH4 0xffffffff 00001e43: AND 00001e44: JUMP 00001e45: JUMPDEST 00001e46: SWAP1 00001e47: POP 00001e48: PUSH1 0x00 00001e4a: PUSH2 0x1e6e 00001e4d: DUP3 00001e4e: PUSH2 0x1e60 00001e51: DUP6 00001e52: DUP13 00001e53: PUSH2 0x1c50 00001e56: SWAP1 00001e57: SWAP2 00001e58: SWAP1 00001e59: PUSH4 0xffffffff 00001e5e: AND 00001e5f: JUMP 00001e60: JUMPDEST 00001e61: PUSH2 0x1c50 00001e64: SWAP1 00001e65: SWAP2 00001e66: SWAP1 00001e67: PUSH4 0xffffffff 00001e6c: AND 00001e6d: JUMP 00001e6e: JUMPDEST 00001e6f: SWAP1 00001e70: POP 00001e71: DUP1 00001e72: DUP4 00001e73: DUP4 00001e74: SWAP6 00001e75: POP 00001e76: SWAP6 00001e77: POP 00001e78: SWAP6 00001e79: POP 00001e7a: POP 00001e7b: POP 00001e7c: POP 00001e7d: SWAP4 00001e7e: POP 00001e7f: SWAP4 00001e80: POP 00001e81: SWAP4 00001e82: SWAP1 00001e83: POP 00001e84: JUMP 00001e85: JUMPDEST 00001e86: PUSH1 0x00 00001e88: DUP1 00001e89: PUSH1 0x00 00001e8b: DUP1 00001e8c: PUSH2 0x1e9e 00001e8f: DUP6 00001e90: DUP10 00001e91: PUSH2 0x1f0e 00001e94: SWAP1 00001e95: SWAP2 00001e96: SWAP1 00001e97: PUSH4 0xffffffff 00001e9c: AND 00001e9d: JUMP 00001e9e: JUMPDEST 00001e9f: SWAP1 00001ea0: POP 00001ea1: PUSH1 0x00 00001ea3: PUSH2 0x1eb5 00001ea6: DUP7 00001ea7: DUP10 00001ea8: PUSH2 0x1f0e 00001eab: SWAP1 00001eac: SWAP2 00001ead: SWAP1 00001eae: PUSH4 0xffffffff 00001eb3: AND 00001eb4: JUMP 00001eb5: JUMPDEST 00001eb6: SWAP1 00001eb7: POP 00001eb8: PUSH1 0x00 00001eba: PUSH2 0x1ecc 00001ebd: DUP8 00001ebe: DUP10 00001ebf: PUSH2 0x1f0e 00001ec2: SWAP1 00001ec3: SWAP2 00001ec4: SWAP1 00001ec5: PUSH4 0xffffffff 00001eca: AND 00001ecb: JUMP 00001ecc: JUMPDEST 00001ecd: SWAP1 00001ece: POP 00001ecf: PUSH1 0x00 00001ed1: PUSH2 0x1ef5 00001ed4: DUP3 00001ed5: PUSH2 0x1ee7 00001ed8: DUP6 00001ed9: DUP8 00001eda: PUSH2 0x1c50 00001edd: SWAP1 00001ede: SWAP2 00001edf: SWAP1 00001ee0: PUSH4 0xffffffff 00001ee5: AND 00001ee6: JUMP 00001ee7: JUMPDEST 00001ee8: PUSH2 0x1c50 00001eeb: SWAP1 00001eec: SWAP2 00001eed: SWAP1 00001eee: PUSH4 0xffffffff 00001ef3: AND 00001ef4: JUMP 00001ef5: JUMPDEST 00001ef6: SWAP1 00001ef7: POP 00001ef8: DUP4 00001ef9: DUP2 00001efa: DUP5 00001efb: SWAP7 00001efc: POP 00001efd: SWAP7 00001efe: POP 00001eff: SWAP7 00001f00: POP 00001f01: POP 00001f02: POP 00001f03: POP 00001f04: POP 00001f05: SWAP5 00001f06: POP 00001f07: SWAP5 00001f08: POP 00001f09: SWAP5 00001f0a: SWAP2 00001f0b: POP 00001f0c: POP 00001f0d: JUMP 00001f0e: JUMPDEST 00001f0f: PUSH1 0x00 00001f11: DUP1 00001f12: DUP4 00001f13: EQ 00001f14: ISZERO 00001f15: PUSH2 0x1f21 00001f18: JUMPI 00001f19: PUSH1 0x00 00001f1b: SWAP1 00001f1c: POP 00001f1d: PUSH2 0x1f83 00001f20: JUMP 00001f21: JUMPDEST 00001f22: PUSH1 0x00 00001f24: DUP3 00001f25: DUP5 00001f26: PUSH2 0x1f2f 00001f29: SWAP2 00001f2a: SWAP1 00001f2b: PUSH2 0x2632 00001f2e: JUMP 00001f2f: JUMPDEST 00001f30: SWAP1 00001f31: POP 00001f32: DUP3 00001f33: DUP5 00001f34: DUP3 00001f35: PUSH2 0x1f3e 00001f38: SWAP2 00001f39: SWAP1 00001f3a: PUSH2 0x2601 00001f3d: JUMP 00001f3e: JUMPDEST 00001f3f: EQ 00001f40: PUSH2 0x1f7e 00001f43: JUMPI 00001f44: PUSH1 0x40 00001f46: MLOAD 00001f47: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f68: DUP2 00001f69: MSTORE 00001f6a: PUSH1 0x04 00001f6c: ADD 00001f6d: PUSH2 0x1f75 00001f70: SWAP1 00001f71: PUSH2 0x2426 00001f74: JUMP 00001f75: JUMPDEST 00001f76: PUSH1 0x40 00001f78: MLOAD 00001f79: DUP1 00001f7a: SWAP2 00001f7b: SUB 00001f7c: SWAP1 00001f7d: REVERT 00001f7e: JUMPDEST 00001f7f: DUP1 00001f80: SWAP2 00001f81: POP 00001f82: POP 00001f83: JUMPDEST 00001f84: SWAP3 00001f85: SWAP2 00001f86: POP 00001f87: POP 00001f88: JUMP 00001f89: JUMPDEST 00001f8a: PUSH1 0x00 00001f8c: DUP2 00001f8d: CALLDATALOAD 00001f8e: SWAP1 00001f8f: POP 00001f90: PUSH2 0x1f98 00001f93: DUP2 00001f94: PUSH2 0x2a44 00001f97: JUMP 00001f98: JUMPDEST 00001f99: SWAP3 00001f9a: SWAP2 00001f9b: POP 00001f9c: POP 00001f9d: JUMP 00001f9e: JUMPDEST 00001f9f: PUSH1 0x00 00001fa1: DUP2 00001fa2: MLOAD 00001fa3: SWAP1 00001fa4: POP 00001fa5: PUSH2 0x1fad 00001fa8: DUP2 00001fa9: PUSH2 0x2a44 00001fac: JUMP 00001fad: JUMPDEST 00001fae: SWAP3 00001faf: SWAP2 00001fb0: POP 00001fb1: POP 00001fb2: JUMP 00001fb3: JUMPDEST 00001fb4: PUSH1 0x00 00001fb6: DUP2 00001fb7: CALLDATALOAD 00001fb8: SWAP1 00001fb9: POP 00001fba: PUSH2 0x1fc2 00001fbd: DUP2 00001fbe: PUSH2 0x2a5b 00001fc1: JUMP 00001fc2: JUMPDEST 00001fc3: SWAP3 00001fc4: SWAP2 00001fc5: POP 00001fc6: POP 00001fc7: JUMP 00001fc8: JUMPDEST 00001fc9: PUSH1 0x00 00001fcb: PUSH1 0x20 00001fcd: DUP3 00001fce: DUP5 00001fcf: SUB 00001fd0: SLT 00001fd1: ISZERO 00001fd2: PUSH2 0x1fda 00001fd5: JUMPI 00001fd6: PUSH1 0x00 00001fd8: DUP1 00001fd9: REVERT 00001fda: JUMPDEST 00001fdb: PUSH1 0x00 00001fdd: PUSH2 0x1fe8 00001fe0: DUP5 00001fe1: DUP3 00001fe2: DUP6 00001fe3: ADD 00001fe4: PUSH2 0x1f89 00001fe7: JUMP 00001fe8: JUMPDEST 00001fe9: SWAP2 00001fea: POP 00001feb: POP 00001fec: SWAP3 00001fed: SWAP2 00001fee: POP 00001fef: POP 00001ff0: JUMP 00001ff1: JUMPDEST 00001ff2: PUSH1 0x00 00001ff4: PUSH1 0x20 00001ff6: DUP3 00001ff7: DUP5 00001ff8: SUB 00001ff9: SLT 00001ffa: ISZERO 00001ffb: PUSH2 0x2003 00001ffe: JUMPI 00001fff: PUSH1 0x00 00002001: DUP1 00002002: REVERT 00002003: JUMPDEST 00002004: PUSH1 0x00 00002006: PUSH2 0x2011 00002009: DUP5 0000200a: DUP3 0000200b: DUP6 0000200c: ADD 0000200d: PUSH2 0x1f9e 00002010: JUMP 00002011: JUMPDEST 00002012: SWAP2 00002013: POP 00002014: POP 00002015: SWAP3 00002016: SWAP2 00002017: POP 00002018: POP 00002019: JUMP 0000201a: JUMPDEST 0000201b: PUSH1 0x00 0000201d: DUP1 0000201e: PUSH1 0x40 00002020: DUP4 00002021: DUP6 00002022: SUB 00002023: SLT 00002024: ISZERO 00002025: PUSH2 0x202d 00002028: JUMPI 00002029: PUSH1 0x00 0000202b: DUP1 0000202c: REVERT 0000202d: JUMPDEST 0000202e: PUSH1 0x00 00002030: PUSH2 0x203b 00002033: DUP6 00002034: DUP3 00002035: DUP7 00002036: ADD 00002037: PUSH2 0x1f89 0000203a: JUMP 0000203b: JUMPDEST 0000203c: SWAP3 0000203d: POP 0000203e: POP 0000203f: PUSH1 0x20 00002041: PUSH2 0x204c 00002044: DUP6 00002045: DUP3 00002046: DUP7 00002047: ADD 00002048: PUSH2 0x1f89 0000204b: JUMP 0000204c: JUMPDEST 0000204d: SWAP2 0000204e: POP 0000204f: POP 00002050: SWAP3 00002051: POP 00002052: SWAP3 00002053: SWAP1 00002054: POP 00002055: JUMP 00002056: JUMPDEST 00002057: PUSH1 0x00 00002059: DUP1 0000205a: PUSH1 0x00 0000205c: PUSH1 0x60 0000205e: DUP5 0000205f: DUP7 00002060: SUB 00002061: SLT 00002062: ISZERO 00002063: PUSH2 0x206b 00002066: JUMPI 00002067: PUSH1 0x00 00002069: DUP1 0000206a: REVERT 0000206b: JUMPDEST 0000206c: PUSH1 0x00 0000206e: PUSH2 0x2079 00002071: DUP7 00002072: DUP3 00002073: DUP8 00002074: ADD 00002075: PUSH2 0x1f89 00002078: JUMP 00002079: JUMPDEST 0000207a: SWAP4 0000207b: POP 0000207c: POP 0000207d: PUSH1 0x20 0000207f: PUSH2 0x208a 00002082: DUP7 00002083: DUP3 00002084: DUP8 00002085: ADD 00002086: PUSH2 0x1f89 00002089: JUMP 0000208a: JUMPDEST 0000208b: SWAP3 0000208c: POP 0000208d: POP 0000208e: PUSH1 0x40 00002090: PUSH2 0x209b 00002093: DUP7 00002094: DUP3 00002095: DUP8 00002096: ADD 00002097: PUSH2 0x1fb3 0000209a: JUMP 0000209b: JUMPDEST 0000209c: SWAP2 0000209d: POP 0000209e: POP 0000209f: SWAP3 000020a0: POP 000020a1: SWAP3 000020a2: POP 000020a3: SWAP3 000020a4: JUMP 000020a5: JUMPDEST 000020a6: PUSH1 0x00 000020a8: DUP1 000020a9: PUSH1 0x40 000020ab: DUP4 000020ac: DUP6 000020ad: SUB 000020ae: SLT 000020af: ISZERO 000020b0: PUSH2 0x20b8 000020b3: JUMPI 000020b4: PUSH1 0x00 000020b6: DUP1 000020b7: REVERT 000020b8: JUMPDEST 000020b9: PUSH1 0x00 000020bb: PUSH2 0x20c6 000020be: DUP6 000020bf: DUP3 000020c0: DUP7 000020c1: ADD 000020c2: PUSH2 0x1f89 000020c5: JUMP 000020c6: JUMPDEST 000020c7: SWAP3 000020c8: POP 000020c9: POP 000020ca: PUSH1 0x20 000020cc: PUSH2 0x20d7 000020cf: DUP6 000020d0: DUP3 000020d1: DUP7 000020d2: ADD 000020d3: PUSH2 0x1fb3 000020d6: JUMP 000020d7: JUMPDEST 000020d8: SWAP2 000020d9: POP 000020da: POP 000020db: SWAP3 000020dc: POP 000020dd: SWAP3 000020de: SWAP1 000020df: POP 000020e0: JUMP 000020e1: JUMPDEST 000020e2: PUSH1 0x00 000020e4: PUSH1 0x20 000020e6: DUP3 000020e7: DUP5 000020e8: SUB 000020e9: SLT 000020ea: ISZERO 000020eb: PUSH2 0x20f3 000020ee: JUMPI 000020ef: PUSH1 0x00 000020f1: DUP1 000020f2: REVERT 000020f3: JUMPDEST 000020f4: PUSH1 0x00 000020f6: PUSH2 0x2101 000020f9: DUP5 000020fa: DUP3 000020fb: DUP6 000020fc: ADD 000020fd: PUSH2 0x1fb3 00002100: JUMP 00002101: JUMPDEST 00002102: SWAP2 00002103: POP 00002104: POP 00002105: SWAP3 00002106: SWAP2 00002107: POP 00002108: POP 00002109: JUMP 0000210a: JUMPDEST 0000210b: PUSH1 0x00 0000210d: PUSH2 0x2116 00002110: DUP4 00002111: DUP4 00002112: PUSH2 0x2122 00002115: JUMP 00002116: JUMPDEST 00002117: PUSH1 0x20 00002119: DUP4 0000211a: ADD 0000211b: SWAP1 0000211c: POP 0000211d: SWAP3 0000211e: SWAP2 0000211f: POP 00002120: POP 00002121: JUMP 00002122: JUMPDEST 00002123: PUSH2 0x212b 00002126: DUP2 00002127: PUSH2 0x26c0 0000212a: JUMP 0000212b: JUMPDEST 0000212c: DUP3 0000212d: MSTORE 0000212e: POP 0000212f: POP 00002130: JUMP 00002131: JUMPDEST 00002132: PUSH2 0x213a 00002135: DUP2 00002136: PUSH2 0x26c0 00002139: JUMP 0000213a: JUMPDEST 0000213b: DUP3 0000213c: MSTORE 0000213d: POP 0000213e: POP 0000213f: JUMP 00002140: JUMPDEST 00002141: PUSH1 0x00 00002143: PUSH2 0x214b 00002146: DUP3 00002147: PUSH2 0x2566 0000214a: JUMP 0000214b: JUMPDEST 0000214c: PUSH2 0x2155 0000214f: DUP2 00002150: DUP6 00002151: PUSH2 0x2589 00002154: JUMP 00002155: JUMPDEST 00002156: SWAP4 00002157: POP 00002158: PUSH2 0x2160 0000215b: DUP4 0000215c: PUSH2 0x2556 0000215f: JUMP 00002160: JUMPDEST 00002161: DUP1 00002162: PUSH1 0x00 00002164: JUMPDEST 00002165: DUP4 00002166: DUP2 00002167: LT 00002168: ISZERO 00002169: PUSH2 0x2191 0000216c: JUMPI 0000216d: DUP2 0000216e: MLOAD 0000216f: PUSH2 0x2178 00002172: DUP9 00002173: DUP3 00002174: PUSH2 0x210a 00002177: JUMP 00002178: JUMPDEST 00002179: SWAP8 0000217a: POP 0000217b: PUSH2 0x2183 0000217e: DUP4 0000217f: PUSH2 0x257c 00002182: JUMP 00002183: JUMPDEST 00002184: SWAP3 00002185: POP 00002186: POP 00002187: PUSH1 0x01 00002189: DUP2 0000218a: ADD 0000218b: SWAP1 0000218c: POP 0000218d: PUSH2 0x2164 00002190: JUMP 00002191: JUMPDEST 00002192: POP 00002193: DUP6 00002194: SWAP4 00002195: POP 00002196: POP 00002197: POP 00002198: POP 00002199: SWAP3 0000219a: SWAP2 0000219b: POP 0000219c: POP 0000219d: JUMP 0000219e: JUMPDEST 0000219f: PUSH2 0x21a7 000021a2: DUP2 000021a3: PUSH2 0x26d2 000021a6: JUMP 000021a7: JUMPDEST 000021a8: DUP3 000021a9: MSTORE 000021aa: POP 000021ab: POP 000021ac: JUMP 000021ad: JUMPDEST 000021ae: PUSH2 0x21b6 000021b1: DUP2 000021b2: PUSH2 0x2715 000021b5: JUMP 000021b6: JUMPDEST 000021b7: DUP3 000021b8: MSTORE 000021b9: POP 000021ba: POP 000021bb: JUMP 000021bc: JUMPDEST 000021bd: PUSH1 0x00 000021bf: PUSH2 0x21c7 000021c2: DUP3 000021c3: PUSH2 0x2571 000021c6: JUMP 000021c7: JUMPDEST 000021c8: PUSH2 0x21d1 000021cb: DUP2 000021cc: DUP6 000021cd: PUSH2 0x259a 000021d0: JUMP 000021d1: JUMPDEST 000021d2: SWAP4 000021d3: POP 000021d4: PUSH2 0x21e1 000021d7: DUP2 000021d8: DUP6 000021d9: PUSH1 0x20 000021db: DUP7 000021dc: ADD 000021dd: PUSH2 0x2727 000021e0: JUMP 000021e1: JUMPDEST 000021e2: PUSH2 0x21ea 000021e5: DUP2 000021e6: PUSH2 0x27b8 000021e9: JUMP 000021ea: JUMPDEST 000021eb: DUP5 000021ec: ADD 000021ed: SWAP2 000021ee: POP 000021ef: POP 000021f0: SWAP3 000021f1: SWAP2 000021f2: POP 000021f3: POP 000021f4: JUMP 000021f5: JUMPDEST 000021f6: PUSH1 0x00 000021f8: PUSH2 0x2202 000021fb: PUSH1 0x23 000021fd: DUP4 000021fe: PUSH2 0x259a 00002201: JUMP 00002202: JUMPDEST 00002203: SWAP2 00002204: POP 00002205: PUSH2 0x220d 00002208: DUP3 00002209: PUSH2 0x27c9 0000220c: JUMP 0000220d: JUMPDEST 0000220e: PUSH1 0x40 00002210: DUP3 00002211: ADD 00002212: SWAP1 00002213: POP 00002214: SWAP2 00002215: SWAP1 00002216: POP 00002217: JUMP 00002218: JUMPDEST 00002219: PUSH1 0x00 0000221b: PUSH2 0x2225 0000221e: PUSH1 0x2a 00002220: DUP4 00002221: PUSH2 0x259a 00002224: JUMP 00002225: JUMPDEST 00002226: SWAP2 00002227: POP 00002228: PUSH2 0x2230 0000222b: DUP3 0000222c: PUSH2 0x2818 0000222f: JUMP 00002230: JUMPDEST 00002231: PUSH1 0x40 00002233: DUP3 00002234: ADD 00002235: SWAP1 00002236: POP 00002237: SWAP2 00002238: SWAP1 00002239: POP 0000223a: JUMP 0000223b: JUMPDEST 0000223c: PUSH1 0x00 0000223e: PUSH2 0x2248 00002241: PUSH1 0x22 00002243: DUP4 00002244: PUSH2 0x259a 00002247: JUMP 00002248: JUMPDEST 00002249: SWAP2 0000224a: POP 0000224b: PUSH2 0x2253 0000224e: DUP3 0000224f: PUSH2 0x2867 00002252: JUMP 00002253: JUMPDEST 00002254: PUSH1 0x40 00002256: DUP3 00002257: ADD 00002258: SWAP1 00002259: POP 0000225a: SWAP2 0000225b: SWAP1 0000225c: POP 0000225d: JUMP 0000225e: JUMPDEST 0000225f: PUSH1 0x00 00002261: PUSH2 0x226b 00002264: PUSH1 0x1b 00002266: DUP4 00002267: PUSH2 0x259a 0000226a: JUMP 0000226b: JUMPDEST 0000226c: SWAP2 0000226d: POP 0000226e: PUSH2 0x2276 00002271: DUP3 00002272: PUSH2 0x28b6 00002275: JUMP 00002276: JUMPDEST 00002277: PUSH1 0x20 00002279: DUP3 0000227a: ADD 0000227b: SWAP1 0000227c: POP 0000227d: SWAP2 0000227e: SWAP1 0000227f: POP 00002280: JUMP 00002281: JUMPDEST 00002282: PUSH1 0x00 00002284: PUSH2 0x228e 00002287: PUSH1 0x21 00002289: DUP4 0000228a: PUSH2 0x259a 0000228d: JUMP 0000228e: JUMPDEST 0000228f: SWAP2 00002290: POP 00002291: PUSH2 0x2299 00002294: DUP3 00002295: PUSH2 0x28df 00002298: JUMP 00002299: JUMPDEST 0000229a: PUSH1 0x40 0000229c: DUP3 0000229d: ADD 0000229e: SWAP1 0000229f: POP 000022a0: SWAP2 000022a1: SWAP1 000022a2: POP 000022a3: JUMP 000022a4: JUMPDEST 000022a5: PUSH1 0x00 000022a7: PUSH2 0x22b1 000022aa: PUSH1 0x20 000022ac: DUP4 000022ad: PUSH2 0x259a 000022b0: JUMP 000022b1: JUMPDEST 000022b2: SWAP2 000022b3: POP 000022b4: PUSH2 0x22bc 000022b7: DUP3 000022b8: PUSH2 0x292e 000022bb: JUMP 000022bc: JUMPDEST 000022bd: PUSH1 0x20 000022bf: DUP3 000022c0: ADD 000022c1: SWAP1 000022c2: POP 000022c3: SWAP2 000022c4: SWAP1 000022c5: POP 000022c6: JUMP 000022c7: JUMPDEST 000022c8: PUSH1 0x00 000022ca: PUSH2 0x22d4 000022cd: PUSH1 0x29 000022cf: DUP4 000022d0: PUSH2 0x259a 000022d3: JUMP 000022d4: JUMPDEST 000022d5: SWAP2 000022d6: POP 000022d7: PUSH2 0x22df 000022da: DUP3 000022db: PUSH2 0x2957 000022de: JUMP 000022df: JUMPDEST 000022e0: PUSH1 0x40 000022e2: DUP3 000022e3: ADD 000022e4: SWAP1 000022e5: POP 000022e6: SWAP2 000022e7: SWAP1 000022e8: POP 000022e9: JUMP 000022ea: JUMPDEST 000022eb: PUSH1 0x00 000022ed: PUSH2 0x22f7 000022f0: PUSH1 0x25 000022f2: DUP4 000022f3: PUSH2 0x259a 000022f6: JUMP 000022f7: JUMPDEST 000022f8: SWAP2 000022f9: POP 000022fa: PUSH2 0x2302 000022fd: DUP3 000022fe: PUSH2 0x29a6 00002301: JUMP 00002302: JUMPDEST 00002303: PUSH1 0x40 00002305: DUP3 00002306: ADD 00002307: SWAP1 00002308: POP 00002309: SWAP2 0000230a: SWAP1 0000230b: POP 0000230c: JUMP 0000230d: JUMPDEST 0000230e: PUSH1 0x00 00002310: PUSH2 0x231a 00002313: PUSH1 0x24 00002315: DUP4 00002316: PUSH2 0x259a 00002319: JUMP 0000231a: JUMPDEST 0000231b: SWAP2 0000231c: POP 0000231d: PUSH2 0x2325 00002320: DUP3 00002321: PUSH2 0x29f5 00002324: JUMP 00002325: JUMPDEST 00002326: PUSH1 0x40 00002328: DUP3 00002329: ADD 0000232a: SWAP1 0000232b: POP 0000232c: SWAP2 0000232d: SWAP1 0000232e: POP 0000232f: JUMP 00002330: JUMPDEST 00002331: PUSH2 0x2339 00002334: DUP2 00002335: PUSH2 0x26fe 00002338: JUMP 00002339: JUMPDEST 0000233a: DUP3 0000233b: MSTORE 0000233c: POP 0000233d: POP 0000233e: JUMP 0000233f: JUMPDEST 00002340: PUSH2 0x2348 00002343: DUP2 00002344: PUSH2 0x2708 00002347: JUMP 00002348: JUMPDEST 00002349: DUP3 0000234a: MSTORE 0000234b: POP 0000234c: POP 0000234d: JUMP 0000234e: JUMPDEST 0000234f: PUSH1 0x00 00002351: PUSH1 0x20 00002353: DUP3 00002354: ADD 00002355: SWAP1 00002356: POP 00002357: PUSH2 0x2363 0000235a: PUSH1 0x00 0000235c: DUP4 0000235d: ADD 0000235e: DUP5 0000235f: PUSH2 0x2131 00002362: JUMP 00002363: JUMPDEST 00002364: SWAP3 00002365: SWAP2 00002366: POP 00002367: POP 00002368: JUMP 00002369: JUMPDEST 0000236a: PUSH1 0x00 0000236c: PUSH1 0x20 0000236e: DUP3 0000236f: ADD 00002370: SWAP1 00002371: POP 00002372: PUSH2 0x237e 00002375: PUSH1 0x00 00002377: DUP4 00002378: ADD 00002379: DUP5 0000237a: PUSH2 0x219e 0000237d: JUMP 0000237e: JUMPDEST 0000237f: SWAP3 00002380: SWAP2 00002381: POP 00002382: POP 00002383: JUMP 00002384: JUMPDEST 00002385: PUSH1 0x00 00002387: PUSH1 0x20 00002389: DUP3 0000238a: ADD 0000238b: SWAP1 0000238c: POP 0000238d: DUP2 0000238e: DUP2 0000238f: SUB 00002390: PUSH1 0x00 00002392: DUP4 00002393: ADD 00002394: MSTORE 00002395: PUSH2 0x239e 00002398: DUP2 00002399: DUP5 0000239a: PUSH2 0x21bc 0000239d: JUMP 0000239e: JUMPDEST 0000239f: SWAP1 000023a0: POP 000023a1: SWAP3 000023a2: SWAP2 000023a3: POP 000023a4: POP 000023a5: JUMP 000023a6: JUMPDEST 000023a7: PUSH1 0x00 000023a9: PUSH1 0x20 000023ab: DUP3 000023ac: ADD 000023ad: SWAP1 000023ae: POP 000023af: DUP2 000023b0: DUP2 000023b1: SUB 000023b2: PUSH1 0x00 000023b4: DUP4 000023b5: ADD 000023b6: MSTORE 000023b7: PUSH2 0x23bf 000023ba: DUP2 000023bb: PUSH2 0x21f5 000023be: JUMP 000023bf: JUMPDEST 000023c0: SWAP1 000023c1: POP 000023c2: SWAP2 000023c3: SWAP1 000023c4: POP 000023c5: JUMP 000023c6: JUMPDEST 000023c7: PUSH1 0x00 000023c9: PUSH1 0x20 000023cb: DUP3 000023cc: ADD 000023cd: SWAP1 000023ce: POP 000023cf: DUP2 000023d0: DUP2 000023d1: SUB 000023d2: PUSH1 0x00 000023d4: DUP4 000023d5: ADD 000023d6: MSTORE 000023d7: PUSH2 0x23df 000023da: DUP2 000023db: PUSH2 0x2218 000023de: JUMP 000023df: JUMPDEST 000023e0: SWAP1 000023e1: POP 000023e2: SWAP2 000023e3: SWAP1 000023e4: POP 000023e5: JUMP 000023e6: JUMPDEST 000023e7: PUSH1 0x00 000023e9: PUSH1 0x20 000023eb: DUP3 000023ec: ADD 000023ed: SWAP1 000023ee: POP 000023ef: DUP2 000023f0: DUP2 000023f1: SUB 000023f2: PUSH1 0x00 000023f4: DUP4 000023f5: ADD 000023f6: MSTORE 000023f7: PUSH2 0x23ff 000023fa: DUP2 000023fb: PUSH2 0x223b 000023fe: JUMP 000023ff: JUMPDEST 00002400: SWAP1 00002401: POP 00002402: SWAP2 00002403: SWAP1 00002404: POP 00002405: JUMP 00002406: JUMPDEST 00002407: PUSH1 0x00 00002409: PUSH1 0x20 0000240b: DUP3 0000240c: ADD 0000240d: SWAP1 0000240e: POP 0000240f: DUP2 00002410: DUP2 00002411: SUB 00002412: PUSH1 0x00 00002414: DUP4 00002415: ADD 00002416: MSTORE 00002417: PUSH2 0x241f 0000241a: DUP2 0000241b: PUSH2 0x225e 0000241e: JUMP 0000241f: JUMPDEST 00002420: SWAP1 00002421: POP 00002422: SWAP2 00002423: SWAP1 00002424: POP 00002425: JUMP 00002426: JUMPDEST 00002427: PUSH1 0x00 00002429: PUSH1 0x20 0000242b: DUP3 0000242c: ADD 0000242d: SWAP1 0000242e: POP 0000242f: DUP2 00002430: DUP2 00002431: SUB 00002432: PUSH1 0x00 00002434: DUP4 00002435: ADD 00002436: MSTORE 00002437: PUSH2 0x243f 0000243a: DUP2 0000243b: PUSH2 0x2281 0000243e: JUMP 0000243f: JUMPDEST 00002440: SWAP1 00002441: POP 00002442: SWAP2 00002443: SWAP1 00002444: POP 00002445: JUMP 00002446: JUMPDEST 00002447: PUSH1 0x00 00002449: PUSH1 0x20 0000244b: DUP3 0000244c: ADD 0000244d: SWAP1 0000244e: POP 0000244f: DUP2 00002450: DUP2 00002451: SUB 00002452: PUSH1 0x00 00002454: DUP4 00002455: ADD 00002456: MSTORE 00002457: PUSH2 0x245f 0000245a: DUP2 0000245b: PUSH2 0x22a4 0000245e: JUMP 0000245f: JUMPDEST 00002460: SWAP1 00002461: POP 00002462: SWAP2 00002463: SWAP1 00002464: POP 00002465: JUMP 00002466: JUMPDEST 00002467: PUSH1 0x00 00002469: PUSH1 0x20 0000246b: DUP3 0000246c: ADD 0000246d: SWAP1 0000246e: POP 0000246f: DUP2 00002470: DUP2 00002471: SUB 00002472: PUSH1 0x00 00002474: DUP4 00002475: ADD 00002476: MSTORE 00002477: PUSH2 0x247f 0000247a: DUP2 0000247b: PUSH2 0x22c7 0000247e: JUMP 0000247f: JUMPDEST 00002480: SWAP1 00002481: POP 00002482: SWAP2 00002483: SWAP1 00002484: POP 00002485: JUMP 00002486: JUMPDEST 00002487: PUSH1 0x00 00002489: PUSH1 0x20 0000248b: DUP3 0000248c: ADD 0000248d: SWAP1 0000248e: POP 0000248f: DUP2 00002490: DUP2 00002491: SUB 00002492: PUSH1 0x00 00002494: DUP4 00002495: ADD 00002496: MSTORE 00002497: PUSH2 0x249f 0000249a: DUP2 0000249b: PUSH2 0x22ea 0000249e: JUMP 0000249f: JUMPDEST 000024a0: SWAP1 000024a1: POP 000024a2: SWAP2 000024a3: SWAP1 000024a4: POP 000024a5: JUMP 000024a6: JUMPDEST 000024a7: PUSH1 0x00 000024a9: PUSH1 0x20 000024ab: DUP3 000024ac: ADD 000024ad: SWAP1 000024ae: POP 000024af: DUP2 000024b0: DUP2 000024b1: SUB 000024b2: PUSH1 0x00 000024b4: DUP4 000024b5: ADD 000024b6: MSTORE 000024b7: PUSH2 0x24bf 000024ba: DUP2 000024bb: PUSH2 0x230d 000024be: JUMP 000024bf: JUMPDEST 000024c0: SWAP1 000024c1: POP 000024c2: SWAP2 000024c3: SWAP1 000024c4: POP 000024c5: JUMP 000024c6: JUMPDEST 000024c7: PUSH1 0x00 000024c9: PUSH1 0x20 000024cb: DUP3 000024cc: ADD 000024cd: SWAP1 000024ce: POP 000024cf: PUSH2 0x24db 000024d2: PUSH1 0x00 000024d4: DUP4 000024d5: ADD 000024d6: DUP5 000024d7: PUSH2 0x2330 000024da: JUMP 000024db: JUMPDEST 000024dc: SWAP3 000024dd: SWAP2 000024de: POP 000024df: POP 000024e0: JUMP 000024e1: JUMPDEST 000024e2: PUSH1 0x00 000024e4: PUSH1 0xa0 000024e6: DUP3 000024e7: ADD 000024e8: SWAP1 000024e9: POP 000024ea: PUSH2 0x24f6 000024ed: PUSH1 0x00 000024ef: DUP4 000024f0: ADD 000024f1: DUP9 000024f2: PUSH2 0x2330 000024f5: JUMP 000024f6: JUMPDEST 000024f7: PUSH2 0x2503 000024fa: PUSH1 0x20 000024fc: DUP4 000024fd: ADD 000024fe: DUP8 000024ff: PUSH2 0x21ad 00002502: JUMP 00002503: JUMPDEST 00002504: DUP2 00002505: DUP2 00002506: SUB 00002507: PUSH1 0x40 00002509: DUP4 0000250a: ADD 0000250b: MSTORE 0000250c: PUSH2 0x2515 0000250f: DUP2 00002510: DUP7 00002511: PUSH2 0x2140 00002514: JUMP 00002515: JUMPDEST 00002516: SWAP1 00002517: POP 00002518: PUSH2 0x2524 0000251b: PUSH1 0x60 0000251d: DUP4 0000251e: ADD 0000251f: DUP6 00002520: PUSH2 0x2131 00002523: JUMP 00002524: JUMPDEST 00002525: PUSH2 0x2531 00002528: PUSH1 0x80 0000252a: DUP4 0000252b: ADD 0000252c: DUP5 0000252d: PUSH2 0x2330 00002530: JUMP 00002531: JUMPDEST 00002532: SWAP7 00002533: SWAP6 00002534: POP 00002535: POP 00002536: POP 00002537: POP 00002538: POP 00002539: POP 0000253a: JUMP 0000253b: JUMPDEST 0000253c: PUSH1 0x00 0000253e: PUSH1 0x20 00002540: DUP3 00002541: ADD 00002542: SWAP1 00002543: POP 00002544: PUSH2 0x2550 00002547: PUSH1 0x00 00002549: DUP4 0000254a: ADD 0000254b: DUP5 0000254c: PUSH2 0x233f 0000254f: JUMP 00002550: JUMPDEST 00002551: SWAP3 00002552: SWAP2 00002553: POP 00002554: POP 00002555: JUMP 00002556: JUMPDEST 00002557: PUSH1 0x00 00002559: DUP2 0000255a: SWAP1 0000255b: POP 0000255c: PUSH1 0x20 0000255e: DUP3 0000255f: ADD 00002560: SWAP1 00002561: POP 00002562: SWAP2 00002563: SWAP1 00002564: POP 00002565: JUMP 00002566: JUMPDEST 00002567: PUSH1 0x00 00002569: DUP2 0000256a: MLOAD 0000256b: SWAP1 0000256c: POP 0000256d: SWAP2 0000256e: SWAP1 0000256f: POP 00002570: JUMP 00002571: JUMPDEST 00002572: PUSH1 0x00 00002574: DUP2 00002575: MLOAD 00002576: SWAP1 00002577: POP 00002578: SWAP2 00002579: SWAP1 0000257a: POP 0000257b: JUMP 0000257c: JUMPDEST 0000257d: PUSH1 0x00 0000257f: PUSH1 0x20 00002581: DUP3 00002582: ADD 00002583: SWAP1 00002584: POP 00002585: SWAP2 00002586: SWAP1 00002587: POP 00002588: JUMP 00002589: JUMPDEST 0000258a: PUSH1 0x00 0000258c: DUP3 0000258d: DUP3 0000258e: MSTORE 0000258f: PUSH1 0x20 00002591: DUP3 00002592: ADD 00002593: SWAP1 00002594: POP 00002595: SWAP3 00002596: SWAP2 00002597: POP 00002598: POP 00002599: JUMP 0000259a: JUMPDEST 0000259b: PUSH1 0x00 0000259d: DUP3 0000259e: DUP3 0000259f: MSTORE 000025a0: PUSH1 0x20 000025a2: DUP3 000025a3: ADD 000025a4: SWAP1 000025a5: POP 000025a6: SWAP3 000025a7: SWAP2 000025a8: POP 000025a9: POP 000025aa: JUMP 000025ab: JUMPDEST 000025ac: PUSH1 0x00 000025ae: PUSH2 0x25b6 000025b1: DUP3 000025b2: PUSH2 0x26fe 000025b5: JUMP 000025b6: JUMPDEST 000025b7: SWAP2 000025b8: POP 000025b9: PUSH2 0x25c1 000025bc: DUP4 000025bd: PUSH2 0x26fe 000025c0: JUMP 000025c1: JUMPDEST 000025c2: SWAP3 000025c3: POP 000025c4: DUP3 000025c5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000025e6: SUB 000025e7: DUP3 000025e8: GT 000025e9: ISZERO 000025ea: PUSH2 0x25f6 000025ed: JUMPI 000025ee: PUSH2 0x25f5 000025f1: PUSH2 0x275a 000025f4: JUMP 000025f5: JUMPDEST 000025f6: JUMPDEST 000025f7: DUP3 000025f8: DUP3 000025f9: ADD 000025fa: SWAP1 000025fb: POP 000025fc: SWAP3 000025fd: SWAP2 000025fe: POP 000025ff: POP 00002600: JUMP 00002601: JUMPDEST 00002602: PUSH1 0x00 00002604: PUSH2 0x260c 00002607: DUP3 00002608: PUSH2 0x26fe 0000260b: JUMP 0000260c: JUMPDEST 0000260d: SWAP2 0000260e: POP 0000260f: PUSH2 0x2617 00002612: DUP4 00002613: PUSH2 0x26fe 00002616: JUMP 00002617: JUMPDEST 00002618: SWAP3 00002619: POP 0000261a: DUP3 0000261b: PUSH2 0x2627 0000261e: JUMPI 0000261f: PUSH2 0x2626 00002622: PUSH2 0x2789 00002625: JUMP 00002626: JUMPDEST 00002627: JUMPDEST 00002628: DUP3 00002629: DUP3 0000262a: DIV 0000262b: SWAP1 0000262c: POP 0000262d: SWAP3 0000262e: SWAP2 0000262f: POP 00002630: POP 00002631: JUMP 00002632: JUMPDEST 00002633: PUSH1 0x00 00002635: PUSH2 0x263d 00002638: DUP3 00002639: PUSH2 0x26fe 0000263c: JUMP 0000263d: JUMPDEST 0000263e: SWAP2 0000263f: POP 00002640: PUSH2 0x2648 00002643: DUP4 00002644: PUSH2 0x26fe 00002647: JUMP 00002648: JUMPDEST 00002649: SWAP3 0000264a: POP 0000264b: DUP2 0000264c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000266d: DIV 0000266e: DUP4 0000266f: GT 00002670: DUP3 00002671: ISZERO 00002672: ISZERO 00002673: AND 00002674: ISZERO 00002675: PUSH2 0x2681 00002678: JUMPI 00002679: PUSH2 0x2680 0000267c: PUSH2 0x275a 0000267f: JUMP 00002680: JUMPDEST 00002681: JUMPDEST 00002682: DUP3 00002683: DUP3 00002684: MUL 00002685: SWAP1 00002686: POP 00002687: SWAP3 00002688: SWAP2 00002689: POP 0000268a: POP 0000268b: JUMP 0000268c: JUMPDEST 0000268d: PUSH1 0x00 0000268f: PUSH2 0x2697 00002692: DUP3 00002693: PUSH2 0x26fe 00002696: JUMP 00002697: JUMPDEST 00002698: SWAP2 00002699: POP 0000269a: PUSH2 0x26a2 0000269d: DUP4 0000269e: PUSH2 0x26fe 000026a1: JUMP 000026a2: JUMPDEST 000026a3: SWAP3 000026a4: POP 000026a5: DUP3 000026a6: DUP3 000026a7: LT 000026a8: ISZERO 000026a9: PUSH2 0x26b5 000026ac: JUMPI 000026ad: PUSH2 0x26b4 000026b0: PUSH2 0x275a 000026b3: JUMP 000026b4: JUMPDEST 000026b5: JUMPDEST 000026b6: DUP3 000026b7: DUP3 000026b8: SUB 000026b9: SWAP1 000026ba: POP 000026bb: SWAP3 000026bc: SWAP2 000026bd: POP 000026be: POP 000026bf: JUMP 000026c0: JUMPDEST 000026c1: PUSH1 0x00 000026c3: PUSH2 0x26cb 000026c6: DUP3 000026c7: PUSH2 0x26de 000026ca: JUMP 000026cb: JUMPDEST 000026cc: SWAP1 000026cd: POP 000026ce: SWAP2 000026cf: SWAP1 000026d0: POP 000026d1: JUMP 000026d2: JUMPDEST 000026d3: PUSH1 0x00 000026d5: DUP2 000026d6: ISZERO 000026d7: ISZERO 000026d8: SWAP1 000026d9: POP 000026da: SWAP2 000026db: SWAP1 000026dc: POP 000026dd: JUMP 000026de: JUMPDEST 000026df: PUSH1 0x00 000026e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026f6: DUP3 000026f7: AND 000026f8: SWAP1 000026f9: POP 000026fa: SWAP2 000026fb: SWAP1 000026fc: POP 000026fd: JUMP 000026fe: JUMPDEST 000026ff: PUSH1 0x00 00002701: DUP2 00002702: SWAP1 00002703: POP 00002704: SWAP2 00002705: SWAP1 00002706: POP 00002707: JUMP 00002708: JUMPDEST 00002709: PUSH1 0x00 0000270b: PUSH1 0xff 0000270d: DUP3 0000270e: AND 0000270f: SWAP1 00002710: POP 00002711: SWAP2 00002712: SWAP1 00002713: POP 00002714: JUMP 00002715: JUMPDEST 00002716: PUSH1 0x00 00002718: PUSH2 0x2720 0000271b: DUP3 0000271c: PUSH2 0x26fe 0000271f: JUMP 00002720: JUMPDEST 00002721: SWAP1 00002722: POP 00002723: SWAP2 00002724: SWAP1 00002725: POP 00002726: JUMP 00002727: JUMPDEST 00002728: PUSH1 0x00 0000272a: JUMPDEST 0000272b: DUP4 0000272c: DUP2 0000272d: LT 0000272e: ISZERO 0000272f: PUSH2 0x2745 00002732: JUMPI 00002733: DUP1 00002734: DUP3 00002735: ADD 00002736: MLOAD 00002737: DUP2 00002738: DUP5 00002739: ADD 0000273a: MSTORE 0000273b: PUSH1 0x20 0000273d: DUP2 0000273e: ADD 0000273f: SWAP1 00002740: POP 00002741: PUSH2 0x272a 00002744: JUMP 00002745: JUMPDEST 00002746: DUP4 00002747: DUP2 00002748: GT 00002749: ISZERO 0000274a: PUSH2 0x2754 0000274d: JUMPI 0000274e: PUSH1 0x00 00002750: DUP5 00002751: DUP5 00002752: ADD 00002753: MSTORE 00002754: JUMPDEST 00002755: POP 00002756: POP 00002757: POP 00002758: POP 00002759: JUMP 0000275a: JUMPDEST 0000275b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000277c: PUSH1 0x00 0000277e: MSTORE 0000277f: PUSH1 0x11 00002781: PUSH1 0x04 00002783: MSTORE 00002784: PUSH1 0x24 00002786: PUSH1 0x00 00002788: REVERT 00002789: JUMPDEST 0000278a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000027ab: PUSH1 0x00 000027ad: MSTORE 000027ae: PUSH1 0x12 000027b0: PUSH1 0x04 000027b2: MSTORE 000027b3: PUSH1 0x24 000027b5: PUSH1 0x00 000027b7: REVERT 000027b8: JUMPDEST 000027b9: PUSH1 0x00 000027bb: PUSH1 0x1f 000027bd: NOT 000027be: PUSH1 0x1f 000027c0: DUP4 000027c1: ADD 000027c2: AND 000027c3: SWAP1 000027c4: POP 000027c5: SWAP2 000027c6: SWAP1 000027c7: POP 000027c8: JUMP 000027c9: JUMPDEST 000027ca: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 000027eb: PUSH1 0x00 000027ed: DUP3 000027ee: ADD 000027ef: MSTORE 000027f0: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000 00002811: PUSH1 0x20 00002813: DUP3 00002814: ADD 00002815: MSTORE 00002816: POP 00002817: JUMP 00002818: JUMPDEST 00002819: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072 0000283a: PUSH1 0x00 0000283c: DUP3 0000283d: ADD 0000283e: MSTORE 0000283f: PUSH32 0x65666c656374696f6e7300000000000000000000000000000000000000000000 00002860: PUSH1 0x20 00002862: DUP3 00002863: ADD 00002864: MSTORE 00002865: POP 00002866: JUMP 00002867: JUMPDEST 00002868: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00002889: PUSH1 0x00 0000288b: DUP3 0000288c: ADD 0000288d: MSTORE 0000288e: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 000028af: PUSH1 0x20 000028b1: DUP3 000028b2: ADD 000028b3: MSTORE 000028b4: POP 000028b5: JUMP 000028b6: JUMPDEST 000028b7: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000028d8: PUSH1 0x00 000028da: DUP3 000028db: ADD 000028dc: MSTORE 000028dd: POP 000028de: JUMP 000028df: JUMPDEST 000028e0: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00002901: PUSH1 0x00 00002903: DUP3 00002904: ADD 00002905: MSTORE 00002906: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000 00002927: PUSH1 0x20 00002929: DUP3 0000292a: ADD 0000292b: MSTORE 0000292c: POP 0000292d: JUMP 0000292e: JUMPDEST 0000292f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00002950: PUSH1 0x00 00002952: DUP3 00002953: ADD 00002954: MSTORE 00002955: POP 00002956: JUMP 00002957: JUMPDEST 00002958: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00002979: PUSH1 0x00 0000297b: DUP3 0000297c: ADD 0000297d: MSTORE 0000297e: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000 0000299f: PUSH1 0x20 000029a1: DUP3 000029a2: ADD 000029a3: MSTORE 000029a4: POP 000029a5: JUMP 000029a6: JUMPDEST 000029a7: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 000029c8: PUSH1 0x00 000029ca: DUP3 000029cb: ADD 000029cc: MSTORE 000029cd: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 000029ee: PUSH1 0x20 000029f0: DUP3 000029f1: ADD 000029f2: MSTORE 000029f3: POP 000029f4: JUMP 000029f5: JUMPDEST 000029f6: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00002a17: PUSH1 0x00 00002a19: DUP3 00002a1a: ADD 00002a1b: MSTORE 00002a1c: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00002a3d: PUSH1 0x20 00002a3f: DUP3 00002a40: ADD 00002a41: MSTORE 00002a42: POP 00002a43: JUMP 00002a44: JUMPDEST 00002a45: PUSH2 0x2a4d 00002a48: DUP2 00002a49: PUSH2 0x26c0 00002a4c: JUMP 00002a4d: JUMPDEST 00002a4e: DUP2 00002a4f: EQ 00002a50: PUSH2 0x2a58 00002a53: JUMPI 00002a54: PUSH1 0x00 00002a56: DUP1 00002a57: REVERT 00002a58: JUMPDEST 00002a59: POP 00002a5a: JUMP 00002a5b: JUMPDEST 00002a5c: PUSH2 0x2a64 00002a5f: DUP2 00002a60: PUSH2 0x26fe 00002a63: JUMP 00002a64: JUMPDEST 00002a65: DUP2 00002a66: EQ 00002a67: PUSH2 0x2a6f 00002a6a: JUMPI 00002a6b: PUSH1 0x00 00002a6d: DUP1 00002a6e: REVERT 00002a6f: JUMPDEST 00002a70: POP 00002a71: JUMP 00002a72: INVALID 00002a73: GASLIMIT 00002a74: MSTORE 00002a75: NUMBER 00002a76: ORIGIN 00002a77: ADDRESS 00002a78: GASPRICE 00002a79: KECCAK256 00002a7a: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00002a90: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00002aa5: UNKNOWN(0xDF) 00002aa6: TSTORE 00002aa7: UNKNOWN(0xCE) 00002aa8: SWAP15 00002aa9: UNKNOWN(0xA8) 00002aaa: UNKNOWN(0x4C) 00002aab: PUSH28 0xac80e09f14d630e2ede29eead14ad889baff6461dc8381583e64736f 00002ac8: PUSH13
| 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": "0xbc337182",
"selector": "0xbc337182",
"calldata_variants": [
"0xbc337182",
"0xbc3371820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2d0ffca",
"selector": "0xc2d0ffca",
"calldata_variants": [
"0xc2d0ffca",
"0xc2d0ffca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc653b44",
"selector": "0xcc653b44",
"calldata_variants": [
"0xcc653b44",
"0xcc653b440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9836f7d",
"selector": "0xe9836f7d",
"calldata_variants": [
"0xe9836f7d",
"0xe9836f7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 10870,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x84ea69c670c3513ad2a0c59e95af49754ff109f665f890609ebea76021a6b565
call_targets:
0x148c483fe0703033dc043e8a7b84e1c51611025d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84ea69c670c3513ad2a0c59e95af49754ff109f665f890609ebea76021a6b565",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x148c483fe0703033dc043e8a7b84e1c51611025d"
],
"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": "0xbc337182",
"selector": "0xbc337182",
"calldata_variants": [
"0xbc337182",
"0xbc3371820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2d0ffca",
"selector": "0xc2d0ffca",
"calldata_variants": [
"0xc2d0ffca",
"0xc2d0ffca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc653b44",
"selector": "0xcc653b44",
"calldata_variants": [
"0xcc653b44",
"0xcc653b440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9836f7d",
"selector": "0xe9836f7d",
"calldata_variants": [
"0xe9836f7d",
"0xe9836f7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5968,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6245,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 10870,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x84ea69c670c3513ad2a0c59e95af49754ff109f665f890609ebea76021a6b565
call_targets:
0x148c483fe0703033dc043e8a7b84e1c51611025d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84ea69c670c3513ad2a0c59e95af49754ff109f665f890609ebea76021a6b565",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x148c483fe0703033dc043e8a7b84e1c51611025d"
],
"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": "0xbc337182",
"selector": "0xbc337182",
"calldata_variants": [
"0xbc337182",
"0xbc3371820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2d0ffca",
"selector": "0xc2d0ffca",
"calldata_variants": [
"0xc2d0ffca",
"0xc2d0ffca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc653b44",
"selector": "0xcc653b44",
"calldata_variants": [
"0xcc653b44",
"0xcc653b440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9836f7d",
"selector": "0xe9836f7d",
"calldata_variants": [
"0xe9836f7d",
"0xe9836f7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5968,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6245,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 10870,
"type": "tx_origin_used"
}
]
}
|