Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-c052-72d3-8229-d001977154c1
complete
Chain ID
Address
0x3f4931a8e9d4cdf8f56e7e8a8cfe3bede0e43657
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
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
24673	artifact.fetch	complete	1 / 3	3 months ago
24674	tool.cast_disasm	complete	1 / 3	3 months ago
102616	analysis.bundle	complete	1 / 3	1 week ago
102617	capability.graph	complete	1 / 3	1 week ago
102618	detector.run	complete	1 / 3	1 week ago
102619	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
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9135
Flags
delegatecall_present 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 0x01cd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x98e40131
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc66dc097
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf2fde38b
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: EQ
0000003b: PUSH2 0x04f6
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf3b43386
00000045: EQ
00000046: PUSH2 0x0516
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfa95e83d
00000050: EQ
00000051: PUSH2 0x052b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfbc9dfc4
0000005b: EQ
0000005c: PUSH2 0x053e
0000005f: JUMPI
00000060: PUSH2 0x01cd
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc66dc097
0000006b: EQ
0000006c: PUSH2 0x047d
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe2e4c60c
00000076: EQ
00000077: PUSH2 0x049d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe8bee352
00000081: EQ
00000082: PUSH2 0x04c1
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xef44ea8b
0000008c: EQ
0000008d: PUSH2 0x04d6
00000090: JUMPI
00000091: PUSH2 0x01cd
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xb02c0065
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb02c0065
000000a7: EQ
000000a8: PUSH2 0x03fd
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb9d9f62b
000000b2: EQ
000000b3: PUSH2 0x041d
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xbef48c37
000000bd: EQ
000000be: PUSH2 0x043d
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc4d66de8
000000c8: EQ
000000c9: PUSH2 0x045d
000000cc: JUMPI
000000cd: PUSH2 0x01cd
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x98e40131
000000d8: EQ
000000d9: PUSH2 0x039d
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x9b53ff49
000000e3: EQ
000000e4: PUSH2 0x03bd
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xa9065581
000000ee: EQ
000000ef: PUSH2 0x03dd
000000f2: JUMPI
000000f3: PUSH2 0x01cd
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x51cbf348
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x715018a6
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x715018a6
00000114: EQ
00000115: PUSH2 0x0331
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x8da5cb5b
0000011f: EQ
00000120: PUSH2 0x0346
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x8f32d59b
0000012a: EQ
0000012b: PUSH2 0x0368
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x8fe6b38d
00000135: EQ
00000136: PUSH2 0x037d
00000139: JUMPI
0000013a: PUSH2 0x01cd
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x51cbf348
00000145: EQ
00000146: PUSH2 0x02af
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x62016d42
00000150: EQ
00000151: PUSH2 0x02cf
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x65df2918
0000015b: EQ
0000015c: PUSH2 0x02ef
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x6cf0a7b0
00000166: EQ
00000167: PUSH2 0x0304
0000016a: JUMPI
0000016b: PUSH2 0x01cd
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x1c5b0923
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x1c5b0923
00000181: EQ
00000182: PUSH2 0x022f
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x232a3060
0000018c: EQ
0000018d: PUSH2 0x025a
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x37542686
00000197: EQ
00000198: PUSH2 0x027a
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x4e02bebc
000001a2: EQ
000001a3: PUSH2 0x029a
000001a6: JUMPI
000001a7: PUSH2 0x01cd
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x08e169d9
000001b2: EQ
000001b3: PUSH2 0x01cf
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x0fcb042c
000001bd: EQ
000001be: PUSH2 0x01ef
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x126afd7c
000001c8: EQ
000001c9: PUSH2 0x020f
000001cc: JUMPI
000001cd: JUMPDEST
000001ce: STOP
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01db
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x01cd
000001e0: PUSH2 0x01ea
000001e3: CALLDATASIZE
000001e4: PUSH1 0x04
000001e6: PUSH2 0x2c86
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH2 0x055e
000001ee: JUMP
000001ef: JUMPDEST
000001f0: CALLVALUE
000001f1: DUP1
000001f2: ISZERO
000001f3: PUSH2 0x01fb
000001f6: JUMPI
000001f7: PUSH1 0x00
000001f9: DUP1
000001fa: REVERT
000001fb: JUMPDEST
000001fc: POP
000001fd: PUSH2 0x01cd
00000200: PUSH2 0x020a
00000203: CALLDATASIZE
00000204: PUSH1 0x04
00000206: PUSH2 0x2b61
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH2 0x05a3
0000020e: JUMP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x01cd
00000220: PUSH2 0x022a
00000223: CALLDATASIZE
00000224: PUSH1 0x04
00000226: PUSH2 0x2ce0
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH2 0x06ff
0000022e: JUMP
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: POP
0000023d: PUSH2 0x0244
00000240: PUSH2 0x0758
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH1 0x40
00000247: MLOAD
00000248: PUSH2 0x0251
0000024b: SWAP2
0000024c: SWAP1
0000024d: PUSH2 0x3c60
00000250: JUMP
00000251: JUMPDEST
00000252: PUSH1 0x40
00000254: MLOAD
00000255: DUP1
00000256: SWAP2
00000257: SUB
00000258: SWAP1
00000259: RETURN
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x01cd
0000026b: PUSH2 0x0275
0000026e: CALLDATASIZE
0000026f: PUSH1 0x04
00000271: PUSH2 0x2b61
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x07bc
00000279: JUMP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x01cd
0000028b: PUSH2 0x0295
0000028e: CALLDATASIZE
0000028f: PUSH1 0x04
00000291: PUSH2 0x2cfe
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH2 0x083b
00000299: JUMP
0000029a: JUMPDEST
0000029b: CALLVALUE
0000029c: DUP1
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: PUSH2 0x01cd
000002ab: PUSH2 0x096a
000002ae: JUMP
000002af: JUMPDEST
000002b0: CALLVALUE
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02bb
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: POP
000002bd: PUSH2 0x01cd
000002c0: PUSH2 0x02ca
000002c3: CALLDATASIZE
000002c4: PUSH1 0x04
000002c6: PUSH2 0x2ca4
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x0acf
000002ce: JUMP
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: PUSH2 0x0244
000002e0: PUSH2 0x02ea
000002e3: CALLDATASIZE
000002e4: PUSH1 0x04
000002e6: PUSH2 0x2ce0
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH2 0x0b7f
000002ee: JUMP
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: DUP1
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x01cd
00000300: PUSH2 0x0dbd
00000303: JUMP
00000304: JUMPDEST
00000305: CALLVALUE
00000306: DUP1
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: POP
00000312: PUSH2 0x0324
00000315: PUSH2 0x031f
00000318: CALLDATASIZE
00000319: PUSH1 0x04
0000031b: PUSH2 0x2ce0
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH2 0x0e38
00000323: JUMP
00000324: JUMPDEST
00000325: PUSH1 0x40
00000327: MLOAD
00000328: PUSH2 0x0251
0000032b: SWAP2
0000032c: SWAP1
0000032d: PUSH2 0x3a43
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: DUP1
00000334: ISZERO
00000335: PUSH2 0x033d
00000338: JUMPI
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: REVERT
0000033d: JUMPDEST
0000033e: POP
0000033f: PUSH2 0x01cd
00000342: PUSH2 0x0e50
00000345: JUMP
00000346: JUMPDEST
00000347: CALLVALUE
00000348: DUP1
00000349: ISZERO
0000034a: PUSH2 0x0352
0000034d: JUMPI
0000034e: PUSH1 0x00
00000350: DUP1
00000351: REVERT
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x035b
00000357: PUSH2 0x0ebe
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH1 0x40
0000035e: MLOAD
0000035f: PUSH2 0x0251
00000362: SWAP2
00000363: SWAP1
00000364: PUSH2 0x3997
00000367: JUMP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x0324
00000379: PUSH2 0x0ecd
0000037c: JUMP
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x01cd
0000038e: PUSH2 0x0398
00000391: CALLDATASIZE
00000392: PUSH1 0x04
00000394: PUSH2 0x2c10
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH2 0x0ef3
0000039c: JUMP
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: DUP1
000003a0: ISZERO
000003a1: PUSH2 0x03a9
000003a4: JUMPI
000003a5: PUSH1 0x00
000003a7: DUP1
000003a8: REVERT
000003a9: JUMPDEST
000003aa: POP
000003ab: PUSH2 0x01cd
000003ae: PUSH2 0x03b8
000003b1: CALLDATASIZE
000003b2: PUSH1 0x04
000003b4: PUSH2 0x2b61
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH2 0x0fad
000003bc: JUMP
000003bd: JUMPDEST
000003be: CALLVALUE
000003bf: DUP1
000003c0: ISZERO
000003c1: PUSH2 0x03c9
000003c4: JUMPI
000003c5: PUSH1 0x00
000003c7: DUP1
000003c8: REVERT
000003c9: JUMPDEST
000003ca: POP
000003cb: PUSH2 0x01cd
000003ce: PUSH2 0x03d8
000003d1: CALLDATASIZE
000003d2: PUSH1 0x04
000003d4: PUSH2 0x2ca4
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH2 0x0ffb
000003dc: JUMP
000003dd: JUMPDEST
000003de: CALLVALUE
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: POP
000003eb: PUSH2 0x01cd
000003ee: PUSH2 0x03f8
000003f1: CALLDATASIZE
000003f2: PUSH1 0x04
000003f4: PUSH2 0x2b61
000003f7: JUMP
000003f8: JUMPDEST
000003f9: PUSH2 0x120f
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x01cd
0000040e: PUSH2 0x0418
00000411: CALLDATASIZE
00000412: PUSH1 0x04
00000414: PUSH2 0x2b61
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH2 0x127e
0000041c: JUMP
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: DUP1
00000420: ISZERO
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH2 0x01cd
0000042e: PUSH2 0x0438
00000431: CALLDATASIZE
00000432: PUSH1 0x04
00000434: PUSH2 0x2d1d
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH2 0x1349
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: PUSH2 0x01cd
0000044e: PUSH2 0x0458
00000451: CALLDATASIZE
00000452: PUSH1 0x04
00000454: PUSH2 0x2cfe
00000457: JUMP
00000458: JUMPDEST
00000459: PUSH2 0x13ca
0000045c: JUMP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH2 0x01cd
0000046e: PUSH2 0x0478
00000471: CALLDATASIZE
00000472: PUSH1 0x04
00000474: PUSH2 0x2b61
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH2 0x1470
0000047c: JUMP
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: POP
0000048b: PUSH2 0x01cd
0000048e: PUSH2 0x0498
00000491: CALLDATASIZE
00000492: PUSH1 0x04
00000494: PUSH2 0x2cfe
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH2 0x1542
0000049c: JUMP
0000049d: JUMPDEST
0000049e: CALLVALUE
0000049f: DUP1
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH1 0x00
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: PUSH2 0x04b2
000004ae: PUSH2 0x1800
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH1 0x40
000004b5: MLOAD
000004b6: PUSH2 0x0251
000004b9: SWAP4
000004ba: SWAP3
000004bb: SWAP2
000004bc: SWAP1
000004bd: PUSH2 0x3c6e
000004c0: JUMP
000004c1: JUMPDEST
000004c2: CALLVALUE
000004c3: DUP1
000004c4: ISZERO
000004c5: PUSH2 0x04cd
000004c8: JUMPI
000004c9: PUSH1 0x00
000004cb: DUP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: PUSH2 0x0324
000004d2: PUSH2 0x1902
000004d5: JUMP
000004d6: JUMPDEST
000004d7: CALLVALUE
000004d8: DUP1
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: POP
000004e4: PUSH2 0x01cd
000004e7: PUSH2 0x04f1
000004ea: CALLDATASIZE
000004eb: PUSH1 0x04
000004ed: PUSH2 0x2ce0
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH2 0x1907
000004f5: JUMP
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: DUP1
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: PUSH2 0x01cd
00000507: PUSH2 0x0511
0000050a: CALLDATASIZE
0000050b: PUSH1 0x04
0000050d: PUSH2 0x2b61
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH2 0x192b
00000515: JUMP
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH2 0x01cd
00000527: PUSH2 0x1958
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH2 0x01cd
0000052f: PUSH2 0x0539
00000532: CALLDATASIZE
00000533: PUSH1 0x04
00000535: PUSH2 0x2b7f
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH2 0x19d7
0000053d: JUMP
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH2 0x0244
0000054f: PUSH2 0x0559
00000552: CALLDATASIZE
00000553: PUSH1 0x04
00000555: PUSH2 0x2ce0
00000558: JUMP
00000559: JUMPDEST
0000055a: PUSH2 0x1c48
0000055d: JUMP
0000055e: JUMPDEST
0000055f: PUSH2 0x0566
00000562: PUSH2 0x0ecd
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH2 0x058b
0000056a: JUMPI
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: PUSH3 0x461bcd
00000572: PUSH1 0xe5
00000574: SHL
00000575: DUP2
00000576: MSTORE
00000577: PUSH1 0x04
00000579: ADD
0000057a: PUSH2 0x0582
0000057d: SWAP1
0000057e: PUSH2 0x3b90
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH1 0x40
00000585: MLOAD
00000586: DUP1
00000587: SWAP2
00000588: SUB
00000589: SWAP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: PUSH1 0x6b
0000058e: DUP1
0000058f: SLOAD
00000590: PUSH2 0xffff
00000593: NOT
00000594: AND
00000595: PUSH2 0xffff
00000598: SWAP3
00000599: SWAP1
0000059a: SWAP3
0000059b: AND
0000059c: SWAP2
0000059d: SWAP1
0000059e: SWAP2
0000059f: OR
000005a0: SWAP1
000005a1: SSTORE
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH2 0x05ab
000005a7: PUSH2 0x0ecd
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH2 0x05c7
000005af: JUMPI
000005b0: PUSH1 0x40
000005b2: MLOAD
000005b3: PUSH3 0x461bcd
000005b7: PUSH1 0xe5
000005b9: SHL
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x04
000005be: ADD
000005bf: PUSH2 0x0582
000005c2: SWAP1
000005c3: PUSH2 0x3b90
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH1 0x66
000005ca: SLOAD
000005cb: PUSH1 0xff
000005cd: AND
000005ce: PUSH2 0x05e9
000005d1: JUMPI
000005d2: PUSH1 0x40
000005d4: MLOAD
000005d5: PUSH3 0x461bcd
000005d9: PUSH1 0xe5
000005db: SHL
000005dc: DUP2
000005dd: MSTORE
000005de: PUSH1 0x04
000005e0: ADD
000005e1: PUSH2 0x0582
000005e4: SWAP1
000005e5: PUSH2 0x3be0
000005e8: JUMP
000005e9: JUMPDEST
000005ea: DUP1
000005eb: PUSH1 0x01
000005ed: PUSH1 0x01
000005ef: PUSH1 0xa0
000005f1: SHL
000005f2: SUB
000005f3: AND
000005f4: PUSH4 0xe8bee352
000005f9: PUSH1 0x40
000005fb: MLOAD
000005fc: DUP2
000005fd: PUSH4 0xffffffff
00000602: AND
00000603: PUSH1 0xe0
00000605: SHL
00000606: DUP2
00000607: MSTORE
00000608: PUSH1 0x04
0000060a: ADD
0000060b: PUSH1 0x20
0000060d: PUSH1 0x40
0000060f: MLOAD
00000610: DUP1
00000611: DUP4
00000612: SUB
00000613: DUP2
00000614: DUP7
00000615: DUP1
00000616: EXTCODESIZE
00000617: ISZERO
00000618: DUP1
00000619: ISZERO
0000061a: PUSH2 0x0622
0000061d: JUMPI
0000061e: PUSH1 0x00
00000620: DUP1
00000621: REVERT
00000622: JUMPDEST
00000623: POP
00000624: GAS
00000625: STATICCALL
00000626: ISZERO
00000627: DUP1
00000628: ISZERO
00000629: PUSH2 0x0636
0000062c: JUMPI
0000062d: RETURNDATASIZE
0000062e: PUSH1 0x00
00000630: DUP1
00000631: RETURNDATACOPY
00000632: RETURNDATASIZE
00000633: PUSH1 0x00
00000635: REVERT
00000636: JUMPDEST
00000637: POP
00000638: POP
00000639: POP
0000063a: POP
0000063b: PUSH1 0x40
0000063d: MLOAD
0000063e: RETURNDATASIZE
0000063f: PUSH1 0x1f
00000641: NOT
00000642: PUSH1 0x1f
00000644: DUP3
00000645: ADD
00000646: AND
00000647: DUP3
00000648: ADD
00000649: DUP1
0000064a: PUSH1 0x40
0000064c: MSTORE
0000064d: POP
0000064e: PUSH2 0x065a
00000651: SWAP2
00000652: SWAP1
00000653: DUP2
00000654: ADD
00000655: SWAP1
00000656: PUSH2 0x2c4a
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH2 0x0676
0000065e: JUMPI
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: PUSH3 0x461bcd
00000666: PUSH1 0xe5
00000668: SHL
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x04
0000066d: ADD
0000066e: PUSH2 0x0582
00000671: SWAP1
00000672: PUSH2 0x3b40
00000675: JUMP
00000676: JUMPDEST
00000677: SELFBALANCE
00000678: DUP1
00000679: ISZERO
0000067a: PUSH2 0x06fb
0000067d: JUMPI
0000067e: PUSH1 0x00
00000680: DUP3
00000681: PUSH1 0x01
00000683: PUSH1 0x01
00000685: PUSH1 0xa0
00000687: SHL
00000688: SUB
00000689: AND
0000068a: DUP3
0000068b: PUSH1 0x40
0000068d: MLOAD
0000068e: PUSH2 0x0696
00000691: SWAP1
00000692: PUSH2 0x398c
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH1 0x00
00000699: PUSH1 0x40
0000069b: MLOAD
0000069c: DUP1
0000069d: DUP4
0000069e: SUB
0000069f: DUP2
000006a0: DUP6
000006a1: DUP8
000006a2: GAS
000006a3: CALL
000006a4: SWAP3
000006a5: POP
000006a6: POP
000006a7: POP
000006a8: RETURNDATASIZE
000006a9: DUP1
000006aa: PUSH1 0x00
000006ac: DUP2
000006ad: EQ
000006ae: PUSH2 0x06d3
000006b1: JUMPI
000006b2: PUSH1 0x40
000006b4: MLOAD
000006b5: SWAP2
000006b6: POP
000006b7: PUSH1 0x1f
000006b9: NOT
000006ba: PUSH1 0x3f
000006bc: RETURNDATASIZE
000006bd: ADD
000006be: AND
000006bf: DUP3
000006c0: ADD
000006c1: PUSH1 0x40
000006c3: MSTORE
000006c4: RETURNDATASIZE
000006c5: DUP3
000006c6: MSTORE
000006c7: RETURNDATASIZE
000006c8: PUSH1 0x00
000006ca: PUSH1 0x20
000006cc: DUP5
000006cd: ADD
000006ce: RETURNDATACOPY
000006cf: PUSH2 0x06d8
000006d2: JUMP
000006d3: JUMPDEST
000006d4: PUSH1 0x60
000006d6: SWAP2
000006d7: POP
000006d8: JUMPDEST
000006d9: POP
000006da: POP
000006db: SWAP1
000006dc: POP
000006dd: DUP1
000006de: PUSH2 0x06f9
000006e1: JUMPI
000006e2: PUSH1 0x40
000006e4: MLOAD
000006e5: PUSH3 0x461bcd
000006e9: PUSH1 0xe5
000006eb: SHL
000006ec: DUP2
000006ed: MSTORE
000006ee: PUSH1 0x04
000006f0: ADD
000006f1: PUSH2 0x0582
000006f4: SWAP1
000006f5: PUSH2 0x3ad0
000006f8: JUMP
000006f9: JUMPDEST
000006fa: POP
000006fb: JUMPDEST
000006fc: POP
000006fd: POP
000006fe: JUMP
000006ff: JUMPDEST
00000700: PUSH1 0x66
00000702: SLOAD
00000703: PUSH1 0xff
00000705: AND
00000706: ISZERO
00000707: PUSH2 0x0722
0000070a: JUMPI
0000070b: PUSH1 0x40
0000070d: MLOAD
0000070e: PUSH3 0x461bcd
00000712: PUSH1 0xe5
00000714: SHL
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x04
00000719: ADD
0000071a: PUSH2 0x0582
0000071d: SWAP1
0000071e: PUSH2 0x3aa0
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x67
00000725: SLOAD
00000726: PUSH1 0x01
00000728: PUSH1 0x01
0000072a: PUSH1 0xa0
0000072c: SHL
0000072d: SUB
0000072e: AND
0000072f: CALLER
00000730: EQ
00000731: PUSH2 0x074c
00000734: JUMPI
00000735: PUSH1 0x40
00000737: MLOAD
00000738: PUSH3 0x461bcd
0000073c: PUSH1 0xe5
0000073e: SHL
0000073f: DUP2
00000740: MSTORE
00000741: PUSH1 0x04
00000743: ADD
00000744: PUSH2 0x0582
00000747: SWAP1
00000748: PUSH2 0x3a70
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH2 0x0755
00000750: DUP2
00000751: PUSH2 0x1c7a
00000754: JUMP
00000755: JUMPDEST
00000756: POP
00000757: JUMP
00000758: JUMPDEST
00000759: PUSH1 0x00
0000075b: SELFBALANCE
0000075c: DUP2
0000075d: JUMPDEST
0000075e: PUSH1 0x68
00000760: SLOAD
00000761: DUP2
00000762: LT
00000763: ISZERO
00000764: PUSH2 0x07b6
00000767: JUMPI
00000768: PUSH2 0x07ac
0000076b: DUP3
0000076c: PUSH2 0x07a0
0000076f: PUSH1 0x68
00000771: DUP5
00000772: DUP2
00000773: SLOAD
00000774: DUP2
00000775: LT
00000776: PUSH2 0x077b
00000779: JUMPI
0000077a: INVALID
0000077b: JUMPDEST
0000077c: SWAP1
0000077d: PUSH1 0x00
0000077f: MSTORE
00000780: PUSH1 0x20
00000782: PUSH1 0x00
00000784: KECCAK256
00000785: SWAP1
00000786: PUSH1 0x20
00000788: SWAP2
00000789: DUP3
0000078a: DUP3
0000078b: DIV
0000078c: ADD
0000078d: SWAP2
0000078e: SWAP1
0000078f: MOD
00000790: SWAP1
00000791: SLOAD
00000792: SWAP1
00000793: PUSH2 0x0100
00000796: EXP
00000797: SWAP1
00000798: DIV
00000799: PUSH1 0xff
0000079b: AND
0000079c: PUSH2 0x1c48
0000079f: JUMP
000007a0: JUMPDEST
000007a1: SWAP1
000007a2: PUSH4 0xffffffff
000007a7: PUSH2 0x1ffd
000007aa: AND
000007ab: JUMP
000007ac: JUMPDEST
000007ad: SWAP2
000007ae: POP
000007af: PUSH1 0x01
000007b1: ADD
000007b2: PUSH2 0x075d
000007b5: JUMP
000007b6: JUMPDEST
000007b7: POP
000007b8: SWAP1
000007b9: POP
000007ba: SWAP1
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH2 0x07c4
000007c0: PUSH2 0x0ecd
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH2 0x07e0
000007c8: JUMPI
000007c9: PUSH1 0x40
000007cb: MLOAD
000007cc: PUSH3 0x461bcd
000007d0: PUSH1 0xe5
000007d2: SHL
000007d3: DUP2
000007d4: MSTORE
000007d5: PUSH1 0x04
000007d7: ADD
000007d8: PUSH2 0x0582
000007db: SWAP1
000007dc: PUSH2 0x3b90
000007df: JUMP
000007e0: JUMPDEST
000007e1: PUSH1 0x66
000007e3: DUP1
000007e4: SLOAD
000007e5: PUSH2 0x0100
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa8
000007ec: SHL
000007ed: SUB
000007ee: NOT
000007ef: AND
000007f0: PUSH2 0x0100
000007f3: PUSH1 0x01
000007f5: PUSH1 0x01
000007f7: PUSH1 0xa0
000007f9: SHL
000007fa: SUB
000007fb: DUP5
000007fc: AND
000007fd: MUL
000007fe: OR
000007ff: SWAP1
00000800: SSTORE
00000801: PUSH1 0x40
00000803: MLOAD
00000804: PUSH32 0xf980c1430e55b1867cd9337a1f20246ab3b7255032486d0b71c24e820eebf3ab
00000825: SWAP1
00000826: PUSH2 0x0830
00000829: SWAP1
0000082a: DUP4
0000082b: SWAP1
0000082c: PUSH2 0x39a5
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH1 0x40
00000833: MLOAD
00000834: DUP1
00000835: SWAP2
00000836: SUB
00000837: SWAP1
00000838: LOG1
00000839: POP
0000083a: JUMP
0000083b: JUMPDEST
0000083c: PUSH1 0x66
0000083e: SLOAD
0000083f: PUSH1 0xff
00000841: AND
00000842: ISZERO
00000843: PUSH2 0x085e
00000846: JUMPI
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: PUSH3 0x461bcd
0000084e: PUSH1 0xe5
00000850: SHL
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x04
00000855: ADD
00000856: PUSH2 0x0582
00000859: SWAP1
0000085a: PUSH2 0x3aa0
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH1 0x67
00000861: SLOAD
00000862: PUSH1 0x01
00000864: PUSH1 0x01
00000866: PUSH1 0xa0
00000868: SHL
00000869: SUB
0000086a: AND
0000086b: CALLER
0000086c: EQ
0000086d: PUSH2 0x0888
00000870: JUMPI
00000871: PUSH1 0x40
00000873: MLOAD
00000874: PUSH3 0x461bcd
00000878: PUSH1 0xe5
0000087a: SHL
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x04
0000087f: ADD
00000880: PUSH2 0x0582
00000883: SWAP1
00000884: PUSH2 0x3a70
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0xff
0000088b: DUP3
0000088c: AND
0000088d: PUSH2 0x08fc
00000890: JUMPI
00000891: PUSH1 0x40
00000893: MLOAD
00000894: PUSH4 0x2dd67e55
00000899: PUSH1 0xe2
0000089b: SHL
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH20 0x5add5c070902e4b535f76bafac486cc689095d71
000008b3: SWAP1
000008b4: PUSH4 0xb759f954
000008b9: SWAP1
000008ba: PUSH2 0x08c7
000008bd: SWAP1
000008be: DUP5
000008bf: SWAP1
000008c0: PUSH1 0x04
000008c2: ADD
000008c3: PUSH2 0x3c60
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH1 0x00
000008ca: PUSH1 0x40
000008cc: MLOAD
000008cd: DUP1
000008ce: DUP4
000008cf: SUB
000008d0: DUP2
000008d1: DUP7
000008d2: DUP1
000008d3: EXTCODESIZE
000008d4: ISZERO
000008d5: DUP1
000008d6: ISZERO
000008d7: PUSH2 0x08df
000008da: JUMPI
000008db: PUSH1 0x00
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: POP
000008e1: GAS
000008e2: DELEGATECALL
000008e3: ISZERO
000008e4: DUP1
000008e5: ISZERO
000008e6: PUSH2 0x08f3
000008e9: JUMPI
000008ea: RETURNDATASIZE
000008eb: PUSH1 0x00
000008ed: DUP1
000008ee: RETURNDATACOPY
000008ef: RETURNDATASIZE
000008f0: PUSH1 0x00
000008f2: REVERT
000008f3: JUMPDEST
000008f4: POP
000008f5: POP
000008f6: POP
000008f7: POP
000008f8: PUSH2 0x06fb
000008fb: JUMP
000008fc: JUMPDEST
000008fd: DUP2
000008fe: PUSH1 0xff
00000900: AND
00000901: PUSH1 0x05
00000903: EQ
00000904: ISZERO
00000905: PUSH2 0x0952
00000908: JUMPI
00000909: PUSH1 0x6b
0000090b: SLOAD
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: PUSH4 0x095ea7b3
00000914: PUSH1 0xe0
00000916: SHL
00000917: DUP2
00000918: MSTORE
00000919: PUSH20 0x97b6879573ae5c09cbe200c96b407ef9ac74fcc3
0000092e: SWAP2
0000092f: PUSH4 0x095ea7b3
00000934: SWAP2
00000935: PUSH2 0x08c7
00000938: SWAP2
00000939: PUSH3 0x010000
0000093d: SWAP1
0000093e: DIV
0000093f: PUSH1 0x01
00000941: PUSH1 0x01
00000943: PUSH1 0xa0
00000945: SHL
00000946: SUB
00000947: AND
00000948: SWAP1
00000949: DUP6
0000094a: SWAP1
0000094b: PUSH1 0x04
0000094d: ADD
0000094e: PUSH2 0x39ce
00000951: JUMP
00000952: JUMPDEST
00000953: PUSH1 0x40
00000955: MLOAD
00000956: PUSH3 0x461bcd
0000095a: PUSH1 0xe5
0000095c: SHL
0000095d: DUP2
0000095e: MSTORE
0000095f: PUSH1 0x04
00000961: ADD
00000962: PUSH2 0x0582
00000965: SWAP1
00000966: PUSH2 0x3c40
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH1 0x66
0000096d: SLOAD
0000096e: PUSH1 0xff
00000970: AND
00000971: ISZERO
00000972: PUSH2 0x098d
00000975: JUMPI
00000976: PUSH1 0x40
00000978: MLOAD
00000979: PUSH3 0x461bcd
0000097d: PUSH1 0xe5
0000097f: SHL
00000980: DUP2
00000981: MSTORE
00000982: PUSH1 0x04
00000984: ADD
00000985: PUSH2 0x0582
00000988: SWAP1
00000989: PUSH2 0x3aa0
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x67
00000990: SLOAD
00000991: PUSH1 0x01
00000993: PUSH1 0x01
00000995: PUSH1 0xa0
00000997: SHL
00000998: SUB
00000999: AND
0000099a: CALLER
0000099b: EQ
0000099c: PUSH2 0x09b7
0000099f: JUMPI
000009a0: PUSH1 0x40
000009a2: MLOAD
000009a3: PUSH3 0x461bcd
000009a7: PUSH1 0xe5
000009a9: SHL
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x04
000009ae: ADD
000009af: PUSH2 0x0582
000009b2: SWAP1
000009b3: PUSH2 0x3a70
000009b6: JUMP
000009b7: JUMPDEST
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: PUSH4 0x70a08231
000009c0: PUSH1 0xe0
000009c2: SHL
000009c3: DUP2
000009c4: MSTORE
000009c5: PUSH1 0x00
000009c7: SWAP1
000009c8: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000009dd: SWAP1
000009de: PUSH4 0x70a08231
000009e3: SWAP1
000009e4: PUSH2 0x09f1
000009e7: SWAP1
000009e8: ADDRESS
000009e9: SWAP1
000009ea: PUSH1 0x04
000009ec: ADD
000009ed: PUSH2 0x39a5
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH1 0x20
000009f4: PUSH1 0x40
000009f6: MLOAD
000009f7: DUP1
000009f8: DUP4
000009f9: SUB
000009fa: DUP2
000009fb: DUP7
000009fc: DUP1
000009fd: EXTCODESIZE
000009fe: ISZERO
000009ff: DUP1
00000a00: ISZERO
00000a01: PUSH2 0x0a09
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP1
00000a08: REVERT
00000a09: JUMPDEST
00000a0a: POP
00000a0b: GAS
00000a0c: STATICCALL
00000a0d: ISZERO
00000a0e: DUP1
00000a0f: ISZERO
00000a10: PUSH2 0x0a1d
00000a13: JUMPI
00000a14: RETURNDATASIZE
00000a15: PUSH1 0x00
00000a17: DUP1
00000a18: RETURNDATACOPY
00000a19: RETURNDATASIZE
00000a1a: PUSH1 0x00
00000a1c: REVERT
00000a1d: JUMPDEST
00000a1e: POP
00000a1f: POP
00000a20: POP
00000a21: POP
00000a22: PUSH1 0x40
00000a24: MLOAD
00000a25: RETURNDATASIZE
00000a26: PUSH1 0x1f
00000a28: NOT
00000a29: PUSH1 0x1f
00000a2b: DUP3
00000a2c: ADD
00000a2d: AND
00000a2e: DUP3
00000a2f: ADD
00000a30: DUP1
00000a31: PUSH1 0x40
00000a33: MSTORE
00000a34: POP
00000a35: PUSH2 0x0a41
00000a38: SWAP2
00000a39: SWAP1
00000a3a: DUP2
00000a3b: ADD
00000a3c: SWAP1
00000a3d: PUSH2 0x2cc2
00000a40: JUMP
00000a41: JUMPDEST
00000a42: SWAP1
00000a43: POP
00000a44: PUSH1 0x00
00000a46: DUP2
00000a47: GT
00000a48: PUSH2 0x0a63
00000a4b: JUMPI
00000a4c: PUSH1 0x40
00000a4e: MLOAD
00000a4f: PUSH3 0x461bcd
00000a53: PUSH1 0xe5
00000a55: SHL
00000a56: DUP2
00000a57: MSTORE
00000a58: PUSH1 0x04
00000a5a: ADD
00000a5b: PUSH2 0x0582
00000a5e: SWAP1
00000a5f: PUSH2 0x3ae0
00000a62: JUMP
00000a63: JUMPDEST
00000a64: PUSH1 0x40
00000a66: MLOAD
00000a67: PUSH4 0x2e1a7d4d
00000a6c: PUSH1 0xe0
00000a6e: SHL
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000a86: SWAP1
00000a87: PUSH4 0x2e1a7d4d
00000a8c: SWAP1
00000a8d: PUSH2 0x0a9a
00000a90: SWAP1
00000a91: DUP5
00000a92: SWAP1
00000a93: PUSH1 0x04
00000a95: ADD
00000a96: PUSH2 0x3c60
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x00
00000a9d: PUSH1 0x40
00000a9f: MLOAD
00000aa0: DUP1
00000aa1: DUP4
00000aa2: SUB
00000aa3: DUP2
00000aa4: PUSH1 0x00
00000aa6: DUP8
00000aa7: DUP1
00000aa8: EXTCODESIZE
00000aa9: ISZERO
00000aaa: DUP1
00000aab: ISZERO
00000aac: PUSH2 0x0ab4
00000aaf: JUMPI
00000ab0: PUSH1 0x00
00000ab2: DUP1
00000ab3: REVERT
00000ab4: JUMPDEST
00000ab5: POP
00000ab6: GAS
00000ab7: CALL
00000ab8: ISZERO
00000ab9: DUP1
00000aba: ISZERO
00000abb: PUSH2 0x0ac8
00000abe: JUMPI
00000abf: RETURNDATASIZE
00000ac0: PUSH1 0x00
00000ac2: DUP1
00000ac3: RETURNDATACOPY
00000ac4: RETURNDATASIZE
00000ac5: PUSH1 0x00
00000ac7: REVERT
00000ac8: JUMPDEST
00000ac9: POP
00000aca: POP
00000acb: POP
00000acc: POP
00000acd: POP
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x66
00000ad2: SLOAD
00000ad3: PUSH1 0xff
00000ad5: AND
00000ad6: ISZERO
00000ad7: PUSH2 0x0af2
00000ada: JUMPI
00000adb: PUSH1 0x40
00000add: MLOAD
00000ade: PUSH3 0x461bcd
00000ae2: PUSH1 0xe5
00000ae4: SHL
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x04
00000ae9: ADD
00000aea: PUSH2 0x0582
00000aed: SWAP1
00000aee: PUSH2 0x3aa0
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH1 0x67
00000af5: SLOAD
00000af6: PUSH1 0x01
00000af8: PUSH1 0x01
00000afa: PUSH1 0xa0
00000afc: SHL
00000afd: SUB
00000afe: AND
00000aff: CALLER
00000b00: EQ
00000b01: PUSH2 0x0b1c
00000b04: JUMPI
00000b05: PUSH1 0x40
00000b07: MLOAD
00000b08: PUSH3 0x461bcd
00000b0c: PUSH1 0xe5
00000b0e: SHL
00000b0f: DUP2
00000b10: MSTORE
00000b11: PUSH1 0x04
00000b13: ADD
00000b14: PUSH2 0x0582
00000b17: SWAP1
00000b18: PUSH2 0x3a70
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x40
00000b1f: MLOAD
00000b20: PUSH4 0x2dd67e55
00000b25: PUSH1 0xe2
00000b27: SHL
00000b28: DUP2
00000b29: MSTORE
00000b2a: PUSH20 0x948e587a4c175e3b4208f8084e6b8c5c0c4dae66
00000b3f: SWAP1
00000b40: PUSH4 0xb759f954
00000b45: SWAP1
00000b46: PUSH2 0x0b53
00000b49: SWAP1
00000b4a: DUP5
00000b4b: SWAP1
00000b4c: PUSH1 0x04
00000b4e: ADD
00000b4f: PUSH2 0x3c60
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH1 0x00
00000b56: PUSH1 0x40
00000b58: MLOAD
00000b59: DUP1
00000b5a: DUP4
00000b5b: SUB
00000b5c: DUP2
00000b5d: DUP7
00000b5e: DUP1
00000b5f: EXTCODESIZE
00000b60: ISZERO
00000b61: DUP1
00000b62: ISZERO
00000b63: PUSH2 0x0b6b
00000b66: JUMPI
00000b67: PUSH1 0x00
00000b69: DUP1
00000b6a: REVERT
00000b6b: JUMPDEST
00000b6c: POP
00000b6d: GAS
00000b6e: DELEGATECALL
00000b6f: ISZERO
00000b70: DUP1
00000b71: ISZERO
00000b72: PUSH2 0x0ac8
00000b75: JUMPI
00000b76: RETURNDATASIZE
00000b77: PUSH1 0x00
00000b79: DUP1
00000b7a: RETURNDATACOPY
00000b7b: RETURNDATASIZE
00000b7c: PUSH1 0x00
00000b7e: REVERT
00000b7f: JUMPDEST
00000b80: PUSH1 0x00
00000b82: PUSH1 0xff
00000b84: DUP3
00000b85: AND
00000b86: PUSH2 0x0c0c
00000b89: JUMPI
00000b8a: PUSH20 0x5add5c070902e4b535f76bafac486cc689095d71
00000b9f: PUSH4 0x12065fe0
00000ba4: PUSH1 0x40
00000ba6: MLOAD
00000ba7: DUP2
00000ba8: PUSH4 0xffffffff
00000bad: AND
00000bae: PUSH1 0xe0
00000bb0: SHL
00000bb1: DUP2
00000bb2: MSTORE
00000bb3: PUSH1 0x04
00000bb5: ADD
00000bb6: PUSH1 0x20
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: DUP1
00000bbc: DUP4
00000bbd: SUB
00000bbe: DUP2
00000bbf: DUP7
00000bc0: DUP1
00000bc1: EXTCODESIZE
00000bc2: ISZERO
00000bc3: DUP1
00000bc4: ISZERO
00000bc5: PUSH2 0x0bcd
00000bc8: JUMPI
00000bc9: PUSH1 0x00
00000bcb: DUP1
00000bcc: REVERT
00000bcd: JUMPDEST
00000bce: POP
00000bcf: GAS
00000bd0: DELEGATECALL
00000bd1: ISZERO
00000bd2: DUP1
00000bd3: ISZERO
00000bd4: PUSH2 0x0be1
00000bd7: JUMPI
00000bd8: RETURNDATASIZE
00000bd9: PUSH1 0x00
00000bdb: DUP1
00000bdc: RETURNDATACOPY
00000bdd: RETURNDATASIZE
00000bde: PUSH1 0x00
00000be0: REVERT
00000be1: JUMPDEST
00000be2: POP
00000be3: POP
00000be4: POP
00000be5: POP
00000be6: PUSH1 0x40
00000be8: MLOAD
00000be9: RETURNDATASIZE
00000bea: PUSH1 0x1f
00000bec: NOT
00000bed: PUSH1 0x1f
00000bef: DUP3
00000bf0: ADD
00000bf1: AND
00000bf2: DUP3
00000bf3: ADD
00000bf4: DUP1
00000bf5: PUSH1 0x40
00000bf7: MSTORE
00000bf8: POP
00000bf9: PUSH2 0x0c05
00000bfc: SWAP2
00000bfd: SWAP1
00000bfe: DUP2
00000bff: ADD
00000c00: SWAP1
00000c01: PUSH2 0x2cc2
00000c04: JUMP
00000c05: JUMPDEST
00000c06: SWAP1
00000c07: POP
00000c08: PUSH2 0x0db8
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: DUP2
00000c0e: PUSH1 0xff
00000c10: AND
00000c11: PUSH1 0x01
00000c13: EQ
00000c14: ISZERO
00000c15: PUSH2 0x0c5c
00000c18: JUMPI
00000c19: PUSH20 0xde6796aa414173b63f626be1f13e419d8e35fc09
00000c2e: PUSH4 0x12065fe0
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: DUP2
00000c37: PUSH4 0xffffffff
00000c3c: AND
00000c3d: PUSH1 0xe0
00000c3f: SHL
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x04
00000c44: ADD
00000c45: PUSH1 0x20
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: DUP1
00000c4b: DUP4
00000c4c: SUB
00000c4d: DUP2
00000c4e: DUP7
00000c4f: DUP1
00000c50: EXTCODESIZE
00000c51: ISZERO
00000c52: DUP1
00000c53: ISZERO
00000c54: PUSH2 0x0bcd
00000c57: JUMPI
00000c58: PUSH1 0x00
00000c5a: DUP1
00000c5b: REVERT
00000c5c: JUMPDEST
00000c5d: DUP2
00000c5e: PUSH1 0xff
00000c60: AND
00000c61: PUSH1 0x02
00000c63: EQ
00000c64: ISZERO
00000c65: PUSH2 0x0cac
00000c68: JUMPI
00000c69: PUSH20 0x948e587a4c175e3b4208f8084e6b8c5c0c4dae66
00000c7e: PUSH4 0x12065fe0
00000c83: PUSH1 0x40
00000c85: MLOAD
00000c86: DUP2
00000c87: PUSH4 0xffffffff
00000c8c: AND
00000c8d: PUSH1 0xe0
00000c8f: SHL
00000c90: DUP2
00000c91: MSTORE
00000c92: PUSH1 0x04
00000c94: ADD
00000c95: PUSH1 0x20
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: DUP1
00000c9b: DUP4
00000c9c: SUB
00000c9d: DUP2
00000c9e: DUP7
00000c9f: DUP1
00000ca0: EXTCODESIZE
00000ca1: ISZERO
00000ca2: DUP1
00000ca3: ISZERO
00000ca4: PUSH2 0x0bcd
00000ca7: JUMPI
00000ca8: PUSH1 0x00
00000caa: DUP1
00000cab: REVERT
00000cac: JUMPDEST
00000cad: DUP2
00000cae: PUSH1 0xff
00000cb0: AND
00000cb1: PUSH1 0x03
00000cb3: EQ
00000cb4: ISZERO
00000cb5: PUSH2 0x0cfc
00000cb8: JUMPI
00000cb9: PUSH20 0x25f9cebb75ebbaa7b7eddc70d33ffb993896ecb9
00000cce: PUSH4 0x12065fe0
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: DUP2
00000cd7: PUSH4 0xffffffff
00000cdc: AND
00000cdd: PUSH1 0xe0
00000cdf: SHL
00000ce0: DUP2
00000ce1: MSTORE
00000ce2: PUSH1 0x04
00000ce4: ADD
00000ce5: PUSH1 0x20
00000ce7: PUSH1 0x40
00000ce9: MLOAD
00000cea: DUP1
00000ceb: DUP4
00000cec: SUB
00000ced: DUP2
00000cee: DUP7
00000cef: DUP1
00000cf0: EXTCODESIZE
00000cf1: ISZERO
00000cf2: DUP1
00000cf3: ISZERO
00000cf4: PUSH2 0x0bcd
00000cf7: JUMPI
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: DUP2
00000cfe: PUSH1 0xff
00000d00: AND
00000d01: PUSH1 0x04
00000d03: EQ
00000d04: ISZERO
00000d05: PUSH2 0x0d4c
00000d08: JUMPI
00000d09: PUSH20 0xed2cd60c0000a990a5ffaf0e7ddc70a37d7c623f
00000d1e: PUSH4 0x12065fe0
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: DUP2
00000d27: PUSH4 0xffffffff
00000d2c: AND
00000d2d: PUSH1 0xe0
00000d2f: SHL
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x04
00000d34: ADD
00000d35: PUSH1 0x20
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: DUP1
00000d3b: DUP4
00000d3c: SUB
00000d3d: DUP2
00000d3e: DUP7
00000d3f: DUP1
00000d40: EXTCODESIZE
00000d41: ISZERO
00000d42: DUP1
00000d43: ISZERO
00000d44: PUSH2 0x0bcd
00000d47: JUMPI
00000d48: PUSH1 0x00
00000d4a: DUP1
00000d4b: REVERT
00000d4c: JUMPDEST
00000d4d: DUP2
00000d4e: PUSH1 0xff
00000d50: AND
00000d51: PUSH1 0x05
00000d53: EQ
00000d54: ISZERO
00000d55: PUSH2 0x0952
00000d58: JUMPI
00000d59: PUSH1 0x6b
00000d5b: SLOAD
00000d5c: PUSH1 0x40
00000d5e: MLOAD
00000d5f: PUSH4 0xf8b2cb4f
00000d64: PUSH1 0xe0
00000d66: SHL
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH20 0x97b6879573ae5c09cbe200c96b407ef9ac74fcc3
00000d7e: SWAP2
00000d7f: PUSH4 0xf8b2cb4f
00000d84: SWAP2
00000d85: PUSH2 0x0da0
00000d88: SWAP2
00000d89: PUSH3 0x010000
00000d8d: SWAP1
00000d8e: DIV
00000d8f: PUSH1 0x01
00000d91: PUSH1 0x01
00000d93: PUSH1 0xa0
00000d95: SHL
00000d96: SUB
00000d97: AND
00000d98: SWAP1
00000d99: PUSH1 0x04
00000d9b: ADD
00000d9c: PUSH2 0x3997
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x20
00000da3: PUSH1 0x40
00000da5: MLOAD
00000da6: DUP1
00000da7: DUP4
00000da8: SUB
00000da9: DUP2
00000daa: DUP7
00000dab: DUP1
00000dac: EXTCODESIZE
00000dad: ISZERO
00000dae: DUP1
00000daf: ISZERO
00000db0: PUSH2 0x0bcd
00000db3: JUMPI
00000db4: PUSH1 0x00
00000db6: DUP1
00000db7: REVERT
00000db8: JUMPDEST
00000db9: SWAP2
00000dba: SWAP1
00000dbb: POP
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH2 0x0dc5
00000dc1: PUSH2 0x0ecd
00000dc4: JUMP
00000dc5: JUMPDEST
00000dc6: PUSH2 0x0de1
00000dc9: JUMPI
00000dca: PUSH1 0x40
00000dcc: MLOAD
00000dcd: PUSH3 0x461bcd
00000dd1: PUSH1 0xe5
00000dd3: SHL
00000dd4: DUP2
00000dd5: MSTORE
00000dd6: PUSH1 0x04
00000dd8: ADD
00000dd9: PUSH2 0x0582
00000ddc: SWAP1
00000ddd: PUSH2 0x3b90
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x66
00000de4: SLOAD
00000de5: PUSH1 0xff
00000de7: AND
00000de8: PUSH2 0x0e03
00000deb: JUMPI
00000dec: PUSH1 0x40
00000dee: MLOAD
00000def: PUSH3 0x461bcd
00000df3: PUSH1 0xe5
00000df5: SHL
00000df6: DUP2
00000df7: MSTORE
00000df8: PUSH1 0x04
00000dfa: ADD
00000dfb: PUSH2 0x0582
00000dfe: SWAP1
00000dff: PUSH2 0x3b00
00000e02: JUMP
00000e03: JUMPDEST
00000e04: PUSH1 0x66
00000e06: DUP1
00000e07: SLOAD
00000e08: PUSH1 0xff
00000e0a: NOT
00000e0b: AND
00000e0c: SWAP1
00000e0d: SSTORE
00000e0e: PUSH1 0x40
00000e10: MLOAD
00000e11: PUSH32 0x8e1c35fbf7cd686deedf8310574cf4ad038a00a86d3317c831afaeec58f1eeae
00000e32: SWAP1
00000e33: PUSH1 0x00
00000e35: SWAP1
00000e36: LOG1
00000e37: JUMP
00000e38: JUMPDEST
00000e39: PUSH1 0xff
00000e3b: SWAP1
00000e3c: DUP2
00000e3d: AND
00000e3e: PUSH1 0x00
00000e40: SWAP1
00000e41: DUP2
00000e42: MSTORE
00000e43: PUSH1 0x6a
00000e45: PUSH1 0x20
00000e47: MSTORE
00000e48: PUSH1 0x40
00000e4a: SWAP1
00000e4b: KECCAK256
00000e4c: SLOAD
00000e4d: AND
00000e4e: SWAP1
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: PUSH2 0x0e58
00000e54: PUSH2 0x0ecd
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH2 0x0e74
00000e5c: JUMPI
00000e5d: PUSH1 0x40
00000e5f: MLOAD
00000e60: PUSH3 0x461bcd
00000e64: PUSH1 0xe5
00000e66: SHL
00000e67: DUP2
00000e68: MSTORE
00000e69: PUSH1 0x04
00000e6b: ADD
00000e6c: PUSH2 0x0582
00000e6f: SWAP1
00000e70: PUSH2 0x3b90
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH1 0x33
00000e77: SLOAD
00000e78: PUSH1 0x40
00000e7a: MLOAD
00000e7b: PUSH1 0x00
00000e7d: SWAP2
00000e7e: PUSH1 0x01
00000e80: PUSH1 0x01
00000e82: PUSH1 0xa0
00000e84: SHL
00000e85: SUB
00000e86: AND
00000e87: SWAP1
00000e88: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000ea9: SWAP1
00000eaa: DUP4
00000eab: SWAP1
00000eac: LOG3
00000ead: PUSH1 0x33
00000eaf: DUP1
00000eb0: SLOAD
00000eb1: PUSH1 0x01
00000eb3: PUSH1 0x01
00000eb5: PUSH1 0xa0
00000eb7: SHL
00000eb8: SUB
00000eb9: NOT
00000eba: AND
00000ebb: SWAP1
00000ebc: SSTORE
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x33
00000ec1: SLOAD
00000ec2: PUSH1 0x01
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xa0
00000ec8: SHL
00000ec9: SUB
00000eca: AND
00000ecb: SWAP1
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH1 0x33
00000ed0: SLOAD
00000ed1: PUSH1 0x00
00000ed3: SWAP1
00000ed4: PUSH1 0x01
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0xa0
00000eda: SHL
00000edb: SUB
00000edc: AND
00000edd: PUSH2 0x0ee4
00000ee0: PUSH2 0x2029
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x01
00000ee7: PUSH1 0x01
00000ee9: PUSH1 0xa0
00000eeb: SHL
00000eec: SUB
00000eed: AND
00000eee: EQ
00000eef: SWAP1
00000ef0: POP
00000ef1: SWAP1
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: PUSH1 0x66
00000ef6: SLOAD
00000ef7: PUSH1 0xff
00000ef9: AND
00000efa: ISZERO
00000efb: PUSH2 0x0f16
00000efe: JUMPI
00000eff: PUSH1 0x40
00000f01: MLOAD
00000f02: PUSH3 0x461bcd
00000f06: PUSH1 0xe5
00000f08: SHL
00000f09: DUP2
00000f0a: MSTORE
00000f0b: PUSH1 0x04
00000f0d: ADD
00000f0e: PUSH2 0x0582
00000f11: SWAP1
00000f12: PUSH2 0x3aa0
00000f15: JUMP
00000f16: JUMPDEST
00000f17: PUSH1 0x67
00000f19: SLOAD
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0x01
00000f1e: PUSH1 0xa0
00000f20: SHL
00000f21: SUB
00000f22: AND
00000f23: CALLER
00000f24: EQ
00000f25: PUSH2 0x0f40
00000f28: JUMPI
00000f29: PUSH1 0x40
00000f2b: MLOAD
00000f2c: PUSH3 0x461bcd
00000f30: PUSH1 0xe5
00000f32: SHL
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x04
00000f37: ADD
00000f38: PUSH2 0x0582
00000f3b: SWAP1
00000f3c: PUSH2 0x3a70
00000f3f: JUMP
00000f40: JUMPDEST
00000f41: PUSH1 0x01
00000f43: PUSH1 0x01
00000f45: PUSH1 0xa0
00000f47: SHL
00000f48: SUB
00000f49: DUP3
00000f4a: AND
00000f4b: PUSH20 0xc00e94cb662c3520282e6f5717214004a7f26888
00000f60: EQ
00000f61: DUP1
00000f62: PUSH2 0x0f87
00000f65: JUMPI
00000f66: POP
00000f67: PUSH1 0x01
00000f69: PUSH1 0x01
00000f6b: PUSH1 0xa0
00000f6d: SHL
00000f6e: SUB
00000f6f: DUP3
00000f70: AND
00000f71: PUSH20 0xfa5047c9c78b8877af97bdcb85db743fd7313d4a
00000f86: EQ
00000f87: JUMPDEST
00000f88: PUSH2 0x0fa3
00000f8b: JUMPI
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: PUSH3 0x461bcd
00000f93: PUSH1 0xe5
00000f95: SHL
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x04
00000f9a: ADD
00000f9b: PUSH2 0x0582
00000f9e: SWAP1
00000f9f: PUSH2 0x3b30
00000fa2: JUMP
00000fa3: JUMPDEST
00000fa4: PUSH2 0x06f9
00000fa7: DUP3
00000fa8: DUP3
00000fa9: PUSH2 0x202d
00000fac: JUMP
00000fad: JUMPDEST
00000fae: PUSH2 0x0fb5
00000fb1: PUSH2 0x0ecd
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH2 0x0fd1
00000fb9: JUMPI
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: PUSH3 0x461bcd
00000fc1: PUSH1 0xe5
00000fc3: SHL
00000fc4: DUP2
00000fc5: MSTORE
00000fc6: PUSH1 0x04
00000fc8: ADD
00000fc9: PUSH2 0x0582
00000fcc: SWAP1
00000fcd: PUSH2 0x3b90
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: PUSH1 0x6b
00000fd4: DUP1
00000fd5: SLOAD
00000fd6: PUSH1 0x01
00000fd8: PUSH1 0x01
00000fda: PUSH1 0xa0
00000fdc: SHL
00000fdd: SUB
00000fde: SWAP1
00000fdf: SWAP3
00000fe0: AND
00000fe1: PUSH3 0x010000
00000fe5: MUL
00000fe6: PUSH3 0x010000
00000fea: PUSH1 0x01
00000fec: PUSH1 0xb0
00000fee: SHL
00000fef: SUB
00000ff0: NOT
00000ff1: SWAP1
00000ff2: SWAP3
00000ff3: AND
00000ff4: SWAP2
00000ff5: SWAP1
00000ff6: SWAP2
00000ff7: OR
00000ff8: SWAP1
00000ff9: SSTORE
00000ffa: JUMP
00000ffb: JUMPDEST
00000ffc: PUSH1 0x66
00000ffe: SLOAD
00000fff: PUSH2 0x0100
00001002: SWAP1
00001003: DIV
00001004: PUSH1 0x01
00001006: PUSH1 0x01
00001008: PUSH1 0xa0
0000100a: SHL
0000100b: SUB
0000100c: AND
0000100d: CALLER
0000100e: EQ
0000100f: PUSH2 0x102a
00001012: JUMPI
00001013: PUSH1 0x40
00001015: MLOAD
00001016: PUSH3 0x461bcd
0000101a: PUSH1 0xe5
0000101c: SHL
0000101d: DUP2
0000101e: MSTORE
0000101f: PUSH1 0x04
00001021: ADD
00001022: PUSH2 0x0582
00001025: SWAP1
00001026: PUSH2 0x3b10
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x00
0000102d: DUP2
0000102e: GT
0000102f: PUSH2 0x104a
00001032: JUMPI
00001033: PUSH1 0x40
00001035: MLOAD
00001036: PUSH3 0x461bcd
0000103a: PUSH1 0xe5
0000103c: SHL
0000103d: DUP2
0000103e: MSTORE
0000103f: PUSH1 0x04
00001041: ADD
00001042: PUSH2 0x0582
00001045: SWAP1
00001046: PUSH2 0x3c10
00001049: JUMP
0000104a: JUMPDEST
0000104b: SELFBALANCE
0000104c: DUP2
0000104d: DUP2
0000104e: LT
0000104f: ISZERO
00001050: PUSH2 0x10a2
00001053: JUMPI
00001054: PUSH1 0x00
00001056: PUSH2 0x105f
00001059: PUSH1 0x05
0000105b: PUSH2 0x1c48
0000105e: JUMP
0000105f: JUMPDEST
00001060: SWAP1
00001061: POP
00001062: DUP1
00001063: ISZERO
00001064: PUSH2 0x10a0
00001067: JUMPI
00001068: PUSH1 0x00
0000106a: PUSH2 0x1079
0000106d: DUP5
0000106e: DUP5
0000106f: PUSH4 0xffffffff
00001074: PUSH2 0x2158
00001077: AND
00001078: JUMP
00001079: JUMPDEST
0000107a: SWAP1
0000107b: POP
0000107c: PUSH1 0x00
0000107e: DUP3
0000107f: DUP3
00001080: LT
00001081: PUSH2 0x108a
00001084: JUMPI
00001085: DUP3
00001086: PUSH2 0x108c
00001089: JUMP
0000108a: JUMPDEST
0000108b: DUP2
0000108c: JUMPDEST
0000108d: SWAP1
0000108e: POP
0000108f: PUSH2 0x109a
00001092: PUSH1 0x05
00001094: DUP3
00001095: DUP6
00001096: PUSH2 0x1349
00001099: JUMP
0000109a: JUMPDEST
0000109b: SELFBALANCE
0000109c: SWAP4
0000109d: POP
0000109e: POP
0000109f: POP
000010a0: JUMPDEST
000010a1: POP
000010a2: JUMPDEST
000010a3: PUSH1 0x00
000010a5: JUMPDEST
000010a6: PUSH1 0x68
000010a8: SLOAD
000010a9: DUP2
000010aa: LT
000010ab: ISZERO
000010ac: PUSH2 0x1168
000010af: JUMPI
000010b0: DUP3
000010b1: DUP3
000010b2: LT
000010b3: PUSH2 0x10bb
000010b6: JUMPI
000010b7: PUSH2 0x1168
000010ba: JUMP
000010bb: JUMPDEST
000010bc: PUSH1 0x00
000010be: PUSH1 0x68
000010c0: DUP3
000010c1: DUP2
000010c2: SLOAD
000010c3: DUP2
000010c4: LT
000010c5: PUSH2 0x10ca
000010c8: JUMPI
000010c9: INVALID
000010ca: JUMPDEST
000010cb: PUSH1 0x00
000010cd: SWAP2
000010ce: DUP3
000010cf: MSTORE
000010d0: PUSH1 0x20
000010d2: SWAP2
000010d3: DUP3
000010d4: SWAP1
000010d5: KECCAK256
000010d6: SWAP2
000010d7: DUP2
000010d8: DIV
000010d9: SWAP1
000010da: SWAP2
000010db: ADD
000010dc: SLOAD
000010dd: PUSH1 0xff
000010df: PUSH1 0x1f
000010e1: SWAP1
000010e2: SWAP3
000010e3: AND
000010e4: PUSH2 0x0100
000010e7: EXP
000010e8: SWAP1
000010e9: DIV
000010ea: AND
000010eb: SWAP1
000010ec: POP
000010ed: PUSH1 0x05
000010ef: DUP2
000010f0: EQ
000010f1: ISZERO
000010f2: PUSH2 0x10fb
000010f5: JUMPI
000010f6: POP
000010f7: PUSH2 0x1160
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH1 0x00
000010fe: PUSH2 0x1106
00001101: DUP3
00001102: PUSH2 0x1c48
00001105: JUMP
00001106: JUMPDEST
00001107: SWAP1
00001108: POP
00001109: PUSH1 0x00
0000110b: DUP2
0000110c: GT
0000110d: PUSH2 0x1117
00001110: JUMPI
00001111: POP
00001112: POP
00001113: PUSH2 0x1160
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH1 0x00
0000111a: PUSH2 0x1129
0000111d: DUP7
0000111e: DUP7
0000111f: PUSH4 0xffffffff
00001124: PUSH2 0x2158
00001127: AND
00001128: JUMP
00001129: JUMPDEST
0000112a: SWAP1
0000112b: POP
0000112c: PUSH1 0x00
0000112e: DUP3
0000112f: DUP3
00001130: LT
00001131: PUSH2 0x113a
00001134: JUMPI
00001135: DUP3
00001136: PUSH2 0x113c
00001139: JUMP
0000113a: JUMPDEST
0000113b: DUP2
0000113c: JUMPDEST
0000113d: SWAP1
0000113e: POP
0000113f: PUSH2 0x1149
00001142: DUP5
00001143: DUP3
00001144: DUP6
00001145: PUSH2 0x1349
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH2 0x1159
0000114d: DUP7
0000114e: DUP3
0000114f: PUSH4 0xffffffff
00001154: PUSH2 0x1ffd
00001157: AND
00001158: JUMP
00001159: JUMPDEST
0000115a: SWAP6
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: POP
00001160: JUMPDEST
00001161: PUSH1 0x01
00001163: ADD
00001164: PUSH2 0x10a5
00001167: JUMP
00001168: JUMPDEST
00001169: POP
0000116a: DUP2
0000116b: SELFBALANCE
0000116c: LT
0000116d: ISZERO
0000116e: PUSH2 0x1189
00001171: JUMPI
00001172: PUSH1 0x40
00001174: MLOAD
00001175: PUSH3 0x461bcd
00001179: PUSH1 0xe5
0000117b: SHL
0000117c: DUP2
0000117d: MSTORE
0000117e: PUSH1 0x04
00001180: ADD
00001181: PUSH2 0x0582
00001184: SWAP1
00001185: PUSH2 0x3b50
00001188: JUMP
00001189: JUMPDEST
0000118a: PUSH1 0x66
0000118c: SLOAD
0000118d: PUSH1 0x40
0000118f: MLOAD
00001190: PUSH1 0x00
00001192: SWAP2
00001193: PUSH2 0x0100
00001196: SWAP1
00001197: DIV
00001198: PUSH1 0x01
0000119a: PUSH1 0x01
0000119c: PUSH1 0xa0
0000119e: SHL
0000119f: SUB
000011a0: AND
000011a1: SWAP1
000011a2: DUP5
000011a3: SWAP1
000011a4: PUSH2 0x11ac
000011a7: SWAP1
000011a8: PUSH2 0x398c
000011ab: JUMP
000011ac: JUMPDEST
000011ad: PUSH1 0x00
000011af: PUSH1 0x40
000011b1: MLOAD
000011b2: DUP1
000011b3: DUP4
000011b4: SUB
000011b5: DUP2
000011b6: DUP6
000011b7: DUP8
000011b8: GAS
000011b9: CALL
000011ba: SWAP3
000011bb: POP
000011bc: POP
000011bd: POP
000011be: RETURNDATASIZE
000011bf: DUP1
000011c0: PUSH1 0x00
000011c2: DUP2
000011c3: EQ
000011c4: PUSH2 0x11e9
000011c7: JUMPI
000011c8: PUSH1 0x40
000011ca: MLOAD
000011cb: SWAP2
000011cc: POP
000011cd: PUSH1 0x1f
000011cf: NOT
000011d0: PUSH1 0x3f
000011d2: RETURNDATASIZE
000011d3: ADD
000011d4: AND
000011d5: DUP3
000011d6: ADD
000011d7: PUSH1 0x40
000011d9: MSTORE
000011da: RETURNDATASIZE
000011db: DUP3
000011dc: MSTORE
000011dd: RETURNDATASIZE
000011de: PUSH1 0x00
000011e0: PUSH1 0x20
000011e2: DUP5
000011e3: ADD
000011e4: RETURNDATACOPY
000011e5: PUSH2 0x11ee
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH1 0x60
000011ec: SWAP2
000011ed: POP
000011ee: JUMPDEST
000011ef: POP
000011f0: POP
000011f1: SWAP1
000011f2: POP
000011f3: DUP1
000011f4: PUSH2 0x06f9
000011f7: JUMPI
000011f8: PUSH1 0x40
000011fa: MLOAD
000011fb: PUSH3 0x461bcd
000011ff: PUSH1 0xe5
00001201: SHL
00001202: DUP2
00001203: MSTORE
00001204: PUSH1 0x04
00001206: ADD
00001207: PUSH2 0x0582
0000120a: SWAP1
0000120b: PUSH2 0x3bb0
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH2 0x1217
00001213: PUSH2 0x0ecd
00001216: JUMP
00001217: JUMPDEST
00001218: PUSH2 0x1233
0000121b: JUMPI
0000121c: PUSH1 0x40
0000121e: MLOAD
0000121f: PUSH3 0x461bcd
00001223: PUSH1 0xe5
00001225: SHL
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x04
0000122a: ADD
0000122b: PUSH2 0x0582
0000122e: SWAP1
0000122f: PUSH2 0x3b90
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH1 0x67
00001236: DUP1
00001237: SLOAD
00001238: PUSH1 0x01
0000123a: PUSH1 0x01
0000123c: PUSH1 0xa0
0000123e: SHL
0000123f: SUB
00001240: NOT
00001241: AND
00001242: PUSH1 0x01
00001244: PUSH1 0x01
00001246: PUSH1 0xa0
00001248: SHL
00001249: SUB
0000124a: DUP4
0000124b: AND
0000124c: OR
0000124d: SWAP1
0000124e: SSTORE
0000124f: PUSH1 0x40
00001251: MLOAD
00001252: PUSH32 0xeb9b68c1cca2a0c5d180f75c6324fad517a04867907b0f3bee85d98fdf57ee94
00001273: SWAP1
00001274: PUSH2 0x0830
00001277: SWAP1
00001278: DUP4
00001279: SWAP1
0000127a: PUSH2 0x3997
0000127d: JUMP
0000127e: JUMPDEST
0000127f: PUSH2 0x1286
00001282: PUSH2 0x0ecd
00001285: JUMP
00001286: JUMPDEST
00001287: PUSH2 0x12a2
0000128a: JUMPI
0000128b: PUSH1 0x40
0000128d: MLOAD
0000128e: PUSH3 0x461bcd
00001292: PUSH1 0xe5
00001294: SHL
00001295: DUP2
00001296: MSTORE
00001297: PUSH1 0x04
00001299: ADD
0000129a: PUSH2 0x0582
0000129d: SWAP1
0000129e: PUSH2 0x3b90
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH2 0x12ac
000012a6: PUSH1 0x05
000012a8: PUSH2 0x0e38
000012ab: JUMP
000012ac: JUMPDEST
000012ad: ISZERO
000012ae: PUSH2 0x12bb
000012b1: JUMPI
000012b2: PUSH2 0x12bb
000012b5: PUSH1 0x05
000012b7: PUSH2 0x1c7a
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH1 0x00
000012be: JUMPDEST
000012bf: PUSH1 0x68
000012c1: SLOAD
000012c2: DUP2
000012c3: LT
000012c4: ISZERO
000012c5: PUSH2 0x133f
000012c8: JUMPI
000012c9: PUSH2 0x12fd
000012cc: PUSH1 0x68
000012ce: DUP3
000012cf: DUP2
000012d0: SLOAD
000012d1: DUP2
000012d2: LT
000012d3: PUSH2 0x12d8
000012d6: JUMPI
000012d7: INVALID
000012d8: JUMPDEST
000012d9: SWAP1
000012da: PUSH1 0x00
000012dc: MSTORE
000012dd: PUSH1 0x20
000012df: PUSH1 0x00
000012e1: KECCAK256
000012e2: SWAP1
000012e3: PUSH1 0x20
000012e5: SWAP2
000012e6: DUP3
000012e7: DUP3
000012e8: DIV
000012e9: ADD
000012ea: SWAP2
000012eb: SWAP1
000012ec: MOD
000012ed: SWAP1
000012ee: SLOAD
000012ef: SWAP1
000012f0: PUSH2 0x0100
000012f3: EXP
000012f4: SWAP1
000012f5: DIV
000012f6: PUSH1 0xff
000012f8: AND
000012f9: PUSH2 0x0e38
000012fc: JUMP
000012fd: JUMPDEST
000012fe: ISZERO
000012ff: PUSH2 0x1337
00001302: JUMPI
00001303: PUSH2 0x1337
00001306: PUSH1 0x68
00001308: DUP3
00001309: DUP2
0000130a: SLOAD
0000130b: DUP2
0000130c: LT
0000130d: PUSH2 0x1312
00001310: JUMPI
00001311: INVALID
00001312: JUMPDEST
00001313: SWAP1
00001314: PUSH1 0x00
00001316: MSTORE
00001317: PUSH1 0x20
00001319: PUSH1 0x00
0000131b: KECCAK256
0000131c: SWAP1
0000131d: PUSH1 0x20
0000131f: SWAP2
00001320: DUP3
00001321: DUP3
00001322: DIV
00001323: ADD
00001324: SWAP2
00001325: SWAP1
00001326: MOD
00001327: SWAP1
00001328: SLOAD
00001329: SWAP1
0000132a: PUSH2 0x0100
0000132d: EXP
0000132e: SWAP1
0000132f: DIV
00001330: PUSH1 0xff
00001332: AND
00001333: PUSH2 0x1c7a
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x01
0000133a: ADD
0000133b: PUSH2 0x12be
0000133e: JUMP
0000133f: JUMPDEST
00001340: POP
00001341: PUSH2 0x0755
00001344: DUP2
00001345: PUSH2 0x05a3
00001348: JUMP
00001349: JUMPDEST
0000134a: PUSH1 0x66
0000134c: SLOAD
0000134d: PUSH1 0xff
0000134f: AND
00001350: ISZERO
00001351: PUSH2 0x136c
00001354: JUMPI
00001355: PUSH1 0x40
00001357: MLOAD
00001358: PUSH3 0x461bcd
0000135c: PUSH1 0xe5
0000135e: SHL
0000135f: DUP2
00001360: MSTORE
00001361: PUSH1 0x04
00001363: ADD
00001364: PUSH2 0x0582
00001367: SWAP1
00001368: PUSH2 0x3aa0
0000136b: JUMP
0000136c: JUMPDEST
0000136d: PUSH1 0x66
0000136f: SLOAD
00001370: PUSH2 0x0100
00001373: SWAP1
00001374: DIV
00001375: PUSH1 0x01
00001377: PUSH1 0x01
00001379: PUSH1 0xa0
0000137b: SHL
0000137c: SUB
0000137d: AND
0000137e: CALLER
0000137f: EQ
00001380: PUSH2 0x139b
00001383: JUMPI
00001384: PUSH1 0x40
00001386: MLOAD
00001387: PUSH3 0x461bcd
0000138b: PUSH1 0xe5
0000138d: SHL
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x04
00001392: ADD
00001393: PUSH2 0x0582
00001396: SWAP1
00001397: PUSH2 0x3b10
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH2 0x13a5
0000139f: DUP4
000013a0: DUP4
000013a1: PUSH2 0x219a
000013a4: JUMP
000013a5: JUMPDEST
000013a6: DUP1
000013a7: DUP3
000013a8: EQ
000013a9: ISZERO
000013aa: PUSH2 0x06f9
000013ad: JUMPI
000013ae: POP
000013af: POP
000013b0: PUSH1 0xff
000013b2: AND
000013b3: PUSH1 0x00
000013b5: SWAP1
000013b6: DUP2
000013b7: MSTORE
000013b8: PUSH1 0x6a
000013ba: PUSH1 0x20
000013bc: MSTORE
000013bd: PUSH1 0x40
000013bf: SWAP1
000013c0: KECCAK256
000013c1: DUP1
000013c2: SLOAD
000013c3: PUSH1 0xff
000013c5: NOT
000013c6: AND
000013c7: SWAP1
000013c8: SSTORE
000013c9: JUMP
000013ca: JUMPDEST
000013cb: PUSH1 0x66
000013cd: SLOAD
000013ce: PUSH1 0xff
000013d0: AND
000013d1: ISZERO
000013d2: PUSH2 0x13ed
000013d5: JUMPI
000013d6: PUSH1 0x40
000013d8: MLOAD
000013d9: PUSH3 0x461bcd
000013dd: PUSH1 0xe5
000013df: SHL
000013e0: DUP2
000013e1: MSTORE
000013e2: PUSH1 0x04
000013e4: ADD
000013e5: PUSH2 0x0582
000013e8: SWAP1
000013e9: PUSH2 0x3aa0
000013ec: JUMP
000013ed: JUMPDEST
000013ee: PUSH1 0x67
000013f0: SLOAD
000013f1: PUSH1 0x01
000013f3: PUSH1 0x01
000013f5: PUSH1 0xa0
000013f7: SHL
000013f8: SUB
000013f9: AND
000013fa: CALLER
000013fb: EQ
000013fc: PUSH2 0x1417
000013ff: JUMPI
00001400: PUSH1 0x40
00001402: MLOAD
00001403: PUSH3 0x461bcd
00001407: PUSH1 0xe5
00001409: SHL
0000140a: DUP2
0000140b: MSTORE
0000140c: PUSH1 0x04
0000140e: ADD
0000140f: PUSH2 0x0582
00001412: SWAP1
00001413: PUSH2 0x3a70
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH1 0x00
0000141a: DUP2
0000141b: GT
0000141c: PUSH2 0x1437
0000141f: JUMPI
00001420: PUSH1 0x40
00001422: MLOAD
00001423: PUSH3 0x461bcd
00001427: PUSH1 0xe5
00001429: SHL
0000142a: DUP2
0000142b: MSTORE
0000142c: PUSH1 0x04
0000142e: ADD
0000142f: PUSH2 0x0582
00001432: SWAP1
00001433: PUSH2 0x3a80
00001436: JUMP
00001437: JUMPDEST
00001438: PUSH2 0x1441
0000143b: DUP3
0000143c: DUP3
0000143d: PUSH2 0x219a
00001440: JUMP
00001441: JUMPDEST
00001442: PUSH1 0x00
00001444: PUSH2 0x144c
00001447: DUP4
00001448: PUSH2 0x0b7f
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH1 0xff
0000144f: SWAP1
00001450: SWAP4
00001451: AND
00001452: PUSH1 0x00
00001454: SWAP1
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x6a
00001459: PUSH1 0x20
0000145b: MSTORE
0000145c: PUSH1 0x40
0000145e: SWAP1
0000145f: KECCAK256
00001460: DUP1
00001461: SLOAD
00001462: PUSH1 0xff
00001464: NOT
00001465: AND
00001466: SWAP2
00001467: SWAP1
00001468: SWAP4
00001469: GT
0000146a: OR
0000146b: SWAP1
0000146c: SWAP2
0000146d: SSTORE
0000146e: POP
0000146f: JUMP
00001470: JUMPDEST
00001471: PUSH1 0x00
00001473: SLOAD
00001474: PUSH2 0x0100
00001477: SWAP1
00001478: DIV
00001479: PUSH1 0xff
0000147b: AND
0000147c: DUP1
0000147d: PUSH2 0x1489
00001480: JUMPI
00001481: POP
00001482: PUSH2 0x1489
00001485: PUSH2 0x2391
00001488: JUMP
00001489: JUMPDEST
0000148a: DUP1
0000148b: PUSH2 0x1497
0000148e: JUMPI
0000148f: POP
00001490: PUSH1 0x00
00001492: SLOAD
00001493: PUSH1 0xff
00001495: AND
00001496: ISZERO
00001497: JUMPDEST
00001498: PUSH2 0x14b3
0000149b: JUMPI
0000149c: PUSH1 0x40
0000149e: MLOAD
0000149f: PUSH3 0x461bcd
000014a3: PUSH1 0xe5
000014a5: SHL
000014a6: DUP2
000014a7: MSTORE
000014a8: PUSH1 0x04
000014aa: ADD
000014ab: PUSH2 0x0582
000014ae: SWAP1
000014af: PUSH2 0x3ba0
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH1 0x00
000014b6: SLOAD
000014b7: PUSH2 0x0100
000014ba: SWAP1
000014bb: DIV
000014bc: PUSH1 0xff
000014be: AND
000014bf: ISZERO
000014c0: DUP1
000014c1: ISZERO
000014c2: PUSH2 0x14de
000014c5: JUMPI
000014c6: PUSH1 0x00
000014c8: DUP1
000014c9: SLOAD
000014ca: PUSH1 0xff
000014cc: NOT
000014cd: PUSH2 0xff00
000014d0: NOT
000014d1: SWAP1
000014d2: SWAP2
000014d3: AND
000014d4: PUSH2 0x0100
000014d7: OR
000014d8: AND
000014d9: PUSH1 0x01
000014db: OR
000014dc: SWAP1
000014dd: SSTORE
000014de: JUMPDEST
000014df: PUSH1 0x33
000014e1: DUP1
000014e2: SLOAD
000014e3: PUSH1 0x01
000014e5: PUSH1 0x01
000014e7: PUSH1 0xa0
000014e9: SHL
000014ea: SUB
000014eb: NOT
000014ec: AND
000014ed: PUSH1 0x01
000014ef: PUSH1 0x01
000014f1: PUSH1 0xa0
000014f3: SHL
000014f4: SUB
000014f5: DUP5
000014f6: DUP2
000014f7: AND
000014f8: SWAP2
000014f9: SWAP1
000014fa: SWAP2
000014fb: OR
000014fc: SWAP2
000014fd: DUP3
000014fe: SWAP1
000014ff: SSTORE
00001500: PUSH1 0x40
00001502: MLOAD
00001503: SWAP2
00001504: AND
00001505: SWAP1
00001506: PUSH1 0x00
00001508: SWAP1
00001509: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000152a: SWAP1
0000152b: DUP3
0000152c: SWAP1
0000152d: LOG3
0000152e: DUP1
0000152f: ISZERO
00001530: PUSH2 0x06fb
00001533: JUMPI
00001534: PUSH1 0x00
00001536: DUP1
00001537: SLOAD
00001538: PUSH2 0xff00
0000153b: NOT
0000153c: AND
0000153d: SWAP1
0000153e: SSTORE
0000153f: POP
00001540: POP
00001541: JUMP
00001542: JUMPDEST
00001543: PUSH1 0x66
00001545: SLOAD
00001546: PUSH1 0xff
00001548: AND
00001549: ISZERO
0000154a: PUSH2 0x1565
0000154d: JUMPI
0000154e: PUSH1 0x40
00001550: MLOAD
00001551: PUSH3 0x461bcd
00001555: PUSH1 0xe5
00001557: SHL
00001558: DUP2
00001559: MSTORE
0000155a: PUSH1 0x04
0000155c: ADD
0000155d: PUSH2 0x0582
00001560: SWAP1
00001561: PUSH2 0x3aa0
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH1 0x67
00001568: SLOAD
00001569: PUSH1 0x01
0000156b: PUSH1 0x01
0000156d: PUSH1 0xa0
0000156f: SHL
00001570: SUB
00001571: AND
00001572: CALLER
00001573: EQ
00001574: PUSH2 0x158f
00001577: JUMPI
00001578: PUSH1 0x40
0000157a: MLOAD
0000157b: PUSH3 0x461bcd
0000157f: PUSH1 0xe5
00001581: SHL
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x04
00001586: ADD
00001587: PUSH2 0x0582
0000158a: SWAP1
0000158b: PUSH2 0x3a70
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH1 0x00
00001592: DUP2
00001593: GT
00001594: PUSH2 0x15af
00001597: JUMPI
00001598: PUSH1 0x40
0000159a: MLOAD
0000159b: PUSH3 0x461bcd
0000159f: PUSH1 0xe5
000015a1: SHL
000015a2: DUP2
000015a3: MSTORE
000015a4: PUSH1 0x04
000015a6: ADD
000015a7: PUSH2 0x0582
000015aa: SWAP1
000015ab: PUSH2 0x3a80
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH1 0xff
000015b2: DUP3
000015b3: AND
000015b4: PUSH2 0x1623
000015b7: JUMPI
000015b8: PUSH1 0x40
000015ba: MLOAD
000015bb: PUSH4 0xb6b55f25
000015c0: PUSH1 0xe0
000015c2: SHL
000015c3: DUP2
000015c4: MSTORE
000015c5: PUSH20 0x5add5c070902e4b535f76bafac486cc689095d71
000015da: SWAP1
000015db: PUSH4 0xb6b55f25
000015e0: SWAP1
000015e1: PUSH2 0x15ee
000015e4: SWAP1
000015e5: DUP5
000015e6: SWAP1
000015e7: PUSH1 0x04
000015e9: ADD
000015ea: PUSH2 0x3c60
000015ed: JUMP
000015ee: JUMPDEST
000015ef: PUSH1 0x00
000015f1: PUSH1 0x40
000015f3: MLOAD
000015f4: DUP1
000015f5: DUP4
000015f6: SUB
000015f7: DUP2
000015f8: DUP7
000015f9: DUP1
000015fa: EXTCODESIZE
000015fb: ISZERO
000015fc: DUP1
000015fd: ISZERO
000015fe: PUSH2 0x1606
00001601: JUMPI
00001602: PUSH1 0x00
00001604: DUP1
00001605: REVERT
00001606: JUMPDEST
00001607: POP
00001608: GAS
00001609: DELEGATECALL
0000160a: ISZERO
0000160b: DUP1
0000160c: ISZERO
0000160d: PUSH2 0x161a
00001610: JUMPI
00001611: RETURNDATASIZE
00001612: PUSH1 0x00
00001614: DUP1
00001615: RETURNDATACOPY
00001616: RETURNDATASIZE
00001617: PUSH1 0x00
00001619: REVERT
0000161a: JUMPDEST
0000161b: POP
0000161c: POP
0000161d: POP
0000161e: POP
0000161f: PUSH2 0x178f
00001622: JUMP
00001623: JUMPDEST
00001624: DUP2
00001625: PUSH1 0xff
00001627: AND
00001628: PUSH1 0x01
0000162a: EQ
0000162b: ISZERO
0000162c: PUSH2 0x1666
0000162f: JUMPI
00001630: PUSH1 0x40
00001632: MLOAD
00001633: PUSH4 0xb6b55f25
00001638: PUSH1 0xe0
0000163a: SHL
0000163b: DUP2
0000163c: MSTORE
0000163d: PUSH20 0xde6796aa414173b63f626be1f13e419d8e35fc09
00001652: SWAP1
00001653: PUSH4 0xb6b55f25
00001658: SWAP1
00001659: PUSH2 0x15ee
0000165c: SWAP1
0000165d: DUP5
0000165e: SWAP1
0000165f: PUSH1 0x04
00001661: ADD
00001662: PUSH2 0x3c60
00001665: JUMP
00001666: JUMPDEST
00001667: DUP2
00001668: PUSH1 0xff
0000166a: AND
0000166b: PUSH1 0x02
0000166d: EQ
0000166e: ISZERO
0000166f: PUSH2 0x16a9
00001672: JUMPI
00001673: PUSH1 0x40
00001675: MLOAD
00001676: PUSH4 0xb6b55f25
0000167b: PUSH1 0xe0
0000167d: SHL
0000167e: DUP2
0000167f: MSTORE
00001680: PUSH20 0x948e587a4c175e3b4208f8084e6b8c5c0c4dae66
00001695: SWAP1
00001696: PUSH4 0xb6b55f25
0000169b: SWAP1
0000169c: PUSH2 0x15ee
0000169f: SWAP1
000016a0: DUP5
000016a1: SWAP1
000016a2: PUSH1 0x04
000016a4: ADD
000016a5: PUSH2 0x3c60
000016a8: JUMP
000016a9: JUMPDEST
000016aa: DUP2
000016ab: PUSH1 0xff
000016ad: AND
000016ae: PUSH1 0x03
000016b0: EQ
000016b1: ISZERO
000016b2: PUSH2 0x16f6
000016b5: JUMPI
000016b6: PUSH1 0x6b
000016b8: SLOAD
000016b9: PUSH1 0x40
000016bb: MLOAD
000016bc: PUSH4 0x422b01d3
000016c1: PUSH1 0xe1
000016c3: SHL
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH20 0x25f9cebb75ebbaa7b7eddc70d33ffb993896ecb9
000016db: SWAP2
000016dc: PUSH4 0x845603a6
000016e1: SWAP2
000016e2: PUSH2 0x15ee
000016e5: SWAP2
000016e6: DUP6
000016e7: SWAP2
000016e8: PUSH2 0xffff
000016eb: SWAP1
000016ec: SWAP2
000016ed: AND
000016ee: SWAP1
000016ef: PUSH1 0x04
000016f1: ADD
000016f2: PUSH2 0x3ca2
000016f5: JUMP
000016f6: JUMPDEST
000016f7: DUP2
000016f8: PUSH1 0xff
000016fa: AND
000016fb: PUSH1 0x04
000016fd: EQ
000016fe: ISZERO
000016ff: PUSH2 0x1739
00001702: JUMPI
00001703: PUSH1 0x40
00001705: MLOAD
00001706: PUSH4 0xb6b55f25
0000170b: PUSH1 0xe0
0000170d: SHL
0000170e: DUP2
0000170f: MSTORE
00001710: PUSH20 0xed2cd60c0000a990a5ffaf0e7ddc70a37d7c623f
00001725: SWAP1
00001726: PUSH4 0xb6b55f25
0000172b: SWAP1
0000172c: PUSH2 0x15ee
0000172f: SWAP1
00001730: DUP5
00001731: SWAP1
00001732: PUSH1 0x04
00001734: ADD
00001735: PUSH2 0x3c60
00001738: JUMP
00001739: JUMPDEST
0000173a: DUP2
0000173b: PUSH1 0xff
0000173d: AND
0000173e: PUSH1 0x05
00001740: EQ
00001741: ISZERO
00001742: PUSH2 0x0952
00001745: JUMPI
00001746: PUSH1 0x6b
00001748: SLOAD
00001749: PUSH1 0x40
0000174b: MLOAD
0000174c: PUSH4 0x11f9fbc9
00001751: PUSH1 0xe2
00001753: SHL
00001754: DUP2
00001755: MSTORE
00001756: PUSH20 0x97b6879573ae5c09cbe200c96b407ef9ac74fcc3
0000176b: SWAP2
0000176c: PUSH4 0x47e7ef24
00001771: SWAP2
00001772: PUSH2 0x15ee
00001775: SWAP2
00001776: PUSH3 0x010000
0000177a: SWAP1
0000177b: DIV
0000177c: PUSH1 0x01
0000177e: PUSH1 0x01
00001780: PUSH1 0xa0
00001782: SHL
00001783: SUB
00001784: AND
00001785: SWAP1
00001786: DUP6
00001787: SWAP1
00001788: PUSH1 0x04
0000178a: ADD
0000178b: PUSH2 0x39ce
0000178e: JUMP
0000178f: JUMPDEST
00001790: PUSH1 0xff
00001792: DUP3
00001793: AND
00001794: PUSH1 0x00
00001796: DUP2
00001797: DUP2
00001798: MSTORE
00001799: PUSH1 0x6a
0000179b: PUSH1 0x20
0000179d: MSTORE
0000179e: PUSH1 0x40
000017a0: SWAP1
000017a1: KECCAK256
000017a2: DUP1
000017a3: SLOAD
000017a4: PUSH1 0xff
000017a6: NOT
000017a7: AND
000017a8: PUSH1 0x01
000017aa: OR
000017ab: SWAP1
000017ac: SSTORE
000017ad: PUSH1 0x05
000017af: DUP2
000017b0: GT
000017b1: ISZERO
000017b2: PUSH2 0x17b7
000017b5: JUMPI
000017b6: INVALID
000017b7: JUMPDEST
000017b8: PUSH1 0x05
000017ba: DUP2
000017bb: GT
000017bc: ISZERO
000017bd: PUSH2 0x17c2
000017c0: JUMPI
000017c1: INVALID
000017c2: JUMPDEST
000017c3: PUSH1 0x00
000017c5: JUMPDEST
000017c6: PUSH32 0x9e17470c2398acb1637f3cd25310210eb4c04c2f91adee1cef82fd1230f1f6ad
000017e7: DUP4
000017e8: PUSH1 0x40
000017ea: MLOAD
000017eb: PUSH2 0x17f4
000017ee: SWAP2
000017ef: SWAP1
000017f0: PUSH2 0x3c60
000017f3: JUMP
000017f4: JUMPDEST
000017f5: PUSH1 0x40
000017f7: MLOAD
000017f8: DUP1
000017f9: SWAP2
000017fa: SUB
000017fb: SWAP1
000017fc: LOG3
000017fd: POP
000017fe: POP
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH1 0x00
00001803: PUSH1 0x60
00001805: DUP1
00001806: PUSH1 0x60
00001808: PUSH1 0x68
0000180a: DUP1
0000180b: SLOAD
0000180c: SWAP1
0000180d: POP
0000180e: PUSH1 0x40
00001810: MLOAD
00001811: SWAP1
00001812: DUP1
00001813: DUP3
00001814: MSTORE
00001815: DUP1
00001816: PUSH1 0x20
00001818: MUL
00001819: PUSH1 0x20
0000181b: ADD
0000181c: DUP3
0000181d: ADD
0000181e: PUSH1 0x40
00001820: MSTORE
00001821: DUP1
00001822: ISZERO
00001823: PUSH2 0x1836
00001826: JUMPI
00001827: DUP2
00001828: PUSH1 0x20
0000182a: ADD
0000182b: PUSH1 0x20
0000182d: DUP3
0000182e: MUL
0000182f: DUP1
00001830: CODESIZE
00001831: DUP4
00001832: CODECOPY
00001833: ADD
00001834: SWAP1
00001835: POP
00001836: JUMPDEST
00001837: POP
00001838: SWAP1
00001839: POP
0000183a: PUSH1 0x60
0000183c: PUSH1 0x68
0000183e: DUP1
0000183f: SLOAD
00001840: SWAP1
00001841: POP
00001842: PUSH1 0x40
00001844: MLOAD
00001845: SWAP1
00001846: DUP1
00001847: DUP3
00001848: MSTORE
00001849: DUP1
0000184a: PUSH1 0x20
0000184c: MUL
0000184d: PUSH1 0x20
0000184f: ADD
00001850: DUP3
00001851: ADD
00001852: PUSH1 0x40
00001854: MSTORE
00001855: DUP1
00001856: ISZERO
00001857: PUSH2 0x186a
0000185a: JUMPI
0000185b: DUP2
0000185c: PUSH1 0x20
0000185e: ADD
0000185f: PUSH1 0x20
00001861: DUP3
00001862: MUL
00001863: DUP1
00001864: CODESIZE
00001865: DUP4
00001866: CODECOPY
00001867: ADD
00001868: SWAP1
00001869: POP
0000186a: JUMPDEST
0000186b: POP
0000186c: SWAP1
0000186d: POP
0000186e: PUSH1 0x00
00001870: JUMPDEST
00001871: PUSH1 0x68
00001873: SLOAD
00001874: DUP2
00001875: LT
00001876: ISZERO
00001877: PUSH2 0x18f6
0000187a: JUMPI
0000187b: PUSH1 0x68
0000187d: DUP2
0000187e: DUP2
0000187f: SLOAD
00001880: DUP2
00001881: LT
00001882: PUSH2 0x1887
00001885: JUMPI
00001886: INVALID
00001887: JUMPDEST
00001888: SWAP1
00001889: PUSH1 0x00
0000188b: MSTORE
0000188c: PUSH1 0x20
0000188e: PUSH1 0x00
00001890: KECCAK256
00001891: SWAP1
00001892: PUSH1 0x20
00001894: SWAP2
00001895: DUP3
00001896: DUP3
00001897: DIV
00001898: ADD
00001899: SWAP2
0000189a: SWAP1
0000189b: MOD
0000189c: SWAP1
0000189d: SLOAD
0000189e: SWAP1
0000189f: PUSH2 0x0100
000018a2: EXP
000018a3: SWAP1
000018a4: DIV
000018a5: PUSH1 0xff
000018a7: AND
000018a8: DUP4
000018a9: DUP3
000018aa: DUP2
000018ab: MLOAD
000018ac: DUP2
000018ad: LT
000018ae: PUSH2 0x18b3
000018b1: JUMPI
000018b2: INVALID
000018b3: JUMPDEST
000018b4: PUSH1 0x20
000018b6: MUL
000018b7: PUSH1 0x20
000018b9: ADD
000018ba: ADD
000018bb: SWAP1
000018bc: PUSH1 0xff
000018be: AND
000018bf: SWAP1
000018c0: DUP2
000018c1: PUSH1 0xff
000018c3: AND
000018c4: DUP2
000018c5: MSTORE
000018c6: POP
000018c7: POP
000018c8: PUSH2 0x18d7
000018cb: PUSH1 0x68
000018cd: DUP3
000018ce: DUP2
000018cf: SLOAD
000018d0: DUP2
000018d1: LT
000018d2: PUSH2 0x077b
000018d5: JUMPI
000018d6: INVALID
000018d7: JUMPDEST
000018d8: DUP3
000018d9: DUP3
000018da: DUP2
000018db: MLOAD
000018dc: DUP2
000018dd: LT
000018de: PUSH2 0x18e3
000018e1: JUMPI
000018e2: INVALID
000018e3: JUMPDEST
000018e4: PUSH1 0x20
000018e6: SWAP1
000018e7: DUP2
000018e8: MUL
000018e9: SWAP2
000018ea: SWAP1
000018eb: SWAP2
000018ec: ADD
000018ed: ADD
000018ee: MSTORE
000018ef: PUSH1 0x01
000018f1: ADD
000018f2: PUSH2 0x1870
000018f5: JUMP
000018f6: JUMPDEST
000018f7: POP
000018f8: SELFBALANCE
000018f9: SWAP6
000018fa: SWAP2
000018fb: SWAP5
000018fc: POP
000018fd: SWAP3
000018fe: POP
000018ff: SWAP1
00001900: POP
00001901: JUMP
00001902: JUMPDEST
00001903: PUSH1 0x01
00001905: DUP2
00001906: JUMP
00001907: JUMPDEST
00001908: PUSH2 0x190f
0000190b: PUSH2 0x0ecd
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH2 0x074c
00001913: JUMPI
00001914: PUSH1 0x40
00001916: MLOAD
00001917: PUSH3 0x461bcd
0000191b: PUSH1 0xe5
0000191d: SHL
0000191e: DUP2
0000191f: MSTORE
00001920: PUSH1 0x04
00001922: ADD
00001923: PUSH2 0x0582
00001926: SWAP1
00001927: PUSH2 0x3b90
0000192a: JUMP
0000192b: JUMPDEST
0000192c: PUSH2 0x1933
0000192f: PUSH2 0x0ecd
00001932: JUMP
00001933: JUMPDEST
00001934: PUSH2 0x194f
00001937: JUMPI
00001938: PUSH1 0x40
0000193a: MLOAD
0000193b: PUSH3 0x461bcd
0000193f: PUSH1 0xe5
00001941: SHL
00001942: DUP2
00001943: MSTORE
00001944: PUSH1 0x04
00001946: ADD
00001947: PUSH2 0x0582
0000194a: SWAP1
0000194b: PUSH2 0x3b90
0000194e: JUMP
0000194f: JUMPDEST
00001950: PUSH2 0x0755
00001953: DUP2
00001954: PUSH2 0x2397
00001957: JUMP
00001958: JUMPDEST
00001959: PUSH2 0x1960
0000195c: PUSH2 0x0ecd
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH2 0x197c
00001964: JUMPI
00001965: PUSH1 0x40
00001967: MLOAD
00001968: PUSH3 0x461bcd
0000196c: PUSH1 0xe5
0000196e: SHL
0000196f: DUP2
00001970: MSTORE
00001971: PUSH1 0x04
00001973: ADD
00001974: PUSH2 0x0582
00001977: SWAP1
00001978: PUSH2 0x3b90
0000197b: JUMP
0000197c: JUMPDEST
0000197d: PUSH1 0x66
0000197f: SLOAD
00001980: PUSH1 0xff
00001982: AND
00001983: ISZERO
00001984: PUSH2 0x199f
00001987: JUMPI
00001988: PUSH1 0x40
0000198a: MLOAD
0000198b: PUSH3 0x461bcd
0000198f: PUSH1 0xe5
00001991: SHL
00001992: DUP2
00001993: MSTORE
00001994: PUSH1 0x04
00001996: ADD
00001997: PUSH2 0x0582
0000199a: SWAP1
0000199b: PUSH2 0x3bd0
0000199e: JUMP
0000199f: JUMPDEST
000019a0: PUSH1 0x66
000019a2: DUP1
000019a3: SLOAD
000019a4: PUSH1 0xff
000019a6: NOT
000019a7: AND
000019a8: PUSH1 0x01
000019aa: OR
000019ab: SWAP1
000019ac: SSTORE
000019ad: PUSH1 0x40
000019af: MLOAD
000019b0: PUSH32 0x0a6b9c6c74d93f230c4346c52ac415dd7dda5a0efb4f7394c0bfb5baa87d3265
000019d1: SWAP1
000019d2: PUSH1 0x00
000019d4: SWAP1
000019d5: LOG1
000019d6: JUMP
000019d7: JUMPDEST
000019d8: PUSH1 0x66
000019da: SLOAD
000019db: PUSH1 0xff
000019dd: AND
000019de: ISZERO
000019df: PUSH2 0x19fa
000019e2: JUMPI
000019e3: PUSH1 0x40
000019e5: MLOAD
000019e6: PUSH3 0x461bcd
000019ea: PUSH1 0xe5
000019ec: SHL
000019ed: DUP2
000019ee: MSTORE
000019ef: PUSH1 0x04
000019f1: ADD
000019f2: PUSH2 0x0582
000019f5: SWAP1
000019f6: PUSH2 0x3aa0
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH1 0x67
000019fd: SLOAD
000019fe: PUSH1 0x01
00001a00: PUSH1 0x01
00001a02: PUSH1 0xa0
00001a04: SHL
00001a05: SUB
00001a06: AND
00001a07: CALLER
00001a08: EQ
00001a09: PUSH2 0x1a24
00001a0c: JUMPI
00001a0d: PUSH1 0x40
00001a0f: MLOAD
00001a10: PUSH3 0x461bcd
00001a14: PUSH1 0xe5
00001a16: SHL
00001a17: DUP2
00001a18: MSTORE
00001a19: PUSH1 0x04
00001a1b: ADD
00001a1c: PUSH2 0x0582
00001a1f: SWAP1
00001a20: PUSH2 0x3a70
00001a23: JUMP
00001a24: JUMPDEST
00001a25: SELFBALANCE
00001a26: PUSH2 0x1a2d
00001a29: PUSH2 0x2792
00001a2c: JUMP
00001a2d: JUMPDEST
00001a2e: PUSH2 0x1a39
00001a31: DUP6
00001a32: DUP6
00001a33: DUP6
00001a34: CALLVALUE
00001a35: PUSH2 0x2419
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: DUP1
00001a3b: MLOAD
00001a3c: PUSH1 0x20
00001a3e: DUP3
00001a3f: ADD
00001a40: MLOAD
00001a41: PUSH1 0x40
00001a43: MLOAD
00001a44: SWAP3
00001a45: SWAP4
00001a46: POP
00001a47: SELFBALANCE
00001a48: SWAP3
00001a49: PUSH32 0xbdf71678f3f7c296138b1bb2ac053c1d65f5c41347edd3ef7bb8c139bc3e3dd3
00001a6a: SWAP3
00001a6b: PUSH2 0x1a75
00001a6e: SWAP3
00001a6f: DUP12
00001a70: SWAP3
00001a71: PUSH2 0x39e9
00001a74: JUMP
00001a75: JUMPDEST
00001a76: PUSH1 0x40
00001a78: MLOAD
00001a79: DUP1
00001a7a: SWAP2
00001a7b: SUB
00001a7c: SWAP1
00001a7d: LOG1
00001a7e: PUSH1 0x40
00001a80: MLOAD
00001a81: PUSH4 0x70a08231
00001a86: PUSH1 0xe0
00001a88: SHL
00001a89: DUP2
00001a8a: MSTORE
00001a8b: PUSH1 0x00
00001a8d: SWAP1
00001a8e: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001aa3: SWAP1
00001aa4: PUSH4 0x70a08231
00001aa9: SWAP1
00001aaa: PUSH2 0x1ab7
00001aad: SWAP1
00001aae: ADDRESS
00001aaf: SWAP1
00001ab0: PUSH1 0x04
00001ab2: ADD
00001ab3: PUSH2 0x39a5
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: PUSH1 0x20
00001aba: PUSH1 0x40
00001abc: MLOAD
00001abd: DUP1
00001abe: DUP4
00001abf: SUB
00001ac0: DUP2
00001ac1: DUP7
00001ac2: DUP1
00001ac3: EXTCODESIZE
00001ac4: ISZERO
00001ac5: DUP1
00001ac6: ISZERO
00001ac7: PUSH2 0x1acf
00001aca: JUMPI
00001acb: PUSH1 0x00
00001acd: DUP1
00001ace: REVERT
00001acf: JUMPDEST
00001ad0: POP
00001ad1: GAS
00001ad2: STATICCALL
00001ad3: ISZERO
00001ad4: DUP1
00001ad5: ISZERO
00001ad6: PUSH2 0x1ae3
00001ad9: JUMPI
00001ada: RETURNDATASIZE
00001adb: PUSH1 0x00
00001add: DUP1
00001ade: RETURNDATACOPY
00001adf: RETURNDATASIZE
00001ae0: PUSH1 0x00
00001ae2: REVERT
00001ae3: JUMPDEST
00001ae4: POP
00001ae5: POP
00001ae6: POP
00001ae7: POP
00001ae8: PUSH1 0x40
00001aea: MLOAD
00001aeb: RETURNDATASIZE
00001aec: PUSH1 0x1f
00001aee: NOT
00001aef: PUSH1 0x1f
00001af1: DUP3
00001af2: ADD
00001af3: AND
00001af4: DUP3
00001af5: ADD
00001af6: DUP1
00001af7: PUSH1 0x40
00001af9: MSTORE
00001afa: POP
00001afb: PUSH2 0x1b07
00001afe: SWAP2
00001aff: SWAP1
00001b00: DUP2
00001b01: ADD
00001b02: SWAP1
00001b03: PUSH2 0x2cc2
00001b06: JUMP
00001b07: JUMPDEST
00001b08: SWAP1
00001b09: POP
00001b0a: PUSH1 0x00
00001b0c: DUP2
00001b0d: GT
00001b0e: PUSH2 0x1b29
00001b11: JUMPI
00001b12: PUSH1 0x40
00001b14: MLOAD
00001b15: PUSH3 0x461bcd
00001b19: PUSH1 0xe5
00001b1b: SHL
00001b1c: DUP2
00001b1d: MSTORE
00001b1e: PUSH1 0x04
00001b20: ADD
00001b21: PUSH2 0x0582
00001b24: SWAP1
00001b25: PUSH2 0x3bf0
00001b28: JUMP
00001b29: JUMPDEST
00001b2a: PUSH1 0x40
00001b2c: MLOAD
00001b2d: PUSH4 0x2e1a7d4d
00001b32: PUSH1 0xe0
00001b34: SHL
00001b35: DUP2
00001b36: MSTORE
00001b37: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001b4c: SWAP1
00001b4d: PUSH4 0x2e1a7d4d
00001b52: SWAP1
00001b53: PUSH2 0x1b60
00001b56: SWAP1
00001b57: DUP5
00001b58: SWAP1
00001b59: PUSH1 0x04
00001b5b: ADD
00001b5c: PUSH2 0x3c60
00001b5f: JUMP
00001b60: JUMPDEST
00001b61: PUSH1 0x00
00001b63: PUSH1 0x40
00001b65: MLOAD
00001b66: DUP1
00001b67: DUP4
00001b68: SUB
00001b69: DUP2
00001b6a: PUSH1 0x00
00001b6c: DUP8
00001b6d: DUP1
00001b6e: EXTCODESIZE
00001b6f: ISZERO
00001b70: DUP1
00001b71: ISZERO
00001b72: PUSH2 0x1b7a
00001b75: JUMPI
00001b76: PUSH1 0x00
00001b78: DUP1
00001b79: REVERT
00001b7a: JUMPDEST
00001b7b: POP
00001b7c: GAS
00001b7d: CALL
00001b7e: ISZERO
00001b7f: DUP1
00001b80: ISZERO
00001b81: PUSH2 0x1b8e
00001b84: JUMPI
00001b85: RETURNDATASIZE
00001b86: PUSH1 0x00
00001b88: DUP1
00001b89: RETURNDATACOPY
00001b8a: RETURNDATASIZE
00001b8b: PUSH1 0x00
00001b8d: REVERT
00001b8e: JUMPDEST
00001b8f: POP
00001b90: POP
00001b91: POP
00001b92: POP
00001b93: PUSH1 0x00
00001b95: PUSH2 0x1bb7
00001b98: PUSH2 0x1baa
00001b9b: CALLVALUE
00001b9c: DUP8
00001b9d: PUSH2 0x2158
00001ba0: SWAP1
00001ba1: SWAP2
00001ba2: SWAP1
00001ba3: PUSH4 0xffffffff
00001ba8: AND
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: DUP5
00001bac: SWAP1
00001bad: PUSH4 0xffffffff
00001bb2: PUSH2 0x2158
00001bb5: AND
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: SWAP1
00001bb9: POP
00001bba: DUP1
00001bbb: ISZERO
00001bbc: PUSH2 0x1c3d
00001bbf: JUMPI
00001bc0: PUSH1 0x00
00001bc2: CALLER
00001bc3: PUSH1 0x01
00001bc5: PUSH1 0x01
00001bc7: PUSH1 0xa0
00001bc9: SHL
00001bca: SUB
00001bcb: AND
00001bcc: DUP3
00001bcd: PUSH1 0x40
00001bcf: MLOAD
00001bd0: PUSH2 0x1bd8
00001bd3: SWAP1
00001bd4: PUSH2 0x398c
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: PUSH1 0x00
00001bdb: PUSH1 0x40
00001bdd: MLOAD
00001bde: DUP1
00001bdf: DUP4
00001be0: SUB
00001be1: DUP2
00001be2: DUP6
00001be3: DUP8
00001be4: GAS
00001be5: CALL
00001be6: SWAP3
00001be7: POP
00001be8: POP
00001be9: POP
00001bea: RETURNDATASIZE
00001beb: DUP1
00001bec: PUSH1 0x00
00001bee: DUP2
00001bef: EQ
00001bf0: PUSH2 0x1c15
00001bf3: JUMPI
00001bf4: PUSH1 0x40
00001bf6: MLOAD
00001bf7: SWAP2
00001bf8: POP
00001bf9: PUSH1 0x1f
00001bfb: NOT
00001bfc: PUSH1 0x3f
00001bfe: RETURNDATASIZE
00001bff: ADD
00001c00: AND
00001c01: DUP3
00001c02: ADD
00001c03: PUSH1 0x40
00001c05: MSTORE
00001c06: RETURNDATASIZE
00001c07: DUP3
00001c08: MSTORE
00001c09: RETURNDATASIZE
00001c0a: PUSH1 0x00
00001c0c: PUSH1 0x20
00001c0e: DUP5
00001c0f: ADD
00001c10: RETURNDATACOPY
00001c11: PUSH2 0x1c1a
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH1 0x60
00001c18: SWAP2
00001c19: POP
00001c1a: JUMPDEST
00001c1b: POP
00001c1c: POP
00001c1d: SWAP1
00001c1e: POP
00001c1f: DUP1
00001c20: PUSH2 0x1c3b
00001c23: JUMPI
00001c24: PUSH1 0x40
00001c26: MLOAD
00001c27: PUSH3 0x461bcd
00001c2b: PUSH1 0xe5
00001c2d: SHL
00001c2e: DUP2
00001c2f: MSTORE
00001c30: PUSH1 0x04
00001c32: ADD
00001c33: PUSH2 0x0582
00001c36: SWAP1
00001c37: PUSH2 0x3b80
00001c3a: JUMP
00001c3b: JUMPDEST
00001c3c: POP
00001c3d: JUMPDEST
00001c3e: POP
00001c3f: POP
00001c40: POP
00001c41: POP
00001c42: POP
00001c43: POP
00001c44: POP
00001c45: POP
00001c46: POP
00001c47: JUMP
00001c48: JUMPDEST
00001c49: PUSH1 0xff
00001c4b: DUP1
00001c4c: DUP3
00001c4d: AND
00001c4e: PUSH1 0x00
00001c50: SWAP1
00001c51: DUP2
00001c52: MSTORE
00001c53: PUSH1 0x6a
00001c55: PUSH1 0x20
00001c57: MSTORE
00001c58: PUSH1 0x40
00001c5a: DUP2
00001c5b: KECCAK256
00001c5c: SLOAD
00001c5d: SWAP1
00001c5e: SWAP2
00001c5f: AND
00001c60: PUSH2 0x1c6b
00001c63: JUMPI
00001c64: POP
00001c65: PUSH1 0x00
00001c67: PUSH2 0x0db8
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: PUSH2 0x1c74
00001c6f: DUP3
00001c70: PUSH2 0x0b7f
00001c73: JUMP
00001c74: JUMPDEST
00001c75: SWAP3
00001c76: SWAP2
00001c77: POP
00001c78: POP
00001c79: JUMP
00001c7a: JUMPDEST
00001c7b: PUSH1 0xff
00001c7d: DUP2
00001c7e: AND
00001c7f: PUSH2 0x1ce3
00001c82: JUMPI
00001c83: PUSH20 0x5add5c070902e4b535f76bafac486cc689095d71
00001c98: PUSH4 0x853828b6
00001c9d: PUSH1 0x40
00001c9f: MLOAD
00001ca0: DUP2
00001ca1: PUSH4 0xffffffff
00001ca6: AND
00001ca7: PUSH1 0xe0
00001ca9: SHL
00001caa: DUP2
00001cab: MSTORE
00001cac: PUSH1 0x04
00001cae: ADD
00001caf: PUSH1 0x00
00001cb1: PUSH1 0x40
00001cb3: MLOAD
00001cb4: DUP1
00001cb5: DUP4
00001cb6: SUB
00001cb7: DUP2
00001cb8: DUP7
00001cb9: DUP1
00001cba: EXTCODESIZE
00001cbb: ISZERO
00001cbc: DUP1
00001cbd: ISZERO
00001cbe: PUSH2 0x1cc6
00001cc1: JUMPI
00001cc2: PUSH1 0x00
00001cc4: DUP1
00001cc5: REVERT
00001cc6: JUMPDEST
00001cc7: POP
00001cc8: GAS
00001cc9: DELEGATECALL
00001cca: ISZERO
00001ccb: DUP1
00001ccc: ISZERO
00001ccd: PUSH2 0x1cda
00001cd0: JUMPI
00001cd1: RETURNDATASIZE
00001cd2: PUSH1 0x00
00001cd4: DUP1
00001cd5: RETURNDATACOPY
00001cd6: RETURNDATASIZE
00001cd7: PUSH1 0x00
00001cd9: REVERT
00001cda: JUMPDEST
00001cdb: POP
00001cdc: POP
00001cdd: POP
00001cde: POP
00001cdf: PUSH2 0x1f90
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: DUP1
00001ce5: PUSH1 0xff
00001ce7: AND
00001ce8: PUSH1 0x01
00001cea: EQ
00001ceb: ISZERO
00001cec: PUSH2 0x1d8c
00001cef: JUMPI
00001cf0: PUSH20 0xde6796aa414173b63f626be1f13e419d8e35fc09
00001d05: PUSH4 0x853828b6
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: DUP2
00001d0e: PUSH4 0xffffffff
00001d13: AND
00001d14: PUSH1 0xe0
00001d16: SHL
00001d17: DUP2
00001d18: MSTORE
00001d19: PUSH1 0x04
00001d1b: ADD
00001d1c: PUSH1 0x20
00001d1e: PUSH1 0x40
00001d20: MLOAD
00001d21: DUP1
00001d22: DUP4
00001d23: SUB
00001d24: DUP2
00001d25: DUP7
00001d26: DUP1
00001d27: EXTCODESIZE
00001d28: ISZERO
00001d29: DUP1
00001d2a: ISZERO
00001d2b: PUSH2 0x1d33
00001d2e: JUMPI
00001d2f: PUSH1 0x00
00001d31: DUP1
00001d32: REVERT
00001d33: JUMPDEST
00001d34: POP
00001d35: GAS
00001d36: DELEGATECALL
00001d37: ISZERO
00001d38: DUP1
00001d39: ISZERO
00001d3a: PUSH2 0x1d47
00001d3d: JUMPI
00001d3e: RETURNDATASIZE
00001d3f: PUSH1 0x00
00001d41: DUP1
00001d42: RETURNDATACOPY
00001d43: RETURNDATASIZE
00001d44: PUSH1 0x00
00001d46: REVERT
00001d47: JUMPDEST
00001d48: POP
00001d49: POP
00001d4a: POP
00001d4b: POP
00001d4c: PUSH1 0x40
00001d4e: MLOAD
00001d4f: RETURNDATASIZE
00001d50: PUSH1 0x1f
00001d52: NOT
00001d53: PUSH1 0x1f
00001d55: DUP3
00001d56: ADD
00001d57: AND
00001d58: DUP3
00001d59: ADD
00001d5a: DUP1
00001d5b: PUSH1 0x40
00001d5d: MSTORE
00001d5e: POP
00001d5f: PUSH2 0x1d6b
00001d62: SWAP2
00001d63: SWAP1
00001d64: DUP2
00001d65: ADD
00001d66: SWAP1
00001d67: PUSH2 0x2c4a
00001d6a: JUMP
00001d6b: JUMPDEST
00001d6c: PUSH2 0x1d87
00001d6f: JUMPI
00001d70: PUSH1 0x40
00001d72: MLOAD
00001d73: PUSH3 0x461bcd
00001d77: PUSH1 0xe5
00001d79: SHL
00001d7a: DUP2
00001d7b: MSTORE
00001d7c: PUSH1 0x04
00001d7e: ADD
00001d7f: PUSH2 0x0582
00001d82: SWAP1
00001d83: PUSH2 0x3b60
00001d86: JUMP
00001d87: JUMPDEST
00001d88: PUSH2 0x1f90
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: DUP1
00001d8e: PUSH1 0xff
00001d90: AND
00001d91: PUSH1 0x02
00001d93: EQ
00001d94: ISZERO
00001d95: PUSH2 0x1e30
00001d98: JUMPI
00001d99: PUSH20 0x948e587a4c175e3b4208f8084e6b8c5c0c4dae66
00001dae: PUSH4 0x853828b6
00001db3: PUSH1 0x40
00001db5: MLOAD
00001db6: DUP2
00001db7: PUSH4 0xffffffff
00001dbc: AND
00001dbd: PUSH1 0xe0
00001dbf: SHL
00001dc0: DUP2
00001dc1: MSTORE
00001dc2: PUSH1 0x04
00001dc4: ADD
00001dc5: PUSH1 0x20
00001dc7: PUSH1 0x40
00001dc9: MLOAD
00001dca: DUP1
00001dcb: DUP4
00001dcc: SUB
00001dcd: DUP2
00001dce: DUP7
00001dcf: DUP1
00001dd0: EXTCODESIZE
00001dd1: ISZERO
00001dd2: DUP1
00001dd3: ISZERO
00001dd4: PUSH2 0x1ddc
00001dd7: JUMPI
00001dd8: PUSH1 0x00
00001dda: DUP1
00001ddb: REVERT
00001ddc: JUMPDEST
00001ddd: POP
00001dde: GAS
00001ddf: DELEGATECALL
00001de0: ISZERO
00001de1: DUP1
00001de2: ISZERO
00001de3: PUSH2 0x1df0
00001de6: JUMPI
00001de7: RETURNDATASIZE
00001de8: PUSH1 0x00
00001dea: DUP1
00001deb: RETURNDATACOPY
00001dec: RETURNDATASIZE
00001ded: PUSH1 0x00
00001def: REVERT
00001df0: JUMPDEST
00001df1: POP
00001df2: POP
00001df3: POP
00001df4: POP
00001df5: PUSH1 0x40
00001df7: MLOAD
00001df8: RETURNDATASIZE
00001df9: PUSH1 0x1f
00001dfb: NOT
00001dfc: PUSH1 0x1f
00001dfe: DUP3
00001dff: ADD
00001e00: AND
00001e01: DUP3
00001e02: ADD
00001e03: DUP1
00001e04: PUSH1 0x40
00001e06: MSTORE
00001e07: POP
00001e08: PUSH2 0x1e14
00001e0b: SWAP2
00001e0c: SWAP1
00001e0d: DUP2
00001e0e: ADD
00001e0f: SWAP1
00001e10: PUSH2 0x2c4a
00001e13: JUMP
00001e14: JUMPDEST
00001e15: PUSH2 0x1d87
00001e18: JUMPI
00001e19: PUSH1 0x40
00001e1b: MLOAD
00001e1c: PUSH3 0x461bcd
00001e20: PUSH1 0xe5
00001e22: SHL
00001e23: DUP2
00001e24: MSTORE
00001e25: PUSH1 0x04
00001e27: ADD
00001e28: PUSH2 0x0582
00001e2b: SWAP1
00001e2c: PUSH2 0x3b70
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: DUP1
00001e32: PUSH1 0xff
00001e34: AND
00001e35: PUSH1 0x03
00001e37: EQ
00001e38: ISZERO
00001e39: PUSH2 0x1e80
00001e3c: JUMPI
00001e3d: PUSH20 0x25f9cebb75ebbaa7b7eddc70d33ffb993896ecb9
00001e52: PUSH4 0x853828b6
00001e57: PUSH1 0x40
00001e59: MLOAD
00001e5a: DUP2
00001e5b: PUSH4 0xffffffff
00001e60: AND
00001e61: PUSH1 0xe0
00001e63: SHL
00001e64: DUP2
00001e65: MSTORE
00001e66: PUSH1 0x04
00001e68: ADD
00001e69: PUSH1 0x00
00001e6b: PUSH1 0x40
00001e6d: MLOAD
00001e6e: DUP1
00001e6f: DUP4
00001e70: SUB
00001e71: DUP2
00001e72: DUP7
00001e73: DUP1
00001e74: EXTCODESIZE
00001e75: ISZERO
00001e76: DUP1
00001e77: ISZERO
00001e78: PUSH2 0x1cc6
00001e7b: JUMPI
00001e7c: PUSH1 0x00
00001e7e: DUP1
00001e7f: REVERT
00001e80: JUMPDEST
00001e81: DUP1
00001e82: PUSH1 0xff
00001e84: AND
00001e85: PUSH1 0x04
00001e87: EQ
00001e88: ISZERO
00001e89: PUSH2 0x1f24
00001e8c: JUMPI
00001e8d: PUSH20 0xed2cd60c0000a990a5ffaf0e7ddc70a37d7c623f
00001ea2: PUSH4 0x853828b6
00001ea7: PUSH1 0x40
00001ea9: MLOAD
00001eaa: DUP2
00001eab: PUSH4 0xffffffff
00001eb0: AND
00001eb1: PUSH1 0xe0
00001eb3: SHL
00001eb4: DUP2
00001eb5: MSTORE
00001eb6: PUSH1 0x04
00001eb8: ADD
00001eb9: PUSH1 0x20
00001ebb: PUSH1 0x40
00001ebd: MLOAD
00001ebe: DUP1
00001ebf: DUP4
00001ec0: SUB
00001ec1: DUP2
00001ec2: DUP7
00001ec3: DUP1
00001ec4: EXTCODESIZE
00001ec5: ISZERO
00001ec6: DUP1
00001ec7: ISZERO
00001ec8: PUSH2 0x1ed0
00001ecb: JUMPI
00001ecc: PUSH1 0x00
00001ece: DUP1
00001ecf: REVERT
00001ed0: JUMPDEST
00001ed1: POP
00001ed2: GAS
00001ed3: DELEGATECALL
00001ed4: ISZERO
00001ed5: DUP1
00001ed6: ISZERO
00001ed7: PUSH2 0x1ee4
00001eda: JUMPI
00001edb: RETURNDATASIZE
00001edc: PUSH1 0x00
00001ede: DUP1
00001edf: RETURNDATACOPY
00001ee0: RETURNDATASIZE
00001ee1: PUSH1 0x00
00001ee3: REVERT
00001ee4: JUMPDEST
00001ee5: POP
00001ee6: POP
00001ee7: POP
00001ee8: POP
00001ee9: PUSH1 0x40
00001eeb: MLOAD
00001eec: RETURNDATASIZE
00001eed: PUSH1 0x1f
00001eef: NOT
00001ef0: PUSH1 0x1f
00001ef2: DUP3
00001ef3: ADD
00001ef4: AND
00001ef5: DUP3
00001ef6: ADD
00001ef7: DUP1
00001ef8: PUSH1 0x40
00001efa: MSTORE
00001efb: POP
00001efc: PUSH2 0x1f08
00001eff: SWAP2
00001f00: SWAP1
00001f01: DUP2
00001f02: ADD
00001f03: SWAP1
00001f04: PUSH2 0x2c4a
00001f07: JUMP
00001f08: JUMPDEST
00001f09: PUSH2 0x1d87
00001f0c: JUMPI
00001f0d: PUSH1 0x40
00001f0f: MLOAD
00001f10: PUSH3 0x461bcd
00001f14: PUSH1 0xe5
00001f16: SHL
00001f17: DUP2
00001f18: MSTORE
00001f19: PUSH1 0x04
00001f1b: ADD
00001f1c: PUSH2 0x0582
00001f1f: SWAP1
00001f20: PUSH2 0x3a90
00001f23: JUMP
00001f24: JUMPDEST
00001f25: DUP1
00001f26: PUSH1 0xff
00001f28: AND
00001f29: PUSH1 0x05
00001f2b: EQ
00001f2c: ISZERO
00001f2d: PUSH2 0x0952
00001f30: JUMPI
00001f31: PUSH1 0x6b
00001f33: SLOAD
00001f34: PUSH1 0x40
00001f36: MLOAD
00001f37: PUSH4 0x0fa09e63
00001f3c: PUSH1 0xe4
00001f3e: SHL
00001f3f: DUP2
00001f40: MSTORE
00001f41: PUSH20 0x97b6879573ae5c09cbe200c96b407ef9ac74fcc3
00001f56: SWAP2
00001f57: PUSH4 0xfa09e630
00001f5c: SWAP2
00001f5d: PUSH2 0x1f78
00001f60: SWAP2
00001f61: PUSH3 0x010000
00001f65: SWAP1
00001f66: DIV
00001f67: PUSH1 0x01
00001f69: PUSH1 0x01
00001f6b: PUSH1 0xa0
00001f6d: SHL
00001f6e: SUB
00001f6f: AND
00001f70: SWAP1
00001f71: PUSH1 0x04
00001f73: ADD
00001f74: PUSH2 0x3997
00001f77: JUMP
00001f78: JUMPDEST
00001f79: PUSH1 0x00
00001f7b: PUSH1 0x40
00001f7d: MLOAD
00001f7e: DUP1
00001f7f: DUP4
00001f80: SUB
00001f81: DUP2
00001f82: DUP7
00001f83: DUP1
00001f84: EXTCODESIZE
00001f85: ISZERO
00001f86: DUP1
00001f87: ISZERO
00001f88: PUSH2 0x1cc6
00001f8b: JUMPI
00001f8c: PUSH1 0x00
00001f8e: DUP1
00001f8f: REVERT
00001f90: JUMPDEST
00001f91: PUSH1 0xff
00001f93: DUP2
00001f94: AND
00001f95: PUSH1 0x00
00001f97: DUP2
00001f98: DUP2
00001f99: MSTORE
00001f9a: PUSH1 0x6a
00001f9c: PUSH1 0x20
00001f9e: MSTORE
00001f9f: PUSH1 0x40
00001fa1: SWAP1
00001fa2: KECCAK256
00001fa3: DUP1
00001fa4: SLOAD
00001fa5: PUSH1 0xff
00001fa7: NOT
00001fa8: AND
00001fa9: SWAP1
00001faa: SSTORE
00001fab: PUSH1 0x05
00001fad: DUP2
00001fae: GT
00001faf: ISZERO
00001fb0: PUSH2 0x1fb5
00001fb3: JUMPI
00001fb4: INVALID
00001fb5: JUMPDEST
00001fb6: PUSH1 0x05
00001fb8: DUP2
00001fb9: GT
00001fba: ISZERO
00001fbb: PUSH2 0x1fc0
00001fbe: JUMPI
00001fbf: INVALID
00001fc0: JUMPDEST
00001fc1: PUSH1 0x02
00001fc3: PUSH32 0x9e17470c2398acb1637f3cd25310210eb4c04c2f91adee1cef82fd1230f1f6ad
00001fe4: PUSH1 0x00
00001fe6: PUSH1 0x40
00001fe8: MLOAD
00001fe9: PUSH2 0x1ff2
00001fec: SWAP2
00001fed: SWAP1
00001fee: PUSH2 0x3a51
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: PUSH1 0x40
00001ff5: MLOAD
00001ff6: DUP1
00001ff7: SWAP2
00001ff8: SUB
00001ff9: SWAP1
00001ffa: LOG3
00001ffb: POP
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: PUSH1 0x00
00002000: DUP3
00002001: DUP3
00002002: ADD
00002003: DUP4
00002004: DUP2
00002005: LT
00002006: ISZERO
00002007: PUSH2 0x2022
0000200a: JUMPI
0000200b: PUSH1 0x40
0000200d: MLOAD
0000200e: PUSH3 0x461bcd
00002012: PUSH1 0xe5
00002014: SHL
00002015: DUP2
00002016: MSTORE
00002017: PUSH1 0x04
00002019: ADD
0000201a: PUSH2 0x0582
0000201d: SWAP1
0000201e: PUSH2 0x3af0
00002021: JUMP
00002022: JUMPDEST
00002023: SWAP4
00002024: SWAP3
00002025: POP
00002026: POP
00002027: POP
00002028: JUMP
00002029: JUMPDEST
0000202a: CALLER
0000202b: SWAP1
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH1 0x40
00002030: MLOAD
00002031: PUSH4 0x6eb1769f
00002036: PUSH1 0xe1
00002038: SHL
00002039: DUP2
0000203a: MSTORE
0000203b: PUSH1 0x00
0000203d: SWAP1
0000203e: DUP4
0000203f: SWAP1
00002040: DUP3
00002041: SWAP1
00002042: PUSH1 0x01
00002044: PUSH1 0x01
00002046: PUSH1 0xa0
00002048: SHL
00002049: SUB
0000204a: DUP4
0000204b: AND
0000204c: SWAP1
0000204d: PUSH4 0xdd62ed3e
00002052: SWAP1
00002053: PUSH2 0x2076
00002056: SWAP1
00002057: ADDRESS
00002058: SWAP1
00002059: PUSH20 0x95e6f48254609a6ee006f7d493c8e5fb97094cef
0000206e: SWAP1
0000206f: PUSH1 0x04
00002071: ADD
00002072: PUSH2 0x39b3
00002075: JUMP
00002076: JUMPDEST
00002077: PUSH1 0x20
00002079: PUSH1 0x40
0000207b: MLOAD
0000207c: DUP1
0000207d: DUP4
0000207e: SUB
0000207f: DUP2
00002080: DUP7
00002081: DUP1
00002082: EXTCODESIZE
00002083: ISZERO
00002084: DUP1
00002085: ISZERO
00002086: PUSH2 0x208e
00002089: JUMPI
0000208a: PUSH1 0x00
0000208c: DUP1
0000208d: REVERT
0000208e: JUMPDEST
0000208f: POP
00002090: GAS
00002091: STATICCALL
00002092: ISZERO
00002093: DUP1
00002094: ISZERO
00002095: PUSH2 0x20a2
00002098: JUMPI
00002099: RETURNDATASIZE
0000209a: PUSH1 0x00
0000209c: DUP1
0000209d: RETURNDATACOPY
0000209e: RETURNDATASIZE
0000209f: PUSH1 0x00
000020a1: REVERT
000020a2: JUMPDEST
000020a3: POP
000020a4: POP
000020a5: POP
000020a6: POP
000020a7: PUSH1 0x40
000020a9: MLOAD
000020aa: RETURNDATASIZE
000020ab: PUSH1 0x1f
000020ad: NOT
000020ae: PUSH1 0x1f
000020b0: DUP3
000020b1: ADD
000020b2: AND
000020b3: DUP3
000020b4: ADD
000020b5: DUP1
000020b6: PUSH1 0x40
000020b8: MSTORE
000020b9: POP
000020ba: PUSH2 0x20c6
000020bd: SWAP2
000020be: SWAP1
000020bf: DUP2
000020c0: ADD
000020c1: SWAP1
000020c2: PUSH2 0x2cc2
000020c5: JUMP
000020c6: JUMPDEST
000020c7: SWAP1
000020c8: POP
000020c9: DUP4
000020ca: DUP2
000020cb: EQ
000020cc: ISZERO
000020cd: PUSH2 0x20db
000020d0: JUMPI
000020d1: PUSH1 0x01
000020d3: SWAP3
000020d4: POP
000020d5: POP
000020d6: POP
000020d7: PUSH2 0x1c74
000020da: JUMP
000020db: JUMPDEST
000020dc: PUSH1 0x00
000020de: DUP5
000020df: GT
000020e0: DUP1
000020e1: ISZERO
000020e2: PUSH2 0x20eb
000020e5: JUMPI
000020e6: POP
000020e7: PUSH1 0x00
000020e9: DUP2
000020ea: GT
000020eb: JUMPDEST
000020ec: ISZERO
000020ed: PUSH2 0x211f
000020f0: JUMPI
000020f1: PUSH2 0x211f
000020f4: PUSH1 0x01
000020f6: PUSH1 0x01
000020f8: PUSH1 0xa0
000020fa: SHL
000020fb: SUB
000020fc: DUP4
000020fd: AND
000020fe: PUSH20 0x95e6f48254609a6ee006f7d493c8e5fb97094cef
00002113: PUSH1 0x00
00002115: PUSH4 0xffffffff
0000211a: PUSH2 0x2545
0000211d: AND
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH2 0x214d
00002123: PUSH1 0x01
00002125: PUSH1 0x01
00002127: PUSH1 0xa0
00002129: SHL
0000212a: SUB
0000212b: DUP4
0000212c: AND
0000212d: PUSH20 0x95e6f48254609a6ee006f7d493c8e5fb97094cef
00002142: DUP7
00002143: PUSH4 0xffffffff
00002148: PUSH2 0x2545
0000214b: AND
0000214c: JUMP
0000214d: JUMPDEST
0000214e: POP
0000214f: PUSH1 0x01
00002151: SWAP5
00002152: SWAP4
00002153: POP
00002154: POP
00002155: POP
00002156: POP
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH1 0x00
0000215b: PUSH2 0x2022
0000215e: DUP4
0000215f: DUP4
00002160: PUSH1 0x40
00002162: MLOAD
00002163: DUP1
00002164: PUSH1 0x40
00002166: ADD
00002167: PUSH1 0x40
00002169: MSTORE
0000216a: DUP1
0000216b: PUSH1 0x1e
0000216d: DUP2
0000216e: MSTORE
0000216f: PUSH1 0x20
00002171: ADD
00002172: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002193: DUP2
00002194: MSTORE
00002195: POP
00002196: PUSH2 0x2642
00002199: JUMP
0000219a: JUMPDEST
0000219b: PUSH1 0xff
0000219d: DUP3
0000219e: AND
0000219f: PUSH2 0x220e
000021a2: JUMPI
000021a3: PUSH1 0x40
000021a5: MLOAD
000021a6: PUSH4 0x2e1a7d4d
000021ab: PUSH1 0xe0
000021ad: SHL
000021ae: DUP2
000021af: MSTORE
000021b0: PUSH20 0x5add5c070902e4b535f76bafac486cc689095d71
000021c5: SWAP1
000021c6: PUSH4 0x2e1a7d4d
000021cb: SWAP1
000021cc: PUSH2 0x21d9
000021cf: SWAP1
000021d0: DUP5
000021d1: SWAP1
000021d2: PUSH1 0x04
000021d4: ADD
000021d5: PUSH2 0x3c60
000021d8: JUMP
000021d9: JUMPDEST
000021da: PUSH1 0x00
000021dc: PUSH1 0x40
000021de: MLOAD
000021df: DUP1
000021e0: DUP4
000021e1: SUB
000021e2: DUP2
000021e3: DUP7
000021e4: DUP1
000021e5: EXTCODESIZE
000021e6: ISZERO
000021e7: DUP1
000021e8: ISZERO
000021e9: PUSH2 0x21f1
000021ec: JUMPI
000021ed: PUSH1 0x00
000021ef: DUP1
000021f0: REVERT
000021f1: JUMPDEST
000021f2: POP
000021f3: GAS
000021f4: DELEGATECALL
000021f5: ISZERO
000021f6: DUP1
000021f7: ISZERO
000021f8: PUSH2 0x2205
000021fb: JUMPI
000021fc: RETURNDATASIZE
000021fd: PUSH1 0x00
000021ff: DUP1
00002200: RETURNDATACOPY
00002201: RETURNDATASIZE
00002202: PUSH1 0x00
00002204: REVERT
00002205: JUMPDEST
00002206: POP
00002207: POP
00002208: POP
00002209: POP
0000220a: PUSH2 0x2370
0000220d: JUMP
0000220e: JUMPDEST
0000220f: DUP2
00002210: PUSH1 0xff
00002212: AND
00002213: PUSH1 0x01
00002215: EQ
00002216: ISZERO
00002217: PUSH2 0x2251
0000221a: JUMPI
0000221b: PUSH1 0x40
0000221d: MLOAD
0000221e: PUSH4 0x2e1a7d4d
00002223: PUSH1 0xe0
00002225: SHL
00002226: DUP2
00002227: MSTORE
00002228: PUSH20 0xde6796aa414173b63f626be1f13e419d8e35fc09
0000223d: SWAP1
0000223e: PUSH4 0x2e1a7d4d
00002243: SWAP1
00002244: PUSH2 0x21d9
00002247: SWAP1
00002248: DUP5
00002249: SWAP1
0000224a: PUSH1 0x04
0000224c: ADD
0000224d: PUSH2 0x3c60
00002250: JUMP
00002251: JUMPDEST
00002252: DUP2
00002253: PUSH1 0xff
00002255: AND
00002256: PUSH1 0x02
00002258: EQ
00002259: ISZERO
0000225a: PUSH2 0x2294
0000225d: JUMPI
0000225e: PUSH1 0x40
00002260: MLOAD
00002261: PUSH4 0x2e1a7d4d
00002266: PUSH1 0xe0
00002268: SHL
00002269: DUP2
0000226a: MSTORE
0000226b: PUSH20 0x948e587a4c175e3b4208f8084e6b8c5c0c4dae66
00002280: SWAP1
00002281: PUSH4 0x2e1a7d4d
00002286: SWAP1
00002287: PUSH2 0x21d9
0000228a: SWAP1
0000228b: DUP5
0000228c: SWAP1
0000228d: PUSH1 0x04
0000228f: ADD
00002290: PUSH2 0x3c60
00002293: JUMP
00002294: JUMPDEST
00002295: DUP2
00002296: PUSH1 0xff
00002298: AND
00002299: PUSH1 0x03
0000229b: EQ
0000229c: ISZERO
0000229d: PUSH2 0x22d7
000022a0: JUMPI
000022a1: PUSH1 0x40
000022a3: MLOAD
000022a4: PUSH4 0x2e1a7d4d
000022a9: PUSH1 0xe0
000022ab: SHL
000022ac: DUP2
000022ad: MSTORE
000022ae: PUSH20 0x25f9cebb75ebbaa7b7eddc70d33ffb993896ecb9
000022c3: SWAP1
000022c4: PUSH4 0x2e1a7d4d
000022c9: SWAP1
000022ca: PUSH2 0x21d9
000022cd: SWAP1
000022ce: DUP5
000022cf: SWAP1
000022d0: PUSH1 0x04
000022d2: ADD
000022d3: PUSH2 0x3c60
000022d6: JUMP
000022d7: JUMPDEST
000022d8: DUP2
000022d9: PUSH1 0xff
000022db: AND
000022dc: PUSH1 0x04
000022de: EQ
000022df: ISZERO
000022e0: PUSH2 0x231a
000022e3: JUMPI
000022e4: PUSH1 0x40
000022e6: MLOAD
000022e7: PUSH4 0x2e1a7d4d
000022ec: PUSH1 0xe0
000022ee: SHL
000022ef: DUP2
000022f0: MSTORE
000022f1: PUSH20 0xed2cd60c0000a990a5ffaf0e7ddc70a37d7c623f
00002306: SWAP1
00002307: PUSH4 0x2e1a7d4d
0000230c: SWAP1
0000230d: PUSH2 0x21d9
00002310: SWAP1
00002311: DUP5
00002312: SWAP1
00002313: PUSH1 0x04
00002315: ADD
00002316: PUSH2 0x3c60
00002319: JUMP
0000231a: JUMPDEST
0000231b: DUP2
0000231c: PUSH1 0xff
0000231e: AND
0000231f: PUSH1 0x05
00002321: EQ
00002322: ISZERO
00002323: PUSH2 0x0952
00002326: JUMPI
00002327: PUSH1 0x6b
00002329: SLOAD
0000232a: PUSH1 0x40
0000232c: MLOAD
0000232d: PUSH4 0xf3fef3a3
00002332: PUSH1 0xe0
00002334: SHL
00002335: DUP2
00002336: MSTORE
00002337: PUSH20 0x97b6879573ae5c09cbe200c96b407ef9ac74fcc3
0000234c: SWAP2
0000234d: PUSH4 0xf3fef3a3
00002352: SWAP2
00002353: PUSH2 0x21d9
00002356: SWAP2
00002357: PUSH3 0x010000
0000235b: SWAP1
0000235c: DIV
0000235d: PUSH1 0x01
0000235f: PUSH1 0x01
00002361: PUSH1 0xa0
00002363: SHL
00002364: SUB
00002365: AND
00002366: SWAP1
00002367: DUP6
00002368: SWAP1
00002369: PUSH1 0x04
0000236b: ADD
0000236c: PUSH2 0x39ce
0000236f: JUMP
00002370: JUMPDEST
00002371: DUP2
00002372: PUSH1 0xff
00002374: AND
00002375: PUSH1 0x05
00002377: DUP2
00002378: GT
00002379: ISZERO
0000237a: PUSH2 0x237f
0000237d: JUMPI
0000237e: INVALID
0000237f: JUMPDEST
00002380: PUSH1 0x05
00002382: DUP2
00002383: GT
00002384: ISZERO
00002385: PUSH2 0x238a
00002388: JUMPI
00002389: INVALID
0000238a: JUMPDEST
0000238b: PUSH1 0x01
0000238d: PUSH2 0x17c5
00002390: JUMP
00002391: JUMPDEST
00002392: ADDRESS
00002393: EXTCODESIZE
00002394: ISZERO
00002395: SWAP1
00002396: JUMP
00002397: JUMPDEST
00002398: PUSH1 0x01
0000239a: PUSH1 0x01
0000239c: PUSH1 0xa0
0000239e: SHL
0000239f: SUB
000023a0: DUP2
000023a1: AND
000023a2: PUSH2 0x23bd
000023a5: JUMPI
000023a6: PUSH1 0x40
000023a8: MLOAD
000023a9: PUSH3 0x461bcd
000023ad: PUSH1 0xe5
000023af: SHL
000023b0: DUP2
000023b1: MSTORE
000023b2: PUSH1 0x04
000023b4: ADD
000023b5: PUSH2 0x0582
000023b8: SWAP1
000023b9: PUSH2 0x3ac0
000023bc: JUMP
000023bd: JUMPDEST
000023be: PUSH1 0x33
000023c0: SLOAD
000023c1: PUSH1 0x40
000023c3: MLOAD
000023c4: PUSH1 0x01
000023c6: PUSH1 0x01
000023c8: PUSH1 0xa0
000023ca: SHL
000023cb: SUB
000023cc: DUP1
000023cd: DUP5
000023ce: AND
000023cf: SWAP3
000023d0: AND
000023d1: SWAP1
000023d2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000023f3: SWAP1
000023f4: PUSH1 0x00
000023f6: SWAP1
000023f7: LOG3
000023f8: PUSH1 0x33
000023fa: DUP1
000023fb: SLOAD
000023fc: PUSH1 0x01
000023fe: PUSH1 0x01
00002400: PUSH1 0xa0
00002402: SHL
00002403: SUB
00002404: NOT
00002405: AND
00002406: PUSH1 0x01
00002408: PUSH1 0x01
0000240a: PUSH1 0xa0
0000240c: SHL
0000240d: SUB
0000240e: SWAP3
0000240f: SWAP1
00002410: SWAP3
00002411: AND
00002412: SWAP2
00002413: SWAP1
00002414: SWAP2
00002415: OR
00002416: SWAP1
00002417: SSTORE
00002418: JUMP
00002419: JUMPDEST
0000241a: PUSH2 0x2421
0000241d: PUSH2 0x2792
00002420: JUMP
00002421: JUMPDEST
00002422: PUSH1 0x00
00002424: DUP6
00002425: MLOAD
00002426: GT
00002427: PUSH2 0x2442
0000242a: JUMPI
0000242b: PUSH1 0x40
0000242d: MLOAD
0000242e: PUSH3 0x461bcd
00002432: PUSH1 0xe5
00002434: SHL
00002435: DUP2
00002436: MSTORE
00002437: PUSH1 0x04
00002439: ADD
0000243a: PUSH2 0x0582
0000243d: SWAP1
0000243e: PUSH2 0x3ab0
00002441: JUMP
00002442: JUMPDEST
00002443: DUP4
00002444: MLOAD
00002445: DUP6
00002446: MLOAD
00002447: EQ
00002448: PUSH2 0x2463
0000244b: JUMPI
0000244c: PUSH1 0x40
0000244e: MLOAD
0000244f: PUSH3 0x461bcd
00002453: PUSH1 0xe5
00002455: SHL
00002456: DUP2
00002457: MSTORE
00002458: PUSH1 0x04
0000245a: ADD
0000245b: PUSH2 0x0582
0000245e: SWAP1
0000245f: PUSH2 0x3bc0
00002462: JUMP
00002463: JUMPDEST
00002464: PUSH1 0x00
00002466: DUP4
00002467: GT
00002468: PUSH2 0x2483
0000246b: JUMPI
0000246c: PUSH1 0x40
0000246e: MLOAD
0000246f: PUSH3 0x461bcd
00002473: PUSH1 0xe5
00002475: SHL
00002476: DUP2
00002477: MSTORE
00002478: PUSH1 0x04
0000247a: ADD
0000247b: PUSH2 0x0582
0000247e: SWAP1
0000247f: PUSH2 0x3c00
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH2 0x248b
00002487: PUSH2 0x27b0
0000248a: JUMP
0000248b: JUMPDEST
0000248c: PUSH1 0x40
0000248e: MLOAD
0000248f: PUSH4 0xa6c3bf33
00002494: PUSH1 0xe0
00002496: SHL
00002497: DUP2
00002498: MSTORE
00002499: PUSH20 0x61935cbdd02287b511119ddb11aeb42f1593b7ef
000024ae: SWAP1
000024af: PUSH4 0xa6c3bf33
000024b4: SWAP1
000024b5: DUP6
000024b6: SWAP1
000024b7: PUSH2 0x24c8
000024ba: SWAP1
000024bb: DUP11
000024bc: SWAP1
000024bd: DUP10
000024be: SWAP1
000024bf: DUP12
000024c0: SWAP1
000024c1: PUSH1 0x04
000024c3: ADD
000024c4: PUSH2 0x3a11
000024c7: JUMP
000024c8: JUMPDEST
000024c9: PUSH1 0xa0
000024cb: PUSH1 0x40
000024cd: MLOAD
000024ce: DUP1
000024cf: DUP4
000024d0: SUB
000024d1: DUP2
000024d2: DUP6
000024d3: DUP9
000024d4: DUP1
000024d5: EXTCODESIZE
000024d6: ISZERO
000024d7: DUP1
000024d8: ISZERO
000024d9: PUSH2 0x24e1
000024dc: JUMPI
000024dd: PUSH1 0x00
000024df: DUP1
000024e0: REVERT
000024e1: JUMPDEST
000024e2: POP
000024e3: GAS
000024e4: CALL
000024e5: ISZERO
000024e6: DUP1
000024e7: ISZERO
000024e8: PUSH2 0x24f5
000024eb: JUMPI
000024ec: RETURNDATASIZE
000024ed: PUSH1 0x00
000024ef: DUP1
000024f0: RETURNDATACOPY
000024f1: RETURNDATASIZE
000024f2: PUSH1 0x00
000024f4: REVERT
000024f5: JUMPDEST
000024f6: POP
000024f7: POP
000024f8: POP
000024f9: POP
000024fa: POP
000024fb: PUSH1 0x40
000024fd: MLOAD
000024fe: RETURNDATASIZE
000024ff: PUSH1 0x1f
00002501: NOT
00002502: PUSH1 0x1f
00002504: DUP3
00002505: ADD
00002506: AND
00002507: DUP3
00002508: ADD
00002509: DUP1
0000250a: PUSH1 0x40
0000250c: MSTORE
0000250d: POP
0000250e: PUSH2 0x251a
00002511: SWAP2
00002512: SWAP1
00002513: DUP2
00002514: ADD
00002515: SWAP1
00002516: PUSH2 0x2c68
00002519: JUMP
0000251a: JUMPDEST
0000251b: SWAP1
0000251c: POP
0000251d: PUSH1 0x40
0000251f: MLOAD
00002520: DUP1
00002521: PUSH1 0x40
00002523: ADD
00002524: PUSH1 0x40
00002526: MSTORE
00002527: DUP1
00002528: DUP3
00002529: PUSH1 0x20
0000252b: ADD
0000252c: MLOAD
0000252d: DUP2
0000252e: MSTORE
0000252f: PUSH1 0x20
00002531: ADD
00002532: DUP3
00002533: PUSH1 0x00
00002535: ADD
00002536: MLOAD
00002537: DUP2
00002538: MSTORE
00002539: POP
0000253a: SWAP2
0000253b: POP
0000253c: POP
0000253d: JUMPDEST
0000253e: SWAP5
0000253f: SWAP4
00002540: POP
00002541: POP
00002542: POP
00002543: POP
00002544: JUMP
00002545: JUMPDEST
00002546: DUP1
00002547: ISZERO
00002548: DUP1
00002549: PUSH2 0x25cd
0000254c: JUMPI
0000254d: POP
0000254e: PUSH1 0x40
00002550: MLOAD
00002551: PUSH4 0x6eb1769f
00002556: PUSH1 0xe1
00002558: SHL
00002559: DUP2
0000255a: MSTORE
0000255b: PUSH1 0x01
0000255d: PUSH1 0x01
0000255f: PUSH1 0xa0
00002561: SHL
00002562: SUB
00002563: DUP5
00002564: AND
00002565: SWAP1
00002566: PUSH4 0xdd62ed3e
0000256b: SWAP1
0000256c: PUSH2 0x257b
0000256f: SWAP1
00002570: ADDRESS
00002571: SWAP1
00002572: DUP7
00002573: SWAP1
00002574: PUSH1 0x04
00002576: ADD
00002577: PUSH2 0x39b3
0000257a: JUMP
0000257b: JUMPDEST
0000257c: PUSH1 0x20
0000257e: PUSH1 0x40
00002580: MLOAD
00002581: DUP1
00002582: DUP4
00002583: SUB
00002584: DUP2
00002585: DUP7
00002586: DUP1
00002587: EXTCODESIZE
00002588: ISZERO
00002589: DUP1
0000258a: ISZERO
0000258b: PUSH2 0x2593
0000258e: JUMPI
0000258f: PUSH1 0x00
00002591: DUP1
00002592: REVERT
00002593: JUMPDEST
00002594: POP
00002595: GAS
00002596: STATICCALL
00002597: ISZERO
00002598: DUP1
00002599: ISZERO
0000259a: PUSH2 0x25a7
0000259d: JUMPI
0000259e: RETURNDATASIZE
0000259f: PUSH1 0x00
000025a1: DUP1
000025a2: RETURNDATACOPY
000025a3: RETURNDATASIZE
000025a4: PUSH1 0x00
000025a6: REVERT
000025a7: JUMPDEST
000025a8: POP
000025a9: POP
000025aa: POP
000025ab: POP
000025ac: PUSH1 0x40
000025ae: MLOAD
000025af: RETURNDATASIZE
000025b0: PUSH1 0x1f
000025b2: NOT
000025b3: PUSH1 0x1f
000025b5: DUP3
000025b6: ADD
000025b7: AND
000025b8: DUP3
000025b9: ADD
000025ba: DUP1
000025bb: PUSH1 0x40
000025bd: MSTORE
000025be: POP
000025bf: PUSH2 0x25cb
000025c2: SWAP2
000025c3: SWAP1
000025c4: DUP2
000025c5: ADD
000025c6: SWAP1
000025c7: PUSH2 0x2cc2
000025ca: JUMP
000025cb: JUMPDEST
000025cc: ISZERO
000025cd: JUMPDEST
000025ce: PUSH2 0x25e9
000025d1: JUMPI
000025d2: PUSH1 0x40
000025d4: MLOAD
000025d5: PUSH3 0x461bcd
000025d9: PUSH1 0xe5
000025db: SHL
000025dc: DUP2
000025dd: MSTORE
000025de: PUSH1 0x04
000025e0: ADD
000025e1: PUSH2 0x0582
000025e4: SWAP1
000025e5: PUSH2 0x3c30
000025e8: JUMP
000025e9: JUMPDEST
000025ea: PUSH1 0x40
000025ec: MLOAD
000025ed: PUSH2 0x06f9
000025f0: SWAP1
000025f1: DUP5
000025f2: SWAP1
000025f3: PUSH4 0x095ea7b3
000025f8: PUSH1 0xe0
000025fa: SHL
000025fb: SWAP1
000025fc: PUSH2 0x260b
000025ff: SWAP1
00002600: DUP7
00002601: SWAP1
00002602: DUP7
00002603: SWAP1
00002604: PUSH1 0x24
00002606: ADD
00002607: PUSH2 0x39ce
0000260a: JUMP
0000260b: JUMPDEST
0000260c: PUSH1 0x40
0000260e: DUP1
0000260f: MLOAD
00002610: PUSH1 0x1f
00002612: NOT
00002613: DUP2
00002614: DUP5
00002615: SUB
00002616: ADD
00002617: DUP2
00002618: MSTORE
00002619: SWAP2
0000261a: SWAP1
0000261b: MSTORE
0000261c: PUSH1 0x20
0000261e: DUP2
0000261f: ADD
00002620: DUP1
00002621: MLOAD
00002622: PUSH1 0x01
00002624: PUSH1 0x01
00002626: PUSH1 0xe0
00002628: SHL
00002629: SUB
0000262a: AND
0000262b: PUSH1 0x01
0000262d: PUSH1 0x01
0000262f: PUSH1 0xe0
00002631: SHL
00002632: SUB
00002633: NOT
00002634: SWAP1
00002635: SWAP4
00002636: AND
00002637: SWAP3
00002638: SWAP1
00002639: SWAP3
0000263a: OR
0000263b: SWAP1
0000263c: SWAP2
0000263d: MSTORE
0000263e: PUSH2 0x266e
00002641: JUMP
00002642: JUMPDEST
00002643: PUSH1 0x00
00002645: DUP2
00002646: DUP5
00002647: DUP5
00002648: GT
00002649: ISZERO
0000264a: PUSH2 0x2666
0000264d: JUMPI
0000264e: PUSH1 0x40
00002650: MLOAD
00002651: PUSH3 0x461bcd
00002655: PUSH1 0xe5
00002657: SHL
00002658: DUP2
00002659: MSTORE
0000265a: PUSH1 0x04
0000265c: ADD
0000265d: PUSH2 0x0582
00002660: SWAP2
00002661: SWAP1
00002662: PUSH2 0x3a5f
00002665: JUMP
00002666: JUMPDEST
00002667: POP
00002668: POP
00002669: POP
0000266a: SWAP1
0000266b: SUB
0000266c: SWAP1
0000266d: JUMP
0000266e: JUMPDEST
0000266f: PUSH2 0x2680
00002672: DUP3
00002673: PUSH1 0x01
00002675: PUSH1 0x01
00002677: PUSH1 0xa0
00002679: SHL
0000267a: SUB
0000267b: AND
0000267c: PUSH2 0x2759
0000267f: JUMP
00002680: JUMPDEST
00002681: PUSH2 0x269c
00002684: JUMPI
00002685: PUSH1 0x40
00002687: MLOAD
00002688: PUSH3 0x461bcd
0000268c: PUSH1 0xe5
0000268e: SHL
0000268f: DUP2
00002690: MSTORE
00002691: PUSH1 0x04
00002693: ADD
00002694: PUSH2 0x0582
00002697: SWAP1
00002698: PUSH2 0x3c50
0000269b: JUMP
0000269c: JUMPDEST
0000269d: PUSH1 0x00
0000269f: PUSH1 0x60
000026a1: DUP4
000026a2: PUSH1 0x01
000026a4: PUSH1 0x01
000026a6: PUSH1 0xa0
000026a8: SHL
000026a9: SUB
000026aa: AND
000026ab: DUP4
000026ac: PUSH1 0x40
000026ae: MLOAD
000026af: PUSH2 0x26b8
000026b2: SWAP2
000026b3: SWAP1
000026b4: PUSH2 0x3980
000026b7: JUMP
000026b8: JUMPDEST
000026b9: PUSH1 0x00
000026bb: PUSH1 0x40
000026bd: MLOAD
000026be: DUP1
000026bf: DUP4
000026c0: SUB
000026c1: DUP2
000026c2: PUSH1 0x00
000026c4: DUP7
000026c5: GAS
000026c6: CALL
000026c7: SWAP2
000026c8: POP
000026c9: POP
000026ca: RETURNDATASIZE
000026cb: DUP1
000026cc: PUSH1 0x00
000026ce: DUP2
000026cf: EQ
000026d0: PUSH2 0x26f5
000026d3: JUMPI
000026d4: PUSH1 0x40
000026d6: MLOAD
000026d7: SWAP2
000026d8: POP
000026d9: PUSH1 0x1f
000026db: NOT
000026dc: PUSH1 0x3f
000026de: RETURNDATASIZE
000026df: ADD
000026e0: AND
000026e1: DUP3
000026e2: ADD
000026e3: PUSH1 0x40
000026e5: MSTORE
000026e6: RETURNDATASIZE
000026e7: DUP3
000026e8: MSTORE
000026e9: RETURNDATASIZE
000026ea: PUSH1 0x00
000026ec: PUSH1 0x20
000026ee: DUP5
000026ef: ADD
000026f0: RETURNDATACOPY
000026f1: PUSH2 0x26fa
000026f4: JUMP
000026f5: JUMPDEST
000026f6: PUSH1 0x60
000026f8: SWAP2
000026f9: POP
000026fa: JUMPDEST
000026fb: POP
000026fc: SWAP2
000026fd: POP
000026fe: SWAP2
000026ff: POP
00002700: DUP2
00002701: PUSH2 0x271c
00002704: JUMPI
00002705: PUSH1 0x40
00002707: MLOAD
00002708: PUSH3 0x461bcd
0000270c: PUSH1 0xe5
0000270e: SHL
0000270f: DUP2
00002710: MSTORE
00002711: PUSH1 0x04
00002713: ADD
00002714: PUSH2 0x0582
00002717: SWAP1
00002718: PUSH2 0x3b20
0000271b: JUMP
0000271c: JUMPDEST
0000271d: DUP1
0000271e: MLOAD
0000271f: ISZERO
00002720: PUSH2 0x2753
00002723: JUMPI
00002724: DUP1
00002725: DUP1
00002726: PUSH1 0x20
00002728: ADD
00002729: SWAP1
0000272a: MLOAD
0000272b: PUSH2 0x2737
0000272e: SWAP2
0000272f: SWAP1
00002730: DUP2
00002731: ADD
00002732: SWAP1
00002733: PUSH2 0x2c4a
00002736: JUMP
00002737: JUMPDEST
00002738: PUSH2 0x2753
0000273b: JUMPI
0000273c: PUSH1 0x40
0000273e: MLOAD
0000273f: PUSH3 0x461bcd
00002743: PUSH1 0xe5
00002745: SHL
00002746: DUP2
00002747: MSTORE
00002748: PUSH1 0x04
0000274a: ADD
0000274b: PUSH2 0x0582
0000274e: SWAP1
0000274f: PUSH2 0x3c20
00002752: JUMP
00002753: JUMPDEST
00002754: POP
00002755: POP
00002756: POP
00002757: POP
00002758: JUMP
00002759: JUMPDEST
0000275a: PUSH1 0x00
0000275c: DUP2
0000275d: EXTCODEHASH
0000275e: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
0000277f: DUP2
00002780: DUP2
00002781: EQ
00002782: DUP1
00002783: ISZERO
00002784: SWAP1
00002785: PUSH2 0x253d
00002788: JUMPI
00002789: POP
0000278a: POP
0000278b: ISZERO
0000278c: ISZERO
0000278d: SWAP3
0000278e: SWAP2
0000278f: POP
00002790: POP
00002791: JUMP
00002792: JUMPDEST
00002793: PUSH1 0x40
00002795: MLOAD
00002796: DUP1
00002797: PUSH1 0x40
00002799: ADD
0000279a: PUSH1 0x40
0000279c: MSTORE
0000279d: DUP1
0000279e: PUSH1 0x02
000027a0: SWAP1
000027a1: PUSH1 0x20
000027a3: DUP3
000027a4: MUL
000027a5: DUP1
000027a6: CODESIZE
000027a7: DUP4
000027a8: CODECOPY
000027a9: POP
000027aa: SWAP2
000027ab: SWAP3
000027ac: SWAP2
000027ad: POP
000027ae: POP
000027af: JUMP
000027b0: JUMPDEST
000027b1: PUSH1 0x40
000027b3: MLOAD
000027b4: DUP1
000027b5: PUSH1 0xa0
000027b7: ADD
000027b8: PUSH1 0x40
000027ba: MSTORE
000027bb: DUP1
000027bc: PUSH1 0x00
000027be: DUP2
000027bf: MSTORE
000027c0: PUSH1 0x20
000027c2: ADD
000027c3: PUSH1 0x00
000027c5: DUP2
000027c6: MSTORE
000027c7: PUSH1 0x20
000027c9: ADD
000027ca: PUSH1 0x00
000027cc: DUP2
000027cd: MSTORE
000027ce: PUSH1 0x20
000027d0: ADD
000027d1: PUSH1 0x00
000027d3: DUP2
000027d4: MSTORE
000027d5: PUSH1 0x20
000027d7: ADD
000027d8: PUSH1 0x00
000027da: DUP2
000027db: MSTORE
000027dc: POP
000027dd: SWAP1
000027de: JUMP
000027df: JUMPDEST
000027e0: DUP1
000027e1: CALLDATALOAD
000027e2: PUSH2 0x1c74
000027e5: DUP2
000027e6: PUSH2 0x3dcf
000027e9: JUMP
000027ea: JUMPDEST
000027eb: PUSH1 0x00
000027ed: DUP3
000027ee: PUSH1 0x1f
000027f0: DUP4
000027f1: ADD
000027f2: SLT
000027f3: PUSH2 0x27fb
000027f6: JUMPI
000027f7: PUSH1 0x00
000027f9: DUP1
000027fa: REVERT
000027fb: JUMPDEST
000027fc: DUP2
000027fd: CALLDATALOAD
000027fe: PUSH2 0x280e
00002801: PUSH2 0x2809
00002804: DUP3
00002805: PUSH2 0x3ce4
00002808: JUMP
00002809: JUMPDEST
0000280a: PUSH2 0x3cbd
0000280d: JUMP
0000280e: JUMPDEST
0000280f: DUP2
00002810: DUP2
00002811: MSTORE
00002812: PUSH1 0x20
00002814: SWAP4
00002815: DUP5
00002816: ADD
00002817: SWAP4
00002818: SWAP1
00002819: SWAP3
0000281a: POP
0000281b: DUP3
0000281c: ADD
0000281d: DUP4
0000281e: PUSH1 0x00
00002820: JUMPDEST
00002821: DUP4
00002822: DUP2
00002823: LT
00002824: ISZERO
00002825: PUSH2 0x284c
00002828: JUMPI
00002829: DUP2
0000282a: CALLDATALOAD
0000282b: DUP7
0000282c: ADD
0000282d: PUSH2 0x2836
00002830: DUP9
00002831: DUP3
00002832: PUSH2 0x28be
00002835: JUMP
00002836: JUMPDEST
00002837: DUP5
00002838: MSTORE
00002839: POP
0000283a: PUSH1 0x20
0000283c: SWAP3
0000283d: DUP4
0000283e: ADD
0000283f: SWAP3
00002840: SWAP2
00002841: SWAP1
00002842: SWAP2
00002843: ADD
00002844: SWAP1
00002845: PUSH1 0x01
00002847: ADD
00002848: PUSH2 0x2820
0000284b: JUMP
0000284c: JUMPDEST
0000284d: POP
0000284e: POP
0000284f: POP
00002850: POP
00002851: SWAP3
00002852: SWAP2
00002853: POP
00002854: POP
00002855: JUMP
00002856: JUMPDEST
00002857: PUSH1 0x00
00002859: DUP3
0000285a: PUSH1 0x1f
0000285c: DUP4
0000285d: ADD
0000285e: SLT
0000285f: PUSH2 0x2867
00002862: JUMPI
00002863: PUSH1 0x00
00002865: DUP1
00002866: REVERT
00002867: JUMPDEST
00002868: DUP2
00002869: CALLDATALOAD
0000286a: PUSH2 0x2875
0000286d: PUSH2 0x2809
00002870: DUP3
00002871: PUSH2 0x3ce4
00002874: JUMP
00002875: JUMPDEST
00002876: DUP2
00002877: DUP2
00002878: MSTORE
00002879: PUSH1 0x20
0000287b: SWAP4
0000287c: DUP5
0000287d: ADD
0000287e: SWAP4
0000287f: SWAP1
00002880: SWAP3
00002881: POP
00002882: DUP3
00002883: ADD
00002884: DUP4
00002885: PUSH1 0x00
00002887: JUMPDEST
00002888: DUP4
00002889: DUP2
0000288a: LT
0000288b: ISZERO
0000288c: PUSH2 0x284c
0000288f: JUMPI
00002890: DUP2
00002891: CALLDATALOAD
00002892: DUP7
00002893: ADD
00002894: PUSH2 0x289d
00002897: DUP9
00002898: DUP3
00002899: PUSH2 0x2990
0000289c: JUMP
0000289d: JUMPDEST
0000289e: DUP5
0000289f: MSTORE
000028a0: POP
000028a1: PUSH1 0x20
000028a3: SWAP3
000028a4: DUP4
000028a5: ADD
000028a6: SWAP3
000028a7: SWAP2
000028a8: SWAP1
000028a9: SWAP2
000028aa: ADD
000028ab: SWAP1
000028ac: PUSH1 0x01
000028ae: ADD
000028af: PUSH2 0x2887
000028b2: JUMP
000028b3: JUMPDEST
000028b4: DUP1
000028b5: MLOAD
000028b6: PUSH2 0x1c74
000028b9: DUP2
000028ba: PUSH2 0x3de3
000028bd: JUMP
000028be: JUMPDEST
000028bf: PUSH1 0x00
000028c1: DUP3
000028c2: PUSH1 0x1f
000028c4: DUP4
000028c5: ADD
000028c6: SLT
000028c7: PUSH2 0x28cf
000028ca: JUMPI
000028cb: PUSH1 0x00
000028cd: DUP1
000028ce: REVERT
000028cf: JUMPDEST
000028d0: DUP2
000028d1: CALLDATALOAD
000028d2: PUSH2 0x28dd
000028d5: PUSH2 0x2809
000028d8: DUP3
000028d9: PUSH2 0x3d05
000028dc: JUMP
000028dd: JUMPDEST
000028de: SWAP2
000028df: POP
000028e0: DUP1
000028e1: DUP3
000028e2: MSTORE
000028e3: PUSH1 0x20
000028e5: DUP4
000028e6: ADD
000028e7: PUSH1 0x20
000028e9: DUP4
000028ea: ADD
000028eb: DUP6
000028ec: DUP4
000028ed: DUP4
000028ee: ADD
000028ef: GT
000028f0: ISZERO
000028f1: PUSH2 0x28f9
000028f4: JUMPI
000028f5: PUSH1 0x00
000028f7: DUP1
000028f8: REVERT
000028f9: JUMPDEST
000028fa: PUSH2 0x2904
000028fd: DUP4
000028fe: DUP3
000028ff: DUP5
00002900: PUSH2 0x3d8d
00002903: JUMP
00002904: JUMPDEST
00002905: POP
00002906: POP
00002907: POP
00002908: SWAP3
00002909: SWAP2
0000290a: POP
0000290b: POP
0000290c: JUMP
0000290d: JUMPDEST
0000290e: PUSH1 0x00
00002910: PUSH1 0xa0
00002912: DUP3
00002913: DUP5
00002914: SUB
00002915: SLT
00002916: ISZERO
00002917: PUSH2 0x291f
0000291a: JUMPI
0000291b: PUSH1 0x00
0000291d: DUP1
0000291e: REVERT
0000291f: JUMPDEST
00002920: PUSH2 0x2929
00002923: PUSH1 0xa0
00002925: PUSH2 0x3cbd
00002928: JUMP
00002929: JUMPDEST
0000292a: SWAP1
0000292b: POP
0000292c: PUSH1 0x00
0000292e: PUSH2 0x2937
00002931: DUP5
00002932: DUP5
00002933: PUSH2 0x2b4b
00002936: JUMP
00002937: JUMPDEST
00002938: DUP3
00002939: MSTORE
0000293a: POP
0000293b: PUSH1 0x20
0000293d: PUSH2 0x2948
00002940: DUP5
00002941: DUP5
00002942: DUP4
00002943: ADD
00002944: PUSH2 0x2b4b
00002947: JUMP
00002948: JUMPDEST
00002949: PUSH1 0x20
0000294b: DUP4
0000294c: ADD
0000294d: MSTORE
0000294e: POP
0000294f: PUSH1 0x40
00002951: PUSH2 0x295c
00002954: DUP5
00002955: DUP3
00002956: DUP6
00002957: ADD
00002958: PUSH2 0x2b4b
0000295b: JUMP
0000295c: JUMPDEST
0000295d: PUSH1 0x40
0000295f: DUP4
00002960: ADD
00002961: MSTORE
00002962: POP
00002963: PUSH1 0x60
00002965: PUSH2 0x2970
00002968: DUP5
00002969: DUP3
0000296a: DUP6
0000296b: ADD
0000296c: PUSH2 0x2b4b
0000296f: JUMP
00002970: JUMPDEST
00002971: PUSH1 0x60
00002973: DUP4
00002974: ADD
00002975: MSTORE
00002976: POP
00002977: PUSH1 0x80
00002979: PUSH2 0x2984
0000297c: DUP5
0000297d: DUP3
0000297e: DUP6
0000297f: ADD
00002980: PUSH2 0x2b4b
00002983: JUMP
00002984: JUMPDEST
00002985: PUSH1 0x80
00002987: DUP4
00002988: ADD
00002989: MSTORE
0000298a: POP
0000298b: SWAP3
0000298c: SWAP2
0000298d: POP
0000298e: POP
0000298f: JUMP
00002990: JUMPDEST
00002991: PUSH1 0x00
00002993: PUSH2 0x01c0
00002996: DUP3
00002997: DUP5
00002998: SUB
00002999: SLT
0000299a: ISZERO
0000299b: PUSH2 0x29a3
0000299e: JUMPI
0000299f: PUSH1 0x00
000029a1: DUP1
000029a2: REVERT
000029a3: JUMPDEST
000029a4: PUSH2 0x29ae
000029a7: PUSH2 0x01c0
000029aa: PUSH2 0x3cbd
000029ad: JUMP
000029ae: JUMPDEST
000029af: SWAP1
000029b0: POP
000029b1: PUSH1 0x00
000029b3: PUSH2 0x29bc
000029b6: DUP5
000029b7: DUP5
000029b8: PUSH2 0x27df
000029bb: JUMP
000029bc: JUMPDEST
000029bd: DUP3
000029be: MSTORE
000029bf: POP
000029c0: PUSH1 0x20
000029c2: PUSH2 0x29cd
000029c5: DUP5
000029c6: DUP5
000029c7: DUP4
000029c8: ADD
000029c9: PUSH2 0x27df
000029cc: JUMP
000029cd: JUMPDEST
000029ce: PUSH1 0x20
000029d0: DUP4
000029d1: ADD
000029d2: MSTORE
000029d3: POP
000029d4: PUSH1 0x40
000029d6: PUSH2 0x29e1
000029d9: DUP5
000029da: DUP3
000029db: DUP6
000029dc: ADD
000029dd: PUSH2 0x27df
000029e0: JUMP
000029e1: JUMPDEST
000029e2: PUSH1 0x40
000029e4: DUP4
000029e5: ADD
000029e6: MSTORE
000029e7: POP
000029e8: PUSH1 0x60
000029ea: PUSH2 0x29f5
000029ed: DUP5
000029ee: DUP3
000029ef: DUP6
000029f0: ADD
000029f1: PUSH2 0x27df
000029f4: JUMP
000029f5: JUMPDEST
000029f6: PUSH1 0x60
000029f8: DUP4
000029f9: ADD
000029fa: MSTORE
000029fb: POP
000029fc: PUSH1 0x80
000029fe: PUSH2 0x2a09
00002a01: DUP5
00002a02: DUP3
00002a03: DUP6
00002a04: ADD
00002a05: PUSH2 0x2b40
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH1 0x80
00002a0c: DUP4
00002a0d: ADD
00002a0e: MSTORE
00002a0f: POP
00002a10: PUSH1 0xa0
00002a12: PUSH2 0x2a1d
00002a15: DUP5
00002a16: DUP3
00002a17: DUP6
00002a18: ADD
00002a19: PUSH2 0x2b40
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH1 0xa0
00002a20: DUP4
00002a21: ADD
00002a22: MSTORE
00002a23: POP
00002a24: PUSH1 0xc0
00002a26: PUSH2 0x2a31
00002a29: DUP5
00002a2a: DUP3
00002a2b: DUP6
00002a2c: ADD
00002a2d: PUSH2 0x2b40
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH1 0xc0
00002a34: DUP4
00002a35: ADD
00002a36: MSTORE
00002a37: POP
00002a38: PUSH1 0xe0
00002a3a: PUSH2 0x2a45
00002a3d: DUP5
00002a3e: DUP3
00002a3f: DUP6
00002a40: ADD
00002a41: PUSH2 0x2b40
00002a44: JUMP
00002a45: JUMPDEST
00002a46: PUSH1 0xe0
00002a48: DUP4
00002a49: ADD
00002a4a: MSTORE
00002a4b: POP
00002a4c: PUSH2 0x0100
00002a4f: PUSH2 0x2a5a
00002a52: DUP5
00002a53: DUP3
00002a54: DUP6
00002a55: ADD
00002a56: PUSH2 0x2b40
00002a59: JUMP
00002a5a: JUMPDEST
00002a5b: PUSH2 0x0100
00002a5e: DUP4
00002a5f: ADD
00002a60: MSTORE
00002a61: POP
00002a62: PUSH2 0x0120
00002a65: PUSH2 0x2a70
00002a68: DUP5
00002a69: DUP3
00002a6a: DUP6
00002a6b: ADD
00002a6c: PUSH2 0x2b40
00002a6f: JUMP
00002a70: JUMPDEST
00002a71: PUSH2 0x0120
00002a74: DUP4
00002a75: ADD
00002a76: MSTORE
00002a77: POP
00002a78: PUSH2 0x0140
00002a7b: DUP3
00002a7c: ADD
00002a7d: CALLDATALOAD
00002a7e: PUSH8 0xffffffffffffffff
00002a87: DUP2
00002a88: GT
00002a89: ISZERO
00002a8a: PUSH2 0x2a92
00002a8d: JUMPI
00002a8e: PUSH1 0x00
00002a90: DUP1
00002a91: REVERT
00002a92: JUMPDEST
00002a93: PUSH2 0x2a9e
00002a96: DUP5
00002a97: DUP3
00002a98: DUP6
00002a99: ADD
00002a9a: PUSH2 0x28be
00002a9d: JUMP
00002a9e: JUMPDEST
00002a9f: PUSH2 0x0140
00002aa2: DUP4
00002aa3: ADD
00002aa4: MSTORE
00002aa5: POP
00002aa6: PUSH2 0x0160
00002aa9: DUP3
00002aaa: ADD
00002aab: CALLDATALOAD
00002aac: PUSH8 0xffffffffffffffff
00002ab5: DUP2
00002ab6: GT
00002ab7: ISZERO
00002ab8: PUSH2 0x2ac0
00002abb: JUMPI
00002abc: PUSH1 0x00
00002abe: DUP1
00002abf: REVERT
00002ac0: JUMPDEST
00002ac1: PUSH2 0x2acc
00002ac4: DUP5
00002ac5: DUP3
00002ac6: DUP6
00002ac7: ADD
00002ac8: PUSH2 0x28be
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH2 0x0160
00002ad0: DUP4
00002ad1: ADD
00002ad2: MSTORE
00002ad3: POP
00002ad4: PUSH2 0x0180
00002ad7: DUP3
00002ad8: ADD
00002ad9: CALLDATALOAD
00002ada: PUSH8 0xffffffffffffffff
00002ae3: DUP2
00002ae4: GT
00002ae5: ISZERO
00002ae6: PUSH2 0x2aee
00002ae9: JUMPI
00002aea: PUSH1 0x00
00002aec: DUP1
00002aed: REVERT
00002aee: JUMPDEST
00002aef: PUSH2 0x2afa
00002af2: DUP5
00002af3: DUP3
00002af4: DUP6
00002af5: ADD
00002af6: PUSH2 0x28be
00002af9: JUMP
00002afa: JUMPDEST
00002afb: PUSH2 0x0180
00002afe: DUP4
00002aff: ADD
00002b00: MSTORE
00002b01: POP
00002b02: PUSH2 0x01a0
00002b05: DUP3
00002b06: ADD
00002b07: CALLDATALOAD
00002b08: PUSH8 0xffffffffffffffff
00002b11: DUP2
00002b12: GT
00002b13: ISZERO
00002b14: PUSH2 0x2b1c
00002b17: JUMPI
00002b18: PUSH1 0x00
00002b1a: DUP1
00002b1b: REVERT
00002b1c: JUMPDEST
00002b1d: PUSH2 0x2b28
00002b20: DUP5
00002b21: DUP3
00002b22: DUP6
00002b23: ADD
00002b24: PUSH2 0x28be
00002b27: JUMP
00002b28: JUMPDEST
00002b29: PUSH2 0x01a0
00002b2c: DUP4
00002b2d: ADD
00002b2e: MSTORE
00002b2f: POP
00002b30: SWAP3
00002b31: SWAP2
00002b32: POP
00002b33: POP
00002b34: JUMP
00002b35: JUMPDEST
00002b36: DUP1
00002b37: CALLDATALOAD
00002b38: PUSH2 0x1c74
00002b3b: DUP2
00002b3c: PUSH2 0x3dec
00002b3f: JUMP
00002b40: JUMPDEST
00002b41: DUP1
00002b42: CALLDATALOAD
00002b43: PUSH2 0x1c74
00002b46: DUP2
00002b47: PUSH2 0x3df5
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: DUP1
00002b4d: MLOAD
00002b4e: PUSH2 0x1c74
00002b51: DUP2
00002b52: PUSH2 0x3df5
00002b55: JUMP
00002b56: JUMPDEST
00002b57: DUP1
00002b58: CALLDATALOAD
00002b59: PUSH2 0x1c74
00002b5c: DUP2
00002b5d: PUSH2 0x3dfe
00002b60: JUMP
00002b61: JUMPDEST
00002b62: PUSH1 0x00
00002b64: PUSH1 0x20
00002b66: DUP3
00002b67: DUP5
00002b68: SUB
00002b69: SLT
00002b6a: ISZERO
00002b6b: PUSH2 0x2b73
00002b6e: JUMPI
00002b6f: PUSH1 0x00
00002b71: DUP1
00002b72: REVERT
00002b73: JUMPDEST
00002b74: PUSH1 0x00
00002b76: PUSH2 0x253d
00002b79: DUP5
00002b7a: DUP5
00002b7b: PUSH2 0x27df
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: PUSH1 0x00
00002b82: DUP1
00002b83: PUSH1 0x00
00002b85: DUP1
00002b86: PUSH1 0x80
00002b88: DUP6
00002b89: DUP8
00002b8a: SUB
00002b8b: SLT
00002b8c: ISZERO
00002b8d: PUSH2 0x2b95
00002b90: JUMPI
00002b91: PUSH1 0x00
00002b93: DUP1
00002b94: REVERT
00002b95: JUMPDEST
00002b96: PUSH1 0x00
00002b98: PUSH2 0x2ba1
00002b9b: DUP8
00002b9c: DUP8
00002b9d: PUSH2 0x27df
00002ba0: JUMP
00002ba1: JUMPDEST
00002ba2: SWAP5
00002ba3: POP
00002ba4: POP
00002ba5: PUSH1 0x20
00002ba7: DUP6
00002ba8: ADD
00002ba9: CALLDATALOAD
00002baa: PUSH8 0xffffffffffffffff
00002bb3: DUP2
00002bb4: GT
00002bb5: ISZERO
00002bb6: PUSH2 0x2bbe
00002bb9: JUMPI
00002bba: PUSH1 0x00
00002bbc: DUP1
00002bbd: REVERT
00002bbe: JUMPDEST
00002bbf: PUSH2 0x2bca
00002bc2: DUP8
00002bc3: DUP3
00002bc4: DUP9
00002bc5: ADD
00002bc6: PUSH2 0x2856
00002bc9: JUMP
00002bca: JUMPDEST
00002bcb: SWAP4
00002bcc: POP
00002bcd: POP
00002bce: PUSH1 0x40
00002bd0: DUP6
00002bd1: ADD
00002bd2: CALLDATALOAD
00002bd3: PUSH8 0xffffffffffffffff
00002bdc: DUP2
00002bdd: GT
00002bde: ISZERO
00002bdf: PUSH2 0x2be7
00002be2: JUMPI
00002be3: PUSH1 0x00
00002be5: DUP1
00002be6: REVERT
00002be7: JUMPDEST
00002be8: PUSH2 0x2bf3
00002beb: DUP8
00002bec: DUP3
00002bed: DUP9
00002bee: ADD
00002bef: PUSH2 0x27ea
00002bf2: JUMP
00002bf3: JUMPDEST
00002bf4: SWAP3
00002bf5: POP
00002bf6: POP
00002bf7: PUSH1 0x60
00002bf9: PUSH2 0x2c04
00002bfc: DUP8
00002bfd: DUP3
00002bfe: DUP9
00002bff: ADD
00002c00: PUSH2 0x2b40
00002c03: JUMP
00002c04: JUMPDEST
00002c05: SWAP2
00002c06: POP
00002c07: POP
00002c08: SWAP3
00002c09: SWAP6
00002c0a: SWAP2
00002c0b: SWAP5
00002c0c: POP
00002c0d: SWAP3
00002c0e: POP
00002c0f: JUMP
00002c10: JUMPDEST
00002c11: PUSH1 0x00
00002c13: DUP1
00002c14: PUSH1 0x40
00002c16: DUP4
00002c17: DUP6
00002c18: SUB
00002c19: SLT
00002c1a: ISZERO
00002c1b: PUSH2 0x2c23
00002c1e: JUMPI
00002c1f: PUSH1 0x00
00002c21: DUP1
00002c22: REVERT
00002c23: JUMPDEST
00002c24: PUSH1 0x00
00002c26: PUSH2 0x2c2f
00002c29: DUP6
00002c2a: DUP6
00002c2b: PUSH2 0x27df
00002c2e: JUMP
00002c2f: JUMPDEST
00002c30: SWAP3
00002c31: POP
00002c32: POP
00002c33: PUSH1 0x20
00002c35: PUSH2 0x2c40
00002c38: DUP6
00002c39: DUP3
00002c3a: DUP7
00002c3b: ADD
00002c3c: PUSH2 0x2b40
00002c3f: JUMP
00002c40: JUMPDEST
00002c41: SWAP2
00002c42: POP
00002c43: POP
00002c44: SWAP3
00002c45: POP
00002c46: SWAP3
00002c47: SWAP1
00002c48: POP
00002c49: JUMP
00002c4a: JUMPDEST
00002c4b: PUSH1 0x00
00002c4d: PUSH1 0x20
00002c4f: DUP3
00002c50: DUP5
00002c51: SUB
00002c52: SLT
00002c53: ISZERO
00002c54: PUSH2 0x2c5c
00002c57: JUMPI
00002c58: PUSH1 0x00
00002c5a: DUP1
00002c5b: REVERT
00002c5c: JUMPDEST
00002c5d: PUSH1 0x00
00002c5f: PUSH2 0x253d
00002c62: DUP5
00002c63: DUP5
00002c64: PUSH2 0x28b3
00002c67: JUMP
00002c68: JUMPDEST
00002c69: PUSH1 0x00
00002c6b: PUSH1 0xa0
00002c6d: DUP3
00002c6e: DUP5
00002c6f: SUB
00002c70: SLT
00002c71: ISZERO
00002c72: PUSH2 0x2c7a
00002c75: JUMPI
00002c76: PUSH1 0x00
00002c78: DUP1
00002c79: REVERT
00002c7a: JUMPDEST
00002c7b: PUSH1 0x00
00002c7d: PUSH2 0x253d
00002c80: DUP5
00002c81: DUP5
00002c82: PUSH2 0x290d
00002c85: JUMP
00002c86: JUMPDEST
00002c87: PUSH1 0x00
00002c89: PUSH1 0x20
00002c8b: DUP3
00002c8c: DUP5
00002c8d: SUB
00002c8e: SLT
00002c8f: ISZERO
00002c90: PUSH2 0x2c98
00002c93: JUMPI
00002c94: PUSH1 0x00
00002c96: DUP1
00002c97: REVERT
00002c98: JUMPDEST
00002c99: PUSH1 0x00
00002c9b: PUSH2 0x253d
00002c9e: DUP5
00002c9f: DUP5
00002ca0: PUSH2 0x2b35
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: PUSH1 0x00
00002ca7: PUSH1 0x20
00002ca9: DUP3
00002caa: DUP5
00002cab: SUB
00002cac: SLT
00002cad: ISZERO
00002cae: PUSH2 0x2cb6
00002cb1: JUMPI
00002cb2: PUSH1 0x00
00002cb4: DUP1
00002cb5: REVERT
00002cb6: JUMPDEST
00002cb7: PUSH1 0x00
00002cb9: PUSH2 0x253d
00002cbc: DUP5
00002cbd: DUP5
00002cbe: PUSH2 0x2b40
00002cc1: JUMP
00002cc2: JUMPDEST
00002cc3: PUSH1 0x00
00002cc5: PUSH1 0x20
00002cc7: DUP3
00002cc8: DUP5
00002cc9: SUB
00002cca: SLT
00002ccb: ISZERO
00002ccc: PUSH2 0x2cd4
00002ccf: JUMPI
00002cd0: PUSH1 0x00
00002cd2: DUP1
00002cd3: REVERT
00002cd4: JUMPDEST
00002cd5: PUSH1 0x00
00002cd7: PUSH2 0x253d
00002cda: DUP5
00002cdb: DUP5
00002cdc: PUSH2 0x2b4b
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: PUSH1 0x00
00002ce3: PUSH1 0x20
00002ce5: DUP3
00002ce6: DUP5
00002ce7: SUB
00002ce8: SLT
00002ce9: ISZERO
00002cea: PUSH2 0x2cf2
00002ced: JUMPI
00002cee: PUSH1 0x00
00002cf0: DUP1
00002cf1: REVERT
00002cf2: JUMPDEST
00002cf3: PUSH1 0x00
00002cf5: PUSH2 0x253d
00002cf8: DUP5
00002cf9: DUP5
00002cfa: PUSH2 0x2b56
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: PUSH1 0x00
00002d01: DUP1
00002d02: PUSH1 0x40
00002d04: DUP4
00002d05: DUP6
00002d06: SUB
00002d07: SLT
00002d08: ISZERO
00002d09: PUSH2 0x2d11
00002d0c: JUMPI
00002d0d: PUSH1 0x00
00002d0f: DUP1
00002d10: REVERT
00002d11: JUMPDEST
00002d12: PUSH1 0x00
00002d14: PUSH2 0x2c2f
00002d17: DUP6
00002d18: DUP6
00002d19: PUSH2 0x2b56
00002d1c: JUMP
00002d1d: JUMPDEST
00002d1e: PUSH1 0x00
00002d20: DUP1
00002d21: PUSH1 0x00
00002d23: PUSH1 0x60
00002d25: DUP5
00002d26: DUP7
00002d27: SUB
00002d28: SLT
00002d29: ISZERO
00002d2a: PUSH2 0x2d32
00002d2d: JUMPI
00002d2e: PUSH1 0x00
00002d30: DUP1
00002d31: REVERT
00002d32: JUMPDEST
00002d33: PUSH1 0x00
00002d35: PUSH2 0x2d3e
00002d38: DUP7
00002d39: DUP7
00002d3a: PUSH2 0x2b56
00002d3d: JUMP
00002d3e: JUMPDEST
00002d3f: SWAP4
00002d40: POP
00002d41: POP
00002d42: PUSH1 0x20
00002d44: PUSH2 0x2d4f
00002d47: DUP7
00002d48: DUP3
00002d49: DUP8
00002d4a: ADD
00002d4b: PUSH2 0x2b40
00002d4e: JUMP
00002d4f: JUMPDEST
00002d50: SWAP3
00002d51: POP
00002d52: POP
00002d53: PUSH1 0x40
00002d55: PUSH2 0x2d60
00002d58: DUP7
00002d59: DUP3
00002d5a: DUP8
00002d5b: ADD
00002d5c: PUSH2 0x2b40
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: SWAP2
00002d62: POP
00002d63: POP
00002d64: SWAP3
00002d65: POP
00002d66: SWAP3
00002d67: POP
00002d68: SWAP3
00002d69: JUMP
00002d6a: JUMPDEST
00002d6b: PUSH1 0x00
00002d6d: PUSH2 0x2022
00002d70: DUP4
00002d71: DUP4
00002d72: PUSH2 0x2f68
00002d75: JUMP
00002d76: JUMPDEST
00002d77: PUSH1 0x00
00002d79: PUSH2 0x2022
00002d7c: DUP4
00002d7d: DUP4
00002d7e: PUSH2 0x382a
00002d81: JUMP
00002d82: JUMPDEST
00002d83: PUSH1 0x00
00002d85: PUSH2 0x2d8e
00002d88: DUP4
00002d89: DUP4
00002d8a: PUSH2 0x396e
00002d8d: JUMP
00002d8e: JUMPDEST
00002d8f: POP
00002d90: POP
00002d91: PUSH1 0x20
00002d93: ADD
00002d94: SWAP1
00002d95: JUMP
00002d96: JUMPDEST
00002d97: PUSH1 0x00
00002d99: PUSH2 0x2d8e
00002d9c: DUP4
00002d9d: DUP4
00002d9e: PUSH2 0x3977
00002da1: JUMP
00002da2: JUMPDEST
00002da3: PUSH2 0x2dab
00002da6: DUP2
00002da7: PUSH2 0x3d6c
00002daa: JUMP
00002dab: JUMPDEST
00002dac: DUP3
00002dad: MSTORE
00002dae: POP
00002daf: POP
00002db0: JUMP
00002db1: JUMPDEST
00002db2: PUSH2 0x2dab
00002db5: DUP2
00002db6: PUSH2 0x3d40
00002db9: JUMP
00002dba: JUMPDEST
00002dbb: PUSH1 0x00
00002dbd: PUSH2 0x2dc5
00002dc0: DUP3
00002dc1: PUSH2 0x3d33
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: PUSH2 0x2dcf
00002dc9: DUP2
00002dca: DUP6
00002dcb: PUSH2 0x3d37
00002dce: JUMP
00002dcf: JUMPDEST
00002dd0: SWAP4
00002dd1: POP
00002dd2: DUP4
00002dd3: PUSH1 0x20
00002dd5: DUP3
00002dd6: MUL
00002dd7: DUP6
00002dd8: ADD
00002dd9: PUSH2 0x2de1
00002ddc: DUP6
00002ddd: PUSH2 0x3d2d
00002de0: JUMP
00002de1: JUMPDEST
00002de2: DUP1
00002de3: PUSH1 0x00
00002de5: JUMPDEST
00002de6: DUP6
00002de7: DUP2
00002de8: LT
00002de9: ISZERO
00002dea: PUSH2 0x2e1b
00002ded: JUMPI
00002dee: DUP5
00002def: DUP5
00002df0: SUB
00002df1: DUP10
00002df2: MSTORE
00002df3: DUP2
00002df4: MLOAD
00002df5: PUSH2 0x2dfe
00002df8: DUP6
00002df9: DUP3
00002dfa: PUSH2 0x2d6a
00002dfd: JUMP
00002dfe: JUMPDEST
00002dff: SWAP5
00002e00: POP
00002e01: PUSH2 0x2e09
00002e04: DUP4
00002e05: PUSH2 0x3d2d
00002e08: JUMP
00002e09: JUMPDEST
00002e0a: PUSH1 0x20
00002e0c: SWAP11
00002e0d: SWAP1
00002e0e: SWAP11
00002e0f: ADD
00002e10: SWAP10
00002e11: SWAP3
00002e12: POP
00002e13: POP
00002e14: PUSH1 0x01
00002e16: ADD
00002e17: PUSH2 0x2de5
00002e1a: JUMP
00002e1b: JUMPDEST
00002e1c: POP
00002e1d: SWAP2
00002e1e: SWAP8
00002e1f: SWAP7
00002e20: POP
00002e21: POP
00002e22: POP
00002e23: POP
00002e24: POP
00002e25: POP
00002e26: POP
00002e27: JUMP
00002e28: JUMPDEST
00002e29: PUSH1 0x00
00002e2b: PUSH2 0x2e33
00002e2e: DUP3
00002e2f: PUSH2 0x3d33
00002e32: JUMP
00002e33: JUMPDEST
00002e34: PUSH2 0x2e3d
00002e37: DUP2
00002e38: DUP6
00002e39: PUSH2 0x3d37
00002e3c: JUMP
00002e3d: JUMPDEST
00002e3e: SWAP4
00002e3f: POP
00002e40: DUP4
00002e41: PUSH1 0x20
00002e43: DUP3
00002e44: MUL
00002e45: DUP6
00002e46: ADD
00002e47: PUSH2 0x2e4f
00002e4a: DUP6
00002e4b: PUSH2 0x3d2d
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: DUP1
00002e51: PUSH1 0x00
00002e53: JUMPDEST
00002e54: DUP6
00002e55: DUP2
00002e56: LT
00002e57: ISZERO
00002e58: PUSH2 0x2e1b
00002e5b: JUMPI
00002e5c: DUP5
00002e5d: DUP5
00002e5e: SUB
00002e5f: DUP10
00002e60: MSTORE
00002e61: DUP2
00002e62: MLOAD
00002e63: PUSH2 0x2e6c
00002e66: DUP6
00002e67: DUP3
00002e68: PUSH2 0x2d76
00002e6b: JUMP
00002e6c: JUMPDEST
00002e6d: SWAP5
00002e6e: POP
00002e6f: PUSH2 0x2e77
00002e72: DUP4
00002e73: PUSH2 0x3d2d
00002e76: JUMP
00002e77: JUMPDEST
00002e78: PUSH1 0x20
00002e7a: SWAP11
00002e7b: SWAP1
00002e7c: SWAP11
00002e7d: ADD
00002e7e: SWAP10
00002e7f: SWAP3
00002e80: POP
00002e81: POP
00002e82: PUSH1 0x01
00002e84: ADD
00002e85: PUSH2 0x2e53
00002e88: JUMP
00002e89: JUMPDEST
00002e8a: PUSH1 0x00
00002e8c: PUSH2 0x2e94
00002e8f: DUP3
00002e90: PUSH2 0x3d33
00002e93: JUMP
00002e94: JUMPDEST
00002e95: PUSH2 0x2e9e
00002e98: DUP2
00002e99: DUP6
00002e9a: PUSH2 0x3d37
00002e9d: JUMP
00002e9e: JUMPDEST
00002e9f: SWAP4
00002ea0: POP
00002ea1: PUSH2 0x2ea9
00002ea4: DUP4
00002ea5: PUSH2 0x3d2d
00002ea8: JUMP
00002ea9: JUMPDEST
00002eaa: DUP1
00002eab: PUSH1 0x00
00002ead: JUMPDEST
00002eae: DUP4
00002eaf: DUP2
00002eb0: LT
00002eb1: ISZERO
00002eb2: PUSH2 0x2ed7
00002eb5: JUMPI
00002eb6: DUP2
00002eb7: MLOAD
00002eb8: PUSH2 0x2ec1
00002ebb: DUP9
00002ebc: DUP3
00002ebd: PUSH2 0x2d82
00002ec0: JUMP
00002ec1: JUMPDEST
00002ec2: SWAP8
00002ec3: POP
00002ec4: PUSH2 0x2ecc
00002ec7: DUP4
00002ec8: PUSH2 0x3d2d
00002ecb: JUMP
00002ecc: JUMPDEST
00002ecd: SWAP3
00002ece: POP
00002ecf: POP
00002ed0: PUSH1 0x01
00002ed2: ADD
00002ed3: PUSH2 0x2ead
00002ed6: JUMP
00002ed7: JUMPDEST
00002ed8: POP
00002ed9: SWAP5
00002eda: SWAP6
00002edb: SWAP5
00002edc: POP
00002edd: POP
00002ede: POP
00002edf: POP
00002ee0: POP
00002ee1: JUMP
00002ee2: JUMPDEST
00002ee3: PUSH1 0x00
00002ee5: PUSH2 0x2eed
00002ee8: DUP3
00002ee9: PUSH2 0x3d33
00002eec: JUMP
00002eed: JUMPDEST
00002eee: PUSH2 0x2ef7
00002ef1: DUP2
00002ef2: DUP6
00002ef3: PUSH2 0x3d37
00002ef6: JUMP
00002ef7: JUMPDEST
00002ef8: SWAP4
00002ef9: POP
00002efa: PUSH2 0x2f02
00002efd: DUP4
00002efe: PUSH2 0x3d2d
00002f01: JUMP
00002f02: JUMPDEST
00002f03: DUP1
00002f04: PUSH1 0x00
00002f06: JUMPDEST
00002f07: DUP4
00002f08: DUP2
00002f09: LT
00002f0a: ISZERO
00002f0b: PUSH2 0x2ed7
00002f0e: JUMPI
00002f0f: DUP2
00002f10: MLOAD
00002f11: PUSH2 0x2f1a
00002f14: DUP9
00002f15: DUP3
00002f16: PUSH2 0x2d96
00002f19: JUMP
00002f1a: JUMPDEST
00002f1b: SWAP8
00002f1c: POP
00002f1d: PUSH2 0x2f25
00002f20: DUP4
00002f21: PUSH2 0x3d2d
00002f24: JUMP
00002f25: JUMPDEST
00002f26: SWAP3
00002f27: POP
00002f28: POP
00002f29: PUSH1 0x01
00002f2b: ADD
00002f2c: PUSH2 0x2f06
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: PUSH2 0x2dab
00002f34: DUP2
00002f35: PUSH2 0x3d4b
00002f38: JUMP
00002f39: JUMPDEST
00002f3a: PUSH1 0x00
00002f3c: PUSH2 0x2f44
00002f3f: DUP3
00002f40: PUSH2 0x3d33
00002f43: JUMP
00002f44: JUMPDEST
00002f45: PUSH2 0x2f4e
00002f48: DUP2
00002f49: DUP6
00002f4a: PUSH2 0x0db8
00002f4d: JUMP
00002f4e: JUMPDEST
00002f4f: SWAP4
00002f50: POP
00002f51: PUSH2 0x2f5e
00002f54: DUP2
00002f55: DUP6
00002f56: PUSH1 0x20
00002f58: DUP7
00002f59: ADD
00002f5a: PUSH2 0x3d99
00002f5d: JUMP
00002f5e: JUMPDEST
00002f5f: SWAP3
00002f60: SWAP1
00002f61: SWAP3
00002f62: ADD
00002f63: SWAP3
00002f64: SWAP2
00002f65: POP
00002f66: POP
00002f67: JUMP
00002f68: JUMPDEST
00002f69: PUSH1 0x00
00002f6b: PUSH2 0x2f73
00002f6e: DUP3
00002f6f: PUSH2 0x3d33
00002f72: JUMP
00002f73: JUMPDEST
00002f74: PUSH2 0x2f7d
00002f77: DUP2
00002f78: DUP6
00002f79: PUSH2 0x3d37
00002f7c: JUMP
00002f7d: JUMPDEST
00002f7e: SWAP4
00002f7f: POP
00002f80: PUSH2 0x2f8d
00002f83: DUP2
00002f84: DUP6
00002f85: PUSH1 0x20
00002f87: DUP7
00002f88: ADD
00002f89: PUSH2 0x3d99
00002f8c: JUMP
00002f8d: JUMPDEST
00002f8e: PUSH2 0x2f96
00002f91: DUP2
00002f92: PUSH2 0x3dc5
00002f95: JUMP
00002f96: JUMPDEST
00002f97: SWAP1
00002f98: SWAP4
00002f99: ADD
00002f9a: SWAP4
00002f9b: SWAP3
00002f9c: POP
00002f9d: POP
00002f9e: POP
00002f9f: JUMP
00002fa0: JUMPDEST
00002fa1: PUSH2 0x2dab
00002fa4: DUP2
00002fa5: PUSH2 0x3d77
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: PUSH1 0x00
00002fac: PUSH2 0x2fb6
00002faf: PUSH1 0x1d
00002fb1: DUP4
00002fb2: PUSH2 0x3d37
00002fb5: JUMP
00002fb6: JUMPDEST
00002fb7: PUSH32 0x43616c6c6572206973206e6f742074686520726562616c616e6365722e000000
00002fd8: DUP2
00002fd9: MSTORE
00002fda: PUSH1 0x20
00002fdc: ADD
00002fdd: SWAP3
00002fde: SWAP2
00002fdf: POP
00002fe0: POP
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: PUSH1 0x00
00002fe5: PUSH2 0x2fef
00002fe8: PUSH1 0x1e
00002fea: DUP4
00002feb: PUSH2 0x3d37
00002fee: JUMP
00002fef: JUMPDEST
00002ff0: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e20302e0000
00003011: DUP2
00003012: MSTORE
00003013: PUSH1 0x20
00003015: ADD
00003016: SWAP3
00003017: SWAP2
00003018: POP
00003019: POP
0000301a: JUMP
0000301b: JUMPDEST
0000301c: PUSH1 0x00
0000301e: PUSH2 0x3028
00003021: PUSH1 0x29
00003023: DUP4
00003024: PUSH2 0x3d37
00003027: JUMP
00003028: JUMPDEST
00003029: PUSH32 0x4e6f20416c70686120486f6d6f72612062616c616e636520746f207769746864
0000304a: DUP2
0000304b: MSTORE
0000304c: PUSH9 0x3930bb90333937b697
00003056: PUSH1 0xb9
00003058: SHL
00003059: PUSH1 0x20
0000305b: DUP3
0000305c: ADD
0000305d: MSTORE
0000305e: PUSH1 0x40
00003060: ADD
00003061: SWAP3
00003062: SWAP2
00003063: POP
00003064: POP
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH1 0x00
00003069: PUSH2 0x3073
0000306c: PUSH1 0x49
0000306e: DUP4
0000306f: PUSH2 0x3d37
00003072: JUMP
00003073: JUMPDEST
00003074: PUSH32 0x546869732066756e6420636f6e74726f6c6c657220636f6e7472616374206973
00003095: DUP2
00003096: MSTORE
00003097: PUSH32 0x2064697361626c65642e2054686973206d61792062652064756520746f20616e
000030b8: PUSH1 0x20
000030ba: DUP3
000030bb: ADD
000030bc: MSTORE
000030bd: PUSH9 0x103ab833b930b23297
000030c7: PUSH1 0xb9
000030c9: SHL
000030ca: PUSH1 0x40
000030cc: DUP3
000030cd: ADD
000030ce: MSTORE
000030cf: PUSH1 0x60
000030d1: ADD
000030d2: SWAP3
000030d3: SWAP2
000030d4: POP
000030d5: POP
000030d6: JUMP
000030d7: JUMPDEST
000030d8: PUSH1 0x00
000030da: PUSH2 0x30e4
000030dd: PUSH1 0x36
000030df: DUP4
000030e0: PUSH2 0x3d37
000030e3: JUMP
000030e4: JUMPDEST
000030e5: PUSH32 0x4174206c65617374206f6e65206f7264657220616e64206d61746368696e6720
00003106: DUP2
00003107: MSTORE
00003108: PUSH22 0x39b4b3b730ba3ab9329034b9903932b8bab4b932b217
0000311f: PUSH1 0x51
00003121: SHL
00003122: PUSH1 0x20
00003124: DUP3
00003125: ADD
00003126: MSTORE
00003127: PUSH1 0x40
00003129: ADD
0000312a: SWAP3
0000312b: SWAP2
0000312c: POP
0000312d: POP
0000312e: JUMP
0000312f: JUMPDEST
00003130: PUSH1 0x00
00003132: PUSH2 0x313c
00003135: PUSH1 0x26
00003137: DUP4
00003138: PUSH2 0x3d37
0000313b: JUMP
0000313c: JUMPDEST
0000313d: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000315e: DUP2
0000315f: MSTORE
00003160: PUSH6 0x646472657373
00003167: PUSH1 0xd0
00003169: SHL
0000316a: PUSH1 0x20
0000316c: DUP3
0000316d: ADD
0000316e: MSTORE
0000316f: PUSH1 0x40
00003171: ADD
00003172: SWAP3
00003173: SWAP2
00003174: POP
00003175: POP
00003176: JUMP
00003177: JUMPDEST
00003178: PUSH1 0x00
0000317a: PUSH2 0x3184
0000317d: PUSH1 0x17
0000317f: DUP4
00003180: PUSH2 0x3d37
00003183: JUMP
00003184: JUMPDEST
00003185: PUSH32 0x4661696c656420746f207472616e73666572204554482e000000000000000000
000031a6: DUP2
000031a7: MSTORE
000031a8: PUSH1 0x20
000031aa: ADD
000031ab: SWAP3
000031ac: SWAP2
000031ad: POP
000031ae: POP
000031af: JUMP
000031b0: JUMPDEST
000031b1: PUSH1 0x00
000031b3: PUSH2 0x31bd
000031b6: PUSH1 0x14
000031b8: DUP4
000031b9: PUSH2 0x3d37
000031bc: JUMP
000031bd: JUMPDEST
000031be: PUSH20 0x2737902ba2aa24103a37903bb4ba34323930bb97
000031d3: PUSH1 0x61
000031d5: SHL
000031d6: DUP2
000031d7: MSTORE
000031d8: PUSH1 0x20
000031da: ADD
000031db: SWAP3
000031dc: SWAP2
000031dd: POP
000031de: POP
000031df: JUMP
000031e0: JUMPDEST
000031e1: PUSH1 0x00
000031e3: PUSH2 0x31ed
000031e6: PUSH1 0x1b
000031e8: DUP4
000031e9: PUSH2 0x3d37
000031ec: JUMP
000031ed: JUMPDEST
000031ee: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000320f: DUP2
00003210: MSTORE
00003211: PUSH1 0x20
00003213: ADD
00003214: SWAP3
00003215: SWAP2
00003216: POP
00003217: POP
00003218: JUMP
00003219: JUMPDEST
0000321a: PUSH1 0x00
0000321c: PUSH2 0x3226
0000321f: PUSH1 0x15
00003221: DUP4
00003222: PUSH2 0x3d37
00003225: JUMP
00003226: JUMPDEST
00003227: PUSH21 0x233ab7321030b63932b0b23c9032b730b13632b217
0000323d: PUSH1 0x59
0000323f: SHL
00003240: DUP2
00003241: MSTORE
00003242: PUSH1 0x20
00003244: ADD
00003245: SWAP3
00003246: SWAP2
00003247: POP
00003248: POP
00003249: JUMP
0000324a: JUMPDEST
0000324b: PUSH1 0x00
0000324d: PUSH2 0x3257
00003250: PUSH1 0x1f
00003252: DUP4
00003253: PUSH2 0x3d37
00003256: JUMP
00003257: JUMPDEST
00003258: PUSH32 0x43616c6c6572206973206e6f74207468652066756e64206d616e616765722e00
00003279: DUP2
0000327a: MSTORE
0000327b: PUSH1 0x20
0000327d: ADD
0000327e: SWAP3
0000327f: SWAP2
00003280: POP
00003281: POP
00003282: JUMP
00003283: JUMPDEST
00003284: PUSH1 0x00
00003286: PUSH2 0x3290
00003289: PUSH1 0x20
0000328b: DUP4
0000328c: PUSH2 0x3d37
0000328f: JUMP
00003290: JUMPDEST
00003291: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000032b2: DUP2
000032b3: MSTORE
000032b4: PUSH1 0x20
000032b6: ADD
000032b7: SWAP3
000032b8: SWAP2
000032b9: POP
000032ba: POP
000032bb: JUMP
000032bc: JUMPDEST
000032bd: PUSH1 0x00
000032bf: PUSH2 0x32c9
000032c2: PUSH1 0x2b
000032c4: DUP4
000032c5: PUSH2 0x3d37
000032c8: JUMP
000032c9: JUMPDEST
000032ca: PUSH32 0x537570706c69656420746f6b656e2061646472657373206973206e6f7420434f
000032eb: DUP2
000032ec: MSTORE
000032ed: PUSH11 0x26a81037b9102927a7a597
000032f9: PUSH1 0xa9
000032fb: SHL
000032fc: PUSH1 0x20
000032fe: DUP3
000032ff: ADD
00003300: MSTORE
00003301: PUSH1 0x40
00003303: ADD
00003304: SWAP3
00003305: SWAP2
00003306: POP
00003307: POP
00003308: JUMP
00003309: JUMPDEST
0000330a: PUSH1 0x00
0000330c: PUSH2 0x3316
0000330f: PUSH1 0x3f
00003311: DUP4
00003312: PUSH2 0x3d37
00003315: JUMP
00003316: JUMPDEST
00003317: PUSH32 0x4e657720636f6e747261637420646f6573206e6f7420686176652049535f5241
00003338: DUP2
00003339: MSTORE
0000333a: PUSH32 0x52495f46554e445f434f4e54524f4c4c45522073657420746f20747275652e00
0000335b: PUSH1 0x20
0000335d: DUP3
0000335e: ADD
0000335f: MSTORE
00003360: PUSH1 0x40
00003362: ADD
00003363: SWAP3
00003364: SWAP2
00003365: POP
00003366: POP
00003367: JUMP
00003368: JUMPDEST
00003369: PUSH1 0x00
0000336b: PUSH2 0x3375
0000336e: PUSH1 0x1b
00003370: DUP4
00003371: PUSH2 0x3d37
00003374: JUMP
00003375: JUMPDEST
00003376: PUSH32 0x546f6f206c6974746c652045544820746f207472616e736665722e0000000000
00003397: DUP2
00003398: MSTORE
00003399: PUSH1 0x20
0000339b: ADD
0000339c: SWAP3
0000339d: SWAP2
0000339e: POP
0000339f: POP
000033a0: JUMP
000033a1: JUMPDEST
000033a2: PUSH1 0x00
000033a4: PUSH2 0x33ae
000033a7: PUSH1 0x25
000033a9: DUP4
000033aa: PUSH2 0x3d37
000033ad: JUMP
000033ae: JUMPDEST
000033af: PUSH32 0x4e6f20436f6d706f756e642062616c616e636520746f20776974686472617720
000033d0: DUP2
000033d1: MSTORE
000033d2: PUSH5 0x333937b697
000033d8: PUSH1 0xd9
000033da: SHL
000033db: PUSH1 0x20
000033dd: DUP3
000033de: ADD
000033df: MSTORE
000033e0: PUSH1 0x40
000033e2: ADD
000033e3: SWAP3
000033e4: SWAP2
000033e5: POP
000033e6: POP
000033e7: JUMP
000033e8: JUMPDEST
000033e9: PUSH1 0x00
000033eb: PUSH2 0x33f5
000033ee: PUSH1 0x26
000033f0: DUP4
000033f1: PUSH2 0x3d37
000033f4: JUMP
000033f5: JUMPDEST
000033f6: PUSH32 0x4e6f204b656570657244414f2062616c616e636520746f207769746864726177
00003417: DUP2
00003418: MSTORE
00003419: PUSH6 0x10333937b697
00003420: PUSH1 0xd1
00003422: SHL
00003423: PUSH1 0x20
00003425: DUP3
00003426: ADD
00003427: MSTORE
00003428: PUSH1 0x40
0000342a: ADD
0000342b: SWAP3
0000342c: SWAP2
0000342d: POP
0000342e: POP
0000342f: JUMP
00003430: JUMPDEST
00003431: PUSH1 0x00
00003433: PUSH2 0x343d
00003436: PUSH1 0x2a
00003438: DUP4
00003439: PUSH2 0x3d37
0000343c: JUMP
0000343d: JUMPDEST
0000343e: PUSH32 0x4661696c656420746f20726566756e6420756e7370656e74204554482070726f
0000345f: DUP2
00003460: MSTORE
00003461: PUSH10 0x3a37b1b7b6103332b297
0000346c: PUSH1 0xb1
0000346e: SHL
0000346f: PUSH1 0x20
00003471: DUP3
00003472: ADD
00003473: MSTORE
00003474: PUSH1 0x40
00003476: ADD
00003477: SWAP3
00003478: SWAP2
00003479: POP
0000347a: POP
0000347b: JUMP
0000347c: JUMPDEST
0000347d: PUSH1 0x00
0000347f: PUSH2 0x3489
00003482: PUSH1 0x20
00003484: DUP4
00003485: PUSH2 0x3d37
00003488: JUMP
00003489: JUMPDEST
0000348a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000034ab: DUP2
000034ac: MSTORE
000034ad: PUSH1 0x20
000034af: ADD
000034b0: SWAP3
000034b1: SWAP2
000034b2: POP
000034b3: POP
000034b4: JUMP
000034b5: JUMPDEST
000034b6: PUSH1 0x00
000034b8: PUSH2 0x34c2
000034bb: PUSH1 0x2e
000034bd: DUP4
000034be: PUSH2 0x3d37
000034c1: JUMP
000034c2: JUMPDEST
000034c3: PUSH32 0x436f6e747261637420696e7374616e63652068617320616c7265616479206265
000034e4: DUP2
000034e5: MSTORE
000034e6: PUSH14 0x195b881a5b9a5d1a585b1a5e9959
000034f5: PUSH1 0x92
000034f7: SHL
000034f8: PUSH1 0x20
000034fa: DUP3
000034fb: ADD
000034fc: MSTORE
000034fd: PUSH1 0x40
000034ff: ADD
00003500: SWAP3
00003501: SWAP2
00003502: POP
00003503: POP
00003504: JUMP
00003505: JUMPDEST
00003506: PUSH1 0x00
00003508: PUSH2 0x3512
0000350b: PUSH1 0x2a
0000350d: DUP4
0000350e: PUSH2 0x3d37
00003511: JUMP
00003512: JUMPDEST
00003513: PUSH32 0x4661696c656420746f207472616e736665722045544820746f20526172694675
00003534: DUP2
00003535: MSTORE
00003536: PUSH10 0x373226b0b730b3b2b917
00003541: PUSH1 0xb1
00003543: SHL
00003544: PUSH1 0x20
00003546: DUP3
00003547: ADD
00003548: MSTORE
00003549: PUSH1 0x40
0000354b: ADD
0000354c: SWAP3
0000354d: SWAP2
0000354e: POP
0000354f: POP
00003550: JUMP
00003551: JUMPDEST
00003552: PUSH1 0x00
00003554: PUSH2 0x355e
00003557: PUSH1 0x31
00003559: DUP4
0000355a: PUSH2 0x3d37
0000355d: JUMP
0000355e: JUMPDEST
0000355f: PUSH32 0x4d69736d61746368206265747765656e206e756d626572206f66206f72646572
00003580: DUP2
00003581: MSTORE
00003582: PUSH17 0x399030b7321039b4b3b730ba3ab932b997
00003594: PUSH1 0x79
00003596: SHL
00003597: PUSH1 0x20
00003599: DUP3
0000359a: ADD
0000359b: MSTORE
0000359c: PUSH1 0x40
0000359e: ADD
0000359f: SWAP3
000035a0: SWAP2
000035a1: POP
000035a2: POP
000035a3: JUMP
000035a4: JUMPDEST
000035a5: PUSH1 0x00
000035a7: PUSH2 0x35b1
000035aa: PUSH1 0x16
000035ac: DUP4
000035ad: PUSH2 0x3d37
000035b0: JUMP
000035b1: JUMPDEST
000035b2: PUSH22 0x233ab7321030b63932b0b23c903234b9b0b13632b217
000035c9: PUSH1 0x51
000035cb: SHL
000035cc: DUP2
000035cd: MSTORE
000035ce: PUSH1 0x20
000035d0: ADD
000035d1: SWAP3
000035d2: SWAP2
000035d3: POP
000035d4: POP
000035d5: JUMP
000035d6: JUMPDEST
000035d7: PUSH1 0x00
000035d9: PUSH2 0x35e3
000035dc: PUSH1 0x49
000035de: DUP4
000035df: PUSH2 0x3d37
000035e2: JUMP
000035e3: JUMPDEST
000035e4: PUSH32 0x546869732066756e6420636f6e74726f6c6c657220636f6e7472616374206d75
00003605: DUP2
00003606: MSTORE
00003607: PUSH32 0x73742062652064697361626c6564206265666f72652069742063616e20626520
00003628: PUSH1 0x20
0000362a: DUP3
0000362b: ADD
0000362c: MSTORE
0000362d: PUSH9 0x3ab833b930b232b217
00003637: PUSH1 0xb9
00003639: SHL
0000363a: PUSH1 0x40
0000363c: DUP3
0000363d: ADD
0000363e: MSTORE
0000363f: PUSH1 0x60
00003641: ADD
00003642: SWAP3
00003643: SWAP2
00003644: POP
00003645: POP
00003646: JUMP
00003647: JUMPDEST
00003648: PUSH1 0x00
0000364a: PUSH2 0x3654
0000364d: PUSH1 0x12
0000364f: DUP4
00003650: PUSH2 0x3d37
00003653: JUMP
00003654: JUMPDEST
00003655: PUSH18 0x2737902ba2aa241037baba383aba3a32b217
00003668: PUSH1 0x71
0000366a: SHL
0000366b: DUP2
0000366c: MSTORE
0000366d: PUSH1 0x20
0000366f: ADD
00003670: SWAP3
00003671: SWAP2
00003672: POP
00003673: POP
00003674: JUMP
00003675: JUMPDEST
00003676: PUSH1 0x00
00003678: PUSH2 0x1c74
0000367b: PUSH1 0x00
0000367d: DUP4
0000367e: PUSH2 0x0db8
00003681: JUMP
00003682: JUMPDEST
00003683: PUSH1 0x00
00003685: PUSH2 0x368f
00003688: PUSH1 0x2f
0000368a: DUP4
0000368b: PUSH2 0x3d37
0000368e: JUMP
0000368f: JUMPDEST
00003690: PUSH32 0x54616b65722061737365742066696c6c20616d6f756e74206d75737420626520
000036b1: DUP2
000036b2: MSTORE
000036b3: PUSH15 0x33b932b0ba32b9103a3430b7101817
000036c3: PUSH1 0x89
000036c5: SHL
000036c6: PUSH1 0x20
000036c8: DUP3
000036c9: ADD
000036ca: MSTORE
000036cb: PUSH1 0x40
000036cd: ADD
000036ce: SWAP3
000036cf: SWAP2
000036d0: POP
000036d1: POP
000036d2: JUMP
000036d3: JUMPDEST
000036d4: PUSH1 0x00
000036d6: PUSH2 0x36e0
000036d9: PUSH1 0x29
000036db: DUP4
000036dc: PUSH2 0x3d37
000036df: JUMP
000036e0: JUMPDEST
000036e1: PUSH32 0x5769746864726177616c20616d6f756e74206d75737420626520677265617465
00003702: DUP2
00003703: MSTORE
00003704: PUSH9 0x39103a3430b7101817
0000370e: PUSH1 0xb9
00003710: SHL
00003711: PUSH1 0x20
00003713: DUP3
00003714: ADD
00003715: MSTORE
00003716: PUSH1 0x40
00003718: ADD
00003719: SWAP3
0000371a: SWAP2
0000371b: POP
0000371c: POP
0000371d: JUMP
0000371e: JUMPDEST
0000371f: PUSH1 0x00
00003721: PUSH2 0x372b
00003724: PUSH1 0x2a
00003726: DUP4
00003727: PUSH2 0x3d37
0000372a: JUMP
0000372b: JUMPDEST
0000372c: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000374d: DUP2
0000374e: MSTORE
0000374f: PUSH10 0x1bdd081cdd58d8d95959
0000375a: PUSH1 0xb2
0000375c: SHL
0000375d: PUSH1 0x20
0000375f: DUP3
00003760: ADD
00003761: MSTORE
00003762: PUSH1 0x40
00003764: ADD
00003765: SWAP3
00003766: SWAP2
00003767: POP
00003768: POP
00003769: JUMP
0000376a: JUMPDEST
0000376b: PUSH1 0x00
0000376d: PUSH2 0x3777
00003770: PUSH1 0x36
00003772: DUP4
00003773: PUSH2 0x3d37
00003776: JUMP
00003777: JUMPDEST
00003778: PUSH32 0x5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f
00003799: DUP2
0000379a: MSTORE
0000379b: PUSH22 0x20746f206e6f6e2d7a65726f20616c6c6f77616e6365
000037b2: PUSH1 0x50
000037b4: SHL
000037b5: PUSH1 0x20
000037b7: DUP3
000037b8: ADD
000037b9: MSTORE
000037ba: PUSH1 0x40
000037bc: ADD
000037bd: SWAP3
000037be: SWAP2
000037bf: POP
000037c0: POP
000037c1: JUMP
000037c2: JUMPDEST
000037c3: PUSH1 0x00
000037c5: PUSH2 0x37cf
000037c8: PUSH1 0x13
000037ca: DUP4
000037cb: PUSH2 0x3d37
000037ce: JUMP
000037cf: JUMPDEST
000037d0: PUSH19 0x24b73b30b634b2103837b7b61034b73232bc17
000037e4: PUSH1 0x69
000037e6: SHL
000037e7: DUP2
000037e8: MSTORE
000037e9: PUSH1 0x20
000037eb: ADD
000037ec: SWAP3
000037ed: SWAP2
000037ee: POP
000037ef: POP
000037f0: JUMP
000037f1: JUMPDEST
000037f2: PUSH1 0x00
000037f4: PUSH2 0x37fe
000037f7: PUSH1 0x1f
000037f9: DUP4
000037fa: PUSH2 0x3d37
000037fd: JUMP
000037fe: JUMPDEST
000037ff: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00003820: DUP2
00003821: MSTORE
00003822: PUSH1 0x20
00003824: ADD
00003825: SWAP3
00003826: SWAP2
00003827: POP
00003828: POP
00003829: JUMP
0000382a: JUMPDEST
0000382b: DUP1
0000382c: MLOAD
0000382d: PUSH1 0x00
0000382f: SWAP1
00003830: PUSH2 0x01c0
00003833: DUP5
00003834: ADD
00003835: SWAP1
00003836: PUSH2 0x383f
00003839: DUP6
0000383a: DUP3
0000383b: PUSH2 0x2db1
0000383e: JUMP
0000383f: JUMPDEST
00003840: POP
00003841: PUSH1 0x20
00003843: DUP4
00003844: ADD
00003845: MLOAD
00003846: PUSH2 0x3852
00003849: PUSH1 0x20
0000384b: DUP7
0000384c: ADD
0000384d: DUP3
0000384e: PUSH2 0x2db1
00003851: JUMP
00003852: JUMPDEST
00003853: POP
00003854: PUSH1 0x40
00003856: DUP4
00003857: ADD
00003858: MLOAD
00003859: PUSH2 0x3865
0000385c: PUSH1 0x40
0000385e: DUP7
0000385f: ADD
00003860: DUP3
00003861: PUSH2 0x2db1
00003864: JUMP
00003865: JUMPDEST
00003866: POP
00003867: PUSH1 0x60
00003869: DUP4
0000386a: ADD
0000386b: MLOAD
0000386c: PUSH2 0x3878
0000386f: PUSH1 0x60
00003871: DUP7
00003872: ADD
00003873: DUP3
00003874: PUSH2 0x2db1
00003877: JUMP
00003878: JUMPDEST
00003879: POP
0000387a: PUSH1 0x80
0000387c: DUP4
0000387d: ADD
0000387e: MLOAD
0000387f: PUSH2 0x388b
00003882: PUSH1 0x80
00003884: DUP7
00003885: ADD
00003886: DUP3
00003887: PUSH2 0x396e
0000388a: JUMP
0000388b: JUMPDEST
0000388c: POP
0000388d: PUSH1 0xa0
0000388f: DUP4
00003890: ADD
00003891: MLOAD
00003892: PUSH2 0x389e
00003895: PUSH1 0xa0
00003897: DUP7
00003898: ADD
00003899: DUP3
0000389a: PUSH2 0x396e
0000389d: JUMP
0000389e: JUMPDEST
0000389f: POP
000038a0: PUSH1 0xc0
000038a2: DUP4
000038a3: ADD
000038a4: MLOAD
000038a5: PUSH2 0x38b1
000038a8: PUSH1 0xc0
000038aa: DUP7
000038ab: ADD
000038ac: DUP3
000038ad: PUSH2 0x396e
000038b0: JUMP
000038b1: JUMPDEST
000038b2: POP
000038b3: PUSH1 0xe0
000038b5: DUP4
000038b6: ADD
000038b7: MLOAD
000038b8: PUSH2 0x38c4
000038bb: PUSH1 0xe0
000038bd: DUP7
000038be: ADD
000038bf: DUP3
000038c0: PUSH2 0x396e
000038c3: JUMP
000038c4: JUMPDEST
000038c5: POP
000038c6: PUSH2 0x0100
000038c9: DUP4
000038ca: ADD
000038cb: MLOAD
000038cc: PUSH2 0x38d9
000038cf: PUSH2 0x0100
000038d2: DUP7
000038d3: ADD
000038d4: DUP3
000038d5: PUSH2 0x396e
000038d8: JUMP
000038d9: JUMPDEST
000038da: POP
000038db: PUSH2 0x0120
000038de: DUP4
000038df: ADD
000038e0: MLOAD
000038e1: PUSH2 0x38ee
000038e4: PUSH2 0x0120
000038e7: DUP7
000038e8: ADD
000038e9: DUP3
000038ea: PUSH2 0x396e
000038ed: JUMP
000038ee: JUMPDEST
000038ef: POP
000038f0: PUSH2 0x0140
000038f3: DUP4
000038f4: ADD
000038f5: MLOAD
000038f6: DUP5
000038f7: DUP3
000038f8: SUB
000038f9: PUSH2 0x0140
000038fc: DUP7
000038fd: ADD
000038fe: MSTORE
000038ff: PUSH2 0x3908
00003902: DUP3
00003903: DUP3
00003904: PUSH2 0x2f68
00003907: JUMP
00003908: JUMPDEST
00003909: SWAP2
0000390a: POP
0000390b: POP
0000390c: PUSH2 0x0160
0000390f: DUP4
00003910: ADD
00003911: MLOAD
00003912: DUP5
00003913: DUP3
00003914: SUB
00003915: PUSH2 0x0160
00003918: DUP7
00003919: ADD
0000391a: MSTORE
0000391b: PUSH2 0x3924
0000391e: DUP3
0000391f: DUP3
00003920: PUSH2 0x2f68
00003923: JUMP
00003924: JUMPDEST
00003925: SWAP2
00003926: POP
00003927: POP
00003928: PUSH2 0x0180
0000392b: DUP4
0000392c: ADD
0000392d: MLOAD
0000392e: DUP5
0000392f: DUP3
00003930: SUB
00003931: PUSH2 0x0180
00003934: DUP7
00003935: ADD
00003936: MSTORE
00003937: PUSH2 0x3940
0000393a: DUP3
0000393b: DUP3
0000393c: PUSH2 0x2f68
0000393f: JUMP
00003940: JUMPDEST
00003941: SWAP2
00003942: POP
00003943: POP
00003944: PUSH2 0x01a0
00003947: DUP4
00003948: ADD
00003949: MLOAD
0000394a: DUP5
0000394b: DUP3
0000394c: SUB
0000394d: PUSH2 0x01a0
00003950: DUP7
00003951: ADD
00003952: MSTORE
00003953: PUSH2 0x395c
00003956: DUP3
00003957: DUP3
00003958: PUSH2 0x2f68
0000395b: JUMP
0000395c: JUMPDEST
0000395d: SWAP6
0000395e: SWAP5
0000395f: POP
00003960: POP
00003961: POP
00003962: POP
00003963: POP
00003964: JUMP
00003965: JUMPDEST
00003966: PUSH2 0x2dab
00003969: DUP2
0000396a: PUSH2 0x3d50
0000396d: JUMP
0000396e: JUMPDEST
0000396f: PUSH2 0x2dab
00003972: DUP2
00003973: PUSH2 0x3d63
00003976: JUMP
00003977: JUMPDEST
00003978: PUSH2 0x2dab
0000397b: DUP2
0000397c: PUSH2 0x3d66
0000397f: JUMP
00003980: JUMPDEST
00003981: PUSH1 0x00
00003983: PUSH2 0x2022
00003986: DUP3
00003987: DUP5
00003988: PUSH2 0x2f39
0000398b: JUMP
0000398c: JUMPDEST
0000398d: PUSH1 0x00
0000398f: PUSH2 0x1c74
00003992: DUP3
00003993: PUSH2 0x3675
00003996: JUMP
00003997: JUMPDEST
00003998: PUSH1 0x20
0000399a: DUP2
0000399b: ADD
0000399c: PUSH2 0x1c74
0000399f: DUP3
000039a0: DUP5
000039a1: PUSH2 0x2db1
000039a4: JUMP
000039a5: JUMPDEST
000039a6: PUSH1 0x20
000039a8: DUP2
000039a9: ADD
000039aa: PUSH2 0x1c74
000039ad: DUP3
000039ae: DUP5
000039af: PUSH2 0x2da2
000039b2: JUMP
000039b3: JUMPDEST
000039b4: PUSH1 0x40
000039b6: DUP2
000039b7: ADD
000039b8: PUSH2 0x39c1
000039bb: DUP3
000039bc: DUP6
000039bd: PUSH2 0x2db1
000039c0: JUMP
000039c1: JUMPDEST
000039c2: PUSH2 0x2022
000039c5: PUSH1 0x20
000039c7: DUP4
000039c8: ADD
000039c9: DUP5
000039ca: PUSH2 0x2db1
000039cd: JUMP
000039ce: JUMPDEST
000039cf: PUSH1 0x40
000039d1: DUP2
000039d2: ADD
000039d3: PUSH2 0x39dc
000039d6: DUP3
000039d7: DUP6
000039d8: PUSH2 0x2db1
000039db: JUMP
000039dc: JUMPDEST
000039dd: PUSH2 0x2022
000039e0: PUSH1 0x20
000039e2: DUP4
000039e3: ADD
000039e4: DUP5
000039e5: PUSH2 0x396e
000039e8: JUMP
000039e9: JUMPDEST
000039ea: PUSH1 0x60
000039ec: DUP2
000039ed: ADD
000039ee: PUSH2 0x39f7
000039f1: DUP3
000039f2: DUP7
000039f3: PUSH2 0x2db1
000039f6: JUMP
000039f7: JUMPDEST
000039f8: PUSH2 0x3a04
000039fb: PUSH1 0x20
000039fd: DUP4
000039fe: ADD
000039ff: DUP6
00003a00: PUSH2 0x396e
00003a03: JUMP
00003a04: JUMPDEST
00003a05: PUSH2 0x253d
00003a08: PUSH1 0x40
00003a0a: DUP4
00003a0b: ADD
00003a0c: DUP5
00003a0d: PUSH2 0x396e
00003a10: JUMP
00003a11: JUMPDEST
00003a12: PUSH1 0x60
00003a14: DUP1
00003a15: DUP3
00003a16: MSTORE
00003a17: DUP2
00003a18: ADD
00003a19: PUSH2 0x3a22
00003a1c: DUP2
00003a1d: DUP7
00003a1e: PUSH2 0x2e28
00003a21: JUMP
00003a22: JUMPDEST
00003a23: SWAP1
00003a24: POP
00003a25: PUSH2 0x3a31
00003a28: PUSH1 0x20
00003a2a: DUP4
00003a2b: ADD
00003a2c: DUP6
00003a2d: PUSH2 0x396e
00003a30: JUMP
00003a31: JUMPDEST
00003a32: DUP2
00003a33: DUP2
00003a34: SUB
00003a35: PUSH1 0x40
00003a37: DUP4
00003a38: ADD
00003a39: MSTORE
00003a3a: PUSH2 0x395c
00003a3d: DUP2
00003a3e: DUP5
00003a3f: PUSH2 0x2dba
00003a42: JUMP
00003a43: JUMPDEST
00003a44: PUSH1 0x20
00003a46: DUP2
00003a47: ADD
00003a48: PUSH2 0x1c74
00003a4b: DUP3
00003a4c: DUP5
00003a4d: PUSH2 0x2f30
00003a50: JUMP
00003a51: JUMPDEST
00003a52: PUSH1 0x20
00003a54: DUP2
00003a55: ADD
00003a56: PUSH2 0x1c74
00003a59: DUP3
00003a5a: DUP5
00003a5b: PUSH2 0x2fa0
00003a5e: JUMP
00003a5f: JUMPDEST
00003a60: PUSH1 0x20
00003a62: DUP1
00003a63: DUP3
00003a64: MSTORE
00003a65: DUP2
00003a66: ADD
00003a67: PUSH2 0x2022
00003a6a: DUP2
00003a6b: DUP5
00003a6c: PUSH2 0x2f68
00003a6f: JUMP
00003a70: JUMPDEST
00003a71: PUSH1 0x20
00003a73: DUP1
00003a74: DUP3
00003a75: MSTORE
00003a76: DUP2
00003a77: ADD
00003a78: PUSH2 0x1c74
00003a7b: DUP2
00003a7c: PUSH2 0x2fa9
00003a7f: JUMP
00003a80: JUMPDEST
00003a81: PUSH1 0x20
00003a83: DUP1
00003a84: DUP3
00003a85: MSTORE
00003a86: DUP2
00003a87: ADD
00003a88: PUSH2 0x1c74
00003a8b: DUP2
00003a8c: PUSH2 0x2fe2
00003a8f: JUMP
00003a90: JUMPDEST
00003a91: PUSH1 0x20
00003a93: DUP1
00003a94: DUP3
00003a95: MSTORE
00003a96: DUP2
00003a97: ADD
00003a98: PUSH2 0x1c74
00003a9b: DUP2
00003a9c: PUSH2 0x301b
00003a9f: JUMP
00003aa0: JUMPDEST
00003aa1: PUSH1 0x20
00003aa3: DUP1
00003aa4: DUP3
00003aa5: MSTORE
00003aa6: DUP2
00003aa7: ADD
00003aa8: PUSH2 0x1c74
00003aab: DUP2
00003aac: PUSH2 0x3066
00003aaf: JUMP
00003ab0: JUMPDEST
00003ab1: PUSH1 0x20
00003ab3: DUP1
00003ab4: DUP3
00003ab5: MSTORE
00003ab6: DUP2
00003ab7: ADD
00003ab8: PUSH2 0x1c74
00003abb: DUP2
00003abc: PUSH2 0x30d7
00003abf: JUMP
00003ac0: JUMPDEST
00003ac1: PUSH1 0x20
00003ac3: DUP1
00003ac4: DUP3
00003ac5: MSTORE
00003ac6: DUP2
00003ac7: ADD
00003ac8: PUSH2 0x1c74
00003acb: DUP2
00003acc: PUSH2 0x312f
00003acf: JUMP
00003ad0: JUMPDEST
00003ad1: PUSH1 0x20
00003ad3: DUP1
00003ad4: DUP3
00003ad5: MSTORE
00003ad6: DUP2
00003ad7: ADD
00003ad8: PUSH2 0x1c74
00003adb: DUP2
00003adc: PUSH2 0x3177
00003adf: JUMP
00003ae0: JUMPDEST
00003ae1: PUSH1 0x20
00003ae3: DUP1
00003ae4: DUP3
00003ae5: MSTORE
00003ae6: DUP2
00003ae7: ADD
00003ae8: PUSH2 0x1c74
00003aeb: DUP2
00003aec: PUSH2 0x31b0
00003aef: JUMP
00003af0: JUMPDEST
00003af1: PUSH1 0x20
00003af3: DUP1
00003af4: DUP3
00003af5: MSTORE
00003af6: DUP2
00003af7: ADD
00003af8: PUSH2 0x1c74
00003afb: DUP2
00003afc: PUSH2 0x31e0
00003aff: JUMP
00003b00: JUMPDEST
00003b01: PUSH1 0x20
00003b03: DUP1
00003b04: DUP3
00003b05: MSTORE
00003b06: DUP2
00003b07: ADD
00003b08: PUSH2 0x1c74
00003b0b: DUP2
00003b0c: PUSH2 0x3219
00003b0f: JUMP
00003b10: JUMPDEST
00003b11: PUSH1 0x20
00003b13: DUP1
00003b14: DUP3
00003b15: MSTORE
00003b16: DUP2
00003b17: ADD
00003b18: PUSH2 0x1c74
00003b1b: DUP2
00003b1c: PUSH2 0x324a
00003b1f: JUMP
00003b20: JUMPDEST
00003b21: PUSH1 0x20
00003b23: DUP1
00003b24: DUP3
00003b25: MSTORE
00003b26: DUP2
00003b27: ADD
00003b28: PUSH2 0x1c74
00003b2b: DUP2
00003b2c: PUSH2 0x3283
00003b2f: JUMP
00003b30: JUMPDEST
00003b31: PUSH1 0x20
00003b33: DUP1
00003b34: DUP3
00003b35: MSTORE
00003b36: DUP2
00003b37: ADD
00003b38: PUSH2 0x1c74
00003b3b: DUP2
00003b3c: PUSH2 0x32bc
00003b3f: JUMP
00003b40: JUMPDEST
00003b41: PUSH1 0x20
00003b43: DUP1
00003b44: DUP3
00003b45: MSTORE
00003b46: DUP2
00003b47: ADD
00003b48: PUSH2 0x1c74
00003b4b: DUP2
00003b4c: PUSH2 0x3309
00003b4f: JUMP
00003b50: JUMPDEST
00003b51: PUSH1 0x20
00003b53: DUP1
00003b54: DUP3
00003b55: MSTORE
00003b56: DUP2
00003b57: ADD
00003b58: PUSH2 0x1c74
00003b5b: DUP2
00003b5c: PUSH2 0x3368
00003b5f: JUMP
00003b60: JUMPDEST
00003b61: PUSH1 0x20
00003b63: DUP1
00003b64: DUP3
00003b65: MSTORE
00003b66: DUP2
00003b67: ADD
00003b68: PUSH2 0x1c74
00003b6b: DUP2
00003b6c: PUSH2 0x33a1
00003b6f: JUMP
00003b70: JUMPDEST
00003b71: PUSH1 0x20
00003b73: DUP1
00003b74: DUP3
00003b75: MSTORE
00003b76: DUP2
00003b77: ADD
00003b78: PUSH2 0x1c74
00003b7b: DUP2
00003b7c: PUSH2 0x33e8
00003b7f: JUMP
00003b80: JUMPDEST
00003b81: PUSH1 0x20
00003b83: DUP1
00003b84: DUP3
00003b85: MSTORE
00003b86: DUP2
00003b87: ADD
00003b88: PUSH2 0x1c74
00003b8b: DUP2
00003b8c: PUSH2 0x3430
00003b8f: JUMP
00003b90: JUMPDEST
00003b91: PUSH1 0x20
00003b93: DUP1
00003b94: DUP3
00003b95: MSTORE
00003b96: DUP2
00003b97: ADD
00003b98: PUSH2 0x1c74
00003b9b: DUP2
00003b9c: PUSH2 0x347c
00003b9f: JUMP
00003ba0: JUMPDEST
00003ba1: PUSH1 0x20
00003ba3: DUP1
00003ba4: DUP3
00003ba5: MSTORE
00003ba6: DUP2
00003ba7: ADD
00003ba8: PUSH2 0x1c74
00003bab: DUP2
00003bac: PUSH2 0x34b5
00003baf: JUMP
00003bb0: JUMPDEST
00003bb1: PUSH1 0x20
00003bb3: DUP1
00003bb4: DUP3
00003bb5: MSTORE
00003bb6: DUP2
00003bb7: ADD
00003bb8: PUSH2 0x1c74
00003bbb: DUP2
00003bbc: PUSH2 0x3505
00003bbf: JUMP
00003bc0: JUMPDEST
00003bc1: PUSH1 0x20
00003bc3: DUP1
00003bc4: DUP3
00003bc5: MSTORE
00003bc6: DUP2
00003bc7: ADD
00003bc8: PUSH2 0x1c74
00003bcb: DUP2
00003bcc: PUSH2 0x3551
00003bcf: JUMP
00003bd0: JUMPDEST
00003bd1: PUSH1 0x20
00003bd3: DUP1
00003bd4: DUP3
00003bd5: MSTORE
00003bd6: DUP2
00003bd7: ADD
00003bd8: PUSH2 0x1c74
00003bdb: DUP2
00003bdc: PUSH2 0x35a4
00003bdf: JUMP
00003be0: JUMPDEST
00003be1: PUSH1 0x20
00003be3: DUP1
00003be4: DUP3
00003be5: MSTORE
00003be6: DUP2
00003be7: ADD
00003be8: PUSH2 0x1c74
00003beb: DUP2
00003bec: PUSH2 0x35d6
00003bef: JUMP
00003bf0: JUMPDEST
00003bf1: PUSH1 0x20
00003bf3: DUP1
00003bf4: DUP3
00003bf5: MSTORE
00003bf6: DUP2
00003bf7: ADD
00003bf8: PUSH2 0x1c74
00003bfb: DUP2
00003bfc: PUSH2 0x3647
00003bff: JUMP
00003c00: JUMPDEST
00003c01: PUSH1 0x20
00003c03: DUP1
00003c04: DUP3
00003c05: MSTORE
00003c06: DUP2
00003c07: ADD
00003c08: PUSH2 0x1c74
00003c0b: DUP2
00003c0c: PUSH2 0x3682
00003c0f: JUMP
00003c10: JUMPDEST
00003c11: PUSH1 0x20
00003c13: DUP1
00003c14: DUP3
00003c15: MSTORE
00003c16: DUP2
00003c17: ADD
00003c18: PUSH2 0x1c74
00003c1b: DUP2
00003c1c: PUSH2 0x36d3
00003c1f: JUMP
00003c20: JUMPDEST
00003c21: PUSH1 0x20
00003c23: DUP1
00003c24: DUP3
00003c25: MSTORE
00003c26: DUP2
00003c27: ADD
00003c28: PUSH2 0x1c74
00003c2b: DUP2
00003c2c: PUSH2 0x371e
00003c2f: JUMP
00003c30: JUMPDEST
00003c31: PUSH1 0x20
00003c33: DUP1
00003c34: DUP3
00003c35: MSTORE
00003c36: DUP2
00003c37: ADD
00003c38: PUSH2 0x1c74
00003c3b: DUP2
00003c3c: PUSH2 0x376a
00003c3f: JUMP
00003c40: JUMPDEST
00003c41: PUSH1 0x20
00003c43: DUP1
00003c44: DUP3
00003c45: MSTORE
00003c46: DUP2
00003c47: ADD
00003c48: PUSH2 0x1c74
00003c4b: DUP2
00003c4c: PUSH2 0x37c2
00003c4f: JUMP
00003c50: JUMPDEST
00003c51: PUSH1 0x20
00003c53: DUP1
00003c54: DUP3
00003c55: MSTORE
00003c56: DUP2
00003c57: ADD
00003c58: PUSH2 0x1c74
00003c5b: DUP2
00003c5c: PUSH2 0x37f1
00003c5f: JUMP
00003c60: JUMPDEST
00003c61: PUSH1 0x20
00003c63: DUP2
00003c64: ADD
00003c65: PUSH2 0x1c74
00003c68: DUP3
00003c69: DUP5
00003c6a: PUSH2 0x396e
00003c6d: JUMP
00003c6e: JUMPDEST
00003c6f: PUSH1 0x60
00003c71: DUP2
00003c72: ADD
00003c73: PUSH2 0x3c7c
00003c76: DUP3
00003c77: DUP7
00003c78: PUSH2 0x396e
00003c7b: JUMP
00003c7c: JUMPDEST
00003c7d: DUP2
00003c7e: DUP2
00003c7f: SUB
00003c80: PUSH1 0x20
00003c82: DUP4
00003c83: ADD
00003c84: MSTORE
00003c85: PUSH2 0x3c8e
00003c88: DUP2
00003c89: DUP6
00003c8a: PUSH2 0x2ee2
00003c8d: JUMP
00003c8e: JUMPDEST
00003c8f: SWAP1
00003c90: POP
00003c91: DUP2
00003c92: DUP2
00003c93: SUB
00003c94: PUSH1 0x40
00003c96: DUP4
00003c97: ADD
00003c98: MSTORE
00003c99: PUSH2 0x395c
00003c9c: DUP2
00003c9d: DUP5
00003c9e: PUSH2 0x2e89
00003ca1: JUMP
00003ca2: JUMPDEST
00003ca3: PUSH1 0x40
00003ca5: DUP2
00003ca6: ADD
00003ca7: PUSH2 0x3cb0
00003caa: DUP3
00003cab: DUP6
00003cac: PUSH2 0x396e
00003caf: JUMP
00003cb0: JUMPDEST
00003cb1: PUSH2 0x2022
00003cb4: PUSH1 0x20
00003cb6: DUP4
00003cb7: ADD
00003cb8: DUP5
00003cb9: PUSH2 0x3965
00003cbc: JUMP
00003cbd: JUMPDEST
00003cbe: PUSH1 0x40
00003cc0: MLOAD
00003cc1: DUP2
00003cc2: DUP2
00003cc3: ADD
00003cc4: PUSH8 0xffffffffffffffff
00003ccd: DUP2
00003cce: GT
00003ccf: DUP3
00003cd0: DUP3
00003cd1: LT
00003cd2: OR
00003cd3: ISZERO
00003cd4: PUSH2 0x3cdc
00003cd7: JUMPI
00003cd8: PUSH1 0x00
00003cda: DUP1
00003cdb: REVERT
00003cdc: JUMPDEST
00003cdd: PUSH1 0x40
00003cdf: MSTORE
00003ce0: SWAP2
00003ce1: SWAP1
00003ce2: POP
00003ce3: JUMP
00003ce4: JUMPDEST
00003ce5: PUSH1 0x00
00003ce7: PUSH8 0xffffffffffffffff
00003cf0: DUP3
00003cf1: GT
00003cf2: ISZERO
00003cf3: PUSH2 0x3cfb
00003cf6: JUMPI
00003cf7: PUSH1 0x00
00003cf9: DUP1
00003cfa: REVERT
00003cfb: JUMPDEST
00003cfc: POP
00003cfd: PUSH1 0x20
00003cff: SWAP1
00003d00: DUP2
00003d01: MUL
00003d02: ADD
00003d03: SWAP1
00003d04: JUMP
00003d05: JUMPDEST
00003d06: PUSH1 0x00
00003d08: PUSH8 0xffffffffffffffff
00003d11: DUP3
00003d12: GT
00003d13: ISZERO
00003d14: PUSH2 0x3d1c
00003d17: JUMPI
00003d18: PUSH1 0x00
00003d1a: DUP1
00003d1b: REVERT
00003d1c: JUMPDEST
00003d1d: POP
00003d1e: PUSH1 0x20
00003d20: PUSH1 0x1f
00003d22: SWAP2
00003d23: SWAP1
00003d24: SWAP2
00003d25: ADD
00003d26: PUSH1 0x1f
00003d28: NOT
00003d29: AND
00003d2a: ADD
00003d2b: SWAP1
00003d2c: JUMP
00003d2d: JUMPDEST
00003d2e: PUSH1 0x20
00003d30: ADD
00003d31: SWAP1
00003d32: JUMP
00003d33: JUMPDEST
00003d34: MLOAD
00003d35: SWAP1
00003d36: JUMP
00003d37: JUMPDEST
00003d38: SWAP1
00003d39: DUP2
00003d3a: MSTORE
00003d3b: PUSH1 0x20
00003d3d: ADD
00003d3e: SWAP1
00003d3f: JUMP
00003d40: JUMPDEST
00003d41: PUSH1 0x00
00003d43: PUSH2 0x1c74
00003d46: DUP3
00003d47: PUSH2 0x3d57
00003d4a: JUMP
00003d4b: JUMPDEST
00003d4c: ISZERO
00003d4d: ISZERO
00003d4e: SWAP1
00003d4f: JUMP
00003d50: JUMPDEST
00003d51: PUSH2 0xffff
00003d54: AND
00003d55: SWAP1
00003d56: JUMP
00003d57: JUMPDEST
00003d58: PUSH1 0x01
00003d5a: PUSH1 0x01
00003d5c: PUSH1 0xa0
00003d5e: SHL
00003d5f: SUB
00003d60: AND
00003d61: SWAP1
00003d62: JUMP
00003d63: JUMPDEST
00003d64: SWAP1
00003d65: JUMP
00003d66: JUMPDEST
00003d67: PUSH1 0xff
00003d69: AND
00003d6a: SWAP1
00003d6b: JUMP
00003d6c: JUMPDEST
00003d6d: PUSH1 0x00
00003d6f: PUSH2 0x1c74
00003d72: DUP3
00003d73: PUSH2 0x3d82
00003d76: JUMP
00003d77: JUMPDEST
00003d78: PUSH1 0x00
00003d7a: PUSH2 0x1c74
00003d7d: DUP3
00003d7e: PUSH2 0x3d63
00003d81: JUMP
00003d82: JUMPDEST
00003d83: PUSH1 0x00
00003d85: PUSH2 0x1c74
00003d88: DUP3
00003d89: PUSH2 0x3d40
00003d8c: JUMP
00003d8d: JUMPDEST
00003d8e: DUP3
00003d8f: DUP2
00003d90: DUP4
00003d91: CALLDATACOPY
00003d92: POP
00003d93: PUSH1 0x00
00003d95: SWAP2
00003d96: ADD
00003d97: MSTORE
00003d98: JUMP
00003d99: JUMPDEST
00003d9a: PUSH1 0x00
00003d9c: JUMPDEST
00003d9d: DUP4
00003d9e: DUP2
00003d9f: LT
00003da0: ISZERO
00003da1: PUSH2 0x3db4
00003da4: JUMPI
00003da5: DUP2
00003da6: DUP2
00003da7: ADD
00003da8: MLOAD
00003da9: DUP4
00003daa: DUP3
00003dab: ADD
00003dac: MSTORE
00003dad: PUSH1 0x20
00003daf: ADD
00003db0: PUSH2 0x3d9c
00003db3: JUMP
00003db4: JUMPDEST
00003db5: DUP4
00003db6: DUP2
00003db7: GT
00003db8: ISZERO
00003db9: PUSH2 0x2753
00003dbc: JUMPI
00003dbd: POP
00003dbe: POP
00003dbf: PUSH1 0x00
00003dc1: SWAP2
00003dc2: ADD
00003dc3: MSTORE
00003dc4: JUMP
00003dc5: JUMPDEST
00003dc6: PUSH1 0x1f
00003dc8: ADD
00003dc9: PUSH1 0x1f
00003dcb: NOT
00003dcc: AND
00003dcd: SWAP1
00003dce: JUMP
00003dcf: JUMPDEST
00003dd0: PUSH2 0x3dd8
00003dd3: DUP2
00003dd4: PUSH2 0x3d40
00003dd7: JUMP
00003dd8: JUMPDEST
00003dd9: DUP2
00003dda: EQ
00003ddb: PUSH2 0x0755
00003dde: JUMPI
00003ddf: PUSH1 0x00
00003de1: DUP1
00003de2: REVERT
00003de3: JUMPDEST
00003de4: PUSH2 0x3dd8
00003de7: DUP2
00003de8: PUSH2 0x3d4b
00003deb: JUMP
00003dec: JUMPDEST
00003ded: PUSH2 0x3dd8
00003df0: DUP2
00003df1: PUSH2 0x3d50
00003df4: JUMP
00003df5: JUMPDEST
00003df6: PUSH2 0x3dd8
00003df9: DUP2
00003dfa: PUSH2 0x3d63
00003dfd: JUMP
00003dfe: JUMPDEST
00003dff: PUSH2 0x3dd8
00003e02: DUP2
00003e03: PUSH2 0x3d66
00003e06: JUMP
00003e07: INVALID
00003e08: LOG3
00003e09: PUSH6 0x627a7a723158
00003e10: KECCAK256
00003e11: XOR
00003e12: UNKNOWN(0xC1)
00003e13: GT
00003e14: SWAP6
00003e15: PUSH30 0xfae0d5b1bbea23cdfb7090bbefb11004f4a52e317da7fe113cba9a6c6578
00003e34: PUSH17 0x6572696d656e74616cf564736f6c634300
00003e46: SDIV
00003e47: GT
00003e48: STOP
00003e49: BLOCKHASH
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x51a145872b1105b02e25c38d588cfe4ce46adc1576c75ddf12dd3259be6bb94a validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0x51a145872b1105b02e25c38d588cfe4ce46adc1576c75ddf12dd3259be6bb94a", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3b43386", "selector": "0xf3b43386", "calldata_variants": [ "0xf3b43386", "0xf3b433860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa95e83d", "selector": "0xfa95e83d", "calldata_variants": [ "0xfa95e83d", "0xfa95e83d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbc9dfc4", "selector": "0xfbc9dfc4", "calldata_variants": [ "0xfbc9dfc4", "0xfbc9dfc40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc66dc097", "selector": "0xc66dc097", "calldata_variants": [ "0xc66dc097", "0xc66dc0970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2e4c60c", "selector": "0xe2e4c60c", "calldata_variants": [ "0xe2e4c60c", "0xe2e4c60c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8bee352", "selector": "0xe8bee352", "calldata_variants": [ "0xe8bee352", "0xe8bee3520000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef44ea8b", "selector": "0xef44ea8b", "calldata_variants": [ "0xef44ea8b", "0xef44ea8b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2274, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 2926, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 3024, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 9, "untrusted_delegatecall_count": 9 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xa1ebec792c3786ccd5b3207e211ac3d4e294cc8e4602c238f50ae831f0756d1e call_targets: 0x3f4931a8e9d4cdf8f56e7e8a8cfe3bede0e43657 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa1ebec792c3786ccd5b3207e211ac3d4e294cc8e4602c238f50ae831f0756d1e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3f4931a8e9d4cdf8f56e7e8a8cfe3bede0e43657" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3b43386", "selector": "0xf3b43386", "calldata_variants": [ "0xf3b43386", "0xf3b433860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa95e83d", "selector": "0xfa95e83d", "calldata_variants": [ "0xfa95e83d", "0xfa95e83d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbc9dfc4", "selector": "0xfbc9dfc4", "calldata_variants": [ "0xfbc9dfc4", "0xfbc9dfc40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc66dc097", "selector": "0xc66dc097", "calldata_variants": [ "0xc66dc097", "0xc66dc0970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2e4c60c", "selector": "0xe2e4c60c", "calldata_variants": [ "0xe2e4c60c", "0xe2e4c60c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8bee352", "selector": "0xe8bee352", "calldata_variants": [ "0xe8bee352", "0xe8bee3520000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef44ea8b", "selector": "0xef44ea8b", "calldata_variants": [ "0xef44ea8b", "0xef44ea8b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1699, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2743, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4537, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [], "untrusted_call_count": 7 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xa1ebec792c3786ccd5b3207e211ac3d4e294cc8e4602c238f50ae831f0756d1e call_targets: 0x3f4931a8e9d4cdf8f56e7e8a8cfe3bede0e43657 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa1ebec792c3786ccd5b3207e211ac3d4e294cc8e4602c238f50ae831f0756d1e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3f4931a8e9d4cdf8f56e7e8a8cfe3bede0e43657" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3b43386", "selector": "0xf3b43386", "calldata_variants": [ "0xf3b43386", "0xf3b433860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa95e83d", "selector": "0xfa95e83d", "calldata_variants": [ "0xfa95e83d", "0xfa95e83d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbc9dfc4", "selector": "0xfbc9dfc4", "calldata_variants": [ "0xfbc9dfc4", "0xfbc9dfc40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc66dc097", "selector": "0xc66dc097", "calldata_variants": [ "0xc66dc097", "0xc66dc0970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2e4c60c", "selector": "0xe2e4c60c", "calldata_variants": [ "0xe2e4c60c", "0xe2e4c60c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8bee352", "selector": "0xe8bee352", "calldata_variants": [ "0xe8bee352", "0xe8bee3520000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef44ea8b", "selector": "0xef44ea8b", "calldata_variants": [ "0xef44ea8b", "0xef44ea8b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1699, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2743, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4537, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }
Severity