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

019b477e-b6cc-7378-9c29-ddee3ac8e5cd
complete
Chain ID
Address
0x75ace7a086ea0fb1a79e43cc6331ad053d8c67cb
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
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23171	artifact.fetch	complete	1 / 3	3 months ago
23172	tool.cast_disasm	complete	1 / 3	3 months ago
66534	analysis.bundle	complete	1 / 3	1 week ago
66535	capability.graph	complete	1 / 3	1 week ago
66536	detector.run	complete	1 / 3	1 week ago
66537	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
8379
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01cd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x3f25de58
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x7065cb48
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc2ab471f
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc2ab471f
0000003a: EQ
0000003b: PUSH2 0x0983
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc7aa37d0
00000045: EQ
00000046: PUSH2 0x09c2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe8b6c22e
00000050: EQ
00000051: PUSH2 0x09f8
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfe0f4ff4
0000005b: EQ
0000005c: PUSH2 0x0a80
0000005f: JUMPI
00000060: PUSH2 0x01cd
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x7065cb48
0000006b: EQ
0000006c: PUSH2 0x08cc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9164ac43
00000076: EQ
00000077: PUSH2 0x08ff
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa0e67e2b
00000081: EQ
00000082: PUSH2 0x092f
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb1979197
0000008c: EQ
0000008d: PUSH2 0x0944
00000090: JUMPI
00000091: PUSH2 0x01cd
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x5441c2b6
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5441c2b6
000000a7: EQ
000000a8: PUSH2 0x0721
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x54fd4d50
000000b2: EQ
000000b3: PUSH2 0x0772
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x56df0ee2
000000bd: EQ
000000be: PUSH2 0x07fc
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x64c6dcfe
000000c8: EQ
000000c9: PUSH2 0x083b
000000cc: JUMPI
000000cd: PUSH2 0x01cd
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x3f25de58
000000d8: EQ
000000d9: PUSH2 0x0654
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x4e7c1d3a
000000e3: EQ
000000e4: PUSH2 0x0682
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x525af047
000000ee: EQ
000000ef: PUSH2 0x06c7
000000f2: JUMPI
000000f3: PUSH2 0x01cd
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x20f49ddb
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x2fe43cce
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x2fe43cce
00000114: EQ
00000115: PUSH2 0x04f6
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x3341b445
0000011f: EQ
00000120: PUSH2 0x0519
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x3a997c7d
0000012a: EQ
0000012b: PUSH2 0x054c
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x3b845232
00000135: EQ
00000136: PUSH2 0x05cc
00000139: JUMPI
0000013a: PUSH2 0x01cd
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x20f49ddb
00000145: EQ
00000146: PUSH2 0x0410
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x275c18ab
00000150: EQ
00000151: PUSH2 0x0440
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x2d7edc9f
0000015b: EQ
0000015c: PUSH2 0x0470
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x2f54bf6e
00000166: EQ
00000167: PUSH2 0x04af
0000016a: JUMPI
0000016b: PUSH2 0x01cd
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x14794b8e
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x14794b8e
00000181: EQ
00000182: PUSH2 0x02f5
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x173825d9
0000018c: EQ
0000018d: PUSH2 0x0325
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x1a93ec95
00000197: EQ
00000198: PUSH2 0x0358
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x1d98eb8c
000001a2: EQ
000001a3: PUSH2 0x0388
000001a6: JUMPI
000001a7: PUSH2 0x01cd
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x025e7c27
000001b2: EQ
000001b3: PUSH2 0x01d2
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x039672c4
000001bd: EQ
000001be: PUSH2 0x0218
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x13665359
000001c8: EQ
000001c9: PUSH2 0x02a2
000001cc: JUMPI
000001cd: JUMPDEST
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: CALLVALUE
000001d4: DUP1
000001d5: ISZERO
000001d6: PUSH2 0x01de
000001d9: JUMPI
000001da: PUSH1 0x00
000001dc: DUP1
000001dd: REVERT
000001de: JUMPDEST
000001df: POP
000001e0: PUSH2 0x01fc
000001e3: PUSH1 0x04
000001e5: DUP1
000001e6: CALLDATASIZE
000001e7: SUB
000001e8: PUSH1 0x20
000001ea: DUP2
000001eb: LT
000001ec: ISZERO
000001ed: PUSH2 0x01f5
000001f0: JUMPI
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: POP
000001f7: CALLDATALOAD
000001f8: PUSH2 0x0ab0
000001fb: JUMP
000001fc: JUMPDEST
000001fd: PUSH1 0x40
000001ff: DUP1
00000200: MLOAD
00000201: PUSH1 0x01
00000203: PUSH1 0x01
00000205: PUSH1 0xa0
00000207: SHL
00000208: SUB
00000209: SWAP1
0000020a: SWAP3
0000020b: AND
0000020c: DUP3
0000020d: MSTORE
0000020e: MLOAD
0000020f: SWAP1
00000210: DUP2
00000211: SWAP1
00000212: SUB
00000213: PUSH1 0x20
00000215: ADD
00000216: SWAP1
00000217: RETURN
00000218: JUMPDEST
00000219: CALLVALUE
0000021a: DUP1
0000021b: ISZERO
0000021c: PUSH2 0x0224
0000021f: JUMPI
00000220: PUSH1 0x00
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: POP
00000226: PUSH2 0x02a0
00000229: PUSH1 0x04
0000022b: DUP1
0000022c: CALLDATASIZE
0000022d: SUB
0000022e: PUSH1 0x40
00000230: DUP2
00000231: LT
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: PUSH4 0xffffffff
00000241: DUP3
00000242: CALLDATALOAD
00000243: AND
00000244: SWAP2
00000245: SWAP1
00000246: DUP2
00000247: ADD
00000248: SWAP1
00000249: PUSH1 0x40
0000024b: DUP2
0000024c: ADD
0000024d: PUSH1 0x20
0000024f: DUP3
00000250: ADD
00000251: CALLDATALOAD
00000252: PUSH1 0x01
00000254: PUSH1 0x20
00000256: SHL
00000257: DUP2
00000258: GT
00000259: ISZERO
0000025a: PUSH2 0x0262
0000025d: JUMPI
0000025e: PUSH1 0x00
00000260: DUP1
00000261: REVERT
00000262: JUMPDEST
00000263: DUP3
00000264: ADD
00000265: DUP4
00000266: PUSH1 0x20
00000268: DUP3
00000269: ADD
0000026a: GT
0000026b: ISZERO
0000026c: PUSH2 0x0274
0000026f: JUMPI
00000270: PUSH1 0x00
00000272: DUP1
00000273: REVERT
00000274: JUMPDEST
00000275: DUP1
00000276: CALLDATALOAD
00000277: SWAP1
00000278: PUSH1 0x20
0000027a: ADD
0000027b: SWAP2
0000027c: DUP5
0000027d: PUSH1 0x01
0000027f: DUP4
00000280: MUL
00000281: DUP5
00000282: ADD
00000283: GT
00000284: PUSH1 0x01
00000286: PUSH1 0x20
00000288: SHL
00000289: DUP4
0000028a: GT
0000028b: OR
0000028c: ISZERO
0000028d: PUSH2 0x0295
00000290: JUMPI
00000291: PUSH1 0x00
00000293: DUP1
00000294: REVERT
00000295: JUMPDEST
00000296: POP
00000297: SWAP1
00000298: SWAP3
00000299: POP
0000029a: SWAP1
0000029b: POP
0000029c: PUSH2 0x0ad7
0000029f: JUMP
000002a0: JUMPDEST
000002a1: STOP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02d2
000002b3: PUSH1 0x04
000002b5: DUP1
000002b6: CALLDATASIZE
000002b7: SUB
000002b8: PUSH1 0x20
000002ba: DUP2
000002bb: LT
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: CALLDATALOAD
000002c8: PUSH4 0xffffffff
000002cd: AND
000002ce: PUSH2 0x0d5c
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH1 0x40
000002d5: DUP1
000002d6: MLOAD
000002d7: PUSH1 0x01
000002d9: PUSH1 0x01
000002db: PUSH1 0xa0
000002dd: SHL
000002de: SUB
000002df: SWAP1
000002e0: SWAP4
000002e1: AND
000002e2: DUP4
000002e3: MSTORE
000002e4: PUSH1 0x20
000002e6: DUP4
000002e7: ADD
000002e8: SWAP2
000002e9: SWAP1
000002ea: SWAP2
000002eb: MSTORE
000002ec: DUP1
000002ed: MLOAD
000002ee: SWAP2
000002ef: DUP3
000002f0: SWAP1
000002f1: SUB
000002f2: ADD
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: POP
00000303: PUSH2 0x02a0
00000306: PUSH1 0x04
00000308: DUP1
00000309: CALLDATASIZE
0000030a: SUB
0000030b: PUSH1 0x20
0000030d: DUP2
0000030e: LT
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: POP
0000031a: CALLDATALOAD
0000031b: PUSH4 0xffffffff
00000320: AND
00000321: PUSH2 0x0d84
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x02a0
00000336: PUSH1 0x04
00000338: DUP1
00000339: CALLDATASIZE
0000033a: SUB
0000033b: PUSH1 0x20
0000033d: DUP2
0000033e: LT
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: CALLDATALOAD
0000034b: PUSH1 0x01
0000034d: PUSH1 0x01
0000034f: PUSH1 0xa0
00000351: SHL
00000352: SUB
00000353: AND
00000354: PUSH2 0x0e56
00000357: JUMP
00000358: JUMPDEST
00000359: CALLVALUE
0000035a: DUP1
0000035b: ISZERO
0000035c: PUSH2 0x0364
0000035f: JUMPI
00000360: PUSH1 0x00
00000362: DUP1
00000363: REVERT
00000364: JUMPDEST
00000365: POP
00000366: PUSH2 0x02a0
00000369: PUSH1 0x04
0000036b: DUP1
0000036c: CALLDATASIZE
0000036d: SUB
0000036e: PUSH1 0x20
00000370: DUP2
00000371: LT
00000372: ISZERO
00000373: PUSH2 0x037b
00000376: JUMPI
00000377: PUSH1 0x00
00000379: DUP1
0000037a: REVERT
0000037b: JUMPDEST
0000037c: POP
0000037d: CALLDATALOAD
0000037e: PUSH4 0xffffffff
00000383: AND
00000384: PUSH2 0x10ae
00000387: JUMP
00000388: JUMPDEST
00000389: CALLVALUE
0000038a: DUP1
0000038b: ISZERO
0000038c: PUSH2 0x0394
0000038f: JUMPI
00000390: PUSH1 0x00
00000392: DUP1
00000393: REVERT
00000394: JUMPDEST
00000395: POP
00000396: PUSH2 0x02a0
00000399: PUSH1 0x04
0000039b: DUP1
0000039c: CALLDATASIZE
0000039d: SUB
0000039e: PUSH1 0x40
000003a0: DUP2
000003a1: LT
000003a2: ISZERO
000003a3: PUSH2 0x03ab
000003a6: JUMPI
000003a7: PUSH1 0x00
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: PUSH4 0xffffffff
000003b1: DUP3
000003b2: CALLDATALOAD
000003b3: AND
000003b4: SWAP2
000003b5: SWAP1
000003b6: DUP2
000003b7: ADD
000003b8: SWAP1
000003b9: PUSH1 0x40
000003bb: DUP2
000003bc: ADD
000003bd: PUSH1 0x20
000003bf: DUP3
000003c0: ADD
000003c1: CALLDATALOAD
000003c2: PUSH1 0x01
000003c4: PUSH1 0x20
000003c6: SHL
000003c7: DUP2
000003c8: GT
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: DUP3
000003d4: ADD
000003d5: DUP4
000003d6: PUSH1 0x20
000003d8: DUP3
000003d9: ADD
000003da: GT
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: DUP1
000003e6: CALLDATALOAD
000003e7: SWAP1
000003e8: PUSH1 0x20
000003ea: ADD
000003eb: SWAP2
000003ec: DUP5
000003ed: PUSH1 0x20
000003ef: DUP4
000003f0: MUL
000003f1: DUP5
000003f2: ADD
000003f3: GT
000003f4: PUSH1 0x01
000003f6: PUSH1 0x20
000003f8: SHL
000003f9: DUP4
000003fa: GT
000003fb: OR
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: SWAP1
00000408: SWAP3
00000409: POP
0000040a: SWAP1
0000040b: POP
0000040c: PUSH2 0x12a3
0000040f: JUMP
00000410: JUMPDEST
00000411: CALLVALUE
00000412: DUP1
00000413: ISZERO
00000414: PUSH2 0x041c
00000417: JUMPI
00000418: PUSH1 0x00
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: POP
0000041e: PUSH2 0x01fc
00000421: PUSH1 0x04
00000423: DUP1
00000424: CALLDATASIZE
00000425: SUB
00000426: PUSH1 0x20
00000428: DUP2
00000429: LT
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: CALLDATALOAD
00000436: PUSH4 0xffffffff
0000043b: AND
0000043c: PUSH2 0x1344
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: DUP1
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH2 0x02a0
00000451: PUSH1 0x04
00000453: DUP1
00000454: CALLDATASIZE
00000455: SUB
00000456: PUSH1 0x20
00000458: DUP2
00000459: LT
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: CALLDATALOAD
00000466: PUSH4 0xffffffff
0000046b: AND
0000046c: PUSH2 0x1384
0000046f: JUMP
00000470: JUMPDEST
00000471: CALLVALUE
00000472: DUP1
00000473: ISZERO
00000474: PUSH2 0x047c
00000477: JUMPI
00000478: PUSH1 0x00
0000047a: DUP1
0000047b: REVERT
0000047c: JUMPDEST
0000047d: POP
0000047e: PUSH2 0x02a0
00000481: PUSH1 0x04
00000483: DUP1
00000484: CALLDATASIZE
00000485: SUB
00000486: PUSH1 0x40
00000488: DUP2
00000489: LT
0000048a: ISZERO
0000048b: PUSH2 0x0493
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: REVERT
00000493: JUMPDEST
00000494: POP
00000495: DUP1
00000496: CALLDATALOAD
00000497: PUSH4 0xffffffff
0000049c: AND
0000049d: SWAP1
0000049e: PUSH1 0x20
000004a0: ADD
000004a1: CALLDATALOAD
000004a2: PUSH1 0x01
000004a4: PUSH1 0x01
000004a6: PUSH1 0xa0
000004a8: SHL
000004a9: SUB
000004aa: AND
000004ab: PUSH2 0x149a
000004ae: JUMP
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: DUP1
000004b2: ISZERO
000004b3: PUSH2 0x04bb
000004b6: JUMPI
000004b7: PUSH1 0x00
000004b9: DUP1
000004ba: REVERT
000004bb: JUMPDEST
000004bc: POP
000004bd: PUSH2 0x04e2
000004c0: PUSH1 0x04
000004c2: DUP1
000004c3: CALLDATASIZE
000004c4: SUB
000004c5: PUSH1 0x20
000004c7: DUP2
000004c8: LT
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: CALLDATALOAD
000004d5: PUSH1 0x01
000004d7: PUSH1 0x01
000004d9: PUSH1 0xa0
000004db: SHL
000004dc: SUB
000004dd: AND
000004de: PUSH2 0x1704
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH1 0x40
000004e5: DUP1
000004e6: MLOAD
000004e7: SWAP2
000004e8: ISZERO
000004e9: ISZERO
000004ea: DUP3
000004eb: MSTORE
000004ec: MLOAD
000004ed: SWAP1
000004ee: DUP2
000004ef: SWAP1
000004f0: SUB
000004f1: PUSH1 0x20
000004f3: ADD
000004f4: SWAP1
000004f5: RETURN
000004f6: JUMPDEST
000004f7: PUSH2 0x02a0
000004fa: PUSH1 0x04
000004fc: DUP1
000004fd: CALLDATASIZE
000004fe: SUB
000004ff: PUSH1 0x20
00000501: DUP2
00000502: LT
00000503: ISZERO
00000504: PUSH2 0x050c
00000507: JUMPI
00000508: PUSH1 0x00
0000050a: DUP1
0000050b: REVERT
0000050c: JUMPDEST
0000050d: POP
0000050e: CALLDATALOAD
0000050f: PUSH4 0xffffffff
00000514: AND
00000515: PUSH2 0x1719
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x04e2
0000052a: PUSH1 0x04
0000052c: DUP1
0000052d: CALLDATASIZE
0000052e: SUB
0000052f: PUSH1 0x20
00000531: DUP2
00000532: LT
00000533: ISZERO
00000534: PUSH2 0x053c
00000537: JUMPI
00000538: PUSH1 0x00
0000053a: DUP1
0000053b: REVERT
0000053c: JUMPDEST
0000053d: POP
0000053e: CALLDATALOAD
0000053f: PUSH1 0x01
00000541: PUSH1 0x01
00000543: PUSH1 0xa0
00000545: SHL
00000546: SUB
00000547: AND
00000548: PUSH2 0x182a
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: DUP1
0000054f: ISZERO
00000550: PUSH2 0x0558
00000553: JUMPI
00000554: PUSH1 0x00
00000556: DUP1
00000557: REVERT
00000558: JUMPDEST
00000559: POP
0000055a: PUSH2 0x057c
0000055d: PUSH1 0x04
0000055f: DUP1
00000560: CALLDATASIZE
00000561: SUB
00000562: PUSH1 0x20
00000564: DUP2
00000565: LT
00000566: ISZERO
00000567: PUSH2 0x056f
0000056a: JUMPI
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: REVERT
0000056f: JUMPDEST
00000570: POP
00000571: CALLDATALOAD
00000572: PUSH4 0xffffffff
00000577: AND
00000578: PUSH2 0x183f
0000057b: JUMP
0000057c: JUMPDEST
0000057d: PUSH1 0x40
0000057f: DUP1
00000580: MLOAD
00000581: PUSH1 0x20
00000583: DUP1
00000584: DUP3
00000585: MSTORE
00000586: DUP4
00000587: MLOAD
00000588: DUP2
00000589: DUP4
0000058a: ADD
0000058b: MSTORE
0000058c: DUP4
0000058d: MLOAD
0000058e: SWAP2
0000058f: SWAP3
00000590: DUP4
00000591: SWAP3
00000592: SWAP1
00000593: DUP4
00000594: ADD
00000595: SWAP2
00000596: DUP6
00000597: DUP2
00000598: ADD
00000599: SWAP2
0000059a: MUL
0000059b: DUP1
0000059c: DUP4
0000059d: DUP4
0000059e: PUSH1 0x00
000005a0: JUMPDEST
000005a1: DUP4
000005a2: DUP2
000005a3: LT
000005a4: ISZERO
000005a5: PUSH2 0x05b8
000005a8: JUMPI
000005a9: DUP2
000005aa: DUP2
000005ab: ADD
000005ac: MLOAD
000005ad: DUP4
000005ae: DUP3
000005af: ADD
000005b0: MSTORE
000005b1: PUSH1 0x20
000005b3: ADD
000005b4: PUSH2 0x05a0
000005b7: JUMP
000005b8: JUMPDEST
000005b9: POP
000005ba: POP
000005bb: POP
000005bc: POP
000005bd: SWAP1
000005be: POP
000005bf: ADD
000005c0: SWAP3
000005c1: POP
000005c2: POP
000005c3: POP
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: DUP1
000005c8: SWAP2
000005c9: SUB
000005ca: SWAP1
000005cb: RETURN
000005cc: JUMPDEST
000005cd: CALLVALUE
000005ce: DUP1
000005cf: ISZERO
000005d0: PUSH2 0x05d8
000005d3: JUMPI
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: REVERT
000005d8: JUMPDEST
000005d9: POP
000005da: PUSH2 0x02a0
000005dd: PUSH1 0x04
000005df: DUP1
000005e0: CALLDATASIZE
000005e1: SUB
000005e2: PUSH1 0x40
000005e4: DUP2
000005e5: LT
000005e6: ISZERO
000005e7: PUSH2 0x05ef
000005ea: JUMPI
000005eb: PUSH1 0x00
000005ed: DUP1
000005ee: REVERT
000005ef: JUMPDEST
000005f0: PUSH4 0xffffffff
000005f5: DUP3
000005f6: CALLDATALOAD
000005f7: AND
000005f8: SWAP2
000005f9: SWAP1
000005fa: DUP2
000005fb: ADD
000005fc: SWAP1
000005fd: PUSH1 0x40
000005ff: DUP2
00000600: ADD
00000601: PUSH1 0x20
00000603: DUP3
00000604: ADD
00000605: CALLDATALOAD
00000606: PUSH1 0x01
00000608: PUSH1 0x20
0000060a: SHL
0000060b: DUP2
0000060c: GT
0000060d: ISZERO
0000060e: PUSH2 0x0616
00000611: JUMPI
00000612: PUSH1 0x00
00000614: DUP1
00000615: REVERT
00000616: JUMPDEST
00000617: DUP3
00000618: ADD
00000619: DUP4
0000061a: PUSH1 0x20
0000061c: DUP3
0000061d: ADD
0000061e: GT
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: DUP1
0000062a: CALLDATALOAD
0000062b: SWAP1
0000062c: PUSH1 0x20
0000062e: ADD
0000062f: SWAP2
00000630: DUP5
00000631: PUSH1 0x20
00000633: DUP4
00000634: MUL
00000635: DUP5
00000636: ADD
00000637: GT
00000638: PUSH1 0x01
0000063a: PUSH1 0x20
0000063c: SHL
0000063d: DUP4
0000063e: GT
0000063f: OR
00000640: ISZERO
00000641: PUSH2 0x0649
00000644: JUMPI
00000645: PUSH1 0x00
00000647: DUP1
00000648: REVERT
00000649: JUMPDEST
0000064a: POP
0000064b: SWAP1
0000064c: SWAP3
0000064d: POP
0000064e: SWAP1
0000064f: POP
00000650: PUSH2 0x18b2
00000653: JUMP
00000654: JUMPDEST
00000655: CALLVALUE
00000656: DUP1
00000657: ISZERO
00000658: PUSH2 0x0660
0000065b: JUMPI
0000065c: PUSH1 0x00
0000065e: DUP1
0000065f: REVERT
00000660: JUMPDEST
00000661: POP
00000662: PUSH2 0x0669
00000665: PUSH2 0x1acb
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH1 0x40
0000066c: DUP1
0000066d: MLOAD
0000066e: PUSH4 0xffffffff
00000673: SWAP1
00000674: SWAP3
00000675: AND
00000676: DUP3
00000677: MSTORE
00000678: MLOAD
00000679: SWAP1
0000067a: DUP2
0000067b: SWAP1
0000067c: SUB
0000067d: PUSH1 0x20
0000067f: ADD
00000680: SWAP1
00000681: RETURN
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x02a0
00000693: PUSH1 0x04
00000695: DUP1
00000696: CALLDATASIZE
00000697: SUB
00000698: PUSH1 0x60
0000069a: DUP2
0000069b: LT
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: PUSH4 0xffffffff
000006ac: DUP2
000006ad: CALLDATALOAD
000006ae: AND
000006af: SWAP1
000006b0: PUSH1 0x01
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: SHL
000006b7: SUB
000006b8: PUSH1 0x20
000006ba: DUP3
000006bb: ADD
000006bc: CALLDATALOAD
000006bd: AND
000006be: SWAP1
000006bf: PUSH1 0x40
000006c1: ADD
000006c2: CALLDATALOAD
000006c3: PUSH2 0x1ad7
000006c6: JUMP
000006c7: JUMPDEST
000006c8: CALLVALUE
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06d3
000006ce: JUMPI
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: REVERT
000006d3: JUMPDEST
000006d4: POP
000006d5: PUSH2 0x06f7
000006d8: PUSH1 0x04
000006da: DUP1
000006db: CALLDATASIZE
000006dc: SUB
000006dd: PUSH1 0x20
000006df: DUP2
000006e0: LT
000006e1: ISZERO
000006e2: PUSH2 0x06ea
000006e5: JUMPI
000006e6: PUSH1 0x00
000006e8: DUP1
000006e9: REVERT
000006ea: JUMPDEST
000006eb: POP
000006ec: CALLDATALOAD
000006ed: PUSH4 0xffffffff
000006f2: AND
000006f3: PUSH2 0x1bb9
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x40
000006fa: DUP1
000006fb: MLOAD
000006fc: PUSH1 0x01
000006fe: PUSH1 0x01
00000700: PUSH1 0xa0
00000702: SHL
00000703: SUB
00000704: SWAP5
00000705: DUP6
00000706: AND
00000707: DUP2
00000708: MSTORE
00000709: SWAP3
0000070a: SWAP1
0000070b: SWAP4
0000070c: AND
0000070d: PUSH1 0x20
0000070f: DUP4
00000710: ADD
00000711: MSTORE
00000712: DUP2
00000713: DUP4
00000714: ADD
00000715: MSTORE
00000716: SWAP1
00000717: MLOAD
00000718: SWAP1
00000719: DUP2
0000071a: SWAP1
0000071b: SUB
0000071c: PUSH1 0x60
0000071e: ADD
0000071f: SWAP1
00000720: RETURN
00000721: JUMPDEST
00000722: CALLVALUE
00000723: DUP1
00000724: ISZERO
00000725: PUSH2 0x072d
00000728: JUMPI
00000729: PUSH1 0x00
0000072b: DUP1
0000072c: REVERT
0000072d: JUMPDEST
0000072e: POP
0000072f: PUSH2 0x0760
00000732: PUSH1 0x04
00000734: DUP1
00000735: CALLDATASIZE
00000736: SUB
00000737: PUSH1 0x40
00000739: DUP2
0000073a: LT
0000073b: ISZERO
0000073c: PUSH2 0x0744
0000073f: JUMPI
00000740: PUSH1 0x00
00000742: DUP1
00000743: REVERT
00000744: JUMPDEST
00000745: POP
00000746: DUP1
00000747: CALLDATALOAD
00000748: PUSH4 0xffffffff
0000074d: AND
0000074e: SWAP1
0000074f: PUSH1 0x20
00000751: ADD
00000752: CALLDATALOAD
00000753: PUSH1 0x01
00000755: PUSH1 0x01
00000757: PUSH1 0xa0
00000759: SHL
0000075a: SUB
0000075b: AND
0000075c: PUSH2 0x1c94
0000075f: JUMP
00000760: JUMPDEST
00000761: PUSH1 0x40
00000763: DUP1
00000764: MLOAD
00000765: SWAP2
00000766: DUP3
00000767: MSTORE
00000768: MLOAD
00000769: SWAP1
0000076a: DUP2
0000076b: SWAP1
0000076c: SUB
0000076d: PUSH1 0x20
0000076f: ADD
00000770: SWAP1
00000771: RETURN
00000772: JUMPDEST
00000773: CALLVALUE
00000774: DUP1
00000775: ISZERO
00000776: PUSH2 0x077e
00000779: JUMPI
0000077a: PUSH1 0x00
0000077c: DUP1
0000077d: REVERT
0000077e: JUMPDEST
0000077f: POP
00000780: PUSH2 0x0787
00000783: PUSH2 0x1cc8
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH1 0x40
0000078a: DUP1
0000078b: MLOAD
0000078c: PUSH1 0x20
0000078e: DUP1
0000078f: DUP3
00000790: MSTORE
00000791: DUP4
00000792: MLOAD
00000793: DUP2
00000794: DUP4
00000795: ADD
00000796: MSTORE
00000797: DUP4
00000798: MLOAD
00000799: SWAP2
0000079a: SWAP3
0000079b: DUP4
0000079c: SWAP3
0000079d: SWAP1
0000079e: DUP4
0000079f: ADD
000007a0: SWAP2
000007a1: DUP6
000007a2: ADD
000007a3: SWAP1
000007a4: DUP1
000007a5: DUP4
000007a6: DUP4
000007a7: PUSH1 0x00
000007a9: JUMPDEST
000007aa: DUP4
000007ab: DUP2
000007ac: LT
000007ad: ISZERO
000007ae: PUSH2 0x07c1
000007b1: JUMPI
000007b2: DUP2
000007b3: DUP2
000007b4: ADD
000007b5: MLOAD
000007b6: DUP4
000007b7: DUP3
000007b8: ADD
000007b9: MSTORE
000007ba: PUSH1 0x20
000007bc: ADD
000007bd: PUSH2 0x07a9
000007c0: JUMP
000007c1: JUMPDEST
000007c2: POP
000007c3: POP
000007c4: POP
000007c5: POP
000007c6: SWAP1
000007c7: POP
000007c8: SWAP1
000007c9: DUP2
000007ca: ADD
000007cb: SWAP1
000007cc: PUSH1 0x1f
000007ce: AND
000007cf: DUP1
000007d0: ISZERO
000007d1: PUSH2 0x07ee
000007d4: JUMPI
000007d5: DUP1
000007d6: DUP3
000007d7: SUB
000007d8: DUP1
000007d9: MLOAD
000007da: PUSH1 0x01
000007dc: DUP4
000007dd: PUSH1 0x20
000007df: SUB
000007e0: PUSH2 0x0100
000007e3: EXP
000007e4: SUB
000007e5: NOT
000007e6: AND
000007e7: DUP2
000007e8: MSTORE
000007e9: PUSH1 0x20
000007eb: ADD
000007ec: SWAP2
000007ed: POP
000007ee: JUMPDEST
000007ef: POP
000007f0: SWAP3
000007f1: POP
000007f2: POP
000007f3: POP
000007f4: PUSH1 0x40
000007f6: MLOAD
000007f7: DUP1
000007f8: SWAP2
000007f9: SUB
000007fa: SWAP1
000007fb: RETURN
000007fc: JUMPDEST
000007fd: CALLVALUE
000007fe: DUP1
000007ff: ISZERO
00000800: PUSH2 0x0808
00000803: JUMPI
00000804: PUSH1 0x00
00000806: DUP1
00000807: REVERT
00000808: JUMPDEST
00000809: POP
0000080a: PUSH2 0x04e2
0000080d: PUSH1 0x04
0000080f: DUP1
00000810: CALLDATASIZE
00000811: SUB
00000812: PUSH1 0x40
00000814: DUP2
00000815: LT
00000816: ISZERO
00000817: PUSH2 0x081f
0000081a: JUMPI
0000081b: PUSH1 0x00
0000081d: DUP1
0000081e: REVERT
0000081f: JUMPDEST
00000820: POP
00000821: DUP1
00000822: CALLDATALOAD
00000823: PUSH4 0xffffffff
00000828: AND
00000829: SWAP1
0000082a: PUSH1 0x20
0000082c: ADD
0000082d: CALLDATALOAD
0000082e: PUSH1 0x01
00000830: PUSH1 0x01
00000832: PUSH1 0xa0
00000834: SHL
00000835: SUB
00000836: AND
00000837: PUSH2 0x1d56
0000083a: JUMP
0000083b: JUMPDEST
0000083c: CALLVALUE
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x0847
00000842: JUMPI
00000843: PUSH1 0x00
00000845: DUP1
00000846: REVERT
00000847: JUMPDEST
00000848: POP
00000849: PUSH2 0x02a0
0000084c: PUSH1 0x04
0000084e: DUP1
0000084f: CALLDATASIZE
00000850: SUB
00000851: PUSH1 0x60
00000853: DUP2
00000854: LT
00000855: ISZERO
00000856: PUSH2 0x085e
00000859: JUMPI
0000085a: PUSH1 0x00
0000085c: DUP1
0000085d: REVERT
0000085e: JUMPDEST
0000085f: PUSH4 0xffffffff
00000864: DUP3
00000865: CALLDATALOAD
00000866: DUP2
00000867: AND
00000868: SWAP3
00000869: PUSH1 0x20
0000086b: DUP2
0000086c: ADD
0000086d: CALLDATALOAD
0000086e: SWAP1
0000086f: SWAP2
00000870: AND
00000871: SWAP2
00000872: DUP2
00000873: ADD
00000874: SWAP1
00000875: PUSH1 0x60
00000877: DUP2
00000878: ADD
00000879: PUSH1 0x40
0000087b: DUP3
0000087c: ADD
0000087d: CALLDATALOAD
0000087e: PUSH1 0x01
00000880: PUSH1 0x20
00000882: SHL
00000883: DUP2
00000884: GT
00000885: ISZERO
00000886: PUSH2 0x088e
00000889: JUMPI
0000088a: PUSH1 0x00
0000088c: DUP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: DUP3
00000890: ADD
00000891: DUP4
00000892: PUSH1 0x20
00000894: DUP3
00000895: ADD
00000896: GT
00000897: ISZERO
00000898: PUSH2 0x08a0
0000089b: JUMPI
0000089c: PUSH1 0x00
0000089e: DUP1
0000089f: REVERT
000008a0: JUMPDEST
000008a1: DUP1
000008a2: CALLDATALOAD
000008a3: SWAP1
000008a4: PUSH1 0x20
000008a6: ADD
000008a7: SWAP2
000008a8: DUP5
000008a9: PUSH1 0x01
000008ab: DUP4
000008ac: MUL
000008ad: DUP5
000008ae: ADD
000008af: GT
000008b0: PUSH1 0x01
000008b2: PUSH1 0x20
000008b4: SHL
000008b5: DUP4
000008b6: GT
000008b7: OR
000008b8: ISZERO
000008b9: PUSH2 0x08c1
000008bc: JUMPI
000008bd: PUSH1 0x00
000008bf: DUP1
000008c0: REVERT
000008c1: JUMPDEST
000008c2: POP
000008c3: SWAP1
000008c4: SWAP3
000008c5: POP
000008c6: SWAP1
000008c7: POP
000008c8: PUSH2 0x1e1b
000008cb: JUMP
000008cc: JUMPDEST
000008cd: CALLVALUE
000008ce: DUP1
000008cf: ISZERO
000008d0: PUSH2 0x08d8
000008d3: JUMPI
000008d4: PUSH1 0x00
000008d6: DUP1
000008d7: REVERT
000008d8: JUMPDEST
000008d9: POP
000008da: PUSH2 0x02a0
000008dd: PUSH1 0x04
000008df: DUP1
000008e0: CALLDATASIZE
000008e1: SUB
000008e2: PUSH1 0x20
000008e4: DUP2
000008e5: LT
000008e6: ISZERO
000008e7: PUSH2 0x08ef
000008ea: JUMPI
000008eb: PUSH1 0x00
000008ed: DUP1
000008ee: REVERT
000008ef: JUMPDEST
000008f0: POP
000008f1: CALLDATALOAD
000008f2: PUSH1 0x01
000008f4: PUSH1 0x01
000008f6: PUSH1 0xa0
000008f8: SHL
000008f9: SUB
000008fa: AND
000008fb: PUSH2 0x2153
000008fe: JUMP
000008ff: JUMPDEST
00000900: CALLVALUE
00000901: DUP1
00000902: ISZERO
00000903: PUSH2 0x090b
00000906: JUMPI
00000907: PUSH1 0x00
00000909: DUP1
0000090a: REVERT
0000090b: JUMPDEST
0000090c: POP
0000090d: PUSH2 0x057c
00000910: PUSH1 0x04
00000912: DUP1
00000913: CALLDATASIZE
00000914: SUB
00000915: PUSH1 0x20
00000917: DUP2
00000918: LT
00000919: ISZERO
0000091a: PUSH2 0x0922
0000091d: JUMPI
0000091e: PUSH1 0x00
00000920: DUP1
00000921: REVERT
00000922: JUMPDEST
00000923: POP
00000924: CALLDATALOAD
00000925: PUSH4 0xffffffff
0000092a: AND
0000092b: PUSH2 0x21c3
0000092e: JUMP
0000092f: JUMPDEST
00000930: CALLVALUE
00000931: DUP1
00000932: ISZERO
00000933: PUSH2 0x093b
00000936: JUMPI
00000937: PUSH1 0x00
00000939: DUP1
0000093a: REVERT
0000093b: JUMPDEST
0000093c: POP
0000093d: PUSH2 0x057c
00000940: PUSH2 0x2234
00000943: JUMP
00000944: JUMPDEST
00000945: CALLVALUE
00000946: DUP1
00000947: ISZERO
00000948: PUSH2 0x0950
0000094b: JUMPI
0000094c: PUSH1 0x00
0000094e: DUP1
0000094f: REVERT
00000950: JUMPDEST
00000951: POP
00000952: PUSH2 0x04e2
00000955: PUSH1 0x04
00000957: DUP1
00000958: CALLDATASIZE
00000959: SUB
0000095a: PUSH1 0x40
0000095c: DUP2
0000095d: LT
0000095e: ISZERO
0000095f: PUSH2 0x0967
00000962: JUMPI
00000963: PUSH1 0x00
00000965: DUP1
00000966: REVERT
00000967: JUMPDEST
00000968: POP
00000969: DUP1
0000096a: CALLDATALOAD
0000096b: PUSH4 0xffffffff
00000970: AND
00000971: SWAP1
00000972: PUSH1 0x20
00000974: ADD
00000975: CALLDATALOAD
00000976: PUSH1 0x01
00000978: PUSH1 0x01
0000097a: PUSH1 0xa0
0000097c: SHL
0000097d: SUB
0000097e: AND
0000097f: PUSH2 0x2296
00000982: JUMP
00000983: JUMPDEST
00000984: CALLVALUE
00000985: DUP1
00000986: ISZERO
00000987: PUSH2 0x098f
0000098a: JUMPI
0000098b: PUSH1 0x00
0000098d: DUP1
0000098e: REVERT
0000098f: JUMPDEST
00000990: POP
00000991: PUSH2 0x02a0
00000994: PUSH1 0x04
00000996: DUP1
00000997: CALLDATASIZE
00000998: SUB
00000999: PUSH1 0x40
0000099b: DUP2
0000099c: LT
0000099d: ISZERO
0000099e: PUSH2 0x09a6
000009a1: JUMPI
000009a2: PUSH1 0x00
000009a4: DUP1
000009a5: REVERT
000009a6: JUMPDEST
000009a7: POP
000009a8: DUP1
000009a9: CALLDATALOAD
000009aa: PUSH4 0xffffffff
000009af: AND
000009b0: SWAP1
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: CALLDATALOAD
000009b5: PUSH1 0x01
000009b7: PUSH1 0x01
000009b9: PUSH1 0xa0
000009bb: SHL
000009bc: SUB
000009bd: AND
000009be: PUSH2 0x2350
000009c1: JUMP
000009c2: JUMPDEST
000009c3: CALLVALUE
000009c4: DUP1
000009c5: ISZERO
000009c6: PUSH2 0x09ce
000009c9: JUMPI
000009ca: PUSH1 0x00
000009cc: DUP1
000009cd: REVERT
000009ce: JUMPDEST
000009cf: POP
000009d0: PUSH2 0x01fc
000009d3: PUSH1 0x04
000009d5: DUP1
000009d6: CALLDATASIZE
000009d7: SUB
000009d8: PUSH1 0x40
000009da: DUP2
000009db: LT
000009dc: ISZERO
000009dd: PUSH2 0x09e5
000009e0: JUMPI
000009e1: PUSH1 0x00
000009e3: DUP1
000009e4: REVERT
000009e5: JUMPDEST
000009e6: POP
000009e7: PUSH4 0xffffffff
000009ec: DUP2
000009ed: CALLDATALOAD
000009ee: AND
000009ef: SWAP1
000009f0: PUSH1 0x20
000009f2: ADD
000009f3: CALLDATALOAD
000009f4: PUSH2 0x24d0
000009f7: JUMP
000009f8: JUMPDEST
000009f9: CALLVALUE
000009fa: DUP1
000009fb: ISZERO
000009fc: PUSH2 0x0a04
000009ff: JUMPI
00000a00: PUSH1 0x00
00000a02: DUP1
00000a03: REVERT
00000a04: JUMPDEST
00000a05: POP
00000a06: PUSH2 0x02a0
00000a09: PUSH1 0x04
00000a0b: DUP1
00000a0c: CALLDATASIZE
00000a0d: SUB
00000a0e: PUSH1 0x40
00000a10: DUP2
00000a11: LT
00000a12: ISZERO
00000a13: PUSH2 0x0a1b
00000a16: JUMPI
00000a17: PUSH1 0x00
00000a19: DUP1
00000a1a: REVERT
00000a1b: JUMPDEST
00000a1c: PUSH4 0xffffffff
00000a21: DUP3
00000a22: CALLDATALOAD
00000a23: AND
00000a24: SWAP2
00000a25: SWAP1
00000a26: DUP2
00000a27: ADD
00000a28: SWAP1
00000a29: PUSH1 0x40
00000a2b: DUP2
00000a2c: ADD
00000a2d: PUSH1 0x20
00000a2f: DUP3
00000a30: ADD
00000a31: CALLDATALOAD
00000a32: PUSH1 0x01
00000a34: PUSH1 0x20
00000a36: SHL
00000a37: DUP2
00000a38: GT
00000a39: ISZERO
00000a3a: PUSH2 0x0a42
00000a3d: JUMPI
00000a3e: PUSH1 0x00
00000a40: DUP1
00000a41: REVERT
00000a42: JUMPDEST
00000a43: DUP3
00000a44: ADD
00000a45: DUP4
00000a46: PUSH1 0x20
00000a48: DUP3
00000a49: ADD
00000a4a: GT
00000a4b: ISZERO
00000a4c: PUSH2 0x0a54
00000a4f: JUMPI
00000a50: PUSH1 0x00
00000a52: DUP1
00000a53: REVERT
00000a54: JUMPDEST
00000a55: DUP1
00000a56: CALLDATALOAD
00000a57: SWAP1
00000a58: PUSH1 0x20
00000a5a: ADD
00000a5b: SWAP2
00000a5c: DUP5
00000a5d: PUSH1 0x20
00000a5f: DUP4
00000a60: MUL
00000a61: DUP5
00000a62: ADD
00000a63: GT
00000a64: PUSH1 0x01
00000a66: PUSH1 0x20
00000a68: SHL
00000a69: DUP4
00000a6a: GT
00000a6b: OR
00000a6c: ISZERO
00000a6d: PUSH2 0x0a75
00000a70: JUMPI
00000a71: PUSH1 0x00
00000a73: DUP1
00000a74: REVERT
00000a75: JUMPDEST
00000a76: POP
00000a77: SWAP1
00000a78: SWAP3
00000a79: POP
00000a7a: SWAP1
00000a7b: POP
00000a7c: PUSH2 0x2505
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: CALLVALUE
00000a82: DUP1
00000a83: ISZERO
00000a84: PUSH2 0x0a8c
00000a87: JUMPI
00000a88: PUSH1 0x00
00000a8a: DUP1
00000a8b: REVERT
00000a8c: JUMPDEST
00000a8d: POP
00000a8e: PUSH2 0x02a0
00000a91: PUSH1 0x04
00000a93: DUP1
00000a94: CALLDATASIZE
00000a95: SUB
00000a96: PUSH1 0x20
00000a98: DUP2
00000a99: LT
00000a9a: ISZERO
00000a9b: PUSH2 0x0aa3
00000a9e: JUMPI
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: POP
00000aa5: CALLDATALOAD
00000aa6: PUSH4 0xffffffff
00000aab: AND
00000aac: PUSH2 0x2588
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x01
00000ab3: DUP2
00000ab4: DUP2
00000ab5: SLOAD
00000ab6: DUP2
00000ab7: LT
00000ab8: PUSH2 0x0abd
00000abb: JUMPI
00000abc: INVALID
00000abd: JUMPDEST
00000abe: PUSH1 0x00
00000ac0: SWAP2
00000ac1: DUP3
00000ac2: MSTORE
00000ac3: PUSH1 0x20
00000ac5: SWAP1
00000ac6: SWAP2
00000ac7: KECCAK256
00000ac8: ADD
00000ac9: SLOAD
00000aca: PUSH1 0x01
00000acc: PUSH1 0x01
00000ace: PUSH1 0xa0
00000ad0: SHL
00000ad1: SUB
00000ad2: AND
00000ad3: SWAP1
00000ad4: POP
00000ad5: DUP2
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH4 0xffffffff
00000add: DUP4
00000ade: AND
00000adf: PUSH1 0x00
00000ae1: SWAP1
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: PUSH1 0x04
00000ae6: PUSH1 0x20
00000ae8: MSTORE
00000ae9: PUSH1 0x40
00000aeb: SWAP1
00000aec: KECCAK256
00000aed: SLOAD
00000aee: DUP4
00000aef: SWAP1
00000af0: PUSH2 0x0b2e
00000af3: JUMPI
00000af4: PUSH1 0x40
00000af6: DUP1
00000af7: MLOAD
00000af8: PUSH3 0x461bcd
00000afc: PUSH1 0xe5
00000afe: SHL
00000aff: DUP2
00000b00: MSTORE
00000b01: PUSH1 0x20
00000b03: PUSH1 0x04
00000b05: DUP3
00000b06: ADD
00000b07: MSTORE
00000b08: PUSH1 0x1a
00000b0a: PUSH1 0x24
00000b0c: DUP3
00000b0d: ADD
00000b0e: MSTORE
00000b0f: PUSH1 0x00
00000b11: DUP1
00000b12: MLOAD
00000b13: PUSH1 0x20
00000b15: PUSH2 0x305c
00000b18: DUP4
00000b19: CODECOPY
00000b1a: DUP2
00000b1b: MLOAD
00000b1c: SWAP2
00000b1d: MSTORE
00000b1e: PUSH1 0x44
00000b20: DUP3
00000b21: ADD
00000b22: MSTORE
00000b23: SWAP1
00000b24: MLOAD
00000b25: SWAP1
00000b26: DUP2
00000b27: SWAP1
00000b28: SUB
00000b29: PUSH1 0x64
00000b2b: ADD
00000b2c: SWAP1
00000b2d: REVERT
00000b2e: JUMPDEST
00000b2f: PUSH1 0x00
00000b31: DUP1
00000b32: PUSH2 0x0b3a
00000b35: DUP7
00000b36: PUSH2 0x1344
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: PUSH1 0x40
00000b3d: DUP1
00000b3e: MLOAD
00000b3f: PUSH4 0x0853a733
00000b44: PUSH1 0xe4
00000b46: SHL
00000b47: DUP2
00000b48: MSTORE
00000b49: CALLER
00000b4a: PUSH1 0x04
00000b4c: DUP3
00000b4d: ADD
00000b4e: DUP2
00000b4f: DUP2
00000b50: MSTORE
00000b51: PUSH1 0x24
00000b53: DUP4
00000b54: ADD
00000b55: SWAP4
00000b56: DUP5
00000b57: MSTORE
00000b58: PUSH1 0x44
00000b5a: DUP4
00000b5b: ADD
00000b5c: DUP10
00000b5d: SWAP1
00000b5e: MSTORE
00000b5f: PUSH1 0x01
00000b61: PUSH1 0x01
00000b63: PUSH1 0xa0
00000b65: SHL
00000b66: SUB
00000b67: SWAP5
00000b68: SWAP1
00000b69: SWAP5
00000b6a: AND
00000b6b: SWAP4
00000b6c: PUSH4 0x853a7330
00000b71: SWAP4
00000b72: SWAP2
00000b73: SWAP3
00000b74: DUP11
00000b75: SWAP3
00000b76: DUP11
00000b77: SWAP3
00000b78: SWAP2
00000b79: PUSH1 0x64
00000b7b: ADD
00000b7c: DUP5
00000b7d: DUP5
00000b7e: DUP1
00000b7f: DUP3
00000b80: DUP5
00000b81: CALLDATACOPY
00000b82: PUSH1 0x00
00000b84: DUP2
00000b85: DUP5
00000b86: ADD
00000b87: MSTORE
00000b88: PUSH1 0x1f
00000b8a: NOT
00000b8b: PUSH1 0x1f
00000b8d: DUP3
00000b8e: ADD
00000b8f: AND
00000b90: SWAP1
00000b91: POP
00000b92: DUP1
00000b93: DUP4
00000b94: ADD
00000b95: SWAP3
00000b96: POP
00000b97: POP
00000b98: POP
00000b99: SWAP5
00000b9a: POP
00000b9b: POP
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: PUSH1 0x40
00000ba1: DUP1
00000ba2: MLOAD
00000ba3: DUP1
00000ba4: DUP4
00000ba5: SUB
00000ba6: DUP2
00000ba7: PUSH1 0x00
00000ba9: DUP8
00000baa: DUP1
00000bab: EXTCODESIZE
00000bac: ISZERO
00000bad: DUP1
00000bae: ISZERO
00000baf: PUSH2 0x0bb7
00000bb2: JUMPI
00000bb3: PUSH1 0x00
00000bb5: DUP1
00000bb6: REVERT
00000bb7: JUMPDEST
00000bb8: POP
00000bb9: GAS
00000bba: CALL
00000bbb: ISZERO
00000bbc: DUP1
00000bbd: ISZERO
00000bbe: PUSH2 0x0bcb
00000bc1: JUMPI
00000bc2: RETURNDATASIZE
00000bc3: PUSH1 0x00
00000bc5: DUP1
00000bc6: RETURNDATACOPY
00000bc7: RETURNDATASIZE
00000bc8: PUSH1 0x00
00000bca: REVERT
00000bcb: JUMPDEST
00000bcc: POP
00000bcd: POP
00000bce: POP
00000bcf: POP
00000bd0: PUSH1 0x40
00000bd2: MLOAD
00000bd3: RETURNDATASIZE
00000bd4: PUSH1 0x40
00000bd6: DUP2
00000bd7: LT
00000bd8: ISZERO
00000bd9: PUSH2 0x0be1
00000bdc: JUMPI
00000bdd: PUSH1 0x00
00000bdf: DUP1
00000be0: REVERT
00000be1: JUMPDEST
00000be2: POP
00000be3: DUP1
00000be4: MLOAD
00000be5: PUSH1 0x20
00000be7: SWAP1
00000be8: SWAP2
00000be9: ADD
00000bea: MLOAD
00000beb: SWAP1
00000bec: SWAP3
00000bed: POP
00000bee: SWAP1
00000bef: POP
00000bf0: DUP1
00000bf1: ISZERO
00000bf2: PUSH2 0x0d54
00000bf5: JUMPI
00000bf6: PUSH4 0xffffffff
00000bfb: DUP7
00000bfc: AND
00000bfd: PUSH1 0x00
00000bff: SWAP1
00000c00: DUP2
00000c01: MSTORE
00000c02: PUSH1 0x04
00000c04: PUSH1 0x20
00000c06: SWAP1
00000c07: DUP2
00000c08: MSTORE
00000c09: PUSH1 0x40
00000c0b: DUP1
00000c0c: DUP4
00000c0d: KECCAK256
00000c0e: PUSH1 0x01
00000c10: PUSH1 0x01
00000c12: PUSH1 0xa0
00000c14: SHL
00000c15: SUB
00000c16: DUP7
00000c17: AND
00000c18: DUP5
00000c19: MSTORE
00000c1a: PUSH1 0x03
00000c1c: DUP2
00000c1d: ADD
00000c1e: SWAP1
00000c1f: SWAP3
00000c20: MSTORE
00000c21: SWAP1
00000c22: SWAP2
00000c23: KECCAK256
00000c24: SLOAD
00000c25: DUP3
00000c26: GT
00000c27: ISZERO
00000c28: PUSH2 0x0c78
00000c2b: JUMPI
00000c2c: PUSH1 0x40
00000c2e: DUP1
00000c2f: MLOAD
00000c30: PUSH3 0x461bcd
00000c34: PUSH1 0xe5
00000c36: SHL
00000c37: DUP2
00000c38: MSTORE
00000c39: PUSH1 0x20
00000c3b: PUSH1 0x04
00000c3d: DUP3
00000c3e: ADD
00000c3f: MSTORE
00000c40: PUSH1 0x1c
00000c42: PUSH1 0x24
00000c44: DUP3
00000c45: ADD
00000c46: MSTORE
00000c47: PUSH32 0x6e6f7420656e6f7567682066756e647320746f207472616e7366657200000000
00000c68: PUSH1 0x44
00000c6a: DUP3
00000c6b: ADD
00000c6c: MSTORE
00000c6d: SWAP1
00000c6e: MLOAD
00000c6f: SWAP1
00000c70: DUP2
00000c71: SWAP1
00000c72: SUB
00000c73: PUSH1 0x64
00000c75: ADD
00000c76: SWAP1
00000c77: REVERT
00000c78: JUMPDEST
00000c79: PUSH4 0xffffffff
00000c7e: DUP1
00000c7f: DUP9
00000c80: AND
00000c81: PUSH1 0x00
00000c83: SWAP1
00000c84: DUP2
00000c85: MSTORE
00000c86: PUSH1 0x04
00000c88: PUSH1 0x20
00000c8a: SWAP1
00000c8b: DUP2
00000c8c: MSTORE
00000c8d: PUSH1 0x40
00000c8f: DUP1
00000c90: DUP4
00000c91: KECCAK256
00000c92: PUSH1 0x01
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: SHL
00000c99: SUB
00000c9a: DUP9
00000c9b: AND
00000c9c: DUP5
00000c9d: MSTORE
00000c9e: PUSH1 0x03
00000ca0: ADD
00000ca1: SWAP1
00000ca2: SWAP2
00000ca3: MSTORE
00000ca4: SWAP1
00000ca5: KECCAK256
00000ca6: SLOAD
00000ca7: PUSH2 0x0cb2
00000caa: SWAP2
00000cab: DUP5
00000cac: SWAP1
00000cad: PUSH2 0x2600
00000cb0: AND
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH1 0x01
00000cb5: PUSH1 0x01
00000cb7: PUSH1 0xa0
00000cb9: SHL
00000cba: SUB
00000cbb: DUP5
00000cbc: AND
00000cbd: PUSH1 0x00
00000cbf: DUP2
00000cc0: DUP2
00000cc1: MSTORE
00000cc2: PUSH1 0x03
00000cc4: DUP5
00000cc5: ADD
00000cc6: PUSH1 0x20
00000cc8: MSTORE
00000cc9: PUSH1 0x40
00000ccb: SWAP1
00000ccc: KECCAK256
00000ccd: SWAP2
00000cce: SWAP1
00000ccf: SWAP2
00000cd0: SSTORE
00000cd1: ISZERO
00000cd2: PUSH2 0x0ce5
00000cd5: JUMPI
00000cd6: PUSH2 0x0ce0
00000cd9: DUP4
00000cda: DUP4
00000cdb: CALLER
00000cdc: PUSH2 0x264a
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH2 0x0d52
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: PUSH1 0x40
00000ce8: MLOAD
00000ce9: CALLER
00000cea: SWAP1
00000ceb: DUP4
00000cec: ISZERO
00000ced: PUSH2 0x08fc
00000cf0: MUL
00000cf1: SWAP1
00000cf2: DUP5
00000cf3: SWAP1
00000cf4: PUSH1 0x00
00000cf6: DUP2
00000cf7: DUP2
00000cf8: DUP2
00000cf9: DUP6
00000cfa: DUP9
00000cfb: DUP9
00000cfc: CALL
00000cfd: SWAP4
00000cfe: POP
00000cff: POP
00000d00: POP
00000d01: POP
00000d02: PUSH2 0x0d52
00000d05: JUMPI
00000d06: PUSH1 0x40
00000d08: DUP1
00000d09: MLOAD
00000d0a: PUSH3 0x461bcd
00000d0e: PUSH1 0xe5
00000d10: SHL
00000d11: DUP2
00000d12: MSTORE
00000d13: PUSH1 0x20
00000d15: PUSH1 0x04
00000d17: DUP3
00000d18: ADD
00000d19: MSTORE
00000d1a: PUSH1 0x18
00000d1c: PUSH1 0x24
00000d1e: DUP3
00000d1f: ADD
00000d20: MSTORE
00000d21: PUSH32 0x6661696c656420746f207472616e736665722065746865720000000000000000
00000d42: PUSH1 0x44
00000d44: DUP3
00000d45: ADD
00000d46: MSTORE
00000d47: SWAP1
00000d48: MLOAD
00000d49: SWAP1
00000d4a: DUP2
00000d4b: SWAP1
00000d4c: SUB
00000d4d: PUSH1 0x64
00000d4f: ADD
00000d50: SWAP1
00000d51: REVERT
00000d52: JUMPDEST
00000d53: POP
00000d54: JUMPDEST
00000d55: POP
00000d56: POP
00000d57: POP
00000d58: POP
00000d59: POP
00000d5a: POP
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH1 0x04
00000d5f: PUSH1 0x20
00000d61: MSTORE
00000d62: PUSH1 0x00
00000d64: SWAP1
00000d65: DUP2
00000d66: MSTORE
00000d67: PUSH1 0x40
00000d69: SWAP1
00000d6a: KECCAK256
00000d6b: PUSH1 0x01
00000d6d: DUP2
00000d6e: ADD
00000d6f: SLOAD
00000d70: PUSH1 0x02
00000d72: SWAP1
00000d73: SWAP2
00000d74: ADD
00000d75: SLOAD
00000d76: PUSH1 0x01
00000d78: PUSH1 0x01
00000d7a: PUSH1 0xa0
00000d7c: SHL
00000d7d: SUB
00000d7e: SWAP1
00000d7f: SWAP2
00000d80: AND
00000d81: SWAP1
00000d82: DUP3
00000d83: JUMP
00000d84: JUMPDEST
00000d85: PUSH1 0x01
00000d87: PUSH2 0x0d8f
00000d8a: DUP2
00000d8b: PUSH2 0x1344
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: PUSH1 0x01
00000d92: PUSH1 0x01
00000d94: PUSH1 0xa0
00000d96: SHL
00000d97: SUB
00000d98: AND
00000d99: CALLER
00000d9a: PUSH1 0x01
00000d9c: PUSH1 0x01
00000d9e: PUSH1 0xa0
00000da0: SHL
00000da1: SUB
00000da2: AND
00000da3: EQ
00000da4: PUSH2 0x0dde
00000da7: JUMPI
00000da8: PUSH1 0x40
00000daa: MLOAD
00000dab: PUSH3 0x461bcd
00000daf: PUSH1 0xe5
00000db1: SHL
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x04
00000db6: ADD
00000db7: DUP1
00000db8: DUP1
00000db9: PUSH1 0x20
00000dbb: ADD
00000dbc: DUP3
00000dbd: DUP2
00000dbe: SUB
00000dbf: DUP3
00000dc0: MSTORE
00000dc1: PUSH1 0x2d
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: ADD
00000dc8: DUP1
00000dc9: PUSH2 0x2f9e
00000dcc: PUSH1 0x2d
00000dce: SWAP2
00000dcf: CODECOPY
00000dd0: PUSH1 0x40
00000dd2: ADD
00000dd3: SWAP2
00000dd4: POP
00000dd5: POP
00000dd6: PUSH1 0x40
00000dd8: MLOAD
00000dd9: DUP1
00000dda: SWAP2
00000ddb: SUB
00000ddc: SWAP1
00000ddd: REVERT
00000dde: JUMPDEST
00000ddf: PUSH4 0xffffffff
00000de4: DUP3
00000de5: AND
00000de6: PUSH1 0x00
00000de8: DUP2
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x04
00000ded: PUSH1 0x20
00000def: SWAP1
00000df0: DUP2
00000df1: MSTORE
00000df2: PUSH1 0x40
00000df4: SWAP2
00000df5: DUP3
00000df6: SWAP1
00000df7: KECCAK256
00000df8: DUP1
00000df9: SLOAD
00000dfa: PUSH1 0x01
00000dfc: DUP3
00000dfd: ADD
00000dfe: SLOAD
00000dff: DUP5
00000e00: MLOAD
00000e01: PUSH1 0x00
00000e03: NOT
00000e04: SWAP1
00000e05: SWAP3
00000e06: ADD
00000e07: PUSH1 0xff
00000e09: AND
00000e0a: DUP3
00000e0b: MSTORE
00000e0c: PUSH1 0x01
00000e0e: PUSH1 0x01
00000e10: PUSH1 0xa0
00000e12: SHL
00000e13: SUB
00000e14: AND
00000e15: SWAP3
00000e16: DUP2
00000e17: ADD
00000e18: SWAP3
00000e19: SWAP1
00000e1a: SWAP3
00000e1b: MSTORE
00000e1c: DUP3
00000e1d: MLOAD
00000e1e: SWAP1
00000e1f: SWAP4
00000e20: SWAP3
00000e21: PUSH32 0xfddf6910a1ecd6d2f433683d973a194c4ff8c1d85a8fb6cb068ca80e02cb53df
00000e42: SWAP3
00000e43: DUP3
00000e44: SWAP1
00000e45: SUB
00000e46: ADD
00000e47: SWAP1
00000e48: LOG2
00000e49: PUSH2 0x0e51
00000e4c: DUP2
00000e4d: PUSH2 0x2865
00000e50: JUMP
00000e51: JUMPDEST
00000e52: POP
00000e53: POP
00000e54: POP
00000e55: JUMP
00000e56: JUMPDEST
00000e57: CALLER
00000e58: PUSH1 0x00
00000e5a: SWAP1
00000e5b: DUP2
00000e5c: MSTORE
00000e5d: PUSH1 0x02
00000e5f: PUSH1 0x20
00000e61: MSTORE
00000e62: PUSH1 0x40
00000e64: SWAP1
00000e65: KECCAK256
00000e66: SLOAD
00000e67: PUSH1 0xff
00000e69: AND
00000e6a: PUSH2 0x0eba
00000e6d: JUMPI
00000e6e: PUSH1 0x40
00000e70: DUP1
00000e71: MLOAD
00000e72: PUSH3 0x461bcd
00000e76: PUSH1 0xe5
00000e78: SHL
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x20
00000e7d: PUSH1 0x04
00000e7f: DUP3
00000e80: ADD
00000e81: MSTORE
00000e82: PUSH1 0x1d
00000e84: PUSH1 0x24
00000e86: DUP3
00000e87: ADD
00000e88: MSTORE
00000e89: PUSH32 0x696e76616c69642073656e6465723b206d757374206265206f776e6572000000
00000eaa: PUSH1 0x44
00000eac: DUP3
00000ead: ADD
00000eae: MSTORE
00000eaf: SWAP1
00000eb0: MLOAD
00000eb1: SWAP1
00000eb2: DUP2
00000eb3: SWAP1
00000eb4: SUB
00000eb5: PUSH1 0x64
00000eb7: ADD
00000eb8: SWAP1
00000eb9: REVERT
00000eba: JUMPDEST
00000ebb: PUSH1 0x01
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0xa0
00000ec1: SHL
00000ec2: SUB
00000ec3: DUP2
00000ec4: AND
00000ec5: PUSH1 0x00
00000ec7: SWAP1
00000ec8: DUP2
00000ec9: MSTORE
00000eca: PUSH1 0x02
00000ecc: PUSH1 0x20
00000ece: MSTORE
00000ecf: PUSH1 0x40
00000ed1: SWAP1
00000ed2: KECCAK256
00000ed3: SLOAD
00000ed4: PUSH1 0xff
00000ed6: AND
00000ed7: PUSH2 0x0f27
00000eda: JUMPI
00000edb: PUSH1 0x40
00000edd: DUP1
00000ede: MLOAD
00000edf: PUSH3 0x461bcd
00000ee3: PUSH1 0xe5
00000ee5: SHL
00000ee6: DUP2
00000ee7: MSTORE
00000ee8: PUSH1 0x20
00000eea: PUSH1 0x04
00000eec: DUP3
00000eed: ADD
00000eee: MSTORE
00000eef: PUSH1 0x1a
00000ef1: PUSH1 0x24
00000ef3: DUP3
00000ef4: ADD
00000ef5: MSTORE
00000ef6: PUSH32 0x6f6e6c79206f776e6572732063616e2062652072656d6f766564000000000000
00000f17: PUSH1 0x44
00000f19: DUP3
00000f1a: ADD
00000f1b: MSTORE
00000f1c: SWAP1
00000f1d: MLOAD
00000f1e: SWAP1
00000f1f: DUP2
00000f20: SWAP1
00000f21: SUB
00000f22: PUSH1 0x64
00000f24: ADD
00000f25: SWAP1
00000f26: REVERT
00000f27: JUMPDEST
00000f28: PUSH1 0x01
00000f2a: DUP1
00000f2b: SLOAD
00000f2c: GT
00000f2d: PUSH2 0x0f79
00000f30: JUMPI
00000f31: PUSH1 0x40
00000f33: DUP1
00000f34: MLOAD
00000f35: PUSH3 0x461bcd
00000f39: PUSH1 0xe5
00000f3b: SHL
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: PUSH1 0x04
00000f42: DUP3
00000f43: ADD
00000f44: MSTORE
00000f45: PUSH1 0x19
00000f47: PUSH1 0x24
00000f49: DUP3
00000f4a: ADD
00000f4b: MSTORE
00000f4c: PUSH25 0x31b0b7103737ba103932b6b7bb32903630b9ba1037bbb732b9
00000f66: PUSH1 0x39
00000f68: SHL
00000f69: PUSH1 0x44
00000f6b: DUP3
00000f6c: ADD
00000f6d: MSTORE
00000f6e: SWAP1
00000f6f: MLOAD
00000f70: SWAP1
00000f71: DUP2
00000f72: SWAP1
00000f73: SUB
00000f74: PUSH1 0x64
00000f76: ADD
00000f77: SWAP1
00000f78: REVERT
00000f79: JUMPDEST
00000f7a: PUSH1 0x01
00000f7c: PUSH1 0x01
00000f7e: PUSH1 0xa0
00000f80: SHL
00000f81: SUB
00000f82: DUP2
00000f83: AND
00000f84: PUSH1 0x00
00000f86: SWAP1
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x02
00000f8b: PUSH1 0x20
00000f8d: MSTORE
00000f8e: PUSH1 0x40
00000f90: DUP2
00000f91: KECCAK256
00000f92: DUP1
00000f93: SLOAD
00000f94: PUSH1 0xff
00000f96: NOT
00000f97: AND
00000f98: SWAP1
00000f99: SSTORE
00000f9a: JUMPDEST
00000f9b: PUSH1 0x01
00000f9d: SLOAD
00000f9e: DUP2
00000f9f: LT
00000fa0: ISZERO
00000fa1: PUSH2 0x10aa
00000fa4: JUMPI
00000fa5: DUP2
00000fa6: PUSH1 0x01
00000fa8: PUSH1 0x01
00000faa: PUSH1 0xa0
00000fac: SHL
00000fad: SUB
00000fae: AND
00000faf: PUSH1 0x01
00000fb1: DUP3
00000fb2: DUP2
00000fb3: SLOAD
00000fb4: DUP2
00000fb5: LT
00000fb6: PUSH2 0x0fbb
00000fb9: JUMPI
00000fba: INVALID
00000fbb: JUMPDEST
00000fbc: PUSH1 0x00
00000fbe: SWAP2
00000fbf: DUP3
00000fc0: MSTORE
00000fc1: PUSH1 0x20
00000fc3: SWAP1
00000fc4: SWAP2
00000fc5: KECCAK256
00000fc6: ADD
00000fc7: SLOAD
00000fc8: PUSH1 0x01
00000fca: PUSH1 0x01
00000fcc: PUSH1 0xa0
00000fce: SHL
00000fcf: SUB
00000fd0: AND
00000fd1: EQ
00000fd2: ISZERO
00000fd3: PUSH2 0x10a2
00000fd6: JUMPI
00000fd7: PUSH1 0x01
00000fd9: DUP1
00000fda: SLOAD
00000fdb: PUSH1 0x00
00000fdd: NOT
00000fde: DUP2
00000fdf: ADD
00000fe0: SWAP1
00000fe1: DUP2
00000fe2: LT
00000fe3: PUSH2 0x0fe8
00000fe6: JUMPI
00000fe7: INVALID
00000fe8: JUMPDEST
00000fe9: PUSH1 0x00
00000feb: SWAP2
00000fec: DUP3
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: SWAP1
00000ff1: SWAP2
00000ff2: KECCAK256
00000ff3: ADD
00000ff4: SLOAD
00000ff5: PUSH1 0x01
00000ff7: DUP1
00000ff8: SLOAD
00000ff9: PUSH1 0x01
00000ffb: PUSH1 0x01
00000ffd: PUSH1 0xa0
00000fff: SHL
00001000: SUB
00001001: SWAP1
00001002: SWAP3
00001003: AND
00001004: SWAP2
00001005: DUP4
00001006: SWAP1
00001007: DUP2
00001008: LT
00001009: PUSH2 0x100e
0000100c: JUMPI
0000100d: INVALID
0000100e: JUMPDEST
0000100f: SWAP1
00001010: PUSH1 0x00
00001012: MSTORE
00001013: PUSH1 0x20
00001015: PUSH1 0x00
00001017: KECCAK256
00001018: ADD
00001019: PUSH1 0x00
0000101b: PUSH2 0x0100
0000101e: EXP
0000101f: DUP2
00001020: SLOAD
00001021: DUP2
00001022: PUSH1 0x01
00001024: PUSH1 0x01
00001026: PUSH1 0xa0
00001028: SHL
00001029: SUB
0000102a: MUL
0000102b: NOT
0000102c: AND
0000102d: SWAP1
0000102e: DUP4
0000102f: PUSH1 0x01
00001031: PUSH1 0x01
00001033: PUSH1 0xa0
00001035: SHL
00001036: SUB
00001037: AND
00001038: MUL
00001039: OR
0000103a: SWAP1
0000103b: SSTORE
0000103c: POP
0000103d: PUSH1 0x01
0000103f: DUP1
00001040: SLOAD
00001041: DUP1
00001042: PUSH2 0x1047
00001045: JUMPI
00001046: INVALID
00001047: JUMPDEST
00001048: PUSH1 0x00
0000104a: DUP3
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x20
0000104f: DUP2
00001050: KECCAK256
00001051: DUP3
00001052: ADD
00001053: PUSH1 0x00
00001055: NOT
00001056: SWAP1
00001057: DUP2
00001058: ADD
00001059: DUP1
0000105a: SLOAD
0000105b: PUSH1 0x01
0000105d: PUSH1 0x01
0000105f: PUSH1 0xa0
00001061: SHL
00001062: SUB
00001063: NOT
00001064: AND
00001065: SWAP1
00001066: SSTORE
00001067: SWAP1
00001068: SWAP2
00001069: ADD
0000106a: SWAP1
0000106b: SWAP2
0000106c: SSTORE
0000106d: PUSH1 0x40
0000106f: MLOAD
00001070: PUSH1 0x01
00001072: PUSH1 0x01
00001074: PUSH1 0xa0
00001076: SHL
00001077: SUB
00001078: DUP5
00001079: AND
0000107a: SWAP2
0000107b: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da
0000109c: SWAP2
0000109d: LOG2
0000109e: PUSH2 0x10aa
000010a1: JUMP
000010a2: JUMPDEST
000010a3: PUSH1 0x01
000010a5: ADD
000010a6: PUSH2 0x0f9a
000010a9: JUMP
000010aa: JUMPDEST
000010ab: POP
000010ac: POP
000010ad: JUMP
000010ae: JUMPDEST
000010af: DUP1
000010b0: PUSH2 0x10b8
000010b3: DUP2
000010b4: PUSH2 0x1344
000010b7: JUMP
000010b8: JUMPDEST
000010b9: PUSH1 0x01
000010bb: PUSH1 0x01
000010bd: PUSH1 0xa0
000010bf: SHL
000010c0: SUB
000010c1: AND
000010c2: CALLER
000010c3: PUSH1 0x01
000010c5: PUSH1 0x01
000010c7: PUSH1 0xa0
000010c9: SHL
000010ca: SUB
000010cb: AND
000010cc: EQ
000010cd: PUSH2 0x1107
000010d0: JUMPI
000010d1: PUSH1 0x40
000010d3: MLOAD
000010d4: PUSH3 0x461bcd
000010d8: PUSH1 0xe5
000010da: SHL
000010db: DUP2
000010dc: MSTORE
000010dd: PUSH1 0x04
000010df: ADD
000010e0: DUP1
000010e1: DUP1
000010e2: PUSH1 0x20
000010e4: ADD
000010e5: DUP3
000010e6: DUP2
000010e7: SUB
000010e8: DUP3
000010e9: MSTORE
000010ea: PUSH1 0x2d
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: DUP1
000010f2: PUSH2 0x2f9e
000010f5: PUSH1 0x2d
000010f7: SWAP2
000010f8: CODECOPY
000010f9: PUSH1 0x40
000010fb: ADD
000010fc: SWAP2
000010fd: POP
000010fe: POP
000010ff: PUSH1 0x40
00001101: MLOAD
00001102: DUP1
00001103: SWAP2
00001104: SUB
00001105: SWAP1
00001106: REVERT
00001107: JUMPDEST
00001108: PUSH4 0xffffffff
0000110d: DUP3
0000110e: AND
0000110f: PUSH1 0x00
00001111: SWAP1
00001112: DUP2
00001113: MSTORE
00001114: PUSH1 0x04
00001116: PUSH1 0x20
00001118: MSTORE
00001119: PUSH1 0x40
0000111b: SWAP1
0000111c: KECCAK256
0000111d: SLOAD
0000111e: DUP3
0000111f: SWAP1
00001120: PUSH2 0x115e
00001123: JUMPI
00001124: PUSH1 0x40
00001126: DUP1
00001127: MLOAD
00001128: PUSH3 0x461bcd
0000112c: PUSH1 0xe5
0000112e: SHL
0000112f: DUP2
00001130: MSTORE
00001131: PUSH1 0x20
00001133: PUSH1 0x04
00001135: DUP3
00001136: ADD
00001137: MSTORE
00001138: PUSH1 0x1a
0000113a: PUSH1 0x24
0000113c: DUP3
0000113d: ADD
0000113e: MSTORE
0000113f: PUSH1 0x00
00001141: DUP1
00001142: MLOAD
00001143: PUSH1 0x20
00001145: PUSH2 0x305c
00001148: DUP4
00001149: CODECOPY
0000114a: DUP2
0000114b: MLOAD
0000114c: SWAP2
0000114d: MSTORE
0000114e: PUSH1 0x44
00001150: DUP3
00001151: ADD
00001152: MSTORE
00001153: SWAP1
00001154: MLOAD
00001155: SWAP1
00001156: DUP2
00001157: SWAP1
00001158: SUB
00001159: PUSH1 0x64
0000115b: ADD
0000115c: SWAP1
0000115d: REVERT
0000115e: JUMPDEST
0000115f: PUSH4 0xffffffff
00001164: DUP4
00001165: AND
00001166: PUSH1 0x00
00001168: SWAP1
00001169: DUP2
0000116a: MSTORE
0000116b: PUSH1 0x04
0000116d: PUSH1 0x20
0000116f: MSTORE
00001170: PUSH1 0x40
00001172: SWAP1
00001173: KECCAK256
00001174: PUSH1 0x02
00001176: DUP2
00001177: ADD
00001178: SLOAD
00001179: PUSH2 0x11bf
0000117c: JUMPI
0000117d: PUSH1 0x40
0000117f: DUP1
00001180: MLOAD
00001181: PUSH3 0x461bcd
00001185: PUSH1 0xe5
00001187: SHL
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: PUSH1 0x04
0000118e: DUP3
0000118f: ADD
00001190: MSTORE
00001191: PUSH1 0x13
00001193: PUSH1 0x24
00001195: DUP3
00001196: ADD
00001197: MSTORE
00001198: PUSH19 0x6e6f7468696e6720746f206163746976617465
000011ac: PUSH1 0x68
000011ae: SHL
000011af: PUSH1 0x44
000011b1: DUP3
000011b2: ADD
000011b3: MSTORE
000011b4: SWAP1
000011b5: MLOAD
000011b6: SWAP1
000011b7: DUP2
000011b8: SWAP1
000011b9: SUB
000011ba: PUSH1 0x64
000011bc: ADD
000011bd: SWAP1
000011be: REVERT
000011bf: JUMPDEST
000011c0: NUMBER
000011c1: DUP2
000011c2: PUSH1 0x02
000011c4: ADD
000011c5: SLOAD
000011c6: LT
000011c7: PUSH2 0x1201
000011ca: JUMPI
000011cb: PUSH1 0x40
000011cd: MLOAD
000011ce: PUSH3 0x461bcd
000011d2: PUSH1 0xe5
000011d4: SHL
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x04
000011d9: ADD
000011da: DUP1
000011db: DUP1
000011dc: PUSH1 0x20
000011de: ADD
000011df: DUP3
000011e0: DUP2
000011e1: SUB
000011e2: DUP3
000011e3: MSTORE
000011e4: PUSH1 0x34
000011e6: DUP2
000011e7: MSTORE
000011e8: PUSH1 0x20
000011ea: ADD
000011eb: DUP1
000011ec: PUSH2 0x2f6a
000011ef: PUSH1 0x34
000011f1: SWAP2
000011f2: CODECOPY
000011f3: PUSH1 0x40
000011f5: ADD
000011f6: SWAP2
000011f7: POP
000011f8: POP
000011f9: PUSH1 0x40
000011fb: MLOAD
000011fc: DUP1
000011fd: SWAP2
000011fe: SUB
000011ff: SWAP1
00001200: REVERT
00001201: JUMPDEST
00001202: PUSH1 0x01
00001204: DUP1
00001205: DUP3
00001206: ADD
00001207: SLOAD
00001208: DUP3
00001209: SLOAD
0000120a: SWAP2
0000120b: DUP3
0000120c: ADD
0000120d: DUP4
0000120e: SSTORE
0000120f: PUSH1 0x00
00001211: DUP4
00001212: DUP2
00001213: MSTORE
00001214: PUSH1 0x20
00001216: SWAP1
00001217: KECCAK256
00001218: SWAP1
00001219: SWAP2
0000121a: ADD
0000121b: DUP1
0000121c: SLOAD
0000121d: PUSH1 0x01
0000121f: PUSH1 0x01
00001221: PUSH1 0xa0
00001223: SHL
00001224: SUB
00001225: NOT
00001226: AND
00001227: PUSH1 0x01
00001229: PUSH1 0x01
0000122b: PUSH1 0xa0
0000122d: SHL
0000122e: SUB
0000122f: SWAP1
00001230: SWAP3
00001231: AND
00001232: SWAP2
00001233: SWAP1
00001234: SWAP2
00001235: OR
00001236: SWAP1
00001237: SSTORE
00001238: PUSH2 0x1240
0000123b: DUP2
0000123c: PUSH2 0x2865
0000123f: JUMP
00001240: JUMPDEST
00001241: DUP1
00001242: SLOAD
00001243: PUSH4 0xffffffff
00001248: DUP6
00001249: AND
0000124a: SWAP1
0000124b: PUSH32 0xd24b737b844b64bfa84ef4f21928ae8a3364d243efa66d76b8b3fe10eaad0d0b
0000126c: SWAP1
0000126d: PUSH1 0x00
0000126f: NOT
00001270: ADD
00001271: PUSH2 0x1279
00001274: DUP8
00001275: PUSH2 0x1344
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH1 0x40
0000127c: DUP1
0000127d: MLOAD
0000127e: PUSH1 0xff
00001280: SWAP1
00001281: SWAP4
00001282: AND
00001283: DUP4
00001284: MSTORE
00001285: PUSH1 0x01
00001287: PUSH1 0x01
00001289: PUSH1 0xa0
0000128b: SHL
0000128c: SUB
0000128d: SWAP1
0000128e: SWAP2
0000128f: AND
00001290: PUSH1 0x20
00001292: DUP4
00001293: ADD
00001294: MSTORE
00001295: DUP1
00001296: MLOAD
00001297: SWAP2
00001298: DUP3
00001299: SWAP1
0000129a: SUB
0000129b: ADD
0000129c: SWAP1
0000129d: LOG2
0000129e: POP
0000129f: POP
000012a0: POP
000012a1: POP
000012a2: JUMP
000012a3: JUMPDEST
000012a4: CALLER
000012a5: PUSH1 0x00
000012a7: SWAP1
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x02
000012ac: PUSH1 0x20
000012ae: MSTORE
000012af: PUSH1 0x40
000012b1: SWAP1
000012b2: KECCAK256
000012b3: SLOAD
000012b4: PUSH1 0xff
000012b6: AND
000012b7: PUSH2 0x1307
000012ba: JUMPI
000012bb: PUSH1 0x40
000012bd: DUP1
000012be: MLOAD
000012bf: PUSH3 0x461bcd
000012c3: PUSH1 0xe5
000012c5: SHL
000012c6: DUP2
000012c7: MSTORE
000012c8: PUSH1 0x20
000012ca: PUSH1 0x04
000012cc: DUP3
000012cd: ADD
000012ce: MSTORE
000012cf: PUSH1 0x1d
000012d1: PUSH1 0x24
000012d3: DUP3
000012d4: ADD
000012d5: MSTORE
000012d6: PUSH32 0x696e76616c69642073656e6465723b206d757374206265206f776e6572000000
000012f7: PUSH1 0x44
000012f9: DUP3
000012fa: ADD
000012fb: MSTORE
000012fc: SWAP1
000012fd: MLOAD
000012fe: SWAP1
000012ff: DUP2
00001300: SWAP1
00001301: SUB
00001302: PUSH1 0x64
00001304: ADD
00001305: SWAP1
00001306: REVERT
00001307: JUMPDEST
00001308: PUSH2 0x0e51
0000130b: DUP4
0000130c: DUP4
0000130d: DUP4
0000130e: DUP1
0000130f: DUP1
00001310: PUSH1 0x20
00001312: MUL
00001313: PUSH1 0x20
00001315: ADD
00001316: PUSH1 0x40
00001318: MLOAD
00001319: SWAP1
0000131a: DUP2
0000131b: ADD
0000131c: PUSH1 0x40
0000131e: MSTORE
0000131f: DUP1
00001320: SWAP4
00001321: SWAP3
00001322: SWAP2
00001323: SWAP1
00001324: DUP2
00001325: DUP2
00001326: MSTORE
00001327: PUSH1 0x20
00001329: ADD
0000132a: DUP4
0000132b: DUP4
0000132c: PUSH1 0x20
0000132e: MUL
0000132f: DUP1
00001330: DUP3
00001331: DUP5
00001332: CALLDATACOPY
00001333: PUSH1 0x00
00001335: SWAP3
00001336: ADD
00001337: SWAP2
00001338: SWAP1
00001339: SWAP2
0000133a: MSTORE
0000133b: POP
0000133c: PUSH2 0x2914
0000133f: SWAP3
00001340: POP
00001341: POP
00001342: POP
00001343: JUMP
00001344: JUMPDEST
00001345: PUSH4 0xffffffff
0000134a: DUP2
0000134b: AND
0000134c: PUSH1 0x00
0000134e: SWAP1
0000134f: DUP2
00001350: MSTORE
00001351: PUSH1 0x04
00001353: PUSH1 0x20
00001355: MSTORE
00001356: PUSH1 0x40
00001358: DUP2
00001359: KECCAK256
0000135a: DUP1
0000135b: SLOAD
0000135c: PUSH1 0x00
0000135e: NOT
0000135f: DUP2
00001360: ADD
00001361: SWAP1
00001362: DUP2
00001363: LT
00001364: PUSH2 0x1369
00001367: JUMPI
00001368: INVALID
00001369: JUMPDEST
0000136a: PUSH1 0x00
0000136c: SWAP2
0000136d: DUP3
0000136e: MSTORE
0000136f: PUSH1 0x20
00001371: SWAP1
00001372: SWAP2
00001373: KECCAK256
00001374: ADD
00001375: SLOAD
00001376: PUSH1 0x01
00001378: PUSH1 0x01
0000137a: PUSH1 0xa0
0000137c: SHL
0000137d: SUB
0000137e: AND
0000137f: SWAP3
00001380: SWAP2
00001381: POP
00001382: POP
00001383: JUMP
00001384: JUMPDEST
00001385: DUP1
00001386: PUSH2 0x138f
00001389: DUP2
0000138a: CALLER
0000138b: PUSH2 0x2296
0000138e: JUMP
0000138f: JUMPDEST
00001390: PUSH2 0x13ca
00001393: JUMPI
00001394: PUSH1 0x40
00001396: MLOAD
00001397: PUSH3 0x461bcd
0000139b: PUSH1 0xe5
0000139d: SHL
0000139e: DUP2
0000139f: MSTORE
000013a0: PUSH1 0x04
000013a2: ADD
000013a3: DUP1
000013a4: DUP1
000013a5: PUSH1 0x20
000013a7: ADD
000013a8: DUP3
000013a9: DUP2
000013aa: SUB
000013ab: DUP3
000013ac: MSTORE
000013ad: PUSH1 0x21
000013af: DUP2
000013b0: MSTORE
000013b1: PUSH1 0x20
000013b3: ADD
000013b4: DUP1
000013b5: PUSH2 0x2f0b
000013b8: PUSH1 0x21
000013ba: SWAP2
000013bb: CODECOPY
000013bc: PUSH1 0x40
000013be: ADD
000013bf: SWAP2
000013c0: POP
000013c1: POP
000013c2: PUSH1 0x40
000013c4: MLOAD
000013c5: DUP1
000013c6: SWAP2
000013c7: SUB
000013c8: SWAP1
000013c9: REVERT
000013ca: JUMPDEST
000013cb: PUSH4 0xffffffff
000013d0: DUP3
000013d1: AND
000013d2: PUSH1 0x00
000013d4: SWAP1
000013d5: DUP2
000013d6: MSTORE
000013d7: PUSH1 0x04
000013d9: PUSH1 0x20
000013db: MSTORE
000013dc: PUSH1 0x40
000013de: SWAP1
000013df: KECCAK256
000013e0: SLOAD
000013e1: DUP3
000013e2: SWAP1
000013e3: PUSH2 0x1421
000013e6: JUMPI
000013e7: PUSH1 0x40
000013e9: DUP1
000013ea: MLOAD
000013eb: PUSH3 0x461bcd
000013ef: PUSH1 0xe5
000013f1: SHL
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x20
000013f6: PUSH1 0x04
000013f8: DUP3
000013f9: ADD
000013fa: MSTORE
000013fb: PUSH1 0x1a
000013fd: PUSH1 0x24
000013ff: DUP3
00001400: ADD
00001401: MSTORE
00001402: PUSH1 0x00
00001404: DUP1
00001405: MLOAD
00001406: PUSH1 0x20
00001408: PUSH2 0x305c
0000140b: DUP4
0000140c: CODECOPY
0000140d: DUP2
0000140e: MLOAD
0000140f: SWAP2
00001410: MSTORE
00001411: PUSH1 0x44
00001413: DUP3
00001414: ADD
00001415: MSTORE
00001416: SWAP1
00001417: MLOAD
00001418: SWAP1
00001419: DUP2
0000141a: SWAP1
0000141b: SUB
0000141c: PUSH1 0x64
0000141e: ADD
0000141f: SWAP1
00001420: REVERT
00001421: JUMPDEST
00001422: PUSH4 0xffffffff
00001427: DUP4
00001428: AND
00001429: PUSH1 0x00
0000142b: DUP2
0000142c: DUP2
0000142d: MSTORE
0000142e: PUSH1 0x04
00001430: PUSH1 0x20
00001432: SWAP1
00001433: DUP2
00001434: MSTORE
00001435: PUSH1 0x40
00001437: SWAP2
00001438: DUP3
00001439: SWAP1
0000143a: KECCAK256
0000143b: DUP1
0000143c: SLOAD
0000143d: PUSH1 0x01
0000143f: DUP3
00001440: ADD
00001441: SLOAD
00001442: DUP5
00001443: MLOAD
00001444: PUSH1 0x00
00001446: NOT
00001447: SWAP1
00001448: SWAP3
00001449: ADD
0000144a: PUSH1 0xff
0000144c: AND
0000144d: DUP3
0000144e: MSTORE
0000144f: PUSH1 0x01
00001451: PUSH1 0x01
00001453: PUSH1 0xa0
00001455: SHL
00001456: SUB
00001457: AND
00001458: SWAP3
00001459: DUP2
0000145a: ADD
0000145b: SWAP3
0000145c: SWAP1
0000145d: SWAP3
0000145e: MSTORE
0000145f: DUP3
00001460: MLOAD
00001461: SWAP1
00001462: SWAP4
00001463: SWAP3
00001464: PUSH32 0xfddf6910a1ecd6d2f433683d973a194c4ff8c1d85a8fb6cb068ca80e02cb53df
00001485: SWAP3
00001486: DUP3
00001487: SWAP1
00001488: SUB
00001489: ADD
0000148a: SWAP1
0000148b: LOG2
0000148c: PUSH2 0x1494
0000148f: DUP2
00001490: PUSH2 0x2865
00001493: JUMP
00001494: JUMPDEST
00001495: POP
00001496: POP
00001497: POP
00001498: POP
00001499: JUMP
0000149a: JUMPDEST
0000149b: DUP2
0000149c: PUSH2 0x14a5
0000149f: DUP2
000014a0: CALLER
000014a1: PUSH2 0x2296
000014a4: JUMP
000014a5: JUMPDEST
000014a6: PUSH2 0x14e0
000014a9: JUMPI
000014aa: PUSH1 0x40
000014ac: MLOAD
000014ad: PUSH3 0x461bcd
000014b1: PUSH1 0xe5
000014b3: SHL
000014b4: DUP2
000014b5: MSTORE
000014b6: PUSH1 0x04
000014b8: ADD
000014b9: DUP1
000014ba: DUP1
000014bb: PUSH1 0x20
000014bd: ADD
000014be: DUP3
000014bf: DUP2
000014c0: SUB
000014c1: DUP3
000014c2: MSTORE
000014c3: PUSH1 0x21
000014c5: DUP2
000014c6: MSTORE
000014c7: PUSH1 0x20
000014c9: ADD
000014ca: DUP1
000014cb: PUSH2 0x2f0b
000014ce: PUSH1 0x21
000014d0: SWAP2
000014d1: CODECOPY
000014d2: PUSH1 0x40
000014d4: ADD
000014d5: SWAP2
000014d6: POP
000014d7: POP
000014d8: PUSH1 0x40
000014da: MLOAD
000014db: DUP1
000014dc: SWAP2
000014dd: SUB
000014de: SWAP1
000014df: REVERT
000014e0: JUMPDEST
000014e1: PUSH4 0xffffffff
000014e6: DUP4
000014e7: AND
000014e8: PUSH1 0x00
000014ea: SWAP1
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x04
000014ef: PUSH1 0x20
000014f1: MSTORE
000014f2: PUSH1 0x40
000014f4: SWAP1
000014f5: KECCAK256
000014f6: SLOAD
000014f7: DUP4
000014f8: SWAP1
000014f9: PUSH2 0x1537
000014fc: JUMPI
000014fd: PUSH1 0x40
000014ff: DUP1
00001500: MLOAD
00001501: PUSH3 0x461bcd
00001505: PUSH1 0xe5
00001507: SHL
00001508: DUP2
00001509: MSTORE
0000150a: PUSH1 0x20
0000150c: PUSH1 0x04
0000150e: DUP3
0000150f: ADD
00001510: MSTORE
00001511: PUSH1 0x1a
00001513: PUSH1 0x24
00001515: DUP3
00001516: ADD
00001517: MSTORE
00001518: PUSH1 0x00
0000151a: DUP1
0000151b: MLOAD
0000151c: PUSH1 0x20
0000151e: PUSH2 0x305c
00001521: DUP4
00001522: CODECOPY
00001523: DUP2
00001524: MLOAD
00001525: SWAP2
00001526: MSTORE
00001527: PUSH1 0x44
00001529: DUP3
0000152a: ADD
0000152b: MSTORE
0000152c: SWAP1
0000152d: MLOAD
0000152e: SWAP1
0000152f: DUP2
00001530: SWAP1
00001531: SUB
00001532: PUSH1 0x64
00001534: ADD
00001535: SWAP1
00001536: REVERT
00001537: JUMPDEST
00001538: DUP3
00001539: PUSH1 0x01
0000153b: PUSH1 0x01
0000153d: PUSH1 0xa0
0000153f: SHL
00001540: SUB
00001541: DUP2
00001542: AND
00001543: PUSH2 0x1585
00001546: JUMPI
00001547: PUSH1 0x40
00001549: DUP1
0000154a: MLOAD
0000154b: PUSH3 0x461bcd
0000154f: PUSH1 0xe5
00001551: SHL
00001552: DUP2
00001553: MSTORE
00001554: PUSH1 0x20
00001556: PUSH1 0x04
00001558: DUP3
00001559: ADD
0000155a: MSTORE
0000155b: PUSH1 0x0f
0000155d: PUSH1 0x24
0000155f: DUP3
00001560: ADD
00001561: MSTORE
00001562: PUSH15 0x696e76616c69642061646472657373
00001572: PUSH1 0x88
00001574: SHL
00001575: PUSH1 0x44
00001577: DUP3
00001578: ADD
00001579: MSTORE
0000157a: SWAP1
0000157b: MLOAD
0000157c: SWAP1
0000157d: DUP2
0000157e: SWAP1
0000157f: SUB
00001580: PUSH1 0x64
00001582: ADD
00001583: SWAP1
00001584: REVERT
00001585: JUMPDEST
00001586: PUSH4 0xffffffff
0000158b: DUP6
0000158c: AND
0000158d: PUSH1 0x00
0000158f: SWAP1
00001590: DUP2
00001591: MSTORE
00001592: PUSH1 0x04
00001594: PUSH1 0x20
00001596: MSTORE
00001597: PUSH1 0x40
00001599: SWAP1
0000159a: KECCAK256
0000159b: PUSH1 0x01
0000159d: DUP2
0000159e: ADD
0000159f: SLOAD
000015a0: PUSH1 0x01
000015a2: PUSH1 0x01
000015a4: PUSH1 0xa0
000015a6: SHL
000015a7: SUB
000015a8: AND
000015a9: ISZERO
000015aa: PUSH2 0x15e4
000015ad: JUMPI
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: PUSH3 0x461bcd
000015b5: PUSH1 0xe5
000015b7: SHL
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x04
000015bc: ADD
000015bd: DUP1
000015be: DUP1
000015bf: PUSH1 0x20
000015c1: ADD
000015c2: DUP3
000015c3: DUP2
000015c4: SUB
000015c5: DUP3
000015c6: MSTORE
000015c7: PUSH1 0x3e
000015c9: DUP2
000015ca: MSTORE
000015cb: PUSH1 0x20
000015cd: ADD
000015ce: DUP1
000015cf: PUSH2 0x2f2c
000015d2: PUSH1 0x3e
000015d4: SWAP2
000015d5: CODECOPY
000015d6: PUSH1 0x40
000015d8: ADD
000015d9: SWAP2
000015da: POP
000015db: POP
000015dc: PUSH1 0x40
000015de: MLOAD
000015df: DUP1
000015e0: SWAP2
000015e1: SUB
000015e2: SWAP1
000015e3: REVERT
000015e4: JUMPDEST
000015e5: PUSH1 0x01
000015e7: DUP2
000015e8: DUP2
000015e9: ADD
000015ea: DUP1
000015eb: SLOAD
000015ec: PUSH1 0x01
000015ee: PUSH1 0x01
000015f0: PUSH1 0xa0
000015f2: SHL
000015f3: SUB
000015f4: NOT
000015f5: AND
000015f6: PUSH1 0x01
000015f8: PUSH1 0x01
000015fa: PUSH1 0xa0
000015fc: SHL
000015fd: SUB
000015fe: DUP9
000015ff: AND
00001600: OR
00001601: SWAP1
00001602: SSTORE
00001603: PUSH2 0x160b
00001606: SWAP1
00001607: PUSH2 0x1344
0000160a: JUMP
0000160b: JUMPDEST
0000160c: PUSH1 0x01
0000160e: PUSH1 0x01
00001610: PUSH1 0xa0
00001612: SHL
00001613: SUB
00001614: AND
00001615: PUSH4 0x499c80ca
0000161a: PUSH1 0x40
0000161c: MLOAD
0000161d: DUP2
0000161e: PUSH4 0xffffffff
00001623: AND
00001624: PUSH1 0xe0
00001626: SHL
00001627: DUP2
00001628: MSTORE
00001629: PUSH1 0x04
0000162b: ADD
0000162c: PUSH1 0x20
0000162e: PUSH1 0x40
00001630: MLOAD
00001631: DUP1
00001632: DUP4
00001633: SUB
00001634: DUP2
00001635: DUP7
00001636: DUP1
00001637: EXTCODESIZE
00001638: ISZERO
00001639: DUP1
0000163a: ISZERO
0000163b: PUSH2 0x1643
0000163e: JUMPI
0000163f: PUSH1 0x00
00001641: DUP1
00001642: REVERT
00001643: JUMPDEST
00001644: POP
00001645: GAS
00001646: STATICCALL
00001647: ISZERO
00001648: DUP1
00001649: ISZERO
0000164a: PUSH2 0x1657
0000164d: JUMPI
0000164e: RETURNDATASIZE
0000164f: PUSH1 0x00
00001651: DUP1
00001652: RETURNDATACOPY
00001653: RETURNDATASIZE
00001654: PUSH1 0x00
00001656: REVERT
00001657: JUMPDEST
00001658: POP
00001659: POP
0000165a: POP
0000165b: POP
0000165c: PUSH1 0x40
0000165e: MLOAD
0000165f: RETURNDATASIZE
00001660: PUSH1 0x20
00001662: DUP2
00001663: LT
00001664: ISZERO
00001665: PUSH2 0x166d
00001668: JUMPI
00001669: PUSH1 0x00
0000166b: DUP1
0000166c: REVERT
0000166d: JUMPDEST
0000166e: POP
0000166f: MLOAD
00001670: NUMBER
00001671: ADD
00001672: PUSH1 0x02
00001674: DUP3
00001675: ADD
00001676: SWAP1
00001677: DUP2
00001678: SSTORE
00001679: PUSH1 0x01
0000167b: PUSH1 0x01
0000167d: PUSH1 0xa0
0000167f: SHL
00001680: SUB
00001681: DUP1
00001682: DUP8
00001683: AND
00001684: PUSH1 0x00
00001686: SWAP1
00001687: DUP2
00001688: MSTORE
00001689: PUSH1 0x05
0000168b: PUSH1 0x20
0000168d: SWAP1
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x40
00001692: SWAP2
00001693: DUP3
00001694: SWAP1
00001695: KECCAK256
00001696: DUP1
00001697: SLOAD
00001698: PUSH1 0xff
0000169a: NOT
0000169b: AND
0000169c: PUSH1 0x01
0000169e: SWAP1
0000169f: DUP2
000016a0: OR
000016a1: SWAP1
000016a2: SWAP2
000016a3: SSTORE
000016a4: DUP6
000016a5: SLOAD
000016a6: SWAP1
000016a7: DUP7
000016a8: ADD
000016a9: SLOAD
000016aa: SWAP5
000016ab: SLOAD
000016ac: DUP4
000016ad: MLOAD
000016ae: PUSH1 0x00
000016b0: NOT
000016b1: SWAP1
000016b2: SWAP3
000016b3: ADD
000016b4: PUSH1 0xff
000016b6: AND
000016b7: DUP3
000016b8: MSTORE
000016b9: SWAP5
000016ba: SWAP1
000016bb: SWAP4
000016bc: AND
000016bd: SWAP1
000016be: DUP4
000016bf: ADD
000016c0: MSTORE
000016c1: DUP2
000016c2: DUP2
000016c3: ADD
000016c4: SWAP3
000016c5: SWAP1
000016c6: SWAP3
000016c7: MSTORE
000016c8: SWAP1
000016c9: MLOAD
000016ca: PUSH4 0xffffffff
000016cf: DUP9
000016d0: AND
000016d1: SWAP2
000016d2: PUSH32 0x69dd3b21da8dd427580e6ceafdbf997f87f5911ea3d2970aefdc88a47322ffe1
000016f3: SWAP2
000016f4: SWAP1
000016f5: DUP2
000016f6: SWAP1
000016f7: SUB
000016f8: PUSH1 0x60
000016fa: ADD
000016fb: SWAP1
000016fc: LOG2
000016fd: POP
000016fe: POP
000016ff: POP
00001700: POP
00001701: POP
00001702: POP
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH1 0x02
00001707: PUSH1 0x20
00001709: MSTORE
0000170a: PUSH1 0x00
0000170c: SWAP1
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x40
00001711: SWAP1
00001712: KECCAK256
00001713: SLOAD
00001714: PUSH1 0xff
00001716: AND
00001717: DUP2
00001718: JUMP
00001719: JUMPDEST
0000171a: PUSH4 0xffffffff
0000171f: DUP2
00001720: AND
00001721: PUSH1 0x00
00001723: SWAP1
00001724: DUP2
00001725: MSTORE
00001726: PUSH1 0x04
00001728: PUSH1 0x20
0000172a: MSTORE
0000172b: PUSH1 0x40
0000172d: SWAP1
0000172e: KECCAK256
0000172f: SLOAD
00001730: DUP2
00001731: SWAP1
00001732: PUSH2 0x1770
00001735: JUMPI
00001736: PUSH1 0x40
00001738: DUP1
00001739: MLOAD
0000173a: PUSH3 0x461bcd
0000173e: PUSH1 0xe5
00001740: SHL
00001741: DUP2
00001742: MSTORE
00001743: PUSH1 0x20
00001745: PUSH1 0x04
00001747: DUP3
00001748: ADD
00001749: MSTORE
0000174a: PUSH1 0x1a
0000174c: PUSH1 0x24
0000174e: DUP3
0000174f: ADD
00001750: MSTORE
00001751: PUSH1 0x00
00001753: DUP1
00001754: MLOAD
00001755: PUSH1 0x20
00001757: PUSH2 0x305c
0000175a: DUP4
0000175b: CODECOPY
0000175c: DUP2
0000175d: MLOAD
0000175e: SWAP2
0000175f: MSTORE
00001760: PUSH1 0x44
00001762: DUP3
00001763: ADD
00001764: MSTORE
00001765: SWAP1
00001766: MLOAD
00001767: SWAP1
00001768: DUP2
00001769: SWAP1
0000176a: SUB
0000176b: PUSH1 0x64
0000176d: ADD
0000176e: SWAP1
0000176f: REVERT
00001770: JUMPDEST
00001771: PUSH4 0xffffffff
00001776: DUP1
00001777: DUP4
00001778: AND
00001779: PUSH1 0x00
0000177b: SWAP1
0000177c: DUP2
0000177d: MSTORE
0000177e: PUSH1 0x04
00001780: PUSH1 0x20
00001782: SWAP1
00001783: DUP2
00001784: MSTORE
00001785: PUSH1 0x40
00001787: DUP1
00001788: DUP4
00001789: KECCAK256
0000178a: DUP4
0000178b: DUP1
0000178c: MSTORE
0000178d: PUSH1 0x03
0000178f: DUP2
00001790: ADD
00001791: SWAP1
00001792: SWAP3
00001793: MSTORE
00001794: SWAP1
00001795: SWAP2
00001796: KECCAK256
00001797: SLOAD
00001798: SWAP1
00001799: SWAP2
0000179a: PUSH2 0x17a6
0000179d: SWAP2
0000179e: SWAP1
0000179f: CALLVALUE
000017a0: SWAP1
000017a1: PUSH2 0x2a37
000017a4: AND
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH1 0x00
000017a9: DUP1
000017aa: DUP1
000017ab: MSTORE
000017ac: PUSH1 0x03
000017ae: DUP4
000017af: ADD
000017b0: PUSH1 0x20
000017b2: MSTORE
000017b3: PUSH1 0x40
000017b5: SWAP1
000017b6: KECCAK256
000017b7: SSTORE
000017b8: PUSH2 0x17c0
000017bb: DUP4
000017bc: PUSH2 0x1344
000017bf: JUMP
000017c0: JUMPDEST
000017c1: PUSH1 0x40
000017c3: DUP1
000017c4: MLOAD
000017c5: PUSH4 0x7de182c5
000017ca: PUSH1 0xe0
000017cc: SHL
000017cd: DUP2
000017ce: MSTORE
000017cf: CALLER
000017d0: PUSH1 0x04
000017d2: DUP3
000017d3: ADD
000017d4: MSTORE
000017d5: PUSH1 0x00
000017d7: PUSH1 0x24
000017d9: DUP3
000017da: ADD
000017db: DUP2
000017dc: SWAP1
000017dd: MSTORE
000017de: CALLVALUE
000017df: PUSH1 0x44
000017e1: DUP4
000017e2: ADD
000017e3: MSTORE
000017e4: SWAP2
000017e5: MLOAD
000017e6: PUSH1 0x01
000017e8: PUSH1 0x01
000017ea: PUSH1 0xa0
000017ec: SHL
000017ed: SUB
000017ee: SWAP4
000017ef: SWAP1
000017f0: SWAP4
000017f1: AND
000017f2: SWAP3
000017f3: PUSH4 0x7de182c5
000017f8: SWAP3
000017f9: PUSH1 0x64
000017fb: DUP1
000017fc: DUP5
000017fd: ADD
000017fe: SWAP4
000017ff: SWAP2
00001800: SWAP3
00001801: SWAP2
00001802: DUP3
00001803: SWAP1
00001804: SUB
00001805: ADD
00001806: DUP2
00001807: DUP4
00001808: DUP8
00001809: DUP1
0000180a: EXTCODESIZE
0000180b: ISZERO
0000180c: DUP1
0000180d: ISZERO
0000180e: PUSH2 0x1816
00001811: JUMPI
00001812: PUSH1 0x00
00001814: DUP1
00001815: REVERT
00001816: JUMPDEST
00001817: POP
00001818: GAS
00001819: CALL
0000181a: ISZERO
0000181b: DUP1
0000181c: ISZERO
0000181d: PUSH2 0x0d52
00001820: JUMPI
00001821: RETURNDATASIZE
00001822: PUSH1 0x00
00001824: DUP1
00001825: RETURNDATACOPY
00001826: RETURNDATASIZE
00001827: PUSH1 0x00
00001829: REVERT
0000182a: JUMPDEST
0000182b: PUSH1 0x05
0000182d: PUSH1 0x20
0000182f: MSTORE
00001830: PUSH1 0x00
00001832: SWAP1
00001833: DUP2
00001834: MSTORE
00001835: PUSH1 0x40
00001837: SWAP1
00001838: KECCAK256
00001839: SLOAD
0000183a: PUSH1 0xff
0000183c: AND
0000183d: DUP2
0000183e: JUMP
0000183f: JUMPDEST
00001840: PUSH4 0xffffffff
00001845: DUP2
00001846: AND
00001847: PUSH1 0x00
00001849: SWAP1
0000184a: DUP2
0000184b: MSTORE
0000184c: PUSH1 0x03
0000184e: PUSH1 0x20
00001850: SWAP1
00001851: DUP2
00001852: MSTORE
00001853: PUSH1 0x40
00001855: SWAP2
00001856: DUP3
00001857: SWAP1
00001858: KECCAK256
00001859: DUP1
0000185a: SLOAD
0000185b: DUP4
0000185c: MLOAD
0000185d: DUP2
0000185e: DUP5
0000185f: MUL
00001860: DUP2
00001861: ADD
00001862: DUP5
00001863: ADD
00001864: SWAP1
00001865: SWAP5
00001866: MSTORE
00001867: DUP1
00001868: DUP5
00001869: MSTORE
0000186a: PUSH1 0x60
0000186c: SWAP4
0000186d: SWAP3
0000186e: DUP4
0000186f: ADD
00001870: DUP3
00001871: DUP3
00001872: DUP1
00001873: ISZERO
00001874: PUSH2 0x18a6
00001877: JUMPI
00001878: PUSH1 0x20
0000187a: MUL
0000187b: DUP3
0000187c: ADD
0000187d: SWAP2
0000187e: SWAP1
0000187f: PUSH1 0x00
00001881: MSTORE
00001882: PUSH1 0x20
00001884: PUSH1 0x00
00001886: KECCAK256
00001887: SWAP1
00001888: JUMPDEST
00001889: DUP2
0000188a: SLOAD
0000188b: PUSH1 0x01
0000188d: PUSH1 0x01
0000188f: PUSH1 0xa0
00001891: SHL
00001892: SUB
00001893: AND
00001894: DUP2
00001895: MSTORE
00001896: PUSH1 0x01
00001898: SWAP1
00001899: SWAP2
0000189a: ADD
0000189b: SWAP1
0000189c: PUSH1 0x20
0000189e: ADD
0000189f: DUP1
000018a0: DUP4
000018a1: GT
000018a2: PUSH2 0x1888
000018a5: JUMPI
000018a6: JUMPDEST
000018a7: POP
000018a8: POP
000018a9: POP
000018aa: POP
000018ab: POP
000018ac: SWAP1
000018ad: POP
000018ae: SWAP2
000018af: SWAP1
000018b0: POP
000018b1: JUMP
000018b2: JUMPDEST
000018b3: DUP3
000018b4: PUSH2 0x18bd
000018b7: DUP2
000018b8: CALLER
000018b9: PUSH2 0x2296
000018bc: JUMP
000018bd: JUMPDEST
000018be: PUSH2 0x18f8
000018c1: JUMPI
000018c2: PUSH1 0x40
000018c4: MLOAD
000018c5: PUSH3 0x461bcd
000018c9: PUSH1 0xe5
000018cb: SHL
000018cc: DUP2
000018cd: MSTORE
000018ce: PUSH1 0x04
000018d0: ADD
000018d1: DUP1
000018d2: DUP1
000018d3: PUSH1 0x20
000018d5: ADD
000018d6: DUP3
000018d7: DUP2
000018d8: SUB
000018d9: DUP3
000018da: MSTORE
000018db: PUSH1 0x21
000018dd: DUP2
000018de: MSTORE
000018df: PUSH1 0x20
000018e1: ADD
000018e2: DUP1
000018e3: PUSH2 0x2f0b
000018e6: PUSH1 0x21
000018e8: SWAP2
000018e9: CODECOPY
000018ea: PUSH1 0x40
000018ec: ADD
000018ed: SWAP2
000018ee: POP
000018ef: POP
000018f0: PUSH1 0x40
000018f2: MLOAD
000018f3: DUP1
000018f4: SWAP2
000018f5: SUB
000018f6: SWAP1
000018f7: REVERT
000018f8: JUMPDEST
000018f9: PUSH4 0xffffffff
000018fe: DUP5
000018ff: AND
00001900: PUSH1 0x00
00001902: SWAP1
00001903: DUP2
00001904: MSTORE
00001905: PUSH1 0x03
00001907: PUSH1 0x20
00001909: MSTORE
0000190a: PUSH1 0x40
0000190c: SWAP1
0000190d: KECCAK256
0000190e: DUP1
0000190f: SLOAD
00001910: DUP4
00001911: LT
00001912: PUSH2 0x195e
00001915: JUMPI
00001916: PUSH1 0x40
00001918: DUP1
00001919: MLOAD
0000191a: PUSH3 0x461bcd
0000191e: PUSH1 0xe5
00001920: SHL
00001921: DUP2
00001922: MSTORE
00001923: PUSH1 0x20
00001925: PUSH1 0x04
00001927: DUP3
00001928: ADD
00001929: MSTORE
0000192a: PUSH1 0x19
0000192c: PUSH1 0x24
0000192e: DUP3
0000192f: ADD
00001930: MSTORE
00001931: PUSH25 0x31b0b7103737ba103932b6b7bb32903630b9ba1037bbb732b9
0000194b: PUSH1 0x39
0000194d: SHL
0000194e: PUSH1 0x44
00001950: DUP3
00001951: ADD
00001952: MSTORE
00001953: SWAP1
00001954: MLOAD
00001955: SWAP1
00001956: DUP2
00001957: SWAP1
00001958: SUB
00001959: PUSH1 0x64
0000195b: ADD
0000195c: SWAP1
0000195d: REVERT
0000195e: JUMPDEST
0000195f: PUSH1 0x00
00001961: JUMPDEST
00001962: DUP4
00001963: DUP2
00001964: LT
00001965: ISZERO
00001966: PUSH2 0x0d54
00001969: JUMPI
0000196a: PUSH1 0x00
0000196c: JUMPDEST
0000196d: DUP3
0000196e: SLOAD
0000196f: DUP2
00001970: LT
00001971: ISZERO
00001972: PUSH2 0x1ac2
00001975: JUMPI
00001976: DUP6
00001977: DUP6
00001978: DUP4
00001979: DUP2
0000197a: DUP2
0000197b: LT
0000197c: PUSH2 0x1981
0000197f: JUMPI
00001980: INVALID
00001981: JUMPDEST
00001982: SWAP1
00001983: POP
00001984: PUSH1 0x20
00001986: MUL
00001987: ADD
00001988: CALLDATALOAD
00001989: PUSH1 0x01
0000198b: PUSH1 0x01
0000198d: PUSH1 0xa0
0000198f: SHL
00001990: SUB
00001991: AND
00001992: PUSH1 0x01
00001994: PUSH1 0x01
00001996: PUSH1 0xa0
00001998: SHL
00001999: SUB
0000199a: AND
0000199b: DUP4
0000199c: DUP3
0000199d: DUP2
0000199e: SLOAD
0000199f: DUP2
000019a0: LT
000019a1: PUSH2 0x19a6
000019a4: JUMPI
000019a5: INVALID
000019a6: JUMPDEST
000019a7: PUSH1 0x00
000019a9: SWAP2
000019aa: DUP3
000019ab: MSTORE
000019ac: PUSH1 0x20
000019ae: SWAP1
000019af: SWAP2
000019b0: KECCAK256
000019b1: ADD
000019b2: SLOAD
000019b3: PUSH1 0x01
000019b5: PUSH1 0x01
000019b7: PUSH1 0xa0
000019b9: SHL
000019ba: SUB
000019bb: AND
000019bc: EQ
000019bd: ISZERO
000019be: PUSH2 0x1aba
000019c1: JUMPI
000019c2: DUP3
000019c3: SLOAD
000019c4: DUP4
000019c5: SWAP1
000019c6: PUSH1 0x00
000019c8: NOT
000019c9: DUP2
000019ca: ADD
000019cb: SWAP1
000019cc: DUP2
000019cd: LT
000019ce: PUSH2 0x19d3
000019d1: JUMPI
000019d2: INVALID
000019d3: JUMPDEST
000019d4: SWAP1
000019d5: PUSH1 0x00
000019d7: MSTORE
000019d8: PUSH1 0x20
000019da: PUSH1 0x00
000019dc: KECCAK256
000019dd: ADD
000019de: PUSH1 0x00
000019e0: SWAP1
000019e1: SLOAD
000019e2: SWAP1
000019e3: PUSH2 0x0100
000019e6: EXP
000019e7: SWAP1
000019e8: DIV
000019e9: PUSH1 0x01
000019eb: PUSH1 0x01
000019ed: PUSH1 0xa0
000019ef: SHL
000019f0: SUB
000019f1: AND
000019f2: DUP4
000019f3: DUP3
000019f4: DUP2
000019f5: SLOAD
000019f6: DUP2
000019f7: LT
000019f8: PUSH2 0x19fd
000019fb: JUMPI
000019fc: INVALID
000019fd: JUMPDEST
000019fe: SWAP1
000019ff: PUSH1 0x00
00001a01: MSTORE
00001a02: PUSH1 0x20
00001a04: PUSH1 0x00
00001a06: KECCAK256
00001a07: ADD
00001a08: PUSH1 0x00
00001a0a: PUSH2 0x0100
00001a0d: EXP
00001a0e: DUP2
00001a0f: SLOAD
00001a10: DUP2
00001a11: PUSH1 0x01
00001a13: PUSH1 0x01
00001a15: PUSH1 0xa0
00001a17: SHL
00001a18: SUB
00001a19: MUL
00001a1a: NOT
00001a1b: AND
00001a1c: SWAP1
00001a1d: DUP4
00001a1e: PUSH1 0x01
00001a20: PUSH1 0x01
00001a22: PUSH1 0xa0
00001a24: SHL
00001a25: SUB
00001a26: AND
00001a27: MUL
00001a28: OR
00001a29: SWAP1
00001a2a: SSTORE
00001a2b: POP
00001a2c: DUP3
00001a2d: DUP1
00001a2e: SLOAD
00001a2f: DUP1
00001a30: PUSH2 0x1a35
00001a33: JUMPI
00001a34: INVALID
00001a35: JUMPDEST
00001a36: PUSH1 0x00
00001a38: DUP3
00001a39: DUP2
00001a3a: MSTORE
00001a3b: PUSH1 0x20
00001a3d: SWAP1
00001a3e: KECCAK256
00001a3f: DUP2
00001a40: ADD
00001a41: PUSH1 0x00
00001a43: NOT
00001a44: SWAP1
00001a45: DUP2
00001a46: ADD
00001a47: DUP1
00001a48: SLOAD
00001a49: PUSH1 0x01
00001a4b: PUSH1 0x01
00001a4d: PUSH1 0xa0
00001a4f: SHL
00001a50: SUB
00001a51: NOT
00001a52: AND
00001a53: SWAP1
00001a54: SSTORE
00001a55: ADD
00001a56: SWAP1
00001a57: SSTORE
00001a58: PUSH32 0x512efc312e8df52a97f6abc5812c5a34ccd1ac0986ccc2c6247b452d67de3331
00001a79: DUP8
00001a7a: DUP8
00001a7b: DUP8
00001a7c: DUP6
00001a7d: DUP2
00001a7e: DUP2
00001a7f: LT
00001a80: PUSH2 0x1a85
00001a83: JUMPI
00001a84: INVALID
00001a85: JUMPDEST
00001a86: PUSH1 0x40
00001a88: DUP1
00001a89: MLOAD
00001a8a: PUSH4 0xffffffff
00001a8f: SWAP6
00001a90: SWAP1
00001a91: SWAP6
00001a92: AND
00001a93: DUP6
00001a94: MSTORE
00001a95: PUSH1 0x20
00001a97: SWAP2
00001a98: DUP3
00001a99: MUL
00001a9a: SWAP4
00001a9b: SWAP1
00001a9c: SWAP4
00001a9d: ADD
00001a9e: CALLDATALOAD
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0xa0
00001aa5: SHL
00001aa6: SUB
00001aa7: AND
00001aa8: SWAP1
00001aa9: DUP5
00001aaa: ADD
00001aab: MSTORE
00001aac: POP
00001aad: DUP1
00001aae: MLOAD
00001aaf: SWAP2
00001ab0: DUP3
00001ab1: SWAP1
00001ab2: SUB
00001ab3: ADD
00001ab4: SWAP1
00001ab5: LOG1
00001ab6: PUSH2 0x1ac2
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: PUSH1 0x01
00001abd: ADD
00001abe: PUSH2 0x196c
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: POP
00001ac4: PUSH1 0x01
00001ac6: ADD
00001ac7: PUSH2 0x1961
00001aca: JUMP
00001acb: JUMPDEST
00001acc: PUSH1 0x06
00001ace: SLOAD
00001acf: PUSH4 0xffffffff
00001ad4: AND
00001ad5: DUP2
00001ad6: JUMP
00001ad7: JUMPDEST
00001ad8: PUSH4 0xffffffff
00001add: DUP4
00001ade: AND
00001adf: PUSH1 0x00
00001ae1: SWAP1
00001ae2: DUP2
00001ae3: MSTORE
00001ae4: PUSH1 0x04
00001ae6: PUSH1 0x20
00001ae8: MSTORE
00001ae9: PUSH1 0x40
00001aeb: SWAP1
00001aec: KECCAK256
00001aed: SLOAD
00001aee: DUP4
00001aef: SWAP1
00001af0: PUSH2 0x1b2e
00001af3: JUMPI
00001af4: PUSH1 0x40
00001af6: DUP1
00001af7: MLOAD
00001af8: PUSH3 0x461bcd
00001afc: PUSH1 0xe5
00001afe: SHL
00001aff: DUP2
00001b00: MSTORE
00001b01: PUSH1 0x20
00001b03: PUSH1 0x04
00001b05: DUP3
00001b06: ADD
00001b07: MSTORE
00001b08: PUSH1 0x1a
00001b0a: PUSH1 0x24
00001b0c: DUP3
00001b0d: ADD
00001b0e: MSTORE
00001b0f: PUSH1 0x00
00001b11: DUP1
00001b12: MLOAD
00001b13: PUSH1 0x20
00001b15: PUSH2 0x305c
00001b18: DUP4
00001b19: CODECOPY
00001b1a: DUP2
00001b1b: MLOAD
00001b1c: SWAP2
00001b1d: MSTORE
00001b1e: PUSH1 0x44
00001b20: DUP3
00001b21: ADD
00001b22: MSTORE
00001b23: SWAP1
00001b24: MLOAD
00001b25: SWAP1
00001b26: DUP2
00001b27: SWAP1
00001b28: SUB
00001b29: PUSH1 0x64
00001b2b: ADD
00001b2c: SWAP1
00001b2d: REVERT
00001b2e: JUMPDEST
00001b2f: PUSH2 0x1b39
00001b32: DUP5
00001b33: DUP5
00001b34: DUP5
00001b35: PUSH2 0x2a7e
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH2 0x1b42
00001b3d: DUP5
00001b3e: PUSH2 0x1344
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH1 0x40
00001b45: DUP1
00001b46: MLOAD
00001b47: PUSH4 0x7de182c5
00001b4c: PUSH1 0xe0
00001b4e: SHL
00001b4f: DUP2
00001b50: MSTORE
00001b51: CALLER
00001b52: PUSH1 0x04
00001b54: DUP3
00001b55: ADD
00001b56: MSTORE
00001b57: PUSH1 0x01
00001b59: PUSH1 0x01
00001b5b: PUSH1 0xa0
00001b5d: SHL
00001b5e: SUB
00001b5f: DUP7
00001b60: DUP2
00001b61: AND
00001b62: PUSH1 0x24
00001b64: DUP4
00001b65: ADD
00001b66: MSTORE
00001b67: PUSH1 0x44
00001b69: DUP3
00001b6a: ADD
00001b6b: DUP7
00001b6c: SWAP1
00001b6d: MSTORE
00001b6e: SWAP2
00001b6f: MLOAD
00001b70: SWAP3
00001b71: SWAP1
00001b72: SWAP2
00001b73: AND
00001b74: SWAP2
00001b75: PUSH4 0x7de182c5
00001b7a: SWAP2
00001b7b: PUSH1 0x64
00001b7d: DUP1
00001b7e: DUP3
00001b7f: ADD
00001b80: SWAP3
00001b81: PUSH1 0x00
00001b83: SWAP3
00001b84: SWAP1
00001b85: SWAP2
00001b86: SWAP1
00001b87: DUP3
00001b88: SWAP1
00001b89: SUB
00001b8a: ADD
00001b8b: DUP2
00001b8c: DUP4
00001b8d: DUP8
00001b8e: DUP1
00001b8f: EXTCODESIZE
00001b90: ISZERO
00001b91: DUP1
00001b92: ISZERO
00001b93: PUSH2 0x1b9b
00001b96: JUMPI
00001b97: PUSH1 0x00
00001b99: DUP1
00001b9a: REVERT
00001b9b: JUMPDEST
00001b9c: POP
00001b9d: GAS
00001b9e: CALL
00001b9f: ISZERO
00001ba0: DUP1
00001ba1: ISZERO
00001ba2: PUSH2 0x1baf
00001ba5: JUMPI
00001ba6: RETURNDATASIZE
00001ba7: PUSH1 0x00
00001ba9: DUP1
00001baa: RETURNDATACOPY
00001bab: RETURNDATASIZE
00001bac: PUSH1 0x00
00001bae: REVERT
00001baf: JUMPDEST
00001bb0: POP
00001bb1: POP
00001bb2: POP
00001bb3: POP
00001bb4: POP
00001bb5: POP
00001bb6: POP
00001bb7: POP
00001bb8: JUMP
00001bb9: JUMPDEST
00001bba: PUSH1 0x00
00001bbc: DUP1
00001bbd: PUSH1 0x00
00001bbf: PUSH2 0x1bc6
00001bc2: PUSH2 0x2ee0
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: PUSH4 0xffffffff
00001bcc: DUP6
00001bcd: AND
00001bce: PUSH1 0x00
00001bd0: SWAP1
00001bd1: DUP2
00001bd2: MSTORE
00001bd3: PUSH1 0x04
00001bd5: PUSH1 0x20
00001bd7: SWAP1
00001bd8: DUP2
00001bd9: MSTORE
00001bda: PUSH1 0x40
00001bdc: SWAP2
00001bdd: DUP3
00001bde: SWAP1
00001bdf: KECCAK256
00001be0: DUP3
00001be1: MLOAD
00001be2: DUP2
00001be3: SLOAD
00001be4: PUSH1 0x80
00001be6: SWAP4
00001be7: DUP2
00001be8: MUL
00001be9: DUP3
00001bea: ADD
00001beb: DUP5
00001bec: ADD
00001bed: SWAP1
00001bee: SWAP5
00001bef: MSTORE
00001bf0: PUSH1 0x60
00001bf2: DUP2
00001bf3: ADD
00001bf4: DUP5
00001bf5: DUP2
00001bf6: MSTORE
00001bf7: SWAP1
00001bf8: SWAP4
00001bf9: SWAP2
00001bfa: SWAP3
00001bfb: DUP5
00001bfc: SWAP3
00001bfd: DUP5
00001bfe: SWAP2
00001bff: DUP5
00001c00: ADD
00001c01: DUP3
00001c02: DUP3
00001c03: DUP1
00001c04: ISZERO
00001c05: PUSH2 0x1c37
00001c08: JUMPI
00001c09: PUSH1 0x20
00001c0b: MUL
00001c0c: DUP3
00001c0d: ADD
00001c0e: SWAP2
00001c0f: SWAP1
00001c10: PUSH1 0x00
00001c12: MSTORE
00001c13: PUSH1 0x20
00001c15: PUSH1 0x00
00001c17: KECCAK256
00001c18: SWAP1
00001c19: JUMPDEST
00001c1a: DUP2
00001c1b: SLOAD
00001c1c: PUSH1 0x01
00001c1e: PUSH1 0x01
00001c20: PUSH1 0xa0
00001c22: SHL
00001c23: SUB
00001c24: AND
00001c25: DUP2
00001c26: MSTORE
00001c27: PUSH1 0x01
00001c29: SWAP1
00001c2a: SWAP2
00001c2b: ADD
00001c2c: SWAP1
00001c2d: PUSH1 0x20
00001c2f: ADD
00001c30: DUP1
00001c31: DUP4
00001c32: GT
00001c33: PUSH2 0x1c19
00001c36: JUMPI
00001c37: JUMPDEST
00001c38: POP
00001c39: POP
00001c3a: POP
00001c3b: SWAP2
00001c3c: DUP4
00001c3d: MSTORE
00001c3e: POP
00001c3f: POP
00001c40: PUSH1 0x01
00001c42: DUP3
00001c43: ADD
00001c44: SLOAD
00001c45: PUSH1 0x01
00001c47: PUSH1 0x01
00001c49: PUSH1 0xa0
00001c4b: SHL
00001c4c: SUB
00001c4d: AND
00001c4e: PUSH1 0x20
00001c50: DUP3
00001c51: ADD
00001c52: MSTORE
00001c53: PUSH1 0x02
00001c55: SWAP1
00001c56: SWAP2
00001c57: ADD
00001c58: SLOAD
00001c59: PUSH1 0x40
00001c5b: SWAP1
00001c5c: SWAP2
00001c5d: ADD
00001c5e: MSTORE
00001c5f: DUP1
00001c60: MLOAD
00001c61: DUP1
00001c62: MLOAD
00001c63: SWAP2
00001c64: SWAP3
00001c65: POP
00001c66: SWAP1
00001c67: PUSH1 0x00
00001c69: NOT
00001c6a: DUP2
00001c6b: ADD
00001c6c: SWAP1
00001c6d: DUP2
00001c6e: LT
00001c6f: PUSH2 0x1c74
00001c72: JUMPI
00001c73: INVALID
00001c74: JUMPDEST
00001c75: PUSH1 0x20
00001c77: MUL
00001c78: PUSH1 0x20
00001c7a: ADD
00001c7b: ADD
00001c7c: MLOAD
00001c7d: SWAP4
00001c7e: POP
00001c7f: DUP1
00001c80: PUSH1 0x20
00001c82: ADD
00001c83: MLOAD
00001c84: SWAP3
00001c85: POP
00001c86: DUP1
00001c87: PUSH1 0x40
00001c89: ADD
00001c8a: MLOAD
00001c8b: SWAP2
00001c8c: POP
00001c8d: POP
00001c8e: SWAP2
00001c8f: SWAP4
00001c90: SWAP1
00001c91: SWAP3
00001c92: POP
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH4 0xffffffff
00001c9a: DUP3
00001c9b: AND
00001c9c: PUSH1 0x00
00001c9e: SWAP1
00001c9f: DUP2
00001ca0: MSTORE
00001ca1: PUSH1 0x04
00001ca3: PUSH1 0x20
00001ca5: SWAP1
00001ca6: DUP2
00001ca7: MSTORE
00001ca8: PUSH1 0x40
00001caa: DUP1
00001cab: DUP4
00001cac: KECCAK256
00001cad: PUSH1 0x01
00001caf: PUSH1 0x01
00001cb1: PUSH1 0xa0
00001cb3: SHL
00001cb4: SUB
00001cb5: DUP6
00001cb6: AND
00001cb7: DUP5
00001cb8: MSTORE
00001cb9: PUSH1 0x03
00001cbb: ADD
00001cbc: SWAP1
00001cbd: SWAP2
00001cbe: MSTORE
00001cbf: SWAP1
00001cc0: KECCAK256
00001cc1: SLOAD
00001cc2: JUMPDEST
00001cc3: SWAP3
00001cc4: SWAP2
00001cc5: POP
00001cc6: POP
00001cc7: JUMP
00001cc8: JUMPDEST
00001cc9: PUSH1 0x00
00001ccb: DUP1
00001ccc: SLOAD
00001ccd: PUSH1 0x40
00001ccf: DUP1
00001cd0: MLOAD
00001cd1: PUSH1 0x20
00001cd3: PUSH1 0x02
00001cd5: PUSH1 0x01
00001cd7: DUP6
00001cd8: AND
00001cd9: ISZERO
00001cda: PUSH2 0x0100
00001cdd: MUL
00001cde: PUSH1 0x00
00001ce0: NOT
00001ce1: ADD
00001ce2: SWAP1
00001ce3: SWAP5
00001ce4: AND
00001ce5: SWAP4
00001ce6: SWAP1
00001ce7: SWAP4
00001ce8: DIV
00001ce9: PUSH1 0x1f
00001ceb: DUP2
00001cec: ADD
00001ced: DUP5
00001cee: SWAP1
00001cef: DIV
00001cf0: DUP5
00001cf1: MUL
00001cf2: DUP3
00001cf3: ADD
00001cf4: DUP5
00001cf5: ADD
00001cf6: SWAP1
00001cf7: SWAP3
00001cf8: MSTORE
00001cf9: DUP2
00001cfa: DUP2
00001cfb: MSTORE
00001cfc: SWAP3
00001cfd: SWAP2
00001cfe: DUP4
00001cff: ADD
00001d00: DUP3
00001d01: DUP3
00001d02: DUP1
00001d03: ISZERO
00001d04: PUSH2 0x1d4e
00001d07: JUMPI
00001d08: DUP1
00001d09: PUSH1 0x1f
00001d0b: LT
00001d0c: PUSH2 0x1d23
00001d0f: JUMPI
00001d10: PUSH2 0x0100
00001d13: DUP1
00001d14: DUP4
00001d15: SLOAD
00001d16: DIV
00001d17: MUL
00001d18: DUP4
00001d19: MSTORE
00001d1a: SWAP2
00001d1b: PUSH1 0x20
00001d1d: ADD
00001d1e: SWAP2
00001d1f: PUSH2 0x1d4e
00001d22: JUMP
00001d23: JUMPDEST
00001d24: DUP3
00001d25: ADD
00001d26: SWAP2
00001d27: SWAP1
00001d28: PUSH1 0x00
00001d2a: MSTORE
00001d2b: PUSH1 0x20
00001d2d: PUSH1 0x00
00001d2f: KECCAK256
00001d30: SWAP1
00001d31: JUMPDEST
00001d32: DUP2
00001d33: SLOAD
00001d34: DUP2
00001d35: MSTORE
00001d36: SWAP1
00001d37: PUSH1 0x01
00001d39: ADD
00001d3a: SWAP1
00001d3b: PUSH1 0x20
00001d3d: ADD
00001d3e: DUP1
00001d3f: DUP4
00001d40: GT
00001d41: PUSH2 0x1d31
00001d44: JUMPI
00001d45: DUP3
00001d46: SWAP1
00001d47: SUB
00001d48: PUSH1 0x1f
00001d4a: AND
00001d4b: DUP3
00001d4c: ADD
00001d4d: SWAP2
00001d4e: JUMPDEST
00001d4f: POP
00001d50: POP
00001d51: POP
00001d52: POP
00001d53: POP
00001d54: DUP2
00001d55: JUMP
00001d56: JUMPDEST
00001d57: PUSH4 0xffffffff
00001d5c: DUP3
00001d5d: AND
00001d5e: PUSH1 0x00
00001d60: SWAP1
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x04
00001d65: PUSH1 0x20
00001d67: SWAP1
00001d68: DUP2
00001d69: MSTORE
00001d6a: PUSH1 0x40
00001d6c: DUP1
00001d6d: DUP4
00001d6e: KECCAK256
00001d6f: DUP1
00001d70: SLOAD
00001d71: DUP3
00001d72: MLOAD
00001d73: DUP2
00001d74: DUP6
00001d75: MUL
00001d76: DUP2
00001d77: ADD
00001d78: DUP6
00001d79: ADD
00001d7a: SWAP1
00001d7b: SWAP4
00001d7c: MSTORE
00001d7d: DUP1
00001d7e: DUP4
00001d7f: MSTORE
00001d80: PUSH1 0x60
00001d82: SWAP4
00001d83: DUP4
00001d84: ADD
00001d85: DUP3
00001d86: DUP3
00001d87: DUP1
00001d88: ISZERO
00001d89: PUSH2 0x1dbb
00001d8c: JUMPI
00001d8d: PUSH1 0x20
00001d8f: MUL
00001d90: DUP3
00001d91: ADD
00001d92: SWAP2
00001d93: SWAP1
00001d94: PUSH1 0x00
00001d96: MSTORE
00001d97: PUSH1 0x20
00001d99: PUSH1 0x00
00001d9b: KECCAK256
00001d9c: SWAP1
00001d9d: JUMPDEST
00001d9e: DUP2
00001d9f: SLOAD
00001da0: PUSH1 0x01
00001da2: PUSH1 0x01
00001da4: PUSH1 0xa0
00001da6: SHL
00001da7: SUB
00001da8: AND
00001da9: DUP2
00001daa: MSTORE
00001dab: PUSH1 0x01
00001dad: SWAP1
00001dae: SWAP2
00001daf: ADD
00001db0: SWAP1
00001db1: PUSH1 0x20
00001db3: ADD
00001db4: DUP1
00001db5: DUP4
00001db6: GT
00001db7: PUSH2 0x1d9d
00001dba: JUMPI
00001dbb: JUMPDEST
00001dbc: POP
00001dbd: POP
00001dbe: DUP4
00001dbf: MLOAD
00001dc0: SWAP4
00001dc1: SWAP5
00001dc2: POP
00001dc3: POP
00001dc4: POP
00001dc5: POP
00001dc6: JUMPDEST
00001dc7: DUP1
00001dc8: ISZERO
00001dc9: PUSH2 0x1e10
00001dcc: JUMPI
00001dcd: DUP4
00001dce: PUSH1 0x01
00001dd0: PUSH1 0x01
00001dd2: PUSH1 0xa0
00001dd4: SHL
00001dd5: SUB
00001dd6: AND
00001dd7: DUP3
00001dd8: PUSH1 0x01
00001dda: DUP4
00001ddb: SUB
00001ddc: DUP2
00001ddd: MLOAD
00001dde: DUP2
00001ddf: LT
00001de0: PUSH2 0x1de5
00001de3: JUMPI
00001de4: INVALID
00001de5: JUMPDEST
00001de6: PUSH1 0x20
00001de8: MUL
00001de9: PUSH1 0x20
00001deb: ADD
00001dec: ADD
00001ded: MLOAD
00001dee: PUSH1 0x01
00001df0: PUSH1 0x01
00001df2: PUSH1 0xa0
00001df4: SHL
00001df5: SUB
00001df6: AND
00001df7: EQ
00001df8: ISZERO
00001df9: PUSH2 0x1e07
00001dfc: JUMPI
00001dfd: PUSH1 0x01
00001dff: SWAP3
00001e00: POP
00001e01: POP
00001e02: POP
00001e03: PUSH2 0x1cc2
00001e06: JUMP
00001e07: JUMPDEST
00001e08: PUSH1 0x00
00001e0a: NOT
00001e0b: ADD
00001e0c: PUSH2 0x1dc6
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: POP
00001e12: PUSH1 0x00
00001e14: SWAP5
00001e15: SWAP4
00001e16: POP
00001e17: POP
00001e18: POP
00001e19: POP
00001e1a: JUMP
00001e1b: JUMPDEST
00001e1c: PUSH4 0xffffffff
00001e21: DUP5
00001e22: AND
00001e23: PUSH1 0x00
00001e25: SWAP1
00001e26: DUP2
00001e27: MSTORE
00001e28: PUSH1 0x04
00001e2a: PUSH1 0x20
00001e2c: MSTORE
00001e2d: PUSH1 0x40
00001e2f: SWAP1
00001e30: KECCAK256
00001e31: SLOAD
00001e32: DUP5
00001e33: SWAP1
00001e34: PUSH2 0x1e72
00001e37: JUMPI
00001e38: PUSH1 0x40
00001e3a: DUP1
00001e3b: MLOAD
00001e3c: PUSH3 0x461bcd
00001e40: PUSH1 0xe5
00001e42: SHL
00001e43: DUP2
00001e44: MSTORE
00001e45: PUSH1 0x20
00001e47: PUSH1 0x04
00001e49: DUP3
00001e4a: ADD
00001e4b: MSTORE
00001e4c: PUSH1 0x1a
00001e4e: PUSH1 0x24
00001e50: DUP3
00001e51: ADD
00001e52: MSTORE
00001e53: PUSH1 0x00
00001e55: DUP1
00001e56: MLOAD
00001e57: PUSH1 0x20
00001e59: PUSH2 0x305c
00001e5c: DUP4
00001e5d: CODECOPY
00001e5e: DUP2
00001e5f: MLOAD
00001e60: SWAP2
00001e61: MSTORE
00001e62: PUSH1 0x44
00001e64: DUP3
00001e65: ADD
00001e66: MSTORE
00001e67: SWAP1
00001e68: MLOAD
00001e69: SWAP1
00001e6a: DUP2
00001e6b: SWAP1
00001e6c: SUB
00001e6d: PUSH1 0x64
00001e6f: ADD
00001e70: SWAP1
00001e71: REVERT
00001e72: JUMPDEST
00001e73: PUSH4 0xffffffff
00001e78: DUP5
00001e79: AND
00001e7a: PUSH1 0x00
00001e7c: SWAP1
00001e7d: DUP2
00001e7e: MSTORE
00001e7f: PUSH1 0x04
00001e81: PUSH1 0x20
00001e83: MSTORE
00001e84: PUSH1 0x40
00001e86: SWAP1
00001e87: KECCAK256
00001e88: SLOAD
00001e89: DUP5
00001e8a: SWAP1
00001e8b: PUSH2 0x1ec9
00001e8e: JUMPI
00001e8f: PUSH1 0x40
00001e91: DUP1
00001e92: MLOAD
00001e93: PUSH3 0x461bcd
00001e97: PUSH1 0xe5
00001e99: SHL
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x20
00001e9e: PUSH1 0x04
00001ea0: DUP3
00001ea1: ADD
00001ea2: MSTORE
00001ea3: PUSH1 0x1a
00001ea5: PUSH1 0x24
00001ea7: DUP3
00001ea8: ADD
00001ea9: MSTORE
00001eaa: PUSH1 0x00
00001eac: DUP1
00001ead: MLOAD
00001eae: PUSH1 0x20
00001eb0: PUSH2 0x305c
00001eb3: DUP4
00001eb4: CODECOPY
00001eb5: DUP2
00001eb6: MLOAD
00001eb7: SWAP2
00001eb8: MSTORE
00001eb9: PUSH1 0x44
00001ebb: DUP3
00001ebc: ADD
00001ebd: MSTORE
00001ebe: SWAP1
00001ebf: MLOAD
00001ec0: SWAP1
00001ec1: DUP2
00001ec2: SWAP1
00001ec3: SUB
00001ec4: PUSH1 0x64
00001ec6: ADD
00001ec7: SWAP1
00001ec8: REVERT
00001ec9: JUMPDEST
00001eca: PUSH1 0x00
00001ecc: DUP1
00001ecd: PUSH2 0x1ed5
00001ed0: DUP9
00001ed1: PUSH2 0x1344
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: PUSH1 0x40
00001ed8: DUP1
00001ed9: MLOAD
00001eda: PUSH4 0x0853a733
00001edf: PUSH1 0xe4
00001ee1: SHL
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: CALLER
00001ee5: PUSH1 0x04
00001ee7: DUP3
00001ee8: ADD
00001ee9: DUP2
00001eea: DUP2
00001eeb: MSTORE
00001eec: PUSH1 0x24
00001eee: DUP4
00001eef: ADD
00001ef0: SWAP4
00001ef1: DUP5
00001ef2: MSTORE
00001ef3: PUSH1 0x44
00001ef5: DUP4
00001ef6: ADD
00001ef7: DUP11
00001ef8: SWAP1
00001ef9: MSTORE
00001efa: PUSH1 0x01
00001efc: PUSH1 0x01
00001efe: PUSH1 0xa0
00001f00: SHL
00001f01: SUB
00001f02: SWAP5
00001f03: SWAP1
00001f04: SWAP5
00001f05: AND
00001f06: SWAP4
00001f07: PUSH4 0x853a7330
00001f0c: SWAP4
00001f0d: SWAP2
00001f0e: SWAP3
00001f0f: DUP12
00001f10: SWAP3
00001f11: DUP12
00001f12: SWAP3
00001f13: SWAP2
00001f14: PUSH1 0x64
00001f16: ADD
00001f17: DUP5
00001f18: DUP5
00001f19: DUP1
00001f1a: DUP3
00001f1b: DUP5
00001f1c: CALLDATACOPY
00001f1d: PUSH1 0x00
00001f1f: DUP2
00001f20: DUP5
00001f21: ADD
00001f22: MSTORE
00001f23: PUSH1 0x1f
00001f25: NOT
00001f26: PUSH1 0x1f
00001f28: DUP3
00001f29: ADD
00001f2a: AND
00001f2b: SWAP1
00001f2c: POP
00001f2d: DUP1
00001f2e: DUP4
00001f2f: ADD
00001f30: SWAP3
00001f31: POP
00001f32: POP
00001f33: POP
00001f34: SWAP5
00001f35: POP
00001f36: POP
00001f37: POP
00001f38: POP
00001f39: POP
00001f3a: PUSH1 0x40
00001f3c: DUP1
00001f3d: MLOAD
00001f3e: DUP1
00001f3f: DUP4
00001f40: SUB
00001f41: DUP2
00001f42: PUSH1 0x00
00001f44: DUP8
00001f45: DUP1
00001f46: EXTCODESIZE
00001f47: ISZERO
00001f48: DUP1
00001f49: ISZERO
00001f4a: PUSH2 0x1f52
00001f4d: JUMPI
00001f4e: PUSH1 0x00
00001f50: DUP1
00001f51: REVERT
00001f52: JUMPDEST
00001f53: POP
00001f54: GAS
00001f55: CALL
00001f56: ISZERO
00001f57: DUP1
00001f58: ISZERO
00001f59: PUSH2 0x1f66
00001f5c: JUMPI
00001f5d: RETURNDATASIZE
00001f5e: PUSH1 0x00
00001f60: DUP1
00001f61: RETURNDATACOPY
00001f62: RETURNDATASIZE
00001f63: PUSH1 0x00
00001f65: REVERT
00001f66: JUMPDEST
00001f67: POP
00001f68: POP
00001f69: POP
00001f6a: POP
00001f6b: PUSH1 0x40
00001f6d: MLOAD
00001f6e: RETURNDATASIZE
00001f6f: PUSH1 0x40
00001f71: DUP2
00001f72: LT
00001f73: ISZERO
00001f74: PUSH2 0x1f7c
00001f77: JUMPI
00001f78: PUSH1 0x00
00001f7a: DUP1
00001f7b: REVERT
00001f7c: JUMPDEST
00001f7d: POP
00001f7e: DUP1
00001f7f: MLOAD
00001f80: PUSH1 0x20
00001f82: SWAP1
00001f83: SWAP2
00001f84: ADD
00001f85: MLOAD
00001f86: SWAP1
00001f87: SWAP3
00001f88: POP
00001f89: SWAP1
00001f8a: POP
00001f8b: DUP1
00001f8c: ISZERO
00001f8d: PUSH2 0x1baf
00001f90: JUMPI
00001f91: DUP7
00001f92: PUSH4 0xffffffff
00001f97: AND
00001f98: DUP9
00001f99: PUSH4 0xffffffff
00001f9e: AND
00001f9f: EQ
00001fa0: PUSH2 0x20cf
00001fa3: JUMPI
00001fa4: PUSH4 0xffffffff
00001fa9: DUP9
00001faa: AND
00001fab: PUSH1 0x00
00001fad: SWAP1
00001fae: DUP2
00001faf: MSTORE
00001fb0: PUSH1 0x04
00001fb2: PUSH1 0x20
00001fb4: SWAP1
00001fb5: DUP2
00001fb6: MSTORE
00001fb7: PUSH1 0x40
00001fb9: DUP1
00001fba: DUP4
00001fbb: KECCAK256
00001fbc: PUSH1 0x01
00001fbe: PUSH1 0x01
00001fc0: PUSH1 0xa0
00001fc2: SHL
00001fc3: SUB
00001fc4: DUP7
00001fc5: AND
00001fc6: DUP5
00001fc7: MSTORE
00001fc8: PUSH1 0x03
00001fca: ADD
00001fcb: SWAP1
00001fcc: SWAP2
00001fcd: MSTORE
00001fce: SWAP1
00001fcf: KECCAK256
00001fd0: SLOAD
00001fd1: DUP2
00001fd2: GT
00001fd3: ISZERO
00001fd4: PUSH2 0x200e
00001fd7: JUMPI
00001fd8: PUSH1 0x40
00001fda: MLOAD
00001fdb: PUSH3 0x461bcd
00001fdf: PUSH1 0xe5
00001fe1: SHL
00001fe2: DUP2
00001fe3: MSTORE
00001fe4: PUSH1 0x04
00001fe6: ADD
00001fe7: DUP1
00001fe8: DUP1
00001fe9: PUSH1 0x20
00001feb: ADD
00001fec: DUP3
00001fed: DUP2
00001fee: SUB
00001fef: DUP3
00001ff0: MSTORE
00001ff1: PUSH1 0x27
00001ff3: DUP2
00001ff4: MSTORE
00001ff5: PUSH1 0x20
00001ff7: ADD
00001ff8: DUP1
00001ff9: PUSH2 0x3035
00001ffc: PUSH1 0x27
00001ffe: SWAP2
00001fff: CODECOPY
00002000: PUSH1 0x40
00002002: ADD
00002003: SWAP2
00002004: POP
00002005: POP
00002006: PUSH1 0x40
00002008: MLOAD
00002009: DUP1
0000200a: SWAP2
0000200b: SUB
0000200c: SWAP1
0000200d: REVERT
0000200e: JUMPDEST
0000200f: PUSH4 0xffffffff
00002014: DUP1
00002015: DUP10
00002016: AND
00002017: PUSH1 0x00
00002019: SWAP1
0000201a: DUP2
0000201b: MSTORE
0000201c: PUSH1 0x04
0000201e: PUSH1 0x20
00002020: SWAP1
00002021: DUP2
00002022: MSTORE
00002023: PUSH1 0x40
00002025: DUP1
00002026: DUP4
00002027: KECCAK256
00002028: PUSH1 0x01
0000202a: PUSH1 0x01
0000202c: PUSH1 0xa0
0000202e: SHL
0000202f: SUB
00002030: DUP8
00002031: AND
00002032: DUP5
00002033: MSTORE
00002034: PUSH1 0x03
00002036: ADD
00002037: SWAP1
00002038: SWAP2
00002039: MSTORE
0000203a: SWAP1
0000203b: KECCAK256
0000203c: SLOAD
0000203d: PUSH2 0x2048
00002040: SWAP2
00002041: DUP4
00002042: SWAP1
00002043: PUSH2 0x2600
00002046: AND
00002047: JUMP
00002048: JUMPDEST
00002049: PUSH4 0xffffffff
0000204e: DUP1
0000204f: DUP11
00002050: AND
00002051: PUSH1 0x00
00002053: SWAP1
00002054: DUP2
00002055: MSTORE
00002056: PUSH1 0x04
00002058: PUSH1 0x20
0000205a: DUP2
0000205b: DUP2
0000205c: MSTORE
0000205d: PUSH1 0x40
0000205f: DUP1
00002060: DUP5
00002061: KECCAK256
00002062: PUSH1 0x01
00002064: PUSH1 0x01
00002066: PUSH1 0xa0
00002068: SHL
00002069: SUB
0000206a: DUP10
0000206b: AND
0000206c: DUP1
0000206d: DUP7
0000206e: MSTORE
0000206f: PUSH1 0x03
00002071: SWAP2
00002072: DUP3
00002073: ADD
00002074: DUP5
00002075: MSTORE
00002076: DUP3
00002077: DUP7
00002078: KECCAK256
00002079: SWAP8
0000207a: SWAP1
0000207b: SWAP8
0000207c: SSTORE
0000207d: DUP14
0000207e: DUP7
0000207f: AND
00002080: DUP6
00002081: MSTORE
00002082: SWAP3
00002083: DUP3
00002084: MSTORE
00002085: DUP1
00002086: DUP5
00002087: KECCAK256
00002088: SWAP6
00002089: DUP5
0000208a: MSTORE
0000208b: SWAP5
0000208c: SWAP1
0000208d: SWAP2
0000208e: ADD
0000208f: SWAP1
00002090: MSTORE
00002091: SWAP2
00002092: SWAP1
00002093: SWAP2
00002094: KECCAK256
00002095: SLOAD
00002096: PUSH2 0x20a1
00002099: SWAP2
0000209a: DUP4
0000209b: SWAP1
0000209c: PUSH2 0x2a37
0000209f: AND
000020a0: JUMP
000020a1: JUMPDEST
000020a2: PUSH4 0xffffffff
000020a7: DUP9
000020a8: AND
000020a9: PUSH1 0x00
000020ab: SWAP1
000020ac: DUP2
000020ad: MSTORE
000020ae: PUSH1 0x04
000020b0: PUSH1 0x20
000020b2: SWAP1
000020b3: DUP2
000020b4: MSTORE
000020b5: PUSH1 0x40
000020b7: DUP1
000020b8: DUP4
000020b9: KECCAK256
000020ba: PUSH1 0x01
000020bc: PUSH1 0x01
000020be: PUSH1 0xa0
000020c0: SHL
000020c1: SUB
000020c2: DUP8
000020c3: AND
000020c4: DUP5
000020c5: MSTORE
000020c6: PUSH1 0x03
000020c8: ADD
000020c9: SWAP1
000020ca: SWAP2
000020cb: MSTORE
000020cc: SWAP1
000020cd: KECCAK256
000020ce: SSTORE
000020cf: JUMPDEST
000020d0: PUSH2 0x20d8
000020d3: DUP8
000020d4: PUSH2 0x1344
000020d7: JUMP
000020d8: JUMPDEST
000020d9: PUSH1 0x40
000020db: DUP1
000020dc: MLOAD
000020dd: PUSH4 0x7de182c5
000020e2: PUSH1 0xe0
000020e4: SHL
000020e5: DUP2
000020e6: MSTORE
000020e7: CALLER
000020e8: PUSH1 0x04
000020ea: DUP3
000020eb: ADD
000020ec: MSTORE
000020ed: PUSH1 0x01
000020ef: PUSH1 0x01
000020f1: PUSH1 0xa0
000020f3: SHL
000020f4: SUB
000020f5: DUP6
000020f6: DUP2
000020f7: AND
000020f8: PUSH1 0x24
000020fa: DUP4
000020fb: ADD
000020fc: MSTORE
000020fd: PUSH1 0x44
000020ff: DUP3
00002100: ADD
00002101: DUP6
00002102: SWAP1
00002103: MSTORE
00002104: SWAP2
00002105: MLOAD
00002106: SWAP3
00002107: SWAP1
00002108: SWAP2
00002109: AND
0000210a: SWAP2
0000210b: PUSH4 0x7de182c5
00002110: SWAP2
00002111: PUSH1 0x64
00002113: DUP1
00002114: DUP3
00002115: ADD
00002116: SWAP3
00002117: PUSH1 0x00
00002119: SWAP3
0000211a: SWAP1
0000211b: SWAP2
0000211c: SWAP1
0000211d: DUP3
0000211e: SWAP1
0000211f: SUB
00002120: ADD
00002121: DUP2
00002122: DUP4
00002123: DUP8
00002124: DUP1
00002125: EXTCODESIZE
00002126: ISZERO
00002127: DUP1
00002128: ISZERO
00002129: PUSH2 0x2131
0000212c: JUMPI
0000212d: PUSH1 0x00
0000212f: DUP1
00002130: REVERT
00002131: JUMPDEST
00002132: POP
00002133: GAS
00002134: CALL
00002135: ISZERO
00002136: DUP1
00002137: ISZERO
00002138: PUSH2 0x2145
0000213b: JUMPI
0000213c: RETURNDATASIZE
0000213d: PUSH1 0x00
0000213f: DUP1
00002140: RETURNDATACOPY
00002141: RETURNDATASIZE
00002142: PUSH1 0x00
00002144: REVERT
00002145: JUMPDEST
00002146: POP
00002147: POP
00002148: POP
00002149: POP
0000214a: POP
0000214b: POP
0000214c: POP
0000214d: POP
0000214e: POP
0000214f: POP
00002150: POP
00002151: POP
00002152: JUMP
00002153: JUMPDEST
00002154: CALLER
00002155: PUSH1 0x00
00002157: SWAP1
00002158: DUP2
00002159: MSTORE
0000215a: PUSH1 0x02
0000215c: PUSH1 0x20
0000215e: MSTORE
0000215f: PUSH1 0x40
00002161: SWAP1
00002162: KECCAK256
00002163: SLOAD
00002164: PUSH1 0xff
00002166: AND
00002167: PUSH2 0x21b7
0000216a: JUMPI
0000216b: PUSH1 0x40
0000216d: DUP1
0000216e: MLOAD
0000216f: PUSH3 0x461bcd
00002173: PUSH1 0xe5
00002175: SHL
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x20
0000217a: PUSH1 0x04
0000217c: DUP3
0000217d: ADD
0000217e: MSTORE
0000217f: PUSH1 0x1d
00002181: PUSH1 0x24
00002183: DUP3
00002184: ADD
00002185: MSTORE
00002186: PUSH32 0x696e76616c69642073656e6465723b206d757374206265206f776e6572000000
000021a7: PUSH1 0x44
000021a9: DUP3
000021aa: ADD
000021ab: MSTORE
000021ac: SWAP1
000021ad: MLOAD
000021ae: SWAP1
000021af: DUP2
000021b0: SWAP1
000021b1: SUB
000021b2: PUSH1 0x64
000021b4: ADD
000021b5: SWAP1
000021b6: REVERT
000021b7: JUMPDEST
000021b8: PUSH2 0x21c0
000021bb: DUP2
000021bc: PUSH2 0x2cde
000021bf: JUMP
000021c0: JUMPDEST
000021c1: POP
000021c2: JUMP
000021c3: JUMPDEST
000021c4: PUSH4 0xffffffff
000021c9: DUP2
000021ca: AND
000021cb: PUSH1 0x00
000021cd: SWAP1
000021ce: DUP2
000021cf: MSTORE
000021d0: PUSH1 0x04
000021d2: PUSH1 0x20
000021d4: SWAP1
000021d5: DUP2
000021d6: MSTORE
000021d7: PUSH1 0x40
000021d9: SWAP2
000021da: DUP3
000021db: SWAP1
000021dc: KECCAK256
000021dd: DUP1
000021de: SLOAD
000021df: DUP4
000021e0: MLOAD
000021e1: DUP2
000021e2: DUP5
000021e3: MUL
000021e4: DUP2
000021e5: ADD
000021e6: DUP5
000021e7: ADD
000021e8: SWAP1
000021e9: SWAP5
000021ea: MSTORE
000021eb: DUP1
000021ec: DUP5
000021ed: MSTORE
000021ee: PUSH1 0x60
000021f0: SWAP4
000021f1: SWAP3
000021f2: DUP4
000021f3: ADD
000021f4: DUP3
000021f5: DUP3
000021f6: DUP1
000021f7: ISZERO
000021f8: PUSH2 0x18a6
000021fb: JUMPI
000021fc: PUSH1 0x20
000021fe: MUL
000021ff: DUP3
00002200: ADD
00002201: SWAP2
00002202: SWAP1
00002203: PUSH1 0x00
00002205: MSTORE
00002206: PUSH1 0x20
00002208: PUSH1 0x00
0000220a: KECCAK256
0000220b: SWAP1
0000220c: DUP2
0000220d: SLOAD
0000220e: PUSH1 0x01
00002210: PUSH1 0x01
00002212: PUSH1 0xa0
00002214: SHL
00002215: SUB
00002216: AND
00002217: DUP2
00002218: MSTORE
00002219: PUSH1 0x01
0000221b: SWAP1
0000221c: SWAP2
0000221d: ADD
0000221e: SWAP1
0000221f: PUSH1 0x20
00002221: ADD
00002222: DUP1
00002223: DUP4
00002224: GT
00002225: PUSH2 0x1888
00002228: JUMPI
00002229: POP
0000222a: POP
0000222b: POP
0000222c: POP
0000222d: POP
0000222e: SWAP1
0000222f: POP
00002230: SWAP2
00002231: SWAP1
00002232: POP
00002233: JUMP
00002234: JUMPDEST
00002235: PUSH1 0x60
00002237: PUSH1 0x01
00002239: DUP1
0000223a: SLOAD
0000223b: DUP1
0000223c: PUSH1 0x20
0000223e: MUL
0000223f: PUSH1 0x20
00002241: ADD
00002242: PUSH1 0x40
00002244: MLOAD
00002245: SWAP1
00002246: DUP2
00002247: ADD
00002248: PUSH1 0x40
0000224a: MSTORE
0000224b: DUP1
0000224c: SWAP3
0000224d: SWAP2
0000224e: SWAP1
0000224f: DUP2
00002250: DUP2
00002251: MSTORE
00002252: PUSH1 0x20
00002254: ADD
00002255: DUP3
00002256: DUP1
00002257: SLOAD
00002258: DUP1
00002259: ISZERO
0000225a: PUSH2 0x228c
0000225d: JUMPI
0000225e: PUSH1 0x20
00002260: MUL
00002261: DUP3
00002262: ADD
00002263: SWAP2
00002264: SWAP1
00002265: PUSH1 0x00
00002267: MSTORE
00002268: PUSH1 0x20
0000226a: PUSH1 0x00
0000226c: KECCAK256
0000226d: SWAP1
0000226e: JUMPDEST
0000226f: DUP2
00002270: SLOAD
00002271: PUSH1 0x01
00002273: PUSH1 0x01
00002275: PUSH1 0xa0
00002277: SHL
00002278: SUB
00002279: AND
0000227a: DUP2
0000227b: MSTORE
0000227c: PUSH1 0x01
0000227e: SWAP1
0000227f: SWAP2
00002280: ADD
00002281: SWAP1
00002282: PUSH1 0x20
00002284: ADD
00002285: DUP1
00002286: DUP4
00002287: GT
00002288: PUSH2 0x226e
0000228b: JUMPI
0000228c: JUMPDEST
0000228d: POP
0000228e: POP
0000228f: POP
00002290: POP
00002291: POP
00002292: SWAP1
00002293: POP
00002294: SWAP1
00002295: JUMP
00002296: JUMPDEST
00002297: PUSH4 0xffffffff
0000229c: DUP3
0000229d: AND
0000229e: PUSH1 0x00
000022a0: SWAP1
000022a1: DUP2
000022a2: MSTORE
000022a3: PUSH1 0x03
000022a5: PUSH1 0x20
000022a7: SWAP1
000022a8: DUP2
000022a9: MSTORE
000022aa: PUSH1 0x40
000022ac: DUP1
000022ad: DUP4
000022ae: KECCAK256
000022af: DUP1
000022b0: SLOAD
000022b1: DUP3
000022b2: MLOAD
000022b3: DUP2
000022b4: DUP6
000022b5: MUL
000022b6: DUP2
000022b7: ADD
000022b8: DUP6
000022b9: ADD
000022ba: SWAP1
000022bb: SWAP4
000022bc: MSTORE
000022bd: DUP1
000022be: DUP4
000022bf: MSTORE
000022c0: PUSH1 0x60
000022c2: SWAP4
000022c3: DUP4
000022c4: ADD
000022c5: DUP3
000022c6: DUP3
000022c7: DUP1
000022c8: ISZERO
000022c9: PUSH2 0x22fb
000022cc: JUMPI
000022cd: PUSH1 0x20
000022cf: MUL
000022d0: DUP3
000022d1: ADD
000022d2: SWAP2
000022d3: SWAP1
000022d4: PUSH1 0x00
000022d6: MSTORE
000022d7: PUSH1 0x20
000022d9: PUSH1 0x00
000022db: KECCAK256
000022dc: SWAP1
000022dd: JUMPDEST
000022de: DUP2
000022df: SLOAD
000022e0: PUSH1 0x01
000022e2: PUSH1 0x01
000022e4: PUSH1 0xa0
000022e6: SHL
000022e7: SUB
000022e8: AND
000022e9: DUP2
000022ea: MSTORE
000022eb: PUSH1 0x01
000022ed: SWAP1
000022ee: SWAP2
000022ef: ADD
000022f0: SWAP1
000022f1: PUSH1 0x20
000022f3: ADD
000022f4: DUP1
000022f5: DUP4
000022f6: GT
000022f7: PUSH2 0x22dd
000022fa: JUMPI
000022fb: JUMPDEST
000022fc: POP
000022fd: SWAP4
000022fe: SWAP5
000022ff: POP
00002300: PUSH1 0x00
00002302: SWAP4
00002303: POP
00002304: POP
00002305: POP
00002306: POP
00002307: JUMPDEST
00002308: DUP2
00002309: MLOAD
0000230a: DUP2
0000230b: LT
0000230c: ISZERO
0000230d: PUSH2 0x1e10
00002310: JUMPI
00002311: DUP4
00002312: PUSH1 0x01
00002314: PUSH1 0x01
00002316: PUSH1 0xa0
00002318: SHL
00002319: SUB
0000231a: AND
0000231b: DUP3
0000231c: DUP3
0000231d: DUP2
0000231e: MLOAD
0000231f: DUP2
00002320: LT
00002321: PUSH2 0x2326
00002324: JUMPI
00002325: INVALID
00002326: JUMPDEST
00002327: PUSH1 0x20
00002329: MUL
0000232a: PUSH1 0x20
0000232c: ADD
0000232d: ADD
0000232e: MLOAD
0000232f: PUSH1 0x01
00002331: PUSH1 0x01
00002333: PUSH1 0xa0
00002335: SHL
00002336: SUB
00002337: AND
00002338: EQ
00002339: ISZERO
0000233a: PUSH2 0x2348
0000233d: JUMPI
0000233e: PUSH1 0x01
00002340: SWAP3
00002341: POP
00002342: POP
00002343: POP
00002344: PUSH2 0x1cc2
00002347: JUMP
00002348: JUMPDEST
00002349: PUSH1 0x01
0000234b: ADD
0000234c: PUSH2 0x2307
0000234f: JUMP
00002350: JUMPDEST
00002351: DUP2
00002352: PUSH2 0x235b
00002355: DUP2
00002356: CALLER
00002357: PUSH2 0x2296
0000235a: JUMP
0000235b: JUMPDEST
0000235c: PUSH2 0x2396
0000235f: JUMPI
00002360: PUSH1 0x40
00002362: MLOAD
00002363: PUSH3 0x461bcd
00002367: PUSH1 0xe5
00002369: SHL
0000236a: DUP2
0000236b: MSTORE
0000236c: PUSH1 0x04
0000236e: ADD
0000236f: DUP1
00002370: DUP1
00002371: PUSH1 0x20
00002373: ADD
00002374: DUP3
00002375: DUP2
00002376: SUB
00002377: DUP3
00002378: MSTORE
00002379: PUSH1 0x21
0000237b: DUP2
0000237c: MSTORE
0000237d: PUSH1 0x20
0000237f: ADD
00002380: DUP1
00002381: PUSH2 0x2f0b
00002384: PUSH1 0x21
00002386: SWAP2
00002387: CODECOPY
00002388: PUSH1 0x40
0000238a: ADD
0000238b: SWAP2
0000238c: POP
0000238d: POP
0000238e: PUSH1 0x40
00002390: MLOAD
00002391: DUP1
00002392: SWAP2
00002393: SUB
00002394: SWAP1
00002395: REVERT
00002396: JUMPDEST
00002397: DUP2
00002398: PUSH1 0x01
0000239a: PUSH1 0x01
0000239c: PUSH1 0xa0
0000239e: SHL
0000239f: SUB
000023a0: DUP2
000023a1: AND
000023a2: PUSH2 0x23e4
000023a5: JUMPI
000023a6: PUSH1 0x40
000023a8: DUP1
000023a9: MLOAD
000023aa: PUSH3 0x461bcd
000023ae: PUSH1 0xe5
000023b0: SHL
000023b1: DUP2
000023b2: MSTORE
000023b3: PUSH1 0x20
000023b5: PUSH1 0x04
000023b7: DUP3
000023b8: ADD
000023b9: MSTORE
000023ba: PUSH1 0x0f
000023bc: PUSH1 0x24
000023be: DUP3
000023bf: ADD
000023c0: MSTORE
000023c1: PUSH15 0x696e76616c69642061646472657373
000023d1: PUSH1 0x88
000023d3: SHL
000023d4: PUSH1 0x44
000023d6: DUP3
000023d7: ADD
000023d8: MSTORE
000023d9: SWAP1
000023da: MLOAD
000023db: SWAP1
000023dc: DUP2
000023dd: SWAP1
000023de: SUB
000023df: PUSH1 0x64
000023e1: ADD
000023e2: SWAP1
000023e3: REVERT
000023e4: JUMPDEST
000023e5: PUSH4 0xffffffff
000023ea: DUP5
000023eb: AND
000023ec: PUSH1 0x00
000023ee: SWAP1
000023ef: DUP2
000023f0: MSTORE
000023f1: PUSH1 0x04
000023f3: PUSH1 0x20
000023f5: MSTORE
000023f6: PUSH1 0x40
000023f8: SWAP1
000023f9: KECCAK256
000023fa: DUP1
000023fb: SLOAD
000023fc: ISZERO
000023fd: PUSH2 0x244d
00002400: JUMPI
00002401: PUSH1 0x40
00002403: DUP1
00002404: MLOAD
00002405: PUSH3 0x461bcd
00002409: PUSH1 0xe5
0000240b: SHL
0000240c: DUP2
0000240d: MSTORE
0000240e: PUSH1 0x20
00002410: PUSH1 0x04
00002412: DUP3
00002413: ADD
00002414: MSTORE
00002415: PUSH1 0x1a
00002417: PUSH1 0x24
00002419: DUP3
0000241a: ADD
0000241b: MSTORE
0000241c: PUSH32 0x41707020697320616c72656164792070726f766973696f6e6564000000000000
0000243d: PUSH1 0x44
0000243f: DUP3
00002440: ADD
00002441: MSTORE
00002442: SWAP1
00002443: MLOAD
00002444: SWAP1
00002445: DUP2
00002446: SWAP1
00002447: SUB
00002448: PUSH1 0x64
0000244a: ADD
0000244b: SWAP1
0000244c: REVERT
0000244d: JUMPDEST
0000244e: DUP1
0000244f: SLOAD
00002450: PUSH1 0x01
00002452: DUP2
00002453: ADD
00002454: DUP3
00002455: SSTORE
00002456: PUSH1 0x00
00002458: DUP3
00002459: DUP2
0000245a: MSTORE
0000245b: PUSH1 0x20
0000245d: SWAP1
0000245e: DUP2
0000245f: SWAP1
00002460: KECCAK256
00002461: SWAP1
00002462: SWAP2
00002463: ADD
00002464: DUP1
00002465: SLOAD
00002466: PUSH1 0x01
00002468: PUSH1 0x01
0000246a: PUSH1 0xa0
0000246c: SHL
0000246d: SUB
0000246e: NOT
0000246f: AND
00002470: PUSH1 0x01
00002472: PUSH1 0x01
00002474: PUSH1 0xa0
00002476: SHL
00002477: SUB
00002478: DUP8
00002479: AND
0000247a: SWAP1
0000247b: DUP2
0000247c: OR
0000247d: SWAP1
0000247e: SWAP2
0000247f: SSTORE
00002480: DUP3
00002481: SLOAD
00002482: PUSH1 0x40
00002484: DUP1
00002485: MLOAD
00002486: PUSH1 0x00
00002488: NOT
00002489: SWAP1
0000248a: SWAP3
0000248b: ADD
0000248c: PUSH1 0xff
0000248e: AND
0000248f: DUP3
00002490: MSTORE
00002491: SWAP3
00002492: DUP2
00002493: ADD
00002494: SWAP2
00002495: SWAP1
00002496: SWAP2
00002497: MSTORE
00002498: DUP2
00002499: MLOAD
0000249a: PUSH4 0xffffffff
0000249f: DUP9
000024a0: AND
000024a1: SWAP3
000024a2: PUSH32 0x017bc769595aad0be6e222715334e0328919ec7353c74b70b90e038b3024dcd0
000024c3: SWAP3
000024c4: DUP3
000024c5: SWAP1
000024c6: SUB
000024c7: ADD
000024c8: SWAP1
000024c9: LOG2
000024ca: POP
000024cb: POP
000024cc: POP
000024cd: POP
000024ce: POP
000024cf: JUMP
000024d0: JUMPDEST
000024d1: PUSH1 0x03
000024d3: PUSH1 0x20
000024d5: MSTORE
000024d6: DUP2
000024d7: PUSH1 0x00
000024d9: MSTORE
000024da: PUSH1 0x40
000024dc: PUSH1 0x00
000024de: KECCAK256
000024df: DUP2
000024e0: DUP2
000024e1: SLOAD
000024e2: DUP2
000024e3: LT
000024e4: PUSH2 0x24e9
000024e7: JUMPI
000024e8: INVALID
000024e9: JUMPDEST
000024ea: PUSH1 0x00
000024ec: SWAP2
000024ed: DUP3
000024ee: MSTORE
000024ef: PUSH1 0x20
000024f1: SWAP1
000024f2: SWAP2
000024f3: KECCAK256
000024f4: ADD
000024f5: SLOAD
000024f6: PUSH1 0x01
000024f8: PUSH1 0x01
000024fa: PUSH1 0xa0
000024fc: SHL
000024fd: SUB
000024fe: AND
000024ff: SWAP2
00002500: POP
00002501: DUP3
00002502: SWAP1
00002503: POP
00002504: JUMP
00002505: JUMPDEST
00002506: DUP3
00002507: PUSH2 0x2510
0000250a: DUP2
0000250b: CALLER
0000250c: PUSH2 0x2296
0000250f: JUMP
00002510: JUMPDEST
00002511: PUSH2 0x254b
00002514: JUMPI
00002515: PUSH1 0x40
00002517: MLOAD
00002518: PUSH3 0x461bcd
0000251c: PUSH1 0xe5
0000251e: SHL
0000251f: DUP2
00002520: MSTORE
00002521: PUSH1 0x04
00002523: ADD
00002524: DUP1
00002525: DUP1
00002526: PUSH1 0x20
00002528: ADD
00002529: DUP3
0000252a: DUP2
0000252b: SUB
0000252c: DUP3
0000252d: MSTORE
0000252e: PUSH1 0x21
00002530: DUP2
00002531: MSTORE
00002532: PUSH1 0x20
00002534: ADD
00002535: DUP1
00002536: PUSH2 0x2f0b
00002539: PUSH1 0x21
0000253b: SWAP2
0000253c: CODECOPY
0000253d: PUSH1 0x40
0000253f: ADD
00002540: SWAP2
00002541: POP
00002542: POP
00002543: PUSH1 0x40
00002545: MLOAD
00002546: DUP1
00002547: SWAP2
00002548: SUB
00002549: SWAP1
0000254a: REVERT
0000254b: JUMPDEST
0000254c: PUSH2 0x1494
0000254f: DUP5
00002550: DUP5
00002551: DUP5
00002552: DUP1
00002553: DUP1
00002554: PUSH1 0x20
00002556: MUL
00002557: PUSH1 0x20
00002559: ADD
0000255a: PUSH1 0x40
0000255c: MLOAD
0000255d: SWAP1
0000255e: DUP2
0000255f: ADD
00002560: PUSH1 0x40
00002562: MSTORE
00002563: DUP1
00002564: SWAP4
00002565: SWAP3
00002566: SWAP2
00002567: SWAP1
00002568: DUP2
00002569: DUP2
0000256a: MSTORE
0000256b: PUSH1 0x20
0000256d: ADD
0000256e: DUP4
0000256f: DUP4
00002570: PUSH1 0x20
00002572: MUL
00002573: DUP1
00002574: DUP3
00002575: DUP5
00002576: CALLDATACOPY
00002577: PUSH1 0x00
00002579: SWAP3
0000257a: ADD
0000257b: SWAP2
0000257c: SWAP1
0000257d: SWAP2
0000257e: MSTORE
0000257f: POP
00002580: PUSH2 0x2dd8
00002583: SWAP3
00002584: POP
00002585: POP
00002586: POP
00002587: JUMP
00002588: JUMPDEST
00002589: PUSH1 0x01
0000258b: PUSH2 0x2593
0000258e: DUP2
0000258f: PUSH2 0x1344
00002592: JUMP
00002593: JUMPDEST
00002594: PUSH1 0x01
00002596: PUSH1 0x01
00002598: PUSH1 0xa0
0000259a: SHL
0000259b: SUB
0000259c: AND
0000259d: CALLER
0000259e: PUSH1 0x01
000025a0: PUSH1 0x01
000025a2: PUSH1 0xa0
000025a4: SHL
000025a5: SUB
000025a6: AND
000025a7: EQ
000025a8: PUSH2 0x25e2
000025ab: JUMPI
000025ac: PUSH1 0x40
000025ae: MLOAD
000025af: PUSH3 0x461bcd
000025b3: PUSH1 0xe5
000025b5: SHL
000025b6: DUP2
000025b7: MSTORE
000025b8: PUSH1 0x04
000025ba: ADD
000025bb: DUP1
000025bc: DUP1
000025bd: PUSH1 0x20
000025bf: ADD
000025c0: DUP3
000025c1: DUP2
000025c2: SUB
000025c3: DUP3
000025c4: MSTORE
000025c5: PUSH1 0x2d
000025c7: DUP2
000025c8: MSTORE
000025c9: PUSH1 0x20
000025cb: ADD
000025cc: DUP1
000025cd: PUSH2 0x2f9e
000025d0: PUSH1 0x2d
000025d2: SWAP2
000025d3: CODECOPY
000025d4: PUSH1 0x40
000025d6: ADD
000025d7: SWAP2
000025d8: POP
000025d9: POP
000025da: PUSH1 0x40
000025dc: MLOAD
000025dd: DUP1
000025de: SWAP2
000025df: SUB
000025e0: SWAP1
000025e1: REVERT
000025e2: JUMPDEST
000025e3: POP
000025e4: PUSH4 0xffffffff
000025e9: AND
000025ea: PUSH1 0x00
000025ec: SWAP1
000025ed: DUP2
000025ee: MSTORE
000025ef: PUSH1 0x04
000025f1: PUSH1 0x20
000025f3: MSTORE
000025f4: PUSH1 0x40
000025f6: SWAP1
000025f7: KECCAK256
000025f8: NUMBER
000025f9: PUSH1 0x02
000025fb: SWAP1
000025fc: SWAP2
000025fd: ADD
000025fe: SSTORE
000025ff: JUMP
00002600: JUMPDEST
00002601: DUP1
00002602: DUP3
00002603: SUB
00002604: DUP3
00002605: DUP2
00002606: GT
00002607: ISZERO
00002608: PUSH2 0x1cc2
0000260b: JUMPI
0000260c: PUSH1 0x40
0000260e: DUP1
0000260f: MLOAD
00002610: PUSH3 0x461bcd
00002614: PUSH1 0xe5
00002616: SHL
00002617: DUP2
00002618: MSTORE
00002619: PUSH1 0x20
0000261b: PUSH1 0x04
0000261d: DUP3
0000261e: ADD
0000261f: MSTORE
00002620: PUSH1 0x0f
00002622: PUSH1 0x24
00002624: DUP3
00002625: ADD
00002626: MSTORE
00002627: PUSH15 0x3130b21039bab13a3930b1ba34b7b7
00002637: PUSH1 0x89
00002639: SHL
0000263a: PUSH1 0x44
0000263c: DUP3
0000263d: ADD
0000263e: MSTORE
0000263f: SWAP1
00002640: MLOAD
00002641: SWAP1
00002642: DUP2
00002643: SWAP1
00002644: SUB
00002645: PUSH1 0x64
00002647: ADD
00002648: SWAP1
00002649: REVERT
0000264a: JUMPDEST
0000264b: PUSH1 0x00
0000264d: DUP4
0000264e: PUSH1 0x01
00002650: PUSH1 0x01
00002652: PUSH1 0xa0
00002654: SHL
00002655: SUB
00002656: AND
00002657: PUSH4 0x70a08231
0000265c: DUP4
0000265d: PUSH1 0x40
0000265f: MLOAD
00002660: DUP3
00002661: PUSH4 0xffffffff
00002666: AND
00002667: PUSH1 0xe0
00002669: SHL
0000266a: DUP2
0000266b: MSTORE
0000266c: PUSH1 0x04
0000266e: ADD
0000266f: DUP1
00002670: DUP3
00002671: PUSH1 0x01
00002673: PUSH1 0x01
00002675: PUSH1 0xa0
00002677: SHL
00002678: SUB
00002679: AND
0000267a: PUSH1 0x01
0000267c: PUSH1 0x01
0000267e: PUSH1 0xa0
00002680: SHL
00002681: SUB
00002682: AND
00002683: DUP2
00002684: MSTORE
00002685: PUSH1 0x20
00002687: ADD
00002688: SWAP2
00002689: POP
0000268a: POP
0000268b: PUSH1 0x20
0000268d: PUSH1 0x40
0000268f: MLOAD
00002690: DUP1
00002691: DUP4
00002692: SUB
00002693: DUP2
00002694: DUP7
00002695: DUP1
00002696: EXTCODESIZE
00002697: ISZERO
00002698: DUP1
00002699: ISZERO
0000269a: PUSH2 0x26a2
0000269d: JUMPI
0000269e: PUSH1 0x00
000026a0: DUP1
000026a1: REVERT
000026a2: JUMPDEST
000026a3: POP
000026a4: GAS
000026a5: STATICCALL
000026a6: ISZERO
000026a7: DUP1
000026a8: ISZERO
000026a9: PUSH2 0x26b6
000026ac: JUMPI
000026ad: RETURNDATASIZE
000026ae: PUSH1 0x00
000026b0: DUP1
000026b1: RETURNDATACOPY
000026b2: RETURNDATASIZE
000026b3: PUSH1 0x00
000026b5: REVERT
000026b6: JUMPDEST
000026b7: POP
000026b8: POP
000026b9: POP
000026ba: POP
000026bb: PUSH1 0x40
000026bd: MLOAD
000026be: RETURNDATASIZE
000026bf: PUSH1 0x20
000026c1: DUP2
000026c2: LT
000026c3: ISZERO
000026c4: PUSH2 0x26cc
000026c7: JUMPI
000026c8: PUSH1 0x00
000026ca: DUP1
000026cb: REVERT
000026cc: JUMPDEST
000026cd: POP
000026ce: MLOAD
000026cf: PUSH1 0x40
000026d1: DUP1
000026d2: MLOAD
000026d3: PUSH4 0xa9059cbb
000026d8: PUSH1 0xe0
000026da: SHL
000026db: DUP2
000026dc: MSTORE
000026dd: PUSH1 0x01
000026df: PUSH1 0x01
000026e1: PUSH1 0xa0
000026e3: SHL
000026e4: SUB
000026e5: DUP6
000026e6: DUP2
000026e7: AND
000026e8: PUSH1 0x04
000026ea: DUP4
000026eb: ADD
000026ec: MSTORE
000026ed: PUSH1 0x24
000026ef: DUP3
000026f0: ADD
000026f1: DUP8
000026f2: SWAP1
000026f3: MSTORE
000026f4: SWAP2
000026f5: MLOAD
000026f6: SWAP3
000026f7: SWAP4
000026f8: POP
000026f9: SWAP1
000026fa: DUP7
000026fb: AND
000026fc: SWAP2
000026fd: PUSH4 0xa9059cbb
00002702: SWAP2
00002703: PUSH1 0x44
00002705: DUP1
00002706: DUP3
00002707: ADD
00002708: SWAP3
00002709: PUSH1 0x20
0000270b: SWAP3
0000270c: SWAP1
0000270d: SWAP2
0000270e: SWAP1
0000270f: DUP3
00002710: SWAP1
00002711: SUB
00002712: ADD
00002713: DUP2
00002714: PUSH1 0x00
00002716: DUP8
00002717: DUP1
00002718: EXTCODESIZE
00002719: ISZERO
0000271a: DUP1
0000271b: ISZERO
0000271c: PUSH2 0x2724
0000271f: JUMPI
00002720: PUSH1 0x00
00002722: DUP1
00002723: REVERT
00002724: JUMPDEST
00002725: POP
00002726: GAS
00002727: CALL
00002728: ISZERO
00002729: DUP1
0000272a: ISZERO
0000272b: PUSH2 0x2738
0000272e: JUMPI
0000272f: RETURNDATASIZE
00002730: PUSH1 0x00
00002732: DUP1
00002733: RETURNDATACOPY
00002734: RETURNDATASIZE
00002735: PUSH1 0x00
00002737: REVERT
00002738: JUMPDEST
00002739: POP
0000273a: POP
0000273b: POP
0000273c: POP
0000273d: PUSH1 0x40
0000273f: MLOAD
00002740: RETURNDATASIZE
00002741: PUSH1 0x20
00002743: DUP2
00002744: LT
00002745: ISZERO
00002746: PUSH2 0x274e
00002749: JUMPI
0000274a: PUSH1 0x00
0000274c: DUP1
0000274d: REVERT
0000274e: JUMPDEST
0000274f: POP
00002750: MLOAD
00002751: PUSH2 0x278b
00002754: JUMPI
00002755: PUSH1 0x40
00002757: MLOAD
00002758: PUSH3 0x461bcd
0000275c: PUSH1 0xe5
0000275e: SHL
0000275f: DUP2
00002760: MSTORE
00002761: PUSH1 0x04
00002763: ADD
00002764: DUP1
00002765: DUP1
00002766: PUSH1 0x20
00002768: ADD
00002769: DUP3
0000276a: DUP2
0000276b: SUB
0000276c: DUP3
0000276d: MSTORE
0000276e: PUSH1 0x27
00002770: DUP2
00002771: MSTORE
00002772: PUSH1 0x20
00002774: ADD
00002775: DUP1
00002776: PUSH2 0x2fcb
00002779: PUSH1 0x27
0000277b: SWAP2
0000277c: CODECOPY
0000277d: PUSH1 0x40
0000277f: ADD
00002780: SWAP2
00002781: POP
00002782: POP
00002783: PUSH1 0x40
00002785: MLOAD
00002786: DUP1
00002787: SWAP2
00002788: SUB
00002789: SWAP1
0000278a: REVERT
0000278b: JUMPDEST
0000278c: PUSH1 0x00
0000278e: DUP5
0000278f: PUSH1 0x01
00002791: PUSH1 0x01
00002793: PUSH1 0xa0
00002795: SHL
00002796: SUB
00002797: AND
00002798: PUSH4 0x70a08231
0000279d: DUP5
0000279e: PUSH1 0x40
000027a0: MLOAD
000027a1: DUP3
000027a2: PUSH4 0xffffffff
000027a7: AND
000027a8: PUSH1 0xe0
000027aa: SHL
000027ab: DUP2
000027ac: MSTORE
000027ad: PUSH1 0x04
000027af: ADD
000027b0: DUP1
000027b1: DUP3
000027b2: PUSH1 0x01
000027b4: PUSH1 0x01
000027b6: PUSH1 0xa0
000027b8: SHL
000027b9: SUB
000027ba: AND
000027bb: PUSH1 0x01
000027bd: PUSH1 0x01
000027bf: PUSH1 0xa0
000027c1: SHL
000027c2: SUB
000027c3: AND
000027c4: DUP2
000027c5: MSTORE
000027c6: PUSH1 0x20
000027c8: ADD
000027c9: SWAP2
000027ca: POP
000027cb: POP
000027cc: PUSH1 0x20
000027ce: PUSH1 0x40
000027d0: MLOAD
000027d1: DUP1
000027d2: DUP4
000027d3: SUB
000027d4: DUP2
000027d5: DUP7
000027d6: DUP1
000027d7: EXTCODESIZE
000027d8: ISZERO
000027d9: DUP1
000027da: ISZERO
000027db: PUSH2 0x27e3
000027de: JUMPI
000027df: PUSH1 0x00
000027e1: DUP1
000027e2: REVERT
000027e3: JUMPDEST
000027e4: POP
000027e5: GAS
000027e6: STATICCALL
000027e7: ISZERO
000027e8: DUP1
000027e9: ISZERO
000027ea: PUSH2 0x27f7
000027ed: JUMPI
000027ee: RETURNDATASIZE
000027ef: PUSH1 0x00
000027f1: DUP1
000027f2: RETURNDATACOPY
000027f3: RETURNDATASIZE
000027f4: PUSH1 0x00
000027f6: REVERT
000027f7: JUMPDEST
000027f8: POP
000027f9: POP
000027fa: POP
000027fb: POP
000027fc: PUSH1 0x40
000027fe: MLOAD
000027ff: RETURNDATASIZE
00002800: PUSH1 0x20
00002802: DUP2
00002803: LT
00002804: ISZERO
00002805: PUSH2 0x280d
00002808: JUMPI
00002809: PUSH1 0x00
0000280b: DUP1
0000280c: REVERT
0000280d: JUMPDEST
0000280e: POP
0000280f: MLOAD
00002810: SWAP1
00002811: POP
00002812: DUP4
00002813: PUSH2 0x2822
00002816: DUP3
00002817: DUP5
00002818: PUSH4 0xffffffff
0000281d: PUSH2 0x2600
00002820: AND
00002821: JUMP
00002822: JUMPDEST
00002823: EQ
00002824: PUSH2 0x285e
00002827: JUMPI
00002828: PUSH1 0x40
0000282a: MLOAD
0000282b: PUSH3 0x461bcd
0000282f: PUSH1 0xe5
00002831: SHL
00002832: DUP2
00002833: MSTORE
00002834: PUSH1 0x04
00002836: ADD
00002837: DUP1
00002838: DUP1
00002839: PUSH1 0x20
0000283b: ADD
0000283c: DUP3
0000283d: DUP2
0000283e: SUB
0000283f: DUP3
00002840: MSTORE
00002841: PUSH1 0x43
00002843: DUP2
00002844: MSTORE
00002845: PUSH1 0x20
00002847: ADD
00002848: DUP1
00002849: PUSH2 0x2ff2
0000284c: PUSH1 0x43
0000284e: SWAP2
0000284f: CODECOPY
00002850: PUSH1 0x60
00002852: ADD
00002853: SWAP2
00002854: POP
00002855: POP
00002856: PUSH1 0x40
00002858: MLOAD
00002859: DUP1
0000285a: SWAP2
0000285b: SUB
0000285c: SWAP1
0000285d: REVERT
0000285e: JUMPDEST
0000285f: POP
00002860: POP
00002861: POP
00002862: POP
00002863: POP
00002864: JUMP
00002865: JUMPDEST
00002866: PUSH2 0x286f
00002869: PUSH1 0x01
0000286b: PUSH2 0x1344
0000286e: JUMP
0000286f: JUMPDEST
00002870: PUSH1 0x01
00002872: DUP3
00002873: ADD
00002874: SLOAD
00002875: PUSH1 0x40
00002877: DUP1
00002878: MLOAD
00002879: PUSH4 0x1ce635bd
0000287e: PUSH1 0xe1
00002880: SHL
00002881: DUP2
00002882: MSTORE
00002883: PUSH1 0x01
00002885: PUSH1 0x01
00002887: PUSH1 0xa0
00002889: SHL
0000288a: SUB
0000288b: SWAP3
0000288c: DUP4
0000288d: AND
0000288e: PUSH1 0x04
00002890: DUP3
00002891: ADD
00002892: MSTORE
00002893: SWAP1
00002894: MLOAD
00002895: SWAP3
00002896: SWAP1
00002897: SWAP2
00002898: AND
00002899: SWAP2
0000289a: PUSH4 0x39cc6b7a
0000289f: SWAP2
000028a0: PUSH1 0x24
000028a2: DUP1
000028a3: DUP3
000028a4: ADD
000028a5: SWAP3
000028a6: PUSH1 0x00
000028a8: SWAP3
000028a9: SWAP1
000028aa: SWAP2
000028ab: SWAP1
000028ac: DUP3
000028ad: SWAP1
000028ae: SUB
000028af: ADD
000028b0: DUP2
000028b1: DUP4
000028b2: DUP8
000028b3: DUP1
000028b4: EXTCODESIZE
000028b5: ISZERO
000028b6: DUP1
000028b7: ISZERO
000028b8: PUSH2 0x28c0
000028bb: JUMPI
000028bc: PUSH1 0x00
000028be: DUP1
000028bf: REVERT
000028c0: JUMPDEST
000028c1: POP
000028c2: GAS
000028c3: CALL
000028c4: ISZERO
000028c5: DUP1
000028c6: ISZERO
000028c7: PUSH2 0x28d4
000028ca: JUMPI
000028cb: RETURNDATASIZE
000028cc: PUSH1 0x00
000028ce: DUP1
000028cf: RETURNDATACOPY
000028d0: RETURNDATASIZE
000028d1: PUSH1 0x00
000028d3: REVERT
000028d4: JUMPDEST
000028d5: POP
000028d6: POP
000028d7: POP
000028d8: POP
000028d9: PUSH1 0x01
000028db: DUP2
000028dc: ADD
000028dd: DUP1
000028de: SLOAD
000028df: PUSH1 0x01
000028e1: PUSH1 0x01
000028e3: PUSH1 0xa0
000028e5: SHL
000028e6: SUB
000028e7: AND
000028e8: PUSH1 0x00
000028ea: SWAP1
000028eb: DUP2
000028ec: MSTORE
000028ed: PUSH1 0x05
000028ef: PUSH1 0x20
000028f1: MSTORE
000028f2: PUSH1 0x40
000028f4: DUP2
000028f5: KECCAK256
000028f6: DUP1
000028f7: SLOAD
000028f8: PUSH1 0xff
000028fa: NOT
000028fb: AND
000028fc: SWAP1
000028fd: SSTORE
000028fe: DUP2
000028ff: SLOAD
00002900: PUSH1 0x01
00002902: PUSH1 0x01
00002904: PUSH1 0xa0
00002906: SHL
00002907: SUB
00002908: NOT
00002909: AND
0000290a: SWAP1
0000290b: SWAP2
0000290c: SSTORE
0000290d: PUSH1 0x02
0000290f: SWAP1
00002910: SWAP2
00002911: ADD
00002912: SSTORE
00002913: JUMP
00002914: JUMPDEST
00002915: PUSH4 0xffffffff
0000291a: DUP3
0000291b: AND
0000291c: PUSH1 0x00
0000291e: SWAP1
0000291f: DUP2
00002920: MSTORE
00002921: PUSH1 0x03
00002923: PUSH1 0x20
00002925: MSTORE
00002926: PUSH1 0x40
00002928: SWAP1
00002929: KECCAK256
0000292a: SLOAD
0000292b: ISZERO
0000292c: PUSH2 0x297c
0000292f: JUMPI
00002930: PUSH1 0x40
00002932: DUP1
00002933: MLOAD
00002934: PUSH3 0x461bcd
00002938: PUSH1 0xe5
0000293a: SHL
0000293b: DUP2
0000293c: MSTORE
0000293d: PUSH1 0x20
0000293f: PUSH1 0x04
00002941: DUP3
00002942: ADD
00002943: MSTORE
00002944: PUSH1 0x19
00002946: PUSH1 0x24
00002948: DUP3
00002949: ADD
0000294a: MSTORE
0000294b: PUSH32 0x41707020616c72656164792068617320617070206f776e657200000000000000
0000296c: PUSH1 0x44
0000296e: DUP3
0000296f: ADD
00002970: MSTORE
00002971: SWAP1
00002972: MLOAD
00002973: SWAP1
00002974: DUP2
00002975: SWAP1
00002976: SUB
00002977: PUSH1 0x64
00002979: ADD
0000297a: SWAP1
0000297b: REVERT
0000297c: JUMPDEST
0000297d: PUSH1 0x06
0000297f: SLOAD
00002980: PUSH4 0xffffffff
00002985: DUP4
00002986: DUP2
00002987: AND
00002988: SWAP2
00002989: AND
0000298a: EQ
0000298b: PUSH2 0x29db
0000298e: JUMPI
0000298f: PUSH1 0x40
00002991: DUP1
00002992: MLOAD
00002993: PUSH3 0x461bcd
00002997: PUSH1 0xe5
00002999: SHL
0000299a: DUP2
0000299b: MSTORE
0000299c: PUSH1 0x20
0000299e: PUSH1 0x04
000029a0: DUP3
000029a1: ADD
000029a2: MSTORE
000029a3: PUSH1 0x1c
000029a5: PUSH1 0x24
000029a7: DUP3
000029a8: ADD
000029a9: MSTORE
000029aa: PUSH32 0x617070206964732061726520696e6372656d656e746564206279203100000000
000029cb: PUSH1 0x44
000029cd: DUP3
000029ce: ADD
000029cf: MSTORE
000029d0: SWAP1
000029d1: MLOAD
000029d2: SWAP1
000029d3: DUP2
000029d4: SWAP1
000029d5: SUB
000029d6: PUSH1 0x64
000029d8: ADD
000029d9: SWAP1
000029da: REVERT
000029db: JUMPDEST
000029dc: PUSH1 0x06
000029de: DUP1
000029df: SLOAD
000029e0: PUSH4 0xffffffff
000029e5: NOT
000029e6: DUP2
000029e7: AND
000029e8: PUSH1 0x01
000029ea: PUSH4 0xffffffff
000029ef: SWAP3
000029f0: DUP4
000029f1: AND
000029f2: ADD
000029f3: DUP3
000029f4: AND
000029f5: OR
000029f6: SWAP1
000029f7: SWAP2
000029f8: SSTORE
000029f9: PUSH1 0x40
000029fb: DUP1
000029fc: MLOAD
000029fd: SWAP2
000029fe: DUP5
000029ff: AND
00002a00: DUP3
00002a01: MSTORE
00002a02: MLOAD
00002a03: PUSH32 0xb0b9faff9396f136cbe65dd6c9bb23a764dcaacd0b87031b56c9b37888ac50ca
00002a24: SWAP2
00002a25: PUSH1 0x20
00002a27: SWAP1
00002a28: DUP3
00002a29: SWAP1
00002a2a: SUB
00002a2b: ADD
00002a2c: SWAP1
00002a2d: LOG1
00002a2e: PUSH2 0x10aa
00002a31: DUP3
00002a32: DUP3
00002a33: PUSH2 0x2dd8
00002a36: JUMP
00002a37: JUMPDEST
00002a38: DUP1
00002a39: DUP3
00002a3a: ADD
00002a3b: DUP3
00002a3c: DUP2
00002a3d: LT
00002a3e: ISZERO
00002a3f: PUSH2 0x1cc2
00002a42: JUMPI
00002a43: PUSH1 0x40
00002a45: DUP1
00002a46: MLOAD
00002a47: PUSH3 0x461bcd
00002a4b: PUSH1 0xe5
00002a4d: SHL
00002a4e: DUP2
00002a4f: MSTORE
00002a50: PUSH1 0x20
00002a52: PUSH1 0x04
00002a54: DUP3
00002a55: ADD
00002a56: MSTORE
00002a57: PUSH1 0x0c
00002a59: PUSH1 0x24
00002a5b: DUP3
00002a5c: ADD
00002a5d: MSTORE
00002a5e: PUSH12 0x3130b21030b23234ba34b7b7
00002a6b: PUSH1 0xa1
00002a6d: SHL
00002a6e: PUSH1 0x44
00002a70: DUP3
00002a71: ADD
00002a72: MSTORE
00002a73: SWAP1
00002a74: MLOAD
00002a75: SWAP1
00002a76: DUP2
00002a77: SWAP1
00002a78: SUB
00002a79: PUSH1 0x64
00002a7b: ADD
00002a7c: SWAP1
00002a7d: REVERT
00002a7e: JUMPDEST
00002a7f: PUSH1 0x40
00002a81: DUP1
00002a82: MLOAD
00002a83: PUSH4 0x70a08231
00002a88: PUSH1 0xe0
00002a8a: SHL
00002a8b: DUP2
00002a8c: MSTORE
00002a8d: ADDRESS
00002a8e: PUSH1 0x04
00002a90: DUP3
00002a91: ADD
00002a92: MSTORE
00002a93: SWAP1
00002a94: MLOAD
00002a95: PUSH1 0x00
00002a97: SWAP2
00002a98: PUSH1 0x01
00002a9a: PUSH1 0x01
00002a9c: PUSH1 0xa0
00002a9e: SHL
00002a9f: SUB
00002aa0: DUP6
00002aa1: AND
00002aa2: SWAP2
00002aa3: PUSH4 0x70a08231
00002aa8: SWAP2
00002aa9: PUSH1 0x24
00002aab: DUP1
00002aac: DUP3
00002aad: ADD
00002aae: SWAP3
00002aaf: PUSH1 0x20
00002ab1: SWAP3
00002ab2: SWAP1
00002ab3: SWAP2
00002ab4: SWAP1
00002ab5: DUP3
00002ab6: SWAP1
00002ab7: SUB
00002ab8: ADD
00002ab9: DUP2
00002aba: DUP7
00002abb: DUP1
00002abc: EXTCODESIZE
00002abd: ISZERO
00002abe: DUP1
00002abf: ISZERO
00002ac0: PUSH2 0x2ac8
00002ac3: JUMPI
00002ac4: PUSH1 0x00
00002ac6: DUP1
00002ac7: REVERT
00002ac8: JUMPDEST
00002ac9: POP
00002aca: GAS
00002acb: STATICCALL
00002acc: ISZERO
00002acd: DUP1
00002ace: ISZERO
00002acf: PUSH2 0x2adc
00002ad2: JUMPI
00002ad3: RETURNDATASIZE
00002ad4: PUSH1 0x00
00002ad6: DUP1
00002ad7: RETURNDATACOPY
00002ad8: RETURNDATASIZE
00002ad9: PUSH1 0x00
00002adb: REVERT
00002adc: JUMPDEST
00002add: POP
00002ade: POP
00002adf: POP
00002ae0: POP
00002ae1: PUSH1 0x40
00002ae3: MLOAD
00002ae4: RETURNDATASIZE
00002ae5: PUSH1 0x20
00002ae7: DUP2
00002ae8: LT
00002ae9: ISZERO
00002aea: PUSH2 0x2af2
00002aed: JUMPI
00002aee: PUSH1 0x00
00002af0: DUP1
00002af1: REVERT
00002af2: JUMPDEST
00002af3: POP
00002af4: MLOAD
00002af5: PUSH1 0x40
00002af7: DUP1
00002af8: MLOAD
00002af9: PUSH4 0x23b872dd
00002afe: PUSH1 0xe0
00002b00: SHL
00002b01: DUP2
00002b02: MSTORE
00002b03: CALLER
00002b04: PUSH1 0x04
00002b06: DUP3
00002b07: ADD
00002b08: MSTORE
00002b09: ADDRESS
00002b0a: PUSH1 0x24
00002b0c: DUP3
00002b0d: ADD
00002b0e: MSTORE
00002b0f: PUSH1 0x44
00002b11: DUP2
00002b12: ADD
00002b13: DUP6
00002b14: SWAP1
00002b15: MSTORE
00002b16: SWAP1
00002b17: MLOAD
00002b18: SWAP2
00002b19: SWAP3
00002b1a: POP
00002b1b: PUSH1 0x01
00002b1d: PUSH1 0x01
00002b1f: PUSH1 0xa0
00002b21: SHL
00002b22: SUB
00002b23: DUP6
00002b24: AND
00002b25: SWAP2
00002b26: PUSH4 0x23b872dd
00002b2b: SWAP2
00002b2c: PUSH1 0x64
00002b2e: DUP1
00002b2f: DUP3
00002b30: ADD
00002b31: SWAP3
00002b32: PUSH1 0x20
00002b34: SWAP3
00002b35: SWAP1
00002b36: SWAP2
00002b37: SWAP1
00002b38: DUP3
00002b39: SWAP1
00002b3a: SUB
00002b3b: ADD
00002b3c: DUP2
00002b3d: PUSH1 0x00
00002b3f: DUP8
00002b40: DUP1
00002b41: EXTCODESIZE
00002b42: ISZERO
00002b43: DUP1
00002b44: ISZERO
00002b45: PUSH2 0x2b4d
00002b48: JUMPI
00002b49: PUSH1 0x00
00002b4b: DUP1
00002b4c: REVERT
00002b4d: JUMPDEST
00002b4e: POP
00002b4f: GAS
00002b50: CALL
00002b51: ISZERO
00002b52: DUP1
00002b53: ISZERO
00002b54: PUSH2 0x2b61
00002b57: JUMPI
00002b58: RETURNDATASIZE
00002b59: PUSH1 0x00
00002b5b: DUP1
00002b5c: RETURNDATACOPY
00002b5d: RETURNDATASIZE
00002b5e: PUSH1 0x00
00002b60: REVERT
00002b61: JUMPDEST
00002b62: POP
00002b63: POP
00002b64: POP
00002b65: POP
00002b66: PUSH1 0x40
00002b68: MLOAD
00002b69: RETURNDATASIZE
00002b6a: PUSH1 0x20
00002b6c: DUP2
00002b6d: LT
00002b6e: ISZERO
00002b6f: PUSH2 0x2b77
00002b72: JUMPI
00002b73: PUSH1 0x00
00002b75: DUP1
00002b76: REVERT
00002b77: JUMPDEST
00002b78: POP
00002b79: MLOAD
00002b7a: PUSH2 0x2bb4
00002b7d: JUMPI
00002b7e: PUSH1 0x40
00002b80: MLOAD
00002b81: PUSH3 0x461bcd
00002b85: PUSH1 0xe5
00002b87: SHL
00002b88: DUP2
00002b89: MSTORE
00002b8a: PUSH1 0x04
00002b8c: ADD
00002b8d: DUP1
00002b8e: DUP1
00002b8f: PUSH1 0x20
00002b91: ADD
00002b92: DUP3
00002b93: DUP2
00002b94: SUB
00002b95: DUP3
00002b96: MSTORE
00002b97: PUSH1 0x27
00002b99: DUP2
00002b9a: MSTORE
00002b9b: PUSH1 0x20
00002b9d: ADD
00002b9e: DUP1
00002b9f: PUSH2 0x2fcb
00002ba2: PUSH1 0x27
00002ba4: SWAP2
00002ba5: CODECOPY
00002ba6: PUSH1 0x40
00002ba8: ADD
00002ba9: SWAP2
00002baa: POP
00002bab: POP
00002bac: PUSH1 0x40
00002bae: MLOAD
00002baf: DUP1
00002bb0: SWAP2
00002bb1: SUB
00002bb2: SWAP1
00002bb3: REVERT
00002bb4: JUMPDEST
00002bb5: PUSH1 0x40
00002bb7: DUP1
00002bb8: MLOAD
00002bb9: PUSH4 0x70a08231
00002bbe: PUSH1 0xe0
00002bc0: SHL
00002bc1: DUP2
00002bc2: MSTORE
00002bc3: ADDRESS
00002bc4: PUSH1 0x04
00002bc6: DUP3
00002bc7: ADD
00002bc8: MSTORE
00002bc9: SWAP1
00002bca: MLOAD
00002bcb: PUSH1 0x00
00002bcd: SWAP2
00002bce: PUSH1 0x01
00002bd0: PUSH1 0x01
00002bd2: PUSH1 0xa0
00002bd4: SHL
00002bd5: SUB
00002bd6: DUP7
00002bd7: AND
00002bd8: SWAP2
00002bd9: PUSH4 0x70a08231
00002bde: SWAP2
00002bdf: PUSH1 0x24
00002be1: DUP1
00002be2: DUP3
00002be3: ADD
00002be4: SWAP3
00002be5: PUSH1 0x20
00002be7: SWAP3
00002be8: SWAP1
00002be9: SWAP2
00002bea: SWAP1
00002beb: DUP3
00002bec: SWAP1
00002bed: SUB
00002bee: ADD
00002bef: DUP2
00002bf0: DUP7
00002bf1: DUP1
00002bf2: EXTCODESIZE
00002bf3: ISZERO
00002bf4: DUP1
00002bf5: ISZERO
00002bf6: PUSH2 0x2bfe
00002bf9: JUMPI
00002bfa: PUSH1 0x00
00002bfc: DUP1
00002bfd: REVERT
00002bfe: JUMPDEST
00002bff: POP
00002c00: GAS
00002c01: STATICCALL
00002c02: ISZERO
00002c03: DUP1
00002c04: ISZERO
00002c05: PUSH2 0x2c12
00002c08: JUMPI
00002c09: RETURNDATASIZE
00002c0a: PUSH1 0x00
00002c0c: DUP1
00002c0d: RETURNDATACOPY
00002c0e: RETURNDATASIZE
00002c0f: PUSH1 0x00
00002c11: REVERT
00002c12: JUMPDEST
00002c13: POP
00002c14: POP
00002c15: POP
00002c16: POP
00002c17: PUSH1 0x40
00002c19: MLOAD
00002c1a: RETURNDATASIZE
00002c1b: PUSH1 0x20
00002c1d: DUP2
00002c1e: LT
00002c1f: ISZERO
00002c20: PUSH2 0x2c28
00002c23: JUMPI
00002c24: PUSH1 0x00
00002c26: DUP1
00002c27: REVERT
00002c28: JUMPDEST
00002c29: POP
00002c2a: MLOAD
00002c2b: SWAP1
00002c2c: POP
00002c2d: DUP3
00002c2e: PUSH2 0x2c3d
00002c31: DUP3
00002c32: DUP5
00002c33: PUSH4 0xffffffff
00002c38: PUSH2 0x2600
00002c3b: AND
00002c3c: JUMP
00002c3d: JUMPDEST
00002c3e: EQ
00002c3f: PUSH2 0x2c79
00002c42: JUMPI
00002c43: PUSH1 0x40
00002c45: MLOAD
00002c46: PUSH3 0x461bcd
00002c4a: PUSH1 0xe5
00002c4c: SHL
00002c4d: DUP2
00002c4e: MSTORE
00002c4f: PUSH1 0x04
00002c51: ADD
00002c52: DUP1
00002c53: DUP1
00002c54: PUSH1 0x20
00002c56: ADD
00002c57: DUP3
00002c58: DUP2
00002c59: SUB
00002c5a: DUP3
00002c5b: MSTORE
00002c5c: PUSH1 0x43
00002c5e: DUP2
00002c5f: MSTORE
00002c60: PUSH1 0x20
00002c62: ADD
00002c63: DUP1
00002c64: PUSH2 0x2ff2
00002c67: PUSH1 0x43
00002c69: SWAP2
00002c6a: CODECOPY
00002c6b: PUSH1 0x60
00002c6d: ADD
00002c6e: SWAP2
00002c6f: POP
00002c70: POP
00002c71: PUSH1 0x40
00002c73: MLOAD
00002c74: DUP1
00002c75: SWAP2
00002c76: SUB
00002c77: SWAP1
00002c78: REVERT
00002c79: JUMPDEST
00002c7a: PUSH4 0xffffffff
00002c7f: DUP1
00002c80: DUP7
00002c81: AND
00002c82: PUSH1 0x00
00002c84: SWAP1
00002c85: DUP2
00002c86: MSTORE
00002c87: PUSH1 0x04
00002c89: PUSH1 0x20
00002c8b: SWAP1
00002c8c: DUP2
00002c8d: MSTORE
00002c8e: PUSH1 0x40
00002c90: DUP1
00002c91: DUP4
00002c92: KECCAK256
00002c93: PUSH1 0x01
00002c95: PUSH1 0x01
00002c97: PUSH1 0xa0
00002c99: SHL
00002c9a: SUB
00002c9b: DUP10
00002c9c: AND
00002c9d: DUP5
00002c9e: MSTORE
00002c9f: PUSH1 0x03
00002ca1: DUP2
00002ca2: ADD
00002ca3: SWAP1
00002ca4: SWAP3
00002ca5: MSTORE
00002ca6: SWAP1
00002ca7: SWAP2
00002ca8: KECCAK256
00002ca9: SLOAD
00002caa: SWAP1
00002cab: SWAP2
00002cac: PUSH2 0x2cb8
00002caf: SWAP2
00002cb0: SWAP1
00002cb1: DUP7
00002cb2: SWAP1
00002cb3: PUSH2 0x2a37
00002cb6: AND
00002cb7: JUMP
00002cb8: JUMPDEST
00002cb9: PUSH1 0x01
00002cbb: PUSH1 0x01
00002cbd: PUSH1 0xa0
00002cbf: SHL
00002cc0: SUB
00002cc1: SWAP1
00002cc2: SWAP6
00002cc3: AND
00002cc4: PUSH1 0x00
00002cc6: SWAP1
00002cc7: DUP2
00002cc8: MSTORE
00002cc9: PUSH1 0x03
00002ccb: SWAP1
00002ccc: SWAP2
00002ccd: ADD
00002cce: PUSH1 0x20
00002cd0: MSTORE
00002cd1: PUSH1 0x40
00002cd3: SWAP1
00002cd4: KECCAK256
00002cd5: SWAP4
00002cd6: SWAP1
00002cd7: SWAP4
00002cd8: SSTORE
00002cd9: POP
00002cda: POP
00002cdb: POP
00002cdc: POP
00002cdd: JUMP
00002cde: JUMPDEST
00002cdf: DUP1
00002ce0: PUSH1 0x01
00002ce2: PUSH1 0x01
00002ce4: PUSH1 0xa0
00002ce6: SHL
00002ce7: SUB
00002ce8: DUP2
00002ce9: AND
00002cea: PUSH2 0x2d2c
00002ced: JUMPI
00002cee: PUSH1 0x40
00002cf0: DUP1
00002cf1: MLOAD
00002cf2: PUSH3 0x461bcd
00002cf6: PUSH1 0xe5
00002cf8: SHL
00002cf9: DUP2
00002cfa: MSTORE
00002cfb: PUSH1 0x20
00002cfd: PUSH1 0x04
00002cff: DUP3
00002d00: ADD
00002d01: MSTORE
00002d02: PUSH1 0x0f
00002d04: PUSH1 0x24
00002d06: DUP3
00002d07: ADD
00002d08: MSTORE
00002d09: PUSH15 0x696e76616c69642061646472657373
00002d19: PUSH1 0x88
00002d1b: SHL
00002d1c: PUSH1 0x44
00002d1e: DUP3
00002d1f: ADD
00002d20: MSTORE
00002d21: SWAP1
00002d22: MLOAD
00002d23: SWAP1
00002d24: DUP2
00002d25: SWAP1
00002d26: SUB
00002d27: PUSH1 0x64
00002d29: ADD
00002d2a: SWAP1
00002d2b: REVERT
00002d2c: JUMPDEST
00002d2d: PUSH1 0x01
00002d2f: PUSH1 0x01
00002d31: PUSH1 0xa0
00002d33: SHL
00002d34: SUB
00002d35: DUP3
00002d36: AND
00002d37: PUSH1 0x00
00002d39: SWAP1
00002d3a: DUP2
00002d3b: MSTORE
00002d3c: PUSH1 0x02
00002d3e: PUSH1 0x20
00002d40: MSTORE
00002d41: PUSH1 0x40
00002d43: SWAP1
00002d44: KECCAK256
00002d45: SLOAD
00002d46: PUSH1 0xff
00002d48: AND
00002d49: PUSH2 0x10aa
00002d4c: JUMPI
00002d4d: PUSH1 0x01
00002d4f: PUSH1 0x01
00002d51: PUSH1 0xa0
00002d53: SHL
00002d54: SUB
00002d55: DUP3
00002d56: AND
00002d57: PUSH1 0x00
00002d59: DUP2
00002d5a: DUP2
00002d5b: MSTORE
00002d5c: PUSH1 0x02
00002d5e: PUSH1 0x20
00002d60: MSTORE
00002d61: PUSH1 0x40
00002d63: DUP1
00002d64: DUP3
00002d65: KECCAK256
00002d66: DUP1
00002d67: SLOAD
00002d68: PUSH1 0xff
00002d6a: NOT
00002d6b: AND
00002d6c: PUSH1 0x01
00002d6e: SWAP1
00002d6f: DUP2
00002d70: OR
00002d71: SWAP1
00002d72: SWAP2
00002d73: SSTORE
00002d74: DUP1
00002d75: SLOAD
00002d76: DUP1
00002d77: DUP3
00002d78: ADD
00002d79: DUP3
00002d7a: SSTORE
00002d7b: SWAP1
00002d7c: DUP4
00002d7d: MSTORE
00002d7e: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00002d9f: ADD
00002da0: DUP1
00002da1: SLOAD
00002da2: PUSH1 0x01
00002da4: PUSH1 0x01
00002da6: PUSH1 0xa0
00002da8: SHL
00002da9: SUB
00002daa: NOT
00002dab: AND
00002dac: DUP5
00002dad: OR
00002dae: SWAP1
00002daf: SSTORE
00002db0: MLOAD
00002db1: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3
00002dd2: SWAP2
00002dd3: SWAP1
00002dd4: LOG2
00002dd5: POP
00002dd6: POP
00002dd7: JUMP
00002dd8: JUMPDEST
00002dd9: PUSH1 0x00
00002ddb: JUMPDEST
00002ddc: DUP2
00002ddd: MLOAD
00002dde: DUP2
00002ddf: LT
00002de0: ISZERO
00002de1: PUSH2 0x0e51
00002de4: JUMPI
00002de5: PUSH2 0x2e01
00002de8: DUP4
00002de9: DUP4
00002dea: DUP4
00002deb: DUP2
00002dec: MLOAD
00002ded: DUP2
00002dee: LT
00002def: PUSH2 0x2df4
00002df2: JUMPI
00002df3: INVALID
00002df4: JUMPDEST
00002df5: PUSH1 0x20
00002df7: MUL
00002df8: PUSH1 0x20
00002dfa: ADD
00002dfb: ADD
00002dfc: MLOAD
00002dfd: PUSH2 0x2296
00002e00: JUMP
00002e01: JUMPDEST
00002e02: PUSH2 0x2ed8
00002e05: JUMPI
00002e06: PUSH4 0xffffffff
00002e0b: DUP4
00002e0c: AND
00002e0d: PUSH1 0x00
00002e0f: SWAP1
00002e10: DUP2
00002e11: MSTORE
00002e12: PUSH1 0x03
00002e14: PUSH1 0x20
00002e16: MSTORE
00002e17: PUSH1 0x40
00002e19: SWAP1
00002e1a: KECCAK256
00002e1b: DUP3
00002e1c: MLOAD
00002e1d: DUP4
00002e1e: SWAP1
00002e1f: DUP4
00002e20: SWAP1
00002e21: DUP2
00002e22: LT
00002e23: PUSH2 0x2e28
00002e26: JUMPI
00002e27: INVALID
00002e28: JUMPDEST
00002e29: PUSH1 0x20
00002e2b: SWAP1
00002e2c: DUP2
00002e2d: MUL
00002e2e: SWAP2
00002e2f: SWAP1
00002e30: SWAP2
00002e31: ADD
00002e32: DUP2
00002e33: ADD
00002e34: MLOAD
00002e35: DUP3
00002e36: SLOAD
00002e37: PUSH1 0x01
00002e39: DUP2
00002e3a: ADD
00002e3b: DUP5
00002e3c: SSTORE
00002e3d: PUSH1 0x00
00002e3f: SWAP4
00002e40: DUP5
00002e41: MSTORE
00002e42: SWAP2
00002e43: SWAP1
00002e44: SWAP3
00002e45: KECCAK256
00002e46: ADD
00002e47: DUP1
00002e48: SLOAD
00002e49: PUSH1 0x01
00002e4b: PUSH1 0x01
00002e4d: PUSH1 0xa0
00002e4f: SHL
00002e50: SUB
00002e51: NOT
00002e52: AND
00002e53: PUSH1 0x01
00002e55: PUSH1 0x01
00002e57: PUSH1 0xa0
00002e59: SHL
00002e5a: SUB
00002e5b: SWAP1
00002e5c: SWAP3
00002e5d: AND
00002e5e: SWAP2
00002e5f: SWAP1
00002e60: SWAP2
00002e61: OR
00002e62: SWAP1
00002e63: SSTORE
00002e64: DUP2
00002e65: MLOAD
00002e66: PUSH32 0xd0aede363d027a6b258f61b4e6d50943b24e9db9e832960604a9d0ca02115983
00002e87: SWAP1
00002e88: DUP5
00002e89: SWAP1
00002e8a: DUP5
00002e8b: SWAP1
00002e8c: DUP5
00002e8d: SWAP1
00002e8e: DUP2
00002e8f: LT
00002e90: PUSH2 0x2e95
00002e93: JUMPI
00002e94: INVALID
00002e95: JUMPDEST
00002e96: PUSH1 0x20
00002e98: MUL
00002e99: PUSH1 0x20
00002e9b: ADD
00002e9c: ADD
00002e9d: MLOAD
00002e9e: PUSH1 0x40
00002ea0: MLOAD
00002ea1: DUP1
00002ea2: DUP4
00002ea3: PUSH4 0xffffffff
00002ea8: AND
00002ea9: PUSH4 0xffffffff
00002eae: AND
00002eaf: DUP2
00002eb0: MSTORE
00002eb1: PUSH1 0x20
00002eb3: ADD
00002eb4: DUP3
00002eb5: PUSH1 0x01
00002eb7: PUSH1 0x01
00002eb9: PUSH1 0xa0
00002ebb: SHL
00002ebc: SUB
00002ebd: AND
00002ebe: PUSH1 0x01
00002ec0: PUSH1 0x01
00002ec2: PUSH1 0xa0
00002ec4: SHL
00002ec5: SUB
00002ec6: AND
00002ec7: DUP2
00002ec8: MSTORE
00002ec9: PUSH1 0x20
00002ecb: ADD
00002ecc: SWAP3
00002ecd: POP
00002ece: POP
00002ecf: POP
00002ed0: PUSH1 0x40
00002ed2: MLOAD
00002ed3: DUP1
00002ed4: SWAP2
00002ed5: SUB
00002ed6: SWAP1
00002ed7: LOG1
00002ed8: JUMPDEST
00002ed9: PUSH1 0x01
00002edb: ADD
00002edc: PUSH2 0x2ddb
00002edf: JUMP
00002ee0: JUMPDEST
00002ee1: PUSH1 0x40
00002ee3: MLOAD
00002ee4: DUP1
00002ee5: PUSH1 0x60
00002ee7: ADD
00002ee8: PUSH1 0x40
00002eea: MSTORE
00002eeb: DUP1
00002eec: PUSH1 0x60
00002eee: DUP2
00002eef: MSTORE
00002ef0: PUSH1 0x20
00002ef2: ADD
00002ef3: PUSH1 0x00
00002ef5: PUSH1 0x01
00002ef7: PUSH1 0x01
00002ef9: PUSH1 0xa0
00002efb: SHL
00002efc: SUB
00002efd: AND
00002efe: DUP2
00002eff: MSTORE
00002f00: PUSH1 0x20
00002f02: ADD
00002f03: PUSH1 0x00
00002f05: DUP2
00002f06: MSTORE
00002f07: POP
00002f08: SWAP1
00002f09: JUMP
00002f0a: INVALID
00002f0b: PUSH10 0x6e76616c69642073656e
00002f16: PUSH5 0x65723b206d
00002f1c: PUSH22 0x737420626520617070206f776e657250726f706f7361
00002f33: PUSH13 0x20616c72656164792065786973
00002f41: PUSH21 0x732e2072656d6f76652070726f706f73616c206265
00002f57: PUSH7 0x6f726520616464
00002f5f: PUSH10 0x6e67206e6577206f6e65
00002f6a: PUSH15 0x6577206170702063616e206e6f7420
00002f7a: PUSH3 0x652061
00002f7e: PUSH4 0x74697661
00002f83: PUSH21 0x6564206265666f72652061637469766174696f6e20
00002f99: PUSH3 0x6c6f63
00002f9d: PUSH12 0x696e76616c69642073656e64
00002faa: PUSH6 0x723b206d7573
00002fb1: PUSH21 0x206265206c6174657374206c6f67696320636f6e74
00002fc7: PUSH19 0x6163746661696c75726520746f207472616e73
00002fdb: PUSH7 0x6572207175616e
00002fe3: PUSH21 0x6974792066726f6d20746f6b656e62616420546f6b
00002ff9: PUSH6 0x6e3b20747261
00003000: PUSH15 0x7366657246726f6d206572726f6e65
00003010: PUSH16 0x75736c79207265706f72746564206f66
00003021: KECCAK256
00003022: PUSH20 0x75636365737366756c207472616e736665726e6f
00003037: PUSH21 0x20656e6f7567682062616c616e636520696e206c6f
0000304d: PUSH8 0x696320746f207472
00003056: PUSH2 0x6e73
00003059: PUSH7 0x65724170702069
00003061: PUSH20 0x206e6f74207965742070726f766973696f6e6564
00003076: STOP
00003077: STOP
00003078: STOP
00003079: STOP
0000307a: STOP
0000307b: STOP
0000307c: LOG2
0000307d: PUSH6 0x627a7a723158
00003084: KECCAK256
00003085: UNKNOWN(0xB9)
00003086: CODESIZE
00003087: UNKNOWN(0xAD)
00003088: LOG3
00003089: UNKNOWN(0xBC)
0000308a: ORIGIN
0000308b: DUP3
0000308c: DUP2
0000308d: CODESIZE
0000308e: UNKNOWN(0xC9)
0000308f: UNKNOWN(0x0D)
00003090: UNKNOWN(0xAA)
00003091: UNKNOWN(0xD9)
00003092: UNKNOWN(0xEB)
00003093: UNKNOWN(0x4F)
00003094: UNKNOWN(0x4F)
00003095: GASPRICE
00003096: UNKNOWN(0xDB)
00003097: CALLDATASIZE
00003098: DUP9
00003099: NUMBER
0000309a: SWAP8
0000309b: LOG1
0000309c: UNKNOWN(0xE8)
0000309d: EXTCODEHASH
0000309e: SLT
0000309f: TLOAD
000030a0: UNKNOWN(0xC0)
000030a1: UNKNOWN(0x2A)
000030a2: PUSH21
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc2ab471f", "selector": "0xc2ab471f", "calldata_variants": [ "0xc2ab471f", "0xc2ab471f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc7aa37d0", "selector": "0xc7aa37d0", "calldata_variants": [ "0xc7aa37d0", "0xc7aa37d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8b6c22e", "selector": "0xe8b6c22e", "calldata_variants": [ "0xe8b6c22e", "0xe8b6c22e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe0f4ff4", "selector": "0xfe0f4ff4", "calldata_variants": [ "0xfe0f4ff4", "0xfe0f4ff40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9164ac43", "selector": "0x9164ac43", "calldata_variants": [ "0x9164ac43", "0x9164ac430000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0e67e2b", "selector": "0xa0e67e2b", "calldata_variants": [ "0xa0e67e2b", "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1979197", "selector": "0xb1979197", "calldata_variants": [ "0xb1979197", "0xb19791970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 12426, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xbfe2c41aaa44bc730319c49f3e2a84900b5473b76bbdd188cf2b7021623f1f64 call_targets: 0x75ace7a086ea0fb1a79e43cc6331ad053d8c67cb target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xbfe2c41aaa44bc730319c49f3e2a84900b5473b76bbdd188cf2b7021623f1f64", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x75ace7a086ea0fb1a79e43cc6331ad053d8c67cb" ], "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": "0xc2ab471f", "selector": "0xc2ab471f", "calldata_variants": [ "0xc2ab471f", "0xc2ab471f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc7aa37d0", "selector": "0xc7aa37d0", "calldata_variants": [ "0xc7aa37d0", "0xc7aa37d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8b6c22e", "selector": "0xe8b6c22e", "calldata_variants": [ "0xe8b6c22e", "0xe8b6c22e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe0f4ff4", "selector": "0xfe0f4ff4", "calldata_variants": [ "0xfe0f4ff4", "0xfe0f4ff40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9164ac43", "selector": "0x9164ac43", "calldata_variants": [ "0x9164ac43", "0x9164ac430000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0e67e2b", "selector": "0xa0e67e2b", "calldata_variants": [ "0xa0e67e2b", "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1979197", "selector": "0xb1979197", "calldata_variants": [ "0xb1979197", "0xb19791970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3002, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3324, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [ { "pc": 12426, "type": "tx_origin_used" } ], "untrusted_call_count": 9 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xbfe2c41aaa44bc730319c49f3e2a84900b5473b76bbdd188cf2b7021623f1f64 call_targets: 0x75ace7a086ea0fb1a79e43cc6331ad053d8c67cb target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xbfe2c41aaa44bc730319c49f3e2a84900b5473b76bbdd188cf2b7021623f1f64", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x75ace7a086ea0fb1a79e43cc6331ad053d8c67cb" ], "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": "0xc2ab471f", "selector": "0xc2ab471f", "calldata_variants": [ "0xc2ab471f", "0xc2ab471f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc7aa37d0", "selector": "0xc7aa37d0", "calldata_variants": [ "0xc7aa37d0", "0xc7aa37d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8b6c22e", "selector": "0xe8b6c22e", "calldata_variants": [ "0xe8b6c22e", "0xe8b6c22e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe0f4ff4", "selector": "0xfe0f4ff4", "calldata_variants": [ "0xfe0f4ff4", "0xfe0f4ff40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9164ac43", "selector": "0x9164ac43", "calldata_variants": [ "0x9164ac43", "0x9164ac430000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0e67e2b", "selector": "0xa0e67e2b", "calldata_variants": [ "0xa0e67e2b", "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb1979197", "selector": "0xb1979197", "calldata_variants": [ "0xb1979197", "0xb19791970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3002, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3324, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [ { "pc": 12426, "type": "tx_origin_used" } ] }
Severity