Analysis Run

019ba92a-2dd6-721c-8d9b-3a9a4785f917

complete

Chain ID

1

Address

0x049dfa51cdc5c68fcb57df1b43a03b4494623159

Block Number

—

Created

Sat, Jan 10, 2026 6:27 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

Verified

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
35312	artifact.fetch	complete	1 / 3	3 months ago
35313	proxy.resolve	complete	1 / 3	3 months ago
35314	tool.cast_disasm	complete	1 / 3	3 months ago
35315	analysis.bundle	complete	1 / 3	3 months ago
35316	capability.graph	complete	1 / 3	3 months ago
35317	detector.run	complete	1 / 3	3 months ago
35318	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

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)

9

EXT*/BALANCE

9

Total opcodes

6372

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x023e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7158da7c
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb07f0a41
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd62ed3e
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdd62ed3e
0000003a: EQ
0000003b: PUSH2 0x0832
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe1aef23f
00000045: EQ
00000046: PUSH2 0x086d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf18a6b78
00000050: EQ
00000051: PUSH2 0x08b9
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf3eb8cab
0000005b: EQ
0000005c: PUSH2 0x08ce
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xffd9eedb
00000066: EQ
00000067: PUSH2 0x0904
0000006a: JUMPI
0000006b: PUSH2 0x0326
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb07f0a41
00000076: EQ
00000077: PUSH2 0x07ab
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc1325661
00000081: EQ
00000082: PUSH2 0x04fb
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc52987cf
0000008c: EQ
0000008d: PUSH2 0x07d5
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc9c667e3
00000097: EQ
00000098: PUSH2 0x07ea
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xce7c2ac2
000000a2: EQ
000000a3: PUSH2 0x07ff
000000a6: JUMPI
000000a7: PUSH2 0x0326
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x06e5
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9a32c207
000000c8: EQ
000000c9: PUSH2 0x06fa
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa09263c2
000000d3: EQ
000000d4: PUSH2 0x070f
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa457c2d7
000000de: EQ
000000df: PUSH2 0x0739
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa9059cbb
000000e9: EQ
000000ea: PUSH2 0x0772
000000ed: JUMPI
000000ee: PUSH2 0x0326
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x7158da7c
000000f9: EQ
000000fa: PUSH2 0x063a
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x81af43d2
00000104: EQ
00000105: PUSH2 0x064f
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x90e64d13
0000010f: EQ
00000110: PUSH2 0x0664
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x94bf804d
0000011a: EQ
0000011b: PUSH2 0x0679
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x94fe157c
00000125: EQ
00000126: PUSH2 0x06b2
00000129: JUMPI
0000012a: PUSH2 0x0326
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x2ad56863
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x3ccfd60b
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x3ccfd60b
0000014b: EQ
0000014c: PUSH2 0x059e
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x430cf9f7
00000156: EQ
00000157: PUSH2 0x05b3
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x4665096d
00000161: EQ
00000162: PUSH2 0x05c8
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x64e779b1
0000016c: EQ
0000016d: PUSH2 0x05dd
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x70a08231
00000177: EQ
00000178: PUSH2 0x0607
0000017b: JUMPI
0000017c: PUSH2 0x0326
0000017f: JUMP
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x2ad56863
00000187: EQ
00000188: PUSH2 0x04fb
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x313ce567
00000192: EQ
00000193: PUSH2 0x0526
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x33afff92
0000019d: EQ
0000019e: PUSH2 0x053b
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x39509351
000001a8: EQ
000001a9: PUSH2 0x0550
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x3a98ef39
000001b3: EQ
000001b4: PUSH2 0x0589
000001b7: JUMPI
000001b8: PUSH2 0x0326
000001bb: JUMP
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x13af8980
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x13af8980
000001ce: EQ
000001cf: PUSH2 0x0448
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x13e80f10
000001d9: EQ
000001da: PUSH2 0x045d
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x17d69bc8
000001e4: EQ
000001e5: PUSH2 0x0472
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x18160ddd
000001ef: EQ
000001f0: PUSH2 0x04a3
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x23b872dd
000001fa: EQ
000001fb: PUSH2 0x04b8
000001fe: JUMPI
000001ff: PUSH2 0x0326
00000202: JUMP
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH3 0x6226e7
00000209: EQ
0000020a: PUSH2 0x032b
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0x06fdde03
00000214: EQ
00000215: PUSH2 0x0335
00000218: JUMPI
00000219: DUP1
0000021a: PUSH4 0x095ea7b3
0000021f: EQ
00000220: PUSH2 0x03bf
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0x0d6cd8aa
0000022a: EQ
0000022b: PUSH2 0x040c
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x11e03073
00000235: EQ
00000236: PUSH2 0x0421
00000239: JUMPI
0000023a: PUSH2 0x0326
0000023d: JUMP
0000023e: JUMPDEST
0000023f: CALLDATASIZE
00000240: PUSH2 0x0326
00000243: JUMPI
00000244: ADDRESS
00000245: PUSH1 0x01
00000247: PUSH1 0x01
00000249: PUSH1 0xa0
0000024b: SHL
0000024c: SUB
0000024d: AND
0000024e: PUSH4 0x7158da7c
00000253: PUSH1 0x40
00000255: MLOAD
00000256: DUP2
00000257: PUSH4 0xffffffff
0000025c: AND
0000025d: PUSH1 0xe0
0000025f: SHL
00000260: DUP2
00000261: MSTORE
00000262: PUSH1 0x04
00000264: ADD
00000265: PUSH1 0x20
00000267: PUSH1 0x40
00000269: MLOAD
0000026a: DUP1
0000026b: DUP4
0000026c: SUB
0000026d: DUP2
0000026e: DUP7
0000026f: DUP1
00000270: EXTCODESIZE
00000271: ISZERO
00000272: DUP1
00000273: ISZERO
00000274: PUSH2 0x027c
00000277: JUMPI
00000278: PUSH1 0x00
0000027a: DUP1
0000027b: REVERT
0000027c: JUMPDEST
0000027d: POP
0000027e: GAS
0000027f: STATICCALL
00000280: ISZERO
00000281: DUP1
00000282: ISZERO
00000283: PUSH2 0x0290
00000286: JUMPI
00000287: RETURNDATASIZE
00000288: PUSH1 0x00
0000028a: DUP1
0000028b: RETURNDATACOPY
0000028c: RETURNDATASIZE
0000028d: PUSH1 0x00
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: POP
00000293: POP
00000294: POP
00000295: PUSH1 0x40
00000297: MLOAD
00000298: RETURNDATASIZE
00000299: PUSH1 0x20
0000029b: DUP2
0000029c: LT
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: MLOAD
000002a9: PUSH1 0x01
000002ab: PUSH1 0x01
000002ad: PUSH1 0xa0
000002af: SHL
000002b0: SUB
000002b1: AND
000002b2: CALLER
000002b3: EQ
000002b4: PUSH2 0x02ee
000002b7: JUMPI
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: PUSH3 0x461bcd
000002bf: PUSH1 0xe5
000002c1: SHL
000002c2: DUP2
000002c3: MSTORE
000002c4: PUSH1 0x04
000002c6: ADD
000002c7: DUP1
000002c8: DUP1
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: DUP3
000002cd: DUP2
000002ce: SUB
000002cf: DUP3
000002d0: MSTORE
000002d1: PUSH1 0x2c
000002d3: DUP2
000002d4: MSTORE
000002d5: PUSH1 0x20
000002d7: ADD
000002d8: DUP1
000002d9: PUSH2 0x2a3e
000002dc: PUSH1 0x2c
000002de: SWAP2
000002df: CODECOPY
000002e0: PUSH1 0x40
000002e2: ADD
000002e3: SWAP2
000002e4: POP
000002e5: POP
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: DUP1
000002ea: SWAP2
000002eb: SUB
000002ec: SWAP1
000002ed: REVERT
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: DUP1
000002f2: MLOAD
000002f3: CALLVALUE
000002f4: DUP2
000002f5: MSTORE
000002f6: SWAP1
000002f7: MLOAD
000002f8: CALLER
000002f9: SWAP2
000002fa: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874
0000031b: SWAP2
0000031c: SWAP1
0000031d: DUP2
0000031e: SWAP1
0000031f: SUB
00000320: PUSH1 0x20
00000322: ADD
00000323: SWAP1
00000324: LOG2
00000325: STOP
00000326: JUMPDEST
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: PUSH2 0x0333
0000032f: PUSH2 0x0919
00000332: JUMP
00000333: JUMPDEST
00000334: STOP
00000335: JUMPDEST
00000336: CALLVALUE
00000337: DUP1
00000338: ISZERO
00000339: PUSH2 0x0341
0000033c: JUMPI
0000033d: PUSH1 0x00
0000033f: DUP1
00000340: REVERT
00000341: JUMPDEST
00000342: POP
00000343: PUSH2 0x034a
00000346: PUSH2 0x0a62
00000349: JUMP
0000034a: JUMPDEST
0000034b: PUSH1 0x40
0000034d: DUP1
0000034e: MLOAD
0000034f: PUSH1 0x20
00000351: DUP1
00000352: DUP3
00000353: MSTORE
00000354: DUP4
00000355: MLOAD
00000356: DUP2
00000357: DUP4
00000358: ADD
00000359: MSTORE
0000035a: DUP4
0000035b: MLOAD
0000035c: SWAP2
0000035d: SWAP3
0000035e: DUP4
0000035f: SWAP3
00000360: SWAP1
00000361: DUP4
00000362: ADD
00000363: SWAP2
00000364: DUP6
00000365: ADD
00000366: SWAP1
00000367: DUP1
00000368: DUP4
00000369: DUP4
0000036a: PUSH1 0x00
0000036c: JUMPDEST
0000036d: DUP4
0000036e: DUP2
0000036f: LT
00000370: ISZERO
00000371: PUSH2 0x0384
00000374: JUMPI
00000375: DUP2
00000376: DUP2
00000377: ADD
00000378: MLOAD
00000379: DUP4
0000037a: DUP3
0000037b: ADD
0000037c: MSTORE
0000037d: PUSH1 0x20
0000037f: ADD
00000380: PUSH2 0x036c
00000383: JUMP
00000384: JUMPDEST
00000385: POP
00000386: POP
00000387: POP
00000388: POP
00000389: SWAP1
0000038a: POP
0000038b: SWAP1
0000038c: DUP2
0000038d: ADD
0000038e: SWAP1
0000038f: PUSH1 0x1f
00000391: AND
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x03b1
00000397: JUMPI
00000398: DUP1
00000399: DUP3
0000039a: SUB
0000039b: DUP1
0000039c: MLOAD
0000039d: PUSH1 0x01
0000039f: DUP4
000003a0: PUSH1 0x20
000003a2: SUB
000003a3: PUSH2 0x0100
000003a6: EXP
000003a7: SUB
000003a8: NOT
000003a9: AND
000003aa: DUP2
000003ab: MSTORE
000003ac: PUSH1 0x20
000003ae: ADD
000003af: SWAP2
000003b0: POP
000003b1: JUMPDEST
000003b2: POP
000003b3: SWAP3
000003b4: POP
000003b5: POP
000003b6: POP
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: DUP1
000003bb: SWAP2
000003bc: SUB
000003bd: SWAP1
000003be: RETURN
000003bf: JUMPDEST
000003c0: CALLVALUE
000003c1: DUP1
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: POP
000003cd: PUSH2 0x03f8
000003d0: PUSH1 0x04
000003d2: DUP1
000003d3: CALLDATASIZE
000003d4: SUB
000003d5: PUSH1 0x40
000003d7: DUP2
000003d8: LT
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH1 0x01
000003e6: PUSH1 0x01
000003e8: PUSH1 0xa0
000003ea: SHL
000003eb: SUB
000003ec: DUP2
000003ed: CALLDATALOAD
000003ee: AND
000003ef: SWAP1
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: CALLDATALOAD
000003f4: PUSH2 0x0af9
000003f7: JUMP
000003f8: JUMPDEST
000003f9: PUSH1 0x40
000003fb: DUP1
000003fc: MLOAD
000003fd: SWAP2
000003fe: ISZERO
000003ff: ISZERO
00000400: DUP3
00000401: MSTORE
00000402: MLOAD
00000403: SWAP1
00000404: DUP2
00000405: SWAP1
00000406: SUB
00000407: PUSH1 0x20
00000409: ADD
0000040a: SWAP1
0000040b: RETURN
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0418
00000413: JUMPI
00000414: PUSH1 0x00
00000416: DUP1
00000417: REVERT
00000418: JUMPDEST
00000419: POP
0000041a: PUSH2 0x03f8
0000041d: PUSH2 0x0b17
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x0436
00000432: PUSH2 0x0b26
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x40
00000439: DUP1
0000043a: MLOAD
0000043b: SWAP2
0000043c: DUP3
0000043d: MSTORE
0000043e: MLOAD
0000043f: SWAP1
00000440: DUP2
00000441: SWAP1
00000442: SUB
00000443: PUSH1 0x20
00000445: ADD
00000446: SWAP1
00000447: RETURN
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0454
0000044f: JUMPI
00000450: PUSH1 0x00
00000452: DUP1
00000453: REVERT
00000454: JUMPDEST
00000455: POP
00000456: PUSH2 0x03f8
00000459: PUSH2 0x0b2c
0000045c: JUMP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH2 0x0436
0000046e: PUSH2 0x0b36
00000471: JUMP
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047e
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: DUP1
0000047d: REVERT
0000047e: JUMPDEST
0000047f: POP
00000480: PUSH2 0x0487
00000483: PUSH2 0x0b3d
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH1 0x40
0000048a: DUP1
0000048b: MLOAD
0000048c: PUSH1 0x01
0000048e: PUSH1 0x01
00000490: PUSH1 0xa0
00000492: SHL
00000493: SUB
00000494: SWAP1
00000495: SWAP3
00000496: AND
00000497: DUP3
00000498: MSTORE
00000499: MLOAD
0000049a: SWAP1
0000049b: DUP2
0000049c: SWAP1
0000049d: SUB
0000049e: PUSH1 0x20
000004a0: ADD
000004a1: SWAP1
000004a2: RETURN
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x0436
000004b4: PUSH2 0x0b61
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH2 0x03f8
000004c9: PUSH1 0x04
000004cb: DUP1
000004cc: CALLDATASIZE
000004cd: SUB
000004ce: PUSH1 0x60
000004d0: DUP2
000004d1: LT
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH1 0x01
000004df: PUSH1 0x01
000004e1: PUSH1 0xa0
000004e3: SHL
000004e4: SUB
000004e5: DUP2
000004e6: CALLDATALOAD
000004e7: DUP2
000004e8: AND
000004e9: SWAP2
000004ea: PUSH1 0x20
000004ec: DUP2
000004ed: ADD
000004ee: CALLDATALOAD
000004ef: SWAP1
000004f0: SWAP2
000004f1: AND
000004f2: SWAP1
000004f3: PUSH1 0x40
000004f5: ADD
000004f6: CALLDATALOAD
000004f7: PUSH2 0x0b67
000004fa: JUMP
000004fb: JUMPDEST
000004fc: CALLVALUE
000004fd: DUP1
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: POP
00000509: PUSH2 0x0510
0000050c: PUSH2 0x0bef
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH1 0x40
00000513: DUP1
00000514: MLOAD
00000515: PUSH1 0xff
00000517: SWAP1
00000518: SWAP3
00000519: AND
0000051a: DUP3
0000051b: MSTORE
0000051c: MLOAD
0000051d: SWAP1
0000051e: DUP2
0000051f: SWAP1
00000520: SUB
00000521: PUSH1 0x20
00000523: ADD
00000524: SWAP1
00000525: RETURN
00000526: JUMPDEST
00000527: CALLVALUE
00000528: DUP1
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH2 0x0510
00000537: PUSH2 0x0c13
0000053a: JUMP
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x0436
0000054c: PUSH2 0x0c1c
0000054f: JUMP
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x03f8
00000561: PUSH1 0x04
00000563: DUP1
00000564: CALLDATASIZE
00000565: SUB
00000566: PUSH1 0x40
00000568: DUP2
00000569: LT
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH1 0x01
00000577: PUSH1 0x01
00000579: PUSH1 0xa0
0000057b: SHL
0000057c: SUB
0000057d: DUP2
0000057e: CALLDATALOAD
0000057f: AND
00000580: SWAP1
00000581: PUSH1 0x20
00000583: ADD
00000584: CALLDATALOAD
00000585: PUSH2 0x0d20
00000588: JUMP
00000589: JUMPDEST
0000058a: CALLVALUE
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH2 0x0436
0000059a: PUSH2 0x0d6e
0000059d: JUMP
0000059e: JUMPDEST
0000059f: CALLVALUE
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: PUSH2 0x0333
000005af: PUSH2 0x0d74
000005b2: JUMP
000005b3: JUMPDEST
000005b4: CALLVALUE
000005b5: DUP1
000005b6: ISZERO
000005b7: PUSH2 0x05bf
000005ba: JUMPI
000005bb: PUSH1 0x00
000005bd: DUP1
000005be: REVERT
000005bf: JUMPDEST
000005c0: POP
000005c1: PUSH2 0x03f8
000005c4: PUSH2 0x0e86
000005c7: JUMP
000005c8: JUMPDEST
000005c9: CALLVALUE
000005ca: DUP1
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: POP
000005d6: PUSH2 0x0436
000005d9: PUSH2 0x0e90
000005dc: JUMP
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: DUP1
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: PUSH2 0x0333
000005ee: PUSH1 0x04
000005f0: DUP1
000005f1: CALLDATASIZE
000005f2: SUB
000005f3: PUSH1 0x20
000005f5: DUP2
000005f6: LT
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: CALLDATALOAD
00000603: PUSH2 0x0eb4
00000606: JUMP
00000607: JUMPDEST
00000608: CALLVALUE
00000609: DUP1
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH2 0x0436
00000618: PUSH1 0x04
0000061a: DUP1
0000061b: CALLDATASIZE
0000061c: SUB
0000061d: PUSH1 0x20
0000061f: DUP2
00000620: LT
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: CALLDATALOAD
0000062d: PUSH1 0x01
0000062f: PUSH1 0x01
00000631: PUSH1 0xa0
00000633: SHL
00000634: SUB
00000635: AND
00000636: PUSH2 0x0fc0
00000639: JUMP
0000063a: JUMPDEST
0000063b: CALLVALUE
0000063c: DUP1
0000063d: ISZERO
0000063e: PUSH2 0x0646
00000641: JUMPI
00000642: PUSH1 0x00
00000644: DUP1
00000645: REVERT
00000646: JUMPDEST
00000647: POP
00000648: PUSH2 0x0487
0000064b: PUSH2 0x0fdb
0000064e: JUMP
0000064f: JUMPDEST
00000650: CALLVALUE
00000651: DUP1
00000652: ISZERO
00000653: PUSH2 0x065b
00000656: JUMPI
00000657: PUSH1 0x00
00000659: DUP1
0000065a: REVERT
0000065b: JUMPDEST
0000065c: POP
0000065d: PUSH2 0x0436
00000660: PUSH2 0x0fff
00000663: JUMP
00000664: JUMPDEST
00000665: CALLVALUE
00000666: DUP1
00000667: ISZERO
00000668: PUSH2 0x0670
0000066b: JUMPI
0000066c: PUSH1 0x00
0000066e: DUP1
0000066f: REVERT
00000670: JUMPDEST
00000671: POP
00000672: PUSH2 0x03f8
00000675: PUSH2 0x109f
00000678: JUMP
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 0x0333
0000068a: PUSH1 0x04
0000068c: DUP1
0000068d: CALLDATASIZE
0000068e: SUB
0000068f: PUSH1 0x40
00000691: DUP2
00000692: LT
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: DUP1
0000069f: CALLDATALOAD
000006a0: SWAP1
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: CALLDATALOAD
000006a5: PUSH1 0x01
000006a7: PUSH1 0x01
000006a9: PUSH1 0xa0
000006ab: SHL
000006ac: SUB
000006ad: AND
000006ae: PUSH2 0x10a9
000006b1: JUMP
000006b2: JUMPDEST
000006b3: CALLVALUE
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: PUSH2 0x0436
000006c3: PUSH1 0x04
000006c5: DUP1
000006c6: CALLDATASIZE
000006c7: SUB
000006c8: PUSH1 0x20
000006ca: DUP2
000006cb: LT
000006cc: ISZERO
000006cd: PUSH2 0x06d5
000006d0: JUMPI
000006d1: PUSH1 0x00
000006d3: DUP1
000006d4: REVERT
000006d5: JUMPDEST
000006d6: POP
000006d7: CALLDATALOAD
000006d8: PUSH1 0x01
000006da: PUSH1 0x01
000006dc: PUSH1 0xa0
000006de: SHL
000006df: SUB
000006e0: AND
000006e1: PUSH2 0x11a6
000006e4: JUMP
000006e5: JUMPDEST
000006e6: CALLVALUE
000006e7: DUP1
000006e8: ISZERO
000006e9: PUSH2 0x06f1
000006ec: JUMPI
000006ed: PUSH1 0x00
000006ef: DUP1
000006f0: REVERT
000006f1: JUMPDEST
000006f2: POP
000006f3: PUSH2 0x034a
000006f6: PUSH2 0x11b8
000006f9: JUMP
000006fa: JUMPDEST
000006fb: CALLVALUE
000006fc: DUP1
000006fd: ISZERO
000006fe: PUSH2 0x0706
00000701: JUMPI
00000702: PUSH1 0x00
00000704: DUP1
00000705: REVERT
00000706: JUMPDEST
00000707: POP
00000708: PUSH2 0x0510
0000070b: PUSH2 0x1219
0000070e: JUMP
0000070f: JUMPDEST
00000710: CALLVALUE
00000711: DUP1
00000712: ISZERO
00000713: PUSH2 0x071b
00000716: JUMPI
00000717: PUSH1 0x00
00000719: DUP1
0000071a: REVERT
0000071b: JUMPDEST
0000071c: POP
0000071d: PUSH2 0x0436
00000720: PUSH1 0x04
00000722: DUP1
00000723: CALLDATASIZE
00000724: SUB
00000725: PUSH1 0x20
00000727: DUP2
00000728: LT
00000729: ISZERO
0000072a: PUSH2 0x0732
0000072d: JUMPI
0000072e: PUSH1 0x00
00000730: DUP1
00000731: REVERT
00000732: JUMPDEST
00000733: POP
00000734: CALLDATALOAD
00000735: PUSH2 0x123d
00000738: JUMP
00000739: JUMPDEST
0000073a: CALLVALUE
0000073b: DUP1
0000073c: ISZERO
0000073d: PUSH2 0x0745
00000740: JUMPI
00000741: PUSH1 0x00
00000743: DUP1
00000744: REVERT
00000745: JUMPDEST
00000746: POP
00000747: PUSH2 0x03f8
0000074a: PUSH1 0x04
0000074c: DUP1
0000074d: CALLDATASIZE
0000074e: SUB
0000074f: PUSH1 0x40
00000751: DUP2
00000752: LT
00000753: ISZERO
00000754: PUSH2 0x075c
00000757: JUMPI
00000758: PUSH1 0x00
0000075a: DUP1
0000075b: REVERT
0000075c: JUMPDEST
0000075d: POP
0000075e: PUSH1 0x01
00000760: PUSH1 0x01
00000762: PUSH1 0xa0
00000764: SHL
00000765: SUB
00000766: DUP2
00000767: CALLDATALOAD
00000768: AND
00000769: SWAP1
0000076a: PUSH1 0x20
0000076c: ADD
0000076d: CALLDATALOAD
0000076e: PUSH2 0x1248
00000771: JUMP
00000772: JUMPDEST
00000773: CALLVALUE
00000774: DUP1
00000775: ISZERO
00000776: PUSH2 0x077e
00000779: JUMPI
0000077a: PUSH1 0x00
0000077c: DUP1
0000077d: REVERT
0000077e: JUMPDEST
0000077f: POP
00000780: PUSH2 0x03f8
00000783: PUSH1 0x04
00000785: DUP1
00000786: CALLDATASIZE
00000787: SUB
00000788: PUSH1 0x40
0000078a: DUP2
0000078b: LT
0000078c: ISZERO
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: PUSH1 0x01
00000799: PUSH1 0x01
0000079b: PUSH1 0xa0
0000079d: SHL
0000079e: SUB
0000079f: DUP2
000007a0: CALLDATALOAD
000007a1: AND
000007a2: SWAP1
000007a3: PUSH1 0x20
000007a5: ADD
000007a6: CALLDATALOAD
000007a7: PUSH2 0x12b0
000007aa: JUMP
000007ab: JUMPDEST
000007ac: CALLVALUE
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07b7
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: REVERT
000007b7: JUMPDEST
000007b8: POP
000007b9: PUSH2 0x0333
000007bc: PUSH1 0x04
000007be: DUP1
000007bf: CALLDATASIZE
000007c0: SUB
000007c1: PUSH1 0x20
000007c3: DUP2
000007c4: LT
000007c5: ISZERO
000007c6: PUSH2 0x07ce
000007c9: JUMPI
000007ca: PUSH1 0x00
000007cc: DUP1
000007cd: REVERT
000007ce: JUMPDEST
000007cf: POP
000007d0: CALLDATALOAD
000007d1: PUSH2 0x12c4
000007d4: JUMP
000007d5: JUMPDEST
000007d6: CALLVALUE
000007d7: DUP1
000007d8: ISZERO
000007d9: PUSH2 0x07e1
000007dc: JUMPI
000007dd: PUSH1 0x00
000007df: DUP1
000007e0: REVERT
000007e1: JUMPDEST
000007e2: POP
000007e3: PUSH2 0x0436
000007e6: PUSH2 0x1378
000007e9: JUMP
000007ea: JUMPDEST
000007eb: CALLVALUE
000007ec: DUP1
000007ed: ISZERO
000007ee: PUSH2 0x07f6
000007f1: JUMPI
000007f2: PUSH1 0x00
000007f4: DUP1
000007f5: REVERT
000007f6: JUMPDEST
000007f7: POP
000007f8: PUSH2 0x0487
000007fb: PUSH2 0x139c
000007fe: JUMP
000007ff: JUMPDEST
00000800: CALLVALUE
00000801: DUP1
00000802: ISZERO
00000803: PUSH2 0x080b
00000806: JUMPI
00000807: PUSH1 0x00
00000809: DUP1
0000080a: REVERT
0000080b: JUMPDEST
0000080c: POP
0000080d: PUSH2 0x0436
00000810: PUSH1 0x04
00000812: DUP1
00000813: CALLDATASIZE
00000814: SUB
00000815: PUSH1 0x20
00000817: DUP2
00000818: LT
00000819: ISZERO
0000081a: PUSH2 0x0822
0000081d: JUMPI
0000081e: PUSH1 0x00
00000820: DUP1
00000821: REVERT
00000822: JUMPDEST
00000823: POP
00000824: CALLDATALOAD
00000825: PUSH1 0x01
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: SHL
0000082c: SUB
0000082d: AND
0000082e: PUSH2 0x13c0
00000831: JUMP
00000832: JUMPDEST
00000833: CALLVALUE
00000834: DUP1
00000835: ISZERO
00000836: PUSH2 0x083e
00000839: JUMPI
0000083a: PUSH1 0x00
0000083c: DUP1
0000083d: REVERT
0000083e: JUMPDEST
0000083f: POP
00000840: PUSH2 0x0436
00000843: PUSH1 0x04
00000845: DUP1
00000846: CALLDATASIZE
00000847: SUB
00000848: PUSH1 0x40
0000084a: DUP2
0000084b: LT
0000084c: ISZERO
0000084d: PUSH2 0x0855
00000850: JUMPI
00000851: PUSH1 0x00
00000853: DUP1
00000854: REVERT
00000855: JUMPDEST
00000856: POP
00000857: PUSH1 0x01
00000859: PUSH1 0x01
0000085b: PUSH1 0xa0
0000085d: SHL
0000085e: SUB
0000085f: DUP2
00000860: CALLDATALOAD
00000861: DUP2
00000862: AND
00000863: SWAP2
00000864: PUSH1 0x20
00000866: ADD
00000867: CALLDATALOAD
00000868: AND
00000869: PUSH2 0x13d2
0000086c: JUMP
0000086d: JUMPDEST
0000086e: CALLVALUE
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x0879
00000874: JUMPI
00000875: PUSH1 0x00
00000877: DUP1
00000878: REVERT
00000879: JUMPDEST
0000087a: POP
0000087b: PUSH2 0x08a0
0000087e: PUSH1 0x04
00000880: DUP1
00000881: CALLDATASIZE
00000882: SUB
00000883: PUSH1 0x20
00000885: DUP2
00000886: LT
00000887: ISZERO
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: REVERT
00000890: JUMPDEST
00000891: POP
00000892: CALLDATALOAD
00000893: PUSH1 0x01
00000895: PUSH1 0x01
00000897: PUSH1 0xa0
00000899: SHL
0000089a: SUB
0000089b: AND
0000089c: PUSH2 0x13fd
0000089f: JUMP
000008a0: JUMPDEST
000008a1: PUSH1 0x40
000008a3: DUP1
000008a4: MLOAD
000008a5: SWAP3
000008a6: DUP4
000008a7: MSTORE
000008a8: PUSH1 0x20
000008aa: DUP4
000008ab: ADD
000008ac: SWAP2
000008ad: SWAP1
000008ae: SWAP2
000008af: MSTORE
000008b0: DUP1
000008b1: MLOAD
000008b2: SWAP2
000008b3: DUP3
000008b4: SWAP1
000008b5: SUB
000008b6: ADD
000008b7: SWAP1
000008b8: RETURN
000008b9: JUMPDEST
000008ba: CALLVALUE
000008bb: DUP1
000008bc: ISZERO
000008bd: PUSH2 0x08c5
000008c0: JUMPI
000008c1: PUSH1 0x00
000008c3: DUP1
000008c4: REVERT
000008c5: JUMPDEST
000008c6: POP
000008c7: PUSH2 0x0436
000008ca: PUSH2 0x1453
000008cd: JUMP
000008ce: JUMPDEST
000008cf: CALLVALUE
000008d0: DUP1
000008d1: ISZERO
000008d2: PUSH2 0x08da
000008d5: JUMPI
000008d6: PUSH1 0x00
000008d8: DUP1
000008d9: REVERT
000008da: JUMPDEST
000008db: POP
000008dc: PUSH2 0x08e3
000008df: PUSH2 0x14c2
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH1 0x40
000008e6: MLOAD
000008e7: DUP1
000008e8: DUP3
000008e9: PUSH1 0x01
000008eb: DUP2
000008ec: GT
000008ed: ISZERO
000008ee: PUSH2 0x08f3
000008f1: JUMPI
000008f2: INVALID
000008f3: JUMPDEST
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0x20
000008f8: ADD
000008f9: SWAP2
000008fa: POP
000008fb: POP
000008fc: PUSH1 0x40
000008fe: MLOAD
000008ff: DUP1
00000900: SWAP2
00000901: SUB
00000902: SWAP1
00000903: RETURN
00000904: JUMPDEST
00000905: CALLVALUE
00000906: DUP1
00000907: ISZERO
00000908: PUSH2 0x0910
0000090b: JUMPI
0000090c: PUSH1 0x00
0000090e: DUP1
0000090f: REVERT
00000910: JUMPDEST
00000911: POP
00000912: PUSH2 0x08e3
00000915: PUSH2 0x14e6
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x0921
0000091d: PUSH2 0x156d
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH2 0x095c
00000925: JUMPI
00000926: PUSH1 0x40
00000928: MLOAD
00000929: PUSH3 0x461bcd
0000092d: PUSH1 0xe5
0000092f: SHL
00000930: DUP2
00000931: MSTORE
00000932: PUSH1 0x04
00000934: ADD
00000935: DUP1
00000936: DUP1
00000937: PUSH1 0x20
00000939: ADD
0000093a: DUP3
0000093b: DUP2
0000093c: SUB
0000093d: DUP3
0000093e: MSTORE
0000093f: PUSH1 0x21
00000941: DUP2
00000942: MSTORE
00000943: PUSH1 0x20
00000945: ADD
00000946: DUP1
00000947: PUSH2 0x29d7
0000094a: PUSH1 0x21
0000094c: SWAP2
0000094d: CODECOPY
0000094e: PUSH1 0x40
00000950: ADD
00000951: SWAP2
00000952: POP
00000953: POP
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: SWAP2
00000959: SUB
0000095a: SWAP1
0000095b: REVERT
0000095c: JUMPDEST
0000095d: CALLVALUE
0000095e: DUP1
0000095f: PUSH2 0x0999
00000962: JUMPI
00000963: PUSH1 0x40
00000965: MLOAD
00000966: PUSH3 0x461bcd
0000096a: PUSH1 0xe5
0000096c: SHL
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x04
00000971: ADD
00000972: DUP1
00000973: DUP1
00000974: PUSH1 0x20
00000976: ADD
00000977: DUP3
00000978: DUP2
00000979: SUB
0000097a: DUP3
0000097b: MSTORE
0000097c: PUSH1 0x2a
0000097e: DUP2
0000097f: MSTORE
00000980: PUSH1 0x20
00000982: ADD
00000983: DUP1
00000984: PUSH2 0x2984
00000987: PUSH1 0x2a
00000989: SWAP2
0000098a: CODECOPY
0000098b: PUSH1 0x40
0000098d: ADD
0000098e: SWAP2
0000098f: POP
00000990: POP
00000991: PUSH1 0x40
00000993: MLOAD
00000994: DUP1
00000995: SWAP2
00000996: SUB
00000997: SWAP1
00000998: REVERT
00000999: JUMPDEST
0000099a: PUSH1 0x00
0000099c: PUSH2 0x09a4
0000099f: DUP3
000009a0: PUSH2 0x1589
000009a3: JUMP
000009a4: JUMPDEST
000009a5: SWAP1
000009a6: POP
000009a7: PUSH2 0x09b0
000009aa: CALLER
000009ab: DUP4
000009ac: PUSH2 0x1608
000009af: JUMP
000009b0: JUMPDEST
000009b1: PUSH2 0x09b8
000009b4: PUSH2 0x0fdb
000009b7: JUMP
000009b8: JUMPDEST
000009b9: PUSH1 0x01
000009bb: PUSH1 0x01
000009bd: PUSH1 0xa0
000009bf: SHL
000009c0: SUB
000009c1: AND
000009c2: PUSH4 0xd0e30db0
000009c7: CALLVALUE
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP3
000009cc: PUSH4 0xffffffff
000009d1: AND
000009d2: PUSH1 0xe0
000009d4: SHL
000009d5: DUP2
000009d6: MSTORE
000009d7: PUSH1 0x04
000009d9: ADD
000009da: PUSH1 0x00
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: DUP1
000009e0: DUP4
000009e1: SUB
000009e2: DUP2
000009e3: DUP6
000009e4: DUP9
000009e5: DUP1
000009e6: EXTCODESIZE
000009e7: ISZERO
000009e8: DUP1
000009e9: ISZERO
000009ea: PUSH2 0x09f2
000009ed: JUMPI
000009ee: PUSH1 0x00
000009f0: DUP1
000009f1: REVERT
000009f2: JUMPDEST
000009f3: POP
000009f4: GAS
000009f5: CALL
000009f6: ISZERO
000009f7: DUP1
000009f8: ISZERO
000009f9: PUSH2 0x0a06
000009fc: JUMPI
000009fd: RETURNDATASIZE
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: RETURNDATACOPY
00000a02: RETURNDATASIZE
00000a03: PUSH1 0x00
00000a05: REVERT
00000a06: JUMPDEST
00000a07: POP
00000a08: POP
00000a09: POP
00000a0a: POP
00000a0b: POP
00000a0c: PUSH2 0x0a28
00000a0f: CALLER
00000a10: DUP3
00000a11: PUSH2 0x0a18
00000a14: PUSH2 0x0b3d
00000a17: JUMP
00000a18: JUMPDEST
00000a19: PUSH1 0x01
00000a1b: PUSH1 0x01
00000a1d: PUSH1 0xa0
00000a1f: SHL
00000a20: SUB
00000a21: AND
00000a22: SWAP2
00000a23: SWAP1
00000a24: PUSH2 0x1704
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH1 0x40
00000a2b: DUP1
00000a2c: MLOAD
00000a2d: DUP4
00000a2e: DUP2
00000a2f: MSTORE
00000a30: SWAP1
00000a31: MLOAD
00000a32: CALLER
00000a33: SWAP2
00000a34: PUSH32 0x5a20425ee28c08dfaf53c051ce9fb1fdfedad2949379924d3313a74c2c61a2a5
00000a55: SWAP2
00000a56: SWAP1
00000a57: DUP2
00000a58: SWAP1
00000a59: SUB
00000a5a: PUSH1 0x20
00000a5c: ADD
00000a5d: SWAP1
00000a5e: LOG2
00000a5f: POP
00000a60: POP
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH1 0x03
00000a65: DUP1
00000a66: SLOAD
00000a67: PUSH1 0x40
00000a69: DUP1
00000a6a: MLOAD
00000a6b: PUSH1 0x20
00000a6d: PUSH1 0x1f
00000a6f: PUSH1 0x02
00000a71: PUSH1 0x00
00000a73: NOT
00000a74: PUSH2 0x0100
00000a77: PUSH1 0x01
00000a79: DUP9
00000a7a: AND
00000a7b: ISZERO
00000a7c: MUL
00000a7d: ADD
00000a7e: SWAP1
00000a7f: SWAP6
00000a80: AND
00000a81: SWAP5
00000a82: SWAP1
00000a83: SWAP5
00000a84: DIV
00000a85: SWAP4
00000a86: DUP5
00000a87: ADD
00000a88: DUP2
00000a89: SWAP1
00000a8a: DIV
00000a8b: DUP2
00000a8c: MUL
00000a8d: DUP3
00000a8e: ADD
00000a8f: DUP2
00000a90: ADD
00000a91: SWAP1
00000a92: SWAP3
00000a93: MSTORE
00000a94: DUP3
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x60
00000a99: SWAP4
00000a9a: SWAP1
00000a9b: SWAP3
00000a9c: SWAP1
00000a9d: SWAP2
00000a9e: DUP4
00000a9f: ADD
00000aa0: DUP3
00000aa1: DUP3
00000aa2: DUP1
00000aa3: ISZERO
00000aa4: PUSH2 0x0aee
00000aa7: JUMPI
00000aa8: DUP1
00000aa9: PUSH1 0x1f
00000aab: LT
00000aac: PUSH2 0x0ac3
00000aaf: JUMPI
00000ab0: PUSH2 0x0100
00000ab3: DUP1
00000ab4: DUP4
00000ab5: SLOAD
00000ab6: DIV
00000ab7: MUL
00000ab8: DUP4
00000ab9: MSTORE
00000aba: SWAP2
00000abb: PUSH1 0x20
00000abd: ADD
00000abe: SWAP2
00000abf: PUSH2 0x0aee
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: DUP3
00000ac5: ADD
00000ac6: SWAP2
00000ac7: SWAP1
00000ac8: PUSH1 0x00
00000aca: MSTORE
00000acb: PUSH1 0x20
00000acd: PUSH1 0x00
00000acf: KECCAK256
00000ad0: SWAP1
00000ad1: JUMPDEST
00000ad2: DUP2
00000ad3: SLOAD
00000ad4: DUP2
00000ad5: MSTORE
00000ad6: SWAP1
00000ad7: PUSH1 0x01
00000ad9: ADD
00000ada: SWAP1
00000adb: PUSH1 0x20
00000add: ADD
00000ade: DUP1
00000adf: DUP4
00000ae0: GT
00000ae1: PUSH2 0x0ad1
00000ae4: JUMPI
00000ae5: DUP3
00000ae6: SWAP1
00000ae7: SUB
00000ae8: PUSH1 0x1f
00000aea: AND
00000aeb: DUP3
00000aec: ADD
00000aed: SWAP2
00000aee: JUMPDEST
00000aef: POP
00000af0: POP
00000af1: POP
00000af2: POP
00000af3: POP
00000af4: SWAP1
00000af5: POP
00000af6: JUMPDEST
00000af7: SWAP1
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH1 0x00
00000afc: PUSH2 0x0b0d
00000aff: PUSH2 0x0b06
00000b02: PUSH2 0x175b
00000b05: JUMP
00000b06: JUMPDEST
00000b07: DUP5
00000b08: DUP5
00000b09: PUSH2 0x175f
00000b0c: JUMP
00000b0d: JUMPDEST
00000b0e: POP
00000b0f: PUSH1 0x01
00000b11: JUMPDEST
00000b12: SWAP3
00000b13: SWAP2
00000b14: POP
00000b15: POP
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH1 0x00
00000b1a: PUSH2 0x0b21
00000b1d: PUSH2 0x156d
00000b20: JUMP
00000b21: JUMPDEST
00000b22: SWAP1
00000b23: POP
00000b24: SWAP1
00000b25: JUMP
00000b26: JUMPDEST
00000b27: PUSH1 0x06
00000b29: SLOAD
00000b2a: SWAP1
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH1 0x00
00000b2f: PUSH2 0x0b21
00000b32: PUSH2 0x109f
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH3 0x015180
00000b3b: DUP2
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000b5f: SWAP1
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x02
00000b64: SLOAD
00000b65: SWAP1
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x00
00000b6a: PUSH2 0x0b74
00000b6d: DUP5
00000b6e: DUP5
00000b6f: DUP5
00000b70: PUSH2 0x184b
00000b73: JUMP
00000b74: JUMPDEST
00000b75: PUSH2 0x0be4
00000b78: DUP5
00000b79: PUSH2 0x0b80
00000b7c: PUSH2 0x175b
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH2 0x0bdf
00000b84: DUP6
00000b85: PUSH1 0x40
00000b87: MLOAD
00000b88: DUP1
00000b89: PUSH1 0x60
00000b8b: ADD
00000b8c: PUSH1 0x40
00000b8e: MSTORE
00000b8f: DUP1
00000b90: PUSH1 0x28
00000b92: DUP2
00000b93: MSTORE
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: PUSH2 0x295c
00000b9a: PUSH1 0x28
00000b9c: SWAP2
00000b9d: CODECOPY
00000b9e: PUSH1 0x01
00000ba0: PUSH1 0x01
00000ba2: PUSH1 0xa0
00000ba4: SHL
00000ba5: SUB
00000ba6: DUP11
00000ba7: AND
00000ba8: PUSH1 0x00
00000baa: SWAP1
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x01
00000baf: PUSH1 0x20
00000bb1: MSTORE
00000bb2: PUSH1 0x40
00000bb4: DUP2
00000bb5: KECCAK256
00000bb6: SWAP1
00000bb7: PUSH2 0x0bbe
00000bba: PUSH2 0x175b
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: PUSH1 0x01
00000bc1: PUSH1 0x01
00000bc3: PUSH1 0xa0
00000bc5: SHL
00000bc6: SUB
00000bc7: AND
00000bc8: DUP2
00000bc9: MSTORE
00000bca: PUSH1 0x20
00000bcc: DUP2
00000bcd: ADD
00000bce: SWAP2
00000bcf: SWAP1
00000bd0: SWAP2
00000bd1: MSTORE
00000bd2: PUSH1 0x40
00000bd4: ADD
00000bd5: PUSH1 0x00
00000bd7: KECCAK256
00000bd8: SLOAD
00000bd9: SWAP2
00000bda: SWAP1
00000bdb: PUSH2 0x19a6
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH2 0x175f
00000be3: JUMP
00000be4: JUMPDEST
00000be5: POP
00000be6: PUSH1 0x01
00000be8: JUMPDEST
00000be9: SWAP4
00000bea: SWAP3
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000006
00000c11: SWAP1
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH1 0x05
00000c16: SLOAD
00000c17: PUSH1 0xff
00000c19: AND
00000c1a: SWAP1
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: PUSH1 0x00
00000c1f: DUP1
00000c20: PUSH32 0x000000000000000000000000e4da64757b2b29db43429a52caf7ad884c76f8b0
00000c41: PUSH1 0x01
00000c43: PUSH1 0x01
00000c45: PUSH1 0xa0
00000c47: SHL
00000c48: SUB
00000c49: AND
00000c4a: PUSH4 0x5fa5c8ce
00000c4f: PUSH1 0x40
00000c51: MLOAD
00000c52: DUP2
00000c53: PUSH4 0xffffffff
00000c58: AND
00000c59: PUSH1 0xe0
00000c5b: SHL
00000c5c: DUP2
00000c5d: MSTORE
00000c5e: PUSH1 0x04
00000c60: ADD
00000c61: PUSH1 0x20
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: DUP1
00000c67: DUP4
00000c68: SUB
00000c69: DUP2
00000c6a: DUP7
00000c6b: DUP1
00000c6c: EXTCODESIZE
00000c6d: ISZERO
00000c6e: DUP1
00000c6f: ISZERO
00000c70: PUSH2 0x0c78
00000c73: JUMPI
00000c74: PUSH1 0x00
00000c76: DUP1
00000c77: REVERT
00000c78: JUMPDEST
00000c79: POP
00000c7a: GAS
00000c7b: STATICCALL
00000c7c: ISZERO
00000c7d: DUP1
00000c7e: ISZERO
00000c7f: PUSH2 0x0c8c
00000c82: JUMPI
00000c83: RETURNDATASIZE
00000c84: PUSH1 0x00
00000c86: DUP1
00000c87: RETURNDATACOPY
00000c88: RETURNDATASIZE
00000c89: PUSH1 0x00
00000c8b: REVERT
00000c8c: JUMPDEST
00000c8d: POP
00000c8e: POP
00000c8f: POP
00000c90: POP
00000c91: PUSH1 0x40
00000c93: MLOAD
00000c94: RETURNDATASIZE
00000c95: PUSH1 0x20
00000c97: DUP2
00000c98: LT
00000c99: ISZERO
00000c9a: PUSH2 0x0ca2
00000c9d: JUMPI
00000c9e: PUSH1 0x00
00000ca0: DUP1
00000ca1: REVERT
00000ca2: JUMPDEST
00000ca3: POP
00000ca4: MLOAD
00000ca5: PUSH1 0x40
00000ca7: DUP1
00000ca8: MLOAD
00000ca9: PUSH4 0xb3aefb75
00000cae: PUSH1 0xe0
00000cb0: SHL
00000cb1: DUP2
00000cb2: MSTORE
00000cb3: ADDRESS
00000cb4: PUSH1 0x04
00000cb6: DUP3
00000cb7: ADD
00000cb8: MSTORE
00000cb9: SWAP1
00000cba: MLOAD
00000cbb: SWAP2
00000cbc: SWAP3
00000cbd: POP
00000cbe: PUSH1 0x01
00000cc0: PUSH1 0x01
00000cc2: PUSH1 0xa0
00000cc4: SHL
00000cc5: SUB
00000cc6: DUP4
00000cc7: AND
00000cc8: SWAP2
00000cc9: PUSH4 0xb3aefb75
00000cce: SWAP2
00000ccf: PUSH1 0x24
00000cd1: DUP1
00000cd2: DUP3
00000cd3: ADD
00000cd4: SWAP3
00000cd5: PUSH1 0x20
00000cd7: SWAP3
00000cd8: SWAP1
00000cd9: SWAP2
00000cda: SWAP1
00000cdb: DUP3
00000cdc: SWAP1
00000cdd: SUB
00000cde: ADD
00000cdf: DUP2
00000ce0: DUP7
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: STATICCALL
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: POP
00000d1a: MLOAD
00000d1b: SWAP2
00000d1c: POP
00000d1d: POP
00000d1e: SWAP1
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: PUSH1 0x00
00000d23: PUSH2 0x0b0d
00000d26: PUSH2 0x0d2d
00000d29: PUSH2 0x175b
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: DUP5
00000d2f: PUSH2 0x0bdf
00000d32: DUP6
00000d33: PUSH1 0x01
00000d35: PUSH1 0x00
00000d37: PUSH2 0x0d3e
00000d3a: PUSH2 0x175b
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x01
00000d41: PUSH1 0x01
00000d43: PUSH1 0xa0
00000d45: SHL
00000d46: SUB
00000d47: SWAP1
00000d48: DUP2
00000d49: AND
00000d4a: DUP3
00000d4b: MSTORE
00000d4c: PUSH1 0x20
00000d4e: DUP1
00000d4f: DUP4
00000d50: ADD
00000d51: SWAP4
00000d52: SWAP1
00000d53: SWAP4
00000d54: MSTORE
00000d55: PUSH1 0x40
00000d57: SWAP2
00000d58: DUP3
00000d59: ADD
00000d5a: PUSH1 0x00
00000d5c: SWAP1
00000d5d: DUP2
00000d5e: KECCAK256
00000d5f: SWAP2
00000d60: DUP13
00000d61: AND
00000d62: DUP2
00000d63: MSTORE
00000d64: SWAP3
00000d65: MSTORE
00000d66: SWAP1
00000d67: KECCAK256
00000d68: SLOAD
00000d69: SWAP1
00000d6a: PUSH2 0x1a3d
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x09
00000d71: SLOAD
00000d72: DUP2
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH2 0x0d7c
00000d78: PUSH2 0x109f
00000d7b: JUMP
00000d7c: JUMPDEST
00000d7d: PUSH2 0x0db7
00000d80: JUMPI
00000d81: PUSH1 0x40
00000d83: MLOAD
00000d84: PUSH3 0x461bcd
00000d88: PUSH1 0xe5
00000d8a: SHL
00000d8b: DUP2
00000d8c: MSTORE
00000d8d: PUSH1 0x04
00000d8f: ADD
00000d90: DUP1
00000d91: DUP1
00000d92: PUSH1 0x20
00000d94: ADD
00000d95: DUP3
00000d96: DUP2
00000d97: SUB
00000d98: DUP3
00000d99: MSTORE
00000d9a: PUSH1 0x25
00000d9c: DUP2
00000d9d: MSTORE
00000d9e: PUSH1 0x20
00000da0: ADD
00000da1: DUP1
00000da2: PUSH2 0x2916
00000da5: PUSH1 0x25
00000da7: SWAP2
00000da8: CODECOPY
00000da9: PUSH1 0x40
00000dab: ADD
00000dac: SWAP2
00000dad: POP
00000dae: POP
00000daf: PUSH1 0x40
00000db1: MLOAD
00000db2: DUP1
00000db3: SWAP2
00000db4: SUB
00000db5: SWAP1
00000db6: REVERT
00000db7: JUMPDEST
00000db8: PUSH1 0x00
00000dba: DUP1
00000dbb: PUSH2 0x0dc2
00000dbe: PUSH2 0x1a97
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: SWAP2
00000dc4: POP
00000dc5: SWAP2
00000dc6: POP
00000dc7: PUSH2 0x0dd3
00000dca: CALLER
00000dcb: DUP4
00000dcc: PUSH2 0x0a18
00000dcf: PUSH2 0x0b3d
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: DUP1
00000dd5: ISZERO
00000dd6: PUSH2 0x0e48
00000dd9: JUMPI
00000dda: PUSH2 0x0de1
00000ddd: PUSH2 0x0fdb
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x01
00000de4: PUSH1 0x01
00000de6: PUSH1 0xa0
00000de8: SHL
00000de9: SUB
00000dea: AND
00000deb: PUSH4 0x2e1a7d4d
00000df0: DUP3
00000df1: PUSH1 0x40
00000df3: MLOAD
00000df4: DUP3
00000df5: PUSH4 0xffffffff
00000dfa: AND
00000dfb: PUSH1 0xe0
00000dfd: SHL
00000dfe: DUP2
00000dff: MSTORE
00000e00: PUSH1 0x04
00000e02: ADD
00000e03: DUP1
00000e04: DUP3
00000e05: DUP2
00000e06: MSTORE
00000e07: PUSH1 0x20
00000e09: ADD
00000e0a: SWAP2
00000e0b: POP
00000e0c: POP
00000e0d: PUSH1 0x00
00000e0f: PUSH1 0x40
00000e11: MLOAD
00000e12: DUP1
00000e13: DUP4
00000e14: SUB
00000e15: DUP2
00000e16: PUSH1 0x00
00000e18: DUP8
00000e19: DUP1
00000e1a: EXTCODESIZE
00000e1b: ISZERO
00000e1c: DUP1
00000e1d: ISZERO
00000e1e: PUSH2 0x0e26
00000e21: JUMPI
00000e22: PUSH1 0x00
00000e24: DUP1
00000e25: REVERT
00000e26: JUMPDEST
00000e27: POP
00000e28: GAS
00000e29: CALL
00000e2a: ISZERO
00000e2b: DUP1
00000e2c: ISZERO
00000e2d: PUSH2 0x0e3a
00000e30: JUMPI
00000e31: RETURNDATASIZE
00000e32: PUSH1 0x00
00000e34: DUP1
00000e35: RETURNDATACOPY
00000e36: RETURNDATASIZE
00000e37: PUSH1 0x00
00000e39: REVERT
00000e3a: JUMPDEST
00000e3b: POP
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: PUSH2 0x0e48
00000e42: CALLER
00000e43: DUP3
00000e44: PUSH2 0x1b25
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x40
00000e4b: DUP1
00000e4c: MLOAD
00000e4d: DUP4
00000e4e: DUP2
00000e4f: MSTORE
00000e50: PUSH1 0x20
00000e52: DUP2
00000e53: ADD
00000e54: DUP4
00000e55: SWAP1
00000e56: MSTORE
00000e57: DUP2
00000e58: MLOAD
00000e59: CALLER
00000e5a: SWAP3
00000e5b: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568
00000e7c: SWAP3
00000e7d: DUP3
00000e7e: SWAP1
00000e7f: SUB
00000e80: ADD
00000e81: SWAP1
00000e82: LOG2
00000e83: POP
00000e84: POP
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x00
00000e89: PUSH2 0x0b21
00000e8c: PUSH2 0x1c0a
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH32 0x0000000000000000000000000000000000000000000000000000000061a1e580
00000eb2: SWAP1
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH2 0x0ebc
00000eb8: PUSH2 0x1c0a
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: DUP1
00000ebe: PUSH2 0x0eca
00000ec1: JUMPI
00000ec2: POP
00000ec3: PUSH2 0x0eca
00000ec6: PUSH2 0x156d
00000ec9: JUMP
00000eca: JUMPDEST
00000ecb: PUSH2 0x0f1b
00000ece: JUMPI
00000ecf: PUSH1 0x40
00000ed1: DUP1
00000ed2: MLOAD
00000ed3: PUSH3 0x461bcd
00000ed7: PUSH1 0xe5
00000ed9: SHL
00000eda: DUP2
00000edb: MSTORE
00000edc: PUSH1 0x20
00000ede: PUSH1 0x04
00000ee0: DUP3
00000ee1: ADD
00000ee2: MSTORE
00000ee3: PUSH1 0x1f
00000ee5: PUSH1 0x24
00000ee7: DUP3
00000ee8: ADD
00000ee9: MSTORE
00000eea: PUSH32 0x506f644f7074696f6e3a206e6f7420696e20756e6d696e742077696e646f7700
00000f0b: PUSH1 0x44
00000f0d: DUP3
00000f0e: ADD
00000f0f: MSTORE
00000f10: SWAP1
00000f11: MLOAD
00000f12: SWAP1
00000f13: DUP2
00000f14: SWAP1
00000f15: SUB
00000f16: PUSH1 0x64
00000f18: ADD
00000f19: SWAP1
00000f1a: REVERT
00000f1b: JUMPDEST
00000f1c: PUSH1 0x00
00000f1e: DUP1
00000f1f: PUSH2 0x0f28
00000f22: DUP4
00000f23: CALLER
00000f24: PUSH2 0x1c6b
00000f27: JUMP
00000f28: JUMPDEST
00000f29: SWAP2
00000f2a: POP
00000f2b: SWAP2
00000f2c: POP
00000f2d: PUSH1 0x00
00000f2f: DUP3
00000f30: GT
00000f31: PUSH2 0x0f6b
00000f34: JUMPI
00000f35: PUSH1 0x40
00000f37: MLOAD
00000f38: PUSH3 0x461bcd
00000f3c: PUSH1 0xe5
00000f3e: SHL
00000f3f: DUP2
00000f40: MSTORE
00000f41: PUSH1 0x04
00000f43: ADD
00000f44: DUP1
00000f45: DUP1
00000f46: PUSH1 0x20
00000f48: ADD
00000f49: DUP3
00000f4a: DUP2
00000f4b: SUB
00000f4c: DUP3
00000f4d: MSTORE
00000f4e: PUSH1 0x25
00000f50: DUP2
00000f51: MSTORE
00000f52: PUSH1 0x20
00000f54: ADD
00000f55: DUP1
00000f56: PUSH2 0x2ada
00000f59: PUSH1 0x25
00000f5b: SWAP2
00000f5c: CODECOPY
00000f5d: PUSH1 0x40
00000f5f: ADD
00000f60: SWAP2
00000f61: POP
00000f62: POP
00000f63: PUSH1 0x40
00000f65: MLOAD
00000f66: DUP1
00000f67: SWAP2
00000f68: SUB
00000f69: SWAP1
00000f6a: REVERT
00000f6b: JUMPDEST
00000f6c: PUSH2 0x0f78
00000f6f: CALLER
00000f70: DUP4
00000f71: PUSH2 0x0a18
00000f74: PUSH2 0x0b3d
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x40
00000f7b: DUP1
00000f7c: MLOAD
00000f7d: DUP5
00000f7e: DUP2
00000f7f: MSTORE
00000f80: PUSH1 0x20
00000f82: DUP2
00000f83: ADD
00000f84: DUP5
00000f85: SWAP1
00000f86: MSTORE
00000f87: DUP1
00000f88: DUP3
00000f89: ADD
00000f8a: DUP4
00000f8b: SWAP1
00000f8c: MSTORE
00000f8d: SWAP1
00000f8e: MLOAD
00000f8f: CALLER
00000f90: SWAP2
00000f91: PUSH32 0xe7220e099ba565b4a1b81002e7ef36ec69247fb255ff47f989746f3265762baa
00000fb2: SWAP2
00000fb3: SWAP1
00000fb4: DUP2
00000fb5: SWAP1
00000fb6: SUB
00000fb7: PUSH1 0x60
00000fb9: ADD
00000fba: SWAP1
00000fbb: LOG2
00000fbc: POP
00000fbd: POP
00000fbe: POP
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: PUSH1 0x01
00000fc3: PUSH1 0x01
00000fc5: PUSH1 0xa0
00000fc7: SHL
00000fc8: SUB
00000fc9: AND
00000fca: PUSH1 0x00
00000fcc: SWAP1
00000fcd: DUP2
00000fce: MSTORE
00000fcf: PUSH1 0x20
00000fd1: DUP2
00000fd2: SWAP1
00000fd3: MSTORE
00000fd4: PUSH1 0x40
00000fd6: SWAP1
00000fd7: KECCAK256
00000fd8: SLOAD
00000fd9: SWAP1
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000ffd: SWAP1
00000ffe: JUMP
00000fff: JUMPDEST
00001000: PUSH1 0x00
00001002: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001023: PUSH1 0x01
00001025: PUSH1 0x01
00001027: PUSH1 0xa0
00001029: SHL
0000102a: SUB
0000102b: AND
0000102c: PUSH4 0x70a08231
00001031: ADDRESS
00001032: PUSH1 0x40
00001034: MLOAD
00001035: DUP3
00001036: PUSH4 0xffffffff
0000103b: AND
0000103c: PUSH1 0xe0
0000103e: SHL
0000103f: DUP2
00001040: MSTORE
00001041: PUSH1 0x04
00001043: ADD
00001044: DUP1
00001045: DUP3
00001046: PUSH1 0x01
00001048: PUSH1 0x01
0000104a: PUSH1 0xa0
0000104c: SHL
0000104d: SUB
0000104e: AND
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x20
00001053: ADD
00001054: SWAP2
00001055: POP
00001056: POP
00001057: PUSH1 0x20
00001059: PUSH1 0x40
0000105b: MLOAD
0000105c: DUP1
0000105d: DUP4
0000105e: SUB
0000105f: DUP2
00001060: DUP7
00001061: DUP1
00001062: EXTCODESIZE
00001063: ISZERO
00001064: DUP1
00001065: ISZERO
00001066: PUSH2 0x106e
00001069: JUMPI
0000106a: PUSH1 0x00
0000106c: DUP1
0000106d: REVERT
0000106e: JUMPDEST
0000106f: POP
00001070: GAS
00001071: STATICCALL
00001072: ISZERO
00001073: DUP1
00001074: ISZERO
00001075: PUSH2 0x1082
00001078: JUMPI
00001079: RETURNDATASIZE
0000107a: PUSH1 0x00
0000107c: DUP1
0000107d: RETURNDATACOPY
0000107e: RETURNDATASIZE
0000107f: PUSH1 0x00
00001081: REVERT
00001082: JUMPDEST
00001083: POP
00001084: POP
00001085: POP
00001086: POP
00001087: PUSH1 0x40
00001089: MLOAD
0000108a: RETURNDATASIZE
0000108b: PUSH1 0x20
0000108d: DUP2
0000108e: LT
0000108f: ISZERO
00001090: PUSH2 0x1098
00001093: JUMPI
00001094: PUSH1 0x00
00001096: DUP1
00001097: REVERT
00001098: JUMPDEST
00001099: POP
0000109a: MLOAD
0000109b: SWAP1
0000109c: POP
0000109d: SWAP1
0000109e: JUMP
0000109f: JUMPDEST
000010a0: PUSH1 0x00
000010a2: PUSH2 0x0b21
000010a5: PUSH2 0x1f74
000010a8: JUMP
000010a9: JUMPDEST
000010aa: PUSH2 0x10b1
000010ad: PUSH2 0x1c0a
000010b0: JUMP
000010b1: JUMPDEST
000010b2: PUSH2 0x10ec
000010b5: JUMPI
000010b6: PUSH1 0x40
000010b8: MLOAD
000010b9: PUSH3 0x461bcd
000010bd: PUSH1 0xe5
000010bf: SHL
000010c0: DUP2
000010c1: MSTORE
000010c2: PUSH1 0x04
000010c4: ADD
000010c5: DUP1
000010c6: DUP1
000010c7: PUSH1 0x20
000010c9: ADD
000010ca: DUP3
000010cb: DUP2
000010cc: SUB
000010cd: DUP3
000010ce: MSTORE
000010cf: PUSH1 0x22
000010d1: DUP2
000010d2: MSTORE
000010d3: PUSH1 0x20
000010d5: ADD
000010d6: DUP1
000010d7: PUSH2 0x2ab8
000010da: PUSH1 0x22
000010dc: SWAP2
000010dd: CODECOPY
000010de: PUSH1 0x40
000010e0: ADD
000010e1: SWAP2
000010e2: POP
000010e3: POP
000010e4: PUSH1 0x40
000010e6: MLOAD
000010e7: DUP1
000010e8: SWAP2
000010e9: SUB
000010ea: SWAP1
000010eb: REVERT
000010ec: JUMPDEST
000010ed: PUSH1 0x00
000010ef: DUP3
000010f0: GT
000010f1: PUSH2 0x112b
000010f4: JUMPI
000010f5: PUSH1 0x40
000010f7: MLOAD
000010f8: PUSH3 0x461bcd
000010fc: PUSH1 0xe5
000010fe: SHL
000010ff: DUP2
00001100: MSTORE
00001101: PUSH1 0x04
00001103: ADD
00001104: DUP1
00001105: DUP1
00001106: PUSH1 0x20
00001108: ADD
00001109: DUP3
0000110a: DUP2
0000110b: SUB
0000110c: DUP3
0000110d: MSTORE
0000110e: PUSH1 0x25
00001110: DUP2
00001111: MSTORE
00001112: PUSH1 0x20
00001114: ADD
00001115: DUP1
00001116: PUSH2 0x28f1
00001119: PUSH1 0x25
0000111b: SWAP2
0000111c: CODECOPY
0000111d: PUSH1 0x40
0000111f: ADD
00001120: SWAP2
00001121: POP
00001122: POP
00001123: PUSH1 0x40
00001125: MLOAD
00001126: DUP1
00001127: SWAP2
00001128: SUB
00001129: SWAP1
0000112a: REVERT
0000112b: JUMPDEST
0000112c: PUSH1 0x00
0000112e: PUSH2 0x1136
00001131: DUP4
00001132: PUSH2 0x1589
00001135: JUMP
00001136: JUMPDEST
00001137: SWAP1
00001138: POP
00001139: PUSH2 0x1143
0000113c: DUP4
0000113d: DUP3
0000113e: DUP5
0000113f: PUSH2 0x1f9b
00001142: JUMP
00001143: JUMPDEST
00001144: PUSH2 0x1162
00001147: CALLER
00001148: ADDRESS
00001149: DUP4
0000114a: PUSH2 0x1151
0000114d: PUSH2 0x0b3d
00001150: JUMP
00001151: JUMPDEST
00001152: PUSH1 0x01
00001154: PUSH1 0x01
00001156: PUSH1 0xa0
00001158: SHL
00001159: SUB
0000115a: AND
0000115b: SWAP3
0000115c: SWAP2
0000115d: SWAP1
0000115e: PUSH2 0x218c
00001161: JUMP
00001162: JUMPDEST
00001163: PUSH1 0x40
00001165: DUP1
00001166: MLOAD
00001167: DUP5
00001168: DUP2
00001169: MSTORE
0000116a: SWAP1
0000116b: MLOAD
0000116c: PUSH1 0x01
0000116e: PUSH1 0x01
00001170: PUSH1 0xa0
00001172: SHL
00001173: SUB
00001174: DUP5
00001175: AND
00001176: SWAP2
00001177: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885
00001198: SWAP2
00001199: SWAP1
0000119a: DUP2
0000119b: SWAP1
0000119c: SUB
0000119d: PUSH1 0x20
0000119f: ADD
000011a0: SWAP1
000011a1: LOG2
000011a2: POP
000011a3: POP
000011a4: POP
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH1 0x08
000011a9: PUSH1 0x20
000011ab: MSTORE
000011ac: PUSH1 0x00
000011ae: SWAP1
000011af: DUP2
000011b0: MSTORE
000011b1: PUSH1 0x40
000011b3: SWAP1
000011b4: KECCAK256
000011b5: SLOAD
000011b6: DUP2
000011b7: JUMP
000011b8: JUMPDEST
000011b9: PUSH1 0x04
000011bb: DUP1
000011bc: SLOAD
000011bd: PUSH1 0x40
000011bf: DUP1
000011c0: MLOAD
000011c1: PUSH1 0x20
000011c3: PUSH1 0x1f
000011c5: PUSH1 0x02
000011c7: PUSH1 0x00
000011c9: NOT
000011ca: PUSH2 0x0100
000011cd: PUSH1 0x01
000011cf: DUP9
000011d0: AND
000011d1: ISZERO
000011d2: MUL
000011d3: ADD
000011d4: SWAP1
000011d5: SWAP6
000011d6: AND
000011d7: SWAP5
000011d8: SWAP1
000011d9: SWAP5
000011da: DIV
000011db: SWAP4
000011dc: DUP5
000011dd: ADD
000011de: DUP2
000011df: SWAP1
000011e0: DIV
000011e1: DUP2
000011e2: MUL
000011e3: DUP3
000011e4: ADD
000011e5: DUP2
000011e6: ADD
000011e7: SWAP1
000011e8: SWAP3
000011e9: MSTORE
000011ea: DUP3
000011eb: DUP2
000011ec: MSTORE
000011ed: PUSH1 0x60
000011ef: SWAP4
000011f0: SWAP1
000011f1: SWAP3
000011f2: SWAP1
000011f3: SWAP2
000011f4: DUP4
000011f5: ADD
000011f6: DUP3
000011f7: DUP3
000011f8: DUP1
000011f9: ISZERO
000011fa: PUSH2 0x0aee
000011fd: JUMPI
000011fe: DUP1
000011ff: PUSH1 0x1f
00001201: LT
00001202: PUSH2 0x0ac3
00001205: JUMPI
00001206: PUSH2 0x0100
00001209: DUP1
0000120a: DUP4
0000120b: SLOAD
0000120c: DIV
0000120d: MUL
0000120e: DUP4
0000120f: MSTORE
00001210: SWAP2
00001211: PUSH1 0x20
00001213: ADD
00001214: SWAP2
00001215: PUSH2 0x0aee
00001218: JUMP
00001219: JUMPDEST
0000121a: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012
0000123b: SWAP1
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH1 0x00
00001240: PUSH2 0x0b11
00001243: DUP3
00001244: PUSH2 0x1589
00001247: JUMP
00001248: JUMPDEST
00001249: PUSH1 0x00
0000124b: PUSH2 0x0b0d
0000124e: PUSH2 0x1255
00001251: PUSH2 0x175b
00001254: JUMP
00001255: JUMPDEST
00001256: DUP5
00001257: PUSH2 0x0bdf
0000125a: DUP6
0000125b: PUSH1 0x40
0000125d: MLOAD
0000125e: DUP1
0000125f: PUSH1 0x60
00001261: ADD
00001262: PUSH1 0x40
00001264: MSTORE
00001265: DUP1
00001266: PUSH1 0x25
00001268: DUP2
00001269: MSTORE
0000126a: PUSH1 0x20
0000126c: ADD
0000126d: PUSH2 0x2aff
00001270: PUSH1 0x25
00001272: SWAP2
00001273: CODECOPY
00001274: PUSH1 0x01
00001276: PUSH1 0x00
00001278: PUSH2 0x127f
0000127b: PUSH2 0x175b
0000127e: JUMP
0000127f: JUMPDEST
00001280: PUSH1 0x01
00001282: PUSH1 0x01
00001284: PUSH1 0xa0
00001286: SHL
00001287: SUB
00001288: SWAP1
00001289: DUP2
0000128a: AND
0000128b: DUP3
0000128c: MSTORE
0000128d: PUSH1 0x20
0000128f: DUP1
00001290: DUP4
00001291: ADD
00001292: SWAP4
00001293: SWAP1
00001294: SWAP4
00001295: MSTORE
00001296: PUSH1 0x40
00001298: SWAP2
00001299: DUP3
0000129a: ADD
0000129b: PUSH1 0x00
0000129d: SWAP1
0000129e: DUP2
0000129f: KECCAK256
000012a0: SWAP2
000012a1: DUP14
000012a2: AND
000012a3: DUP2
000012a4: MSTORE
000012a5: SWAP3
000012a6: MSTORE
000012a7: SWAP1
000012a8: KECCAK256
000012a9: SLOAD
000012aa: SWAP2
000012ab: SWAP1
000012ac: PUSH2 0x19a6
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH1 0x00
000012b3: PUSH2 0x0b0d
000012b6: PUSH2 0x12bd
000012b9: PUSH2 0x175b
000012bc: JUMP
000012bd: JUMPDEST
000012be: DUP5
000012bf: DUP5
000012c0: PUSH2 0x184b
000012c3: JUMP
000012c4: JUMPDEST
000012c5: PUSH2 0x12cc
000012c8: PUSH2 0x156d
000012cb: JUMP
000012cc: JUMPDEST
000012cd: PUSH2 0x1307
000012d0: JUMPI
000012d1: PUSH1 0x40
000012d3: MLOAD
000012d4: PUSH3 0x461bcd
000012d8: PUSH1 0xe5
000012da: SHL
000012db: DUP2
000012dc: MSTORE
000012dd: PUSH1 0x04
000012df: ADD
000012e0: DUP1
000012e1: DUP1
000012e2: PUSH1 0x20
000012e4: ADD
000012e5: DUP3
000012e6: DUP2
000012e7: SUB
000012e8: DUP3
000012e9: MSTORE
000012ea: PUSH1 0x21
000012ec: DUP2
000012ed: MSTORE
000012ee: PUSH1 0x20
000012f0: ADD
000012f1: DUP1
000012f2: PUSH2 0x29d7
000012f5: PUSH1 0x21
000012f7: SWAP2
000012f8: CODECOPY
000012f9: PUSH1 0x40
000012fb: ADD
000012fc: SWAP2
000012fd: POP
000012fe: POP
000012ff: PUSH1 0x40
00001301: MLOAD
00001302: DUP1
00001303: SWAP2
00001304: SUB
00001305: SWAP1
00001306: REVERT
00001307: JUMPDEST
00001308: PUSH1 0x00
0000130a: DUP2
0000130b: GT
0000130c: PUSH2 0x1346
0000130f: JUMPI
00001310: PUSH1 0x40
00001312: MLOAD
00001313: PUSH3 0x461bcd
00001317: PUSH1 0xe5
00001319: SHL
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x04
0000131e: ADD
0000131f: DUP1
00001320: DUP1
00001321: PUSH1 0x20
00001323: ADD
00001324: DUP3
00001325: DUP2
00001326: SUB
00001327: DUP3
00001328: MSTORE
00001329: PUSH1 0x29
0000132b: DUP2
0000132c: MSTORE
0000132d: PUSH1 0x20
0000132f: ADD
00001330: DUP1
00001331: PUSH2 0x29ae
00001334: PUSH1 0x29
00001336: SWAP2
00001337: CODECOPY
00001338: PUSH1 0x40
0000133a: ADD
0000133b: SWAP2
0000133c: POP
0000133d: POP
0000133e: PUSH1 0x40
00001340: MLOAD
00001341: DUP1
00001342: SWAP2
00001343: SUB
00001344: SWAP1
00001345: REVERT
00001346: JUMPDEST
00001347: PUSH1 0x00
00001349: PUSH2 0x1351
0000134c: DUP3
0000134d: PUSH2 0x1589
00001350: JUMP
00001351: JUMPDEST
00001352: SWAP1
00001353: POP
00001354: PUSH2 0x135d
00001357: CALLER
00001358: DUP4
00001359: PUSH2 0x1608
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH2 0x136b
00001361: CALLER
00001362: ADDRESS
00001363: DUP5
00001364: PUSH2 0x1151
00001367: PUSH2 0x0fdb
0000136a: JUMP
0000136b: JUMPDEST
0000136c: PUSH2 0x0a28
0000136f: CALLER
00001370: DUP3
00001371: PUSH2 0x0a18
00001374: PUSH2 0x0b3d
00001377: JUMP
00001378: JUMPDEST
00001379: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
0000139a: SWAP1
0000139b: JUMP
0000139c: JUMPDEST
0000139d: PUSH32 0x000000000000000000000000e4da64757b2b29db43429a52caf7ad884c76f8b0
000013be: DUP2
000013bf: JUMP
000013c0: JUMPDEST
000013c1: PUSH1 0x07
000013c3: PUSH1 0x20
000013c5: MSTORE
000013c6: PUSH1 0x00
000013c8: SWAP1
000013c9: DUP2
000013ca: MSTORE
000013cb: PUSH1 0x40
000013cd: SWAP1
000013ce: KECCAK256
000013cf: SLOAD
000013d0: DUP2
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH1 0x01
000013d5: PUSH1 0x01
000013d7: PUSH1 0xa0
000013d9: SHL
000013da: SUB
000013db: SWAP2
000013dc: DUP3
000013dd: AND
000013de: PUSH1 0x00
000013e0: SWAP1
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x01
000013e5: PUSH1 0x20
000013e7: SWAP1
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x40
000013ec: DUP1
000013ed: DUP4
000013ee: KECCAK256
000013ef: SWAP4
000013f0: SWAP1
000013f1: SWAP5
000013f2: AND
000013f3: DUP3
000013f4: MSTORE
000013f5: SWAP2
000013f6: SWAP1
000013f7: SWAP2
000013f8: MSTORE
000013f9: KECCAK256
000013fa: SLOAD
000013fb: SWAP1
000013fc: JUMP
000013fd: JUMPDEST
000013fe: PUSH1 0x01
00001400: PUSH1 0x01
00001402: PUSH1 0xa0
00001404: SHL
00001405: SUB
00001406: DUP2
00001407: AND
00001408: PUSH1 0x00
0000140a: SWAP1
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x07
0000140f: PUSH1 0x20
00001411: MSTORE
00001412: PUSH1 0x40
00001414: DUP2
00001415: KECCAK256
00001416: SLOAD
00001417: PUSH1 0x09
00001419: SLOAD
0000141a: DUP3
0000141b: SWAP2
0000141c: SWAP1
0000141d: PUSH2 0x1438
00001420: SWAP1
00001421: PUSH2 0x1432
00001424: PUSH2 0x142b
00001427: PUSH2 0x0fff
0000142a: JUMP
0000142b: JUMPDEST
0000142c: DUP5
0000142d: SWAP1
0000142e: PUSH2 0x21ec
00001431: JUMP
00001432: JUMPDEST
00001433: SWAP1
00001434: PUSH2 0x2245
00001437: JUMP
00001438: JUMPDEST
00001439: SWAP3
0000143a: POP
0000143b: PUSH2 0x144b
0000143e: PUSH1 0x09
00001440: SLOAD
00001441: PUSH2 0x1432
00001444: PUSH2 0x142b
00001447: PUSH2 0x1453
0000144a: JUMP
0000144b: JUMPDEST
0000144c: SWAP2
0000144d: POP
0000144e: POP
0000144f: SWAP2
00001450: POP
00001451: SWAP2
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH1 0x00
00001456: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001477: PUSH1 0x01
00001479: PUSH1 0x01
0000147b: PUSH1 0xa0
0000147d: SHL
0000147e: SUB
0000147f: AND
00001480: PUSH4 0x70a08231
00001485: ADDRESS
00001486: PUSH1 0x40
00001488: MLOAD
00001489: DUP3
0000148a: PUSH4 0xffffffff
0000148f: AND
00001490: PUSH1 0xe0
00001492: SHL
00001493: DUP2
00001494: MSTORE
00001495: PUSH1 0x04
00001497: ADD
00001498: DUP1
00001499: DUP3
0000149a: PUSH1 0x01
0000149c: PUSH1 0x01
0000149e: PUSH1 0xa0
000014a0: SHL
000014a1: SUB
000014a2: AND
000014a3: DUP2
000014a4: MSTORE
000014a5: PUSH1 0x20
000014a7: ADD
000014a8: SWAP2
000014a9: POP
000014aa: POP
000014ab: PUSH1 0x20
000014ad: PUSH1 0x40
000014af: MLOAD
000014b0: DUP1
000014b1: DUP4
000014b2: SUB
000014b3: DUP2
000014b4: DUP7
000014b5: DUP1
000014b6: EXTCODESIZE
000014b7: ISZERO
000014b8: DUP1
000014b9: ISZERO
000014ba: PUSH2 0x106e
000014bd: JUMPI
000014be: PUSH1 0x00
000014c0: DUP1
000014c1: REVERT
000014c2: JUMPDEST
000014c3: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
000014e4: SWAP1
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001508: SWAP1
00001509: JUMP
0000150a: JUMPDEST
0000150b: EXTCODESIZE
0000150c: ISZERO
0000150d: ISZERO
0000150e: SWAP1
0000150f: JUMP
00001510: JUMPDEST
00001511: PUSH1 0x00
00001513: DUP3
00001514: DUP3
00001515: GT
00001516: ISZERO
00001517: PUSH2 0x1567
0000151a: JUMPI
0000151b: PUSH1 0x40
0000151d: DUP1
0000151e: MLOAD
0000151f: PUSH3 0x461bcd
00001523: PUSH1 0xe5
00001525: SHL
00001526: DUP2
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: PUSH1 0x04
0000152c: DUP3
0000152d: ADD
0000152e: MSTORE
0000152f: PUSH1 0x1e
00001531: PUSH1 0x24
00001533: DUP3
00001534: ADD
00001535: MSTORE
00001536: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001557: PUSH1 0x44
00001559: DUP3
0000155a: ADD
0000155b: MSTORE
0000155c: SWAP1
0000155d: MLOAD
0000155e: SWAP1
0000155f: DUP2
00001560: SWAP1
00001561: SUB
00001562: PUSH1 0x64
00001564: ADD
00001565: SWAP1
00001566: REVERT
00001567: JUMPDEST
00001568: POP
00001569: SWAP1
0000156a: SUB
0000156b: SWAP1
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x00
00001570: PUSH2 0x1577
00001573: PUSH2 0x1f74
00001576: JUMP
00001577: JUMPDEST
00001578: ISZERO
00001579: DUP1
0000157a: ISZERO
0000157b: PUSH2 0x0b21
0000157e: JUMPI
0000157f: POP
00001580: POP
00001581: PUSH1 0x06
00001583: SLOAD
00001584: TIMESTAMP
00001585: LT
00001586: ISZERO
00001587: SWAP1
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x00
0000158c: DUP1
0000158d: PUSH2 0x15c7
00001590: PUSH2 0x1597
00001593: PUSH2 0x1219
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH1 0xff
0000159a: AND
0000159b: PUSH1 0x0a
0000159d: EXP
0000159e: PUSH2 0x1432
000015a1: DUP6
000015a2: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
000015c3: PUSH2 0x21ec
000015c6: JUMP
000015c7: JUMPDEST
000015c8: SWAP1
000015c9: POP
000015ca: PUSH1 0x00
000015cc: DUP2
000015cd: GT
000015ce: PUSH2 0x0b11
000015d1: JUMPI
000015d2: PUSH1 0x40
000015d4: MLOAD
000015d5: PUSH3 0x461bcd
000015d9: PUSH1 0xe5
000015db: SHL
000015dc: DUP2
000015dd: MSTORE
000015de: PUSH1 0x04
000015e0: ADD
000015e1: DUP1
000015e2: DUP1
000015e3: PUSH1 0x20
000015e5: ADD
000015e6: DUP3
000015e7: DUP2
000015e8: SUB
000015e9: DUP3
000015ea: MSTORE
000015eb: PUSH1 0x27
000015ed: DUP2
000015ee: MSTORE
000015ef: PUSH1 0x20
000015f1: ADD
000015f2: DUP1
000015f3: PUSH2 0x279e
000015f6: PUSH1 0x27
000015f8: SWAP2
000015f9: CODECOPY
000015fa: PUSH1 0x40
000015fc: ADD
000015fd: SWAP2
000015fe: POP
000015ff: POP
00001600: PUSH1 0x40
00001602: MLOAD
00001603: DUP1
00001604: SWAP2
00001605: SUB
00001606: SWAP1
00001607: REVERT
00001608: JUMPDEST
00001609: PUSH1 0x01
0000160b: PUSH1 0x01
0000160d: PUSH1 0xa0
0000160f: SHL
00001610: SUB
00001611: DUP3
00001612: AND
00001613: PUSH2 0x164d
00001616: JUMPI
00001617: PUSH1 0x40
00001619: MLOAD
0000161a: PUSH3 0x461bcd
0000161e: PUSH1 0xe5
00001620: SHL
00001621: DUP2
00001622: MSTORE
00001623: PUSH1 0x04
00001625: ADD
00001626: DUP1
00001627: DUP1
00001628: PUSH1 0x20
0000162a: ADD
0000162b: DUP3
0000162c: DUP2
0000162d: SUB
0000162e: DUP3
0000162f: MSTORE
00001630: PUSH1 0x21
00001632: DUP2
00001633: MSTORE
00001634: PUSH1 0x20
00001636: ADD
00001637: DUP1
00001638: PUSH2 0x29f8
0000163b: PUSH1 0x21
0000163d: SWAP2
0000163e: CODECOPY
0000163f: PUSH1 0x40
00001641: ADD
00001642: SWAP2
00001643: POP
00001644: POP
00001645: PUSH1 0x40
00001647: MLOAD
00001648: DUP1
00001649: SWAP2
0000164a: SUB
0000164b: SWAP1
0000164c: REVERT
0000164d: JUMPDEST
0000164e: PUSH2 0x1659
00001651: DUP3
00001652: PUSH1 0x00
00001654: DUP4
00001655: PUSH2 0x1756
00001658: JUMP
00001659: JUMPDEST
0000165a: PUSH2 0x1696
0000165d: DUP2
0000165e: PUSH1 0x40
00001660: MLOAD
00001661: DUP1
00001662: PUSH1 0x60
00001664: ADD
00001665: PUSH1 0x40
00001667: MSTORE
00001668: DUP1
00001669: PUSH1 0x22
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x20
0000166f: ADD
00001670: PUSH2 0x275a
00001673: PUSH1 0x22
00001675: SWAP2
00001676: CODECOPY
00001677: PUSH1 0x01
00001679: PUSH1 0x01
0000167b: PUSH1 0xa0
0000167d: SHL
0000167e: SUB
0000167f: DUP6
00001680: AND
00001681: PUSH1 0x00
00001683: SWAP1
00001684: DUP2
00001685: MSTORE
00001686: PUSH1 0x20
00001688: DUP2
00001689: SWAP1
0000168a: MSTORE
0000168b: PUSH1 0x40
0000168d: SWAP1
0000168e: KECCAK256
0000168f: SLOAD
00001690: SWAP2
00001691: SWAP1
00001692: PUSH2 0x19a6
00001695: JUMP
00001696: JUMPDEST
00001697: PUSH1 0x01
00001699: PUSH1 0x01
0000169b: PUSH1 0xa0
0000169d: SHL
0000169e: SUB
0000169f: DUP4
000016a0: AND
000016a1: PUSH1 0x00
000016a3: SWAP1
000016a4: DUP2
000016a5: MSTORE
000016a6: PUSH1 0x20
000016a8: DUP2
000016a9: SWAP1
000016aa: MSTORE
000016ab: PUSH1 0x40
000016ad: SWAP1
000016ae: KECCAK256
000016af: SSTORE
000016b0: PUSH1 0x02
000016b2: SLOAD
000016b3: PUSH2 0x16bc
000016b6: SWAP1
000016b7: DUP3
000016b8: PUSH2 0x1510
000016bb: JUMP
000016bc: JUMPDEST
000016bd: PUSH1 0x02
000016bf: SSTORE
000016c0: PUSH1 0x40
000016c2: DUP1
000016c3: MLOAD
000016c4: DUP3
000016c5: DUP2
000016c6: MSTORE
000016c7: SWAP1
000016c8: MLOAD
000016c9: PUSH1 0x00
000016cb: SWAP2
000016cc: PUSH1 0x01
000016ce: PUSH1 0x01
000016d0: PUSH1 0xa0
000016d2: SHL
000016d3: SUB
000016d4: DUP6
000016d5: AND
000016d6: SWAP2
000016d7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000016f8: SWAP2
000016f9: DUP2
000016fa: SWAP1
000016fb: SUB
000016fc: PUSH1 0x20
000016fe: ADD
000016ff: SWAP1
00001700: LOG3
00001701: POP
00001702: POP
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH1 0x40
00001707: DUP1
00001708: MLOAD
00001709: PUSH1 0x01
0000170b: PUSH1 0x01
0000170d: PUSH1 0xa0
0000170f: SHL
00001710: SUB
00001711: DUP5
00001712: AND
00001713: PUSH1 0x24
00001715: DUP3
00001716: ADD
00001717: MSTORE
00001718: PUSH1 0x44
0000171a: DUP1
0000171b: DUP3
0000171c: ADD
0000171d: DUP5
0000171e: SWAP1
0000171f: MSTORE
00001720: DUP3
00001721: MLOAD
00001722: DUP1
00001723: DUP4
00001724: SUB
00001725: SWAP1
00001726: SWAP2
00001727: ADD
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x64
0000172c: SWAP1
0000172d: SWAP2
0000172e: ADD
0000172f: SWAP1
00001730: SWAP2
00001731: MSTORE
00001732: PUSH1 0x20
00001734: DUP2
00001735: ADD
00001736: DUP1
00001737: MLOAD
00001738: PUSH1 0x01
0000173a: PUSH1 0x01
0000173c: PUSH1 0xe0
0000173e: SHL
0000173f: SUB
00001740: AND
00001741: PUSH4 0xa9059cbb
00001746: PUSH1 0xe0
00001748: SHL
00001749: OR
0000174a: SWAP1
0000174b: MSTORE
0000174c: PUSH2 0x1756
0000174f: SWAP1
00001750: DUP5
00001751: SWAP1
00001752: PUSH2 0x22ac
00001755: JUMP
00001756: JUMPDEST
00001757: POP
00001758: POP
00001759: POP
0000175a: JUMP
0000175b: JUMPDEST
0000175c: CALLER
0000175d: SWAP1
0000175e: JUMP
0000175f: JUMPDEST
00001760: PUSH1 0x01
00001762: PUSH1 0x01
00001764: PUSH1 0xa0
00001766: SHL
00001767: SUB
00001768: DUP4
00001769: AND
0000176a: PUSH2 0x17a4
0000176d: JUMPI
0000176e: PUSH1 0x40
00001770: MLOAD
00001771: PUSH3 0x461bcd
00001775: PUSH1 0xe5
00001777: SHL
00001778: DUP2
00001779: MSTORE
0000177a: PUSH1 0x04
0000177c: ADD
0000177d: DUP1
0000177e: DUP1
0000177f: PUSH1 0x20
00001781: ADD
00001782: DUP3
00001783: DUP2
00001784: SUB
00001785: DUP3
00001786: MSTORE
00001787: PUSH1 0x24
00001789: DUP2
0000178a: MSTORE
0000178b: PUSH1 0x20
0000178d: ADD
0000178e: DUP1
0000178f: PUSH2 0x2a6a
00001792: PUSH1 0x24
00001794: SWAP2
00001795: CODECOPY
00001796: PUSH1 0x40
00001798: ADD
00001799: SWAP2
0000179a: POP
0000179b: POP
0000179c: PUSH1 0x40
0000179e: MLOAD
0000179f: DUP1
000017a0: SWAP2
000017a1: SUB
000017a2: SWAP1
000017a3: REVERT
000017a4: JUMPDEST
000017a5: PUSH1 0x01
000017a7: PUSH1 0x01
000017a9: PUSH1 0xa0
000017ab: SHL
000017ac: SUB
000017ad: DUP3
000017ae: AND
000017af: PUSH2 0x17e9
000017b2: JUMPI
000017b3: PUSH1 0x40
000017b5: MLOAD
000017b6: PUSH3 0x461bcd
000017ba: PUSH1 0xe5
000017bc: SHL
000017bd: DUP2
000017be: MSTORE
000017bf: PUSH1 0x04
000017c1: ADD
000017c2: DUP1
000017c3: DUP1
000017c4: PUSH1 0x20
000017c6: ADD
000017c7: DUP3
000017c8: DUP2
000017c9: SUB
000017ca: DUP3
000017cb: MSTORE
000017cc: PUSH1 0x22
000017ce: DUP2
000017cf: MSTORE
000017d0: PUSH1 0x20
000017d2: ADD
000017d3: DUP1
000017d4: PUSH2 0x277c
000017d7: PUSH1 0x22
000017d9: SWAP2
000017da: CODECOPY
000017db: PUSH1 0x40
000017dd: ADD
000017de: SWAP2
000017df: POP
000017e0: POP
000017e1: PUSH1 0x40
000017e3: MLOAD
000017e4: DUP1
000017e5: SWAP2
000017e6: SUB
000017e7: SWAP1
000017e8: REVERT
000017e9: JUMPDEST
000017ea: PUSH1 0x01
000017ec: PUSH1 0x01
000017ee: PUSH1 0xa0
000017f0: SHL
000017f1: SUB
000017f2: DUP1
000017f3: DUP5
000017f4: AND
000017f5: PUSH1 0x00
000017f7: DUP2
000017f8: DUP2
000017f9: MSTORE
000017fa: PUSH1 0x01
000017fc: PUSH1 0x20
000017fe: SWAP1
000017ff: DUP2
00001800: MSTORE
00001801: PUSH1 0x40
00001803: DUP1
00001804: DUP4
00001805: KECCAK256
00001806: SWAP5
00001807: DUP8
00001808: AND
00001809: DUP1
0000180a: DUP5
0000180b: MSTORE
0000180c: SWAP5
0000180d: DUP3
0000180e: MSTORE
0000180f: SWAP2
00001810: DUP3
00001811: SWAP1
00001812: KECCAK256
00001813: DUP6
00001814: SWAP1
00001815: SSTORE
00001816: DUP2
00001817: MLOAD
00001818: DUP6
00001819: DUP2
0000181a: MSTORE
0000181b: SWAP2
0000181c: MLOAD
0000181d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000183e: SWAP3
0000183f: DUP2
00001840: SWAP1
00001841: SUB
00001842: SWAP1
00001843: SWAP2
00001844: ADD
00001845: SWAP1
00001846: LOG3
00001847: POP
00001848: POP
00001849: POP
0000184a: JUMP
0000184b: JUMPDEST
0000184c: PUSH1 0x01
0000184e: PUSH1 0x01
00001850: PUSH1 0xa0
00001852: SHL
00001853: SUB
00001854: DUP4
00001855: AND
00001856: PUSH2 0x1890
00001859: JUMPI
0000185a: PUSH1 0x40
0000185c: MLOAD
0000185d: PUSH3 0x461bcd
00001861: PUSH1 0xe5
00001863: SHL
00001864: DUP2
00001865: MSTORE
00001866: PUSH1 0x04
00001868: ADD
00001869: DUP1
0000186a: DUP1
0000186b: PUSH1 0x20
0000186d: ADD
0000186e: DUP3
0000186f: DUP2
00001870: SUB
00001871: DUP3
00001872: MSTORE
00001873: PUSH1 0x25
00001875: DUP2
00001876: MSTORE
00001877: PUSH1 0x20
00001879: ADD
0000187a: DUP1
0000187b: PUSH2 0x2a19
0000187e: PUSH1 0x25
00001880: SWAP2
00001881: CODECOPY
00001882: PUSH1 0x40
00001884: ADD
00001885: SWAP2
00001886: POP
00001887: POP
00001888: PUSH1 0x40
0000188a: MLOAD
0000188b: DUP1
0000188c: SWAP2
0000188d: SUB
0000188e: SWAP1
0000188f: REVERT
00001890: JUMPDEST
00001891: PUSH1 0x01
00001893: PUSH1 0x01
00001895: PUSH1 0xa0
00001897: SHL
00001898: SUB
00001899: DUP3
0000189a: AND
0000189b: PUSH2 0x18d5
0000189e: JUMPI
0000189f: PUSH1 0x40
000018a1: MLOAD
000018a2: PUSH3 0x461bcd
000018a6: PUSH1 0xe5
000018a8: SHL
000018a9: DUP2
000018aa: MSTORE
000018ab: PUSH1 0x04
000018ad: ADD
000018ae: DUP1
000018af: DUP1
000018b0: PUSH1 0x20
000018b2: ADD
000018b3: DUP3
000018b4: DUP2
000018b5: SUB
000018b6: DUP3
000018b7: MSTORE
000018b8: PUSH1 0x23
000018ba: DUP2
000018bb: MSTORE
000018bc: PUSH1 0x20
000018be: ADD
000018bf: DUP1
000018c0: PUSH2 0x2737
000018c3: PUSH1 0x23
000018c5: SWAP2
000018c6: CODECOPY
000018c7: PUSH1 0x40
000018c9: ADD
000018ca: SWAP2
000018cb: POP
000018cc: POP
000018cd: PUSH1 0x40
000018cf: MLOAD
000018d0: DUP1
000018d1: SWAP2
000018d2: SUB
000018d3: SWAP1
000018d4: REVERT
000018d5: JUMPDEST
000018d6: PUSH2 0x18e0
000018d9: DUP4
000018da: DUP4
000018db: DUP4
000018dc: PUSH2 0x1756
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH2 0x191d
000018e4: DUP2
000018e5: PUSH1 0x40
000018e7: MLOAD
000018e8: DUP1
000018e9: PUSH1 0x60
000018eb: ADD
000018ec: PUSH1 0x40
000018ee: MSTORE
000018ef: DUP1
000018f0: PUSH1 0x26
000018f2: DUP2
000018f3: MSTORE
000018f4: PUSH1 0x20
000018f6: ADD
000018f7: PUSH2 0x281e
000018fa: PUSH1 0x26
000018fc: SWAP2
000018fd: CODECOPY
000018fe: PUSH1 0x01
00001900: PUSH1 0x01
00001902: PUSH1 0xa0
00001904: SHL
00001905: SUB
00001906: DUP7
00001907: AND
00001908: PUSH1 0x00
0000190a: SWAP1
0000190b: DUP2
0000190c: MSTORE
0000190d: PUSH1 0x20
0000190f: DUP2
00001910: SWAP1
00001911: MSTORE
00001912: PUSH1 0x40
00001914: SWAP1
00001915: KECCAK256
00001916: SLOAD
00001917: SWAP2
00001918: SWAP1
00001919: PUSH2 0x19a6
0000191c: JUMP
0000191d: JUMPDEST
0000191e: PUSH1 0x01
00001920: PUSH1 0x01
00001922: PUSH1 0xa0
00001924: SHL
00001925: SUB
00001926: DUP1
00001927: DUP6
00001928: AND
00001929: PUSH1 0x00
0000192b: SWAP1
0000192c: DUP2
0000192d: MSTORE
0000192e: PUSH1 0x20
00001930: DUP2
00001931: SWAP1
00001932: MSTORE
00001933: PUSH1 0x40
00001935: DUP1
00001936: DUP3
00001937: KECCAK256
00001938: SWAP4
00001939: SWAP1
0000193a: SWAP4
0000193b: SSTORE
0000193c: SWAP1
0000193d: DUP5
0000193e: AND
0000193f: DUP2
00001940: MSTORE
00001941: KECCAK256
00001942: SLOAD
00001943: PUSH2 0x194c
00001946: SWAP1
00001947: DUP3
00001948: PUSH2 0x1a3d
0000194b: JUMP
0000194c: JUMPDEST
0000194d: PUSH1 0x01
0000194f: PUSH1 0x01
00001951: PUSH1 0xa0
00001953: SHL
00001954: SUB
00001955: DUP1
00001956: DUP5
00001957: AND
00001958: PUSH1 0x00
0000195a: DUP2
0000195b: DUP2
0000195c: MSTORE
0000195d: PUSH1 0x20
0000195f: DUP2
00001960: DUP2
00001961: MSTORE
00001962: PUSH1 0x40
00001964: SWAP2
00001965: DUP3
00001966: SWAP1
00001967: KECCAK256
00001968: SWAP5
00001969: SWAP1
0000196a: SWAP5
0000196b: SSTORE
0000196c: DUP1
0000196d: MLOAD
0000196e: DUP6
0000196f: DUP2
00001970: MSTORE
00001971: SWAP1
00001972: MLOAD
00001973: SWAP2
00001974: SWAP4
00001975: SWAP3
00001976: DUP8
00001977: AND
00001978: SWAP3
00001979: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000199a: SWAP3
0000199b: SWAP2
0000199c: DUP3
0000199d: SWAP1
0000199e: SUB
0000199f: ADD
000019a0: SWAP1
000019a1: LOG3
000019a2: POP
000019a3: POP
000019a4: POP
000019a5: JUMP
000019a6: JUMPDEST
000019a7: PUSH1 0x00
000019a9: DUP2
000019aa: DUP5
000019ab: DUP5
000019ac: GT
000019ad: ISZERO
000019ae: PUSH2 0x1a35
000019b1: JUMPI
000019b2: PUSH1 0x40
000019b4: MLOAD
000019b5: PUSH3 0x461bcd
000019b9: PUSH1 0xe5
000019bb: SHL
000019bc: DUP2
000019bd: MSTORE
000019be: PUSH1 0x04
000019c0: ADD
000019c1: DUP1
000019c2: DUP1
000019c3: PUSH1 0x20
000019c5: ADD
000019c6: DUP3
000019c7: DUP2
000019c8: SUB
000019c9: DUP3
000019ca: MSTORE
000019cb: DUP4
000019cc: DUP2
000019cd: DUP2
000019ce: MLOAD
000019cf: DUP2
000019d0: MSTORE
000019d1: PUSH1 0x20
000019d3: ADD
000019d4: SWAP2
000019d5: POP
000019d6: DUP1
000019d7: MLOAD
000019d8: SWAP1
000019d9: PUSH1 0x20
000019db: ADD
000019dc: SWAP1
000019dd: DUP1
000019de: DUP4
000019df: DUP4
000019e0: PUSH1 0x00
000019e2: JUMPDEST
000019e3: DUP4
000019e4: DUP2
000019e5: LT
000019e6: ISZERO
000019e7: PUSH2 0x19fa
000019ea: JUMPI
000019eb: DUP2
000019ec: DUP2
000019ed: ADD
000019ee: MLOAD
000019ef: DUP4
000019f0: DUP3
000019f1: ADD
000019f2: MSTORE
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: PUSH2 0x19e2
000019f9: JUMP
000019fa: JUMPDEST
000019fb: POP
000019fc: POP
000019fd: POP
000019fe: POP
000019ff: SWAP1
00001a00: POP
00001a01: SWAP1
00001a02: DUP2
00001a03: ADD
00001a04: SWAP1
00001a05: PUSH1 0x1f
00001a07: AND
00001a08: DUP1
00001a09: ISZERO
00001a0a: PUSH2 0x1a27
00001a0d: JUMPI
00001a0e: DUP1
00001a0f: DUP3
00001a10: SUB
00001a11: DUP1
00001a12: MLOAD
00001a13: PUSH1 0x01
00001a15: DUP4
00001a16: PUSH1 0x20
00001a18: SUB
00001a19: PUSH2 0x0100
00001a1c: EXP
00001a1d: SUB
00001a1e: NOT
00001a1f: AND
00001a20: DUP2
00001a21: MSTORE
00001a22: PUSH1 0x20
00001a24: ADD
00001a25: SWAP2
00001a26: POP
00001a27: JUMPDEST
00001a28: POP
00001a29: SWAP3
00001a2a: POP
00001a2b: POP
00001a2c: POP
00001a2d: PUSH1 0x40
00001a2f: MLOAD
00001a30: DUP1
00001a31: SWAP2
00001a32: SUB
00001a33: SWAP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: POP
00001a37: POP
00001a38: POP
00001a39: SWAP1
00001a3a: SUB
00001a3b: SWAP1
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: PUSH1 0x00
00001a40: DUP3
00001a41: DUP3
00001a42: ADD
00001a43: DUP4
00001a44: DUP2
00001a45: LT
00001a46: ISZERO
00001a47: PUSH2 0x0be8
00001a4a: JUMPI
00001a4b: PUSH1 0x40
00001a4d: DUP1
00001a4e: MLOAD
00001a4f: PUSH3 0x461bcd
00001a53: PUSH1 0xe5
00001a55: SHL
00001a56: DUP2
00001a57: MSTORE
00001a58: PUSH1 0x20
00001a5a: PUSH1 0x04
00001a5c: DUP3
00001a5d: ADD
00001a5e: MSTORE
00001a5f: PUSH1 0x1b
00001a61: PUSH1 0x24
00001a63: DUP3
00001a64: ADD
00001a65: MSTORE
00001a66: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001a87: PUSH1 0x44
00001a89: DUP3
00001a8a: ADD
00001a8b: MSTORE
00001a8c: SWAP1
00001a8d: MLOAD
00001a8e: SWAP1
00001a8f: DUP2
00001a90: SWAP1
00001a91: SUB
00001a92: PUSH1 0x64
00001a94: ADD
00001a95: SWAP1
00001a96: REVERT
00001a97: JUMPDEST
00001a98: CALLER
00001a99: PUSH1 0x00
00001a9b: SWAP1
00001a9c: DUP2
00001a9d: MSTORE
00001a9e: PUSH1 0x07
00001aa0: PUSH1 0x20
00001aa2: MSTORE
00001aa3: PUSH1 0x40
00001aa5: DUP2
00001aa6: KECCAK256
00001aa7: SLOAD
00001aa8: DUP2
00001aa9: SWAP1
00001aaa: DUP1
00001aab: PUSH2 0x1ae5
00001aae: JUMPI
00001aaf: PUSH1 0x40
00001ab1: MLOAD
00001ab2: PUSH3 0x461bcd
00001ab6: PUSH1 0xe5
00001ab8: SHL
00001ab9: DUP2
00001aba: MSTORE
00001abb: PUSH1 0x04
00001abd: ADD
00001abe: DUP1
00001abf: DUP1
00001ac0: PUSH1 0x20
00001ac2: ADD
00001ac3: DUP3
00001ac4: DUP2
00001ac5: SUB
00001ac6: DUP3
00001ac7: MSTORE
00001ac8: PUSH1 0x2e
00001aca: DUP2
00001acb: MSTORE
00001acc: PUSH1 0x20
00001ace: ADD
00001acf: DUP1
00001ad0: PUSH2 0x27c5
00001ad3: PUSH1 0x2e
00001ad5: SWAP2
00001ad6: CODECOPY
00001ad7: PUSH1 0x40
00001ad9: ADD
00001ada: SWAP2
00001adb: POP
00001adc: POP
00001add: PUSH1 0x40
00001adf: MLOAD
00001ae0: DUP1
00001ae1: SWAP2
00001ae2: SUB
00001ae3: SWAP1
00001ae4: REVERT
00001ae5: JUMPDEST
00001ae6: PUSH2 0x1aee
00001ae9: CALLER
00001aea: PUSH2 0x13fd
00001aed: JUMP
00001aee: JUMPDEST
00001aef: CALLER
00001af0: PUSH1 0x00
00001af2: SWAP1
00001af3: DUP2
00001af4: MSTORE
00001af5: PUSH1 0x07
00001af7: PUSH1 0x20
00001af9: SWAP1
00001afa: DUP2
00001afb: MSTORE
00001afc: PUSH1 0x40
00001afe: DUP1
00001aff: DUP4
00001b00: KECCAK256
00001b01: DUP4
00001b02: SWAP1
00001b03: SSTORE
00001b04: PUSH1 0x08
00001b06: SWAP1
00001b07: SWAP2
00001b08: MSTORE
00001b09: DUP2
00001b0a: KECCAK256
00001b0b: SSTORE
00001b0c: PUSH1 0x09
00001b0e: SLOAD
00001b0f: SWAP2
00001b10: SWAP5
00001b11: POP
00001b12: SWAP3
00001b13: POP
00001b14: PUSH2 0x1b1d
00001b17: SWAP1
00001b18: DUP3
00001b19: PUSH2 0x1510
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x09
00001b20: SSTORE
00001b21: POP
00001b22: SWAP1
00001b23: SWAP2
00001b24: JUMP
00001b25: JUMPDEST
00001b26: DUP1
00001b27: SELFBALANCE
00001b28: LT
00001b29: ISZERO
00001b2a: PUSH2 0x1b7a
00001b2d: JUMPI
00001b2e: PUSH1 0x40
00001b30: DUP1
00001b31: MLOAD
00001b32: PUSH3 0x461bcd
00001b36: PUSH1 0xe5
00001b38: SHL
00001b39: DUP2
00001b3a: MSTORE
00001b3b: PUSH1 0x20
00001b3d: PUSH1 0x04
00001b3f: DUP3
00001b40: ADD
00001b41: MSTORE
00001b42: PUSH1 0x1d
00001b44: PUSH1 0x24
00001b46: DUP3
00001b47: ADD
00001b48: MSTORE
00001b49: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001b6a: PUSH1 0x44
00001b6c: DUP3
00001b6d: ADD
00001b6e: MSTORE
00001b6f: SWAP1
00001b70: MLOAD
00001b71: SWAP1
00001b72: DUP2
00001b73: SWAP1
00001b74: SUB
00001b75: PUSH1 0x64
00001b77: ADD
00001b78: SWAP1
00001b79: REVERT
00001b7a: JUMPDEST
00001b7b: PUSH1 0x40
00001b7d: MLOAD
00001b7e: PUSH1 0x00
00001b80: SWAP1
00001b81: PUSH1 0x01
00001b83: PUSH1 0x01
00001b85: PUSH1 0xa0
00001b87: SHL
00001b88: SUB
00001b89: DUP5
00001b8a: AND
00001b8b: SWAP1
00001b8c: DUP4
00001b8d: SWAP1
00001b8e: DUP4
00001b8f: DUP2
00001b90: DUP2
00001b91: DUP2
00001b92: DUP6
00001b93: DUP8
00001b94: GAS
00001b95: CALL
00001b96: SWAP3
00001b97: POP
00001b98: POP
00001b99: POP
00001b9a: RETURNDATASIZE
00001b9b: DUP1
00001b9c: PUSH1 0x00
00001b9e: DUP2
00001b9f: EQ
00001ba0: PUSH2 0x1bc5
00001ba3: JUMPI
00001ba4: PUSH1 0x40
00001ba6: MLOAD
00001ba7: SWAP2
00001ba8: POP
00001ba9: PUSH1 0x1f
00001bab: NOT
00001bac: PUSH1 0x3f
00001bae: RETURNDATASIZE
00001baf: ADD
00001bb0: AND
00001bb1: DUP3
00001bb2: ADD
00001bb3: PUSH1 0x40
00001bb5: MSTORE
00001bb6: RETURNDATASIZE
00001bb7: DUP3
00001bb8: MSTORE
00001bb9: RETURNDATASIZE
00001bba: PUSH1 0x00
00001bbc: PUSH1 0x20
00001bbe: DUP5
00001bbf: ADD
00001bc0: RETURNDATACOPY
00001bc1: PUSH2 0x1bca
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: PUSH1 0x60
00001bc8: SWAP2
00001bc9: POP
00001bca: JUMPDEST
00001bcb: POP
00001bcc: POP
00001bcd: SWAP1
00001bce: POP
00001bcf: DUP1
00001bd0: PUSH2 0x1756
00001bd3: JUMPI
00001bd4: PUSH1 0x40
00001bd6: MLOAD
00001bd7: PUSH3 0x461bcd
00001bdb: PUSH1 0xe5
00001bdd: SHL
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x04
00001be2: ADD
00001be3: DUP1
00001be4: DUP1
00001be5: PUSH1 0x20
00001be7: ADD
00001be8: DUP3
00001be9: DUP2
00001bea: SUB
00001beb: DUP3
00001bec: MSTORE
00001bed: PUSH1 0x3a
00001bef: DUP2
00001bf0: MSTORE
00001bf1: PUSH1 0x20
00001bf3: ADD
00001bf4: DUP1
00001bf5: PUSH2 0x2868
00001bf8: PUSH1 0x3a
00001bfa: SWAP2
00001bfb: CODECOPY
00001bfc: PUSH1 0x40
00001bfe: ADD
00001bff: SWAP2
00001c00: POP
00001c01: POP
00001c02: PUSH1 0x40
00001c04: MLOAD
00001c05: DUP1
00001c06: SWAP2
00001c07: SUB
00001c08: SWAP1
00001c09: REVERT
00001c0a: JUMPDEST
00001c0b: PUSH1 0x00
00001c0d: PUSH2 0x1c14
00001c10: PUSH2 0x1f74
00001c13: JUMP
00001c14: JUMPDEST
00001c15: ISZERO
00001c16: PUSH2 0x1c21
00001c19: JUMPI
00001c1a: POP
00001c1b: PUSH1 0x00
00001c1d: PUSH2 0x0af6
00001c20: JUMP
00001c21: JUMPDEST
00001c22: PUSH1 0x00
00001c24: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001c45: PUSH1 0x01
00001c47: DUP2
00001c48: GT
00001c49: ISZERO
00001c4a: PUSH2 0x1c4f
00001c4d: JUMPI
00001c4e: INVALID
00001c4f: JUMPDEST
00001c50: EQ
00001c51: ISZERO
00001c52: PUSH2 0x1c65
00001c55: JUMPI
00001c56: PUSH2 0x1c5d
00001c59: PUSH2 0x156d
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: ISZERO
00001c5f: SWAP1
00001c60: POP
00001c61: PUSH2 0x0af6
00001c64: JUMP
00001c65: JUMPDEST
00001c66: POP
00001c67: PUSH1 0x01
00001c69: SWAP1
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: PUSH1 0x01
00001c6e: PUSH1 0x01
00001c70: PUSH1 0xa0
00001c72: SHL
00001c73: SUB
00001c74: DUP2
00001c75: AND
00001c76: PUSH1 0x00
00001c78: SWAP1
00001c79: DUP2
00001c7a: MSTORE
00001c7b: PUSH1 0x07
00001c7d: PUSH1 0x20
00001c7f: MSTORE
00001c80: PUSH1 0x40
00001c82: DUP2
00001c83: KECCAK256
00001c84: SLOAD
00001c85: DUP2
00001c86: SWAP1
00001c87: PUSH2 0x1cc1
00001c8a: JUMPI
00001c8b: PUSH1 0x40
00001c8d: MLOAD
00001c8e: PUSH3 0x461bcd
00001c92: PUSH1 0xe5
00001c94: SHL
00001c95: DUP2
00001c96: MSTORE
00001c97: PUSH1 0x04
00001c99: ADD
00001c9a: DUP1
00001c9b: DUP1
00001c9c: PUSH1 0x20
00001c9e: ADD
00001c9f: DUP3
00001ca0: DUP2
00001ca1: SUB
00001ca2: DUP3
00001ca3: MSTORE
00001ca4: PUSH1 0x29
00001ca6: DUP2
00001ca7: MSTORE
00001ca8: PUSH1 0x20
00001caa: ADD
00001cab: DUP1
00001cac: PUSH2 0x28c8
00001caf: PUSH1 0x29
00001cb1: SWAP2
00001cb2: CODECOPY
00001cb3: PUSH1 0x40
00001cb5: ADD
00001cb6: SWAP2
00001cb7: POP
00001cb8: POP
00001cb9: PUSH1 0x40
00001cbb: MLOAD
00001cbc: DUP1
00001cbd: SWAP2
00001cbe: SUB
00001cbf: SWAP1
00001cc0: REVERT
00001cc1: JUMPDEST
00001cc2: PUSH1 0x01
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0xa0
00001cc8: SHL
00001cc9: SUB
00001cca: DUP4
00001ccb: AND
00001ccc: PUSH1 0x00
00001cce: SWAP1
00001ccf: DUP2
00001cd0: MSTORE
00001cd1: PUSH1 0x08
00001cd3: PUSH1 0x20
00001cd5: MSTORE
00001cd6: PUSH1 0x40
00001cd8: SWAP1
00001cd9: KECCAK256
00001cda: SLOAD
00001cdb: DUP5
00001cdc: GT
00001cdd: ISZERO
00001cde: PUSH2 0x1d18
00001ce1: JUMPI
00001ce2: PUSH1 0x40
00001ce4: MLOAD
00001ce5: PUSH3 0x461bcd
00001ce9: PUSH1 0xe5
00001ceb: SHL
00001cec: DUP2
00001ced: MSTORE
00001cee: PUSH1 0x04
00001cf0: ADD
00001cf1: DUP1
00001cf2: DUP1
00001cf3: PUSH1 0x20
00001cf5: ADD
00001cf6: DUP3
00001cf7: DUP2
00001cf8: SUB
00001cf9: DUP3
00001cfa: MSTORE
00001cfb: PUSH1 0x24
00001cfd: DUP2
00001cfe: MSTORE
00001cff: PUSH1 0x20
00001d01: ADD
00001d02: DUP1
00001d03: PUSH2 0x2844
00001d06: PUSH1 0x24
00001d08: SWAP2
00001d09: CODECOPY
00001d0a: PUSH1 0x40
00001d0c: ADD
00001d0d: SWAP2
00001d0e: POP
00001d0f: POP
00001d10: PUSH1 0x40
00001d12: MLOAD
00001d13: DUP1
00001d14: SWAP2
00001d15: SUB
00001d16: SWAP1
00001d17: REVERT
00001d18: JUMPDEST
00001d19: PUSH1 0x01
00001d1b: PUSH1 0x01
00001d1d: PUSH1 0xa0
00001d1f: SHL
00001d20: SUB
00001d21: DUP4
00001d22: AND
00001d23: PUSH1 0x00
00001d25: SWAP1
00001d26: DUP2
00001d27: MSTORE
00001d28: PUSH1 0x08
00001d2a: PUSH1 0x20
00001d2c: SWAP1
00001d2d: DUP2
00001d2e: MSTORE
00001d2f: PUSH1 0x40
00001d31: DUP1
00001d32: DUP4
00001d33: KECCAK256
00001d34: SLOAD
00001d35: PUSH1 0x07
00001d37: SWAP1
00001d38: SWAP3
00001d39: MSTORE
00001d3a: DUP3
00001d3b: KECCAK256
00001d3c: SLOAD
00001d3d: PUSH2 0x1d4b
00001d40: SWAP2
00001d41: SWAP1
00001d42: PUSH2 0x1432
00001d45: SWAP1
00001d46: DUP9
00001d47: PUSH2 0x21ec
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: SWAP1
00001d4d: POP
00001d4e: PUSH1 0x00
00001d50: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001d71: PUSH1 0x01
00001d73: DUP2
00001d74: GT
00001d75: ISZERO
00001d76: PUSH2 0x1d7b
00001d79: JUMPI
00001d7a: INVALID
00001d7b: JUMPDEST
00001d7c: EQ
00001d7d: ISZERO
00001d7e: PUSH2 0x1e67
00001d81: JUMPI
00001d82: PUSH1 0x00
00001d84: PUSH2 0x1dc6
00001d87: PUSH2 0x1d8e
00001d8a: PUSH2 0x0c13
00001d8d: JUMP
00001d8e: JUMPDEST
00001d8f: PUSH1 0xff
00001d91: AND
00001d92: PUSH1 0x0a
00001d94: EXP
00001d95: PUSH2 0x1432
00001d98: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
00001db9: PUSH2 0x1dc0
00001dbc: PUSH2 0x0b61
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: SWAP1
00001dc2: PUSH2 0x21ec
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: SWAP1
00001dc8: POP
00001dc9: PUSH1 0x00
00001dcb: DUP2
00001dcc: PUSH2 0x1dd3
00001dcf: PUSH2 0x0fff
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: GT
00001dd5: ISZERO
00001dd6: PUSH2 0x1dee
00001dd9: JUMPI
00001dda: PUSH2 0x1deb
00001ddd: DUP3
00001dde: PUSH2 0x1de5
00001de1: PUSH2 0x0fff
00001de4: JUMP
00001de5: JUMPDEST
00001de6: SWAP1
00001de7: PUSH2 0x1510
00001dea: JUMP
00001deb: JUMPDEST
00001dec: SWAP1
00001ded: POP
00001dee: JUMPDEST
00001def: PUSH1 0x09
00001df1: SLOAD
00001df2: PUSH2 0x1e44
00001df5: SWAP1
00001df6: PUSH2 0x1e03
00001df9: SWAP1
00001dfa: PUSH2 0x1432
00001dfd: DUP5
00001dfe: DUP8
00001dff: PUSH2 0x21ec
00001e02: JUMP
00001e03: JUMPDEST
00001e04: PUSH2 0x1e3e
00001e07: PUSH2 0x1e0e
00001e0a: PUSH2 0x0c13
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH1 0xff
00001e11: AND
00001e12: PUSH1 0x0a
00001e14: EXP
00001e15: PUSH2 0x1432
00001e18: DUP12
00001e19: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
00001e3a: PUSH2 0x21ec
00001e3d: JUMP
00001e3e: JUMPDEST
00001e3f: SWAP1
00001e40: PUSH2 0x1a3d
00001e43: JUMP
00001e44: JUMPDEST
00001e45: SWAP5
00001e46: POP
00001e47: PUSH2 0x1e4e
00001e4a: PUSH2 0x0fff
00001e4d: JUMP
00001e4e: JUMPDEST
00001e4f: DUP6
00001e50: GT
00001e51: ISZERO
00001e52: PUSH2 0x1e60
00001e55: JUMPI
00001e56: PUSH2 0x1e5d
00001e59: PUSH2 0x0fff
00001e5c: JUMP
00001e5d: JUMPDEST
00001e5e: SWAP5
00001e5f: POP
00001e60: JUMPDEST
00001e61: POP
00001e62: POP
00001e63: PUSH2 0x1ee7
00001e66: JUMP
00001e67: JUMPDEST
00001e68: PUSH1 0x00
00001e6a: PUSH2 0x1e71
00001e6d: PUSH2 0x0b61
00001e70: JUMP
00001e71: JUMPDEST
00001e72: SWAP1
00001e73: POP
00001e74: PUSH1 0x00
00001e76: PUSH2 0x1eac
00001e79: PUSH2 0x1ea4
00001e7c: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
00001e9d: PUSH2 0x1432
00001ea0: PUSH2 0x0fff
00001ea3: JUMP
00001ea4: JUMPDEST
00001ea5: PUSH2 0x1e3e
00001ea8: PUSH2 0x1453
00001eab: JUMP
00001eac: JUMPDEST
00001ead: SWAP1
00001eae: POP
00001eaf: PUSH1 0x00
00001eb1: DUP3
00001eb2: DUP3
00001eb3: GT
00001eb4: ISZERO
00001eb5: PUSH2 0x1ec5
00001eb8: JUMPI
00001eb9: PUSH2 0x1ec2
00001ebc: DUP3
00001ebd: DUP5
00001ebe: PUSH2 0x1510
00001ec1: JUMP
00001ec2: JUMPDEST
00001ec3: SWAP1
00001ec4: POP
00001ec5: JUMPDEST
00001ec6: PUSH1 0x09
00001ec8: SLOAD
00001ec9: PUSH2 0x1ee1
00001ecc: SWAP1
00001ecd: PUSH2 0x1eda
00001ed0: SWAP1
00001ed1: PUSH2 0x1432
00001ed4: DUP5
00001ed5: DUP9
00001ed6: PUSH2 0x21ec
00001ed9: JUMP
00001eda: JUMPDEST
00001edb: DUP10
00001edc: SWAP1
00001edd: PUSH2 0x1a3d
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: SWAP5
00001ee3: POP
00001ee4: POP
00001ee5: POP
00001ee6: POP
00001ee7: JUMPDEST
00001ee8: PUSH1 0x01
00001eea: PUSH1 0x01
00001eec: PUSH1 0xa0
00001eee: SHL
00001eef: SUB
00001ef0: DUP5
00001ef1: AND
00001ef2: PUSH1 0x00
00001ef4: SWAP1
00001ef5: DUP2
00001ef6: MSTORE
00001ef7: PUSH1 0x07
00001ef9: PUSH1 0x20
00001efb: MSTORE
00001efc: PUSH1 0x40
00001efe: SWAP1
00001eff: KECCAK256
00001f00: SLOAD
00001f01: PUSH2 0x1f0a
00001f04: SWAP1
00001f05: DUP3
00001f06: PUSH2 0x1510
00001f09: JUMP
00001f0a: JUMPDEST
00001f0b: PUSH1 0x01
00001f0d: PUSH1 0x01
00001f0f: PUSH1 0xa0
00001f11: SHL
00001f12: SUB
00001f13: DUP6
00001f14: AND
00001f15: PUSH1 0x00
00001f17: SWAP1
00001f18: DUP2
00001f19: MSTORE
00001f1a: PUSH1 0x07
00001f1c: PUSH1 0x20
00001f1e: SWAP1
00001f1f: DUP2
00001f20: MSTORE
00001f21: PUSH1 0x40
00001f23: DUP1
00001f24: DUP4
00001f25: KECCAK256
00001f26: SWAP4
00001f27: SWAP1
00001f28: SWAP4
00001f29: SSTORE
00001f2a: PUSH1 0x08
00001f2c: SWAP1
00001f2d: MSTORE
00001f2e: KECCAK256
00001f2f: SLOAD
00001f30: PUSH2 0x1f39
00001f33: SWAP1
00001f34: DUP7
00001f35: PUSH2 0x1510
00001f38: JUMP
00001f39: JUMPDEST
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0x01
00001f3e: PUSH1 0xa0
00001f40: SHL
00001f41: SUB
00001f42: DUP6
00001f43: AND
00001f44: PUSH1 0x00
00001f46: SWAP1
00001f47: DUP2
00001f48: MSTORE
00001f49: PUSH1 0x08
00001f4b: PUSH1 0x20
00001f4d: MSTORE
00001f4e: PUSH1 0x40
00001f50: SWAP1
00001f51: KECCAK256
00001f52: SSTORE
00001f53: PUSH1 0x09
00001f55: SLOAD
00001f56: PUSH2 0x1f5f
00001f59: SWAP1
00001f5a: DUP3
00001f5b: PUSH2 0x1510
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: PUSH1 0x09
00001f62: SSTORE
00001f63: PUSH2 0x1f6c
00001f66: DUP5
00001f67: DUP7
00001f68: PUSH2 0x1608
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: POP
00001f6e: SWAP3
00001f6f: POP
00001f70: SWAP3
00001f71: SWAP1
00001f72: POP
00001f73: JUMP
00001f74: JUMPDEST
00001f75: PUSH32 0x0000000000000000000000000000000000000000000000000000000061a1e580
00001f96: TIMESTAMP
00001f97: LT
00001f98: ISZERO
00001f99: SWAP1
00001f9a: JUMP
00001f9b: JUMPDEST
00001f9c: DUP3
00001f9d: PUSH1 0x00
00001f9f: PUSH2 0x1fa6
00001fa2: PUSH2 0x0c1c
00001fa5: JUMP
00001fa6: JUMPDEST
00001fa7: SWAP1
00001fa8: POP
00001fa9: DUP1
00001faa: ISZERO
00001fab: PUSH2 0x2071
00001fae: JUMPI
00001faf: DUP1
00001fb0: PUSH2 0x201e
00001fb3: DUP4
00001fb4: ADDRESS
00001fb5: PUSH1 0x01
00001fb7: PUSH1 0x01
00001fb9: PUSH1 0xa0
00001fbb: SHL
00001fbc: SUB
00001fbd: AND
00001fbe: PUSH4 0x18160ddd
00001fc3: PUSH1 0x40
00001fc5: MLOAD
00001fc6: DUP2
00001fc7: PUSH4 0xffffffff
00001fcc: AND
00001fcd: PUSH1 0xe0
00001fcf: SHL
00001fd0: DUP2
00001fd1: MSTORE
00001fd2: PUSH1 0x04
00001fd4: ADD
00001fd5: PUSH1 0x20
00001fd7: PUSH1 0x40
00001fd9: MLOAD
00001fda: DUP1
00001fdb: DUP4
00001fdc: SUB
00001fdd: DUP2
00001fde: DUP7
00001fdf: DUP1
00001fe0: EXTCODESIZE
00001fe1: ISZERO
00001fe2: DUP1
00001fe3: ISZERO
00001fe4: PUSH2 0x1fec
00001fe7: JUMPI
00001fe8: PUSH1 0x00
00001fea: DUP1
00001feb: REVERT
00001fec: JUMPDEST
00001fed: POP
00001fee: GAS
00001fef: STATICCALL
00001ff0: ISZERO
00001ff1: DUP1
00001ff2: ISZERO
00001ff3: PUSH2 0x2000
00001ff6: JUMPI
00001ff7: RETURNDATASIZE
00001ff8: PUSH1 0x00
00001ffa: DUP1
00001ffb: RETURNDATACOPY
00001ffc: RETURNDATASIZE
00001ffd: PUSH1 0x00
00001fff: REVERT
00002000: JUMPDEST
00002001: POP
00002002: POP
00002003: POP
00002004: POP
00002005: PUSH1 0x40
00002007: MLOAD
00002008: RETURNDATASIZE
00002009: PUSH1 0x20
0000200b: DUP2
0000200c: LT
0000200d: ISZERO
0000200e: PUSH2 0x2016
00002011: JUMPI
00002012: PUSH1 0x00
00002014: DUP1
00002015: REVERT
00002016: JUMPDEST
00002017: POP
00002018: MLOAD
00002019: SWAP1
0000201a: PUSH2 0x1a3d
0000201d: JUMP
0000201e: JUMPDEST
0000201f: GT
00002020: ISZERO
00002021: PUSH2 0x2071
00002024: JUMPI
00002025: PUSH1 0x40
00002027: DUP1
00002028: MLOAD
00002029: PUSH3 0x461bcd
0000202d: PUSH1 0xe5
0000202f: SHL
00002030: DUP2
00002031: MSTORE
00002032: PUSH1 0x20
00002034: PUSH1 0x04
00002036: DUP3
00002037: ADD
00002038: MSTORE
00002039: PUSH1 0x1f
0000203b: PUSH1 0x24
0000203d: DUP3
0000203e: ADD
0000203f: MSTORE
00002040: PUSH32 0x4361707065644f7074696f6e3a20616d6f756e74206578636565642063617000
00002061: PUSH1 0x44
00002063: DUP3
00002064: ADD
00002065: MSTORE
00002066: SWAP1
00002067: MLOAD
00002068: SWAP1
00002069: DUP2
0000206a: SWAP1
0000206b: SUB
0000206c: PUSH1 0x64
0000206e: ADD
0000206f: SWAP1
00002070: REVERT
00002071: JUMPDEST
00002072: PUSH1 0x01
00002074: PUSH1 0x01
00002076: PUSH1 0xa0
00002078: SHL
00002079: SUB
0000207a: DUP4
0000207b: AND
0000207c: PUSH2 0x20b6
0000207f: JUMPI
00002080: PUSH1 0x40
00002082: MLOAD
00002083: PUSH3 0x461bcd
00002087: PUSH1 0xe5
00002089: SHL
0000208a: DUP2
0000208b: MSTORE
0000208c: PUSH1 0x04
0000208e: ADD
0000208f: DUP1
00002090: DUP1
00002091: PUSH1 0x20
00002093: ADD
00002094: DUP3
00002095: DUP2
00002096: SUB
00002097: DUP3
00002098: MSTORE
00002099: PUSH1 0x2b
0000209b: DUP2
0000209c: MSTORE
0000209d: PUSH1 0x20
0000209f: ADD
000020a0: DUP1
000020a1: PUSH2 0x27f3
000020a4: PUSH1 0x2b
000020a6: SWAP2
000020a7: CODECOPY
000020a8: PUSH1 0x40
000020aa: ADD
000020ab: SWAP2
000020ac: POP
000020ad: POP
000020ae: PUSH1 0x40
000020b0: MLOAD
000020b1: DUP1
000020b2: SWAP2
000020b3: SUB
000020b4: SWAP1
000020b5: REVERT
000020b6: JUMPDEST
000020b7: PUSH1 0x09
000020b9: SLOAD
000020ba: ISZERO
000020bb: PUSH2 0x211e
000020be: JUMPI
000020bf: PUSH1 0x00
000020c1: PUSH2 0x20c9
000020c4: DUP6
000020c5: PUSH2 0x235d
000020c8: JUMP
000020c9: JUMPDEST
000020ca: PUSH1 0x01
000020cc: PUSH1 0x01
000020ce: PUSH1 0xa0
000020d0: SHL
000020d1: SUB
000020d2: DUP6
000020d3: AND
000020d4: PUSH1 0x00
000020d6: SWAP1
000020d7: DUP2
000020d8: MSTORE
000020d9: PUSH1 0x07
000020db: PUSH1 0x20
000020dd: MSTORE
000020de: PUSH1 0x40
000020e0: SWAP1
000020e1: KECCAK256
000020e2: SLOAD
000020e3: SWAP1
000020e4: SWAP2
000020e5: POP
000020e6: PUSH2 0x20ef
000020e9: SWAP1
000020ea: DUP3
000020eb: PUSH2 0x1a3d
000020ee: JUMP
000020ef: JUMPDEST
000020f0: PUSH1 0x01
000020f2: PUSH1 0x01
000020f4: PUSH1 0xa0
000020f6: SHL
000020f7: SUB
000020f8: DUP6
000020f9: AND
000020fa: PUSH1 0x00
000020fc: SWAP1
000020fd: DUP2
000020fe: MSTORE
000020ff: PUSH1 0x07
00002101: PUSH1 0x20
00002103: MSTORE
00002104: PUSH1 0x40
00002106: SWAP1
00002107: KECCAK256
00002108: SSTORE
00002109: PUSH1 0x09
0000210b: SLOAD
0000210c: PUSH2 0x2115
0000210f: SWAP1
00002110: DUP3
00002111: PUSH2 0x1a3d
00002114: JUMP
00002115: JUMPDEST
00002116: PUSH1 0x09
00002118: SSTORE
00002119: POP
0000211a: PUSH2 0x213f
0000211d: JUMP
0000211e: JUMPDEST
0000211f: PUSH1 0x01
00002121: PUSH1 0x01
00002123: PUSH1 0xa0
00002125: SHL
00002126: SUB
00002127: DUP4
00002128: AND
00002129: PUSH1 0x00
0000212b: SWAP1
0000212c: DUP2
0000212d: MSTORE
0000212e: PUSH1 0x07
00002130: PUSH1 0x20
00002132: MSTORE
00002133: PUSH1 0x40
00002135: SWAP1
00002136: KECCAK256
00002137: DUP5
00002138: SWAP1
00002139: SSTORE
0000213a: PUSH1 0x09
0000213c: DUP5
0000213d: SWAP1
0000213e: SSTORE
0000213f: JUMPDEST
00002140: PUSH1 0x01
00002142: PUSH1 0x01
00002144: PUSH1 0xa0
00002146: SHL
00002147: SUB
00002148: DUP4
00002149: AND
0000214a: PUSH1 0x00
0000214c: SWAP1
0000214d: DUP2
0000214e: MSTORE
0000214f: PUSH1 0x08
00002151: PUSH1 0x20
00002153: MSTORE
00002154: PUSH1 0x40
00002156: SWAP1
00002157: KECCAK256
00002158: SLOAD
00002159: PUSH2 0x2162
0000215c: SWAP1
0000215d: DUP7
0000215e: PUSH2 0x1a3d
00002161: JUMP
00002162: JUMPDEST
00002163: PUSH1 0x01
00002165: PUSH1 0x01
00002167: PUSH1 0xa0
00002169: SHL
0000216a: SUB
0000216b: DUP5
0000216c: AND
0000216d: PUSH1 0x00
0000216f: SWAP1
00002170: DUP2
00002171: MSTORE
00002172: PUSH1 0x08
00002174: PUSH1 0x20
00002176: MSTORE
00002177: PUSH1 0x40
00002179: SWAP1
0000217a: KECCAK256
0000217b: SSTORE
0000217c: PUSH2 0x2185
0000217f: CALLER
00002180: DUP7
00002181: PUSH2 0x246d
00002184: JUMP
00002185: JUMPDEST
00002186: POP
00002187: POP
00002188: POP
00002189: POP
0000218a: POP
0000218b: JUMP
0000218c: JUMPDEST
0000218d: PUSH1 0x40
0000218f: DUP1
00002190: MLOAD
00002191: PUSH1 0x01
00002193: PUSH1 0x01
00002195: PUSH1 0xa0
00002197: SHL
00002198: SUB
00002199: DUP1
0000219a: DUP7
0000219b: AND
0000219c: PUSH1 0x24
0000219e: DUP4
0000219f: ADD
000021a0: MSTORE
000021a1: DUP5
000021a2: AND
000021a3: PUSH1 0x44
000021a5: DUP3
000021a6: ADD
000021a7: MSTORE
000021a8: PUSH1 0x64
000021aa: DUP1
000021ab: DUP3
000021ac: ADD
000021ad: DUP5
000021ae: SWAP1
000021af: MSTORE
000021b0: DUP3
000021b1: MLOAD
000021b2: DUP1
000021b3: DUP4
000021b4: SUB
000021b5: SWAP1
000021b6: SWAP2
000021b7: ADD
000021b8: DUP2
000021b9: MSTORE
000021ba: PUSH1 0x84
000021bc: SWAP1
000021bd: SWAP2
000021be: ADD
000021bf: SWAP1
000021c0: SWAP2
000021c1: MSTORE
000021c2: PUSH1 0x20
000021c4: DUP2
000021c5: ADD
000021c6: DUP1
000021c7: MLOAD
000021c8: PUSH1 0x01
000021ca: PUSH1 0x01
000021cc: PUSH1 0xe0
000021ce: SHL
000021cf: SUB
000021d0: AND
000021d1: PUSH4 0x23b872dd
000021d6: PUSH1 0xe0
000021d8: SHL
000021d9: OR
000021da: SWAP1
000021db: MSTORE
000021dc: PUSH2 0x21e6
000021df: SWAP1
000021e0: DUP6
000021e1: SWAP1
000021e2: PUSH2 0x22ac
000021e5: JUMP
000021e6: JUMPDEST
000021e7: POP
000021e8: POP
000021e9: POP
000021ea: POP
000021eb: JUMP
000021ec: JUMPDEST
000021ed: PUSH1 0x00
000021ef: DUP3
000021f0: PUSH2 0x21fb
000021f3: JUMPI
000021f4: POP
000021f5: PUSH1 0x00
000021f7: PUSH2 0x0b11
000021fa: JUMP
000021fb: JUMPDEST
000021fc: DUP3
000021fd: DUP3
000021fe: MUL
000021ff: DUP3
00002200: DUP5
00002201: DUP3
00002202: DUP2
00002203: PUSH2 0x2208
00002206: JUMPI
00002207: INVALID
00002208: JUMPDEST
00002209: DIV
0000220a: EQ
0000220b: PUSH2 0x0be8
0000220e: JUMPI
0000220f: PUSH1 0x40
00002211: MLOAD
00002212: PUSH3 0x461bcd
00002216: PUSH1 0xe5
00002218: SHL
00002219: DUP2
0000221a: MSTORE
0000221b: PUSH1 0x04
0000221d: ADD
0000221e: DUP1
0000221f: DUP1
00002220: PUSH1 0x20
00002222: ADD
00002223: DUP3
00002224: DUP2
00002225: SUB
00002226: DUP3
00002227: MSTORE
00002228: PUSH1 0x21
0000222a: DUP2
0000222b: MSTORE
0000222c: PUSH1 0x20
0000222e: ADD
0000222f: DUP1
00002230: PUSH2 0x293b
00002233: PUSH1 0x21
00002235: SWAP2
00002236: CODECOPY
00002237: PUSH1 0x40
00002239: ADD
0000223a: SWAP2
0000223b: POP
0000223c: POP
0000223d: PUSH1 0x40
0000223f: MLOAD
00002240: DUP1
00002241: SWAP2
00002242: SUB
00002243: SWAP1
00002244: REVERT
00002245: JUMPDEST
00002246: PUSH1 0x00
00002248: DUP1
00002249: DUP3
0000224a: GT
0000224b: PUSH2 0x229b
0000224e: JUMPI
0000224f: PUSH1 0x40
00002251: DUP1
00002252: MLOAD
00002253: PUSH3 0x461bcd
00002257: PUSH1 0xe5
00002259: SHL
0000225a: DUP2
0000225b: MSTORE
0000225c: PUSH1 0x20
0000225e: PUSH1 0x04
00002260: DUP3
00002261: ADD
00002262: MSTORE
00002263: PUSH1 0x1a
00002265: PUSH1 0x24
00002267: DUP3
00002268: ADD
00002269: MSTORE
0000226a: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000228b: PUSH1 0x44
0000228d: DUP3
0000228e: ADD
0000228f: MSTORE
00002290: SWAP1
00002291: MLOAD
00002292: SWAP1
00002293: DUP2
00002294: SWAP1
00002295: SUB
00002296: PUSH1 0x64
00002298: ADD
00002299: SWAP1
0000229a: REVERT
0000229b: JUMPDEST
0000229c: DUP2
0000229d: DUP4
0000229e: DUP2
0000229f: PUSH2 0x22a4
000022a2: JUMPI
000022a3: INVALID
000022a4: JUMPDEST
000022a5: DIV
000022a6: SWAP4
000022a7: SWAP3
000022a8: POP
000022a9: POP
000022aa: POP
000022ab: JUMP
000022ac: JUMPDEST
000022ad: PUSH1 0x60
000022af: PUSH2 0x2301
000022b2: DUP3
000022b3: PUSH1 0x40
000022b5: MLOAD
000022b6: DUP1
000022b7: PUSH1 0x40
000022b9: ADD
000022ba: PUSH1 0x40
000022bc: MSTORE
000022bd: DUP1
000022be: PUSH1 0x20
000022c0: DUP2
000022c1: MSTORE
000022c2: PUSH1 0x20
000022c4: ADD
000022c5: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000022e6: DUP2
000022e7: MSTORE
000022e8: POP
000022e9: DUP6
000022ea: PUSH1 0x01
000022ec: PUSH1 0x01
000022ee: PUSH1 0xa0
000022f0: SHL
000022f1: SUB
000022f2: AND
000022f3: PUSH2 0x255d
000022f6: SWAP1
000022f7: SWAP3
000022f8: SWAP2
000022f9: SWAP1
000022fa: PUSH4 0xffffffff
000022ff: AND
00002300: JUMP
00002301: JUMPDEST
00002302: DUP1
00002303: MLOAD
00002304: SWAP1
00002305: SWAP2
00002306: POP
00002307: ISZERO
00002308: PUSH2 0x1756
0000230b: JUMPI
0000230c: DUP1
0000230d: DUP1
0000230e: PUSH1 0x20
00002310: ADD
00002311: SWAP1
00002312: MLOAD
00002313: PUSH1 0x20
00002315: DUP2
00002316: LT
00002317: ISZERO
00002318: PUSH2 0x2320
0000231b: JUMPI
0000231c: PUSH1 0x00
0000231e: DUP1
0000231f: REVERT
00002320: JUMPDEST
00002321: POP
00002322: MLOAD
00002323: PUSH2 0x1756
00002326: JUMPI
00002327: PUSH1 0x40
00002329: MLOAD
0000232a: PUSH3 0x461bcd
0000232e: PUSH1 0xe5
00002330: SHL
00002331: DUP2
00002332: MSTORE
00002333: PUSH1 0x04
00002335: ADD
00002336: DUP1
00002337: DUP1
00002338: PUSH1 0x20
0000233a: ADD
0000233b: DUP3
0000233c: DUP2
0000233d: SUB
0000233e: DUP3
0000233f: MSTORE
00002340: PUSH1 0x2a
00002342: DUP2
00002343: MSTORE
00002344: PUSH1 0x20
00002346: ADD
00002347: DUP1
00002348: PUSH2 0x2a8e
0000234b: PUSH1 0x2a
0000234d: SWAP2
0000234e: CODECOPY
0000234f: PUSH1 0x40
00002351: ADD
00002352: SWAP2
00002353: POP
00002354: POP
00002355: PUSH1 0x40
00002357: MLOAD
00002358: DUP1
00002359: SWAP2
0000235a: SUB
0000235b: SWAP1
0000235c: REVERT
0000235d: JUMPDEST
0000235e: PUSH1 0x00
00002360: DUP1
00002361: PUSH2 0x2368
00002364: PUSH2 0x0fff
00002367: JUMP
00002368: JUMPDEST
00002369: SWAP1
0000236a: POP
0000236b: PUSH1 0x00
0000236d: PUSH2 0x2374
00002370: PUSH2 0x1453
00002373: JUMP
00002374: JUMPDEST
00002375: SWAP1
00002376: POP
00002377: PUSH1 0x00
00002379: PUSH2 0x238d
0000237c: PUSH1 0x09
0000237e: SLOAD
0000237f: DUP7
00002380: PUSH2 0x21ec
00002383: SWAP1
00002384: SWAP2
00002385: SWAP1
00002386: PUSH4 0xffffffff
0000238b: AND
0000238c: JUMP
0000238d: JUMPDEST
0000238e: SWAP1
0000238f: POP
00002390: PUSH1 0x00
00002392: DUP1
00002393: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
000023b4: PUSH1 0x01
000023b6: DUP2
000023b7: GT
000023b8: ISZERO
000023b9: PUSH2 0x23be
000023bc: JUMPI
000023bd: INVALID
000023be: JUMPDEST
000023bf: EQ
000023c0: ISZERO
000023c1: PUSH2 0x2410
000023c4: JUMPI
000023c5: PUSH2 0x2409
000023c8: PUSH2 0x2402
000023cb: PUSH2 0x23d2
000023ce: PUSH2 0x1219
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH1 0xff
000023d5: AND
000023d6: PUSH1 0x0a
000023d8: EXP
000023d9: PUSH2 0x1432
000023dc: DUP7
000023dd: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
000023fe: PUSH2 0x21ec
00002401: JUMP
00002402: JUMPDEST
00002403: DUP6
00002404: SWAP1
00002405: PUSH2 0x1a3d
00002408: JUMP
00002409: JUMPDEST
0000240a: SWAP1
0000240b: POP
0000240c: PUSH2 0x2459
0000240f: JUMP
00002410: JUMPDEST
00002411: PUSH2 0x2456
00002414: PUSH2 0x244f
00002417: PUSH32 0x00000000000000000000000000000000000000000000000000000000bebc2000
00002438: PUSH2 0x1432
0000243b: PUSH2 0x2442
0000243e: PUSH2 0x1219
00002441: JUMP
00002442: JUMPDEST
00002443: DUP9
00002444: SWAP1
00002445: PUSH1 0xff
00002447: AND
00002448: PUSH1 0x0a
0000244a: EXP
0000244b: PUSH2 0x21ec
0000244e: JUMP
0000244f: JUMPDEST
00002450: DUP5
00002451: SWAP1
00002452: PUSH2 0x1a3d
00002455: JUMP
00002456: JUMPDEST
00002457: SWAP1
00002458: POP
00002459: JUMPDEST
0000245a: PUSH2 0x2463
0000245d: DUP3
0000245e: DUP3
0000245f: PUSH2 0x2245
00002462: JUMP
00002463: JUMPDEST
00002464: SWAP7
00002465: SWAP6
00002466: POP
00002467: POP
00002468: POP
00002469: POP
0000246a: POP
0000246b: POP
0000246c: JUMP
0000246d: JUMPDEST
0000246e: PUSH1 0x01
00002470: PUSH1 0x01
00002472: PUSH1 0xa0
00002474: SHL
00002475: SUB
00002476: DUP3
00002477: AND
00002478: PUSH2 0x24c8
0000247b: JUMPI
0000247c: PUSH1 0x40
0000247e: DUP1
0000247f: MLOAD
00002480: PUSH3 0x461bcd
00002484: PUSH1 0xe5
00002486: SHL
00002487: DUP2
00002488: MSTORE
00002489: PUSH1 0x20
0000248b: PUSH1 0x04
0000248d: DUP3
0000248e: ADD
0000248f: MSTORE
00002490: PUSH1 0x1f
00002492: PUSH1 0x24
00002494: DUP3
00002495: ADD
00002496: MSTORE
00002497: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000024b8: PUSH1 0x44
000024ba: DUP3
000024bb: ADD
000024bc: MSTORE
000024bd: SWAP1
000024be: MLOAD
000024bf: SWAP1
000024c0: DUP2
000024c1: SWAP1
000024c2: SUB
000024c3: PUSH1 0x64
000024c5: ADD
000024c6: SWAP1
000024c7: REVERT
000024c8: JUMPDEST
000024c9: PUSH2 0x24d4
000024cc: PUSH1 0x00
000024ce: DUP4
000024cf: DUP4
000024d0: PUSH2 0x1756
000024d3: JUMP
000024d4: JUMPDEST
000024d5: PUSH1 0x02
000024d7: SLOAD
000024d8: PUSH2 0x24e1
000024db: SWAP1
000024dc: DUP3
000024dd: PUSH2 0x1a3d
000024e0: JUMP
000024e1: JUMPDEST
000024e2: PUSH1 0x02
000024e4: SSTORE
000024e5: PUSH1 0x01
000024e7: PUSH1 0x01
000024e9: PUSH1 0xa0
000024eb: SHL
000024ec: SUB
000024ed: DUP3
000024ee: AND
000024ef: PUSH1 0x00
000024f1: SWAP1
000024f2: DUP2
000024f3: MSTORE
000024f4: PUSH1 0x20
000024f6: DUP2
000024f7: SWAP1
000024f8: MSTORE
000024f9: PUSH1 0x40
000024fb: SWAP1
000024fc: KECCAK256
000024fd: SLOAD
000024fe: PUSH2 0x2507
00002501: SWAP1
00002502: DUP3
00002503: PUSH2 0x1a3d
00002506: JUMP
00002507: JUMPDEST
00002508: PUSH1 0x01
0000250a: PUSH1 0x01
0000250c: PUSH1 0xa0
0000250e: SHL
0000250f: SUB
00002510: DUP4
00002511: AND
00002512: PUSH1 0x00
00002514: DUP2
00002515: DUP2
00002516: MSTORE
00002517: PUSH1 0x20
00002519: DUP2
0000251a: DUP2
0000251b: MSTORE
0000251c: PUSH1 0x40
0000251e: DUP1
0000251f: DUP4
00002520: KECCAK256
00002521: SWAP5
00002522: SWAP1
00002523: SWAP5
00002524: SSTORE
00002525: DUP4
00002526: MLOAD
00002527: DUP6
00002528: DUP2
00002529: MSTORE
0000252a: SWAP4
0000252b: MLOAD
0000252c: SWAP3
0000252d: SWAP4
0000252e: SWAP2
0000252f: SWAP3
00002530: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002551: SWAP3
00002552: DUP2
00002553: SWAP1
00002554: SUB
00002555: SWAP1
00002556: SWAP2
00002557: ADD
00002558: SWAP1
00002559: LOG3
0000255a: POP
0000255b: POP
0000255c: JUMP
0000255d: JUMPDEST
0000255e: PUSH1 0x60
00002560: PUSH2 0x256c
00002563: DUP5
00002564: DUP5
00002565: PUSH1 0x00
00002567: DUP6
00002568: PUSH2 0x2574
0000256b: JUMP
0000256c: JUMPDEST
0000256d: SWAP5
0000256e: SWAP4
0000256f: POP
00002570: POP
00002571: POP
00002572: POP
00002573: JUMP
00002574: JUMPDEST
00002575: PUSH1 0x60
00002577: DUP3
00002578: SELFBALANCE
00002579: LT
0000257a: ISZERO
0000257b: PUSH2 0x25b5
0000257e: JUMPI
0000257f: PUSH1 0x40
00002581: MLOAD
00002582: PUSH3 0x461bcd
00002586: PUSH1 0xe5
00002588: SHL
00002589: DUP2
0000258a: MSTORE
0000258b: PUSH1 0x04
0000258d: ADD
0000258e: DUP1
0000258f: DUP1
00002590: PUSH1 0x20
00002592: ADD
00002593: DUP3
00002594: DUP2
00002595: SUB
00002596: DUP3
00002597: MSTORE
00002598: PUSH1 0x26
0000259a: DUP2
0000259b: MSTORE
0000259c: PUSH1 0x20
0000259e: ADD
0000259f: DUP1
000025a0: PUSH2 0x28a2
000025a3: PUSH1 0x26
000025a5: SWAP2
000025a6: CODECOPY
000025a7: PUSH1 0x40
000025a9: ADD
000025aa: SWAP2
000025ab: POP
000025ac: POP
000025ad: PUSH1 0x40
000025af: MLOAD
000025b0: DUP1
000025b1: SWAP2
000025b2: SUB
000025b3: SWAP1
000025b4: REVERT
000025b5: JUMPDEST
000025b6: PUSH2 0x25be
000025b9: DUP6
000025ba: PUSH2 0x150a
000025bd: JUMP
000025be: JUMPDEST
000025bf: PUSH2 0x260f
000025c2: JUMPI
000025c3: PUSH1 0x40
000025c5: DUP1
000025c6: MLOAD
000025c7: PUSH3 0x461bcd
000025cb: PUSH1 0xe5
000025cd: SHL
000025ce: DUP2
000025cf: MSTORE
000025d0: PUSH1 0x20
000025d2: PUSH1 0x04
000025d4: DUP3
000025d5: ADD
000025d6: MSTORE
000025d7: PUSH1 0x1d
000025d9: PUSH1 0x24
000025db: DUP3
000025dc: ADD
000025dd: MSTORE
000025de: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000025ff: PUSH1 0x44
00002601: DUP3
00002602: ADD
00002603: MSTORE
00002604: SWAP1
00002605: MLOAD
00002606: SWAP1
00002607: DUP2
00002608: SWAP1
00002609: SUB
0000260a: PUSH1 0x64
0000260c: ADD
0000260d: SWAP1
0000260e: REVERT
0000260f: JUMPDEST
00002610: PUSH1 0x00
00002612: PUSH1 0x60
00002614: DUP7
00002615: PUSH1 0x01
00002617: PUSH1 0x01
00002619: PUSH1 0xa0
0000261b: SHL
0000261c: SUB
0000261d: AND
0000261e: DUP6
0000261f: DUP8
00002620: PUSH1 0x40
00002622: MLOAD
00002623: DUP1
00002624: DUP3
00002625: DUP1
00002626: MLOAD
00002627: SWAP1
00002628: PUSH1 0x20
0000262a: ADD
0000262b: SWAP1
0000262c: DUP1
0000262d: DUP4
0000262e: DUP4
0000262f: JUMPDEST
00002630: PUSH1 0x20
00002632: DUP4
00002633: LT
00002634: PUSH2 0x264e
00002637: JUMPI
00002638: DUP1
00002639: MLOAD
0000263a: DUP3
0000263b: MSTORE
0000263c: PUSH1 0x1f
0000263e: NOT
0000263f: SWAP1
00002640: SWAP3
00002641: ADD
00002642: SWAP2
00002643: PUSH1 0x20
00002645: SWAP2
00002646: DUP3
00002647: ADD
00002648: SWAP2
00002649: ADD
0000264a: PUSH2 0x262f
0000264d: JUMP
0000264e: JUMPDEST
0000264f: PUSH1 0x01
00002651: DUP4
00002652: PUSH1 0x20
00002654: SUB
00002655: PUSH2 0x0100
00002658: EXP
00002659: SUB
0000265a: DUP1
0000265b: NOT
0000265c: DUP3
0000265d: MLOAD
0000265e: AND
0000265f: DUP2
00002660: DUP5
00002661: MLOAD
00002662: AND
00002663: DUP1
00002664: DUP3
00002665: OR
00002666: DUP6
00002667: MSTORE
00002668: POP
00002669: POP
0000266a: POP
0000266b: POP
0000266c: POP
0000266d: POP
0000266e: SWAP1
0000266f: POP
00002670: ADD
00002671: SWAP2
00002672: POP
00002673: POP
00002674: PUSH1 0x00
00002676: PUSH1 0x40
00002678: MLOAD
00002679: DUP1
0000267a: DUP4
0000267b: SUB
0000267c: DUP2
0000267d: DUP6
0000267e: DUP8
0000267f: GAS
00002680: CALL
00002681: SWAP3
00002682: POP
00002683: POP
00002684: POP
00002685: RETURNDATASIZE
00002686: DUP1
00002687: PUSH1 0x00
00002689: DUP2
0000268a: EQ
0000268b: PUSH2 0x26b0
0000268e: JUMPI
0000268f: PUSH1 0x40
00002691: MLOAD
00002692: SWAP2
00002693: POP
00002694: PUSH1 0x1f
00002696: NOT
00002697: PUSH1 0x3f
00002699: RETURNDATASIZE
0000269a: ADD
0000269b: AND
0000269c: DUP3
0000269d: ADD
0000269e: PUSH1 0x40
000026a0: MSTORE
000026a1: RETURNDATASIZE
000026a2: DUP3
000026a3: MSTORE
000026a4: RETURNDATASIZE
000026a5: PUSH1 0x00
000026a7: PUSH1 0x20
000026a9: DUP5
000026aa: ADD
000026ab: RETURNDATACOPY
000026ac: PUSH2 0x26b5
000026af: JUMP
000026b0: JUMPDEST
000026b1: PUSH1 0x60
000026b3: SWAP2
000026b4: POP
000026b5: JUMPDEST
000026b6: POP
000026b7: SWAP2
000026b8: POP
000026b9: SWAP2
000026ba: POP
000026bb: PUSH2 0x26c5
000026be: DUP3
000026bf: DUP3
000026c0: DUP7
000026c1: PUSH2 0x26d0
000026c4: JUMP
000026c5: JUMPDEST
000026c6: SWAP8
000026c7: SWAP7
000026c8: POP
000026c9: POP
000026ca: POP
000026cb: POP
000026cc: POP
000026cd: POP
000026ce: POP
000026cf: JUMP
000026d0: JUMPDEST
000026d1: PUSH1 0x60
000026d3: DUP4
000026d4: ISZERO
000026d5: PUSH2 0x26df
000026d8: JUMPI
000026d9: POP
000026da: DUP2
000026db: PUSH2 0x0be8
000026de: JUMP
000026df: JUMPDEST
000026e0: DUP3
000026e1: MLOAD
000026e2: ISZERO
000026e3: PUSH2 0x26ef
000026e6: JUMPI
000026e7: DUP3
000026e8: MLOAD
000026e9: DUP1
000026ea: DUP5
000026eb: PUSH1 0x20
000026ed: ADD
000026ee: REVERT
000026ef: JUMPDEST
000026f0: PUSH1 0x40
000026f2: MLOAD
000026f3: PUSH3 0x461bcd
000026f7: PUSH1 0xe5
000026f9: SHL
000026fa: DUP2
000026fb: MSTORE
000026fc: PUSH1 0x20
000026fe: PUSH1 0x04
00002700: DUP3
00002701: ADD
00002702: DUP2
00002703: DUP2
00002704: MSTORE
00002705: DUP5
00002706: MLOAD
00002707: PUSH1 0x24
00002709: DUP5
0000270a: ADD
0000270b: MSTORE
0000270c: DUP5
0000270d: MLOAD
0000270e: DUP6
0000270f: SWAP4
00002710: SWAP2
00002711: SWAP3
00002712: DUP4
00002713: SWAP3
00002714: PUSH1 0x44
00002716: ADD
00002717: SWAP2
00002718: SWAP1
00002719: DUP6
0000271a: ADD
0000271b: SWAP1
0000271c: DUP1
0000271d: DUP4
0000271e: DUP4
0000271f: PUSH1 0x00
00002721: DUP4
00002722: ISZERO
00002723: PUSH2 0x19fa
00002726: JUMPI
00002727: DUP2
00002728: DUP2
00002729: ADD
0000272a: MLOAD
0000272b: DUP4
0000272c: DUP3
0000272d: ADD
0000272e: MSTORE
0000272f: PUSH1 0x20
00002731: ADD
00002732: PUSH2 0x19e2
00002735: JUMP
00002736: INVALID
00002737: GASLIMIT
00002738: MSTORE
00002739: NUMBER
0000273a: ORIGIN
0000273b: ADDRESS
0000273c: GASPRICE
0000273d: KECCAK256
0000273e: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00002754: PUSH5 0x6472657373
0000275a: GASLIMIT
0000275b: MSTORE
0000275c: NUMBER
0000275d: ORIGIN
0000275e: ADDRESS
0000275f: GASPRICE
00002760: KECCAK256
00002761: PUSH3 0x75726e
00002765: KECCAK256
00002766: PUSH2 0x6d6f
00002769: PUSH22 0x6e7420657863656564732062616c616e636545524332
00002780: ADDRESS
00002781: GASPRICE
00002782: KECCAK256
00002783: PUSH2 0x7070
00002786: PUSH19 0x6f766520746f20746865207a65726f20616464
0000279a: PUSH19 0x657373506f644f7074696f6e3a20616d6f756e
000027ae: PUSH21 0x206f66206f7074696f6e7320697320746f6f206c6f
000027c4: PUSH24 0x506f644f7074696f6e3a20796f7520646f206e6f74206861
000027dd: PUSH23 0x652062616c616e636520746f207769746864726177506f
000027f5: PUSH5 0x4f7074696f
000027fb: PUSH15 0x3a207a65726f206164647265737320
0000280b: PUSH4 0x616e6e6f
00002810: PUSH21 0x20626520746865206f776e657245524332303a2074
00002826: PUSH19 0x616e7366657220616d6f756e74206578636565
0000283a: PUSH5 0x732062616c
00002840: PUSH2 0x6e63
00002843: PUSH6 0x506f644f7074
0000284a: PUSH10 0x6f6e3a206e6f7420656e
00002855: PUSH16 0x756768206d696e746564206f7074696f
00002866: PUSH15 0x73416464726573733a20756e61626c
00002876: PUSH6 0x20746f207365
0000287d: PUSH15 0x642076616c75652c20726563697069
0000288d: PUSH6 0x6e74206d6179
00002894: KECCAK256
00002895: PUSH9 0x617665207265766572
0000289f: PUSH21 0x6564416464726573733a20696e7375666669636965
000028b5: PUSH15 0x742062616c616e636520666f722063
000028c5: PUSH2 0x6c6c
000028c8: POP
000028c9: PUSH16 0x644f7074696f6e3a20796f7520646f20
000028da: PUSH15 0x6f742068617665206d696e74656420
000028ea: PUSH16 0x7074696f6e73506f645075743a20796f
000028fb: PUSH22 0x2063616e206e6f74206d696e74207a65726f206f7074
00002912: PUSH10 0x6f6e73506f644f707469
0000291d: PUSH16 0x6e3a206f7074696f6e20686173206e6f
0000292e: PUSH21 0x206578706972656420796574536166654d6174683a
00002944: KECCAK256
00002945: PUSH14 0x756c7469706c69636174696f6e20
00002954: PUSH16 0x766572666c6f7745524332303a207472
00002965: PUSH2 0x6e73
00002968: PUSH7 0x657220616d6f75
00002970: PUSH15 0x74206578636565647320616c6c6f77
00002980: PUSH2 0x6e63
00002983: PUSH6 0x57506f645075
0000298a: PUSH21 0x3a20796f752063616e206e6f742065786572636973
000029a0: PUSH6 0x207a65726f20
000029a7: PUSH16 0x7074696f6e73506f645075743a20796f
000029b8: PUSH22 0x2063616e206e6f74206578657263697365207a65726f
000029cf: KECCAK256
000029d0: PUSH16 0x7074696f6e73506f644f7074696f6e3a
000029e1: KECCAK256
000029e2: PUSH15 0x6f7420696e20657865726369736520
000029f2: PUSH24 0x696e646f7745524332303a206275726e2066726f6d207468
00002a0b: PUSH6 0x207a65726f20
00002a12: PUSH2 0x6464
00002a15: PUSH19 0x65737345524332303a207472616e7366657220
00002a29: PUSH7 0x726f6d20746865
00002a31: KECCAK256
00002a32: PUSH27 0x65726f206164647265737357506f645075743a204f6e6c79206465
00002a4e: PUSH17 0x6f736974732066726f6d20574554482061
00002a60: PUSH19 0x6520616c6c6f77656445524332303a20617070
00002a74: PUSH19 0x6f76652066726f6d20746865207a65726f2061
00002a88: PUSH5 0x6472657373
00002a8e: MSTORE8
00002a8f: PUSH2 0x6665
00002a92: GASLIMIT
00002a93: MSTORE
00002a94: NUMBER
00002a95: ORIGIN
00002a96: ADDRESS
00002a97: GASPRICE
00002a98: KECCAK256
00002a99: GASLIMIT
00002a9a: MSTORE
00002a9b: NUMBER
00002a9c: ORIGIN
00002a9d: ADDRESS
00002a9e: KECCAK256
00002a9f: PUSH16 0x7065726174696f6e20646964206e6f74
00002ab0: KECCAK256
00002ab1: PUSH20 0x756363656564506f644f7074696f6e3a20747261
00002ac6: PUSH5 0x652077696e
00002acc: PUSH5 0x6f77206861
00002ad2: PUSH20 0x20636c6f73656457506f645075743a20616d6f75
00002ae7: PUSH15 0x74206f66206f7074696f6e73206973
00002af7: KECCAK256
00002af8: PUSH21 0x6f6f206c6f7745524332303a206465637265617365
00002b0e: PUSH5 0x20616c6c6f
00002b14: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
00002b2d: KECCAK256
00002b2e: UNKNOWN(0xDD)
00002b2f: ISZERO
00002b30: PUSH24 0x5cbd733473b7281e001151080826b1cfc5ad519864969b5b
00002b49: LOG1
00002b4a: LOG3
00002b4b: MUL
00002b4c: UNKNOWN(0xB4)
00002b4d: UNKNOWN(0x24)
00002b4e: PUSH5 0x736f6c6343
00002b54: STOP
00002b55: MOD
00002b56: UNKNOWN(0x0C)
00002b57: STOP
00002b58: CALLER

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": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1aef23f", "selector": "0xe1aef23f", "calldata_variants": [ "0xe1aef23f", "0xe1aef23f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf18a6b78", "selector": "0xf18a6b78", "calldata_variants": [ "0xf18a6b78", "0xf18a6b780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3eb8cab", "selector": "0xf3eb8cab", "calldata_variants": [ "0xf3eb8cab", "0xf3eb8cab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffd9eedb", "selector": "0xffd9eedb", "calldata_variants": [ "0xffd9eedb", "0xffd9eedb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb07f0a41", "selector": "0xb07f0a41", "calldata_variants": [ "0xb07f0a41", "0xb07f0a410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1325661", "selector": "0xc1325661", "calldata_variants": [ "0xc1325661", "0xc13256610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc52987cf", "selector": "0xc52987cf", "calldata_variants": [ "0xc52987cf", "0xc52987cf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 10042, "type": "tx_origin_used" }, { "pc": 10077, "type": "tx_origin_used" }, { "pc": 10901, "type": "tx_origin_used" }, { "pc": 10908, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x7180f9a2797728a7d77b52818a47c8d1dcf1fa60aac20429046ab3cb7adb0a1a call_targets: 0x049dfa51cdc5c68fcb57df1b43a03b4494623159 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7180f9a2797728a7d77b52818a47c8d1dcf1fa60aac20429046ab3cb7adb0a1a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x049dfa51cdc5c68fcb57df1b43a03b4494623159" ], "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": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1aef23f", "selector": "0xe1aef23f", "calldata_variants": [ "0xe1aef23f", "0xe1aef23f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf18a6b78", "selector": "0xf18a6b78", "calldata_variants": [ "0xf18a6b78", "0xf18a6b780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3eb8cab", "selector": "0xf3eb8cab", "calldata_variants": [ "0xf3eb8cab", "0xf3eb8cab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffd9eedb", "selector": "0xffd9eedb", "calldata_variants": [ "0xffd9eedb", "0xffd9eedb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb07f0a41", "selector": "0xb07f0a41", "calldata_variants": [ "0xb07f0a41", "0xb07f0a410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1325661", "selector": "0xc1325661", "calldata_variants": [ "0xc1325661", "0xc13256610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc52987cf", "selector": "0xc52987cf", "calldata_variants": [ "0xc52987cf", "0xc52987cf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2549, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7061, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 10042, "type": "tx_origin_used" }, { "pc": 10077, "type": "tx_origin_used" }, { "pc": 10901, "type": "tx_origin_used" }, { "pc": 10908, "type": "tx_origin_used" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x7180f9a2797728a7d77b52818a47c8d1dcf1fa60aac20429046ab3cb7adb0a1a call_targets: 0x049dfa51cdc5c68fcb57df1b43a03b4494623159 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7180f9a2797728a7d77b52818a47c8d1dcf1fa60aac20429046ab3cb7adb0a1a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x049dfa51cdc5c68fcb57df1b43a03b4494623159" ], "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": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1aef23f", "selector": "0xe1aef23f", "calldata_variants": [ "0xe1aef23f", "0xe1aef23f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf18a6b78", "selector": "0xf18a6b78", "calldata_variants": [ "0xf18a6b78", "0xf18a6b780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3eb8cab", "selector": "0xf3eb8cab", "calldata_variants": [ "0xf3eb8cab", "0xf3eb8cab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffd9eedb", "selector": "0xffd9eedb", "calldata_variants": [ "0xffd9eedb", "0xffd9eedb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb07f0a41", "selector": "0xb07f0a41", "calldata_variants": [ "0xb07f0a41", "0xb07f0a410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc1325661", "selector": "0xc1325661", "calldata_variants": [ "0xc1325661", "0xc13256610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc52987cf", "selector": "0xc52987cf", "calldata_variants": [ "0xc52987cf", "0xc52987cf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2549, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7061, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 10042, "type": "tx_origin_used" }, { "pc": 10077, "type": "tx_origin_used" }, { "pc": 10901, "type": "tx_origin_used" }, { "pc": 10908, "type": "tx_origin_used" } ] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 9 }