Analysis Run

019b477e-b8bd-71a3-9257-e01b74671fb7
complete
Chain ID
1
Address
0x1d1a3bd9a48eedb44450a6080fccf70d73df777c
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23487	artifact.fetch	complete	1 / 3	3 months ago
23488	tool.cast_disasm	complete	1 / 3	3 months ago
66910	analysis.bundle	complete	1 / 3	2 weeks ago
66911	capability.graph	complete	1 / 3	2 weeks ago
66912	detector.run	complete	1 / 3	2 weeks ago
66913	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
18
EXT*/BALANCE
19
Total opcodes
6916
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x016a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9faf1d51
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc5f0a58f
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe64e6a63
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe64e6a63
0000003a: EQ
0000003b: PUSH2 0x083d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf0359d1b
00000045: EQ
00000046: PUSH2 0x0894
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x08eb
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf511ddcb
0000005b: EQ
0000005c: PUSH2 0x093c
0000005f: JUMPI
00000060: PUSH2 0x0234
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc5f0a58f
0000006b: EQ
0000006c: PUSH2 0x0742
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd2d87780
00000076: EQ
00000077: PUSH2 0x077f
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd687ba38
00000081: EQ
00000082: PUSH2 0x07ce
00000085: JUMPI
00000086: PUSH2 0x0234
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x9faf1d51
00000091: EQ
00000092: PUSH2 0x0598
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb384abef
0000009c: EQ
0000009d: PUSH2 0x05d3
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb3e9ba27
000000a7: EQ
000000a8: PUSH2 0x0618
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xba2d373c
000000b2: EQ
000000b3: PUSH2 0x0679
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xbb5a8df7
000000bd: EQ
000000be: PUSH2 0x06a4
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc08da7a1
000000c8: EQ
000000c9: PUSH2 0x0717
000000cc: JUMPI
000000cd: PUSH2 0x0234
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x41905f75
000000d8: GT
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x41905f75
000000e3: EQ
000000e4: PUSH2 0x03eb
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x4d8f5105
000000ee: EQ
000000ef: PUSH2 0x0441
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x715018a6
000000f9: EQ
000000fa: PUSH2 0x0498
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x811c7fe2
00000104: EQ
00000105: PUSH2 0x04af
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x0506
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x9d21ce9c
0000011a: EQ
0000011b: PUSH2 0x055d
0000011e: JUMPI
0000011f: PUSH2 0x0234
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x02662585
0000012a: EQ
0000012b: PUSH2 0x0239
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x07c7d225
00000135: EQ
00000136: PUSH2 0x0274
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x1d518334
00000140: EQ
00000141: PUSH2 0x02c7
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x29f6ff41
0000014b: EQ
0000014c: PUSH2 0x0302
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x2a5f1b0b
00000156: EQ
00000157: PUSH2 0x0363
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x35f8aa9b
00000161: EQ
00000162: PUSH2 0x03d4
00000165: JUMPI
00000166: PUSH2 0x0234
00000169: JUMP
0000016a: JUMPDEST
0000016b: CALLDATASIZE
0000016c: PUSH2 0x0234
0000016f: JUMPI
00000170: PUSH1 0x09
00000172: PUSH1 0x00
00000174: SWAP1
00000175: SLOAD
00000176: SWAP1
00000177: PUSH2 0x0100
0000017a: EXP
0000017b: SWAP1
0000017c: DIV
0000017d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000192: AND
00000193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a8: AND
000001a9: CALLER
000001aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001bf: AND
000001c0: EQ
000001c1: PUSH2 0x0232
000001c4: JUMPI
000001c5: PUSH1 0x40
000001c7: MLOAD
000001c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000001e9: DUP2
000001ea: MSTORE
000001eb: PUSH1 0x04
000001ed: ADD
000001ee: DUP1
000001ef: DUP1
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: DUP3
000001f4: DUP2
000001f5: SUB
000001f6: DUP3
000001f7: MSTORE
000001f8: PUSH1 0x1a
000001fa: DUP2
000001fb: MSTORE
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: DUP1
00000200: PUSH32 0x6f6e6c7920616363657074204554482066726f6d204b79626572000000000000
00000221: DUP2
00000222: MSTORE
00000223: POP
00000224: PUSH1 0x20
00000226: ADD
00000227: SWAP2
00000228: POP
00000229: POP
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: SWAP2
0000022f: SUB
00000230: SWAP1
00000231: REVERT
00000232: JUMPDEST
00000233: STOP
00000234: JUMPDEST
00000235: PUSH1 0x00
00000237: DUP1
00000238: REVERT
00000239: JUMPDEST
0000023a: CALLVALUE
0000023b: DUP1
0000023c: ISZERO
0000023d: PUSH2 0x0245
00000240: JUMPI
00000241: PUSH1 0x00
00000243: DUP1
00000244: REVERT
00000245: JUMPDEST
00000246: POP
00000247: PUSH2 0x0272
0000024a: PUSH1 0x04
0000024c: DUP1
0000024d: CALLDATASIZE
0000024e: SUB
0000024f: PUSH1 0x20
00000251: DUP2
00000252: LT
00000253: ISZERO
00000254: PUSH2 0x025c
00000257: JUMPI
00000258: PUSH1 0x00
0000025a: DUP1
0000025b: REVERT
0000025c: JUMPDEST
0000025d: DUP2
0000025e: ADD
0000025f: SWAP1
00000260: DUP1
00000261: DUP1
00000262: CALLDATALOAD
00000263: SWAP1
00000264: PUSH1 0x20
00000266: ADD
00000267: SWAP1
00000268: SWAP3
00000269: SWAP2
0000026a: SWAP1
0000026b: POP
0000026c: POP
0000026d: POP
0000026e: PUSH2 0x0977
00000271: JUMP
00000272: JUMPDEST
00000273: STOP
00000274: JUMPDEST
00000275: CALLVALUE
00000276: DUP1
00000277: ISZERO
00000278: PUSH2 0x0280
0000027b: JUMPI
0000027c: PUSH1 0x00
0000027e: DUP1
0000027f: REVERT
00000280: JUMPDEST
00000281: POP
00000282: PUSH2 0x02ad
00000285: PUSH1 0x04
00000287: DUP1
00000288: CALLDATASIZE
00000289: SUB
0000028a: PUSH1 0x20
0000028c: DUP2
0000028d: LT
0000028e: ISZERO
0000028f: PUSH2 0x0297
00000292: JUMPI
00000293: PUSH1 0x00
00000295: DUP1
00000296: REVERT
00000297: JUMPDEST
00000298: DUP2
00000299: ADD
0000029a: SWAP1
0000029b: DUP1
0000029c: DUP1
0000029d: CALLDATALOAD
0000029e: SWAP1
0000029f: PUSH1 0x20
000002a1: ADD
000002a2: SWAP1
000002a3: SWAP3
000002a4: SWAP2
000002a5: SWAP1
000002a6: POP
000002a7: POP
000002a8: POP
000002a9: PUSH2 0x0dba
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: DUP1
000002b2: DUP3
000002b3: ISZERO
000002b4: ISZERO
000002b5: ISZERO
000002b6: ISZERO
000002b7: DUP2
000002b8: MSTORE
000002b9: PUSH1 0x20
000002bb: ADD
000002bc: SWAP2
000002bd: POP
000002be: POP
000002bf: PUSH1 0x40
000002c1: MLOAD
000002c2: DUP1
000002c3: SWAP2
000002c4: SUB
000002c5: SWAP1
000002c6: RETURN
000002c7: JUMPDEST
000002c8: CALLVALUE
000002c9: DUP1
000002ca: ISZERO
000002cb: PUSH2 0x02d3
000002ce: JUMPI
000002cf: PUSH1 0x00
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: POP
000002d5: PUSH2 0x0300
000002d8: PUSH1 0x04
000002da: DUP1
000002db: CALLDATASIZE
000002dc: SUB
000002dd: PUSH1 0x20
000002df: DUP2
000002e0: LT
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: DUP2
000002ec: ADD
000002ed: SWAP1
000002ee: DUP1
000002ef: DUP1
000002f0: CALLDATALOAD
000002f1: SWAP1
000002f2: PUSH1 0x20
000002f4: ADD
000002f5: SWAP1
000002f6: SWAP3
000002f7: SWAP2
000002f8: SWAP1
000002f9: POP
000002fa: POP
000002fb: POP
000002fc: PUSH2 0x0dda
000002ff: JUMP
00000300: JUMPDEST
00000301: STOP
00000302: JUMPDEST
00000303: CALLVALUE
00000304: DUP1
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: POP
00000310: PUSH2 0x033b
00000313: PUSH1 0x04
00000315: DUP1
00000316: CALLDATASIZE
00000317: SUB
00000318: PUSH1 0x20
0000031a: DUP2
0000031b: LT
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: DUP2
00000327: ADD
00000328: SWAP1
00000329: DUP1
0000032a: DUP1
0000032b: CALLDATALOAD
0000032c: SWAP1
0000032d: PUSH1 0x20
0000032f: ADD
00000330: SWAP1
00000331: SWAP3
00000332: SWAP2
00000333: SWAP1
00000334: POP
00000335: POP
00000336: POP
00000337: PUSH2 0x10d4
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: DUP1
00000340: DUP5
00000341: DUP2
00000342: MSTORE
00000343: PUSH1 0x20
00000345: ADD
00000346: DUP4
00000347: DUP2
00000348: MSTORE
00000349: PUSH1 0x20
0000034b: ADD
0000034c: DUP3
0000034d: ISZERO
0000034e: ISZERO
0000034f: ISZERO
00000350: ISZERO
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: SWAP4
00000357: POP
00000358: POP
00000359: POP
0000035a: POP
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: DUP1
0000035f: SWAP2
00000360: SUB
00000361: SWAP1
00000362: RETURN
00000363: JUMPDEST
00000364: CALLVALUE
00000365: DUP1
00000366: ISZERO
00000367: PUSH2 0x036f
0000036a: JUMPI
0000036b: PUSH1 0x00
0000036d: DUP1
0000036e: REVERT
0000036f: JUMPDEST
00000370: POP
00000371: PUSH2 0x03d2
00000374: PUSH1 0x04
00000376: DUP1
00000377: CALLDATASIZE
00000378: SUB
00000379: PUSH1 0x40
0000037b: DUP2
0000037c: LT
0000037d: ISZERO
0000037e: PUSH2 0x0386
00000381: JUMPI
00000382: PUSH1 0x00
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: DUP2
00000388: ADD
00000389: SWAP1
0000038a: DUP1
0000038b: DUP1
0000038c: CALLDATALOAD
0000038d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a2: AND
000003a3: SWAP1
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP1
000003a8: SWAP3
000003a9: SWAP2
000003aa: SWAP1
000003ab: DUP1
000003ac: CALLDATALOAD
000003ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c2: AND
000003c3: SWAP1
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: SWAP1
000003c8: SWAP3
000003c9: SWAP2
000003ca: SWAP1
000003cb: POP
000003cc: POP
000003cd: POP
000003ce: PUSH2 0x1118
000003d1: JUMP
000003d2: JUMPDEST
000003d3: STOP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: POP
000003e2: PUSH2 0x03e9
000003e5: PUSH2 0x12b3
000003e8: JUMP
000003e9: JUMPDEST
000003ea: STOP
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: DUP1
000003ee: ISZERO
000003ef: PUSH2 0x03f7
000003f2: JUMPI
000003f3: PUSH1 0x00
000003f5: DUP1
000003f6: REVERT
000003f7: JUMPDEST
000003f8: POP
000003f9: PUSH2 0x0424
000003fc: PUSH1 0x04
000003fe: DUP1
000003ff: CALLDATASIZE
00000400: SUB
00000401: PUSH1 0x20
00000403: DUP2
00000404: LT
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: DUP2
00000410: ADD
00000411: SWAP1
00000412: DUP1
00000413: DUP1
00000414: CALLDATALOAD
00000415: SWAP1
00000416: PUSH1 0x20
00000418: ADD
00000419: SWAP1
0000041a: SWAP3
0000041b: SWAP2
0000041c: SWAP1
0000041d: POP
0000041e: POP
0000041f: POP
00000420: PUSH2 0x13b7
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH1 0x40
00000427: MLOAD
00000428: DUP1
00000429: DUP4
0000042a: DUP2
0000042b: MSTORE
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: DUP3
00000430: DUP2
00000431: MSTORE
00000432: PUSH1 0x20
00000434: ADD
00000435: SWAP3
00000436: POP
00000437: POP
00000438: POP
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: DUP1
0000043d: SWAP2
0000043e: SUB
0000043f: SWAP1
00000440: RETURN
00000441: JUMPDEST
00000442: CALLVALUE
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x044d
00000448: JUMPI
00000449: PUSH1 0x00
0000044b: DUP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH2 0x0456
00000452: PUSH2 0x13db
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: DUP1
0000045b: DUP3
0000045c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000471: AND
00000472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000487: AND
00000488: DUP2
00000489: MSTORE
0000048a: PUSH1 0x20
0000048c: ADD
0000048d: SWAP2
0000048e: POP
0000048f: POP
00000490: PUSH1 0x40
00000492: MLOAD
00000493: DUP1
00000494: SWAP2
00000495: SUB
00000496: SWAP1
00000497: RETURN
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: DUP1
0000049b: ISZERO
0000049c: PUSH2 0x04a4
0000049f: JUMPI
000004a0: PUSH1 0x00
000004a2: DUP1
000004a3: REVERT
000004a4: JUMPDEST
000004a5: POP
000004a6: PUSH2 0x04ad
000004a9: PUSH2 0x1401
000004ac: JUMP
000004ad: JUMPDEST
000004ae: STOP
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: DUP1
000004b2: ISZERO
000004b3: PUSH2 0x04bb
000004b6: JUMPI
000004b7: PUSH1 0x00
000004b9: DUP1
000004ba: REVERT
000004bb: JUMPDEST
000004bc: POP
000004bd: PUSH2 0x04c4
000004c0: PUSH2 0x1589
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: DUP1
000004c9: DUP3
000004ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004df: AND
000004e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f5: AND
000004f6: DUP2
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: SWAP2
000004fc: POP
000004fd: POP
000004fe: PUSH1 0x40
00000500: MLOAD
00000501: DUP1
00000502: SWAP2
00000503: SUB
00000504: SWAP1
00000505: RETURN
00000506: JUMPDEST
00000507: CALLVALUE
00000508: DUP1
00000509: ISZERO
0000050a: PUSH2 0x0512
0000050d: JUMPI
0000050e: PUSH1 0x00
00000510: DUP1
00000511: REVERT
00000512: JUMPDEST
00000513: POP
00000514: PUSH2 0x051b
00000517: PUSH2 0x15af
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x40
0000051e: MLOAD
0000051f: DUP1
00000520: DUP3
00000521: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000536: AND
00000537: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054c: AND
0000054d: DUP2
0000054e: MSTORE
0000054f: PUSH1 0x20
00000551: ADD
00000552: SWAP2
00000553: POP
00000554: POP
00000555: PUSH1 0x40
00000557: MLOAD
00000558: DUP1
00000559: SWAP2
0000055a: SUB
0000055b: SWAP1
0000055c: RETURN
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: POP
0000056b: PUSH2 0x0596
0000056e: PUSH1 0x04
00000570: DUP1
00000571: CALLDATASIZE
00000572: SUB
00000573: PUSH1 0x20
00000575: DUP2
00000576: LT
00000577: ISZERO
00000578: PUSH2 0x0580
0000057b: JUMPI
0000057c: PUSH1 0x00
0000057e: DUP1
0000057f: REVERT
00000580: JUMPDEST
00000581: DUP2
00000582: ADD
00000583: SWAP1
00000584: DUP1
00000585: DUP1
00000586: CALLDATALOAD
00000587: SWAP1
00000588: PUSH1 0x20
0000058a: ADD
0000058b: SWAP1
0000058c: SWAP3
0000058d: SWAP2
0000058e: SWAP1
0000058f: POP
00000590: POP
00000591: POP
00000592: PUSH2 0x15d8
00000595: JUMP
00000596: JUMPDEST
00000597: STOP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x05d1
000005a9: PUSH1 0x04
000005ab: DUP1
000005ac: CALLDATASIZE
000005ad: SUB
000005ae: PUSH1 0x20
000005b0: DUP2
000005b1: LT
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: DUP2
000005bd: ADD
000005be: SWAP1
000005bf: DUP1
000005c0: DUP1
000005c1: CALLDATALOAD
000005c2: SWAP1
000005c3: PUSH1 0x20
000005c5: ADD
000005c6: SWAP1
000005c7: SWAP3
000005c8: SWAP2
000005c9: SWAP1
000005ca: POP
000005cb: POP
000005cc: POP
000005cd: PUSH2 0x18e0
000005d0: JUMP
000005d1: JUMPDEST
000005d2: STOP
000005d3: JUMPDEST
000005d4: CALLVALUE
000005d5: DUP1
000005d6: ISZERO
000005d7: PUSH2 0x05df
000005da: JUMPI
000005db: PUSH1 0x00
000005dd: DUP1
000005de: REVERT
000005df: JUMPDEST
000005e0: POP
000005e1: PUSH2 0x0616
000005e4: PUSH1 0x04
000005e6: DUP1
000005e7: CALLDATASIZE
000005e8: SUB
000005e9: PUSH1 0x40
000005eb: DUP2
000005ec: LT
000005ed: ISZERO
000005ee: PUSH2 0x05f6
000005f1: JUMPI
000005f2: PUSH1 0x00
000005f4: DUP1
000005f5: REVERT
000005f6: JUMPDEST
000005f7: DUP2
000005f8: ADD
000005f9: SWAP1
000005fa: DUP1
000005fb: DUP1
000005fc: CALLDATALOAD
000005fd: SWAP1
000005fe: PUSH1 0x20
00000600: ADD
00000601: SWAP1
00000602: SWAP3
00000603: SWAP2
00000604: SWAP1
00000605: DUP1
00000606: CALLDATALOAD
00000607: SWAP1
00000608: PUSH1 0x20
0000060a: ADD
0000060b: SWAP1
0000060c: SWAP3
0000060d: SWAP2
0000060e: SWAP1
0000060f: POP
00000610: POP
00000611: POP
00000612: PUSH2 0x1c06
00000615: JUMP
00000616: JUMPDEST
00000617: STOP
00000618: JUMPDEST
00000619: CALLVALUE
0000061a: DUP1
0000061b: ISZERO
0000061c: PUSH2 0x0624
0000061f: JUMPI
00000620: PUSH1 0x00
00000622: DUP1
00000623: REVERT
00000624: JUMPDEST
00000625: POP
00000626: PUSH2 0x0651
00000629: PUSH1 0x04
0000062b: DUP1
0000062c: CALLDATASIZE
0000062d: SUB
0000062e: PUSH1 0x20
00000630: DUP2
00000631: LT
00000632: ISZERO
00000633: PUSH2 0x063b
00000636: JUMPI
00000637: PUSH1 0x00
00000639: DUP1
0000063a: REVERT
0000063b: JUMPDEST
0000063c: DUP2
0000063d: ADD
0000063e: SWAP1
0000063f: DUP1
00000640: DUP1
00000641: CALLDATALOAD
00000642: SWAP1
00000643: PUSH1 0x20
00000645: ADD
00000646: SWAP1
00000647: SWAP3
00000648: SWAP2
00000649: SWAP1
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: PUSH2 0x1d68
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: DUP5
00000657: DUP2
00000658: MSTORE
00000659: PUSH1 0x20
0000065b: ADD
0000065c: DUP4
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x20
00000661: ADD
00000662: DUP3
00000663: ISZERO
00000664: ISZERO
00000665: ISZERO
00000666: ISZERO
00000667: DUP2
00000668: MSTORE
00000669: PUSH1 0x20
0000066b: ADD
0000066c: SWAP4
0000066d: POP
0000066e: POP
0000066f: POP
00000670: POP
00000671: PUSH1 0x40
00000673: MLOAD
00000674: DUP1
00000675: SWAP2
00000676: SUB
00000677: SWAP1
00000678: RETURN
00000679: JUMPDEST
0000067a: CALLVALUE
0000067b: DUP1
0000067c: ISZERO
0000067d: PUSH2 0x0685
00000680: JUMPI
00000681: PUSH1 0x00
00000683: DUP1
00000684: REVERT
00000685: JUMPDEST
00000686: POP
00000687: PUSH2 0x068e
0000068a: PUSH2 0x1df1
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH1 0x40
00000691: MLOAD
00000692: DUP1
00000693: DUP3
00000694: DUP2
00000695: MSTORE
00000696: PUSH1 0x20
00000698: ADD
00000699: SWAP2
0000069a: POP
0000069b: POP
0000069c: PUSH1 0x40
0000069e: MLOAD
0000069f: DUP1
000006a0: SWAP2
000006a1: SUB
000006a2: SWAP1
000006a3: RETURN
000006a4: JUMPDEST
000006a5: CALLVALUE
000006a6: DUP1
000006a7: ISZERO
000006a8: PUSH2 0x06b0
000006ab: JUMPI
000006ac: PUSH1 0x00
000006ae: DUP1
000006af: REVERT
000006b0: JUMPDEST
000006b1: POP
000006b2: PUSH2 0x06fd
000006b5: PUSH1 0x04
000006b7: DUP1
000006b8: CALLDATASIZE
000006b9: SUB
000006ba: PUSH1 0x40
000006bc: DUP2
000006bd: LT
000006be: ISZERO
000006bf: PUSH2 0x06c7
000006c2: JUMPI
000006c3: PUSH1 0x00
000006c5: DUP1
000006c6: REVERT
000006c7: JUMPDEST
000006c8: DUP2
000006c9: ADD
000006ca: SWAP1
000006cb: DUP1
000006cc: DUP1
000006cd: CALLDATALOAD
000006ce: SWAP1
000006cf: PUSH1 0x20
000006d1: ADD
000006d2: SWAP1
000006d3: SWAP3
000006d4: SWAP2
000006d5: SWAP1
000006d6: DUP1
000006d7: CALLDATALOAD
000006d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ed: AND
000006ee: SWAP1
000006ef: PUSH1 0x20
000006f1: ADD
000006f2: SWAP1
000006f3: SWAP3
000006f4: SWAP2
000006f5: SWAP1
000006f6: POP
000006f7: POP
000006f8: POP
000006f9: PUSH2 0x1df7
000006fc: JUMP
000006fd: JUMPDEST
000006fe: PUSH1 0x40
00000700: MLOAD
00000701: DUP1
00000702: DUP3
00000703: ISZERO
00000704: ISZERO
00000705: ISZERO
00000706: ISZERO
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x20
0000070b: ADD
0000070c: SWAP2
0000070d: POP
0000070e: POP
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: DUP1
00000713: SWAP2
00000714: SUB
00000715: SWAP1
00000716: RETURN
00000717: JUMPDEST
00000718: CALLVALUE
00000719: DUP1
0000071a: ISZERO
0000071b: PUSH2 0x0723
0000071e: JUMPI
0000071f: PUSH1 0x00
00000721: DUP1
00000722: REVERT
00000723: JUMPDEST
00000724: POP
00000725: PUSH2 0x072c
00000728: PUSH2 0x1e26
0000072b: JUMP
0000072c: JUMPDEST
0000072d: PUSH1 0x40
0000072f: MLOAD
00000730: DUP1
00000731: DUP3
00000732: DUP2
00000733: MSTORE
00000734: PUSH1 0x20
00000736: ADD
00000737: SWAP2
00000738: POP
00000739: POP
0000073a: PUSH1 0x40
0000073c: MLOAD
0000073d: DUP1
0000073e: SWAP2
0000073f: SUB
00000740: SWAP1
00000741: RETURN
00000742: JUMPDEST
00000743: CALLVALUE
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: POP
00000750: PUSH2 0x0757
00000753: PUSH2 0x1e33
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH1 0x40
0000075a: MLOAD
0000075b: DUP1
0000075c: DUP5
0000075d: DUP2
0000075e: MSTORE
0000075f: PUSH1 0x20
00000761: ADD
00000762: DUP4
00000763: DUP2
00000764: MSTORE
00000765: PUSH1 0x20
00000767: ADD
00000768: DUP3
00000769: ISZERO
0000076a: ISZERO
0000076b: ISZERO
0000076c: ISZERO
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x20
00000771: ADD
00000772: SWAP4
00000773: POP
00000774: POP
00000775: POP
00000776: POP
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: DUP1
0000077b: SWAP2
0000077c: SUB
0000077d: SWAP1
0000077e: RETURN
0000077f: JUMPDEST
00000780: CALLVALUE
00000781: DUP1
00000782: ISZERO
00000783: PUSH2 0x078b
00000786: JUMPI
00000787: PUSH1 0x00
00000789: DUP1
0000078a: REVERT
0000078b: JUMPDEST
0000078c: POP
0000078d: PUSH2 0x07b8
00000790: PUSH1 0x04
00000792: DUP1
00000793: CALLDATASIZE
00000794: SUB
00000795: PUSH1 0x20
00000797: DUP2
00000798: LT
00000799: ISZERO
0000079a: PUSH2 0x07a2
0000079d: JUMPI
0000079e: PUSH1 0x00
000007a0: DUP1
000007a1: REVERT
000007a2: JUMPDEST
000007a3: DUP2
000007a4: ADD
000007a5: SWAP1
000007a6: DUP1
000007a7: DUP1
000007a8: CALLDATALOAD
000007a9: SWAP1
000007aa: PUSH1 0x20
000007ac: ADD
000007ad: SWAP1
000007ae: SWAP3
000007af: SWAP2
000007b0: SWAP1
000007b1: POP
000007b2: POP
000007b3: POP
000007b4: PUSH2 0x1ef3
000007b7: JUMP
000007b8: JUMPDEST
000007b9: PUSH1 0x40
000007bb: MLOAD
000007bc: DUP1
000007bd: DUP3
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x20
000007c2: ADD
000007c3: SWAP2
000007c4: POP
000007c5: POP
000007c6: PUSH1 0x40
000007c8: MLOAD
000007c9: DUP1
000007ca: SWAP2
000007cb: SUB
000007cc: SWAP1
000007cd: RETURN
000007ce: JUMPDEST
000007cf: CALLVALUE
000007d0: DUP1
000007d1: ISZERO
000007d2: PUSH2 0x07da
000007d5: JUMPI
000007d6: PUSH1 0x00
000007d8: DUP1
000007d9: REVERT
000007da: JUMPDEST
000007db: POP
000007dc: PUSH2 0x0827
000007df: PUSH1 0x04
000007e1: DUP1
000007e2: CALLDATASIZE
000007e3: SUB
000007e4: PUSH1 0x40
000007e6: DUP2
000007e7: LT
000007e8: ISZERO
000007e9: PUSH2 0x07f1
000007ec: JUMPI
000007ed: PUSH1 0x00
000007ef: DUP1
000007f0: REVERT
000007f1: JUMPDEST
000007f2: DUP2
000007f3: ADD
000007f4: SWAP1
000007f5: DUP1
000007f6: DUP1
000007f7: CALLDATALOAD
000007f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080d: AND
0000080e: SWAP1
0000080f: PUSH1 0x20
00000811: ADD
00000812: SWAP1
00000813: SWAP3
00000814: SWAP2
00000815: SWAP1
00000816: DUP1
00000817: CALLDATALOAD
00000818: SWAP1
00000819: PUSH1 0x20
0000081b: ADD
0000081c: SWAP1
0000081d: SWAP3
0000081e: SWAP2
0000081f: SWAP1
00000820: POP
00000821: POP
00000822: POP
00000823: PUSH2 0x2120
00000826: JUMP
00000827: JUMPDEST
00000828: PUSH1 0x40
0000082a: MLOAD
0000082b: DUP1
0000082c: DUP3
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x20
00000831: ADD
00000832: SWAP2
00000833: POP
00000834: POP
00000835: PUSH1 0x40
00000837: MLOAD
00000838: DUP1
00000839: SWAP2
0000083a: SUB
0000083b: SWAP1
0000083c: RETURN
0000083d: JUMPDEST
0000083e: CALLVALUE
0000083f: DUP1
00000840: ISZERO
00000841: PUSH2 0x0849
00000844: JUMPI
00000845: PUSH1 0x00
00000847: DUP1
00000848: REVERT
00000849: JUMPDEST
0000084a: POP
0000084b: PUSH2 0x0852
0000084e: PUSH2 0x2367
00000851: JUMP
00000852: JUMPDEST
00000853: PUSH1 0x40
00000855: MLOAD
00000856: DUP1
00000857: DUP3
00000858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086d: AND
0000086e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000883: AND
00000884: DUP2
00000885: MSTORE
00000886: PUSH1 0x20
00000888: ADD
00000889: SWAP2
0000088a: POP
0000088b: POP
0000088c: PUSH1 0x40
0000088e: MLOAD
0000088f: DUP1
00000890: SWAP2
00000891: SUB
00000892: SWAP1
00000893: RETURN
00000894: JUMPDEST
00000895: CALLVALUE
00000896: DUP1
00000897: ISZERO
00000898: PUSH2 0x08a0
0000089b: JUMPI
0000089c: PUSH1 0x00
0000089e: DUP1
0000089f: REVERT
000008a0: JUMPDEST
000008a1: POP
000008a2: PUSH2 0x08a9
000008a5: PUSH2 0x238d
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH1 0x40
000008ac: MLOAD
000008ad: DUP1
000008ae: DUP3
000008af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c4: AND
000008c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008da: AND
000008db: DUP2
000008dc: MSTORE
000008dd: PUSH1 0x20
000008df: ADD
000008e0: SWAP2
000008e1: POP
000008e2: POP
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: DUP1
000008e7: SWAP2
000008e8: SUB
000008e9: SWAP1
000008ea: RETURN
000008eb: JUMPDEST
000008ec: CALLVALUE
000008ed: DUP1
000008ee: ISZERO
000008ef: PUSH2 0x08f7
000008f2: JUMPI
000008f3: PUSH1 0x00
000008f5: DUP1
000008f6: REVERT
000008f7: JUMPDEST
000008f8: POP
000008f9: PUSH2 0x093a
000008fc: PUSH1 0x04
000008fe: DUP1
000008ff: CALLDATASIZE
00000900: SUB
00000901: PUSH1 0x20
00000903: DUP2
00000904: LT
00000905: ISZERO
00000906: PUSH2 0x090e
00000909: JUMPI
0000090a: PUSH1 0x00
0000090c: DUP1
0000090d: REVERT
0000090e: JUMPDEST
0000090f: DUP2
00000910: ADD
00000911: SWAP1
00000912: DUP1
00000913: DUP1
00000914: CALLDATALOAD
00000915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092a: AND
0000092b: SWAP1
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: SWAP1
00000930: SWAP3
00000931: SWAP2
00000932: SWAP1
00000933: POP
00000934: POP
00000935: POP
00000936: PUSH2 0x23b3
00000939: JUMP
0000093a: JUMPDEST
0000093b: STOP
0000093c: JUMPDEST
0000093d: CALLVALUE
0000093e: DUP1
0000093f: ISZERO
00000940: PUSH2 0x0948
00000943: JUMPI
00000944: PUSH1 0x00
00000946: DUP1
00000947: REVERT
00000948: JUMPDEST
00000949: POP
0000094a: PUSH2 0x0975
0000094d: PUSH1 0x04
0000094f: DUP1
00000950: CALLDATASIZE
00000951: SUB
00000952: PUSH1 0x20
00000954: DUP2
00000955: LT
00000956: ISZERO
00000957: PUSH2 0x095f
0000095a: JUMPI
0000095b: PUSH1 0x00
0000095d: DUP1
0000095e: REVERT
0000095f: JUMPDEST
00000960: DUP2
00000961: ADD
00000962: SWAP1
00000963: DUP1
00000964: DUP1
00000965: CALLDATALOAD
00000966: SWAP1
00000967: PUSH1 0x20
00000969: ADD
0000096a: SWAP1
0000096b: SWAP3
0000096c: SWAP2
0000096d: SWAP1
0000096e: POP
0000096f: POP
00000970: POP
00000971: PUSH2 0x25c0
00000974: JUMP
00000975: JUMPDEST
00000976: STOP
00000977: JUMPDEST
00000978: PUSH2 0x097f
0000097b: PUSH2 0x2b0a
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000995: AND
00000996: PUSH1 0x00
00000998: DUP1
00000999: SWAP1
0000099a: SLOAD
0000099b: SWAP1
0000099c: PUSH2 0x0100
0000099f: EXP
000009a0: SWAP1
000009a1: DIV
000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b7: AND
000009b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cd: AND
000009ce: EQ
000009cf: PUSH2 0x0a40
000009d2: JUMPI
000009d3: PUSH1 0x40
000009d5: MLOAD
000009d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009f7: DUP2
000009f8: MSTORE
000009f9: PUSH1 0x04
000009fb: ADD
000009fc: DUP1
000009fd: DUP1
000009fe: PUSH1 0x20
00000a00: ADD
00000a01: DUP3
00000a02: DUP2
00000a03: SUB
00000a04: DUP3
00000a05: MSTORE
00000a06: PUSH1 0x20
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x20
00000a0c: ADD
00000a0d: DUP1
00000a0e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000a2f: DUP2
00000a30: MSTORE
00000a31: POP
00000a32: PUSH1 0x20
00000a34: ADD
00000a35: SWAP2
00000a36: POP
00000a37: POP
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: DUP1
00000a3c: SWAP2
00000a3d: SUB
00000a3e: SWAP1
00000a3f: REVERT
00000a40: JUMPDEST
00000a41: PUSH1 0x00
00000a43: DUP2
00000a44: GT
00000a45: PUSH2 0x0a99
00000a48: JUMPI
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x04
00000a71: ADD
00000a72: DUP1
00000a73: DUP1
00000a74: PUSH1 0x20
00000a76: ADD
00000a77: DUP3
00000a78: DUP2
00000a79: SUB
00000a7a: DUP3
00000a7b: MSTORE
00000a7c: PUSH1 0x33
00000a7e: DUP2
00000a7f: MSTORE
00000a80: PUSH1 0x20
00000a82: ADD
00000a83: DUP1
00000a84: PUSH2 0x3418
00000a87: PUSH1 0x33
00000a89: SWAP2
00000a8a: CODECOPY
00000a8b: PUSH1 0x40
00000a8d: ADD
00000a8e: SWAP2
00000a8f: POP
00000a90: POP
00000a91: PUSH1 0x40
00000a93: MLOAD
00000a94: DUP1
00000a95: SWAP2
00000a96: SUB
00000a97: SWAP1
00000a98: REVERT
00000a99: JUMPDEST
00000a9a: PUSH1 0x06
00000a9c: PUSH1 0x00
00000a9e: SWAP1
00000a9f: SLOAD
00000aa0: SWAP1
00000aa1: PUSH2 0x0100
00000aa4: EXP
00000aa5: SWAP1
00000aa6: DIV
00000aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abc: AND
00000abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad2: AND
00000ad3: PUSH4 0x23b872dd
00000ad8: CALLER
00000ad9: ADDRESS
00000ada: DUP5
00000adb: PUSH1 0x40
00000add: MLOAD
00000ade: DUP5
00000adf: PUSH4 0xffffffff
00000ae4: AND
00000ae5: PUSH1 0xe0
00000ae7: SHL
00000ae8: DUP2
00000ae9: MSTORE
00000aea: PUSH1 0x04
00000aec: ADD
00000aed: DUP1
00000aee: DUP5
00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b04: AND
00000b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1a: AND
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: DUP4
00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b36: AND
00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4c: AND
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: DUP3
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x20
00000b57: ADD
00000b58: SWAP4
00000b59: POP
00000b5a: POP
00000b5b: POP
00000b5c: POP
00000b5d: PUSH1 0x20
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: DUP4
00000b64: SUB
00000b65: DUP2
00000b66: PUSH1 0x00
00000b68: DUP8
00000b69: DUP1
00000b6a: EXTCODESIZE
00000b6b: ISZERO
00000b6c: DUP1
00000b6d: ISZERO
00000b6e: PUSH2 0x0b76
00000b71: JUMPI
00000b72: PUSH1 0x00
00000b74: DUP1
00000b75: REVERT
00000b76: JUMPDEST
00000b77: POP
00000b78: GAS
00000b79: CALL
00000b7a: ISZERO
00000b7b: DUP1
00000b7c: ISZERO
00000b7d: PUSH2 0x0b8a
00000b80: JUMPI
00000b81: RETURNDATASIZE
00000b82: PUSH1 0x00
00000b84: DUP1
00000b85: RETURNDATACOPY
00000b86: RETURNDATASIZE
00000b87: PUSH1 0x00
00000b89: REVERT
00000b8a: JUMPDEST
00000b8b: POP
00000b8c: POP
00000b8d: POP
00000b8e: POP
00000b8f: PUSH1 0x40
00000b91: MLOAD
00000b92: RETURNDATASIZE
00000b93: PUSH1 0x20
00000b95: DUP2
00000b96: LT
00000b97: ISZERO
00000b98: PUSH2 0x0ba0
00000b9b: JUMPI
00000b9c: PUSH1 0x00
00000b9e: DUP1
00000b9f: REVERT
00000ba0: JUMPDEST
00000ba1: DUP2
00000ba2: ADD
00000ba3: SWAP1
00000ba4: DUP1
00000ba5: DUP1
00000ba6: MLOAD
00000ba7: SWAP1
00000ba8: PUSH1 0x20
00000baa: ADD
00000bab: SWAP1
00000bac: SWAP3
00000bad: SWAP2
00000bae: SWAP1
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: PUSH2 0x0c23
00000bb5: JUMPI
00000bb6: PUSH1 0x40
00000bb8: MLOAD
00000bb9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bda: DUP2
00000bdb: MSTORE
00000bdc: PUSH1 0x04
00000bde: ADD
00000bdf: DUP1
00000be0: DUP1
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: DUP3
00000be5: DUP2
00000be6: SUB
00000be7: DUP3
00000be8: MSTORE
00000be9: PUSH1 0x20
00000beb: DUP2
00000bec: MSTORE
00000bed: PUSH1 0x20
00000bef: ADD
00000bf0: DUP1
00000bf1: PUSH32 0x6d61737465724465706f7369743a2063616e206e6f742067657420746f6b656e
00000c12: DUP2
00000c13: MSTORE
00000c14: POP
00000c15: PUSH1 0x20
00000c17: ADD
00000c18: SWAP2
00000c19: POP
00000c1a: POP
00000c1b: PUSH1 0x40
00000c1d: MLOAD
00000c1e: DUP1
00000c1f: SWAP2
00000c20: SUB
00000c21: SWAP1
00000c22: REVERT
00000c23: JUMPDEST
00000c24: PUSH1 0x06
00000c26: PUSH1 0x00
00000c28: SWAP1
00000c29: SLOAD
00000c2a: SWAP1
00000c2b: PUSH2 0x0100
00000c2e: EXP
00000c2f: SWAP1
00000c30: DIV
00000c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c46: AND
00000c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5c: AND
00000c5d: PUSH4 0x095ea7b3
00000c62: PUSH1 0x08
00000c64: PUSH1 0x00
00000c66: SWAP1
00000c67: SLOAD
00000c68: SWAP1
00000c69: PUSH2 0x0100
00000c6c: EXP
00000c6d: SWAP1
00000c6e: DIV
00000c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c84: AND
00000c85: DUP4
00000c86: PUSH1 0x40
00000c88: MLOAD
00000c89: DUP4
00000c8a: PUSH4 0xffffffff
00000c8f: AND
00000c90: PUSH1 0xe0
00000c92: SHL
00000c93: DUP2
00000c94: MSTORE
00000c95: PUSH1 0x04
00000c97: ADD
00000c98: DUP1
00000c99: DUP4
00000c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000caf: AND
00000cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc5: AND
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: PUSH1 0x20
00000cca: ADD
00000ccb: DUP3
00000ccc: DUP2
00000ccd: MSTORE
00000cce: PUSH1 0x20
00000cd0: ADD
00000cd1: SWAP3
00000cd2: POP
00000cd3: POP
00000cd4: POP
00000cd5: PUSH1 0x20
00000cd7: PUSH1 0x40
00000cd9: MLOAD
00000cda: DUP1
00000cdb: DUP4
00000cdc: SUB
00000cdd: DUP2
00000cde: PUSH1 0x00
00000ce0: DUP8
00000ce1: DUP1
00000ce2: EXTCODESIZE
00000ce3: ISZERO
00000ce4: DUP1
00000ce5: ISZERO
00000ce6: PUSH2 0x0cee
00000ce9: JUMPI
00000cea: PUSH1 0x00
00000cec: DUP1
00000ced: REVERT
00000cee: JUMPDEST
00000cef: POP
00000cf0: GAS
00000cf1: CALL
00000cf2: ISZERO
00000cf3: DUP1
00000cf4: ISZERO
00000cf5: PUSH2 0x0d02
00000cf8: JUMPI
00000cf9: RETURNDATASIZE
00000cfa: PUSH1 0x00
00000cfc: DUP1
00000cfd: RETURNDATACOPY
00000cfe: RETURNDATASIZE
00000cff: PUSH1 0x00
00000d01: REVERT
00000d02: JUMPDEST
00000d03: POP
00000d04: POP
00000d05: POP
00000d06: POP
00000d07: PUSH1 0x40
00000d09: MLOAD
00000d0a: RETURNDATASIZE
00000d0b: PUSH1 0x20
00000d0d: DUP2
00000d0e: LT
00000d0f: ISZERO
00000d10: PUSH2 0x0d18
00000d13: JUMPI
00000d14: PUSH1 0x00
00000d16: DUP1
00000d17: REVERT
00000d18: JUMPDEST
00000d19: DUP2
00000d1a: ADD
00000d1b: SWAP1
00000d1c: DUP1
00000d1d: DUP1
00000d1e: MLOAD
00000d1f: SWAP1
00000d20: PUSH1 0x20
00000d22: ADD
00000d23: SWAP1
00000d24: SWAP3
00000d25: SWAP2
00000d26: SWAP1
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: PUSH1 0x08
00000d2d: PUSH1 0x00
00000d2f: SWAP1
00000d30: SLOAD
00000d31: SWAP1
00000d32: PUSH2 0x0100
00000d35: EXP
00000d36: SWAP1
00000d37: DIV
00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4d: AND
00000d4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d63: AND
00000d64: PUSH4 0xb6b55f25
00000d69: DUP3
00000d6a: PUSH1 0x40
00000d6c: MLOAD
00000d6d: DUP3
00000d6e: PUSH4 0xffffffff
00000d73: AND
00000d74: PUSH1 0xe0
00000d76: SHL
00000d77: DUP2
00000d78: MSTORE
00000d79: PUSH1 0x04
00000d7b: ADD
00000d7c: DUP1
00000d7d: DUP3
00000d7e: DUP2
00000d7f: MSTORE
00000d80: PUSH1 0x20
00000d82: ADD
00000d83: SWAP2
00000d84: POP
00000d85: POP
00000d86: PUSH1 0x00
00000d88: PUSH1 0x40
00000d8a: MLOAD
00000d8b: DUP1
00000d8c: DUP4
00000d8d: SUB
00000d8e: DUP2
00000d8f: PUSH1 0x00
00000d91: DUP8
00000d92: DUP1
00000d93: EXTCODESIZE
00000d94: ISZERO
00000d95: DUP1
00000d96: ISZERO
00000d97: PUSH2 0x0d9f
00000d9a: JUMPI
00000d9b: PUSH1 0x00
00000d9d: DUP1
00000d9e: REVERT
00000d9f: JUMPDEST
00000da0: POP
00000da1: GAS
00000da2: CALL
00000da3: ISZERO
00000da4: DUP1
00000da5: ISZERO
00000da6: PUSH2 0x0db3
00000da9: JUMPI
00000daa: RETURNDATASIZE
00000dab: PUSH1 0x00
00000dad: DUP1
00000dae: RETURNDATACOPY
00000daf: RETURNDATASIZE
00000db0: PUSH1 0x00
00000db2: REVERT
00000db3: JUMPDEST
00000db4: POP
00000db5: POP
00000db6: POP
00000db7: POP
00000db8: POP
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: PUSH1 0x03
00000dbd: PUSH1 0x20
00000dbf: MSTORE
00000dc0: DUP1
00000dc1: PUSH1 0x00
00000dc3: MSTORE
00000dc4: PUSH1 0x40
00000dc6: PUSH1 0x00
00000dc8: KECCAK256
00000dc9: PUSH1 0x00
00000dcb: SWAP2
00000dcc: POP
00000dcd: SLOAD
00000dce: SWAP1
00000dcf: PUSH2 0x0100
00000dd2: EXP
00000dd3: SWAP1
00000dd4: DIV
00000dd5: PUSH1 0xff
00000dd7: AND
00000dd8: DUP2
00000dd9: JUMP
00000dda: JUMPDEST
00000ddb: PUSH1 0x03
00000ddd: PUSH1 0x00
00000ddf: DUP3
00000de0: DUP2
00000de1: MSTORE
00000de2: PUSH1 0x20
00000de4: ADD
00000de5: SWAP1
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x20
00000dea: ADD
00000deb: PUSH1 0x00
00000ded: KECCAK256
00000dee: PUSH1 0x00
00000df0: SWAP1
00000df1: SLOAD
00000df2: SWAP1
00000df3: PUSH2 0x0100
00000df6: EXP
00000df7: SWAP1
00000df8: DIV
00000df9: PUSH1 0xff
00000dfb: AND
00000dfc: PUSH2 0x0e50
00000dff: JUMPI
00000e00: PUSH1 0x40
00000e02: MLOAD
00000e03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e24: DUP2
00000e25: MSTORE
00000e26: PUSH1 0x04
00000e28: ADD
00000e29: DUP1
00000e2a: DUP1
00000e2b: PUSH1 0x20
00000e2d: ADD
00000e2e: DUP3
00000e2f: DUP2
00000e30: SUB
00000e31: DUP3
00000e32: MSTORE
00000e33: PUSH1 0x28
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: ADD
00000e3a: DUP1
00000e3b: PUSH2 0x3475
00000e3e: PUSH1 0x28
00000e40: SWAP2
00000e41: CODECOPY
00000e42: PUSH1 0x40
00000e44: ADD
00000e45: SWAP2
00000e46: POP
00000e47: POP
00000e48: PUSH1 0x40
00000e4a: MLOAD
00000e4b: DUP1
00000e4c: SWAP2
00000e4d: SUB
00000e4e: SWAP1
00000e4f: REVERT
00000e50: JUMPDEST
00000e51: PUSH1 0x00
00000e53: CALLER
00000e54: SWAP1
00000e55: POP
00000e56: PUSH1 0x02
00000e58: PUSH1 0x00
00000e5a: DUP4
00000e5b: DUP2
00000e5c: MSTORE
00000e5d: PUSH1 0x20
00000e5f: ADD
00000e60: SWAP1
00000e61: DUP2
00000e62: MSTORE
00000e63: PUSH1 0x20
00000e65: ADD
00000e66: PUSH1 0x00
00000e68: KECCAK256
00000e69: PUSH1 0x00
00000e6b: DUP3
00000e6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e81: AND
00000e82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e97: AND
00000e98: DUP2
00000e99: MSTORE
00000e9a: PUSH1 0x20
00000e9c: ADD
00000e9d: SWAP1
00000e9e: DUP2
00000e9f: MSTORE
00000ea0: PUSH1 0x20
00000ea2: ADD
00000ea3: PUSH1 0x00
00000ea5: KECCAK256
00000ea6: PUSH1 0x00
00000ea8: SWAP1
00000ea9: SLOAD
00000eaa: SWAP1
00000eab: PUSH2 0x0100
00000eae: EXP
00000eaf: SWAP1
00000eb0: DIV
00000eb1: PUSH1 0xff
00000eb3: AND
00000eb4: ISZERO
00000eb5: PUSH2 0x0f09
00000eb8: JUMPI
00000eb9: PUSH1 0x40
00000ebb: MLOAD
00000ebc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000edd: DUP2
00000ede: MSTORE
00000edf: PUSH1 0x04
00000ee1: ADD
00000ee2: DUP1
00000ee3: DUP1
00000ee4: PUSH1 0x20
00000ee6: ADD
00000ee7: DUP3
00000ee8: DUP2
00000ee9: SUB
00000eea: DUP3
00000eeb: MSTORE
00000eec: PUSH1 0x21
00000eee: DUP2
00000eef: MSTORE
00000ef0: PUSH1 0x20
00000ef2: ADD
00000ef3: DUP1
00000ef4: PUSH2 0x337f
00000ef7: PUSH1 0x21
00000ef9: SWAP2
00000efa: CODECOPY
00000efb: PUSH1 0x40
00000efd: ADD
00000efe: SWAP2
00000eff: POP
00000f00: POP
00000f01: PUSH1 0x40
00000f03: MLOAD
00000f04: DUP1
00000f05: SWAP2
00000f06: SUB
00000f07: SWAP1
00000f08: REVERT
00000f09: JUMPDEST
00000f0a: PUSH1 0x00
00000f0c: PUSH2 0x0f15
00000f0f: DUP3
00000f10: DUP5
00000f11: PUSH2 0x2120
00000f14: JUMP
00000f15: JUMPDEST
00000f16: SWAP1
00000f17: POP
00000f18: PUSH1 0x00
00000f1a: DUP2
00000f1b: GT
00000f1c: PUSH2 0x0f8d
00000f1f: JUMPI
00000f20: PUSH1 0x40
00000f22: MLOAD
00000f23: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f44: DUP2
00000f45: MSTORE
00000f46: PUSH1 0x04
00000f48: ADD
00000f49: DUP1
00000f4a: DUP1
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: DUP3
00000f4f: DUP2
00000f50: SUB
00000f51: DUP3
00000f52: MSTORE
00000f53: PUSH1 0x1d
00000f55: DUP2
00000f56: MSTORE
00000f57: PUSH1 0x20
00000f59: ADD
00000f5a: DUP1
00000f5b: PUSH32 0x63524d656d6265723a206e6f207265776172647320746f20636c61696d000000
00000f7c: DUP2
00000f7d: MSTORE
00000f7e: POP
00000f7f: PUSH1 0x20
00000f81: ADD
00000f82: SWAP2
00000f83: POP
00000f84: POP
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: DUP1
00000f89: SWAP2
00000f8a: SUB
00000f8b: SWAP1
00000f8c: REVERT
00000f8d: JUMPDEST
00000f8e: PUSH1 0x01
00000f90: PUSH1 0x02
00000f92: PUSH1 0x00
00000f94: DUP6
00000f95: DUP2
00000f96: MSTORE
00000f97: PUSH1 0x20
00000f99: ADD
00000f9a: SWAP1
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: ADD
00000fa0: PUSH1 0x00
00000fa2: KECCAK256
00000fa3: PUSH1 0x00
00000fa5: DUP5
00000fa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbb: AND
00000fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd1: AND
00000fd2: DUP2
00000fd3: MSTORE
00000fd4: PUSH1 0x20
00000fd6: ADD
00000fd7: SWAP1
00000fd8: DUP2
00000fd9: MSTORE
00000fda: PUSH1 0x20
00000fdc: ADD
00000fdd: PUSH1 0x00
00000fdf: KECCAK256
00000fe0: PUSH1 0x00
00000fe2: PUSH2 0x0100
00000fe5: EXP
00000fe6: DUP2
00000fe7: SLOAD
00000fe8: DUP2
00000fe9: PUSH1 0xff
00000feb: MUL
00000fec: NOT
00000fed: AND
00000fee: SWAP1
00000fef: DUP4
00000ff0: ISZERO
00000ff1: ISZERO
00000ff2: MUL
00000ff3: OR
00000ff4: SWAP1
00000ff5: SSTORE
00000ff6: POP
00000ff7: DUP2
00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100d: AND
0000100e: PUSH2 0x08fc
00001011: DUP3
00001012: SWAP1
00001013: DUP2
00001014: ISZERO
00001015: MUL
00001016: SWAP1
00001017: PUSH1 0x40
00001019: MLOAD
0000101a: PUSH1 0x00
0000101c: PUSH1 0x40
0000101e: MLOAD
0000101f: DUP1
00001020: DUP4
00001021: SUB
00001022: DUP2
00001023: DUP6
00001024: DUP9
00001025: DUP9
00001026: CALL
00001027: SWAP4
00001028: POP
00001029: POP
0000102a: POP
0000102b: POP
0000102c: PUSH2 0x1080
0000102f: JUMPI
00001030: PUSH1 0x40
00001032: MLOAD
00001033: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001054: DUP2
00001055: MSTORE
00001056: PUSH1 0x04
00001058: ADD
00001059: DUP1
0000105a: DUP1
0000105b: PUSH1 0x20
0000105d: ADD
0000105e: DUP3
0000105f: DUP2
00001060: SUB
00001061: DUP3
00001062: MSTORE
00001063: PUSH1 0x2a
00001065: DUP2
00001066: MSTORE
00001067: PUSH1 0x20
00001069: ADD
0000106a: DUP1
0000106b: PUSH2 0x331e
0000106e: PUSH1 0x2a
00001070: SWAP2
00001071: CODECOPY
00001072: PUSH1 0x40
00001074: ADD
00001075: SWAP2
00001076: POP
00001077: POP
00001078: PUSH1 0x40
0000107a: MLOAD
0000107b: DUP1
0000107c: SWAP2
0000107d: SUB
0000107e: SWAP1
0000107f: REVERT
00001080: JUMPDEST
00001081: DUP2
00001082: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001097: AND
00001098: DUP4
00001099: PUSH32 0x186a4ce65d59e94df3c3791707ce0135538886e1171ca0cd58d38e38f17f3a32
000010ba: DUP4
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: DUP3
000010c0: DUP2
000010c1: MSTORE
000010c2: PUSH1 0x20
000010c4: ADD
000010c5: SWAP2
000010c6: POP
000010c7: POP
000010c8: PUSH1 0x40
000010ca: MLOAD
000010cb: DUP1
000010cc: SWAP2
000010cd: SUB
000010ce: SWAP1
000010cf: LOG3
000010d0: POP
000010d1: POP
000010d2: POP
000010d3: JUMP
000010d4: JUMPDEST
000010d5: PUSH1 0x05
000010d7: DUP2
000010d8: DUP2
000010d9: SLOAD
000010da: DUP2
000010db: LT
000010dc: PUSH2 0x10e1
000010df: JUMPI
000010e0: INVALID
000010e1: JUMPDEST
000010e2: SWAP1
000010e3: PUSH1 0x00
000010e5: MSTORE
000010e6: PUSH1 0x20
000010e8: PUSH1 0x00
000010ea: KECCAK256
000010eb: SWAP1
000010ec: PUSH1 0x03
000010ee: MUL
000010ef: ADD
000010f0: PUSH1 0x00
000010f2: SWAP2
000010f3: POP
000010f4: SWAP1
000010f5: POP
000010f6: DUP1
000010f7: PUSH1 0x00
000010f9: ADD
000010fa: SLOAD
000010fb: SWAP1
000010fc: DUP1
000010fd: PUSH1 0x01
000010ff: ADD
00001100: SLOAD
00001101: SWAP1
00001102: DUP1
00001103: PUSH1 0x02
00001105: ADD
00001106: PUSH1 0x00
00001108: SWAP1
00001109: SLOAD
0000110a: SWAP1
0000110b: PUSH2 0x0100
0000110e: EXP
0000110f: SWAP1
00001110: DIV
00001111: PUSH1 0xff
00001113: AND
00001114: SWAP1
00001115: POP
00001116: DUP4
00001117: JUMP
00001118: JUMPDEST
00001119: PUSH2 0x1120
0000111c: PUSH2 0x2b0a
0000111f: JUMP
00001120: JUMPDEST
00001121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001136: AND
00001137: PUSH1 0x00
00001139: DUP1
0000113a: SWAP1
0000113b: SLOAD
0000113c: SWAP1
0000113d: PUSH2 0x0100
00001140: EXP
00001141: SWAP1
00001142: DIV
00001143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001158: AND
00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116e: AND
0000116f: EQ
00001170: PUSH2 0x11e1
00001173: JUMPI
00001174: PUSH1 0x40
00001176: MLOAD
00001177: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001198: DUP2
00001199: MSTORE
0000119a: PUSH1 0x04
0000119c: ADD
0000119d: DUP1
0000119e: DUP1
0000119f: PUSH1 0x20
000011a1: ADD
000011a2: DUP3
000011a3: DUP2
000011a4: SUB
000011a5: DUP3
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: DUP2
000011aa: MSTORE
000011ab: PUSH1 0x20
000011ad: ADD
000011ae: DUP1
000011af: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000011d0: DUP2
000011d1: MSTORE
000011d2: POP
000011d3: PUSH1 0x20
000011d5: ADD
000011d6: SWAP2
000011d7: POP
000011d8: POP
000011d9: PUSH1 0x40
000011db: MLOAD
000011dc: DUP1
000011dd: SWAP2
000011de: SUB
000011df: SWAP1
000011e0: REVERT
000011e1: JUMPDEST
000011e2: PUSH1 0x00
000011e4: DUP3
000011e5: SWAP1
000011e6: POP
000011e7: PUSH1 0x00
000011e9: DUP2
000011ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ff: AND
00001200: PUSH4 0x70a08231
00001205: ADDRESS
00001206: PUSH1 0x40
00001208: MLOAD
00001209: DUP3
0000120a: PUSH4 0xffffffff
0000120f: AND
00001210: PUSH1 0xe0
00001212: SHL
00001213: DUP2
00001214: MSTORE
00001215: PUSH1 0x04
00001217: ADD
00001218: DUP1
00001219: DUP3
0000121a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122f: AND
00001230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001245: AND
00001246: DUP2
00001247: MSTORE
00001248: PUSH1 0x20
0000124a: ADD
0000124b: SWAP2
0000124c: POP
0000124d: POP
0000124e: PUSH1 0x20
00001250: PUSH1 0x40
00001252: MLOAD
00001253: DUP1
00001254: DUP4
00001255: SUB
00001256: DUP2
00001257: DUP7
00001258: DUP1
00001259: EXTCODESIZE
0000125a: ISZERO
0000125b: DUP1
0000125c: ISZERO
0000125d: PUSH2 0x1265
00001260: JUMPI
00001261: PUSH1 0x00
00001263: DUP1
00001264: REVERT
00001265: JUMPDEST
00001266: POP
00001267: GAS
00001268: STATICCALL
00001269: ISZERO
0000126a: DUP1
0000126b: ISZERO
0000126c: PUSH2 0x1279
0000126f: JUMPI
00001270: RETURNDATASIZE
00001271: PUSH1 0x00
00001273: DUP1
00001274: RETURNDATACOPY
00001275: RETURNDATASIZE
00001276: PUSH1 0x00
00001278: REVERT
00001279: JUMPDEST
0000127a: POP
0000127b: POP
0000127c: POP
0000127d: POP
0000127e: PUSH1 0x40
00001280: MLOAD
00001281: RETURNDATASIZE
00001282: PUSH1 0x20
00001284: DUP2
00001285: LT
00001286: ISZERO
00001287: PUSH2 0x128f
0000128a: JUMPI
0000128b: PUSH1 0x00
0000128d: DUP1
0000128e: REVERT
0000128f: JUMPDEST
00001290: DUP2
00001291: ADD
00001292: SWAP1
00001293: DUP1
00001294: DUP1
00001295: MLOAD
00001296: SWAP1
00001297: PUSH1 0x20
00001299: ADD
0000129a: SWAP1
0000129b: SWAP3
0000129c: SWAP2
0000129d: SWAP1
0000129e: POP
0000129f: POP
000012a0: POP
000012a1: SWAP1
000012a2: POP
000012a3: PUSH2 0x12ad
000012a6: DUP3
000012a7: DUP5
000012a8: DUP4
000012a9: PUSH2 0x2b12
000012ac: JUMP
000012ad: JUMPDEST
000012ae: POP
000012af: POP
000012b0: POP
000012b1: POP
000012b2: JUMP
000012b3: JUMPDEST
000012b4: PUSH1 0x00
000012b6: PUSH1 0x05
000012b8: PUSH1 0x01
000012ba: PUSH1 0x05
000012bc: DUP1
000012bd: SLOAD
000012be: SWAP1
000012bf: POP
000012c0: SUB
000012c1: DUP2
000012c2: SLOAD
000012c3: DUP2
000012c4: LT
000012c5: PUSH2 0x12ca
000012c8: JUMPI
000012c9: INVALID
000012ca: JUMPDEST
000012cb: SWAP1
000012cc: PUSH1 0x00
000012ce: MSTORE
000012cf: PUSH1 0x20
000012d1: PUSH1 0x00
000012d3: KECCAK256
000012d4: SWAP1
000012d5: PUSH1 0x03
000012d7: MUL
000012d8: ADD
000012d9: SWAP1
000012da: POP
000012db: PUSH1 0x00
000012dd: PUSH1 0x07
000012df: PUSH1 0x00
000012e1: SWAP1
000012e2: SLOAD
000012e3: SWAP1
000012e4: PUSH2 0x0100
000012e7: EXP
000012e8: SWAP1
000012e9: DIV
000012ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ff: AND
00001300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001315: AND
00001316: PUSH4 0x4408d2ba
0000131b: PUSH1 0x40
0000131d: MLOAD
0000131e: DUP2
0000131f: PUSH4 0xffffffff
00001324: AND
00001325: PUSH1 0xe0
00001327: SHL
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x04
0000132c: ADD
0000132d: PUSH1 0x20
0000132f: PUSH1 0x40
00001331: MLOAD
00001332: DUP1
00001333: DUP4
00001334: SUB
00001335: DUP2
00001336: DUP7
00001337: DUP1
00001338: EXTCODESIZE
00001339: ISZERO
0000133a: DUP1
0000133b: ISZERO
0000133c: PUSH2 0x1344
0000133f: JUMPI
00001340: PUSH1 0x00
00001342: DUP1
00001343: REVERT
00001344: JUMPDEST
00001345: POP
00001346: GAS
00001347: STATICCALL
00001348: ISZERO
00001349: DUP1
0000134a: ISZERO
0000134b: PUSH2 0x1358
0000134e: JUMPI
0000134f: RETURNDATASIZE
00001350: PUSH1 0x00
00001352: DUP1
00001353: RETURNDATACOPY
00001354: RETURNDATASIZE
00001355: PUSH1 0x00
00001357: REVERT
00001358: JUMPDEST
00001359: POP
0000135a: POP
0000135b: POP
0000135c: POP
0000135d: PUSH1 0x40
0000135f: MLOAD
00001360: RETURNDATASIZE
00001361: PUSH1 0x20
00001363: DUP2
00001364: LT
00001365: ISZERO
00001366: PUSH2 0x136e
00001369: JUMPI
0000136a: PUSH1 0x00
0000136c: DUP1
0000136d: REVERT
0000136e: JUMPDEST
0000136f: DUP2
00001370: ADD
00001371: SWAP1
00001372: DUP1
00001373: DUP1
00001374: MLOAD
00001375: SWAP1
00001376: PUSH1 0x20
00001378: ADD
00001379: SWAP1
0000137a: SWAP3
0000137b: SWAP2
0000137c: SWAP1
0000137d: POP
0000137e: POP
0000137f: POP
00001380: SWAP1
00001381: POP
00001382: DUP1
00001383: DUP3
00001384: PUSH1 0x00
00001386: ADD
00001387: SLOAD
00001388: GT
00001389: ISZERO
0000138a: DUP1
0000138b: ISZERO
0000138c: PUSH2 0x13a4
0000138f: JUMPI
00001390: POP
00001391: DUP2
00001392: PUSH1 0x02
00001394: ADD
00001395: PUSH1 0x00
00001397: SWAP1
00001398: SLOAD
00001399: SWAP1
0000139a: PUSH2 0x0100
0000139d: EXP
0000139e: SWAP1
0000139f: DIV
000013a0: PUSH1 0xff
000013a2: AND
000013a3: ISZERO
000013a4: JUMPDEST
000013a5: ISZERO
000013a6: PUSH2 0x13b3
000013a9: JUMPI
000013aa: PUSH2 0x13b2
000013ad: DUP3
000013ae: PUSH2 0x2bca
000013b1: JUMP
000013b2: JUMPDEST
000013b3: JUMPDEST
000013b4: POP
000013b5: POP
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0x04
000013ba: PUSH1 0x20
000013bc: MSTORE
000013bd: DUP1
000013be: PUSH1 0x00
000013c0: MSTORE
000013c1: PUSH1 0x40
000013c3: PUSH1 0x00
000013c5: KECCAK256
000013c6: PUSH1 0x00
000013c8: SWAP2
000013c9: POP
000013ca: SWAP1
000013cb: POP
000013cc: DUP1
000013cd: PUSH1 0x00
000013cf: ADD
000013d0: SLOAD
000013d1: SWAP1
000013d2: DUP1
000013d3: PUSH1 0x01
000013d5: ADD
000013d6: SLOAD
000013d7: SWAP1
000013d8: POP
000013d9: DUP3
000013da: JUMP
000013db: JUMPDEST
000013dc: PUSH1 0x07
000013de: PUSH1 0x00
000013e0: SWAP1
000013e1: SLOAD
000013e2: SWAP1
000013e3: PUSH2 0x0100
000013e6: EXP
000013e7: SWAP1
000013e8: DIV
000013e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fe: AND
000013ff: DUP2
00001400: JUMP
00001401: JUMPDEST
00001402: PUSH2 0x1409
00001405: PUSH2 0x2b0a
00001408: JUMP
00001409: JUMPDEST
0000140a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141f: AND
00001420: PUSH1 0x00
00001422: DUP1
00001423: SWAP1
00001424: SLOAD
00001425: SWAP1
00001426: PUSH2 0x0100
00001429: EXP
0000142a: SWAP1
0000142b: DIV
0000142c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001441: AND
00001442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001457: AND
00001458: EQ
00001459: PUSH2 0x14ca
0000145c: JUMPI
0000145d: PUSH1 0x40
0000145f: MLOAD
00001460: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001481: DUP2
00001482: MSTORE
00001483: PUSH1 0x04
00001485: ADD
00001486: DUP1
00001487: DUP1
00001488: PUSH1 0x20
0000148a: ADD
0000148b: DUP3
0000148c: DUP2
0000148d: SUB
0000148e: DUP3
0000148f: MSTORE
00001490: PUSH1 0x20
00001492: DUP2
00001493: MSTORE
00001494: PUSH1 0x20
00001496: ADD
00001497: DUP1
00001498: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000014b9: DUP2
000014ba: MSTORE
000014bb: POP
000014bc: PUSH1 0x20
000014be: ADD
000014bf: SWAP2
000014c0: POP
000014c1: POP
000014c2: PUSH1 0x40
000014c4: MLOAD
000014c5: DUP1
000014c6: SWAP2
000014c7: SUB
000014c8: SWAP1
000014c9: REVERT
000014ca: JUMPDEST
000014cb: PUSH1 0x00
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: AND
000014e3: PUSH1 0x00
000014e5: DUP1
000014e6: SWAP1
000014e7: SLOAD
000014e8: SWAP1
000014e9: PUSH2 0x0100
000014ec: EXP
000014ed: SWAP1
000014ee: DIV
000014ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001504: AND
00001505: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151a: AND
0000151b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000153c: PUSH1 0x40
0000153e: MLOAD
0000153f: PUSH1 0x40
00001541: MLOAD
00001542: DUP1
00001543: SWAP2
00001544: SUB
00001545: SWAP1
00001546: LOG3
00001547: PUSH1 0x00
00001549: DUP1
0000154a: PUSH1 0x00
0000154c: PUSH2 0x0100
0000154f: EXP
00001550: DUP2
00001551: SLOAD
00001552: DUP2
00001553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001568: MUL
00001569: NOT
0000156a: AND
0000156b: SWAP1
0000156c: DUP4
0000156d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001582: AND
00001583: MUL
00001584: OR
00001585: SWAP1
00001586: SSTORE
00001587: POP
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x06
0000158c: PUSH1 0x00
0000158e: SWAP1
0000158f: SLOAD
00001590: SWAP1
00001591: PUSH2 0x0100
00001594: EXP
00001595: SWAP1
00001596: DIV
00001597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ac: AND
000015ad: DUP2
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH1 0x00
000015b2: DUP1
000015b3: PUSH1 0x00
000015b5: SWAP1
000015b6: SLOAD
000015b7: SWAP1
000015b8: PUSH2 0x0100
000015bb: EXP
000015bc: SWAP1
000015bd: DIV
000015be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d3: AND
000015d4: SWAP1
000015d5: POP
000015d6: SWAP1
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH2 0x15e0
000015dc: PUSH2 0x2b0a
000015df: JUMP
000015e0: JUMPDEST
000015e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f6: AND
000015f7: PUSH1 0x00
000015f9: DUP1
000015fa: SWAP1
000015fb: SLOAD
000015fc: SWAP1
000015fd: PUSH2 0x0100
00001600: EXP
00001601: SWAP1
00001602: DIV
00001603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001618: AND
00001619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162e: AND
0000162f: EQ
00001630: PUSH2 0x16a1
00001633: JUMPI
00001634: PUSH1 0x40
00001636: MLOAD
00001637: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001658: DUP2
00001659: MSTORE
0000165a: PUSH1 0x04
0000165c: ADD
0000165d: DUP1
0000165e: DUP1
0000165f: PUSH1 0x20
00001661: ADD
00001662: DUP3
00001663: DUP2
00001664: SUB
00001665: DUP3
00001666: MSTORE
00001667: PUSH1 0x20
00001669: DUP2
0000166a: MSTORE
0000166b: PUSH1 0x20
0000166d: ADD
0000166e: DUP1
0000166f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001690: DUP2
00001691: MSTORE
00001692: POP
00001693: PUSH1 0x20
00001695: ADD
00001696: SWAP2
00001697: POP
00001698: POP
00001699: PUSH1 0x40
0000169b: MLOAD
0000169c: DUP1
0000169d: SWAP2
0000169e: SUB
0000169f: SWAP1
000016a0: REVERT
000016a1: JUMPDEST
000016a2: PUSH1 0x00
000016a4: DUP2
000016a5: GT
000016a6: PUSH2 0x1717
000016a9: JUMPI
000016aa: PUSH1 0x40
000016ac: MLOAD
000016ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH1 0x04
000016d2: ADD
000016d3: DUP1
000016d4: DUP1
000016d5: PUSH1 0x20
000016d7: ADD
000016d8: DUP3
000016d9: DUP2
000016da: SUB
000016db: DUP3
000016dc: MSTORE
000016dd: PUSH1 0x1b
000016df: DUP2
000016e0: MSTORE
000016e1: PUSH1 0x20
000016e3: ADD
000016e4: DUP1
000016e5: PUSH32 0x6d617374657257697468647261773a20616d6f756e7420697320300000000000
00001706: DUP2
00001707: MSTORE
00001708: POP
00001709: PUSH1 0x20
0000170b: ADD
0000170c: SWAP2
0000170d: POP
0000170e: POP
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: DUP1
00001713: SWAP2
00001714: SUB
00001715: SWAP1
00001716: REVERT
00001717: JUMPDEST
00001718: PUSH1 0x08
0000171a: PUSH1 0x00
0000171c: SWAP1
0000171d: SLOAD
0000171e: SWAP1
0000171f: PUSH2 0x0100
00001722: EXP
00001723: SWAP1
00001724: DIV
00001725: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173a: AND
0000173b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001750: AND
00001751: PUSH4 0x2e1a7d4d
00001756: DUP3
00001757: PUSH1 0x40
00001759: MLOAD
0000175a: DUP3
0000175b: PUSH4 0xffffffff
00001760: AND
00001761: PUSH1 0xe0
00001763: SHL
00001764: DUP2
00001765: MSTORE
00001766: PUSH1 0x04
00001768: ADD
00001769: DUP1
0000176a: DUP3
0000176b: DUP2
0000176c: MSTORE
0000176d: PUSH1 0x20
0000176f: ADD
00001770: SWAP2
00001771: POP
00001772: POP
00001773: PUSH1 0x00
00001775: PUSH1 0x40
00001777: MLOAD
00001778: DUP1
00001779: DUP4
0000177a: SUB
0000177b: DUP2
0000177c: PUSH1 0x00
0000177e: DUP8
0000177f: DUP1
00001780: EXTCODESIZE
00001781: ISZERO
00001782: DUP1
00001783: ISZERO
00001784: PUSH2 0x178c
00001787: JUMPI
00001788: PUSH1 0x00
0000178a: DUP1
0000178b: REVERT
0000178c: JUMPDEST
0000178d: POP
0000178e: GAS
0000178f: CALL
00001790: ISZERO
00001791: DUP1
00001792: ISZERO
00001793: PUSH2 0x17a0
00001796: JUMPI
00001797: RETURNDATASIZE
00001798: PUSH1 0x00
0000179a: DUP1
0000179b: RETURNDATACOPY
0000179c: RETURNDATASIZE
0000179d: PUSH1 0x00
0000179f: REVERT
000017a0: JUMPDEST
000017a1: POP
000017a2: POP
000017a3: POP
000017a4: POP
000017a5: PUSH1 0x06
000017a7: PUSH1 0x00
000017a9: SWAP1
000017aa: SLOAD
000017ab: SWAP1
000017ac: PUSH2 0x0100
000017af: EXP
000017b0: SWAP1
000017b1: DIV
000017b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c7: AND
000017c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017dd: AND
000017de: PUSH4 0xa9059cbb
000017e3: CALLER
000017e4: DUP4
000017e5: PUSH1 0x40
000017e7: MLOAD
000017e8: DUP4
000017e9: PUSH4 0xffffffff
000017ee: AND
000017ef: PUSH1 0xe0
000017f1: SHL
000017f2: DUP2
000017f3: MSTORE
000017f4: PUSH1 0x04
000017f6: ADD
000017f7: DUP1
000017f8: DUP4
000017f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180e: AND
0000180f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001824: AND
00001825: DUP2
00001826: MSTORE
00001827: PUSH1 0x20
00001829: ADD
0000182a: DUP3
0000182b: DUP2
0000182c: MSTORE
0000182d: PUSH1 0x20
0000182f: ADD
00001830: SWAP3
00001831: POP
00001832: POP
00001833: POP
00001834: PUSH1 0x20
00001836: PUSH1 0x40
00001838: MLOAD
00001839: DUP1
0000183a: DUP4
0000183b: SUB
0000183c: DUP2
0000183d: PUSH1 0x00
0000183f: DUP8
00001840: DUP1
00001841: EXTCODESIZE
00001842: ISZERO
00001843: DUP1
00001844: ISZERO
00001845: PUSH2 0x184d
00001848: JUMPI
00001849: PUSH1 0x00
0000184b: DUP1
0000184c: REVERT
0000184d: JUMPDEST
0000184e: POP
0000184f: GAS
00001850: CALL
00001851: ISZERO
00001852: DUP1
00001853: ISZERO
00001854: PUSH2 0x1861
00001857: JUMPI
00001858: RETURNDATASIZE
00001859: PUSH1 0x00
0000185b: DUP1
0000185c: RETURNDATACOPY
0000185d: RETURNDATASIZE
0000185e: PUSH1 0x00
00001860: REVERT
00001861: JUMPDEST
00001862: POP
00001863: POP
00001864: POP
00001865: POP
00001866: PUSH1 0x40
00001868: MLOAD
00001869: RETURNDATASIZE
0000186a: PUSH1 0x20
0000186c: DUP2
0000186d: LT
0000186e: ISZERO
0000186f: PUSH2 0x1877
00001872: JUMPI
00001873: PUSH1 0x00
00001875: DUP1
00001876: REVERT
00001877: JUMPDEST
00001878: DUP2
00001879: ADD
0000187a: SWAP1
0000187b: DUP1
0000187c: DUP1
0000187d: MLOAD
0000187e: SWAP1
0000187f: PUSH1 0x20
00001881: ADD
00001882: SWAP1
00001883: SWAP3
00001884: SWAP2
00001885: SWAP1
00001886: POP
00001887: POP
00001888: POP
00001889: PUSH2 0x18dd
0000188c: JUMPI
0000188d: PUSH1 0x40
0000188f: MLOAD
00001890: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018b1: DUP2
000018b2: MSTORE
000018b3: PUSH1 0x04
000018b5: ADD
000018b6: DUP1
000018b7: DUP1
000018b8: PUSH1 0x20
000018ba: ADD
000018bb: DUP3
000018bc: DUP2
000018bd: SUB
000018be: DUP3
000018bf: MSTORE
000018c0: PUSH1 0x37
000018c2: DUP2
000018c3: MSTORE
000018c4: PUSH1 0x20
000018c6: ADD
000018c7: DUP1
000018c8: PUSH2 0x3348
000018cb: PUSH1 0x37
000018cd: SWAP2
000018ce: CODECOPY
000018cf: PUSH1 0x40
000018d1: ADD
000018d2: SWAP2
000018d3: POP
000018d4: POP
000018d5: PUSH1 0x40
000018d7: MLOAD
000018d8: DUP1
000018d9: SWAP2
000018da: SUB
000018db: SWAP1
000018dc: REVERT
000018dd: JUMPDEST
000018de: POP
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH2 0x18e8
000018e4: PUSH2 0x2b0a
000018e7: JUMP
000018e8: JUMPDEST
000018e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018fe: AND
000018ff: PUSH1 0x00
00001901: DUP1
00001902: SWAP1
00001903: SLOAD
00001904: SWAP1
00001905: PUSH2 0x0100
00001908: EXP
00001909: SWAP1
0000190a: DIV
0000190b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001920: AND
00001921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001936: AND
00001937: EQ
00001938: PUSH2 0x19a9
0000193b: JUMPI
0000193c: PUSH1 0x40
0000193e: MLOAD
0000193f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001960: DUP2
00001961: MSTORE
00001962: PUSH1 0x04
00001964: ADD
00001965: DUP1
00001966: DUP1
00001967: PUSH1 0x20
00001969: ADD
0000196a: DUP3
0000196b: DUP2
0000196c: SUB
0000196d: DUP3
0000196e: MSTORE
0000196f: PUSH1 0x20
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x20
00001975: ADD
00001976: DUP1
00001977: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001998: DUP2
00001999: MSTORE
0000199a: POP
0000199b: PUSH1 0x20
0000199d: ADD
0000199e: SWAP2
0000199f: POP
000019a0: POP
000019a1: PUSH1 0x40
000019a3: MLOAD
000019a4: DUP1
000019a5: SWAP2
000019a6: SUB
000019a7: SWAP1
000019a8: REVERT
000019a9: JUMPDEST
000019aa: PUSH2 0x2710
000019ad: DUP2
000019ae: GT
000019af: ISZERO
000019b0: PUSH2 0x1a04
000019b3: JUMPI
000019b4: PUSH1 0x40
000019b6: MLOAD
000019b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019d8: DUP2
000019d9: MSTORE
000019da: PUSH1 0x04
000019dc: ADD
000019dd: DUP1
000019de: DUP1
000019df: PUSH1 0x20
000019e1: ADD
000019e2: DUP3
000019e3: DUP2
000019e4: SUB
000019e5: DUP3
000019e6: MSTORE
000019e7: PUSH1 0x2e
000019e9: DUP2
000019ea: MSTORE
000019eb: PUSH1 0x20
000019ed: ADD
000019ee: DUP1
000019ef: PUSH2 0x33a0
000019f2: PUSH1 0x2e
000019f4: SWAP2
000019f5: CODECOPY
000019f6: PUSH1 0x40
000019f8: ADD
000019f9: SWAP2
000019fa: POP
000019fb: POP
000019fc: PUSH1 0x40
000019fe: MLOAD
000019ff: DUP1
00001a00: SWAP2
00001a01: SUB
00001a02: SWAP1
00001a03: REVERT
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: PUSH1 0x07
00001a09: PUSH1 0x00
00001a0b: SWAP1
00001a0c: SLOAD
00001a0d: SWAP1
00001a0e: PUSH2 0x0100
00001a11: EXP
00001a12: SWAP1
00001a13: DIV
00001a14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a29: AND
00001a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3f: AND
00001a40: PUSH4 0x4408d2ba
00001a45: PUSH1 0x40
00001a47: MLOAD
00001a48: DUP2
00001a49: PUSH4 0xffffffff
00001a4e: AND
00001a4f: PUSH1 0xe0
00001a51: SHL
00001a52: DUP2
00001a53: MSTORE
00001a54: PUSH1 0x04
00001a56: ADD
00001a57: PUSH1 0x20
00001a59: PUSH1 0x40
00001a5b: MLOAD
00001a5c: DUP1
00001a5d: DUP4
00001a5e: SUB
00001a5f: DUP2
00001a60: DUP7
00001a61: DUP1
00001a62: EXTCODESIZE
00001a63: ISZERO
00001a64: DUP1
00001a65: ISZERO
00001a66: PUSH2 0x1a6e
00001a69: JUMPI
00001a6a: PUSH1 0x00
00001a6c: DUP1
00001a6d: REVERT
00001a6e: JUMPDEST
00001a6f: POP
00001a70: GAS
00001a71: STATICCALL
00001a72: ISZERO
00001a73: DUP1
00001a74: ISZERO
00001a75: PUSH2 0x1a82
00001a78: JUMPI
00001a79: RETURNDATASIZE
00001a7a: PUSH1 0x00
00001a7c: DUP1
00001a7d: RETURNDATACOPY
00001a7e: RETURNDATASIZE
00001a7f: PUSH1 0x00
00001a81: REVERT
00001a82: JUMPDEST
00001a83: POP
00001a84: POP
00001a85: POP
00001a86: POP
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: RETURNDATASIZE
00001a8b: PUSH1 0x20
00001a8d: DUP2
00001a8e: LT
00001a8f: ISZERO
00001a90: PUSH2 0x1a98
00001a93: JUMPI
00001a94: PUSH1 0x00
00001a96: DUP1
00001a97: REVERT
00001a98: JUMPDEST
00001a99: DUP2
00001a9a: ADD
00001a9b: SWAP1
00001a9c: DUP1
00001a9d: DUP1
00001a9e: MLOAD
00001a9f: SWAP1
00001aa0: PUSH1 0x20
00001aa2: ADD
00001aa3: SWAP1
00001aa4: SWAP3
00001aa5: SWAP2
00001aa6: SWAP1
00001aa7: POP
00001aa8: POP
00001aa9: POP
00001aaa: SWAP1
00001aab: POP
00001aac: PUSH1 0x00
00001aae: PUSH2 0x1ac2
00001ab1: PUSH1 0x01
00001ab3: SLOAD
00001ab4: DUP4
00001ab5: PUSH2 0x2c31
00001ab8: SWAP1
00001ab9: SWAP2
00001aba: SWAP1
00001abb: PUSH4 0xffffffff
00001ac0: AND
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: SWAP1
00001ac4: POP
00001ac5: PUSH1 0x00
00001ac7: PUSH1 0x05
00001ac9: PUSH1 0x01
00001acb: PUSH1 0x05
00001acd: DUP1
00001ace: SLOAD
00001acf: SWAP1
00001ad0: POP
00001ad1: SUB
00001ad2: DUP2
00001ad3: SLOAD
00001ad4: DUP2
00001ad5: LT
00001ad6: PUSH2 0x1adb
00001ad9: JUMPI
00001ada: INVALID
00001adb: JUMPDEST
00001adc: SWAP1
00001add: PUSH1 0x00
00001adf: MSTORE
00001ae0: PUSH1 0x20
00001ae2: PUSH1 0x00
00001ae4: KECCAK256
00001ae5: SWAP1
00001ae6: PUSH1 0x03
00001ae8: MUL
00001ae9: ADD
00001aea: SWAP1
00001aeb: POP
00001aec: DUP3
00001aed: DUP2
00001aee: PUSH1 0x00
00001af0: ADD
00001af1: SLOAD
00001af2: GT
00001af3: ISZERO
00001af4: PUSH2 0x1b0e
00001af7: JUMPI
00001af8: DUP2
00001af9: DUP2
00001afa: PUSH1 0x00
00001afc: ADD
00001afd: DUP2
00001afe: SWAP1
00001aff: SSTORE
00001b00: POP
00001b01: DUP4
00001b02: DUP2
00001b03: PUSH1 0x01
00001b05: ADD
00001b06: DUP2
00001b07: SWAP1
00001b08: SSTORE
00001b09: POP
00001b0a: PUSH2 0x1bae
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: DUP1
00001b10: PUSH1 0x02
00001b12: ADD
00001b13: PUSH1 0x00
00001b15: SWAP1
00001b16: SLOAD
00001b17: SWAP1
00001b18: PUSH2 0x0100
00001b1b: EXP
00001b1c: SWAP1
00001b1d: DIV
00001b1e: PUSH1 0xff
00001b20: AND
00001b21: PUSH2 0x1b2e
00001b24: JUMPI
00001b25: PUSH2 0x1b2d
00001b28: DUP2
00001b29: PUSH2 0x2bca
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: JUMPDEST
00001b2f: PUSH1 0x05
00001b31: PUSH1 0x40
00001b33: MLOAD
00001b34: DUP1
00001b35: PUSH1 0x60
00001b37: ADD
00001b38: PUSH1 0x40
00001b3a: MSTORE
00001b3b: DUP1
00001b3c: DUP5
00001b3d: DUP2
00001b3e: MSTORE
00001b3f: PUSH1 0x20
00001b41: ADD
00001b42: DUP7
00001b43: DUP2
00001b44: MSTORE
00001b45: PUSH1 0x20
00001b47: ADD
00001b48: PUSH1 0x00
00001b4a: ISZERO
00001b4b: ISZERO
00001b4c: DUP2
00001b4d: MSTORE
00001b4e: POP
00001b4f: SWAP1
00001b50: DUP1
00001b51: PUSH1 0x01
00001b53: DUP2
00001b54: SLOAD
00001b55: ADD
00001b56: DUP1
00001b57: DUP3
00001b58: SSTORE
00001b59: DUP1
00001b5a: SWAP2
00001b5b: POP
00001b5c: POP
00001b5d: PUSH1 0x01
00001b5f: SWAP1
00001b60: SUB
00001b61: SWAP1
00001b62: PUSH1 0x00
00001b64: MSTORE
00001b65: PUSH1 0x20
00001b67: PUSH1 0x00
00001b69: KECCAK256
00001b6a: SWAP1
00001b6b: PUSH1 0x03
00001b6d: MUL
00001b6e: ADD
00001b6f: PUSH1 0x00
00001b71: SWAP1
00001b72: SWAP2
00001b73: SWAP1
00001b74: SWAP2
00001b75: SWAP1
00001b76: SWAP2
00001b77: POP
00001b78: PUSH1 0x00
00001b7a: DUP3
00001b7b: ADD
00001b7c: MLOAD
00001b7d: DUP2
00001b7e: PUSH1 0x00
00001b80: ADD
00001b81: SSTORE
00001b82: PUSH1 0x20
00001b84: DUP3
00001b85: ADD
00001b86: MLOAD
00001b87: DUP2
00001b88: PUSH1 0x01
00001b8a: ADD
00001b8b: SSTORE
00001b8c: PUSH1 0x40
00001b8e: DUP3
00001b8f: ADD
00001b90: MLOAD
00001b91: DUP2
00001b92: PUSH1 0x02
00001b94: ADD
00001b95: PUSH1 0x00
00001b97: PUSH2 0x0100
00001b9a: EXP
00001b9b: DUP2
00001b9c: SLOAD
00001b9d: DUP2
00001b9e: PUSH1 0xff
00001ba0: MUL
00001ba1: NOT
00001ba2: AND
00001ba3: SWAP1
00001ba4: DUP4
00001ba5: ISZERO
00001ba6: ISZERO
00001ba7: MUL
00001ba8: OR
00001ba9: SWAP1
00001baa: SSTORE
00001bab: POP
00001bac: POP
00001bad: POP
00001bae: JUMPDEST
00001baf: PUSH32 0x2803ffe778731e96b0cb4ffdea51f618e2dc70ed59841f65fb6a92296b396068
00001bd0: PUSH2 0x1be3
00001bd3: PUSH1 0x01
00001bd5: DUP5
00001bd6: PUSH2 0x2cb9
00001bd9: SWAP1
00001bda: SWAP2
00001bdb: SWAP1
00001bdc: PUSH4 0xffffffff
00001be1: AND
00001be2: JUMP
00001be3: JUMPDEST
00001be4: DUP6
00001be5: PUSH1 0x40
00001be7: MLOAD
00001be8: DUP1
00001be9: DUP4
00001bea: DUP2
00001beb: MSTORE
00001bec: PUSH1 0x20
00001bee: ADD
00001bef: DUP3
00001bf0: DUP2
00001bf1: MSTORE
00001bf2: PUSH1 0x20
00001bf4: ADD
00001bf5: SWAP3
00001bf6: POP
00001bf7: POP
00001bf8: POP
00001bf9: PUSH1 0x40
00001bfb: MLOAD
00001bfc: DUP1
00001bfd: SWAP2
00001bfe: SUB
00001bff: SWAP1
00001c00: LOG1
00001c01: POP
00001c02: POP
00001c03: POP
00001c04: POP
00001c05: JUMP
00001c06: JUMPDEST
00001c07: PUSH2 0x1c0e
00001c0a: PUSH2 0x2b0a
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c24: AND
00001c25: PUSH1 0x00
00001c27: DUP1
00001c28: SWAP1
00001c29: SLOAD
00001c2a: SWAP1
00001c2b: PUSH2 0x0100
00001c2e: EXP
00001c2f: SWAP1
00001c30: DIV
00001c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c46: AND
00001c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5c: AND
00001c5d: EQ
00001c5e: PUSH2 0x1ccf
00001c61: JUMPI
00001c62: PUSH1 0x40
00001c64: MLOAD
00001c65: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c86: DUP2
00001c87: MSTORE
00001c88: PUSH1 0x04
00001c8a: ADD
00001c8b: DUP1
00001c8c: DUP1
00001c8d: PUSH1 0x20
00001c8f: ADD
00001c90: DUP3
00001c91: DUP2
00001c92: SUB
00001c93: DUP3
00001c94: MSTORE
00001c95: PUSH1 0x20
00001c97: DUP2
00001c98: MSTORE
00001c99: PUSH1 0x20
00001c9b: ADD
00001c9c: DUP1
00001c9d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001cbe: DUP2
00001cbf: MSTORE
00001cc0: POP
00001cc1: PUSH1 0x20
00001cc3: ADD
00001cc4: SWAP2
00001cc5: POP
00001cc6: POP
00001cc7: PUSH1 0x40
00001cc9: MLOAD
00001cca: DUP1
00001ccb: SWAP2
00001ccc: SUB
00001ccd: SWAP1
00001cce: REVERT
00001ccf: JUMPDEST
00001cd0: PUSH1 0x07
00001cd2: PUSH1 0x00
00001cd4: SWAP1
00001cd5: SLOAD
00001cd6: SWAP1
00001cd7: PUSH2 0x0100
00001cda: EXP
00001cdb: SWAP1
00001cdc: DIV
00001cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf2: AND
00001cf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d08: AND
00001d09: PUSH4 0xb384abef
00001d0e: DUP4
00001d0f: DUP4
00001d10: PUSH1 0x40
00001d12: MLOAD
00001d13: DUP4
00001d14: PUSH4 0xffffffff
00001d19: AND
00001d1a: PUSH1 0xe0
00001d1c: SHL
00001d1d: DUP2
00001d1e: MSTORE
00001d1f: PUSH1 0x04
00001d21: ADD
00001d22: DUP1
00001d23: DUP4
00001d24: DUP2
00001d25: MSTORE
00001d26: PUSH1 0x20
00001d28: ADD
00001d29: DUP3
00001d2a: DUP2
00001d2b: MSTORE
00001d2c: PUSH1 0x20
00001d2e: ADD
00001d2f: SWAP3
00001d30: POP
00001d31: POP
00001d32: POP
00001d33: PUSH1 0x00
00001d35: PUSH1 0x40
00001d37: MLOAD
00001d38: DUP1
00001d39: DUP4
00001d3a: SUB
00001d3b: DUP2
00001d3c: PUSH1 0x00
00001d3e: DUP8
00001d3f: DUP1
00001d40: EXTCODESIZE
00001d41: ISZERO
00001d42: DUP1
00001d43: ISZERO
00001d44: PUSH2 0x1d4c
00001d47: JUMPI
00001d48: PUSH1 0x00
00001d4a: DUP1
00001d4b: REVERT
00001d4c: JUMPDEST
00001d4d: POP
00001d4e: GAS
00001d4f: CALL
00001d50: ISZERO
00001d51: DUP1
00001d52: ISZERO
00001d53: PUSH2 0x1d60
00001d56: JUMPI
00001d57: RETURNDATASIZE
00001d58: PUSH1 0x00
00001d5a: DUP1
00001d5b: RETURNDATACOPY
00001d5c: RETURNDATASIZE
00001d5d: PUSH1 0x00
00001d5f: REVERT
00001d60: JUMPDEST
00001d61: POP
00001d62: POP
00001d63: POP
00001d64: POP
00001d65: POP
00001d66: POP
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x00
00001d6b: DUP1
00001d6c: PUSH1 0x00
00001d6e: PUSH2 0x1d75
00001d71: PUSH2 0x32ba
00001d74: JUMP
00001d75: JUMPDEST
00001d76: PUSH1 0x05
00001d78: PUSH2 0x1d80
00001d7b: DUP7
00001d7c: PUSH2 0x2d03
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: DUP2
00001d82: SLOAD
00001d83: DUP2
00001d84: LT
00001d85: PUSH2 0x1d8a
00001d88: JUMPI
00001d89: INVALID
00001d8a: JUMPDEST
00001d8b: SWAP1
00001d8c: PUSH1 0x00
00001d8e: MSTORE
00001d8f: PUSH1 0x20
00001d91: PUSH1 0x00
00001d93: KECCAK256
00001d94: SWAP1
00001d95: PUSH1 0x03
00001d97: MUL
00001d98: ADD
00001d99: PUSH1 0x40
00001d9b: MLOAD
00001d9c: DUP1
00001d9d: PUSH1 0x60
00001d9f: ADD
00001da0: PUSH1 0x40
00001da2: MSTORE
00001da3: SWAP1
00001da4: DUP2
00001da5: PUSH1 0x00
00001da7: DUP3
00001da8: ADD
00001da9: SLOAD
00001daa: DUP2
00001dab: MSTORE
00001dac: PUSH1 0x20
00001dae: ADD
00001daf: PUSH1 0x01
00001db1: DUP3
00001db2: ADD
00001db3: SLOAD
00001db4: DUP2
00001db5: MSTORE
00001db6: PUSH1 0x20
00001db8: ADD
00001db9: PUSH1 0x02
00001dbb: DUP3
00001dbc: ADD
00001dbd: PUSH1 0x00
00001dbf: SWAP1
00001dc0: SLOAD
00001dc1: SWAP1
00001dc2: PUSH2 0x0100
00001dc5: EXP
00001dc6: SWAP1
00001dc7: DIV
00001dc8: PUSH1 0xff
00001dca: AND
00001dcb: ISZERO
00001dcc: ISZERO
00001dcd: ISZERO
00001dce: ISZERO
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: POP
00001dd2: POP
00001dd3: SWAP1
00001dd4: POP
00001dd5: DUP1
00001dd6: PUSH1 0x00
00001dd8: ADD
00001dd9: MLOAD
00001dda: SWAP4
00001ddb: POP
00001ddc: DUP1
00001ddd: PUSH1 0x20
00001ddf: ADD
00001de0: MLOAD
00001de1: SWAP3
00001de2: POP
00001de3: DUP1
00001de4: PUSH1 0x40
00001de6: ADD
00001de7: MLOAD
00001de8: SWAP2
00001de9: POP
00001dea: POP
00001deb: SWAP2
00001dec: SWAP4
00001ded: SWAP1
00001dee: SWAP3
00001def: POP
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH1 0x01
00001df4: SLOAD
00001df5: DUP2
00001df6: JUMP
00001df7: JUMPDEST
00001df8: PUSH1 0x02
00001dfa: PUSH1 0x20
00001dfc: MSTORE
00001dfd: DUP2
00001dfe: PUSH1 0x00
00001e00: MSTORE
00001e01: PUSH1 0x40
00001e03: PUSH1 0x00
00001e05: KECCAK256
00001e06: PUSH1 0x20
00001e08: MSTORE
00001e09: DUP1
00001e0a: PUSH1 0x00
00001e0c: MSTORE
00001e0d: PUSH1 0x40
00001e0f: PUSH1 0x00
00001e11: KECCAK256
00001e12: PUSH1 0x00
00001e14: SWAP2
00001e15: POP
00001e16: SWAP2
00001e17: POP
00001e18: SWAP1
00001e19: SLOAD
00001e1a: SWAP1
00001e1b: PUSH2 0x0100
00001e1e: EXP
00001e1f: SWAP1
00001e20: DIV
00001e21: PUSH1 0xff
00001e23: AND
00001e24: DUP2
00001e25: JUMP
00001e26: JUMPDEST
00001e27: PUSH1 0x00
00001e29: PUSH1 0x05
00001e2b: DUP1
00001e2c: SLOAD
00001e2d: SWAP1
00001e2e: POP
00001e2f: SWAP1
00001e30: POP
00001e31: SWAP1
00001e32: JUMP
00001e33: JUMPDEST
00001e34: PUSH1 0x00
00001e36: DUP1
00001e37: PUSH1 0x00
00001e39: DUP1
00001e3a: PUSH1 0x07
00001e3c: PUSH1 0x00
00001e3e: SWAP1
00001e3f: SLOAD
00001e40: SWAP1
00001e41: PUSH2 0x0100
00001e44: EXP
00001e45: SWAP1
00001e46: DIV
00001e47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5c: AND
00001e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e72: AND
00001e73: PUSH4 0x4408d2ba
00001e78: PUSH1 0x40
00001e7a: MLOAD
00001e7b: DUP2
00001e7c: PUSH4 0xffffffff
00001e81: AND
00001e82: PUSH1 0xe0
00001e84: SHL
00001e85: DUP2
00001e86: MSTORE
00001e87: PUSH1 0x04
00001e89: ADD
00001e8a: PUSH1 0x20
00001e8c: PUSH1 0x40
00001e8e: MLOAD
00001e8f: DUP1
00001e90: DUP4
00001e91: SUB
00001e92: DUP2
00001e93: DUP7
00001e94: DUP1
00001e95: EXTCODESIZE
00001e96: ISZERO
00001e97: DUP1
00001e98: ISZERO
00001e99: PUSH2 0x1ea1
00001e9c: JUMPI
00001e9d: PUSH1 0x00
00001e9f: DUP1
00001ea0: REVERT
00001ea1: JUMPDEST
00001ea2: POP
00001ea3: GAS
00001ea4: STATICCALL
00001ea5: ISZERO
00001ea6: DUP1
00001ea7: ISZERO
00001ea8: PUSH2 0x1eb5
00001eab: JUMPI
00001eac: RETURNDATASIZE
00001ead: PUSH1 0x00
00001eaf: DUP1
00001eb0: RETURNDATACOPY
00001eb1: RETURNDATASIZE
00001eb2: PUSH1 0x00
00001eb4: REVERT
00001eb5: JUMPDEST
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: POP
00001eba: PUSH1 0x40
00001ebc: MLOAD
00001ebd: RETURNDATASIZE
00001ebe: PUSH1 0x20
00001ec0: DUP2
00001ec1: LT
00001ec2: ISZERO
00001ec3: PUSH2 0x1ecb
00001ec6: JUMPI
00001ec7: PUSH1 0x00
00001ec9: DUP1
00001eca: REVERT
00001ecb: JUMPDEST
00001ecc: DUP2
00001ecd: ADD
00001ece: SWAP1
00001ecf: DUP1
00001ed0: DUP1
00001ed1: MLOAD
00001ed2: SWAP1
00001ed3: PUSH1 0x20
00001ed5: ADD
00001ed6: SWAP1
00001ed7: SWAP3
00001ed8: SWAP2
00001ed9: SWAP1
00001eda: POP
00001edb: POP
00001edc: POP
00001edd: SWAP1
00001ede: POP
00001edf: PUSH2 0x1ee7
00001ee2: DUP2
00001ee3: PUSH2 0x1d68
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: SWAP4
00001ee9: POP
00001eea: SWAP4
00001eeb: POP
00001eec: SWAP4
00001eed: POP
00001eee: POP
00001eef: SWAP1
00001ef0: SWAP2
00001ef1: SWAP3
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x00
00001ef6: PUSH1 0x03
00001ef8: PUSH1 0x00
00001efa: DUP4
00001efb: DUP2
00001efc: MSTORE
00001efd: PUSH1 0x20
00001eff: ADD
00001f00: SWAP1
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x20
00001f05: ADD
00001f06: PUSH1 0x00
00001f08: KECCAK256
00001f09: PUSH1 0x00
00001f0b: SWAP1
00001f0c: SLOAD
00001f0d: SWAP1
00001f0e: PUSH2 0x0100
00001f11: EXP
00001f12: SWAP1
00001f13: DIV
00001f14: PUSH1 0xff
00001f16: AND
00001f17: ISZERO
00001f18: PUSH2 0x1f24
00001f1b: JUMPI
00001f1c: PUSH1 0x00
00001f1e: SWAP1
00001f1f: POP
00001f20: PUSH2 0x211b
00001f23: JUMP
00001f24: JUMPDEST
00001f25: PUSH1 0x00
00001f27: PUSH1 0x07
00001f29: PUSH1 0x00
00001f2b: SWAP1
00001f2c: SLOAD
00001f2d: SWAP1
00001f2e: PUSH2 0x0100
00001f31: EXP
00001f32: SWAP1
00001f33: DIV
00001f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f49: AND
00001f4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5f: AND
00001f60: PUSH4 0x99e30ba8
00001f65: ADDRESS
00001f66: DUP6
00001f67: PUSH1 0x40
00001f69: MLOAD
00001f6a: DUP4
00001f6b: PUSH4 0xffffffff
00001f70: AND
00001f71: PUSH1 0xe0
00001f73: SHL
00001f74: DUP2
00001f75: MSTORE
00001f76: PUSH1 0x04
00001f78: ADD
00001f79: DUP1
00001f7a: DUP4
00001f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f90: AND
00001f91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa6: AND
00001fa7: DUP2
00001fa8: MSTORE
00001fa9: PUSH1 0x20
00001fab: ADD
00001fac: DUP3
00001fad: DUP2
00001fae: MSTORE
00001faf: PUSH1 0x20
00001fb1: ADD
00001fb2: SWAP3
00001fb3: POP
00001fb4: POP
00001fb5: POP
00001fb6: PUSH1 0x20
00001fb8: PUSH1 0x40
00001fba: MLOAD
00001fbb: DUP1
00001fbc: DUP4
00001fbd: SUB
00001fbe: DUP2
00001fbf: DUP7
00001fc0: DUP1
00001fc1: EXTCODESIZE
00001fc2: ISZERO
00001fc3: DUP1
00001fc4: ISZERO
00001fc5: PUSH2 0x1fcd
00001fc8: JUMPI
00001fc9: PUSH1 0x00
00001fcb: DUP1
00001fcc: REVERT
00001fcd: JUMPDEST
00001fce: POP
00001fcf: GAS
00001fd0: STATICCALL
00001fd1: ISZERO
00001fd2: DUP1
00001fd3: ISZERO
00001fd4: PUSH2 0x1fe1
00001fd7: JUMPI
00001fd8: RETURNDATASIZE
00001fd9: PUSH1 0x00
00001fdb: DUP1
00001fdc: RETURNDATACOPY
00001fdd: RETURNDATASIZE
00001fde: PUSH1 0x00
00001fe0: REVERT
00001fe1: JUMPDEST
00001fe2: POP
00001fe3: POP
00001fe4: POP
00001fe5: POP
00001fe6: PUSH1 0x40
00001fe8: MLOAD
00001fe9: RETURNDATASIZE
00001fea: PUSH1 0x20
00001fec: DUP2
00001fed: LT
00001fee: ISZERO
00001fef: PUSH2 0x1ff7
00001ff2: JUMPI
00001ff3: PUSH1 0x00
00001ff5: DUP1
00001ff6: REVERT
00001ff7: JUMPDEST
00001ff8: DUP2
00001ff9: ADD
00001ffa: SWAP1
00001ffb: DUP1
00001ffc: DUP1
00001ffd: MLOAD
00001ffe: SWAP1
00001fff: PUSH1 0x20
00002001: ADD
00002002: SWAP1
00002003: SWAP3
00002004: SWAP2
00002005: SWAP1
00002006: POP
00002007: POP
00002008: POP
00002009: SWAP1
0000200a: POP
0000200b: PUSH1 0x00
0000200d: DUP2
0000200e: EQ
0000200f: ISZERO
00002010: PUSH2 0x201d
00002013: JUMPI
00002014: PUSH1 0x00
00002016: SWAP2
00002017: POP
00002018: POP
00002019: PUSH2 0x211b
0000201c: JUMP
0000201d: JUMPDEST
0000201e: PUSH1 0x00
00002020: PUSH1 0x09
00002022: PUSH1 0x00
00002024: SWAP1
00002025: SLOAD
00002026: SWAP1
00002027: PUSH2 0x0100
0000202a: EXP
0000202b: SWAP1
0000202c: DIV
0000202d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002042: AND
00002043: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002058: AND
00002059: PUSH4 0x94cee7b3
0000205e: DUP6
0000205f: PUSH1 0x40
00002061: MLOAD
00002062: DUP3
00002063: PUSH4 0xffffffff
00002068: AND
00002069: PUSH1 0xe0
0000206b: SHL
0000206c: DUP2
0000206d: MSTORE
0000206e: PUSH1 0x04
00002070: ADD
00002071: DUP1
00002072: DUP3
00002073: DUP2
00002074: MSTORE
00002075: PUSH1 0x20
00002077: ADD
00002078: SWAP2
00002079: POP
0000207a: POP
0000207b: PUSH1 0x20
0000207d: PUSH1 0x40
0000207f: MLOAD
00002080: DUP1
00002081: DUP4
00002082: SUB
00002083: DUP2
00002084: DUP7
00002085: DUP1
00002086: EXTCODESIZE
00002087: ISZERO
00002088: DUP1
00002089: ISZERO
0000208a: PUSH2 0x2092
0000208d: JUMPI
0000208e: PUSH1 0x00
00002090: DUP1
00002091: REVERT
00002092: JUMPDEST
00002093: POP
00002094: GAS
00002095: STATICCALL
00002096: ISZERO
00002097: DUP1
00002098: ISZERO
00002099: PUSH2 0x20a6
0000209c: JUMPI
0000209d: RETURNDATASIZE
0000209e: PUSH1 0x00
000020a0: DUP1
000020a1: RETURNDATACOPY
000020a2: RETURNDATASIZE
000020a3: PUSH1 0x00
000020a5: REVERT
000020a6: JUMPDEST
000020a7: POP
000020a8: POP
000020a9: POP
000020aa: POP
000020ab: PUSH1 0x40
000020ad: MLOAD
000020ae: RETURNDATASIZE
000020af: PUSH1 0x20
000020b1: DUP2
000020b2: LT
000020b3: ISZERO
000020b4: PUSH2 0x20bc
000020b7: JUMPI
000020b8: PUSH1 0x00
000020ba: DUP1
000020bb: REVERT
000020bc: JUMPDEST
000020bd: DUP2
000020be: ADD
000020bf: SWAP1
000020c0: DUP1
000020c1: DUP1
000020c2: MLOAD
000020c3: SWAP1
000020c4: PUSH1 0x20
000020c6: ADD
000020c7: SWAP1
000020c8: SWAP3
000020c9: SWAP2
000020ca: SWAP1
000020cb: POP
000020cc: POP
000020cd: POP
000020ce: SWAP1
000020cf: POP
000020d0: PUSH1 0x00
000020d2: DUP2
000020d3: EQ
000020d4: ISZERO
000020d5: PUSH2 0x20e3
000020d8: JUMPI
000020d9: PUSH1 0x00
000020db: SWAP3
000020dc: POP
000020dd: POP
000020de: POP
000020df: PUSH2 0x211b
000020e2: JUMP
000020e3: JUMPDEST
000020e4: PUSH1 0x00
000020e6: PUSH2 0x2112
000020e9: PUSH8 0x0de0b6b3a7640000
000020f2: PUSH2 0x2104
000020f5: DUP6
000020f6: DUP6
000020f7: PUSH2 0x2d9e
000020fa: SWAP1
000020fb: SWAP2
000020fc: SWAP1
000020fd: PUSH4 0xffffffff
00002102: AND
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH2 0x2e24
00002108: SWAP1
00002109: SWAP2
0000210a: SWAP1
0000210b: PUSH4 0xffffffff
00002110: AND
00002111: JUMP
00002112: JUMPDEST
00002113: SWAP1
00002114: POP
00002115: DUP1
00002116: SWAP4
00002117: POP
00002118: POP
00002119: POP
0000211a: POP
0000211b: JUMPDEST
0000211c: SWAP2
0000211d: SWAP1
0000211e: POP
0000211f: JUMP
00002120: JUMPDEST
00002121: PUSH1 0x00
00002123: PUSH1 0x03
00002125: PUSH1 0x00
00002127: DUP4
00002128: DUP2
00002129: MSTORE
0000212a: PUSH1 0x20
0000212c: ADD
0000212d: SWAP1
0000212e: DUP2
0000212f: MSTORE
00002130: PUSH1 0x20
00002132: ADD
00002133: PUSH1 0x00
00002135: KECCAK256
00002136: PUSH1 0x00
00002138: SWAP1
00002139: SLOAD
0000213a: SWAP1
0000213b: PUSH2 0x0100
0000213e: EXP
0000213f: SWAP1
00002140: DIV
00002141: PUSH1 0xff
00002143: AND
00002144: PUSH2 0x2150
00002147: JUMPI
00002148: PUSH1 0x00
0000214a: SWAP1
0000214b: POP
0000214c: PUSH2 0x2361
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH1 0x02
00002153: PUSH1 0x00
00002155: DUP4
00002156: DUP2
00002157: MSTORE
00002158: PUSH1 0x20
0000215a: ADD
0000215b: SWAP1
0000215c: DUP2
0000215d: MSTORE
0000215e: PUSH1 0x20
00002160: ADD
00002161: PUSH1 0x00
00002163: KECCAK256
00002164: PUSH1 0x00
00002166: DUP5
00002167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217c: AND
0000217d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002192: AND
00002193: DUP2
00002194: MSTORE
00002195: PUSH1 0x20
00002197: ADD
00002198: SWAP1
00002199: DUP2
0000219a: MSTORE
0000219b: PUSH1 0x20
0000219d: ADD
0000219e: PUSH1 0x00
000021a0: KECCAK256
000021a1: PUSH1 0x00
000021a3: SWAP1
000021a4: SLOAD
000021a5: SWAP1
000021a6: PUSH2 0x0100
000021a9: EXP
000021aa: SWAP1
000021ab: DIV
000021ac: PUSH1 0xff
000021ae: AND
000021af: ISZERO
000021b0: PUSH2 0x21bc
000021b3: JUMPI
000021b4: PUSH1 0x00
000021b6: SWAP1
000021b7: POP
000021b8: PUSH2 0x2361
000021bb: JUMP
000021bc: JUMPDEST
000021bd: PUSH1 0x00
000021bf: DUP1
000021c0: PUSH1 0x08
000021c2: PUSH1 0x00
000021c4: SWAP1
000021c5: SLOAD
000021c6: SWAP1
000021c7: PUSH2 0x0100
000021ca: EXP
000021cb: SWAP1
000021cc: DIV
000021cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e2: AND
000021e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f8: AND
000021f9: PUSH4 0x42ce39cb
000021fe: DUP7
000021ff: DUP7
00002200: PUSH1 0x40
00002202: MLOAD
00002203: DUP4
00002204: PUSH4 0xffffffff
00002209: AND
0000220a: PUSH1 0xe0
0000220c: SHL
0000220d: DUP2
0000220e: MSTORE
0000220f: PUSH1 0x04
00002211: ADD
00002212: DUP1
00002213: DUP4
00002214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002229: AND
0000222a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223f: AND
00002240: DUP2
00002241: MSTORE
00002242: PUSH1 0x20
00002244: ADD
00002245: DUP3
00002246: DUP2
00002247: MSTORE
00002248: PUSH1 0x20
0000224a: ADD
0000224b: SWAP3
0000224c: POP
0000224d: POP
0000224e: POP
0000224f: PUSH1 0x60
00002251: PUSH1 0x40
00002253: MLOAD
00002254: DUP1
00002255: DUP4
00002256: SUB
00002257: DUP2
00002258: DUP7
00002259: DUP1
0000225a: EXTCODESIZE
0000225b: ISZERO
0000225c: DUP1
0000225d: ISZERO
0000225e: PUSH2 0x2266
00002261: JUMPI
00002262: PUSH1 0x00
00002264: DUP1
00002265: REVERT
00002266: JUMPDEST
00002267: POP
00002268: GAS
00002269: STATICCALL
0000226a: ISZERO
0000226b: DUP1
0000226c: ISZERO
0000226d: PUSH2 0x227a
00002270: JUMPI
00002271: RETURNDATASIZE
00002272: PUSH1 0x00
00002274: DUP1
00002275: RETURNDATACOPY
00002276: RETURNDATASIZE
00002277: PUSH1 0x00
00002279: REVERT
0000227a: JUMPDEST
0000227b: POP
0000227c: POP
0000227d: POP
0000227e: POP
0000227f: PUSH1 0x40
00002281: MLOAD
00002282: RETURNDATASIZE
00002283: PUSH1 0x60
00002285: DUP2
00002286: LT
00002287: ISZERO
00002288: PUSH2 0x2290
0000228b: JUMPI
0000228c: PUSH1 0x00
0000228e: DUP1
0000228f: REVERT
00002290: JUMPDEST
00002291: DUP2
00002292: ADD
00002293: SWAP1
00002294: DUP1
00002295: DUP1
00002296: MLOAD
00002297: SWAP1
00002298: PUSH1 0x20
0000229a: ADD
0000229b: SWAP1
0000229c: SWAP3
0000229d: SWAP2
0000229e: SWAP1
0000229f: DUP1
000022a0: MLOAD
000022a1: SWAP1
000022a2: PUSH1 0x20
000022a4: ADD
000022a5: SWAP1
000022a6: SWAP3
000022a7: SWAP2
000022a8: SWAP1
000022a9: DUP1
000022aa: MLOAD
000022ab: SWAP1
000022ac: PUSH1 0x20
000022ae: ADD
000022af: SWAP1
000022b0: SWAP3
000022b1: SWAP2
000022b2: SWAP1
000022b3: POP
000022b4: POP
000022b5: POP
000022b6: SWAP3
000022b7: POP
000022b8: POP
000022b9: SWAP2
000022ba: POP
000022bb: PUSH1 0x00
000022bd: DUP3
000022be: EQ
000022bf: ISZERO
000022c0: PUSH2 0x22ce
000022c3: JUMPI
000022c4: PUSH1 0x00
000022c6: SWAP3
000022c7: POP
000022c8: POP
000022c9: POP
000022ca: PUSH2 0x2361
000022cd: JUMP
000022ce: JUMPDEST
000022cf: ADDRESS
000022d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e5: AND
000022e6: DUP2
000022e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fc: AND
000022fd: EQ
000022fe: PUSH2 0x230c
00002301: JUMPI
00002302: PUSH1 0x00
00002304: SWAP3
00002305: POP
00002306: POP
00002307: POP
00002308: PUSH2 0x2361
0000230b: JUMP
0000230c: JUMPDEST
0000230d: PUSH2 0x2314
00002310: PUSH2 0x32dd
00002313: JUMP
00002314: JUMPDEST
00002315: PUSH1 0x04
00002317: PUSH1 0x00
00002319: DUP7
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: ADD
0000231f: SWAP1
00002320: DUP2
00002321: MSTORE
00002322: PUSH1 0x20
00002324: ADD
00002325: PUSH1 0x00
00002327: KECCAK256
00002328: PUSH1 0x40
0000232a: MLOAD
0000232b: DUP1
0000232c: PUSH1 0x40
0000232e: ADD
0000232f: PUSH1 0x40
00002331: MSTORE
00002332: SWAP1
00002333: DUP2
00002334: PUSH1 0x00
00002336: DUP3
00002337: ADD
00002338: SLOAD
00002339: DUP2
0000233a: MSTORE
0000233b: PUSH1 0x20
0000233d: ADD
0000233e: PUSH1 0x01
00002340: DUP3
00002341: ADD
00002342: SLOAD
00002343: DUP2
00002344: MSTORE
00002345: POP
00002346: POP
00002347: SWAP1
00002348: POP
00002349: PUSH2 0x235b
0000234c: DUP4
0000234d: DUP3
0000234e: PUSH1 0x20
00002350: ADD
00002351: MLOAD
00002352: DUP4
00002353: PUSH1 0x00
00002355: ADD
00002356: MLOAD
00002357: PUSH2 0x2e6e
0000235a: JUMP
0000235b: JUMPDEST
0000235c: SWAP4
0000235d: POP
0000235e: POP
0000235f: POP
00002360: POP
00002361: JUMPDEST
00002362: SWAP3
00002363: SWAP2
00002364: POP
00002365: POP
00002366: JUMP
00002367: JUMPDEST
00002368: PUSH1 0x09
0000236a: PUSH1 0x00
0000236c: SWAP1
0000236d: SLOAD
0000236e: SWAP1
0000236f: PUSH2 0x0100
00002372: EXP
00002373: SWAP1
00002374: DIV
00002375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000238a: AND
0000238b: DUP2
0000238c: JUMP
0000238d: JUMPDEST
0000238e: PUSH1 0x08
00002390: PUSH1 0x00
00002392: SWAP1
00002393: SLOAD
00002394: SWAP1
00002395: PUSH2 0x0100
00002398: EXP
00002399: SWAP1
0000239a: DIV
0000239b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b0: AND
000023b1: DUP2
000023b2: JUMP
000023b3: JUMPDEST
000023b4: PUSH2 0x23bb
000023b7: PUSH2 0x2b0a
000023ba: JUMP
000023bb: JUMPDEST
000023bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d1: AND
000023d2: PUSH1 0x00
000023d4: DUP1
000023d5: SWAP1
000023d6: SLOAD
000023d7: SWAP1
000023d8: PUSH2 0x0100
000023db: EXP
000023dc: SWAP1
000023dd: DIV
000023de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f3: AND
000023f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002409: AND
0000240a: EQ
0000240b: PUSH2 0x247c
0000240e: JUMPI
0000240f: PUSH1 0x40
00002411: MLOAD
00002412: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002433: DUP2
00002434: MSTORE
00002435: PUSH1 0x04
00002437: ADD
00002438: DUP1
00002439: DUP1
0000243a: PUSH1 0x20
0000243c: ADD
0000243d: DUP3
0000243e: DUP2
0000243f: SUB
00002440: DUP3
00002441: MSTORE
00002442: PUSH1 0x20
00002444: DUP2
00002445: MSTORE
00002446: PUSH1 0x20
00002448: ADD
00002449: DUP1
0000244a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000246b: DUP2
0000246c: MSTORE
0000246d: POP
0000246e: PUSH1 0x20
00002470: ADD
00002471: SWAP2
00002472: POP
00002473: POP
00002474: PUSH1 0x40
00002476: MLOAD
00002477: DUP1
00002478: SWAP2
00002479: SUB
0000247a: SWAP1
0000247b: REVERT
0000247c: JUMPDEST
0000247d: PUSH1 0x00
0000247f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002494: AND
00002495: DUP2
00002496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ab: AND
000024ac: EQ
000024ad: ISZERO
000024ae: PUSH2 0x2502
000024b1: JUMPI
000024b2: PUSH1 0x40
000024b4: MLOAD
000024b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024d6: DUP2
000024d7: MSTORE
000024d8: PUSH1 0x04
000024da: ADD
000024db: DUP1
000024dc: DUP1
000024dd: PUSH1 0x20
000024df: ADD
000024e0: DUP3
000024e1: DUP2
000024e2: SUB
000024e3: DUP3
000024e4: MSTORE
000024e5: PUSH1 0x26
000024e7: DUP2
000024e8: MSTORE
000024e9: PUSH1 0x20
000024eb: ADD
000024ec: DUP1
000024ed: PUSH2 0x32f8
000024f0: PUSH1 0x26
000024f2: SWAP2
000024f3: CODECOPY
000024f4: PUSH1 0x40
000024f6: ADD
000024f7: SWAP2
000024f8: POP
000024f9: POP
000024fa: PUSH1 0x40
000024fc: MLOAD
000024fd: DUP1
000024fe: SWAP2
000024ff: SUB
00002500: SWAP1
00002501: REVERT
00002502: JUMPDEST
00002503: DUP1
00002504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002519: AND
0000251a: PUSH1 0x00
0000251c: DUP1
0000251d: SWAP1
0000251e: SLOAD
0000251f: SWAP1
00002520: PUSH2 0x0100
00002523: EXP
00002524: SWAP1
00002525: DIV
00002526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000253b: AND
0000253c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002551: AND
00002552: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002573: PUSH1 0x40
00002575: MLOAD
00002576: PUSH1 0x40
00002578: MLOAD
00002579: DUP1
0000257a: SWAP2
0000257b: SUB
0000257c: SWAP1
0000257d: LOG3
0000257e: DUP1
0000257f: PUSH1 0x00
00002581: DUP1
00002582: PUSH2 0x0100
00002585: EXP
00002586: DUP2
00002587: SLOAD
00002588: DUP2
00002589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000259e: MUL
0000259f: NOT
000025a0: AND
000025a1: SWAP1
000025a2: DUP4
000025a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025b8: AND
000025b9: MUL
000025ba: OR
000025bb: SWAP1
000025bc: SSTORE
000025bd: POP
000025be: POP
000025bf: JUMP
000025c0: JUMPDEST
000025c1: PUSH1 0x03
000025c3: PUSH1 0x00
000025c5: DUP3
000025c6: DUP2
000025c7: MSTORE
000025c8: PUSH1 0x20
000025ca: ADD
000025cb: SWAP1
000025cc: DUP2
000025cd: MSTORE
000025ce: PUSH1 0x20
000025d0: ADD
000025d1: PUSH1 0x00
000025d3: KECCAK256
000025d4: PUSH1 0x00
000025d6: SWAP1
000025d7: SLOAD
000025d8: SWAP1
000025d9: PUSH2 0x0100
000025dc: EXP
000025dd: SWAP1
000025de: DIV
000025df: PUSH1 0xff
000025e1: AND
000025e2: ISZERO
000025e3: PUSH2 0x2637
000025e6: JUMPI
000025e7: PUSH1 0x40
000025e9: MLOAD
000025ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000260b: DUP2
0000260c: MSTORE
0000260d: PUSH1 0x04
0000260f: ADD
00002610: DUP1
00002611: DUP1
00002612: PUSH1 0x20
00002614: ADD
00002615: DUP3
00002616: DUP2
00002617: SUB
00002618: DUP3
00002619: MSTORE
0000261a: PUSH1 0x21
0000261c: DUP2
0000261d: MSTORE
0000261e: PUSH1 0x20
00002620: ADD
00002621: DUP1
00002622: PUSH2 0x349d
00002625: PUSH1 0x21
00002627: SWAP2
00002628: CODECOPY
00002629: PUSH1 0x40
0000262b: ADD
0000262c: SWAP2
0000262d: POP
0000262e: POP
0000262f: PUSH1 0x40
00002631: MLOAD
00002632: DUP1
00002633: SWAP2
00002634: SUB
00002635: SWAP1
00002636: REVERT
00002637: JUMPDEST
00002638: PUSH1 0x00
0000263a: PUSH2 0x2642
0000263d: DUP3
0000263e: PUSH2 0x1ef3
00002641: JUMP
00002642: JUMPDEST
00002643: SWAP1
00002644: POP
00002645: PUSH1 0x00
00002647: DUP2
00002648: GT
00002649: PUSH2 0x26ba
0000264c: JUMPI
0000264d: PUSH1 0x40
0000264f: MLOAD
00002650: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002671: DUP2
00002672: MSTORE
00002673: PUSH1 0x04
00002675: ADD
00002676: DUP1
00002677: DUP1
00002678: PUSH1 0x20
0000267a: ADD
0000267b: DUP3
0000267c: DUP2
0000267d: SUB
0000267e: DUP3
0000267f: MSTORE
00002680: PUSH1 0x1d
00002682: DUP2
00002683: MSTORE
00002684: PUSH1 0x20
00002686: ADD
00002687: DUP1
00002688: PUSH32 0x63524d61737465723a206e6f207265776172647320746f20636c61696d000000
000026a9: DUP2
000026aa: MSTORE
000026ab: POP
000026ac: PUSH1 0x20
000026ae: ADD
000026af: SWAP2
000026b0: POP
000026b1: POP
000026b2: PUSH1 0x40
000026b4: MLOAD
000026b5: DUP1
000026b6: SWAP2
000026b7: SUB
000026b8: SWAP1
000026b9: REVERT
000026ba: JUMPDEST
000026bb: PUSH1 0x00
000026bd: SELFBALANCE
000026be: SWAP1
000026bf: POP
000026c0: PUSH1 0x09
000026c2: PUSH1 0x00
000026c4: SWAP1
000026c5: SLOAD
000026c6: SWAP1
000026c7: PUSH2 0x0100
000026ca: EXP
000026cb: SWAP1
000026cc: DIV
000026cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e2: AND
000026e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f8: AND
000026f9: PUSH4 0x53fa2eb7
000026fe: ADDRESS
000026ff: DUP6
00002700: PUSH1 0x40
00002702: MLOAD
00002703: DUP4
00002704: PUSH4 0xffffffff
00002709: AND
0000270a: PUSH1 0xe0
0000270c: SHL
0000270d: DUP2
0000270e: MSTORE
0000270f: PUSH1 0x04
00002711: ADD
00002712: DUP1
00002713: DUP4
00002714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002729: AND
0000272a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000273f: AND
00002740: DUP2
00002741: MSTORE
00002742: PUSH1 0x20
00002744: ADD
00002745: DUP3
00002746: DUP2
00002747: MSTORE
00002748: PUSH1 0x20
0000274a: ADD
0000274b: SWAP3
0000274c: POP
0000274d: POP
0000274e: POP
0000274f: PUSH1 0x20
00002751: PUSH1 0x40
00002753: MLOAD
00002754: DUP1
00002755: DUP4
00002756: SUB
00002757: DUP2
00002758: PUSH1 0x00
0000275a: DUP8
0000275b: DUP1
0000275c: EXTCODESIZE
0000275d: ISZERO
0000275e: DUP1
0000275f: ISZERO
00002760: PUSH2 0x2768
00002763: JUMPI
00002764: PUSH1 0x00
00002766: DUP1
00002767: REVERT
00002768: JUMPDEST
00002769: POP
0000276a: GAS
0000276b: CALL
0000276c: ISZERO
0000276d: DUP1
0000276e: ISZERO
0000276f: PUSH2 0x277c
00002772: JUMPI
00002773: RETURNDATASIZE
00002774: PUSH1 0x00
00002776: DUP1
00002777: RETURNDATACOPY
00002778: RETURNDATASIZE
00002779: PUSH1 0x00
0000277b: REVERT
0000277c: JUMPDEST
0000277d: POP
0000277e: POP
0000277f: POP
00002780: POP
00002781: PUSH1 0x40
00002783: MLOAD
00002784: RETURNDATASIZE
00002785: PUSH1 0x20
00002787: DUP2
00002788: LT
00002789: ISZERO
0000278a: PUSH2 0x2792
0000278d: JUMPI
0000278e: PUSH1 0x00
00002790: DUP1
00002791: REVERT
00002792: JUMPDEST
00002793: DUP2
00002794: ADD
00002795: SWAP1
00002796: DUP1
00002797: DUP1
00002798: MLOAD
00002799: SWAP1
0000279a: PUSH1 0x20
0000279c: ADD
0000279d: SWAP1
0000279e: SWAP3
0000279f: SWAP2
000027a0: SWAP1
000027a1: POP
000027a2: POP
000027a3: POP
000027a4: POP
000027a5: PUSH1 0x00
000027a7: PUSH2 0x27b9
000027aa: DUP3
000027ab: SELFBALANCE
000027ac: PUSH2 0x2cb9
000027af: SWAP1
000027b0: SWAP2
000027b1: SWAP1
000027b2: PUSH4 0xffffffff
000027b7: AND
000027b8: JUMP
000027b9: JUMPDEST
000027ba: SWAP1
000027bb: POP
000027bc: PUSH1 0x00
000027be: DUP1
000027bf: PUSH1 0x08
000027c1: PUSH1 0x00
000027c3: SWAP1
000027c4: SLOAD
000027c5: SWAP1
000027c6: PUSH2 0x0100
000027c9: EXP
000027ca: SWAP1
000027cb: DIV
000027cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e1: AND
000027e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f7: AND
000027f8: PUSH4 0x16554d62
000027fd: ADDRESS
000027fe: DUP9
000027ff: PUSH1 0x40
00002801: MLOAD
00002802: DUP4
00002803: PUSH4 0xffffffff
00002808: AND
00002809: PUSH1 0xe0
0000280b: SHL
0000280c: DUP2
0000280d: MSTORE
0000280e: PUSH1 0x04
00002810: ADD
00002811: DUP1
00002812: DUP4
00002813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002828: AND
00002829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000283e: AND
0000283f: DUP2
00002840: MSTORE
00002841: PUSH1 0x20
00002843: ADD
00002844: DUP3
00002845: DUP2
00002846: MSTORE
00002847: PUSH1 0x20
00002849: ADD
0000284a: SWAP3
0000284b: POP
0000284c: POP
0000284d: POP
0000284e: PUSH1 0x60
00002850: PUSH1 0x40
00002852: MLOAD
00002853: DUP1
00002854: DUP4
00002855: SUB
00002856: DUP2
00002857: DUP7
00002858: DUP1
00002859: EXTCODESIZE
0000285a: ISZERO
0000285b: DUP1
0000285c: ISZERO
0000285d: PUSH2 0x2865
00002860: JUMPI
00002861: PUSH1 0x00
00002863: DUP1
00002864: REVERT
00002865: JUMPDEST
00002866: POP
00002867: GAS
00002868: STATICCALL
00002869: ISZERO
0000286a: DUP1
0000286b: ISZERO
0000286c: PUSH2 0x2879
0000286f: JUMPI
00002870: RETURNDATASIZE
00002871: PUSH1 0x00
00002873: DUP1
00002874: RETURNDATACOPY
00002875: RETURNDATASIZE
00002876: PUSH1 0x00
00002878: REVERT
00002879: JUMPDEST
0000287a: POP
0000287b: POP
0000287c: POP
0000287d: POP
0000287e: PUSH1 0x40
00002880: MLOAD
00002881: RETURNDATASIZE
00002882: PUSH1 0x60
00002884: DUP2
00002885: LT
00002886: ISZERO
00002887: PUSH2 0x288f
0000288a: JUMPI
0000288b: PUSH1 0x00
0000288d: DUP1
0000288e: REVERT
0000288f: JUMPDEST
00002890: DUP2
00002891: ADD
00002892: SWAP1
00002893: DUP1
00002894: DUP1
00002895: MLOAD
00002896: SWAP1
00002897: PUSH1 0x20
00002899: ADD
0000289a: SWAP1
0000289b: SWAP3
0000289c: SWAP2
0000289d: SWAP1
0000289e: DUP1
0000289f: MLOAD
000028a0: SWAP1
000028a1: PUSH1 0x20
000028a3: ADD
000028a4: SWAP1
000028a5: SWAP3
000028a6: SWAP2
000028a7: SWAP1
000028a8: DUP1
000028a9: MLOAD
000028aa: SWAP1
000028ab: PUSH1 0x20
000028ad: ADD
000028ae: SWAP1
000028af: SWAP3
000028b0: SWAP2
000028b1: SWAP1
000028b2: POP
000028b3: POP
000028b4: POP
000028b5: POP
000028b6: SWAP2
000028b7: POP
000028b8: SWAP2
000028b9: POP
000028ba: PUSH1 0x00
000028bc: PUSH1 0x05
000028be: PUSH2 0x28c6
000028c1: DUP9
000028c2: PUSH2 0x2d03
000028c5: JUMP
000028c6: JUMPDEST
000028c7: DUP2
000028c8: SLOAD
000028c9: DUP2
000028ca: LT
000028cb: PUSH2 0x28d0
000028ce: JUMPI
000028cf: INVALID
000028d0: JUMPDEST
000028d1: SWAP1
000028d2: PUSH1 0x00
000028d4: MSTORE
000028d5: PUSH1 0x20
000028d7: PUSH1 0x00
000028d9: KECCAK256
000028da: SWAP1
000028db: PUSH1 0x03
000028dd: MUL
000028de: ADD
000028df: SWAP1
000028e0: POP
000028e1: PUSH1 0x00
000028e3: PUSH2 0x290d
000028e6: PUSH2 0x2710
000028e9: PUSH2 0x28ff
000028ec: DUP5
000028ed: PUSH1 0x01
000028ef: ADD
000028f0: SLOAD
000028f1: DUP9
000028f2: PUSH2 0x2d9e
000028f5: SWAP1
000028f6: SWAP2
000028f7: SWAP1
000028f8: PUSH4 0xffffffff
000028fd: AND
000028fe: JUMP
000028ff: JUMPDEST
00002900: PUSH2 0x2e24
00002903: SWAP1
00002904: SWAP2
00002905: SWAP1
00002906: PUSH4 0xffffffff
0000290b: AND
0000290c: JUMP
0000290d: JUMPDEST
0000290e: SWAP1
0000290f: POP
00002910: PUSH1 0x00
00002912: PUSH2 0x2924
00002915: DUP3
00002916: DUP8
00002917: PUSH2 0x2cb9
0000291a: SWAP1
0000291b: SWAP2
0000291c: SWAP1
0000291d: PUSH4 0xffffffff
00002922: AND
00002923: JUMP
00002924: JUMPDEST
00002925: SWAP1
00002926: POP
00002927: PUSH1 0x00
00002929: PUSH2 0x2945
0000292c: DUP6
0000292d: PUSH2 0x293f
00002930: DUP8
00002931: DUP10
00002932: PUSH2 0x2c31
00002935: SWAP1
00002936: SWAP2
00002937: SWAP1
00002938: PUSH4 0xffffffff
0000293d: AND
0000293e: JUMP
0000293f: JUMPDEST
00002940: DUP5
00002941: PUSH2 0x2e6e
00002944: JUMP
00002945: JUMPDEST
00002946: SWAP1
00002947: POP
00002948: PUSH1 0x00
0000294a: PUSH2 0x295c
0000294d: DUP3
0000294e: DUP10
0000294f: PUSH2 0x2cb9
00002952: SWAP1
00002953: SWAP2
00002954: SWAP1
00002955: PUSH4 0xffffffff
0000295a: AND
0000295b: JUMP
0000295c: JUMPDEST
0000295d: SWAP1
0000295e: POP
0000295f: PUSH1 0x01
00002961: PUSH1 0x03
00002963: PUSH1 0x00
00002965: DUP14
00002966: DUP2
00002967: MSTORE
00002968: PUSH1 0x20
0000296a: ADD
0000296b: SWAP1
0000296c: DUP2
0000296d: MSTORE
0000296e: PUSH1 0x20
00002970: ADD
00002971: PUSH1 0x00
00002973: KECCAK256
00002974: PUSH1 0x00
00002976: PUSH2 0x0100
00002979: EXP
0000297a: DUP2
0000297b: SLOAD
0000297c: DUP2
0000297d: PUSH1 0xff
0000297f: MUL
00002980: NOT
00002981: AND
00002982: SWAP1
00002983: DUP4
00002984: ISZERO
00002985: ISZERO
00002986: MUL
00002987: OR
00002988: SWAP1
00002989: SSTORE
0000298a: POP
0000298b: PUSH1 0x40
0000298d: MLOAD
0000298e: DUP1
0000298f: PUSH1 0x40
00002991: ADD
00002992: PUSH1 0x40
00002994: MSTORE
00002995: DUP1
00002996: DUP4
00002997: DUP2
00002998: MSTORE
00002999: PUSH1 0x20
0000299b: ADD
0000299c: DUP8
0000299d: DUP2
0000299e: MSTORE
0000299f: POP
000029a0: PUSH1 0x04
000029a2: PUSH1 0x00
000029a4: DUP14
000029a5: DUP2
000029a6: MSTORE
000029a7: PUSH1 0x20
000029a9: ADD
000029aa: SWAP1
000029ab: DUP2
000029ac: MSTORE
000029ad: PUSH1 0x20
000029af: ADD
000029b0: PUSH1 0x00
000029b2: KECCAK256
000029b3: PUSH1 0x00
000029b5: DUP3
000029b6: ADD
000029b7: MLOAD
000029b8: DUP2
000029b9: PUSH1 0x00
000029bb: ADD
000029bc: SSTORE
000029bd: PUSH1 0x20
000029bf: DUP3
000029c0: ADD
000029c1: MLOAD
000029c2: DUP2
000029c3: PUSH1 0x01
000029c5: ADD
000029c6: SSTORE
000029c7: SWAP1
000029c8: POP
000029c9: POP
000029ca: PUSH1 0x00
000029cc: PUSH2 0x29d3
000029cf: PUSH2 0x15af
000029d2: JUMP
000029d3: JUMPDEST
000029d4: SWAP1
000029d5: POP
000029d6: DUP1
000029d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ec: AND
000029ed: PUSH2 0x08fc
000029f0: DUP4
000029f1: SWAP1
000029f2: DUP2
000029f3: ISZERO
000029f4: MUL
000029f5: SWAP1
000029f6: PUSH1 0x40
000029f8: MLOAD
000029f9: PUSH1 0x00
000029fb: PUSH1 0x40
000029fd: MLOAD
000029fe: DUP1
000029ff: DUP4
00002a00: SUB
00002a01: DUP2
00002a02: DUP6
00002a03: DUP9
00002a04: DUP9
00002a05: CALL
00002a06: SWAP4
00002a07: POP
00002a08: POP
00002a09: POP
00002a0a: POP
00002a0b: PUSH2 0x2a5f
00002a0e: JUMPI
00002a0f: PUSH1 0x40
00002a11: MLOAD
00002a12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a33: DUP2
00002a34: MSTORE
00002a35: PUSH1 0x04
00002a37: ADD
00002a38: DUP1
00002a39: DUP1
00002a3a: PUSH1 0x20
00002a3c: ADD
00002a3d: DUP3
00002a3e: DUP2
00002a3f: SUB
00002a40: DUP3
00002a41: MSTORE
00002a42: PUSH1 0x29
00002a44: DUP2
00002a45: MSTORE
00002a46: PUSH1 0x20
00002a48: ADD
00002a49: DUP1
00002a4a: PUSH2 0x33ce
00002a4d: PUSH1 0x29
00002a4f: SWAP2
00002a50: CODECOPY
00002a51: PUSH1 0x40
00002a53: ADD
00002a54: SWAP2
00002a55: POP
00002a56: POP
00002a57: PUSH1 0x40
00002a59: MLOAD
00002a5a: DUP1
00002a5b: SWAP2
00002a5c: SUB
00002a5d: SWAP1
00002a5e: REVERT
00002a5f: JUMPDEST
00002a60: DUP6
00002a61: PUSH1 0x02
00002a63: ADD
00002a64: PUSH1 0x00
00002a66: SWAP1
00002a67: SLOAD
00002a68: SWAP1
00002a69: PUSH2 0x0100
00002a6c: EXP
00002a6d: SWAP1
00002a6e: DIV
00002a6f: PUSH1 0xff
00002a71: AND
00002a72: PUSH2 0x2a7f
00002a75: JUMPI
00002a76: PUSH2 0x2a7e
00002a79: DUP7
00002a7a: PUSH2 0x2bca
00002a7d: JUMP
00002a7e: JUMPDEST
00002a7f: JUMPDEST
00002a80: DUP1
00002a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a96: AND
00002a97: DUP13
00002a98: PUSH32 0xb282091ee0883273f120e3820d7c6915144e95cfb4b341deee844602051473dd
00002ab9: DUP12
00002aba: DUP10
00002abb: PUSH1 0x01
00002abd: ADD
00002abe: SLOAD
00002abf: DUP10
00002ac0: PUSH2 0x2ad2
00002ac3: DUP12
00002ac4: DUP10
00002ac5: PUSH2 0x2cb9
00002ac8: SWAP1
00002ac9: SWAP2
00002aca: SWAP1
00002acb: PUSH4 0xffffffff
00002ad0: AND
00002ad1: JUMP
00002ad2: JUMPDEST
00002ad3: PUSH1 0x40
00002ad5: MLOAD
00002ad6: DUP1
00002ad7: DUP6
00002ad8: DUP2
00002ad9: MSTORE
00002ada: PUSH1 0x20
00002adc: ADD
00002add: DUP5
00002ade: DUP2
00002adf: MSTORE
00002ae0: PUSH1 0x20
00002ae2: ADD
00002ae3: DUP4
00002ae4: DUP2
00002ae5: MSTORE
00002ae6: PUSH1 0x20
00002ae8: ADD
00002ae9: DUP3
00002aea: DUP2
00002aeb: MSTORE
00002aec: PUSH1 0x20
00002aee: ADD
00002aef: SWAP5
00002af0: POP
00002af1: POP
00002af2: POP
00002af3: POP
00002af4: POP
00002af5: PUSH1 0x40
00002af7: MLOAD
00002af8: DUP1
00002af9: SWAP2
00002afa: SUB
00002afb: SWAP1
00002afc: LOG3
00002afd: POP
00002afe: POP
00002aff: POP
00002b00: POP
00002b01: POP
00002b02: POP
00002b03: POP
00002b04: POP
00002b05: POP
00002b06: POP
00002b07: POP
00002b08: POP
00002b09: JUMP
00002b0a: JUMPDEST
00002b0b: PUSH1 0x00
00002b0d: CALLER
00002b0e: SWAP1
00002b0f: POP
00002b10: SWAP1
00002b11: JUMP
00002b12: JUMPDEST
00002b13: PUSH2 0x2bc5
00002b16: DUP4
00002b17: PUSH4 0xa9059cbb
00002b1c: PUSH1 0xe0
00002b1e: SHL
00002b1f: DUP5
00002b20: DUP5
00002b21: PUSH1 0x40
00002b23: MLOAD
00002b24: PUSH1 0x24
00002b26: ADD
00002b27: DUP1
00002b28: DUP4
00002b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b3e: AND
00002b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b54: AND
00002b55: DUP2
00002b56: MSTORE
00002b57: PUSH1 0x20
00002b59: ADD
00002b5a: DUP3
00002b5b: DUP2
00002b5c: MSTORE
00002b5d: PUSH1 0x20
00002b5f: ADD
00002b60: SWAP3
00002b61: POP
00002b62: POP
00002b63: POP
00002b64: PUSH1 0x40
00002b66: MLOAD
00002b67: PUSH1 0x20
00002b69: DUP2
00002b6a: DUP4
00002b6b: SUB
00002b6c: SUB
00002b6d: DUP2
00002b6e: MSTORE
00002b6f: SWAP1
00002b70: PUSH1 0x40
00002b72: MSTORE
00002b73: SWAP1
00002b74: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b91: NOT
00002b92: AND
00002b93: PUSH1 0x20
00002b95: DUP3
00002b96: ADD
00002b97: DUP1
00002b98: MLOAD
00002b99: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bb6: DUP4
00002bb7: DUP2
00002bb8: DUP4
00002bb9: AND
00002bba: OR
00002bbb: DUP4
00002bbc: MSTORE
00002bbd: POP
00002bbe: POP
00002bbf: POP
00002bc0: POP
00002bc1: PUSH2 0x2e9e
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: POP
00002bc7: POP
00002bc8: POP
00002bc9: JUMP
00002bca: JUMPDEST
00002bcb: PUSH1 0x01
00002bcd: DUP2
00002bce: PUSH1 0x02
00002bd0: ADD
00002bd1: PUSH1 0x00
00002bd3: PUSH2 0x0100
00002bd6: EXP
00002bd7: DUP2
00002bd8: SLOAD
00002bd9: DUP2
00002bda: PUSH1 0xff
00002bdc: MUL
00002bdd: NOT
00002bde: AND
00002bdf: SWAP1
00002be0: DUP4
00002be1: ISZERO
00002be2: ISZERO
00002be3: MUL
00002be4: OR
00002be5: SWAP1
00002be6: SSTORE
00002be7: POP
00002be8: PUSH32 0x0aaa05fba10caab20c7dfcd757223e489dbd2313a5e1add54bca74aceaf17819
00002c09: DUP2
00002c0a: PUSH1 0x00
00002c0c: ADD
00002c0d: SLOAD
00002c0e: DUP3
00002c0f: PUSH1 0x01
00002c11: ADD
00002c12: SLOAD
00002c13: PUSH1 0x40
00002c15: MLOAD
00002c16: DUP1
00002c17: DUP4
00002c18: DUP2
00002c19: MSTORE
00002c1a: PUSH1 0x20
00002c1c: ADD
00002c1d: DUP3
00002c1e: DUP2
00002c1f: MSTORE
00002c20: PUSH1 0x20
00002c22: ADD
00002c23: SWAP3
00002c24: POP
00002c25: POP
00002c26: POP
00002c27: PUSH1 0x40
00002c29: MLOAD
00002c2a: DUP1
00002c2b: SWAP2
00002c2c: SUB
00002c2d: SWAP1
00002c2e: LOG1
00002c2f: POP
00002c30: JUMP
00002c31: JUMPDEST
00002c32: PUSH1 0x00
00002c34: DUP1
00002c35: DUP3
00002c36: DUP5
00002c37: ADD
00002c38: SWAP1
00002c39: POP
00002c3a: DUP4
00002c3b: DUP2
00002c3c: LT
00002c3d: ISZERO
00002c3e: PUSH2 0x2caf
00002c41: JUMPI
00002c42: PUSH1 0x40
00002c44: MLOAD
00002c45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c66: DUP2
00002c67: MSTORE
00002c68: PUSH1 0x04
00002c6a: ADD
00002c6b: DUP1
00002c6c: DUP1
00002c6d: PUSH1 0x20
00002c6f: ADD
00002c70: DUP3
00002c71: DUP2
00002c72: SUB
00002c73: DUP3
00002c74: MSTORE
00002c75: PUSH1 0x1b
00002c77: DUP2
00002c78: MSTORE
00002c79: PUSH1 0x20
00002c7b: ADD
00002c7c: DUP1
00002c7d: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002c9e: DUP2
00002c9f: MSTORE
00002ca0: POP
00002ca1: PUSH1 0x20
00002ca3: ADD
00002ca4: SWAP2
00002ca5: POP
00002ca6: POP
00002ca7: PUSH1 0x40
00002ca9: MLOAD
00002caa: DUP1
00002cab: SWAP2
00002cac: SUB
00002cad: SWAP1
00002cae: REVERT
00002caf: JUMPDEST
00002cb0: DUP1
00002cb1: SWAP2
00002cb2: POP
00002cb3: POP
00002cb4: SWAP3
00002cb5: SWAP2
00002cb6: POP
00002cb7: POP
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: PUSH1 0x00
00002cbc: PUSH2 0x2cfb
00002cbf: DUP4
00002cc0: DUP4
00002cc1: PUSH1 0x40
00002cc3: MLOAD
00002cc4: DUP1
00002cc5: PUSH1 0x40
00002cc7: ADD
00002cc8: PUSH1 0x40
00002cca: MSTORE
00002ccb: DUP1
00002ccc: PUSH1 0x1e
00002cce: DUP2
00002ccf: MSTORE
00002cd0: PUSH1 0x20
00002cd2: ADD
00002cd3: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002cf4: DUP2
00002cf5: MSTORE
00002cf6: POP
00002cf7: PUSH2 0x30e9
00002cfa: JUMP
00002cfb: JUMPDEST
00002cfc: SWAP1
00002cfd: POP
00002cfe: SWAP3
00002cff: SWAP2
00002d00: POP
00002d01: POP
00002d02: JUMP
00002d03: JUMPDEST
00002d04: PUSH1 0x00
00002d06: PUSH1 0x01
00002d08: PUSH1 0x05
00002d0a: DUP1
00002d0b: SLOAD
00002d0c: SWAP1
00002d0d: POP
00002d0e: SUB
00002d0f: SWAP1
00002d10: POP
00002d11: JUMPDEST
00002d12: PUSH1 0x00
00002d14: DUP2
00002d15: GT
00002d16: ISZERO
00002d17: PUSH2 0x2d99
00002d1a: JUMPI
00002d1b: PUSH2 0x2d22
00002d1e: PUSH2 0x32ba
00002d21: JUMP
00002d22: JUMPDEST
00002d23: PUSH1 0x05
00002d25: DUP3
00002d26: DUP2
00002d27: SLOAD
00002d28: DUP2
00002d29: LT
00002d2a: PUSH2 0x2d2f
00002d2d: JUMPI
00002d2e: INVALID
00002d2f: JUMPDEST
00002d30: SWAP1
00002d31: PUSH1 0x00
00002d33: MSTORE
00002d34: PUSH1 0x20
00002d36: PUSH1 0x00
00002d38: KECCAK256
00002d39: SWAP1
00002d3a: PUSH1 0x03
00002d3c: MUL
00002d3d: ADD
00002d3e: PUSH1 0x40
00002d40: MLOAD
00002d41: DUP1
00002d42: PUSH1 0x60
00002d44: ADD
00002d45: PUSH1 0x40
00002d47: MSTORE
00002d48: SWAP1
00002d49: DUP2
00002d4a: PUSH1 0x00
00002d4c: DUP3
00002d4d: ADD
00002d4e: SLOAD
00002d4f: DUP2
00002d50: MSTORE
00002d51: PUSH1 0x20
00002d53: ADD
00002d54: PUSH1 0x01
00002d56: DUP3
00002d57: ADD
00002d58: SLOAD
00002d59: DUP2
00002d5a: MSTORE
00002d5b: PUSH1 0x20
00002d5d: ADD
00002d5e: PUSH1 0x02
00002d60: DUP3
00002d61: ADD
00002d62: PUSH1 0x00
00002d64: SWAP1
00002d65: SLOAD
00002d66: SWAP1
00002d67: PUSH2 0x0100
00002d6a: EXP
00002d6b: SWAP1
00002d6c: DIV
00002d6d: PUSH1 0xff
00002d6f: AND
00002d70: ISZERO
00002d71: ISZERO
00002d72: ISZERO
00002d73: ISZERO
00002d74: DUP2
00002d75: MSTORE
00002d76: POP
00002d77: POP
00002d78: SWAP1
00002d79: POP
00002d7a: DUP3
00002d7b: DUP2
00002d7c: PUSH1 0x00
00002d7e: ADD
00002d7f: MLOAD
00002d80: GT
00002d81: PUSH2 0x2d8a
00002d84: JUMPI
00002d85: POP
00002d86: PUSH2 0x2d99
00002d89: JUMP
00002d8a: JUMPDEST
00002d8b: POP
00002d8c: DUP1
00002d8d: DUP1
00002d8e: PUSH1 0x01
00002d90: SWAP1
00002d91: SUB
00002d92: SWAP2
00002d93: POP
00002d94: POP
00002d95: PUSH2 0x2d11
00002d98: JUMP
00002d99: JUMPDEST
00002d9a: SWAP2
00002d9b: SWAP1
00002d9c: POP
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: PUSH1 0x00
00002da1: DUP1
00002da2: DUP4
00002da3: EQ
00002da4: ISZERO
00002da5: PUSH2 0x2db1
00002da8: JUMPI
00002da9: PUSH1 0x00
00002dab: SWAP1
00002dac: POP
00002dad: PUSH2 0x2e1e
00002db0: JUMP
00002db1: JUMPDEST
00002db2: PUSH1 0x00
00002db4: DUP3
00002db5: DUP5
00002db6: MUL
00002db7: SWAP1
00002db8: POP
00002db9: DUP3
00002dba: DUP5
00002dbb: DUP3
00002dbc: DUP2
00002dbd: PUSH2 0x2dc2
00002dc0: JUMPI
00002dc1: INVALID
00002dc2: JUMPDEST
00002dc3: DIV
00002dc4: EQ
00002dc5: PUSH2 0x2e19
00002dc8: JUMPI
00002dc9: PUSH1 0x40
00002dcb: MLOAD
00002dcc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ded: DUP2
00002dee: MSTORE
00002def: PUSH1 0x04
00002df1: ADD
00002df2: DUP1
00002df3: DUP1
00002df4: PUSH1 0x20
00002df6: ADD
00002df7: DUP3
00002df8: DUP2
00002df9: SUB
00002dfa: DUP3
00002dfb: MSTORE
00002dfc: PUSH1 0x21
00002dfe: DUP2
00002dff: MSTORE
00002e00: PUSH1 0x20
00002e02: ADD
00002e03: DUP1
00002e04: PUSH2 0x33f7
00002e07: PUSH1 0x21
00002e09: SWAP2
00002e0a: CODECOPY
00002e0b: PUSH1 0x40
00002e0d: ADD
00002e0e: SWAP2
00002e0f: POP
00002e10: POP
00002e11: PUSH1 0x40
00002e13: MLOAD
00002e14: DUP1
00002e15: SWAP2
00002e16: SUB
00002e17: SWAP1
00002e18: REVERT
00002e19: JUMPDEST
00002e1a: DUP1
00002e1b: SWAP2
00002e1c: POP
00002e1d: POP
00002e1e: JUMPDEST
00002e1f: SWAP3
00002e20: SWAP2
00002e21: POP
00002e22: POP
00002e23: JUMP
00002e24: JUMPDEST
00002e25: PUSH1 0x00
00002e27: PUSH2 0x2e66
00002e2a: DUP4
00002e2b: DUP4
00002e2c: PUSH1 0x40
00002e2e: MLOAD
00002e2f: DUP1
00002e30: PUSH1 0x40
00002e32: ADD
00002e33: PUSH1 0x40
00002e35: MSTORE
00002e36: DUP1
00002e37: PUSH1 0x1a
00002e39: DUP2
00002e3a: MSTORE
00002e3b: PUSH1 0x20
00002e3d: ADD
00002e3e: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002e5f: DUP2
00002e60: MSTORE
00002e61: POP
00002e62: PUSH2 0x31a9
00002e65: JUMP
00002e66: JUMPDEST
00002e67: SWAP1
00002e68: POP
00002e69: SWAP3
00002e6a: SWAP2
00002e6b: POP
00002e6c: POP
00002e6d: JUMP
00002e6e: JUMPDEST
00002e6f: PUSH1 0x00
00002e71: PUSH2 0x2e95
00002e74: DUP4
00002e75: PUSH2 0x2e87
00002e78: DUP5
00002e79: DUP8
00002e7a: PUSH2 0x2d9e
00002e7d: SWAP1
00002e7e: SWAP2
00002e7f: SWAP1
00002e80: PUSH4 0xffffffff
00002e85: AND
00002e86: JUMP
00002e87: JUMPDEST
00002e88: PUSH2 0x2e24
00002e8b: SWAP1
00002e8c: SWAP2
00002e8d: SWAP1
00002e8e: PUSH4 0xffffffff
00002e93: AND
00002e94: JUMP
00002e95: JUMPDEST
00002e96: SWAP1
00002e97: POP
00002e98: SWAP4
00002e99: SWAP3
00002e9a: POP
00002e9b: POP
00002e9c: POP
00002e9d: JUMP
00002e9e: JUMPDEST
00002e9f: PUSH2 0x2ebd
00002ea2: DUP3
00002ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb8: AND
00002eb9: PUSH2 0x326f
00002ebc: JUMP
00002ebd: JUMPDEST
00002ebe: PUSH2 0x2f2f
00002ec1: JUMPI
00002ec2: PUSH1 0x40
00002ec4: MLOAD
00002ec5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ee6: DUP2
00002ee7: MSTORE
00002ee8: PUSH1 0x04
00002eea: ADD
00002eeb: DUP1
00002eec: DUP1
00002eed: PUSH1 0x20
00002eef: ADD
00002ef0: DUP3
00002ef1: DUP2
00002ef2: SUB
00002ef3: DUP3
00002ef4: MSTORE
00002ef5: PUSH1 0x1f
00002ef7: DUP2
00002ef8: MSTORE
00002ef9: PUSH1 0x20
00002efb: ADD
00002efc: DUP1
00002efd: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00002f1e: DUP2
00002f1f: MSTORE
00002f20: POP
00002f21: PUSH1 0x20
00002f23: ADD
00002f24: SWAP2
00002f25: POP
00002f26: POP
00002f27: PUSH1 0x40
00002f29: MLOAD
00002f2a: DUP1
00002f2b: SWAP2
00002f2c: SUB
00002f2d: SWAP1
00002f2e: REVERT
00002f2f: JUMPDEST
00002f30: PUSH1 0x00
00002f32: PUSH1 0x60
00002f34: DUP4
00002f35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f4a: AND
00002f4b: DUP4
00002f4c: PUSH1 0x40
00002f4e: MLOAD
00002f4f: DUP1
00002f50: DUP3
00002f51: DUP1
00002f52: MLOAD
00002f53: SWAP1
00002f54: PUSH1 0x20
00002f56: ADD
00002f57: SWAP1
00002f58: DUP1
00002f59: DUP4
00002f5a: DUP4
00002f5b: JUMPDEST
00002f5c: PUSH1 0x20
00002f5e: DUP4
00002f5f: LT
00002f60: PUSH2 0x2f7e
00002f63: JUMPI
00002f64: DUP1
00002f65: MLOAD
00002f66: DUP3
00002f67: MSTORE
00002f68: PUSH1 0x20
00002f6a: DUP3
00002f6b: ADD
00002f6c: SWAP2
00002f6d: POP
00002f6e: PUSH1 0x20
00002f70: DUP2
00002f71: ADD
00002f72: SWAP1
00002f73: POP
00002f74: PUSH1 0x20
00002f76: DUP4
00002f77: SUB
00002f78: SWAP3
00002f79: POP
00002f7a: PUSH2 0x2f5b
00002f7d: JUMP
00002f7e: JUMPDEST
00002f7f: PUSH1 0x01
00002f81: DUP4
00002f82: PUSH1 0x20
00002f84: SUB
00002f85: PUSH2 0x0100
00002f88: EXP
00002f89: SUB
00002f8a: DUP1
00002f8b: NOT
00002f8c: DUP3
00002f8d: MLOAD
00002f8e: AND
00002f8f: DUP2
00002f90: DUP5
00002f91: MLOAD
00002f92: AND
00002f93: DUP1
00002f94: DUP3
00002f95: OR
00002f96: DUP6
00002f97: MSTORE
00002f98: POP
00002f99: POP
00002f9a: POP
00002f9b: POP
00002f9c: POP
00002f9d: POP
00002f9e: SWAP1
00002f9f: POP
00002fa0: ADD
00002fa1: SWAP2
00002fa2: POP
00002fa3: POP
00002fa4: PUSH1 0x00
00002fa6: PUSH1 0x40
00002fa8: MLOAD
00002fa9: DUP1
00002faa: DUP4
00002fab: SUB
00002fac: DUP2
00002fad: PUSH1 0x00
00002faf: DUP7
00002fb0: GAS
00002fb1: CALL
00002fb2: SWAP2
00002fb3: POP
00002fb4: POP
00002fb5: RETURNDATASIZE
00002fb6: DUP1
00002fb7: PUSH1 0x00
00002fb9: DUP2
00002fba: EQ
00002fbb: PUSH2 0x2fe0
00002fbe: JUMPI
00002fbf: PUSH1 0x40
00002fc1: MLOAD
00002fc2: SWAP2
00002fc3: POP
00002fc4: PUSH1 0x1f
00002fc6: NOT
00002fc7: PUSH1 0x3f
00002fc9: RETURNDATASIZE
00002fca: ADD
00002fcb: AND
00002fcc: DUP3
00002fcd: ADD
00002fce: PUSH1 0x40
00002fd0: MSTORE
00002fd1: RETURNDATASIZE
00002fd2: DUP3
00002fd3: MSTORE
00002fd4: RETURNDATASIZE
00002fd5: PUSH1 0x00
00002fd7: PUSH1 0x20
00002fd9: DUP5
00002fda: ADD
00002fdb: RETURNDATACOPY
00002fdc: PUSH2 0x2fe5
00002fdf: JUMP
00002fe0: JUMPDEST
00002fe1: PUSH1 0x60
00002fe3: SWAP2
00002fe4: POP
00002fe5: JUMPDEST
00002fe6: POP
00002fe7: SWAP2
00002fe8: POP
00002fe9: SWAP2
00002fea: POP
00002feb: DUP2
00002fec: PUSH2 0x305d
00002fef: JUMPI
00002ff0: PUSH1 0x40
00002ff2: MLOAD
00002ff3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003014: DUP2
00003015: MSTORE
00003016: PUSH1 0x04
00003018: ADD
00003019: DUP1
0000301a: DUP1
0000301b: PUSH1 0x20
0000301d: ADD
0000301e: DUP3
0000301f: DUP2
00003020: SUB
00003021: DUP3
00003022: MSTORE
00003023: PUSH1 0x20
00003025: DUP2
00003026: MSTORE
00003027: PUSH1 0x20
00003029: ADD
0000302a: DUP1
0000302b: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000304c: DUP2
0000304d: MSTORE
0000304e: POP
0000304f: PUSH1 0x20
00003051: ADD
00003052: SWAP2
00003053: POP
00003054: POP
00003055: PUSH1 0x40
00003057: MLOAD
00003058: DUP1
00003059: SWAP2
0000305a: SUB
0000305b: SWAP1
0000305c: REVERT
0000305d: JUMPDEST
0000305e: PUSH1 0x00
00003060: DUP2
00003061: MLOAD
00003062: GT
00003063: ISZERO
00003064: PUSH2 0x30e3
00003067: JUMPI
00003068: DUP1
00003069: DUP1
0000306a: PUSH1 0x20
0000306c: ADD
0000306d: SWAP1
0000306e: MLOAD
0000306f: PUSH1 0x20
00003071: DUP2
00003072: LT
00003073: ISZERO
00003074: PUSH2 0x307c
00003077: JUMPI
00003078: PUSH1 0x00
0000307a: DUP1
0000307b: REVERT
0000307c: JUMPDEST
0000307d: DUP2
0000307e: ADD
0000307f: SWAP1
00003080: DUP1
00003081: DUP1
00003082: MLOAD
00003083: SWAP1
00003084: PUSH1 0x20
00003086: ADD
00003087: SWAP1
00003088: SWAP3
00003089: SWAP2
0000308a: SWAP1
0000308b: POP
0000308c: POP
0000308d: POP
0000308e: PUSH2 0x30e2
00003091: JUMPI
00003092: PUSH1 0x40
00003094: MLOAD
00003095: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000030b6: DUP2
000030b7: MSTORE
000030b8: PUSH1 0x04
000030ba: ADD
000030bb: DUP1
000030bc: DUP1
000030bd: PUSH1 0x20
000030bf: ADD
000030c0: DUP3
000030c1: DUP2
000030c2: SUB
000030c3: DUP3
000030c4: MSTORE
000030c5: PUSH1 0x2a
000030c7: DUP2
000030c8: MSTORE
000030c9: PUSH1 0x20
000030cb: ADD
000030cc: DUP1
000030cd: PUSH2 0x344b
000030d0: PUSH1 0x2a
000030d2: SWAP2
000030d3: CODECOPY
000030d4: PUSH1 0x40
000030d6: ADD
000030d7: SWAP2
000030d8: POP
000030d9: POP
000030da: PUSH1 0x40
000030dc: MLOAD
000030dd: DUP1
000030de: SWAP2
000030df: SUB
000030e0: SWAP1
000030e1: REVERT
000030e2: JUMPDEST
000030e3: JUMPDEST
000030e4: POP
000030e5: POP
000030e6: POP
000030e7: POP
000030e8: JUMP
000030e9: JUMPDEST
000030ea: PUSH1 0x00
000030ec: DUP4
000030ed: DUP4
000030ee: GT
000030ef: ISZERO
000030f0: DUP3
000030f1: SWAP1
000030f2: PUSH2 0x3196
000030f5: JUMPI
000030f6: PUSH1 0x40
000030f8: MLOAD
000030f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000311a: DUP2
0000311b: MSTORE
0000311c: PUSH1 0x04
0000311e: ADD
0000311f: DUP1
00003120: DUP1
00003121: PUSH1 0x20
00003123: ADD
00003124: DUP3
00003125: DUP2
00003126: SUB
00003127: DUP3
00003128: MSTORE
00003129: DUP4
0000312a: DUP2
0000312b: DUP2
0000312c: MLOAD
0000312d: DUP2
0000312e: MSTORE
0000312f: PUSH1 0x20
00003131: ADD
00003132: SWAP2
00003133: POP
00003134: DUP1
00003135: MLOAD
00003136: SWAP1
00003137: PUSH1 0x20
00003139: ADD
0000313a: SWAP1
0000313b: DUP1
0000313c: DUP4
0000313d: DUP4
0000313e: PUSH1 0x00
00003140: JUMPDEST
00003141: DUP4
00003142: DUP2
00003143: LT
00003144: ISZERO
00003145: PUSH2 0x315b
00003148: JUMPI
00003149: DUP1
0000314a: DUP3
0000314b: ADD
0000314c: MLOAD
0000314d: DUP2
0000314e: DUP5
0000314f: ADD
00003150: MSTORE
00003151: PUSH1 0x20
00003153: DUP2
00003154: ADD
00003155: SWAP1
00003156: POP
00003157: PUSH2 0x3140
0000315a: JUMP
0000315b: JUMPDEST
0000315c: POP
0000315d: POP
0000315e: POP
0000315f: POP
00003160: SWAP1
00003161: POP
00003162: SWAP1
00003163: DUP2
00003164: ADD
00003165: SWAP1
00003166: PUSH1 0x1f
00003168: AND
00003169: DUP1
0000316a: ISZERO
0000316b: PUSH2 0x3188
0000316e: JUMPI
0000316f: DUP1
00003170: DUP3
00003171: SUB
00003172: DUP1
00003173: MLOAD
00003174: PUSH1 0x01
00003176: DUP4
00003177: PUSH1 0x20
00003179: SUB
0000317a: PUSH2 0x0100
0000317d: EXP
0000317e: SUB
0000317f: NOT
00003180: AND
00003181: DUP2
00003182: MSTORE
00003183: PUSH1 0x20
00003185: ADD
00003186: SWAP2
00003187: POP
00003188: JUMPDEST
00003189: POP
0000318a: SWAP3
0000318b: POP
0000318c: POP
0000318d: POP
0000318e: PUSH1 0x40
00003190: MLOAD
00003191: DUP1
00003192: SWAP2
00003193: SUB
00003194: SWAP1
00003195: REVERT
00003196: JUMPDEST
00003197: POP
00003198: PUSH1 0x00
0000319a: DUP4
0000319b: DUP6
0000319c: SUB
0000319d: SWAP1
0000319e: POP
0000319f: DUP1
000031a0: SWAP2
000031a1: POP
000031a2: POP
000031a3: SWAP4
000031a4: SWAP3
000031a5: POP
000031a6: POP
000031a7: POP
000031a8: JUMP
000031a9: JUMPDEST
000031aa: PUSH1 0x00
000031ac: DUP1
000031ad: DUP4
000031ae: GT
000031af: DUP3
000031b0: SWAP1
000031b1: PUSH2 0x3255
000031b4: JUMPI
000031b5: PUSH1 0x40
000031b7: MLOAD
000031b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000031d9: DUP2
000031da: MSTORE
000031db: PUSH1 0x04
000031dd: ADD
000031de: DUP1
000031df: DUP1
000031e0: PUSH1 0x20
000031e2: ADD
000031e3: DUP3
000031e4: DUP2
000031e5: SUB
000031e6: DUP3
000031e7: MSTORE
000031e8: DUP4
000031e9: DUP2
000031ea: DUP2
000031eb: MLOAD
000031ec: DUP2
000031ed: MSTORE
000031ee: PUSH1 0x20
000031f0: ADD
000031f1: SWAP2
000031f2: POP
000031f3: DUP1
000031f4: MLOAD
000031f5: SWAP1
000031f6: PUSH1 0x20
000031f8: ADD
000031f9: SWAP1
000031fa: DUP1
000031fb: DUP4
000031fc: DUP4
000031fd: PUSH1 0x00
000031ff: JUMPDEST
00003200: DUP4
00003201: DUP2
00003202: LT
00003203: ISZERO
00003204: PUSH2 0x321a
00003207: JUMPI
00003208: DUP1
00003209: DUP3
0000320a: ADD
0000320b: MLOAD
0000320c: DUP2
0000320d: DUP5
0000320e: ADD
0000320f: MSTORE
00003210: PUSH1 0x20
00003212: DUP2
00003213: ADD
00003214: SWAP1
00003215: POP
00003216: PUSH2 0x31ff
00003219: JUMP
0000321a: JUMPDEST
0000321b: POP
0000321c: POP
0000321d: POP
0000321e: POP
0000321f: SWAP1
00003220: POP
00003221: SWAP1
00003222: DUP2
00003223: ADD
00003224: SWAP1
00003225: PUSH1 0x1f
00003227: AND
00003228: DUP1
00003229: ISZERO
0000322a: PUSH2 0x3247
0000322d: JUMPI
0000322e: DUP1
0000322f: DUP3
00003230: SUB
00003231: DUP1
00003232: MLOAD
00003233: PUSH1 0x01
00003235: DUP4
00003236: PUSH1 0x20
00003238: SUB
00003239: PUSH2 0x0100
0000323c: EXP
0000323d: SUB
0000323e: NOT
0000323f: AND
00003240: DUP2
00003241: MSTORE
00003242: PUSH1 0x20
00003244: ADD
00003245: SWAP2
00003246: POP
00003247: JUMPDEST
00003248: POP
00003249: SWAP3
0000324a: POP
0000324b: POP
0000324c: POP
0000324d: PUSH1 0x40
0000324f: MLOAD
00003250: DUP1
00003251: SWAP2
00003252: SUB
00003253: SWAP1
00003254: REVERT
00003255: JUMPDEST
00003256: POP
00003257: PUSH1 0x00
00003259: DUP4
0000325a: DUP6
0000325b: DUP2
0000325c: PUSH2 0x3261
0000325f: JUMPI
00003260: INVALID
00003261: JUMPDEST
00003262: DIV
00003263: SWAP1
00003264: POP
00003265: DUP1
00003266: SWAP2
00003267: POP
00003268: POP
00003269: SWAP4
0000326a: SWAP3
0000326b: POP
0000326c: POP
0000326d: POP
0000326e: JUMP
0000326f: JUMPDEST
00003270: PUSH1 0x00
00003272: DUP1
00003273: PUSH1 0x00
00003275: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00003296: PUSH1 0x00
00003298: SHL
00003299: SWAP1
0000329a: POP
0000329b: DUP4
0000329c: EXTCODEHASH
0000329d: SWAP2
0000329e: POP
0000329f: DUP1
000032a0: DUP3
000032a1: EQ
000032a2: ISZERO
000032a3: DUP1
000032a4: ISZERO
000032a5: PUSH2 0x32b1
000032a8: JUMPI
000032a9: POP
000032aa: PUSH1 0x00
000032ac: DUP1
000032ad: SHL
000032ae: DUP3
000032af: EQ
000032b0: ISZERO
000032b1: JUMPDEST
000032b2: SWAP3
000032b3: POP
000032b4: POP
000032b5: POP
000032b6: SWAP2
000032b7: SWAP1
000032b8: POP
000032b9: JUMP
000032ba: JUMPDEST
000032bb: PUSH1 0x40
000032bd: MLOAD
000032be: DUP1
000032bf: PUSH1 0x60
000032c1: ADD
000032c2: PUSH1 0x40
000032c4: MSTORE
000032c5: DUP1
000032c6: PUSH1 0x00
000032c8: DUP2
000032c9: MSTORE
000032ca: PUSH1 0x20
000032cc: ADD
000032cd: PUSH1 0x00
000032cf: DUP2
000032d0: MSTORE
000032d1: PUSH1 0x20
000032d3: ADD
000032d4: PUSH1 0x00
000032d6: ISZERO
000032d7: ISZERO
000032d8: DUP2
000032d9: MSTORE
000032da: POP
000032db: SWAP1
000032dc: JUMP
000032dd: JUMPDEST
000032de: PUSH1 0x40
000032e0: MLOAD
000032e1: DUP1
000032e2: PUSH1 0x40
000032e4: ADD
000032e5: PUSH1 0x40
000032e7: MSTORE
000032e8: DUP1
000032e9: PUSH1 0x00
000032eb: DUP2
000032ec: MSTORE
000032ed: PUSH1 0x20
000032ef: ADD
000032f0: PUSH1 0x00
000032f2: DUP2
000032f3: MSTORE
000032f4: POP
000032f5: SWAP1
000032f6: JUMP
000032f7: INVALID
000032f8: UNKNOWN(0x4F)
000032f9: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00003312: PUSH27 0x65726f206164647265737363524d656d6265723a20706f6f6c4d65
0000332e: PUSH14 0x626572207368617265207472616e
0000333d: PUSH20 0x666572206661696c65646d617374657257697468
00003352: PUSH5 0x7261773a20
00003358: PUSH4 0x616e206e
0000335d: PUSH16 0x74207472616e73666572206b6e632074
0000336e: PUSH16 0x2074686520706f6f6c206d6173746572
0000337f: PUSH4 0x524d656d
00003384: PUSH3 0x65723a
00003388: KECCAK256
00003389: PUSH19 0x65776172647320616c726561647920636c6169
0000339d: PUSH14 0x6564636f6d6d69744e6577466565
000033ac: GASPRICE
000033ad: KECCAK256
000033ae: DIFFICULTY
000033af: PUSH6 0x6c6567617469
000033b6: PUSH16 0x6e204665652067726561746572207468
000033c7: PUSH2 0x6e20
000033ca: BALANCE
000033cb: ADDRESS
000033cc: ADDRESS
000033cd: UNKNOWN(0x25)
000033ce: PUSH4 0x524d6173
000033d3: PUSH21 0x653a20706f6f6c4d61737465722073686172652074
000033e9: PUSH19 0x616e73666572206661696c6564536166654d61
000033fd: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665
00003413: PUSH19 0x666c6f776d61737465724465706f7369743a20
00003427: PUSH2 0x6d6f
0000342a: PUSH22 0x6e7420746f206465706f7369742073686f756c642062
00003441: PUSH6 0x20706f736974
00003448: PUSH10 0x76655361666545524332
00003453: ADDRESS
00003454: GASPRICE
00003455: KECCAK256
00003456: GASLIMIT
00003457: MSTORE
00003458: NUMBER
00003459: ORIGIN
0000345a: ADDRESS
0000345b: KECCAK256
0000345c: PUSH16 0x7065726174696f6e20646964206e6f74
0000346d: KECCAK256
0000346e: PUSH20 0x75636365656463524d656d6265723a20706f6f6c
00003483: UNKNOWN(0x4D)
00003484: PUSH2 0x7374
00003487: PUSH6 0x722068617320
0000348e: PUSH15 0x6f7420636c61696d65642079657463
0000349e: MSTORE
0000349f: UNKNOWN(0x4D)
000034a0: PUSH2 0x7374
000034a3: PUSH6 0x723a20726577
000034aa: PUSH2 0x7264
000034ad: PUSH20 0x20616c726561647920636c61696d6564a2646970
000034c2: PUSH7 0x73582212204815
000034ca: CODESIZE
000034cb: DUP1
000034cc: UNKNOWN(0x22)
000034cd: SWAP15
000034ce: UNKNOWN(0xE2)
000034cf: BALANCE
000034d0: GT
000034d1: TSTORE
000034d2: SWAP16
000034d3: GASLIMIT
000034d4: EXTCODECOPY
000034d5: PUSH4 0xb96adc0c
000034da: PUSH12 0xf7a0c2ed1e8b6964b75b697c
000034e7: PUSH29
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe64e6a63", "selector": "0xe64e6a63", "calldata_variants": [ "0xe64e6a63", "0xe64e6a630000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0359d1b", "selector": "0xf0359d1b", "calldata_variants": [ "0xf0359d1b", "0xf0359d1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf511ddcb", "selector": "0xf511ddcb", "calldata_variants": [ "0xf511ddcb", "0xf511ddcb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5f0a58f", "selector": "0xc5f0a58f", "calldata_variants": [ "0xc5f0a58f", "0xc5f0a58f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2d87780", "selector": "0xd2d87780", "calldata_variants": [ "0xd2d87780", "0xd2d877800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd687ba38", "selector": "0xd687ba38", "calldata_variants": [ "0xd687ba38", "0xd687ba380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9faf1d51", "selector": "0x9faf1d51", "calldata_variants": [ "0x9faf1d51", "0x9faf1d510000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 425, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 13401, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x8e9d5d832eeddf1354aa5e60724b71fbbdc05bf40ebb4ce961019dad21ff0894 call_targets: 0x1d1a3bd9a48eedb44450a6080fccf70d73df777c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8e9d5d832eeddf1354aa5e60724b71fbbdc05bf40ebb4ce961019dad21ff0894", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1d1a3bd9a48eedb44450a6080fccf70d73df777c" ], "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": "0xe64e6a63", "selector": "0xe64e6a63", "calldata_variants": [ "0xe64e6a63", "0xe64e6a630000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0359d1b", "selector": "0xf0359d1b", "calldata_variants": [ "0xf0359d1b", "0xf0359d1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf511ddcb", "selector": "0xf511ddcb", "calldata_variants": [ "0xf511ddcb", "0xf511ddcb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5f0a58f", "selector": "0xc5f0a58f", "calldata_variants": [ "0xc5f0a58f", "0xc5f0a58f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2d87780", "selector": "0xd2d87780", "calldata_variants": [ "0xd2d87780", "0xd2d877800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd687ba38", "selector": "0xd687ba38", "calldata_variants": [ "0xd687ba38", "0xd687ba380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9faf1d51", "selector": "0x9faf1d51", "calldata_variants": [ "0x9faf1d51", "0x9faf1d510000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2937, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3313, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3490, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 10, "guards_detected": [ { "pc": 425, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 13401, "type": "tx_origin_used" } ], "untrusted_call_count": 10 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x8e9d5d832eeddf1354aa5e60724b71fbbdc05bf40ebb4ce961019dad21ff0894 call_targets: 0x1d1a3bd9a48eedb44450a6080fccf70d73df777c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8e9d5d832eeddf1354aa5e60724b71fbbdc05bf40ebb4ce961019dad21ff0894", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1d1a3bd9a48eedb44450a6080fccf70d73df777c" ], "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": "0xe64e6a63", "selector": "0xe64e6a63", "calldata_variants": [ "0xe64e6a63", "0xe64e6a630000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0359d1b", "selector": "0xf0359d1b", "calldata_variants": [ "0xf0359d1b", "0xf0359d1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf511ddcb", "selector": "0xf511ddcb", "calldata_variants": [ "0xf511ddcb", "0xf511ddcb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5f0a58f", "selector": "0xc5f0a58f", "calldata_variants": [ "0xc5f0a58f", "0xc5f0a58f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2d87780", "selector": "0xd2d87780", "calldata_variants": [ "0xd2d87780", "0xd2d877800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd687ba38", "selector": "0xd687ba38", "calldata_variants": [ "0xd687ba38", "0xd687ba380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9faf1d51", "selector": "0x9faf1d51", "calldata_variants": [ "0x9faf1d51", "0x9faf1d510000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2937, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3313, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3490, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 10, "guards_detected": [ { "pc": 425, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 13401, "type": "tx_origin_used" } ] }
Severity