TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-c159-739d-93ec-a9529b725598

complete
Chain ID
1
Address
0xee9861b651ba165cfaeb6c326fe0a6cba504398a
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
24847 artifact.fetch complete 1 / 3 3 months ago
24848 tool.cast_disasm complete 1 / 3 3 months ago
68638 analysis.bundle complete 1 / 3 2 weeks ago
68639 capability.graph complete 1 / 3 2 weeks ago
68640 detector.run complete 1 / 3 2 weeks ago
68641 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
17
Total opcodes
9010
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01f8
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6817c76c
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbf8f9053
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeb9eb9fd
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeb9eb9fd
0000003a: EQ
0000003b: PUSH2 0x0b1b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf242432a
00000045: EQ
00000046: PUSH2 0x0b45
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0c1b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf908108e
0000005b: EQ
0000005c: PUSH2 0x0c4e
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf9c894a8
00000066: EQ
00000067: PUSH2 0x0cff
0000006a: JUMPI
0000006b: PUSH2 0x01f8
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xbf8f9053
00000076: EQ
00000077: PUSH2 0x0a77
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc6c77693
00000081: EQ
00000082: PUSH2 0x0aa1
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xcd3293de
0000008c: EQ
0000008d: PUSH2 0x0acb
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe985e9c5
00000097: EQ
00000098: PUSH2 0x0ae0
0000009b: JUMPI
0000009c: PUSH2 0x01f8
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x9d76a171
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x9d76a171
000000b2: EQ
000000b3: PUSH2 0x09d3
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa22cb465
000000bd: EQ
000000be: PUSH2 0x09fd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb81f7888
000000c8: EQ
000000c9: PUSH2 0x0a38
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xbd85b039
000000d3: EQ
000000d4: PUSH2 0x0a4d
000000d7: JUMPI
000000d8: PUSH2 0x01f8
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x6817c76c
000000e3: EQ
000000e4: PUSH2 0x096a
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x715018a6
000000ee: EQ
000000ef: PUSH2 0x097f
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8da5cb5b
000000f9: EQ
000000fa: PUSH2 0x0994
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x91b7f5ed
00000104: EQ
00000105: PUSH2 0x09a9
00000108: JUMPI
00000109: PUSH2 0x01f8
0000010c: JUMP
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x328d8f72
00000114: GT
00000115: PUSH2 0x0190
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x49701d43
0000011f: GT
00000120: PUSH2 0x015f
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x49701d43
0000012a: EQ
0000012b: PUSH2 0x076a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x4ba44fd2
00000135: EQ
00000136: PUSH2 0x077f
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x4e1273f4
00000140: EQ
00000141: PUSH2 0x0794
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x5367f947
0000014b: EQ
0000014c: PUSH2 0x0914
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x5c86f2c8
00000156: EQ
00000157: PUSH2 0x094d
0000015a: JUMPI
0000015b: PUSH2 0x01f8
0000015e: JUMP
0000015f: JUMPDEST
00000160: DUP1
00000161: PUSH4 0x328d8f72
00000166: EQ
00000167: PUSH2 0x06b9
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x346fd5dd
00000171: EQ
00000172: PUSH2 0x06e5
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x3ccfd60b
0000017c: EQ
0000017d: PUSH2 0x070f
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x425af373
00000187: EQ
00000188: PUSH2 0x0724
0000018b: JUMPI
0000018c: PUSH2 0x01f8
0000018f: JUMP
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x0e89341c
00000197: GT
00000198: PUSH2 0x01cc
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x0e89341c
000001a2: EQ
000001a3: PUSH2 0x036d
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x211e28b6
000001ad: EQ
000001ae: PUSH2 0x040c
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x2802a190
000001b8: EQ
000001b9: PUSH2 0x0438
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x2eb2c2d6
000001c3: EQ
000001c4: PUSH2 0x04eb
000001c7: JUMPI
000001c8: PUSH2 0x01f8
000001cb: JUMP
000001cc: JUMPDEST
000001cd: DUP1
000001ce: PUSH3 0xfdd58e
000001d2: EQ
000001d3: PUSH2 0x01fd
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x01ffc9a7
000001dd: EQ
000001de: PUSH2 0x0248
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x02fe5305
000001e8: EQ
000001e9: PUSH2 0x0290
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x07a3681c
000001f3: EQ
000001f4: PUSH2 0x0343
000001f7: JUMPI
000001f8: JUMPDEST
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: CALLVALUE
000001ff: DUP1
00000200: ISZERO
00000201: PUSH2 0x0209
00000204: JUMPI
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: POP
0000020b: PUSH2 0x0236
0000020e: PUSH1 0x04
00000210: DUP1
00000211: CALLDATASIZE
00000212: SUB
00000213: PUSH1 0x40
00000215: DUP2
00000216: LT
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: PUSH1 0x01
00000224: PUSH1 0x01
00000226: PUSH1 0xa0
00000228: SHL
00000229: SUB
0000022a: DUP2
0000022b: CALLDATALOAD
0000022c: AND
0000022d: SWAP1
0000022e: PUSH1 0x20
00000230: ADD
00000231: CALLDATALOAD
00000232: PUSH2 0x0d2f
00000235: JUMP
00000236: JUMPDEST
00000237: PUSH1 0x40
00000239: DUP1
0000023a: MLOAD
0000023b: SWAP2
0000023c: DUP3
0000023d: MSTORE
0000023e: MLOAD
0000023f: SWAP1
00000240: DUP2
00000241: SWAP1
00000242: SUB
00000243: PUSH1 0x20
00000245: ADD
00000246: SWAP1
00000247: RETURN
00000248: JUMPDEST
00000249: CALLVALUE
0000024a: DUP1
0000024b: ISZERO
0000024c: PUSH2 0x0254
0000024f: JUMPI
00000250: PUSH1 0x00
00000252: DUP1
00000253: REVERT
00000254: JUMPDEST
00000255: POP
00000256: PUSH2 0x027c
00000259: PUSH1 0x04
0000025b: DUP1
0000025c: CALLDATASIZE
0000025d: SUB
0000025e: PUSH1 0x20
00000260: DUP2
00000261: LT
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: CALLDATALOAD
0000026e: PUSH1 0x01
00000270: PUSH1 0x01
00000272: PUSH1 0xe0
00000274: SHL
00000275: SUB
00000276: NOT
00000277: AND
00000278: PUSH2 0x0da1
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH1 0x40
0000027f: DUP1
00000280: MLOAD
00000281: SWAP2
00000282: ISZERO
00000283: ISZERO
00000284: DUP3
00000285: MSTORE
00000286: MLOAD
00000287: SWAP1
00000288: DUP2
00000289: SWAP1
0000028a: SUB
0000028b: PUSH1 0x20
0000028d: ADD
0000028e: SWAP1
0000028f: RETURN
00000290: JUMPDEST
00000291: CALLVALUE
00000292: DUP1
00000293: ISZERO
00000294: PUSH2 0x029c
00000297: JUMPI
00000298: PUSH1 0x00
0000029a: DUP1
0000029b: REVERT
0000029c: JUMPDEST
0000029d: POP
0000029e: PUSH2 0x0341
000002a1: PUSH1 0x04
000002a3: DUP1
000002a4: CALLDATASIZE
000002a5: SUB
000002a6: PUSH1 0x20
000002a8: DUP2
000002a9: LT
000002aa: ISZERO
000002ab: PUSH2 0x02b3
000002ae: JUMPI
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: DUP2
000002b5: ADD
000002b6: SWAP1
000002b7: PUSH1 0x20
000002b9: DUP2
000002ba: ADD
000002bb: DUP2
000002bc: CALLDATALOAD
000002bd: PUSH1 0x01
000002bf: PUSH1 0x20
000002c1: SHL
000002c2: DUP2
000002c3: GT
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: DUP3
000002cf: ADD
000002d0: DUP4
000002d1: PUSH1 0x20
000002d3: DUP3
000002d4: ADD
000002d5: GT
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: DUP1
000002e1: CALLDATALOAD
000002e2: SWAP1
000002e3: PUSH1 0x20
000002e5: ADD
000002e6: SWAP2
000002e7: DUP5
000002e8: PUSH1 0x01
000002ea: DUP4
000002eb: MUL
000002ec: DUP5
000002ed: ADD
000002ee: GT
000002ef: PUSH1 0x01
000002f1: PUSH1 0x20
000002f3: SHL
000002f4: DUP4
000002f5: GT
000002f6: OR
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: SWAP2
00000302: SWAP1
00000303: DUP1
00000304: DUP1
00000305: PUSH1 0x1f
00000307: ADD
00000308: PUSH1 0x20
0000030a: DUP1
0000030b: SWAP2
0000030c: DIV
0000030d: MUL
0000030e: PUSH1 0x20
00000310: ADD
00000311: PUSH1 0x40
00000313: MLOAD
00000314: SWAP1
00000315: DUP2
00000316: ADD
00000317: PUSH1 0x40
00000319: MSTORE
0000031a: DUP1
0000031b: SWAP4
0000031c: SWAP3
0000031d: SWAP2
0000031e: SWAP1
0000031f: DUP2
00000320: DUP2
00000321: MSTORE
00000322: PUSH1 0x20
00000324: ADD
00000325: DUP4
00000326: DUP4
00000327: DUP1
00000328: DUP3
00000329: DUP5
0000032a: CALLDATACOPY
0000032b: PUSH1 0x00
0000032d: SWAP3
0000032e: ADD
0000032f: SWAP2
00000330: SWAP1
00000331: SWAP2
00000332: MSTORE
00000333: POP
00000334: SWAP3
00000335: SWAP6
00000336: POP
00000337: PUSH2 0x0dc0
0000033a: SWAP5
0000033b: POP
0000033c: POP
0000033d: POP
0000033e: POP
0000033f: POP
00000340: JUMP
00000341: JUMPDEST
00000342: STOP
00000343: JUMPDEST
00000344: CALLVALUE
00000345: DUP1
00000346: ISZERO
00000347: PUSH2 0x034f
0000034a: JUMPI
0000034b: PUSH1 0x00
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: POP
00000351: PUSH2 0x0236
00000354: PUSH1 0x04
00000356: DUP1
00000357: CALLDATASIZE
00000358: SUB
00000359: PUSH1 0x20
0000035b: DUP2
0000035c: LT
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: CALLDATALOAD
00000369: PUSH2 0x0e24
0000036c: JUMP
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: DUP1
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: POP
0000037b: PUSH2 0x0397
0000037e: PUSH1 0x04
00000380: DUP1
00000381: CALLDATASIZE
00000382: SUB
00000383: PUSH1 0x20
00000385: DUP2
00000386: LT
00000387: ISZERO
00000388: PUSH2 0x0390
0000038b: JUMPI
0000038c: PUSH1 0x00
0000038e: DUP1
0000038f: REVERT
00000390: JUMPDEST
00000391: POP
00000392: CALLDATALOAD
00000393: PUSH2 0x0e46
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: DUP1
0000039b: MLOAD
0000039c: PUSH1 0x20
0000039e: DUP1
0000039f: DUP3
000003a0: MSTORE
000003a1: DUP4
000003a2: MLOAD
000003a3: DUP2
000003a4: DUP4
000003a5: ADD
000003a6: MSTORE
000003a7: DUP4
000003a8: MLOAD
000003a9: SWAP2
000003aa: SWAP3
000003ab: DUP4
000003ac: SWAP3
000003ad: SWAP1
000003ae: DUP4
000003af: ADD
000003b0: SWAP2
000003b1: DUP6
000003b2: ADD
000003b3: SWAP1
000003b4: DUP1
000003b5: DUP4
000003b6: DUP4
000003b7: PUSH1 0x00
000003b9: JUMPDEST
000003ba: DUP4
000003bb: DUP2
000003bc: LT
000003bd: ISZERO
000003be: PUSH2 0x03d1
000003c1: JUMPI
000003c2: DUP2
000003c3: DUP2
000003c4: ADD
000003c5: MLOAD
000003c6: DUP4
000003c7: DUP3
000003c8: ADD
000003c9: MSTORE
000003ca: PUSH1 0x20
000003cc: ADD
000003cd: PUSH2 0x03b9
000003d0: JUMP
000003d1: JUMPDEST
000003d2: POP
000003d3: POP
000003d4: POP
000003d5: POP
000003d6: SWAP1
000003d7: POP
000003d8: SWAP1
000003d9: DUP2
000003da: ADD
000003db: SWAP1
000003dc: PUSH1 0x1f
000003de: AND
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x03fe
000003e4: JUMPI
000003e5: DUP1
000003e6: DUP3
000003e7: SUB
000003e8: DUP1
000003e9: MLOAD
000003ea: PUSH1 0x01
000003ec: DUP4
000003ed: PUSH1 0x20
000003ef: SUB
000003f0: PUSH2 0x0100
000003f3: EXP
000003f4: SUB
000003f5: NOT
000003f6: AND
000003f7: DUP2
000003f8: MSTORE
000003f9: PUSH1 0x20
000003fb: ADD
000003fc: SWAP2
000003fd: POP
000003fe: JUMPDEST
000003ff: POP
00000400: SWAP3
00000401: POP
00000402: POP
00000403: POP
00000404: PUSH1 0x40
00000406: MLOAD
00000407: DUP1
00000408: SWAP2
00000409: SUB
0000040a: SWAP1
0000040b: RETURN
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0418
00000413: JUMPI
00000414: PUSH1 0x00
00000416: DUP1
00000417: REVERT
00000418: JUMPDEST
00000419: POP
0000041a: PUSH2 0x0341
0000041d: PUSH1 0x04
0000041f: DUP1
00000420: CALLDATASIZE
00000421: SUB
00000422: PUSH1 0x20
00000424: DUP2
00000425: LT
00000426: ISZERO
00000427: PUSH2 0x042f
0000042a: JUMPI
0000042b: PUSH1 0x00
0000042d: DUP1
0000042e: REVERT
0000042f: JUMPDEST
00000430: POP
00000431: CALLDATALOAD
00000432: ISZERO
00000433: ISZERO
00000434: PUSH2 0x0ede
00000437: JUMP
00000438: JUMPDEST
00000439: CALLVALUE
0000043a: DUP1
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: POP
00000446: PUSH2 0x0341
00000449: PUSH1 0x04
0000044b: DUP1
0000044c: CALLDATASIZE
0000044d: SUB
0000044e: PUSH1 0x40
00000450: DUP2
00000451: LT
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: DUP2
0000045d: ADD
0000045e: SWAP1
0000045f: PUSH1 0x20
00000461: DUP2
00000462: ADD
00000463: DUP2
00000464: CALLDATALOAD
00000465: PUSH1 0x01
00000467: PUSH1 0x20
00000469: SHL
0000046a: DUP2
0000046b: GT
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: DUP3
00000477: ADD
00000478: DUP4
00000479: PUSH1 0x20
0000047b: DUP3
0000047c: ADD
0000047d: GT
0000047e: ISZERO
0000047f: PUSH2 0x0487
00000482: JUMPI
00000483: PUSH1 0x00
00000485: DUP1
00000486: REVERT
00000487: JUMPDEST
00000488: DUP1
00000489: CALLDATALOAD
0000048a: SWAP1
0000048b: PUSH1 0x20
0000048d: ADD
0000048e: SWAP2
0000048f: DUP5
00000490: PUSH1 0x01
00000492: DUP4
00000493: MUL
00000494: DUP5
00000495: ADD
00000496: GT
00000497: PUSH1 0x01
00000499: PUSH1 0x20
0000049b: SHL
0000049c: DUP4
0000049d: GT
0000049e: OR
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: SWAP2
000004aa: SWAP1
000004ab: DUP1
000004ac: DUP1
000004ad: PUSH1 0x1f
000004af: ADD
000004b0: PUSH1 0x20
000004b2: DUP1
000004b3: SWAP2
000004b4: DIV
000004b5: MUL
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: SWAP1
000004bd: DUP2
000004be: ADD
000004bf: PUSH1 0x40
000004c1: MSTORE
000004c2: DUP1
000004c3: SWAP4
000004c4: SWAP3
000004c5: SWAP2
000004c6: SWAP1
000004c7: DUP2
000004c8: DUP2
000004c9: MSTORE
000004ca: PUSH1 0x20
000004cc: ADD
000004cd: DUP4
000004ce: DUP4
000004cf: DUP1
000004d0: DUP3
000004d1: DUP5
000004d2: CALLDATACOPY
000004d3: PUSH1 0x00
000004d5: SWAP3
000004d6: ADD
000004d7: SWAP2
000004d8: SWAP1
000004d9: SWAP2
000004da: MSTORE
000004db: POP
000004dc: SWAP3
000004dd: SWAP6
000004de: POP
000004df: POP
000004e0: SWAP2
000004e1: CALLDATALOAD
000004e2: SWAP3
000004e3: POP
000004e4: PUSH2 0x0fa2
000004e7: SWAP2
000004e8: POP
000004e9: POP
000004ea: JUMP
000004eb: JUMPDEST
000004ec: CALLVALUE
000004ed: DUP1
000004ee: ISZERO
000004ef: PUSH2 0x04f7
000004f2: JUMPI
000004f3: PUSH1 0x00
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: PUSH2 0x0341
000004fc: PUSH1 0x04
000004fe: DUP1
000004ff: CALLDATASIZE
00000500: SUB
00000501: PUSH1 0xa0
00000503: DUP2
00000504: LT
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: PUSH1 0x01
00000511: PUSH1 0x01
00000513: PUSH1 0xa0
00000515: SHL
00000516: SUB
00000517: DUP3
00000518: CALLDATALOAD
00000519: DUP2
0000051a: AND
0000051b: SWAP3
0000051c: PUSH1 0x20
0000051e: DUP2
0000051f: ADD
00000520: CALLDATALOAD
00000521: SWAP1
00000522: SWAP2
00000523: AND
00000524: SWAP2
00000525: DUP2
00000526: ADD
00000527: SWAP1
00000528: PUSH1 0x60
0000052a: DUP2
0000052b: ADD
0000052c: PUSH1 0x40
0000052e: DUP3
0000052f: ADD
00000530: CALLDATALOAD
00000531: PUSH1 0x01
00000533: PUSH1 0x20
00000535: SHL
00000536: DUP2
00000537: GT
00000538: ISZERO
00000539: PUSH2 0x0541
0000053c: JUMPI
0000053d: PUSH1 0x00
0000053f: DUP1
00000540: REVERT
00000541: JUMPDEST
00000542: DUP3
00000543: ADD
00000544: DUP4
00000545: PUSH1 0x20
00000547: DUP3
00000548: ADD
00000549: GT
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: DUP1
00000555: CALLDATALOAD
00000556: SWAP1
00000557: PUSH1 0x20
00000559: ADD
0000055a: SWAP2
0000055b: DUP5
0000055c: PUSH1 0x20
0000055e: DUP4
0000055f: MUL
00000560: DUP5
00000561: ADD
00000562: GT
00000563: PUSH1 0x01
00000565: PUSH1 0x20
00000567: SHL
00000568: DUP4
00000569: GT
0000056a: OR
0000056b: ISZERO
0000056c: PUSH2 0x0574
0000056f: JUMPI
00000570: PUSH1 0x00
00000572: DUP1
00000573: REVERT
00000574: JUMPDEST
00000575: SWAP2
00000576: SWAP1
00000577: DUP1
00000578: DUP1
00000579: PUSH1 0x20
0000057b: MUL
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: SWAP1
00000583: DUP2
00000584: ADD
00000585: PUSH1 0x40
00000587: MSTORE
00000588: DUP1
00000589: SWAP4
0000058a: SWAP3
0000058b: SWAP2
0000058c: SWAP1
0000058d: DUP2
0000058e: DUP2
0000058f: MSTORE
00000590: PUSH1 0x20
00000592: ADD
00000593: DUP4
00000594: DUP4
00000595: PUSH1 0x20
00000597: MUL
00000598: DUP1
00000599: DUP3
0000059a: DUP5
0000059b: CALLDATACOPY
0000059c: PUSH1 0x00
0000059e: SWAP3
0000059f: ADD
000005a0: SWAP2
000005a1: SWAP1
000005a2: SWAP2
000005a3: MSTORE
000005a4: POP
000005a5: SWAP3
000005a6: SWAP6
000005a7: SWAP5
000005a8: SWAP4
000005a9: PUSH1 0x20
000005ab: DUP2
000005ac: ADD
000005ad: SWAP4
000005ae: POP
000005af: CALLDATALOAD
000005b0: SWAP2
000005b1: POP
000005b2: POP
000005b3: PUSH1 0x01
000005b5: PUSH1 0x20
000005b7: SHL
000005b8: DUP2
000005b9: GT
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: DUP3
000005c5: ADD
000005c6: DUP4
000005c7: PUSH1 0x20
000005c9: DUP3
000005ca: ADD
000005cb: GT
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: DUP1
000005d7: CALLDATALOAD
000005d8: SWAP1
000005d9: PUSH1 0x20
000005db: ADD
000005dc: SWAP2
000005dd: DUP5
000005de: PUSH1 0x20
000005e0: DUP4
000005e1: MUL
000005e2: DUP5
000005e3: ADD
000005e4: GT
000005e5: PUSH1 0x01
000005e7: PUSH1 0x20
000005e9: SHL
000005ea: DUP4
000005eb: GT
000005ec: OR
000005ed: ISZERO
000005ee: PUSH2 0x05f6
000005f1: JUMPI
000005f2: PUSH1 0x00
000005f4: DUP1
000005f5: REVERT
000005f6: JUMPDEST
000005f7: SWAP2
000005f8: SWAP1
000005f9: DUP1
000005fa: DUP1
000005fb: PUSH1 0x20
000005fd: MUL
000005fe: PUSH1 0x20
00000600: ADD
00000601: PUSH1 0x40
00000603: MLOAD
00000604: SWAP1
00000605: DUP2
00000606: ADD
00000607: PUSH1 0x40
00000609: MSTORE
0000060a: DUP1
0000060b: SWAP4
0000060c: SWAP3
0000060d: SWAP2
0000060e: SWAP1
0000060f: DUP2
00000610: DUP2
00000611: MSTORE
00000612: PUSH1 0x20
00000614: ADD
00000615: DUP4
00000616: DUP4
00000617: PUSH1 0x20
00000619: MUL
0000061a: DUP1
0000061b: DUP3
0000061c: DUP5
0000061d: CALLDATACOPY
0000061e: PUSH1 0x00
00000620: SWAP3
00000621: ADD
00000622: SWAP2
00000623: SWAP1
00000624: SWAP2
00000625: MSTORE
00000626: POP
00000627: SWAP3
00000628: SWAP6
00000629: SWAP5
0000062a: SWAP4
0000062b: PUSH1 0x20
0000062d: DUP2
0000062e: ADD
0000062f: SWAP4
00000630: POP
00000631: CALLDATALOAD
00000632: SWAP2
00000633: POP
00000634: POP
00000635: PUSH1 0x01
00000637: PUSH1 0x20
00000639: SHL
0000063a: DUP2
0000063b: GT
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH1 0x00
00000643: DUP1
00000644: REVERT
00000645: JUMPDEST
00000646: DUP3
00000647: ADD
00000648: DUP4
00000649: PUSH1 0x20
0000064b: DUP3
0000064c: ADD
0000064d: GT
0000064e: ISZERO
0000064f: PUSH2 0x0657
00000652: JUMPI
00000653: PUSH1 0x00
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: DUP1
00000659: CALLDATALOAD
0000065a: SWAP1
0000065b: PUSH1 0x20
0000065d: ADD
0000065e: SWAP2
0000065f: DUP5
00000660: PUSH1 0x01
00000662: DUP4
00000663: MUL
00000664: DUP5
00000665: ADD
00000666: GT
00000667: PUSH1 0x01
00000669: PUSH1 0x20
0000066b: SHL
0000066c: DUP4
0000066d: GT
0000066e: OR
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: SWAP2
0000067a: SWAP1
0000067b: DUP1
0000067c: DUP1
0000067d: PUSH1 0x1f
0000067f: ADD
00000680: PUSH1 0x20
00000682: DUP1
00000683: SWAP2
00000684: DIV
00000685: MUL
00000686: PUSH1 0x20
00000688: ADD
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: SWAP1
0000068d: DUP2
0000068e: ADD
0000068f: PUSH1 0x40
00000691: MSTORE
00000692: DUP1
00000693: SWAP4
00000694: SWAP3
00000695: SWAP2
00000696: SWAP1
00000697: DUP2
00000698: DUP2
00000699: MSTORE
0000069a: PUSH1 0x20
0000069c: ADD
0000069d: DUP4
0000069e: DUP4
0000069f: DUP1
000006a0: DUP3
000006a1: DUP5
000006a2: CALLDATACOPY
000006a3: PUSH1 0x00
000006a5: SWAP3
000006a6: ADD
000006a7: SWAP2
000006a8: SWAP1
000006a9: SWAP2
000006aa: MSTORE
000006ab: POP
000006ac: SWAP3
000006ad: SWAP6
000006ae: POP
000006af: PUSH2 0x10bc
000006b2: SWAP5
000006b3: POP
000006b4: POP
000006b5: POP
000006b6: POP
000006b7: POP
000006b8: JUMP
000006b9: JUMPDEST
000006ba: CALLVALUE
000006bb: DUP1
000006bc: ISZERO
000006bd: PUSH2 0x06c5
000006c0: JUMPI
000006c1: PUSH1 0x00
000006c3: DUP1
000006c4: REVERT
000006c5: JUMPDEST
000006c6: POP
000006c7: PUSH2 0x0341
000006ca: PUSH1 0x04
000006cc: DUP1
000006cd: CALLDATASIZE
000006ce: SUB
000006cf: PUSH1 0x20
000006d1: DUP2
000006d2: LT
000006d3: ISZERO
000006d4: PUSH2 0x06dc
000006d7: JUMPI
000006d8: PUSH1 0x00
000006da: DUP1
000006db: REVERT
000006dc: JUMPDEST
000006dd: POP
000006de: CALLDATALOAD
000006df: ISZERO
000006e0: ISZERO
000006e1: PUSH2 0x13bf
000006e4: JUMP
000006e5: JUMPDEST
000006e6: CALLVALUE
000006e7: DUP1
000006e8: ISZERO
000006e9: PUSH2 0x06f1
000006ec: JUMPI
000006ed: PUSH1 0x00
000006ef: DUP1
000006f0: REVERT
000006f1: JUMPDEST
000006f2: POP
000006f3: PUSH2 0x0236
000006f6: PUSH1 0x04
000006f8: DUP1
000006f9: CALLDATASIZE
000006fa: SUB
000006fb: PUSH1 0x20
000006fd: DUP2
000006fe: LT
000006ff: ISZERO
00000700: PUSH2 0x0708
00000703: JUMPI
00000704: PUSH1 0x00
00000706: DUP1
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: CALLDATALOAD
0000070b: PUSH2 0x142a
0000070e: JUMP
0000070f: JUMPDEST
00000710: CALLVALUE
00000711: DUP1
00000712: ISZERO
00000713: PUSH2 0x071b
00000716: JUMPI
00000717: PUSH1 0x00
00000719: DUP1
0000071a: REVERT
0000071b: JUMPDEST
0000071c: POP
0000071d: PUSH2 0x0341
00000720: PUSH2 0x1445
00000723: JUMP
00000724: JUMPDEST
00000725: CALLVALUE
00000726: DUP1
00000727: ISZERO
00000728: PUSH2 0x0730
0000072b: JUMPI
0000072c: PUSH1 0x00
0000072e: DUP1
0000072f: REVERT
00000730: JUMPDEST
00000731: POP
00000732: PUSH2 0x074e
00000735: PUSH1 0x04
00000737: DUP1
00000738: CALLDATASIZE
00000739: SUB
0000073a: PUSH1 0x20
0000073c: DUP2
0000073d: LT
0000073e: ISZERO
0000073f: PUSH2 0x0747
00000742: JUMPI
00000743: PUSH1 0x00
00000745: DUP1
00000746: REVERT
00000747: JUMPDEST
00000748: POP
00000749: CALLDATALOAD
0000074a: PUSH2 0x14e8
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH1 0x40
00000751: DUP1
00000752: MLOAD
00000753: PUSH1 0x01
00000755: PUSH1 0x01
00000757: PUSH1 0xa0
00000759: SHL
0000075a: SUB
0000075b: SWAP1
0000075c: SWAP3
0000075d: AND
0000075e: DUP3
0000075f: MSTORE
00000760: MLOAD
00000761: SWAP1
00000762: DUP2
00000763: SWAP1
00000764: SUB
00000765: PUSH1 0x20
00000767: ADD
00000768: SWAP1
00000769: RETURN
0000076a: JUMPDEST
0000076b: CALLVALUE
0000076c: DUP1
0000076d: ISZERO
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: POP
00000778: PUSH2 0x0236
0000077b: PUSH2 0x1503
0000077e: JUMP
0000077f: JUMPDEST
00000780: CALLVALUE
00000781: DUP1
00000782: ISZERO
00000783: PUSH2 0x078b
00000786: JUMPI
00000787: PUSH1 0x00
00000789: DUP1
0000078a: REVERT
0000078b: JUMPDEST
0000078c: POP
0000078d: PUSH2 0x0236
00000790: PUSH2 0x1509
00000793: JUMP
00000794: JUMPDEST
00000795: CALLVALUE
00000796: DUP1
00000797: ISZERO
00000798: PUSH2 0x07a0
0000079b: JUMPI
0000079c: PUSH1 0x00
0000079e: DUP1
0000079f: REVERT
000007a0: JUMPDEST
000007a1: POP
000007a2: PUSH2 0x08c4
000007a5: PUSH1 0x04
000007a7: DUP1
000007a8: CALLDATASIZE
000007a9: SUB
000007aa: PUSH1 0x40
000007ac: DUP2
000007ad: LT
000007ae: ISZERO
000007af: PUSH2 0x07b7
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: REVERT
000007b7: JUMPDEST
000007b8: DUP2
000007b9: ADD
000007ba: SWAP1
000007bb: PUSH1 0x20
000007bd: DUP2
000007be: ADD
000007bf: DUP2
000007c0: CALLDATALOAD
000007c1: PUSH1 0x01
000007c3: PUSH1 0x20
000007c5: SHL
000007c6: DUP2
000007c7: GT
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: DUP3
000007d3: ADD
000007d4: DUP4
000007d5: PUSH1 0x20
000007d7: DUP3
000007d8: ADD
000007d9: GT
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: DUP1
000007e5: CALLDATALOAD
000007e6: SWAP1
000007e7: PUSH1 0x20
000007e9: ADD
000007ea: SWAP2
000007eb: DUP5
000007ec: PUSH1 0x20
000007ee: DUP4
000007ef: MUL
000007f0: DUP5
000007f1: ADD
000007f2: GT
000007f3: PUSH1 0x01
000007f5: PUSH1 0x20
000007f7: SHL
000007f8: DUP4
000007f9: GT
000007fa: OR
000007fb: ISZERO
000007fc: PUSH2 0x0804
000007ff: JUMPI
00000800: PUSH1 0x00
00000802: DUP1
00000803: REVERT
00000804: JUMPDEST
00000805: SWAP2
00000806: SWAP1
00000807: DUP1
00000808: DUP1
00000809: PUSH1 0x20
0000080b: MUL
0000080c: PUSH1 0x20
0000080e: ADD
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: SWAP1
00000813: DUP2
00000814: ADD
00000815: PUSH1 0x40
00000817: MSTORE
00000818: DUP1
00000819: SWAP4
0000081a: SWAP3
0000081b: SWAP2
0000081c: SWAP1
0000081d: DUP2
0000081e: DUP2
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: ADD
00000823: DUP4
00000824: DUP4
00000825: PUSH1 0x20
00000827: MUL
00000828: DUP1
00000829: DUP3
0000082a: DUP5
0000082b: CALLDATACOPY
0000082c: PUSH1 0x00
0000082e: SWAP3
0000082f: ADD
00000830: SWAP2
00000831: SWAP1
00000832: SWAP2
00000833: MSTORE
00000834: POP
00000835: SWAP3
00000836: SWAP6
00000837: SWAP5
00000838: SWAP4
00000839: PUSH1 0x20
0000083b: DUP2
0000083c: ADD
0000083d: SWAP4
0000083e: POP
0000083f: CALLDATALOAD
00000840: SWAP2
00000841: POP
00000842: POP
00000843: PUSH1 0x01
00000845: PUSH1 0x20
00000847: SHL
00000848: DUP2
00000849: GT
0000084a: ISZERO
0000084b: PUSH2 0x0853
0000084e: JUMPI
0000084f: PUSH1 0x00
00000851: DUP1
00000852: REVERT
00000853: JUMPDEST
00000854: DUP3
00000855: ADD
00000856: DUP4
00000857: PUSH1 0x20
00000859: DUP3
0000085a: ADD
0000085b: GT
0000085c: ISZERO
0000085d: PUSH2 0x0865
00000860: JUMPI
00000861: PUSH1 0x00
00000863: DUP1
00000864: REVERT
00000865: JUMPDEST
00000866: DUP1
00000867: CALLDATALOAD
00000868: SWAP1
00000869: PUSH1 0x20
0000086b: ADD
0000086c: SWAP2
0000086d: DUP5
0000086e: PUSH1 0x20
00000870: DUP4
00000871: MUL
00000872: DUP5
00000873: ADD
00000874: GT
00000875: PUSH1 0x01
00000877: PUSH1 0x20
00000879: SHL
0000087a: DUP4
0000087b: GT
0000087c: OR
0000087d: ISZERO
0000087e: PUSH2 0x0886
00000881: JUMPI
00000882: PUSH1 0x00
00000884: DUP1
00000885: REVERT
00000886: JUMPDEST
00000887: SWAP2
00000888: SWAP1
00000889: DUP1
0000088a: DUP1
0000088b: PUSH1 0x20
0000088d: MUL
0000088e: PUSH1 0x20
00000890: ADD
00000891: PUSH1 0x40
00000893: MLOAD
00000894: SWAP1
00000895: DUP2
00000896: ADD
00000897: PUSH1 0x40
00000899: MSTORE
0000089a: DUP1
0000089b: SWAP4
0000089c: SWAP3
0000089d: SWAP2
0000089e: SWAP1
0000089f: DUP2
000008a0: DUP2
000008a1: MSTORE
000008a2: PUSH1 0x20
000008a4: ADD
000008a5: DUP4
000008a6: DUP4
000008a7: PUSH1 0x20
000008a9: MUL
000008aa: DUP1
000008ab: DUP3
000008ac: DUP5
000008ad: CALLDATACOPY
000008ae: PUSH1 0x00
000008b0: SWAP3
000008b1: ADD
000008b2: SWAP2
000008b3: SWAP1
000008b4: SWAP2
000008b5: MSTORE
000008b6: POP
000008b7: SWAP3
000008b8: SWAP6
000008b9: POP
000008ba: PUSH2 0x150f
000008bd: SWAP5
000008be: POP
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: JUMP
000008c4: JUMPDEST
000008c5: PUSH1 0x40
000008c7: DUP1
000008c8: MLOAD
000008c9: PUSH1 0x20
000008cb: DUP1
000008cc: DUP3
000008cd: MSTORE
000008ce: DUP4
000008cf: MLOAD
000008d0: DUP2
000008d1: DUP4
000008d2: ADD
000008d3: MSTORE
000008d4: DUP4
000008d5: MLOAD
000008d6: SWAP2
000008d7: SWAP3
000008d8: DUP4
000008d9: SWAP3
000008da: SWAP1
000008db: DUP4
000008dc: ADD
000008dd: SWAP2
000008de: DUP6
000008df: DUP2
000008e0: ADD
000008e1: SWAP2
000008e2: MUL
000008e3: DUP1
000008e4: DUP4
000008e5: DUP4
000008e6: PUSH1 0x00
000008e8: JUMPDEST
000008e9: DUP4
000008ea: DUP2
000008eb: LT
000008ec: ISZERO
000008ed: PUSH2 0x0900
000008f0: JUMPI
000008f1: DUP2
000008f2: DUP2
000008f3: ADD
000008f4: MLOAD
000008f5: DUP4
000008f6: DUP3
000008f7: ADD
000008f8: MSTORE
000008f9: PUSH1 0x20
000008fb: ADD
000008fc: PUSH2 0x08e8
000008ff: JUMP
00000900: JUMPDEST
00000901: POP
00000902: POP
00000903: POP
00000904: POP
00000905: SWAP1
00000906: POP
00000907: ADD
00000908: SWAP3
00000909: POP
0000090a: POP
0000090b: POP
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: DUP1
00000910: SWAP2
00000911: SUB
00000912: SWAP1
00000913: RETURN
00000914: JUMPDEST
00000915: CALLVALUE
00000916: DUP1
00000917: ISZERO
00000918: PUSH2 0x0920
0000091b: JUMPI
0000091c: PUSH1 0x00
0000091e: DUP1
0000091f: REVERT
00000920: JUMPDEST
00000921: POP
00000922: PUSH2 0x0236
00000925: PUSH1 0x04
00000927: DUP1
00000928: CALLDATASIZE
00000929: SUB
0000092a: PUSH1 0x40
0000092c: DUP2
0000092d: LT
0000092e: ISZERO
0000092f: PUSH2 0x0937
00000932: JUMPI
00000933: PUSH1 0x00
00000935: DUP1
00000936: REVERT
00000937: JUMPDEST
00000938: POP
00000939: DUP1
0000093a: CALLDATALOAD
0000093b: SWAP1
0000093c: PUSH1 0x20
0000093e: ADD
0000093f: CALLDATALOAD
00000940: PUSH1 0x01
00000942: PUSH1 0x01
00000944: PUSH1 0xa0
00000946: SHL
00000947: SUB
00000948: AND
00000949: PUSH2 0x168d
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH2 0x0236
00000951: PUSH1 0x04
00000953: DUP1
00000954: CALLDATASIZE
00000955: SUB
00000956: PUSH1 0x20
00000958: DUP2
00000959: LT
0000095a: ISZERO
0000095b: PUSH2 0x0963
0000095e: JUMPI
0000095f: PUSH1 0x00
00000961: DUP1
00000962: REVERT
00000963: JUMPDEST
00000964: POP
00000965: CALLDATALOAD
00000966: PUSH2 0x17b6
00000969: JUMP
0000096a: JUMPDEST
0000096b: CALLVALUE
0000096c: DUP1
0000096d: ISZERO
0000096e: PUSH2 0x0976
00000971: JUMPI
00000972: PUSH1 0x00
00000974: DUP1
00000975: REVERT
00000976: JUMPDEST
00000977: POP
00000978: PUSH2 0x0236
0000097b: PUSH2 0x1b0d
0000097e: JUMP
0000097f: JUMPDEST
00000980: CALLVALUE
00000981: DUP1
00000982: ISZERO
00000983: PUSH2 0x098b
00000986: JUMPI
00000987: PUSH1 0x00
00000989: DUP1
0000098a: REVERT
0000098b: JUMPDEST
0000098c: POP
0000098d: PUSH2 0x0341
00000990: PUSH2 0x1b13
00000993: JUMP
00000994: JUMPDEST
00000995: CALLVALUE
00000996: DUP1
00000997: ISZERO
00000998: PUSH2 0x09a0
0000099b: JUMPI
0000099c: PUSH1 0x00
0000099e: DUP1
0000099f: REVERT
000009a0: JUMPDEST
000009a1: POP
000009a2: PUSH2 0x074e
000009a5: PUSH2 0x1bb5
000009a8: JUMP
000009a9: JUMPDEST
000009aa: CALLVALUE
000009ab: DUP1
000009ac: ISZERO
000009ad: PUSH2 0x09b5
000009b0: JUMPI
000009b1: PUSH1 0x00
000009b3: DUP1
000009b4: REVERT
000009b5: JUMPDEST
000009b6: POP
000009b7: PUSH2 0x0341
000009ba: PUSH1 0x04
000009bc: DUP1
000009bd: CALLDATASIZE
000009be: SUB
000009bf: PUSH1 0x20
000009c1: DUP2
000009c2: LT
000009c3: ISZERO
000009c4: PUSH2 0x09cc
000009c7: JUMPI
000009c8: PUSH1 0x00
000009ca: DUP1
000009cb: REVERT
000009cc: JUMPDEST
000009cd: POP
000009ce: CALLDATALOAD
000009cf: PUSH2 0x1bc5
000009d2: JUMP
000009d3: JUMPDEST
000009d4: CALLVALUE
000009d5: DUP1
000009d6: ISZERO
000009d7: PUSH2 0x09df
000009da: JUMPI
000009db: PUSH1 0x00
000009dd: DUP1
000009de: REVERT
000009df: JUMPDEST
000009e0: POP
000009e1: PUSH2 0x0236
000009e4: PUSH1 0x04
000009e6: DUP1
000009e7: CALLDATASIZE
000009e8: SUB
000009e9: PUSH1 0x20
000009eb: DUP2
000009ec: LT
000009ed: ISZERO
000009ee: PUSH2 0x09f6
000009f1: JUMPI
000009f2: PUSH1 0x00
000009f4: DUP1
000009f5: REVERT
000009f6: JUMPDEST
000009f7: POP
000009f8: CALLDATALOAD
000009f9: PUSH2 0x1c70
000009fc: JUMP
000009fd: JUMPDEST
000009fe: CALLVALUE
000009ff: DUP1
00000a00: ISZERO
00000a01: PUSH2 0x0a09
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP1
00000a08: REVERT
00000a09: JUMPDEST
00000a0a: POP
00000a0b: PUSH2 0x0341
00000a0e: PUSH1 0x04
00000a10: DUP1
00000a11: CALLDATASIZE
00000a12: SUB
00000a13: PUSH1 0x40
00000a15: DUP2
00000a16: LT
00000a17: ISZERO
00000a18: PUSH2 0x0a20
00000a1b: JUMPI
00000a1c: PUSH1 0x00
00000a1e: DUP1
00000a1f: REVERT
00000a20: JUMPDEST
00000a21: POP
00000a22: PUSH1 0x01
00000a24: PUSH1 0x01
00000a26: PUSH1 0xa0
00000a28: SHL
00000a29: SUB
00000a2a: DUP2
00000a2b: CALLDATALOAD
00000a2c: AND
00000a2d: SWAP1
00000a2e: PUSH1 0x20
00000a30: ADD
00000a31: CALLDATALOAD
00000a32: ISZERO
00000a33: ISZERO
00000a34: PUSH2 0x1dca
00000a37: JUMP
00000a38: JUMPDEST
00000a39: CALLVALUE
00000a3a: DUP1
00000a3b: ISZERO
00000a3c: PUSH2 0x0a44
00000a3f: JUMPI
00000a40: PUSH1 0x00
00000a42: DUP1
00000a43: REVERT
00000a44: JUMPDEST
00000a45: POP
00000a46: PUSH2 0x0341
00000a49: PUSH2 0x1eb9
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: CALLVALUE
00000a4f: DUP1
00000a50: ISZERO
00000a51: PUSH2 0x0a59
00000a54: JUMPI
00000a55: PUSH1 0x00
00000a57: DUP1
00000a58: REVERT
00000a59: JUMPDEST
00000a5a: POP
00000a5b: PUSH2 0x0236
00000a5e: PUSH1 0x04
00000a60: DUP1
00000a61: CALLDATASIZE
00000a62: SUB
00000a63: PUSH1 0x20
00000a65: DUP2
00000a66: LT
00000a67: ISZERO
00000a68: PUSH2 0x0a70
00000a6b: JUMPI
00000a6c: PUSH1 0x00
00000a6e: DUP1
00000a6f: REVERT
00000a70: JUMPDEST
00000a71: POP
00000a72: CALLDATALOAD
00000a73: PUSH2 0x1f6a
00000a76: JUMP
00000a77: JUMPDEST
00000a78: CALLVALUE
00000a79: DUP1
00000a7a: ISZERO
00000a7b: PUSH2 0x0a83
00000a7e: JUMPI
00000a7f: PUSH1 0x00
00000a81: DUP1
00000a82: REVERT
00000a83: JUMPDEST
00000a84: POP
00000a85: PUSH2 0x0236
00000a88: PUSH1 0x04
00000a8a: DUP1
00000a8b: CALLDATASIZE
00000a8c: SUB
00000a8d: PUSH1 0x20
00000a8f: DUP2
00000a90: LT
00000a91: ISZERO
00000a92: PUSH2 0x0a9a
00000a95: JUMPI
00000a96: PUSH1 0x00
00000a98: DUP1
00000a99: REVERT
00000a9a: JUMPDEST
00000a9b: POP
00000a9c: CALLDATALOAD
00000a9d: PUSH2 0x1f7c
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: CALLVALUE
00000aa3: DUP1
00000aa4: ISZERO
00000aa5: PUSH2 0x0aad
00000aa8: JUMPI
00000aa9: PUSH1 0x00
00000aab: DUP1
00000aac: REVERT
00000aad: JUMPDEST
00000aae: POP
00000aaf: PUSH2 0x0236
00000ab2: PUSH1 0x04
00000ab4: DUP1
00000ab5: CALLDATASIZE
00000ab6: SUB
00000ab7: PUSH1 0x20
00000ab9: DUP2
00000aba: LT
00000abb: ISZERO
00000abc: PUSH2 0x0ac4
00000abf: JUMPI
00000ac0: PUSH1 0x00
00000ac2: DUP1
00000ac3: REVERT
00000ac4: JUMPDEST
00000ac5: POP
00000ac6: CALLDATALOAD
00000ac7: PUSH2 0x1fa3
00000aca: JUMP
00000acb: JUMPDEST
00000acc: CALLVALUE
00000acd: DUP1
00000ace: ISZERO
00000acf: PUSH2 0x0ad7
00000ad2: JUMPI
00000ad3: PUSH1 0x00
00000ad5: DUP1
00000ad6: REVERT
00000ad7: JUMPDEST
00000ad8: POP
00000ad9: PUSH2 0x0236
00000adc: PUSH2 0x1fcd
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: CALLVALUE
00000ae2: DUP1
00000ae3: ISZERO
00000ae4: PUSH2 0x0aec
00000ae7: JUMPI
00000ae8: PUSH1 0x00
00000aea: DUP1
00000aeb: REVERT
00000aec: JUMPDEST
00000aed: POP
00000aee: PUSH2 0x027c
00000af1: PUSH1 0x04
00000af3: DUP1
00000af4: CALLDATASIZE
00000af5: SUB
00000af6: PUSH1 0x40
00000af8: DUP2
00000af9: LT
00000afa: ISZERO
00000afb: PUSH2 0x0b03
00000afe: JUMPI
00000aff: PUSH1 0x00
00000b01: DUP1
00000b02: REVERT
00000b03: JUMPDEST
00000b04: POP
00000b05: PUSH1 0x01
00000b07: PUSH1 0x01
00000b09: PUSH1 0xa0
00000b0b: SHL
00000b0c: SUB
00000b0d: DUP2
00000b0e: CALLDATALOAD
00000b0f: DUP2
00000b10: AND
00000b11: SWAP2
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: CALLDATALOAD
00000b16: AND
00000b17: PUSH2 0x1fd3
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: CALLVALUE
00000b1d: DUP1
00000b1e: ISZERO
00000b1f: PUSH2 0x0b27
00000b22: JUMPI
00000b23: PUSH1 0x00
00000b25: DUP1
00000b26: REVERT
00000b27: JUMPDEST
00000b28: POP
00000b29: PUSH2 0x0236
00000b2c: PUSH1 0x04
00000b2e: DUP1
00000b2f: CALLDATASIZE
00000b30: SUB
00000b31: PUSH1 0x20
00000b33: DUP2
00000b34: LT
00000b35: ISZERO
00000b36: PUSH2 0x0b3e
00000b39: JUMPI
00000b3a: PUSH1 0x00
00000b3c: DUP1
00000b3d: REVERT
00000b3e: JUMPDEST
00000b3f: POP
00000b40: CALLDATALOAD
00000b41: PUSH2 0x2001
00000b44: JUMP
00000b45: JUMPDEST
00000b46: CALLVALUE
00000b47: DUP1
00000b48: ISZERO
00000b49: PUSH2 0x0b51
00000b4c: JUMPI
00000b4d: PUSH1 0x00
00000b4f: DUP1
00000b50: REVERT
00000b51: JUMPDEST
00000b52: POP
00000b53: PUSH2 0x0341
00000b56: PUSH1 0x04
00000b58: DUP1
00000b59: CALLDATASIZE
00000b5a: SUB
00000b5b: PUSH1 0xa0
00000b5d: DUP2
00000b5e: LT
00000b5f: ISZERO
00000b60: PUSH2 0x0b68
00000b63: JUMPI
00000b64: PUSH1 0x00
00000b66: DUP1
00000b67: REVERT
00000b68: JUMPDEST
00000b69: PUSH1 0x01
00000b6b: PUSH1 0x01
00000b6d: PUSH1 0xa0
00000b6f: SHL
00000b70: SUB
00000b71: DUP3
00000b72: CALLDATALOAD
00000b73: DUP2
00000b74: AND
00000b75: SWAP3
00000b76: PUSH1 0x20
00000b78: DUP2
00000b79: ADD
00000b7a: CALLDATALOAD
00000b7b: SWAP1
00000b7c: SWAP2
00000b7d: AND
00000b7e: SWAP2
00000b7f: PUSH1 0x40
00000b81: DUP3
00000b82: ADD
00000b83: CALLDATALOAD
00000b84: SWAP2
00000b85: PUSH1 0x60
00000b87: DUP2
00000b88: ADD
00000b89: CALLDATALOAD
00000b8a: SWAP2
00000b8b: DUP2
00000b8c: ADD
00000b8d: SWAP1
00000b8e: PUSH1 0xa0
00000b90: DUP2
00000b91: ADD
00000b92: PUSH1 0x80
00000b94: DUP3
00000b95: ADD
00000b96: CALLDATALOAD
00000b97: PUSH1 0x01
00000b99: PUSH1 0x20
00000b9b: SHL
00000b9c: DUP2
00000b9d: GT
00000b9e: ISZERO
00000b9f: PUSH2 0x0ba7
00000ba2: JUMPI
00000ba3: PUSH1 0x00
00000ba5: DUP1
00000ba6: REVERT
00000ba7: JUMPDEST
00000ba8: DUP3
00000ba9: ADD
00000baa: DUP4
00000bab: PUSH1 0x20
00000bad: DUP3
00000bae: ADD
00000baf: GT
00000bb0: ISZERO
00000bb1: PUSH2 0x0bb9
00000bb4: JUMPI
00000bb5: PUSH1 0x00
00000bb7: DUP1
00000bb8: REVERT
00000bb9: JUMPDEST
00000bba: DUP1
00000bbb: CALLDATALOAD
00000bbc: SWAP1
00000bbd: PUSH1 0x20
00000bbf: ADD
00000bc0: SWAP2
00000bc1: DUP5
00000bc2: PUSH1 0x01
00000bc4: DUP4
00000bc5: MUL
00000bc6: DUP5
00000bc7: ADD
00000bc8: GT
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0x20
00000bcd: SHL
00000bce: DUP4
00000bcf: GT
00000bd0: OR
00000bd1: ISZERO
00000bd2: PUSH2 0x0bda
00000bd5: JUMPI
00000bd6: PUSH1 0x00
00000bd8: DUP1
00000bd9: REVERT
00000bda: JUMPDEST
00000bdb: SWAP2
00000bdc: SWAP1
00000bdd: DUP1
00000bde: DUP1
00000bdf: PUSH1 0x1f
00000be1: ADD
00000be2: PUSH1 0x20
00000be4: DUP1
00000be5: SWAP2
00000be6: DIV
00000be7: MUL
00000be8: PUSH1 0x20
00000bea: ADD
00000beb: PUSH1 0x40
00000bed: MLOAD
00000bee: SWAP1
00000bef: DUP2
00000bf0: ADD
00000bf1: PUSH1 0x40
00000bf3: MSTORE
00000bf4: DUP1
00000bf5: SWAP4
00000bf6: SWAP3
00000bf7: SWAP2
00000bf8: SWAP1
00000bf9: DUP2
00000bfa: DUP2
00000bfb: MSTORE
00000bfc: PUSH1 0x20
00000bfe: ADD
00000bff: DUP4
00000c00: DUP4
00000c01: DUP1
00000c02: DUP3
00000c03: DUP5
00000c04: CALLDATACOPY
00000c05: PUSH1 0x00
00000c07: SWAP3
00000c08: ADD
00000c09: SWAP2
00000c0a: SWAP1
00000c0b: SWAP2
00000c0c: MSTORE
00000c0d: POP
00000c0e: SWAP3
00000c0f: SWAP6
00000c10: POP
00000c11: PUSH2 0x200b
00000c14: SWAP5
00000c15: POP
00000c16: POP
00000c17: POP
00000c18: POP
00000c19: POP
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: CALLVALUE
00000c1d: DUP1
00000c1e: ISZERO
00000c1f: PUSH2 0x0c27
00000c22: JUMPI
00000c23: PUSH1 0x00
00000c25: DUP1
00000c26: REVERT
00000c27: JUMPDEST
00000c28: POP
00000c29: PUSH2 0x0341
00000c2c: PUSH1 0x04
00000c2e: DUP1
00000c2f: CALLDATASIZE
00000c30: SUB
00000c31: PUSH1 0x20
00000c33: DUP2
00000c34: LT
00000c35: ISZERO
00000c36: PUSH2 0x0c3e
00000c39: JUMPI
00000c3a: PUSH1 0x00
00000c3c: DUP1
00000c3d: REVERT
00000c3e: JUMPDEST
00000c3f: POP
00000c40: CALLDATALOAD
00000c41: PUSH1 0x01
00000c43: PUSH1 0x01
00000c45: PUSH1 0xa0
00000c47: SHL
00000c48: SUB
00000c49: AND
00000c4a: PUSH2 0x21dc
00000c4d: JUMP
00000c4e: JUMPDEST
00000c4f: CALLVALUE
00000c50: DUP1
00000c51: ISZERO
00000c52: PUSH2 0x0c5a
00000c55: JUMPI
00000c56: PUSH1 0x00
00000c58: DUP1
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: POP
00000c5c: PUSH2 0x0341
00000c5f: PUSH1 0x04
00000c61: DUP1
00000c62: CALLDATASIZE
00000c63: SUB
00000c64: PUSH1 0x20
00000c66: DUP2
00000c67: LT
00000c68: ISZERO
00000c69: PUSH2 0x0c71
00000c6c: JUMPI
00000c6d: PUSH1 0x00
00000c6f: DUP1
00000c70: REVERT
00000c71: JUMPDEST
00000c72: DUP2
00000c73: ADD
00000c74: SWAP1
00000c75: PUSH1 0x20
00000c77: DUP2
00000c78: ADD
00000c79: DUP2
00000c7a: CALLDATALOAD
00000c7b: PUSH1 0x01
00000c7d: PUSH1 0x20
00000c7f: SHL
00000c80: DUP2
00000c81: GT
00000c82: ISZERO
00000c83: PUSH2 0x0c8b
00000c86: JUMPI
00000c87: PUSH1 0x00
00000c89: DUP1
00000c8a: REVERT
00000c8b: JUMPDEST
00000c8c: DUP3
00000c8d: ADD
00000c8e: DUP4
00000c8f: PUSH1 0x20
00000c91: DUP3
00000c92: ADD
00000c93: GT
00000c94: ISZERO
00000c95: PUSH2 0x0c9d
00000c98: JUMPI
00000c99: PUSH1 0x00
00000c9b: DUP1
00000c9c: REVERT
00000c9d: JUMPDEST
00000c9e: DUP1
00000c9f: CALLDATALOAD
00000ca0: SWAP1
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: SWAP2
00000ca5: DUP5
00000ca6: PUSH1 0x01
00000ca8: DUP4
00000ca9: MUL
00000caa: DUP5
00000cab: ADD
00000cac: GT
00000cad: PUSH1 0x01
00000caf: PUSH1 0x20
00000cb1: SHL
00000cb2: DUP4
00000cb3: GT
00000cb4: OR
00000cb5: ISZERO
00000cb6: PUSH2 0x0cbe
00000cb9: JUMPI
00000cba: PUSH1 0x00
00000cbc: DUP1
00000cbd: REVERT
00000cbe: JUMPDEST
00000cbf: SWAP2
00000cc0: SWAP1
00000cc1: DUP1
00000cc2: DUP1
00000cc3: PUSH1 0x1f
00000cc5: ADD
00000cc6: PUSH1 0x20
00000cc8: DUP1
00000cc9: SWAP2
00000cca: DIV
00000ccb: MUL
00000ccc: PUSH1 0x20
00000cce: ADD
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: SWAP1
00000cd3: DUP2
00000cd4: ADD
00000cd5: PUSH1 0x40
00000cd7: MSTORE
00000cd8: DUP1
00000cd9: SWAP4
00000cda: SWAP3
00000cdb: SWAP2
00000cdc: SWAP1
00000cdd: DUP2
00000cde: DUP2
00000cdf: MSTORE
00000ce0: PUSH1 0x20
00000ce2: ADD
00000ce3: DUP4
00000ce4: DUP4
00000ce5: DUP1
00000ce6: DUP3
00000ce7: DUP5
00000ce8: CALLDATACOPY
00000ce9: PUSH1 0x00
00000ceb: SWAP3
00000cec: ADD
00000ced: SWAP2
00000cee: SWAP1
00000cef: SWAP2
00000cf0: MSTORE
00000cf1: POP
00000cf2: SWAP3
00000cf3: SWAP6
00000cf4: POP
00000cf5: PUSH2 0x22d4
00000cf8: SWAP5
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: POP
00000cfd: POP
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: CALLVALUE
00000d01: DUP1
00000d02: ISZERO
00000d03: PUSH2 0x0d0b
00000d06: JUMPI
00000d07: PUSH1 0x00
00000d09: DUP1
00000d0a: REVERT
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: PUSH2 0x0341
00000d10: PUSH1 0x04
00000d12: DUP1
00000d13: CALLDATASIZE
00000d14: SUB
00000d15: PUSH1 0x40
00000d17: DUP2
00000d18: LT
00000d19: ISZERO
00000d1a: PUSH2 0x0d22
00000d1d: JUMPI
00000d1e: PUSH1 0x00
00000d20: DUP1
00000d21: REVERT
00000d22: JUMPDEST
00000d23: POP
00000d24: DUP1
00000d25: CALLDATALOAD
00000d26: SWAP1
00000d27: PUSH1 0x20
00000d29: ADD
00000d2a: CALLDATALOAD
00000d2b: PUSH2 0x23bb
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: PUSH1 0x00
00000d32: PUSH1 0x01
00000d34: PUSH1 0x01
00000d36: PUSH1 0xa0
00000d38: SHL
00000d39: SUB
00000d3a: DUP4
00000d3b: AND
00000d3c: PUSH2 0x0d76
00000d3f: JUMPI
00000d40: PUSH1 0x40
00000d42: MLOAD
00000d43: PUSH3 0x461bcd
00000d47: PUSH1 0xe5
00000d49: SHL
00000d4a: DUP2
00000d4b: MSTORE
00000d4c: PUSH1 0x04
00000d4e: ADD
00000d4f: DUP1
00000d50: DUP1
00000d51: PUSH1 0x20
00000d53: ADD
00000d54: DUP3
00000d55: DUP2
00000d56: SUB
00000d57: DUP3
00000d58: MSTORE
00000d59: PUSH1 0x2b
00000d5b: DUP2
00000d5c: MSTORE
00000d5d: PUSH1 0x20
00000d5f: ADD
00000d60: DUP1
00000d61: PUSH2 0x327f
00000d64: PUSH1 0x2b
00000d66: SWAP2
00000d67: CODECOPY
00000d68: PUSH1 0x40
00000d6a: ADD
00000d6b: SWAP2
00000d6c: POP
00000d6d: POP
00000d6e: PUSH1 0x40
00000d70: MLOAD
00000d71: DUP1
00000d72: SWAP2
00000d73: SUB
00000d74: SWAP1
00000d75: REVERT
00000d76: JUMPDEST
00000d77: POP
00000d78: PUSH1 0x00
00000d7a: DUP2
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: PUSH1 0x02
00000d7f: PUSH1 0x20
00000d81: SWAP1
00000d82: DUP2
00000d83: MSTORE
00000d84: PUSH1 0x40
00000d86: DUP1
00000d87: DUP4
00000d88: KECCAK256
00000d89: PUSH1 0x01
00000d8b: PUSH1 0x01
00000d8d: PUSH1 0xa0
00000d8f: SHL
00000d90: SUB
00000d91: DUP7
00000d92: AND
00000d93: DUP5
00000d94: MSTORE
00000d95: SWAP1
00000d96: SWAP2
00000d97: MSTORE
00000d98: SWAP1
00000d99: KECCAK256
00000d9a: SLOAD
00000d9b: JUMPDEST
00000d9c: SWAP3
00000d9d: SWAP2
00000d9e: POP
00000d9f: POP
00000da0: JUMP
00000da1: JUMPDEST
00000da2: PUSH1 0x01
00000da4: PUSH1 0x01
00000da6: PUSH1 0xe0
00000da8: SHL
00000da9: SUB
00000daa: NOT
00000dab: AND
00000dac: PUSH1 0x00
00000dae: SWAP1
00000daf: DUP2
00000db0: MSTORE
00000db1: PUSH1 0x01
00000db3: PUSH1 0x20
00000db5: MSTORE
00000db6: PUSH1 0x40
00000db8: SWAP1
00000db9: KECCAK256
00000dba: SLOAD
00000dbb: PUSH1 0xff
00000dbd: AND
00000dbe: SWAP1
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH2 0x0dc8
00000dc4: PUSH2 0x269d
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: PUSH1 0x00
00000dcb: SLOAD
00000dcc: PUSH1 0x01
00000dce: PUSH1 0x01
00000dd0: PUSH1 0xa0
00000dd2: SHL
00000dd3: SUB
00000dd4: SWAP1
00000dd5: DUP2
00000dd6: AND
00000dd7: SWAP2
00000dd8: AND
00000dd9: EQ
00000dda: PUSH2 0x0e18
00000ddd: JUMPI
00000dde: PUSH1 0x40
00000de0: DUP1
00000de1: MLOAD
00000de2: PUSH3 0x461bcd
00000de6: PUSH1 0xe5
00000de8: SHL
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x20
00000ded: PUSH1 0x04
00000def: DUP3
00000df0: ADD
00000df1: DUP2
00000df2: SWAP1
00000df3: MSTORE
00000df4: PUSH1 0x24
00000df6: DUP3
00000df7: ADD
00000df8: MSTORE
00000df9: PUSH1 0x00
00000dfb: DUP1
00000dfc: MLOAD
00000dfd: PUSH1 0x20
00000dff: PUSH2 0x3413
00000e02: DUP4
00000e03: CODECOPY
00000e04: DUP2
00000e05: MLOAD
00000e06: SWAP2
00000e07: MSTORE
00000e08: PUSH1 0x44
00000e0a: DUP3
00000e0b: ADD
00000e0c: MSTORE
00000e0d: SWAP1
00000e0e: MLOAD
00000e0f: SWAP1
00000e10: DUP2
00000e11: SWAP1
00000e12: SUB
00000e13: PUSH1 0x64
00000e15: ADD
00000e16: SWAP1
00000e17: REVERT
00000e18: JUMPDEST
00000e19: PUSH2 0x0e21
00000e1c: DUP2
00000e1d: PUSH2 0x26a1
00000e20: JUMP
00000e21: JUMPDEST
00000e22: POP
00000e23: JUMP
00000e24: JUMPDEST
00000e25: PUSH1 0x00
00000e27: DUP1
00000e28: PUSH2 0x0e30
00000e2b: DUP4
00000e2c: PUSH2 0x2001
00000e2f: JUMP
00000e30: JUMPDEST
00000e31: PUSH1 0x00
00000e33: SWAP1
00000e34: DUP2
00000e35: MSTORE
00000e36: PUSH1 0x0b
00000e38: PUSH1 0x20
00000e3a: MSTORE
00000e3b: PUSH1 0x40
00000e3d: SWAP1
00000e3e: KECCAK256
00000e3f: SLOAD
00000e40: SWAP4
00000e41: SWAP3
00000e42: POP
00000e43: POP
00000e44: POP
00000e45: JUMP
00000e46: JUMPDEST
00000e47: PUSH1 0x04
00000e49: DUP1
00000e4a: SLOAD
00000e4b: PUSH1 0x40
00000e4d: DUP1
00000e4e: MLOAD
00000e4f: PUSH1 0x20
00000e51: PUSH1 0x1f
00000e53: PUSH1 0x02
00000e55: PUSH1 0x00
00000e57: NOT
00000e58: PUSH2 0x0100
00000e5b: PUSH1 0x01
00000e5d: DUP9
00000e5e: AND
00000e5f: ISZERO
00000e60: MUL
00000e61: ADD
00000e62: SWAP1
00000e63: SWAP6
00000e64: AND
00000e65: SWAP5
00000e66: SWAP1
00000e67: SWAP5
00000e68: DIV
00000e69: SWAP4
00000e6a: DUP5
00000e6b: ADD
00000e6c: DUP2
00000e6d: SWAP1
00000e6e: DIV
00000e6f: DUP2
00000e70: MUL
00000e71: DUP3
00000e72: ADD
00000e73: DUP2
00000e74: ADD
00000e75: SWAP1
00000e76: SWAP3
00000e77: MSTORE
00000e78: DUP3
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x60
00000e7d: SWAP4
00000e7e: SWAP1
00000e7f: SWAP3
00000e80: SWAP1
00000e81: SWAP2
00000e82: DUP4
00000e83: ADD
00000e84: DUP3
00000e85: DUP3
00000e86: DUP1
00000e87: ISZERO
00000e88: PUSH2 0x0ed2
00000e8b: JUMPI
00000e8c: DUP1
00000e8d: PUSH1 0x1f
00000e8f: LT
00000e90: PUSH2 0x0ea7
00000e93: JUMPI
00000e94: PUSH2 0x0100
00000e97: DUP1
00000e98: DUP4
00000e99: SLOAD
00000e9a: DIV
00000e9b: MUL
00000e9c: DUP4
00000e9d: MSTORE
00000e9e: SWAP2
00000e9f: PUSH1 0x20
00000ea1: ADD
00000ea2: SWAP2
00000ea3: PUSH2 0x0ed2
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: DUP3
00000ea9: ADD
00000eaa: SWAP2
00000eab: SWAP1
00000eac: PUSH1 0x00
00000eae: MSTORE
00000eaf: PUSH1 0x20
00000eb1: PUSH1 0x00
00000eb3: KECCAK256
00000eb4: SWAP1
00000eb5: JUMPDEST
00000eb6: DUP2
00000eb7: SLOAD
00000eb8: DUP2
00000eb9: MSTORE
00000eba: SWAP1
00000ebb: PUSH1 0x01
00000ebd: ADD
00000ebe: SWAP1
00000ebf: PUSH1 0x20
00000ec1: ADD
00000ec2: DUP1
00000ec3: DUP4
00000ec4: GT
00000ec5: PUSH2 0x0eb5
00000ec8: JUMPI
00000ec9: DUP3
00000eca: SWAP1
00000ecb: SUB
00000ecc: PUSH1 0x1f
00000ece: AND
00000ecf: DUP3
00000ed0: ADD
00000ed1: SWAP2
00000ed2: JUMPDEST
00000ed3: POP
00000ed4: POP
00000ed5: POP
00000ed6: POP
00000ed7: POP
00000ed8: SWAP1
00000ed9: POP
00000eda: SWAP2
00000edb: SWAP1
00000edc: POP
00000edd: JUMP
00000ede: JUMPDEST
00000edf: PUSH2 0x0ee6
00000ee2: PUSH2 0x269d
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x00
00000ee9: SLOAD
00000eea: PUSH1 0x01
00000eec: PUSH1 0x01
00000eee: PUSH1 0xa0
00000ef0: SHL
00000ef1: SUB
00000ef2: SWAP1
00000ef3: DUP2
00000ef4: AND
00000ef5: SWAP2
00000ef6: AND
00000ef7: EQ
00000ef8: PUSH2 0x0f36
00000efb: JUMPI
00000efc: PUSH1 0x40
00000efe: DUP1
00000eff: MLOAD
00000f00: PUSH3 0x461bcd
00000f04: PUSH1 0xe5
00000f06: SHL
00000f07: DUP2
00000f08: MSTORE
00000f09: PUSH1 0x20
00000f0b: PUSH1 0x04
00000f0d: DUP3
00000f0e: ADD
00000f0f: DUP2
00000f10: SWAP1
00000f11: MSTORE
00000f12: PUSH1 0x24
00000f14: DUP3
00000f15: ADD
00000f16: MSTORE
00000f17: PUSH1 0x00
00000f19: DUP1
00000f1a: MLOAD
00000f1b: PUSH1 0x20
00000f1d: PUSH2 0x3413
00000f20: DUP4
00000f21: CODECOPY
00000f22: DUP2
00000f23: MLOAD
00000f24: SWAP2
00000f25: MSTORE
00000f26: PUSH1 0x44
00000f28: DUP3
00000f29: ADD
00000f2a: MSTORE
00000f2b: SWAP1
00000f2c: MLOAD
00000f2d: SWAP1
00000f2e: DUP2
00000f2f: SWAP1
00000f30: SUB
00000f31: PUSH1 0x64
00000f33: ADD
00000f34: SWAP1
00000f35: REVERT
00000f36: JUMPDEST
00000f37: PUSH1 0x06
00000f39: SLOAD
00000f3a: PUSH2 0x0100
00000f3d: SWAP1
00000f3e: DIV
00000f3f: PUSH1 0xff
00000f41: AND
00000f42: ISZERO
00000f43: PUSH2 0x0f88
00000f46: JUMPI
00000f47: PUSH1 0x40
00000f49: DUP1
00000f4a: MLOAD
00000f4b: PUSH3 0x461bcd
00000f4f: PUSH1 0xe5
00000f51: SHL
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x20
00000f56: PUSH1 0x04
00000f58: DUP3
00000f59: ADD
00000f5a: MSTORE
00000f5b: PUSH1 0x12
00000f5d: PUSH1 0x24
00000f5f: DUP3
00000f60: ADD
00000f61: MSTORE
00000f62: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
00000f75: PUSH1 0x72
00000f77: SHL
00000f78: PUSH1 0x44
00000f7a: DUP3
00000f7b: ADD
00000f7c: MSTORE
00000f7d: SWAP1
00000f7e: MLOAD
00000f7f: SWAP1
00000f80: DUP2
00000f81: SWAP1
00000f82: SUB
00000f83: PUSH1 0x64
00000f85: ADD
00000f86: SWAP1
00000f87: REVERT
00000f88: JUMPDEST
00000f89: PUSH1 0x06
00000f8b: DUP1
00000f8c: SLOAD
00000f8d: SWAP2
00000f8e: ISZERO
00000f8f: ISZERO
00000f90: PUSH2 0x0100
00000f93: MUL
00000f94: PUSH2 0xff00
00000f97: NOT
00000f98: SWAP1
00000f99: SWAP3
00000f9a: AND
00000f9b: SWAP2
00000f9c: SWAP1
00000f9d: SWAP2
00000f9e: OR
00000f9f: SWAP1
00000fa0: SSTORE
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: PUSH2 0x0faa
00000fa6: PUSH2 0x269d
00000fa9: JUMP
00000faa: JUMPDEST
00000fab: PUSH1 0x00
00000fad: SLOAD
00000fae: PUSH1 0x01
00000fb0: PUSH1 0x01
00000fb2: PUSH1 0xa0
00000fb4: SHL
00000fb5: SUB
00000fb6: SWAP1
00000fb7: DUP2
00000fb8: AND
00000fb9: SWAP2
00000fba: AND
00000fbb: EQ
00000fbc: PUSH2 0x0ffa
00000fbf: JUMPI
00000fc0: PUSH1 0x40
00000fc2: DUP1
00000fc3: MLOAD
00000fc4: PUSH3 0x461bcd
00000fc8: PUSH1 0xe5
00000fca: SHL
00000fcb: DUP2
00000fcc: MSTORE
00000fcd: PUSH1 0x20
00000fcf: PUSH1 0x04
00000fd1: DUP3
00000fd2: ADD
00000fd3: DUP2
00000fd4: SWAP1
00000fd5: MSTORE
00000fd6: PUSH1 0x24
00000fd8: DUP3
00000fd9: ADD
00000fda: MSTORE
00000fdb: PUSH1 0x00
00000fdd: DUP1
00000fde: MLOAD
00000fdf: PUSH1 0x20
00000fe1: PUSH2 0x3413
00000fe4: DUP4
00000fe5: CODECOPY
00000fe6: DUP2
00000fe7: MLOAD
00000fe8: SWAP2
00000fe9: MSTORE
00000fea: PUSH1 0x44
00000fec: DUP3
00000fed: ADD
00000fee: MSTORE
00000fef: SWAP1
00000ff0: MLOAD
00000ff1: SWAP1
00000ff2: DUP2
00000ff3: SWAP1
00000ff4: SUB
00000ff5: PUSH1 0x64
00000ff7: ADD
00000ff8: SWAP1
00000ff9: REVERT
00000ffa: JUMPDEST
00000ffb: PUSH1 0x06
00000ffd: SLOAD
00000ffe: PUSH2 0x0100
00001001: SWAP1
00001002: DIV
00001003: PUSH1 0xff
00001005: AND
00001006: ISZERO
00001007: PUSH2 0x104c
0000100a: JUMPI
0000100b: PUSH1 0x40
0000100d: DUP1
0000100e: MLOAD
0000100f: PUSH3 0x461bcd
00001013: PUSH1 0xe5
00001015: SHL
00001016: DUP2
00001017: MSTORE
00001018: PUSH1 0x20
0000101a: PUSH1 0x04
0000101c: DUP3
0000101d: ADD
0000101e: MSTORE
0000101f: PUSH1 0x12
00001021: PUSH1 0x24
00001023: DUP3
00001024: ADD
00001025: MSTORE
00001026: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
00001039: PUSH1 0x72
0000103b: SHL
0000103c: PUSH1 0x44
0000103e: DUP3
0000103f: ADD
00001040: MSTORE
00001041: SWAP1
00001042: MLOAD
00001043: SWAP1
00001044: DUP2
00001045: SWAP1
00001046: SUB
00001047: PUSH1 0x64
00001049: ADD
0000104a: SWAP1
0000104b: REVERT
0000104c: JUMPDEST
0000104d: PUSH1 0x07
0000104f: SLOAD
00001050: DUP2
00001051: LT
00001052: PUSH2 0x1098
00001055: JUMPI
00001056: PUSH1 0x40
00001058: DUP1
00001059: MLOAD
0000105a: PUSH3 0x461bcd
0000105e: PUSH1 0xe5
00001060: SHL
00001061: DUP2
00001062: MSTORE
00001063: PUSH1 0x20
00001065: PUSH1 0x04
00001067: DUP3
00001068: ADD
00001069: MSTORE
0000106a: PUSH1 0x13
0000106c: PUSH1 0x24
0000106e: DUP3
0000106f: ADD
00001070: MSTORE
00001071: PUSH19 0x496e646578206f7574206f6620626f756e6473
00001085: PUSH1 0x68
00001087: SHL
00001088: PUSH1 0x44
0000108a: DUP3
0000108b: ADD
0000108c: MSTORE
0000108d: SWAP1
0000108e: MLOAD
0000108f: SWAP1
00001090: DUP2
00001091: SWAP1
00001092: SUB
00001093: PUSH1 0x64
00001095: ADD
00001096: SWAP1
00001097: REVERT
00001098: JUMPDEST
00001099: PUSH1 0x00
0000109b: DUP2
0000109c: DUP2
0000109d: MSTORE
0000109e: PUSH1 0x08
000010a0: PUSH1 0x20
000010a2: SWAP1
000010a3: DUP2
000010a4: MSTORE
000010a5: PUSH1 0x40
000010a7: SWAP1
000010a8: SWAP2
000010a9: KECCAK256
000010aa: DUP4
000010ab: MLOAD
000010ac: PUSH2 0x10b7
000010af: SWAP3
000010b0: DUP6
000010b1: ADD
000010b2: SWAP1
000010b3: PUSH2 0x30dc
000010b6: JUMP
000010b7: JUMPDEST
000010b8: POP
000010b9: POP
000010ba: POP
000010bb: JUMP
000010bc: JUMPDEST
000010bd: DUP2
000010be: MLOAD
000010bf: DUP4
000010c0: MLOAD
000010c1: EQ
000010c2: PUSH2 0x10fc
000010c5: JUMPI
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: PUSH3 0x461bcd
000010cd: PUSH1 0xe5
000010cf: SHL
000010d0: DUP2
000010d1: MSTORE
000010d2: PUSH1 0x04
000010d4: ADD
000010d5: DUP1
000010d6: DUP1
000010d7: PUSH1 0x20
000010d9: ADD
000010da: DUP3
000010db: DUP2
000010dc: SUB
000010dd: DUP3
000010de: MSTORE
000010df: PUSH1 0x28
000010e1: DUP2
000010e2: MSTORE
000010e3: PUSH1 0x20
000010e5: ADD
000010e6: DUP1
000010e7: PUSH2 0x3485
000010ea: PUSH1 0x28
000010ec: SWAP2
000010ed: CODECOPY
000010ee: PUSH1 0x40
000010f0: ADD
000010f1: SWAP2
000010f2: POP
000010f3: POP
000010f4: PUSH1 0x40
000010f6: MLOAD
000010f7: DUP1
000010f8: SWAP2
000010f9: SUB
000010fa: SWAP1
000010fb: REVERT
000010fc: JUMPDEST
000010fd: PUSH1 0x01
000010ff: PUSH1 0x01
00001101: PUSH1 0xa0
00001103: SHL
00001104: SUB
00001105: DUP5
00001106: AND
00001107: PUSH2 0x1141
0000110a: JUMPI
0000110b: PUSH1 0x40
0000110d: MLOAD
0000110e: PUSH3 0x461bcd
00001112: PUSH1 0xe5
00001114: SHL
00001115: DUP2
00001116: MSTORE
00001117: PUSH1 0x04
00001119: ADD
0000111a: DUP1
0000111b: DUP1
0000111c: PUSH1 0x20
0000111e: ADD
0000111f: DUP3
00001120: DUP2
00001121: SUB
00001122: DUP3
00001123: MSTORE
00001124: PUSH1 0x25
00001126: DUP2
00001127: MSTORE
00001128: PUSH1 0x20
0000112a: ADD
0000112b: DUP1
0000112c: PUSH2 0x334e
0000112f: PUSH1 0x25
00001131: SWAP2
00001132: CODECOPY
00001133: PUSH1 0x40
00001135: ADD
00001136: SWAP2
00001137: POP
00001138: POP
00001139: PUSH1 0x40
0000113b: MLOAD
0000113c: DUP1
0000113d: SWAP2
0000113e: SUB
0000113f: SWAP1
00001140: REVERT
00001141: JUMPDEST
00001142: PUSH2 0x1149
00001145: PUSH2 0x269d
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH1 0x01
0000114c: PUSH1 0x01
0000114e: PUSH1 0xa0
00001150: SHL
00001151: SUB
00001152: AND
00001153: DUP6
00001154: PUSH1 0x01
00001156: PUSH1 0x01
00001158: PUSH1 0xa0
0000115a: SHL
0000115b: SUB
0000115c: AND
0000115d: EQ
0000115e: DUP1
0000115f: PUSH2 0x1174
00001162: JUMPI
00001163: POP
00001164: PUSH2 0x1174
00001167: DUP6
00001168: PUSH2 0x116f
0000116b: PUSH2 0x269d
0000116e: JUMP
0000116f: JUMPDEST
00001170: PUSH2 0x1fd3
00001173: JUMP
00001174: JUMPDEST
00001175: PUSH2 0x11af
00001178: JUMPI
00001179: PUSH1 0x40
0000117b: MLOAD
0000117c: PUSH3 0x461bcd
00001180: PUSH1 0xe5
00001182: SHL
00001183: DUP2
00001184: MSTORE
00001185: PUSH1 0x04
00001187: ADD
00001188: DUP1
00001189: DUP1
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: DUP3
0000118e: DUP2
0000118f: SUB
00001190: DUP3
00001191: MSTORE
00001192: PUSH1 0x32
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x20
00001198: ADD
00001199: DUP1
0000119a: PUSH2 0x3373
0000119d: PUSH1 0x32
0000119f: SWAP2
000011a0: CODECOPY
000011a1: PUSH1 0x40
000011a3: ADD
000011a4: SWAP2
000011a5: POP
000011a6: POP
000011a7: PUSH1 0x40
000011a9: MLOAD
000011aa: DUP1
000011ab: SWAP2
000011ac: SUB
000011ad: SWAP1
000011ae: REVERT
000011af: JUMPDEST
000011b0: PUSH1 0x00
000011b2: PUSH2 0x11b9
000011b5: PUSH2 0x269d
000011b8: JUMP
000011b9: JUMPDEST
000011ba: SWAP1
000011bb: POP
000011bc: PUSH2 0x11c9
000011bf: DUP2
000011c0: DUP8
000011c1: DUP8
000011c2: DUP8
000011c3: DUP8
000011c4: DUP8
000011c5: PUSH2 0x26b4
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH1 0x00
000011cc: JUMPDEST
000011cd: DUP5
000011ce: MLOAD
000011cf: DUP2
000011d0: LT
000011d1: ISZERO
000011d2: PUSH2 0x12cf
000011d5: JUMPI
000011d6: PUSH1 0x00
000011d8: DUP6
000011d9: DUP3
000011da: DUP2
000011db: MLOAD
000011dc: DUP2
000011dd: LT
000011de: PUSH2 0x11e3
000011e1: JUMPI
000011e2: INVALID
000011e3: JUMPDEST
000011e4: PUSH1 0x20
000011e6: MUL
000011e7: PUSH1 0x20
000011e9: ADD
000011ea: ADD
000011eb: MLOAD
000011ec: SWAP1
000011ed: POP
000011ee: PUSH1 0x00
000011f0: DUP6
000011f1: DUP4
000011f2: DUP2
000011f3: MLOAD
000011f4: DUP2
000011f5: LT
000011f6: PUSH2 0x11fb
000011f9: JUMPI
000011fa: INVALID
000011fb: JUMPDEST
000011fc: PUSH1 0x20
000011fe: MUL
000011ff: PUSH1 0x20
00001201: ADD
00001202: ADD
00001203: MLOAD
00001204: SWAP1
00001205: POP
00001206: PUSH2 0x1268
00001209: DUP2
0000120a: PUSH1 0x40
0000120c: MLOAD
0000120d: DUP1
0000120e: PUSH1 0x60
00001210: ADD
00001211: PUSH1 0x40
00001213: MSTORE
00001214: DUP1
00001215: PUSH1 0x2a
00001217: DUP2
00001218: MSTORE
00001219: PUSH1 0x20
0000121b: ADD
0000121c: PUSH2 0x33c8
0000121f: PUSH1 0x2a
00001221: SWAP2
00001222: CODECOPY
00001223: PUSH1 0x02
00001225: PUSH1 0x00
00001227: DUP7
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x20
0000122c: ADD
0000122d: SWAP1
0000122e: DUP2
0000122f: MSTORE
00001230: PUSH1 0x20
00001232: ADD
00001233: PUSH1 0x00
00001235: KECCAK256
00001236: PUSH1 0x00
00001238: DUP14
00001239: PUSH1 0x01
0000123b: PUSH1 0x01
0000123d: PUSH1 0xa0
0000123f: SHL
00001240: SUB
00001241: AND
00001242: PUSH1 0x01
00001244: PUSH1 0x01
00001246: PUSH1 0xa0
00001248: SHL
00001249: SUB
0000124a: AND
0000124b: DUP2
0000124c: MSTORE
0000124d: PUSH1 0x20
0000124f: ADD
00001250: SWAP1
00001251: DUP2
00001252: MSTORE
00001253: PUSH1 0x20
00001255: ADD
00001256: PUSH1 0x00
00001258: KECCAK256
00001259: SLOAD
0000125a: PUSH2 0x2743
0000125d: SWAP1
0000125e: SWAP3
0000125f: SWAP2
00001260: SWAP1
00001261: PUSH4 0xffffffff
00001266: AND
00001267: JUMP
00001268: JUMPDEST
00001269: PUSH1 0x00
0000126b: DUP4
0000126c: DUP2
0000126d: MSTORE
0000126e: PUSH1 0x02
00001270: PUSH1 0x20
00001272: SWAP1
00001273: DUP2
00001274: MSTORE
00001275: PUSH1 0x40
00001277: DUP1
00001278: DUP4
00001279: KECCAK256
0000127a: PUSH1 0x01
0000127c: PUSH1 0x01
0000127e: PUSH1 0xa0
00001280: SHL
00001281: SUB
00001282: DUP15
00001283: DUP2
00001284: AND
00001285: DUP6
00001286: MSTORE
00001287: SWAP3
00001288: MSTORE
00001289: DUP1
0000128a: DUP4
0000128b: KECCAK256
0000128c: SWAP4
0000128d: SWAP1
0000128e: SWAP4
0000128f: SSTORE
00001290: DUP11
00001291: AND
00001292: DUP2
00001293: MSTORE
00001294: KECCAK256
00001295: SLOAD
00001296: PUSH2 0x129f
00001299: SWAP1
0000129a: DUP3
0000129b: PUSH2 0x27da
0000129e: JUMP
0000129f: JUMPDEST
000012a0: PUSH1 0x00
000012a2: SWAP3
000012a3: DUP4
000012a4: MSTORE
000012a5: PUSH1 0x02
000012a7: PUSH1 0x20
000012a9: SWAP1
000012aa: DUP2
000012ab: MSTORE
000012ac: PUSH1 0x40
000012ae: DUP1
000012af: DUP6
000012b0: KECCAK256
000012b1: PUSH1 0x01
000012b3: PUSH1 0x01
000012b5: PUSH1 0xa0
000012b7: SHL
000012b8: SUB
000012b9: DUP13
000012ba: AND
000012bb: DUP7
000012bc: MSTORE
000012bd: SWAP1
000012be: SWAP2
000012bf: MSTORE
000012c0: SWAP1
000012c1: SWAP3
000012c2: KECCAK256
000012c3: SWAP2
000012c4: SWAP1
000012c5: SWAP2
000012c6: SSTORE
000012c7: POP
000012c8: PUSH1 0x01
000012ca: ADD
000012cb: PUSH2 0x11cc
000012ce: JUMP
000012cf: JUMPDEST
000012d0: POP
000012d1: DUP5
000012d2: PUSH1 0x01
000012d4: PUSH1 0x01
000012d6: PUSH1 0xa0
000012d8: SHL
000012d9: SUB
000012da: AND
000012db: DUP7
000012dc: PUSH1 0x01
000012de: PUSH1 0x01
000012e0: PUSH1 0xa0
000012e2: SHL
000012e3: SUB
000012e4: AND
000012e5: DUP3
000012e6: PUSH1 0x01
000012e8: PUSH1 0x01
000012ea: PUSH1 0xa0
000012ec: SHL
000012ed: SUB
000012ee: AND
000012ef: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb
00001310: DUP8
00001311: DUP8
00001312: PUSH1 0x40
00001314: MLOAD
00001315: DUP1
00001316: DUP1
00001317: PUSH1 0x20
00001319: ADD
0000131a: DUP1
0000131b: PUSH1 0x20
0000131d: ADD
0000131e: DUP4
0000131f: DUP2
00001320: SUB
00001321: DUP4
00001322: MSTORE
00001323: DUP6
00001324: DUP2
00001325: DUP2
00001326: MLOAD
00001327: DUP2
00001328: MSTORE
00001329: PUSH1 0x20
0000132b: ADD
0000132c: SWAP2
0000132d: POP
0000132e: DUP1
0000132f: MLOAD
00001330: SWAP1
00001331: PUSH1 0x20
00001333: ADD
00001334: SWAP1
00001335: PUSH1 0x20
00001337: MUL
00001338: DUP1
00001339: DUP4
0000133a: DUP4
0000133b: PUSH1 0x00
0000133d: JUMPDEST
0000133e: DUP4
0000133f: DUP2
00001340: LT
00001341: ISZERO
00001342: PUSH2 0x1355
00001345: JUMPI
00001346: DUP2
00001347: DUP2
00001348: ADD
00001349: MLOAD
0000134a: DUP4
0000134b: DUP3
0000134c: ADD
0000134d: MSTORE
0000134e: PUSH1 0x20
00001350: ADD
00001351: PUSH2 0x133d
00001354: JUMP
00001355: JUMPDEST
00001356: POP
00001357: POP
00001358: POP
00001359: POP
0000135a: SWAP1
0000135b: POP
0000135c: ADD
0000135d: DUP4
0000135e: DUP2
0000135f: SUB
00001360: DUP3
00001361: MSTORE
00001362: DUP5
00001363: DUP2
00001364: DUP2
00001365: MLOAD
00001366: DUP2
00001367: MSTORE
00001368: PUSH1 0x20
0000136a: ADD
0000136b: SWAP2
0000136c: POP
0000136d: DUP1
0000136e: MLOAD
0000136f: SWAP1
00001370: PUSH1 0x20
00001372: ADD
00001373: SWAP1
00001374: PUSH1 0x20
00001376: MUL
00001377: DUP1
00001378: DUP4
00001379: DUP4
0000137a: PUSH1 0x00
0000137c: JUMPDEST
0000137d: DUP4
0000137e: DUP2
0000137f: LT
00001380: ISZERO
00001381: PUSH2 0x1394
00001384: JUMPI
00001385: DUP2
00001386: DUP2
00001387: ADD
00001388: MLOAD
00001389: DUP4
0000138a: DUP3
0000138b: ADD
0000138c: MSTORE
0000138d: PUSH1 0x20
0000138f: ADD
00001390: PUSH2 0x137c
00001393: JUMP
00001394: JUMPDEST
00001395: POP
00001396: POP
00001397: POP
00001398: POP
00001399: SWAP1
0000139a: POP
0000139b: ADD
0000139c: SWAP5
0000139d: POP
0000139e: POP
0000139f: POP
000013a0: POP
000013a1: POP
000013a2: PUSH1 0x40
000013a4: MLOAD
000013a5: DUP1
000013a6: SWAP2
000013a7: SUB
000013a8: SWAP1
000013a9: LOG4
000013aa: PUSH2 0x13b7
000013ad: DUP2
000013ae: DUP8
000013af: DUP8
000013b0: DUP8
000013b1: DUP8
000013b2: DUP8
000013b3: PUSH2 0x2834
000013b6: JUMP
000013b7: JUMPDEST
000013b8: POP
000013b9: POP
000013ba: POP
000013bb: POP
000013bc: POP
000013bd: POP
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH2 0x13c7
000013c3: PUSH2 0x269d
000013c6: JUMP
000013c7: JUMPDEST
000013c8: PUSH1 0x00
000013ca: SLOAD
000013cb: PUSH1 0x01
000013cd: PUSH1 0x01
000013cf: PUSH1 0xa0
000013d1: SHL
000013d2: SUB
000013d3: SWAP1
000013d4: DUP2
000013d5: AND
000013d6: SWAP2
000013d7: AND
000013d8: EQ
000013d9: PUSH2 0x1417
000013dc: JUMPI
000013dd: PUSH1 0x40
000013df: DUP1
000013e0: MLOAD
000013e1: PUSH3 0x461bcd
000013e5: PUSH1 0xe5
000013e7: SHL
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x20
000013ec: PUSH1 0x04
000013ee: DUP3
000013ef: ADD
000013f0: DUP2
000013f1: SWAP1
000013f2: MSTORE
000013f3: PUSH1 0x24
000013f5: DUP3
000013f6: ADD
000013f7: MSTORE
000013f8: PUSH1 0x00
000013fa: DUP1
000013fb: MLOAD
000013fc: PUSH1 0x20
000013fe: PUSH2 0x3413
00001401: DUP4
00001402: CODECOPY
00001403: DUP2
00001404: MLOAD
00001405: SWAP2
00001406: MSTORE
00001407: PUSH1 0x44
00001409: DUP3
0000140a: ADD
0000140b: MSTORE
0000140c: SWAP1
0000140d: MLOAD
0000140e: SWAP1
0000140f: DUP2
00001410: SWAP1
00001411: SUB
00001412: PUSH1 0x64
00001414: ADD
00001415: SWAP1
00001416: REVERT
00001417: JUMPDEST
00001418: PUSH1 0x06
0000141a: DUP1
0000141b: SLOAD
0000141c: PUSH1 0xff
0000141e: NOT
0000141f: AND
00001420: SWAP2
00001421: ISZERO
00001422: ISZERO
00001423: SWAP2
00001424: SWAP1
00001425: SWAP2
00001426: OR
00001427: SWAP1
00001428: SSTORE
00001429: JUMP
0000142a: JUMPDEST
0000142b: PUSH1 0x00
0000142d: DUP1
0000142e: PUSH2 0x1436
00001431: DUP4
00001432: PUSH2 0x1c70
00001435: JUMP
00001436: JUMPDEST
00001437: PUSH1 0x64
00001439: PUSH1 0x5a
0000143b: SWAP1
0000143c: SWAP2
0000143d: MUL
0000143e: DIV
0000143f: SWAP4
00001440: SWAP3
00001441: POP
00001442: POP
00001443: POP
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH2 0x144d
00001449: PUSH2 0x269d
0000144c: JUMP
0000144d: JUMPDEST
0000144e: PUSH1 0x00
00001450: SLOAD
00001451: PUSH1 0x01
00001453: PUSH1 0x01
00001455: PUSH1 0xa0
00001457: SHL
00001458: SUB
00001459: SWAP1
0000145a: DUP2
0000145b: AND
0000145c: SWAP2
0000145d: AND
0000145e: EQ
0000145f: PUSH2 0x149d
00001462: JUMPI
00001463: PUSH1 0x40
00001465: DUP1
00001466: MLOAD
00001467: PUSH3 0x461bcd
0000146b: PUSH1 0xe5
0000146d: SHL
0000146e: DUP2
0000146f: MSTORE
00001470: PUSH1 0x20
00001472: PUSH1 0x04
00001474: DUP3
00001475: ADD
00001476: DUP2
00001477: SWAP1
00001478: MSTORE
00001479: PUSH1 0x24
0000147b: DUP3
0000147c: ADD
0000147d: MSTORE
0000147e: PUSH1 0x00
00001480: DUP1
00001481: MLOAD
00001482: PUSH1 0x20
00001484: PUSH2 0x3413
00001487: DUP4
00001488: CODECOPY
00001489: DUP2
0000148a: MLOAD
0000148b: SWAP2
0000148c: MSTORE
0000148d: PUSH1 0x44
0000148f: DUP3
00001490: ADD
00001491: MSTORE
00001492: SWAP1
00001493: MLOAD
00001494: SWAP1
00001495: DUP2
00001496: SWAP1
00001497: SUB
00001498: PUSH1 0x64
0000149a: ADD
0000149b: SWAP1
0000149c: REVERT
0000149d: JUMPDEST
0000149e: PUSH1 0x00
000014a0: PUSH2 0x14b4
000014a3: PUSH1 0x0d
000014a5: SLOAD
000014a6: SELFBALANCE
000014a7: PUSH2 0x2abc
000014aa: SWAP1
000014ab: SWAP2
000014ac: SWAP1
000014ad: PUSH4 0xffffffff
000014b2: AND
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x40
000014b7: MLOAD
000014b8: SWAP1
000014b9: SWAP2
000014ba: POP
000014bb: CALLER
000014bc: SWAP1
000014bd: DUP3
000014be: ISZERO
000014bf: PUSH2 0x08fc
000014c2: MUL
000014c3: SWAP1
000014c4: DUP4
000014c5: SWAP1
000014c6: PUSH1 0x00
000014c8: DUP2
000014c9: DUP2
000014ca: DUP2
000014cb: DUP6
000014cc: DUP9
000014cd: DUP9
000014ce: CALL
000014cf: SWAP4
000014d0: POP
000014d1: POP
000014d2: POP
000014d3: POP
000014d4: ISZERO
000014d5: DUP1
000014d6: ISZERO
000014d7: PUSH2 0x14e4
000014da: JUMPI
000014db: RETURNDATASIZE
000014dc: PUSH1 0x00
000014de: DUP1
000014df: RETURNDATACOPY
000014e0: RETURNDATASIZE
000014e1: PUSH1 0x00
000014e3: REVERT
000014e4: JUMPDEST
000014e5: POP
000014e6: POP
000014e7: JUMP
000014e8: JUMPDEST
000014e9: PUSH1 0x09
000014eb: PUSH1 0x20
000014ed: MSTORE
000014ee: PUSH1 0x00
000014f0: SWAP1
000014f1: DUP2
000014f2: MSTORE
000014f3: PUSH1 0x40
000014f5: SWAP1
000014f6: KECCAK256
000014f7: SLOAD
000014f8: PUSH1 0x01
000014fa: PUSH1 0x01
000014fc: PUSH1 0xa0
000014fe: SHL
000014ff: SUB
00001500: AND
00001501: DUP2
00001502: JUMP
00001503: JUMPDEST
00001504: PUSH1 0x0a
00001506: SLOAD
00001507: DUP2
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x07
0000150c: SLOAD
0000150d: DUP2
0000150e: JUMP
0000150f: JUMPDEST
00001510: PUSH1 0x60
00001512: DUP2
00001513: MLOAD
00001514: DUP4
00001515: MLOAD
00001516: EQ
00001517: PUSH2 0x1551
0000151a: JUMPI
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: PUSH3 0x461bcd
00001522: PUSH1 0xe5
00001524: SHL
00001525: DUP2
00001526: MSTORE
00001527: PUSH1 0x04
00001529: ADD
0000152a: DUP1
0000152b: DUP1
0000152c: PUSH1 0x20
0000152e: ADD
0000152f: DUP3
00001530: DUP2
00001531: SUB
00001532: DUP3
00001533: MSTORE
00001534: PUSH1 0x29
00001536: DUP2
00001537: MSTORE
00001538: PUSH1 0x20
0000153a: ADD
0000153b: DUP1
0000153c: PUSH2 0x345c
0000153f: PUSH1 0x29
00001541: SWAP2
00001542: CODECOPY
00001543: PUSH1 0x40
00001545: ADD
00001546: SWAP2
00001547: POP
00001548: POP
00001549: PUSH1 0x40
0000154b: MLOAD
0000154c: DUP1
0000154d: SWAP2
0000154e: SUB
0000154f: SWAP1
00001550: REVERT
00001551: JUMPDEST
00001552: PUSH1 0x60
00001554: DUP4
00001555: MLOAD
00001556: PUSH8 0xffffffffffffffff
0000155f: DUP2
00001560: GT
00001561: DUP1
00001562: ISZERO
00001563: PUSH2 0x156b
00001566: JUMPI
00001567: PUSH1 0x00
00001569: DUP1
0000156a: REVERT
0000156b: JUMPDEST
0000156c: POP
0000156d: PUSH1 0x40
0000156f: MLOAD
00001570: SWAP1
00001571: DUP1
00001572: DUP3
00001573: MSTORE
00001574: DUP1
00001575: PUSH1 0x20
00001577: MUL
00001578: PUSH1 0x20
0000157a: ADD
0000157b: DUP3
0000157c: ADD
0000157d: PUSH1 0x40
0000157f: MSTORE
00001580: DUP1
00001581: ISZERO
00001582: PUSH2 0x1595
00001585: JUMPI
00001586: DUP2
00001587: PUSH1 0x20
00001589: ADD
0000158a: PUSH1 0x20
0000158c: DUP3
0000158d: MUL
0000158e: DUP1
0000158f: CALLDATASIZE
00001590: DUP4
00001591: CALLDATACOPY
00001592: ADD
00001593: SWAP1
00001594: POP
00001595: JUMPDEST
00001596: POP
00001597: SWAP1
00001598: POP
00001599: PUSH1 0x00
0000159b: JUMPDEST
0000159c: DUP5
0000159d: MLOAD
0000159e: DUP2
0000159f: LT
000015a0: ISZERO
000015a1: PUSH2 0x1685
000015a4: JUMPI
000015a5: PUSH1 0x00
000015a7: PUSH1 0x01
000015a9: PUSH1 0x01
000015ab: PUSH1 0xa0
000015ad: SHL
000015ae: SUB
000015af: AND
000015b0: DUP6
000015b1: DUP3
000015b2: DUP2
000015b3: MLOAD
000015b4: DUP2
000015b5: LT
000015b6: PUSH2 0x15bb
000015b9: JUMPI
000015ba: INVALID
000015bb: JUMPDEST
000015bc: PUSH1 0x20
000015be: MUL
000015bf: PUSH1 0x20
000015c1: ADD
000015c2: ADD
000015c3: MLOAD
000015c4: PUSH1 0x01
000015c6: PUSH1 0x01
000015c8: PUSH1 0xa0
000015ca: SHL
000015cb: SUB
000015cc: AND
000015cd: EQ
000015ce: ISZERO
000015cf: PUSH2 0x1609
000015d2: JUMPI
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: PUSH3 0x461bcd
000015da: PUSH1 0xe5
000015dc: SHL
000015dd: DUP2
000015de: MSTORE
000015df: PUSH1 0x04
000015e1: ADD
000015e2: DUP1
000015e3: DUP1
000015e4: PUSH1 0x20
000015e6: ADD
000015e7: DUP3
000015e8: DUP2
000015e9: SUB
000015ea: DUP3
000015eb: MSTORE
000015ec: PUSH1 0x31
000015ee: DUP2
000015ef: MSTORE
000015f0: PUSH1 0x20
000015f2: ADD
000015f3: DUP1
000015f4: PUSH2 0x32aa
000015f7: PUSH1 0x31
000015f9: SWAP2
000015fa: CODECOPY
000015fb: PUSH1 0x40
000015fd: ADD
000015fe: SWAP2
000015ff: POP
00001600: POP
00001601: PUSH1 0x40
00001603: MLOAD
00001604: DUP1
00001605: SWAP2
00001606: SUB
00001607: SWAP1
00001608: REVERT
00001609: JUMPDEST
0000160a: PUSH1 0x02
0000160c: PUSH1 0x00
0000160e: DUP6
0000160f: DUP4
00001610: DUP2
00001611: MLOAD
00001612: DUP2
00001613: LT
00001614: PUSH2 0x1619
00001617: JUMPI
00001618: INVALID
00001619: JUMPDEST
0000161a: PUSH1 0x20
0000161c: MUL
0000161d: PUSH1 0x20
0000161f: ADD
00001620: ADD
00001621: MLOAD
00001622: DUP2
00001623: MSTORE
00001624: PUSH1 0x20
00001626: ADD
00001627: SWAP1
00001628: DUP2
00001629: MSTORE
0000162a: PUSH1 0x20
0000162c: ADD
0000162d: PUSH1 0x00
0000162f: KECCAK256
00001630: PUSH1 0x00
00001632: DUP7
00001633: DUP4
00001634: DUP2
00001635: MLOAD
00001636: DUP2
00001637: LT
00001638: PUSH2 0x163d
0000163b: JUMPI
0000163c: INVALID
0000163d: JUMPDEST
0000163e: PUSH1 0x20
00001640: MUL
00001641: PUSH1 0x20
00001643: ADD
00001644: ADD
00001645: MLOAD
00001646: PUSH1 0x01
00001648: PUSH1 0x01
0000164a: PUSH1 0xa0
0000164c: SHL
0000164d: SUB
0000164e: AND
0000164f: PUSH1 0x01
00001651: PUSH1 0x01
00001653: PUSH1 0xa0
00001655: SHL
00001656: SUB
00001657: AND
00001658: DUP2
00001659: MSTORE
0000165a: PUSH1 0x20
0000165c: ADD
0000165d: SWAP1
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x20
00001662: ADD
00001663: PUSH1 0x00
00001665: KECCAK256
00001666: SLOAD
00001667: DUP3
00001668: DUP3
00001669: DUP2
0000166a: MLOAD
0000166b: DUP2
0000166c: LT
0000166d: PUSH2 0x1672
00001670: JUMPI
00001671: INVALID
00001672: JUMPDEST
00001673: PUSH1 0x20
00001675: SWAP1
00001676: DUP2
00001677: MUL
00001678: SWAP2
00001679: SWAP1
0000167a: SWAP2
0000167b: ADD
0000167c: ADD
0000167d: MSTORE
0000167e: PUSH1 0x01
00001680: ADD
00001681: PUSH2 0x159b
00001684: JUMP
00001685: JUMPDEST
00001686: POP
00001687: SWAP4
00001688: SWAP3
00001689: POP
0000168a: POP
0000168b: POP
0000168c: JUMP
0000168d: JUMPDEST
0000168e: PUSH1 0x00
00001690: PUSH2 0x1697
00001693: PUSH2 0x269d
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH1 0x00
0000169a: SLOAD
0000169b: PUSH1 0x01
0000169d: PUSH1 0x01
0000169f: PUSH1 0xa0
000016a1: SHL
000016a2: SUB
000016a3: SWAP1
000016a4: DUP2
000016a5: AND
000016a6: SWAP2
000016a7: AND
000016a8: EQ
000016a9: PUSH2 0x16e7
000016ac: JUMPI
000016ad: PUSH1 0x40
000016af: DUP1
000016b0: MLOAD
000016b1: PUSH3 0x461bcd
000016b5: PUSH1 0xe5
000016b7: SHL
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x20
000016bc: PUSH1 0x04
000016be: DUP3
000016bf: ADD
000016c0: DUP2
000016c1: SWAP1
000016c2: MSTORE
000016c3: PUSH1 0x24
000016c5: DUP3
000016c6: ADD
000016c7: MSTORE
000016c8: PUSH1 0x00
000016ca: DUP1
000016cb: MLOAD
000016cc: PUSH1 0x20
000016ce: PUSH2 0x3413
000016d1: DUP4
000016d2: CODECOPY
000016d3: DUP2
000016d4: MLOAD
000016d5: SWAP2
000016d6: MSTORE
000016d7: PUSH1 0x44
000016d9: DUP3
000016da: ADD
000016db: MSTORE
000016dc: SWAP1
000016dd: MLOAD
000016de: SWAP1
000016df: DUP2
000016e0: SWAP1
000016e1: SUB
000016e2: PUSH1 0x64
000016e4: ADD
000016e5: SWAP1
000016e6: REVERT
000016e7: JUMPDEST
000016e8: PUSH1 0x0a
000016ea: SLOAD
000016eb: PUSH1 0x00
000016ed: SWAP1
000016ee: PUSH2 0x16fe
000016f1: SWAP1
000016f2: PUSH1 0x01
000016f4: PUSH4 0xffffffff
000016f9: PUSH2 0x27da
000016fc: AND
000016fd: JUMP
000016fe: JUMPDEST
000016ff: SWAP1
00001700: POP
00001701: PUSH1 0x1b
00001703: DUP2
00001704: GT
00001705: ISZERO
00001706: PUSH2 0x174b
00001709: JUMPI
0000170a: PUSH1 0x40
0000170c: DUP1
0000170d: MLOAD
0000170e: PUSH3 0x461bcd
00001712: PUSH1 0xe5
00001714: SHL
00001715: DUP2
00001716: MSTORE
00001717: PUSH1 0x20
00001719: PUSH1 0x04
0000171b: DUP3
0000171c: ADD
0000171d: MSTORE
0000171e: PUSH1 0x12
00001720: PUSH1 0x24
00001722: DUP3
00001723: ADD
00001724: MSTORE
00001725: PUSH18 0x13585e081cdd5c1c1b1e481c995858da1959
00001738: PUSH1 0x72
0000173a: SHL
0000173b: PUSH1 0x44
0000173d: DUP3
0000173e: ADD
0000173f: MSTORE
00001740: SWAP1
00001741: MLOAD
00001742: SWAP1
00001743: DUP2
00001744: SWAP1
00001745: SUB
00001746: PUSH1 0x64
00001748: ADD
00001749: SWAP1
0000174a: REVERT
0000174b: JUMPDEST
0000174c: DUP1
0000174d: PUSH1 0x0a
0000174f: DUP2
00001750: SWAP1
00001751: SSTORE
00001752: POP
00001753: PUSH2 0x176e
00001756: DUP4
00001757: DUP6
00001758: PUSH1 0x01
0000175a: PUSH1 0x40
0000175c: MLOAD
0000175d: DUP1
0000175e: PUSH1 0x20
00001760: ADD
00001761: PUSH1 0x40
00001763: MSTORE
00001764: DUP1
00001765: PUSH1 0x00
00001767: DUP2
00001768: MSTORE
00001769: POP
0000176a: PUSH2 0x2afe
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH1 0x40
00001771: DUP1
00001772: MLOAD
00001773: DUP6
00001774: DUP2
00001775: MSTORE
00001776: SWAP1
00001777: MLOAD
00001778: DUP3
00001779: SWAP2
0000177a: PUSH1 0x01
0000177c: PUSH1 0x01
0000177e: PUSH1 0xa0
00001780: SHL
00001781: SUB
00001782: DUP7
00001783: AND
00001784: SWAP2
00001785: PUSH32 0xe4f0f5c21ed48cb2fc51c9d879699cdb5bc1c00eb8804ee42d80f4c396a706b5
000017a6: SWAP2
000017a7: DUP2
000017a8: SWAP1
000017a9: SUB
000017aa: PUSH1 0x20
000017ac: ADD
000017ad: SWAP1
000017ae: LOG3
000017af: POP
000017b0: SWAP2
000017b1: SWAP3
000017b2: SWAP2
000017b3: POP
000017b4: POP
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH1 0x00
000017b9: PUSH1 0x02
000017bb: PUSH1 0x05
000017bd: SLOAD
000017be: EQ
000017bf: ISZERO
000017c0: PUSH2 0x1810
000017c3: JUMPI
000017c4: PUSH1 0x40
000017c6: DUP1
000017c7: MLOAD
000017c8: PUSH3 0x461bcd
000017cc: PUSH1 0xe5
000017ce: SHL
000017cf: DUP2
000017d0: MSTORE
000017d1: PUSH1 0x20
000017d3: PUSH1 0x04
000017d5: DUP3
000017d6: ADD
000017d7: MSTORE
000017d8: PUSH1 0x1f
000017da: PUSH1 0x24
000017dc: DUP3
000017dd: ADD
000017de: MSTORE
000017df: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001800: PUSH1 0x44
00001802: DUP3
00001803: ADD
00001804: MSTORE
00001805: SWAP1
00001806: MLOAD
00001807: SWAP1
00001808: DUP2
00001809: SWAP1
0000180a: SUB
0000180b: PUSH1 0x64
0000180d: ADD
0000180e: SWAP1
0000180f: REVERT
00001810: JUMPDEST
00001811: PUSH1 0x02
00001813: PUSH1 0x05
00001815: SSTORE
00001816: PUSH1 0x06
00001818: SLOAD
00001819: PUSH1 0xff
0000181b: AND
0000181c: PUSH2 0x1863
0000181f: JUMPI
00001820: PUSH1 0x40
00001822: DUP1
00001823: MLOAD
00001824: PUSH3 0x461bcd
00001828: PUSH1 0xe5
0000182a: SHL
0000182b: DUP2
0000182c: MSTORE
0000182d: PUSH1 0x20
0000182f: PUSH1 0x04
00001831: DUP3
00001832: ADD
00001833: MSTORE
00001834: PUSH1 0x14
00001836: PUSH1 0x24
00001838: DUP3
00001839: ADD
0000183a: MSTORE
0000183b: PUSH20 0x10dbdb9d1c9858dd081a5cc8191a5cd8589b1959
00001850: PUSH1 0x62
00001852: SHL
00001853: PUSH1 0x44
00001855: DUP3
00001856: ADD
00001857: MSTORE
00001858: SWAP1
00001859: MLOAD
0000185a: SWAP1
0000185b: DUP2
0000185c: SWAP1
0000185d: SUB
0000185e: PUSH1 0x64
00001860: ADD
00001861: SWAP1
00001862: REVERT
00001863: JUMPDEST
00001864: PUSH1 0x00
00001866: DUP3
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x09
0000186b: PUSH1 0x20
0000186d: MSTORE
0000186e: PUSH1 0x40
00001870: SWAP1
00001871: KECCAK256
00001872: SLOAD
00001873: PUSH1 0x01
00001875: PUSH1 0x01
00001877: PUSH1 0xa0
00001879: SHL
0000187a: SUB
0000187b: AND
0000187c: PUSH2 0x18c2
0000187f: JUMPI
00001880: PUSH1 0x40
00001882: DUP1
00001883: MLOAD
00001884: PUSH3 0x461bcd
00001888: PUSH1 0xe5
0000188a: SHL
0000188b: DUP2
0000188c: MSTORE
0000188d: PUSH1 0x20
0000188f: PUSH1 0x04
00001891: DUP3
00001892: ADD
00001893: MSTORE
00001894: PUSH1 0x13
00001896: PUSH1 0x24
00001898: DUP3
00001899: ADD
0000189a: MSTORE
0000189b: PUSH19 0x14d9595908191bd95cc81b9bdd08195e1a5cdd
000018af: PUSH1 0x6a
000018b1: SHL
000018b2: PUSH1 0x44
000018b4: DUP3
000018b5: ADD
000018b6: MSTORE
000018b7: SWAP1
000018b8: MLOAD
000018b9: SWAP1
000018ba: DUP2
000018bb: SWAP1
000018bc: SUB
000018bd: PUSH1 0x64
000018bf: ADD
000018c0: SWAP1
000018c1: REVERT
000018c2: JUMPDEST
000018c3: PUSH1 0x00
000018c5: PUSH2 0x18cd
000018c8: DUP4
000018c9: PUSH2 0x2001
000018cc: JUMP
000018cd: JUMPDEST
000018ce: PUSH1 0x00
000018d0: DUP2
000018d1: DUP2
000018d2: MSTORE
000018d3: PUSH1 0x0b
000018d5: PUSH1 0x20
000018d7: MSTORE
000018d8: PUSH1 0x40
000018da: DUP2
000018db: KECCAK256
000018dc: SLOAD
000018dd: SWAP2
000018de: SWAP3
000018df: POP
000018e0: PUSH2 0x18eb
000018e3: PUSH1 0x01
000018e5: DUP4
000018e6: ADD
000018e7: PUSH2 0x1c70
000018ea: JUMP
000018eb: JUMPDEST
000018ec: SWAP1
000018ed: POP
000018ee: DUP1
000018ef: CALLVALUE
000018f0: LT
000018f1: ISZERO
000018f2: PUSH2 0x1937
000018f5: JUMPI
000018f6: PUSH1 0x40
000018f8: DUP1
000018f9: MLOAD
000018fa: PUSH3 0x461bcd
000018fe: PUSH1 0xe5
00001900: SHL
00001901: DUP2
00001902: MSTORE
00001903: PUSH1 0x20
00001905: PUSH1 0x04
00001907: DUP3
00001908: ADD
00001909: MSTORE
0000190a: PUSH1 0x12
0000190c: PUSH1 0x24
0000190e: DUP3
0000190f: ADD
00001910: MSTORE
00001911: PUSH18 0x496e73756666696369656e742066756e6473
00001924: PUSH1 0x70
00001926: SHL
00001927: PUSH1 0x44
00001929: DUP3
0000192a: ADD
0000192b: MSTORE
0000192c: SWAP1
0000192d: MLOAD
0000192e: SWAP1
0000192f: DUP2
00001930: SWAP1
00001931: SUB
00001932: PUSH1 0x64
00001934: ADD
00001935: SWAP1
00001936: REVERT
00001937: JUMPDEST
00001938: PUSH1 0x00
0000193a: DUP4
0000193b: DUP2
0000193c: MSTORE
0000193d: PUSH1 0x0b
0000193f: PUSH1 0x20
00001941: MSTORE
00001942: PUSH1 0x40
00001944: DUP2
00001945: KECCAK256
00001946: SLOAD
00001947: PUSH2 0x1957
0000194a: SWAP1
0000194b: PUSH1 0x01
0000194d: PUSH4 0xffffffff
00001952: PUSH2 0x27da
00001955: AND
00001956: JUMP
00001957: JUMPDEST
00001958: PUSH1 0x00
0000195a: DUP6
0000195b: DUP2
0000195c: MSTORE
0000195d: PUSH1 0x0b
0000195f: PUSH1 0x20
00001961: MSTORE
00001962: PUSH1 0x40
00001964: DUP2
00001965: KECCAK256
00001966: DUP3
00001967: SWAP1
00001968: SSTORE
00001969: SWAP1
0000196a: SWAP2
0000196b: POP
0000196c: PUSH2 0x1974
0000196f: DUP3
00001970: PUSH2 0x142a
00001973: JUMP
00001974: JUMPDEST
00001975: PUSH1 0x0d
00001977: SLOAD
00001978: SWAP1
00001979: SWAP2
0000197a: POP
0000197b: PUSH2 0x198a
0000197e: SWAP1
0000197f: DUP3
00001980: PUSH4 0xffffffff
00001985: PUSH2 0x27da
00001988: AND
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH1 0x0d
0000198d: SSTORE
0000198e: PUSH1 0x00
00001990: PUSH2 0x19a7
00001993: PUSH2 0x19a2
00001996: DUP6
00001997: DUP5
00001998: PUSH4 0xffffffff
0000199d: PUSH2 0x2abc
000019a0: AND
000019a1: JUMP
000019a2: JUMPDEST
000019a3: PUSH2 0x2c0c
000019a6: JUMP
000019a7: JUMPDEST
000019a8: SWAP1
000019a9: POP
000019aa: PUSH2 0x19c5
000019ad: CALLER
000019ae: DUP8
000019af: PUSH1 0x01
000019b1: PUSH1 0x40
000019b3: MLOAD
000019b4: DUP1
000019b5: PUSH1 0x20
000019b7: ADD
000019b8: PUSH1 0x40
000019ba: MSTORE
000019bb: DUP1
000019bc: PUSH1 0x00
000019be: DUP2
000019bf: MSTORE
000019c0: POP
000019c1: PUSH2 0x2afe
000019c4: JUMP
000019c5: JUMPDEST
000019c6: PUSH1 0x00
000019c8: DUP9
000019c9: DUP2
000019ca: MSTORE
000019cb: PUSH1 0x09
000019cd: PUSH1 0x20
000019cf: MSTORE
000019d0: PUSH1 0x40
000019d2: DUP1
000019d3: DUP3
000019d4: KECCAK256
000019d5: SLOAD
000019d6: SWAP1
000019d7: MLOAD
000019d8: PUSH1 0x01
000019da: PUSH1 0x01
000019dc: PUSH1 0xa0
000019de: SHL
000019df: SUB
000019e0: SWAP1
000019e1: SWAP2
000019e2: AND
000019e3: SWAP2
000019e4: SWAP1
000019e5: DUP3
000019e6: SWAP1
000019e7: DUP5
000019e8: SWAP1
000019e9: DUP4
000019ea: DUP2
000019eb: DUP2
000019ec: DUP2
000019ed: DUP6
000019ee: DUP8
000019ef: GAS
000019f0: CALL
000019f1: SWAP3
000019f2: POP
000019f3: POP
000019f4: POP
000019f5: RETURNDATASIZE
000019f6: DUP1
000019f7: PUSH1 0x00
000019f9: DUP2
000019fa: EQ
000019fb: PUSH2 0x1a20
000019fe: JUMPI
000019ff: PUSH1 0x40
00001a01: MLOAD
00001a02: SWAP2
00001a03: POP
00001a04: PUSH1 0x1f
00001a06: NOT
00001a07: PUSH1 0x3f
00001a09: RETURNDATASIZE
00001a0a: ADD
00001a0b: AND
00001a0c: DUP3
00001a0d: ADD
00001a0e: PUSH1 0x40
00001a10: MSTORE
00001a11: RETURNDATASIZE
00001a12: DUP3
00001a13: MSTORE
00001a14: RETURNDATASIZE
00001a15: PUSH1 0x00
00001a17: PUSH1 0x20
00001a19: DUP5
00001a1a: ADD
00001a1b: RETURNDATACOPY
00001a1c: PUSH2 0x1a25
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH1 0x60
00001a23: SWAP2
00001a24: POP
00001a25: JUMPDEST
00001a26: POP
00001a27: POP
00001a28: SWAP1
00001a29: POP
00001a2a: DUP1
00001a2b: PUSH2 0x1a6c
00001a2e: JUMPI
00001a2f: PUSH1 0x40
00001a31: DUP1
00001a32: MLOAD
00001a33: PUSH3 0x461bcd
00001a37: PUSH1 0xe5
00001a39: SHL
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH1 0x20
00001a3e: PUSH1 0x04
00001a40: DUP3
00001a41: ADD
00001a42: MSTORE
00001a43: PUSH1 0x0e
00001a45: PUSH1 0x24
00001a47: DUP3
00001a48: ADD
00001a49: MSTORE
00001a4a: PUSH14 0x14185e5b595b9d0819985a5b1959
00001a59: PUSH1 0x92
00001a5b: SHL
00001a5c: PUSH1 0x44
00001a5e: DUP3
00001a5f: ADD
00001a60: MSTORE
00001a61: SWAP1
00001a62: MLOAD
00001a63: SWAP1
00001a64: DUP2
00001a65: SWAP1
00001a66: SUB
00001a67: PUSH1 0x64
00001a69: ADD
00001a6a: SWAP1
00001a6b: REVERT
00001a6c: JUMPDEST
00001a6d: PUSH2 0x1a75
00001a70: DUP7
00001a71: PUSH2 0x2c24
00001a74: JUMP
00001a75: JUMPDEST
00001a76: PUSH1 0x01
00001a78: PUSH1 0x01
00001a7a: PUSH1 0xa0
00001a7c: SHL
00001a7d: SUB
00001a7e: DUP3
00001a7f: AND
00001a80: DUP11
00001a81: CALLER
00001a82: PUSH32 0x4251d75749ad140eadaa466a69c53451f36b41cc82640aa2a74327b0039b8e6c
00001aa3: DUP12
00001aa4: DUP11
00001aa5: PUSH2 0x1abd
00001aa8: PUSH2 0x1ab8
00001aab: DUP13
00001aac: PUSH1 0x01
00001aae: PUSH4 0xffffffff
00001ab3: PUSH2 0x27da
00001ab6: AND
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH2 0x1c70
00001abc: JUMP
00001abd: JUMPDEST
00001abe: PUSH1 0x0d
00001ac0: SLOAD
00001ac1: PUSH1 0x40
00001ac3: DUP1
00001ac4: MLOAD
00001ac5: SWAP5
00001ac6: DUP6
00001ac7: MSTORE
00001ac8: PUSH1 0x20
00001aca: DUP6
00001acb: ADD
00001acc: SWAP4
00001acd: SWAP1
00001ace: SWAP4
00001acf: MSTORE
00001ad0: DUP4
00001ad1: DUP4
00001ad2: ADD
00001ad3: SWAP2
00001ad4: SWAP1
00001ad5: SWAP2
00001ad6: MSTORE
00001ad7: PUSH1 0x60
00001ad9: DUP4
00001ada: ADD
00001adb: DUP12
00001adc: SWAP1
00001add: MSTORE
00001ade: PUSH1 0x80
00001ae0: DUP4
00001ae1: ADD
00001ae2: DUP13
00001ae3: SWAP1
00001ae4: MSTORE
00001ae5: PUSH1 0xa0
00001ae7: DUP4
00001ae8: ADD
00001ae9: DUP11
00001aea: SWAP1
00001aeb: MSTORE
00001aec: PUSH1 0xc0
00001aee: DUP4
00001aef: ADD
00001af0: MSTORE
00001af1: MLOAD
00001af2: SWAP1
00001af3: DUP2
00001af4: SWAP1
00001af5: SUB
00001af6: PUSH1 0xe0
00001af8: ADD
00001af9: SWAP1
00001afa: LOG4
00001afb: POP
00001afc: POP
00001afd: PUSH1 0x01
00001aff: PUSH1 0x05
00001b01: SSTORE
00001b02: POP
00001b03: SWAP4
00001b04: SWAP7
00001b05: SWAP6
00001b06: POP
00001b07: POP
00001b08: POP
00001b09: POP
00001b0a: POP
00001b0b: POP
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x0c
00001b10: SLOAD
00001b11: DUP2
00001b12: JUMP
00001b13: JUMPDEST
00001b14: PUSH2 0x1b1b
00001b17: PUSH2 0x269d
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: PUSH1 0x00
00001b1e: SLOAD
00001b1f: PUSH1 0x01
00001b21: PUSH1 0x01
00001b23: PUSH1 0xa0
00001b25: SHL
00001b26: SUB
00001b27: SWAP1
00001b28: DUP2
00001b29: AND
00001b2a: SWAP2
00001b2b: AND
00001b2c: EQ
00001b2d: PUSH2 0x1b6b
00001b30: JUMPI
00001b31: PUSH1 0x40
00001b33: DUP1
00001b34: MLOAD
00001b35: PUSH3 0x461bcd
00001b39: PUSH1 0xe5
00001b3b: SHL
00001b3c: DUP2
00001b3d: MSTORE
00001b3e: PUSH1 0x20
00001b40: PUSH1 0x04
00001b42: DUP3
00001b43: ADD
00001b44: DUP2
00001b45: SWAP1
00001b46: MSTORE
00001b47: PUSH1 0x24
00001b49: DUP3
00001b4a: ADD
00001b4b: MSTORE
00001b4c: PUSH1 0x00
00001b4e: DUP1
00001b4f: MLOAD
00001b50: PUSH1 0x20
00001b52: PUSH2 0x3413
00001b55: DUP4
00001b56: CODECOPY
00001b57: DUP2
00001b58: MLOAD
00001b59: SWAP2
00001b5a: MSTORE
00001b5b: PUSH1 0x44
00001b5d: DUP3
00001b5e: ADD
00001b5f: MSTORE
00001b60: SWAP1
00001b61: MLOAD
00001b62: SWAP1
00001b63: DUP2
00001b64: SWAP1
00001b65: SUB
00001b66: PUSH1 0x64
00001b68: ADD
00001b69: SWAP1
00001b6a: REVERT
00001b6b: JUMPDEST
00001b6c: PUSH1 0x00
00001b6e: DUP1
00001b6f: SLOAD
00001b70: PUSH1 0x40
00001b72: MLOAD
00001b73: PUSH1 0x01
00001b75: PUSH1 0x01
00001b77: PUSH1 0xa0
00001b79: SHL
00001b7a: SUB
00001b7b: SWAP1
00001b7c: SWAP2
00001b7d: AND
00001b7e: SWAP1
00001b7f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001ba0: SWAP1
00001ba1: DUP4
00001ba2: SWAP1
00001ba3: LOG3
00001ba4: PUSH1 0x00
00001ba6: DUP1
00001ba7: SLOAD
00001ba8: PUSH1 0x01
00001baa: PUSH1 0x01
00001bac: PUSH1 0xa0
00001bae: SHL
00001baf: SUB
00001bb0: NOT
00001bb1: AND
00001bb2: SWAP1
00001bb3: SSTORE
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: PUSH1 0x00
00001bb8: SLOAD
00001bb9: PUSH1 0x01
00001bbb: PUSH1 0x01
00001bbd: PUSH1 0xa0
00001bbf: SHL
00001bc0: SUB
00001bc1: AND
00001bc2: JUMPDEST
00001bc3: SWAP1
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: PUSH2 0x1bcd
00001bc9: PUSH2 0x269d
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH1 0x00
00001bd0: SLOAD
00001bd1: PUSH1 0x01
00001bd3: PUSH1 0x01
00001bd5: PUSH1 0xa0
00001bd7: SHL
00001bd8: SUB
00001bd9: SWAP1
00001bda: DUP2
00001bdb: AND
00001bdc: SWAP2
00001bdd: AND
00001bde: EQ
00001bdf: PUSH2 0x1c1d
00001be2: JUMPI
00001be3: PUSH1 0x40
00001be5: DUP1
00001be6: MLOAD
00001be7: PUSH3 0x461bcd
00001beb: PUSH1 0xe5
00001bed: SHL
00001bee: DUP2
00001bef: MSTORE
00001bf0: PUSH1 0x20
00001bf2: PUSH1 0x04
00001bf4: DUP3
00001bf5: ADD
00001bf6: DUP2
00001bf7: SWAP1
00001bf8: MSTORE
00001bf9: PUSH1 0x24
00001bfb: DUP3
00001bfc: ADD
00001bfd: MSTORE
00001bfe: PUSH1 0x00
00001c00: DUP1
00001c01: MLOAD
00001c02: PUSH1 0x20
00001c04: PUSH2 0x3413
00001c07: DUP4
00001c08: CODECOPY
00001c09: DUP2
00001c0a: MLOAD
00001c0b: SWAP2
00001c0c: MSTORE
00001c0d: PUSH1 0x44
00001c0f: DUP3
00001c10: ADD
00001c11: MSTORE
00001c12: SWAP1
00001c13: MLOAD
00001c14: SWAP1
00001c15: DUP2
00001c16: SWAP1
00001c17: SUB
00001c18: PUSH1 0x64
00001c1a: ADD
00001c1b: SWAP1
00001c1c: REVERT
00001c1d: JUMPDEST
00001c1e: PUSH1 0x06
00001c20: SLOAD
00001c21: PUSH1 0xff
00001c23: AND
00001c24: ISZERO
00001c25: PUSH2 0x1c6b
00001c28: JUMPI
00001c29: PUSH1 0x40
00001c2b: DUP1
00001c2c: MLOAD
00001c2d: PUSH3 0x461bcd
00001c31: PUSH1 0xe5
00001c33: SHL
00001c34: DUP2
00001c35: MSTORE
00001c36: PUSH1 0x20
00001c38: PUSH1 0x04
00001c3a: DUP3
00001c3b: ADD
00001c3c: MSTORE
00001c3d: PUSH1 0x13
00001c3f: PUSH1 0x24
00001c41: DUP3
00001c42: ADD
00001c43: MSTORE
00001c44: PUSH19 0x10dbdb9d1c9858dd081a5cc8195b98589b1959
00001c58: PUSH1 0x6a
00001c5a: SHL
00001c5b: PUSH1 0x44
00001c5d: DUP3
00001c5e: ADD
00001c5f: MSTORE
00001c60: SWAP1
00001c61: MLOAD
00001c62: SWAP1
00001c63: DUP2
00001c64: SWAP1
00001c65: SUB
00001c66: PUSH1 0x64
00001c68: ADD
00001c69: SWAP1
00001c6a: REVERT
00001c6b: JUMPDEST
00001c6c: PUSH1 0x0c
00001c6e: SSTORE
00001c6f: JUMP
00001c70: JUMPDEST
00001c71: PUSH1 0x00
00001c73: PUSH1 0x78
00001c75: DUP3
00001c76: GT
00001c77: ISZERO
00001c78: PUSH2 0x1cc8
00001c7b: JUMPI
00001c7c: PUSH1 0x40
00001c7e: DUP1
00001c7f: MLOAD
00001c80: PUSH3 0x461bcd
00001c84: PUSH1 0xe5
00001c86: SHL
00001c87: DUP2
00001c88: MSTORE
00001c89: PUSH1 0x20
00001c8b: PUSH1 0x04
00001c8d: DUP3
00001c8e: ADD
00001c8f: MSTORE
00001c90: PUSH1 0x17
00001c92: PUSH1 0x24
00001c94: DUP3
00001c95: ADD
00001c96: MSTORE
00001c97: PUSH32 0x4d6178696d756d20737570706c79206578636565646564000000000000000000
00001cb8: PUSH1 0x44
00001cba: DUP3
00001cbb: ADD
00001cbc: MSTORE
00001cbd: SWAP1
00001cbe: MLOAD
00001cbf: SWAP1
00001cc0: DUP2
00001cc1: SWAP1
00001cc2: SUB
00001cc3: PUSH1 0x64
00001cc5: ADD
00001cc6: SWAP1
00001cc7: REVERT
00001cc8: JUMPDEST
00001cc9: PUSH2 0x03e8
00001ccc: PUSH1 0x32
00001cce: DUP4
00001ccf: LT
00001cd0: ISZERO
00001cd1: PUSH2 0x1d22
00001cd4: JUMPI
00001cd5: PUSH2 0x1d1b
00001cd8: PUSH2 0x1ce8
00001cdb: PUSH1 0x32
00001cdd: DUP6
00001cde: PUSH4 0xffffffff
00001ce3: PUSH2 0x2abc
00001ce6: AND
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: PUSH1 0x0b
00001ceb: EXP
00001cec: PUSH2 0x1d0f
00001cef: DUP4
00001cf0: PUSH2 0x1d00
00001cf3: PUSH1 0x32
00001cf5: DUP9
00001cf6: PUSH4 0xffffffff
00001cfb: PUSH2 0x2abc
00001cfe: AND
00001cff: JUMP
00001d00: JUMPDEST
00001d01: PUSH1 0x0a
00001d03: EXP
00001d04: SWAP1
00001d05: PUSH4 0xffffffff
00001d0a: PUSH2 0x2cd6
00001d0d: AND
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: SWAP1
00001d11: PUSH4 0xffffffff
00001d16: PUSH2 0x2d2f
00001d19: AND
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: SWAP2
00001d1d: POP
00001d1e: PUSH2 0x1d71
00001d21: JUMP
00001d22: JUMPDEST
00001d23: PUSH1 0x32
00001d25: DUP4
00001d26: EQ
00001d27: ISZERO
00001d28: PUSH2 0x1d33
00001d2b: JUMPI
00001d2c: DUP1
00001d2d: SWAP2
00001d2e: POP
00001d2f: PUSH2 0x1d71
00001d32: JUMP
00001d33: JUMPDEST
00001d34: PUSH2 0x1d6e
00001d37: PUSH2 0x1d47
00001d3a: DUP5
00001d3b: PUSH1 0x32
00001d3d: PUSH4 0xffffffff
00001d42: PUSH2 0x2abc
00001d45: AND
00001d46: JUMP
00001d47: JUMPDEST
00001d48: PUSH1 0x0a
00001d4a: EXP
00001d4b: PUSH2 0x1d0f
00001d4e: DUP4
00001d4f: PUSH2 0x1d5f
00001d52: DUP8
00001d53: PUSH1 0x32
00001d55: PUSH4 0xffffffff
00001d5a: PUSH2 0x2abc
00001d5d: AND
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x0b
00001d62: EXP
00001d63: SWAP1
00001d64: PUSH4 0xffffffff
00001d69: PUSH2 0x2cd6
00001d6c: AND
00001d6d: JUMP
00001d6e: JUMPDEST
00001d6f: SWAP2
00001d70: POP
00001d71: JUMPDEST
00001d72: PUSH2 0x1d92
00001d75: PUSH2 0x1d85
00001d78: PUSH1 0x1a
00001d7a: DUP6
00001d7b: PUSH4 0xffffffff
00001d80: PUSH2 0x2cd6
00001d83: AND
00001d84: JUMP
00001d85: JUMPDEST
00001d86: DUP4
00001d87: SWAP1
00001d88: PUSH4 0xffffffff
00001d8d: PUSH2 0x27da
00001d90: AND
00001d91: JUMP
00001d92: JUMPDEST
00001d93: SWAP2
00001d94: POP
00001d95: PUSH2 0x1da5
00001d98: DUP3
00001d99: PUSH1 0x08
00001d9b: PUSH4 0xffffffff
00001da0: PUSH2 0x2abc
00001da3: AND
00001da4: JUMP
00001da5: JUMPDEST
00001da6: SWAP2
00001da7: POP
00001da8: PUSH2 0x1dc3
00001dab: DUP2
00001dac: PUSH2 0x1d0f
00001daf: DUP5
00001db0: PUSH8 0x0de0b6b3a7640000
00001db9: PUSH4 0xffffffff
00001dbe: PUSH2 0x2cd6
00001dc1: AND
00001dc2: JUMP
00001dc3: JUMPDEST
00001dc4: SWAP4
00001dc5: SWAP3
00001dc6: POP
00001dc7: POP
00001dc8: POP
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: DUP2
00001dcc: PUSH1 0x01
00001dce: PUSH1 0x01
00001dd0: PUSH1 0xa0
00001dd2: SHL
00001dd3: SUB
00001dd4: AND
00001dd5: PUSH2 0x1ddc
00001dd8: PUSH2 0x269d
00001ddb: JUMP
00001ddc: JUMPDEST
00001ddd: PUSH1 0x01
00001ddf: PUSH1 0x01
00001de1: PUSH1 0xa0
00001de3: SHL
00001de4: SUB
00001de5: AND
00001de6: EQ
00001de7: ISZERO
00001de8: PUSH2 0x1e22
00001deb: JUMPI
00001dec: PUSH1 0x40
00001dee: MLOAD
00001def: PUSH3 0x461bcd
00001df3: PUSH1 0xe5
00001df5: SHL
00001df6: DUP2
00001df7: MSTORE
00001df8: PUSH1 0x04
00001dfa: ADD
00001dfb: DUP1
00001dfc: DUP1
00001dfd: PUSH1 0x20
00001dff: ADD
00001e00: DUP3
00001e01: DUP2
00001e02: SUB
00001e03: DUP3
00001e04: MSTORE
00001e05: PUSH1 0x29
00001e07: DUP2
00001e08: MSTORE
00001e09: PUSH1 0x20
00001e0b: ADD
00001e0c: DUP1
00001e0d: PUSH2 0x3433
00001e10: PUSH1 0x29
00001e12: SWAP2
00001e13: CODECOPY
00001e14: PUSH1 0x40
00001e16: ADD
00001e17: SWAP2
00001e18: POP
00001e19: POP
00001e1a: PUSH1 0x40
00001e1c: MLOAD
00001e1d: DUP1
00001e1e: SWAP2
00001e1f: SUB
00001e20: SWAP1
00001e21: REVERT
00001e22: JUMPDEST
00001e23: DUP1
00001e24: PUSH1 0x03
00001e26: PUSH1 0x00
00001e28: PUSH2 0x1e2f
00001e2b: PUSH2 0x269d
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: PUSH1 0x01
00001e32: PUSH1 0x01
00001e34: PUSH1 0xa0
00001e36: SHL
00001e37: SUB
00001e38: SWAP1
00001e39: DUP2
00001e3a: AND
00001e3b: DUP3
00001e3c: MSTORE
00001e3d: PUSH1 0x20
00001e3f: DUP1
00001e40: DUP4
00001e41: ADD
00001e42: SWAP4
00001e43: SWAP1
00001e44: SWAP4
00001e45: MSTORE
00001e46: PUSH1 0x40
00001e48: SWAP2
00001e49: DUP3
00001e4a: ADD
00001e4b: PUSH1 0x00
00001e4d: SWAP1
00001e4e: DUP2
00001e4f: KECCAK256
00001e50: SWAP2
00001e51: DUP8
00001e52: AND
00001e53: DUP1
00001e54: DUP3
00001e55: MSTORE
00001e56: SWAP2
00001e57: SWAP1
00001e58: SWAP4
00001e59: MSTORE
00001e5a: SWAP2
00001e5b: KECCAK256
00001e5c: DUP1
00001e5d: SLOAD
00001e5e: PUSH1 0xff
00001e60: NOT
00001e61: AND
00001e62: SWAP3
00001e63: ISZERO
00001e64: ISZERO
00001e65: SWAP3
00001e66: SWAP1
00001e67: SWAP3
00001e68: OR
00001e69: SWAP1
00001e6a: SWAP2
00001e6b: SSTORE
00001e6c: PUSH2 0x1e73
00001e6f: PUSH2 0x269d
00001e72: JUMP
00001e73: JUMPDEST
00001e74: PUSH1 0x40
00001e76: DUP1
00001e77: MLOAD
00001e78: DUP5
00001e79: ISZERO
00001e7a: ISZERO
00001e7b: DUP2
00001e7c: MSTORE
00001e7d: SWAP1
00001e7e: MLOAD
00001e7f: PUSH1 0x01
00001e81: PUSH1 0x01
00001e83: PUSH1 0xa0
00001e85: SHL
00001e86: SUB
00001e87: SWAP3
00001e88: SWAP1
00001e89: SWAP3
00001e8a: AND
00001e8b: SWAP2
00001e8c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001ead: SWAP2
00001eae: DUP2
00001eaf: SWAP1
00001eb0: SUB
00001eb1: PUSH1 0x20
00001eb3: ADD
00001eb4: SWAP1
00001eb5: LOG3
00001eb6: POP
00001eb7: POP
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH2 0x1ec1
00001ebd: PUSH2 0x269d
00001ec0: JUMP
00001ec1: JUMPDEST
00001ec2: PUSH1 0x00
00001ec4: SLOAD
00001ec5: PUSH1 0x01
00001ec7: PUSH1 0x01
00001ec9: PUSH1 0xa0
00001ecb: SHL
00001ecc: SUB
00001ecd: SWAP1
00001ece: DUP2
00001ecf: AND
00001ed0: SWAP2
00001ed1: AND
00001ed2: EQ
00001ed3: PUSH2 0x1f11
00001ed6: JUMPI
00001ed7: PUSH1 0x40
00001ed9: DUP1
00001eda: MLOAD
00001edb: PUSH3 0x461bcd
00001edf: PUSH1 0xe5
00001ee1: SHL
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: PUSH1 0x20
00001ee6: PUSH1 0x04
00001ee8: DUP3
00001ee9: ADD
00001eea: DUP2
00001eeb: SWAP1
00001eec: MSTORE
00001eed: PUSH1 0x24
00001eef: DUP3
00001ef0: ADD
00001ef1: MSTORE
00001ef2: PUSH1 0x00
00001ef4: DUP1
00001ef5: MLOAD
00001ef6: PUSH1 0x20
00001ef8: PUSH2 0x3413
00001efb: DUP4
00001efc: CODECOPY
00001efd: DUP2
00001efe: MLOAD
00001eff: SWAP2
00001f00: MSTORE
00001f01: PUSH1 0x44
00001f03: DUP3
00001f04: ADD
00001f05: MSTORE
00001f06: SWAP1
00001f07: MLOAD
00001f08: SWAP1
00001f09: DUP2
00001f0a: SWAP1
00001f0b: SUB
00001f0c: PUSH1 0x64
00001f0e: ADD
00001f0f: SWAP1
00001f10: REVERT
00001f11: JUMPDEST
00001f12: PUSH1 0x06
00001f14: SLOAD
00001f15: PUSH2 0x0100
00001f18: SWAP1
00001f19: DIV
00001f1a: PUSH1 0xff
00001f1c: AND
00001f1d: ISZERO
00001f1e: PUSH2 0x1f63
00001f21: JUMPI
00001f22: PUSH1 0x40
00001f24: DUP1
00001f25: MLOAD
00001f26: PUSH3 0x461bcd
00001f2a: PUSH1 0xe5
00001f2c: SHL
00001f2d: DUP2
00001f2e: MSTORE
00001f2f: PUSH1 0x20
00001f31: PUSH1 0x04
00001f33: DUP3
00001f34: ADD
00001f35: MSTORE
00001f36: PUSH1 0x12
00001f38: PUSH1 0x24
00001f3a: DUP3
00001f3b: ADD
00001f3c: MSTORE
00001f3d: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
00001f50: PUSH1 0x72
00001f52: SHL
00001f53: PUSH1 0x44
00001f55: DUP3
00001f56: ADD
00001f57: MSTORE
00001f58: SWAP1
00001f59: MLOAD
00001f5a: SWAP1
00001f5b: DUP2
00001f5c: SWAP1
00001f5d: SUB
00001f5e: PUSH1 0x64
00001f60: ADD
00001f61: SWAP1
00001f62: REVERT
00001f63: JUMPDEST
00001f64: PUSH1 0x00
00001f66: PUSH1 0x07
00001f68: SSTORE
00001f69: JUMP
00001f6a: JUMPDEST
00001f6b: PUSH1 0x0b
00001f6d: PUSH1 0x20
00001f6f: MSTORE
00001f70: PUSH1 0x00
00001f72: SWAP1
00001f73: DUP2
00001f74: MSTORE
00001f75: PUSH1 0x40
00001f77: SWAP1
00001f78: KECCAK256
00001f79: SLOAD
00001f7a: DUP2
00001f7b: JUMP
00001f7c: JUMPDEST
00001f7d: PUSH1 0x00
00001f7f: DUP1
00001f80: PUSH2 0x1f88
00001f83: DUP4
00001f84: PUSH2 0x2001
00001f87: JUMP
00001f88: JUMPDEST
00001f89: PUSH1 0x00
00001f8b: DUP2
00001f8c: DUP2
00001f8d: MSTORE
00001f8e: PUSH1 0x0b
00001f90: PUSH1 0x20
00001f92: MSTORE
00001f93: PUSH1 0x40
00001f95: SWAP1
00001f96: KECCAK256
00001f97: SLOAD
00001f98: SWAP1
00001f99: SWAP2
00001f9a: POP
00001f9b: PUSH2 0x1dc3
00001f9e: SWAP1
00001f9f: PUSH2 0x142a
00001fa2: JUMP
00001fa3: JUMPDEST
00001fa4: PUSH1 0x00
00001fa6: DUP1
00001fa7: PUSH2 0x1faf
00001faa: DUP4
00001fab: PUSH2 0x2001
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: PUSH1 0x00
00001fb2: DUP2
00001fb3: DUP2
00001fb4: MSTORE
00001fb5: PUSH1 0x0b
00001fb7: PUSH1 0x20
00001fb9: MSTORE
00001fba: PUSH1 0x40
00001fbc: SWAP1
00001fbd: KECCAK256
00001fbe: SLOAD
00001fbf: SWAP1
00001fc0: SWAP2
00001fc1: POP
00001fc2: PUSH2 0x1dc3
00001fc5: SWAP1
00001fc6: PUSH1 0x01
00001fc8: ADD
00001fc9: PUSH2 0x1c70
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: PUSH1 0x0d
00001fd0: SLOAD
00001fd1: DUP2
00001fd2: JUMP
00001fd3: JUMPDEST
00001fd4: PUSH1 0x01
00001fd6: PUSH1 0x01
00001fd8: PUSH1 0xa0
00001fda: SHL
00001fdb: SUB
00001fdc: SWAP2
00001fdd: DUP3
00001fde: AND
00001fdf: PUSH1 0x00
00001fe1: SWAP1
00001fe2: DUP2
00001fe3: MSTORE
00001fe4: PUSH1 0x03
00001fe6: PUSH1 0x20
00001fe8: SWAP1
00001fe9: DUP2
00001fea: MSTORE
00001feb: PUSH1 0x40
00001fed: DUP1
00001fee: DUP4
00001fef: KECCAK256
00001ff0: SWAP4
00001ff1: SWAP1
00001ff2: SWAP5
00001ff3: AND
00001ff4: DUP3
00001ff5: MSTORE
00001ff6: SWAP2
00001ff7: SWAP1
00001ff8: SWAP2
00001ff9: MSTORE
00001ffa: KECCAK256
00001ffb: SLOAD
00001ffc: PUSH1 0xff
00001ffe: AND
00001fff: SWAP1
00002000: JUMP
00002001: JUMPDEST
00002002: PUSH5 0x8000000000
00002008: OR
00002009: SWAP1
0000200a: JUMP
0000200b: JUMPDEST
0000200c: PUSH1 0x01
0000200e: PUSH1 0x01
00002010: PUSH1 0xa0
00002012: SHL
00002013: SUB
00002014: DUP5
00002015: AND
00002016: PUSH2 0x2050
00002019: JUMPI
0000201a: PUSH1 0x40
0000201c: MLOAD
0000201d: PUSH3 0x461bcd
00002021: PUSH1 0xe5
00002023: SHL
00002024: DUP2
00002025: MSTORE
00002026: PUSH1 0x04
00002028: ADD
00002029: DUP1
0000202a: DUP1
0000202b: PUSH1 0x20
0000202d: ADD
0000202e: DUP3
0000202f: DUP2
00002030: SUB
00002031: DUP3
00002032: MSTORE
00002033: PUSH1 0x25
00002035: DUP2
00002036: MSTORE
00002037: PUSH1 0x20
00002039: ADD
0000203a: DUP1
0000203b: PUSH2 0x334e
0000203e: PUSH1 0x25
00002040: SWAP2
00002041: CODECOPY
00002042: PUSH1 0x40
00002044: ADD
00002045: SWAP2
00002046: POP
00002047: POP
00002048: PUSH1 0x40
0000204a: MLOAD
0000204b: DUP1
0000204c: SWAP2
0000204d: SUB
0000204e: SWAP1
0000204f: REVERT
00002050: JUMPDEST
00002051: PUSH2 0x2058
00002054: PUSH2 0x269d
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x01
0000205b: PUSH1 0x01
0000205d: PUSH1 0xa0
0000205f: SHL
00002060: SUB
00002061: AND
00002062: DUP6
00002063: PUSH1 0x01
00002065: PUSH1 0x01
00002067: PUSH1 0xa0
00002069: SHL
0000206a: SUB
0000206b: AND
0000206c: EQ
0000206d: DUP1
0000206e: PUSH2 0x207e
00002071: JUMPI
00002072: POP
00002073: PUSH2 0x207e
00002076: DUP6
00002077: PUSH2 0x116f
0000207a: PUSH2 0x269d
0000207d: JUMP
0000207e: JUMPDEST
0000207f: PUSH2 0x20b9
00002082: JUMPI
00002083: PUSH1 0x40
00002085: MLOAD
00002086: PUSH3 0x461bcd
0000208a: PUSH1 0xe5
0000208c: SHL
0000208d: DUP2
0000208e: MSTORE
0000208f: PUSH1 0x04
00002091: ADD
00002092: DUP1
00002093: DUP1
00002094: PUSH1 0x20
00002096: ADD
00002097: DUP3
00002098: DUP2
00002099: SUB
0000209a: DUP3
0000209b: MSTORE
0000209c: PUSH1 0x29
0000209e: DUP2
0000209f: MSTORE
000020a0: PUSH1 0x20
000020a2: ADD
000020a3: DUP1
000020a4: PUSH2 0x3325
000020a7: PUSH1 0x29
000020a9: SWAP2
000020aa: CODECOPY
000020ab: PUSH1 0x40
000020ad: ADD
000020ae: SWAP2
000020af: POP
000020b0: POP
000020b1: PUSH1 0x40
000020b3: MLOAD
000020b4: DUP1
000020b5: SWAP2
000020b6: SUB
000020b7: SWAP1
000020b8: REVERT
000020b9: JUMPDEST
000020ba: PUSH1 0x00
000020bc: PUSH2 0x20c3
000020bf: PUSH2 0x269d
000020c2: JUMP
000020c3: JUMPDEST
000020c4: SWAP1
000020c5: POP
000020c6: PUSH2 0x20e3
000020c9: DUP2
000020ca: DUP8
000020cb: DUP8
000020cc: PUSH2 0x20d4
000020cf: DUP9
000020d0: PUSH2 0x2d71
000020d3: JUMP
000020d4: JUMPDEST
000020d5: PUSH2 0x20dd
000020d8: DUP9
000020d9: PUSH2 0x2d71
000020dc: JUMP
000020dd: JUMPDEST
000020de: DUP8
000020df: PUSH2 0x26b4
000020e2: JUMP
000020e3: JUMPDEST
000020e4: PUSH2 0x2130
000020e7: DUP4
000020e8: PUSH1 0x40
000020ea: MLOAD
000020eb: DUP1
000020ec: PUSH1 0x60
000020ee: ADD
000020ef: PUSH1 0x40
000020f1: MSTORE
000020f2: DUP1
000020f3: PUSH1 0x2a
000020f5: DUP2
000020f6: MSTORE
000020f7: PUSH1 0x20
000020f9: ADD
000020fa: PUSH2 0x33c8
000020fd: PUSH1 0x2a
000020ff: SWAP2
00002100: CODECOPY
00002101: PUSH1 0x00
00002103: DUP8
00002104: DUP2
00002105: MSTORE
00002106: PUSH1 0x02
00002108: PUSH1 0x20
0000210a: SWAP1
0000210b: DUP2
0000210c: MSTORE
0000210d: PUSH1 0x40
0000210f: DUP1
00002110: DUP4
00002111: KECCAK256
00002112: PUSH1 0x01
00002114: PUSH1 0x01
00002116: PUSH1 0xa0
00002118: SHL
00002119: SUB
0000211a: DUP14
0000211b: AND
0000211c: DUP5
0000211d: MSTORE
0000211e: SWAP1
0000211f: SWAP2
00002120: MSTORE
00002121: SWAP1
00002122: KECCAK256
00002123: SLOAD
00002124: SWAP2
00002125: SWAP1
00002126: PUSH4 0xffffffff
0000212b: PUSH2 0x2743
0000212e: AND
0000212f: JUMP
00002130: JUMPDEST
00002131: PUSH1 0x00
00002133: DUP6
00002134: DUP2
00002135: MSTORE
00002136: PUSH1 0x02
00002138: PUSH1 0x20
0000213a: SWAP1
0000213b: DUP2
0000213c: MSTORE
0000213d: PUSH1 0x40
0000213f: DUP1
00002140: DUP4
00002141: KECCAK256
00002142: PUSH1 0x01
00002144: PUSH1 0x01
00002146: PUSH1 0xa0
00002148: SHL
00002149: SUB
0000214a: DUP12
0000214b: DUP2
0000214c: AND
0000214d: DUP6
0000214e: MSTORE
0000214f: SWAP3
00002150: MSTORE
00002151: DUP1
00002152: DUP4
00002153: KECCAK256
00002154: SWAP4
00002155: SWAP1
00002156: SWAP4
00002157: SSTORE
00002158: DUP8
00002159: AND
0000215a: DUP2
0000215b: MSTORE
0000215c: KECCAK256
0000215d: SLOAD
0000215e: PUSH2 0x2167
00002161: SWAP1
00002162: DUP5
00002163: PUSH2 0x27da
00002166: JUMP
00002167: JUMPDEST
00002168: PUSH1 0x00
0000216a: DUP6
0000216b: DUP2
0000216c: MSTORE
0000216d: PUSH1 0x02
0000216f: PUSH1 0x20
00002171: SWAP1
00002172: DUP2
00002173: MSTORE
00002174: PUSH1 0x40
00002176: DUP1
00002177: DUP4
00002178: KECCAK256
00002179: PUSH1 0x01
0000217b: PUSH1 0x01
0000217d: PUSH1 0xa0
0000217f: SHL
00002180: SUB
00002181: DUP1
00002182: DUP12
00002183: AND
00002184: DUP1
00002185: DUP7
00002186: MSTORE
00002187: SWAP2
00002188: DUP5
00002189: MSTORE
0000218a: SWAP4
0000218b: DUP3
0000218c: SWAP1
0000218d: KECCAK256
0000218e: SWAP5
0000218f: SWAP1
00002190: SWAP5
00002191: SSTORE
00002192: DUP1
00002193: MLOAD
00002194: DUP9
00002195: DUP2
00002196: MSTORE
00002197: SWAP2
00002198: DUP3
00002199: ADD
0000219a: DUP8
0000219b: SWAP1
0000219c: MSTORE
0000219d: DUP1
0000219e: MLOAD
0000219f: DUP11
000021a0: DUP5
000021a1: AND
000021a2: SWAP4
000021a3: DUP7
000021a4: AND
000021a5: SWAP3
000021a6: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
000021c7: SWAP3
000021c8: SWAP1
000021c9: DUP3
000021ca: SWAP1
000021cb: SUB
000021cc: ADD
000021cd: SWAP1
000021ce: LOG4
000021cf: PUSH2 0x13b7
000021d2: DUP2
000021d3: DUP8
000021d4: DUP8
000021d5: DUP8
000021d6: DUP8
000021d7: DUP8
000021d8: PUSH2 0x2db5
000021db: JUMP
000021dc: JUMPDEST
000021dd: PUSH2 0x21e4
000021e0: PUSH2 0x269d
000021e3: JUMP
000021e4: JUMPDEST
000021e5: PUSH1 0x00
000021e7: SLOAD
000021e8: PUSH1 0x01
000021ea: PUSH1 0x01
000021ec: PUSH1 0xa0
000021ee: SHL
000021ef: SUB
000021f0: SWAP1
000021f1: DUP2
000021f2: AND
000021f3: SWAP2
000021f4: AND
000021f5: EQ
000021f6: PUSH2 0x2234
000021f9: JUMPI
000021fa: PUSH1 0x40
000021fc: DUP1
000021fd: MLOAD
000021fe: PUSH3 0x461bcd
00002202: PUSH1 0xe5
00002204: SHL
00002205: DUP2
00002206: MSTORE
00002207: PUSH1 0x20
00002209: PUSH1 0x04
0000220b: DUP3
0000220c: ADD
0000220d: DUP2
0000220e: SWAP1
0000220f: MSTORE
00002210: PUSH1 0x24
00002212: DUP3
00002213: ADD
00002214: MSTORE
00002215: PUSH1 0x00
00002217: DUP1
00002218: MLOAD
00002219: PUSH1 0x20
0000221b: PUSH2 0x3413
0000221e: DUP4
0000221f: CODECOPY
00002220: DUP2
00002221: MLOAD
00002222: SWAP2
00002223: MSTORE
00002224: PUSH1 0x44
00002226: DUP3
00002227: ADD
00002228: MSTORE
00002229: SWAP1
0000222a: MLOAD
0000222b: SWAP1
0000222c: DUP2
0000222d: SWAP1
0000222e: SUB
0000222f: PUSH1 0x64
00002231: ADD
00002232: SWAP1
00002233: REVERT
00002234: JUMPDEST
00002235: PUSH1 0x01
00002237: PUSH1 0x01
00002239: PUSH1 0xa0
0000223b: SHL
0000223c: SUB
0000223d: DUP2
0000223e: AND
0000223f: PUSH2 0x2279
00002242: JUMPI
00002243: PUSH1 0x40
00002245: MLOAD
00002246: PUSH3 0x461bcd
0000224a: PUSH1 0xe5
0000224c: SHL
0000224d: DUP2
0000224e: MSTORE
0000224f: PUSH1 0x04
00002251: ADD
00002252: DUP1
00002253: DUP1
00002254: PUSH1 0x20
00002256: ADD
00002257: DUP3
00002258: DUP2
00002259: SUB
0000225a: DUP3
0000225b: MSTORE
0000225c: PUSH1 0x26
0000225e: DUP2
0000225f: MSTORE
00002260: PUSH1 0x20
00002262: ADD
00002263: DUP1
00002264: PUSH2 0x32db
00002267: PUSH1 0x26
00002269: SWAP2
0000226a: CODECOPY
0000226b: PUSH1 0x40
0000226d: ADD
0000226e: SWAP2
0000226f: POP
00002270: POP
00002271: PUSH1 0x40
00002273: MLOAD
00002274: DUP1
00002275: SWAP2
00002276: SUB
00002277: SWAP1
00002278: REVERT
00002279: JUMPDEST
0000227a: PUSH1 0x00
0000227c: DUP1
0000227d: SLOAD
0000227e: PUSH1 0x40
00002280: MLOAD
00002281: PUSH1 0x01
00002283: PUSH1 0x01
00002285: PUSH1 0xa0
00002287: SHL
00002288: SUB
00002289: DUP1
0000228a: DUP6
0000228b: AND
0000228c: SWAP4
0000228d: SWAP3
0000228e: AND
0000228f: SWAP2
00002290: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000022b1: SWAP2
000022b2: LOG3
000022b3: PUSH1 0x00
000022b5: DUP1
000022b6: SLOAD
000022b7: PUSH1 0x01
000022b9: PUSH1 0x01
000022bb: PUSH1 0xa0
000022bd: SHL
000022be: SUB
000022bf: NOT
000022c0: AND
000022c1: PUSH1 0x01
000022c3: PUSH1 0x01
000022c5: PUSH1 0xa0
000022c7: SHL
000022c8: SUB
000022c9: SWAP3
000022ca: SWAP1
000022cb: SWAP3
000022cc: AND
000022cd: SWAP2
000022ce: SWAP1
000022cf: SWAP2
000022d0: OR
000022d1: SWAP1
000022d2: SSTORE
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH2 0x22dc
000022d8: PUSH2 0x269d
000022db: JUMP
000022dc: JUMPDEST
000022dd: PUSH1 0x00
000022df: SLOAD
000022e0: PUSH1 0x01
000022e2: PUSH1 0x01
000022e4: PUSH1 0xa0
000022e6: SHL
000022e7: SUB
000022e8: SWAP1
000022e9: DUP2
000022ea: AND
000022eb: SWAP2
000022ec: AND
000022ed: EQ
000022ee: PUSH2 0x232c
000022f1: JUMPI
000022f2: PUSH1 0x40
000022f4: DUP1
000022f5: MLOAD
000022f6: PUSH3 0x461bcd
000022fa: PUSH1 0xe5
000022fc: SHL
000022fd: DUP2
000022fe: MSTORE
000022ff: PUSH1 0x20
00002301: PUSH1 0x04
00002303: DUP3
00002304: ADD
00002305: DUP2
00002306: SWAP1
00002307: MSTORE
00002308: PUSH1 0x24
0000230a: DUP3
0000230b: ADD
0000230c: MSTORE
0000230d: PUSH1 0x00
0000230f: DUP1
00002310: MLOAD
00002311: PUSH1 0x20
00002313: PUSH2 0x3413
00002316: DUP4
00002317: CODECOPY
00002318: DUP2
00002319: MLOAD
0000231a: SWAP2
0000231b: MSTORE
0000231c: PUSH1 0x44
0000231e: DUP3
0000231f: ADD
00002320: MSTORE
00002321: SWAP1
00002322: MLOAD
00002323: SWAP1
00002324: DUP2
00002325: SWAP1
00002326: SUB
00002327: PUSH1 0x64
00002329: ADD
0000232a: SWAP1
0000232b: REVERT
0000232c: JUMPDEST
0000232d: PUSH1 0x06
0000232f: SLOAD
00002330: PUSH2 0x0100
00002333: SWAP1
00002334: DIV
00002335: PUSH1 0xff
00002337: AND
00002338: ISZERO
00002339: PUSH2 0x237e
0000233c: JUMPI
0000233d: PUSH1 0x40
0000233f: DUP1
00002340: MLOAD
00002341: PUSH3 0x461bcd
00002345: PUSH1 0xe5
00002347: SHL
00002348: DUP2
00002349: MSTORE
0000234a: PUSH1 0x20
0000234c: PUSH1 0x04
0000234e: DUP3
0000234f: ADD
00002350: MSTORE
00002351: PUSH1 0x12
00002353: PUSH1 0x24
00002355: DUP3
00002356: ADD
00002357: MSTORE
00002358: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
0000236b: PUSH1 0x72
0000236d: SHL
0000236e: PUSH1 0x44
00002370: DUP3
00002371: ADD
00002372: MSTORE
00002373: SWAP1
00002374: MLOAD
00002375: SWAP1
00002376: DUP2
00002377: SWAP1
00002378: SUB
00002379: PUSH1 0x64
0000237b: ADD
0000237c: SWAP1
0000237d: REVERT
0000237e: JUMPDEST
0000237f: PUSH1 0x07
00002381: SLOAD
00002382: PUSH1 0x00
00002384: SWAP1
00002385: DUP2
00002386: MSTORE
00002387: PUSH1 0x08
00002389: PUSH1 0x20
0000238b: SWAP1
0000238c: DUP2
0000238d: MSTORE
0000238e: PUSH1 0x40
00002390: SWAP1
00002391: SWAP2
00002392: KECCAK256
00002393: DUP3
00002394: MLOAD
00002395: PUSH2 0x23a0
00002398: SWAP3
00002399: DUP5
0000239a: ADD
0000239b: SWAP1
0000239c: PUSH2 0x30dc
0000239f: JUMP
000023a0: JUMPDEST
000023a1: POP
000023a2: PUSH1 0x07
000023a4: SLOAD
000023a5: PUSH2 0x23b5
000023a8: SWAP1
000023a9: PUSH1 0x01
000023ab: PUSH4 0xffffffff
000023b0: PUSH2 0x27da
000023b3: AND
000023b4: JUMP
000023b5: JUMPDEST
000023b6: PUSH1 0x07
000023b8: SSTORE
000023b9: POP
000023ba: JUMP
000023bb: JUMPDEST
000023bc: PUSH1 0x02
000023be: PUSH1 0x05
000023c0: SLOAD
000023c1: EQ
000023c2: ISZERO
000023c3: PUSH2 0x2413
000023c6: JUMPI
000023c7: PUSH1 0x40
000023c9: DUP1
000023ca: MLOAD
000023cb: PUSH3 0x461bcd
000023cf: PUSH1 0xe5
000023d1: SHL
000023d2: DUP2
000023d3: MSTORE
000023d4: PUSH1 0x20
000023d6: PUSH1 0x04
000023d8: DUP3
000023d9: ADD
000023da: MSTORE
000023db: PUSH1 0x1f
000023dd: PUSH1 0x24
000023df: DUP3
000023e0: ADD
000023e1: MSTORE
000023e2: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002403: PUSH1 0x44
00002405: DUP3
00002406: ADD
00002407: MSTORE
00002408: SWAP1
00002409: MLOAD
0000240a: SWAP1
0000240b: DUP2
0000240c: SWAP1
0000240d: SUB
0000240e: PUSH1 0x64
00002410: ADD
00002411: SWAP1
00002412: REVERT
00002413: JUMPDEST
00002414: PUSH1 0x02
00002416: PUSH1 0x05
00002418: SSTORE
00002419: PUSH1 0x06
0000241b: SLOAD
0000241c: PUSH1 0xff
0000241e: AND
0000241f: PUSH2 0x2466
00002422: JUMPI
00002423: PUSH1 0x40
00002425: DUP1
00002426: MLOAD
00002427: PUSH3 0x461bcd
0000242b: PUSH1 0xe5
0000242d: SHL
0000242e: DUP2
0000242f: MSTORE
00002430: PUSH1 0x20
00002432: PUSH1 0x04
00002434: DUP3
00002435: ADD
00002436: MSTORE
00002437: PUSH1 0x14
00002439: PUSH1 0x24
0000243b: DUP3
0000243c: ADD
0000243d: MSTORE
0000243e: PUSH20 0x10dbdb9d1c9858dd081a5cc8191a5cd8589b1959
00002453: PUSH1 0x62
00002455: SHL
00002456: PUSH1 0x44
00002458: DUP3
00002459: ADD
0000245a: MSTORE
0000245b: SWAP1
0000245c: MLOAD
0000245d: SWAP1
0000245e: DUP2
0000245f: SWAP1
00002460: SUB
00002461: PUSH1 0x64
00002463: ADD
00002464: SWAP1
00002465: REVERT
00002466: JUMPDEST
00002467: PUSH1 0x00
00002469: DUP3
0000246a: DUP2
0000246b: MSTORE
0000246c: PUSH1 0x09
0000246e: PUSH1 0x20
00002470: MSTORE
00002471: PUSH1 0x40
00002473: SWAP1
00002474: KECCAK256
00002475: SLOAD
00002476: PUSH1 0x01
00002478: PUSH1 0x01
0000247a: PUSH1 0xa0
0000247c: SHL
0000247d: SUB
0000247e: AND
0000247f: PUSH2 0x24c5
00002482: JUMPI
00002483: PUSH1 0x40
00002485: DUP1
00002486: MLOAD
00002487: PUSH3 0x461bcd
0000248b: PUSH1 0xe5
0000248d: SHL
0000248e: DUP2
0000248f: MSTORE
00002490: PUSH1 0x20
00002492: PUSH1 0x04
00002494: DUP3
00002495: ADD
00002496: MSTORE
00002497: PUSH1 0x13
00002499: PUSH1 0x24
0000249b: DUP3
0000249c: ADD
0000249d: MSTORE
0000249e: PUSH19 0x14d9595908191bd95cc81b9bdd08195e1a5cdd
000024b2: PUSH1 0x6a
000024b4: SHL
000024b5: PUSH1 0x44
000024b7: DUP3
000024b8: ADD
000024b9: MSTORE
000024ba: SWAP1
000024bb: MLOAD
000024bc: SWAP1
000024bd: DUP2
000024be: SWAP1
000024bf: SUB
000024c0: PUSH1 0x64
000024c2: ADD
000024c3: SWAP1
000024c4: REVERT
000024c5: JUMPDEST
000024c6: PUSH1 0x00
000024c8: PUSH2 0x24d0
000024cb: DUP4
000024cc: PUSH2 0x2001
000024cf: JUMP
000024d0: JUMPDEST
000024d1: PUSH1 0x00
000024d3: DUP2
000024d4: DUP2
000024d5: MSTORE
000024d6: PUSH1 0x0b
000024d8: PUSH1 0x20
000024da: MSTORE
000024db: PUSH1 0x40
000024dd: SWAP1
000024de: KECCAK256
000024df: SLOAD
000024e0: SWAP1
000024e1: SWAP2
000024e2: POP
000024e3: DUP3
000024e4: DUP2
000024e5: LT
000024e6: ISZERO
000024e7: PUSH2 0x252c
000024ea: JUMPI
000024eb: PUSH1 0x40
000024ed: DUP1
000024ee: MLOAD
000024ef: PUSH3 0x461bcd
000024f3: PUSH1 0xe5
000024f5: SHL
000024f6: DUP2
000024f7: MSTORE
000024f8: PUSH1 0x20
000024fa: PUSH1 0x04
000024fc: DUP3
000024fd: ADD
000024fe: MSTORE
000024ff: PUSH1 0x12
00002501: PUSH1 0x24
00002503: DUP3
00002504: ADD
00002505: MSTORE
00002506: PUSH18 0x135a5b881cdd5c1c1b1e481b9bdd081b595d
00002519: PUSH1 0x72
0000251b: SHL
0000251c: PUSH1 0x44
0000251e: DUP3
0000251f: ADD
00002520: MSTORE
00002521: SWAP1
00002522: MLOAD
00002523: SWAP1
00002524: DUP2
00002525: SWAP1
00002526: SUB
00002527: PUSH1 0x64
00002529: ADD
0000252a: SWAP1
0000252b: REVERT
0000252c: JUMPDEST
0000252d: PUSH1 0x00
0000252f: PUSH2 0x2537
00002532: DUP3
00002533: PUSH2 0x142a
00002536: JUMP
00002537: JUMPDEST
00002538: PUSH1 0x00
0000253a: DUP5
0000253b: DUP2
0000253c: MSTORE
0000253d: PUSH1 0x0b
0000253f: PUSH1 0x20
00002541: MSTORE
00002542: PUSH1 0x40
00002544: DUP2
00002545: KECCAK256
00002546: SLOAD
00002547: SWAP2
00002548: SWAP3
00002549: POP
0000254a: SWAP1
0000254b: PUSH2 0x255b
0000254e: SWAP1
0000254f: PUSH1 0x01
00002551: PUSH4 0xffffffff
00002556: PUSH2 0x2abc
00002559: AND
0000255a: JUMP
0000255b: JUMPDEST
0000255c: PUSH1 0x00
0000255e: DUP6
0000255f: DUP2
00002560: MSTORE
00002561: PUSH1 0x0b
00002563: PUSH1 0x20
00002565: MSTORE
00002566: PUSH1 0x40
00002568: SWAP1
00002569: KECCAK256
0000256a: DUP2
0000256b: SWAP1
0000256c: SSTORE
0000256d: PUSH1 0x0d
0000256f: SLOAD
00002570: SWAP1
00002571: SWAP2
00002572: POP
00002573: PUSH2 0x2582
00002576: SWAP1
00002577: DUP4
00002578: PUSH4 0xffffffff
0000257d: PUSH2 0x2abc
00002580: AND
00002581: JUMP
00002582: JUMPDEST
00002583: PUSH1 0x0d
00002585: SSTORE
00002586: PUSH2 0x2591
00002589: CALLER
0000258a: DUP6
0000258b: PUSH1 0x01
0000258d: PUSH2 0x2f38
00002590: JUMP
00002591: JUMPDEST
00002592: PUSH1 0x40
00002594: MLOAD
00002595: PUSH1 0x00
00002597: SWAP1
00002598: CALLER
00002599: SWAP1
0000259a: DUP5
0000259b: SWAP1
0000259c: DUP4
0000259d: DUP2
0000259e: DUP2
0000259f: DUP2
000025a0: DUP6
000025a1: DUP8
000025a2: GAS
000025a3: CALL
000025a4: SWAP3
000025a5: POP
000025a6: POP
000025a7: POP
000025a8: RETURNDATASIZE
000025a9: DUP1
000025aa: PUSH1 0x00
000025ac: DUP2
000025ad: EQ
000025ae: PUSH2 0x25d3
000025b1: JUMPI
000025b2: PUSH1 0x40
000025b4: MLOAD
000025b5: SWAP2
000025b6: POP
000025b7: PUSH1 0x1f
000025b9: NOT
000025ba: PUSH1 0x3f
000025bc: RETURNDATASIZE
000025bd: ADD
000025be: AND
000025bf: DUP3
000025c0: ADD
000025c1: PUSH1 0x40
000025c3: MSTORE
000025c4: RETURNDATASIZE
000025c5: DUP3
000025c6: MSTORE
000025c7: RETURNDATASIZE
000025c8: PUSH1 0x00
000025ca: PUSH1 0x20
000025cc: DUP5
000025cd: ADD
000025ce: RETURNDATACOPY
000025cf: PUSH2 0x25d8
000025d2: JUMP
000025d3: JUMPDEST
000025d4: PUSH1 0x60
000025d6: SWAP2
000025d7: POP
000025d8: JUMPDEST
000025d9: POP
000025da: POP
000025db: SWAP1
000025dc: POP
000025dd: DUP1
000025de: PUSH2 0x2624
000025e1: JUMPI
000025e2: PUSH1 0x40
000025e4: DUP1
000025e5: MLOAD
000025e6: PUSH3 0x461bcd
000025ea: PUSH1 0xe5
000025ec: SHL
000025ed: DUP2
000025ee: MSTORE
000025ef: PUSH1 0x20
000025f1: PUSH1 0x04
000025f3: DUP3
000025f4: ADD
000025f5: MSTORE
000025f6: PUSH1 0x13
000025f8: PUSH1 0x24
000025fa: DUP3
000025fb: ADD
000025fc: MSTORE
000025fd: PUSH19 0x109d5c9b881c185e5b595b9d0819985a5b1959
00002611: PUSH1 0x6a
00002613: SHL
00002614: PUSH1 0x44
00002616: DUP3
00002617: ADD
00002618: MSTORE
00002619: SWAP1
0000261a: MLOAD
0000261b: SWAP1
0000261c: DUP2
0000261d: SWAP1
0000261e: SUB
0000261f: PUSH1 0x64
00002621: ADD
00002622: SWAP1
00002623: REVERT
00002624: JUMPDEST
00002625: DUP7
00002626: CALLER
00002627: PUSH32 0x28c10a3ed4dd25f5f55dfd6c310c0e429c49e5e360db37f0cb3dbef72343e80f
00002648: DUP8
00002649: DUP7
0000264a: PUSH2 0x2652
0000264d: DUP10
0000264e: PUSH2 0x1c70
00002651: JUMP
00002652: JUMPDEST
00002653: PUSH2 0x265b
00002656: DUP9
00002657: PUSH2 0x142a
0000265a: JUMP
0000265b: JUMPDEST
0000265c: PUSH1 0x0d
0000265e: SLOAD
0000265f: PUSH1 0x40
00002661: DUP1
00002662: MLOAD
00002663: SWAP6
00002664: DUP7
00002665: MSTORE
00002666: PUSH1 0x20
00002668: DUP7
00002669: ADD
0000266a: SWAP5
0000266b: SWAP1
0000266c: SWAP5
0000266d: MSTORE
0000266e: DUP5
0000266f: DUP5
00002670: ADD
00002671: SWAP3
00002672: SWAP1
00002673: SWAP3
00002674: MSTORE
00002675: PUSH1 0x60
00002677: DUP5
00002678: ADD
00002679: MSTORE
0000267a: PUSH1 0x80
0000267c: DUP4
0000267d: ADD
0000267e: DUP9
0000267f: SWAP1
00002680: MSTORE
00002681: PUSH1 0xa0
00002683: DUP4
00002684: ADD
00002685: MSTORE
00002686: MLOAD
00002687: SWAP1
00002688: DUP2
00002689: SWAP1
0000268a: SUB
0000268b: PUSH1 0xc0
0000268d: ADD
0000268e: SWAP1
0000268f: LOG3
00002690: POP
00002691: POP
00002692: PUSH1 0x01
00002694: PUSH1 0x05
00002696: SSTORE
00002697: POP
00002698: POP
00002699: POP
0000269a: POP
0000269b: POP
0000269c: JUMP
0000269d: JUMPDEST
0000269e: CALLER
0000269f: SWAP1
000026a0: JUMP
000026a1: JUMPDEST
000026a2: DUP1
000026a3: MLOAD
000026a4: PUSH2 0x14e4
000026a7: SWAP1
000026a8: PUSH1 0x04
000026aa: SWAP1
000026ab: PUSH1 0x20
000026ad: DUP5
000026ae: ADD
000026af: SWAP1
000026b0: PUSH2 0x30dc
000026b3: JUMP
000026b4: JUMPDEST
000026b5: PUSH2 0x26c2
000026b8: DUP7
000026b9: DUP7
000026ba: DUP7
000026bb: DUP7
000026bc: DUP7
000026bd: DUP7
000026be: PUSH2 0x13b7
000026c1: JUMP
000026c2: JUMPDEST
000026c3: PUSH1 0x00
000026c5: JUMPDEST
000026c6: DUP4
000026c7: MLOAD
000026c8: DUP2
000026c9: LT
000026ca: ISZERO
000026cb: PUSH2 0x273a
000026ce: JUMPI
000026cf: PUSH5 0x8000000000
000026d5: DUP1
000026d6: DUP6
000026d7: DUP4
000026d8: DUP2
000026d9: MLOAD
000026da: DUP2
000026db: LT
000026dc: PUSH2 0x26e1
000026df: JUMPI
000026e0: INVALID
000026e1: JUMPDEST
000026e2: PUSH1 0x20
000026e4: MUL
000026e5: PUSH1 0x20
000026e7: ADD
000026e8: ADD
000026e9: MLOAD
000026ea: AND
000026eb: EQ
000026ec: PUSH2 0x2732
000026ef: JUMPI
000026f0: PUSH1 0x00
000026f2: DUP5
000026f3: DUP3
000026f4: DUP2
000026f5: MLOAD
000026f6: DUP2
000026f7: LT
000026f8: PUSH2 0x26fd
000026fb: JUMPI
000026fc: INVALID
000026fd: JUMPDEST
000026fe: PUSH1 0x20
00002700: SWAP1
00002701: DUP2
00002702: MUL
00002703: SWAP2
00002704: SWAP1
00002705: SWAP2
00002706: ADD
00002707: DUP2
00002708: ADD
00002709: MLOAD
0000270a: PUSH1 0x00
0000270c: SWAP1
0000270d: DUP2
0000270e: MSTORE
0000270f: PUSH1 0x09
00002711: SWAP1
00002712: SWAP2
00002713: MSTORE
00002714: PUSH1 0x40
00002716: SWAP1
00002717: KECCAK256
00002718: DUP1
00002719: SLOAD
0000271a: PUSH1 0x01
0000271c: PUSH1 0x01
0000271e: PUSH1 0xa0
00002720: SHL
00002721: SUB
00002722: NOT
00002723: AND
00002724: PUSH1 0x01
00002726: PUSH1 0x01
00002728: PUSH1 0xa0
0000272a: SHL
0000272b: SUB
0000272c: DUP9
0000272d: AND
0000272e: OR
0000272f: SWAP1
00002730: SSTORE
00002731: POP
00002732: JUMPDEST
00002733: PUSH1 0x01
00002735: ADD
00002736: PUSH2 0x26c5
00002739: JUMP
0000273a: JUMPDEST
0000273b: POP
0000273c: POP
0000273d: POP
0000273e: POP
0000273f: POP
00002740: POP
00002741: POP
00002742: JUMP
00002743: JUMPDEST
00002744: PUSH1 0x00
00002746: DUP2
00002747: DUP5
00002748: DUP5
00002749: GT
0000274a: ISZERO
0000274b: PUSH2 0x27d2
0000274e: JUMPI
0000274f: PUSH1 0x40
00002751: MLOAD
00002752: PUSH3 0x461bcd
00002756: PUSH1 0xe5
00002758: SHL
00002759: DUP2
0000275a: MSTORE
0000275b: PUSH1 0x04
0000275d: ADD
0000275e: DUP1
0000275f: DUP1
00002760: PUSH1 0x20
00002762: ADD
00002763: DUP3
00002764: DUP2
00002765: SUB
00002766: DUP3
00002767: MSTORE
00002768: DUP4
00002769: DUP2
0000276a: DUP2
0000276b: MLOAD
0000276c: DUP2
0000276d: MSTORE
0000276e: PUSH1 0x20
00002770: ADD
00002771: SWAP2
00002772: POP
00002773: DUP1
00002774: MLOAD
00002775: SWAP1
00002776: PUSH1 0x20
00002778: ADD
00002779: SWAP1
0000277a: DUP1
0000277b: DUP4
0000277c: DUP4
0000277d: PUSH1 0x00
0000277f: JUMPDEST
00002780: DUP4
00002781: DUP2
00002782: LT
00002783: ISZERO
00002784: PUSH2 0x2797
00002787: JUMPI
00002788: DUP2
00002789: DUP2
0000278a: ADD
0000278b: MLOAD
0000278c: DUP4
0000278d: DUP3
0000278e: ADD
0000278f: MSTORE
00002790: PUSH1 0x20
00002792: ADD
00002793: PUSH2 0x277f
00002796: JUMP
00002797: JUMPDEST
00002798: POP
00002799: POP
0000279a: POP
0000279b: POP
0000279c: SWAP1
0000279d: POP
0000279e: SWAP1
0000279f: DUP2
000027a0: ADD
000027a1: SWAP1
000027a2: PUSH1 0x1f
000027a4: AND
000027a5: DUP1
000027a6: ISZERO
000027a7: PUSH2 0x27c4
000027aa: JUMPI
000027ab: DUP1
000027ac: DUP3
000027ad: SUB
000027ae: DUP1
000027af: MLOAD
000027b0: PUSH1 0x01
000027b2: DUP4
000027b3: PUSH1 0x20
000027b5: SUB
000027b6: PUSH2 0x0100
000027b9: EXP
000027ba: SUB
000027bb: NOT
000027bc: AND
000027bd: DUP2
000027be: MSTORE
000027bf: PUSH1 0x20
000027c1: ADD
000027c2: SWAP2
000027c3: POP
000027c4: JUMPDEST
000027c5: POP
000027c6: SWAP3
000027c7: POP
000027c8: POP
000027c9: POP
000027ca: PUSH1 0x40
000027cc: MLOAD
000027cd: DUP1
000027ce: SWAP2
000027cf: SUB
000027d0: SWAP1
000027d1: REVERT
000027d2: JUMPDEST
000027d3: POP
000027d4: POP
000027d5: POP
000027d6: SWAP1
000027d7: SUB
000027d8: SWAP1
000027d9: JUMP
000027da: JUMPDEST
000027db: PUSH1 0x00
000027dd: DUP3
000027de: DUP3
000027df: ADD
000027e0: DUP4
000027e1: DUP2
000027e2: LT
000027e3: ISZERO
000027e4: PUSH2 0x1dc3
000027e7: JUMPI
000027e8: PUSH1 0x40
000027ea: DUP1
000027eb: MLOAD
000027ec: PUSH3 0x461bcd
000027f0: PUSH1 0xe5
000027f2: SHL
000027f3: DUP2
000027f4: MSTORE
000027f5: PUSH1 0x20
000027f7: PUSH1 0x04
000027f9: DUP3
000027fa: ADD
000027fb: MSTORE
000027fc: PUSH1 0x1b
000027fe: PUSH1 0x24
00002800: DUP3
00002801: ADD
00002802: MSTORE
00002803: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002824: PUSH1 0x44
00002826: DUP3
00002827: ADD
00002828: MSTORE
00002829: SWAP1
0000282a: MLOAD
0000282b: SWAP1
0000282c: DUP2
0000282d: SWAP1
0000282e: SUB
0000282f: PUSH1 0x64
00002831: ADD
00002832: SWAP1
00002833: REVERT
00002834: JUMPDEST
00002835: PUSH2 0x2846
00002838: DUP5
00002839: PUSH1 0x01
0000283b: PUSH1 0x01
0000283d: PUSH1 0xa0
0000283f: SHL
00002840: SUB
00002841: AND
00002842: PUSH2 0x3071
00002845: JUMP
00002846: JUMPDEST
00002847: ISZERO
00002848: PUSH2 0x13b7
0000284b: JUMPI
0000284c: DUP4
0000284d: PUSH1 0x01
0000284f: PUSH1 0x01
00002851: PUSH1 0xa0
00002853: SHL
00002854: SUB
00002855: AND
00002856: PUSH4 0xbc197c81
0000285b: DUP8
0000285c: DUP8
0000285d: DUP7
0000285e: DUP7
0000285f: DUP7
00002860: PUSH1 0x40
00002862: MLOAD
00002863: DUP7
00002864: PUSH4 0xffffffff
00002869: AND
0000286a: PUSH1 0xe0
0000286c: SHL
0000286d: DUP2
0000286e: MSTORE
0000286f: PUSH1 0x04
00002871: ADD
00002872: DUP1
00002873: DUP7
00002874: PUSH1 0x01
00002876: PUSH1 0x01
00002878: PUSH1 0xa0
0000287a: SHL
0000287b: SUB
0000287c: AND
0000287d: PUSH1 0x01
0000287f: PUSH1 0x01
00002881: PUSH1 0xa0
00002883: SHL
00002884: SUB
00002885: AND
00002886: DUP2
00002887: MSTORE
00002888: PUSH1 0x20
0000288a: ADD
0000288b: DUP6
0000288c: PUSH1 0x01
0000288e: PUSH1 0x01
00002890: PUSH1 0xa0
00002892: SHL
00002893: SUB
00002894: AND
00002895: PUSH1 0x01
00002897: PUSH1 0x01
00002899: PUSH1 0xa0
0000289b: SHL
0000289c: SUB
0000289d: AND
0000289e: DUP2
0000289f: MSTORE
000028a0: PUSH1 0x20
000028a2: ADD
000028a3: DUP1
000028a4: PUSH1 0x20
000028a6: ADD
000028a7: DUP1
000028a8: PUSH1 0x20
000028aa: ADD
000028ab: DUP1
000028ac: PUSH1 0x20
000028ae: ADD
000028af: DUP5
000028b0: DUP2
000028b1: SUB
000028b2: DUP5
000028b3: MSTORE
000028b4: DUP8
000028b5: DUP2
000028b6: DUP2
000028b7: MLOAD
000028b8: DUP2
000028b9: MSTORE
000028ba: PUSH1 0x20
000028bc: ADD
000028bd: SWAP2
000028be: POP
000028bf: DUP1
000028c0: MLOAD
000028c1: SWAP1
000028c2: PUSH1 0x20
000028c4: ADD
000028c5: SWAP1
000028c6: PUSH1 0x20
000028c8: MUL
000028c9: DUP1
000028ca: DUP4
000028cb: DUP4
000028cc: PUSH1 0x00
000028ce: JUMPDEST
000028cf: DUP4
000028d0: DUP2
000028d1: LT
000028d2: ISZERO
000028d3: PUSH2 0x28e6
000028d6: JUMPI
000028d7: DUP2
000028d8: DUP2
000028d9: ADD
000028da: MLOAD
000028db: DUP4
000028dc: DUP3
000028dd: ADD
000028de: MSTORE
000028df: PUSH1 0x20
000028e1: ADD
000028e2: PUSH2 0x28ce
000028e5: JUMP
000028e6: JUMPDEST
000028e7: POP
000028e8: POP
000028e9: POP
000028ea: POP
000028eb: SWAP1
000028ec: POP
000028ed: ADD
000028ee: DUP5
000028ef: DUP2
000028f0: SUB
000028f1: DUP4
000028f2: MSTORE
000028f3: DUP7
000028f4: DUP2
000028f5: DUP2
000028f6: MLOAD
000028f7: DUP2
000028f8: MSTORE
000028f9: PUSH1 0x20
000028fb: ADD
000028fc: SWAP2
000028fd: POP
000028fe: DUP1
000028ff: MLOAD
00002900: SWAP1
00002901: PUSH1 0x20
00002903: ADD
00002904: SWAP1
00002905: PUSH1 0x20
00002907: MUL
00002908: DUP1
00002909: DUP4
0000290a: DUP4
0000290b: PUSH1 0x00
0000290d: JUMPDEST
0000290e: DUP4
0000290f: DUP2
00002910: LT
00002911: ISZERO
00002912: PUSH2 0x2925
00002915: JUMPI
00002916: DUP2
00002917: DUP2
00002918: ADD
00002919: MLOAD
0000291a: DUP4
0000291b: DUP3
0000291c: ADD
0000291d: MSTORE
0000291e: PUSH1 0x20
00002920: ADD
00002921: PUSH2 0x290d
00002924: JUMP
00002925: JUMPDEST
00002926: POP
00002927: POP
00002928: POP
00002929: POP
0000292a: SWAP1
0000292b: POP
0000292c: ADD
0000292d: DUP5
0000292e: DUP2
0000292f: SUB
00002930: DUP3
00002931: MSTORE
00002932: DUP6
00002933: DUP2
00002934: DUP2
00002935: MLOAD
00002936: DUP2
00002937: MSTORE
00002938: PUSH1 0x20
0000293a: ADD
0000293b: SWAP2
0000293c: POP
0000293d: DUP1
0000293e: MLOAD
0000293f: SWAP1
00002940: PUSH1 0x20
00002942: ADD
00002943: SWAP1
00002944: DUP1
00002945: DUP4
00002946: DUP4
00002947: PUSH1 0x00
00002949: JUMPDEST
0000294a: DUP4
0000294b: DUP2
0000294c: LT
0000294d: ISZERO
0000294e: PUSH2 0x2961
00002951: JUMPI
00002952: DUP2
00002953: DUP2
00002954: ADD
00002955: MLOAD
00002956: DUP4
00002957: DUP3
00002958: ADD
00002959: MSTORE
0000295a: PUSH1 0x20
0000295c: ADD
0000295d: PUSH2 0x2949
00002960: JUMP
00002961: JUMPDEST
00002962: POP
00002963: POP
00002964: POP
00002965: POP
00002966: SWAP1
00002967: POP
00002968: SWAP1
00002969: DUP2
0000296a: ADD
0000296b: SWAP1
0000296c: PUSH1 0x1f
0000296e: AND
0000296f: DUP1
00002970: ISZERO
00002971: PUSH2 0x298e
00002974: JUMPI
00002975: DUP1
00002976: DUP3
00002977: SUB
00002978: DUP1
00002979: MLOAD
0000297a: PUSH1 0x01
0000297c: DUP4
0000297d: PUSH1 0x20
0000297f: SUB
00002980: PUSH2 0x0100
00002983: EXP
00002984: SUB
00002985: NOT
00002986: AND
00002987: DUP2
00002988: MSTORE
00002989: PUSH1 0x20
0000298b: ADD
0000298c: SWAP2
0000298d: POP
0000298e: JUMPDEST
0000298f: POP
00002990: SWAP9
00002991: POP
00002992: POP
00002993: POP
00002994: POP
00002995: POP
00002996: POP
00002997: POP
00002998: POP
00002999: POP
0000299a: PUSH1 0x20
0000299c: PUSH1 0x40
0000299e: MLOAD
0000299f: DUP1
000029a0: DUP4
000029a1: SUB
000029a2: DUP2
000029a3: PUSH1 0x00
000029a5: DUP8
000029a6: DUP1
000029a7: EXTCODESIZE
000029a8: ISZERO
000029a9: DUP1
000029aa: ISZERO
000029ab: PUSH2 0x29b3
000029ae: JUMPI
000029af: PUSH1 0x00
000029b1: DUP1
000029b2: REVERT
000029b3: JUMPDEST
000029b4: POP
000029b5: GAS
000029b6: CALL
000029b7: SWAP3
000029b8: POP
000029b9: POP
000029ba: POP
000029bb: DUP1
000029bc: ISZERO
000029bd: PUSH2 0x29d8
000029c0: JUMPI
000029c1: POP
000029c2: PUSH1 0x40
000029c4: MLOAD
000029c5: RETURNDATASIZE
000029c6: PUSH1 0x20
000029c8: DUP2
000029c9: LT
000029ca: ISZERO
000029cb: PUSH2 0x29d3
000029ce: JUMPI
000029cf: PUSH1 0x00
000029d1: DUP1
000029d2: REVERT
000029d3: JUMPDEST
000029d4: POP
000029d5: MLOAD
000029d6: PUSH1 0x01
000029d8: JUMPDEST
000029d9: PUSH2 0x2a6d
000029dc: JUMPI
000029dd: PUSH2 0x29e4
000029e0: PUSH2 0x317a
000029e3: JUMP
000029e4: JUMPDEST
000029e5: DUP1
000029e6: PUSH2 0x29ef
000029e9: JUMPI
000029ea: POP
000029eb: PUSH2 0x2a36
000029ee: JUMP
000029ef: JUMPDEST
000029f0: PUSH1 0x40
000029f2: MLOAD
000029f3: PUSH3 0x461bcd
000029f7: PUSH1 0xe5
000029f9: SHL
000029fa: DUP2
000029fb: MSTORE
000029fc: PUSH1 0x20
000029fe: PUSH1 0x04
00002a00: DUP3
00002a01: ADD
00002a02: DUP2
00002a03: DUP2
00002a04: MSTORE
00002a05: DUP4
00002a06: MLOAD
00002a07: PUSH1 0x24
00002a09: DUP5
00002a0a: ADD
00002a0b: MSTORE
00002a0c: DUP4
00002a0d: MLOAD
00002a0e: DUP5
00002a0f: SWAP4
00002a10: SWAP2
00002a11: SWAP3
00002a12: DUP4
00002a13: SWAP3
00002a14: PUSH1 0x44
00002a16: ADD
00002a17: SWAP2
00002a18: SWAP1
00002a19: DUP6
00002a1a: ADD
00002a1b: SWAP1
00002a1c: DUP1
00002a1d: DUP4
00002a1e: DUP4
00002a1f: PUSH1 0x00
00002a21: DUP4
00002a22: ISZERO
00002a23: PUSH2 0x2797
00002a26: JUMPI
00002a27: DUP2
00002a28: DUP2
00002a29: ADD
00002a2a: MLOAD
00002a2b: DUP4
00002a2c: DUP3
00002a2d: ADD
00002a2e: MSTORE
00002a2f: PUSH1 0x20
00002a31: ADD
00002a32: PUSH2 0x277f
00002a35: JUMP
00002a36: JUMPDEST
00002a37: PUSH1 0x40
00002a39: MLOAD
00002a3a: PUSH3 0x461bcd
00002a3e: PUSH1 0xe5
00002a40: SHL
00002a41: DUP2
00002a42: MSTORE
00002a43: PUSH1 0x04
00002a45: ADD
00002a46: DUP1
00002a47: DUP1
00002a48: PUSH1 0x20
00002a4a: ADD
00002a4b: DUP3
00002a4c: DUP2
00002a4d: SUB
00002a4e: DUP3
00002a4f: MSTORE
00002a50: PUSH1 0x34
00002a52: DUP2
00002a53: MSTORE
00002a54: PUSH1 0x20
00002a56: ADD
00002a57: DUP1
00002a58: PUSH2 0x3223
00002a5b: PUSH1 0x34
00002a5d: SWAP2
00002a5e: CODECOPY
00002a5f: PUSH1 0x40
00002a61: ADD
00002a62: SWAP2
00002a63: POP
00002a64: POP
00002a65: PUSH1 0x40
00002a67: MLOAD
00002a68: DUP1
00002a69: SWAP2
00002a6a: SUB
00002a6b: SWAP1
00002a6c: REVERT
00002a6d: JUMPDEST
00002a6e: PUSH1 0x01
00002a70: PUSH1 0x01
00002a72: PUSH1 0xe0
00002a74: SHL
00002a75: SUB
00002a76: NOT
00002a77: DUP2
00002a78: AND
00002a79: PUSH4 0xbc197c81
00002a7e: PUSH1 0xe0
00002a80: SHL
00002a81: EQ
00002a82: PUSH2 0x273a
00002a85: JUMPI
00002a86: PUSH1 0x40
00002a88: MLOAD
00002a89: PUSH3 0x461bcd
00002a8d: PUSH1 0xe5
00002a8f: SHL
00002a90: DUP2
00002a91: MSTORE
00002a92: PUSH1 0x04
00002a94: ADD
00002a95: DUP1
00002a96: DUP1
00002a97: PUSH1 0x20
00002a99: ADD
00002a9a: DUP3
00002a9b: DUP2
00002a9c: SUB
00002a9d: DUP3
00002a9e: MSTORE
00002a9f: PUSH1 0x28
00002aa1: DUP2
00002aa2: MSTORE
00002aa3: PUSH1 0x20
00002aa5: ADD
00002aa6: DUP1
00002aa7: PUSH2 0x3257
00002aaa: PUSH1 0x28
00002aac: SWAP2
00002aad: CODECOPY
00002aae: PUSH1 0x40
00002ab0: ADD
00002ab1: SWAP2
00002ab2: POP
00002ab3: POP
00002ab4: PUSH1 0x40
00002ab6: MLOAD
00002ab7: DUP1
00002ab8: SWAP2
00002ab9: SUB
00002aba: SWAP1
00002abb: REVERT
00002abc: JUMPDEST
00002abd: PUSH1 0x00
00002abf: PUSH2 0x1dc3
00002ac2: DUP4
00002ac3: DUP4
00002ac4: PUSH1 0x40
00002ac6: MLOAD
00002ac7: DUP1
00002ac8: PUSH1 0x40
00002aca: ADD
00002acb: PUSH1 0x40
00002acd: MSTORE
00002ace: DUP1
00002acf: PUSH1 0x1e
00002ad1: DUP2
00002ad2: MSTORE
00002ad3: PUSH1 0x20
00002ad5: ADD
00002ad6: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002af7: DUP2
00002af8: MSTORE
00002af9: POP
00002afa: PUSH2 0x2743
00002afd: JUMP
00002afe: JUMPDEST
00002aff: PUSH1 0x01
00002b01: PUSH1 0x01
00002b03: PUSH1 0xa0
00002b05: SHL
00002b06: SUB
00002b07: DUP5
00002b08: AND
00002b09: PUSH2 0x2b43
00002b0c: JUMPI
00002b0d: PUSH1 0x40
00002b0f: MLOAD
00002b10: PUSH3 0x461bcd
00002b14: PUSH1 0xe5
00002b16: SHL
00002b17: DUP2
00002b18: MSTORE
00002b19: PUSH1 0x04
00002b1b: ADD
00002b1c: DUP1
00002b1d: DUP1
00002b1e: PUSH1 0x20
00002b20: ADD
00002b21: DUP3
00002b22: DUP2
00002b23: SUB
00002b24: DUP3
00002b25: MSTORE
00002b26: PUSH1 0x21
00002b28: DUP2
00002b29: MSTORE
00002b2a: PUSH1 0x20
00002b2c: ADD
00002b2d: DUP1
00002b2e: PUSH2 0x34ad
00002b31: PUSH1 0x21
00002b33: SWAP2
00002b34: CODECOPY
00002b35: PUSH1 0x40
00002b37: ADD
00002b38: SWAP2
00002b39: POP
00002b3a: POP
00002b3b: PUSH1 0x40
00002b3d: MLOAD
00002b3e: DUP1
00002b3f: SWAP2
00002b40: SUB
00002b41: SWAP1
00002b42: REVERT
00002b43: JUMPDEST
00002b44: PUSH1 0x00
00002b46: PUSH2 0x2b4d
00002b49: PUSH2 0x269d
00002b4c: JUMP
00002b4d: JUMPDEST
00002b4e: SWAP1
00002b4f: POP
00002b50: PUSH2 0x2b5f
00002b53: DUP2
00002b54: PUSH1 0x00
00002b56: DUP8
00002b57: PUSH2 0x20d4
00002b5a: DUP9
00002b5b: PUSH2 0x2d71
00002b5e: JUMP
00002b5f: JUMPDEST
00002b60: PUSH1 0x00
00002b62: DUP5
00002b63: DUP2
00002b64: MSTORE
00002b65: PUSH1 0x02
00002b67: PUSH1 0x20
00002b69: SWAP1
00002b6a: DUP2
00002b6b: MSTORE
00002b6c: PUSH1 0x40
00002b6e: DUP1
00002b6f: DUP4
00002b70: KECCAK256
00002b71: PUSH1 0x01
00002b73: PUSH1 0x01
00002b75: PUSH1 0xa0
00002b77: SHL
00002b78: SUB
00002b79: DUP10
00002b7a: AND
00002b7b: DUP5
00002b7c: MSTORE
00002b7d: SWAP1
00002b7e: SWAP2
00002b7f: MSTORE
00002b80: SWAP1
00002b81: KECCAK256
00002b82: SLOAD
00002b83: PUSH2 0x2b92
00002b86: SWAP1
00002b87: DUP5
00002b88: PUSH4 0xffffffff
00002b8d: PUSH2 0x27da
00002b90: AND
00002b91: JUMP
00002b92: JUMPDEST
00002b93: PUSH1 0x00
00002b95: DUP6
00002b96: DUP2
00002b97: MSTORE
00002b98: PUSH1 0x02
00002b9a: PUSH1 0x20
00002b9c: SWAP1
00002b9d: DUP2
00002b9e: MSTORE
00002b9f: PUSH1 0x40
00002ba1: DUP1
00002ba2: DUP4
00002ba3: KECCAK256
00002ba4: PUSH1 0x01
00002ba6: PUSH1 0x01
00002ba8: PUSH1 0xa0
00002baa: SHL
00002bab: SUB
00002bac: DUP1
00002bad: DUP12
00002bae: AND
00002baf: DUP1
00002bb0: DUP7
00002bb1: MSTORE
00002bb2: SWAP2
00002bb3: DUP5
00002bb4: MSTORE
00002bb5: DUP3
00002bb6: DUP6
00002bb7: KECCAK256
00002bb8: SWAP6
00002bb9: SWAP1
00002bba: SWAP6
00002bbb: SSTORE
00002bbc: DUP2
00002bbd: MLOAD
00002bbe: DUP10
00002bbf: DUP2
00002bc0: MSTORE
00002bc1: SWAP3
00002bc2: DUP4
00002bc3: ADD
00002bc4: DUP9
00002bc5: SWAP1
00002bc6: MSTORE
00002bc7: DUP2
00002bc8: MLOAD
00002bc9: SWAP1
00002bca: SWAP5
00002bcb: DUP7
00002bcc: AND
00002bcd: SWAP3
00002bce: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00002bef: SWAP3
00002bf0: SWAP1
00002bf1: DUP3
00002bf2: SWAP1
00002bf3: SUB
00002bf4: ADD
00002bf5: SWAP1
00002bf6: LOG4
00002bf7: PUSH2 0x2c05
00002bfa: DUP2
00002bfb: PUSH1 0x00
00002bfd: DUP8
00002bfe: DUP8
00002bff: DUP8
00002c00: DUP8
00002c01: PUSH2 0x2db5
00002c04: JUMP
00002c05: JUMPDEST
00002c06: POP
00002c07: POP
00002c08: POP
00002c09: POP
00002c0a: POP
00002c0b: JUMP
00002c0c: JUMPDEST
00002c0d: PUSH1 0x00
00002c0f: PUSH2 0x0d9b
00002c12: PUSH1 0x0a
00002c14: PUSH2 0x1d0f
00002c17: DUP5
00002c18: PUSH1 0x08
00002c1a: PUSH4 0xffffffff
00002c1f: PUSH2 0x2cd6
00002c22: AND
00002c23: JUMP
00002c24: JUMPDEST
00002c25: PUSH1 0x00
00002c27: PUSH2 0x2c36
00002c2a: CALLVALUE
00002c2b: DUP4
00002c2c: PUSH4 0xffffffff
00002c31: PUSH2 0x2abc
00002c34: AND
00002c35: JUMP
00002c36: JUMPDEST
00002c37: GT
00002c38: ISZERO
00002c39: PUSH2 0x0e21
00002c3c: JUMPI
00002c3d: PUSH1 0x00
00002c3f: CALLER
00002c40: PUSH2 0x2c4f
00002c43: CALLVALUE
00002c44: DUP5
00002c45: PUSH4 0xffffffff
00002c4a: PUSH2 0x2abc
00002c4d: AND
00002c4e: JUMP
00002c4f: JUMPDEST
00002c50: PUSH1 0x40
00002c52: MLOAD
00002c53: PUSH1 0x00
00002c55: DUP2
00002c56: DUP2
00002c57: DUP2
00002c58: DUP6
00002c59: DUP8
00002c5a: GAS
00002c5b: CALL
00002c5c: SWAP3
00002c5d: POP
00002c5e: POP
00002c5f: POP
00002c60: RETURNDATASIZE
00002c61: DUP1
00002c62: PUSH1 0x00
00002c64: DUP2
00002c65: EQ
00002c66: PUSH2 0x2c8b
00002c69: JUMPI
00002c6a: PUSH1 0x40
00002c6c: MLOAD
00002c6d: SWAP2
00002c6e: POP
00002c6f: PUSH1 0x1f
00002c71: NOT
00002c72: PUSH1 0x3f
00002c74: RETURNDATASIZE
00002c75: ADD
00002c76: AND
00002c77: DUP3
00002c78: ADD
00002c79: PUSH1 0x40
00002c7b: MSTORE
00002c7c: RETURNDATASIZE
00002c7d: DUP3
00002c7e: MSTORE
00002c7f: RETURNDATASIZE
00002c80: PUSH1 0x00
00002c82: PUSH1 0x20
00002c84: DUP5
00002c85: ADD
00002c86: RETURNDATACOPY
00002c87: PUSH2 0x2c90
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: PUSH1 0x60
00002c8e: SWAP2
00002c8f: POP
00002c90: JUMPDEST
00002c91: POP
00002c92: POP
00002c93: SWAP1
00002c94: POP
00002c95: DUP1
00002c96: PUSH2 0x14e4
00002c99: JUMPI
00002c9a: PUSH1 0x40
00002c9c: DUP1
00002c9d: MLOAD
00002c9e: PUSH3 0x461bcd
00002ca2: PUSH1 0xe5
00002ca4: SHL
00002ca5: DUP2
00002ca6: MSTORE
00002ca7: PUSH1 0x20
00002ca9: PUSH1 0x04
00002cab: DUP3
00002cac: ADD
00002cad: MSTORE
00002cae: PUSH1 0x0d
00002cb0: PUSH1 0x24
00002cb2: DUP3
00002cb3: ADD
00002cb4: MSTORE
00002cb5: PUSH13 0x1499599d5b990819985a5b1959
00002cc3: PUSH1 0x9a
00002cc5: SHL
00002cc6: PUSH1 0x44
00002cc8: DUP3
00002cc9: ADD
00002cca: MSTORE
00002ccb: SWAP1
00002ccc: MLOAD
00002ccd: SWAP1
00002cce: DUP2
00002ccf: SWAP1
00002cd0: SUB
00002cd1: PUSH1 0x64
00002cd3: ADD
00002cd4: SWAP1
00002cd5: REVERT
00002cd6: JUMPDEST
00002cd7: PUSH1 0x00
00002cd9: DUP3
00002cda: PUSH2 0x2ce5
00002cdd: JUMPI
00002cde: POP
00002cdf: PUSH1 0x00
00002ce1: PUSH2 0x0d9b
00002ce4: JUMP
00002ce5: JUMPDEST
00002ce6: DUP3
00002ce7: DUP3
00002ce8: MUL
00002ce9: DUP3
00002cea: DUP5
00002ceb: DUP3
00002cec: DUP2
00002ced: PUSH2 0x2cf2
00002cf0: JUMPI
00002cf1: INVALID
00002cf2: JUMPDEST
00002cf3: DIV
00002cf4: EQ
00002cf5: PUSH2 0x1dc3
00002cf8: JUMPI
00002cf9: PUSH1 0x40
00002cfb: MLOAD
00002cfc: PUSH3 0x461bcd
00002d00: PUSH1 0xe5
00002d02: SHL
00002d03: DUP2
00002d04: MSTORE
00002d05: PUSH1 0x04
00002d07: ADD
00002d08: DUP1
00002d09: DUP1
00002d0a: PUSH1 0x20
00002d0c: ADD
00002d0d: DUP3
00002d0e: DUP2
00002d0f: SUB
00002d10: DUP3
00002d11: MSTORE
00002d12: PUSH1 0x21
00002d14: DUP2
00002d15: MSTORE
00002d16: PUSH1 0x20
00002d18: ADD
00002d19: DUP1
00002d1a: PUSH2 0x33f2
00002d1d: PUSH1 0x21
00002d1f: SWAP2
00002d20: CODECOPY
00002d21: PUSH1 0x40
00002d23: ADD
00002d24: SWAP2
00002d25: POP
00002d26: POP
00002d27: PUSH1 0x40
00002d29: MLOAD
00002d2a: DUP1
00002d2b: SWAP2
00002d2c: SUB
00002d2d: SWAP1
00002d2e: REVERT
00002d2f: JUMPDEST
00002d30: PUSH1 0x00
00002d32: PUSH2 0x1dc3
00002d35: DUP4
00002d36: DUP4
00002d37: PUSH1 0x40
00002d39: MLOAD
00002d3a: DUP1
00002d3b: PUSH1 0x40
00002d3d: ADD
00002d3e: PUSH1 0x40
00002d40: MSTORE
00002d41: DUP1
00002d42: PUSH1 0x1a
00002d44: DUP2
00002d45: MSTORE
00002d46: PUSH1 0x20
00002d48: ADD
00002d49: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002d6a: DUP2
00002d6b: MSTORE
00002d6c: POP
00002d6d: PUSH2 0x3077
00002d70: JUMP
00002d71: JUMPDEST
00002d72: PUSH1 0x40
00002d74: DUP1
00002d75: MLOAD
00002d76: PUSH1 0x01
00002d78: DUP1
00002d79: DUP3
00002d7a: MSTORE
00002d7b: DUP2
00002d7c: DUP4
00002d7d: ADD
00002d7e: SWAP1
00002d7f: SWAP3
00002d80: MSTORE
00002d81: PUSH1 0x60
00002d83: SWAP2
00002d84: DUP3
00002d85: SWAP2
00002d86: SWAP1
00002d87: PUSH1 0x20
00002d89: DUP1
00002d8a: DUP4
00002d8b: ADD
00002d8c: SWAP1
00002d8d: DUP1
00002d8e: CALLDATASIZE
00002d8f: DUP4
00002d90: CALLDATACOPY
00002d91: ADD
00002d92: SWAP1
00002d93: POP
00002d94: POP
00002d95: SWAP1
00002d96: POP
00002d97: DUP3
00002d98: DUP2
00002d99: PUSH1 0x00
00002d9b: DUP2
00002d9c: MLOAD
00002d9d: DUP2
00002d9e: LT
00002d9f: PUSH2 0x2da4
00002da2: JUMPI
00002da3: INVALID
00002da4: JUMPDEST
00002da5: PUSH1 0x20
00002da7: SWAP1
00002da8: DUP2
00002da9: MUL
00002daa: SWAP2
00002dab: SWAP1
00002dac: SWAP2
00002dad: ADD
00002dae: ADD
00002daf: MSTORE
00002db0: SWAP3
00002db1: SWAP2
00002db2: POP
00002db3: POP
00002db4: JUMP
00002db5: JUMPDEST
00002db6: PUSH2 0x2dc7
00002db9: DUP5
00002dba: PUSH1 0x01
00002dbc: PUSH1 0x01
00002dbe: PUSH1 0xa0
00002dc0: SHL
00002dc1: SUB
00002dc2: AND
00002dc3: PUSH2 0x3071
00002dc6: JUMP
00002dc7: JUMPDEST
00002dc8: ISZERO
00002dc9: PUSH2 0x13b7
00002dcc: JUMPI
00002dcd: DUP4
00002dce: PUSH1 0x01
00002dd0: PUSH1 0x01
00002dd2: PUSH1 0xa0
00002dd4: SHL
00002dd5: SUB
00002dd6: AND
00002dd7: PUSH4 0xf23a6e61
00002ddc: DUP8
00002ddd: DUP8
00002dde: DUP7
00002ddf: DUP7
00002de0: DUP7
00002de1: PUSH1 0x40
00002de3: MLOAD
00002de4: DUP7
00002de5: PUSH4 0xffffffff
00002dea: AND
00002deb: PUSH1 0xe0
00002ded: SHL
00002dee: DUP2
00002def: MSTORE
00002df0: PUSH1 0x04
00002df2: ADD
00002df3: DUP1
00002df4: DUP7
00002df5: PUSH1 0x01
00002df7: PUSH1 0x01
00002df9: PUSH1 0xa0
00002dfb: SHL
00002dfc: SUB
00002dfd: AND
00002dfe: PUSH1 0x01
00002e00: PUSH1 0x01
00002e02: PUSH1 0xa0
00002e04: SHL
00002e05: SUB
00002e06: AND
00002e07: DUP2
00002e08: MSTORE
00002e09: PUSH1 0x20
00002e0b: ADD
00002e0c: DUP6
00002e0d: PUSH1 0x01
00002e0f: PUSH1 0x01
00002e11: PUSH1 0xa0
00002e13: SHL
00002e14: SUB
00002e15: AND
00002e16: PUSH1 0x01
00002e18: PUSH1 0x01
00002e1a: PUSH1 0xa0
00002e1c: SHL
00002e1d: SUB
00002e1e: AND
00002e1f: DUP2
00002e20: MSTORE
00002e21: PUSH1 0x20
00002e23: ADD
00002e24: DUP5
00002e25: DUP2
00002e26: MSTORE
00002e27: PUSH1 0x20
00002e29: ADD
00002e2a: DUP4
00002e2b: DUP2
00002e2c: MSTORE
00002e2d: PUSH1 0x20
00002e2f: ADD
00002e30: DUP1
00002e31: PUSH1 0x20
00002e33: ADD
00002e34: DUP3
00002e35: DUP2
00002e36: SUB
00002e37: DUP3
00002e38: MSTORE
00002e39: DUP4
00002e3a: DUP2
00002e3b: DUP2
00002e3c: MLOAD
00002e3d: DUP2
00002e3e: MSTORE
00002e3f: PUSH1 0x20
00002e41: ADD
00002e42: SWAP2
00002e43: POP
00002e44: DUP1
00002e45: MLOAD
00002e46: SWAP1
00002e47: PUSH1 0x20
00002e49: ADD
00002e4a: SWAP1
00002e4b: DUP1
00002e4c: DUP4
00002e4d: DUP4
00002e4e: PUSH1 0x00
00002e50: JUMPDEST
00002e51: DUP4
00002e52: DUP2
00002e53: LT
00002e54: ISZERO
00002e55: PUSH2 0x2e68
00002e58: JUMPI
00002e59: DUP2
00002e5a: DUP2
00002e5b: ADD
00002e5c: MLOAD
00002e5d: DUP4
00002e5e: DUP3
00002e5f: ADD
00002e60: MSTORE
00002e61: PUSH1 0x20
00002e63: ADD
00002e64: PUSH2 0x2e50
00002e67: JUMP
00002e68: JUMPDEST
00002e69: POP
00002e6a: POP
00002e6b: POP
00002e6c: POP
00002e6d: SWAP1
00002e6e: POP
00002e6f: SWAP1
00002e70: DUP2
00002e71: ADD
00002e72: SWAP1
00002e73: PUSH1 0x1f
00002e75: AND
00002e76: DUP1
00002e77: ISZERO
00002e78: PUSH2 0x2e95
00002e7b: JUMPI
00002e7c: DUP1
00002e7d: DUP3
00002e7e: SUB
00002e7f: DUP1
00002e80: MLOAD
00002e81: PUSH1 0x01
00002e83: DUP4
00002e84: PUSH1 0x20
00002e86: SUB
00002e87: PUSH2 0x0100
00002e8a: EXP
00002e8b: SUB
00002e8c: NOT
00002e8d: AND
00002e8e: DUP2
00002e8f: MSTORE
00002e90: PUSH1 0x20
00002e92: ADD
00002e93: SWAP2
00002e94: POP
00002e95: JUMPDEST
00002e96: POP
00002e97: SWAP7
00002e98: POP
00002e99: POP
00002e9a: POP
00002e9b: POP
00002e9c: POP
00002e9d: POP
00002e9e: POP
00002e9f: PUSH1 0x20
00002ea1: PUSH1 0x40
00002ea3: MLOAD
00002ea4: DUP1
00002ea5: DUP4
00002ea6: SUB
00002ea7: DUP2
00002ea8: PUSH1 0x00
00002eaa: DUP8
00002eab: DUP1
00002eac: EXTCODESIZE
00002ead: ISZERO
00002eae: DUP1
00002eaf: ISZERO
00002eb0: PUSH2 0x2eb8
00002eb3: JUMPI
00002eb4: PUSH1 0x00
00002eb6: DUP1
00002eb7: REVERT
00002eb8: JUMPDEST
00002eb9: POP
00002eba: GAS
00002ebb: CALL
00002ebc: SWAP3
00002ebd: POP
00002ebe: POP
00002ebf: POP
00002ec0: DUP1
00002ec1: ISZERO
00002ec2: PUSH2 0x2edd
00002ec5: JUMPI
00002ec6: POP
00002ec7: PUSH1 0x40
00002ec9: MLOAD
00002eca: RETURNDATASIZE
00002ecb: PUSH1 0x20
00002ecd: DUP2
00002ece: LT
00002ecf: ISZERO
00002ed0: PUSH2 0x2ed8
00002ed3: JUMPI
00002ed4: PUSH1 0x00
00002ed6: DUP1
00002ed7: REVERT
00002ed8: JUMPDEST
00002ed9: POP
00002eda: MLOAD
00002edb: PUSH1 0x01
00002edd: JUMPDEST
00002ede: PUSH2 0x2ee9
00002ee1: JUMPI
00002ee2: PUSH2 0x29e4
00002ee5: PUSH2 0x317a
00002ee8: JUMP
00002ee9: JUMPDEST
00002eea: PUSH1 0x01
00002eec: PUSH1 0x01
00002eee: PUSH1 0xe0
00002ef0: SHL
00002ef1: SUB
00002ef2: NOT
00002ef3: DUP2
00002ef4: AND
00002ef5: PUSH4 0xf23a6e61
00002efa: PUSH1 0xe0
00002efc: SHL
00002efd: EQ
00002efe: PUSH2 0x273a
00002f01: JUMPI
00002f02: PUSH1 0x40
00002f04: MLOAD
00002f05: PUSH3 0x461bcd
00002f09: PUSH1 0xe5
00002f0b: SHL
00002f0c: DUP2
00002f0d: MSTORE
00002f0e: PUSH1 0x04
00002f10: ADD
00002f11: DUP1
00002f12: DUP1
00002f13: PUSH1 0x20
00002f15: ADD
00002f16: DUP3
00002f17: DUP2
00002f18: SUB
00002f19: DUP3
00002f1a: MSTORE
00002f1b: PUSH1 0x28
00002f1d: DUP2
00002f1e: MSTORE
00002f1f: PUSH1 0x20
00002f21: ADD
00002f22: DUP1
00002f23: PUSH2 0x3257
00002f26: PUSH1 0x28
00002f28: SWAP2
00002f29: CODECOPY
00002f2a: PUSH1 0x40
00002f2c: ADD
00002f2d: SWAP2
00002f2e: POP
00002f2f: POP
00002f30: PUSH1 0x40
00002f32: MLOAD
00002f33: DUP1
00002f34: SWAP2
00002f35: SUB
00002f36: SWAP1
00002f37: REVERT
00002f38: JUMPDEST
00002f39: PUSH1 0x01
00002f3b: PUSH1 0x01
00002f3d: PUSH1 0xa0
00002f3f: SHL
00002f40: SUB
00002f41: DUP4
00002f42: AND
00002f43: PUSH2 0x2f7d
00002f46: JUMPI
00002f47: PUSH1 0x40
00002f49: MLOAD
00002f4a: PUSH3 0x461bcd
00002f4e: PUSH1 0xe5
00002f50: SHL
00002f51: DUP2
00002f52: MSTORE
00002f53: PUSH1 0x04
00002f55: ADD
00002f56: DUP1
00002f57: DUP1
00002f58: PUSH1 0x20
00002f5a: ADD
00002f5b: DUP3
00002f5c: DUP2
00002f5d: SUB
00002f5e: DUP3
00002f5f: MSTORE
00002f60: PUSH1 0x23
00002f62: DUP2
00002f63: MSTORE
00002f64: PUSH1 0x20
00002f66: ADD
00002f67: DUP1
00002f68: PUSH2 0x33a5
00002f6b: PUSH1 0x23
00002f6d: SWAP2
00002f6e: CODECOPY
00002f6f: PUSH1 0x40
00002f71: ADD
00002f72: SWAP2
00002f73: POP
00002f74: POP
00002f75: PUSH1 0x40
00002f77: MLOAD
00002f78: DUP1
00002f79: SWAP2
00002f7a: SUB
00002f7b: SWAP1
00002f7c: REVERT
00002f7d: JUMPDEST
00002f7e: PUSH1 0x00
00002f80: PUSH2 0x2f87
00002f83: PUSH2 0x269d
00002f86: JUMP
00002f87: JUMPDEST
00002f88: SWAP1
00002f89: POP
00002f8a: PUSH2 0x2fb7
00002f8d: DUP2
00002f8e: DUP6
00002f8f: PUSH1 0x00
00002f91: PUSH2 0x2f99
00002f94: DUP8
00002f95: PUSH2 0x2d71
00002f98: JUMP
00002f99: JUMPDEST
00002f9a: PUSH2 0x2fa2
00002f9d: DUP8
00002f9e: PUSH2 0x2d71
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: PUSH1 0x40
00002fa5: MLOAD
00002fa6: DUP1
00002fa7: PUSH1 0x20
00002fa9: ADD
00002faa: PUSH1 0x40
00002fac: MSTORE
00002fad: DUP1
00002fae: PUSH1 0x00
00002fb0: DUP2
00002fb1: MSTORE
00002fb2: POP
00002fb3: PUSH2 0x26b4
00002fb6: JUMP
00002fb7: JUMPDEST
00002fb8: PUSH2 0x3004
00002fbb: DUP3
00002fbc: PUSH1 0x40
00002fbe: MLOAD
00002fbf: DUP1
00002fc0: PUSH1 0x60
00002fc2: ADD
00002fc3: PUSH1 0x40
00002fc5: MSTORE
00002fc6: DUP1
00002fc7: PUSH1 0x24
00002fc9: DUP2
00002fca: MSTORE
00002fcb: PUSH1 0x20
00002fcd: ADD
00002fce: PUSH2 0x3301
00002fd1: PUSH1 0x24
00002fd3: SWAP2
00002fd4: CODECOPY
00002fd5: PUSH1 0x00
00002fd7: DUP7
00002fd8: DUP2
00002fd9: MSTORE
00002fda: PUSH1 0x02
00002fdc: PUSH1 0x20
00002fde: SWAP1
00002fdf: DUP2
00002fe0: MSTORE
00002fe1: PUSH1 0x40
00002fe3: DUP1
00002fe4: DUP4
00002fe5: KECCAK256
00002fe6: PUSH1 0x01
00002fe8: PUSH1 0x01
00002fea: PUSH1 0xa0
00002fec: SHL
00002fed: SUB
00002fee: DUP12
00002fef: AND
00002ff0: DUP5
00002ff1: MSTORE
00002ff2: SWAP1
00002ff3: SWAP2
00002ff4: MSTORE
00002ff5: SWAP1
00002ff6: KECCAK256
00002ff7: SLOAD
00002ff8: SWAP2
00002ff9: SWAP1
00002ffa: PUSH4 0xffffffff
00002fff: PUSH2 0x2743
00003002: AND
00003003: JUMP
00003004: JUMPDEST
00003005: PUSH1 0x00
00003007: DUP5
00003008: DUP2
00003009: MSTORE
0000300a: PUSH1 0x02
0000300c: PUSH1 0x20
0000300e: SWAP1
0000300f: DUP2
00003010: MSTORE
00003011: PUSH1 0x40
00003013: DUP1
00003014: DUP4
00003015: KECCAK256
00003016: PUSH1 0x01
00003018: PUSH1 0x01
0000301a: PUSH1 0xa0
0000301c: SHL
0000301d: SUB
0000301e: DUP1
0000301f: DUP11
00003020: AND
00003021: DUP1
00003022: DUP7
00003023: MSTORE
00003024: SWAP2
00003025: DUP5
00003026: MSTORE
00003027: DUP3
00003028: DUP6
00003029: KECCAK256
0000302a: SWAP6
0000302b: SWAP1
0000302c: SWAP6
0000302d: SSTORE
0000302e: DUP2
0000302f: MLOAD
00003030: DUP9
00003031: DUP2
00003032: MSTORE
00003033: SWAP3
00003034: DUP4
00003035: ADD
00003036: DUP8
00003037: SWAP1
00003038: MSTORE
00003039: DUP2
0000303a: MLOAD
0000303b: SWAP4
0000303c: SWAP5
0000303d: SWAP1
0000303e: SWAP4
0000303f: SWAP1
00003040: DUP7
00003041: AND
00003042: SWAP3
00003043: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00003064: SWAP3
00003065: SWAP1
00003066: DUP3
00003067: SWAP1
00003068: SUB
00003069: ADD
0000306a: SWAP1
0000306b: LOG4
0000306c: POP
0000306d: POP
0000306e: POP
0000306f: POP
00003070: JUMP
00003071: JUMPDEST
00003072: EXTCODESIZE
00003073: ISZERO
00003074: ISZERO
00003075: SWAP1
00003076: JUMP
00003077: JUMPDEST
00003078: PUSH1 0x00
0000307a: DUP2
0000307b: DUP4
0000307c: PUSH2 0x30c6
0000307f: JUMPI
00003080: PUSH1 0x40
00003082: MLOAD
00003083: PUSH3 0x461bcd
00003087: PUSH1 0xe5
00003089: SHL
0000308a: DUP2
0000308b: MSTORE
0000308c: PUSH1 0x20
0000308e: PUSH1 0x04
00003090: DUP3
00003091: ADD
00003092: DUP2
00003093: DUP2
00003094: MSTORE
00003095: DUP4
00003096: MLOAD
00003097: PUSH1 0x24
00003099: DUP5
0000309a: ADD
0000309b: MSTORE
0000309c: DUP4
0000309d: MLOAD
0000309e: SWAP1
0000309f: SWAP3
000030a0: DUP4
000030a1: SWAP3
000030a2: PUSH1 0x44
000030a4: SWAP1
000030a5: SWAP2
000030a6: ADD
000030a7: SWAP2
000030a8: SWAP1
000030a9: DUP6
000030aa: ADD
000030ab: SWAP1
000030ac: DUP1
000030ad: DUP4
000030ae: DUP4
000030af: PUSH1 0x00
000030b1: DUP4
000030b2: ISZERO
000030b3: PUSH2 0x2797
000030b6: JUMPI
000030b7: DUP2
000030b8: DUP2
000030b9: ADD
000030ba: MLOAD
000030bb: DUP4
000030bc: DUP3
000030bd: ADD
000030be: MSTORE
000030bf: PUSH1 0x20
000030c1: ADD
000030c2: PUSH2 0x277f
000030c5: JUMP
000030c6: JUMPDEST
000030c7: POP
000030c8: PUSH1 0x00
000030ca: DUP4
000030cb: DUP6
000030cc: DUP2
000030cd: PUSH2 0x30d2
000030d0: JUMPI
000030d1: INVALID
000030d2: JUMPDEST
000030d3: DIV
000030d4: SWAP6
000030d5: SWAP5
000030d6: POP
000030d7: POP
000030d8: POP
000030d9: POP
000030da: POP
000030db: JUMP
000030dc: JUMPDEST
000030dd: DUP3
000030de: DUP1
000030df: SLOAD
000030e0: PUSH1 0x01
000030e2: DUP2
000030e3: PUSH1 0x01
000030e5: AND
000030e6: ISZERO
000030e7: PUSH2 0x0100
000030ea: MUL
000030eb: SUB
000030ec: AND
000030ed: PUSH1 0x02
000030ef: SWAP1
000030f0: DIV
000030f1: SWAP1
000030f2: PUSH1 0x00
000030f4: MSTORE
000030f5: PUSH1 0x20
000030f7: PUSH1 0x00
000030f9: KECCAK256
000030fa: SWAP1
000030fb: PUSH1 0x1f
000030fd: ADD
000030fe: PUSH1 0x20
00003100: SWAP1
00003101: DIV
00003102: DUP2
00003103: ADD
00003104: SWAP3
00003105: DUP3
00003106: PUSH1 0x1f
00003108: LT
00003109: PUSH2 0x311d
0000310c: JUMPI
0000310d: DUP1
0000310e: MLOAD
0000310f: PUSH1 0xff
00003111: NOT
00003112: AND
00003113: DUP4
00003114: DUP1
00003115: ADD
00003116: OR
00003117: DUP6
00003118: SSTORE
00003119: PUSH2 0x314a
0000311c: JUMP
0000311d: JUMPDEST
0000311e: DUP3
0000311f: DUP1
00003120: ADD
00003121: PUSH1 0x01
00003123: ADD
00003124: DUP6
00003125: SSTORE
00003126: DUP3
00003127: ISZERO
00003128: PUSH2 0x314a
0000312b: JUMPI
0000312c: SWAP2
0000312d: DUP3
0000312e: ADD
0000312f: JUMPDEST
00003130: DUP3
00003131: DUP2
00003132: GT
00003133: ISZERO
00003134: PUSH2 0x314a
00003137: JUMPI
00003138: DUP3
00003139: MLOAD
0000313a: DUP3
0000313b: SSTORE
0000313c: SWAP2
0000313d: PUSH1 0x20
0000313f: ADD
00003140: SWAP2
00003141: SWAP1
00003142: PUSH1 0x01
00003144: ADD
00003145: SWAP1
00003146: PUSH2 0x312f
00003149: JUMP
0000314a: JUMPDEST
0000314b: POP
0000314c: PUSH2 0x3156
0000314f: SWAP3
00003150: SWAP2
00003151: POP
00003152: PUSH2 0x315a
00003155: JUMP
00003156: JUMPDEST
00003157: POP
00003158: SWAP1
00003159: JUMP
0000315a: JUMPDEST
0000315b: PUSH2 0x1bc2
0000315e: SWAP2
0000315f: SWAP1
00003160: JUMPDEST
00003161: DUP1
00003162: DUP3
00003163: GT
00003164: ISZERO
00003165: PUSH2 0x3156
00003168: JUMPI
00003169: PUSH1 0x00
0000316b: DUP2
0000316c: SSTORE
0000316d: PUSH1 0x01
0000316f: ADD
00003170: PUSH2 0x3160
00003173: JUMP
00003174: JUMPDEST
00003175: PUSH1 0xe0
00003177: SHR
00003178: SWAP1
00003179: JUMP
0000317a: JUMPDEST
0000317b: PUSH1 0x00
0000317d: PUSH1 0x44
0000317f: RETURNDATASIZE
00003180: LT
00003181: ISZERO
00003182: PUSH2 0x318a
00003185: JUMPI
00003186: PUSH2 0x1bc2
00003189: JUMP
0000318a: JUMPDEST
0000318b: PUSH1 0x04
0000318d: DUP2
0000318e: DUP3
0000318f: RETURNDATACOPY
00003190: PUSH4 0x08c379a0
00003195: PUSH2 0x319e
00003198: DUP3
00003199: MLOAD
0000319a: PUSH2 0x3174
0000319d: JUMP
0000319e: JUMPDEST
0000319f: EQ
000031a0: PUSH2 0x31a8
000031a3: JUMPI
000031a4: PUSH2 0x1bc2
000031a7: JUMP
000031a8: JUMPDEST
000031a9: PUSH1 0x40
000031ab: MLOAD
000031ac: RETURNDATASIZE
000031ad: PUSH1 0x03
000031af: NOT
000031b0: ADD
000031b1: PUSH1 0x04
000031b3: DUP3
000031b4: RETURNDATACOPY
000031b5: DUP1
000031b6: MLOAD
000031b7: RETURNDATASIZE
000031b8: PUSH8 0xffffffffffffffff
000031c1: DUP2
000031c2: PUSH1 0x24
000031c4: DUP5
000031c5: ADD
000031c6: GT
000031c7: DUP2
000031c8: DUP5
000031c9: GT
000031ca: OR
000031cb: ISZERO
000031cc: PUSH2 0x31d8
000031cf: JUMPI
000031d0: POP
000031d1: POP
000031d2: POP
000031d3: POP
000031d4: PUSH2 0x1bc2
000031d7: JUMP
000031d8: JUMPDEST
000031d9: DUP3
000031da: DUP5
000031db: ADD
000031dc: SWAP2
000031dd: POP
000031de: DUP2
000031df: MLOAD
000031e0: SWAP3
000031e1: POP
000031e2: DUP1
000031e3: DUP4
000031e4: GT
000031e5: ISZERO
000031e6: PUSH2 0x31f2
000031e9: JUMPI
000031ea: POP
000031eb: POP
000031ec: POP
000031ed: POP
000031ee: PUSH2 0x1bc2
000031f1: JUMP
000031f2: JUMPDEST
000031f3: POP
000031f4: RETURNDATASIZE
000031f5: DUP4
000031f6: ADD
000031f7: PUSH1 0x20
000031f9: DUP4
000031fa: DUP4
000031fb: ADD
000031fc: ADD
000031fd: GT
000031fe: ISZERO
000031ff: PUSH2 0x320a
00003202: JUMPI
00003203: POP
00003204: POP
00003205: POP
00003206: PUSH2 0x1bc2
00003209: JUMP
0000320a: JUMPDEST
0000320b: PUSH1 0x1f
0000320d: SWAP2
0000320e: SWAP1
0000320f: SWAP2
00003210: ADD
00003211: PUSH1 0x1f
00003213: NOT
00003214: AND
00003215: DUP2
00003216: ADD
00003217: PUSH1 0x20
00003219: ADD
0000321a: PUSH1 0x40
0000321c: MSTORE
0000321d: SWAP2
0000321e: POP
0000321f: POP
00003220: SWAP1
00003221: JUMP
00003222: INVALID
00003223: GASLIMIT
00003224: MSTORE
00003225: NUMBER
00003226: BALANCE
00003227: BALANCE
00003228: CALLDATALOAD
00003229: CALLDATALOAD
0000322a: GASPRICE
0000322b: KECCAK256
0000322c: PUSH21 0x72616e7366657220746f206e6f6e20455243313135
00003242: CALLDATALOAD
00003243: MSTORE
00003244: PUSH6 0x636569766572
0000324b: KECCAK256
0000324c: PUSH10 0x6d706c656d656e746572
00003257: GASLIMIT
00003258: MSTORE
00003259: NUMBER
0000325a: BALANCE
0000325b: BALANCE
0000325c: CALLDATALOAD
0000325d: CALLDATALOAD
0000325e: GASPRICE
0000325f: KECCAK256
00003260: GASLIMIT
00003261: MSTORE
00003262: NUMBER
00003263: BALANCE
00003264: BALANCE
00003265: CALLDATALOAD
00003266: CALLDATALOAD
00003267: MSTORE
00003268: PUSH6 0x636569766572
0000326f: KECCAK256
00003270: PUSH19 0x656a656374656420746f6b656e734552433131
00003284: CALLDATALOAD
00003285: CALLDATALOAD
00003286: GASPRICE
00003287: KECCAK256
00003288: PUSH3 0x616c61
0000328c: PUSH15 0x636520717565727920666f72207468
0000329c: PUSH6 0x207a65726f20
000032a3: PUSH2 0x6464
000032a6: PUSH19 0x657373455243313135353a2062617463682062
000032ba: PUSH2 0x6c61
000032bd: PUSH15 0x636520717565727920666f72207468
000032cd: PUSH6 0x207a65726f20
000032d4: PUSH2 0x6464
000032d7: PUSH19 0x6573734f776e61626c653a206e6577206f776e
000032eb: PUSH6 0x722069732074
000032f2: PUSH9 0x65207a65726f206164
000032fc: PUSH5 0x7265737345
00003302: MSTORE
00003303: NUMBER
00003304: BALANCE
00003305: BALANCE
00003306: CALLDATALOAD
00003307: CALLDATALOAD
00003308: GASPRICE
00003309: KECCAK256
0000330a: PUSH3 0x75726e
0000330e: KECCAK256
0000330f: PUSH2 0x6d6f
00003312: PUSH22 0x6e7420657863656564732062616c616e636545524331
00003329: BALANCE
0000332a: CALLDATALOAD
0000332b: CALLDATALOAD
0000332c: GASPRICE
0000332d: KECCAK256
0000332e: PUSH4 0x616c6c65
00003333: PUSH19 0x206973206e6f74206f776e6572206e6f722061
00003347: PUSH17 0x70726f766564455243313135353a207472
00003359: PUSH2 0x6e73
0000335c: PUSH7 0x657220746f2074
00003364: PUSH9 0x65207a65726f206164
0000336e: PUSH5 0x7265737345
00003374: MSTORE
00003375: NUMBER
00003376: BALANCE
00003377: BALANCE
00003378: CALLDATALOAD
00003379: CALLDATALOAD
0000337a: GASPRICE
0000337b: KECCAK256
0000337c: PUSH21 0x72616e736665722063616c6c6572206973206e6f74
00003392: KECCAK256
00003393: PUSH16 0x776e6572206e6f7220617070726f7665
000033a4: PUSH5 0x4552433131
000033aa: CALLDATALOAD
000033ab: CALLDATALOAD
000033ac: GASPRICE
000033ad: KECCAK256
000033ae: PUSH3 0x75726e
000033b2: KECCAK256
000033b3: PUSH7 0x726f6d20746865
000033bb: KECCAK256
000033bc: PUSH27 0x65726f2061646472657373455243313135353a20696e7375666669
000033d8: PUSH4 0x69656e74
000033dd: KECCAK256
000033de: PUSH3 0x616c61
000033e2: PUSH15 0x636520666f72207472616e73666572
000033f2: MSTORE8
000033f3: PUSH2 0x6665
000033f6: UNKNOWN(0x4D)
000033f7: PUSH2 0x7468
000033fa: GASPRICE
000033fb: KECCAK256
000033fc: PUSH14 0x756c7469706c69636174696f6e20
0000340b: PUSH16 0x766572666c6f774f776e61626c653a20
0000341c: PUSH4 0x616c6c65
00003421: PUSH19 0x206973206e6f7420746865206f776e65724552
00003435: NUMBER
00003436: BALANCE
00003437: BALANCE
00003438: CALLDATALOAD
00003439: CALLDATALOAD
0000343a: GASPRICE
0000343b: KECCAK256
0000343c: PUSH20 0x657474696e6720617070726f76616c2073746174
00003451: PUSH22 0x7320666f722073656c66455243313135353a20616363
00003468: PUSH16 0x756e747320616e6420696473206c656e
00003479: PUSH8 0x7468206d69736d61
00003482: PUSH21 0x6368455243313135353a2069647320616e6420616d
00003498: PUSH16 0x756e7473206c656e677468206d69736d
000034a9: PUSH2 0x7463
000034ac: PUSH9 0x455243313135353a20
000034b6: PUSH14 0x696e7420746f20746865207a6572
000034c5: PUSH16 0x2061646472657373a264697066735822
000034d6: SLT
000034d7: KECCAK256
000034d8: UNKNOWN(0xE3)
000034d9: NUMBER
000034da: POP
000034db: SWAP10
000034dc: DUP15
000034dd: CALLCODE
000034de: UNKNOWN(0x24)
000034df: EXTCODEHASH
000034e0: UNKNOWN(0xD8)
000034e1: PUSH13 0x92d9af5bc6c95f7679130b4233
000034ef: UNKNOWN(0xCA)
000034f0: UNKNOWN(0xB0)
000034f1: SIGNEXTEND
000034f2: CLZ
000034f3: UNKNOWN(0x26)
000034f4: UNKNOWN(0xD6)
000034f5: SGT
000034f6: UNKNOWN(0x4B)
000034f7: UNKNOWN(0xD7)
000034f8: PUSH5 0x736f6c6343
000034fe: STOP
000034ff: MOD
00003500: SMOD
00003501: STOP
00003502: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xbc17d8f03abd1babfe6ef284e494df0171c77dba882333ae8f270776db70d4a8
call_targets: 0xee9861b651ba165cfaeb6c326fe0a6cba504398a
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbc17d8f03abd1babfe6ef284e494df0171c77dba882333ae8f270776db70d4a8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xee9861b651ba165cfaeb6c326fe0a6cba504398a"
    ],
    "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": "0xeb9eb9fd",
            "selector": "0xeb9eb9fd",
            "calldata_variants": [
                "0xeb9eb9fd",
                "0xeb9eb9fd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf242432a",
            "selector": "0xf242432a",
            "calldata_variants": [
                "0xf242432a",
                "0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf908108e",
            "selector": "0xf908108e",
            "calldata_variants": [
                "0xf908108e",
                "0xf908108e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9c894a8",
            "selector": "0xf9c894a8",
            "calldata_variants": [
                "0xf9c894a8",
                "0xf9c894a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf8f9053",
            "selector": "0xbf8f9053",
            "calldata_variants": [
                "0xbf8f9053",
                "0xbf8f90530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6c77693",
            "selector": "0xc6c77693",
            "calldata_variants": [
                "0xc6c77693",
                "0xc6c776930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3293de",
            "selector": "0xcd3293de",
            "calldata_variants": [
                "0xcd3293de",
                "0xcd3293de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5326,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6640,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9635,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 6
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xbc17d8f03abd1babfe6ef284e494df0171c77dba882333ae8f270776db70d4a8
call_targets: 0xee9861b651ba165cfaeb6c326fe0a6cba504398a
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbc17d8f03abd1babfe6ef284e494df0171c77dba882333ae8f270776db70d4a8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xee9861b651ba165cfaeb6c326fe0a6cba504398a"
    ],
    "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": "0xeb9eb9fd",
            "selector": "0xeb9eb9fd",
            "calldata_variants": [
                "0xeb9eb9fd",
                "0xeb9eb9fd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf242432a",
            "selector": "0xf242432a",
            "calldata_variants": [
                "0xf242432a",
                "0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf908108e",
            "selector": "0xf908108e",
            "calldata_variants": [
                "0xf908108e",
                "0xf908108e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9c894a8",
            "selector": "0xf9c894a8",
            "calldata_variants": [
                "0xf9c894a8",
                "0xf9c894a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf8f9053",
            "selector": "0xbf8f9053",
            "calldata_variants": [
                "0xbf8f9053",
                "0xbf8f90530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6c77693",
            "selector": "0xc6c77693",
            "calldata_variants": [
                "0xc6c77693",
                "0xc6c776930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3293de",
            "selector": "0xcd3293de",
            "calldata_variants": [
                "0xcd3293de",
                "0xcd3293de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5326,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6640,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9635,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}