Analysis Run

019ba8de-b966-7177-a8df-3ad764b1c6cf

complete

Chain ID

1

Address

0xa353ccd135da53687bb44cede608bb90deacd7cc

Block Number

—

Created

Sat, Jan 10, 2026 5:05 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

Untrusted DELEGATECALL target reachable

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
32980	artifact.fetch	complete	1 / 3	3 months ago
32981	proxy.resolve	complete	1 / 3	3 months ago
32982	tool.cast_disasm	complete	1 / 3	3 months ago
32983	analysis.bundle	complete	1 / 3	3 months ago
32984	capability.graph	complete	1 / 3	3 months ago
32985	detector.run	complete	1 / 3	3 months ago
32986	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

1

Selfdestruct

0

CREATE2

1

CALL-family (heavy)

7

EXT*/BALANCE

6

Total opcodes

5931

Flags

delegatecall_present create_opcodes_present 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 0x0289
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7b259db4
00000019: GT
0000001a: PUSH2 0x0153
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa217fddf
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe52cb36a
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe75235b8
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe75235b8
00000045: EQ
00000046: PUSH2 0x0956
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xeb12d61e
00000050: EQ
00000051: PUSH2 0x096b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xefbf64a7
0000005b: EQ
0000005c: PUSH2 0x098b
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe52cb36a
0000006b: EQ
0000006c: PUSH2 0x08ee
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe63ab1e9
00000076: EQ
00000077: PUSH2 0x0922
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xb715be81
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xb715be81
00000091: EQ
00000092: PUSH2 0x0899
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd547741f
0000009c: EQ
0000009d: PUSH2 0x08ae
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xda35a26f
000000a7: EQ
000000a8: PUSH2 0x08ce
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa217fddf
000000b7: EQ
000000b8: PUSH2 0x082e
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xad3cb1cc
000000c2: EQ
000000c3: PUSH2 0x0843
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x8abed32b
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x94cf795e
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x94cf795e
000000e8: EQ
000000e9: PUSH2 0x06d6
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x960bfe04
000000f3: EQ
000000f4: PUSH2 0x06f8
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x98efa653
000000fe: EQ
000000ff: PUSH2 0x0718
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x8abed32b
0000010e: EQ
0000010f: PUSH2 0x0644
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x91d14854
00000119: EQ
0000011a: PUSH2 0x0671
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x7b259db4
00000129: EQ
0000012a: PUSH2 0x05ca
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x7ca548c6
00000134: EQ
00000135: PUSH2 0x05e0
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x7df73e27
0000013f: EQ
00000140: PUSH2 0x05f6
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x8456cb59
0000014a: EQ
0000014b: PUSH2 0x062f
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x3f4ba83a
0000015a: GT
0000015b: PUSH2 0x0201
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x577ed7e1
00000165: GT
00000166: PUSH2 0x01b5
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x5f3e849f
00000170: GT
00000171: PUSH2 0x019a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x5f3e849f
0000017b: EQ
0000017c: PUSH2 0x0539
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x66285967
00000186: EQ
00000187: PUSH2 0x0559
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x736c0d5b
00000191: EQ
00000192: PUSH2 0x0579
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x577ed7e1
000001a1: EQ
000001a2: PUSH2 0x04e2
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x5c975abb
000001ac: EQ
000001ad: PUSH2 0x0502
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x4f1ef286
000001bc: GT
000001bd: PUSH2 0x01e6
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x4f1ef286
000001c7: EQ
000001c8: PUSH2 0x049a
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x51e56163
000001d2: EQ
000001d3: PUSH2 0x04ad
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x52d1902d
000001dd: EQ
000001de: PUSH2 0x04cd
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x3f4ba83a
000001ed: EQ
000001ee: PUSH2 0x046f
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x42cde4e8
000001f8: EQ
000001f9: PUSH2 0x0484
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: DUP1
00000203: PUSH4 0x248a9ca3
00000208: GT
00000209: PUSH2 0x0258
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x2f2ff15d
00000213: GT
00000214: PUSH2 0x023d
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0x2f2ff15d
0000021e: EQ
0000021f: PUSH2 0x03f7
00000222: JUMPI
00000223: DUP1
00000224: PUSH4 0x36568abe
00000229: EQ
0000022a: PUSH2 0x0417
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x3cb747bf
00000234: EQ
00000235: PUSH2 0x0437
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x248a9ca3
00000244: EQ
00000245: PUSH2 0x036d
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x24f6c776
0000024f: EQ
00000250: PUSH2 0x03bc
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: DUP1
0000025a: PUSH4 0x01e8f789
0000025f: EQ
00000260: PUSH2 0x0295
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0x01ffc9a7
0000026a: EQ
0000026b: PUSH2 0x02d5
0000026e: JUMPI
0000026f: DUP1
00000270: PUSH4 0x0e316ab7
00000275: EQ
00000276: PUSH2 0x0305
00000279: JUMPI
0000027a: DUP1
0000027b: PUSH4 0x23cdc3f1
00000280: EQ
00000281: PUSH2 0x0327
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: CALLDATASIZE
0000028b: PUSH2 0x0290
0000028e: JUMPI
0000028f: STOP
00000290: JUMPDEST
00000291: PUSH1 0x00
00000293: DUP1
00000294: REVERT
00000295: JUMPDEST
00000296: CALLVALUE
00000297: DUP1
00000298: ISZERO
00000299: PUSH2 0x02a1
0000029c: JUMPI
0000029d: PUSH1 0x00
0000029f: DUP1
000002a0: REVERT
000002a1: JUMPDEST
000002a2: POP
000002a3: PUSH2 0x02c2
000002a6: PUSH2 0x02b0
000002a9: CALLDATASIZE
000002aa: PUSH1 0x04
000002ac: PUSH2 0x25b6
000002af: JUMP
000002b0: JUMPDEST
000002b1: PUSH1 0x00
000002b3: SWAP1
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x07
000002b8: PUSH1 0x20
000002ba: MSTORE
000002bb: PUSH1 0x40
000002bd: SWAP1
000002be: KECCAK256
000002bf: SLOAD
000002c0: SWAP1
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: SWAP1
000002c7: DUP2
000002c8: MSTORE
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: JUMPDEST
000002cd: PUSH1 0x40
000002cf: MLOAD
000002d0: DUP1
000002d1: SWAP2
000002d2: SUB
000002d3: SWAP1
000002d4: RETURN
000002d5: JUMPDEST
000002d6: CALLVALUE
000002d7: DUP1
000002d8: ISZERO
000002d9: PUSH2 0x02e1
000002dc: JUMPI
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: POP
000002e3: PUSH2 0x02f5
000002e6: PUSH2 0x02f0
000002e9: CALLDATASIZE
000002ea: PUSH1 0x04
000002ec: PUSH2 0x25cf
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH2 0x0a26
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x40
000002f8: MLOAD
000002f9: SWAP1
000002fa: ISZERO
000002fb: ISZERO
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: PUSH2 0x02cc
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: DUP1
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: PUSH2 0x0325
00000316: PUSH2 0x0320
00000319: CALLDATASIZE
0000031a: PUSH1 0x04
0000031c: PUSH2 0x260e
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH2 0x0a8f
00000324: JUMP
00000325: JUMPDEST
00000326: STOP
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x02f5
00000338: PUSH2 0x0342
0000033b: CALLDATASIZE
0000033c: PUSH1 0x04
0000033e: PUSH2 0x262b
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH1 0x00
00000345: SWAP2
00000346: DUP3
00000347: MSTORE
00000348: PUSH1 0x06
0000034a: PUSH1 0x20
0000034c: SWAP1
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x40
00000351: DUP1
00000352: DUP5
00000353: KECCAK256
00000354: PUSH1 0x01
00000356: PUSH1 0x01
00000358: PUSH1 0xa0
0000035a: SHL
0000035b: SUB
0000035c: SWAP4
0000035d: SWAP1
0000035e: SWAP4
0000035f: AND
00000360: DUP5
00000361: MSTORE
00000362: SWAP2
00000363: SWAP1
00000364: MSTORE
00000365: SWAP1
00000366: KECCAK256
00000367: SLOAD
00000368: PUSH1 0xff
0000036a: AND
0000036b: SWAP1
0000036c: JUMP
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: DUP1
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: POP
0000037b: PUSH2 0x02c2
0000037e: PUSH2 0x0388
00000381: CALLDATASIZE
00000382: PUSH1 0x04
00000384: PUSH2 0x25b6
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x00
0000038b: SWAP1
0000038c: DUP2
0000038d: MSTORE
0000038e: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
000003af: PUSH1 0x20
000003b1: MSTORE
000003b2: PUSH1 0x40
000003b4: SWAP1
000003b5: KECCAK256
000003b6: PUSH1 0x01
000003b8: ADD
000003b9: SLOAD
000003ba: SWAP1
000003bb: JUMP
000003bc: JUMPDEST
000003bd: CALLVALUE
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x03c8
000003c3: JUMPI
000003c4: PUSH1 0x00
000003c6: DUP1
000003c7: REVERT
000003c8: JUMPDEST
000003c9: POP
000003ca: PUSH2 0x02f5
000003cd: PUSH2 0x03d7
000003d0: CALLDATASIZE
000003d1: PUSH1 0x04
000003d3: PUSH2 0x262b
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x06
000003da: PUSH1 0x20
000003dc: SWAP1
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x00
000003e1: SWAP3
000003e2: DUP4
000003e3: MSTORE
000003e4: PUSH1 0x40
000003e6: DUP1
000003e7: DUP5
000003e8: KECCAK256
000003e9: SWAP1
000003ea: SWAP2
000003eb: MSTORE
000003ec: SWAP1
000003ed: DUP3
000003ee: MSTORE
000003ef: SWAP1
000003f0: KECCAK256
000003f1: SLOAD
000003f2: PUSH1 0xff
000003f4: AND
000003f5: DUP2
000003f6: JUMP
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: PUSH2 0x0325
00000408: PUSH2 0x0412
0000040b: CALLDATASIZE
0000040c: PUSH1 0x04
0000040e: PUSH2 0x262b
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH2 0x0cbb
00000416: JUMP
00000417: JUMPDEST
00000418: CALLVALUE
00000419: DUP1
0000041a: ISZERO
0000041b: PUSH2 0x0423
0000041e: JUMPI
0000041f: PUSH1 0x00
00000421: DUP1
00000422: REVERT
00000423: JUMPDEST
00000424: POP
00000425: PUSH2 0x0325
00000428: PUSH2 0x0432
0000042b: CALLDATASIZE
0000042c: PUSH1 0x04
0000042e: PUSH2 0x262b
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH2 0x0d05
00000436: JUMP
00000437: JUMPDEST
00000438: CALLVALUE
00000439: DUP1
0000043a: ISZERO
0000043b: PUSH2 0x0443
0000043e: JUMPI
0000043f: PUSH1 0x00
00000441: DUP1
00000442: REVERT
00000443: JUMPDEST
00000444: POP
00000445: PUSH1 0x08
00000447: SLOAD
00000448: PUSH2 0x0457
0000044b: SWAP1
0000044c: PUSH1 0x01
0000044e: PUSH1 0x01
00000450: PUSH1 0xa0
00000452: SHL
00000453: SUB
00000454: AND
00000455: DUP2
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x40
0000045a: MLOAD
0000045b: PUSH1 0x01
0000045d: PUSH1 0x01
0000045f: PUSH1 0xa0
00000461: SHL
00000462: SUB
00000463: SWAP1
00000464: SWAP2
00000465: AND
00000466: DUP2
00000467: MSTORE
00000468: PUSH1 0x20
0000046a: ADD
0000046b: PUSH2 0x02cc
0000046e: JUMP
0000046f: JUMPDEST
00000470: CALLVALUE
00000471: DUP1
00000472: ISZERO
00000473: PUSH2 0x047b
00000476: JUMPI
00000477: PUSH1 0x00
00000479: DUP1
0000047a: REVERT
0000047b: JUMPDEST
0000047c: POP
0000047d: PUSH2 0x0325
00000480: PUSH2 0x0d56
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x02c2
00000495: PUSH1 0x00
00000497: SLOAD
00000498: DUP2
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x0325
0000049e: PUSH2 0x04a8
000004a1: CALLDATASIZE
000004a2: PUSH1 0x04
000004a4: PUSH2 0x2671
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH2 0x0d6c
000004ac: JUMP
000004ad: JUMPDEST
000004ae: CALLVALUE
000004af: DUP1
000004b0: ISZERO
000004b1: PUSH2 0x04b9
000004b4: JUMPI
000004b5: PUSH1 0x00
000004b7: DUP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: POP
000004bb: PUSH2 0x02c2
000004be: PUSH2 0x04c8
000004c1: CALLDATASIZE
000004c2: PUSH1 0x04
000004c4: PUSH2 0x273d
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x0d8b
000004cc: JUMP
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: DUP1
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: POP
000004db: PUSH2 0x02c2
000004de: PUSH2 0x1185
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x0457
000004f3: PUSH2 0x04fd
000004f6: CALLDATASIZE
000004f7: PUSH1 0x04
000004f9: PUSH2 0x25b6
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH2 0x11b4
00000501: JUMP
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00000531: SLOAD
00000532: PUSH1 0xff
00000534: AND
00000535: PUSH2 0x02f5
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH2 0x0325
0000054a: PUSH2 0x0554
0000054d: CALLDATASIZE
0000054e: PUSH1 0x04
00000550: PUSH2 0x279d
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH2 0x11de
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x0325
0000056a: PUSH2 0x0574
0000056d: CALLDATASIZE
0000056e: PUSH1 0x04
00000570: PUSH2 0x260e
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x137f
00000578: JUMP
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x05b3
0000058a: PUSH2 0x0594
0000058d: CALLDATASIZE
0000058e: PUSH1 0x04
00000590: PUSH2 0x260e
00000593: JUMP
00000594: JUMPDEST
00000595: PUSH1 0x03
00000597: PUSH1 0x20
00000599: MSTORE
0000059a: PUSH1 0x00
0000059c: SWAP1
0000059d: DUP2
0000059e: MSTORE
0000059f: PUSH1 0x40
000005a1: SWAP1
000005a2: KECCAK256
000005a3: DUP1
000005a4: SLOAD
000005a5: PUSH1 0x01
000005a7: SWAP1
000005a8: SWAP2
000005a9: ADD
000005aa: SLOAD
000005ab: PUSH1 0xff
000005ad: SWAP1
000005ae: SWAP2
000005af: AND
000005b0: SWAP1
000005b1: DUP3
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH1 0x40
000005b6: DUP1
000005b7: MLOAD
000005b8: SWAP3
000005b9: ISZERO
000005ba: ISZERO
000005bb: DUP4
000005bc: MSTORE
000005bd: PUSH1 0x20
000005bf: DUP4
000005c0: ADD
000005c1: SWAP2
000005c2: SWAP1
000005c3: SWAP2
000005c4: MSTORE
000005c5: ADD
000005c6: PUSH2 0x02cc
000005c9: JUMP
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: DUP1
000005cd: ISZERO
000005ce: PUSH2 0x05d6
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: DUP1
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x02c2
000005db: PUSH1 0x02
000005dd: SLOAD
000005de: DUP2
000005df: JUMP
000005e0: JUMPDEST
000005e1: CALLVALUE
000005e2: DUP1
000005e3: ISZERO
000005e4: PUSH2 0x05ec
000005e7: JUMPI
000005e8: PUSH1 0x00
000005ea: DUP1
000005eb: REVERT
000005ec: JUMPDEST
000005ed: POP
000005ee: PUSH2 0x02c2
000005f1: PUSH1 0x01
000005f3: SLOAD
000005f4: DUP2
000005f5: JUMP
000005f6: JUMPDEST
000005f7: CALLVALUE
000005f8: DUP1
000005f9: ISZERO
000005fa: PUSH2 0x0602
000005fd: JUMPI
000005fe: PUSH1 0x00
00000600: DUP1
00000601: REVERT
00000602: JUMPDEST
00000603: POP
00000604: PUSH2 0x02f5
00000607: PUSH2 0x0611
0000060a: CALLDATASIZE
0000060b: PUSH1 0x04
0000060d: PUSH2 0x260e
00000610: JUMP
00000611: JUMPDEST
00000612: PUSH1 0x01
00000614: PUSH1 0x01
00000616: PUSH1 0xa0
00000618: SHL
00000619: SUB
0000061a: AND
0000061b: PUSH1 0x00
0000061d: SWAP1
0000061e: DUP2
0000061f: MSTORE
00000620: PUSH1 0x03
00000622: PUSH1 0x20
00000624: MSTORE
00000625: PUSH1 0x40
00000627: SWAP1
00000628: KECCAK256
00000629: SLOAD
0000062a: PUSH1 0xff
0000062c: AND
0000062d: SWAP1
0000062e: JUMP
0000062f: JUMPDEST
00000630: CALLVALUE
00000631: DUP1
00000632: ISZERO
00000633: PUSH2 0x063b
00000636: JUMPI
00000637: PUSH1 0x00
00000639: DUP1
0000063a: REVERT
0000063b: JUMPDEST
0000063c: POP
0000063d: PUSH2 0x0325
00000640: PUSH2 0x13d5
00000643: JUMP
00000644: JUMPDEST
00000645: CALLVALUE
00000646: DUP1
00000647: ISZERO
00000648: PUSH2 0x0650
0000064b: JUMPI
0000064c: PUSH1 0x00
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: POP
00000652: PUSH2 0x02c2
00000655: PUSH2 0x065f
00000658: CALLDATASIZE
00000659: PUSH1 0x04
0000065b: PUSH2 0x25b6
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x07
00000662: PUSH1 0x20
00000664: MSTORE
00000665: PUSH1 0x00
00000667: SWAP1
00000668: DUP2
00000669: MSTORE
0000066a: PUSH1 0x40
0000066c: SWAP1
0000066d: KECCAK256
0000066e: SLOAD
0000066f: DUP2
00000670: JUMP
00000671: JUMPDEST
00000672: CALLVALUE
00000673: DUP1
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: POP
0000067f: PUSH2 0x02f5
00000682: PUSH2 0x068c
00000685: CALLDATASIZE
00000686: PUSH1 0x04
00000688: PUSH2 0x262b
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH1 0x00
0000068f: SWAP2
00000690: DUP3
00000691: MSTORE
00000692: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
000006b3: PUSH1 0x20
000006b5: SWAP1
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x40
000006ba: DUP1
000006bb: DUP5
000006bc: KECCAK256
000006bd: PUSH1 0x01
000006bf: PUSH1 0x01
000006c1: PUSH1 0xa0
000006c3: SHL
000006c4: SUB
000006c5: SWAP4
000006c6: SWAP1
000006c7: SWAP4
000006c8: AND
000006c9: DUP5
000006ca: MSTORE
000006cb: SWAP2
000006cc: SWAP1
000006cd: MSTORE
000006ce: SWAP1
000006cf: KECCAK256
000006d0: SLOAD
000006d1: PUSH1 0xff
000006d3: AND
000006d4: SWAP1
000006d5: JUMP
000006d6: JUMPDEST
000006d7: CALLVALUE
000006d8: DUP1
000006d9: ISZERO
000006da: PUSH2 0x06e2
000006dd: JUMPI
000006de: PUSH1 0x00
000006e0: DUP1
000006e1: REVERT
000006e2: JUMPDEST
000006e3: POP
000006e4: PUSH2 0x06eb
000006e7: PUSH2 0x1407
000006ea: JUMP
000006eb: JUMPDEST
000006ec: PUSH1 0x40
000006ee: MLOAD
000006ef: PUSH2 0x02cc
000006f2: SWAP2
000006f3: SWAP1
000006f4: PUSH2 0x27de
000006f7: JUMP
000006f8: JUMPDEST
000006f9: CALLVALUE
000006fa: DUP1
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: PUSH2 0x0325
00000709: PUSH2 0x0713
0000070c: CALLDATASIZE
0000070d: PUSH1 0x04
0000070f: PUSH2 0x25b6
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x1469
00000717: JUMP
00000718: JUMPDEST
00000719: CALLVALUE
0000071a: DUP1
0000071b: ISZERO
0000071c: PUSH2 0x0724
0000071f: JUMPI
00000720: PUSH1 0x00
00000722: DUP1
00000723: REVERT
00000724: JUMPDEST
00000725: POP
00000726: PUSH2 0x07ce
00000729: PUSH2 0x0733
0000072c: CALLDATASIZE
0000072d: PUSH1 0x04
0000072f: PUSH2 0x25b6
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH1 0x40
00000736: DUP1
00000737: MLOAD
00000738: PUSH1 0xc0
0000073a: DUP2
0000073b: ADD
0000073c: DUP3
0000073d: MSTORE
0000073e: PUSH1 0x00
00000740: DUP1
00000741: DUP3
00000742: MSTORE
00000743: PUSH1 0x20
00000745: DUP3
00000746: ADD
00000747: DUP2
00000748: SWAP1
00000749: MSTORE
0000074a: SWAP2
0000074b: DUP2
0000074c: ADD
0000074d: DUP3
0000074e: SWAP1
0000074f: MSTORE
00000750: PUSH1 0x60
00000752: DUP2
00000753: ADD
00000754: DUP3
00000755: SWAP1
00000756: MSTORE
00000757: PUSH1 0x80
00000759: DUP2
0000075a: ADD
0000075b: DUP3
0000075c: SWAP1
0000075d: MSTORE
0000075e: PUSH1 0xa0
00000760: DUP2
00000761: ADD
00000762: SWAP2
00000763: SWAP1
00000764: SWAP2
00000765: MSTORE
00000766: POP
00000767: PUSH1 0x00
00000769: SWAP1
0000076a: DUP2
0000076b: MSTORE
0000076c: PUSH1 0x05
0000076e: PUSH1 0x20
00000770: DUP2
00000771: DUP2
00000772: MSTORE
00000773: PUSH1 0x40
00000775: SWAP3
00000776: DUP4
00000777: SWAP1
00000778: KECCAK256
00000779: DUP4
0000077a: MLOAD
0000077b: PUSH1 0xc0
0000077d: DUP2
0000077e: ADD
0000077f: DUP6
00000780: MSTORE
00000781: DUP2
00000782: SLOAD
00000783: DUP2
00000784: MSTORE
00000785: PUSH1 0x01
00000787: DUP3
00000788: ADD
00000789: SLOAD
0000078a: PUSH1 0x01
0000078c: PUSH1 0x01
0000078e: PUSH1 0xa0
00000790: SHL
00000791: SUB
00000792: SWAP1
00000793: DUP2
00000794: AND
00000795: SWAP4
00000796: DUP3
00000797: ADD
00000798: SWAP4
00000799: SWAP1
0000079a: SWAP4
0000079b: MSTORE
0000079c: PUSH1 0x02
0000079e: DUP3
0000079f: ADD
000007a0: SLOAD
000007a1: SWAP1
000007a2: SWAP3
000007a3: AND
000007a4: SWAP4
000007a5: DUP3
000007a6: ADD
000007a7: SWAP4
000007a8: SWAP1
000007a9: SWAP4
000007aa: MSTORE
000007ab: PUSH1 0x03
000007ad: DUP4
000007ae: ADD
000007af: SLOAD
000007b0: PUSH1 0x60
000007b2: DUP3
000007b3: ADD
000007b4: MSTORE
000007b5: PUSH1 0x04
000007b7: DUP4
000007b8: ADD
000007b9: SLOAD
000007ba: PUSH1 0x80
000007bc: DUP3
000007bd: ADD
000007be: MSTORE
000007bf: SWAP2
000007c0: ADD
000007c1: SLOAD
000007c2: PUSH1 0xff
000007c4: AND
000007c5: ISZERO
000007c6: ISZERO
000007c7: PUSH1 0xa0
000007c9: DUP3
000007ca: ADD
000007cb: MSTORE
000007cc: SWAP1
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: PUSH2 0x02cc
000007d5: SWAP2
000007d6: SWAP1
000007d7: PUSH1 0x00
000007d9: PUSH1 0xc0
000007db: DUP3
000007dc: ADD
000007dd: SWAP1
000007de: POP
000007df: DUP3
000007e0: MLOAD
000007e1: DUP3
000007e2: MSTORE
000007e3: PUSH1 0x01
000007e5: PUSH1 0x01
000007e7: PUSH1 0xa0
000007e9: SHL
000007ea: SUB
000007eb: PUSH1 0x20
000007ed: DUP5
000007ee: ADD
000007ef: MLOAD
000007f0: AND
000007f1: PUSH1 0x20
000007f3: DUP4
000007f4: ADD
000007f5: MSTORE
000007f6: PUSH1 0x01
000007f8: PUSH1 0x01
000007fa: PUSH1 0xa0
000007fc: SHL
000007fd: SUB
000007fe: PUSH1 0x40
00000800: DUP5
00000801: ADD
00000802: MLOAD
00000803: AND
00000804: PUSH1 0x40
00000806: DUP4
00000807: ADD
00000808: MSTORE
00000809: PUSH1 0x60
0000080b: DUP4
0000080c: ADD
0000080d: MLOAD
0000080e: PUSH1 0x60
00000810: DUP4
00000811: ADD
00000812: MSTORE
00000813: PUSH1 0x80
00000815: DUP4
00000816: ADD
00000817: MLOAD
00000818: PUSH1 0x80
0000081a: DUP4
0000081b: ADD
0000081c: MSTORE
0000081d: PUSH1 0xa0
0000081f: DUP4
00000820: ADD
00000821: MLOAD
00000822: ISZERO
00000823: ISZERO
00000824: PUSH1 0xa0
00000826: DUP4
00000827: ADD
00000828: MSTORE
00000829: SWAP3
0000082a: SWAP2
0000082b: POP
0000082c: POP
0000082d: JUMP
0000082e: JUMPDEST
0000082f: CALLVALUE
00000830: DUP1
00000831: ISZERO
00000832: PUSH2 0x083a
00000835: JUMPI
00000836: PUSH1 0x00
00000838: DUP1
00000839: REVERT
0000083a: JUMPDEST
0000083b: POP
0000083c: PUSH2 0x02c2
0000083f: PUSH1 0x00
00000841: DUP2
00000842: JUMP
00000843: JUMPDEST
00000844: CALLVALUE
00000845: DUP1
00000846: ISZERO
00000847: PUSH2 0x084f
0000084a: JUMPI
0000084b: PUSH1 0x00
0000084d: DUP1
0000084e: REVERT
0000084f: JUMPDEST
00000850: POP
00000851: PUSH2 0x088c
00000854: PUSH1 0x40
00000856: MLOAD
00000857: DUP1
00000858: PUSH1 0x40
0000085a: ADD
0000085b: PUSH1 0x40
0000085d: MSTORE
0000085e: DUP1
0000085f: PUSH1 0x05
00000861: DUP2
00000862: MSTORE
00000863: PUSH1 0x20
00000865: ADD
00000866: PUSH32 0x352e302e30000000000000000000000000000000000000000000000000000000
00000887: DUP2
00000888: MSTORE
00000889: POP
0000088a: DUP2
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH1 0x40
0000088f: MLOAD
00000890: PUSH2 0x02cc
00000893: SWAP2
00000894: SWAP1
00000895: PUSH2 0x284e
00000898: JUMP
00000899: JUMPDEST
0000089a: CALLVALUE
0000089b: DUP1
0000089c: ISZERO
0000089d: PUSH2 0x08a5
000008a0: JUMPI
000008a1: PUSH1 0x00
000008a3: DUP1
000008a4: REVERT
000008a5: JUMPDEST
000008a6: POP
000008a7: PUSH1 0x01
000008a9: SLOAD
000008aa: PUSH2 0x02c2
000008ad: JUMP
000008ae: JUMPDEST
000008af: CALLVALUE
000008b0: DUP1
000008b1: ISZERO
000008b2: PUSH2 0x08ba
000008b5: JUMPI
000008b6: PUSH1 0x00
000008b8: DUP1
000008b9: REVERT
000008ba: JUMPDEST
000008bb: POP
000008bc: PUSH2 0x0325
000008bf: PUSH2 0x08c9
000008c2: CALLDATASIZE
000008c3: PUSH1 0x04
000008c5: PUSH2 0x262b
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH2 0x14fe
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 0x0325
000008df: PUSH2 0x08e9
000008e2: CALLDATASIZE
000008e3: PUSH1 0x04
000008e5: PUSH2 0x262b
000008e8: JUMP
000008e9: JUMPDEST
000008ea: PUSH2 0x1542
000008ed: JUMP
000008ee: JUMPDEST
000008ef: CALLVALUE
000008f0: DUP1
000008f1: ISZERO
000008f2: PUSH2 0x08fa
000008f5: JUMPI
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: POP
000008fc: PUSH2 0x02f5
000008ff: PUSH2 0x0909
00000902: CALLDATASIZE
00000903: PUSH1 0x04
00000905: PUSH2 0x25b6
00000908: JUMP
00000909: JUMPDEST
0000090a: PUSH1 0x00
0000090c: SWAP1
0000090d: DUP2
0000090e: MSTORE
0000090f: PUSH1 0x05
00000911: PUSH1 0x20
00000913: DUP2
00000914: SWAP1
00000915: MSTORE
00000916: PUSH1 0x40
00000918: SWAP1
00000919: SWAP2
0000091a: KECCAK256
0000091b: ADD
0000091c: SLOAD
0000091d: PUSH1 0xff
0000091f: AND
00000920: SWAP1
00000921: JUMP
00000922: JUMPDEST
00000923: CALLVALUE
00000924: DUP1
00000925: ISZERO
00000926: PUSH2 0x092e
00000929: JUMPI
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: POP
00000930: PUSH2 0x02c2
00000933: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00000954: DUP2
00000955: JUMP
00000956: JUMPDEST
00000957: CALLVALUE
00000958: DUP1
00000959: ISZERO
0000095a: PUSH2 0x0962
0000095d: JUMPI
0000095e: PUSH1 0x00
00000960: DUP1
00000961: REVERT
00000962: JUMPDEST
00000963: POP
00000964: PUSH1 0x00
00000966: SLOAD
00000967: PUSH2 0x02c2
0000096a: JUMP
0000096b: JUMPDEST
0000096c: CALLVALUE
0000096d: DUP1
0000096e: ISZERO
0000096f: PUSH2 0x0977
00000972: JUMPI
00000973: PUSH1 0x00
00000975: DUP1
00000976: REVERT
00000977: JUMPDEST
00000978: POP
00000979: PUSH2 0x0325
0000097c: PUSH2 0x0986
0000097f: CALLDATASIZE
00000980: PUSH1 0x04
00000982: PUSH2 0x260e
00000985: JUMP
00000986: JUMPDEST
00000987: PUSH2 0x16c8
0000098a: JUMP
0000098b: JUMPDEST
0000098c: CALLVALUE
0000098d: DUP1
0000098e: ISZERO
0000098f: PUSH2 0x0997
00000992: JUMPI
00000993: PUSH1 0x00
00000995: DUP1
00000996: REVERT
00000997: JUMPDEST
00000998: POP
00000999: PUSH2 0x09eb
0000099c: PUSH2 0x09a6
0000099f: CALLDATASIZE
000009a0: PUSH1 0x04
000009a2: PUSH2 0x25b6
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x05
000009a9: PUSH1 0x20
000009ab: DUP2
000009ac: SWAP1
000009ad: MSTORE
000009ae: PUSH1 0x00
000009b0: SWAP2
000009b1: DUP3
000009b2: MSTORE
000009b3: PUSH1 0x40
000009b5: SWAP1
000009b6: SWAP2
000009b7: KECCAK256
000009b8: DUP1
000009b9: SLOAD
000009ba: PUSH1 0x01
000009bc: DUP3
000009bd: ADD
000009be: SLOAD
000009bf: PUSH1 0x02
000009c1: DUP4
000009c2: ADD
000009c3: SLOAD
000009c4: PUSH1 0x03
000009c6: DUP5
000009c7: ADD
000009c8: SLOAD
000009c9: PUSH1 0x04
000009cb: DUP6
000009cc: ADD
000009cd: SLOAD
000009ce: SWAP5
000009cf: SWAP1
000009d0: SWAP6
000009d1: ADD
000009d2: SLOAD
000009d3: SWAP3
000009d4: SWAP5
000009d5: PUSH1 0x01
000009d7: PUSH1 0x01
000009d9: PUSH1 0xa0
000009db: SHL
000009dc: SUB
000009dd: SWAP3
000009de: DUP4
000009df: AND
000009e0: SWAP5
000009e1: SWAP2
000009e2: SWAP1
000009e3: SWAP3
000009e4: AND
000009e5: SWAP3
000009e6: PUSH1 0xff
000009e8: AND
000009e9: DUP7
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH1 0x40
000009ee: DUP1
000009ef: MLOAD
000009f0: SWAP7
000009f1: DUP8
000009f2: MSTORE
000009f3: PUSH1 0x01
000009f5: PUSH1 0x01
000009f7: PUSH1 0xa0
000009f9: SHL
000009fa: SUB
000009fb: SWAP6
000009fc: DUP7
000009fd: AND
000009fe: PUSH1 0x20
00000a00: DUP9
00000a01: ADD
00000a02: MSTORE
00000a03: SWAP4
00000a04: SWAP1
00000a05: SWAP5
00000a06: AND
00000a07: SWAP3
00000a08: DUP6
00000a09: ADD
00000a0a: SWAP3
00000a0b: SWAP1
00000a0c: SWAP3
00000a0d: MSTORE
00000a0e: PUSH1 0x60
00000a10: DUP5
00000a11: ADD
00000a12: MSTORE
00000a13: PUSH1 0x80
00000a15: DUP4
00000a16: ADD
00000a17: MSTORE
00000a18: ISZERO
00000a19: ISZERO
00000a1a: PUSH1 0xa0
00000a1c: DUP3
00000a1d: ADD
00000a1e: MSTORE
00000a1f: PUSH1 0xc0
00000a21: ADD
00000a22: PUSH2 0x02cc
00000a25: JUMP
00000a26: JUMPDEST
00000a27: PUSH1 0x00
00000a29: PUSH1 0x01
00000a2b: PUSH1 0x01
00000a2d: PUSH1 0xe0
00000a2f: SHL
00000a30: SUB
00000a31: NOT
00000a32: DUP3
00000a33: AND
00000a34: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00000a55: EQ
00000a56: DUP1
00000a57: PUSH2 0x0a89
00000a5a: JUMPI
00000a5b: POP
00000a5c: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000a7d: PUSH1 0x01
00000a7f: PUSH1 0x01
00000a81: PUSH1 0xe0
00000a83: SHL
00000a84: SUB
00000a85: NOT
00000a86: DUP4
00000a87: AND
00000a88: EQ
00000a89: JUMPDEST
00000a8a: SWAP3
00000a8b: SWAP2
00000a8c: POP
00000a8d: POP
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH1 0x00
00000a92: PUSH2 0x0a9a
00000a95: DUP2
00000a96: PUSH2 0x182a
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0x01
00000a9f: PUSH1 0xa0
00000aa1: SHL
00000aa2: SUB
00000aa3: DUP3
00000aa4: AND
00000aa5: PUSH1 0x00
00000aa7: SWAP1
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH1 0x03
00000aac: PUSH1 0x20
00000aae: MSTORE
00000aaf: PUSH1 0x40
00000ab1: SWAP1
00000ab2: KECCAK256
00000ab3: SLOAD
00000ab4: PUSH1 0xff
00000ab6: AND
00000ab7: PUSH2 0x0aec
00000aba: JUMPI
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: PUSH32 0xbdb712ef00000000000000000000000000000000000000000000000000000000
00000adf: DUP2
00000ae0: MSTORE
00000ae1: PUSH1 0x04
00000ae3: ADD
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: DUP1
00000ae8: SWAP2
00000ae9: SUB
00000aea: SWAP1
00000aeb: REVERT
00000aec: JUMPDEST
00000aed: PUSH1 0x01
00000aef: PUSH1 0x01
00000af1: PUSH1 0xa0
00000af3: SHL
00000af4: SUB
00000af5: DUP3
00000af6: AND
00000af7: PUSH1 0x00
00000af9: SWAP1
00000afa: DUP2
00000afb: MSTORE
00000afc: PUSH1 0x03
00000afe: PUSH1 0x20
00000b00: MSTORE
00000b01: PUSH1 0x40
00000b03: DUP2
00000b04: KECCAK256
00000b05: PUSH1 0x01
00000b07: SWAP1
00000b08: DUP2
00000b09: ADD
00000b0a: SLOAD
00000b0b: PUSH1 0x04
00000b0d: SLOAD
00000b0e: SWAP1
00000b0f: SWAP3
00000b10: SWAP2
00000b11: PUSH2 0x0b19
00000b14: SWAP2
00000b15: PUSH2 0x2897
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: SWAP1
00000b1b: POP
00000b1c: DUP1
00000b1d: DUP3
00000b1e: EQ
00000b1f: PUSH2 0x0ba4
00000b22: JUMPI
00000b23: PUSH1 0x00
00000b25: PUSH1 0x04
00000b27: DUP3
00000b28: DUP2
00000b29: SLOAD
00000b2a: DUP2
00000b2b: LT
00000b2c: PUSH2 0x0b37
00000b2f: JUMPI
00000b30: PUSH2 0x0b37
00000b33: PUSH2 0x28aa
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x00
00000b3a: SWAP2
00000b3b: DUP3
00000b3c: MSTORE
00000b3d: PUSH1 0x20
00000b3f: SWAP1
00000b40: SWAP2
00000b41: KECCAK256
00000b42: ADD
00000b43: SLOAD
00000b44: PUSH1 0x04
00000b46: DUP1
00000b47: SLOAD
00000b48: PUSH1 0x01
00000b4a: PUSH1 0x01
00000b4c: PUSH1 0xa0
00000b4e: SHL
00000b4f: SUB
00000b50: SWAP1
00000b51: SWAP3
00000b52: AND
00000b53: SWAP3
00000b54: POP
00000b55: DUP3
00000b56: SWAP2
00000b57: DUP6
00000b58: SWAP1
00000b59: DUP2
00000b5a: LT
00000b5b: PUSH2 0x0b66
00000b5e: JUMPI
00000b5f: PUSH2 0x0b66
00000b62: PUSH2 0x28aa
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x00
00000b69: SWAP2
00000b6a: DUP3
00000b6b: MSTORE
00000b6c: PUSH1 0x20
00000b6e: DUP1
00000b6f: DUP4
00000b70: KECCAK256
00000b71: SWAP2
00000b72: SWAP1
00000b73: SWAP2
00000b74: ADD
00000b75: DUP1
00000b76: SLOAD
00000b77: PUSH1 0x01
00000b79: PUSH1 0x01
00000b7b: PUSH1 0xa0
00000b7d: SHL
00000b7e: SUB
00000b7f: NOT
00000b80: AND
00000b81: PUSH1 0x01
00000b83: PUSH1 0x01
00000b85: PUSH1 0xa0
00000b87: SHL
00000b88: SUB
00000b89: SWAP5
00000b8a: DUP6
00000b8b: AND
00000b8c: OR
00000b8d: SWAP1
00000b8e: SSTORE
00000b8f: SWAP3
00000b90: SWAP1
00000b91: SWAP2
00000b92: AND
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x03
00000b97: SWAP1
00000b98: SWAP2
00000b99: MSTORE
00000b9a: PUSH1 0x40
00000b9c: SWAP1
00000b9d: KECCAK256
00000b9e: PUSH1 0x01
00000ba0: ADD
00000ba1: DUP3
00000ba2: SWAP1
00000ba3: SSTORE
00000ba4: JUMPDEST
00000ba5: PUSH1 0x04
00000ba7: DUP1
00000ba8: SLOAD
00000ba9: DUP1
00000baa: PUSH2 0x0bb5
00000bad: JUMPI
00000bae: PUSH2 0x0bb5
00000bb1: PUSH2 0x28c0
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x00
00000bb8: DUP3
00000bb9: DUP2
00000bba: MSTORE
00000bbb: PUSH1 0x20
00000bbd: DUP1
00000bbe: DUP3
00000bbf: KECCAK256
00000bc0: DUP4
00000bc1: ADD
00000bc2: PUSH1 0x00
00000bc4: NOT
00000bc5: SWAP1
00000bc6: DUP2
00000bc7: ADD
00000bc8: DUP1
00000bc9: SLOAD
00000bca: PUSH1 0x01
00000bcc: PUSH1 0x01
00000bce: PUSH1 0xa0
00000bd0: SHL
00000bd1: SUB
00000bd2: NOT
00000bd3: AND
00000bd4: SWAP1
00000bd5: SSTORE
00000bd6: SWAP3
00000bd7: DUP4
00000bd8: ADD
00000bd9: SWAP1
00000bda: SWAP4
00000bdb: SSTORE
00000bdc: PUSH1 0x01
00000bde: PUSH1 0x01
00000be0: PUSH1 0xa0
00000be2: SHL
00000be3: SUB
00000be4: DUP8
00000be5: AND
00000be6: DUP2
00000be7: MSTORE
00000be8: PUSH1 0x03
00000bea: SWAP1
00000beb: SWAP3
00000bec: MSTORE
00000bed: PUSH1 0x40
00000bef: DUP3
00000bf0: KECCAK256
00000bf1: DUP1
00000bf2: SLOAD
00000bf3: PUSH1 0xff
00000bf5: NOT
00000bf6: AND
00000bf7: DUP2
00000bf8: SSTORE
00000bf9: PUSH1 0x01
00000bfb: SWAP1
00000bfc: DUP2
00000bfd: ADD
00000bfe: DUP4
00000bff: SWAP1
00000c00: SSTORE
00000c01: DUP1
00000c02: SLOAD
00000c03: SWAP1
00000c04: SWAP2
00000c05: ADD
00000c06: SWAP1
00000c07: DUP2
00000c08: SWAP1
00000c09: SSTORE
00000c0a: SWAP1
00000c0b: SLOAD
00000c0c: GT
00000c0d: DUP1
00000c0e: ISZERO
00000c0f: PUSH2 0x0c1a
00000c12: JUMPI
00000c13: POP
00000c14: PUSH1 0x00
00000c16: PUSH1 0x01
00000c18: SLOAD
00000c19: GT
00000c1a: JUMPDEST
00000c1b: ISZERO
00000c1c: PUSH2 0x0c70
00000c1f: JUMPI
00000c20: PUSH1 0x01
00000c22: DUP1
00000c23: SLOAD
00000c24: PUSH1 0x00
00000c26: DUP2
00000c27: SWAP1
00000c28: SSTORE
00000c29: PUSH32 0xb06a54caabe58475c86c2bf9df3f2f06dd1213e9e10659c293117fe4893b274b
00000c4a: SWAP2
00000c4b: PUSH2 0x0c54
00000c4e: SWAP2
00000c4f: SWAP1
00000c50: PUSH2 0x28d6
00000c53: JUMP
00000c54: JUMPDEST
00000c55: PUSH1 0x00
00000c57: SLOAD
00000c58: PUSH1 0x40
00000c5a: DUP1
00000c5b: MLOAD
00000c5c: SWAP3
00000c5d: DUP4
00000c5e: MSTORE
00000c5f: PUSH1 0x20
00000c61: DUP4
00000c62: ADD
00000c63: SWAP2
00000c64: SWAP1
00000c65: SWAP2
00000c66: MSTORE
00000c67: ADD
00000c68: PUSH1 0x40
00000c6a: MLOAD
00000c6b: DUP1
00000c6c: SWAP2
00000c6d: SUB
00000c6e: SWAP1
00000c6f: LOG1
00000c70: JUMPDEST
00000c71: DUP4
00000c72: PUSH1 0x01
00000c74: PUSH1 0x01
00000c76: PUSH1 0xa0
00000c78: SHL
00000c79: SUB
00000c7a: AND
00000c7b: PUSH32 0x99c1d2c0ed8107e4db2e5dbfb10a2549cd2a63cbe39cf99d2adffbcd03954418
00000c9c: PUSH1 0x01
00000c9e: SLOAD
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: PUSH2 0x0cad
00000ca5: SWAP2
00000ca6: DUP2
00000ca7: MSTORE
00000ca8: PUSH1 0x20
00000caa: ADD
00000cab: SWAP1
00000cac: JUMP
00000cad: JUMPDEST
00000cae: PUSH1 0x40
00000cb0: MLOAD
00000cb1: DUP1
00000cb2: SWAP2
00000cb3: SUB
00000cb4: SWAP1
00000cb5: LOG2
00000cb6: POP
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x00
00000cbe: DUP3
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00000ce2: PUSH1 0x20
00000ce4: MSTORE
00000ce5: PUSH1 0x40
00000ce7: SWAP1
00000ce8: KECCAK256
00000ce9: PUSH1 0x01
00000ceb: ADD
00000cec: SLOAD
00000ced: PUSH2 0x0cf5
00000cf0: DUP2
00000cf1: PUSH2 0x182a
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH2 0x0cff
00000cf9: DUP4
00000cfa: DUP4
00000cfb: PUSH2 0x1834
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: POP
00000d01: POP
00000d02: POP
00000d03: POP
00000d04: JUMP
00000d05: JUMPDEST
00000d06: PUSH1 0x01
00000d08: PUSH1 0x01
00000d0a: PUSH1 0xa0
00000d0c: SHL
00000d0d: SUB
00000d0e: DUP2
00000d0f: AND
00000d10: CALLER
00000d11: EQ
00000d12: PUSH2 0x0d47
00000d15: JUMPI
00000d16: PUSH1 0x40
00000d18: MLOAD
00000d19: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00000d3a: DUP2
00000d3b: MSTORE
00000d3c: PUSH1 0x04
00000d3e: ADD
00000d3f: PUSH1 0x40
00000d41: MLOAD
00000d42: DUP1
00000d43: SWAP2
00000d44: SUB
00000d45: SWAP1
00000d46: REVERT
00000d47: JUMPDEST
00000d48: PUSH2 0x0d51
00000d4b: DUP3
00000d4c: DUP3
00000d4d: PUSH2 0x1903
00000d50: JUMP
00000d51: JUMPDEST
00000d52: POP
00000d53: POP
00000d54: POP
00000d55: JUMP
00000d56: JUMPDEST
00000d57: PUSH1 0x00
00000d59: PUSH2 0x0d61
00000d5c: DUP2
00000d5d: PUSH2 0x182a
00000d60: JUMP
00000d61: JUMPDEST
00000d62: PUSH2 0x0d69
00000d65: PUSH2 0x19a9
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: POP
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH2 0x0d74
00000d70: PUSH2 0x1a1b
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH2 0x0d7d
00000d78: DUP3
00000d79: PUSH2 0x1ad4
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: PUSH2 0x0d87
00000d81: DUP3
00000d82: DUP3
00000d83: PUSH2 0x1adf
00000d86: JUMP
00000d87: JUMPDEST
00000d88: POP
00000d89: POP
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: CALLER
00000d8d: PUSH1 0x00
00000d8f: SWAP1
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x03
00000d94: PUSH1 0x20
00000d96: MSTORE
00000d97: PUSH1 0x40
00000d99: DUP2
00000d9a: KECCAK256
00000d9b: SLOAD
00000d9c: PUSH1 0xff
00000d9e: AND
00000d9f: PUSH2 0x0dd4
00000da2: JUMPI
00000da3: PUSH1 0x40
00000da5: MLOAD
00000da6: PUSH32 0x54ac7bfc00000000000000000000000000000000000000000000000000000000
00000dc7: DUP2
00000dc8: MSTORE
00000dc9: PUSH1 0x04
00000dcb: ADD
00000dcc: PUSH1 0x40
00000dce: MLOAD
00000dcf: DUP1
00000dd0: SWAP2
00000dd1: SUB
00000dd2: SWAP1
00000dd3: REVERT
00000dd4: JUMPDEST
00000dd5: PUSH2 0x0ddc
00000dd8: PUSH2 0x1bcc
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH2 0x0de4
00000de0: PUSH2 0x1c28
00000de3: JUMP
00000de4: JUMPDEST
00000de5: PUSH1 0x01
00000de7: PUSH1 0x01
00000de9: PUSH1 0xa0
00000deb: SHL
00000dec: SUB
00000ded: DUP6
00000dee: AND
00000def: PUSH2 0x0e0b
00000df2: JUMPI
00000df3: PUSH1 0x40
00000df5: MLOAD
00000df6: PUSH4 0x4e469669
00000dfb: PUSH1 0xe1
00000dfd: SHL
00000dfe: DUP2
00000dff: MSTORE
00000e00: PUSH1 0x04
00000e02: ADD
00000e03: PUSH1 0x40
00000e05: MLOAD
00000e06: DUP1
00000e07: SWAP2
00000e08: SUB
00000e09: SWAP1
00000e0a: REVERT
00000e0b: JUMPDEST
00000e0c: PUSH1 0x01
00000e0e: PUSH1 0x01
00000e10: PUSH1 0xa0
00000e12: SHL
00000e13: SUB
00000e14: DUP5
00000e15: AND
00000e16: PUSH2 0x0e32
00000e19: JUMPI
00000e1a: PUSH1 0x40
00000e1c: MLOAD
00000e1d: PUSH4 0xc1ab6dc1
00000e22: PUSH1 0xe0
00000e24: SHL
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x04
00000e29: ADD
00000e2a: PUSH1 0x40
00000e2c: MLOAD
00000e2d: DUP1
00000e2e: SWAP2
00000e2f: SUB
00000e30: SWAP1
00000e31: REVERT
00000e32: JUMPDEST
00000e33: PUSH1 0x00
00000e35: DUP4
00000e36: GT
00000e37: PUSH2 0x0e53
00000e3a: JUMPI
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: PUSH4 0x162908e3
00000e43: PUSH1 0xe1
00000e45: SHL
00000e46: DUP2
00000e47: MSTORE
00000e48: PUSH1 0x04
00000e4a: ADD
00000e4b: PUSH1 0x40
00000e4d: MLOAD
00000e4e: DUP1
00000e4f: SWAP2
00000e50: SUB
00000e51: SWAP1
00000e52: REVERT
00000e53: JUMPDEST
00000e54: PUSH1 0x00
00000e56: DUP3
00000e57: PUSH8 0xffffffffffffffff
00000e60: AND
00000e61: GT
00000e62: PUSH2 0x0e97
00000e65: JUMPI
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH32 0x756688fe00000000000000000000000000000000000000000000000000000000
00000e8a: DUP2
00000e8b: MSTORE
00000e8c: PUSH1 0x04
00000e8e: ADD
00000e8f: PUSH1 0x40
00000e91: MLOAD
00000e92: DUP1
00000e93: SWAP2
00000e94: SUB
00000e95: SWAP1
00000e96: REVERT
00000e97: JUMPDEST
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: PUSH1 0x01
00000e9d: PUSH1 0x01
00000e9f: PUSH1 0xe0
00000ea1: SHL
00000ea2: SUB
00000ea3: NOT
00000ea4: CHAINID
00000ea5: PUSH1 0xe0
00000ea7: SHL
00000ea8: AND
00000ea9: PUSH1 0x20
00000eab: DUP3
00000eac: ADD
00000ead: MSTORE
00000eae: PUSH1 0x01
00000eb0: PUSH1 0x01
00000eb2: PUSH1 0xa0
00000eb4: SHL
00000eb5: SUB
00000eb6: DUP6
00000eb7: DUP2
00000eb8: AND
00000eb9: PUSH1 0x24
00000ebb: DUP4
00000ebc: ADD
00000ebd: MSTORE
00000ebe: DUP7
00000ebf: AND
00000ec0: PUSH1 0x44
00000ec2: DUP3
00000ec3: ADD
00000ec4: MSTORE
00000ec5: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000
00000ee6: PUSH1 0xc0
00000ee8: DUP6
00000ee9: DUP2
00000eea: SHL
00000eeb: DUP3
00000eec: AND
00000eed: PUSH1 0x64
00000eef: DUP5
00000ef0: ADD
00000ef1: MSTORE
00000ef2: DUP5
00000ef3: SWAP1
00000ef4: SHL
00000ef5: AND
00000ef6: PUSH1 0x6c
00000ef8: DUP3
00000ef9: ADD
00000efa: MSTORE
00000efb: PUSH1 0x74
00000efd: ADD
00000efe: PUSH1 0x40
00000f00: DUP1
00000f01: MLOAD
00000f02: PUSH1 0x1f
00000f04: NOT
00000f05: DUP2
00000f06: DUP5
00000f07: SUB
00000f08: ADD
00000f09: DUP2
00000f0a: MSTORE
00000f0b: SWAP2
00000f0c: DUP2
00000f0d: MSTORE
00000f0e: DUP2
00000f0f: MLOAD
00000f10: PUSH1 0x20
00000f12: SWAP3
00000f13: DUP4
00000f14: ADD
00000f15: KECCAK256
00000f16: PUSH1 0x00
00000f18: DUP2
00000f19: DUP2
00000f1a: MSTORE
00000f1b: PUSH1 0x05
00000f1d: SWAP1
00000f1e: SWAP4
00000f1f: MSTORE
00000f20: SWAP2
00000f21: KECCAK256
00000f22: SLOAD
00000f23: SWAP1
00000f24: SWAP2
00000f25: POP
00000f26: PUSH2 0x1010
00000f29: JUMPI
00000f2a: PUSH1 0x40
00000f2c: DUP1
00000f2d: MLOAD
00000f2e: PUSH1 0xc0
00000f30: DUP2
00000f31: ADD
00000f32: DUP3
00000f33: MSTORE
00000f34: DUP3
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0x01
00000f39: PUSH1 0x01
00000f3b: PUSH1 0xa0
00000f3d: SHL
00000f3e: SUB
00000f3f: DUP8
00000f40: DUP2
00000f41: AND
00000f42: PUSH1 0x20
00000f44: DUP1
00000f45: DUP5
00000f46: ADD
00000f47: DUP3
00000f48: DUP2
00000f49: MSTORE
00000f4a: DUP10
00000f4b: DUP5
00000f4c: AND
00000f4d: DUP6
00000f4e: DUP8
00000f4f: ADD
00000f50: DUP2
00000f51: DUP2
00000f52: MSTORE
00000f53: PUSH1 0x60
00000f55: DUP8
00000f56: ADD
00000f57: DUP12
00000f58: DUP2
00000f59: MSTORE
00000f5a: TIMESTAMP
00000f5b: PUSH1 0x80
00000f5d: DUP10
00000f5e: ADD
00000f5f: DUP2
00000f60: DUP2
00000f61: MSTORE
00000f62: PUSH1 0x00
00000f64: PUSH1 0xa0
00000f66: DUP12
00000f67: ADD
00000f68: DUP2
00000f69: DUP2
00000f6a: MSTORE
00000f6b: DUP14
00000f6c: DUP3
00000f6d: MSTORE
00000f6e: PUSH1 0x05
00000f70: DUP1
00000f71: DUP11
00000f72: MSTORE
00000f73: SWAP2
00000f74: DUP14
00000f75: SWAP1
00000f76: KECCAK256
00000f77: SWAP12
00000f78: MLOAD
00000f79: DUP13
00000f7a: SSTORE
00000f7b: SWAP7
00000f7c: MLOAD
00000f7d: PUSH1 0x01
00000f7f: DUP1
00000f80: DUP14
00000f81: ADD
00000f82: DUP1
00000f83: SLOAD
00000f84: PUSH1 0x01
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: SHL
00000f8b: SUB
00000f8c: NOT
00000f8d: SWAP1
00000f8e: DUP2
00000f8f: AND
00000f90: SWAP4
00000f91: DUP15
00000f92: AND
00000f93: SWAP4
00000f94: SWAP1
00000f95: SWAP4
00000f96: OR
00000f97: SWAP1
00000f98: SSTORE
00000f99: SWAP6
00000f9a: MLOAD
00000f9b: PUSH1 0x02
00000f9d: DUP1
00000f9e: DUP15
00000f9f: ADD
00000fa0: DUP1
00000fa1: SLOAD
00000fa2: SWAP1
00000fa3: SWAP4
00000fa4: AND
00000fa5: SWAP2
00000fa6: SWAP1
00000fa7: SWAP13
00000fa8: AND
00000fa9: OR
00000faa: SWAP1
00000fab: SSTORE
00000fac: SWAP3
00000fad: MLOAD
00000fae: PUSH1 0x03
00000fb0: DUP12
00000fb1: ADD
00000fb2: SSTORE
00000fb3: MLOAD
00000fb4: PUSH1 0x04
00000fb6: DUP11
00000fb7: ADD
00000fb8: SSTORE
00000fb9: SWAP4
00000fba: MLOAD
00000fbb: SWAP8
00000fbc: ADD
00000fbd: DUP1
00000fbe: SLOAD
00000fbf: PUSH1 0xff
00000fc1: NOT
00000fc2: AND
00000fc3: SWAP8
00000fc4: ISZERO
00000fc5: ISZERO
00000fc6: SWAP8
00000fc7: SWAP1
00000fc8: SWAP8
00000fc9: OR
00000fca: SWAP1
00000fcb: SWAP7
00000fcc: SSTORE
00000fcd: DUP5
00000fce: SLOAD
00000fcf: SWAP1
00000fd0: SWAP6
00000fd1: ADD
00000fd2: SWAP1
00000fd3: SWAP4
00000fd4: SSTORE
00000fd5: DUP5
00000fd6: MLOAD
00000fd7: DUP9
00000fd8: DUP2
00000fd9: MSTORE
00000fda: SWAP1
00000fdb: DUP2
00000fdc: ADD
00000fdd: SWAP3
00000fde: SWAP1
00000fdf: SWAP3
00000fe0: MSTORE
00000fe1: SWAP2
00000fe2: SWAP3
00000fe3: DUP5
00000fe4: SWAP2
00000fe5: PUSH32 0x6b4e36d45b09da7edb5fee02c30ae6a4e69ce3115028d92daac2f6664a280b84
00001006: SWAP2
00001007: ADD
00001008: PUSH1 0x40
0000100a: MLOAD
0000100b: DUP1
0000100c: SWAP2
0000100d: SUB
0000100e: SWAP1
0000100f: LOG4
00001010: JUMPDEST
00001011: PUSH1 0x00
00001013: DUP2
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x05
00001018: PUSH1 0x20
0000101a: DUP2
0000101b: SWAP1
0000101c: MSTORE
0000101d: PUSH1 0x40
0000101f: SWAP1
00001020: SWAP2
00001021: KECCAK256
00001022: SWAP1
00001023: DUP2
00001024: ADD
00001025: SLOAD
00001026: PUSH1 0xff
00001028: AND
00001029: ISZERO
0000102a: PUSH2 0x105f
0000102d: JUMPI
0000102e: PUSH1 0x40
00001030: MLOAD
00001031: PUSH32 0x95a5c0b400000000000000000000000000000000000000000000000000000000
00001052: DUP2
00001053: MSTORE
00001054: PUSH1 0x04
00001056: ADD
00001057: PUSH1 0x40
00001059: MLOAD
0000105a: DUP1
0000105b: SWAP2
0000105c: SUB
0000105d: SWAP1
0000105e: REVERT
0000105f: JUMPDEST
00001060: PUSH1 0x00
00001062: DUP3
00001063: DUP2
00001064: MSTORE
00001065: PUSH1 0x06
00001067: PUSH1 0x20
00001069: SWAP1
0000106a: DUP2
0000106b: MSTORE
0000106c: PUSH1 0x40
0000106e: DUP1
0000106f: DUP4
00001070: KECCAK256
00001071: CALLER
00001072: DUP5
00001073: MSTORE
00001074: SWAP1
00001075: SWAP2
00001076: MSTORE
00001077: SWAP1
00001078: KECCAK256
00001079: SLOAD
0000107a: PUSH1 0xff
0000107c: AND
0000107d: ISZERO
0000107e: PUSH2 0x10b3
00001081: JUMPI
00001082: PUSH1 0x40
00001084: MLOAD
00001085: PUSH32 0x2acb3fbc00000000000000000000000000000000000000000000000000000000
000010a6: DUP2
000010a7: MSTORE
000010a8: PUSH1 0x04
000010aa: ADD
000010ab: PUSH1 0x40
000010ad: MLOAD
000010ae: DUP1
000010af: SWAP2
000010b0: SUB
000010b1: SWAP1
000010b2: REVERT
000010b3: JUMPDEST
000010b4: PUSH1 0x00
000010b6: DUP3
000010b7: DUP2
000010b8: MSTORE
000010b9: PUSH1 0x06
000010bb: PUSH1 0x20
000010bd: SWAP1
000010be: DUP2
000010bf: MSTORE
000010c0: PUSH1 0x40
000010c2: DUP1
000010c3: DUP4
000010c4: KECCAK256
000010c5: CALLER
000010c6: DUP5
000010c7: MSTORE
000010c8: DUP3
000010c9: MSTORE
000010ca: DUP1
000010cb: DUP4
000010cc: KECCAK256
000010cd: DUP1
000010ce: SLOAD
000010cf: PUSH1 0xff
000010d1: NOT
000010d2: AND
000010d3: PUSH1 0x01
000010d5: SWAP1
000010d6: DUP2
000010d7: OR
000010d8: SWAP1
000010d9: SWAP2
000010da: SSTORE
000010db: DUP6
000010dc: DUP5
000010dd: MSTORE
000010de: PUSH1 0x07
000010e0: SWAP1
000010e1: SWAP3
000010e2: MSTORE
000010e3: DUP3
000010e4: KECCAK256
000010e5: SLOAD
000010e6: PUSH2 0x10ee
000010e9: SWAP2
000010ea: PUSH2 0x28d6
000010ed: JUMP
000010ee: JUMPDEST
000010ef: PUSH1 0x00
000010f1: DUP5
000010f2: DUP2
000010f3: MSTORE
000010f4: PUSH1 0x07
000010f6: PUSH1 0x20
000010f8: MSTORE
000010f9: PUSH1 0x40
000010fb: SWAP1
000010fc: DUP2
000010fd: SWAP1
000010fe: KECCAK256
000010ff: DUP3
00001100: SWAP1
00001101: SSTORE
00001102: MLOAD
00001103: SWAP1
00001104: SWAP2
00001105: POP
00001106: CALLER
00001107: SWAP1
00001108: DUP5
00001109: SWAP1
0000110a: PUSH32 0xa4cb89333cc20aa626a2b0998d8608b8ce4a77e3a18dc121eb1bf316848a034a
0000112b: SWAP1
0000112c: PUSH2 0x1138
0000112f: SWAP1
00001130: DUP6
00001131: DUP2
00001132: MSTORE
00001133: PUSH1 0x20
00001135: ADD
00001136: SWAP1
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH1 0x40
0000113b: MLOAD
0000113c: DUP1
0000113d: SWAP2
0000113e: SUB
0000113f: SWAP1
00001140: LOG3
00001141: PUSH1 0x00
00001143: SLOAD
00001144: DUP2
00001145: LT
00001146: PUSH2 0x1152
00001149: JUMPI
0000114a: PUSH2 0x1152
0000114d: DUP4
0000114e: PUSH2 0x1c8b
00001151: JUMP
00001152: JUMPDEST
00001153: POP
00001154: POP
00001155: PUSH2 0x117d
00001158: PUSH1 0x01
0000115a: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
0000117b: SSTORE
0000117c: JUMP
0000117d: JUMPDEST
0000117e: SWAP5
0000117f: SWAP4
00001180: POP
00001181: POP
00001182: POP
00001183: POP
00001184: JUMP
00001185: JUMPDEST
00001186: PUSH1 0x00
00001188: PUSH2 0x118f
0000118b: PUSH2 0x1ff8
0000118e: JUMP
0000118f: JUMPDEST
00001190: POP
00001191: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000011b2: SWAP1
000011b3: JUMP
000011b4: JUMPDEST
000011b5: PUSH1 0x04
000011b7: DUP2
000011b8: DUP2
000011b9: SLOAD
000011ba: DUP2
000011bb: LT
000011bc: PUSH2 0x11c4
000011bf: JUMPI
000011c0: PUSH1 0x00
000011c2: DUP1
000011c3: REVERT
000011c4: JUMPDEST
000011c5: PUSH1 0x00
000011c7: SWAP2
000011c8: DUP3
000011c9: MSTORE
000011ca: PUSH1 0x20
000011cc: SWAP1
000011cd: SWAP2
000011ce: KECCAK256
000011cf: ADD
000011d0: SLOAD
000011d1: PUSH1 0x01
000011d3: PUSH1 0x01
000011d5: PUSH1 0xa0
000011d7: SHL
000011d8: SUB
000011d9: AND
000011da: SWAP1
000011db: POP
000011dc: DUP2
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x00
000011e1: PUSH2 0x11e9
000011e4: DUP2
000011e5: PUSH2 0x182a
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH1 0x01
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: SHL
000011f1: SUB
000011f2: DUP5
000011f3: AND
000011f4: PUSH2 0x1210
000011f7: JUMPI
000011f8: PUSH1 0x40
000011fa: MLOAD
000011fb: PUSH4 0xc1ab6dc1
00001200: PUSH1 0xe0
00001202: SHL
00001203: DUP2
00001204: MSTORE
00001205: PUSH1 0x04
00001207: ADD
00001208: PUSH1 0x40
0000120a: MLOAD
0000120b: DUP1
0000120c: SWAP2
0000120d: SUB
0000120e: SWAP1
0000120f: REVERT
00001210: JUMPDEST
00001211: PUSH1 0x01
00001213: PUSH1 0x01
00001215: PUSH1 0xa0
00001217: SHL
00001218: SUB
00001219: DUP4
0000121a: AND
0000121b: PUSH2 0x1237
0000121e: JUMPI
0000121f: PUSH1 0x40
00001221: MLOAD
00001222: PUSH4 0x4e469669
00001227: PUSH1 0xe1
00001229: SHL
0000122a: DUP2
0000122b: MSTORE
0000122c: PUSH1 0x04
0000122e: ADD
0000122f: PUSH1 0x40
00001231: MLOAD
00001232: DUP1
00001233: SWAP2
00001234: SUB
00001235: SWAP1
00001236: REVERT
00001237: JUMPDEST
00001238: PUSH1 0x00
0000123a: DUP3
0000123b: GT
0000123c: PUSH2 0x1258
0000123f: JUMPI
00001240: PUSH1 0x40
00001242: MLOAD
00001243: PUSH4 0x162908e3
00001248: PUSH1 0xe1
0000124a: SHL
0000124b: DUP2
0000124c: MSTORE
0000124d: PUSH1 0x04
0000124f: ADD
00001250: PUSH1 0x40
00001252: MLOAD
00001253: DUP1
00001254: SWAP2
00001255: SUB
00001256: SWAP1
00001257: REVERT
00001258: JUMPDEST
00001259: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed
0000126e: NOT
0000126f: PUSH1 0x01
00001271: PUSH1 0x01
00001273: PUSH1 0xa0
00001275: SHL
00001276: SUB
00001277: DUP6
00001278: AND
00001279: ADD
0000127a: PUSH2 0x1318
0000127d: JUMPI
0000127e: DUP2
0000127f: SELFBALANCE
00001280: LT
00001281: ISZERO
00001282: PUSH2 0x129e
00001285: JUMPI
00001286: PUSH1 0x40
00001288: MLOAD
00001289: PUSH4 0x1e9acf17
0000128e: PUSH1 0xe3
00001290: SHL
00001291: DUP2
00001292: MSTORE
00001293: PUSH1 0x04
00001295: ADD
00001296: PUSH1 0x40
00001298: MLOAD
00001299: DUP1
0000129a: SWAP2
0000129b: SUB
0000129c: SWAP1
0000129d: REVERT
0000129e: JUMPDEST
0000129f: PUSH1 0x00
000012a1: DUP4
000012a2: PUSH1 0x01
000012a4: PUSH1 0x01
000012a6: PUSH1 0xa0
000012a8: SHL
000012a9: SUB
000012aa: AND
000012ab: DUP4
000012ac: PUSH1 0x40
000012ae: MLOAD
000012af: PUSH1 0x00
000012b1: PUSH1 0x40
000012b3: MLOAD
000012b4: DUP1
000012b5: DUP4
000012b6: SUB
000012b7: DUP2
000012b8: DUP6
000012b9: DUP8
000012ba: GAS
000012bb: CALL
000012bc: SWAP3
000012bd: POP
000012be: POP
000012bf: POP
000012c0: RETURNDATASIZE
000012c1: DUP1
000012c2: PUSH1 0x00
000012c4: DUP2
000012c5: EQ
000012c6: PUSH2 0x12eb
000012c9: JUMPI
000012ca: PUSH1 0x40
000012cc: MLOAD
000012cd: SWAP2
000012ce: POP
000012cf: PUSH1 0x1f
000012d1: NOT
000012d2: PUSH1 0x3f
000012d4: RETURNDATASIZE
000012d5: ADD
000012d6: AND
000012d7: DUP3
000012d8: ADD
000012d9: PUSH1 0x40
000012db: MSTORE
000012dc: RETURNDATASIZE
000012dd: DUP3
000012de: MSTORE
000012df: RETURNDATASIZE
000012e0: PUSH1 0x00
000012e2: PUSH1 0x20
000012e4: DUP5
000012e5: ADD
000012e6: RETURNDATACOPY
000012e7: PUSH2 0x12f0
000012ea: JUMP
000012eb: JUMPDEST
000012ec: PUSH1 0x60
000012ee: SWAP2
000012ef: POP
000012f0: JUMPDEST
000012f1: POP
000012f2: POP
000012f3: SWAP1
000012f4: POP
000012f5: DUP1
000012f6: PUSH2 0x1312
000012f9: JUMPI
000012fa: PUSH1 0x40
000012fc: MLOAD
000012fd: PUSH4 0x0db2c7f1
00001302: PUSH1 0xe3
00001304: SHL
00001305: DUP2
00001306: MSTORE
00001307: PUSH1 0x04
00001309: ADD
0000130a: PUSH1 0x40
0000130c: MLOAD
0000130d: DUP1
0000130e: SWAP2
0000130f: SUB
00001310: SWAP1
00001311: REVERT
00001312: JUMPDEST
00001313: POP
00001314: PUSH2 0x132c
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH2 0x132c
0000131c: PUSH1 0x01
0000131e: PUSH1 0x01
00001320: PUSH1 0xa0
00001322: SHL
00001323: SUB
00001324: DUP6
00001325: AND
00001326: DUP5
00001327: DUP5
00001328: PUSH2 0x2041
0000132b: JUMP
0000132c: JUMPDEST
0000132d: DUP3
0000132e: PUSH1 0x01
00001330: PUSH1 0x01
00001332: PUSH1 0xa0
00001334: SHL
00001335: SUB
00001336: AND
00001337: DUP5
00001338: PUSH1 0x01
0000133a: PUSH1 0x01
0000133c: PUSH1 0xa0
0000133e: SHL
0000133f: SUB
00001340: AND
00001341: PUSH32 0x401f439d865a766757ec78675925bd67198d5e78805aa41691b34b5d6a6cbbe6
00001362: DUP5
00001363: PUSH1 0x40
00001365: MLOAD
00001366: PUSH2 0x1371
00001369: SWAP2
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x20
0000136e: ADD
0000136f: SWAP1
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x40
00001374: MLOAD
00001375: DUP1
00001376: SWAP2
00001377: SUB
00001378: SWAP1
00001379: LOG3
0000137a: POP
0000137b: POP
0000137c: POP
0000137d: POP
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH1 0x00
00001382: PUSH2 0x138a
00001385: DUP2
00001386: PUSH2 0x182a
00001389: JUMP
0000138a: JUMPDEST
0000138b: PUSH1 0x08
0000138d: DUP1
0000138e: SLOAD
0000138f: PUSH1 0x01
00001391: PUSH1 0x01
00001393: PUSH1 0xa0
00001395: SHL
00001396: SUB
00001397: NOT
00001398: AND
00001399: PUSH1 0x01
0000139b: PUSH1 0x01
0000139d: PUSH1 0xa0
0000139f: SHL
000013a0: SUB
000013a1: DUP5
000013a2: AND
000013a3: SWAP1
000013a4: DUP2
000013a5: OR
000013a6: SWAP1
000013a7: SWAP2
000013a8: SSTORE
000013a9: PUSH1 0x40
000013ab: MLOAD
000013ac: PUSH32 0x46411ba53a3aaae1ac6b6babc952489fe874a367391ebe59d9276bf58508f10b
000013cd: SWAP1
000013ce: PUSH1 0x00
000013d0: SWAP1
000013d1: LOG2
000013d2: POP
000013d3: POP
000013d4: JUMP
000013d5: JUMPDEST
000013d6: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
000013f7: PUSH2 0x13ff
000013fa: DUP2
000013fb: PUSH2 0x182a
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH2 0x0d69
00001403: PUSH2 0x20c1
00001406: JUMP
00001407: JUMPDEST
00001408: PUSH1 0x60
0000140a: PUSH1 0x04
0000140c: DUP1
0000140d: SLOAD
0000140e: DUP1
0000140f: PUSH1 0x20
00001411: MUL
00001412: PUSH1 0x20
00001414: ADD
00001415: PUSH1 0x40
00001417: MLOAD
00001418: SWAP1
00001419: DUP2
0000141a: ADD
0000141b: PUSH1 0x40
0000141d: MSTORE
0000141e: DUP1
0000141f: SWAP3
00001420: SWAP2
00001421: SWAP1
00001422: DUP2
00001423: DUP2
00001424: MSTORE
00001425: PUSH1 0x20
00001427: ADD
00001428: DUP3
00001429: DUP1
0000142a: SLOAD
0000142b: DUP1
0000142c: ISZERO
0000142d: PUSH2 0x145f
00001430: JUMPI
00001431: PUSH1 0x20
00001433: MUL
00001434: DUP3
00001435: ADD
00001436: SWAP2
00001437: SWAP1
00001438: PUSH1 0x00
0000143a: MSTORE
0000143b: PUSH1 0x20
0000143d: PUSH1 0x00
0000143f: KECCAK256
00001440: SWAP1
00001441: JUMPDEST
00001442: DUP2
00001443: SLOAD
00001444: PUSH1 0x01
00001446: PUSH1 0x01
00001448: PUSH1 0xa0
0000144a: SHL
0000144b: SUB
0000144c: AND
0000144d: DUP2
0000144e: MSTORE
0000144f: PUSH1 0x01
00001451: SWAP1
00001452: SWAP2
00001453: ADD
00001454: SWAP1
00001455: PUSH1 0x20
00001457: ADD
00001458: DUP1
00001459: DUP4
0000145a: GT
0000145b: PUSH2 0x1441
0000145e: JUMPI
0000145f: JUMPDEST
00001460: POP
00001461: POP
00001462: POP
00001463: POP
00001464: POP
00001465: SWAP1
00001466: POP
00001467: SWAP1
00001468: JUMP
00001469: JUMPDEST
0000146a: PUSH1 0x00
0000146c: PUSH2 0x1474
0000146f: DUP2
00001470: PUSH2 0x182a
00001473: JUMP
00001474: JUMPDEST
00001475: PUSH1 0x00
00001477: DUP3
00001478: GT
00001479: PUSH2 0x1495
0000147c: JUMPI
0000147d: PUSH1 0x40
0000147f: MLOAD
00001480: PUSH4 0xaabd5a09
00001485: PUSH1 0xe0
00001487: SHL
00001488: DUP2
00001489: MSTORE
0000148a: PUSH1 0x04
0000148c: ADD
0000148d: PUSH1 0x40
0000148f: MLOAD
00001490: DUP1
00001491: SWAP2
00001492: SUB
00001493: SWAP1
00001494: REVERT
00001495: JUMPDEST
00001496: PUSH1 0x01
00001498: SLOAD
00001499: DUP3
0000149a: GT
0000149b: ISZERO
0000149c: PUSH2 0x14b8
0000149f: JUMPI
000014a0: PUSH1 0x40
000014a2: MLOAD
000014a3: PUSH4 0xaabd5a09
000014a8: PUSH1 0xe0
000014aa: SHL
000014ab: DUP2
000014ac: MSTORE
000014ad: PUSH1 0x04
000014af: ADD
000014b0: PUSH1 0x40
000014b2: MLOAD
000014b3: DUP1
000014b4: SWAP2
000014b5: SUB
000014b6: SWAP1
000014b7: REVERT
000014b8: JUMPDEST
000014b9: PUSH1 0x00
000014bb: DUP1
000014bc: SLOAD
000014bd: SWAP1
000014be: DUP4
000014bf: SWAP1
000014c0: SSTORE
000014c1: PUSH1 0x40
000014c3: DUP1
000014c4: MLOAD
000014c5: DUP3
000014c6: DUP2
000014c7: MSTORE
000014c8: PUSH1 0x20
000014ca: DUP2
000014cb: ADD
000014cc: DUP6
000014cd: SWAP1
000014ce: MSTORE
000014cf: PUSH32 0xb06a54caabe58475c86c2bf9df3f2f06dd1213e9e10659c293117fe4893b274b
000014f0: SWAP2
000014f1: ADD
000014f2: PUSH1 0x40
000014f4: MLOAD
000014f5: DUP1
000014f6: SWAP2
000014f7: SUB
000014f8: SWAP1
000014f9: LOG1
000014fa: POP
000014fb: POP
000014fc: POP
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x00
00001501: DUP3
00001502: DUP2
00001503: MSTORE
00001504: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00001525: PUSH1 0x20
00001527: MSTORE
00001528: PUSH1 0x40
0000152a: SWAP1
0000152b: KECCAK256
0000152c: PUSH1 0x01
0000152e: ADD
0000152f: SLOAD
00001530: PUSH2 0x1538
00001533: DUP2
00001534: PUSH2 0x182a
00001537: JUMP
00001538: JUMPDEST
00001539: PUSH2 0x0cff
0000153c: DUP4
0000153d: DUP4
0000153e: PUSH2 0x1903
00001541: JUMP
00001542: JUMPDEST
00001543: PUSH1 0x00
00001545: PUSH2 0x154c
00001548: PUSH2 0x211c
0000154b: JUMP
0000154c: JUMPDEST
0000154d: DUP1
0000154e: SLOAD
0000154f: SWAP1
00001550: SWAP2
00001551: POP
00001552: PUSH1 0xff
00001554: PUSH9 0x010000000000000000
0000155e: DUP3
0000155f: DIV
00001560: AND
00001561: ISZERO
00001562: SWAP1
00001563: PUSH8 0xffffffffffffffff
0000156c: AND
0000156d: PUSH1 0x00
0000156f: DUP2
00001570: ISZERO
00001571: DUP1
00001572: ISZERO
00001573: PUSH2 0x1579
00001576: JUMPI
00001577: POP
00001578: DUP3
00001579: JUMPDEST
0000157a: SWAP1
0000157b: POP
0000157c: PUSH1 0x00
0000157e: DUP3
0000157f: PUSH8 0xffffffffffffffff
00001588: AND
00001589: PUSH1 0x01
0000158b: EQ
0000158c: DUP1
0000158d: ISZERO
0000158e: PUSH2 0x1596
00001591: JUMPI
00001592: POP
00001593: ADDRESS
00001594: EXTCODESIZE
00001595: ISZERO
00001596: JUMPDEST
00001597: SWAP1
00001598: POP
00001599: DUP2
0000159a: ISZERO
0000159b: DUP1
0000159c: ISZERO
0000159d: PUSH2 0x15a4
000015a0: JUMPI
000015a1: POP
000015a2: DUP1
000015a3: ISZERO
000015a4: JUMPDEST
000015a5: ISZERO
000015a6: PUSH2 0x15db
000015a9: JUMPI
000015aa: PUSH1 0x40
000015ac: MLOAD
000015ad: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000
000015ce: DUP2
000015cf: MSTORE
000015d0: PUSH1 0x04
000015d2: ADD
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP1
000015d7: SWAP2
000015d8: SUB
000015d9: SWAP1
000015da: REVERT
000015db: JUMPDEST
000015dc: DUP5
000015dd: SLOAD
000015de: PUSH8 0xffffffffffffffff
000015e7: NOT
000015e8: AND
000015e9: PUSH1 0x01
000015eb: OR
000015ec: DUP6
000015ed: SSTORE
000015ee: DUP4
000015ef: ISZERO
000015f0: PUSH2 0x160f
000015f3: JUMPI
000015f4: DUP5
000015f5: SLOAD
000015f6: PUSH9 0xff0000000000000000
00001600: NOT
00001601: AND
00001602: PUSH9 0x010000000000000000
0000160c: OR
0000160d: DUP6
0000160e: SSTORE
0000160f: JUMPDEST
00001610: PUSH2 0x1617
00001613: PUSH2 0x2145
00001616: JUMP
00001617: JUMPDEST
00001618: PUSH2 0x161f
0000161b: PUSH2 0x2158
0000161e: JUMP
0000161f: JUMPDEST
00001620: PUSH2 0x1627
00001623: PUSH2 0x2193
00001626: JUMP
00001627: JUMPDEST
00001628: PUSH2 0x1632
0000162b: PUSH1 0x00
0000162d: CALLER
0000162e: PUSH2 0x1834
00001631: JUMP
00001632: JUMPDEST
00001633: POP
00001634: PUSH1 0x00
00001636: DUP8
00001637: GT
00001638: PUSH2 0x1654
0000163b: JUMPI
0000163c: PUSH1 0x40
0000163e: MLOAD
0000163f: PUSH4 0xaabd5a09
00001644: PUSH1 0xe0
00001646: SHL
00001647: DUP2
00001648: MSTORE
00001649: PUSH1 0x04
0000164b: ADD
0000164c: PUSH1 0x40
0000164e: MLOAD
0000164f: DUP1
00001650: SWAP2
00001651: SUB
00001652: SWAP1
00001653: REVERT
00001654: JUMPDEST
00001655: PUSH1 0x00
00001657: DUP8
00001658: SWAP1
00001659: SSTORE
0000165a: PUSH1 0x08
0000165c: DUP1
0000165d: SLOAD
0000165e: PUSH1 0x01
00001660: PUSH1 0x01
00001662: PUSH1 0xa0
00001664: SHL
00001665: SUB
00001666: NOT
00001667: AND
00001668: PUSH1 0x01
0000166a: PUSH1 0x01
0000166c: PUSH1 0xa0
0000166e: SHL
0000166f: SUB
00001670: DUP9
00001671: AND
00001672: OR
00001673: SWAP1
00001674: SSTORE
00001675: DUP4
00001676: ISZERO
00001677: PUSH2 0x16bf
0000167a: JUMPI
0000167b: DUP5
0000167c: SLOAD
0000167d: PUSH9 0xff0000000000000000
00001687: NOT
00001688: AND
00001689: DUP6
0000168a: SSTORE
0000168b: PUSH1 0x40
0000168d: MLOAD
0000168e: PUSH1 0x01
00001690: DUP2
00001691: MSTORE
00001692: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
000016b3: SWAP1
000016b4: PUSH1 0x20
000016b6: ADD
000016b7: PUSH1 0x40
000016b9: MLOAD
000016ba: DUP1
000016bb: SWAP2
000016bc: SUB
000016bd: SWAP1
000016be: LOG1
000016bf: JUMPDEST
000016c0: POP
000016c1: POP
000016c2: POP
000016c3: POP
000016c4: POP
000016c5: POP
000016c6: POP
000016c7: JUMP
000016c8: JUMPDEST
000016c9: PUSH1 0x00
000016cb: PUSH2 0x16d3
000016ce: DUP2
000016cf: PUSH2 0x182a
000016d2: JUMP
000016d3: JUMPDEST
000016d4: PUSH1 0x01
000016d6: PUSH1 0x01
000016d8: PUSH1 0xa0
000016da: SHL
000016db: SUB
000016dc: DUP3
000016dd: AND
000016de: PUSH2 0x1713
000016e1: JUMPI
000016e2: PUSH1 0x40
000016e4: MLOAD
000016e5: PUSH32 0x815e1d6400000000000000000000000000000000000000000000000000000000
00001706: DUP2
00001707: MSTORE
00001708: PUSH1 0x04
0000170a: ADD
0000170b: PUSH1 0x40
0000170d: MLOAD
0000170e: DUP1
0000170f: SWAP2
00001710: SUB
00001711: SWAP1
00001712: REVERT
00001713: JUMPDEST
00001714: PUSH1 0x01
00001716: PUSH1 0x01
00001718: PUSH1 0xa0
0000171a: SHL
0000171b: SUB
0000171c: DUP3
0000171d: AND
0000171e: PUSH1 0x00
00001720: SWAP1
00001721: DUP2
00001722: MSTORE
00001723: PUSH1 0x03
00001725: PUSH1 0x20
00001727: MSTORE
00001728: PUSH1 0x40
0000172a: SWAP1
0000172b: KECCAK256
0000172c: SLOAD
0000172d: PUSH1 0xff
0000172f: AND
00001730: ISZERO
00001731: PUSH2 0x1766
00001734: JUMPI
00001735: PUSH1 0x40
00001737: MLOAD
00001738: PUSH32 0x38615ecc00000000000000000000000000000000000000000000000000000000
00001759: DUP2
0000175a: MSTORE
0000175b: PUSH1 0x04
0000175d: ADD
0000175e: PUSH1 0x40
00001760: MLOAD
00001761: DUP1
00001762: SWAP2
00001763: SUB
00001764: SWAP1
00001765: REVERT
00001766: JUMPDEST
00001767: PUSH1 0x40
00001769: DUP1
0000176a: MLOAD
0000176b: DUP1
0000176c: DUP3
0000176d: ADD
0000176e: DUP3
0000176f: MSTORE
00001770: PUSH1 0x01
00001772: DUP1
00001773: DUP3
00001774: MSTORE
00001775: PUSH1 0x04
00001777: DUP1
00001778: SLOAD
00001779: PUSH1 0x20
0000177b: DUP1
0000177c: DUP6
0000177d: ADD
0000177e: SWAP2
0000177f: DUP3
00001780: MSTORE
00001781: PUSH1 0x01
00001783: PUSH1 0x01
00001785: PUSH1 0xa0
00001787: SHL
00001788: SUB
00001789: DUP9
0000178a: AND
0000178b: PUSH1 0x00
0000178d: DUP2
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x03
00001792: DUP4
00001793: MSTORE
00001794: DUP8
00001795: DUP2
00001796: KECCAK256
00001797: SWAP7
00001798: MLOAD
00001799: DUP8
0000179a: SLOAD
0000179b: PUSH1 0xff
0000179d: NOT
0000179e: AND
0000179f: SWAP1
000017a0: ISZERO
000017a1: ISZERO
000017a2: OR
000017a3: DUP8
000017a4: SSTORE
000017a5: SWAP3
000017a6: MLOAD
000017a7: SWAP6
000017a8: DUP6
000017a9: ADD
000017aa: SWAP6
000017ab: SWAP1
000017ac: SWAP6
000017ad: SSTORE
000017ae: DUP3
000017af: SLOAD
000017b0: DUP1
000017b1: DUP6
000017b2: ADD
000017b3: DUP5
000017b4: SSTORE
000017b5: SWAP3
000017b6: SWAP1
000017b7: SWAP2
000017b8: MSTORE
000017b9: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
000017da: SWAP1
000017db: SWAP2
000017dc: ADD
000017dd: DUP1
000017de: SLOAD
000017df: PUSH1 0x01
000017e1: PUSH1 0x01
000017e3: PUSH1 0xa0
000017e5: SHL
000017e6: SUB
000017e7: NOT
000017e8: AND
000017e9: DUP5
000017ea: OR
000017eb: SWAP1
000017ec: SSTORE
000017ed: DUP2
000017ee: SLOAD
000017ef: DUP3
000017f0: ADD
000017f1: SWAP2
000017f2: DUP3
000017f3: SWAP1
000017f4: SSTORE
000017f5: SWAP3
000017f6: MLOAD
000017f7: SWAP1
000017f8: DUP2
000017f9: MSTORE
000017fa: SWAP1
000017fb: SWAP2
000017fc: PUSH32 0x50999ebf9b59bf3157a58816611976f2d723378ad51457d7b0413209e0cdee59
0000181d: SWAP2
0000181e: ADD
0000181f: PUSH1 0x40
00001821: MLOAD
00001822: DUP1
00001823: SWAP2
00001824: SUB
00001825: SWAP1
00001826: LOG2
00001827: POP
00001828: POP
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH2 0x0d69
0000182e: DUP2
0000182f: CALLER
00001830: PUSH2 0x21a3
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH1 0x00
00001837: DUP3
00001838: DUP2
00001839: MSTORE
0000183a: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
0000185b: PUSH1 0x20
0000185d: DUP2
0000185e: DUP2
0000185f: MSTORE
00001860: PUSH1 0x40
00001862: DUP1
00001863: DUP5
00001864: KECCAK256
00001865: PUSH1 0x01
00001867: PUSH1 0x01
00001869: PUSH1 0xa0
0000186b: SHL
0000186c: SUB
0000186d: DUP7
0000186e: AND
0000186f: DUP6
00001870: MSTORE
00001871: SWAP1
00001872: SWAP2
00001873: MSTORE
00001874: DUP3
00001875: KECCAK256
00001876: SLOAD
00001877: PUSH1 0xff
00001879: AND
0000187a: PUSH2 0x18f9
0000187d: JUMPI
0000187e: PUSH1 0x00
00001880: DUP5
00001881: DUP2
00001882: MSTORE
00001883: PUSH1 0x20
00001885: DUP3
00001886: DUP2
00001887: MSTORE
00001888: PUSH1 0x40
0000188a: DUP1
0000188b: DUP4
0000188c: KECCAK256
0000188d: PUSH1 0x01
0000188f: PUSH1 0x01
00001891: PUSH1 0xa0
00001893: SHL
00001894: SUB
00001895: DUP8
00001896: AND
00001897: DUP5
00001898: MSTORE
00001899: SWAP1
0000189a: SWAP2
0000189b: MSTORE
0000189c: SWAP1
0000189d: KECCAK256
0000189e: DUP1
0000189f: SLOAD
000018a0: PUSH1 0xff
000018a2: NOT
000018a3: AND
000018a4: PUSH1 0x01
000018a6: OR
000018a7: SWAP1
000018a8: SSTORE
000018a9: PUSH2 0x18af
000018ac: CALLER
000018ad: SWAP1
000018ae: JUMP
000018af: JUMPDEST
000018b0: PUSH1 0x01
000018b2: PUSH1 0x01
000018b4: PUSH1 0xa0
000018b6: SHL
000018b7: SUB
000018b8: AND
000018b9: DUP4
000018ba: PUSH1 0x01
000018bc: PUSH1 0x01
000018be: PUSH1 0xa0
000018c0: SHL
000018c1: SUB
000018c2: AND
000018c3: DUP6
000018c4: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000018e5: PUSH1 0x40
000018e7: MLOAD
000018e8: PUSH1 0x40
000018ea: MLOAD
000018eb: DUP1
000018ec: SWAP2
000018ed: SUB
000018ee: SWAP1
000018ef: LOG4
000018f0: PUSH1 0x01
000018f2: SWAP2
000018f3: POP
000018f4: POP
000018f5: PUSH2 0x0a89
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: SWAP2
000018fd: POP
000018fe: POP
000018ff: PUSH2 0x0a89
00001902: JUMP
00001903: JUMPDEST
00001904: PUSH1 0x00
00001906: DUP3
00001907: DUP2
00001908: MSTORE
00001909: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
0000192a: PUSH1 0x20
0000192c: DUP2
0000192d: DUP2
0000192e: MSTORE
0000192f: PUSH1 0x40
00001931: DUP1
00001932: DUP5
00001933: KECCAK256
00001934: PUSH1 0x01
00001936: PUSH1 0x01
00001938: PUSH1 0xa0
0000193a: SHL
0000193b: SUB
0000193c: DUP7
0000193d: AND
0000193e: DUP6
0000193f: MSTORE
00001940: SWAP1
00001941: SWAP2
00001942: MSTORE
00001943: DUP3
00001944: KECCAK256
00001945: SLOAD
00001946: PUSH1 0xff
00001948: AND
00001949: ISZERO
0000194a: PUSH2 0x18f9
0000194d: JUMPI
0000194e: PUSH1 0x00
00001950: DUP5
00001951: DUP2
00001952: MSTORE
00001953: PUSH1 0x20
00001955: DUP3
00001956: DUP2
00001957: MSTORE
00001958: PUSH1 0x40
0000195a: DUP1
0000195b: DUP4
0000195c: KECCAK256
0000195d: PUSH1 0x01
0000195f: PUSH1 0x01
00001961: PUSH1 0xa0
00001963: SHL
00001964: SUB
00001965: DUP8
00001966: AND
00001967: DUP1
00001968: DUP6
00001969: MSTORE
0000196a: SWAP3
0000196b: MSTORE
0000196c: DUP1
0000196d: DUP4
0000196e: KECCAK256
0000196f: DUP1
00001970: SLOAD
00001971: PUSH1 0xff
00001973: NOT
00001974: AND
00001975: SWAP1
00001976: SSTORE
00001977: MLOAD
00001978: CALLER
00001979: SWAP3
0000197a: DUP8
0000197b: SWAP2
0000197c: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
0000199d: SWAP2
0000199e: SWAP1
0000199f: LOG4
000019a0: PUSH1 0x01
000019a2: SWAP2
000019a3: POP
000019a4: POP
000019a5: PUSH2 0x0a89
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH2 0x19b1
000019ad: PUSH2 0x2230
000019b0: JUMP
000019b1: JUMPDEST
000019b2: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
000019d3: DUP1
000019d4: SLOAD
000019d5: PUSH1 0xff
000019d7: NOT
000019d8: AND
000019d9: DUP2
000019da: SSTORE
000019db: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000019fc: CALLER
000019fd: JUMPDEST
000019fe: PUSH1 0x40
00001a00: MLOAD
00001a01: PUSH1 0x01
00001a03: PUSH1 0x01
00001a05: PUSH1 0xa0
00001a07: SHL
00001a08: SUB
00001a09: SWAP1
00001a0a: SWAP2
00001a0b: AND
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: ADD
00001a11: PUSH1 0x40
00001a13: MLOAD
00001a14: DUP1
00001a15: SWAP2
00001a16: SUB
00001a17: SWAP1
00001a18: LOG1
00001a19: POP
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: ADDRESS
00001a1d: PUSH1 0x01
00001a1f: PUSH1 0x01
00001a21: PUSH1 0xa0
00001a23: SHL
00001a24: SUB
00001a25: PUSH32 0x000000000000000000000000a353ccd135da53687bb44cede608bb90deacd7cc
00001a46: AND
00001a47: EQ
00001a48: DUP1
00001a49: PUSH2 0x1ab4
00001a4c: JUMPI
00001a4d: POP
00001a4e: PUSH32 0x000000000000000000000000a353ccd135da53687bb44cede608bb90deacd7cc
00001a6f: PUSH1 0x01
00001a71: PUSH1 0x01
00001a73: PUSH1 0xa0
00001a75: SHL
00001a76: SUB
00001a77: AND
00001a78: PUSH2 0x1aa8
00001a7b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001a9c: SLOAD
00001a9d: PUSH1 0x01
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0xa0
00001aa3: SHL
00001aa4: SUB
00001aa5: AND
00001aa6: SWAP1
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH1 0x01
00001aab: PUSH1 0x01
00001aad: PUSH1 0xa0
00001aaf: SHL
00001ab0: SUB
00001ab1: AND
00001ab2: EQ
00001ab3: ISZERO
00001ab4: JUMPDEST
00001ab5: ISZERO
00001ab6: PUSH2 0x1ad2
00001ab9: JUMPI
00001aba: PUSH1 0x40
00001abc: MLOAD
00001abd: PUSH4 0x703e46dd
00001ac2: PUSH1 0xe1
00001ac4: SHL
00001ac5: DUP2
00001ac6: MSTORE
00001ac7: PUSH1 0x04
00001ac9: ADD
00001aca: PUSH1 0x40
00001acc: MLOAD
00001acd: DUP1
00001ace: SWAP2
00001acf: SUB
00001ad0: SWAP1
00001ad1: REVERT
00001ad2: JUMPDEST
00001ad3: JUMP
00001ad4: JUMPDEST
00001ad5: PUSH1 0x00
00001ad7: PUSH2 0x0d87
00001ada: DUP2
00001adb: PUSH2 0x182a
00001ade: JUMP
00001adf: JUMPDEST
00001ae0: DUP2
00001ae1: PUSH1 0x01
00001ae3: PUSH1 0x01
00001ae5: PUSH1 0xa0
00001ae7: SHL
00001ae8: SUB
00001ae9: AND
00001aea: PUSH4 0x52d1902d
00001aef: PUSH1 0x40
00001af1: MLOAD
00001af2: DUP2
00001af3: PUSH4 0xffffffff
00001af8: AND
00001af9: PUSH1 0xe0
00001afb: SHL
00001afc: DUP2
00001afd: MSTORE
00001afe: PUSH1 0x04
00001b00: ADD
00001b01: PUSH1 0x20
00001b03: PUSH1 0x40
00001b05: MLOAD
00001b06: DUP1
00001b07: DUP4
00001b08: SUB
00001b09: DUP2
00001b0a: DUP7
00001b0b: GAS
00001b0c: STATICCALL
00001b0d: SWAP3
00001b0e: POP
00001b0f: POP
00001b10: POP
00001b11: DUP1
00001b12: ISZERO
00001b13: PUSH2 0x1b39
00001b16: JUMPI
00001b17: POP
00001b18: PUSH1 0x40
00001b1a: DUP1
00001b1b: MLOAD
00001b1c: PUSH1 0x1f
00001b1e: RETURNDATASIZE
00001b1f: SWAP1
00001b20: DUP2
00001b21: ADD
00001b22: PUSH1 0x1f
00001b24: NOT
00001b25: AND
00001b26: DUP3
00001b27: ADD
00001b28: SWAP1
00001b29: SWAP3
00001b2a: MSTORE
00001b2b: PUSH2 0x1b36
00001b2e: SWAP2
00001b2f: DUP2
00001b30: ADD
00001b31: SWAP1
00001b32: PUSH2 0x28e9
00001b35: JUMP
00001b36: JUMPDEST
00001b37: PUSH1 0x01
00001b39: JUMPDEST
00001b3a: PUSH2 0x1b66
00001b3d: JUMPI
00001b3e: PUSH1 0x40
00001b40: MLOAD
00001b41: PUSH4 0x4c9c8ce3
00001b46: PUSH1 0xe0
00001b48: SHL
00001b49: DUP2
00001b4a: MSTORE
00001b4b: PUSH1 0x01
00001b4d: PUSH1 0x01
00001b4f: PUSH1 0xa0
00001b51: SHL
00001b52: SUB
00001b53: DUP4
00001b54: AND
00001b55: PUSH1 0x04
00001b57: DUP3
00001b58: ADD
00001b59: MSTORE
00001b5a: PUSH1 0x24
00001b5c: ADD
00001b5d: JUMPDEST
00001b5e: PUSH1 0x40
00001b60: MLOAD
00001b61: DUP1
00001b62: SWAP2
00001b63: SUB
00001b64: SWAP1
00001b65: REVERT
00001b66: JUMPDEST
00001b67: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001b88: DUP2
00001b89: EQ
00001b8a: PUSH2 0x1bc2
00001b8d: JUMPI
00001b8e: PUSH1 0x40
00001b90: MLOAD
00001b91: PUSH32 0xaa1d49a400000000000000000000000000000000000000000000000000000000
00001bb2: DUP2
00001bb3: MSTORE
00001bb4: PUSH1 0x04
00001bb6: DUP2
00001bb7: ADD
00001bb8: DUP3
00001bb9: SWAP1
00001bba: MSTORE
00001bbb: PUSH1 0x24
00001bbd: ADD
00001bbe: PUSH2 0x1b5d
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: PUSH2 0x0d51
00001bc6: DUP4
00001bc7: DUP4
00001bc8: PUSH2 0x228b
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001bee: SLOAD
00001bef: PUSH1 0xff
00001bf1: AND
00001bf2: ISZERO
00001bf3: PUSH2 0x1ad2
00001bf6: JUMPI
00001bf7: PUSH1 0x40
00001bf9: MLOAD
00001bfa: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001c1b: DUP2
00001c1c: MSTORE
00001c1d: PUSH1 0x04
00001c1f: ADD
00001c20: PUSH1 0x40
00001c22: MLOAD
00001c23: DUP1
00001c24: SWAP2
00001c25: SUB
00001c26: SWAP1
00001c27: REVERT
00001c28: JUMPDEST
00001c29: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00001c4a: DUP1
00001c4b: SLOAD
00001c4c: PUSH1 0x01
00001c4e: NOT
00001c4f: ADD
00001c50: PUSH2 0x1c85
00001c53: JUMPI
00001c54: PUSH1 0x40
00001c56: MLOAD
00001c57: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
00001c78: DUP2
00001c79: MSTORE
00001c7a: PUSH1 0x04
00001c7c: ADD
00001c7d: PUSH1 0x40
00001c7f: MLOAD
00001c80: DUP1
00001c81: SWAP2
00001c82: SUB
00001c83: SWAP1
00001c84: REVERT
00001c85: JUMPDEST
00001c86: PUSH1 0x02
00001c88: SWAP1
00001c89: SSTORE
00001c8a: JUMP
00001c8b: JUMPDEST
00001c8c: PUSH1 0x00
00001c8e: DUP2
00001c8f: DUP2
00001c90: MSTORE
00001c91: PUSH1 0x05
00001c93: PUSH1 0x20
00001c95: DUP2
00001c96: SWAP1
00001c97: MSTORE
00001c98: PUSH1 0x40
00001c9a: SWAP2
00001c9b: DUP3
00001c9c: SWAP1
00001c9d: KECCAK256
00001c9e: SWAP1
00001c9f: DUP2
00001ca0: ADD
00001ca1: DUP1
00001ca2: SLOAD
00001ca3: PUSH1 0xff
00001ca5: NOT
00001ca6: AND
00001ca7: PUSH1 0x01
00001ca9: SWAP1
00001caa: DUP2
00001cab: OR
00001cac: SWAP1
00001cad: SWAP2
00001cae: SSTORE
00001caf: PUSH1 0x08
00001cb1: SLOAD
00001cb2: SWAP1
00001cb3: DUP3
00001cb4: ADD
00001cb5: SLOAD
00001cb6: SWAP3
00001cb7: MLOAD
00001cb8: PUSH32 0x91d1485400000000000000000000000000000000000000000000000000000000
00001cd9: DUP2
00001cda: MSTORE
00001cdb: PUSH32 0xb5901c91ada45ebcf0cce822996f5d1fa6c4ea753ae63dbe902dd21813218cb7
00001cfc: PUSH1 0x04
00001cfe: DUP3
00001cff: ADD
00001d00: MSTORE
00001d01: PUSH1 0x01
00001d03: PUSH1 0x01
00001d05: PUSH1 0xa0
00001d07: SHL
00001d08: SUB
00001d09: SWAP4
00001d0a: DUP5
00001d0b: AND
00001d0c: PUSH1 0x24
00001d0e: DUP3
00001d0f: ADD
00001d10: MSTORE
00001d11: SWAP2
00001d12: SWAP3
00001d13: AND
00001d14: SWAP1
00001d15: PUSH4 0x91d14854
00001d1a: SWAP1
00001d1b: PUSH1 0x44
00001d1d: ADD
00001d1e: PUSH1 0x20
00001d20: PUSH1 0x40
00001d22: MLOAD
00001d23: DUP1
00001d24: DUP4
00001d25: SUB
00001d26: DUP2
00001d27: DUP7
00001d28: GAS
00001d29: STATICCALL
00001d2a: ISZERO
00001d2b: DUP1
00001d2c: ISZERO
00001d2d: PUSH2 0x1d3a
00001d30: JUMPI
00001d31: RETURNDATASIZE
00001d32: PUSH1 0x00
00001d34: DUP1
00001d35: RETURNDATACOPY
00001d36: RETURNDATASIZE
00001d37: PUSH1 0x00
00001d39: REVERT
00001d3a: JUMPDEST
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: POP
00001d3f: PUSH1 0x40
00001d41: MLOAD
00001d42: RETURNDATASIZE
00001d43: PUSH1 0x1f
00001d45: NOT
00001d46: PUSH1 0x1f
00001d48: DUP3
00001d49: ADD
00001d4a: AND
00001d4b: DUP3
00001d4c: ADD
00001d4d: DUP1
00001d4e: PUSH1 0x40
00001d50: MSTORE
00001d51: POP
00001d52: DUP2
00001d53: ADD
00001d54: SWAP1
00001d55: PUSH2 0x1d5e
00001d58: SWAP2
00001d59: SWAP1
00001d5a: PUSH2 0x2902
00001d5d: JUMP
00001d5e: JUMPDEST
00001d5f: ISZERO
00001d60: PUSH2 0x1dfb
00001d63: JUMPI
00001d64: PUSH1 0x08
00001d66: SLOAD
00001d67: PUSH1 0x01
00001d69: DUP3
00001d6a: ADD
00001d6b: SLOAD
00001d6c: PUSH1 0x02
00001d6e: DUP4
00001d6f: ADD
00001d70: SLOAD
00001d71: PUSH1 0x03
00001d73: DUP5
00001d74: ADD
00001d75: SLOAD
00001d76: PUSH1 0x40
00001d78: MLOAD
00001d79: PUSH32 0x775c313c00000000000000000000000000000000000000000000000000000000
00001d9a: DUP2
00001d9b: MSTORE
00001d9c: PUSH1 0x01
00001d9e: PUSH1 0x01
00001da0: PUSH1 0xa0
00001da2: SHL
00001da3: SUB
00001da4: SWAP4
00001da5: DUP5
00001da6: AND
00001da7: PUSH1 0x04
00001da9: DUP3
00001daa: ADD
00001dab: MSTORE
00001dac: SWAP2
00001dad: DUP4
00001dae: AND
00001daf: PUSH1 0x24
00001db1: DUP4
00001db2: ADD
00001db3: MSTORE
00001db4: PUSH1 0x44
00001db6: DUP3
00001db7: ADD
00001db8: MSTORE
00001db9: SWAP2
00001dba: AND
00001dbb: SWAP1
00001dbc: PUSH4 0x775c313c
00001dc1: SWAP1
00001dc2: PUSH1 0x64
00001dc4: ADD
00001dc5: PUSH1 0x00
00001dc7: PUSH1 0x40
00001dc9: MLOAD
00001dca: DUP1
00001dcb: DUP4
00001dcc: SUB
00001dcd: DUP2
00001dce: PUSH1 0x00
00001dd0: DUP8
00001dd1: DUP1
00001dd2: EXTCODESIZE
00001dd3: ISZERO
00001dd4: DUP1
00001dd5: ISZERO
00001dd6: PUSH2 0x1dde
00001dd9: JUMPI
00001dda: PUSH1 0x00
00001ddc: DUP1
00001ddd: REVERT
00001dde: JUMPDEST
00001ddf: POP
00001de0: GAS
00001de1: CALL
00001de2: ISZERO
00001de3: DUP1
00001de4: ISZERO
00001de5: PUSH2 0x1df2
00001de8: JUMPI
00001de9: RETURNDATASIZE
00001dea: PUSH1 0x00
00001dec: DUP1
00001ded: RETURNDATACOPY
00001dee: RETURNDATASIZE
00001def: PUSH1 0x00
00001df1: REVERT
00001df2: JUMPDEST
00001df3: POP
00001df4: POP
00001df5: POP
00001df6: POP
00001df7: PUSH2 0x1e85
00001dfa: JUMP
00001dfb: JUMPDEST
00001dfc: PUSH1 0x08
00001dfe: SLOAD
00001dff: PUSH1 0x02
00001e01: DUP3
00001e02: ADD
00001e03: SLOAD
00001e04: PUSH1 0x03
00001e06: DUP4
00001e07: ADD
00001e08: SLOAD
00001e09: PUSH1 0x40
00001e0b: MLOAD
00001e0c: PUSH32 0xb0307e6300000000000000000000000000000000000000000000000000000000
00001e2d: DUP2
00001e2e: MSTORE
00001e2f: PUSH1 0x01
00001e31: PUSH1 0x01
00001e33: PUSH1 0xa0
00001e35: SHL
00001e36: SUB
00001e37: SWAP3
00001e38: DUP4
00001e39: AND
00001e3a: PUSH1 0x04
00001e3c: DUP3
00001e3d: ADD
00001e3e: MSTORE
00001e3f: PUSH1 0x24
00001e41: DUP2
00001e42: ADD
00001e43: SWAP2
00001e44: SWAP1
00001e45: SWAP2
00001e46: MSTORE
00001e47: SWAP2
00001e48: AND
00001e49: SWAP1
00001e4a: PUSH4 0xb0307e63
00001e4f: SWAP1
00001e50: PUSH1 0x44
00001e52: ADD
00001e53: PUSH1 0x00
00001e55: PUSH1 0x40
00001e57: MLOAD
00001e58: DUP1
00001e59: DUP4
00001e5a: SUB
00001e5b: DUP2
00001e5c: PUSH1 0x00
00001e5e: DUP8
00001e5f: DUP1
00001e60: EXTCODESIZE
00001e61: ISZERO
00001e62: DUP1
00001e63: ISZERO
00001e64: PUSH2 0x1e6c
00001e67: JUMPI
00001e68: PUSH1 0x00
00001e6a: DUP1
00001e6b: REVERT
00001e6c: JUMPDEST
00001e6d: POP
00001e6e: GAS
00001e6f: CALL
00001e70: ISZERO
00001e71: DUP1
00001e72: ISZERO
00001e73: PUSH2 0x1e80
00001e76: JUMPI
00001e77: RETURNDATASIZE
00001e78: PUSH1 0x00
00001e7a: DUP1
00001e7b: RETURNDATACOPY
00001e7c: RETURNDATASIZE
00001e7d: PUSH1 0x00
00001e7f: REVERT
00001e80: JUMPDEST
00001e81: POP
00001e82: POP
00001e83: POP
00001e84: POP
00001e85: JUMPDEST
00001e86: PUSH1 0x02
00001e88: DUP2
00001e89: ADD
00001e8a: SLOAD
00001e8b: PUSH1 0x01
00001e8d: PUSH1 0x01
00001e8f: PUSH1 0xa0
00001e91: SHL
00001e92: SUB
00001e93: AND
00001e94: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed
00001ea9: NOT
00001eaa: ADD
00001eab: PUSH2 0x1f53
00001eae: JUMPI
00001eaf: DUP1
00001eb0: PUSH1 0x03
00001eb2: ADD
00001eb3: SLOAD
00001eb4: SELFBALANCE
00001eb5: LT
00001eb6: ISZERO
00001eb7: PUSH2 0x1ed3
00001eba: JUMPI
00001ebb: PUSH1 0x40
00001ebd: MLOAD
00001ebe: PUSH4 0x1e9acf17
00001ec3: PUSH1 0xe3
00001ec5: SHL
00001ec6: DUP2
00001ec7: MSTORE
00001ec8: PUSH1 0x04
00001eca: ADD
00001ecb: PUSH1 0x40
00001ecd: MLOAD
00001ece: DUP1
00001ecf: SWAP2
00001ed0: SUB
00001ed1: SWAP1
00001ed2: REVERT
00001ed3: JUMPDEST
00001ed4: PUSH1 0x01
00001ed6: DUP2
00001ed7: ADD
00001ed8: SLOAD
00001ed9: PUSH1 0x03
00001edb: DUP3
00001edc: ADD
00001edd: SLOAD
00001ede: PUSH1 0x40
00001ee0: MLOAD
00001ee1: PUSH1 0x00
00001ee3: SWAP3
00001ee4: PUSH1 0x01
00001ee6: PUSH1 0x01
00001ee8: PUSH1 0xa0
00001eea: SHL
00001eeb: SUB
00001eec: AND
00001eed: SWAP2
00001eee: SWAP1
00001eef: DUP4
00001ef0: DUP2
00001ef1: DUP2
00001ef2: DUP2
00001ef3: DUP6
00001ef4: DUP8
00001ef5: GAS
00001ef6: CALL
00001ef7: SWAP3
00001ef8: POP
00001ef9: POP
00001efa: POP
00001efb: RETURNDATASIZE
00001efc: DUP1
00001efd: PUSH1 0x00
00001eff: DUP2
00001f00: EQ
00001f01: PUSH2 0x1f26
00001f04: JUMPI
00001f05: PUSH1 0x40
00001f07: MLOAD
00001f08: SWAP2
00001f09: POP
00001f0a: PUSH1 0x1f
00001f0c: NOT
00001f0d: PUSH1 0x3f
00001f0f: RETURNDATASIZE
00001f10: ADD
00001f11: AND
00001f12: DUP3
00001f13: ADD
00001f14: PUSH1 0x40
00001f16: MSTORE
00001f17: RETURNDATASIZE
00001f18: DUP3
00001f19: MSTORE
00001f1a: RETURNDATASIZE
00001f1b: PUSH1 0x00
00001f1d: PUSH1 0x20
00001f1f: DUP5
00001f20: ADD
00001f21: RETURNDATACOPY
00001f22: PUSH2 0x1f2b
00001f25: JUMP
00001f26: JUMPDEST
00001f27: PUSH1 0x60
00001f29: SWAP2
00001f2a: POP
00001f2b: JUMPDEST
00001f2c: POP
00001f2d: POP
00001f2e: SWAP1
00001f2f: POP
00001f30: DUP1
00001f31: PUSH2 0x1f4d
00001f34: JUMPI
00001f35: PUSH1 0x40
00001f37: MLOAD
00001f38: PUSH4 0x0db2c7f1
00001f3d: PUSH1 0xe3
00001f3f: SHL
00001f40: DUP2
00001f41: MSTORE
00001f42: PUSH1 0x04
00001f44: ADD
00001f45: PUSH1 0x40
00001f47: MLOAD
00001f48: DUP1
00001f49: SWAP2
00001f4a: SUB
00001f4b: SWAP1
00001f4c: REVERT
00001f4d: JUMPDEST
00001f4e: POP
00001f4f: PUSH2 0x1f7a
00001f52: JUMP
00001f53: JUMPDEST
00001f54: PUSH1 0x01
00001f56: DUP2
00001f57: ADD
00001f58: SLOAD
00001f59: PUSH1 0x03
00001f5b: DUP3
00001f5c: ADD
00001f5d: SLOAD
00001f5e: PUSH1 0x02
00001f60: DUP4
00001f61: ADD
00001f62: SLOAD
00001f63: PUSH2 0x1f7a
00001f66: SWAP3
00001f67: PUSH1 0x01
00001f69: PUSH1 0x01
00001f6b: PUSH1 0xa0
00001f6d: SHL
00001f6e: SUB
00001f6f: SWAP2
00001f70: DUP3
00001f71: AND
00001f72: SWAP3
00001f73: SWAP2
00001f74: AND
00001f75: SWAP1
00001f76: PUSH2 0x2041
00001f79: JUMP
00001f7a: JUMPDEST
00001f7b: PUSH1 0x02
00001f7d: DUP2
00001f7e: ADD
00001f7f: SLOAD
00001f80: PUSH1 0x01
00001f82: DUP3
00001f83: ADD
00001f84: SLOAD
00001f85: PUSH1 0x03
00001f87: DUP4
00001f88: ADD
00001f89: SLOAD
00001f8a: PUSH1 0x40
00001f8c: MLOAD
00001f8d: SWAP1
00001f8e: DUP2
00001f8f: MSTORE
00001f90: PUSH1 0x01
00001f92: PUSH1 0x01
00001f94: PUSH1 0xa0
00001f96: SHL
00001f97: SUB
00001f98: SWAP3
00001f99: DUP4
00001f9a: AND
00001f9b: SWAP3
00001f9c: SWAP1
00001f9d: SWAP2
00001f9e: AND
00001f9f: SWAP1
00001fa0: DUP5
00001fa1: SWAP1
00001fa2: PUSH32 0xedbb1d2a668dc012e1f90419b492c1cdd90c45e48afaa766e9befc71e992d70c
00001fc3: SWAP1
00001fc4: PUSH1 0x20
00001fc6: ADD
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: DUP1
00001fcb: SWAP2
00001fcc: SUB
00001fcd: SWAP1
00001fce: LOG4
00001fcf: POP
00001fd0: POP
00001fd1: JUMP
00001fd2: JUMPDEST
00001fd3: PUSH1 0x01
00001fd5: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00001ff6: SSTORE
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: ADDRESS
00001ffa: PUSH1 0x01
00001ffc: PUSH1 0x01
00001ffe: PUSH1 0xa0
00002000: SHL
00002001: SUB
00002002: PUSH32 0x000000000000000000000000a353ccd135da53687bb44cede608bb90deacd7cc
00002023: AND
00002024: EQ
00002025: PUSH2 0x1ad2
00002028: JUMPI
00002029: PUSH1 0x40
0000202b: MLOAD
0000202c: PUSH4 0x703e46dd
00002031: PUSH1 0xe1
00002033: SHL
00002034: DUP2
00002035: MSTORE
00002036: PUSH1 0x04
00002038: ADD
00002039: PUSH1 0x40
0000203b: MLOAD
0000203c: DUP1
0000203d: SWAP2
0000203e: SUB
0000203f: SWAP1
00002040: REVERT
00002041: JUMPDEST
00002042: PUSH1 0x40
00002044: DUP1
00002045: MLOAD
00002046: PUSH1 0x01
00002048: PUSH1 0x01
0000204a: PUSH1 0xa0
0000204c: SHL
0000204d: SUB
0000204e: DUP5
0000204f: AND
00002050: PUSH1 0x24
00002052: DUP3
00002053: ADD
00002054: MSTORE
00002055: PUSH1 0x44
00002057: DUP1
00002058: DUP3
00002059: ADD
0000205a: DUP5
0000205b: SWAP1
0000205c: MSTORE
0000205d: DUP3
0000205e: MLOAD
0000205f: DUP1
00002060: DUP4
00002061: SUB
00002062: SWAP1
00002063: SWAP2
00002064: ADD
00002065: DUP2
00002066: MSTORE
00002067: PUSH1 0x64
00002069: SWAP1
0000206a: SWAP2
0000206b: ADD
0000206c: SWAP1
0000206d: SWAP2
0000206e: MSTORE
0000206f: PUSH1 0x20
00002071: DUP2
00002072: ADD
00002073: DUP1
00002074: MLOAD
00002075: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002092: AND
00002093: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000020b4: OR
000020b5: SWAP1
000020b6: MSTORE
000020b7: PUSH2 0x0d51
000020ba: SWAP1
000020bb: DUP5
000020bc: SWAP1
000020bd: PUSH2 0x22e1
000020c0: JUMP
000020c1: JUMPDEST
000020c2: PUSH2 0x20c9
000020c5: PUSH2 0x1bcc
000020c8: JUMP
000020c9: JUMPDEST
000020ca: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
000020eb: DUP1
000020ec: SLOAD
000020ed: PUSH1 0xff
000020ef: NOT
000020f0: AND
000020f1: PUSH1 0x01
000020f3: OR
000020f4: DUP2
000020f5: SSTORE
000020f6: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00002117: CALLER
00002118: PUSH2 0x19fd
0000211b: JUMP
0000211c: JUMPDEST
0000211d: PUSH1 0x00
0000211f: DUP1
00002120: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00002141: PUSH2 0x0a89
00002144: JUMP
00002145: JUMPDEST
00002146: PUSH2 0x214d
00002149: PUSH2 0x236b
0000214c: JUMP
0000214d: JUMPDEST
0000214e: PUSH2 0x0d69
00002151: PUSH1 0x00
00002153: CALLER
00002154: PUSH2 0x1834
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH2 0x2160
0000215c: PUSH2 0x236b
0000215f: JUMP
00002160: JUMPDEST
00002161: PUSH2 0x218a
00002164: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00002185: CALLER
00002186: PUSH2 0x1834
00002189: JUMP
0000218a: JUMPDEST
0000218b: POP
0000218c: PUSH2 0x1ad2
0000218f: PUSH2 0x23a9
00002192: JUMP
00002193: JUMPDEST
00002194: PUSH2 0x219b
00002197: PUSH2 0x236b
0000219a: JUMP
0000219b: JUMPDEST
0000219c: PUSH2 0x1ad2
0000219f: PUSH2 0x23b1
000021a2: JUMP
000021a3: JUMPDEST
000021a4: PUSH1 0x00
000021a6: DUP3
000021a7: DUP2
000021a8: MSTORE
000021a9: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
000021ca: PUSH1 0x20
000021cc: SWAP1
000021cd: DUP2
000021ce: MSTORE
000021cf: PUSH1 0x40
000021d1: DUP1
000021d2: DUP4
000021d3: KECCAK256
000021d4: PUSH1 0x01
000021d6: PUSH1 0x01
000021d8: PUSH1 0xa0
000021da: SHL
000021db: SUB
000021dc: DUP6
000021dd: AND
000021de: DUP5
000021df: MSTORE
000021e0: SWAP1
000021e1: SWAP2
000021e2: MSTORE
000021e3: SWAP1
000021e4: KECCAK256
000021e5: SLOAD
000021e6: PUSH1 0xff
000021e8: AND
000021e9: PUSH2 0x0d87
000021ec: JUMPI
000021ed: PUSH1 0x40
000021ef: MLOAD
000021f0: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00002211: DUP2
00002212: MSTORE
00002213: PUSH1 0x01
00002215: PUSH1 0x01
00002217: PUSH1 0xa0
00002219: SHL
0000221a: SUB
0000221b: DUP3
0000221c: AND
0000221d: PUSH1 0x04
0000221f: DUP3
00002220: ADD
00002221: MSTORE
00002222: PUSH1 0x24
00002224: DUP2
00002225: ADD
00002226: DUP4
00002227: SWAP1
00002228: MSTORE
00002229: PUSH1 0x44
0000222b: ADD
0000222c: PUSH2 0x1b5d
0000222f: JUMP
00002230: JUMPDEST
00002231: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00002252: SLOAD
00002253: PUSH1 0xff
00002255: AND
00002256: PUSH2 0x1ad2
00002259: JUMPI
0000225a: PUSH1 0x40
0000225c: MLOAD
0000225d: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
0000227e: DUP2
0000227f: MSTORE
00002280: PUSH1 0x04
00002282: ADD
00002283: PUSH1 0x40
00002285: MLOAD
00002286: DUP1
00002287: SWAP2
00002288: SUB
00002289: SWAP1
0000228a: REVERT
0000228b: JUMPDEST
0000228c: PUSH2 0x2294
0000228f: DUP3
00002290: PUSH2 0x23b9
00002293: JUMP
00002294: JUMPDEST
00002295: PUSH1 0x40
00002297: MLOAD
00002298: PUSH1 0x01
0000229a: PUSH1 0x01
0000229c: PUSH1 0xa0
0000229e: SHL
0000229f: SUB
000022a0: DUP4
000022a1: AND
000022a2: SWAP1
000022a3: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
000022c4: SWAP1
000022c5: PUSH1 0x00
000022c7: SWAP1
000022c8: LOG2
000022c9: DUP1
000022ca: MLOAD
000022cb: ISZERO
000022cc: PUSH2 0x22d9
000022cf: JUMPI
000022d0: PUSH2 0x0d51
000022d3: DUP3
000022d4: DUP3
000022d5: PUSH2 0x2430
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH2 0x0d87
000022dd: PUSH2 0x24a6
000022e0: JUMP
000022e1: JUMPDEST
000022e2: PUSH1 0x00
000022e4: DUP1
000022e5: PUSH1 0x20
000022e7: PUSH1 0x00
000022e9: DUP5
000022ea: MLOAD
000022eb: PUSH1 0x20
000022ed: DUP7
000022ee: ADD
000022ef: PUSH1 0x00
000022f1: DUP9
000022f2: GAS
000022f3: CALL
000022f4: DUP1
000022f5: PUSH2 0x2304
000022f8: JUMPI
000022f9: PUSH1 0x40
000022fb: MLOAD
000022fc: RETURNDATASIZE
000022fd: PUSH1 0x00
000022ff: DUP3
00002300: RETURNDATACOPY
00002301: RETURNDATASIZE
00002302: DUP2
00002303: REVERT
00002304: JUMPDEST
00002305: POP
00002306: POP
00002307: PUSH1 0x00
00002309: MLOAD
0000230a: RETURNDATASIZE
0000230b: SWAP2
0000230c: POP
0000230d: DUP2
0000230e: ISZERO
0000230f: PUSH2 0x231c
00002312: JUMPI
00002313: DUP1
00002314: PUSH1 0x01
00002316: EQ
00002317: ISZERO
00002318: PUSH2 0x2329
0000231b: JUMP
0000231c: JUMPDEST
0000231d: PUSH1 0x01
0000231f: PUSH1 0x01
00002321: PUSH1 0xa0
00002323: SHL
00002324: SUB
00002325: DUP5
00002326: AND
00002327: EXTCODESIZE
00002328: ISZERO
00002329: JUMPDEST
0000232a: ISZERO
0000232b: PUSH2 0x0cff
0000232e: JUMPI
0000232f: PUSH1 0x40
00002331: MLOAD
00002332: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00002353: DUP2
00002354: MSTORE
00002355: PUSH1 0x01
00002357: PUSH1 0x01
00002359: PUSH1 0xa0
0000235b: SHL
0000235c: SUB
0000235d: DUP6
0000235e: AND
0000235f: PUSH1 0x04
00002361: DUP3
00002362: ADD
00002363: MSTORE
00002364: PUSH1 0x24
00002366: ADD
00002367: PUSH2 0x1b5d
0000236a: JUMP
0000236b: JUMPDEST
0000236c: PUSH2 0x2373
0000236f: PUSH2 0x24de
00002372: JUMP
00002373: JUMPDEST
00002374: PUSH2 0x1ad2
00002377: JUMPI
00002378: PUSH1 0x40
0000237a: MLOAD
0000237b: PUSH32 0xd7e6bcf800000000000000000000000000000000000000000000000000000000
0000239c: DUP2
0000239d: MSTORE
0000239e: PUSH1 0x04
000023a0: ADD
000023a1: PUSH1 0x40
000023a3: MLOAD
000023a4: DUP1
000023a5: SWAP2
000023a6: SUB
000023a7: SWAP1
000023a8: REVERT
000023a9: JUMPDEST
000023aa: PUSH2 0x1ad2
000023ad: PUSH2 0x236b
000023b0: JUMP
000023b1: JUMPDEST
000023b2: PUSH2 0x1fd2
000023b5: PUSH2 0x236b
000023b8: JUMP
000023b9: JUMPDEST
000023ba: DUP1
000023bb: PUSH1 0x01
000023bd: PUSH1 0x01
000023bf: PUSH1 0xa0
000023c1: SHL
000023c2: SUB
000023c3: AND
000023c4: EXTCODESIZE
000023c5: PUSH1 0x00
000023c7: SUB
000023c8: PUSH2 0x23ef
000023cb: JUMPI
000023cc: PUSH1 0x40
000023ce: MLOAD
000023cf: PUSH4 0x4c9c8ce3
000023d4: PUSH1 0xe0
000023d6: SHL
000023d7: DUP2
000023d8: MSTORE
000023d9: PUSH1 0x01
000023db: PUSH1 0x01
000023dd: PUSH1 0xa0
000023df: SHL
000023e0: SUB
000023e1: DUP3
000023e2: AND
000023e3: PUSH1 0x04
000023e5: DUP3
000023e6: ADD
000023e7: MSTORE
000023e8: PUSH1 0x24
000023ea: ADD
000023eb: PUSH2 0x1b5d
000023ee: JUMP
000023ef: JUMPDEST
000023f0: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00002411: DUP1
00002412: SLOAD
00002413: PUSH1 0x01
00002415: PUSH1 0x01
00002417: PUSH1 0xa0
00002419: SHL
0000241a: SUB
0000241b: NOT
0000241c: AND
0000241d: PUSH1 0x01
0000241f: PUSH1 0x01
00002421: PUSH1 0xa0
00002423: SHL
00002424: SUB
00002425: SWAP3
00002426: SWAP1
00002427: SWAP3
00002428: AND
00002429: SWAP2
0000242a: SWAP1
0000242b: SWAP2
0000242c: OR
0000242d: SWAP1
0000242e: SSTORE
0000242f: JUMP
00002430: JUMPDEST
00002431: PUSH1 0x60
00002433: PUSH1 0x00
00002435: DUP1
00002436: DUP5
00002437: PUSH1 0x01
00002439: PUSH1 0x01
0000243b: PUSH1 0xa0
0000243d: SHL
0000243e: SUB
0000243f: AND
00002440: DUP5
00002441: PUSH1 0x40
00002443: MLOAD
00002444: PUSH2 0x244d
00002447: SWAP2
00002448: SWAP1
00002449: PUSH2 0x2924
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH1 0x00
00002450: PUSH1 0x40
00002452: MLOAD
00002453: DUP1
00002454: DUP4
00002455: SUB
00002456: DUP2
00002457: DUP6
00002458: GAS
00002459: DELEGATECALL
0000245a: SWAP2
0000245b: POP
0000245c: POP
0000245d: RETURNDATASIZE
0000245e: DUP1
0000245f: PUSH1 0x00
00002461: DUP2
00002462: EQ
00002463: PUSH2 0x2488
00002466: JUMPI
00002467: PUSH1 0x40
00002469: MLOAD
0000246a: SWAP2
0000246b: POP
0000246c: PUSH1 0x1f
0000246e: NOT
0000246f: PUSH1 0x3f
00002471: RETURNDATASIZE
00002472: ADD
00002473: AND
00002474: DUP3
00002475: ADD
00002476: PUSH1 0x40
00002478: MSTORE
00002479: RETURNDATASIZE
0000247a: DUP3
0000247b: MSTORE
0000247c: RETURNDATASIZE
0000247d: PUSH1 0x00
0000247f: PUSH1 0x20
00002481: DUP5
00002482: ADD
00002483: RETURNDATACOPY
00002484: PUSH2 0x248d
00002487: JUMP
00002488: JUMPDEST
00002489: PUSH1 0x60
0000248b: SWAP2
0000248c: POP
0000248d: JUMPDEST
0000248e: POP
0000248f: SWAP2
00002490: POP
00002491: SWAP2
00002492: POP
00002493: PUSH2 0x249d
00002496: DUP6
00002497: DUP4
00002498: DUP4
00002499: PUSH2 0x24fd
0000249c: JUMP
0000249d: JUMPDEST
0000249e: SWAP6
0000249f: SWAP5
000024a0: POP
000024a1: POP
000024a2: POP
000024a3: POP
000024a4: POP
000024a5: JUMP
000024a6: JUMPDEST
000024a7: CALLVALUE
000024a8: ISZERO
000024a9: PUSH2 0x1ad2
000024ac: JUMPI
000024ad: PUSH1 0x40
000024af: MLOAD
000024b0: PUSH32 0xb398979f00000000000000000000000000000000000000000000000000000000
000024d1: DUP2
000024d2: MSTORE
000024d3: PUSH1 0x04
000024d5: ADD
000024d6: PUSH1 0x40
000024d8: MLOAD
000024d9: DUP1
000024da: SWAP2
000024db: SUB
000024dc: SWAP1
000024dd: REVERT
000024de: JUMPDEST
000024df: PUSH1 0x00
000024e1: PUSH2 0x24e8
000024e4: PUSH2 0x211c
000024e7: JUMP
000024e8: JUMPDEST
000024e9: SLOAD
000024ea: PUSH9 0x010000000000000000
000024f4: SWAP1
000024f5: DIV
000024f6: PUSH1 0xff
000024f8: AND
000024f9: SWAP2
000024fa: SWAP1
000024fb: POP
000024fc: JUMP
000024fd: JUMPDEST
000024fe: PUSH1 0x60
00002500: DUP3
00002501: PUSH2 0x2512
00002504: JUMPI
00002505: PUSH2 0x250d
00002508: DUP3
00002509: PUSH2 0x2575
0000250c: JUMP
0000250d: JUMPDEST
0000250e: PUSH2 0x256e
00002511: JUMP
00002512: JUMPDEST
00002513: DUP2
00002514: MLOAD
00002515: ISZERO
00002516: DUP1
00002517: ISZERO
00002518: PUSH2 0x2529
0000251b: JUMPI
0000251c: POP
0000251d: PUSH1 0x01
0000251f: PUSH1 0x01
00002521: PUSH1 0xa0
00002523: SHL
00002524: SUB
00002525: DUP5
00002526: AND
00002527: EXTCODESIZE
00002528: ISZERO
00002529: JUMPDEST
0000252a: ISZERO
0000252b: PUSH2 0x256b
0000252e: JUMPI
0000252f: PUSH1 0x40
00002531: MLOAD
00002532: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
00002553: DUP2
00002554: MSTORE
00002555: PUSH1 0x01
00002557: PUSH1 0x01
00002559: PUSH1 0xa0
0000255b: SHL
0000255c: SUB
0000255d: DUP6
0000255e: AND
0000255f: PUSH1 0x04
00002561: DUP3
00002562: ADD
00002563: MSTORE
00002564: PUSH1 0x24
00002566: ADD
00002567: PUSH2 0x1b5d
0000256a: JUMP
0000256b: JUMPDEST
0000256c: POP
0000256d: DUP1
0000256e: JUMPDEST
0000256f: SWAP4
00002570: SWAP3
00002571: POP
00002572: POP
00002573: POP
00002574: JUMP
00002575: JUMPDEST
00002576: DUP1
00002577: MLOAD
00002578: ISZERO
00002579: PUSH2 0x2584
0000257c: JUMPI
0000257d: DUP1
0000257e: MLOAD
0000257f: PUSH1 0x20
00002581: DUP3
00002582: ADD
00002583: REVERT
00002584: JUMPDEST
00002585: PUSH1 0x40
00002587: MLOAD
00002588: PUSH32 0xd6bda27500000000000000000000000000000000000000000000000000000000
000025a9: DUP2
000025aa: MSTORE
000025ab: PUSH1 0x04
000025ad: ADD
000025ae: PUSH1 0x40
000025b0: MLOAD
000025b1: DUP1
000025b2: SWAP2
000025b3: SUB
000025b4: SWAP1
000025b5: REVERT
000025b6: JUMPDEST
000025b7: PUSH1 0x00
000025b9: PUSH1 0x20
000025bb: DUP3
000025bc: DUP5
000025bd: SUB
000025be: SLT
000025bf: ISZERO
000025c0: PUSH2 0x25c8
000025c3: JUMPI
000025c4: PUSH1 0x00
000025c6: DUP1
000025c7: REVERT
000025c8: JUMPDEST
000025c9: POP
000025ca: CALLDATALOAD
000025cb: SWAP2
000025cc: SWAP1
000025cd: POP
000025ce: JUMP
000025cf: JUMPDEST
000025d0: PUSH1 0x00
000025d2: PUSH1 0x20
000025d4: DUP3
000025d5: DUP5
000025d6: SUB
000025d7: SLT
000025d8: ISZERO
000025d9: PUSH2 0x25e1
000025dc: JUMPI
000025dd: PUSH1 0x00
000025df: DUP1
000025e0: REVERT
000025e1: JUMPDEST
000025e2: DUP2
000025e3: CALLDATALOAD
000025e4: PUSH1 0x01
000025e6: PUSH1 0x01
000025e8: PUSH1 0xe0
000025ea: SHL
000025eb: SUB
000025ec: NOT
000025ed: DUP2
000025ee: AND
000025ef: DUP2
000025f0: EQ
000025f1: PUSH2 0x256e
000025f4: JUMPI
000025f5: PUSH1 0x00
000025f7: DUP1
000025f8: REVERT
000025f9: JUMPDEST
000025fa: PUSH1 0x01
000025fc: PUSH1 0x01
000025fe: PUSH1 0xa0
00002600: SHL
00002601: SUB
00002602: DUP2
00002603: AND
00002604: DUP2
00002605: EQ
00002606: PUSH2 0x0d69
00002609: JUMPI
0000260a: PUSH1 0x00
0000260c: DUP1
0000260d: REVERT
0000260e: JUMPDEST
0000260f: PUSH1 0x00
00002611: PUSH1 0x20
00002613: DUP3
00002614: DUP5
00002615: SUB
00002616: SLT
00002617: ISZERO
00002618: PUSH2 0x2620
0000261b: JUMPI
0000261c: PUSH1 0x00
0000261e: DUP1
0000261f: REVERT
00002620: JUMPDEST
00002621: DUP2
00002622: CALLDATALOAD
00002623: PUSH2 0x256e
00002626: DUP2
00002627: PUSH2 0x25f9
0000262a: JUMP
0000262b: JUMPDEST
0000262c: PUSH1 0x00
0000262e: DUP1
0000262f: PUSH1 0x40
00002631: DUP4
00002632: DUP6
00002633: SUB
00002634: SLT
00002635: ISZERO
00002636: PUSH2 0x263e
00002639: JUMPI
0000263a: PUSH1 0x00
0000263c: DUP1
0000263d: REVERT
0000263e: JUMPDEST
0000263f: DUP3
00002640: CALLDATALOAD
00002641: SWAP2
00002642: POP
00002643: PUSH1 0x20
00002645: DUP4
00002646: ADD
00002647: CALLDATALOAD
00002648: PUSH2 0x2650
0000264b: DUP2
0000264c: PUSH2 0x25f9
0000264f: JUMP
00002650: JUMPDEST
00002651: DUP1
00002652: SWAP2
00002653: POP
00002654: POP
00002655: SWAP3
00002656: POP
00002657: SWAP3
00002658: SWAP1
00002659: POP
0000265a: JUMP
0000265b: JUMPDEST
0000265c: PUSH4 0x4e487b71
00002661: PUSH1 0xe0
00002663: SHL
00002664: PUSH1 0x00
00002666: MSTORE
00002667: PUSH1 0x41
00002669: PUSH1 0x04
0000266b: MSTORE
0000266c: PUSH1 0x24
0000266e: PUSH1 0x00
00002670: REVERT
00002671: JUMPDEST
00002672: PUSH1 0x00
00002674: DUP1
00002675: PUSH1 0x40
00002677: DUP4
00002678: DUP6
00002679: SUB
0000267a: SLT
0000267b: ISZERO
0000267c: PUSH2 0x2684
0000267f: JUMPI
00002680: PUSH1 0x00
00002682: DUP1
00002683: REVERT
00002684: JUMPDEST
00002685: DUP3
00002686: CALLDATALOAD
00002687: PUSH2 0x268f
0000268a: DUP2
0000268b: PUSH2 0x25f9
0000268e: JUMP
0000268f: JUMPDEST
00002690: SWAP2
00002691: POP
00002692: PUSH1 0x20
00002694: DUP4
00002695: ADD
00002696: CALLDATALOAD
00002697: PUSH8 0xffffffffffffffff
000026a0: DUP2
000026a1: GT
000026a2: ISZERO
000026a3: PUSH2 0x26ab
000026a6: JUMPI
000026a7: PUSH1 0x00
000026a9: DUP1
000026aa: REVERT
000026ab: JUMPDEST
000026ac: DUP4
000026ad: ADD
000026ae: PUSH1 0x1f
000026b0: DUP2
000026b1: ADD
000026b2: DUP6
000026b3: SGT
000026b4: PUSH2 0x26bc
000026b7: JUMPI
000026b8: PUSH1 0x00
000026ba: DUP1
000026bb: REVERT
000026bc: JUMPDEST
000026bd: DUP1
000026be: CALLDATALOAD
000026bf: PUSH8 0xffffffffffffffff
000026c8: DUP2
000026c9: GT
000026ca: ISZERO
000026cb: PUSH2 0x26d6
000026ce: JUMPI
000026cf: PUSH2 0x26d6
000026d2: PUSH2 0x265b
000026d5: JUMP
000026d6: JUMPDEST
000026d7: PUSH1 0x40
000026d9: MLOAD
000026da: PUSH1 0x1f
000026dc: DUP3
000026dd: ADD
000026de: PUSH1 0x1f
000026e0: NOT
000026e1: SWAP1
000026e2: DUP2
000026e3: AND
000026e4: PUSH1 0x3f
000026e6: ADD
000026e7: AND
000026e8: DUP2
000026e9: ADD
000026ea: PUSH8 0xffffffffffffffff
000026f3: DUP2
000026f4: GT
000026f5: DUP3
000026f6: DUP3
000026f7: LT
000026f8: OR
000026f9: ISZERO
000026fa: PUSH2 0x2705
000026fd: JUMPI
000026fe: PUSH2 0x2705
00002701: PUSH2 0x265b
00002704: JUMP
00002705: JUMPDEST
00002706: PUSH1 0x40
00002708: MSTORE
00002709: DUP2
0000270a: DUP2
0000270b: MSTORE
0000270c: DUP3
0000270d: DUP3
0000270e: ADD
0000270f: PUSH1 0x20
00002711: ADD
00002712: DUP8
00002713: LT
00002714: ISZERO
00002715: PUSH2 0x271d
00002718: JUMPI
00002719: PUSH1 0x00
0000271b: DUP1
0000271c: REVERT
0000271d: JUMPDEST
0000271e: DUP2
0000271f: PUSH1 0x20
00002721: DUP5
00002722: ADD
00002723: PUSH1 0x20
00002725: DUP4
00002726: ADD
00002727: CALLDATACOPY
00002728: PUSH1 0x00
0000272a: PUSH1 0x20
0000272c: DUP4
0000272d: DUP4
0000272e: ADD
0000272f: ADD
00002730: MSTORE
00002731: DUP1
00002732: SWAP4
00002733: POP
00002734: POP
00002735: POP
00002736: POP
00002737: SWAP3
00002738: POP
00002739: SWAP3
0000273a: SWAP1
0000273b: POP
0000273c: JUMP
0000273d: JUMPDEST
0000273e: PUSH1 0x00
00002740: DUP1
00002741: PUSH1 0x00
00002743: DUP1
00002744: PUSH1 0x80
00002746: DUP6
00002747: DUP8
00002748: SUB
00002749: SLT
0000274a: ISZERO
0000274b: PUSH2 0x2753
0000274e: JUMPI
0000274f: PUSH1 0x00
00002751: DUP1
00002752: REVERT
00002753: JUMPDEST
00002754: DUP5
00002755: CALLDATALOAD
00002756: PUSH2 0x275e
00002759: DUP2
0000275a: PUSH2 0x25f9
0000275d: JUMP
0000275e: JUMPDEST
0000275f: SWAP4
00002760: POP
00002761: PUSH1 0x20
00002763: DUP6
00002764: ADD
00002765: CALLDATALOAD
00002766: PUSH2 0x276e
00002769: DUP2
0000276a: PUSH2 0x25f9
0000276d: JUMP
0000276e: JUMPDEST
0000276f: SWAP3
00002770: POP
00002771: PUSH1 0x40
00002773: DUP6
00002774: ADD
00002775: CALLDATALOAD
00002776: SWAP2
00002777: POP
00002778: PUSH1 0x60
0000277a: DUP6
0000277b: ADD
0000277c: CALLDATALOAD
0000277d: PUSH8 0xffffffffffffffff
00002786: DUP2
00002787: AND
00002788: DUP2
00002789: EQ
0000278a: PUSH2 0x2792
0000278d: JUMPI
0000278e: PUSH1 0x00
00002790: DUP1
00002791: REVERT
00002792: JUMPDEST
00002793: SWAP4
00002794: SWAP7
00002795: SWAP3
00002796: SWAP6
00002797: POP
00002798: SWAP1
00002799: SWAP4
0000279a: POP
0000279b: POP
0000279c: JUMP
0000279d: JUMPDEST
0000279e: PUSH1 0x00
000027a0: DUP1
000027a1: PUSH1 0x00
000027a3: PUSH1 0x60
000027a5: DUP5
000027a6: DUP7
000027a7: SUB
000027a8: SLT
000027a9: ISZERO
000027aa: PUSH2 0x27b2
000027ad: JUMPI
000027ae: PUSH1 0x00
000027b0: DUP1
000027b1: REVERT
000027b2: JUMPDEST
000027b3: DUP4
000027b4: CALLDATALOAD
000027b5: PUSH2 0x27bd
000027b8: DUP2
000027b9: PUSH2 0x25f9
000027bc: JUMP
000027bd: JUMPDEST
000027be: SWAP3
000027bf: POP
000027c0: PUSH1 0x20
000027c2: DUP5
000027c3: ADD
000027c4: CALLDATALOAD
000027c5: PUSH2 0x27cd
000027c8: DUP2
000027c9: PUSH2 0x25f9
000027cc: JUMP
000027cd: JUMPDEST
000027ce: SWAP3
000027cf: SWAP6
000027d0: SWAP3
000027d1: SWAP5
000027d2: POP
000027d3: POP
000027d4: POP
000027d5: PUSH1 0x40
000027d7: SWAP2
000027d8: SWAP1
000027d9: SWAP2
000027da: ADD
000027db: CALLDATALOAD
000027dc: SWAP1
000027dd: JUMP
000027de: JUMPDEST
000027df: PUSH1 0x20
000027e1: DUP1
000027e2: DUP3
000027e3: MSTORE
000027e4: DUP3
000027e5: MLOAD
000027e6: DUP3
000027e7: DUP3
000027e8: ADD
000027e9: DUP2
000027ea: SWAP1
000027eb: MSTORE
000027ec: PUSH1 0x00
000027ee: SWAP2
000027ef: DUP5
000027f0: ADD
000027f1: SWAP1
000027f2: PUSH1 0x40
000027f4: DUP5
000027f5: ADD
000027f6: SWAP1
000027f7: DUP4
000027f8: JUMPDEST
000027f9: DUP2
000027fa: DUP2
000027fb: LT
000027fc: ISZERO
000027fd: PUSH2 0x281f
00002800: JUMPI
00002801: DUP4
00002802: MLOAD
00002803: PUSH1 0x01
00002805: PUSH1 0x01
00002807: PUSH1 0xa0
00002809: SHL
0000280a: SUB
0000280b: AND
0000280c: DUP4
0000280d: MSTORE
0000280e: PUSH1 0x20
00002810: SWAP4
00002811: DUP5
00002812: ADD
00002813: SWAP4
00002814: SWAP1
00002815: SWAP3
00002816: ADD
00002817: SWAP2
00002818: PUSH1 0x01
0000281a: ADD
0000281b: PUSH2 0x27f8
0000281e: JUMP
0000281f: JUMPDEST
00002820: POP
00002821: SWAP1
00002822: SWAP6
00002823: SWAP5
00002824: POP
00002825: POP
00002826: POP
00002827: POP
00002828: POP
00002829: JUMP
0000282a: JUMPDEST
0000282b: PUSH1 0x00
0000282d: JUMPDEST
0000282e: DUP4
0000282f: DUP2
00002830: LT
00002831: ISZERO
00002832: PUSH2 0x2845
00002835: JUMPI
00002836: DUP2
00002837: DUP2
00002838: ADD
00002839: MLOAD
0000283a: DUP4
0000283b: DUP3
0000283c: ADD
0000283d: MSTORE
0000283e: PUSH1 0x20
00002840: ADD
00002841: PUSH2 0x282d
00002844: JUMP
00002845: JUMPDEST
00002846: POP
00002847: POP
00002848: PUSH1 0x00
0000284a: SWAP2
0000284b: ADD
0000284c: MSTORE
0000284d: JUMP
0000284e: JUMPDEST
0000284f: PUSH1 0x20
00002851: DUP2
00002852: MSTORE
00002853: PUSH1 0x00
00002855: DUP3
00002856: MLOAD
00002857: DUP1
00002858: PUSH1 0x20
0000285a: DUP5
0000285b: ADD
0000285c: MSTORE
0000285d: PUSH2 0x286d
00002860: DUP2
00002861: PUSH1 0x40
00002863: DUP6
00002864: ADD
00002865: PUSH1 0x20
00002867: DUP8
00002868: ADD
00002869: PUSH2 0x282a
0000286c: JUMP
0000286d: JUMPDEST
0000286e: PUSH1 0x1f
00002870: ADD
00002871: PUSH1 0x1f
00002873: NOT
00002874: AND
00002875: SWAP2
00002876: SWAP1
00002877: SWAP2
00002878: ADD
00002879: PUSH1 0x40
0000287b: ADD
0000287c: SWAP3
0000287d: SWAP2
0000287e: POP
0000287f: POP
00002880: JUMP
00002881: JUMPDEST
00002882: PUSH4 0x4e487b71
00002887: PUSH1 0xe0
00002889: SHL
0000288a: PUSH1 0x00
0000288c: MSTORE
0000288d: PUSH1 0x11
0000288f: PUSH1 0x04
00002891: MSTORE
00002892: PUSH1 0x24
00002894: PUSH1 0x00
00002896: REVERT
00002897: JUMPDEST
00002898: DUP2
00002899: DUP2
0000289a: SUB
0000289b: DUP2
0000289c: DUP2
0000289d: GT
0000289e: ISZERO
0000289f: PUSH2 0x0a89
000028a2: JUMPI
000028a3: PUSH2 0x0a89
000028a6: PUSH2 0x2881
000028a9: JUMP
000028aa: JUMPDEST
000028ab: PUSH4 0x4e487b71
000028b0: PUSH1 0xe0
000028b2: SHL
000028b3: PUSH1 0x00
000028b5: MSTORE
000028b6: PUSH1 0x32
000028b8: PUSH1 0x04
000028ba: MSTORE
000028bb: PUSH1 0x24
000028bd: PUSH1 0x00
000028bf: REVERT
000028c0: JUMPDEST
000028c1: PUSH4 0x4e487b71
000028c6: PUSH1 0xe0
000028c8: SHL
000028c9: PUSH1 0x00
000028cb: MSTORE
000028cc: PUSH1 0x31
000028ce: PUSH1 0x04
000028d0: MSTORE
000028d1: PUSH1 0x24
000028d3: PUSH1 0x00
000028d5: REVERT
000028d6: JUMPDEST
000028d7: DUP1
000028d8: DUP3
000028d9: ADD
000028da: DUP1
000028db: DUP3
000028dc: GT
000028dd: ISZERO
000028de: PUSH2 0x0a89
000028e1: JUMPI
000028e2: PUSH2 0x0a89
000028e5: PUSH2 0x2881
000028e8: JUMP
000028e9: JUMPDEST
000028ea: PUSH1 0x00
000028ec: PUSH1 0x20
000028ee: DUP3
000028ef: DUP5
000028f0: SUB
000028f1: SLT
000028f2: ISZERO
000028f3: PUSH2 0x28fb
000028f6: JUMPI
000028f7: PUSH1 0x00
000028f9: DUP1
000028fa: REVERT
000028fb: JUMPDEST
000028fc: POP
000028fd: MLOAD
000028fe: SWAP2
000028ff: SWAP1
00002900: POP
00002901: JUMP
00002902: JUMPDEST
00002903: PUSH1 0x00
00002905: PUSH1 0x20
00002907: DUP3
00002908: DUP5
00002909: SUB
0000290a: SLT
0000290b: ISZERO
0000290c: PUSH2 0x2914
0000290f: JUMPI
00002910: PUSH1 0x00
00002912: DUP1
00002913: REVERT
00002914: JUMPDEST
00002915: DUP2
00002916: MLOAD
00002917: DUP1
00002918: ISZERO
00002919: ISZERO
0000291a: DUP2
0000291b: EQ
0000291c: PUSH2 0x256e
0000291f: JUMPI
00002920: PUSH1 0x00
00002922: DUP1
00002923: REVERT
00002924: JUMPDEST
00002925: PUSH1 0x00
00002927: DUP3
00002928: MLOAD
00002929: PUSH2 0x2936
0000292c: DUP2
0000292d: DUP5
0000292e: PUSH1 0x20
00002930: DUP8
00002931: ADD
00002932: PUSH2 0x282a
00002935: JUMP
00002936: JUMPDEST
00002937: SWAP2
00002938: SWAP1
00002939: SWAP2
0000293a: ADD
0000293b: SWAP3
0000293c: SWAP2
0000293d: POP
0000293e: POP
0000293f: JUMP
00002940: INVALID
00002941: LOG2
00002942: PUSH5 0x6970667358
00002948: UNKNOWN(0x22)
00002949: SLT
0000294a: KECCAK256
0000294b: ADDRESS
0000294c: NOT
0000294d: SMOD
0000294e: UNKNOWN(0xE4)
0000294f: RETURNDATACOPY
00002950: UNKNOWN(0xEF)
00002951: SWAP14
00002952: CALLDATASIZE
00002953: PUSH3 0x976d9d
00002957: SIGNEXTEND
00002958: CALLVALUE
00002959: DIFFICULTY
0000295a: UNKNOWN(0xD4)
0000295b: CREATE2
0000295c: PUSH5 0xaa37b72000
00002962: UNKNOWN(0xC1)
00002963: COINBASE
00002964: CALLDATASIZE
00002965: DUP12
00002966: UNKNOWN(0x27)
00002967: SHR
00002968: DUP14
00002969: PUSH24

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xf91c2ba0d47af0bc27bca729200abda4db9927351ea7fdb8cfb93ac234d5ca68 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xf91c2ba0d47af0bc27bca729200abda4db9927351ea7fdb8cfb93ac234d5ca68", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe75235b8", "selector": "0xe75235b8", "calldata_variants": [ "0xe75235b8", "0xe75235b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb12d61e", "selector": "0xeb12d61e", "calldata_variants": [ "0xeb12d61e", "0xeb12d61e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbf64a7", "selector": "0xefbf64a7", "calldata_variants": [ "0xefbf64a7", "0xefbf64a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52cb36a", "selector": "0xe52cb36a", "calldata_variants": [ "0xe52cb36a", "0xe52cb36a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe63ab1e9", "selector": "0xe63ab1e9", "calldata_variants": [ "0xe63ab1e9", "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb715be81", "selector": "0xb715be81", "calldata_variants": [ "0xb715be81", "0xb715be810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda35a26f", "selector": "0xda35a26f", "calldata_variants": [ "0xda35a26f", "0xda35a26f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9305, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x0bee8767ebbc690485b7a4b319c5c75181ce141b6672143b67ee77b6d190ce18 call_targets: 0xa353ccd135da53687bb44cede608bb90deacd7cc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0bee8767ebbc690485b7a4b319c5c75181ce141b6672143b67ee77b6d190ce18", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa353ccd135da53687bb44cede608bb90deacd7cc" ], "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": "0xe75235b8", "selector": "0xe75235b8", "calldata_variants": [ "0xe75235b8", "0xe75235b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb12d61e", "selector": "0xeb12d61e", "calldata_variants": [ "0xeb12d61e", "0xeb12d61e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbf64a7", "selector": "0xefbf64a7", "calldata_variants": [ "0xefbf64a7", "0xefbf64a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52cb36a", "selector": "0xe52cb36a", "calldata_variants": [ "0xe52cb36a", "0xe52cb36a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe63ab1e9", "selector": "0xe63ab1e9", "calldata_variants": [ "0xe63ab1e9", "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb715be81", "selector": "0xb715be81", "calldata_variants": [ "0xb715be81", "0xb715be810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda35a26f", "selector": "0xda35a26f", "calldata_variants": [ "0xda35a26f", "0xda35a26f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7649, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7791, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x0bee8767ebbc690485b7a4b319c5c75181ce141b6672143b67ee77b6d190ce18 call_targets: 0xa353ccd135da53687bb44cede608bb90deacd7cc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0bee8767ebbc690485b7a4b319c5c75181ce141b6672143b67ee77b6d190ce18", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa353ccd135da53687bb44cede608bb90deacd7cc" ], "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": "0xe75235b8", "selector": "0xe75235b8", "calldata_variants": [ "0xe75235b8", "0xe75235b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb12d61e", "selector": "0xeb12d61e", "calldata_variants": [ "0xeb12d61e", "0xeb12d61e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbf64a7", "selector": "0xefbf64a7", "calldata_variants": [ "0xefbf64a7", "0xefbf64a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52cb36a", "selector": "0xe52cb36a", "calldata_variants": [ "0xe52cb36a", "0xe52cb36a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe63ab1e9", "selector": "0xe63ab1e9", "calldata_variants": [ "0xe63ab1e9", "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb715be81", "selector": "0xb715be81", "calldata_variants": [ "0xb715be81", "0xb715be810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda35a26f", "selector": "0xda35a26f", "calldata_variants": [ "0xda35a26f", "0xda35a26f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7649, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7791, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x85288e04db024a21b77ed53318ea376fa56bc5eef4bd19feb8f15c2187e4ecfe validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x85288e04db024a21b77ed53318ea376fa56bc5eef4bd19feb8f15c2187e4ecfe", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe75235b8", "selector": "0xe75235b8", "calldata_variants": [ "0xe75235b8", "0xe75235b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb12d61e", "selector": "0xeb12d61e", "calldata_variants": [ "0xeb12d61e", "0xeb12d61e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbf64a7", "selector": "0xefbf64a7", "calldata_variants": [ "0xefbf64a7", "0xefbf64a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52cb36a", "selector": "0xe52cb36a", "calldata_variants": [ "0xe52cb36a", "0xe52cb36a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe63ab1e9", "selector": "0xe63ab1e9", "calldata_variants": [ "0xe63ab1e9", "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb715be81", "selector": "0xb715be81", "calldata_variants": [ "0xb715be81", "0xb715be810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda35a26f", "selector": "0xda35a26f", "calldata_variants": [ "0xda35a26f", "0xda35a26f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }
medium	upgradeability	cast	DELEGATECALL present	80	no	—	view evidence_json { "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns", "delegatecall_count": 1 }
low	other	cast	Contract creation opcode present	60	no	—	view evidence_json { "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2", "create_count": 0, "create2_count": 1 }
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": 6 }