Analysis Run

019b3844-97bf-7047-a1d6-6386a3fd48ae

complete

Chain ID

1

Address

0xaedec86dede3ded9562fb00ada623c0e9beeb951

Block Number

—

Created

Fri, Dec 19, 2025 8:19 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value 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
13781	artifact.fetch	complete	1 / 3	4 months ago
13782	tool.cast_disasm	complete	1 / 3	4 months ago
85520	analysis.bundle	complete	1 / 3	2 weeks ago
85521	capability.graph	complete	1 / 3	2 weeks ago
85522	detector.run	complete	1 / 3	2 weeks ago
85523	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

7

EXT*/BALANCE

5

Total opcodes

5983

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01d1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x91d14854
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd0e30db0
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf1a7ccfd
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf1a7ccfd
0000003a: EQ
0000003b: PUSH2 0x097d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf58bfed3
00000045: EQ
00000046: PUSH2 0x09ee
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfa09e630
00000050: EQ
00000051: PUSH2 0x0a19
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfd68d5bf
0000005b: EQ
0000005c: PUSH2 0x0a6a
0000005f: JUMPI
00000060: PUSH2 0x01e0
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd0e30db0
0000006b: EQ
0000006c: PUSH2 0x0876
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd547741f
00000076: EQ
00000077: PUSH2 0x0880
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd6ea4c10
00000081: EQ
00000082: PUSH2 0x08db
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe560ce9c
0000008c: EQ
0000008d: PUSH2 0x092c
00000090: JUMPI
00000091: PUSH2 0x01e0
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xa114a5d2
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa114a5d2
000000a7: EQ
000000a8: PUSH2 0x06fd
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa217fddf
000000b2: EQ
000000b3: PUSH2 0x0797
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb13820a7
000000bd: EQ
000000be: PUSH2 0x07c2
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xca15c873
000000c8: EQ
000000c9: PUSH2 0x0827
000000cc: JUMPI
000000cd: PUSH2 0x01e0
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x91d14854
000000d8: EQ
000000d9: PUSH2 0x0610
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x9bf70abd
000000e3: EQ
000000e4: PUSH2 0x0681
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x9ebd9115
000000ee: EQ
000000ef: PUSH2 0x06ac
000000f2: JUMPI
000000f3: PUSH2 0x01e0
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x3a1d2d02
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x7252bbf2
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x7252bbf2
00000114: EQ
00000115: PUSH2 0x04e4
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x896f1a95
0000011f: EQ
00000120: PUSH2 0x0549
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x8a95a746
0000012a: EQ
0000012b: PUSH2 0x0560
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x9010d07c
00000135: EQ
00000136: PUSH2 0x05a1
00000139: JUMPI
0000013a: PUSH2 0x01e0
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x3a1d2d02
00000145: EQ
00000146: PUSH2 0x03dc
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x47786d37
00000150: EQ
00000151: PUSH2 0x042d
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x554d578d
0000015b: EQ
0000015c: PUSH2 0x0468
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x67d6f65f
00000166: EQ
00000167: PUSH2 0x0493
0000016a: JUMPI
0000016b: PUSH2 0x01e0
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x355274ea
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x355274ea
00000181: EQ
00000182: PUSH2 0x02ba
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x36118b52
0000018c: EQ
0000018d: PUSH2 0x02e5
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x36568abe
00000197: EQ
00000198: PUSH2 0x0340
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x36f58588
000001a2: EQ
000001a3: PUSH2 0x039b
000001a6: JUMPI
000001a7: PUSH2 0x01e0
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x092c5b3b
000001b2: EQ
000001b3: PUSH2 0x01e5
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x248a9ca3
000001bd: EQ
000001be: PUSH2 0x0210
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x2f2ff15d
000001c8: EQ
000001c9: PUSH2 0x025f
000001cc: JUMPI
000001cd: PUSH2 0x01e0
000001d0: JUMP
000001d1: JUMPDEST
000001d2: CALLDATASIZE
000001d3: PUSH2 0x01e0
000001d6: JUMPI
000001d7: PUSH2 0x01de
000001da: PUSH2 0x0aab
000001dd: JUMP
000001de: JUMPDEST
000001df: STOP
000001e0: JUMPDEST
000001e1: PUSH1 0x00
000001e3: DUP1
000001e4: REVERT
000001e5: JUMPDEST
000001e6: CALLVALUE
000001e7: DUP1
000001e8: ISZERO
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: POP
000001f3: PUSH2 0x01fa
000001f6: PUSH2 0x0d99
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: DUP1
000001ff: DUP3
00000200: DUP2
00000201: MSTORE
00000202: PUSH1 0x20
00000204: ADD
00000205: SWAP2
00000206: POP
00000207: POP
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: DUP1
0000020c: SWAP2
0000020d: SUB
0000020e: SWAP1
0000020f: RETURN
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH2 0x0249
00000221: PUSH1 0x04
00000223: DUP1
00000224: CALLDATASIZE
00000225: SUB
00000226: PUSH1 0x20
00000228: DUP2
00000229: LT
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: DUP2
00000235: ADD
00000236: SWAP1
00000237: DUP1
00000238: DUP1
00000239: CALLDATALOAD
0000023a: SWAP1
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP1
0000023f: SWAP3
00000240: SWAP2
00000241: SWAP1
00000242: POP
00000243: POP
00000244: POP
00000245: PUSH2 0x0da0
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: DUP1
0000024e: DUP3
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP2
00000255: POP
00000256: POP
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: DUP1
0000025b: SWAP2
0000025c: SUB
0000025d: SWAP1
0000025e: RETURN
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: PUSH2 0x02b8
00000270: PUSH1 0x04
00000272: DUP1
00000273: CALLDATASIZE
00000274: SUB
00000275: PUSH1 0x40
00000277: DUP2
00000278: LT
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: DUP2
00000284: ADD
00000285: SWAP1
00000286: DUP1
00000287: DUP1
00000288: CALLDATALOAD
00000289: SWAP1
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: SWAP1
0000028e: SWAP3
0000028f: SWAP2
00000290: SWAP1
00000291: DUP1
00000292: CALLDATALOAD
00000293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a8: AND
000002a9: SWAP1
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: SWAP1
000002ae: SWAP3
000002af: SWAP2
000002b0: SWAP1
000002b1: POP
000002b2: POP
000002b3: POP
000002b4: PUSH2 0x0dbf
000002b7: JUMP
000002b8: JUMPDEST
000002b9: STOP
000002ba: JUMPDEST
000002bb: CALLVALUE
000002bc: DUP1
000002bd: ISZERO
000002be: PUSH2 0x02c6
000002c1: JUMPI
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: POP
000002c8: PUSH2 0x02cf
000002cb: PUSH2 0x0e48
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH1 0x40
000002d2: MLOAD
000002d3: DUP1
000002d4: DUP3
000002d5: DUP2
000002d6: MSTORE
000002d7: PUSH1 0x20
000002d9: ADD
000002da: SWAP2
000002db: POP
000002dc: POP
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: DUP1
000002e1: SWAP2
000002e2: SUB
000002e3: SWAP1
000002e4: RETURN
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x033e
000002f6: PUSH1 0x04
000002f8: DUP1
000002f9: CALLDATASIZE
000002fa: SUB
000002fb: PUSH1 0x40
000002fd: DUP2
000002fe: LT
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: DUP2
0000030a: ADD
0000030b: SWAP1
0000030c: DUP1
0000030d: DUP1
0000030e: CALLDATALOAD
0000030f: SWAP1
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP1
00000314: SWAP3
00000315: SWAP2
00000316: SWAP1
00000317: DUP1
00000318: CALLDATALOAD
00000319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032e: AND
0000032f: SWAP1
00000330: PUSH1 0x20
00000332: ADD
00000333: SWAP1
00000334: SWAP3
00000335: SWAP2
00000336: SWAP1
00000337: POP
00000338: POP
00000339: POP
0000033a: PUSH2 0x0e4e
0000033d: JUMP
0000033e: JUMPDEST
0000033f: STOP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034c
00000347: JUMPI
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: POP
0000034e: PUSH2 0x0399
00000351: PUSH1 0x04
00000353: DUP1
00000354: CALLDATASIZE
00000355: SUB
00000356: PUSH1 0x40
00000358: DUP2
00000359: LT
0000035a: ISZERO
0000035b: PUSH2 0x0363
0000035e: JUMPI
0000035f: PUSH1 0x00
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: DUP2
00000365: ADD
00000366: SWAP1
00000367: DUP1
00000368: DUP1
00000369: CALLDATALOAD
0000036a: SWAP1
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP1
0000036f: SWAP3
00000370: SWAP2
00000371: SWAP1
00000372: DUP1
00000373: CALLDATALOAD
00000374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000389: AND
0000038a: SWAP1
0000038b: PUSH1 0x20
0000038d: ADD
0000038e: SWAP1
0000038f: SWAP3
00000390: SWAP2
00000391: SWAP1
00000392: POP
00000393: POP
00000394: POP
00000395: PUSH2 0x112b
00000398: JUMP
00000399: JUMPDEST
0000039a: STOP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x03b0
000003ac: PUSH2 0x11c4
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH1 0x40
000003b3: MLOAD
000003b4: DUP1
000003b5: DUP3
000003b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003cb: AND
000003cc: DUP2
000003cd: MSTORE
000003ce: PUSH1 0x20
000003d0: ADD
000003d1: SWAP2
000003d2: POP
000003d3: POP
000003d4: PUSH1 0x40
000003d6: MLOAD
000003d7: DUP1
000003d8: SWAP2
000003d9: SUB
000003da: SWAP1
000003db: RETURN
000003dc: JUMPDEST
000003dd: CALLVALUE
000003de: DUP1
000003df: ISZERO
000003e0: PUSH2 0x03e8
000003e3: JUMPI
000003e4: PUSH1 0x00
000003e6: DUP1
000003e7: REVERT
000003e8: JUMPDEST
000003e9: POP
000003ea: PUSH2 0x042b
000003ed: PUSH1 0x04
000003ef: DUP1
000003f0: CALLDATASIZE
000003f1: SUB
000003f2: PUSH1 0x20
000003f4: DUP2
000003f5: LT
000003f6: ISZERO
000003f7: PUSH2 0x03ff
000003fa: JUMPI
000003fb: PUSH1 0x00
000003fd: DUP1
000003fe: REVERT
000003ff: JUMPDEST
00000400: DUP2
00000401: ADD
00000402: SWAP1
00000403: DUP1
00000404: DUP1
00000405: CALLDATALOAD
00000406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041b: AND
0000041c: SWAP1
0000041d: PUSH1 0x20
0000041f: ADD
00000420: SWAP1
00000421: SWAP3
00000422: SWAP2
00000423: SWAP1
00000424: POP
00000425: POP
00000426: POP
00000427: PUSH2 0x11ea
0000042a: JUMP
0000042b: JUMPDEST
0000042c: STOP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: DUP1
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: POP
0000043b: PUSH2 0x0466
0000043e: PUSH1 0x04
00000440: DUP1
00000441: CALLDATASIZE
00000442: SUB
00000443: PUSH1 0x20
00000445: DUP2
00000446: LT
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: DUP2
00000452: ADD
00000453: SWAP1
00000454: DUP1
00000455: DUP1
00000456: CALLDATALOAD
00000457: SWAP1
00000458: PUSH1 0x20
0000045a: ADD
0000045b: SWAP1
0000045c: SWAP3
0000045d: SWAP2
0000045e: SWAP1
0000045f: POP
00000460: POP
00000461: POP
00000462: PUSH2 0x12af
00000465: JUMP
00000466: JUMPDEST
00000467: STOP
00000468: JUMPDEST
00000469: CALLVALUE
0000046a: DUP1
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: PUSH2 0x047d
00000479: PUSH2 0x138e
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x40
00000480: MLOAD
00000481: DUP1
00000482: DUP3
00000483: DUP2
00000484: MSTORE
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP2
00000489: POP
0000048a: POP
0000048b: PUSH1 0x40
0000048d: MLOAD
0000048e: DUP1
0000048f: SWAP2
00000490: SUB
00000491: SWAP1
00000492: RETURN
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH2 0x04e2
000004a4: PUSH1 0x04
000004a6: DUP1
000004a7: CALLDATASIZE
000004a8: SUB
000004a9: PUSH1 0x20
000004ab: DUP2
000004ac: LT
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: DUP2
000004b8: ADD
000004b9: SWAP1
000004ba: DUP1
000004bb: DUP1
000004bc: CALLDATALOAD
000004bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d2: AND
000004d3: SWAP1
000004d4: PUSH1 0x20
000004d6: ADD
000004d7: SWAP1
000004d8: SWAP3
000004d9: SWAP2
000004da: SWAP1
000004db: POP
000004dc: POP
000004dd: POP
000004de: PUSH2 0x1398
000004e1: JUMP
000004e2: JUMPDEST
000004e3: STOP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x0533
000004f5: PUSH1 0x04
000004f7: DUP1
000004f8: CALLDATASIZE
000004f9: SUB
000004fa: PUSH1 0x20
000004fc: DUP2
000004fd: LT
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: DUP2
00000509: ADD
0000050a: SWAP1
0000050b: DUP1
0000050c: DUP1
0000050d: CALLDATALOAD
0000050e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000523: AND
00000524: SWAP1
00000525: PUSH1 0x20
00000527: ADD
00000528: SWAP1
00000529: SWAP3
0000052a: SWAP2
0000052b: SWAP1
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: PUSH2 0x145d
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x40
00000536: MLOAD
00000537: DUP1
00000538: DUP3
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: SWAP2
0000053f: POP
00000540: POP
00000541: PUSH1 0x40
00000543: MLOAD
00000544: DUP1
00000545: SWAP2
00000546: SUB
00000547: SWAP1
00000548: RETURN
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: DUP1
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH2 0x055e
0000055a: PUSH2 0x1475
0000055d: JUMP
0000055e: JUMPDEST
0000055f: STOP
00000560: JUMPDEST
00000561: CALLVALUE
00000562: DUP1
00000563: ISZERO
00000564: PUSH2 0x056c
00000567: JUMPI
00000568: PUSH1 0x00
0000056a: DUP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: POP
0000056e: PUSH2 0x0575
00000571: PUSH2 0x1553
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: MLOAD
00000579: DUP1
0000057a: DUP3
0000057b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000590: AND
00000591: DUP2
00000592: MSTORE
00000593: PUSH1 0x20
00000595: ADD
00000596: SWAP2
00000597: POP
00000598: POP
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: DUP1
0000059d: SWAP2
0000059e: SUB
0000059f: SWAP1
000005a0: RETURN
000005a1: JUMPDEST
000005a2: CALLVALUE
000005a3: DUP1
000005a4: ISZERO
000005a5: PUSH2 0x05ad
000005a8: JUMPI
000005a9: PUSH1 0x00
000005ab: DUP1
000005ac: REVERT
000005ad: JUMPDEST
000005ae: POP
000005af: PUSH2 0x05e4
000005b2: PUSH1 0x04
000005b4: DUP1
000005b5: CALLDATASIZE
000005b6: SUB
000005b7: PUSH1 0x40
000005b9: DUP2
000005ba: LT
000005bb: ISZERO
000005bc: PUSH2 0x05c4
000005bf: JUMPI
000005c0: PUSH1 0x00
000005c2: DUP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: DUP2
000005c6: ADD
000005c7: SWAP1
000005c8: DUP1
000005c9: DUP1
000005ca: CALLDATALOAD
000005cb: SWAP1
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: SWAP1
000005d0: SWAP3
000005d1: SWAP2
000005d2: SWAP1
000005d3: DUP1
000005d4: CALLDATALOAD
000005d5: SWAP1
000005d6: PUSH1 0x20
000005d8: ADD
000005d9: SWAP1
000005da: SWAP3
000005db: SWAP2
000005dc: SWAP1
000005dd: POP
000005de: POP
000005df: POP
000005e0: PUSH2 0x1579
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: DUP1
000005e9: DUP3
000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ff: AND
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: SWAP2
00000606: POP
00000607: POP
00000608: PUSH1 0x40
0000060a: MLOAD
0000060b: DUP1
0000060c: SWAP2
0000060d: SUB
0000060e: SWAP1
0000060f: RETURN
00000610: JUMPDEST
00000611: CALLVALUE
00000612: DUP1
00000613: ISZERO
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH2 0x0669
00000621: PUSH1 0x04
00000623: DUP1
00000624: CALLDATASIZE
00000625: SUB
00000626: PUSH1 0x40
00000628: DUP2
00000629: LT
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: DUP2
00000635: ADD
00000636: SWAP1
00000637: DUP1
00000638: DUP1
00000639: CALLDATALOAD
0000063a: SWAP1
0000063b: PUSH1 0x20
0000063d: ADD
0000063e: SWAP1
0000063f: SWAP3
00000640: SWAP2
00000641: SWAP1
00000642: DUP1
00000643: CALLDATALOAD
00000644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000659: AND
0000065a: SWAP1
0000065b: PUSH1 0x20
0000065d: ADD
0000065e: SWAP1
0000065f: SWAP3
00000660: SWAP2
00000661: SWAP1
00000662: POP
00000663: POP
00000664: POP
00000665: PUSH2 0x15aa
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH1 0x40
0000066c: MLOAD
0000066d: DUP1
0000066e: DUP3
0000066f: ISZERO
00000670: ISZERO
00000671: DUP2
00000672: MSTORE
00000673: PUSH1 0x20
00000675: ADD
00000676: SWAP2
00000677: POP
00000678: POP
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: DUP1
0000067d: SWAP2
0000067e: SUB
0000067f: SWAP1
00000680: RETURN
00000681: JUMPDEST
00000682: CALLVALUE
00000683: DUP1
00000684: ISZERO
00000685: PUSH2 0x068d
00000688: JUMPI
00000689: PUSH1 0x00
0000068b: DUP1
0000068c: REVERT
0000068d: JUMPDEST
0000068e: POP
0000068f: PUSH2 0x0696
00000692: PUSH2 0x15db
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH1 0x40
00000699: MLOAD
0000069a: DUP1
0000069b: DUP3
0000069c: DUP2
0000069d: MSTORE
0000069e: PUSH1 0x20
000006a0: ADD
000006a1: SWAP2
000006a2: POP
000006a3: POP
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: DUP1
000006a8: SWAP2
000006a9: SUB
000006aa: SWAP1
000006ab: RETURN
000006ac: JUMPDEST
000006ad: CALLVALUE
000006ae: DUP1
000006af: ISZERO
000006b0: PUSH2 0x06b8
000006b3: JUMPI
000006b4: PUSH1 0x00
000006b6: DUP1
000006b7: REVERT
000006b8: JUMPDEST
000006b9: POP
000006ba: PUSH2 0x06fb
000006bd: PUSH1 0x04
000006bf: DUP1
000006c0: CALLDATASIZE
000006c1: SUB
000006c2: PUSH1 0x20
000006c4: DUP2
000006c5: LT
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: DUP2
000006d1: ADD
000006d2: SWAP1
000006d3: DUP1
000006d4: DUP1
000006d5: CALLDATALOAD
000006d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006eb: AND
000006ec: SWAP1
000006ed: PUSH1 0x20
000006ef: ADD
000006f0: SWAP1
000006f1: SWAP3
000006f2: SWAP2
000006f3: SWAP1
000006f4: POP
000006f5: POP
000006f6: POP
000006f7: PUSH2 0x1636
000006fa: JUMP
000006fb: JUMPDEST
000006fc: STOP
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x0795
0000070e: PUSH1 0x04
00000710: DUP1
00000711: CALLDATASIZE
00000712: SUB
00000713: PUSH1 0x60
00000715: DUP2
00000716: LT
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: DUP2
00000722: ADD
00000723: SWAP1
00000724: DUP1
00000725: DUP1
00000726: CALLDATALOAD
00000727: SWAP1
00000728: PUSH1 0x20
0000072a: ADD
0000072b: SWAP1
0000072c: PUSH5 0x0100000000
00000732: DUP2
00000733: GT
00000734: ISZERO
00000735: PUSH2 0x073d
00000738: JUMPI
00000739: PUSH1 0x00
0000073b: DUP1
0000073c: REVERT
0000073d: JUMPDEST
0000073e: DUP3
0000073f: ADD
00000740: DUP4
00000741: PUSH1 0x20
00000743: DUP3
00000744: ADD
00000745: GT
00000746: ISZERO
00000747: PUSH2 0x074f
0000074a: JUMPI
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: DUP1
00000751: CALLDATALOAD
00000752: SWAP1
00000753: PUSH1 0x20
00000755: ADD
00000756: SWAP2
00000757: DUP5
00000758: PUSH1 0x20
0000075a: DUP4
0000075b: MUL
0000075c: DUP5
0000075d: ADD
0000075e: GT
0000075f: PUSH5 0x0100000000
00000765: DUP4
00000766: GT
00000767: OR
00000768: ISZERO
00000769: PUSH2 0x0771
0000076c: JUMPI
0000076d: PUSH1 0x00
0000076f: DUP1
00000770: REVERT
00000771: JUMPDEST
00000772: SWAP1
00000773: SWAP2
00000774: SWAP3
00000775: SWAP4
00000776: SWAP2
00000777: SWAP3
00000778: SWAP4
00000779: SWAP1
0000077a: DUP1
0000077b: CALLDATALOAD
0000077c: SWAP1
0000077d: PUSH1 0x20
0000077f: ADD
00000780: SWAP1
00000781: SWAP3
00000782: SWAP2
00000783: SWAP1
00000784: DUP1
00000785: CALLDATALOAD
00000786: SWAP1
00000787: PUSH1 0x20
00000789: ADD
0000078a: SWAP1
0000078b: SWAP3
0000078c: SWAP2
0000078d: SWAP1
0000078e: POP
0000078f: POP
00000790: POP
00000791: PUSH2 0x180c
00000794: JUMP
00000795: JUMPDEST
00000796: STOP
00000797: JUMPDEST
00000798: CALLVALUE
00000799: DUP1
0000079a: ISZERO
0000079b: PUSH2 0x07a3
0000079e: JUMPI
0000079f: PUSH1 0x00
000007a1: DUP1
000007a2: REVERT
000007a3: JUMPDEST
000007a4: POP
000007a5: PUSH2 0x07ac
000007a8: PUSH2 0x208f
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH1 0x40
000007af: MLOAD
000007b0: DUP1
000007b1: DUP3
000007b2: DUP2
000007b3: MSTORE
000007b4: PUSH1 0x20
000007b6: ADD
000007b7: SWAP2
000007b8: POP
000007b9: POP
000007ba: PUSH1 0x40
000007bc: MLOAD
000007bd: DUP1
000007be: SWAP2
000007bf: SUB
000007c0: SWAP1
000007c1: RETURN
000007c2: JUMPDEST
000007c3: CALLVALUE
000007c4: DUP1
000007c5: ISZERO
000007c6: PUSH2 0x07ce
000007c9: JUMPI
000007ca: PUSH1 0x00
000007cc: DUP1
000007cd: REVERT
000007ce: JUMPDEST
000007cf: POP
000007d0: PUSH2 0x0811
000007d3: PUSH1 0x04
000007d5: DUP1
000007d6: CALLDATASIZE
000007d7: SUB
000007d8: PUSH1 0x20
000007da: DUP2
000007db: LT
000007dc: ISZERO
000007dd: PUSH2 0x07e5
000007e0: JUMPI
000007e1: PUSH1 0x00
000007e3: DUP1
000007e4: REVERT
000007e5: JUMPDEST
000007e6: DUP2
000007e7: ADD
000007e8: SWAP1
000007e9: DUP1
000007ea: DUP1
000007eb: CALLDATALOAD
000007ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000801: AND
00000802: SWAP1
00000803: PUSH1 0x20
00000805: ADD
00000806: SWAP1
00000807: SWAP3
00000808: SWAP2
00000809: SWAP1
0000080a: POP
0000080b: POP
0000080c: POP
0000080d: PUSH2 0x2096
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x40
00000814: MLOAD
00000815: DUP1
00000816: DUP3
00000817: DUP2
00000818: MSTORE
00000819: PUSH1 0x20
0000081b: ADD
0000081c: SWAP2
0000081d: POP
0000081e: POP
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: DUP1
00000823: SWAP2
00000824: SUB
00000825: SWAP1
00000826: RETURN
00000827: JUMPDEST
00000828: CALLVALUE
00000829: DUP1
0000082a: ISZERO
0000082b: PUSH2 0x0833
0000082e: JUMPI
0000082f: PUSH1 0x00
00000831: DUP1
00000832: REVERT
00000833: JUMPDEST
00000834: POP
00000835: PUSH2 0x0860
00000838: PUSH1 0x04
0000083a: DUP1
0000083b: CALLDATASIZE
0000083c: SUB
0000083d: PUSH1 0x20
0000083f: DUP2
00000840: LT
00000841: ISZERO
00000842: PUSH2 0x084a
00000845: JUMPI
00000846: PUSH1 0x00
00000848: DUP1
00000849: REVERT
0000084a: JUMPDEST
0000084b: DUP2
0000084c: ADD
0000084d: SWAP1
0000084e: DUP1
0000084f: DUP1
00000850: CALLDATALOAD
00000851: SWAP1
00000852: PUSH1 0x20
00000854: ADD
00000855: SWAP1
00000856: SWAP3
00000857: SWAP2
00000858: SWAP1
00000859: POP
0000085a: POP
0000085b: POP
0000085c: PUSH2 0x20ae
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH1 0x40
00000863: MLOAD
00000864: DUP1
00000865: DUP3
00000866: DUP2
00000867: MSTORE
00000868: PUSH1 0x20
0000086a: ADD
0000086b: SWAP2
0000086c: POP
0000086d: POP
0000086e: PUSH1 0x40
00000870: MLOAD
00000871: DUP1
00000872: SWAP2
00000873: SUB
00000874: SWAP1
00000875: RETURN
00000876: JUMPDEST
00000877: PUSH2 0x087e
0000087a: PUSH2 0x0aab
0000087d: JUMP
0000087e: JUMPDEST
0000087f: STOP
00000880: JUMPDEST
00000881: CALLVALUE
00000882: DUP1
00000883: ISZERO
00000884: PUSH2 0x088c
00000887: JUMPI
00000888: PUSH1 0x00
0000088a: DUP1
0000088b: REVERT
0000088c: JUMPDEST
0000088d: POP
0000088e: PUSH2 0x08d9
00000891: PUSH1 0x04
00000893: DUP1
00000894: CALLDATASIZE
00000895: SUB
00000896: PUSH1 0x40
00000898: DUP2
00000899: LT
0000089a: ISZERO
0000089b: PUSH2 0x08a3
0000089e: JUMPI
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: DUP2
000008a5: ADD
000008a6: SWAP1
000008a7: DUP1
000008a8: DUP1
000008a9: CALLDATALOAD
000008aa: SWAP1
000008ab: PUSH1 0x20
000008ad: ADD
000008ae: SWAP1
000008af: SWAP3
000008b0: SWAP2
000008b1: SWAP1
000008b2: DUP1
000008b3: CALLDATALOAD
000008b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c9: AND
000008ca: SWAP1
000008cb: PUSH1 0x20
000008cd: ADD
000008ce: SWAP1
000008cf: SWAP3
000008d0: SWAP2
000008d1: SWAP1
000008d2: POP
000008d3: POP
000008d4: POP
000008d5: PUSH2 0x20d4
000008d8: JUMP
000008d9: JUMPDEST
000008da: STOP
000008db: JUMPDEST
000008dc: CALLVALUE
000008dd: DUP1
000008de: ISZERO
000008df: PUSH2 0x08e7
000008e2: JUMPI
000008e3: PUSH1 0x00
000008e5: DUP1
000008e6: REVERT
000008e7: JUMPDEST
000008e8: POP
000008e9: PUSH2 0x092a
000008ec: PUSH1 0x04
000008ee: DUP1
000008ef: CALLDATASIZE
000008f0: SUB
000008f1: PUSH1 0x20
000008f3: DUP2
000008f4: LT
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: DUP2
00000900: ADD
00000901: SWAP1
00000902: DUP1
00000903: DUP1
00000904: CALLDATALOAD
00000905: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091a: AND
0000091b: SWAP1
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: SWAP1
00000920: SWAP3
00000921: SWAP2
00000922: SWAP1
00000923: POP
00000924: POP
00000925: POP
00000926: PUSH2 0x215d
00000929: JUMP
0000092a: JUMPDEST
0000092b: STOP
0000092c: JUMPDEST
0000092d: CALLVALUE
0000092e: DUP1
0000092f: ISZERO
00000930: PUSH2 0x0938
00000933: JUMPI
00000934: PUSH1 0x00
00000936: DUP1
00000937: REVERT
00000938: JUMPDEST
00000939: POP
0000093a: PUSH2 0x097b
0000093d: PUSH1 0x04
0000093f: DUP1
00000940: CALLDATASIZE
00000941: SUB
00000942: PUSH1 0x20
00000944: DUP2
00000945: LT
00000946: ISZERO
00000947: PUSH2 0x094f
0000094a: JUMPI
0000094b: PUSH1 0x00
0000094d: DUP1
0000094e: REVERT
0000094f: JUMPDEST
00000950: DUP2
00000951: ADD
00000952: SWAP1
00000953: DUP1
00000954: DUP1
00000955: CALLDATALOAD
00000956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096b: AND
0000096c: SWAP1
0000096d: PUSH1 0x20
0000096f: ADD
00000970: SWAP1
00000971: SWAP3
00000972: SWAP2
00000973: SWAP1
00000974: POP
00000975: POP
00000976: POP
00000977: PUSH2 0x24b6
0000097a: JUMP
0000097b: JUMPDEST
0000097c: STOP
0000097d: JUMPDEST
0000097e: CALLVALUE
0000097f: DUP1
00000980: ISZERO
00000981: PUSH2 0x0989
00000984: JUMPI
00000985: PUSH1 0x00
00000987: DUP1
00000988: REVERT
00000989: JUMPDEST
0000098a: POP
0000098b: PUSH2 0x09ec
0000098e: PUSH1 0x04
00000990: DUP1
00000991: CALLDATASIZE
00000992: SUB
00000993: PUSH1 0x40
00000995: DUP2
00000996: LT
00000997: ISZERO
00000998: PUSH2 0x09a0
0000099b: JUMPI
0000099c: PUSH1 0x00
0000099e: DUP1
0000099f: REVERT
000009a0: JUMPDEST
000009a1: DUP2
000009a2: ADD
000009a3: SWAP1
000009a4: DUP1
000009a5: DUP1
000009a6: CALLDATALOAD
000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bc: AND
000009bd: SWAP1
000009be: PUSH1 0x20
000009c0: ADD
000009c1: SWAP1
000009c2: SWAP3
000009c3: SWAP2
000009c4: SWAP1
000009c5: DUP1
000009c6: CALLDATALOAD
000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dc: AND
000009dd: SWAP1
000009de: PUSH1 0x20
000009e0: ADD
000009e1: SWAP1
000009e2: SWAP3
000009e3: SWAP2
000009e4: SWAP1
000009e5: POP
000009e6: POP
000009e7: POP
000009e8: PUSH2 0x26a2
000009eb: JUMP
000009ec: JUMPDEST
000009ed: STOP
000009ee: JUMPDEST
000009ef: CALLVALUE
000009f0: DUP1
000009f1: ISZERO
000009f2: PUSH2 0x09fa
000009f5: JUMPI
000009f6: PUSH1 0x00
000009f8: DUP1
000009f9: REVERT
000009fa: JUMPDEST
000009fb: POP
000009fc: PUSH2 0x0a03
000009ff: PUSH2 0x26b8
00000a02: JUMP
00000a03: JUMPDEST
00000a04: PUSH1 0x40
00000a06: MLOAD
00000a07: DUP1
00000a08: DUP3
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x20
00000a0d: ADD
00000a0e: SWAP2
00000a0f: POP
00000a10: POP
00000a11: PUSH1 0x40
00000a13: MLOAD
00000a14: DUP1
00000a15: SWAP2
00000a16: SUB
00000a17: SWAP1
00000a18: RETURN
00000a19: JUMPDEST
00000a1a: CALLVALUE
00000a1b: DUP1
00000a1c: ISZERO
00000a1d: PUSH2 0x0a25
00000a20: JUMPI
00000a21: PUSH1 0x00
00000a23: DUP1
00000a24: REVERT
00000a25: JUMPDEST
00000a26: POP
00000a27: PUSH2 0x0a68
00000a2a: PUSH1 0x04
00000a2c: DUP1
00000a2d: CALLDATASIZE
00000a2e: SUB
00000a2f: PUSH1 0x20
00000a31: DUP2
00000a32: LT
00000a33: ISZERO
00000a34: PUSH2 0x0a3c
00000a37: JUMPI
00000a38: PUSH1 0x00
00000a3a: DUP1
00000a3b: REVERT
00000a3c: JUMPDEST
00000a3d: DUP2
00000a3e: ADD
00000a3f: SWAP1
00000a40: DUP1
00000a41: DUP1
00000a42: CALLDATALOAD
00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a58: AND
00000a59: SWAP1
00000a5a: PUSH1 0x20
00000a5c: ADD
00000a5d: SWAP1
00000a5e: SWAP3
00000a5f: SWAP2
00000a60: SWAP1
00000a61: POP
00000a62: POP
00000a63: POP
00000a64: PUSH2 0x2713
00000a67: JUMP
00000a68: JUMPDEST
00000a69: STOP
00000a6a: JUMPDEST
00000a6b: CALLVALUE
00000a6c: DUP1
00000a6d: ISZERO
00000a6e: PUSH2 0x0a76
00000a71: JUMPI
00000a72: PUSH1 0x00
00000a74: DUP1
00000a75: REVERT
00000a76: JUMPDEST
00000a77: POP
00000a78: PUSH2 0x0a7f
00000a7b: PUSH2 0x28b2
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: PUSH1 0x40
00000a82: MLOAD
00000a83: DUP1
00000a84: DUP3
00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9a: AND
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x20
00000a9f: ADD
00000aa0: SWAP2
00000aa1: POP
00000aa2: POP
00000aa3: PUSH1 0x40
00000aa5: MLOAD
00000aa6: DUP1
00000aa7: SWAP2
00000aa8: SUB
00000aa9: SWAP1
00000aaa: RETURN
00000aab: JUMPDEST
00000aac: PUSH1 0x00
00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac3: AND
00000ac4: PUSH1 0x03
00000ac6: PUSH1 0x00
00000ac8: SWAP1
00000ac9: SLOAD
00000aca: SWAP1
00000acb: PUSH2 0x0100
00000ace: EXP
00000acf: SWAP1
00000ad0: DIV
00000ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae6: AND
00000ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afc: AND
00000afd: EQ
00000afe: ISZERO
00000aff: PUSH2 0x0b70
00000b02: JUMPI
00000b03: PUSH1 0x40
00000b05: MLOAD
00000b06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b27: DUP2
00000b28: MSTORE
00000b29: PUSH1 0x04
00000b2b: ADD
00000b2c: DUP1
00000b2d: DUP1
00000b2e: PUSH1 0x20
00000b30: ADD
00000b31: DUP3
00000b32: DUP2
00000b33: SUB
00000b34: DUP3
00000b35: MSTORE
00000b36: PUSH1 0x0b
00000b38: DUP2
00000b39: MSTORE
00000b3a: PUSH1 0x20
00000b3c: ADD
00000b3d: DUP1
00000b3e: PUSH32 0x5049455f4e4f545f534554000000000000000000000000000000000000000000
00000b5f: DUP2
00000b60: MSTORE
00000b61: POP
00000b62: PUSH1 0x20
00000b64: ADD
00000b65: SWAP2
00000b66: POP
00000b67: POP
00000b68: PUSH1 0x40
00000b6a: MLOAD
00000b6b: DUP1
00000b6c: SWAP2
00000b6d: SUB
00000b6e: SWAP1
00000b6f: REVERT
00000b70: JUMPDEST
00000b71: PUSH1 0x00
00000b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b88: AND
00000b89: PUSH1 0x04
00000b8b: PUSH1 0x00
00000b8d: SWAP1
00000b8e: SLOAD
00000b8f: SWAP1
00000b90: PUSH2 0x0100
00000b93: EXP
00000b94: SWAP1
00000b95: DIV
00000b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bab: AND
00000bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc1: AND
00000bc2: EQ
00000bc3: ISZERO
00000bc4: PUSH2 0x0c35
00000bc7: JUMPI
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bec: DUP2
00000bed: MSTORE
00000bee: PUSH1 0x04
00000bf0: ADD
00000bf1: DUP1
00000bf2: DUP1
00000bf3: PUSH1 0x20
00000bf5: ADD
00000bf6: DUP3
00000bf7: DUP2
00000bf8: SUB
00000bf9: DUP3
00000bfa: MSTORE
00000bfb: PUSH1 0x0e
00000bfd: DUP2
00000bfe: MSTORE
00000bff: PUSH1 0x20
00000c01: ADD
00000c02: DUP1
00000c03: PUSH32 0x5245434950455f4e4f545f534554000000000000000000000000000000000000
00000c24: DUP2
00000c25: MSTORE
00000c26: POP
00000c27: PUSH1 0x20
00000c29: ADD
00000c2a: SWAP2
00000c2b: POP
00000c2c: POP
00000c2d: PUSH1 0x40
00000c2f: MLOAD
00000c30: DUP1
00000c31: SWAP2
00000c32: SUB
00000c33: SWAP1
00000c34: REVERT
00000c35: JUMPDEST
00000c36: PUSH2 0x0c87
00000c39: CALLVALUE
00000c3a: PUSH1 0x01
00000c3c: PUSH1 0x00
00000c3e: CALLER
00000c3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c54: AND
00000c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6a: AND
00000c6b: DUP2
00000c6c: MSTORE
00000c6d: PUSH1 0x20
00000c6f: ADD
00000c70: SWAP1
00000c71: DUP2
00000c72: MSTORE
00000c73: PUSH1 0x20
00000c75: ADD
00000c76: PUSH1 0x00
00000c78: KECCAK256
00000c79: SLOAD
00000c7a: PUSH2 0x28fa
00000c7d: SWAP1
00000c7e: SWAP2
00000c7f: SWAP1
00000c80: PUSH4 0xffffffff
00000c85: AND
00000c86: JUMP
00000c87: JUMPDEST
00000c88: PUSH1 0x01
00000c8a: PUSH1 0x00
00000c8c: CALLER
00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca2: AND
00000ca3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb8: AND
00000cb9: DUP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: ADD
00000cbe: SWAP1
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x20
00000cc3: ADD
00000cc4: PUSH1 0x00
00000cc6: KECCAK256
00000cc7: DUP2
00000cc8: SWAP1
00000cc9: SSTORE
00000cca: POP
00000ccb: PUSH1 0x05
00000ccd: SLOAD
00000cce: SELFBALANCE
00000ccf: GT
00000cd0: ISZERO
00000cd1: PUSH2 0x0d42
00000cd4: JUMPI
00000cd5: PUSH1 0x40
00000cd7: MLOAD
00000cd8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x04
00000cfd: ADD
00000cfe: DUP1
00000cff: DUP1
00000d00: PUSH1 0x20
00000d02: ADD
00000d03: DUP3
00000d04: DUP2
00000d05: SUB
00000d06: DUP3
00000d07: MSTORE
00000d08: PUSH1 0x07
00000d0a: DUP2
00000d0b: MSTORE
00000d0c: PUSH1 0x20
00000d0e: ADD
00000d0f: DUP1
00000d10: PUSH32 0x4d41585f43415000000000000000000000000000000000000000000000000000
00000d31: DUP2
00000d32: MSTORE
00000d33: POP
00000d34: PUSH1 0x20
00000d36: ADD
00000d37: SWAP2
00000d38: POP
00000d39: POP
00000d3a: PUSH1 0x40
00000d3c: MLOAD
00000d3d: DUP1
00000d3e: SWAP2
00000d3f: SUB
00000d40: SWAP1
00000d41: REVERT
00000d42: JUMPDEST
00000d43: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000d64: CALLER
00000d65: CALLVALUE
00000d66: PUSH1 0x40
00000d68: MLOAD
00000d69: DUP1
00000d6a: DUP4
00000d6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d80: AND
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x20
00000d85: ADD
00000d86: DUP3
00000d87: DUP2
00000d88: MSTORE
00000d89: PUSH1 0x20
00000d8b: ADD
00000d8c: SWAP3
00000d8d: POP
00000d8e: POP
00000d8f: POP
00000d90: PUSH1 0x40
00000d92: MLOAD
00000d93: DUP1
00000d94: SWAP2
00000d95: SUB
00000d96: SWAP1
00000d97: LOG1
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: PUSH1 0x00
00000d9c: DUP1
00000d9d: SHL
00000d9e: DUP2
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x00
00000da3: DUP1
00000da4: PUSH1 0x00
00000da6: DUP4
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x20
00000dab: ADD
00000dac: SWAP1
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: PUSH1 0x00
00000db4: KECCAK256
00000db5: PUSH1 0x02
00000db7: ADD
00000db8: SLOAD
00000db9: SWAP1
00000dba: POP
00000dbb: SWAP2
00000dbc: SWAP1
00000dbd: POP
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH2 0x0de5
00000dc3: PUSH1 0x00
00000dc5: DUP1
00000dc6: DUP5
00000dc7: DUP2
00000dc8: MSTORE
00000dc9: PUSH1 0x20
00000dcb: ADD
00000dcc: SWAP1
00000dcd: DUP2
00000dce: MSTORE
00000dcf: PUSH1 0x20
00000dd1: ADD
00000dd2: PUSH1 0x00
00000dd4: KECCAK256
00000dd5: PUSH1 0x02
00000dd7: ADD
00000dd8: SLOAD
00000dd9: PUSH2 0x0de0
00000ddc: PUSH2 0x2982
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH2 0x15aa
00000de4: JUMP
00000de5: JUMPDEST
00000de6: PUSH2 0x0e3a
00000de9: JUMPI
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e0e: DUP2
00000e0f: MSTORE
00000e10: PUSH1 0x04
00000e12: ADD
00000e13: DUP1
00000e14: DUP1
00000e15: PUSH1 0x20
00000e17: ADD
00000e18: DUP3
00000e19: DUP2
00000e1a: SUB
00000e1b: DUP3
00000e1c: MSTORE
00000e1d: PUSH1 0x2f
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: DUP1
00000e25: PUSH2 0x3011
00000e28: PUSH1 0x2f
00000e2a: SWAP2
00000e2b: CODECOPY
00000e2c: PUSH1 0x40
00000e2e: ADD
00000e2f: SWAP2
00000e30: POP
00000e31: POP
00000e32: PUSH1 0x40
00000e34: MLOAD
00000e35: DUP1
00000e36: SWAP2
00000e37: SUB
00000e38: SWAP1
00000e39: REVERT
00000e3a: JUMPDEST
00000e3b: PUSH2 0x0e44
00000e3e: DUP3
00000e3f: DUP3
00000e40: PUSH2 0x298a
00000e43: JUMP
00000e44: JUMPDEST
00000e45: POP
00000e46: POP
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x05
00000e4b: SLOAD
00000e4c: DUP2
00000e4d: JUMP
00000e4e: JUMPDEST
00000e4f: PUSH1 0x00
00000e51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e66: AND
00000e67: PUSH1 0x03
00000e69: PUSH1 0x00
00000e6b: SWAP1
00000e6c: SLOAD
00000e6d: SWAP1
00000e6e: PUSH2 0x0100
00000e71: EXP
00000e72: SWAP1
00000e73: DIV
00000e74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e89: AND
00000e8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9f: AND
00000ea0: EQ
00000ea1: ISZERO
00000ea2: PUSH2 0x0f13
00000ea5: JUMPI
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x04
00000ece: ADD
00000ecf: DUP1
00000ed0: DUP1
00000ed1: PUSH1 0x20
00000ed3: ADD
00000ed4: DUP3
00000ed5: DUP2
00000ed6: SUB
00000ed7: DUP3
00000ed8: MSTORE
00000ed9: PUSH1 0x0b
00000edb: DUP2
00000edc: MSTORE
00000edd: PUSH1 0x20
00000edf: ADD
00000ee0: DUP1
00000ee1: PUSH32 0x5049455f4e4f545f534554000000000000000000000000000000000000000000
00000f02: DUP2
00000f03: MSTORE
00000f04: POP
00000f05: PUSH1 0x20
00000f07: ADD
00000f08: SWAP2
00000f09: POP
00000f0a: POP
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: DUP1
00000f0f: SWAP2
00000f10: SUB
00000f11: SWAP1
00000f12: REVERT
00000f13: JUMPDEST
00000f14: PUSH1 0x00
00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2b: AND
00000f2c: PUSH1 0x04
00000f2e: PUSH1 0x00
00000f30: SWAP1
00000f31: SLOAD
00000f32: SWAP1
00000f33: PUSH2 0x0100
00000f36: EXP
00000f37: SWAP1
00000f38: DIV
00000f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f4e: AND
00000f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f64: AND
00000f65: EQ
00000f66: ISZERO
00000f67: PUSH2 0x0fd8
00000f6a: JUMPI
00000f6b: PUSH1 0x40
00000f6d: MLOAD
00000f6e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f8f: DUP2
00000f90: MSTORE
00000f91: PUSH1 0x04
00000f93: ADD
00000f94: DUP1
00000f95: DUP1
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: DUP3
00000f9a: DUP2
00000f9b: SUB
00000f9c: DUP3
00000f9d: MSTORE
00000f9e: PUSH1 0x0e
00000fa0: DUP2
00000fa1: MSTORE
00000fa2: PUSH1 0x20
00000fa4: ADD
00000fa5: DUP1
00000fa6: PUSH32 0x5245434950455f4e4f545f534554000000000000000000000000000000000000
00000fc7: DUP2
00000fc8: MSTORE
00000fc9: POP
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: SWAP2
00000fce: POP
00000fcf: POP
00000fd0: PUSH1 0x40
00000fd2: MLOAD
00000fd3: DUP1
00000fd4: SWAP2
00000fd5: SUB
00000fd6: SWAP1
00000fd7: REVERT
00000fd8: JUMPDEST
00000fd9: PUSH2 0x102a
00000fdc: DUP3
00000fdd: PUSH1 0x01
00000fdf: PUSH1 0x00
00000fe1: CALLER
00000fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff7: AND
00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100d: AND
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x20
00001012: ADD
00001013: SWAP1
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x20
00001018: ADD
00001019: PUSH1 0x00
0000101b: KECCAK256
0000101c: SLOAD
0000101d: PUSH2 0x2a1d
00001020: SWAP1
00001021: SWAP2
00001022: SWAP1
00001023: PUSH4 0xffffffff
00001028: AND
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x01
0000102d: PUSH1 0x00
0000102f: CALLER
00001030: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001045: AND
00001046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000105b: AND
0000105c: DUP2
0000105d: MSTORE
0000105e: PUSH1 0x20
00001060: ADD
00001061: SWAP1
00001062: DUP2
00001063: MSTORE
00001064: PUSH1 0x20
00001066: ADD
00001067: PUSH1 0x00
00001069: KECCAK256
0000106a: DUP2
0000106b: SWAP1
0000106c: SSTORE
0000106d: POP
0000106e: DUP1
0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001084: AND
00001085: PUSH2 0x08fc
00001088: DUP4
00001089: SWAP1
0000108a: DUP2
0000108b: ISZERO
0000108c: MUL
0000108d: SWAP1
0000108e: PUSH1 0x40
00001090: MLOAD
00001091: PUSH1 0x00
00001093: PUSH1 0x40
00001095: MLOAD
00001096: DUP1
00001097: DUP4
00001098: SUB
00001099: DUP2
0000109a: DUP6
0000109b: DUP9
0000109c: DUP9
0000109d: CALL
0000109e: SWAP4
0000109f: POP
000010a0: POP
000010a1: POP
000010a2: POP
000010a3: ISZERO
000010a4: DUP1
000010a5: ISZERO
000010a6: PUSH2 0x10b3
000010a9: JUMPI
000010aa: RETURNDATASIZE
000010ab: PUSH1 0x00
000010ad: DUP1
000010ae: RETURNDATACOPY
000010af: RETURNDATASIZE
000010b0: PUSH1 0x00
000010b2: REVERT
000010b3: JUMPDEST
000010b4: POP
000010b5: PUSH32 0x51faa29987d414cc66998a6556a58b18659c063a7ed944d9a8439e54ba1844bf
000010d6: CALLER
000010d7: DUP4
000010d8: DUP4
000010d9: PUSH1 0x40
000010db: MLOAD
000010dc: DUP1
000010dd: DUP5
000010de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f3: AND
000010f4: DUP2
000010f5: MSTORE
000010f6: PUSH1 0x20
000010f8: ADD
000010f9: DUP4
000010fa: DUP2
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: DUP3
00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001115: AND
00001116: DUP2
00001117: MSTORE
00001118: PUSH1 0x20
0000111a: ADD
0000111b: SWAP4
0000111c: POP
0000111d: POP
0000111e: POP
0000111f: POP
00001120: PUSH1 0x40
00001122: MLOAD
00001123: DUP1
00001124: SWAP2
00001125: SUB
00001126: SWAP1
00001127: LOG1
00001128: POP
00001129: POP
0000112a: JUMP
0000112b: JUMPDEST
0000112c: PUSH2 0x1133
0000112f: PUSH2 0x2982
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001149: AND
0000114a: DUP2
0000114b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001160: AND
00001161: EQ
00001162: PUSH2 0x11b6
00001165: JUMPI
00001166: PUSH1 0x40
00001168: MLOAD
00001169: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000118a: DUP2
0000118b: MSTORE
0000118c: PUSH1 0x04
0000118e: ADD
0000118f: DUP1
00001190: DUP1
00001191: PUSH1 0x20
00001193: ADD
00001194: DUP3
00001195: DUP2
00001196: SUB
00001197: DUP3
00001198: MSTORE
00001199: PUSH1 0x2f
0000119b: DUP2
0000119c: MSTORE
0000119d: PUSH1 0x20
0000119f: ADD
000011a0: DUP1
000011a1: PUSH2 0x3091
000011a4: PUSH1 0x2f
000011a6: SWAP2
000011a7: CODECOPY
000011a8: PUSH1 0x40
000011aa: ADD
000011ab: SWAP2
000011ac: POP
000011ad: POP
000011ae: PUSH1 0x40
000011b0: MLOAD
000011b1: DUP1
000011b2: SWAP2
000011b3: SUB
000011b4: SWAP1
000011b5: REVERT
000011b6: JUMPDEST
000011b7: PUSH2 0x11c0
000011ba: DUP3
000011bb: DUP3
000011bc: PUSH2 0x2a67
000011bf: JUMP
000011c0: JUMPDEST
000011c1: POP
000011c2: POP
000011c3: JUMP
000011c4: JUMPDEST
000011c5: PUSH1 0x04
000011c7: PUSH1 0x00
000011c9: SWAP1
000011ca: SLOAD
000011cb: SWAP1
000011cc: PUSH2 0x0100
000011cf: EXP
000011d0: SWAP1
000011d1: DIV
000011d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e7: AND
000011e8: DUP2
000011e9: JUMP
000011ea: JUMPDEST
000011eb: PUSH1 0x00
000011ed: DUP1
000011ee: SHL
000011ef: PUSH2 0x11f8
000011f2: DUP2
000011f3: CALLER
000011f4: PUSH2 0x15aa
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH2 0x126a
000011fc: JUMPI
000011fd: PUSH1 0x40
000011ff: MLOAD
00001200: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001221: DUP2
00001222: MSTORE
00001223: PUSH1 0x04
00001225: ADD
00001226: DUP1
00001227: DUP1
00001228: PUSH1 0x20
0000122a: ADD
0000122b: DUP3
0000122c: DUP2
0000122d: SUB
0000122e: DUP3
0000122f: MSTORE
00001230: PUSH1 0x0b
00001232: DUP2
00001233: MSTORE
00001234: PUSH1 0x20
00001236: ADD
00001237: DUP1
00001238: PUSH32 0x415554485f4641494c4544000000000000000000000000000000000000000000
00001259: DUP2
0000125a: MSTORE
0000125b: POP
0000125c: PUSH1 0x20
0000125e: ADD
0000125f: SWAP2
00001260: POP
00001261: POP
00001262: PUSH1 0x40
00001264: MLOAD
00001265: DUP1
00001266: SWAP2
00001267: SUB
00001268: SWAP1
00001269: REVERT
0000126a: JUMPDEST
0000126b: DUP2
0000126c: PUSH1 0x04
0000126e: PUSH1 0x00
00001270: PUSH2 0x0100
00001273: EXP
00001274: DUP2
00001275: SLOAD
00001276: DUP2
00001277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128c: MUL
0000128d: NOT
0000128e: AND
0000128f: SWAP1
00001290: DUP4
00001291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a6: AND
000012a7: MUL
000012a8: OR
000012a9: SWAP1
000012aa: SSTORE
000012ab: POP
000012ac: POP
000012ad: POP
000012ae: JUMP
000012af: JUMPDEST
000012b0: PUSH1 0x40
000012b2: MLOAD
000012b3: PUSH1 0x20
000012b5: ADD
000012b6: DUP1
000012b7: DUP1
000012b8: PUSH1 0x20
000012ba: ADD
000012bb: DUP3
000012bc: DUP2
000012bd: SUB
000012be: DUP3
000012bf: MSTORE
000012c0: PUSH1 0x0a
000012c2: DUP2
000012c3: MSTORE
000012c4: PUSH1 0x20
000012c6: ADD
000012c7: DUP1
000012c8: PUSH32 0x4341505f53455454455200000000000000000000000000000000000000000000
000012e9: DUP2
000012ea: MSTORE
000012eb: POP
000012ec: PUSH1 0x20
000012ee: ADD
000012ef: SWAP2
000012f0: POP
000012f1: POP
000012f2: PUSH1 0x40
000012f4: MLOAD
000012f5: PUSH1 0x20
000012f7: DUP2
000012f8: DUP4
000012f9: SUB
000012fa: SUB
000012fb: DUP2
000012fc: MSTORE
000012fd: SWAP1
000012fe: PUSH1 0x40
00001300: MSTORE
00001301: DUP1
00001302: MLOAD
00001303: SWAP1
00001304: PUSH1 0x20
00001306: ADD
00001307: KECCAK256
00001308: PUSH2 0x1311
0000130b: DUP2
0000130c: CALLER
0000130d: PUSH2 0x15aa
00001310: JUMP
00001311: JUMPDEST
00001312: PUSH2 0x1383
00001315: JUMPI
00001316: PUSH1 0x40
00001318: MLOAD
00001319: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000133a: DUP2
0000133b: MSTORE
0000133c: PUSH1 0x04
0000133e: ADD
0000133f: DUP1
00001340: DUP1
00001341: PUSH1 0x20
00001343: ADD
00001344: DUP3
00001345: DUP2
00001346: SUB
00001347: DUP3
00001348: MSTORE
00001349: PUSH1 0x0b
0000134b: DUP2
0000134c: MSTORE
0000134d: PUSH1 0x20
0000134f: ADD
00001350: DUP1
00001351: PUSH32 0x415554485f4641494c4544000000000000000000000000000000000000000000
00001372: DUP2
00001373: MSTORE
00001374: POP
00001375: PUSH1 0x20
00001377: ADD
00001378: SWAP2
00001379: POP
0000137a: POP
0000137b: PUSH1 0x40
0000137d: MLOAD
0000137e: DUP1
0000137f: SWAP2
00001380: SUB
00001381: SWAP1
00001382: REVERT
00001383: JUMPDEST
00001384: DUP2
00001385: PUSH1 0x05
00001387: DUP2
00001388: SWAP1
00001389: SSTORE
0000138a: POP
0000138b: POP
0000138c: POP
0000138d: JUMP
0000138e: JUMPDEST
0000138f: PUSH1 0x00
00001391: PUSH1 0x05
00001393: SLOAD
00001394: SWAP1
00001395: POP
00001396: SWAP1
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0x00
0000139b: DUP1
0000139c: SHL
0000139d: PUSH2 0x13a6
000013a0: DUP2
000013a1: CALLER
000013a2: PUSH2 0x15aa
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH2 0x1418
000013aa: JUMPI
000013ab: PUSH1 0x40
000013ad: MLOAD
000013ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013cf: DUP2
000013d0: MSTORE
000013d1: PUSH1 0x04
000013d3: ADD
000013d4: DUP1
000013d5: DUP1
000013d6: PUSH1 0x20
000013d8: ADD
000013d9: DUP3
000013da: DUP2
000013db: SUB
000013dc: DUP3
000013dd: MSTORE
000013de: PUSH1 0x0b
000013e0: DUP2
000013e1: MSTORE
000013e2: PUSH1 0x20
000013e4: ADD
000013e5: DUP1
000013e6: PUSH32 0x415554485f4641494c4544000000000000000000000000000000000000000000
00001407: DUP2
00001408: MSTORE
00001409: POP
0000140a: PUSH1 0x20
0000140c: ADD
0000140d: SWAP2
0000140e: POP
0000140f: POP
00001410: PUSH1 0x40
00001412: MLOAD
00001413: DUP1
00001414: SWAP2
00001415: SUB
00001416: SWAP1
00001417: REVERT
00001418: JUMPDEST
00001419: DUP2
0000141a: PUSH1 0x03
0000141c: PUSH1 0x00
0000141e: PUSH2 0x0100
00001421: EXP
00001422: DUP2
00001423: SLOAD
00001424: DUP2
00001425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143a: MUL
0000143b: NOT
0000143c: AND
0000143d: SWAP1
0000143e: DUP4
0000143f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001454: AND
00001455: MUL
00001456: OR
00001457: SWAP1
00001458: SSTORE
00001459: POP
0000145a: POP
0000145b: POP
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x01
00001460: PUSH1 0x20
00001462: MSTORE
00001463: DUP1
00001464: PUSH1 0x00
00001466: MSTORE
00001467: PUSH1 0x40
00001469: PUSH1 0x00
0000146b: KECCAK256
0000146c: PUSH1 0x00
0000146e: SWAP2
0000146f: POP
00001470: SWAP1
00001471: POP
00001472: SLOAD
00001473: DUP2
00001474: JUMP
00001475: JUMPDEST
00001476: PUSH1 0x00
00001478: DUP1
00001479: SHL
0000147a: PUSH2 0x1483
0000147d: DUP2
0000147e: CALLER
0000147f: PUSH2 0x15aa
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH2 0x14f5
00001487: JUMPI
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014ac: DUP2
000014ad: MSTORE
000014ae: PUSH1 0x04
000014b0: ADD
000014b1: DUP1
000014b2: DUP1
000014b3: PUSH1 0x20
000014b5: ADD
000014b6: DUP3
000014b7: DUP2
000014b8: SUB
000014b9: DUP3
000014ba: MSTORE
000014bb: PUSH1 0x0b
000014bd: DUP2
000014be: MSTORE
000014bf: PUSH1 0x20
000014c1: ADD
000014c2: DUP1
000014c3: PUSH32 0x415554485f4641494c4544000000000000000000000000000000000000000000
000014e4: DUP2
000014e5: MSTORE
000014e6: POP
000014e7: PUSH1 0x20
000014e9: ADD
000014ea: SWAP2
000014eb: POP
000014ec: POP
000014ed: PUSH1 0x40
000014ef: MLOAD
000014f0: DUP1
000014f1: SWAP2
000014f2: SUB
000014f3: SWAP1
000014f4: REVERT
000014f5: JUMPDEST
000014f6: PUSH20 0xaf2fe0d4fe879066b2baa68d9e56cc375df22815
0000150b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001520: AND
00001521: PUSH2 0x08fc
00001524: SELFBALANCE
00001525: SWAP1
00001526: DUP2
00001527: ISZERO
00001528: MUL
00001529: SWAP1
0000152a: PUSH1 0x40
0000152c: MLOAD
0000152d: PUSH1 0x00
0000152f: PUSH1 0x40
00001531: MLOAD
00001532: DUP1
00001533: DUP4
00001534: SUB
00001535: DUP2
00001536: DUP6
00001537: DUP9
00001538: DUP9
00001539: CALL
0000153a: SWAP4
0000153b: POP
0000153c: POP
0000153d: POP
0000153e: POP
0000153f: ISZERO
00001540: DUP1
00001541: ISZERO
00001542: PUSH2 0x154f
00001545: JUMPI
00001546: RETURNDATASIZE
00001547: PUSH1 0x00
00001549: DUP1
0000154a: RETURNDATACOPY
0000154b: RETURNDATASIZE
0000154c: PUSH1 0x00
0000154e: REVERT
0000154f: JUMPDEST
00001550: POP
00001551: POP
00001552: JUMP
00001553: JUMPDEST
00001554: PUSH1 0x03
00001556: PUSH1 0x00
00001558: SWAP1
00001559: SLOAD
0000155a: SWAP1
0000155b: PUSH2 0x0100
0000155e: EXP
0000155f: SWAP1
00001560: DIV
00001561: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001576: AND
00001577: DUP2
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x00
0000157c: PUSH2 0x15a2
0000157f: DUP3
00001580: PUSH1 0x00
00001582: DUP1
00001583: DUP7
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x20
00001588: ADD
00001589: SWAP1
0000158a: DUP2
0000158b: MSTORE
0000158c: PUSH1 0x20
0000158e: ADD
0000158f: PUSH1 0x00
00001591: KECCAK256
00001592: PUSH1 0x00
00001594: ADD
00001595: PUSH2 0x2afa
00001598: SWAP1
00001599: SWAP2
0000159a: SWAP1
0000159b: PUSH4 0xffffffff
000015a0: AND
000015a1: JUMP
000015a2: JUMPDEST
000015a3: SWAP1
000015a4: POP
000015a5: SWAP3
000015a6: SWAP2
000015a7: POP
000015a8: POP
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH1 0x00
000015ad: PUSH2 0x15d3
000015b0: DUP3
000015b1: PUSH1 0x00
000015b3: DUP1
000015b4: DUP7
000015b5: DUP2
000015b6: MSTORE
000015b7: PUSH1 0x20
000015b9: ADD
000015ba: SWAP1
000015bb: DUP2
000015bc: MSTORE
000015bd: PUSH1 0x20
000015bf: ADD
000015c0: PUSH1 0x00
000015c2: KECCAK256
000015c3: PUSH1 0x00
000015c5: ADD
000015c6: PUSH2 0x2b14
000015c9: SWAP1
000015ca: SWAP2
000015cb: SWAP1
000015cc: PUSH4 0xffffffff
000015d1: AND
000015d2: JUMP
000015d3: JUMPDEST
000015d4: SWAP1
000015d5: POP
000015d6: SWAP3
000015d7: SWAP2
000015d8: POP
000015d9: POP
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH1 0x40
000015de: MLOAD
000015df: PUSH1 0x20
000015e1: ADD
000015e2: DUP1
000015e3: DUP1
000015e4: PUSH1 0x20
000015e6: ADD
000015e7: DUP3
000015e8: DUP2
000015e9: SUB
000015ea: DUP3
000015eb: MSTORE
000015ec: PUSH1 0x05
000015ee: DUP2
000015ef: MSTORE
000015f0: PUSH1 0x20
000015f2: ADD
000015f3: DUP1
000015f4: PUSH32 0x42414b4552000000000000000000000000000000000000000000000000000000
00001615: DUP2
00001616: MSTORE
00001617: POP
00001618: PUSH1 0x20
0000161a: ADD
0000161b: SWAP2
0000161c: POP
0000161d: POP
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: PUSH1 0x20
00001623: DUP2
00001624: DUP4
00001625: SUB
00001626: SUB
00001627: DUP2
00001628: MSTORE
00001629: SWAP1
0000162a: PUSH1 0x40
0000162c: MSTORE
0000162d: DUP1
0000162e: MLOAD
0000162f: SWAP1
00001630: PUSH1 0x20
00001632: ADD
00001633: KECCAK256
00001634: DUP2
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x00
00001639: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164e: AND
0000164f: PUSH1 0x03
00001651: PUSH1 0x00
00001653: SWAP1
00001654: SLOAD
00001655: SWAP1
00001656: PUSH2 0x0100
00001659: EXP
0000165a: SWAP1
0000165b: DIV
0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001671: AND
00001672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001687: AND
00001688: EQ
00001689: ISZERO
0000168a: PUSH2 0x16fb
0000168d: JUMPI
0000168e: PUSH1 0x40
00001690: MLOAD
00001691: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016b2: DUP2
000016b3: MSTORE
000016b4: PUSH1 0x04
000016b6: ADD
000016b7: DUP1
000016b8: DUP1
000016b9: PUSH1 0x20
000016bb: ADD
000016bc: DUP3
000016bd: DUP2
000016be: SUB
000016bf: DUP3
000016c0: MSTORE
000016c1: PUSH1 0x0b
000016c3: DUP2
000016c4: MSTORE
000016c5: PUSH1 0x20
000016c7: ADD
000016c8: DUP1
000016c9: PUSH32 0x5049455f4e4f545f534554000000000000000000000000000000000000000000
000016ea: DUP2
000016eb: MSTORE
000016ec: POP
000016ed: PUSH1 0x20
000016ef: ADD
000016f0: SWAP2
000016f1: POP
000016f2: POP
000016f3: PUSH1 0x40
000016f5: MLOAD
000016f6: DUP1
000016f7: SWAP2
000016f8: SUB
000016f9: SWAP1
000016fa: REVERT
000016fb: JUMPDEST
000016fc: PUSH1 0x00
000016fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001713: AND
00001714: PUSH1 0x04
00001716: PUSH1 0x00
00001718: SWAP1
00001719: SLOAD
0000171a: SWAP1
0000171b: PUSH2 0x0100
0000171e: EXP
0000171f: SWAP1
00001720: DIV
00001721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001736: AND
00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174c: AND
0000174d: EQ
0000174e: ISZERO
0000174f: PUSH2 0x17c0
00001752: JUMPI
00001753: PUSH1 0x40
00001755: MLOAD
00001756: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001777: DUP2
00001778: MSTORE
00001779: PUSH1 0x04
0000177b: ADD
0000177c: DUP1
0000177d: DUP1
0000177e: PUSH1 0x20
00001780: ADD
00001781: DUP3
00001782: DUP2
00001783: SUB
00001784: DUP3
00001785: MSTORE
00001786: PUSH1 0x0e
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x20
0000178c: ADD
0000178d: DUP1
0000178e: PUSH32 0x5245434950455f4e4f545f534554000000000000000000000000000000000000
000017af: DUP2
000017b0: MSTORE
000017b1: POP
000017b2: PUSH1 0x20
000017b4: ADD
000017b5: SWAP2
000017b6: POP
000017b7: POP
000017b8: PUSH1 0x40
000017ba: MLOAD
000017bb: DUP1
000017bc: SWAP2
000017bd: SUB
000017be: SWAP1
000017bf: REVERT
000017c0: JUMPDEST
000017c1: PUSH2 0x1809
000017c4: PUSH1 0x01
000017c6: PUSH1 0x00
000017c8: CALLER
000017c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017de: AND
000017df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f4: AND
000017f5: DUP2
000017f6: MSTORE
000017f7: PUSH1 0x20
000017f9: ADD
000017fa: SWAP1
000017fb: DUP2
000017fc: MSTORE
000017fd: PUSH1 0x20
000017ff: ADD
00001800: PUSH1 0x00
00001802: KECCAK256
00001803: SLOAD
00001804: DUP3
00001805: PUSH2 0x0e4e
00001808: JUMP
00001809: JUMPDEST
0000180a: POP
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH1 0x00
0000180f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001824: AND
00001825: PUSH1 0x03
00001827: PUSH1 0x00
00001829: SWAP1
0000182a: SLOAD
0000182b: SWAP1
0000182c: PUSH2 0x0100
0000182f: EXP
00001830: SWAP1
00001831: DIV
00001832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001847: AND
00001848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185d: AND
0000185e: EQ
0000185f: ISZERO
00001860: PUSH2 0x18d1
00001863: JUMPI
00001864: PUSH1 0x40
00001866: MLOAD
00001867: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001888: DUP2
00001889: MSTORE
0000188a: PUSH1 0x04
0000188c: ADD
0000188d: DUP1
0000188e: DUP1
0000188f: PUSH1 0x20
00001891: ADD
00001892: DUP3
00001893: DUP2
00001894: SUB
00001895: DUP3
00001896: MSTORE
00001897: PUSH1 0x0b
00001899: DUP2
0000189a: MSTORE
0000189b: PUSH1 0x20
0000189d: ADD
0000189e: DUP1
0000189f: PUSH32 0x5049455f4e4f545f534554000000000000000000000000000000000000000000
000018c0: DUP2
000018c1: MSTORE
000018c2: POP
000018c3: PUSH1 0x20
000018c5: ADD
000018c6: SWAP2
000018c7: POP
000018c8: POP
000018c9: PUSH1 0x40
000018cb: MLOAD
000018cc: DUP1
000018cd: SWAP2
000018ce: SUB
000018cf: SWAP1
000018d0: REVERT
000018d1: JUMPDEST
000018d2: PUSH1 0x00
000018d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e9: AND
000018ea: PUSH1 0x04
000018ec: PUSH1 0x00
000018ee: SWAP1
000018ef: SLOAD
000018f0: SWAP1
000018f1: PUSH2 0x0100
000018f4: EXP
000018f5: SWAP1
000018f6: DIV
000018f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190c: AND
0000190d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001922: AND
00001923: EQ
00001924: ISZERO
00001925: PUSH2 0x1996
00001928: JUMPI
00001929: PUSH1 0x40
0000192b: MLOAD
0000192c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000194d: DUP2
0000194e: MSTORE
0000194f: PUSH1 0x04
00001951: ADD
00001952: DUP1
00001953: DUP1
00001954: PUSH1 0x20
00001956: ADD
00001957: DUP3
00001958: DUP2
00001959: SUB
0000195a: DUP3
0000195b: MSTORE
0000195c: PUSH1 0x0e
0000195e: DUP2
0000195f: MSTORE
00001960: PUSH1 0x20
00001962: ADD
00001963: DUP1
00001964: PUSH32 0x5245434950455f4e4f545f534554000000000000000000000000000000000000
00001985: DUP2
00001986: MSTORE
00001987: POP
00001988: PUSH1 0x20
0000198a: ADD
0000198b: SWAP2
0000198c: POP
0000198d: POP
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: DUP1
00001992: SWAP2
00001993: SUB
00001994: SWAP1
00001995: REVERT
00001996: JUMPDEST
00001997: PUSH1 0x40
00001999: MLOAD
0000199a: PUSH1 0x20
0000199c: ADD
0000199d: DUP1
0000199e: DUP1
0000199f: PUSH1 0x20
000019a1: ADD
000019a2: DUP3
000019a3: DUP2
000019a4: SUB
000019a5: DUP3
000019a6: MSTORE
000019a7: PUSH1 0x05
000019a9: DUP2
000019aa: MSTORE
000019ab: PUSH1 0x20
000019ad: ADD
000019ae: DUP1
000019af: PUSH32 0x42414b4552000000000000000000000000000000000000000000000000000000
000019d0: DUP2
000019d1: MSTORE
000019d2: POP
000019d3: PUSH1 0x20
000019d5: ADD
000019d6: SWAP2
000019d7: POP
000019d8: POP
000019d9: PUSH1 0x40
000019db: MLOAD
000019dc: PUSH1 0x20
000019de: DUP2
000019df: DUP4
000019e0: SUB
000019e1: SUB
000019e2: DUP2
000019e3: MSTORE
000019e4: SWAP1
000019e5: PUSH1 0x40
000019e7: MSTORE
000019e8: DUP1
000019e9: MLOAD
000019ea: SWAP1
000019eb: PUSH1 0x20
000019ed: ADD
000019ee: KECCAK256
000019ef: PUSH2 0x19f8
000019f2: DUP2
000019f3: CALLER
000019f4: PUSH2 0x15aa
000019f7: JUMP
000019f8: JUMPDEST
000019f9: PUSH2 0x1a6a
000019fc: JUMPI
000019fd: PUSH1 0x40
000019ff: MLOAD
00001a00: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a21: DUP2
00001a22: MSTORE
00001a23: PUSH1 0x04
00001a25: ADD
00001a26: DUP1
00001a27: DUP1
00001a28: PUSH1 0x20
00001a2a: ADD
00001a2b: DUP3
00001a2c: DUP2
00001a2d: SUB
00001a2e: DUP3
00001a2f: MSTORE
00001a30: PUSH1 0x0b
00001a32: DUP2
00001a33: MSTORE
00001a34: PUSH1 0x20
00001a36: ADD
00001a37: DUP1
00001a38: PUSH32 0x415554485f4641494c4544000000000000000000000000000000000000000000
00001a59: DUP2
00001a5a: MSTORE
00001a5b: POP
00001a5c: PUSH1 0x20
00001a5e: ADD
00001a5f: SWAP2
00001a60: POP
00001a61: POP
00001a62: PUSH1 0x40
00001a64: MLOAD
00001a65: DUP1
00001a66: SWAP2
00001a67: SUB
00001a68: SWAP1
00001a69: REVERT
00001a6a: JUMPDEST
00001a6b: PUSH1 0x00
00001a6d: PUSH1 0x04
00001a6f: PUSH1 0x00
00001a71: SWAP1
00001a72: SLOAD
00001a73: SWAP1
00001a74: PUSH2 0x0100
00001a77: EXP
00001a78: SWAP1
00001a79: DIV
00001a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8f: AND
00001a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa5: AND
00001aa6: PUSH4 0x335d15e3
00001aab: PUSH1 0x03
00001aad: PUSH1 0x00
00001aaf: SWAP1
00001ab0: SLOAD
00001ab1: SWAP1
00001ab2: PUSH2 0x0100
00001ab5: EXP
00001ab6: SWAP1
00001ab7: DIV
00001ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001acd: AND
00001ace: DUP7
00001acf: PUSH1 0x40
00001ad1: MLOAD
00001ad2: DUP4
00001ad3: PUSH4 0xffffffff
00001ad8: AND
00001ad9: PUSH1 0xe0
00001adb: SHL
00001adc: DUP2
00001add: MSTORE
00001ade: PUSH1 0x04
00001ae0: ADD
00001ae1: DUP1
00001ae2: DUP4
00001ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af8: AND
00001af9: DUP2
00001afa: MSTORE
00001afb: PUSH1 0x20
00001afd: ADD
00001afe: DUP3
00001aff: DUP2
00001b00: MSTORE
00001b01: PUSH1 0x20
00001b03: ADD
00001b04: SWAP3
00001b05: POP
00001b06: POP
00001b07: POP
00001b08: PUSH1 0x20
00001b0a: PUSH1 0x40
00001b0c: MLOAD
00001b0d: DUP1
00001b0e: DUP4
00001b0f: SUB
00001b10: DUP2
00001b11: PUSH1 0x00
00001b13: DUP8
00001b14: DUP1
00001b15: EXTCODESIZE
00001b16: ISZERO
00001b17: DUP1
00001b18: ISZERO
00001b19: PUSH2 0x1b21
00001b1c: JUMPI
00001b1d: PUSH1 0x00
00001b1f: DUP1
00001b20: REVERT
00001b21: JUMPDEST
00001b22: POP
00001b23: GAS
00001b24: CALL
00001b25: ISZERO
00001b26: DUP1
00001b27: ISZERO
00001b28: PUSH2 0x1b35
00001b2b: JUMPI
00001b2c: RETURNDATASIZE
00001b2d: PUSH1 0x00
00001b2f: DUP1
00001b30: RETURNDATACOPY
00001b31: RETURNDATASIZE
00001b32: PUSH1 0x00
00001b34: REVERT
00001b35: JUMPDEST
00001b36: POP
00001b37: POP
00001b38: POP
00001b39: POP
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: RETURNDATASIZE
00001b3e: PUSH1 0x20
00001b40: DUP2
00001b41: LT
00001b42: ISZERO
00001b43: PUSH2 0x1b4b
00001b46: JUMPI
00001b47: PUSH1 0x00
00001b49: DUP1
00001b4a: REVERT
00001b4b: JUMPDEST
00001b4c: DUP2
00001b4d: ADD
00001b4e: SWAP1
00001b4f: DUP1
00001b50: DUP1
00001b51: MLOAD
00001b52: SWAP1
00001b53: PUSH1 0x20
00001b55: ADD
00001b56: SWAP1
00001b57: SWAP3
00001b58: SWAP2
00001b59: SWAP1
00001b5a: POP
00001b5b: POP
00001b5c: POP
00001b5d: SWAP1
00001b5e: POP
00001b5f: DUP3
00001b60: DUP2
00001b61: GT
00001b62: ISZERO
00001b63: PUSH2 0x1bd4
00001b66: JUMPI
00001b67: PUSH1 0x40
00001b69: MLOAD
00001b6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b8b: DUP2
00001b8c: MSTORE
00001b8d: PUSH1 0x04
00001b8f: ADD
00001b90: DUP1
00001b91: DUP1
00001b92: PUSH1 0x20
00001b94: ADD
00001b95: DUP3
00001b96: DUP2
00001b97: SUB
00001b98: DUP3
00001b99: MSTORE
00001b9a: PUSH1 0x0b
00001b9c: DUP2
00001b9d: MSTORE
00001b9e: PUSH1 0x20
00001ba0: ADD
00001ba1: DUP1
00001ba2: PUSH32 0x50524943455f4552524f52000000000000000000000000000000000000000000
00001bc3: DUP2
00001bc4: MSTORE
00001bc5: POP
00001bc6: PUSH1 0x20
00001bc8: ADD
00001bc9: SWAP2
00001bca: POP
00001bcb: POP
00001bcc: PUSH1 0x40
00001bce: MLOAD
00001bcf: DUP1
00001bd0: SWAP2
00001bd1: SUB
00001bd2: SWAP1
00001bd3: REVERT
00001bd4: JUMPDEST
00001bd5: PUSH1 0x00
00001bd7: DUP1
00001bd8: JUMPDEST
00001bd9: DUP8
00001bda: DUP8
00001bdb: SWAP1
00001bdc: POP
00001bdd: DUP2
00001bde: LT
00001bdf: ISZERO
00001be0: PUSH2 0x1f42
00001be3: JUMPI
00001be4: PUSH1 0x00
00001be6: PUSH1 0x01
00001be8: PUSH1 0x00
00001bea: DUP11
00001beb: DUP11
00001bec: DUP6
00001bed: DUP2
00001bee: DUP2
00001bef: LT
00001bf0: PUSH2 0x1bf5
00001bf3: JUMPI
00001bf4: INVALID
00001bf5: JUMPDEST
00001bf6: SWAP1
00001bf7: POP
00001bf8: PUSH1 0x20
00001bfa: MUL
00001bfb: ADD
00001bfc: CALLDATALOAD
00001bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c12: AND
00001c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c28: AND
00001c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3e: AND
00001c3f: DUP2
00001c40: MSTORE
00001c41: PUSH1 0x20
00001c43: ADD
00001c44: SWAP1
00001c45: DUP2
00001c46: MSTORE
00001c47: PUSH1 0x20
00001c49: ADD
00001c4a: PUSH1 0x00
00001c4c: KECCAK256
00001c4d: SLOAD
00001c4e: SWAP1
00001c4f: POP
00001c50: DUP4
00001c51: DUP4
00001c52: EQ
00001c53: ISZERO
00001c54: PUSH2 0x1c5d
00001c57: JUMPI
00001c58: POP
00001c59: PUSH2 0x1f42
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: DUP4
00001c5f: PUSH2 0x1c71
00001c62: DUP3
00001c63: DUP6
00001c64: PUSH2 0x28fa
00001c67: SWAP1
00001c68: SWAP2
00001c69: SWAP1
00001c6a: PUSH4 0xffffffff
00001c6f: AND
00001c70: JUMP
00001c71: JUMPDEST
00001c72: GT
00001c73: PUSH2 0x1c90
00001c76: JUMPI
00001c77: PUSH2 0x1c89
00001c7a: DUP2
00001c7b: DUP5
00001c7c: PUSH2 0x28fa
00001c7f: SWAP1
00001c80: SWAP2
00001c81: SWAP1
00001c82: PUSH4 0xffffffff
00001c87: AND
00001c88: JUMP
00001c89: JUMPDEST
00001c8a: SWAP3
00001c8b: POP
00001c8c: PUSH2 0x1cbb
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: PUSH2 0x1ca3
00001c94: DUP4
00001c95: DUP6
00001c96: PUSH2 0x2a1d
00001c99: SWAP1
00001c9a: SWAP2
00001c9b: SWAP1
00001c9c: PUSH4 0xffffffff
00001ca1: AND
00001ca2: JUMP
00001ca3: JUMPDEST
00001ca4: SWAP1
00001ca5: POP
00001ca6: PUSH2 0x1cb8
00001ca9: DUP2
00001caa: DUP5
00001cab: PUSH2 0x28fa
00001cae: SWAP1
00001caf: SWAP2
00001cb0: SWAP1
00001cb1: PUSH4 0xffffffff
00001cb6: AND
00001cb7: JUMP
00001cb8: JUMPDEST
00001cb9: SWAP3
00001cba: POP
00001cbb: JUMPDEST
00001cbc: PUSH2 0x1d35
00001cbf: DUP2
00001cc0: PUSH1 0x01
00001cc2: PUSH1 0x00
00001cc4: DUP13
00001cc5: DUP13
00001cc6: DUP8
00001cc7: DUP2
00001cc8: DUP2
00001cc9: LT
00001cca: PUSH2 0x1ccf
00001ccd: JUMPI
00001cce: INVALID
00001ccf: JUMPDEST
00001cd0: SWAP1
00001cd1: POP
00001cd2: PUSH1 0x20
00001cd4: MUL
00001cd5: ADD
00001cd6: CALLDATALOAD
00001cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cec: AND
00001ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d02: AND
00001d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d18: AND
00001d19: DUP2
00001d1a: MSTORE
00001d1b: PUSH1 0x20
00001d1d: ADD
00001d1e: SWAP1
00001d1f: DUP2
00001d20: MSTORE
00001d21: PUSH1 0x20
00001d23: ADD
00001d24: PUSH1 0x00
00001d26: KECCAK256
00001d27: SLOAD
00001d28: PUSH2 0x2a1d
00001d2b: SWAP1
00001d2c: SWAP2
00001d2d: SWAP1
00001d2e: PUSH4 0xffffffff
00001d33: AND
00001d34: JUMP
00001d35: JUMPDEST
00001d36: PUSH1 0x01
00001d38: PUSH1 0x00
00001d3a: DUP12
00001d3b: DUP12
00001d3c: DUP7
00001d3d: DUP2
00001d3e: DUP2
00001d3f: LT
00001d40: PUSH2 0x1d45
00001d43: JUMPI
00001d44: INVALID
00001d45: JUMPDEST
00001d46: SWAP1
00001d47: POP
00001d48: PUSH1 0x20
00001d4a: MUL
00001d4b: ADD
00001d4c: CALLDATALOAD
00001d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d62: AND
00001d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d78: AND
00001d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8e: AND
00001d8f: DUP2
00001d90: MSTORE
00001d91: PUSH1 0x20
00001d93: ADD
00001d94: SWAP1
00001d95: DUP2
00001d96: MSTORE
00001d97: PUSH1 0x20
00001d99: ADD
00001d9a: PUSH1 0x00
00001d9c: KECCAK256
00001d9d: DUP2
00001d9e: SWAP1
00001d9f: SSTORE
00001da0: POP
00001da1: PUSH1 0x00
00001da3: PUSH2 0x1dc7
00001da6: DUP6
00001da7: PUSH2 0x1db9
00001daa: DUP5
00001dab: DUP12
00001dac: PUSH2 0x2b44
00001daf: SWAP1
00001db0: SWAP2
00001db1: SWAP1
00001db2: PUSH4 0xffffffff
00001db7: AND
00001db8: JUMP
00001db9: JUMPDEST
00001dba: PUSH2 0x2bca
00001dbd: SWAP1
00001dbe: SWAP2
00001dbf: SWAP1
00001dc0: PUSH4 0xffffffff
00001dc5: AND
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: SWAP1
00001dc9: POP
00001dca: PUSH2 0x1e43
00001dcd: DUP2
00001dce: PUSH1 0x02
00001dd0: PUSH1 0x00
00001dd2: DUP14
00001dd3: DUP14
00001dd4: DUP9
00001dd5: DUP2
00001dd6: DUP2
00001dd7: LT
00001dd8: PUSH2 0x1ddd
00001ddb: JUMPI
00001ddc: INVALID
00001ddd: JUMPDEST
00001dde: SWAP1
00001ddf: POP
00001de0: PUSH1 0x20
00001de2: MUL
00001de3: ADD
00001de4: CALLDATALOAD
00001de5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfa: AND
00001dfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e10: AND
00001e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e26: AND
00001e27: DUP2
00001e28: MSTORE
00001e29: PUSH1 0x20
00001e2b: ADD
00001e2c: SWAP1
00001e2d: DUP2
00001e2e: MSTORE
00001e2f: PUSH1 0x20
00001e31: ADD
00001e32: PUSH1 0x00
00001e34: KECCAK256
00001e35: SLOAD
00001e36: PUSH2 0x28fa
00001e39: SWAP1
00001e3a: SWAP2
00001e3b: SWAP1
00001e3c: PUSH4 0xffffffff
00001e41: AND
00001e42: JUMP
00001e43: JUMPDEST
00001e44: PUSH1 0x02
00001e46: PUSH1 0x00
00001e48: DUP13
00001e49: DUP13
00001e4a: DUP8
00001e4b: DUP2
00001e4c: DUP2
00001e4d: LT
00001e4e: PUSH2 0x1e53
00001e51: JUMPI
00001e52: INVALID
00001e53: JUMPDEST
00001e54: SWAP1
00001e55: POP
00001e56: PUSH1 0x20
00001e58: MUL
00001e59: ADD
00001e5a: CALLDATALOAD
00001e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e70: AND
00001e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e86: AND
00001e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9c: AND
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: PUSH1 0x20
00001ea1: ADD
00001ea2: SWAP1
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x20
00001ea7: ADD
00001ea8: PUSH1 0x00
00001eaa: KECCAK256
00001eab: DUP2
00001eac: SWAP1
00001ead: SSTORE
00001eae: POP
00001eaf: PUSH32 0x96c59bac7680c77217510ed14bc725bbca570081c194f20c9fad3fa3b349ca43
00001ed0: DUP11
00001ed1: DUP11
00001ed2: DUP6
00001ed3: DUP2
00001ed4: DUP2
00001ed5: LT
00001ed6: PUSH2 0x1edb
00001ed9: JUMPI
00001eda: INVALID
00001edb: JUMPDEST
00001edc: SWAP1
00001edd: POP
00001ede: PUSH1 0x20
00001ee0: MUL
00001ee1: ADD
00001ee2: CALLDATALOAD
00001ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef8: AND
00001ef9: DUP3
00001efa: DUP5
00001efb: PUSH1 0x40
00001efd: MLOAD
00001efe: DUP1
00001eff: DUP5
00001f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f15: AND
00001f16: DUP2
00001f17: MSTORE
00001f18: PUSH1 0x20
00001f1a: ADD
00001f1b: DUP4
00001f1c: DUP2
00001f1d: MSTORE
00001f1e: PUSH1 0x20
00001f20: ADD
00001f21: DUP3
00001f22: DUP2
00001f23: MSTORE
00001f24: PUSH1 0x20
00001f26: ADD
00001f27: SWAP4
00001f28: POP
00001f29: POP
00001f2a: POP
00001f2b: POP
00001f2c: PUSH1 0x40
00001f2e: MLOAD
00001f2f: DUP1
00001f30: SWAP2
00001f31: SUB
00001f32: SWAP1
00001f33: LOG1
00001f34: POP
00001f35: POP
00001f36: DUP1
00001f37: DUP1
00001f38: PUSH1 0x01
00001f3a: ADD
00001f3b: SWAP2
00001f3c: POP
00001f3d: POP
00001f3e: PUSH2 0x1bd8
00001f41: JUMP
00001f42: JUMPDEST
00001f43: POP
00001f44: DUP2
00001f45: DUP2
00001f46: EQ
00001f47: PUSH2 0x1fb8
00001f4a: JUMPI
00001f4b: PUSH1 0x40
00001f4d: MLOAD
00001f4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f6f: DUP2
00001f70: MSTORE
00001f71: PUSH1 0x04
00001f73: ADD
00001f74: DUP1
00001f75: DUP1
00001f76: PUSH1 0x20
00001f78: ADD
00001f79: DUP3
00001f7a: DUP2
00001f7b: SUB
00001f7c: DUP3
00001f7d: MSTORE
00001f7e: PUSH1 0x12
00001f80: DUP2
00001f81: MSTORE
00001f82: PUSH1 0x20
00001f84: ADD
00001f85: DUP1
00001f86: PUSH32 0x494e53554646494349454e545f46554e44530000000000000000000000000000
00001fa7: DUP2
00001fa8: MSTORE
00001fa9: POP
00001faa: PUSH1 0x20
00001fac: ADD
00001fad: SWAP2
00001fae: POP
00001faf: POP
00001fb0: PUSH1 0x40
00001fb2: MLOAD
00001fb3: DUP1
00001fb4: SWAP2
00001fb5: SUB
00001fb6: SWAP1
00001fb7: REVERT
00001fb8: JUMPDEST
00001fb9: PUSH1 0x04
00001fbb: PUSH1 0x00
00001fbd: SWAP1
00001fbe: SLOAD
00001fbf: SWAP1
00001fc0: PUSH2 0x0100
00001fc3: EXP
00001fc4: SWAP1
00001fc5: DIV
00001fc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fdb: AND
00001fdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff1: AND
00001ff2: PUSH4 0x731dae7e
00001ff7: DUP4
00001ff8: PUSH1 0x03
00001ffa: PUSH1 0x00
00001ffc: SWAP1
00001ffd: SLOAD
00001ffe: SWAP1
00001fff: PUSH2 0x0100
00002002: EXP
00002003: SWAP1
00002004: DIV
00002005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000201a: AND
0000201b: DUP9
0000201c: PUSH1 0x40
0000201e: MLOAD
0000201f: DUP5
00002020: PUSH4 0xffffffff
00002025: AND
00002026: PUSH1 0xe0
00002028: SHL
00002029: DUP2
0000202a: MSTORE
0000202b: PUSH1 0x04
0000202d: ADD
0000202e: DUP1
0000202f: DUP4
00002030: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002045: AND
00002046: DUP2
00002047: MSTORE
00002048: PUSH1 0x20
0000204a: ADD
0000204b: DUP3
0000204c: DUP2
0000204d: MSTORE
0000204e: PUSH1 0x20
00002050: ADD
00002051: SWAP3
00002052: POP
00002053: POP
00002054: POP
00002055: PUSH1 0x00
00002057: PUSH1 0x40
00002059: MLOAD
0000205a: DUP1
0000205b: DUP4
0000205c: SUB
0000205d: DUP2
0000205e: DUP6
0000205f: DUP9
00002060: DUP1
00002061: EXTCODESIZE
00002062: ISZERO
00002063: DUP1
00002064: ISZERO
00002065: PUSH2 0x206d
00002068: JUMPI
00002069: PUSH1 0x00
0000206b: DUP1
0000206c: REVERT
0000206d: JUMPDEST
0000206e: POP
0000206f: GAS
00002070: CALL
00002071: ISZERO
00002072: DUP1
00002073: ISZERO
00002074: PUSH2 0x2081
00002077: JUMPI
00002078: RETURNDATASIZE
00002079: PUSH1 0x00
0000207b: DUP1
0000207c: RETURNDATACOPY
0000207d: RETURNDATASIZE
0000207e: PUSH1 0x00
00002080: REVERT
00002081: JUMPDEST
00002082: POP
00002083: POP
00002084: POP
00002085: POP
00002086: POP
00002087: POP
00002088: POP
00002089: POP
0000208a: POP
0000208b: POP
0000208c: POP
0000208d: POP
0000208e: JUMP
0000208f: JUMPDEST
00002090: PUSH1 0x00
00002092: DUP1
00002093: SHL
00002094: DUP2
00002095: JUMP
00002096: JUMPDEST
00002097: PUSH1 0x02
00002099: PUSH1 0x20
0000209b: MSTORE
0000209c: DUP1
0000209d: PUSH1 0x00
0000209f: MSTORE
000020a0: PUSH1 0x40
000020a2: PUSH1 0x00
000020a4: KECCAK256
000020a5: PUSH1 0x00
000020a7: SWAP2
000020a8: POP
000020a9: SWAP1
000020aa: POP
000020ab: SLOAD
000020ac: DUP2
000020ad: JUMP
000020ae: JUMPDEST
000020af: PUSH1 0x00
000020b1: PUSH2 0x20cd
000020b4: PUSH1 0x00
000020b6: DUP1
000020b7: DUP5
000020b8: DUP2
000020b9: MSTORE
000020ba: PUSH1 0x20
000020bc: ADD
000020bd: SWAP1
000020be: DUP2
000020bf: MSTORE
000020c0: PUSH1 0x20
000020c2: ADD
000020c3: PUSH1 0x00
000020c5: KECCAK256
000020c6: PUSH1 0x00
000020c8: ADD
000020c9: PUSH2 0x2c14
000020cc: JUMP
000020cd: JUMPDEST
000020ce: SWAP1
000020cf: POP
000020d0: SWAP2
000020d1: SWAP1
000020d2: POP
000020d3: JUMP
000020d4: JUMPDEST
000020d5: PUSH2 0x20fa
000020d8: PUSH1 0x00
000020da: DUP1
000020db: DUP5
000020dc: DUP2
000020dd: MSTORE
000020de: PUSH1 0x20
000020e0: ADD
000020e1: SWAP1
000020e2: DUP2
000020e3: MSTORE
000020e4: PUSH1 0x20
000020e6: ADD
000020e7: PUSH1 0x00
000020e9: KECCAK256
000020ea: PUSH1 0x02
000020ec: ADD
000020ed: SLOAD
000020ee: PUSH2 0x20f5
000020f1: PUSH2 0x2982
000020f4: JUMP
000020f5: JUMPDEST
000020f6: PUSH2 0x15aa
000020f9: JUMP
000020fa: JUMPDEST
000020fb: PUSH2 0x214f
000020fe: JUMPI
000020ff: PUSH1 0x40
00002101: MLOAD
00002102: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002123: DUP2
00002124: MSTORE
00002125: PUSH1 0x04
00002127: ADD
00002128: DUP1
00002129: DUP1
0000212a: PUSH1 0x20
0000212c: ADD
0000212d: DUP3
0000212e: DUP2
0000212f: SUB
00002130: DUP3
00002131: MSTORE
00002132: PUSH1 0x30
00002134: DUP2
00002135: MSTORE
00002136: PUSH1 0x20
00002138: ADD
00002139: DUP1
0000213a: PUSH2 0x3040
0000213d: PUSH1 0x30
0000213f: SWAP2
00002140: CODECOPY
00002141: PUSH1 0x40
00002143: ADD
00002144: SWAP2
00002145: POP
00002146: POP
00002147: PUSH1 0x40
00002149: MLOAD
0000214a: DUP1
0000214b: SWAP2
0000214c: SUB
0000214d: SWAP1
0000214e: REVERT
0000214f: JUMPDEST
00002150: PUSH2 0x2159
00002153: DUP3
00002154: DUP3
00002155: PUSH2 0x2a67
00002158: JUMP
00002159: JUMPDEST
0000215a: POP
0000215b: POP
0000215c: JUMP
0000215d: JUMPDEST
0000215e: PUSH1 0x00
00002160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002175: AND
00002176: PUSH1 0x03
00002178: PUSH1 0x00
0000217a: SWAP1
0000217b: SLOAD
0000217c: SWAP1
0000217d: PUSH2 0x0100
00002180: EXP
00002181: SWAP1
00002182: DIV
00002183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002198: AND
00002199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ae: AND
000021af: EQ
000021b0: ISZERO
000021b1: PUSH2 0x2222
000021b4: JUMPI
000021b5: PUSH1 0x40
000021b7: MLOAD
000021b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021d9: DUP2
000021da: MSTORE
000021db: PUSH1 0x04
000021dd: ADD
000021de: DUP1
000021df: DUP1
000021e0: PUSH1 0x20
000021e2: ADD
000021e3: DUP3
000021e4: DUP2
000021e5: SUB
000021e6: DUP3
000021e7: MSTORE
000021e8: PUSH1 0x0b
000021ea: DUP2
000021eb: MSTORE
000021ec: PUSH1 0x20
000021ee: ADD
000021ef: DUP1
000021f0: PUSH32 0x5049455f4e4f545f534554000000000000000000000000000000000000000000
00002211: DUP2
00002212: MSTORE
00002213: POP
00002214: PUSH1 0x20
00002216: ADD
00002217: SWAP2
00002218: POP
00002219: POP
0000221a: PUSH1 0x40
0000221c: MLOAD
0000221d: DUP1
0000221e: SWAP2
0000221f: SUB
00002220: SWAP1
00002221: REVERT
00002222: JUMPDEST
00002223: PUSH1 0x00
00002225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223a: AND
0000223b: PUSH1 0x04
0000223d: PUSH1 0x00
0000223f: SWAP1
00002240: SLOAD
00002241: SWAP1
00002242: PUSH2 0x0100
00002245: EXP
00002246: SWAP1
00002247: DIV
00002248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000225d: AND
0000225e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002273: AND
00002274: EQ
00002275: ISZERO
00002276: PUSH2 0x22e7
00002279: JUMPI
0000227a: PUSH1 0x40
0000227c: MLOAD
0000227d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000229e: DUP2
0000229f: MSTORE
000022a0: PUSH1 0x04
000022a2: ADD
000022a3: DUP1
000022a4: DUP1
000022a5: PUSH1 0x20
000022a7: ADD
000022a8: DUP3
000022a9: DUP2
000022aa: SUB
000022ab: DUP3
000022ac: MSTORE
000022ad: PUSH1 0x0e
000022af: DUP2
000022b0: MSTORE
000022b1: PUSH1 0x20
000022b3: ADD
000022b4: DUP1
000022b5: PUSH32 0x5245434950455f4e4f545f534554000000000000000000000000000000000000
000022d6: DUP2
000022d7: MSTORE
000022d8: POP
000022d9: PUSH1 0x20
000022db: ADD
000022dc: SWAP2
000022dd: POP
000022de: POP
000022df: PUSH1 0x40
000022e1: MLOAD
000022e2: DUP1
000022e3: SWAP2
000022e4: SUB
000022e5: SWAP1
000022e6: REVERT
000022e7: JUMPDEST
000022e8: PUSH1 0x00
000022ea: PUSH1 0x02
000022ec: PUSH1 0x00
000022ee: CALLER
000022ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002304: AND
00002305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231a: AND
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x20
0000231f: ADD
00002320: SWAP1
00002321: DUP2
00002322: MSTORE
00002323: PUSH1 0x20
00002325: ADD
00002326: PUSH1 0x00
00002328: KECCAK256
00002329: SLOAD
0000232a: SWAP1
0000232b: POP
0000232c: PUSH1 0x00
0000232e: PUSH1 0x02
00002330: PUSH1 0x00
00002332: CALLER
00002333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002348: AND
00002349: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000235e: AND
0000235f: DUP2
00002360: MSTORE
00002361: PUSH1 0x20
00002363: ADD
00002364: SWAP1
00002365: DUP2
00002366: MSTORE
00002367: PUSH1 0x20
00002369: ADD
0000236a: PUSH1 0x00
0000236c: KECCAK256
0000236d: DUP2
0000236e: SWAP1
0000236f: SSTORE
00002370: POP
00002371: PUSH1 0x03
00002373: PUSH1 0x00
00002375: SWAP1
00002376: SLOAD
00002377: SWAP1
00002378: PUSH2 0x0100
0000237b: EXP
0000237c: SWAP1
0000237d: DIV
0000237e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002393: AND
00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a9: AND
000023aa: PUSH4 0xa9059cbb
000023af: DUP4
000023b0: DUP4
000023b1: PUSH1 0x40
000023b3: MLOAD
000023b4: DUP4
000023b5: PUSH4 0xffffffff
000023ba: AND
000023bb: PUSH1 0xe0
000023bd: SHL
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x04
000023c2: ADD
000023c3: DUP1
000023c4: DUP4
000023c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023da: AND
000023db: DUP2
000023dc: MSTORE
000023dd: PUSH1 0x20
000023df: ADD
000023e0: DUP3
000023e1: DUP2
000023e2: MSTORE
000023e3: PUSH1 0x20
000023e5: ADD
000023e6: SWAP3
000023e7: POP
000023e8: POP
000023e9: POP
000023ea: PUSH1 0x20
000023ec: PUSH1 0x40
000023ee: MLOAD
000023ef: DUP1
000023f0: DUP4
000023f1: SUB
000023f2: DUP2
000023f3: PUSH1 0x00
000023f5: DUP8
000023f6: DUP1
000023f7: EXTCODESIZE
000023f8: ISZERO
000023f9: DUP1
000023fa: ISZERO
000023fb: PUSH2 0x2403
000023fe: JUMPI
000023ff: PUSH1 0x00
00002401: DUP1
00002402: REVERT
00002403: JUMPDEST
00002404: POP
00002405: GAS
00002406: CALL
00002407: ISZERO
00002408: DUP1
00002409: ISZERO
0000240a: PUSH2 0x2417
0000240d: JUMPI
0000240e: RETURNDATASIZE
0000240f: PUSH1 0x00
00002411: DUP1
00002412: RETURNDATACOPY
00002413: RETURNDATASIZE
00002414: PUSH1 0x00
00002416: REVERT
00002417: JUMPDEST
00002418: POP
00002419: POP
0000241a: POP
0000241b: POP
0000241c: PUSH1 0x40
0000241e: MLOAD
0000241f: RETURNDATASIZE
00002420: PUSH1 0x20
00002422: DUP2
00002423: LT
00002424: ISZERO
00002425: PUSH2 0x242d
00002428: JUMPI
00002429: PUSH1 0x00
0000242b: DUP1
0000242c: REVERT
0000242d: JUMPDEST
0000242e: DUP2
0000242f: ADD
00002430: SWAP1
00002431: DUP1
00002432: DUP1
00002433: MLOAD
00002434: SWAP1
00002435: PUSH1 0x20
00002437: ADD
00002438: SWAP1
00002439: SWAP3
0000243a: SWAP2
0000243b: SWAP1
0000243c: POP
0000243d: POP
0000243e: POP
0000243f: POP
00002440: PUSH32 0x601812e3be00387a6117506f98da8c90f2abbc8b7369b08016996918895287a4
00002461: CALLER
00002462: DUP3
00002463: DUP5
00002464: PUSH1 0x40
00002466: MLOAD
00002467: DUP1
00002468: DUP5
00002469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000247e: AND
0000247f: DUP2
00002480: MSTORE
00002481: PUSH1 0x20
00002483: ADD
00002484: DUP4
00002485: DUP2
00002486: MSTORE
00002487: PUSH1 0x20
00002489: ADD
0000248a: DUP3
0000248b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a0: AND
000024a1: DUP2
000024a2: MSTORE
000024a3: PUSH1 0x20
000024a5: ADD
000024a6: SWAP4
000024a7: POP
000024a8: POP
000024a9: POP
000024aa: POP
000024ab: PUSH1 0x40
000024ad: MLOAD
000024ae: DUP1
000024af: SWAP2
000024b0: SUB
000024b1: SWAP1
000024b2: LOG1
000024b3: POP
000024b4: POP
000024b5: JUMP
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: DUP1
000024ba: SHL
000024bb: PUSH2 0x24c4
000024be: DUP2
000024bf: CALLER
000024c0: PUSH2 0x15aa
000024c3: JUMP
000024c4: JUMPDEST
000024c5: PUSH2 0x2536
000024c8: JUMPI
000024c9: PUSH1 0x40
000024cb: MLOAD
000024cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024ed: DUP2
000024ee: MSTORE
000024ef: PUSH1 0x04
000024f1: ADD
000024f2: DUP1
000024f3: DUP1
000024f4: PUSH1 0x20
000024f6: ADD
000024f7: DUP3
000024f8: DUP2
000024f9: SUB
000024fa: DUP3
000024fb: MSTORE
000024fc: PUSH1 0x0b
000024fe: DUP2
000024ff: MSTORE
00002500: PUSH1 0x20
00002502: ADD
00002503: DUP1
00002504: PUSH32 0x415554485f4641494c4544000000000000000000000000000000000000000000
00002525: DUP2
00002526: MSTORE
00002527: POP
00002528: PUSH1 0x20
0000252a: ADD
0000252b: SWAP2
0000252c: POP
0000252d: POP
0000252e: PUSH1 0x40
00002530: MLOAD
00002531: DUP1
00002532: SWAP2
00002533: SUB
00002534: SWAP1
00002535: REVERT
00002536: JUMPDEST
00002537: PUSH1 0x00
00002539: DUP3
0000253a: SWAP1
0000253b: POP
0000253c: DUP1
0000253d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002552: AND
00002553: PUSH4 0xa9059cbb
00002558: PUSH20 0xaf2fe0d4fe879066b2baa68d9e56cc375df22815
0000256d: DUP4
0000256e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002583: AND
00002584: PUSH4 0x70a08231
00002589: ADDRESS
0000258a: PUSH1 0x40
0000258c: MLOAD
0000258d: DUP3
0000258e: PUSH4 0xffffffff
00002593: AND
00002594: PUSH1 0xe0
00002596: SHL
00002597: DUP2
00002598: MSTORE
00002599: PUSH1 0x04
0000259b: ADD
0000259c: DUP1
0000259d: DUP3
0000259e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025b3: AND
000025b4: DUP2
000025b5: MSTORE
000025b6: PUSH1 0x20
000025b8: ADD
000025b9: SWAP2
000025ba: POP
000025bb: POP
000025bc: PUSH1 0x20
000025be: PUSH1 0x40
000025c0: MLOAD
000025c1: DUP1
000025c2: DUP4
000025c3: SUB
000025c4: DUP2
000025c5: DUP7
000025c6: DUP1
000025c7: EXTCODESIZE
000025c8: ISZERO
000025c9: DUP1
000025ca: ISZERO
000025cb: PUSH2 0x25d3
000025ce: JUMPI
000025cf: PUSH1 0x00
000025d1: DUP1
000025d2: REVERT
000025d3: JUMPDEST
000025d4: POP
000025d5: GAS
000025d6: STATICCALL
000025d7: ISZERO
000025d8: DUP1
000025d9: ISZERO
000025da: PUSH2 0x25e7
000025dd: JUMPI
000025de: RETURNDATASIZE
000025df: PUSH1 0x00
000025e1: DUP1
000025e2: RETURNDATACOPY
000025e3: RETURNDATASIZE
000025e4: PUSH1 0x00
000025e6: REVERT
000025e7: JUMPDEST
000025e8: POP
000025e9: POP
000025ea: POP
000025eb: POP
000025ec: PUSH1 0x40
000025ee: MLOAD
000025ef: RETURNDATASIZE
000025f0: PUSH1 0x20
000025f2: DUP2
000025f3: LT
000025f4: ISZERO
000025f5: PUSH2 0x25fd
000025f8: JUMPI
000025f9: PUSH1 0x00
000025fb: DUP1
000025fc: REVERT
000025fd: JUMPDEST
000025fe: DUP2
000025ff: ADD
00002600: SWAP1
00002601: DUP1
00002602: DUP1
00002603: MLOAD
00002604: SWAP1
00002605: PUSH1 0x20
00002607: ADD
00002608: SWAP1
00002609: SWAP3
0000260a: SWAP2
0000260b: SWAP1
0000260c: POP
0000260d: POP
0000260e: POP
0000260f: PUSH1 0x40
00002611: MLOAD
00002612: DUP4
00002613: PUSH4 0xffffffff
00002618: AND
00002619: PUSH1 0xe0
0000261b: SHL
0000261c: DUP2
0000261d: MSTORE
0000261e: PUSH1 0x04
00002620: ADD
00002621: DUP1
00002622: DUP4
00002623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002638: AND
00002639: DUP2
0000263a: MSTORE
0000263b: PUSH1 0x20
0000263d: ADD
0000263e: DUP3
0000263f: DUP2
00002640: MSTORE
00002641: PUSH1 0x20
00002643: ADD
00002644: SWAP3
00002645: POP
00002646: POP
00002647: POP
00002648: PUSH1 0x20
0000264a: PUSH1 0x40
0000264c: MLOAD
0000264d: DUP1
0000264e: DUP4
0000264f: SUB
00002650: DUP2
00002651: PUSH1 0x00
00002653: DUP8
00002654: DUP1
00002655: EXTCODESIZE
00002656: ISZERO
00002657: DUP1
00002658: ISZERO
00002659: PUSH2 0x2661
0000265c: JUMPI
0000265d: PUSH1 0x00
0000265f: DUP1
00002660: REVERT
00002661: JUMPDEST
00002662: POP
00002663: GAS
00002664: CALL
00002665: ISZERO
00002666: DUP1
00002667: ISZERO
00002668: PUSH2 0x2675
0000266b: JUMPI
0000266c: RETURNDATASIZE
0000266d: PUSH1 0x00
0000266f: DUP1
00002670: RETURNDATACOPY
00002671: RETURNDATASIZE
00002672: PUSH1 0x00
00002674: REVERT
00002675: JUMPDEST
00002676: POP
00002677: POP
00002678: POP
00002679: POP
0000267a: PUSH1 0x40
0000267c: MLOAD
0000267d: RETURNDATASIZE
0000267e: PUSH1 0x20
00002680: DUP2
00002681: LT
00002682: ISZERO
00002683: PUSH2 0x268b
00002686: JUMPI
00002687: PUSH1 0x00
00002689: DUP1
0000268a: REVERT
0000268b: JUMPDEST
0000268c: DUP2
0000268d: ADD
0000268e: SWAP1
0000268f: DUP1
00002690: DUP1
00002691: MLOAD
00002692: SWAP1
00002693: PUSH1 0x20
00002695: ADD
00002696: SWAP1
00002697: SWAP3
00002698: SWAP2
00002699: SWAP1
0000269a: POP
0000269b: POP
0000269c: POP
0000269d: POP
0000269e: POP
0000269f: POP
000026a0: POP
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH2 0x26ab
000026a6: DUP3
000026a7: PUSH2 0x1398
000026aa: JUMP
000026ab: JUMPDEST
000026ac: PUSH2 0x26b4
000026af: DUP2
000026b0: PUSH2 0x11ea
000026b3: JUMP
000026b4: JUMPDEST
000026b5: POP
000026b6: POP
000026b7: JUMP
000026b8: JUMPDEST
000026b9: PUSH1 0x40
000026bb: MLOAD
000026bc: PUSH1 0x20
000026be: ADD
000026bf: DUP1
000026c0: DUP1
000026c1: PUSH1 0x20
000026c3: ADD
000026c4: DUP3
000026c5: DUP2
000026c6: SUB
000026c7: DUP3
000026c8: MSTORE
000026c9: PUSH1 0x0a
000026cb: DUP2
000026cc: MSTORE
000026cd: PUSH1 0x20
000026cf: ADD
000026d0: DUP1
000026d1: PUSH32 0x4341505f53455454455200000000000000000000000000000000000000000000
000026f2: DUP2
000026f3: MSTORE
000026f4: POP
000026f5: PUSH1 0x20
000026f7: ADD
000026f8: SWAP2
000026f9: POP
000026fa: POP
000026fb: PUSH1 0x40
000026fd: MLOAD
000026fe: PUSH1 0x20
00002700: DUP2
00002701: DUP4
00002702: SUB
00002703: SUB
00002704: DUP2
00002705: MSTORE
00002706: SWAP1
00002707: PUSH1 0x40
00002709: MSTORE
0000270a: DUP1
0000270b: MLOAD
0000270c: SWAP1
0000270d: PUSH1 0x20
0000270f: ADD
00002710: KECCAK256
00002711: DUP2
00002712: JUMP
00002713: JUMPDEST
00002714: PUSH1 0x00
00002716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272b: AND
0000272c: PUSH1 0x03
0000272e: PUSH1 0x00
00002730: SWAP1
00002731: SLOAD
00002732: SWAP1
00002733: PUSH2 0x0100
00002736: EXP
00002737: SWAP1
00002738: DIV
00002739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000274e: AND
0000274f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002764: AND
00002765: EQ
00002766: ISZERO
00002767: PUSH2 0x27d8
0000276a: JUMPI
0000276b: PUSH1 0x40
0000276d: MLOAD
0000276e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000278f: DUP2
00002790: MSTORE
00002791: PUSH1 0x04
00002793: ADD
00002794: DUP1
00002795: DUP1
00002796: PUSH1 0x20
00002798: ADD
00002799: DUP3
0000279a: DUP2
0000279b: SUB
0000279c: DUP3
0000279d: MSTORE
0000279e: PUSH1 0x0b
000027a0: DUP2
000027a1: MSTORE
000027a2: PUSH1 0x20
000027a4: ADD
000027a5: DUP1
000027a6: PUSH32 0x5049455f4e4f545f534554000000000000000000000000000000000000000000
000027c7: DUP2
000027c8: MSTORE
000027c9: POP
000027ca: PUSH1 0x20
000027cc: ADD
000027cd: SWAP2
000027ce: POP
000027cf: POP
000027d0: PUSH1 0x40
000027d2: MLOAD
000027d3: DUP1
000027d4: SWAP2
000027d5: SUB
000027d6: SWAP1
000027d7: REVERT
000027d8: JUMPDEST
000027d9: PUSH1 0x00
000027db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f0: AND
000027f1: PUSH1 0x04
000027f3: PUSH1 0x00
000027f5: SWAP1
000027f6: SLOAD
000027f7: SWAP1
000027f8: PUSH2 0x0100
000027fb: EXP
000027fc: SWAP1
000027fd: DIV
000027fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002813: AND
00002814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002829: AND
0000282a: EQ
0000282b: ISZERO
0000282c: PUSH2 0x289d
0000282f: JUMPI
00002830: PUSH1 0x40
00002832: MLOAD
00002833: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002854: DUP2
00002855: MSTORE
00002856: PUSH1 0x04
00002858: ADD
00002859: DUP1
0000285a: DUP1
0000285b: PUSH1 0x20
0000285d: ADD
0000285e: DUP3
0000285f: DUP2
00002860: SUB
00002861: DUP3
00002862: MSTORE
00002863: PUSH1 0x0e
00002865: DUP2
00002866: MSTORE
00002867: PUSH1 0x20
00002869: ADD
0000286a: DUP1
0000286b: PUSH32 0x5245434950455f4e4f545f534554000000000000000000000000000000000000
0000288c: DUP2
0000288d: MSTORE
0000288e: POP
0000288f: PUSH1 0x20
00002891: ADD
00002892: SWAP2
00002893: POP
00002894: POP
00002895: PUSH1 0x40
00002897: MLOAD
00002898: DUP1
00002899: SWAP2
0000289a: SUB
0000289b: SWAP1
0000289c: REVERT
0000289d: JUMPDEST
0000289e: PUSH2 0x28a6
000028a1: DUP2
000028a2: PUSH2 0x1636
000028a5: JUMP
000028a6: JUMPDEST
000028a7: PUSH2 0x28af
000028aa: DUP2
000028ab: PUSH2 0x215d
000028ae: JUMP
000028af: JUMPDEST
000028b0: POP
000028b1: JUMP
000028b2: JUMPDEST
000028b3: PUSH20 0xaf2fe0d4fe879066b2baa68d9e56cc375df22815
000028c8: DUP2
000028c9: JUMP
000028ca: JUMPDEST
000028cb: PUSH1 0x00
000028cd: PUSH2 0x28f2
000028d0: DUP4
000028d1: PUSH1 0x00
000028d3: ADD
000028d4: DUP4
000028d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ea: AND
000028eb: PUSH1 0x00
000028ed: SHL
000028ee: PUSH2 0x2c29
000028f1: JUMP
000028f2: JUMPDEST
000028f3: SWAP1
000028f4: POP
000028f5: SWAP3
000028f6: SWAP2
000028f7: POP
000028f8: POP
000028f9: JUMP
000028fa: JUMPDEST
000028fb: PUSH1 0x00
000028fd: DUP1
000028fe: DUP3
000028ff: DUP5
00002900: ADD
00002901: SWAP1
00002902: POP
00002903: DUP4
00002904: DUP2
00002905: LT
00002906: ISZERO
00002907: PUSH2 0x2978
0000290a: JUMPI
0000290b: PUSH1 0x40
0000290d: MLOAD
0000290e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000292f: DUP2
00002930: MSTORE
00002931: PUSH1 0x04
00002933: ADD
00002934: DUP1
00002935: DUP1
00002936: PUSH1 0x20
00002938: ADD
00002939: DUP3
0000293a: DUP2
0000293b: SUB
0000293c: DUP3
0000293d: MSTORE
0000293e: PUSH1 0x1b
00002940: DUP2
00002941: MSTORE
00002942: PUSH1 0x20
00002944: ADD
00002945: DUP1
00002946: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002967: DUP2
00002968: MSTORE
00002969: POP
0000296a: PUSH1 0x20
0000296c: ADD
0000296d: SWAP2
0000296e: POP
0000296f: POP
00002970: PUSH1 0x40
00002972: MLOAD
00002973: DUP1
00002974: SWAP2
00002975: SUB
00002976: SWAP1
00002977: REVERT
00002978: JUMPDEST
00002979: DUP1
0000297a: SWAP2
0000297b: POP
0000297c: POP
0000297d: SWAP3
0000297e: SWAP2
0000297f: POP
00002980: POP
00002981: JUMP
00002982: JUMPDEST
00002983: PUSH1 0x00
00002985: CALLER
00002986: SWAP1
00002987: POP
00002988: SWAP1
00002989: JUMP
0000298a: JUMPDEST
0000298b: PUSH2 0x29b1
0000298e: DUP2
0000298f: PUSH1 0x00
00002991: DUP1
00002992: DUP6
00002993: DUP2
00002994: MSTORE
00002995: PUSH1 0x20
00002997: ADD
00002998: SWAP1
00002999: DUP2
0000299a: MSTORE
0000299b: PUSH1 0x20
0000299d: ADD
0000299e: PUSH1 0x00
000029a0: KECCAK256
000029a1: PUSH1 0x00
000029a3: ADD
000029a4: PUSH2 0x28ca
000029a7: SWAP1
000029a8: SWAP2
000029a9: SWAP1
000029aa: PUSH4 0xffffffff
000029af: AND
000029b0: JUMP
000029b1: JUMPDEST
000029b2: ISZERO
000029b3: PUSH2 0x2a19
000029b6: JUMPI
000029b7: PUSH2 0x29be
000029ba: PUSH2 0x2982
000029bd: JUMP
000029be: JUMPDEST
000029bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029d4: AND
000029d5: DUP2
000029d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029eb: AND
000029ec: DUP4
000029ed: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00002a0e: PUSH1 0x40
00002a10: MLOAD
00002a11: PUSH1 0x40
00002a13: MLOAD
00002a14: DUP1
00002a15: SWAP2
00002a16: SUB
00002a17: SWAP1
00002a18: LOG4
00002a19: JUMPDEST
00002a1a: POP
00002a1b: POP
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH1 0x00
00002a20: PUSH2 0x2a5f
00002a23: DUP4
00002a24: DUP4
00002a25: PUSH1 0x40
00002a27: MLOAD
00002a28: DUP1
00002a29: PUSH1 0x40
00002a2b: ADD
00002a2c: PUSH1 0x40
00002a2e: MSTORE
00002a2f: DUP1
00002a30: PUSH1 0x1e
00002a32: DUP2
00002a33: MSTORE
00002a34: PUSH1 0x20
00002a36: ADD
00002a37: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002a58: DUP2
00002a59: MSTORE
00002a5a: POP
00002a5b: PUSH2 0x2c99
00002a5e: JUMP
00002a5f: JUMPDEST
00002a60: SWAP1
00002a61: POP
00002a62: SWAP3
00002a63: SWAP2
00002a64: POP
00002a65: POP
00002a66: JUMP
00002a67: JUMPDEST
00002a68: PUSH2 0x2a8e
00002a6b: DUP2
00002a6c: PUSH1 0x00
00002a6e: DUP1
00002a6f: DUP6
00002a70: DUP2
00002a71: MSTORE
00002a72: PUSH1 0x20
00002a74: ADD
00002a75: SWAP1
00002a76: DUP2
00002a77: MSTORE
00002a78: PUSH1 0x20
00002a7a: ADD
00002a7b: PUSH1 0x00
00002a7d: KECCAK256
00002a7e: PUSH1 0x00
00002a80: ADD
00002a81: PUSH2 0x2d59
00002a84: SWAP1
00002a85: SWAP2
00002a86: SWAP1
00002a87: PUSH4 0xffffffff
00002a8c: AND
00002a8d: JUMP
00002a8e: JUMPDEST
00002a8f: ISZERO
00002a90: PUSH2 0x2af6
00002a93: JUMPI
00002a94: PUSH2 0x2a9b
00002a97: PUSH2 0x2982
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ab1: AND
00002ab2: DUP2
00002ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ac8: AND
00002ac9: DUP4
00002aca: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002aeb: PUSH1 0x40
00002aed: MLOAD
00002aee: PUSH1 0x40
00002af0: MLOAD
00002af1: DUP1
00002af2: SWAP2
00002af3: SUB
00002af4: SWAP1
00002af5: LOG4
00002af6: JUMPDEST
00002af7: POP
00002af8: POP
00002af9: JUMP
00002afa: JUMPDEST
00002afb: PUSH1 0x00
00002afd: PUSH2 0x2b09
00002b00: DUP4
00002b01: PUSH1 0x00
00002b03: ADD
00002b04: DUP4
00002b05: PUSH2 0x2d89
00002b08: JUMP
00002b09: JUMPDEST
00002b0a: PUSH1 0x00
00002b0c: SHR
00002b0d: SWAP1
00002b0e: POP
00002b0f: SWAP3
00002b10: SWAP2
00002b11: POP
00002b12: POP
00002b13: JUMP
00002b14: JUMPDEST
00002b15: PUSH1 0x00
00002b17: PUSH2 0x2b3c
00002b1a: DUP4
00002b1b: PUSH1 0x00
00002b1d: ADD
00002b1e: DUP4
00002b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b34: AND
00002b35: PUSH1 0x00
00002b37: SHL
00002b38: PUSH2 0x2e0c
00002b3b: JUMP
00002b3c: JUMPDEST
00002b3d: SWAP1
00002b3e: POP
00002b3f: SWAP3
00002b40: SWAP2
00002b41: POP
00002b42: POP
00002b43: JUMP
00002b44: JUMPDEST
00002b45: PUSH1 0x00
00002b47: DUP1
00002b48: DUP4
00002b49: EQ
00002b4a: ISZERO
00002b4b: PUSH2 0x2b57
00002b4e: JUMPI
00002b4f: PUSH1 0x00
00002b51: SWAP1
00002b52: POP
00002b53: PUSH2 0x2bc4
00002b56: JUMP
00002b57: JUMPDEST
00002b58: PUSH1 0x00
00002b5a: DUP3
00002b5b: DUP5
00002b5c: MUL
00002b5d: SWAP1
00002b5e: POP
00002b5f: DUP3
00002b60: DUP5
00002b61: DUP3
00002b62: DUP2
00002b63: PUSH2 0x2b68
00002b66: JUMPI
00002b67: INVALID
00002b68: JUMPDEST
00002b69: DIV
00002b6a: EQ
00002b6b: PUSH2 0x2bbf
00002b6e: JUMPI
00002b6f: PUSH1 0x40
00002b71: MLOAD
00002b72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b93: DUP2
00002b94: MSTORE
00002b95: PUSH1 0x04
00002b97: ADD
00002b98: DUP1
00002b99: DUP1
00002b9a: PUSH1 0x20
00002b9c: ADD
00002b9d: DUP3
00002b9e: DUP2
00002b9f: SUB
00002ba0: DUP3
00002ba1: MSTORE
00002ba2: PUSH1 0x21
00002ba4: DUP2
00002ba5: MSTORE
00002ba6: PUSH1 0x20
00002ba8: ADD
00002ba9: DUP1
00002baa: PUSH2 0x3070
00002bad: PUSH1 0x21
00002baf: SWAP2
00002bb0: CODECOPY
00002bb1: PUSH1 0x40
00002bb3: ADD
00002bb4: SWAP2
00002bb5: POP
00002bb6: POP
00002bb7: PUSH1 0x40
00002bb9: MLOAD
00002bba: DUP1
00002bbb: SWAP2
00002bbc: SUB
00002bbd: SWAP1
00002bbe: REVERT
00002bbf: JUMPDEST
00002bc0: DUP1
00002bc1: SWAP2
00002bc2: POP
00002bc3: POP
00002bc4: JUMPDEST
00002bc5: SWAP3
00002bc6: SWAP2
00002bc7: POP
00002bc8: POP
00002bc9: JUMP
00002bca: JUMPDEST
00002bcb: PUSH1 0x00
00002bcd: PUSH2 0x2c0c
00002bd0: DUP4
00002bd1: DUP4
00002bd2: PUSH1 0x40
00002bd4: MLOAD
00002bd5: DUP1
00002bd6: PUSH1 0x40
00002bd8: ADD
00002bd9: PUSH1 0x40
00002bdb: MSTORE
00002bdc: DUP1
00002bdd: PUSH1 0x1a
00002bdf: DUP2
00002be0: MSTORE
00002be1: PUSH1 0x20
00002be3: ADD
00002be4: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002c05: DUP2
00002c06: MSTORE
00002c07: POP
00002c08: PUSH2 0x2e2f
00002c0b: JUMP
00002c0c: JUMPDEST
00002c0d: SWAP1
00002c0e: POP
00002c0f: SWAP3
00002c10: SWAP2
00002c11: POP
00002c12: POP
00002c13: JUMP
00002c14: JUMPDEST
00002c15: PUSH1 0x00
00002c17: PUSH2 0x2c22
00002c1a: DUP3
00002c1b: PUSH1 0x00
00002c1d: ADD
00002c1e: PUSH2 0x2ef5
00002c21: JUMP
00002c22: JUMPDEST
00002c23: SWAP1
00002c24: POP
00002c25: SWAP2
00002c26: SWAP1
00002c27: POP
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: PUSH1 0x00
00002c2c: PUSH2 0x2c35
00002c2f: DUP4
00002c30: DUP4
00002c31: PUSH2 0x2e0c
00002c34: JUMP
00002c35: JUMPDEST
00002c36: PUSH2 0x2c8e
00002c39: JUMPI
00002c3a: DUP3
00002c3b: PUSH1 0x00
00002c3d: ADD
00002c3e: DUP3
00002c3f: SWAP1
00002c40: DUP1
00002c41: PUSH1 0x01
00002c43: DUP2
00002c44: SLOAD
00002c45: ADD
00002c46: DUP1
00002c47: DUP3
00002c48: SSTORE
00002c49: DUP1
00002c4a: SWAP2
00002c4b: POP
00002c4c: POP
00002c4d: PUSH1 0x01
00002c4f: SWAP1
00002c50: SUB
00002c51: SWAP1
00002c52: PUSH1 0x00
00002c54: MSTORE
00002c55: PUSH1 0x20
00002c57: PUSH1 0x00
00002c59: KECCAK256
00002c5a: ADD
00002c5b: PUSH1 0x00
00002c5d: SWAP1
00002c5e: SWAP2
00002c5f: SWAP1
00002c60: SWAP2
00002c61: SWAP1
00002c62: SWAP2
00002c63: POP
00002c64: SSTORE
00002c65: DUP3
00002c66: PUSH1 0x00
00002c68: ADD
00002c69: DUP1
00002c6a: SLOAD
00002c6b: SWAP1
00002c6c: POP
00002c6d: DUP4
00002c6e: PUSH1 0x01
00002c70: ADD
00002c71: PUSH1 0x00
00002c73: DUP5
00002c74: DUP2
00002c75: MSTORE
00002c76: PUSH1 0x20
00002c78: ADD
00002c79: SWAP1
00002c7a: DUP2
00002c7b: MSTORE
00002c7c: PUSH1 0x20
00002c7e: ADD
00002c7f: PUSH1 0x00
00002c81: KECCAK256
00002c82: DUP2
00002c83: SWAP1
00002c84: SSTORE
00002c85: POP
00002c86: PUSH1 0x01
00002c88: SWAP1
00002c89: POP
00002c8a: PUSH2 0x2c93
00002c8d: JUMP
00002c8e: JUMPDEST
00002c8f: PUSH1 0x00
00002c91: SWAP1
00002c92: POP
00002c93: JUMPDEST
00002c94: SWAP3
00002c95: SWAP2
00002c96: POP
00002c97: POP
00002c98: JUMP
00002c99: JUMPDEST
00002c9a: PUSH1 0x00
00002c9c: DUP4
00002c9d: DUP4
00002c9e: GT
00002c9f: ISZERO
00002ca0: DUP3
00002ca1: SWAP1
00002ca2: PUSH2 0x2d46
00002ca5: JUMPI
00002ca6: PUSH1 0x40
00002ca8: MLOAD
00002ca9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002cca: DUP2
00002ccb: MSTORE
00002ccc: PUSH1 0x04
00002cce: ADD
00002ccf: DUP1
00002cd0: DUP1
00002cd1: PUSH1 0x20
00002cd3: ADD
00002cd4: DUP3
00002cd5: DUP2
00002cd6: SUB
00002cd7: DUP3
00002cd8: MSTORE
00002cd9: DUP4
00002cda: DUP2
00002cdb: DUP2
00002cdc: MLOAD
00002cdd: DUP2
00002cde: MSTORE
00002cdf: PUSH1 0x20
00002ce1: ADD
00002ce2: SWAP2
00002ce3: POP
00002ce4: DUP1
00002ce5: MLOAD
00002ce6: SWAP1
00002ce7: PUSH1 0x20
00002ce9: ADD
00002cea: SWAP1
00002ceb: DUP1
00002cec: DUP4
00002ced: DUP4
00002cee: PUSH1 0x00
00002cf0: JUMPDEST
00002cf1: DUP4
00002cf2: DUP2
00002cf3: LT
00002cf4: ISZERO
00002cf5: PUSH2 0x2d0b
00002cf8: JUMPI
00002cf9: DUP1
00002cfa: DUP3
00002cfb: ADD
00002cfc: MLOAD
00002cfd: DUP2
00002cfe: DUP5
00002cff: ADD
00002d00: MSTORE
00002d01: PUSH1 0x20
00002d03: DUP2
00002d04: ADD
00002d05: SWAP1
00002d06: POP
00002d07: PUSH2 0x2cf0
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: POP
00002d0d: POP
00002d0e: POP
00002d0f: POP
00002d10: SWAP1
00002d11: POP
00002d12: SWAP1
00002d13: DUP2
00002d14: ADD
00002d15: SWAP1
00002d16: PUSH1 0x1f
00002d18: AND
00002d19: DUP1
00002d1a: ISZERO
00002d1b: PUSH2 0x2d38
00002d1e: JUMPI
00002d1f: DUP1
00002d20: DUP3
00002d21: SUB
00002d22: DUP1
00002d23: MLOAD
00002d24: PUSH1 0x01
00002d26: DUP4
00002d27: PUSH1 0x20
00002d29: SUB
00002d2a: PUSH2 0x0100
00002d2d: EXP
00002d2e: SUB
00002d2f: NOT
00002d30: AND
00002d31: DUP2
00002d32: MSTORE
00002d33: PUSH1 0x20
00002d35: ADD
00002d36: SWAP2
00002d37: POP
00002d38: JUMPDEST
00002d39: POP
00002d3a: SWAP3
00002d3b: POP
00002d3c: POP
00002d3d: POP
00002d3e: PUSH1 0x40
00002d40: MLOAD
00002d41: DUP1
00002d42: SWAP2
00002d43: SUB
00002d44: SWAP1
00002d45: REVERT
00002d46: JUMPDEST
00002d47: POP
00002d48: PUSH1 0x00
00002d4a: DUP4
00002d4b: DUP6
00002d4c: SUB
00002d4d: SWAP1
00002d4e: POP
00002d4f: DUP1
00002d50: SWAP2
00002d51: POP
00002d52: POP
00002d53: SWAP4
00002d54: SWAP3
00002d55: POP
00002d56: POP
00002d57: POP
00002d58: JUMP
00002d59: JUMPDEST
00002d5a: PUSH1 0x00
00002d5c: PUSH2 0x2d81
00002d5f: DUP4
00002d60: PUSH1 0x00
00002d62: ADD
00002d63: DUP4
00002d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d79: AND
00002d7a: PUSH1 0x00
00002d7c: SHL
00002d7d: PUSH2 0x2f06
00002d80: JUMP
00002d81: JUMPDEST
00002d82: SWAP1
00002d83: POP
00002d84: SWAP3
00002d85: SWAP2
00002d86: POP
00002d87: POP
00002d88: JUMP
00002d89: JUMPDEST
00002d8a: PUSH1 0x00
00002d8c: DUP2
00002d8d: DUP4
00002d8e: PUSH1 0x00
00002d90: ADD
00002d91: DUP1
00002d92: SLOAD
00002d93: SWAP1
00002d94: POP
00002d95: GT
00002d96: PUSH2 0x2dea
00002d99: JUMPI
00002d9a: PUSH1 0x40
00002d9c: MLOAD
00002d9d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002dbe: DUP2
00002dbf: MSTORE
00002dc0: PUSH1 0x04
00002dc2: ADD
00002dc3: DUP1
00002dc4: DUP1
00002dc5: PUSH1 0x20
00002dc7: ADD
00002dc8: DUP3
00002dc9: DUP2
00002dca: SUB
00002dcb: DUP3
00002dcc: MSTORE
00002dcd: PUSH1 0x22
00002dcf: DUP2
00002dd0: MSTORE
00002dd1: PUSH1 0x20
00002dd3: ADD
00002dd4: DUP1
00002dd5: PUSH2 0x2fef
00002dd8: PUSH1 0x22
00002dda: SWAP2
00002ddb: CODECOPY
00002ddc: PUSH1 0x40
00002dde: ADD
00002ddf: SWAP2
00002de0: POP
00002de1: POP
00002de2: PUSH1 0x40
00002de4: MLOAD
00002de5: DUP1
00002de6: SWAP2
00002de7: SUB
00002de8: SWAP1
00002de9: REVERT
00002dea: JUMPDEST
00002deb: DUP3
00002dec: PUSH1 0x00
00002dee: ADD
00002def: DUP3
00002df0: DUP2
00002df1: SLOAD
00002df2: DUP2
00002df3: LT
00002df4: PUSH2 0x2df9
00002df7: JUMPI
00002df8: INVALID
00002df9: JUMPDEST
00002dfa: SWAP1
00002dfb: PUSH1 0x00
00002dfd: MSTORE
00002dfe: PUSH1 0x20
00002e00: PUSH1 0x00
00002e02: KECCAK256
00002e03: ADD
00002e04: SLOAD
00002e05: SWAP1
00002e06: POP
00002e07: SWAP3
00002e08: SWAP2
00002e09: POP
00002e0a: POP
00002e0b: JUMP
00002e0c: JUMPDEST
00002e0d: PUSH1 0x00
00002e0f: DUP1
00002e10: DUP4
00002e11: PUSH1 0x01
00002e13: ADD
00002e14: PUSH1 0x00
00002e16: DUP5
00002e17: DUP2
00002e18: MSTORE
00002e19: PUSH1 0x20
00002e1b: ADD
00002e1c: SWAP1
00002e1d: DUP2
00002e1e: MSTORE
00002e1f: PUSH1 0x20
00002e21: ADD
00002e22: PUSH1 0x00
00002e24: KECCAK256
00002e25: SLOAD
00002e26: EQ
00002e27: ISZERO
00002e28: SWAP1
00002e29: POP
00002e2a: SWAP3
00002e2b: SWAP2
00002e2c: POP
00002e2d: POP
00002e2e: JUMP
00002e2f: JUMPDEST
00002e30: PUSH1 0x00
00002e32: DUP1
00002e33: DUP4
00002e34: GT
00002e35: DUP3
00002e36: SWAP1
00002e37: PUSH2 0x2edb
00002e3a: JUMPI
00002e3b: PUSH1 0x40
00002e3d: MLOAD
00002e3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e5f: DUP2
00002e60: MSTORE
00002e61: PUSH1 0x04
00002e63: ADD
00002e64: DUP1
00002e65: DUP1
00002e66: PUSH1 0x20
00002e68: ADD
00002e69: DUP3
00002e6a: DUP2
00002e6b: SUB
00002e6c: DUP3
00002e6d: MSTORE
00002e6e: DUP4
00002e6f: DUP2
00002e70: DUP2
00002e71: MLOAD
00002e72: DUP2
00002e73: MSTORE
00002e74: PUSH1 0x20
00002e76: ADD
00002e77: SWAP2
00002e78: POP
00002e79: DUP1
00002e7a: MLOAD
00002e7b: SWAP1
00002e7c: PUSH1 0x20
00002e7e: ADD
00002e7f: SWAP1
00002e80: DUP1
00002e81: DUP4
00002e82: DUP4
00002e83: PUSH1 0x00
00002e85: JUMPDEST
00002e86: DUP4
00002e87: DUP2
00002e88: LT
00002e89: ISZERO
00002e8a: PUSH2 0x2ea0
00002e8d: JUMPI
00002e8e: DUP1
00002e8f: DUP3
00002e90: ADD
00002e91: MLOAD
00002e92: DUP2
00002e93: DUP5
00002e94: ADD
00002e95: MSTORE
00002e96: PUSH1 0x20
00002e98: DUP2
00002e99: ADD
00002e9a: SWAP1
00002e9b: POP
00002e9c: PUSH2 0x2e85
00002e9f: JUMP
00002ea0: JUMPDEST
00002ea1: POP
00002ea2: POP
00002ea3: POP
00002ea4: POP
00002ea5: SWAP1
00002ea6: POP
00002ea7: SWAP1
00002ea8: DUP2
00002ea9: ADD
00002eaa: SWAP1
00002eab: PUSH1 0x1f
00002ead: AND
00002eae: DUP1
00002eaf: ISZERO
00002eb0: PUSH2 0x2ecd
00002eb3: JUMPI
00002eb4: DUP1
00002eb5: DUP3
00002eb6: SUB
00002eb7: DUP1
00002eb8: MLOAD
00002eb9: PUSH1 0x01
00002ebb: DUP4
00002ebc: PUSH1 0x20
00002ebe: SUB
00002ebf: PUSH2 0x0100
00002ec2: EXP
00002ec3: SUB
00002ec4: NOT
00002ec5: AND
00002ec6: DUP2
00002ec7: MSTORE
00002ec8: PUSH1 0x20
00002eca: ADD
00002ecb: SWAP2
00002ecc: POP
00002ecd: JUMPDEST
00002ece: POP
00002ecf: SWAP3
00002ed0: POP
00002ed1: POP
00002ed2: POP
00002ed3: PUSH1 0x40
00002ed5: MLOAD
00002ed6: DUP1
00002ed7: SWAP2
00002ed8: SUB
00002ed9: SWAP1
00002eda: REVERT
00002edb: JUMPDEST
00002edc: POP
00002edd: PUSH1 0x00
00002edf: DUP4
00002ee0: DUP6
00002ee1: DUP2
00002ee2: PUSH2 0x2ee7
00002ee5: JUMPI
00002ee6: INVALID
00002ee7: JUMPDEST
00002ee8: DIV
00002ee9: SWAP1
00002eea: POP
00002eeb: DUP1
00002eec: SWAP2
00002eed: POP
00002eee: POP
00002eef: SWAP4
00002ef0: SWAP3
00002ef1: POP
00002ef2: POP
00002ef3: POP
00002ef4: JUMP
00002ef5: JUMPDEST
00002ef6: PUSH1 0x00
00002ef8: DUP2
00002ef9: PUSH1 0x00
00002efb: ADD
00002efc: DUP1
00002efd: SLOAD
00002efe: SWAP1
00002eff: POP
00002f00: SWAP1
00002f01: POP
00002f02: SWAP2
00002f03: SWAP1
00002f04: POP
00002f05: JUMP
00002f06: JUMPDEST
00002f07: PUSH1 0x00
00002f09: DUP1
00002f0a: DUP4
00002f0b: PUSH1 0x01
00002f0d: ADD
00002f0e: PUSH1 0x00
00002f10: DUP5
00002f11: DUP2
00002f12: MSTORE
00002f13: PUSH1 0x20
00002f15: ADD
00002f16: SWAP1
00002f17: DUP2
00002f18: MSTORE
00002f19: PUSH1 0x20
00002f1b: ADD
00002f1c: PUSH1 0x00
00002f1e: KECCAK256
00002f1f: SLOAD
00002f20: SWAP1
00002f21: POP
00002f22: PUSH1 0x00
00002f24: DUP2
00002f25: EQ
00002f26: PUSH2 0x2fe2
00002f29: JUMPI
00002f2a: PUSH1 0x00
00002f2c: PUSH1 0x01
00002f2e: DUP3
00002f2f: SUB
00002f30: SWAP1
00002f31: POP
00002f32: PUSH1 0x00
00002f34: PUSH1 0x01
00002f36: DUP7
00002f37: PUSH1 0x00
00002f39: ADD
00002f3a: DUP1
00002f3b: SLOAD
00002f3c: SWAP1
00002f3d: POP
00002f3e: SUB
00002f3f: SWAP1
00002f40: POP
00002f41: PUSH1 0x00
00002f43: DUP7
00002f44: PUSH1 0x00
00002f46: ADD
00002f47: DUP3
00002f48: DUP2
00002f49: SLOAD
00002f4a: DUP2
00002f4b: LT
00002f4c: PUSH2 0x2f51
00002f4f: JUMPI
00002f50: INVALID
00002f51: JUMPDEST
00002f52: SWAP1
00002f53: PUSH1 0x00
00002f55: MSTORE
00002f56: PUSH1 0x20
00002f58: PUSH1 0x00
00002f5a: KECCAK256
00002f5b: ADD
00002f5c: SLOAD
00002f5d: SWAP1
00002f5e: POP
00002f5f: DUP1
00002f60: DUP8
00002f61: PUSH1 0x00
00002f63: ADD
00002f64: DUP5
00002f65: DUP2
00002f66: SLOAD
00002f67: DUP2
00002f68: LT
00002f69: PUSH2 0x2f6e
00002f6c: JUMPI
00002f6d: INVALID
00002f6e: JUMPDEST
00002f6f: SWAP1
00002f70: PUSH1 0x00
00002f72: MSTORE
00002f73: PUSH1 0x20
00002f75: PUSH1 0x00
00002f77: KECCAK256
00002f78: ADD
00002f79: DUP2
00002f7a: SWAP1
00002f7b: SSTORE
00002f7c: POP
00002f7d: PUSH1 0x01
00002f7f: DUP4
00002f80: ADD
00002f81: DUP8
00002f82: PUSH1 0x01
00002f84: ADD
00002f85: PUSH1 0x00
00002f87: DUP4
00002f88: DUP2
00002f89: MSTORE
00002f8a: PUSH1 0x20
00002f8c: ADD
00002f8d: SWAP1
00002f8e: DUP2
00002f8f: MSTORE
00002f90: PUSH1 0x20
00002f92: ADD
00002f93: PUSH1 0x00
00002f95: KECCAK256
00002f96: DUP2
00002f97: SWAP1
00002f98: SSTORE
00002f99: POP
00002f9a: DUP7
00002f9b: PUSH1 0x00
00002f9d: ADD
00002f9e: DUP1
00002f9f: SLOAD
00002fa0: DUP1
00002fa1: PUSH2 0x2fa6
00002fa4: JUMPI
00002fa5: INVALID
00002fa6: JUMPDEST
00002fa7: PUSH1 0x01
00002fa9: SWAP1
00002faa: SUB
00002fab: DUP2
00002fac: DUP2
00002fad: SWAP1
00002fae: PUSH1 0x00
00002fb0: MSTORE
00002fb1: PUSH1 0x20
00002fb3: PUSH1 0x00
00002fb5: KECCAK256
00002fb6: ADD
00002fb7: PUSH1 0x00
00002fb9: SWAP1
00002fba: SSTORE
00002fbb: SWAP1
00002fbc: SSTORE
00002fbd: DUP7
00002fbe: PUSH1 0x01
00002fc0: ADD
00002fc1: PUSH1 0x00
00002fc3: DUP8
00002fc4: DUP2
00002fc5: MSTORE
00002fc6: PUSH1 0x20
00002fc8: ADD
00002fc9: SWAP1
00002fca: DUP2
00002fcb: MSTORE
00002fcc: PUSH1 0x20
00002fce: ADD
00002fcf: PUSH1 0x00
00002fd1: KECCAK256
00002fd2: PUSH1 0x00
00002fd4: SWAP1
00002fd5: SSTORE
00002fd6: PUSH1 0x01
00002fd8: SWAP5
00002fd9: POP
00002fda: POP
00002fdb: POP
00002fdc: POP
00002fdd: POP
00002fde: PUSH2 0x2fe8
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: PUSH1 0x00
00002fe5: SWAP2
00002fe6: POP
00002fe7: POP
00002fe8: JUMPDEST
00002fe9: SWAP3
00002fea: SWAP2
00002feb: POP
00002fec: POP
00002fed: JUMP
00002fee: INVALID
00002fef: GASLIMIT
00002ff0: PUSH15 0x756d657261626c655365743a20696e
00003000: PUSH5 0x6578206f75
00003006: PUSH21 0x206f6620626f756e6473416363657373436f6e7472
0000301c: PUSH16 0x6c3a2073656e646572206d7573742062
0000302d: PUSH6 0x20616e206164
00003034: PUSH14 0x696e20746f206772616e74416363
00003043: PUSH6 0x7373436f6e74
0000304a: PUSH19 0x6f6c3a2073656e646572206d75737420626520
0000305e: PUSH2 0x6e20
00003061: PUSH2 0x646d
00003064: PUSH10 0x6e20746f207265766f6b
0000306f: PUSH6 0x536166654d61
00003076: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665
0000308c: PUSH19 0x666c6f77416363657373436f6e74726f6c3a20
000030a0: PUSH4 0x616e206f
000030a5: PUSH15 0x6c792072656e6f756e636520726f6c
000030b5: PUSH6 0x7320666f7220
000030bc: PUSH20 0x656c66a2646970667358221220cfa5fb6350a22c
000030d1: UNKNOWN(0x24)
000030d2: UNKNOWN(0xA7)
000030d3: UNKNOWN(0x0C)
000030d4: OR
000030d5: CHAINID
000030d6: UNKNOWN(0xCC)
000030d7: DIV
000030d8: UNKNOWN(0x28)
000030d9: UNKNOWN(0xC6)
000030da: UNKNOWN(0x0D)
000030db: DUP6
000030dc: SWAP12
000030dd: SSTORE
000030de: UNKNOWN(0xD2)
000030df: NUMBER
000030e0: UNKNOWN(0xB5)
000030e1: OR
000030e2: UNKNOWN(0xB1)
000030e3: ADDMOD
000030e4: JUMPDEST
000030e5: LOG1
000030e6: CODECOPY
000030e7: PUSH4 0xd85c6473
000030ec: PUSH16

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xa9b97b054ee81aa53986a19177baca38b719d02ff84414a22e076eb03ecf09ff call_targets: 0xaedec86dede3ded9562fb00ada623c0e9beeb951 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa9b97b054ee81aa53986a19177baca38b719d02ff84414a22e076eb03ecf09ff", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xaedec86dede3ded9562fb00ada623c0e9beeb951" ], "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": "0xf1a7ccfd", "selector": "0xf1a7ccfd", "calldata_variants": [ "0xf1a7ccfd", "0xf1a7ccfd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58bfed3", "selector": "0xf58bfed3", "calldata_variants": [ "0xf58bfed3", "0xf58bfed30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa09e630", "selector": "0xfa09e630", "calldata_variants": [ "0xfa09e630", "0xfa09e6300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd68d5bf", "selector": "0xfd68d5bf", "calldata_variants": [ "0xfd68d5bf", "0xfd68d5bf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6ea4c10", "selector": "0xd6ea4c10", "calldata_variants": [ "0xd6ea4c10", "0xd6ea4c100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe560ce9c", "selector": "0xe560ce9c", "calldata_variants": [ "0xe560ce9c", "0xe560ce9c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4253, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5433, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6948, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xa9b97b054ee81aa53986a19177baca38b719d02ff84414a22e076eb03ecf09ff call_targets: 0xaedec86dede3ded9562fb00ada623c0e9beeb951 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa9b97b054ee81aa53986a19177baca38b719d02ff84414a22e076eb03ecf09ff", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xaedec86dede3ded9562fb00ada623c0e9beeb951" ], "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": "0xf1a7ccfd", "selector": "0xf1a7ccfd", "calldata_variants": [ "0xf1a7ccfd", "0xf1a7ccfd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58bfed3", "selector": "0xf58bfed3", "calldata_variants": [ "0xf58bfed3", "0xf58bfed30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa09e630", "selector": "0xfa09e630", "calldata_variants": [ "0xfa09e630", "0xfa09e6300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd68d5bf", "selector": "0xfd68d5bf", "calldata_variants": [ "0xfd68d5bf", "0xfd68d5bf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd6ea4c10", "selector": "0xd6ea4c10", "calldata_variants": [ "0xd6ea4c10", "0xd6ea4c100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe560ce9c", "selector": "0xe560ce9c", "calldata_variants": [ "0xe560ce9c", "0xe560ce9c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4253, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5433, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6948, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }

Severity