Analysis Run

019b477e-c074-72d7-b53c-d2c4fdfd1e4c
complete
Chain ID
1
Address
0xaa84f7c9164db5c11b9fa65ad0118977c12a4729
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
ETH value transfer possible
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
24695	artifact.fetch	complete	1 / 3	3 months ago
24696	tool.cast_disasm	complete	1 / 3	3 months ago
102460	analysis.bundle	complete	1 / 3	1 week ago
102461	capability.graph	complete	1 / 3	1 week ago
102462	detector.run	complete	1 / 3	1 week ago
102463	validation.fork	complete	1 / 3	1 week ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
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)
27
EXT*/BALANCE
24
Total opcodes
6220
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02e7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7a78046d
00000019: GT
0000001a: PUSH2 0x0184
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x933db02d
00000024: GT
00000025: PUSH2 0x00d6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd5115197
0000002f: GT
00000030: PUSH2 0x008a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf8d08c94
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf8d08c94
00000045: EQ
00000046: PUSH2 0x075a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfa5c55c9
00000050: EQ
00000051: PUSH2 0x077a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfce589d8
0000005b: EQ
0000005c: PUSH2 0x078f
0000005f: JUMPI
00000060: PUSH2 0x02e7
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd5115197
0000006b: EQ
0000006c: PUSH2 0x06fa
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xea54a32c
00000076: EQ
00000077: PUSH2 0x071a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xf2fde38b
00000081: EQ
00000082: PUSH2 0x073a
00000085: JUMPI
00000086: PUSH2 0x02e7
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x97443ae9
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x97443ae9
0000009c: EQ
0000009d: PUSH2 0x06a7
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xabf589c3
000000a7: EQ
000000a8: PUSH2 0x06c7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc6165495
000000b2: EQ
000000b3: PUSH2 0x06da
000000b6: JUMPI
000000b7: PUSH2 0x02e7
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x933db02d
000000c2: EQ
000000c3: PUSH2 0x0672
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x95ba7c54
000000cd: EQ
000000ce: PUSH2 0x0687
000000d1: JUMPI
000000d2: PUSH2 0x02e7
000000d5: JUMP
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x84f1c79e
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x8da5cb5b
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x8da5cb5b
000000f3: EQ
000000f4: PUSH2 0x0628
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8efbc0d8
000000fe: EQ
000000ff: PUSH2 0x063d
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x9236052d
00000109: EQ
0000010a: PUSH2 0x065d
0000010d: JUMPI
0000010e: PUSH2 0x02e7
00000111: JUMP
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x84f1c79e
00000119: EQ
0000011a: PUSH2 0x05c6
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x858ee817
00000124: EQ
00000125: PUSH2 0x05e6
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x8cf4dbfb
0000012f: EQ
00000130: PUSH2 0x0613
00000133: JUMPI
00000134: PUSH2 0x02e7
00000137: JUMP
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x7d201800
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x7d201800
0000014a: EQ
0000014b: PUSH2 0x057c
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x7d3f9220
00000155: EQ
00000156: PUSH2 0x0591
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x7f4431c0
00000160: EQ
00000161: PUSH2 0x05b1
00000164: JUMPI
00000165: PUSH2 0x02e7
00000168: JUMP
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x7a78046d
00000170: EQ
00000171: PUSH2 0x0554
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x7b63fed1
0000017b: EQ
0000017c: PUSH2 0x0567
0000017f: JUMPI
00000180: PUSH2 0x02e7
00000183: JUMP
00000184: JUMPDEST
00000185: DUP1
00000186: PUSH4 0x3681495d
0000018b: GT
0000018c: PUSH2 0x023d
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x5a27ef37
00000196: GT
00000197: PUSH2 0x01f1
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x715018a6
000001a1: GT
000001a2: PUSH2 0x01cb
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x715018a6
000001ac: EQ
000001ad: PUSH2 0x050a
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x724e7020
000001b7: EQ
000001b8: PUSH2 0x051f
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x77c35a5e
000001c2: EQ
000001c3: PUSH2 0x053f
000001c6: JUMPI
000001c7: PUSH2 0x02e7
000001ca: JUMP
000001cb: JUMPDEST
000001cc: DUP1
000001cd: PUSH4 0x5a27ef37
000001d2: EQ
000001d3: PUSH2 0x04c2
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x5a688803
000001dd: EQ
000001de: PUSH2 0x04d5
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x5e4d506a
000001e8: EQ
000001e9: PUSH2 0x04ea
000001ec: JUMPI
000001ed: PUSH2 0x02e7
000001f0: JUMP
000001f1: JUMPDEST
000001f2: DUP1
000001f3: PUSH4 0x4a4ce22c
000001f8: GT
000001f9: PUSH2 0x0222
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x4a4ce22c
00000203: EQ
00000204: PUSH2 0x0462
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x50b64187
0000020e: EQ
0000020f: PUSH2 0x0482
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x594d0f7f
00000219: EQ
0000021a: PUSH2 0x04a2
0000021d: JUMPI
0000021e: PUSH2 0x02e7
00000221: JUMP
00000222: JUMPDEST
00000223: DUP1
00000224: PUSH4 0x3681495d
00000229: EQ
0000022a: PUSH2 0x042d
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x4797f467
00000234: EQ
00000235: PUSH2 0x044d
00000238: JUMPI
00000239: PUSH2 0x02e7
0000023c: JUMP
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x192b4b58
00000244: GT
00000245: PUSH2 0x029f
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x1f60a493
0000024f: GT
00000250: PUSH2 0x0279
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x1f60a493
0000025a: EQ
0000025b: PUSH2 0x03d6
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x27a7bd8e
00000265: EQ
00000266: PUSH2 0x03f8
00000269: JUMPI
0000026a: DUP1
0000026b: PUSH4 0x33f2780b
00000270: EQ
00000271: PUSH2 0x0418
00000274: JUMPI
00000275: PUSH2 0x02e7
00000278: JUMP
00000279: JUMPDEST
0000027a: DUP1
0000027b: PUSH4 0x192b4b58
00000280: EQ
00000281: PUSH2 0x038e
00000284: JUMPI
00000285: DUP1
00000286: PUSH4 0x1afb2237
0000028b: EQ
0000028c: PUSH2 0x03a3
0000028f: JUMPI
00000290: DUP1
00000291: PUSH4 0x1e8e4cce
00000296: EQ
00000297: PUSH2 0x03c3
0000029a: JUMPI
0000029b: PUSH2 0x02e7
0000029e: JUMP
0000029f: JUMPDEST
000002a0: DUP1
000002a1: PUSH4 0x03bca7d3
000002a6: GT
000002a7: PUSH2 0x02d0
000002aa: JUMPI
000002ab: DUP1
000002ac: PUSH4 0x03bca7d3
000002b1: EQ
000002b2: PUSH2 0x0339
000002b5: JUMPI
000002b6: DUP1
000002b7: PUSH4 0x05256b2e
000002bc: EQ
000002bd: PUSH2 0x034e
000002c0: JUMPI
000002c1: DUP1
000002c2: PUSH4 0x16afd7be
000002c7: EQ
000002c8: PUSH2 0x036e
000002cb: JUMPI
000002cc: PUSH2 0x02e7
000002cf: JUMP
000002d0: JUMPDEST
000002d1: DUP1
000002d2: PUSH4 0x0229263a
000002d7: EQ
000002d8: PUSH2 0x02ec
000002db: JUMPI
000002dc: DUP1
000002dd: PUSH4 0x028c148f
000002e2: EQ
000002e3: PUSH2 0x0317
000002e6: JUMPI
000002e7: JUMPDEST
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0301
000002fd: PUSH2 0x07a4
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH1 0x40
00000304: MLOAD
00000305: PUSH2 0x030e
00000308: SWAP2
00000309: SWAP1
0000030a: PUSH2 0x2715
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: DUP1
00000313: SWAP2
00000314: SUB
00000315: SWAP1
00000316: RETURN
00000317: JUMPDEST
00000318: CALLVALUE
00000319: DUP1
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x0337
00000328: PUSH2 0x0332
0000032b: CALLDATASIZE
0000032c: PUSH1 0x04
0000032e: PUSH2 0x23c1
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x07aa
00000336: JUMP
00000337: JUMPDEST
00000338: STOP
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: DUP1
0000033c: ISZERO
0000033d: PUSH2 0x0345
00000340: JUMPI
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: POP
00000347: PUSH2 0x0301
0000034a: PUSH2 0x07ed
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x0301
0000035f: PUSH2 0x0369
00000362: CALLDATASIZE
00000363: PUSH1 0x04
00000365: PUSH2 0x23c1
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x07f3
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x037a
00000375: JUMPI
00000376: PUSH1 0x00
00000378: DUP1
00000379: REVERT
0000037a: JUMPDEST
0000037b: POP
0000037c: PUSH2 0x0337
0000037f: PUSH2 0x0389
00000382: CALLDATASIZE
00000383: PUSH1 0x04
00000385: PUSH2 0x23c1
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH2 0x0805
0000038d: JUMP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: DUP1
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH2 0x0301
0000039f: PUSH2 0x08e6
000003a2: JUMP
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x0301
000003b4: PUSH2 0x03be
000003b7: CALLDATASIZE
000003b8: PUSH1 0x04
000003ba: PUSH2 0x23c1
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH2 0x08ec
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH2 0x0337
000003c7: PUSH2 0x03d1
000003ca: CALLDATASIZE
000003cb: PUSH1 0x04
000003cd: PUSH2 0x21cd
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x098f
000003d5: JUMP
000003d6: JUMPDEST
000003d7: CALLVALUE
000003d8: DUP1
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH2 0x03eb
000003e7: PUSH2 0x0c77
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: PUSH2 0x030e
000003f2: SWAP2
000003f3: SWAP1
000003f4: PUSH2 0x24a2
000003f7: JUMP
000003f8: JUMPDEST
000003f9: CALLVALUE
000003fa: DUP1
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: POP
00000406: PUSH2 0x0337
00000409: PUSH2 0x0413
0000040c: CALLDATASIZE
0000040d: PUSH1 0x04
0000040f: PUSH2 0x2309
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH2 0x0c86
00000417: JUMP
00000418: JUMPDEST
00000419: CALLVALUE
0000041a: DUP1
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: POP
00000426: PUSH2 0x0301
00000429: PUSH2 0x0cee
0000042c: JUMP
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 0x0337
0000043e: PUSH2 0x0448
00000441: CALLDATASIZE
00000442: PUSH1 0x04
00000444: PUSH2 0x2195
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH2 0x0cf4
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x0301
0000045e: PUSH2 0x0df7
00000461: JUMP
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x0337
00000473: PUSH2 0x047d
00000476: CALLDATASIZE
00000477: PUSH1 0x04
00000479: PUSH2 0x2386
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH2 0x0dfd
00000481: JUMP
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH2 0x0337
00000493: PUSH2 0x049d
00000496: CALLDATASIZE
00000497: PUSH1 0x04
00000499: PUSH2 0x23c1
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH2 0x0eb3
000004a1: JUMP
000004a2: JUMPDEST
000004a3: CALLVALUE
000004a4: DUP1
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: POP
000004b0: PUSH2 0x0337
000004b3: PUSH2 0x04bd
000004b6: CALLDATASIZE
000004b7: PUSH1 0x04
000004b9: PUSH2 0x23c1
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH2 0x0eed
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x0337
000004c6: PUSH2 0x04d0
000004c9: CALLDATASIZE
000004ca: PUSH1 0x04
000004cc: PUSH2 0x222e
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH2 0x0f27
000004d4: JUMP
000004d5: JUMPDEST
000004d6: CALLVALUE
000004d7: DUP1
000004d8: ISZERO
000004d9: PUSH2 0x04e1
000004dc: JUMPI
000004dd: PUSH1 0x00
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH2 0x0301
000004e6: PUSH2 0x0fce
000004e9: JUMP
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: DUP1
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: POP
000004f8: PUSH2 0x0337
000004fb: PUSH2 0x0505
000004fe: CALLDATASIZE
000004ff: PUSH1 0x04
00000501: PUSH2 0x2436
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x0fd4
00000509: JUMP
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x0337
0000051b: PUSH2 0x103d
0000051e: JUMP
0000051f: JUMPDEST
00000520: CALLVALUE
00000521: DUP1
00000522: ISZERO
00000523: PUSH2 0x052b
00000526: JUMPI
00000527: PUSH1 0x00
00000529: DUP1
0000052a: REVERT
0000052b: JUMPDEST
0000052c: POP
0000052d: PUSH2 0x0337
00000530: PUSH2 0x053a
00000533: CALLDATASIZE
00000534: PUSH1 0x04
00000536: PUSH2 0x23c1
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH2 0x10c9
0000053e: JUMP
0000053f: JUMPDEST
00000540: CALLVALUE
00000541: DUP1
00000542: ISZERO
00000543: PUSH2 0x054b
00000546: JUMPI
00000547: PUSH1 0x00
00000549: DUP1
0000054a: REVERT
0000054b: JUMPDEST
0000054c: POP
0000054d: PUSH2 0x03eb
00000550: PUSH2 0x1207
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH2 0x0337
00000558: PUSH2 0x0562
0000055b: CALLDATASIZE
0000055c: PUSH1 0x04
0000055e: PUSH2 0x23f1
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH2 0x1216
00000566: JUMP
00000567: JUMPDEST
00000568: CALLVALUE
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x0301
00000578: PUSH2 0x13ae
0000057b: JUMP
0000057c: JUMPDEST
0000057d: CALLVALUE
0000057e: DUP1
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: PUSH2 0x0301
0000058d: PUSH2 0x13b4
00000590: JUMP
00000591: JUMPDEST
00000592: CALLVALUE
00000593: DUP1
00000594: ISZERO
00000595: PUSH2 0x059d
00000598: JUMPI
00000599: PUSH1 0x00
0000059b: DUP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: POP
0000059f: PUSH2 0x0337
000005a2: PUSH2 0x05ac
000005a5: CALLDATASIZE
000005a6: PUSH1 0x04
000005a8: PUSH2 0x2299
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH2 0x13ba
000005b0: JUMP
000005b1: JUMPDEST
000005b2: CALLVALUE
000005b3: DUP1
000005b4: ISZERO
000005b5: PUSH2 0x05bd
000005b8: JUMPI
000005b9: PUSH1 0x00
000005bb: DUP1
000005bc: REVERT
000005bd: JUMPDEST
000005be: POP
000005bf: PUSH2 0x0301
000005c2: PUSH2 0x1436
000005c5: JUMP
000005c6: JUMPDEST
000005c7: CALLVALUE
000005c8: DUP1
000005c9: ISZERO
000005ca: PUSH2 0x05d2
000005cd: JUMPI
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: POP
000005d4: PUSH2 0x0337
000005d7: PUSH2 0x05e1
000005da: CALLDATASIZE
000005db: PUSH1 0x04
000005dd: PUSH2 0x23c1
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH2 0x143c
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: POP
000005f4: PUSH2 0x0606
000005f7: PUSH2 0x0601
000005fa: CALLDATASIZE
000005fb: PUSH1 0x04
000005fd: PUSH2 0x23c1
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH2 0x1476
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: PUSH2 0x030e
0000060d: SWAP2
0000060e: SWAP1
0000060f: PUSH2 0x24f5
00000612: JUMP
00000613: JUMPDEST
00000614: CALLVALUE
00000615: DUP1
00000616: ISZERO
00000617: PUSH2 0x061f
0000061a: JUMPI
0000061b: PUSH1 0x00
0000061d: DUP1
0000061e: REVERT
0000061f: JUMPDEST
00000620: POP
00000621: PUSH2 0x0337
00000624: PUSH2 0x1512
00000627: JUMP
00000628: JUMPDEST
00000629: CALLVALUE
0000062a: DUP1
0000062b: ISZERO
0000062c: PUSH2 0x0634
0000062f: JUMPI
00000630: PUSH1 0x00
00000632: DUP1
00000633: REVERT
00000634: JUMPDEST
00000635: POP
00000636: PUSH2 0x03eb
00000639: PUSH2 0x157a
0000063c: JUMP
0000063d: JUMPDEST
0000063e: CALLVALUE
0000063f: DUP1
00000640: ISZERO
00000641: PUSH2 0x0649
00000644: JUMPI
00000645: PUSH1 0x00
00000647: DUP1
00000648: REVERT
00000649: JUMPDEST
0000064a: POP
0000064b: PUSH2 0x0337
0000064e: PUSH2 0x0658
00000651: CALLDATASIZE
00000652: PUSH1 0x04
00000654: PUSH2 0x23c1
00000657: JUMP
00000658: JUMPDEST
00000659: PUSH2 0x1589
0000065c: JUMP
0000065d: JUMPDEST
0000065e: CALLVALUE
0000065f: DUP1
00000660: ISZERO
00000661: PUSH2 0x0669
00000664: JUMPI
00000665: PUSH1 0x00
00000667: DUP1
00000668: REVERT
00000669: JUMPDEST
0000066a: POP
0000066b: PUSH2 0x0337
0000066e: PUSH2 0x15c3
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH2 0x0301
00000683: PUSH2 0x1630
00000686: JUMP
00000687: JUMPDEST
00000688: CALLVALUE
00000689: DUP1
0000068a: ISZERO
0000068b: PUSH2 0x0693
0000068e: JUMPI
0000068f: PUSH1 0x00
00000691: DUP1
00000692: REVERT
00000693: JUMPDEST
00000694: POP
00000695: PUSH2 0x0337
00000698: PUSH2 0x06a2
0000069b: CALLDATASIZE
0000069c: PUSH1 0x04
0000069e: PUSH2 0x2195
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH2 0x1636
000006a6: JUMP
000006a7: JUMPDEST
000006a8: CALLVALUE
000006a9: DUP1
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: POP
000006b5: PUSH2 0x0606
000006b8: PUSH2 0x06c2
000006bb: CALLDATASIZE
000006bc: PUSH1 0x04
000006be: PUSH2 0x23c1
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH2 0x169a
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH2 0x0337
000006cb: PUSH2 0x06d5
000006ce: CALLDATASIZE
000006cf: PUSH1 0x04
000006d1: PUSH2 0x23c1
000006d4: JUMP
000006d5: JUMPDEST
000006d6: PUSH2 0x17f5
000006d9: JUMP
000006da: JUMPDEST
000006db: CALLVALUE
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x0301
000006eb: PUSH2 0x06f5
000006ee: CALLDATASIZE
000006ef: PUSH1 0x04
000006f1: PUSH2 0x2436
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH2 0x1b26
000006f9: JUMP
000006fa: JUMPDEST
000006fb: CALLVALUE
000006fc: DUP1
000006fd: ISZERO
000006fe: PUSH2 0x0706
00000701: JUMPI
00000702: PUSH1 0x00
00000704: DUP1
00000705: REVERT
00000706: JUMPDEST
00000707: POP
00000708: PUSH2 0x0337
0000070b: PUSH2 0x0715
0000070e: CALLDATASIZE
0000070f: PUSH1 0x04
00000711: PUSH2 0x23c1
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH2 0x1d31
00000719: JUMP
0000071a: JUMPDEST
0000071b: CALLVALUE
0000071c: DUP1
0000071d: ISZERO
0000071e: PUSH2 0x0726
00000721: JUMPI
00000722: PUSH1 0x00
00000724: DUP1
00000725: REVERT
00000726: JUMPDEST
00000727: POP
00000728: PUSH2 0x0337
0000072b: PUSH2 0x0735
0000072e: CALLDATASIZE
0000072f: PUSH1 0x04
00000731: PUSH2 0x2195
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH2 0x1e12
00000739: JUMP
0000073a: JUMPDEST
0000073b: CALLVALUE
0000073c: DUP1
0000073d: ISZERO
0000073e: PUSH2 0x0746
00000741: JUMPI
00000742: PUSH1 0x00
00000744: DUP1
00000745: REVERT
00000746: JUMPDEST
00000747: POP
00000748: PUSH2 0x0337
0000074b: PUSH2 0x0755
0000074e: CALLDATASIZE
0000074f: PUSH1 0x04
00000751: PUSH2 0x2195
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH2 0x1e79
00000759: JUMP
0000075a: JUMPDEST
0000075b: CALLVALUE
0000075c: DUP1
0000075d: ISZERO
0000075e: PUSH2 0x0766
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: POP
00000768: PUSH2 0x0337
0000076b: PUSH2 0x0775
0000076e: CALLDATASIZE
0000076f: PUSH1 0x04
00000771: PUSH2 0x2386
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH2 0x1f3c
00000779: JUMP
0000077a: JUMPDEST
0000077b: CALLVALUE
0000077c: DUP1
0000077d: ISZERO
0000077e: PUSH2 0x0786
00000781: JUMPI
00000782: PUSH1 0x00
00000784: DUP1
00000785: REVERT
00000786: JUMPDEST
00000787: POP
00000788: PUSH2 0x03eb
0000078b: PUSH2 0x1fbc
0000078e: JUMP
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH2 0x0301
000007a0: PUSH2 0x1fcb
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x09
000007a7: SLOAD
000007a8: DUP2
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH2 0x07b2
000007ae: PUSH2 0x1fd1
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH1 0x00
000007b5: SLOAD
000007b6: PUSH1 0x01
000007b8: PUSH1 0x01
000007ba: PUSH1 0xa0
000007bc: SHL
000007bd: SUB
000007be: SWAP1
000007bf: DUP2
000007c0: AND
000007c1: SWAP2
000007c2: AND
000007c3: EQ
000007c4: PUSH2 0x07e8
000007c7: JUMPI
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: PUSH3 0x461bcd
000007cf: PUSH1 0xe5
000007d1: SHL
000007d2: DUP2
000007d3: MSTORE
000007d4: PUSH1 0x04
000007d6: ADD
000007d7: PUSH2 0x07df
000007da: SWAP1
000007db: PUSH2 0x26a9
000007de: JUMP
000007df: JUMPDEST
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: DUP1
000007e4: SWAP2
000007e5: SUB
000007e6: SWAP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: PUSH1 0x05
000007eb: SSTORE
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x04
000007f0: SLOAD
000007f1: SWAP1
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x00
000007f6: SWAP1
000007f7: DUP2
000007f8: MSTORE
000007f9: PUSH1 0x0b
000007fb: PUSH1 0x20
000007fd: MSTORE
000007fe: PUSH1 0x40
00000800: SWAP1
00000801: KECCAK256
00000802: SLOAD
00000803: SWAP1
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH2 0x080d
00000809: PUSH2 0x1fd1
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x00
00000810: SLOAD
00000811: PUSH1 0x01
00000813: PUSH1 0x01
00000815: PUSH1 0xa0
00000817: SHL
00000818: SUB
00000819: SWAP1
0000081a: DUP2
0000081b: AND
0000081c: SWAP2
0000081d: AND
0000081e: EQ
0000081f: PUSH2 0x083a
00000822: JUMPI
00000823: PUSH1 0x40
00000825: MLOAD
00000826: PUSH3 0x461bcd
0000082a: PUSH1 0xe5
0000082c: SHL
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x04
00000831: ADD
00000832: PUSH2 0x07df
00000835: SWAP1
00000836: PUSH2 0x26a9
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH1 0x03
0000083d: SLOAD
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: PUSH32 0x16afd7be00000000000000000000000000000000000000000000000000000000
00000862: DUP2
00000863: MSTORE
00000864: PUSH1 0x01
00000866: PUSH1 0x01
00000868: PUSH1 0xa0
0000086a: SHL
0000086b: SUB
0000086c: SWAP1
0000086d: SWAP2
0000086e: AND
0000086f: SWAP1
00000870: DUP2
00000871: SWAP1
00000872: PUSH4 0x16afd7be
00000877: SWAP1
00000878: PUSH2 0x0885
0000087b: SWAP1
0000087c: DUP6
0000087d: SWAP1
0000087e: PUSH1 0x04
00000880: ADD
00000881: PUSH2 0x2715
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x00
00000888: PUSH1 0x40
0000088a: MLOAD
0000088b: DUP1
0000088c: DUP4
0000088d: SUB
0000088e: DUP2
0000088f: PUSH1 0x00
00000891: DUP8
00000892: DUP1
00000893: EXTCODESIZE
00000894: ISZERO
00000895: DUP1
00000896: ISZERO
00000897: PUSH2 0x089f
0000089a: JUMPI
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: REVERT
0000089f: JUMPDEST
000008a0: POP
000008a1: GAS
000008a2: CALL
000008a3: ISZERO
000008a4: DUP1
000008a5: ISZERO
000008a6: PUSH2 0x08b3
000008a9: JUMPI
000008aa: RETURNDATASIZE
000008ab: PUSH1 0x00
000008ad: DUP1
000008ae: RETURNDATACOPY
000008af: RETURNDATASIZE
000008b0: PUSH1 0x00
000008b2: REVERT
000008b3: JUMPDEST
000008b4: POP
000008b5: POP
000008b6: PUSH1 0x40
000008b8: MLOAD
000008b9: DUP5
000008ba: SWAP3
000008bb: POP
000008bc: PUSH32 0x68377694da626e57ab4efe5b346f62cb4c2a7dc3d84bf0b17a09717742362cdc
000008dd: SWAP2
000008de: POP
000008df: PUSH1 0x00
000008e1: SWAP1
000008e2: LOG2
000008e3: POP
000008e4: POP
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x0a
000008e9: SLOAD
000008ea: DUP2
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x03
000008ef: SLOAD
000008f0: PUSH1 0x40
000008f2: MLOAD
000008f3: PUSH32 0x1afb223700000000000000000000000000000000000000000000000000000000
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x00
00000918: SWAP2
00000919: PUSH1 0x01
0000091b: PUSH1 0x01
0000091d: PUSH1 0xa0
0000091f: SHL
00000920: SUB
00000921: AND
00000922: SWAP1
00000923: DUP2
00000924: SWAP1
00000925: PUSH4 0x1afb2237
0000092a: SWAP1
0000092b: PUSH2 0x0938
0000092e: SWAP1
0000092f: DUP7
00000930: SWAP1
00000931: PUSH1 0x04
00000933: ADD
00000934: PUSH2 0x2715
00000937: JUMP
00000938: JUMPDEST
00000939: PUSH1 0x20
0000093b: PUSH1 0x40
0000093d: MLOAD
0000093e: DUP1
0000093f: DUP4
00000940: SUB
00000941: DUP2
00000942: DUP7
00000943: DUP1
00000944: EXTCODESIZE
00000945: ISZERO
00000946: DUP1
00000947: ISZERO
00000948: PUSH2 0x0950
0000094b: JUMPI
0000094c: PUSH1 0x00
0000094e: DUP1
0000094f: REVERT
00000950: JUMPDEST
00000951: POP
00000952: GAS
00000953: STATICCALL
00000954: ISZERO
00000955: DUP1
00000956: ISZERO
00000957: PUSH2 0x0964
0000095a: JUMPI
0000095b: RETURNDATASIZE
0000095c: PUSH1 0x00
0000095e: DUP1
0000095f: RETURNDATACOPY
00000960: RETURNDATASIZE
00000961: PUSH1 0x00
00000963: REVERT
00000964: JUMPDEST
00000965: POP
00000966: POP
00000967: POP
00000968: POP
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: RETURNDATASIZE
0000096d: PUSH1 0x1f
0000096f: NOT
00000970: PUSH1 0x1f
00000972: DUP3
00000973: ADD
00000974: AND
00000975: DUP3
00000976: ADD
00000977: DUP1
00000978: PUSH1 0x40
0000097a: MSTORE
0000097b: POP
0000097c: DUP2
0000097d: ADD
0000097e: SWAP1
0000097f: PUSH2 0x0988
00000982: SWAP2
00000983: SWAP1
00000984: PUSH2 0x23d9
00000987: JUMP
00000988: JUMPDEST
00000989: SWAP4
0000098a: SWAP3
0000098b: POP
0000098c: POP
0000098d: POP
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x00
00000992: PUSH2 0x099b
00000995: DUP5
00000996: DUP5
00000997: PUSH2 0x1b26
0000099a: JUMP
0000099b: JUMPDEST
0000099c: SWAP1
0000099d: POP
0000099e: PUSH1 0x00
000009a0: PUSH2 0x09a8
000009a3: DUP5
000009a4: PUSH2 0x169a
000009a7: JUMP
000009a8: JUMPDEST
000009a9: SWAP1
000009aa: POP
000009ab: DUP2
000009ac: CALLVALUE
000009ad: LT
000009ae: ISZERO
000009af: PUSH2 0x09ca
000009b2: JUMPI
000009b3: PUSH1 0x40
000009b5: MLOAD
000009b6: PUSH3 0x461bcd
000009ba: PUSH1 0xe5
000009bc: SHL
000009bd: DUP2
000009be: MSTORE
000009bf: PUSH1 0x04
000009c1: ADD
000009c2: PUSH2 0x07df
000009c5: SWAP1
000009c6: PUSH2 0x2615
000009c9: JUMP
000009ca: JUMPDEST
000009cb: DUP1
000009cc: PUSH2 0x09e7
000009cf: JUMPI
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: PUSH3 0x461bcd
000009d7: PUSH1 0xe5
000009d9: SHL
000009da: DUP2
000009db: MSTORE
000009dc: PUSH1 0x04
000009de: ADD
000009df: PUSH2 0x07df
000009e2: SWAP1
000009e3: PUSH2 0x25de
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x01
000009ea: SLOAD
000009eb: PUSH1 0x40
000009ed: MLOAD
000009ee: PUSH4 0x0fb7f655
000009f3: PUSH1 0xe2
000009f5: SHL
000009f6: DUP2
000009f7: MSTORE
000009f8: PUSH1 0x01
000009fa: PUSH1 0x01
000009fc: PUSH1 0xa0
000009fe: SHL
000009ff: SUB
00000a00: SWAP1
00000a01: SWAP2
00000a02: AND
00000a03: SWAP1
00000a04: DUP2
00000a05: SWAP1
00000a06: PUSH4 0x3edfd954
00000a0b: SWAP1
00000a0c: PUSH2 0x0a21
00000a0f: SWAP1
00000a10: DUP11
00000a11: SWAP1
00000a12: DUP11
00000a13: SWAP1
00000a14: DUP11
00000a15: SWAP1
00000a16: CALLVALUE
00000a17: SWAP1
00000a18: DUP12
00000a19: SWAP1
00000a1a: PUSH1 0x04
00000a1c: ADD
00000a1d: PUSH2 0x24b6
00000a20: JUMP
00000a21: JUMPDEST
00000a22: PUSH1 0x20
00000a24: PUSH1 0x40
00000a26: MLOAD
00000a27: DUP1
00000a28: DUP4
00000a29: SUB
00000a2a: DUP2
00000a2b: PUSH1 0x00
00000a2d: DUP8
00000a2e: DUP1
00000a2f: EXTCODESIZE
00000a30: ISZERO
00000a31: DUP1
00000a32: ISZERO
00000a33: PUSH2 0x0a3b
00000a36: JUMPI
00000a37: PUSH1 0x00
00000a39: DUP1
00000a3a: REVERT
00000a3b: JUMPDEST
00000a3c: POP
00000a3d: GAS
00000a3e: CALL
00000a3f: ISZERO
00000a40: DUP1
00000a41: ISZERO
00000a42: PUSH2 0x0a4f
00000a45: JUMPI
00000a46: RETURNDATASIZE
00000a47: PUSH1 0x00
00000a49: DUP1
00000a4a: RETURNDATACOPY
00000a4b: RETURNDATASIZE
00000a4c: PUSH1 0x00
00000a4e: REVERT
00000a4f: JUMPDEST
00000a50: POP
00000a51: POP
00000a52: POP
00000a53: POP
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: RETURNDATASIZE
00000a58: PUSH1 0x1f
00000a5a: NOT
00000a5b: PUSH1 0x1f
00000a5d: DUP3
00000a5e: ADD
00000a5f: AND
00000a60: DUP3
00000a61: ADD
00000a62: DUP1
00000a63: PUSH1 0x40
00000a65: MSTORE
00000a66: POP
00000a67: DUP2
00000a68: ADD
00000a69: SWAP1
00000a6a: PUSH2 0x0a73
00000a6d: SWAP2
00000a6e: SWAP1
00000a6f: PUSH2 0x23d9
00000a72: JUMP
00000a73: JUMPDEST
00000a74: POP
00000a75: PUSH1 0x03
00000a77: SLOAD
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: PUSH4 0x2f26a835
00000a80: PUSH1 0xe1
00000a82: SHL
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x01
00000a87: PUSH1 0x01
00000a89: PUSH1 0xa0
00000a8b: SHL
00000a8c: SUB
00000a8d: SWAP1
00000a8e: SWAP2
00000a8f: AND
00000a90: SWAP1
00000a91: DUP2
00000a92: SWAP1
00000a93: PUSH4 0x5e4d506a
00000a98: SWAP1
00000a99: PUSH2 0x0aa8
00000a9c: SWAP1
00000a9d: DUP11
00000a9e: SWAP1
00000a9f: CALLVALUE
00000aa0: SWAP1
00000aa1: PUSH1 0x04
00000aa3: ADD
00000aa4: PUSH2 0x2737
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: PUSH1 0x00
00000aab: PUSH1 0x40
00000aad: MLOAD
00000aae: DUP1
00000aaf: DUP4
00000ab0: SUB
00000ab1: DUP2
00000ab2: PUSH1 0x00
00000ab4: DUP8
00000ab5: DUP1
00000ab6: EXTCODESIZE
00000ab7: ISZERO
00000ab8: DUP1
00000ab9: ISZERO
00000aba: PUSH2 0x0ac2
00000abd: JUMPI
00000abe: PUSH1 0x00
00000ac0: DUP1
00000ac1: REVERT
00000ac2: JUMPDEST
00000ac3: POP
00000ac4: GAS
00000ac5: CALL
00000ac6: ISZERO
00000ac7: DUP1
00000ac8: ISZERO
00000ac9: PUSH2 0x0ad6
00000acc: JUMPI
00000acd: RETURNDATASIZE
00000ace: PUSH1 0x00
00000ad0: DUP1
00000ad1: RETURNDATACOPY
00000ad2: RETURNDATASIZE
00000ad3: PUSH1 0x00
00000ad5: REVERT
00000ad6: JUMPDEST
00000ad7: POP
00000ad8: POP
00000ad9: PUSH1 0x02
00000adb: SLOAD
00000adc: PUSH1 0x40
00000ade: MLOAD
00000adf: PUSH32 0x16e510cc00000000000000000000000000000000000000000000000000000000
00000b00: DUP2
00000b01: MSTORE
00000b02: PUSH1 0x01
00000b04: PUSH1 0x01
00000b06: PUSH1 0xa0
00000b08: SHL
00000b09: SUB
00000b0a: SWAP1
00000b0b: SWAP2
00000b0c: AND
00000b0d: SWAP3
00000b0e: POP
00000b0f: PUSH1 0x00
00000b11: SWAP2
00000b12: POP
00000b13: DUP3
00000b14: SWAP1
00000b15: PUSH4 0x16e510cc
00000b1a: SWAP1
00000b1b: PUSH2 0x0b28
00000b1e: SWAP1
00000b1f: DUP12
00000b20: SWAP1
00000b21: PUSH1 0x04
00000b23: ADD
00000b24: PUSH2 0x2715
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH1 0x20
00000b2b: PUSH1 0x40
00000b2d: MLOAD
00000b2e: DUP1
00000b2f: DUP4
00000b30: SUB
00000b31: DUP2
00000b32: DUP7
00000b33: DUP1
00000b34: EXTCODESIZE
00000b35: ISZERO
00000b36: DUP1
00000b37: ISZERO
00000b38: PUSH2 0x0b40
00000b3b: JUMPI
00000b3c: PUSH1 0x00
00000b3e: DUP1
00000b3f: REVERT
00000b40: JUMPDEST
00000b41: POP
00000b42: GAS
00000b43: STATICCALL
00000b44: ISZERO
00000b45: DUP1
00000b46: ISZERO
00000b47: PUSH2 0x0b54
00000b4a: JUMPI
00000b4b: RETURNDATASIZE
00000b4c: PUSH1 0x00
00000b4e: DUP1
00000b4f: RETURNDATACOPY
00000b50: RETURNDATASIZE
00000b51: PUSH1 0x00
00000b53: REVERT
00000b54: JUMPDEST
00000b55: POP
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: RETURNDATASIZE
00000b5d: PUSH1 0x1f
00000b5f: NOT
00000b60: PUSH1 0x1f
00000b62: DUP3
00000b63: ADD
00000b64: AND
00000b65: DUP3
00000b66: ADD
00000b67: DUP1
00000b68: PUSH1 0x40
00000b6a: MSTORE
00000b6b: POP
00000b6c: DUP2
00000b6d: ADD
00000b6e: SWAP1
00000b6f: PUSH2 0x0b78
00000b72: SWAP2
00000b73: SWAP1
00000b74: PUSH2 0x23d9
00000b77: JUMP
00000b78: JUMPDEST
00000b79: SWAP1
00000b7a: POP
00000b7b: PUSH1 0x00
00000b7d: DUP3
00000b7e: PUSH1 0x01
00000b80: PUSH1 0x01
00000b82: PUSH1 0xa0
00000b84: SHL
00000b85: SUB
00000b86: AND
00000b87: PUSH4 0xb0e7348d
00000b8c: DUP11
00000b8d: PUSH1 0x40
00000b8f: MLOAD
00000b90: DUP3
00000b91: PUSH4 0xffffffff
00000b96: AND
00000b97: PUSH1 0xe0
00000b99: SHL
00000b9a: DUP2
00000b9b: MSTORE
00000b9c: PUSH1 0x04
00000b9e: ADD
00000b9f: PUSH2 0x0ba8
00000ba2: SWAP2
00000ba3: SWAP1
00000ba4: PUSH2 0x2715
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: PUSH1 0x20
00000bab: PUSH1 0x40
00000bad: MLOAD
00000bae: DUP1
00000baf: DUP4
00000bb0: SUB
00000bb1: DUP2
00000bb2: DUP7
00000bb3: DUP1
00000bb4: EXTCODESIZE
00000bb5: ISZERO
00000bb6: DUP1
00000bb7: ISZERO
00000bb8: PUSH2 0x0bc0
00000bbb: JUMPI
00000bbc: PUSH1 0x00
00000bbe: DUP1
00000bbf: REVERT
00000bc0: JUMPDEST
00000bc1: POP
00000bc2: GAS
00000bc3: STATICCALL
00000bc4: ISZERO
00000bc5: DUP1
00000bc6: ISZERO
00000bc7: PUSH2 0x0bd4
00000bca: JUMPI
00000bcb: RETURNDATASIZE
00000bcc: PUSH1 0x00
00000bce: DUP1
00000bcf: RETURNDATACOPY
00000bd0: RETURNDATASIZE
00000bd1: PUSH1 0x00
00000bd3: REVERT
00000bd4: JUMPDEST
00000bd5: POP
00000bd6: POP
00000bd7: POP
00000bd8: POP
00000bd9: PUSH1 0x40
00000bdb: MLOAD
00000bdc: RETURNDATASIZE
00000bdd: PUSH1 0x1f
00000bdf: NOT
00000be0: PUSH1 0x1f
00000be2: DUP3
00000be3: ADD
00000be4: AND
00000be5: DUP3
00000be6: ADD
00000be7: DUP1
00000be8: PUSH1 0x40
00000bea: MSTORE
00000beb: POP
00000bec: DUP2
00000bed: ADD
00000bee: SWAP1
00000bef: PUSH2 0x0bf8
00000bf2: SWAP2
00000bf3: SWAP1
00000bf4: PUSH2 0x23d9
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: SWAP1
00000bfa: POP
00000bfb: PUSH1 0x00
00000bfd: PUSH2 0x0c1b
00000c00: PUSH2 0x0c14
00000c03: PUSH1 0x64
00000c05: PUSH2 0x0c0e
00000c08: CALLVALUE
00000c09: DUP8
00000c0a: PUSH2 0x1fd5
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: SWAP1
00000c10: PUSH2 0x2017
00000c13: JUMP
00000c14: JUMPDEST
00000c15: CALLVALUE
00000c16: SWAP1
00000c17: PUSH2 0x2051
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: SWAP1
00000c1d: POP
00000c1e: DUP1
00000c1f: DUP3
00000c20: GT
00000c21: ISZERO
00000c22: PUSH2 0x0c28
00000c25: JUMPI
00000c26: POP
00000c27: DUP1
00000c28: JUMPDEST
00000c29: PUSH1 0x00
00000c2b: DUP11
00000c2c: DUP2
00000c2d: MSTORE
00000c2e: PUSH1 0x0b
00000c30: PUSH1 0x20
00000c32: MSTORE
00000c33: PUSH1 0x40
00000c35: SWAP1
00000c36: KECCAK256
00000c37: SLOAD
00000c38: PUSH2 0x0c41
00000c3b: SWAP1
00000c3c: DUP3
00000c3d: PUSH2 0x2093
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x00
00000c44: DUP12
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x0b
00000c49: PUSH1 0x20
00000c4b: MSTORE
00000c4c: PUSH1 0x40
00000c4e: SWAP1
00000c4f: KECCAK256
00000c50: SSTORE
00000c51: PUSH2 0x0c66
00000c54: PUSH2 0x0c5d
00000c57: CALLVALUE
00000c58: DUP4
00000c59: PUSH2 0x2051
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x0a
00000c60: SLOAD
00000c61: SWAP1
00000c62: PUSH2 0x2093
00000c65: JUMP
00000c66: JUMPDEST
00000c67: PUSH1 0x0a
00000c69: SSTORE
00000c6a: POP
00000c6b: POP
00000c6c: POP
00000c6d: POP
00000c6e: POP
00000c6f: POP
00000c70: POP
00000c71: POP
00000c72: POP
00000c73: POP
00000c74: POP
00000c75: POP
00000c76: JUMP
00000c77: JUMPDEST
00000c78: PUSH1 0x01
00000c7a: SLOAD
00000c7b: PUSH1 0x01
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0xa0
00000c81: SHL
00000c82: SUB
00000c83: AND
00000c84: DUP2
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH2 0x0c8e
00000c8a: PUSH2 0x1fd1
00000c8d: JUMP
00000c8e: JUMPDEST
00000c8f: PUSH1 0x00
00000c91: SLOAD
00000c92: PUSH1 0x01
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: SHL
00000c99: SUB
00000c9a: SWAP1
00000c9b: DUP2
00000c9c: AND
00000c9d: SWAP2
00000c9e: AND
00000c9f: EQ
00000ca0: PUSH2 0x0cbb
00000ca3: JUMPI
00000ca4: PUSH1 0x40
00000ca6: MLOAD
00000ca7: PUSH3 0x461bcd
00000cab: PUSH1 0xe5
00000cad: SHL
00000cae: DUP2
00000caf: MSTORE
00000cb0: PUSH1 0x04
00000cb2: ADD
00000cb3: PUSH2 0x07df
00000cb6: SWAP1
00000cb7: PUSH2 0x26a9
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x00
00000cbe: JUMPDEST
00000cbf: DUP2
00000cc0: DUP2
00000cc1: LT
00000cc2: ISZERO
00000cc3: PUSH2 0x0ce9
00000cc6: JUMPI
00000cc7: PUSH2 0x0ce1
00000cca: DUP4
00000ccb: DUP4
00000ccc: DUP4
00000ccd: DUP2
00000cce: DUP2
00000ccf: LT
00000cd0: PUSH2 0x0cd5
00000cd3: JUMPI
00000cd4: INVALID
00000cd5: JUMPDEST
00000cd6: SWAP1
00000cd7: POP
00000cd8: PUSH1 0x20
00000cda: MUL
00000cdb: ADD
00000cdc: CALLDATALOAD
00000cdd: PUSH2 0x1d31
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: PUSH1 0x01
00000ce4: ADD
00000ce5: PUSH2 0x0cbe
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: POP
00000ceb: POP
00000cec: POP
00000ced: JUMP
00000cee: JUMPDEST
00000cef: PUSH1 0x09
00000cf1: SLOAD
00000cf2: SWAP1
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH2 0x0cfc
00000cf8: PUSH2 0x1fd1
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: PUSH1 0x00
00000cff: SLOAD
00000d00: PUSH1 0x01
00000d02: PUSH1 0x01
00000d04: PUSH1 0xa0
00000d06: SHL
00000d07: SUB
00000d08: SWAP1
00000d09: DUP2
00000d0a: AND
00000d0b: SWAP2
00000d0c: AND
00000d0d: EQ
00000d0e: PUSH2 0x0d29
00000d11: JUMPI
00000d12: PUSH1 0x40
00000d14: MLOAD
00000d15: PUSH3 0x461bcd
00000d19: PUSH1 0xe5
00000d1b: SHL
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: PUSH1 0x04
00000d20: ADD
00000d21: PUSH2 0x07df
00000d24: SWAP1
00000d25: PUSH2 0x26a9
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: PUSH1 0x02
00000d2c: SLOAD
00000d2d: PUSH1 0x01
00000d2f: SLOAD
00000d30: PUSH1 0x40
00000d32: MLOAD
00000d33: PUSH4 0xf2fde38b
00000d38: PUSH1 0xe0
00000d3a: SHL
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x01
00000d3f: PUSH1 0x01
00000d41: PUSH1 0xa0
00000d43: SHL
00000d44: SUB
00000d45: SWAP3
00000d46: DUP4
00000d47: AND
00000d48: SWAP3
00000d49: SWAP1
00000d4a: SWAP2
00000d4b: AND
00000d4c: SWAP1
00000d4d: DUP3
00000d4e: SWAP1
00000d4f: PUSH4 0xf2fde38b
00000d54: SWAP1
00000d55: PUSH2 0x0d62
00000d58: SWAP1
00000d59: DUP7
00000d5a: SWAP1
00000d5b: PUSH1 0x04
00000d5d: ADD
00000d5e: PUSH2 0x24a2
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH1 0x00
00000d65: PUSH1 0x40
00000d67: MLOAD
00000d68: DUP1
00000d69: DUP4
00000d6a: SUB
00000d6b: DUP2
00000d6c: PUSH1 0x00
00000d6e: DUP8
00000d6f: DUP1
00000d70: EXTCODESIZE
00000d71: ISZERO
00000d72: DUP1
00000d73: ISZERO
00000d74: PUSH2 0x0d7c
00000d77: JUMPI
00000d78: PUSH1 0x00
00000d7a: DUP1
00000d7b: REVERT
00000d7c: JUMPDEST
00000d7d: POP
00000d7e: GAS
00000d7f: CALL
00000d80: ISZERO
00000d81: DUP1
00000d82: ISZERO
00000d83: PUSH2 0x0d90
00000d86: JUMPI
00000d87: RETURNDATASIZE
00000d88: PUSH1 0x00
00000d8a: DUP1
00000d8b: RETURNDATACOPY
00000d8c: RETURNDATASIZE
00000d8d: PUSH1 0x00
00000d8f: REVERT
00000d90: JUMPDEST
00000d91: POP
00000d92: POP
00000d93: PUSH1 0x40
00000d95: MLOAD
00000d96: PUSH4 0xf2fde38b
00000d9b: PUSH1 0xe0
00000d9d: SHL
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x01
00000da2: PUSH1 0x01
00000da4: PUSH1 0xa0
00000da6: SHL
00000da7: SUB
00000da8: DUP5
00000da9: AND
00000daa: SWAP3
00000dab: POP
00000dac: PUSH4 0xf2fde38b
00000db1: SWAP2
00000db2: POP
00000db3: PUSH2 0x0dc0
00000db6: SWAP1
00000db7: DUP7
00000db8: SWAP1
00000db9: PUSH1 0x04
00000dbb: ADD
00000dbc: PUSH2 0x24a2
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x00
00000dc3: PUSH1 0x40
00000dc5: MLOAD
00000dc6: DUP1
00000dc7: DUP4
00000dc8: SUB
00000dc9: DUP2
00000dca: PUSH1 0x00
00000dcc: DUP8
00000dcd: DUP1
00000dce: EXTCODESIZE
00000dcf: ISZERO
00000dd0: DUP1
00000dd1: ISZERO
00000dd2: PUSH2 0x0dda
00000dd5: JUMPI
00000dd6: PUSH1 0x00
00000dd8: DUP1
00000dd9: REVERT
00000dda: JUMPDEST
00000ddb: POP
00000ddc: GAS
00000ddd: CALL
00000dde: ISZERO
00000ddf: DUP1
00000de0: ISZERO
00000de1: PUSH2 0x0dee
00000de4: JUMPI
00000de5: RETURNDATASIZE
00000de6: PUSH1 0x00
00000de8: DUP1
00000de9: RETURNDATACOPY
00000dea: RETURNDATASIZE
00000deb: PUSH1 0x00
00000ded: REVERT
00000dee: JUMPDEST
00000def: POP
00000df0: POP
00000df1: POP
00000df2: POP
00000df3: POP
00000df4: POP
00000df5: POP
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x06
00000dfa: SLOAD
00000dfb: DUP2
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: PUSH2 0x0e05
00000e01: PUSH2 0x1fd1
00000e04: JUMP
00000e05: JUMPDEST
00000e06: PUSH1 0x00
00000e08: SLOAD
00000e09: PUSH1 0x01
00000e0b: PUSH1 0x01
00000e0d: PUSH1 0xa0
00000e0f: SHL
00000e10: SUB
00000e11: SWAP1
00000e12: DUP2
00000e13: AND
00000e14: SWAP2
00000e15: AND
00000e16: EQ
00000e17: PUSH2 0x0e32
00000e1a: JUMPI
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: PUSH3 0x461bcd
00000e22: PUSH1 0xe5
00000e24: SHL
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x04
00000e29: ADD
00000e2a: PUSH2 0x07df
00000e2d: SWAP1
00000e2e: PUSH2 0x26a9
00000e31: JUMP
00000e32: JUMPDEST
00000e33: PUSH1 0x02
00000e35: SLOAD
00000e36: PUSH1 0x40
00000e38: MLOAD
00000e39: PUSH32 0x664aa26b00000000000000000000000000000000000000000000000000000000
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x01
00000e5e: PUSH1 0x01
00000e60: PUSH1 0xa0
00000e62: SHL
00000e63: SUB
00000e64: SWAP1
00000e65: SWAP2
00000e66: AND
00000e67: SWAP1
00000e68: DUP2
00000e69: SWAP1
00000e6a: PUSH4 0x664aa26b
00000e6f: SWAP1
00000e70: PUSH2 0x0e7d
00000e73: SWAP1
00000e74: DUP6
00000e75: SWAP1
00000e76: PUSH1 0x04
00000e78: ADD
00000e79: PUSH2 0x2500
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: PUSH1 0x00
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: DUP1
00000e84: DUP4
00000e85: SUB
00000e86: DUP2
00000e87: PUSH1 0x00
00000e89: DUP8
00000e8a: DUP1
00000e8b: EXTCODESIZE
00000e8c: ISZERO
00000e8d: DUP1
00000e8e: ISZERO
00000e8f: PUSH2 0x0e97
00000e92: JUMPI
00000e93: PUSH1 0x00
00000e95: DUP1
00000e96: REVERT
00000e97: JUMPDEST
00000e98: POP
00000e99: GAS
00000e9a: CALL
00000e9b: ISZERO
00000e9c: DUP1
00000e9d: ISZERO
00000e9e: PUSH2 0x0eab
00000ea1: JUMPI
00000ea2: RETURNDATASIZE
00000ea3: PUSH1 0x00
00000ea5: DUP1
00000ea6: RETURNDATACOPY
00000ea7: RETURNDATASIZE
00000ea8: PUSH1 0x00
00000eaa: REVERT
00000eab: JUMPDEST
00000eac: POP
00000ead: POP
00000eae: POP
00000eaf: POP
00000eb0: POP
00000eb1: POP
00000eb2: JUMP
00000eb3: JUMPDEST
00000eb4: PUSH2 0x0ebb
00000eb7: PUSH2 0x1fd1
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x00
00000ebe: SLOAD
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0x01
00000ec3: PUSH1 0xa0
00000ec5: SHL
00000ec6: SUB
00000ec7: SWAP1
00000ec8: DUP2
00000ec9: AND
00000eca: SWAP2
00000ecb: AND
00000ecc: EQ
00000ecd: PUSH2 0x0ee8
00000ed0: JUMPI
00000ed1: PUSH1 0x40
00000ed3: MLOAD
00000ed4: PUSH3 0x461bcd
00000ed8: PUSH1 0xe5
00000eda: SHL
00000edb: DUP2
00000edc: MSTORE
00000edd: PUSH1 0x04
00000edf: ADD
00000ee0: PUSH2 0x07df
00000ee3: SWAP1
00000ee4: PUSH2 0x26a9
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: PUSH1 0x07
00000eeb: SSTORE
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH2 0x0ef5
00000ef1: PUSH2 0x1fd1
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0x00
00000ef8: SLOAD
00000ef9: PUSH1 0x01
00000efb: PUSH1 0x01
00000efd: PUSH1 0xa0
00000eff: SHL
00000f00: SUB
00000f01: SWAP1
00000f02: DUP2
00000f03: AND
00000f04: SWAP2
00000f05: AND
00000f06: EQ
00000f07: PUSH2 0x0f22
00000f0a: JUMPI
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: PUSH3 0x461bcd
00000f12: PUSH1 0xe5
00000f14: SHL
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x04
00000f19: ADD
00000f1a: PUSH2 0x07df
00000f1d: SWAP1
00000f1e: PUSH2 0x26a9
00000f21: JUMP
00000f22: JUMPDEST
00000f23: PUSH1 0x06
00000f25: SSTORE
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x06
00000f2a: SLOAD
00000f2b: CALLVALUE
00000f2c: LT
00000f2d: ISZERO
00000f2e: PUSH2 0x0f49
00000f31: JUMPI
00000f32: PUSH1 0x40
00000f34: MLOAD
00000f35: PUSH3 0x461bcd
00000f39: PUSH1 0xe5
00000f3b: SHL
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x04
00000f40: ADD
00000f41: PUSH2 0x07df
00000f44: SWAP1
00000f45: PUSH2 0x2615
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x02
00000f4c: SLOAD
00000f4d: PUSH1 0x40
00000f4f: MLOAD
00000f50: PUSH4 0x0fb7f655
00000f55: PUSH1 0xe2
00000f57: SHL
00000f58: DUP2
00000f59: MSTORE
00000f5a: PUSH1 0x01
00000f5c: PUSH1 0x01
00000f5e: PUSH1 0xa0
00000f60: SHL
00000f61: SUB
00000f62: SWAP1
00000f63: SWAP2
00000f64: AND
00000f65: SWAP1
00000f66: DUP2
00000f67: SWAP1
00000f68: PUSH4 0x3edfd954
00000f6d: SWAP1
00000f6e: PUSH2 0x0f83
00000f71: SWAP1
00000f72: DUP10
00000f73: SWAP1
00000f74: DUP10
00000f75: SWAP1
00000f76: DUP10
00000f77: SWAP1
00000f78: DUP10
00000f79: SWAP1
00000f7a: DUP10
00000f7b: SWAP1
00000f7c: PUSH1 0x04
00000f7e: ADD
00000f7f: PUSH2 0x24b6
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH1 0x00
00000f86: PUSH1 0x40
00000f88: MLOAD
00000f89: DUP1
00000f8a: DUP4
00000f8b: SUB
00000f8c: DUP2
00000f8d: PUSH1 0x00
00000f8f: DUP8
00000f90: DUP1
00000f91: EXTCODESIZE
00000f92: ISZERO
00000f93: DUP1
00000f94: ISZERO
00000f95: PUSH2 0x0f9d
00000f98: JUMPI
00000f99: PUSH1 0x00
00000f9b: DUP1
00000f9c: REVERT
00000f9d: JUMPDEST
00000f9e: POP
00000f9f: GAS
00000fa0: CALL
00000fa1: ISZERO
00000fa2: DUP1
00000fa3: ISZERO
00000fa4: PUSH2 0x0fb1
00000fa7: JUMPI
00000fa8: RETURNDATASIZE
00000fa9: PUSH1 0x00
00000fab: DUP1
00000fac: RETURNDATACOPY
00000fad: RETURNDATASIZE
00000fae: PUSH1 0x00
00000fb0: REVERT
00000fb1: JUMPDEST
00000fb2: POP
00000fb3: POP
00000fb4: PUSH1 0x0a
00000fb6: SLOAD
00000fb7: PUSH2 0x0fc3
00000fba: SWAP3
00000fbb: POP
00000fbc: SWAP1
00000fbd: POP
00000fbe: CALLVALUE
00000fbf: PUSH2 0x2093
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x0a
00000fc6: SSTORE
00000fc7: POP
00000fc8: POP
00000fc9: POP
00000fca: POP
00000fcb: POP
00000fcc: POP
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH1 0x04
00000fd1: SLOAD
00000fd2: DUP2
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: PUSH2 0x0fdc
00000fd8: PUSH2 0x1fd1
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH1 0x00
00000fdf: SLOAD
00000fe0: PUSH1 0x01
00000fe2: PUSH1 0x01
00000fe4: PUSH1 0xa0
00000fe6: SHL
00000fe7: SUB
00000fe8: SWAP1
00000fe9: DUP2
00000fea: AND
00000feb: SWAP2
00000fec: AND
00000fed: EQ
00000fee: PUSH2 0x1009
00000ff1: JUMPI
00000ff2: PUSH1 0x40
00000ff4: MLOAD
00000ff5: PUSH3 0x461bcd
00000ff9: PUSH1 0xe5
00000ffb: SHL
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x04
00001000: ADD
00001001: PUSH2 0x07df
00001004: SWAP1
00001005: PUSH2 0x26a9
00001008: JUMP
00001009: JUMPDEST
0000100a: PUSH1 0x03
0000100c: SLOAD
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: PUSH4 0x2f26a835
00001015: PUSH1 0xe1
00001017: SHL
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x01
0000101c: PUSH1 0x01
0000101e: PUSH1 0xa0
00001020: SHL
00001021: SUB
00001022: SWAP1
00001023: SWAP2
00001024: AND
00001025: SWAP1
00001026: DUP2
00001027: SWAP1
00001028: PUSH4 0x5e4d506a
0000102d: SWAP1
0000102e: PUSH2 0x0dc0
00001031: SWAP1
00001032: DUP7
00001033: SWAP1
00001034: DUP7
00001035: SWAP1
00001036: PUSH1 0x04
00001038: ADD
00001039: PUSH2 0x2737
0000103c: JUMP
0000103d: JUMPDEST
0000103e: PUSH2 0x1045
00001041: PUSH2 0x1fd1
00001044: JUMP
00001045: JUMPDEST
00001046: PUSH1 0x00
00001048: SLOAD
00001049: PUSH1 0x01
0000104b: PUSH1 0x01
0000104d: PUSH1 0xa0
0000104f: SHL
00001050: SUB
00001051: SWAP1
00001052: DUP2
00001053: AND
00001054: SWAP2
00001055: AND
00001056: EQ
00001057: PUSH2 0x1072
0000105a: JUMPI
0000105b: PUSH1 0x40
0000105d: MLOAD
0000105e: PUSH3 0x461bcd
00001062: PUSH1 0xe5
00001064: SHL
00001065: DUP2
00001066: MSTORE
00001067: PUSH1 0x04
00001069: ADD
0000106a: PUSH2 0x07df
0000106d: SWAP1
0000106e: PUSH2 0x26a9
00001071: JUMP
00001072: JUMPDEST
00001073: PUSH1 0x00
00001075: DUP1
00001076: SLOAD
00001077: PUSH1 0x40
00001079: MLOAD
0000107a: PUSH1 0x01
0000107c: PUSH1 0x01
0000107e: PUSH1 0xa0
00001080: SHL
00001081: SUB
00001082: SWAP1
00001083: SWAP2
00001084: AND
00001085: SWAP1
00001086: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000010a7: SWAP1
000010a8: DUP4
000010a9: SWAP1
000010aa: LOG3
000010ab: PUSH1 0x00
000010ad: DUP1
000010ae: SLOAD
000010af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c4: NOT
000010c5: AND
000010c6: SWAP1
000010c7: SSTORE
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH1 0x02
000010cc: SLOAD
000010cd: PUSH1 0x40
000010cf: MLOAD
000010d0: PUSH4 0x31a9108f
000010d5: PUSH1 0xe1
000010d7: SHL
000010d8: DUP2
000010d9: MSTORE
000010da: DUP3
000010db: SWAP2
000010dc: PUSH1 0x01
000010de: PUSH1 0x01
000010e0: PUSH1 0xa0
000010e2: SHL
000010e3: SUB
000010e4: AND
000010e5: SWAP1
000010e6: DUP2
000010e7: SWAP1
000010e8: PUSH4 0x6352211e
000010ed: SWAP1
000010ee: PUSH2 0x10fb
000010f1: SWAP1
000010f2: DUP6
000010f3: SWAP1
000010f4: PUSH1 0x04
000010f6: ADD
000010f7: PUSH2 0x2715
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH1 0x20
000010fe: PUSH1 0x40
00001100: MLOAD
00001101: DUP1
00001102: DUP4
00001103: SUB
00001104: DUP2
00001105: DUP7
00001106: DUP1
00001107: EXTCODESIZE
00001108: ISZERO
00001109: DUP1
0000110a: ISZERO
0000110b: PUSH2 0x1113
0000110e: JUMPI
0000110f: PUSH1 0x00
00001111: DUP1
00001112: REVERT
00001113: JUMPDEST
00001114: POP
00001115: GAS
00001116: STATICCALL
00001117: ISZERO
00001118: DUP1
00001119: ISZERO
0000111a: PUSH2 0x1127
0000111d: JUMPI
0000111e: RETURNDATASIZE
0000111f: PUSH1 0x00
00001121: DUP1
00001122: RETURNDATACOPY
00001123: RETURNDATASIZE
00001124: PUSH1 0x00
00001126: REVERT
00001127: JUMPDEST
00001128: POP
00001129: POP
0000112a: POP
0000112b: POP
0000112c: PUSH1 0x40
0000112e: MLOAD
0000112f: RETURNDATASIZE
00001130: PUSH1 0x1f
00001132: NOT
00001133: PUSH1 0x1f
00001135: DUP3
00001136: ADD
00001137: AND
00001138: DUP3
00001139: ADD
0000113a: DUP1
0000113b: PUSH1 0x40
0000113d: MSTORE
0000113e: POP
0000113f: DUP2
00001140: ADD
00001141: SWAP1
00001142: PUSH2 0x114b
00001145: SWAP2
00001146: SWAP1
00001147: PUSH2 0x21b1
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0xa0
00001152: SHL
00001153: SUB
00001154: AND
00001155: CALLER
00001156: PUSH1 0x01
00001158: PUSH1 0x01
0000115a: PUSH1 0xa0
0000115c: SHL
0000115d: SUB
0000115e: AND
0000115f: EQ
00001160: PUSH2 0x117b
00001163: JUMPI
00001164: PUSH1 0x40
00001166: MLOAD
00001167: PUSH3 0x461bcd
0000116b: PUSH1 0xe5
0000116d: SHL
0000116e: DUP2
0000116f: MSTORE
00001170: PUSH1 0x04
00001172: ADD
00001173: PUSH2 0x07df
00001176: SWAP1
00001177: PUSH2 0x2513
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x00
0000117e: DUP4
0000117f: DUP2
00001180: MSTORE
00001181: PUSH1 0x0b
00001183: PUSH1 0x20
00001185: MSTORE
00001186: PUSH1 0x40
00001188: DUP1
00001189: DUP3
0000118a: KECCAK256
0000118b: DUP1
0000118c: SLOAD
0000118d: SWAP1
0000118e: DUP4
0000118f: SWAP1
00001190: SSTORE
00001191: SWAP1
00001192: MLOAD
00001193: SWAP1
00001194: SWAP2
00001195: CALLER
00001196: SWAP2
00001197: DUP4
00001198: ISZERO
00001199: PUSH2 0x08fc
0000119c: MUL
0000119d: SWAP2
0000119e: DUP5
0000119f: SWAP2
000011a0: SWAP1
000011a1: DUP2
000011a2: DUP2
000011a3: DUP2
000011a4: DUP6
000011a5: DUP9
000011a6: DUP9
000011a7: CALL
000011a8: SWAP4
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: ISZERO
000011ae: DUP1
000011af: ISZERO
000011b0: PUSH2 0x11bd
000011b3: JUMPI
000011b4: RETURNDATASIZE
000011b5: PUSH1 0x00
000011b7: DUP1
000011b8: RETURNDATACOPY
000011b9: RETURNDATASIZE
000011ba: PUSH1 0x00
000011bc: REVERT
000011bd: JUMPDEST
000011be: POP
000011bf: CALLER
000011c0: PUSH1 0x01
000011c2: PUSH1 0x01
000011c4: PUSH1 0xa0
000011c6: SHL
000011c7: SUB
000011c8: AND
000011c9: PUSH32 0xe16139b7b818c5a4c4035d9fd6f44588ddb947c1fd22c48b6854b2057a8f2f47
000011ea: DUP6
000011eb: DUP4
000011ec: PUSH1 0x40
000011ee: MLOAD
000011ef: PUSH2 0x11f9
000011f2: SWAP3
000011f3: SWAP2
000011f4: SWAP1
000011f5: PUSH2 0x2737
000011f8: JUMP
000011f9: JUMPDEST
000011fa: PUSH1 0x40
000011fc: MLOAD
000011fd: DUP1
000011fe: SWAP2
000011ff: SUB
00001200: SWAP1
00001201: LOG2
00001202: POP
00001203: POP
00001204: POP
00001205: POP
00001206: JUMP
00001207: JUMPDEST
00001208: PUSH1 0x02
0000120a: SLOAD
0000120b: PUSH1 0x01
0000120d: PUSH1 0x01
0000120f: PUSH1 0xa0
00001211: SHL
00001212: SUB
00001213: AND
00001214: DUP2
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x01
00001219: SLOAD
0000121a: PUSH1 0x40
0000121c: MLOAD
0000121d: PUSH4 0x31a9108f
00001222: PUSH1 0xe1
00001224: SHL
00001225: DUP2
00001226: MSTORE
00001227: DUP4
00001228: SWAP2
00001229: PUSH1 0x01
0000122b: PUSH1 0x01
0000122d: PUSH1 0xa0
0000122f: SHL
00001230: SUB
00001231: AND
00001232: SWAP1
00001233: DUP2
00001234: SWAP1
00001235: PUSH4 0x6352211e
0000123a: SWAP1
0000123b: PUSH2 0x1248
0000123e: SWAP1
0000123f: DUP6
00001240: SWAP1
00001241: PUSH1 0x04
00001243: ADD
00001244: PUSH2 0x2715
00001247: JUMP
00001248: JUMPDEST
00001249: PUSH1 0x20
0000124b: PUSH1 0x40
0000124d: MLOAD
0000124e: DUP1
0000124f: DUP4
00001250: SUB
00001251: DUP2
00001252: DUP7
00001253: DUP1
00001254: EXTCODESIZE
00001255: ISZERO
00001256: DUP1
00001257: ISZERO
00001258: PUSH2 0x1260
0000125b: JUMPI
0000125c: PUSH1 0x00
0000125e: DUP1
0000125f: REVERT
00001260: JUMPDEST
00001261: POP
00001262: GAS
00001263: STATICCALL
00001264: ISZERO
00001265: DUP1
00001266: ISZERO
00001267: PUSH2 0x1274
0000126a: JUMPI
0000126b: RETURNDATASIZE
0000126c: PUSH1 0x00
0000126e: DUP1
0000126f: RETURNDATACOPY
00001270: RETURNDATASIZE
00001271: PUSH1 0x00
00001273: REVERT
00001274: JUMPDEST
00001275: POP
00001276: POP
00001277: POP
00001278: POP
00001279: PUSH1 0x40
0000127b: MLOAD
0000127c: RETURNDATASIZE
0000127d: PUSH1 0x1f
0000127f: NOT
00001280: PUSH1 0x1f
00001282: DUP3
00001283: ADD
00001284: AND
00001285: DUP3
00001286: ADD
00001287: DUP1
00001288: PUSH1 0x40
0000128a: MSTORE
0000128b: POP
0000128c: DUP2
0000128d: ADD
0000128e: SWAP1
0000128f: PUSH2 0x1298
00001292: SWAP2
00001293: SWAP1
00001294: PUSH2 0x21b1
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x01
0000129b: PUSH1 0x01
0000129d: PUSH1 0xa0
0000129f: SHL
000012a0: SUB
000012a1: AND
000012a2: CALLER
000012a3: PUSH1 0x01
000012a5: PUSH1 0x01
000012a7: PUSH1 0xa0
000012a9: SHL
000012aa: SUB
000012ab: AND
000012ac: EQ
000012ad: PUSH2 0x12c8
000012b0: JUMPI
000012b1: PUSH1 0x40
000012b3: MLOAD
000012b4: PUSH3 0x461bcd
000012b8: PUSH1 0xe5
000012ba: SHL
000012bb: DUP2
000012bc: MSTORE
000012bd: PUSH1 0x04
000012bf: ADD
000012c0: PUSH2 0x07df
000012c3: SWAP1
000012c4: PUSH2 0x2513
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x07
000012cb: SLOAD
000012cc: CALLVALUE
000012cd: LT
000012ce: ISZERO
000012cf: PUSH2 0x12ea
000012d2: JUMPI
000012d3: PUSH1 0x40
000012d5: MLOAD
000012d6: PUSH3 0x461bcd
000012da: PUSH1 0xe5
000012dc: SHL
000012dd: DUP2
000012de: MSTORE
000012df: PUSH1 0x04
000012e1: ADD
000012e2: PUSH2 0x07df
000012e5: SWAP1
000012e6: PUSH2 0x2615
000012e9: JUMP
000012ea: JUMPDEST
000012eb: PUSH1 0x01
000012ed: SLOAD
000012ee: PUSH1 0x40
000012f0: MLOAD
000012f1: PUSH32 0x162094c400000000000000000000000000000000000000000000000000000000
00001312: DUP2
00001313: MSTORE
00001314: PUSH1 0x01
00001316: PUSH1 0x01
00001318: PUSH1 0xa0
0000131a: SHL
0000131b: SUB
0000131c: SWAP1
0000131d: SWAP2
0000131e: AND
0000131f: SWAP1
00001320: DUP2
00001321: SWAP1
00001322: PUSH4 0x162094c4
00001327: SWAP1
00001328: PUSH2 0x1337
0000132b: SWAP1
0000132c: DUP9
0000132d: SWAP1
0000132e: DUP9
0000132f: SWAP1
00001330: PUSH1 0x04
00001332: ADD
00001333: PUSH2 0x271e
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x00
0000133a: PUSH1 0x40
0000133c: MLOAD
0000133d: DUP1
0000133e: DUP4
0000133f: SUB
00001340: DUP2
00001341: PUSH1 0x00
00001343: DUP8
00001344: DUP1
00001345: EXTCODESIZE
00001346: ISZERO
00001347: DUP1
00001348: ISZERO
00001349: PUSH2 0x1351
0000134c: JUMPI
0000134d: PUSH1 0x00
0000134f: DUP1
00001350: REVERT
00001351: JUMPDEST
00001352: POP
00001353: GAS
00001354: CALL
00001355: ISZERO
00001356: DUP1
00001357: ISZERO
00001358: PUSH2 0x1365
0000135b: JUMPI
0000135c: RETURNDATASIZE
0000135d: PUSH1 0x00
0000135f: DUP1
00001360: RETURNDATACOPY
00001361: RETURNDATASIZE
00001362: PUSH1 0x00
00001364: REVERT
00001365: JUMPDEST
00001366: POP
00001367: POP
00001368: PUSH1 0x0a
0000136a: SLOAD
0000136b: PUSH2 0x1377
0000136e: SWAP3
0000136f: POP
00001370: SWAP1
00001371: POP
00001372: CALLVALUE
00001373: PUSH2 0x2093
00001376: JUMP
00001377: JUMPDEST
00001378: PUSH1 0x0a
0000137a: SSTORE
0000137b: PUSH1 0x40
0000137d: MLOAD
0000137e: DUP6
0000137f: SWAP1
00001380: CALLER
00001381: SWAP1
00001382: PUSH32 0xdc82676d8406b1ca7a857e065c24965e1785c4758d741b83bcb23578f8da05c1
000013a3: SWAP1
000013a4: PUSH1 0x00
000013a6: SWAP1
000013a7: LOG3
000013a8: POP
000013a9: POP
000013aa: POP
000013ab: POP
000013ac: POP
000013ad: JUMP
000013ae: JUMPDEST
000013af: PUSH1 0x07
000013b1: SLOAD
000013b2: DUP2
000013b3: JUMP
000013b4: JUMPDEST
000013b5: PUSH1 0x05
000013b7: SLOAD
000013b8: SWAP1
000013b9: JUMP
000013ba: JUMPDEST
000013bb: PUSH2 0x13c2
000013be: PUSH2 0x1fd1
000013c1: JUMP
000013c2: JUMPDEST
000013c3: PUSH1 0x00
000013c5: SLOAD
000013c6: PUSH1 0x01
000013c8: PUSH1 0x01
000013ca: PUSH1 0xa0
000013cc: SHL
000013cd: SUB
000013ce: SWAP1
000013cf: DUP2
000013d0: AND
000013d1: SWAP2
000013d2: AND
000013d3: EQ
000013d4: PUSH2 0x13ef
000013d7: JUMPI
000013d8: PUSH1 0x40
000013da: MLOAD
000013db: PUSH3 0x461bcd
000013df: PUSH1 0xe5
000013e1: SHL
000013e2: DUP2
000013e3: MSTORE
000013e4: PUSH1 0x04
000013e6: ADD
000013e7: PUSH2 0x07df
000013ea: SWAP1
000013eb: PUSH2 0x26a9
000013ee: JUMP
000013ef: JUMPDEST
000013f0: PUSH1 0x00
000013f2: JUMPDEST
000013f3: DUP2
000013f4: DUP2
000013f5: LT
000013f6: ISZERO
000013f7: PUSH2 0x0ce9
000013fa: JUMPI
000013fb: PUSH2 0x142e
000013fe: DUP4
000013ff: DUP4
00001400: DUP4
00001401: DUP2
00001402: DUP2
00001403: LT
00001404: PUSH2 0x1409
00001407: JUMPI
00001408: INVALID
00001409: JUMPDEST
0000140a: SWAP1
0000140b: POP
0000140c: PUSH1 0x40
0000140e: MUL
0000140f: ADD
00001410: PUSH1 0x00
00001412: ADD
00001413: CALLDATALOAD
00001414: DUP5
00001415: DUP5
00001416: DUP5
00001417: DUP2
00001418: DUP2
00001419: LT
0000141a: PUSH2 0x141f
0000141d: JUMPI
0000141e: INVALID
0000141f: JUMPDEST
00001420: SWAP1
00001421: POP
00001422: PUSH1 0x40
00001424: MUL
00001425: ADD
00001426: PUSH1 0x20
00001428: ADD
00001429: CALLDATALOAD
0000142a: PUSH2 0x0fd4
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x01
00001431: ADD
00001432: PUSH2 0x13f2
00001435: JUMP
00001436: JUMPDEST
00001437: PUSH1 0x05
00001439: SLOAD
0000143a: DUP2
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH2 0x1444
00001440: PUSH2 0x1fd1
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH1 0x00
00001447: SLOAD
00001448: PUSH1 0x01
0000144a: PUSH1 0x01
0000144c: PUSH1 0xa0
0000144e: SHL
0000144f: SUB
00001450: SWAP1
00001451: DUP2
00001452: AND
00001453: SWAP2
00001454: AND
00001455: EQ
00001456: PUSH2 0x1471
00001459: JUMPI
0000145a: PUSH1 0x40
0000145c: MLOAD
0000145d: PUSH3 0x461bcd
00001461: PUSH1 0xe5
00001463: SHL
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x04
00001468: ADD
00001469: PUSH2 0x07df
0000146c: SWAP1
0000146d: PUSH2 0x26a9
00001470: JUMP
00001471: JUMPDEST
00001472: PUSH1 0x09
00001474: SSTORE
00001475: JUMP
00001476: JUMPDEST
00001477: PUSH1 0x03
00001479: SLOAD
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: PUSH32 0x858ee81700000000000000000000000000000000000000000000000000000000
0000149e: DUP2
0000149f: MSTORE
000014a0: PUSH1 0x00
000014a2: SWAP2
000014a3: PUSH1 0x01
000014a5: PUSH1 0x01
000014a7: PUSH1 0xa0
000014a9: SHL
000014aa: SUB
000014ab: AND
000014ac: SWAP1
000014ad: DUP2
000014ae: SWAP1
000014af: PUSH4 0x858ee817
000014b4: SWAP1
000014b5: PUSH2 0x14c2
000014b8: SWAP1
000014b9: DUP7
000014ba: SWAP1
000014bb: PUSH1 0x04
000014bd: ADD
000014be: PUSH2 0x2715
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH1 0x20
000014c5: PUSH1 0x40
000014c7: MLOAD
000014c8: DUP1
000014c9: DUP4
000014ca: SUB
000014cb: DUP2
000014cc: DUP7
000014cd: DUP1
000014ce: EXTCODESIZE
000014cf: ISZERO
000014d0: DUP1
000014d1: ISZERO
000014d2: PUSH2 0x14da
000014d5: JUMPI
000014d6: PUSH1 0x00
000014d8: DUP1
000014d9: REVERT
000014da: JUMPDEST
000014db: POP
000014dc: GAS
000014dd: STATICCALL
000014de: ISZERO
000014df: DUP1
000014e0: ISZERO
000014e1: PUSH2 0x14ee
000014e4: JUMPI
000014e5: RETURNDATASIZE
000014e6: PUSH1 0x00
000014e8: DUP1
000014e9: RETURNDATACOPY
000014ea: RETURNDATASIZE
000014eb: PUSH1 0x00
000014ed: REVERT
000014ee: JUMPDEST
000014ef: POP
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: PUSH1 0x40
000014f5: MLOAD
000014f6: RETURNDATASIZE
000014f7: PUSH1 0x1f
000014f9: NOT
000014fa: PUSH1 0x1f
000014fc: DUP3
000014fd: ADD
000014fe: AND
000014ff: DUP3
00001500: ADD
00001501: DUP1
00001502: PUSH1 0x40
00001504: MSTORE
00001505: POP
00001506: DUP2
00001507: ADD
00001508: SWAP1
00001509: PUSH2 0x0988
0000150c: SWAP2
0000150d: SWAP1
0000150e: PUSH2 0x2366
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH2 0x151a
00001516: PUSH2 0x1fd1
00001519: JUMP
0000151a: JUMPDEST
0000151b: PUSH1 0x00
0000151d: SLOAD
0000151e: PUSH1 0x01
00001520: PUSH1 0x01
00001522: PUSH1 0xa0
00001524: SHL
00001525: SUB
00001526: SWAP1
00001527: DUP2
00001528: AND
00001529: SWAP2
0000152a: AND
0000152b: EQ
0000152c: PUSH2 0x1547
0000152f: JUMPI
00001530: PUSH1 0x40
00001532: MLOAD
00001533: PUSH3 0x461bcd
00001537: PUSH1 0xe5
00001539: SHL
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x04
0000153e: ADD
0000153f: PUSH2 0x07df
00001542: SWAP1
00001543: PUSH2 0x26a9
00001546: JUMP
00001547: JUMPDEST
00001548: PUSH1 0x40
0000154a: MLOAD
0000154b: SELFBALANCE
0000154c: SWAP1
0000154d: CALLER
0000154e: SWAP1
0000154f: DUP3
00001550: ISZERO
00001551: PUSH2 0x08fc
00001554: MUL
00001555: SWAP1
00001556: DUP4
00001557: SWAP1
00001558: PUSH1 0x00
0000155a: DUP2
0000155b: DUP2
0000155c: DUP2
0000155d: DUP6
0000155e: DUP9
0000155f: DUP9
00001560: CALL
00001561: SWAP4
00001562: POP
00001563: POP
00001564: POP
00001565: POP
00001566: ISZERO
00001567: DUP1
00001568: ISZERO
00001569: PUSH2 0x1576
0000156c: JUMPI
0000156d: RETURNDATASIZE
0000156e: PUSH1 0x00
00001570: DUP1
00001571: RETURNDATACOPY
00001572: RETURNDATASIZE
00001573: PUSH1 0x00
00001575: REVERT
00001576: JUMPDEST
00001577: POP
00001578: POP
00001579: JUMP
0000157a: JUMPDEST
0000157b: PUSH1 0x00
0000157d: SLOAD
0000157e: PUSH1 0x01
00001580: PUSH1 0x01
00001582: PUSH1 0xa0
00001584: SHL
00001585: SUB
00001586: AND
00001587: SWAP1
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH2 0x1591
0000158d: PUSH2 0x1fd1
00001590: JUMP
00001591: JUMPDEST
00001592: PUSH1 0x00
00001594: SLOAD
00001595: PUSH1 0x01
00001597: PUSH1 0x01
00001599: PUSH1 0xa0
0000159b: SHL
0000159c: SUB
0000159d: SWAP1
0000159e: DUP2
0000159f: AND
000015a0: SWAP2
000015a1: AND
000015a2: EQ
000015a3: PUSH2 0x15be
000015a6: JUMPI
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: PUSH3 0x461bcd
000015ae: PUSH1 0xe5
000015b0: SHL
000015b1: DUP2
000015b2: MSTORE
000015b3: PUSH1 0x04
000015b5: ADD
000015b6: PUSH2 0x07df
000015b9: SWAP1
000015ba: PUSH2 0x26a9
000015bd: JUMP
000015be: JUMPDEST
000015bf: PUSH1 0x04
000015c1: SSTORE
000015c2: JUMP
000015c3: JUMPDEST
000015c4: PUSH2 0x15cb
000015c7: PUSH2 0x1fd1
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH1 0x00
000015ce: SLOAD
000015cf: PUSH1 0x01
000015d1: PUSH1 0x01
000015d3: PUSH1 0xa0
000015d5: SHL
000015d6: SUB
000015d7: SWAP1
000015d8: DUP2
000015d9: AND
000015da: SWAP2
000015db: AND
000015dc: EQ
000015dd: PUSH2 0x15f8
000015e0: JUMPI
000015e1: PUSH1 0x40
000015e3: MLOAD
000015e4: PUSH3 0x461bcd
000015e8: PUSH1 0xe5
000015ea: SHL
000015eb: DUP2
000015ec: MSTORE
000015ed: PUSH1 0x04
000015ef: ADD
000015f0: PUSH2 0x07df
000015f3: SWAP1
000015f4: PUSH2 0x26a9
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH1 0x0a
000015fb: DUP1
000015fc: SLOAD
000015fd: PUSH1 0x00
000015ff: SWAP2
00001600: DUP3
00001601: SWAP1
00001602: SSTORE
00001603: PUSH1 0x40
00001605: MLOAD
00001606: SWAP1
00001607: SWAP2
00001608: CALLER
00001609: SWAP2
0000160a: DUP4
0000160b: ISZERO
0000160c: PUSH2 0x08fc
0000160f: MUL
00001610: SWAP2
00001611: DUP5
00001612: SWAP2
00001613: SWAP1
00001614: DUP2
00001615: DUP2
00001616: DUP2
00001617: DUP6
00001618: DUP9
00001619: DUP9
0000161a: CALL
0000161b: SWAP4
0000161c: POP
0000161d: POP
0000161e: POP
0000161f: POP
00001620: ISZERO
00001621: DUP1
00001622: ISZERO
00001623: PUSH2 0x1576
00001626: JUMPI
00001627: RETURNDATASIZE
00001628: PUSH1 0x00
0000162a: DUP1
0000162b: RETURNDATACOPY
0000162c: RETURNDATASIZE
0000162d: PUSH1 0x00
0000162f: REVERT
00001630: JUMPDEST
00001631: PUSH1 0x0a
00001633: SLOAD
00001634: SWAP1
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH2 0x163e
0000163a: PUSH2 0x1fd1
0000163d: JUMP
0000163e: JUMPDEST
0000163f: PUSH1 0x00
00001641: SLOAD
00001642: PUSH1 0x01
00001644: PUSH1 0x01
00001646: PUSH1 0xa0
00001648: SHL
00001649: SUB
0000164a: SWAP1
0000164b: DUP2
0000164c: AND
0000164d: SWAP2
0000164e: AND
0000164f: EQ
00001650: PUSH2 0x166b
00001653: JUMPI
00001654: PUSH1 0x40
00001656: MLOAD
00001657: PUSH3 0x461bcd
0000165b: PUSH1 0xe5
0000165d: SHL
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x04
00001662: ADD
00001663: PUSH2 0x07df
00001666: SWAP1
00001667: PUSH2 0x26a9
0000166a: JUMP
0000166b: JUMPDEST
0000166c: PUSH1 0x03
0000166e: DUP1
0000166f: SLOAD
00001670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001685: NOT
00001686: AND
00001687: PUSH1 0x01
00001689: PUSH1 0x01
0000168b: PUSH1 0xa0
0000168d: SHL
0000168e: SUB
0000168f: SWAP3
00001690: SWAP1
00001691: SWAP3
00001692: AND
00001693: SWAP2
00001694: SWAP1
00001695: SWAP2
00001696: OR
00001697: SWAP1
00001698: SSTORE
00001699: JUMP
0000169a: JUMPDEST
0000169b: PUSH1 0x00
0000169d: DUP2
0000169e: PUSH2 0x16a6
000016a1: DUP2
000016a2: PUSH2 0x1476
000016a5: JUMP
000016a6: JUMPDEST
000016a7: PUSH2 0x16c2
000016aa: JUMPI
000016ab: PUSH1 0x40
000016ad: MLOAD
000016ae: PUSH3 0x461bcd
000016b2: PUSH1 0xe5
000016b4: SHL
000016b5: DUP2
000016b6: MSTORE
000016b7: PUSH1 0x04
000016b9: ADD
000016ba: PUSH2 0x07df
000016bd: SWAP1
000016be: PUSH2 0x26de
000016c1: JUMP
000016c2: JUMPDEST
000016c3: PUSH1 0x02
000016c5: SLOAD
000016c6: PUSH1 0x01
000016c8: SLOAD
000016c9: PUSH1 0x40
000016cb: MLOAD
000016cc: PUSH32 0x4b7a972900000000000000000000000000000000000000000000000000000000
000016ed: DUP2
000016ee: MSTORE
000016ef: PUSH1 0x01
000016f1: PUSH1 0x01
000016f3: PUSH1 0xa0
000016f5: SHL
000016f6: SUB
000016f7: SWAP3
000016f8: DUP4
000016f9: AND
000016fa: SWAP3
000016fb: SWAP1
000016fc: SWAP2
000016fd: AND
000016fe: SWAP1
000016ff: PUSH1 0x00
00001701: SWAP1
00001702: DUP4
00001703: SWAP1
00001704: PUSH4 0x4b7a9729
00001709: SWAP1
0000170a: PUSH2 0x1717
0000170d: SWAP1
0000170e: DUP10
0000170f: SWAP1
00001710: PUSH1 0x04
00001712: ADD
00001713: PUSH2 0x2715
00001716: JUMP
00001717: JUMPDEST
00001718: PUSH1 0x20
0000171a: PUSH1 0x40
0000171c: MLOAD
0000171d: DUP1
0000171e: DUP4
0000171f: SUB
00001720: DUP2
00001721: DUP7
00001722: DUP1
00001723: EXTCODESIZE
00001724: ISZERO
00001725: DUP1
00001726: ISZERO
00001727: PUSH2 0x172f
0000172a: JUMPI
0000172b: PUSH1 0x00
0000172d: DUP1
0000172e: REVERT
0000172f: JUMPDEST
00001730: POP
00001731: GAS
00001732: STATICCALL
00001733: ISZERO
00001734: DUP1
00001735: ISZERO
00001736: PUSH2 0x1743
00001739: JUMPI
0000173a: RETURNDATASIZE
0000173b: PUSH1 0x00
0000173d: DUP1
0000173e: RETURNDATACOPY
0000173f: RETURNDATASIZE
00001740: PUSH1 0x00
00001742: REVERT
00001743: JUMPDEST
00001744: POP
00001745: POP
00001746: POP
00001747: POP
00001748: PUSH1 0x40
0000174a: MLOAD
0000174b: RETURNDATASIZE
0000174c: PUSH1 0x1f
0000174e: NOT
0000174f: PUSH1 0x1f
00001751: DUP3
00001752: ADD
00001753: AND
00001754: DUP3
00001755: ADD
00001756: DUP1
00001757: PUSH1 0x40
00001759: MSTORE
0000175a: POP
0000175b: DUP2
0000175c: ADD
0000175d: SWAP1
0000175e: PUSH2 0x1767
00001761: SWAP2
00001762: SWAP1
00001763: PUSH2 0x23d9
00001766: JUMP
00001767: JUMPDEST
00001768: SWAP1
00001769: POP
0000176a: PUSH1 0x00
0000176c: DUP3
0000176d: PUSH1 0x01
0000176f: PUSH1 0x01
00001771: PUSH1 0xa0
00001773: SHL
00001774: SUB
00001775: AND
00001776: PUSH4 0xd7553e1a
0000177b: DUP9
0000177c: PUSH1 0x40
0000177e: MLOAD
0000177f: DUP3
00001780: PUSH4 0xffffffff
00001785: AND
00001786: PUSH1 0xe0
00001788: SHL
00001789: DUP2
0000178a: MSTORE
0000178b: PUSH1 0x04
0000178d: ADD
0000178e: PUSH2 0x1797
00001791: SWAP2
00001792: SWAP1
00001793: PUSH2 0x2715
00001796: JUMP
00001797: JUMPDEST
00001798: PUSH1 0x20
0000179a: PUSH1 0x40
0000179c: MLOAD
0000179d: DUP1
0000179e: DUP4
0000179f: SUB
000017a0: DUP2
000017a1: DUP7
000017a2: DUP1
000017a3: EXTCODESIZE
000017a4: ISZERO
000017a5: DUP1
000017a6: ISZERO
000017a7: PUSH2 0x17af
000017aa: JUMPI
000017ab: PUSH1 0x00
000017ad: DUP1
000017ae: REVERT
000017af: JUMPDEST
000017b0: POP
000017b1: GAS
000017b2: STATICCALL
000017b3: ISZERO
000017b4: DUP1
000017b5: ISZERO
000017b6: PUSH2 0x17c3
000017b9: JUMPI
000017ba: RETURNDATASIZE
000017bb: PUSH1 0x00
000017bd: DUP1
000017be: RETURNDATACOPY
000017bf: RETURNDATASIZE
000017c0: PUSH1 0x00
000017c2: REVERT
000017c3: JUMPDEST
000017c4: POP
000017c5: POP
000017c6: POP
000017c7: POP
000017c8: PUSH1 0x40
000017ca: MLOAD
000017cb: RETURNDATASIZE
000017cc: PUSH1 0x1f
000017ce: NOT
000017cf: PUSH1 0x1f
000017d1: DUP3
000017d2: ADD
000017d3: AND
000017d4: DUP3
000017d5: ADD
000017d6: DUP1
000017d7: PUSH1 0x40
000017d9: MSTORE
000017da: POP
000017db: DUP2
000017dc: ADD
000017dd: SWAP1
000017de: PUSH2 0x17e7
000017e1: SWAP2
000017e2: SWAP1
000017e3: PUSH2 0x23d9
000017e6: JUMP
000017e7: JUMPDEST
000017e8: SWAP2
000017e9: SWAP1
000017ea: SWAP2
000017eb: LT
000017ec: SWAP7
000017ed: SWAP6
000017ee: POP
000017ef: POP
000017f0: POP
000017f1: POP
000017f2: POP
000017f3: POP
000017f4: JUMP
000017f5: JUMPDEST
000017f6: PUSH1 0x01
000017f8: SLOAD
000017f9: PUSH1 0x40
000017fb: MLOAD
000017fc: PUSH4 0x31a9108f
00001801: PUSH1 0xe1
00001803: SHL
00001804: DUP2
00001805: MSTORE
00001806: DUP3
00001807: SWAP2
00001808: PUSH1 0x01
0000180a: PUSH1 0x01
0000180c: PUSH1 0xa0
0000180e: SHL
0000180f: SUB
00001810: AND
00001811: SWAP1
00001812: DUP2
00001813: SWAP1
00001814: PUSH4 0x6352211e
00001819: SWAP1
0000181a: PUSH2 0x1827
0000181d: SWAP1
0000181e: DUP6
0000181f: SWAP1
00001820: PUSH1 0x04
00001822: ADD
00001823: PUSH2 0x2715
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH1 0x20
0000182a: PUSH1 0x40
0000182c: MLOAD
0000182d: DUP1
0000182e: DUP4
0000182f: SUB
00001830: DUP2
00001831: DUP7
00001832: DUP1
00001833: EXTCODESIZE
00001834: ISZERO
00001835: DUP1
00001836: ISZERO
00001837: PUSH2 0x183f
0000183a: JUMPI
0000183b: PUSH1 0x00
0000183d: DUP1
0000183e: REVERT
0000183f: JUMPDEST
00001840: POP
00001841: GAS
00001842: STATICCALL
00001843: ISZERO
00001844: DUP1
00001845: ISZERO
00001846: PUSH2 0x1853
00001849: JUMPI
0000184a: RETURNDATASIZE
0000184b: PUSH1 0x00
0000184d: DUP1
0000184e: RETURNDATACOPY
0000184f: RETURNDATASIZE
00001850: PUSH1 0x00
00001852: REVERT
00001853: JUMPDEST
00001854: POP
00001855: POP
00001856: POP
00001857: POP
00001858: PUSH1 0x40
0000185a: MLOAD
0000185b: RETURNDATASIZE
0000185c: PUSH1 0x1f
0000185e: NOT
0000185f: PUSH1 0x1f
00001861: DUP3
00001862: ADD
00001863: AND
00001864: DUP3
00001865: ADD
00001866: DUP1
00001867: PUSH1 0x40
00001869: MSTORE
0000186a: POP
0000186b: DUP2
0000186c: ADD
0000186d: SWAP1
0000186e: PUSH2 0x1877
00001871: SWAP2
00001872: SWAP1
00001873: PUSH2 0x21b1
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH1 0x01
0000187a: PUSH1 0x01
0000187c: PUSH1 0xa0
0000187e: SHL
0000187f: SUB
00001880: AND
00001881: CALLER
00001882: PUSH1 0x01
00001884: PUSH1 0x01
00001886: PUSH1 0xa0
00001888: SHL
00001889: SUB
0000188a: AND
0000188b: EQ
0000188c: PUSH2 0x18a7
0000188f: JUMPI
00001890: PUSH1 0x40
00001892: MLOAD
00001893: PUSH3 0x461bcd
00001897: PUSH1 0xe5
00001899: SHL
0000189a: DUP2
0000189b: MSTORE
0000189c: PUSH1 0x04
0000189e: ADD
0000189f: PUSH2 0x07df
000018a2: SWAP1
000018a3: PUSH2 0x2513
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH1 0x08
000018aa: SLOAD
000018ab: CALLVALUE
000018ac: LT
000018ad: ISZERO
000018ae: PUSH2 0x18c9
000018b1: JUMPI
000018b2: PUSH1 0x40
000018b4: MLOAD
000018b5: PUSH3 0x461bcd
000018b9: PUSH1 0xe5
000018bb: SHL
000018bc: DUP2
000018bd: MSTORE
000018be: PUSH1 0x04
000018c0: ADD
000018c1: PUSH2 0x07df
000018c4: SWAP1
000018c5: PUSH2 0x2615
000018c8: JUMP
000018c9: JUMPDEST
000018ca: PUSH1 0x01
000018cc: SLOAD
000018cd: PUSH1 0x40
000018cf: MLOAD
000018d0: PUSH32 0xa0b3c92300000000000000000000000000000000000000000000000000000000
000018f1: DUP2
000018f2: MSTORE
000018f3: PUSH1 0x01
000018f5: PUSH1 0x01
000018f7: PUSH1 0xa0
000018f9: SHL
000018fa: SUB
000018fb: SWAP1
000018fc: SWAP2
000018fd: AND
000018fe: SWAP1
000018ff: PUSH1 0x00
00001901: SWAP1
00001902: DUP3
00001903: SWAP1
00001904: PUSH4 0xa0b3c923
00001909: SWAP1
0000190a: PUSH2 0x1917
0000190d: SWAP1
0000190e: DUP9
0000190f: SWAP1
00001910: PUSH1 0x04
00001912: ADD
00001913: PUSH2 0x2715
00001916: JUMP
00001917: JUMPDEST
00001918: PUSH1 0x20
0000191a: PUSH1 0x40
0000191c: MLOAD
0000191d: DUP1
0000191e: DUP4
0000191f: SUB
00001920: DUP2
00001921: DUP7
00001922: DUP1
00001923: EXTCODESIZE
00001924: ISZERO
00001925: DUP1
00001926: ISZERO
00001927: PUSH2 0x192f
0000192a: JUMPI
0000192b: PUSH1 0x00
0000192d: DUP1
0000192e: REVERT
0000192f: JUMPDEST
00001930: POP
00001931: GAS
00001932: STATICCALL
00001933: ISZERO
00001934: DUP1
00001935: ISZERO
00001936: PUSH2 0x1943
00001939: JUMPI
0000193a: RETURNDATASIZE
0000193b: PUSH1 0x00
0000193d: DUP1
0000193e: RETURNDATACOPY
0000193f: RETURNDATASIZE
00001940: PUSH1 0x00
00001942: REVERT
00001943: JUMPDEST
00001944: POP
00001945: POP
00001946: POP
00001947: POP
00001948: PUSH1 0x40
0000194a: MLOAD
0000194b: RETURNDATASIZE
0000194c: PUSH1 0x1f
0000194e: NOT
0000194f: PUSH1 0x1f
00001951: DUP3
00001952: ADD
00001953: AND
00001954: DUP3
00001955: ADD
00001956: DUP1
00001957: PUSH1 0x40
00001959: MSTORE
0000195a: POP
0000195b: DUP2
0000195c: ADD
0000195d: SWAP1
0000195e: PUSH2 0x1967
00001961: SWAP2
00001962: SWAP1
00001963: PUSH2 0x23d9
00001966: JUMP
00001967: JUMPDEST
00001968: SWAP1
00001969: POP
0000196a: PUSH1 0x00
0000196c: DUP3
0000196d: PUSH1 0x01
0000196f: PUSH1 0x01
00001971: PUSH1 0xa0
00001973: SHL
00001974: SUB
00001975: AND
00001976: PUSH4 0x977e5378
0000197b: DUP8
0000197c: PUSH1 0x40
0000197e: MLOAD
0000197f: DUP3
00001980: PUSH4 0xffffffff
00001985: AND
00001986: PUSH1 0xe0
00001988: SHL
00001989: DUP2
0000198a: MSTORE
0000198b: PUSH1 0x04
0000198d: ADD
0000198e: PUSH2 0x1997
00001991: SWAP2
00001992: SWAP1
00001993: PUSH2 0x2715
00001996: JUMP
00001997: JUMPDEST
00001998: PUSH1 0x20
0000199a: PUSH1 0x40
0000199c: MLOAD
0000199d: DUP1
0000199e: DUP4
0000199f: SUB
000019a0: DUP2
000019a1: DUP7
000019a2: DUP1
000019a3: EXTCODESIZE
000019a4: ISZERO
000019a5: DUP1
000019a6: ISZERO
000019a7: PUSH2 0x19af
000019aa: JUMPI
000019ab: PUSH1 0x00
000019ad: DUP1
000019ae: REVERT
000019af: JUMPDEST
000019b0: POP
000019b1: GAS
000019b2: STATICCALL
000019b3: ISZERO
000019b4: DUP1
000019b5: ISZERO
000019b6: PUSH2 0x19c3
000019b9: JUMPI
000019ba: RETURNDATASIZE
000019bb: PUSH1 0x00
000019bd: DUP1
000019be: RETURNDATACOPY
000019bf: RETURNDATASIZE
000019c0: PUSH1 0x00
000019c2: REVERT
000019c3: JUMPDEST
000019c4: POP
000019c5: POP
000019c6: POP
000019c7: POP
000019c8: PUSH1 0x40
000019ca: MLOAD
000019cb: RETURNDATASIZE
000019cc: PUSH1 0x1f
000019ce: NOT
000019cf: PUSH1 0x1f
000019d1: DUP3
000019d2: ADD
000019d3: AND
000019d4: DUP3
000019d5: ADD
000019d6: DUP1
000019d7: PUSH1 0x40
000019d9: MSTORE
000019da: POP
000019db: DUP2
000019dc: ADD
000019dd: SWAP1
000019de: PUSH2 0x19e7
000019e1: SWAP2
000019e2: SWAP1
000019e3: PUSH2 0x23d9
000019e6: JUMP
000019e7: JUMPDEST
000019e8: SWAP1
000019e9: POP
000019ea: PUSH1 0x00
000019ec: PUSH2 0x19f4
000019ef: DUP3
000019f0: PUSH2 0x08ec
000019f3: JUMP
000019f4: JUMPDEST
000019f5: SWAP1
000019f6: POP
000019f7: PUSH2 0x1a00
000019fa: DUP2
000019fb: DUP5
000019fc: PUSH2 0x2051
000019ff: JUMP
00001a00: JUMPDEST
00001a01: PUSH1 0x03
00001a03: SLOAD
00001a04: PUSH1 0x40
00001a06: MLOAD
00001a07: PUSH4 0x2f26a835
00001a0c: PUSH1 0xe1
00001a0e: SHL
00001a0f: DUP2
00001a10: MSTORE
00001a11: SWAP2
00001a12: SWAP3
00001a13: POP
00001a14: PUSH1 0x01
00001a16: PUSH1 0x01
00001a18: PUSH1 0xa0
00001a1a: SHL
00001a1b: SUB
00001a1c: AND
00001a1d: SWAP1
00001a1e: DUP2
00001a1f: SWAP1
00001a20: PUSH4 0x5e4d506a
00001a25: SWAP1
00001a26: PUSH2 0x1a35
00001a29: SWAP1
00001a2a: DUP7
00001a2b: SWAP1
00001a2c: DUP7
00001a2d: SWAP1
00001a2e: PUSH1 0x04
00001a30: ADD
00001a31: PUSH2 0x2737
00001a34: JUMP
00001a35: JUMPDEST
00001a36: PUSH1 0x00
00001a38: PUSH1 0x40
00001a3a: MLOAD
00001a3b: DUP1
00001a3c: DUP4
00001a3d: SUB
00001a3e: DUP2
00001a3f: PUSH1 0x00
00001a41: DUP8
00001a42: DUP1
00001a43: EXTCODESIZE
00001a44: ISZERO
00001a45: DUP1
00001a46: ISZERO
00001a47: PUSH2 0x1a4f
00001a4a: JUMPI
00001a4b: PUSH1 0x00
00001a4d: DUP1
00001a4e: REVERT
00001a4f: JUMPDEST
00001a50: POP
00001a51: GAS
00001a52: CALL
00001a53: ISZERO
00001a54: DUP1
00001a55: ISZERO
00001a56: PUSH2 0x1a63
00001a59: JUMPI
00001a5a: RETURNDATASIZE
00001a5b: PUSH1 0x00
00001a5d: DUP1
00001a5e: RETURNDATACOPY
00001a5f: RETURNDATASIZE
00001a60: PUSH1 0x00
00001a62: REVERT
00001a63: JUMPDEST
00001a64: POP
00001a65: POP
00001a66: PUSH1 0x40
00001a68: MLOAD
00001a69: PUSH32 0x7b47ec1a00000000000000000000000000000000000000000000000000000000
00001a8a: DUP2
00001a8b: MSTORE
00001a8c: PUSH1 0x01
00001a8e: PUSH1 0x01
00001a90: PUSH1 0xa0
00001a92: SHL
00001a93: SUB
00001a94: DUP9
00001a95: AND
00001a96: SWAP3
00001a97: POP
00001a98: PUSH4 0x7b47ec1a
00001a9d: SWAP2
00001a9e: POP
00001a9f: PUSH2 0x1aac
00001aa2: SWAP1
00001aa3: DUP12
00001aa4: SWAP1
00001aa5: PUSH1 0x04
00001aa7: ADD
00001aa8: PUSH2 0x2715
00001aab: JUMP
00001aac: JUMPDEST
00001aad: PUSH1 0x00
00001aaf: PUSH1 0x40
00001ab1: MLOAD
00001ab2: DUP1
00001ab3: DUP4
00001ab4: SUB
00001ab5: DUP2
00001ab6: PUSH1 0x00
00001ab8: DUP8
00001ab9: DUP1
00001aba: EXTCODESIZE
00001abb: ISZERO
00001abc: DUP1
00001abd: ISZERO
00001abe: PUSH2 0x1ac6
00001ac1: JUMPI
00001ac2: PUSH1 0x00
00001ac4: DUP1
00001ac5: REVERT
00001ac6: JUMPDEST
00001ac7: POP
00001ac8: GAS
00001ac9: CALL
00001aca: ISZERO
00001acb: DUP1
00001acc: ISZERO
00001acd: PUSH2 0x1ada
00001ad0: JUMPI
00001ad1: RETURNDATASIZE
00001ad2: PUSH1 0x00
00001ad4: DUP1
00001ad5: RETURNDATACOPY
00001ad6: RETURNDATASIZE
00001ad7: PUSH1 0x00
00001ad9: REVERT
00001ada: JUMPDEST
00001adb: POP
00001adc: POP
00001add: PUSH1 0x0a
00001adf: SLOAD
00001ae0: PUSH2 0x1aec
00001ae3: SWAP3
00001ae4: POP
00001ae5: SWAP1
00001ae6: POP
00001ae7: CALLVALUE
00001ae8: PUSH2 0x2093
00001aeb: JUMP
00001aec: JUMPDEST
00001aed: PUSH1 0x0a
00001aef: SSTORE
00001af0: PUSH1 0x40
00001af2: MLOAD
00001af3: DUP9
00001af4: SWAP1
00001af5: CALLER
00001af6: SWAP1
00001af7: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
00001b18: SWAP1
00001b19: PUSH1 0x00
00001b1b: SWAP1
00001b1c: LOG3
00001b1d: POP
00001b1e: POP
00001b1f: POP
00001b20: POP
00001b21: POP
00001b22: POP
00001b23: POP
00001b24: POP
00001b25: JUMP
00001b26: JUMPDEST
00001b27: PUSH1 0x02
00001b29: SLOAD
00001b2a: PUSH1 0x40
00001b2c: MLOAD
00001b2d: PUSH32 0xb0e7348d00000000000000000000000000000000000000000000000000000000
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x00
00001b52: SWAP2
00001b53: PUSH1 0x01
00001b55: PUSH1 0x01
00001b57: PUSH1 0xa0
00001b59: SHL
00001b5a: SUB
00001b5b: AND
00001b5c: SWAP1
00001b5d: DUP3
00001b5e: SWAP1
00001b5f: DUP3
00001b60: SWAP1
00001b61: PUSH4 0xb0e7348d
00001b66: SWAP1
00001b67: PUSH2 0x1b74
00001b6a: SWAP1
00001b6b: DUP8
00001b6c: SWAP1
00001b6d: PUSH1 0x04
00001b6f: ADD
00001b70: PUSH2 0x2715
00001b73: JUMP
00001b74: JUMPDEST
00001b75: PUSH1 0x20
00001b77: PUSH1 0x40
00001b79: MLOAD
00001b7a: DUP1
00001b7b: DUP4
00001b7c: SUB
00001b7d: DUP2
00001b7e: DUP7
00001b7f: DUP1
00001b80: EXTCODESIZE
00001b81: ISZERO
00001b82: DUP1
00001b83: ISZERO
00001b84: PUSH2 0x1b8c
00001b87: JUMPI
00001b88: PUSH1 0x00
00001b8a: DUP1
00001b8b: REVERT
00001b8c: JUMPDEST
00001b8d: POP
00001b8e: GAS
00001b8f: STATICCALL
00001b90: ISZERO
00001b91: DUP1
00001b92: ISZERO
00001b93: PUSH2 0x1ba0
00001b96: JUMPI
00001b97: RETURNDATASIZE
00001b98: PUSH1 0x00
00001b9a: DUP1
00001b9b: RETURNDATACOPY
00001b9c: RETURNDATASIZE
00001b9d: PUSH1 0x00
00001b9f: REVERT
00001ba0: JUMPDEST
00001ba1: POP
00001ba2: POP
00001ba3: POP
00001ba4: POP
00001ba5: PUSH1 0x40
00001ba7: MLOAD
00001ba8: RETURNDATASIZE
00001ba9: PUSH1 0x1f
00001bab: NOT
00001bac: PUSH1 0x1f
00001bae: DUP3
00001baf: ADD
00001bb0: AND
00001bb1: DUP3
00001bb2: ADD
00001bb3: DUP1
00001bb4: PUSH1 0x40
00001bb6: MSTORE
00001bb7: POP
00001bb8: DUP2
00001bb9: ADD
00001bba: SWAP1
00001bbb: PUSH2 0x1bc4
00001bbe: SWAP2
00001bbf: SWAP1
00001bc0: PUSH2 0x23d9
00001bc3: JUMP
00001bc4: JUMPDEST
00001bc5: PUSH1 0x04
00001bc7: SLOAD
00001bc8: SWAP1
00001bc9: SWAP2
00001bca: POP
00001bcb: PUSH1 0x00
00001bcd: PUSH2 0x1bd5
00001bd0: DUP8
00001bd1: PUSH2 0x08ec
00001bd4: JUMP
00001bd5: JUMPDEST
00001bd6: SWAP1
00001bd7: POP
00001bd8: DUP1
00001bd9: ISZERO
00001bda: PUSH2 0x1bee
00001bdd: JUMPI
00001bde: PUSH2 0x1be7
00001be1: DUP3
00001be2: DUP3
00001be3: PUSH2 0x2093
00001be6: JUMP
00001be7: JUMPDEST
00001be8: SWAP2
00001be9: POP
00001bea: PUSH2 0x1c65
00001bed: JUMP
00001bee: JUMPDEST
00001bef: NUMBER
00001bf0: DUP8
00001bf1: LT
00001bf2: PUSH2 0x1c03
00001bf5: JUMPI
00001bf6: PUSH1 0x05
00001bf8: SLOAD
00001bf9: PUSH2 0x1be7
00001bfc: SWAP1
00001bfd: DUP4
00001bfe: SWAP1
00001bff: PUSH2 0x2093
00001c02: JUMP
00001c03: JUMPDEST
00001c04: NUMBER
00001c05: PUSH2 0x1c19
00001c08: PUSH1 0x09
00001c0a: SLOAD
00001c0b: DUP10
00001c0c: PUSH2 0x2093
00001c0f: SWAP1
00001c10: SWAP2
00001c11: SWAP1
00001c12: PUSH4 0xffffffff
00001c17: AND
00001c18: JUMP
00001c19: JUMPDEST
00001c1a: LT
00001c1b: PUSH2 0x1c65
00001c1e: JUMPI
00001c1f: PUSH1 0x00
00001c21: DUP8
00001c22: NUMBER
00001c23: SUB
00001c24: SWAP1
00001c25: POP
00001c26: PUSH1 0x00
00001c28: PUSH2 0x1c54
00001c2b: PUSH2 0x1c4b
00001c2e: PUSH2 0x1c44
00001c31: PUSH1 0x09
00001c33: SLOAD
00001c34: PUSH1 0x05
00001c36: SLOAD
00001c37: PUSH2 0x1fd5
00001c3a: SWAP1
00001c3b: SWAP2
00001c3c: SWAP1
00001c3d: PUSH4 0xffffffff
00001c42: AND
00001c43: JUMP
00001c44: JUMPDEST
00001c45: DUP5
00001c46: SWAP1
00001c47: PUSH2 0x2017
00001c4a: JUMP
00001c4b: JUMPDEST
00001c4c: PUSH1 0x05
00001c4e: SLOAD
00001c4f: SWAP1
00001c50: PUSH2 0x2051
00001c53: JUMP
00001c54: JUMPDEST
00001c55: SWAP1
00001c56: POP
00001c57: PUSH2 0x1c60
00001c5a: DUP5
00001c5b: DUP3
00001c5c: PUSH2 0x2093
00001c5f: JUMP
00001c60: JUMPDEST
00001c61: SWAP4
00001c62: POP
00001c63: POP
00001c64: POP
00001c65: JUMPDEST
00001c66: PUSH1 0x00
00001c68: PUSH2 0x1d02
00001c6b: DUP4
00001c6c: PUSH2 0x1cfc
00001c6f: PUSH1 0x64
00001c71: PUSH2 0x1cf6
00001c74: DUP10
00001c75: PUSH1 0x01
00001c77: PUSH1 0x01
00001c79: PUSH1 0xa0
00001c7b: SHL
00001c7c: SUB
00001c7d: AND
00001c7e: PUSH4 0x16e510cc
00001c83: DUP14
00001c84: PUSH1 0x40
00001c86: MLOAD
00001c87: DUP3
00001c88: PUSH4 0xffffffff
00001c8d: AND
00001c8e: PUSH1 0xe0
00001c90: SHL
00001c91: DUP2
00001c92: MSTORE
00001c93: PUSH1 0x04
00001c95: ADD
00001c96: PUSH2 0x1c9f
00001c99: SWAP2
00001c9a: SWAP1
00001c9b: PUSH2 0x2715
00001c9e: JUMP
00001c9f: JUMPDEST
00001ca0: PUSH1 0x20
00001ca2: PUSH1 0x40
00001ca4: MLOAD
00001ca5: DUP1
00001ca6: DUP4
00001ca7: SUB
00001ca8: DUP2
00001ca9: DUP7
00001caa: DUP1
00001cab: EXTCODESIZE
00001cac: ISZERO
00001cad: DUP1
00001cae: ISZERO
00001caf: PUSH2 0x1cb7
00001cb2: JUMPI
00001cb3: PUSH1 0x00
00001cb5: DUP1
00001cb6: REVERT
00001cb7: JUMPDEST
00001cb8: POP
00001cb9: GAS
00001cba: STATICCALL
00001cbb: ISZERO
00001cbc: DUP1
00001cbd: ISZERO
00001cbe: PUSH2 0x1ccb
00001cc1: JUMPI
00001cc2: RETURNDATASIZE
00001cc3: PUSH1 0x00
00001cc5: DUP1
00001cc6: RETURNDATACOPY
00001cc7: RETURNDATASIZE
00001cc8: PUSH1 0x00
00001cca: REVERT
00001ccb: JUMPDEST
00001ccc: POP
00001ccd: POP
00001cce: POP
00001ccf: POP
00001cd0: PUSH1 0x40
00001cd2: MLOAD
00001cd3: RETURNDATASIZE
00001cd4: PUSH1 0x1f
00001cd6: NOT
00001cd7: PUSH1 0x1f
00001cd9: DUP3
00001cda: ADD
00001cdb: AND
00001cdc: DUP3
00001cdd: ADD
00001cde: DUP1
00001cdf: PUSH1 0x40
00001ce1: MSTORE
00001ce2: POP
00001ce3: DUP2
00001ce4: ADD
00001ce5: SWAP1
00001ce6: PUSH2 0x1cef
00001ce9: SWAP2
00001cea: SWAP1
00001ceb: PUSH2 0x23d9
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: DUP9
00001cf1: SWAP1
00001cf2: PUSH2 0x2017
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: SWAP1
00001cf8: PUSH2 0x1fd5
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: SWAP1
00001cfe: PUSH2 0x2051
00001d01: JUMP
00001d02: JUMPDEST
00001d03: SWAP1
00001d04: POP
00001d05: DUP4
00001d06: DUP2
00001d07: LT
00001d08: PUSH2 0x1d21
00001d0b: JUMPI
00001d0c: PUSH2 0x1d15
00001d0f: DUP4
00001d10: DUP3
00001d11: PUSH2 0x2093
00001d14: JUMP
00001d15: JUMPDEST
00001d16: SWAP6
00001d17: POP
00001d18: POP
00001d19: POP
00001d1a: POP
00001d1b: POP
00001d1c: POP
00001d1d: PUSH2 0x1d2b
00001d20: JUMP
00001d21: JUMPDEST
00001d22: PUSH2 0x1d15
00001d25: DUP4
00001d26: DUP6
00001d27: PUSH2 0x2093
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: SWAP3
00001d2d: SWAP2
00001d2e: POP
00001d2f: POP
00001d30: JUMP
00001d31: JUMPDEST
00001d32: PUSH2 0x1d39
00001d35: PUSH2 0x1fd1
00001d38: JUMP
00001d39: JUMPDEST
00001d3a: PUSH1 0x00
00001d3c: SLOAD
00001d3d: PUSH1 0x01
00001d3f: PUSH1 0x01
00001d41: PUSH1 0xa0
00001d43: SHL
00001d44: SUB
00001d45: SWAP1
00001d46: DUP2
00001d47: AND
00001d48: SWAP2
00001d49: AND
00001d4a: EQ
00001d4b: PUSH2 0x1d66
00001d4e: JUMPI
00001d4f: PUSH1 0x40
00001d51: MLOAD
00001d52: PUSH3 0x461bcd
00001d56: PUSH1 0xe5
00001d58: SHL
00001d59: DUP2
00001d5a: MSTORE
00001d5b: PUSH1 0x04
00001d5d: ADD
00001d5e: PUSH2 0x07df
00001d61: SWAP1
00001d62: PUSH2 0x26a9
00001d65: JUMP
00001d66: JUMPDEST
00001d67: PUSH1 0x03
00001d69: SLOAD
00001d6a: PUSH1 0x40
00001d6c: MLOAD
00001d6d: PUSH32 0xd511519700000000000000000000000000000000000000000000000000000000
00001d8e: DUP2
00001d8f: MSTORE
00001d90: PUSH1 0x01
00001d92: PUSH1 0x01
00001d94: PUSH1 0xa0
00001d96: SHL
00001d97: SUB
00001d98: SWAP1
00001d99: SWAP2
00001d9a: AND
00001d9b: SWAP1
00001d9c: DUP2
00001d9d: SWAP1
00001d9e: PUSH4 0xd5115197
00001da3: SWAP1
00001da4: PUSH2 0x1db1
00001da7: SWAP1
00001da8: DUP6
00001da9: SWAP1
00001daa: PUSH1 0x04
00001dac: ADD
00001dad: PUSH2 0x2715
00001db0: JUMP
00001db1: JUMPDEST
00001db2: PUSH1 0x00
00001db4: PUSH1 0x40
00001db6: MLOAD
00001db7: DUP1
00001db8: DUP4
00001db9: SUB
00001dba: DUP2
00001dbb: PUSH1 0x00
00001dbd: DUP8
00001dbe: DUP1
00001dbf: EXTCODESIZE
00001dc0: ISZERO
00001dc1: DUP1
00001dc2: ISZERO
00001dc3: PUSH2 0x1dcb
00001dc6: JUMPI
00001dc7: PUSH1 0x00
00001dc9: DUP1
00001dca: REVERT
00001dcb: JUMPDEST
00001dcc: POP
00001dcd: GAS
00001dce: CALL
00001dcf: ISZERO
00001dd0: DUP1
00001dd1: ISZERO
00001dd2: PUSH2 0x1ddf
00001dd5: JUMPI
00001dd6: RETURNDATASIZE
00001dd7: PUSH1 0x00
00001dd9: DUP1
00001dda: RETURNDATACOPY
00001ddb: RETURNDATASIZE
00001ddc: PUSH1 0x00
00001dde: REVERT
00001ddf: JUMPDEST
00001de0: POP
00001de1: POP
00001de2: PUSH1 0x40
00001de4: MLOAD
00001de5: DUP5
00001de6: SWAP3
00001de7: POP
00001de8: PUSH32 0x0fbf9d62c56adf188a275d5f7a102eef44f9a934c1625f86996a96f005efa9cf
00001e09: SWAP2
00001e0a: POP
00001e0b: PUSH1 0x00
00001e0d: SWAP1
00001e0e: LOG2
00001e0f: POP
00001e10: POP
00001e11: JUMP
00001e12: JUMPDEST
00001e13: PUSH2 0x1e1a
00001e16: PUSH2 0x1fd1
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: PUSH1 0x00
00001e1d: SLOAD
00001e1e: PUSH1 0x01
00001e20: PUSH1 0x01
00001e22: PUSH1 0xa0
00001e24: SHL
00001e25: SUB
00001e26: SWAP1
00001e27: DUP2
00001e28: AND
00001e29: SWAP2
00001e2a: AND
00001e2b: EQ
00001e2c: PUSH2 0x1e47
00001e2f: JUMPI
00001e30: PUSH1 0x40
00001e32: MLOAD
00001e33: PUSH3 0x461bcd
00001e37: PUSH1 0xe5
00001e39: SHL
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: PUSH1 0x04
00001e3e: ADD
00001e3f: PUSH2 0x07df
00001e42: SWAP1
00001e43: PUSH2 0x26a9
00001e46: JUMP
00001e47: JUMPDEST
00001e48: PUSH1 0x03
00001e4a: SLOAD
00001e4b: PUSH1 0x40
00001e4d: MLOAD
00001e4e: PUSH4 0xf2fde38b
00001e53: PUSH1 0xe0
00001e55: SHL
00001e56: DUP2
00001e57: MSTORE
00001e58: PUSH1 0x01
00001e5a: PUSH1 0x01
00001e5c: PUSH1 0xa0
00001e5e: SHL
00001e5f: SUB
00001e60: SWAP1
00001e61: SWAP2
00001e62: AND
00001e63: SWAP1
00001e64: DUP2
00001e65: SWAP1
00001e66: PUSH4 0xf2fde38b
00001e6b: SWAP1
00001e6c: PUSH2 0x0e7d
00001e6f: SWAP1
00001e70: DUP6
00001e71: SWAP1
00001e72: PUSH1 0x04
00001e74: ADD
00001e75: PUSH2 0x24a2
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: PUSH2 0x1e81
00001e7d: PUSH2 0x1fd1
00001e80: JUMP
00001e81: JUMPDEST
00001e82: PUSH1 0x00
00001e84: SLOAD
00001e85: PUSH1 0x01
00001e87: PUSH1 0x01
00001e89: PUSH1 0xa0
00001e8b: SHL
00001e8c: SUB
00001e8d: SWAP1
00001e8e: DUP2
00001e8f: AND
00001e90: SWAP2
00001e91: AND
00001e92: EQ
00001e93: PUSH2 0x1eae
00001e96: JUMPI
00001e97: PUSH1 0x40
00001e99: MLOAD
00001e9a: PUSH3 0x461bcd
00001e9e: PUSH1 0xe5
00001ea0: SHL
00001ea1: DUP2
00001ea2: MSTORE
00001ea3: PUSH1 0x04
00001ea5: ADD
00001ea6: PUSH2 0x07df
00001ea9: SWAP1
00001eaa: PUSH2 0x26a9
00001ead: JUMP
00001eae: JUMPDEST
00001eaf: PUSH1 0x01
00001eb1: PUSH1 0x01
00001eb3: PUSH1 0xa0
00001eb5: SHL
00001eb6: SUB
00001eb7: DUP2
00001eb8: AND
00001eb9: PUSH2 0x1ed4
00001ebc: JUMPI
00001ebd: PUSH1 0x40
00001ebf: MLOAD
00001ec0: PUSH3 0x461bcd
00001ec4: PUSH1 0xe5
00001ec6: SHL
00001ec7: DUP2
00001ec8: MSTORE
00001ec9: PUSH1 0x04
00001ecb: ADD
00001ecc: PUSH2 0x07df
00001ecf: SWAP1
00001ed0: PUSH2 0x254a
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: PUSH1 0x00
00001ed7: DUP1
00001ed8: SLOAD
00001ed9: PUSH1 0x40
00001edb: MLOAD
00001edc: PUSH1 0x01
00001ede: PUSH1 0x01
00001ee0: PUSH1 0xa0
00001ee2: SHL
00001ee3: SUB
00001ee4: DUP1
00001ee5: DUP6
00001ee6: AND
00001ee7: SWAP4
00001ee8: SWAP3
00001ee9: AND
00001eea: SWAP2
00001eeb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001f0c: SWAP2
00001f0d: LOG3
00001f0e: PUSH1 0x00
00001f10: DUP1
00001f11: SLOAD
00001f12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f27: NOT
00001f28: AND
00001f29: PUSH1 0x01
00001f2b: PUSH1 0x01
00001f2d: PUSH1 0xa0
00001f2f: SHL
00001f30: SUB
00001f31: SWAP3
00001f32: SWAP1
00001f33: SWAP3
00001f34: AND
00001f35: SWAP2
00001f36: SWAP1
00001f37: SWAP2
00001f38: OR
00001f39: SWAP1
00001f3a: SSTORE
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: PUSH2 0x1f44
00001f40: PUSH2 0x1fd1
00001f43: JUMP
00001f44: JUMPDEST
00001f45: PUSH1 0x00
00001f47: SLOAD
00001f48: PUSH1 0x01
00001f4a: PUSH1 0x01
00001f4c: PUSH1 0xa0
00001f4e: SHL
00001f4f: SUB
00001f50: SWAP1
00001f51: DUP2
00001f52: AND
00001f53: SWAP2
00001f54: AND
00001f55: EQ
00001f56: PUSH2 0x1f71
00001f59: JUMPI
00001f5a: PUSH1 0x40
00001f5c: MLOAD
00001f5d: PUSH3 0x461bcd
00001f61: PUSH1 0xe5
00001f63: SHL
00001f64: DUP2
00001f65: MSTORE
00001f66: PUSH1 0x04
00001f68: ADD
00001f69: PUSH2 0x07df
00001f6c: SWAP1
00001f6d: PUSH2 0x26a9
00001f70: JUMP
00001f71: JUMPDEST
00001f72: PUSH1 0x01
00001f74: SLOAD
00001f75: PUSH1 0x40
00001f77: MLOAD
00001f78: PUSH32 0x938e3d7b00000000000000000000000000000000000000000000000000000000
00001f99: DUP2
00001f9a: MSTORE
00001f9b: PUSH1 0x01
00001f9d: PUSH1 0x01
00001f9f: PUSH1 0xa0
00001fa1: SHL
00001fa2: SUB
00001fa3: SWAP1
00001fa4: SWAP2
00001fa5: AND
00001fa6: SWAP1
00001fa7: DUP2
00001fa8: SWAP1
00001fa9: PUSH4 0x938e3d7b
00001fae: SWAP1
00001faf: PUSH2 0x0e7d
00001fb2: SWAP1
00001fb3: DUP6
00001fb4: SWAP1
00001fb5: PUSH1 0x04
00001fb7: ADD
00001fb8: PUSH2 0x2500
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH1 0x03
00001fbf: SLOAD
00001fc0: PUSH1 0x01
00001fc2: PUSH1 0x01
00001fc4: PUSH1 0xa0
00001fc6: SHL
00001fc7: SUB
00001fc8: AND
00001fc9: DUP2
00001fca: JUMP
00001fcb: JUMPDEST
00001fcc: PUSH1 0x08
00001fce: SLOAD
00001fcf: DUP2
00001fd0: JUMP
00001fd1: JUMPDEST
00001fd2: CALLER
00001fd3: SWAP1
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH1 0x00
00001fd8: PUSH2 0x0988
00001fdb: DUP4
00001fdc: DUP4
00001fdd: PUSH1 0x40
00001fdf: MLOAD
00001fe0: DUP1
00001fe1: PUSH1 0x40
00001fe3: ADD
00001fe4: PUSH1 0x40
00001fe6: MSTORE
00001fe7: DUP1
00001fe8: PUSH1 0x1a
00001fea: DUP2
00001feb: MSTORE
00001fec: PUSH1 0x20
00001fee: ADD
00001fef: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002010: DUP2
00002011: MSTORE
00002012: POP
00002013: PUSH2 0x20b8
00002016: JUMP
00002017: JUMPDEST
00002018: PUSH1 0x00
0000201a: DUP3
0000201b: PUSH2 0x2026
0000201e: JUMPI
0000201f: POP
00002020: PUSH1 0x00
00002022: PUSH2 0x1d2b
00002025: JUMP
00002026: JUMPDEST
00002027: DUP3
00002028: DUP3
00002029: MUL
0000202a: DUP3
0000202b: DUP5
0000202c: DUP3
0000202d: DUP2
0000202e: PUSH2 0x2033
00002031: JUMPI
00002032: INVALID
00002033: JUMPDEST
00002034: DIV
00002035: EQ
00002036: PUSH2 0x0988
00002039: JUMPI
0000203a: PUSH1 0x40
0000203c: MLOAD
0000203d: PUSH3 0x461bcd
00002041: PUSH1 0xe5
00002043: SHL
00002044: DUP2
00002045: MSTORE
00002046: PUSH1 0x04
00002048: ADD
00002049: PUSH2 0x07df
0000204c: SWAP1
0000204d: PUSH2 0x264c
00002050: JUMP
00002051: JUMPDEST
00002052: PUSH1 0x00
00002054: PUSH2 0x0988
00002057: DUP4
00002058: DUP4
00002059: PUSH1 0x40
0000205b: MLOAD
0000205c: DUP1
0000205d: PUSH1 0x40
0000205f: ADD
00002060: PUSH1 0x40
00002062: MSTORE
00002063: DUP1
00002064: PUSH1 0x1e
00002066: DUP2
00002067: MSTORE
00002068: PUSH1 0x20
0000206a: ADD
0000206b: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000208c: DUP2
0000208d: MSTORE
0000208e: POP
0000208f: PUSH2 0x20ef
00002092: JUMP
00002093: JUMPDEST
00002094: PUSH1 0x00
00002096: DUP3
00002097: DUP3
00002098: ADD
00002099: DUP4
0000209a: DUP2
0000209b: LT
0000209c: ISZERO
0000209d: PUSH2 0x0988
000020a0: JUMPI
000020a1: PUSH1 0x40
000020a3: MLOAD
000020a4: PUSH3 0x461bcd
000020a8: PUSH1 0xe5
000020aa: SHL
000020ab: DUP2
000020ac: MSTORE
000020ad: PUSH1 0x04
000020af: ADD
000020b0: PUSH2 0x07df
000020b3: SWAP1
000020b4: PUSH2 0x25a7
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH1 0x00
000020bb: DUP2
000020bc: DUP4
000020bd: PUSH2 0x20d9
000020c0: JUMPI
000020c1: PUSH1 0x40
000020c3: MLOAD
000020c4: PUSH3 0x461bcd
000020c8: PUSH1 0xe5
000020ca: SHL
000020cb: DUP2
000020cc: MSTORE
000020cd: PUSH1 0x04
000020cf: ADD
000020d0: PUSH2 0x07df
000020d3: SWAP2
000020d4: SWAP1
000020d5: PUSH2 0x2500
000020d8: JUMP
000020d9: JUMPDEST
000020da: POP
000020db: PUSH1 0x00
000020dd: DUP4
000020de: DUP6
000020df: DUP2
000020e0: PUSH2 0x20e5
000020e3: JUMPI
000020e4: INVALID
000020e5: JUMPDEST
000020e6: DIV
000020e7: SWAP6
000020e8: SWAP5
000020e9: POP
000020ea: POP
000020eb: POP
000020ec: POP
000020ed: POP
000020ee: JUMP
000020ef: JUMPDEST
000020f0: PUSH1 0x00
000020f2: DUP2
000020f3: DUP5
000020f4: DUP5
000020f5: GT
000020f6: ISZERO
000020f7: PUSH2 0x2113
000020fa: JUMPI
000020fb: PUSH1 0x40
000020fd: MLOAD
000020fe: PUSH3 0x461bcd
00002102: PUSH1 0xe5
00002104: SHL
00002105: DUP2
00002106: MSTORE
00002107: PUSH1 0x04
00002109: ADD
0000210a: PUSH2 0x07df
0000210d: SWAP2
0000210e: SWAP1
0000210f: PUSH2 0x2500
00002112: JUMP
00002113: JUMPDEST
00002114: POP
00002115: POP
00002116: POP
00002117: SWAP1
00002118: SUB
00002119: SWAP1
0000211a: JUMP
0000211b: JUMPDEST
0000211c: PUSH1 0x00
0000211e: DUP3
0000211f: PUSH1 0x1f
00002121: DUP4
00002122: ADD
00002123: SLT
00002124: PUSH2 0x212b
00002127: JUMPI
00002128: DUP1
00002129: DUP2
0000212a: REVERT
0000212b: JUMPDEST
0000212c: DUP2
0000212d: CALLDATALOAD
0000212e: PUSH8 0xffffffffffffffff
00002137: DUP1
00002138: DUP3
00002139: GT
0000213a: ISZERO
0000213b: PUSH2 0x2140
0000213e: JUMPI
0000213f: INVALID
00002140: JUMPDEST
00002141: PUSH1 0x40
00002143: MLOAD
00002144: PUSH1 0x1f
00002146: DUP4
00002147: ADD
00002148: PUSH1 0x1f
0000214a: NOT
0000214b: AND
0000214c: DUP2
0000214d: ADD
0000214e: PUSH1 0x20
00002150: ADD
00002151: DUP3
00002152: DUP2
00002153: GT
00002154: DUP3
00002155: DUP3
00002156: LT
00002157: OR
00002158: ISZERO
00002159: PUSH2 0x215e
0000215c: JUMPI
0000215d: INVALID
0000215e: JUMPDEST
0000215f: PUSH1 0x40
00002161: MSTORE
00002162: DUP3
00002163: DUP2
00002164: MSTORE
00002165: SWAP3
00002166: POP
00002167: DUP3
00002168: DUP5
00002169: DUP4
0000216a: ADD
0000216b: PUSH1 0x20
0000216d: ADD
0000216e: DUP7
0000216f: LT
00002170: ISZERO
00002171: PUSH2 0x2179
00002174: JUMPI
00002175: PUSH1 0x00
00002177: DUP1
00002178: REVERT
00002179: JUMPDEST
0000217a: DUP3
0000217b: PUSH1 0x20
0000217d: DUP7
0000217e: ADD
0000217f: PUSH1 0x20
00002181: DUP4
00002182: ADD
00002183: CALLDATACOPY
00002184: PUSH1 0x00
00002186: PUSH1 0x20
00002188: DUP5
00002189: DUP4
0000218a: ADD
0000218b: ADD
0000218c: MSTORE
0000218d: POP
0000218e: POP
0000218f: POP
00002190: SWAP3
00002191: SWAP2
00002192: POP
00002193: POP
00002194: JUMP
00002195: JUMPDEST
00002196: PUSH1 0x00
00002198: PUSH1 0x20
0000219a: DUP3
0000219b: DUP5
0000219c: SUB
0000219d: SLT
0000219e: ISZERO
0000219f: PUSH2 0x21a6
000021a2: JUMPI
000021a3: DUP1
000021a4: DUP2
000021a5: REVERT
000021a6: JUMPDEST
000021a7: DUP2
000021a8: CALLDATALOAD
000021a9: PUSH2 0x0988
000021ac: DUP2
000021ad: PUSH2 0x2745
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH1 0x00
000021b4: PUSH1 0x20
000021b6: DUP3
000021b7: DUP5
000021b8: SUB
000021b9: SLT
000021ba: ISZERO
000021bb: PUSH2 0x21c2
000021be: JUMPI
000021bf: DUP1
000021c0: DUP2
000021c1: REVERT
000021c2: JUMPDEST
000021c3: DUP2
000021c4: MLOAD
000021c5: PUSH2 0x0988
000021c8: DUP2
000021c9: PUSH2 0x2745
000021cc: JUMP
000021cd: JUMPDEST
000021ce: PUSH1 0x00
000021d0: DUP1
000021d1: PUSH1 0x00
000021d3: DUP1
000021d4: PUSH1 0x80
000021d6: DUP6
000021d7: DUP8
000021d8: SUB
000021d9: SLT
000021da: ISZERO
000021db: PUSH2 0x21e2
000021de: JUMPI
000021df: DUP3
000021e0: DUP4
000021e1: REVERT
000021e2: JUMPDEST
000021e3: DUP5
000021e4: CALLDATALOAD
000021e5: PUSH2 0x21ed
000021e8: DUP2
000021e9: PUSH2 0x2745
000021ec: JUMP
000021ed: JUMPDEST
000021ee: SWAP4
000021ef: POP
000021f0: PUSH1 0x20
000021f2: DUP6
000021f3: ADD
000021f4: CALLDATALOAD
000021f5: SWAP3
000021f6: POP
000021f7: PUSH1 0x40
000021f9: DUP6
000021fa: ADD
000021fb: CALLDATALOAD
000021fc: SWAP2
000021fd: POP
000021fe: PUSH1 0x60
00002200: DUP6
00002201: ADD
00002202: CALLDATALOAD
00002203: PUSH8 0xffffffffffffffff
0000220c: DUP2
0000220d: GT
0000220e: ISZERO
0000220f: PUSH2 0x2216
00002212: JUMPI
00002213: DUP2
00002214: DUP3
00002215: REVERT
00002216: JUMPDEST
00002217: PUSH2 0x2222
0000221a: DUP8
0000221b: DUP3
0000221c: DUP9
0000221d: ADD
0000221e: PUSH2 0x211b
00002221: JUMP
00002222: JUMPDEST
00002223: SWAP2
00002224: POP
00002225: POP
00002226: SWAP3
00002227: SWAP6
00002228: SWAP2
00002229: SWAP5
0000222a: POP
0000222b: SWAP3
0000222c: POP
0000222d: JUMP
0000222e: JUMPDEST
0000222f: PUSH1 0x00
00002231: DUP1
00002232: PUSH1 0x00
00002234: DUP1
00002235: PUSH1 0x00
00002237: PUSH1 0xa0
00002239: DUP7
0000223a: DUP9
0000223b: SUB
0000223c: SLT
0000223d: ISZERO
0000223e: PUSH2 0x2245
00002241: JUMPI
00002242: DUP1
00002243: DUP2
00002244: REVERT
00002245: JUMPDEST
00002246: DUP6
00002247: CALLDATALOAD
00002248: PUSH2 0x2250
0000224b: DUP2
0000224c: PUSH2 0x2745
0000224f: JUMP
00002250: JUMPDEST
00002251: SWAP5
00002252: POP
00002253: PUSH1 0x20
00002255: DUP7
00002256: ADD
00002257: CALLDATALOAD
00002258: SWAP4
00002259: POP
0000225a: PUSH1 0x40
0000225c: DUP7
0000225d: ADD
0000225e: CALLDATALOAD
0000225f: SWAP3
00002260: POP
00002261: PUSH1 0x60
00002263: DUP7
00002264: ADD
00002265: CALLDATALOAD
00002266: SWAP2
00002267: POP
00002268: PUSH1 0x80
0000226a: DUP7
0000226b: ADD
0000226c: CALLDATALOAD
0000226d: PUSH8 0xffffffffffffffff
00002276: DUP2
00002277: GT
00002278: ISZERO
00002279: PUSH2 0x2280
0000227c: JUMPI
0000227d: DUP2
0000227e: DUP3
0000227f: REVERT
00002280: JUMPDEST
00002281: PUSH2 0x228c
00002284: DUP9
00002285: DUP3
00002286: DUP10
00002287: ADD
00002288: PUSH2 0x211b
0000228b: JUMP
0000228c: JUMPDEST
0000228d: SWAP2
0000228e: POP
0000228f: POP
00002290: SWAP3
00002291: SWAP6
00002292: POP
00002293: SWAP3
00002294: SWAP6
00002295: SWAP1
00002296: SWAP4
00002297: POP
00002298: JUMP
00002299: JUMPDEST
0000229a: PUSH1 0x00
0000229c: DUP1
0000229d: PUSH1 0x20
0000229f: DUP4
000022a0: DUP6
000022a1: SUB
000022a2: SLT
000022a3: ISZERO
000022a4: PUSH2 0x22ab
000022a7: JUMPI
000022a8: DUP2
000022a9: DUP3
000022aa: REVERT
000022ab: JUMPDEST
000022ac: DUP3
000022ad: CALLDATALOAD
000022ae: PUSH8 0xffffffffffffffff
000022b7: DUP1
000022b8: DUP3
000022b9: GT
000022ba: ISZERO
000022bb: PUSH2 0x22c2
000022be: JUMPI
000022bf: DUP4
000022c0: DUP5
000022c1: REVERT
000022c2: JUMPDEST
000022c3: DUP2
000022c4: DUP6
000022c5: ADD
000022c6: SWAP2
000022c7: POP
000022c8: DUP6
000022c9: PUSH1 0x1f
000022cb: DUP4
000022cc: ADD
000022cd: SLT
000022ce: PUSH2 0x22d5
000022d1: JUMPI
000022d2: DUP4
000022d3: DUP5
000022d4: REVERT
000022d5: JUMPDEST
000022d6: DUP2
000022d7: CALLDATALOAD
000022d8: DUP2
000022d9: DUP2
000022da: GT
000022db: ISZERO
000022dc: PUSH2 0x22e3
000022df: JUMPI
000022e0: DUP5
000022e1: DUP6
000022e2: REVERT
000022e3: JUMPDEST
000022e4: DUP7
000022e5: PUSH1 0x20
000022e7: PUSH1 0x40
000022e9: DUP4
000022ea: MUL
000022eb: DUP6
000022ec: ADD
000022ed: ADD
000022ee: GT
000022ef: ISZERO
000022f0: PUSH2 0x22f7
000022f3: JUMPI
000022f4: DUP5
000022f5: DUP6
000022f6: REVERT
000022f7: JUMPDEST
000022f8: PUSH1 0x20
000022fa: SWAP3
000022fb: SWAP1
000022fc: SWAP3
000022fd: ADD
000022fe: SWAP7
000022ff: SWAP2
00002300: SWAP6
00002301: POP
00002302: SWAP1
00002303: SWAP4
00002304: POP
00002305: POP
00002306: POP
00002307: POP
00002308: JUMP
00002309: JUMPDEST
0000230a: PUSH1 0x00
0000230c: DUP1
0000230d: PUSH1 0x20
0000230f: DUP4
00002310: DUP6
00002311: SUB
00002312: SLT
00002313: ISZERO
00002314: PUSH2 0x231b
00002317: JUMPI
00002318: DUP2
00002319: DUP3
0000231a: REVERT
0000231b: JUMPDEST
0000231c: DUP3
0000231d: CALLDATALOAD
0000231e: PUSH8 0xffffffffffffffff
00002327: DUP1
00002328: DUP3
00002329: GT
0000232a: ISZERO
0000232b: PUSH2 0x2332
0000232e: JUMPI
0000232f: DUP4
00002330: DUP5
00002331: REVERT
00002332: JUMPDEST
00002333: DUP2
00002334: DUP6
00002335: ADD
00002336: SWAP2
00002337: POP
00002338: DUP6
00002339: PUSH1 0x1f
0000233b: DUP4
0000233c: ADD
0000233d: SLT
0000233e: PUSH2 0x2345
00002341: JUMPI
00002342: DUP4
00002343: DUP5
00002344: REVERT
00002345: JUMPDEST
00002346: DUP2
00002347: CALLDATALOAD
00002348: DUP2
00002349: DUP2
0000234a: GT
0000234b: ISZERO
0000234c: PUSH2 0x2353
0000234f: JUMPI
00002350: DUP5
00002351: DUP6
00002352: REVERT
00002353: JUMPDEST
00002354: DUP7
00002355: PUSH1 0x20
00002357: DUP1
00002358: DUP4
00002359: MUL
0000235a: DUP6
0000235b: ADD
0000235c: ADD
0000235d: GT
0000235e: ISZERO
0000235f: PUSH2 0x22f7
00002362: JUMPI
00002363: DUP5
00002364: DUP6
00002365: REVERT
00002366: JUMPDEST
00002367: PUSH1 0x00
00002369: PUSH1 0x20
0000236b: DUP3
0000236c: DUP5
0000236d: SUB
0000236e: SLT
0000236f: ISZERO
00002370: PUSH2 0x2377
00002373: JUMPI
00002374: DUP1
00002375: DUP2
00002376: REVERT
00002377: JUMPDEST
00002378: DUP2
00002379: MLOAD
0000237a: DUP1
0000237b: ISZERO
0000237c: ISZERO
0000237d: DUP2
0000237e: EQ
0000237f: PUSH2 0x0988
00002382: JUMPI
00002383: DUP2
00002384: DUP3
00002385: REVERT
00002386: JUMPDEST
00002387: PUSH1 0x00
00002389: PUSH1 0x20
0000238b: DUP3
0000238c: DUP5
0000238d: SUB
0000238e: SLT
0000238f: ISZERO
00002390: PUSH2 0x2397
00002393: JUMPI
00002394: DUP1
00002395: DUP2
00002396: REVERT
00002397: JUMPDEST
00002398: DUP2
00002399: CALLDATALOAD
0000239a: PUSH8 0xffffffffffffffff
000023a3: DUP2
000023a4: GT
000023a5: ISZERO
000023a6: PUSH2 0x23ad
000023a9: JUMPI
000023aa: DUP2
000023ab: DUP3
000023ac: REVERT
000023ad: JUMPDEST
000023ae: PUSH2 0x23b9
000023b1: DUP5
000023b2: DUP3
000023b3: DUP6
000023b4: ADD
000023b5: PUSH2 0x211b
000023b8: JUMP
000023b9: JUMPDEST
000023ba: SWAP5
000023bb: SWAP4
000023bc: POP
000023bd: POP
000023be: POP
000023bf: POP
000023c0: JUMP
000023c1: JUMPDEST
000023c2: PUSH1 0x00
000023c4: PUSH1 0x20
000023c6: DUP3
000023c7: DUP5
000023c8: SUB
000023c9: SLT
000023ca: ISZERO
000023cb: PUSH2 0x23d2
000023ce: JUMPI
000023cf: DUP1
000023d0: DUP2
000023d1: REVERT
000023d2: JUMPDEST
000023d3: POP
000023d4: CALLDATALOAD
000023d5: SWAP2
000023d6: SWAP1
000023d7: POP
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH1 0x00
000023dc: PUSH1 0x20
000023de: DUP3
000023df: DUP5
000023e0: SUB
000023e1: SLT
000023e2: ISZERO
000023e3: PUSH2 0x23ea
000023e6: JUMPI
000023e7: DUP1
000023e8: DUP2
000023e9: REVERT
000023ea: JUMPDEST
000023eb: POP
000023ec: MLOAD
000023ed: SWAP2
000023ee: SWAP1
000023ef: POP
000023f0: JUMP
000023f1: JUMPDEST
000023f2: PUSH1 0x00
000023f4: DUP1
000023f5: PUSH1 0x40
000023f7: DUP4
000023f8: DUP6
000023f9: SUB
000023fa: SLT
000023fb: ISZERO
000023fc: PUSH2 0x2403
000023ff: JUMPI
00002400: DUP2
00002401: DUP3
00002402: REVERT
00002403: JUMPDEST
00002404: DUP3
00002405: CALLDATALOAD
00002406: SWAP2
00002407: POP
00002408: PUSH1 0x20
0000240a: DUP4
0000240b: ADD
0000240c: CALLDATALOAD
0000240d: PUSH8 0xffffffffffffffff
00002416: DUP2
00002417: GT
00002418: ISZERO
00002419: PUSH2 0x2420
0000241c: JUMPI
0000241d: DUP2
0000241e: DUP3
0000241f: REVERT
00002420: JUMPDEST
00002421: PUSH2 0x242c
00002424: DUP6
00002425: DUP3
00002426: DUP7
00002427: ADD
00002428: PUSH2 0x211b
0000242b: JUMP
0000242c: JUMPDEST
0000242d: SWAP2
0000242e: POP
0000242f: POP
00002430: SWAP3
00002431: POP
00002432: SWAP3
00002433: SWAP1
00002434: POP
00002435: JUMP
00002436: JUMPDEST
00002437: PUSH1 0x00
00002439: DUP1
0000243a: PUSH1 0x40
0000243c: DUP4
0000243d: DUP6
0000243e: SUB
0000243f: SLT
00002440: ISZERO
00002441: PUSH2 0x2448
00002444: JUMPI
00002445: DUP2
00002446: DUP3
00002447: REVERT
00002448: JUMPDEST
00002449: POP
0000244a: POP
0000244b: DUP1
0000244c: CALLDATALOAD
0000244d: SWAP3
0000244e: PUSH1 0x20
00002450: SWAP1
00002451: SWAP2
00002452: ADD
00002453: CALLDATALOAD
00002454: SWAP2
00002455: POP
00002456: JUMP
00002457: JUMPDEST
00002458: PUSH1 0x00
0000245a: DUP2
0000245b: MLOAD
0000245c: DUP1
0000245d: DUP5
0000245e: MSTORE
0000245f: DUP2
00002460: JUMPDEST
00002461: DUP2
00002462: DUP2
00002463: LT
00002464: ISZERO
00002465: PUSH2 0x247c
00002468: JUMPI
00002469: PUSH1 0x20
0000246b: DUP2
0000246c: DUP6
0000246d: ADD
0000246e: DUP2
0000246f: ADD
00002470: MLOAD
00002471: DUP7
00002472: DUP4
00002473: ADD
00002474: DUP3
00002475: ADD
00002476: MSTORE
00002477: ADD
00002478: PUSH2 0x2460
0000247b: JUMP
0000247c: JUMPDEST
0000247d: DUP2
0000247e: DUP2
0000247f: GT
00002480: ISZERO
00002481: PUSH2 0x248d
00002484: JUMPI
00002485: DUP3
00002486: PUSH1 0x20
00002488: DUP4
00002489: DUP8
0000248a: ADD
0000248b: ADD
0000248c: MSTORE
0000248d: JUMPDEST
0000248e: POP
0000248f: PUSH1 0x1f
00002491: ADD
00002492: PUSH1 0x1f
00002494: NOT
00002495: AND
00002496: SWAP3
00002497: SWAP1
00002498: SWAP3
00002499: ADD
0000249a: PUSH1 0x20
0000249c: ADD
0000249d: SWAP3
0000249e: SWAP2
0000249f: POP
000024a0: POP
000024a1: JUMP
000024a2: JUMPDEST
000024a3: PUSH1 0x01
000024a5: PUSH1 0x01
000024a7: PUSH1 0xa0
000024a9: SHL
000024aa: SUB
000024ab: SWAP2
000024ac: SWAP1
000024ad: SWAP2
000024ae: AND
000024af: DUP2
000024b0: MSTORE
000024b1: PUSH1 0x20
000024b3: ADD
000024b4: SWAP1
000024b5: JUMP
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: PUSH1 0x01
000024bb: PUSH1 0x01
000024bd: PUSH1 0xa0
000024bf: SHL
000024c0: SUB
000024c1: DUP8
000024c2: AND
000024c3: DUP3
000024c4: MSTORE
000024c5: DUP6
000024c6: PUSH1 0x20
000024c8: DUP4
000024c9: ADD
000024ca: MSTORE
000024cb: DUP5
000024cc: PUSH1 0x40
000024ce: DUP4
000024cf: ADD
000024d0: MSTORE
000024d1: DUP4
000024d2: PUSH1 0x60
000024d4: DUP4
000024d5: ADD
000024d6: MSTORE
000024d7: PUSH1 0xa0
000024d9: PUSH1 0x80
000024db: DUP4
000024dc: ADD
000024dd: MSTORE
000024de: PUSH2 0x24ea
000024e1: PUSH1 0xa0
000024e3: DUP4
000024e4: ADD
000024e5: DUP5
000024e6: PUSH2 0x2457
000024e9: JUMP
000024ea: JUMPDEST
000024eb: SWAP8
000024ec: SWAP7
000024ed: POP
000024ee: POP
000024ef: POP
000024f0: POP
000024f1: POP
000024f2: POP
000024f3: POP
000024f4: JUMP
000024f5: JUMPDEST
000024f6: SWAP1
000024f7: ISZERO
000024f8: ISZERO
000024f9: DUP2
000024fa: MSTORE
000024fb: PUSH1 0x20
000024fd: ADD
000024fe: SWAP1
000024ff: JUMP
00002500: JUMPDEST
00002501: PUSH1 0x00
00002503: PUSH1 0x20
00002505: DUP3
00002506: MSTORE
00002507: PUSH2 0x0988
0000250a: PUSH1 0x20
0000250c: DUP4
0000250d: ADD
0000250e: DUP5
0000250f: PUSH2 0x2457
00002512: JUMP
00002513: JUMPDEST
00002514: PUSH1 0x20
00002516: DUP1
00002517: DUP3
00002518: MSTORE
00002519: PUSH1 0x10
0000251b: SWAP1
0000251c: DUP3
0000251d: ADD
0000251e: MSTORE
0000251f: PUSH32 0x53656e646572206e6f74204f776e657200000000000000000000000000000000
00002540: PUSH1 0x40
00002542: DUP3
00002543: ADD
00002544: MSTORE
00002545: PUSH1 0x60
00002547: ADD
00002548: SWAP1
00002549: JUMP
0000254a: JUMPDEST
0000254b: PUSH1 0x20
0000254d: DUP1
0000254e: DUP3
0000254f: MSTORE
00002550: PUSH1 0x26
00002552: SWAP1
00002553: DUP3
00002554: ADD
00002555: MSTORE
00002556: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002577: PUSH1 0x40
00002579: DUP3
0000257a: ADD
0000257b: MSTORE
0000257c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000259d: PUSH1 0x60
0000259f: DUP3
000025a0: ADD
000025a1: MSTORE
000025a2: PUSH1 0x80
000025a4: ADD
000025a5: SWAP1
000025a6: JUMP
000025a7: JUMPDEST
000025a8: PUSH1 0x20
000025aa: DUP1
000025ab: DUP3
000025ac: MSTORE
000025ad: PUSH1 0x1b
000025af: SWAP1
000025b0: DUP3
000025b1: ADD
000025b2: MSTORE
000025b3: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000025d4: PUSH1 0x40
000025d6: DUP3
000025d7: ADD
000025d8: MSTORE
000025d9: PUSH1 0x60
000025db: ADD
000025dc: SWAP1
000025dd: JUMP
000025de: JUMPDEST
000025df: PUSH1 0x20
000025e1: DUP1
000025e2: DUP3
000025e3: MSTORE
000025e4: PUSH1 0x11
000025e6: SWAP1
000025e7: DUP3
000025e8: ADD
000025e9: MSTORE
000025ea: PUSH32 0x43616e6e6f74206d696e74207374796c65000000000000000000000000000000
0000260b: PUSH1 0x40
0000260d: DUP3
0000260e: ADD
0000260f: MSTORE
00002610: PUSH1 0x60
00002612: ADD
00002613: SWAP1
00002614: JUMP
00002615: JUMPDEST
00002616: PUSH1 0x20
00002618: DUP1
00002619: DUP3
0000261a: MSTORE
0000261b: PUSH1 0x0d
0000261d: SWAP1
0000261e: DUP3
0000261f: ADD
00002620: MSTORE
00002621: PUSH32 0x56616c756520746f6f206c6f7700000000000000000000000000000000000000
00002642: PUSH1 0x40
00002644: DUP3
00002645: ADD
00002646: MSTORE
00002647: PUSH1 0x60
00002649: ADD
0000264a: SWAP1
0000264b: JUMP
0000264c: JUMPDEST
0000264d: PUSH1 0x20
0000264f: DUP1
00002650: DUP3
00002651: MSTORE
00002652: PUSH1 0x21
00002654: SWAP1
00002655: DUP3
00002656: ADD
00002657: MSTORE
00002658: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002679: PUSH1 0x40
0000267b: DUP3
0000267c: ADD
0000267d: MSTORE
0000267e: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
0000269f: PUSH1 0x60
000026a1: DUP3
000026a2: ADD
000026a3: MSTORE
000026a4: PUSH1 0x80
000026a6: ADD
000026a7: SWAP1
000026a8: JUMP
000026a9: JUMPDEST
000026aa: PUSH1 0x20
000026ac: DUP1
000026ad: DUP3
000026ae: MSTORE
000026af: DUP2
000026b0: DUP2
000026b1: ADD
000026b2: MSTORE
000026b3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000026d4: PUSH1 0x40
000026d6: DUP3
000026d7: ADD
000026d8: MSTORE
000026d9: PUSH1 0x60
000026db: ADD
000026dc: SWAP1
000026dd: JUMP
000026de: JUMPDEST
000026df: PUSH1 0x20
000026e1: DUP1
000026e2: DUP3
000026e3: MSTORE
000026e4: PUSH1 0x10
000026e6: SWAP1
000026e7: DUP3
000026e8: ADD
000026e9: MSTORE
000026ea: PUSH32 0x5374796c65206e6f74206c697374656400000000000000000000000000000000
0000270b: PUSH1 0x40
0000270d: DUP3
0000270e: ADD
0000270f: MSTORE
00002710: PUSH1 0x60
00002712: ADD
00002713: SWAP1
00002714: JUMP
00002715: JUMPDEST
00002716: SWAP1
00002717: DUP2
00002718: MSTORE
00002719: PUSH1 0x20
0000271b: ADD
0000271c: SWAP1
0000271d: JUMP
0000271e: JUMPDEST
0000271f: PUSH1 0x00
00002721: DUP4
00002722: DUP3
00002723: MSTORE
00002724: PUSH1 0x40
00002726: PUSH1 0x20
00002728: DUP4
00002729: ADD
0000272a: MSTORE
0000272b: PUSH2 0x23b9
0000272e: PUSH1 0x40
00002730: DUP4
00002731: ADD
00002732: DUP5
00002733: PUSH2 0x2457
00002736: JUMP
00002737: JUMPDEST
00002738: SWAP2
00002739: DUP3
0000273a: MSTORE
0000273b: PUSH1 0x20
0000273d: DUP3
0000273e: ADD
0000273f: MSTORE
00002740: PUSH1 0x40
00002742: ADD
00002743: SWAP1
00002744: JUMP
00002745: JUMPDEST
00002746: PUSH1 0x01
00002748: PUSH1 0x01
0000274a: PUSH1 0xa0
0000274c: SHL
0000274d: SUB
0000274e: DUP2
0000274f: AND
00002750: DUP2
00002751: EQ
00002752: PUSH2 0x275a
00002755: JUMPI
00002756: PUSH1 0x00
00002758: DUP1
00002759: REVERT
0000275a: JUMPDEST
0000275b: POP
0000275c: JUMP
0000275d: INVALID
0000275e: LOG2
0000275f: PUSH5 0x6970667358
00002765: UNKNOWN(0x22)
00002766: SLT
00002767: KECCAK256
00002768: PUSH5 0x411d751c5e
0000276e: UNKNOWN(0x2B)
0000276f: UNKNOWN(0xAB)
00002770: UNKNOWN(0xC5)
00002771: PUSH11 0xa036d1a257014419de8110
0000277d: UNKNOWN(0xD5)
0000277e: UNKNOWN(0x2D)
0000277f: PUSH10 0x27fe3127afe53e8e6473
0000278a: PUSH16
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x7691f79f33720e751068b3b99ac4a9db1a7bc27c1d94bc823d5d214a3b73194e call_targets: 0xaa84f7c9164db5c11b9fa65ad0118977c12a4729 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7691f79f33720e751068b3b99ac4a9db1a7bc27c1d94bc823d5d214a3b73194e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xaa84f7c9164db5c11b9fa65ad0118977c12a4729" ], "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": "0xf8d08c94", "selector": "0xf8d08c94", "calldata_variants": [ "0xf8d08c94", "0xf8d08c940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa5c55c9", "selector": "0xfa5c55c9", "calldata_variants": [ "0xfa5c55c9", "0xfa5c55c90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfce589d8", "selector": "0xfce589d8", "calldata_variants": [ "0xfce589d8", "0xfce589d80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5115197", "selector": "0xd5115197", "calldata_variants": [ "0xd5115197", "0xd51151970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea54a32c", "selector": "0xea54a32c", "calldata_variants": [ "0xea54a32c", "0xea54a32c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x97443ae9", "selector": "0x97443ae9", "calldata_variants": [ "0x97443ae9", "0x97443ae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xabf589c3", "selector": "0xabf589c3", "calldata_variants": [ "0xabf589c3", "0xabf589c30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2210, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2622, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2757, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 14, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x7691f79f33720e751068b3b99ac4a9db1a7bc27c1d94bc823d5d214a3b73194e call_targets: 0xaa84f7c9164db5c11b9fa65ad0118977c12a4729 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7691f79f33720e751068b3b99ac4a9db1a7bc27c1d94bc823d5d214a3b73194e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xaa84f7c9164db5c11b9fa65ad0118977c12a4729" ], "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": "0xf8d08c94", "selector": "0xf8d08c94", "calldata_variants": [ "0xf8d08c94", "0xf8d08c940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa5c55c9", "selector": "0xfa5c55c9", "calldata_variants": [ "0xfa5c55c9", "0xfa5c55c90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfce589d8", "selector": "0xfce589d8", "calldata_variants": [ "0xfce589d8", "0xfce589d80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5115197", "selector": "0xd5115197", "calldata_variants": [ "0xd5115197", "0xd51151970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea54a32c", "selector": "0xea54a32c", "calldata_variants": [ "0xea54a32c", "0xea54a32c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x97443ae9", "selector": "0x97443ae9", "calldata_variants": [ "0x97443ae9", "0x97443ae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xabf589c3", "selector": "0xabf589c3", "calldata_variants": [ "0xabf589c3", "0xabf589c30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2210, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2622, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2757, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 14, "guards_detected": [], "untrusted_call_count": 14 }
Severity